Datum

ec258cf81cb652…161dcd8f8e

ec258cf81cb6524e7d9da7eee9f81c8b685d642c20a052934d838d161dcd8f8e

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#36c6b36e791246a126e59d2b630a1127713712f0bd4306855b072e4d

1

Constr 0

0

Constr 0

0

Constr 0

0

#7dd9acf3c5f195dc28ef4d2617c1d4c3176e848165ae374c74dbd508

1

Constr 0

0

Constr 0

0

#36c6b36e791246a126e59d2b630a1127713712f0bd4306855b072e4d

1

Constr 0

0

Constr 0

0

Constr 0

0

#7dd9acf3c5f195dc28ef4d2617c1d4c3176e848165ae374c74dbd508

2

Constr 1 []

3

Constr 2

0

1

4

1999063

5

2000000