Datum

30b1e808550fb3…f7655eae77

30b1e808550fb3eadc2f7647e5727b5268e0d968bd7a55ecee0816f7655eae77

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#135869dad7e3e1f89c0342b59e2fc55ec1adee9c5c43c1927a7d1ddb

1

Constr 0

0

Constr 0

0

Constr 0

0

#4c9b1792addc050aaef1be7ebc139f9b4e0b2754d30096f90253812d

1

Constr 0

0

Constr 0

0

#135869dad7e3e1f89c0342b59e2fc55ec1adee9c5c43c1927a7d1ddb

1

Constr 0

0

Constr 0

0

Constr 0

0

#4c9b1792addc050aaef1be7ebc139f9b4e0b2754d30096f90253812d

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

9795419

4

2000000

5

2000000