Datum

774c28a89da82f…a4cf7f2f91

774c28a89da82fa2fffe1cac2b2bee582fc6360a275b451f6f1c93a4cf7f2f91

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a64cecd5a3d44be06fb069284caa9419c20dfc6278df9fe016482830

1

Constr 0

0

Constr 0

0

Constr 0

0

#ca2bb3cf95b937c2cc127423629b76b9ffc8a80a47eb732b786b9044

1

Constr 0

0

Constr 0

0

#a64cecd5a3d44be06fb069284caa9419c20dfc6278df9fe016482830

1

Constr 0

0

Constr 0

0

Constr 0

0

#ca2bb3cf95b937c2cc127423629b76b9ffc8a80a47eb732b786b9044

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

239776539

4

1999815

5

2000000