Datum

93a87bb22d5eab…d20d5ac7a2

93a87bb22d5eabb889ed5e1ed1a1bd56d4204a4cd6cc008af0ff6dd20d5ac7a2

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#b5e29b13b00ba8a4b4e60c434ac0b462f3dabfbc3be5ab7bfb81450d

1

Constr 0

0

Constr 0

0

Constr 0

0

#a3c5ba0fe3dc92f50518b4e718658603a4a0060b58548696482e6188

1

Constr 0

0

Constr 0

0

#b5e29b13b00ba8a4b4e60c434ac0b462f3dabfbc3be5ab7bfb81450d

1

Constr 0

0

Constr 0

0

Constr 0

0

#a3c5ba0fe3dc92f50518b4e718658603a4a0060b58548696482e6188

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

42162800

4

1999942

5

2000000