41132
|
1 |
1dea21d7f83bf3c8744889b87efdd51ec9b13522 1 0
|
36900
|
2 |
unsat
|
41132
|
3 |
e4079c456b2eef2ac4a460a64f6113e3f4e0c166 1 0
|
36900
|
4 |
unsat
|
41132
|
5 |
4528ee18a87d7e792c3e551fc6891303a56cdeaa 1 0
|
36900
|
6 |
unsat
|
41132
|
7 |
3cf263d3d9abc6c9f43b2caeff18d80706c67c3f 1 0
|
36900
|
8 |
unsat
|
41132
|
9 |
82b1dcef093ff559df687ea978391118da7ebc2f 1 0
|
36900
|
10 |
unsat
|
41132
|
11 |
c1fab913bcaeaa11e2a73c6525b382ee9afa489d 1 0
|
36900
|
12 |
unsat
|
41132
|
13 |
a093424324d5a32372ddb295c1512be60f121da4 1 0
|
36900
|
14 |
unsat
|
41132
|
15 |
f23e2d7a4ec6d24d260c37b661aec80bc88aa232 1 0
|
36900
|
16 |
unsat
|
41132
|
17 |
d47155609b280ddaa63574797e5ef4ac587325e4 1 0
|
36900
|
18 |
unsat
|
41132
|
19 |
44e79df6588d993672eca866baec13c5f54343e7 1 0
|
36900
|
20 |
unsat
|
41132
|
21 |
cee1aca69943693cc464a3a3718ce011a9251c2e 1 0
|
36900
|
22 |
unsat
|
41132
|
23 |
d994fef5ffc2e32ad58ff2c458322e61b69933f3 1 0
|
36900
|
24 |
unsat
|
41132
|
25 |
3dd14db324dcd5277297ef4a7c6d0e288cd627ca 1 0
|
36900
|
26 |
unsat
|
41132
|
27 |
3cdb3c6fc67b95c3af80c236175e971746e9d49f 1 0
|
36900
|
28 |
unsat
|
41132
|
29 |
fb681fce74f688cee5fec2e557d7d2f77a772f64 1 0
|
36900
|
30 |
unsat
|
41132
|
31 |
dcac8a123cd5019a4174294cf01f82aa809aa855 1 0
|
36900
|
32 |
unsat
|
43555
|
33 |
12722d9dd871f78b7cf1d8c71c8b3895df97231b 1 0
|
36900
|
34 |
unsat
|
41132
|
35 |
dd2ea04983b1210e07bd977332f5928c281333a8 1 0
|
36900
|
36 |
unsat
|
41132
|
37 |
64c9fe73f7ca3832f4daec3b66d94e4f6c730fa5 1 0
|
36900
|
38 |
unsat
|
43555
|
39 |
72d447be1e4c7ba9ad39300590a185b5ff3d7a54 1 0
|
41282
|
40 |
unsat
|
43555
|
41 |
f9acba6675baa1463a0fbd893377a528d3bb0de9 1 0
|
41282
|
42 |
unsat
|
43555
|
43 |
9b6b36788fe27138833728937e7dba8ad83d5703 1 0
|
41282
|
44 |
unsat
|
43555
|
45 |
9e722a42cab872ac3674f51a989dbbdd036d2789 1 0
|
36900
|
46 |
unsat
|
43555
|
47 |
aa4c66aec2950a794a74c5225e276b6f9af799a2 1 0
|
36900
|
48 |
unsat
|
41132
|
49 |
4c0484270388224d9c57afba772292a37ff06c2f 1 0
|
36900
|
50 |
unsat
|
41132
|
51 |
87f60e1fd68b7f68ba1c243bcc83defade8e108f 1 0
|
36900
|
52 |
unsat
|
43555
|
53 |
18a8475ffc15d5c751aef1cd46792abd41d598e6 1 0
|
36900
|
54 |
unsat
|
41282
|
55 |
3bf2dcb45282e43fa4ebfc5c17aaa663f9ce6a76 1 0
|
36900
|
56 |
unsat
|