Datum

8b594268f8ef4e…e5edad992c

8b594268f8ef4ef5fdb6971f144d8d8fbe8df3788e33d10c8f16eae5edad992c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#831d814f2ed499a79ad8e623232d970c0ec9a550d5a87b55314f81da

1

Constr 0

0

Constr 0

0

Constr 0

0

#7cd325b0392813b3ccbdb60e32403ff0cd0ad339370b5e4bbf673ca8

1

Constr 0

0

Constr 0

0

#831d814f2ed499a79ad8e623232d970c0ec9a550d5a87b55314f81da

1

Constr 0

0

Constr 0

0

Constr 0

0

#7cd325b0392813b3ccbdb60e32403ff0cd0ad339370b5e4bbf673ca8

2

Constr 1 []

3

Constr 2

0

1

4

1998701

5

2000000