Datum

d7fc6e0cb03ad0…702ec5ba4d

d7fc6e0cb03ad0ac5ecc027fb0f8c35ee162b7d05dc97beedf6ed9702ec5ba4d

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#be2e8367b5734a62e77b8cf3b8e18aff51449967e88bbdbbec3afc65

1

Constr 0

0

Constr 0

0

Constr 0

0

#30eec7ab1161e320b148dfe1dc3f1158034a67fc39bff23f572938a9

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

10000000000

2

Constr 0

0

642664384