Datum

0e08d78f7c8ee0…1e9a7e59cf

0e08d78f7c8ee065179b7cee1c9c0d679fccfb32fd3272ac15f3f41e9a7e59cf

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#24f988ff2d6c698e40546682235b29ce08d28d58610087a8b51d4f7b

1

Constr 0

0

Constr 0

0

Constr 0

0

#83b8c14474cbe27797ca503729ff53ced7dde3c570c35e096447cc39

1

Constr 0

0

Constr 0

0

#24f988ff2d6c698e40546682235b29ce08d28d58610087a8b51d4f7b

1

Constr 0

0

Constr 0

0

Constr 0

0

#83b8c14474cbe27797ca503729ff53ced7dde3c570c35e096447cc39

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

299176704

4

1925984

5

2000000