Datum

8092e64e5941d8…d3eb2759ff

8092e64e5941d83490edd01439666554d7af2b7ca48ab3e465c136d3eb2759ff

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#7274bfa787364744b796e01e83f9df8d3abc585bcd448a603b816904

1

Constr 0

0

Constr 0

0

Constr 0

0

#c4072818a590e6e392982c8afddccd9926b727d28e07192abbd72f77

1

Constr 0

0

Constr 0

0

#7274bfa787364744b796e01e83f9df8d3abc585bcd448a603b816904

1

Constr 0

0

Constr 0

0

Constr 0

0

#c4072818a590e6e392982c8afddccd9926b727d28e07192abbd72f77

2

Constr 1 []

3

Constr 2

0

1

4

1999695

5

2000000