Datum

89583ba79cfd5d…d9d8f010dc

89583ba79cfd5d315a349bc077a8eb8f71aa6f4022d86facecd635d9d8f010dc

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#f10ae123380996fe901f1abc233ed8ff21fd452b0179f4d80c11d001

1

Constr 0

0

Constr 0

0

Constr 0

0

#b9481e4e1baffbe5c4a3b4af98b0aebb4a4b8c7b12e443fec84a409a

1

Constr 0

0

Constr 0

0

#f10ae123380996fe901f1abc233ed8ff21fd452b0179f4d80c11d001

1

Constr 0

0

Constr 0

0

Constr 0

0

#b9481e4e1baffbe5c4a3b4af98b0aebb4a4b8c7b12e443fec84a409a

2

Constr 1 []

3

Constr 2

0

1

4

1989531

5

2000000