Friday, June 27, 2014

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, 2014

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, 2014

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, 2014

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.

Tuesday, June 10, 2014

The funeral of Josephine Powers Agen

The chart shows what I currently know about the shoots of my wife's Powers ancestry. At the top are David Edward Powers (1857-1929) and Agnes Sullivan (1857-1936), her great-grandparents. David Edward's parents, David Powers Sr (died 1886) and Julia Callahan (died 1884) were alone at the root of the tree until March 2011, when my research associates and I discovered a sibling for David: Michael Powers (1845-1918) with wife Mary Brady (1847-1886).

Michael's eldest child, Josephine, died 22 Dec 1920 and the funeral was held two days later. A Christmas eve Utica Herald-Dispatch report named the pallbearers: John Daunt of Lacona, J.S. Powers of Watertown, James B. McIntosh of Albany, James and John Powers of Utica, Edward F. Dunn of Whitesboro. Five of the six names are in the chart and provide a wonderful means to tie the family units together. But who was James Powers of Utica?

Subsequent searches failed to identify such a family member, much as we might have liked to discover yet another branch in the tree. My best guess is that the newspaper put James and John together because they were both from Utica and then (for an unknown reason) omitted James' surname. So, probably, James Powers was in fact James E. Costello, whose family is the most likely of the three that are without a pallbearer representative to have contributed one.

Tuesday, May 27, 2014

Guerilla street-spam fighter

On 17 April 2013, I requested from my local municipal councillor, Frances Nunziata, that some street-spam be removed from my residential neighbourhood. The councillor's administrative assistant, Ji Na Park, said they would refer my complaint to the Municipal Licensing and Standards department. "The signs are removed from the posts and the companies are contacted to be advised that this should not continue."

On 2 May 2013, I asked: "What I would like to know now is what sort of time-frame I should expect for your implied action to take place (if, that is, it will ever take place), since two weeks has proven insufficient for it. Perhaps you were mistaken in thinking that the Municipal Licensing and Standards department actually does this." Ji Na replied: "We apologize for the delay. As the signs are considered non-urgent, they are classified as non-priority and may take a number of weeks."

Two days later I removed 30 of the signs myself. I informed the councillor's office but added: "There were three signs that I have been unable to remove because they were too high up, and seriously bolted into the telephone poles (not just nailed)... May I have the city's co-operation in having these three signs removed?" Ji Na's 7 May 2013 reply: "We have reported in the 3 signs to Municipal Licensing and Standards for removal. Please let us know when you see improvements. As it is peak season, there will likely be more signs going up in the future. We will try and get them removed as soon as possible."

Today, after 55 weeks of waiting, I asked Catherine's brother (here for a few hours en route to England, leaving his truck in our yard) to help transport a ladder to the crime scenes. In the photo you see me, utility knife in hand, evaluating the job to be done:

Alternating sign

Simple continued-fraction representations of constants are a source of much mathematical amusement. The picture is a scan of the cover of Carl Douglas Olds' 1963 classic Continued Fractions which served as my introduction to the topic around 1967.

The sequence [3; 7, 15, 1, 292, 1, 1, ...] is of course the start of the continued-fraction expansion for Ï€. I wish C.D. Olds had used (and insisted on) that semicolon (instead of a comma) after the initial 3. The book shows us how to calculate from these numbers convergents to Ï€, numerators and denominators of the convergents being derived separately. For numerators we pretend things start with [0, 1, ...] and for denominators, [1, 0, ...]. The numerator- and denominator-sequences are then calculated by taking an entry from the continued-fraction sequence (starting with 3), multiplying it by the previous number, and adding the previous-to-previous number.

So, for numerators: [0, 1, 3*1+0 = 3; 7*3+1 = 22, 15*22+3 = 333, ...]
For denominators: [1, 0, 3*0+1 = 1; 7*1+0 = 7, 15*7+1 = 106, ...]

Dropping our pretend prepends and dividing: [3/1; 22/7, 333/106, 355/113, ...]. These are the well-known convergents to π. Note that the convergents alternate in their relation to π: [<π; >π, <π, >π, ...]. Subtracting π: [<0; >0, <0, >0, ...]. Or, if you will, their sign: [-1; 1, -1, 1, ...].

One can do the same thing for Ï„ (pronounced tau), Ï€'s less well-known parent (more commonly referred to as 2Ï€). The continued-fraction expansion for Ï„ is [6; 3, 1, 1, 7, 2, 146, ...]. The convergents are: [6; 19/3, 25/4, 44/7, ...]. Like Ï€, these convergents alternate in their relation to Ï„: [<Ï„; >Ï„, <Ï„, >Ï„, ...], their sign likewise.

What happens when one divides the convergents to Ï„ by the convergents to Ï€? The resulting sequence is [2; 133/66, 1325/666, 4972/2485, ...], numbers very close or equal to 2. To generate their sign, subtract 2: [0; 1/66, -7/666, 2/2485, ...], hence [0; 1, -1, 1, ...]. The twist is that the sign sequence is now littered with zeros (in seemingly random — but decidedly clusteredlocations). How do those zeros affect the sign alternation? The surprising (to me) answer is: not at all. Remove all zeros from Convergents[Ï„]/Convergents[Ï€]-2 and what remains will alternate sign, regardless of the number or placement of the previously intervening, single-or-consecutive zeros.

Friday, May 23, 2014

Zipp

A photo of my new Zipp speaker, unzipped.

A long time ago I had set up speaker wires to two ceiling corners of the kitchen to which were attached small, inexpensive (but effective) Radio Shack speakers. An alternate pair of wires had gone (via a different route) outside the house and ended up on the eave soffit by the back deck. I could detach the speakers from their brackets in the kitchen and attach them to the brackets outside.

The outside wires were removed I-can't-remember-when and the inside speakers came down last year when the kitchen was "refreshed". To listen to music on the back deck now meant turning up the volume in my adjacent computer-room and leaving the window wide open.

But that volume was now coming from my iMac speakers, because when it replaced my old under-the-desk Power Mac G5, I lost the optical-out connection to my five-speaker Logitech setup. Yea, I know: I needed a minijack-to-optical inbetweener, but I don't get out much. :P

Anyways, I finally ordered a Belkin Toslink cable that came with that inbetweener and ordered the Zipp speaker at the same time. So I can listen to music again on my Logitech speakers in my room, and on the Zipp outside — or anywhere else within my local-network WiFi reach.

Thursday, May 15, 2014

The French connection

Catherine's father appears not to have been particularly interested in his parents' family connections, a point that was driven home to me last year when I discovered that his mother had (until 1940) a sister living in Winnipeg, of whom he himself (when I asked him about her) seemed unaware. I have since come into possession of a good number of handwritten letters from that sister to his mother, as well correspondence from France and newspaper articles that have (collectively) allowed me to flesh out some of the history.

Jean Baptiste Homard (born 1852), a "well-known contractor in northern France", married Marie Claire Vassel (born 1857) and they had (in 1879) a daughter, Marie Isabel [Jeanne] (anglicized to Mary Elizabeth [Jane], that unknown sister). Jean Baptiste and Marie Claire were on the steamer Labrador, arriving in New York (from Havre) on 28 Jul 1886. A daughter, Emélie Matilde (anglicized to Emily May, Catherine's grandmother), was born 1 Apr 1887 in Fort William, Ontario. Another daughter, Gabrielle, was born in 1889 — supposedly back in France. Marie Claire's mother, Catherine Bouquet Vassel (born in 1826) ended up back in Canada with them in 1891 (according to the 1911 census). Gabrielle died of scarlet fever (in 1903) in St. Norbert, Manitoba.

Jane had married Albert George Cowley in 1898 in Winnipeg and they ended up with three children: two boys with mostly-known, living descendants and a girl without offspring. Here they are (sans daughter, plus pet dog) circa 1910:


By the time Emily married Frank Powers (3 Jul 1912) in Calgary, Alberta, Jean Baptiste and Marie Claire Homard, and Catherine Vassel, had returned to France — to Thiaucourt. At the start of World War I, they became prisoners-of-war, ending up in Frankfurt-am-Main, Germany. Catherine died a year or so into her incarceration. Marie Claire and Jean Baptiste survived "well, but hungry" and were released at the war's end. Marie Claire died 12 Dec 1923 and Jean Baptiste, 5 Apr 1924. An 8 Apr 1924 letter to Emily from a cousin, Jeanne Vautrin in Thiaucourt, gives details of Jeanne's family, including a photograph circa 1920:


The Vautrin children are Jean (born ~1906), Michel (born ~1913), and Marie Blanche (born ~1915). The masculine-faced, dark complexioned adult in the photo must be Jeanne because her husband, Alfred François Vautrin (1 May 1880, Beney-en-Woëvre - 20 Aug 1914, Bréhain), would have been dead. Jeanne also mentioned a sister, Marie. Chances are good that there are living descendants in that part of France.

Monday, May 12, 2014

Canoeing in Slocan Lake


In July 2004 we ended up in British Columbia for a week. The photo shows Catherine just after noon on the 21st as we leave New Denver to paddle across Slocan Lake. Visible on the other side are some of the peaks of northern Valhalla Provincial Park, including the small glacier of Mount Denver. We pitched a tent at Wee Sandy Creek beach, spent the night, and on the following day paddled down to Nemo Creek beach, where we set up and spent another two nights before heading back to New Denver. A particular highlight was this waterfall on Nemo Creek:


I mention this, now almost ten years later, because of a just-happened, tragic New Denver canoeing mishap.