Datum

b6deffe141e5d4…e09790880c

b6deffe141e5d4149b7f5b6360de2a728f710fdfb2ab5ec1e8cceee09790880c

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7954b5e294477b6dfc672644c147f9ad24dbf3c11b11cec834bd1802

1

Constr 0

0

Constr 0

0

Constr 0

0

#f00772461bfd2a4be044fbaed8c54747fd7125bda741118a1a3bbce3

1

Constr 0

0

Constr 0

0

#7954b5e294477b6dfc672644c147f9ad24dbf3c11b11cec834bd1802

1

Constr 0

0

Constr 0

0

Constr 0

0

#f00772461bfd2a4be044fbaed8c54747fd7125bda741118a1a3bbce3

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

316963560

4

2000000

5

2000000