back to table · edit · history · where entries came from · files · download
52857 bytes, as of the version from 2026-10-30 13:35 (current). Recorded here, not run.
{
"table": "T626",
"skill_manifest": "agents/runs/20261030T125612Z-build-skills/manifest.json",
"skill_sha256": "28ecbeeccb0c5e5d6eb541b5a5b0f88aec47b154374d909085116d34f5629199",
"entries": 84,
"group_counts": {
"triangular,A": 48,
"honeycomb,B": 21,
"honeycomb,A": 15
},
"graph_checks": {
"triangular": {
"vertices_including_origin": 469,
"shell_counts": {
"0": 1,
"1": 6,
"2": 12,
"3": 18,
"4": 24,
"5": 30,
"6": 36,
"7": 42,
"8": 48,
"9": 54,
"10": 60,
"11": 66,
"12": 72
},
"orbits": 48
},
"honeycomb": {
"vertices_including_origin": 235,
"shell_counts": {
"0": 1,
"1": 3,
"2": 6,
"3": 9,
"4": 12,
"5": 15,
"6": 18,
"7": 21,
"8": 24,
"9": 27,
"10": 30,
"11": 33,
"12": 36
},
"orbits": 36
}
},
"working_precision_bits": 461,
"minimum_relative_accuracy_bits": 418,
"maximum_cancellation_bits": "39.0973670829",
"quadrature_working_digits": [
125,
150
],
"maximum_quadrature_error": "6.87360681787e-151",
"maximum_precision_difference": "2.63271931044e-126",
"exact_harmonicity_checks": 84,
"serialized_enclosures_checked": 84,
"torus_checks": [
{
"side": 64,
"maximum_absolute_error": 0.01172655293356506,
"adjacent_controls_passed": true
},
{
"side": 128,
"maximum_absolute_error": 0.0029298094178833445,
"adjacent_controls_passed": true
},
{
"side": 256,
"maximum_absolute_error": 0.0007324237799662958,
"adjacent_controls_passed": true
}
],
"versions": {
"numberdb": "0.1.10",
"mpmath": "1.4.1",
"numpy": "2.4.4"
},
"records": [
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "1",
"n": "0"
},
"number": "1/3",
"exact_coefficients": [
"1/3",
"0"
],
"relative_accuracy_bits_lower_bound": null,
"integral_150_digits": "0.3333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333333",
"quadrature_absolute_error": "2.5457803e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "0",
"n": "0"
},
"number": "2/3",
"exact_coefficients": [
"2/3",
"0"
],
"relative_accuracy_bits_lower_bound": null,
"integral_150_digits": "0.6666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666666667",
"quadrature_absolute_error": "5.0915606e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "2",
"n": "0"
},
"number": "0.4613510849794984686213606734147889010771207452001040554692025855025454527895874873051465513739831098",
"exact_coefficients": [
"8/3",
"-4"
],
"relative_accuracy_bits_lower_bound": 454,
"integral_150_digits": "0.4613510849794984686213606734147889010771207452001040554692025855025454527895874873051465513739831098358743893642723424930262969358722292800557978",
"quadrature_absolute_error": "1.7432428e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "2",
"n": "1"
},
"number": "0.4359911241769174323559863299592722161281062940666146389320653739153939402718729230140933909796751117",
"exact_coefficients": [
"-2/3",
"2"
],
"relative_accuracy_bits_lower_bound": 455,
"integral_150_digits": "0.4359911241769174323559863299592722161281062940666146389320653739153939402718729230140933909796751117487294719845304954201535181987305520266387678",
"quadrature_absolute_error": "2.310604e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "1",
"n": "0"
},
"number": "1",
"exact_coefficients": [
"1",
"0"
],
"relative_accuracy_bits_lower_bound": null,
"integral_150_digits": "1.0",
"quadrature_absolute_error": "7.6373409e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "3",
"n": "0"
},
"number": "0.5362130197539816234563280809774668129254489424012486656304310260305454334750498476617586164877973180",
"exact_coefficients": [
"27",
"-48"
],
"relative_accuracy_bits_lower_bound": 452,
"integral_150_digits": "0.5362130197539816234563280809774668129254489424012486656304310260305454334750498476617586164877973180304926723712681099163155632304667513606695735",
"quadrature_absolute_error": "1.993109e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "3",
"n": "1"
},
"number": "0.5132889542179204951132649831296944139738648036664065279936602029103030346926979484038002882317088921",
"exact_coefficients": [
"-5",
"10"
],
"relative_accuracy_bits_lower_bound": 454,
"integral_150_digits": "0.5132889542179204951132649831296944139738648036664065279936602029103030346926979484038002882317088920769806932559858104341009243269860934665271722",
"quadrature_absolute_error": "2.6427888e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "0",
"n": "1"
},
"number": "1.102657790843584099022652996625938882794772960733281305598732040582060606938539589680760057646341778",
"exact_coefficients": [
"0",
"2"
],
"relative_accuracy_bits_lower_bound": 457,
"integral_150_digits": "1.102657790843584099022652996625938882794772960733281305598732040582060606938539589680760057646341778415396138651197162086820184865397218693305434",
"quadrature_absolute_error": "1.1220835e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "1",
"n": "1"
},
"number": "1.230675542489749234310680336707394450538560372600052027734601292751272726394793743652573275686991555",
"exact_coefficients": [
"7/3",
"-2"
],
"relative_accuracy_bits_lower_bound": 456,
"integral_150_digits": "1.230675542489749234310680336707394450538560372600052027734601292751272726394793743652573275686991554917937194682136171246513148467936114640027899",
"quadrature_absolute_error": "1.0377138e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "4",
"n": "0"
},
"number": "0.5891518971297856069904942780704461507969043280145677656883619703563633905422482227205171923576353770",
"exact_coefficients": [
"928/3",
"-560"
],
"relative_accuracy_bits_lower_bound": 448,
"integral_150_digits": "0.5891518971297856069904942780704461507969043280145677656883619703563633905422482227205171923576353770224145109981279490236815710221120992078116911",
"quadrature_absolute_error": "7.2964255e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "4",
"n": "1"
},
"number": "0.5700986139893823374497917840600884988654694869300035583188505972518788440665337395686436893658738186",
"exact_coefficients": [
"-70",
"128"
],
"relative_accuracy_bits_lower_bound": 450,
"integral_150_digits": "0.5700986139893823374497917840600884988654694869300035583188505972518788440665337395686436893658738185853528736766183735564918313854219963715478039",
"quadrature_absolute_error": "2.2339674e-153"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "4",
"n": "2"
},
"number": "0.5627909281898226136828580472368556408731785497340617216177514318511515028604457444693591929512151022",
"exact_coefficients": [
"16",
"-28"
],
"relative_accuracy_bits_lower_bound": 452,
"integral_150_digits": "0.5627909281898226136828580472368556408731785497340617216177514318511515028604457444693591929512151021844540588832397307845174118844389382937239179",
"quadrature_absolute_error": "3.2924686e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "2",
"n": "0"
},
"number": "1.384053254938495405864082020244366703231362235600312166407607756507636358368762461915439654121949330",
"exact_coefficients": [
"8",
"-12"
],
"relative_accuracy_bits_lower_bound": 455,
"integral_150_digits": "1.384053254938495405864082020244366703231362235600312166407607756507636358368762461915439654121949329507623168092817027479078890807616687840167393",
"quadrature_absolute_error": "9.0483989e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "2",
"n": "1"
},
"number": "1.307973372530752297067958989877816648384318882199843916796196121746181820815618769042280172939025335",
"exact_coefficients": [
"-2",
"6"
],
"relative_accuracy_bits_lower_bound": 456,
"integral_150_digits": "1.307973372530752297067958989877816648384318882199843916796196121746181820815618769042280172939025335246188415953591486260460554596191656079916303",
"quadrature_absolute_error": "3.1131415e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "5",
"n": "0"
},
"number": "0.6301777984807299896464781384744651644386001735102276309777286876606030756320617520824706691046200543",
"exact_coefficients": [
"11249/3",
"-6800"
],
"relative_accuracy_bits_lower_bound": 444,
"integral_150_digits": "0.6301777984807299896464781384744651644386001735102276309777286876606030756320617520824706691046200543197952525963155714780381243161231094281895822",
"quadrature_absolute_error": "2.7702856e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "5",
"n": "1"
},
"number": "0.6141616682826186769702879404252839648432189391579615904421554569716370730066551287207932449108236263",
"exact_coefficients": [
"-2671/3",
"1616"
],
"relative_accuracy_bits_lower_bound": 446,
"integral_150_digits": "0.6141616682826186769702879404252839648432189391579615904421554569716370730066551287207932449108236263067466968339736328173760379076193708574576914",
"quadrature_absolute_error": "1.6347323e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "5",
"n": "2"
},
"number": "0.6049852163621650084855173745207840097802013586057750785407434953912726298221055454356336012560625959",
"exact_coefficients": [
"123",
"-222"
],
"relative_accuracy_bits_lower_bound": 450,
"integral_150_digits": "0.6049852163621650084855173745207840097802013586057750785407434953912726298221055454356336012560625958910286097171150083629594799409087250430967775",
"quadrature_absolute_error": "7.0112204e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "1",
"n": "2"
},
"number": "1.410631163374336396090611986503755531179091842933125222394928162328242427754158358723040230585367114",
"exact_coefficients": [
"-3",
"8"
],
"relative_accuracy_bits_lower_bound": 455,
"integral_150_digits": "1.410631163374336396090611986503755531179091842933125222394928162328242427754158358723040230585367113661584554604788648347280739461588874773221738",
"quadrature_absolute_error": "1.4333977e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "2",
"n": "1"
},
"number": "1.462569032612758422582516296218661044075835901399427694919385779736000009657268819821693967443092896",
"exact_coefficients": [
"-32/3",
"22"
],
"relative_accuracy_bits_lower_bound": 453,
"integral_150_digits": "1.462569032612758422582516296218661044075835901399427694919385779736000009657268819821693967443092895902690858496502116288355366852702738959693112",
"quadrature_absolute_error": "3.8598298e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "2",
"n": "2"
},
"number": "1.510853058951400587190953737521950127976434491267759249093293814443393920957335283370705456093489320",
"exact_coefficients": [
"74/3",
"-42"
],
"relative_accuracy_bits_lower_bound": 452,
"integral_150_digits": "1.510853058951400587190953737521950127976434491267759249093293814443393920957335283370705456093489319943347754991526262843442784493325074107252543",
"quadrature_absolute_error": "1.3848934e-151"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "6",
"n": "0"
},
"number": "0.6636899372645523846754806232403457129088943339715741313379117540005444993345376861237735923622198297",
"exact_coefficients": [
"46872",
"-425076/5"
],
"relative_accuracy_bits_lower_bound": 440,
"integral_150_digits": "0.6636899372645523846754806232403457129088943339715741313379117540005444993345376861237735923622198297070966703715128782823098156411866724499151428",
"quadrature_absolute_error": "2.5569872e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "6",
"n": "1"
},
"number": "0.6499508099624022961361590243427155966196822503796503539778937438317182089511371731044733700431089333",
"exact_coefficients": [
"-34354/3",
"103858/5"
],
"relative_accuracy_bits_lower_bound": 442,
"integral_150_digits": "0.6499508099624022961361590243427155966196822503796503539778937438317182089511371731044733700431089332878834702701526679637426417091005715982476383",
"quadrature_absolute_error": "1.200181e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "6",
"n": "2"
},
"number": "0.6406056737712468231132870430832043685584560375075451551493542473379862890258443394130209473376409787",
"exact_coefficients": [
"5992/3",
"-18108/5"
],
"relative_accuracy_bits_lower_bound": 445,
"integral_150_digits": "0.6406056737712468231132870430832043685584560375075451551493542473379862890258443394130209473376409787340054637455122265193425790720497234958526555",
"quadrature_absolute_error": "2.239456e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "6",
"n": "3"
},
"number": "0.6372691975777545912113620577984875757606837796993033671756057435437094401510487750063509317147594536",
"exact_coefficients": [
"-438",
"3978/5"
],
"relative_accuracy_bits_lower_bound": 447,
"integral_150_digits": "0.6372691975777545912113620577984875757606837796993033671756057435437094401510487750063509317147594536445839554462310781370695394550135961969018189",
"quadrature_absolute_error": "3.8614895e-153"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "3",
"n": "0"
},
"number": "1.608639059261944870368984242932400438776346827203745996891293078091636300425149542985275849463391954",
"exact_coefficients": [
"81",
"-144"
],
"relative_accuracy_bits_lower_bound": 451,
"integral_150_digits": "1.608639059261944870368984242932400438776346827203745996891293078091636300425149542985275849463391954091478017113804329748946689691400254082008721",
"quadrature_absolute_error": "1.3616668e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "3",
"n": "1"
},
"number": "1.539866862653761485339794949389083241921594410999219583980980608730909104078093845211400864695126676",
"exact_coefficients": [
"-15",
"30"
],
"relative_accuracy_bits_lower_bound": 454,
"integral_150_digits": "1.539866862653761485339794949389083241921594410999219583980980608730909104078093845211400864695126676230942079767957431302302772980958280399581517",
"quadrature_absolute_error": "2.9102548e-153"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "7",
"n": "0"
},
"number": "0.6920215369166247689934749618571506126446652017347105630195448274155728302952877019586131909968157900",
"exact_coefficients": [
"1792225/3",
"-5417888/5"
],
"relative_accuracy_bits_lower_bound": 436,
"integral_150_digits": "0.6920215369166247689934749618571506126446652017347105630195448274155728302952877019586131909968157899578488676043229095295593316126941498139764492",
"quadrature_absolute_error": "1.4198816e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "7",
"n": "1"
},
"number": "0.6800193341325774785703062952125136535653680639126029430372047606318273360888011582463054769928326337",
"exact_coefficients": [
"-445535/3",
"1346858/5"
],
"relative_accuracy_bits_lower_bound": 438,
"integral_150_digits": "0.6800193341325774785703062952125136535653680639126029430372047606318273360888011582463054769928326336945844807440667263793880772500508161304147744",
"quadrature_absolute_error": "1.9778587e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "7",
"n": "2"
},
"number": "0.6710504478426884238411141056204807154035559542179906729230075563877109806189229740404762895505164770",
"exact_coefficients": [
"28075",
"-254606/5"
],
"relative_accuracy_bits_lower_bound": 441,
"integral_150_digits": "0.6710504478426884238411141056204807154035559542179906729230075563877109806189229740404762895505164769650722573295349723060012160675737372276559835",
"quadrature_absolute_error": "6.9287694e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "7",
"n": "3"
},
"number": "0.6662167025998519420352817557914743489433939429845898678367194879018694016051964401703982465505747863",
"exact_coefficients": [
"-10303/3",
"31152/5"
],
"relative_accuracy_bits_lower_bound": 444,
"integral_150_digits": "0.6662167025998519420352817557914743489433939429845898678367194879018694016051964401703982465505747863087177928760659995289065593520823400517560236",
"quadrature_absolute_error": "7.1824513e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "1",
"n": "3"
},
"number": "1.589368836625663603909388013496244468820908157066874777605071837671757572245841641276959769414632886",
"exact_coefficients": [
"6",
"-8"
],
"relative_accuracy_bits_lower_bound": 455,
"integral_150_digits": "1.589368836625663603909388013496244468820908157066874777605071837671757572245841641276959769414632886338415445395211351652719260538411125226778262",
"quadrature_absolute_error": "1.6215387e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "2",
"n": "3"
},
"number": "1.619600587961284456019384848167249725764783232997658751942941826192727312234281535634202594085380029",
"exact_coefficients": [
"-48",
"90"
],
"relative_accuracy_bits_lower_bound": 452,
"integral_150_digits": "1.61960058796128445601938484816724972576478323299765875194294182619272731223428153563420259408538002869282623930387229390690831894287484119874455",
"quadrature_absolute_error": "8.7307648e-153"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "3",
"n": "2"
},
"number": "1.646178496397125446245914814426638553712512840330471807930262232013333381619677432441803170548797813",
"exact_coefficients": [
"-59",
"110"
],
"relative_accuracy_bits_lower_bound": 451,
"integral_150_digits": "1.646178496397125446245914814426638553712512840330471807930262232013333381619677432441803170548797812846787625815843914775110167596847028131798894",
"quadrature_absolute_error": "6.1586541e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "3",
"n": "3"
},
"number": "1.695463530873149567896614143108001462587822757345819989637643593638787668083831809950919498211306514",
"exact_coefficients": [
"799/3",
"-480"
],
"relative_accuracy_bits_lower_bound": 449,
"integral_150_digits": "1.695463530873149567896614143108001462587822757345819989637643593638787668083831809950919498211306513638260057046014432496488965638000846940029069",
"quadrature_absolute_error": "5.5267133e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "8",
"n": "0"
},
"number": "0.7165625589092653982389269493260198725794992134791068015438372847818311676290472244387654511268086719",
"exact_coefficients": [
"23152256/3",
"-489924672/35"
],
"relative_accuracy_bits_lower_bound": 433,
"integral_150_digits": "0.7165625589092653982389269493260198725794992134791068015438372847818311676290472244387654511268086719098273196374850064581929652878376676157785416",
"quadrature_absolute_error": "5.0716717e-153"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "8",
"n": "1"
},
"number": "0.7059190285303879369529148040757553916244307675661882795805552022237033213152694923482645742531004854",
"exact_coefficients": [
"-5824226/3",
"123246448/35"
],
"relative_accuracy_bits_lower_bound": 434,
"integral_150_digits": "0.7059190285303879369529148040757553916244307675661882795805552022237033213152694923482645742531004853705001270644030598390385271235194632786677309",
"quadrature_absolute_error": "4.1915875e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "8",
"n": "2"
},
"number": "0.6974842442788090608226942521386338921909798756055036573843154799317141760176519219022318447512342869",
"exact_coefficients": [
"1168304/3",
"-24722428/35"
],
"relative_accuracy_bits_lower_bound": 437,
"integral_150_digits": "0.6974842442788090608226942521386338921909798756055036573843154799317141760176519219022318447512342868791054918244738703556769313462303024140257015",
"quadrature_absolute_error": "1.5942203e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "8",
"n": "3"
},
"number": "0.6920259223112429423689562631543424325434555549180520601525576186911504720249068114064278516277072429",
"exact_coefficients": [
"-178754/3",
"3782656/35"
],
"relative_accuracy_bits_lower_bound": 440,
"integral_150_digits": "0.6920259223112429423689562631543424325434555549180520601525576186911504720249068114064278516277072428861368445169383430889505076759286696756391078",
"quadrature_absolute_error": "1.7480486e-154"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "8",
"n": "4"
},
"number": "0.6901322714963269296416893093008566524508183885800580837830722735487898262052593009857152125222497793",
"exact_coefficients": [
"38336/3",
"-811184/35"
],
"relative_accuracy_bits_lower_bound": 442,
"integral_150_digits": "0.6901322714963269296416893093008566524508183885800580837830722735487898262052593009857152125222497793137904433421133775931689544898459736627305521",
"quadrature_absolute_error": "3.4283895e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "4",
"n": "0"
},
"number": "1.767455691389356820971482834211338452390712984043703297065085911069090171626744668161551577072906131",
"exact_coefficients": [
"928",
"-1680"
],
"relative_accuracy_bits_lower_bound": 448,
"integral_150_digits": "1.767455691389356820971482834211338452390712984043703297065085911069090171626744668161551577072906131067243532994383847071044713066336297623435073",
"quadrature_absolute_error": "1.4251935e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "4",
"n": "1"
},
"number": "1.710295841968147012349375352180265496596408460790010674956551791755636532199601218705931068097621456",
"exact_coefficients": [
"-210",
"384"
],
"relative_accuracy_bits_lower_bound": 451,
"integral_150_digits": "1.710295841968147012349375352180265496596408460790010674956551791755636532199601218705931068097621455756058621029855120669475494156265989114643412",
"quadrature_absolute_error": "6.7019023e-153"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "4",
"n": "2"
},
"number": "1.688372784569467841048574141710566922619535649202185164853254295553454508581337233408077578853645307",
"exact_coefficients": [
"48",
"-84"
],
"relative_accuracy_bits_lower_bound": 452,
"integral_150_digits": "1.688372784569467841048574141710566922619535649202185164853254295553454508581337233408077578853645306553362176649719192353552235653316814881171754",
"quadrature_absolute_error": "1.7514747e-151"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "9",
"n": "0"
},
"number": "0.7382088751562142960515759894087399012567028681482427280540638383303069038093497957150892021161083377",
"exact_coefficients": [
"100685835",
"-6391836576/35"
],
"relative_accuracy_bits_lower_bound": 429,
"integral_150_digits": "0.7382088751562142960515759894087399012567028681482427280540638383303069038093497957150892021161083377062872953312294607834610345826779913975510038",
"quadrature_absolute_error": "5.4893388e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "9",
"n": "1"
},
"number": "0.7286534421609887252413405682693589691633828379296554795141523192488503145195534321311805825708634665",
"exact_coefficients": [
"-25547957",
"1621860432/35"
],
"relative_accuracy_bits_lower_bound": 431,
"integral_150_digits": "0.7286534421609887252413405682693589691633828379296554795141523192488503145195534321311805825708634665269137503802757743790301856423074689629041675",
"quadrature_absolute_error": "7.5776742e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "9",
"n": "2"
},
"number": "0.7207730547840621898507457976508553496026894127355502329842765413324241033412755154124908990800480633",
"exact_coefficients": [
"5343755",
"-339237434/35"
],
"relative_accuracy_bits_lower_bound": 433,
"integral_150_digits": "0.7207730547840621898507457976508553496026894127355502329842765413324241033412755154124908990800480632547208521957940719323836716019963747349067512",
"quadrature_absolute_error": "3.8783372e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "9",
"n": "3"
},
"number": "0.7151176780718953933521282471178558104063795002826377556282912003234688427167355799594259770032008191",
"exact_coefficients": [
"-885717",
"56227998/35"
],
"relative_accuracy_bits_lower_bound": 436,
"integral_150_digits": "0.7151176780718953933521282471178558104063795002826377556282912003234688427167355799594259770032008191036183890961060485882995883583127534368698611",
"quadrature_absolute_error": "3.6517901e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "9",
"n": "4"
},
"number": "0.7121541895778859045208299089567531758656056678375323233599397140533496049856746513803195393884673087",
"exact_coefficients": [
"101355",
"-6434272/35"
],
"relative_accuracy_bits_lower_bound": 439,
"integral_150_digits": "0.712154189577885904520829908956753175865605667837532323359939714053349604985674651380319539388467308746516692633335790161649796441526911260796525",
"quadrature_absolute_error": "3.0851893e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "2",
"n": "4"
},
"number": "1.737874758541369959618167205817728149518849395269840358477345524494302976749085029473636483573151517",
"exact_coefficients": [
"69",
"-122"
],
"relative_accuracy_bits_lower_bound": 451,
"integral_150_digits": "1.737874758541369959618167205817728149518849395269840358477345524494302976749085029473636483573151516660835542276973112703968723210769659708368499",
"quadrature_absolute_error": "1.8164427e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "3",
"n": "4"
},
"number": "1.773412179401786621410574002555818614505592754102532914449368024579879307615437091009954126634332822",
"exact_coefficients": [
"-651",
"1184"
],
"relative_accuracy_bits_lower_bound": 448,
"integral_150_digits": "1.773412179401786621410574002555818614505592754102532914449368024579879307615437091009954126634332821914514081508719955397549440315153466436817186",
"quadrature_absolute_error": "1.7522512e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "4",
"n": "2"
},
"number": "1.772761360914152630653892796278423660433581266945611878699238422633696762504656835340626395463340294",
"exact_coefficients": [
"262",
"-472"
],
"relative_accuracy_bits_lower_bound": 449,
"integral_150_digits": "1.772761360914152630653892796278423660433581266945611878699238422633696762504656835340626395463340293966511278317469747510436371766256388379917473",
"quadrature_absolute_error": "2.495225e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "4",
"n": "3"
},
"number": "1.789245498634166022905597099006156473488889784693740227301749549614788546895294413725070535532760041",
"exact_coefficients": [
"-2512/3",
"1522"
],
"relative_accuracy_bits_lower_bound": 447,
"integral_150_digits": "1.789245498634166022905597099006156473488889784693740227301749549614788546895294413725070535532760040783128180227707014736827349233950092272102273",
"quadrature_absolute_error": "5.5998846e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "4",
"n": "4"
},
"number": "1.833491363893134273607260356970195280078723440682756987108246114988603539180965103523781106373079058",
"exact_coefficients": [
"9506/3",
"-5744"
],
"relative_accuracy_bits_lower_bound": 446,
"integral_150_digits": "1.833491363893134273607260356970195280078723440682756987108246114988603539180965103523781106373079057648956460428417153319095733245854579493458965",
"quadrature_absolute_error": "6.8426999e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "10",
"n": "0"
},
"number": "0.7575719724627282524622775312799456309810380781710696986457478530163540919103331982350656656043342952",
"exact_coefficients": [
"3970817992/3",
"-84026450028/35"
],
"relative_accuracy_bits_lower_bound": 425,
"integral_150_digits": "0.757571972462728252462277531279945630981038078171069698645747853016354091910333198235065665604334295187633652440996012461704457577573096978650492",
"quadrature_absolute_error": "5.7280057e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "10",
"n": "1"
},
"number": "0.7489059176216573375627851596538779828264571206899844545532466268429777671388057436771714654118900630",
"exact_coefficients": [
"-338056246",
"4292163438/7"
],
"relative_accuracy_bits_lower_bound": 428,
"integral_150_digits": "0.7489059176216573375627851596538779828264571206899844545532466268429777671388057436771714654118900630432176495741720985114042066730211229325343272",
"quadrature_absolute_error": "5.2506719e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "10",
"n": "2"
},
"number": "0.7415512179643451927910947095009053170905176449588603803689344219818586238835728211953019034372251779",
"exact_coefficients": [
"72962904",
"-4631902364/35"
],
"relative_accuracy_bits_lower_bound": 430,
"integral_150_digits": "0.7415512179643451927910947095009053170905176449588603803689344219818586238835728211953019034372251778769292584785709487497007085847921938179866504",
"quadrature_absolute_error": "4.1766708e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "10",
"n": "3"
},
"number": "0.7359127176979468299443022048026227171404458500704558454294106242849493415948698449385405124646641438",
"exact_coefficients": [
"-12914726",
"163973062/7"
],
"relative_accuracy_bits_lower_bound": 432,
"integral_150_digits": "0.735912717697946829944302204802622717140445850070455845429410624284949341594869844938540512464664143771258096330934729682556088556816066498986396",
"quadrature_absolute_error": "4.9821716e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "10",
"n": "4"
},
"number": "0.7323559397814254326052410560039272950951006405287324144592472236472253583360347347165452147070838691",
"exact_coefficients": [
"1825464",
"-115885844/35"
],
"relative_accuracy_bits_lower_bound": 435,
"integral_150_digits": "0.7323559397814254326052410560039272950951006405287324144592472236472253583360347347165452147070838690839723570751594863085805345273781960368646849",
"quadrature_absolute_error": "1.7340642e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "10",
"n": "5"
},
"number": "0.7311391362285388246361346692067836888322742548781813027765302540561135256454368298334834410820948333",
"exact_coefficients": [
"-386166",
"24515014/35"
],
"relative_accuracy_bits_lower_bound": 437,
"integral_150_digits": "0.731139136228538824636134669206783688832274254878181302776530254056113525645436829833483441082094833345065429136361695229249397156168963491878419",
"quadrature_absolute_error": "2.0906661e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "5",
"n": "0"
},
"number": "1.890533395442189968939434415423395493315800520530682892933186062981809226896185256247412007313860163",
"exact_coefficients": [
"11249",
"-20400"
],
"relative_accuracy_bits_lower_bound": 444,
"integral_150_digits": "1.890533395442189968939434415423395493315800520530682892933186062981809226896185256247412007313860162959385757788946714434114372948369328284568747",
"quadrature_absolute_error": "1.5948205e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "5",
"n": "1"
},
"number": "1.842485004847856030910863821275851894529656817473884771326466370914911219019965386162379734732470879",
"exact_coefficients": [
"-2671",
"4848"
],
"relative_accuracy_bits_lower_bound": 446,
"integral_150_digits": "1.842485004847856030910863821275851894529656817473884771326466370914911219019965386162379734732470878920240090501920898452128113722858112572373074",
"quadrature_absolute_error": "4.9041977e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "5",
"n": "2"
},
"number": "1.814955649086495025456552123562352029340604075817325235622230486173817889466316636306900803768187788",
"exact_coefficients": [
"369",
"-666"
],
"relative_accuracy_bits_lower_bound": 449,
"integral_150_digits": "1.814955649086495025456552123562352029340604075817325235622230486173817889466316636306900803768187787673085829151345025088878439822726175129290333",
"quadrature_absolute_error": "2.1033661e-151"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "11",
"n": "0"
},
"number": "0.7750879238483930448886933027673460339462584901257898125361949420307414097034322196659092425781014748",
"exact_coefficients": [
"52514317745/3",
"-222251017648/7"
],
"relative_accuracy_bits_lower_bound": 421,
"integral_150_digits": "0.7750879238483930448886933027673460339462584901257898125361949420307414097034322196659092425781014747896469961462817084722366840712422660650173817",
"quadrature_absolute_error": "7.6373409e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "11",
"n": "1"
},
"number": "0.7671616002642237493539127880979159425151764346862083710888675420255603518358028433375263090540079163",
"exact_coefficients": [
"-13481564911/3",
"285283295134/35"
],
"relative_accuracy_bits_lower_bound": 423,
"integral_150_digits": "0.7671616002642237493539127880979159425151764346862083710888675420255603518358028433375263090540079162717161620100603542458603067327380392721329561",
"quadrature_absolute_error": "0.0"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "11",
"n": "2"
},
"number": "0.7602883977214438094765093713664021359519248602458700696477137864549363168742223714488651296888011847",
"exact_coefficients": [
"993810715",
"-63090063458/35"
],
"relative_accuracy_bits_lower_bound": 426,
"integral_150_digits": "0.7602883977214438094765093713664021359519248602458700696477137864549363168742223714488651296888011846898257788039000404486685469180379471659806933",
"quadrature_absolute_error": "6.6826733e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "11",
"n": "3"
},
"number": "0.7547737777999722646708851552623147478582057880816462000848066337270138998327100195635628314070841460",
"exact_coefficients": [
"-184858117",
"11735343776/35"
],
"relative_accuracy_bits_lower_bound": 428,
"integral_150_digits": "0.754773777799972264670885155262314747858205788081646200084806633727013899832710019563562831407084145975639423586348977544161552116574182612607567",
"quadrature_absolute_error": "4.5346712e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "11",
"n": "4"
},
"number": "0.7509046377859805063957182632798777827897821138353080890509077246977052214588903987839162491533427873",
"exact_coefficients": [
"28123355",
"-1785354272/35"
],
"relative_accuracy_bits_lower_bound": 432,
"integral_150_digits": "0.7509046377859805063957182632798777827897821138353080890509077246977052214588903987839162491533427873326682975536288449722104761518426983546828615",
"quadrature_absolute_error": "1.0740011e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "11",
"n": "5"
},
"number": "0.7489072793263051367823330426596705955361164562682791705104038244677656136146011034035855691507333222",
"exact_coefficients": [
"-3085317",
"195865158/35"
],
"relative_accuracy_bits_lower_bound": 434,
"integral_150_digits": "0.7489072793263051367823330426596705955361164562682791705104038244677656136146011034035855691507333222047072377005898092175178604996017831779740471",
"quadrature_absolute_error": "4.9187757e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "2",
"n": "5"
},
"number": "1.847239630302084608182396806840055595321086496910853524257092734326254699795259865877618134226884645",
"exact_coefficients": [
"-192",
"1758/5"
],
"relative_accuracy_bits_lower_bound": 450,
"integral_150_digits": "1.847239630302084608182396806840055595321086496910853524257092734326254699795259865877618134226884645426641174880461094862988499336831046283095374",
"quadrature_absolute_error": "1.440859e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "3",
"n": "5"
},
"number": "1.859752558416030508569092358029272343181876335271281824132253199700895991854605013569447793504527201",
"exact_coefficients": [
"1230",
"-11138/5"
],
"relative_accuracy_bits_lower_bound": 447,
"integral_150_digits": "1.859752558416030508569092358029272343181876335271281824132253199700895991854605013569447793504527200931780770296600867699678096920577819396407125",
"quadrature_absolute_error": "2.1397208e-154"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "4",
"n": "5"
},
"number": "1.894290276725750962752925103242464725901501363047839575397777888463958357589854053907737284058552614",
"exact_coefficients": [
"-8592",
"77938/5"
],
"relative_accuracy_bits_lower_bound": 444,
"integral_150_digits": "1.894290276725750962752925103242464725901501363047839575397777888463958357589854053907737284058552613914425419700441872259156803932843051883894912",
"quadrature_absolute_error": "1.761041e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "5",
"n": "3"
},
"number": "1.882860087711166422810166475402475954099341175812623600865703486272968358998998659855005480308463028",
"exact_coefficients": [
"5047/3",
"-3048"
],
"relative_accuracy_bits_lower_bound": 447,
"integral_150_digits": "1.882860087711166422810166475402475954099341175812623600865703486272968358998998659855005480308463028269618028908858313019371598467972044735851252",
"quadrature_absolute_error": "1.7274167e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "5",
"n": "4"
},
"number": "1.904718152016267796219734007851203930021357227045157099569403448141341570983636641238287562291573538",
"exact_coefficients": [
"-31033/3",
"18766"
],
"relative_accuracy_bits_lower_bound": 444,
"integral_150_digits": "1.904718152016267796219734007851203930021357227045157099569403448141341570983636641238287562291573538328635630849638527300461258688769665951557985",
"quadrature_absolute_error": "1.7079586e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "B",
"m": "5",
"n": "5"
},
"number": "1.943818545707684670458117786057526473967176757861452116293534185492865783917736611310717631509948817",
"exact_coefficients": [
"117511/3",
"-355218/5"
],
"relative_accuracy_bits_lower_bound": 441,
"integral_150_digits": "1.943818545707684670458117786057526473967176757861452116293534185492865783917736611310717631509948817314775393237981117724090581666410353476352363",
"quadrature_absolute_error": "6.5275631e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "12",
"n": "0"
},
"number": "0.7910786782975218380278566661022482314966678115484283966072329290389543752214906692816111575752680448",
"exact_coefficients": [
"232632253152",
"-23207152807632/55"
],
"relative_accuracy_bits_lower_bound": 418,
"integral_150_digits": "0.791078678297521838027856666102248231496667811548428396607232929038954375221490669281611157575268044776165693989639660526069656333935208110319839",
"quadrature_absolute_error": "3.8186705e-151"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "12",
"n": "1"
},
"number": "0.7837768459008303400671000215130252280847460908314120188932268930390096437085818819018630070904953381",
"exact_coefficients": [
"-179909270578/3",
"41877646143472/385"
],
"relative_accuracy_bits_lower_bound": 420,
"integral_150_digits": "0.7837768459008303400671000215130252280847460908314120188932268930390096437085818819018630070904953381153251532134669346769626885252346063784340234",
"quadrature_absolute_error": "6.8736068e-151"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "12",
"n": "2"
},
"number": "0.7773385440302897116661113420068986433006339680531241722570751507693428816794416450962833439504251418",
"exact_coefficients": [
"40567481968/3",
"-9442930034732/385"
],
"relative_accuracy_bits_lower_bound": 422,
"integral_150_digits": "0.7773385440302897116661113420068986433006339680531241722570751507693428816794416450962833439504251418046477418815453309041852566313191961121808189",
"quadrature_absolute_error": "1.5274682e-151"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "12",
"n": "3"
},
"number": "0.7719993286481746008142670736765001821205582050053968395333523433828643768750011558233449248721746632",
"exact_coefficients": [
"-2615823270",
"1826662755408/385"
],
"relative_accuracy_bits_lower_bound": 425,
"integral_150_digits": "0.7719993286481746008142670736765001821205582050053968395333523433828643768750011558233449248721746631668044372927025327366992507697829482484418402",
"quadrature_absolute_error": "0.0"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "12",
"n": "4"
},
"number": "0.7679863669819426486034193089475803520560060543739859764785209015597695183097035251914082688262969190",
"exact_coefficients": [
"424692320",
"-42366866224/55"
],
"relative_accuracy_bits_lower_bound": 428,
"integral_150_digits": "0.7679863669819426486034193089475803520560060543739859764785209015597695183097035251914082688262969190163506730583567686751342417181732415895669606",
"quadrature_absolute_error": "6.2053395e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "12",
"n": "5"
},
"number": "0.7654917451282907257681288120031509890528178936887489273430571404995075970654231648898550983641943239",
"exact_coefficients": [
"-56919494",
"5678229888/55"
],
"relative_accuracy_bits_lower_bound": 430,
"integral_150_digits": "0.7654917451282907257681288120031509890528178936887489273430571404995075970654231648898550983641943239440819975703832984053125794925127202120975134",
"quadrature_absolute_error": "3.7590037e-152"
},
{
"params": {
"lattice": "triangular",
"sublattice": "A",
"m": "12",
"n": "6"
},
"number": "0.7646449377072901945064424128046132219106073784104251189222767794382763655672203887941278424469507973",
"exact_coefficients": [
"11930256",
"-8331049404/385"
],
"relative_accuracy_bits_lower_bound": 432,
"integral_150_digits": "0.7646449377072901945064424128046132219106073784104251189222767794382763655672203887941278424469507973177481071674157211722363151701063377943467567",
"quadrature_absolute_error": "4.0871707e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "6",
"n": "0"
},
"number": "1.991069811793657154026441869721037138726683001914722394013735262001633498003613058371320777086659489",
"exact_coefficients": [
"140616",
"-1275228/5"
],
"relative_accuracy_bits_lower_bound": 440,
"integral_150_digits": "1.991069811793657154026441869721037138726683001914722394013735262001633498003613058371320777086659489121290011114538634846929446923560017349745428",
"quadrature_absolute_error": "7.6711365e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "6",
"n": "1"
},
"number": "1.949852429887206888408477073028146789859046751138951061933681231495154626853411519313420110129326800",
"exact_coefficients": [
"-34354",
"311574/5"
],
"relative_accuracy_bits_lower_bound": 442,
"integral_150_digits": "1.949852429887206888408477073028146789859046751138951061933681231495154626853411519313420110129326799863650410810458003891227925127301714794742915",
"quadrature_absolute_error": "4.0368269e-152"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "6",
"n": "2"
},
"number": "1.921817021313740469339861129249613105675368112522635465448062742013958867077533018239062842012922936",
"exact_coefficients": [
"5992",
"-54324/5"
],
"relative_accuracy_bits_lower_bound": 444,
"integral_150_digits": "1.921817021313740469339861129249613105675368112522635465448062742013958867077533018239062842012922936202016391236536679558027737216149170487557967",
"quadrature_absolute_error": "1.4355711e-151"
},
{
"params": {
"lattice": "honeycomb",
"sublattice": "A",
"m": "6",
"n": "3"
},
"number": "1.911807592733263773634086173395462727282051339097910101526817230631128320453146325019052795144278361",
"exact_coefficients": [
"-1314",
"11934/5"
],
"relative_accuracy_bits_lower_bound": 446,
"integral_150_digits": "1.911807592733263773634086173395462727282051339097910101526817230631128320453146325019052795144278360933751866338693234411208618365040788590705457",
"quadrature_absolute_error": "1.1584464e-152"
}
]
}