Datum

8713ce8ffab48a…cb57c3ced3

8713ce8ffab48af0a552b339753620810c8a54533c06dc7dce2070cb57c3ced3

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#1d463ce31d53f5bb6fcd9e464b376eca68d7fd4bb469e1c0e5baaca7

1

Constr 0

0

Constr 0

0

Constr 0

0

#93d9acf41ae590a47d1a0991e6bdd084722fd734e1c99a08297cbf7e

1

Constr 0

0

Constr 0

0

#1d463ce31d53f5bb6fcd9e464b376eca68d7fd4bb469e1c0e5baaca7

1

Constr 0

0

Constr 0

0

Constr 0

0

#93d9acf41ae590a47d1a0991e6bdd084722fd734e1c99a08297cbf7e

2

Constr 1 []

3

Constr 3

0

264713976

1

935364256

4

2000000

5

2000000