user=mdettweiler [2018-05-12 00:03:05] 941*2^1509498-1 is not prime. Res64: 017AE4CED56229D2 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:03:06] 963*2^1509498-1 is not prime. Res64: CB77229ED7651A4F Time : 0.0 sec. user=mdettweiler [2018-05-12 00:03:07] 977*2^1509498-1 is not prime. Res64: 0A40321B32AADBB2 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:03:08] 993*2^1509498-1 is not prime. Res64: C93E9454CF133B8D Time : 0.0 sec. user=mdettweiler [2018-05-12 00:03:09] 631*2^1509499-1 is not prime. Res64: D71DE505FFF1DB57 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:18:49] 679*2^1509499-1 is not prime. Res64: 9ADBD89CA4553066 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:18:50] 769*2^1509499-1 is not prime. Res64: D76FBA736287FCF2 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:18:50] 853*2^1509499-1 is not prime. Res64: 1022A0F768A4FC18 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:18:51] 973*2^1509499-1 is not prime. Res64: 64E4A286E16E7A76 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:18:51] 743*2^1509500-1 is not prime. Res64: DBE95CC247DEFD45 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:22:08] 797*2^1509500-1 is not prime. Res64: 2EB9F365143FA3E0 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:22:09] 855*2^1509500-1 is not prime. Res64: 0163EFBE4B4AA11C Time : 0.0 sec. user=mdettweiler [2018-05-12 00:22:10] 857*2^1509500-1 is not prime. Res64: F92F5E337510670F Time : 0.0 sec. user=mdettweiler [2018-05-12 00:22:10] 927*2^1509500-1 is not prime. Res64: 0F9206C5C2E119DB Time : 0.0 sec. user=mdettweiler [2018-05-12 00:22:10] 977*2^1509500-1 is not prime. Res64: DB39CA4373830275 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:47:26] 709*2^1509501-1 is not prime. Res64: C90C21BA26884F71 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:47:27] 741*2^1509501-1 is not prime. Res64: B031DD94E395F44B Time : 0.0 sec. user=mdettweiler [2018-05-12 00:47:27] 877*2^1509501-1 is not prime. Res64: 9E8DA67BA0E242DD Time : 0.0 sec. user=mdettweiler [2018-05-12 00:47:28] 885*2^1509501-1 is not prime. Res64: C6CA496967E0D060 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:47:28] 635*2^1509502-1 is not prime. Res64: 1A969AA9B8B01FCD Time : 0.0 sec. user=mdettweiler [2018-05-12 00:53:59] 665*2^1509502-1 is not prime. Res64: 0AFD7F6FD4B2B8E6 Time : 0.0 sec. user=mdettweiler [2018-05-12 00:53:59] 675*2^1509502-1 is not prime. Res64: 2CF3CD734186424C Time : 0.0 sec. user=mdettweiler [2018-05-12 00:54:00] 815*2^1509502-1 is not prime. Res64: E1E5BF32DCB100DC Time : 0.0 sec. user=mdettweiler [2018-05-12 00:54:00] 891*2^1509502-1 is not prime. Res64: A0F512D2A0DA5FBC Time : 0.0 sec. user=mdettweiler [2018-05-12 00:54:00] 911*2^1509502-1 is not prime. Res64: B74CF1E2DB6B915B Time : 0.0 sec. user=mdettweiler [2018-05-12 01:09:27] 945*2^1509502-1 is not prime. Res64: DA760F094EC296E8 Time : 0.0 sec. user=mdettweiler [2018-05-12 01:09:30] 693*2^1509503-1 is not prime. Res64: 9AEEA8EFCDFC6760 Time : 0.0 sec. user=mdettweiler [2018-05-12 01:09:32] 729*2^1509503-1 is not prime. Res64: 7E8580E567689CD1 Time : 0.0 sec. user=mdettweiler [2018-05-12 01:09:35] 805*2^1509503-1 is not prime. Res64: 1C669861BC9B35D2 Time : 0.0 sec. user=mdettweiler [2018-05-12 01:09:40] 871*2^1509503-1 is not prime. Res64: FCAD9E124994DD6A Time : 0.0 sec. user=mdettweiler [2018-05-12 01:44:29] 753*2^1509504-1 is not prime. Res64: EB60317ABA8187EB Time : 0.0 sec. user=mdettweiler [2018-05-12 01:44:29] 767*2^1509504-1 is not prime. Res64: 6C8D54C837D67D30 Time : 0.0 sec. user=mdettweiler [2018-05-12 01:44:30] 887*2^1509504-1 is not prime. Res64: 745E714E27D234F9 Time : 0.0 sec. user=mdettweiler [2018-05-12 01:44:31] 929*2^1509504-1 is not prime. Res64: 1640B94E8B0B4DFB Time : 0.0 sec. user=mdettweiler [2018-05-12 01:44:31] 715*2^1509505-1 is not prime. Res64: 09D7F47608F4F3D9 Time : 0.0 sec. user=mdettweiler [2018-05-12 01:51:43] 765*2^1509505-1 is not prime. Res64: 223B6FAC4335E4EE Time : 0.0 sec. user=mdettweiler [2018-05-12 01:51:43] 819*2^1509505-1 is not prime. Res64: 952167AF8EA1E52A Time : 0.0 sec. user=mdettweiler [2018-05-12 01:51:44] 861*2^1509505-1 is not prime. Res64: ACF5EB7A18348E06 Time : 0.0 sec. user=mdettweiler [2018-05-12 01:51:47] 871*2^1509505-1 is not prime. Res64: 976F448B1AF5C44E Time : 0.0 sec. user=mdettweiler [2018-05-12 01:51:48] 711*2^1509506-1 is not prime. Res64: 4125EB6175AA534D Time : 0.0 sec. user=mdettweiler [2018-05-12 02:39:51] 743*2^1509506-1 is not prime. Res64: FB79015175800C7A Time : 0.0 sec. user=mdettweiler [2018-05-12 02:39:53] 755*2^1509506-1 is not prime. Res64: 6377BDFD425B6C10 Time : 0.0 sec. user=mdettweiler [2018-05-12 02:39:54] 801*2^1509506-1 is not prime. Res64: 972F347E46B97CB5 Time : 0.0 sec. user=mdettweiler [2018-05-12 02:39:55] 825*2^1509506-1 is not prime. Res64: 67DAEA28D12ADA1A Time : 0.0 sec. user=mdettweiler [2018-05-12 02:39:56] 601*2^1509507-1 is not prime. Res64: B96F393E34F770EE Time : 0.0 sec. user=mdettweiler [2018-05-12 02:48:45] 751*2^1509507-1 is not prime. Res64: 76FB5C706FB5E6A3 Time : 0.0 sec. user=mdettweiler [2018-05-12 02:48:46] 781*2^1509507-1 is not prime. Res64: C2989FEE83253C9B Time : 0.0 sec. user=mdettweiler [2018-05-12 02:48:46] 885*2^1509507-1 is not prime. Res64: ACF69ABBFC9046F3 Time : 0.0 sec. user=mdettweiler [2018-05-12 02:48:47] 931*2^1509507-1 is not prime. Res64: A1DCEFF764638187 Time : 0.0 sec. user=mdettweiler [2018-05-12 02:48:48] 951*2^1509507-1 is not prime. Res64: 3C2A7F5D72CC8D2E Time : 0.0 sec. user=mdettweiler [2018-05-12 03:34:41] 963*2^1509507-1 is not prime. Res64: 2C1FAAB13FC4BF0F Time : 0.0 sec. user=mdettweiler [2018-05-12 03:34:47] 605*2^1509508-1 is not prime. Res64: 13149DC30EC3C392 Time : 0.0 sec. user=mdettweiler [2018-05-12 03:34:56] 665*2^1509508-1 is not prime. Res64: CF95969368A888F6 Time : 0.0 sec. user=mdettweiler [2018-05-12 03:35:03] 695*2^1509508-1 is not prime. Res64: F8F605EEC24B17B9 Time : 0.0 sec. user=mdettweiler [2018-05-12 03:50:39] 843*2^1509508-1 is not prime. Res64: B425C776494DF066 Time : 0.0 sec. user=mdettweiler [2018-05-12 03:50:42] 855*2^1509508-1 is not prime. Res64: BD7FEA6FFA18FE79 Time : 0.0 sec. user=mdettweiler [2018-05-12 03:50:44] 989*2^1509508-1 is not prime. Res64: 58493F9F25799198 Time : 0.0 sec. user=mdettweiler [2018-05-12 03:50:48] 759*2^1509509-1 is not prime. Res64: 005A9C69584B7D2D Time : 0.0 sec. user=mdettweiler [2018-05-12 03:50:50] 787*2^1509509-1 is not prime. Res64: B9A35E227B1538F9 Time : 0.0 sec. user=odicin [2018-05-12 04:33:35] 777*2^1509510-1 is not prime. Res64: 55423CB64B81FFCE Time : 0.0 sec. user=mdettweiler [2018-05-12 04:45:52] 847*2^1509509-1 is not prime. Res64: 4AD3B56D95149D8F Time : 0.0 sec. user=mdettweiler [2018-05-12 04:45:57] 867*2^1509509-1 is not prime. Res64: D1D4844DA9EC4264 Time : 0.0 sec. user=mdettweiler [2018-05-12 04:46:01] 927*2^1509509-1 is not prime. Res64: 67D05097F1AACE4F Time : 0.0 sec. user=mdettweiler [2018-05-12 04:46:02] 951*2^1509509-1 is not prime. Res64: EB77D9A72D60BD3D Time : 0.0 sec. user=mdettweiler [2018-05-12 04:46:04] 725*2^1509510-1 is not prime. Res64: 6B2A879BF4CE51EE Time : 0.0 sec. user=mdettweiler [2018-05-12 05:41:09] 801*2^1509510-1 is not prime. Res64: D771B7322B1FA81E Time : 0.0 sec. user=mdettweiler [2018-05-12 05:41:10] 833*2^1509510-1 is not prime. Res64: 89D02DF1956CFFC0 Time : 0.0 sec. user=mdettweiler [2018-05-12 05:41:11] 1001*2^1509510-1 is not prime. Res64: 96755633CDC10C27 Time : 0.0 sec. user=mdettweiler [2018-05-12 05:41:12] 645*2^1509511-1 is not prime. Res64: 1545A5626C31D768 Time : 0.0 sec. user=mdettweiler [2018-05-12 05:41:12] 789*2^1509511-1 is not prime. Res64: 20261549553288F3 Time : 0.0 sec. user=mdettweiler [2018-05-12 06:38:36] 813*2^1509511-1 is not prime. Res64: 94D4DCD250E17C5F Time : 0.0 sec. user=mdettweiler [2018-05-12 06:38:36] 861*2^1509511-1 is not prime. Res64: 37BC5D0866C42F0E Time : 0.0 sec. user=mdettweiler [2018-05-12 06:38:37] 895*2^1509511-1 is not prime. Res64: 4CC2DDC3D62AA8D2 Time : 0.0 sec. user=mdettweiler [2018-05-12 06:38:38] 999*2^1509511-1 is not prime. Res64: 14DDC75241999983 Time : 0.0 sec. user=mdettweiler [2018-05-12 06:38:38] 689*2^1509512-1 is not prime. Res64: E0B0C3454B82688F Time : 0.0 sec. user=mdettweiler [2018-05-12 07:33:43] 759*2^1509512-1 is not prime. Res64: 20CA05D1AC6BA7E8 Time : 0.0 sec. user=mdettweiler [2018-05-12 07:33:44] 837*2^1509512-1 is not prime. Res64: 8956D3DBC57B5E0B Time : 0.0 sec. user=mdettweiler [2018-05-12 07:33:45] 855*2^1509512-1 is not prime. Res64: D1CBBE3AAF61EB07 Time : 0.0 sec. user=mdettweiler [2018-05-12 07:33:45] 995*2^1509512-1 is not prime. Res64: 13AB15A0F8547BC9 Time : 0.0 sec. user=mdettweiler [2018-05-12 07:33:46] 999*2^1509512-1 is not prime. Res64: 4247EDE6D27E68D8 Time : 0.0 sec. user=mdettweiler [2018-05-12 08:26:17] 895*2^1509503-1 is not prime. Res64: 5C9DDD345A71688F Time : 0.0 sec. user=mdettweiler [2018-05-12 08:26:18] 955*2^1509503-1 is not prime. Res64: A8E422AB7FA0741C Time : 0.0 sec. user=mdettweiler [2018-05-12 08:26:18] 993*2^1509503-1 is not prime. Res64: AE5A1C8265B05CD2 Time : 0.0 sec. user=mdettweiler [2018-05-12 08:26:19] 999*2^1509503-1 is not prime. Res64: F404049804771559 Time : 0.0 sec. user=mdettweiler [2018-05-12 08:26:19] 623*2^1509504-1 is not prime. Res64: 9DD5A7463D39EB91 Time : 0.0 sec. user=mdettweiler [2018-05-12 08:27:48] 627*2^1509513-1 is not prime. Res64: FE720ADB42EDB269 Time : 0.0 sec. user=mdettweiler [2018-05-12 08:27:48] 705*2^1509513-1 is not prime. Res64: 360D53E6AF6C07F1 Time : 0.0 sec. user=mdettweiler [2018-05-12 08:27:49] 751*2^1509513-1 is not prime. Res64: 9F7F8248FB51589C Time : 0.0 sec. user=mdettweiler [2018-05-12 08:27:49] 991*2^1509513-1 is not prime. Res64: 94089A00891435D0 Time : 0.0 sec. user=mdettweiler [2018-05-12 08:27:50] 623*2^1509514-1 is not prime. Res64: BCC15E62E47C06CC Time : 0.0 sec. user=odicin [2018-05-12 08:31:29] 625*2^1509513-1 is not prime. Res64: 3978DECF9EB05E80 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:13:48] 731*2^1509514-1 is not prime. Res64: DF355752D957196D Time : 0.0 sec. user=mdettweiler [2018-05-12 09:13:49] 741*2^1509514-1 is not prime. Res64: 5677798E8A14E563 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:13:50] 803*2^1509514-1 is not prime. Res64: 29F3F92534EE5503 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:13:51] 881*2^1509514-1 is not prime. Res64: F09CBC4BD2544406 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:13:52] 915*2^1509514-1 is not prime. Res64: 825061B176BD6789 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:16:52] 923*2^1509514-1 is not prime. Res64: 1FED3AB6BA922476 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:16:53] 609*2^1509515-1 is not prime. Res64: D76EEB5D2A34C91E Time : 0.0 sec. user=mdettweiler [2018-05-12 09:16:53] 633*2^1509515-1 is not prime. Res64: 22199978A0CFAE4D Time : 0.0 sec. user=mdettweiler [2018-05-12 09:16:53] 679*2^1509515-1 is not prime. Res64: C96B664723F1F547 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:16:54] 825*2^1509515-1 is not prime. Res64: CEB5F728AC8775FB Time : 0.0 sec. user=mdettweiler [2018-05-12 09:19:06] 883*2^1509515-1 is not prime. Res64: 87C1C6568FA10637 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:19:06] 903*2^1509515-1 is not prime. Res64: A5110207B061CE19 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:19:07] 909*2^1509515-1 is not prime. Res64: 4665570FE01C7E69 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:19:07] 915*2^1509515-1 is not prime. Res64: 9F46487CC9D88245 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:19:07] 963*2^1509515-1 is not prime. Res64: BAFCDC8D9AAF99F3 Time : 0.0 sec. user=mdettweiler [2018-05-12 09:26:41] 819*2^1509508-1 is not prime. Res64: 6B0A20D50ACB6512 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:04:28] 627*2^1509516-1 is not prime. Res64: 45E1C4D2D865B709 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:04:30] 693*2^1509516-1 is not prime. Res64: D76E9C47E984582D Time : 0.0 sec. user=mdettweiler [2018-05-12 10:04:32] 717*2^1509516-1 is not prime. Res64: C28DA159721DB9B0 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:04:36] 737*2^1509516-1 is not prime. Res64: 0038FD5D30895200 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:04:37] 773*2^1509516-1 is not prime. Res64: 041CB415ED3B2C43 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:07:29] 803*2^1509516-1 is not prime. Res64: 7BBFFC0C6E8A9251 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:07:31] 843*2^1509516-1 is not prime. Res64: 11E99B5DD20E5A61 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:07:33] 699*2^1509517-1 is not prime. Res64: 5F4731FD77900F46 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:07:35] 835*2^1509517-1 is not prime. Res64: A9B1F59C4BC212B5 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:07:36] 885*2^1509517-1 is not prime. Res64: 0209CD9685C98AE1 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:08:25] 641*2^1509518-1 is not prime. Res64: 743AD4BDA67A5670 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:08:28] 663*2^1509518-1 is not prime. Res64: 9FDB6BF35756757C Time : 0.0 sec. user=mdettweiler [2018-05-12 10:08:30] 671*2^1509518-1 is not prime. Res64: 54A008C9CC89458C Time : 0.0 sec. user=mdettweiler [2018-05-12 10:08:31] 707*2^1509518-1 is not prime. Res64: 433BFE2079CB8671 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:08:33] 771*2^1509518-1 is not prime. Res64: 397F62694588F5B7 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:18:03] 797*2^1509518-1 is not prime. Res64: 416BC5E99C5907A9 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:18:03] 921*2^1509518-1 is not prime. Res64: EE594B2AC1BAA5C6 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:18:04] 923*2^1509518-1 is not prime. Res64: B84D1C5642F6CA8C Time : 0.0 sec. user=mdettweiler [2018-05-12 10:18:04] 963*2^1509518-1 is not prime. Res64: 782A2D3F24681589 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:18:05] 977*2^1509518-1 is not prime. Res64: 18DCC7A889E80330 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:55:38] 613*2^1509519-1 is not prime. Res64: AD3A16DD725F017F Time : 0.0 sec. user=mdettweiler [2018-05-12 10:55:40] 625*2^1509519-1 is not prime. Res64: 6C4A2390C163C3D0 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:55:40] 745*2^1509519-1 is not prime. Res64: 26EC503242B20D2A Time : 0.0 sec. user=mdettweiler [2018-05-12 10:55:41] 751*2^1509519-1 is not prime. Res64: 1A3C37B7E118F9A2 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:55:41] 909*2^1509519-1 is not prime. Res64: C3EA009D6ADF5B71 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:59:01] 755*2^1509520-1 is not prime. Res64: 33A108077FF190E8 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:59:02] 813*2^1509520-1 is not prime. Res64: BA3F6BF9F533EB4A Time : 0.0 sec. user=mdettweiler [2018-05-12 10:59:02] 897*2^1509520-1 is not prime. Res64: D8910A1A5C1A348F Time : 0.0 sec. user=mdettweiler [2018-05-12 10:59:03] 675*2^1509521-1 is not prime. Res64: 476EE103FFA1E593 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:59:03] 715*2^1509521-1 is not prime. Res64: F89C694501ED3CB6 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:59:13] 961*2^1509519-1 is not prime. Res64: 7772E7A74FF73D16 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:59:14] 969*2^1509519-1 is not prime. Res64: F2BFE06F3AEA1089 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:59:15] 999*2^1509519-1 is not prime. Res64: C314D16C1EF55CA0 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:59:15] 635*2^1509520-1 is not prime. Res64: 70A19DF77344FD75 Time : 0.0 sec. user=mdettweiler [2018-05-12 10:59:16] 717*2^1509520-1 is not prime. Res64: 1D3BA31DF7EF7226 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:09:53] 741*2^1509521-1 is not prime. Res64: 14BD88EFABEE6C02 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:09:54] 865*2^1509521-1 is not prime. Res64: FD6AF79B8F1D0A91 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:09:55] 979*2^1509521-1 is not prime. Res64: 2BD9FB9B7DD19852 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:09:55] 741*2^1509522-1 is not prime. Res64: AB63102CF453C323 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:09:56] 791*2^1509522-1 is not prime. Res64: 5D67039065433C45 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:47:58] 941*2^1509522-1 is not prime. Res64: 7B4D2B4B45C1F67D Time : 0.0 sec. user=mdettweiler [2018-05-12 11:47:59] 945*2^1509522-1 is not prime. Res64: B74BBF2C2F205996 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:47:59] 1001*2^1509522-1 is not prime. Res64: 5468CEF1A5ABD705 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:48:00] 633*2^1509523-1 is not prime. Res64: BCE61C2359F6CF74 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:48:01] 793*2^1509523-1 is not prime. Res64: 47AE323FF236372A Time : 0.0 sec. user=mdettweiler [2018-05-12 11:50:35] 825*2^1509524-1 is not prime. Res64: 232F562475E325AA Time : 0.0 sec. user=mdettweiler [2018-05-12 11:50:35] 893*2^1509524-1 is not prime. Res64: 91C8B67A8348279F Time : 0.0 sec. user=mdettweiler [2018-05-12 11:50:36] 983*2^1509524-1 is not prime. Res64: FFB526977AD63581 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:50:36] 987*2^1509524-1 is not prime. Res64: 1B190FC7062AAE61 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:50:37] 657*2^1509525-1 is not prime. Res64: 3B6D89A481C2570D Time : 0.0 sec. user=mdettweiler [2018-05-12 11:51:10] 969*2^1509523-1 is not prime. Res64: 04C556E1C140080E Time : 0.0 sec. user=mdettweiler [2018-05-12 11:51:12] 605*2^1509524-1 is not prime. Res64: B7C81B63CC67A9E4 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:51:12] 749*2^1509524-1 is not prime. Res64: B05BD4C836601046 Time : 0.0 sec. user=mdettweiler [2018-05-12 11:51:12] 753*2^1509524-1 is not prime. Res64: 761A2B1704F773AA Time : 0.0 sec. user=mdettweiler [2018-05-12 11:51:13] 767*2^1509524-1 is not prime. Res64: C52E6DFC3171A3BA Time : 0.0 sec. user=mdettweiler [2018-05-12 12:01:21] 667*2^1509525-1 is not prime. Res64: 7DDC7F5184EEF297 Time : 0.0 sec. user=mdettweiler [2018-05-12 12:01:22] 675*2^1509525-1 is not prime. Res64: E7BA1FC522227A0C Time : 0.0 sec. user=mdettweiler [2018-05-12 12:01:25] 711*2^1509525-1 is not prime. Res64: E8951D9AC0635B9C Time : 0.0 sec. user=mdettweiler [2018-05-12 12:01:29] 867*2^1509525-1 is not prime. Res64: A29A33A9438C739C Time : 0.0 sec. user=mdettweiler [2018-05-12 12:01:32] 891*2^1509525-1 is not prime. Res64: BE2A4D9D41F12B1C Time : 0.0 sec. user=mdettweiler [2018-05-12 12:39:36] 955*2^1509525-1 is not prime. Res64: BD68AED5977BBDBF Time : 0.0 sec. user=mdettweiler [2018-05-12 12:39:37] 985*2^1509525-1 is not prime. Res64: B90F4CB2300C261B Time : 0.0 sec. user=mdettweiler [2018-05-12 12:39:37] 999*2^1509525-1 is not prime. Res64: 8FF4E28ABA59693D Time : 0.0 sec. user=mdettweiler [2018-05-12 12:39:38] 611*2^1509526-1 is not prime. Res64: DBC4CABD5FEADA8B Time : 0.0 sec. user=mdettweiler [2018-05-12 12:39:38] 671*2^1509526-1 is not prime. Res64: ED947EFFC9280F1B Time : 0.0 sec. user=mdettweiler [2018-05-12 12:43:21] 693*2^1509527-1 is not prime. Res64: 230F86D2BB178162 Time : 0.0 sec. user=mdettweiler [2018-05-12 12:43:21] 705*2^1509527-1 is not prime. Res64: 5916E40780F40F7C Time : 0.0 sec. user=mdettweiler [2018-05-12 12:43:21] 735*2^1509527-1 is not prime. Res64: 9D9ADE0C409401AE Time : 0.0 sec. user=mdettweiler [2018-05-12 12:43:22] 885*2^1509527-1 is not prime. Res64: 0182D070CAE4DBA2 Time : 0.0 sec. user=mdettweiler [2018-05-12 12:43:22] 979*2^1509527-1 is not prime. Res64: B57CA163DDBBA90D Time : 0.0 sec. user=mdettweiler [2018-05-12 12:43:49] 741*2^1509526-1 is not prime. Res64: ABA9E2653275AB59 Time : 0.0 sec. user=mdettweiler [2018-05-12 12:43:50] 773*2^1509526-1 is not prime. Res64: F854E13EC65720CF Time : 0.0 sec. user=mdettweiler [2018-05-12 12:43:50] 801*2^1509526-1 is not prime. Res64: 6B4A8F4379D23F60 Time : 0.0 sec. user=mdettweiler [2018-05-12 12:43:51] 923*2^1509526-1 is not prime. Res64: FC0E5290C6175D1E Time : 0.0 sec. user=mdettweiler [2018-05-12 12:43:51] 669*2^1509527-1 is not prime. Res64: 3DFCE4EE398B9552 Time : 0.0 sec. user=mdettweiler [2018-05-12 12:54:44] 723*2^1509528-1 is not prime. Res64: 732595B520BF884F Time : 0.0 sec. user=mdettweiler [2018-05-12 12:54:45] 795*2^1509528-1 is not prime. Res64: 5CD00F107B938154 Time : 0.0 sec. user=mdettweiler [2018-05-12 12:54:45] 905*2^1509528-1 is not prime. Res64: F627E82CD563EB9F Time : 0.0 sec. user=mdettweiler [2018-05-12 12:54:46] 927*2^1509528-1 is not prime. Res64: 500C8FF4A1399806 Time : 0.0 sec. user=mdettweiler [2018-05-12 12:54:46] 619*2^1509529-1 is not prime. Res64: 2A087FC18D55EE7A Time : 0.0 sec. user=mdettweiler [2018-05-12 13:31:01] 885*2^1509529-1 is not prime. Res64: ABC6D67E926CF5C4 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:31:02] 627*2^1509530-1 is not prime. Res64: A7040932A3954784 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:31:02] 633*2^1509530-1 is not prime. Res64: 7F1471BB4158567C Time : 0.0 sec. user=mdettweiler [2018-05-12 13:31:03] 831*2^1509530-1 is not prime. Res64: 2D792F6E5D5753A3 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:31:04] 917*2^1509530-1 is not prime. Res64: 67FA6376EAE5BFD4 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:35:27] 935*2^1509530-1 is not prime. Res64: 72313C946C698E74 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:35:27] 995*2^1509530-1 is not prime. Res64: 6161F12344CC4F50 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:35:28] 745*2^1509531-1 is not prime. Res64: 9A03984E3D945A6F Time : 0.0 sec. user=mdettweiler [2018-05-12 13:35:28] 781*2^1509531-1 is not prime. Res64: B4A24B6E76B25125 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:35:29] 835*2^1509531-1 is not prime. Res64: 7559A84143FE8B79 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:36:20] 949*2^1509531-1 is not prime. Res64: 3416B421A4C941DE Time : 0.0 sec. user=mdettweiler [2018-05-12 13:36:21] 975*2^1509531-1 is not prime. Res64: 5DDEFBF8EC2AD686 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:36:21] 723*2^1509532-1 is not prime. Res64: C2517CA7C35DEC13 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:36:22] 811*2^1509533-1 is not prime. Res64: 64FE0845B02049D6 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:36:22] 859*2^1509533-1 is not prime. Res64: 97598C60A41DE819 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:45:49] 867*2^1509533-1 is not prime. Res64: 45F85573DB5AAD5C Time : 0.0 sec. user=mdettweiler [2018-05-12 13:45:49] 985*2^1509533-1 is not prime. Res64: 25145F89539E950F Time : 0.0 sec. user=mdettweiler [2018-05-12 13:45:50] 605*2^1509534-1 is not prime. Res64: 22DBBC1E43C0EB9D Time : 0.0 sec. user=mdettweiler [2018-05-12 13:45:50] 765*2^1509534-1 is not prime. Res64: 0E86BCC71B8A40A5 Time : 0.0 sec. user=mdettweiler [2018-05-12 13:45:50] 975*2^1509534-1 is not prime. Res64: 408495B8BE26BA1F Time : 0.0 sec. user=mdettweiler [2018-05-12 14:22:49] 649*2^1509535-1 is not prime. Res64: D47561769E35A3FF Time : 0.0 sec. user=mdettweiler [2018-05-12 14:22:50] 859*2^1509535-1 is not prime. Res64: D5A2E0F0197FCD29 Time : 0.0 sec. user=mdettweiler [2018-05-12 14:22:50] 873*2^1509535-1 is not prime. Res64: 091C975046F90772 Time : 0.0 sec. user=mdettweiler [2018-05-12 14:22:51] 827*2^1509536-1 is not prime. Res64: E1DECF5C70EF16DB Time : 0.0 sec. user=mdettweiler [2018-05-12 14:22:51] 843*2^1509536-1 is not prime. Res64: 73E7C153554152FC Time : 0.0 sec. user=mdettweiler [2018-05-12 14:25:51] 903*2^1509536-1 is not prime. Res64: BBD0657C74CB698F Time : 0.0 sec. user=mdettweiler [2018-05-12 14:25:52] 627*2^1509537-1 is not prime. Res64: 6FF570F607AD7BF4 Time : 0.0 sec. user=mdettweiler [2018-05-12 14:25:52] 649*2^1509537-1 is not prime. Res64: 7F50DF5B101A459C Time : 0.0 sec. user=mdettweiler [2018-05-12 14:25:52] 681*2^1509537-1 is not prime. Res64: 2FBE122AFBDDA35C Time : 0.0 sec. user=mdettweiler [2018-05-12 14:25:53] 741*2^1509537-1 is not prime. Res64: 2DF16705C18BE9E5 Time : 0.0 sec. user=mdettweiler [2018-05-12 14:27:50] 759*2^1509537-1 is not prime. Res64: F591296CFC512543 Time : 0.0 sec. user=mdettweiler [2018-05-12 14:27:50] 765*2^1509537-1 is not prime. Res64: 8AD2251DF7F467B6 Time : 0.0 sec. user=mdettweiler [2018-05-12 14:27:51] 849*2^1509537-1 is not prime. Res64: A356EE42AF397399 Time : 0.0 sec. user=mdettweiler [2018-05-12 14:27:51] 895*2^1509537-1 is not prime. Res64: 7D2E0A24331EA56D Time : 0.0 sec. user=mdettweiler [2018-05-12 14:27:52] 949*2^1509537-1 is not prime. Res64: FD2C7690F4B9555A Time : 0.0 sec. user=mdettweiler [2018-05-12 14:36:36] 991*2^1509537-1 is not prime. Res64: 2C70E60759F33A6D Time : 0.0 sec. user=mdettweiler [2018-05-12 14:36:37] 645*2^1509538-1 is not prime. Res64: 161BA7EAE1D4D898 Time : 0.0 sec. user=mdettweiler [2018-05-12 14:36:38] 705*2^1509538-1 is not prime. Res64: 494B465ADDC3E1BE Time : 0.0 sec. user=mdettweiler [2018-05-12 14:36:38] 755*2^1509538-1 is not prime. Res64: 32B83FED144263AD Time : 0.0 sec. user=mdettweiler [2018-05-12 14:36:38] 827*2^1509538-1 is not prime. Res64: 22ACACA327121DAD Time : 0.0 sec. user=mdettweiler [2018-05-12 15:14:15] 885*2^1509538-1 is not prime. Res64: 84B42BF9D4BCB9DF Time : 0.0 sec. user=mdettweiler [2018-05-12 15:14:16] 941*2^1509538-1 is not prime. Res64: 572BBAF12BC784AE Time : 0.0 sec. user=mdettweiler [2018-05-12 15:14:17] 971*2^1509538-1 is not prime. Res64: 9C4941E08E7AF9F1 Time : 0.0 sec. user=mdettweiler [2018-05-12 15:14:17] 993*2^1509538-1 is not prime. Res64: 97277614A054477A Time : 0.0 sec. user=mdettweiler [2018-05-12 15:14:18] 1001*2^1509538-1 is not prime. Res64: 57B5DF552F18E5EC Time : 0.0 sec. user=mdettweiler [2018-05-12 15:16:16] 601*2^1509539-1 is not prime. Res64: 41B78F2D7456C43F Time : 0.0 sec. user=mdettweiler [2018-05-12 15:16:17] 655*2^1509539-1 is not prime. Res64: 6C29BF85DDA3DC8C Time : 0.0 sec. user=mdettweiler [2018-05-12 15:16:17] 705*2^1509539-1 is not prime. Res64: EAE34F83F63F52B0 Time : 0.0 sec. user=mdettweiler [2018-05-12 15:16:18] 883*2^1509539-1 is not prime. Res64: C92832D8320B6D4F Time : 0.0 sec. user=mdettweiler [2018-05-12 15:16:18] 909*2^1509539-1 is not prime. Res64: 90EADCA70263C78B Time : 0.0 sec. user=mdettweiler [2018-05-12 15:19:12] 943*2^1509539-1 is not prime. Res64: 6964924D5E60887A Time : 0.0 sec. user=mdettweiler [2018-05-12 15:19:13] 975*2^1509540-1 is not prime. Res64: 977F59915EC9EECC Time : 0.0 sec. user=mdettweiler [2018-05-12 15:19:13] 745*2^1509541-1 is not prime. Res64: DE624F253FB983EA Time : 0.0 sec. user=mdettweiler [2018-05-12 15:19:13] 805*2^1509541-1 is not prime. Res64: 9AB956BBAFC172CB Time : 0.0 sec. user=mdettweiler [2018-05-12 15:19:14] 819*2^1509541-1 is not prime. Res64: CC80226E213A06CD Time : 0.0 sec. user=mdettweiler [2018-05-12 15:27:20] 861*2^1509541-1 is not prime. Res64: 0F7F8FC0F021C60C Time : 0.0 sec. user=mdettweiler [2018-05-12 15:27:22] 705*2^1509542-1 is not prime. Res64: AE3B3827E372CB5B Time : 0.0 sec. user=mdettweiler [2018-05-12 15:27:22] 785*2^1509542-1 is not prime. Res64: FB839D58B95735A1 Time : 0.0 sec. user=mdettweiler [2018-05-12 15:27:23] 813*2^1509542-1 is not prime. Res64: 4DE3B9CE61AB05D0 Time : 0.0 sec. user=mdettweiler [2018-05-12 15:27:23] 903*2^1509542-1 is not prime. Res64: 1EBE5055332A10D0 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:05:41] 923*2^1509542-1 is not prime. Res64: DB8BA6E63F6EC211 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:05:45] 965*2^1509542-1 is not prime. Res64: 484C232DED05A00E Time : 0.0 sec. user=mdettweiler [2018-05-12 16:05:49] 995*2^1509542-1 is not prime. Res64: 6ECA4DF93D0A22B3 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:05:54] 649*2^1509543-1 is not prime. Res64: C5F7AFD3198DDF08 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:05:58] 685*2^1509543-1 is not prime. Res64: ABA811FCEB07C17C Time : 0.0 sec. user=mdettweiler [2018-05-12 16:07:09] 741*2^1509543-1 is not prime. Res64: 6BAD0BED8993CFA9 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:09:31] 605*2^1509544-1 is not prime. Res64: CC0264A7138ADC1B Time : 0.0 sec. user=mdettweiler [2018-05-12 16:09:32] 899*2^1509544-1 is not prime. Res64: 68550114315AECA6 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:09:34] 975*2^1509544-1 is not prime. Res64: 347EAE4F5CBAEEFB Time : 0.0 sec. user=mdettweiler [2018-05-12 16:09:37] 607*2^1509545-1 is not prime. Res64: B75F08F6F9D01D1C Time : 0.0 sec. user=mdettweiler [2018-05-12 16:09:40] 627*2^1509545-1 is not prime. Res64: 4CB9EA05567CD4D5 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:18:00] 651*2^1509545-1 is not prime. Res64: 73373276B6E9CC74 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:18:00] 711*2^1509545-1 is not prime. Res64: 512483FE43CCE509 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:18:00] 735*2^1509545-1 is not prime. Res64: 564916AC81EBD0A4 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:18:01] 787*2^1509545-1 is not prime. Res64: 07CC2288C10C7ADA Time : 0.0 sec. user=mdettweiler [2018-05-12 16:18:01] 885*2^1509545-1 is not prime. Res64: 08246C886498D1C4 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:59:09] 889*2^1509545-1 is not prime. Res64: 1B7949CE50D56576 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:59:09] 957*2^1509545-1 is not prime. Res64: ADD37F13499FED98 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:59:10] 981*2^1509545-1 is not prime. Res64: EE4817701F44FAC0 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:59:10] 611*2^1509546-1 is not prime. Res64: 04FDA24E6F116DC5 Time : 0.0 sec. user=mdettweiler [2018-05-12 16:59:10] 633*2^1509546-1 is not prime. Res64: DAA2A3CE005B178D Time : 0.0 sec. user=mdettweiler [2018-05-12 17:01:26] 683*2^1509546-1 is not prime. Res64: F096F704B12C403E Time : 0.0 sec. user=mdettweiler [2018-05-12 17:01:28] 711*2^1509546-1 is not prime. Res64: 75A1729AFF90ECA4 Time : 0.0 sec. user=mdettweiler [2018-05-12 17:01:30] 803*2^1509546-1 is not prime. Res64: CA1721244BC3CAAB Time : 0.0 sec. user=mdettweiler [2018-05-12 17:01:31] 807*2^1509546-1 is not prime. Res64: 96B27E181CD365FA Time : 0.0 sec. user=mdettweiler [2018-05-12 17:01:32] 873*2^1509546-1 is not prime. Res64: F4093C4BF1E23BF8 Time : 0.0 sec. user=mdettweiler [2018-05-12 17:08:55] 887*2^1509546-1 is not prime. Res64: F4946F6DF47C7D39 Time : 0.0 sec. user=mdettweiler [2018-05-12 17:08:56] 947*2^1509546-1 is not prime. Res64: E90BEB7E05952F5C Time : 0.0 sec. user=mdettweiler [2018-05-12 17:08:56] 963*2^1509546-1 is not prime. Res64: 76E19D77B4654A1C Time : 0.0 sec. user=mdettweiler [2018-05-12 17:08:57] 603*2^1509547-1 is not prime. Res64: 7F4355690398A58E Time : 0.0 sec. user=mdettweiler [2018-05-12 17:08:57] 619*2^1509547-1 is not prime. Res64: 27190A4DA70C649F Time : 0.0 sec. user=mdettweiler [2018-05-12 17:49:40] 625*2^1509547-1 is not prime. Res64: 2234A3BFB968A40D Time : 0.0 sec. user=mdettweiler [2018-05-12 17:49:41] 639*2^1509547-1 is not prime. Res64: D68A8C6F622CEF82 Time : 0.0 sec. user=mdettweiler [2018-05-12 17:49:43] 651*2^1509547-1 is not prime. Res64: 0D5F1ABB253CD629 Time : 0.0 sec. user=mdettweiler [2018-05-12 17:49:43] 703*2^1509547-1 is not prime. Res64: D096D867A87EC99A Time : 0.0 sec. user=mdettweiler [2018-05-12 17:49:44] 885*2^1509547-1 is not prime. Res64: B7465F677C229BBE Time : 0.0 sec. user=mdettweiler [2018-05-12 17:53:47] 889*2^1509547-1 is not prime. Res64: 8FE3BACABCC7A4DF Time : 0.0 sec. user=mdettweiler [2018-05-12 17:53:47] 909*2^1509547-1 is not prime. Res64: 1A3D92DFA0CA9DCD Time : 0.0 sec. user=mdettweiler [2018-05-12 17:53:48] 961*2^1509547-1 is not prime. Res64: DECFF1547F011216 Time : 0.0 sec. user=mdettweiler [2018-05-12 17:53:48] 603*2^1509548-1 is not prime. Res64: 4204D76C677F65EA Time : 0.0 sec. user=mdettweiler [2018-05-12 17:53:49] 629*2^1509548-1 is not prime. Res64: 4780D577AB2B154E Time : 0.0 sec. user=mdettweiler [2018-05-12 18:00:38] 633*2^1509548-1 is not prime. Res64: E96F391E2E4B505C Time : 0.0 sec. user=mdettweiler [2018-05-12 18:00:39] 659*2^1509548-1 is not prime. Res64: 374A8471BF48CCFF Time : 0.0 sec. user=mdettweiler [2018-05-12 18:00:40] 743*2^1509548-1 is not prime. Res64: 34A44F43E96E271F Time : 0.0 sec. user=mdettweiler [2018-05-12 18:00:42] 767*2^1509548-1 is not prime. Res64: D19DA88E2031974E Time : 0.0 sec. user=mdettweiler [2018-05-12 18:00:43] 789*2^1509548-1 is not prime. Res64: E5845634D5AB8053 Time : 0.0 sec. user=mdettweiler [2018-05-12 18:43:13] 843*2^1509548-1 is not prime. Res64: 1B52F108F86A769F Time : 0.0 sec. user=mdettweiler [2018-05-12 18:43:13] 875*2^1509548-1 is not prime. Res64: 441CE40915B48FF0 Time : 0.0 sec. user=mdettweiler [2018-05-12 18:43:14] 945*2^1509548-1 is not prime. Res64: 27AF67D30A6286B0 Time : 0.0 sec. user=mdettweiler [2018-05-12 18:43:14] 837*2^1509549-1 is not prime. Res64: E405341A4F5760C0 Time : 0.0 sec. user=mdettweiler [2018-05-12 18:43:15] 865*2^1509549-1 is not prime. Res64: 25B575C30D68195F Time : 0.0 sec. user=mdettweiler [2018-05-12 18:49:45] 867*2^1509549-1 is not prime. Res64: DD40B0AC85846B4D Time : 0.0 sec. user=mdettweiler [2018-05-12 18:49:46] 927*2^1509549-1 is not prime. Res64: 4350981A8289D7D4 Time : 0.0 sec. user=mdettweiler [2018-05-12 18:49:46] 969*2^1509549-1 is not prime. Res64: DBE0C4F1DD8B512B Time : 0.0 sec. user=mdettweiler [2018-05-12 18:49:46] 651*2^1509550-1 is not prime. Res64: 72670723DD37C748 Time : 0.0 sec. user=mdettweiler [2018-05-12 18:49:47] 791*2^1509550-1 is not prime. Res64: E8C0B9AB50541924 Time : 0.0 sec. user=mdettweiler [2018-05-12 18:55:33] 827*2^1509550-1 is not prime. Res64: FD1B1158D1C10A17 Time : 0.0 sec. user=mdettweiler [2018-05-12 18:55:33] 911*2^1509550-1 is not prime. Res64: 80B6718820362597 Time : 0.0 sec. user=mdettweiler [2018-05-12 18:55:33] 917*2^1509550-1 is not prime. Res64: 3C8DE824567378E7 Time : 0.0 sec. user=mdettweiler [2018-05-12 18:55:34] 945*2^1509550-1 is not prime. Res64: 763B0DFAACC3F0EB Time : 0.0 sec. user=mdettweiler [2018-05-12 18:55:34] 693*2^1509551-1 is not prime. Res64: 1573FC5BD5357609 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:41:35] 683*2^1509552-1 is not prime. Res64: 3A28F6694A718D48 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:41:36] 725*2^1509552-1 is not prime. Res64: B9786445F16E9BF2 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:41:36] 809*2^1509552-1 is not prime. Res64: F8F3F4451D768DB5 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:41:36] 893*2^1509552-1 is not prime. Res64: 05FA4522EE7C369A Time : 0.0 sec. user=mdettweiler [2018-05-12 19:41:37] 959*2^1509552-1 is not prime. Res64: 9AE66D3A815B4A50 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:42:00] 741*2^1509551-1 is not prime. Res64: 8C1FEEAE9BAEE45D Time : 0.0 sec. user=mdettweiler [2018-05-12 19:42:01] 789*2^1509551-1 is not prime. Res64: 9DBA15A1A68E3829 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:42:01] 829*2^1509551-1 is not prime. Res64: B93341845B3AC308 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:42:02] 885*2^1509551-1 is not prime. Res64: 58381DBD614953B2 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:42:02] 623*2^1509552-1 is not prime. Res64: ED022158262B69DE Time : 0.0 sec. user=mdettweiler [2018-05-12 19:44:15] 789*2^1509543-1 is not prime. Res64: 5C6F2F70C3223F69 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:44:16] 795*2^1509543-1 is not prime. Res64: 6007E80CC2DB5A9A Time : 0.0 sec. user=mdettweiler [2018-05-12 19:44:16] 849*2^1509543-1 is not prime. Res64: D0EBD00276D9BD46 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:44:16] 871*2^1509543-1 is not prime. Res64: 7107B114458ECBF3 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:47:45] 729*2^1509553-1 is not prime. Res64: 851DD5B226DB64B5 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:47:46] 831*2^1509553-1 is not prime. Res64: 81ED065F471B3A7A Time : 0.0 sec. user=mdettweiler [2018-05-12 19:47:46] 835*2^1509553-1 is not prime. Res64: BB446DE0AAD53831 Time : 0.0 sec. user=mdettweiler [2018-05-12 19:47:47] 849*2^1509553-1 is not prime. Res64: C1FE8C3F6779989B Time : 0.0 sec. user=mdettweiler [2018-05-12 19:47:47] 945*2^1509553-1 is not prime. Res64: 173E8ED27C9F9A86 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:31:39] 635*2^1509554-1 is not prime. Res64: 4683E9F6B85A76E9 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:31:39] 813*2^1509554-1 is not prime. Res64: 7C386FCC1A005F87 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:31:40] 825*2^1509554-1 is not prime. Res64: C06D1BF4CD4F6E38 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:31:40] 927*2^1509554-1 is not prime. Res64: 250A329CECD99600 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:31:41] 699*2^1509555-1 is not prime. Res64: FF3B1E5315125E34 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:32:35] 885*2^1509555-1 is not prime. Res64: F7CAD7BB1EB85215 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:32:35] 921*2^1509555-1 is not prime. Res64: 74C8C4958481E774 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:32:35] 955*2^1509555-1 is not prime. Res64: EB4C93A2060C595B Time : 0.0 sec. user=mdettweiler [2018-05-12 20:32:36] 991*2^1509555-1 is not prime. Res64: 01E177D6906A4BA7 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:32:36] 647*2^1509556-1 is not prime. Res64: 47D76CB586AFD33F Time : 0.0 sec. user=mdettweiler [2018-05-12 20:34:59] 723*2^1509556-1 is not prime. Res64: BDEEB940C0AA50F4 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:35:00] 777*2^1509556-1 is not prime. Res64: DF8E9944DF1E47AE Time : 0.0 sec. user=mdettweiler [2018-05-12 20:35:00] 779*2^1509556-1 is not prime. Res64: 1069E3881413FDA7 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:35:01] 875*2^1509556-1 is not prime. Res64: D3EE7C175F486AB3 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:35:01] 983*2^1509556-1 is not prime. Res64: A017F130B7AB9E74 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:37:26] 607*2^1509557-1 is not prime. Res64: 5695759CDEA6060C Time : 0.0 sec. user=mdettweiler [2018-05-12 20:37:26] 645*2^1509557-1 is not prime. Res64: 03FE4939061811C8 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:37:27] 669*2^1509557-1 is not prime. Res64: 5DE0BD651973EFA2 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:37:27] 741*2^1509557-1 is not prime. Res64: F8F21DE4C799ED62 Time : 0.0 sec. user=mdettweiler [2018-05-12 20:37:27] 871*2^1509557-1 is not prime. Res64: 5EF85A455D1EC89D Time : 0.0 sec. user=mdettweiler [2018-05-12 21:25:20] 891*2^1509558-1 is not prime. Res64: D7B9181F13D950F2 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:25:20] 933*2^1509558-1 is not prime. Res64: D669917DA4EBEFF9 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:25:21] 971*2^1509558-1 is not prime. Res64: 713540DEAADA9449 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:25:21] 625*2^1509559-1 is not prime. Res64: 25315C133DE3BB62 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:25:22] 679*2^1509559-1 is not prime. Res64: 7DD8B2A99C633F74 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:27:23] 885*2^1509557-1 is not prime. Res64: 2E1A545D7B6ADFB4 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:27:23] 939*2^1509557-1 is not prime. Res64: A9A98672A33F176A Time : 0.0 sec. user=mdettweiler [2018-05-12 21:27:23] 955*2^1509557-1 is not prime. Res64: 19E133599A3930A3 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:27:24] 997*2^1509557-1 is not prime. Res64: 19F763E41C2268EF Time : 0.0 sec. user=mdettweiler [2018-05-12 21:27:24] 797*2^1509558-1 is not prime. Res64: 1E1C306AE48F05FC Time : 0.0 sec. user=mdettweiler [2018-05-12 21:30:01] 735*2^1509559-1 is not prime. Res64: 412C2B35CA4BA797 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:30:02] 829*2^1509559-1 is not prime. Res64: FD7FF56EBA586E95 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:30:04] 909*2^1509559-1 is not prime. Res64: 892A79EA2DF831E5 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:30:05] 939*2^1509559-1 is not prime. Res64: 77C88AB046401A98 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:30:05] 975*2^1509559-1 is not prime. Res64: 939BB8AF54654F24 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:31:47] 993*2^1509559-1 is not prime. Res64: 39AC0EB7B747901E Time : 0.0 sec. user=mdettweiler [2018-05-12 21:31:48] 665*2^1509560-1 is not prime. Res64: E88C2547DEC67A2B Time : 0.0 sec. user=mdettweiler [2018-05-12 21:31:48] 759*2^1509560-1 is not prime. Res64: E242502E140C3A40 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:31:48] 797*2^1509560-1 is not prime. Res64: 52589876BEAE1253 Time : 0.0 sec. user=mdettweiler [2018-05-12 21:31:49] 923*2^1509560-1 is not prime. Res64: 7495C76F692CF9A0 Time : 0.0 sec. user=mdettweiler [2018-05-12 22:22:06] 935*2^1509560-1 is not prime. Res64: 7D3930112C86E5B8 Time : 0.0 sec. user=mdettweiler [2018-05-12 22:22:06] 639*2^1509561-1 is not prime. Res64: B231F7C5C7E47D3F Time : 0.0 sec. user=mdettweiler [2018-05-12 22:22:07] 711*2^1509561-1 is not prime. Res64: 38910BEE1EAC2F7E Time : 0.0 sec. user=mdettweiler [2018-05-12 22:22:07] 777*2^1509561-1 is not prime. Res64: 03CD07624B3896EC Time : 0.0 sec. user=mdettweiler [2018-05-12 22:22:07] 847*2^1509561-1 is not prime. Res64: 7F1A40F93A4431DD Time : 0.0 sec. user=odicin [2018-05-12 22:24:45] 661*2^1509565-1 is not prime. Res64: 9CBA97E749B5B2F0 Time : 0.0 sec. user=mdettweiler [2018-05-12 22:26:07] 975*2^1509561-1 is not prime. Res64: 6CAC3B47B2E4EBC0 Time : 0.0 sec. user=mdettweiler [2018-05-12 22:26:07] 653*2^1509562-1 is not prime. Res64: 674451817557D050 Time : 0.0 sec. user=mdettweiler [2018-05-12 22:26:07] 737*2^1509562-1 is not prime. Res64: 0BB68108CF49FD23 Time : 0.0 sec. user=mdettweiler [2018-05-12 22:26:08] 801*2^1509562-1 is not prime. Res64: C18DC959099B8FCC Time : 0.0 sec. user=mdettweiler [2018-05-12 22:26:08] 703*2^1509563-1 is not prime. Res64: 844B071F214489AC Time : 0.0 sec. user=mdettweiler [2018-05-12 22:27:26] 735*2^1509563-1 is not prime. Res64: 9738B80A1CA02A32 Time : 0.0 sec. user=mdettweiler [2018-05-12 22:27:27] 859*2^1509563-1 is not prime. Res64: 18E6142C85110C7E Time : 0.0 sec. user=mdettweiler [2018-05-12 22:27:28] 879*2^1509563-1 is not prime. Res64: 531E2B77FF62FAAF Time : 0.0 sec. user=mdettweiler [2018-05-12 22:27:29] 627*2^1509564-1 is not prime. Res64: F6FE991CAEFB079C Time : 0.0 sec. user=mdettweiler [2018-05-12 22:27:30] 635*2^1509564-1 is not prime. Res64: 408368D6F4F057EC Time : 0.0 sec. user=mdettweiler [2018-05-12 22:28:31] 717*2^1509564-1 is not prime. Res64: 57B4D858AF035D1E Time : 0.0 sec. user=mdettweiler [2018-05-12 22:28:31] 753*2^1509564-1 is not prime. Res64: 96B22676E3072E94 Time : 0.0 sec. user=mdettweiler [2018-05-12 22:28:32] 783*2^1509564-1 is not prime. Res64: 8FFEC58038AC8B3A Time : 0.0 sec. user=mdettweiler [2018-05-12 22:28:32] 825*2^1509564-1 is not prime. Res64: EDACB628D9811D92 Time : 0.0 sec. user=mdettweiler [2018-05-12 22:28:32] 625*2^1509565-1 is not prime. Res64: 6AAEA144A611588E Time : 0.0 sec. user=mdettweiler [2018-05-12 23:14:02] 717*2^1509565-1 is not prime. Res64: DC18BA706EE3CF04 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:14:02] 777*2^1509565-1 is not prime. Res64: 5D13DFC3FF4FEBA4 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:14:03] 799*2^1509565-1 is not prime. Res64: CA172E8BB2B48066 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:14:03] 897*2^1509565-1 is not prime. Res64: 8892DEE16F985EA2 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:14:05] 711*2^1509566-1 is not prime. Res64: 2DA8B5EDF8EEEBC9 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:17:56] 713*2^1509566-1 is not prime. Res64: 1111100EB98889A9 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:17:56] 815*2^1509566-1 is not prime. Res64: 6973BC9D89475295 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:17:57] 843*2^1509566-1 is not prime. Res64: EB4A9987C8A530BB Time : 0.0 sec. user=mdettweiler [2018-05-12 23:17:57] 993*2^1509566-1 is not prime. Res64: 406C7A7F55A77E5F Time : 0.0 sec. user=mdettweiler [2018-05-12 23:17:59] 615*2^1509567-1 is not prime. Res64: C0FACB90EEB4A3D4 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:18:36] 625*2^1509567-1 is not prime. Res64: 3DB2A4DF632AB0A9 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:18:36] 675*2^1509567-1 is not prime. Res64: 9773A09209A43908 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:18:37] 693*2^1509567-1 is not prime. Res64: 3C937A9D5D595B24 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:18:37] 739*2^1509567-1 is not prime. Res64: B1565F75D3053651 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:18:37] 805*2^1509567-1 is not prime. Res64: 83D4CDE35DE39AD0 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:20:02] 829*2^1509567-1 is not prime. Res64: 7819DEC5DF8AD971 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:20:02] 871*2^1509567-1 is not prime. Res64: DDFC18F70172E221 Time : 0.0 sec. user=mdettweiler [2018-05-12 23:20:03] 689*2^1509568-1 is not prime. Res64: 3B94EB1FDAC61F8D Time : 0.0 sec. user=mdettweiler [2018-05-12 23:20:03] 735*2^1509568-1 is not prime. Res64: 84CB2830233D025B Time : 0.0 sec. user=mdettweiler [2018-05-12 23:20:03] 833*2^1509568-1 is not prime. Res64: D99612D51B3E574B Time : 0.0 sec.