Datum

4c0d13617dd4e2…66f9f60b18

4c0d13617dd4e226fff65da5f9e7b4b51be35b2756aacc4e2c535b66f9f60b18

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2f8eb167fe8cc3e0afa8d8f034b7b2e54697101a53f4075c61cbf905

1

Constr 0

0

Constr 0

0

Constr 0

0

#84d395dbc497cd916ae7c1c21620349a861ded5d51c38d8fad97fe87

1

Constr 0

0

Constr 0

0

#2f8eb167fe8cc3e0afa8d8f034b7b2e54697101a53f4075c61cbf905

1

Constr 0

0

Constr 0

0

Constr 0

0

#84d395dbc497cd916ae7c1c21620349a861ded5d51c38d8fad97fe87

2

Constr 1 []

3

Constr 3

0

178621356

1

231594582

4

2000000

5

2000000