Datum

7e4e7e09f44145…f556d896ad

7e4e7e09f4414537cae768c3adddd1f9d96fe7cec4327b641f1b0bf556d896ad

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#680bd9fa72836bccb61f170163c4b927aea68513c099e13df2299174

1

Constr 0

0

Constr 0

0

Constr 0

0

#4e04733d808bfa1b6cda711a21cf111696f712e374fc761d9cc0a98d

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

1000000000

2

Constr 0

0

7143667