History of Good examples of Hall's conjecture

back to table · edit · history · where entries came from · files

compare when who what
2026-09-16 17:58 zeta3 repair formula, coverage note, link title, and Hall comments current reviewed
2026-09-16 17:45 zeta3 shorten Hall examples definition
2026-09-16 17:45 zeta3 state Hall example parts explicitly
2026-09-16 17:42 zeta3 with Codex CLI, table-build@da8 Hall examples from the Wikipedia list, with y and k recomputed exactly from x and r in ball arithmetic
2026-09-16 17:38 zeta3 create draft for Hall examples

What changed between 2026-09-16 17:38 and 2026-09-16 17:42

from line 68 (871 lines, 869 more than before) @@ -68,2 +68,871 @@
 - abc conjecture - elliptic curves+Numbers:+- params:+    x: '2'+    part: x+  number: '2'+- params:+    x: '2'+    part: y+  number: '3'+- params:+    x: '2'+    part: k+  number: '1'+- params:+    x: '2'+    part: r+  number: '1.41421356237309504880168872421'+  comment: Here $r=\sqrt{2}$.+- params:+    x: '5234'+    part: x+  number: '5234'+- params:+    x: '5234'+    part: y+  number: '378661'+- params:+    x: '5234'+    part: k+  number: '17'+- params:+    x: '5234'+    part: r+  number: '4.25566994063198184920276221460'+- params:+    x: '8158'+    part: x+  number: '8158'+- params:+    x: '8158'+    part: y+  number: '736844'+- params:+    x: '8158'+    part: k+  number: '24'+- params:+    x: '8158'+    part: r+  number: '3.76340197752571263172933050108'+- params:+    x: '93844'+    part: x+  number: '93844'+- params:+    x: '93844'+    part: y+  number: '28748141'+- params:+    x: '93844'+    part: k+  number: '297'+- params:+    x: '93844'+    part: r+  number: '1.03144673652092994393445163948'+- params:+    x: '367806'+    part: x+  number: '367806'+- params:+    x: '367806'+    part: y+  number: '223063347'+- params:+    x: '367806'+    part: k+  number: '-207'+- params:+    x: '367806'+    part: r+  number: '2.92980731729479610921955918377'+- params:+    x: '421351'+    part: x+  number: '421351'+- params:+    x: '421351'+    part: y+  number: '273505487'+- params:+    x: '421351'+    part: k+  number: '618'+- params:+    x: '421351'+    part: r+  number: '1.05034878983313672129255088087'+- params:+    x: '720114'+    part: x+  number: '720114'+- params:+    x: '720114'+    part: y+  number: '611085363'+- params:+    x: '720114'+    part: k+  number: '225'+- params:+    x: '720114'+    part: r+  number: '3.77153471070784049254753324426'+- params:+    x: '939787'+    part: x+  number: '939787'+- params:+    x: '939787'+    part: y+  number: '911054064'+- params:+    x: '939787'+    part: k+  number: '-307'+- params:+    x: '939787'+    part: r+  number: '3.15773980096793007970753788262'+- params:+    x: '28187351'+    part: x+  number: '28187351'+- params:+    x: '28187351'+    part: y+  number: '149651610621'+- params:+    x: '28187351'+    part: k+  number: '1090'+- params:+    x: '28187351'+    part: r+  number: '4.87080377349387426551321777117'+- params:+    x: '110781386'+    part: x+  number: '110781386'+- params:+    x: '110781386'+    part: y+  number: '1166004406095'+- params:+    x: '110781386'+    part: k+  number: '8569'+- params:+    x: '110781386'+    part: r+  number: '1.22829661315813184575159752052'+- params:+    x: '154319269'+    part: x+  number: '154319269'+- params:+    x: '154319269'+    part: y+  number: '1917035856801'+- params:+    x: '154319269'+    part: k+  number: '11492'+- params:+    x: '154319269'+    part: r+  number: '1.08097204144658767870337129691'+- params:+    x: '384242766'+    part: x+  number: '384242766'+- params:+    x: '384242766'+    part: y+  number: '7531969451458'+- params:+    x: '384242766'+    part: k+  number: '14668'+- params:+    x: '384242766'+    part: r+  number: '1.33638609652583472338013308959'+- params:+    x: '390620082'+    part: x+  number: '390620082'+- params:+    x: '390620082'+    part: y+  number: '7720258643465'+- params:+    x: '390620082'+    part: k+  number: '14857'+- params:+    x: '390620082'+    part: r+  number: '1.33028949040913392971450430863'+- params:+    x: '3790689201'+    part: x+  number: '3790689201'+- params:+    x: '3790689201'+    part: y+  number: '233387325399875'+- params:+    x: '3790689201'+    part: k+  number: '28024'+- params:+    x: '3790689201'+    part: r+  number: '2.19699447474803279520052872447'+- params:+    x: '65589428378'+    part: x+  number: '65589428378'+- params:+    x: '65589428378'+    part: y+  number: '16797736678114635'+- params:+    x: '65589428378'+    part: k+  number: '117073'+- params:+    x: '65589428378'+    part: r+  number: '2.18756101783572447175378244381'+- params:+    x: '952764389446'+    part: x+  number: '952764389446'+- params:+    x: '952764389446'+    part: y+  number: '929989991784733049'+- params:+    x: '952764389446'+    part: k+  number: '-852135'+- params:+    x: '952764389446'+    part: r+  number: '1.14547167551555315947924886088'+- params:+    x: '12438517260105'+    part: x+  number: '12438517260105'+- params:+    x: '12438517260105'+    part: y+  number: '43868513629203032816'+- params:+    x: '12438517260105'+    part: k+  number: '-2767769'+- params:+    x: '12438517260105'+    part: r+  number: '1.27424948226582569068209439642'+- params:+    x: '35495694227489'+    part: x+  number: '35495694227489'+- params:+    x: '35495694227489'+    part: y+  number: '211477180624706647625'+- params:+    x: '35495694227489'+    part: k+  number: '-5190544'+- params:+    x: '35495694227489'+    part: r+  number: '1.14782309918708976875785839296'+- params:+    x: '53197086958290'+    part: x+  number: '53197086958290'+- params:+    x: '53197086958290'+    part: y+  number: '388000045789691815013'+- params:+    x: '53197086958290'+    part: k+  number: '4401169'+- params:+    x: '53197086958290'+    part: r+  number: '1.65720364673277316306883384869'+- params:+    x: '5853886516781223'+    part: x+  number: '5853886516781223'+  comment: This row has the largest Hall ratio in the source list.+- params:+    x: '5853886516781223'+    part: y+  number: '447884928428402042307918'+- params:+    x: '5853886516781223'+    part: k+  number: '-1641843'+- params:+    x: '5853886516781223'+    part: r+  number: '46.6004943471754121442137157318'+- params:+    x: '12813608766102806'+    part: x+  number: '12813608766102806'+- params:+    x: '12813608766102806'+    part: y+  number: '1450464785804241566052031'+- params:+    x: '12813608766102806'+    part: k+  number: '87002345'+- params:+    x: '12813608766102806'+    part: r+  number: '1.30108230795474203076283125462'+- params:+    x: '23415546067124892'+    part: x+  number: '23415546067124892'+  comment: This non-primitive example is obtained from the Elkies row $x=5853886516781223$+    by multiplying $x$, $y$ and $k$ by $4$, $8$ and $64$.+- params:+    x: '23415546067124892'+    part: y+  number: '3583079427427216338463344'+- params:+    x: '23415546067124892'+    part: k+  number: '-105077952'+- params:+    x: '23415546067124892'+    part: r+  number: '1.45626544834923162950667861662'+- params:+    x: '38115991067861271'+    part: x+  number: '38115991067861271'+- params:+    x: '38115991067861271'+    part: y+  number: '7441505802879036345061579'+- params:+    x: '38115991067861271'+    part: k+  number: '-30032270'+- params:+    x: '38115991067861271'+    part: r+  number: '6.50077969542173636996417406839'+- params:+    x: '322001299796379844'+    part: x+  number: '322001299796379844'+- params:+    x: '322001299796379844'+    part: y+  number: '182720147509505842286585077'+- params:+    x: '322001299796379844'+    part: k+  number: '-548147655'+- params:+    x: '322001299796379844'+    part: r+  number: '1.03521665828956107172029633399'+- params:+    x: '471477085999389882'+    part: x+  number: '471477085999389882'+- params:+    x: '471477085999389882'+    part: y+  number: '323735917730141272082452675'+- params:+    x: '471477085999389882'+    part: k+  number: '497218657'+- params:+    x: '471477085999389882'+    part: r+  number: '1.38096565964720141971445979686'+- params:+    x: '810574762403977064'+    part: x+  number: '810574762403977064'+- params:+    x: '810574762403977064'+    part: y+  number: '729776066875686841903714597'+- params:+    x: '810574762403977064'+    part: k+  number: '193234265'+- params:+    x: '810574762403977064'+    part: r+  number: '4.65921122127099958937552088266'+- params:+    x: '9870884617163518770'+    part: x+  number: '9870884617163518770'+- params:+    x: '9870884617163518770'+    part: y+  number: '31012309752051601656131750312'+- params:+    x: '9870884617163518770'+    part: k+  number: '-1651035656'+- params:+    x: '9870884617163518770'+    part: r+  number: '1.90292462084738016701808117141'+- params:+    x: '42532374580189966073'+    part: x+  number: '42532374580189966073'+- params:+    x: '42532374580189966073'+    part: y+  number: '277382747164996776244709473092'+- params:+    x: '42532374580189966073'+    part: k+  number: '-1878790553'+- params:+    x: '42532374580189966073'+    part: r+  number: '3.47121446776487020535762470665'+- params:+    x: '44648329463517920535'+    part: x+  number: '44648329463517920535'+- params:+    x: '44648329463517920535'+    part: y+  number: '298337482964268699552903650896'+- params:+    x: '44648329463517920535'+    part: k+  number: '3732472441'+- params:+    x: '44648329463517920535'+    part: r+  number: '1.79021832092942715665886915077'+- params:+    x: '51698891432429706382'+    part: x+  number: '51698891432429706382'+- params:+    x: '51698891432429706382'+    part: y+  number: '371725065005153455971974971439'+- params:+    x: '51698891432429706382'+    part: k+  number: '-4101044247'+- params:+    x: '51698891432429706382'+    part: r+  number: '1.75325933674661342742252131812'+- params:+    x: '231411667627225650649'+    part: x+  number: '231411667627225650649'+- params:+    x: '231411667627225650649'+    part: y+  number: '3520285428968457987270549269046'+- params:+    x: '231411667627225650649'+    part: k+  number: '4103440667'+- params:+    x: '231411667627225650649'+    part: r+  number: '3.70718678064688481579937105108'+- params:+    x: '601724682280310364065'+    part: x+  number: '601724682280310364065'+- params:+    x: '601724682280310364065'+    part: y+  number: '14760352846222715769526264252072'+- params:+    x: '601724682280310364065'+    part: k+  number: '-13027681441'+- params:+    x: '601724682280310364065'+    part: r+  number: '1.88291962817506446032121189270'+- params:+    x: '4996798823245299750533'+    part: x+  number: '4996798823245299750533'+- params:+    x: '4996798823245299750533'+    part: y+  number: '353213908876168890581997585147033'+- params:+    x: '4996798823245299750533'+    part: k+  number: '32544033652'+- params:+    x: '4996798823245299750533'+    part: r+  number: '2.17207367446875118301191369330'+- params:+    x: '5592930378182848874404'+    part: x+  number: '5592930378182848874404'+- params:+    x: '5592930378182848874404'+    part: y+  number: '418272314745537750878459937455541'+- params:+    x: '5592930378182848874404'+    part: k+  number: '54117311417'+- params:+    x: '5592930378182848874404'+    part: r+  number: '1.38192188344501252430457592883'+- params:+    x: '14038790674256691230847'+    part: x+  number: '14038790674256691230847'+- params:+    x: '14038790674256691230847'+    part: y+  number: '1663391767720728095981445941214642'+- params:+    x: '14038790674256691230847'+    part: k+  number: '-93061667259'+- params:+    x: '14038790674256691230847'+    part: r+  number: '1.27319234954199116430603722504'+- params:+    x: '77148032713960680268604'+    part: x+  number: '77148032713960680268604'+- params:+    x: '77148032713960680268604'+    part: y+  number: '21428278586677413909680099639409148'+- params:+    x: '77148032713960680268604'+    part: k+  number: '27285673040'+- params:+    x: '77148032713960680268604'+    part: r+  number: '10.1795307178670150143564710116'+- params:+    x: '180179004295105849668818'+    part: x+  number: '180179004295105849668818'+- params:+    x: '180179004295105849668818'+    part: y+  number: '76481478321162047742936744491996450'+- params:+    x: '180179004295105849668818'+    part: k+  number: '-75183236932'+- params:+    x: '180179004295105849668818'+    part: r+  number: '5.64587256676496479197905955503'+- params:+    x: '372193377967238474960883'+    part: x+  number: '372193377967238474960883'+- params:+    x: '372193377967238474960883'+    part: y+  number: '227066446200113436877250329023430080'+- params:+    x: '372193377967238474960883'+    part: k+  number: '460298021013'+- params:+    x: '372193377967238474960883'+    part: r+  number: '1.32539465013020897713462629457'+- params:+    x: '664947779818324205678136'+    part: x+  number: '664947779818324205678136'+- params:+    x: '664947779818324205678136'+    part: y+  number: '542227213657330994270217986765950483'+- params:+    x: '664947779818324205678136'+    part: k+  number: '-49327446167'+- params:+    x: '664947779818324205678136'+    part: r+  number: '16.5312288797192782728342059021'+- params:+    x: '2028871373185892500636155'+    part: x+  number: '2028871373185892500636155'+- params:+    x: '2028871373185892500636155'+    part: y+  number: '2889893057066362606885134208084778066'+- params:+    x: '2028871373185892500636155'+    part: k+  number: '1246491276481'+- params:+    x: '2028871373185892500636155'+    part: r+  number: '1.14271522498449686342780737786'+- params:+    x: '10747835083471081268825856'+    part: x+  number: '10747835083471081268825856'+- params:+    x: '10747835083471081268825856'+    part: y+  number: '35235585373909771093395629910293233497'+- params:+    x: '10747835083471081268825856'+    part: k+  number: '-2428129973007'+- params:+    x: '10747835083471081268825856'+    part: r+  number: '1.35017035138030699136940940790'+- params:+    x: '37223900078734215181946587'+    part: x+  number: '37223900078734215181946587'+- params:+    x: '37223900078734215181946587'+    part: y+  number: '227108197597477158354073675549689240926'+- params:+    x: '37223900078734215181946587'+    part: k+  number: '3262941253473'+- params:+    x: '37223900078734215181946587'+    part: r+  number: '1.86982809998144846204976376368'+- params:+    x: '69586951610485633367491417'+    part: x+  number: '69586951610485633367491417'+- params:+    x: '69586951610485633367491417'+    part: y+  number: '580485956840055298243897234120309242222'+- params:+    x: '69586951610485633367491417'+    part: k+  number: '6855536488571'+- params:+    x: '69586951610485633367491417'+    part: r+  number: '1.21680912866654099039953298877'+- params:+    x: '3690445383173227306376634720'+    part: x+  number: '3690445383173227306376634720'+- params:+    x: '3690445383173227306376634720'+    part: y+  number: '224190999688829620147085483831005803500865'+- params:+    x: '3690445383173227306376634720'+    part: k+  number: '40139525700225'+- params:+    x: '3690445383173227306376634720'+    part: r+  number: '1.51344678364029193325878400931'+- params:+    x: '133545763574262054617147641349'+    part: x+  number: '133545763574262054617147641349'+- params:+    x: '133545763574262054617147641349'+    part: y+  number: '48802848722682804459375378682647344404141905'+- params:+    x: '133545763574262054617147641349'+    part: k+  number: '-216531536802524'+- params:+    x: '133545763574262054617147641349'+    part: r+  number: '1.68769475054546708878934089494'+- params:+    x: '162921297743817207342396140787'+    part: x+  number: '162921297743817207342396140787'+- params:+    x: '162921297743817207342396140787'+    part: y+  number: '65760755072208686883350108704282076469294815'+- params:+    x: '162921297743817207342396140787'+    part: k+  number: '37882791460822'+- params:+    x: '162921297743817207342396140787'+    part: r+  number: '10.6548406052523478970070146378'+- params:+    x: '374192690896219210878121645171'+    part: x+  number: '374192690896219210878121645171'+- params:+    x: '374192690896219210878121645171'+    part: y+  number: '228898501878382928220812305035880493762279705'+- params:+    x: '374192690896219210878121645171'+    part: k+  number: '206297760551814'+- params:+    x: '374192690896219210878121645171'+    part: r+  number: '2.96519416297835952507704674132'+- params:+    x: '401844774500818781164623821177'+    part: x+  number: '401844774500818781164623821177'+- params:+    x: '401844774500818781164623821177'+    part: y+  number: '254734335867914069214885957403178086208912335'+- params:+    x: '401844774500818781164623821177'+    part: k+  number: '-490038125720008'+- params:+    x: '401844774500818781164623821177'+    part: r+  number: '1.29359787206155943098284718286'+- params:+    x: '500859224588646106403669009291'+    part: x+  number: '500859224588646106403669009291'+- params:+    x: '500859224588646106403669009291'+    part: y+  number: '354465127306145941254842024268713599379999552'+- params:+    x: '500859224588646106403669009291'+    part: k+  number: '-667796270828467'+- params:+    x: '500859224588646106403669009291'+    part: r+  number: '1.05977543577627414002428491051'+- params:+    x: '1114592308630995805123571151844'+    part: x+  number: '1114592308630995805123571151844'+- params:+    x: '1114592308630995805123571151844'+    part: y+  number: '1176722513851727970194784616032383058302343205'+- params:+    x: '1114592308630995805123571151844'+    part: k+  number: '1019827620252441'+- params:+    x: '1114592308630995805123571151844'+    part: r+  number: '1.03521665624990154092944168837'+- params:+    x: '39739590925054773507790363346813'+    part: x+  number: '39739590925054773507790363346813'+- params:+    x: '39739590925054773507790363346813'+    part: y+  number: '250515780595813121159570482265776894494367196625'+- params:+    x: '39739590925054773507790363346813'+    part: k+  number: '-1682917776799172'+- params:+    x: '39739590925054773507790363346813'+    part: r+  number: '3.74583633614066491685070408524'+- params:+    x: '862611143810724763613366116643858'+    part: x+  number: '862611143810724763613366116643858'+- params:+    x: '862611143810724763613366116643858'+    part: y+  number: '25335098466671949144333881652710390910673829348417'+- params:+    x: '862611143810724763613366116643858'+    part: k+  number: '26655452290421177'+- params:+    x: '862611143810724763613366116643858'+    part: r+  number: '1.10184746325502190132768153369'+- params:+    x: '1062521751024771376590062279975859'+    part: x+  number: '1062521751024771376590062279975859'+- params:+    x: '1062521751024771376590062279975859'+    part: y+  number: '34634326278079440059697495108987559220558998514272'+- params:+    x: '1062521751024771376590062279975859'+    part: k+  number: '32394686429925205'+- params:+    x: '1062521751024771376590062279975859'+    part: r+  number: '1.00622507151924869866620624141'+- params:+    x: '6078673043126084065007902175846955'+    part: x+  number: '6078673043126084065007902175846955'+- params:+    x: '6078673043126084065007902175846955'+    part: y+  number: '473928882491000966028828671876527456070714790264145'+- params:+    x: '6078673043126084065007902175846955'+    part: k+  number: '75512937817147150'+- params:+    x: '6078673043126084065007902175846955'+    part: r+  number: '1.03248327527037349400800325099' 

Sign in to restore an earlier version.