+++ /dev/null
-{
- "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
-}