Datum

42e3660368f492…136ae7d3ad

42e3660368f49211afd7f69b6926d08c9dbd6514290547250d2c8b136ae7d3ad

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#71650e55c6b4a8f40882b66809da7bcd7b914f2832b5be94f35c9836

1

Constr 0

0

Constr 0

0

Constr 0

0

#0fb5d67ca8dc7232371262753272df65958602ca0983f4f7026a15d7

1

Constr 0

0

Constr 0

0

#71650e55c6b4a8f40882b66809da7bcd7b914f2832b5be94f35c9836

1

Constr 0

0

Constr 0

0

Constr 0

0

#0fb5d67ca8dc7232371262753272df65958602ca0983f4f7026a15d7

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000