Datum

40da594c3611eb…7f6dcc283d

40da594c3611eb059a4e6340aa3c80e0115dff80883dbdfd7f22bd7f6dcc283d

Datum

Constr 0

0

#17

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f638aadb685897c1f518dd67fb329dc0f52a3c04fdfa3ba6e3e17599

1

Constr 0

0

Constr 0

0

Constr 0

0

#5073696acff02089a1e4d3d08f7d45ca5b24106a084dbf71794eade9

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

100000000

2

Constr 0

0

59359143