Date: Wed, 11 May 1994 19:09:19 -0500 From: sw@wri.com (Stephen Wolfram ) To: sw@wri.com Subject: mpmailer 5 8 2 Host: woodlark.wri.com; PID: 9606 Total searched: 672007 (out of 5000000) Outcomes: {1, 477749, 40965, 5449, 616, 126112, 17790, 3326} Rules: {{0,0,0,1,1,0,0} -> {1,0,1,1,1,0}, {1,0,1,1} -> {0,0,0,1,0,0}, {0,1,0,1} -> {0}, {1,1,0,1} -> {1,0,0}, {1,0,0,0,1,0} -> {0,0,0,1,1,0,1}} Initial condition: 100101101110110 History: {1, 6, 14, 18, 19, 23, 26, 23, 26, 25, 22, 18, 16, 12, 13, 9, 11, 14, 8, 6, 6, 7, 9, 13, 19, 21, 18, 16, 13, 15, 15, 17, 26, 19, 13, 14, 17, 16, 21, 28, 32, 37, 42, 30, 21, 18, 22, 37, 29, 17, 16, 19, 20, 28, 36, 42, 48, 52, 44, 37, 29, 27, 39, 31, 21, 22, 25, 26, 35, 41, 44, 49, 54, 52, 51, 40, 31, 41, 33, 25, 28, 31, 32, 42, 48, 55, 69, 70, 58, 55, 44, 38, 51, 43, 34, 37, 39, 39, 51, 54, 58, 74, 76, 63, 59, 48, 42, 55, 47, 38, 42, 43, 46, 66, 68, 64, 76, 78, 68, 67, 56, 50, 64, 54, 46, 55, 53, 50, 68, 70, 68, 82, 84, 73, 71, 59, 53, 68, 57, 51, 66, 63, 54, 70, 72, 72, 88, 90, 80, 80, 66, 60, 80, 67, 55, 68, 65, 58, 76, 78, 78, 94, 94, 82, 82, 68, 65, 91, 77, 59, 70, 67, 62, 82, 84, 84, 102, 101, 89, 94, 78, 69, 93, 79, 63, 76, 73, 68, 89, 89, 86, 103, 102, 94, 105, 88, 73, 95, 81, 67, 82, 79, 74, 96, 95, 93, 115, 112, 98, 107, 90, 77, 101, 87, 73, 89, 84, 76, 97, 96, 98, 126, 122, 102, 109, 92, 81, 107, 93, 79, 96, 91, 87, 117, 112, 104, 130, 126, 109, 119, 102, 90, 116, 101, 86, 105, 97, 90, 122, 118, 109, 134, 130, 113, 123, 106, 94, 121, 105, 93, 120, 111, 96, 124, 120, 114, 142, 138, 121, 132, 113, 102, 134, 115, 97, 122, 113, 100, 130, 126, 119, 146, 141, 124, 136, 116, 107, 145, 125, 101, 124, 115, 104, 136, 132, 126, 155, 148, 131, 148, 126, 111, 147, 127, 105, 130, 121, 110, 142, 136, 128, 157, 150, 136, 159, 136, 115, 149, 129, 109, 136, 127, 116, 150, 143, 135, 169, 160, 140, 161, 138, 119, 155, 135, 115, 143, 132, 118, 151, 144, 140, 180, 170, 144, 163, 140, 123, 161, 141, 121, 150, 138, 125, 163, 154, 144, 182, 172, 148, 169, 146, 129, 168, 146, 123, 151, 139, 130, 174, 164, 148, 184, 174, 152, 175, 152, 135, 175, 153, 134, 171, 155, 136, 178, 168, 155, 194, 184, 161, 184, 160, 142, 184, 159, 137, 176, 161, 141, 182, 172, 159, 198, 188, 165, 189, 164, 149, 199, 173, 143, 178, 163, 146, 190, 180, 167, 207, 195, 173, 202, 174, 153, 201, 175, 147, 184, 169, 151, 194, 183, 170, 211, 198, 178, 213, 184, 157, 203, 177, 151, 190, 175, 158, 203, 190, 177, 223, 208, 182, 215, 186, 161, 209, 183, 157, 196, 179, 160, 205, 192, 182, 234, 218, 186, 217, 188, 165, 215, 189, 163, 204, 186, 167, 217, 202, 186, 236, 220, 190, 223, 194, 171, 222, 194, 165, 205, 187, 172, 228, 212, 190, 238, 222, 194, 229, 200, 177, 229, 200, 172, 217, 197, 176, 230, 214, 194, 244, 228, 200, 236, 205, 179, 230, 201, 177, 228, 207, 180, 232, 216, 198, 250, 234, 206, 243, 212, 190, 250, 217, 183, 232, 211, 187, 242, 226, 207, 259, 242, 213, 252, 218, 193, 255, 223, 188, 236, 215, 191, 246, 230, 211, 264, 246, 220, 267, 232, 199, 257, 225, 193, 244, 223, 199, 255, 237, 219, 277, 256, 224, 269, 234, 203, 263, 231, 198, 248, 226, 202, 259, 240, 224, 288, 266, 228, 271, 236, 207, 269, 237, 205, 257, 233, 209, 271, 250, 228, 290, 268, 232, 277, 242, 213, 275, 241, 207, 259, 235, 214, 282, 260, 232, 292, 270, 236, 283, 248, 219, 283, 248, 214, 271, 245, 218, 284, 262, 236, 298, 276, 242, 290, 253, 221, 284, 249, 219, 282, 255, 222, 286, 264, 240, 304, 282, 248, 297, 259, 228, 296, 259, 223, 284, 257, 226, 292, 270, 246, 311, 287, 250, 298, 260, 233, 307, 269, 227, 286, 259, 230, 298, 276, 252, 318, 294, 261, 318, 276, 239, 311, 273, 234, 296, 269, 239, 307, 284, 259, 327, 300, 264, 323, 282, 244, 315, 277, 238, 300, 273, 243, 312, 288, 266, 342, 314, 270, 325, 284, 249, 323, 285, 246, 309, 280, 251, 325, 298, 270, 344, 316, 274, 331, 290, 254, 327, 288, 249, 313, 283, 256, 336, 308, 274, 346, 318, 278, 337, 296, 261, 336, 295, 256, 325, 293, 260, 338, 310, 278, 352, 324, 284, 343, 300, 263, 338, 297, 261, 336, 303, 264, 340, 312, 282, 358, 330, 290, 351, 307, 270, 350, 307, 265, 338, 305, 268, 346, 318, 288, 365, 335, 292, 352, 308, 275, 361, 317, 269, 340, 307, 272, 352, 324, 294, 372, 341, 299, 364, 318, 279, 363, 319, 273, 346, 313, 278, 359, 329, 296, 373, 342, 304, 375, 328, 283, 365, 321, 277, 352, 319, 284, 366, 336, 307, 393, 358, 310, 379, 332, 290, 375, 331, 286, 361, 327, 291, 375, 342, 310, 398, 364, 315, 383, 336, 294, 379, 335, 290, 366, 331, 298, 390, 356, 316, 400, 366, 320, 391, 344, 302, 388, 342, 298, 379, 341, 302, 392, 358, 320, 406, 372, 325, 395, 347, 305, 392, 345, 303, 390, 351, 306, 394, 360, 324, 412, 378, 332, 404, 354, 312, 404, 355, 307, 392, 353, 310, 400, 366, 330, 418, 382, 334, 406, 356, 317, 415, 365, 311, 394, 355, 314, 406, 372, 336, 426, 389, 341, 418, 366, 321, 417, 367, 315, 400, 361, 320, 413, 377, 338, 427, 390, 346, 429, 376, 325, 419, 369, 319, 406, 367, 326, 420, 383, 345, 439, 400, 350, 431, 378, 329, 425, 375, 325, 413, 372, 328, 421, 384, 350, 450, 410, 354, 433, 380, 333, 431, 381, 331, 420, 379, 339, 441, 400, 356, 454, 414, 361, 443, 390, 342, 440, 389, 338, 429, 385, 342, 446, 406, 361, 458, 418, 365, 447, 394, 346, 445, 393, 345, 444, 399, 348, 448, 408, 366, 466, 426, 373, 456, 401, 354, 458, 403, 349, 446, 401, 352, 454, 414, 371, 470, 429, 376, 460, 404, 359, 469, 413, 353, 448, 403, 356, 460, 420, 378, 479, 436, 383, 472, 414, 363, 471, 415, 357, 454, 409, 362, 466, 424, 380, 481, 438, 388, 483, 424, 367, 473, 417, 361, 460, 415, 368, 474, 431, 387, 493, 448, 392, 485, 426, 371, 479, 423, 367, 467, 420, 370, 475, 432, 392, 504, 458, 396, 487, 428, 375, 485, 429, 373, 474, 426, 377, 487, 442, 396, 506, 460, 400, 493, 434, 381, 492, 434, 375, 475, 427, 382, 498, 452, 400, 508, 462, 404, 499, 440, 387, 499, 441, 386, 495, 443, 388, 502, 456, 407, 518, 472, 413, 508, 448, 394, 508, 447, 389, 500, 449, 393, 506, 460, 411, 522, 476, 417, 513, 452, 401, 523, 461, 395, 502, 451, 398, 514, 468, 419, 531, 483, 425, 526, 462, 405, 525, 463, 399, 508, 457, 403, 518, 471, 422, 535, 486, 430, 537, 472, 409, 527, 465, 403, 514, 463, 410, 527, 478, 429, 547, 496, 434, 539, 474, 413, 533, 471, 409, 520, 467, 412, 529, 480, 434, 558, 506, 438, 541, 476, 417, 539, 477, 415, 528, 474, 419, 541, 490, 438, 560, 508, 442, 547, 482, 423, 546, 482, 417, 529, 475, 424, 552, 500, 442, 562, 510, 446, 553, 488, 429, 553, 488, 424, 541, 485, 428, 554, 502, 446, 568, 516, 452, 560, 493, 431, 554, 489, 429, 552, 495, 432, 556, 504, 450, 574, 522, 458, 567, 500, 442, 574, 505, 435, 556, 499, 439, 566, 514, 459, 583, 530, 465, 576, 506, 445, 579, 511, 440, 560, 503, 443, 570, 518, 463, 588, 534, 472, 591, 520, 451, 581, 513, 445, 568, 511, 451, 579, 525, 471, 601, 544, 476, 593, 522, 455, 587, 519, 450, 572, 514, 454, 583, 528, 476, 612, 554, 480, 595, 524, 459, 593, 525, 457, 581, 521, 461, 595, 538, 480, 614, 556, 484, 601, 530, 465, 599, 529, 459, 583, 523, 466, 606, 548, 484, 616, 558, 488, 607, 536, 471, 607, 536, 466, 595, 533, 470, 608, 550, 488, 622, 564, 494, 614, 541, 473, 608, 537, 471, 606, 543, 474, 610, 552, 492, 628, 570, 500, 621, 547, 480, 620, 547, 475, 608, 545, 478, 616, 558, 498, 635, 575, 502, 622, 548, 485, 631, 557, 479, 610, 547, 482, 622, 564, 504, 642, 582, 513, 642, 564, 491, 635, 561, 486, 620, 557, 491, 631, 572, 511, 651, 588, 516, 647, 570, 496, 639, 565, 490, 624, 561, 495, 636, 576, 518, 666, 602, 522, 649, 572, 501, 647, 573, 498, 633, 568, 503, 649, 586, 522, 668, 604, 526, 655, 578, 506, 651, 576, 501, 637, 571, 508, 660, 596, 526, 670, 606, 530, 661, 584, 513, 660, 583, 508, 649, 581, 512, 662, 598, 530, 676, 612, 536, 667, 588, 515, 662, 585, 513, 660, 591, 516, 664, 600, 534, 682, 618, 542, 675, 595, 522, 674, 595, 517, 662, 593, 520, 670, 606, 540, 689, 623, 544, 676, 596, 527, 685, 605, 521, 664, 595, 524, 676, 612, 546, 696, 629, 551, 688, 606, 531, 687, 607, 525, 670, 601, 530, 683, 617, 548, 697, 630, 556, 699, 616, 535, 689, 609, 529, 676, 607, 536, 690, 624, 559, 717, 646, 562, 703, 620, 542, 699, 619, 538, 685, 615, 543, 699, 630, 562, 722, 652, 567, 707, 624, 546, 703, 623, 542, 690, 619, 550, 714, 644, 568, 724, 654, 572, 715, 632, 554, 712, 630, 550, 703, 629, 554, 716, 646, 572, 730, 660, 577, 719, 635, 557, 716, 633, 555, 714, 639, 558, 718, 648, 576, 736, 666, 584, 728, 642, 564, 728, 643, 559, 716, 641, 562, 724, 654, 582, 742, 670, 586, 730, 644, 569, 739, 653, 563, 718, 643, 566, 730, 660, 588, 750, 677, 593, 742, 654, 573, 741, 655, 567, 724, 649, 572, 737, 665, 590, 751, 678, 598, 753, 664, 577, 743, 657, 571, 730, 655, 578, 744, 671, 597, 763, 688, 602, 755, 666, 581, 749, 663, 577, 737, 660, 580, 745, 672, 602, 774, 698, 606, 757, 668, 585, 755, 669, 583, 744, 667, 591, 765, 688, 608, 778, 702, 613, 767, 678, 594, 764, 677, 590, 753, 673, 594, 770, 694, 613, 782, 706, 617, 771, 682, 598, 769, 681, 597, 768, 687, 600, 772, 696, 618, 790, 714, 625, 780, 689, 606, 782, 691, 601, 770, 689, 604, 778, 702, 623, 794, 717, 628, 784, 692, 611, 793, 701, 605, 772, 691, 608, 784, 708, 630, 803, 724, 635, 796, 702, 615, 795, 703, 609, 778, 697, 614, 790, 712, 632, 805, 726, 640, 807, 712, 619, 797, 705, 613, 784, 703, 620, 798, 719, 639, 817, 736, 644, 809, 714, 623, 803, 711, 619, 791, 708, 622, 799, 720, 644, 828, 746, 648, 811, 716, 627, 809, 717, 625, 798, 714, 629, 811, 730, 648, 830, 748, 652, 817, 722, 633, 816, 722, 627, 799, 715, 634, 822, 740, 652, 832, 750, 656, 823, 728, 639, 823, 729, 638, 819, 731, 640, 826, 744, 659, 842, 760, 665, 832, 736, 646, 832, 735, 641, 824, 737, 645, 830, 748, 663, 846, 764, 669, 837, 740, 653, 847, 749, 647, 826, 739, 650, 838, 756, 671, 855, 771, 677, 850, 750, 657, 849, 751, 651, 832, 745, 655, 842, 759, 674, 859, 774, 682, 861, 760, 661, 851, 753, 655, 838, 751, 662, 851, 766, 681, 871, 784, 686, 863, 762, 665, 857, 759, 661, 844, 755, 664, 853, 768, 686, 882, 794, 690, 865, 764, 669, 863, 765, 667, 852, 762, 671, 865, 778, 690, 884, 796, 694, 871, 770, 675, 870, 770, 669, 853, 763, 676, 876, 788, 694, 886, 798, 698, 877, 776, 681, 877, 776, 676, 865, 773, 680, 878, 790, 698, 892, 804, 704, 884, 781, 683, 878, 777, 681, 876, 783, 684, 880, 792, 702, 898, 810, 710, 891, 788, 694, 898, 793, 687, 880, 787, 691, 890, 802, 711, 907, 818, 717, 900, 794, 697, 903, 799, 692, 884, 791, 695, 894, 806, 715, 912, 822, 724, 915, 808, 703, 905, 801, 697, 892, 799, 703, 903, 813, 723, 925, 832, 728, 917, 810, 707, 911, 807, 702, 896, 802, 706, 907, 816, 728, 936, 842, 732, 919, 812, 711, 917, 813, 709, 905, 809, 713, 919, 826, 732, 938, 844, 736, 925, 818, 717, 923, 817, 711, 907, 811, 718, 930, 836, 736, 940, 846, 740, 931, 824, 723, 931, 824, 718, 919, 821, 722, 932, 838, 740, 946, 852, 746, 938, 829, 725, 932, 825, 723, 930, 831, 726, 934, 840, 744, 952, 858, 752, 945, 835, 732, 944, 835, 727, 932, 833, 730, 940, 846, 750, 959, 863, 754, 946, 836, 737, 955, 845, 731, 934, 835, 734, 946, 852, 756, 966, 870, 765, 966, 852, 743, 959, 849, 738, 944, 845, 743, 955, 860, 763, 975, 876, 768, 971, 858, 748, 963, 853, 742, 948, 849, 747, 960, 864, 770, 990, 890, 774, 973, 860, 753, 971, 861, 750, 957, 856, 755, 973, 874, 774, 992, 892, 778, 979, 866, 758, 975, 864, 753, 961, 859, 760, 984, 884, 778, 994, 894, 782, 985, 872, 765, 984, 871, 760, 973, 869, 764, 986, 886, 782, 1000, 900, 788, 991, 876, 767, 986, 873, 765, 984, 879, 768, 988, 888, 786, 1006, 906, 794, 999, 883, 774, 998, 883, 769, 986, 881, 772, 994, 894, 792, 1013, 911, 796, 1000, 884, 779, 1009, 893, 773, 988, 883, 776, 1000, 900, 798, 1020, 917, 803, 1012, 894, 783, 1011, 895, 777, 994, 889, 782, 1007, 905, 800, 1021, 918, 808, 1023, 904, 787, 1013, 897, 781, 1000, 895, 788, 1014, 912, 811, 1041, 934, 814, 1027, 908, 794, 1023, 907, 790, 1009, 903, 795, 1023, 918, 814, 1046, 940, 819, 1031, 912, 798, 1027, 911, 794, 1014, 907, 802, 1038, 932, 820, 1048, 942, 824, 1039, 920, 806, 1036, 918, 802, 1027, 917, 806, 1040, 934, 824, 1054, 948, 829, 1043, 923, 809, 1040, 921, 807, 1038, 927, 810, 1042, 936, 828, 1060, 954, 836, 1052, 930, 816, 1052, 931, 811, 1040, 929, 814, 1048, 942, 834, 1066, 958, 838, 1054, 932, 821, 1063, 941, 815, 1042, 931, 818, 1054, 948, 840, 1074, 965, 845, 1066, 942, 825, 1065, 943, 819, 1048, 937, 824, 1061, 953, 842, 1075, 966, 850, 1077, 952, 829, 1067, 945, 823, 1054, 943, 830, 1068, 959, 849, 1087, 976, 854, 1079, 954, 833, 1073, 951, 829, 1061, 948, 832, 1069, 960, 854, 1098, 986, 858, 1081, 956, 837, 1079, 957, 835, 1068, 955, 843, 1089, 976, 860, 1102, 990, 865, 1091, 966, 846, 1088, 965, 842, 1077, 961, 846, 1094, 982, 865, 1106, 994, 869, 1095, 970, 850, 1093, 969, 849, 1092, 975, 852, 1096, 984, 870, 1114, 1002, 877, 1104, 977, 858, 1106, 979, 853, 1094, 977, 856, 1102, 990, 875, 1118, 1005, 880, 1108, 980, 863, 1117, 989, 857, 1096, 979, 860, 1108, 996, 882, 1127, 1012, 887, 1120, 990, 867, 1119, 991, 861, 1102, 985, 866, 1114, 1000, 884, 1129, 1014, 892, 1131, 1000, 871, 1121, 993, 865, 1108, 991, 872, 1122, 1007, 891, 1141, 1024, 896, 1133, 1002, 875, 1127, 999, 871, 1115, 996, 874, 1123, 1008, 896, 1152, 1034, 900, 1135, 1004, 879, 1133, 1005, 877, 1122, 1002, 881, 1135, 1018, 900, 1154, 1036, 904, 1141, 1010, 885, 1140, 1010, 879, 1123, 1003, 886, 1146, 1028, 904, 1156, 1038, 908, 1147, 1016, 891, 1147, 1017, 890, 1143, 1019, 892, 1150, 1032, 911, 1166, 1048, 917, 1156, 1024, 898, 1156, 1023, 893, 1148, 1025, 897, 1154, 1036, 915, 1170, 1052, 921, 1161, 1028, 905, 1171, 1037, 899, 1150, 1027, 902, 1162, 1044, 923, 1179, 1059, 929, 1174, 1038, 909, 1173, 1039, 903, 1156, 1033, 907, 1166, 1047, 926, 1183, 1062, 934, 1185, 1048, 913, 1175, 1041, 907, 1162, 1039, 914, 1175, 1054, 933, 1195, 1072, 938, 1187, 1050, 917, 1181, 1047, 913, 1168, 1043, 916, 1177, 1056, 938, 1206, 1082, 942, 1189, 1052, 921, 1187, 1053, 919, 1176, 1050, 923, 1189, 1066, 942, 1208, 1084, 946, 1195, 1058, 927, 1194, 1058, 921, 1177, 1051, 928, 1200, 1076, 946, 1210, 1086, 950, 1201, 1064, 933, 1201, 1064, 928, 1189, 1061, 932, 1202, 1078, 950, 1216, 1092, 956, 1208, 1069, 935, 1202, 1065, 933, 1200, 1071, 936, 1204, 1080, 954, 1222, 1098, 962, 1215, 1076, 946, 1222, 1081, 939, 1204, 1075, 943, 1214, 1090, 963, 1231, 1106, 969, 1224, 1082, 949, 1227, 1087, 944, 1208, 1079, 947, 1218, 1094, 967, 1236, 1110, 976, 1239, 1096, 955, 1229, 1089, 949, 1216, 1087, 955, 1227, 1101, 975, 1249, 1120, 980, 1241, 1098, 959, 1235, 1095, 954, 1220, 1090, 958, 1231, 1104, 980, 1260, 1130, 984, 1243, 1100, 963, 1241, 1101, 961, 1229, 1097, 965, 1243, 1114, 984, 1262, 1132, 988, 1249, 1106, 969, 1247, 1105, 963, 1231, 1099, 970, 1254, 1124, 988, 1264, 1134, 992, 1255, 1112, 975, 1255, 1112, 970, 1243, 1109, 974, 1256, 1126, 992, 1270, 1140, 998, 1262, 1117, 977, 1256, 1113, 975, 1254, 1119, 978, 1258, 1128, 996, 1276, 1146, 1004, 1269, 1123, 984, 1268, 1123, 979, 1256, 1121, 982, 1264, 1134, 1002, 1283, 1151, 1006, 1270, 1124, 989, 1279, 1133, 983, 1258, 1123, 986, 1270, 1140, 1008, 1290, 1158, 1017, 1290, 1140, 995, 1283, 1137, 990, 1268, 1133, 995, 1279, 1148, 1015, 1299, 1164, 1020, 1295, 1146, 1000, 1287, 1141, 994, 1272, 1137, 999, 1284, 1152, 1022, 1314, 1178, 1026, 1297, 1148, 1005, 1295, 1149, 1002, 1281, 1144, 1007, 1297, 1162, 1026, 1316, 1180, 1030, 1303, 1154, 1010, 1299, 1152, 1005, 1285, 1147, 1012, 1308, 1172, 1030, 1318, 1182, 1034, 1309, 1160, 1017, 1308, 1159, 1012, 1297, 1157, 1016, 1310, 1174, 1034, 1324, 1188, 1040, 1315, 1164, 1019, 1310, 1161, 1017, 1308, 1167, 1020, 1312, 1176, 1038, 1330, 1194, 1046, 1323, 1171, 1026, 1322, 1171, 1021, 1310, 1169, 1024, 1318, 1182, 1044, 1337, 1199, 1048, 1324, 1172, 1031, 1333, 1181, 1025, 1312, 1171, 1028, 1324, 1188, 1050, 1344, 1205, 1055, 1336, 1182 } > Date: Thu, 12 May 1994 04:32:31 -0500 From: sw@wri.com (Stephen Wolfram ) To: sw@wri.com Subject: mpmailer 3 5 2 Host: saipan.wri.com; PID: 16691 Total searched: 137163 (out of 5000000) Outcomes: {1, 65053, 11253, 877, 130, 51075, 7231, 1544} Rules: {{1,0,0} -> {0,0,1,1,1}, {0,0,1,0} -> {1,0,1}, {1,1,0,1} -> {0,0}} Initial condition: 1011101011 History: {1, 1, 1, 2, 4, 4, 3, 4, 8, 10, 10, 8, 11, 12, 12, 12, 12, 13, 7, 8, 10, 12, 10, 8, 11, 13, 15, 14, 15, 17, 15, 18, 20, 21, 22, 19, 24, 24, 24, 26, 26, 30, 26, 27, 32, 32, 35, 30, 33, 36, 35, 39, 37, 39, 38, 38, 45, 43, 44, 42, 44, 49, 46, 48, 49, 50, 51, 49, 54, 55, 55, 55, 55, 58, 58, 59, 62, 61, 60, 61, 65, 68, 66, 64, 67, 69, 71, 70, 71, 73, 70, 71, 74, 74, 74, 67, 70, 70, 71, 70, 71, 73, 71, 74, 76, 77, 78, 75, 80, 80, 80, 82, 82, 86, 82, 83, 88, 88, 91, 86, 89, 92, 91, 95, 93, 95, 94, 94, 101, 99, 100, 98, 100, 105, 102, 104, 105, 106, 107, 105, 110, 111, 111, 111, 111, 114, 114, 115, 118, 117, 116, 117, 121, 124, 122, 120, 123, 125, 127, 126, 127, 129, 127, 130, 132, 133, 134, 130, 133, 134, 133, 134, 130, 132, 128, 130, 132, 133, 134, 131, 136, 136, 136, 138, 138, 142, 138, 139, 144, 144, 147, 142, 145, 148, 147, 151, 149, 151, 150, 150, 157, 155, 156, 154, 156, 161, 158, 160, 161, 162, 163, 161, 166, 167, 167, 167, 167, 170, 170, 171, 174, 173, 172, 173, 177, 180, 178, 176, 179, 181, 183, 182, 183, 185, 183, 186, 188, 189, 190, 187, 192, 192, 192, 194, 193, 195, 192, 192, 196, 192, 193, 188, 192, 192, 192, 194, 194, 198, 194, 195, 200, 200, 203, 198, 201, 204, 203, 207, 205, 207, 206, 206, 213, 211, 212, 210, 212, 217, 214, 216, 217, 218, 219, 217, 222, 223, 223, 223, 223, 226, 226, 227, 230, 229, 228, 229, 233, 236, 234, 232, 235, 237, 239, 238, 239, 241, 239, 242, 244, 245, 246, 243, 248, 248, 248, 250, 250, 254, 250, 251, 256, 255, 256, 252, 254, 256, 251, 253, 251, 254, 250, 251, 256, 256, 259, 254, 257, 260, 259, 263, 261, 263, 262, 262, 269, 267, 268, 266, 268, 273, 270, 272, 273, 274, 275, 273, 278, 279, 279, 279, 279, 282, 282, 283, 286, 285, 284, 285, 289, 292, 290, 288, 291, 293, 295, 294, 295, 297, 295, 298, 300, 301, 302, 299, 304, 304, 304, 306, 306, 310, 306, 307, 312, 312, 315, 310, 313, 316, 314, 316, 315, 316, 314, 310, 315, 313, 315, 310, 313, 316, 315, 319, 317, 319, 318, 318, 325, 323, 324, 322, 324, 329, 326, 328, 329, 330, 331, 329, 334, 335, 335, 335, 335, 338, 338, 339, 342, 341, 340, 341, 345, 348, 346, 344, 347, 349, 351, 350, 351, 353, 351, 354, 356, 357, 358, 355, 360, 360, 360, 362, 362, 366, 362, 363, 368, 368, 371, 366, 369, 372, 371, 375, 373, 375, 374, 373, 378, 377, 377, 374, 372, 375, 372, 375, 373, 375, 374, 374, 381, 379, 380, 378, 380, 385, 382, 384, 385, 386, 387, 385, 390, 391, 391, 391, 391, 394, 394, 395, 398, 397, 396, 397, 401, 404, 402, 400, 403, 405, 407, 406, 407, 409, 407, 410, 412, 413, 414, 411, 416, 416, 416, 418, 418, 422, 418, 419, 424, 424, 427, 422, 425, 428, 427, 431, 429, 431, 430, 430, 437, 435, 436, 434, 435, 438, 436, 437, 437, 434, 433, 431, 437, 435, 436, 434, 436, 441, 438, 440, 441, 442, 443, 441, 446, 447, 447, 447, 447, 450, 450, 451, 454, 453, 452, 453, 457, 460, 458, 456, 459, 461, 463, 462, 463, 465, 463, 466, 468, 469, 470, 467, 472, 472, 472, 474, 474, 478, 474, 475, 480, 480, 483, 478, 481, 484, 483, 487, 485, 487, 486, 486, 493, 491, 492, 490, 492, 497, 494, 496, 497, 497, 496, 495, 499, 499, 495, 493, 493, 497, 494, 496, 497, 498, 499, 497, 502, 503, 503, 503, 503, 506, 506, 507, 510, 509, 508, 509, 513, 516, 514, 512, 515, 517, 519, 518, 519, 521, 519, 522, 524, 525, 526, 523, 528, 528, 528, 530, 530, 534, 530, 531, 536, 536, 539, 534, 537, 540, 539, 543, 541, 543, 542, 542, 549, 547, 548, 546, 548, 553, 550, 552, 553, 554, 555, 553, 558, 559, 558, 556, 557, 559, 558, 555, 556, 555, 555, 553, 558, 559, 559, 559, 559, 562, 562, 563, 566, 565, 564, 565, 569, 572, 570, 568, 571, 573, 575, 574, 575, 577, 575, 578, 580, 581, 582, 579, 584, 584, 584, 586, 586, 590, 586, 587, 592, 592, 595, 590, 593, 596, 595, 599, 597, 599, 598, 598, 605, 603, 604, 602, 604, 609, 606, 608, 609, 610, 611, 609, 614, 615, 615, 615, 615, 618, 618, 618, 619, 619, 617, 617, 617, 618, 616, 615, 615, 618, 618, 619, 622, 621, 620, 621, 625, 628, 626, 624, 627, 629, 631, 630, 631, 633, 631, 634, 636, 637, 638, 635, 640, 640, 640, 642, 642, 646, 642, 643, 648, 648, 651, 646, 649, 652, 651, 655, 653, 655, 654, 654, 661, 659, 660, 658, 660, 665, 662, 664, 665, 666, 667, 665, 670, 671, 671, 671, 671, 674, 674, 675, 678, 677, 676, 677, 680, 681, 680, 677, 679, 677, 677, 676, 678, 677, 676, 677, 681, 684, 682, 680, 683, 685, 687, 686, 687, 689, 687, 690, 692, 693, 694, 691, 696, 696, 696, 698, 698, 702, 698, 699, 704, 704, 707, 702, 705, 708, 707, 711, 709, 711, 710, 710, 717, 715, 716, 714, 716, 721, 718, 720, 721, 722, 723, 721, 726, 727, 727, 727, 727, 730, 730, 731, 734, 733, 732, 733, 737, 740, 738, 736, 739, 740, 740, 740, 740, 741, 735, 736, 738, 740, 738, 736, 739, 741, 743, 742, 743, 745, 743, 746, 748, 749, 750, 747, 752, 752, 752, 754, 754, 758, 754, 755, 760, 760, 763, 758, 761, 764, 763, 767, 765, 767, 766, 766, 773, 771, 772, 770, 772, 777, 774, 776, 777, 778, 779, 777, 782, 783, 783, 783, 783, 786, 786, 787, 790, 789, 788, 789, 793, 796, 794, 792, 795, 797, 799, 798, 799, 801, 798, 799, 802, 802, 802, 795, 798, 798, 799, 798, 799, 801, 799, 802, 804, 805, 806, 803, 808, 808, 808, 810, 810, 814, 810, 811, 816, 816, 819, 814, 817, 820, 819, 823, 821, 823, 822, 822, 829, 827, 828, 826, 828, 833, 830, 832, 833, 834, 835, 833, 838, 839, 839, 839, 839, 842, 842, 843, 846, 845, 844, 845, 849, 852, 850, 848, 851, 853, 855, 854, 855, 857, 855, 858, 860, 861, 862, 858, 861, 862, 861, 862, 858, 860, 856, 858, 860, 861, 862, 859, 864, 864, 864, 866, 866, 870, 866, 867, 872, 872, 875, 870, 873, 876, 875, 879, 877, 879, 878, 878, 885, 883, 884, 882, 884, 889, 886, 888, 889, 890, 891, 889, 894, 895, 895, 895, 895, 898, 898, 899, 902, 901, 900, 901, 905, 908, 906, 904, 907, 909, 911, 910, 911, 913, 911, 914, 916, 917, 918, 915, 920, 920, 920, 922, 921, 923, 920, 920, 924, 920, 921, 916, 920, 920, 920, 922, 922, 926, 922, 923, 928, 928, 931, 926, 929, 932, 931, 935, 933, 935, 934, 934, 941, 939, 940, 938, 940, 945, 942, 944, 945, 946, 947, 945, 950, 951, 951, 951, 951, 954, 954, 955, 958, 957, 956, 957, 961, 964, 962, 960, 963, 965, 967, 966, 967, 969, 967, 970, 972, 973, 974, 971, 976, 976, 976, 978, 978, 982, 978, 979, 984, 983, 984, 980, 982, 984, 979, 981, 979, 982, 978, 979, 984, 984, 987, 982, 985, 988, 987, 991, 989, 991, 990, 990, 997, 995, 996, 994, 996, 1001, 998, 1000, 1001, 1002, 1003, 1001, 1006, 1007, 1007, 1007, 1007, 1010, 1010, 1011, 1014, 1013, 1012, 1013, 1017, 1020, 1018, 1016, 1019, 1021, 1023, 1022, 1023, 1025, 1023, 1026, 1028, 1029, 1030, 1027, 1032, 1032, 1032, 1034, 1034, 1038, 1034, 1035, 1040, 1040, 1043, 1038, 1041, 1044, 1042, 1044, 1043, 1044, 1042, 1038, 1043, 1041, 1043, 1038, 1041, 1044, 1043, 1047, 1045, 1047, 1046, 1046, 1053, 1051, 1052, 1050, 1052, 1057, 1054, 1056, 1057, 1058, 1059, 1057, 1062, 1063, 1063, 1063, 1063, 1066, 1066, 1067, 1070, 1069, 1068, 1069, 1073, 1076, 1074, 1072, 1075, 1077, 1079, 1078, 1079, 1081, 1079, 1082, 1084, 1085, 1086, 1083, 1088, 1088, 1088, 1090, 1090, 1094, 1090, 1091, 1096, 1096, 1099, 1094, 1097, 1100, 1099, 1103, 1101, 1103, 1102, 1101, 1106, 1105, 1105, 1102, 1100, 1103, 1100, 1103, 1101, 1103, 1102, 1102, 1109, 1107, 1108, 1106, 1108, 1113, 1110, 1112, 1113, 1114, 1115, 1113, 1118, 1119, 1119, 1119, 1119, 1122, 1122, 1123, 1126, 1125, 1124, 1125, 1129, 1132, 1130, 1128, 1131, 1133, 1135, 1134, 1135, 1137, 1135, 1138, 1140, 1141, 1142, 1139, 1144, 1144, 1144, 1146, 1146, 1150, 1146, 1147, 1152, 1152, 1155, 1150, 1153, 1156, 1155, 1159, 1157, 1159, 1158, 1158, 1165, 1163, 1164, 1162, 1163, 1166, 1164, 1165, 1165, 1162, 1161, 1159, 1165, 1163, 1164, 1162, 1164, 1169, 1166, 1168, 1169, 1170, 1171, 1169, 1174, 1175, 1175, 1175, 1175, 1178, 1178, 1179, 1182, 1181, 1180, 1181, 1185, 1188, 1186, 1184, 1187, 1189, 1191, 1190, 1191, 1193, 1191, 1194, 1196, 1197, 1198, 1195, 1200, 1200, 1200, 1202, 1202, 1206, 1202, 1203, 1208, 1208, 1211, 1206, 1209, 1212, 1211, 1215, 1213, 1215, 1214, 1214, 1221, 1219, 1220, 1218, 1220, 1225, 1222, 1224, 1225, 1225, 1224, 1223, 1227, 1227, 1223, 1221, 1221, 1225, 1222, 1224, 1225, 1226, 1227, 1225, 1230, 1231, 1231, 1231, 1231, 1234, 1234, 1235, 1238, 1237, 1236, 1237, 1241, 1244, 1242, 1240, 1243, 1245, 1247, 1246, 1247, 1249, 1247, 1250, 1252, 1253, 1254, 1251, 1256, 1256, 1256, 1258, 1258, 1262, 1258, 1259, 1264, 1264, 1267, 1262, 1265, 1268, 1267, 1271, 1269, 1271, 1270, 1270, 1277, 1275, 1276, 1274, 1276, 1281, 1278, 1280, 1281, 1282, 1283, 1281, 1286, 1287, 1286, 1284, 1285, 1287, 1286, 1283, 1284, 1283, 1283, 1281, 1286, 1287, 1287, 1287, 1287, 1290, 1290, 1291, 1294, 1293, 1292, 1293, 1297, 1300, 1298, 1296, 1299, 1301, 1303, 1302, 1303, 1305, 1303, 1306, 1308, 1309, 1310, 1307, 1312, 1312, 1312, 1314, 1314, 1318, 1314, 1315, 1320, 1320, 1323, 1318, 1321, 1324, 1323, 1327, 1325, 1327, 1326, 1326, 1333, 1331, 1332, 1330, 1332, 1337, 1334, 1336, 1337, 1338, 1339, 1337, 1342, 1343, 1343, 1343, 1343, 1346, 1346, 1346, 1347, 1347, 1345, 1345, 1345, 1346, 1344, 1343, 1343, 1346, 1346, 1347, 1350, 1349, 1348, 1349, 1353, 1356, 1354, 1352, 1355, 1357, 1359, 1358, 1359, 1361, 1359, 1362, 1364, 1365, 1366, 1363, 1368, 1368, 1368, 1370, 1370, 1374, 1370, 1371, 1376, 1376, 1379, 1374, 1377, 1380, 1379, 1383, 1381, 1383, 1382, 1382, 1389, 1387, 1388, 1386, 1388, 1393, 1390, 1392, 1393, 1394, 1395, 1393, 1398, 1399, 1399, 1399, 1399, 1402, 1402, 1403, 1406, 1405, 1404, 1405, 1408, 1409, 1408, 1405, 1407, 1405, 1405, 1404, 1406, 1405, 1404, 1405, 1409, 1412, 1410, 1408, 1411, 1413, 1415, 1414, 1415, 1417, 1415, 1418, 1420, 1421, 1422, 1419, 1424, 1424, 1424, 1426, 1426, 1430, 1426, 1427, 1432, 1432, 1435, 1430, 1433, 1436, 1435, 1439, 1437, 1439, 1438, 1438, 1445, 1443, 1444, 1442, 1444, 1449, 1446, 1448, 1449, 1450, 1451, 1449, 1454, 1455, 1455, 1455, 1455, 1458, 1458, 1459, 1462, 1461, 1460, 1461, 1465, 1468, 1466, 1464, 1467, 1468, 1468, 1468, 1468, 1469, 1463, 1464, 1466, 1468, 1466, 1464, 1467, 1469, 1471, 1470, 1471, 1473, 1471, 1474, 1476, 1477, 1478, 1475, 1480, 1480, 1480, 1482, 1482, 1486, 1482, 1483, 1488, 1488, 1491, 1486, 1489, 1492, 1491, 1495, 1493, 1495, 1494, 1494, 1501, 1499, 1500, 1498, 1500, 1505, 1502, 1504, 1505, 1506, 1507, 1505, 1510, 1511, 1511, 1511, 1511, 1514, 1514, 1515, 1518, 1517, 1516, 1517, 1521, 1524, 1522, 1520, 1523, 1525, 1527, 1526, 1527, 1529, 1526, 1527, 1530, 1530, 1530, 1523, 1526, 1526, 1527, 1526, 1527, 1529, 1527, 1530, 1532, 1533, 1534, 1531, 1536, 1536, 1536, 1538, 1538, 1542, 1538, 1539, 1544, 1544, 1547, 1542, 1545, 1548, 1547, 1551, 1549, 1551, 1550, 1550, 1557, 1555, 1556, 1554, 1556, 1561, 1558, 1560, 1561, 1562, 1563, 1561, 1566, 1567, 1567, 1567, 1567, 1570, 1570, 1571, 1574, 1573, 1572, 1573, 1577, 1580, 1578, 1576, 1579, 1581, 1583, 1582, 1583, 1585, 1583, 1586, 1588, 1589, 1590, 1586, 1589, 1590, 1589, 1590, 1586, 1588, 1584, 1586, 1588, 1589, 1590, 1587, 1592, 1592, 1592, 1594, 1594, 1598, 1594, 1595, 1600, 1600, 1603, 1598, 1601, 1604, 1603, 1607, 1605, 1607, 1606, 1606, 1613, 1611, 1612, 1610, 1612, 1617, 1614, 1616, 1617, 1618, 1619, 1617, 1622, 1623, 1623, 1623, 1623, 1626, 1626, 1627, 1630, 1629, 1628, 1629, 1633, 1636, 1634, 1632, 1635, 1637, 1639, 1638, 1639, 1641, 1639, 1642, 1644, 1645, 1646, 1643, 1648, 1648, 1648, 1650, 1649, 1651, 1648, 1648, 1652, 1648, 1649, 1644, 1648, 1648, 1648, 1650, 1650, 1654, 1650, 1651, 1656, 1656, 1659, 1654, 1657, 1660, 1659, 1663, 1661, 1663, 1662, 1662, 1669, 1667, 1668, 1666, 1668, 1673, 1670, 1672, 1673, 1674, 1675, 1673, 1678, 1679, 1679, 1679, 1679, 1682, 1682, 1683, 1686, 1685, 1684, 1685, 1689, 1692, 1690, 1688, 1691, 1693, 1695, 1694, 1695, 1697, 1695, 1698, 1700, 1701, 1702, 1699, 1704, 1704, 1704, 1706, 1706, 1710, 1706, 1707, 1712, 1711, 1712, 1708, 1710, 1712, 1707, 1709, 1707, 1710, 1706, 1707, 1712, 1712, 1715, 1710, 1713, 1716, 1715, 1719, 1717, 1719, 1718, 1718, 1725, 1723, 1724, 1722, 1724, 1729, 1726, 1728, 1729, 1730, 1731, 1729, 1734, 1735, 1735, 1735, 1735, 1738, 1738, 1739, 1742, 1741, 1740, 1741, 1745, 1748, 1746, 1744, 1747, 1749, 1751, 1750, 1751, 1753, 1751, 1754, 1756, 1757, 1758, 1755, 1760, 1760, 1760, 1762, 1762, 1766, 1762, 1763, 1768, 1768, 1771, 1766, 1769, 1772, 1770, 1772, 1771, 1772, 1770, 1766, 1771, 1769, 1771, 1766, 1769, 1772, 1771, 1775, 1773, 1775, 1774, 1774, 1781, 1779, 1780, 1778, 1780, 1785, 1782, 1784, 1785, 1786, 1787, 1785, 1790, 1791, 1791, 1791, 1791, 1794, 1794, 1795, 1798, 1797, 1796, 1797, 1801, 1804, 1802, 1800, 1803, 1805, 1807, 1806, 1807, 1809, 1807, 1810, 1812, 1813, 1814, 1811, 1816, 1816, 1816, 1818, 1818, 1822, 1818, 1819, 1824, 1824, 1827, 1822, 1825, 1828, 1827, 1831, 1829, 1831, 1830, 1829, 1834, 1833, 1833, 1830, 1828, 1831, 1828, 1831, 1829, 1831, 1830, 1830, 1837, 1835, 1836, 1834, 1836, 1841, 1838, 1840, 1841, 1842, 1843, 1841, 1846, 1847, 1847, 1847, 1847, 1850, 1850, 1851, 1854, 1853, 1852, 1853, 1857, 1860, 1858, 1856, 1859, 1861, 1863, 1862, 1863, 1865, 1863, 1866, 1868, 1869, 1870, 1867, 1872, 1872, 1872, 1874, 1874, 1878, 1874, 1875, 1880, 1880, 1883, 1878, 1881, 1884, 1883, 1887, 1885, 1887, 1886, 1886, 1893, 1891, 1892, 1890, 1891, 1894, 1892, 1893, 1893, 1890, 1889, 1887, 1893, 1891, 1892, 1890, 1892, 1897, 1894, 1896, 1897, 1898, 1899, 1897, 1902, 1903, 1903, 1903, 1903, 1906, 1906, 1907, 1910, 1909, 1908, 1909, 1913, 1916, 1914, 1912, 1915, 1917, 1919, 1918, 1919, 1921, 1919, 1922, 1924, 1925, 1926, 1923, 1928, 1928, 1928, 1930, 1930, 1934, 1930, 1931, 1936, 1936, 1939, 1934, 1937, 1940, 1939, 1943, 1941, 1943, 1942, 1942, 1949, 1947, 1948, 1946, 1948, 1953, 1950, 1952, 1953, 1953, 1952, 1951, 1955, 1955, 1951, 1949, 1949, 1953, 1950, 1952, 1953, 1954, 1955, 1953, 1958, 1959, 1959, 1959, 1959, 1962, 1962, 1963, 1966, 1965, 1964, 1965, 1969, 1972, 1970, 1968, 1971, 1973, 1975, 1974, 1975, 1977, 1975, 1978, 1980, 1981, 1982, 1979, 1984, 1984, 1984, 1986, 1986, 1990, 1986, 1987, 1992, 1992, 1995, 1990, 1993, 1996, 1995, 1999, 1997, 1999, 1998, 1998, 2005, 2003, 2004, 2002, 2004, 2009, 2006, 2008, 2009, 2010, 2011, 2009, 2014, 2015, 2014, 2012, 2013, 2015, 2014, 2011, 2012, 2011, 2011, 2009, 2014, 2015, 2015, 2015, 2015, 2018, 2018, 2019, 2022, 2021, 2020, 2021, 2025, 2028, 2026, 2024, 2027, 2029, 2031, 2030, 2031, 2033, 2031, 2034, 2036, 2037, 2038, 2035, 2040, 2040, 2040, 2042, 2042, 2046, 2042, 2043, 2048, 2048, 2051, 2046, 2049, 2052, 2051, 2055, 2053, 2055, 2054, 2054, 2061, 2059, 2060, 2058, 2060, 2065, 2062, 2064, 2065, 2066, 2067, 2065, 2070, 2071, 2071, 2071, 2071, 2074, 2074, 2074, 2075, 2075, 2073, 2073, 2073, 2074, 2072, 2071, 2071, 2074, 2074, 2075, 2078, 2077, 2076, 2077, 2081, 2084, 2082, 2080, 2083, 2085, 2087, 2086, 2087, 2089, 2087, 2090, 2092, 2093, 2094, 2091, 2096, 2096, 2096, 2098, 2098, 2102, 2098, 2099, 2104, 2104, 2107, 2102, 2105, 2108, 2107, 2111, 2109, 2111, 2110, 2110, 2117, 2115, 2116, 2114, 2116, 2121, 2118, 2120, 2121, 2122, 2123, 2121, 2126, 2127, 2127, 2127, 2127, 2130, 2130, 2131, 2134, 2133, 2132, 2133, 2136, 2137, 2136, 2133, 2135, 2133, 2133, 2132, 2134, 2133, 2132, 2133, 2137, 2140, 2138, 2136, 2139, 2141, 2143, 2142, 2143, 2145, 2143, 2146, 2148, 2149, 2150, 2147, 2152, 2152, 2152, 2154, 2154, 2158, 2154, 2155, 2160, 2160, 2163, 2158, 2161, 2164, 2163, 2167, 2165, 2167, 2166, 2166, 2173, 2171, 2172, 2170, 2172, 2177, 2174, 2176, 2177, 2178, 2179, 2177, 2182, 2183, 2183, 2183, 2183, 2186, 2186, 2187, 2190, 2189, 2188, 2189, 2193, 2196, 2194, 2192, 2195, 2196, 2196, 2196, 2196, 2197, 2191, 2192, 2194, 2196, 2194, 2192, 2195, 2197, 2199, 2198, 2199, 2201, 2199, 2202, 2204, 2205, 2206, 2203, 2208, 2208, 2208, 2210, 2210, 2214, 2210, 2211, 2216, 2216, 2219, 2214, 2217, 2220, 2219, 2223, 2221, 2223, 2222, 2222, 2229, 2227, 2228, 2226, 2228, 2233, 2230, 2232, 2233, 2234, 2235, 2233, 2238, 2239, 2239, 2239, 2239, 2242, 2242, 2243, 2246, 2245, 2244, 2245, 2249, 2252, 2250, 2248, 2251, 2253, 2255, 2254, 2255, 2257, 2254, 2255, 2258, 2258, 2258, 2251, 2254, 2254, 2255, 2254, 2255, 2257, 2255, 2258, 2260, 2261, 2262, 2259, 2264, 2264, 2264, 2266, 2266, 2270, 2266, 2267, 2272, 2272, 2275, 2270, 2273, 2276, 2275, 2279, 2277, 2279, 2278, 2278, 2285, 2283, 2284, 2282, 2284, 2289, 2286, 2288, 2289, 2290, 2291, 2289, 2294, 2295, 2295, 2295, 2295, 2298, 2298, 2299, 2302, 2301, 2300, 2301, 2305, 2308, 2306, 2304, 2307, 2309, 2311, 2310, 2311, 2313, 2311, 2314, 2316, 2317, 2318, 2314, 2317, 2318, 2317, 2318, 2314, 2316, 2312, 2314, 2316, 2317, 2318, 2315, 2320, 2320, 2320, 2322, 2322, 2326, 2322, 2323, 2328, 2328, 2331, 2326, 2329, 2332, 2331, 2335, 2333, 2335, 2334, 2334, 2341, 2339, 2340, 2338, 2340, 2345, 2342, 2344, 2345, 2346, 2347, 2345, 2350, 2351, 2351, 2351, 2351, 2354, 2354, 2355, 2358, 2357, 2356, 2357, 2361, 2364, 2362, 2360, 2363, } PERIODIC: period 924 Date: Thu, 12 May 1994 21:29:22 -0500 From: sw@wri.com (Stephen Wolfram ) To: sw@wri.com Subject: mpmailer 5 10 2 Host: fourwinds; PID: 2226 Total searched: 1103232 (out of 5000000) Outcomes: {1, 682674, 82869, 10729, 1101, 286948, 32365, 6546} Rules: {{1,0,1} -> {1,1,0}, {1,1,1,0,1,1,1,0,1} -> {0,1,0,0,0}, {0,0,0,0,1,0,1,0,0} -> {1,1,1,1,1,1,0,1,1}, {0,0,0,1} -> {0,1,1,1,1,1,1,1,1}, {0,1,0,0,0,1,1,1,0,0} -> {1,1,0,0,0,0}} Init: 1001011011 History: {1, 3, 6, 9, 9, 9, 9, 9, 10, 10, 11, 11, 11, 11, 12, 12, 14, 15, 15, 13, 15, 13, 15, 15, 17, 17, 18, 17, 19, 18, 21, 20, 21, 20, 21, 19, 21, 21, 22, 21, 23, 21, 23, 22, 23, 21, 23, 21, 23, 23, 25, 23, 25, 24, 26, 24, 25, 23, 25, 23, 26, 26, 27, 26, 28, 26, 28, 26, 27, 25, 28, 26, 29, 29, 30, 28, 30, 28, 30, 28, 30, 28, 31, 30, 32, 31, 32, 30, 32, 30, 33, 31, 33, 32, 35, 32, 34, 33, 34, 32, 35, 33, 36, 35, 37, 35, 37, 34, 36, 35, 37, 35, 38, 37, 40, 38, 40, 37, 39, 36, 39, 38, 40, 39, 42, 40, 43, 41, 42, 39, 42, 39, 42, 42, 44, 42, 45, 43, 46, 43, 45, 42, 45, 43, 46, 45, 47, 45, 48, 46, 49, 46, 48, 46, 49, 46, 49, 48, 50, 48, 52, 49, 52, 50, 52, 49, 52, 49, 52, 51, 54, 52, 55, 53, 56, 53, 55, 52, 55, 52, 56, 55, 58, 56, 59, 56, 59, 56, 58, 55, 59, 56, 60, 60, 62, 59, 62, 59, 62, 59, 62, 59, 63, 61, 65, 63, 65, 62, 65, 62, 66, 63, 66, 64, 68, 65, 68, 66, 68, 65, 69, 66, 70, 68, 71, 68, 72, 68, 71, 69, 72, 69, 73, 71, 75, 72, 75, 72, 75, 71, 75, 73, 76, 74, 78, 75, 79, 76, 79, 75, 79, 75, 79, 78, 81, 78, 82, 79, 83, 80, 83, 79, 83, 80, 84, 82, 85, 82, 86, 83, 88, 84, 87, 84, 88, 84, 88, 86, 89, 86, 91, 88, 92, 89, 92, 88, 92, 88, 92, 90, 94, 91, 96, 93, 97, 93, 96, 92, 96, 92, 97, 95, 99, 97, 101, 97, 101, 97, 100, 96, 101, 97, 102, 101, 105, 101, 105, 101, 105, 101, 105, 101, 106, 103, 108, 106, 109, 105, 109, 105, 110, 106, 110, 107, 112, 108, 113, 110, 113, 109, 114, 110, 115, 112, 116, 112, 117, 113, 117, 114, 118, 114, 119, 116, 121, 117, 121, 117, 122, 117, 122, 119, 123, 120, 125, 121, 126, 122, 126, 122, 127, 122, 127, 125, 129, 125, 130, 126, 131, 127, 132, 127, 132, 128, 133, 130, 134, 130, 135, 131, 137, 133, 137, 133, 138, 133, 138, 135, 139, 135, 141, 137, 143, 139, 143, 138, 143, 138, 143, 140, 145, 141, 147, 144, 149, 144, 148, 143, 148, 143, 149, 146, 151, 148, 154, 149, 154, 149, 153, 148, 154, 149, 155, 153, 158, 154, 159, 154, 159, 154, 159, 154, 160, 156, 162, 159, 164, 159, 164, 159, 165, 160, 165, 161, 167, 162, 168, 165, 169, 164, 170, 165, 171, 167, 172, 167, 173, 168, 174, 170, 175, 170, 176, 172, 178, 173, 178, 173, 179, 174, 180, 176, 181, 177, 183, 178, 184, 179, 184, 179, 186, 180, 186, 183, 188, 183, 189, 184, 190, 185, 191, 186, 192, 187, 193, 189, 194, 189, 195, 190, 197, 192, 198, 193, 199, 193, 199, 195, 200, 195, 202, 197, 204, 200, 205, 199, 205, 199, 205, 201, 207, 202, 209, 205, 212, 206, 211, 205, 211, 205, 212, 208, 214, 210, 217, 212, 218, 212, 217, 211, 218, 212, 219, 216, 222, 217, 224, 218, 224, 218, 224, 218, 225, 220, 227, 223, 229, 224, 230, 224, 231, 225, 231, 226, 233, 227, 234, 230, 236, 230, 237, 231, 238, 233, 239, 233, 240, 234, 241, 237, 243, 237, 244, 239, 246, 240, 246, 240, 247, 241, 249, 244, 250, 245, 252, 246, 253, 247, 253, 247, 255, 249, 256, 252, 258, 252, 259, 253, 260, 254, 261, 255, 263, 257, 264, 259, 265, 259, 266, 260, 268, 262, 269, 264, 271, 264, 271, 266, 272, 266, 274, 268, 276, 271, 278, 271, 278, 271, 278, 273, 280, 274, 282, 277, 285, 279, 285, 278, 285, 278, 286, 281, 288, 283, 291, 285, 293, 286, 292, 285, 293, 286, 294, 290, 297, 291, 299, 293, 300, 293, 300, 293, 301, 295, 303, 298, 305, 299, 307, 300, 308, 301, 308, 302, 310, 303, 311, 306, 313, 307, 315, 308, 316, 310, 317, 310, 318, 311, 319, 314, 322, 315, 323, 317, 325, 318, 325, 318, 326, 319, 328, 323, 330, 324, 332, 325, 333, 326, 333, 326, 335, 328, 337, 332, 339, 332, 340, 333, 341, 334, 342, 335, 344, 338, 346, 340, 347, 340, 348, 341, 350, 343, 351, 345, 354, 346, 354, 348, 355, 348, 357, 350, 359, 353, 361, 354, 362, 354, 362, 356, 364, 357, 366, 360, 369, 362, 370, 362, 370, 362, 371, 365, 373, 367, 376, 369, 378, 371, 378, 370, 379, 371, 380, 375, 383, 376, 385, 378, 387, 379, 387, 379, 388, 381, 390, 384, 392, 385, 394, 387, 396, 388, 396, 389, 398, 390, 399, 393, 401, 394, 404, 396, 405, 398, 406, 398, 407, 399, 408, 402, 411, 404, 413, 406, 415, 407, 415, 407, 416, 408, 418, 412, 421, 414, 423, 415, 424, 416, 424, 416, 426, 418, 428, 423, 431, 423, 432, 424, 433, 425, 434, 426, 436, 429, 439, 432, 440, 432, 441, 433, 443, 435, 444, 437, 447, 439, 448, 441, 449, 441, 451, 443, 453, 446, 455, 447, 457, 448, 457, 450, 459, 451, 461, 454, 464, 456, 465, 457, 466, 457, 467, 460, 469, 462, 472, 464, 474, 466, 475, 466, 476, 467, 477, 471, 480, 472, 482, 474, 484, 476, 485, 476, 486, 478, 488, 481, 490, 482, 492, 484, 495, 486, 495, 487, 497, 488, 498, 491, 500, 492, 503, 495, 505, 497, 506, 497, 507, 498, 508, 501, 511, 503, 514, 506, 516, 507, 516, 507, 517, 508, 519, 512, 522, 515, 525, 516, 526, 517, 526, 517, 528, 519, 530, 524, 534, 525, 535, 526, 536, 527, 537, 528, 539, 531, 542, 535, 544, 535, 545, 536, 547, 538, 548, 540, 551, 542, 553, 545, 554, 545, 556, 547, 558, 550, 560, 551, 562, 553, 563, 555, 565, 556, 567, 559, 570, 561, 571, 562, 573, 563, 574, 566, 576, 568, 579, 570, 581, 572, 582, 573, 584, 574, 585, 578, 588, 579, 590, 581, 592, 583, 594, 584, 595, 586, 597, 589, 599, 590, 601, 592, 604, 595, 605, 596, 607, 597, 608, 600, 610, 601, 613, 604, 616, 607, 617, 607, 618, 608, 619, 611, 622, 613, 625, 617, 628, 618, 628, 618, 629, 619, 631, 623, 634, 626, 638, 628, 639, 629, 639, 629, 641, 631, 643, 636, 647, 638, 649, 639, 650, 640, 651, 641, 653, 644, 656, 648, 659, 649, 660, 650, 662, 652, 663, 654, 666, 656, 668, 660, 670, 660, 672, 662, 674, 665, 676, 666, 678, 668, 680, 671, 682, 672, 684, 675, 687, 677, 688, 678, 690, 680, 692, 683, 694, 685, 697, 687, 699, 689, 700, 690, 703, 692, 704, 696, 707, 697, 709, 699, 711, 701, 713, 703, 715, 705, 717, 708, 719, 709, 721, 711, 724, 714, 726, 716, 728, 717, 729, 720, 731, 721, 734, 724, 737, 728, 739, 728, 740, 729, 741, 732, 744, 734, 747, 738, 751, 740, 751, 740, 752, 741, 754, 745, 757, 748, 761, 751, 763, 752, 763, 752, 765, 754, 767, 759, 771, 761, 774, 763, 775, 764, 776, 765, 778, 768, 781, 772, 784, 774, 786, 775, 788, 777, 789, 779, 792, 781, 794, 785, 797, 786, 799, 788, 801, 791, 803, 792, 805, 794, 807, 798, 810, 799, 812, 802, 815, 804, 816, 805, 818, 807, 821, 811, 823, 813, 826, 815, 828, 817, 829, 818, 832, 821, 834, 825, 837, 826, 839, 828, 841, 830, 843, 832, 846, 835, 848, 838, 850, 839, 852, 841, 855, 844, 857, 847, 860, 848, 861, 851, 863, 852, 866, 855, 869, 859, 872, 860, 873, 861, 874, 864, 877, 866, 880, 870, 884, 873, 885, 873, 886, 874, 888, 878, 891, 881, 895, 884, 898, 886, 898, 886, 900, 888, 902, 893, 906, 895, 909, 898, 911, 899, 912, 900, 914, 903, 917, 907, 920, 909, 923, 911, 925, 913, 926, 915, 929, 917, 931, 921, 934, 923, 937, 925, 939, 928, 941, 929, 943, 931, 945, 935, 949, 937, 951, 940, 954, 942, 955, 943, 957, 945, 960, 950, 963, 952, 966, 954, 968, 956, 969, 957, 972, 960, 975, 965, 978, 966, 980, 968, 982, 970, 984, 972, 987, 976, 990, 979, 992, 980, 994, 982, 997, 985, 999, 988, 1003, 990, 1004, 993, 1006, 994, 1009, 997, 1012, 1001, 1015, 1003, 1017, 1004, 1018, 1007, 1021, 1009, 1024, 1013, 1028, 1016, 1030, 1017, 1031, 1018, 1033, 1022, 1036, 1025, 1040, 1028, 1043, 1031, 1044, 1031, 1046, 1033, 1048, 1038, 1052, 1040, 1055, 1043, 1058, 1045, 1059, 1046, 1061, 1049, 1064, 1053, 1067, 1055, 1070, 1058, 1073, 1060, 1074, 1062, 1077, 1064, 1079, 1068, 1082, 1070, 1086, 1073, 1088, 1076, 1090, 1077, 1092, 1079, 1094, 1083, 1098, 1086, 1101, 1089, 1104, 1091, 1105, 1092, 1107, 1094, 1110, 1099, 1114, 1102, 1117, 1104, 1119, 1106, 1120, 1107, 1123, 1110, 1126, 1116, 1130, 1117, 1132, 1119, 1134, 1121, 1136, 1123, 1139, 1127, 1143, 1131, 1145, 1132, 1147, 1134, 1150, 1137, 1152, 1140, 1156, 1143, 1158, 1146, 1160, 1147, 1163, 1150, 1166, 1154, 1169, 1156, 1172, 1158, 1173, 1161, 1176, 1163, 1179, 1167, 1183, 1170, 1185, 1172, 1187, 1173, 1189, 1177, 1192, 1180, 1196, 1183, 1199, 1186, 1201, 1187, 1203, 1189, 1205, 1194, 1209, 1196, 1212, 1199, 1215, 1202, 1217, 1203, 1219, 1206, 1222, 1210, 1225, 1212, 1228, 1215, 1232, 1218, 1233, 1220, 1236, 1222, 1238, 1226, 1241, 1228, 1245, 1232, 1248, 1235, 1250, 1236, 1252, 1238, 1254, 1242, 1258, 1245, 1262, 1249, 1265, 1251, 1266, 1252, 1268, 1254, 1271, 1259, 1275, 1263, 1279, 1265, 1281, 1267, 1282, 1268, 1285, 1271, 1288, 1277, 1293, 1279, 1295, 1281, 1297, 1283, 1299, 1285, 1302, 1289, 1306, 1294, 1309, 1295, 1311, 1297, 1314, 1300, 1316, 1303, 1320, 1306, 1323, 1310, 1325, 1311, 1328, 1314, 1331, 1318, 1334, 1320, 1337, 1323, 1339, 1326, 1342, 1328, 1345, 1332, 1349, 1335, 1351, 1337, 1354, 1339, 1356, 1343, 1359, 1346, 1363, 1349, 1366, 1352, 1368, 1354, 1371, 1356, 1373, 1361, 1377, 1363, 1380, 1366, 1383, 1369, 1386, 1371, 1388, 1374, 1391, 1378, 1394, 1380, 1397, 1383, 1401, 1387, 1403, 1389, 1406, 1391, 1408, 1395, 1411, 1397, 1415, 1401, 1419, 1405, 1421, 1406, 1423, 1408, 1425, 1412, 1429, 1415, 1433, 1420, 1437, 1422, 1438, 1423, 1440, 1425, 1443, 1430, 1447, 1434, 1452, 1437, 1454, 1439, 1455, 1440, 1458, 1443, 1461, 1449, 1466, 1452, 1469, 1454, 1471, 1456, 1473, 1458, 1476, 1462, 1480, 1467, 1484, 1469, 1486, 1471, 1489, 1474, 1491, 1477, 1495, 1480, 1498, 1485, 1501, 1486, 1504, 1489, 1507, 1493, 1510, 1495, 1513, 1498, 1516, 1502, 1519, 1504, 1522, 1508, 1526, 1511, 1528, 1513, 1531, 1516, 1534, 1520, 1537, 1523, 1541, 1526, 1544, 1529, 1546, 1531, 1550, 1534, 1552, 1539, 1556, 1541, 1559, 1544, 1562, 1547, 1565, 1550, 1568, 1553, 1571, 1557, 1574, 1559, 1577, 1562, 1581, 1566, 1584, 1569, 1587, 1571, 1589, 1575, 1592, 1577, 1596, 1581, 1600, 1586, 1603, 1587, 1605, 1589, 1607, 1593, 1611, 1596, 1615, 1601, 1620, 1604, 1621, 1605, 1623, 1607, 1626, 1612, 1630, 1616, 1635, 1620, 1638, 1622, 1639, 1623, 1642, 1626, 1645, 1632, 1650, 1635, 1654, 1638, 1656, 1640, 1658, 1642, 1661, 1646, 1665, 1651, 1669, 1654, 1672, 1656, 1675, 1659, 1677, 1662, 1681, 1665, 1684, 1670, 1688, 1672, 1691, 1675, 1694, 1679, 1697, 1681, 1700, 1684, 1703, 1689, 1707, 1691, 1710, 1695, 1714, 1698, 1716, 1700, 1719, 1703, 1723, 1708, 1726, 1711, 1730, 1714, 1733, 1717, 1735, 1719, 1739, 1723, 1742, 1728, 1746, 1730, 1749, 1733, 1752, 1736, 1755, 1739, 1759, 1743, 1762, 1747, 1765, 1749, 1768, 1752, 1772, 1756, 1775, 1760, 1779, 1762, 1781, 1766, 1784, 1768, 1788, 1772, 1792, 1777, 1796, 1779, 1798, 1781, 1800, 1785, 1804, 1788, 1808, 1793, 1813, 1797, 1815, 1798, 1817, 1800, 1820, 1805, 1824, 1809, 1829, 1813, 1833, 1816, 1834, 1817, 1837, 1820, 1840, 1826, 1845, 1829, 1849, 1833, 1852, 1835, 1854, 1837, 1857, 1841, 1861, 1846, 1865, 1849, 1869, 1852, 1872, 1855, 1874, 1858, 1878, 1861, 1881, 1866, 1885, 1869, 1889, 1872, 1892, 1876, 1895, 1878, 1898, 1881, 1901, 1886, 1906, 1889, 1909, 1893, 1913, 1896, 1915, 1898, 1918, 1901, 1922, 1907, 1926, 1910, 1930, 1913, 1933, 1916, 1935, 1918, 1939, 1922, 1943, 1928, 1947, 1930, 1950, 1933, 1953, 1936, 1956, 1939, 1960, 1944, 1964, 1948, 1967, 1950, 1970, 1953, 1974, 1957, 1977, 1961, 1982, 1964, 1984, 1968, 1987, 1970, 1991, 1974, 1995, 1979, 1999, 1982, 2002, 1984, 2004, 1988, 2008, 1991, 2012, 1996, 2017, 2000, 2020, 2002, 2022, 2004, 2025, 2009, 2029, 2013, 2034, 2017, 2038, 2021, 2040, 2022, 2043, 2025, 2046, 2031, 2051, 2034, 2055, 2038, 2059, 2041, 2061, 2043, 2064, 2047, 2068, 2052, 2072, 2055, 2076, 2059, 2080, 2062, 2082, 2065, 2086, 2068, 2089, 2073, 2093, 2076, 2098, 2080, 2101, 2084, 2104, 2086, 2107, 2089, 2110, 2094, 2115, 2098, 2119, 2102, 2123, 2105, 2125, 2107, 2128, 2110, 2132, 2116, 2137, 2120, 2141, 2123, 2144, 2126, 2146, 2128, 2150, 2132, 2154, 2139, 2159, 2141, 2162, 2144, 2165, 2147, 2168, 2150, 2172, 2155, 2177, 2160, 2180, 2162, 2183, 2165, 2187, 2169, 2190, 2173, 2195, 2177, 2198, 2181, 2201, 2183, 2205, 2187, 2209, 2192, 2213, 2195, 2217, 2198, 2219, 2202, 2223, 2205, 2227, 2210, 2232, 2214, 2235, 2217, 2238, 2219, 2241, 2224, 2245, 2228, 2250, 2232, 2254, 2236, 2257, 2238, 2260, 2241, 2263, 2247, 2268, 2250, 2272, 2254, 2276, 2258, 2279, 2260, 2282, 2264, 2286, 2269, 2290, 2272, 2294, 2276, 2299, 2280, 2301, 2283, 2305, 2286, 2308, 2291, 2312, 2294, 2317, 2299, 2321, 2303, 2324, 2305, 2327, 2308, 2330, 2313, 2335, 2317, 2340, 2322, 2344, 2325, 2346, 2327, 2349, 2330, 2353, 2336, 2358, 2341, 2363, 2344, 2366, 2347, 2368, 2349, 2372, 2353, 2376, 2360, 2382, 2363, 2385, 2366, 2388, 2369, 2391, 2372, 2395, 2377, 2400, 2383, 2404, 2385, 2407, 2388, 2411, 2392, 2414, 2396, 2419, 2400, 2423, 2405, 2426, 2407, 2430, 2411, 2434, 2416, 2438, 2419, 2442, 2423, 2445, 2427, 2449, 2430, 2453, 2435, 2458, 2439, 2461, 2442, 2465, 2445, 2468, 2450, 2472, 2454, 2477, 2458, 2481, 2462, 2484, 2465, 2488, 2468, 2491, 2474, 2496, 2477, 2500, 2481, 2504, 2485, 2508, 2488, 2511, 2492, 2515, 2497, 2519, 2500, 2523, 2504, 2528, 2509, 2531, 2512, 2535, 2515, 2538, 2520, 2542, 2523, 2547, 2528, 2552, 2533, 2555, 2535, 2558, 2538, 2561, 2543, 2566, 2547, 2571, 2553, 2576, 2556, 2578, 2558, 2581, 2561, 2585, 2567, 2590, 2572, 2596, 2576, 2599, 2579, 2601, 2581, 2605, 2585, 2609, 2592, 2615, 2596, 2619, 2599, 2622, 2602, 2625, 2605, 2629, 2610, 2634, 2616, 2639, 2619, 2642, 2622, 2646, 2626, 2649, 2630, 2654, 2634, 2658, 2640, 2662, 2642, 2666, 2646, 2670, 2651, 2674, 2654, 2678, 2658, 2682, 2663, 2686, 2666, 2690, 2671, 2695, 2675, 2698, 2678, 2702, 2682, 2706, 2687, 2710, 2691, 2715, 2695, 2719, 2699, 2722, 2702, 2727, 2706, 2730, 2712, 2735, 2715, 2739, 2719, 2743, 2723, 2747, 2727, 2751, 2731, 2755, 2736, 2759, 2739, 2763, 2743, 2768, 2748, 2772, 2752, 2776, 2755, 2779, 2760, 2783, 2763, 2788, 2768, 2793, 2774, 2797, 2776, 2800, 2779, 2803, 2784, 2808, 2788, 2813, 2794, 2819, 2798, 2821, 2800, 2824, 2803, 2828, 2809, 2833, 2814, 2839, 2819, 2843, 2822, 2845, 2824, 2849, 2828, 2853, 2835, 2859, 2839, 2864, 2843, 2867, 2846, 2870, 2849, 2874, 2854, 2879, 2860, 2884, 2864, 2888, 2867, 2892, 2871, 2895, 2875, 2900, 2879, 2904, 2885, 2909, 2888, 2913, 2892, 2917, 2897, 2921, 2900, 2925, 2904, 2929, 2910, 2934, 2913, 2938, 2918, 2943, 2922, 2946, 2925, 2950, 2929, 2955, 2935, 2959, 2939, 2964, 2943, 2968, 2947, 2971, 2950, 2976, 2955, 2980, 2961, 2985, 2964, 2989, 2968, 2993, 2972, 2997, 2976, 3002, 2981, 3006, 2986, 3010, 2989, 3014, 2993, 3019, 2998, 3023, 3003, 3028, 3006, 3031, 3011, 3035, 3014, 3040, 3019, 3045, 3025, 3050, 3028, 3053, 3031, 3056, 3036, 3061, 3040, 3066, 3046, 3072, 3051, 3075, 3053, 3078, 3056, 3082, 3062, 3087, 3067, 3093, 3072, 3098, 3076, 3100, 3078, 3104, 3082, 3108, 3089, 3114, 3093, 3119, 3098, 3123, 3101, 3126, 3104, 3130, 3109, 3135, 3115, 3140, 3119, 3145, 3123, 3149, 3127, 3152, 3131, 3157, 3135, 3161, 3141, 3166, 3145, 3171, 3149, 3175, 3154, 3179, 3157, 3183, 3161, 3187, 3167, 3193, 3171, 3197, 3176, 3202, 3180, 3205, 3183, 3209, 3187, 3214, 3194, 3219, 3198, 3224, 3202, 3228, 3206, 3231, 3209, 3236, 3214, 3241, 3221, 3246, 3224, 3250, 3228, 3254, 3232, 3258, 3236, 3263, 3242, 3268, 3247, 3272, 3250, 3276, 3254, 3281, 3259, 3285, 3264, 3291, 3268, 3294, 3273, 3298, 3276, 3303, 3281, 3308, 3287, 3313, 3291, 3317, 3294, 3320, 3299, 3325, 3303, 3330, 3309, 3336, 3314, 3340, 3317, 3343, 3320, 3347, 3326, 3352, 3331, 3358, 3336, 3363, 3341, 3366, 3343, 3370, 3347, 3374, 3354, 3380, 3358, 3385, 3363, 3390, 3367, 3393, 3370, 3397, 3375, 3402, 3381, 3407, 3385, 3412, 3390, 3417, 3394, 3420, 3398, 3425, 3402, 3429, 3408, 3434, 3412, 3440, 3417, 3444, 3422, 3448, 3425, 3452, 3429, 3456, 3435, 3462, 3440, 3467, 3445, 3472, 3449, 3475, 3452, 3479, 3456, 3484, 3463, 3490, 3468, 3495, 3472, 3499, 3476, 3502, 3479, 3507, 3484, 3512, 3492, 3518, 3495, 3522, 3499, 3526, 3503, 3530, 3507, 3535, 3513, 3541, 3519, 3545, 3522, 3549, 3526, 3554, 3531, 3558, 3536, 3564, 3541, 3568, 3546, 3572, 3549, 3577, 3554, 3582, 3560, 3587, 3564, 3592, 3568, 3595, 3573, 3600, 3577, 3605, 3583, 3611, 3588, 3615, 3592, 3619, 3595, 3623, 3601, 3628, 3606, 3634, 3611, 3639, 3616, 3643, 3619, 3647, 3623, 3651, 3630, 3657, 3634, 3662, 3639, 3667, 3644, 3671, 3647, 3675, 3652, 3680, 3658, 3685, 3662, 3690, 3667, 3696, 3672, 3699, 3676, 3704, 3680, 3708, 3686, 3713, 3690, 3719, 3696, 3724, 3701, 3728, 3704, 3732, 3708, 3736, 3714, 3742, 3719, 3748, 3725, 3753, 3729, 3756, 3732, 3760, 3736, 3765, 3743, 3771, 3749, 3777, 3753, 3781, 3757, 3784, 3760, 3789, 3765, 3794, 3773, 3801, 3777, 3805, 3781, 3809, 3785, 3813, 3789, 3818, 3795, 3824, 3802, 3829, 3805, 3833, 3809, 3838, 3814, 3842, 3819, 3848, 3824, 3853, 3830, 3857, 3833, 3862, 3838, 3867, 3844, 3872, 3848, 3877, 3853, 3881, 3858, 3886, 3862, 3891, 3868, 3897, 3873, 3901, 3877, 3906, 3881, 3910 } <> Date: Fri, 13 May 1994 01:09:36 -0500 From: sw@wri.com (Stephen Wolfram ) To: sw@wri.com Subject: mpmailer 5 5 2 Host: levella.wri.com; PID: 1457 Total searched: 1155109 (out of 5000000) Outcomes: {1, 895583, 52920, 4229, 602, 158329, 37147, 6299} Rules: {{1,0,0} -> {}, {0,1,1} -> {1,0,1,0,0}, {0,1,1,1} -> {0,1,1,0}, {1,1,1,1,1} -> {}, {0,0,0,0} -> {1}} Init: 1011101011 History: {1, 3, 7, 12, 19, 24, 27, 27, 22, 22, 23, 28, 35, 38, 41, 45, 55, 64, 72, 73, 71, 67, 66, 66, 71, 66, 64, 66, 70, 79, 77, 75, 73, 82, 85, 88, 92, 86, 84, 86, 87, 84, 80, 77, 79, 90, 103, 106, 101, 95, 104, 108, 115, 117, 114, 108, 104, 105, 102, 96, 92, 97, 107, 120, 121, 113, 109, 113, 122, 128, 127, 124, 117, 111, 110, 107, 100, 97, 101, 110, 122, 124, 114, 112, 118, 124, 131, 129, 126, 122, 114, 114, 111, 106, 100, 106, 114, 125, 128, 121, 120, 123, 130, 137, 137, 135, 128, 122, 121, 119, 119, 114, 116, 122, 135, 137, 133, 129, 133, 144, 150, 151, 153, 143, 139, 141, 140, 132, 128, 129, 135, 155, 161, 162, 155, 155, 166, 173, 178, 178, 171, 163, 159, 158, 150, 144, 144, 153, 172, 178, 177, 167, 169, 175, 187, 191, 188, 181, 172, 166, 163, 155, 148, 149, 157, 175, 180, 180, 168, 172, 180, 189, 194, 190, 183, 177, 169, 167, 159, 154, 152, 162, 179, 183, 184, 175, 180, 185, 195, 200, 198, 192, 183, 177, 174, 167, 167, 166, 172, 187, 193, 193, 187, 189, 195, 209, 213, 212, 210, 198, 194, 194, 188, 180, 180, 185, 200, 213, 217, 216, 215, 217, 231, 236, 239, 235, 226, 218, 212, 206, 198, 196, 200, 218, 230, 234, 231, 227, 231, 240, 250, 252, 245, 236, 227, 219, 211, 203, 200, 205, 222, 233, 236, 234, 228, 234, 245, 252, 255, 247, 238, 232, 222, 215, 207, 206, 208, 227, 237, 239, 238, 235, 242, 250, 258, 261, 255, 247, 238, 230, 222, 215, 219, 222, 237, 245, 249, 247, 247, 251, 260, 272, 274, 269, 265, 253, 247, 242, 236, 232, 236, 250, 258, 269, 271, 276, 277, 282, 294, 297, 296, 290, 281, 271, 260, 254, 250, 252, 265, 276, 286, 288, 291, 289, 296, 303, 311, 309, 300, 291, 280, 267, 259, 255, 256, 270, 280, 289, 290, 294, 290, 299, 308, 313, 312, 302, 293, 285, 270, 263, 259, 262, 273, 285, 293, 293, 298, 297, 307, 313, 319, 318, 310, 302, 291, 278, 270, 267, 275, 287, 295, 301, 303, 307, 309, 316, 323, 333, 331, 324, 320, 306, 295, 290, 288, 288, 301, 308, 314, 323, 331, 338, 342, 345, 355, 354, 351, 345, 334, 319, 308, 306, 306, 317, 323, 332, 340, 348, 353, 354, 359, 364, 368, 364, 355, 344, 328, 315, 311, 311, 321, 328, 336, 343, 350, 356, 355, 362, 369, 370, 367, 357, 346, 333, 318, 315, 315, 327, 331, 341, 347, 353, 360, 362, 370, 374, 376, 373, 365, 355, 339, 326, 322, 323, 340, 345, 351, 355, 363, 369, 374, 379, 384, 390, 386, 379, 373, 354, 343, 342, 344, 353, 359, 364, 368, 383, 393, 403, 405, 406, 412, 409, 406, 398, 382, 367, 360, 362, 371, 375, 379, 386, 400, 410, 418, 417, 420, 421, 423, 419, 408, 392, 376, 367, 367, 376, 379, 384, 390, 403, 412, 421, 418, 423, 426, 425, 422, 410, 394, 381, 370, 371, 380, 385, 387, 395, 407, 415, 425, 425, 431, 431, 431, 428, 418, 403, 387, 378, 378, 388, 398, 401, 405, 415, 425, 434, 437, 440, 441, 445, 441, 432, 421, 402, 395, 398, 409, 411, 415, 418, 428, 445, 458, 466, 466, 463, 467, 464, 459, 446, 430, 419, 416, 427, 429, 431, 433, 446, 462, 475, 481, 478, 477, 476, 478, 472, 456, 440, 428, 423, 432, 434, 435, 438, 450, 465, 477, 484, 479, 480, 481, 480, 475, 458, 442, 433, 426, 436, 438, 441, 441, 455, 469, 480, 488, 486, 488, 486, 486, 481, 466, 451, 439, 434, 443, 446, 454, 455, 465, 477, 490, 497, 498, 497, 496, 500, 494, 480, 469, 454, 451, 463, 467, 467, 469, 478, 490, 510, 521, 527, 523, 518, 522, 517, 507, 494, 482, 475, 481, 485, 485, 485, 493, 508, 527, 538, 542, 535, 532, 531, 531, 520, 504, 492, 484, 488, 490, 490, 489, 498, 512, 530, 540, 545, 536, 535, 536, 533, 523, 506, 494, 489, 491, 494, 494, 495, 501, 517, 534, 543, 549, 543, 543, 541, 539, 529, 514, 503, 495, 499, 501, 502, 508, 515, 527, 542, 553, 558, 555, 552, 551, 553, 542, 528, 521, 510, 516, 521, 523, 521, 529, 540, 555, 573, 582, 584, 578, 573, 575, 565, 555, 546, 538, 540, 539, 541, 539, 545, 555, 573, 590, 599, 599, 590, 587, 584, 579, 568, 556, 548, 549, 546, 546, 544, 549, 560, 577, 593, 601, 602, 591, 590, 589, 581, 571, 558, 550, 554, 549, 550, 548, 555, 563, 582, 597, 604, 606, 598, 598, 594, 587, 577, 566, 559, 560, 557, 557, 556, 568, 577, 592, 605, 614, 615, 610, 607, 604, 601, 590, 580, 577, 575, 574, 577, 577, 581, 591, 605, 618, 634, 639, 639, 633, 626, 623, 613, 607, 602, 603, 598, 595, 595, 599, 607, 620, 636, 651, 656, 654, 645, 640, 632, 627, 620, 612, 613, 607, 602, 600, 604, 611, 625, 640, 654, 658, 657, 646, 643, 637, 629, 623, 614, 615, 612, 605, 604, 608, 617, 628, 645, 658, 661, 661, 653, 651, 642, 635, 629, 622, 624, 618, 613, 611, 616, 630, 642, 655, 666, 671, 670, 665, 660, 652, 649, 642, 636, 642, 633, 630, 631, 637, 643, 656, 668, 679, 691, 694, 694, 686, 674, 671, 665, 663, 667, 661, 654, 649, 655, 661, 672, 683, 697, 708, 711, 709, 698, 688, 680, 679, 676, 677, 671, 663, 656, 660, 666, 676, 688, 701, 711, 713, 712, 699, 691, 685, 681, 679, 679, 673, 668, 659, 664, 670, 682, 691, 706, 715, 716, 716, 706, 699, 690, 687, 685, 687, 682, 674, 667, 671, 678, 695, 705, 716, 723, 726, 725, 718, 708, 700, 701, 698, 701, 700, 689, 684, 691, 699, 708, 719, 729, 736, 746, 749, 747, 734, 722, 723, 721, 728, 725, 717, 708, 709, 717, 726, 735, 744, 754, 763, 766, 762, 746, 736, 732, 735, 741, 735, 727, 717, 716, 722, 731, 739, 749, 758, 766, 768, 765, 747, 739, 737, 737, 744, 737, 729, 722, 719, 726, 735, 745, 752, 763, 770, 771, 769, 754, 747, 742, 743, 750, 745, 738, 728, 727, 733, 743, 758, 766, 773, 778, 781, 778, 766, 756, 752, 757, 763, 759, 756, 743, 744, 753, 764, 771, 780, 786, 791, 801, 802, 795, 782, 774, 779, 786, 786, 781, 771, 768, 771, 782, 789, 796, 801, 809, 818, 819, 810, 794, 788, 788, 800, 799, 791, 781, 777, 778, 787, 794, 800, 806, 813, 821, 821, 813, 795, 791, 793, 802, 802, 793, 783, 782, 781, 791, 798, 806, 809, 818, 825, 824, 817, 802, 799, 798, 808, 808, 801, 792, 788, 789, 798, 806, 819, 823, 828, 833, 834, 826, 814, 808, 808, 822, 821, 815, 810, 803, 806, 818, 827, 832, 837, 841, 846, 854, 850, 843, 834, 830, 844, 844, 842, 835, 831, 830, 836, 845, 850, 853, 856, 864, 871, 867, 858, 846, 844, 853, 858, 855, 845, 841, 839, 843, 850, 855, 857, 861, 868, 874, 869, 861, 847, 847, 858, 860, 858, 847, 843, 844, 846, 854, 859, 863, 864, 873, 878, 872, 865, 854, 855, 863, 866, 864, 855, 852, 850, 854, 861, 867, 876, 878, 883, 886, 882, 874, 866, 864, 873, 880, 877, 869, 870, 865, 871, 881, 888, 889, 892, 896, 899, 902, 898, 895, 890, 895, 902, 900, 896, 895, 893, 895, 899, 906, 907, 908, 911, 917, 919, 915, 910, 902, 909, 911, 914, 909, 905, 903, 904, 906, 911, 912, 912, 916, 921, 922, 917, 913, 903, 912, 916, 916, 912, 907, 905, 909, 909, 915, 916, 918, 919, 926, 926, 920, 917, 910, 920, 921, 922, 918, 915, 914, 915, 917, 922, 924, 931, 933, 936, 934, 930, 926, 922, 929, 931, 936, 931, 929, 932, 930, 934, 942, 945, 944, 947, 949, 947, 950, 950, 951, 955, 953, 958, 954, 956, 957, 958, 958, 960, 963, 962, 963, 964, 965, 967, 967, 966, 967, 967, 967, 968, 969, 967, 968, 967, 967, 968, 967, 967, 969, 969, 970, 969, 969, 968, 970, 972, 970, 972, 969, 970, 972, 970, 972, 971, 973, 972, 974, 974, 972, 973, 975, 978, 977, 976, 978, 977, 979, 978, 978, 979, 979, 986, 986, 984, 982, 982, 982, 987, 987, 987, 990, 991, 991, 997, 993, 995, 999, 1000, 999, 1000, 997, 995, 1002, 1006, 1016, 1013, 1009, 1012, 1014, 1018, 1022, 1021, 1019, 1017, 1018, 1017, 1016, 1012, 1013, 1019, 1023, 1031, 1025, 1023, 1021, 1028, 1031, 1032, 1031, 1028, 1024, 1023, 1022, 1020, 1017, 1017, 1022, 1025, 1034, 1026, 1026, 1026, 1030, 1034, 1034, 1033, 1033, 1027, 1027, 1026, 1026, 1020, 1022, 1026, 1028, 1038, 1033, 1034, 1031, 1036, 1040, 1042, 1042, 1039, 1035, 1034, 1034, 1039, 1034, 1032, 1034, 1038, 1047, 1045, 1043, 1041, 1050, 1053, 1056, 1060, 1054, 1052, 1054, 1055, 1052, 1048, 1045, 1047, 1058, 1071, 1074, 1069, 1063, 1072, 1076, 1083, 1085, 1082, 1076, 1072, 1073, 1070, 1064, 1060, 1065, 1075, 1088, 1089, 1081, 1077, 1081, 1090, 1096, 1095, 1092, 1085, 1079, 1078, 1075, 1068, 1065, 1069, 1078, 1090, 1092, 1082, 1080, 1086, 1092, 1099, 1097, 1094, 1090, 1082, 1082, 1079, 1074, 1068, 1074, 1082, 1093, 1096, 1089, 1088, 1091, 1098, 1105, 1105, 1103, 1096, 1090, 1089, 1087, 1087, 1082, 1084, 1090, 1103, 1105, 1101, 1097, 1101, 1112, 1118, 1119, 1121, 1111, 1107, 1109, 1108, 1100, 1096, 1097, 1103, 1123, 1129, 1130, 1123, 1123, 1134, 1141, 1146, 1146, 1139, 1131, 1127, 1126, 1118, 1112, 1112, 1121, 1140, 1146, 1145, 1135, 1137, 1143, 1155, 1159, 1156, 1149, 1140, 1134, 1131, 1123, 1116, 1117, 1125, 1143, 1148, 1148, 1136, 1140, 1148, 1157, 1162, 1158, 1151, 1145, 1137, 1135, 1127, 1122, 1120, 1130, 1147, 1151, 1152, 1143, 1148, 1153, 1163, 1168, 1166, 1160, 1151, 1145, 1142, 1135, 1135, 1134, 1140, 1155, 1161, 1161, 1155, 1157, 1163, 1177, 1181, 1180, 1178, 1166, 1162, 1162, 1156, 1148, 1148, 1153, 1168, 1181, 1185, 1184, 1183, 1185, 1199, 1204, 1207, 1203, 1194, 1186, 1180, 1174, 1166, 1164, 1168, 1186, 1198, 1202, 1199, 1195, 1199, 1208, 1218, 1220, 1213, 1204, 1195, 1187, 1179, 1171, 1168, 1173, 1190, 1201, 1204, 1202, 1196, 1202, 1213, 1220, 1223, 1215, 1206, 1200, 1190, 1183, 1175, 1174, 1176, 1195, 1205, 1207, 1206, 1203, 1210, 1218, 1226, 1229, 1223, 1215, 1206, 1198, 1190, 1183, 1187, 1190, 1205, 1213, 1217, 1215, 1215, 1219, 1228, 1240, 1242, 1237, 1233, 1221, 1215, 1210, 1204, 1200, 1204, 1218, 1226, 1237, 1239, 1244, 1245, 1250, 1262, 1265, 1264, 1258, 1249, 1239, 1228, 1222, 1218, 1220, 1233, 1244, 1254, 1256, 1259, 1257, 1264, 1271, 1279, 1277, 1268, 1259, 1248, 1235, 1227, 1223, 1224, 1238, 1248, 1257, 1258, 1262, 1258, 1267, 1276, 1281, 1280, 1270, 1261, 1253, 1238, 1231, 1227, 1230, 1241, 1253, 1261, 1261, 1266, 1265, 1275, 1281, 1287, 1286, 1278, 1270, 1259, 1246, 1238, 1235, 1243, 1255, 1263, 1269, 1271, 1275, 1277, 1284, 1291, 1301, 1299, 1292, 1288, 1274, 1263, 1258, 1256, 1256, 1269, 1276, 1282, 1291, 1299, 1306, 1310, 1313, 1323, 1322, 1319, 1313, 1302, 1287, 1276, 1274, 1274, 1285, 1291, 1300, 1308, 1316, 1321, 1322, 1327, 1332, 1336, 1332, 1323, 1312, 1296, 1283, 1279, 1279, 1289, 1296, 1304, 1311, 1318, 1324, 1323, 1330, 1337, 1338, 1335, 1325, 1314, 1301, 1286, 1283, 1283, 1295, 1299, 1309, 1315, 1321, 1328, 1330, 1338, 1342, 1344, 1341, 1333, 1323, 1307, 1294, 1290, 1291, 1308, 1313, 1319, 1323, 1331, 1337, 1342, 1347, 1352, 1358, 1354, 1347, 1341, 1322, 1311, 1310, 1312, 1321, 1327, 1332, 1336, 1351, 1361, 1371, 1373, 1374, 1380, 1377, 1374, 1366, 1350, 1335, 1328, 1330, 1339, 1343, 1347, 1354, 1368, 1378, 1386, 1385, 1388, 1389, 1391, 1387, 1376, 1360, 1344, 1335, 1335, 1344, 1347, 1352, 1358, 1371, 1380, 1389, 1386, 1391, 1394, 1393, 1390, 1378, 1362, 1349, 1338, 1339, 1348, 1353, 1355, 1363, 1375, 1383, 1393, 1393, 1399, 1399, 1399, 1396, 1386, 1371, 1355, 1346, 1346, 1356, 1366, 1369, 1373, 1383, 1393, 1402, 1405, 1408, 1409, 1413, 1409, 1400, 1389, 1370, 1363, 1366, 1377, 1379, 1383, 1386, 1396, 1413, 1426, 1434, 1434, 1431, 1435, 1432, 1427, 1414, 1398, 1387, 1384, 1395, 1397, 1399, 1401, 1414, 1430, 1443, 1449, 1446, 1445, 1444, 1446, 1440, 1424, 1408, 1396, 1391, 1400, 1402, 1403, 1406, 1418, 1433, 1445, 1452, 1447, 1448, 1449, 1448, 1443, 1426, 1410, 1401, 1394, 1404, 1406, 1409, 1409, 1423, 1437, 1448, 1456, 1454, 1456, 1454, 1454, 1449, 1434, 1419, 1407, 1402, 1411, 1414, 1422, 1423, 1433, 1445, 1458, 1465, 1466, 1465, 1464, 1468, 1462, 1448, 1437, 1422, 1419, 1431, 1435, 1435, 1437, 1446, 1458, 1478, 1489, 1495, 1491, 1486, 1490, 1485, 1475, 1462, 1450, 1443, 1449, 1453, 1453, 1453, 1461, 1476, 1495, 1506, 1510, 1503, 1500, 1499, 1499, 1488, 1472, 1460, 1452, 1456, 1458, 1458, 1457, 1466, 1480, 1498, 1508, 1513, 1504, 1503, 1504, 1501, 1491, 1474, 1462, 1457, 1459, 1462, 1462, 1463, 1469, 1485, 1502, 1511, 1517, 1511, 1511, 1509, 1507, 1497, 1482, 1471, 1463, 1467, 1469, 1470, 1476, 1483, 1495, 1510, 1521, 1526, 1523, 1520, 1519, 1521, 1510, 1496, 1489, 1478, 1484, 1489, 1491, 1489, 1497, 1508, 1523, 1541, 1550, 1552, 1546, 1541, 1543, 1533, 1523, 1514, 1506, 1508, 1507, 1509, 1507, 1513, 1523, 1541, 1558, 1567, 1567, 1558, 1555, 1552, 1547, 1536, 1524, 1516, 1517, 1514, 1514, 1512, 1517, 1528, 1545, 1561, 1569, 1570, 1559, 1558, 1557, 1549, 1539, 1526, 1518, 1522, 1517, 1518, 1516, 1523, 1531, 1550, 1565, 1572, 1574, 1566, 1566, 1562, 1555, 1545, 1534, 1527, 1528, 1525, 1525, 1524, 1536, 1545, 1560, 1573, 1582, 1583, 1578, 1575, 1572, 1569, 1558, 1548, 1545, 1543, 1542, 1545, 1545, 1549, 1559, 1573, 1586, 1602, 1607, 1607, 1601, 1594, 1591, 1581, 1575, 1570, 1571, 1566, 1563, 1563, 1567, 1575, 1588, 1604, 1619, 1624, 1622, 1613, 1608, 1600, 1595, 1588, 1580, 1581, 1575, 1570, 1568, 1572, 1579, 1593, 1608, 1622, 1626, 1625, 1614, 1611, 1605, 1597, 1591, 1582, 1583, 1580, 1573, 1572, 1576, 1585, 1596, 1613, 1626, 1629, 1629, 1621, 1619, 1610, 1603, 1597, 1590, 1592, 1586, 1581, 1579, 1584, 1598, 1610, 1623, 1634, 1639, 1638, 1633, 1628, 1620, 1617, 1610, 1604, 1610, 1601, 1598, 1599, 1605, 1611, 1624, 1636, 1647, 1659, 1662, 1662, 1654, 1642, 1639, 1633, 1631, 1635, 1629, 1622, 1617, 1623, 1629, 1640, 1651, 1665, 1676, 1679, 1677, 1666, 1656, 1648, 1647, 1644, 1645, 1639, 1631, 1624, 1628, 1634, 1644, 1656, 1669, 1679, 1681, 1680, 1667, 1659, 1653, 1649, 1647, 1647, 1641, 1636, 1627, 1632, 1638, 1650, 1659, 1674, 1683, 1684, 1684, 1674, 1667, 1658, 1655, 1653, 1655, 1650, 1642, 1635, 1639, 1646, 1663, 1673, 1684, 1691, 1694, 1693, 1686, 1676, 1668, 1669, 1666, 1669, 1668, 1657, 1652, 1659, 1667, 1676, 1687, 1697, 1704, 1714, 1717, 1715, 1702, 1690, 1691, 1689, 1696, 1693, 1685, 1676, 1677, 1685, 1694, 1703, 1712, 1722, 1731, 1734, 1730, 1714, 1704, 1700, 1703, 1709, 1703, 1695, 1685, 1684, 1690, 1699, 1707, 1717, 1726, 1734, 1736, 1733, 1715, 1707, 1705, 1705, 1712, 1705, 1697, 1690, 1687, 1694, 1703, 1713, 1720, 1731, 1738, 1739, 1737, 1722, 1715, 1710, 1711, 1718, 1713, 1706, 1696, 1695, 1701, 1711, 1726, 1734, 1741, 1746, 1749, 1746, 1734, 1724, 1720, 1725, 1731, 1727, 1724, 1711, 1712, 1721, 1732, 1739, 1748, 1754, 1759, 1769, 1770, 1763, 1750, 1742, 1747, 1754, 1754, 1749, 1739, 1736, 1739, 1750, 1757, 1764, 1769, 1777, 1786, 1787, 1778, 1762, 1756, 1756, 1768, 1767, 1759, 1749, 1745, 1746, 1755, 1762, 1768, 1774, 1781, 1789, 1789, 1781, 1763, 1759, 1761, 1770, 1770, 1761, 1751, 1750, 1749, 1759, 1766, 1774, 1777, 1786, 1793, 1792, 1785, 1770, 1767, 1766, 1776, 1776, 1769, 1760, 1756, 1757, 1766, 1774, 1787, 1791, 1796, 1801, 1802, 1794, 1782, 1776, 1776, 1790, 1789, 1783, 1778, 1771, 1774, 1786, 1795, 1800, 1805, 1809, 1814, 1822, 1818, 1811, 1802, 1798, 1812, 1812, 1810, 1803, 1799, 1798, 1804, 1813, 1818, 1821, 1824, 1832, 1839, 1835, 1826, 1814, 1812, 1821, 1826, 1823, 1813, 1809, 1807, 1811, 1818, 1823, 1825, 1829, 1836, 1842, 1837, 1829, 1815, 1815, 1826, 1828, 1826, 1815, 1811, 1812, 1814, 1822, 1827, 1831, 1832, 1841, 1846, 1840, 1833, 1822, 1823, 1831, 1834, 1832, 1823, 1820, 1818, 1822, 1829, 1835, 1844, 1846, 1851, 1854, 1850, 1842, 1834, 1832, 1841, 1848, 1845, 1837, 1838, 1833, 1839, 1849, 1856, 1857, 1860, 1864, 1867, 1870, 1866, 1863, 1858, 1863, 1870, 1868, 1864, 1863, 1861, 1863, 1867, 1874, 1875, 1876, 1879, 1885, 1887, 1883, 1878, 1870, 1877, 1879, 1882, 1877, 1873, 1871, 1872, 1874, 1879, 1880, 1880, 1884, 1889, 1890, 1885, 1881, 1871, 1880, 1884, 1884, 1880, 1875, 1873, 1877, 1877, 1883, 1884, 1886, 1887, 1894, 1894, 1888, 1885, 1878, 1888, 1889, 1890, 1886, 1883, 1882, 1883, 1885, 1890, 1892, 1899, 1901, 1904, 1902, 1898, 1894, 1890, 1897, 1899, 1904, 1899, 1897, 1900, 1898, 1902, 1910, 1913, 1912, 1915, 1917, 1915, 1918, 1918, 1919, 1923, 1921, 1926, 1922, 1924, 1925, 1926, 1926, 1928, 1931, 1930, 1931, 1932, 1933, 1935, 1935, 1934, 1935, 1935, 1935, 1936, 1937, 1935, 1936, 1935, 1935, 1936, 1935, 1935, 1937, 1937, 1938, 1937, 1937, 1936, 1938, 1940, 1938, 1940, 1937, 1938, 1940, 1938, 1940, 1939, 1941, 1940, 1942, 1942, 1940, 1941, 1943, 1946, 1945, 1944, 1946, 1945, 1947, 1946, 1946, 1947, 1947, 1954, 1954, 1952, 1950, 1950, 1950, 1955, 1955, 1955, 1958, 1959, 1959, 1965, 1961, 1963, 1967, 1968, 1967, 1968, 1965, 1963, 1970, 1974, 1984, 1981, 1977, 1980, 1982, 1986, 1990, 1989, 1987, 1985, 1986, 1985, 1984, 1980, 1981, 1987, 1991, 1999, 1993, 1991, 1989, 1996, 1999, 2000, 1999, 1996, 1992, 1991, 1990, 1988, 1985, 1985, 1990, 1993, 2002, 1994, 1994, 1994, 1998, 2002, 2002, 2001, 2001, 1995, 1995, 1994, 1994, 1988, 1990, 1994, 1996, 2006, 2001, 2002, 1999, 2004, 2008, 2010, 2010, 2007, 2003, 2002, 2002, 2007, 2002, 2000, 2002, 2006, 2015, 2013, 2011, 2009, 2018, 2021, 2024, 2028, 2022, 2020, 2022, 2023, 2020, 2016, 2013, 2015, 2026, 2039, 2042, 2037, 2031, 2040, 2044, 2051, 2053, 2050, 2044, 2040, 2041, 2038, 2032, 2028, 2033, 2043, 2056, 2057, 2049, 2045, 2049, 2058, 2064, 2063, 2060, 2053, 2047, 2046, 2043, 2036 } <> 100101101110110 Date: Mon, 16 May 1994 12:02:12 -0500 From: Mail Delivery Subsystem To: sw@dragonfly.wri.com Subject: Returned mail: Host unknown ----- Transcript of session follows ----- 554 ... 550 Host unknown (Authoritative answer from name server) ----- Recipients of this delivery ----- Bounced, cannot deliver: ----- Unsent message follows ----- Received: from lead.wri.com by dragonfly.wri.com with SMTP id AA06456 (5.67b/IDA-1.4.4 for ); Mon, 16 May 1994 12:02:12 -0500 Received: by lead.wri.com id AA00652 (5.65c/IDA-1.4.4 for retreat!sw); Mon, 16 May 1994 12:01:17 -0500 Received: from woodlark.wri.com by dragonfly.wri.com with SMTP id AA17615 (5.67b/IDA-1.4.4 for ); Sun, 15 May 1994 13:03:33 -0500 Date: Sun, 15 May 1994 13:00:37 -0500 From: sw (Stephen Wolfram ) Message-Id: <199405151800.AA11712@woodlark.wri.com> To: sw@wri.com Subject: mpmailer 5 8 2 Host: woodlark.wri.com; PID: 9606 Total searched: 2352565 (out of 5000000) Outcomes: {2, 1672223, 143953, 19004, 2165, 441012, 62520, 11687} Rules: {{1,1,1} -> {}, {0,0,1,1,0} -> {1,0,0,1,1}, {1,0,0,1,0,1} -> {1,0,1,0,1}, {1,0,0,0,1} -> {0,1,0,1,1}, {1,0,1,0} -> {0,1,0,0,0,0}} History: {1, 2, 3, 4, 4, 5, 5, 4, 4, 4, 4, 2, 1, 1, 2, 4, 5, 4, 4, 5, 6 4, 4, 5, 8, 8, 8, 8, 11, 12, 9, 6, 5, 3, 3, 4, 5, 4, 4, 6, 8 6, 6, 8, 11, 11, 12, 12, 14, 13, 9, 7, 8, 8, 5, 4, 5, 4, 4, 6, 8 7, 8, 10, 13, 12, 13, 15, 20, 19, 14, 11, 13, 13, 11, 10, 12, 11, 7, 6, 8 7, 8, 11, 15, 14, 15, 17, 21, 20, 17, 15, 17, 16, 13, 12, 16, 16, 13, 11, 12 9, 9, 11, 15, 15, 17, 19, 23, 22, 19, 19, 23, 22, 18, 16, 19, 17, 13, 12, 15 14, 11, 11, 15, 15, 17, 20, 25, 24, 21, 21, 25, 24, 22, 22, 26, 23, 18, 16, 20 19, 17, 17, 22, 22, 20, 20, 25, 25, 23, 23, 27, 26, 24, 25, 30, 27, 22, 20, 24 22, 19, 19, 26, 27, 26, 25, 29, 27, 24, 24, 29, 28, 26, 27, 32, 30, 27, 27, 31 28, 24, 23, 29, 28, 26, 26, 32, 32, 26, 24, 29, 29, 28, 29, 34, 32, 29, 30, 36 33, 29, 29, 36, 34, 31, 30, 37, 37, 32, 30, 36, 36, 31, 30, 36, 34, 31, 32, 38 36, 34, 35, 41, 38, 35, 34, 41, 40, 34, 32, 40, 41, 37, 35, 40, 37, 34, 34, 40 38, 36, 38, 46, 44, 41, 41, 48, 46, 39, 36, 43, 42, 37, 36, 43, 42, 36, 35, 42 40, 38, 40, 48, 47, 46, 47, 54, 51, 44, 42, 50, 48, 42, 40, 48, 47, 42, 41, 49 48, 43, 42, 50, 49, 48, 50, 59, 57, 50, 48, 55, 52, 46, 44, 52, 50, 44, 43, 53 53, 49, 48, 56, 53, 51, 52, 61, 60, 55, 54, 61, 58, 52, 51, 59, 56, 49, 47, 56 54, 49, 49, 59, 59, 55, 54, 63, 62, 57, 57, 66, 64, 58, 57, 65, 61, 54, 53, 63 60, 54, 53, 64, 64, 61, 61, 72, 71, 62, 59, 68, 67, 63, 63, 71, 67, 60, 59, 68 64, 58, 57, 68, 67, 63, 63, 76, 77, 70, 66, 74, 71, 66, 66, 76, 73, 66, 65, 74 70, 64, 64, 75, 73, 68, 67, 79, 78, 70, 68, 79, 78, 70, 68, 78, 76, 71, 71, 80 76, 70, 70, 81, 78, 73, 73, 86, 84, 75, 72, 84, 84, 78, 76, 87, 85, 76, 74, 85 82, 76, 76, 87, 84, 79, 79, 91, 88, 79, 76, 88, 87, 80, 79, 93, 92, 84, 81, 91 87, 82, 82, 93, 90, 85, 85, 97, 94, 85, 83, 95, 93, 85, 83, 96, 94, 86, 84, 96 94, 86, 85, 98, 96, 91, 91, 103, 100, 91, 89, 101, 98, 90, 89, 103, 100, 91, 89, 103 101, 94, 93, 107, 106, 99, 97, 109, 106, 97, 95, 107, 104, 96, 95, 108, 104, 95, 93, 107 105, 98, 97, 113, 113, 107, 105, 118, 114, 104, 101, 113, 110, 102, 101, 114, 110, 101, 100, 114 111, 103, 102, 118, 116, 109, 108, 123, 122, 111, 107, 119, 116, 108, 107, 120, 116, 107, 106, 120 116, 108, 108, 125, 123, 116, 114, 130, 129, 119, 116, 131, 129, 117, 113, 126, 122, 113, 112, 126 122, 114, 114, 130, 127, 120, 119, 136, 134, 123, 120, 137, 137, 128, 124, 136, 130, 120, 118, 132 128, 120, 120, 136, 133, 126, 126, 143, 141, 130, 126, 142, 140, 130, 128, 144, 141, 128, 124, 138 134, 126, 126, 142, 139, 132, 132, 149, 146, 135, 133, 151, 148, 137, 134, 151, 149, 139, 136, 151 147, 135, 132, 148, 145, 138, 138, 155, 152, 141, 139, 156, 153, 143, 140, 157, 154, 143, 141, 160 158, 147, 143, 158, 153, 145, 144, 161, 158, 147, 145, 162, 159, 149, 148, 166, 162, 150, 147, 165 162, 152, 150, 167, 164, 153, 150, 167, 164, 153, 151, 168, 165, 155, 154, 172, 168, 157, 155, 174 170, 159, 157, 177, 175, 165, 162, 180, 177, 162, 157, 174, 171, 161, 160, 178, 174, 163, 162, 181 176, 165, 163, 183, 181, 172, 170, 190, 188, 174, 168, 184, 179, 168, 166, 184, 180, 169, 168, 187 183, 173, 172, 192, 189, 179, 177, 198, 195, 180, 175, 193, 190, 176, 172, 190, 186, 175, 174, 193 189, 179, 179, 200, 196, 186, 185, 207, 204, 190, 185, 204, 201, 188, 184, 203, 199, 184, 180, 199 195, 185, 185, 206, 203, 194, 193, 214, 210, 196, 192, 213, 210, 196, 192, 213, 210, 196, 191, 209 203, 192, 191, 212, 209, 200, 200, 222, 218, 204, 201, 222, 219, 206, 202, 222, 217, 202, 198, 218 214, 200, 197, 218, 215, 206, 206, 228, 225, 212, 209, 230, 226, 213, 211, 234, 229, 213, 208, 229 225, 212, 209, 231, 228, 215, 212, 234, 231, 218, 216, 238, 234, 221, 219, 241, 236, 222, 218, 239 234, 220, 217, 241, 239, 227, 223, 244, 239, 225, 222, 244, 241, 229, 227, 249, 244, 230, 228, 251 246, 231, 227, 250, 246, 233, 230, 253, 250, 233, 228, 250, 247, 235, 234, 257, 252, 238, 236, 259 254, 241, 239, 263, 258, 244, 240, 264, 261, 245, 240, 263, 260, 244, 240, 263, 259, 246, 244, 267 262, 249, 248, 273, 268, 254, 250, 274, 270, 253, 248, 273, 271, 256, 251, 273, 267, 253, 251, 275 270, 257, 256, 281, 277, 265, 263, 287, 282, 264, 258, 282, 278, 262, 258, 282, 278, 261, 257, 281 277, 265, 264, 289, 285, 273, 272, 298, 293, 275, 270, 295, 290, 273, 268, 293, 289, 273, 269, 294 290, 274, 271, 297, 293, 281, 280, 306, 302, 286, 282, 306, 300, 283, 278, 303, 298, 281, 277, 304 301, 286, 282, 307, 302, 290, 288, 314, 310, 294, 291, 317, 312, 295, 291, 316, 310, 292, 287, 313 308, 292, 289, 316, 313, 298, 295, 322, 318, 302, 299, 325, 321, 306, 303, 328, 321, 303, 299, 326 320, 303, 299, 327, 324, 310, 307, 335, 332, 313, 307, 333, 329, 314, 312, 339, 333, 315, 311, 337 330, 313, 309, 337, 333, 318, 315, 345, 343, 325, 319, 345, 339, 323, 320, 347, 342, 326, 323, 349 342, 325, 322, 350, 345, 329, 325, 354, 350, 331, 326, 354, 351, 333, 328, 355, 350, 334, 332, 360 354, 337, 334, 362, 356, 340, 337, 367, 362, 342, 336, 365, 362, 345, 341, 370, 365, 345, 340, 368 363, 348, 346, 374, 368, 352, 349, 378, 372, 352, 346, 375, 371, 353, 349, 380, 377, 359, 353, 380 373, 357, 355, 385, 380, 364, 361, 390, 384, 364, 359, 388, 383, 364, 359, 389, 384, 365, 361, 391 386, 367, 363, 393, 389, 375, 373, 402, 396, 376, 371, 400, 394, 375, 371, 402, 396, 376, 371, 402 398, 381, 377, 408, 404, 386, 382, 413, 408, 388, 383, 412, 406, 387, 383, 413, 406, 386, 381, 412 407, 389, 386, 420, 417, 400, 395, 425, 419, 400, 395, 424, 418, 399, 395, 425, 418, 398, 394, 425 419, 400, 396, 429, 425, 408, 404, 436, 432, 410, 404, 435, 430, 411, 407, 437, 430, 410, 406, 437 430, 411, 408, 442, 437, 419, 415, 449, 445, 424, 418, 450, 446, 425, 419, 449, 442, 422, 418, 449 442, 423, 420, 453, 447, 429, 425, 459, 455, 434, 428, 462, 459, 439, 433, 464, 456, 435, 430, 461 454, 435, 432, 465, 459, 441, 438, 472, 467, 445, 439, 473, 468, 447, 442, 475, 470, 448, 442, 473 466, 447, 444, 477, 471, 453, 450, 484, 478, 456, 451, 486, 481, 460, 454, 488, 483, 462, 457, 491 485, 462, 456, 489, 483, 465, 462, 496, 490, 468, 463, 497, 491, 470, 465, 500, 494, 472, 467, 503 499, 479, 473, 505, 497, 478, 474, 508, 502, 480, 475, 509, 503, 482, 478, 513, 507, 485, 479, 514 508, 487, 483, 519, 514, 492, 486, 520, 514, 492, 487, 521, 515, 494, 490, 525, 518, 496, 492, 529 522, 500, 495, 532, 528, 509, 504, 539, 533, 507, 499, 533, 527, 506, 502, 537, 530, 508, 504, 540 533, 512, 507, 544, 539, 519, 515, 554, 550, 525, 516, 549, 541, 519, 514, 549, 542, 520, 516, 552 545, 524, 521, 559, 553, 532, 527, 565, 560, 536, 529, 564, 558, 533, 526, 561, 554, 532, 528, 564 557, 536, 533, 571, 565, 545, 541, 580, 574, 549, 542, 580, 575, 551, 544, 580, 573, 547, 540, 576 569, 548, 545, 583, 577, 557, 554, 593, 586, 561, 554, 592, 587, 564, 558, 596, 590, 565, 557, 592 583, 561, 557, 595, 589, 569, 566, 605, 599, 575, 569, 607, 601, 577, 571, 610, 603, 577, 570, 607 600, 575, 569, 607, 601, 581, 578, 617, 611, 587, 582, 621, 614, 590, 585, 625, 618, 593, 586, 624 617, 593, 587, 626, 620, 596, 590, 629, 623, 599, 594, 633, 627, 604, 599, 638, 630, 605, 599, 639 632, 607, 601, 642, 637, 614, 607, 645, 637, 612, 606, 645, 639, 616, 612, 652, 644, 619, 614, 654 647, 623, 617, 657, 650, 626, 620, 660, 654, 626, 618, 657, 651, 628, 624, 664, 657, 633, 628, 668 660, 636, 632, 675, 668, 643, 636, 677, 671, 644, 636, 676, 670, 643, 636, 676, 669, 645, 641, 682 674, 650, 646, 688, 681, 658, 652, 693, 686, 658, 650, 692, 687, 661, 653, 692, 683, 658, 653, 694 687, 664, 660, 702, 695, 672, 668, 711, 704, 675, 666, 707, 700, 673, 666, 707, 700, 672, 665, 706 699, 676, 673, 716, 709, 686, 682, 725, 718, 691, 684, 726, 718, 690, 682, 724, 717, 690, 683, 725 718, 691, 685, 728, 722, 700, 696, 739, 732, 705, 699, 742, 734, 706, 698, 740, 732, 704, 697, 741 735, 709, 702, 744, 736, 713, 709, 753, 746, 719, 713, 756, 749, 723, 717, 759, 750, 721, 713, 756 748, 721, 715, 759, 753, 727, 721, 765, 759, 733, 727, 770, 763, 737, 732, 776, 767, 738, 731, 775 766, 738, 731, 776, 770, 745, 739, 784, 778, 748, 740, 784, 777, 751, 746, 790, 782, 755, 749, 792 782, 754, 747, 792, 785, 759, 753, 800, 795, 766, 757, 800, 792, 766, 760, 804, 796, 769, 764, 809 800, 772, 766, 811, 803, 776, 769, 815, 808, 778, 770, 815, 809, 780, 773, 818, 810, 783, 778, 823 815, 789, 784, 829, 820, 793, 787, 834, 826, 795, 786, 832, 826, 798, 791, 837, 830, 800, 792, 837 829, 803, 799, 846, 838, 811, 805, 851, 842, 811, 802, 848, 841, 812, 805, 853, 847, 818, 810, 855 845, 818, 813, 860, 853, 828, 823, 869, 860, 829, 821, 867, 859, 829, 821, 868, 860, 830, 823, 870 863, 834, 827, 874, 867, 842, 838, 886, 878, 847, 839, 885, 876, 846, 839, 887, 878, 847, 839, 887 880, 852, 846, 895, 888, 859, 852, 900, 893, 864, 857, 903, 894, 864, 857, 904, 894, 863, 855, 903 895, 866, 860, 911, 906, 879, 871, 918, 909, 879, 872, 920, 912, 882, 875, 922, 912, 881, 874, 922 913, 883, 876, 926, 919, 891, 885, 935, 928, 895, 886, 934, 927, 899, 893, 940, 930, 899, 892, 940 930, 900, 894, 945, 937, 908, 901, 952, 946, 915, 906, 955, 948, 916, 908, 957, 948, 917, 910, 958 948, 918, 912, 962, 953, 924, 917, 968, 961, 929, 921, 973, 967, 936, 927, 975, 965, 935, 928, 976 966, 936, 930, 980, 971, 942, 936, 987, 979, 946, 937, 988, 981, 950, 942, 992, 984, 951, 943, 993 984, 954, 948, 998, 989, 960, 954, 1005, 996, 963, 955, 1007, 999, 967, 959, 1011, 1003, 971, 963, 1014 1006, 974, 966, 1016, 1007, 978, 972, 1023, 1014, 981, 973, 1024, 1015, 983, 975, 1027, 1019, 987, 979, 1032 1025, 994, 986, 1037, 1027, 997, 990, 1041, 1032, 999, 991, 1042, 1033, 1001, 994, 1046, 1037, 1004, 996, 1049 1040, 1008, 1001, 1054, 1047, 1016, 1008, 1059, 1050, 1017, 1009, 1060, 1051, 1019, 1012, 1064, 1054, 1021, 1014, 1068 1059, 1027, 1019, 1073, 1066, 1036, 1029, 1083, 1075, 1038, 1027, 1078, 1069, 1037, 1030, 1082, 1072, 1039, 1032, 1085 1075, 1043, 1036, 1091, 1083, 1052, 1045, 1101, 1095, 1061, 1050, 1100, 1089, 1056, 1048, 1100, 1090, 1057, 1050, 1103 1093, 1061, 1055, 1110, 1102, 1071, 1063, 1118, 1110, 1075, 1066, 1120, 1112, 1076, 1066, 1118, 1108, 1075, 1068, 1121 1111, 1079, 1073, 1128, 1119, 1088, 1082, 1139, 1130, 1094, 1084, 1139, 1132, 1099, 1090, 1143, 1133, 1096, 1086, 1139 1129, 1097, 1091, 1146, 1137, 1106, 1100, 1156, 1147, 1112, 1102, 1157, 1149, 1115, 1107, 1164, 1156, 1120, 1109, 1161 1149, 1116, 1109, 1164, 1155, 1124, 1118, 1174, 1165, 1130, 1122, 1178, 1169, 1134, 1125, 1181, 1172, 1137, 1128, 1182 1172, 1136, 1127, 1182, 1173, 1142, 1136, 1192, 1183, 1148, 1140, 1196, 1187, 1153, 1145, 1202, 1192, 1156, 1147, 1204 1195, 1160, 1151, 1207, 1198, 1163, 1154, 1210, 1201, 1166, 1158, 1214, 1205, 1171, 1164, 1221, 1210, 1174, 1165, 1222 1213, 1179, 1171, 1229, 1221, 1187, 1177, 1232, 1221, 1185, 1176, 1232, 1223, 1189, 1182, 1239, 1229, 1194, 1186, 1243 1233, 1198, 1190, 1249, 1240, 1205, 1196, 1253, 1244, 1205, 1194, 1250, 1241, 1207, 1200, 1257, 1247, 1212, 1205, 1263 1252, 1217, 1210, 1270, 1261, 1227, 1218, 1276, 1267, 1229, 1218, 1275, 1266, 1228, 1218, 1275, 1265, 1230, 1223, 1281 1271, 1237, 1230, 1289, 1279, 1245, 1237, 1297, 1288, 1249, 1238, 1297, 1289, 1252, 1241, 1297, 1285, 1249, 1241, 1299 1289, 1255, 1249, 1309, 1299, 1265, 1258, 1318, 1309, 1271, 1260, 1318, 1308, 1270, 1260, 1318, 1308, 1269, 1259, 1317 1307, 1273, 1267, 1327, 1318, 1285, 1278, 1338, 1328, 1290, 1281, 1342, 1332, 1293, 1282, 1341, 1331, 1293, 1283, 1342 1332, 1294, 1285, 1345, 1336, 1303, 1297, 1358, 1348, 1310, 1301, 1361, 1351, 1314, 1304, 1363, 1352, 1313, 1303, 1364 1355, 1318, 1308, 1367, 1356, 1322, 1315, 1376, 1367, 1330, 1321, 1381, 1371, 1334, 1326, 1387, 1376, 1336, 1325, 1385 1374, 1336, 1327, 1388, 1379, 1342, 1333, 1394, 1385, 1348, 1340, 1401, 1391, 1354, 1346, 1407, 1396, 1358, 1349, 1410 1398, 1359, 1349, 1411, 1402, 1366, 1357, 1419, 1410, 1369, 1358, 1419, 1410, 1374, 1366, 1427, 1416, 1378, 1370, 1432 1420, 1381, 1371, 1433, 1423, 1386, 1377, 1441, 1433, 1393, 1381, 1441, 1430, 1393, 1385, 1447, 1436, 1398, 1390, 1452 1441, 1404, 1396, 1458, 1447, 1409, 1399, 1462, 1452, 1411, 1400, 1462, 1453, 1413, 1403, 1465, 1455, 1418, 1410, 1472 1461, 1424, 1417, 1481, 1470, 1432, 1423, 1487, 1476, 1434, 1422, 1485, 1476, 1437, 1427, 1490, 1480, 1439, 1429, 1492 1481, 1444, 1437, 1501, 1491, 1455, 1447, 1510, 1498, 1456, 1444, 1507, 1497, 1457, 1447, 1512, 1503, 1463, 1452, 1514 1502, 1465, 1457, 1521, 1511, 1475, 1468, 1533, 1522, 1480, 1469, 1532, 1521, 1480, 1469, 1533, 1522, 1481, 1471, 1535 1525, 1485, 1476, 1541, 1531, 1495, 1488, 1553, 1543, 1503, 1493, 1556, 1544, 1503, 1493, 1558, 1546, 1504, 1493, 1558 1548, 1509, 1500, 1566, 1557, 1518, 1508, 1573, 1563, 1523, 1514, 1579, 1568, 1527, 1517, 1581, 1568, 1526, 1515, 1580 1569, 1529, 1520, 1588, 1580, 1542, 1532, 1597, 1585, 1544, 1534, 1599, 1589, 1550, 1541, 1605, 1592, 1550, 1540, 1605 1593, 1552, 1542, 1609, 1599, 1560, 1551, 1618, 1609, 1566, 1554, 1619, 1609, 1570, 1562, 1628, 1616, 1574, 1564, 1629 1616, 1575, 1566, 1634, 1623, 1583, 1573, 1641, 1632, 1590, 1579, 1646, 1636, 1593, 1582, 1648, 1637, 1597, 1588, 1653 1640, 1599, 1590, 1657, 1645, 1605, 1595, 1663, 1653, 1610, 1599, 1668, 1660, 1619, 1607, 1672, 1659, 1618, 1609, 1676 1664, 1623, 1614, 1681, 1669, 1629, 1620, 1688, 1677, 1633, 1621, 1689, 1679, 1637, 1627, 1695, 1684, 1640, 1629, 1696 1685, 1646, 1638, 1705, 1693, 1653, 1644, 1712, 1700, 1656, 1645, 1714, 1703, 1660, 1649, 1718, 1708, 1666, 1655, 1723 1712, 1669, 1659, 1728, 1717, 1677, 1668, 1736, 1724, 1680, 1669, 1737, 1725, 1682, 1671, 1740, 1729, 1686, 1676, 1747 1737, 1695, 1684, 1752, 1740, 1701, 1692, 1760, 1748, 1704, 1693, 1761, 1749, 1706, 1696, 1765, 1753, 1709, 1698, 1768 1757, 1715, 1705, 1775, 1765, 1723, 1713, 1783, 1772, 1728, 1717, 1785, 1773, 1730, 1720, 1789, 1776, 1732, 1722, 1793 1781, 1738, 1728, 1800, 1790, 1749, 1739, 1810, 1800, 1754, 1741, 1809, 1797, 1754, 1744, 1813, 1800, 1756, 1746, 1816 1803, 1760, 1750, 1822, 1812, 1771, 1761, 1834, 1825, 1780, 1767, 1836, 1823, 1779, 1768, 1837, 1824, 1780, 1770, 1840 1827, 1784, 1775, 1847, 1836, 1794, 1784, 1857, 1846, 1800, 1788, 1859, 1849, 1804, 1792, 1861, 1848, 1804, 1794, 1864 1851, 1808, 1799, 1871, 1859, 1817, 1808, 1882, 1871, 1825, 1812, 1884, 1874, 1830, 1819, 1891, 1879, 1831, 1818, 1888 1875, 1832, 1823, 1895, 1883, 1841, 1832, 1905, 1893, 1847, 1835, 1908, 1897, 1852, 1841, 1915, 1905, 1860, 1847, 1916 1901, 1857, 1847, 1919, 1907, 1865, 1856, 1929, 1917, 1871, 1860, 1933, 1922, 1877, 1865, 1938, 1926, 1880, 1869, 1942 1930, 1883, 1871, 1943, 1931, 1889, 1880, 1953, 1941, 1895, 1884, 1957, 1945, 1900, 1890, 1965, 1952, 1905, 1893, 1967 1956, 1912, 1901, 1974, 1962, 1916, 1904, 1977, 1965, 1919, 1908, 1981, 1969, 1924, 1914, 1988, 1975, 1929, 1917, 1991 1979, 1934, 1924, 2001, 1991, 1946, 1933, 2005, 1991, 1944, 1932, 2005, 1993, 1948, 1938, 2012, 1999, 1953, 1943, 2018 2005, 1959, 1948, 2024, 2013, 1969, 1958, 2032, 2020, 1970, 1956, 2029, 2017, 1972, 1962, 2036, 2023, 1977, 1967, 2042 2029, 1984, 1974, 2051, 2039, 1994, 1983, 2060, 2049, 2000, 1986, 2060, 2048, 1999, 1986, 2060, 2047, 2001, 1991, 2066 2053, 2008, 1999, 2076, 2063, 2018, 2007, 2084, 2073, 2025, 2012, 2088, 2077, 2029, 2015, 2088, 2073, 2026, 2015, 2090 2077, 2032, 2023, 2100, 2088, 2044, 2034, 2111, 2099, 2050, 2037, 2114, 2102, 2053, 2040, 2115, 2102, 2052, 2039, 2114 2101, 2056, 2047, 2124, 2112, 2068, 2059, 2137, 2124, 2075, 2063, 2141, 2129, 2081, 2068, 2144, 2131, 2082, 2069, 2145 } Date: Mon, 16 May 1994 12:04:13 -0500 From: Mail Delivery Subsystem To: sw@dragonfly.wri.com Subject: Returned mail: Host unknown ----- Transcript of session follows ----- 554 ... 550 Host unknown (Authoritative answer from name server) ----- Recipients of this delivery ----- Bounced, cannot deliver: ----- Unsent message follows ----- Received: from lead.wri.com by dragonfly.wri.com with SMTP id AA06755 (5.67b/IDA-1.4.4 for ); Mon, 16 May 1994 12:04:13 -0500 Received: by lead.wri.com id AA00722 (5.65c/IDA-1.4.4 for retreat!sw); Mon, 16 May 1994 12:03:19 -0500 Received: from fourwinds.wri.com by dragonfly.wri.com with SMTP id AA02934 (5.67b/IDA-1.4.4 for ); Sun, 15 May 1994 22:49:32 -0500 Date: Sun, 15 May 1994 22:49:39 -0500 From: sw (Stephen Wolfram ) Message-Id: <199405160349.AA09057@fourwinds.wri.com> To: sw@wri.com Subject: mpmailer 5 10 2 Host: fourwinds; PID: 2226 Total searched: 4652466 (out of 5000000) Outcomes: {3, 2875207, 351355, 45461, 4777, 1212490, 135791, 27383} Rules: {{0,0,1,1,0} -> {1,1,1}, {0,0,0,0,1,0,1,1,1} -> {0,1,1,1,1,0,1,0,1,0}, {1,0,1,1,0} -> {0,0,1,1,0,1}, {1,1,1,0,0,1} -> {0,0}, {0,1,0} -> {1,1}} History: {1, 3, 5, 9, 12, 14, 14, 16, 16, 20, 24, 20, 20, 19, 20, 23, 24, 24, 22, 24, 22 24, 28, 26, 26, 26, 25, 25, 30, 29, 29, 28, 27, 29, 32, 31, 32, 32, 30, 31, 34 34, 33, 35, 31, 31, 34, 34, 35, 37, 33, 33, 39, 37, 38, 38, 36, 36, 42, 37, 41 42, 40, 38, 44, 40, 44, 46, 43, 39, 45, 42, 45, 46, 44, 41, 47, 43, 45, 49, 48 45, 50, 44, 48, 52, 51, 46, 52, 47, 51, 54, 53, 49, 55, 50, 52, 54, 56, 51, 58 51, 53, 56, 57, 51, 58, 53, 56, 59, 60, 52, 61, 56, 59, 59, 61, 56, 64, 60, 61 62, 64, 58, 65, 60, 63, 64, 66, 59, 66, 62, 65, 65, 66, 60, 70, 65, 69, 66, 69 63, 73, 65, 70, 70, 72, 66, 75, 68, 73, 73, 73, 66, 76, 71, 75, 75, 74, 68, 78 72, 75, 76, 78, 71, 81, 73, 78, 79, 81, 71, 82, 76, 82, 82, 84, 74, 85, 79, 83 82, 85, 77, 87, 80, 84, 84, 87, 78, 87, 81, 87, 88, 90, 80, 90, 84, 90, 88, 91 83, 94, 87, 92, 91, 94, 86, 95, 87, 93, 93, 97, 87, 97, 89, 95, 94, 97, 88, 100 93, 98, 95, 100, 91, 103, 93, 99, 98, 103, 95, 105, 97, 102, 101, 104, 95, 106, 99, 105 102, 105, 97, 108, 100, 105, 103, 108, 100, 112, 101, 109, 106, 111, 100, 113, 104, 112, 110, 113 103, 116, 107, 113, 110, 114, 105, 118, 109, 114, 113, 116, 106, 118, 110, 117, 116, 120, 107, 121 113, 120, 116, 121, 110, 124, 116, 123, 119, 125, 113, 125, 116, 124, 121, 127, 115, 126, 118, 126 122, 127, 116, 129, 121, 129, 124, 130, 120, 132, 121, 130, 127, 133, 123, 135, 124, 133, 130, 134 123, 136, 126, 135, 131, 136, 125, 139, 127, 135, 132, 139, 128, 142, 129, 138, 135, 142, 128, 143 132, 141, 138, 144, 132, 146, 136, 142, 138, 145, 134, 148, 137, 144, 140, 147, 135, 148, 138, 147 143, 150, 136, 152, 141, 151, 143, 151, 139, 155, 144, 153, 147, 154, 142, 156, 144, 154, 149, 156 143, 157, 147, 156, 151, 156, 144, 160, 150, 159, 152, 160, 147, 163, 150, 160, 155, 163, 150, 165 153, 164, 158, 165, 150, 166, 155, 166, 159, 166, 153, 168, 156, 166, 160, 169, 156, 171, 157, 169 164, 172, 157, 172, 160, 172, 167, 174, 160, 176, 163, 173, 167, 175, 162, 178, 164, 174, 169, 178 163, 179, 165, 177, 172, 181, 164, 182, 169, 180, 172, 182, 167, 185, 172, 182, 175, 185, 171, 186 173, 183, 177, 187, 172, 187, 175, 186, 178, 187, 173, 190, 178, 189, 179, 190, 176, 194, 178, 191 182, 193, 179, 196, 181, 194, 186, 194, 179, 197, 183, 196, 187, 195, 181, 199, 185, 196, 189, 198 184, 202, 186, 199, 192, 202, 184, 203, 189, 202, 195, 204, 187, 206, 192, 204, 195, 206, 189, 208 193, 205, 197, 208, 191, 208, 194, 208, 200, 211, 192, 211, 197, 211, 201, 212, 196, 214, 200, 213 204, 215, 199, 216, 200, 214, 206, 217, 200, 217, 202, 216, 207, 218, 201, 221, 205, 219, 208, 221 204, 224, 206, 220, 211, 224, 207, 226, 209, 223, 214, 225, 208, 227, 212, 225, 215, 226, 210, 229 213, 226, 216, 229, 213, 232, 214, 229, 219, 232, 213, 234, 217, 233, 222, 234, 216, 237, 220, 234 223, 235, 218, 239, 221, 235, 225, 237, 219, 239, 223, 238, 229, 240, 220, 242, 226, 241, 229, 242 223, 245, 229, 243, 232, 245, 226, 246, 229, 245, 234, 248, 227, 247, 231, 247, 235, 248, 229, 250 234, 250, 236, 251, 232, 253, 234, 251, 240, 254, 236, 255, 237, 254, 243, 255, 236, 257, 239, 256 244, 256, 238, 259, 240, 256, 245, 260, 241, 263, 241, 259, 248, 263, 241, 264, 245, 262, 251, 265 244, 267, 248, 263, 251, 266, 247, 269, 250, 264, 253, 268, 248, 269, 251, 268, 256, 271, 249, 272 254, 271, 256, 272, 252, 276, 257, 274, 259, 275, 255, 277, 257, 275, 262, 277, 256, 278, 259, 277 263, 277, 257, 281, 263, 280, 265, 280, 260, 284, 263, 281, 268, 284, 263, 286, 266, 284, 271, 285 263, 287, 268, 287, 272, 287, 265, 289, 269, 287, 273, 290, 269, 292, 270, 290, 276, 293, 269, 293 273, 293, 280, 295, 273, 296, 276, 294, 280, 296, 275, 299, 277, 295, 282, 298, 276, 299, 278, 298 285, 302, 277, 303, 281, 301, 285, 303, 280, 306, 285, 303, 288, 306, 283, 307, 285, 304, 290, 308 285, 308, 288, 306, 291, 308, 286, 311, 291, 310, 292, 311, 289, 314, 291, 311, 295, 314, 292, 317 294, 315, 298, 315, 292, 318, 296, 317, 300, 316, 294, 320, 297, 317, 301, 319, 297, 323, 299, 320 305, 322, 297, 324, 302, 323, 308, 325, 300, 327, 305, 324, 308, 326, 302, 329, 306, 326, 310, 329 303, 329, 307, 329, 313, 332, 305, 332, 310, 332, 313, 333, 308, 335, 313, 334, 317, 336, 312, 336 313, 335, 319, 338, 313, 338, 315, 337, 320, 338, 314, 341, 318, 340, 321, 342, 317, 345, 318, 341 324, 345, 320, 347, 322, 344, 327, 346, 320, 348, 324, 346, 328, 347, 323, 350, 326, 346, 329, 350 326, 353, 327, 350, 332, 353, 326, 354, 330, 353, 335, 355, 329, 358, 333, 355, 335, 356, 331, 360 334, 356, 338, 358, 332, 360, 335, 359, 341, 361, 333, 363, 339, 362, 342, 362, 336, 366, 342, 364 345, 366, 339, 367, 342, 365, 347, 368, 340, 368, 344, 368, 348, 369, 341, 371, 347, 371, 349, 372 345, 374, 347, 372, 352, 375, 348, 376, 350, 375, 356, 376, 349, 377, 352, 377, 357, 377, 351, 380 353, 377, 358, 380, 354, 383, 354, 380, 361, 384, 354, 385, 357, 383, 364, 386, 357, 388, 361, 384 364, 387, 359, 390, 362, 385, 366, 389, 361, 390, 364, 388, 369, 392, 362, 393, 367, 392, 369, 393 365, 396, 370, 394, 372, 396, 368, 398, 370, 396, 374, 398, 369, 399, 372, 398, 376, 398, 370, 402 375, 401, 377, 401, 373, 405, 376, 402, 381, 404, 376, 407, 379, 405, 384, 406, 376, 408, 381, 407 385, 407, 378, 410, 382, 408, 386, 411, 381, 413, 383, 411, 389, 414, 382, 414, 386, 414, 392, 416 385, 417, 389, 415, 393, 417, 388, 419, 390, 416, 395, 419, 389, 420, 391, 419, 398, 422, 390, 423 394, 422, 398, 424, 393, 427, 397, 424, 401, 427, 396, 428, 398, 425, 403, 429, 397, 429, 400, 427 404, 429, 399, 432, 404, 430, 405, 432, 402, 435, 404, 432, 408, 435, 405, 437, 407, 435, 411, 436 405, 439, 409, 438, 412, 437, 407, 441, 410, 438, 414, 440, 410, 444, 411, 441, 417, 443, 410, 445 415, 444, 421, 445, 413, 448, 418, 445, 421, 447, 415, 450, 419, 446, 423, 449, 416, 450, 420, 450 426, 453, 417, 453, 423, 453, 426, 454, 421, 456, 426, 455, 429, 457, 424, 457, 426, 456, 432, 459 426, 458, 428, 458, 433, 459, 427, 462, 431, 461, 434, 462, 430, 465, 431, 462, 437, 466, 433, 468 434, 465, 440, 467, 433, 469, 437, 467, 441, 468, 435, 471, 438, 467, 442, 471, 439, 474, 440, 470 445, 474, 439, 475, 443, 474, 448, 476, 442, 478, 446, 475, 448, 477, 444, 481, 447, 477, 450, 479 445, 481, 448, 480, 454, 482, 446, 484, 451, 483, 454, 483, 449, 487, 455, 485, 458, 486, 452, 488 455, 486, 460, 489, 453, 489, 457, 488, 461, 489, 454, 492, 460, 492, 462, 493, 457, 495, 460, 493 465, 496, 461, 497, 463, 496, 468, 497, 461, 498, 465, 498, 470, 498, 464, 500, 466, 498, 471, 501 467, 504, 467, 501, 474, 504, 467, 505, 470, 504, 477, 507, 470, 509, 473, 505, 477, 508, 472, 511 475, 506, 479, 510, 473, 511, 476, 509, 482, 513, 475, 514, 480, 512, 482, 514, 478, 517, 483, 515 485, 517, 481, 518, 483, 516, 487, 519, 482, 520, 485, 519, 488, 519, 483, 523, 488, 522, 490, 522 486, 526, 488, 523, 493, 525, 489, 528, 492, 526, 497, 526, 489, 529, 494, 528, 498, 528, 491, 531 495, 528, 499, 531, 494, 534, 496, 532, 502, 535, 494, 535, 499, 535, 505, 537, 498, 538, 502, 536 505, 538, 500, 540, 503, 537, 508, 540, 502, 540, 504, 540, 511, 543, 503, 544, 507, 543, 511, 544 506, 547, 510, 545, 514, 548, 509, 549, 510, 546, 516, 550, 510, 550, 513, 548, 517, 550, 511, 553 516, 551, 518, 553, 515, 556, 517, 552, 521, 556, 518, 558, 520, 556, 524, 557, 518, 559, 522, 558 525, 558, 520, 562, 523, 559, 526, 561, 523, 565, 524, 562, 530, 564, 523, 566, 527, 565, 533, 566 526, 569, 531, 566, 534, 567, 528, 571, 532, 567, 536, 570, 529, 571, 533, 570, 539, 573, 530, 574 536, 574, 539, 575, 533, 577, 539, 576, 542, 578, 537, 578, 539, 577, 544, 580, 538, 579, 541, 579 546, 580, 540, 582, 544, 582, 547, 583, 543, 586, 544, 583, 550, 586, 546, 588, 547, 586, 553, 588 546, 590, 549, 588, 554, 589, 548, 592, 551, 588, 555, 592, 551, 595, 552, 591, 558, 595, 552, 596 556, 594, 561, 597, 555, 599, 559, 596, 561, 598, 557, 601, 560, 597, 563, 600, 558, 602, 561, 601 566, 603, 559, 605, 564, 604, 567, 604, 562, 608, 567, 606, 570, 607, 565, 609, 568, 607, 573, 609 566, 610, 570, 609, 574, 610, 567, 613, 573, 612, 575, 613, 570, 616, 573, 614, 578, 617, 573, 618 576, 617, 581, 618, 574, 619, 578, 619, 582, 619, 576, 621, 579, 619, 584, 622, 580, 624, 580, 622 587, 625, 580, 626, 583, 625, 590, 627, 583, 629, 586, 626, 590, 629, 585, 632, 587, 627, 592, 631 586, 632, 589, 630, 595, 634, 587, 635, 592, 633, 595, 635, 591, 638, 596, 635, 598, 638, 594, 639 596, 637, 600, 640, 595, 640, 598, 639, 601, 640, 596, 644, 601, 643, 602, 643, 599, 647, 601, 644 606, 646, 602, 649, 604, 647, 609, 647, 602, 650, 607, 649, 611, 648, 604, 652, 608, 649, 612, 652 607, 655, 609, 652, 615, 655, 607, 656, 612, 656, 618, 658, 610, 659, 615, 657, 618, 659, 613, 661 616, 658, 620, 661, 614, 661, 617, 661, 624, 664, 616, 664, 620, 664, 624, 665, 619, 668, 623, 666 627, 668, 622, 669, 623, 667, 629, 671, 623, 671, 625, 669, 630, 671, 624, 674, 629, 672, 631, 674 627, 677, 629, 673, 634, 677, 631, 679, 633, 676, 637, 678, 631, 680, 635, 679, 638, 679, 633, 682 636, 679, 639, 682, 636, 686, 637, 683, 642, 685, 636, 687, 640, 686, 646, 687, 639, 690, 643, 687 646, 688, 641, 692, 645, 688, 649, 690, 642, 692, 646, 691, 652, 694, 643, 695, 649, 694, 652, 695 646, 698, 652, 697, 655, 699, 649, 699, 652, 698, 657, 701, 651, 700, 654, 700, 658, 701, 652, 703 657, 703, 660, 704, 656, 706, 657, 704, 663, 707, 659, 709, 660, 707, 666, 708, 659, 710, 662, 709 667, 710, 661, 713, 663, 709, 668, 713, 664, 716, 665, 712, 671, 716, 664, 717, 668, 715, 674, 718 668, 720, 672, 716, 674, 719, 670, 722, 673, 718, 676, 721, 671, 722, 674, 721, 679, 724, 672, 726 677, 725, 679, 725, 675, 729, 680, 727, 683, 728, 678, 730, 680, 728, 685, 730, 679, 731, 683, 730 687, 730, 680, 734, 686, 733, 688, 734, 683, 737, 686, 734, 691, 737, 686, 739, 689, 738, 694, 739 686, 740, 691, 740, 695, 740, 689, 742, 692, 740, 696, 743, 692, 745, 693, 743, 700, 746, 693, 746 696, 746, 703, 748, 696, 750, 699, 747, 703, 749, 698, 752, 700, 748, 705, 752, 699, 753, 701, 751 708, 755, 700, 756, 705, 754, 708, 756, 703, 759, 708, 756, 711, 759, 707, 760, 709, 757, 713, 761 708, 761, 711, 760, 714, 761, 709, 764, 714, 763, 715, 764, 712, 768, 714, 765, 718, 767, 715, 770 717, 768, 722, 768, 715, 771, 719, 770, 723, 769, 717, 773, 721, 770, 725, 772, 720, 776, 722, 773 728, 776, 720, 777, 725, 776, 731, 778, 723, 780, 728, 778, 731, 780, 725, 782, 729, 779, 733, 782 727, 782, 730, 782, 736, 785, 728, 785, 733, 785, 737, 786, 732, 788, 736, 787, 740, 789, 735, 790 736, 788, 742, 791, 736, 791, 738, 790, 743, 792, 737, 795, 741, 793, 744, 795, 740, 798, 742, 794 747, 798, 743, 800, 745, 797, 750, 799, 744, 801, 748, 799, 751, 800, 746, 803, 749, 800, 752, 803 749, 806, 750, 803, 755, 806, 749, 808, 753, 807, 758, 808, 752, 811, 756, 808, 759, 809, 754, 813 757, 809, 761, 811, 755, 813, 759, 812, 765, 814, 756, 816, 762, 815, 765, 816, 759, 819, 765, 817 768, 819, 762, 820, 765, 819, 770, 822, 763, 821, 767, 821, 771, 822, 765, 824, 770, 824, 772, 825 768, 827, 770, 825, 776, 828, 772, 829, 773, 828, 779, 829, 772, 831, 775, 830, 780, 830, 774, 833 776, 830, 781, 834, 777, 837, 777, 833, 784, 837, 777, 838, 781, 836, 787, 839, 780, 841, 784, 837 787, 840, 783, 843, 786, 838, 789, 842, 784, 843, 787, 842, 792, 845, 785, 846, 790, 845, 792, 846 788, 850, 793, 848, 795, 849, 791, 851, 793, 849, 798, 851, 792, 852, 795, 851, 799, 851, 793, 855 799, 854, 801, 854, 796, 858, 799, 855, 804, 858, 799, 860, 802, 858, 807, 859, 799, 861, 804, 861 808, 861, 801, 863, 805, 861, 809, 864, 805, 866, 806, 864, 812, 867, 805, 867, 809, 867, 816, 869 809, 870, 812, 868, 816, 870, 811, 873, 813, 869, 818, 872, 812, 873, 814, 872, 821, 876, 813, 877 817, 875, 821, 877, 816, 880, 821, 877, 824, 880, 819, 881, 821, 878, 826, 882, 821, 882, 824, 880 827, 882, 822, 885, 827, 884, 828, 885, 825, 888, 827, 885, 831, 888, 828, 891, 830, 889, 834, 889 828, 892, 832, 891, 836, 890, 830, 894, 833, 891, 837, 893, 833, 897, 835, 894, 841, 896, 833, 898 838, 897, 844, 899, 836, 901, 841, 898, 844, 900, 838, 903, 842, 900, 846, 903, 839, 903, 843, 903 849, 906, 841, 906, 846, 906, 849, 907, 844, 909, 849, 908, 853, 910, 848, 910, 849, 909, 855, 912 849, 912, 851, 911, 856, 912, 850, 915, 854, 914, 857, 916, 853, 919, 854, 915, 860, 919, 856, 921 858, 918, 863, 920, 856, 922, 860, 920, 864, 921, 859, 924, 862, 920, 865, 924, 862, 927, 863, 924 868, 927, 862, 928, 866, 927, 871, 929, 865, 932, 869, 929, 871, 930, 867, 934, 870, 930, 874, 932 868, 934, 871, 933, 877, 935, 869, 937, 875, 936, 878, 936, 872, 940, 878, 938, 881, 940, 875, 941 878, 939, 883, 942, 876, 942, 880, 942, 884, 943, 877, 945, 883, 945, 885, 946, 881, 948, 883, 946 888, 949, 884, 950, 886, 949, 892, 950, 885, 951, 888, 951, 893, 951, 887, 954, 889, 951, 894, 954 890, 957, 890, 954, 897, 958, 890, 959, 893, 957, 900, 960, 893, 962, 897, 958, 900, 961, 895, 964 898, 959, 902, 963, 897, 964, 900, 962, 905, 966, 898, 967, 903, 966, 905, 967, 901, 970, 906, 968 908, 970, 904, 972, 906, 970, 910, 972, 905, 973, 908, 972, 912, 972, 906, 976, 911, 975, 913, 975 909, 979, 912, 976, 917, 978, 912, 981, 915, 979, 920, 980, 912, 982, 917, 981, 921, 981, 914, 984 918, 982, 922, 985, 917, 987, 919, 985, 925, 988, 918, 988, 922, 988, 928, 990, 921, 991, 925, 989 929, 991, 924, 993, 926, 990, 931, 993, 925, 994, 927, 993, 934, 996, 926, 997, 930, 996, 934, 998 929, 1001, 933, 998, 937, 1001, 932, 1002, 934, 999, 939, 1003, 933, 1003, 936, 1001, 940, 1003, 935, 1006 940, 1004, 941, 1006, 938, 1009, 940, 1006, 944, 1009, 941, 1011, 943, 1009, 947, 1010, 941, 1013, 945, 1012 948, 1011, 943, 1015, 946, 1012, 950, 1014, 946, 1018, 947, 1015, 953, 1017, 946, 1019, 951, 1018, 957, 1019 949, 1022, 954, 1019, 957, 1021, 951, 1024, 955, 1020, 959, 1023, 952, 1024, 956, 1024, 962, 1027, 953, 1027 959, 1027, 962, 1028, 957, 1030, 962, 1029, 965, 1031, 960, 1031, 962, 1030, 968, 1033, 962, 1032, 964, 1032 969, 1033, 963, 1036, 967, 1035, 970, 1036, 966, 1039, 967, 1036, 973, 1040, 969, 1042, 970, 1039, 976, 1041 969, 1043, 973, 1041, 977, 1042, 971, 1045, 974, 1041, 978, 1045, 975, 1048, 976, 1044, 981, 1048, 975, 1049 979, 1048, 984, 1050, 978, 1052, 982, 1049, 984, 1051, 980, 1055, 983, 1051, 986, 1053, 981, 1055, 984, 1054 990, 1056, 982, 1058, 987, 1057, 990, 1057, 985, 1061, 991, 1059, 994, 1060, 988, 1062, 991, 1060, 996, 1063 989, 1063, 993, 1062, 997, 1063, 990, 1066, 996, 1066, 998, 1067, 993, 1069, 996, 1067, 1001, 1070, 997, 1071 999, 1070, 1004, 1071, 997, 1072, 1001, 1072, 1006, 1072, 1000, 1074, 1002, 1072, 1007, 1075, 1003, 1078, 1003, 1075 1010, 1078, 1003, 1079, 1006, 1078, 1013, 1081, 1006, 1083, 1009, 1079, 1013, 1082, 1008, 1085, 1011, 1080, 1015, 1084 1009, 1085, 1012, 1083, 1018, 1087, 1011, 1088, 1016, 1086, 1018, 1088, 1014, 1091, 1019, 1089, 1021, 1091, 1017, 1092 1019, 1090, 1023, 1093, 1018, 1094, 1021, 1093, 1024, 1093, 1019, 1097, 1024, 1096, 1026, 1096, 1022, 1100, 1024, 1097 } Date: Tue, 17 May 1994 00:27:27 -0500 From: sw@dragonfly.wri.com (Stephen Wolfram ) To: sw@dragonfly.wri.com Subject: mpmailer 5 8 2 Host: woodlark.wri.com; PID: 9606 Total searched: 2362117 (out of 5000000) Outcomes: {3, 1678982, 144561, 19081, 2173, 442815, 62759, 11744} Rules: {{0,0,0,1} -> {1,0,1,1,0}, {0,0,1,1,0,1,1} -> {0,0,0,1}, {0,1,0,0} -> {1}, {1,0,1,0,1,1,1,0} -> {1,0,0}, {0,1,1,1} -> {0,1,0,0,0,0,1}} Initial condition: 100101101110110 History: {1, 1, 2, 1, 3, 4, 5, 4, 1, 2, 2, 1, 3, 4, 5, 2, 2, 4, 2, 5, 5 7, 7, 6, 9, 7, 6, 7, 6, 10, 9, 4, 5, 5, 9, 7, 8, 7, 1, 2, 1 1, 3, 5, 9, 7, 5, 7, 5, 10, 8, 7, 8, 4, 6, 3, 1, 3, 5, 10, 10 8, 9, 8, 11, 11, 9, 7, 4, 8, 6, 1, 3, 5, 10, 10, 8, 10, 10, 11, 11 10, 8, 7, 8, 7, 3, 3, 5, 10, 11, 10, 11, 11, 13, 13, 16, 13, 11, 13, 9 6, 4, 7, 10, 11, 10, 11, 12, 14, 14, 18, 13, 13, 17, 9, 7, 7, 10, 14, 11 11, 13, 12, 15, 17, 21, 17, 15, 21, 13, 10, 12, 16, 20, 14, 12, 15, 12, 16, 17 22, 19, 16, 23, 14, 11, 15, 16, 22, 18, 12, 15, 14, 18, 22, 23, 21, 19, 24, 18 15, 20, 21, 25, 22, 15, 19, 19, 23, 27, 26, 23, 22, 25, 21, 15, 22, 25, 26, 25 18, 22, 23, 23, 29, 31, 23, 23, 28, 25, 22, 24, 30, 30, 27, 21, 27, 29, 26, 31 34, 25, 26, 33, 31, 29, 28, 33, 33, 28, 25, 27, 31, 30, 32, 37, 28, 28, 37, 31 32, 34, 34, 37, 32, 31, 35, 34, 35, 35, 40, 31, 32, 42, 34, 35, 38, 37, 42, 37 38, 44, 38, 39, 40, 43, 37, 32, 44, 38, 36, 42, 41, 46, 43, 39, 49, 45, 41, 43 48, 44, 38, 46, 42, 38, 44, 44, 51, 50, 43, 53, 49, 44, 49, 53, 51, 48, 50, 46 42, 46, 50, 51, 53, 48, 55, 56, 49, 55, 60, 53, 53, 56, 49, 45, 50, 56, 57, 56 53, 58, 60, 52, 61, 69, 57, 58, 62, 54, 53, 55, 63, 67, 60, 58, 63, 64, 60, 62 74, 63, 61, 68, 60, 60, 60, 64, 71, 65, 60, 66, 69, 68, 69, 78, 68, 64, 73, 63 66, 70, 68, 76, 70, 64, 74, 74, 75, 79, 83, 76, 70, 79, 72, 68, 75, 73, 80, 76 69, 80, 79, 77, 84, 89, 80, 73, 85, 82, 75, 80, 80, 85, 83, 72, 86, 89, 81, 90 95, 86, 83, 91, 92, 87, 86, 87, 92, 90, 79, 87, 93, 85, 93, 101, 92, 91, 97, 95 92, 92, 92, 95, 96, 90, 94, 98, 91, 97, 108, 95, 97, 107, 100, 101, 99, 100, 105, 103 100, 105, 105, 98, 103, 114, 102, 99, 112, 105, 106, 105, 107, 115, 109, 104, 112, 113, 105, 106 120, 113, 106, 118, 112, 112, 114, 111, 124, 121, 110, 120, 121, 114, 115, 126, 122, 116, 124, 119 119, 122, 119, 127, 126, 115, 126, 127, 121, 126, 132, 126, 122, 131, 126, 122, 128, 130, 135, 135 123, 134, 136, 126, 135, 143, 133, 130, 138, 134, 131, 135, 140, 146, 143, 130, 142, 146, 134, 139 150, 140, 138, 144, 141, 142, 141, 145, 153, 152, 139, 146, 155, 147, 148, 158, 149, 147, 152, 145 150, 151, 151, 161, 160, 149, 156, 163, 157, 159, 167, 156, 155, 163, 153, 154, 157, 157, 169, 166 156, 167, 170, 165, 167, 178, 165, 160, 172, 165, 164, 165, 165, 177, 174, 161, 176, 181, 173, 175 187, 177, 170, 181, 177, 177, 176, 172, 185, 185, 169, 181, 188, 181, 185, 194, 187, 183, 189, 184 186, 188, 180, 189, 193, 180, 190, 196, 190, 195, 203, 193, 192, 200, 193, 194, 197, 193, 199, 202 191, 202, 207, 197, 203, 214, 202, 200, 208, 203, 204, 205, 203, 211, 211, 198, 210, 218, 205, 208 223, 214, 211, 216, 213, 216, 214, 210, 222, 224, 209, 218, 227, 218, 218, 233, 226, 225, 229, 221 227, 227, 220, 229, 233, 220, 227, 234, 227, 229, 241, 233, 234, 242, 230, 233, 236, 232, 241, 241 230, 240, 243, 234, 239, 253, 244, 242, 251, 243, 244, 249, 245, 257, 254, 239, 251, 255, 245, 246 261, 254, 251, 259, 253, 256, 259, 252, 267, 269, 248, 258, 266, 259, 260, 269, 264, 264, 268, 261 267, 273, 265, 276, 281, 263, 270, 278, 273, 277, 281, 272, 274, 279, 271, 274, 282, 277, 286, 290 273, 282, 289, 280, 287, 297, 281, 281, 289, 284, 288, 290, 287, 299, 300, 284, 294, 305, 293, 297 309, 295, 294, 301, 297, 304, 302, 296, 310, 312, 296, 301, 315, 307, 307, 319, 307, 308, 314, 304 314, 318, 305, 318, 323, 311, 317, 324, 320, 322, 330, 317, 321, 331, 316, 323, 329, 318, 330, 335 325, 335, 337, 330, 333, 342, 330, 328, 341, 331, 333, 339, 329, 343, 348, 332, 345, 353, 340, 344 354, 347, 344, 351, 344, 347, 351, 339, 355, 364, 344, 355, 365, 354, 358, 366, 362, 364, 364, 355 360, 365, 354, 362, 374, 359, 365, 376, 366, 373, 381, 370, 377, 382, 366, 370, 378, 372, 377, 383 371, 378, 387, 376, 386, 399, 383, 388, 394, 380, 385, 390, 387, 398, 396, 382, 390, 400, 391, 393 409, 398, 399, 408, 393, 402, 405, 396, 411, 413, 394, 400, 412, 408, 408, 419, 411, 413, 420, 403 416, 425, 409, 423, 427, 410, 417, 424, 423, 429, 432, 423, 426, 435, 420, 424, 438, 426, 435, 440 424, 435, 438, 431, 441, 448, 434, 436, 448, 439, 440, 449, 439, 449, 454, 434, 449, 459, 444, 453 461, 449, 453, 460, 454, 461, 463, 454, 463, 471, 451, 458, 472, 460, 466, 474, 462, 470, 474, 463 474, 480, 466, 473, 485, 472, 474, 484, 475, 482, 490, 472, 484, 495, 476, 487, 494, 483, 492, 498 490, 497, 499, 489, 497, 508, 488, 492, 507, 491, 499, 507, 497, 511, 513, 500, 510, 516, 503, 507 522, 510, 508, 519, 505, 514, 523, 507, 525, 534, 514, 526, 531, 522, 526, 536, 528, 530, 535, 519 528, 540, 523, 534, 547, 530, 539, 544, 537, 547, 551, 539, 545, 554, 535, 538, 554, 545, 550, 560 545, 556, 562, 548, 564, 574, 554, 560, 570, 555, 556, 567, 562, 571, 575, 559, 571, 581, 565, 574 587, 570, 575, 583, 570, 578, 582, 573, 585, 593, 575, 581, 595, 587, 591, 603, 586, 594, 601, 582 595, 604, 589, 600, 608, 594, 599, 609, 605, 613, 619, 600, 610, 622, 599, 606, 619, 607, 617, 621 609, 621, 624, 617, 628, 639, 618, 621, 639, 623, 624, 634, 624, 637, 638, 620, 637, 645, 632, 643 655, 639, 640, 654, 641, 646, 652, 638, 653, 660, 637, 648, 659, 649, 660, 668, 654, 662, 670, 656 662, 674, 656, 665, 677, 660, 667, 674, 665, 679, 685, 666, 679, 692, 672, 677, 691, 679, 684, 693 680, 691, 694, 679, 695, 707, 683, 691, 707, 691, 696, 705, 697, 708, 710, 694, 708, 717, 696, 706 723, 705, 709, 722, 708, 717, 723, 710, 725, 732, 712, 723, 734, 720, 725, 739, 724, 732, 742, 722 733, 745, 728, 740, 748, 733, 742, 749, 738, 748, 757, 738, 748, 764, 739, 745, 762, 751, 759, 763 751, 765, 767, 752, 767, 781, 758, 763, 781, 763, 764, 779, 771, 784, 785, 766, 784, 791, 771, 781 798, 780, 781, 795, 780, 786, 796, 785, 801, 809, 784, 797, 808, 794, 802, 813, 798, 805, 813, 794 804, 819, 805, 816, 826, 808, 817, 828, 815, 829, 835, 814, 824, 836, 814, 818, 835, 826, 834, 841 826, 840, 846, 829, 847, 861, 832, 838, 855, 839, 841, 850, 844, 858, 859, 841, 859, 871, 851, 863 881, 858, 859, 874, 861, 869, 871, 859, 876, 881, 860, 873, 888, 874, 882, 897, 876, 882, 894, 875 887, 898, 877, 890, 899, 884, 896, 903, 892, 906, 916, 894, 902, 921, 897, 904, 918, 902, 912, 918 905, 923, 924, 908, 925, 939, 914, 916, 939, 922, 923, 935, 922, 937, 940, 919, 941, 951, 926, 940 958, 940, 941, 955, 943, 949, 955, 939, 958, 968, 940, 957, 970, 950, 961, 977, 962, 970, 977, 960 968, 978, 961, 972, 986, 966, 976, 987, 969, 985, 999, 976, 988, 1004, 979, 986, 998, 989, 997, 1003 987, 1001, 1008, 986, 1005, 1026, 997, 1005, 1024, 1004, 1008, 1017, 1012, 1028, 1025, 1005, 1022, 1033, 1010, 1019 1044, 1023, 1024, 1042, 1024, 1034, 1041, 1027, 1049, 1054, 1025, 1039, 1054, 1039, 1043, 1060, 1043, 1048, 1062, 1041 1055, 1070, 1049, 1067, 1074, 1050, 1063, 1073, 1062, 1075, 1082, 1061, 1068, 1086, 1065, 1069, 1088, 1075, 1087, 1095 1071, 1091, 1097, 1078, 1096, 1110, 1082, 1085, 1106, 1093, 1093, 1105, 1096, 1112, 1116, 1088, 1113, 1128, 1100, 1115 1132, 1109, 1111, 1125, 1116, 1125, 1127, 1115, 1133, 1142, 1114, 1128, 1149, 1128, 1136, 1152, 1131, 1140, 1148, 1131 1145, 1154, 1135, 1150, 1163, 1144, 1153, 1167, 1149, 1161, 1175, 1148, 1162, 1180, 1153, 1164, 1175, 1161, 1176, 1182 1167, 1185, 1190, 1171, 1183, 1203, 1174, 1178, 1201, 1180, 1186, 1195, 1182, 1204, 1205, 1183, 1206, 1218, 1192, 1200 1225, 1206, 1203, 1220, 1203, 1213, 1220, 1199, 1226, 1237, 1205, 1226, 1240, 1220, 1228, 1245, 1232, 1237, 1244, 1224 1236, 1249, 1224, 1241, 1257, 1231, 1247, 1260, 1242, 1258, 1269, 1249, 1258, 1272, 1247, 1253, 1271, 1257, 1266, 1276 1253, 1273, 1285, 1259, 1280, 1301, 1272, 1281, 1295, 1277, 1281, 1292, 1283, 1299, 1301, 1274, 1295, 1313, 1284, 1296 1322, 1299, 1303, 1315, 1300, 1313, 1316, 1301, 1322, 1331, 1299, 1312, 1335, 1317, 1321, 1342, 1322, 1331, 1342, 1318 1338, 1350, 1325, 1344, 1355, 1330, 1339, 1355, 1342, 1353, 1366, 1343, 1354, 1372, 1344, 1355, 1371, 1352, 1368, 1375 1353, 1372, 1379, 1360, 1375, 1395, 1368, 1371, 1394, 1377, 1381, 1394, 1376, 1398, 1402, 1372, 1397, 1412, 1385, 1397 1418, 1398, 1398, 1415, 1403, 1414, 1419, 1397, 1422, 1434, 1398, 1415, 1435, 1414, 1423, 1438, 1421, 1431, 1439, 1422 1437, 1450, 1424, 1440, 1459, 1433, 1442, 1457, 1439, 1454, 1464, 1439, 1455, 1471, 1446, 1459, 1474, 1456, 1468, 1481 1459, 1475, 1484, 1460, 1478, 1497, 1465, 1473, 1493, 1474, 1485, 1494, 1479, 1501, 1506, 1481, 1499, 1517, 1487, 1497 1522, 1499, 1501, 1515, 1498, 1515, 1520, 1498, 1526, 1539, 1506, 1521, 1542, 1521, 1525, 1545, 1527, 1536, 1544, 1519 1539, 1553, 1524, 1545, 1562, 1536, 1549, 1563, 1547, 1560, 1571, 1548, 1561, 1578, 1545, 1557, 1577, 1557, 1572, 1584 1561, 1581, 1590, 1567, 1585, 1604, 1575, 1583, 1603, 1580, 1585, 1600, 1584, 1606, 1613, 1582, 1605, 1623, 1594, 1607 1628, 1607, 1611, 1625, 1606, 1619, 1627, 1605, 1630, 1646, 1608, 1624, 1648, 1628, 1635, 1650, 1633, 1645, 1652, 1627 1646, 1662, 1634, 1652, 1671, 1643, 1652, 1672, 1656, 1671, 1681, 1655, 1672, 1687, 1655, 1667, 1687, 1667, 1679, 1692 1668, 1685, 1698, 1677, 1696, 1716, 1682, 1692, 1712, 1689, 1697, 1709, 1693, 1714, 1719, 1689, 1711, 1732, 1706, 1718 1741, 1717, 1721, 1739, 1718, 1735, 1740, 1716, 1741, 1753, 1718, 1732, 1756, 1738, 1745, 1763, 1743, 1755, 1766, 1739 1761, 1777, 1743, 1762, 1780, 1754, 1764, 1778, 1764, 1780, 1790, 1765, 1782, 1802, 1770, 1784, 1805, 1780, 1792, 1806 1784, 1803, 1808, 1786, 1806, 1823, 1793, 1803, 1827, 1804, 1812, 1828, 1806, 1826, 1835, 1805, 1829, 1846, 1813, 1827 1849, 1828, 1835, 1849, 1830, 1847, 1856, 1831, 1854, 1873, 1836, 1853, 1874, 1849, 1858, 1875, 1857, 1873, 1879, 1853 1874, 1890, 1860, 1875, 1899, 1872, 1881, 1898, 1877, 1894, 1906, 1878, 1899, 1917, 1880, 1896, 1917, 1897, 1909, 1922 1901, 1918, 1927, 1901, 1923, 1945, 1908, 1922, 1944, 1915, 1926, 1943, 1927, 1949, 1953, 1925, 1945, 1961, 1932, 1944 1971, 1945, 1950, 1968, 1942, 1961, 1974, 1948, 1975, 1991, 1953, 1970, 1989, 1971, 1978, 1995, 1974, 1986, 1998, 1966 1989, 2012, 1978, 1999, 2019, 1989, 2001, 2015, 2002, 2020, 2026, 1999, 2015, 2034, 1999, 2010, 2038, 2015, 2027, 2044 2017, 2038, 2048, 2024, 2049, 2066, 2028, 2039, 2063, 2039, 2043, 2061, 2043, 2062, 2073, 2041, 2067, 2088, 2055, 2074 2094, 2064, 2072, 2089, 2070, 2086, 2092, 2068, 2090, 2108, 2074, 2088, 2114, 2092, 2103, 2122, 2093, 2111, 2122, 2093 2115, 2131, 2098, 2114, 2136, 2113, 2121, 2138, 2121, 2139, 2152, 2117, 2141, 2164, 2124, 2141, 2161, 2136, 2149, 2162 2144, 2164, 2169, 2147, 2168, 2189, 2152, 2163, 2193, 2163, 2171, 2188, 2166, 2189, 2194, 2166, 2192, 2207, 2176, 2192 2218, 2193, 2197, 2218, 2192, 2207, 2220, 2190, 2219, 2237, 2197, 2218, 2236, 2213, 2227, 2244, 2224, 2240, 2250, 2221 2237, 2259, 2225, 2242, 2266, 2235, 2249, 2263, 2242, 2266, 2276, 2247, 2269, 2289, 2251, 2261, 2289, 2268, 2276, 2292 2266, 2287, 2297, 2266, 2296, 2319, 2278, 2296, 2319, 2290, 2298, 2316, 2302, 2321, 2325, 2294, 2318, 2337, 2300, 2318 2347, 2315, 2326, 2346, 2320, 2339, 2349, 2326, 2350, 2364, 2326, 2342, 2367, 2344, 2352, 2373, 2345, 2363, 2380, 2344 2369, 2392, 2358, 2380, 2395, 2367, 2379, 2395, 2378, 2396, 2407, 2373, 2393, 2419, 2378, 2392, 2421, 2396, 2411, 2422 2398, 2422, 2428, 2403, 2427, 2448, 2407, 2417, 2449, 2422, 2426, 2448, 2427, 2450, 2458, 2423, 2455, 2473, 2436, 2456 2480, 2449, 2453, 2476, 2455, 2469, 2481, 2455, 2481, 2499, 2458, 2479, 2502, 2474, 2489, 2507, 2480, 2497, 2509, 2480 2499, 2521, 2489, 2505, 2529, 2502, 2514, 2532, 2506, 2530, 2543, 2506, 2530, 2553, 2514, 2528, 2552, 2530, 2541, 2557 2536, 2558, 2566, 2534, 2562, 2586, 2541, 2555, 2584, 2554, 2563, 2579, 2561, 2585, 2590, 2562, 2589, 2608, 2570, 2587 2619, 2587, 2591, 2613, 2587, 2605, 2614, 2586, 2617, 2633, 2595, 2618, 2640, 2613, 2624, 2648, 2621, 2635, 2649, 2615 2637, 2658, 2621, 2642, 2663, 2634, 2653, 2667, 2644, 2668, 2682, 2650, 2667, 2693, 2651, 2663, 2691, 2666, 2679, 2692 2666, 2694, 2702, 2670, 2701, 2726, 2684, 2696, 2726, 2696, 2700, 2721, 2702, 2725, 2730, 2694, 2726, 2746, 2705, 2727 2757, 2725, 2733, 2754, 2730, 2746, 2756, 2730, 2758, 2775, 2729, 2751, 2778, 2749, 2763, 2786, 2758, 2776, 2790, 2757 2779, 2800, 2766, 2787, 2808, 2775, 2788, 2808, 2784, 2808, 2824, 2786, 2808, 2834, 2793, 2808, 2832, 2809, 2824, 2837 2809, 2833, 2844, 2812, 2840, 2868, 2821, 2834, 2867, 2838, 2845, 2861, 2843, 2869, 2873, 2837, 2868, 2890, 2850, 2869 2901, 2867, 2871, 2898, 2874, 2892, 2901, 2872, 2904, 2919, 2874, 2896, 2923, 2894, 2905, 2929, 2900, 2915, 2933, 2902 2925, 2947, 2908, 2931, 2952, 2919, 2935, 2952, 2928, 2951, 2965, 2928, 2949, 2978, 2940, 2954, 2980, 2954, 2969, 2986 2956, 2984, 2992, 2958, 2986, 3010, 2966, 2977, 3010, 2983, 2990, 3009, 2988, 3014, 3022, 2984, 3018, 3040, 2994, 3014 3045, 3013, 3018, 3039, 3017, 3036, 3045, 3017, 3049, 3069, 3024, 3048, 3076, 3042, 3053, 3078, 3051, 3068, 3078, 3046 3070, 3089, 3054, 3077, 3102, 3069, 3085, 3106, 3076, 3098, 3116, 3079, 3102, 3127, 3082, 3098, 3123, 3100, 3118, 3131 3103, 3131, 3143, 3108, 3134, 3165, 3119, 3133, 3163, 3129, 3138, 3156, 3137, 3167, 3170, 3133, 3166, 3188, 3146, 3162 3199, 3166, 3170, 3194, 3165, 3185, 3196, 3165, 3201, 3219, 3169, 3195, 3223, 3194, 3205, 3229, 3203, 3218, 3232, 3196 3222, 3246, 3204, 3231, 3254, 3215, 3234, 3256, 3232, 3256, 3269, 3234, 3253, 3277, 3236, 3250, 3280, 3252, 3268, 3285 3250, 3280, 3296, 3260, 3290, 3318, 3271, 3285, 3313, 3286, 3293, 3311, 3289, 3315, 3324, 3281, 3316, 3345, 3299, 3321 3354, 3318, 3325, 3346, 3325, 3346, 3351, 3321, 3352, 3371, 3323, 3344, 3379, 3347, 3358, 3386, 3354, 3373, 3388, 3354 3383, 3402, 3359, 3383, 3408, 3374, 3386, 3409, 3383, 3404, 3424, 3385, 3410, 3439, 3394, 3415, 3438, 3406, 3425, 3441 3413, 3440, 3449, 3415, 3440, 3470, 3427, 3438, 3473, 3442, 3453, 3473, 3443, 3475, 3483, 3443, 3477, 3499, 3454, 3471 3506, 3477, 3480, 3504, 3479, 3500, 3512, 3474, 3513, 3536, 3483, 3510, 3537, 3503, 3515, 3539, 3516, 3534, 3544, 3512 3537, 3560, 3518, 3542, 3573, 3533, 3549, 3571, 3541, 3566, 3580, 3545, 3570, 3593, 3550, 3568, 3597, 3570, 3585, 3605 3570, 3596, 3612, 3572, 3604, 3634, 3585, 3603, 3630, 3598, 3612, 3630, 3609, 3639, 3646, 3606, 3634, 3662, 3616, 3634 3671, 3634, 3643, 3664, 3635, 3662, 3671, 3639, 3676, 3696, 3645, 3665, 3700, 3670, 3677, 3704, 3673, 3692, 3707, 3666 3700, 3725, 3679, 3710, 3734, 3695, 3711, 3734, 3712, 3733, 3746, 3708, 3731, 3758, 3709, 3729, 3761, 3727, 3749, 3768 3733, 3763, 3776, 3743, 3770, 3796, 3749, 3762, 3796, 3764, 3772, 3794, 3765, 3797, 3811, 3764, 3801, 3830, 3784, 3807 3835, 3801, 3808, 3831, 3806, 3827, 3837, 3800, 3835, 3861, 3807, 3831, 3867, 3833, 3847, 3869, 3840, 3862, 3873, 3838 3866, 3889, 3843, 3866, 3899, 3862, 3874, 3901, 3872, 3897, 3914, 3872, 3903, 3929, 3880, 3902, 3929, 3896, 3911, 3933 3903, 3928, 3943, 3907, 3936, 3966, 3916, 3934, 3966, 3929, 3944, 3963, 3935, 3966, 3975, 3935, 3966, 3994, 3950, 3967 4004, 3971, 3978, 4003, 3969, 3996, 4008, 3968, 4007, 4030, 3978, 4002, 4033, 4002, 4012, 4039, 4013, 4033, 4046, 4004 4036, 4062, 4012, 4039, 4069, 4029, 4046, 4067, 4041, 4067, 4081, 4046, 4072, 4099, 4049, 4068, 4103, 4069, 4084, 4105 4070, 4099, 4111, 4073, 4107, 4135, 4088, 4108, 4139, 4103, 4114, 4139, 4111, 4139, 4150, 4105, 4139, 4166, 4117, 4139 4173, 4138, 4152, 4173, 4142, 4169, 4182, 4147, 4179, 4205, 4150, 4172, 4207, 4173, 4185, 4209, 4178, 4204, 4217, 4175 4210, 4237, 4190, 4215, 4246, 4206, 4218, 4244, 4217, 4242, 4256, 4213, 4244, 4272, 4219, 4243, 4276, 4242, 4261, 4281 4248, 4275, 4288, 4252, 4283, 4312, 4257, 4276, 4312, 4274, 4288, 4312, 4283, 4315, 4326, 4282, 4316, 4343, 4297, 4319 4353, 4314, 4322, 4349, 4317, 4344, 4359, 4318, 4355, 4381, 4327, 4352, 4383, 4351, 4365, 4389, 4356, 4378, 4394, 4352 4384, 4414, 4362, 4388, 4422, 4383, 4398, 4419, 4393, 4421, 4434, 4391, 4421, 4451, 4399, 4420, 4455, 4419, 4434, 4460 4427, 4456, 4468, 4429, 4464, 4491, 4437, 4456, 4492, 4454, 4465, 4490, 4460, 4489, 4504, 4462, 4497, 4525, 4474, 4498 4532, 4493, 4504, 4528, 4496, 4522, 4535, 4495, 4531, 4560, 4509, 4533, 4566, 4531, 4545, 4573, 4538, 4564, 4577, 4533 4565, 4591, 4542, 4566, 4600, 4563, 4578, 4602, 4573, 4601, 4618, 4573, 4606, 4636, 4578, 4600, 4634, 4600, 4616, 4636 } 1011101011 Date: Fri, 20 May 1994 19:43:20 -0500 From: sw To: sw@wri.com Subject: mpmailer 3 8 2 Host: rurutu; PID: 5869 Total searched: 3663245 (out of 5000000) Outcomes: {1, 1290919, 339052, 34266, 3952, 1821649, 129516, 43891} Rules: {{0,0} -> {}, {1,1,0} -> {0,1,1,1}, {1,0,1,0,1,1,1,1} -> {1,1,0,1,0,1,1}} Initial condition: 1011101011 History: {1, 1, 2, 3, 4, 3, 3, 3, 4, 5, 5, 6, 5, 4, 2, 1, 2, 4, 5, 5, 6, 5, 4, 2, 1, 2, 4, 5, 6, 7, 7, 7, 6, 3, 3, 4, 5, 6, 7, 7, 7, 6, 3, 3, 4, 5, 6, 8, 8, 9, 9, 6, 4, 4, 5, 6, 8, 8, 9, 9, 6, 4, 4, 5, 6, 8, 9, 10, 11, 9, 8, 7, 7, 7, 8, 9, 10, 11, 9, 8, 7, 7, 7, 8, 9, 11, 12, 11, 11, 11, 9, 8, 8, 9, 11, 12, 11, 11, 11, 9, 8, 8, 9, 11, 13, 12, 13, 14, 13, 11, 11, 11, 12, 13, 12, 13, 14, 13, 11, 11, 11, 12, 13, 13, 14, 16, 16, 15, 14, 13, 13, 13, 13, 14, 16, 16, 15, 14, 13, 13, 13, 13, 15, 17, 18, 18, 18, 16, 16, 16, 15, 16, 17, 18, 18, 18, 16, 16, 16, 15, 16, 18, 19, 20, 21, 20, 19, 19, 17, 17, 18, 19, 20, 21, 20, 19, 19, 17, 17, 18, 20, 21, 23, 23, 23, 22, 20, 20, 21, 22, 22, 23, 23, 23, 22, 20, 20, 21, 22, 23, 24, 25, 26, 26, 23, 23, 24, 24, 24, 24, 25, 26, 26, 23, 23, 24, 24, 24, 25, 26, 28, 29, 27, 26, 27, 27, 27, 28, 28, 29, 29, 27, 26, 27, 27, 27, 28, 29, 30, 31, 30, 30, 30, 30, 30, 31, 31, 31, 31, 30, 30, 30, 30, 30, 31, 31, 32, 32, 32, 33, 34, 33, 33, 34, 34, 35, 35, 34, 34, 34, 33, 33, 34, 34, 35, 36, 35, 36, 37, 37, 36, 37, 37, 38, 39, 37, 37, 37, 37, 36, 37, 37, 38, 39, 38, 38, 39, 40, 40, 40, 40, 41, 42, 41, 41, 42, 42, 41, 40, 40, 41, 42, 41, 42, 43, 44, 44, 44, 43, 44, 45, 44, 45, 46, 46, 45, 44, 43, 44, 45, 44, 45, 47, 47, 47, 47, 47, 47, 48, 47, 48, 50, 50, 50, 50, 49, 48, 48, 47, 48, 50, 51, 51, 52, 52, 52, 51, 50, 51, 53, 54, 54, 55, 54, 53, 51, 50, 51, 53, 54, 55, 56, 56, 56, 55, 53, 54, 56, 57, 58, 59, 59, 59, 58, 55, 55, 56, 57, 58, 60, 60, 61, 61, 59, 58, 59, 60, 61, 63, 63, 64, 64, 61, 59, 59, 60, 61, 63, 64, 65, 66, 64, 63, 62, 63, 64, 66, 67, 68, 69, 67, 66, 65, 65, 65, 66, 67, 69, 70, 69, 69, 69, 68, 68, 69, 70, 72, 73, 72, 72, 72, 70, 69, 69, 70, 72, 74, 73, 74, 75, 74, 72, 72, 73, 75, 77, 76, 77, 78, 77, 75, 75, 75, 76, 77, 77, 78, 80, 80, 79, 78, 78, 79, 80, 80, 81, 83, 83, 82, 81, 80, 80, 80, 80, 82, 84, 85, 85, 85, 83, 83, 83, 83, 85, 87, 88, 88, 88, 86, 86, 86, 85, 86, 88, 89, 90, 91, 90, 89, 89, 88, 89, 91, 92, 93, 94, 93, 92, 92, 90, 90, 91, 93, 94, 96, 96, 96, 95, 93, 93, 94, 96, 97, 99, 99, 99, 98, 96, 96, 97, 98, 99, 100, 101, 102, 102, 99, 99, 100, 101, 102, 103, 104, 105, 105, 102, 102, 103, 103, 103, 104, 105, 107, 108, 106, 105, 106, 106, 106, 107, 108, 110, 111, 109, 108, 109, 109, 109, 110, 111, 112, 113, 112, 112, 112, 112, 112, 113, 114, 115, 116, 115, 115, 115, 115, 115, 116, 116, 117, 117, 117, 118, 119, 118, 118, 119, 119, 120, 120, 120, 121, 122, 121, 121, 122, 122, 123, 124, 123, 124, 125, 125, 124, 125, 125, 126, 127, 126, 127, 128, 128, 127, 128, 128, 129, 130, 129, 129, 130, 131, 131, 131, 131, 132, 133, 132, 132, 133, 134, 134, 134, 134, 135, 136, 135, 136, 137, 138, 138, 138, 137, 138, 139, 138, 139, 140, 141, 141, 141, 140, 141, 142, 141, 142, 144, 144, 144, 144, 144, 144, 145, 144, 145, 147, 147, 147, 147, 147, 147, 148, 147, 148, 150, 151, 151, 152, 152, 152, 151, 150, 151, 153, 154, 154, 155, 155, 155, 154, 153, 154, 156, 157, 158, 159, 159, 159, 158, 156, 157, 159, 160, 161, 162, 162, 162, 161, 159, 160, 162, 163, 164, 166, 166, 167, 167, 165, 164, 165, 166, 167, 169, 169, 170, 170, 168, 167, 168, 169, 170, 172, 173, 174, 175, 173, 172, 171, 172, 173, 175, 176, 177, 178, 176, 175, 174, 175, 176, 178, 179, 181, 182, 181, 181, 181, 180, 180, 181, 182, 184, 185, 184, 184, 184, 183, 183, 184, 185, 187, 189, 188, 189, 190, 189, 187, 187, 188, 190, 192, 191, 192, 193, 192, 190, 190, 191, 193, 195, 195, 196, 198, 198, 197, 196, 196, 197, 198, 198, 199, 201, 201, 200, 199, 199, 200, 201, 201, 203, 205, 206, 206, 206, 204, 204, 204, 204, 206, 208, 209, 209, 209, 207, 207, 207, 207, 209, 212, 213, 214, 215, 214, 213, 213, 212, 213, 215, 216, 217, 218, 217, 216, 216, 215, 216, 218, 220, 221, 223, 223, 223, 222, 220, 220, 221, 223, 224, 226, 226, 226, 225, 223, 223, 224, 226, 228, 230, 231, 232, 232, 229, 229, 230, 231, 232, 233, 234, 235, 235, 232, 232, 233, 234, 235, 237, 238, 240, 241, 239, 238, 239, 239, 239, 240, 241, 243, 244, 242, 241, 242, 242, 242, 243, 245, 247, 249, 248, 248, 248, 248, 248, 249, 250, 251, 252, 251, 251, 251, 251, 251, 252, 253, 255, 256, 256, 257, 258, 257, 257, 258, 258, 259, 259, 259, 260, 261, 260, 260, 261, 261, 262, 263, 263, 265, 267, 267, 266, 267, 267, 268, 269, 268, 269, 270, 270, 269, 270, 270, 271, 272, 272, 273, 275, 276, 276, 276, 276, 277, 278, 277, 277, 278, 279, 279, 279, 279, 280, 281, 280, 281, 282, 284, 285, 286, 285, 286, 287, 286, 287, 288, 289, 289, 289, 288, 289, 290, 289, 290, 292, 293, 294, 295, 295, 295, 296, 295, 296, 298, 298, 298, 298, 298, 298, 299, 298, 299, 301, 302, 302, 303, 304, 305, 305, 304, 305, 307, 308, 308, 309, 309, 309, 308, 307, 308, 310, 311, 312, 313, 314, 315, 315, 313, 314, 316, 317, 318, 319, 319, 319, 318, 316, 317, 319, 320, 321, 323, 323, 324, 324, 323, 323, 325, 326, 327, 329, 329, 330, 330, 328, 327, 328, 329, 330, 332, 333, 334, 335, 334, 334, 334, 335, 336, 338, 339, 340, 341, 339, 338, 337, 338, 339, 341, 342, 344, 345, 344, 344, 344, 344, 345, 347, 348, 350, 351, 350, 350, 350, 349, 349, 350, 351, 353, 355, 354, 355, 356, 356, 355, 356, 357, 359, 361, 360, 361, 362, 361, 359, 359, 360, 362, 364, 364, 365, 367, 367, 366, 365, 366, 368, 370, 370, 371, 373, 373, 372, 371, 371, 372, 373, 373, 375, 377, 378, 378, 378, 377, 378, 379, 379, 381, 383, 384, 384, 384, 382, 382, 382, 382, 384, 387, 388, 389, 390, 389, 388, 388, 388, 390, 393, 394, 395, 396, 395, 394, 394, 393, 394, 396, 398, 399, 401, 401, 401, 400, 399, 400, 402, 404, 405, 407, 407, 407, 406, 404, 404, 405, 407, 409, 411, 412, 413, 413, 410, 410, 411, 413, 415, 417, 418, 419, 419, 416, 416, 417, 418, 419, 421, 422, 424, 425, 423, 422, 423, 424, 425, 427, 428, 430, 431, 429, 428, 429, 429, 429, 430, 432, 434, 436, 435, 435, 435, 435, 435, 436, 438, 440, 442, 441, 441, 441, 441, 441, 442, 443, 445, 446, 446, 447, 448, 447, 447, 448, 449, 451, 452, 452, 453, 454, 453, 453, 454, 454, 455, 456, 456, 458, 460, 460, 459, 460, 460, 461, 462, 462, 464, 466, 466, 465, 466, 466, 467, 468, 468, 469, 471, 472, 472, 472, 472, 473, 474, 474, 475, 477, 478, 478, 478, 478, 479, 480, 479, 480, 481, 483, 484, 485, 484, 485, 486, 485, 486, 487, 489, 490, 491, 490, 491, 492, 491, 492, 494, 495, 496, 497, 497, 497, 498, 497, 498, 500, 501, 502, 503, 503, 503, 504, 503, 504, 506, 507, 507, 508, 509, 510, 510, 509, 510, 512, 513, 513, 514, 515, 516, 516, 515, 516, 518, 519, 520, 521, 522, 523, 523, 521, 522, 524, 525, 526, 527, 528, 529, 529, 527, 528, 530, 531, 532, 534, 534, 535, 535, 534, 534, 536, 537, 538, 540, 540, 541, 541, 540, 540, 542, 543, 544, 546, 547, 548, 549, 548, 548, 548, 549, 550, 552, 553, 554, 555, 554, 554, 554, 555, 556, 558, 559, 561, 562, 561, 561, 561, 561, 562, 564, 565, 567, 568, 567, 567, 567, 567, 568, 570, 571, 573, 575, 574, 575, 576, 576, 575, 576, 577, 579, 581, 580, 581, 582, 582, 581, 582, 583, 585, 587, 587, 588, 590, 590, 589, 588, 589, 591, 593, 593, 594, 596, 596, 595, 594, 595, 597, 599, 599, 601, 603, 604, 604, 604, 603, 604, 605, 605, 607, 609, 610, 610, 610, 609, 610, 611, 611, 613, 616, 617, 618, 619, 618, 617, 617, 617, 619, 622, 623, 624, 625, 624, 623, 623, 623, 625, 628, 630, 631, 633, 633, 633, 632, 631, 632, 634, 636, 637, 639, 639, 639, 638, 637, 638, 640, 642, 644, 646, 647, 648, 648, 645, 645, 646, 648, 650, 652, 653, 654, 654, 651, 651, 652, 654, 656, 659, 660, 662, 663, 661, 660, 661, 662, 663, 665, 666, 668, 669, 667, 666, 667, 668, 669, 671, 673, 675, 677, 676, 676, 676, 676, 676, 677, 679, 681, 683, 682, 682, 682, 682, 682, 683, 685, 688, 690, 690, 691, 692, 691, 691, 692, 693, 695, 696, 696, 697, 698, 697, 697, 698, 699, 701, 703, 703, 705, 707, 707, 706, 707, 707, 708, 709, 709, 711, 713, 713, 712, 713, 713, 714, 715, 716, 718, 721, 722, 722, 722, 722, 723, 724, 724, 725, 727, 728, 728, 728, 728, 729, 730, 730, 732, 734, 736, 737, 738, 737, 738, 739, 738, 739, 740, 742, 743, 744, 743, 744, 745, 744, 745, 747, 749, 751, 753, 753, 753, 754, 753, 754, 756, 757, 758, 759, 759, 759, 760, 759, 760, 762, 764, 765, 767, 768, 769, 769, 768, 769, 771, 772, 772, 773, 774, 775, 775, 774, 775, 777, 778, 779, 780, 782, 784, 785, 783, 784, 786, 787, 788, 789, 790, 791, 791, 789, 790, 792, 793, 794, 796, 797, 799, 800, 799, 799, 801, 802, 803, 805, 805, 806, 806, 805, 805, 807, 808, 809, 811, 812, 813, 814, 814, 815, 816, 817, 818, 820, 821, 822, 823, 822, 822, 822, 823, 824, 826, 827, 829, 830, 830, 831, 832, 832, 833, 835, 836, 838, 839, 838, 838, 838, 838, 839, 841, 842, 844, 846, 845, 846, 847, 848, 848, 850, 851, 853, 855, 854, 855, 856, 856, 855, 856, 857, 859, 861, 861, 862, 864, 865, 865, 865, 866, 868, 870, 870, 871, 873, 873, 872, 871, 872, 874, 876, 876, 878, 880, 881, 881, 881, 881, 883, 885, 885, 887, 889, 890, 890, 890, 889, 890, 891, 891, 893, 896, 897, 898, 899, 899, 899, 900, 900, 902, 905, 906, 907, 908, 907, 906, 906, 906, 908, 911, 913, 914, 916, 916, 916, 915, 915, 917, 920, 922, 923, 925, 925, 925, 924, 923, 924, 926, 928, 930, 932, 933, 934, 934, 932, 933, 935, 937, 939, 941, 942, 943, 943, 940, 940, 941, 943, 945, 948, 949, 951, 952, 950, 949, 950, 952, 954, 957, 958, 960, 961, 959, 958, 959, 960, 961, 963, 965, 967, 969, 968, 968, 968, 969, 970, 972, 974, 976, 978, 977, 977, 977, 977, 977, 978, 980, 983, 985, 985, 986, 987, 986, 986, 987, 989, 992, 994, 994, 995, 996, 995, 995, 996, 997, 999, 1001, 1001, 1003, 1005, 1005, 1004, 1005, 1006, 1008, 1010, 1010, 1012, 1014, 1014, 1013, 1014, 1014, 1015, 1016, 1017, 1019, 1022, 1023, 1023, 1023, 1023, 1024, 1025, 1026, 1028, 1031, 1032, 1032, 1032, 1032, 1033, 1034, 1034, 1036, 1038, 1040, 1041, 1042, 1041, 1042, 1043, 1043, 1045, 1047, 1049, 1050, 1051, 1050, 1051, 1052, 1051, 1052, 1054, 1056, 1058, 1060, 1060, 1060, 1061, 1060, 1061, 1063, 1065, 1067, 1069, 1069, 1069, 1070, 1069, 1070, 1072, 1074, 1075, 1077, 1078, 1079, 1079, 1078, 1079, 1081, 1083, 1084, 1086, 1087, 1088, 1088, 1087, 1088, 1090, 1091, 1092, 1093, 1095, 1097, 1098, 1096, 1097, 1099, 1100, 1101, 1102, 1104, 1106, 1107, 1105, 1106, 1108, 1109, 1110, 1112, 1113, 1115, 1116, 1115, 1115, 1117, 1118, 1119, 1121, 1122, 1124, 1125, 1124, 1124, 1126, 1127, 1128, 1130, 1131, 1132, 1133, 1133, 1134, 1135, 1136, 1137, 1139, 1140, 1141, 1142, 1142, 1143, 1144, 1145, 1146, 1148, 1149, 1151, 1152, 1152, 1153, 1154, 1154, 1155, 1157, 1158, 1160, 1161, 1161, 1162, 1163, 1163, 1164, 1166, 1167, 1169, 1171, 1170, 1171, 1172, 1173, 1173, 1175, 1176, 1178, 1180, 1179, 1180, 1181, 1182, 1182, 1184, 1185, 1187, 1189, 1189, 1190, 1192, 1193, 1193, 1193, 1194, 1196, 1198, 1198, 1199, 1201, 1202, 1202, 1202, 1203, 1205, 1207, 1207, 1209, 1211, 1212, 1212, 1212, 1212, 1214, 1216, 1216, 1218, 1220, 1221, 1221, 1221, 1221, 1223, 1225, 1225, 1227, 1230, 1231, 1232, 1233, 1233, 1233, 1234, 1234, 1236, 1239, 1240, 1241, 1242, 1242, 1242, 1243, 1243, 1245, 1248, 1250, 1251, 1253, 1253, 1253, 1252, 1252, 1254, 1257, 1259, 1260, 1262, 1262, 1262, 1261, 1261, 1263, 1266, 1268, 1270, 1272, 1273, 1274, 1274, 1272, 1273, 1275, 1277, 1279, 1281, 1282, 1283, 1283, 1281, 1282, 1284, 1286, 1288, 1291, 1292, 1294, 1295, 1293, 1292, 1293, 1295, 1297, 1300, 1301, 1303, 1304, 1302, 1301, 1302, 1304, 1306, 1309, 1311, 1313, 1315, 1314, 1314, 1314, 1315, 1316, 1318, 1320, 1322, 1324, 1323, 1323, 1323, 1324, 1325, 1327, 1329, 1332, 1334, 1334, 1335, 1336, 1335, 1335, 1336, 1338, 1341, 1343, 1343, 1344, 1345, 1344, 1344, 1345, 1347, 1350, 1353, 1353, 1355, 1357, 1357, 1356, 1357, 1358, 1360, 1362, 1362, 1364, 1366, 1366, 1365, 1366, 1367, 1369, 1371, 1372, 1374, 1377, 1378, 1378, 1378, 1378, 1379, 1380, 1381, 1383, 1386, 1387, 1387, 1387, 1387, 1388, 1389, 1390, 1393, 1396, 1398, 1399, 1400, 1399, 1400, 1401, 1401, 1403, 1405, 1407, 1408, 1409, 1408, 1409, 1410, 1410, 1412, 1415, 1417, 1419, 1421, 1421, 1421, 1422, 1421, 1422, 1424, 1426, 1428, 1430, 1430, 1430, 1431, 1430, 1431, 1433, 1436, 1438, 1441, 1442, 1443, 1443, 1442, 1443, 1445, 1447, 1448, 1450, 1451, 1452, 1452, 1451, 1452, 1454, 1456, 1458, 1460, 1462, 1464, 1465, 1463, 1464, 1466, 1467, 1468, 1469, 1471, 1473, 1474, 1472, 1473, 1475, 1476, 1477, 1479, 1481, 1484, 1486, 1485, 1485, 1487, 1488, 1489, 1491, 1492, 1494, 1495, 1494, 1494, 1496, 1497, 1498, 1500, 1502, 1504, 1506, 1506, 1507, 1508, 1509, 1510, 1512, 1513, 1514, 1515, 1515, 1516, 1517, 1518, 1519, 1521, 1522, 1524, 1525, 1526, 1528, 1530, 1530, 1531, 1533, 1534, 1536, 1537, 1537, 1538, 1539, 1539, 1540, 1542, 1543, 1545, 1547, 1547, 1549, 1551, 1552, 1552, 1554, 1555, 1557, 1559, 1558, 1559, 1560, 1561, 1561, 1563, 1564, 1566, 1568, 1568, 1569, 1571, 1573, 1574, 1575, 1576, 1578, 1580, 1580, 1581, 1583, 1584, 1584, 1584, 1585, 1587, 1589, 1589, 1591, 1593, 1595, 1596, 1597, 1597, 1599, 1601, 1601, 1603, 1605, 1606, 1606, 1606, 1606, 1608, 1610, 1610, 1612, 1615, 1616, 1617, 1618, 1619, 1620, 1622, 1622, 1624, 1627, 1628, 1629, 1630, 1630, 1630, 1631, 1631, 1633, 1636, 1638, 1639, 1641, 1642, 1643, 1643, 1643, 1645, 1648, 1650, 1651, 1653, 1653, 1653, 1652, 1652, 1654, 1657, 1659, 1661, 1663, 1664, 1665, 1665, 1664, 1666, 1669, 1671, 1673, 1675, 1676, 1677, 1677, 1675, 1676, 1678, 1680, 1682, 1685, 1686, 1688, 1689, 1688, 1688, 1690, 1692, 1694, 1697, 1698, 1700, 1701, 1699, 1698, 1699, 1701, 1703, 1706, 1708, 1710, 1712, 1711, 1711, 1711, 1713, 1715, 1718, 1720, 1722, 1724, 1723, 1723, 1723, 1724, 1725, 1727, 1729, 1732, 1734, 1734, 1735, 1736, 1736, 1737, 1739, 1741, 1744, 1746, 1746, 1747, 1748, 1747, 1747, 1748, 1750, 1753, 1756, 1756, 1758, 1760, 1760, 1759, 1760, 1762, 1765, 1768, 1768, 1770, 1772, 1772, 1771, 1772, 1773, 1775, 1777, 1778, 1780, 1783, 1784, 1784, 1784, 1785, 1787, 1789, 1790, 1792, 1795, 1796, 1796, 1796, 1796, 1797, 1798, 1799, 1802, 1805, 1807, 1808, 1809, 1808, 1809, 1810, 1811, 1814, 1817, 1819, 1820, 1821, 1820, 1821, 1822, 1822, 1824, 1827, 1829, 1831, 1833, 1833, 1833, 1834, 1834, 1836, 1839, 1841, 1843, 1845, 1845, 1845, 1846, 1845, 1846, 1848, 1851, 1853, 1856, 1857, 1858, 1858, 1857, 1858, 1860, 1863, 1865, 1868, 1869, 1870, 1870, 1869, 1870, 1872, 1874, 1876, 1878, 1880, 1882, 1883, 1881, 1882, 1884, 1886, 1888, 1890, 1892, 1894, 1895, 1893, 1894, 1896, 1897, 1898, 1900, 1902, 1905, 1907, 1906, 1906, 1908, 1909, 1910, 1912, 1914, 1917, 1919, 1918, 1918, 1920, 1921, 1922, 1924, 1926, 1928, 1930, 1930, 1931, 1932, 1933, 1934, 1936, 1938, 1940, 1942, 1942, 1943, 1944, 1945, 1946, 1948, 1949, 1951, 1952, 1953, 1955, 1957, 1957, 1958, 1960, 1961, 1963, 1964, 1965, 1967, 1969, 1969, 1970, 1972, 1973, 1975, 1977, 1977, 1979, 1981, 1982, 1982, 1984, 1985, 1987, 1989, 1989, 1991, 1993, 1994, 1994, 1996, 1997, 1999, 2001, 2001, 2002, 2004, 2006, 2007, 2008, 2009, 2011, 2013, 2013, 2014, 2016, 2018, 2019, 2020, 2021, 2023, 2025, 2025, 2027, 2029, 2031, 2032, 2033, 2033, 2035, 2037, 2037, 2039, 2041, 2043, 2044, 2045, 2045, 2047, 2049, 2049, 2051, 2054, 2055, 2056, 2057, 2058, 2059, 2061, 2061, 2063, 2066, 2067, 2068, 2069, 2070, 2071, 2073, 2073, 2075, 2078, 2080, 2081, 2083, 2084, 2085, 2085, 2085, 2087, 2090, 2092, 2093, 2095, 2096, 2097, 2097, 2097, 2099, 2102, 2104, 2106, 2108, 2109, 2110, 2110, 2109, 2111, 2114, 2116, 2118, 2120, 2121, 2122, 2122, 2121, 2123, 2126, 2128, 2130, 2133, 2134, 2136, 2137, 2136, 2136, 2138, 2140, 2142, 2145, 2146, 2148, 2149, 2148, 2148, 2150, 2152, 2154, 2157, 2159, 2161, 2163, 2162, 2162, 2162, 2164, 2166, 2169, 2171, 2173, 2175, 2174, 2174, 2174, 2176, 2178, 2181, 2183, 2186, 2188, 2188, 2189, 2190, 2190, 2191, 2193, 2195 } ,