Datum

3544cd1c4d1ccc…a714cd9295

3544cd1c4d1cccac236a5d2cac499c556cd9e480620dbff52e2c36a714cd9295

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#4b5d5e8f089105da31e4463e3d577ae5697d2f8443f60027c41b6cdf

1

Constr 0

0

Constr 0

0

Constr 0

0

#6b7137dc909582bd7503dbe68b30b599906a03e3aae4296b8c9f9a43

1

Constr 0

0

Constr 0

0

#4b5d5e8f089105da31e4463e3d577ae5697d2f8443f60027c41b6cdf

1

Constr 0

0

Constr 0

0

Constr 0

0

#6b7137dc909582bd7503dbe68b30b599906a03e3aae4296b8c9f9a43

2

Constr 1 []

3

Constr 2

0

1

4

1992105

5

2000000