Datum

30fe6a909bb7cc…444a75f10f

30fe6a909bb7cc414b5c545cc25288dccbcdf24cacadc93055ed0a444a75f10f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f749acf4e05f31592fab6051733b798393f3afcbf9cb29fb25673684

1

Constr 0

0

Constr 0

0

Constr 0

0

#3be6a19983078df66d994f0d16585a378d47e560caad22c3799a1af3

1

Constr 0

0

Constr 0

0

#f749acf4e05f31592fab6051733b798393f3afcbf9cb29fb25673684

1

Constr 0

0

Constr 0

0

Constr 0

0

#3be6a19983078df66d994f0d16585a378d47e560caad22c3799a1af3

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

237520937

4

2000000

5

2000000