[
  {
    "id": "lux-proth-batch-1",
    "createdAt": "2026-10-16T08:14:11.152Z",
    "author": "0xLUX∞ / OpenAI Codex",
    "seedText": "Austin + 0xLUX / Prime Hunt / 2026-10-16 / branch 1",
    "sha256": "29afea699b23aff0661d8f27bdd5416bf16bb29f3a505e2041f64e832d56265b",
    "seed": 394665,
    "count": 64,
    "exponent": 128,
    "elapsedMs": 5.0035000000000025,
    "codeSha256": "5d7aed56bd0a8a6100b39f99b1261ad18b0ea8dd342394866e69a3ab9c5982be",
    "novelty": "Not checked; no discovery or record claim",
    "rows": [
      {
        "k": "394665",
        "exponent": 128,
        "n": "134297540340852178682772739442058801174282241",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "394667",
        "exponent": 128,
        "n": "134298220905586020559699666191273664710705153",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394669",
        "exponent": 128,
        "n": "134298901470319862436626592940488528247128065",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394671",
        "exponent": 128,
        "n": "134299582035053704313553519689703391783550977",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "17"
      },
      {
        "k": "394673",
        "exponent": 128,
        "n": "134300262599787546190480446438918255319973889",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394675",
        "exponent": 128,
        "n": "134300943164521388067407373188133118856396801",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "41538778588745126931346383911419686865286127"
      },
      {
        "k": "394677",
        "exponent": 128,
        "n": "134301623729255229944334299937347982392819713",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "13"
      },
      {
        "k": "394679",
        "exponent": 128,
        "n": "134302304293989071821261226686562845929242625",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394681",
        "exponent": 128,
        "n": "134302984858722913698188153435777709465665537",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "64192268871595676972969333858061513115878560"
      },
      {
        "k": "394683",
        "exponent": 128,
        "n": "134303665423456755575115080184992573002088449",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "29"
      },
      {
        "k": "394685",
        "exponent": 128,
        "n": "134304345988190597452042006934207436538511361",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394687",
        "exponent": 128,
        "n": "134305026552924439328968933683422300074934273",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "11"
      },
      {
        "k": "394689",
        "exponent": 128,
        "n": "134305707117658281205895860432637163611357185",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394691",
        "exponent": 128,
        "n": "134306387682392123082822787181852027147780097",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394693",
        "exponent": 128,
        "n": "134307068247125964959749713931066890684203009",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "394695",
        "exponent": 128,
        "n": "134307748811859806836676640680281754220625921",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "43691047608192086176592224416495034668808190"
      },
      {
        "k": "394697",
        "exponent": 128,
        "n": "134308429376593648713603567429496617757048833",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394699",
        "exponent": 128,
        "n": "134309109941327490590530494178711481293471745",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394701",
        "exponent": 128,
        "n": "134309790506061332467457420927926344829894657",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "19"
      },
      {
        "k": "394703",
        "exponent": 128,
        "n": "134310471070795174344384347677141208366317569",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394705",
        "exponent": 128,
        "n": "134311151635529016221311274426356071902740481",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "17"
      },
      {
        "k": "394707",
        "exponent": 128,
        "n": "134311832200262858098238201175570935439163393",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "394709",
        "exponent": 128,
        "n": "134312512764996699975165127924785798975586305",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394711",
        "exponent": 128,
        "n": "134313193329730541852092054674000662512009217",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "41"
      },
      {
        "k": "394713",
        "exponent": 128,
        "n": "134313873894464383729018981423215526048432129",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "55277239802672127925336804776490305246734395"
      },
      {
        "k": "394715",
        "exponent": 128,
        "n": "134314554459198225605945908172430389584855041",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394717",
        "exponent": 128,
        "n": "134315235023932067482872834921645253121277953",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "116331086404235939694808430739105359750392453"
      },
      {
        "k": "394719",
        "exponent": 128,
        "n": "134315915588665909359799761670860116657700865",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394721",
        "exponent": 128,
        "n": "134316596153399751236726688420074980194123777",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394723",
        "exponent": 128,
        "n": "134317276718133593113653615169289843730546689",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "37794939240342848273777251751166332675246055"
      },
      {
        "k": "394725",
        "exponent": 128,
        "n": "134317957282867434990580541918504707266969601",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "125463173175374468288991531448356221911367785"
      },
      {
        "k": "394727",
        "exponent": 128,
        "n": "134318637847601276867507468667719570803392513",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394729",
        "exponent": 128,
        "n": "134319318412335118744434395416934434339815425",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394731",
        "exponent": 128,
        "n": "134319998977068960621361322166149297876238337",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "11"
      },
      {
        "k": "394733",
        "exponent": 128,
        "n": "134320679541802802498288248915364161412661249",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394735",
        "exponent": 128,
        "n": "134321360106536644375215175664579024949084161",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "394737",
        "exponent": 128,
        "n": "134322040671270486252142102413793888485507073",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "97282892665845366820519060471027508885910804"
      },
      {
        "k": "394739",
        "exponent": 128,
        "n": "134322721236004328129069029163008752021929985",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394741",
        "exponent": 128,
        "n": "134323401800738170005995955912223615558352897",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "29"
      },
      {
        "k": "394743",
        "exponent": 128,
        "n": "134324082365472011882922882661438479094775809",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "39521867260187909279751344886869687460238205"
      },
      {
        "k": "394745",
        "exponent": 128,
        "n": "134324762930205853759849809410653342631198721",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394747",
        "exponent": 128,
        "n": "134325443494939695636776736159868206167621633",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "119466198051334466428515415869118833966572698"
      },
      {
        "k": "394749",
        "exponent": 128,
        "n": "134326124059673537513703662909083069704044545",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394751",
        "exponent": 128,
        "n": "134326804624407379390630589658297933240467457",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394753",
        "exponent": 128,
        "n": "134327485189141221267557516407512796776890369",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "11"
      },
      {
        "k": "394755",
        "exponent": 128,
        "n": "134328165753875063144484443156727660313313281",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "13"
      },
      {
        "k": "394757",
        "exponent": 128,
        "n": "134328846318608905021411369905942523849736193",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394759",
        "exponent": 128,
        "n": "134329526883342746898338296655157387386159105",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394761",
        "exponent": 128,
        "n": "134330207448076588775265223404372250922582017",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "103384920875555957453280022840723012719166278"
      },
      {
        "k": "394763",
        "exponent": 128,
        "n": "134330888012810430652192150153587114459004929",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394765",
        "exponent": 128,
        "n": "134331568577544272529119076902801977995427841",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "106529487864121834193760564597301366266549393"
      },
      {
        "k": "394767",
        "exponent": 128,
        "n": "134332249142278114406046003652016841531850753",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "36093653243877308094342412162177625068377079"
      },
      {
        "k": "394769",
        "exponent": 128,
        "n": "134332929707011956282972930401231705068273665",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394771",
        "exponent": 128,
        "n": "134333610271745798159899857150446568604696577",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "77104139047239672691646992502051723606504737"
      },
      {
        "k": "394773",
        "exponent": 128,
        "n": "134334290836479640036826783899661432141119489",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "17"
      },
      {
        "k": "394775",
        "exponent": 128,
        "n": "134334971401213481913753710648876295677542401",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394777",
        "exponent": 128,
        "n": "134335651965947323790680637398091159213965313",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "394779",
        "exponent": 128,
        "n": "134336332530681165667607564147306022750388225",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394781",
        "exponent": 128,
        "n": "134337013095415007544534490896520886286811137",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394783",
        "exponent": 128,
        "n": "134337693660148849421461417645735749823234049",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "17681094244365725301255083878490592080272894"
      },
      {
        "k": "394785",
        "exponent": 128,
        "n": "134338374224882691298388344394950613359656961",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "7936516030828297644630022008322232801307056"
      },
      {
        "k": "394787",
        "exponent": 128,
        "n": "134339054789616533175315271144165476896079873",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394789",
        "exponent": 128,
        "n": "134339735354350375052242197893380340432502785",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394791",
        "exponent": 128,
        "n": "134340415919084216929169124642595203968925697",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      }
    ]
  },
  {
    "id": "lux-proth-batch-2",
    "parentIds": [
      "lux-proth-batch-1"
    ],
    "createdAt": "2026-10-16T08:14:24.742Z",
    "author": "0xLUX∞ / OpenAI Codex",
    "seed": 394793,
    "count": 64,
    "exponent": 128,
    "selection": "Continue next 64 odd k after all-composite first batch",
    "novelty": "Not checked; no discovery or record claim",
    "rows": [
      {
        "k": "394793",
        "exponent": 128,
        "n": "134341096483818058806096051391810067505348609",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394795",
        "exponent": 128,
        "n": "134341777048551900683022978141024931041771521",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "74096325522812509652613275845577833692285020"
      },
      {
        "k": "394797",
        "exponent": 128,
        "n": "134342457613285742559949904890239794578194433",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "11"
      },
      {
        "k": "394799",
        "exponent": 128,
        "n": "134343138178019584436876831639454658114617345",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394801",
        "exponent": 128,
        "n": "134343818742753426313803758388669521651040257",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "81078110257722987088010812048214269218630764"
      },
      {
        "k": "394803",
        "exponent": 128,
        "n": "134344499307487268190730685137884385187463169",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "82899350480957564977986346755287314770853396"
      },
      {
        "k": "394805",
        "exponent": 128,
        "n": "134345179872221110067657611887099248723886081",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394807",
        "exponent": 128,
        "n": "134345860436954951944584538636314112260308993",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "13"
      },
      {
        "k": "394809",
        "exponent": 128,
        "n": "134346541001688793821511465385528975796731905",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394811",
        "exponent": 128,
        "n": "134347221566422635698438392134743839333154817",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394813",
        "exponent": 128,
        "n": "134347902131156477575365318883958702869577729",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "5263601324046507477156506325610176146589544"
      },
      {
        "k": "394815",
        "exponent": 128,
        "n": "134348582695890319452292245633173566406000641",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "19"
      },
      {
        "k": "394817",
        "exponent": 128,
        "n": "134349263260624161329219172382388429942423553",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394819",
        "exponent": 128,
        "n": "134349943825358003206146099131603293478846465",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394821",
        "exponent": 128,
        "n": "134350624390091845083073025880818157015269377",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "90745961474275587259183250463001411516289935"
      },
      {
        "k": "394823",
        "exponent": 128,
        "n": "134351304954825686959999952630033020551692289",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394825",
        "exponent": 128,
        "n": "134351985519559528836926879379247884088115201",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "23"
      },
      {
        "k": "394827",
        "exponent": 128,
        "n": "134352666084293370713853806128462747624538113",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "70852420611050337557111347159255883165193128"
      },
      {
        "k": "394829",
        "exponent": 128,
        "n": "134353346649027212590780732877677611160961025",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394831",
        "exponent": 128,
        "n": "134354027213761054467707659626892474697383937",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "13006255203791019821160860462347948028994145"
      },
      {
        "k": "394833",
        "exponent": 128,
        "n": "134354707778494896344634586376107338233806849",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "394835",
        "exponent": 128,
        "n": "134355388343228738221561513125322201770229761",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394837",
        "exponent": 128,
        "n": "134356068907962580098488439874537065306652673",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "7926363357790285360485943985240686776397427"
      },
      {
        "k": "394839",
        "exponent": 128,
        "n": "134356749472696421975415366623751928843075585",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394841",
        "exponent": 128,
        "n": "134357430037430263852342293372966792379498497",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394843",
        "exponent": 128,
        "n": "134358110602164105729269220122181655915921409",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "31"
      },
      {
        "k": "394845",
        "exponent": 128,
        "n": "134358791166897947606196146871396519452344321",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "60103444462497187292337957786345848708366996"
      },
      {
        "k": "394847",
        "exponent": 128,
        "n": "134359471731631789483123073620611382988767233",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394849",
        "exponent": 128,
        "n": "134360152296365631360050000369826246525190145",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394851",
        "exponent": 128,
        "n": "134360832861099473236976927119041110061613057",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "72427550312334576983060939457703097178999163"
      },
      {
        "k": "394853",
        "exponent": 128,
        "n": "134361513425833315113903853868255973598035969",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394855",
        "exponent": 128,
        "n": "134362193990567156990830780617470837134458881",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "37"
      },
      {
        "k": "394857",
        "exponent": 128,
        "n": "134362874555300998867757707366685700670881793",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "29"
      },
      {
        "k": "394859",
        "exponent": 128,
        "n": "134363555120034840744684634115900564207304705",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394861",
        "exponent": 128,
        "n": "134364235684768682621611560865115427743727617",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "394863",
        "exponent": 128,
        "n": "134364916249502524498538487614330291280150529",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "11"
      },
      {
        "k": "394865",
        "exponent": 128,
        "n": "134365596814236366375465414363545154816573441",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394867",
        "exponent": 128,
        "n": "134366277378970208252392341112760018352996353",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "59853496713340465011797525988093534052200204"
      },
      {
        "k": "394869",
        "exponent": 128,
        "n": "134366957943704050129319267861974881889419265",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394871",
        "exponent": 128,
        "n": "134367638508437892006246194611189745425842177",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394873",
        "exponent": 128,
        "n": "134368319073171733883173121360404608962265089",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "43037566741888626910431131444405535235098864"
      },
      {
        "k": "394875",
        "exponent": 128,
        "n": "134368999637905575760100048109619472498688001",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "394877",
        "exponent": 128,
        "n": "134369680202639417637026974858834336035110913",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394879",
        "exponent": 128,
        "n": "134370360767373259513953901608049199571533825",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394881",
        "exponent": 128,
        "n": "134371041332107101390880828357264063107956737",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "126727403607377939601476287225047704237234565"
      },
      {
        "k": "394883",
        "exponent": 128,
        "n": "134371721896840943267807755106478926644379649",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394885",
        "exponent": 128,
        "n": "134372402461574785144734681855693790180802561",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "11"
      },
      {
        "k": "394887",
        "exponent": 128,
        "n": "134373083026308627021661608604908653717225473",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "69538720735625963573012683692494059163762706"
      },
      {
        "k": "394889",
        "exponent": 128,
        "n": "134373763591042468898588535354123517253648385",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394891",
        "exponent": 128,
        "n": "134374444155776310775515462103338380790071297",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "19"
      },
      {
        "k": "394893",
        "exponent": 128,
        "n": "134375124720510152652442388852553244326494209",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "116626262407420290564879442182365139297813254"
      },
      {
        "k": "394895",
        "exponent": 128,
        "n": "134375805285243994529369315601768107862917121",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394897",
        "exponent": 128,
        "n": "134376485849977836406296242350982971399340033",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "35645817832836201583970994331822776410427653"
      },
      {
        "k": "394899",
        "exponent": 128,
        "n": "134377166414711678283223169100197834935762945",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394901",
        "exponent": 128,
        "n": "134377846979445520160150095849412698472185857",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394903",
        "exponent": 128,
        "n": "134378527544179362037077022598627562008608769",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "394905",
        "exponent": 128,
        "n": "134379208108913203914003949347842425545031681",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "31"
      },
      {
        "k": "394907",
        "exponent": 128,
        "n": "134379888673647045790930876097057289081454593",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394909",
        "exponent": 128,
        "n": "134380569238380887667857802846272152617877505",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "394911",
        "exponent": 128,
        "n": "134381249803114729544784729595487016154300417",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "13"
      },
      {
        "k": "394913",
        "exponent": 128,
        "n": "134381930367848571421711656344701879690723329",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "394915",
        "exponent": 128,
        "n": "134382610932582413298638583093916743227146241",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "29"
      },
      {
        "k": "394917",
        "exponent": 128,
        "n": "134383291497316255175565509843131606763569153",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "394919",
        "exponent": 128,
        "n": "134383972062050097052492436592346470299992065",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      }
    ]
  },
  {
    "id": "lux-proth-baseline",
    "parentIds": [
      "lux-proth-batch-2"
    ],
    "createdAt": "2026-10-16T08:15:14.312Z",
    "author": "0xLUX∞ / OpenAI Codex",
    "seed": 1,
    "count": 64,
    "exponent": 128,
    "selection": "Human-style change of viewpoint: small-k baseline after two failed batches; not a random pick or evidence of superiority",
    "novelty": "Not checked; no discovery or record claim",
    "rows": [
      {
        "k": "1",
        "exponent": 128,
        "n": "340282366920938463463374607431768211457",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "3",
        "fermatResidue": "47511664169441434718291075092691853899"
      },
      {
        "k": "3",
        "exponent": 128,
        "n": "1020847100762815390390123822295304634369",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "900977984484189388340881339854011457878"
      },
      {
        "k": "5",
        "exponent": 128,
        "n": "1701411834604692317316873037158841057281",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "7",
        "exponent": 128,
        "n": "2381976568446569244243622252022377480193",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "11"
      },
      {
        "k": "9",
        "exponent": 128,
        "n": "3062541302288446171170371466885913903105",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "11",
        "exponent": 128,
        "n": "3743106036130323098097120681749450326017",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "13",
        "exponent": 128,
        "n": "4423670769972200025023869896612986748929",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "1469322344272793451968248726436206249370"
      },
      {
        "k": "15",
        "exponent": 128,
        "n": "5104235503814076951950619111476523171841",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "4349095288741306902101828043061947764681"
      },
      {
        "k": "17",
        "exponent": 128,
        "n": "5784800237655953878877368326340059594753",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "19",
        "exponent": 128,
        "n": "6465364971497830805804117541203596017665",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "21",
        "exponent": 128,
        "n": "7145929705339707732730866756067132440577",
        "status": "proven-prime",
        "reason": "Proth certificate",
        "witness": "5",
        "residue": "7145929705339707732730866756067132440576"
      },
      {
        "k": "23",
        "exponent": 128,
        "n": "7826494439181584659657615970930668863489",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "25",
        "exponent": 128,
        "n": "8507059173023461586584365185794205286401",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "6556086844478642928442834436233638759172"
      },
      {
        "k": "27",
        "exponent": 128,
        "n": "9187623906865338513511114400657741709313",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "31"
      },
      {
        "k": "29",
        "exponent": 128,
        "n": "9868188640707215440437863615521278132225",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "31",
        "exponent": 128,
        "n": "10548753374549092367364612830384814555137",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "8210289269845701892400544371314093157506"
      },
      {
        "k": "33",
        "exponent": 128,
        "n": "11229318108390969294291362045248350978049",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "35",
        "exponent": 128,
        "n": "11909882842232846221218111260111887400961",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "37",
        "exponent": 128,
        "n": "12590447576074723148144860474975423823873",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "10544295219352246882303229336505713190315"
      },
      {
        "k": "39",
        "exponent": 128,
        "n": "13271012309916600075071609689838960246785",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "41",
        "exponent": 128,
        "n": "13951577043758477001998358904702496669697",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "43",
        "exponent": 128,
        "n": "14632141777600353928925108119566033092609",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "5140621522095413796414793295290695837547"
      },
      {
        "k": "45",
        "exponent": 128,
        "n": "15312706511442230855851857334429569515521",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "41"
      },
      {
        "k": "47",
        "exponent": 128,
        "n": "15993271245284107782778606549293105938433",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "49",
        "exponent": 128,
        "n": "16673835979125984709705355764156642361345",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "51",
        "exponent": 128,
        "n": "17354400712967861636632104979020178784257",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "11"
      },
      {
        "k": "53",
        "exponent": 128,
        "n": "18034965446809738563558854193883715207169",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "55",
        "exponent": 128,
        "n": "18715530180651615490485603408747251630081",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "607267308520300212830531105180331049289"
      },
      {
        "k": "57",
        "exponent": 128,
        "n": "19396094914493492417412352623610788052993",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "47"
      },
      {
        "k": "59",
        "exponent": 128,
        "n": "20076659648335369344339101838474324475905",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "61",
        "exponent": 128,
        "n": "20757224382177246271265851053337860898817",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "63",
        "exponent": 128,
        "n": "21437789116019123198192600268201397321729",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "8489887151541477887617330958202699360865"
      },
      {
        "k": "65",
        "exponent": 128,
        "n": "22118353849861000125119349483064933744641",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "67",
        "exponent": 128,
        "n": "22798918583702877052046098697928470167553",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "17"
      },
      {
        "k": "69",
        "exponent": 128,
        "n": "23479483317544753978972847912792006590465",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "71",
        "exponent": 128,
        "n": "24160048051386630905899597127655543013377",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "73",
        "exponent": 128,
        "n": "24840612785228507832826346342519079436289",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "11"
      },
      {
        "k": "75",
        "exponent": 128,
        "n": "25521177519070384759753095557382615859201",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "77",
        "exponent": 128,
        "n": "26201742252912261686679844772246152282113",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "79",
        "exponent": 128,
        "n": "26882306986754138613606593987109688705025",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "81",
        "exponent": 128,
        "n": "27562871720596015540533343201973225127937",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "23589263655904350988446758959479198558233"
      },
      {
        "k": "83",
        "exponent": 128,
        "n": "28243436454437892467460092416836761550849",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "85",
        "exponent": 128,
        "n": "28924001188279769394386841631700297973761",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "4396514231658806992984597939230809025938"
      },
      {
        "k": "87",
        "exponent": 128,
        "n": "29604565922121646321313590846563834396673",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "22823610386638510535552483904336979355815"
      },
      {
        "k": "89",
        "exponent": 128,
        "n": "30285130655963523248240340061427370819585",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "91",
        "exponent": 128,
        "n": "30965695389805400175167089276290907242497",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "13291180705782591157046653512649233130447"
      },
      {
        "k": "93",
        "exponent": 128,
        "n": "31646260123647277102093838491154443665409",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "28521846244124027540611289278231841223805"
      },
      {
        "k": "95",
        "exponent": 128,
        "n": "32326824857489154029020587706017980088321",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "97",
        "exponent": 128,
        "n": "33007389591331030955947336920881516511233",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "2888176416861429677331091086779328489430"
      },
      {
        "k": "99",
        "exponent": 128,
        "n": "33687954325172907882874086135745052934145",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "101",
        "exponent": 128,
        "n": "34368519059014784809800835350608589357057",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "103",
        "exponent": 128,
        "n": "35049083792856661736727584565472125779969",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "105",
        "exponent": 128,
        "n": "35729648526698538663654333780335662202881",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "29039826366550039509280373223904802634008"
      },
      {
        "k": "107",
        "exponent": 128,
        "n": "36410213260540415590581082995199198625793",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "109",
        "exponent": 128,
        "n": "37090777994382292517507832210062735048705",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "5"
      },
      {
        "k": "111",
        "exponent": 128,
        "n": "37771342728224169444434581424926271471617",
        "status": "proven-prime",
        "reason": "Proth certificate",
        "witness": "5",
        "residue": "37771342728224169444434581424926271471616"
      },
      {
        "k": "113",
        "exponent": 128,
        "n": "38451907462066046371361330639789807894529",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "115",
        "exponent": 128,
        "n": "39132472195907923298288079854653344317441",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "20611448539684113012946056066050614709086"
      },
      {
        "k": "117",
        "exponent": 128,
        "n": "39813036929749800225214829069516880740353",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "7"
      },
      {
        "k": "119",
        "exponent": 128,
        "n": "40493601663591677152141578284380417163265",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "121",
        "exponent": 128,
        "n": "41174166397433554079068327499243953586177",
        "status": "composite",
        "reason": "Exact Fermat contradiction",
        "witness": "2",
        "fermatResidue": "5561397069916626476269437062664031216789"
      },
      {
        "k": "123",
        "exponent": 128,
        "n": "41854731131275431005995076714107490009089",
        "status": "proven-prime",
        "reason": "Proth certificate",
        "witness": "7",
        "residue": "41854731131275431005995076714107490009088"
      },
      {
        "k": "125",
        "exponent": 128,
        "n": "42535295865117307932921825928971026432001",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "3"
      },
      {
        "k": "127",
        "exponent": 128,
        "n": "43215860598959184859848575143834562854913",
        "status": "composite",
        "reason": "Exact small factor",
        "factor": "13"
      }
    ]
  }
]