Datum

19e6228079243e…88837a36d7

19e6228079243e27a2d81bf2cdcf0ffec952ecff0857b8dd2cf6bf88837a36d7

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#8868b25cc1796afef173f9fb6b1bdf1396ea528f1986c4be675587ec

1

Constr 0

0

Constr 0

0

Constr 0

0

#a48190a0fe0a1ffbb3028e4add5749bae162c175d4a689e6912f31b0

1

Constr 0

0

Constr 0

0

#8868b25cc1796afef173f9fb6b1bdf1396ea528f1986c4be675587ec

1

Constr 0

0

Constr 0

0

Constr 0

0

#a48190a0fe0a1ffbb3028e4add5749bae162c175d4a689e6912f31b0

2

Constr 1 []

3

Constr 2

0

1

4

1994744

5

2000000