Datum

fa161c2fda3c2f…c69f9cfe5d

fa161c2fda3c2ffda049d2eb60ed2fae1d35e0a78e4f35de053882c69f9cfe5d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#6c304017a8e3e052142f75d2a85ac1cfc10243686113023b889c8968

1

Constr 0

0

Constr 0

0

Constr 0

0

#ad41d4bd6e9cc3dcef6793954702603679c189978803b1395fa9a397

1

Constr 0

0

Constr 0

0

#6c304017a8e3e052142f75d2a85ac1cfc10243686113023b889c8968

1

Constr 0

0

Constr 0

0

Constr 0

0

#ad41d4bd6e9cc3dcef6793954702603679c189978803b1395fa9a397

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000