Datum

d1fb7df3736d2c…ed65765a4e

d1fb7df3736d2c4195040be29fc312a48e22f6f11af6163feb8936ed65765a4e

Datum

Constr 0

0

#18

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#95f14acc540c7af11ddeda8f83ab171bcc6045d10fd0ce4a5444ee3d

1

Constr 0

0

Constr 0

0

Constr 0

0

#aee6cee805eeb9d7cd44f007dad9d8d5c699c54868b3b0553270cb5f

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

744667292

2

Constr 0

0

3395000000