Datum

bc95a14fd3c674…0cc4f24d3a

bc95a14fd3c67402de4b55d5c603cb080db2b7e9768c1ce5545a7b0cc4f24d3a

Datum

Constr 0

0

List [2]

0

Constr 0

0

Constr 0

0

Constr 0

0

#13b9acee4fe1fbc4176c63e6c2b6c87a73422b229a76583a1826ae96

1

Constr 1 []

1

1000000

1

Constr 0

0

Constr 0

0

Constr 0

0

#8b24a54438ca5a6548479d11a822b852565615cbc37d6250b2c5344c

1

Constr 0

0

Constr 0

0

Constr 0

0

#31cbf1d81f096147c545117c46e0075e43684b48a7d3f82837d56898

1

8000000

1

#8b24a54438ca5a6548479d11a822b852565615cbc37d6250b2c5344c