109048e9770895817dd5979a00f06da534f7d595 1 0
unsat
1babc920ec79618df5f0b082e9d3cddd652a90ad 1 0
unsat
d267ab6dbaa3194e4128cfbcf6e1a93b9e48a6f1 1 0
unsat
d6d26ea94007e43e58225f7c46ec0a99f2402584 1 0
unsat
ca760845de610e645bcfc9b1041c0181d587733c 1 0
unsat
923d502dfce46dab44c651e54c18296dbb701b66 1 0
unsat
05b73dac3f593df70bca3c3e0ef8e7ccec9807f2 1 0
unsat
84a1c78fe50d413d318d0b982ef77dc6f5789b77 1 0
unsat
a56de9dbb2b956491f70c16b413c7873decfb6ef 1 0
unsat
d52770f24e6588f2357f3ca6e4d57f4097733afe 1 0
unsat
748b3e3e560f80cfa668db1bebe6f1b14fd9929c 1 0
unsat
27fd56f39a2ea54c36a37f882d135ce76140c9ce 1 0
unsat
a34ef9de6d19e47e54a2b297aeabc15edfca45ef 1 0
unsat
e604cafe2585e4e1dece418ea345ceb333bd32d5 1 0
unsat
2f36aaa31646c160a17df3ebe0304e0032f73f4d 1 0
unsat
ba93d3be1c4bfd2604b43fa2ddb561b976e10758 1 0
unsat
ae4d9a0ba65abb0a77e4e62bb2c12dc4ea3106ee 1 0
unsat
1378f7b126db81ae9f1a82f4926ae93bcbca2a4d 1 0
unsat
1f5fc8f6f2a92b4ae058947d4cd7b66ce682cb8e 1 0
unsat
ac2f17b7693facdb228260e8305e59afdc4a47c0 1 0
unsat
f290ad959d390f93ae38adf99423d0be11135d21 1 0
unsat
4d50150d6746ff126a14943bed3ec37230750d8b 1 0
unsat
ac1c49596e8b15a40b5c94b005dfb56c9de727ab 1 0
unsat
1e2e60df62f6c62c7f2b24945a09471c4c722921 1 0
unsat
e6b8d081faed808ef11a99fc7e6e21a19cff5590 1 0
unsat