Datum

8d4bdc5545b3aa…eac80f2f04

8d4bdc5545b3aa70a18c61b268bfffcddfa5d7cdcce878aaaef3e1eac80f2f04

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#60d46d300b844816ae7825ccff5c879898ff58075465cdc7cc218748

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7f670adad39233db984c9dec5d7ef651d39eea0c49b294628ae447b

1

Constr 0

0

Constr 0

0

#60d46d300b844816ae7825ccff5c879898ff58075465cdc7cc218748

1

Constr 0

0

Constr 0

0

Constr 0

0

#f7f670adad39233db984c9dec5d7ef651d39eea0c49b294628ae447b

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

36109903

4

2000000

5

2000000