Datum

0e451dd557ab3c…4dc93ecd2d

0e451dd557ab3c7bd7214d06e9eb79b0fc94bc7c2e252bd50820e14dc93ecd2d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#563e7c47b132925519e288732063410b4ae536bdde116cb63d5e7d9c

1

Constr 0

0

Constr 0

0

Constr 0

0

#47cf89886889a96dd2344ee2360897337b64dfcb605499e79082a39c

1

Constr 0

0

Constr 0

0

#563e7c47b132925519e288732063410b4ae536bdde116cb63d5e7d9c

1

Constr 0

0

Constr 0

0

Constr 0

0

#47cf89886889a96dd2344ee2360897337b64dfcb605499e79082a39c

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

582604920

4

2000000

5

2000000