user=mdettweiler [2018-11-19 00:17:30] 761*2^1531702-1 is not prime. Res64: 39CF5887CD373583 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:17:31] 777*2^1531702-1 is not prime. Res64: 34D0E5889657C011 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:17:31] 801*2^1531702-1 is not prime. Res64: 53C454F61D7CA64F Time : 0.0 sec. user=mdettweiler [2018-11-19 00:17:32] 917*2^1531702-1 is not prime. Res64: 63C41E70A80F54B5 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:17:32] 923*2^1531702-1 is not prime. Res64: 3FAB23CC4B730D3B Time : 0.0 sec. user=mdettweiler [2018-11-19 00:27:58] 947*2^1531702-1 is not prime. Res64: F35E323DA9FC459C Time : 0.0 sec. user=mdettweiler [2018-11-19 00:27:58] 609*2^1531703-1 is not prime. Res64: 99C67E7D0178415A Time : 0.0 sec. user=mdettweiler [2018-11-19 00:27:59] 685*2^1531703-1 is not prime. Res64: 15F8B82E8C7B3B56 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:27:59] 783*2^1531703-1 is not prime. Res64: 526ACF444CDA424E Time : 0.0 sec. user=mdettweiler [2018-11-19 00:27:59] 811*2^1531703-1 is not prime. Res64: 1AE4CFFAF576583A Time : 0.0 sec. user=mdettweiler [2018-11-19 00:38:03] 879*2^1531703-1 is not prime. Res64: 15828716B20DE4B9 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:38:03] 949*2^1531703-1 is not prime. Res64: 300BE13F3473DE2A Time : 0.0 sec. user=mdettweiler [2018-11-19 00:38:04] 981*2^1531703-1 is not prime. Res64: 581556387CBB4C08 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:38:04] 609*2^1531704-1 is not prime. Res64: E22996354973395F Time : 0.0 sec. user=mdettweiler [2018-11-19 00:38:04] 635*2^1531704-1 is not prime. Res64: 227042104FA3AFCD Time : 0.0 sec. user=mdettweiler [2018-11-19 00:52:36] 773*2^1531704-1 is not prime. Res64: 54D65A9AC3C2CDA8 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:52:37] 863*2^1531704-1 is not prime. Res64: 8AC80F3B83559023 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:52:37] 667*2^1531705-1 is not prime. Res64: 040491627C14DF2B Time : 0.0 sec. user=mdettweiler [2018-11-19 00:52:37] 955*2^1531705-1 is not prime. Res64: A5A1F2065EE6B9BC Time : 0.0 sec. user=mdettweiler [2018-11-19 00:52:38] 627*2^1531706-1 is not prime. Res64: FC621AB97DE4A4C4 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:09:10] 701*2^1531706-1 is not prime. Res64: C0FB52FD2FFEAA41 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:09:10] 741*2^1531706-1 is not prime. Res64: 4E389B55AED933C9 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:09:11] 743*2^1531706-1 is not prime. Res64: B0EB1AED87B0C939 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:09:11] 785*2^1531706-1 is not prime. Res64: F4A8B866AE1496D9 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:09:12] 917*2^1531706-1 is not prime. Res64: 38AE18AFA0937F55 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:19:31] 935*2^1531706-1 is not prime. Res64: 87DA13BF62C443F5 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:19:31] 1001*2^1531706-1 is not prime. Res64: E58A68EF8F0B5C57 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:19:32] 609*2^1531707-1 is not prime. Res64: 6D29A3FCB7914740 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:19:32] 651*2^1531707-1 is not prime. Res64: 6C32BDE56CDA3A53 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:19:32] 753*2^1531707-1 is not prime. Res64: 3C966898D2824415 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:29:29] 805*2^1531707-1 is not prime. Res64: BCF2D4D146E23E2A Time : 0.0 sec. user=mdettweiler [2018-11-19 01:29:30] 835*2^1531707-1 is not prime. Res64: 2F7A5FB35E76D938 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:29:31] 859*2^1531707-1 is not prime. Res64: 2EB861F2A2512E9E Time : 0.0 sec. user=mdettweiler [2018-11-19 01:29:32] 615*2^1531708-1 is not prime. Res64: 4D82EFBFAD3849B0 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:29:34] 623*2^1531708-1 is not prime. Res64: 9EB1F6C2391D3037 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:44:47] 665*2^1531708-1 is not prime. Res64: 479889F0313C780B Time : 0.0 sec. user=mdettweiler [2018-11-19 01:44:47] 689*2^1531708-1 is not prime. Res64: 4124E30E9BC1450E Time : 0.0 sec. user=mdettweiler [2018-11-19 01:44:48] 863*2^1531708-1 is not prime. Res64: FAB3540CB276E637 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:44:49] 909*2^1531708-1 is not prime. Res64: A66DE61534088FD7 Time : 0.0 sec. user=mdettweiler [2018-11-19 01:44:49] 975*2^1531708-1 is not prime. Res64: 69696943CB083649 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:00:24] 993*2^1531708-1 is not prime. Res64: 0F1BD744B938AC15 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:00:25] 727*2^1531709-1 is not prime. Res64: F636BB2F65DC6B43 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:00:27] 745*2^1531709-1 is not prime. Res64: FFAF8D38E5B308BB Time : 0.0 sec. user=mdettweiler [2018-11-19 02:00:29] 787*2^1531709-1 is not prime. Res64: 05DED4F7C8E706ED Time : 0.0 sec. user=mdettweiler [2018-11-19 02:00:37] 847*2^1531709-1 is not prime. Res64: 37694DA90BAFF56D Time : 0.0 sec. user=mdettweiler [2018-11-19 02:11:05] 707*2^1531710-1 is not prime. Res64: 3DBF6E9E19D4F55A Time : 0.0 sec. user=mdettweiler [2018-11-19 02:11:06] 725*2^1531710-1 is not prime. Res64: 3E052F44D54A4C31 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:11:06] 765*2^1531710-1 is not prime. Res64: 5D6E767CA661A666 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:11:06] 825*2^1531710-1 is not prime. Res64: FEC4918F23CAD342 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:11:07] 963*2^1531710-1 is not prime. Res64: 0BBED3F0E06C0BD1 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:21:37] 971*2^1531710-1 is not prime. Res64: 37CE5C6C1927FCD8 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:21:37] 609*2^1531711-1 is not prime. Res64: 4516F6AEE84CAC7A Time : 0.0 sec. user=mdettweiler [2018-11-19 02:21:37] 723*2^1531711-1 is not prime. Res64: 31945643D02A2CFF Time : 0.0 sec. user=mdettweiler [2018-11-19 02:21:38] 741*2^1531711-1 is not prime. Res64: BA72F189F0C7CA01 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:21:39] 871*2^1531711-1 is not prime. Res64: 7C06CA09F466BF99 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:36:48] 609*2^1531712-1 is not prime. Res64: D4B2A7B35990BD96 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:36:49] 633*2^1531712-1 is not prime. Res64: 65E6CF087F653A3C Time : 0.0 sec. user=mdettweiler [2018-11-19 02:36:50] 669*2^1531712-1 is not prime. Res64: 5555BBA2364C8892 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:36:51] 713*2^1531712-1 is not prime. Res64: 2D8E3C47241C44C1 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:36:52] 719*2^1531712-1 is not prime. Res64: E78E020CA7CD308B Time : 0.0 sec. user=mdettweiler [2018-11-19 02:53:34] 843*2^1531712-1 is not prime. Res64: 01F4F7CC7CB798E9 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:53:34] 867*2^1531712-1 is not prime. Res64: 341DBB306E50B713 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:53:35] 625*2^1531713-1 is not prime. Res64: 4023AF9A2EC220B2 Time : 0.0 sec. user=mdettweiler [2018-11-19 02:53:36] 679*2^1531713-1 is not prime. Res64: CA5E98E89DE1877D Time : 0.0 sec. user=mdettweiler [2018-11-19 02:53:36] 685*2^1531713-1 is not prime. Res64: CD8274A416AE6497 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:04:52] 811*2^1531713-1 is not prime. Res64: 65661D359C900C95 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:04:53] 877*2^1531713-1 is not prime. Res64: F29B7575F4369AAB Time : 0.0 sec. user=mdettweiler [2018-11-19 03:04:55] 895*2^1531713-1 is not prime. Res64: EA7E1CD377D3097B Time : 0.0 sec. user=mdettweiler [2018-11-19 03:04:56] 921*2^1531713-1 is not prime. Res64: A161357C93A04249 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:04:57] 951*2^1531713-1 is not prime. Res64: A01CF3D7C217A691 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:15:52] 969*2^1531713-1 is not prime. Res64: 14A25EB74D705339 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:15:53] 621*2^1531714-1 is not prime. Res64: 038F30B1DE09A361 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:15:53] 645*2^1531714-1 is not prime. Res64: 72D58E5F121A05C8 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:15:53] 651*2^1531714-1 is not prime. Res64: 0BE2E4CAC3713346 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:15:54] 731*2^1531714-1 is not prime. Res64: 1AC49BA794211B40 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:30:24] 737*2^1531714-1 is not prime. Res64: DC8850C018CE3ED4 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:45:23] 887*2^1531714-1 is not prime. Res64: 6FE1DFD8FAD1B158 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:45:25] 917*2^1531714-1 is not prime. Res64: 9F0C9FCBD340C6CE Time : 0.0 sec. user=mdettweiler [2018-11-19 03:45:26] 945*2^1531714-1 is not prime. Res64: 85EE75B2C478ADE9 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:45:27] 619*2^1531715-1 is not prime. Res64: 6DF111C7D95BD43F Time : 0.0 sec. user=mdettweiler [2018-11-19 03:45:28] 633*2^1531715-1 is not prime. Res64: DFBE97CEA2807FE1 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:56:52] 643*2^1531715-1 is not prime. Res64: 9EF3E5C07CA7D341 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:56:53] 645*2^1531715-1 is not prime. Res64: B31684C92BDE09DE Time : 0.0 sec. user=mdettweiler [2018-11-19 03:56:54] 655*2^1531715-1 is not prime. Res64: 50D593F58F6B2857 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:56:55] 963*2^1531715-1 is not prime. Res64: 34AE005F031195E5 Time : 0.0 sec. user=mdettweiler [2018-11-19 03:56:56] 985*2^1531715-1 is not prime. Res64: D958CD21A10F14CF Time : 0.0 sec. user=mdettweiler [2018-11-19 04:08:30] 705*2^1531716-1 is not prime. Res64: AFC5B9A97907BDF8 Time : 0.0 sec. user=mdettweiler [2018-11-19 04:39:44] 667*2^1531717-1 is not prime. Res64: 07D42CC8A4CCA00A Time : 0.0 sec. user=mdettweiler [2018-11-19 04:39:46] 675*2^1531717-1 is not prime. Res64: 1C286A0F66281836 Time : 0.0 sec. user=mdettweiler [2018-11-19 04:39:47] 759*2^1531717-1 is not prime. Res64: 5738897F7970422F Time : 0.0 sec. user=mdettweiler [2018-11-19 04:39:48] 867*2^1531717-1 is not prime. Res64: FF4D1077F72554BD Time : 0.0 sec. user=mdettweiler [2018-11-19 04:39:48] 931*2^1531717-1 is not prime. Res64: 8261959F9D610FDC Time : 0.0 sec. user=mdettweiler [2018-11-19 04:51:36] 623*2^1531718-1 is not prime. Res64: 0DFE3C783420570C Time : 0.0 sec. user=mdettweiler [2018-11-19 04:51:36] 747*2^1531718-1 is not prime. Res64: 3A45B4D7D230BFAB Time : 0.0 sec. user=mdettweiler [2018-11-19 04:51:37] 773*2^1531718-1 is not prime. Res64: C6AFE2A96B98B42D Time : 0.0 sec. user=mdettweiler [2018-11-19 04:51:40] 795*2^1531718-1 is not prime. Res64: 380BD71E6E38AB7D Time : 0.0 sec. user=mdettweiler [2018-11-19 04:51:41] 639*2^1531719-1 is not prime. Res64: 8071A059B3D5EFE9 Time : 0.0 sec. user=mdettweiler [2018-11-19 05:35:34] 669*2^1531719-1 is not prime. Res64: 737E48A4C29FCD7A Time : 0.0 sec. user=mdettweiler [2018-11-19 05:35:34] 741*2^1531719-1 is not prime. Res64: 4D30D9D0D423C317 Time : 0.0 sec. user=mdettweiler [2018-11-19 05:35:35] 751*2^1531719-1 is not prime. Res64: 3D876ADDC74A39B1 Time : 0.0 sec. user=mdettweiler [2018-11-19 05:35:36] 891*2^1531719-1 is not prime. Res64: 82DB482F3F4218A3 Time : 0.0 sec. user=mdettweiler [2018-11-19 05:35:36] 921*2^1531719-1 is not prime. Res64: F110AC7F8F9EADCD Time : 0.0 sec. user=mdettweiler [2018-11-19 05:47:51] 991*2^1531719-1 is not prime. Res64: 0479181305F99273 Time : 0.0 sec. user=mdettweiler [2018-11-19 05:47:52] 605*2^1531720-1 is not prime. Res64: C3A0B75F82AA5681 Time : 0.0 sec. user=mdettweiler [2018-11-19 05:47:52] 717*2^1531720-1 is not prime. Res64: FBBA2593C59C385F Time : 0.0 sec. user=mdettweiler [2018-11-19 05:47:53] 755*2^1531720-1 is not prime. Res64: F3BC586BDF686E98 Time : 0.0 sec. user=mdettweiler [2018-11-19 05:47:53] 825*2^1531720-1 is not prime. Res64: 990E71642FB2F8A9 Time : 0.0 sec. user=mdettweiler [2018-11-19 06:35:49] 839*2^1531720-1 is not prime. Res64: EAD5CCB9A72726E1 Time : 0.0 sec. user=mdettweiler [2018-11-19 06:35:50] 849*2^1531720-1 is not prime. Res64: 32DF5E75F27A14A1 Time : 0.0 sec. user=mdettweiler [2018-11-19 06:35:50] 899*2^1531720-1 is not prime. Res64: F185B47148E115BE Time : 0.0 sec. user=mdettweiler [2018-11-19 06:35:50] 957*2^1531720-1 is not prime. Res64: 307BE61D70CE0BB8 Time : 0.0 sec. user=mdettweiler [2018-11-19 06:35:51] 649*2^1531721-1 is not prime. Res64: 00674F07D8CC2237 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:04:25] 715*2^1531721-1 is not prime. Res64: B0689027C9AA2CAE Time : 0.0 sec. user=mdettweiler [2018-11-19 07:04:26] 855*2^1531721-1 is not prime. Res64: BC9A437D012CC061 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:04:27] 861*2^1531721-1 is not prime. Res64: 9C65E5BE8AF22453 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:04:28] 889*2^1531721-1 is not prime. Res64: 5FC17CF12D10819F Time : 0.0 sec. user=mdettweiler [2018-11-19 07:04:30] 955*2^1531721-1 is not prime. Res64: 5F0C324C4D925FBC Time : 0.0 sec. user=mdettweiler [2018-11-19 07:38:21] 705*2^1531722-1 is not prime. Res64: D222AD6B3553AAD9 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:38:22] 711*2^1531722-1 is not prime. Res64: 2280C1C64B9F27B6 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:38:22] 717*2^1531722-1 is not prime. Res64: D094298B1F41EC05 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:38:22] 723*2^1531722-1 is not prime. Res64: 634D7EA539E646AF Time : 0.0 sec. user=mdettweiler [2018-11-19 07:38:23] 755*2^1531722-1 is not prime. Res64: D603EDD57FFA74B6 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:59:36] 765*2^1531722-1 is not prime. Res64: A4B8CB6C01F9FB64 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:59:36] 891*2^1531722-1 is not prime. Res64: 5A4E9A05A62AC681 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:59:36] 615*2^1531723-1 is not prime. Res64: B066105695349980 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:59:37] 663*2^1531723-1 is not prime. Res64: D96070AB9CDE66D7 Time : 0.0 sec. user=mdettweiler [2018-11-19 07:59:37] 771*2^1531723-1 is not prime. Res64: 4BEE06F915B66C5F Time : 0.0 sec. user=mdettweiler [2018-11-19 08:32:58] 939*2^1531723-1 is not prime. Res64: 3161614E528389A4 Time : 0.0 sec. user=mdettweiler [2018-11-19 08:32:58] 617*2^1531724-1 is not prime. Res64: B8BEF7E8AE19DA01 Time : 0.0 sec. user=mdettweiler [2018-11-19 08:32:59] 665*2^1531724-1 is not prime. Res64: 9234A18130F242FD Time : 0.0 sec. user=mdettweiler [2018-11-19 08:32:59] 675*2^1531724-1 is not prime. Res64: DA26E9612667CC6D Time : 0.0 sec. user=mdettweiler [2018-11-19 08:32:59] 677*2^1531724-1 is not prime. Res64: 91F73F0A58393EC2 Time : 0.0 sec. user=mdettweiler [2018-11-19 08:54:54] 725*2^1531724-1 is not prime. Res64: FB18B8D6BBCC6BF0 Time : 0.0 sec. user=mdettweiler [2018-11-19 08:54:54] 929*2^1531724-1 is not prime. Res64: 6E34191B794AA229 Time : 0.0 sec. user=mdettweiler [2018-11-19 08:54:55] 945*2^1531724-1 is not prime. Res64: 3A9D92A465A592A8 Time : 0.0 sec. user=mdettweiler [2018-11-19 08:54:55] 667*2^1531725-1 is not prime. Res64: F7EAC7AEB163BFE5 Time : 0.0 sec. user=mdettweiler [2018-11-19 08:54:55] 669*2^1531725-1 is not prime. Res64: 0416BDF67915435D Time : 0.0 sec. user=mdettweiler [2018-11-19 09:05:04] 783*2^1531714-1 is not prime. Res64: 954AACF906E8393E Time : 0.0 sec. user=mdettweiler [2018-11-19 09:05:06] 815*2^1531714-1 is not prime. Res64: 96361A92AD57BB0B Time : 0.0 sec. user=mdettweiler [2018-11-19 09:05:07] 833*2^1531714-1 is not prime. Res64: D86AA656AB6DBDAB Time : 0.0 sec. user=mdettweiler [2018-11-19 09:05:09] 855*2^1531714-1 is not prime. Res64: 62E279FC1C60491F Time : 0.0 sec. user=mdettweiler [2018-11-19 09:27:24] 679*2^1531725-1 is not prime. Res64: 9E3259D277AE91F7 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:27:25] 735*2^1531725-1 is not prime. Res64: 613047984CA843DC Time : 0.0 sec. user=mdettweiler [2018-11-19 09:27:25] 805*2^1531725-1 is not prime. Res64: E025E76A41E033F7 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:27:26] 969*2^1531725-1 is not prime. Res64: A6709AD0B68666B7 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:27:26] 979*2^1531725-1 is not prime. Res64: E49F9C22064AA454 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:43:15] 719*2^1531716-1 is not prime. Res64: 22DE451D1F52EFA8 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:43:15] 837*2^1531716-1 is not prime. Res64: 1AAE0474FCB01036 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:43:16] 909*2^1531716-1 is not prime. Res64: CF438C159F2883BA Time : 0.0 sec. user=mdettweiler [2018-11-19 09:43:16] 993*2^1531716-1 is not prime. Res64: 3B07B72839D38508 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:47:32] 651*2^1531726-1 is not prime. Res64: 68A7E7A9690AC06C Time : 0.0 sec. user=mdettweiler [2018-11-19 09:47:33] 891*2^1531726-1 is not prime. Res64: 0E9F3CFB4FC75C9F Time : 0.0 sec. user=mdettweiler [2018-11-19 09:47:33] 923*2^1531726-1 is not prime. Res64: D9069403D64E000A Time : 0.0 sec. user=mdettweiler [2018-11-19 09:47:34] 609*2^1531727-1 is not prime. Res64: 2F48FAC651A9E382 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:47:34] 829*2^1531727-1 is not prime. Res64: 4EF33E25FD834400 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:57:46] 865*2^1531727-1 is not prime. Res64: C3DC2A18864109DF Time : 0.0 sec. user=mdettweiler [2018-11-19 09:57:46] 915*2^1531727-1 is not prime. Res64: 497C1991373E5CA9 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:57:46] 605*2^1531728-1 is not prime. Res64: 4D7DDC532FFFD35A Time : 0.0 sec. user=mdettweiler [2018-11-19 09:57:47] 663*2^1531728-1 is not prime. Res64: 6F4AE8192F5D06A5 Time : 0.0 sec. user=mdettweiler [2018-11-19 09:57:47] 845*2^1531728-1 is not prime. Res64: 33F5F6EB57CEEEC3 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:19:27] 887*2^1531728-1 is not prime. Res64: 3FACF83649785EC8 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:19:28] 929*2^1531728-1 is not prime. Res64: CCEA1B8F3F1EE596 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:19:28] 741*2^1531729-1 is not prime. Res64: 5C0FE0E35E5EF2A8 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:19:28] 747*2^1531729-1 is not prime. Res64: D83BF181A74FE20B Time : 0.0 sec. user=mdettweiler [2018-11-19 10:19:29] 775*2^1531729-1 is not prime. Res64: 6C5ECEF5D1268B65 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:35:11] 811*2^1531729-1 is not prime. Res64: D226875F64FB2031 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:35:11] 835*2^1531729-1 is not prime. Res64: D39EF7468AF339E7 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:35:12] 877*2^1531729-1 is not prime. Res64: BFB3CADCD4E75BBB Time : 0.0 sec. user=mdettweiler [2018-11-19 10:35:12] 951*2^1531729-1 is not prime. Res64: D3A8598FF9116E05 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:35:12] 633*2^1531730-1 is not prime. Res64: 68853A5B6BB7D802 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:39:27] 671*2^1531730-1 is not prime. Res64: BF6B442E24B39069 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:39:27] 701*2^1531730-1 is not prime. Res64: 0FC767E31E1438FF Time : 0.0 sec. user=mdettweiler [2018-11-19 10:39:27] 747*2^1531730-1 is not prime. Res64: 316360082A39101C Time : 0.0 sec. user=mdettweiler [2018-11-19 10:39:28] 767*2^1531730-1 is not prime. Res64: AF065670D6F18C39 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:39:28] 867*2^1531730-1 is not prime. Res64: 733D6CB74C4A9D87 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:50:29] 875*2^1531730-1 is not prime. Res64: 48C5A244820B0427 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:50:30] 987*2^1531730-1 is not prime. Res64: 9072FEDD057C2E63 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:50:30] 735*2^1531731-1 is not prime. Res64: 638B91DFE93166DB Time : 0.0 sec. user=mdettweiler [2018-11-19 10:50:30] 769*2^1531731-1 is not prime. Res64: E2DFD2618A0F1E04 Time : 0.0 sec. user=mdettweiler [2018-11-19 10:50:31] 801*2^1531731-1 is not prime. Res64: 9C1E35BF4909FD49 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:11:47] 825*2^1531731-1 is not prime. Res64: 10C535460F3F3D27 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:11:48] 871*2^1531731-1 is not prime. Res64: 73F8164B63821863 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:11:48] 873*2^1531731-1 is not prime. Res64: 18F1C0EE91A674C5 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:11:49] 909*2^1531731-1 is not prime. Res64: 1FFF115804FDB03E Time : 0.0 sec. user=mdettweiler [2018-11-19 11:11:49] 921*2^1531731-1 is not prime. Res64: F73E3BBBA5BE2702 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:27:35] 949*2^1531731-1 is not prime. Res64: A2A1001D3D5077A3 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:27:35] 973*2^1531731-1 is not prime. Res64: BAFE5F663D9AAE44 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:27:36] 615*2^1531732-1 is not prime. Res64: FE2702272AC6C335 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:27:36] 665*2^1531732-1 is not prime. Res64: 5112C4DD687FE869 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:27:36] 843*2^1531732-1 is not prime. Res64: 641A9B272B1E1E9B Time : 0.0 sec. user=mdettweiler [2018-11-19 11:33:07] 869*2^1531732-1 is not prime. Res64: 973A348B925154E2 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:33:07] 873*2^1531732-1 is not prime. Res64: 7B24C991F843517C Time : 0.0 sec. user=mdettweiler [2018-11-19 11:33:07] 897*2^1531732-1 is not prime. Res64: 4AED07C2D636C081 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:33:08] 939*2^1531732-1 is not prime. Res64: 2131F91D15939696 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:33:08] 995*2^1531732-1 is not prime. Res64: 70F357A4F23DB913 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:42:14] 697*2^1531733-1 is not prime. Res64: DD81041852EBCBC8 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:42:14] 789*2^1531733-1 is not prime. Res64: 469B5848C1025D23 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:42:15] 837*2^1531733-1 is not prime. Res64: AD4CEE6039F57776 Time : 0.0 sec. user=mdettweiler [2018-11-19 11:42:15] 889*2^1531733-1 is not prime. Res64: 54E95ACC7E44059A Time : 0.0 sec. user=mdettweiler [2018-11-19 11:42:15] 925*2^1531733-1 is not prime. Res64: C507B50870A30FCF Time : 0.0 sec. user=mdettweiler [2018-11-19 12:03:33] 949*2^1531733-1 is not prime. Res64: A221BFB9999513F2 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:03:35] 681*2^1531734-1 is not prime. Res64: 8EB1858EAF651B53 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:03:37] 725*2^1531734-1 is not prime. Res64: F454003D575AF1C7 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:03:39] 807*2^1531734-1 is not prime. Res64: 2F907F55430CC3B8 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:03:39] 873*2^1531734-1 is not prime. Res64: 3BD74D3D682F9E72 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:19:27] 927*2^1531734-1 is not prime. Res64: AADAEDDEA831DFB0 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:19:27] 941*2^1531734-1 is not prime. Res64: 6F4DDDD0A4AD2C07 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:19:28] 633*2^1531735-1 is not prime. Res64: 0B78B62D68AA609C Time : 0.0 sec. user=mdettweiler [2018-11-19 12:19:29] 649*2^1531735-1 is not prime. Res64: DEFC1CCC3E69D08D Time : 0.0 sec. user=mdettweiler [2018-11-19 12:19:30] 705*2^1531735-1 is not prime. Res64: 8CDB2944ACE21BCE Time : 0.0 sec. user=mdettweiler [2018-11-19 12:24:29] 771*2^1531735-1 is not prime. Res64: CAFCB8379110C529 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:24:30] 841*2^1531735-1 is not prime. Res64: 051A828D63801D7C Time : 0.0 sec. user=mdettweiler [2018-11-19 12:24:30] 689*2^1531736-1 is not prime. Res64: 5FAD3575FFCC9A6C Time : 0.0 sec. user=mdettweiler [2018-11-19 12:24:31] 755*2^1531736-1 is not prime. Res64: C4B86EE2F28942EC Time : 0.0 sec. user=mdettweiler [2018-11-19 12:24:31] 875*2^1531736-1 is not prime. Res64: 9809D12F3B58764D Time : 0.0 sec. user=mdettweiler [2018-11-19 12:33:33] 927*2^1531736-1 is not prime. Res64: BD3B0E4A3D29DBF3 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:33:33] 661*2^1531737-1 is not prime. Res64: 283474EB4788F663 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:33:33] 681*2^1531737-1 is not prime. Res64: B6EA9F9325485F6A Time : 0.0 sec. user=mdettweiler [2018-11-19 12:33:34] 691*2^1531737-1 is not prime. Res64: 88901D9CC2B3CB7F Time : 0.0 sec. user=mdettweiler [2018-11-19 12:33:34] 727*2^1531737-1 is not prime. Res64: C1A37CB660B479A1 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:55:24] 819*2^1531737-1 is not prime. Res64: E8FE62278A9EFE62 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:55:24] 831*2^1531737-1 is not prime. Res64: 2FD11BEE979C0415 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:55:25] 871*2^1531737-1 is not prime. Res64: 987A6CB38B65D591 Time : 0.0 sec. user=mdettweiler [2018-11-19 12:55:25] 611*2^1531738-1 is not prime. Res64: 2A18802928DF8BCE Time : 0.0 sec. user=mdettweiler [2018-11-19 12:55:25] 791*2^1531738-1 is not prime. Res64: C45528AAE1529DD8 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:11:06] 815*2^1531738-1 is not prime. Res64: 95D38117DF72DCA7 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:11:06] 831*2^1531738-1 is not prime. Res64: 40DAFD79072A439E Time : 0.0 sec. user=mdettweiler [2018-11-19 13:11:07] 861*2^1531738-1 is not prime. Res64: 1A14C89A293F4105 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:11:07] 885*2^1531738-1 is not prime. Res64: F0AC7BCE8725049B Time : 0.0 sec. user=mdettweiler [2018-11-19 13:11:08] 615*2^1531739-1 is not prime. Res64: AC7B841F13359D67 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:16:16] 735*2^1531739-1 is not prime. Res64: 3488D5ACCB464163 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:16:16] 811*2^1531739-1 is not prime. Res64: 70215711094A340F Time : 0.0 sec. user=mdettweiler [2018-11-19 13:16:17] 825*2^1531739-1 is not prime. Res64: 8D32A4AD6F4087CF Time : 0.0 sec. user=mdettweiler [2018-11-19 13:16:17] 885*2^1531739-1 is not prime. Res64: 50A5C1D125CCD162 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:16:17] 889*2^1531739-1 is not prime. Res64: 9E2AD1B430FA251A Time : 0.0 sec. user=mdettweiler [2018-11-19 13:25:45] 909*2^1531739-1 is not prime. Res64: AA97FACD7209BB2C Time : 0.0 sec. user=mdettweiler [2018-11-19 13:25:46] 985*2^1531739-1 is not prime. Res64: 7D407D258E4306B6 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:25:46] 993*2^1531739-1 is not prime. Res64: 2E8A6F0C65CC3128 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:25:47] 669*2^1531740-1 is not prime. Res64: 7B80B0C484E44162 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:25:47] 695*2^1531740-1 is not prime. Res64: 095B88C5AF20C5DF Time : 0.0 sec. user=mdettweiler [2018-11-19 13:48:17] 707*2^1531740-1 is not prime. Res64: EAC08EDF39F14946 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:48:18] 717*2^1531740-1 is not prime. Res64: 6E184B6F30981F20 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:48:19] 857*2^1531740-1 is not prime. Res64: 4483DCD3FCDDC8F9 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:48:19] 915*2^1531740-1 is not prime. Res64: A7983639DA483EF0 Time : 0.0 sec. user=mdettweiler [2018-11-19 13:48:20] 607*2^1531741-1 is not prime. Res64: 56FBEF9B433A3400 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:04:30] 777*2^1531741-1 is not prime. Res64: 539177A0F978F83B Time : 0.0 sec. user=mdettweiler [2018-11-19 14:04:34] 799*2^1531741-1 is not prime. Res64: B9BAC6722E36F5E2 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:04:36] 861*2^1531741-1 is not prime. Res64: A789573D5715D338 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:04:40] 937*2^1531741-1 is not prime. Res64: 554FB0671D86212A Time : 0.0 sec. user=mdettweiler [2018-11-19 14:04:41] 951*2^1531741-1 is not prime. Res64: 4FBE15768520BC85 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:09:32] 615*2^1531742-1 is not prime. Res64: AFD882AA81F203A2 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:09:33] 623*2^1531742-1 is not prime. Res64: 96BBA9A575D91C24 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:09:34] 651*2^1531742-1 is not prime. Res64: DA4541D348C7C08A Time : 0.0 sec. user=mdettweiler [2018-11-19 14:09:35] 893*2^1531742-1 is not prime. Res64: FEDDA17100C040A4 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:09:36] 981*2^1531742-1 is not prime. Res64: 153DCAA98BDA203D Time : 0.0 sec. user=mdettweiler [2018-11-19 14:19:03] 1001*2^1531742-1 is not prime. Res64: 882DBDE9EEE6211A Time : 0.0 sec. user=mdettweiler [2018-11-19 14:19:04] 613*2^1531743-1 is not prime. Res64: 11819D022F29615E Time : 0.0 sec. user=mdettweiler [2018-11-19 14:19:04] 663*2^1531743-1 is not prime. Res64: B5FB4FC9ABD71637 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:19:05] 675*2^1531743-1 is not prime. Res64: 3D39AD9385C644AD Time : 0.0 sec. user=mdettweiler [2018-11-19 14:19:05] 763*2^1531743-1 is not prime. Res64: AFB06CEF7A585E99 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:40:07] 805*2^1531743-1 is not prime. Res64: D5D49E650026BCC6 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:40:08] 819*2^1531743-1 is not prime. Res64: EECD345D2D090B22 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:40:09] 849*2^1531743-1 is not prime. Res64: 1DCB940ED91851D6 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:40:10] 885*2^1531743-1 is not prime. Res64: B0C28C1791683385 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:40:11] 919*2^1531743-1 is not prime. Res64: A84C5CD8E91D7A45 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:57:14] 985*2^1531743-1 is not prime. Res64: 26D339293FA7E671 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:57:14] 605*2^1531744-1 is not prime. Res64: 6E6F02D363282616 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:57:15] 623*2^1531744-1 is not prime. Res64: F23DEF36571477C8 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:57:15] 663*2^1531744-1 is not prime. Res64: 84DCF2D65251C7B1 Time : 0.0 sec. user=mdettweiler [2018-11-19 14:57:15] 785*2^1531744-1 is not prime. Res64: 141B9730BEAD27E5 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:01:57] 947*2^1531744-1 is not prime. Res64: 86311B01D6F8F78C Time : 0.0 sec. user=mdettweiler [2018-11-19 15:01:58] 989*2^1531744-1 is not prime. Res64: 3D5E2380390C1743 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:02:00] 657*2^1531745-1 is not prime. Res64: 5C7B23099E526F7C Time : 0.0 sec. user=mdettweiler [2018-11-19 15:02:01] 679*2^1531745-1 is not prime. Res64: 3093CE22CBFA933E Time : 0.0 sec. user=mdettweiler [2018-11-19 15:02:02] 729*2^1531745-1 is not prime. Res64: 97D2BAC509CA8D65 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:12:24] 771*2^1531745-1 is not prime. Res64: EB34769012A6D6DF Time : 0.0 sec. user=mdettweiler [2018-11-19 15:12:24] 789*2^1531745-1 is not prime. Res64: FC385834BFDDE0EC Time : 0.0 sec. user=mdettweiler [2018-11-19 15:12:25] 925*2^1531745-1 is not prime. Res64: 97953324B5D89950 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:12:25] 937*2^1531745-1 is not prime. Res64: 824AF460AD35B260 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:12:26] 955*2^1531745-1 is not prime. Res64: FAA233B90EF1F9D5 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:37:54] 627*2^1531746-1 is not prime. Res64: 4A0231EF593E7E7F Time : 0.0 sec. user=mdettweiler [2018-11-19 15:37:55] 635*2^1531746-1 is not prime. Res64: 4AA37232C65B3B10 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:37:56] 641*2^1531746-1 is not prime. Res64: C91BA487F9DB5261 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:37:57] 657*2^1531746-1 is not prime. Res64: 3EDE6ACD5067853E Time : 0.0 sec. user=mdettweiler [2018-11-19 15:37:58] 671*2^1531746-1 is not prime. Res64: C2EFAA53B42203A1 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:56:50] 717*2^1531746-1 is not prime. Res64: E0BBF8F65B1BD67C Time : 0.0 sec. user=mdettweiler [2018-11-19 15:56:50] 737*2^1531746-1 is not prime. Res64: 7C3072D46D433401 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:56:50] 941*2^1531746-1 is not prime. Res64: A54AF530B813280B Time : 0.0 sec. user=mdettweiler [2018-11-19 15:56:51] 993*2^1531746-1 is not prime. Res64: F48116CB80C6E8B8 Time : 0.0 sec. user=mdettweiler [2018-11-19 15:56:51] 625*2^1531747-1 is not prime. Res64: C0F653AC1FB33142 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:02:18] 673*2^1531747-1 is not prime. Res64: 59A2E51C2B0DFBD1 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:02:19] 733*2^1531747-1 is not prime. Res64: 574C80128AEC37FC Time : 0.0 sec. user=mdettweiler [2018-11-19 16:02:20] 765*2^1531747-1 is not prime. Res64: 8E9437EBE2414A94 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:02:21] 793*2^1531747-1 is not prime. Res64: 933F8E7976B1948A Time : 0.0 sec. user=mdettweiler [2018-11-19 16:02:21] 849*2^1531747-1 is not prime. Res64: 9781C6A9811D9C58 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:11:41] 861*2^1531747-1 is not prime. Res64: 8F1C407E6FB60D04 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:11:41] 871*2^1531747-1 is not prime. Res64: 819E2F45F6E2F961 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:11:42] 961*2^1531747-1 is not prime. Res64: 91B66A2854531CE6 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:11:42] 973*2^1531747-1 is not prime. Res64: 4384596EE7B00895 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:11:42] 985*2^1531747-1 is not prime. Res64: 3AC0EAC76C2806AC Time : 0.0 sec. user=mdettweiler [2018-11-19 16:33:06] 615*2^1531748-1 is not prime. Res64: 5249E969146C446F Time : 0.0 sec. user=mdettweiler [2018-11-19 16:33:07] 833*2^1531748-1 is not prime. Res64: 0931DCC09C594A7F Time : 0.0 sec. user=mdettweiler [2018-11-19 16:33:07] 657*2^1531749-1 is not prime. Res64: C09689C4B5284FF0 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:33:07] 741*2^1531749-1 is not prime. Res64: 12CD787B125A7E79 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:33:08] 747*2^1531749-1 is not prime. Res64: 96DA2E5E1DC93558 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:50:45] 787*2^1531749-1 is not prime. Res64: 23EB9D688031B672 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:50:46] 817*2^1531749-1 is not prime. Res64: 3BDC07357D676412 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:50:46] 825*2^1531749-1 is not prime. Res64: D4B4ED82D1205F26 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:50:47] 847*2^1531749-1 is not prime. Res64: 7F07E4134D47D605 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:50:47] 895*2^1531749-1 is not prime. Res64: A1FB17E2A9FE69D4 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:56:26] 927*2^1531749-1 is not prime. Res64: 31C0F507E4393C97 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:56:26] 707*2^1531750-1 is not prime. Res64: 7B60603999DA24E7 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:56:27] 717*2^1531750-1 is not prime. Res64: 5A25428E118A3B17 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:56:27] 731*2^1531750-1 is not prime. Res64: 5AF633398F711210 Time : 0.0 sec. user=mdettweiler [2018-11-19 16:56:27] 773*2^1531750-1 is not prime. Res64: 943F5F514B31BD9C Time : 0.0 sec. user=mdettweiler [2018-11-19 17:04:52] 911*2^1531750-1 is not prime. Res64: 9EF3972E4FBD0EC5 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:04:53] 759*2^1531751-1 is not prime. Res64: 2BA61E9778EB9515 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:04:55] 895*2^1531751-1 is not prime. Res64: A2083BE2C261F0A2 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:04:56] 759*2^1531752-1 is not prime. Res64: 3E034F6894F7D43D Time : 0.0 sec. user=mdettweiler [2018-11-19 17:04:58] 815*2^1531752-1 is not prime. Res64: 20B85914F01DE775 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:25:48] 959*2^1531752-1 is not prime. Res64: 6B0DE23BD11EA448 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:25:48] 977*2^1531752-1 is not prime. Res64: 64D494C245606BC5 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:25:49] 649*2^1531753-1 is not prime. Res64: 9BDDA1C3C2379706 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:25:49] 861*2^1531753-1 is not prime. Res64: 6FDA7CB42672C78D Time : 0.0 sec. user=mdettweiler [2018-11-19 17:25:50] 951*2^1531753-1 is not prime. Res64: 9C8A628DB698A37F Time : 0.0 sec. user=mdettweiler [2018-11-19 17:43:22] 705*2^1531754-1 is not prime. Res64: E082FE46386681B0 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:43:22] 837*2^1531754-1 is not prime. Res64: F09DB2027E992DFE Time : 0.0 sec. user=mdettweiler [2018-11-19 17:43:22] 921*2^1531754-1 is not prime. Res64: BB02D9DEA91698BE Time : 0.0 sec. user=mdettweiler [2018-11-19 17:43:23] 995*2^1531754-1 is not prime. Res64: 2F6FDFF825A57AAF Time : 0.0 sec. user=mdettweiler [2018-11-19 17:43:23] 1001*2^1531754-1 is not prime. Res64: 32D0C6443696F699 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:48:51] 649*2^1531755-1 is not prime. Res64: 4489C4804226E555 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:48:51] 781*2^1531755-1 is not prime. Res64: DFD827AD8FFF72B8 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:48:51] 789*2^1531755-1 is not prime. Res64: F12DA05F2F31D4E5 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:48:52] 861*2^1531755-1 is not prime. Res64: 0D6422E555F13BC1 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:48:52] 603*2^1531756-1 is not prime. Res64: 061A962E286F592B Time : 0.0 sec. user=mdettweiler [2018-11-19 17:57:08] 615*2^1531756-1 is not prime. Res64: FE4B6B7B72CC39E6 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:57:08] 695*2^1531756-1 is not prime. Res64: 64D6DCF9BDD5F8F6 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:57:08] 723*2^1531756-1 is not prime. Res64: 69B47059F8D43267 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:57:09] 735*2^1531756-1 is not prime. Res64: 6ACCCE9D00020EC2 Time : 0.0 sec. user=mdettweiler [2018-11-19 17:57:09] 749*2^1531756-1 is not prime. Res64: 7D2EB6A7B2157C20 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:17:56] 755*2^1531756-1 is not prime. Res64: 749D7EF7D64DE580 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:17:57] 855*2^1531756-1 is not prime. Res64: 8D66564CD5B6C293 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:17:57] 857*2^1531756-1 is not prime. Res64: 36B3199B9FDE2B3F Time : 0.0 sec. user=mdettweiler [2018-11-19 18:17:57] 887*2^1531756-1 is not prime. Res64: 3FC411B39C03AC7D Time : 0.0 sec. user=mdettweiler [2018-11-19 18:17:58] 897*2^1531756-1 is not prime. Res64: 5542E0D30BD4FCA9 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:35:22] 607*2^1531757-1 is not prime. Res64: 5886B4D84BA6322C Time : 0.0 sec. user=mdettweiler [2018-11-19 18:35:23] 777*2^1531757-1 is not prime. Res64: 336D391F7F0C03A6 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:35:23] 837*2^1531757-1 is not prime. Res64: AFDC29C202D14F43 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:35:25] 635*2^1531758-1 is not prime. Res64: 80FC1B6D2D94F027 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:35:25] 671*2^1531758-1 is not prime. Res64: BDE164E63A43D3B9 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:40:43] 747*2^1531758-1 is not prime. Res64: 3BB7664AD30EAB06 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:40:44] 777*2^1531758-1 is not prime. Res64: 71EBE4A3C126BAB0 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:40:44] 833*2^1531758-1 is not prime. Res64: 434138BDA05B857E Time : 0.0 sec. user=mdettweiler [2018-11-19 18:40:44] 769*2^1531759-1 is not prime. Res64: 2B16D4006F63EDD6 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:40:44] 771*2^1531759-1 is not prime. Res64: 0DDCF5E572071F8A Time : 0.0 sec. user=mdettweiler [2018-11-19 18:48:59] 789*2^1531759-1 is not prime. Res64: CFB9309F1FDDFB5E Time : 0.0 sec. user=mdettweiler [2018-11-19 18:48:59] 793*2^1531759-1 is not prime. Res64: BE584F24CFBD0CC8 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:49:00] 859*2^1531759-1 is not prime. Res64: 9606020C368857C4 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:49:00] 961*2^1531759-1 is not prime. Res64: AA0D759ECC6D97F0 Time : 0.0 sec. user=mdettweiler [2018-11-19 18:49:00] 999*2^1531759-1 is not prime. Res64: B372588355425B82 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:10:42] 777*2^1531760-1 is not prime. Res64: 0B6255E2524D83F1 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:10:42] 827*2^1531760-1 is not prime. Res64: DEFBEEB56CF55F07 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:10:42] 875*2^1531760-1 is not prime. Res64: 04F0C56B2E9C4607 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:10:43] 893*2^1531760-1 is not prime. Res64: 52025790796ADCB9 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:10:43] 935*2^1531760-1 is not prime. Res64: CDD3031D439319E7 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:28:43] 607*2^1531761-1 is not prime. Res64: 47604042AB6234FF Time : 0.0 sec. user=mdettweiler [2018-11-19 19:28:43] 639*2^1531761-1 is not prime. Res64: A76CC5A6F7B73102 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:28:44] 651*2^1531761-1 is not prime. Res64: 13BBA50630EF3747 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:28:44] 657*2^1531761-1 is not prime. Res64: ECB5ACF90F9CA61B Time : 0.0 sec. user=mdettweiler [2018-11-19 19:28:44] 741*2^1531761-1 is not prime. Res64: CFBAD8B8C6F8EAF4 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:33:17] 805*2^1531761-1 is not prime. Res64: 49CB4E6562C48EB5 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:33:17] 849*2^1531761-1 is not prime. Res64: 0C9D409EA2C09590 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:33:18] 889*2^1531761-1 is not prime. Res64: FDD6C38B2D2E6420 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:33:18] 975*2^1531761-1 is not prime. Res64: 20E16EAA7BA4714D Time : 0.0 sec. user=mdettweiler [2018-11-19 19:33:18] 621*2^1531762-1 is not prime. Res64: 7697B9A98AD0B492 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:41:51] 635*2^1531762-1 is not prime. Res64: 104C16E7A8E347D9 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:41:53] 645*2^1531762-1 is not prime. Res64: 15422C783C8B1672 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:41:53] 701*2^1531762-1 is not prime. Res64: 042047F9BADBBA97 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:41:53] 825*2^1531762-1 is not prime. Res64: E9E8FF7C4CCB04E7 Time : 0.0 sec. user=mdettweiler [2018-11-19 19:41:53] 923*2^1531762-1 is not prime. Res64: A227C224D026C37C Time : 0.0 sec. user=mdettweiler [2018-11-19 20:02:57] 675*2^1531763-1 is not prime. Res64: F31243CF902C90AB Time : 0.0 sec. user=mdettweiler [2018-11-19 20:02:59] 685*2^1531763-1 is not prime. Res64: B1555683CD0D38BD Time : 0.0 sec. user=mdettweiler [2018-11-19 20:03:00] 943*2^1531763-1 is not prime. Res64: BC66E69344097865 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:03:02] 615*2^1531764-1 is not prime. Res64: 4409077300C03D91 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:03:04] 665*2^1531764-1 is not prime. Res64: 850A9BE5A8ED67D8 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:21:07] 767*2^1531764-1 is not prime. Res64: 61E5626D6B65C728 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:21:07] 863*2^1531764-1 is not prime. Res64: D69CD1257B415260 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:21:08] 893*2^1531764-1 is not prime. Res64: 92AB3F5E33BD71F6 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:21:08] 935*2^1531764-1 is not prime. Res64: 0E470D3FEA5E45EE Time : 0.0 sec. user=mdettweiler [2018-11-19 20:21:08] 993*2^1531764-1 is not prime. Res64: 0DC6666CBDD39DFB Time : 0.0 sec. user=mdettweiler [2018-11-19 20:26:56] 607*2^1531765-1 is not prime. Res64: ED8F3A7438B1805D Time : 0.0 sec. user=mdettweiler [2018-11-19 20:26:58] 619*2^1531765-1 is not prime. Res64: C1D03A84C8094B2E Time : 0.0 sec. user=mdettweiler [2018-11-19 20:26:59] 651*2^1531765-1 is not prime. Res64: B8C57A3DB374C196 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:26:59] 661*2^1531765-1 is not prime. Res64: EB6146E4181E8BCD Time : 0.0 sec. user=mdettweiler [2018-11-19 20:27:00] 741*2^1531765-1 is not prime. Res64: 1EC2B43EBB8DA98B Time : 0.0 sec. user=mdettweiler [2018-11-19 20:36:28] 939*2^1531765-1 is not prime. Res64: DBC8B458962BB1D9 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:36:28] 957*2^1531765-1 is not prime. Res64: BBAA250F7FDE6921 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:36:28] 975*2^1531765-1 is not prime. Res64: 21BBDD5024DF1C16 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:36:29] 641*2^1531766-1 is not prime. Res64: C20EDAB4AD727765 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:36:29] 711*2^1531766-1 is not prime. Res64: 3FB76B170406D9FA Time : 0.0 sec. user=mdettweiler [2018-11-19 20:58:54] 713*2^1531766-1 is not prime. Res64: B4890DD9491E742D Time : 0.0 sec. user=mdettweiler [2018-11-19 20:58:54] 857*2^1531766-1 is not prime. Res64: D3F44811F46FE9F6 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:58:54] 987*2^1531766-1 is not prime. Res64: 21C8F8A6A3FD80BD Time : 0.0 sec. user=mdettweiler [2018-11-19 20:58:54] 1001*2^1531766-1 is not prime. Res64: E96F34E4D8AD0EE2 Time : 0.0 sec. user=mdettweiler [2018-11-19 20:58:55] 781*2^1531767-1 is not prime. Res64: 223B04241433912E Time : 0.0 sec. user=mdettweiler [2018-11-19 21:20:02] 831*2^1531767-1 is not prime. Res64: 0C6106E8E8B1CE97 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:20:02] 919*2^1531767-1 is not prime. Res64: DA893E42DAE7B655 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:20:02] 945*2^1531767-1 is not prime. Res64: 0C38CEC89933187E Time : 0.0 sec. user=mdettweiler [2018-11-19 21:20:03] 949*2^1531767-1 is not prime. Res64: 98C821DB1CEA6068 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:20:03] 629*2^1531768-1 is not prime. Res64: 9A2B953F46B1934E Time : 0.0 sec. user=mdettweiler [2018-11-19 21:21:59] 635*2^1531768-1 is not prime. Res64: 991124DF17A8AFB9 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:22:00] 657*2^1531768-1 is not prime. Res64: 883A927F673597FE Time : 0.0 sec. user=mdettweiler [2018-11-19 21:22:00] 677*2^1531768-1 is not prime. Res64: DDF445C47D6515B5 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:22:00] 687*2^1531768-1 is not prime. Res64: 95C2D0772518DEA9 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:22:01] 705*2^1531768-1 is not prime. Res64: 3F23976433013476 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:29:57] 707*2^1531768-1 is not prime. Res64: 45C2248D7D3D1425 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:29:57] 765*2^1531768-1 is not prime. Res64: 8BE83A8D0F236019 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:29:58] 797*2^1531768-1 is not prime. Res64: BD5C314B97E96B21 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:29:58] 827*2^1531768-1 is not prime. Res64: 321F5F49E124AC5A Time : 0.0 sec. user=mdettweiler [2018-11-19 21:29:58] 833*2^1531768-1 is not prime. Res64: 018E47D016CCC66C Time : 0.0 sec. user=mdettweiler [2018-11-19 21:53:30] 855*2^1531768-1 is not prime. Res64: 3BBADF931B319CF7 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:53:30] 993*2^1531768-1 is not prime. Res64: 9488737F335986D1 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:53:31] 619*2^1531769-1 is not prime. Res64: 22A9D55C696DA77F Time : 0.0 sec. user=mdettweiler [2018-11-19 21:53:31] 657*2^1531769-1 is not prime. Res64: 5F133F4F554BC3D8 Time : 0.0 sec. user=mdettweiler [2018-11-19 21:53:32] 685*2^1531769-1 is not prime. Res64: BD568113056DB3DC Time : 0.0 sec. user=mdettweiler [2018-11-19 22:14:43] 829*2^1531769-1 is not prime. Res64: F06CD62856643ED0 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:14:43] 831*2^1531769-1 is not prime. Res64: 9D04B9761928DC32 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:14:44] 861*2^1531769-1 is not prime. Res64: 2EE7A3E2EA42CCF6 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:14:45] 879*2^1531769-1 is not prime. Res64: 8CB85536098507E0 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:14:47] 641*2^1531770-1 is not prime. Res64: E11469698DE9B049 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:16:48] 801*2^1531770-1 is not prime. Res64: A6B2CDF11AD414D3 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:16:48] 945*2^1531770-1 is not prime. Res64: AFDCA17A5BC6AE91 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:16:48] 1001*2^1531770-1 is not prime. Res64: 01E20E1DE185A555 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:16:50] 615*2^1531771-1 is not prime. Res64: 9BDE2804DF784CC3 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:16:51] 645*2^1531771-1 is not prime. Res64: 7ED0CBFFA73BC411 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:25:20] 793*2^1531771-1 is not prime. Res64: 1C8346FB6EFC933F Time : 0.0 sec. user=mdettweiler [2018-11-19 22:25:20] 859*2^1531771-1 is not prime. Res64: 6BB0A18D2FA2CEA8 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:25:20] 885*2^1531771-1 is not prime. Res64: 87889ED04214D227 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:25:21] 993*2^1531771-1 is not prime. Res64: 93AF95EC9196F933 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:25:21] 605*2^1531772-1 is not prime. Res64: 23CB545DDC1FBD13 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:47:30] 623*2^1531772-1 is not prime. Res64: 9D7EF6C5FFF784E5 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:47:30] 719*2^1531772-1 is not prime. Res64: 2EED511B63D43E55 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:47:31] 885*2^1531772-1 is not prime. Res64: B136D2B01AB41CB6 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:47:31] 699*2^1531773-1 is not prime. Res64: 34059D30848854F2 Time : 0.0 sec. user=mdettweiler [2018-11-19 22:47:31] 745*2^1531773-1 is not prime. Res64: B8752BBBA45027A2 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:08:05] 787*2^1531773-1 is not prime. Res64: B58DFCE25F926C25 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:08:05] 829*2^1531773-1 is not prime. Res64: 3FE0CC45F3E671A1 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:08:06] 885*2^1531773-1 is not prime. Res64: 175E596C98EC2815 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:08:06] 891*2^1531773-1 is not prime. Res64: C6CF216283C1AB15 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:08:06] 901*2^1531773-1 is not prime. Res64: 34FF045BB1593464 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:10:24] 915*2^1531773-1 is not prime. Res64: F61AC68FA0563065 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:10:24] 747*2^1531774-1 is not prime. Res64: 8CFF2DA723A5E7E8 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:10:24] 755*2^1531774-1 is not prime. Res64: 87F670E5BBD08136 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:10:25] 855*2^1531774-1 is not prime. Res64: C0912D0064609D0A Time : 0.0 sec. user=mdettweiler [2018-11-19 23:10:25] 983*2^1531774-1 is not prime. Res64: B51C16BFC7AFC534 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:18:56] 651*2^1531775-1 is not prime. Res64: 1341630C8FAD5601 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:18:56] 759*2^1531775-1 is not prime. Res64: 80AAB7736E4C6A1D Time : 0.0 sec. user=mdettweiler [2018-11-19 23:18:56] 819*2^1531775-1 is not prime. Res64: AC090A487B252828 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:18:57] 913*2^1531775-1 is not prime. Res64: 36DBD16ACE55D403 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:18:57] 737*2^1531776-1 is not prime. Res64: D858E974AB4A55B6 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:40:46] 765*2^1531776-1 is not prime. Res64: A083DDDFC9253D5E Time : 0.0 sec. user=mdettweiler [2018-11-19 23:40:46] 815*2^1531776-1 is not prime. Res64: BD21BC10679534FE Time : 0.0 sec. user=mdettweiler [2018-11-19 23:40:46] 927*2^1531776-1 is not prime. Res64: EFF3B0A2D6866974 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:40:47] 829*2^1531777-1 is not prime. Res64: 156262E25F7D7F66 Time : 0.0 sec. user=mdettweiler [2018-11-19 23:40:47] 885*2^1531777-1 is not prime. Res64: 037D170781C593BF Time : 0.0 sec.