Datum

1fa37b8bd7289e…ee64aac43f

1fa37b8bd7289ed3de25c5e55aab69a87f4dfbf11bd4e80f445421ee64aac43f

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f8299badd4deb0a0cfaf9219c413dfee5cbf848687e248c068940397

1

Constr 0

0

Constr 0

0

Constr 0

0

#73421d9b37fed70beffbb1bfe07c6e574b78dd21f5084b693c59e8fd

1

Constr 0

0

Constr 0

0

#f8299badd4deb0a0cfaf9219c413dfee5cbf848687e248c068940397

1

Constr 0

0

Constr 0

0

Constr 0

0

#73421d9b37fed70beffbb1bfe07c6e574b78dd21f5084b693c59e8fd

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

180146123

4

2000000

5

2000000