Datum

64e33a16d5e23e…4ddc87cdad

64e33a16d5e23ea0e40f69b64b2af67988ea52cd071493a4af28164ddc87cdad

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#487ea905f45787d6bfc43014eac989369d4cd3e8da6f679ccadfbc2f

1

Constr 0

0

Constr 0

0

Constr 0

0

#b0b84be6cc81a7d70e7965293e54e76cac829fb9a22c5b7234c747b4

1

Constr 0

0

Constr 0

0

#487ea905f45787d6bfc43014eac989369d4cd3e8da6f679ccadfbc2f

1

Constr 0

0

Constr 0

0

Constr 0

0

#b0b84be6cc81a7d70e7965293e54e76cac829fb9a22c5b7234c747b4

2

Constr 1 []

3

Constr 4

0

Constr 0

0

#""

1

#""

1

983755

4

2000000

5

2000000