Datum

3b1bb5bfa487fb…818ee725ff

3b1bb5bfa487fb351477621998bf20fe2ab3cff3bf29a5c196b0e2818ee725ff

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f035272c12baea51cc3fad751b5302841760977c38507cfb68829e9d

1

Constr 0

0

Constr 0

0

Constr 0

0

#e723344d1188777193dbd669779972c8f56a27274ae9845bc8306c66

1

Constr 0

0

Constr 0

0

#f035272c12baea51cc3fad751b5302841760977c38507cfb68829e9d

1

Constr 0

0

Constr 0

0

Constr 0

0

#e723344d1188777193dbd669779972c8f56a27274ae9845bc8306c66

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

10363738460

4

2000000

5

2000000