28 unsat |
28 unsat |
29 fb681fce74f688cee5fec2e557d7d2f77a772f64 1 0 |
29 fb681fce74f688cee5fec2e557d7d2f77a772f64 1 0 |
30 unsat |
30 unsat |
31 dcac8a123cd5019a4174294cf01f82aa809aa855 1 0 |
31 dcac8a123cd5019a4174294cf01f82aa809aa855 1 0 |
32 unsat |
32 unsat |
33 691a4333a9946e4eb6edc8b8f11d3a0121e7ad86 1 0 |
33 12722d9dd871f78b7cf1d8c71c8b3895df97231b 1 0 |
34 unsat |
34 unsat |
35 dd2ea04983b1210e07bd977332f5928c281333a8 1 0 |
35 dd2ea04983b1210e07bd977332f5928c281333a8 1 0 |
36 unsat |
36 unsat |
37 64c9fe73f7ca3832f4daec3b66d94e4f6c730fa5 1 0 |
37 64c9fe73f7ca3832f4daec3b66d94e4f6c730fa5 1 0 |
38 unsat |
38 unsat |
39 d8e56ac599bc3827a065804e88fc36c63a5afcfb 1 0 |
39 72d447be1e4c7ba9ad39300590a185b5ff3d7a54 1 0 |
40 unsat |
40 unsat |
41 a3340f8171cd0db9c0dd45f33a3cb1a42e793eee 1 0 |
41 f9acba6675baa1463a0fbd893377a528d3bb0de9 1 0 |
42 unsat |
42 unsat |
43 a8dd16a0d6a6514edcc3baafb20317536ccd338c 1 0 |
43 9b6b36788fe27138833728937e7dba8ad83d5703 1 0 |
44 unsat |
44 unsat |
45 d5adb105f62510f5a3181800d02bb2208b8170d6 1 0 |
45 9e722a42cab872ac3674f51a989dbbdd036d2789 1 0 |
46 unsat |
46 unsat |
47 f9ac14ab5e87743181fef8830f46edfda6007e6e 1 0 |
47 aa4c66aec2950a794a74c5225e276b6f9af799a2 1 0 |
48 unsat |
48 unsat |
49 4c0484270388224d9c57afba772292a37ff06c2f 1 0 |
49 4c0484270388224d9c57afba772292a37ff06c2f 1 0 |
50 unsat |
50 unsat |
51 87f60e1fd68b7f68ba1c243bcc83defade8e108f 1 0 |
51 87f60e1fd68b7f68ba1c243bcc83defade8e108f 1 0 |
52 unsat |
52 unsat |
53 56db2066218af38e5a0015563c6a360d4cba04a7 1 0 |
53 18a8475ffc15d5c751aef1cd46792abd41d598e6 1 0 |
54 unsat |
54 unsat |
55 3bf2dcb45282e43fa4ebfc5c17aaa663f9ce6a76 1 0 |
55 3bf2dcb45282e43fa4ebfc5c17aaa663f9ce6a76 1 0 |
56 unsat |
56 unsat |