Datum

c49533c2f87710…f211531d97

c49533c2f87710fd2b6400ccb74804abc84eff2084a4d0d3a739ccf211531d97

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#fe70fa06d41e60c83bae6bf22b1198284c9b34a7be9ba29015e00750

1

Constr 0

0

Constr 0

0

Constr 0

0

#27ddbcc64b98884de0c6a1b793c4f820beeae06e468e858316a898c7

1

Constr 0

0

Constr 0

0

#fe70fa06d41e60c83bae6bf22b1198284c9b34a7be9ba29015e00750

1

Constr 0

0

Constr 0

0

Constr 0

0

#27ddbcc64b98884de0c6a1b793c4f820beeae06e468e858316a898c7

2

Constr 1 []

3

Constr 2

0

1

4

1992375

5

2000000