Datum

d628cef187492c…23f404facf

d628cef187492cbb5d6f3de7cd2225f2dfefbcf957e65f6a921efc23f404facf

Datum

Constr 0

0

#f302

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#4b16a1ca9267319a0b34d3aadb7fedd0e3c140a0e8c1f07b75e5ec35

1

Constr 0

0

Constr 0

0

Constr 0

0

#26bad5028b46b145ef95ab68c0e34da11f791c9bdc00717f9c3a9529

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

200000000

2

Constr 0

0

1043990057