Datum

c08e2e4892dece…189ff037b5

c08e2e4892decefcd9a5e006a09041d2c0bcb950d3f7be37220253189ff037b5

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#fe640faa57ee787ebbb8e985161acfa6ae79dce36545391cee66a2b0

1

Constr 0

0

Constr 0

0

Constr 0

0

#7b34dc6dfc287d3dafc4d78f198f6335cab5c9cbdef7757b82a79b16

1

Constr 0

0

Constr 0

0

#fe640faa57ee787ebbb8e985161acfa6ae79dce36545391cee66a2b0

1

Constr 0

0

Constr 0

0

Constr 0

0

#7b34dc6dfc287d3dafc4d78f198f6335cab5c9cbdef7757b82a79b16

2

Constr 1 []

3

Constr 2

0

1

4

1995392

5

2000000