Datum

e0143a5e3227be…243f8dde2e

e0143a5e3227bee1cc0adbae928a5c8db9766c8de95c13f517c5ce243f8dde2e

Datum

Constr 0

0

#08

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 1

0

#fa6a58bbe2d0ff05534431c8e2f0ef2cbdc1602a8456e4b13c8f3077

1

Constr 1 []

1

Constr 0

0

#e4ff8c8ee3f75a45d57964304da268e1890ce242bc3af9c234f39a9992ed9156

1

Constr 0

0

#36549415c98989427b1b2ccbea8b8142be5b5a6a4a09163a1449d16d

2

2500000

3

Constr 1

0

122484217