Datum

3204d6338fc17e…b651666862

3204d6338fc17e56d66ea8d610b80c95b67f4e2cb2d8e3b0b292b7b651666862

Datum

Constr 0

0

#df02

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#0d2e9e12ba810ca3bf4e34d6bb2a28d56c1e3d22d68a146fe3f812a0

1

Constr 0

0

Constr 0

0

Constr 0

0

#8cbeef07a52659b842df8901de9b42b79a75f0353f0289bb5421b2b1

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

25000000000

2

Constr 0

0

276351808