{"version":9,"randomSeed":"f210c956d2614270439e0b8cf3ac2f2d","graph":{"viewport":{"xmin":-78.68421672078583,"ymin":-586.5060578248402,"xmax":1082.9486467841255,"ymax":647.8332435223919}},"expressions":{"list":[{"type":"folder","id":"16","title":"rapidly changing data","collapsed":true},{"type":"expression","id":"1","folderId":"16","color":"#c74440","latex":"C=\\left[8.378258236960761,457.07368127485296,273.06900431865256,81.2593357314424,728.3398509988517,604.4492581545863,960.4075973423901,277.66701465504946,353.4901982804916,988.7173169153929,792.8018715576634,908.4984964340249,671.9215973586253,743.569437619164,0.11128079086795573,294.14439017350753,691.837454763362,286.7442338608987,482.81896947954806,910.7813165003998,405.186252794171,478.8995584473752,580.9451968682673,859.6727976544662,638.9212406582501,709.7281014800282,533.6385110301769,376.4380708519534,196.15456588379044,855.2571664597709,893.90952066924,208.65262380957395,633.9971575154749,694.3792785860031,967.5061763817062,397.27351898523665,381.7492887449582,761.0332336135615,374.3476439755515,420.29343704313885,924.1897245771161,779.1876358204576,626.6159634955246,354.5732315878539,648.4651703556232,770.0203094570289,712.07895702367,62.81509388756037,716.6373267308213,312.0271250298969,25.715856582646946,127.22529001877976,340.45403552094547,201.51261957007,585.7043702441814,260.2402756166908,96.16573491961539,837.84476316936,235.85590488330126,508.12613155223363,410.2407529152941,13.915142711934331,347.4388668037282,753.1407000614491,737.423002943017,24.056656760068442,149.6458264087237,467.52800384556787,291.1668059316783,997.1042726375958,113.93413499185338,569.698051953832,248.18183361989986,690.6764305432329,461.12242187678925,466.41898209293225,341.6034427606945,630.7938688734607,429.9497232837102,171.62818824743377,900.7180997255771,400.70062814519366,566.0375218687578,818.4238019311709,632.2840485699988,662.4276587710416,929.2633122773253,193.86850499827978,564.8989401345098,259.07297490177893,774.0123625644457,802.9159904236701,165.73224712739332,355.93523639146775,30.695073534113654,942.3847296887308,88.70382981605468,243.9298632523037,884.7464516396229,278.6933147190432,599.2512541692842,702.7785703268328,91.10834911422393,130.73121845671508,903.0924246571687,157.67380288885397,763.5146318081886,289.6178373280208,686.7927010605123,489.24754799545116,592.6493752541232,620.2411890885639,998.6369495705931,732.1821387598575,22.754281019014204,814.1801602216674,554.5585321203979,575.0664925137551,986.7118093624081,449.07456618898095,164.28124290451248,357.5285515560932,160.26219960442285,606.503878470242,187.88240163992893,135.76537352866168,112.35713233277917,115.55547828841665,658.6314221093955,129.5604504088173,540.6650817238088,546.488402768347,366.90256691245304,955.9033987824247,705.636051067462,142.1286461501647,922.5134043809517,610.0562224446804,179.41384399530608,834.0715866102913,28.812536184397743,351.4900606345372,426.3385580784271,266.46662029477267,505.20411744836673,501.5199976824475,798.0040760422046,957.16486069729,412.8331448275725,510.9251308511506,154.36211873589122,699.8449840519335,270.94538600616676,68.54290433689785,651.7445618953395,739.2219021501055,587.3925628494735,296.93610464238077,487.23301120129804,462.8718513916521,864.6932637560894,823.8977755872032,418.72201814306123,320.2169407182048,573.1017612722334,530.2885740108732,896.6924450255955,591.4949207993859,443.09773033636975,720.7659143173556,733.2137624055682,597.2315259724185,571.5515097311069,385.17138919394773,975.8101780189802,815.2078593117222,825.7983873735976,140.74725919741098,293.02800289284784,665.5000457270615,782.537730049533,261.6599407425093,246.3305998226397,901.8077556392954,392.287972742829,414.4910635443846,371.22006757528845,2.6338142029946106,204.69061410252107,101.90782786456187,192.30964021649746,258.0288787931153,582.0988977788525,874.3759522648738,577.6105794967788,863.0588152419886,905.8282197588017,264.11171681216626,628.3758365333669,386.55868566237245,616.8039836602461,636.1531541283341,280.6315023573695,978.9895277825804,344.9856426391507,787.4491973438406,829.573558166182,918.2165472298742,683.9039800520304,812.0003395777637,168.45880324119892,41.51886991439104,229.09888292108613,870.9445720235456,425.30430140451784,857.797180712253,94.77213725546311,953.2505898276848,937.6499187959159,308.91896397913837,240.88930522027403,59.52006072889307,890.4406254863745,422.3421748795544,980.3053811610312,526.0034920611932,454.4129925473911,417.19665291005913,20.770549266774367,722.8889837979038,776.3932452949956,696.1568242264544,945.6795222739672,78.82560543838642,982.2553117530232,106.6624857654861,231.87002502040906,539.2486271441442,368.9762615946005,861.987463286082,932.9385901043446,849.3578422734746,185.9831123463388,7.275214193789498,440.8978798130666,325.3674040628364,583.3005267801145,973.7677862317428,557.2182621726475,593.8791287748843,255.7416278158707,645.406739407257,61.76255073873413,480.90252021271755,915.3148560200178,431.76764924870514,403.29885942124264,949.6198378918089,70.38959515416988,12.414072658068708,242.26466471828272,506.820894058412,708.2023852844721,676.8140811530192,713.7135232535136,455.9357593668903,701.241309904359,306.6646810156616,477.5354753555701,323.78924943781703,697.3456850043743,169.9970770742716,841.7529994201444,250.97430204356965,537.8141620476837,47.645680341602585,427.6550198230156,516.7394478354341,972.5686295962118,503.0281521359021,398.81948343178095,191.01482287127718,199.25770965649673,519.1630604943269,800.8958381942066,965.3298102101036,496.31245732835265,551.219028998602,523.0912596684245,589.3406705896787,562.4124108818224,547.8583124377426,657.2323736820626,745.4799215213438,724.382243844077,607.9771527616005,746.9520511990866,71.49914391875521,614.2141720749165,197.51085489956554,536.7347793553914,329.0054459448607,790.9463969708718,961.6435833097306,189.86888508073022,215.9907708984366,348.75592937108627,42.56450458336088,642.3418157399672,623.4616105234335,930.7819783405173,621.954245983573,146.18279674716842,287.9077566645169,486.0991442177371,560.2031934417824,845.0814115445852,765.9248929442856,925.9717610241793,679.6850906654917,407.86182638327034,822.6491017199272,268.8959730279648,39.946724256215354,147.8869854286244,210.2172176657744,839.1717103497593,212.66829065069857,377.6760299284117,806.2270174001878,174.13419934735137,433.68439826879364,783.6187610331383,521.6559604525465,284.77990194858216,465.05629488445,785.291492711866,54.948932150038516,83.60557310184826,877.9776337755183,131.85968028305825,300.07552889611713,155.76529960112697,719.0034204558174,912.7299938978156,882.9955087575978,751.4681320719618,612.1664794930448,358.56415813862634,490.9840449635922,459.1430260105448,887.2269765934078,772.2539382958078,891.980097637668,725.6680690948108,63.83880858229546,394.74823985643866,361.9610993108658,556.0658402684237,762.4829110007622,828.3791433943333,509.67536937309416,920.3476466068225,337.70969812589755,847.2849181567477,831.3353059752079,176.86572713482138,717.8607088620042,379.3485313559978,387.67579343367095,67.17091483168772,100.45015858993214,985.0382738108264,736.0886257882175,110.78624314715536,689.5775392730773,74.32218557724053,437.7181490105728,314.79579148961113,182.47764179577666,963.6284897390773,275.13700932500075,558.4568809300251,936.4167450475644,227.31496607418572,995.3055909556253,886.005934092241,390.106700459031,756.6303799937374,33.049140754892356,553.1967741687963,327.38018718546243,109.71921685291322,151.53177134288197,102.93256372298468,856.6422993218188,360.7885954804317,104.15957089098661,322.18388121595666,178.32221716480626,780.236787927264,476.3688564440687,119.68194912389896,304.52699810286884,9.543358783692689,75.73581710669991,77.46768240714356,97.95313966047564,909.7707478037499,230.22887267091687,17.284644215897764,759.9758761026067,445.49122123792944,36.83765433744163,346.1943019712434,52.741854890566714,5.6151105065642435,641.1507731119677,203.6640689367107,451.4503072749625,365.0634569727711,238.72420349611517,497.71445658559145,833.065080632493,777.4747920843486,542.0684321660078,44.175974756066346,450.4464817695762,817.2244297593703,31.96914509996022,904.5165680467,768.7675417448511,468.71454905775295,895.306326136236,93.73310358703608,206.34985896670526,990.8282940726142,767.5764493275384,664.2118538220809,143.78441437381977,934.7919494378734,916.4270532759832,253.16752551310546,804.3928385848068,180.92997389882342,821.4115136849653,983.501494589443,771.250723620178,447.11399163617784,336.2329507605839,295.76402554944485,810.1672422183964,35.38246381114105,393.3932796000625,16.084159593993153,879.0779957625815,563.5438253502994,350.056445973632,646.6826517657129,221.68798545558727,315.80938488734876,579.6276031538698,124.97137533885707,473.24619374351045,11.004320155428346,137.8666652965633,85.2851593604837,55.98066267266134,58.15738832622508,618.3794040003856,681.0638502518876,867.830246721949,389.08896275240903,685.0997363454723,992.6210812959604,494.2324267538214,223.1053059438011,87.56442686827803,853.7375597595352,515.671598556944,944.127976852186,741.8072466410338,794.3855440657395,283.390313585788,513.2573361357189,860.9176551184673,298.58201299281313,931.9369424260836,650.0879527877471,439.4623710302982,928.0990109352442,977.11243205766,237.00479155390647,436.0482491185522,453.0691949636187,670.0591549948903,764.8147307380516,122.49577858599197,748.1652073845846,866.4355896829865,80.104860480121,876.1592916529788,234.26943672053497,123.93410965850495,121.14683068209764,406.6324360197717,330.7211779284884,673.4464481095633,707.1756628407724,484.2362780197036,514.6344984174501,49.962305354082204,184.83311597330433,274.11402469196094,51.30696736277896,842.8186913666251,162.99970417188499,219.9641566278655,245.32200052405517,139.53720930050093,214.41416324552824,654.3321006520544,90.0483243731688,693.3626469096913,808.2622822333651,313.3882793337517,335.03131757170877,458.0944764243799,940.9508469111933,548.9258511037793,332.43614551735953,342.88378509674965,899.3432851325133,339.2734196071348,637.3940757746524,383.1745556759324,38.222823998073466,730.4649180377914,86.35398037134064,750.0487383015519,726.9286817596841,46.32158756618654,958.9338994455857,836.2276390604271,754.8284961678858,789.0906412293037,217.2325763577124,970.7845386963227,18.33296927524504,128.2857920768885,567.4244905448685,520.3391653533876,444.42619034992583,263.02287730242716,92.36956786120999,441.96952109518645,888.4380950554665,225.3205733344003,906.8393731592074,602.4304907108547,667.9323020633516,493.07850101231713,396.14137934880097,249.80799276279993,19.57248218517722,675.1720453997699,678.5324136059295,898.2509800159552,256.99428315492406,65.9384551154696,601.3030943625487,474.36575233389453,666.508942111848,307.8124024057799,26.858405775641074,969.6192921726634,851.0735238588621,595.6682537422959,310.9206375235912,469.90599144829656,301.51190795066657,133.46341388316446,615.5344559067407,267.626771921465,781.3032100210911,333.7993100920409,640.0577835681553,175.8205462115355,715.0520709871465,545.1474569168929,531.8394495015884,471.51187532860683,644.2139625927064,166.79842820003574\\right]"},{"type":"expression","id":"4","folderId":"16","color":"#6042a6","latex":"R=363.181168305344"},{"type":"expression","id":"18","color":"#2d70b3","latex":"C\\to\\left[\\right]"},{"type":"expression","id":"10","color":"#000000","latex":"h=50"},{"type":"expression","id":"8","color":"#388c46","latex":"P\\left(x\\right)=\\operatorname{polygon}\\left(\\left(x,-h\\right),\\left(x+1,-h\\right),\\left(x+1,h\\right),\\left(x,h\\right)\\right)"},{"type":"expression","id":"5","color":"#c74440","latex":"P\\left(C\\right)","lines":false,"fillOpacity":"1","lineOpacity":"1"},{"type":"expression","id":"2","color":"#2d70b3","latex":"L=1000","slider":{"hardMin":true,"hardMax":true,"min":"0","max":"1000"}},{"type":"expression","id":"19","color":"#388c46","latex":"\\frac{\\operatorname{length}\\left(C\\right)}{L}"},{"type":"expression","id":"9","color":"#2d70b3","latex":"P\\left(R\\right)","fillOpacity":"0.2","lineOpacity":"0.6"},{"type":"expression","id":"7","color":"#2d70b3","latex":"S=\\left(C\\to\\left\\{\\prod_{k=1}^{\\operatorname{length}\\left(C\\right)}\\left\\{\\left|R-C\\left[k\\right]\\right|\\ge1:1,0\\right\\}=1:\\operatorname{join}\\left(C,R\\right),C\\right\\},R\\to\\left(L-1\\right)\\operatorname{random}\\left(\\right)\\right)"},{"type":"folder","id":"21","title":"recursive solution, according to Wolfram MathWorld https://mathworld.wolfram.com/RenyisParkingConstants.html","hidden":true,"collapsed":true},{"type":"expression","id":"22","folderId":"21","color":"#000000","latex":"M_{0}\\left(x\\right)=\\left\\{0\\le x\\le1:0,1+\\frac{2}{x-1}\\int_{0}^{x-1}0dt_{0}\\right\\}"},{"type":"expression","id":"23","folderId":"21","color":"#c74440","latex":"M_{1}\\left(x\\right)=1+\\frac{2\\left(x-2\\right)}{x-1}"}],"ticker":{"handlerLatex":"S","minStepLatex":"100","playing":true,"open":true}}}