Datum

8902f92c7e3b09…d4702e7fdd

8902f92c7e3b092b3d0cbb9d66053090fb3ab6d7edd92e2cfa2ed4d4702e7fdd

Datum

Constr 0

0

#1f

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#e3a0254c00994f731550f81239f12a60c9fd3ce9b9b191543152ec22

1

Constr 0

0

Constr 0

0

Constr 0

0

#b1bec305ddc80189dac8b628ee0adfbe5245c53b84e678ed7ec23d75

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

6572

2

Constr 0

0

90499120