Datum

87d5be81677598…f1d7f01c9e

87d5be816775984efd397dee34bcc0f92582194fb9c342b5d20bc2f1d7f01c9e

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

179921451

4

2000000

5

2000000