module Example1 = {
  let xs = [|
    2.97474297511,
    2.98327125899,
    2.99179954287,
    3.00032782675,
    3.00885611064,
    3.01738439452,
    3.0259126784,
    3.03444096228,
    3.04296924616,
    3.05149753005,
    3.06002581393,
    3.06855409781,
    3.07708238169,
    3.08561066558,
    3.09413894946,
    3.10266723334,
    3.11119551722,
    3.11972380111,
    3.12825208499,
    3.13678036887,
    3.14530865275,
    3.15383693664,
    3.16236522052,
    3.1708935044,
    3.17942178828,
    3.18795007216,
    3.19647835605,
    3.20500663993,
    3.21353492381,
    3.22206320769,
    3.23059149158,
    3.23911977546,
    3.24764805934,
    3.25617634322,
    3.26470462711,
    3.27323291099,
    3.28176119487,
    3.29028947875,
    3.29881776264,
    3.30734604652,
    3.3158743304,
    3.32440261428,
    3.33293089816,
    3.34145918205,
    3.34998746593,
    3.35851574981,
    3.36704403369,
    3.37557231758,
    3.38410060146,
    3.39262888534,
    3.40115716922,
    3.40968545311,
    3.41821373699,
    3.42674202087,
    3.43527030475,
    3.44379858863,
    3.45232687252,
    3.4608551564,
    3.46938344028,
    3.47791172416,
    3.48644000805,
    3.49496829193,
    3.50349657581,
    3.51202485969,
    3.52055314358,
    3.52908142746,
    3.53760971134,
    3.54613799522,
    3.55466627911,
    3.56319456299,
    3.57172284687,
    3.58025113075,
    3.58877941463,
    3.59730769852,
    3.6058359824,
    3.61436426628,
    3.62289255016,
    3.63142083405,
    3.63994911793,
    3.64847740181,
    3.65700568569,
    3.66553396958,
    3.67406225346,
    3.68259053734,
    3.69111882122,
    3.69964710511,
    3.70817538899,
    3.71670367287,
    3.72523195675,
    3.73376024063,
    3.74228852452,
    3.7508168084,
    3.75934509228,
    3.76787337616,
    3.77640166005,
    3.78492994393,
    3.79345822781,
    3.80198651169,
    3.81051479558,
    3.81904307946,
    3.82757136334,
    3.83609964722,
    3.84462793111,
    3.85315621499,
    3.86168449887,
    3.87021278275,
    3.87874106663,
    3.88726935052,
    3.8957976344,
    3.90432591828,
    3.91285420216,
    3.92138248605,
    3.92991076993,
    3.93843905381,
    3.94696733769,
    3.95549562158,
    3.96402390546,
    3.97255218934,
    3.98108047322,
    3.98960875711,
    3.99813704099,
    4.00666532487,
    4.01519360875,
    4.02372189263,
    4.03225017652,
    4.0407784604,
    4.04930674428,
    4.05783502816,
    4.06636331205,
    4.07489159593,
    4.08341987981,
    4.09194816369,
    4.10047644758,
    4.10900473146,
    4.11753301534,
    4.12606129922,
    4.1345895831,
    4.14311786699,
    4.15164615087,
    4.16017443475,
    4.16870271863,
    4.17723100252,
    4.1857592864,
    4.19428757028,
    4.20281585416,
    4.21134413805,
    4.21987242193,
    4.22840070581,
    4.23692898969,
    4.24545727358,
    4.25398555746,
    4.26251384134,
    4.27104212522,
    4.2795704091,
    4.28809869299,
    4.29662697687,
    4.30515526075,
    4.31368354463,
    4.32221182852,
    4.3307401124,
    4.33926839628,
    4.34779668016,
    4.35632496405,
    4.36485324793,
    4.37338153181,
    4.38190981569,
    4.39043809958,
    4.39896638346,
    4.40749466734,
    4.41602295122,
    4.4245512351,
    4.43307951899,
    4.44160780287,
    4.45013608675,
    4.45866437063,
    4.46719265452,
    4.4757209384,
    4.48424922228,
    4.49277750616,
    4.50130579005,
    4.50983407393,
    4.51836235781,
    4.52689064169,
    4.53541892558,
    4.54394720946,
    4.55247549334,
    4.56100377722,
    4.5695320611,
    4.57806034499,
    4.58658862887,
    4.59511691275,
    4.60364519663,
    4.61217348052,
    4.6207017644,
    4.62923004828,
    4.63775833216,
    4.64628661605,
    4.65481489993,
    4.66334318381,
    4.67187146769,
    4.68039975158,
    4.68892803546,
    4.69745631934,
    4.70598460322,
    4.7145128871,
    4.72304117099,
    4.73156945487,
    4.74009773875,
    4.74862602263,
    4.75715430652,
    4.7656825904,
    4.77421087428,
    4.78273915816,
    4.79126744205,
    4.79979572593,
    4.80832400981,
    4.81685229369,
    4.82538057758,
    4.83390886146,
    4.84243714534,
    4.85096542922,
    4.8594937131,
    4.86802199699,
    4.87655028087,
    4.88507856475,
    4.89360684863,
    4.90213513252,
    4.9106634164,
    4.91919170028,
    4.92771998416,
    4.93624826805,
    4.94477655193,
    4.95330483581,
    4.96183311969,
    4.97036140357,
    4.97888968746,
    4.98741797134,
    4.99594625522,
    5.0044745391,
    5.01300282299,
    5.02153110687,
    5.03005939075,
    5.03858767463,
    5.04711595852,
    5.0556442424,
    5.06417252628,
    5.07270081016,
    5.08122909405,
    5.08975737793,
    5.09828566181,
    5.10681394569,
    5.11534222957,
    5.12387051346,
    5.13239879734,
    5.14092708122,
    5.1494553651,
    5.15798364899,
    5.16651193287,
    5.17504021675,
    5.18356850063,
    5.19209678452,
    5.2006250684,
    5.20915335228,
    5.21768163616,
    5.22620992005,
    5.23473820393,
    5.24326648781,
    5.25179477169,
    5.26032305557,
    5.26885133946,
    5.27737962334,
    5.28590790722,
    5.2944361911,
    5.30296447499,
    5.31149275887,
    5.32002104275,
    5.32854932663,
    5.33707761052,
    5.3456058944,
    5.35413417828,
    5.36266246216,
    5.37119074605,
    5.37971902993,
    5.38824731381,
    5.39677559769,
    5.40530388157,
    5.41383216546,
    5.42236044934,
    5.43088873322,
    5.4394170171,
    5.44794530099,
    5.45647358487,
    5.46500186875,
    5.47353015263,
    5.48205843652,
    5.4905867204,
    5.49911500428,
    5.50764328816,
    5.51617157205,
    5.52469985593,
    5.53322813981,
    5.54175642369,
    5.55028470757,
    5.55881299146,
    5.56734127534,
    5.57586955922,
    5.5843978431,
    5.59292612699,
    5.60145441087,
    5.60998269475,
    5.61851097863,
    5.62703926252,
    5.6355675464,
    5.64409583028,
    5.65262411416,
    5.66115239804,
    5.66968068193,
    5.67820896581,
    5.68673724969,
    5.69526553357,
    5.70379381746,
    5.71232210134,
    5.72085038522,
    5.7293786691,
    5.73790695299,
    5.74643523687,
    5.75496352075,
    5.76349180463,
    5.77202008852,
    5.7805483724,
    5.78907665628,
    5.79760494016,
    5.80613322404,
    5.81466150793,
    5.82318979181,
    5.83171807569,
    5.84024635957,
    5.84877464346,
    5.85730292734,
    5.86583121122,
    5.8743594951,
    5.88288777899,
    5.89141606287,
    5.89994434675,
    5.90847263063,
    5.91700091452,
    5.9255291984,
    5.93405748228,
    5.94258576616,
    5.95111405004,
    5.95964233393,
    5.96817061781,
    5.97669890169,
    5.98522718557,
    5.99375546946,
    6.00228375334,
    6.01081203722,
    6.0193403211,
    6.02786860499,
    6.03639688887,
    6.04492517275,
    6.05345345663,
    6.06198174052,
    6.0705100244,
    6.07903830828,
    6.08756659216,
    6.09609487604,
    6.10462315993,
    6.11315144381,
    6.12167972769,
    6.13020801157,
    6.13873629546,
    6.14726457934,
    6.15579286322,
    6.1643211471,
    6.17284943099,
    6.18137771487,
    6.18990599875,
    6.19843428263,
    6.20696256652,
    6.2154908504,
    6.22401913428,
    6.23254741816,
    6.24107570204,
    6.24960398593,
    6.25813226981,
    6.26666055369,
    6.27518883757,
    6.28371712146,
    6.29224540534,
    6.30077368922,
    6.3093019731,
    6.31783025699,
    6.32635854087,
    6.33488682475,
    6.34341510863,
    6.35194339252,
    6.3604716764,
    6.36899996028,
    6.37752824416,
    6.38605652804,
    6.39458481193,
    6.40311309581,
    6.41164137969,
    6.42016966357,
    6.42869794746,
    6.43722623134,
    6.44575451522,
    6.4542827991,
    6.46281108299,
    6.47133936687,
    6.47986765075,
    6.48839593463,
    6.49692421851,
    6.5054525024,
    6.51398078628,
    6.52250907016,
    6.53103735404,
    6.53956563793,
    6.54809392181,
    6.55662220569,
    6.56515048957,
    6.57367877346,
    6.58220705734,
    6.59073534122,
    6.5992636251,
    6.60779190899,
    6.61632019287,
    6.62484847675,
    6.63337676063,
    6.64190504451,
    6.6504333284,
    6.65896161228,
    6.66748989616,
    6.67601818004,
    6.68454646393,
    6.69307474781,
    6.70160303169,
    6.71013131557,
    6.71865959946,
    6.72718788334,
    6.73571616722,
    6.7442444511,
    6.75277273499,
    6.76130101887,
    6.76982930275,
    6.77835758663,
    6.78688587051,
    6.7954141544,
    6.80394243828,
    6.81247072216,
    6.82099900604,
    6.82952728993,
    6.83805557381,
    6.84658385769,
    6.85511214157,
    6.86364042546,
    6.87216870934,
    6.88069699322,
    6.8892252771,
    6.89775356099,
    6.90628184487,
    6.91481012875,
    6.92333841263,
    6.93186669651,
    6.9403949804,
    6.94892326428,
    6.95745154816,
    6.96597983204,
    6.97450811593,
    6.98303639981,
    6.99156468369,
    7.00009296757,
    7.00862125146,
    7.01714953534,
    7.02567781922,
    7.0342061031,
    7.04273438699,
    7.05126267087,
    7.05979095475,
    7.06831923863,
    7.07684752251,
    7.0853758064,
    7.09390409028,
    7.10243237416,
    7.11096065804,
    7.11948894193,
    7.12801722581,
    7.13654550969,
    7.14507379357,
    7.15360207746,
    7.16213036134,
    7.17065864522,
    7.1791869291,
    7.18771521298,
    7.19624349687,
    7.20477178075,
    7.21330006463,
    7.22182834851,
    7.2303566324,
    7.23888491628,
    7.24741320016,
    7.25594148404,
    7.26446976793,
    7.27299805181,
    7.28152633569,
    7.29005461957,
    7.29858290346,
    7.30711118734,
    7.31563947122,
    7.3241677551,
    7.33269603898,
    7.34122432287,
    7.34975260675,
    7.35828089063,
    7.36680917451,
    7.3753374584,
    7.38386574228,
    7.39239402616,
    7.40092231004,
    7.40945059393,
    7.41797887781,
    7.42650716169,
    7.43503544557,
    7.44356372946,
    7.45209201334,
    7.46062029722,
    7.4691485811,
    7.47767686498,
    7.48620514887,
    7.49473343275,
    7.50326171663,
    7.51179000051,
    7.5203182844,
    7.52884656828,
    7.53737485216,
    7.54590313604,
    7.55443141993,
    7.56295970381,
    7.57148798769,
    7.58001627157,
    7.58854455546,
    7.59707283934,
    7.60560112322,
    7.6141294071,
    7.62265769098,
    7.63118597487,
    7.63971425875,
    7.64824254263,
    7.65677082651,
    7.6652991104,
    7.67382739428,
    7.68235567816,
    7.69088396204,
    7.69941224593,
    7.70794052981,
    7.71646881369,
    7.72499709757,
    7.73352538146,
    7.74205366534,
    7.75058194922,
    7.7591102331,
    7.76763851698,
    7.77616680087,
    7.78469508475,
    7.79322336863,
    7.80175165251,
    7.8102799364,
    7.81880822028,
    7.82733650416,
    7.83586478804,
    7.84439307193,
    7.85292135581,
    7.86144963969,
    7.86997792357,
    7.87850620745,
    7.88703449134,
    7.89556277522,
    7.9040910591,
    7.91261934298,
    7.92114762687,
    7.92967591075,
    7.93820419463,
    7.94673247851,
    7.9552607624,
    7.96378904628,
    7.97231733016,
    7.98084561404,
    7.98937389793,
    7.99790218181,
    8.00643046569,
    8.01495874957,
    8.02348703345,
    8.03201531734,
    8.04054360122,
    8.0490718851,
    8.05760016898,
    8.06612845287,
    8.07465673675,
    8.08318502063,
    8.09171330451,
    8.1002415884,
    8.10876987228,
    8.11729815616,
    8.12582644004,
    8.13435472393,
    8.14288300781,
    8.15141129169,
    8.15993957557,
    8.16846785945,
    8.17699614334,
    8.18552442722,
    8.1940527111,
    8.20258099498,
    8.21110927887,
    8.21963756275,
    8.22816584663,
    8.23669413051,
    8.2452224144,
    8.25375069828,
    8.26227898216,
    8.27080726604,
    8.27933554993,
    8.28786383381,
    8.29639211769,
    8.30492040157,
    8.31344868545,
    8.32197696934,
    8.33050525322,
    8.3390335371,
    8.34756182098,
    8.35609010487,
    8.36461838875,
    8.37314667263,
    8.38167495651,
    8.3902032404,
    8.39873152428,
    8.40725980816,
    8.41578809204,
    8.42431637593,
    8.43284465981,
    8.44137294369,
    8.44990122757,
    8.45842951145,
    8.46695779534,
    8.47548607922,
    8.4840143631,
    8.49254264698,
    8.50107093087,
    8.50959921475,
    8.51812749863,
    8.52665578251,
    8.5351840664,
    8.54371235028,
    8.55224063416,
    8.56076891804,
    8.56929720193,
    8.57782548581,
    8.58635376969,
    8.59488205357,
    8.60341033745,
    8.61193862134,
    8.62046690522,
    8.6289951891,
    8.63752347298,
    8.64605175687,
    8.65458004075,
    8.66310832463,
    8.67163660851,
    8.6801648924,
    8.68869317628,
    8.69722146016,
    8.70574974404,
    8.71427802792,
    8.72280631181,
    8.73133459569,
    8.73986287957,
    8.74839116345,
    8.75691944734,
    8.76544773122,
    8.7739760151,
    8.78250429898,
    8.79103258287,
    8.79956086675,
    8.80808915063,
    8.81661743451,
    8.8251457184,
    8.83367400228,
    8.84220228616,
    8.85073057004,
    8.85925885392,
    8.86778713781,
    8.87631542169,
    8.88484370557,
    8.89337198945,
    8.90190027334,
    8.91042855722,
    8.9189568411,
    8.92748512498,
    8.93601340887,
    8.94454169275,
    8.95306997663,
    8.96159826051,
    8.9701265444,
    8.97865482828,
    8.98718311216,
    8.99571139604,
    9.00423967992,
    9.01276796381,
    9.02129624769,
    9.02982453157,
    9.03835281545,
    9.04688109934,
    9.05540938322,
    9.0639376671,
    9.07246595098,
    9.08099423487,
    9.08952251875,
    9.09805080263,
    9.10657908651,
    9.1151073704,
    9.12363565428,
    9.13216393816,
    9.14069222204,
    9.14922050592,
    9.15774878981,
    9.16627707369,
    9.17480535757,
    9.18333364145,
    9.19186192534,
    9.20039020922,
    9.2089184931,
    9.21744677698,
    9.22597506087,
    9.23450334475,
    9.24303162863,
    9.25155991251,
    9.2600881964,
    9.26861648028,
    9.27714476416,
    9.28567304804,
    9.29420133192,
    9.30272961581,
    9.31125789969,
    9.31978618357,
    9.32831446745,
    9.33684275134,
    9.34537103522,
    9.3538993191,
    9.36242760298,
    9.37095588687,
    9.37948417075,
    9.38801245463,
    9.39654073851,
    9.40506902239,
    9.41359730628,
    9.42212559016,
    9.43065387404,
    9.43918215792,
    9.44771044181,
    9.45623872569,
    9.46476700957,
    9.47329529345,
    9.48182357734,
    9.49035186122,
    9.4988801451,
    9.50740842898,
    9.51593671287,
    9.52446499675,
    9.53299328063,
    9.54152156451,
    9.55004984839,
    9.55857813228,
    9.56710641616,
    9.57563470004,
    9.58416298392,
    9.59269126781,
    9.60121955169,
    9.60974783557,
    9.61827611945,
    9.62680440334,
    9.63533268722,
    9.6438609711,
    9.65238925498,
    9.66091753887,
    9.66944582275,
    9.67797410663,
    9.68650239051,
    9.69503067439,
    9.70355895828,
    9.71208724216,
    9.72061552604,
    9.72914380992,
    9.73767209381,
    9.74620037769,
    9.75472866157,
    9.76325694545,
    9.77178522934,
    9.78031351322,
    9.7888417971,
    9.79737008098,
    9.80589836487,
    9.81442664875,
    9.82295493263,
    9.83148321651,
    9.84001150039,
    9.84853978428,
    9.85706806816,
    9.86559635204,
    9.87412463592,
    9.88265291981,
    9.89118120369,
    9.89970948757,
    9.90823777145,
    9.91676605534,
    9.92529433922,
    9.9338226231,
    9.94235090698,
    9.95087919087,
    9.95940747475,
    9.96793575863,
    9.97646404251,
    9.98499232639,
    9.99352061028,
    10.0020488942,
    10.010577178,
    10.0191054619,
    10.0276337458,
    10.0361620297,
    10.0446903136,
    10.0532185975,
    10.0617468813,
    10.0702751652,
    10.0788034491,
    10.087331733,
    10.0958600169,
    10.1043883007,
    10.1129165846,
    10.1214448685,
    10.1299731524,
    10.1385014363,
    10.1470297202,
    10.155558004,
    10.1640862879,
    10.1726145718,
    10.1811428557,
    10.1896711396,
    10.1981994235,
    10.2067277073,
    10.2152559912,
    10.2237842751,
    10.232312559,
    10.2408408429,
    10.2493691267,
    10.2578974106,
    10.2664256945,
    10.2749539784,
    10.2834822623,
    10.2920105462,
    10.30053883,
    10.3090671139,
    10.3175953978,
    10.3261236817,
    10.3346519656,
    10.3431802495,
    10.3517085333,
    10.3602368172,
    10.3687651011,
    10.377293385,
    10.3858216689,
    10.3943499527,
    10.4028782366,
    10.4114065205,
    10.4199348044,
    10.4284630883,
    10.4369913722,
    10.445519656,
    10.4540479399,
    10.4625762238,
    10.4711045077,
    10.4796327916,
    10.4881610755,
    10.4966893593,
    10.5052176432,
    10.5137459271,
    10.522274211,
    10.5308024949,
    10.5393307787,
    10.5478590626,
    10.5563873465,
    10.5649156304,
    10.5734439143,
    10.5819721982,
    10.590500482,
    10.5990287659,
    10.6075570498,
    10.6160853337,
    10.6246136176,
    10.6331419015,
    10.6416701853,
    10.6501984692,
    10.6587267531,
    10.667255037,
    10.6757833209,
    10.6843116047,
    10.6928398886,
    10.7013681725,
    10.7098964564,
    10.7184247403,
    10.7269530242,
    10.735481308,
    10.7440095919,
    10.7525378758,
    10.7610661597,
    10.7695944436,
    10.7781227275,
    10.7866510113,
    10.7951792952,
    10.8037075791,
    10.812235863,
    10.8207641469,
    10.8292924307,
    10.8378207146,
    10.8463489985,
    10.8548772824,
    10.8634055663,
    10.8719338502,
    10.880462134,
    10.8889904179,
    10.8975187018,
    10.9060469857,
    10.9145752696,
    10.9231035535,
    10.9316318373,
    10.9401601212,
    10.9486884051,
    10.957216689,
    10.9657449729,
    10.9742732567,
    10.9828015406,
    10.9913298245,
    10.9998581084,
    11.0083863923,
    11.0169146762,
    11.02544296,
    11.0339712439,
    11.0424995278,
    11.0510278117,
    11.0595560956,
    11.0680843795,
    11.0766126633,
    11.0851409472,
    11.0936692311,
    11.102197515,
    11.1107257989,
    11.1192540827,
    11.1277823666,
    11.1363106505,
    11.1448389344,
    11.1533672183,
    11.1618955022,
    11.170423786,
    11.1789520699,
    11.1874803538,
    11.1960086377,
    11.2045369216,
    11.2130652055,
    11.2215934893,
    11.2301217732,
    11.2386500571,
    11.247178341,
    11.2557066249,
    11.2642349087,
    11.2727631926,
    11.2812914765,
    11.2898197604,
    11.2983480443,
    11.3068763282,
    11.315404612,
    11.3239328959,
    11.3324611798,
    11.3409894637,
    11.3495177476,
    11.3580460315,
    11.3665743153,
    11.3751025992,
    11.3836308831,
    11.392159167,
    11.4006874509,
    11.4092157347,
    11.4177440186,
    11.4262723025,
    11.4348005864,
    11.4433288703,
    11.4518571542,
    11.460385438,
    11.4689137219,
    11.4774420058,
    11.4859702897,
    11.4944985736,
  |];
  let ys = [|
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0000012500000000000033,
    0.0000017500000000000044,
    0.0000023333333333333395,
    0.0000030000000000000077,
    0.00000375000000000001,
    0.000004583333333333345,
    0.000005500000000000014,
    0.0000065000000000000165,
    0.000007583333333333353,
    0.000008750000000000023,
    0.000010000000000000026,
    0.000011333333333333363,
    0.000012750000000000032,
    0.000014250000000000036,
    0.000015833333333333374,
    0.000017500000000000046,
    0.00001908333333333338,
    0.000020583333333333384,
    0.000022000000000000054,
    0.00002333333333333339,
    0.000024583333333333393,
    0.000025750000000000063,
    0.0000268333333333334,
    0.000027833333333333405,
    0.000028750000000000072,
    0.000029583333333333406,
    0.000030333333333333408,
    0.000031000000000000076,
    0.00003158333333333341,
    0.000032083333333333406,
    0.00003250000000000007,
    0.000032833333333333404,
    0.000033083333333333403,
    0.00003325000000000007,
    0.0000333333333333334,
    0.0000333333333333334,
    0.000033416666666666736,
    0.0000335833333333334,
    0.000033916666666666734,
    0.00003441666666666673,
    0.000035083333333333405,
    0.00003591666666666674,
    0.000036916666666666746,
    0.000038083333333333417,
    0.00003941666666666675,
    0.000040916666666666755,
    0.000042583333333333424,
    0.00004441666666666676,
    0.0000465000000000001,
    0.00004883333333333344,
    0.00005141666666666678,
    0.00005433333333333345,
    0.000057583333333333464,
    0.00006125000000000013,
    0.00006541666666666682,
    0.0000700833333333335,
    0.00007508333333333351,
    0.00008041666666666686,
    0.00008591666666666687,
    0.00009158333333333354,
    0.00009750000000000023,
    0.0001036666666666669,
    0.00011008333333333359,
    0.00011675000000000028,
    0.00012366666666666697,
    0.00013091666666666698,
    0.00013850000000000033,
    0.000146416666666667,
    0.00015450000000000037,
    0.00016291666666666706,
    0.00017183333333333373,
    0.00018108333333333377,
    0.00019066666666666714,
    0.00020041666666666716,
    0.00021016666666666718,
    0.00022000000000000052,
    0.0002301666666666672,
    0.00024066666666666724,
    0.0002516666666666673,
    0.0002632500000000007,
    0.00027541666666666735,
    0.0002884166666666674,
    0.00030225000000000076,
    0.0003170000000000008,
    0.0003326666666666675,
    0.0003492500000000009,
    0.00036675000000000097,
    0.00038516666666666766,
    0.00040483333333333436,
    0.00042550000000000107,
    0.0004470000000000011,
    0.00046950000000000117,
    0.0004930000000000012,
    0.0005177500000000013,
    0.0005440000000000013,
    0.000571666666666668,
    0.0006004166666666682,
    0.0006304166666666682,
    0.000661583333333335,
    0.000693833333333335,
    0.0007271666666666685,
    0.0007615000000000019,
    0.0007970000000000019,
    0.000833750000000002,
    0.0008720000000000021,
    0.0009116666666666689,
    0.000953166666666669,
    0.0009968333333333357,
    0.0010424166666666691,
    0.0010902500000000027,
    0.001140333333333336,
    0.0011926666666666696,
    0.0012475833333333364,
    0.0013050000000000032,
    0.0013647500000000033,
    0.0014270833333333368,
    0.001492583333333337,
    0.0015613333333333373,
    0.0016335833333333376,
    0.0017100000000000045,
    0.001790833333333338,
    0.0018759166666666716,
    0.001965666666666672,
    0.0020600000000000054,
    0.0021587500000000057,
    0.0022628333333333393,
    0.0023715833333333397,
    0.00248508333333334,
    0.0026038333333333404,
    0.002728166666666674,
    0.002858166666666674,
    0.0029938333333333414,
    0.0031350000000000084,
    0.0032821666666666754,
    0.0034359166666666757,
    0.003596333333333343,
    0.00376325000000001,
    0.003937083333333344,
    0.0041180000000000105,
    0.004304916666666677,
    0.004498083333333344,
    0.004697916666666678,
    0.004904083333333345,
    0.005117250000000012,
    0.005338166666666679,
    0.005565333333333347,
    0.005799833333333347,
    0.0060412500000000145,
    0.0062895000000000156,
    0.00654433333333335,
    0.00680658333333335,
    0.007077166666666684,
    0.007356916666666684,
    0.007645666666666685,
    0.007942833333333352,
    0.008249250000000019,
    0.00856575000000002,
    0.008892166666666687,
    0.009229000000000022,
    0.009577833333333357,
    0.009938000000000025,
    0.010309666666666693,
    0.010692750000000027,
    0.011087500000000028,
    0.011493333333333362,
    0.01191225000000003,
    0.012343333333333364,
    0.012787333333333366,
    0.013244583333333367,
    0.013715500000000035,
    0.01419933333333337,
    0.014695583333333371,
    0.015203583333333373,
    0.01572425000000004,
    0.016258833333333375,
    0.016806750000000044,
    0.01736733333333338,
    0.017941083333333382,
    0.018527833333333382,
    0.019126833333333385,
    0.019739583333333387,
    0.02036691666666672,
    0.021009500000000056,
    0.021667000000000058,
    0.022339916666666727,
    0.023027166666666727,
    0.023730833333333395,
    0.024450500000000062,
    0.025186500000000063,
    0.025939166666666732,
    0.026710166666666733,
    0.0275003333333334,
    0.02830975000000007,
    0.02913766666666674,
    0.029982750000000075,
    0.030844750000000077,
    0.03172441666666675,
    0.03262141666666675,
    0.03353583333333342,
    0.03446741666666675,
    0.03541633333333342,
    0.03638158333333342,
    0.03736341666666675,
    0.03836125000000009,
    0.03937475000000009,
    0.040405833333333425,
    0.04145291666666676,
    0.042517583333333435,
    0.043599750000000104,
    0.04469833333333344,
    0.04581208333333344,
    0.046940333333333445,
    0.04808416666666678,
    0.04924341666666678,
    0.05042058333333345,
    0.05161608333333345,
    0.05283016666666679,
    0.054062000000000124,
    0.055311916666666794,
    0.05658175000000013,
    0.05787008333333347,
    0.0591781666666668,
    0.060507083333333475,
    0.06185941666666681,
    0.06323700000000015,
    0.06463783333333349,
    0.0660625833333335,
    0.06751091666666684,
    0.06898350000000017,
    0.07048216666666685,
    0.07200825000000018,
    0.07356141666666685,
    0.07514175000000019,
    0.07675108333333353,
    0.07838716666666687,
    0.08005125000000021,
    0.08174250000000022,
    0.08346291666666689,
    0.08521233333333356,
    0.0869901666666669,
    0.0887979166666669,
    0.09063500000000024,
    0.09249950000000025,
    0.09438833333333359,
    0.09630091666666693,
    0.09823850000000027,
    0.10020158333333361,
    0.10219033333333362,
    0.10420275000000029,
    0.10623758333333362,
    0.1082937500000003,
    0.1103725000000003,
    0.11247358333333364,
    0.11459600000000031,
    0.11674091666666699,
    0.11890983333333366,
    0.12110350000000034,
    0.12332258333333368,
    0.12556875000000034,
    0.12784250000000036,
    0.1301443333333337,
    0.1324748333333337,
    0.13483508333333372,
    0.13722733333333373,
    0.1396515000000004,
    0.14210883333333374,
    0.1446002500000004,
    0.14712433333333375,
    0.14968208333333374,
    0.15227433333333376,
    0.1549014166666671,
    0.15756333333333378,
    0.16025900000000046,
    0.16298841666666714,
    0.1657523333333338,
    0.16854616666666714,
    0.17137050000000048,
    0.1742240000000005,
    0.17710383333333382,
    0.18000908333333382,
    0.1829372500000005,
    0.1858867500000005,
    0.18885850000000048,
    0.1918530833333338,
    0.19487041666666716,
    0.19790750000000049,
    0.20096183333333384,
    0.20403483333333386,
    0.20712775000000053,
    0.21024066666666721,
    0.21337416666666723,
    0.21652925000000056,
    0.21970775000000056,
    0.22290966666666723,
    0.2261330833333339,
    0.22937883333333392,
    0.2326460000000006,
    0.23593358333333395,
    0.2392426666666673,
    0.24257333333333397,
    0.24592725000000065,
    0.24930575000000066,
    0.25270616666666734,
    0.25612741666666733,
    0.259567083333334,
    0.263026083333334,
    0.2665055000000007,
    0.27000366666666736,
    0.27352116666666737,
    0.2770581666666674,
    0.28061308333333407,
    0.28418400000000077,
    0.2877698333333341,
    0.2913681666666674,
    0.2949802500000008,
    0.29860800000000076,
    0.3022498333333341,
    0.30590591666666744,
    0.3095769166666675,
    0.3132624166666675,
    0.3169601666666675,
    0.32066908333333416,
    0.32438950000000083,
    0.32811858333333416,
    0.3318561666666675,
    0.3356000833333342,
    0.3393483333333342,
    0.3431010833333342,
    0.3468550000000009,
    0.35060783333333423,
    0.35435983333333426,
    0.3581085833333343,
    0.3618528333333343,
    0.3655945833333343,
    0.3693325833333343,
    0.3730650833333343,
    0.37679433333333434,
    0.3805196666666677,
    0.384238750000001,
    0.3879509166666677,
    0.391658500000001,
    0.39535983333333435,
    0.3990546666666677,
    0.40274491666666773,
    0.40643441666666774,
    0.4101249166666677,
    0.41381766666666775,
    0.4175125833333344,
    0.42121025000000106,
    0.4249110833333344,
    0.42861466666666775,
    0.4323235000000011,
    0.4360380000000011,
    0.4397570000000011,
    0.4434792500000011,
    0.44720625000000114,
    0.4509346666666678,
    0.4546648333333345,
    0.45839766666666787,
    0.46213283333333455,
    0.4658686666666679,
    0.46960733333333454,
    0.47335208333333456,
    0.4771017500000012,
    0.4808524166666679,
    0.4846037500000012,
    0.4883549166666679,
    0.4921050833333346,
    0.49585541666666794,
    0.4996059166666679,
    0.503355666666668,
    0.507103166666668,
    0.5108490000000013,
    0.5145940000000013,
    0.5183388333333346,
    0.522080666666668,
    0.525819166666668,
    0.5295543333333346,
    0.5332844166666679,
    0.5370078333333346,
    0.5407238333333346,
    0.5444320000000012,
    0.5481266666666679,
    0.5518081666666679,
    0.5554762500000012,
    0.5591308333333346,
    0.5627725000000012,
    0.5664009166666679,
    0.5700127500000013,
    0.573607666666668,
    0.5771847500000014,
    0.580746166666668,
    0.5842905833333347,
    0.5878165833333348,
    0.5913237500000015,
    0.5948114166666681,
    0.5982831666666681,
    0.6017395833333348,
    0.6051825000000014,
    0.6086129166666681,
    0.612031416666668,
    0.6154353333333348,
    0.6188271666666681,
    0.6222060000000015,
    0.6255734166666681,
    0.6289285000000014,
    0.6322703333333348,
    0.6356006666666681,
    0.6389212500000014,
    0.6422321666666682,
    0.6455361666666681,
    0.6488298333333348,
    0.6521105000000015,
    0.6553778333333348,
    0.6586325000000014,
    0.6618762500000014,
    0.6651060000000014,
    0.6683181666666681,
    0.6715115833333348,
    0.6746861666666681,
    0.6778408333333348,
    0.6809770000000015,
    0.6840925833333349,
    0.6871887500000016,
    0.6902650000000016,
    0.6933218333333349,
    0.6963588333333348,
    0.6993745000000015,
    0.7023694166666681,
    0.7053427500000015,
    0.7082924166666681,
    0.7112195000000014,
    0.7141275833333348,
    0.7170169166666681,
    0.7198872500000014,
    0.7227399166666681,
    0.7255759166666682,
    0.7283977500000015,
    0.7312051666666681,
    0.7339986666666681,
    0.7367791666666681,
    0.7395480000000014,
    0.7423074166666681,
    0.7450578333333348,
    0.7477984166666681,
    0.7505290000000014,
    0.7532504166666681,
    0.7559629166666681,
    0.7586652500000015,
    0.7613570000000015,
    0.7640376666666682,
    0.7667066666666682,
    0.7693613333333349,
    0.7720020833333349,
    0.7746271666666682,
    0.7772333333333349,
    0.7798208333333349,
    0.7823892500000015,
    0.7849386666666681,
    0.7874702500000015,
    0.7899826666666682,
    0.7924730833333349,
    0.7949409166666682,
    0.7973827500000016,
    0.7997974166666683,
    0.8021850833333349,
    0.8045450000000016,
    0.8068743333333349,
    0.8091738333333349,
    0.8114439166666683,
    0.8136850833333349,
    0.8158970833333349,
    0.8180823333333349,
    0.8202419166666682,
    0.8223774166666682,
    0.8244907500000015,
    0.8265805000000015,
    0.8286467500000015,
    0.8306890000000016,
    0.8327043333333349,
    0.8346951666666683,
    0.836663083333335,
    0.838608583333335,
    0.840535083333335,
    0.8424446666666684,
    0.8443374166666684,
    0.8462140000000017,
    0.8480776666666684,
    0.8499292500000017,
    0.8517701666666684,
    0.8536015000000017,
    0.8554240000000016,
    0.8572355000000016,
    0.8590338333333349,
    0.8608187500000016,
    0.862589333333335,
    0.8643460000000016,
    0.8660885000000016,
    0.8678176666666683,
    0.8695352500000016,
    0.8712402500000016,
    0.8729343333333349,
    0.8746151666666683,
    0.8762820000000016,
    0.8779344166666683,
    0.8795720833333349,
    0.8811933333333349,
    0.8827981666666683,
    0.884383333333335,
    0.8859466666666683,
    0.887487583333335,
    0.8890070000000017,
    0.890506583333335,
    0.891985833333335,
    0.8934454166666683,
    0.8948855000000017,
    0.8963066666666684,
    0.897710083333335,
    0.8990967500000017,
    0.900466083333335,
    0.9018174166666684,
    0.903147583333335,
    0.904459083333335,
    0.9057509166666684,
    0.9070226666666684,
    0.9082748333333351,
    0.9095090833333351,
    0.9107239166666685,
    0.9119225833333352,
    0.9131067500000019,
    0.9142752500000019,
    0.9154277500000019,
    0.9165648333333352,
    0.9176889166666685,
    0.9187995833333352,
    0.9198970833333352,
    0.9209822500000019,
    0.9220545833333352,
    0.9231130833333352,
    0.9241583333333352,
    0.9251900000000018,
    0.9262095833333351,
    0.9272161666666685,
    0.9282102500000018,
    0.9291930833333352,
    0.9301634166666685,
    0.9311212500000018,
    0.9320676666666684,
    0.933001583333335,
    0.9339230000000017,
    0.9348343333333351,
    0.9357352500000018,
    0.9366250000000018,
    0.9375035000000018,
    0.9383707500000018,
    0.9392272500000018,
    0.9400714166666685,
    0.9409028333333351,
    0.9417214166666684,
    0.9425276666666684,
    0.9433233333333351,
    0.9441089166666684,
    0.944885583333335,
    0.9456545833333351,
    0.9464150000000018,
    0.9471680000000018,
    0.9479145833333351,
    0.9486545000000017,
    0.9493878333333351,
    0.9501142500000017,
    0.9508323333333351,
    0.9515425833333351,
    0.9522448333333351,
    0.9529385000000018,
    0.9536236666666684,
    0.9543004166666684,
    0.9549697500000017,
    0.9556322500000017,
    0.9562885000000018,
    0.9569385000000018,
    0.9575814166666685,
    0.9582172500000018,
    0.9588452500000018,
    0.9594650833333351,
    0.9600769166666685,
    0.9606809166666685,
    0.9612758333333352,
    0.9618621666666686,
    0.9624405833333353,
    0.9630126666666686,
    0.9635793333333353,
    0.9641403333333354,
    0.9646964166666687,
    0.965246750000002,
    0.9657911666666688,
    0.9663291666666688,
    0.9668614166666688,
    0.9673875833333355,
    0.9679079166666689,
    0.9684217500000022,
    0.9689295833333356,
    0.9694315000000022,
    0.9699276666666689,
    0.9704174166666688,
    0.9709015000000022,
    0.9713796666666689,
    0.9718523333333355,
    0.9723195000000022,
    0.9727807500000022,
    0.9732338333333356,
    0.9736779166666689,
    0.9741135833333355,
    0.9745400833333355,
    0.9749581666666689,
    0.9753685833333355,
    0.9757720833333355,
    0.9761677500000022,
    0.9765561666666689,
    0.9769363333333355,
    0.9773085000000021,
    0.9776730000000021,
    0.9780293333333354,
    0.9783773333333354,
    0.9787172500000021,
    0.9790485000000021,
    0.9793718333333354,
    0.9796876666666687,
    0.979996500000002,
    0.9802988333333353,
    0.9805963333333353,
    0.9808898333333352,
    0.9811786666666685,
    0.9814636666666685,
    0.9817455833333352,
    0.9820240833333351,
    0.9822991666666685,
    0.9825715000000018,
    0.9828406666666685,
    0.9831075833333351,
    0.9833724166666685,
    0.9836340833333352,
    0.9838936666666686,
    0.9841515833333352,
    0.9844086666666685,
    0.9846650833333351,
    0.9849202500000018,
    0.9851735000000018,
    0.9854244166666685,
    0.9856729166666685,
    0.9859183333333351,
    0.9861601666666685,
    0.9863990833333351,
    0.9866347500000018,
    0.9868667500000018,
    0.9870952500000018,
    0.9873197500000017,
    0.9875399166666684,
    0.9877560000000017,
    0.987967833333335,
    0.9881757500000017,
    0.9883807500000017,
    0.9885820000000017,
    0.9887794166666684,
    0.9889726666666684,
    0.9891617500000017,
    0.9893470000000018,
    0.989529333333335,
    0.9897086666666683,
    0.9898850000000017,
    0.9900584166666684,
    0.9902291666666684,
    0.9903966666666684,
    0.9905612500000017,
    0.9907229166666683,
    0.990881583333335,
    0.9910377500000016,
    0.9911919166666683,
    0.9913440000000017,
    0.9914945000000017,
    0.9916430000000017,
    0.9917894166666684,
    0.9919340000000018,
    0.9920771666666685,
    0.9922185833333351,
    0.9923587500000018,
    0.9924972500000019,
    0.9926336666666685,
    0.9927680000000019,
    0.9929003333333352,
    0.9930307500000018,
    0.9931592500000018,
    0.9932864166666685,
    0.9934120833333352,
    0.9935363333333352,
    0.9936590833333352,
    0.9937801666666686,
    0.9938990000000019,
    0.9940160000000019,
    0.9941306666666686,
    0.9942430833333352,
    0.9943527500000019,
    0.9944597500000019,
    0.9945637500000019,
    0.9946650833333351,
    0.9947631666666685,
    0.9948585000000019,
    0.9949509166666686,
    0.9950406666666686,
    0.9951275000000019,
    0.9952116666666686,
    0.9952935000000019,
    0.9953729166666686,
    0.9954498333333353,
    0.9955240833333353,
    0.9955960000000019,
    0.9956658333333352,
    0.9957339166666686,
    0.9957999166666686,
    0.9958641666666685,
    0.9959272500000019,
    0.9959897500000019,
    0.9960518333333352,
    0.996113250000002,
    0.996174000000002,
    0.9962348333333353,
    0.9962957500000019,
    0.9963570000000019,
    0.9964183333333353,
    0.9964800833333353,
    0.9965423333333353,
    0.9966048333333353,
    0.9966675000000019,
    0.996730500000002,
    0.996794000000002,
    0.9968580000000019,
    0.9969225000000019,
    0.9969876666666686,
    0.9970535833333353,
    0.9971200833333352,
    0.9971865000000019,
    0.9972524166666685,
    0.9973176666666685,
    0.9973825833333352,
    0.9974470000000019,
    0.9975100000000019,
    0.9975714166666686,
    0.9976311666666686,
    0.9976895833333352,
    0.9977464166666685,
    0.9978012500000019,
    0.9978541666666685,
    0.9979051666666685,
    0.9979540833333351,
    0.9980010833333351,
    0.9980459166666685,
    0.9980882500000019,
    0.9981279166666686,
    0.9981650000000019,
    0.9981995000000019,
    0.9982317500000019,
    0.9982620833333352,
    0.9982907500000019,
    0.9983178333333352,
    0.9983435000000019,
    0.998368250000002,
    0.998392250000002,
    0.9984155833333354,
    0.9984380833333354,
    0.998460000000002,
    0.9984815833333354,
    0.9985029166666687,
    0.9985240833333353,
    0.9985453333333353,
    0.9985664166666686,
    0.9985875833333352,
    0.9986090833333352,
    0.9986310000000018,
    0.9986532500000018,
    0.9986759166666684,
    0.9986990833333351,
    0.9987225833333351,
    0.998746083333335,
    0.9987694166666684,
    0.9987925833333351,
    0.9988155833333351,
    0.9988381666666685,
    0.9988602500000018,
    0.9988819166666685,
    0.9989030833333351,
    0.9989237500000018,
    0.9989436666666685,
    0.9989628333333351,
    0.9989812500000018,
    0.9989990833333352,
    0.9990162500000018,
    0.9990327500000018,
    0.9990485833333351,
    0.9990638333333351,
    0.9990785000000019,
    0.9990925000000018,
    0.9991059166666685,
    0.9991188333333352,
    0.9991315000000018,
    0.9991439166666685,
    0.9991560833333352,
    0.9991681666666685,
    0.9991802500000019,
    0.9991923333333352,
    0.9992043333333352,
    0.9992161666666686,
    0.9992280833333352,
    0.9992400833333352,
    0.9992519166666686,
    0.9992635833333352,
    0.9992750000000019,
    0.9992861666666686,
    0.9992971666666686,
    0.9993080000000019,
    0.9993186666666686,
    0.9993290833333353,
    0.9993392500000019,
    0.9993492500000019,
    0.9993587500000018,
    0.9993677500000019,
    0.9993762500000019,
    0.9993842500000019,
    0.9993917500000019,
    0.9993987500000019,
    0.9994053333333353,
    0.9994116666666686,
    0.9994176666666685,
    0.9994233333333352,
    0.9994289166666686,
    0.9994344166666685,
    0.9994399166666685,
    0.9994454166666685,
    0.9994507500000018,
    0.9994560833333351,
    0.9994615833333351,
    0.9994673333333352,
    0.9994733333333351,
    0.9994795833333351,
    0.9994862500000018,
    0.9994933333333351,
    0.9995008333333352,
    0.9995087500000018,
    0.9995171666666685,
    0.9995260833333351,
    0.9995355833333351,
    0.9995455000000019,
    0.9995557500000019,
    0.9995663333333352,
    0.9995770833333352,
    0.9995880833333352,
    0.9995993333333352,
    0.9996108333333352,
    0.9996226666666685,
    0.9996345000000019,
    0.9996460000000019,
    0.9996571666666686,
    0.9996680000000019,
    0.9996785000000019,
    0.9996886666666686,
    0.9996985000000019,
    0.9997080000000019,
    0.9997171666666685,
    0.9997258333333352,
    0.9997340000000019,
    0.9997415833333352,
    0.9997486666666685,
    0.9997553333333352,
    0.9997615833333352,
    0.9997675000000019,
    0.9997729166666686,
    0.9997778333333353,
    0.9997823333333352,
    0.9997864166666686,
    0.9997902500000019,
    0.9997940000000018,
    0.9997976666666685,
    0.9998012500000018,
    0.9998047500000018,
    0.9998081666666685,
    0.9998115000000019,
    0.9998147500000019,
    0.9998179166666685,
    0.9998210833333352,
    0.9998242500000019,
    0.9998273333333352,
    0.9998303333333352,
    0.9998332500000018,
    0.9998360833333351,
    0.9998388333333351,
    0.9998415833333352,
    0.9998443333333352,
    0.9998469166666686,
    0.9998494166666686,
    0.9998518333333353,
    0.9998541666666686,
    0.9998564166666686,
    0.9998585833333352,
    0.9998606666666685,
    0.9998626666666685,
    0.9998645833333352,
    0.9998664166666685,
    0.9998681666666686,
    0.9998698333333352,
    0.9998714166666686,
    0.9998730000000019,
    0.9998746666666686,
    0.9998764166666686,
    0.9998783333333353,
    0.9998804166666686,
    0.9998826666666686,
    0.9998850833333353,
    0.999887750000002,
    0.999890500000002,
    0.9998933333333353,
    0.9998962500000019,
    0.9998992500000019,
    0.9999024166666686,
    0.9999057500000019,
    0.999909250000002,
    0.9999129166666686,
    0.9999167500000019,
    0.9999207500000019,
    0.9999249166666686,
    0.999929250000002,
    0.999933750000002,
    0.9999382500000019,
    0.9999427500000019,
    0.9999470833333353,
    0.999951250000002,
    0.999955250000002,
    0.9999590833333353,
    0.9999627500000019,
    0.9999663333333352,
    0.9999698333333352,
    0.9999732500000019,
    0.9999765833333353,
    0.9999796666666686,
    0.9999825000000019,
    0.9999850833333352,
    0.9999874166666686,
    0.9999895000000019,
    0.9999913333333352,
    0.9999929166666686,
    0.9999942500000019,
    0.9999953333333352,
    0.9999962500000019,
    0.9999970000000019,
    0.9999976666666686,
    0.9999982500000019,
    0.9999987500000018,
    0.9999991666666684,
    0.9999995000000018,
    0.9999997500000019,
    0.9999999166666685,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
    1.0000000000000018,
  |];
  let cdf: Types.Dist.t = {xs, ys};
};

module Example2 = {
  let xs = [|
    2453132.22215,
    2469003.42279,
    2484874.62343,
    2500745.82407,
    2516617.02471,
    2532488.22536,
    2548359.426,
    2564230.62664,
    2580101.82728,
    2595973.02792,
    2611844.22856,
    2627715.42921,
    2643586.62985,
    2659457.83049,
    2675329.03113,
    2691200.23177,
    2707071.43242,
    2722942.63306,
    2738813.8337,
    2754685.03434,
    2770556.23498,
    2786427.43563,
    2802298.63627,
    2818169.83691,
    2834041.03755,
    2849912.23819,
    2865783.43883,
    2881654.63948,
    2897525.84012,
    2913397.04076,
    2929268.2414,
    2945139.44204,
    2961010.64269,
    2976881.84333,
    2992753.04397,
    3008624.24461,
    3024495.44525,
    3040366.6459,
    3056237.84654,
    3072109.04718,
    3087980.24782,
    3103851.44846,
    3119722.64911,
    3135593.84975,
    3151465.05039,
    3167336.25103,
    3183207.45167,
    3199078.65231,
    3214949.85296,
    3230821.0536,
    3246692.25424,
    3262563.45488,
    3278434.65552,
    3294305.85617,
    3310177.05681,
    3326048.25745,
    3341919.45809,
    3357790.65873,
    3373661.85938,
    3389533.06002,
    3405404.26066,
    3421275.4613,
    3437146.66194,
    3453017.86259,
    3468889.06323,
    3484760.26387,
    3500631.46451,
    3516502.66515,
    3532373.86579,
    3548245.06644,
    3564116.26708,
    3579987.46772,
    3595858.66836,
    3611729.869,
    3627601.06965,
    3643472.27029,
    3659343.47093,
    3675214.67157,
    3691085.87221,
    3706957.07286,
    3722828.2735,
    3738699.47414,
    3754570.67478,
    3770441.87542,
    3786313.07606,
    3802184.27671,
    3818055.47735,
    3833926.67799,
    3849797.87863,
    3865669.07927,
    3881540.27992,
    3897411.48056,
    3913282.6812,
    3929153.88184,
    3945025.08248,
    3960896.28313,
    3976767.48377,
    3992638.68441,
    4008509.88505,
    4024381.08569,
    4040252.28634,
    4056123.48698,
    4071994.68762,
    4087865.88826,
    4103737.0889,
    4119608.28954,
    4135479.49019,
    4151350.69083,
    4167221.89147,
    4183093.09211,
    4198964.29275,
    4214835.4934,
    4230706.69404,
    4246577.89468,
    4262449.09532,
    4278320.29596,
    4294191.49661,
    4310062.69725,
    4325933.89789,
    4341805.09853,
    4357676.29917,
    4373547.49982,
    4389418.70046,
    4405289.9011,
    4421161.10174,
    4437032.30238,
    4452903.50302,
    4468774.70367,
    4484645.90431,
    4500517.10495,
    4516388.30559,
    4532259.50623,
    4548130.70688,
    4564001.90752,
    4579873.10816,
    4595744.3088,
    4611615.50944,
    4627486.71009,
    4643357.91073,
    4659229.11137,
    4675100.31201,
    4690971.51265,
    4706842.71329,
    4722713.91394,
    4738585.11458,
    4754456.31522,
    4770327.51586,
    4786198.7165,
    4802069.91715,
    4817941.11779,
    4833812.31843,
    4849683.51907,
    4865554.71971,
    4881425.92036,
    4897297.121,
    4913168.32164,
    4929039.52228,
    4944910.72292,
    4960781.92357,
    4976653.12421,
    4992524.32485,
    5008395.52549,
    5024266.72613,
    5040137.92677,
    5056009.12742,
    5071880.32806,
    5087751.5287,
    5103622.72934,
    5119493.92998,
    5135365.13063,
    5151236.33127,
    5167107.53191,
    5182978.73255,
    5198849.93319,
    5214721.13384,
    5230592.33448,
    5246463.53512,
    5262334.73576,
    5278205.9364,
    5294077.13705,
    5309948.33769,
    5325819.53833,
    5341690.73897,
    5357561.93961,
    5373433.14025,
    5389304.3409,
    5405175.54154,
    5421046.74218,
    5436917.94282,
    5452789.14346,
    5468660.34411,
    5484531.54475,
    5500402.74539,
    5516273.94603,
    5532145.14667,
    5548016.34732,
    5563887.54796,
    5579758.7486,
    5595629.94924,
    5611501.14988,
    5627372.35053,
    5643243.55117,
    5659114.75181,
    5674985.95245,
    5690857.15309,
    5706728.35373,
    5722599.55438,
    5738470.75502,
    5754341.95566,
    5770213.1563,
    5786084.35694,
    5801955.55759,
    5817826.75823,
    5833697.95887,
    5849569.15951,
    5865440.36015,
    5881311.5608,
    5897182.76144,
    5913053.96208,
    5928925.16272,
    5944796.36336,
    5960667.564,
    5976538.76465,
    5992409.96529,
    6008281.16593,
    6024152.36657,
    6040023.56721,
    6055894.76786,
    6071765.9685,
    6087637.16914,
    6103508.36978,
    6119379.57042,
    6135250.77107,
    6151121.97171,
    6166993.17235,
    6182864.37299,
    6198735.57363,
    6214606.77428,
    6230477.97492,
    6246349.17556,
    6262220.3762,
    6278091.57684,
    6293962.77748,
    6309833.97813,
    6325705.17877,
    6341576.37941,
    6357447.58005,
    6373318.78069,
    6389189.98134,
    6405061.18198,
    6420932.38262,
    6436803.58326,
    6452674.7839,
    6468545.98455,
    6484417.18519,
    6500288.38583,
    6516159.58647,
    6532030.78711,
    6547901.98776,
    6563773.1884,
    6579644.38904,
    6595515.58968,
    6611386.79032,
    6627257.99096,
    6643129.19161,
    6659000.39225,
    6674871.59289,
    6690742.79353,
    6706613.99417,
    6722485.19482,
    6738356.39546,
    6754227.5961,
    6770098.79674,
    6785969.99738,
    6801841.19803,
    6817712.39867,
    6833583.59931,
    6849454.79995,
    6865326.00059,
    6881197.20123,
    6897068.40188,
    6912939.60252,
    6928810.80316,
    6944682.0038,
    6960553.20444,
    6976424.40509,
    6992295.60573,
    7008166.80637,
    7024038.00701,
    7039909.20765,
    7055780.4083,
    7071651.60894,
    7087522.80958,
    7103394.01022,
    7119265.21086,
    7135136.41151,
    7151007.61215,
    7166878.81279,
    7182750.01343,
    7198621.21407,
    7214492.41471,
    7230363.61536,
    7246234.816,
    7262106.01664,
    7277977.21728,
    7293848.41792,
    7309719.61857,
    7325590.81921,
    7341462.01985,
    7357333.22049,
    7373204.42113,
    7389075.62178,
    7404946.82242,
    7420818.02306,
    7436689.2237,
    7452560.42434,
    7468431.62499,
    7484302.82563,
    7500174.02627,
    7516045.22691,
    7531916.42755,
    7547787.62819,
    7563658.82884,
    7579530.02948,
    7595401.23012,
    7611272.43076,
    7627143.6314,
    7643014.83205,
    7658886.03269,
    7674757.23333,
    7690628.43397,
    7706499.63461,
    7722370.83526,
    7738242.0359,
    7754113.23654,
    7769984.43718,
    7785855.63782,
    7801726.83846,
    7817598.03911,
    7833469.23975,
    7849340.44039,
    7865211.64103,
    7881082.84167,
    7896954.04232,
    7912825.24296,
    7928696.4436,
    7944567.64424,
    7960438.84488,
    7976310.04553,
    7992181.24617,
    8008052.44681,
    8023923.64745,
    8039794.84809,
    8055666.04874,
    8071537.24938,
    8087408.45002,
    8103279.65066,
    8119150.8513,
    8135022.05194,
    8150893.25259,
    8166764.45323,
    8182635.65387,
    8198506.85451,
    8214378.05515,
    8230249.2558,
    8246120.45644,
    8261991.65708,
    8277862.85772,
    8293734.05836,
    8309605.25901,
    8325476.45965,
    8341347.66029,
    8357218.86093,
    8373090.06157,
    8388961.26222,
    8404832.46286,
    8420703.6635,
    8436574.86414,
    8452446.06478,
    8468317.26542,
    8484188.46607,
    8500059.66671,
    8515930.86735,
    8531802.06799,
    8547673.26863,
    8563544.46928,
    8579415.66992,
    8595286.87056,
    8611158.0712,
    8627029.27184,
    8642900.47249,
    8658771.67313,
    8674642.87377,
    8690514.07441,
    8706385.27505,
    8722256.4757,
    8738127.67634,
    8753998.87698,
    8769870.07762,
    8785741.27826,
    8801612.4789,
    8817483.67955,
    8833354.88019,
    8849226.08083,
    8865097.28147,
    8880968.48211,
    8896839.68276,
    8912710.8834,
    8928582.08404,
    8944453.28468,
    8960324.48532,
    8976195.68597,
    8992066.88661,
    9007938.08725,
    9023809.28789,
    9039680.48853,
    9055551.68917,
    9071422.88982,
    9087294.09046,
    9103165.2911,
    9119036.49174,
    9134907.69238,
    9150778.89303,
    9166650.09367,
    9182521.29431,
    9198392.49495,
    9214263.69559,
    9230134.89624,
    9246006.09688,
    9261877.29752,
    9277748.49816,
    9293619.6988,
    9309490.89945,
    9325362.10009,
    9341233.30073,
    9357104.50137,
    9372975.70201,
    9388846.90265,
    9404718.1033,
    9420589.30394,
    9436460.50458,
    9452331.70522,
    9468202.90586,
    9484074.10651,
    9499945.30715,
    9515816.50779,
    9531687.70843,
    9547558.90907,
    9563430.10972,
    9579301.31036,
    9595172.511,
    9611043.71164,
    9626914.91228,
    9642786.11293,
    9658657.31357,
    9674528.51421,
    9690399.71485,
    9706270.91549,
    9722142.11613,
    9738013.31678,
    9753884.51742,
    9769755.71806,
    9785626.9187,
    9801498.11934,
    9817369.31999,
    9833240.52063,
    9849111.72127,
    9864982.92191,
    9880854.12255,
    9896725.3232,
    9912596.52384,
    9928467.72448,
    9944338.92512,
    9960210.12576,
    9976081.3264,
    9991952.52705,
    10007823.7277,
    10023694.9283,
    10039566.129,
    10055437.3296,
    10071308.5303,
    10087179.7309,
    10103050.9315,
    10118922.1322,
    10134793.3328,
    10150664.5335,
    10166535.7341,
    10182406.9347,
    10198278.1354,
    10214149.336,
    10230020.5367,
    10245891.7373,
    10261762.938,
    10277634.1386,
    10293505.3392,
    10309376.5399,
    10325247.7405,
    10341118.9412,
    10356990.1418,
    10372861.3425,
    10388732.5431,
    10404603.7437,
    10420474.9444,
    10436346.145,
    10452217.3457,
    10468088.5463,
    10483959.7469,
    10499830.9476,
    10515702.1482,
    10531573.3489,
    10547444.5495,
    10563315.7502,
    10579186.9508,
    10595058.1514,
    10610929.3521,
    10626800.5527,
    10642671.7534,
    10658542.954,
    10674414.1546,
    10690285.3553,
    10706156.5559,
    10722027.7566,
    10737898.9572,
    10753770.1579,
    10769641.3585,
    10785512.5591,
    10801383.7598,
    10817254.9604,
    10833126.1611,
    10848997.3617,
    10864868.5624,
    10880739.763,
    10896610.9636,
    10912482.1643,
    10928353.3649,
    10944224.5656,
    10960095.7662,
    10975966.9668,
    10991838.1675,
    11007709.3681,
    11023580.5688,
    11039451.7694,
    11055322.9701,
    11071194.1707,
    11087065.3713,
    11102936.572,
    11118807.7726,
    11134678.9733,
    11150550.1739,
    11166421.3745,
    11182292.5752,
    11198163.7758,
    11214034.9765,
    11229906.1771,
    11245777.3778,
    11261648.5784,
    11277519.779,
    11293390.9797,
    11309262.1803,
    11325133.381,
    11341004.5816,
    11356875.7822,
    11372746.9829,
    11388618.1835,
    11404489.3842,
    11420360.5848,
    11436231.7855,
    11452102.9861,
    11467974.1867,
    11483845.3874,
    11499716.588,
    11515587.7887,
    11531458.9893,
    11547330.19,
    11563201.3906,
    11579072.5912,
    11594943.7919,
    11610814.9925,
    11626686.1932,
    11642557.3938,
    11658428.5944,
    11674299.7951,
    11690170.9957,
    11706042.1964,
    11721913.397,
    11737784.5977,
    11753655.7983,
    11769526.9989,
    11785398.1996,
    11801269.4002,
    11817140.6009,
    11833011.8015,
    11848883.0021,
    11864754.2028,
    11880625.4034,
    11896496.6041,
    11912367.8047,
    11928239.0054,
    11944110.206,
    11959981.4066,
    11975852.6073,
    11991723.8079,
    12007595.0086,
    12023466.2092,
    12039337.4099,
    12055208.6105,
    12071079.8111,
    12086951.0118,
    12102822.2124,
    12118693.4131,
    12134564.6137,
    12150435.8143,
    12166307.015,
    12182178.2156,
    12198049.4163,
    12213920.6169,
    12229791.8176,
    12245663.0182,
    12261534.2188,
    12277405.4195,
    12293276.6201,
    12309147.8208,
    12325019.0214,
    12340890.222,
    12356761.4227,
    12372632.6233,
    12388503.824,
    12404375.0246,
    12420246.2253,
    12436117.4259,
    12451988.6265,
    12467859.8272,
    12483731.0278,
    12499602.2285,
    12515473.4291,
    12531344.6298,
    12547215.8304,
    12563087.031,
    12578958.2317,
    12594829.4323,
    12610700.633,
    12626571.8336,
    12642443.0342,
    12658314.2349,
    12674185.4355,
    12690056.6362,
    12705927.8368,
    12721799.0375,
    12737670.2381,
    12753541.4387,
    12769412.6394,
    12785283.84,
    12801155.0407,
    12817026.2413,
    12832897.4419,
    12848768.6426,
    12864639.8432,
    12880511.0439,
    12896382.2445,
    12912253.4452,
    12928124.6458,
    12943995.8464,
    12959867.0471,
    12975738.2477,
    12991609.4484,
    13007480.649,
    13023351.8496,
    13039223.0503,
    13055094.2509,
    13070965.4516,
    13086836.6522,
    13102707.8529,
    13118579.0535,
    13134450.2541,
    13150321.4548,
    13166192.6554,
    13182063.8561,
    13197935.0567,
    13213806.2574,
    13229677.458,
    13245548.6586,
    13261419.8593,
    13277291.0599,
    13293162.2606,
    13309033.4612,
    13324904.6618,
    13340775.8625,
    13356647.0631,
    13372518.2638,
    13388389.4644,
    13404260.6651,
    13420131.8657,
    13436003.0663,
    13451874.267,
    13467745.4676,
    13483616.6683,
    13499487.8689,
    13515359.0695,
    13531230.2702,
    13547101.4708,
    13562972.6715,
    13578843.8721,
    13594715.0728,
    13610586.2734,
    13626457.474,
    13642328.6747,
    13658199.8753,
    13674071.076,
    13689942.2766,
    13705813.4773,
    13721684.6779,
    13737555.8785,
    13753427.0792,
    13769298.2798,
    13785169.4805,
    13801040.6811,
    13816911.8817,
    13832783.0824,
    13848654.283,
    13864525.4837,
    13880396.6843,
    13896267.885,
    13912139.0856,
    13928010.2862,
    13943881.4869,
    13959752.6875,
    13975623.8882,
    13991495.0888,
    14007366.2894,
    14023237.4901,
    14039108.6907,
    14054979.8914,
    14070851.092,
    14086722.2927,
    14102593.4933,
    14118464.6939,
    14134335.8946,
    14150207.0952,
    14166078.2959,
    14181949.4965,
    14197820.6971,
    14213691.8978,
    14229563.0984,
    14245434.2991,
    14261305.4997,
    14277176.7004,
    14293047.901,
    14308919.1016,
    14324790.3023,
    14340661.5029,
    14356532.7036,
    14372403.9042,
    14388275.1049,
    14404146.3055,
    14420017.5061,
    14435888.7068,
    14451759.9074,
    14467631.1081,
    14483502.3087,
    14499373.5093,
    14515244.71,
    14531115.9106,
    14546987.1113,
    14562858.3119,
    14578729.5126,
    14594600.7132,
    14610471.9138,
    14626343.1145,
    14642214.3151,
    14658085.5158,
    14673956.7164,
    14689827.917,
    14705699.1177,
    14721570.3183,
    14737441.519,
    14753312.7196,
    14769183.9203,
    14785055.1209,
    14800926.3215,
    14816797.5222,
    14832668.7228,
    14848539.9235,
    14864411.1241,
    14880282.3248,
    14896153.5254,
    14912024.726,
    14927895.9267,
    14943767.1273,
    14959638.328,
    14975509.5286,
    14991380.7292,
    15007251.9299,
    15023123.1305,
    15038994.3312,
    15054865.5318,
    15070736.7325,
    15086607.9331,
    15102479.1337,
    15118350.3344,
    15134221.535,
    15150092.7357,
    15165963.9363,
    15181835.1369,
    15197706.3376,
    15213577.5382,
    15229448.7389,
    15245319.9395,
    15261191.1402,
    15277062.3408,
    15292933.5414,
    15308804.7421,
    15324675.9427,
    15340547.1434,
    15356418.344,
    15372289.5447,
    15388160.7453,
    15404031.9459,
    15419903.1466,
    15435774.3472,
    15451645.5479,
    15467516.7485,
    15483387.9491,
    15499259.1498,
    15515130.3504,
    15531001.5511,
    15546872.7517,
    15562743.9524,
    15578615.153,
    15594486.3536,
    15610357.5543,
    15626228.7549,
    15642099.9556,
    15657971.1562,
    15673842.3568,
    15689713.5575,
    15705584.7581,
    15721455.9588,
    15737327.1594,
    15753198.3601,
    15769069.5607,
    15784940.7613,
    15800811.962,
    15816683.1626,
    15832554.3633,
    15848425.5639,
    15864296.7645,
    15880167.9652,
    15896039.1658,
    15911910.3665,
    15927781.5671,
    15943652.7678,
    15959523.9684,
    15975395.169,
    15991266.3697,
    16007137.5703,
    16023008.771,
    16038879.9716,
    16054751.1723,
    16070622.3729,
    16086493.5735,
    16102364.7742,
    16118235.9748,
    16134107.1755,
    16149978.3761,
    16165849.5767,
    16181720.7774,
    16197591.978,
    16213463.1787,
    16229334.3793,
    16245205.58,
    16261076.7806,
    16276947.9812,
    16292819.1819,
    16308690.3825,
    16324561.5832,
    16340432.7838,
    16356303.9844,
    16372175.1851,
    16388046.3857,
    16403917.5864,
    16419788.787,
    16435659.9877,
    16451531.1883,
    16467402.3889,
    16483273.5896,
    16499144.7902,
    16515015.9909,
    16530887.1915,
    16546758.3922,
    16562629.5928,
    16578500.7934,
    16594371.9941,
    16610243.1947,
    16626114.3954,
    16641985.596,
    16657856.7966,
    16673727.9973,
    16689599.1979,
    16705470.3986,
    16721341.5992,
    16737212.7999,
    16753084.0005,
    16768955.2011,
    16784826.4018,
    16800697.6024,
    16816568.8031,
    16832440.0037,
    16848311.2043,
    16864182.405,
    16880053.6056,
    16895924.8063,
    16911796.0069,
    16927667.2076,
    16943538.4082,
    16959409.6088,
    16975280.8095,
    16991152.0101,
    17007023.2108,
    17022894.4114,
    17038765.612,
    17054636.8127,
    17070508.0133,
    17086379.214,
    17102250.4146,
    17118121.6153,
    17133992.8159,
    17149864.0165,
    17165735.2172,
    17181606.4178,
    17197477.6185,
    17213348.8191,
    17229220.0198,
    17245091.2204,
    17260962.421,
    17276833.6217,
    17292704.8223,
    17308576.023,
    17324447.2236,
    17340318.4242,
    17356189.6249,
    17372060.8255,
    17387932.0262,
    17403803.2268,
    17419674.4275,
    17435545.6281,
    17451416.8287,
    17467288.0294,
    17483159.23,
    17499030.4307,
    17514901.6313,
    17530772.8319,
    17546644.0326,
    17562515.2332,
    17578386.4339,
    17594257.6345,
    17610128.8352,
    17626000.0358,
    17641871.2364,
    17657742.4371,
    17673613.6377,
    17689484.8384,
    17705356.039,
    17721227.2397,
    17737098.4403,
    17752969.6409,
    17768840.8416,
    17784712.0422,
    17800583.2429,
    17816454.4435,
    17832325.6441,
    17848196.8448,
    17864068.0454,
    17879939.2461,
    17895810.4467,
    17911681.6474,
    17927552.848,
    17943424.0486,
    17959295.2493,
    17975166.4499,
    17991037.6506,
    18006908.8512,
    18022780.0518,
    18038651.2525,
    18054522.4531,
    18070393.6538,
    18086264.8544,
    18102136.0551,
    18118007.2557,
    18133878.4563,
    18149749.657,
    18165620.8576,
    18181492.0583,
    18197363.2589,
    18213234.4595,
    18229105.6602,
    18244976.8608,
    18260848.0615,
    18276719.2621,
    18292590.4628,
    18308461.6634,
  |];
  let ys = [|
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    0.0,
    8.333333333333334e-8,
    2.5000000000000004e-7,
    5.000000000000001e-7,
    9.166666666666667e-7,
    0.0000015,
    0.00000225,
    0.0000031666666666666667,
    0.00000425,
    0.000005583333333333333,
    0.000007166666666666666,
    0.000009,
    0.000011166666666666668,
    0.000013666666666666667,
    0.0000165,
    0.00001966666666666667,
    0.00002316666666666667,
    0.000027000000000000002,
    0.00003125,
    0.000036,
    0.00004125,
    0.00004683333333333333,
    0.000052833333333333335,
    0.000059250000000000004,
    0.00006591666666666667,
    0.000073,
    0.0000805,
    0.00008850000000000001,
    0.00009700000000000001,
    0.00010600000000000002,
    0.00011575000000000002,
    0.00012633333333333336,
    0.00013758333333333336,
    0.00014950000000000003,
    0.0001624166666666667,
    0.00017650000000000003,
    0.00019183333333333338,
    0.00020850000000000005,
    0.00022650000000000006,
    0.00024575000000000004,
    0.0002663333333333334,
    0.0002885,
    0.0003125,
    0.00033841666666666666,
    0.0003663333333333333,
    0.0003960833333333333,
    0.0004280833333333333,
    0.0004623333333333333,
    0.0004990833333333334,
    0.0005385,
    0.0005801666666666667,
    0.0006241666666666666,
    0.0006709166666666667,
    0.00072075,
    0.0007736666666666668,
    0.0008297500000000001,
    0.0008893333333333334,
    0.0009526666666666668,
    0.00102,
    0.0010913333333333335,
    0.0011667500000000003,
    0.0012467500000000002,
    0.0013315000000000002,
    0.0014215000000000002,
    0.0015173333333333336,
    0.0016192500000000002,
    0.001727416666666667,
    0.0018422500000000004,
    0.001963916666666667,
    0.002092583333333334,
    0.0022289166666666672,
    0.0023737500000000004,
    0.0025273333333333337,
    0.0026897500000000003,
    0.0028611666666666672,
    0.0030422500000000007,
    0.003233083333333334,
    0.003433833333333334,
    0.0036452500000000005,
    0.003868416666666667,
    0.004104833333333334,
    0.004354,
    0.004615833333333334,
    0.004890083333333334,
    0.005176750000000001,
    0.005476750000000001,
    0.005790083333333334,
    0.006116750000000001,
    0.006457000000000001,
    0.006810916666666667,
    0.0071790000000000005,
    0.007561000000000001,
    0.007957166666666668,
    0.008368083333333335,
    0.008794916666666668,
    0.009237666666666668,
    0.009696666666666668,
    0.010172750000000001,
    0.010664500000000002,
    0.011171500000000003,
    0.01169216666666667,
    0.01222741666666667,
    0.012777750000000003,
    0.013343666666666669,
    0.013926250000000001,
    0.014525583333333335,
    0.015141416666666668,
    0.0157745,
    0.01642591666666667,
    0.01709675,
    0.017787833333333333,
    0.018499583333333333,
    0.01923325,
    0.019989916666666666,
    0.020769,
    0.02157175,
    0.022398916666666668,
    0.02325041666666667,
    0.02412875,
    0.025034583333333336,
    0.025970000000000003,
    0.02693441666666667,
    0.027928666666666668,
    0.02895425,
    0.030010500000000002,
    0.031096416666666668,
    0.03221358333333334,
    0.033363000000000004,
    0.03454316666666667,
    0.03575375000000001,
    0.036992500000000005,
    0.03825925,
    0.039553000000000005,
    0.04087308333333334,
    0.04221833333333334,
    0.04358775,
    0.04498108333333334,
    0.04639741666666667,
    0.04783491666666667,
    0.049294666666666674,
    0.05077616666666667,
    0.052281,
    0.05380783333333333,
    0.05535525,
    0.05692283333333333,
    0.058513166666666665,
    0.06012683333333333,
    0.06176333333333333,
    0.06342525,
    0.06511391666666667,
    0.06683316666666668,
    0.06858383333333334,
    0.07036733333333334,
    0.07218366666666667,
    0.07403533333333334,
    0.07592166666666668,
    0.07784300000000001,
    0.07980191666666668,
    0.08180083333333335,
    0.08383925000000002,
    0.08591700000000002,
    0.08803416666666669,
    0.09019475000000002,
    0.09240000000000002,
    0.09465125000000002,
    0.09694825000000001,
    0.09928908333333335,
    0.10167350000000001,
    0.10409983333333335,
    0.10656591666666668,
    0.10907166666666668,
    0.11161700000000001,
    0.11420041666666668,
    0.11682208333333334,
    0.119483,
    0.12218583333333334,
    0.12493008333333334,
    0.1277155,
    0.13054058333333335,
    0.13340516666666669,
    0.13630858333333334,
    0.13925116666666668,
    0.1422285,
    0.14524075,
    0.14828875,
    0.1513705,
    0.154488,
    0.1576398333333333,
    0.16082616666666666,
    0.16404908333333332,
    0.16730383333333332,
    0.17059275,
    0.17391574999999998,
    0.17727191666666664,
    0.18065724999999996,
    0.1840683333333333,
    0.18750583333333332,
    0.19096966666666665,
    0.19445933333333332,
    0.1979735,
    0.20151466666666668,
    0.20508208333333333,
    0.208677,
    0.21229683333333332,
    0.21594091666666665,
    0.21961124999999998,
    0.22330574999999997,
    0.22702774999999997,
    0.23077749999999997,
    0.23455374999999998,
    0.23835949999999997,
    0.24218891666666664,
    0.24604099999999998,
    0.24991724999999998,
    0.25382,
    0.25775191666666664,
    0.2617113333333333,
    0.26569391666666664,
    0.26970041666666666,
    0.27373108333333335,
    0.27778058333333333,
    0.28184691666666667,
    0.28592958333333335,
    0.2900274166666667,
    0.2941389166666667,
    0.29826,
    0.3023915833333334,
    0.30653025000000006,
    0.31067500000000003,
    0.31482583333333336,
    0.3189839166666667,
    0.3231503333333334,
    0.32732808333333335,
    0.33151458333333333,
    0.33570875,
    0.33990875,
    0.34411766666666666,
    0.34833716666666664,
    0.35256516666666665,
    0.3568005833333333,
    0.36104691666666666,
    0.36530266666666666,
    0.36956866666666666,
    0.37385,
    0.3781460833333333,
    0.38245866666666667,
    0.38678525,
    0.3911255,
    0.39547808333333334,
    0.39984016666666666,
    0.40420591666666666,
    0.40857733333333335,
    0.4129506666666667,
    0.4173246666666667,
    0.4216984166666667,
    0.4260685,
    0.4304294166666667,
    0.43478158333333333,
    0.4391260833333333,
    0.44346549999999996,
    0.4477955833333333,
    0.45211824999999994,
    0.4564299166666666,
    0.46072474999999996,
    0.4650018333333333,
    0.4692614166666666,
    0.4735065833333333,
    0.47773741666666664,
    0.48195391666666665,
    0.48615691666666666,
    0.49035091666666664,
    0.4945325,
    0.4986994166666667,
    0.5028545833333333,
    0.50699625,
    0.51112775,
    0.5152511666666667,
    0.5193664166666667,
    0.5234734166666667,
    0.5275681666666667,
    0.5316550000000001,
    0.5357340000000002,
    0.5398057500000002,
    0.5438739166666668,
    0.5479384166666669,
    0.5519989166666669,
    0.5560506666666669,
    0.5600905833333336,
    0.5641193333333336,
    0.568136666666667,
    0.5721392500000003,
    0.576129416666667,
    0.5801105833333337,
    0.584080166666667,
    0.5880397500000003,
    0.5919887500000003,
    0.5959266666666669,
    0.5998500833333336,
    0.6037570833333336,
    0.6076490000000002,
    0.6115255833333335,
    0.6153849166666668,
    0.6192296666666668,
    0.6230549166666668,
    0.6268604166666668,
    0.6306440000000001,
    0.6344075833333335,
    0.6381557500000001,
    0.6418863333333334,
    0.6455996666666668,
    0.6492978333333335,
    0.6529792500000001,
    0.6566432500000001,
    0.6602899166666668,
    0.6639196666666668,
    0.6675304166666668,
    0.6711206666666668,
    0.6746910833333335,
    0.6782423333333335,
    0.6817734166666668,
    0.6852790000000001,
    0.6887614166666668,
    0.6922160833333335,
    0.6956450000000002,
    0.6990475000000002,
    0.7024229166666668,
    0.7057699166666668,
    0.7090868333333334,
    0.7123763333333335,
    0.7156383333333335,
    0.7188698333333335,
    0.7220708333333336,
    0.7252391666666669,
    0.7283739166666668,
    0.7314719166666669,
    0.7345358333333336,
    0.7375672500000002,
    0.7405709166666669,
    0.7435453333333335,
    0.7464895833333335,
    0.7494064166666669,
    0.7522931666666669,
    0.7551514166666669,
    0.7579828333333335,
    0.7607892500000002,
    0.7635733333333335,
    0.7663359166666669,
    0.7690760000000002,
    0.7717914166666668,
    0.7744814166666668,
    0.7771493333333335,
    0.7797958333333335,
    0.7824228333333335,
    0.7850325833333335,
    0.7876280833333335,
    0.7902055000000001,
    0.7927640000000001,
    0.7952992500000001,
    0.7978129166666668,
    0.8003073333333335,
    0.8027836666666668,
    0.8052420833333335,
    0.8076840833333335,
    0.8101099166666669,
    0.8125171666666668,
    0.8149048333333335,
    0.8172731666666668,
    0.8196217500000001,
    0.8219508333333335,
    0.8242605833333335,
    0.8265475833333336,
    0.8288114166666669,
    0.8310520833333336,
    0.8332685000000003,
    0.8354585000000003,
    0.837625166666667,
    0.839768916666667,
    0.8418907500000004,
    0.843990916666667,
    0.8460680833333337,
    0.8481213333333337,
    0.8501525833333338,
    0.8521615833333338,
    0.8541455833333338,
    0.8561071666666671,
    0.8580454166666671,
    0.8599623333333338,
    0.8618579166666671,
    0.8637331666666671,
    0.8655885000000004,
    0.8674278333333337,
    0.8692515833333337,
    0.8710590833333337,
    0.8728489166666671,
    0.8746244166666671,
    0.8763867500000004,
    0.8781358333333338,
    0.8798710000000004,
    0.8815903333333337,
    0.8832937500000003,
    0.8849805000000003,
    0.8866485833333336,
    0.8882988333333336,
    0.8899315833333336,
    0.8915450833333336,
    0.8931404166666669,
    0.8947151666666668,
    0.8962709166666668,
    0.8978074166666669,
    0.8993256666666669,
    0.9008225000000002,
    0.9022969166666669,
    0.9037493333333335,
    0.9051826666666668,
    0.9065940000000001,
    0.9079801666666668,
    0.9093416666666668,
    0.9106805000000001,
    0.9119991666666668,
    0.9132993333333335,
    0.9145823333333335,
    0.9158497500000001,
    0.9170982500000001,
    0.9183292500000001,
    0.9195440000000001,
    0.9207434166666668,
    0.9219279166666668,
    0.9230972500000002,
    0.9242509166666669,
    0.9253866666666669,
    0.9265056666666669,
    0.9276097500000002,
    0.9286995000000002,
    0.9297745000000003,
    0.9308370833333336,
    0.9318883333333335,
    0.9329284166666669,
    0.9339561666666669,
    0.9349711666666669,
    0.9359723333333336,
    0.9369595000000003,
    0.937932666666667,
    0.9388945000000003,
    0.9398453333333336,
    0.940784916666667,
    0.941711916666667,
    0.9426267500000003,
    0.943528416666667,
    0.944418666666667,
    0.9453003333333336,
    0.946174166666667,
    0.9470390000000003,
    0.9478943333333336,
    0.9487387500000003,
    0.9495710833333336,
    0.9503922500000003,
    0.9512018333333336,
    0.9520005833333336,
    0.9527876666666669,
    0.9535630833333336,
    0.9543270000000003,
    0.9550795833333336,
    0.9558210833333336,
    0.9565510000000003,
    0.9572700833333336,
    0.9579795833333337,
    0.9586792500000003,
    0.9593705833333337,
    0.9600520000000003,
    0.9607217500000004,
    0.9613793333333337,
    0.962025166666667,
    0.962658916666667,
    0.9632820000000004,
    0.9638938333333338,
    0.9644943333333338,
    0.9650836666666671,
    0.9656614166666672,
    0.9662284166666671,
    0.9667859166666671,
    0.9673334166666672,
    0.9678700833333338,
    0.9683953333333338,
    0.9689096666666671,
    0.9694130000000004,
    0.969905166666667,
    0.970387166666667,
    0.970858916666667,
    0.9713212500000004,
    0.9717745833333337,
    0.9722200000000003,
    0.9726582500000003,
    0.9730905833333336,
    0.973516166666667,
    0.9739370000000003,
    0.9743525000000003,
    0.9747630833333336,
    0.9751685833333336,
    0.9755691666666669,
    0.9759637500000002,
    0.9763535833333336,
    0.9767395000000002,
    0.9771219166666669,
    0.9775003333333336,
    0.9778742500000003,
    0.9782434166666669,
    0.9786075000000003,
    0.9789667500000003,
    0.979320916666667,
    0.9796707500000004,
    0.9800150000000004,
    0.9803535000000004,
    0.9806860833333337,
    0.9810135000000004,
    0.9813343333333338,
    0.9816495833333337,
    0.9819595833333338,
    0.9822651666666671,
    0.9825665833333338,
    0.9828647500000005,
    0.9831588333333339,
    0.9834485833333338,
    0.9837341666666671,
    0.9840164166666672,
    0.9842956666666671,
    0.9845716666666672,
    0.9848445833333338,
    0.9851135833333338,
    0.9853793333333337,
    0.9856415000000004,
    0.9859014166666671,
    0.9861582500000005,
    0.9864118333333338,
    0.9866619166666671,
    0.9869090000000005,
    0.9871526666666671,
    0.9873923333333338,
    0.987627916666667,
    0.9878586666666671,
    0.9880838333333338,
    0.9883035000000004,
    0.9885182500000005,
    0.9887282500000005,
    0.9889329166666672,
    0.9891317500000005,
    0.9893255833333339,
    0.9895138333333339,
    0.9896970000000005,
    0.9898750833333338,
    0.9900481666666672,
    0.9902155000000005,
    0.9903785000000005,
    0.9905371666666671,
    0.9906913333333338,
    0.9908414166666671,
    0.9909877500000005,
    0.9911308333333338,
    0.9912705833333338,
    0.9914075833333339,
    0.9915425833333339,
    0.9916760833333339,
    0.9918077500000005,
    0.9919373333333339,
    0.9920653333333339,
    0.9921923333333339,
    0.9923179166666672,
    0.9924428333333339,
    0.9925672500000006,
    0.9926905000000006,
    0.9928125833333339,
    0.9929338333333338,
    0.9930534166666671,
    0.9931713333333339,
    0.9932880833333338,
    0.9934031666666672,
    0.9935166666666672,
    0.9936286666666672,
    0.9937390833333338,
    0.9938475833333338,
    0.9939539166666671,
    0.9940581666666671,
    0.9941601666666672,
    0.9942599166666671,
    0.9943571666666672,
    0.9944522500000005,
    0.9945455000000005,
    0.9946368333333339,
    0.9947262500000005,
    0.9948141666666671,
    0.9949007500000004,
    0.9949857500000004,
    0.9950690833333338,
    0.9951510000000005,
    0.9952313333333338,
    0.9953106666666671,
    0.9953887500000005,
    0.9954652500000005,
    0.9955404166666671,
    0.9956145833333339,
    0.9956875000000005,
    0.9957587500000005,
    0.9958288333333338,
    0.9958978333333338,
    0.9959657500000005,
    0.9960325833333339,
    0.9960982500000005,
    0.9961626666666672,
    0.9962258333333338,
    0.9962878333333338,
    0.9963486666666671,
    0.9964085000000005,
    0.9964675833333339,
    0.9965257500000005,
    0.9965830833333339,
    0.9966391666666672,
    0.9966945000000005,
    0.9967492500000005,
    0.9968033333333338,
    0.9968569166666672,
    0.9969102500000006,
    0.9969634166666672,
    0.9970161666666673,
    0.9970686666666673,
    0.9971211666666673,
    0.997172833333334,
    0.9972234166666673,
    0.9972731666666672,
    0.9973218333333339,
    0.9973694166666672,
    0.9974160000000005,
    0.9974618333333338,
    0.9975070000000005,
    0.9975515000000005,
    0.9975953333333338,
    0.9976386666666671,
    0.9976809166666671,
    0.9977222500000005,
    0.9977625833333338,
    0.9978016666666671,
    0.9978397500000005,
    0.9978770000000005,
    0.9979135000000005,
    0.9979490833333338,
    0.997983666666667,
    0.9980178333333337,
    0.9980518333333337,
    0.9980855000000004,
    0.9981190833333338,
    0.9981525833333338,
    0.9981858333333338,
    0.9982185833333338,
    0.9982508333333338,
    0.9982828333333338,
    0.9983145833333338,
    0.9983460000000004,
    0.9983773333333338,
    0.9984083333333338,
    0.9984390000000004,
    0.9984695833333338,
    0.9984998333333338,
    0.9985298333333338,
    0.9985594166666671,
    0.9985886666666671,
    0.9986175000000005,
    0.9986459166666671,
    0.9986740833333339,
    0.9987019166666672,
    0.9987294166666671,
    0.9987565000000005,
    0.9987832500000005,
    0.9988097500000005,
    0.9988360833333338,
    0.9988619166666671,
    0.9988871666666671,
    0.9989118333333338,
    0.9989358333333338,
    0.9989594166666671,
    0.9989828333333338,
    0.9990056666666671,
    0.9990280000000005,
    0.9990496666666672,
    0.9990708333333338,
    0.9990916666666672,
    0.9991122500000005,
    0.9991325833333338,
    0.9991523333333338,
    0.9991715000000004,
    0.9991900833333338,
    0.9992081666666671,
    0.9992257500000005,
    0.9992428333333339,
    0.9992592500000005,
    0.9992751666666672,
    0.9992906666666672,
    0.9993058333333339,
    0.9993208333333339,
    0.9993355000000006,
    0.9993495833333339,
    0.9993633333333339,
    0.9993767500000006,
    0.9993899166666672,
    0.9994028333333339,
    0.9994151666666672,
    0.9994269166666672,
    0.9994380833333338,
    0.9994488333333338,
    0.9994593333333338,
    0.9994695833333338,
    0.9994795833333338,
    0.9994893333333338,
    0.9994987500000004,
    0.999507916666667,
    0.9995168333333337,
    0.9995255000000004,
    0.999533916666667,
    0.9995420000000004,
    0.9995498333333337,
    0.999557416666667,
    0.9995647500000003,
    0.9995717500000003,
    0.999578416666667,
    0.9995847500000004,
    0.9995910000000003,
    0.999597166666667,
    0.9996032500000003,
    0.9996092500000002,
    0.9996150833333336,
    0.9996207500000003,
    0.9996262500000003,
    0.9996315833333336,
    0.9996368333333335,
    0.9996420000000003,
    0.9996470833333336,
    0.9996520833333337,
    0.9996570000000004,
    0.9996617500000003,
    0.9996663333333337,
    0.9996708333333336,
    0.9996752500000002,
    0.9996796666666669,
    0.9996841666666668,
    0.9996887500000001,
    0.9996932500000001,
    0.9996976666666667,
    0.9997020000000001,
    0.9997062500000001,
    0.9997103333333335,
    0.9997143333333335,
    0.9997182500000001,
    0.9997220833333335,
    0.9997258333333334,
    0.9997295,
    0.9997330833333334,
    0.9997365833333335,
    0.9997400000000002,
    0.9997434166666669,
    0.9997468333333336,
    0.9997503333333336,
    0.999753916666667,
    0.9997575833333336,
    0.999761166666667,
    0.9997646666666671,
    0.9997681666666671,
    0.9997717500000005,
    0.9997754166666671,
    0.9997791666666671,
    0.9997830833333338,
    0.9997870000000004,
    0.9997909166666671,
    0.9997948333333337,
    0.9997987500000004,
    0.9998026666666671,
    0.9998065833333337,
    0.9998105000000004,
    0.999814416666667,
    0.9998183333333337,
    0.9998222500000004,
    0.9998260000000003,
    0.9998295833333337,
    0.9998330000000004,
    0.9998363333333338,
    0.9998395833333338,
    0.9998427500000004,
    0.9998456666666671,
    0.9998483333333338,
    0.9998507500000005,
    0.9998529166666671,
    0.9998549166666671,
    0.9998567500000005,
    0.9998584166666672,
    0.9998599166666672,
    0.9998612500000005,
    0.9998625000000004,
    0.9998636666666672,
    0.9998647500000005,
    0.9998657500000006,
    0.9998666666666672,
    0.9998675833333339,
    0.9998685000000006,
    0.9998694166666673,
    0.999870333333334,
    0.9998712500000007,
    0.9998721666666673,
    0.9998731666666674,
    0.9998743333333341,
    0.9998756666666674,
    0.9998771666666674,
    0.999878833333334,
    0.9998806666666674,
    0.9998826666666675,
    0.9998848333333341,
    0.9998871666666674,
    0.9998895000000008,
    0.9998918333333341,
    0.9998941666666674,
    0.9998965000000007,
    0.9998988333333341,
    0.9999011666666674,
    0.9999035000000007,
    0.999905833333334,
    0.9999081666666674,
    0.9999105000000007,
    0.999912833333334,
    0.9999151666666674,
    0.999917333333334,
    0.999919333333334,
    0.9999211666666674,
    0.9999228333333341,
    0.9999243333333341,
    0.9999256666666674,
    0.9999268333333341,
    0.9999278333333341,
    0.9999287500000008,
    0.9999295833333341,
    0.9999303333333341,
    0.9999310000000008,
    0.9999315833333341,
    0.999932083333334,
    0.9999325000000007,
    0.999932833333334,
    0.9999331666666674,
    0.9999335000000008,
    0.9999338333333342,
    0.9999341666666676,
    0.9999345833333342,
    0.9999350833333341,
    0.9999356666666674,
    0.9999363333333341,
    0.9999370833333341,
    0.9999379166666674,
    0.9999388333333341,
    0.9999398333333341,
    0.9999409166666675,
    0.9999420833333342,
    0.9999433333333342,
    0.9999446666666675,
    0.9999460833333341,
    0.9999475833333341,
    0.9999491666666674,
    0.9999508333333341,
    0.9999524166666675,
    0.9999539166666674,
    0.9999553333333341,
    0.9999566666666674,
    0.9999579166666673,
    0.999959083333334,
    0.9999601666666674,
    0.9999611666666675,
    0.9999620833333341,
    0.9999629166666675,
    0.9999636666666675,
    0.9999643333333341,
    0.9999649166666674,
    0.9999654166666674,
    0.999965833333334,
    0.9999661666666674,
    0.9999664166666674,
    0.9999665833333341,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999666666666674,
    0.9999667500000008,
    0.9999669166666675,
    0.9999671666666675,
    0.9999675000000009,
    0.9999679166666675,
    0.9999684166666675,
    0.9999690000000008,
    0.9999696666666674,
    0.9999704166666674,
    0.9999712500000008,
    0.9999721666666674,
    0.9999731666666675,
    0.9999742500000008,
    0.9999754166666676,
    0.9999766666666675,
    0.9999780000000008,
    0.9999794166666675,
    0.9999809166666674,
    0.9999825000000008,
    0.9999841666666675,
    0.9999857500000008,
    0.9999872500000008,
    0.9999886666666674,
    0.9999900000000007,
    0.9999912500000007,
    0.9999924166666674,
    0.9999935000000008,
    0.9999945000000008,
    0.9999954166666675,
    0.9999962500000008,
    0.9999970000000008,
    0.9999976666666675,
    0.9999982500000008,
    0.9999987500000007,
    0.9999991666666673,
    0.9999995000000007,
    0.9999997500000007,
    0.9999999166666674,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
    1.0000000000000007,
  |];

  let cdf: Types.Dist.t = {xs, ys};
};