files / problems / ramsey-r55 / compute / q3 / certs / p7_neighborhoods.json
{
"completion_cnf": "cnf/p7_neighborhoods_complete.cnf",
"completion_cnf_sha256": "c7289008a5ceb1e1cda146bd84169539b5b749587abddf09c5696dbe2e675a64",
"enumeration_sec": 10.711,
"local_clauses": 4172,
"projected_variables": [
2,
3,
4,
6,
7,
8,
9,
10,
11,
12,
14,
15,
16,
17,
18,
19,
20,
45,
46,
47,
48,
49,
50,
51,
52,
53,
54,
76,
77,
78
],
"rows": [
"001010000101101001010001011110",
"001010000101101001010011010110",
"001010001001001110010010111010",
"001010001001001110110100001100",
"001010001001001110110110001100",
"001010001001101010011110100010",
"001010001001101010111000010100",
"001010001001101010111000110100",
"001010001001110110110000101100",
"001010001001110110110001001100",
"001010001001110110110001101100",
"001010001001110110110100100100",
"001010001001110110110101000100",
"001010001001110110110101100100",
"001010001101001010111100000110",
"001010001101001010111100100110",
"001010001101001110010010011010",
"001010001101001110010010111010",
"001010001101001110110100001100",
"001010001101001110110110001100",
"001010001101101000011110010010",
"001010001101101000011110100010",
"001010001101101010011100100010",
"001010001101101011000100110100",
"001010001101110110110001001100",
"001010001101110110110100100100",
"001010001101110110110101000100",
"001010001101110110110101100100",
"001010010101000110010111001010",
"001010010101000110101000001011",
"001010010101000110101001001011",
"001010010101001110010110001010",
"001010010101001110010111001010",
"001010010101100100011010011010",
"001010010101100100100110000011",
"001010010101100100100110010011",
"001010010101100110100001001101",
"001010010101100110100010010101",
"001010010101100110100110000011",
"001010010101100110100110010011",
"001010010101100110101000001011",
"001010010101100110101001001011",
"001010010101101010010100011010",
"001010010101101010010100111010",
"001010011101000010100010010101",
"001010011101000010100011010101",
"001010011101000010101101000101",
"001010011101000011000010110101",
"001010011101000011001000110101",
"001010011101000011001010110101",
"001010011101000100100011010101",
"001010011101000100100101000011",
"001010011101000100100111000011",
"001010011101000101000110000101",
"001010011101000110100010010101",
"001010011101000110100011010101",
"001010011101000110100110000011",
"001010011101000110100110010011",
"001010011101001010100100011101",
"001010011101001011000000110101",
"001010011101100000100001010110",
"001010011101100000100001011110",
"001010011101100001000001001110",
"001010011101100001000001011110",
"001010011101100001000101001110",
"001010011101100001000101011110",
"001010011101100001001001010110",
"001010011101100001001010100110",
"001010011101100001001010110110",
"001010011101100001001101010110",
"001010011101100010100010001101",
"001010011101100010100010010101",
"001010011101100010101000100101",
"001010011101100011000010110100",
"001010011101100011000010110101",
"001010011101100011001000110100",
"001010011101100011001000110101",
"001010011101100011001010110100",
"001010011101100011001010110101",
"001010011101100100100001010110",
"001010011101100100100001011110",
"001010011101100100100110000011",
"001010011101100100100110010011",
"001010011101100101000000011110",
"001010011101100101000001001110",
"001010011101100101000001011110",
"001010011101100101000010001110",
"001010011101100101000010011100",
"001010011101100101000010011110",
"001010011101100110100001001101",
"001010011101100110100010010101",
"001010011101100110100100010101",
"001010011101100110100110000011",
"001010011101100110100110010011",
"001010011101101011000000110100",
"001010011101101011000010110100",
"001010011101101011000100110100",
"001011000101000101001010101110",
"001011000101001111000011010100",
"001011000101001111001011000100",
"001011000101001111001011010100",
"001011000101101001000101011100",
"001011000101101001000101011110",
"001011000101101001001011010100",
"001011000101101001001011010110",
"001011000101101001010001011110",
"001011000101101001010011010110",
"001011000101101011000011010100",
"001011000101101011001011000100",
"001011000101101011001011010100",
"001011001001001010110000011110",
"001011001001001010110010011110",
"001011001001001110010010011010",
"001011001001001111000110010100",
"001011001001101000011110010010",
"001011001001101000011110100010",
"001011001001101010011100100010",
"001011001001101010011110100010",
"001011001001101010111000010100",
"001011001001101010111000110100",
"001011001001110110110000101100",
"001011001001110110110001001100",
"001011001001110110110001101100",
"001011001001110110110100100100",
"001011001101000010011100100110",
"001011001101000010111100000110",
"001011001101000010111100100110",
"001011001101001010010010011010",
"001011001101001010010010011110",
"001011001101001010011100100010",
"001011001101001010011100100110",
"001011001101001010110000011110",
"001011001101001010110010011110",
"001011001101001010111100000110",
"001011001101001010111100100110",
"001011001101001011000010010110",
"001011001101001011000100010110",
"001011001101001011000100100110",
"001011001101001011010000010110",
"001011001101001011010010010110",
"001011001101001011010100000110",
"001011001101001011010100100110",
"001011001101001110010010011010",
"001011001101101000011010000110",
"001011001101101000011010010010",
"001011001101101000011010010110",
"001011001101101000011010100010",
"001011001101101000011010100110",
"001011001101101000011110010010",
"001011001101101000011110100010",
"001011001101101001001010010110",
"001011001101101001001010100110",
"001011001101101001011010000110",
"001011001101101001011010010110",
"001011001101101001011010100110",
"001011001101101010011100100010",
"001011001101110110110001001100",
"001011001101110110110100100100",
"001011010001000011000010110101",
"001011010001000011000110100101",
"001011010001000011000110101101",
"001011010001000011001010110101",
"001011010001100001001010110110",
"001011010001100001001011010110",
"001011010001100010100110101100",
"001011010001100010101010110100",
"001011010001100011000010110101",
"001011010001100011000110100101",
"001011010001100011000110101100",
"001011010001100011000110101101",
"001011010001100011001010110100",
"001011010001100011001010110101",
"001011010001100110101000010101",
"001011010001100110101001010100",
"001011010001100110101001010101",
"001011010001100110101010010100",
"001011010001100110101010010101",
"001011010101000010100110001101",
"001011010101000010101000100101",
"001011010101000010101000101101",
"001011010101000011000010110101",
"001011010101000011001000110101",
"001011010101000011001010110101",
"001011010101000100100001011101",
"001011010101000100101000010011",
"001011010101000100101000011011",
"001011010101000101001000001101",
"001011010101000110100001010110",
"001011010101000110100011010110",
"001011010101000110101000001011",
"001011010101000110101001001011",
"001011010101000111000010001110",
"001011010101000111000010010110",
"001011010101000111000011000110",
"001011010101000111000011001100",
"001011010101000111000011001110",
"001011010101000111000011010110",
"001011010101001010100110001101",
"001011010101001011000011000101",
"001011010101001111000011000100",
"001011010101001111000011001100",
"001011010101001111000011010100",
"001011010101100000101000010110",
"001011010101100000101000110110",
"001011010101100001000101001110",
"001011010101100001000101011110",
"001011010101100001001000100110",
"001011010101100001001000110110",
"001011010101100001001001010110",
"001011010101100001001010100110",
"001011010101100001001010110110",
"001011010101100001001011010110",
"001011010101100010100010010101",
"001011010101100010101000100101",
"001011010101100010101001000101",
"001011010101100011000010110100",
"001011010101100011000010110101",
"001011010101100011001000110100",
"001011010101100011001000110101",
"001011010101100011001010110100",
"001011010101100011001010110101",
"001011010101100100100001001101",
"001011010101100100100001011101",
"001011010101100100101000001011",
"001011010101100100101001001011",
"001011010101100110100001001101",
"001011010101100110100010010101",
"001011010101100110101000001011",
"001011010101100110101001000101",
"001011010101100110101001001011",
"001011011001000010100011100101",
"001011011001000010101000011101",
"001011011001000010101110000101",
"001011011001100010100010101100",
"001011011001100010100010101101",
"001011011001100010101001010100",
"001011011001100010101001010101",
"001011011101000010100000101110",
"001011011101000010100001010110",
"001011011101000010100001011110",
"001011011101000010100001101110",
"001011011101000010100010001101",
"001011011101000010100010010101",
"001011011101000010100011010101",
"001011011101000010100011010110",
"001011011101000010100011011110",
"001011011101000010101000100101",
"001011011101000010101000101101",
"001011011101000010101000101110",
"001011011101000010101001000101",
"001011011101000010101001101110",
"001011011101000100100001001101",
"001011011101000100100001011101",
"001011011101000100100010010101",
"001011011101000100100011010101",
"001011011101000110100001001101",
"001011011101000110100001010110",
"001011011101000110100010010101",
"001011011101000110100011010101",
"001011011101000110100011010110",
"001011011101001010100010001101",
"001011011101001010100100010101",
"001011011101100000100001010110",
"001011011101100000100001011110",
"001011011101100000101000010110",
"001011011101100000101000110110",
"001011011101100010100010001101",
"001011011101100010100010010101",
"001011011101100010101000100101",
"001011011101100010101001000101",
"001011011101100100100001001101",
"001011011101100100100001010110",
"001011011101100100100001011101",
"001011011101100100100001011110",
"001011011101100100100010010101",
"001011011101100110100001001101",
"001011011101100110100010010101",
"001011101101000111000001001110",
"001011101101000111000001100110",
"001011101101000111000001101110",
"001011101101100001000000011110",
"001011101101100001000001011110",
"001011101101100001000001100110",
"001011101101100001000001101110",
"001011101101100001000010010110",
"001011101101100001000010011110",
"001011101101100001000100010110",
"001011101101100001000100011110",
"001011101101100001000100100110",
"001011101101100001000100101110",
"001011101101100001000101010110",
"001011101101100001000101011110",
"001011101101100001000101100110",
"001011101101100001000101101110",
"001011101101100001001000100110",
"001011101101100001001001100110",
"001011101101100001001010010110",
"001011101101100001001010100110",
"001011101101100101000001100110",
"001011101101100101000100100110",
"001011101101100101000101100110",
"010010000101001110100111001100",
"010010000101001110110110001100",
"010010000101101010100011101100",
"010010000101101010110001101100",
"010010000101111010110000101100",
"010010000101111010110001101100",
"010010000101111010110101000100",
"010010000101111010110101100100",
"010010001101001010100011101100",
"010010001101001010100111001100",
"010010001101001110100101001100",
"010010001101001110100111001100",
"010010001101001110110100001100",
"010010001101001110110110001100",
"010010001101101010100010101100",
"010010001101111010110000101100",
"010010001101111010110101000100",
"010010001101111010110101100100",
"010010011101000011000000110110",
"010010011101000011000100110110",
"010010011101000101000000110101",
"010010011101000101000010110101",
"010010011101000111000100100110",
"010010011101000111000100101110",
"010010011101100101000000110101",
"010010011101100101000010110101",
"010010011101100101001001000110",
"010010011101100101001001010110",
"010010011101101101001001000110",
"010010011101101101001001010110",
"010011000001001010110001011101",
"010011000001001010110100011101",
"010011000001001110110000101100",
"010011000001001110111000101100",
"010011000001001110111100010100",
"010011000001101010110001101100",
"010011000001101010111000010100",
"010011000001101010111000110100",
"010011000001101101011000100110",
"010011000001101101011010100110",
"010011000001110100110011001100",
"010011000001110100110100110100",
"010011000001110100111001100100",
"010011000001111010110000101100",
"010011000001111010110100001100",
"010011000001111010110110001100",
"010011000001111010111000010100",
"010011000001111010111000110100",
"010011000001111010111010000100",
"010011000101000110100111001100",
"010011000101000111000100010110",
"010011000101000111000101010110",
"010011000101000111010100010110",
"010011000101000111010101010110",
"010011000101001110100110001100",
"010011000101001110100111001100",
"010011000101001110110110001100",
"010011000101100100101001110100",
"010011000101100101000100010110",
"010011000101100101000101010110",
"010011000101100101010100010110",
"010011000101100101010101010110",
"010011000101101010100001101100",
"010011000101101010100011101100",
"010011000101101010110001101100",
"010011000101101101000100010110",
"010011000101101101000101010110",
"010011000101101101001000100110",
"010011000101101101001010100110",
"010011000101101101010100010110",
"010011000101101101010101010110",
"010011000101101101011000100110",
"010011000101101101011010100110",
"010011000101111010110000101100",
"010011000101111010110101000100",
"010011001001001010101001110100",
"010011001001001010101011100100",
"010011001001001110101010100100",
"010011001001101010101001010100",
"010011001001101010101001110100",
"010011001001101010111000010100",
"010011001001101010111000110100",
"010011001001111010110010100100",
"010011001001111010111000010100",
"010011001001111010111000110100",
"010011010001001010110001011101",
"010011010001001010110100011101",
"010011010001001110110000101100",
"010011010001001110110001010100",
"010011010001001110110010100100",
"010011010001101010110100001100",
"010011010001101010111000010100",
"010011010001101010111010000100",
"010011010001110100110000111100",
"010011010001110100110111000100",
"010011010001111010110000101100",
"010011010001111010110100001100",
"010011010001111010111000010100",
"010011010001111010111010000100",
"010011010101000011000000110110",
"010011010101000011000100110110",
"010011010101000101000001100101",
"010011010101000101000001101101",
"010011010101000111000001100101",
"010011010101000111000001101101",
"010011010101000111000100010110",
"010011010101000111000101010110",
"010011010101100101001000100110",
"010011010101100101001010100110",
"010011010101101101001000100110",
"010011010101101101001010100110",
"010011011001001010100001100101",
"010011011001001010100001110100",
"010011011001001010100001110101",
"010011011001001010100011100100",
"010011011001001010100011100101",
"010011011001001010101001110100",
"010011011001001010101011100100",
"010011011001001010110001100100",
"010011011001001010110001100101",
"010011011001001010110001110100",
"010011011001001010110001110101",
"010011011001001010110011100100",
"010011011001001010110011100101",
"010011011001001110101010100100",
"010011011001001110110001010100",
"010011011001001110110010100100",
"010011011001001110111010000100",
"010011011001100000101001010101",
"010011011001100010100010101100",
"010011011001100010100010101101",
"010011011001100010101001010100",
"010011011001100010101001010101",
"010011011001100010110010000101",
"010011011001100010110010100100",
"010011011001100010110010100101",
"010011011001100010111000000101",
"010011011001100010111000010100",
"010011011001100010111000010101",
"010011011001101010101001010100",
"010011011001101010110001010100",
"010011011001101010110010100100",
"010011011001101010111000010100",
"010011011001111010110010100100",
"010011011001111010111000010100",
"010011110101000101000001100101",
"010011110101000101000001101101",
"010011110101000101000011000101",
"010011110101000101001011000101",
"010011110101000111000001100101",
"010011110101000111000001101101",
"010011110101100001000000011101",
"010011110101100001000001011101",
"010011110101100001000011000101",
"010011110101100001000011010101",
"010011110101100001000100011101",
"010011110101100001000101011101",
"010011110101100001001011000101",
"010011110101100001001011010101",
"010011110101100101000011000101",
"010011110101100101001011000101",
"011010000001000110111000101110",
"011010000001000111010000011110",
"011010000001000111010001011110",
"011010000001000111010100011110",
"011010000001100100111000110110",
"011010000001100101010000011110",
"011010000001100101010001011110",
"011010000001100101010100011110",
"011010000101000010110100001011",
"011010000101000010110100001110",
"011010000101000010110100011011",
"011010000101000010110100011110",
"011010000101000010110110001011",
"011010000101000010110110001110",
"011010000101000110110100001011",
"011010000101000110110100001110",
"011010000101000110110100011011",
"011010000101000110110100011101",
"011010000101000110110100011110",
"011010000101000110110110001110",
"011010000101000111010000011110",
"011010000101000111010001011110",
"011010000101000111010100011110",
"011010000101100100111000010011",
"011010000101100100111000010110",
"011010000101100100111000110110",
"011010000101100100111100010011",
"011010000101100100111100010101",
"011010000101100100111100010110",
"011010000101100101011100000110",
"011010000101100101011100010110",
"011010000101100101011101000110",
"011010000101101001010001011110",
"011010000101101001010011010110",
"011010001001000001010001101110",
"011010001001000001011000101110",
"011010001001000010110100001110",
"011010001001000010110110001110",
"011010001001000010111010000110",
"011010001001000010111010001110",
"011010001001000011001101010101",
"011010001001000011010000011110",
"011010001001000011010000110110",
"011010001001000011010001010110",
"011010001001000011010001011110",
"011010001001000011010001100110",
"011010001001000011010001101110",
"011010001001000011010010110110",
"011010001001000011010011000110",
"011010001001000011010011010110",
"011010001001000011010110000110",
"011010001001000011010110001110",
"011010001001000011010110100110",
"011010001001000011011000001110",
"011010001001000011011000101110",
"011010001001000011011010001110",
"011010001001000011011100000110",
"011010001001000101010000110101",
"011010001001000101010001100110",
"011010001001000101010001101110",
"011010001001000101010010010101",
"011010001001000101010010110101",
"011010001001000101010011000101",
"011010001001000101010011010101",
"011010001001000101010101100110",
"011010001001000110110100001110",
"011010001001000110110110001101",
"011010001001000110110110001110",
"011010001001000111010000011110",
"011010001001000111010001010110",
"011010001001000111010001011110",
"011010001001000111010001100110",
"011010001001000111010001101110",
"011010001001000111010010010101",
"011010001001000111010011000101",
"011010001001000111010011000110",
"011010001001000111010011010101",
"011010001001000111010011010110",
"011010001001000111010110000110",
"011010001001000111010110001110",
"011010001001000111010110100110",
"011010001001100001010001011110",
"011010001001100001010001101110",
"011010001001100011001101010100",
"011010001001100011001101010101",
"011010001001100100110100001110",
"011010001001100100110100011101",
"011010001001100100110100011110",
"011010001001100101010000011110",
"011010001001100101010000110101",
"011010001001100101010000110110",
"011010001001100101010001011110",
"011010001001100101010001100110",
"011010001001100101010010010101",
"011010001001100101010010100110",
"011010001001100101010010110101",
"011010001001100101010010110110",
"011010001001100101010100011110",
"011010001001100101010101100110",
"011010001001100101010110000110",
"011010001001100101010110100110",
"011010001101000001010001101110",
"011010001101000001011000101110",
"011010001101000010110100001011",
"011010001101000010110100001110",
"011010001101000010110110001011",
"011010001101000010110110001101",
"011010001101000010110110001110",
"011010001101000011010000010110",
"011010001101000011010000011110",
"011010001101000011010000110110",
"011010001101000011010001010110",
"011010001101000011010001011110",
"011010001101000011010001100110",
"011010001101000011010001101110",
"011010001101000011010010010110",
"011010001101000011010010110110",
"011010001101000011010110000110",
"011010001101000011010110001110",
"011010001101000011010110100110",
"011010001101000101010000110101",
"011010001101000101010001100110",
"011010001101000101010001101110",
"011010001101000101010010010101",
"011010001101000101010010110101",
"011010001101000101010101100110",
"011010001101000110110100001011",
"011010001101000110110100001101",
"011010001101000110110100001110",
"011010001101000110110110001110",
"011010001101000111010000010110",
"011010001101000111010000011110",
"011010001101000111010001010110",
"011010001101000111010001011110",
"011010001101000111010001100110",
"011010001101000111010001101110",
"011010001101000111010010010101",
"011010001101000111010010010110",
"011010001101000111010110000110",
"011010001101000111010110001110",
"011010001101000111010110100110",
"011010001101000111100001100110",
"011010001101100001010001011110",
"011010001101100001010001101110",
"011010001101100001011010100110",
"011010001101100001100001011110",
"011010001101100101010000100110",
"011010001101100101010000110101",
"011010001101100101010000110110",
"011010001101100101010001100110",
"011010001101100101010010000101",
"011010001101100101010010010101",
"011010001101100101010010100101",
"011010001101100101010010100110",
"011010001101100101010010110101",
"011010001101100101010010110110",
"011010001101100101010100100110",
"011010001101100101010101100110",
"011010001101100101100001010110",
"011010001101101001011010100110",
"011011000001000011011000001110",
"011011000001000011011000101110",
"011011000001000011011010001110",
"011011000001000110111000101110",
"011011000001000111011000001110",
"011011000001000111011000101110",
"011011000001000111011010001110",
"011011000001000111100110100110",
"011011000001100100110100011110",
"011011000001100101010000011110",
"011011000001100101010001011110",
"011011000001100101010100011110",
"011011000001100101100101100110",
"011011000101000101001010101100",
"011011000101000101001010101110",
"011011000101000111000100010110",
"011011000101000111000101010110",
"011011000101000111010100010110",
"011011000101000111010101010110",
"011011000101100101000100010110",
"011011000101100101000101010110",
"011011000101100101010100010110",
"011011000101100101010101010110",
"011011000101101001000101011100",
"011011000101101001000101011110",
"011011000101101001001011010100",
"011011000101101001001011010110",
"011011000101101001010001011110",
"011011000101101001010011010110",
"011011001001000001010001101110",
"011011001001000001011000101110",
"011011001001000010111010000011",
"011011001001000010111010000110",
"011011001001000010111010001011",
"011011001001000010111010001101",
"011011001001000010111010001110",
"011011001001000011010000110110",
"011011001001000011010001000110",
"011011001001000011010001001110",
"011011001001000011010001010110",
"011011001001000011010001100110",
"011011001001000011010001101110",
"011011001001000011010010110110",
"011011001001000011010011000110",
"011011001001000011010011010110",
"011011001001000011011000001110",
"011011001001000011011000101110",
"011011001001000011011010001110",
"011011001001000101010001100110",
"011011001001000101010001101110",
"011011001001000101010010010101",
"011011001001000101010011000101",
"011011001001000101010011010101",
"011011001001000101010101100110",
"011011001001000111010000010101",
"011011001001000111010001000110",
"011011001001000111010001001110",
"011011001001000111010001010101",
"011011001001000111010001010110",
"011011001001000111010001100110",
"011011001001000111010001101110",
"011011001001000111010010010101",
"011011001001000111010011000101",
"011011001001000111010011000110",
"011011001001000111010011010101",
"011011001001000111010011010110",
"011011001001000111100010100110",
"011011001001100001010001011110",
"011011001001100001010001101110",
"011011001001100001011010010110",
"011011001001100001100001101110",
"011011001001100100110100001011",
"011011001001100100110100001101",
"011011001001100100110100001110",
"011011001001100100110100011110",
"011011001001100101010000011110",
"011011001001100101010001011110",
"011011001001100101010001100110",
"011011001001100101010010000110",
"011011001001100101010010010101",
"011011001001100101010010010110",
"011011001001100101010010100110",
"011011001001100101010100011110",
"011011001001100101010101100110",
"011011001001100101010110000110",
"011011001001100101010110100110",
"011011001001100101100001100110",
"011011001001101001011010010110",
"011011010001000001000101101110",
"011011010001000001001010110110",
"011011010001000011000010110101",
"011011010001000011000110100101",
"011011010001000011000110101101",
"011011010001000011001010110101",
"011011010001100001001010110110",
"011011010001100001001011010110",
"011011010001100011000010110101",
"011011010001100011000110100101",
"011011010001100011000110101100",
"011011010001100011000110101101",
"011011010001100011001010110100",
"011011010001100011001010110101",
"101010001001000101010010010101",
"101010001001000101010010110101",
"101010001001000101010011010101",
"101010001001000111010010010101",
"101010001001000111010011010101",
"101010001001000111010011010110",
"101010001001100101010010010101",
"101010001001100101010010110101",
"101010001001100101010010110110",
"101010001101000101010010010101",
"101010001101000101010010110101",
"101010001101000101010010110110",
"101010001101000111010010010101",
"101010001101000111010010010110",
"101010001101000111100001100110",
"101010001101100001100000011110",
"101010001101100001100001010110",
"101010001101100001100001011110",
"101010001101100101100000001110",
"101010001101100101100000011110",
"101010001101100101100001001110",
"101010001101100101100001010110",
"101010001101100101100001011110",
"101011000001000111011011000110",
"101011000001000111100010100110",
"101011000001000111100110000110",
"101011000001000111100110100110",
"101011000001100001100000101110",
"101011000001100001100001100110",
"101011000001100001100001101110",
"101011000001100001100101000110",
"101011000001100001100101100110",
"101011000001100101010011010110",
"101011000001100101100001100110",
"101011000001100101100101000110",
"101011000001100101100101100110",
"101011001001000101010010010101",
"101011001001000101010011010101",
"101011001001000101010011010110",
"101011001001000111100010100110",
"101011001001000111100100000110",
"101011001001000111100100100110",
"101011001001000111100110000110",
"101011001001000111100110100110",
"101011001001100001100000101110",
"101011001001100001100001100110",
"101011001001100001100001101110",
"101011001001100101010010010101",
"101011001001100101010010010110",
"101011001001100101100001100110",
"110010001101000111100001100110",
"110010001101100001100000011110",
"110010001101100001100001011110",
"110011000001000111100110000110",
"110011000001000111100110100110",
"110011000001100001100001100110",
"110011000001100001100001101110",
"110011000001100001100101100110",
"110011000001100101100001100110",
"110011000001100101100101100110",
"110011001001100001100001100110",
"110011001001100001100001101110",
"110011001001100101100001100110"
],
"rows_sha256": "61100231a70722244a84693f028f3feb45e0929505cf4e19eb86af8f7b5b57a7",
"status": "EXHAUSTED",
"total": 787
}