X-Git-Url: https://git.njae.me.uk/?a=blobdiff_plain;f=monotone-sequences%2Fgenerate_sequence.ipynb;fp=monotone-sequences%2Fgenerate_sequence.ipynb;h=0000000000000000000000000000000000000000;hb=4be776e6aef6b347a2ee84820f5e658e517cf43a;hp=275fa884252bd80a5032606a0aa5c33ae04e41d4;hpb=e70f19374b89d58b52e4cf3b9b2f41aac7c0884b;p=ou-summer-of-code-2017.git diff --git a/monotone-sequences/generate_sequence.ipynb b/monotone-sequences/generate_sequence.ipynb deleted file mode 100644 index 275fa88..0000000 --- a/monotone-sequences/generate_sequence.ipynb +++ /dev/null @@ -1,2112 +0,0 @@ -{ - "cells": [ - { - "cell_type": "code", - "execution_count": 2, - "metadata": { - "collapsed": true - }, - "outputs": [], - "source": [ - "import sys\n", - "import random" - ] - }, - { - "cell_type": "code", - "execution_count": 3, - "metadata": { - "collapsed": true - }, - "outputs": [], - "source": [ - "def generate_sequence(length, smallest=0, biggest=sys.maxsize, same_chance=0.05, flip_chance=0.3):\n", - " seq = [random.randint(smallest, biggest)]\n", - " increasing = random.choice([True, False])\n", - " for _ in range(length):\n", - " last = seq[-1]\n", - " if random.random() < flip_chance:\n", - " increasing = not increasing\n", - " if random.random() < same_chance:\n", - " seq += [last]\n", - " elif increasing:\n", - " seq += [random.randint(last, biggest)]\n", - " else:\n", - " seq += [random.randint(smallest, last)]\n", - " return seq" - ] - }, - { - "cell_type": "code", - "execution_count": 8, - "metadata": { - "collapsed": false - }, - "outputs": [ - { - "name": "stdout", - "output_type": "stream", - "text": [ - "4165807171574727830 False\n", - "6740951976645216523 True\n", - "488720956256864923 False\n", - "424800834441507987 False\n", - "1554797642559355509 True\n", - "7068999045727866929 True\n", - "7974821847333555461 True\n", - "9052881833348453938 True\n", - "2792945153234568977 False\n", - "1950792053541574753 False\n", - "543699256212939749 False\n", - "227526382612755324 False\n", - "4845696497606068 False\n", - "4088694339128202 False\n", - "3141909160066403 False\n", - "7851994741599738306 True\n", - "942184596147107149 False\n", - "832405763284198276 False\n", - "612555726265633958 False\n", - "4596485263004175781 True\n", - "4596485263004175781 True\n", - "4596485263004175781 False\n", - "7610330167187580948 True\n", - "2540139322882820436 False\n", - "2279324058407763937 False\n", - "955467924847445093 False\n", - "511732622297378062 False\n", - "5210490279412699421 True\n", - "2776505982344560452 False\n", - "1712080769971546589 False\n", - "515464333196113823 False\n", - "479310274847412963 False\n", - "311244555732383852 False\n", - "4519419071878237472 True\n", - "1862935403955542184 False\n", - "1045497658093638846 False\n", - "348355593754311719 False\n", - "4795431386538200281 True\n", - "731618397576484880 False\n", - "162017678539457133 False\n", - "99875954462661308 False\n", - "73461412036465719 False\n", - "17178703971627678 False\n", - "10394277770021031 False\n", - "5917635877655590 False\n", - "8364429865986176920 True\n", - "1712142026350775677 False\n", - "1933616687310785194 True\n", - "3195385611416145904 True\n", - "6152189683226854958 True\n", - "6506165106776756708 True\n", - "7476425985342933610 True\n", - "8260968175933585105 True\n", - "2258834726392179172 False\n", - "1364822504749547941 False\n", - "24803960116063193 False\n", - "14413824208565379 False\n", - "3892564368361399 False\n", - "2733240785878532 False\n", - "2766291541629293030 True\n", - "8546670702245840075 True\n", - "6450169629959759585 False\n", - "7083765906539369465 True\n", - "7818496792159073745 True\n", - "8399151354226960164 True\n", - "8775766715797077603 True\n", - "2255865859741451574 False\n", - "180618009414710650 False\n", - "2579410112667564314 True\n", - "675489905436740217 False\n", - "36965314597599629 False\n", - "31081933679544333 False\n", - "19579587804163942 False\n", - "18564865348747186 False\n", - "9759938745505484 False\n", - "7127119240471186418 True\n", - "8991012600763194653 True\n", - "4899043199693519747 False\n", - "3571180135502790979 False\n", - "2359648674848957891 False\n", - "1745352913264022455 False\n", - "530950077217906952 False\n", - "429239095317959325 False\n", - "243020004908518768 False\n", - "92318393904184405 False\n", - "11686935928764098 False\n", - "5219241169202278 False\n", - "3671717017605115 False\n", - "3741348139094380814 True\n", - "1784657948086737249 False\n", - "6345815090819820725 True\n", - "7007983676806672221 True\n", - "7007983676806672221 True\n", - "8662327682190433169 True\n", - "8999633777723446437 True\n", - "9212088791482688093 True\n", - "9218428408947956726 True\n", - "9221652353130422076 True\n", - "9221696125454297370 True\n", - "9221709349264103168 True\n", - "9221972196231871651 True\n", - "9223086889879446213 True\n", - "9223157401440150674 True\n", - "9223314758297401917 True\n", - "9223364953878235906 True\n", - "9223367487772666244 True\n", - "9223369255660002772 True\n", - "9223369255660002772 True\n", - "1013216714629723936 False\n", - "296924767280263775 False\n", - "8370714319624510678 True\n", - "9013541540908826868 True\n", - "9081451544929275992 True\n", - "9154727289042730022 True\n", - "9209941784047711591 True\n", - "9216839030012725265 True\n", - "8225648544858721763 False\n", - "8987991327432536556 True\n", - "9203362209167721936 True\n", - "9208802691616021180 True\n", - "5900766020272114840 False\n", - "1945848448306528007 False\n", - "3758242808133031658 True\n", - "920799639688415095 False\n", - "183644748495695270 False\n", - "171002663449563891 False\n", - "66764630260174590 False\n", - "32496492626402425 False\n", - "10263405982647816 False\n", - "658814523221778237 True\n", - "3255981081011968349 True\n", - "1362058763062484777 False\n", - "929678731378604633 False\n", - "240299334600032048 False\n", - "97420434251330655 False\n", - "4246899355752909294 True\n", - "8655223284004689143 True\n", - "9106226108320291023 True\n", - "4138273232779677578 False\n", - "1344428149897050212 False\n", - "1167578888881067385 False\n", - "6486826448966293912 True\n", - "6923439957932513446 True\n", - "8575636976090156739 True\n", - "2621634549577366107 False\n", - "648620675652913917 False\n", - "301020231680610661 False\n", - "275931167940833739 False\n", - "2200654197079797589 True\n", - "7688924247078562371 True\n", - "8855300854879171808 True\n", - "8995112876485618199 True\n", - "9110984124399529793 True\n", - "9192783466674420956 True\n", - "1764163323256919514 False\n", - "681445191376370696 False\n", - "5945732066938901551 True\n", - "6658221496880324803 True\n", - "7119394905115863378 True\n", - "8880976689857800198 True\n", - "8965139828413227173 True\n", - "9184014733200085102 True\n", - "9218905817742437452 True\n", - "1121282137689250619 False\n", - "911392532604832935 False\n", - "60474072128403753 False\n", - "4468781828661404443 True\n", - "2216127257927893999 False\n", - "1705047189234718720 False\n", - "1364733305558964014 False\n", - "5477981844551245579 True\n", - "7866597371687737188 True\n", - "8309287047892925184 True\n", - "8834603750403676387 True\n", - "8905457286921063325 True\n", - "5283901554190855700 False\n", - "7654492072546617196 True\n", - "8086071448789500829 True\n", - "8910448213914568702 True\n", - "9097760988087734803 True\n", - "9146472765832791003 True\n", - "9164119618325306902 True\n", - "805842233932790130 False\n", - "296404022814009633 False\n", - "127695817396798054 False\n", - "1974625265335535378 True\n", - "294344114344840026 False\n", - "115843323922451132 False\n", - "37658890855583293 False\n", - "2064483355532542185 True\n", - "2851050619691188133 True\n", - "3910340359361463430 True\n", - "7173593615903136986 True\n", - "8678191619654568103 True\n", - "9190340471044133773 True\n", - "9198071657075753804 True\n", - "5570492460242939346 False\n", - "2588785827953813785 False\n", - "236289605138911612 False\n", - "104204524480582395 False\n", - "8365954413301730837 True\n", - "3605936652616806468 False\n", - "1891798272577892704 False\n", - "5802882451810167708 True\n", - "7830217452762673154 True\n", - "7486619714005219512 False\n", - "7490801959854757300 True\n", - "9175947442892601693 True\n", - "9198876375181815523 True\n", - "9223199302748091718 True\n", - "9223247680420527317 True\n", - "9223337088148832118 True\n", - "9223346454227883028 True\n", - "9223354319384149046 True\n", - "9223368850611776709 True\n", - "8924379471721556370 False\n", - "1994188643926850268 False\n", - "4502814216907190052 True\n", - "6739920151028432059 True\n", - "7148240077388201133 True\n", - "7424657917690922540 True\n", - "4244103184017299331 False\n", - "6171166477195449981 True\n", - "1027245968698527708 False\n", - "505477923900130288 False\n", - "1876749862867260753 True\n", - "1876749862867260753 True\n", - "29985080894859341 False\n", - "10278777743200128 False\n", - "939781737443407 False\n", - "234542904350313 False\n", - "155736393557637 False\n", - "45463568098818 False\n", - "33119585210435 False\n", - "2479998832001350431 True\n", - "4953456651307328994 True\n", - "6928014982247110464 True\n", - "1571616043849347311 False\n", - "724557311523566972 False\n", - "690431543889319433 False\n", - "444411564664675610 False\n", - "178919816937232030 False\n", - "7858535838983923453 True\n", - "9094270733676661724 True\n", - "9118748332702561174 True\n", - "8566450289064365042 False\n", - "6128324307545334264 False\n", - "7955862911379467846 True\n", - "8704894571602586404 True\n", - "8991880853974808101 True\n", - "9153566947267330695 True\n", - "6243209383108719298 False\n", - "3750496725636432705 False\n", - "2001862926238323637 False\n", - "1516022037305033921 False\n", - "498781823740417241 False\n", - "353606333023795302 False\n", - "76651053984302523 False\n", - "71715848878895049 False\n", - "66026482980066734 False\n", - "45458758342906704 False\n", - "24505519155185365 False\n", - "7555128693103641214 True\n", - "7411079071746879745 False\n", - "3287296440175071601 False\n", - "540053030207628569 False\n", - "301191169163652549 False\n", - "1344373100346760482 True\n", - "1261674939716041011 False\n", - "3678175837536408029 True\n", - "6789386344193514204 True\n", - "4993235235284434158 False\n", - "2030737132063439877 False\n", - "647113629113828941 False\n", - "315864893241125901 False\n", - "8828800380426956366 True\n", - "9165540592365179935 True\n", - "9175852322056447103 True\n", - "7784551047506356747 False\n", - "8256662013350651703 True\n", - "7868292419743646618 False\n", - "1532283395724825471 False\n", - "2603830774375683672 True\n", - "6776476340892921509 True\n", - "7391323357598691022 True\n", - "7397590515533721655 True\n", - "8858183429065734296 True\n", - "9032441860571708774 True\n", - "9058137684802863724 True\n", - "9151652557058429633 True\n", - "9185750923350253051 True\n", - "9217998959668685304 True\n", - "9218188986988528394 True\n", - "7954975724206896551 False\n", - "4012593001761119648 False\n", - "4012593001761119648 False\n", - "4152918211760469069 True\n", - "2411590982967955767 False\n", - "2278135873082647776 False\n", - "2278135873082647776 False\n", - "6329050481332998895 True\n", - "2921387019109824439 False\n", - "2737711527166901313 False\n", - "2100572646879841700 False\n", - "364444821478397340 False\n", - "269167221576177591 False\n", - "176421186168030841 False\n", - "95454597581830600 False\n", - "68996353832987116 False\n", - "49896716688704609 False\n", - "42317862871333632 False\n", - "1320282894457278419 True\n", - "8367155565026704562 True\n", - "7641065774966474740 False\n", - "3518742244503487138 False\n", - "2993259782972667052 False\n", - "2067193657959712232 False\n", - "140262875518885629 False\n", - "2957618987289136298 True\n", - "2957618987289136298 True\n", - "5962895021286111094 True\n", - "7100506521746301373 True\n", - "8087499397674138425 True\n", - "7586893332149478150 False\n", - "6256250795267651484 False\n", - "6256250795267651484 False\n", - "5831039224298451525 False\n", - "3680649987865827891 False\n", - "2779452000593541307 False\n", - "2607072653285769514 False\n", - "946019786640841853 False\n", - "726189889748070295 False\n", - "350760946327687234 False\n", - "185901235754825381 False\n", - "150254061402817346 False\n", - "13118568895570319 False\n", - "13118568895570319 True\n", - "10530803031645527 False\n", - "6749813160108833 False\n", - "4295678921647490 False\n", - "4218363992229069 False\n", - "3237717784003410 False\n", - "3237717784003410 False\n", - "3119929119529617 False\n", - "8761938138348551415 True\n", - "8761938138348551415 False\n", - "6120707256968055760 False\n", - "1904530836539711761 False\n", - "1338140614502153035 False\n", - "885641708647464931 False\n", - "827876062583401648 False\n", - "3413666462888077173 True\n", - "8081820026072264187 True\n", - "8500390989378586255 True\n", - "9074949848400328967 True\n", - "9147766368732250105 True\n", - "9207680267244054416 True\n", - "1048181872249036063 False\n", - "851418017474978122 False\n", - "744181395525813891 False\n", - "515812877261144966 False\n", - "8330050830470937759 True\n", - "8506658834727871147 True\n", - "7977618425773434901 False\n", - "6951735352411298577 False\n", - "6372431617188888640 False\n", - "3837141132783282177 False\n", - "1355141040102081271 False\n", - "146581291640000338 False\n", - "146581291640000338 False\n", - "4597142702349120 False\n", - "5377320873405563127 True\n", - "7525766652060426591 True\n", - "217470359904070179 False\n", - "217470359904070179 False\n", - "6383496147184038126 True\n", - "6326496896394582565 False\n", - "6122202326240929953 False\n", - "2607108565911809041 False\n", - "1126376422091979723 False\n", - "219207790576411652 False\n", - "59727217360834023 False\n", - "8110490626186913762 True\n", - "8245153300739472067 True\n", - "8433724059089230001 True\n", - "9079592101811949543 True\n", - "7421097371558484940 False\n", - "4032941402729170782 False\n", - "4736434816814775300 True\n", - "3550249921673101531 False\n", - "5691275002711102923 True\n", - "7295314100207618618 True\n", - "8962458800197242183 True\n", - "8986528546811670932 True\n", - "9087574311231528907 True\n", - "9204297223963818442 True\n", - "509105241668033725 False\n", - "6844605442600535129 True\n", - "8806027338339760654 True\n", - "5523489613248207192 False\n", - "4791821008448154752 False\n", - "4573574519993239031 False\n", - "3823291518991341928 False\n", - "4758972646899110906 True\n", - "6065708173310293431 True\n", - "7164370141720656113 True\n", - "8515501571151095094 True\n", - "1437893089447014802 False\n", - "5558037043602360211 True\n", - "7516999130402691861 True\n", - "8323480902887842481 True\n", - "8978465392412127873 True\n", - "9119206166511780372 True\n", - "9119206166511780372 True\n", - "9210895804586573086 True\n", - "9218527625692737049 True\n", - "9218527625692737049 False\n", - "9221794553089227697 True\n", - "8270565859877120166 False\n", - "8569480835842821554 True\n", - "8669280021563370762 True\n", - "2801118606624615588 False\n", - "8171250177734229618 True\n", - "8496311789335925122 True\n", - "8743600348996429921 True\n", - "8830749072959583943 True\n", - "9175674078001156651 True\n", - "9219765785828966557 True\n", - "9220029689114238158 True\n", - "9221870469651256881 True\n", - "6333726001316612092 False\n", - "4173513717043430345 False\n", - "66322274058372773 False\n", - "1884595506242116765 True\n", - "8422726398928886406 True\n", - "8512822952455964878 True\n", - "8512822952455964878 True\n", - "9217049974679700834 True\n", - "4647652327674145676 False\n", - "856369158490219589 False\n", - "125085179251935165 False\n", - "33162731589423964 False\n", - "28467681700347629 False\n", - "12548764482907575 False\n", - "12548764482907575 True\n", - "12548764482907575 False\n", - "5524491561279842 False\n", - "1898377588898495 False\n", - "7744676567787460200 True\n", - "5642317461970950225 False\n", - "2756995357168157954 False\n", - "186904577419955971 False\n", - "182266011248265045 False\n", - "1712630705405951867 True\n", - "1712630705405951867 False\n", - "547804598714530091 False\n", - "142563097928632731 False\n", - "3103637305266454327 True\n", - "3198413773315158732 True\n", - "3179852877324308732 False\n", - "2919717447400141680 False\n", - "1598434867537019633 False\n", - "5499764265486139785 True\n", - "7083177337232569596 True\n", - "7524928228361671458 True\n", - "8926252149165119110 True\n", - "9170544940790788983 True\n", - "2700905390305676821 False\n", - "7213661270047691025 True\n", - "7898772053621739693 True\n", - "7898772053621739693 True\n", - "8166105271025754008 True\n", - "8239528696677834764 True\n", - "4462255280618230503 False\n", - "836709982465899800 False\n", - "836709982465899800 True\n", - "8044442821024225029 True\n", - "4998707169112241306 False\n", - "3579323626041036772 False\n", - "8162612693567705044 True\n", - "8900516309600725892 True\n", - "8962617154161500548 True\n", - "9185121128340175363 True\n", - "9221160776688686431 True\n", - "9222955604133809362 True\n", - "354119009798501137 False\n", - "61732395330080621 False\n", - "25243890264396835 False\n", - "21506333502104947 False\n", - "11622327989602791 False\n", - "4936187977491325 False\n", - "4061006067790222 False\n", - "571051723458557749 True\n", - "7477988767174383943 True\n", - "8633476499618097618 True\n", - "5826503676107914896 False\n", - "6898687124415796431 True\n", - "7102485650250302970 True\n", - "8768219613323235506 True\n", - "8903099518895778327 True\n", - "9193130656864429449 True\n", - "9193130656864429449 True\n", - "9215893845013597620 True\n", - "5913579574638510474 False\n", - "5913579574638510474 True\n", - "4901678848244456356 False\n", - "4404326615302335749 False\n", - "5439020637359754281 True\n", - "8069792094958544049 True\n", - "8670678703175932977 True\n", - "3852200862577361609 False\n", - "436381954659039578 False\n", - "189794327775863289 False\n", - "169233364780742489 False\n", - "128960514503667541 False\n", - "64771965395023475 False\n", - "52787843152838114 False\n", - "5260409147065003 False\n", - "5625498379847791306 True\n", - "7192309780824125186 True\n", - "7575103220871807013 True\n", - "6237344805852353949 False\n", - "3951699087926257131 False\n", - "4284672178577943673 True\n", - "4538293955744498267 True\n", - "1131440567319029436 False\n", - "371988626993139823 False\n", - "44917259433921980 False\n", - "15063034517718290 False\n", - "9225119341628261 False\n", - "5459740334442901252 True\n", - "8028194491914920383 True\n", - "8690888917113522659 True\n", - "8836489268490163377 True\n", - "8958660447369637147 True\n", - "9045123726219265326 True\n", - "8556103730070370462 False\n", - "6890915147615525381 False\n", - "1497007912560822028 False\n", - "29507244024175168 False\n", - "20334591608452616 False\n", - "431006652060490481 True\n", - "6297327808926951889 True\n", - "894480894198523411 False\n", - "295828154837124062 False\n", - "182826294578549876 False\n", - "105524016182486832 False\n", - "70699886765535901 False\n", - "1293323707934714426 True\n", - "4710279265785478483 True\n", - "4796960136693972580 True\n", - "9148047174308919109 True\n", - "9209537934984232149 True\n", - "3437459696482471169 False\n", - "2273924559558231504 False\n", - "1918245282449870905 False\n", - "1653677513986148669 False\n", - "1653677513986148669 False\n", - "1143325082184574748 False\n", - "980969655282451656 False\n", - "844079736583554319 False\n", - "3183802289257905285 True\n", - "6860391954972875430 True\n", - "8389506517411271918 True\n", - "3377184390291734101 False\n", - "5651810028349162191 True\n", - "3538928423191661362 False\n", - "8003570162905539202 True\n", - "6183138051350274256 False\n", - "7688666637800456993 True\n", - "8454015940096165211 True\n", - "9145880521174968551 True\n", - "4740517156551502142 False\n", - "1983847144908308505 False\n", - "3230939134793032300 True\n", - "446765279964425719 False\n", - "446765279964425719 False\n", - "65196124784783516 False\n", - "18491265914953865 False\n", - "18491265914953865 False\n", - "5019463342045745 False\n", - "1144731605717192 False\n", - "8605241238396022173 True\n", - "4958430368962045038 False\n", - "3735306774047926749 False\n", - "4017726741055386768 True\n", - "4017726741055386768 True\n", - "5155744043342601451 True\n", - "4434261059404317809 False\n", - "1101578154905595539 False\n", - "6573342479912403849 True\n", - "2948859558767506804 False\n", - "1116279050161141193 False\n", - "463181957542150085 False\n", - "451488043763115359 False\n", - "7242934925540147484 True\n", - "7911018442591608363 True\n", - "9102756652210781278 True\n", - "9161383408123580015 True\n", - "9190695608369102232 True\n", - "9193773465362551263 True\n", - "9211200228799298729 True\n", - "9216875510953003873 True\n", - "9220287993274047060 True\n", - "3886944954175318046 False\n", - "1214807159002097288 False\n", - "8925803953742933117 True\n", - "9056904446047546477 True\n", - "8861224448829617803 False\n", - "3556741532229234319 False\n", - "3360732858583058497 False\n", - "1385531437144853808 False\n", - "8705562480585062425 True\n", - "8981091761272193342 True\n", - "8981091761272193342 True\n", - "5235501756632998756 False\n", - "5709978622090734256 True\n", - "8653517843242618816 True\n", - "8770208547357769671 True\n", - "154428403319658160 False\n", - "1351766197508484 False\n", - "7535642678925782850 True\n", - "7535642678925782850 False\n", - "7535642678925782850 False\n", - "674433054685657947 False\n", - "558645894111528839 False\n", - "4318135566008413728 True\n", - "7261013752774323649 True\n", - "2842764982470780312 False\n", - "7643873049794164267 True\n", - "7508432459600136311 False\n", - "7270506109428288231 False\n", - "7007256918477207896 False\n", - "4897547578542690362 False\n", - "1060315606063805143 False\n", - "100528257492125995 False\n", - "6692432943226491936 True\n", - "8928189579518554459 True\n", - "9220170779606785006 True\n", - "3138281996076112624 False\n", - "1900417955979316442 False\n", - "4900822515746480050 True\n", - "6226368274509471682 True\n", - "561982252298352976 False\n", - "553209983493640712 False\n", - "73488354284186162 False\n", - "4878461986530760016 True\n", - "2056508251798067051 False\n", - "778862516078605927 False\n", - "644525310576052180 False\n", - "343409758193002106 False\n", - "215428321576488134 False\n", - "215428321576488134 False\n", - "1746923150519297621 True\n", - "1746923150519297621 True\n", - "3850222761437802156 True\n", - "7370756747863099230 True\n", - "8309816898375124643 True\n", - "8546901856913029765 True\n", - "9095537330822928159 True\n", - "9101875947697840064 True\n", - "2913750336303434315 False\n", - "480603318112622854 False\n", - "212002194149600150 False\n", - "5106729152354653630 True\n", - "8156101581199487305 True\n", - "8614161336452225172 True\n", - "9123682892761400818 True\n", - "9154025983792345754 True\n", - "9215857039477111322 True\n", - "9219305146291092319 True\n", - "9221619638409306964 True\n", - "9222665423636988385 True\n", - "9222665423636988385 True\n", - "9222848789717203706 True\n", - "9223287042042753833 True\n", - "9223312481781022801 True\n", - "6560640959307679608 False\n", - "828143374319812185 False\n", - "5743678730719237633 True\n", - "6405004647144731418 True\n", - "6918376287646553371 True\n", - "1195246132673622573 False\n", - "719058920502645850 False\n", - "661600741749344770 False\n", - "254416775583555165 False\n", - "572314344367282012 True\n", - "6543289127302223592 True\n", - "6114765767185099768 False\n", - "4979134047660802262 False\n", - "7897906116563352866 True\n", - "8957446879199865258 True\n", - "9008365120806243605 True\n", - "9017975902972569662 True\n", - "9212059562646860700 True\n", - "9213915266739584489 True\n", - "2580412709212510280 False\n", - "2240223824630735298 False\n", - "3679290101403043732 True\n", - "192630581157250419 False\n", - "156924306687614732 False\n", - "4372586452833507985 True\n", - "4711058526321665971 True\n", - "830106220872094942 False\n", - "364283611588212576 False\n", - "8156725613256302544 True\n", - "3350249389022227379 False\n", - "5514122082842361557 True\n", - "7529771844144364036 True\n", - "9166334727828306133 True\n", - "9215580366976871738 True\n", - "9217026797427840816 True\n", - "9218222982820340625 True\n", - "9218772785293826421 True\n", - "9218772785293826421 True\n", - "9218878869071464181 True\n", - "6886075619216277814 False\n", - "68013051814623369 False\n", - "5596898493695637 False\n", - "3880560180016186 False\n", - "1032773018128101 False\n", - "305534660460140 False\n", - "154766555225706 False\n", - "65885584494528 False\n", - "31893723327735 False\n", - "30486142260999 False\n", - "11086771879010 False\n", - "8632576428160929920 True\n", - "2496740755703535693 False\n", - "987625198965893481 False\n", - "987625198965893481 False\n", - "2057796483742267668 True\n", - "1918045779429608488 False\n", - "1896641111533782026 False\n", - "637863897075869061 False\n", - "637863897075869061 False\n", - "591715820673766211 False\n", - "158085453416476770 False\n", - "132671982904993300 False\n", - "34599781962110130 False\n", - "19600373707476309 False\n", - "6438646920103817 False\n", - "272228173427186 False\n", - "46815428219399 False\n", - "3766757685744053967 True\n", - "3766757685744053967 True\n", - "2093926182405194036 False\n", - "540974209384670520 False\n", - "194749180660713138 False\n", - "70809569033620927 False\n", - "1717461455538849676 True\n", - "1059248112554273024 False\n", - "996487244579310185 False\n", - "5515997718602535364 True\n", - "5738153028805171899 True\n", - "1579117383731873617 False\n", - "263222275225243640 False\n", - "177112705013205074 False\n", - "21429749194619190 False\n", - "8139582301060113485 True\n", - "8955300825088218229 True\n", - "8971826349203111000 True\n", - "4992137398748564174 False\n", - "8008479572320812484 True\n", - "6696278453839909 False\n", - "3042081537217038 False\n", - "1270777131921471 False\n", - "603231836070709 False\n", - "270123253752280 False\n", - "1917056361754011633 True\n", - "354732507985749989 False\n", - "7802703326714693419 True\n", - "3971657134787637795 False\n", - "651722845883373325 False\n", - "144048853398746977 False\n", - "93024934773184305 False\n", - "16765425117383387 False\n", - "5482659724464899039 True\n", - "636647866002370901 False\n", - "313609624031598693 False\n", - "80517462843636639 False\n", - "73372526235851178 False\n", - "40995337011447710 False\n", - "8386454803214184 False\n", - "7356876305508129182 True\n", - "7916284587668746257 True\n", - "8120807104886264619 True\n", - "8409503955248914993 True\n", - "9217354781401207532 True\n", - "9219206001711306572 True\n", - "9220190149786313009 True\n", - "3236786555403893612 False\n", - "8494308646223493159 True\n", - "8540565529068119698 True\n", - "4736961348979110975 False\n", - "7850274158180545838 True\n", - "8273468631783309430 True\n", - "8273468631783309430 True\n", - "8691322807075550234 True\n", - "1335453029103934140 False\n", - "849474447849299476 False\n", - "503971226954562050 False\n", - "149082189394301481 False\n", - "29831570748544839 False\n", - "3202968015127097955 True\n", - "7851972992675249502 True\n", - "8497245977402788974 True\n", - "8910450305612125039 True\n", - "9158799740727741692 True\n", - "9217983210721359736 True\n", - "9222402390429566571 True\n", - "9223189908969965220 True\n", - "187543427142343266 False\n", - "27938131058986238 False\n", - "5723159449769798797 True\n", - "7794649783928120372 True\n", - "8153309185642235829 True\n", - "9076916262841690308 True\n", - "9217484305429578231 True\n", - "9220001566087104056 True\n", - "7221297100240495791 False\n", - "53820687660283621 False\n", - "2657105100452285214 True\n", - "225220047679706783 False\n", - "108427398728785723 False\n", - "92884052470064665 False\n", - "8529757583125840 False\n", - "8529757583125840 False\n", - "9099202639109328242 True\n", - "9140262220502024386 True\n", - "9184132912239858224 True\n", - "9216964295998809073 True\n", - "9217088293685401018 True\n", - "9217989612051034961 True\n", - "9219559480235408602 True\n", - "9223258786957656087 True\n", - "9223344679831368561 True\n", - "9223344679831368561 False\n", - "9223357006467405930 True\n", - "9223357006467405930 False\n", - "9223365304408498034 True\n", - "5790283903569234559 False\n", - "5790283903569234559 False\n", - "1122301761931312825 False\n", - "182996905584273394 False\n", - "182996905584273394 True\n", - "86283053183098211 False\n", - "17095248407190527 False\n", - "13090732267010346 False\n", - "6230291024723211209 True\n", - "8648889742740404963 True\n", - "9162667823435547651 True\n", - "9211648195344590475 True\n", - "9216629611273036650 True\n", - "629138649241526533 False\n", - "185405851677575689 False\n", - "8312579508974779405 True\n", - "9192140950229422943 True\n", - "1704554508060332450 False\n", - "6357135378667563133 True\n", - "7813092643005613780 True\n", - "972980291805841747 False\n", - "458449729074798248 False\n", - "458449729074798248 False\n", - "248204715335577171 False\n", - "31752842475043639 False\n", - "9290889006313341 False\n", - "2057071805473217 False\n", - "1156354790599821042 True\n", - "4300351668102470698 True\n", - "8253923878958802982 True\n", - "8834969796908568504 True\n", - "8999691146015528277 True\n", - "1642236350305068437 False\n", - "515948834037299693 False\n", - "344437111332688370 False\n", - "53853216843922143 False\n", - "15230126157965903 False\n", - "14847780476323743 False\n", - "190430125833385 False\n", - "121914606811924 False\n", - "2440402986831819570 True\n", - "2440402986831819570 True\n", - "7670246718966120674 True\n", - "5373149118426367536 False\n", - "2064091367447537811 False\n", - "791318258463175857 False\n", - "5856299488306913654 True\n", - "8514331248954756782 True\n", - "8514331248954756782 True\n", - "1915000456873004421 False\n", - "635076881198996036 False\n", - "319433504494371532 False\n", - "1763347173386546 False\n", - "1439419152956003 False\n", - "688374958385466 False\n", - "2806001423219379915 True\n", - "2013057886029077818 False\n", - "2119665994960819002 True\n", - "5001151896391064298 True\n", - "8004192410428076951 True\n", - "8699558107086501584 True\n", - "9007057645123640707 True\n", - "9175741481407838392 True\n", - "9223344098405518573 True\n", - "9223344098405518573 False\n", - "736309325014693363 False\n", - "38112222257443472 False\n", - "466090876406114881 True\n", - "1567753716738161637 True\n", - "6926080323073481694 True\n", - "259524437896164950 False\n", - "86792581909723003 False\n", - "2415430885749337030 True\n", - "7241712295339901347 True\n", - "8503434510451274297 True\n", - "9053249255540341611 True\n", - "9160343720055087023 True\n", - "1356033034969202362 False\n", - "710942419591952432 False\n", - "662364734563710284 False\n", - "8216789724834593167 True\n", - "8725209283197395046 True\n", - "8644301057213478695 False\n", - "2311424867577816723 False\n", - "4963825515619136651 True\n", - "7333793609449697430 True\n", - "8017843074666064513 True\n", - "7813406290720124093 False\n", - "6874380581255924546 False\n", - "7936516959454041313 True\n", - "689613961303532287 False\n", - "314531155425358160 False\n", - "115578600303500785 False\n", - "27390078669380112 False\n", - "4262401257963837322 True\n", - "8553964195922935298 True\n", - "2114205943165155540 False\n", - "1430592732062384254 False\n", - "5281127503048631998 True\n", - "251876243586858097 False\n", - "3997030460652584513 True\n", - "2718258321479861171 False\n", - "2842678218005188026 True\n", - "943666497436300568 False\n", - "9041111520434152296 True\n", - "9097238151374939468 True\n", - "9150230676590587643 True\n", - "9180335779960046248 True\n", - "9194749378340301470 True\n", - "9194749378340301470 True\n", - "3131732179957332524 False\n", - "3131732179957332524 True\n", - "8016454136664075949 True\n", - "8037724730747892420 True\n", - "2989153422745446280 False\n", - "3508158091018221826 True\n", - "7469178431837872775 True\n", - "2552793653619024969 False\n", - "1635614779938429466 False\n", - "939893028755327079 False\n", - "8788121872827510358 True\n", - "9023434476313890170 True\n", - "9118645155824722097 True\n", - "3868364402721433565 False\n", - "395581084002101463 False\n", - "8775897229468027227 True\n", - "9070144362723327534 True\n", - "8615935770343516215 False\n", - "480540349890681605 False\n", - "391768805227889008 False\n", - "7139949942363161529 True\n", - "1496360188920679333 False\n", - "4824112524470688852 True\n", - "8705352535770215420 True\n", - "8781820465371203336 True\n", - "8781820465371203336 True\n", - "7306944034027423382 False\n", - "8244036842051234737 True\n", - "8704082745641989975 True\n", - "8892687382420857202 True\n", - "4619053451783133808 False\n", - "2488021089381448244 False\n", - "1593517227809011095 False\n", - "1386976781512177552 False\n", - "770122796534282069 False\n", - "432190724074742541 False\n", - "190059149087682386 False\n", - "81476202106632790 False\n", - "6535863077604803611 True\n", - "2566292054680948076 False\n", - "5284806268414119933 True\n", - "6522207644397187053 True\n", - "6715680390974124324 True\n", - "9102730528576074694 True\n", - "4543986797592059343 False\n", - "8073965812649324536 True\n", - "6829466541443268269 False\n", - "7180979297640612782 True\n", - "7900882919557336801 True\n" - ] - }, - { - "data": { - "text/plain": [ - "[4165807171574727830,\n", - " 6740951976645216523,\n", - " 488720956256864923,\n", - " 424800834441507987,\n", - " 1554797642559355509,\n", - " 7068999045727866929,\n", - " 7974821847333555461,\n", - " 9052881833348453938,\n", - " 2792945153234568977,\n", - " 1950792053541574753,\n", - " 543699256212939749,\n", - " 227526382612755324,\n", - " 4845696497606068,\n", - " 4088694339128202,\n", - " 3141909160066403,\n", - " 7851994741599738306,\n", - " 942184596147107149,\n", - " 832405763284198276,\n", - " 612555726265633958,\n", - " 4596485263004175781,\n", - " 4596485263004175781,\n", - " 4596485263004175781,\n", - " 7610330167187580948,\n", - " 2540139322882820436,\n", - " 2279324058407763937,\n", - " 955467924847445093,\n", - " 511732622297378062,\n", - " 5210490279412699421,\n", - " 2776505982344560452,\n", - " 1712080769971546589,\n", - " 515464333196113823,\n", - " 479310274847412963,\n", - " 311244555732383852,\n", - " 4519419071878237472,\n", - " 1862935403955542184,\n", - " 1045497658093638846,\n", - " 348355593754311719,\n", - " 4795431386538200281,\n", - " 731618397576484880,\n", - " 162017678539457133,\n", - " 99875954462661308,\n", - " 73461412036465719,\n", - " 17178703971627678,\n", - " 10394277770021031,\n", - " 5917635877655590,\n", - " 8364429865986176920,\n", - " 1712142026350775677,\n", - " 1933616687310785194,\n", - " 3195385611416145904,\n", - " 6152189683226854958,\n", - " 6506165106776756708,\n", - " 7476425985342933610,\n", - " 8260968175933585105,\n", - " 2258834726392179172,\n", - " 1364822504749547941,\n", - " 24803960116063193,\n", - " 14413824208565379,\n", - " 3892564368361399,\n", - " 2733240785878532,\n", - " 2766291541629293030,\n", - " 8546670702245840075,\n", - " 6450169629959759585,\n", - " 7083765906539369465,\n", - " 7818496792159073745,\n", - " 8399151354226960164,\n", - " 8775766715797077603,\n", - " 2255865859741451574,\n", - " 180618009414710650,\n", - " 2579410112667564314,\n", - " 675489905436740217,\n", - " 36965314597599629,\n", - " 31081933679544333,\n", - " 19579587804163942,\n", - " 18564865348747186,\n", - " 9759938745505484,\n", - " 7127119240471186418,\n", - " 8991012600763194653,\n", - " 4899043199693519747,\n", - " 3571180135502790979,\n", - " 2359648674848957891,\n", - " 1745352913264022455,\n", - " 530950077217906952,\n", - " 429239095317959325,\n", - " 243020004908518768,\n", - " 92318393904184405,\n", - " 11686935928764098,\n", - " 5219241169202278,\n", - " 3671717017605115,\n", - " 3741348139094380814,\n", - " 1784657948086737249,\n", - " 6345815090819820725,\n", - " 7007983676806672221,\n", - " 7007983676806672221,\n", - " 8662327682190433169,\n", - " 8999633777723446437,\n", - " 9212088791482688093,\n", - " 9218428408947956726,\n", - " 9221652353130422076,\n", - " 9221696125454297370,\n", - " 9221709349264103168,\n", - " 9221972196231871651,\n", - " 9223086889879446213,\n", - " 9223157401440150674,\n", - " 9223314758297401917,\n", - " 9223364953878235906,\n", - " 9223367487772666244,\n", - " 9223369255660002772,\n", - " 9223369255660002772,\n", - " 1013216714629723936,\n", - " 296924767280263775,\n", - " 8370714319624510678,\n", - " 9013541540908826868,\n", - " 9081451544929275992,\n", - " 9154727289042730022,\n", - " 9209941784047711591,\n", - " 9216839030012725265,\n", - " 8225648544858721763,\n", - " 8987991327432536556,\n", - " 9203362209167721936,\n", - " 9208802691616021180,\n", - " 5900766020272114840,\n", - " 1945848448306528007,\n", - " 3758242808133031658,\n", - " 920799639688415095,\n", - " 183644748495695270,\n", - " 171002663449563891,\n", - " 66764630260174590,\n", - " 32496492626402425,\n", - " 10263405982647816,\n", - " 658814523221778237,\n", - " 3255981081011968349,\n", - " 1362058763062484777,\n", - " 929678731378604633,\n", - " 240299334600032048,\n", - " 97420434251330655,\n", - " 4246899355752909294,\n", - " 8655223284004689143,\n", - " 9106226108320291023,\n", - " 4138273232779677578,\n", - " 1344428149897050212,\n", - " 1167578888881067385,\n", - " 6486826448966293912,\n", - " 6923439957932513446,\n", - " 8575636976090156739,\n", - " 2621634549577366107,\n", - " 648620675652913917,\n", - " 301020231680610661,\n", - " 275931167940833739,\n", - " 2200654197079797589,\n", - " 7688924247078562371,\n", - " 8855300854879171808,\n", - " 8995112876485618199,\n", - " 9110984124399529793,\n", - " 9192783466674420956,\n", - " 1764163323256919514,\n", - " 681445191376370696,\n", - " 5945732066938901551,\n", - " 6658221496880324803,\n", - " 7119394905115863378,\n", - " 8880976689857800198,\n", - " 8965139828413227173,\n", - " 9184014733200085102,\n", - " 9218905817742437452,\n", - " 1121282137689250619,\n", - " 911392532604832935,\n", - " 60474072128403753,\n", - " 4468781828661404443,\n", - " 2216127257927893999,\n", - " 1705047189234718720,\n", - " 1364733305558964014,\n", - " 5477981844551245579,\n", - " 7866597371687737188,\n", - " 8309287047892925184,\n", - " 8834603750403676387,\n", - " 8905457286921063325,\n", - " 5283901554190855700,\n", - " 7654492072546617196,\n", - " 8086071448789500829,\n", - " 8910448213914568702,\n", - " 9097760988087734803,\n", - " 9146472765832791003,\n", - " 9164119618325306902,\n", - " 805842233932790130,\n", - " 296404022814009633,\n", - " 127695817396798054,\n", - " 1974625265335535378,\n", - " 294344114344840026,\n", - " 115843323922451132,\n", - " 37658890855583293,\n", - " 2064483355532542185,\n", - " 2851050619691188133,\n", - " 3910340359361463430,\n", - " 7173593615903136986,\n", - " 8678191619654568103,\n", - " 9190340471044133773,\n", - " 9198071657075753804,\n", - " 5570492460242939346,\n", - " 2588785827953813785,\n", - " 236289605138911612,\n", - " 104204524480582395,\n", - " 8365954413301730837,\n", - " 3605936652616806468,\n", - " 1891798272577892704,\n", - " 5802882451810167708,\n", - " 7830217452762673154,\n", - " 7486619714005219512,\n", - " 7490801959854757300,\n", - " 9175947442892601693,\n", - " 9198876375181815523,\n", - " 9223199302748091718,\n", - " 9223247680420527317,\n", - " 9223337088148832118,\n", - " 9223346454227883028,\n", - " 9223354319384149046,\n", - " 9223368850611776709,\n", - " 8924379471721556370,\n", - " 1994188643926850268,\n", - " 4502814216907190052,\n", - " 6739920151028432059,\n", - " 7148240077388201133,\n", - " 7424657917690922540,\n", - " 4244103184017299331,\n", - " 6171166477195449981,\n", - " 1027245968698527708,\n", - " 505477923900130288,\n", - " 1876749862867260753,\n", - " 1876749862867260753,\n", - " 29985080894859341,\n", - " 10278777743200128,\n", - " 939781737443407,\n", - " 234542904350313,\n", - " 155736393557637,\n", - " 45463568098818,\n", - " 33119585210435,\n", - " 2479998832001350431,\n", - " 4953456651307328994,\n", - " 6928014982247110464,\n", - " 1571616043849347311,\n", - " 724557311523566972,\n", - " 690431543889319433,\n", - " 444411564664675610,\n", - " 178919816937232030,\n", - " 7858535838983923453,\n", - " 9094270733676661724,\n", - " 9118748332702561174,\n", - " 8566450289064365042,\n", - " 6128324307545334264,\n", - " 7955862911379467846,\n", - " 8704894571602586404,\n", - " 8991880853974808101,\n", - " 9153566947267330695,\n", - " 6243209383108719298,\n", - " 3750496725636432705,\n", - " 2001862926238323637,\n", - " 1516022037305033921,\n", - " 498781823740417241,\n", - " 353606333023795302,\n", - " 76651053984302523,\n", - " 71715848878895049,\n", - " 66026482980066734,\n", - " 45458758342906704,\n", - " 24505519155185365,\n", - " 7555128693103641214,\n", - " 7411079071746879745,\n", - " 3287296440175071601,\n", - " 540053030207628569,\n", - " 301191169163652549,\n", - " 1344373100346760482,\n", - " 1261674939716041011,\n", - " 3678175837536408029,\n", - " 6789386344193514204,\n", - " 4993235235284434158,\n", - " 2030737132063439877,\n", - " 647113629113828941,\n", - " 315864893241125901,\n", - " 8828800380426956366,\n", - " 9165540592365179935,\n", - " 9175852322056447103,\n", - " 7784551047506356747,\n", - " 8256662013350651703,\n", - " 7868292419743646618,\n", - " 1532283395724825471,\n", - " 2603830774375683672,\n", - " 6776476340892921509,\n", - " 7391323357598691022,\n", - " 7397590515533721655,\n", - " 8858183429065734296,\n", - " 9032441860571708774,\n", - " 9058137684802863724,\n", - " 9151652557058429633,\n", - " 9185750923350253051,\n", - " 9217998959668685304,\n", - " 9218188986988528394,\n", - " 7954975724206896551,\n", - " 4012593001761119648,\n", - " 4012593001761119648,\n", - " 4152918211760469069,\n", - " 2411590982967955767,\n", - " 2278135873082647776,\n", - " 2278135873082647776,\n", - " 6329050481332998895,\n", - " 2921387019109824439,\n", - " 2737711527166901313,\n", - " 2100572646879841700,\n", - " 364444821478397340,\n", - " 269167221576177591,\n", - " 176421186168030841,\n", - " 95454597581830600,\n", - " 68996353832987116,\n", - " 49896716688704609,\n", - " 42317862871333632,\n", - " 1320282894457278419,\n", - " 8367155565026704562,\n", - " 7641065774966474740,\n", - " 3518742244503487138,\n", - " 2993259782972667052,\n", - " 2067193657959712232,\n", - " 140262875518885629,\n", - " 2957618987289136298,\n", - " 2957618987289136298,\n", - " 5962895021286111094,\n", - " 7100506521746301373,\n", - " 8087499397674138425,\n", - " 7586893332149478150,\n", - " 6256250795267651484,\n", - " 6256250795267651484,\n", - " 5831039224298451525,\n", - " 3680649987865827891,\n", - " 2779452000593541307,\n", - " 2607072653285769514,\n", - " 946019786640841853,\n", - " 726189889748070295,\n", - " 350760946327687234,\n", - " 185901235754825381,\n", - " 150254061402817346,\n", - " 13118568895570319,\n", - " 13118568895570319,\n", - " 10530803031645527,\n", - " 6749813160108833,\n", - " 4295678921647490,\n", - " 4218363992229069,\n", - " 3237717784003410,\n", - " 3237717784003410,\n", - " 3119929119529617,\n", - " 8761938138348551415,\n", - " 8761938138348551415,\n", - " 6120707256968055760,\n", - " 1904530836539711761,\n", - " 1338140614502153035,\n", - " 885641708647464931,\n", - " 827876062583401648,\n", - " 3413666462888077173,\n", - " 8081820026072264187,\n", - " 8500390989378586255,\n", - " 9074949848400328967,\n", - " 9147766368732250105,\n", - " 9207680267244054416,\n", - " 1048181872249036063,\n", - " 851418017474978122,\n", - " 744181395525813891,\n", - " 515812877261144966,\n", - " 8330050830470937759,\n", - " 8506658834727871147,\n", - " 7977618425773434901,\n", - " 6951735352411298577,\n", - " 6372431617188888640,\n", - " 3837141132783282177,\n", - " 1355141040102081271,\n", - " 146581291640000338,\n", - " 146581291640000338,\n", - " 4597142702349120,\n", - " 5377320873405563127,\n", - " 7525766652060426591,\n", - " 217470359904070179,\n", - " 217470359904070179,\n", - " 6383496147184038126,\n", - " 6326496896394582565,\n", - " 6122202326240929953,\n", - " 2607108565911809041,\n", - " 1126376422091979723,\n", - " 219207790576411652,\n", - " 59727217360834023,\n", - " 8110490626186913762,\n", - " 8245153300739472067,\n", - " 8433724059089230001,\n", - " 9079592101811949543,\n", - " 7421097371558484940,\n", - " 4032941402729170782,\n", - " 4736434816814775300,\n", - " 3550249921673101531,\n", - " 5691275002711102923,\n", - " 7295314100207618618,\n", - " 8962458800197242183,\n", - " 8986528546811670932,\n", - " 9087574311231528907,\n", - " 9204297223963818442,\n", - " 509105241668033725,\n", - " 6844605442600535129,\n", - " 8806027338339760654,\n", - " 5523489613248207192,\n", - " 4791821008448154752,\n", - " 4573574519993239031,\n", - " 3823291518991341928,\n", - " 4758972646899110906,\n", - " 6065708173310293431,\n", - " 7164370141720656113,\n", - " 8515501571151095094,\n", - " 1437893089447014802,\n", - " 5558037043602360211,\n", - " 7516999130402691861,\n", - " 8323480902887842481,\n", - " 8978465392412127873,\n", - " 9119206166511780372,\n", - " 9119206166511780372,\n", - " 9210895804586573086,\n", - " 9218527625692737049,\n", - " 9218527625692737049,\n", - " 9221794553089227697,\n", - " 8270565859877120166,\n", - " 8569480835842821554,\n", - " 8669280021563370762,\n", - " 2801118606624615588,\n", - " 8171250177734229618,\n", - " 8496311789335925122,\n", - " 8743600348996429921,\n", - " 8830749072959583943,\n", - " 9175674078001156651,\n", - " 9219765785828966557,\n", - " 9220029689114238158,\n", - " 9221870469651256881,\n", - " 6333726001316612092,\n", - " 4173513717043430345,\n", - " 66322274058372773,\n", - " 1884595506242116765,\n", - " 8422726398928886406,\n", - " 8512822952455964878,\n", - " 8512822952455964878,\n", - " 9217049974679700834,\n", - " 4647652327674145676,\n", - " 856369158490219589,\n", - " 125085179251935165,\n", - " 33162731589423964,\n", - " 28467681700347629,\n", - " 12548764482907575,\n", - " 12548764482907575,\n", - " 12548764482907575,\n", - " 5524491561279842,\n", - " 1898377588898495,\n", - " 7744676567787460200,\n", - " 5642317461970950225,\n", - " 2756995357168157954,\n", - " 186904577419955971,\n", - " 182266011248265045,\n", - " 1712630705405951867,\n", - " 1712630705405951867,\n", - " 547804598714530091,\n", - " 142563097928632731,\n", - " 3103637305266454327,\n", - " 3198413773315158732,\n", - " 3179852877324308732,\n", - " 2919717447400141680,\n", - " 1598434867537019633,\n", - " 5499764265486139785,\n", - " 7083177337232569596,\n", - " 7524928228361671458,\n", - " 8926252149165119110,\n", - " 9170544940790788983,\n", - " 2700905390305676821,\n", - " 7213661270047691025,\n", - " 7898772053621739693,\n", - " 7898772053621739693,\n", - " 8166105271025754008,\n", - " 8239528696677834764,\n", - " 4462255280618230503,\n", - " 836709982465899800,\n", - " 836709982465899800,\n", - " 8044442821024225029,\n", - " 4998707169112241306,\n", - " 3579323626041036772,\n", - " 8162612693567705044,\n", - " 8900516309600725892,\n", - " 8962617154161500548,\n", - " 9185121128340175363,\n", - " 9221160776688686431,\n", - " 9222955604133809362,\n", - " 354119009798501137,\n", - " 61732395330080621,\n", - " 25243890264396835,\n", - " 21506333502104947,\n", - " 11622327989602791,\n", - " 4936187977491325,\n", - " 4061006067790222,\n", - " 571051723458557749,\n", - " 7477988767174383943,\n", - " 8633476499618097618,\n", - " 5826503676107914896,\n", - " 6898687124415796431,\n", - " 7102485650250302970,\n", - " 8768219613323235506,\n", - " 8903099518895778327,\n", - " 9193130656864429449,\n", - " 9193130656864429449,\n", - " 9215893845013597620,\n", - " 5913579574638510474,\n", - " 5913579574638510474,\n", - " 4901678848244456356,\n", - " 4404326615302335749,\n", - " 5439020637359754281,\n", - " 8069792094958544049,\n", - " 8670678703175932977,\n", - " 3852200862577361609,\n", - " 436381954659039578,\n", - " 189794327775863289,\n", - " 169233364780742489,\n", - " 128960514503667541,\n", - " 64771965395023475,\n", - " 52787843152838114,\n", - " 5260409147065003,\n", - " 5625498379847791306,\n", - " 7192309780824125186,\n", - " 7575103220871807013,\n", - " 6237344805852353949,\n", - " 3951699087926257131,\n", - " 4284672178577943673,\n", - " 4538293955744498267,\n", - " 1131440567319029436,\n", - " 371988626993139823,\n", - " 44917259433921980,\n", - " 15063034517718290,\n", - " 9225119341628261,\n", - " 5459740334442901252,\n", - " 8028194491914920383,\n", - " 8690888917113522659,\n", - " 8836489268490163377,\n", - " 8958660447369637147,\n", - " 9045123726219265326,\n", - " 8556103730070370462,\n", - " 6890915147615525381,\n", - " 1497007912560822028,\n", - " 29507244024175168,\n", - " 20334591608452616,\n", - " 431006652060490481,\n", - " 6297327808926951889,\n", - " 894480894198523411,\n", - " 295828154837124062,\n", - " 182826294578549876,\n", - " 105524016182486832,\n", - " 70699886765535901,\n", - " 1293323707934714426,\n", - " 4710279265785478483,\n", - " 4796960136693972580,\n", - " 9148047174308919109,\n", - " 9209537934984232149,\n", - " 3437459696482471169,\n", - " 2273924559558231504,\n", - " 1918245282449870905,\n", - " 1653677513986148669,\n", - " 1653677513986148669,\n", - " 1143325082184574748,\n", - " 980969655282451656,\n", - " 844079736583554319,\n", - " 3183802289257905285,\n", - " 6860391954972875430,\n", - " 8389506517411271918,\n", - " 3377184390291734101,\n", - " 5651810028349162191,\n", - " 3538928423191661362,\n", - " 8003570162905539202,\n", - " 6183138051350274256,\n", - " 7688666637800456993,\n", - " 8454015940096165211,\n", - " 9145880521174968551,\n", - " 4740517156551502142,\n", - " 1983847144908308505,\n", - " 3230939134793032300,\n", - " 446765279964425719,\n", - " 446765279964425719,\n", - " 65196124784783516,\n", - " 18491265914953865,\n", - " 18491265914953865,\n", - " 5019463342045745,\n", - " 1144731605717192,\n", - " 8605241238396022173,\n", - " 4958430368962045038,\n", - " 3735306774047926749,\n", - " 4017726741055386768,\n", - " 4017726741055386768,\n", - " 5155744043342601451,\n", - " 4434261059404317809,\n", - " 1101578154905595539,\n", - " 6573342479912403849,\n", - " 2948859558767506804,\n", - " 1116279050161141193,\n", - " 463181957542150085,\n", - " 451488043763115359,\n", - " 7242934925540147484,\n", - " 7911018442591608363,\n", - " 9102756652210781278,\n", - " 9161383408123580015,\n", - " 9190695608369102232,\n", - " 9193773465362551263,\n", - " 9211200228799298729,\n", - " 9216875510953003873,\n", - " 9220287993274047060,\n", - " 3886944954175318046,\n", - " 1214807159002097288,\n", - " 8925803953742933117,\n", - " 9056904446047546477,\n", - " 8861224448829617803,\n", - " 3556741532229234319,\n", - " 3360732858583058497,\n", - " 1385531437144853808,\n", - " 8705562480585062425,\n", - " 8981091761272193342,\n", - " 8981091761272193342,\n", - " 5235501756632998756,\n", - " 5709978622090734256,\n", - " 8653517843242618816,\n", - " 8770208547357769671,\n", - " 154428403319658160,\n", - " 1351766197508484,\n", - " 7535642678925782850,\n", - " 7535642678925782850,\n", - " 7535642678925782850,\n", - " 674433054685657947,\n", - " 558645894111528839,\n", - " 4318135566008413728,\n", - " 7261013752774323649,\n", - " 2842764982470780312,\n", - " 7643873049794164267,\n", - " 7508432459600136311,\n", - " 7270506109428288231,\n", - " 7007256918477207896,\n", - " 4897547578542690362,\n", - " 1060315606063805143,\n", - " 100528257492125995,\n", - " 6692432943226491936,\n", - " 8928189579518554459,\n", - " 9220170779606785006,\n", - " 3138281996076112624,\n", - " 1900417955979316442,\n", - " 4900822515746480050,\n", - " 6226368274509471682,\n", - " 561982252298352976,\n", - " 553209983493640712,\n", - " 73488354284186162,\n", - " 4878461986530760016,\n", - " 2056508251798067051,\n", - " 778862516078605927,\n", - " 644525310576052180,\n", - " 343409758193002106,\n", - " 215428321576488134,\n", - " 215428321576488134,\n", - " 1746923150519297621,\n", - " 1746923150519297621,\n", - " 3850222761437802156,\n", - " 7370756747863099230,\n", - " 8309816898375124643,\n", - " 8546901856913029765,\n", - " 9095537330822928159,\n", - " 9101875947697840064,\n", - " 2913750336303434315,\n", - " 480603318112622854,\n", - " 212002194149600150,\n", - " 5106729152354653630,\n", - " 8156101581199487305,\n", - " 8614161336452225172,\n", - " 9123682892761400818,\n", - " 9154025983792345754,\n", - " 9215857039477111322,\n", - " 9219305146291092319,\n", - " 9221619638409306964,\n", - " 9222665423636988385,\n", - " 9222665423636988385,\n", - " 9222848789717203706,\n", - " 9223287042042753833,\n", - " 9223312481781022801,\n", - " 6560640959307679608,\n", - " 828143374319812185,\n", - " 5743678730719237633,\n", - " 6405004647144731418,\n", - " 6918376287646553371,\n", - " 1195246132673622573,\n", - " 719058920502645850,\n", - " 661600741749344770,\n", - " 254416775583555165,\n", - " 572314344367282012,\n", - " 6543289127302223592,\n", - " 6114765767185099768,\n", - " 4979134047660802262,\n", - " 7897906116563352866,\n", - " 8957446879199865258,\n", - " 9008365120806243605,\n", - " 9017975902972569662,\n", - " 9212059562646860700,\n", - " 9213915266739584489,\n", - " 2580412709212510280,\n", - " 2240223824630735298,\n", - " 3679290101403043732,\n", - " 192630581157250419,\n", - " 156924306687614732,\n", - " 4372586452833507985,\n", - " 4711058526321665971,\n", - " 830106220872094942,\n", - " 364283611588212576,\n", - " 8156725613256302544,\n", - " 3350249389022227379,\n", - " 5514122082842361557,\n", - " 7529771844144364036,\n", - " 9166334727828306133,\n", - " 9215580366976871738,\n", - " 9217026797427840816,\n", - " 9218222982820340625,\n", - " 9218772785293826421,\n", - " 9218772785293826421,\n", - " 9218878869071464181,\n", - " 6886075619216277814,\n", - " 68013051814623369,\n", - " 5596898493695637,\n", - " 3880560180016186,\n", - " 1032773018128101,\n", - " 305534660460140,\n", - " 154766555225706,\n", - " 65885584494528,\n", - " 31893723327735,\n", - " 30486142260999,\n", - " 11086771879010,\n", - " 8632576428160929920,\n", - " 2496740755703535693,\n", - " 987625198965893481,\n", - " 987625198965893481,\n", - " 2057796483742267668,\n", - " 1918045779429608488,\n", - " 1896641111533782026,\n", - " 637863897075869061,\n", - " 637863897075869061,\n", - " 591715820673766211,\n", - " 158085453416476770,\n", - " 132671982904993300,\n", - " 34599781962110130,\n", - " 19600373707476309,\n", - " 6438646920103817,\n", - " 272228173427186,\n", - " 46815428219399,\n", - " 3766757685744053967,\n", - " 3766757685744053967,\n", - " 2093926182405194036,\n", - " 540974209384670520,\n", - " 194749180660713138,\n", - " 70809569033620927,\n", - " 1717461455538849676,\n", - " 1059248112554273024,\n", - " 996487244579310185,\n", - " 5515997718602535364,\n", - " 5738153028805171899,\n", - " 1579117383731873617,\n", - " 263222275225243640,\n", - " 177112705013205074,\n", - " 21429749194619190,\n", - " 8139582301060113485,\n", - " 8955300825088218229,\n", - " 8971826349203111000,\n", - " 4992137398748564174,\n", - " 8008479572320812484,\n", - " 6696278453839909,\n", - " 3042081537217038,\n", - " 1270777131921471,\n", - " 603231836070709,\n", - " 270123253752280,\n", - " 1917056361754011633,\n", - " 354732507985749989,\n", - " 7802703326714693419,\n", - " 3971657134787637795,\n", - " 651722845883373325,\n", - " 144048853398746977,\n", - " 93024934773184305,\n", - " 16765425117383387,\n", - " 5482659724464899039,\n", - " 636647866002370901,\n", - " 313609624031598693,\n", - " 80517462843636639,\n", - " 73372526235851178,\n", - " 40995337011447710,\n", - " 8386454803214184,\n", - " 7356876305508129182,\n", - " 7916284587668746257,\n", - " 8120807104886264619,\n", - " 8409503955248914993,\n", - " 9217354781401207532,\n", - " 9219206001711306572,\n", - " 9220190149786313009,\n", - " 3236786555403893612,\n", - " 8494308646223493159,\n", - " 8540565529068119698,\n", - " 4736961348979110975,\n", - " 7850274158180545838,\n", - " 8273468631783309430,\n", - " 8273468631783309430,\n", - " 8691322807075550234,\n", - " 1335453029103934140,\n", - " 849474447849299476,\n", - " 503971226954562050,\n", - " 149082189394301481,\n", - " 29831570748544839,\n", - " 3202968015127097955,\n", - " 7851972992675249502,\n", - " 8497245977402788974,\n", - " 8910450305612125039,\n", - " 9158799740727741692,\n", - " 9217983210721359736,\n", - " 9222402390429566571,\n", - " 9223189908969965220,\n", - " 187543427142343266,\n", - " 27938131058986238,\n", - " 5723159449769798797,\n", - " 7794649783928120372,\n", - " 8153309185642235829,\n", - " 9076916262841690308,\n", - " 9217484305429578231,\n", - " 9220001566087104056,\n", - " 7221297100240495791,\n", - " 53820687660283621,\n", - " 2657105100452285214,\n", - " 225220047679706783,\n", - " 108427398728785723,\n", - " 92884052470064665,\n", - " 8529757583125840,\n", - " 8529757583125840,\n", - " 9099202639109328242,\n", - " 9140262220502024386,\n", - " 9184132912239858224,\n", - " 9216964295998809073,\n", - " 9217088293685401018,\n", - " 9217989612051034961,\n", - " 9219559480235408602,\n", - " 9223258786957656087,\n", - " 9223344679831368561,\n", - " 9223344679831368561,\n", - " 9223357006467405930,\n", - " 9223357006467405930,\n", - " 9223365304408498034,\n", - " 5790283903569234559,\n", - " 5790283903569234559,\n", - " 1122301761931312825,\n", - " 182996905584273394,\n", - " 182996905584273394,\n", - " 86283053183098211,\n", - " 17095248407190527,\n", - " 13090732267010346,\n", - " 6230291024723211209,\n", - " 8648889742740404963,\n", - " 9162667823435547651,\n", - " 9211648195344590475,\n", - " 9216629611273036650,\n", - " 629138649241526533,\n", - " 185405851677575689,\n", - " 8312579508974779405,\n", - " 9192140950229422943,\n", - " 1704554508060332450,\n", - " 6357135378667563133,\n", - " 7813092643005613780,\n", - " 972980291805841747,\n", - " 458449729074798248,\n", - " 458449729074798248,\n", - " 248204715335577171,\n", - " 31752842475043639,\n", - " 9290889006313341,\n", - " 2057071805473217,\n", - " 1156354790599821042,\n", - " 4300351668102470698,\n", - " 8253923878958802982,\n", - " 8834969796908568504,\n", - " 8999691146015528277,\n", - " 1642236350305068437,\n", - " 515948834037299693,\n", - " 344437111332688370,\n", - " 53853216843922143,\n", - " 15230126157965903,\n", - " 14847780476323743,\n", - " 190430125833385,\n", - " 121914606811924,\n", - " 2440402986831819570,\n", - " 2440402986831819570,\n", - " 7670246718966120674,\n", - " 5373149118426367536,\n", - " 2064091367447537811,\n", - " 791318258463175857,\n", - " 5856299488306913654,\n", - " 8514331248954756782,\n", - " 8514331248954756782,\n", - " 1915000456873004421,\n", - " 635076881198996036,\n", - " 319433504494371532,\n", - " 1763347173386546,\n", - " 1439419152956003,\n", - " 688374958385466,\n", - " 2806001423219379915,\n", - " 2013057886029077818,\n", - " 2119665994960819002,\n", - " 5001151896391064298,\n", - " 8004192410428076951,\n", - " 8699558107086501584,\n", - " 9007057645123640707,\n", - " 9175741481407838392,\n", - " 9223344098405518573,\n", - " 9223344098405518573,\n", - " 736309325014693363,\n", - " 38112222257443472,\n", - " 466090876406114881,\n", - " 1567753716738161637,\n", - " 6926080323073481694,\n", - " 259524437896164950,\n", - " 86792581909723003,\n", - " 2415430885749337030,\n", - " 7241712295339901347,\n", - " 8503434510451274297,\n", - " 9053249255540341611,\n", - " 9160343720055087023,\n", - " 1356033034969202362,\n", - " 710942419591952432,\n", - " 662364734563710284,\n", - " 8216789724834593167,\n", - " 8725209283197395046,\n", - " 8644301057213478695,\n", - " 2311424867577816723,\n", - " 4963825515619136651,\n", - " 7333793609449697430,\n", - " 8017843074666064513,\n", - " 7813406290720124093,\n", - " 6874380581255924546,\n", - " 7936516959454041313,\n", - " 689613961303532287,\n", - " 314531155425358160,\n", - " 115578600303500785,\n", - " 27390078669380112,\n", - " 4262401257963837322,\n", - " 8553964195922935298,\n", - " 2114205943165155540,\n", - " 1430592732062384254,\n", - " 5281127503048631998,\n", - " 251876243586858097,\n", - " 3997030460652584513,\n", - " 2718258321479861171,\n", - " 2842678218005188026,\n", - " 943666497436300568,\n", - " 9041111520434152296,\n", - " 9097238151374939468,\n", - " 9150230676590587643,\n", - " 9180335779960046248,\n", - " 9194749378340301470,\n", - " 9194749378340301470,\n", - " 3131732179957332524,\n", - " 3131732179957332524,\n", - " 8016454136664075949,\n", - " 8037724730747892420,\n", - " 2989153422745446280,\n", - " 3508158091018221826,\n", - " 7469178431837872775,\n", - " 2552793653619024969,\n", - " 1635614779938429466,\n", - " 939893028755327079,\n", - " 8788121872827510358,\n", - " 9023434476313890170,\n", - " 9118645155824722097,\n", - " 3868364402721433565,\n", - " 395581084002101463,\n", - " 8775897229468027227,\n", - " 9070144362723327534,\n", - " 8615935770343516215,\n", - " 480540349890681605,\n", - " 391768805227889008,\n", - " 7139949942363161529,\n", - " 1496360188920679333,\n", - " 4824112524470688852,\n", - " 8705352535770215420,\n", - " 8781820465371203336,\n", - " 8781820465371203336,\n", - " 7306944034027423382,\n", - " 8244036842051234737,\n", - " 8704082745641989975,\n", - " 8892687382420857202,\n", - " 4619053451783133808,\n", - " 2488021089381448244,\n", - " 1593517227809011095,\n", - " 1386976781512177552,\n", - " 770122796534282069,\n", - " 432190724074742541,\n", - " 190059149087682386,\n", - " 81476202106632790,\n", - " 6535863077604803611,\n", - " 2566292054680948076,\n", - " 5284806268414119933,\n", - " 6522207644397187053,\n", - " 6715680390974124324,\n", - " 9102730528576074694,\n", - " 4543986797592059343,\n", - " 8073965812649324536,\n", - " 6829466541443268269,\n", - " 7180979297640612782,\n", - " 7900882919557336801,\n", - " ...]" - ] - }, - "execution_count": 8, - "metadata": {}, - "output_type": "execute_result" - } - ], - "source": [ - "generate_sequence(1000)" - ] - }, - { - "cell_type": "code", - "execution_count": 6, - "metadata": { - "collapsed": false - }, - "outputs": [], - "source": [ - "for i in range(10):\n", - " seq = generate_sequence(10000)\n", - " with open('sequence{:03}.txt'.format(i), 'w') as f:\n", - " f.write(','.join(str(n) for n in seq))" - ] - }, - { - "cell_type": "code", - "execution_count": null, - "metadata": { - "collapsed": true - }, - "outputs": [], - "source": [] - } - ], - "metadata": { - "kernelspec": { - "display_name": "Python 3", - "language": "python", - "name": "python3" - }, - "language_info": { - "codemirror_mode": { - "name": "ipython", - "version": 3 - }, - "file_extension": ".py", - "mimetype": "text/x-python", - "name": "python", - "nbconvert_exporter": "python", - "pygments_lexer": "ipython3", - "version": "3.5.2+" - } - }, - "nbformat": 4, - "nbformat_minor": 0 -}