{
  "inputs": {
    "kuran.txt": {
      "sha256": "c1030250870c60f3f6cad0abce527935b9b2043605c1068733d647f053a9d486"
    },
    "AllahKelimesi/17138.txt": {
      "sha256": "e3735ef3075da6bfdddefaa7144c49e74c342f949aff2c19064ea94794f1a6a4"
    },
    "AllahKelimesi/ayet_swap_185_205_dual_all.txt": {
      "sha256": "c7749d53e19391b677be3a0a10955139566a6e8e9db5b587bd77be7039597001"
    }
  },
  "source_rows": 6234,
  "selected_rows": 1820,
  "input_numbering": {
    "g_is_contiguous_one_based_source_row_number": true,
    "selected_g_s_a_all_match_source": true,
    "comparison_standard": "Common 6236-ayah / 114-surah numbering",
    "standard_verse_count": 6236,
    "missing_standard_references": [
      [
        9,
        128
      ],
      [
        9,
        129
      ]
    ],
    "extra_references": [],
    "surah_count_differences": {
      "9": {
        "actual": 127,
        "standard": 129
      }
    },
    "surah_starts": {
      "1": {
        "g": 1,
        "a": 1
      },
      "2": {
        "g": 8,
        "a": 1
      },
      "3": {
        "g": 294,
        "a": 1
      },
      "4": {
        "g": 494,
        "a": 1
      },
      "5": {
        "g": 670,
        "a": 1
      },
      "6": {
        "g": 790,
        "a": 1
      },
      "7": {
        "g": 955,
        "a": 1
      },
      "8": {
        "g": 1161,
        "a": 1
      },
      "9": {
        "g": 1236,
        "a": 1
      },
      "10": {
        "g": 1363,
        "a": 1
      },
      "11": {
        "g": 1472,
        "a": 1
      },
      "12": {
        "g": 1595,
        "a": 1
      },
      "13": {
        "g": 1706,
        "a": 1
      },
      "14": {
        "g": 1749,
        "a": 1
      },
      "15": {
        "g": 1801,
        "a": 1
      },
      "16": {
        "g": 1900,
        "a": 1
      },
      "17": {
        "g": 2028,
        "a": 1
      },
      "18": {
        "g": 2139,
        "a": 1
      },
      "19": {
        "g": 2249,
        "a": 1
      },
      "20": {
        "g": 2347,
        "a": 1
      },
      "21": {
        "g": 2482,
        "a": 1
      },
      "22": {
        "g": 2594,
        "a": 1
      },
      "23": {
        "g": 2672,
        "a": 1
      },
      "24": {
        "g": 2790,
        "a": 1
      },
      "25": {
        "g": 2854,
        "a": 1
      },
      "26": {
        "g": 2931,
        "a": 1
      },
      "27": {
        "g": 3158,
        "a": 1
      },
      "28": {
        "g": 3251,
        "a": 1
      },
      "29": {
        "g": 3339,
        "a": 1
      },
      "30": {
        "g": 3408,
        "a": 1
      },
      "31": {
        "g": 3468,
        "a": 1
      },
      "32": {
        "g": 3502,
        "a": 1
      },
      "33": {
        "g": 3532,
        "a": 1
      },
      "34": {
        "g": 3605,
        "a": 1
      },
      "35": {
        "g": 3659,
        "a": 1
      },
      "36": {
        "g": 3704,
        "a": 1
      },
      "37": {
        "g": 3787,
        "a": 1
      },
      "38": {
        "g": 3969,
        "a": 1
      },
      "39": {
        "g": 4057,
        "a": 1
      },
      "40": {
        "g": 4132,
        "a": 1
      },
      "41": {
        "g": 4217,
        "a": 1
      },
      "42": {
        "g": 4271,
        "a": 1
      },
      "43": {
        "g": 4324,
        "a": 1
      },
      "44": {
        "g": 4413,
        "a": 1
      },
      "45": {
        "g": 4472,
        "a": 1
      },
      "46": {
        "g": 4509,
        "a": 1
      },
      "47": {
        "g": 4544,
        "a": 1
      },
      "48": {
        "g": 4582,
        "a": 1
      },
      "49": {
        "g": 4611,
        "a": 1
      },
      "50": {
        "g": 4629,
        "a": 1
      },
      "51": {
        "g": 4674,
        "a": 1
      },
      "52": {
        "g": 4734,
        "a": 1
      },
      "53": {
        "g": 4783,
        "a": 1
      },
      "54": {
        "g": 4845,
        "a": 1
      },
      "55": {
        "g": 4900,
        "a": 1
      },
      "56": {
        "g": 4978,
        "a": 1
      },
      "57": {
        "g": 5074,
        "a": 1
      },
      "58": {
        "g": 5103,
        "a": 1
      },
      "59": {
        "g": 5125,
        "a": 1
      },
      "60": {
        "g": 5149,
        "a": 1
      },
      "61": {
        "g": 5162,
        "a": 1
      },
      "62": {
        "g": 5176,
        "a": 1
      },
      "63": {
        "g": 5187,
        "a": 1
      },
      "64": {
        "g": 5198,
        "a": 1
      },
      "65": {
        "g": 5216,
        "a": 1
      },
      "66": {
        "g": 5228,
        "a": 1
      },
      "67": {
        "g": 5240,
        "a": 1
      },
      "68": {
        "g": 5270,
        "a": 1
      },
      "69": {
        "g": 5322,
        "a": 1
      },
      "70": {
        "g": 5374,
        "a": 1
      },
      "71": {
        "g": 5418,
        "a": 1
      },
      "72": {
        "g": 5446,
        "a": 1
      },
      "73": {
        "g": 5474,
        "a": 1
      },
      "74": {
        "g": 5494,
        "a": 1
      },
      "75": {
        "g": 5550,
        "a": 1
      },
      "76": {
        "g": 5590,
        "a": 1
      },
      "77": {
        "g": 5621,
        "a": 1
      },
      "78": {
        "g": 5671,
        "a": 1
      },
      "79": {
        "g": 5711,
        "a": 1
      },
      "80": {
        "g": 5757,
        "a": 1
      },
      "81": {
        "g": 5799,
        "a": 1
      },
      "82": {
        "g": 5828,
        "a": 1
      },
      "83": {
        "g": 5847,
        "a": 1
      },
      "84": {
        "g": 5883,
        "a": 1
      },
      "85": {
        "g": 5908,
        "a": 1
      },
      "86": {
        "g": 5930,
        "a": 1
      },
      "87": {
        "g": 5947,
        "a": 1
      },
      "88": {
        "g": 5966,
        "a": 1
      },
      "89": {
        "g": 5992,
        "a": 1
      },
      "90": {
        "g": 6022,
        "a": 1
      },
      "91": {
        "g": 6042,
        "a": 1
      },
      "92": {
        "g": 6057,
        "a": 1
      },
      "93": {
        "g": 6078,
        "a": 1
      },
      "94": {
        "g": 6089,
        "a": 1
      },
      "95": {
        "g": 6097,
        "a": 1
      },
      "96": {
        "g": 6105,
        "a": 1
      },
      "97": {
        "g": 6124,
        "a": 1
      },
      "98": {
        "g": 6129,
        "a": 1
      },
      "99": {
        "g": 6137,
        "a": 1
      },
      "100": {
        "g": 6145,
        "a": 1
      },
      "101": {
        "g": 6156,
        "a": 1
      },
      "102": {
        "g": 6167,
        "a": 1
      },
      "103": {
        "g": 6175,
        "a": 1
      },
      "104": {
        "g": 6178,
        "a": 1
      },
      "105": {
        "g": 6187,
        "a": 1
      },
      "106": {
        "g": 6192,
        "a": 1
      },
      "107": {
        "g": 6196,
        "a": 1
      },
      "108": {
        "g": 6203,
        "a": 1
      },
      "109": {
        "g": 6206,
        "a": 1
      },
      "110": {
        "g": 6212,
        "a": 1
      },
      "111": {
        "g": 6215,
        "a": 1
      },
      "112": {
        "g": 6220,
        "a": 1
      },
      "113": {
        "g": 6224,
        "a": 1
      },
      "114": {
        "g": 6229,
        "a": 1
      }
    }
  },
  "baseline": {
    "g_s_a_an": {
      "length": 15124,
      "mod19": 0
    },
    "g_s_a_an_ah": {
      "length": 17138,
      "mod19": 0
    },
    "g_s_a_an_w": {
      "length": 18544,
      "mod19": 9
    },
    "g_s_a_an_ah_w": {
      "length": 20558,
      "mod19": 6
    }
  },
  "eligible_pairs": 16361,
  "eligible_pairs_with_unequal_w_digit_widths": 2891,
  "successful_pairs": 41,
  "candidate_6_39_116": {
    "pair": {
      "s": 6,
      "a1": 39,
      "a2": 116,
      "g1": 828,
      "g2": 905,
      "w1": 17,
      "w2": 18,
      "h1": 68,
      "h2": 63,
      "an": 1,
      "ah": 4,
      "d": 77
    },
    "after_swap": {
      "g_s_a_an": {
        "length": 15124,
        "mod19": 0
      },
      "g_s_a_an_ah": {
        "length": 17138,
        "mod19": 0
      },
      "g_s_a_an_w": {
        "length": 18544,
        "mod19": 0
      },
      "g_s_a_an_ah_w": {
        "length": 20558,
        "mod19": 0
      }
    }
  },
  "report_comparison": {
    "reported_rows": 41,
    "reported_unique_rows": 41,
    "exact_set_match_all_12_columns": true,
    "missing_from_report": [],
    "extra_or_incorrect_report_rows": []
  },
  "verification": {
    "all_eligible_pairs_fully_reconstructed_and_streamed": true,
    "all_eligible_pairs_independently_segment_checked": true,
    "whole_long_integer_conversion": false,
    "max_decimal_parse_digits": 128,
    "success_condition": "Both w-bearing residues zero; first two invariant",
    "scope": "Numeric input consistency only; an/ah/w/h not checked against Arabic text"
  },
  "successes": [
    {
      "s": 12,
      "a1": 86,
      "a2": 87,
      "g1": 1680,
      "g2": 1681,
      "w1": 13,
      "w2": 20,
      "h1": 48,
      "h2": 79,
      "an": 2,
      "ah": 8,
      "d": 1
    },
    {
      "s": 16,
      "a1": 52,
      "a2": 53,
      "g1": 1951,
      "g2": 1952,
      "w1": 11,
      "w2": 12,
      "h1": 46,
      "h2": 42,
      "an": 1,
      "ah": 4,
      "d": 1
    },
    {
      "s": 34,
      "a1": 22,
      "a2": 24,
      "g1": 3626,
      "g2": 3628,
      "w1": 26,
      "w2": 17,
      "h1": 91,
      "h2": 59,
      "an": 1,
      "ah": 4,
      "d": 2
    },
    {
      "s": 8,
      "a1": 58,
      "a2": 62,
      "g1": 1218,
      "g2": 1222,
      "w1": 14,
      "w2": 12,
      "h1": 54,
      "h2": 53,
      "an": 1,
      "ah": 4,
      "d": 4
    },
    {
      "s": 11,
      "a1": 56,
      "a2": 61,
      "g1": 1527,
      "g2": 1532,
      "w1": 18,
      "w2": 27,
      "h1": 64,
      "h2": 109,
      "an": 1,
      "ah": 4,
      "d": 5
    },
    {
      "s": 2,
      "a1": 101,
      "a2": 107,
      "g1": 108,
      "g2": 114,
      "w1": 22,
      "w2": 17,
      "h1": 85,
      "h2": 57,
      "an": 2,
      "ah": 8,
      "d": 6
    },
    {
      "s": 4,
      "a1": 157,
      "a2": 167,
      "g1": 650,
      "g2": 660,
      "w1": 34,
      "w2": 11,
      "h1": 128,
      "h2": 42,
      "an": 1,
      "ah": 4,
      "d": 10
    },
    {
      "s": 58,
      "a1": 2,
      "a2": 12,
      "g1": 5104,
      "g2": 5114,
      "w1": 23,
      "w2": 22,
      "h1": 97,
      "h2": 90,
      "an": 1,
      "ah": 4,
      "d": 10
    },
    {
      "s": 2,
      "a1": 246,
      "a2": 258,
      "g1": 253,
      "g2": 265,
      "w1": 54,
      "w2": 43,
      "h1": 210,
      "h2": 160,
      "an": 3,
      "ah": 13,
      "d": 12
    },
    {
      "s": 14,
      "a1": 8,
      "a2": 20,
      "g1": 1756,
      "g2": 1768,
      "w1": 13,
      "w2": 5,
      "h1": 50,
      "h2": 18,
      "an": 1,
      "ah": 4,
      "d": 12
    },
    {
      "s": 2,
      "a1": 113,
      "a2": 126,
      "g1": 120,
      "g2": 133,
      "w1": 31,
      "w2": 30,
      "h1": 135,
      "h2": 119,
      "an": 1,
      "ah": 5,
      "d": 13
    },
    {
      "s": 14,
      "a1": 19,
      "a2": 32,
      "g1": 1767,
      "g2": 1780,
      "w1": 14,
      "w2": 25,
      "h1": 54,
      "h2": 101,
      "an": 1,
      "ah": 4,
      "d": 13
    },
    {
      "s": 6,
      "a1": 138,
      "a2": 152,
      "g1": 927,
      "g2": 941,
      "w1": 26,
      "w2": 35,
      "h1": 112,
      "h2": 149,
      "an": 1,
      "ah": 4,
      "d": 14
    },
    {
      "s": 4,
      "a1": 108,
      "a2": 126,
      "g1": 601,
      "g2": 619,
      "w1": 21,
      "w2": 12,
      "h1": 82,
      "h2": 42,
      "an": 2,
      "ah": 8,
      "d": 18
    },
    {
      "s": 4,
      "a1": 106,
      "a2": 126,
      "g1": 599,
      "g2": 619,
      "w1": 7,
      "w2": 12,
      "h1": 30,
      "h2": 42,
      "an": 2,
      "ah": 8,
      "d": 20
    },
    {
      "s": 2,
      "a1": 173,
      "a2": 194,
      "g1": 180,
      "g2": 201,
      "w1": 25,
      "w2": 22,
      "h1": 93,
      "h2": 106,
      "an": 2,
      "ah": 8,
      "d": 21
    },
    {
      "s": 3,
      "a1": 95,
      "a2": 116,
      "g1": 388,
      "g2": 409,
      "w1": 11,
      "w2": 18,
      "h1": 46,
      "h2": 72,
      "an": 1,
      "ah": 4,
      "d": 21
    },
    {
      "s": 29,
      "a1": 3,
      "a2": 25,
      "g1": 3341,
      "g2": 3363,
      "w1": 11,
      "w2": 27,
      "h1": 55,
      "h2": 114,
      "an": 1,
      "ah": 4,
      "d": 22
    },
    {
      "s": 4,
      "a1": 118,
      "a2": 143,
      "g1": 611,
      "g2": 636,
      "w1": 8,
      "w2": 16,
      "h1": 36,
      "h2": 56,
      "an": 1,
      "ah": 4,
      "d": 25
    },
    {
      "s": 10,
      "a1": 4,
      "a2": 31,
      "g1": 1366,
      "g2": 1393,
      "w1": 28,
      "w2": 27,
      "h1": 125,
      "h2": 112,
      "an": 1,
      "ah": 4,
      "d": 27
    },
    {
      "s": 2,
      "a1": 116,
      "a2": 149,
      "g1": 123,
      "g2": 156,
      "w1": 14,
      "w2": 17,
      "h1": 52,
      "h2": 65,
      "an": 1,
      "ah": 4,
      "d": 33
    },
    {
      "s": 3,
      "a1": 7,
      "a2": 40,
      "g1": 300,
      "g2": 333,
      "w1": 46,
      "w2": 17,
      "h1": 187,
      "h2": 61,
      "an": 1,
      "ah": 4,
      "d": 33
    },
    {
      "s": 3,
      "a1": 51,
      "a2": 89,
      "g1": 344,
      "g2": 382,
      "w1": 8,
      "w2": 11,
      "h1": 33,
      "h2": 43,
      "an": 1,
      "ah": 4,
      "d": 38
    },
    {
      "s": 2,
      "a1": 137,
      "a2": 176,
      "g1": 144,
      "g2": 183,
      "w1": 19,
      "w2": 14,
      "h1": 79,
      "h2": 56,
      "an": 1,
      "ah": 4,
      "d": 39
    },
    {
      "s": 8,
      "a1": 22,
      "a2": 62,
      "g1": 1182,
      "g2": 1222,
      "w1": 10,
      "w2": 12,
      "h1": 39,
      "h2": 53,
      "an": 1,
      "ah": 4,
      "d": 40
    },
    {
      "s": 8,
      "a1": 18,
      "a2": 62,
      "g1": 1178,
      "g2": 1222,
      "w1": 6,
      "w2": 12,
      "h1": 25,
      "h2": 53,
      "an": 1,
      "ah": 4,
      "d": 44
    },
    {
      "s": 4,
      "a1": 33,
      "a2": 82,
      "g1": 526,
      "g2": 575,
      "w1": 19,
      "w2": 13,
      "h1": 84,
      "h2": 55,
      "an": 1,
      "ah": 4,
      "d": 49
    },
    {
      "s": 4,
      "a1": 83,
      "a2": 133,
      "g1": 576,
      "g2": 626,
      "w1": 30,
      "w2": 12,
      "h1": 133,
      "h2": 49,
      "an": 1,
      "ah": 4,
      "d": 50
    },
    {
      "s": 16,
      "a1": 26,
      "a2": 79,
      "g1": 1925,
      "g2": 1978,
      "w1": 21,
      "w2": 18,
      "h1": 85,
      "h2": 65,
      "an": 1,
      "ah": 4,
      "d": 53
    },
    {
      "s": 2,
      "a1": 198,
      "a2": 257,
      "g1": 205,
      "g2": 264,
      "w1": 26,
      "w2": 24,
      "h1": 109,
      "h2": 113,
      "an": 1,
      "ah": 4,
      "d": 59
    },
    {
      "s": 9,
      "a1": 55,
      "a2": 117,
      "g1": 1290,
      "g2": 1352,
      "w1": 17,
      "w2": 27,
      "h1": 78,
      "h2": 107,
      "an": 1,
      "ah": 4,
      "d": 62
    },
    {
      "s": 6,
      "a1": 39,
      "a2": 116,
      "g1": 828,
      "g2": 905,
      "w1": 17,
      "w2": 18,
      "h1": 68,
      "h2": 63,
      "an": 1,
      "ah": 4,
      "d": 77
    },
    {
      "s": 9,
      "a1": 43,
      "a2": 121,
      "g1": 1278,
      "g2": 1356,
      "w1": 13,
      "w2": 18,
      "h1": 51,
      "h2": 77,
      "an": 1,
      "ah": 4,
      "d": 78
    },
    {
      "s": 4,
      "a1": 28,
      "a2": 107,
      "g1": 521,
      "g2": 600,
      "w1": 8,
      "w2": 14,
      "h1": 33,
      "h2": 53,
      "an": 1,
      "ah": 4,
      "d": 79
    },
    {
      "s": 5,
      "a1": 6,
      "a2": 85,
      "g1": 675,
      "g2": 754,
      "w1": 61,
      "w2": 14,
      "h1": 275,
      "h2": 62,
      "an": 1,
      "ah": 4,
      "d": 79
    },
    {
      "s": 2,
      "a1": 118,
      "a2": 206,
      "g1": 125,
      "g2": 213,
      "w1": 24,
      "w2": 12,
      "h1": 101,
      "h2": 52,
      "an": 1,
      "ah": 4,
      "d": 88
    },
    {
      "s": 2,
      "a1": 90,
      "a2": 185,
      "g1": 97,
      "g2": 192,
      "w1": 27,
      "w2": 44,
      "h1": 103,
      "h2": 184,
      "an": 2,
      "ah": 8,
      "d": 95
    },
    {
      "s": 3,
      "a1": 61,
      "a2": 158,
      "g1": 354,
      "g2": 451,
      "w1": 25,
      "w2": 7,
      "h1": 108,
      "h2": 28,
      "an": 1,
      "ah": 4,
      "d": 97
    },
    {
      "s": 2,
      "a1": 154,
      "a2": 286,
      "g1": 161,
      "g2": 293,
      "w1": 13,
      "w2": 49,
      "h1": 48,
      "h2": 195,
      "an": 1,
      "ah": 4,
      "d": 132
    },
    {
      "s": 4,
      "a1": 15,
      "a2": 153,
      "g1": 508,
      "g2": 646,
      "w1": 22,
      "w2": 37,
      "h1": 104,
      "h2": 154,
      "an": 1,
      "ah": 4,
      "d": 138
    },
    {
      "s": 2,
      "a1": 28,
      "a2": 271,
      "g1": 35,
      "g2": 278,
      "w1": 13,
      "w2": 20,
      "h1": 58,
      "h2": 86,
      "an": 1,
      "ah": 5,
      "d": 243
    }
  ],
  "residue_pair_counts": {
    "0,0": 41,
    "0,1": 47,
    "0,2": 48,
    "0,3": 45,
    "0,4": 42,
    "0,5": 55,
    "0,6": 62,
    "0,7": 51,
    "0,8": 34,
    "0,9": 42,
    "0,10": 43,
    "0,11": 51,
    "0,12": 42,
    "0,13": 54,
    "0,14": 50,
    "0,15": 43,
    "0,16": 40,
    "0,17": 48,
    "0,18": 47,
    "1,0": 48,
    "1,1": 43,
    "1,2": 49,
    "1,3": 46,
    "1,4": 35,
    "1,5": 27,
    "1,6": 65,
    "1,7": 37,
    "1,8": 37,
    "1,9": 41,
    "1,10": 39,
    "1,11": 43,
    "1,12": 37,
    "1,13": 48,
    "1,14": 40,
    "1,15": 48,
    "1,16": 46,
    "1,17": 34,
    "1,18": 44,
    "2,0": 47,
    "2,1": 38,
    "2,2": 49,
    "2,3": 35,
    "2,4": 61,
    "2,5": 52,
    "2,6": 62,
    "2,7": 51,
    "2,8": 40,
    "2,9": 60,
    "2,10": 37,
    "2,11": 38,
    "2,12": 45,
    "2,13": 36,
    "2,14": 33,
    "2,15": 34,
    "2,16": 40,
    "2,17": 41,
    "2,18": 36,
    "3,0": 31,
    "3,1": 32,
    "3,2": 41,
    "3,3": 45,
    "3,4": 34,
    "3,5": 46,
    "3,6": 63,
    "3,7": 47,
    "3,8": 47,
    "3,9": 37,
    "3,10": 37,
    "3,11": 34,
    "3,12": 42,
    "3,13": 44,
    "3,14": 45,
    "3,15": 36,
    "3,16": 55,
    "3,17": 41,
    "3,18": 33,
    "4,0": 47,
    "4,1": 28,
    "4,2": 38,
    "4,3": 48,
    "4,4": 41,
    "4,5": 32,
    "4,6": 64,
    "4,7": 42,
    "4,8": 47,
    "4,9": 43,
    "4,10": 51,
    "4,11": 40,
    "4,12": 44,
    "4,13": 46,
    "4,14": 52,
    "4,15": 31,
    "4,16": 47,
    "4,17": 44,
    "4,18": 41,
    "5,0": 41,
    "5,1": 38,
    "5,2": 45,
    "5,3": 48,
    "5,4": 46,
    "5,5": 38,
    "5,6": 69,
    "5,7": 50,
    "5,8": 44,
    "5,9": 52,
    "5,10": 50,
    "5,11": 35,
    "5,12": 45,
    "5,13": 49,
    "5,14": 38,
    "5,15": 51,
    "5,16": 48,
    "5,17": 45,
    "5,18": 50,
    "6,0": 44,
    "6,1": 47,
    "6,2": 45,
    "6,3": 47,
    "6,4": 44,
    "6,5": 36,
    "6,6": 66,
    "6,7": 49,
    "6,8": 42,
    "6,9": 37,
    "6,10": 53,
    "6,11": 63,
    "6,12": 46,
    "6,13": 51,
    "6,14": 48,
    "6,15": 40,
    "6,16": 39,
    "6,17": 29,
    "6,18": 40,
    "7,0": 57,
    "7,1": 48,
    "7,2": 43,
    "7,3": 42,
    "7,4": 57,
    "7,5": 30,
    "7,6": 65,
    "7,7": 47,
    "7,8": 30,
    "7,9": 36,
    "7,10": 52,
    "7,11": 52,
    "7,12": 58,
    "7,13": 51,
    "7,14": 47,
    "7,15": 49,
    "7,16": 55,
    "7,17": 51,
    "7,18": 42,
    "8,0": 46,
    "8,1": 49,
    "8,2": 35,
    "8,3": 40,
    "8,4": 42,
    "8,5": 39,
    "8,6": 59,
    "8,7": 56,
    "8,8": 38,
    "8,9": 38,
    "8,10": 53,
    "8,11": 36,
    "8,12": 30,
    "8,13": 56,
    "8,14": 32,
    "8,15": 41,
    "8,16": 41,
    "8,17": 35,
    "8,18": 35,
    "9,0": 62,
    "9,1": 51,
    "9,2": 66,
    "9,3": 63,
    "9,4": 56,
    "9,5": 41,
    "9,6": 257,
    "9,7": 37,
    "9,8": 56,
    "9,9": 62,
    "9,10": 52,
    "9,11": 66,
    "9,12": 50,
    "9,13": 59,
    "9,14": 48,
    "9,15": 42,
    "9,16": 44,
    "9,17": 47,
    "9,18": 64,
    "10,0": 45,
    "10,1": 46,
    "10,2": 47,
    "10,3": 45,
    "10,4": 37,
    "10,5": 41,
    "10,6": 54,
    "10,7": 47,
    "10,8": 43,
    "10,9": 48,
    "10,10": 42,
    "10,11": 35,
    "10,12": 38,
    "10,13": 40,
    "10,14": 51,
    "10,15": 49,
    "10,16": 34,
    "10,17": 42,
    "10,18": 32,
    "11,0": 44,
    "11,1": 42,
    "11,2": 40,
    "11,3": 45,
    "11,4": 35,
    "11,5": 39,
    "11,6": 60,
    "11,7": 49,
    "11,8": 40,
    "11,9": 36,
    "11,10": 44,
    "11,11": 28,
    "11,12": 41,
    "11,13": 38,
    "11,14": 42,
    "11,15": 53,
    "11,16": 49,
    "11,17": 53,
    "11,18": 51,
    "12,0": 42,
    "12,1": 50,
    "12,2": 50,
    "12,3": 47,
    "12,4": 37,
    "12,5": 37,
    "12,6": 71,
    "12,7": 35,
    "12,8": 63,
    "12,9": 39,
    "12,10": 48,
    "12,11": 47,
    "12,12": 40,
    "12,13": 46,
    "12,14": 44,
    "12,15": 59,
    "12,16": 40,
    "12,17": 49,
    "12,18": 40,
    "13,0": 38,
    "13,1": 43,
    "13,2": 31,
    "13,3": 43,
    "13,4": 45,
    "13,5": 41,
    "13,6": 52,
    "13,7": 29,
    "13,8": 38,
    "13,9": 33,
    "13,10": 43,
    "13,11": 38,
    "13,12": 40,
    "13,13": 55,
    "13,14": 51,
    "13,15": 56,
    "13,16": 38,
    "13,17": 49,
    "13,18": 45,
    "14,0": 42,
    "14,1": 45,
    "14,2": 30,
    "14,3": 42,
    "14,4": 44,
    "14,5": 39,
    "14,6": 71,
    "14,7": 51,
    "14,8": 51,
    "14,9": 31,
    "14,10": 40,
    "14,11": 40,
    "14,12": 44,
    "14,13": 49,
    "14,14": 38,
    "14,15": 43,
    "14,16": 34,
    "14,17": 51,
    "14,18": 54,
    "15,0": 40,
    "15,1": 49,
    "15,2": 48,
    "15,3": 56,
    "15,4": 29,
    "15,5": 38,
    "15,6": 49,
    "15,7": 50,
    "15,8": 41,
    "15,9": 53,
    "15,10": 34,
    "15,11": 43,
    "15,12": 60,
    "15,13": 50,
    "15,14": 42,
    "15,15": 37,
    "15,16": 36,
    "15,17": 49,
    "15,18": 41,
    "16,0": 53,
    "16,1": 46,
    "16,2": 43,
    "16,3": 40,
    "16,4": 42,
    "16,5": 46,
    "16,6": 52,
    "16,7": 41,
    "16,8": 45,
    "16,9": 54,
    "16,10": 46,
    "16,11": 34,
    "16,12": 59,
    "16,13": 41,
    "16,14": 47,
    "16,15": 55,
    "16,16": 52,
    "16,17": 41,
    "16,18": 47,
    "17,0": 35,
    "17,1": 35,
    "17,2": 40,
    "17,3": 35,
    "17,4": 37,
    "17,5": 44,
    "17,6": 60,
    "17,7": 44,
    "17,8": 44,
    "17,9": 48,
    "17,10": 38,
    "17,11": 39,
    "17,12": 39,
    "17,13": 38,
    "17,14": 40,
    "17,15": 46,
    "17,16": 45,
    "17,17": 38,
    "17,18": 38,
    "18,0": 59,
    "18,1": 40,
    "18,2": 45,
    "18,3": 45,
    "18,4": 33,
    "18,5": 44,
    "18,6": 59,
    "18,7": 46,
    "18,8": 35,
    "18,9": 36,
    "18,10": 46,
    "18,11": 43,
    "18,12": 41,
    "18,13": 46,
    "18,14": 47,
    "18,15": 49,
    "18,16": 46,
    "18,17": 44,
    "18,18": 42
  },
  "elapsed_seconds": 4.655
}