Datum

b72b128ff6447a…bc7485798f

b72b128ff6447a4e893e226630e7d244989454bc3bf62168f9f162bc7485798f

Datum

Constr 0

0

#07

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#ab4b1934735f9a3cb1cbf1e6e0fff8afd03c5e763c4635cae75f65e1

1

Constr 0

0

Constr 0

0

Constr 0

0

#5e1f52f18774817bf07d7bfe32aec97453e5dbb2613ead02869f6a44

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

223000000

2

Constr 0

0

360179544