back to table · edit · history · where entries came from · files · download
15740 bytes, as of the version from 2026-10-25 13:49 (current). Recorded here, not run.
[
{
"m": 0,
"k": 1,
"lo": "127848824663301643759221096136148813663963244464808881873690814569293324691904609804505080087008838440168092101346642026685758351/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "127848824663301643759221096136148813663963244464808881873690814569293324691904609804505080087008838440168092101354642026685758351/40000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"338449108922803/140737488355328",
"84612277230701/35184372088832"
],
"j_right": [
"97110241095865/17592186044416",
"776881928766921/140737488355328"
]
},
{
"m": 0,
"k": 2,
"lo": "6306437047688423715891775027064590157764087257206150860619008537399682711554470301522742585448979877106309365365583652382242941213/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "6306437047688423715891775027064590157764087257206150860619008537399682711554470301522742585448979877106309365365783652382242941213/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"97110241095865/17592186044416",
"776881928766921/140737488355328"
],
"j_right": [
"608951965686745/70368744177664",
"1217903931373491/140737488355328"
]
},
{
"m": 0,
"k": 3,
"lo": "4719749568938202452551879112968195660990902792650375902195023623900607940603721353016923637335295005123191530321848705170891867071/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "4719749568938202452551879112968195660990902792650375902195023623900607940603721353016923637335295005123191530321948705170891867071/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"608951965686745/70368744177664",
"1217903931373491/140737488355328"
],
"j_right": [
"1659510940802221/140737488355328",
"829755470401111/70368744177664"
]
},
{
"m": 0,
"k": 4,
"lo": "39303533251345793212231467728785342141327926560147757437083255686678418525472375546477437628615789090312055612038447503497513399/3125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "39303533251345793212231467728785342141327926560147757437083255686678418525472375546477437628615789090312055612039072503497513399/3125000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"1659510940802221/140737488355328",
"829755470401111/70368744177664"
],
"j_right": [
"525334964283165/35184372088832",
"2101339857132661/140737488355328"
]
},
{
"m": 1,
"k": 1,
"lo": "2305449939524527913621066639363945686146266868264600973960246533722582885692445932098361231367483292525001740748418212387308324479/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "2305449939524527913621066639363945686146266868264600973960246533722582885692445932098361231367483292525001740748518212387308324479/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"33704042147695/8796093022208",
"539264674363121/140737488355328"
],
"j_right": [
"987356047248969/140737488355328",
"493678023624485/70368744177664"
]
},
{
"m": 1,
"k": 2,
"lo": "1949818450202807975617885377594039317564593154266343119211611532851377767907703410875630989563919280421586059072196947184184792513/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "1949818450202807975617885377594039317564593154266343119211611532851377767907703410875630989563919280421586059072246947184184792513/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"987356047248969/140737488355328",
"493678023624485/70368744177664"
],
"j_right": [
"715894176595845/70368744177664",
"1431788353191691/140737488355328"
]
},
{
"m": 1,
"k": 3,
"lo": "1095806719191949780373893855687931222291282538977666146053991662391444788256106625143594491263464427321847451533319220089838291877/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "1095806719191949780373893855687931222291282538977666146053991662391444788256106625143594491263464427321847451533339220089838291877/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"715894176595845/70368744177664",
"1431788353191691/140737488355328"
],
"j_right": [
"234392867342125/17592186044416",
"1875142938737001/140737488355328"
]
},
{
"m": 2,
"k": 1,
"lo": "1476419558855130719919898327257615761947738763336340287689952987225705383879212577877014966990676232184883449648410629188285977317/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "1476419558855130719919898327257615761947738763336340287689952987225705383879212577877014966990676232184883449648460629188285977317/250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"722774583902665/140737488355328",
"361387291951333/70368744177664"
],
"j_right": [
"592310899596739/70368744177664",
"1184621799193479/140737488355328"
]
},
{
"m": 2,
"k": 2,
"lo": "4598441299817660368019438975794541870308332621713489655985771431679013176173669931582843199859457888424615600345567969388435507517/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "4598441299817660368019438975794541870308332621713489655985771431679013176173669931582843199859457888424615600345667969388435507517/500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"592310899596739/70368744177664",
"1184621799193479/140737488355328"
],
"j_right": [
"1635347261656089/140737488355328",
"817673630828045/70368744177664"
]
},
{
"m": 2,
"k": 3,
"lo": "620111048343219217179519662590226529859627822791785639112209834688831293576201236629715391488626094664598982126398454585662634271/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "620111048343219217179519662590226529859627822791785639112209834688831293576201236629715391488626094664598982126408454585662634271/50000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"1635347261656089/140737488355328",
"817673630828045/70368744177664"
],
"j_right": [
"2082345091674655/140737488355328",
"65073284114833/4398046511104"
]
},
{
"m": 3,
"k": 1,
"lo": "7143531023504840865499635387888935057686559873040253078058252818575852862198540655163066414454034612090319008847929724052646941141/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "7143531023504840865499635387888935057686559873040253078058252818575852862198540655163066414454034612090319008848129724052646941141/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"897927960532709/140737488355328",
"448963980266355/70368744177664"
],
"j_right": [
"686870939545941/70368744177664",
"1373741879091883/140737488355328"
]
},
{
"m": 3,
"k": 2,
"lo": "1053666986658963392398156370720064470721838810448537021199413174206728943740143919151198625498887360639547780727095104644878470917/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "1053666986658963392398156370720064470721838810448537021199413174206728943740143919151198625498887360639547780727115104644878470917/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"686870939545941/70368744177664",
"1373741879091883/140737488355328"
],
"j_right": [
"1831726660012289/140737488355328",
"915863330006145/70368744177664"
]
},
{
"m": 4,
"k": 1,
"lo": "8346605938750738347241935193564416666047095556901239569050704456285658026796318953335234211299982904656494423304445384941270675797/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "8346605938750738347241935193564416666047095556901239569050704456285658026796318953335234211299982904656494423304645384941270675797/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"266991063753055/35184372088832",
"1067964255012221/140737488355328"
],
"j_right": [
"778609711396511/70368744177664",
"1557219422793023/140737488355328"
]
},
{
"m": 4,
"k": 2,
"lo": "295917961421300286782627862412932192394147370681189860669558159269884464211578025442847500506602832405105388145466438077933823083/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "295917961421300286782627862412932192394147370681189860669558159269884464211578025442847500506602832405105388145471438077933823083/25000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"778609711396511/70368744177664",
"1557219422793023/140737488355328"
],
"j_right": [
"2022754712458305/140737488355328",
"1011377356229153/70368744177664"
]
},
{
"m": 5,
"k": 1,
"lo": "9525701355671722865572435673490846983243065731466027001132816231280563983000353723118428389217426572820827793597535779049921275121/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "9525701355671722865572435673490846983243065731466027001132816231280563983000353723118428389217426572820827793597735779049921275121/1000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"308619150351903/35184372088832",
"1234476601407613/140737488355328"
],
"j_right": [
"1736504164562005/140737488355328",
"868252082281003/70368744177664"
]
},
{
"m": 5,
"k": 2,
"lo": "32768409287462082493953124655902397588251685475469441850151172935222128386160711965660943912593658118308232049705943750487585143/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "32768409287462082493953124655902397588251685475469441850151172935222128386160711965660943912593658118308232049706443750487585143/2500000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"1736504164562005/140737488355328",
"868252082281003/70368744177664"
],
"j_right": [
"2209603066720043/140737488355328",
"552400766680011/35184372088832"
]
},
{
"m": 6,
"k": 1,
"lo": "1068702585547122219380495843838446145734918054329169512335721361947974550649900285746548638974781148135065119174365766087726165521/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "1068702585547122219380495843838446145734918054329169512335721361947974550649900285746548638974781148135065119174385766087726165521/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"699191549230925/70368744177664",
"1398383098461851/140737488355328"
],
"j_right": [
"1912522567133717/140737488355328",
"956261283566859/70368744177664"
]
},
{
"m": 7,
"k": 1,
"lo": "47338120849681540713012214830404025432992429228612747883271251058939868048686002468751055180863868793269848162672149372206891401/4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "47338120849681540713012214830404025432992429228612747883271251058939868048686002468751055180863868793269848162672949372206891401/4000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"780133935743181/70368744177664",
"1560267871486363/140737488355328"
],
"j_right": [
"2085908134879203/140737488355328",
"521477033719801/35184372088832"
]
},
{
"m": 8,
"k": 1,
"lo": "1297090865335605691406137783114713657321644059301152798215924306019448255709156054474157322457170722621417446967174635982558676017/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "1297090865335605691406137783114713657321644059301152798215924306019448255709156054474157322457170722621417446967194635982558676017/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"1720528780148165/140737488355328",
"860264390074083/70368744177664"
],
"j_right": [
"1128558029217719/70368744177664",
"2257116058435439/140737488355328"
]
},
{
"m": 9,
"k": 1,
"lo": "1409809353927157061708305828933628323439148519209770024417699710570146087452675180692732745101785706658504438947414661163740784891/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"hi": "1409809353927157061708305828933628323439148519209770024417699710570146087452675180692732745101785706658504438947434661163740784891/100000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000",
"j_left": [
"939725353968303/70368744177664",
"1879450707936607/140737488355328"
],
"j_right": [
"2426486052812207/140737488355328",
"151655378300763/8796093022208"
]
}
]