Datum

62fa00a596c65d…76fbb9cc75

62fa00a596c65d628605de123d3aad7f80924425afbacb69e12fe076fbb9cc75

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#77ff740947bf1105ceaa9198c2982cc0590436917db46701ba7b104c

1

Constr 0

0

Constr 0

0

Constr 0

0

#72c5f4b640bf256fb2291cf9280d2788a0a6d3b5e46c6e3ad6065e6f

1

Constr 0

0

Constr 0

0

#77ff740947bf1105ceaa9198c2982cc0590436917db46701ba7b104c

1

Constr 0

0

Constr 0

0

Constr 0

0

#72c5f4b640bf256fb2291cf9280d2788a0a6d3b5e46c6e3ad6065e6f

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

967245215

4

1899592

5

2000000