Datum

505e15dcf1391e…798eba583f

505e15dcf1391ef45a69fef225283adb409bdbf2e686315a1fc39d798eba583f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f7a6ddb7b3461b2df658943fc248f635add711d07d40e4c2443b0ea9

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba9726e17dcb24c787ab36406e4ee9c158ddbc16786649cf40d943b6

1

Constr 0

0

Constr 0

0

#f7a6ddb7b3461b2df658943fc248f635add711d07d40e4c2443b0ea9

1

Constr 0

0

Constr 0

0

Constr 0

0

#ba9726e17dcb24c787ab36406e4ee9c158ddbc16786649cf40d943b6

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

38534925

4

2000000

5

2000000