[
  {
    "ell": 5,
    "upper_rational": "8493778988738689/18000000000000000",
    "upper_display": "0.4718766104854827222222222222222222222222",
    "source": "optimized cleanup",
    "path_root": null
  },
  {
    "ell": 6,
    "upper_rational": "194952844584021/400000000000000",
    "upper_display": "0.4873821114600525",
    "source": "optimized cleanup",
    "path_root": null
  },
  {
    "ell": 7,
    "upper_rational": "10623498687382139/21500000000000000",
    "upper_display": "0.4941162180177739069767441860465116279070",
    "source": "optimized cleanup",
    "path_root": null
  },
  {
    "ell": 8,
    "upper_rational": "2237288667802273/4500000000000000",
    "upper_display": "0.4971752595116162222222222222222222222222",
    "source": "optimized cleanup",
    "path_root": null
  },
  {
    "ell": 9,
    "upper_rational": "36898040416411911/74000000000000000",
    "upper_display": "0.4986221677893501486486486486486486486486",
    "source": "optimized cleanup",
    "path_root": null
  },
  {
    "ell": 10,
    "upper_rational": "320797765435076948037346870683143465914299884051139978969379701627134046964851837380742125826309277523274385635102440913089055132262359329405/642495665338495206278815896833374423438895151115248438768133031309827579041902925068937331025460678870684351337509996463691376324079343632384",
    "upper_display": "0.4992995015243666434293318249704146371978",
    "source": "full-budget paths",
    "path_root": {
      "u_low": "330519666835811904602803629604251594185281339744860097505654811896313/5000000000000000000000000000000000000000000000000000000000000000000000",
      "u_high": "661039333671623809205607259208503188370562679489720195011309623792627/10000000000000000000000000000000000000000000000000000000000000000000000",
      "delta_lower": "6278100115847356204548475986363459238430781217638996931284005220748361218305102267704434710617896699687300383360259532651623282611003302889/92450000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    }
  },
  {
    "ell": 11,
    "upper_rational": "18544216486625656083251761941820077504670673917576211506235391840068927949118397223948559235406658918531716330972324110995721434015300186469461/37115852182892874353068552366242235859460812989471169604792358002246250971126094636694058867012972981203790968567790611035031194341507774545920",
    "upper_display": "0.4996306266995238220949596846320258816992",
    "source": "full-budget paths",
    "path_root": {
      "u_low": "359983080997866949063808862989605416514065324839658861362131033676533/10000000000000000000000000000000000000000000000000000000000000000000000",
      "u_high": "179991540498933474531904431494802708257032662419829430681065516838267/5000000000000000000000000000000000000000000000000000000000000000000000",
      "delta_lower": "41007830378222712837151441833159765023392766530100801545713057911205991527689622845211710260018653162426376398982980288566182440429615131489/528392000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    }
  },
  {
    "ell": 12,
    "upper_rational": "2996121354848322311955794105815895001179505823295090866872448139346853627470309824460519151134838968601968143536262306820347956477557752902565/5994513765454380561789136262156377338040687965875321546578541616635045970534245739696470092266897627378828821103324000025379070458410500620288",
    "upper_display": "0.4998105721459158419992356535993418559457",
    "source": "full-budget paths",
    "path_root": {
      "u_low": "41213172984760777777570357786764891288667929479570673169433097015377/2000000000000000000000000000000000000000000000000000000000000000000000",
      "u_high": "103032932461901944443925894466912228221669823698926682923582742538443/5000000000000000000000000000000000000000000000000000000000000000000000",
      "delta_lower": "105242986512151496389834464496275049980096377508809622367162778776192912179021078723607522101381872216199844669372144868185678153042314376609/2105352000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    }
  },
  {
    "ell": 13,
    "upper_rational": "805931135967490955546747852196740952378529189610252125020609830126299488709395533813959555013365203985227421537397036015022514401459311591180475/1612171579704258390387893043053245249638570547328891880944978744918675470028290987156144794973485283898756345351569617806732513086591293892591616",
    "upper_display": "0.4999040710761899116088284957592692926696",
    "source": "full-budget paths",
    "path_root": {
      "u_low": "61878476603451020941238554543022894791751997022116514745016304207207/5000000000000000000000000000000000000000000000000000000000000000000000",
      "u_high": "24751390641380408376495421817209157916700798808846605898006521682883/2000000000000000000000000000000000000000000000000000000000000000000000",
      "delta_lower": "1470085348256998035731223296571007623256633432825986032927065729918681473836287024266820392494082576706802528118187875502370658436325229963121/52531250000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    }
  },
  {
    "ell": 14,
    "upper_rational": "1232596874427223776855961240798094896578881346434294901439954534696835125337162826987923920011619258625971182660833581805632974884419778892305633/2465431871755566661233045261600137430043364544778062660608587591250146891850339771118846377495461240942410412724908189435539130809419256219828224",
    "upper_display": "0.4999517076695878140995652393557068364196",
    "source": "full-budget paths",
    "path_root": {
      "u_low": "15497167036322729925689981018199091055018652442969888101827695893097/2000000000000000000000000000000000000000000000000000000000000000000000",
      "u_high": "38742917590806824814224952545497727637546631107424720254569239732743/5000000000000000000000000000000000000000000000000000000000000000000000",
      "delta_lower": "498270629753673309224684274480843613991960770828895350859435950104134486623003778069807567252536170694618315604176227695721183615787924254481/33587208000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    }
  },
  {
    "ell": 15,
    "upper_rational": "29224408869332107358251351059219050114237346399290864575876399974468973467774294683817210561982854671698339205882959652127656966355431579099037853/58451651509768300824790756601195506055386886185299967535969387702810914965386297431934183592306702657780975368841571138313404597250193396949057536",
    "upper_display": "0.4999757597002745719236996038144413733347",
    "source": "full-budget paths",
    "path_root": {
      "u_low": "5015310679694272680023381324064964394938269630342494957030636461539/1000000000000000000000000000000000000000000000000000000000000000000000",
      "u_high": "50153106796942726800233813240649643949382696303424949570306364615391/10000000000000000000000000000000000000000000000000000000000000000000000",
      "delta_lower": "10296607392440501093224497432031881740448503548642367196723792531851030177969730288444884981557029374990163495407569787692923380493084194481/1342832720000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    }
  },
  {
    "ell": 16,
    "upper_rational": "84926342697719667271713337535553645646480770551590003922699033823290772797055541982055159905798619706644492800102769431770530947609501140438191701/169856812525464847919144839281255354827820757108787228322615881656790935975217533481362744673595551992605322033745045242194679584482417710697807872",
    "upper_display": "0.4999878511495531136307526098850859685487",
    "source": "full-budget paths",
    "path_root": {
      "u_low": "6657030207042466901091406248519432303640278571489953922997141381061/2000000000000000000000000000000000000000000000000000000000000000000000",
      "u_high": "16642575517606167252728515621298580759100696428724884807492853452653/5000000000000000000000000000000000000000000000000000000000000000000000",
      "delta_lower": "233401893982116057452505064443179635103020300902042174807814824242054876261252700686743762030154842940353728098358147128001203959098995107089/59666888000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    }
  },
  {
    "ell": 17,
    "upper_rational": "975892164988377717289410497467647166138884377568003415351256332721536659929895948073073431989427205310250543165534293328694311958363606198297472223/1951808078085378413281385548654913764233238220452556620879414433648161594395523128168978601497747433381078334949967817413556682805966674024573435904",
    "upper_display": "0.4999939163822279405784640430264001191287",
    "source": "full-budget paths",
    "path_root": {
      "u_low": "4499638038013942964510567494083806599694883215851376763295011580733/2000000000000000000000000000000000000000000000000000000000000000000000",
      "u_high": "11249095095034857411276418735209516499237208039628441908237528951833/5000000000000000000000000000000000000000000000000000000000000000000000",
      "delta_lower": "4254655015236078673877187594630628559154776399634168334737976165300495364708523228088628813583945306279252705539806548040492234142460629290121/2147745800000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000"
    }
  }
]