Datum

8e66d73bcb70a1…8617e91579

8e66d73bcb70a1266ea37cd62bfa26d8f2806b72fe1229dab9f3ea8617e91579

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1f791ddebc76ce13260189dd940e69c97a30be941ea9f4dbdaf1aa25

1

Constr 0

0

Constr 0

0

Constr 0

0

#ce6c65eed457cc58c35a9d9ecbb1dd5df190ad0702b69b0499ba5499

1

Constr 0

0

Constr 0

0

#1f791ddebc76ce13260189dd940e69c97a30be941ea9f4dbdaf1aa25

1

Constr 0

0

Constr 0

0

Constr 0

0

#ce6c65eed457cc58c35a9d9ecbb1dd5df190ad0702b69b0499ba5499

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000