{
 "K": 300,
 "survivors": [
  2,
  4,
  6,
  10,
  12,
  16,
  18,
  22,
  28,
  30,
  36,
  40,
  42,
  46,
  52,
  58,
  60,
  66,
  70,
  72,
  78,
  82,
  88,
  96,
  100,
  102,
  106,
  108,
  112,
  126,
  130,
  136,
  138,
  148,
  150,
  156,
  162,
  166,
  172,
  178,
  180,
  190,
  192,
  196,
  198,
  210,
  222,
  226,
  228,
  232,
  238,
  240,
  250,
  256,
  262,
  268,
  270,
  276,
  280,
  282,
  292
 ],
 "mismatches": [],
 "table": [
  {
   "k": 2,
   "k_plus_1": 3,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 3,
   "k_plus_1": 4,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 1,
   "first_failing_lambda": "5/2"
  },
  {
   "k": 4,
   "k_plus_1": 5,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 5,
   "k_plus_1": 6,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "28/3"
  },
  {
   "k": 6,
   "k_plus_1": 7,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 7,
   "k_plus_1": 8,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 1,
   "first_failing_lambda": "1287/6"
  },
  {
   "k": 8,
   "k_plus_1": 9,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "2002/6"
  },
  {
   "k": 9,
   "k_plus_1": 10,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "3003/6"
  },
  {
   "k": 10,
   "k_plus_1": 11,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 11,
   "k_plus_1": 12,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "125970/9"
  },
  {
   "k": 12,
   "k_plus_1": 13,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 13,
   "k_plus_1": 14,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "38760/7"
  },
  {
   "k": 14,
   "k_plus_1": 15,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "7726160/12"
  },
  {
   "k": 15,
   "k_plus_1": 16,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 1,
   "first_failing_lambda": "67863915/14"
  },
  {
   "k": 16,
   "k_plus_1": 17,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 17,
   "k_plus_1": 18,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "206253075/14"
  },
  {
   "k": 18,
   "k_plus_1": 19,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 19,
   "k_plus_1": 20,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "3247943160/16"
  },
  {
   "k": 20,
   "k_plus_1": 21,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "927983760/14"
  },
  {
   "k": 21,
   "k_plus_1": 22,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 10,
   "first_failing_lambda": "64512240/11"
  },
  {
   "k": 22,
   "k_plus_1": 23,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 23,
   "k_plus_1": 24,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "800472431850/20"
  },
  {
   "k": 24,
   "k_plus_1": 25,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1408831480056/20"
  },
  {
   "k": 25,
   "k_plus_1": 26,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 12,
   "first_failing_lambda": "2707475148/13"
  },
  {
   "k": 26,
   "k_plus_1": 27,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "108043253365600/24"
  },
  {
   "k": 27,
   "k_plus_1": 28,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "16735679449896/21"
  },
  {
   "k": 28,
   "k_plus_1": 29,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 29,
   "k_plus_1": 30,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "6646448384109072/27"
  },
  {
   "k": 30,
   "k_plus_1": 31,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 31,
   "k_plus_1": 32,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 1,
   "first_failing_lambda": "218169540588403635/30"
  },
  {
   "k": 32,
   "k_plus_1": 33,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "409894288378212890/30"
  },
  {
   "k": 33,
   "k_plus_1": 34,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "759510004936100355/30"
  },
  {
   "k": 34,
   "k_plus_1": 35,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1388818294740297792/30"
  },
  {
   "k": 35,
   "k_plus_1": 36,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "25336755980333275478/33"
  },
  {
   "k": 36,
   "k_plus_1": 37,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 37,
   "k_plus_1": 38,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 11,
   "first_failing_lambda": "244382877832924467/26"
  },
  {
   "k": 38,
   "k_plus_1": 39,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "1569396701548619508432/36"
  },
  {
   "k": 39,
   "k_plus_1": 40,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "2942618815403661578310/36"
  },
  {
   "k": 40,
   "k_plus_1": 41,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 41,
   "k_plus_1": 42,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "97393290141698278327600/39"
  },
  {
   "k": 42,
   "k_plus_1": 43,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 43,
   "k_plus_1": 44,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "32569098664192653645810/36"
  },
  {
   "k": 44,
   "k_plus_1": 45,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 8,
   "first_failing_lambda": "57900619847453606481440/36"
  },
  {
   "k": 45,
   "k_plus_1": 46,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 22,
   "first_failing_lambda": "400978991944396320/23"
  },
  {
   "k": 46,
   "k_plus_1": 47,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 47,
   "k_plus_1": 48,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "180269279675371701169705350/44"
  },
  {
   "k": 48,
   "k_plus_1": 49,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "73013303228015539877211900/42"
  },
  {
   "k": 49,
   "k_plus_1": 50,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1344935917892700796563561258/45"
  },
  {
   "k": 50,
   "k_plus_1": 51,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 16,
   "first_failing_lambda": "246066921933574690893672/34"
  },
  {
   "k": 51,
   "k_plus_1": 52,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "2119846205426655101672581470/44"
  },
  {
   "k": 52,
   "k_plus_1": 53,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 53,
   "k_plus_1": 54,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 8,
   "first_failing_lambda": "15362117803534044899180148240/45"
  },
  {
   "k": 54,
   "k_plus_1": 55,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1333552706063787946460903892960/50"
  },
  {
   "k": 55,
   "k_plus_1": 56,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "1166858617805814453153290906340/49"
  },
  {
   "k": 56,
   "k_plus_1": 57,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 18,
   "first_failing_lambda": "194937478788574958222679204/38"
  },
  {
   "k": 57,
   "k_plus_1": 58,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 28,
   "first_failing_lambda": "33805622655676055586120/29"
  },
  {
   "k": 58,
   "k_plus_1": 59,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 59,
   "k_plus_1": 60,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1324186238286834180878330786278896/55"
  },
  {
   "k": 60,
   "k_plus_1": 61,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 61,
   "k_plus_1": 62,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 30,
   "first_failing_lambda": "1490076484021440823251744/31"
  },
  {
   "k": 62,
   "k_plus_1": 63,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "18610069940563934749328380328463168/56"
  },
  {
   "k": 63,
   "k_plus_1": 64,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 1,
   "first_failing_lambda": "2923171367321931373425996933337783875/62"
  },
  {
   "k": 64,
   "k_plus_1": 65,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1316776271310556163290972157048158644/60"
  },
  {
   "k": 65,
   "k_plus_1": 66,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "10903633617688938423674313036659957475/62"
  },
  {
   "k": 66,
   "k_plus_1": 67,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 67,
   "k_plus_1": 68,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "172293789645374271893931539237738556000/64"
  },
  {
   "k": 68,
   "k_plus_1": 69,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 22,
   "first_failing_lambda": "124257635272670198182073554444920/46"
  },
  {
   "k": 69,
   "k_plus_1": 70,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "296644959563340050739116911035410731200/63"
  },
  {
   "k": 70,
   "k_plus_1": 71,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 71,
   "k_plus_1": 72,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "43056337032694197313463949273448312661550/68"
  },
  {
   "k": 72,
   "k_plus_1": 73,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 73,
   "k_plus_1": 74,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 19,
   "first_failing_lambda": "2130469893556342356604878370346065875/54"
  },
  {
   "k": 74,
   "k_plus_1": 75,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 24,
   "first_failing_lambda": "99804299915412325550957891670995004/50"
  },
  {
   "k": 75,
   "k_plus_1": 76,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "560504591573408043693229517037442336643130/68"
  },
  {
   "k": 76,
   "k_plus_1": 77,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "4729484387129524011685921098355593423483600/70"
  },
  {
   "k": 77,
   "k_plus_1": 78,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 12,
   "first_failing_lambda": "187581456720371323313917970237305876898550/65"
  },
  {
   "k": 78,
   "k_plus_1": 79,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 79,
   "k_plus_1": 80,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "2697232285091799668163167304083726066928699570/76"
  },
  {
   "k": 80,
   "k_plus_1": 81,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "22019646916073855684411074805354593924483764460/78"
  },
  {
   "k": 81,
   "k_plus_1": 82,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 35,
   "first_failing_lambda": "52979965239460496698782280630068475/46"
  },
  {
   "k": 82,
   "k_plus_1": 83,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 83,
   "k_plus_1": 84,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "1385852115163412282575128610952330770677902239140/81"
  },
  {
   "k": 84,
   "k_plus_1": 85,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 16,
   "first_failing_lambda": "127632729221304723000989336129082636533767600/68"
  },
  {
   "k": 85,
   "k_plus_1": 86,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 42,
   "first_failing_lambda": "11328711813884840440197243767409600/43"
  },
  {
   "k": 86,
   "k_plus_1": 87,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "87268338377759025159166456763568067991758141474400/84"
  },
  {
   "k": 87,
   "k_plus_1": 88,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "9061416183914362775967667190155317143434314324600/80"
  },
  {
   "k": 88,
   "k_plus_1": 89,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 89,
   "k_plus_1": 90,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "5498136033828898582450247295488168503092109266202400/87"
  },
  {
   "k": 90,
   "k_plus_1": 91,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 12,
   "first_failing_lambda": "12869247254458151178452956548714967268877498096960/78"
  },
  {
   "k": 91,
   "k_plus_1": 92,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 22,
   "first_failing_lambda": "15283869684079017939822126024370398789700434000/69"
  },
  {
   "k": 92,
   "k_plus_1": 93,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "346561367667236541651314201730449811667196983434354000/90"
  },
  {
   "k": 93,
   "k_plus_1": 94,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 46,
   "first_failing_lambda": "22499065708789753140847816696585608000/47"
  },
  {
   "k": 94,
   "k_plus_1": 95,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 18,
   "first_failing_lambda": "28318539652437375407563103664103068387378761267520/76"
  },
  {
   "k": 95,
   "k_plus_1": 96,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "21854394026239887283194392908775349088759447853146907950/93"
  },
  {
   "k": 96,
   "k_plus_1": 97,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 97,
   "k_plus_1": 98,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "19247316093801844764875179616270484175372827417057217900/91"
  },
  {
   "k": 98,
   "k_plus_1": 99,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 8,
   "first_failing_lambda": "17497560085274404331704708742064076523066206742779289000/90"
  },
  {
   "k": 99,
   "k_plus_1": 100,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "146535335883371107660976280057578154697401379083567784110/92"
  },
  {
   "k": 100,
   "k_plus_1": 101,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 101,
   "k_plus_1": 102,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 14,
   "first_failing_lambda": "11573051330949926927930771948653260257807167749196197880/87"
  },
  {
   "k": 102,
   "k_plus_1": 103,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 103,
   "k_plus_1": 104,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "37064953788465501504341063564833970064027398255721325958160/96"
  },
  {
   "k": 104,
   "k_plus_1": 105,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "307828353321730545753406942983838335080109725081573653361400/98"
  },
  {
   "k": 105,
   "k_plus_1": 106,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 52,
   "first_failing_lambda": "2004471163823728903244710940913930635572620/53"
  },
  {
   "k": 106,
   "k_plus_1": 107,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 107,
   "k_plus_1": 108,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "346981807583172071866857329674635977095997084740234528507069400/105"
  },
  {
   "k": 108,
   "k_plus_1": 109,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 109,
   "k_plus_1": 110,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 91,
   "first_failing_lambda": "533290643186622881175/18"
  },
  {
   "k": 110,
   "k_plus_1": 111,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "21922365615750582881035078894558001392437481345853610742827026880/108"
  },
  {
   "k": 111,
   "k_plus_1": 112,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "4927562125057665340483366238335455302836041809403240069543453900/105"
  },
  {
   "k": 112,
   "k_plus_1": 113,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 113,
   "k_plus_1": 114,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "1385504962463536666394360047861637462540986597208141055814005238720/111"
  },
  {
   "k": 114,
   "k_plus_1": 115,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 22,
   "first_failing_lambda": "1416010226423592571650945685523634887119814799093087491149600/92"
  },
  {
   "k": 115,
   "k_plus_1": 116,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 28,
   "first_failing_lambda": "38952644473550273071068429876411775483182971867215975227600/87"
  },
  {
   "k": 116,
   "k_plus_1": 117,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "87591493041686200243129458140358148055294159551295608337464619338000/114"
  },
  {
   "k": 117,
   "k_plus_1": 118,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 58,
   "first_failing_lambda": "179727855717616482259549350628606372172194632000/59"
  },
  {
   "k": 118,
   "k_plus_1": 119,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "78945872093404112681743798762595977908261136823899531343038899184000/112"
  },
  {
   "k": 119,
   "k_plus_1": 120,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "5539143826739640507901697248953851555292270835841111734575766521643800/117"
  },
  {
   "k": 120,
   "k_plus_1": 121,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 10,
   "first_failing_lambda": "66386301533089822027830012595819345059219592329188242265737256132000/110"
  },
  {
   "k": 121,
   "k_plus_1": 122,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 60,
   "first_failing_lambda": "8053923312542633627952493642515079323029745493200/61"
  },
  {
   "k": 122,
   "k_plus_1": 123,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "350384070300032932301996318240119006901251057988143998573525465009584000/120"
  },
  {
   "k": 123,
   "k_plus_1": 124,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 30,
   "first_failing_lambda": "534879144376959732085195006263620000961535631023714016490396000/93"
  },
  {
   "k": 124,
   "k_plus_1": 125,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1340320793305132427229030045231815235947675982595679610543320765893435776/120"
  },
  {
   "k": 125,
   "k_plus_1": 126,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "1265858527010402847938528376052269945061693983562586298846469612232689344/119"
  },
  {
   "k": 126,
   "k_plus_1": 127,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 127,
   "k_plus_1": 128,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 1,
   "first_failing_lambda": "712599031131960782940498326559458968485555563185167074616336281838558198627/126"
  },
  {
   "k": 128,
   "k_plus_1": 129,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 14,
   "first_failing_lambda": "213753985273337426164537158679590875942822319202387463848686271255443830/114"
  },
  {
   "k": 129,
   "k_plus_1": 130,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "2752238476232385206383785128876336159141886334377058522534293439158223883427/126"
  },
  {
   "k": 130,
   "k_plus_1": 131,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 131,
   "k_plus_1": 132,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "43727951004423511761535164106907229194387283647731549429877726020955893063872/128"
  },
  {
   "k": 132,
   "k_plus_1": 133,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 18,
   "first_failing_lambda": "2554884619328731317732569164440669530625186212827675200511748150213893290/114"
  },
  {
   "k": 133,
   "k_plus_1": 134,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 11,
   "first_failing_lambda": "2077213019907996983939463945945521593270027483113991194037310440715035435875/122"
  },
  {
   "k": 134,
   "k_plus_1": 135,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1358764094140039721121736390225055971356221911368565605633513461001117111227952/130"
  },
  {
   "k": 135,
   "k_plus_1": 136,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "11041530528269180591551073324427239204768540825939881440829072895674439121495102/132"
  },
  {
   "k": 136,
   "k_plus_1": 137,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 137,
   "k_plus_1": 138,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 19,
   "first_failing_lambda": "1220124901487621017177460791644457968434278164646796219185285266921171007875/118"
  },
  {
   "k": 138,
   "k_plus_1": 139,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 139,
   "k_plus_1": 140,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1369174053586042405982184759180452613455472566797615697663665107781797652253059608/135"
  },
  {
   "k": 140,
   "k_plus_1": 141,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 38,
   "first_failing_lambda": "13260105650764413470935598161166767713810768513261553037316500060731832/102"
  },
  {
   "k": 141,
   "k_plus_1": 142,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 27,
   "first_failing_lambda": "557186442258835940680274942680326641488055853913179143075507710878762247875/114"
  },
  {
   "k": 142,
   "k_plus_1": 143,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 10,
   "first_failing_lambda": "1124981903737140580411447259312326893202251312116691960248119663027002501484706592/132"
  },
  {
   "k": 143,
   "k_plus_1": 144,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "704751457077537324270653523574415447824331954903225976822818172704387131964047678650/140"
  },
  {
   "k": 144,
   "k_plus_1": 145,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 14,
   "first_failing_lambda": "917549895624688892931367185157515660499728919796324908190875376501429722235850252/130"
  },
  {
   "k": 145,
   "k_plus_1": 146,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 35,
   "first_failing_lambda": "197511907338509398591252822056188847503493461677470706980013858196634505875/110"
  },
  {
   "k": 146,
   "k_plus_1": 147,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "5242362192569635221697201826696220519736184412849010961254736110664309659058874053400/140"
  },
  {
   "k": 147,
   "k_plus_1": 148,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "10165932089645171004237141380147400602461384638430176661352089620004438325337140900850/140"
  },
  {
   "k": 148,
   "k_plus_1": 149,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 149,
   "k_plus_1": 150,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1392242137910725382129836390265593798190716339996607364515479402032205352641471452137172/145"
  },
  {
   "k": 150,
   "k_plus_1": 151,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 151,
   "k_plus_1": 152,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "2576788341689073467796943615305089950642280852346456990441685473959919979967310355820280/144"
  },
  {
   "k": 152,
   "k_plus_1": 153,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 16,
   "first_failing_lambda": "13332253434456376933261995935293512924231645447151534563016938032655108976130854769472/136"
  },
  {
   "k": 153,
   "k_plus_1": 154,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "84302433763329008196182970494990757264508945339584301534659371978032387198040171312256600/147"
  },
  {
   "k": 154,
   "k_plus_1": 155,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1404859027574226763777265742725048544524779795430234058277079274909267425926683962905869120/150"
  },
  {
   "k": 155,
   "k_plus_1": 156,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 23,
   "first_failing_lambda": "3948191366795045247218328355837928493923747980976404349888468234081099657245947143658/132"
  },
  {
   "k": 156,
   "k_plus_1": 157,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 157,
   "k_plus_1": 158,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 59,
   "first_failing_lambda": "1879635149558378320212067273997832061952374424294178727008683679105733875/98"
  },
  {
   "k": 158,
   "k_plus_1": 159,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 52,
   "first_failing_lambda": "5706911467078016779905504612460358816835347136665187556873660692516429553920/106"
  },
  {
   "k": 159,
   "k_plus_1": 160,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "2882097782571925819945210227624687670062037011670832618734784364010804374001420852042720701642/156"
  },
  {
   "k": 160,
   "k_plus_1": 161,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "1356515312432058943549091356273317454094071250489653447879311895276306820613505190540466196356/154"
  },
  {
   "k": 161,
   "k_plus_1": 162,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 8,
   "first_failing_lambda": "1281153350630277891129697392035910928866622847684672700774905678872067552801643791065995852114/153"
  },
  {
   "k": 162,
   "k_plus_1": 163,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 163,
   "k_plus_1": 164,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "42004954260220373080719928402534502563415775755110499776182507033946505236489233730638503043642/156"
  },
  {
   "k": 164,
   "k_plus_1": 165,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1432176439169270902903930201349592521755974025123444257196094936061669202237685191638042951582336/160"
  },
  {
   "k": 165,
   "k_plus_1": 166,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 75,
   "first_failing_lambda": "22544529672590237386223937818418219527314684820248757930776285279978875/90"
  },
  {
   "k": 166,
   "k_plus_1": 167,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 167,
   "k_plus_1": 168,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 6,
   "first_failing_lambda": "21840634883824206886838795779738800327554543675388469164321543524226973693069415991024159450086820/161"
  },
  {
   "k": 168,
   "k_plus_1": 169,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 12,
   "first_failing_lambda": "1119578220347713782438858794929761966148580366425906262570253368500793361776891404402888977702336/156"
  },
  {
   "k": 169,
   "k_plus_1": 170,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 14,
   "first_failing_lambda": "1020791906787621389870724195377135910311940922329502768814054541868370418090695104014398773787424/155"
  },
  {
   "k": 170,
   "k_plus_1": 171,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 8,
   "first_failing_lambda": "329445486211934369158550725963204616848290725725874438653230097657845820545405503061664658958026160/162"
  },
  {
   "k": 171,
   "k_plus_1": 172,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 23,
   "first_failing_lambda": "17936023969676189830673140969235452274021400430799981459463931257074261491080248153330237880330/148"
  },
  {
   "k": 172,
   "k_plus_1": 173,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 173,
   "k_plus_1": 174,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 28,
   "first_failing_lambda": "5812705686079305907579486586239079202001789310976455839283026990645861647996271553487439152150/145"
  },
  {
   "k": 174,
   "k_plus_1": 175,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1462189990672946082650560006119009378756347682272411320322066534768750289166952631532686896771828630976/170"
  },
  {
   "k": 175,
   "k_plus_1": 176,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "685691368511929921686949981727849403436347505864797539088664658019859246333709684105378672917973019468/168"
  },
  {
   "k": 176,
   "k_plus_1": 177,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 58,
   "first_failing_lambda": "3174787351763248225896094656252717187504415703694261437920427056928485449508677416480/118"
  },
  {
   "k": 177,
   "k_plus_1": 178,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 88,
   "first_failing_lambda": "1108410942422286978211829547205143490168423454242968437742131834559925200/89"
  },
  {
   "k": 178,
   "k_plus_1": 179,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 179,
   "k_plus_1": 180,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1478184470153758685520965336534006211044351607813242391329899655821479034604148194750365228853320465837920/175"
  },
  {
   "k": 180,
   "k_plus_1": 181,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 181,
   "k_plus_1": 182,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 12,
   "first_failing_lambda": "73927574865035778181236572479782519405367777686433053611022123399659717718987146554162716095670183402300/169"
  },
  {
   "k": 182,
   "k_plus_1": 183,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 60,
   "first_failing_lambda": "2614213177752067742520980700641101938937780483366405943672088286754445250400784091987200/122"
  },
  {
   "k": 183,
   "k_plus_1": 184,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 15,
   "first_failing_lambda": "129465467885525949387953142254330470548103086083796160172688066424065521336814981527853024552431675423700/168"
  },
  {
   "k": 184,
   "k_plus_1": 185,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1494828396614745507479338384144779665800053903342387310336820959273585643678074114791342257270787623561447712/180"
  },
  {
   "k": 185,
   "k_plus_1": 186,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 30,
   "first_failing_lambda": "21529934760153621271014401430154573460754173245236452785781863830453363925998406457073436635238935840/155"
  },
  {
   "k": 186,
   "k_plus_1": 187,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 10,
   "first_failing_lambda": "322840303851562417250289713293047842616995187048523154659744898291648454007424011706012700779589369339530112/176"
  },
  {
   "k": 187,
   "k_plus_1": 188,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 46,
   "first_failing_lambda": "716775992413625229492685785581164080435018457549613855825981329254100420889852871885242012196960/141"
  },
  {
   "k": 188,
   "k_plus_1": 189,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 8,
   "first_failing_lambda": "21822523404728774234835380939475084446221825407641099380797464098357435331857545987144559697590134856904987520/180"
  },
  {
   "k": 189,
   "k_plus_1": 190,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1512116874807538470973903837130470066145312344257518763066846528995502894345799038294560800096451628770014129968/185"
  },
  {
   "k": 190,
   "k_plus_1": 191,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 191,
   "k_plus_1": 192,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "48799565772398885299466602860977873082626429155438314590274327698951031083610286575855121173556260521610846557550/188"
  },
  {
   "k": 192,
   "k_plus_1": 193,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 193,
   "k_plus_1": 194,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 96,
   "first_failing_lambda": "4575928713190657395703149153881909419496217512930975814888773904057385581970500/97"
  },
  {
   "k": 194,
   "k_plus_1": 195,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 12,
   "first_failing_lambda": "4879962977235766957966061508253479422846367401118234340581051494230428539193983662894396639116813537007496636400/182"
  },
  {
   "k": 195,
   "k_plus_1": 196,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "722332149947564104270329938918989716181608581339852381851381845353476754171965596114954572202532972348310399590350/188"
  },
  {
   "k": 196,
   "k_plus_1": 197,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 197,
   "k_plus_1": 198,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 8,
   "first_failing_lambda": "5621172824015028864854898642644231452274058067553101157828228379292491456306011565547344217420870767282671849928000/189"
  },
  {
   "k": 198,
   "k_plus_1": 199,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 199,
   "k_plus_1": 200,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "183412423698256627645711505972787332907553866088869456398648184231359907293116309032803836555089050215332088749420960/192"
  },
  {
   "k": 200,
   "k_plus_1": 201,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 66,
   "first_failing_lambda": "1464062990479501377441043878895026473766691357915145351484292008533473889555126208478011223423428/134"
  },
  {
   "k": 201,
   "k_plus_1": 202,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 100,
   "first_failing_lambda": "9309723031208562445945991067191835871598810917051109672304001909174842612612901620/101"
  },
  {
   "k": 202,
   "k_plus_1": 203,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 28,
   "first_failing_lambda": "1916019156755902608699118278410992369651546907156098508970049129253252744605144014271565322927299233670289492000/174"
  },
  {
   "k": 203,
   "k_plus_1": 204,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 23,
   "first_failing_lambda": "355522003151640123219040751606361739357370557955055892425669105061599517215453988599013482741288859410721165027950/180"
  },
  {
   "k": 204,
   "k_plus_1": 205,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 34,
   "first_failing_lambda": "281071161011973046825264220642333235619013275977529963006056786692043587104551800852264986308113545393038284472/170"
  },
  {
   "k": 205,
   "k_plus_1": 206,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 102,
   "first_failing_lambda": "420043722202476070917042508340519283227334496894855474756713338606768144731287262560/103"
  },
  {
   "k": 206,
   "k_plus_1": 207,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 8,
   "first_failing_lambda": "1448694922084094560813363789901467513660217577438177613719212234400188153873892123427233011628423198935420794357926436800/198"
  },
  {
   "k": 207,
   "k_plus_1": 208,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "11829620221052704413464265900844281800337873021023793065061488673320728524077265371515935972297760415640161175807096685500/200"
  },
  {
   "k": 208,
   "k_plus_1": 209,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 54,
   "first_failing_lambda": "5148439124435985464245505609015168973043564475582675378775836275461397103072166156496620306166606917349560/154"
  },
  {
   "k": 209,
   "k_plus_1": 210,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 44,
   "first_failing_lambda": "93767922871132351400370345971362468296447644720585072952445680989831022955741379238727171650296416588922240478/165"
  },
  {
   "k": 210,
   "k_plus_1": 211,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 211,
   "k_plus_1": 212,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 39,
   "first_failing_lambda": "89567126178750664582184285539483109344756680139928098478995263800045913770995708503349207919378965767170561877150/172"
  },
  {
   "k": 212,
   "k_plus_1": 213,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 70,
   "first_failing_lambda": "996993501704692288155031991039467312079588826761365365894518502709716534898219675300610004979104647520/142"
  },
  {
   "k": 213,
   "k_plus_1": 214,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 106,
   "first_failing_lambda": "855562296630517583225236696623043417920155726310326266558844218784145907028837404675200/107"
  },
  {
   "k": 214,
   "k_plus_1": 215,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 42,
   "first_failing_lambda": "521550134398918006720974942457362564967416498604444068654801383540497128739613264356918398320959080279663576403200/172"
  },
  {
   "k": 215,
   "k_plus_1": 216,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 15,
   "first_failing_lambda": "2339947817924859994016756629749635070582408124062429491553850764271446378110258982673528091168890363654008808382614652536500/200"
  },
  {
   "k": 216,
   "k_plus_1": 217,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 30,
   "first_failing_lambda": "115153282373455620287820795747511552452004435250809091340529221874561615907792455539343749598936729992331945596243585600/186"
  },
  {
   "k": 217,
   "k_plus_1": 218,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 108,
   "first_failing_lambda": "38622916357629361329806134346979741667393354564326855552216380336928219611924818633284000/109"
  },
  {
   "k": 218,
   "k_plus_1": 219,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 72,
   "first_failing_lambda": "823230493752184660085370742134639939790938493005573277781477414087924380769684292442384491657819802638480/146"
  },
  {
   "k": 219,
   "k_plus_1": 220,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 55,
   "first_failing_lambda": "11494058373371457977516898538233871138894351449157272336914880104941299314060930436613491262562359417294850423550/164"
  },
  {
   "k": 220,
   "k_plus_1": 221,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 12,
   "first_failing_lambda": "21260611209852904762979707166800237699423687961554078794104138397925663930673299628710608152751626401523083495282998703620297600/208"
  },
  {
   "k": 221,
   "k_plus_1": 222,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 36,
   "first_failing_lambda": "1106743502059408227293850077999348421930042587076168639612396758698096134129256538222093160076206631422885551073953052000/185"
  },
  {
   "k": 222,
   "k_plus_1": 223,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 223,
   "k_plus_1": 224,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "49277767669220200536313050765032473527291891454800905713731019542006746267798157203861860749098251307345386496482706912653737105900/216"
  },
  {
   "k": 224,
   "k_plus_1": 225,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 24,
   "first_failing_lambda": "757028540970478882090079755447909440668230268719901227446866679393481310325485477624400950733107070088842635384941828151521440/200"
  },
  {
   "k": 225,
   "k_plus_1": 226,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 112,
   "first_failing_lambda": "78749516164894058653690053031819034518039610127133795787288346807507969893593316674973882520/113"
  },
  {
   "k": 226,
   "k_plus_1": 227,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 227,
   "k_plus_1": 228,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 71,
   "first_failing_lambda": "745848373701681851097852648834462872339609585968399137359529894061443480826841810447499710633704161183432390630/156"
  },
  {
   "k": 228,
   "k_plus_1": 229,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 229,
   "k_plus_1": 230,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 22,
   "first_failing_lambda": "3504817368010858304900167092885215708487937274985137291528259240404102298235971146851622693989991606453189183887014943079320660320/207"
  },
  {
   "k": 230,
   "k_plus_1": 231,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 98,
   "first_failing_lambda": "342835034257024622723513960624765561006062304565890292095458520742744346459581967813271282292469826928/132"
  },
  {
   "k": 231,
   "k_plus_1": 232,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 15,
   "first_failing_lambda": "9927472792827898728374181997456917201842090719792628667430243628128494830543099427613535193872383024755072094426393698813208280539740/216"
  },
  {
   "k": 232,
   "k_plus_1": 233,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 233,
   "k_plus_1": 234,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 12,
   "first_failing_lambda": "1403576386592142693345499502460682808299325429688484108827849388943867822735798848913898271440309947333955154242748486141919355390242400/221"
  },
  {
   "k": 234,
   "k_plus_1": 235,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 46,
   "first_failing_lambda": "27439489481591652185914618104627039884833603663742357538727615693118583537099668730139749600309831938212759020498775159885440/188"
  },
  {
   "k": 235,
   "k_plus_1": 236,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 58,
   "first_failing_lambda": "5236799740748579484455396571620165254904749340475447469691172190317272403270399472031087850409283547125901349095814389480/177"
  },
  {
   "k": 236,
   "k_plus_1": 237,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 78,
   "first_failing_lambda": "464462630659952149707120448532714831976115234306049385211225018416398870207809706910528159203183782787525600807040/158"
  },
  {
   "k": 237,
   "k_plus_1": 238,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 132,
   "first_failing_lambda": "814458466860857075075513015955017282457582523889119595074132542357633716750063453174341200/105"
  },
  {
   "k": 238,
   "k_plus_1": 239,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 239,
   "k_plus_1": 240,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 15,
   "first_failing_lambda": "646433653107015936638381362022567069380273302182547149223225897913486553460370487390378955198676085810693971594850866175835937767102970800/224"
  },
  {
   "k": 240,
   "k_plus_1": 241,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 241,
   "k_plus_1": 242,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 10,
   "first_failing_lambda": "384398550244037156097502370015278278628841428002361682166451371523911608592546063041022457063279971672793337486124712082385635237129644334880/231"
  },
  {
   "k": 242,
   "k_plus_1": 243,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "446124260218817467302214391830210337931644478150549752059794936195156334396863830064738660548748738708376977433409073972743615857699442641888000/240"
  },
  {
   "k": 243,
   "k_plus_1": 244,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 60,
   "first_failing_lambda": "73114079188486766688500835387383962833737719689524337668879315946983477345685486816220753850389637901828211618149972802524000/183"
  },
  {
   "k": 244,
   "k_plus_1": 245,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 48,
   "first_failing_lambda": "6302643795700162171549634399367399559791394208106018544201688386843836777200856697436978150532774224824366815592048026678541021600/196"
  },
  {
   "k": 245,
   "k_plus_1": 246,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "28381834038451954156959081958526603267504122180192986663481568177085554180540097317132243120338414653805479729414171028219588569897474646795982400/243"
  },
  {
   "k": 246,
   "k_plus_1": 247,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 12,
   "first_failing_lambda": "92681847382741847412224267124335121173859792434862298413800083959509172543612944124143698223064561564337665982179705892959764669174254633824000/234"
  },
  {
   "k": 247,
   "k_plus_1": 248,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 30,
   "first_failing_lambda": "585863900110747163412900270375420074686081174546767413719369348496116795066325461837692132782736920997810545742795310118206434863381999200/217"
  },
  {
   "k": 248,
   "k_plus_1": 249,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "1805741972921955267984151430317134829516699138342861588824199807712115191369314162314253854964222844889467427930588425919396715876617406243701053600/246"
  },
  {
   "k": 249,
   "k_plus_1": 250,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1769627133463516162624468401710792132926365155576004357047715811557872887541927879067968777864938387991678079371976657401008781559085058118827032528/245"
  },
  {
   "k": 250,
   "k_plus_1": 251,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 251,
   "k_plus_1": 252,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "114894922813828586634860356019501273853586804424751589218131327683294469169862257142860850352972553195258274875793601014433730670920967246532348468000/249"
  },
  {
   "k": 252,
   "k_plus_1": 253,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 10,
   "first_failing_lambda": "1586713260100394561790972459666646263256388484500283137592906256118085823344985641784384961944969873313960642596426770044496602187817376354892942432/242"
  },
  {
   "k": 253,
   "k_plus_1": 254,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 126,
   "first_failing_lambda": "30281631151235711088185838010017188107382502099970460313020993681586346032973568683730373485039613248640/127"
  },
  {
   "k": 254,
   "k_plus_1": 255,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "7310973365075261550903825580534867817493295671206505301612819508152477400045205563735307372387029022946704662340339247416266229527223328741519280814336/252"
  },
  {
   "k": 255,
   "k_plus_1": 256,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 1,
   "first_failing_lambda": "58722377202231453496676668294031968164122075231502151748846149816539032223819857932750086158047836082359974343161560489199045193489496798192984202204579/254"
  },
  {
   "k": 256,
   "k_plus_1": 257,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 257,
   "k_plus_1": 258,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "465241149065787565277383725106950313774584434548023064197026331335698022374612177829137205684418616493715397054869391690195347100579041279590004551998720/255"
  },
  {
   "k": 258,
   "k_plus_1": 259,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 36,
   "first_failing_lambda": "25288270448129687349909136372145634928685813230036218515349494903391252530898211276733546418216255494438623863621352440422975749691332526488800/222"
  },
  {
   "k": 259,
   "k_plus_1": 260,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "3679192746437567238278540513337654361997101977573757174362710331890183025380596065694509960264773893188348830517908333707312386065448652304821221186269568/256"
  },
  {
   "k": 260,
   "k_plus_1": 261,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 8,
   "first_failing_lambda": "428666237311142598320384729268375382662303318272636865028737631433000592355542730972198940593477799600245735831099245089903697689833111344311604738985472/252"
  },
  {
   "k": 261,
   "k_plus_1": 262,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 11,
   "first_failing_lambda": "200521874934951977312471238084376157428282541310889516344773425366924999778672966129722414138841334125383318846921797690477822564088052666206115796243875/250"
  },
  {
   "k": 262,
   "k_plus_1": 263,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 263,
   "k_plus_1": 264,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "934994656243025796222634088013141824181058421903221113519384038811115462601070110723309977188242825832453951809466702574868633448016654130593466650052439390/260"
  },
  {
   "k": 264,
   "k_plus_1": 265,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1848819622156020819700604762712778550456130615385991937676065042781224537369663162335903502062789587683795738672303970374457222365134817978984817074065955624/260"
  },
  {
   "k": 265,
   "k_plus_1": 266,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 19,
   "first_failing_lambda": "153729657319135913858874260940325083419629050713522098077170777595345907178943940605959260107388643388618765763184213022175751021730172496811653218901475/246"
  },
  {
   "k": 266,
   "k_plus_1": 267,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 20,
   "first_failing_lambda": "294792451488380479010275736335005403411423497997465596312776921830775672193330702585210266572969982827613513373596693136157245404965724038829836884185600/246"
  },
  {
   "k": 267,
   "k_plus_1": 268,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "14135869024027922276810259799286047946534890565455940390844433821864242990986780539363275356441736080973115637203544809100756500449595471785731011814225857450/260"
  },
  {
   "k": 268,
   "k_plus_1": 269,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 269,
   "k_plus_1": 270,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "7634186953187616502268969780550711011715497596216516852770121661673934949357900173078632471327927292661316508501216132501823161888783290918854100989784857669360/267"
  },
  {
   "k": 270,
   "k_plus_1": 271,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 271,
   "k_plus_1": 272,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "60403021200884767764919881123704413262681564949762632250202639566179831650108921760205243399883983212574658189069231866229260227386502551660878754738505961068810/268"
  },
  {
   "k": 272,
   "k_plus_1": 273,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "485958577175478769685889874676904599895829457656650223441659300447808274789826382733595341611137392605230611348372698244902225915093002228617388501741693166938300/270"
  },
  {
   "k": 273,
   "k_plus_1": 274,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 35,
   "first_failing_lambda": "62047579952838497934226018687537115602066946633476762113628266547370710869975943834981699714538089748859770339424375656481325616088940831497727550383875/238"
  },
  {
   "k": 274,
   "k_plus_1": 275,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1905086609542389180292692526351163949202771800346559028571713657304299693519792897789544726598501614816778775679077744923134151526359019433520207356423121804488896/270"
  },
  {
   "k": 275,
   "k_plus_1": 276,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "30935754537853610240206358493762907264682186782690924470790255595794117018627279252227134419828018288481329900287918307528003993250710478692503171906107507207152468/273"
  },
  {
   "k": 276,
   "k_plus_1": 277,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 277,
   "k_plus_1": 278,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 43,
   "first_failing_lambda": "32651457724526801588048930319812975232892708763502436388883732702820950836517196602768872346575976220744673910153944682649176320484887058903667045702275/234"
  },
  {
   "k": 278,
   "k_plus_1": 279,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "1969457655899147831274637757293577424918910121861750583336740176000834922708650155096539116451695946561856542089008498645045047830043124319626512451651252391970014432/276"
  },
  {
   "k": 279,
   "k_plus_1": 280,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1934288769186663048573304940199049256616786726828505037205726958572248584803138545184100917943629947516109103837419061169240671975935211385347467586443194313541978460/275"
  },
  {
   "k": 280,
   "k_plus_1": 281,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 281,
   "k_plus_1": 282,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "125388164457394012280063194333683692804008367733827914889450354947656343984390205083710945844138181564932388110765966814091613219518426335108291303173599043755306414240/279"
  },
  {
   "k": 282,
   "k_plus_1": 283,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 283,
   "k_plus_1": 284,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 23,
   "first_failing_lambda": "554702862802512857892315826379261219205342755168217819765852997141625087274163660063001832338867753184505348705596598913746270276793811061455540686411229253642170/260"
  },
  {
   "k": 284,
   "k_plus_1": 285,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 2,
   "first_failing_lambda": "7983437127419957506831515001361333849230840978017335598583717288792857462086648686517738230958149219654798275053172385267110024797891862972002107112113305229893728406416/282"
  },
  {
   "k": 285,
   "k_plus_1": 286,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 10,
   "first_failing_lambda": "111868346007230304248043443073600404024880345065161828228228274334709069311418956030346357655774741893792659685965227749253719019510403436928721144109184731866600616800/275"
  },
  {
   "k": 286,
   "k_plus_1": 287,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 40,
   "first_failing_lambda": "92753316690951190967454635319024023008833852925661255121180374540241826599928718987544930636846132561292185401905111532317326601900214100130609634635711526400/246"
  },
  {
   "k": 287,
   "k_plus_1": 288,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 3,
   "first_failing_lambda": "252387924853787265732485941468192237756761208952028323853292490635030895413854323425849319567045408484481055403883277358789034771044450212151515145048745737600106341798930/284"
  },
  {
   "k": 288,
   "k_plus_1": 289,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 16,
   "first_failing_lambda": "95283368837339632647424855147815552160837826188930280284301557431906672617712654562432741743153904979839658967338149508092239872667636786786251725326857009782121328800/272"
  },
  {
   "k": 289,
   "k_plus_1": 290,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "1994880730595735242218615048167351195733209648582024536954878113967128735783533613039461001713529219951714843950529707478861752915304206228679431123696225633450826092610598/285"
  },
  {
   "k": 290,
   "k_plus_1": 291,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 14,
   "first_failing_lambda": "6460451399202857089431133120327336871046330465445975550926669554197378123479310210756242575308387773093429050011305842905520060354516474247366463172093892200548683500392/276"
  },
  {
   "k": 291,
   "k_plus_1": 292,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "3833780813753749059152424767755595375691205757348827930197377912851670227291943687442263117024658965519406793027367853308126491680426221309882680206416156450860517593128450/284"
  },
  {
   "k": 292,
   "k_plus_1": 293,
   "kplus1_prime": true,
   "steiner_S(k-1,k,2k)_divisible": true,
   "first_failing_i": null,
   "first_failing_lambda": null
  },
  {
   "k": 293,
   "k_plus_1": 294,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 20,
   "first_failing_lambda": "5283369261978085082078460263300096538301925061135902091621042827266052761477994627534077441878778847549865773744326722028430981813304078489116417484475140847638190961650/273"
  },
  {
   "k": 294,
   "k_plus_1": 295,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 14,
   "first_failing_lambda": "1647488391933541548264973914295872457333867010913104446106960315853653252213527796301649568796530549801576665869555236793841432091991043905205770783827675563479247266192432/280"
  },
  {
   "k": 295,
   "k_plus_1": 296,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 7,
   "first_failing_lambda": "975636042709120065460690626112968867973771009761451477835113399571067879656840755683290857952099765935162863561717147406455342942475778002584696890615913079275902290556698320/288"
  },
  {
   "k": 296,
   "k_plus_1": 297,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 8,
   "first_failing_lambda": "1918422387010525650602839480302942151167280369362584724093286954038732800402676772117986064121300549852306775488359643385083906661299172907439269306800313933660360059545831040/288"
  },
  {
   "k": 297,
   "k_plus_1": 298,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 83,
   "first_failing_lambda": "197414836939708163921357061004521781320823752325663719293591360096158304114083668758311603099818235980381184513749704777669516223141183071588954545875/214"
  },
  {
   "k": 298,
   "k_plus_1": 299,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 68,
   "first_failing_lambda": "293064684843869262282365574298414402551498796637709567397953168358611960857990407375637070266591408132251878025192848751752326860104315078079661986658976000/230"
  },
  {
   "k": 299,
   "k_plus_1": 300,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 4,
   "first_failing_lambda": "2058462448773342782467969482524395352265247943160151094353089636629397317230149254476944981427844853664812957512721126483106505039741700219960013259747811003307005282064820014608/295"
  },
  {
   "k": 300,
   "k_plus_1": 301,
   "kplus1_prime": false,
   "steiner_S(k-1,k,2k)_divisible": false,
   "first_failing_i": 42,
   "first_failing_lambda": "5627769398438312714132964455162789551614068181877722462913061643273636635771271030679493921034782063320781581615341808556972885726837187279445888527643152146727029748/258"
  }
 ]
}