Datum

b0aa8aebda175d…0be128df65

b0aa8aebda175d20f765122d607827511b2d266c82fb16daa6dcd70be128df65

Datum

Constr 0

0

#14

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#0465c1112f472999dcf4fbdd292e65ebeb856d27cbbe55cdc788c242

1

Constr 0

0

Constr 0

0

Constr 0

0

#8893675d0a8ac8be787534f48f7ae40deb9410a1849a01247d918aaa

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 0 []

1

1205000000

2

Constr 0

0

198