Datum

ba80c33a3e9c3c…443f8f8e7a

ba80c33a3e9c3caed0486e337485bb42df8b44b3d75e1081dc7a68443f8f8e7a

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f0049b462ec7c1e94b6f38d015e441bab51bc24e2f3adae44928159f

1

Constr 0

0

Constr 0

0

Constr 0

0

#aefa6d57058ae387d2fc4fb8d8762e7411056e9f026ad7f7c68aeec0

1

Constr 0

0

Constr 0

0

#f0049b462ec7c1e94b6f38d015e441bab51bc24e2f3adae44928159f

1

Constr 0

0

Constr 0

0

Constr 0

0

#aefa6d57058ae387d2fc4fb8d8762e7411056e9f026ad7f7c68aeec0

2

Constr 1 []

3

Constr 2

0

1

4

1994875

5

2000000