Datum

428bb10ff8763e…d54d7df394

428bb10ff8763e55d0bf4bb81bf407eae5235be63b18852530ac84d54d7df394

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#705934a2c80e4ee251a69f8a0392d154cba1652675d5acbe2456185a

1

Constr 0

0

Constr 0

0

Constr 0

0

#72b900c570d460d94f83668f312b8242a14f15fa228b545e8d5048b5

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

3288387

1

1000000000