Datum

f00dd85fc32808…1bf3d7c92d

f00dd85fc32808134feed3dfed98ac24a8cfd5e88db9f350c5dfa11bf3d7c92d

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#4a2bec3da1bf1d2942e0a797a545e11e69a14efd22346af91cf74398

1

Constr 0

0

Constr 0

0

Constr 0

0

#25f2e8f30aeae066cfb3cbdadcde28bc353b2d58f7b02651d808e5c0

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

315824275

2

Constr 0

0

142725607