Datum

d2ec71b01c3f49…1f6461ad6e

d2ec71b01c3f494ac0d69c7d72524c3db9c960dad30fa5280ea2501f6461ad6e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#d3299b59907c0ef9b4a6e7f89b662ee9fc5fbd90381bbed9c3faff5c

1

Constr 0

0

Constr 0

0

Constr 0

0

#f40665a7200bb2ae9a698e1b46980997dfa80e87ef4536ecaf916ef9

1

Constr 0

0

Constr 0

0

#d3299b59907c0ef9b4a6e7f89b662ee9fc5fbd90381bbed9c3faff5c

1

Constr 0

0

Constr 0

0

Constr 0

0

#f40665a7200bb2ae9a698e1b46980997dfa80e87ef4536ecaf916ef9

2

Constr 1 []

3

Constr 2

0

1

4

1998938

5

2000000