{
  "author_ledger": {
    "note": "Author-supplied recovery run inside the 74-file package. Distinct from this-archive execution.",
    "path": "/cubature/evidence/2026-09-13-word-recovery/omega_f2_f21_recovered/evidence/r2_ledger.json"
  },
  "canonical_weight_text_sha256": "1348f7e24d913aab9f83e19f83c873d8517f0db7611371c95e529be6db711981",
  "does_not_enlarge_paper_vi": true,
  "exact_minimum_orbit": [
    15,
    0,
    0
  ],
  "field": "Q(sqrt(5)); each value is a+b*sqrt(5)",
  "frequency": 15,
  "generators": "homogeneous harmonic H6, H10 (zonal-sum icosahedral harmonics). Not the f=23,24 raw even vertex power sums.",
  "historical_verifier": {
    "bytes": 4102,
    "note": "Unmodified historical source. Assertions. Do not run with python3 -O.",
    "path": "/cubature/verify_classI_f2_f21.py",
    "sha256": "7c3cd105dae6cf36fd140a8b6525ed722fb02b88bd2ba152c465847befa944fa"
  },
  "independent_third_party_reproduction": "none_recorded",
  "maximality": "not_claimed",
  "moment_conditions": 25,
  "nodes": 2252,
  "normalization": "normalized spherical probability measure",
  "not_a_joining_theorem": true,
  "orbits": 27,
  "paper_vi_proved_range": "1 <= f <= 9",
  "peer_reviewed": false,
  "provenance": "Recovered 2026-09-13 from OMEGA_NAUGHT_Complete_Data.docx. Combined certificate original bytes preserved. This file is a derived per-frequency export with its own hash.",
  "revision_verifier": {
    "bytes": 11383,
    "note": "Recovery revision. Explicit checks remain active under python3 -O.",
    "path": "/cubature/verify_classI_f2_f21.r2.py",
    "sha256": "4af07ac2ba14540dfb230920f108cddd0b21e8e80dd2e61dadb79acaad64d7df"
  },
  "schema": "OMEGA_NAUGHT_CLASS_I_FREQUENCY_RECORD/1.0",
  "shared_certificate": {
    "bytes": 1815267,
    "dataset_key": "frequencies.15",
    "filename": "classI_exact_certificates_f2_f21.json",
    "path": "/cubature/classI_exact_certificates_f2_f21.json",
    "sha256": "7b3945ad58b76341bbc22e7812a359f64b61a68d413b2668012dc155803edb5e"
  },
  "target_degree": 47,
  "this_archive_ledger": {
    "frequency_key": "15",
    "path": "/cubature/evidence/2026-09-13-this-archive/f2_f21_ledger.json",
    "row_count": 25,
    "rows": [
      {
        "degree": 0,
        "index": 0,
        "r": 0,
        "s": 0
      },
      {
        "degree": 6,
        "index": 1,
        "r": 1,
        "s": 0
      },
      {
        "degree": 10,
        "index": 2,
        "r": 0,
        "s": 1
      },
      {
        "degree": 12,
        "index": 3,
        "r": 2,
        "s": 0
      },
      {
        "degree": 16,
        "index": 4,
        "r": 1,
        "s": 1
      },
      {
        "degree": 18,
        "index": 5,
        "r": 3,
        "s": 0
      },
      {
        "degree": 20,
        "index": 6,
        "r": 0,
        "s": 2
      },
      {
        "degree": 22,
        "index": 7,
        "r": 2,
        "s": 1
      },
      {
        "degree": 24,
        "index": 8,
        "r": 4,
        "s": 0
      },
      {
        "degree": 26,
        "index": 9,
        "r": 1,
        "s": 2
      },
      {
        "degree": 28,
        "index": 10,
        "r": 3,
        "s": 1
      },
      {
        "degree": 30,
        "index": 11,
        "r": 0,
        "s": 3
      },
      {
        "degree": 30,
        "index": 12,
        "r": 5,
        "s": 0
      },
      {
        "degree": 32,
        "index": 13,
        "r": 2,
        "s": 2
      },
      {
        "degree": 34,
        "index": 14,
        "r": 4,
        "s": 1
      },
      {
        "degree": 36,
        "index": 15,
        "r": 1,
        "s": 3
      },
      {
        "degree": 36,
        "index": 16,
        "r": 6,
        "s": 0
      },
      {
        "degree": 38,
        "index": 17,
        "r": 3,
        "s": 2
      },
      {
        "degree": 40,
        "index": 18,
        "r": 0,
        "s": 4
      },
      {
        "degree": 40,
        "index": 19,
        "r": 5,
        "s": 1
      },
      {
        "degree": 42,
        "index": 20,
        "r": 2,
        "s": 3
      },
      {
        "degree": 42,
        "index": 21,
        "r": 7,
        "s": 0
      },
      {
        "degree": 44,
        "index": 22,
        "r": 4,
        "s": 2
      },
      {
        "degree": 46,
        "index": 23,
        "r": 1,
        "s": 4
      },
      {
        "degree": 46,
        "index": 24,
        "r": 6,
        "s": 1
      }
    ],
    "run": "Python 3.11.2 on this archive 2026-09-13; distinct from author-supplied evidence_* transcripts"
  },
  "weights": [
    {
      "decimal": "0.00848213459411018",
      "partition": [
        15,
        0,
        0
      ],
      "weight": {
        "a": "-116903589578234302330441331495750790521641412213169900936440472817498198433301958284501245007171794135574008253838402549563251878880406517433943159758748388156386544108211902215138915330890751822954892159666300482611346103645336854803525000482207896007379270762290914782329321217981822153723659971539074632333399296973074853949450507495341904176267319859183962505552953029283907943925369945673143640891759191146688748587961669318438443720370460970877422755544479766345567608623410289237747172256079438809810097866797890908145341514206831838480515964233038933606598463529458084798297161168740238737951724187309199530993239963050696106772372160069398998496588631736019352579443849459788439387017719330199830598354538682711021075956082445763178926364877394113772355124461681062189270348532667503210417581160968287789840488636548918183251953125/625867483219331059716022224445257484200110495311346837616683835009965726481959292546842839132328163116497624377735672247446603566883413587434144737351379747387451351225492252018710284715707333322655160066755345236515015830891508001119591785785533813787886998278340941760568292096454157980812088962842912645067529906760407251869586889178611582284563677714820102475629992077452966637799055510234943719774877524683736746013577687039693351429210590086674528669220797356228777768514992871967800262017810287386503604159148076510478379282028983787161084781241630875146548445171449274807402972098686927759901457321777658554870761456448984346169721649026213021986135638536211968157907666663981187436177544010973105316525807932175696750847023009521806607419054945614476944182387459250775487717245556822671292638661587391751706204949097577023782518784",
        "b": "2795405334919511467506481448841793669168975960264486314608437245583140393307200250016198228266761322373241685696616126508012049871690910264762462447750195877476030277682336579862947161713206268339361876650649693104135220056062818162688186249873505502782435270872026219602425141324124838551655899775591763679667215888204570198636870960547144282918103554077088156271062024647008281688278608144117277749729952426461511560338182712926827485696768473144768705967803810534223835990504723219685961360020787754906543821896802816070346396734185472329780766039175777508105291972196126926937733680033828463866083675958407224060001638739310663608429841505366845855112427935373301422880519561271501337462690651431547464423041957447878115874058134387387716209438187948927300403599829899847858006596707833719176266810690428078647615101491809642939453125/32010858930089242913165157864043151749212000642026557832246615899980610349165466461831467962676396349873776202741330679322665790898798931279700524485343937697065413025642460861627157419321891827790122825283783089698298869657590356318285999625715133333066530776140894728494674551670494852634128006917891475673647914102384145157351004913897241421961810676772104006690070141527576776889193315338295181434693912197228158085350534257762093812076026653463071131229987871835334312675370005797294898762815693711126286632478473049036813049698131445904182466765444965395502477795365130457521492400109207945391785295117375834376105965144657047687692994394638761265604821018606961334355065843484046623719839111672345774566575714344083255334327455513461008139598930198976774922908706028699275385890866221970842127903326339260669276796338324045308100608"
      }
    },
    {
      "decimal": "0.008482142857142856",
      "partition": [
        14,
        1,
        0
      ],
      "weight": {
        "a": "19/2240",
        "b": "0"
      }
    },
    {
      "decimal": "0.02703818171116601",
      "partition": [
        13,
        2,
        0
      ],
      "weight": {
        "a": "8539176722835945145317863762406142133443817844344702716691017042884262440758831441082167889840171872789351778310350000439332212315965332506856225799442429853178620268266881244476362350556615302071987618666445949682717929307181753025241836666601539754700747363308283884421437210870415405179346966887123015204869101622892843401110314274726256450929452550700258009334835582623641043899799221127394202664966376247320685803442943294630243824391781019950522910508605255875394517638139235298827831363791384345162621270999515798321792098737889971755166296839829726518775719698058807490514776257753341167427874071212891891975834156771801106718077121772549694133279173360567543874978059533260431626846333537090931945244961990494196926619020621174298132580516546721685882289020610323457944962875124632979750799967068557044707759547594056581882232713017784605484220388414479449095414335486447/4240385352554896802579969046108939271852169200445729052356424658493512556149898220175181238988862602577878435759464184953092957517908471161480226573139526603287331616087690222363316893495021737386314638395530868525579683404199452938166814001910425049267891849296913585127269703501405880187623027971086775750417435905111822495953001930185860210583604040406405209420991168289935805346669891582448446290625283524206417966347097472432358051213700733864988295616183241752507911979813944578584050049261240029194314286744841581021258764832034177096555931249488431552078308012016752217306589552429138604689958137735322019598796158108172913786331999238404140628263264345269632266710407623792154927823524689190789078014148070961770931073768490365263521055049811212127954377087015332175072494795167963387859172545290924729328182931490078297186539937660461575663457709345325058048000000000000",
        "b": "-320242757520400244444399216290528741631449197347026073193742363136181594811781551615200999005962905115109583755705334277673392345790192905704980307002793215801158267308895615108457973453370188749465071337370216321477940210062527390739256415377869505892408462964543032055183628288580320493531635378472930687422086831270213169049349298102049914442294023138213895670350895378835442404514864693916276306927250468551320799833664965675729314611820477440867381151892473753859236378281996148836491941532609055228835088164114249908155455602217074398314020215352648993705415092310016209925825096777342024480241158266133027560548360316221094321203644211021243943519330311983306627019872343689337774005879053187369714344882448570949937991791948517222680349797982991773309777239522098068896614433574582062135060767321170486775401834001457665442682322848734626485073128271855328187660353958925521/360432754967166228219297368919259838107434382037886969450296095971948567272741348714890405314053321219119667039554455721012901389022220048725819258716859761279423187367453668900881935947076847677836744263620123824674273089356953499744179190162386129187770807190237654735817924797619499815947957377542375938785482051934504912156005164065798117899606343434544442800784249304644543454466940784508117934703149099557545527139503285156750434353164562378524005127375575548963172518284185289179644254187205402481516714373311534386806995010722905053207254156206516681926656181021423938471060111956476781398646441707502371665897673439194697671838219935264351953402377469347918742670384648022333168864999598581217071631202586031750529141270321681047399289679233953030876122052396303234881162057589276887968029666349728601992895549176656655260855894701139233931393905294352629934080000000000000"
      }
    },
    {
      "decimal": "0.0201145816145604",
      "partition": [
        13,
        1,
        1
      ],
      "weight": {
        "a": "50175762119020073312610155377309580164233428513690556676939046996749597907156193905796911716512072897214704048635214267696333258209416091849438950339828663104239930930053935518590231387633294837981682981282356304005070158001882045243220534119004147175151436085069414563525530042734360356442703822985765244738846806010625859177685860611406724857113340503552822489864100073279558053497933650291779742793655425254565246356171287509966050612198090421511224886032726930009942487446942376884933769435327718840467819696624621474371549802058034765565684174731307625367610570098870484129227575279234949466391415830137980428577388633564998046575598628244545239290042336618289626271945473404296807200406036721169339456044898533507446364494167429285451909918040868948681516032076913510894578613213971736913420581289733176842641719528907743690915119863649609204309498149421543293/215237580788685466841964843733370200252677440477576944068578380691758698245150778128626326583410071435572233429328152709309032211688536013091719014028449707492376444764735016810768072560209901578714598619368734209729819154650524707997900643402685376935784333124268457464332263348787719913848203711500274449554874616385921117300513684959412298875370420161569024429206484348590356550127729747615724010342998200972701375637123159387002887558817446996853267444547152694670130420907006535201555767047031554065826778032878119714680883697213310664710007815650549768376828257745009653124469064371084839971060017359592108819695248635690106088629841659105684881246128646273071624316867649619485719486341052275866119110293304531569048903498146571827232853133692150732851684246016556359805901490691067146712615922294232652517457546657233152786349439329000526391962233643360000000",
        "b": "-294732209615870829360361875198700568177114341477491007901368179139342981303405533027064367038574575174462745931329343831313102559552588932553908040477307532394676396395474961885254741544512549538516682346369144396181150796986657035788862800249817634461269007361928374517751580721090911268796083180024881862371104194433350256705268949416433706279115094957846533404317388896938355309577067873967522335580661630948442918489610766343850019072157808326946964321632038419079584205275507602155216939565742161877369556281048742804924182929898805664812315223457013662093875605478172016021105680622642544205563758840698398049446663274884551355315475283574207204922348206253329997323243527222469586735969737751674547253747651328007090025720231272683325516183170571920862039271100686388499350960919967484087066782070927120193096699145661374570949313468655509691740328770314027843677/3094040223837353585853244628667196628632238206865168570985814222444031287274042435599003444636519776886350855546592195196317338043022705188193460826658964545202911393493065866654791043053017335194022355153425554264866150348101292677469821748913602293451899788661359076049776285638823473761567928352816445212351322610547616061194884221291551796333449789822554726169843212510986375408086115121976032648680599138982582274783645416188166508658000800579765719515365319985883124800538218943522364151301078589696259934222622970898537703147441340805206362349976652920416906205084513763664242800334344574583987749544136564283119199138045275024053973849644220167913099290175404599554972463280107217616152626465575462210466252641305077987785856970016472263796824666784742961036487997672209833928684090233993853882979594379938452233197726571303773190354382566884457108623300000000000"
      }
    },
    {
      "decimal": "0.008482138240498038",
      "partition": [
        12,
        3,
        0
      ],
      "weight": {
        "a": "-6110968292958199412595267265894867026086675530833333169519590985024576887886474757679462540626285465502192844274863267803129955893279993516947274506586950344112738974529128008089475951662989575753496562456249909795967228238756137800538224545273208902742606653502220493764502489376866118919503564581864252911858995908465222975400064460512325423642037320579794001041569831766365891077926810419804797259415863464588908295193869294172823392989801778131394067564734967334960606756045024744930709610684750171277686780758575872939998372163418995213921158058938152613392844645876756438389014822320756975772087294598163472888733278720385083571350397035201983410186896478652126484947585553832265852652797224561864496953531699341153633708117815955979174066492102540765065962252417953600319521194144346321939590731584243363034259390815138317214222441213845100752037636039/1965074684175188924815100951161246538146849007593425138066175936327200391205525742809438944502083510946918884989873760150387041147811015514896490961653521533600897645687297229980432863774180687355941912599135367442333754313844271436298317191242978152977686564863480108256163408602245970941831055214874043782721911736844196144513632906320022632109528942925090815414289436213491283141720760717493439337743442163343316565307251958344257801766339257255829478277112756909683069620403388958931772066901908380657515675722988646316254712254408608676429553921498182619994328708028387109932723745012040692805512132848736558325540720257606683801499517986541868145942799724619546329255216904588325578117116076186474460462564053220160489020015290112821053933354968324290550083692494552194498475003829373784528503627986700281666187500013048580260334276980670464000000000000",
        "b": "10467377898531551264792890647900291187545824165172515965949818997540300747370453626994392038771973955882966686445962044619167077774284493915428159556467647994252090666194710089573202737398791368395191432231996946841565609452450281387835246199819677243231234729828454090808295346922112830472977296221117284263707518834360933968541985861546571637903874013299204085398040411681787694689493328170397064248801201602182166950849478148194898183333669288500942182840512799490131456862625551634207552397653681918380818550357749047348219718882296942107912887103050036867486249776339833001812904943278426941118811646441850226987903020377867369687872202009929745434065248248224905864512728015557639245332648697984933805551738973874817275215354328715274332654281701616553821969728864247294088931040536277593252402575664927301128960297636431768466456677056123078205639419272941/7506007330406817225462857662567973173797978841651709490607478495612162200172400829960642227131928987255186929224556036197963677466653428968223743564410083575551428742512037978163494588775083701968122829095579710874584843315851633277413601577256634491976828064082945931153762996328637771947517621786932119590061608154822228037881926633640627624472485994637692476407463796501356262988684564540613910788021789228041074186366259171475551785746896451171016892466136286466486477988287886002837330539075024746940928259004251044032117631778824882611997240228969675789960690273871959822557730375432756611019172373325453436168763921760452353685315952968005659297458570595186484758246324099967230671472643082774630534713917458579477726736158403733884419833082639302223933510857184338044103439669038846276374022534312728399411405018432194679953223898572931563520000000000000"
      }
    },
    {
      "decimal": "0.04887094584568752",
      "partition": [
        12,
        2,
        1
      ],
      "weight": {
        "a": "79472882579931622394360898354855971614497502093769016565574205298618751786926865565421730298235818391186982438679274688988874237904625823405024525045528222894589099101178618701024187288655710954103659300685521502598098232101411317579151851248908036604364828353005545969493009527075134071731815647981506194145268020165307157958994776729572364720656060691621650291563792890112597222115333228556275882972289397077632365065122062884357560721263253874022883333404979966648642868902655621677271989172079249472512894122686844145609039092669156366054316766473328662918378042033448721494332869768848777611289471603363183511727432562663757568472802776079338323509473072482605329555445691829303678444688506229974325494943835226376635463444435326637947137382267032097333892670867557663142783317116733108815771534223437621955455780449139682008026843386980333/34061177212405335160085237997807158636304309489838524297064755985284150748732940594092950663728356922518716207286193218216274225488724538455553175575409080735825484794002114082198340096013426006490706628098529464162942616297596992910573101625881655578068856300395235924209692210514742244418803338123512294892956191112307467664020335061517543449797744807062138930589693802927081862876262339800978902584262186780860241901795968512203948359708176195094746840427655554253627343007084083155407905661114065546132204027654292866906404668096112203780705778629435859587164630821358869200609509966612071352543404766973640415616451893373708684306202088594599858101083097499961276482957056471544180008093564044144339503200956522097455789811839028242381576818449927766674930166343742946194826139256211722427721819746686143532138207038400448721627136000000000",
        "b": "-43496151176910675330078889682365553066652461113776139342620589425615613503043908399388032681215183495867496478942357266579338818529824881770982364839585561579440682336185587581808267446728583515561895066656844410902018471673222160840071199287437182620981927216496683713237823705133805452665500619877955676109716908997932256389173517445314927462025163775932379074821074276321533574981701798467318584788906372475632362550450195778225695650205096600844178023223255489450442316979657597742351202036629982522245935143288624455310219967380131314004304888499973379081595809274527635574287999838238485173426349155250143165970714205199718814696559703432876379280788311742097510176394519513235484383130047855101000729494335031578005847859242381525591522947770073339579233694960064977553340517625483272816959173417983022359498892211397712261419028953315461/42576471515506668950106547497258948295380386862298155371330944981605188435916175742616188329660446153148395259107741522770342781860905673069441469469261350919781855992502642602747925120016782508113383285123161830203678270371996241138216377032352069472586070375494044905262115263143427805523504172654390368616195238890384334580025418826896929312247181008827673663237117253658852328595327924751223628230327733476075302377244960640254935449635220243868433550534569442817034178758855103944259882076392581932665255034567866083633005835120140254725882223286794824483955788526698586500761887458265089190679255958717050519520564866717135855382752610743249822626353871874951595603696320589430225010116955055180424379001195652621819737264798785302976971023062409708343662707929678682743532674070264653034652274683357679415172758798000560902033920000000000"
      }
    },
    {
      "decimal": "0.03114190045250621",
      "partition": [
        11,
        4,
        0
      ],
      "weight": {
        "a": "-25872167194976504722440092661478861801699276180941714388487430002894816986021924367551936587397975437379063859586504993138242713063040634976780850036858135207438301844480035646322226662785861627250125501950771838669135780701191256787268612911505092108163431757978804259190404340597836694131058608332899453537852466518182910814803380490672062923570528414037531036074347599549048458790055579290192454827056759898267090805991372117637541892694702701169030160178164715741108536741163769997682619526012499460881809527945116569045910369773429665477436244271586512633190297279440907019193553510402068616403508808962913763924286099519216249385272200600921228354936528740841228552048032978128210420284810276655413183804931812928175712008064179232034652499354302907554065087122902676723325960740737596575736280514244963178247825301570562067637577050978620766858376066898260296377303910736553/1202044388910869569449789661117511080747115929975188926785390815961543114268932660022545869336066222025781993362110163249839719675592578898473570830863184546139444917221006046996593773883214174973735074628809864254890761003913327232287839020269436865101212524365406816696731730661957975449961821787961686875504017053819342622385783023964316553334790374335315210484111116953164616237313297016145049254187224674446801530266868426968876443069225943098650176451415427971972636773109371992576846162989752129277126094620423740271821554286849411430464046034902409975902293531253392949784501327724244631230156681791927712678283730424013620451598654364465796550574406736952016624277257539923633408344200644818343847045760742677520389075330298063825919768289491107334540953747631613017113505471268082945550788391641877031685275255026545196773421994962015808727549275975815817179955200000000000",
        "b": "141556774058176910801614388671045846944877400027150230484591719927538247207528416023668075184081348382815063103232616804492066582775046322782695162808211276831759135330171756565966313098482377337437762906033351318676178670104101370963792465975204497865921888963585912099809863638996420271181340587635523614215265769969287786205943459470106962576703033437011478539981326089408992308515065566905196508883069480457813172261163469282327166799450515139995331156481014282357079639961277767758467952113241754799017664662242088718562937283835244320817253928113290896248076250093949405343952303108305493933436132340421904373260862286255380806359110571403738991087506491495871635695381846379503877333713893347027522462846877243498905727814006891823378962653457994055823102121305945442562546949772022279631167416832519265184242997060687898894387111180652372567599173300479260165090314193100717/6010221944554347847248948305587555403735579649875944633926954079807715571344663300112729346680331110128909966810550816249198598377962894492367854154315922730697224586105030234982968869416070874868675373144049321274453805019566636161439195101347184325506062621827034083483658653309789877249809108939808434377520085269096713111928915119821582766673951871676576052420555584765823081186566485080725246270936123372234007651334342134844382215346129715493250882257077139859863183865546859962884230814948760646385630473102118701359107771434247057152320230174512049879511467656266964748922506638621223156150783408959638563391418652120068102257993271822328982752872033684760083121386287699618167041721003224091719235228803713387601945376651490319129598841447455536672704768738158065085567527356340414727753941958209385158426376275132725983867109974810079043637746379879079085899776000000000000"
      }
    },
    {
      "decimal": "0.06363790789976054",
      "partition": [
        11,
        3,
        1
      ],
      "weight": {
        "a": "18212031848932477948573523439911841914912778709305230964472659346260905670004055354162283103743648126624415052659634606013522883151754174145672879047448679951406363678237779439319092737246623895995100245464236883063547752129662627584069205443988985098694106829920011242493895045205344986462719550681519172187101731638304812238934365221875980022441010213235636393885834986831173457398336835469070554929710730465308998309932611055174736468085281228473282403066315884871314121974331228894238194738050741925123472299553749957011455511614199223130403224961495657230449975063381090271698202107449644126280699336234538286440064269608039592785462231000802167372537911066526552548927641016028276613041933420491460007919206734319720730491700280906471743933231530531478925161969677511297905466902624636865771574496834286423701282502322445784261/24525741866851170651422091784645551542310737459644067275917988504734986191925114677918692817820899249599436980576104803266829294434984420723145883317259031311581433954877536458294815361513800180743987362403993655029437371483197044001903321938750111223043546581594219825030428158187994896874374281969997916954395932235147382323585065618561433840447106910229256697275131438075960225072783220641552926125371039970399753853375204547465490849576822922544867527371413609776407891796196178886933145609670195181481645191510393076089927822502217969781688729407707580041640673536095837444506085198495473769118767207193634417141796120098745264238404609208680935684969969139355331799697773950871992644585620720083099304168046838691993102826349380136056951623685266487721217942944053073601625312581022915711615562830198168085746811750902000000000",
        "b": "-111700080997457521166805204865149089003844630908282672637363463189634572767371832914434854330985550532276850882195288261754661994794297318985036001921525217913695536128569739894083709063827354510045531999971918237030199358177126918920850621512423923288226212128478064466453900288528687488490754887278231029203884142028086038179527179672288068378524440192444878936696198108631014430747223487180086493905274346801663029493252841596833994107970332087184687563992475998450220322491073256719255817270716996882948165831817930398763916489383789643869074161838234900479871296934178416906563003309635064723660695461943253466007752300686479746333108860762175124694567988265312573078367226768759346243073895840783260683978059603070475461646478828626629061616846686571463168464289398909731446830011254821982406470069737448726068570274651991652901/367886128002767559771331376769683273134661061894661009138769827571024792878876720168780392267313488743991554708641572049002439416524766310847188249758885469673721509323163046874422230422707002711159810436059904825441560572247955660028549829081251668345653198723913297375456422372819923453115614229549968754315938983527210734853775984278421507606706603653438850459126971571139403376091748309623293891880565599555996307800628068211982362743652343838173012910571204146646118376942942683303997184145052927722224677872655896141348917337533269546725330941115613700624610103041437561667591277977432106536781508107904516257126941801481178963576069138130214035274549537090329976995466609263079889668784310801246489562520702580379896542395240702040854274355278997315818269144160796104024379688715343735674233442452972521286202176263530000000000"
      }
    },
    {
      "decimal": "0.01355612114496196",
      "partition": [
        11,
        2,
        2
      ],
      "weight": {
        "a": "-9477384490037402334775400885401832723882092256311143691267462545461543131457114678051779876235622641667634280843002534395641965570437395794480187002284687182531780386646280321298741570492437464747683322343992793393164476990823568198492616010608168990519816567346089863453637758283753659737465264755894767269244688244001576208909555325987451399369129399415172991649710195101400545624918645039321587652891108977245387218020653350166381568994139281666559407551207367476969412603688650907612773449165293176920357957987832665894444604624911985538036094785759200257746795943210807330464218976602223168144468089598121349459112208099561242695461298437789914407696135194198067093610683746923577884312799695075056309212266488207871935609179848793065424602934689898333641743114205259959565728743485803727352244701314564386860128397920757545175538959867254832402059931632056580019162179/2854021060985478709351900961784301314797591421574340805000210281887267758042695835002104386230371785497255777237099670235180577390921834113908734570738003775006280046535514326345256627292104709752439289692588046142049983085410115476737140083525186456812268179442706946463346123815294683867965813784001290654943738791175596722594964620940323017271695814001072105535930276408709566567210475373913246710168674511531444530075482000326718047914004426301997755238508692110690356198608608211022885314375208771075212775859933039582710060373246087702083326907595150373618224438604288813319815278067303974779222172017092907322723257893094666703265266980726655400680984402627165701160079566867777637531920069538997801115156073022174641922050366379964959046832156750579761534751785938727113440957916994205521666744461652185796139249994754478166791073477037264013232298768917120000000000",
        "b": "2269716076862286443905217947109757541877363088817867360846607321148675688782720000013684946715112884068296868615342668788418594377490881901905164656695089631753463049347875997743767469022059567002598393582459909997079043506508647357876644929140893671853992657534642337500331178667334070398750778201896655838645010056724760744971956068918630624804895202893673022663610835311986166800617966662390372790410128467470226205230700900620133070106522963098198685866651853964498239502087304493480459398083072487119848006272096553282696407867482291001599923434736653809699732411331976037048952414213521926222019729457854775343904143361949447704146782733645101180772183761314476223453039183885096320835137091150976405256899590116915500713179553646513421424549202367251695547741422819064423929077751639985175936711051856032680500938171349377333238177221596089312412701072732049334340831/1522144565858921978321013846284960701225382091506315096000112150339876137622771112001122339322864952265203081193119824125429641275158311527417991771060268680003349358152274307384136867889122511867967621169380291275759990978885394920926474711213432776966543029036110371447117932701490498062915100684800688349303327355293651585383981131168172275878237767467238456285829480751311768835845586866087064912089959739483437082706923733507582958887469027361065469460537969125701523305924591045878872167666778011240113480458630954444112032199064580107777774350717413532596386367255620700437234814969228786548918491742449550572119070876317155575074809056387549547029858348067821707285375768996148073350357370420798827261416572278493142358426862069314644824977150266975872818534285833987793835177555730242944888930379547832424607599997202388355621905854419874140390559343422464000000000"
      }
    },
    {
      "decimal": "0.03093336348798575",
      "partition": [
        10,
        5,
        0
      ],
      "weight": {
        "a": "-1446255535097783621964439916985959330207760533648042728951977463793917239241278158436395935762778054447242097690132379719569623216588218286942386362151406751294383630879333856276267129519008358756116699581443956701678514710668806580293852451038768828472353889548850854559198369459007494267715830386756232998685248246623795823799317639472698093865229257872738456745732693192201450185287027347603814073375105427069888647388105851608752186520511163284054663181959165447764350257025292784637260462438987150283866547099386710121591052273523441787280076212203580058436260240057982786692465768779718454779898569022630581314063993954776843602970506443285887190936117226383001831220280701813014302417301618175805214619313468646062611303909448336507374908892129854268525666754203135215490998331539664054651245907537651009439109241848486170651262714497/4786338593223073991631143851383325568259270719289254017997993831245885057097566287942515258109241147535059561178760764126194705703862506469968172060044189423684983000235000525098447960974069832403455602293112765486164960600120939964765494656065069188803907842455386105728911394200814502282838242676849540578285785948106945357306678399031911295181920081355711206292421379232654661583118379875729397260459722456553144878593274129444769205170706795968774984528120414771947677746220968832317951297777469250819169109449476545077018497057004968952525169401876151675373791743132088890748075837101605483431574338831205362720281525347702182072024584328296711730446440585716038226922178748058003915081062432019297261779551563144523564536717613352307296148486890770778982564362015577785304801103789992142585327870423270657274518684488715549409280000000",
        "b": "7461529174841848582119460990035717407108654793199790240171168550336337866867446028909227976815014302657062959959948309512090347652843514687535501391790478462973022429644101306985198473182162510625341820389927177380055054399206574615930203943656699075938490170106836999323884149125226807329156081807122310449436410800024186117334954820193300510703327927732551079265726693873802596651533678820848635745365423251255751928555027705663827427184434528523655426564266181606709849230957846992407494674840334901386184745091977980539727745442863606058118051681179619010738103324549807990620243477229128805962103820810477595121329829436530884403404684777237228935863845157744833877803168996287835129298678918071238710848235279675212686835545625246972506265669070309053126515754613644573873982836585988832306918332953090856295357993692394600829153115129839/50089033378079469322419920404726502071833268077362043298349005443988187122526031203318422176113208608954398307735731396580627595190921130208216920608362442318863347097459280495155257911593640796102162877997425090812716312680265636731270901575720949060832895571295615596453057740311523766389902209613230442151760749946939183164214389445868951704078793651387517773850189733669731033467333845399508142330710995507828661154478613764639509732111446619813230213086780140588432447614202438830207360331241215709822604730388772044230998571701557000088175897790633927282786730591877310241678613635268301384111425455868564120867746162763703335383737274995625088259122000729518340044740600598427010971323318351081945844523007108307439102876749823731895854193915311916202052536048493021523214743551162267772155456163979527428377838033174408224568115200000000"
      }
    },
    {
      "decimal": "0.02546668314995673",
      "partition": [
        10,
        4,
        1
      ],
      "weight": {
        "a": "206/8089",
        "b": "0"
      }
    },
    {
      "decimal": "0.06180466501097392",
      "partition": [
        10,
        3,
        2
      ],
      "weight": {
        "a": "24970085533475375090188786534419827086419058828218667258989466739667154077370698800155773949422823149275592620804826223810735411488714501655485264292119253986188435266778920128915378949897124448627182946370143443690758907046937328987136711936155363218835457302367555732594329269879734008529186627579236091292165148770521613751859090775068178754409917130217288264955484039961990974106624335201402214829411335607275311124080040425293754904964692420265693031264311085113384858143462929017532543428844790859285895926214934423605144315313793094445422060092605436667854068546251600058287785537601015680926697200865887630131293673067109788355380601755059105291675774021069633017622611569216374108325993190608449849903104102904225227618788782708065328940610229916558377536170841076582941964248083574450739557281592585017969331150807644697797/272025028670697342127548756440677156994598612845347927574961165543604256224752121073786188805725894105997787862699374887883517611841340727834866889202193946851369601494740554965876983335480663929151682703588557523847661807753265859648412978367650432170382656247931616176521784334593764576755363570469883041881079916667791938975150363436601729359657845348486750747782040676764368170671464988886551371646831425256355283258086921156123277930583373672393125359664863039873846353207694437482245045601956369654353081418264235595222785885630593160214528632238794082845035367169764884476399259835617799334019426937399138804584662347983729930437860374007079456695179633934286499554192148319874446044350933504319578001453997809133569032645336885125591660851325123295736904981757973192626019273649363071270475162563691898002452054660436992000000",
        "b": "-21889324950676142441449153451622244706828502081411751394368568918338238391606447153869808915705874954934573552736708390595583901593270106801512993791828140334229842570569679518849029471645837834217588437251120640467364419389989342230377173822873189489636299227112913097033684767043574691250846735602293647168785595699025708907078084990955822556176938414102832450659289457308805718859951285902316554271255299367712246272344409887774106755866633460276280558371983616944168958433742945723240667373972294397310710379470975751636839108183163752637221656473670728180543141428086600489811300583671312816579280440820757875708443138973834832664748769612526100365216124188826612517117053076167732177726296457445944294063099370081472773960179900300076696634319647961884587187373274720134550438652697034344545367532957527989609961903054164779553/1632150172024184052765292538644062941967591677072087565449766993261625537348512726442717132834355364635986727176196249327301105671048044367009201335213163681108217608968443329795261900012883983574910096221531345143085970846519595157890477870205902593022295937487589697059130706007562587460532181422819298251286479500006751633850902180619610376157947072090920504486692244060586209024028789933319308229880988551538131699548521526936739667583500242034358752157989178239243078119246166624893470273611738217926118488509585413571336715313783558961287171793432764497070212203018589306858395559013706796004116561624394832827507974087902379582627162244042476740171077803605718997325152889919246676266105601025917468008723986854801414195872021310753549965107950739774421429890547839155756115641896178427622850975382151388014712327962621952000000"
      }
    },
    {
      "decimal": "0.0147137564506003",
      "partition": [
        9,
        6,
        0
      ],
      "weight": {
        "a": "12133375641570702498461721917707472766617534498606611282403062203876375955802116119236247145858276256943668866520174430711744707971551692881971319572849384894298289021559910250417246781471306977820719038908445053798670820745907238796500284057609954609258480343121476878388900058412326556748132378703675253868645062410535739586831107818204989235535515649648815944770623639368731478298951290811004507806246787999512655217155711963877714172948148649925764469943909283951299671708717147599687434852083313022759279280509186050163793659429743781959178604864335902420107744625535418288105959639705605438314067423768027212568386240385830297921199946055675940407039646706609344220469410180062867748687418241578173708736352258812886088742967234096414755863933978027673772129019569953432316049889/25236519018876947196697086618700812127320431481128629751123315496856022417748676470098311147982065836842551810121248033582369907754175073173067735451941833579315279605386416292272234467540385088106405987603766143710493254987968983945440676670109753051363762275981222415838401453365644984205402223224767466380523262560552238459096503483097377882889362040888564613062370493243602118084888503699713570611803969670447761195982067968781499453885139387586105771124099790285360692136381439906946938000952347960794897412970683420357673497070760166140389585674355709096009789763277526696323326834144062213301260273305090188509720828227874966170188764339610929278998630665883070359386110623192957868143322439797295265627976974040385928648995945955746381402339425742581154216512785817600000000000",
        "b": "-55523799301817337314988720390409395664957790002140604231562764195520776779976668342211639924640663350843251712745211959448115771318705433096582259832869149709289113726219045367853302794360395465478339703682732167072250872134771836822538266314935185001372056079515521555640421766462983671571405691584405417697034929637964328631300007787259733003878691730672152764679396401309768556078349772186476638423063977201448928980630118899569097147174253460244166772586697969452700053311706475682863026441043603723625920058751535026700441146327995134520551935623721944689888481501814126695661749982120242749798085961732322051610670993569877652468002582961501852589060205213019063020274478297780889898559920833300459171506321979979652044070770947643989842816578275366273867592526795872880693293261/266385478532589998187358136530730794677271221189691091817412774689035792187347140517704395450921806055560269106835395910036126804071847994604603874214941576670550173612412171973984697157370731485567618758039753739166317691539672608312984920406714059986617490690912903278294237563304030388834801245150323256238856660361384739290463092321583433208276599320490404248991688539793577913118267539052532134235708568743615257068699606337138049791009804646742227584087720008567696194772915199017773234454497006252835028248023880548219886913524690642593001182118199151568992225279040559572301783249298434473735525107109285323158164297960902420685325845807004253500541101473210187126853389911481221941512847975638116692739756948204073691294957207310656248135805049505023294507634961408000000000000"
      }
    },
    {
      "decimal": "0.06405874917997245",
      "partition": [
        9,
        5,
        1
      ],
      "weight": {
        "a": "-1296808618533496972388291039537993600108537297885158545759595071129000460140241596548970308685248951255942750780116380707478815175592048244537118323613472453673124484604218610448055450571024728809033894258231413895804212366596908439449571085169602180224974383520490268602088846065420973775884065455338118773845717997349316468255246715811451016767395207527894032600512915772724385425818910111753293585567545463988615152034876132658856177376254750055947036524640155387878203548598090734614166812675973334356170987482490285392970403338568869157972438241061561518752688811764756613850323553433919314236745348210981229932835036714172024028748352598907558472622878481685079035082909592749055068957271694080684037896862723394768427028216066897572358503947684465985037544197203267210528406906041904481860192603139039702862148903254131767650085232991/969821010905993848880682325484831933502547924223739209679740730949094640435843819480983479937079031407304622212121408228205025566999226054223304277648210726874562957137773447817143479032951833906165505355683480511627643191862202231330278325761153066964125947687708577449008213189428017117911837809798895149237027799899860858856810845581673666049225733518076990579675065443631084133457320372241166802983833753287446231122784135560558894245601255823386441230213629010697894605853593157074291347598538054919654099837057288281721619396706387374911249764910274457594428060480530408166482421688707672093009131328940117748187628700967770875887405625543631834998472445968317232691575343894607031905355220911006697349500160627121496944305242886793320752667586630335093517415646892097847097162659455858089101869977626593491500752845652183700000000000",
        "b": "361601624410064663314330039242748031446869969055692040456695981544176531591990917768848369398989720032810953452547788121843593834237761516180755858201330411209846763574877148693361788428955902255101976366211144630300984048621915696627714641754557806419829631070656427262122029840220366659728078016286862266294098665059409883204071772104944693075779794229559797602215168177195768581294106955809809873845406109395236184481295521579917660225818789703089151392433927686690776964247430545653893172461726097613648540358626162433894859330446989140876477693028280236912846008434294764772972459376190559809998202909041616975068663644628350942127849947119326835908104712449895801765780468529848667174731070524308535181970783681079859838121454031104496717948082215781437549295776574317631329710270966904733777575975788745811350009783721069244705330099561/577043501489066340084005983663475000434016014913124829759445734914711311059327072591185170562562023687346250216212237895781990212364539502262866045200685382490364959496975201451200370024606341174168475686631670904418447699158010327641515603827886074843654938874186603582159886847709670185157543496830342613796031540940417211019802453121095831299289311443255809394906663938960495059407105621483494247775381083206030507518056560658532542076132747214914932531977109261365247290482887928459203351821130142677194189403049086527624363541040300488072193610121613302268684695985915592859057040904781064895340433140719370060171639077075823671153006347198460941824091105351148753451487329617291183983686356442048984922952595573137290681861619517642025847837214045049380642862309900798219022811782376235563015612636687823127442947943163049301500000000000"
      }
    },
    {
      "decimal": "0.06758602271747545",
      "partition": [
        9,
        4,
        2
      ],
      "weight": {
        "a": "180369939251902836662771048200616148667675770705702299492375055991482911172912145721350368814853164039068858696405767107180565251603942489394780641137276075991382930320653210583529183142309909398674637720110302987196097242395581414765676099360327649697889387514501639704633140142620859723438567918314471248222966927366560346299375506943073975758231384866122636779117733139882974234243347012170455889856085288579842149589071098577949799462253498823988805621744325521014652567562626404187564440699403020442134680571472654978038266377883964060239878662891540527663459905963676428193285020828576196797980953126660212774014301618774224203636094929450050841977350149068287825031132859043133909887471741229837490972535874640426449206812568637601984100891821018950943453170787224533977959634080205788628918288347959943775655487146396044966684052221643/1240585601528344488933648071918374176687775120271715182010508055254774501730849113404202133738335473453878641715465443506003077529496589959880004210909029224623690808113318575378485510070832578763425129562671385846602816857387097545181171674993853834928255572763771184700336188602512650533954517314588399514385658255464862979419425393663941744032326681868265496792349157133815425972175794772267552656821320832155400837114735350151939774301232677584130071396088713115295022191579122098053679188179513430982643452512434108327641606224930914208332342284938761771353198265854177789493787336662273899236939084425310201786702821169058828436521375917804806104560292518631977953604374625305269268583782979228830707609516852967735808603661953990292652839601248869425881307578494333444727587192066510867667798709073621520238439747954349072448798720000000",
        "b": "-5395838452547910803598977785521753887833327627542295264173877749598475461332939780357121964506852187603397588994039391520134469512878788150591264303470772923057052010633067463827289321568157606792947091779646540104709164742582504487210354265136600937005095421369974256512629017852930959563249444005132460885566796135353618262123377026602780757942509691110697340254933374366703797869076280503235746893764206637694395284036796724854282465351998612526251794971430793631361917648385230165541380990030758360115998938848477573820551872882695968662279181864078339768969718396705241700771147783787423654301994814456300637702387292453482520911708270577529104716577929906761448383437121201949754643734473134984083878523759009914788276061590117570636921715690840886311842333342903117244230298701733742669390444306640009598701509234740707513009673457369483/155073200191043061116706008989796772085971890033964397751313506906846812716356139175525266717291934181734830214433180438250384691187073744985000526363628653077961351014164821922310688758854072345428141195333923230825352107173387193147646459374231729366031946595471398087542023575314081316744314664323549939298207281933107872427428174207992718004040835233533187099043644641726928246521974346533444082102665104019425104639341918768992471787654084698016258924511089139411877773947390262256709898522439178872830431564054263540955200778116364276041542785617345221419149783231772223686723417082784237404617385553163775223337852646132353554565171989725600763070036564828997244200546828163158658572972872403603838451189606620966976075457744248786581604950156108678235163447311791680590948399008313858458474838634202690029804968494293634056099840000000000"
      }
    },
    {
      "decimal": "0.01885018065371291",
      "partition": [
        9,
        3,
        3
      ],
      "weight": {
        "a": "145496674670149825343807543962571161460735783035249474074186858512598500851068343244007136224463887938192099774874597674368576556283057942117811424516733605303041058984128014349624395319107134533575218863827657151081920855721435697118562692666485075593951702301316997474706141358031769465955328478646596650926588953077030270344363997402181566043084324912307886894789865863074610786859844514994364470082812994143019521813401679214142485488063506429773383505461454294876383337937017580295447623816023275267734773486787094169246423867559024422528730552133153820443135154580519426072387978404810319586445804397291107515468681023878591891836866810068000137446129610835131995453993823371197404106397660159845260555949087818683153930618249038033336296348567681533508053415748378444778835473962356102396876617050667910014606774988337794073308327914606959583/54193451973700527547724848194239505789904392454416938065084977914732810856547222481938383787451615385816427382009206286241892626876330000849763222139580651757302765590997939677366891912573974015829922367146921275055460893408194560130389488072622499010853644644559490295562936137322043924961220855143027081788357331112358951137518633682295634557737959227632967953103022884472682719935322902241606112749557470197901750009287086620393928872505825845840946327785661080552943388577293184596779649213005113793377324087452750876857132053553759139786622669903199582226275143337204718254812654643354783308203230445625127134436068166847529245291804208057807017705445561426737771350135462507049473420733452119564212848698006775542848841519253697004391322204094833234675983532336701181765313276640154757467773487497190699233666362051068867667131337642573656250",
        "b": "-682294663984930876548304762186634659519786788232081221861019985295271050453788539075590633984754487505425324574871441938264557956944825556846097883368840832233108936465437220101444453046522997388431559624884841675336656349133833302137235166293196095614206549240152580404866736849194785042446742820035715663703028432380789226158147993061004775165875703234167492571181158737284658607945184037515878962970701296891106987668026046742439021786429086332361424359554370337640484981998709182157217531218042994387397854746046509905922768215042838974450245501632358850680864882229948986124245043913218792601063589401607113231983059677161463234368499189687117599263798670105000319373143564851760318385119482010643053306070678540406458029877250536678810761362625456882252518236085482217397457130769796149672382170708027218159190508609598162630085674534131930969315577/572282852842277570903974396931169181141390384318642865967297366779578482645138669409269332795489058474221473154017218382714386139814044808973499625793971682557117204640938242992994378596781165607163980197071488664585667034390534554976912994046893589554614487446548217521144605610120783847590492230310365983685053416546510524012196771685041900929712849443804141584767921660031529522517009847671360550635326885289842480098071634711359888893661520932080393221416581010639082183376216029341993095689334001658064542363501049259611314485527696516146735394177787588309465513640881824770821633033826511734626113505801342539644879841909908830281452437090442106969505128666350865457430484074442439322945254382598087682250951549732483766443319040366372362475241438958178386101475564479441708201320034238859688027970333783907516783259287242564906925505577810000000000"
      }
    },
    {
      "decimal": "0.03158274591735102",
      "partition": [
        8,
        7,
        0
      ],
      "weight": {
        "a": "-150736956380435779219223668062679783366685823198221396828438009162499715129951035412049726429843800125722046183089046333831696983821469485034266238223440177938848118144110532380502704314917637187453422041998630849610836674933734431101030714900237144495248015141163368243184907078883640688102267407350739502524738461370519956692775957581991988289845143380437964104932820695458517056236229993994196754121975632277027026060781022805537972943704225791273732312070943707380602185971128001577272937015702110227909097690772163510745681546091582186546792356731510815585507195274143207465355848864409169196102652656685612456565536797775404000780739829965674928870978270780875279669779198150012459679597516114699478307353120595699852138246168225779935820009731265120568055716768529155542035374368188337968838299226249676066222110133512425784127743830382750736225404714782132437884549/3713007504112822620108352340686305707971651508225300779427062360559572589053691635587031136503656005608037874274593830061811619488983652825278365882835429976132000508352792060207011572355748498148817959025950235988489692410303367711368060008575609520000268888210757066349216488782633563320301500018087890298082917391315173411779634600119156199340319368580341498856430397153948826081700554803123231398112258087911611927274661393629424491907726925101246607505983284928634753177876769816172746523676042676896108739144035605390321202159892825200664524630864872465874805320472529293502105797036070627397627550630344721345796836212749680516786979367531361973841662993872931315615500172903316440428259110231795729995959625608905393967638256401735960813573033554590652533197798916916133130666153735459240561830897705210476918090670697034453907329418733170522817102184448000000000000",
        "b": "599275003418526376758987535207243299973634297424907405325198988188259956315693027061595331439344447085425851342336920820105224395862782626712649245631681323007164514888237784737357185613690185502351123752918216909385302497152204458641506481072540491412132940567529824055341957430003468216013438513663794820102382531040625534611733117168309171134751910898807247945945367229065726944585741525774798579577658448296796506775487028914066913749663663074321616133682766977220224714146381280619051064098697242776450538355372916016099653904129379668198024817861227839878547869804193199056305124980016558665715801624355677920534862898189802086949808513818153346950146232385067352207974330210393949417084181445948795148766258535733669068077582721431751611638635034872617237633820394856185995152601447976051292296530463048138913711431679939386020937038752384887053144507702714414089171/18565037520564113100541761703431528539858257541126503897135311802797862945268458177935155682518280028040189371372969150309058097444918264126391829414177149880660002541763960301035057861778742490744089795129751179942448462051516838556840300042878047600001344441053785331746082443913167816601507500090439451490414586956575867058898173000595780996701596842901707494282151985769744130408502774015616156990561290439558059636373306968147122459538634625506233037529916424643173765889383849080863732618380213384480543695720178026951606010799464126003322623154324362329374026602362646467510528985180353136988137753151723606728984181063748402583934896837656809869208314969364656578077500864516582202141295551158978649979798128044526969838191282008679804067865167772953262665988994584580665653330768677296202809154488526052384590453353485172269536647093665852614085510922240000000000000"
      }
    },
    {
      "decimal": "0.0663181713893557",
      "partition": [
        8,
        6,
        1
      ],
      "weight": {
        "a": "2929050169264851540909413769923398771548313168637954928616839092855600298877231867260324667134646131817112157279581516053619119216807489158029293005339968563213030388124548707049466564543955530190018139988000186355874443368859019348848267152888865981435543339340262079015322200841396059732843307396613298696057982382304194999467231618796961340652561834054269004023227873736147108519778016564883999295180857433361647767768759811685585655351102750152090938300849859822148982167091169224103209133112893829414919895673344157437337773305413246139654344646957510856006444267790275296712665619908994005536834320905832464775925194527542056368924648467923048903267904599506619354684022200927838127808476225240354377529158092533995306195860094618090512359985772028936172204947477590514945826939003812539209398502247775495496641980587020704081855057/1657793201287545623027925211210220162716970845121338994401076882413382176849285752836335161491017948039779389885423287299899948162701159321002397229543952439224461382125477334651805360790091034034936444331210099842492856968713191477244577121798991822076017839963902693763955489317791097229871488814301903443766490032949479054661978697610460314357523630592470189952545220138808897135935886018988640826031638114818611541083337904837984044414435415502756712987478034186413179619812857830648750009634766720484581530086682946686138769400123654197606109507527327578629769120547459691566238011494456711796896824063894951712959843475166744050565098420647043862684951381659083729269348145076096383501507713569119309902078499061686633526530405089434073694752875303075538009019748053395684842230912632527873611627904041406964002630022651904000000000",
        "b": "-21177103871522981973474436318142596834588878391149683399020236461125829027510961724795953979363155035020975545843720132239693566413113668193423622113999873787741623443335574407151749909575525524535160680786977910008597393215445762961271997347058694406302242755754347022358568583645961240045865530069563086751041632542086923292383937038174431643692154767429480388684128685133772744112682437062977162589609069557737143096394032014504389555132157195171120211748866654915222316565212742518415709547565338139537313871429171927638562845316721560558836984432258135028210020547682430588416844924287441781177108985772147812045320457292973149075303492825352015885483036824848979506507479216907965112083755320136304886154158319289896742877962298789382448905547501893000499677742765219979305797339109896121812079793548270374731468904351440056061053/27846470346375346411443312618312768690654605461164708752537685594849644627927532242491632051920794199996294342980234389136057359955786550744721118077446009617432162073776215027745890718758528007305763342629508955920932647850725500737590881105246223215162673683604188585060842485741171845966486374260390315404812262591536602261959328627275369222130856056984381690132338524168122572272159339624669218802323148625172646266797389219003091451530270137224356881088656789245462143669868832541692329389161815013738771502015950952174783360584383889097527035400794976124800153200685213184203326060937122818536900740155010387115786844487683270726177465072458743494148119512750566561075276792991540596329916801273000726238720588942104706492671977986014675723732507890406573499771803808438155244640189796100900531263785689926606987066449920000000000"
      }
    },
    {
      "decimal": "0.04036380070217405",
      "partition": [
        8,
        5,
        2
      ],
      "weight": {
        "a": "334192913597972378249399080752589061660863065949221283836704970538849510179677720910840523699983428260618348130446080327346794444384356011976835563435046704889602094107029654920695108839576560903045572990765944083233123423280344920234283101437491909014584409441613907750439611607337709067939190645102312053320086899090636983594514954253826765150437369884628053588719954763425254261337450832052295215437402235538694739367363443209611522646601075921052949908350108344173676189558241107717860943805318005175532726142457587411488236630564398924585460981432333343862698882345452413229626229089277618244903846945664665173553605112093952042252944379647644589582601394925193910512897722558121731701512241052528258272152539530961979573601714298942669009761485249813440758138697960701474075773879927619086885780899242142734204633507893237/1680378504868195437760053968184136721774495315165499962383590918607356903667824127619246264465282743374001849266476901588611789341951318016311771767352842983517790324811611790935494962721257075276497613936640477673494767607923904776391459071468027056651103790443784161487807567667817674657085444886881482946618633446531461784885366812492083564096959811500087943272344360571870770393848270255311508174300793154233081275966713034456685434308659996746983917969737886551353898331707220139593174329900201100425077232795467038546011493575633107186854217105301774043705537644390531768106403714864356046547823986419318449315286347048888776084815148566132683219993524943707411070337097051097355739499232591472691450017626276690868940929694423785538933444575375623599311966495951850360247938840045987308107282555431213782852044800000000000",
        "b": "-1191226980590666528681945788632821420964144771549451151302288761621769895150012823265560908854477350826439146682195012374858613108612498696177707349686897870442539910990159034115828330362903204052913659523032565234277405018300685607380738085859579034580402982722873571775051890516604889481431798886084980909459694478836023258458967648921479603991131637922889625423111010593357143357236190948818167645652203615721620529384222511149477160006218249169284361955160807292640334467832249378664161588637246341031394915368842883911249987764343486424136118907041934366942507153202473343953978539602110274857701500807101229253503322407251106070185290928039545783258437042723700017821707533015612187749109099427639401190514044005876952099678523895704061172121945813646346347932023287210193210197546604826062486950963196559048585327573649541/16803785048681954377600539681841367217744953151654999623835909186073569036678241276192462644652827433740018492664769015886117893419513180163117717673528429835177903248116117909354949627212570752764976139366404776734947676079239047763914590714680270566511037904437841614878075676678176746570854448868814829466186334465314617848853668124920835640969598115000879432723443605718707703938482702553115081743007931542330812759667130344566854343086599967469839179697378865513538983317072201395931743299002011004250772327954670385460114935756331071868542171053017740437055376443905317681064037148643560465478239864193184493152863470488887760848151485661326832199935249437074110703370970510973557394992325914726914500176262766908689409296944237855389334445753756235993119664959518503602479388400459873081072825554312137828520448000000000000"
      }
    },
    {
      "decimal": "0.06651373213117667",
      "partition": [
        8,
        4,
        3
      ],
      "weight": {
        "a": "24098147287356220949815175105192514115590421649394705274553024862845387488438512582605016093638405658826476193178657542451947867190487133889947853789019233162528212730468734422434831839766560965525595575893545504666567749318715065883948162774173492837948398308661632344164235769923845324314933315459668720751276302789955645552388651240290390719002673046969640401934357822924996454228798415641162649403033028930916338885468194351405871654017199235446621013550392633838716043666162422618968336271939244857470546035438355367976970693047122491140310038345864062223680201496553583748295910684591770405551535911503665159602149354575363069788139028770160596792236881873868975363474809708464561846488495836653092724064205006511457181488448212155622834906701748616745312707978388434758443065972044020964236396492612159562063124839439078651517327653327/242399245029988674815527509096434018547465966344198830720735642783400213151530844578168347074403677017999184661601745039392470738938330033319327558842055025414278023336085454615131534401359910929413600821616275563701473506117477072726676969534581975503913947530299724280707257715892129614033885530485580908844313455770075116521607154648512956162850916491175836988919846304588525270240651909625402993821905463336506928572467997473828494624020999354926140326574208298813135802266960340420242012931128538948971927629657516896222347563627193964097846987130048599673400332185086830795875246689869514851805121448044989031404949969438367372915030151597397972413199931041744512147512271854099695402175143580912631439281435087582987190980106194147175530542579423145955874589641515694361151194755285837367666280920864434713459155127796917272576000000000",
        "b": "-180742330267630748399859310884938749039996471312518253555462587778059261152378277644071394779324076140909002284206110744962960440781044654319719316706655835635851086334498536893957042531020362466526929399540072273065696512014810285744496133328130510816945945383743155968153536850177323245057439339757447098927279115703397507530765665460163826962214428358601331080597098950510267674691387409706601577476955155985296423766931065348039528028364298740385381858393200197409123293307827780371487923634382472851457215354053571397077244315895491272041834668862992897275175050303187289760091717366818038944325885080601218294070725703789498957623966780867945308470492980809657259058590827752847212264856351188246043761360270074126239953479617652663302327438105945878589928946035132667233595185988073268758177455399379387785923583660234153215461282563/12283745525168345007543623771778750939905369916091156962199441357266902693489738745515287858500186335371580303797385728347591422581334292229019977644023058720318143074463789929820854783852698188990554095690013964376763860107304581388176197780468681191076720314035459000711516438305344406116582037017850383894137506204564617391297659863944913319063391038404180928492559778948742834640573576501287313876110074155566229488469662034146714254595658751094230084116936231358773773763528395629404156060699081365657361197448860653524781126535161856288742245969428138496962854671541562371412596960635279468841475749056333903618494086289106454708531933357976248602020266775764080007475284046660457537272389032816518485098721372681570296840208084162863624858576659956720736887988590322349382661896382728244983088560178940948317186915259978915840000000000"
      }
    },
    {
      "decimal": "0.0185648138720086",
      "partition": [
        7,
        7,
        1
      ],
      "weight": {
        "a": "3354104134267384302302200573779167321241690541518618192474011205972726928224288899619150400757202468501571741388791825606556397484840084565930159388932594964865925930428697981335503223876409678977374365124524588290330054901140297045842134208217239534526406553318583581519094845605316550591288406000139439795292613615006290784934359881195850974856028003909810280275521865017664577949287704761032951220247536479364020256545686700314747080656840143095724283759396961806847832052044302220723556507344090194093068575065296363854413652356682128978846457307449495176225251221238499818616535791095094514868816327581906489793502709299698150130366962059741929515466505713214699275998400538818972355103509729796904595227875066017858611498791525459488220980249783913830255998726411098873040040249841264683130276350985471641791064403026514794499691399462872513455658683467/30075498098293274291512291142554002204639664860230631580870441070072005530832652090942185438691277079719013724567153715125809353234654944980381905922743793311212240927478131295343636972638938201411334871471285564529670003044116961140745363412180345404276000037794660023947379604394406725065383044222230134793803048433414951561865845450661112874070451640894985822021526418762656550191922932808054050039220143421287745883139823000744683663331024669526898969154766538688640155308457628544666933182638743256472286018428538840965362091280954822320277439783202014732013863581587279087394580640297061254516263198655994707034679215607341967372627267990450097108277801516510314694742914819683074964245638609929285433626348494255040787056252540135092011379019864458329365327746552431596623668176049436025670143908230909550289046347786862175367959723216280343910000000000",
        "b": "-31257525912636116995062631344076101886792275218336472516533493990206144670460127730470931605506018692525771593552053112725667347103298901676362319351483991723506606178800777525071469035322469843793185104511120541862281049646646092616269886884984978416306303753071276803611493110072026523573024848345950141186173684892267048131821562653565386048537579324038181926620565089812575124699676927196840262912283779928285667915265954093906062167878996446917716422687199353478000024706061074551124491093717226972065447852362860579443080777736298903162799023040379642977541820947829294454021997900113037615821771938466100181164599668919430037149580112122679861557912026025861405565033233632435177137834959537119909377816720286753277967184827555395431662711567561493231342598559152892180050492368793982390598508873634906789446261862464675926061698817049906732468248601/751887452457331857287807278563850055115991621505765789521761026751800138270816302273554635967281926992975343114178842878145233830866373624509547648068594832780306023186953282383590924315973455035283371786782139113241750076102924028518634085304508635106900000944866500598684490109860168126634576105555753369845076210835373789046646136266527821851761291022374645550538160469066413754798073320201351250980503585532193647078495575018617091583275616738172474228869163467216003882711440713616673329565968581411807150460713471024134052282023870558006935994580050368300346589539681977184864516007426531362906579966399867675866980390183549184315681699761252427706945037912757867368572870492076874106140965248232135840658712356376019676406313503377300284475496611458234133193663810789915591704401235900641753597705772738757226158694671554384198993080407008597750000000"
      }
    },
    {
      "decimal": "0.06705857442992365",
      "partition": [
        7,
        6,
        2
      ],
      "weight": {
        "a": "26699563235583667563656588080863557516650254299210034912884947503504578368032805108910119347411288888995935246749987195660214316356800079427137933333939499263321039908470913609066130565768626091114751839189067564059726163640466728813689690217781293857853942134504772239407490101231281438401749721031479454133381682303889310027157997883563878834337765645010672591225380590487597667956921141811958241703839305154427634938175610355112020034695075769187637638034536612758115796010724627512944421684142941369161734575976095242563770031823299156365336749946785084346108450180985720136546892655282074898128213043658921742491027319703957290924606842763797545848452618434317230571646458515596320927918848541816103852241701777749811216418613605952023335231130362439394090781349601558497043228375682292030714337207647688836433012054903399250533409/236805951682840454441494790688220392255993971239732159812621844781174011684797783559284177451727857688378981036925238068906261420397642239604650246937989079211449303472353168299637163175028106705885077551511558776746695376385465953490229241864431322896726791909318503034893564811069571876923211613948319321101138056447871877910519625130873121040583370160488226664695955908428496110260456351276878133714906092261000217050821836057525580229162058849865854499721024609902950856328473462259048887877948289228158900538600714671256361978662775303743586307726395934507340015513526167792114489764307768162261803175229486574297599582304482648575615041420913837381675374176830185515486874966199769201763352554127499815122709140039168572001121014461981373981844811195985527277382858847284432167817684678741682800360761800735531777468608384000000000",
        "b": "-4466505342860672530729609626770589449085144803061514499207302518513902685201671472512935507241987701988391993381190330715548436384289175198478166914614704924002852143551731176732228833570918162378562179668975015905432962062622023285765445257911600798218784335447213679208596017283454545932788388933495486801124956740251728214853027255201813756690588983471213097030029052213167165338105379444419391213891514895447905146682742895626171083093231027592666896859561904887901772262216726206775078048655058712136875156533527402374064011714360530999399455340945133985248694746691739734710438707608171731174006856563403992027116881024301209796797914073693390086741131411865178792160121326437260680600756470145074946065099390828501475745794908072952293438703912368072819704358885176917244886460823545271465854216034935545935347788853594655104197/218590109245698881022918268327588054390148281144368147519343241336468318478274877131646933032364176327734444034084835140528856695751669759635061766404297611579799357051402924584280458315410560036201610047549131178535411116663507033990980838644090451904670884839370925878363290594833450963313733797490756296401050513644189425763556577043882880960538495532758363075103959300087842563317344324255579815736836392856307892662297079437715920211534208169106942615127099639910416175072437042085275896502721497749069754343323736619621257211073331049609464284055134708776006168166331847192721067474745632149780126007904141453197784229819522444839029269003920465275392653086304786629680192276492094647781556203809999829344039206190001758770265551811059729829395210334755871332968792782108706616447093549607707200333010892986644717663330816000000000"
      }
    },
    {
      "decimal": "0.0688037752086843",
      "partition": [
        7,
        5,
        3
      ],
      "weight": {
        "a": "-946067757882178263695609116498728858548400115217538109496822868555684092802471303455335244032444698010027311907884661355861099677027857728063659420639501743011579500782357243683623783690542850214432463713429676416385840661357311315281384426751698370369106050723609729945972712494991828298885776113324858504087697906424018510533314626474976124323087116702004981805092755342266111521383762508669717818957973634469319956061833046103618465237906759665517330481331257346990450821386966390597059497455907868410714776791887273756280137590187285363381863050418305862910548850274354899176011113788722541669054361856640974664010952811109914327582290580659220594551206860250643207836714644967139529493320044324474486527527124236450877537391317744361373724897765056860744992153610255655813376753148848455923186383462352144373075599318845108499951691/18522542921050143026472368972847151654069379531633366551356615296859312208990967311358262194898587539462921068617601059753125181547851903031576441204799724195497709756005819984471590051466153305579130004995464768655750777502646795163013390533173912702503600161060629534668641552455083115515375387501785216219249615415999919791819624798313589771330720891578967903651171182894197442530103651287340741304882649688768451888457845443737043949968353946738283395926837411684138027496897783433361064085670140926580357689153484912748888793354176014571880907241807673038327521344391724975217908102240495716864178298021334413093453560029937306238840442911739103403722241980294942984044419504990925444381254234842191835420595725977768106066419872318172842799054123137947058379246568586322442930001926960564937863216596401146857970630769602634375000000",
        "b": "119163924871270296351173166223823578452689880909843225520379926112125402282977567558397938985215359259532097500468433426916813671383560900388694911936096966817213348540121287262584187170379593719070227028779646420941008388104627524280506215253037336992935987540674473278179995044044961488453211386124206796252297667007064604384661498662592819206640683565074249929895275060452201825457760648356485979368270322561243458782814720027795392458291808595683050544847447816863069257635191315589847488245358355813799055848527886247724392510823763241673204237044200381058458024514151998735306031668949202476618215713170062877689165936123640073327586003788890671096172200122339750849192283872395180115033794413412851420370321383096919650637120870968735094845622034265780357839620485597547009503169056379034989748529469667869306811682932422219516255781/2222705150526017163176684276741658198488325543796003986162793835623117465078916077362991463387830504735550528234112127170375021785742228363789172944575966903459725170720698398136590806175938396669495600599455772238690093300317615419561606863980869524300432019327275544160236986294609973861845046500214225946309953849919990375018354975797630772559686506989476148438140541947303693103612438154480888956585917962652214226614941453248445273996202473608594007511220489402096563299627734012003327690280416911189642922698418189529866655202501121748625708869016920764599302561327006997026148972268859486023701395762560129571214427203592476748660853149408692408446669037635393158085330340598911053325750508181063020250471487117332172727970384678180741135886494776553647005509588230358693151600231235267792543585991568137622956475692352316125000000000"
      }
    },
    {
      "decimal": "0.02489960588354984",
      "partition": [
        7,
        4,
        4
      ],
      "weight": {
        "a": "-31441919538959709292099618812500533457066891205852070139971931600274181881346393159477076861358918766563692109848375111736500575974126593129085999306923197894882139052503167733060684838311577300684334008480779282409346159590667274641380956606992763958672793626693337001383933318500359494479025616962434436549811219230956850185817436898989670037620402349990789290215288603916266185809840601005961628630083345606480828895851333515217145769963675176109090571818197774026887621119651244453475670706535561496973344798368035930857401353520213121990459995453297029966808976020158661129779250652439135943717256492587202940730098858541980119484392370826721409925697227961060213142303457666291727732746923113273359446708291243966369574782036720770334942603263617468857994032727441397554681424195294540443701045069278071192769817151707264358371916954429198246205943/108525778109058169008811857764001595825793693331780905398944195418670717995551213798238170373757777764920681509605017218832722314258966247802788946090452096317587638931144166048333611727764785113782319357610684766074245640879770724650529552280333287493513808149351207783881107681742300712830120804294911266706075869132191087550874295172874445537366086759012160327430087300482595746236915115576328021807684102679527887077768900658704152002928367124419960995024906398657382784248084651622627573183198563786983096989358296025402104690721943772047755373736214332789653462658383449863124930447609489102851970631516370952657806243640165683064291670654825721805310896324339110267843502153606990759903187437583565044840061926144600685983851227227050604894601388927884699557173166945318342479998457393515467407951128104972161474727697382745198158734665318400000000",
        "b": "763486821189094391926576620884137265018570761426849273388231291030694382214989873798102338343727917760361009400192212915278741961902077935443271206380485739918744509097182981763783114924098882564608358627476020511344675546820343327420299024360015996181834261583119034487620357849360863165164058970781682041223721790311053448092502534895915330855181762371996193465678179970256188190589938993417546657220250691667321115778139689862168884749695382876121072644413022261406923827762798765957067861486289854618625219980669229384969223617728086664316747605298302104531745960142698989816913218333306375546684179310103338726137623211001507331017587730883427420173267494028537120108997096674174915927356656055521661447262056503060250199764331272315444627816263330432679537918205284832418211508480226218738354812123546641677286492766341843347386905496170232933423847/5426288905452908450440592888200079791289684666589045269947209770933535899777560689911908518687888888246034075480250860941636115712948312390139447304522604815879381946557208302416680586388239255689115967880534238303712282043988536232526477614016664374675690407467560389194055384087115035641506040214745563335303793456609554377543714758643722276868304337950608016371504365024129787311845755778816401090384205133976394353888445032935207600146418356220998049751245319932869139212404232581131378659159928189349154849467914801270105234536097188602387768686810716639482673132919172493156246522380474455142598531575818547632890312182008284153214583532741286090265544816216955513392175107680349537995159371879178252242003096307230034299192561361352530244730069446394234977858658347265917123999922869675773370397556405248608073736384869137259907936733265920000000000"
      }
    },
    {
      "decimal": "0.02471557688304427",
      "partition": [
        6,
        6,
        3
      ],
      "weight": {
        "a": "-358281495114018173532140474650751028038055271121585033143216442017436503681560555975379211581726088459479752926290860791715220798433996301280010528094121429896421620349665350875275222930284201823385258935023286373613391558503193631016357615089927388766184143267762474777405340787639410425093457510584452620770186221229754290735578117635627801783177030884580344120035590423561955350014821128993070420787638231545723939090811105085874966921672385199472120584105520101264864229020502768921766524756222242262813750145987125811373269289302532626424384749526971049078622677514556658403414182495808650908913988396865324672366686514555977689839896325178895142629547689439669378883580348141861384153982695185932943600708331524330594995873542187176122825309376553647142213640955402106801356432513592287904118395047653936158414854295681114366585075274779/350466096268494535668368590155346898194421590836202382235024576904690197086470275461170728596473862428407701160009225455325879816862455205019554726812106241400810432757712489278319545827837916565266344849256199453441263813424844564706823053182029653397930228827705984434526945750628040973525048631291729860016118398771655658018031101601311165940396102428200148653471413108253249002808544105733223349679973818642192833894253001959921108454615014533351487753790834526450997797483743536000818436402147536007674937904941327100323446721096742916469504272453590807922509315534067708324510198143898952589234579072080671010443918640995317817099263820561564970159380388564177392172521956629333379508894127476867457836119969240505558393575517281662689715242077509835450518149832785167810159689354922942808251020104069150988017087237237826232576000000000",
        "b": "1214856962525835995852328716805679801150611184381072674360814684570375461339687566392933644970257856978099391978821428329067115916835520416634518234489480740616147387227949227631355849701420900037188243399874124456109708675665263615829905660300887497840952972021405078920053136884870290922851859119654443719950840689006646235209003056130042822250306277395090782282550845753968241009321170900329557791278315877243701455945486915952179528860476810412967468193444349046998660473032675470045980347310229985646268739443444263320485092938839569370455117613681611190985062924119059852223475536065869773596565864378175491996779320337206838065363851973765248019068753337323457414236800263156870795693586726181136616154455578815103648390044833057676440546967693722764716097031242229688735678687097843822277457429746107673681814943538409144282436779830017/2594519866617527114818709891866845427291252670115246778003119664511807569500308737256610564227714845239680983910761598552941295941519938650556045568644264771827386282460151213223752219407025704302206783255363168691750836691629284086548748807340525048656827780980667099809071396273744604151830559785120914357346117405712609454187539295050834718477667973322750806717825972481780809303988046846203651119839994192063237195691884738363693282331462504770992212513375155718732416127082942745952004875832584579140249246534818285231536679603888931108998680277858545346547366260710489497584505579678687898134169034258646565647234650338743245884518639329656708944775671501708951316905861723577908684965961225739441814767985671228184509846681267772591004942450162528746578453988186306177678032952921286180601623298067726969711524852637600828748800000000000"
      }
    },
    {
      "decimal": "0.06884566807812095",
      "partition": [
        6,
        5,
        4
      ],
      "weight": {
        "a": "-46791669229711590518427030499553774618596680688034454420233044910168147116161297567912591714154178817246776844438631141496733647497406461829115180019582232481316834452199494291050471317153215943537234480681512332603283120724265298109727609481826207211638561096225775992805048073540467346213598553557752413138525963809727427262788735977914219081564673546794585564859335223152853621403700322798307965613474649458796325010064854596089998636581163525214191017311894112879160976001573557316767937880997111483371586074667274838145685345388257620724247903027437223659719427034532349638698113468873768346881531895290813057647440026610419080284872314046423057336142054590129208147758178476855151258174347352167199786418085095078339789551809798623230660386773392332393001664468656762041157867443038483225210279969326747433717272255627001882451411/265092528036561951584591431134743052023076775085408443508861939335443009931017397640198577925167853588828707672591186728222968078691606995399760902886955107681917800391887483592118502948785175353770038559126567787403873826721015928282155332426303556059090619854590465095167548862364552362414652129147910579407489621716529918020640117177658479358177804943653018566127767023883068177352737630862153689432044744414538214348422947080986926317548417427655872579057766268507610448155283334651313550513082754298356353161873323633884239560084882993810316073789519177551732096571054214110121367909515924672458732986989051198573911978799760180922128596198297289537517235128013389547748712434956795580538937926993123350605818962070383258145450241059337502443652652025751404712864717567700699677385942436484700871835428784458754931665868800000000000",
        "b": "5249790828827076678748119482305412908948748821815848210061961089597341991911410161345560281761989380312825331239084876746012900265484066875965387739943797610701564085578964950008762394584654335883849005202031055500404457463844800587620523845904837769517462079543589407656008044962251213962379431011418488012054257268414612127812260616151439685098087585651289263523709533386717244984209699178258173179282622998833486535389827087608398407528618605649413458561951412591284389682009106112478076269767151060240815494682682312813829245930296503055868341273668318769516320831426473327519837965362470347820162324534641017514909316231439233419053426099911766543311666850346126838318585469134626739834850055628014002367576307561895142525944804689843953741062900071694152016201000508716885122944925005387048522896948365321238498691632087486734451/47844239685743132973154870592500417143202359139746176301733104024444928262951000910998406443713449511352774780481029690254145308320009283929101232472913020771469121728482366691090906280863634589249940114280864507084923752148846457644506644221324839663071168021884642764502164567405367070756655130260652310454560292689480667022441732378320714857425138592771600944421455278374617919709384465463089235392147112962516923712616440983867961300627053947504736361193580810492683703878293115211132793207575096029783566412904944773495150187983234230166300360911210011991288546841032511904901583780460761805858193787758719133432457375852897893615624813484986810277493083880055892498591010934116533961728284251529507556593296203047462219050315217303490057259215385058123582401386011860480741251934628648296035585157463751205791331249856000000000000"
      }
    },
    {
      "decimal": "0.009114060493540355",
      "partition": [
        5,
        5,
        5
      ],
      "weight": {
        "a": "-7726775983423612352199629477848559777815152496916193157387989523436602517357163868423045137320543431397820466002343506713432291599446234609542413189021495115390956539414203930895008404186619741129329637216167820747846644954904085827450794247189185299779309442275885916643748641903657153521200264253110239649016952974716648814889908223999569207346431176575173306825294039168291791433362918759924035623427313380327554149661583685972120580742879147588757711304066697601177715970840061083777258294498992485099113540464580288000419943553825341912934082218718942251108641957663504521713273951116487816822460148233589976056278878164089582582481979868891715881316194934741844733471834683973830653437436010515102164813352672696854819540563406656876765338424220739222559126207319514359907612750622432771173946618520051113541996536592147580307559151/40572056659612547551301103373843690527560473321115291878108540968624577235743756732719057386109361733265478201106663989372556094910847838748559763371891126749513613016932099374903982767170316892311997395801946775871777634491256622426866741845680882072906879832076585634180390890883935739769143855672346090446932124206330418355547170825482893951011540975922765401460709330758837116918834532832957220595728244887840018136187406966209883978355611825597826916835190646674099764873580445750087981058580391503584352905545825042570293742903886410109958064504519510980955583198625686276920450923733253644147065237870190764237748067442682015746059158184270829466856893196482745732738333557051608693906927261638757166400674601353521574446509712326474890155199542585146636307092079238285851457173818289969844996817332227907253748857034318875764000000",
        "b": "24139254690636760502466249895979417142813271314113312598327728161530584292145672498607951749293911277718057516721404124966266893106768284819416437077392886629176518806673822976815247221199561516300416312977187266211473455931038244156406192498479032114416357105823493311571581817348420673134613912319065812458407531742516013947628614447677926350649138596943889423491126216923493433134696123940067037503548876371014330145093224772519764219189046284069398140069483505887232161990268198319229580810973061618638119005178959838775266124498044791022119457082105477694026853350663988970811070212296872897100754898835383225397863614587726049946308154027960042623115191904595578273755066881344836647040006620883283937759790105171468517987060049405489919512048316753473007533827716562761079947263071387054689464322645493389368429090440769562401969653/270480377730750317008674022492291270183736488807435279187390273124163848238291711551460382574062411555103188007377759929150373966072318924990398422479274178330090753446213995832693218447802112615413315972012978505811850896608377482845778278971205880486045865547177237561202605939226238265127625704482307269646214161375536122370314472169885959673410273172818436009738062205058914112792230218886381470638188299252266787574582713108065893189037412170652179445567937644493998432490536305000586540390535943357229019370305500283801958286025909400733053763363463406539703887990837908512803006158221690960980434919134605094918320449617880104973727721228472196445712621309884971551588890380344057959379515077591714442671164009023477162976731415509832601034663617234310908713947194921905676381158788599798966645448881519381691659046895459171760000000"
      }
    }
  ]
}