Datum

64d0f89e2d2070…b8a573c54b

64d0f89e2d20705e2bfaf0a1e64a2940684fdc771552dffd688072b8a573c54b

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#22fbae342909e3a7771d359d6d6a9f86ec3e7553e1f61091b324b1dc

1

Constr 0

0

Constr 0

0

Constr 0

0

#3c9f48234b3e3489ebfdfa27095e1c491c0cf021959ed8c8a5fa6841

1

Constr 0

0

Constr 0

0

#22fbae342909e3a7771d359d6d6a9f86ec3e7553e1f61091b324b1dc

1

Constr 0

0

Constr 0

0

Constr 0

0

#3c9f48234b3e3489ebfdfa27095e1c491c0cf021959ed8c8a5fa6841

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

2048866

4

2000000

5

2000000