Datum

223d4f9d4eccf3…a357fb80cc

223d4f9d4eccf3c5102cc0317eef8e50e31a453bfb95514c5b409aa357fb80cc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1214b2f5d9a441dca609f07936a674683ab06ec329e181e9bef72dc8

1

Constr 0

0

Constr 0

0

Constr 0

0

#2fb706cd398b9fbf1369ade42f0633c698174f1b2a1b757fd22c9623

1

Constr 0

0

Constr 0

0

#1214b2f5d9a441dca609f07936a674683ab06ec329e181e9bef72dc8

1

Constr 0

0

Constr 0

0

Constr 0

0

#2fb706cd398b9fbf1369ade42f0633c698174f1b2a1b757fd22c9623

2

Constr 1 []

3

Constr 3

0

104897812

1

47924855200

4

2000000

5

2000000