Datum

490d17c202d45f…4c7289ffed

490d17c202d45f3ba3ae580da170363be66ad8c630c29b5d964cf64c7289ffed

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#14ae3b8d97d7715af188e48be9b35d6d9d603a618c9788180dfdc639

1

Constr 0

0

Constr 0

0

Constr 0

0

#1719652e302a9063904f314fefe33cac49eaf4e94cd18acbe4b2f8e5

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

430000000

2

Constr 0

0

275642209