back to table · edit · history · where entries came from · files · download
12994 bytes, as of the version from 2026-11-01 18:35 (current). Recorded here, not run.
{
"source_tables": {
"T129": {
"sha256": "3da7bef8dbcd707f4b8e7bc4ead6eecf1754d8c82018971a6ba7801396120b44",
"title": "Hilbert class polynomials $H_\\Delta$"
},
"T309": {
"sha256": "955114ac58a324565a5b9385d9172096a0070de95ebcdae06ca3e5c691d2b46b",
"title": "Canonical modular polynomials $\\Phi^c_\\ell$"
},
"T634": {
"sha256": "7554bf6ac6f5bff152c9f6c190e6e59c03c068ac6971b370961fc9254866e207",
"title": "Values of monstrous McKay–Thompson series at rectangular CM points"
}
},
"hilbert": {
"1": "x - 1728",
"2": "x - 8000",
"3": "x - 54000",
"4": "x - 287496",
"5": "x^2 - 1264000*x - 681472000",
"6": "x^2 - 4834944*x + 14670139392",
"7": "x - 16581375",
"8": "x^2 - 52250000*x + 12167000000",
"9": "x^2 - 153542016*x - 1790957481984",
"10": "x^2 - 425692800*x + 9103145472000"
},
"canonical": {
"2": "x^3 + 48*x^2 - x*y + 768*x + 4096",
"3": "x^4 + 36*x^3 + 270*x^2 - x*y + 756*x + 729",
"5": "x^6 + 30*x^5 + 315*x^4 + 1300*x^3 + 1575*x^2 - x*y + 750*x + 125",
"7": "x^8 + 28*x^7 + 322*x^6 + 1904*x^5 + 5915*x^4 + 8624*x^3 + 4018*x^2 - x*y + 748*x + 49",
"13": "x^14 + 26*x^13 + 325*x^12 + 2548*x^11 + 13832*x^10 + 54340*x^9 + 157118*x^8 + 333580*x^7 + 509366*x^6 + 534820*x^5 + 354536*x^4 + 124852*x^3 + 15145*x^2 - x*y + 746*x + 13"
},
"cm_values": {
"2A": {
"1": "544",
"2": "7228.955262170047126884390682945215004281146875980064990259367318775904444001478301011007589251868089",
"3": "53252.37735580382259096992902503984721422492038329882360925384678561457515870464056734153665738590321",
"4": "286751.3283844847564869827304728758726326358510695381235848480677066706607673100603641892634117958651",
"5": "1263794.757133210670609885484221656537599763317609044122005691837930839039620876892225747014600939619",
"6": "4831163.863502468009700882622664714481872069357478678281776182019557545301600621663430077625566362615",
"7": "16580630.98838926632809964913103187015411188618636281461878537215197770827581292876359428878563664091",
"8": "52249023.13403366792150756116673719398917048220898312491529781526162665812851267958940490108087295962",
"9": "153552935.3954751661925675396731651059132461491720294729890536941998161012328956132924175152770477414",
"10": "425670670.6183373278259870505787283402651695069891063660106869529812260859643461700806119483659227640"
},
"2B": {
"1": "536",
"2": "7228.386719675123324932323133976827081138360000964987067332300129256275144862994019456992087878762426",
"3": "53252.30040425795522858157580553019955624148869852744644693719520438169113971916856956640542859133812",
"4": "286751.3140991348836673199961054823524130790560382134878663590851185484957365745631704968866799989921",
"5": "1263794.753892116518537380314606282467112449272691763482405998921369499485271263658544270484238968597",
"6": "4831163.862654634968959786635803928560278282684257720901197513651837311685937138975674804299623243392",
"7": "16580630.98814223073990138286708340418833755453463787269317335392783899709346269993056952548619479393",
"8": "52249023.13395527407534988203393452962614279677954355236988671978993834003019833438322897851909885112",
"9": "153552935.3954484913482889348014341156307568649744961312069400876942684383179378852891346884310817288",
"10": "425670670.6183277053630981010677443616306412717717448313938269610533865206312459894192657917067286131"
},
"3A": {
"1": "536.9845356715713853126109853729865576463912826401439455133755725479247468406784062296325593752177607",
"2": "7228.457065492307310975245612771777866702419531836111706998000377917398309577850678642035334600356182",
"3": "53252.30992875493446456055937262844428617686193388159872120843276943898583969741907075033978328578760",
"4": "286751.3158673478324504873361506420162543044231208658411217781089616156700332706007909730996452916562",
"5": "1263794.754293295967138590572219616995120777618257863439180375492591689112349405812027357476442478051",
"6": "4831163.862759579084570210359884700692778883511949804793311792181772778913902414357576361146741293067",
"7": "16580630.98817280862604460679989679147475750601872087429495895043030085072964632227077860357970621232",
"8": "52249023.13396497760997619517008897390118720449361723499222804432926165209651099981451366878391151817",
"9": "153552935.3954517931416965787328830838672939686262455331071530899515776334621845578054130696196930874",
"10": "425670670.6183288964247807096505868642316366724204791777804666176122006578161915032320309545096888976"
},
"3B": {
"1": "535.5922308261581215514463073239513234447344511172816617450407306712131487392256060071456822546742693",
"2": "7228.356044977873667171640180921189649486351426797425047254865763051900230332765308695115053466565462",
"3": "53252.29623611887611300363193476521210759323656276761041491237547639906374065526688253379236682168515",
"4": "286751.3133249688626933616445559691084057560777808143343586361655220589608100270918386277165968205979",
"5": "1263794.753716456318190857552374868075174037541027009314353128958690176792251351466591404640401643190",
"6": "4831163.862608683393287518841255393434219276777936109328963620203628624399685547270192309532766565763",
"7": "16580630.98812884163057103978974507879005813318647258494367590890528911233439546862728539069144027850",
"8": "52249023.13395102519280735996636967675150060527903674116025196017530371638516664845704891761490454555",
"9": "153552935.3954470455928783605616404064286056299728278684910077589385863934497960489546346045562243129",
"10": "425670670.6183271838331673571087946615324799128073083664312274706872641749195075401737981125658915267"
},
"5A": {
"1": "535.7445651649735017475558822601408056655179133110522412581330529217256366303634173262162154557265666",
"2": "7228.367128522558780266812001257939998999054682439077848491650779381832085030482420050152669854771921",
"3": "53252.29773869636663138028498529523171741813579273854518460039457211077159600999285251837856728543127",
"4": "286751.3136039664184036644915429508500366598811523951995338817811428928259192847574875674069101657681",
"5": "1263794.753779758259641010530350646451126333062673113279783181959899604837622691636912482233409949263",
"6": "4831163.862625242585920726244486151140113017650161350012581545703301063867002059462775487030886157718",
"7": "16580630.98813366654046002909279448327344360835806361757929766539570232569950053456783614687270491499",
"8": "52249023.13395255632221805163966830865199001142200442492162039496749506567641461330308421095215297576",
"9": "153552935.3954475665858847029785796878945831878911129481870058873838791797120831036498455327614446889",
"10": "425670670.6183273717718896744157933829643197910016298289696416161700460996242117344694086632249217508"
},
"5B": {
"1": "535.5084971874737120511467085914095294300772949514407155338621556763151157047256124268018010473477844",
"2": "7228.349821136030064839876398378178425331594175244868276779872599523244877504719507608221365714999719",
"3": "53252.29539111520475288126082062864005700593447262801312598228878368409658177388890097212714791634443",
"4": "286751.3131680395025668673338252379058706432003909494679464199452239057743769447394538857007414800694",
"5": "1263794.753680849324396942949807574781411269916470595392085729720553118646864053648277930931926753561",
"6": "4831163.862599368871263688589430818861019764479439412773375562850677236127805321925648610201350006097",
"7": "16580630.98812612762078181936486587751202603852778020763072680290474573010661482623834528094734678399",
"8": "52249023.13395016393271760344876312755635673176711479187556178309246844142807002984561963251612337164",
"9": "153552935.3954467525343358843561838615708651525148428522289969828323320644155571349956302356075189240",
"10": "425670670.6183270781176391235119019180958883565394504633437727018754720725601596183458448481460868741"
},
"7A": {
"1": "535.5876109807803276438757841972456778933651610630587665330183021314773801099720121026696335765711469",
"2": "7228.355635306714305556495397811733912670946357787374373537259984146863525093165609756995404145904935",
"3": "53252.29617988201961052471011652384950807461321555263757982358362530113864359260079717935453208547620",
"4": "286751.3133145102408998016432112841080644937223131278743649097101052501381678926358133840283554192859",
"5": "1263794.753714082690324672533957628722769410283711459130695396493597901493608502508322786106198971821",
"6": "4831163.862608062436903460565714072531624298462756930242963270427263025714144335284061043611437627867",
"7": "16580630.98812866069758272522293802662817941470999550575580068574289064598455625474858645894508907051",
"8": "52249023.13395096777556850830866008313321820642141458580658928418722615712348403508717286724434048357",
"9": "153552935.3954470260556538275455058767604018237357607845863997717486462972392599689773360830863868700",
"10": "425670670.6183271767854669885193893569204875952623871272542190904023302759104019757226184317438595982"
},
"7B": {
"1": "535.4954182763560686436830813227425349146283717482586416197188687931364173446399722164283599686775216",
"2": "7228.348852688515882757014048909406348928422184591036580474245752716804527250251934633767533973811990",
"3": "53252.29525966476643740429596745202647849438211071081719570376861740140476961738445050448295341027184",
"4": "286751.3131436280817513512328809213873263036107027562935893620188132652837065890611156477463657989867",
"5": "1263794.753675310449067565709450496732452020890663914725415659745852147867065815158793891070797701486",
"6": "4831163.862597919944956681843744830753368286776125179682219446123577432894832442724987350186199449703",
"7": "16580630.98812570544142533795512789749981757230647920990848288015074986710273453686940189315295543619",
"8": "52249023.13395002995892023057866352140044578067006139600486271566518172972445211201131917081409896716",
"9": "153552935.3954467069474508469738620087952618736660004105825251335520811433926348362212773794530972277",
"10": "425670670.6183270616730013134172968458525492829849721302948845231013657729748243830044670554590912735"
},
"13A": {
"1": "535.5141629145616120439339255957304911553837445382913449269031883986782323844516882820164229783030740",
"2": "7228.350236513346409214014042164751558834331242142879268469965771031927904976018449429060394988435544",
"3": "53252.29544745715273727339140582908943181591480907524008222516726617770494790975203806669902564594937",
"4": "286751.3131785017485475866134397924227678369171903159451382219083842218711266467095459490431892091163",
"5": "1263794.753683223138842808002920346575154786726983000740182973082666123463439661529614373289236512784",
"6": "4831163.862599989840415457626177661561134236299160353331166845046584178193486961084385040570580464192",
"7": "16580630.98812630855485409640162686035810405847342640673260512538326241498983589592535739924454523941",
"8": "52249023.13395022135006561420545001337078402020726292482795960683475132072468215070617172192288935691",
"9": "153552935.3954467720715730560031255044209974811814499678472782509483515820177089668408277808763391020",
"10": "425670670.6183270851653411367335955077305449324917243273255918342264080580969720711984086371897226331"
},
"13B": {
"1": "535.4897950632544307595445381200371826372250042560201673461231254206715691054517906077397295745442317",
"2": "7228.348437541139026501293211590681413055692885015889126176366818763371432622849298597534707894681157",
"3": "53252.29520332705072822825157102928111810229832025739150074647624150224764840145080365490777405108683",
"4": "286751.3131331659817136384599081510646255540447820785873592184256826210227667403169737667798362587104",
"5": "1263794.753672936642135006546294871458047709691192940126613774367309905510171508216409799151603254772",
"6": "4831163.862597298976319049351122065493095179278998285470130014176141095538553914310179401031591699563",
"7": "16580630.98812552450739671042716728058729075187948172830717226190080882876806524420729303122687109477",
"8": "52249023.13394997254157661549081896772865116306969824933304517992927417264949038424976412938978577513",
"9": "153552935.3954466874102141842650905004015961882970255714736076167745414187670000392765751178233931351",
"10": "425670670.6183270546252993664224076012387832096730115940019422340008521270403258531281965731883410730"
}
}
}