Datum

d6c85d8568174d…4a686ad536

d6c85d8568174dab697c19cd60e906c5ff5a5e88198ed6fcc2e95b4a686ad536

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0f34fe3191fc19946b657ddad79c6cba4fbf6f3c5be68eaa76ac1937

1

Constr 0

0

Constr 0

0

Constr 0

0

#8690d68fd06954f5b6f69f28585394616b24cb046797f6931b878fcd

1

Constr 0

0

Constr 0

0

#0f34fe3191fc19946b657ddad79c6cba4fbf6f3c5be68eaa76ac1937

1

Constr 0

0

Constr 0

0

Constr 0

0

#8690d68fd06954f5b6f69f28585394616b24cb046797f6931b878fcd

2

Constr 1 []

3

Constr 3

0

217188206

1

292495623

4

2000000

5

2000000