Datum

ce4fe99422e767…335e810c8c

ce4fe99422e767318ff3cdee6cecd70182235d637101890a4a3071335e810c8c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f9ce60758942e5d51739543d3c98d749213f999f041da59a7389dcfe

1

Constr 0

0

Constr 0

0

Constr 0

0

#a3b29ae92a9693bf7fbf32cbc1e0e770e56830cc5dc7cd31a22addc6

1

Constr 0

0

Constr 0

0

#f9ce60758942e5d51739543d3c98d749213f999f041da59a7389dcfe

1

Constr 0

0

Constr 0

0

Constr 0

0

#a3b29ae92a9693bf7fbf32cbc1e0e770e56830cc5dc7cd31a22addc6

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000