Datum

daefe3ea9f4a5d…fe1035bb45

daefe3ea9f4a5d7ff0b1dfc73dbc9db1a893024f9bfe6b6a194373fe1035bb45

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#a53e1a9825d75b69d24acfa3573bb8bf0ffe5fd530135b9efa62c29b

1

Constr 0

0

Constr 0

0

Constr 0

0

#ac309856b3eebb9833bdb4e1953f248ac5c46fdd735ffebdee625999

1

Constr 0

0

Constr 0

0

#a53e1a9825d75b69d24acfa3573bb8bf0ffe5fd530135b9efa62c29b

1

Constr 0

0

Constr 0

0

Constr 0

0

#ac309856b3eebb9833bdb4e1953f248ac5c46fdd735ffebdee625999

2

Constr 1 []

3

Constr 0

0

Constr 0

0

#""

1

#""

1

10635071067

4

2000000

5

2000000