user=mdettweiler [2016-04-29 00:09:33] 933*2^1427688-1 is not prime. Res64: B118A3A01B632792 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:09:33] 935*2^1427688-1 is not prime. Res64: 5F5DDE15FB0D4479 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:09:34] 999*2^1427688-1 is not prime. Res64: F3FBC9962BF20179 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:09:34] 661*2^1427689-1 is not prime. Res64: B2540C2E1EC0B5EB Time : 0.0 sec. user=mdettweiler [2016-04-29 00:09:34] 699*2^1427689-1 is not prime. Res64: 5B834BC7C475EFF7 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:13:13] 801*2^1427689-1 is not prime. Res64: BAE729355F4981B5 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:13:13] 855*2^1427689-1 is not prime. Res64: 6AFB0EB6BB8D023C Time : 0.0 sec. user=mdettweiler [2016-04-29 00:13:14] 967*2^1427689-1 is not prime. Res64: 8C2D28EBFAF5E4A7 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:13:14] 605*2^1427690-1 is not prime. Res64: 7272EB9AC7AD1E91 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:13:14] 615*2^1427690-1 is not prime. Res64: AAB0511E59D583F3 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:40:46] 675*2^1427690-1 is not prime. Res64: 30C80EF1DD5408F1 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:40:46] 701*2^1427690-1 is not prime. Res64: F304E58037F57176 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:40:47] 743*2^1427690-1 is not prime. Res64: 78FFCF771C39E26C Time : 0.0 sec. user=mdettweiler [2016-04-29 00:40:47] 861*2^1427690-1 is not prime. Res64: E43436FDB483FB50 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:40:47] 867*2^1427690-1 is not prime. Res64: 1EA6848F43D193E9 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:40:49] 887*2^1427690-1 is not prime. Res64: CA9FA58BC27F6676 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:40:49] 915*2^1427690-1 is not prime. Res64: 0951644E8E434408 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:40:49] 995*2^1427690-1 is not prime. Res64: 500217D5D66066F7 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:40:50] 609*2^1427691-1 is not prime. Res64: 04BE32A128C46819 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:40:50] 735*2^1427691-1 is not prime. Res64: 3A483F7ABB1376F3 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:55:02] 751*2^1427691-1 is not prime. Res64: EC6569FB9165520A Time : 0.0 sec. user=mdettweiler [2016-04-29 00:55:03] 769*2^1427691-1 is not prime. Res64: 472A0AB4B7557F18 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:55:03] 781*2^1427691-1 is not prime. Res64: 92BAE34449E36F37 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:55:03] 801*2^1427691-1 is not prime. Res64: 35590D102B236E75 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:55:04] 825*2^1427691-1 is not prime. Res64: FD674036407B9CE3 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:58:28] 861*2^1427691-1 is not prime. Res64: 21DA183FE3F1E8C8 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:58:28] 931*2^1427691-1 is not prime. Res64: 77DCB378F2796A16 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:58:28] 657*2^1427692-1 is not prime. Res64: B64660420C5C9416 Time : 0.0 sec. user=mdettweiler [2016-04-29 00:58:28] 675*2^1427692-1 is not prime. Res64: 97F60C88D5259EDA Time : 0.0 sec. user=mdettweiler [2016-04-29 00:58:29] 705*2^1427692-1 is not prime. Res64: 1148255031DE4778 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:26:06] 657*2^1427693-1 is not prime. Res64: D0ABB54D705133EB Time : 0.0 sec. user=mdettweiler [2016-04-29 01:26:08] 949*2^1427693-1 is not prime. Res64: F9CBE7A1B010A890 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:26:09] 735*2^1427692-1 is not prime. Res64: 5BEE567414F80C77 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:26:09] 621*2^1427694-1 is not prime. Res64: 0E1FB985C17A28B0 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:26:10] 855*2^1427692-1 is not prime. Res64: 85E6FE6EE29E5B91 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:26:11] 873*2^1427692-1 is not prime. Res64: 997CF00E305FCECF Time : 0.0 sec. user=mdettweiler [2016-04-29 01:26:12] 707*2^1427694-1 is not prime. Res64: 2C924D5D80909FCD Time : 0.0 sec. user=mdettweiler [2016-04-29 01:26:12] 619*2^1427693-1 is not prime. Res64: 75CC0828E520759D Time : 0.0 sec. user=mdettweiler [2016-04-29 01:26:13] 621*2^1427693-1 is not prime. Res64: 7148B644A676202E Time : 0.0 sec. user=mdettweiler [2016-04-29 01:26:13] 711*2^1427694-1 is not prime. Res64: 6FBC5E1C778CF4AD Time : 0.0 sec. user=mdettweiler [2016-04-29 01:40:20] 833*2^1427694-1 is not prime. Res64: 7590575E9E4D8CDC Time : 0.0 sec. user=mdettweiler [2016-04-29 01:40:21] 861*2^1427694-1 is not prime. Res64: F264766389D82945 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:40:21] 873*2^1427694-1 is not prime. Res64: E0A12B246796521D Time : 0.0 sec. user=mdettweiler [2016-04-29 01:40:21] 875*2^1427694-1 is not prime. Res64: 492D0B2A06F9C743 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:40:22] 941*2^1427694-1 is not prime. Res64: 817B6E621287A58B Time : 0.0 sec. user=mdettweiler [2016-04-29 01:43:56] 673*2^1427695-1 is not prime. Res64: 34F27D2650DCBE39 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:43:56] 705*2^1427695-1 is not prime. Res64: E56E10E71B23CB70 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:43:57] 741*2^1427695-1 is not prime. Res64: FD112A63D635F3B0 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:43:57] 843*2^1427695-1 is not prime. Res64: CD3C79FFDAAC7DE4 Time : 0.0 sec. user=mdettweiler [2016-04-29 01:43:57] 913*2^1427695-1 is not prime. Res64: B614D018DB805A51 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:11:50] 943*2^1427695-1 is not prime. Res64: F8CA6839F02014B0 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:11:51] 633*2^1427696-1 is not prime. Res64: 366907F522A6A50C Time : 0.0 sec. user=mdettweiler [2016-04-29 02:11:51] 635*2^1427696-1 is not prime. Res64: 39211F72DDC233C7 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:11:52] 725*2^1427696-1 is not prime. Res64: 039150117DDDFB9B Time : 0.0 sec. user=mdettweiler [2016-04-29 02:11:52] 845*2^1427696-1 is not prime. Res64: 323D357A2F736934 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:12:06] 855*2^1427696-1 is not prime. Res64: B1CBC06593071ED1 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:12:07] 869*2^1427696-1 is not prime. Res64: B0458CD379D7407D Time : 0.0 sec. user=mdettweiler [2016-04-29 02:12:07] 873*2^1427696-1 is not prime. Res64: 079446DF75BA5295 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:12:08] 601*2^1427697-1 is not prime. Res64: EF7774DD4DC45B88 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:12:08] 649*2^1427697-1 is not prime. Res64: 95E7B93F4D85C58C Time : 0.0 sec. user=mdettweiler [2016-04-29 02:25:52] 681*2^1427697-1 is not prime. Res64: 5D4FCBC3E82DAA39 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:25:52] 741*2^1427697-1 is not prime. Res64: EF5D713F70972297 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:25:52] 747*2^1427697-1 is not prime. Res64: E3E62D2B8D05422D Time : 0.0 sec. user=mdettweiler [2016-04-29 02:25:53] 795*2^1427697-1 is not prime. Res64: EB63E12460F59114 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:25:53] 651*2^1427698-1 is not prime. Res64: 4AA128938F3A63A1 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:29:25] 665*2^1427698-1 is not prime. Res64: 6A17E88225CFD134 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:29:26] 677*2^1427698-1 is not prime. Res64: CDC6CBFB72858DDD Time : 0.0 sec. user=mdettweiler [2016-04-29 02:29:26] 705*2^1427698-1 is not prime. Res64: 19DD90DC56CFFA54 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:29:26] 777*2^1427698-1 is not prime. Res64: C958F1A931153F51 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:29:27] 857*2^1427698-1 is not prime. Res64: C8A62620B9815BDC Time : 0.0 sec. user=mdettweiler [2016-04-29 02:57:23] 881*2^1427698-1 is not prime. Res64: 3A6B263D0C90B631 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:57:24] 887*2^1427698-1 is not prime. Res64: E531854C0E3BE1F6 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:57:24] 945*2^1427698-1 is not prime. Res64: 62F6B3D452F5429B Time : 0.0 sec. user=mdettweiler [2016-04-29 02:57:24] 693*2^1427699-1 is not prime. Res64: 69A600423CD8A91E Time : 0.0 sec. user=mdettweiler [2016-04-29 02:57:25] 885*2^1427699-1 is not prime. Res64: 997E9225EE07AECF Time : 0.0 sec. user=mdettweiler [2016-04-29 02:57:35] 939*2^1427699-1 is not prime. Res64: 7D4E77DC260A7B9D Time : 0.0 sec. user=mdettweiler [2016-04-29 02:57:36] 647*2^1427700-1 is not prime. Res64: E8EA16D0470ADB05 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:57:36] 689*2^1427700-1 is not prime. Res64: CEB22F7F326B9921 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:57:36] 695*2^1427700-1 is not prime. Res64: B47AA5EDA7240F76 Time : 0.0 sec. user=mdettweiler [2016-04-29 02:57:36] 723*2^1427700-1 is not prime. Res64: 67D8426074A27497 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:11:38] 797*2^1427700-1 is not prime. Res64: BC037AC69EB96154 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:11:38] 873*2^1427700-1 is not prime. Res64: EF314D2CDF1F2231 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:11:38] 875*2^1427700-1 is not prime. Res64: 00B12BE71F0D6EE2 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:11:39] 909*2^1427700-1 is not prime. Res64: 2231AEDD0E8003F1 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:11:39] 929*2^1427700-1 is not prime. Res64: 0152710B76D32B38 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:14:59] 607*2^1427701-1 is not prime. Res64: 2DB75C7D599A7FE1 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:14:59] 687*2^1427701-1 is not prime. Res64: 484BCE25A3E86F55 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:14:59] 717*2^1427701-1 is not prime. Res64: CF30C20B17E68589 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:15:00] 727*2^1427701-1 is not prime. Res64: 6C8A8180FFFD8D77 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:15:00] 855*2^1427701-1 is not prime. Res64: 4AAEB600B4D508AF Time : 0.0 sec. user=mdettweiler [2016-04-29 03:42:39] 889*2^1427701-1 is not prime. Res64: 1A08C0A2FD454562 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:42:41] 957*2^1427701-1 is not prime. Res64: A3FFC9CD53E615EC Time : 0.0 sec. user=mdettweiler [2016-04-29 03:42:42] 645*2^1427702-1 is not prime. Res64: 00745F2F406DD8F2 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:42:42] 683*2^1427702-1 is not prime. Res64: A2D92A1051FB425B Time : 0.0 sec. user=mdettweiler [2016-04-29 03:42:43] 785*2^1427702-1 is not prime. Res64: 2E4EBE26A47DFFFF Time : 0.0 sec. user=mdettweiler [2016-04-29 03:43:04] 977*2^1427702-1 is not prime. Res64: 4D9DD1888439AAB3 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:43:05] 613*2^1427703-1 is not prime. Res64: 64B6C7A7AAF72DDE Time : 0.0 sec. user=mdettweiler [2016-04-29 03:43:05] 703*2^1427703-1 is not prime. Res64: 1104B71751F8538D Time : 0.0 sec. user=mdettweiler [2016-04-29 03:43:06] 795*2^1427703-1 is not prime. Res64: 15481426E9A7D9C0 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:43:07] 879*2^1427703-1 is not prime. Res64: F72DE8464171EC45 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:57:00] 913*2^1427703-1 is not prime. Res64: 5613C4FF179F66FC Time : 0.0 sec. user=mdettweiler [2016-04-29 03:57:00] 645*2^1427704-1 is not prime. Res64: 190457C8346A2DDF Time : 0.0 sec. user=mdettweiler [2016-04-29 03:57:01] 729*2^1427704-1 is not prime. Res64: 15B2DCE4C52D6B58 Time : 0.0 sec. user=mdettweiler [2016-04-29 03:57:01] 849*2^1427704-1 is not prime. Res64: 24367BB216CA864E Time : 0.0 sec. user=mdettweiler [2016-04-29 03:57:01] 857*2^1427704-1 is not prime. Res64: 16AD45C97D9E4021 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:00:17] 959*2^1427704-1 is not prime. Res64: 9D658E3F53F42ABE Time : 0.0 sec. user=mdettweiler [2016-04-29 04:00:18] 649*2^1427705-1 is not prime. Res64: 8CCDDFEAB9EAF426 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:00:18] 787*2^1427705-1 is not prime. Res64: 518603EB1718894A Time : 0.0 sec. user=mdettweiler [2016-04-29 04:00:19] 837*2^1427705-1 is not prime. Res64: 88D14458A83DFBA6 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:00:19] 711*2^1427706-1 is not prime. Res64: CA16F3226283CBD7 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:29:19] 1001*2^1427706-1 is not prime. Res64: 0469FC6EB8CC3786 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:29:21] 609*2^1427707-1 is not prime. Res64: 73D4A999C23AB78E Time : 0.0 sec. user=mdettweiler [2016-04-29 04:29:21] 619*2^1427707-1 is not prime. Res64: 275071AE6BF3A699 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:29:21] 651*2^1427707-1 is not prime. Res64: 704A6D55E2A5262D Time : 0.0 sec. user=mdettweiler [2016-04-29 04:29:21] 733*2^1427707-1 is not prime. Res64: 4FE4E0AA4E5731F5 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:29:48] 725*2^1427706-1 is not prime. Res64: CEA1C054036C3F17 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:29:48] 783*2^1427706-1 is not prime. Res64: BEAC77F4F5BCDB31 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:29:49] 873*2^1427706-1 is not prime. Res64: 1058C0F4B386CE41 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:29:49] 893*2^1427706-1 is not prime. Res64: 0D53190E869BB122 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:29:49] 945*2^1427706-1 is not prime. Res64: 68F9078372E4C3C6 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:44:05] 813*2^1427707-1 is not prime. Res64: 12F0D077D9A5FD16 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:44:05] 835*2^1427707-1 is not prime. Res64: 207AE5655C926B43 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:44:05] 873*2^1427707-1 is not prime. Res64: F4E9C092236CFC98 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:44:05] 789*2^1427708-1 is not prime. Res64: 65DCE4A597103EAD Time : 0.0 sec. user=mdettweiler [2016-04-29 04:44:06] 843*2^1427708-1 is not prime. Res64: 64473E7FAB996D51 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:46:57] 893*2^1427708-1 is not prime. Res64: 382D18C5F868C077 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:46:57] 999*2^1427708-1 is not prime. Res64: 578CCC1BB3F76F38 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:46:57] 709*2^1427709-1 is not prime. Res64: E1649E9A1421A2F5 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:46:58] 769*2^1427709-1 is not prime. Res64: F9A4593DA5F7BDF9 Time : 0.0 sec. user=mdettweiler [2016-04-29 04:46:58] 789*2^1427709-1 is not prime. Res64: 1A56EC90A65CD2D2 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:14:45] 861*2^1427709-1 is not prime. Res64: EAC5778A6C01E7A6 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:14:46] 885*2^1427709-1 is not prime. Res64: 643129A6ED453DE2 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:14:46] 991*2^1427709-1 is not prime. Res64: 243906EAC1B333F4 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:14:46] 999*2^1427709-1 is not prime. Res64: 010B9AEED589D08A Time : 0.0 sec. user=mdettweiler [2016-04-29 05:14:47] 603*2^1427710-1 is not prime. Res64: E700B3CCECCF4DC6 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:15:00] 635*2^1427710-1 is not prime. Res64: ED1B3774255A1F23 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:15:01] 665*2^1427710-1 is not prime. Res64: 589C59A09CA8F967 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:15:01] 777*2^1427710-1 is not prime. Res64: 4FC833F4FFA1F796 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:15:02] 825*2^1427710-1 is not prime. Res64: 0CA7FF023222A4F7 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:15:02] 917*2^1427710-1 is not prime. Res64: 2BA89F1E5B48743D Time : 0.0 sec. user=mdettweiler [2016-04-29 05:29:37] 609*2^1427711-1 is not prime. Res64: 9128E1C0039F2F9C Time : 0.0 sec. user=mdettweiler [2016-04-29 05:29:37] 619*2^1427711-1 is not prime. Res64: 1DA2C34978A93EB2 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:29:37] 705*2^1427711-1 is not prime. Res64: A96C3B9F9CC704AC Time : 0.0 sec. user=mdettweiler [2016-04-29 05:29:38] 745*2^1427711-1 is not prime. Res64: D25D230B9A97941B Time : 0.0 sec. user=mdettweiler [2016-04-29 05:29:38] 931*2^1427711-1 is not prime. Res64: F3AC4B5F18F1CEEB Time : 0.0 sec. user=mdettweiler [2016-04-29 05:32:20] 689*2^1427712-1 is not prime. Res64: FDE4B05AD83CA332 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:32:20] 723*2^1427712-1 is not prime. Res64: F3D740F6DECEB34B Time : 0.0 sec. user=mdettweiler [2016-04-29 05:32:21] 825*2^1427712-1 is not prime. Res64: 970F4218B740474E Time : 0.0 sec. user=mdettweiler [2016-04-29 05:32:21] 843*2^1427712-1 is not prime. Res64: 6A7C2FC3AA4A8A63 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:32:21] 867*2^1427712-1 is not prime. Res64: 8482D37B9F8BF669 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:59:55] 893*2^1427712-1 is not prime. Res64: CFFF02653D410D21 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:59:55] 917*2^1427712-1 is not prime. Res64: BFD7777BA7D969E6 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:59:55] 933*2^1427712-1 is not prime. Res64: 30CCBEE08FBD5C48 Time : 0.0 sec. user=mdettweiler [2016-04-29 05:59:55] 639*2^1427713-1 is not prime. Res64: 4855B55D671FE7AE Time : 0.0 sec. user=mdettweiler [2016-04-29 05:59:56] 721*2^1427713-1 is not prime. Res64: F3B84442C51263DB Time : 0.0 sec. user=mdettweiler [2016-04-29 06:00:26] 729*2^1427713-1 is not prime. Res64: 110EFF7CEF55C157 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:00:27] 747*2^1427713-1 is not prime. Res64: 8A43D1B60816DF3C Time : 0.0 sec. user=mdettweiler [2016-04-29 06:00:27] 765*2^1427713-1 is not prime. Res64: 7CCFCC85C1AA0EBF Time : 0.0 sec. user=mdettweiler [2016-04-29 06:00:28] 635*2^1427714-1 is not prime. Res64: 2E482291B53D385B Time : 0.0 sec. user=mdettweiler [2016-04-29 06:00:28] 755*2^1427714-1 is not prime. Res64: FDADEB98E48F63D6 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:14:48] 935*2^1427714-1 is not prime. Res64: 1925416C51183AA0 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:14:49] 735*2^1427715-1 is not prime. Res64: D3DF03DC67D1B63E Time : 0.0 sec. user=mdettweiler [2016-04-29 06:14:49] 783*2^1427715-1 is not prime. Res64: 6648F0EED11204F8 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:14:49] 793*2^1427715-1 is not prime. Res64: 9D61E2D5A1FFC2C0 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:14:50] 853*2^1427715-1 is not prime. Res64: 0DC6B809743DD0C8 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:17:38] 951*2^1427715-1 is not prime. Res64: 7898EE86B45D5BE0 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:17:38] 979*2^1427715-1 is not prime. Res64: A0D8807AF32F5748 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:17:38] 991*2^1427715-1 is not prime. Res64: C5EB307966E07A2F Time : 0.0 sec. user=mdettweiler [2016-04-29 06:17:38] 647*2^1427716-1 is not prime. Res64: 1EFD2EF14F799B7E Time : 0.0 sec. user=mdettweiler [2016-04-29 06:17:39] 705*2^1427716-1 is not prime. Res64: 5926A974548954E2 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:45:07] 759*2^1427716-1 is not prime. Res64: F1667C64489C923B Time : 0.0 sec. user=mdettweiler [2016-04-29 06:45:07] 803*2^1427716-1 is not prime. Res64: 39D997A029243DEF Time : 0.0 sec. user=mdettweiler [2016-04-29 06:45:08] 899*2^1427716-1 is not prime. Res64: F378D07A1066D296 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:45:08] 631*2^1427717-1 is not prime. Res64: C9DC8709F5D2B670 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:45:08] 735*2^1427717-1 is not prime. Res64: 9B0A929DB099BBE7 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:45:48] 795*2^1427717-1 is not prime. Res64: E8FCC990DC342F93 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:45:48] 819*2^1427717-1 is not prime. Res64: BF9BAD73769D4C76 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:45:48] 705*2^1427718-1 is not prime. Res64: DCE25812B0F025E2 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:45:49] 711*2^1427718-1 is not prime. Res64: 7AFB67125DF91B41 Time : 0.0 sec. user=mdettweiler [2016-04-29 06:45:49] 713*2^1427718-1 is not prime. Res64: 7C94A53368A2D171 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:00:13] 815*2^1427718-1 is not prime. Res64: 1C42104612135073 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:00:15] 885*2^1427718-1 is not prime. Res64: D21636C03EB66CBD Time : 0.0 sec. user=mdettweiler [2016-04-29 07:00:15] 933*2^1427718-1 is not prime. Res64: DB5C97960AEB00CE Time : 0.0 sec. user=mdettweiler [2016-04-29 07:00:16] 941*2^1427718-1 is not prime. Res64: AEDD4A06FEC3AA7F Time : 0.0 sec. user=mdettweiler [2016-04-29 07:00:16] 963*2^1427718-1 is not prime. Res64: B0CAA7BCCED3E234 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:02:59] 977*2^1427718-1 is not prime. Res64: A4AC0A2AFBDA5C0D Time : 0.0 sec. user=mdettweiler [2016-04-29 07:03:00] 705*2^1427719-1 is not prime. Res64: ABC86FE29F33F25E Time : 0.0 sec. user=mdettweiler [2016-04-29 07:03:00] 723*2^1427719-1 is not prime. Res64: B91AF836D88F91B0 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:03:01] 861*2^1427719-1 is not prime. Res64: 1C833A0FB7C2B27E Time : 0.0 sec. user=mdettweiler [2016-04-29 07:03:01] 931*2^1427719-1 is not prime. Res64: DFFE08446703B5D5 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:30:20] 979*2^1427719-1 is not prime. Res64: D9EB9ABE80F76637 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:30:20] 713*2^1427720-1 is not prime. Res64: 779C8A7AD09E4D20 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:30:20] 785*2^1427720-1 is not prime. Res64: 22084310A9DD9FAA Time : 0.0 sec. user=mdettweiler [2016-04-29 07:30:21] 855*2^1427720-1 is not prime. Res64: 17D85E3AAF1FF45E Time : 0.0 sec. user=mdettweiler [2016-04-29 07:30:21] 923*2^1427720-1 is not prime. Res64: 83C7FF36CCC4AEDB Time : 0.0 sec. user=mdettweiler [2016-04-29 07:31:22] 963*2^1427720-1 is not prime. Res64: D9677D73FB72C391 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:31:23] 607*2^1427721-1 is not prime. Res64: F4FD43ACC4BD5639 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:31:23] 669*2^1427721-1 is not prime. Res64: 395569D579113E84 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:31:23] 685*2^1427721-1 is not prime. Res64: EB1CEDB66D617C68 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:31:23] 691*2^1427721-1 is not prime. Res64: F827896A92B1B25A Time : 0.0 sec. user=mdettweiler [2016-04-29 07:45:36] 747*2^1427721-1 is not prime. Res64: C18C9498FE0D1CAA Time : 0.0 sec. user=mdettweiler [2016-04-29 07:45:36] 867*2^1427721-1 is not prime. Res64: 30B3D7778E9D198A Time : 0.0 sec. user=mdettweiler [2016-04-29 07:45:37] 945*2^1427721-1 is not prime. Res64: 72FF6ACE8AA9544E Time : 0.0 sec. user=mdettweiler [2016-04-29 07:45:37] 969*2^1427721-1 is not prime. Res64: 2E3263BA6F25E2EB Time : 0.0 sec. user=mdettweiler [2016-04-29 07:45:37] 603*2^1427722-1 is not prime. Res64: AA4813B19B668950 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:48:32] 651*2^1427722-1 is not prime. Res64: EA46631BE5703AE0 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:48:33] 671*2^1427722-1 is not prime. Res64: B8A9C241B06AC9F6 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:48:33] 695*2^1427722-1 is not prime. Res64: DCE929ADB97AEBB7 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:48:33] 801*2^1427722-1 is not prime. Res64: B446471509C72651 Time : 0.0 sec. user=mdettweiler [2016-04-29 07:48:33] 923*2^1427722-1 is not prime. Res64: A8F8D0E0BDFF2926 Time : 0.0 sec. user=mdettweiler [2016-04-29 08:15:35] 621*2^1427723-1 is not prime. Res64: 2967684DF9D2E05C Time : 0.0 sec. user=mdettweiler [2016-04-29 08:15:35] 679*2^1427723-1 is not prime. Res64: D6239F380662171F Time : 0.0 sec. user=mdettweiler [2016-04-29 08:15:35] 685*2^1427723-1 is not prime. Res64: 0E420FE9F05367DE Time : 0.0 sec. user=mdettweiler [2016-04-29 08:15:36] 699*2^1427723-1 is not prime. Res64: 8887E68602913E9C Time : 0.0 sec. user=mdettweiler [2016-04-29 08:15:36] 739*2^1427723-1 is not prime. Res64: 2939639CBFD82FFF Time : 0.0 sec. user=mdettweiler [2016-04-29 08:16:33] 825*2^1427723-1 is not prime. Res64: 11CEBFE8FE5FEE9F Time : 0.0 sec. user=mdettweiler [2016-04-29 08:16:33] 915*2^1427723-1 is not prime. Res64: 5A56F4CDB1759CAD Time : 0.0 sec. user=mdettweiler [2016-04-29 08:16:33] 999*2^1427723-1 is not prime. Res64: 7E01D2B2BD837A6D Time : 0.0 sec. user=mdettweiler [2016-04-29 08:16:34] 605*2^1427724-1 is not prime. Res64: 6A3783ACC21376B5 Time : 0.0 sec. user=mdettweiler [2016-04-29 08:16:34] 675*2^1427724-1 is not prime. Res64: A202A50E6BDA503F Time : 0.0 sec. user=mdettweiler [2016-04-29 08:30:55] 893*2^1427724-1 is not prime. Res64: 29C11627010898D2 Time : 0.0 sec. user=mdettweiler [2016-04-29 08:30:55] 625*2^1427725-1 is not prime. Res64: 7470BEF960726D4C Time : 0.0 sec. user=mdettweiler [2016-04-29 08:30:56] 651*2^1427725-1 is not prime. Res64: B97AFA6AF3AC8223 Time : 0.0 sec. user=mdettweiler [2016-04-29 08:30:56] 715*2^1427725-1 is not prime. Res64: 985D4A9DBFC73D37 Time : 0.0 sec. user=mdettweiler [2016-04-29 08:30:56] 721*2^1427725-1 is not prime. Res64: 3384C3EA7CB79D5C Time : 0.0 sec. user=mdettweiler [2016-04-29 08:33:51] 729*2^1427725-1 is not prime. Res64: 115568E39E58B6E9 Time : 0.0 sec. user=mdettweiler [2016-04-29 08:33:52] 777*2^1427725-1 is not prime. Res64: EE7031A164C4776C Time : 0.0 sec. user=mdettweiler [2016-04-29 08:33:52] 805*2^1427725-1 is not prime. Res64: 0BB3FF5D5BEAE227 Time : 0.0 sec. user=mdettweiler [2016-04-29 08:33:52] 641*2^1427726-1 is not prime. Res64: FA8AA3E0313BE6FC Time : 0.0 sec. user=mdettweiler [2016-04-29 08:33:52] 767*2^1427726-1 is not prime. Res64: 93FD1CC64C3D1EDC Time : 0.0 sec. user=mdettweiler [2016-04-29 09:01:06] 911*2^1427726-1 is not prime. Res64: 5ADFF3AFCEC7DC8B Time : 0.0 sec. user=mdettweiler [2016-04-29 09:01:07] 941*2^1427726-1 is not prime. Res64: BEF70E2EA4A142E5 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:01:07] 971*2^1427726-1 is not prime. Res64: E8D52895DF8DBF51 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:01:08] 983*2^1427726-1 is not prime. Res64: E7276AA3FDFF2044 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:01:08] 1001*2^1427726-1 is not prime. Res64: 8F4386B7AD09BB06 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:01:59] 609*2^1427727-1 is not prime. Res64: DF9E537D5E59FE3C Time : 0.0 sec. user=mdettweiler [2016-04-29 09:02:00] 669*2^1427727-1 is not prime. Res64: 6B49E2EF3DD2468D Time : 0.0 sec. user=mdettweiler [2016-04-29 09:02:01] 775*2^1427727-1 is not prime. Res64: 10B40061D63C2991 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:02:01] 825*2^1427727-1 is not prime. Res64: 04AC63C287735489 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:02:02] 879*2^1427727-1 is not prime. Res64: BE66AB2D53DE6A55 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:16:09] 991*2^1427727-1 is not prime. Res64: 2B65237540ABEBC8 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:16:09] 635*2^1427728-1 is not prime. Res64: 5617E2A172FF2CED Time : 0.0 sec. user=mdettweiler [2016-04-29 09:16:10] 645*2^1427728-1 is not prime. Res64: 898F1F27D4A0B4B2 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:16:10] 657*2^1427728-1 is not prime. Res64: 1C99142E74E58512 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:16:10] 695*2^1427728-1 is not prime. Res64: 254E531F9C3DB9EF Time : 0.0 sec. user=mdettweiler [2016-04-29 09:19:30] 723*2^1427728-1 is not prime. Res64: A7C5D50329BC93AF Time : 0.0 sec. user=mdettweiler [2016-04-29 09:19:30] 825*2^1427728-1 is not prime. Res64: 78BDBD97432EA7D2 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:19:31] 887*2^1427728-1 is not prime. Res64: 927A9BD2C5C28CAF Time : 0.0 sec. user=mdettweiler [2016-04-29 09:19:31] 927*2^1427728-1 is not prime. Res64: 838BA91063C64D4E Time : 0.0 sec. user=mdettweiler [2016-04-29 09:19:31] 615*2^1427729-1 is not prime. Res64: 36B9AA3C141A8990 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:46:41] 627*2^1427729-1 is not prime. Res64: 51B0E187D05E7A7B Time : 0.0 sec. user=mdettweiler [2016-04-29 09:46:42] 711*2^1427729-1 is not prime. Res64: 40AEA7D7C3399776 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:46:42] 769*2^1427729-1 is not prime. Res64: 60D6410EAA540866 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:46:42] 979*2^1427729-1 is not prime. Res64: 114CB2ABD2A26533 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:46:42] 681*2^1427730-1 is not prime. Res64: CC3D86224343DDD5 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:47:20] 765*2^1427730-1 is not prime. Res64: C3C931A6DE7CB6FA Time : 0.0 sec. user=mdettweiler [2016-04-29 09:47:20] 783*2^1427730-1 is not prime. Res64: 5055A177CAEBB370 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:47:21] 845*2^1427730-1 is not prime. Res64: 38079386A4B4690A Time : 0.0 sec. user=mdettweiler [2016-04-29 09:47:21] 851*2^1427730-1 is not prime. Res64: A18AAF835A6A6B97 Time : 0.0 sec. user=mdettweiler [2016-04-29 09:47:21] 927*2^1427730-1 is not prime. Res64: 0EA2726799A3D89F Time : 0.0 sec. user=mdettweiler [2016-04-29 10:01:26] 977*2^1427730-1 is not prime. Res64: 6F78EBCE0C303DFD Time : 0.0 sec. user=mdettweiler [2016-04-29 10:01:27] 619*2^1427731-1 is not prime. Res64: 4F6AB58F968C24A4 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:01:28] 663*2^1427731-1 is not prime. Res64: 28FAB7DBD69786C6 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:01:29] 673*2^1427731-1 is not prime. Res64: 9A3B3E0644723355 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:01:30] 681*2^1427731-1 is not prime. Res64: 7015DA53FA20D4A3 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:05:03] 693*2^1427731-1 is not prime. Res64: 9548D836C1C01CB2 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:05:04] 703*2^1427731-1 is not prime. Res64: 3A6D8A4C990959BB Time : 0.0 sec. user=mdettweiler [2016-04-29 10:05:05] 771*2^1427731-1 is not prime. Res64: 9BE46A07DF0E1385 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:05:06] 913*2^1427731-1 is not prime. Res64: A0E0C75D88764E63 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:05:07] 925*2^1427731-1 is not prime. Res64: 3E9BE0AABB46DE3B Time : 0.0 sec. user=mdettweiler [2016-04-29 10:32:00] 999*2^1427731-1 is not prime. Res64: F3AF426B153A460A Time : 0.0 sec. user=mdettweiler [2016-04-29 10:32:01] 675*2^1427732-1 is not prime. Res64: 3630E4901F5538C2 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:32:01] 885*2^1427732-1 is not prime. Res64: F3E5DF1942A9C46B Time : 0.0 sec. user=mdettweiler [2016-04-29 10:32:01] 897*2^1427732-1 is not prime. Res64: EED160AC632B3EFD Time : 0.0 sec. user=mdettweiler [2016-04-29 10:32:01] 909*2^1427732-1 is not prime. Res64: 24C2628F3476F4A9 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:32:35] 627*2^1427733-1 is not prime. Res64: 3B29A6778AB1A6FE Time : 0.0 sec. user=mdettweiler [2016-04-29 10:32:35] 679*2^1427733-1 is not prime. Res64: 3B49569963B87C81 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:32:36] 691*2^1427733-1 is not prime. Res64: 7462F7A8583CCC41 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:32:36] 747*2^1427733-1 is not prime. Res64: EDFFA92B4B8365C6 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:32:36] 769*2^1427733-1 is not prime. Res64: 6936DE9D0A72FC31 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:47:05] 805*2^1427733-1 is not prime. Res64: DEAB8861DB5D227C Time : 0.0 sec. user=mdettweiler [2016-04-29 10:47:06] 861*2^1427733-1 is not prime. Res64: 44D3CEC29C3382C5 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:47:06] 867*2^1427733-1 is not prime. Res64: 66800DF15A268645 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:47:06] 895*2^1427733-1 is not prime. Res64: F8457C45DDE14A91 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:47:06] 915*2^1427733-1 is not prime. Res64: 8FDDA317E11C978A Time : 0.0 sec. user=mdettweiler [2016-04-29 10:50:37] 985*2^1427733-1 is not prime. Res64: 11F7BA46245CBB3E Time : 0.0 sec. user=mdettweiler [2016-04-29 10:50:37] 657*2^1427734-1 is not prime. Res64: CBE47F82E394BCF0 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:50:38] 705*2^1427734-1 is not prime. Res64: BF7C542BFD46BB01 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:50:38] 717*2^1427734-1 is not prime. Res64: DC8B61A5A91BDA36 Time : 0.0 sec. user=mdettweiler [2016-04-29 10:50:38] 747*2^1427734-1 is not prime. Res64: 53F84B06A08A2562 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:17:25] 791*2^1427734-1 is not prime. Res64: 569D8EA1954B6C28 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:17:25] 643*2^1427735-1 is not prime. Res64: ABCC1A5452A84524 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:17:26] 805*2^1427735-1 is not prime. Res64: E7F5F53A5D69F543 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:17:26] 963*2^1427735-1 is not prime. Res64: 95BE64EECFD91B9D Time : 0.0 sec. user=mdettweiler [2016-04-29 11:17:26] 979*2^1427735-1 is not prime. Res64: 82B44833ACC76F9E Time : 0.0 sec. user=mdettweiler [2016-04-29 11:17:57] 693*2^1427736-1 is not prime. Res64: D198AB6540B4AB0D Time : 0.0 sec. user=mdettweiler [2016-04-29 11:17:57] 695*2^1427736-1 is not prime. Res64: AE35EAC781E9BFBD Time : 0.0 sec. user=mdettweiler [2016-04-29 11:17:57] 707*2^1427736-1 is not prime. Res64: 6C1E483E29EF1C3F Time : 0.0 sec. user=mdettweiler [2016-04-29 11:17:58] 725*2^1427736-1 is not prime. Res64: 9B66CB3362381973 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:17:58] 845*2^1427736-1 is not prime. Res64: 9B0298D9E70A9831 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:32:25] 905*2^1427736-1 is not prime. Res64: 46741382D66A8F1F Time : 0.0 sec. user=mdettweiler [2016-04-29 11:32:25] 909*2^1427736-1 is not prime. Res64: 8699A37818226F52 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:32:26] 861*2^1427737-1 is not prime. Res64: C3C156916086ED46 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:32:26] 985*2^1427737-1 is not prime. Res64: 444E4C1AD064847F Time : 0.0 sec. user=mdettweiler [2016-04-29 11:32:26] 837*2^1427738-1 is not prime. Res64: A3589491F937CC56 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:35:57] 861*2^1427738-1 is not prime. Res64: D0627C0F28838B95 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:35:57] 909*2^1427739-1 is not prime. Res64: 472A72BAA95ABE48 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:35:58] 603*2^1427740-1 is not prime. Res64: 26FEDF8E106482F6 Time : 0.0 sec. user=mdettweiler [2016-04-29 11:35:58] 687*2^1427740-1 is not prime. Res64: AAF0DF73F1A049BA Time : 0.0 sec. user=mdettweiler [2016-04-29 11:35:58] 689*2^1427740-1 is not prime. Res64: 6E40E0E220BA983D Time : 0.0 sec. user=mdettweiler [2016-04-29 12:03:03] 845*2^1427740-1 is not prime. Res64: 09BC7567BBC2FBB6 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:03:04] 875*2^1427740-1 is not prime. Res64: 43A2935B1FF3D9C2 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:03:06] 885*2^1427740-1 is not prime. Res64: 028FD6AA6E149B93 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:03:06] 939*2^1427740-1 is not prime. Res64: 995CA04B2FBEA5BC Time : 0.0 sec. user=mdettweiler [2016-04-29 12:03:07] 697*2^1427741-1 is not prime. Res64: 88A94268EC6AA1E0 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:03:34] 711*2^1427741-1 is not prime. Res64: 22EB587A224EA660 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:03:35] 717*2^1427741-1 is not prime. Res64: 026610480CA07569 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:03:38] 811*2^1427741-1 is not prime. Res64: E4E140C7D44657E9 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:03:39] 837*2^1427741-1 is not prime. Res64: 0B1BFA5B94AB69BC Time : 0.0 sec. user=mdettweiler [2016-04-29 12:03:40] 871*2^1427741-1 is not prime. Res64: 611F32ADA5776508 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:17:56] 885*2^1427741-1 is not prime. Res64: D3C6725C03B94152 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:17:56] 889*2^1427741-1 is not prime. Res64: 1E820E7C7FCD6680 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:17:56] 695*2^1427742-1 is not prime. Res64: 1E749C2FE221B0B3 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:17:57] 713*2^1427742-1 is not prime. Res64: F1854EDB5BDD357A Time : 0.0 sec. user=mdettweiler [2016-04-29 12:17:57] 765*2^1427742-1 is not prime. Res64: 4DD43FB099BC632A Time : 0.0 sec. user=mdettweiler [2016-04-29 12:21:17] 873*2^1427742-1 is not prime. Res64: 2CAD1B196F4753BF Time : 0.0 sec. user=mdettweiler [2016-04-29 12:21:17] 893*2^1427742-1 is not prime. Res64: F5429B8675A134D4 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:21:17] 903*2^1427742-1 is not prime. Res64: 996215CD9E96960C Time : 0.0 sec. user=mdettweiler [2016-04-29 12:21:18] 1001*2^1427742-1 is not prime. Res64: FDC126F9E63CF8EA Time : 0.0 sec. user=mdettweiler [2016-04-29 12:21:18] 793*2^1427743-1 is not prime. Res64: BDF6B0689A3EE7B6 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:48:43] 871*2^1427743-1 is not prime. Res64: 4C3E4FC501BA3A04 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:48:43] 615*2^1427744-1 is not prime. Res64: 044E885B81E4BE4C Time : 0.0 sec. user=mdettweiler [2016-04-29 12:48:43] 635*2^1427744-1 is not prime. Res64: F3495282E5ACB3DA Time : 0.0 sec. user=mdettweiler [2016-04-29 12:48:44] 957*2^1427744-1 is not prime. Res64: 7CA03957FBDC8C4E Time : 0.0 sec. user=mdettweiler [2016-04-29 12:48:44] 741*2^1427745-1 is not prime. Res64: 5BD72F8BE4B4558F Time : 0.0 sec. user=mdettweiler [2016-04-29 12:49:13] 777*2^1427745-1 is not prime. Res64: 2D71E39D36F71D26 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:49:13] 847*2^1427745-1 is not prime. Res64: 0A6430AD8BE72904 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:49:13] 895*2^1427745-1 is not prime. Res64: 1925A45C29089194 Time : 0.0 sec. user=mdettweiler [2016-04-29 12:49:14] 915*2^1427745-1 is not prime. Res64: BDC7090C5DC0DA5F Time : 0.0 sec. user=mdettweiler [2016-04-29 12:49:14] 955*2^1427745-1 is not prime. Res64: FDD34DA543CBDC2A Time : 0.0 sec. user=mdettweiler [2016-04-29 13:03:17] 999*2^1427745-1 is not prime. Res64: 42B817BD76E094AF Time : 0.0 sec. user=mdettweiler [2016-04-29 13:03:18] 657*2^1427746-1 is not prime. Res64: 9E3B5B0C3FCEE054 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:03:19] 675*2^1427746-1 is not prime. Res64: 9797C04DFB7ACE97 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:03:20] 737*2^1427746-1 is not prime. Res64: F38FB4AF1DAAB5B0 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:03:21] 941*2^1427746-1 is not prime. Res64: 9ACB7A0B54E09DDE Time : 0.0 sec. user=mdettweiler [2016-04-29 13:06:34] 693*2^1427747-1 is not prime. Res64: 89B83F662994D977 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:06:35] 705*2^1427747-1 is not prime. Res64: 3C889705CC57BBE0 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:06:35] 711*2^1427747-1 is not prime. Res64: F358040C99CFD4F3 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:06:35] 759*2^1427747-1 is not prime. Res64: 8E76E0BDD92C70B6 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:06:35] 813*2^1427747-1 is not prime. Res64: 02259939099F4A71 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:34:17] 871*2^1427747-1 is not prime. Res64: 697DDF45E6A561A9 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:34:18] 979*2^1427747-1 is not prime. Res64: 4E88C1ABCD2404AF Time : 0.0 sec. user=mdettweiler [2016-04-29 13:34:18] 993*2^1427747-1 is not prime. Res64: CFFDD70B2BA76857 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:34:18] 999*2^1427747-1 is not prime. Res64: 61BDF19A95E702FE Time : 0.0 sec. user=mdettweiler [2016-04-29 13:34:18] 669*2^1427748-1 is not prime. Res64: 59C1162DB6ACE2BD Time : 0.0 sec. user=mdettweiler [2016-04-29 13:34:34] 725*2^1427748-1 is not prime. Res64: F73298A6DE52275B Time : 0.0 sec. user=mdettweiler [2016-04-29 13:34:34] 621*2^1427749-1 is not prime. Res64: 982E8F3C067A95A6 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:34:34] 801*2^1427749-1 is not prime. Res64: 819407E0403EE95F Time : 0.0 sec. user=mdettweiler [2016-04-29 13:34:35] 997*2^1427749-1 is not prime. Res64: BAFD982DF04F1866 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:34:35] 635*2^1427750-1 is not prime. Res64: 9C571CB3D2A5EE85 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:49:01] 773*2^1427750-1 is not prime. Res64: C9A2E9A31D80D0EF Time : 0.0 sec. user=mdettweiler [2016-04-29 13:49:01] 801*2^1427750-1 is not prime. Res64: C76432F435A3C13C Time : 0.0 sec. user=mdettweiler [2016-04-29 13:49:02] 945*2^1427750-1 is not prime. Res64: 3B9C2952CC8F2E73 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:49:02] 965*2^1427750-1 is not prime. Res64: 9C7AC1B6F74F93E8 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:49:02] 981*2^1427750-1 is not prime. Res64: B609D2A227854A9F Time : 0.0 sec. user=mdettweiler [2016-04-29 13:51:55] 661*2^1427751-1 is not prime. Res64: AC6B1544BBD046DE Time : 0.0 sec. user=mdettweiler [2016-04-29 13:51:55] 669*2^1427751-1 is not prime. Res64: 3F709FC94B5D0F1E Time : 0.0 sec. user=mdettweiler [2016-04-29 13:51:55] 705*2^1427751-1 is not prime. Res64: CBC2D15C159376B6 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:51:55] 775*2^1427751-1 is not prime. Res64: BC31652BA9733723 Time : 0.0 sec. user=mdettweiler [2016-04-29 13:51:56] 891*2^1427751-1 is not prime. Res64: 3A41A6487AD6ECE1 Time : 0.0 sec. user=mdettweiler [2016-04-29 14:19:36] 645*2^1427752-1 is not prime. Res64: 39459912457F311E Time : 0.0 sec. user=mdettweiler [2016-04-29 14:19:36] 713*2^1427752-1 is not prime. Res64: C27ED8552128473E Time : 0.0 sec. user=mdettweiler [2016-04-29 14:19:37] 717*2^1427752-1 is not prime. Res64: E5451F47F7EAB05A Time : 0.0 sec. user=mdettweiler [2016-04-29 14:19:37] 743*2^1427752-1 is not prime. Res64: 66CF9568805D539E Time : 0.0 sec. user=mdettweiler [2016-04-29 14:19:37] 827*2^1427752-1 is not prime. Res64: 86579C812DCBF7D5 Time : 0.0 sec. user=mdettweiler [2016-04-29 14:19:56] 685*2^1427753-1 is not prime. Res64: 6D5CCC1AA0826A99 Time : 0.0 sec. user=mdettweiler [2016-04-29 14:19:56] 745*2^1427753-1 is not prime. Res64: 812C25B5FE401F36 Time : 0.0 sec. user=mdettweiler [2016-04-29 14:19:56] 747*2^1427753-1 is not prime. Res64: 1211E02A8176A5A5 Time : 0.0 sec. user=mdettweiler [2016-04-29 14:19:57] 681*2^1427754-1 is not prime. Res64: 57EAC564E2E3F0FB Time : 0.0 sec. user=mdettweiler [2016-04-29 14:19:57] 705*2^1427754-1 is not prime. Res64: 7FBE7A98FC5ACF88 Time : 0.0 sec. user=mdettweiler [2016-04-29 14:34:15] 765*2^1427754-1 is not prime. Res64: 51592C46F853856B Time : 0.0 sec. user=mdettweiler [2016-04-29 14:34:15] 951*2^1427754-1 is not prime. Res64: EA7648C6669369E1 Time : 0.0 sec. user=mdettweiler [2016-04-29 14:34:16] 673*2^1427755-1 is not prime. Res64: C8703FB5F3D92990 Time : 0.0 sec. user=mdettweiler [2016-04-29 14:34:16] 741*2^1427755-1 is not prime. Res64: 13C919EC531800F4 Time : 0.0 sec. user=mdettweiler [2016-04-29 14:34:16] 789*2^1427755-1 is not prime. Res64: 5A720F2D2C56ED8E Time : 0.0 sec. user=mdettweiler [2016-04-29 14:37:11] 871*2^1427755-1 is not prime. Res64: 6213FC6F9FD6BE7F Time : 0.0 sec. user=mdettweiler [2016-04-29 14:37:11] 919*2^1427755-1 is not prime. Res64: EDE23BF7264CCEAB Time : 0.0 sec. user=mdettweiler [2016-04-29 14:37:11] 961*2^1427755-1 is not prime. Res64: 3EEB3CD589D07EAF Time : 0.0 sec. user=mdettweiler [2016-04-29 14:37:12] 969*2^1427755-1 is not prime. Res64: B82768666250D5F2 Time : 0.0 sec. user=mdettweiler [2016-04-29 14:37:12] 717*2^1427756-1 is not prime. Res64: BA76F6A8B8CBF794 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:05:03] 759*2^1427756-1 is not prime. Res64: 9F5091AF2CFE5F9C Time : 0.0 sec. user=mdettweiler [2016-04-29 15:05:05] 869*2^1427756-1 is not prime. Res64: 868F27CDA74CF4E9 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:05:06] 993*2^1427756-1 is not prime. Res64: 4268CFE3EE3A07CD Time : 0.0 sec. user=mdettweiler [2016-04-29 15:05:07] 607*2^1427757-1 is not prime. Res64: A76EECD8384F8AFF Time : 0.0 sec. user=mdettweiler [2016-04-29 15:05:08] 625*2^1427757-1 is not prime. Res64: D897EF7917D0532D Time : 0.0 sec. user=mdettweiler [2016-04-29 15:05:34] 831*2^1427757-1 is not prime. Res64: 392EC56D288D282F Time : 0.0 sec. user=mdettweiler [2016-04-29 15:05:35] 861*2^1427757-1 is not prime. Res64: BE2A7724FDA104A8 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:05:37] 865*2^1427757-1 is not prime. Res64: 1744E82BB8E720D1 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:05:38] 611*2^1427758-1 is not prime. Res64: 061E8C027289526E Time : 0.0 sec. user=mdettweiler [2016-04-29 15:05:39] 687*2^1427758-1 is not prime. Res64: F94BBC52575C4490 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:20:15] 713*2^1427758-1 is not prime. Res64: 6EAB5498A0637DB4 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:20:15] 827*2^1427758-1 is not prime. Res64: 22A9B253BA770139 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:20:16] 845*2^1427758-1 is not prime. Res64: 22D90A60A4ED57E0 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:20:16] 885*2^1427758-1 is not prime. Res64: EE9D73AA21A9CE67 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:20:16] 923*2^1427758-1 is not prime. Res64: 2BEB084A7A950C67 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:23:19] 971*2^1427758-1 is not prime. Res64: C676477DFE233DBE Time : 0.0 sec. user=mdettweiler [2016-04-29 15:23:20] 981*2^1427758-1 is not prime. Res64: 0105C869439E4AFA Time : 0.0 sec. user=mdettweiler [2016-04-29 15:23:20] 621*2^1427759-1 is not prime. Res64: A7951481D9519ECD Time : 0.0 sec. user=mdettweiler [2016-04-29 15:23:20] 685*2^1427759-1 is not prime. Res64: 8790BAF2896FA5EA Time : 0.0 sec. user=mdettweiler [2016-04-29 15:23:20] 703*2^1427759-1 is not prime. Res64: 3F1E01147CD90EF1 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:52:12] 735*2^1427759-1 is not prime. Res64: 64DD40A1D07E5120 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:52:13] 855*2^1427759-1 is not prime. Res64: CFD5623E0C97C7CC Time : 0.0 sec. user=mdettweiler [2016-04-29 15:52:13] 955*2^1427759-1 is not prime. Res64: A37A9BB3EDEEDF46 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:52:14] 693*2^1427760-1 is not prime. Res64: D9A91FCFDBD7DA23 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:52:14] 695*2^1427760-1 is not prime. Res64: 671EF474E90E9497 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:52:24] 713*2^1427760-1 is not prime. Res64: 2948153F37241851 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:52:25] 753*2^1427760-1 is not prime. Res64: 3C6113B1925503D8 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:52:25] 825*2^1427760-1 is not prime. Res64: 6A403363B609AF5F Time : 0.0 sec. user=mdettweiler [2016-04-29 15:52:26] 957*2^1427760-1 is not prime. Res64: 6E69D3D230200244 Time : 0.0 sec. user=mdettweiler [2016-04-29 15:52:26] 975*2^1427760-1 is not prime. Res64: EE6894AFACA93089 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:07:29] 651*2^1427761-1 is not prime. Res64: E399EB78987A1923 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:07:30] 705*2^1427761-1 is not prime. Res64: FB228055BC5B50E7 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:07:30] 771*2^1427761-1 is not prime. Res64: 268C27C952537EF0 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:07:31] 835*2^1427761-1 is not prime. Res64: 8F61A119392F9D89 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:07:31] 849*2^1427761-1 is not prime. Res64: 096310539909A11E Time : 0.0 sec. user=mdettweiler [2016-04-29 16:10:11] 901*2^1427761-1 is not prime. Res64: 295A7975B36BC654 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:10:11] 945*2^1427761-1 is not prime. Res64: 8B98F6C4F45429BC Time : 0.0 sec. user=mdettweiler [2016-04-29 16:10:12] 987*2^1427761-1 is not prime. Res64: 9085B7B9F4F1DB18 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:10:12] 997*2^1427761-1 is not prime. Res64: 4093C7E2D5B57281 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:10:13] 665*2^1427762-1 is not prime. Res64: 498F85C44B11EA26 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:39:37] 741*2^1427762-1 is not prime. Res64: 558FBAC9750BC89A Time : 0.0 sec. user=mdettweiler [2016-04-29 16:39:38] 797*2^1427762-1 is not prime. Res64: 922E3728466576F4 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:39:38] 815*2^1427762-1 is not prime. Res64: 25F87F49F771D9B5 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:39:39] 831*2^1427762-1 is not prime. Res64: 37C71324FFD6003C Time : 0.0 sec. user=mdettweiler [2016-04-29 16:39:39] 843*2^1427762-1 is not prime. Res64: 5C6BCB1AE04B2720 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:39:40] 885*2^1427762-1 is not prime. Res64: 865E79AC4C94A041 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:39:40] 649*2^1427763-1 is not prime. Res64: 902CE2FA792C6B99 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:39:41] 703*2^1427763-1 is not prime. Res64: 2A97630AF620B4B7 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:39:41] 735*2^1427763-1 is not prime. Res64: 75BC4A17BBEA6AA2 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:39:41] 795*2^1427763-1 is not prime. Res64: A5E59A01413F6249 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:54:42] 835*2^1427763-1 is not prime. Res64: CA5103E22B59932F Time : 0.0 sec. user=mdettweiler [2016-04-29 16:54:42] 919*2^1427763-1 is not prime. Res64: 71B84706EC79385D Time : 0.0 sec. user=mdettweiler [2016-04-29 16:54:43] 949*2^1427763-1 is not prime. Res64: 1039F613F5854C69 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:54:43] 609*2^1427764-1 is not prime. Res64: BF9DF3B4C36460CA Time : 0.0 sec. user=mdettweiler [2016-04-29 16:54:44] 615*2^1427764-1 is not prime. Res64: 5012157A8AA309D4 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:57:04] 759*2^1427764-1 is not prime. Res64: E57E70A8DB721615 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:57:04] 765*2^1427764-1 is not prime. Res64: F3442A35F2DA2229 Time : 0.0 sec. user=mdettweiler [2016-04-29 16:57:05] 827*2^1427764-1 is not prime. Res64: B3CB56B17CC9AFDC Time : 0.0 sec. user=mdettweiler [2016-04-29 16:57:05] 875*2^1427764-1 is not prime. Res64: 70EB50EEE0976E2E Time : 0.0 sec. user=mdettweiler [2016-04-29 16:57:05] 903*2^1427764-1 is not prime. Res64: 0115680406AB6517 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:24:36] 929*2^1427764-1 is not prime. Res64: 49E5DBF733E95368 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:24:36] 983*2^1427764-1 is not prime. Res64: 1D5EA65C4329CC9E Time : 0.0 sec. user=mdettweiler [2016-04-29 17:24:37] 781*2^1427765-1 is not prime. Res64: B56163B1BDF949A7 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:24:37] 789*2^1427765-1 is not prime. Res64: F59269A636178036 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:24:37] 867*2^1427765-1 is not prime. Res64: FC35AC2B19F8D4FC Time : 0.0 sec. user=mdettweiler [2016-04-29 17:24:43] 671*2^1427766-1 is not prime. Res64: 3F19FD3BB57EB6C3 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:24:43] 875*2^1427766-1 is not prime. Res64: 3C15AB23EC4AEF49 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:24:43] 893*2^1427766-1 is not prime. Res64: 7569F783BED618F6 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:24:44] 975*2^1427766-1 is not prime. Res64: ACCEE2FBD8DC8732 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:24:44] 983*2^1427766-1 is not prime. Res64: DE55E78B23D5DAB5 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:39:35] 845*2^1427768-1 is not prime. Res64: F20F4C798DC67210 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:39:36] 899*2^1427768-1 is not prime. Res64: B0B7E5306A290B7F Time : 0.0 sec. user=mdettweiler [2016-04-29 17:39:36] 625*2^1427769-1 is not prime. Res64: 4DF2A8697596B672 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:39:36] 667*2^1427769-1 is not prime. Res64: 4EE52634D3B929CE Time : 0.0 sec. user=mdettweiler [2016-04-29 17:39:37] 751*2^1427769-1 is not prime. Res64: 05AAD083CEADDFEB Time : 0.0 sec. user=mdettweiler [2016-04-29 17:42:02] 787*2^1427769-1 is not prime. Res64: 67BD2EC5EFADED06 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:42:03] 831*2^1427769-1 is not prime. Res64: F922E8A14FBA79B6 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:42:03] 885*2^1427769-1 is not prime. Res64: 0E74C74FF4E29903 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:42:03] 895*2^1427769-1 is not prime. Res64: 9CE125BE7CA00312 Time : 0.0 sec. user=mdettweiler [2016-04-29 17:42:04] 951*2^1427769-1 is not prime. Res64: BE748B5135CD94A5 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:09:34] 985*2^1427769-1 is not prime. Res64: 741FACD46EBDBAD9 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:09:35] 603*2^1427770-1 is not prime. Res64: B7AAC818FFE6E8EE Time : 0.0 sec. user=mdettweiler [2016-04-29 18:09:35] 605*2^1427770-1 is not prime. Res64: 6658550E54B8C113 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:09:36] 657*2^1427770-1 is not prime. Res64: 27D07D895FAA5F7A Time : 0.0 sec. user=mdettweiler [2016-04-29 18:09:36] 675*2^1427770-1 is not prime. Res64: 210DFD6853FA58BF Time : 0.0 sec. user=mdettweiler [2016-04-29 18:09:44] 755*2^1427770-1 is not prime. Res64: 2460ADFF3774A1A7 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:09:44] 821*2^1427770-1 is not prime. Res64: 37DACFDB615408A4 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:09:45] 833*2^1427770-1 is not prime. Res64: 88A7EB064A65F202 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:09:45] 873*2^1427770-1 is not prime. Res64: 5728BF06D51454AE Time : 0.0 sec. user=mdettweiler [2016-04-29 18:09:46] 887*2^1427770-1 is not prime. Res64: DEA48F91655231B3 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:24:34] 933*2^1427770-1 is not prime. Res64: EDE6997C21894359 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:24:35] 693*2^1427771-1 is not prime. Res64: D8B9ED874A65039C Time : 0.0 sec. user=mdettweiler [2016-04-29 18:24:35] 775*2^1427771-1 is not prime. Res64: 5350C073C57BC4CA Time : 0.0 sec. user=mdettweiler [2016-04-29 18:24:36] 909*2^1427771-1 is not prime. Res64: 8AF7C0F13D25950F Time : 0.0 sec. user=mdettweiler [2016-04-29 18:24:36] 955*2^1427771-1 is not prime. Res64: 952D2489EF5C652E Time : 0.0 sec. user=mdettweiler [2016-04-29 18:27:08] 981*2^1427771-1 is not prime. Res64: 480B5D79E11DCC95 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:27:09] 669*2^1427772-1 is not prime. Res64: FBA9EE6023444D6F Time : 0.0 sec. user=mdettweiler [2016-04-29 18:27:10] 779*2^1427772-1 is not prime. Res64: 210878CDE19902DE Time : 0.0 sec. user=mdettweiler [2016-04-29 18:27:11] 819*2^1427772-1 is not prime. Res64: 3A2591C5E76275B3 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:27:11] 837*2^1427772-1 is not prime. Res64: C4954592FAFE6F3C Time : 0.0 sec. user=mdettweiler [2016-04-29 18:54:57] 873*2^1427772-1 is not prime. Res64: FA86F6B2CB085EE9 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:54:58] 903*2^1427772-1 is not prime. Res64: 061019DAC8D0AAA7 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:54:58] 757*2^1427773-1 is not prime. Res64: 871A98834764E8C6 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:54:58] 977*2^1427772-1 is not prime. Res64: AB64AF8946C37CD1 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:54:58] 789*2^1427773-1 is not prime. Res64: 132F2CF0B49A70C2 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:54:59] 625*2^1427773-1 is not prime. Res64: CA2AB4181DD9B853 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:54:59] 855*2^1427773-1 is not prime. Res64: 9F8044BCD8CE0BE6 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:54:59] 687*2^1427773-1 is not prime. Res64: C05EF17DEF98CBC6 Time : 0.0 sec. user=mdettweiler [2016-04-29 18:54:59] 915*2^1427773-1 is not prime. Res64: 6901C9157476BB9F Time : 0.0 sec. user=mdettweiler [2016-04-29 18:55:00] 623*2^1427774-1 is not prime. Res64: 5615F84751098E31 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:10:02] 813*2^1427774-1 is not prime. Res64: 938D302A96B28496 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:10:03] 927*2^1427774-1 is not prime. Res64: E4AAB572851E8209 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:10:03] 739*2^1427775-1 is not prime. Res64: AAD343ED096189DA Time : 0.0 sec. user=mdettweiler [2016-04-29 19:10:04] 763*2^1427775-1 is not prime. Res64: 73461805C688522F Time : 0.0 sec. user=mdettweiler [2016-04-29 19:10:04] 765*2^1427775-1 is not prime. Res64: 8C18A8F4F58BB47C Time : 0.0 sec. user=mdettweiler [2016-04-29 19:12:39] 831*2^1427775-1 is not prime. Res64: 2F418DA110F55027 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:12:39] 657*2^1427776-1 is not prime. Res64: D47438859392747A Time : 0.0 sec. user=mdettweiler [2016-04-29 19:12:40] 695*2^1427776-1 is not prime. Res64: A86E97448F4BA53F Time : 0.0 sec. user=mdettweiler [2016-04-29 19:12:40] 705*2^1427776-1 is not prime. Res64: 00A4B22CEEF6E513 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:12:41] 747*2^1427776-1 is not prime. Res64: E7E8D75D7E7B7FC1 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:40:08] 909*2^1427776-1 is not prime. Res64: 6CDC75A004D8D9B7 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:40:09] 727*2^1427777-1 is not prime. Res64: 25E67ADC41A82AB3 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:40:09] 777*2^1427777-1 is not prime. Res64: 2A55D323F0869A0B Time : 0.0 sec. user=mdettweiler [2016-04-29 19:40:10] 949*2^1427777-1 is not prime. Res64: 5F0D24BF8ED2195F Time : 0.0 sec. user=mdettweiler [2016-04-29 19:40:10] 967*2^1427777-1 is not prime. Res64: 29CDA21A98E8EBAC Time : 0.0 sec. user=mdettweiler [2016-04-29 19:40:29] 815*2^1427778-1 is not prime. Res64: D5477DDA6A0FFCEE Time : 0.0 sec. user=mdettweiler [2016-04-29 19:40:30] 861*2^1427778-1 is not prime. Res64: AFFF9134DDAC4865 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:40:30] 927*2^1427778-1 is not prime. Res64: 392504026F45F906 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:40:31] 941*2^1427778-1 is not prime. Res64: 40C1BFF5BB9C8778 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:40:31] 963*2^1427778-1 is not prime. Res64: 453911CFE373C23F Time : 0.0 sec. user=mdettweiler [2016-04-29 19:55:18] 971*2^1427778-1 is not prime. Res64: 6C486396917FC53A Time : 0.0 sec. user=mdettweiler [2016-04-29 19:55:18] 603*2^1427779-1 is not prime. Res64: 4918B9321B438176 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:55:19] 625*2^1427779-1 is not prime. Res64: 745A0F7938FDF017 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:55:20] 639*2^1427779-1 is not prime. Res64: 4F78C5C37B8139CC Time : 0.0 sec. user=mdettweiler [2016-04-29 19:55:20] 663*2^1427779-1 is not prime. Res64: 4F345831ADBDEBD8 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:57:59] 733*2^1427779-1 is not prime. Res64: D3AABA7DB2078934 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:57:59] 745*2^1427779-1 is not prime. Res64: AD4470D6C3CF7AD0 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:58:00] 829*2^1427779-1 is not prime. Res64: 02B49FF91DCE22D6 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:58:00] 873*2^1427779-1 is not prime. Res64: B96892769CD3C944 Time : 0.0 sec. user=mdettweiler [2016-04-29 19:58:01] 975*2^1427779-1 is not prime. Res64: FDE3CA132E1E4DC9 Time : 0.0 sec. user=mdettweiler [2016-04-29 20:25:22] 605*2^1427780-1 is not prime. Res64: C84F569AEFD1A8CA Time : 0.0 sec. user=mdettweiler [2016-04-29 20:25:22] 789*2^1427780-1 is not prime. Res64: 54674106B8A467E1 Time : 0.0 sec. user=mdettweiler [2016-04-29 20:25:23] 819*2^1427780-1 is not prime. Res64: 01BB91E048E39D2F Time : 0.0 sec. user=mdettweiler [2016-04-29 20:25:23] 839*2^1427780-1 is not prime. Res64: 1BB1E75962CCB4FE Time : 0.0 sec. user=mdettweiler [2016-04-29 20:25:24] 885*2^1427780-1 is not prime. Res64: E80E2AD3EA2B1F8A Time : 0.0 sec. user=mdettweiler [2016-04-29 20:25:48] 959*2^1427780-1 is not prime. Res64: 45376EE2300F4CD0 Time : 0.0 sec. user=mdettweiler [2016-04-29 20:25:48] 963*2^1427780-1 is not prime. Res64: D23F6E96EBC293B5 Time : 0.0 sec. user=mdettweiler [2016-04-29 20:25:49] 999*2^1427780-1 is not prime. Res64: 5D01BA88C23654DA Time : 0.0 sec. user=mdettweiler [2016-04-29 20:25:49] 711*2^1427781-1 is not prime. Res64: 396D29009CDD19DA Time : 0.0 sec. user=mdettweiler [2016-04-29 20:25:49] 745*2^1427781-1 is not prime. Res64: 300B2C279D48E9E6 Time : 0.0 sec. user=mdettweiler [2016-04-29 20:40:39] 681*2^1427782-1 is not prime. Res64: 2520E5749171AA3A Time : 0.0 sec. user=mdettweiler [2016-04-29 20:40:39] 723*2^1427782-1 is not prime. Res64: 8BE3A3F57F0F09DD Time : 0.0 sec. user=mdettweiler [2016-04-29 20:40:40] 801*2^1427782-1 is not prime. Res64: EF7B5F3F5B8CFF76 Time : 0.0 sec. user=mdettweiler [2016-04-29 20:40:40] 863*2^1427782-1 is not prime. Res64: 7BE40F357FE86B06 Time : 0.0 sec. user=mdettweiler [2016-04-29 20:40:41] 915*2^1427782-1 is not prime. Res64: BE5B9042979B1F30 Time : 0.0 sec. user=mdettweiler [2016-04-29 20:43:14] 609*2^1427783-1 is not prime. Res64: 7255D1A9F6B1E9A7 Time : 0.0 sec. user=mdettweiler [2016-04-29 20:43:14] 715*2^1427783-1 is not prime. Res64: 097F41BE9AEF0614 Time : 0.0 sec. user=mdettweiler [2016-04-29 20:43:15] 813*2^1427783-1 is not prime. Res64: 7CBE76E075AFC6EB Time : 0.0 sec. user=mdettweiler [2016-04-29 20:43:15] 609*2^1427784-1 is not prime. Res64: 7DDDB7867E3EC06F Time : 0.0 sec. user=mdettweiler [2016-04-29 20:43:16] 705*2^1427784-1 is not prime. Res64: 88BA1520EF7A2C64 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:10:26] 767*2^1427784-1 is not prime. Res64: 067AB794DA40EF81 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:10:26] 815*2^1427784-1 is not prime. Res64: D214FAF703EA5879 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:10:27] 843*2^1427784-1 is not prime. Res64: 67AC4C83A2D2BE56 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:10:27] 691*2^1427785-1 is not prime. Res64: C5876E4B7FCE7849 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:10:28] 705*2^1427785-1 is not prime. Res64: 27A6CAC94DBC23E0 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:10:42] 721*2^1427785-1 is not prime. Res64: CAEE6ACC635DE984 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:10:42] 741*2^1427785-1 is not prime. Res64: 256CCD516F45C46C Time : 0.0 sec. user=mdettweiler [2016-04-29 21:10:42] 855*2^1427785-1 is not prime. Res64: D85777429C7E4160 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:10:43] 861*2^1427785-1 is not prime. Res64: 2689FD080BAAA853 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:10:44] 877*2^1427785-1 is not prime. Res64: AC0870BEDF27461A Time : 0.0 sec. user=mdettweiler [2016-04-29 21:25:36] 939*2^1427785-1 is not prime. Res64: 84F9450EEF60C043 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:25:36] 957*2^1427785-1 is not prime. Res64: 7D7D2D334E63EE7D Time : 0.0 sec. user=mdettweiler [2016-04-29 21:25:37] 705*2^1427786-1 is not prime. Res64: 3650A6BF2D92B548 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:25:37] 707*2^1427786-1 is not prime. Res64: 4265429A0F72CCDD Time : 0.0 sec. user=mdettweiler [2016-04-29 21:25:38] 783*2^1427786-1 is not prime. Res64: 88B14B312C24D63A Time : 0.0 sec. user=mdettweiler [2016-04-29 21:28:16] 903*2^1427786-1 is not prime. Res64: D78BA0FDCA6E1A47 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:28:16] 917*2^1427786-1 is not prime. Res64: 191DFCF65B5C8542 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:28:17] 971*2^1427786-1 is not prime. Res64: 8B4EDB3CEAC51575 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:28:17] 675*2^1427787-1 is not prime. Res64: 8FD173AAA4A8B0C8 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:28:17] 705*2^1427787-1 is not prime. Res64: 58C6658D1227A661 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:55:36] 709*2^1427787-1 is not prime. Res64: C4FB73A4C7757387 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:55:37] 735*2^1427787-1 is not prime. Res64: FFDFE84557090BDB Time : 0.0 sec. user=mdettweiler [2016-04-29 21:55:37] 795*2^1427787-1 is not prime. Res64: AA2B94717DB1943F Time : 0.0 sec. user=mdettweiler [2016-04-29 21:55:38] 871*2^1427787-1 is not prime. Res64: 067265E1939274AF Time : 0.0 sec. user=mdettweiler [2016-04-29 21:55:38] 895*2^1427787-1 is not prime. Res64: 9FC5BC267A89413B Time : 0.0 sec. user=mdettweiler [2016-04-29 21:55:58] 909*2^1427787-1 is not prime. Res64: C679624A6B641904 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:55:58] 629*2^1427788-1 is not prime. Res64: 81FCCEC352EA37B6 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:55:59] 705*2^1427788-1 is not prime. Res64: 7448C190F3F99F2C Time : 0.0 sec. user=mdettweiler [2016-04-29 21:55:59] 743*2^1427788-1 is not prime. Res64: EEFA07B8BB67CED8 Time : 0.0 sec. user=mdettweiler [2016-04-29 21:56:00] 755*2^1427788-1 is not prime. Res64: 29AD961DBA683A9A Time : 0.0 sec. user=mdettweiler [2016-04-29 22:10:51] 843*2^1427788-1 is not prime. Res64: 7479BB8EF1F1A7EC Time : 0.0 sec. user=mdettweiler [2016-04-29 22:10:52] 697*2^1427789-1 is not prime. Res64: B1F10038CA526A52 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:10:53] 889*2^1427789-1 is not prime. Res64: F5444CB22526ADD5 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:10:53] 949*2^1427789-1 is not prime. Res64: 4AD13643C4461432 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:10:54] 957*2^1427789-1 is not prime. Res64: B95432DBA239BA39 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:13:42] 969*2^1427789-1 is not prime. Res64: 68C1DE88EF392E46 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:13:42] 641*2^1427790-1 is not prime. Res64: F41B6175FDEAE00E Time : 0.0 sec. user=mdettweiler [2016-04-29 22:13:43] 657*2^1427790-1 is not prime. Res64: 768499626CCEBDCF Time : 0.0 sec. user=mdettweiler [2016-04-29 22:13:43] 747*2^1427790-1 is not prime. Res64: 634EA2AB66A610F3 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:13:43] 887*2^1427790-1 is not prime. Res64: C274F15C36DEAAE5 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:41:33] 945*2^1427790-1 is not prime. Res64: 200AA757011F43AD Time : 0.0 sec. user=mdettweiler [2016-04-29 22:41:34] 963*2^1427790-1 is not prime. Res64: 93C33089FCBC2AAB Time : 0.0 sec. user=mdettweiler [2016-04-29 22:41:34] 759*2^1427791-1 is not prime. Res64: F6E79C545320F6F5 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:41:35] 939*2^1427791-1 is not prime. Res64: 8066CB141C702F9B Time : 0.0 sec. user=mdettweiler [2016-04-29 22:41:35] 797*2^1427792-1 is not prime. Res64: D96A4B49BBB93B05 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:41:35] 855*2^1427792-1 is not prime. Res64: E2AB76B9CC0270E4 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:41:35] 623*2^1427792-1 is not prime. Res64: 356786223175F4A7 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:41:36] 915*2^1427792-1 is not prime. Res64: 43BDE8990E7FC049 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:41:36] 609*2^1427793-1 is not prime. Res64: 93FF1B450B896876 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:41:37] 625*2^1427793-1 is not prime. Res64: DC316DD2276C6E8E Time : 0.0 sec. user=mdettweiler [2016-04-29 22:56:34] 639*2^1427793-1 is not prime. Res64: ADB2B2666C29ACB0 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:56:34] 675*2^1427793-1 is not prime. Res64: 565C0217B0657D87 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:56:34] 741*2^1427793-1 is not prime. Res64: 99658280CEB6ECB6 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:56:35] 871*2^1427793-1 is not prime. Res64: 558FC6A7A5F40494 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:56:35] 985*2^1427793-1 is not prime. Res64: 5617169DDBECF9F2 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:59:03] 611*2^1427794-1 is not prime. Res64: 98A4D5E04F7769F8 Time : 0.0 sec. user=mdettweiler [2016-04-29 22:59:03] 621*2^1427794-1 is not prime. Res64: 627E01557CA68F8F Time : 0.0 sec. user=mdettweiler [2016-04-29 22:59:04] 765*2^1427794-1 is not prime. Res64: 8FF03BD3F701DDEC Time : 0.0 sec. user=mdettweiler [2016-04-29 22:59:04] 993*2^1427794-1 is not prime. Res64: 4AEE9F198154012B Time : 0.0 sec. user=mdettweiler [2016-04-29 22:59:04] 601*2^1427795-1 is not prime. Res64: 1B3A7625AF0C7A64 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:26:56] 651*2^1427795-1 is not prime. Res64: 8EF0EC7CE38C0965 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:26:57] 669*2^1427795-1 is not prime. Res64: 7BBE18D50FE83F60 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:26:57] 829*2^1427795-1 is not prime. Res64: 8797EBAB5C879180 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:26:58] 871*2^1427795-1 is not prime. Res64: 891AF2898497C27C Time : 0.0 sec. user=mdettweiler [2016-04-29 23:26:58] 963*2^1427795-1 is not prime. Res64: C33A1E81B953DA4E Time : 0.0 sec. user=mdettweiler [2016-04-29 23:26:59] 991*2^1427795-1 is not prime. Res64: D28DDEAD77301BB2 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:27:00] 695*2^1427796-1 is not prime. Res64: B68601A0ADF2657F Time : 0.0 sec. user=mdettweiler [2016-04-29 23:27:00] 735*2^1427796-1 is not prime. Res64: 3D8EBC390FAEA600 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:27:01] 779*2^1427796-1 is not prime. Res64: 4F38601FDF650610 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:27:01] 839*2^1427796-1 is not prime. Res64: 5F8752272B6F72FA Time : 0.0 sec. user=mdettweiler [2016-04-29 23:42:01] 887*2^1427796-1 is not prime. Res64: 38EA1F0E57684686 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:42:01] 769*2^1427797-1 is not prime. Res64: 87D8C22D6BA1E964 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:42:02] 801*2^1427797-1 is not prime. Res64: 3BDF0C77C43F6D1A Time : 0.0 sec. user=mdettweiler [2016-04-29 23:42:02] 817*2^1427797-1 is not prime. Res64: 3969426EAC0954C3 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:42:03] 861*2^1427797-1 is not prime. Res64: 9E6D9D6BF3C8EB8F Time : 0.0 sec. user=mdettweiler [2016-04-29 23:44:09] 895*2^1427797-1 is not prime. Res64: D96D61A8471A94FF Time : 0.0 sec. user=mdettweiler [2016-04-29 23:44:09] 897*2^1427797-1 is not prime. Res64: 4D1230C3845CD881 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:44:10] 931*2^1427797-1 is not prime. Res64: 58C7E339FFB8D031 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:44:10] 967*2^1427797-1 is not prime. Res64: 0806EE1765C8F269 Time : 0.0 sec. user=mdettweiler [2016-04-29 23:44:11] 693*2^1427798-1 is not prime. Res64: DCB9130C4775D239 Time : 0.0 sec.