Datum

931d4f7ef8f875…f52c638cd0

931d4f7ef8f875e1e65f4cc57df5c7da6518ceae8acb1422eeb97df52c638cd0

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#04129ebb4f97cf82569b4d49e79aea9e25ec2d56c98211b4040a0bea

1

Constr 0

0

Constr 0

0

Constr 0

0

#83c5d5c5c6544d2146880b981d5db1dd8409233681876ef9b09def1c

1

Constr 0

0

Constr 0

0

#04129ebb4f97cf82569b4d49e79aea9e25ec2d56c98211b4040a0bea

1

Constr 0

0

Constr 0

0

Constr 0

0

#83c5d5c5c6544d2146880b981d5db1dd8409233681876ef9b09def1c

2

Constr 1 []

3

Constr 2

0

1

4

1996646

5

2000000