Datum

5228f58f19fae3…35eddfd32e

5228f58f19fae3a7b33dca2f36a7ea5b6619f91eda09ac060ed76135eddfd32e

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#c3847d5ea4b2de3f1fc09a53942302f8e8e72b1ec5613d6f42f2f3d8

1

Constr 0

0

Constr 0

0

Constr 0

0

#d13963487c109b7ffadd4fa13c2e82ca3d467e3ca90652aba512c983

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1000000000

2

Constr 0

0

96