Datum

150fbb5985885f…f7b0233d2c

150fbb5985885f9d6bfae31a7debeb2bb32df82d28b95d57ee1e2df7b0233d2c

Datum

Constr 0

0

#0f

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#f807c0574d3361343afd401b954e819c2412271a33ec72970bd482f1

1

Constr 0

0

Constr 0

0

Constr 0

0

#2c47565ad55eedd29b1dba2ece71e39846ca9bce1c84f89f6a436973

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 2

0

Constr 1

0

Constr 0

0

145860131

1

150000000000