Datum

8f07d69f460674…9a36e52baf

8f07d69f46067429bca52136113b15c24672dd97e2bb9e090ccc8a9a36e52baf

Datum

Constr 0

0

Constr 0

0

Constr 0

0

#0886bec3c26f91f5c728722dcc95b75c32fb2db07334106ac4b3cdef

1

Constr 0

0

Constr 0

0

Constr 0

0

#e39d8dc49a7cc0b344a65be92d24afcf5a54741df842fd3c6d71a798

1

Constr 0

0

Constr 0

0

#0886bec3c26f91f5c728722dcc95b75c32fb2db07334106ac4b3cdef

1

Constr 0

0

Constr 0

0

Constr 0

0

#e39d8dc49a7cc0b344a65be92d24afcf5a54741df842fd3c6d71a798

2

Constr 1 []

3

Constr 3

0

93851973

1

84

4

2000000

5

2000000