Spaces:
Running
Running
File size: 24,973 Bytes
e2d54c9 | 1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22 23 24 25 26 27 28 29 30 31 32 33 34 35 36 37 38 39 40 41 42 43 44 45 46 47 48 49 50 51 52 53 54 55 56 57 58 59 60 61 62 | t,a_t,b_t,m_t,m_t_exact,m_next_over_m_t,m_ratio_exact,m_increased,sup_W_outside,W_basin1,mass_conserved_exact
0,0.001,0.001,0.998,499/500,1.000738044307677,80000/79941,True,1.000738044307677,0.631715890469221,True
1,0.0006317158904692211,0.0006317158904692211,0.9987365682190615,79840/79941,1.0004661076243209,12790560/12784601,True,1.0004661076243209,0.6315442304378526,True
2,0.00039895652590174696,0.00039895652590174696,0.9992020869481965,12774400/12784601,1.0002943170348826,2045536160/2044934301,True,1.0002943170348826,0.6314357876282696,True
3,0.00025191542816220774,0.00025191542816220774,0.9994961691436756,2043904000/2044934301,1.0001858221517266,327189488160/327128700401,True,1.0001858221517266,0.6313673002332774,True
4,0.0001590511637658832,0.0001590511637658832,0.9996818976724682,327024640000/327128700401,1.0001173139942363,52340592064160/52334452500501,True,1.0001173139942363,0.6313240544588616,True
5,0.00010041282557507778,0.00010041282557507778,0.9997991743488498,52323942400000/52334452500501,1.0000740599433307,8373512400080160/8372892304150601,True,1.0000740599433307,0.6312967503392275,True
6,6.339029047792627e-05,6.339029047792627e-05,0.9998732194190442,8371830784000000/8372892304150601,1.000046752524924,1339662768664096160/1339600138975210701,True,1.000046752524924,0.6312795125313582,True
7,4.0016991672126494e-05,4.0016991672126494e-05,0.9999199660166558,1339492925440000000/1339600138975210701,1.0000295134023733,214336022236033712160/214329696637456280801,True,1.0000295134023733,0.6312686303352482,True
8,2.5261471523000327e-05,2.5261471523000327e-05,0.999949477056954,214318868070400000000/214329696637456280801,1.000018630682344,34292751461993004928160/34292112576536684360901,True,1.000018630682344,0.6312617606182297,True
9,1.594660098941646e-05,1.594660098941646e-05,0.9999681067980212,34291018891264000000000/34292112576536684360901,1.0000117607565435,5486738012245869497744160/5486673484814781120451001,True,1.0000117607565435,0.631257423977568,True
10,1.0066410261777172e-05,1.0066410261777172e-05,0.9999798671794764,5486563022602240000000000/5486673484814781120451001,1.000007424032684,877867757570364979272160160/877861240299825053165551101,True,1.000007424032684,0.6312546864206318,True
11,6.354468653179577e-06,6.354468653179577e-06,0.9999872910626937,877850083616358400000000000/877861240299825053165551101,1.0000046864425944,140457798447972008506488176160/140457140203647475969720661201,True,1.0000046864425944,0.6312529583168877,True
12,4.011277135851537e-06,4.011277135851537e-06,0.9999919774457283,140456013378617344000000000000/140457140203647475969720661201,1.0000029583256393,22473142432583596155155305792160/22473075949906818368941786781301,True,1.0000029583256393,0.6312518674430598,True
13,2.5321261828379313e-06,2.5321261828379313e-06,0.9999949357476343,22472962140578775040000000000000/22473075949906818368941786781301,1.0000018674465472,3595692151985090939030685885008160/3595685437234736382623120464911401,True,1.0000018674465472,0.6312511788256329,True
14,1.5984076378516943e-06,1.5984076378516943e-06,0.9999968031847243,3595673942492604006400000000000000/3595685437234736382623120464911401,1.0000011788270224,575309669957557821219699274385824160/575308991767772011022535166956051501,True,1.0000011788270224,0.631250744134558,True
15,1.008996010824243e-06,1.008996010824243e-06,0.9999979820079784,575307830798816641024000000000000000/575308991767772011022535166956051501,1.0000007441351118,92049438682843521763605626712968240160/92049370185675154933692051862561201601,True,1.0000007441351118,0.6312504697352893,True
16,6.369292057938365e-07,6.369292057938365e-07,0.9999987261415885,92049252927810662563840000000000000000/92049370185675154933692051862561201601,1.0000004697355098,14727899229708024789390728298009792256160/14727892311494019739569457238118681361701,True,1.0000004697355098,0.6312502965205407,True
17,4.0206175001995174e-07,4.0206175001995174e-07,0.9999991958765,14727880468449706010214400000000000000000/14727892311494019739569457238118681361701,1.0000002965206285,2356462769839043158331113158098989017872160/2356462071099428648299164781049986817531801,True,1.0000002965206285,0.6312501871786468,True
18,2.538015549574688e-07,2.538015549574688e-07,0.9999994923968901,2356460874951952961634304000000000000000000/2356462071099428648299164781049986817531801,1.0000001871786819,377033931375908583727866364967997890805088160/377033860803207518214639578886048668570711901,True,1.0000001871786819,0.6312501181565429,True
19,1.6021226155521652e-07,1.6021226155521652e-07,0.9999996795754769,377033739992312473861488640000000000000000000/377033860803207518214639578886048668570711901,1.0000001181565568,60325417728513202914342332621767786971313904160/60325410600670395297506427227490915525641902001,True,1.0000001181565568,0.6312500745863265,True
20,1.0113400205637447e-07,1.0113400205637447e-07,0.9999997977319959,60325398398769995817838182400000000000000000000/60325410600670395297506427227490915525641902001,1.000000074586332,9652065696107263247601028356398546484102704320160/9652064976195139678300601911576582468089832102101,True,1.000000074586332,0.6312500470826221,True
21,6.384084355974038e-08,6.384084355974038e-08,0.9999998723183129,9652063743803199330854109184000000000000000000000/9652064976195139678300601911576582468089832102101,1.0000000470826242,1544330396191222348528096305852253194894373136336160/1544330323480097868028753234925234829277073042312201,True,1.0000000470826242,0.6312500297209066,True
22,4.029953439449387e-08,4.029953439449387e-08,0.9999999194009312,1544330199008511892936657469440000000000000000000000/1544330323480097868028753234925234829277073042312201,1.0000000297209075,247092851756815658884600517588037572684331686769952160/247092844412992086354166867424408717756984377273532301,True,1.0000000297209075,0.6312500187613228,True
23,2.543908184259683e-08,2.543908184259683e-08,0.9999999491218363,247092831841361902869865195110400000000000000000000000/247092844412992086354166867424408717756984377273532301,1.0000000187613232,39534855106078733816666698787905394841117500363765168160/39534854364352552991092900121378880493455422104626762401,True,1.0000000187613232,0.6312500118430853,True
24,1.6058420714416465e-08,1.6058420714416465e-08,0.9999999678831586,39534853094617904459178431217664000000000000000000000000/39534854364352552991092900121378880493455422104626762401,1.0000000118430854,6325576698296408478574864019420620878952867536740281984160/6325576623382064215191910354101442929838997632567303002501,True,1.0000000118430854,0.6312500074759476,True
25,1.0136878196027307e-08,1.0136878196027307e-08,0.9999999797262437,6325576495138864713468548994826240000000000000000000000000/6325576623382064215191910354101442929838997632567303002501,1.0000000074759476,1012092259741130274430705656656230868774239621210768480400160/1012092252174781503829027336458993895913738760889297603252601,True,1.0000000074759476,0.631250004719192,True
26,6.398904409080112e-09,6.398904409080112e-09,0.9999999872021912,1012092239222218354154967839172198400000000000000000000000000/1012092252174781503829027336458993895913738760889297603252601,1.000000004719192,161934760347965040612644373833439023346198201742287616520416160/161934759583763814781874863493518089087287614849819057928512701,True,1.000000004719192,0.6312500029789899,True
27,4.039308427294093e-09,4.039308427294093e-09,0.9999999919213831,161934758275554936664794854267551744000000000000000000000000000/161934759583763814781874863493518089087287614849819057928512701,1.00000000297899,25909561533402210365099978158962894253966018375971049268562032160/25909561456217886556192257614630879893816049099831724850779782801,True,1.00000000297899,0.6312500018804874,True
28,2.549813452325265e-09,2.549813452325265e-09,0.9999999949003731,25909561324088789866367176682808279040000000000000000000000000000/25909561456217886556192257614630879893816049099831724850779782801,1.0000000018804873,4145529832994861848990761218340940783010567855973075976124765248160/4145529825199245144291081443363407332635420959083004209928758062901,True,1.0000000018804873,0.6312500011870577,True
29,1.609569744807099e-09,1.609569744807099e-09,0.9999999967808605,4145529811854206378618748269249324646400000000000000000000000000000/4145529825199245144291081443363407332635420959083004209928758062901,1.0000000011870578,663284772031879223086573030938145173221667353453280673588601290064160/663284771244521935911905373665414294733777516867383425202804564353001,True,1.0000000011870578,0.6312500007493301,True
30,1.0160409026155805e-09,1.0160409026155805e-09,0.9999999979679182,663284769896673020578999723079891943424000000000000000000000000000000/663284771244521935911905373665414294733777516867383425202804564353001,1.0000000007493302,106125563399123509745904859786466287157404402698781348032448730296480160/106125563319600423741263426401920468430127529203605725945483260999653101,True,1.0000000007493302,0.6312500004730147,True
31,6.413758202566874e-10,6.413758202566874e-10,0.9999999987172483,106125563183467683292639955692782710947840000000000000000000000000000000/106125563319600423741263426401920468430127529203605725945483260999653101,1.0000000004730147,16980090131136067798602148224307274948820404672576916151277321759944496160/16980090123104236112133363452468147257365440449564178320493809360964963201,True,1.0000000004730147,0.6312500002985905,True
32,4.048684867285426e-10,4.048684867285426e-10,0.9999999991902631,16980090109354829326822392910845233751654400000000000000000000000000000000/16980090123104236112133363452468147257365440449564178320493809360964963201,1.0000000002985905,2716814419696677777941338152394903561178470471930268531279009497754394112160/2716814418885462777607990890439151664341519085405982010369874745457461283301,True,1.0000000002985905,0.6312500001884852,True
33,2.555732323237043e-10,2.555732323237043e-10,0.9999999994888535,2716814417496772692291582865735237400264704000000000000000000000000000000000/2716814418885462777607990890439151664341519085405982010369874745457461283301,1.0000000001884852,434690307021674044417278542470264266294643053664957121659179959273193805328160/434690306939741329383610469012733324714110963626004183047357349291203589613401,True,1.0000000001884852,0.6312500001189814,True
34,1.6133060293474676e-10,1.6133060293474676e-10,0.9999999996773388,434690306799483630766653258517637984042352640000000000000000000000000000000000/434690306939741329383610469012733324714110963626004183047357349291203589613401,1.0000000001189813,69550449110358612701377675042037331954257754180160669287577175886592574338144160/69550449102083408482977199622826706854624013086226422487783092278411562550953501,True,1.0000000001189813,0.631250000075107,True
35,1.0183994311467595e-10,1.0183994311467595e-10,0.9999999997963201,69550449087917380922664521362822077446776422400000000000000000000000000000000000/69550449102083408482977199622826706854624013086226422487783092278411562550953501,1.000000000075107,11128071856333345357276351939652273096739842093796227598045294764545850008152560160/11128071855497549731217903922311999961676834243308868671266092320119567817646303601,True,1.000000000075107,0.6312500000474113,True
36,6.428646409596755e-11,6.428646409596755e-11,0.9999999998714271,11128071854066780947626323418051532391484227584000000000000000000000000000000000000/11128071855497549731217903922311999961676834243308868671266092320119567817646303601,1.0000000000474112,1780491496879607956994864627569919993868293478929418987402574771219130850823408576160/1780491496795192598762961377818552407226929686030195735797875324332076349582276663701,True,1.0000000000474112,0.6312500000299284,True
37,4.0580830462503504e-11,4.0580830462503504e-11,0.9999999999188384,1780491496650684951620211746888245182637476413440000000000000000000000000000000000000/1780491496795192598762961377818552407226929686030195735797875324332076349582276663701,1.0000000000299283,284878639487230815802073820450968385156308749764831317727660051893132215933164266192160/284878639478704864620651592226080258905531006682009769315585407757539711307809943033801,True,1.0000000000299283,0.6312500000188923,True
38,2.5616649230222002e-11,2.5616649230222002e-11,0.9999999999487666,284878639464109592259233879502119229221996226150400000000000000000000000000000000000000/284878639478704864620651592226080258905531006682009769315585407757539711307809943033801,1.0000000000188922,45580582316592778339304254756172841424884961069121563090493665241206353809249590885408160/45580582315731657269980609705459140673556409017756586700874126183511510842088804246413901,True,1.0000000000188922,0.6312500000119258,True
39,1.6170509826883138e-11,1.6170509826883138e-11,0.999999999967659,45580582314257534761477420720339076675519396184064000000000000000000000000000000000000000/45580582315731657269980609705459140673556409017756586700874126183511510842088804246413901,1.0000000000119258,7292893170517065163196897552873462507769025442841053872139860189361841734734208679426224160/7292893170430091935195209402751378731884841685653191256788286744534662595050969228887804001,True,1.0000000000119258,0.6312500000075282,True
40,1.0207634328341714e-11,1.0207634328341714e-11,0.9999999999795848,7292893170281205561836387315254252268083103389450240000000000000000000000000000000000000000/7292893170430091935195209402751378731884841685653191256788286744534662595050969228887804001,1.0000000000075282,1166862907268814709631233504440220597101574669704510601086125879125546015208155076622048640160/1166862907260030413603063001277890135737272110228536476935616961198000922100147892117668204101,True,1.0000000000075282,0.6312500000047522,True
41,6.443569169814215e-12,6.443569169814215e-12,0.9999999999871129,1166862907244992889893821970440680362893296542312038400000000000000000000000000000000000000000/1166862907260030413603063001277890135737272110228536476935616961198000922100147892117668204101,1.0000000000047522,186698065161604866176490080204462421717963537636565836309698713791680147536023662738826912656160/186698065160717652277644859385067045120168979129492449770497313080998093132114937103884488614201,True,1.0000000000047522,0.6312500000029998,True
42,4.067503038464553e-12,4.067503038464553e-12,0.999999999991865,186698065159198862383011515270508858062927446769926144000000000000000000000000000000000000000000/186698065160717652277644859385067045120168979129492449770497313080998093132114937103884488614201,1.0000000000029998,29871690425714824364423177501610727219227036660718791963279570092959694901138389936621518178272160/29871690425625215760639810198851794182849786251504379922820228621180807406343608647492333350034301,True,1.0000000000029998,0.6312500000018936,True
43,2.567611293038451e-12,2.567611293038451e-12,0.9999999999948648,29871690425471817981281842443281417290068391483188183040000000000000000000000000000000000000000000/29871690425625215760639810198851794182849786251504379922820228621180807406343608647492333350034301,1.0000000000018936,4779470468100034521702369631816287069255965800240700787651236579388929185014977383598773336005488160/4779470468090984052720249534237634832581863508910045171564843090739261548040704473396725668353464401,True,1.0000000000018936,0.6312500000011954,True
44,1.6208046287335913e-12,1.6208046287335913e-12,0.9999999999967584,4779470468075490877005094790925026766410942637310109286400000000000000000000000000000000000000000000/4779470468090984052720249534237634832581863508910045171564843090739261548040704473396725668353464401,1.0000000000011953,764715274894557448435239925478021573213098161425607227450374894518281847686512715743476106936554304160/764715274893643351068045795622577697309013830001211010225649152164665416352111151813069292503699904501,True,1.0000000000011953,0.6312500000007546,True
45,1.0231329218893025e-12,1.0231329218893025e-12,0.9999999999979537,764715274892078540320815166548004282625750821969617485824000000000000000000000000000000000000000000000/764715274893643351068045795622577697309013830001211010225649152164665416352111151813069292503699904501,1.0000000000007545,122354443982982936170887327299612431569442212800193761636103864346346466616337784290091086800591984720160/122354443982890612336800720184212600103129695326329743696406564368631207051563226333119998542873690354601,True,1.0000000000007545,0.6312500000004763,True
46,6.458526569431095e-13,6.458526569431095e-13,0.9999999999987083,122354443982732566451330426647680685220120131515138797731840000000000000000000000000000000000000000000000/122354443982890612336800720184212600103129695326329743696406564368631207051563226333119998542873690354601,1.0000000000004763,19576711037262497973888115229474016016500751252212758991425050298980993128250116213299199766859790456736160/19576711037253173266645367910818633038403186987352493179515623001231751912207885859645119852830242725814701,True,1.0000000000004763,0.6312500000003006,True
47,4.076944896955321e-13,4.076944896955321e-13,0.9999999999991847,19576711037237210632212868263628909635219221042422207637094400000000000000000000000000000000000000000000000/19576711037253173266645367910818633038403186987352493179515623001231751912207885859645119852830242725814701,1.0000000000003006,3132273765960507722663258865730981286144509917976398908722499680197080305953261737543219176452838836130352160/3132273765959565927231741386546787605356655927225512061719647523124406943132996471824157105135854515307284801,True,1.0000000000003006,0.6312500000001898,True
48,2.5735714662038205e-13,2.5735714662038205e-13,0.9999999999994853,3132273765957953701154058922180625541635075366787553221935104000000000000000000000000000000000000000000000000/3132273765959565927231741386546787605356655927225512061719647523124406943132996471824157105135854515307284801,1.0000000000001898,501163802553530548357078621847486016857064948356081929875143603699905110901279435491865136821736722449165568160/501163802553435427018495356449882455097491695290242358327855535835565101256432643654239867618721306046035764901,True,1.0000000000001898,0.6312500000001198,True
49,1.6245669880414698e-13,1.6245669880414698e-13,0.999999999999675,501163802553272592184649427548900086661612058686008515509616640000000000000000000000000000000000000000000000000/501163802553435427018495356449882455097491695290242358327855535835565101256432643654239867618721306046035764901,1.00000000000012,80186208408549668322959257031981192815598671246438777332456885733690416201029222984678378818995408967365722384160/80186208408540061067762347226823233077881772686788980606180790879392075226899697009078226629490851910649612255001,True,1.00000000000012,0.6312500000000756,True
50,1.0255079112013008e-13,1.0255079112013008e-13,0.9999999999997949,80186208408523614749543908407824013865857929389761362481538662400000000000000000000000000000000000000000000000000/80186208408540061067762347226823233077881772686788980606180790879392075226899697009078226629490851910649612255001,1.0000000000000757,12829793345366409770841975556291717292461083629886236896988926540702732036303951521452516260718536305703937960800160/12829793345365439438067087665970763358951676875361607427635040960418599597916869397916900889578576042975610837755101,True,1.0000000000000757,0.6312500000000477,True
51,6.4735186894587e-14,6.4735186894587e-14,0.9999999999998705,12829793345363778359927025345251842218537268702361817997046185984000000000000000000000000000000000000000000000000000/12829793345365439438067087665970763358951676875361607427635040960418599597916869397916900889578576042975610837755101,1.0000000000000477,2052766935258470310090734026555322137432268300057857188421606553666975935666699103666704142332572166876097734040816160/2052766935258372306480470349632905790147818217850869612016864110058278559389603809189606989847436180340536694613265201,True,1.0000000000000477,0.6312500000000302,True
52,4.086408672721e-14,4.086408672721e-14,0.9999999999999183,2052766935258204537588324055240294754965962992377890879527389757440000000000000000000000000000000000000000000000000000/2052766935258372306480470349632905790147818217850869612016864110058278559389603809189606989847436180340536694613265201,1.0000000000000302,328442709641339569036875255941264926423650914856139137922698257609324569502336609470337118375589788854485871138122432160/328442709641329670672238624572100875347921456553233392705819270804846134498349984728150305974591054214394206155939785301,True,1.0000000000000302,0.6312500000000191,True
53,2.5795454746552088e-14,2.5795454746552088e-14,0.9999999999999484,328442709641312726014131848838447160794554078780462540724382361190400000000000000000000000000000000000000000000000000000/328442709641329670672238624572100875347921456553233392705819270804846134498349984728150305974591054214394206155939785301,1.000000000000019,52550833542612747307558179931536140055667433048517342832931083328775381519735997556504048955934568674303072984950365648160/52550833542611747572729880163250570897018757759923862566026305661523059584333348457543180903433696475653814821749918315401,True,1.000000000000019,0.631250000000012,True
54,1.6283380808761315e-14,1.6283380808761315e-14,0.9999999999999675,52550833542610036162261095814151545727128652604874006515901177790464000000000000000000000000000000000000000000000000000000/52550833542611747572729880163250570897018757759923862566026305661523059584333348457543180903433696475653814821749918315401,1.000000000000012,8408133366817879611636780826120091343523001241587818010564208905843689533493335753206908944549391436104610371479986930464160/8408133366817778638419122549523248858499485037439876503606826361451205018017668194211861271246803344041035296996741749855501,True,1.000000000000012,0.6312500000000075,True
55,1.0278884135530704e-14,1.0278884135530704e-14,0.9999999999999795,8408133366817605785961775330264247316340584416779841042544188446474240000000000000000000000000000000000000000000000000000000/8408133366817778638419122549523248858499485037439876503606826361451205018017668194211861271246803344041035296996741749855501,1.0000000000000075,1345301338690844582147059607923719817359917605990380240577092217832192802882826911073897803399488535046565647519478679976880160/1345301338690834383852076121987438726372542469371438148374396580848551866819784487615397988395927137748144564996670916735405601,True,1.0000000000000075,0.6312500000000048,True
56,6.488545610553806e-15,6.488545610553806e-15,0.999999999999987,1345301338690816925753884052842279570614493506684774566807070151435878400000000000000000000000000000000000000000000000000000000/1345301338690834383852076121987438726372542469371438148374396580848551866819784487615397988395927137748144564996670916735405601,1.0000000000000049,215248214190533501416332179517990196219606795099430103739903452935768298691165518018463678143348342039703130399467346677664896160/215248214190532471388538847438425806029881906300916952427431193600420564148798233249155196827988640912562601064663762590275965701,True,1.0000000000000049,0.631250000000003,True
57,4.09589441666211e-15,4.09589441666211e-15,0.9999999999999918,215248214190530708120621448454764731298318961069563930689131224229740544000000000000000000000000000000000000000000000000000000000/215248214190532471388538847438425806029881906300916952427431193600420564148798233249155196827988640912562601064663762590275965701,1.000000000000003,34439714270485195422166215590148128964781105008146712388388990976067290263807717319864831492478182546010016170346202014444154512160/34439714270485091389359089050112125555618891239496884105829292783197169075028621558164674879626852732168822707531040021617872535801,True,1.000000000000003,0.6312500000000019,True
58,2.5855333505179647e-15,2.5855333505179647e-15,0.9999999999999948,34439714270484913299299431752762357007731033771130228910260995876758487040000000000000000000000000000000000000000000000000000000000/34439714270485091389359089050112125555618891239496884105829292783197169075028621558164674879626852732168822707531040021617872535801,1.000000000000002,5510354283277614622297454248017940088899022598319501456932686845311547052004579449306347980740296437147011633204966403458859605728160/5510354283277604114983934467474303744573639007685868800394157327831664811937890777374632162842312125949051093460635042183405126115901,True,1.000000000000002,0.6312500000000012,True
59,1.6321179275144683e-15,1.6321179275144683e-15,0.9999999999999968,5510354283277586127887909080441977121236965403380836625641759340281357926400000000000000000000000000000000000000000000000000000000000/5510354283277604114983934467474303744573639007685868800394157327831664811937890777374632162842312125949051093460635042183405126115901,1.000000000000001,881656685324416658397429514795888599131782241229739008063065172453066369910062524379941146054769940151848174953701606749344820178544160/881656685324415597158764016960981328354918498575742109752673691187598263663326968514837848447073524720854160439524139260523917737706001,True,1.000000000000001,0.6312500000000008,True
|