back to table · edit · history · where entries came from · files · download
16900 bytes, as of the version from 2026-11-01 11:37 (current). Recorded here, not run.
{
"table": "T647",
"skill_manifest": "../20261101T092014Z-build-skills/manifest.json",
"skill_sha256": {
"local": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278",
"live": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
},
"versions": {
"sage": "10.9",
"numberdb": "0.1.10",
"mpmath": "1.4.1"
},
"product_ball_checks": [
{
"n": 3,
"number": "0.6045997880780726168646927525473852440946887493642468585232949784627077270421179612280416627373533896",
"relative_radius_decimal_digits": "118.9256822",
"recursion_relative_error": "0.0"
},
{
"n": 4,
"number": "0.6168502750680849136771556874922594459571062129525494141508343360137528014012003276876108377324095145",
"relative_radius_decimal_digits": "119.047353",
"recursion_relative_error": "1.953407466e-181"
},
{
"n": 5,
"number": "0.2134876323745788358336868409316402991742383441758780730789046939834139853018021910794721787110552704",
"relative_radius_decimal_digits": "118.768002",
"recursion_relative_error": "5.644167389e-181"
},
{
"n": 6,
"number": "0.1691130052673653424243755775845574848085548362373010793254650336631438462792138822745171306158906121",
"relative_radius_decimal_digits": "118.5236745",
"recursion_relative_error": "1.246905806e-180"
},
{
"n": 7,
"number": "0.05835380581641647181488152843914470246941132696373569296708252897835656170849100537189142052607239641",
"relative_radius_decimal_digits": "118.5673281",
"recursion_relative_error": "1.935863344e-180"
},
{
"n": 8,
"number": "0.03016322776816868466418131352712874665799833765551593364750573290210377026186426892609743858025523862",
"relative_radius_decimal_digits": "118.6054684",
"recursion_relative_error": "2.621585998e-180"
},
{
"n": 9,
"number": "0.01386176785965996163193380976675781153128090657863801241337148535438312157268548029085147922659232376",
"relative_radius_decimal_digits": "118.4340386",
"recursion_relative_error": "3.123933975e-180"
},
{
"n": 10,
"number": "0.004113441639368450993574812693601817608013442918510656448008421890872840229285340689414360993901799664",
"relative_radius_decimal_digits": "118.3100525",
"recursion_relative_error": "3.661653787e-180"
},
{
"n": 11,
"number": "0.003049575858839089305308289173121676237296736007395278116790782223571626830232654319398154624595043988",
"relative_radius_decimal_digits": "118.3430624",
"recursion_relative_error": "3.241249736e-180"
},
{
"n": 12,
"number": "0.0004693320106241962602194089947206197097283448222767702054796409589314114711232279576803426830530200135",
"relative_radius_decimal_digits": "118.3326608",
"recursion_relative_error": "2.63258118e-180"
},
{
"n": 13,
"number": "0.0006469014305458160054403589309851847217963859114150049737426826822267368117487521456990573085029230141",
"relative_radius_decimal_digits": "118.2395304",
"recursion_relative_error": "1.819007701e-180"
},
{
"n": 14,
"number": "0.00004746094484238513868243526491055253496771299191696105635994146268310237996541459271113533386050198397",
"relative_radius_decimal_digits": "118.1550546",
"recursion_relative_error": "0.0"
},
{
"n": 15,
"number": "0.0001360552322099552981849783708428050971380009472639290790539881065226128955775849297418952205923045396",
"relative_radius_decimal_digits": "118.1440733",
"recursion_relative_error": "2.594649243e-180"
},
{
"n": 16,
"number": "0.000004427854768283115155952956427822604414619946140107378053384047947035354063876893578873239136950308262",
"relative_radius_decimal_digits": "118.1416329",
"recursion_relative_error": "7.059082035e-180"
},
{
"n": 17,
"number": "0.00002895602239325643711651519468379401437109825316729697312476839722799146877325928616954622876675911860",
"relative_radius_decimal_digits": "118.0633363",
"recursion_relative_error": "1.257242234e-179"
},
{
"n": 18,
"number": "3.925372199779295129819390921302406327519261381506031576521678473774242387075416755196923946112099863e-7",
"relative_radius_decimal_digits": "117.9861334",
"recursion_relative_error": "2.049226155e-179"
},
{
"n": 19,
"number": "0.000006334160122104528679405009705560641679605053022665081148311052375148770505700190174085526964709283785",
"relative_radius_decimal_digits": "117.9833289",
"recursion_relative_error": "2.888196373e-179"
},
{
"n": 20,
"number": "3.382561596139302444585772085666107864982289416427636816558374563424843245955433265868646062914043296e-8",
"relative_radius_decimal_digits": "117.9349076",
"recursion_relative_error": "4.034229466e-179"
},
{
"n": 21,
"number": "0.000001441843632561958685512639202758372937517380814594438612247965186913138453125455540975067716065371334",
"relative_radius_decimal_digits": "117.9073646",
"recursion_relative_error": "5.244214203e-179"
},
{
"n": 22,
"number": "2.884602599745443883885525961247021955667891660315882415893300051726149685829542072944187266499471640e-9",
"relative_radius_decimal_digits": "117.841924",
"recursion_relative_error": "6.878108242e-179"
}
],
"corpus_determinants": [
{
"n": 3,
"relative_error": "3.0997042e-101"
},
{
"n": 4,
"relative_error": "1.7829903e-101"
},
{
"n": 5,
"relative_error": "2.9517235e-100"
},
{
"n": 6,
"relative_error": "5.0770145e-101"
}
],
"quadratures": [
{
"working_digits": 70,
"cutoff": 330,
"controls": [
{
"a": 0,
"b": 1,
"r": 1,
"value": "1.0",
"relative_error": "0.0"
},
{
"a": 0,
"b": 2,
"r": 1,
"value": "0.5",
"relative_error": "0.0"
}
],
"rows": [
{
"n": 3,
"determinant": "0.604599788078072616864692752547385244094688749364246858523295",
"relative_error": "4.6929704e-72",
"log10_row_norm_product_over_det": "0.0"
},
{
"n": 4,
"determinant": "0.616850275068084913677155687492259445957106212952549414150834",
"relative_error": "6.618275e-72",
"log10_row_norm_product_over_det": "0.0"
},
{
"n": 5,
"determinant": "0.213487632374578835833686840931640299174238344175878073078905",
"relative_error": "5.0433164e-72",
"log10_row_norm_product_over_det": "0.69432399"
},
{
"n": 6,
"determinant": "0.169113005267365342424375577584557484808554836237301079325465",
"relative_error": "1.5053132e-71",
"log10_row_norm_product_over_det": "1.2631913"
},
{
"n": 7,
"determinant": "0.0583538058164164718148815284391447024694113269637356929670825",
"relative_error": "3.7125548e-72",
"log10_row_norm_product_over_det": "2.6936"
},
{
"n": 8,
"determinant": "0.0301632277681686846641813135271287466579983376555159336475057",
"relative_error": "4.8850192e-71",
"log10_row_norm_product_over_det": "4.2281001"
},
{
"n": 9,
"determinant": "0.0138617678596599616319338097667578115312809065786380124133715",
"relative_error": "4.9188125e-71",
"log10_row_norm_product_over_det": "6.622153"
},
{
"n": 10,
"determinant": "0.00411344163936845099357481269360181760801344291851065644800842",
"relative_error": "8.4252307e-71",
"log10_row_norm_product_over_det": "9.3257573"
},
{
"n": 11,
"determinant": "0.00304957585883908930530828917312167623729673600739527811679078",
"relative_error": "5.8124536e-71",
"log10_row_norm_product_over_det": "12.838093"
},
{
"n": 12,
"determinant": "0.000469332010624196260219408994720619709728344822276770205479641",
"relative_error": "1.1655104e-70",
"log10_row_norm_product_over_det": "16.833769"
},
{
"n": 13,
"determinant": "0.000646901430545816005440358930985184721796385911415004973742683",
"relative_error": "1.8831105e-70",
"log10_row_norm_product_over_det": "21.582361"
},
{
"n": 14,
"determinant": "0.0000474609448423851386824352649105525349677129919169610563599415",
"relative_error": "4.8472621e-70",
"log10_row_norm_product_over_det": "26.97054"
},
{
"n": 15,
"determinant": "0.000136055232209955298184978370842805097138000947263929079053988",
"relative_error": "1.2126329e-69",
"log10_row_norm_product_over_det": "33.052236"
},
{
"n": 16,
"determinant": "0.00000442785476828311515595295642782260441461994614010737805338405",
"relative_error": "1.207872e-69",
"log10_row_norm_product_over_det": "39.924013"
},
{
"n": 17,
"determinant": "0.0000289560223932564371165151946837940143710982531672969731247684",
"relative_error": "2.8604688e-70",
"log10_row_norm_product_over_det": "47.421708"
},
{
"n": 18,
"determinant": "0.000000392537219977929512981939092130240632751926138150603157652168",
"relative_error": "1.0458802e-67",
"log10_row_norm_product_over_det": "55.859983"
},
{
"n": 19,
"determinant": "0.00000633416012210452867940500970556064167960505302266508114831105",
"relative_error": "8.2438478e-69",
"log10_row_norm_product_over_det": "64.846594"
},
{
"n": 20,
"determinant": "0.0000000338256159613930244458577208566610786498228941642763681655837",
"relative_error": "5.2006524e-69",
"log10_row_norm_product_over_det": "74.926443"
},
{
"n": 21,
"determinant": "0.00000144184363256195868551263920275837293751738081459443861224797",
"relative_error": "1.0161156e-67",
"log10_row_norm_product_over_det": "85.46727"
},
{
"n": 22,
"determinant": "0.0000000028846025997454438838855259612470219556678916603158824158933",
"relative_error": "3.9556156e-67",
"log10_row_norm_product_over_det": "97.256776"
}
],
"cached_nodes": 2404,
"max_bessel_working_bits": 1196
},
{
"working_digits": 100,
"cutoff": 420,
"controls": [
{
"a": 0,
"b": 1,
"r": 1,
"value": "1.0",
"relative_error": "0.0"
},
{
"a": 0,
"b": 2,
"r": 1,
"value": "0.5",
"relative_error": "0.0"
}
],
"rows": [
{
"n": 3,
"determinant": "0.604599788078072616864692752547385244094688749364246858523294978462707727042117961228041663",
"relative_error": "1.470947e-102",
"log10_row_norm_product_over_det": "0.0"
},
{
"n": 4,
"determinant": "0.616850275068084913677155687492259445957106212952549414150834336013752801401200327687610838",
"relative_error": "3.7870073e-103",
"log10_row_norm_product_over_det": "0.0"
},
{
"n": 5,
"determinant": "0.213487632374578835833686840931640299174238344175878073078904693983413985301802191079472179",
"relative_error": "1.2639274e-102",
"log10_row_norm_product_over_det": "0.69432399"
},
{
"n": 6,
"determinant": "0.169113005267365342424375577584557484808554836237301079325465033663143846279213882274517131",
"relative_error": "6.7676905e-102",
"log10_row_norm_product_over_det": "1.2631913"
},
{
"n": 7,
"determinant": "0.0583538058164164718148815284391447024694113269637356929670825289783565617084910053718914205",
"relative_error": "4.3934651e-102",
"log10_row_norm_product_over_det": "2.6936"
},
{
"n": 8,
"determinant": "0.0301632277681686846641813135271287466579983376555159336475057329021037702618642689260974386",
"relative_error": "2.3707967e-102",
"log10_row_norm_product_over_det": "4.2281001"
},
{
"n": 9,
"determinant": "0.0138617678596599616319338097667578115312809065786380124133714853543831215726854802908514792",
"relative_error": "4.9218595e-102",
"log10_row_norm_product_over_det": "6.622153"
},
{
"n": 10,
"determinant": "0.00411344163936845099357481269360181760801344291851065644800842189087284022928534068941436099",
"relative_error": "2.4127347e-102",
"log10_row_norm_product_over_det": "9.3257573"
},
{
"n": 11,
"determinant": "0.00304957585883908930530828917312167623729673600739527811679078222357162683023265431939815462",
"relative_error": "9.1634239e-101",
"log10_row_norm_product_over_det": "12.838093"
},
{
"n": 12,
"determinant": "0.000469332010624196260219408994720619709728344822276770205479640958931411471123227957680342683",
"relative_error": "6.6561325e-101",
"log10_row_norm_product_over_det": "16.833769"
},
{
"n": 13,
"determinant": "0.000646901430545816005440358930985184721796385911415004973742682682226736811748752145699057309",
"relative_error": "2.4474232e-100",
"log10_row_norm_product_over_det": "21.582361"
},
{
"n": 14,
"determinant": "0.0000474609448423851386824352649105525349677129919169610563599414626831023799654145927111353339",
"relative_error": "1.8247562e-100",
"log10_row_norm_product_over_det": "26.97054"
},
{
"n": 15,
"determinant": "0.000136055232209955298184978370842805097138000947263929079053988106522612895577584929741895221",
"relative_error": "7.973288e-100",
"log10_row_norm_product_over_det": "33.052236"
},
{
"n": 16,
"determinant": "0.00000442785476828311515595295642782260441461994614010737805338404794703535406387689357887323914",
"relative_error": "7.6038228e-100",
"log10_row_norm_product_over_det": "39.924013"
},
{
"n": 17,
"determinant": "0.0000289560223932564371165151946837940143710982531672969731247683972279914687732592861695462288",
"relative_error": "1.1745116e-98",
"log10_row_norm_product_over_det": "47.421708"
},
{
"n": 18,
"determinant": "0.000000392537219977929512981939092130240632751926138150603157652167847377424238707541675519692395",
"relative_error": "1.5880925e-99",
"log10_row_norm_product_over_det": "55.859983"
},
{
"n": 19,
"determinant": "0.00000633416012210452867940500970556064167960505302266508114831105237514877050570019017408552696",
"relative_error": "2.8422564e-99",
"log10_row_norm_product_over_det": "64.846594"
},
{
"n": 20,
"determinant": "0.0000000338256159613930244458577208566610786498228941642763681655837456342484324595543326586864606",
"relative_error": "4.0356582e-97",
"log10_row_norm_product_over_det": "74.926443"
},
{
"n": 21,
"determinant": "0.00000144184363256195868551263920275837293751738081459443861224796518691313845312545554097506772",
"relative_error": "1.4966153e-97",
"log10_row_norm_product_over_det": "85.46727"
},
{
"n": 22,
"determinant": "0.00000000288460259974544388388552596124702195566789166031588241589330005172614968582954207294418727",
"relative_error": "2.3747551e-95",
"log10_row_norm_product_over_det": "97.256776"
}
],
"cached_nodes": 3224,
"max_bessel_working_bits": 1596
}
],
"stored_interval_checks": [],
"negative_control_passed": true,
"elapsed_seconds": 88.73367190361023
}