Datum

88dee2b3ecf8f5…6e047ac85b

88dee2b3ecf8f503bf850ae232f8d240cc3f400e73f5cda21026ff6e047ac85b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ba41c8bea16f4c99de08c592e8a337a610141884aeccbb7b5ca10b19

1

Constr 0

0

Constr 0

0

Constr 0

0

#02ab682ef0a4ddc23befeb3dd726b9a92b9b27fe1a8c55bf5df1bc8b

1

Constr 0

0

Constr 0

0

#ba41c8bea16f4c99de08c592e8a337a610141884aeccbb7b5ca10b19

1

Constr 0

0

Constr 0

0

Constr 0

0

#02ab682ef0a4ddc23befeb3dd726b9a92b9b27fe1a8c55bf5df1bc8b

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000