Datum

ee45c3d7ee0d7b…51b37e8544

ee45c3d7ee0d7b9caac6ab7c7f716f14f69a89fb17a90899b540cd51b37e8544

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#e0c3f7feca42d3bd2ccd5cdc56e257da9ff56e200ce777104ed2dec6

1

Constr 0

0

Constr 0

0

Constr 0

0

#73c6f381597305e8b856a937434c6c37150dedf26cac705333b5484b

1

Constr 0

0

Constr 0

0

#e0c3f7feca42d3bd2ccd5cdc56e257da9ff56e200ce777104ed2dec6

1

Constr 0

0

Constr 0

0

Constr 0

0

#73c6f381597305e8b856a937434c6c37150dedf26cac705333b5484b

2

Constr 1 []

3

Constr 3

0

49266069

1

136987236

4

2000000

5

2000000