46235d1f6a4388f12c18d3d18eaed2d6ab3523e2 1 0
unsat
2989011a3b771bf7eab17217929d76db371db55a 1 0
unsat
4d462cfbec6db35b16a67293eb04373a3a11cb44 1 0
unsat
32e799a4f02a8bf85378e2558d647d6e6e7e4116 1 0
unsat
ea8ec671ee4ec9ca44eadb130212b55542ad3c72 1 0
unsat
0b22b7d406250c007b69daac26169211cece6e5e 1 0
unsat
6f37bd70504a10f1a5bd56b5d3031a3658eef94d 1 0
unsat
12d0a7828bda723d340f377f770b153b4828c723 1 0
unsat
42a5347bcc64f0fc5e7773f929e8b7e6d96e73d0 1 0
unsat
a42bcf18394af94f8cc8ab8ce877ec1e88c84c2b 1 0
unsat
e3c0ae35ad656751b98714cf4a7bf8c152a73c5b 1 0
unsat
471cc482e74eb56062a56eeeedc0a1257f6bda33 1 0
unsat
122224697bc7ce7440727f7345bc6c4718983ebf 1 0
unsat
ff841f21b338943202778802235f8b185af9f926 1 0
unsat
d53ed3b2dea404bbf4cc3cdde4855f8f002b1ced 1 0
unsat
6f80ff315644370e76762c9594cc0408fb226af7 1 0
unsat
9354d8e43f3fcfb65d935d9c042aa4eb28fa8c7f 1 0
unsat
ea68ff6144ab104762c1ca59e4571d4c481712f2 1 0
unsat
7ec887bf8cbac8fcbb5ed1a9fdcd99b2e709a6ec 1 0
unsat
5005c7113901a2b2f31bdfbbc6192115a80e6a9f 1 0
unsat
9c31a94edb0c85615a8598ba1cd1036b5072b34f 1 0
unsat
68c40f37bd410a9b4b24ab0f6e3e9dcc5159144c 1 0
unsat
833f259a7dd52b3dddfc285b647a432c0daf13c1 1 0
unsat
234d4999f188127d090de762711164119fba49e9 1 0
unsat
6adbd17723088c30f1d1f0f07e1e4df2076a51b2 1 0
unsat