Datum

58571bae79b861…df15400a35

58571bae79b861559649335826e684b105440105dbdc08d03dd044df15400a35

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#1a9ca77379a54d0a6fc1b2b0536a7b6f92a38b92d48efac3cd15c826

1

Constr 0

0

Constr 0

0

Constr 0

0

#6ffd80e3acadd1f1fa0e1bd229c3c6cf3a73ce13c2062cb3759d7674

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

102840558

2

Constr 0

0

12168484