Datum

f152d86037bf7c…f36ce260db

f152d86037bf7c1cfa11fa34987bc0c952f00cdee1a67aeb6110aef36ce260db

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f6e83a4ec5d927ea972df48116e4df104338a2e17bf49e6945a56e80

1

Constr 0

0

Constr 0

0

Constr 0

0

#a484d0526b26ccac6b9ab9f53ccd59baa8b1d67746f5114d49e70941

1

Constr 0

0

Constr 0

0

#f6e83a4ec5d927ea972df48116e4df104338a2e17bf49e6945a56e80

1

Constr 0

0

Constr 0

0

Constr 0

0

#a484d0526b26ccac6b9ab9f53ccd59baa8b1d67746f5114d49e70941

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

164922

4

1978829

5

2000000