Datum

fea61524d1bec3…76ded98962

fea61524d1bec37c3b1e02a3d2d8a65a7e1de15cf1cd6e0d6d47b576ded98962

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1e460c4adc28ecb347ffdfde52d6dbcb095ff9fc8c581e3831b19ade

1

Constr 0

0

Constr 0

0

Constr 0

0

#f4e43c516f8d3af73d86c8478c9064ef075bd14bb4e8badde972a66a

1

Constr 0

0

Constr 0

0

#1e460c4adc28ecb347ffdfde52d6dbcb095ff9fc8c581e3831b19ade

1

Constr 0

0

Constr 0

0

Constr 0

0

#f4e43c516f8d3af73d86c8478c9064ef075bd14bb4e8badde972a66a

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

172271969

4

2000000

5

2000000