Datum

67891b3616bfa4…9b80d993cd

67891b3616bfa4585b728ee067f69159a517e2dd626c8e1c333abb9b80d993cd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#49074d618214ff9002d5a95fb54fab2ae25e10b7974edfbf9c655ea9

1

Constr 0

0

Constr 0

0

Constr 0

0

#894744da8529235c72830b2f5175b2cbd00f6baa5813a498d0b2c521

1

Constr 0

0

Constr 0

0

#49074d618214ff9002d5a95fb54fab2ae25e10b7974edfbf9c655ea9

1

Constr 0

0

Constr 0

0

Constr 0

0

#894744da8529235c72830b2f5175b2cbd00f6baa5813a498d0b2c521

2

Constr 1 []

3

Constr 3

0

68642243

1

20043734

4

2000000

5

2000000