Datum

3335d78c0e9afe…05c7cd8fe6

3335d78c0e9afec3edab2ea3b8eac894cc85d1af57ca8bb0e496ea05c7cd8fe6

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b87d7afeea204ff0da808c944243425cf8553f454585df15ba5d9706

1

Constr 0

0

Constr 0

0

Constr 0

0

#2af3fd0dec0bffa658d6e1515361daaa4582142ef5f40665fae059a5

1

Constr 0

0

Constr 0

0

#b87d7afeea204ff0da808c944243425cf8553f454585df15ba5d9706

1

Constr 0

0

Constr 0

0

Constr 0

0

#2af3fd0dec0bffa658d6e1515361daaa4582142ef5f40665fae059a5

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

400612619

4

2000000

5

2000000