Datum

815cd1f65742f4…7fc6a11abe

815cd1f65742f463e81e2a186f2123cd6303aa2bcfe832c20328ea7fc6a11abe

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#79379474a01d2475cdab1ae195087f722859dd32b81dcc53c934556a

1

Constr 0

0

Constr 0

0

Constr 0

0

#dcdc1f4049416a63828843a0eb3fae0005ad350c0c8e77ec20774c8b

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

4000000000

2

Constr 0

0

6047876