back to table · edit · history · where entries came from · files · download
23801 bytes, as of the version from 2026-11-02 02:40 (current). Recorded here, not run.
{
"controls": "Passed lines, conics, cubic and quartic exact nonzero controls",
"full_gauss_sum_polynomial_comparisons": 48,
"measurement": {
"block_kb": 15.9677734375,
"entries": 48,
"longest": 1335,
"longest_at": [
8,
97
]
},
"point_count_prime_and_square_comparisons": 48,
"records": [
{
"N": 3,
"coefficients": [
1,
1,
7
],
"genus": 1,
"p": 7,
"points_Fp": 9,
"points_Fp2": 63
},
{
"N": 3,
"coefficients": [
1,
-5,
13
],
"genus": 1,
"p": 13,
"points_Fp": 9,
"points_Fp2": 171
},
{
"N": 3,
"coefficients": [
1,
7,
19
],
"genus": 1,
"p": 19,
"points_Fp": 27,
"points_Fp2": 351
},
{
"N": 3,
"coefficients": [
1,
4,
31
],
"genus": 1,
"p": 31,
"points_Fp": 36,
"points_Fp2": 1008
},
{
"N": 3,
"coefficients": [
1,
-11,
37
],
"genus": 1,
"p": 37,
"points_Fp": 27,
"points_Fp2": 1323
},
{
"N": 3,
"coefficients": [
1,
-8,
43
],
"genus": 1,
"p": 43,
"points_Fp": 36,
"points_Fp2": 1872
},
{
"N": 3,
"coefficients": [
1,
1,
61
],
"genus": 1,
"p": 61,
"points_Fp": 63,
"points_Fp2": 3843
},
{
"N": 3,
"coefficients": [
1,
-5,
67
],
"genus": 1,
"p": 67,
"points_Fp": 63,
"points_Fp2": 4599
},
{
"N": 3,
"coefficients": [
1,
7,
73
],
"genus": 1,
"p": 73,
"points_Fp": 81,
"points_Fp2": 5427
},
{
"N": 3,
"coefficients": [
1,
-17,
79
],
"genus": 1,
"p": 79,
"points_Fp": 63,
"points_Fp2": 6111
},
{
"N": 3,
"coefficients": [
1,
19,
97
],
"genus": 1,
"p": 97,
"points_Fp": 117,
"points_Fp2": 9243
},
{
"N": 4,
"coefficients": [
1,
2,
11,
12,
55,
50,
125
],
"genus": 3,
"p": 5,
"points_Fp": 8,
"points_Fp2": 44
},
{
"N": 4,
"coefficients": [
1,
-6,
3,
60,
39,
-1014,
2197
],
"genus": 3,
"p": 13,
"points_Fp": 8,
"points_Fp2": 140
},
{
"N": 4,
"coefficients": [
1,
-6,
63,
-212,
1071,
-1734,
4913
],
"genus": 3,
"p": 17,
"points_Fp": 12,
"points_Fp2": 380
},
{
"N": 4,
"coefficients": [
1,
10,
-13,
-420,
-377,
8410,
24389
],
"genus": 3,
"p": 29,
"points_Fp": 40,
"points_Fp2": 716
},
{
"N": 4,
"coefficients": [
1,
2,
107,
140,
3959,
2738,
50653
],
"genus": 3,
"p": 37,
"points_Fp": 40,
"points_Fp2": 1580
},
{
"N": 4,
"coefficients": [
1,
-30,
423,
-3460,
17343,
-50430,
68921
],
"genus": 3,
"p": 41,
"points_Fp": 12,
"points_Fp2": 1628
},
{
"N": 4,
"coefficients": [
1,
-14,
-37,
1260,
-1961,
-39326,
148877
],
"genus": 3,
"p": 53,
"points_Fp": 40,
"points_Fp2": 2540
},
{
"N": 4,
"coefficients": [
1,
10,
83,
220,
5063,
37210,
226981
],
"genus": 3,
"p": 61,
"points_Fp": 72,
"points_Fp2": 3788
},
{
"N": 4,
"coefficients": [
1,
18,
327,
2844,
23871,
95922,
389017
],
"genus": 3,
"p": 73,
"points_Fp": 92,
"points_Fp2": 5660
},
{
"N": 4,
"coefficients": [
1,
-30,
567,
-6340,
50463,
-237630,
704969
],
"genus": 3,
"p": 89,
"points_Fp": 60,
"points_Fp2": 8156
},
{
"N": 4,
"coefficients": [
1,
-54,
1263,
-16308,
122511,
-508086,
912673
],
"genus": 3,
"p": 97,
"points_Fp": 44,
"points_Fp2": 9020
},
{
"N": 4,
"coefficients": [
1,
2,
299,
396,
30199,
20402,
1030301
],
"genus": 3,
"p": 101,
"points_Fp": 104,
"points_Fp2": 10796
},
{
"N": 5,
"coefficients": [
1,
3,
-24,
-20,
645,
408,
-7131,
4488,
78045,
-26620,
-351384,
483153,
1771561
],
"genus": 6,
"p": 11,
"points_Fp": 15,
"points_Fp2": 65
},
{
"N": 5,
"coefficients": [
1,
33,
546,
6380,
58695,
434808,
2649259,
13479048,
56405895,
190066580,
504242466,
944761983,
887503681
],
"genus": 6,
"p": 31,
"points_Fp": 65,
"points_Fp2": 965
},
{
"N": 5,
"coefficients": [
1,
-27,
456,
-5670,
57345,
-473742,
3305729,
-19423422,
96396945,
-390782070,
1288547016,
-3128117427,
4750104241
],
"genus": 6,
"p": 41,
"points_Fp": 15,
"points_Fp2": 1865
},
{
"N": 5,
"coefficients": [
1,
3,
276,
730,
36645,
80658,
2840869,
4920138,
136356045,
165696130,
3821452116,
2533788903,
51520374361
],
"genus": 6,
"p": 61,
"points_Fp": 65,
"points_Fp2": 4265
},
{
"N": 5,
"coefficients": [
1,
-57,
1686,
-33820,
507795,
-5965392,
56029839,
-423542832,
2559794595,
-12104550020,
42844094166,
-102841073007,
128100283921
],
"genus": 6,
"p": 71,
"points_Fp": 15,
"points_Fp2": 5165
},
{
"N": 5,
"coefficients": [
1,
-87,
3666,
-99470,
1936995,
-28489542,
324275199,
-2877443742,
19759285995,
-102484040470,
381485430066,
-914378743587,
1061520150601
],
"genus": 6,
"p": 101,
"points_Fp": 15,
"points_Fp2": 9965
},
{
"N": 6,
"coefficients": [
1,
4,
-8,
-80,
10,
940,
1394,
-6484,
-19387,
20620,
182860,
144340,
-949963,
-2224012,
3346994,
15798580,
1176490,
-65883440,
-46118408,
161414428,
282475249
],
"genus": 10,
"p": 7,
"points_Fp": 12,
"points_Fp2": 18
},
{
"N": 6,
"coefficients": [
1,
4,
40,
372,
1434,
9588,
53394,
179988,
953781,
3914656,
11400076,
50890528,
161188989,
395433636,
1524986034,
3559957284,
6921644106,
23342448324,
32629228840,
42417997492,
137858491849
],
"genus": 10,
"p": 13,
"points_Fp": 18,
"points_Fp2": 234
},
{
"N": 6,
"coefficients": [
1,
-8,
4,
64,
-2,
1096,
11186,
-143128,
163409,
680968,
180436,
12938392,
58990649,
-981714952,
1457770706,
2713804504,
-94091762,
57207791296,
67934252164,
-2581501582232,
6131066257801
],
"genus": 10,
"p": 19,
"points_Fp": 12,
"points_Fp2": 306
},
{
"N": 6,
"coefficients": [
1,
16,
358,
3952,
51565,
442432,
4257224,
29837504,
229268306,
1339104736,
8499564964,
41512246816,
220326842066,
888889081664,
3931635765704,
12666452535232,
45764127310765,
108729850966672,
305334991403878,
423033954570736,
819628286980801
],
"genus": 10,
"p": 31,
"points_Fp": 48,
"points_Fp2": 1422
},
{
"N": 6,
"coefficients": [
1,
52,
1360,
23484,
297714,
2911620,
22431858,
136554036,
656286045,
2638497112,
12336924604,
97624393144,
898455595605,
6916871585508,
42040913421138,
201903252080340,
763852672129026,
2229380202591372,
4776972057332560,
6758010469344004,
4808584372417849
],
"genus": 10,
"p": 37,
"points_Fp": 90,
"points_Fp2": 1386
},
{
"N": 6,
"coefficients": [
1,
-32,
622,
-8288,
91909,
-897152,
8356328,
-71448448,
563282738,
-4013872064,
27122718868,
-172596498752,
1041509782562,
-5680651755136,
28568622522728,
-131888918654336,
580990156470541,
-2252832648854816,
7270060572667822,
-16082963581978976,
21611482313284249
],
"genus": 10,
"p": 43,
"points_Fp": 12,
"points_Fp2": 2070
},
{
"N": 6,
"coefficients": [
1,
-44,
736,
-4596,
-9726,
81444,
4158690,
-58498860,
318685965,
-769767320,
1365987580,
-46955806520,
1185830475765,
-13278129741660,
57580560508290,
68787301138644,
-501087161035086,
-14444046074352516,
141096582365998816,
-514542428084702204,
713342911662882601
],
"genus": 10,
"p": 61,
"points_Fp": 18,
"points_Fp2": 3258
},
{
"N": 6,
"coefficients": [
1,
16,
-164,
-2816,
23782,
258544,
-3145150,
-16736848,
292235177,
526615408,
-20640392828,
35283232336,
1311843709553,
-5033824615024,
-63378298213150,
349066745664208,
2151281244743158,
-17066963880589568,
-66595099119289124,
435304550340719152,
1822837804551761449
],
"genus": 10,
"p": 67,
"points_Fp": 84,
"points_Fp2": 3906
},
{
"N": 6,
"coefficients": [
1,
16,
100,
-3732,
-58146,
-338640,
5958402,
89134152,
486014865,
-5187184724,
-73710548204,
-378664484852,
2589973215585,
34674700408584,
169208135970882,
-702024964253520,
-8799479921800194,
-41228891273270004,
80646009189408100,
941945387332286608,
4297625829703557649
],
"genus": 10,
"p": 73,
"points_Fp": 90,
"points_Fp2": 5274
},
{
"N": 6,
"coefficients": [
1,
4,
352,
208,
53794,
-168116,
5538770,
-35964436,
521965421,
-3882590036,
45266926588,
-306724612844,
3257586192461,
-17731869561004,
215735540140370,
-517302413574284,
13076646582296674,
3994413069121072,
534022301087109472,
479406383930473276,
9468276082626847201
],
"genus": 10,
"p": 79,
"points_Fp": 84,
"points_Fp2": 6930
},
{
"N": 6,
"coefficients": [
1,
-80,
3364,
-94020,
1908894,
-28891824,
318857298,
-2230842936,
1835258577,
190567428604,
-2756157412556,
18485040574588,
17267947950993,
-2036030114927928,
28228207333542738,
-248103923333358768,
1590055262376938526,
-7596654706632184260,
26365126611484096804,
-60818484692365217360,
73742412689492826049
],
"genus": 10,
"p": 97,
"points_Fp": 18,
"points_Fp2": 9738
},
{
"N": 7,
"coefficients": [
1,
-9,
120,
-630,
-378,
25368,
-463988,
2401689,
-7085364,
-30799437,
827109444,
-4366079676,
19137802838,
12672684654,
-823533229317,
4658590961810,
-23882463650193,
10657727794014,
466751873415982,
-3088045199320956,
16964965045191156,
-18320223401270277,
-122221652604241476,
1201436307297891129,
-6731141647051505572,
10672501094359498968,
-4611792691436803362,
-222903313419445495830,
1231275445555032262680,
-2678024094082195171329,
8629188747598184440949
],
"genus": 15,
"p": 29,
"points_Fp": 21,
"points_Fp2": 1001
},
{
"N": 7,
"coefficients": [
1,
75,
2682,
60718,
976584,
11917668,
116220398,
964731309,
7505498946,
60805335531,
522731364498,
4398297936480,
33546291860116,
227882457067734,
1439362803807081,
9176447378293162,
61892600563704483,
421354663118240166,
2667165026922242812,
15036905383535760480,
76845924002116456614,
384372601207710194019,
2040134299166772393222,
11275972753664176109709,
58411513391159444323514,
257558471197593669211332,
907533397267764556092888,
2426268862748189113915918,
4608384381325103886021726,
5541401800810387782408675,
3177070365797955661914307
],
"genus": 15,
"p": 43,
"points_Fp": 119,
"points_Fp2": 1589
},
{
"N": 7,
"coefficients": [
1,
-51,
456,
19852,
-415212,
-2295174,
122357452,
-284618457,
-20770054626,
143727866565,
2284537562076,
-26400525763374,
-158921687063272,
3095643343931460,
4773237253186611,
-257705907076333098,
338899844976249381,
15605138096758489860,
-56879819938502744792,
-670881738931141571694,
4121829722959503692676,
18411580514336103001365,
-188906142519814842266766,
-183793373665469783610777,
5609905725929592825029012,
-7471350361945553075623974,
-95964749156435950319302452,
325765021767201382636952332,
531279888410986901282186616,
-4218781745474086775313152931,
5873205959385493353867330551
],
"genus": 15,
"p": 71,
"points_Fp": 21,
"points_Fp2": 3353
},
{
"N": 8,
"coefficients": [
1,
6,
141,
680,
10266,
43956,
538330,
2123880,
22548489,
82995982,
789784749,
2733074208,
23823188120,
77965581168,
630703816920,
1957512187808,
14817525616770,
43671772241004,
311314713382650,
871982024986416,
5878104016946364,
15636339735318968,
99927768288088188,
252002805221074224,
1529489186848959450,
3647510089340895084,
21038767469650201890,
47249585501556558752,
258802167290987747160,
543868982974565471088,
2825141290539357615640,
5509860932802481519392,
27067421023077955689117,
48355304713920973820302,
223333268824621158479193,
357614298272980445084520,
1540928201319279135845690,
2138951350086812870950836,
8492448528525133221041082,
9562897427406052993886120,
33709213431606336803448573,
24385388439885435134409606,
69091933913008732880827217
],
"genus": 21,
"p": 17,
"points_Fp": 24,
"points_Fp2": 536
},
{
"N": 8,
"coefficients": [
1,
-26,
533,
-8312,
122666,
-1574028,
19013466,
-209467960,
2216510649,
-21916321362,
208625544197,
-1879933013856,
16429291281112,
-137089498536336,
1111036482115160,
-8641848719268576,
65516694461303874,
-478378721603375828,
3405708715098910538,
-23397199080655977616,
156990864391949059740,
-1017474399394172079560,
6436625440069911449340,
-39330691654582698372496,
234724850353332013189498,
-1351783934736676883105108,
7590515322364408348222674,
-41049682251478081275630816,
216379103329638628822135960,
-1094649395510335728943840656,
5378653160332284253006164632,
-25233700370897101070604668256,
114812693729210403890877846877,
-494508704471195240429487362322,
2050500877704164261970135139329,
-7944957844895484474548708261560,
29567808938748896356391444901066,
-100358499912529517826806677047948,
320663676733250094142839759977146,
-890871274202124191570008376258552,
2342181178433472083539387998842413,
-4684362356866944167078775997684826,
7386879101213258109624223688656841
],
"genus": 21,
"p": 41,
"points_Fp": 16,
"points_Fp2": 2072
},
{
"N": 8,
"coefficients": [
1,
6,
1365,
7752,
897546,
4819380,
378128762,
1916957832,
114509141721,
547116928590,
26506409478309,
119098921082784,
4868542232903256,
20517032158376304,
726976653947232984,
2864116576121927712,
89688356528528160450,
329049629114268239724,
9239816483395128674634,
31418275975029190547952,
800054193069497208962268,
2506791012239852343773112,
58403956094073296254245564,
167427992670930556430036208,
3594445688920922771620094778,
9344430668547606010327925484,
185930384142147823529441096850,
433438866048911702422708020768,
8031200810234753907022432295448,
16546167639837969165276908256624,
286618806207228311934765058024728,
511842599535198122543376045414816,
8315767991947637136878051947094493,
12530098185616359875601860367285390,
191442052178339408895376452246137793,
233955145520042182453322906664993288,
3368857294899905734930259688828517034,
3134418146436355090488985946426592180,
42613316709883766775291842261828773338,
26867375569448679046055079481831410888,
345355990533760787350897625769748573005,
110817526632811153743364952444798443206,
1348279907365869037210940254745047725673
],
"genus": 21,
"p": 73,
"points_Fp": 80,
"points_Fp2": 8024
},
{
"N": 8,
"coefficients": [
1,
-10,
-475,
5640,
111946,
-1621420,
-18339494,
327701320,
2603917081,
-55204588290,
-339415701067,
8307365368480,
37797318477656,
-1117328702571280,
-3455386656469672,
133996121093540640,
271466328269660098,
-14640318060021717940,
-17873872210315066902,
1481727029445083565680,
616505419786283819612,
-138038759818475275541640,
54868982360979259945468,
11736759800234506923751280,
-12600525818233602398836038,
-918566364038535092225503540,
1515884115459531290255166002,
66593565244834310305518155040,
-152836364395852280184076896488,
-4398463662831730815350346833680,
13242532571618035794172016990104,
259037940275843684624460698296480,
-941937314414884333019690970601763,
-13635003540401244601380092442369090,
57239685231113575298727160214455889,
641118462784575016535556625226290120,
-3193283292041354535706578767625360406,
-25126710267413631114598751968886216620,
154396941554954228416563011449158971834,
692307798250270885033658810739283560840,
-5189239746636560578864880536170782364275,
-9722996577908502979346828794088413272010,
86534669543385676516186776267386878120889
],
"genus": 21,
"p": 89,
"points_Fp": 80,
"points_Fp2": 6872
},
{
"N": 8,
"coefficients": [
1,
54,
1437,
25704,
390234,
5935572,
87220538,
1109030184,
12554028873,
147245194494,
1853852556285,
21898361348640,
236131223227800,
2653271545055472,
32313066126033240,
369391267134659232,
3748816321440597378,
37790368631549472204,
410179270163055996954,
4297895264148377292720,
40334279590385368799292,
376864719206645717749368,
3912425120267380773531324,
40438896540372081947202480,
374359545037526805907998042,
3345554163676028690149605324,
32192361313205494098228046146,
307692584388420925504239354528,
2610840309211310503676290476120,
20794839542222220741222023780592,
179514289815867854384980347432600,
1614837999795049571795984562723360,
13260633346290850660517426206792605,
102164953392949427800161741428704254,
844920152224980114667576741573722921,
7240151369140127154358983132835571496,
55232509405650525843384220042065031034,
364594678639082031220478975802481773012,
2325115803991969623991649345067442565658,
14855659252406325332653975338552032215656,
80560048534611939067588895442943869378621,
293648945180443519022985827647974939321654,
527480512638944839726474542256547576188897
],
"genus": 21,
"p": 97,
"points_Fp": 152,
"points_Fp2": 9368
}
],
"rows": 48,
"skill_manifest": "agents/runs/20261102T021426Z-build-skills/manifest.json",
"skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"stored_rows_checked": 48,
"table": "T666",
"versions": {
"numberdb": "0.1.10",
"python": "3.12.3",
"sage": "10.9"
}
}