Datum

28b0345d8a3335…12270d40cd

28b0345d8a333521c4ca5a21f4bec1b58daa57b9ba998ea8d987eb12270d40cd

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1c1dcb12e4737c7ac689815bbdef8dd69983dd2f021857d8afb960e5

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7b6eb780929f13abf66245457950f74a8cb6cdec0355ce5269504f6

1

Constr 0

0

Constr 0

0

#1c1dcb12e4737c7ac689815bbdef8dd69983dd2f021857d8afb960e5

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7b6eb780929f13abf66245457950f74a8cb6cdec0355ce5269504f6

2

Constr 1 []

3

Constr 2

0

1

4

2000000

5

2000000