Wednesday, August 27

What's on first?

A sequence that I'm currently attempting to extend: _, 91, 3854, 178086, 15469622, ... I've purposely left out the surprising first term.

Update: It is now a sequence in the OEIS.

Thursday, August 14

3329 is a prime balanced factorial

It may appear that the following Mathematica execution took just over an hour. In fact, it has taken me many weeks to be able to write it.

PrimeQ[3329!-7607]

True

DateString[]
NextPrime[3329!-7607]
DateString[]

Thu 14 Aug 2014 08:03:36

15015905410377990189612669728734416983623305863211194173984549864118912388614580813647063124137997910538082896578696443428869585291166176049551725545323619613247036490118670691372109371002766714784994640066135388162033055349621680311652435317541931644391114409952234156263908956775470653899105140924947400093330839839804546566886098947871580704800358703875896032243051062750594829590002645279915900517541293263702329765087215432815094241693060954235337839299957090323969065518806385266477265191459751472884324532373143637717234024009643597958281320271908345806890456895205227477366523110847604195929204092016300135023471997451803585110949233566181466735581417716495791896633922227547993640135431551957261121432488358580658859446738751102266955127145501461655564274215743921329774164182560773883535928923859928623997161281386873450899829022827207791609975077260505038324222182602036918649148183767166658704803906524987613581466322117907848171936943276831821376964038916006583422499204626298527081536155227098013942804257772011873945707081139954946428432796314243287864539867192889002088474220653113939262767909977843118614065596100525158318722437297244808511563252129894837185130204981906967470241971751053802841530211141663068662899843720213079867239111965654743779578216120280795733607532383934869566829618551012793251273877554076724502727685976158947950141105949105998628073350927074843754946373489924711282077736360892286369244279778940154812080055330072889475133632730945251644798926678264994198497000992008367717165132808168934785538022596478905028659057420416930567628708103579201145411632305879571078004102460653446380420754587421340701976673333458052068783677292030907456781166992041033853227604884045593985070171656690841917913386767434663058479118452860681284187827048282376831904398605646930051779380911926083051243238455870789275047464245298483271273587903898933743766245002439773172881419876698965849052031018467593963443053676700228214015169134222272062806393035636579926552904633221081761721750145823969767215320529290268701195654553582118809223232013064682937219611566989489148341352831033573418489718988963993993805180906729957424383324212800307148720599750226879494934765856972359660969425261751184149927233027360180134302879130697258875023207844329486751133716567025046003583124738472466899864638004330782854059337089289407398001945157970833338691320373787690787404398358801973738667634465389535587594564920681405752736888311729288272246605928966188557205785691991582812355266808177731327720417562922628147355990730291178024360246732978013628772377136439127156873731248096049600312044261976700965111637819443213683959071375872377007385562407517901374496065791398470908123128307172951685673964210294957748278324201913124374729962664204986302046111534390117942176782243884596262173616164570288711883087828143613585969830142617917940280965919462026407378592510796009217969597008566076229766572343218297868592522669735483527148243498594849361994602293289198078993889348199637296250334805245579058462482111308107426699517465259358792026716200140417484585776804584548583314915343968927754960036162463616241901324430769887203952214802182627959756314445982649524058545311882983999817506462539579403054799862166728589699965459595870991990477454573070360170460041592709595638178559759526185045600203679707267061923408643032494471030635862149983001990503501730690328336124960551908452915041292337581166837138829730178563626402194012313680409767407365529282594987058251861780629567748915228518807383123318556374750937396657975083779591327967943714152154031708084505572098305967040376312526574836658064336135383885522606380468729894197273977828913752002803865934866466084285902953586411476778976985089899167264960569336939422398346244930852202019983334892586386495084115977657343620760816749779886343559438100565067398263630336285623236852512608584848800379595081341663186071192321151990086732363604874257861770988096320978938181949641606264428409380443332636396632465601760606345384780029194243703020573863877365494050356895128710868090837593220445107522893493893198071574776656427848807860183960389256911014990675661921782737633755328058787385898107233714759984556019501248961899288732375240085754014381488919202762095781925676758015829258479348139284759396510731176651509365584251387608639622431879559280845192290535282131606838274408367717288414369423342336700514311757285373699847184742654453078953299536663552867918172295641752756713068488207022447052731729114606154499330438421861227323385195220807906861290851518445313496084054556664268969785557013526231921070169876121224039336072475628070498166383135566735553162710572353048006929601597922923678245925639836253997969994846638653526816282355145653404011655683832008197770593435993335541862133880574772037525994988372621711297467288289070241202104972328279553278766035547237128167481050565685242649901692721364948881010613778779764033462123023908305073504835838647614690148099964153342227610659482874003358958411030166863606333262359230010511414191735468234817789298299655171928196995652083706341602660994563356314563482447617122379444370396377537929940948943284135871627476372041785984642322674872063758150499414983096445898722389677015586120979386071623238828897879018447602678967115989388961580673958960353851953433108660066698782325086103340568317567863379912544991516964358719586166890584022907716850567396482823811305526500274714494823325430440489179915720913708027898605580898001782376135543697199628430250858299583512037323773762134873570178584745428726250067179357758688705471887887340263385809439614198507753509900053792709821032425020442492536061212010052574437999625236827609795616198698955317541733906805476934753109445521190489388898476029253408150796277324255727000715046119075269401005306203179253641183018599648293331481334451610657373443031874105456901651875560389740902489261909475317601748404884775848793928252941780192340629850819962793163719390462904696923653270142951544693921548899645371151446071853260388953858838912554886345142041091103703822537368197553699592787585376909605535184290553858424329285664124954530633276749531640696247026422910688771913845137286096682754378765797072978525725971407205786293126053789628927365143692269415482971848132504731559702300392115922940567975304709764534746902865988529083393164785117813703620050845256694572182265960766806821713334259078038698921260354869190273247794870205915573287232328271335855076808072868989105578918884309150349274618965786543145618641219347442103494344423615422695085566652655304407088966987003350369050977288276766098522076770509757000041629387371795109571031697768434711050344533679821242034304150394622556358508575005536999394583896809130886674299375938628340372955412877085389058708096721364596024598634419843448396023494076636712671663147082745251333041933684554871103672835200733397475262464797864670794327822431189491241991844260236761220168967942851201723618129124654198294786705835543487079739735133737466465885085428002985210591261115415468332160567273208057994002806366384062123980294737608213350854700544550565804605622534310791675823445881462313767804980349173692532089220245260034368870103980082401944808396759774604060034431904809942399841784105822015397364396327055358894228911084444427798509181351268617148251236507817110908420040416801396135488632319106032661019708225522052681804815557704010070519285345354931446658229747318327636876042435176184053210980244599543966016635547921864062761063434195581928872851202888548064785370683969198555943562246542332658232084433351964256995204113375501920994424921221086278575103163858456599485041898228231295007593149099859745519137105113837426596224033383540179805494236996713974190729340726564508987351680369283478195552760622681652902109787935962286137417305340439997381672637424838508336326020461172922655986121065696769800540042179494917051931014830771629021157942344483179023261898923584241875436279585468041564399563093799264109073735917912017025075763988680731407929737194233976971333821965366929862475565379529307098109171259250859715355290579028935884671613130497431737162360626179703375256450069401672873280990624453648337028611319079865701346093542976061721058851603039038548222576781716251357701827481725296775801819099076740489324210092642074165467706442989923207483835083609496224970162085305357358969429982605463619314334330666557450489264257582086129144972908985501166548296361536443127789225567942185691911913402140777248400230715242443889236237295209082857034558320518140409980460634618126961581507301324221831889048996674708217156248685693298910854257802185723089449727073830174839178273871036262811420993356420678446902348431648187544400758978674818271298284996546704182461408199447970238558473309119358992735027659785062624673188867990941662669528150907948091620434453418825328248212892669222833124705638431069541983473983279852845261484466297488902684500492231394565972777350649301143215200728660386509645288471650199245674745628606998779833647643355886217512954103443147753673954711720985748686945659036835297743469701425399689564453479321532924542869703352964606178915774358081298811157034793270928766896933701700199004069298128847125423036988322237569145696666313316174832133059472424262574593803401211044014225967221297648882868953851847590931780595972638382849961827312004523030017428073406850761813192384311813515865598497296541694942338706020190980104389963420665952768169245938942762017327989803136972639943891353600000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000000007607

Thu 14 Aug 2014 09:12:03

Tuesday, August 5

A beautiful picture

I have suspected for years that the television picture supplied by the evil Canadian Rogers cable empire was sub-optimal at my Toronto house, owing (I thought) to a less-than-perfect infrastructure situation somewhere upstream. It all came to a head three years ago, as this lengthy complaint to an online Rogers employee attempts to explain. A senior technician did subsequently come to the house and declared my television — not their cabling — to be the problem. And alas, that television did indeed suffer from a defect (unbeknownst to me, as the set was borrowed from my daughter) that prevented proper reception on some channels. Rogers charged me $50 for the technician having to come to my house for no good reason, as it were. In light of the defect, I could not press the issue of sub-optimal reception.

Fast-forward to yesterday morning. I had lost my Teksavvy internet signal (which runs on Rogers' cable) and my television picture was somewhat more degraded than usual (so I knew it was an issue with the cable, not the modem). Rogers demands from Teksavvy a full accounting of the situation before they will issue a ticket for a technician to be sent and so I spent a full hour being interviewed by a Teksavvy employee, gathering modem and network details. Subsequently, Catherine found out from our immediate neighbours that they had lost their Rogers television signal altogether.


Early this morning a couple of Rogers subcontractor vehicles appeared and Catherine learned from their drivers that there were additional houses on the street without a Rogers signal. Unable to fix the problem on their own, they issued a Mayday to Rogers. The Rogers truck (pictured) appeared before ten. By noon I had my internet back — although it was off-again/on-again for several hours as they continued (I guess) to troubleshoot the line. Finally, they were done. I had my internet and when I turned on the television — I had a pristine picture the likes of which I had never seen. So yes, I did have a sub-optimal feed all these years!

Tuesday, July 22

Cousins

I thought Kaya and Bodie were step-siblings. Actually, they are cousins. Kaya came for a visit just now. You can see that we've trimmed Bodie's ears and tail.


Tuesday, July 15

Bodie


We have adopted a genetically modified wolf. The horror! It's been six-and-a-half years since we lost Micky, a wheaten terrier. Late June we took in (for a week) our friends' miniature poodle, Kaya, and I guess it rekindled in Catherine some dog-ownership benefits. Six-month-old Bodie (rhymes with Jodie) and Kaya are cousins.

Wednesday, July 2

Cracks in the crystal

In the late 1980s, I consumed reams of paper printing out (using my HP 75C) evolutions of elementary cellular automaton rule #193 (which in binary is 11000001, suggesting that the central cells of 111, 110, and 000 remain or become 1 in the next generation). This is the mirrored complement of the more famous rule #110. In rule #193, the ones form right "triangles" with a jagged hypotenuse facing southwest. Back then, in order to conserve ink I suppressed the printing of triangles of size-3 which (in evolutions of random starts) soon predominate. Looking at the time history of an evolution, the staggered size-3 triangles form a sort of "crystal" based on the stable configuration of the following cell (left and right are joined, time moves down):

00000100110111
01110000010011
00110111000001
00010011011100
11000001001101
11011100000100
01001101110000

Yesterday I spent some time programming this old plaything in Mathematica. Here is how a larger configuration of crystal cells appears in my implementation:


The lighter-blue ones of the size-3 triangles are meant to blend in with the darker-blue zeros, providing contrast for the other-sized triangles (in orange) of a typical evolution, out of which I have cropped this small detail:


The orange "particles" are recognized as defects, or cracks, in the crystal. They move left or right or just stand still. Colliding particles obviously conserve the sum of the defect offset numbers that individual particles may be said to possess, as they interact and regroup, or occasionally disappear. You can surmise from the (final) four particles at the very bottom of my example that the size of my space is a multiple of 14, the necessary space-size of a left-right-joined perfect crystal. (The right-moving particles will crash into the left-moving particles and disappear.)

Friday, June 27

A sequence of reasons

Eric Angelini recently posted to the Sequence Fanatics discussion list a very nice 1, 2, 3, 5, 11, 12, 4, 8, 7, ... which ended up as A243357: The lexicographically earliest sequence (not reusing any terms) with the property that if a vertical line is drawn between any pair of adjacent digits (commas and spaces excluded), the number Z formed by the digits to the left of the line is divisible by the final digit of Z. So, a line not just between the terms 3 and 5 (say), or the term 5 and the 1 of the following 11, but also between the two ones of that 11. To wit:

1/1 = 1
12/2 = 6
123/3 = 41
1235/5 = 247
12351/1 = 12351, 123511/1 = 123511
1235111/1 = 1235111, 12351112/2 = 6175556
123511124/4 = 30877781
1235111248/8 = 154388906
12351112487/7 = 1764444641
etc.

Not every number will appear in A243357. Nonnegative integers that are not in A243357 ended up as A244033:

0, 10, 14, 18, 20, 30, 34, 38, 40, 50, 54, 58, 60, 70, 74, 78, 80, 90, 94, 98, 100, 101, 102, 103, 104, 105, 106, 107, 108, 109, 110, 114, 118, 120, 130, 134, 138, 140, 141, 142, 143, 144, 145, 146, 147, 148, 149, 150, 154, 158, 160, 170, 174, 178, 180, 181, 182, 183, 184, 185, 186, 187, 188, 189, 190, 194, 198, 200, 201, 202, 203, 204, 205, 206, 207, 208, 209, 210, 214, 218, 220, 228, 230, 234, 238, 240, 250, 254, 258, 260, 268, 270, 274, 278, 280, 290, 294, 298, 300, 301, 302, 303, 304, 305, 306, 307, 308, 309, 310, 313, 314, 316, 318, 319, 320, 323, 326, 329, 330, 334, 338, 340, 341, 342, 343, 344, 345, 346, 347, 348, 349, 350, 353, 354, 356, 358, 359, 360, 370, 373, 374, 376, 378, 379, 380, 381, 382, 383, 384, 385, 386, 387, 388, 389, 390, 394, 398, 400, 401, 402, 403, 404, 405, 406, 407, 408, 409, 410, 414, 418, 420, 428, 430, 434, 438, 440, 450, 454, 458, 460, 468, 470, 474, 478, 480, 490, 494, 498, 500, 501, 502, 503, 504, 505, 506, 507, 508, 509, 510, 514, 518, 520, 530, 534, 538, 540, 541, 542, 543, 544, 545, 546, 547, 548, 549, 550, 554, 558, 560, 570, 574, 578, 580, 581, 582, 583, 584, 585, 586, 587, 588, 589, 590, 594, 598, 600, 601, 602, 603, 604, 605, 606, 607, 608, 609, 610, 613, 614, 616, 618, 619, 620, 623, 626, 628, 629, 630, 634, 638, 640, 643, 646, 649, 650, 653, 654, 656, 658, 659, 660, 668, 670, 673, 674, 676, 678, 679, 680, 683, 686, 689, 690, 694, 698, 700, 701, 702, 703, 704, 705, 706, 707, 708, 709, 710, 714, 717, 718, 720, 727, 730, 734, 737, 738, 740, 741, 742, 743, 744, 745, 746, 747, 748, 749, 750, 754, 757, 758, 760, 767, 770, 774, 778, 780, 781, 782, 783, 784, 785, 786, 787, 788, 789, 790, 794, 797, 798, 800, 801, 802, 803, 804, 805, 806, 807, 808, 809, 810, 814, 818, 820, 828, 830, 834, 838, 840, 850, 854, 858, 860, 868, 870, 874, 878, 880, 890, 894, 898, 900, 901, 902, 903, 904, 905, 906, 907, 908, 909, 910, 913, 914, 916, 918, 919, 920, 923, 926, 929, 930, 934, 938, 939, 940, 941, 942, 943, 944, 945, 946, 947, 948, 949, 950, 953, 954, 956, 958, 959, 960, 969, 970, 973, 974, 976, 978, 979, 980, 981, 982, 983, 984, 985, 986, 987, 988, 989, 990, 994, 998, 1000, ...

Most obviously, any number containing a zero digit will have been excluded because division by zero is a no-no. Let's call this reason #1. We can exclude from A244033 those numbers that fail because of reason #1. What remains ended up as A244034:

14, 18, 34, 38, 54, 58, 74, 78, 94, 98, 114, 118, 134, 138, 141, 142, 143, 144, 145, 146, 147, 148, 149, 154, 158, 174, 178, 181, 182, 183, 184, 185, 186, 187, 188, 189, 194, 198, 214, 218, 228, 234, 238, 254, 258, 268, 274, 278, 294, 298, 313, 314, 316, 318, 319, 323, 326, 329, 334, 338, 341, 342, 343, 344, 345, 346, 347, 348, 349, 353, 354, 356, 358, 359, 373, 374, 376, 378, 379, 381, 382, 383, 384, 385, 386, 387, 388, 389, 394, 398, 414, 418, 428, 434, 438, 454, 458, 468, 474, 478, 494, 498, 514, 518, 534, 538, 541, 542, 543, 544, 545, 546, 547, 548, 549, 554, 558, 574, 578, 581, 582, 583, 584, 585, 586, 587, 588, 589, 594, 598, 613, 614, 616, 618, 619, 623, 626, 628, 629, 634, 638, 643, 646, 649, 653, 654, 656, 658, 659, 668, 673, 674, 676, 678, 679, 683, 686, 689, 694, 698, 714, 717, 718, 727, 734, 737, 738, 741, 742, 743, 744, 745, 746, 747, 748, 749, 754, 757, 758, 767, 774, 778, 781, 782, 783, 784, 785, 786, 787, 788, 789, 794, 797, 798, 814, 818, 828, 834, 838, 854, 858, 868, 874, 878, 894, 898, 913, 914, 916, 918, 919, 923, 926, 929, 934, 938, 939, 941, 942, 943, 944, 945, 946, 947, 948, 949, 953, 954, 956, 958, 959, 969, 973, 974, 976, 978, 979, 981, 982, 983, 984, 985, 986, 987, 988, 989, 994, 998, 1114, ...

Why do these numbers fail to be included in A243357? Examining the initial ten terms, one realizes soon enough that multiples of 4 ending in 4 and multiples of 8 ending in 8 will always have an even digit preceding the 4 or 8. Therefore 14, 18, 34, 38, 54, 58, 74, 78, 94, 98, or any larger number containing these as a substring, will have been excluded for that reason. Let's call this reason #2. We can exclude from A244034 those numbers that fail because of reason #2. What remains is:

228, 268, 313, 316, 319, 323, 326, 329, 353, 356, 359, 373, 376, 379, 428, 468, 613, 616, 619, 623, 626, 628, 629, 643, 646, 649, 653, 656, 659, 668, 673, 676, 679, 683, 686, 689, 717, 727, 737, 757, 767, 797, 828, 868, 913, 916, 919, 923, 926, 929, 939, 953, 956, 959, 969, 973, 976, 979, 1228, ...

Why do these numbers fail to be included in A243357? Not because of reason #1. Not because of reason #2. You can see where I'm going with this. Without further ado, I present reasons to exclude from A243357 certain numbers:

#1: numbers containing one or more of the single-digit 0.

#2: numbers containing as a substring any one or more of the 2-digit strings 14, 18, 34, 38, 54, 58, 74, 78, 94, 98.

#3: numbers containing as a substring any one or more of the 3-digit strings 228, 268, 313, 316, 319, 323, 326, 329, 353, 356, 359, 373, 376, 379, 428, 468, 613, 616, 619, 623, 626, 628, 629, 643, 646, 649, 653, 656, 659, 668, 673, 676, 679, 683, 686, 689, 717, 727, 737, 757, 767, 797, 828, 868, 913, 916, 919, 923, 926, 929, 939, 953, 956, 959, 969, 973, 976, 979.

#4: numbers containing as a substring any one or more of the 4-digit strings 3113, 3116, 3119, 3173, 3176, 3179, 3223, 3226, 3229, 3253, 3256, 3259, 3283, 3286, 3289, 3523, 3526, 3529, 3553, 3556, 3559, 3713, 3716, 3719, 3773, 3776, 3779, 6113, 6116, 6119, 6173, 6176, 6179, 6223, 6226, 6229, 6253, 6256, 6259, 6413, 6416, 6419, 6443, 6446, 6449, 6473, 6476, 6479, 6523, 6526, 6529, 6553, 6556, 6559, 6713, 6716, 6719, 6773, 6776, 6779, 6823, 6826, 6829, 6853, 6856, 6859, 6883, 6886, 6889, 7117, 7127, 7137, 7157, 7167, 7197, 7227, 7237, 7247, 7257, 7267, 7297, 7317, 7327, 7337, 7367, 7397, 7517, 7527, 7537, 7557, 7597, 7617, 7627, 7647, 7657, 7667, 7687, 7697, 7927, 7937, 7957, 7967, 7997, 9113, 9116, 9119, 9129, 9159, 9173, 9176, 9179, 9219, 9223, 9226, 9229, 9249, 9253, 9256, 9259, 9283, 9286, 9289, 9339, 9519, 9523, 9526, 9529, 9553, 9556, 9559, 9579, 9669, 9713, 9716, 9719, 9759, 9773, 9776, 9779.

#5: numbers containing as a substring any one or more of the 5-digit strings 31123, 31126, 31129, 31153, 31156, 31159, 31213, 31216, 31219, 31223, 31226, 31229, 31243, 31246, 31249, 31253, 31256, 31259, 31273, 31276, 31279, 31283, 31286, 31289, 31513, 31516, 31519, 31523, 31526, 31529, 31553, 31556, 31559, 31573, 31576, 31579, 31723, 31726, 31729, 31753, 31756, 31759, 32113, 32116, 32119, 32123, 32126, 32129, 32153, 32156, 32159, 32173, 32176, 32179, 32213, 32216, 32219, 32243, 32246, 32249, 32273, 32276, 32279, 32413, 32416, 32419, 32423, 32426, 32429, 32443, 32446, 32449, 32453, 32456, 32459, 32473, 32476, 32479, 32483, 32486, 32489, 32513, 32516, 32519, 32573, 32576, 32579, 32713, 32716, 32719, 32723, 32726, 32729, 32753, 32756, 32759, 32773, 32776, 32779, 32813, 32816, 32819, 32843, 32846, 32849, 32873, 32876, 32879, 35113, 35116, 35119, 35123, 35126, 35129, 35153, 35156, 35159, 35173, 35176, 35179, 35213, 35216, 35219, 35243, 35246, 35249, 35273, 35276, 35279, 35513, 35516, 35519, 35573, 35576, 35579, 35713, 35716, 35719, 35723, 35726, 35729, 35753, 35756, 35759, 35773, 35776, 35779, 37123, 37126, 37129, 37153, 37156, 37159, 37213, 37216, 37219, 37223, 37226, 37229, 37243, 37246, 37249, 37253, 37256, 37259, 37283, 37286, 37289, 37513, 37516, 37519, 37523, 37526, 37529, 37553, 37556, 37559, 37723, 37726, 37729, 37753, 37756, 37759, 61123, 61126, 61129, 61153, 61156, 61159, 61213, 61216, 61219, 61223, 61226, 61229, 61243, 61246, 61249, 61253, 61256, 61259, 61273, 61276, 61279, 61283, 61286, 61289, 61513, 61516, 61519, 61523, 61526, 61529, 61553, 61556, 61559, 61573, 61576, 61579, 61723, 61726, 61729, 61753, 61756, 61759, 62113, 62116, 62119, 62123, 62126, 62129, 62153, 62156, 62159, 62173, 62176, 62179, 62213, 62216, 62219, 62243, 62246, 62249, 62273, 62276, 62279, 62413, 62416, 62419, 62423, 62426, 62429, 62443, 62446, 62449, 62453, 62456, 62459, 62473, 62476, 62479, 62483, 62486, 62489, 62513, 62516, 62519, 62573, 62576, 62579, 62713, 62716, 62719, 62723, 62726, 62729, 62753, 62756, 62759, 62773, 62776, 62779, 64123, 64126, 64129, 64153, 64156, 64159, 64213, 64216, 64219, 64223, 64226, 64229, 64243, 64246, 64249, 64253, 64256, 64259, 64273, 64276, 64279, 64423, 64426, 64429, 64453, 64456, 64459, 64483, 64486, 64489, 64513, 64516, 64519, 64523, 64526, 64529, 64553, 64556, 64559, 64573, 64576, 64579, 64723, 64726, 64729, 64753, 64756, 64759, 64813, 64816, 64819, 64823, 64826, 64829, 64843, 64846, 64849, 64853, 64856, 64859, 64873, 64876, 64879, 64883, 64886, 64889, 65113, 65116, 65119, 65123, 65126, 65129, 65153, 65156, 65159, 65173, 65176, 65179, 65213, 65216, 65219, 65243, 65246, 65249, 65273, 65276, 65279, 65513, 65516, 65519, 65573, 65576, 65579, 65713, 65716, 65719, 65723, 65726, 65729, 65753, 65756, 65759, 65773, 65776, 65779, 67123, 67126, 67129, 67153, 67156, 67159, 67213, 67216, 67219, 67223, 67226, 67229, 67243, 67246, 67249, 67253, 67256, 67259, 67283, 67286, 67289, 67513, 67516, 67519, 67523, 67526, 67529, 67553, 67556, 67559, 67723, 67726, 67729, 67753, 67756, 67759, 68113, 68116, 68119, 68123, 68126, 68129, 68153, 68156, 68159, 68173, 68176, 68179, 68213, 68216, 68219, 68243, 68246, 68249, 68273, 68276, 68279, 68413, 68416, 68419, 68423, 68426, 68429, 68443, 68446, 68449, 68453, 68456, 68459, 68473, 68476, 68479, 68483, 68486, 68489, 68513, 68516, 68519, 68573, 68576, 68579, 68713, 68716, 68719, 68723, 68726, 68729, 68753, 68756, 68759, 68773, 68776, 68779, 68813, 68816, 68819, 68843, 68846, 68849, 68873, 68876, 68879, 71117, 71137, 71157, 71167, 71217, 71227, 71237, 71247, 71257, 71287, 71297, 71317, 71327, 71357, 71367, 71397, 71517, 71527, 71537, 71557, 71567, 71597, 71627, 71637, 71647, 71657, 71667, 71697, 71917, 71927, 71937, 71957, 71997, 72117, 72127, 72137, 72157, 72167, 72197, 72217, 72227, 72237, 72257, 72267, 72297, 72327, 72337, 72357, 72367, 72397, 72417, 72427, 72437, 72447, 72467, 72487, 72497, 72517, 72537, 72557, 72567, 72617, 72627, 72637, 72647, 72657, 72697, 72817, 72827, 72837, 72847, 72857, 72867, 72887, 72897, 72917, 72927, 72937, 72957, 72967, 72997, 73117, 73127, 73217, 73247, 73257, 73287, 73317, 73327, 73337, 73357, 73397, 73517, 73527, 73557, 73617, 73627, 73637, 73657, 73667, 73687, 73697, 73917, 73937, 73957, 73967, 75127, 75137, 75157, 75167, 75197, 75217, 75227, 75237, 75247, 75267, 75287, 75297, 75317, 75337, 75357, 75367, 75517, 75527, 75557, 75567, 75597, 75617, 75627, 75637, 75647, 75657, 75667, 75687, 75697, 75917, 75927, 75937, 75967, 75997, 76117, 76127, 76157, 76217, 76227, 76247, 76257, 76317, 76327, 76337, 76357, 76367, 76397, 76417, 76427, 76457, 76487, 76527, 76557, 76617, 76627, 76637, 76647, 76667, 76697, 76817, 76827, 76847, 76857, 76887, 76917, 76927, 76957, 76967, 76997, 79117, 79127, 79157, 79217, 79227, 79257, 79287, 79327, 79337, 79357, 79367, 79517, 79557, 79617, 79627, 79637, 79647, 79657, 79687, 79917, 79927, 79937, 79957, 79967, 79997, 91119, 91123, 91126, 91129, 91153, 91156, 91159, 91213, 91216, 91219, 91223, 91226, 91229, 91239, 91243, 91246, 91249, 91253, 91256, 91259, 91273, 91276, 91279, 91283, 91286, 91289, 91513, 91516, 91519, 91523, 91526, 91529, 91553, 91556, 91559, 91569, 91573, 91576, 91579, 91723, 91726, 91729, 91753, 91756, 91759, 91779, 92113, 92116, 92119, 92123, 92126, 92129, 92139, 92153, 92156, 92159, 92173, 92176, 92179, 92213, 92216, 92219, 92229, 92243, 92246, 92249, 92273, 92276, 92279, 92413, 92416, 92419, 92423, 92426, 92429, 92443, 92446, 92449, 92453, 92456, 92459, 92469, 92473, 92476, 92479, 92483, 92486, 92489, 92513, 92516, 92519, 92559, 92573, 92576, 92579, 92713, 92716, 92719, 92723, 92726, 92729, 92739, 92753, 92756, 92759, 92769, 92773, 92776, 92779, 92813, 92816, 92819, 92829, 92843, 92846, 92849, 92859, 92873, 92876, 92879, 93129, 93219, 93279, 93369, 93579, 93639, 93669, 93729, 93759, 95113, 95116, 95119, 95123, 95126, 95129, 95153, 95156, 95159, 95169, 95173, 95176, 95179, 95213, 95216, 95219, 95243, 95246, 95249, 95259, 95273, 95276, 95279, 95289, 95513, 95516, 95519, 95529, 95559, 95573, 95576, 95579, 95713, 95716, 95719, 95723, 95726, 95729, 95739, 95753, 95756, 95759, 95773, 95776, 95779, 96159, 96249, 96279, 96339, 96369, 96429, 96459, 96519, 96639, 96729, 96819, 96879, 97123, 97126, 97129, 97153, 97156, 97159, 97213, 97216, 97219, 97223, 97226, 97229, 97239, 97243, 97246, 97249, 97253, 97256, 97259, 97269, 97283, 97286, 97289, 97513, 97516, 97519, 97523, 97526, 97529, 97539, 97553, 97556, 97559, 97719, 97723, 97726, 97729, 97753, 97756, 97759, 97779.

#6: numbers containing as a substring any one or more of the 6-digit strings 311123, 311126, 311129, 311153, 311156, 311159, 311213, 311216, 311219, 311243, 311246, 311249, 311273, 311276, 311279, 311513, 311516, 311519, 311573, 311576, 311579, 311723, 311726, 311729, 311753, 311756, 311759, 312113, 312116, 312119, 312173, 312176, 312179, 312413, 312416, 312419, 312443, 312446, 312449, 312473, 312476, 312479, 312713, 312716, 312719, 312773, 312776, 312779, 315113, 315116, 315119, 315173, 315176, 315179, 315713, 315716, 315719, 315773, 315776, 315779, 317123, 317126, 317129, 317153, 317156, 317159, 317213, 317216, 317219, 317243, 317246, 317249, 317513, 317516, 317519, 317723, 317726, 317729, 317753, 317756, 317759, 321113, 321116, 321119, 321173, 321176, 321179, 321713, 321716, 321719, 321773, 321776, 321779, 322223, 322226, 322229, 322253, 322256, 322259, 322523, 322526, 322529, 322553, 322556, 322559, 324113, 324116, 324119, 324173, 324176, 324179, 324413, 324416, 324419, 324443, 324446, 324449, 324473, 324476, 324479, 324713, 324716, 324719, 324773, 324776, 324779, 325223, 325226, 325229, 325253, 325256, 325259, 325283, 325286, 325289, 325523, 325526, 325529, 325553, 325556, 325559, 327113, 327116, 327119, 327713, 327716, 327719, 327773, 327776, 327779, 328223, 328226, 328229, 328253, 328256, 328259, 328523, 328526, 328529, 328553, 328556, 328559, 328823, 328826, 328829, 328853, 328856, 328859, 328883, 328886, 328889, 351113, 351116, 351119, 351173, 351176, 351179, 351713, 351716, 351719, 351773, 351776, 351779, 352223, 352226, 352229, 352253, 352256, 352259, 352523, 352526, 352529, 352553, 352556, 352559, 352823, 352826, 352829, 352853, 352856, 352859, 352883, 352886, 352889, 355223, 355226, 355229, 355253, 355256, 355259, 355283, 355286, 355289, 355523, 355526, 355529, 355553, 355556, 355559, 357113, 357116, 357119, 357713, 357716, 357719, 357773, 357776, 357779, 371123, 371126, 371129, 371153, 371156, 371159, 371213, 371216, 371219, 371243, 371246, 371249, 371513, 371516, 371519, 372113, 372116, 372119, 372173, 372176, 372179, 372413, 372416, 372419, 372443, 372446, 372449, 375113, 375116, 375119, 377123, 377126, 377129, 377153, 377156, 377159, 377213, 377216, 377219, 377243, 377246, 377249, 377513, 377516, 377519, 377723, 377726, 377729, 377753, 377756, 377759, 611123, 611126, 611129, 611153, 611156, 611159, 611213, 611216, 611219, 611243, 611246, 611249, 611273, 611276, 611279, 611513, 611516, 611519, 611573, 611576, 611579, 611723, 611726, 611729, 611753, 611756, 611759, 612113, 612116, 612119, 612173, 612176, 612179, 612413, 612416, 612419, 612443, 612446, 612449, 612473, 612476, 612479, 612713, 612716, 612719, 612773, 612776, 612779, 615113, 615116, 615119, 615173, 615176, 615179, 615713, 615716, 615719, 615773, 615776, 615779, 617123, 617126, 617129, 617153, 617156, 617159, 617213, 617216, 617219, 617243, 617246, 617249, 617513, 617516, 617519, 617723, 617726, 617729, 617753, 617756, 617759, 621113, 621116, 621119, 621173, 621176, 621179, 621713, 621716, 621719, 621773, 621776, 621779, 622223, 622226, 622229, 622253, 622256, 622259, 622523, 622526, 622529, 622553, 622556, 622559, 624113, 624116, 624119, 624173, 624176, 624179, 624413, 624416, 624419, 624443, 624446, 624449, 624473, 624476, 624479, 624713, 624716, 624719, 624773, 624776, 624779, 625223, 625226, 625229, 625253, 625256, 625259, 625283, 625286, 625289, 625523, 625526, 625529, 625553, 625556, 625559, 627113, 627116, 627119, 627713, 627716, 627719, 627773, 627776, 627779, 641123, 641126, 641129, 641153, 641156, 641159, 641213, 641216, 641219, 641243, 641246, 641249, 641273, 641276, 641279, 641513, 641516, 641519, 641573, 641576, 641579, 641723, 641726, 641729, 641753, 641756, 641759, 642113, 642116, 642119, 642173, 642176, 642179, 642413, 642416, 642419, 642443, 642446, 642449, 642473, 642476, 642479, 642713, 642716, 642719, 642773, 642776, 642779, 644123, 644126, 644129, 644153, 644156, 644159, 644213, 644216, 644219, 644243, 644246, 644249, 644273, 644276, 644279, 644423, 644426, 644429, 644453, 644456, 644459, 644483, 644486, 644489, 644513, 644516, 644519, 644573, 644576, 644579, 644723, 644726, 644729, 644753, 644756, 644759, 644813, 644816, 644819, 644843, 644846, 644849, 644873, 644876, 644879, 645113, 645116, 645119, 645173, 645176, 645179, 645713, 645716, 645719, 645773, 645776, 645779, 647123, 647126, 647129, 647153, 647156, 647159, 647213, 647216, 647219, 647243, 647246, 647249, 647513, 647516, 647519, 647723, 647726, 647729, 647753, 647756, 647759, 648113, 648116, 648119, 648173, 648176, 648179, 648413, 648416, 648419, 648443, 648446, 648449, 648473, 648476, 648479, 648713, 648716, 648719, 648773, 648776, 648779, 651113, 651116, 651119, 651173, 651176, 651179, 651713, 651716, 651719, 651773, 651776, 651779, 652223, 652226, 652229, 652253, 652256, 652259, 652523, 652526, 652529, 652553, 652556, 652559, 652823, 652826, 652829, 652853, 652856, 652859, 652883, 652886, 652889, 655223, 655226, 655229, 655253, 655256, 655259, 655283, 655286, 655289, 655523, 655526, 655529, 655553, 655556, 655559, 657113, 657116, 657119, 657713, 657716, 657719, 657773, 657776, 657779, 671123, 671126, 671129, 671153, 671156, 671159, 671213, 671216, 671219, 671243, 671246, 671249, 671513, 671516, 671519, 672113, 672116, 672119, 672173, 672176, 672179, 672413, 672416, 672419, 672443, 672446, 672449, 675113, 675116, 675119, 677123, 677126, 677129, 677153, 677156, 677159, 677213, 677216, 677219, 677243, 677246, 677249, 677513, 677516, 677519, 677723, 677726, 677729, 677753, 677756, 677759, 681113, 681116, 681119, 681173, 681176, 681179, 681713, 681716, 681719, 681773, 681776, 681779, 682223, 682226, 682229, 682253, 682256, 682259, 682523, 682526, 682529, 682553, 682556, 682559, 684113, 684116, 684119, 684173, 684176, 684179, 684413, 684416, 684419, 684443, 684446, 684449, 684473, 684476, 684479, 684713, 684716, 684719, 684773, 684776, 684779, 685223, 685226, 685229, 685253, 685256, 685259, 685283, 685286, 685289, 685523, 685526, 685529, 685553, 685556, 685559, 687113, 687116, 687119, 687713, 687716, 687719, 687773, 687776, 687779, 688223, 688226, 688229, 688253, 688256, 688259, 688523, 688526, 688529, 688553, 688556, 688559, 688823, 688826, 688829, 688853, 688856, 688859, 688883, 688886, 688889, 711117, 711157, 711167, 711217, 711227, 711237, 711247, 711257, 711287, 711297, 711317, 711327, 711357, 711367, 711397, 711517, 711527, 711537, 711567, 711597, 711637, 711647, 711657, 711667, 711917, 711927, 711937, 711957, 711997, 712127, 712137, 712157, 712167, 712197, 712217, 712227, 712237, 712267, 712297, 712337, 712357, 712367, 712417, 712427, 712437, 712447, 712487, 712497, 712517, 712557, 712567, 712617, 712627, 712637, 712647, 712657, 712697, 712827, 712837, 712847, 712857, 712867, 712897, 712917, 712927, 712937, 712967, 712997, 713117, 713127, 713217, 713247, 713257, 713287, 713317, 713327, 713337, 713357, 713397, 713527, 713557, 713617, 713627, 713637, 713667, 713687, 713697, 713917, 713957, 713967, 715137, 715157, 715167, 715217, 715227, 715237, 715247, 715287, 715297, 715317, 715357, 715367, 715517, 715527, 715557, 715567, 715597, 715627, 715637, 715647, 715657, 715667, 715697, 715917, 715927, 715937, 715997, 716117, 716127, 716157, 716217, 716227, 716257, 716327, 716337, 716357, 716367, 716397, 716417, 716427, 716487, 716557, 716617, 716627, 716637, 716647, 716697, 716817, 716827, 716847, 716857, 716887, 716917, 716927, 716957, 716967, 716997, 719127, 719157, 719217, 719227, 719287, 719337, 719357, 719367, 719517, 719557, 719617, 719627, 719637, 719647, 719657, 719687, 719917, 719927, 719937, 719967, 719997, 721117, 721127, 721157, 721167, 721197, 721227, 721237, 721247, 721257, 721267, 721297, 721317, 721327, 721337, 721367, 721397, 721517, 721527, 721537, 721597, 721617, 721647, 721657, 721667, 721687, 721927, 721937, 721957, 721967, 721997, 722137, 722157, 722167, 722217, 722227, 722237, 722247, 722297, 722317, 722357, 722367, 722417, 722427, 722437, 722447, 722457, 722487, 722497, 722517, 722527, 722557, 722567, 722597, 722627, 722637, 722647, 722657, 722667, 722697, 722917, 722927, 722937, 722997, 723117, 723127, 723157, 723217, 723227, 723257, 723287, 723327, 723337, 723357, 723367, 723397, 723557, 723617, 723627, 723637, 723647, 723687, 723697, 723917, 723927, 723957, 723967, 723997, 724117, 724127, 724137, 724167, 724197, 724237, 724247, 724257, 724267, 724317, 724327, 724337, 724397, 724417, 724447, 724457, 724467, 724487, 724517, 724527, 724537, 724557, 724597, 724617, 724627, 724657, 724667, 724697, 724817, 724827, 724837, 724867, 724887, 724897, 724937, 724957, 724967, 725117, 725157, 725167, 725217, 725227, 725237, 725247, 725257, 725287, 725297, 725317, 725327, 725357, 725367, 725397, 725517, 725527, 725537, 725567, 725597, 725637, 725647, 725657, 725667, 725917, 725927, 725937, 725957, 725997, 726127, 726157, 726217, 726227, 726337, 726357, 726367, 726417, 726427, 726447, 726487, 726517, 726557, 726617, 726627, 726637, 726647, 726657, 726697, 726917, 726927, 726937, 726967, 726997, 728117, 728127, 728157, 728167, 728197, 728227, 728237, 728247, 728257, 728267, 728297, 728317, 728327, 728337, 728367, 728397, 728437, 728447, 728457, 728467, 728517, 728527, 728537, 728597, 728617, 728647, 728657, 728667, 728817, 728827, 728857, 728867, 728887, 728897, 728927, 728937, 728957, 728967, 728997, 729157, 729217, 729227, 729247, 729287, 729317, 729357, 729367, 729517, 729527, 729557, 729627, 729637, 729647, 729657, 729667, 729917, 729927, 729937, 729997, 731117, 731127, 731237, 731247, 731257, 731267, 731517, 731527, 731537, 731557, 731597, 732117, 732157, 732167, 732217, 732227, 732247, 732257, 732427, 732437, 732447, 732457, 732467, 732497, 732517, 732527, 732817, 732847, 732857, 732887, 733127, 733157, 733217, 733227, 733287, 733337, 733357, 733367, 733517, 733557, 733617, 733627, 733637, 733647, 733657, 733687, 733697, 733917, 733927, 733937, 733967, 733997, 735117, 735127, 735157, 735167, 735197, 735227, 735247, 735257, 735517, 735527, 736157, 736217, 736227, 736247, 736317, 736357, 736367, 736417, 736427, 736447, 736457, 736487, 736517, 736527, 736557, 736627, 736637, 736647, 736657, 736667, 736697, 736847, 736857, 736917, 736927, 736937, 736997, 739117, 739157, 739217, 739227, 739247, 739257, 739287, 739317, 739327, 739357, 739367, 739517, 739527, 739637, 739647, 739657, 739667, 739917, 739927, 739937, 739957, 739997, 751117, 751127, 751137, 751157, 751197, 751217, 751227, 751257, 751267, 751287, 751297, 751327, 751337, 751357, 751367, 751397, 751537, 751557, 751567, 751617, 751627, 751637, 751647, 751687, 751697, 751917, 751927, 751957, 751967, 751997, 752117, 752127, 752137, 752167, 752197, 752237, 752247, 752257, 752267, 752317, 752327, 752337, 752397, 752417, 752447, 752457, 752467, 752487, 752517, 752527, 752537, 752557, 752597, 752617, 752627, 752657, 752667, 752697, 752817, 752827, 752837, 752867, 752887, 752897, 752937, 752957, 752967, 753117, 753157, 753217, 753227, 753247, 753257, 753287, 753317, 753327, 753357, 753367, 753397, 753517, 753527, 753637, 753647, 753657, 753667, 753917, 753927, 753937, 753957, 753997, 755117, 755127, 755137, 755197, 755217, 755247, 755257, 755267, 755287, 755317, 755327, 755337, 755357, 755397, 755527, 755537, 755557, 755567, 755597, 755617, 755627, 755637, 755667, 755687, 755697, 755917, 755957, 755967, 756117, 756127, 756157, 756227, 756247, 756257, 756317, 756327, 756337, 756367, 756397, 756447, 756457, 756517, 756527, 756617, 756647, 756657, 756667, 756817, 756827, 756857, 756887, 756927, 756937, 756957, 756967, 756997, 759117, 759127, 759247, 759257, 759317, 759327, 759337, 759517, 759527, 759557, 759617, 759627, 759657, 759667, 759687, 759937, 759957, 759967, 761127, 761157, 761217, 761227, 761237, 761267, 761287, 761297, 761517, 761557, 761567, 762117, 762127, 762137, 762197, 762217, 762247, 762257, 762417, 762427, 762457, 762467, 762487, 762497, 762527, 762557, 763117, 763127, 763157, 763227, 763247, 763257, 763317, 763327, 763337, 763367, 763397, 763517, 763527, 763617, 763647, 763657, 763667, 763687, 763927, 763937, 763957, 763967, 763997, 764157, 764217, 764227, 764237, 764247, 764297, 764417, 764427, 764447, 764457, 764487, 764517, 764527, 764557, 764567, 764597, 764837, 764847, 764857, 764867, 765117, 765127, 765137, 765157, 765197, 765217, 765227, 765257, 765287, 765557, 766117, 766127, 766247, 766257, 766317, 766327, 766337, 766397, 766417, 766447, 766457, 766487, 766517, 766527, 766557, 766617, 766627, 766657, 766667, 766697, 766937, 766957, 766967, 768127, 768137, 768157, 768167, 768197, 768217, 768227, 768417, 768427, 768437, 768447, 768487, 768497, 768517, 768557, 768827, 768847, 768857, 769117, 769127, 769217, 769247, 769257, 769287, 769317, 769327, 769337, 769357, 769527, 769557, 769617, 769627, 769637, 769667, 769687, 769917, 769957, 769967, 791117, 791127, 791157, 791227, 791237, 791247, 791257, 791267, 791517, 791527, 791537, 792137, 792157, 792167, 792217, 792227, 792247, 792417, 792427, 792437, 792447, 792457, 792487, 792517, 792527, 792557, 792847, 792857, 793117, 793127, 793157, 793217, 793227, 793257, 793287, 793327, 793337, 793357, 793367, 793557, 793617, 793627, 793637, 793647, 793687, 793697, 795117, 795157, 795167, 795217, 795227, 795247, 795257, 795287, 795517, 795527, 796127, 796157, 796217, 796227, 796337, 796357, 796367, 796417, 796427, 796447, 796487, 796517, 796557, 796617, 796627, 796637, 796647, 796657, 796827, 796847, 796857, 799157, 799217, 799227, 799247, 799287, 799317, 799357, 799367, 799517, 799527, 799557, 799627, 799637, 799647, 799657, 799667, 799917, 799927, 799937, 799997, 911123, 911126, 911129, 911139, 911153, 911156, 911159, 911179, 911213, 911216, 911219, 911229, 911243, 911246, 911249, 911273, 911276, 911279, 911289, 911513, 911516, 911519, 911559, 911573, 911576, 911579, 911719, 911723, 911726, 911729, 911739, 911753, 911756, 911759, 911769, 911779, 912113, 912116, 912119, 912129, 912173, 912176, 912179, 912219, 912229, 912259, 912279, 912369, 912413, 912416, 912419, 912443, 912446, 912449, 912459, 912473, 912476, 912479, 912489, 912529, 912579, 912639, 912669, 912713, 912716, 912719, 912729, 912759, 912773, 912776, 912779, 912819, 912849, 912859, 912889, 915113, 915116, 915119, 915159, 915173, 915176, 915179, 915229, 915249, 915279, 915289, 915339, 915369, 915519, 915559, 915639, 915713, 915716, 915719, 915729, 915773, 915776, 915779, 917119, 917123, 917126, 917129, 917139, 917153, 917156, 917159, 917169, 917213, 917216, 917219, 917229, 917243, 917246, 917249, 917259, 917513, 917516, 917519, 917529, 917719, 917723, 917726, 917729, 917753, 917756, 917759, 917769, 921113, 921116, 921119, 921129, 921173, 921176, 921179, 921219, 921229, 921259, 921279, 921369, 921529, 921579, 921639, 921669, 921713, 921716, 921719, 921729, 921759, 921773, 921776, 921779, 922119, 922129, 922159, 922179, 922219, 922223, 922226, 922229, 922249, 922253, 922256, 922259, 922269, 922429, 922449, 922479, 922489, 922519, 922523, 922526, 922529, 922539, 922553, 922556, 922559, 922569, 922579, 922719, 922759, 924113, 924116, 924119, 924159, 924173, 924176, 924179, 924229, 924249, 924279, 924339, 924369, 924413, 924416, 924419, 924429, 924443, 924446, 924449, 924459, 924473, 924476, 924479, 924519, 924559, 924639, 924713, 924716, 924719, 924729, 924773, 924776, 924779, 924819, 924829, 924859, 924879, 925129, 925179, 925219, 925223, 925226, 925229, 925239, 925253, 925256, 925259, 925269, 925279, 925283, 925286, 925289, 925523, 925526, 925529, 925539, 925553, 925556, 925559, 925579, 925719, 925729, 925759, 925779, 927113, 927116, 927119, 927129, 927159, 927219, 927249, 927259, 927289, 927339, 927519, 927529, 927559, 927669, 927713, 927716, 927719, 927759, 927773, 927776, 927779, 928119, 928159, 928223, 928226, 928229, 928239, 928249, 928253, 928256, 928259, 928279, 928419, 928429, 928459, 928479, 928519, 928523, 928526, 928529, 928553, 928556, 928559, 928569, 928729, 928779, 928819, 928823, 928826, 928829, 928839, 928853, 928856, 928859, 928869, 928879, 928883, 928886, 928889, 931119, 931179, 931269, 931539, 931569, 931719, 932169, 932259, 932439, 932469, 932529, 932559, 932739, 932829, 932889, 933159, 933249, 933279, 933339, 933369, 933519, 933639, 933729, 935139, 935169, 935229, 935259, 935529, 935769, 936129, 936159, 936219, 936249, 936339, 936429, 936489, 936519, 936579, 936669, 936759, 936849, 936879, 937119, 937239, 937569, 937779, 951113, 951116, 951119, 951159, 951173, 951176, 951179, 951229, 951249, 951279, 951289, 951339, 951369, 951519, 951559, 951639, 951713, 951716, 951719, 951729, 951773, 951776, 951779, 952129, 952179, 952219, 952223, 952226, 952229, 952239, 952253, 952256, 952259, 952269, 952279, 952419, 952449, 952459, 952489, 952523, 952526, 952529, 952539, 952553, 952556, 952559, 952579, 952719, 952729, 952759, 952779, 952819, 952823, 952826, 952829, 952849, 952853, 952856, 952859, 952869, 952883, 952886, 952889, 955119, 955159, 955223, 955226, 955229, 955239, 955249, 955253, 955256, 955259, 955279, 955283, 955286, 955289, 955519, 955523, 955526, 955529, 955553, 955556, 955559, 955569, 955729, 955779, 957113, 957116, 957119, 957129, 957219, 957229, 957259, 957369, 957529, 957639, 957669, 957713, 957716, 957719, 957729, 957759, 957773, 957776, 957779, 961179, 961239, 961269, 961539, 961719, 961779, 962139, 962169, 962229, 962259, 962439, 962529, 962769, 963129, 963159, 963219, 963249, 963339, 963519, 963579, 963669, 963759, 964119, 964239, 964419, 964479, 964569, 964779, 964839, 964869, 965139, 965229, 965289, 965559, 965739, 965769, 966129, 966219, 966279, 966369, 966459, 966489, 966579, 966639, 966669, 966729, 966759, 967119, 967269, 967539, 967569, 967719, 968169, 968259, 968439, 968469, 968529, 968559, 968739, 968829, 968889, 971119, 971123, 971126, 971129, 971139, 971153, 971156, 971159, 971169, 971213, 971216, 971219, 971229, 971243, 971246, 971249, 971259, 971513, 971516, 971519, 971529, 972113, 972116, 972119, 972129, 972159, 972173, 972176, 972179, 972219, 972249, 972259, 972339, 972413, 972416, 972419, 972429, 972443, 972446, 972449, 972489, 972519, 972529, 972559, 972669, 972829, 972849, 972879, 972889, 975113, 975116, 975119, 975129, 975219, 975229, 975259, 975369, 975529, 975639, 975669, 977119, 977123, 977126, 977129, 977153, 977156, 977159, 977169, 977213, 977216, 977219, 977243, 977246, 977249, 977259, 977289, 977513, 977516, 977519, 977529, 977559, 977723, 977726, 977729, 977739, 977753, 977756, 977759, 977779.

And so on. Obviously, numbers may fail to be included in A243357 for more than one reason. For example, 140 fails because of reason #1 and reason #2. The numbers in each reason are a kind of puzzle asking you to determine why that number fails. Once the eight integers ending with 8 in reason #3 are dispensed with, it appears that every other number involves some sort of division complication of integers beginning and ending with 3, 6, or 9, or beginning and ending with 7.

Thursday, June 26

Mac Pro update

I'm coming up to five months usage of my Mac Pro. I long ago disconnected it from the living room TV and placed it on the high plateau at the back of my rolltop desk, hidden from view for the most part by my iMac. I am happily using wireless screen sharing to interact with it but I did order a ThunderBolt cable so that I might do so directly via Target Display Mode.


The screen grab shows what I am doing on my Pro. On the top left is Mathematica calculating an extension to A066364, something I have been working on for quite a while. I'm near 2000 terms and I have another two weeks to go before I reach 10^12. Below Mathematica is my Activity Monitor showing the top active processes. My Pro has only six cores but through some sort of doubling magic the sum of all processes can approach 1200% CPU. At bottom center is my dock, and behind it my Terminal window which I use only to run Dario Alpern's java factorization app. In fact, I have nine of these running (top and right) working on 120-digit composites. The seventh one, just above the Terminal, has found a 42-digit factor (highlighted in blue). Bottom right is a hint of my Finder/desktop.

Saturday, June 14

9^9^9^9

Evaluated of course from the top down: 9^(9^(9^9)) =

2141983294796805611333364373442480830147227072845128488706516195982808749656704847036118447249917368534882576451831941124967505916305793945013238313785725738730389990607622375164215850608153751690224953436818248556343646074320491422108324135950917197950174240373727449819099298623442074196395233147012851945458608618338956045944750851917456715466192351341466773613440099122543567283144781719515537926139874990173606223519423530525731747035253503459883385123516010577667127694610453156385746765897621562404399379577956133600380868892626688428376135244149796478280697276162924934299847800577244890962812110420375493157350948287638628119202895323088180635005801059782377772309413262626457874631625667392842673425343355731049525227679242600094634211403465516241399388934604002555848850137948921158407364000067040158875508373687980155012872343445273237359418860270868486343466786043934944002967040044021133783414496266152548494052199958668180534230822363801465297022468593156556878795221958305158376069266533572878049112090977451259963414027052521143495091056200486299150056386036278414711385480411172151066936342619287154077153258853778573359619527089354317295286622569504916550417020038701704364859801635092158716443536359077330319371077828150054170609941449937413078328900757109731999133004079325740614479402286631259373436351250502801818175769943162373036282514140008420137773205541318473388424618678169013148103235287007190147807087800272813257582664038983253245233752547416259216052528874679572717390173530891011041855963285603842902660064804628416047829178744137932688789434738016920680407202265688134979595789041115170061989785423277688160266000759149554168635763064341309987558070371184809519291574951371002368142656208369641324924430484693356011245038562197224070935146487072387917125070646187675727638261224779167010296536649152147746119265728628668699743569964680957808400856803086048329805158706240732893984654604485172969847132950773328300545405256876323671188900021326471612685271815263415427832429085037699367471386412045512021367072214647672122532507857515490167032200772638708258609273052019225953416381587974173619175259410780254885989965224983116951917358863122343768295023013853317825267809724893628754555053953179015329547661123377453807921311513137251420383858802322452607369978433823311398910824460528500920616108243562294762067897476058839311611434905374251893408714803251657428247051594785201233440969385325681146553158624666595261753204448902610558645400735450063969886488148187083454029304743852074422533066825977186916360311654196570058849044567343161961476293650910324086388531591931704273699970647520246471701480220787753956543370496245777587070920194701346027642045495516866917994240418636752075909848395718705766768742249814816393822773557965635891566126447985457943688177064593613122651314251972446304287441880718997987467426675038904084210738418961341993873724582167535840087265746961457970436070112736682525854279129592421324039228057017379707400010996655717786597590710346228863837272080104386839922049950184588310817524786724550329331388444106636266772242494039861773232090036604552982140838631204603754929919475853180039617136428607621023841205927785322449140215309409914093184542182333046649404871069622131874686763956495969243168250529603996935481438049944530080091757401719857087876239945879517131850856833298488061533667346200438736550551812737101299791480670813152210510129425562814919810710562922204191574768374198432894747171600066300617281293341477072316996237139396368118738238470187135823296534596882718573988893265820979613958740775207684327201780102736332550562099337415010038034597843716902205934866235539275054396241817613598295392919324588187199257735128822719952552567216277703736977999384250725898301250700523090819444947827876711536915210140677775061629953325503297657120184867652691623840726672253933970386014117818695432827765401256305025438144450987828140472966826499580831660415628871500505991570030350294602874108797995397643152276577887723598138474081877816665882596852710217826534505448555825623224273936740036037449122650658807214436587276520206890563510939965335004780324759533256442812240953210281610455285520215318901860394724429755902757033926857346052749937175116414914029716547633304678106091478484572933402126300107816699173926665915186551434496836947054612120645120826014909427108695777189678739062488786376838496898615845964996551837561680253045861436445318587982481110631543974711681513344512832668045704415240489043858902922417770927626211133415178613008187497240597146297216846632289178526355041806720456053144135189850856005877247589090119682579065351840497815347471747583034323284904484257465552661539529443584986536371298904422429648638858076699220120060759993770618150563407960729284318743880897467666550184930313450545846163047242257960416992404858170717485540936630337719427014018371086513278332592588444913825798314729818863994979323641371972125896609243363085994812621233763958704767530738945201893467097018796811081211535704347766534289125858194891192192115520617483617466776111785727719441834581344682732144369256123553267544963327053521303248685623396759572585515697440257150090424749331875813260934471435067678483737483468779098366067190590045397088394679709990197694309557332827035786005521738995145837788968407566474956031899788346987140426671112125637359626034619202393148714621115113827696997473019296677188185378530854973914675741280444037165671821944758770519422991375618461946260909278248095936984332734012889114368607747718949964264763279521043163258474337515585135389582595314181418088295286558461284436990001567627014490164495105749423558891880990735414249537364794452558860129868283592296238290420441672197546347795389049955790407580880116310398190964476668299813554183672512065712586354914994205049661540445020734353178923997306234167744473219647967483600881472917277999360534384623136298347556931571037328907185640644236812713315781121290795647755693859460359819567346717027936870173773995391288832052108439400193443458873729092749593195206587097367332235795588203985111425415430534109054595866630338758765956963600688576091307331544780234924805543130931114609966744707433884932966067699710343582828953326728091349310358479094513563342495457187106704465207308794828128682221617180758691730571865540340030054863972075298641636054408541497999094911849379272012617406398348501406639591749802005359652531076669801507900049465269253868014947731750853055247546236065632497866112061942158494072104686578542283328642573190666573920495404863230411006721035305832950030721868741871538815044005587972061675044699940173831496722569078084316326220073275846845276292722394305189758811057945915308065046703404355586253169344616320416177802738122531427069847622878087024069730415257176973442493718413647009609476690446384015316198254165565570161620222838085307495431437014582380327516377168024325822347650230569818879527630782556521441803304381329216313467891186577019470258981677286135367122803354661259293348873606257252832032292485837325641483464139639731807935684890615435198137308945298757336188514431097651656700218589385808339697160683616299501747670811510574838229384329422163131671018653650858281034309531439719862987016045153315463221544046603576080927902390398533742158533493482314845101131152238340361352649175694972076310713673998846708700615024679400340680001763591684314760488336608820675030768232422655172377876420823382630925632598194057675540686913384037768724362394312557435696392557572418885446678721910723507070601568609393530075951342424827730081228944258748777421957208344114161814555952939002937205732768213633004793008147026821536439415222998935821580215569553195663695560657743323014655253986928275534824600077563077035468943187258371686510337227760295374622327340621864984514026634741131650796175994695395926972930398028136886733372116733935268091707374064940150749461093326896795554291654008465018171349926017792436510614749556257268116762098481261421800007804920660424597245386227863835637428328203539910686545732885626297675843111467714575740866609066761397844437871148993106903384805168933313991922178285809730188457971857035897113369715501458022709977273776367994107527825211823891002794142988163028408040122484361782306290350778775032922688165284249543580646831520128781533447988604548541680943377927926446905782804305162421071404575373918868143483553711855355328056017785827901948911823853891821970150755054365542902730646077340647340091711910192238040437424258909791135854908384700769747977131155724310095677923395313000718586499063644323522202782270321809374215647199400173991298380137281416673686418040312372209835545640238656257868643312870238231111949261714288540167925005493734784993928326365073910283003417650846610921987483636672276328178802012231271110273085037181029281272557488182554041096463690148783236444156652341937321375146104799037120224687770890362486123827821077991080684307393210679773408922910098114148170894783222151167735756898450862544795502859887759213029636637563766796280587942892631858812520573946396213943997588497021524687948956713343065777190101558009236692809129718896063485906312313685489199356102398659450969007237808769793858405149612038062014569701048910242642652978788900385650299914115524742493095356794159523454338009167763548504331222804596500990761090782042839069929626710823691690559783012735561460324475773879971434942199832497338360423984239240396042546232044845192954110499617166177970249881129557417861587662609989191918379045497728586338978916281686757789713018824032015498375264232717751573254876060892467955904119205360656264785202278230359271258110998188821008911876260402692082123061031465688683721284857426238342690563296575259813227391034387828996318991514666243855897669816182665975325764358532452226068643418879682123613379102487166512772559330631662484855710378608807690650852848910126002384529844304544408581218775538228783234856184045769176920955940700524050351223838792545285471375487932954947353465998390000240052171560396698...

4085348579... 369693080 bold digits omitted ...3322066980 digits omitted

...5411058611958866364494084296499402039880312669006713932455872343137805817087720977357593023094422142018317303687759704710823055554657743848074727390125435350431206756779155544493889981915433975514698819518612821156035303293411384066453100372968537927198464500432485779013395275690393004266347074367977812089906521089984231704271231798743612063363047352453550220909972550468028934903264277417030023958449081465169595609828992611456348089983739266832756064954257689271626916003944373145819347605017721145612639757377697145351858362864992742567700226613409295448939943875252490730324538461647183206936432613752192482748448789108391389868513081271743805113006940967609667545470807142959955362664627234396513509903976676994178262597715661905926941785025278014257314697413686256288916061497312848474806611328612399879267093342274773399247191280983916132937959125798960992965197056692390918655317201247809241172203654065093797239715991594526751154632532081924878239555570380941364515413465068929088162610269042557727034480397729002534880673075850002388543006768176140748024236950206974459394769451245857349008130222467325568017496255677461396036582660935972754900735406297435761649149115652626946153650342310191106382351812433266278974206828853751363429211836984439786814999503356535909259399691866162351877331890187386326159462042504049170760177162867204792949061574025491380270075968647880947425054330897227707037589770725252124992123722213216939056928647460193557108544090561478561129768771913364385803636621173322727850811428809121855214548952615683360375848676740304727439371602849054221012378191951615338380738366564372089667898421830631752431920353593506941128342736875600195107290753975612124700359405086672036702941569197021808258914467108960433707935573303941784913005528863111245372542446924722555632617759588125872276082846480064975556781867091783807453806301279723229297361393213477445406261068526010158772250571167502777095834004420937006925208404277878750835556265048133839887513116721014448647340882603595915282187298696125801298037486898633542711161949284471411132848699714065271242467128072563136231095483563025057221578141229697581192619230529989677150899932512718836582758015046086882596755067588436637525152286460548898493867543277427662374240142698776542530303383609905852238880317187806744595324627388945303430508496795724160998995558453137345652914196109181801389989902816086558816762505810297940782308401913810592812644994167242689585587857285343938066830371976422819047908876987205506004492844764522271212333871941370008939269032586416915114009558253491512780890251658944992264278240869829147767167215913095607171766399528004590419154398332511865642605675149244510221100510369986362410199091302751653979597154468659327254178121129099870841594498824994035305365463824638711645601620411664925933106882073149225408241389131393452992773786260983796874587145936086593789201166770055515404254725945460786062959905653265573648281807556190885924874605175389276266609032621070265266581961495382140261489261461371727044401717145762128610787839603883262446327928531710219167216604788344913590187381156090177558939349671940821777012878815904319326293742486001273374243967649193943040690464710718849645683513386268438131758759091588295675825090435206154137466179950671371638074229319651331852571103181750772045197709423127192738140003792390114114323281501961908353576626455479502132189041030356509234038395365583986635855029644362927538073785771815341921412382538283489652303021393626899589540651658546113922098650532259956305761193649316089332685682473836694155021251156551227030278830996131900783146100027071203331142437812922416676123225124044646178508443986183099654389759270541159387951295081601822395559085346239102881717588362302415863285567876653694224486266550357358354861245494555734705861054377861287164505081141422859486473434567446524607262124955340931984456330492514054996094945670489624723657626494372212421927051487879028411533132920940531380402654559383593391666613569936549487061567109561980358037927272513775236310141748833662812173915409122382905206565429632818479316468788187562316408986734586924742266761390908024202382025013033240942278720881968322126510963959459852921868530218088706209078883025682202900221238500791147947017643031022244909666347643698096718893728955008496000761689139134387516755408031449074322664957557821742666896731369686615812368664821765932887474416750449800298040169880907246509494993656826067500733052025971302726861481636340183563593545833554709270738041201209573940729967111100231449907535074610039513873434547998363356479103300560496922243811366215027059802994351754972694061420847503467298359901936588192396811855890855503736132000973239333743576812969305608414977404976492718115628434987674816852080878958270760875920325648430385778102240797354889738712372211372438923490599422710101762460950792930821621707229591532413968080786022381254132921763351766987989314583456227476738146019722955594030779118927519370896582244261776080392212903364393687188451598534151455717459813076860377782555050888822721632981115469695240525224365936008243449115216619698023813572268749250378780921773990454733029943655399089637570470133918889293551193015035477604657495803321681408244285311156788746035682861979460464463511313967720722551157102301054537054028531903857249229796277530712003738479417863963061824807223850430105335126207376071142298531496003525337489146481702761812599792493863935679421530414426944811539539866870380322697849023066090400982083328190022031676688705157414745120132474862480471715822271400787194735202354213377605645177966236499672935458793598886129306955774399820250653225180937620712812449325292371343183602344226568071720275909058926141460603492534931679563340450930695224209332705827182167330176941293160253316718363502026453729981717899172312254517499582303605512952083128944156441716530796639488672870103334237138576421199279182076156432307596523639556841743339740952880941374201153560691154171591092252974332299426580677621051917846365850986991066627583826974792435748434406304273078025187963657442180125467745599010536951010468839514583914462648279504341787023435518877772862286657177264390514521081427914628056344241576419042373222350284798552304414812328704185441415029078229214852835362259741973356598002065692877798981157810859732607635726687318564032749504044542723100661251455912306239795169695226256543569975119965403766269778396131281415310519715913472663352806669085460464087207697282783118251226603229296186182429605091935193481459770696547299474093753789839917459508366124924369407360505445132084698305645603005912712832051971085949542527812853917301508381817355969663340667100924489767632542617871313831100235377330634353450314824760962760281136399273646131327990717293782031010982103007400348694767302895610779648100394939019366648873714872316165682863898735148247805161967936438960382321996942940162864426725514116019569067522265515970025231787730196217571246998911567154406371667159607662297724480390860580525967674035246758535228160534565081471947603412741599439384861288523406794938585516930398283011268231825066134863509900891174994287862346752030583255965802232584919479587712127413255580333650101964571576580105415233286322239048725461624277686488921825988579867268642828181775646722197701622548280841873987537502961126981952658687827216371031541179002877615583671449504510527465054411395763550355676792242572059570313150871541516949578670127951756965048683267992539170794550734450187130112367660827796486180602599140334227920762227144475688972417154360968845149332019066982611593531624091396909332587862434892648260130406676780340409830551098604118720692960669062592264298695475837469939240190331394491743584792171988789847665397108983452877466148923535237655679013449102255267062631497358853676369321032222177860725992996102909309071947083022644629518354558375913276071975952303568710599626582496745009436292980045879183202520008454807540837181485771391937729424172797840661591719403099535204250545669507752304719628069603856256981948940946737787551626930924444397957254753152349862530585309363777826119527831209827649638219319418076700716398037206330252782369842669389113316739772441798725584278776731516661935979236976336277561987408252731517637574607610457221991477124444121454993164732879385429308905336597001745466305684259242684193954234932035210292306448238660750309309795289907640745525482954213666684363515244187154025223625879241534735574452832523936687783941797461989232393305048684621394269330593405920902219283735000092197170572152894662653425240742432396815986452433541017778909072248586170476956477536433842826871423276900531695109969201572155105143930617721528093137973455904922566150236938971700467696887047623878260180990879636719252468145646930557465321622202277199640595509606664557999988775251033491401993005833226452618204907773273396233950675099710584088939796108799494046216452633430962495580452080089951196894268069680478839135446835455135568542660418673752339610284883745457449093861273814706898685777197322353635376854674423667365958266732324179662579779156360186669993938876229642398398000223681738830749144317043453072752247816434284897107048372184223242781042499744046292361454393200933482298738822981728441238802879678826735197564865238493838582811789767309261260001633472111640809880836383469092881408120264355519253982616943912286424985132149018770143410019996365068782929103085468516918657115836368896012587586594576879057557507453822850529594208289900914249299014169740417380752738016796421467817210789916352809922758909632233666039023861558234519576231136821091981726694860236667006376544237141610350477042372586373909191100284626154450019840116045485851598530104762357113170571894447957847978367317564346518683777147765755640160497655784098463836964900764624475706964858915173030408917299240882947097602167474700114304994449879003495875022253381650626186082804021363771540670946945552331518959254852001991324340257630363975097419408973491530163140828233401045865289

Friday, June 13

The aging of David Powers and Julia Callahan


When I initially wrote my last item about the funeral of Josephine Powers Agen, I had indicated that David Powers Sr was born ~1824, and his wife Julia Callahan, ~1826. Those dates are direct conversions from their newspaper death notices (in 1886 and 1884) of ages 62 and 58, respectively. There's always that issue of the next birthday anniversary being up-and-coming (say, in the following month) which might skew the year but the greater problem is if the reported ages actually portray any semblance of reality.

Within twelve hours of publishing that blog entry, I discovered a previously-unknown-to-me 1855 Sandy Creek NY census that in all likelihood contained our two protagonists. Julia's surname of Callahan comes from David Powers Jr's 1929 death registration wherein his parents are named. FamilySearch suggests Kallegan is the 1855 transcription of Julia's surname although, looking at the script, it might just as well be Kalligan. There's even a hint of an h in there — if that isn't an extraneous mark:


But I'm more interested in Julia's age as a means of verifying that this is our Julia Callahan. The 24 would make her birth year ~1831, five years off; not a very good fit. So why would I think that this is her? Apart from being in the right place, it's the presence in this census' family unit of an Edward Powers. Edward is noted as being in that location for only two months (compared to Julia's two years). We do not know when David Powers Sr married Julia Callahan but their first child, David Edward, was born 7 February 1857 in Sandy Creek NY, so conceived in April or May 1856. The date of the census is 8 June 1855, so Edward arrived there in March 1855. About a year to get to know and marry Julia and, nine months later, name his first-born son after himself: David Edward Powers.

If Edward is David Sr, the age of 23 would make his birth year ~1832, eight years off; an even worse fit than Julia's. Fortunately, we have both David and Julia in other censuses: 1860, 1870, 1875, and 1880.

year        David Powers Sr      Julia Callahan

1855        23   =>   ~1832      24   =>   ~1831
1860        30   =>   ~1830      30   =>   ~1830
1870        48   =>   ~1822      48   =>   ~1822
1875        50   =>   ~1825      48   =>   ~1827
1880        53   =>   ~1827      56   =>   ~1824
1884                             58   =>   ~1826
1886        62   =>   ~1824

The 1855 ages actually agree quite well with the 1860 ones. The 1870 ages appear to be ten years off suggesting a possible subtraction mistake — were it not for the continuation of the age inflation in subsequent censuses and reports at death.

As a result of contemplating all this, I edited the Josephine Agen blog entry by removing David and Julia's birth years. Much as I give credence, generally, to ages reported at death, in my database I am making their birth years 1832 and 1831, respectively, in agreement with the earlier censuses. This would make them only 54 and 53, respectively, when they died.