Datum

e1e57f3034456c…c79968b236

e1e57f3034456ce8a2d4ea224e8aad129030eb207647a723cba391c79968b236

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#59f8de9d029df8ad4cd8d4151c421574a1112471b09fc230e8f18b3f

1

Constr 0

0

Constr 0

0

Constr 0

0

#c14bdf12c378697999c293b1d4f3116dc93287fbcee6d5596caf6ea3

1

Constr 0

0

Constr 0

0

#59f8de9d029df8ad4cd8d4151c421574a1112471b09fc230e8f18b3f

1

Constr 0

0

Constr 0

0

Constr 0

0

#c14bdf12c378697999c293b1d4f3116dc93287fbcee6d5596caf6ea3

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

152943606

4

2000000

5

2000000