Datum

8a1ac3b3174903…7e5c4b96ac

8a1ac3b317490334a55e893ddd26be5789bcda36b96582d597de2c7e5c4b96ac

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#0cfe590b5db98232e624202eb5f09d9dc2b492f2fe5ea8bb8bc2629d

1

Constr 0

0

Constr 0

0

Constr 0

0

#7dd26fff83910248d20ef026278f986f47470f9c3ae45fcd8c354fde

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

4000000000

2

Constr 0

0

28764076