{
  "scope": "Small exhaustive triple families and six concrete generator packing certificates only. No formal verification or check of asymptotic degree-four existence.",
  "triple_extrema": [
    {
      "n": 3,
      "maximum_four_sum_free_triples": 1,
      "families_examined": 2
    },
    {
      "n": 4,
      "maximum_four_sum_free_triples": 4,
      "families_examined": 16
    },
    {
      "n": 5,
      "maximum_four_sum_free_triples": 6,
      "families_examined": 1024
    }
  ],
  "packing_certificates": [
    {
      "n": 2,
      "S": 6,
      "groups": [
        [
          1,
          2
        ],
        [
          3,
          4
        ]
      ],
      "remaining_indices": [
        0,
        5
      ],
      "remaining_triples": 0,
      "columns": [
        1,
        2,
        2,
        2,
        2,
        3
      ]
    },
    {
      "n": 3,
      "S": 12,
      "groups": [
        [
          1,
          3
        ],
        [
          2,
          7
        ],
        [
          0,
          8
        ],
        [
          4,
          5,
          9
        ]
      ],
      "remaining_indices": [
        6,
        10,
        11
      ],
      "remaining_triples": 1,
      "columns": [
        1,
        2,
        4,
        2,
        6,
        3,
        7,
        4,
        1,
        5,
        4,
        2
      ]
    },
    {
      "n": 4,
      "S": 20,
      "groups": [
        [
          1,
          6
        ],
        [
          2,
          7
        ],
        [
          8,
          11
        ],
        [
          3,
          13
        ],
        [
          10,
          15
        ],
        [
          9,
          16
        ],
        [
          12,
          17
        ],
        [
          18,
          19
        ]
      ],
      "remaining_indices": [
        0,
        4,
        5,
        14
      ],
      "remaining_triples": 1,
      "columns": [
        1,
        2,
        4,
        8,
        7,
        10,
        2,
        4,
        5,
        14,
        2,
        5,
        5,
        8,
        8,
        2,
        14,
        5,
        12,
        12
      ]
    },
    {
      "n": 8,
      "S": 72,
      "groups": [
        [
          12,
          15
        ],
        [
          0,
          18
        ],
        [
          17,
          22
        ],
        [
          21,
          27
        ],
        [
          29,
          36
        ],
        [
          33,
          40
        ],
        [
          23,
          41
        ],
        [
          37,
          42
        ],
        [
          8,
          46
        ],
        [
          35,
          48
        ],
        [
          31,
          50
        ],
        [
          45,
          51
        ],
        [
          47,
          53
        ],
        [
          10,
          55
        ],
        [
          1,
          61
        ],
        [
          39,
          63
        ],
        [
          38,
          64
        ],
        [
          52,
          70
        ],
        [
          2,
          7,
          25
        ],
        [
          3,
          4,
          34
        ],
        [
          5,
          19,
          49
        ],
        [
          6,
          24,
          59
        ],
        [
          9,
          62,
          68
        ],
        [
          11,
          20,
          30
        ],
        [
          14,
          60,
          16,
          28
        ],
        [
          32,
          57,
          67
        ],
        [
          26,
          71,
          44,
          69
        ]
      ],
      "remaining_indices": [
        13,
        43,
        54,
        56,
        58,
        65,
        66
      ],
      "remaining_triples": 6,
      "columns": [
        1,
        2,
        4,
        8,
        16,
        32,
        64,
        128,
        97,
        196,
        17,
        3,
        112,
        84,
        13,
        112,
        56,
        161,
        1,
        136,
        21,
        160,
        161,
        176,
        65,
        132,
        193,
        160,
        112,
        76,
        22,
        10,
        160,
        100,
        24,
        146,
        76,
        6,
        81,
        200,
        100,
        176,
        6,
        164,
        98,
        42,
        97,
        50,
        146,
        168,
        10,
        42,
        44,
        50,
        19,
        17,
        25,
        50,
        66,
        1,
        69,
        2,
        140,
        200,
        81,
        70,
        88,
        146,
        72,
        130,
        44,
        33
      ]
    },
    {
      "n": 16,
      "S": 272,
      "groups": [
        [
          9,
          47
        ],
        [
          55,
          62
        ],
        [
          11,
          63
        ],
        [
          57,
          64
        ],
        [
          51,
          85
        ],
        [
          79,
          88
        ],
        [
          42,
          111
        ],
        [
          31,
          117
        ],
        [
          61,
          126
        ],
        [
          1,
          139
        ],
        [
          34,
          148
        ],
        [
          143,
          155
        ],
        [
          59,
          159
        ],
        [
          70,
          174
        ],
        [
          68,
          175
        ],
        [
          124,
          178
        ],
        [
          113,
          180
        ],
        [
          133,
          184
        ],
        [
          154,
          203
        ],
        [
          115,
          209
        ],
        [
          182,
          212
        ],
        [
          38,
          213
        ],
        [
          120,
          215
        ],
        [
          8,
          218
        ],
        [
          211,
          222
        ],
        [
          170,
          226
        ],
        [
          90,
          227
        ],
        [
          198,
          228
        ],
        [
          86,
          230
        ],
        [
          16,
          232
        ],
        [
          69,
          243
        ],
        [
          48,
          245
        ],
        [
          219,
          246
        ],
        [
          98,
          251
        ],
        [
          93,
          253
        ],
        [
          58,
          256
        ],
        [
          0,
          4,
          41
        ],
        [
          2,
          3,
          96
        ],
        [
          5,
          14,
          177
        ],
        [
          6,
          7,
          36
        ],
        [
          10,
          15,
          108
        ],
        [
          12,
          17,
          270
        ],
        [
          13,
          19,
          160
        ],
        [
          18,
          22,
          40
        ],
        [
          20,
          21,
          27
        ],
        [
          23,
          195,
          249
        ],
        [
          24,
          32,
          138
        ],
        [
          25,
          43,
          82
        ],
        [
          26,
          66,
          188
        ],
        [
          28,
          109,
          123
        ],
        [
          29,
          107,
          191
        ],
        [
          30,
          84,
          33,
          39
        ],
        [
          35,
          101,
          258
        ],
        [
          37,
          142,
          194
        ],
        [
          44,
          65,
          223
        ],
        [
          45,
          102,
          264
        ],
        [
          49,
          71,
          146
        ],
        [
          50,
          53,
          150
        ],
        [
          52,
          167,
          54,
          163
        ],
        [
          46,
          125,
          56,
          119
        ],
        [
          60,
          75,
          130
        ],
        [
          67,
          152,
          196
        ],
        [
          72,
          136,
          73,
          112
        ],
        [
          74,
          99,
          239
        ],
        [
          76,
          171,
          231
        ],
        [
          78,
          151,
          192
        ],
        [
          77,
          207,
          80,
          134
        ],
        [
          81,
          181,
          190
        ],
        [
          89,
          221,
          91,
          169
        ],
        [
          87,
          172,
          92,
          165
        ],
        [
          94,
          229,
          95,
          145
        ],
        [
          97,
          189,
          100,
          162
        ],
        [
          83,
          121,
          103,
          105
        ],
        [
          106,
          268,
          110,
          166
        ],
        [
          104,
          214,
          114,
          144
        ],
        [
          118,
          202,
          233
        ],
        [
          122,
          234,
          128,
          147
        ],
        [
          131,
          185,
          216
        ],
        [
          132,
          179,
          137,
          161
        ],
        [
          156,
          237,
          157,
          235
        ],
        [
          140,
          201,
          158,
          199
        ],
        [
          173,
          238,
          259
        ],
        [
          168,
          265,
          193,
          225
        ],
        [
          153,
          257,
          208,
          255
        ],
        [
          176,
          260,
          224,
          248
        ],
        [
          205,
          271,
          244,
          261
        ]
      ],
      "remaining_indices": [
        116,
        127,
        129,
        135,
        141,
        149,
        164,
        183,
        186,
        187,
        197,
        200,
        204,
        206,
        210,
        217,
        220,
        236,
        240,
        241,
        242,
        247,
        250,
        252,
        254,
        262,
        263,
        266,
        267,
        269
      ],
      "remaining_triples": 29,
      "columns": [
        1,
        2,
        4,
        8,
        16,
        32,
        64,
        128,
        256,
        512,
        1024,
        2048,
        4096,
        8192,
        16384,
        32768,
        67,
        4106,
        4356,
        8198,
        52,
        34,
        5376,
        49168,
        68,
        32784,
        9728,
        22,
        146,
        672,
        200,
        112,
        1600,
        8232,
        6148,
        2096,
        192,
        152,
        17408,
        8260,
        1028,
        17,
        32776,
        33032,
        25600,
        35072,
        4288,
        512,
        8706,
        18434,
        100,
        8480,
        49408,
        224,
        33040,
        32800,
        8450,
        25,
        392,
        4161,
        33024,
        41472,
        32800,
        2048,
        25,
        49152,
        516,
        4099,
        32769,
        5122,
        32804,
        3,
        8209,
        4624,
        4100,
        262,
        4672,
        16898,
        10304,
        4097,
        37,
        2320,
        280,
        1160,
        164,
        8480,
        517,
        9217,
        4097,
        2144,
        1664,
        578,
        34304,
        32780,
        16644,
        44,
        12,
        16387,
        8352,
        4176,
        2114,
        34816,
        2560,
        6146,
        33028,
        2058,
        20496,
        8736,
        33792,
        640,
        24608,
        32776,
        8193,
        1280,
        4354,
        2816,
        656,
        112,
        74,
        8322,
        13312,
        5248,
        26,
        530,
        17409,
        4416,
        41472,
        16449,
        42,
        1282,
        32774,
        260,
        49184,
        1552,
        545,
        518,
        4608,
        4130,
        1540,
        2,
        322,
        40992,
        1152,
        16389,
        37888,
        16520,
        18433,
        1168,
        6148,
        2592,
        132,
        8288,
        4610,
        4368,
        33280,
        16389,
        4105,
        16396,
        17424,
        4161,
        6,
        20481,
        193,
        1296,
        32834,
        43008,
        560,
        17664,
        12544,
        800,
        36896,
        8704,
        2561,
        1026,
        32804,
        32769,
        1089,
        16416,
        17409,
        32771,
        1280,
        2312,
        9216,
        8202,
        1552,
        4353,
        49,
        2116,
        9220,
        18560,
        24,
        8320,
        2080,
        1092,
        1048,
        49280,
        513,
        32770,
        8452,
        336,
        24640,
        17410,
        584,
        33280,
        16480,
        8272,
        36872,
        16390,
        6152,
        2816,
        5152,
        1184,
        9216,
        17408,
        1030,
        13312,
        4101,
        16544,
        256,
        32816,
        386,
        2306,
        1184,
        41984,
        448,
        5124,
        36896,
        1664,
        8452,
        416,
        517,
        12352,
        67,
        514,
        1184,
        4609,
        34820,
        16900,
        546,
        84,
        28672,
        32900,
        148,
        5122,
        16404,
        8706,
        32816,
        2053,
        1280,
        144,
        41472,
        8352,
        8352,
        32780,
        16928,
        6400,
        392,
        4120,
        32816,
        1568,
        129,
        16456,
        2305,
        2051,
        33536,
        8512,
        2562,
        33800,
        12800,
        2060,
        10,
        8204
      ]
    },
    {
      "n": 32,
      "S": 1056,
      "groups": [
        [
          16,
          37
        ],
        [
          97,
          99
        ],
        [
          75,
          132
        ],
        [
          157,
          167
        ],
        [
          71,
          186
        ],
        [
          65,
          198
        ],
        [
          164,
          243
        ],
        [
          45,
          255
        ],
        [
          50,
          311
        ],
        [
          192,
          324
        ],
        [
          107,
          328
        ],
        [
          201,
          336
        ],
        [
          206,
          358
        ],
        [
          36,
          365
        ],
        [
          218,
          405
        ],
        [
          43,
          433
        ],
        [
          258,
          437
        ],
        [
          342,
          463
        ],
        [
          448,
          467
        ],
        [
          435,
          507
        ],
        [
          394,
          516
        ],
        [
          356,
          524
        ],
        [
          384,
          548
        ],
        [
          96,
          559
        ],
        [
          368,
          563
        ],
        [
          397,
          568
        ],
        [
          57,
          570
        ],
        [
          279,
          585
        ],
        [
          399,
          588
        ],
        [
          20,
          611
        ],
        [
          325,
          624
        ],
        [
          234,
          631
        ],
        [
          114,
          660
        ],
        [
          257,
          663
        ],
        [
          199,
          665
        ],
        [
          6,
          669
        ],
        [
          418,
          684
        ],
        [
          283,
          691
        ],
        [
          334,
          695
        ],
        [
          351,
          723
        ],
        [
          709,
          745
        ],
        [
          145,
          751
        ],
        [
          539,
          752
        ],
        [
          189,
          757
        ],
        [
          111,
          760
        ],
        [
          118,
          769
        ],
        [
          421,
          785
        ],
        [
          98,
          791
        ],
        [
          393,
          793
        ],
        [
          138,
          796
        ],
        [
          607,
          799
        ],
        [
          79,
          802
        ],
        [
          775,
          826
        ],
        [
          598,
          828
        ],
        [
          63,
          846
        ],
        [
          708,
          851
        ],
        [
          800,
          861
        ],
        [
          817,
          874
        ],
        [
          749,
          878
        ],
        [
          639,
          901
        ],
        [
          466,
          909
        ],
        [
          859,
          910
        ],
        [
          420,
          929
        ],
        [
          774,
          930
        ],
        [
          276,
          937
        ],
        [
          778,
          946
        ],
        [
          176,
          949
        ],
        [
          348,
          952
        ],
        [
          224,
          954
        ],
        [
          925,
          967
        ],
        [
          42,
          982
        ],
        [
          315,
          984
        ],
        [
          823,
          987
        ],
        [
          837,
          999
        ],
        [
          339,
          1002
        ],
        [
          151,
          1003
        ],
        [
          59,
          1004
        ],
        [
          565,
          1013
        ],
        [
          109,
          1014
        ],
        [
          807,
          1017
        ],
        [
          357,
          1020
        ],
        [
          820,
          1039
        ],
        [
          681,
          1040
        ],
        [
          410,
          1041
        ],
        [
          857,
          1043
        ],
        [
          306,
          1045
        ],
        [
          413,
          1048
        ],
        [
          0,
          69,
          240
        ],
        [
          1,
          9,
          813
        ],
        [
          2,
          18,
          101
        ],
        [
          3,
          8,
          632
        ],
        [
          4,
          10,
          869
        ],
        [
          5,
          11,
          847
        ],
        [
          7,
          19,
          204
        ],
        [
          12,
          26,
          70
        ],
        [
          13,
          68,
          541
        ],
        [
          14,
          15,
          406
        ],
        [
          17,
          27,
          389
        ],
        [
          21,
          135,
          940
        ],
        [
          22,
          302,
          1033
        ],
        [
          23,
          31,
          352
        ],
        [
          24,
          154,
          832
        ],
        [
          25,
          58,
          636
        ],
        [
          28,
          30,
          499
        ],
        [
          29,
          88,
          866
        ],
        [
          32,
          591,
          674
        ],
        [
          33,
          184,
          562
        ],
        [
          34,
          468,
          913
        ],
        [
          35,
          123,
          332
        ],
        [
          38,
          893,
          39,
          309
        ],
        [
          40,
          737,
          903
        ],
        [
          41,
          396,
          641
        ],
        [
          44,
          814,
          1030
        ],
        [
          46,
          1009,
          47,
          768
        ],
        [
          49,
          117,
          414
        ],
        [
          51,
          319,
          1021
        ],
        [
          53,
          487,
          890
        ],
        [
          55,
          510,
          763
        ],
        [
          48,
          630,
          56,
          166
        ],
        [
          54,
          790,
          60,
          444
        ],
        [
          61,
          127,
          235
        ],
        [
          52,
          432,
          62,
          64
        ],
        [
          66,
          612,
          1016
        ],
        [
          67,
          333,
          896
        ],
        [
          72,
          469,
          735
        ],
        [
          73,
          979,
          74,
          680
        ],
        [
          76,
          119,
          534
        ],
        [
          77,
          80,
          271
        ],
        [
          78,
          1034,
          81,
          144
        ],
        [
          82,
          385,
          850
        ],
        [
          85,
          139,
          914
        ],
        [
          87,
          170,
          89,
          152
        ],
        [
          90,
          635,
          753
        ],
        [
          86,
          810,
          91,
          116
        ],
        [
          84,
          917,
          92,
          185
        ],
        [
          93,
          195,
          678
        ],
        [
          83,
          750,
          94,
          392
        ],
        [
          95,
          863,
          102,
          717
        ],
        [
          103,
          292,
          667
        ],
        [
          105,
          424,
          700
        ],
        [
          106,
          146,
          412
        ],
        [
          104,
          741,
          108,
          456
        ],
        [
          100,
          381,
          110,
          345
        ],
        [
          112,
          115,
          969
        ],
        [
          113,
          125,
          520
        ],
        [
          121,
          848,
          964
        ],
        [
          120,
          329,
          122,
          183
        ],
        [
          124,
          725,
          839
        ],
        [
          126,
          379,
          408
        ],
        [
          130,
          457,
          578
        ],
        [
          131,
          407,
          1038
        ],
        [
          133,
          182,
          734
        ],
        [
          129,
          1051,
          136,
          380
        ],
        [
          134,
          755,
          137,
          453
        ],
        [
          141,
          606,
          614
        ],
        [
          128,
          922,
          142,
          770
        ],
        [
          143,
          781,
          147,
          290
        ],
        [
          149,
          281,
          746
        ],
        [
          148,
          1011,
          150,
          679
        ],
        [
          153,
          310,
          676
        ],
        [
          140,
          702,
          155,
          225
        ],
        [
          156,
          451,
          920
        ],
        [
          160,
          569,
          977
        ],
        [
          161,
          694,
          162,
          527
        ],
        [
          159,
          485,
          163,
          252
        ],
        [
          165,
          998,
          168,
          264
        ],
        [
          169,
          766,
          171,
          233
        ],
        [
          173,
          353,
          797
        ],
        [
          174,
          645,
          175,
          506
        ],
        [
          177,
          259,
          675
        ],
        [
          158,
          971,
          178,
          208
        ],
        [
          180,
          181,
          761
        ],
        [
          172,
          475,
          190,
          246
        ],
        [
          191,
          326,
          985
        ],
        [
          179,
          489,
          193,
          267
        ],
        [
          188,
          557,
          194,
          230
        ],
        [
          196,
          939,
          200,
          587
        ],
        [
          205,
          269,
          596
        ],
        [
          197,
          628,
          207,
          561
        ],
        [
          187,
          518,
          209,
          404
        ],
        [
          202,
          1015,
          210,
          888
        ],
        [
          211,
          938,
          213,
          320
        ],
        [
          203,
          855,
          214,
          795
        ],
        [
          219,
          297,
          554
        ],
        [
          215,
          1022,
          220,
          515
        ],
        [
          222,
          898,
          223,
          553
        ],
        [
          217,
          434,
          226,
          237
        ],
        [
          212,
          712,
          227,
          274
        ],
        [
          221,
          651,
          232,
          308
        ],
        [
          216,
          804,
          238,
          323
        ],
        [
          228,
          1032,
          239,
          498
        ],
        [
          229,
          601,
          241,
          376
        ],
        [
          231,
          988,
          244,
          687
        ],
        [
          242,
          547,
          248,
          472
        ],
        [
          245,
          592,
          250,
          294
        ],
        [
          247,
          647,
          254,
          411
        ],
        [
          249,
          772,
          256,
          580
        ],
        [
          251,
          495,
          260,
          454
        ],
        [
          262,
          552,
          263,
          494
        ],
        [
          261,
          603,
          266,
          560
        ],
        [
          253,
          908,
          270,
          604
        ],
        [
          236,
          921,
          273,
          370
        ],
        [
          272,
          476,
          278,
          316
        ],
        [
          265,
          733,
          280,
          595
        ],
        [
          282,
          907,
          284,
          650
        ],
        [
          275,
          542,
          285,
          403
        ],
        [
          268,
          701,
          288,
          642
        ],
        [
          286,
          544,
          293,
          398
        ],
        [
          277,
          662,
          295,
          608
        ],
        [
          291,
          904,
          298,
          748
        ],
        [
          287,
          806,
          300,
          355
        ],
        [
          303,
          599,
          304,
          445
        ],
        [
          299,
          942,
          305,
          556
        ],
        [
          289,
          718,
          307,
          361
        ],
        [
          312,
          474,
          314,
          343
        ],
        [
          296,
          747,
          322,
          546
        ],
        [
          301,
          605,
          327,
          455
        ],
        [
          317,
          1036,
          338,
          388
        ],
        [
          335,
          567,
          340,
          362
        ],
        [
          331,
          950,
          341,
          371
        ],
        [
          337,
          894,
          346,
          497
        ],
        [
          344,
          991,
          347,
          575
        ],
        [
          330,
          707,
          349,
          617
        ],
        [
          313,
          744,
          354,
          706
        ],
        [
          318,
          656,
          363,
          492
        ],
        [
          360,
          1028,
          366,
          426
        ],
        [
          321,
          931,
          367,
          419
        ],
        [
          364,
          876,
          369,
          600
        ],
        [
          372,
          833,
          374,
          637
        ],
        [
          359,
          927,
          383,
          528
        ],
        [
          350,
          618,
          390,
          490
        ],
        [
          375,
          974,
          395,
          945
        ],
        [
          401,
          458,
          711
        ],
        [
          391,
          652,
          415,
          461
        ],
        [
          386,
          573,
          416,
          540
        ],
        [
          387,
          688,
          417,
          683
        ],
        [
          377,
          646,
          423,
          513
        ],
        [
          382,
          690,
          425,
          530
        ],
        [
          409,
          533,
          430,
          526
        ],
        [
          378,
          941,
          431,
          523
        ],
        [
          402,
          886,
          436,
          724
        ],
        [
          427,
          727,
          438,
          613
        ],
        [
          373,
          1010,
          440,
          879
        ],
        [
          429,
          1024,
          441,
          594
        ],
        [
          422,
          970,
          447,
          576
        ],
        [
          443,
          792,
          452,
          671
        ],
        [
          446,
          870,
          459,
          756
        ],
        [
          460,
          989,
          462,
          868
        ],
        [
          439,
          867,
          470,
          589
        ],
        [
          465,
          983,
          477,
          550
        ],
        [
          442,
          972,
          479,
          531
        ],
        [
          471,
          905,
          480,
          738
        ],
        [
          450,
          906,
          482,
          889
        ],
        [
          483,
          626,
          812
        ],
        [
          428,
          856,
          486,
          801
        ],
        [
          449,
          649,
          501,
          597
        ],
        [
          496,
          923,
          503,
          736
        ],
        [
          473,
          955,
          504,
          517
        ],
        [
          478,
          887,
          505,
          783
        ],
        [
          509,
          1035,
          511,
          831
        ],
        [
          493,
          963,
          521,
          951
        ],
        [
          502,
          815,
          525,
          689
        ],
        [
          400,
          873,
          529,
          633
        ],
        [
          514,
          918,
          532,
          731
        ],
        [
          488,
          1018,
          535,
          915
        ],
        [
          512,
          882,
          536,
          759
        ],
        [
          481,
          948,
          537,
          586
        ],
        [
          522,
          992,
          555,
          808
        ],
        [
          543,
          782,
          564,
          771
        ],
        [
          545,
          928,
          566,
          698
        ],
        [
          538,
          1023,
          574,
          590
        ],
        [
          572,
          1055,
          577,
          865
        ],
        [
          464,
          944,
          583,
          773
        ],
        [
          579,
          730,
          584,
          704
        ],
        [
          484,
          947,
          609,
          835
        ],
        [
          508,
          958,
          610,
          862
        ],
        [
          622,
          1031,
          623,
          827
        ],
        [
          549,
          818,
          634,
          739
        ],
        [
          519,
          997,
          643,
          864
        ],
        [
          644,
          1047,
          648,
          788
        ],
        [
          640,
          975,
          653,
          956
        ],
        [
          500,
          926,
          654,
          836
        ],
        [
          491,
          880,
          657,
          765
        ],
        [
          593,
          1042,
          664,
          682
        ],
        [
          625,
          981,
          696,
          743
        ],
        [
          668,
          1029,
          697,
          1025
        ],
        [
          558,
          959,
          699,
          719
        ],
        [
          619,
          884,
          715,
          819
        ],
        [
          616,
          912,
          721,
          897
        ],
        [
          710,
          1000,
          776,
          803
        ],
        [
          621,
          1046,
          777,
          936
        ],
        [
          661,
          1008,
          784,
          821
        ],
        [
          722,
          1052,
          786,
          875
        ],
        [
          789,
          953,
          1037
        ],
        [
          794,
          900,
          805,
          843
        ],
        [
          658,
          877,
          809,
          816
        ],
        [
          672,
          1049,
          824,
          933
        ],
        [
          742,
          1007,
          825,
          961
        ],
        [
          780,
          978,
          830,
          911
        ],
        [
          571,
          924,
          871,
          892
        ],
        [
          692,
          1054,
          935,
          1006
        ]
      ],
      "remaining_indices": [
        551,
        581,
        582,
        602,
        615,
        620,
        627,
        629,
        638,
        655,
        659,
        666,
        670,
        673,
        677,
        685,
        686,
        693,
        703,
        705,
        713,
        714,
        716,
        720,
        726,
        728,
        729,
        732,
        740,
        754,
        758,
        762,
        764,
        767,
        779,
        787,
        798,
        811,
        822,
        829,
        834,
        838,
        840,
        841,
        842,
        844,
        845,
        849,
        852,
        853,
        854,
        858,
        860,
        872,
        881,
        883,
        885,
        891,
        895,
        899,
        902,
        916,
        919,
        932,
        934,
        943,
        957,
        960,
        962,
        965,
        966,
        968,
        973,
        976,
        980,
        986,
        990,
        993,
        994,
        995,
        996,
        1001,
        1005,
        1012,
        1019,
        1026,
        1027,
        1044,
        1050,
        1053
      ],
      "remaining_triples": 89,
      "columns": [
        1,
        2,
        4,
        8,
        16,
        32,
        64,
        128,
        256,
        512,
        1024,
        2048,
        4096,
        8192,
        16384,
        32768,
        65536,
        131072,
        262144,
        524288,
        1048576,
        2097152,
        4194304,
        8388608,
        16777216,
        33554432,
        67108864,
        134217728,
        268435456,
        536870912,
        1073741824,
        2147483648,
        2099208,
        33587202,
        264200,
        17041408,
        8384,
        65536,
        67117120,
        528392,
        33556481,
        135267328,
        67113088,
        2147484928,
        2147500064,
        545261568,
        1207992320,
        67371040,
        1207959808,
        33296,
        17826048,
        2282225664,
        19922944,
        8389124,
        262164,
        69214208,
        67840,
        1073742208,
        33559040,
        134219808,
        67109008,
        536903744,
        34619392,
        1049856,
        23068672,
        1074003968,
        536936576,
        1572896,
        10248,
        1052673,
        67112960,
        397312,
        276824096,
        537526272,
        671350784,
        2701131776,
        2147485184,
        138412032,
        100663328,
        403177472,
        4460544,
        2181038592,
        524300,
        208,
        295040,
        16909312,
        10485768,
        1050628,
        1073741952,
        1082130448,
        100728832,
        10616832,
        1073741953,
        289406976,
        268566560,
        2097157,
        73792,
        4198464,
        5242880,
        4198464,
        73,
        262148,
        16810240,
        2415919104,
        603996160,
        40976,
        132224,
        71303169,
        58720256,
        134217738,
        537134080,
        41943168,
        1074003970,
        538972160,
        8652800,
        262178,
        536870952,
        8389136,
        1048584,
        2147500032,
        16785416,
        16778496,
        16777984,
        2147747840,
        285212928,
        536907776,
        200,
        1073741888,
        4132,
        152,
        2147491856,
        2147745800,
        2701131776,
        832,
        67109952,
        606076928,
        2097192,
        2260992,
        536879616,
        25296896,
        9438208,
        805306432,
        2147483672,
        553779200,
        67117568,
        2320,
        1664,
        2179072,
        50348032,
        671088672,
        176160768,
        4194568,
        1073741844,
        149504,
        18874880,
        537921536,
        33818624,
        131344,
        2149613568,
        2170880,
        201326596,
        263169,
        1282,
        2121728,
        2147491904,
        1075843072,
        67585,
        131344,
        1073774593,
        536872064,
        9439232,
        9344,
        1052680,
        1050640,
        1073741830,
        8288,
        671088641,
        3145760,
        2147615744,
        268566530,
        537001986,
        16386,
        66048,
        139272,
        33554464,
        262273,
        397312,
        268697856,
        264224,
        805310464,
        540680,
        538968066,
        262145,
        268963840,
        3104,
        272695296,
        20544,
        135270400,
        1074003968,
        1090650112,
        67113984,
        139520,
        2181042176,
        102760448,
        524416,
        4261888,
        513,
        2129936,
        33718272,
        33536,
        328192,
        1342177344,
        148,
        33408,
        50331649,
        276824320,
        33587232,
        524291,
        33554960,
        1614807040,
        24832,
        16842784,
        136318976,
        167774208,
        2147500033,
        8520704,
        3145729,
        16644,
        553648130,
        13107200,
        16778752,
        33556484,
        2149646336,
        545259776,
        2147516416,
        1610645504,
        536875072,
        1048642,
        1073778688,
        8388866,
        1052672,
        75501568,
        1082130560,
        2147491904,
        33563648,
        33554976,
        1573120,
        138543104,
        1073744384,
        2147493888,
        16777856,
        4227328,
        2113568,
        537919490,
        1180160,
        545261568,
        1073745922,
        2415919112,
        71303168,
        136314880,
        4194440,
        525313,
        536871184,
        536870945,
        2102272,
        134221828,
        1073759232,
        8523776,
        1074267136,
        67176448,
        8389634,
        134483968,
        2195456,
        2155872320,
        1065088,
        150994945,
        2147491841,
        1049216,
        4734976,
        8486912,
        262156,
        134217984,
        2181038082,
        8576,
        2147485824,
        1094713344,
        86016,
        537133088,
        268959760,
        134742032,
        537067520,
        4194314,
        3221225480,
        4206592,
        553648160,
        12800,
        2684355072,
        537919488,
        16793608,
        268440064,
        268960768,
        35659776,
        6291712,
        8388613,
        276824072,
        529408,
        2155888640,
        524308,
        2359328,
        524360,
        134365184,
        17826048,
        8388738,
        20971536,
        17104896,
        33624064,
        2637824,
        4194376,
        394240,
        524320,
        1073774656,
        16781344,
        805568512,
        33554468,
        262145,
        2099328,
        1026,
        33636352,
        71303169,
        131840,
        2281701378,
        536952832,
        2164260864,
        1589248,
        134750208,
        385,
        139520,
        67111424,
        335609856,
        69648,
        2097281,
        2164326400,
        10485888,
        8650754,
        302120960,
        536871944,
        67125760,
        276825088,
        4849664,
        2162689,
        141312,
        67141696,
        2155872256,
        67600,
        603981824,
        805830656,
        131330,
        2164260865,
        513,
        8705,
        1081408,
        139268,
        136314896,
        17424,
        134480384,
        8384,
        1073741890,
        8388648,
        1116160,
        335544832,
        2684355584,
        151011328,
        2164269056,
        8390664,
        16973824,
        1568,
        561152,
        2214723584,
        1034,
        584,
        2097424,
        262209,
        266242,
        4196353,
        16464,
        268959752,
        4200448,
        66080,
        65608,
        134348800,
        164096,
        100671488,
        112,
        5242882,
        553664512,
        17047552,
        134742016,
        1073743874,
        82176,
        659456,
        33571072,
        5242884,
        603979904,
        4194337,
        296960,
        33554960,
        49152,
        2147762176,
        640,
        402653248,
        2097296,
        5244928,
        131584,
        65536,
        8421376,
        13,
        16812032,
        1081348,
        4194316,
        17305600,
        201326656,
        1049600,
        4259968,
        2164260868,
        2138112,
        263424,
        34818,
        16424,
        786436,
        2281717760,
        33555008,
        76,
        37765120,
        2147484928,
        2621504,
        553650176,
        268468228,
        71303168,
        33554561,
        546308096,
        8429568,
        2147502080,
        194,
        553648640,
        2214854656,
        268443656,
        270536704,
        1107304448,
        1120,
        530432,
        327744,
        2050,
        134348864,
        67240000,
        2097288,
        28672,
        637534208,
        2147484672,
        1064964,
        539000832,
        1343225856,
        33554441,
        268502016,
        10485888,
        67117058,
        33028,
        138412048,
        1120,
        1310720,
        8912928,
        537198592,
        2148597760,
        33556608,
        33566720,
        16842880,
        20736,
        4292608,
        2147549192,
        1048960,
        268435744,
        1118208,
        671088896,
        1048672,
        4718656,
        270532672,
        2162720,
        67108876,
        8388620,
        4194321,
        8912898,
        526592,
        2144,
        1441792,
        8454656,
        16777264,
        2130176,
        2688,
        1312768,
        603980032,
        1342177280,
        2097161,
        20484,
        16908416,
        67108929,
        33558529,
        68161536,
        1073750048,
        553650176,
        33587264,
        528512,
        67118080,
        589825,
        537411584,
        67240192,
        276824066,
        302006272,
        553664512,
        268443776,
        268438016,
        2098432,
        2129920,
        66049,
        1073152,
        8388614,
        131330,
        1207959680,
        167772416,
        2097409,
        33564672,
        8421408,
        1058,
        268435714,
        402653312,
        268436224,
        17920,
        1048593,
        2148040704,
        536903682,
        134348802,
        134220032,
        16781824,
        2056,
        1207959584,
        65560,
        4202752,
        1140850816,
        2415919108,
        41943552,
        16464,
        100665344,
        98308,
        268436488,
        16777473,
        33556992,
        1078984704,
        24608,
        525376,
        17039872,
        9728,
        73792,
        1078460416,
        2134016,
        32802,
        1116160,
        16777288,
        75563008,
        67149824,
        134218000,
        1073743874,
        135266304,
        1073742208,
        772,
        536875264,
        4227584,
        131585,
        656384,
        1078001664,
        541065232,
        9232,
        1074266144,
        3221229568,
        1048600,
        33554448,
        33556482,
        1073758240,
        8486912,
        34048,
        5184,
        659456,
        8454145,
        134742017,
        67110912,
        570425472,
        1073775104,
        536905728,
        8650760,
        71303168,
        2054,
        67112968,
        8197,
        202375168,
        71335936,
        270338,
        4210689,
        9453568,
        2166784,
        536903680,
        268437505,
        4288,
        2147500544,
        151552,
        1048576,
        536871042,
        168,
        268468288,
        83886084,
        2185232384,
        2149580802,
        565248,
        136314884,
        2155880448,
        201330688,
        75628544,
        16809992,
        2099328,
        4195329,
        4720640,
        82,
        135266320,
        657408,
        1207959553,
        2147516416,
        264,
        33554720,
        6307840,
        100696064,
        4608,
        1073881088,
        8449,
        2155874304,
        65665,
        1573888,
        1342181376,
        18448,
        663552,
        70,
        16777476,
        134220288,
        134218272,
        540674,
        33554498,
        2164523008,
        67117060,
        537002000,
        161,
        268468240,
        1064976,
        134219840,
        2281701632,
        2147491848,
        8652800,
        1073807424,
        1056832,
        2415919112,
        1073815552,
        1090650112,
        67141634,
        1342177288,
        2684420096,
        64,
        16795648,
        150995456,
        738197504,
        4194434,
        69206024,
        135266336,
        134219776,
        536870921,
        16842752,
        151003136,
        134742018,
        2164262912,
        197120,
        33312,
        4194316,
        67109128,
        26214400,
        2084,
        1114116,
        687865856,
        4384,
        8576,
        3145792,
        67109890,
        2359298,
        134750208,
        1073873408,
        2148008960,
        16785536,
        67126272,
        2097168,
        5136,
        537004032,
        1074069504,
        67635200,
        12582944,
        83886096,
        134283265,
        134234114,
        19398656,
        33555584,
        4210688,
        1048848,
        69634,
        65672,
        4194433,
        136314881,
        2097412,
        134356992,
        1140867072,
        4225,
        33554437,
        570433536,
        67141696,
        268435588,
        16777600,
        1090535424,
        33570817,
        2151678976,
        263170,
        67127296,
        402653186,
        1078198272,
        142610432,
        65856,
        268959744,
        67109504,
        34078720,
        2153775104,
        69222400,
        142606340,
        25182208,
        1090519044,
        4326400,
        541067264,
        19398656,
        536871200,
        262660,
        16777730,
        50364416,
        268566656,
        2320,
        134220032,
        98304,
        33554450,
        2130944,
        536903712,
        805310464,
        167772672,
        536887312,
        41943168,
        537018368,
        524368,
        2098176,
        2098178,
        1072,
        8397056,
        4718596,
        1074004000,
        1048584,
        2147487760,
        8454160,
        10242,
        100663424,
        1073744128,
        33589248,
        328704,
        67387392,
        257,
        67108881,
        1879048192,
        18890752,
        25165888,
        67111168,
        2149056512,
        1049600,
        578813952,
        268570624,
        134349312,
        1075839488,
        2147483780,
        5242880,
        537002048,
        5242882,
        524420,
        17825793,
        536879616,
        1114112,
        4198404,
        268437505,
        16842756,
        851968,
        403177472,
        2162816,
        1073745924,
        16514,
        263200,
        135232,
        1179712,
        2147517440,
        537002016,
        1073741827,
        2112,
        514,
        33570848,
        1610743808,
        1408,
        2147518464,
        37750784,
        4194309,
        262912,
        1074855936,
        536873984,
        536887300,
        603980800,
        35651588,
        33589248,
        16941056,
        67112968,
        1114113,
        1342308352,
        8454272,
        2097664,
        3221291008,
        17825824,
        2147484224,
        131112,
        2148536320,
        18874496,
        268435584,
        134350848,
        2147745794,
        71319552,
        671744,
        196612,
        69208064,
        1049856,
        2080,
        536871168,
        2097158,
        268435460,
        134234114,
        1048656,
        270008320,
        20496,
        70254592,
        67174408,
        41943042,
        66816,
        2157969408,
        67633184,
        16842756,
        167936,
        16809985,
        18688,
        4260096,
        1610612864,
        1310721,
        66576,
        1040,
        268439584,
        209715200,
        268435976,
        8437760,
        2147518464,
        268443652,
        269746176,
        134250624,
        50364416,
        40964,
        134218768,
        570949632,
        2147516432,
        2684354688,
        136315008,
        524448,
        604012544,
        6272,
        33620480,
        270368,
        520,
        528385,
        201327104,
        67121152,
        1327104,
        136577024,
        16416,
        2151940096,
        2101760,
        1224736768,
        131078,
        2155874304,
        134742080,
        526337,
        4211200,
        6295552,
        1122304,
        2240,
        536888320,
        138412048,
        2157969408,
        131090,
        262149,
        1050632,
        8389632,
        71303184,
        33824,
        1073774720,
        276824192,
        133121,
        33816578,
        8393728,
        44,
        2113,
        8388868,
        134219792,
        2228352,
        37749248,
        1090551808,
        201326656,
        1073744128,
        8912904,
        10518528,
        672137216,
        1074006016,
        541065280,
        1208221696,
        2147491841,
        268436096,
        67129344,
        603979776,
        8389696,
        268436032,
        8396864,
        10368,
        8736,
        257,
        270548992,
        134218754,
        671088641,
        2818572288,
        2148007937,
        4849664,
        1074790400,
        2147500033,
        268435585,
        536871041,
        5152,
        33570880,
        1073750528,
        3200,
        35651585,
        134742528,
        2156396544,
        553649152,
        8388618,
        68681728,
        134219792,
        805339136,
        1073741856,
        33562752,
        35652608,
        224,
        67371264,
        17040384,
        196624,
        16777480,
        68157444,
        536870930,
        393218,
        2147483713,
        1073742337,
        67113088,
        2147483912,
        33624064,
        538969088,
        16768,
        536887300,
        9248,
        1074790416,
        16928,
        42467328,
        131168,
        134234368,
        409600,
        268452864,
        196672,
        2098192,
        33793,
        2148536320,
        35913728,
        25165825,
        69648,
        4194568,
        134219808,
        134348801,
        539099136,
        1090519041,
        2148008000,
        201359360,
        2060,
        8413184,
        557842432,
        75563008,
        134217738,
        2147749888,
        65538,
        135232,
        68157456,
        16810000,
        2164260865,
        2281701408,
        41951232,
        524802,
        671121408,
        2163712,
        4194340,
        49156,
        1074792448,
        539492352,
        2181038080,
        75497480,
        92274688,
        2097408,
        2147491872,
        8392705,
        339738624,
        3146240,
        16392,
        262912,
        2164262912,
        2097296,
        172032,
        41943042,
        35782656,
        2155888640,
        1073762304,
        532512,
        65536,
        537920512,
        8960,
        416,
        276824068,
        4456512,
        5373952,
        69648
      ]
    }
  ]
}