Datum

3eb9cbdff666bb…c5f4a95c62

3eb9cbdff666bb5266634969690d3e8e2b36af3218331bcac30c66c5f4a95c62

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#17c61e2be4effd003ebd0a32f5d05d8f4ca19edeb37e19ee85eb2f1a

1

Constr 0

0

Constr 0

0

Constr 0

0

#11c5e8853f1bf323913b12a881418fbdf03145b1b78700bdf0e44622

1

Constr 0

0

Constr 0

0

#17c61e2be4effd003ebd0a32f5d05d8f4ca19edeb37e19ee85eb2f1a

1

Constr 0

0

Constr 0

0

Constr 0

0

#11c5e8853f1bf323913b12a881418fbdf03145b1b78700bdf0e44622

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

5906304

4

2000000

5

2000000