numerical-evidence.json

back to table · edit · history · where entries came from · files · download

35826 bytes, as of the version from 2026-11-02 17:11 (current). Recorded here, not run.

{
  "table": "T681",
  "entries": 88,
  "orders": [
    1,
    3,
    5,
    7,
    11,
    13,
    15,
    17,
    19,
    21,
    23,
    29,
    31,
    33,
    35,
    37,
    39,
    41,
    43,
    47,
    51,
    53,
    55,
    57,
    59,
    61,
    65,
    67,
    69,
    71,
    73,
    77,
    79,
    83,
    85,
    87,
    89,
    91,
    93,
    95,
    97,
    101,
    103,
    105
  ],
  "minimum_accuracy_bits": 414,
  "measure": {
    "entries": 88,
    "longest": 156,
    "longest_at": [
      1,
      3
    ],
    "block_kb": 16.6953125
  },
  "values": [
    {
      "params": {
        "n": 1,
        "k": 2
      },
      "number": "0.8224670334241132182362075833230125946094749506033992188677791146850037352016004369168144503098793527",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "0.82246703342411321823620758332301259460947495060339921886777911468500373520160043691681445030987935265200215948"
    },
    {
      "params": {
        "n": 1,
        "k": 3
      },
      "number": "-1.803085354739391428099607242267174986147479438510748322688407333012757308679469635279683810414002887",
      "accuracy_bits": 459,
      "check_accuracy_bits": 509,
      "independent_number": "-1.8030853547393914280996072422671749861474794385107483226884073330127573086794696352796838104140028872192987367"
    },
    {
      "params": {
        "n": 3,
        "k": 2
      },
      "number": "1.096622711232150957648276777764016792812633267471198958490372152913338313602133915889085933746505804",
      "accuracy_bits": 458,
      "check_accuracy_bits": 509,
      "independent_number": "1.0966227112321509576482767777640167928126332674711989584903721529133383136021339158890859337465058035360028793"
    },
    {
      "params": {
        "n": 3,
        "k": 3
      },
      "number": "-1.881167614185853462308291139495596441366927992937019922118602096539469053808212881057869125305520178",
      "accuracy_bits": 434,
      "check_accuracy_bits": 504,
      "independent_number": "-1.8811676141858534623082911394955964413669279929370199221186020965394690538082128810578691253055201778857783544"
    },
    {
      "params": {
        "n": 5,
        "k": 2
      },
      "number": "1.315947253478581149177932133316820151375159920965438750188446583496005976322560699066903120495806964",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.3159472534785811491779321333168201513751599209654387501884465834960059763225606990669031204958069642432034552"
    },
    {
      "params": {
        "n": 5,
        "k": 3
      },
      "number": "-1.636661662059463025106561334235254201220583435750330854950094081904587602416547223555591783253590443",
      "accuracy_bits": 431,
      "check_accuracy_bits": 501,
      "independent_number": "-1.6366616620594630251065613342352542012205834357503308549500940819045876024165472235555917832535904425612262418"
    },
    {
      "params": {
        "n": 7,
        "k": 2
      },
      "number": "1.409943485869908374119212999982307305044814201034398660916192768031434974631315034714539057674078890",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.4099434858699083741192129999823073050448142010343986609161927680314349746313150347145390576740788902605751305"
    },
    {
      "params": {
        "n": 7,
        "k": 3
      },
      "number": "-1.407000564826077670207099186423549518713147161565369650860785473981062123127439511938717454666100295",
      "accuracy_bits": 429,
      "check_accuracy_bits": 499,
      "independent_number": "-1.4070005648260776702070991864235495187131471615653696508607854739810621231274395119387174546661002949078664860"
    },
    {
      "params": {
        "n": 11,
        "k": 2
      },
      "number": "1.495394606225660396793104696950931990199045364733453125214143844881824973093818976212389909654326096",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.4953946062256603967931046969509319901990453647334531252141438448818249730938189762123899096543260957309130172"
    },
    {
      "params": {
        "n": 11,
        "k": 3
      },
      "number": "-1.098430747853158470858423983113297943804237294769499867204477699934140574416431849126810674201788362",
      "accuracy_bits": 427,
      "check_accuracy_bits": 496,
      "independent_number": "-1.0984307478531584708584239831132979438042372947694998672044776999341405744164318491268106742017883617623374032"
    },
    {
      "params": {
        "n": 13,
        "k": 2
      },
      "number": "1.518400677090670556743767846134792482355953754960121634832822980956929972679877729692580523649008036",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.5184006770906705567437678461347924823559537549601216348328229809569299726798777296925805236490080356652347560"
    },
    {
      "params": {
        "n": 13,
        "k": 3
      },
      "number": "-0.9929039525944422496493582794292806183428128183697345396195556852921391654307807163271120661549565987",
      "accuracy_bits": 425,
      "check_accuracy_bits": 494,
      "independent_number": "-0.99290395259444224964935827942928061834281281836973453961955568529213916543078071632711206615495659865792090377"
    },
    {
      "params": {
        "n": 15,
        "k": 2
      },
      "number": "1.754596337971441532237242844422426868500213227953918333584595444661341301763414265422537493994409286",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.7545963379714415322372428444224268685002132279539183335845954446613413017634142654225374939944092856576046069"
    },
    {
      "params": {
        "n": 15,
        "k": 3
      },
      "number": "-2.074855006906156013604465299651846058736303311353823345806231006222849692611915294016580960238021935",
      "accuracy_bits": 429,
      "check_accuracy_bits": 498,
      "independent_number": "-2.0748550069061560136044652996518460587363033113538233458062310062228496926119152940165809602380219347948301667"
    },
    {
      "params": {
        "n": 17,
        "k": 2
      },
      "number": "1.548173239386566057856390745078611942794305789371104411986407745289418795673600822431650729995067017",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.5481732393865660578563907450786119427943057893711044119864077452894187956736008224316507299950670167567099473"
    },
    {
      "params": {
        "n": 17,
        "k": 3
      },
      "number": "-0.8371909008932983895321905326888102245818190308350117945207955133259695145589398083985417839123375260",
      "accuracy_bits": 424,
      "check_accuracy_bits": 493,
      "independent_number": "-0.83719090089329838953219053268881022458181903083501179452079551332596951455893980839854178391233752604446910093"
    },
    {
      "params": {
        "n": 19,
        "k": 2
      },
      "number": "1.558358589645688202973866999980444916102163064301177467328423585718954445645137669947648432166087194",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.5583585896456882029738669999804449161021630643011774673284235857189544456451376699476484321660871944985304074"
    },
    {
      "params": {
        "n": 19,
        "k": 3
      },
      "number": "-0.7779636026008816249269326112425753696005935153149224168799126731391481404460734130795590037878638762",
      "accuracy_bits": 423,
      "check_accuracy_bits": 492,
      "independent_number": "-0.77796360260088162492693261124257536960059351531492241687991267313914814044607341307955900378786387615360144200"
    },
    {
      "params": {
        "n": 21,
        "k": 2
      },
      "number": "1.879924647826544498825617333309743073393085601379198214554923690708579966175086712952718743565438520",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.8799246478265444988256173333097430733930856013791982145549236907085799661750867129527187435654385203474335074"
    },
    {
      "params": {
        "n": 21,
        "k": 3
      },
      "number": "-1.865654750484632734892695863056562684136593217941417965763825147656535694668736345276180908246002386",
      "accuracy_bits": 426,
      "check_accuracy_bits": 495,
      "independent_number": "-1.8656547504846327348926958630565626841365932179414179657638251476565356946687363452761809082460023861008519734"
    },
    {
      "params": {
        "n": 23,
        "k": 2
      },
      "number": "1.573415194376564417495353637661415398383343383763024592616620915049572362994366053232166774505856153",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.5734151943765644174953536376614153983833433837630245926166209150495723629943660532321667745058561528994823921"
    },
    {
      "params": {
        "n": 23,
        "k": 3
      },
      "number": "-0.6836680949795585612202285192415829283282051264596204812806980530182232284486463433558459744357836177",
      "accuracy_bits": 423,
      "check_accuracy_bits": 491,
      "independent_number": "-0.68366809497955856122022851924158292832820512645962048128069805301822322844864634335584597443578361766191488646"
    },
    {
      "params": {
        "n": 29,
        "k": 2
      },
      "number": "1.588212202474149662800952574692713975797606801165184698503297600771041695561711188529021007494939440",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.5882122024741496628009525746927139757976068011651846985032976007710416955617111885290210074949394396038662390"
    },
    {
      "params": {
        "n": 29,
        "k": 3
      },
      "number": "-0.5816707242319395611672470887348338446064175596901604612763422682278851996153410948372473386998483777",
      "accuracy_bits": 421,
      "check_accuracy_bits": 490,
      "independent_number": "-0.58167072423193956116724708873483384460641755969016046127634226822788519961534109483724733869984837772368347767"
    },
    {
      "params": {
        "n": 31,
        "k": 2
      },
      "number": "1.591871677595057841747498548367121150857048291490450101034411189712910455228904071451898936083637457",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.5918716775950578417474985483671211508570482914904501010344111897129104552289040714518989360836374567458106313"
    },
    {
      "params": {
        "n": 31,
        "k": 3
      },
      "number": "-0.5547612874587382557978629395098515769550954658024168567128253983929515923807398449636169929261040206",
      "accuracy_bits": 421,
      "check_accuracy_bits": 489,
      "independent_number": "-0.55476128745873825579786293950985157695509546580241685671282539839295159238073984496361699292610402060194836466"
    },
    {
      "params": {
        "n": 33,
        "k": 2
      },
      "number": "1.993859474967547195724139595934575986932060486311270833618858459842433297458425301616519879539101461",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.9938594749675471957241395959345759869320604863112708336188584598424332974584253016165198795391014609745506897"
    },
    {
      "params": {
        "n": 33,
        "k": 3
      },
      "number": "-1.431238814859012157755954816222284301663908569666462190240871638403699093111694779758320467862917616",
      "accuracy_bits": 424,
      "check_accuracy_bits": 493,
      "independent_number": "-1.4312388148590121577559548162222843016639085696664621902408716384036990931116947797583204678629176159669624677"
    },
    {
      "params": {
        "n": 35,
        "k": 2
      },
      "number": "2.255909577391853398590740799971691688071702721655037857465908428850295959410104055543262492278526224",
      "accuracy_bits": 458,
      "check_accuracy_bits": 509,
      "independent_number": "2.2559095773918533985907407999716916880717027216550378574659084288502959594101040555432624922785262244169202089"
    },
    {
      "params": {
        "n": 35,
        "k": 3
      },
      "number": "-1.953836807082720869222422271416866913824112073645634911088980146024236701406254863682180131567558205",
      "accuracy_bits": 423,
      "check_accuracy_bits": 491,
      "independent_number": "-1.9538368070827208692224222714168669138241120736456349110889801460242367014062548636821801315675582046086964144"
    },
    {
      "params": {
        "n": 37,
        "k": 2
      },
      "number": "1.600476389365841938189376918898835319240059363336344425904867466414061322554465715081368660062467929",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6004763893658419381893769188988353192400593633363444259048674664140613225544657150813686600624679294849771752"
    },
    {
      "params": {
        "n": 37,
        "k": 3
      },
      "number": "-0.4884000502279594311112499103180318590030203044151762967259171877478563624581495537070628133054260805",
      "accuracy_bits": 419,
      "check_accuracy_bits": 487,
      "independent_number": "-0.48840005022795943111124991031803185900302030441517629672591718774785636245814955370706281330542608052889776238"
    },
    {
      "params": {
        "n": 39,
        "k": 2
      },
      "number": "2.024534236120894075658357128179723309807938339946828846443763974609239963573170306256774031532010714",
      "accuracy_bits": 458,
      "check_accuracy_bits": 509,
      "independent_number": "2.0245342361208940756583571281797233098079383399468288464437639746092399635731703062567740315320107142203130080"
    },
    {
      "params": {
        "n": 39,
        "k": 3
      },
      "number": "-1.312881977400042672252746131209662554906780957879361531643562331828326046792136743722007717296802447",
      "accuracy_bits": 423,
      "check_accuracy_bits": 491,
      "independent_number": "-1.3128819774000426722527461312096625549067809578793615316435623318283260467921367437220077172968024467072522551"
    },
    {
      "params": {
        "n": 41,
        "k": 2
      },
      "number": "1.604813723754367255095039186971731891920926732884681402668837296946348751612878901301101366458301176",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6048137237543672550950391869717318919209267328846814026688372969463487516128789013011013664583011759063456770"
    },
    {
      "params": {
        "n": 41,
        "k": 3
      },
      "number": "-0.4531077191105627296349729582380343637846565241923382581521969903532906277382386966877366746246635359",
      "accuracy_bits": 419,
      "check_accuracy_bits": 486,
      "independent_number": "-0.45310771911056272963497295823803436378465652419233825815219699035329062773823869668773667462466353591344706011"
    },
    {
      "params": {
        "n": 43,
        "k": 2
      },
      "number": "1.606679786223849077484684581375187394120834787225244985695196410082332878068242713977032879675113154",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6066797862238490774846845813751873941208347872252449856951964100823328780682427139770328796751131540178646836"
    },
    {
      "params": {
        "n": 43,
        "k": 3
      },
      "number": "-0.4374992118168982204668624461004421248558506311364740656993416389372648721389057780584183193389213268",
      "accuracy_bits": 419,
      "check_accuracy_bits": 486,
      "independent_number": "-0.43749921181689822046686244610044212485585063113647406569934163893726487213890577805841831933892132676174112830"
    },
    {
      "params": {
        "n": 47,
        "k": 2
      },
      "number": "1.609935469681242895270874418419514014980248839478994215656078267042986034862707238220147434649125541",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6099354696812428952708744184195140149802488394789942156560782670429860348627072382201474346491255413613659292"
    },
    {
      "params": {
        "n": 47,
        "k": 3
      },
      "number": "-0.4096048554137358143274709804736244708719890117064029958871406396489368542446756358635974816956705541",
      "accuracy_bits": 418,
      "check_accuracy_bits": 485,
      "independent_number": "-0.40960485541373581432747098047362447087198901170640299588714063964893685424467563586359748169567055409670559024"
    },
    {
      "params": {
        "n": 51,
        "k": 2
      },
      "number": "2.064230985848754743808520993438149257059074385828139215981876993719225060898134429908867639993422689",
      "accuracy_bits": 458,
      "check_accuracy_bits": 509,
      "independent_number": "2.0642309858487547438085209934381492570590743858281392159818769937192250608981344299088676399934226890089465963"
    },
    {
      "params": {
        "n": 51,
        "k": 3
      },
      "number": "-1.097448215016193624328610404273161356075981027857944662941992203287744696679525535687423675923799932",
      "accuracy_bits": 422,
      "check_accuracy_bits": 490,
      "independent_number": "-1.0974482150161936243286104042731613560759810278579446629419922032877446966795255356874236759237999315260028154"
    },
    {
      "params": {
        "n": 53,
        "k": 2
      },
      "number": "1.613897575020901409369162050294213393195950846467047523816019394853592235112574442251862317589197220",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6138975750209014093691620502942133931959508464670475238160193948535922351125744422518623175891972202982683884"
    },
    {
      "params": {
        "n": 53,
        "k": 3
      },
      "number": "-0.3744215619003084558034958620525989479428717064822774777625004111916594045599588222363714181910757620",
      "accuracy_bits": 418,
      "check_accuracy_bits": 485,
      "independent_number": "-0.37442156190030845580349586205259894794287170648227747776250041119165940455995882223637141819107576197582655120"
    },
    {
      "params": {
        "n": 55,
        "k": 2
      },
      "number": "2.392631369961056634868967515121491184318472583573525000342630151810919956950110361939823855446921753",
      "accuracy_bits": 458,
      "check_accuracy_bits": 509,
      "independent_number": "2.3926313699610566348689675151214911843184725835735250003426301518109199569501103619398238554469217531694608276"
    },
    {
      "params": {
        "n": 55,
        "k": 3
      },
      "number": "-1.801231036467542828259973441949667553851238709163671693488793302702034893802657480818400381364912662",
      "accuracy_bits": 421,
      "check_accuracy_bits": 488,
      "independent_number": "-1.8012310364675428282599734419496675538512387091636716934887933027020348938026574808184003813649126621127056244"
    },
    {
      "params": {
        "n": 57,
        "k": 2
      },
      "number": "2.077811452860917603965155999973926554802884085734903289771231447625272594193516893263531242888116259",
      "accuracy_bits": 458,
      "check_accuracy_bits": 509,
      "independent_number": "2.0778114528609176039651559999739265548028840857349032897712314476252725941935168932635312428881162593313738766"
    },
    {
      "params": {
        "n": 57,
        "k": 3
      },
      "number": "-1.028256676714248767436691334769609523014361899517278642003633469936962058427577088577655207684612252",
      "accuracy_bits": 421,
      "check_accuracy_bits": 489,
      "independent_number": "-1.0282566767142487674366913347696095230143618995172786420036334699369620584275770885776552076846122516557090109"
    },
    {
      "params": {
        "n": 59,
        "k": 2
      },
      "number": "1.617053828427070056193221689245245101266086343559225582858684361075600564125180520039838580270271270",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6170538284270700561932216892452451012660863435592255828586843610756005641251805200398385802702712696208856017"
    },
    {
      "params": {
        "n": 59,
        "k": 3
      },
      "number": "-0.3453152009219115991482575253540849296417844389023715117933016203350502861103437477830556089918752611",
      "accuracy_bits": 417,
      "check_accuracy_bits": 484,
      "independent_number": "-0.34531520092191159914825752535408492964178443890237151179330162033505028611034374778305560899187526106695500096"
    },
    {
      "params": {
        "n": 61,
        "k": 2
      },
      "number": "1.617967934604812888333523114733795268084213017580457479739893340363941774167082826721602197330910202",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6179679346048128883335231147337952680842130175804574797398933403639417741670828267216021973309102019383649039"
    },
    {
      "params": {
        "n": 61,
        "k": 3
      },
      "number": "-0.3366903361928890011189774481422905467562944402864602126669867667167239499193558514554014647996026574",
      "accuracy_bits": 417,
      "check_accuracy_bits": 484,
      "independent_number": "-0.33669033619288900111897744814229054675629444028646021266698676671672394991935585145540146479960265740018064068"
    },
    {
      "params": {
        "n": 65,
        "k": 2
      },
      "number": "2.429441083345072890790028553815667971769526007936194615732516769531087956287804367508128837838412857",
      "accuracy_bits": 458,
      "check_accuracy_bits": 509,
      "independent_number": "2.4294410833450728907900285538156679717695260079361946157325167695310879562878043675081288378384128570643756095"
    },
    {
      "params": {
        "n": 65,
        "k": 3
      },
      "number": "-1.414606507799601140189466245318303538960497229203664264847079746645431448159347774278428199191892502",
      "accuracy_bits": 420,
      "check_accuracy_bits": 487,
      "independent_number": "-1.4146065077996011401894662453183035389604972292036642648470797466454314481593477742784281991918925021645620910"
    },
    {
      "params": {
        "n": 67,
        "k": 2
      },
      "number": "1.620382812119148429957901507442353171469413335517144729709654375200305866367332204074918021506030963",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6203828121191484299579015074423531714694133355171447297096543752003058663673322040749180215060309634337952993"
    },
    {
      "params": {
        "n": 67,
        "k": 3
      },
      "number": "-0.3134492529508947058982198762687778380162697009979821633276017259151966596310607522493447395964883483",
      "accuracy_bits": 417,
      "check_accuracy_bits": 483,
      "independent_number": "-0.31344925295089470589821987626877783801626970099798216332760172591519665963106075224934473959648834832596399293"
    },
    {
      "params": {
        "n": 69,
        "k": 2
      },
      "number": "2.097886925835419223327138183548553864511124511684032790155494553399429817325821404309555699341141537",
      "accuracy_bits": 458,
      "check_accuracy_bits": 509,
      "independent_number": "2.0978869258354192233271381835485538645111245116840327901554945533994298173258214043095556993411415371993098561"
    },
    {
      "params": {
        "n": 69,
        "k": 3
      },
      "number": "-0.8986075764957604299723801155672705393831132582857767869569832768806604537113274073191296953587688467",
      "accuracy_bits": 420,
      "check_accuracy_bits": 487,
      "independent_number": "-0.89860757649576042997238011556727053938311325828577678695698327688066045371132740731912969535876884669699263912"
    },
    {
      "params": {
        "n": 71,
        "k": 2
      },
      "number": "1.621765981399659866944634671341151595004598494147547755513930648674655252510198044624704549906804357",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6217659813996598669446346713411515950045984941475477555139306486746552525101980446247045499068043573419760891"
    },
    {
      "params": {
        "n": 71,
        "k": 3
      },
      "number": "-0.2998205942887005781207876339421421038106589041634346423934185248406868896498958463908479144549013014",
      "accuracy_bits": 417,
      "check_accuracy_bits": 483,
      "independent_number": "-0.29982059428870057812078763394214210381065890416343464239341852484068688964989584639084791445490130143790484508"
    },
    {
      "params": {
        "n": 73,
        "k": 2
      },
      "number": "1.622400723466743882548135506828956351010471135436842294752879349515623806425074834466044943077022285",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6224007234667438825481355068289563510104711354368422947528793495156238064250748344660449430770222846834015201"
    },
    {
      "params": {
        "n": 73,
        "k": 3
      },
      "number": "-0.2934842705389069492604485827603824549440305321712517216954724757227474291267237893648598429764230160",
      "accuracy_bits": 416,
      "check_accuracy_bits": 483,
      "independent_number": "-0.29348427053890694926044858276038245494403053217125172169547247572274742912672378936485984297642301596711324688"
    },
    {
      "params": {
        "n": 77,
        "k": 2
      },
      "number": "2.563533610672560680216750909058740554626934910971633928938532305511699953875118244935525559407416164",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "2.5635336106725606802167509090587405546269349109716339289385323055116999538751182449355255594074161641101366010"
    },
    {
      "params": {
        "n": 77,
        "k": 3
      },
      "number": "-1.551618093696714115091277367133794277723074806823794630689122620278459899566820592469794960649196113",
      "accuracy_bits": 419,
      "check_accuracy_bits": 486,
      "independent_number": "-1.5516180936967141150912773671337942777230748068237946306891226202784598995668205924697949606491961128290403660"
    },
    {
      "params": {
        "n": 79,
        "k": 2
      },
      "number": "1.624112116634957747403144088587214743785798636634560482827513188491906110018350229861051319599255431",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6241121166349577474031440885872147437857986366345604828275131884919061100183502298610513195992554305533207200"
    },
    {
      "params": {
        "n": 79,
        "k": 3
      },
      "number": "-0.2761284981631094142038715918490813739167593722431428245641982709459065530771543317200606689029907948",
      "accuracy_bits": 416,
      "check_accuracy_bits": 482,
      "independent_number": "-0.27612849816310941420387159184908137391675937224314282456419827094590655307715433172006066890299079481949826521"
    },
    {
      "params": {
        "n": 83,
        "k": 2
      },
      "number": "1.625115584115115274587205345361133319469323998782620143305009335040248344253764718727199636756870046",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6251155841151152745872053453611333194693239987826201433050093350402483442537647187271996367568700462039560742"
    },
    {
      "params": {
        "n": 83,
        "k": 3
      },
      "number": "-0.2657578181999425822201515309815132204259368744409872045429771146134865755004650994005323597344646161",
      "accuracy_bits": 416,
      "check_accuracy_bits": 481,
      "independent_number": "-0.26575781819994258222015153098151322042593687444098720454297711461348657550046509940053235973446461610964492911"
    },
    {
      "params": {
        "n": 85,
        "k": 2
      },
      "number": "2.477077183018505692570225192125779108470889262993767059178252392463070073077761315890641167992107227",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "2.4770771830185056925702251921257791084708892629937670591782523924630700730777613158906411679921072268107359156"
    },
    {
      "params": {
        "n": 85,
        "k": 3
      },
      "number": "-1.215436384737696243338977803400382641830591633208886206571514228794709513272387428675834317018813110",
      "accuracy_bits": 419,
      "check_accuracy_bits": 485,
      "independent_number": "-1.2154363847376962433389778034003826418305916332088862065715142287947095132723874286758343170188131097468239889"
    },
    {
      "params": {
        "n": 87,
        "k": 2
      },
      "number": "2.117616269965532883734603432923618634396809068220246264671063467694722260748948251372028009993252586",
      "accuracy_bits": 458,
      "check_accuracy_bits": 509,
      "independent_number": "2.1176162699655328837346034329236186343968090682202462646710634676947222607489482513720280099932525861384883187"
    },
    {
      "params": {
        "n": 87,
        "k": 3
      },
      "number": "-0.7657254544052073277295779790356306607990760642975140402494033238732270356076501884887138605467960189",
      "accuracy_bits": 418,
      "check_accuracy_bits": 485,
      "independent_number": "-0.76572545440520732772957797903563066079907606429751404024940332387322703560765018848871386054679601893350580608"
    },
    {
      "params": {
        "n": 89,
        "k": 2
      },
      "number": "1.626451661602740746174972299605058614059186419170766994614933979601805139275075021318644306230772652",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6264516616027407461749722996050586140591864191707669946149339796018051392750750213186443062307726524354200008"
    },
    {
      "params": {
        "n": 89,
        "k": 3
      },
      "number": "-0.2517115989589699122838884934676582412007423197788663001186584551985751919316857025440030187602012703",
      "accuracy_bits": 415,
      "check_accuracy_bits": 481,
      "independent_number": "-0.25171159895896991228388849346765824120074231977886630011865845519857519193168570254400301876020127028562663057"
    },
    {
      "params": {
        "n": 91,
        "k": 2
      },
      "number": "2.602972589298292382989316307659644255467349294217351373999125110211879953165504679472995183398299490",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "2.6029725892982923829893163076596442554673492942173513739991251102118799531655046794729951833982994897118310102"
    },
    {
      "params": {
        "n": 91,
        "k": 3
      },
      "number": "-1.746326620271453932490890999251577772261545090952071220673825220248424254865817851436872151037766950",
      "accuracy_bits": 418,
      "check_accuracy_bits": 485,
      "independent_number": "-1.7463266202714539324908909992515777722615450909520712206738252202484242548658178514368721510377669500614139469"
    },
    {
      "params": {
        "n": 93,
        "k": 2
      },
      "number": "2.122495570126743788996664731156161534476064388653933468045881586283880606971872095269198581444849942",
      "accuracy_bits": 458,
      "check_accuracy_bits": 509,
      "independent_number": "2.1224955701267437889966647311561615344760643886539334680458815862838806069718720952691985814448499423277475083"
    },
    {
      "params": {
        "n": 93,
        "k": 3
      },
      "number": "-0.7333382734588785767135338658818800279399734029419467384449464781992049554276792227276946047161934913",
      "accuracy_bits": 418,
      "check_accuracy_bits": 485,
      "independent_number": "-0.73333827345887857671353386588188002793997340294194673844494647819920495542767922272769460471619349130035665533"
    },
    {
      "params": {
        "n": 95,
        "k": 2
      },
      "number": "2.493373743433101124758187199968711865763460902881883947725477737150327113032220271916237491465739511",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "2.4933737434331011247581871999687118657634609028818839477254777371503271130322202719162374914657395111976486519"
    },
    {
      "params": {
        "n": 95,
        "k": 3
      },
      "number": "-1.237478903689803236399286233497722454708647985436595020446872900713770532787040763462792401113143830",
      "accuracy_bits": 418,
      "check_accuracy_bits": 485,
      "independent_number": "-1.2374789036898032363992862334977224547086479854365950204468729007137705327870407634627924011131438302092862903"
    },
    {
      "params": {
        "n": 97,
        "k": 2
      },
      "number": "1.627975983684842658776823257711530084175455572328377835284676185768254816069147256577612107829864286",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6279759836848426587768232577115300841754555723283778352846761857682548160691472565776121078298642856616949961"
    },
    {
      "params": {
        "n": 97,
        "k": 3
      },
      "number": "-0.2353309162709022293376169658690414821059449758141852485450243096738976539091100995479620896176822012",
      "accuracy_bits": 414,
      "check_accuracy_bits": 480,
      "independent_number": "-0.23533091627090222933761696586904148210594497581418524854502430967389765390911009954796208961768220120152674393"
    },
    {
      "params": {
        "n": 101,
        "k": 2
      },
      "number": "1.628647590938838055913282343213886325959356337828513304688671514227730168716040469142206832296790797",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6286475909388380559132823432138863259593563378285133046886715142277301687160404691422068322967907973306973455"
    },
    {
      "params": {
        "n": 101,
        "k": 3
      },
      "number": "-0.2279852890066939811759150644138193369451027364000543498804438716824897088403249178255246607013108320",
      "accuracy_bits": 414,
      "check_accuracy_bits": 479,
      "independent_number": "-0.22798528900669398117591506441381933694510273640005434988044387168248970884032491782552466070131083201699646906"
    },
    {
      "params": {
        "n": 103,
        "k": 2
      },
      "number": "1.628963833189505791458119873765966692236241649738771268437154751414958854185694069233302406438984349",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "1.6289638331895057914581198737659666922362416497387712684371547514149588541856940692333024064389843489418295197"
    },
    {
      "params": {
        "n": 103,
        "k": 3
      },
      "number": "-0.2244978557039589888567836317312599669105269816431852326843722565270896042095679911585649595390080438",
      "accuracy_bits": 414,
      "check_accuracy_bits": 479,
      "independent_number": "-0.22449785570395898885678363173125996691052698164318523268437225652708960420956799115856495953900804379350502192"
    },
    {
      "params": {
        "n": 105,
        "k": 2
      },
      "number": "3.007879436522471198120987733295588917428936962206717143287877905133727945880138740724349989704701633",
      "accuracy_bits": 457,
      "check_accuracy_bits": 508,
      "independent_number": "3.0078794365224711981209877332955889174289369622067171432878779051337279458801387407243499897047016325558936118"
    },
    {
      "params": {
        "n": 105,
        "k": 3
      },
      "number": "-1.787062413221423427725059814890261143208702373446922263425864107042718263982139055988674579877500057",
      "accuracy_bits": 420,
      "check_accuracy_bits": 487,
      "independent_number": "-1.7870624132214234277250598148902611432087023734469222634258641070427182639821390559886745798775000574147253862"
    }
  ],
  "skill_manifest": "agents/runs/20261102T162707Z-build-skills/manifest.json",
  "skill_sha256": "a2b28d9953264d7b0ca62663785c2952190c5be6d6d3597fd695d9a54d606278"
}