Datum

95a3e54bbcc3f5…b2a77e4fb1

95a3e54bbcc3f5c183743fb741fa7a237e309c6107f04361d2bd5cb2a77e4fb1

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#5fde53afef1f2c6f64d606014d9360ebbe89388474822dafb8debd43

1

Constr 0

0

Constr 0

0

Constr 0

0

#e29e784702aa75549f1bd4aaffdca683be6cd525173c97b9ad8d08fc

1

Constr 0

0

Constr 0

0

#5fde53afef1f2c6f64d606014d9360ebbe89388474822dafb8debd43

1

Constr 0

0

Constr 0

0

Constr 0

0

#e29e784702aa75549f1bd4aaffdca683be6cd525173c97b9ad8d08fc

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000