* [misc]progress: [Phase 1 of 3] Setting up. * * * [misc]progress: [1/2] Preparing points * * * * [misc]points: Sampling 256 additional inputs, on iter 0 have 0 / 256 * * * * [misc]points: Computing exacts on every 16 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 8 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 4 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 2 of 256 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 256 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 256 points with exact outputs * * * [misc]progress: [2/2] Setting up program. * [misc]progress: [Phase 2 of 3] Improving. * [enter]simplify: Simplifying (+ (+ (+ (+ e d) c) b) a) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (19 enodes) * * [misc]simplify: iters left: 4 (55 enodes) * * [misc]simplify: iters left: 3 (138 enodes) * * [misc]simplify: iters left: 2 (262 enodes) * * [misc]simplify: iters left: 1 (279 enodes) * [exit]simplify: Simplified to (+ (+ e c) (+ a (+ d b))) * * [misc]progress: iteration 1 / 4 * * * [misc]progress: picking best candidate "ALT DATA: "{"picked-error":0.39291000976844204,"picked":"(λ (a b c d e) (+ (+ (+ (+ e d) c) b) a))","all-alts":["#"],"best-fresh-alt-per-point":[[[1.9257834707115566,3.368263505995759,5.934750075028325,14.342099226534257,19.304334139915376],0,0],[[1.3534958503288808,3.9172616613117954,5.825919376345193,14.890532383288543,24.580811520740138],0,0],[[1.2141317797007076,2.425028049458435,4.555566284482536,14.43021537498107,22.669445806822036],0,0],[[1.4557098117228904,2.8467483827068927,5.739315248752577,12.954474924821158,22.510983068882876],0,0],[[1.9037831524478979,2.885663931470443,7.22770120530255,12.87268213546905,24.993603963504853],0,1.0],[[1.375435189218526,3.643070018472119,7.0936331411383735,14.520810061795268,25.230510376531583],0,0],[[1.1739279543301229,3.6672618211224974,4.001098599194052,15.046029021428454,23.47072915971493],0,0],[[1.3536612782001165,2.1064604280781416,7.192627040559981,10.924096209552305,30.773234472063617],0,1.0],[[1.1470005317956913,3.842265017956333,7.810788133182103,9.321022503799913,21.41888527971015],0,0],[[1.2447666544691511,2.937465007519111,5.745700466647576,15.894805202501994,28.5861733333806],0,0],[[1.904207155538909,3.8625078156354915,4.3336293816297315,13.187554063924972,28.348500887355737],0,0],[[1.3324003339562636,2.946225387511531,7.6722919103353195,11.019144252616561,31.381963611014026],0,0],[[1.9314218447214564,3.3261060753676865,7.175124924876517,15.767845802572728,24.32516204120226],0,1.0],[[1.0545049579263077,2.2328537496462584,4.346624787035801,10.190294535685418,17.003856398989537],0,1.0],[[1.8189811509009612,2.909683580326722,6.502682996966781,11.97854327398109,17.792399679637953],0,0],[[1.2101797011200446,3.7064021786131605,5.953167473022258,11.576932552310062,19.057575101102604],0,0],[[1.6978124433508501,2.493802697807867,5.886700624627023,14.471420707904977,22.329319974843834],0,1.0],[[1.9136114399835948,2.9922872926515796,6.210398017410254,14.634631737753692,31.570060093951117],0,1.0],[[1.6785570580840572,2.8241651945065023,5.993178796418042,12.431479253132524,24.418358949084997],0,1.0],[[1.7573516911534708,3.9672152314684377,5.387155345698913,14.531693142276744,23.29375873448125],0,1.0],[[1.9214843487020838,2.8134498390141776,6.640303201347785,8.1255116129583,25.75834523435767],0,0],[[1.2669406228059863,3.2377868977261626,4.931247678920315,8.678994972688136,31.05697527353339],0,1.0],[[1.9525315321589918,3.2676789224434377,4.153143209197231,9.264963343914784,27.508003859903386],0,0],[[1.8356177131071665,3.9531409617507123,7.152570467815998,10.928177754095444,25.863450581505937],0,0],[[1.0367305498620942,2.512305314323882,4.547195766103069,11.012361618473342,23.35175156021746],0,0],[[1.2919580440317593,3.3803422444045346,5.053877372415087,9.788205726331132,22.99439339346845],0,0],[[1.8243103990663416,3.6733931513570766,6.519692448429601,15.007908426491621,29.536147022295786],0,1.0],[[1.6315088995535614,3.2196140279883427,7.238154328515397,9.091404944289938,23.72264009548924],0,1.0],[[1.5457298081744761,2.91793215266353,5.5276837820563305,10.325385280264147,17.592017914886952],0,1.0],[[1.6022979313835681,3.116466750785373,7.790382580500696,12.882058319278526,28.985809377522298],0,0],[[1.3918664539304924,2.6389814420697704,4.582161207745497,13.045877175257774,28.162481898319633],0,0],[[1.0815058820710182,2.1647103451505925,4.00978851049938,11.905642415903406,19.05773740494876],0,1.0],[[1.707444307298335,2.1204072687078375,7.628704648721618,14.682239103364484,24.875948666733628],0,1.0],[[1.4223836564294985,3.557047757978706,5.806239763351867,12.27537392071754,30.9707541376337],0,0],[[1.1287554885808906,2.4128961660460346,4.561359832392272,12.566530306357592,17.62740792055563],0,0],[[1.9144915183779767,3.5222314706551945,6.392623560073285,13.440443475249735,28.04172495680409],0,0],[[1.6795792592267322,2.4763156620972064,7.697075635565916,15.208279875486856,18.31662664588814],0,0],[[1.3988893594097458,3.198330282539078,6.659266222648777,14.407621188317611,27.830261088068116],0,1.0],[[1.4115651715150455,3.762444152463181,4.43480205404124,11.552226155488917,27.056506347742975],0,0],[[1.5350692747864991,3.8481284414713253,6.308283820679315,9.352537636753375,31.71465060295024],0,0],[[1.5180372063436383,2.396400840443101,4.557994703128576,13.25631258426803,25.893919521750405],0,0],[[1.9389706694546618,3.9497316631720434,7.076239620814751,14.190312684459817,16.692498302458382],0,1.0],[[1.9113704453516167,3.79781211918535,5.505460334742117,12.575828980222074,31.968574446627255],0,0],[[1.4246137163009571,2.23106846599424,5.826142534599041,13.595402405715257,23.58040863085801],0,0],[[1.526508943595961,2.425816235025804,5.452305689455167,10.085498971152996,17.457739619048983],0,1.0],[[1.2749472826077388,3.9556805370682664,7.912479014085126,9.928200656001678,20.181690611577334],0,0],[[1.1158162246205146,2.7909089894413426,4.585680895869426,8.157947974459171,23.8451950163658],0,1.0],[[1.1530246653686016,3.5415847969820025,6.66622610645117,12.917698620378262,22.776562095466396],0,0],[[1.9304300486470376,2.565350161836638,4.738963181937647,13.082849680888565,22.895155697546706],0,1.0],[[1.1057693224874954,3.3905127787349736,5.928383662578095,13.144779002437634,19.46017982864894],0,0],[[1.329653206010815,3.5569950516238285,4.852729608511894,9.089778303521278,18.729534735203494],0,0],[[1.382980094439643,3.9158788721914126,7.705174070975637,10.570569505341137,25.53447382088503],0,0],[[1.8640481480015636,3.6762905202478167,4.9533672306464815,8.794784363908166,24.9665328337737],0,1.0],[[1.8535235731789914,2.6246415748208833,6.084363195291758,8.023528113415491,20.478173839697657],0,0],[[1.1529871901621358,3.3418675693658315,6.701917316556545,13.569352133313316,22.5964846619994],0,0],[[1.487128345794504,3.0450990163949,7.822731839423166,14.347956336284005,28.74577255817946],0,0],[[1.1402215420196504,2.5301411346700524,7.099705805945783,10.912424051916515,29.724426331069047],0,0],[[1.1520049090585462,3.2046137703998845,4.86381259274781,11.651614647060502,27.98638723166021],0,1.0],[[1.30093864173351,3.0972858937630035,7.576658373407655,13.43475084105694,18.26625382978514],0,0],[[1.5249962244425008,3.082096845147834,5.354449069731499,11.712051735934802,22.32964349966008],0,0],[[1.1734971814091142,3.512179309503235,7.359751185680316,12.630891501367621,20.84779186226914],0,1.0],[[1.3182507244096409,2.5491994850462847,4.1943893462457496,8.65095034233654,25.592243131144674],0,1.0],[[1.658351949862063,3.8463442902322185,6.69910711716358,10.77448739094034,18.237635066776807],0,0],[[1.9978538480794554,3.6897954017687873,5.6358386816211485,12.144328034483394,27.136638183647737],0,1.0],[[1.8578726677107753,2.5480301340114884,4.7017953299117154,9.221006824713445,23.306838143412374],0,0],[[1.6423092432795663,3.0276439091601866,7.712233084778197,9.961054120847779,16.09224467846888],0,1.0],[[1.1284433082085943,3.8006716942831917,7.402457852039398,14.253571628421387,23.038329015488152],0,0],[[1.2219902992793448,2.1546647986732093,5.401949350996764,14.926776592957875,23.19808318357382],0,0],[[1.014542221873299,3.889755886051321,7.520398266349375,12.606812309028017,16.37505826217241],0,1.0],[[1.1056848120958696,2.209637243398181,7.195690135786653,14.088278447215169,17.405869612686654],0,1.0],[[1.3627496185415326,3.7083889787687867,4.382048098378275,8.06823821664108,17.93236245109638],0,0],[[1.198580772692789,3.610643141222481,4.880905118460239,15.45141405809678,31.240231065368352],0,0],[[1.010192764946809,2.2760656469547085,7.915432604873544,14.43478898384394,27.672612747802148],0,0],[[1.8084645041200937,3.3161438368223397,5.414344774176539,14.895844096749903,26.313628817776017],0,1.0],[[1.6565583659043104,3.2456448574679113,7.698396954360486,9.205205841657056,31.590055719108538],0,0],[[1.5343369053799405,2.255129438016024,7.239547360393124,12.045626777673146,29.0950663541348],0,1.0],[[1.8405960360074003,3.7384650534041453,5.273342571104295,10.939937642585468,29.510902249040296],0,0],[[1.4223233192557505,3.2985496359334303,6.2663156032596135,10.008435583358805,16.08123620482443],0,1.0],[[1.0645165873189415,3.778736729783608,5.929480609427636,8.268465589535403,16.51510786159219],0,0],[[1.692216853166462,2.1195399895362987,4.231813082693013,11.311640803038053,29.734672626841704],0,1.0],[[1.3832171284993928,2.0716281074293823,5.02422677775382,8.927325004101014,18.067250460659448],0,1.0],[[1.0944567275449077,2.936671893064031,4.937419463164239,8.481205650007166,23.105999669511768],0,0],[[1.7620811473815958,2.9214002625911575,6.342793039871561,15.797367030080878,19.27942777289345],0,1.0],[[1.4290325674886017,3.061681687624962,4.995113987207043,9.64865370855001,17.25852875761969],0,0],[[1.4478614470701205,2.076076437447739,7.82167073627509,13.762258672102112,26.82727355416114],0,0],[[1.8346289353478005,2.8687728928033347,5.768496257339048,15.418122048255432,28.122021197049865],0,0],[[1.8695149847333867,3.355410873074197,6.015387066354188,8.211869718944682,20.072006297362012],0,0],[[1.7345663406656624,3.342065970266326,7.409934865357022,11.502825875231457,18.744839707716544],0,1.0],[[1.0444695532549502,2.0679036267498643,7.475937592038594,8.651111201172194,23.916515157669103],0,1.0],[[1.5832259211294484,2.41849961870659,7.819318819373105,15.07249095643567,22.3590403664506],0,1.0],[[1.7416823632670568,3.040848986802578,6.6310700889112075,15.655548864246366,17.935432331769647],0,1.0],[[1.5506239923066532,2.820752782947903,5.962445609590658,11.615657248442295,28.98088637497182],0,1.0],[[1.0983393587341994,2.2689478902874676,5.032299747735807,10.544157955281744,24.969719378599002],0,1.0],[[1.3312140233148604,3.438746647582619,6.520264713830452,9.76334015063006,20.73895610615334],0,0],[[1.0742467158338578,3.1843140595278245,5.471844208054219,14.238423205474797,20.890604878267467],0,0],[[1.5207359563676675,2.6434801783867425,7.314333482119507,15.399517634847069,27.050380958069482],0,1.0],[[1.954739680277675,3.60050698248439,7.010381606978143,9.85060370486041,19.654820914648234],0,0],[[1.0020775833563418,2.292649970205557,7.968897710275408,14.646983262367609,26.04811508253787],0,1.0],[[1.7966029218022954,3.4215391179951666,5.909745029633428,10.877923845566109,20.370178776639627],0,0],[[1.1840454098344184,2.184972391755969,5.2775078914436655,12.954339281720385,19.577009773716846],0,0],[[1.2614865031253868,2.3552601257984653,6.532692577070108,14.446493808018563,18.65028418134224],0,1.0],[[1.3001833954467459,3.760938603548036,6.158328282681444,15.300786216576624,17.610201744317397],0,0],[[1.7913556878756507,2.447307151095571,6.497760565514148,11.04583946407327,19.972950108881832],0,0],[[1.264916015314884,2.249862019406946,6.116930521896524,11.457507757061414,26.87647601727071],0,1.0],[[1.0234454087253102,3.015985909179964,4.723773288217924,14.03209077784925,31.710964503595026],0,1.0],[[1.7799000476476663,3.3070559258311234,4.300651930898346,8.553724497488226,22.09610015104848],0,1.0],[[1.751444222421902,3.8389128312738285,7.904580877677543,13.09520650742692,23.421930016277702],0,1.0],[[1.1960375901193632,2.0575089538883815,6.953414189008775,11.066361359879858,23.907871616496468],0,0],[[1.7480154505600773,2.244706311242877,7.088406131337824,9.979621058379788,21.628905003359744],0,0],[[1.4163820040493382,2.958734414491916,6.10832884507833,14.553138640374536,19.8979834538603],0,0],[[1.50927119672355,2.641883743091466,6.574495259256469,11.541791751157115,27.05590849410113],0,1.5849625007211563],[[1.9666869652473382,2.4629916946694825,7.085139193087572,9.038770468477269,19.73837772389981],0,0],[[1.697086602295325,3.197880102453852,7.903222931290223,11.869040274907565,18.54456442765357],0,0],[[1.0259086385599931,3.936025933966202,5.4072843277805855,12.39182098407069,19.558785042483564],0,1.0],[[1.635268431612328,2.028091902374862,5.0541157167756126,9.311578279681113,19.75028194435529],0,0],[[1.1975596067645975,3.4101796369734063,5.685236967123665,10.108318363370485,19.392381574035895],0,0],[[1.1809034635499913,2.0381482604658396,4.64289514574123,15.977494491529745,20.421366225074912],0,1.0],[[1.1069655189227814,2.079596440416906,4.41959163051527,14.098521209944465,24.28441101875052],0,0],[[1.7904089499461213,3.1047898381780357,5.514247557182777,10.301929844649674,24.58528637534512],0,0],[[1.418506362574638,3.9293801844851357,6.884375653162762,13.921036917767813,23.27344263005875],0,0],[[1.7350682849936938,2.878073246586493,6.997607130199912,13.088860502915235,22.40295679164084],0,0],[[1.8637708227264977,2.956282421415257,7.798550660796264,12.13824451661397,19.81180804203863],0,1.0],[[1.6418949572077435,2.316041878811471,4.422829700016194,11.864977488328236,31.841532352488056],0,1.0],[[1.2414477989450163,2.164667366665647,6.628221104205399,12.879532232968472,30.243763406943362],0,0],[[1.082704451820939,2.1343392479164462,6.433151211458631,13.9313120246886,17.68445009551157],0,1.0],[[1.7864680885524078,3.9812936317650727,7.917802856013305,14.923653983169974,24.05538570275645],0,0],[[1.0276452396321418,3.7727643666239965,6.477212911767323,11.943299290827216,26.54893703265606],0,0],[[1.790917391040971,2.1619983034294576,4.190494332161416,8.431332885612466,22.153785449792004],0,0],[[1.5395320922073301,3.7866405891001444,7.687543119689135,11.999833036019437,17.824469145837774],0,0],[[1.0505569445252407,3.1803337409638073,4.212189794006734,8.416522345270712,25.503620880965435],0,1.0],[[1.4313717895270317,3.688240310814176,6.645598515494626,12.175756004185784,21.801005770644206],0,0],[[1.1720938478122107,3.413541211109333,5.4223029224205135,10.151274020815878,21.22368307119063],0,1.0],[[1.6542225582083965,3.0104613863502228,6.18709071195866,8.139290224313822,23.111998390412435],0,0],[[1.8775141069586228,2.85732899151728,7.694180829484018,12.132145526194316,19.195484904457825],0,0],[[1.4213207945586621,2.111702938225097,7.524613831117578,12.16813312964186,28.882533322460457],0,0],[[1.4429117031112961,3.192571298850193,6.294035176909326,12.014179275894888,21.774518923094888],0,0],[[1.0885833434752197,3.878135503536098,7.921833009854493,9.121989963578258,30.108685719109715],0,1.0],[[1.9682565029220396,3.208631759267034,5.121051361182206,9.989442099012251,30.306279752785045],0,0],[[1.3830830745992562,3.190016457754504,5.9974182208880364,11.493129179831739,28.45129082735011],0,1.0],[[1.5241662059775276,2.804808785043695,7.590403777006125,15.430694365238377,21.16932037256855],0,1.0],[[1.1554855542892817,3.6381936012691014,5.218331020255805,10.334294170882085,23.431612085236342],0,1.0],[[1.7963362023106855,3.6854773163417978,4.946850152401453,15.095902983408255,18.979351442340906],0,0],[[1.7713075517395294,3.2224435232065307,4.219350223230088,13.028610100834353,24.18487953687889],0,0],[[1.1874929396325633,2.6284936985187977,5.926087731115089,15.062929822356407,18.408587320413385],0,1.0],[[1.8545791540728453,2.624102983827515,7.687650068066404,15.370825871511629,26.598736768939332],0,1.0],[[1.9656596811895701,3.168437796200283,5.500930148906632,10.641798790271208,18.41846262004709],0,0],[[1.734644687907039,2.964466191101544,6.567010139605813,12.895924570987287,26.799328524842558],0,1.0],[[1.185100374961356,3.507598450927707,6.674573925942723,14.222137727518215,21.500986250976215],0,0],[[1.4938616359743078,2.661821839043142,4.846347329613819,15.194967990308285,25.952409777604263],0,1.0],[[1.6815849930900348,3.892339299843908,5.367602290109155,12.526774330260588,18.116442647442693],0,0],[[1.8030546441954611,2.3074096487875977,4.146771056332362,11.370610602862664,25.695486657177646],0,0],[[1.604708943184748,3.6601728953931314,5.131550498420716,10.077881537135315,16.743017825735418],0,0],[[1.7034022918912044,2.4799030906918964,7.76216360972586,10.98307421250943,26.940546740685928],0,0],[[1.7373096607666172,3.0172217502102363,6.205951420942068,9.260405993190432,25.146600881099715],0,1.0],[[1.2560839825346746,3.704811516454383,7.266249741823106,9.726806076050375,24.94493239018019],0,0],[[1.4136629002536305,3.4089566660418114,4.885602508393141,9.301848143945795,16.99530855844929],0,1.0],[[1.1144677478930347,2.1792269219554212,5.35447533603981,11.952950718275513,30.00516284014496],0,0],[[1.3349837803956077,3.0448284217640973,5.785705306458489,13.91283444840717,19.678283264626987],0,0],[[1.339447895138596,3.0270994764886625,4.9004613641074934,15.941324665498396,20.179843036431503],0,0],[[1.1174363916009296,2.9394961582024597,5.037306135785831,8.955038383567361,19.780115159088034],0,1.0],[[1.8705726417682145,2.456998958061208,4.613110854340877,8.856111894422526,31.00001072762261],0,1.0],[[1.492138569065318,3.0789812275103925,6.271595653565364,8.231001342362568,25.25622550428484],0,1.0],[[1.4038185129973981,2.5501991304992453,5.209273217537368,15.203957426103756,16.243292989944283],0,0],[[1.64258427624375,2.4829197027361327,6.817195034961482,8.483740192213231,31.70758636617167],0,0],[[1.88062404289426,2.129213643171391,5.921126467024127,8.301041885201883,20.24720106913232],0,0],[[1.258802065753241,2.225407930389685,7.901367130287364,15.08919874425834,17.927648765215636],0,0],[[1.8548033823524286,3.091371999767012,4.020350780902633,13.584446785946955,18.47397860406758],0,0],[[1.9367016985472518,2.9404768427822083,4.969246845499763,10.908127916807793,18.863607229113597],0,0],[[1.0061065105769997,3.8854861017271864,6.450766181686377,13.555715240400138,31.33648727069314],0,0],[[1.7328925573224616,2.5708887313681865,4.7827441063744445,13.736800912414353,23.637795573162354],0,0],[[1.7074499099147926,2.8232521483561883,4.525244000226985,9.191064820763847,19.51490622872347],0,0],[[1.6217751012232449,3.7159580103731424,6.857438184303103,8.385827982873888,25.999195145476435],0,1.0],[[1.2612297609782566,3.3560483745168534,4.129392524836477,8.25109215635609,25.412331798026813],0,1.0],[[1.160236320413187,3.9564294305858994,5.464825702440852,9.52729785243758,24.166761243394397],0,1.0],[[1.8845250500444528,3.1392141474064674,6.978524637240025,11.763619500066802,17.49134070212647],0,1.0],[[1.1842772577574523,2.1088248747393195,6.7904755031799615,14.844713726629108,30.25013350126924],0,0],[[1.001040902047465,3.3713772763482672,7.502949914280242,9.789343832565079,19.56193371478559],0,1.0],[[1.3678692817468943,3.6641000476249004,5.346353337446603,13.312989117174176,18.781973678039527],0,1.0],[[1.939083594666982,2.699404948218728,7.5106653544660515,13.78507137592827,19.325550918850045],0,0],[[1.2849223260547082,2.90709623563854,6.991198734085715,10.564702855519878,28.124989989940925],0,0],[[1.1619349296847314,3.0654547394781635,6.667790373658335,14.007243415863215,21.03163940144961],0,0],[[1.8889744680811895,2.6943813254273303,5.769184803481744,14.21783486205424,20.354144840531866],0,1.0],[[1.9193981561136284,3.4882876694249902,6.934545325386483,11.123965961142375,30.66727530149317],0,0],[[1.2065871431535173,2.3415915821748507,5.486687487459765,8.81618172534191,29.516530674707305],0,0],[[1.908642183899561,3.672599438204438,4.585904374095846,14.263239745772225,21.488445350291173],0,0],[[1.6676273637050543,3.9493208843227676,7.9845037334533435,11.603079488523596,18.037392022055972],0,1.0],[[1.024886781895042,3.2771592097769013,7.416342460079612,14.411416274986179,31.416467743309255],0,1.0],[[1.5130562383744317,2.965187420427261,5.364077964907294,15.982464639066354,31.899393564975384],0,0],[[1.9385413700841612,3.0207466081496324,4.781469730370991,14.208284185889958,22.00192977876636],0,0],[[1.725553612597273,2.2865807871158785,6.97752187123615,9.712190267576412,28.81257775658295],0,1.0],[[1.5820774341756638,2.675925346651748,6.370938614163275,13.022364309581514,21.588175189467574],0,0],[[1.1275414779665272,2.0192533032357205,6.789128297428266,15.815894053687106,25.30680679972276],0,1.0],[[1.7532281303307815,2.841573102951933,7.206310210722403,8.115547662400315,22.199957810612997],0,1.0],[[1.690890834271005,3.8371705572776538,5.988671541363191,9.248077167541702,19.980908549412067],0,0],[[1.3964488685482028,2.8112112729022227,6.397522897802625,15.709970241782152,31.583294056016246],0,0],[[1.6529196776976371,3.162910654725743,7.889940846874958,14.787904857486065,27.780599686522574],0,0],[[1.7455988569028986,2.1662146442708,4.963518219275746,11.407083420313679,18.12664376120566],0,1.0],[[1.2556640458165245,3.95745207770971,7.8624236677180175,12.720785230656581,28.469383762058992],0,0],[[1.4086603828511128,2.962314505644017,7.653384703026447,15.247604983023278,27.3498989948039],0,0],[[1.4852570527467719,2.4257410277298854,5.525410780355709,10.583061705122654,30.25072884867044],0,0],[[1.1986403693555305,3.8874715418284813,6.123624795032892,13.282177302159397,24.99164553567346],0,0],[[1.012680944035703,2.244869123499769,6.567240605863315,13.253121844967206,28.963125120370904],0,1.0],[[1.552375568888227,2.934717594275834,5.399184702710112,14.149060843750837,16.074217819834228],0,0],[[1.904251063678154,2.596546175314881,6.870726446266712,11.564431266253694,17.29644056264155],0,1.0],[[1.310422567293422,2.8578058930647456,7.102508533906359,9.1838792917607,29.08451082530003],0,0],[[1.5884340143746025,3.11913264314165,6.378010856499269,15.734604931865906,24.73300276705555],0,0],[[1.4045122602196112,2.543820975519252,6.279793350226951,10.029814216028573,21.646341800071585],0,0],[[1.4619241450933445,2.839688988473425,7.123828144417298,8.664096467787413,27.765281490998557],0,1.0],[[1.195032454337299,3.4432630741181702,5.784713285829687,10.557585032133446,19.925920013907934],0,1.0],[[1.1788692182319027,2.5931230484453396,4.064599181327585,13.589523691134557,21.233626473508266],0,1.0],[[1.4005706100857913,2.9900039912867147,4.83260064562998,11.91393002370113,17.354833021331714],0,0],[[1.740309680328907,3.879054017651886,6.017940215867386,11.740183942235012,22.517074964083804],0,0],[[1.7696215621090219,3.8289489382975046,4.898545676443691,13.414794027174693,18.179973100550416],0,1.0],[[1.059522128903265,3.2593112316876915,7.788347213618128,11.253226418290966,19.1909697842331],0,1.0],[[1.7906758264795066,2.481783233500936,4.684727207431491,13.93997212866407,28.962128905706326],0,0],[[1.743813487690879,2.2338460494798857,7.856566142664638,13.994174141689799,30.039486941821167],0,0],[[1.5650289706133769,2.5323375438052977,4.046394430581515,15.728418218993834,17.32859846600117],0,0],[[1.5256175650150565,3.8462004874163416,7.137864309041115,8.509213380511403,21.513951059633715],0,1.0],[[1.212957224178461,3.231717899913033,7.61090761299677,13.370998447856707,29.428850294387903],0,0],[[1.3871850471972036,3.6455274082750644,6.576910526419866,13.416443049727354,16.609921679461387],0,1.0],[[1.1039654003981623,2.5355984411933274,4.1918391141155,9.188938695297296,25.936972371645986],0,0],[[1.46072227741575,2.2670463491270305,4.460803747452751,8.265639804988954,19.277653545172427],0,0],[[1.261649578926264,3.547739478695582,4.843272952102605,12.224293471834683,29.757960954663567],0,0],[[1.640373034079099,3.2442060169165354,4.5976312991468955,8.47296549246609,16.148682511903306],0,0],[[1.4867526044813846,2.814803704497023,7.270306531374746,13.128982510409159,28.613790827275718],0,0],[[1.1390846623674824,2.526823090953671,4.744856738387793,12.688757962102423,16.955085187710267],0,0],[[1.5180099471787416,3.0000354725729768,6.387340822081892,9.900031013491724,16.745315930373106],0,1.0],[[1.537616997143898,2.288142255342037,7.323150319043264,10.391880127565527,19.826274678068316],0,1.0],[[1.209282648238078,2.099791140225423,7.721589323062902,10.745561405490069,30.568009156266886],0,0],[[1.0575993930693206,3.6567979163413433,5.358365992453626,9.374118535257669,20.06782952593714],0,0],[[1.226057729329997,3.5958130701825812,5.1960949379604,12.993548285847986,22.686732697643166],0,0],[[1.783873003752015,3.787691802603664,6.048259991249166,15.629204391255122,20.37909292779415],0,0],[[1.0772259819387449,2.699770417272814,5.640344679700483,9.929396501156369,17.50968939226346],0,0],[[1.0133688103073049,2.143174124437997,6.412258187036718,14.39983481653042,20.442724450377668],0,1.0],[[1.8273368223722417,3.1672559156464626,4.787632303293809,9.165203329958421,26.85752784953535],0,0],[[1.5503926324158719,2.5851051368526896,6.026096953963835,14.954708856709372,21.173732895411696],0,0],[[1.16371726883823,3.7591443610808817,4.311191701443935,9.92010784019686,20.728679064605696],0,0],[[1.6276312043200527,2.074862392053011,7.079553544080472,13.33360556589487,19.078872650082396],0,1.0],[[1.2885295892590132,2.82278340744802,5.678469878705315,13.821971764050065,16.398753647903984],0,0],[[1.728751825478262,3.2345422006297344,5.35024685678762,12.011608409259422,25.392527245814595],0,0],[[1.8181770548172935,2.826717578203473,7.3394763631844855,8.19178559765858,17.17893363084429],0,0],[[1.923225846613937,3.0356986182594667,4.173955399176425,9.57704267261349,17.346416914251883],0,0],[[1.6317888135672205,2.103950261720082,4.622118307670951,12.235758705612348,23.325125570813988],0,0],[[1.2912292023555212,3.08486734806649,6.591462992902859,14.768212281224796,17.13224089195473],0,1.0],[[1.8684895263130745,3.872929580887303,7.436633718009549,10.24850405404708,25.530317997423996],0,0],[[1.2245749992909798,3.253154828178929,4.34170505984729,9.1425506906184,30.0376854140342],0,0],[[1.6441569631978417,3.0919102067901543,5.502765579356703,13.948540783122388,29.64769425881691],0,0],[[1.7910577364153941,2.775298922174118,4.9789213752117885,10.486474930681624,24.563454067738252],0,0],[[1.5012724310187346,3.519707846912609,6.28167287474784,9.236691742550953,30.75875381462671],0,0],[[1.6904468917391748,2.2789793399082723,6.309553237708271,15.645807853487446,26.95739284685912],0,1.0],[[1.1376410926943676,3.2189049197222417,7.7314453429117,14.145788260820064,30.803393712299993],0,1.0],[[1.411099997540773,2.9533159971302463,6.683873236294996,13.783196452264997,29.6040300882034],0,1.0],[[1.1062716938037434,3.474904820796393,6.459609025421999,9.832891270720825,20.296129995944316],0,1.0],[[1.9580174258082106,2.613629879637921,6.152031665307752,11.67008614130206,16.75228264401369],0,1.0],[[1.19669623485452,2.846482580744838,5.266205903490924,12.698545244562629,18.564864821818215],0,1.0],[[1.2686578635144556,3.120844608071857,5.651753403364154,15.025639623475444,23.419345450959067],0,0]],"best-alt-per-point":[[[1.9257834707115566,3.368263505995759,5.934750075028325,14.342099226534257,19.304334139915376],0,0],[[1.3534958503288808,3.9172616613117954,5.825919376345193,14.890532383288543,24.580811520740138],0,0],[[1.2141317797007076,2.425028049458435,4.555566284482536,14.43021537498107,22.669445806822036],0,0],[[1.4557098117228904,2.8467483827068927,5.739315248752577,12.954474924821158,22.510983068882876],0,0],[[1.9037831524478979,2.885663931470443,7.22770120530255,12.87268213546905,24.993603963504853],0,1.0],[[1.375435189218526,3.643070018472119,7.0936331411383735,14.520810061795268,25.230510376531583],0,0],[[1.1739279543301229,3.6672618211224974,4.001098599194052,15.046029021428454,23.47072915971493],0,0],[[1.3536612782001165,2.1064604280781416,7.192627040559981,10.924096209552305,30.773234472063617],0,1.0],[[1.1470005317956913,3.842265017956333,7.810788133182103,9.321022503799913,21.41888527971015],0,0],[[1.2447666544691511,2.937465007519111,5.745700466647576,15.894805202501994,28.5861733333806],0,0],[[1.904207155538909,3.8625078156354915,4.3336293816297315,13.187554063924972,28.348500887355737],0,0],[[1.3324003339562636,2.946225387511531,7.6722919103353195,11.019144252616561,31.381963611014026],0,0],[[1.9314218447214564,3.3261060753676865,7.175124924876517,15.767845802572728,24.32516204120226],0,1.0],[[1.0545049579263077,2.2328537496462584,4.346624787035801,10.190294535685418,17.003856398989537],0,1.0],[[1.8189811509009612,2.909683580326722,6.502682996966781,11.97854327398109,17.792399679637953],0,0],[[1.2101797011200446,3.7064021786131605,5.953167473022258,11.576932552310062,19.057575101102604],0,0],[[1.6978124433508501,2.493802697807867,5.886700624627023,14.471420707904977,22.329319974843834],0,1.0],[[1.9136114399835948,2.9922872926515796,6.210398017410254,14.634631737753692,31.570060093951117],0,1.0],[[1.6785570580840572,2.8241651945065023,5.993178796418042,12.431479253132524,24.418358949084997],0,1.0],[[1.7573516911534708,3.9672152314684377,5.387155345698913,14.531693142276744,23.29375873448125],0,1.0],[[1.9214843487020838,2.8134498390141776,6.640303201347785,8.1255116129583,25.75834523435767],0,0],[[1.2669406228059863,3.2377868977261626,4.931247678920315,8.678994972688136,31.05697527353339],0,1.0],[[1.9525315321589918,3.2676789224434377,4.153143209197231,9.264963343914784,27.508003859903386],0,0],[[1.8356177131071665,3.9531409617507123,7.152570467815998,10.928177754095444,25.863450581505937],0,0],[[1.0367305498620942,2.512305314323882,4.547195766103069,11.012361618473342,23.35175156021746],0,0],[[1.2919580440317593,3.3803422444045346,5.053877372415087,9.788205726331132,22.99439339346845],0,0],[[1.8243103990663416,3.6733931513570766,6.519692448429601,15.007908426491621,29.536147022295786],0,1.0],[[1.6315088995535614,3.2196140279883427,7.238154328515397,9.091404944289938,23.72264009548924],0,1.0],[[1.5457298081744761,2.91793215266353,5.5276837820563305,10.325385280264147,17.592017914886952],0,1.0],[[1.6022979313835681,3.116466750785373,7.790382580500696,12.882058319278526,28.985809377522298],0,0],[[1.3918664539304924,2.6389814420697704,4.582161207745497,13.045877175257774,28.162481898319633],0,0],[[1.0815058820710182,2.1647103451505925,4.00978851049938,11.905642415903406,19.05773740494876],0,1.0],[[1.707444307298335,2.1204072687078375,7.628704648721618,14.682239103364484,24.875948666733628],0,1.0],[[1.4223836564294985,3.557047757978706,5.806239763351867,12.27537392071754,30.9707541376337],0,0],[[1.1287554885808906,2.4128961660460346,4.561359832392272,12.566530306357592,17.62740792055563],0,0],[[1.9144915183779767,3.5222314706551945,6.392623560073285,13.440443475249735,28.04172495680409],0,0],[[1.6795792592267322,2.4763156620972064,7.697075635565916,15.208279875486856,18.31662664588814],0,0],[[1.3988893594097458,3.198330282539078,6.659266222648777,14.407621188317611,27.830261088068116],0,1.0],[[1.4115651715150455,3.762444152463181,4.43480205404124,11.552226155488917,27.056506347742975],0,0],[[1.5350692747864991,3.8481284414713253,6.308283820679315,9.352537636753375,31.71465060295024],0,0],[[1.5180372063436383,2.396400840443101,4.557994703128576,13.25631258426803,25.893919521750405],0,0],[[1.9389706694546618,3.9497316631720434,7.076239620814751,14.190312684459817,16.692498302458382],0,1.0],[[1.9113704453516167,3.79781211918535,5.505460334742117,12.575828980222074,31.968574446627255],0,0],[[1.4246137163009571,2.23106846599424,5.826142534599041,13.595402405715257,23.58040863085801],0,0],[[1.526508943595961,2.425816235025804,5.452305689455167,10.085498971152996,17.457739619048983],0,1.0],[[1.2749472826077388,3.9556805370682664,7.912479014085126,9.928200656001678,20.181690611577334],0,0],[[1.1158162246205146,2.7909089894413426,4.585680895869426,8.157947974459171,23.8451950163658],0,1.0],[[1.1530246653686016,3.5415847969820025,6.66622610645117,12.917698620378262,22.776562095466396],0,0],[[1.9304300486470376,2.565350161836638,4.738963181937647,13.082849680888565,22.895155697546706],0,1.0],[[1.1057693224874954,3.3905127787349736,5.928383662578095,13.144779002437634,19.46017982864894],0,0],[[1.329653206010815,3.5569950516238285,4.852729608511894,9.089778303521278,18.729534735203494],0,0],[[1.382980094439643,3.9158788721914126,7.705174070975637,10.570569505341137,25.53447382088503],0,0],[[1.8640481480015636,3.6762905202478167,4.9533672306464815,8.794784363908166,24.9665328337737],0,1.0],[[1.8535235731789914,2.6246415748208833,6.084363195291758,8.023528113415491,20.478173839697657],0,0],[[1.1529871901621358,3.3418675693658315,6.701917316556545,13.569352133313316,22.5964846619994],0,0],[[1.487128345794504,3.0450990163949,7.822731839423166,14.347956336284005,28.74577255817946],0,0],[[1.1402215420196504,2.5301411346700524,7.099705805945783,10.912424051916515,29.724426331069047],0,0],[[1.1520049090585462,3.2046137703998845,4.86381259274781,11.651614647060502,27.98638723166021],0,1.0],[[1.30093864173351,3.0972858937630035,7.576658373407655,13.43475084105694,18.26625382978514],0,0],[[1.5249962244425008,3.082096845147834,5.354449069731499,11.712051735934802,22.32964349966008],0,0],[[1.1734971814091142,3.512179309503235,7.359751185680316,12.630891501367621,20.84779186226914],0,1.0],[[1.3182507244096409,2.5491994850462847,4.1943893462457496,8.65095034233654,25.592243131144674],0,1.0],[[1.658351949862063,3.8463442902322185,6.69910711716358,10.77448739094034,18.237635066776807],0,0],[[1.9978538480794554,3.6897954017687873,5.6358386816211485,12.144328034483394,27.136638183647737],0,1.0],[[1.8578726677107753,2.5480301340114884,4.7017953299117154,9.221006824713445,23.306838143412374],0,0],[[1.6423092432795663,3.0276439091601866,7.712233084778197,9.961054120847779,16.09224467846888],0,1.0],[[1.1284433082085943,3.8006716942831917,7.402457852039398,14.253571628421387,23.038329015488152],0,0],[[1.2219902992793448,2.1546647986732093,5.401949350996764,14.926776592957875,23.19808318357382],0,0],[[1.014542221873299,3.889755886051321,7.520398266349375,12.606812309028017,16.37505826217241],0,1.0],[[1.1056848120958696,2.209637243398181,7.195690135786653,14.088278447215169,17.405869612686654],0,1.0],[[1.3627496185415326,3.7083889787687867,4.382048098378275,8.06823821664108,17.93236245109638],0,0],[[1.198580772692789,3.610643141222481,4.880905118460239,15.45141405809678,31.240231065368352],0,0],[[1.010192764946809,2.2760656469547085,7.915432604873544,14.43478898384394,27.672612747802148],0,0],[[1.8084645041200937,3.3161438368223397,5.414344774176539,14.895844096749903,26.313628817776017],0,1.0],[[1.6565583659043104,3.2456448574679113,7.698396954360486,9.205205841657056,31.590055719108538],0,0],[[1.5343369053799405,2.255129438016024,7.239547360393124,12.045626777673146,29.0950663541348],0,1.0],[[1.8405960360074003,3.7384650534041453,5.273342571104295,10.939937642585468,29.510902249040296],0,0],[[1.4223233192557505,3.2985496359334303,6.2663156032596135,10.008435583358805,16.08123620482443],0,1.0],[[1.0645165873189415,3.778736729783608,5.929480609427636,8.268465589535403,16.51510786159219],0,0],[[1.692216853166462,2.1195399895362987,4.231813082693013,11.311640803038053,29.734672626841704],0,1.0],[[1.3832171284993928,2.0716281074293823,5.02422677775382,8.927325004101014,18.067250460659448],0,1.0],[[1.0944567275449077,2.936671893064031,4.937419463164239,8.481205650007166,23.105999669511768],0,0],[[1.7620811473815958,2.9214002625911575,6.342793039871561,15.797367030080878,19.27942777289345],0,1.0],[[1.4290325674886017,3.061681687624962,4.995113987207043,9.64865370855001,17.25852875761969],0,0],[[1.4478614470701205,2.076076437447739,7.82167073627509,13.762258672102112,26.82727355416114],0,0],[[1.8346289353478005,2.8687728928033347,5.768496257339048,15.418122048255432,28.122021197049865],0,0],[[1.8695149847333867,3.355410873074197,6.015387066354188,8.211869718944682,20.072006297362012],0,0],[[1.7345663406656624,3.342065970266326,7.409934865357022,11.502825875231457,18.744839707716544],0,1.0],[[1.0444695532549502,2.0679036267498643,7.475937592038594,8.651111201172194,23.916515157669103],0,1.0],[[1.5832259211294484,2.41849961870659,7.819318819373105,15.07249095643567,22.3590403664506],0,1.0],[[1.7416823632670568,3.040848986802578,6.6310700889112075,15.655548864246366,17.935432331769647],0,1.0],[[1.5506239923066532,2.820752782947903,5.962445609590658,11.615657248442295,28.98088637497182],0,1.0],[[1.0983393587341994,2.2689478902874676,5.032299747735807,10.544157955281744,24.969719378599002],0,1.0],[[1.3312140233148604,3.438746647582619,6.520264713830452,9.76334015063006,20.73895610615334],0,0],[[1.0742467158338578,3.1843140595278245,5.471844208054219,14.238423205474797,20.890604878267467],0,0],[[1.5207359563676675,2.6434801783867425,7.314333482119507,15.399517634847069,27.050380958069482],0,1.0],[[1.954739680277675,3.60050698248439,7.010381606978143,9.85060370486041,19.654820914648234],0,0],[[1.0020775833563418,2.292649970205557,7.968897710275408,14.646983262367609,26.04811508253787],0,1.0],[[1.7966029218022954,3.4215391179951666,5.909745029633428,10.877923845566109,20.370178776639627],0,0],[[1.1840454098344184,2.184972391755969,5.2775078914436655,12.954339281720385,19.577009773716846],0,0],[[1.2614865031253868,2.3552601257984653,6.532692577070108,14.446493808018563,18.65028418134224],0,1.0],[[1.3001833954467459,3.760938603548036,6.158328282681444,15.300786216576624,17.610201744317397],0,0],[[1.7913556878756507,2.447307151095571,6.497760565514148,11.04583946407327,19.972950108881832],0,0],[[1.264916015314884,2.249862019406946,6.116930521896524,11.457507757061414,26.87647601727071],0,1.0],[[1.0234454087253102,3.015985909179964,4.723773288217924,14.03209077784925,31.710964503595026],0,1.0],[[1.7799000476476663,3.3070559258311234,4.300651930898346,8.553724497488226,22.09610015104848],0,1.0],[[1.751444222421902,3.8389128312738285,7.904580877677543,13.09520650742692,23.421930016277702],0,1.0],[[1.1960375901193632,2.0575089538883815,6.953414189008775,11.066361359879858,23.907871616496468],0,0],[[1.7480154505600773,2.244706311242877,7.088406131337824,9.979621058379788,21.628905003359744],0,0],[[1.4163820040493382,2.958734414491916,6.10832884507833,14.553138640374536,19.8979834538603],0,0],[[1.50927119672355,2.641883743091466,6.574495259256469,11.541791751157115,27.05590849410113],0,1.5849625007211563],[[1.9666869652473382,2.4629916946694825,7.085139193087572,9.038770468477269,19.73837772389981],0,0],[[1.697086602295325,3.197880102453852,7.903222931290223,11.869040274907565,18.54456442765357],0,0],[[1.0259086385599931,3.936025933966202,5.4072843277805855,12.39182098407069,19.558785042483564],0,1.0],[[1.635268431612328,2.028091902374862,5.0541157167756126,9.311578279681113,19.75028194435529],0,0],[[1.1975596067645975,3.4101796369734063,5.685236967123665,10.108318363370485,19.392381574035895],0,0],[[1.1809034635499913,2.0381482604658396,4.64289514574123,15.977494491529745,20.421366225074912],0,1.0],[[1.1069655189227814,2.079596440416906,4.41959163051527,14.098521209944465,24.28441101875052],0,0],[[1.7904089499461213,3.1047898381780357,5.514247557182777,10.301929844649674,24.58528637534512],0,0],[[1.418506362574638,3.9293801844851357,6.884375653162762,13.921036917767813,23.27344263005875],0,0],[[1.7350682849936938,2.878073246586493,6.997607130199912,13.088860502915235,22.40295679164084],0,0],[[1.8637708227264977,2.956282421415257,7.798550660796264,12.13824451661397,19.81180804203863],0,1.0],[[1.6418949572077435,2.316041878811471,4.422829700016194,11.864977488328236,31.841532352488056],0,1.0],[[1.2414477989450163,2.164667366665647,6.628221104205399,12.879532232968472,30.243763406943362],0,0],[[1.082704451820939,2.1343392479164462,6.433151211458631,13.9313120246886,17.68445009551157],0,1.0],[[1.7864680885524078,3.9812936317650727,7.917802856013305,14.923653983169974,24.05538570275645],0,0],[[1.0276452396321418,3.7727643666239965,6.477212911767323,11.943299290827216,26.54893703265606],0,0],[[1.790917391040971,2.1619983034294576,4.190494332161416,8.431332885612466,22.153785449792004],0,0],[[1.5395320922073301,3.7866405891001444,7.687543119689135,11.999833036019437,17.824469145837774],0,0],[[1.0505569445252407,3.1803337409638073,4.212189794006734,8.416522345270712,25.503620880965435],0,1.0],[[1.4313717895270317,3.688240310814176,6.645598515494626,12.175756004185784,21.801005770644206],0,0],[[1.1720938478122107,3.413541211109333,5.4223029224205135,10.151274020815878,21.22368307119063],0,1.0],[[1.6542225582083965,3.0104613863502228,6.18709071195866,8.139290224313822,23.111998390412435],0,0],[[1.8775141069586228,2.85732899151728,7.694180829484018,12.132145526194316,19.195484904457825],0,0],[[1.4213207945586621,2.111702938225097,7.524613831117578,12.16813312964186,28.882533322460457],0,0],[[1.4429117031112961,3.192571298850193,6.294035176909326,12.014179275894888,21.774518923094888],0,0],[[1.0885833434752197,3.878135503536098,7.921833009854493,9.121989963578258,30.108685719109715],0,1.0],[[1.9682565029220396,3.208631759267034,5.121051361182206,9.989442099012251,30.306279752785045],0,0],[[1.3830830745992562,3.190016457754504,5.9974182208880364,11.493129179831739,28.45129082735011],0,1.0],[[1.5241662059775276,2.804808785043695,7.590403777006125,15.430694365238377,21.16932037256855],0,1.0],[[1.1554855542892817,3.6381936012691014,5.218331020255805,10.334294170882085,23.431612085236342],0,1.0],[[1.7963362023106855,3.6854773163417978,4.946850152401453,15.095902983408255,18.979351442340906],0,0],[[1.7713075517395294,3.2224435232065307,4.219350223230088,13.028610100834353,24.18487953687889],0,0],[[1.1874929396325633,2.6284936985187977,5.926087731115089,15.062929822356407,18.408587320413385],0,1.0],[[1.8545791540728453,2.624102983827515,7.687650068066404,15.370825871511629,26.598736768939332],0,1.0],[[1.9656596811895701,3.168437796200283,5.500930148906632,10.641798790271208,18.41846262004709],0,0],[[1.734644687907039,2.964466191101544,6.567010139605813,12.895924570987287,26.799328524842558],0,1.0],[[1.185100374961356,3.507598450927707,6.674573925942723,14.222137727518215,21.500986250976215],0,0],[[1.4938616359743078,2.661821839043142,4.846347329613819,15.194967990308285,25.952409777604263],0,1.0],[[1.6815849930900348,3.892339299843908,5.367602290109155,12.526774330260588,18.116442647442693],0,0],[[1.8030546441954611,2.3074096487875977,4.146771056332362,11.370610602862664,25.695486657177646],0,0],[[1.604708943184748,3.6601728953931314,5.131550498420716,10.077881537135315,16.743017825735418],0,0],[[1.7034022918912044,2.4799030906918964,7.76216360972586,10.98307421250943,26.940546740685928],0,0],[[1.7373096607666172,3.0172217502102363,6.205951420942068,9.260405993190432,25.146600881099715],0,1.0],[[1.2560839825346746,3.704811516454383,7.266249741823106,9.726806076050375,24.94493239018019],0,0],[[1.4136629002536305,3.4089566660418114,4.885602508393141,9.301848143945795,16.99530855844929],0,1.0],[[1.1144677478930347,2.1792269219554212,5.35447533603981,11.952950718275513,30.00516284014496],0,0],[[1.3349837803956077,3.0448284217640973,5.785705306458489,13.91283444840717,19.678283264626987],0,0],[[1.339447895138596,3.0270994764886625,4.9004613641074934,15.941324665498396,20.179843036431503],0,0],[[1.1174363916009296,2.9394961582024597,5.037306135785831,8.955038383567361,19.780115159088034],0,1.0],[[1.8705726417682145,2.456998958061208,4.613110854340877,8.856111894422526,31.00001072762261],0,1.0],[[1.492138569065318,3.0789812275103925,6.271595653565364,8.231001342362568,25.25622550428484],0,1.0],[[1.4038185129973981,2.5501991304992453,5.209273217537368,15.203957426103756,16.243292989944283],0,0],[[1.64258427624375,2.4829197027361327,6.817195034961482,8.483740192213231,31.70758636617167],0,0],[[1.88062404289426,2.129213643171391,5.921126467024127,8.301041885201883,20.24720106913232],0,0],[[1.258802065753241,2.225407930389685,7.901367130287364,15.08919874425834,17.927648765215636],0,0],[[1.8548033823524286,3.091371999767012,4.020350780902633,13.584446785946955,18.47397860406758],0,0],[[1.9367016985472518,2.9404768427822083,4.969246845499763,10.908127916807793,18.863607229113597],0,0],[[1.0061065105769997,3.8854861017271864,6.450766181686377,13.555715240400138,31.33648727069314],0,0],[[1.7328925573224616,2.5708887313681865,4.7827441063744445,13.736800912414353,23.637795573162354],0,0],[[1.7074499099147926,2.8232521483561883,4.525244000226985,9.191064820763847,19.51490622872347],0,0],[[1.6217751012232449,3.7159580103731424,6.857438184303103,8.385827982873888,25.999195145476435],0,1.0],[[1.2612297609782566,3.3560483745168534,4.129392524836477,8.25109215635609,25.412331798026813],0,1.0],[[1.160236320413187,3.9564294305858994,5.464825702440852,9.52729785243758,24.166761243394397],0,1.0],[[1.8845250500444528,3.1392141474064674,6.978524637240025,11.763619500066802,17.49134070212647],0,1.0],[[1.1842772577574523,2.1088248747393195,6.7904755031799615,14.844713726629108,30.25013350126924],0,0],[[1.001040902047465,3.3713772763482672,7.502949914280242,9.789343832565079,19.56193371478559],0,1.0],[[1.3678692817468943,3.6641000476249004,5.346353337446603,13.312989117174176,18.781973678039527],0,1.0],[[1.939083594666982,2.699404948218728,7.5106653544660515,13.78507137592827,19.325550918850045],0,0],[[1.2849223260547082,2.90709623563854,6.991198734085715,10.564702855519878,28.124989989940925],0,0],[[1.1619349296847314,3.0654547394781635,6.667790373658335,14.007243415863215,21.03163940144961],0,0],[[1.8889744680811895,2.6943813254273303,5.769184803481744,14.21783486205424,20.354144840531866],0,1.0],[[1.9193981561136284,3.4882876694249902,6.934545325386483,11.123965961142375,30.66727530149317],0,0],[[1.2065871431535173,2.3415915821748507,5.486687487459765,8.81618172534191,29.516530674707305],0,0],[[1.908642183899561,3.672599438204438,4.585904374095846,14.263239745772225,21.488445350291173],0,0],[[1.6676273637050543,3.9493208843227676,7.9845037334533435,11.603079488523596,18.037392022055972],0,1.0],[[1.024886781895042,3.2771592097769013,7.416342460079612,14.411416274986179,31.416467743309255],0,1.0],[[1.5130562383744317,2.965187420427261,5.364077964907294,15.982464639066354,31.899393564975384],0,0],[[1.9385413700841612,3.0207466081496324,4.781469730370991,14.208284185889958,22.00192977876636],0,0],[[1.725553612597273,2.2865807871158785,6.97752187123615,9.712190267576412,28.81257775658295],0,1.0],[[1.5820774341756638,2.675925346651748,6.370938614163275,13.022364309581514,21.588175189467574],0,0],[[1.1275414779665272,2.0192533032357205,6.789128297428266,15.815894053687106,25.30680679972276],0,1.0],[[1.7532281303307815,2.841573102951933,7.206310210722403,8.115547662400315,22.199957810612997],0,1.0],[[1.690890834271005,3.8371705572776538,5.988671541363191,9.248077167541702,19.980908549412067],0,0],[[1.3964488685482028,2.8112112729022227,6.397522897802625,15.709970241782152,31.583294056016246],0,0],[[1.6529196776976371,3.162910654725743,7.889940846874958,14.787904857486065,27.780599686522574],0,0],[[1.7455988569028986,2.1662146442708,4.963518219275746,11.407083420313679,18.12664376120566],0,1.0],[[1.2556640458165245,3.95745207770971,7.8624236677180175,12.720785230656581,28.469383762058992],0,0],[[1.4086603828511128,2.962314505644017,7.653384703026447,15.247604983023278,27.3498989948039],0,0],[[1.4852570527467719,2.4257410277298854,5.525410780355709,10.583061705122654,30.25072884867044],0,0],[[1.1986403693555305,3.8874715418284813,6.123624795032892,13.282177302159397,24.99164553567346],0,0],[[1.012680944035703,2.244869123499769,6.567240605863315,13.253121844967206,28.963125120370904],0,1.0],[[1.552375568888227,2.934717594275834,5.399184702710112,14.149060843750837,16.074217819834228],0,0],[[1.904251063678154,2.596546175314881,6.870726446266712,11.564431266253694,17.29644056264155],0,1.0],[[1.310422567293422,2.8578058930647456,7.102508533906359,9.1838792917607,29.08451082530003],0,0],[[1.5884340143746025,3.11913264314165,6.378010856499269,15.734604931865906,24.73300276705555],0,0],[[1.4045122602196112,2.543820975519252,6.279793350226951,10.029814216028573,21.646341800071585],0,0],[[1.4619241450933445,2.839688988473425,7.123828144417298,8.664096467787413,27.765281490998557],0,1.0],[[1.195032454337299,3.4432630741181702,5.784713285829687,10.557585032133446,19.925920013907934],0,1.0],[[1.1788692182319027,2.5931230484453396,4.064599181327585,13.589523691134557,21.233626473508266],0,1.0],[[1.4005706100857913,2.9900039912867147,4.83260064562998,11.91393002370113,17.354833021331714],0,0],[[1.740309680328907,3.879054017651886,6.017940215867386,11.740183942235012,22.517074964083804],0,0],[[1.7696215621090219,3.8289489382975046,4.898545676443691,13.414794027174693,18.179973100550416],0,1.0],[[1.059522128903265,3.2593112316876915,7.788347213618128,11.253226418290966,19.1909697842331],0,1.0],[[1.7906758264795066,2.481783233500936,4.684727207431491,13.93997212866407,28.962128905706326],0,0],[[1.743813487690879,2.2338460494798857,7.856566142664638,13.994174141689799,30.039486941821167],0,0],[[1.5650289706133769,2.5323375438052977,4.046394430581515,15.728418218993834,17.32859846600117],0,0],[[1.5256175650150565,3.8462004874163416,7.137864309041115,8.509213380511403,21.513951059633715],0,1.0],[[1.212957224178461,3.231717899913033,7.61090761299677,13.370998447856707,29.428850294387903],0,0],[[1.3871850471972036,3.6455274082750644,6.576910526419866,13.416443049727354,16.609921679461387],0,1.0],[[1.1039654003981623,2.5355984411933274,4.1918391141155,9.188938695297296,25.936972371645986],0,0],[[1.46072227741575,2.2670463491270305,4.460803747452751,8.265639804988954,19.277653545172427],0,0],[[1.261649578926264,3.547739478695582,4.843272952102605,12.224293471834683,29.757960954663567],0,0],[[1.640373034079099,3.2442060169165354,4.5976312991468955,8.47296549246609,16.148682511903306],0,0],[[1.4867526044813846,2.814803704497023,7.270306531374746,13.128982510409159,28.613790827275718],0,0],[[1.1390846623674824,2.526823090953671,4.744856738387793,12.688757962102423,16.955085187710267],0,0],[[1.5180099471787416,3.0000354725729768,6.387340822081892,9.900031013491724,16.745315930373106],0,1.0],[[1.537616997143898,2.288142255342037,7.323150319043264,10.391880127565527,19.826274678068316],0,1.0],[[1.209282648238078,2.099791140225423,7.721589323062902,10.745561405490069,30.568009156266886],0,0],[[1.0575993930693206,3.6567979163413433,5.358365992453626,9.374118535257669,20.06782952593714],0,0],[[1.226057729329997,3.5958130701825812,5.1960949379604,12.993548285847986,22.686732697643166],0,0],[[1.783873003752015,3.787691802603664,6.048259991249166,15.629204391255122,20.37909292779415],0,0],[[1.0772259819387449,2.699770417272814,5.640344679700483,9.929396501156369,17.50968939226346],0,0],[[1.0133688103073049,2.143174124437997,6.412258187036718,14.39983481653042,20.442724450377668],0,1.0],[[1.8273368223722417,3.1672559156464626,4.787632303293809,9.165203329958421,26.85752784953535],0,0],[[1.5503926324158719,2.5851051368526896,6.026096953963835,14.954708856709372,21.173732895411696],0,0],[[1.16371726883823,3.7591443610808817,4.311191701443935,9.92010784019686,20.728679064605696],0,0],[[1.6276312043200527,2.074862392053011,7.079553544080472,13.33360556589487,19.078872650082396],0,1.0],[[1.2885295892590132,2.82278340744802,5.678469878705315,13.821971764050065,16.398753647903984],0,0],[[1.728751825478262,3.2345422006297344,5.35024685678762,12.011608409259422,25.392527245814595],0,0],[[1.8181770548172935,2.826717578203473,7.3394763631844855,8.19178559765858,17.17893363084429],0,0],[[1.923225846613937,3.0356986182594667,4.173955399176425,9.57704267261349,17.346416914251883],0,0],[[1.6317888135672205,2.103950261720082,4.622118307670951,12.235758705612348,23.325125570813988],0,0],[[1.2912292023555212,3.08486734806649,6.591462992902859,14.768212281224796,17.13224089195473],0,1.0],[[1.8684895263130745,3.872929580887303,7.436633718009549,10.24850405404708,25.530317997423996],0,0],[[1.2245749992909798,3.253154828178929,4.34170505984729,9.1425506906184,30.0376854140342],0,0],[[1.6441569631978417,3.0919102067901543,5.502765579356703,13.948540783122388,29.64769425881691],0,0],[[1.7910577364153941,2.775298922174118,4.9789213752117885,10.486474930681624,24.563454067738252],0,0],[[1.5012724310187346,3.519707846912609,6.28167287474784,9.236691742550953,30.75875381462671],0,0],[[1.6904468917391748,2.2789793399082723,6.309553237708271,15.645807853487446,26.95739284685912],0,1.0],[[1.1376410926943676,3.2189049197222417,7.7314453429117,14.145788260820064,30.803393712299993],0,1.0],[[1.411099997540773,2.9533159971302463,6.683873236294996,13.783196452264997,29.6040300882034],0,1.0],[[1.1062716938037434,3.474904820796393,6.459609025421999,9.832891270720825,20.296129995944316],0,1.0],[[1.9580174258082106,2.613629879637921,6.152031665307752,11.67008614130206,16.75228264401369],0,1.0],[[1.19669623485452,2.846482580744838,5.266205903490924,12.698545244562629,18.564864821818215],0,1.0],[[1.2686578635144556,3.120844608071857,5.651753403364154,15.025639623475444,23.419345450959067],0,0]],"fresh-alts":["#"]}* * * * [misc]pick: Picked # * * * [misc]progress: localizing error * * * [misc]progress: generating rewritten candidates * * * [misc]progress: generating series expansions * * * [misc]progress: simplifying candidates * * * [misc]progress: adding candidates to table * [misc]progress: [Phase 3 of 3] Extracting. * [enter]simplify: Simplifying (+ (+ (+ (+ e d) c) b) a) * * [misc]simplify: iters left: 6 (9 enodes) * * [misc]simplify: iters left: 5 (13 enodes) * [exit]simplify: Simplified to (+ (+ (+ c (+ d e)) b) a) * * * * [misc]points: Sampling 8000 additional inputs, on iter 0 have 0 / 8000 * * * * [misc]points: Computing exacts on every 500 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 250 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 125 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 62 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 31 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 15 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 7 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts on every 3 of 8000 points to ramp up precision * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Computing exacts for 8000 points * * * * [misc]points: Setting MPFR precision to 64 * * * * [misc]points: Setting MPFR precision to 320 * * * * [misc]points: Filtering points with unrepresentable outputs * * * * [exit]points: Sampled 8000 points with exact outputs