Datum

8da11c8587d5e3…23e7ec7d92

8da11c8587d5e37e06ff84a0f34178bf7899341a1e6a0d40cf761a23e7ec7d92

Datum

Constr 0

0

#12

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#b63a7b75314e518931bc369afb21d6e9a85bb11c6bd6516a21e437cc

1

Constr 0

0

Constr 0

0

Constr 0

0

#9be57ff8ca1f30de430fc0954b07aea5e8c5a0e1cd0d385d1f8dc741

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

200000000000

2

Constr 0

0

224228623