Datum

34f6c8f6b5a452…a00706367c

34f6c8f6b5a452947ddd85d7af30dfb965cfe4e46ed01fdf64eeeea00706367c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#605e295c5d7b756751581cf52296210aadb6e9336adae5e4a8bb4ebb

1

Constr 0

0

Constr 0

0

Constr 0

0

#feb46e82ed2da5e47a066fdd4ca917d38f66335ac8dd08ba5d70c13b

1

Constr 0

0

Constr 0

0

#605e295c5d7b756751581cf52296210aadb6e9336adae5e4a8bb4ebb

1

Constr 0

0

Constr 0

0

Constr 0

0

#feb46e82ed2da5e47a066fdd4ca917d38f66335ac8dd08ba5d70c13b

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000