Datum

513211eb686d01…aa5311bddd

513211eb686d01a34d8b19674d13121a42ca4d7f9a3f54dfc8cb3eaa5311bddd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#36b4652cf72c5aa5ecda04675588c85e6cb84d409cd4be34f14cba92

1

Constr 0

0

Constr 0

0

Constr 0

0

#999f38b6153de609e5fbe76eec9abf1a08cb7b0b31619397ae7dd250

1

Constr 0

0

Constr 0

0

#36b4652cf72c5aa5ecda04675588c85e6cb84d409cd4be34f14cba92

1

Constr 0

0

Constr 0

0

Constr 0

0

#999f38b6153de609e5fbe76eec9abf1a08cb7b0b31619397ae7dd250

2

Constr 1 []

3

Constr 3

0

47602762

1

556679594

4

2000000

5

2000000