Datum

89db8ceaf6689c…1f82338009

89db8ceaf6689cdcfbfd3bb76210ed12ddd36011e80bc90ea746a51f82338009

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f421c37d66cd124e106b23b391ab5f76eb7d8688219ebc73dd52effe

1

Constr 0

0

Constr 0

0

Constr 0

0

#fde5bfc1aa06a1ccd35f09f86764fee2986b09b02fa8c49ad628bcb1

1

Constr 0

0

Constr 0

0

#f421c37d66cd124e106b23b391ab5f76eb7d8688219ebc73dd52effe

1

Constr 0

0

Constr 0

0

Constr 0

0

#fde5bfc1aa06a1ccd35f09f86764fee2986b09b02fa8c49ad628bcb1

2

Constr 1 []

3

Constr 3

0

238605556

1

697018155

4

2000000

5

2000000