Datum

bbd39fb3624d58…2a20ce9757

bbd39fb3624d58d116a728ec52682e72814138aad528c291ecc40b2a20ce9757

Datum

Constr 0

0

#f402

1

Constr 0

0

Constr 0

0

Constr 0

0

Constr 0

0

#3e8ec1c03a5b1134abc72599cc078ee842d4ae2fdb9c7fbebbdc4818

1

Constr 0

0

Constr 0

0

Constr 0

0

#80f5b66ecb71969dd5f725f4cde53dddd44bd85fdc70b23a590e4fce

1

Constr 1 []

1

Constr 1 []

2

2500000

3

Constr 0

0

Constr 1 []

1

335000000000

2

Constr 0

0

3386572125