module Alea::Core::Ziggurat::Exp

Overview

Tables for exponential variates

Defined in:

alea/core/czig.cr

Constant Summary

F32 = Float32.static_array(1.00000000e+00, 9.38143681e-01, 9.00469930e-01, 8.71704332e-01, 8.47785501e-01, 8.26993297e-01, 8.08421652e-01, 7.91527637e-01, 7.75956852e-01, 7.61463389e-01, 7.47868622e-01, 7.35038092e-01, 7.22867660e-01, 7.11274761e-01, 7.00192655e-01, 6.89566496e-01, 6.79350572e-01, 6.69506317e-01, 6.60000841e-01, 6.50805833e-01, 6.41896716e-01, 6.33251994e-01, 6.24852739e-01, 6.16682181e-01, 6.08725382e-01, 6.00968966e-01, 5.93400902e-01, 5.86010318e-01, 5.78787359e-01, 5.71723049e-01, 5.64809193e-01, 5.58038282e-01, 5.51403417e-01, 5.44898238e-01, 5.38516872e-01, 5.32253880e-01, 5.26104214e-01, 5.20063177e-01, 5.14126394e-01, 5.08289776e-01, 5.02549502e-01, 4.96901987e-01, 4.91343870e-01, 4.85871987e-01, 4.80483364e-01, 4.75175193e-01, 4.69944825e-01, 4.64789756e-01, 4.59707616e-01, 4.54696157e-01, 4.49753251e-01, 4.44876873e-01, 4.40065101e-01, 4.35316103e-01, 4.30628137e-01, 4.25999541e-01, 4.21428729e-01, 4.16914186e-01, 4.12454466e-01, 4.08048183e-01, 4.03694013e-01, 3.99390684e-01, 3.95136982e-01, 3.90931737e-01, 3.86773829e-01, 3.82662181e-01, 3.78595759e-01, 3.74573568e-01, 3.70594648e-01, 3.66658080e-01, 3.62762973e-01, 3.58908473e-01, 3.55093753e-01, 3.51318016e-01, 3.47580495e-01, 3.43880445e-01, 3.40217149e-01, 3.36589914e-01, 3.32998069e-01, 3.29440964e-01, 3.25917972e-01, 3.22428485e-01, 3.18971913e-01, 3.15547685e-01, 3.12155249e-01, 3.08794067e-01, 3.05463619e-01, 3.02163401e-01, 2.98892921e-01, 2.95651704e-01, 2.92439288e-01, 2.89255223e-01, 2.86099074e-01, 2.82970415e-01, 2.79868833e-01, 2.76793928e-01, 2.73745310e-01, 2.70722597e-01, 2.67725420e-01, 2.64753419e-01, 2.61806243e-01, 2.58883550e-01, 2.55985007e-01, 2.53110290e-01, 2.50259082e-01, 2.47431076e-01, 2.44625969e-01, 2.41843469e-01, 2.39083290e-01, 2.36345152e-01, 2.33628783e-01, 2.30933917e-01, 2.28260294e-01, 2.25607660e-01, 2.22975768e-01, 2.20364376e-01, 2.17773247e-01, 2.15202151e-01, 2.12650862e-01, 2.10119159e-01, 2.07606828e-01, 2.05113656e-01, 2.02639439e-01, 2.00183975e-01, 1.97747066e-01, 1.95328521e-01, 1.92928150e-01, 1.90545770e-01, 1.88181199e-01, 1.85834263e-01, 1.83504787e-01, 1.81192603e-01, 1.78897547e-01, 1.76619455e-01, 1.74358169e-01, 1.72113535e-01, 1.69885401e-01, 1.67673619e-01, 1.65478042e-01, 1.63298529e-01, 1.61134940e-01, 1.58987139e-01, 1.56854992e-01, 1.54738369e-01, 1.52637142e-01, 1.50551185e-01, 1.48480376e-01, 1.46424594e-01, 1.44383722e-01, 1.42357645e-01, 1.40346251e-01, 1.38349429e-01, 1.36367071e-01, 1.34399072e-01, 1.32445328e-01, 1.30505738e-01, 1.28580205e-01, 1.26668629e-01, 1.24770919e-01, 1.22886980e-01, 1.21016722e-01, 1.19160057e-01, 1.17316899e-01, 1.15487164e-01, 1.13670768e-01, 1.11867632e-01, 1.10077676e-01, 1.08300825e-01, 1.06537004e-01, 1.04786139e-01, 1.03048160e-01, 1.01322997e-01, 9.96105837e-02, 9.79108533e-02, 9.62237426e-02, 9.45491894e-02, 9.28871336e-02, 9.12375166e-02, 8.96002819e-02, 8.79753745e-02, 8.63627411e-02, 8.47623305e-02, 8.31740930e-02, 8.15979807e-02, 8.00339475e-02, 7.84819492e-02, 7.69419432e-02, 7.54138887e-02, 7.38977470e-02, 7.23934809e-02, 7.09010552e-02, 6.94204365e-02, 6.79515934e-02, 6.64944964e-02, 6.50491178e-02, 6.36154320e-02, 6.21934154e-02, 6.07830464e-02, 5.93843056e-02, 5.79971756e-02, 5.66216413e-02, 5.52576897e-02, 5.39053102e-02, 5.25644946e-02, 5.12352371e-02, 4.99175343e-02, 4.86113856e-02, 4.73167929e-02, 4.60337611e-02, 4.47622977e-02, 4.35024136e-02, 4.22541224e-02, 4.10174414e-02, 3.97923910e-02, 3.85789955e-02, 3.73772828e-02, 3.61872848e-02, 3.50090377e-02, 3.38425822e-02, 3.26879635e-02, 3.15452322e-02, 3.04144439e-02, 2.92956602e-02, 2.81889488e-02, 2.70943838e-02, 2.60120466e-02, 2.49420264e-02, 2.38844205e-02, 2.28393354e-02, 2.18068875e-02, 2.07872041e-02, 1.97804243e-02, 1.87867007e-02, 1.78062004e-02, 1.68391068e-02, 1.58856218e-02, 1.49459680e-02, 1.40203914e-02, 1.31091649e-02, 1.22125924e-02, 1.13310136e-02, 1.04648102e-02, 9.61441364e-03, 8.78031499e-03, 7.96307744e-03, 7.16335318e-03, 6.38190594e-03, 5.61964221e-03, 4.87765598e-03, 4.15729512e-03, 3.46026478e-03, 2.78879879e-03, 2.14596774e-03, 1.53629978e-03, 9.67269282e-04, 4.54134354e-04)
F64 = Float64.static_array(1.0000000000000000e+00, 9.3814368086217470e-01, 9.0046992992574648e-01, 8.7170433238120359e-01, 8.4778550062398961e-01, 8.2699329664305032e-01, 8.0842165152300838e-01, 7.9152763697249562e-01, 7.7595685204011555e-01, 7.6146338884989628e-01, 7.4786862198519510e-01, 7.3503809243142348e-01, 7.2286765959357202e-01, 7.1127476080507601e-01, 7.0019265508278816e-01, 6.8956649611707799e-01, 6.7935057226476536e-01, 6.6950631673192473e-01, 6.6000084107899970e-01, 6.5080583341457110e-01, 6.4189671642726609e-01, 6.3325199421436607e-01, 6.2485273870366598e-01, 6.1668218091520766e-01, 6.0872538207962201e-01, 6.0096896636523223e-01, 5.9340090169173343e-01, 5.8601031847726803e-01, 5.7878735860284503e-01, 5.7172304866482582e-01, 5.6480919291240017e-01, 5.5803828226258745e-01, 5.5140341654064129e-01, 5.4489823767243961e-01, 5.3851687200286191e-01, 5.3225388026304332e-01, 5.2610421398361973e-01, 5.2006317736823360e-01, 5.1412639381474856e-01, 5.0828977641064288e-01, 5.0254950184134772e-01, 4.9690198724154955e-01, 4.9134386959403253e-01, 4.8587198734188491e-01, 4.8048336393045421e-01, 4.7517519303737737e-01, 4.6994482528395998e-01, 4.6478975625042618e-01, 4.5970761564213769e-01, 4.5469615747461550e-01, 4.4975325116275500e-01, 4.4487687341454851e-01, 4.4006510084235390e-01, 4.3531610321563657e-01, 4.3062813728845883e-01, 4.2599954114303434e-01, 4.2142872899761658e-01, 4.1691418643300288e-01, 4.1245446599716118e-01, 4.0804818315203240e-01, 4.0369401253053028e-01, 3.9939068447523107e-01, 3.9513698183329016e-01, 3.9093173698479711e-01, 3.8677382908413765e-01, 3.8266218149600983e-01, 3.7859575940958079e-01, 3.7457356761590216e-01, 3.7059464843514600e-01, 3.6665807978151416e-01, 3.6276297335481777e-01, 3.5890847294874978e-01, 3.5509375286678746e-01, 3.5131801643748334e-01, 3.4758049462163698e-01, 3.4388044470450241e-01, 3.4021714906678002e-01, 3.3658991402867761e-01, 3.3299806876180899e-01, 3.2944096426413633e-01, 3.2591797239355619e-01, 3.2242848495608917e-01, 3.1897191284495724e-01, 3.1554768522712895e-01, 3.1215524877417955e-01, 3.0879406693456019e-01, 3.0546361924459026e-01, 3.0216340067569353e-01, 2.9889292101558179e-01, 2.9565170428126120e-01, 2.9243928816189257e-01, 2.8925522348967775e-01, 2.8609907373707683e-01, 2.8297041453878075e-01, 2.7986883323697292e-01, 2.7679392844851736e-01, 2.7374530965280297e-01, 2.7072259679906002e-01, 2.6772541993204479e-01, 2.6475341883506220e-01, 2.6180624268936298e-01, 2.5888354974901623e-01, 2.5598500703041538e-01, 2.5311029001562946e-01, 2.5025908236886230e-01, 2.4743107566532763e-01, 2.4462596913189211e-01, 2.4184346939887721e-01, 2.3908329026244918e-01, 2.3634515245705964e-01, 2.3362878343743335e-01, 2.3093391716962741e-01, 2.2826029393071670e-01, 2.2560766011668407e-01, 2.2297576805812019e-01, 2.2036437584335949e-01, 2.1777324714870053e-01, 2.1520215107537868e-01, 2.1265086199297828e-01, 2.1011915938898826e-01, 2.0760682772422204e-01, 2.0511365629383771e-01, 2.0263943909370902e-01, 2.0018397469191127e-01, 1.9774706610509887e-01, 1.9532852067956322e-01, 1.9292814997677135e-01, 1.9054576966319539e-01, 1.8818119940425432e-01, 1.8583426276219711e-01, 1.8350478709776746e-01, 1.8119260347549629e-01, 1.7889754657247831e-01, 1.7661945459049488e-01, 1.7435816917135349e-01, 1.7211353531532006e-01, 1.6988540130252766e-01, 1.6767361861725019e-01, 1.6547804187493600e-01, 1.6329852875190182e-01, 1.6113493991759203e-01, 1.5898713896931421e-01, 1.5685499236936523e-01, 1.5473836938446808e-01, 1.5263714202744286e-01, 1.5055118500103989e-01, 1.4848037564386679e-01, 1.4642459387834494e-01, 1.4438372216063478e-01, 1.4235764543247220e-01, 1.4034625107486245e-01, 1.3834942886358020e-01, 1.3636707092642886e-01, 1.3439907170221363e-01, 1.3244532790138752e-01, 1.3050573846833077e-01, 1.2858020454522817e-01, 1.2666862943751067e-01, 1.2477091858083096e-01, 1.2288697950954514e-01, 1.2101672182667483e-01, 1.1916005717532768e-01, 1.1731689921155557e-01, 1.1548716357863353e-01, 1.1367076788274431e-01, 1.1186763167005630e-01, 1.1007767640518538e-01, 1.0830082545103380e-01, 1.0653700405000166e-01, 1.0478613930657017e-01, 1.0304816017125772e-01, 1.0132299742595363e-01, 9.9610583670637132e-02, 9.7910853311492199e-02, 9.6223742550432798e-02, 9.4549189376055859e-02, 9.2887133556043541e-02, 9.1237516631040155e-02, 8.9600281910032858e-02, 8.7975374467270218e-02, 8.6362741140756913e-02, 8.4762330532368119e-02, 8.3174093009632383e-02, 8.1597980709237419e-02, 8.0033947542319905e-02, 7.8481949201606421e-02, 7.6941943170480503e-02, 7.5413888734058410e-02, 7.3897746992364746e-02, 7.2393480875708738e-02, 7.0901055162371829e-02, 6.9420436498728755e-02, 6.7951593421936601e-02, 6.6494496385339774e-02, 6.5049117786753749e-02, 6.3615431999807334e-02, 6.2193415408540995e-02, 6.0783046445479633e-02, 5.9384305633420266e-02, 5.7997175631200659e-02, 5.6621641283742877e-02, 5.5257689676697037e-02, 5.3905310196046087e-02, 5.2564494593071692e-02, 5.1235237055126281e-02, 4.9917534282706372e-02, 4.8611385573379497e-02, 4.7316792913181548e-02, 4.6033761076175170e-02, 4.4762297732943282e-02, 4.3502413568888183e-02, 4.2254122413316234e-02, 4.1017441380414819e-02, 3.9792391023374125e-02, 3.8578995503074857e-02, 3.7377282772959361e-02, 3.6187284781931423e-02, 3.5009037697397410e-02, 3.3842582150874330e-02, 3.2687963508959535e-02, 3.1545232172893609e-02, 3.0414443910466604e-02, 2.9295660224637393e-02, 2.8188948763978636e-02, 2.7094383780955800e-02, 2.6012046645134217e-02, 2.4942026419731783e-02, 2.3884420511558171e-02, 2.2839335406385240e-02, 2.1806887504283581e-02, 2.0787204072578117e-02, 1.9780424338009743e-02, 1.8786700744696030e-02, 1.7806200410911362e-02, 1.6839106826039948e-02, 1.5885621839973163e-02, 1.4945968011691148e-02, 1.4020391403181938e-02, 1.3109164931254991e-02, 1.2212592426255381e-02, 1.1331013597834597e-02, 1.0464810181029979e-02, 9.6144136425022099e-03, 8.7803149858089753e-03, 7.9630774380170400e-03, 7.1633531836349839e-03, 6.3819059373191791e-03, 5.6196422072054830e-03, 4.8776559835423923e-03, 4.1572951208337953e-03, 3.4602647778369040e-03, 2.7887987935740761e-03, 2.1459677437189063e-03, 1.5362997803015724e-03, 9.6726928232717454e-04, 4.5413435384149677e-04)
K32 = UInt32.static_array(7424081, 0, 5109103, 6405078, 6975197, 7292064, 7492724, 7630841, 7731567, 7808211, 7868455, 7917038, 7957036, 7990536, 8018999, 8043479, 8064756, 8083420, 8099923, 8114619, 8127790, 8139660, 8150414, 8160200, 8169144, 8177350, 8184905, 8191884, 8198349, 8204355, 8209949, 8215172, 8220059, 8224642, 8228947, 8233000, 8236821, 8240429, 8243842, 8247074, 8250140, 8253052, 8255821, 8258457, 8260969, 8263366, 8265654, 8267842, 8269935, 8271939, 8273860, 8275702, 8277471, 8279169, 8280802, 8282372, 8283884, 8285339, 8286741, 8288093, 8289398, 8290656, 8291872, 8293046, 8294180, 8295277, 8296339, 8297365, 8298359, 8299322, 8300254, 8301158, 8302033, 8302883, 8303706, 8304505, 8305280, 8306033, 8306763, 8307472, 8308161, 8308830, 8309481, 8310113, 8310727, 8311324, 8311904, 8312468, 8313017, 8313550, 8314069, 8314574, 8315064, 8315542, 8316006, 8316458, 8316898, 8317325, 8317741, 8318145, 8318538, 8318921, 8319293, 8319655, 8320006, 8320348, 8320680, 8321003, 8321316, 8321621, 8321917, 8322204, 8322482, 8322753, 8323015, 8323269, 8323515, 8323754, 8323985, 8324208, 8324424, 8324632, 8324834, 8325028, 8325216, 8325396, 8325570, 8325737, 8325897, 8326051, 8326198, 8326338, 8326472, 8326600, 8326721, 8326836, 8326945, 8327048, 8327144, 8327234, 8327318, 8327396, 8327467, 8327533, 8327592, 8327645, 8327692, 8327733, 8327768, 8327796, 8327818, 8327834, 8327844, 8327847, 8327844, 8327835, 8327819, 8327796, 8327767, 8327731, 8327689, 8327640, 8327583, 8327520, 8327450, 8327372, 8327287, 8327195, 8327095, 8326987, 8326871, 8326748, 8326616, 8326476, 8326327, 8326169, 8326003, 8325827, 8325642, 8325447, 8325243, 8325028, 8324802, 8324566, 8324319, 8324060, 8323789, 8323506, 8323211, 8322902, 8322579, 8322243, 8321892, 8321526, 8321144, 8320746, 8320331, 8319898, 8319446, 8318975, 8318484, 8317971, 8317437, 8316879, 8316297, 8315689, 8315054, 8314390, 8313697, 8312972, 8312213, 8311419, 8310587, 8309715, 8308801, 8307841, 8306833, 8305773, 8304657, 8303482, 8302244, 8300936, 8299554, 8298091, 8296541, 8294895, 8293146, 8291284, 8289297, 8287173, 8284897, 8282453, 8279823, 8276983, 8273907, 8270566, 8266924, 8262936, 8258551, 8253706, 8248323, 8242304, 8235529, 8227840, 8219034, 8208841, 8196894, 8182679, 8165457, 8144120, 8116924, 8080947, 8030872, 7955847, 7829465, 7564599)
K64 = UInt64.static_array(3985772928715747_i64, 0, 2742928985168063_i64, 3438700186803720_i64, 3744780257810519_i64, 3914896975372862_i64, 4022625697542797_i64, 4096776410635449_i64, 4150853606149209_i64, 4192001604687416_i64, 4224344877584100_i64, 4250427292531739_i64, 4271901371161553_i64, 4289886428824118_i64, 4305167164135199_i64, 4318309783140431_i64, 4329732973408939_i64, 4339752937704679_i64, 4348612900760388_i64, 4356502988721768_i64, 4363573953227346_i64, 4369946852445019_i64, 4375720012348349_i64, 4380974119031480_i64, 4385776001930298_i64, 4390181484145305_i64, 4394237557465219_i64, 4397984061535398_i64, 4401454994146429_i64, 4404679543790855_i64, 4407682910787985_i64, 4410486965794400_i64, 4413110782053579_i64, 4415571068741702_i64, 4417882526198713_i64, 4420058138987324_i64, 4422109419110771_i64, 4424046609003130_i64, 4425878851844253_i64, 4427614335173867_i64, 4429260412563040_i64, 4430823707156474_i64, 4432310200160197_i64, 4433725306767516_i64, 4435073941555377_i64, 4436360575016073_i64, 4437589282595121_i64, 4438763787369085_i64, 4439887497305302_i64, 4440963537889317_i64, 4441994780778251_i64, 4442983869033584_i64, 4443933239400428_i64, 4444845142028909_i64, 4445721657973833_i64, 4446564714759241_i64, 4447376100252992_i64, 4448157475061632_i64, 4448910383626429_i64, 4449636264176641_i64, 4450336457674983_i64, 4451012215872352_i64, 4451664708573596_i64, 4452295030203006_i64, 4452904205747009_i64, 4453493196141905_i64, 4454062903166142_i64, 4454614173889473_i64, 4455147804725090_i64, 4455664545125434_i64, 4456165100957687_i64, 4456650137590828_i64, 4457120282722585_i64, 4457576128971458_i64, 4458018236256244_i64, 4458447133983072_i64, 4458863323057846_i64, 4459267277740095_i64, 4459659447352585_i64, 4460040257859578_i64, 4460410113325309_i64, 4460769397263133_i64, 4461118473884709_i64, 4461457689257740_i64, 4461787372379910_i64, 4462107836175979_i64, 4462419378424318_i64, 4462722282618581_i64, 4463016818769708_i64, 4463303244152965_i64, 4463581804004300_i64, 4463852732169940_i64, 4464116251712772_i64, 4464372575478779_i64, 4464621906626490_i64, 4464864439122178_i64, 4465100358203283_i64, 4465329840812355_i64, 4465553056003595_i64, 4465770165323938_i64, 4465981323170417_i64, 4466186677125455_i64, 4466386368271562_i64, 4466580531486826_i64, 4466769295722447_i64, 4466952784263502_i64, 4467131114974005_i64, 4467304400527264_i64, 4467472748622447_i64, 4467636262188207_i64, 4467795039574164_i64, 4467949174730938_i64, 4468098757379441_i64, 4468243873170018_i64, 4468384603832024_i64, 4468521027314372_i64, 4468653217917529_i64, 4468781246417427_i64, 4468905180181701_i64, 4469025083278642_i64, 4469141016579233_i64, 4469253037852581_i64, 4469361201855066_i64, 4469465560413473_i64, 4469566162502383_i64, 4469663054316031_i64, 4469756279334881_i64, 4469845878387079_i64, 4469931889704995_i64, 4470014348976986_i64, 4470093289394550_i64, 4470168741694983_i64, 4470240734199651_i64, 4470309292847996_i64, 4470374441227331_i64, 4470436200598525_i64, 4470494589917604_i64, 4470549625853344_i64, 4470601322800852_i64, 4470649692891184_i64, 4470694745996980_i64, 4470736489734115_i64, 4470774929459349_i64, 4470810068263924_i64, 4470841906963074_i64, 4470870444081369_i64, 4470895675833820_i64, 4470917596102651_i64, 4470936196409613_i64, 4470951465883736_i64, 4470963391224345_i64, 4470971956659198_i64, 4470977143897542_i64, 4470978932077903_i64, 4470977297710362_i64, 4470972214613072_i64, 4470963653842746_i64, 4470951583618801_i64, 4470935969240826_i64, 4470916772999008_i64, 4470893954077117_i64, 4470867468447603_i64, 4470837268758337_i64, 4470803304210459_i64, 4470765520426768_i64, 4470723859310028_i64, 4470678258890503_i64, 4470628653161979_i64, 4470574971905457_i64, 4470517140499614_i64, 4470455079717082_i64, 4470388705505446_i64, 4470317928751817_i64, 4470242655029688_i64, 4470162784326668_i64, 4470078210751556_i64, 4469988822219057_i64, 4469894500110287_i64, 4469795118907000_i64, 4469690545797298_i64, 4469580640250319_i64, 4469465253557163_i64, 4469344228335006_i64, 4469217397991048_i64, 4469084586142555_i64, 4468945605988874_i64, 4468800259630802_i64, 4468648337332216_i64, 4468489616718258_i64, 4468323861903708_i64, 4468150822544455_i64, 4467970232804101_i64, 4467781810226787_i64, 4467585254506221_i64, 4467380246139658_i64, 4467166444954116_i64, 4466943488490515_i64, 4466710990229517_i64, 4466468537640690_i64, 4466215690034133_i64, 4465951976190801_i64, 4465676891744454_i64, 4465389896284246_i64, 4465090410142476_i64, 4464777810826750_i64, 4464451429049611_i64, 4464110544301482_i64, 4463754379904174_i64, 4463382097472202_i64, 4462992790697121_i64, 4462585478355952_i64, 4462159096427753_i64, 4461712489182115_i64, 4461244399078943_i64, 4460753455289385_i64, 4460238160612098_i64, 4459696876515553_i64, 4459127805983955_i64, 4458528973779074_i64, 4457898203649721_i64, 4457233091920645_i64, 4456530976767892_i64, 4455788902331217_i64, 4455003576616606_i64, 4454171321891082_i64, 4453288015951104_i64, 4452349022232650_i64, 4451349106194826_i64, 4450282334707461_i64, 4449141954247902_i64, 4447920242480610_i64, 4446608326137820_i64, 4445195955871676_i64, 4443671225661689_i64, 4442020220072462_i64, 4440226566619900_i64, 4438270861888259_i64, 4436129927556551_i64, 4433775834104269_i64, 4431174602388627_i64, 4428284451100006_i64, 4425053392146958_i64, 4421415870372501_i64, 4417287970124083_i64, 4412560416174562_i64, 4407088078325945_i64, 4400673742272493_i64, 4393042098597073_i64, 4383796248451589_i64, 4372341169422858_i64, 4357740343059955_i64, 4338425130125967_i64, 4311541827049176_i64, 4271262897902398_i64, 4203411844498904_i64, 4061213381260384_i64)
R32 = 7.6971174701310497140446280481_f32
R64 = 7.6971174701310497140446280481
W32 = Float32.static_array(1.03677719e-06, 7.61177108e-09, 1.24977240e-08, 1.63680292e-08, 1.96847466e-08, 2.26448404e-08, 2.53524197e-08, 2.78699974e-08, 3.02384333e-08, 3.24861032e-08, 3.46336312e-08, 3.66965478e-08, 3.86868855e-08, 4.06141855e-08, 4.24861622e-08, 4.43091566e-08, 4.60884545e-08, 4.78285168e-08, 4.95331490e-08, 5.12056279e-08, 5.28488000e-08, 5.44651557e-08, 5.60568899e-08, 5.76259484e-08, 5.91740662e-08, 6.07027987e-08, 6.22135462e-08, 6.37075759e-08, 6.51860386e-08, 6.66499836e-08, 6.81003709e-08, 6.95380822e-08, 7.09639292e-08, 7.23786618e-08, 7.37829746e-08, 7.51775128e-08, 7.65628768e-08, 7.79396272e-08, 7.93082883e-08, 8.06693516e-08, 8.20232788e-08, 8.33705045e-08, 8.47114385e-08, 8.60464681e-08, 8.73759596e-08, 8.87002606e-08, 9.00197010e-08, 9.13345948e-08, 9.26452410e-08, 9.39519249e-08, 9.52549192e-08, 9.65544849e-08, 9.78508719e-08, 9.91443202e-08, 1.00435060e-07, 1.01723315e-07, 1.03009296e-07, 1.04293211e-07, 1.05575259e-07, 1.06855633e-07, 1.08134518e-07, 1.09412096e-07, 1.10688542e-07, 1.11964025e-07, 1.13238713e-07, 1.14512767e-07, 1.15786343e-07, 1.17059595e-07, 1.18332673e-07, 1.19605723e-07, 1.20878890e-07, 1.22152313e-07, 1.23426131e-07, 1.24700479e-07, 1.25975490e-07, 1.27251294e-07, 1.28528022e-07, 1.29805799e-07, 1.31084751e-07, 1.32365001e-07, 1.33646673e-07, 1.34929886e-07, 1.36214760e-07, 1.37501415e-07, 1.38789966e-07, 1.40080532e-07, 1.41373228e-07, 1.42668169e-07, 1.43965470e-07, 1.45265245e-07, 1.46567606e-07, 1.47872669e-07, 1.49180545e-07, 1.50491348e-07, 1.51805191e-07, 1.53122186e-07, 1.54442445e-07, 1.55766083e-07, 1.57093212e-07, 1.58423946e-07, 1.59758399e-07, 1.61096684e-07, 1.62438917e-07, 1.63785214e-07, 1.65135690e-07, 1.66490462e-07, 1.67849647e-07, 1.69213364e-07, 1.70581733e-07, 1.71954874e-07, 1.73332908e-07, 1.74715958e-07, 1.76104148e-07, 1.77497602e-07, 1.78896448e-07, 1.80300814e-07, 1.81710828e-07, 1.83126623e-07, 1.84548331e-07, 1.85976086e-07, 1.87410026e-07, 1.88850288e-07, 1.90297012e-07, 1.91750343e-07, 1.93210424e-07, 1.94677403e-07, 1.96151428e-07, 1.97632653e-07, 1.99121231e-07, 2.00617321e-07, 2.02121082e-07, 2.03632677e-07, 2.05152273e-07, 2.06680040e-07, 2.08216149e-07, 2.09760777e-07, 2.11314104e-07, 2.12876312e-07, 2.14447590e-07, 2.16028129e-07, 2.17618123e-07, 2.19217773e-07, 2.20827283e-07, 2.22446862e-07, 2.24076723e-07, 2.25717086e-07, 2.27368174e-07, 2.29030216e-07, 2.30703448e-07, 2.32388110e-07, 2.34084450e-07, 2.35792720e-07, 2.37513182e-07, 2.39246101e-07, 2.40991752e-07, 2.42750416e-07, 2.44522382e-07, 2.46307948e-07, 2.48107418e-07, 2.49921109e-07, 2.51749342e-07, 2.53592452e-07, 2.55450781e-07, 2.57324683e-07, 2.59214522e-07, 2.61120673e-07, 2.63043524e-07, 2.64983476e-07, 2.66940939e-07, 2.68916342e-07, 2.70910123e-07, 2.72922739e-07, 2.74954660e-07, 2.77006373e-07, 2.79078382e-07, 2.81171210e-07, 2.83285396e-07, 2.85421503e-07, 2.87580110e-07, 2.89761822e-07, 2.91967265e-07, 2.94197089e-07, 2.96451969e-07, 2.98732610e-07, 3.01039742e-07, 3.03374127e-07, 3.05736557e-07, 3.08127859e-07, 3.10548894e-07, 3.13000563e-07, 3.15483804e-07, 3.17999599e-07, 3.20548974e-07, 3.23133003e-07, 3.25752811e-07, 3.28409576e-07, 3.31104534e-07, 3.33838984e-07, 3.36614287e-07, 3.39431878e-07, 3.42293264e-07, 3.45200034e-07, 3.48153864e-07, 3.51156520e-07, 3.54209871e-07, 3.57315892e-07, 3.60476673e-07, 3.63694431e-07, 3.66971518e-07, 3.70310433e-07, 3.73713834e-07, 3.77184553e-07, 3.80725611e-07, 3.84340234e-07, 3.88031877e-07, 3.91804239e-07, 3.95661291e-07, 3.99607304e-07, 4.03646879e-07, 4.07784981e-07, 4.12026980e-07, 4.16378695e-07, 4.20846449e-07, 4.25437124e-07, 4.30158235e-07, 4.35018005e-07, 4.40025460e-07, 4.45190536e-07, 4.50524210e-07, 4.56038644e-07, 4.61747369e-07, 4.67665494e-07, 4.73809965e-07, 4.80199879e-07, 4.86856855e-07, 4.93805512e-07, 5.01074042e-07, 5.08694944e-07, 5.16705952e-07, 5.25151216e-07, 5.34082859e-07, 5.43563016e-07, 5.53666578e-07, 5.64484953e-07, 5.76131313e-07, 5.88748108e-07, 6.02518140e-07, 6.17681418e-07, 6.34561837e-07, 6.53611496e-07, 6.75488730e-07, 7.01206245e-07, 7.32441505e-07, 7.72282898e-07, 8.27435688e-07, 9.17567905e-07)
W64 = Float64.static_array(1.9311480126418366e-15, 1.4178028487910829e-17, 2.3278824993382448e-17, 3.0487830247064320e-17, 3.6665697714474878e-17, 4.2179302189289733e-17, 4.7222561556862764e-17, 5.1911915446217879e-17, 5.6323471083955047e-17, 6.0510082606427647e-17, 6.4510165096727506e-17, 6.8352646803700541e-17, 7.2059939574689050e-17, 7.5649815537392981e-17, 7.9136643961951065e-17, 8.2532235563518929e-17, 8.5846436168850513e-17, 8.9087554865647428e-17, 9.2262679629663719e-17, 9.5377914505292719e-17, 9.8438560874559257e-17, 1.0144925809006294e-16, 1.0441409405585343e-16, 1.0733669323436384e-16, 1.1022028745670189e-16, 1.1306777346479334e-16, 1.1588176009705533e-16, 1.1866460730417886e-16, 1.2141845865694359e-16, 1.2414526862326387e-16, 1.2684682560606153e-16, 1.2952477151912284e-16, 1.3218061851538810e-16, 1.3481576335745444e-16, 1.3743149982367625e-16, 1.4002902946807859e-16, 1.4260947099321287e-16, 1.4517386844829297e-16, 1.4772319842763584e-16, 1.5025837641447456e-16, 1.5278026239101652e-16, 1.5528966581595696e-16, 1.5778735005459581e-16, 1.6027403633350909e-16, 1.6275040728083524e-16, 1.6521711010420076e-16, 1.6767475945078279e-16, 1.7012393998770646e-16, 1.7256520873568226e-16, 1.7499909718432365e-16, 1.7742611321380505e-16, 1.7984674284430714e-16, 1.8226145183195818e-16, 1.8467068712763576e-16, 1.8707487821298258e-16, 1.8947443832625899e-16, 1.9186976558915995e-16, 1.9426124404443042e-16, 1.9664924461299023e-16, 1.9903412597830144e-16, 2.0141623540485899e-16, 2.0379590949693882e-16, 2.0617347490308439e-16, 2.0854924897123771e-16, 2.1092354035891528e-16, 2.1329664960238294e-16, 2.1566886964838970e-16, 2.1804048635167009e-16, 2.2041177894111562e-16, 2.2278302045723950e-16, 2.2515447816331350e-16, 2.2752641393233694e-16, 2.2989908461180186e-16, 2.3227274236804366e-16, 2.3464763501180916e-16, 2.3702400630653389e-16, 2.3940209626069303e-16, 2.4178214140547710e-16, 2.4416437505894123e-16, 2.4654902757768304e-16, 2.4893632659702250e-16, 2.5132649726057970e-16, 2.5371976244007951e-16, 2.5611634294614988e-16, 2.5851645773082391e-16, 2.6092032408240577e-16, 2.6332815781331452e-16, 2.6574017344147618e-16, 2.6815658436579989e-16, 2.7057760303623509e-16, 2.7300344111887955e-16, 2.7543430965657619e-16, 2.7787041922541278e-16, 2.8031198008751431e-16, 2.8275920234049704e-16, 2.8521229606393309e-16, 2.8767147146315804e-16, 2.9013693901073754e-16, 2.9260890958589514e-16, 2.9508759461219033e-16, 2.9757320619372521e-16, 3.0006595725014739e-16, 3.0256606165070789e-16, 3.0507373434762511e-16, 3.0758919150899939e-16, 3.1011265065151543e-16, 3.1264433077316750e-16, 3.1518445248623523e-16, 3.1773323815073683e-16, 3.2029091200858335e-16, 3.2285770031865573e-16, 3.2543383149302610e-16, 3.2801953623454359e-16, 3.3061504767600738e-16, 3.3322060152114841e-16, 3.3583643618764577e-16, 3.3846279295240445e-16, 3.4109991609932597e-16, 3.4374805306980633e-16, 3.4640745461620167e-16, 3.4907837495850680e-16, 3.5176107194449828e-16, 3.5445580721360130e-16, 3.5716284636474652e-16, 3.5988245912849274e-16, 3.6261491954370031e-16, 3.6536050613905045e-16, 3.6811950211971757e-16, 3.7089219555951389e-16, 3.7367887959883854e-16, 3.7647985264877841e-16, 3.7929541860172334e-16, 3.8212588704887531e-16, 3.8497157350504876e-16, 3.8783279964117988e-16, 3.9070989352498183e-16, 3.9360318987020748e-16, 3.9651303029500381e-16, 3.9943976358986842e-16, 4.0238374599574693e-16, 4.0534534149283966e-16, 4.0832492210071775e-16, 4.1132286819038357e-16, 4.1433956880894741e-16, 4.1737542201763194e-16, 4.2043083524385856e-16, 4.2350622564821518e-16, 4.2660202050715582e-16, 4.2971865761233266e-16, 4.3285658568752094e-16, 4.3601626482415681e-16, 4.3919816693657415e-16, 4.4240277623809919e-16, 4.4563058973923611e-16, 4.4888211776926172e-16, 4.5215788452263475e-16, 4.5545842863172421e-16, 4.5878430376746227e-16, 4.6213607926964266e-16, 4.6551434080870692e-16, 4.6891969108099157e-16, 4.7235275053955480e-16, 4.7581415816285534e-16, 4.7930457226372470e-16, 4.8282467134125866e-16, 4.8637515497845119e-16, 4.8995674478861404e-16, 4.9357018541385775e-16, 4.9721624557917034e-16, 5.0089571920591141e-16, 5.0460942658884340e-16, 5.0835821564116245e-16, 5.1214296321235415e-16, 5.1596457648410618e-16, 5.1982399444994938e-16, 5.2372218948478484e-16, 5.2766016901098856e-16, 5.3163897726836902e-16, 5.3565969719590503e-16, 5.3972345243389779e-16, 5.4383140945596370e-16, 5.4798477984116296e-16, 5.5218482269752343e-16, 5.5643284724928722e-16, 5.6073021560139669e-16, 5.6507834569605064e-16, 5.6947871447763482e-16, 5.7393286128396354e-16, 5.7844239148359912e-16, 5.8300898038105864e-16, 5.8763437741400573e-16, 5.9232041066909314e-16, 5.9706899174600906e-16, 6.0188212100252363e-16, 6.0676189321700068e-16, 6.1171050370897217e-16, 6.1673025496306200e-16, 6.2182356380685327e-16, 6.2699296919933262e-16, 6.3224114069342115e-16, 6.3757088764394262e-16, 6.4298516924135947e-16, 6.4848710546189033e-16, 6.5407998903644809e-16, 6.5976729855445663e-16, 6.6555271283433428e-16, 6.7144012671064882e-16, 6.7743366840910103e-16, 6.8353771870512740e-16, 6.8975693209068478e-16, 6.9609626020748846e-16, 7.0256097784459588e-16, 7.0915671184495837e-16, 7.1588947332085531e-16, 7.2276569364381212e-16, 7.2979226475290851e-16, 7.3697658441912426e-16, 7.4432660721604146e-16, 7.5185090208325131e-16, 7.5955871753377488e-16, 7.6746005575784274e-16, 7.7556575712157906e-16, 7.8388759686228577e-16, 7.9243839615735500e-16, 8.0123215021130834e-16, 8.1028417659131464e-16, 8.1961128778061250e-16, 8.2923199285818092e-16, 8.3916673441467979e-16, 8.4943816836487701e-16, 8.6007149633349414e-16, 8.7109486293879040e-16, 8.8253983380721398e-16, 8.9444197485198646e-16, 9.0684155971316690e-16, 9.1978444098118649e-16, 9.3332313294229516e-16, 9.4751817065249841e-16, 9.6243983456584759e-16, 9.7817036547844198e-16, 9.9480684723838795e-16, 1.0124650144288319e-15, 1.0312843657756166e-15, 1.0514351604044550e-15, 1.0731281954224043e-15, 1.0966288068517408e-15, 1.1222774909350319e-15, 1.1505212963006663e-15, 1.1819635283304206e-15, 1.2174462832361815e-15, 1.2581958069755114e-15, 1.3060984107128082e-15, 1.3642786158057857e-15, 1.4384889932178723e-15, 1.5412190700064194e-15, 1.7091034077168055e-15)