Datum

d1ab667b5dd856…a85eebe57d

d1ab667b5dd8564165c91d799e58793f78f69eb601445a8fa6026fa85eebe57d

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#9c2d00bd5b7e931ef1ce4ce7fffd33e9593c00c057c4e1e275f23bd3

1

Constr 0

0

Constr 0

0

Constr 0

0

#88b736b6e7474d411ad953f7c400e2f933f0bb18da6152dea8b662fb

1

Constr 0

0

Constr 0

0

#9c2d00bd5b7e931ef1ce4ce7fffd33e9593c00c057c4e1e275f23bd3

1

Constr 0

0

Constr 0

0

Constr 0

0

#88b736b6e7474d411ad953f7c400e2f933f0bb18da6152dea8b662fb

2

Constr 1 []

3

Constr 2

0

1

4

1993206

5

2000000