Datum

402c20fb343453…42e9fd14ae

402c20fb343453c157fcbd84ac6d21fc614f7e11fc4affb7e8fbfb42e9fd14ae

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#2cb8f6e00effc5155292c338cda44ddeec852fb01c5c8bccce918730

1

Constr 0

0

Constr 0

0

Constr 0

0

#16b42a654fd00492b8698b761315aeaa135873b0d8c6fff34bdf5f53

1

Constr 0

0

Constr 0

0

#2cb8f6e00effc5155292c338cda44ddeec852fb01c5c8bccce918730

1

Constr 0

0

Constr 0

0

Constr 0

0

#16b42a654fd00492b8698b761315aeaa135873b0d8c6fff34bdf5f53

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

149096489

4

2000000

5

2000000