{
  "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": "6aea26b81a06b8645cbd1b98d0c19d0cfe3b8b4774693f9f39973a24f27e52bb",
  "does_not_enlarge_paper_vi": true,
  "exact_minimum_orbit": [
    15,
    1,
    0
  ],
  "field": "Q(sqrt(5)); each value is a+b*sqrt(5)",
  "frequency": 16,
  "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": 29,
  "nodes": 2562,
  "normalization": "normalized spherical probability measure",
  "not_a_joining_theorem": true,
  "orbits": 30,
  "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.16",
    "filename": "classI_exact_certificates_f2_f21.json",
    "path": "/cubature/classI_exact_certificates_f2_f21.json",
    "sha256": "7b3945ad58b76341bbc22e7812a359f64b61a68d413b2668012dc155803edb5e"
  },
  "target_degree": 51,
  "this_archive_ledger": {
    "frequency_key": "16",
    "path": "/cubature/evidence/2026-09-13-this-archive/f2_f21_ledger.json",
    "row_count": 29,
    "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
      },
      {
        "degree": 48,
        "index": 25,
        "r": 3,
        "s": 3
      },
      {
        "degree": 48,
        "index": 26,
        "r": 8,
        "s": 0
      },
      {
        "degree": 50,
        "index": 27,
        "r": 0,
        "s": 5
      },
      {
        "degree": 50,
        "index": 28,
        "r": 5,
        "s": 2
      }
    ],
    "run": "Python 3.11.2 on this archive 2026-09-13; distinct from author-supplied evidence_* transcripts"
  },
  "weights": [
    {
      "decimal": "0.006537547797799803",
      "partition": [
        16,
        0,
        0
      ],
      "weight": {
        "a": "58227826950999965335674337800976967065331272714742181004250580998374480657297995212344011296115294580015014795363505379838725790457909518251090907555485111341069151829938209304510814596427990173078556009837609432240547001682853154919795210975146416860137131769742867909797635898270789247086741599473657265257466595248658898088810777653113661782812726279271046370729376694222406560460034383028149691143427214907259306002430026357919982704972997239347243566280604098340654044905031507995883524366707421272976396581546294132928087717538640547788320310274476724020032991070590795864930150194693407749769927466206814468956637087804615829618954615760715476095320985735911457488163511346178420471108214095906537806317044134141074758461/4833055589128184708770014767668244133472315965975613854811273659716750713928413235950125477041730820595859331636001517870516496536597053701860401012592340306900193893817347975686155810103258993889437681993293275765764032933241666358553092043543210515267780307536227808692593986978422183764370138890767439330793301002944530500554688116752714654575224012670950608316080608776954385210811061270078121306674229787390431468278021535705915172790657822422090225484093464662267088173738880362161051321111898295546625701426147623983845008074532711914829386380116439989062980558322044270442087315507897127728403772951969027754297003825631684383915313288689066686194004338139050827635748231879906817361654964528433623412365497787166887901",
        "b": "-2891793948855777372976797798263672508153916719510775287495335341044611873654192679121299549007031966175182029186686079453849095928307882633887041135978837070423841064483832943753274049041645205527725997932017120793409939149411223923099781951761449894676021471542046514197705166660707468349017742436345014174022169628575913536017123461446473750358080360660539432589082840550923261867972826828378427584418206690340791253453660846353074669148330691297147336087112358941602368402450863818209138978953246486149099258037998799621697875243859117467367366285337168773984554434748220528601550166639291407472414028341178023783162933146552042089691779953986106426297044216158678639486678980471761749453404877871673920852275976597975919680/537006176569798300974446085296471570385812885108401539423474851079638968214268137327791719671303424510651036848444613096724055170733005966873377890288037811877799321535260886187350645567028777098826409110365919529529336992582407373172565782615912279474197811948469756521399331886491353751596682098974159925643700111438281166728298679639190517175024890296772289812897845419661598356756784585564235700741581087487825718697557948411768352532295313602454469498232607184696343130415431151351227924567988699505180633491794180442649445341614745768314376264457382221006997839813560474493565257278655236414267085883552114194921889313959076042657257032076562965132667148682116758626194247986656313040183884947603735934707277531907431989"
      }
    },
    {
      "decimal": "0.006537547699618403",
      "partition": [
        15,
        1,
        0
      ],
      "weight": {
        "a": "454/69445",
        "b": "0"
      }
    },
    {
      "decimal": "0.01748736656444638",
      "partition": [
        14,
        2,
        0
      ],
      "weight": {
        "a": "70851767880258284145663136023255179495148072268749038028145644592872214595996453864154138671112190880384999308936412253739998910021967863846915722980514720949569209706903345865420650267751456663249280254444176566484648083930791713004140733684148355371469697706312410807840874008405291229502171595973348538318671094451446293740050228882973839535074513638333036716918762055146833456260610953172793977441608636123037478649810817299397322775990740810676530170115768418824828339195891351799123151955294715833595556814886077657349272873534397488816992118591496717873150610259511991871450250334594701837126889966431777150589351253920828460325891516852511481618807898404102070001787250825615183290324752359353559266091358356374829223605024276226185930532868882093/21311970637568564671219207427962599468398690217652610645362683593300341933381638955908053208578901347969005289988956250790651390678318490083225845141084822356815337764518705069833477964414265894838683495264259368940283833070814338996963442223055360149930551624635516867452727298334722029912979149848642617062291751647086321821013234384902189185099704843340923442448006357918095883316743845498052483576181894610280598330725632774080235899945297815493841362303280319783470150421052736557197144415850595134103600534330032363592165738884558619070269284097629873969933155061472123162546462636028655837215622114331647059336494549546024284195270956188522486219011017120042546646264049715353096803161385312499218203418072028942132554121447867686823899955200000000",
        "b": "-7465788520579219739631859880406417829784787866640259315328744558872861956292904989716430719393647482449618419436964519027321359406983936451492415883794490634437957308480779086784857434139516872375844741922663754407281203290437378229955175116577766613088409191531386638350590412946306489019628505447503441350686990782944903969138185263718524221844653478610413833120133000972937423380834140831314819531055224551893449031317637070959996212474869367122841029236353611956472982901612513170190654716387856506703536516532952428778311331262147226331696665710765275843257603572475892339336679650800968709188739555258252137554242787025968974662497757807857649244769669374052797746724562812026208644497610096484305111555955443056430454530532244433419537088760256263/5048055060578256059074317004900701855133195357325123107213383280066833791283333947351175393935570948054673948963792393598130174363942794808688292346079522952734037799519934448065638622061949286029834591901525690317466024198513301657334148674711648614324635397738817518130490962137854055319611771066646614721903731010291764427888578342677090461586924058500218730984669895286370687262794623179986591717011215346965688665761885454670167848824252281878386196927994907786782335371050389796063061769473655178189913993919688975011064236169899759039038805449481666961009145255731984383893434302246236309417998347494576176845422912252503598754263146384016954100110275372964427500191743041965634471033058536552355732937097164478110639434451475980944506880000000000"
      }
    },
    {
      "decimal": "0.02631266531783538",
      "partition": [
        14,
        1,
        1
      ],
      "weight": {
        "a": "-12308772670967415288082533184299550602798810994028329255613627304603004849423084293049649118544007453487406140984629899680335150135312223251386064662511529427668108152468346777196807859467815225605106388014222372404738517478359424119784519558609156149484886638059761329834744219544213636104766156869077303619638960832591622029764245526204345008582446759934420001540048408948772521519310885814394387567525774127199425392431018739468897204424947739070487599779253632010271730804690616382196974206211391316459674392293677613530087801030234738556805214176014767155887487401640113905068479159710848891561056738274929114604670916522894899540903454371180496819002042616881489586025481066350884042069399534984324577714622782752547286427285451305001022332122320252721936208701982461/459276597995708062693680743369411523807119460419396105774784285680749613592508084306651274091439780132428407606681217729073681399283010787842524292668732079553945582786969412830286104324695515979461411826890117846072938273678179912078141778808884202762565560086246542313907258595492813997900930601664523419504856094680988869392276869197012863125199093079524457110267566543738879245236295661649361911459464062432175444704854961046858115499084273797559130499396813852766435870744912892005640933228988770239304154246143111438581997535687764667036093515216172870017394362784779898179355702464393656902889074145612396992353421830076668608646112985589178185734981650038261118190534928709609325867361349577193894792521386267540049995733728606555588370097544389202493440000000000",
        "b": "1836684988464302129573655218952726164129347970134309359442677559073123111756854791845370404882599998891938300830246864385368258419077743820636828490490825947661943324630395077518952090781986908737142645837496799011558174840699069234750357765286136911081865287278741634392523539213139855044641122518490185719784048509051461100925194726535878545871748994075764155333741190805240658603227637947103347031809557085137006299082993168779421188605893270497929404954513956115663707179272763944067605336248857452755784525455267827359249698076241261728510673871350788486687541501377129698851505146678201407468689743019658270408827161396904513452063594432449910052987786540969926555820769473487873147794588651338829717321175362400918074440610073750676452575619097698807111139822551901/153092199331902687564560247789803841269039820139798701924928095226916537864169361435550424697146593377476135868893739243024560466427670262614174764222910693184648527595656470943428701441565171993153803942296705948690979424559393304026047259602961400920855186695415514104635752865164271332633643533888174473168285364893662956464092289732337621041733031026508152370089188847912959748412098553883120637153154687477391814901618320348952705166361424599186376833132271284255478623581637630668546977742996256746434718082047703812860665845229254889012031171738724290005798120928259966059785234154797885634296358048537465664117807276692222869548704328529726061911660550012753706063511642903203108622453783192397964930840462089180016665244576202185196123365848129734164480000000000"
      }
    },
    {
      "decimal": "0.02188305378381461",
      "partition": [
        13,
        3,
        0
      ],
      "weight": {
        "a": "-2352698584067176591471752880988563660445641415549586783896397482801652247492475061882798638905631125428061914362097086405311981903926168001049093912182321638718790067559512389305003210646871934414497355687518301597628925182832070436753806939400158824456091069609269196956991467961101717932748579938922491371625235794919419296922294546875930716185716203691829383083260452240848474313948253149412791565274093569290571017888610958116340692813479919623627673593960616533066044890095869047547836455953196351903948066866642555500867413810247094639239137826327764458853994621782775502761302490076476692941507563088641096225915393148840476989622512898835230325043678507699031539955184842023013049484528679714899651914876693569041591592598878928218588261879801560667303/518316180534453142204149394343985593183701170790383107847641337829514833974956632979634584106568541790391624094919753925587250227350356606945163926468204247252135800090245923616834052858095228795533839516148918336460889917761066485155153726922834808681216955092834194325244569608198526483579407391927002711916838036660804158365236807170137390576862327015785048512897022534944666324105453917003374824363276218286406823272106273080784408740935586065773580187640952011509243662594240801428612618926168730057185169401927749781482763320794281563870863672191000950740223517274323345751827374560137996634655450245108200817112341501386204033135509883076706843979701434641429236233873398572751476330769358086776048682634694042821369505284855190055686619791360000000000",
        "b": "2553213449294244345418340454372208651318317732346915518482074657937306784480332077281515646308262383811494806117231033372063784155285322466986994500936169706811442540400363015063702786638460359795335417973339434839209399229826077789703562221966884841611472683675649847082640247718216744059420347960864374470467518010780162856592211948813175742174175006885423973250594815480149825292625808948787146351060044140516228411895315874846440749268850809484653138633817640774340626389405606426234465750105211185936830045646206889215552139818155873753445428335934539915119181778793290834116040920316547204370493059975215883088839986323746485492901881873824372205284852037115917411717879877429862390765153632676589740841600161592784578393638099948522629334266359821368749121/1251733575990704338423020787340725207538638327458775205452053830858278324049520268645817520617363028423795772189231205730293209299051111205772570882420713257113907957217943905534654237652299977541214222431499637782553049151392975561649696250518646062965138946549194579295465635603799441457844268851503711549279163858535842042452046889315881798243122519743120892158646309421891369172714671209563150200837312067161672478202136649490094347109359440348843196153152899107794823445165091535450099474706697483088102184105655515722280873419718189976748135768341267296037639794217490879990663109562733261872692912341936304973326304725847682740022256367630247028210978964659051605504804257553194815338807999779564157568562786113413607355262925283984483186796134400000000000"
      }
    },
    {
      "decimal": "0.03055196197459309",
      "partition": [
        13,
        2,
        1
      ],
      "weight": {
        "a": "-53819642734610135563135563996623661495453967764962117578443138856570277055623974074881748064688111480310427709624609215044403444479330168019041099569927272181545869430284569612077695973257622208964548180153190716779370128961521622785583576762708413440739854878415572278852530356363681375096650621229141905975299734034973476598411526931904585096768094720865349010177358460454719441847221925693849736405249887305655281546210604816154253925829015836169524472570511725302216415580286185606568968502170757668128206889715183778659051839688279485574156593129136909909431620348795825607018409347350488156496310755304768253975755969864228719752259590693213697309386762411708782159843333502210894201826207474554915860280360065413673585948773/100637344529198975757687633486431971762411841160667429621008056534762802366695467763883785974024885803412206348422740846883947404313789402901835601028328727300621034311985903847753624613390562980659675609696125981507691068038370419688275515777717684519360592252202607642965241380141616135329692286141781676344093776484590079264091499626645867352628798799305222953608412144509034950948517830941323307959803343828639425104764138234087398001872222746231929231441726380119656828070719721120753779887591062378258383369551566122167007320842965254928707696671839449972844901926088661867208057798082935327594561346301940944935045038953317772677228750499448634807135077925173172740125096874963260696718229074139525987387842790363360000000000",
        "b": "1628410202348294980090086345686936428861233737586307350853639895427906746218656667120924897149880165949056923285777702076527196914602647711435788772944818110288648955705810151078964157149184249302577199749466946916985611456100088521068811772393551396534659012545760550633101032838945277586118975751726973155473916029666374820590406899378658264816968401831685349812416249382855970441502927511543004698261217764033151475842533968591323425820374998829345271302965409902666135216878472041117873497395835507103338652753150298368200145020463511164043252452950627224756074166141233580551099324863425908907210753578103796501438976616364708792502181914204350172988852146585950856964799826850186211959744064360773020983344952236235317786390031/6440790049868734448492008543131646192794357834282715495744515618224819351468509936888562302337592691418381206299055414200572633876082521785717478465813038547239746195967097846256231975256996030762219239020552062816492228354455706860049633009773931809239077904140966889149775448329063432661100306313074027286022001695013765072901855976105335510568243123155534269030938377248578236860705141180244691709427414005032923206704904846981593472119822255758843470812270488327658036996526062151728241912805827992208536535651300231818688468533949776315437292586997724798262073723269674359501315699077307860966051926163324220475842882493012337451342640031964712627656644987211083055368006199997648684589966660744929663192821938583255040000000000"
      }
    },
    {
      "decimal": "0.01856300034017297",
      "partition": [
        12,
        4,
        0
      ],
      "weight": {
        "a": "3832934618728909362219752012003597463537616324347163568732529172143162879321421542392670650653875232372965846701180936924752945703204027948872062589383540632400361521677914748565399082799952998496110849571898295550266960889264636375939987619224452460167402071348306416697978926613911374553454172051191903527658006954835836970990546909480530369856401772222986908087643653062178654903069261449845072736332189523113983306379628046570301835748304327198510454885591470733492654717017194829428698876695497791159239943287023272774912582493189674162119327890645142516459134832498223587922942609673363242005952989679311122447461901219442128639642198588668001067415118069605042139848373483328626298371651920411574822747464818634701502394918457578819437/96253222673777419507633745624656081761174359115337204490077938408054271449984481920691960002833126343575204912023719777714545778839327430173947082001275811247545919936345800017841362939837575694922465619039839715552073637100439901142635908779885536977304134185456585566781606573603418527328725712304357110421281531952332486224507393493708852455971009285738401708415424547605240854058935250941878525547833481470517321060296917339525274527406942954017949085410300915750858246382778900055093615045593592146348817030322621022599166966305310058995219458748477749391156181607463373812455368180701429451873907686187153823232741245201258436624071587925229447050867674339640553023888832604898509501734186386013721231150908530755359743338138060000000000",
        "b": "-61005480277057073791583453501383754868450297199635617365532563063057907371166583140581671910335297228132499252072272445116744754929764663921658885664791013104609394993529062438503408034791284014546041408486127664263046811708524263158096179859769826844132881520350754563573965207721983870334746488666462100871130450736745265701559827175983932563789476291988693177345258984748876250455703897970958857709909029783400845266969709510228902311023348098076600579565427715059548756700126094314224231441402218846864433262683273927965506240534199740951440068371052951976242454969375538578199712494543311854210327670912723555605423049977809106186132925138015871886079833066987079910077932159400979640114830614616210123799015461030861799470187813374251/6416881511585161300508916374977072117411623941022480299338529227203618096665632128046130666855541756238346994134914651847636385255955162011596472133418387416503061329089720001189424195989171712994831041269322647703471575806695993409509060585325702465153608945697105704452107104906894568488581714153623807361418768796822165748300492899580590163731400619049226780561028303173682723603929016729458568369855565431367821404019794489301684968493796196934529939027353394383390549758851926670339574336372906143089921135354841401506611131087020670599681297249898516626077078773830891587497024545380095296791593845745810254882182749680083895774938105861681963136724511622642703534925922173659900633448945759067581415410060568717023982889209204000000000"
      }
    },
    {
      "decimal": "0.04069627378585289",
      "partition": [
        12,
        3,
        1
      ],
      "weight": {
        "a": "-160714592005923067116324324957789942398065608591026809820242723529928885199111188716886709607331191531065708094267558612693706880881900411884524121579496782774334586383278987511841256184504030298789121195717654936299590348661461702888581224522625860421342060468296951819590700226008740124562143889801199806392609348700499510685424786323232492014497348019854858524465408843845325859393134893751417218491672311790347571029511037707627389612487090506537383216839144360144584563835344335739746149206377961910177134057872111858152510859982316342347296340933739350034870698460419436198834216046192077373341497108848583747956885291765863967205984588033655827398323704181278666629746536080290566464156567821516966843217823556165915922872927/659534081026992566084629298718103196394748399953139333156146906492439954414747322239177466723118374724425051006798881969481225565799014738138970615464527419562304721151071804727143668836240800228459159636508041046008376822789753485679716391026017587962177685428232066242261417791951989669155798139285807395038518952046287328080141353586607629985086593003778341027928913707256169780562705003516113197861590838979159440769666964672774024857417401749534447031249934815723786210349411305904549689270921291409999690588471097822234820785031883240307547774946001301351095816396196361848422403697008374060962105105628602121185580568344960348837861370385668238499876582633079704512787176304429665848029698379407022923017776223496640000000000",
        "b": "361317266663632518307587017303949004721559360820316501721062587871131571544864259657295892866148675216444589312757461201506157810591744948118230545380076542000507120912751404483147793009094837327897724274602915435557718823230826437966798849225315526923801168035001053248107537724605633576582668780630724404335423334852493328285882610166863058722722343485360478506738194914979889888213610420540406642442012729425663876710581263371081306315607641006693024691928819878457982265957665685674144454912028196430928663844312254481842669287980056661503268694223854125203258283395217503402857009235393162009124968834490384781109797671135945008056487927629026851352781484843418838863432516477205495612448901770731480588253538440406272614304047/2841069887500891053903018517554906076777377722875061742826478981813587495940450003491841395114971460351369450490825953099303740898826525025829411882001041191960697260343078543440003496525344985599516379972650022967420700159709707322928009069035152686606303875690845823812818415103793186267132668907692708778627466254968622336345224292373079021474219169862429776735693782123565039054731652322838641467711468229448686821777026924744257337847336499844148387211538180744656309829197464086973444815320891716843075590227260113695780766458598881650555590415152005605820105055245153558731665739002497611339529068147323209137414808602101367656532325903199801642768699125188651034824313990234466252883820239172830252591461189885831680000000000"
      }
    },
    {
      "decimal": "0.02394752154752489",
      "partition": [
        12,
        2,
        2
      ],
      "weight": {
        "a": "-36744443021047612643740826604567204590858856331756747973699074503071621800760446863145514690920207180092828909749582766235444201834162399942121854286638320148254170568565923851315688250161382182101040524162617245250533790957800062760998556912582915148982238617844413897646868048323995429895085715412004763694002627321144293642807176281284866025976045684976769928987456461846750014564453489933448967800865774763754553973453521450232195819965496713264996236480448451177581650266573559012728755004746024566885413641579805441394039249822343701724255783627305084567453371123004883381357390238681513157055926921599678997947494728951563616566801659018580947406936593762251477353495120729282091349507597778712384101532240978230864453457278590509572621901376629/3397569886180687522614054334051485167990450759963883246815702670723255578199366704009217166820998732139654620928436867334216532730761357007696908947504932105727998132657155294263366937014195269971919583625491236208229256872080627427151947276470019744479722381328644505251285670273277686655459528536517856673957263170991222307114485671916426310267479273689162029039604141424922604658276902641581885200242475721066115734026194918530213244418925042648906450409512454980844423073394161407233643731266818537862387567493869543181187252732970922003850821046020371281082442142674902047689223585695194233297171728526229893963863644472604997285500647146406879609603737238375152455619229514575713893536480105686837908845449545972816928062366704401111808000000000",
        "b": "21065001646072768059753956645257284360896873464159831008893963761878926769591668033051105421908446309365785270174975702170342785781983463194454742928597837256149234439727823270266967600840737464033989913758714626501482204261258116375898217554491349719625251349111680066750545578449880053652634317617464294422279951973390192281533208198835045730512652104067856622529135127109292507397650089918367705667773394790730867121463784599689807095707133107577856069670828474830806332850731138179300753122380025528355265387242577437592471211396347811674959394846632573251735604224948058773261846675999406916989493859489372115823808375259023923146117287760281980919852513604753630668787968079724508745163465424774040456859033006387083085165583614493934586122976671/4345728924184600319622627636577481028824995158093339036624735974180908297696864388848998701747789075992581491885209946590276960469578479893565813770064448042210230169677756771732213524087924182522222723241907395150060677394521732755659467446647699673171737929606405762530714229419308668977913350453685630629480220334988772718402249115241940629411892094253579339469261111124901005958261154541558225256124096852526427101661412105096784382396299473155578017965655465673173099279922764590647683842318023711219332935166577322673611602332869783958413840872816753964175216694119060758672262725889201926310335931835875445767732568511471508155872920768659962291353617397921706629280409844224750328942009437506420581081388954151277466126282994001422080000000000"
      }
    },
    {
      "decimal": "0.02196361023140819",
      "partition": [
        11,
        5,
        0
      ],
      "weight": {
        "a": "18045583797509448174255866633679064663940780051997316559700827669566748009363036819045473498188412477986451753557544996251090631625062293235193155760554022753376594380078263351941093022964373520657952850146097010098511831024007735911245874623587207699952622236814202603538067489916404440219554702740946671336027958708126536178617296358603188538331928793086947845369214420718246964963915550849591200344077757445614241630252577254643427614216715650604905005763479195383790520714181283624745336065763021139687652333960797123100380365325311343267137190978425624748078816957894875206475865941023400804503844226370465602766401529321056127602743377632628284386018256514873153919869043110257087272134263646502066742438062339302445311854825556688364789105613198429667/145477311354253758149391637014703874497925939182203432747020545725802627657178394252925581005150990580112271432790920533792646133693448484489547626431214846181641141750782077765764131375977753860248205450961304101897061279188780831280374505276467871881549697230315586878132435145075178690253704653784585236129530003885787659308682371089741737398670609435208177106632870168623032753908357135010145234827482175061686576320837431821453166498971708067060160233391347932415146924269525206801588515410296881325934946791902745049916689966006495984719790260713073576245021450913062156399361560580754206525407561654578841420578100393572338889868545531590700848632278258327951124220731668851558803842038952949641315333616534392490995930106954348207209997862737310384128",
        "b": "-6641290418199194342417928336779070591309863830233025720387422456828037129769404848002871035648531161384748903993657310809757133340944460147647637692274229225144443627970481939061306171034529395325458474305043490849023357376278295402804809077942377562596923214257398148854143446859483132946931091734072727081621273362940988006606509828783821137522033573366062245046496075654023797196084993544041621391938722121821712887704697371265767708651914204870210111973792420473029196848584020014276237790197595748063249750491652512589203290690886419017070726516515652535312813399028754971196791647128794188611968858589912841057403976032332749057041787359797352794500014428135373985948522915973526131169225836864953074987544536858658432660200506265149085894497716545579/145477311354253758149391637014703874497925939182203432747020545725802627657178394252925581005150990580112271432790920533792646133693448484489547626431214846181641141750782077765764131375977753860248205450961304101897061279188780831280374505276467871881549697230315586878132435145075178690253704653784585236129530003885787659308682371089741737398670609435208177106632870168623032753908357135010145234827482175061686576320837431821453166498971708067060160233391347932415146924269525206801588515410296881325934946791902745049916689966006495984719790260713073576245021450913062156399361560580754206525407561654578841420578100393572338889868545531590700848632278258327951124220731668851558803842038952949641315333616534392490995930106954348207209997862737310384128"
      }
    },
    {
      "decimal": "0.04606426541323085",
      "partition": [
        11,
        4,
        1
      ],
      "weight": {
        "a": "-577918048914634521459166898650599544415507643720345001865704608429853276684953009763658904059431296090834353170624822245635849018671348035000187419171558995011393655029171687368101473600597417192090643171940134674511337297285789866313475488655171039468547495929216918940473435686103252641422806032543205381397274412909347688800759459113048177429106877466461762188900822269095908165088849802129608953327350345163151638755595467775229755145974064312242205720916984730580213918422367040007889748996551732363335799321569151093283634976876829535697124123941598088113687668352494492180593198155529796410214215510460991217095992655479546344244603601886143667267585240752850568116457114832488071215457615328967417167660988106668851574415949/8970914907977468463085183888593440753500488854392775258065134808817367171673028114141548859156820865019000664145443980867469165795428796842468459147426344601624931204032637024142816342799515830519343349279721554122583294826911866511738579347813262855816214081484865495362720336884013899945496836673628943218032921028704962359631088303473572088468440479636258828121701814693509513698383460790606849523762539045235650212089391138825413024859153031121389429452800447819998447119330076563761594165423592019563610138892587627612575883365314616180240867698189694915544942891519327848792038495906569877669692342904683559867400969792186218612159688468095891481317578699452430724591452080953894841550010523580826787767515106477998080000000000",
        "b": "84957923450146089259202427552122679528392210723561238455586955797523002737453747656534376536147239194935883633243383929169223435634413603107084245936194260159423244496739295130420225670830997066286966642704012430538627181659316553894962729762052954438317963179357644270978019140492618932713576642199606252581914682254197174528682920897731903415659909272477488879306305234843243998035108519827805130513176251239275610991750017273753222854362909621153850087790370616644526164574864095611582638984768961793398150462362980149739219704971751477900265192906596625717488812375514226593171690754939893381890923324734968557008973418850960435137432842317664126959124729015505863070088315209114867787761699004061221500850442655977565963877713/1719425357362348122091326911980409477754260363758615257795817505023328707903997055210463531338390665795308460627876762999598256777457186061473121336590049381978111814106255429627373132369907200849540808611946631206828464841824774414749894374997542047364774365617932553277854731236102664156220227029112214116789643197168451118929291924832434650289784425263616275389992847816255990125523496651532979492054486650336832957317133301608204163098004330964932973978453419165499702364538264674720972215039521803749691943287745961959077044311685301434546166308819691525479447387541204504351807378382092559886691032390064348974585185876835691900663940289718379200585869250728382555546694982182829844630418683686325134322107062074949632000000000"
      }
    },
    {
      "decimal": "0.04271833739325995",
      "partition": [
        11,
        3,
        2
      ],
      "weight": {
        "a": "151611754798613094075559520749185100346785118015812223116759476893094259238344266287632790583427192737609922719033245122345640028387522408490739412236172629753935407055764951685493984980265014731319949487293116848756425809435653499100994107998335276264170980027952394365092274867944053696323375263873843457888777921529409175217397754873576287424933836036925235430956053192174507687585834351554850627351771884266962477249107793425649318190241327537531268555099717804425960862035248917765794522138679571356131611320629317355484632513963584458950412234482258747990620548458162910740213513538761522303638915230290111462707451655121427698269649335798957510892718931922977064482792642069775878500344026225456425782436869718182353879063024027/670634842882828885065374103317110288534941304844822150320794342329043426247083393818736980169471639691466269963255379879057523074683454669916150602479827494491648783539399372146274287776385771564890483554715219844512292631650840404635028736420324807510577238829184763938795803821014026823261940557577485958208000836063094798633381556330449729365721705119128427194093217117166505487675017143232244914364907376480233840281724983781031113071913022192144089600388662608246517587129893204769426018967155772362422203615584436340636735995765957408389371919167968961203811306529469007015128856594009291147689357454806831074991637788980491245786458530016447430644843463672726479766463785363474147497340108524684265137647247595714288640000000000",
        "b": "-164972644682507300246320936834122253119073398496864726154663354739640170779878389338604484670288613538042732005664315129676774877985809679622392884678652652634476924080289727967691330333503319494198512154577915172209295292122838118004288024727316652340593274486376191972470929061171509558010736324413732169999874679082042617736094758870611195022711286642138176618099536177888226434333451875841713692323001213885564027406045564261788498156719825073363663335988288594036238146723862692535347144836829919980905139775905123365868859130442693946302321352451600999671316911873910482493859634148872372438566678530701675709073590384221137901071615969642621192878627022294935599404547911386357114747711402246944400346006254607190035324177138531/2011904528648486655196122309951330865604823914534466450962383026987130278741250181456210940508414919074398809889766139637172569224050364009748451807439482483474946350618198116438822863329157314694671450664145659533536877894952521213905086209260974422531731716487554291816387411463042080469785821672732457874624002508189284395900144668991349188097165115357385281582279651351499516463025051429696734743094722129440701520845174951343093339215739066576432268801165987824739552761389679614308278056901467317087266610846753309021910207987297872225168115757503906883611433919588407021045386569782027873443068072364420493224974913366941473737359375590049342291934530391018179439299391356090422442492020325574052795412941742787142865920000000000"
      }
    },
    {
      "decimal": "0.02261217627720016",
      "partition": [
        10,
        6,
        0
      ],
      "weight": {
        "a": "4947933114533600535395837592885614121497597752272426845584766751360518329646062158751338627155516992549206761215767876344846699950000063260842471383434868229430374282662682319670252288066928372949908201439250733828148194395924039924426068853497418944495613921794867827448943332174857034847443061446630393242357410177052595124704086130037162988131577891363318384093225633499484817257625620597764267753564382206396597434213243822284741093611990749448616606811244181303845469709572807333669840507679347975641647519291702598114414727539987579994330885793977966613415563568495530841501209203862921597969225967276275477124986892543544927349690398513622428718335143414726184161862184352238164049734745097216839138455435424712526368488832286629489/1046888644028680510545861412392643197810535601598877211208643921969814603109832568432780400952436609717455086485226952814172979904297541652743112625350600751909859252929190434204793266237727590719564859151759192876821422786375341562736139423893184324825369797973977290269660319350697970805771870024851382067623451066587720406546994083464658102075942235796551257118607490523017386494175532102483015787519183621077269646438427271885862949906068738525903686652912773139627064265285092841125326174685125600812326210095319744365701199031661947109181997869064634453309525018040990350147288076018235017232502491863244150058202173109700020393167824261126524426508588696791547553749219150295184364123711665390226367432945631350795796607153137873059840",
        "b": "25121549481395935579292492939787045950288700065895559802925933950323738426328260561096795833813233186628582119316931305626415280123887423600800054366259474416901228839856356384113654226432118133339490334092283400462097551994226227403220121642170692714442316247074712502275292599244979469523985514559750118728007987599262666368364864013532343789487353861794464076307440541135185557058020916895668949839319229446428316402579695686932866089022054777438067138599644391550487618515952741945907769688625179840799446247703800356020350137282266263515330672143734280234819276757628089975511962840137906768701299005466979119634804675391240651961022737915889212924599274884777670694461348894984568300225583389730910484652268788967359810160320470441253/3140665932086041531637584237177929593431606804796631633625931765909443809329497705298341202857309829152365259455680858442518939712892624958229337876051802255729577758787571302614379798713182772158694577455277578630464268359126024688208418271679552974476109393921931870808980958052093912417315610074554146202870353199763161219640982250393974306227826707389653771355822471569052159482526596307449047362557550863231808939315281815657588849718206215577711059958738319418881192795855278523375978524055376802436978630285959233097103597094985841327545993607193903359928575054122971050441864228054705051697507475589732450174606519329100061179503472783379573279525766090374642661247657450885553092371134996170679102298836894052387389821459413619179520"
      }
    },
    {
      "decimal": "0.04514193892222973",
      "partition": [
        10,
        5,
        1
      ],
      "weight": {
        "a": "-186300795690230197104245347682362106596747836368258398046364449993631347592751703417629973869522798402536229410815784335661653901156096792605605278131590061909082302401105134485149248149786518596221077999699901841022736918825868676986823723893511231553127522198213381032128536644483382851496747173576562357756442788670381099182185829174543445193035809192168700615420908505615076894950168963990858257816072285395889270979710402564478874725454658015305297148248880482980593792575586624718126080241839417084227061357087698930818702971413224817328456773440060549532699363631138416435277681360269109251509921173181935471754631810330669919560156131740988708763169817095836455070864867144228096042042370055135284218831142996917/2376388293520010833214897695152595000068640101435239383908009300280851291351877838562519098444227473430136399986843969440697714093669949265325195714255642970225272471240213185887424007069557163905936522738947305696142067402882057703314983432491420389649998993196749497601181033906259880536342648916189016349588417417474644888746867098783310685058087944755241204606099267429355206011172739879220439958945200967046356407523104748543639251907766109996265577995154314335551162529847159490253218494057518274768989457125949785446847318315873894552760240508704891425767388004035447316919649610199415808422712234104868014446369866791072666636599485493905521150696124357888929774396740534329840631249680249586096086046018457436160",
        "b": "1050120972487173761732891844439607143236147270406034637245533405821350673097768689675199422788374582113956731892119419387146439366118475301000056040747306772430151584741408128750434608519817187325117994509643155101341975832329996943894228206612866188570097643426288539888777789338590261032173623082226396335418783735168846585910037490234948974775819368684128658271015721862444584077910033956253823495360866208839354131800222613382024985052739349743840345098682737984040288487779754885716849142283159929954872885435945600190582848988224662521863604753752289685632120296519821721084452146838457217004337530880663532401549262427077527929683413416399681186020219829125409843813456472524974100842220868453925068216049986401/19007361055341300202625068247280409181006065429131347318097946728014689209788463405366090503710724078263108321407774854076502598936761217528014764775173188453732478788879561731093265304772265731792951698818215250445895968588851761771983516028201668207208423783252172892554757678604048689869092109140518925097180801250880729409598661192002051578675801922195191668047208482590981356196535311090691462240578242565421999634641066349659525931334772274595820028881651923172454136862055688594223930429222860905362681631070441546324271300950449195989374658127151022830211968668999046703494439356598952289590645528892364339346457169369099737085488398552514609676568685762468587242022786779706763126228726976594858371447665360896"
      }
    },
    {
      "decimal": "0.04790494676280438",
      "partition": [
        10,
        4,
        2
      ],
      "weight": {
        "a": "-889145961986241424183780273782800928489366656510848739310280248812993930602874790077628834594769339855237807588511024014798496050967740727299568289269498032163881827851707063383054920779576453443013245406851290703911237165246830046491583078711024690394048022315363450687520807628241073216130840981603420623492214711903385380560616118969570894727964470368356969142736324317152295863064155698388783322196710562370331131463915527314049657446890367341987959000460188082146945774994632608892976215061613307923764305317099656301311043314979258059748586985810792993824892035840845340453673790020305953060754655568494119185581689903953700113362075541393316535835278472109264104389207317273684180934922414455389526226336305217636377/79774077252094863566851441392684638388881748152579756050920045715355452664701662996555530192923940763155629302677147690670064863905134150623071789184159476900661579145854657014411094834923617950642024673748647400521968337473919571873623075663432473869834050057207162947683700257201788866865259100708079882853023360855115134339761135068088667233966292888840206770241770265089000288169637050359788922779839201123807396462906611742818855966066721434370097288789596100794457747793054208695496780824722675411742567509616367139137495427030040739734066961732396074679559104691265914541861372554035867167074399809204685320023796989763551180290654338350429913361028966350207461560709934775886769784727629168281182605458198320000000000",
        "b": "1053348765154017446983793052446421356354596659766033491193664933321737375891457015863429120338536531652080837915534629712409275504398469729401823838341469161038455135010930408235818057775112844886938210870200573333529363352226897033037786561628013903453883385013185380828897491907035608716096070599992568444171451683279871590388936670113723525687876176666038593765964263558883731031325210863495503252016963035108382820944681090253755230585808038909683271061440634744604864438812858174464822813547803395368373621891770190876002668847326431327493244322659875526271338985749571580943975541000873085540508949236673480918767466249944959016093054991574851913406465713306852692002095655123093436693871321686662783148193888472718109/39887038626047431783425720696342319194440874076289878025460022857677726332350831498277765096461970381577814651338573845335032431952567075311535894592079738450330789572927328507205547417461808975321012336874323700260984168736959785936811537831716236934917025028603581473841850128600894433432629550354039941426511680427557567169880567534044333616983146444420103385120885132544500144084818525179894461389919600561903698231453305871409427983033360717185048644394798050397228873896527104347748390412361337705871283754808183569568747713515020369867033480866198037339779552345632957270930686277017933583537199904602342660011898494881775590145327169175214956680514483175103730780354967387943384892363814584140591302729099160000000000"
      }
    },
    {
      "decimal": "0.02489047042983561",
      "partition": [
        10,
        3,
        3
      ],
      "weight": {
        "a": "45391286561074315678013199007562911442012813088184798478873932069083040916330155146354125005160446804027559766013137179537960323557161466768176257508618158885749531047901000460183563661131140913506836846933780449766557093813491062240750875189413684790065324983253942839857192567374612838003167155563343856280066216486594909198324997464366838147737239066564525372651182191390801942528189222686968604509136651966668112127176986409683492216258975070282872888766496927745619127631809578058120076417416043025849572570061105224165339828742616115184166651271314928933950201695256794969766144555810795021082288778272072643438217091574364746421420586700846761521309781685712096098154359539933778503820777748257504500833588359825259460921086064521630416300470190233772807/10372601619554497132083463927598738985076177032683784535428303566282736529496593059047882201613358892548433302088932824198525244361554397596947224713895484940012438861522729785963723877969878130988609404415589240477735738823150260589878538521501577854532037097360709335737852615354426265477091763151966595402860517718370148598995941066647022293375800906587339560152260859476740713883726481650201634504679750211815801120900152623538216705419620239042036505113525148722444543731624035265099853286404147092545883373140858004348791337868138651684744032715079099201661427405007268767931142216175462876374237725197878415918153436480923335195561273136332039100423872022033672143530288550724536120777673376664577819373122013506274632209290600040019459293082419200000000",
        "b": "-2523017417254847867162916386488174910527617300986591547144067945093465072635752418804995375501381828040637248187557890534812438782931551010745917887822368656169653552670806158916461430155230805263897110250136287641609586945904346066223754160382235854534884422110343950808343973017891479541694081040482068655379289737512207793214607428304102478337387562260443771755288104694025853689672446603879193933885589830759538990310556347385590885039641058426822634314127089051300494794514669204379558844451756883691486646738843695682095198903717916614138885291615195894837963844849558597164926035478592584332720740578395342620507184059127968192774846684203342736182838690657579443316857741214799385197471850915582092621122146134781737728778464023060713801925875981029199889/1296575202444312141510432990949842373134522129085473066928537945785342066187074132380985275201669861568554162761116603024815655545194299699618403089236935617501554857690341223245465484746234766373576175551948655059716967352893782573734817315187697231816504637170088666967231576919303283184636470393995824425357564714796268574874492633330877786671975113323417445019032607434592589235465810206275204313084968776476975140112519077942277088177452529880254563139190643590305567966453004408137481660800518386568235421642607250543598917233517331460593004089384887400207678425625908595991392777021932859546779715649734801989769179560115416899445159142041504887552984002754209017941286068840567015097209172083072227421640251688284329026161325005002432411635302400000000000"
      }
    },
    {
      "decimal": "0.02279967800856241",
      "partition": [
        9,
        7,
        0
      ],
      "weight": {
        "a": "1039706777078285704719104548590563793352310098696868724046152090340117299267635715291662321701574074148357530016310131886261145862296254686906140927493101261571320185122132447142562327382392432328778690785167843470907740187770302426225768118038522517767687091578810064720390023021000405839417796840701506474057842424310282010685534298230319215605331619857304000619538023833234398416800187545840127317232224323642084162926863725965115217995115850612725022286335735368010696947467338746607922349496049723672116361777173361519464803742140704999534726034433018774653691815711403637672995688606967490733924629688707159224102620429658461358345248708803548628915379564646922268774588268354581635236840650228272419556513642212344320612922008773649920449631362250491761/19064368522279037021133818678020656063599704088189292096778093324910229275572539289832823463570358342854955685168647681124473595645620647690692515419675408364289018349743518404600175536128300275981086040712981309496445882056467479101543458553165953211727506208831677282943118115354277725963353007504139106093753328436186137030310906167894490866994436205258655784573664669346925433328194730762482051777394585090136405103047688754022650666740044472990634130637672198111375971751755147956413032228791214319619675638672355762383236236712430833231790623956207956466420999083572903419371129389465341548205279157931806040956478617658806890089788204542892248888149840093784277263949262253524218184631551734208684768181581291521921258093983381189456183194288128000000000",
        "b": "-2555520183488083536003714399803697266190217357642479287527267990025915796417287330208671191590432560985740582987274591820056351474110778089129468402836698106729080154417222021391194112891241130099669606413185185401535122419865238654447316272721100100792936946685430894861883934096223146207205305272917091236375287473882705414796815874257571570633175844863467108480767501889811427176806920181198573962081271301027693677666886901987014511794446977082841698885169114893759641408210241856580569032789029518339460318200815484348185706464965613331473758757557973669514581222787759017405813211918243633852330373168156015025904314320232603993856766122262244192090309607941149869363107603828690881110273710663569782641076305805812383993227583856204527009471270549943637/180052369377079794088486065292417307267330538610676647580681992513041054269296204403976666044831162126963470359926116988397806181097528339300984867852489967884951839969799896043446102285656169273154701495622601256355322219422192858181243775224345113666315336416743618783351671089457067411876111737539091557552114768563980183064047447141225747077169675271887304632084610766054295759210728012756774933453171081406843825973228171565769478519211531133800433456022459648829661955433243064032789748827472579685296936587461137755841675568950735647189133670697519588849531658011521865627393999789394892399716525380467057053477853611222065073070221931793982350610304045330184840826187476838839838410409099711970911699492712197707034104220954155678197285723832320000000000"
      }
    },
    {
      "decimal": "0.04884679579191674",
      "partition": [
        9,
        6,
        1
      ],
      "weight": {
        "a": "8379473270517004408889626055011603804014847197865704025038979886812987788147149404504491483253401885541257046077107769172804495445020301755383086417509901775785444004236206118199321671221880733708310953439792184679041572063738066899768826088328190505700712613443271476634096545778165449450692218557709811341344698064312194255406259387759016071353799619130287053871803796587341205081645443130252044192419950643026569714236842140837044604432306281048860130728724094990001693486929087226013332274534241780360125177426793465737927733434387821887221730045295817968719783797849733496210241102967181957842518641078868378637111125881828105996253360684816742095509273292877392596904939646513354466487692535954051377785183687331450011383113273/119523175218516998176482209709424375975455911580109675376632304095816181920527580737770013185781094000774308141944506270827485568135894931632159468857372778669948756629049286195960118847205669628645491156504405792119926644657628094923820184433958170366865809872217748244122249875678608395710462294546679641472252675186764373890884815774603041055556175114280419424169467279273097999788479862119768527666338121170996619504869359610019258435924138707002280110321826755061767765265413755463908115410067619491908813035339527254066838988989731245077655536433300345043208623459403175635967354605990427975102309413604975971630151435520342563923120904844438006111326686164341813919094498759080335557853854688707086577905320108122741760000000000",
        "b": "-33240765952001633861548943846385421086212374576846926219905364667139235393289829768365159522777751819010537853782002009339698354883794010472861761974471963624597656624602631110990681146250843440768618766350316689872516642867027926288324960939698816422488606213335905293857350094616298231671502005069165988684887809745092752164688410829276554742233505722920382764981246566278683915431009160095616216279598679761699601686052732634219038100363582398602672459702700609250111583728146777685627781000973918116313659662123277460056124850515394912397874820763768993558799198642327505549032835313882058006712078975215437033238135978609912381550417331076535194956982342133372149248877813368972866384225090747213304543830378794621825770117937473/3496052875141622196662104634000662997282085413718208004766494894802623321175431736579772885684096999522648513151876808421703952867974926750240664464078153776096001131399691621231833476280765836637880616327753869419507854356235621776521740394693276483230824938762369136140575808863599295574531022115490379513063390749212857936308380861407138950875018122092702268156956917918738116493813035967003229434240390044251651120517428768593063309250781057179816693226913432585556707134013352347319312375744477870138332781283681172181455040427949638918521424440674035092513852236187542887352045122225220018271742550347945547170181929488970019994751286466699811678756305570306998057133514088703099815067225249644682282403730613162590196480000000000"
      }
    },
    {
      "decimal": "0.05045709275581825",
      "partition": [
        9,
        5,
        2
      ],
      "weight": {
        "a": "-2998127896228959849188980204466601341076653791084526372446631366586857594716623623055674070283043424119292383830907701656649029515373324062439780741461119330293009159262061241085640724776283568253899148624870010841420056271801965257870665911919154100184345211491826034537381773571193775339406917508552369189130552766403158939235848775348397184117519734269763850232769320705434127547491777592944807325619674099549570691467918793645512536042108663240842030549089036613499174057444757837605304166260147336338112888118927239282029661844207943551297562830339957524707409022643318238833009748363885170027029322042998117319644380003425474927722390160073259193395594432176369271544743566361172534921247989703554110650210493995078781465233/341496707789462274094718142883312304244298592810348993539742358192889236298124108380471473992695074363198847384621228470026693003231060504108368418368850214131787915532195400398081351735473213672806030424614748944175965873155468399246464092745240677615852651143866218195675850816848020950078592638083488240060430694612983100210928171777174571890084713589202960453991669091398139407898468543075711745265024267027425534715978101435162943125621910448875284078000381736589371251007352053519635430925375014182304437879585665214389184053679730041144420248132962757686185702900689849787504253153924671304771139512111013484663604183382850284945507677438385503230594721156964329648146413116538379992843086963759091589600958783117120000000000",
        "b": "2605452534641224717577736311814715828778154636044753008389816841257426655617084629757039439880329549606303907992429246736719917875545257019890514234254711233470884487192828574597155466199001715252864319033285052831459239578150977822307405013202985653556460898072789656852287591783160526328999930378376315337350560711760530125258303423273542265597609854982606873139021565045059862649382451701185128446028383916915229557611299986666813912584942479710616174839366338013381353070688505845283663817309974682489175201001943476098853009975863377599697747940613872915691360552269463388529137287924801164313844680938747295269571247993827732681596185686354160242997157276312021788935237860138968648595702455785575898858742918256079793848076467/98351051843365134939278825150393943622357994729380510139445799159552100053859743213575784509896181416601268046770913799367687584930545425183210104490228861669954919673272275314647429299816285537768136762289047695922678171468774898982981658710629315153365563529433470840354645035252230033622634679768044613137404040048539132860747313471826276704344397513690452610749600698322664149474758940405804982636326988903898553998201693213326927620179110209276081814464109940137738920290117391413655004106508004084503678109320671581744085007459762251849593031462293274213621482435398676738801224908330305335774088179487971883583118004814260882064306211102255024930411279693205726938666166977563053437938809045562618377805076129537730560000000000"
      }
    },
    {
      "decimal": "0.05050047401592683",
      "partition": [
        9,
        4,
        3
      ],
      "weight": {
        "a": "8364301977605449967973408121901333198556315388827193942351405872641675660223347944045061048349363149832888388542320394067488430025375841198920412559271604531531886578230537494333003100517864082081035890335693080988193086388310462923928822442924641000893270324965783368032235767246993527312999482429979161840967574297607117302308332105310810151187185128006729419835296759354983925581996246553237584102409306474375938538538458704967015855818560718210638914236832788926297319985585858835635348731247698165273728017144196941809181150383202877910213213244776372062010867581226001087811504815379568258055696070887083739003517706264929874740506407683382278422110444709280020678971057018375599646549830746947791645266413457605639820875/65467144307131987281068908443255541762109675260703299535107267524812675420384143004319611306976826947498185105727018169477929859124067341005022830849196357031554857812844292207451175301451372210597207069380962182799272756948484872593986604777072640178762048000815125407425066555978581035868460368361030941903127086926490972363502226264967718373225006190672941459490634518288475048497359154868619256080583629224963941118401630823790968105494057843124162999597305357051729143283530988365807123584819140884943991444320598091066361580356687061772043154115005021025895426545576606008679076518811485611223233716649538944463085020316263781932931650950095854048493149032220138027128014698287252043910358576926807378931126994747885879296",
        "b": "-282760866872319499442724633637491037959258316556176132336076199915154539636180148850139748237161334528924632733818723566879653227375816061118877378621603488764416167720214673301188882605242494808026570059215445771072104323113148089250659150172865930445988950863435772589912809367377149247004050064253748735628503033827837045987405555500112488511071004947562637781622483146676244417082056843517435780900195386757051160027338430551105101160883336306673449147470298001166184761844625543091721000205429708783420921007843326190875953464332868822097840824817130340217904914091338061707548108458339885192458019002987889981938684950078192082549087822567797120007299184433410244444535267378567500948434205913433833094603956975481466575/8183393038391498410133613555406942720263709407587912441888408440601584427548017875539951413372103368437273138215877271184741232390508417625627853856149544628944357226605536525931396912681421526324650883672620272849909094618560609074248325597134080022345256000101890675928133319497322629483557546045128867737890885865811371545437778283120964796653125773834117682436329314786059381062169894358577407010072953653120492639800203852973871013186757230390520374949663169631466142910441373545725890448102392610617998930540074761383295197544585882721505394264375627628236928318197075751084884564851435701402904214581192368057885627539532972741616456368761981756061643629027517253391001837285906505488794822115850922366390874343485734912"
      }
    },
    {
      "decimal": "0.01187149949502142",
      "partition": [
        8,
        8,
        0
      ],
      "weight": {
        "a": "-128891049112951678692752404953659930894182342974198781963775802323520958886664140623783389448997116012080856154655282414335672494555930770220439799923566712364002980832153573783339781860128290906224842692680119648722363860141030252653441773843035718907316810164219176832570653237621323647041225509979793612472769473454212051357332147037729306842324900645994092927027837327967246321039104347774359686976488578711558478110997848817438171802770149200520789087721287133630229324306238775707429570330937853680062503850878659516238616694702588204202686591835981152161216064255896091761208287903035210071048164320993238273341718919008606301490916361507382756309539466581658785802286516709168018762390628753224875746261808666757410827721126329/129403223192746447871372155492221897166418083104323295853850190619753780007194469927366333359508954607564249673566743043820478212327697818762035245083858451024287844829680728225415528651693634601078864775585697739001234238381610473540234057426306713081965260322310007415474379686057698260151202988495204430069041252893029772437243925633585999279229768861208008211723981593397738392257745275207353296491270377613660388953790045032115712784045773230579608976193646416729987568596849642043945241607981316551483001782630801383009446815585153086834253310338395911232080662823725567649433791910847799238864894392292043935838321922221107228325066658734426251552457709976588906978957885430102973008286658701791469745310431809150648320000000000",
        "b": "157039194395809676535335898644484480965166359647918099186855123453487159525407541936165561877090596864252125562588042692422710779092659613681248681166087553123497804570422446941428138193572879716722410371036075547780166172897050424159157055803572784642666100672555555535653146711719004308218304495464445337452157207402971565411934259394834344759107550977937226227314494429778909578535678452205248751294990209014172536203179473184991710059915158906254781780744695988486497973978358634646480945289101806522576669541715876674083478563974068921339347170969400554265522569179725448182353350775531068160393117218217682564163248156343237150639946999204434618847522889544755770558442616199075681084997870175164533523158913037212784947037724127/348393293211240436576771187863674338524971762203947334991135128591644792327062034419832435967908723943442210659602769733362825956266878742820864121379618906603851889926063499068426423293021323925981559011192263143464861411027412813377553231532364227528368008560065404580123329924001495315791700353640935004032034142404310925792579799782731536521003223857098483646949181212993911056078544971712105029014958708959854893337127044317234611341661697159252793397444432660426889607760749036272160265867642006100146543260929080646563895272729258310707605066295681299470986399910030374440783285913820997950790100286940118288795482098287596383952102542746532215718155373013893211097194306927200311945387158043284726237374239486174822400000000000"
      }
    },
    {
      "decimal": "0.04876549424188134",
      "partition": [
        8,
        7,
        1
      ],
      "weight": {
        "a": "25732458410547618585886607260339552730946925738154333379396166283571773476917344537663395122560975546341440359015442861363581155871004270421713727622880225728455597766037210344409167991996022587694801762473101480918270578534465542446947724605472222494069040396265224898091012647771465933044451737608246509133475256172799162984623126596753276526339938514473319282692769283951290184514903503651817887448716448332700412588229326546312709504417079475045462651902922545764210453808138560835033451776205146730684429388277999087525461497876132906092696899990034169124590501871007888056461944684335364853420078479338932030300190132810172441444169664825910426143735262648373009960235720084002811877429880887357341976680228710616143906035029033551768581933286400289564186206259407099/211221513748963626285465075675737433737188752059752559777131206662651624830221779661240786861570047878398249255347540544976185148887211026416321374989448361877273647134028592381702586736035419673202360545604025214088517053300617291306307461620198431128609907731436054021510947079498813058550671521558106083953042507131613491974279026357248371872483183741838814948883551988196214957062649231929497200459870045733207872029019133570042172774010057336270084322564788277432335971652433152806734526717621028555125547034658876700543894217468545461677190040651702259194193032555955393824470740705803868916356353374479117738028719362188829598162641093890722107752345213016109927743165621115391368569227349160239081683527829007488166762226860468779454480061019935261404610560000000000",
        "b": "-5881245391183364734632895166350563772480097797314257553028412769496283654033138956624280100845004812449719722589745189837137439082559138579631931655387595391796585229342221050501627069327649564152333940758971901630152067765143148815586402200444355832066585169484494874455271638496435508016592293261940556743145116475423187341395693563680597161892816961809896504138315096769348836661612192031627756078469174785307043593996402236230905822839707966283165244693290353365041255962455604900184292343100380352204560962976734211077353733446952257340496166348186720868333321087468178495126667977699562019468182579265997556211992450124447959445531432207553377490539000956300302540801264767508635284728542590094659399117209860542593154791793424151219043374432261772816082616247242311/179997463890421177182396325358454508749952153929180442244859636982085732464015081798274757499424910365939377626296164986153618648616927657293908649991008169251937542775085235247016117392447575025859402899732125834614562358464873865634940271641560402179163225718962898209635415772094640693373615731414733880238244919120853236638950822460959482117420452232175685782526852998636774485149040215035571527348410995494385838772555435564035938537852048860473637074881297836420599349755986512826608553202842267812193944429535390579593927246190586567342301078120581055661138410352031552998244631210163296989590631571295248159363604326039176527129902845228615361388955051091989329728958529298333514085080697545247217434658497762902959501723759356003361209095477857874936102912000000000"
      }
    },
    {
      "decimal": "0.05113727260036216",
      "partition": [
        8,
        6,
        2
      ],
      "weight": {
        "a": "582024573792497751971107716092131551482800629551953720708425610027969285133729409663227141733253724291526606836547772345240940237285546917123804983570068805073979559940686404458710452426680139360478977531341398777007868393564082625030437340444142465443448939282500374123982747366420051351385492024269258388728892490195956248966392260280699054924397417182633275979639365169881882469368304295310745237050589735956488583457720517839756869284580686736246212590467646274949250157980029689153786308791605283414552613731726815252820832554843248404720078691383964802829812588476834121739019878492070211618481863322955767842349887905692441086579758152613368106209850150824962582669346877066634262168161786417413826401666505693629612913748080049052910006864529640378757413061/1237116458258922239461695980013610517785420632196542337098641971843807803441315489099765015250059183501723754913196170014207351762860853203101522539512540949735139138652180636311768709575513107305561329607370361300298629002605247485614606013040943271382735505875116928601419230565968724898661568790019967954373589546512588983923140019958373664548625003297902574202541042865334812414447246759246805867521735402952387108128212686698121678864097803929704832267803321974533838435894114693340959320496272892684303961749988244617946718346967546496184724036078182252866363122637496949677603423660103313273175976411061371730446980590328156852254082128853670169146764407507723838092781832155524862935593453352674880640259625742299682504094617574055218168609366457680000000000",
        "b": "-34089404363942705360353406673751174507163370049952860580960369804687705776421684903346925698634495876921270616400575550689592618525957090227806687271350693276246372719589449374514778950956110983822996107185604059113702347639131920059098097926252608341299377076414189929371366228065720884192402014030335254021524197443408813117923061877825533845469123252623656293305748355040567373843237687233266514073359337596095932722333880108906462785699592432258807325622540633448566704433958568048647181221576066349584682966893005630801057257382230805575438745284183191029850408428018535800621223593746396954622331708828762014410855511214545872971982713952901326121890404442834102911042264623046133885533587243384170403095183979261325941140209400780595246302998563045948617757/181780377540086533145392062369346851592959766363573567900208616270926860913825949418740981832661757575763490517857396410250876177399962103312876781316128466083530648944810215947851728753952946379592685166797277578819390384056281263192350271303975337835830523312262079304698335919897445291231903985472321821867139688467155932331563431504087558872451020892753031311393785890416543864980003605440346984615438671454228309765778190698499511996357228332528056986289467718707012994661992363103161369542309486271979357644896231862228905553023802750459796184893120657564037030265101592605688666333729466440140143472645752580800372658170667945637334516892784188119524566001134931311592432479995490064005568655903247767548353170297096204683290745575460628856886499904000000000"
      }
    },
    {
      "decimal": "0.05328917474426853",
      "partition": [
        8,
        5,
        3
      ],
      "weight": {
        "a": "118692918256813951115421292819534675819674904311164862820786427614756921297770344824766502131752001227730285678968023602010810198537869705538641655560582267684935723911551161820778000103641023762218044484727888095674585672875762604317547719045164110307940377430940636302758678190393756709498747236091680653859434685271032703227532678979396807584629604024802509686613792594756276612282848350127566936251227126705580386624445629324069588449420793585296653053026255755325895462980150671654771869968054866024061490650043200770724364593898077175926133887211040781111161702253174335889333344426201594379483048737705129924073416716660484666581776846551039807740273811622327513081127187430760514811202049573886144484229440136334616446016546298509323539476417273062017185036795236444573/100426478199028228901420030525136041586070239932721480990671024860080982374808668458641290533627269733283689415710719160562305724001721614192233306394300206585087331267362373474542195232458504565422500766451923571567038812541183480586017231327124967264008398370028587525614600192496242832479252327277253497131666520998581544638516469818773552542087419236134841813112737675177181987169177831709225466454599271695279225244450150997370521150651738749428266477562817353658382843784635896698345436755272415344863248392291855539641979702053580682705078789529118199576934092158531024743078501235423193275488416617655697910081134618867894777238919421143263586068577575668911322434469240971638801125318233131394744459049128488170504018280542642215312644566094297598333158408192000000000",
        "b": "-176817762955038794254491944452116850819608628109578501430442110162452036189131135066861528114975150714026290050731563773133762911928514421191300384284785861629963846581775195070556115881422314212963633388505829203019266961947768626953016289660087572943456322834880586670773130382151713053880982325598518454801258158908097033581893211323727861922991620691736116740192823737855402430065072888314434697182669549839968544911320057280636507377280430201766767729549725892966648486380287736875956107640447902946403906778506183126081004425740479397606001046327608845667871931525936705422530960605911630090773240704069347410606316690485269391432778506591130008496605280652048899901444293918160489460069912754196017727404904084993630947532005776719003537561527733231625226526003336321511/350324923950098472911930339041172238090942697439726096479084970442142961772588378344097525117304429302152404938525764513589438572099028886717092929282442581110769760234985023748403006624855248484031979417855547342675716787934360978788432202303924304409331622221029956484702093694754335462136926723060186617901162282553191434785522569135256578635188671753958750510858387238990169722683178482706600464376509087309113576434128433711757631920878158428238138875219130303459475036458032197784925942169554937249522959507994844905727836169954351218738646940217854184570700321483247760731669190356127418402866569596473364802608609135585679455484602631895105532797363636054341822445822933621995817879017092318818876019938820307571525645164683635634811550811956852087208692121600000000000"
      }
    },
    {
      "decimal": "0.02691819157208647",
      "partition": [
        8,
        4,
        4
      ],
      "weight": {
        "a": "-1122818536010091198293155509507629506015514563211607137132053462583263837577218189898293859820126581574388162556369324766070137997573841439981571973542019939567784215124933187397843813048171440379204913752303265169986723591292374793035232181773311629859276176608276353591990919035634524433510325243813598537807135881978774236717490768164224063291764820390494280960270481063685241952729121366140846841127506007298753413569575844628809572502271029280095819103950177749503047828722094781005802723257811680918309576937919411793343536170557577270489325652493169597095533359348937322773146415775116936486192078378128820993623158657284660848163426129897836302884169781780813430462249863078974940446540162523358154234755696387826372675842926204125/2551224325458049590204077396602167269436679639238691078633877583011995452977326442102898989863341938803670619113992566869974917888988453019540702773477934940141923711744304846618885518689107386413272554423106534630731067855095801013702662233871209608445475466059388271566180039235844087335601169499382121459250037000385884463888066905772287613698165939426028590887044910260648798408174404531357260143579152602012993641742407011563385478507572148959399776238809792056990695885423514412987380816497496850617741433323637352356158366114969143335679604307858132524921695054880556576050320463036913680933749532934648351572262818763527489080120646770151790181192626305922264611882117828910505748391021957167744841405199369727086556153458158077952",
        "b": "4795666338509715228175673301639066148855282793177172320334027613906976407576168285140319772506953561624522370602817563080340978438821346975990488839216889475481533385573135501979968524238147624106737279840529523427713292377109758433537789306202393998748894743353841537794483608503376009920987067249187828458635255728365553367214838451457611193419735711991528521533710339215443572409364530367171934027197339479877607601754560695905716890611632552915661596090493243212498630946499340917022808458990662119581652342757165640472633395530728875236401555811069944551808698055084718049607438454432951324661150925097514157793497657883992415912637541019240709615722269697023483696783729972549161063729679534306885662620580963168963864359662568555425/22961018929122446311836696569419505424930116753148219707704898247107959076795937978926090908770077449233035572025933101829774261000896077175866324961301414461277313405698743619569969668201966477719452989807958811676579610695862209123323960104840886476009279194534494444095620353122596786020410525494439093133250333003472960174992602151950588523283493454834257317983404192345839185673569640782215341292212373418116942775681663104070469306568149340634597986149288128512916262968811629716886427348477471655559672899912736171205425295034722290021116438770723192724295255493925009184452884167332223128403745796411835164150365368871747401721085820931366111630733636753300381506939060460194551735519197614509703572646794327543779005381123422701568"
      }
    },
    {
      "decimal": "0.02632604378777909",
      "partition": [
        7,
        7,
        2
      ],
      "weight": {
        "a": "2761250898027483387323328519087045011514332177384905657678560697038239352690737658097161097706931881830958792396921947785707778371235408418276730961326901056875289115637171815866298578067715652821840454779115085089935633133136642891285724076636189583520251251510347934463537056614857986285274899942644905569783660683270302966117062400951095475441584557801833945708108139456260570390346494532246926403115115347544916782707650662870059550372648964494484319376043333866925572258623701040745607201249274512377241312286142399266569744998505747114858868319847499426953498253053192794499297203531018148901057498287783259955920284630355940375989831189774413683196357338996318875371376347589529395893491441633406253241594374274062662706828899486067682248217606602367581/79696466321425774872118185352142035130573366593013638425196006962661309087782195757774467545326336286718689822750606704092761202307847955209191526132861555571301458986499802079273599346935943223180397650185146866307110756939771233487896169373932702818334843489476660560944251888142560359578027071750459951832887058097431680384025550141172992162802057977115790550182283344189063842672567571351572390033672988308480867244547427431331166329031874063840567593019357466125934222873413757805971875496883329077324523879948533479572704023601877112744196670916309090865678784576664562488532344587688161077672212792750781048955563529755256275293073929017252763235163899415129586024635491101104709361267239563484803910299476288261273395786472503718540898128576512000000000",
        "b": "-59808964779209892862986678829169214284024302392724922992704980191219074109286532601008361553680384050580408039477014115229889171206126703588082054219608739338918751861958072274775827244288282565049037940890204576991584096785099137944416266510396104735790227744959088723845392402957191161929383085717897478983481907807125754910380392087302246014881268186117751567407680082730009689459540890324348402357847496834095982208982638017913626561468221570214065038068214313840370814512066097685742425275831129570965671763473643837836611723510332513057134767635710239131892951987078611419332504444693394137338985554821092307987941880579751586573330539407591825707355109481463627404056510724097557214376347788974053438123523710312852212623933329142216413107454879307501689/16072120708154197932543834046015310417998962262924417082414528070803363999369409477817850954974144484488269114254705685325373509132082670967186957770127080373545794228944126752653509201632081883341380192787337951371934002649520532086725727490409761735030860103711126546457090797442083005848235459469676090286298890049648722210778485945136553419498415025385017760953427141078127874938967793555900431990124052642210308227650397865318451876354761269541181131258903755668730068279471774490870994891871471363927112315789620918380495311426378551070079661968122333324578554889627353435187356158517112483997229579871407511539371978500643348850769909018479307252424719715384466514968157372056116387855559978636102121910394384799356801483605288249905747789262929920000000000"
      }
    },
    {
      "decimal": "0.05399567883374301",
      "partition": [
        7,
        6,
        3
      ],
      "weight": {
        "a": "39523944731856912210659862435553759428105520463051011695262347913819257155999152699037130154030843344773474819776012526615318159431312798796619144074164878876654321037881472412435444358130770868477225744051155923239112984024348220271518473705696342099297697935704313125083722259977619966022093753060589920414570442448187722666916874734605502058803361999027670858893084099930951916155715917387039101420430494701413820339586205152977312979787325849069734784038775876520773849199439746514863652654560309955937987862401091584574743815759990738688136135832344207156291507968231315550377732283348806450397633818198151726834801999445997939961006577101636392734305879097488535500908262337965631010466492032937373417542807950979456127977250723/92638473304071764630792700539163821823414124236701075583334049019603946766116351993752913644806659712147770182424833484646062392159558149891033898917211656796278803509499627793606588755542427178464521613918235988341030032768747568183384370284683364340511733607946074317661256050181769558354313066969576052055308936496877111446254936862667375314270556609517283042341158677279037134584838252417172741253104021277536566991174547507821774557974993717523923496423337535487226931312093801720323230874831609389371297080718737137060297014757394866645809312257907647504219650089243499183812631434493343344873570243083462748258591166975894674933864982205467909022382421713978532678974074322916870608652330911964417994573538811717930240000000000",
        "b": "-771932423948082390812234274085622787402076490808898313175214644424489727340295846998104375866184897338258014362177052986825575017222487459208847632929028171999754922546833056579446589415457269041084826948590119937203154114618823976216347664145950423187302106461446915385457391847889067686229539177959932570385988674199004172838060006417564001742294391405936712464755906465389279861402378629461470588344856615499019512099285729843562489193548475292047187172263398263693032366017381927143749215354050149407943989877437683438458579594301274180861828191750201572807788760973633376872233974301138451725972004017482936245280313878233395564633974638930295810263066698580354062421459315374599952107127304166284286273302610354414883099587841/4631923665203588231539635026958191091170706211835053779166702450980197338305817599687645682240332985607388509121241674232303119607977907494551694945860582839813940175474981389680329437777121358923226080695911799417051501638437378409169218514234168217025586680397303715883062802509088477917715653348478802602765446824843855572312746843133368765713527830475864152117057933863951856729241912620858637062655201063876828349558727375391088727898749685876196174821166876774361346565604690086016161543741580469468564854035936856853014850737869743332290465612895382375210982504462174959190631571724667167243678512154173137412929558348794733746693249110273395451119121085698926633948703716145843530432616545598220899728676940585896512000000000"
      }
    },
    {
      "decimal": "0.05512011645115564",
      "partition": [
        7,
        5,
        4
      ],
      "weight": {
        "a": "2415901088400946046212707629834620395385045709941461741168679280623187042893641088126584703054901733420170553274346376865611588640608039386209239410998853108290226833821049890773076662629270621368067486217392015880207688819346401327791375634585931474133414806947669660430706760898178271240362810539200314742505340103563875602985333111505526451466344880300387344060655444537011625677275215989856996211395619836923725705221191139087349697064135877008214132002715367221095127234997698853764183132283486419726273135198289341765167082823574529044808475274397508914878410085229234839664750834711931212014810526101179345206137514736546238390328958076947848676050776632236517239085888953067468249721071305276518677757763383956264381841/23848694814361670359205197439855863132266640895150488317949411357559863910224748795621203638164671282643064398336911590975577169955900671293954118099483515509703060403581910374918473453271559222565260543828435395825475151867341248184292573416419268226421881127654768998788789353750448070468351089397327962531104051729444170418559463353369668336129917589691340239238505085491826382691030662060103095628765613907084130258594660177054199054330549817521618952111581747265517212275496506441296894413997294395042716505302177478529344104251797935076717746536657018145471607959297949779524357105079090086593398493975216291755029738854206720059662873896351062188331752808346512338005260437596135018602097920802817893936011345920000000000",
        "b": "-554110182302600810087225772173539694629142367017817711971781861741102597001412904799553345417273992866271483626230441815478081882736932649101961204994605870001904011501619619153447701206970294360463658787521382266616299516537986147972536028527980418728401565240356431839739469347553087831502426100705331058124506495144047926213872573483624307397382988469735934777907286518472623092029108076700884066516163522766295793763998714394686848258986101180547016616473143269475194427364922566004132042646690792843182402676272306453010844972893769998434370881520381160256834054175687591276032636038966512778058202986190749752045216153169005384250453044169737171394821044906697796525762189089412140448084154890570006170355236917234463229/26829781666156879154105847119837846023799971007044299357693087777254846899002842395073854092935255192973447448129025539847524316200388255205698382861918954948415942954029649171783282634930504125385918111806989820303659545850758904207329145093471676754724616268611615123637388022969254079276894975571993957847492058195624691720879396272540876878146157288402757769143318221178304680527409494817615982582361315645469646540918992699185973936121868544711821321125529465673706863809933569746459006215746956194423056068464949663345512117283272676961307464853739145413655558954210193501964901743213976347417573305722118328224408456210982560067120733133394944961873221909389826380255917992295651895927360160903170130678012764160000000000"
      }
    },
    {
      "decimal": "0.02799884559397015",
      "partition": [
        6,
        6,
        4
      ],
      "weight": {
        "a": "1940512201186128622155859969432210683021004499047695808931362462219210501017811090642405991566545957580210328289190166363630582278918963093919406250114549728308947757973283490634857815069995396766076589674670241353268603734211441551692250006232186739491204322740737382771244225878257935728894358178095780853207865993699542457543384442081029334685467187622747463935595325231248876731594100275642588775003618154665429469169247314098076024068447679353034964113820739609240914663535917598848212893005435814377920007052955387208353949962043033715474111745848479417723605798772766427206758055208907705875790137380281640264730866089716585484881302542765302994550075372397127608366375884999636130550667407724607585171228412719711562133105751862623/84742779563493617311239841260994854682472850421211971132362208353884586935116235622689745704587921647637552152238607493966731411636049527171600924589221787161171393955808925620867472481783376520493490497788256886889019761272672429034736558060053717342602178830577096430813585726289303978832773332142742759914073319046565144842371265000200763147415405719839773398285008894328047924942127426038881486349348091345564305322240910545179281649880746107437667132645075295268503861993314593727623960414059977449654946772843042963450855893746795204995821089028095377952731672799297670276327910903477914950672149872231402810910795289244643140592620928437420965004901005246892377532077115137782901109024446847608556760970197003138781272320000000000",
        "b": "-866762334905853167896022900158522496976159161172264098231661058635002527900096534252878497113559151434624679556115537350889832486755219966466412323456779649968258781683673408259275132022352130757366321193080760081733598429480617939409031753483410289224604220575762957671189504972462618598090520500754742060365765071638121780748408721496447078775465771285836401445582883384835216857659546976870135805333004821027142676773363492037663273059623802496742251714781074393130002366783566274893496918751150081473848927041350817805962898706960429866603848217012863682284079090113119199402486670579025202413273853375798833536556401326501341305463735956657402414941544023880502601776871487823411555003433359879285188344519474579431139494417971384257/84742779563493617311239841260994854682472850421211971132362208353884586935116235622689745704587921647637552152238607493966731411636049527171600924589221787161171393955808925620867472481783376520493490497788256886889019761272672429034736558060053717342602178830577096430813585726289303978832773332142742759914073319046565144842371265000200763147415405719839773398285008894328047924942127426038881486349348091345564305322240910545179281649880746107437667132645075295268503861993314593727623960414059977449654946772843042963450855893746795204995821089028095377952731672799297670276327910903477914950672149872231402810910795289244643140592620928437420965004901005246892377532077115137782901109024446847608556760970197003138781272320000000000"
      }
    },
    {
      "decimal": "0.0281609578658803",
      "partition": [
        6,
        5,
        5
      ],
      "weight": {
        "a": "-592150632632618740008521061774128456355557472650711558210674386051611269766230637413228045139784725335023130319754568860516884001876592615649294622231249786925461430925454916850678654708889047939314824453359025128873929017889620328297432562578431055508162089446657936184849025406099561126861710718226065791454136133758541874649019269937940756873124532977854273814567413903471802065997133410785203466791774353896490808100187519865382634387464168867326362824227526509077028657297104471373178324628912302234025629857702142700080440783067391006012355447191003797144046542484700737923112137683869745520807081529592964453153356842862383221452020896849511903002028695805453585416483402363696964587622056625150524229394571320264992825814272208798842190639/5591538859931995629990725414781426251353786547911475877263052553324410589021845472090597881078499424048230331727762294948366512856788389455560037728638603044151237717799901852761262547878322002324843053047039506815929851283531326726625633298819671196782568011672474237267401148422172403256351680585766959927727776414632446915425055885745614105404112251270353524869497350388025640738902426556876180198932215908951318983076908399646862374924011664398164688703849624647947903895001647780652992194585040350500447951204384109388097618244068637210630375798822692962154840769930471463952787649062640260412428769339422282065374044460149071074541363223682890623812526988941895311400364759300356825857860663350091933539457930514146459304526377299030247997440",
        "b": "1005712344725888328162102942767856105845689420264902321368267477379373020022234131105636875313694477143204523516943383168802292551889998189138839818497620366075197256212686436172759773397138682149257577791798107329638974409944520029208070228864298947017458468507993749239690339972859924818662544683798063807122825099337604883290309601620087525323797720966506835822091494020121910268314521202847618699702500870183171508902407055483104760121006499666504669849931643925510780958380633283620451533125831676749452983852584108690512475625846165672774661755453368410089310388758727842519803858383260855007843102809592907771616698129314967851078436173260424091811802499528872766232755104934793413958188519073311549532213581850410878297138115027448131000567/16774616579795986889972176244344278754061359643734427631789157659973231767065536416271793643235498272144690995183286884845099538570365168366680113185915809132453713153399705558283787643634966006974529159141118520447789553850593980179876899896459013590347704035017422711802203445266517209769055041757300879783183329243897340746275167657236842316212336753811060574608492051164076922216707279670628540596796647726853956949230725198940587124772034993194494066111548873943843711685004943341958976583755121051501343853613152328164292854732205911631891127396468078886464522309791414391858362947187920781237286308018266846196122133380447213223624089671048671871437580966825685934201094277901070477573581990050275800618373791542439377913579131897090743992320"
      }
    }
  ]
}