Datum

fa57de25f5c04a…a0c4e10ecd

fa57de25f5c04a80af7bfe5772cfc573643b9fb1a85c52ae5f59cba0c4e10ecd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b311b70f741f0db0896eb28d3766af4b79d09fb156c5618fa298601d

1

Constr 0

0

Constr 0

0

Constr 0

0

#d11f42dd3910bde961396f9a292e3752169dffaf569d6a8283368141

1

Constr 0

0

Constr 0

0

#b311b70f741f0db0896eb28d3766af4b79d09fb156c5618fa298601d

1

Constr 0

0

Constr 0

0

Constr 0

0

#d11f42dd3910bde961396f9a292e3752169dffaf569d6a8283368141

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

33857851

4

2000000

5

2000000