Datum

a8ed5eb0dfa760…c58f37c8ae

a8ed5eb0dfa760f2f8b5ddd55a3af49006b46f054d26c04c2cc877c58f37c8ae

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1c01cf91e20fb0ece80f3218a55858dea8456643fa5ac4204e07839a

1

Constr 0

0

Constr 0

0

Constr 0

0

#c4a90de67f6d762a8b766ee1198455b0b4148336fc818c2df73cf1f5

1

Constr 0

0

Constr 0

0

#1c01cf91e20fb0ece80f3218a55858dea8456643fa5ac4204e07839a

1

Constr 0

0

Constr 0

0

Constr 0

0

#c4a90de67f6d762a8b766ee1198455b0b4148336fc818c2df73cf1f5

2

Constr 1 []

3

Constr 2

0

129770652

4

2000000

5

2000000