Datum

cc063184aa857f…fb3ce2ce23

cc063184aa857f98dbd5ebe6df7a2ebc72eab9707c899ac2f03594fb3ce2ce23

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#3050f6f4d5981748bc3a2b84d8165b20c100a75057b6593befd9323c

1

Constr 0

0

Constr 0

0

Constr 0

0

#c5cdc99429b4ce659f2542994c48b6c801f0b8e21ca7fb586326a545

1

Constr 0

0

Constr 0

0

#3050f6f4d5981748bc3a2b84d8165b20c100a75057b6593befd9323c

1

Constr 0

0

Constr 0

0

Constr 0

0

#c5cdc99429b4ce659f2542994c48b6c801f0b8e21ca7fb586326a545

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

216274489

4

2000000

5

2000000