Datum

4ec78c8d43ae34…0fa6ffe5ac

4ec78c8d43ae34dfd50a30b26b0d938264a7159a1ec3d759191d4f0fa6ffe5ac

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#30974cd880a983f5879c89679161c65595153152465072f086a3034a

1

Constr 0

0

Constr 0

0

Constr 0

0

#5c14a1f4c5befc22b8c756253be563152bc23e66d69160d58c4a0a27

1

Constr 0

0

Constr 0

0

#30974cd880a983f5879c89679161c65595153152465072f086a3034a

1

Constr 0

0

Constr 0

0

Constr 0

0

#5c14a1f4c5befc22b8c756253be563152bc23e66d69160d58c4a0a27

2

Constr 1 []

3

Constr 2

0

1

4

1998316

5

2000000