1 109048e9770895817dd5979a00f06da534f7d595 1 0 |
1 46235d1f6a4388f12c18d3d18eaed2d6ab3523e2 1 0 |
2 unsat |
2 unsat |
3 1babc920ec79618df5f0b082e9d3cddd652a90ad 1 0 |
3 2989011a3b771bf7eab17217929d76db371db55a 1 0 |
4 unsat |
4 unsat |
5 d267ab6dbaa3194e4128cfbcf6e1a93b9e48a6f1 1 0 |
5 4d462cfbec6db35b16a67293eb04373a3a11cb44 1 0 |
6 unsat |
6 unsat |
7 d6d26ea94007e43e58225f7c46ec0a99f2402584 1 0 |
7 32e799a4f02a8bf85378e2558d647d6e6e7e4116 1 0 |
8 unsat |
8 unsat |
9 ca760845de610e645bcfc9b1041c0181d587733c 1 0 |
9 ea8ec671ee4ec9ca44eadb130212b55542ad3c72 1 0 |
10 unsat |
10 unsat |
11 923d502dfce46dab44c651e54c18296dbb701b66 1 0 |
11 0b22b7d406250c007b69daac26169211cece6e5e 1 0 |
12 unsat |
12 unsat |
13 05b73dac3f593df70bca3c3e0ef8e7ccec9807f2 1 0 |
13 6f37bd70504a10f1a5bd56b5d3031a3658eef94d 1 0 |
14 unsat |
14 unsat |
15 84a1c78fe50d413d318d0b982ef77dc6f5789b77 1 0 |
15 12d0a7828bda723d340f377f770b153b4828c723 1 0 |
16 unsat |
16 unsat |
17 a56de9dbb2b956491f70c16b413c7873decfb6ef 1 0 |
17 42a5347bcc64f0fc5e7773f929e8b7e6d96e73d0 1 0 |
18 unsat |
18 unsat |
19 d52770f24e6588f2357f3ca6e4d57f4097733afe 1 0 |
19 a42bcf18394af94f8cc8ab8ce877ec1e88c84c2b 1 0 |
20 unsat |
20 unsat |
21 748b3e3e560f80cfa668db1bebe6f1b14fd9929c 1 0 |
21 e3c0ae35ad656751b98714cf4a7bf8c152a73c5b 1 0 |
22 unsat |
22 unsat |
23 27fd56f39a2ea54c36a37f882d135ce76140c9ce 1 0 |
23 471cc482e74eb56062a56eeeedc0a1257f6bda33 1 0 |
24 unsat |
24 unsat |
25 a34ef9de6d19e47e54a2b297aeabc15edfca45ef 1 0 |
25 122224697bc7ce7440727f7345bc6c4718983ebf 1 0 |
26 unsat |
26 unsat |
27 e604cafe2585e4e1dece418ea345ceb333bd32d5 1 0 |
27 ff841f21b338943202778802235f8b185af9f926 1 0 |
28 unsat |
28 unsat |
29 2f36aaa31646c160a17df3ebe0304e0032f73f4d 1 0 |
29 d53ed3b2dea404bbf4cc3cdde4855f8f002b1ced 1 0 |
30 unsat |
30 unsat |
31 ba93d3be1c4bfd2604b43fa2ddb561b976e10758 1 0 |
31 6f80ff315644370e76762c9594cc0408fb226af7 1 0 |
32 unsat |
32 unsat |
33 ae4d9a0ba65abb0a77e4e62bb2c12dc4ea3106ee 1 0 |
33 9354d8e43f3fcfb65d935d9c042aa4eb28fa8c7f 1 0 |
34 unsat |
34 unsat |
35 1378f7b126db81ae9f1a82f4926ae93bcbca2a4d 1 0 |
35 ea68ff6144ab104762c1ca59e4571d4c481712f2 1 0 |
36 unsat |
36 unsat |
37 1f5fc8f6f2a92b4ae058947d4cd7b66ce682cb8e 1 0 |
37 7ec887bf8cbac8fcbb5ed1a9fdcd99b2e709a6ec 1 0 |
38 unsat |
38 unsat |
39 ac2f17b7693facdb228260e8305e59afdc4a47c0 1 0 |
39 5005c7113901a2b2f31bdfbbc6192115a80e6a9f 1 0 |
40 unsat |
40 unsat |
41 f290ad959d390f93ae38adf99423d0be11135d21 1 0 |
41 9c31a94edb0c85615a8598ba1cd1036b5072b34f 1 0 |
42 unsat |
42 unsat |
43 4d50150d6746ff126a14943bed3ec37230750d8b 1 0 |
43 68c40f37bd410a9b4b24ab0f6e3e9dcc5159144c 1 0 |
44 unsat |
44 unsat |
45 ac1c49596e8b15a40b5c94b005dfb56c9de727ab 1 0 |
45 833f259a7dd52b3dddfc285b647a432c0daf13c1 1 0 |
46 unsat |
46 unsat |
47 1e2e60df62f6c62c7f2b24945a09471c4c722921 1 0 |
47 234d4999f188127d090de762711164119fba49e9 1 0 |
48 unsat |
48 unsat |
49 e6b8d081faed808ef11a99fc7e6e21a19cff5590 1 0 |
49 6adbd17723088c30f1d1f0f07e1e4df2076a51b2 1 0 |
50 unsat |
50 unsat |