Datum

802d1880f0e124…cd3c4673ea

802d1880f0e1244f76e2f03ae8551d34e118f6d5de8afafda18cfdcd3c4673ea

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4ec53c0e2af932f6f6ee0db585f3054c3bf9f30466d3d8b86f91f433

1

Constr 0

0

Constr 0

0

Constr 0

0

#5a489883d934158bb2f7799560fac532670a32b2e7a9d639bb7c8226

1

Constr 0

0

Constr 0

0

#4ec53c0e2af932f6f6ee0db585f3054c3bf9f30466d3d8b86f91f433

1

Constr 0

0

Constr 0

0

Constr 0

0

#5a489883d934158bb2f7799560fac532670a32b2e7a9d639bb7c8226

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

11472962794

4

1939937

5

2000000