Datum

d34db805222f62…aaec3f3471

d34db805222f62c24c7aebbac2fb511d734fc7d9307defecf3d9acaaec3f3471

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0e6e2b2b7598b46bb8700be704816f817e1aca9150c42c286ff9e4d4

1

Constr 0

0

Constr 0

0

Constr 0

0

#d40f8564e3b8eed31e6e4f346b576d5c842aab36c8ba006ae1b9f075

1

Constr 0

0

Constr 0

0

#0e6e2b2b7598b46bb8700be704816f817e1aca9150c42c286ff9e4d4

1

Constr 0

0

Constr 0

0

Constr 0

0

#d40f8564e3b8eed31e6e4f346b576d5c842aab36c8ba006ae1b9f075

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

587692930

4

2000000

5

2000000