{ "version": 1, "problem": "circle-exp-half", "domain": [ [ "-1", "1" ], [ "0", "2" ] ], "root_boxes": [ [ [ "-983/1000", "-981/1000" ], [ "93/500", "47/250" ] ], [ [ "66/125", "53/100" ], [ "106/125", "17/20" ] ] ], "preconditioners": [ [ [ "-66/125", "99/500" ], [ "-99/1000", "1037/1000" ] ], [ [ "2/5", "-17/25" ], [ "17/50", "423/1000" ] ] ], "tree": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-1176886850424623771915649024000/5646409578556762686684853358833", "-20152244746840517/341912797457723864" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-10821436479005169282364936160345705592131711/167052660385194038110347112297800510625250312", "-37869879305146585/1367651189830895456" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-16927806763552784208025514764197196041123595/553443183901103304812207642042440762976437792", "-33000658928077687/2735302379661790912" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 0, "bound": [ "229/16384", "9/256" ] }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-16560514030196090140669540714568118239233509/1106886367802206609624415284084881525952875584", "-49500787845589035460097788322750481267189250249620509765783/8692159955296148545822878639955076911983537402533316240752512" ] }, "right": { "kind": "excluded", "component": 0, "bound": [ "21/16384", "321/16384" ] } } } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-19/512", "-3/2048" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-12163460130783654516374895100471150388207953471725281/740467735814147423399972596882087700694240218549251904", "-365942946173410496451339867134193263337976053671/51189066965380846991305902532329919411966521935744" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-383896913441030704189303434021996090970828533197302908660097/48717223991098787925554827255998982018730795003906551950535808", "-331971306679783125783102370734559031269963654719/102378133930761693982611805064659838823933043871488" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-7102452469719635596355175203628986501730612184851954891883158757/1968599316782193317070163129737217491604742505725863418107886097664", "-264028027692528384446627377935290567133938856815/204756267861523387965223610129319677647866087742976" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 0, "bound": [ "1573/1048576", "17/4096" ] }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-6515063858258828547905025681721967176880198956712255806782387445/3937198633564386634140326259474434983209485011451726836215772195328", "-259158244758343027839778988881039734396931165044043214912703298151756851477/523067305542528102868739009937537062844177542746562859859839718586733046223872" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 0, "bound": [ "3789/4194304", "2337/1048576" ] }, "right": { "kind": "covered", "root": 0 } } } } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-163/32768", "-55/131072" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-2451/1048576", "-59/1048576" ] }, "right": { "kind": "covered", "root": 0 } }, "right": { "kind": "excluded", "component": 0, "bound": [ "-1115/262144", "-1687/1048576" ] } } } } }, "right": { "kind": "excluded", "component": 0, "bound": [ "-115/8192", "-231/65536" ] } } }, "right": { "kind": "excluded", "component": 0, "bound": [ "-131/4096", "-183/16384" ] } } } } }, "right": { "kind": "excluded", "component": 0, "bound": [ "-27/256", "-27/1024" ] } }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 0, "bound": [ "17/4096", "49/1024" ] }, "right": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 0, "bound": [ "81/262144", "369/65536" ] }, "right": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 1, "bound": [ "8425750003768968680947817444534306625361862420585602937485585/72965643197767401216691905494023020320989472186781218357862630832", "418034367479986482150445221544179867068279402476078870279784654208157/185668946362138409569969624956169897793905514578937954306374768362486272" ] }, "right": { "kind": "excluded", "component": 0, "bound": [ "-231/65536", "-915/1048576" ] } }, "right": { "kind": "excluded", "component": 1, "bound": [ "367428908388173586584771703599475871223357547050888050927417/194868895964395151702219309023995928074923180015626207802143232", "390334514171769031670896072643349599348500555319033531142211436833069/92834473181069204784984812478084948896952757289468977153187384181243136" ] } } }, "right": { "kind": "excluded", "component": 1, "bound": [ "374016110409316433626584395768483959122345941509453994020489/97434447982197575851109654511997964037461590007813103901071616", "433886225160665237787814859933461727474000851575/51189066965380846991305902532329919411966521935744" ] } }, "right": { "kind": "excluded", "component": 0, "bound": [ "-183/16384", "-35/65536" ] } }, "right": { "kind": "excluded", "component": 1, "bound": [ "10382504854720851439123925277905560193626603301045621/1480935471628294846799945193764175401388480437098503808", "416900405413851552453696111733644611439994652099/25594533482690423495652951266164959705983260967872" ] } }, "right": { "kind": "excluded", "component": 0, "bound": [ "-27/1024", "-83/16384" ] } }, "right": { "kind": "excluded", "component": 1, "bound": [ "17836420908704919560047455903359674403727757/1336421283081552304882776898382404085002002496", "408407495540444709786636737633736053422991552361/12797266741345211747826475633082479852991630483936" ] } } }, "right": { "kind": "excluded", "component": 1, "bound": [ "19359001728427087161920422470292369115942023/668210641540776152441388449191202042501001248", "11293427467687483/170956398728861932" ] } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-11/128", "-7/512" ] }, "right": { "kind": "excluded", "component": 1, "bound": [ "69127549328400584567831888871219/3012462937083160852254477726289568", "58202975083033106986217558518593450968805745439/966483166658540109221066195796556549799527877756" ] } } } }, "right": { "kind": "excluded", "component": 0, "bound": [ "-7/32", "-15/256" ] } } }, "right": { "kind": "excluded", "component": 0, "bound": [ "-7/16", "-11/64" ] } }, "right": { "kind": "excluded", "component": 1, "bound": [ "7845791267699739600289/567847449083545071425156", "27016263574951483/85478199364430966" ] } }, "right": { "kind": "excluded", "component": 0, "bound": [ "-3/4", "-3/16" ] } }, "right": { "kind": "excluded", "component": 1, "bound": [ "7613827669962299843/38700995937328247686", "34877681628583483/42739099682215483" ] } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-1", "-1/2" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 1, "bound": [ "1373209115015612187262603/12416039569063167362301206", "1428610418822885866519829/2050436816253556554775829" ] }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-3/4", "-3/8" ] }, "right": { "kind": "excluded", "component": 1, "bound": [ "1/4", "57529313145447279492357123377/94217736709883727399115779377" ] } } } } }, "right": { "kind": "excluded", "component": 1, "bound": [ "1/2", "77616781310798966/42739099682215483" ] } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-1", "-1/2" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-3/4", "-3/8" ] }, "right": { "kind": "excluded", "component": 1, "bound": [ "15847533983425616321160188623/146753694257745791627034624000", "1/2" ] } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-11/16", "-3/16" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 1, "bound": [ "2360148692788440933771322343893/104875488654787979191949197312000", "3461601554500359306625397/9669621339031942987776000" ] }, "right": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 0, "bound": [ "-19/64", "-11/256" ] }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-63/256", "-23/256" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 0, "bound": [ "-19/128", "-15/1024" ] }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-123/1024", "-39/1024" ] }, "right": { "kind": "excluded", "component": 1, "bound": [ "48227275074957018088171/2487305589722682753024000", "209854906370070784276421703013627581/2761166113802723804834483001073074176" ] } } } } }, "right": { "kind": "excluded", "component": 1, "bound": [ "125955574753790854120171/2487305589722682753024000", "9580630525137591596298566951/35157723317059329263140864000" ] } } } } } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-42739099682215483/31445672214528000", "-7613827669962299843/23473340597403648000" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-495856554585862735104207/887836252840099053568000", "-1745492520611387843/23473340597403648000" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-3/16", "-3/128" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-23/256", "-3/512" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 1, "bound": [ "8741007283594885272159079255862030504626842013/1364168066931382222119966057821188990160601088000", "1188675054064068157/23473340597403648000" ] }, "right": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-91/4096", "-7/8192" ] }, "right": { "kind": "excluded", "component": 1, "bound": [ "30373760743286943969537529629536911951831047704936391097/3969017344222740857014233585862280424191261579837177856000", "1268565961651024880462720945543610882644221/57576839865419415950701306623103405654016000" ] } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-231/16384", "-111/32768" ] }, "right": { "kind": "excluded", "component": 1, "bound": [ "2925154754121929045513227462246115617131647454645202201/6595672756471110279095840336727505122158914053037919043584", "1190879996811313095026916711672526504736976341961809/155615348464107413965675429899084792349364387315712000" ] } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 0, "bound": [ "-655/65536", "-347/262144" ] }, "right": { "kind": "excluded", "component": 1, "bound": [ "-8313121201850041184306707012176400708379161/1226368092236689272661359788770082345189376000", "-6983740480166445559950573992390929614044746389808643148005413/5758202863831256873471959957872207192984981353054057684533248000" ] } }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-111/32768", "-367/524288" ] }, "right": { "kind": "excluded", "component": 1, "bound": [ "209675816933923417891115501385281447383738168690210323013267195937300047/354003792750832309996766028742855017073014999114624650750152604727115776000", "49086355371391469484361279937081005837554377088043/20481483945555273495706439245685990237458238657265664" ] } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 0, "bound": [ "-2471/1048576", "-771/4194304" ] }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 0, "bound": [ "-7719/4194304", "-2079/4194304" ] }, "right": { "kind": "covered", "root": 1 } } }, "right": { "kind": "covered", "root": 1 } } }, "right": { "kind": "excluded", "component": 1, "bound": [ "617432433126809705996932733951110534281646834147110424414918520513/834039442019696973152680370502760251540953996460187503594508910592000", "89089253702554113030662919088811455520089999465515/20481483945555273495706439245685990237458238657265664" ] } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-2313739308467275631652576550386001985368763132685740187020606285311487/1132957470731854844767135790804021385658193940109879752220966846988288000", "-1360495495956233769450613096031352277145350537216789940453413/5758202863831256873471959957872207192984981353054057684533248000" ] }, "right": { "kind": "excluded", "component": 0, "bound": [ "349/1048576", "3173/1048576" ] } }, "right": { "kind": "excluded", "component": 1, "bound": [ "-3522620841550473712973270337293266547483161/1226368092236689272661359788770082345189376000", "-38064168463035116232254448543486275164319111165158780449504407/427269760924300586232774514458899437611255130393777901223804928000" ] } }, "right": { "kind": "excluded", "component": 0, "bound": [ "261/131072", "121/16384" ] } } } } }, "right": { "kind": "excluded", "component": 1, "bound": [ "1267879518749093758360166337589867613412839/1226368092236689272661359788770082345189376000", "2406624906687152266633756007759126444966385617865809/155615348464107413965675429899084792349364387315712000" ] } } }, "right": { "kind": "excluded", "component": 0, "bound": [ "9/2048", "49/1024" ] } } } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-29759361349521683558234178893779183/457643917489340584776456497790976000", "-6320697036128273266746565972843309273937/932441736092777177828186035222669688832000" ] }, "right": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "split", "axis": 0, "left": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-39037473673982541044892152899971044171897763156920034179570719/3862218498778411206450414269643004545665799840829188348051456000", "-2678346504515862415855214272754755801937/932441736092777177828186035222669688832000" ] }, "right": { "kind": "excluded", "component": 0, "bound": [ "49/65536", "757/65536" ] } }, "right": { "kind": "excluded", "component": 1, "bound": [ "-105684581770953901022643171372748019831054375615128541/7857922845938756069055047546388734790385835941298176000", "-655357072635734385972264097625140114161512198586014071249/285555409354424817486326139268259786639422445639430045696000" ] } }, "right": { "kind": "excluded", "component": 0, "bound": [ "121/16384", "477/16384" ] } }, "right": { "kind": "excluded", "component": 0, "bound": [ "41/16384", "77/2048" ] } }, "right": { "kind": "excluded", "component": 0, "bound": [ "85/4096", "265/4096" ] } }, "right": { "kind": "excluded", "component": 0, "bound": [ "45/4096", "21/256" ] } } } } }, "right": { "kind": "excluded", "component": 1, "bound": [ "-5131442286776575860339385506427/27869646268804157276929268908032", "-23292835380962894593138308241233/9216386221227200810356798652416000" ] } }, "right": { "kind": "excluded", "component": 0, "bound": [ "1/64", "25/64" ] } }, "right": { "kind": "split", "axis": 1, "left": { "kind": "excluded", "component": 1, "bound": [ "-273897491375837971712207/887836252840099053568000", "-109103096135596250980637516573/1845358581465810074363737669632" ] }, "right": { "kind": "excluded", "component": 0, "bound": [ "5/32", "9/16" ] } } } }, "right": { "kind": "excluded", "component": 1, "bound": [ "-27016263574951483/31445672214528000", "-7845791267699739600289/134116071003186528256000" ] } } } }, "right": { "kind": "split", "axis": 0, "left": { "kind": "excluded", "component": 1, "bound": [ "436868773469126198248171/2487305589722682753024000", "3/2" ] }, "right": { "kind": "excluded", "component": 0, "bound": [ "1/4", "4" ] } } } } }