Datum

2b8243ec51e95c…81e63c58e2

2b8243ec51e95cea3042c3a0020ca89d8b0ca22e02bd93fc10149b81e63c58e2

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#9e99ccb90f107fec2120dbdb509acabccdaf64ef097d4edb749cd366

1

Constr 0

0

Constr 0

0

Constr 0

0

#f737790438859accffe34892c1768280b2bf5e42c0f25359b3227702

1

Constr 0

0

Constr 0

0

#9e99ccb90f107fec2120dbdb509acabccdaf64ef097d4edb749cd366

1

Constr 0

0

Constr 0

0

Constr 0

0

#f737790438859accffe34892c1768280b2bf5e42c0f25359b3227702

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

8417362

4

2000000

5

2000000