Datum

113e93fabf5750…9e25d1392c

113e93fabf575068a1097ff2d71f4cb3ecc33fdf63367561ce9a4b9e25d1392c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#30ae42262dbf0c63c6c159c62620fdff6a9fdc540279fb0e2a8628fe

1

Constr 0

0

Constr 0

0

Constr 0

0

#4aff71475c0cb91fcdf3467debd4daaec58d2a4b64412315297cd214

1

Constr 0

0

Constr 0

0

#30ae42262dbf0c63c6c159c62620fdff6a9fdc540279fb0e2a8628fe

1

Constr 0

0

Constr 0

0

Constr 0

0

#4aff71475c0cb91fcdf3467debd4daaec58d2a4b64412315297cd214

2

Constr 1 []

3

Constr 2

0

1

4

1997705

5

2000000