Datum

22d9bb9adb04a8…abf88b4e52

22d9bb9adb04a8c14d31f8bd27e48eb2ae0cf9d0b653280e1dd755abf88b4e52

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#ea491e5bdcca2da23120077ecafc459f13a696d7ba3541c58e2bbe7b

1

Constr 0

0

Constr 0

0

Constr 0

0

#cf8c05e6a1b3c1da657286ed36df828ca3fb3f6dd050ba84e265fcee

1

Constr 0

0

Constr 0

0

#ea491e5bdcca2da23120077ecafc459f13a696d7ba3541c58e2bbe7b

1

Constr 0

0

Constr 0

0

Constr 0

0

#cf8c05e6a1b3c1da657286ed36df828ca3fb3f6dd050ba84e265fcee

2

Constr 1 []

3

Constr 2

0

1

4

1902342

5

2000000