Datum

796d2bcd173590…0ff774fdf1

796d2bcd173590493acee5465e7fa3577e293a12a06f92e97ee61d0ff774fdf1

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4cd7c8b10ac318fbb5a73439650418823d50fa234b41c216a7cc9323

1

Constr 0

0

Constr 0

0

Constr 0

0

#36e2abc921c497a591eee9dfb3a52383f94fd378276b6a9699ec3869

1

Constr 0

0

Constr 0

0

#4cd7c8b10ac318fbb5a73439650418823d50fa234b41c216a7cc9323

1

Constr 0

0

Constr 0

0

Constr 0

0

#36e2abc921c497a591eee9dfb3a52383f94fd378276b6a9699ec3869

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000