user=mdettweiler [2013-01-02 00:04:32] 993*2^1238479-1 is not prime. Res64: D00B046D454FF55A Time : 0.0 sec. user=mdettweiler [2013-01-02 00:04:34] 687*2^1238480-1 is not prime. Res64: 30A54959D4EE137C Time : 0.0 sec. user=mdettweiler [2013-01-02 00:04:38] 699*2^1238480-1 is not prime. Res64: 4088B6784A636C1A Time : 0.0 sec. user=mdettweiler [2013-01-02 00:04:41] 767*2^1238480-1 is not prime. Res64: B0B1F2411616E04C Time : 0.0 sec. user=mdettweiler [2013-01-02 00:22:14] 803*2^1238480-1 is not prime. Res64: 995E0DC81B0C00B6 Time : 0.0 sec. user=mdettweiler [2013-01-02 00:22:15] 813*2^1238480-1 is not prime. Res64: 21C4FB89281D83B5 Time : 0.0 sec. user=mdettweiler [2013-01-02 00:22:20] 819*2^1238480-1 is not prime. Res64: DBDC5A74EB810DD2 Time : 0.0 sec. user=mdettweiler [2013-01-02 00:22:20] 827*2^1238480-1 is not prime. Res64: 63C9AEEE7F6B6811 Time : 0.0 sec. user=vaughan [2013-01-02 00:29:28] 797*2^1238480-1 is not prime. Res64: FD48D2979B2C0FBA Time : 0.0 sec. user=mdettweiler [2013-01-02 00:40:04] 843*2^1238480-1 is not prime. Res64: 93687E43445B8D14 Time : 0.0 sec. user=mdettweiler [2013-01-02 00:40:08] 963*2^1238480-1 is not prime. Res64: B5D301C46D6298DE Time : 0.0 sec. user=mdettweiler [2013-01-02 00:40:09] 983*2^1238480-1 is not prime. Res64: B88A8DB0AAAFB1AB Time : 0.0 sec. user=mdettweiler [2013-01-02 00:40:11] 657*2^1238481-1 is not prime. Res64: E75F021CE7F64F68 Time : 0.0 sec. user=mdettweiler [2013-01-02 00:57:58] 747*2^1238481-1 is not prime. Res64: A1D383736F093130 Time : 0.0 sec. user=mdettweiler [2013-01-02 00:57:58] 751*2^1238481-1 is not prime. Res64: 36528880E66FC7CB Time : 0.0 sec. user=mdettweiler [2013-01-02 00:58:03] 777*2^1238481-1 is not prime. Res64: 8E7C7D1EA57DF460 Time : 0.0 sec. user=mdettweiler [2013-01-02 00:58:03] 895*2^1238481-1 is not prime. Res64: BD3D061C855D84FF Time : 0.0 sec. user=vaughan [2013-01-02 01:07:17] 705*2^1238481-1 is not prime. Res64: 6D10810D1F408A7F Time : 0.0 sec. user=mdettweiler [2013-01-02 01:15:26] 997*2^1238481-1 is not prime. Res64: 7A74A86A426D8ED6 Time : 0.0 sec. user=mdettweiler [2013-01-02 01:15:27] 717*2^1238482-1 is not prime. Res64: B1F206ADA9C5C965 Time : 0.0 sec. user=mdettweiler [2013-01-02 01:15:31] 741*2^1238482-1 is not prime. Res64: DB3FAAAEEBB3587A Time : 0.0 sec. user=mdettweiler [2013-01-02 01:15:31] 821*2^1238482-1 is not prime. Res64: 7E41362E2A0F9AD7 Time : 0.0 sec. user=mdettweiler [2013-01-02 01:32:56] 915*2^1238482-1 is not prime. Res64: 8583759E15AE4118 Time : 0.0 sec. user=mdettweiler [2013-01-02 01:32:57] 619*2^1238483-1 is not prime. Res64: 363317A6CCBCF556 Time : 0.0 sec. user=mdettweiler [2013-01-02 01:32:58] 673*2^1238483-1 is not prime. Res64: 19D15A889C023D65 Time : 0.0 sec. user=mdettweiler [2013-01-02 01:32:59] 829*2^1238483-1 is not prime. Res64: BD78F377B1F4B223 Time : 0.0 sec. user=mdettweiler [2013-01-02 01:50:24] 901*2^1238483-1 is not prime. Res64: EB70950756985F8A Time : 0.0 sec. user=mdettweiler [2013-01-02 01:50:24] 921*2^1238483-1 is not prime. Res64: 78A069DD26C75D86 Time : 0.0 sec. user=mdettweiler [2013-01-02 01:50:25] 985*2^1238483-1 is not prime. Res64: D5CAA3FE479C3A68 Time : 0.0 sec. user=mdettweiler [2013-01-02 01:50:26] 707*2^1238484-1 is not prime. Res64: F5BF1F91C827D8CA Time : 0.0 sec. user=mdettweiler [2013-01-02 02:08:01] 863*2^1238484-1 is not prime. Res64: 0B1C4DB22D5B2CA4 Time : 0.0 sec. user=mdettweiler [2013-01-02 02:08:04] 727*2^1238485-1 is not prime. Res64: F6F5CF05A2B4E89C Time : 0.0 sec. user=vaughan [2013-01-02 02:21:08] 749*2^1238484-1 is not prime. Res64: BA01C1F8F211C328 Time : 0.0 sec. user=mdettweiler [2013-01-02 02:26:03] 983*2^1238484-1 is not prime. Res64: 6B7CBA0109A9F450 Time : 0.0 sec. user=mdettweiler [2013-01-02 02:28:32] 741*2^1238485-1 is not prime. Res64: BD4BA9C1D06B45FE Time : 0.0 sec. user=mdettweiler [2013-01-02 02:43:30] 877*2^1238485-1 is not prime. Res64: 717667891663FEF3 Time : 0.0 sec. user=mdettweiler [2013-01-02 02:43:31] 889*2^1238485-1 is not prime. Res64: F5C3395C7C4730E4 Time : 0.0 sec. user=mdettweiler [2013-01-02 02:45:59] 985*2^1238485-1 is not prime. Res64: 2D6A392AEC026A05 Time : 0.0 sec. user=mdettweiler [2013-01-02 02:46:00] 677*2^1238486-1 is not prime. Res64: 2FA7A847A2528DDA Time : 0.0 sec. user=vaughan [2013-01-02 02:58:59] 765*2^1238485-1 is not prime. Res64: 24A2BB2E549DAC0D Time : 0.0 sec. user=mdettweiler [2013-01-02 03:01:00] 713*2^1238486-1 is not prime. Res64: A7D2D36C965B6373 Time : 0.0 sec. user=mdettweiler [2013-01-02 03:01:02] 801*2^1238486-1 is not prime. Res64: 133F826A1AFB8B65 Time : 0.0 sec. user=mdettweiler [2013-01-02 03:03:30] 815*2^1238486-1 is not prime. Res64: 82816879593DBE6D Time : 0.0 sec. user=mdettweiler [2013-01-02 03:03:32] 971*2^1238486-1 is not prime. Res64: 16174DF56CCF6B81 Time : 0.0 sec. user=mdettweiler [2013-01-02 03:18:31] 651*2^1238487-1 is not prime. Res64: 0FB2F4780E0C994F Time : 0.0 sec. user=mdettweiler [2013-01-02 03:18:32] 669*2^1238487-1 is not prime. Res64: 9ADD07965B38BB5F Time : 0.0 sec. user=mdettweiler [2013-01-02 03:21:10] 685*2^1238487-1 is not prime. Res64: C2575598B6F5B6CF Time : 0.0 sec. user=mdettweiler [2013-01-02 03:21:11] 793*2^1238487-1 is not prime. Res64: 3B654A9E45873F2C Time : 0.0 sec. user=mdettweiler [2013-01-02 03:36:04] 795*2^1238487-1 is not prime. Res64: F452559C47947902 Time : 0.0 sec. user=mdettweiler [2013-01-02 03:36:05] 885*2^1238487-1 is not prime. Res64: C1C2A08E457976D4 Time : 0.0 sec. user=vaughan [2013-01-02 03:36:54] 987*2^1238486-1 is not prime. Res64: 1443628B26A72EF4 Time : 0.0 sec. user=mdettweiler [2013-01-02 03:38:37] 895*2^1238487-1 is not prime. Res64: A0872A1261696DA5 Time : 0.0 sec. user=mdettweiler [2013-01-02 03:38:38] 931*2^1238487-1 is not prime. Res64: 811CCCDD8864E4C0 Time : 0.0 sec. user=mdettweiler [2013-01-02 03:53:37] 949*2^1238487-1 is not prime. Res64: 3CE0E0CC628774D3 Time : 0.0 sec. user=mdettweiler [2013-01-02 03:53:37] 603*2^1238488-1 is not prime. Res64: 9C760746DE7495CA Time : 0.0 sec. user=mdettweiler [2013-01-02 03:56:04] 843*2^1238488-1 is not prime. Res64: 85B238E472F5562F Time : 0.0 sec. user=mdettweiler [2013-01-02 03:56:05] 869*2^1238488-1 is not prime. Res64: CB42210ABC6DADCE Time : 0.0 sec. user=mdettweiler [2013-01-02 04:11:04] 887*2^1238488-1 is not prime. Res64: 73AE773210C015AA Time : 0.0 sec. user=mdettweiler [2013-01-02 04:11:06] 957*2^1238488-1 is not prime. Res64: DD00E5AF52879244 Time : 0.0 sec. user=mdettweiler [2013-01-02 04:13:32] 975*2^1238488-1 is not prime. Res64: A16B3754BF7F31FC Time : 0.0 sec. user=mdettweiler [2013-01-02 04:13:32] 645*2^1238489-1 is not prime. Res64: DAEFE068FDF1149F Time : 0.0 sec. user=vaughan [2013-01-02 04:14:41] 605*2^1238488-1 is not prime. Res64: 531DF2E49AE4AB2D Time : 0.0 sec. user=mdettweiler [2013-01-02 04:28:35] 649*2^1238489-1 is not prime. Res64: 61A3A0225BA140F6 Time : 0.0 sec. user=mdettweiler [2013-01-02 04:28:35] 831*2^1238489-1 is not prime. Res64: F27D45979D8B481C Time : 0.0 sec. user=mdettweiler [2013-01-02 04:31:00] 879*2^1238489-1 is not prime. Res64: 19173AB07C2371D7 Time : 0.0 sec. user=mdettweiler [2013-01-02 04:31:01] 885*2^1238489-1 is not prime. Res64: 95B7A0CF5F98E55D Time : 0.0 sec. user=mdettweiler [2013-01-02 04:46:05] 747*2^1238490-1 is not prime. Res64: 89D62CD8327A88F5 Time : 0.0 sec. user=mdettweiler [2013-01-02 04:46:06] 765*2^1238490-1 is not prime. Res64: B376A7E1F648EACB Time : 0.0 sec. user=mdettweiler [2013-01-02 04:48:28] 801*2^1238490-1 is not prime. Res64: C378526F094C0224 Time : 0.0 sec. user=mdettweiler [2013-01-02 04:48:29] 851*2^1238490-1 is not prime. Res64: 759C722CFD4B585F Time : 0.0 sec. user=vaughan [2013-01-02 04:52:29] 987*2^1238489-1 is not prime. Res64: B8CFFA17A84CA9EE Time : 0.0 sec. user=mdettweiler [2013-01-02 05:03:40] 645*2^1238491-1 is not prime. Res64: 048ED6DC678A3D7A Time : 0.0 sec. user=mdettweiler [2013-01-02 05:03:42] 703*2^1238491-1 is not prime. Res64: 640E042E5CAE93F0 Time : 0.0 sec. user=mdettweiler [2013-01-02 05:05:56] 861*2^1238491-1 is not prime. Res64: 061D6D12C98BFAB0 Time : 0.0 sec. user=mdettweiler [2013-01-02 05:05:58] 871*2^1238491-1 is not prime. Res64: 37EBC3A5AC1345E8 Time : 0.0 sec. user=mdettweiler [2013-01-02 05:21:13] 623*2^1238492-1 is not prime. Res64: 2CC6308E6EF3062D Time : 0.0 sec. user=mdettweiler [2013-01-02 05:21:14] 717*2^1238492-1 is not prime. Res64: B3BB315078FA59DC Time : 0.0 sec. user=mdettweiler [2013-01-02 05:23:33] 977*2^1238492-1 is not prime. Res64: 55A751961A6EB0C3 Time : 0.0 sec. user=mdettweiler [2013-01-02 05:23:33] 607*2^1238493-1 is not prime. Res64: A24BDE3B14310619 Time : 0.0 sec. user=vaughan [2013-01-02 05:30:18] 901*2^1238491-1 is not prime. Res64: A02F241D874BB4F8 Time : 0.0 sec. user=mdettweiler [2013-01-02 05:38:40] 627*2^1238493-1 is not prime. Res64: 2F5C10D5141921EF Time : 0.0 sec. user=mdettweiler [2013-01-02 05:38:41] 765*2^1238493-1 is not prime. Res64: 48FFE7AD74D23213 Time : 0.0 sec. user=mdettweiler [2013-01-02 05:41:00] 795*2^1238493-1 is not prime. Res64: D1AAFF746962BF77 Time : 0.0 sec. user=mdettweiler [2013-01-02 05:41:01] 811*2^1238493-1 is not prime. Res64: 159948649CEFAD9C Time : 0.0 sec. user=mdettweiler [2013-01-02 05:56:07] 819*2^1238493-1 is not prime. Res64: 50D82BB0C1AE959A Time : 0.0 sec. user=mdettweiler [2013-01-02 05:56:08] 859*2^1238493-1 is not prime. Res64: 7232376B1D1A4957 Time : 0.0 sec. user=mdettweiler [2013-01-02 05:58:27] 937*2^1238493-1 is not prime. Res64: A20650363295D302 Time : 0.0 sec. user=mdettweiler [2013-01-02 05:58:28] 623*2^1238494-1 is not prime. Res64: 833B3E6E6AF1A059 Time : 0.0 sec. user=vaughan [2013-01-02 06:08:11] 817*2^1238493-1 is not prime. Res64: 65735C701363A71D Time : 0.0 sec. user=mdettweiler [2013-01-02 06:13:36] 813*2^1238494-1 is not prime. Res64: 8E819A6F2C763BAC Time : 0.0 sec. user=mdettweiler [2013-01-02 06:13:37] 857*2^1238494-1 is not prime. Res64: A3C94124F7C23830 Time : 0.0 sec. user=mdettweiler [2013-01-02 06:15:54] 885*2^1238494-1 is not prime. Res64: 0BFB1F179BEB342D Time : 0.0 sec. user=mdettweiler [2013-01-02 06:15:55] 609*2^1238495-1 is not prime. Res64: 8853D19DF41C617D Time : 0.0 sec. user=mdettweiler [2013-01-02 06:31:05] 679*2^1238495-1 is not prime. Res64: 109192F0F0F29859 Time : 0.0 sec. user=mdettweiler [2013-01-02 06:31:06] 963*2^1238495-1 is not prime. Res64: 6CF82B031EE46F74 Time : 0.0 sec. user=mdettweiler [2013-01-02 06:33:22] 609*2^1238496-1 is not prime. Res64: E668AA17DE67DF86 Time : 0.0 sec. user=mdettweiler [2013-01-02 06:33:23] 705*2^1238496-1 is not prime. Res64: 753E30B51D1A0B60 Time : 0.0 sec. user=vaughan [2013-01-02 06:46:00] 655*2^1238495-1 is not prime. Res64: D91EAC66E7BB5556 Time : 0.0 sec. user=mdettweiler [2013-01-02 06:48:32] 725*2^1238496-1 is not prime. Res64: A43E2E8FA08D1B90 Time : 0.0 sec. user=mdettweiler [2013-01-02 06:48:33] 747*2^1238496-1 is not prime. Res64: 0A77D44A74A123D7 Time : 0.0 sec. user=mdettweiler [2013-01-02 06:50:49] 815*2^1238496-1 is not prime. Res64: C0E73D4DCE881E33 Time : 0.0 sec. user=mdettweiler [2013-01-02 06:50:49] 839*2^1238496-1 is not prime. Res64: 447AA47E511CFC66 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:05:59] 625*2^1238497-1 is not prime. Res64: 77EC7AEBA1BCD7A9 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:06:00] 741*2^1238497-1 is not prime. Res64: 9354D3FD93D2053E Time : 0.0 sec. user=mdettweiler [2013-01-02 07:08:19] 819*2^1238497-1 is not prime. Res64: 0C21A208EED4D85B Time : 0.0 sec. user=mdettweiler [2013-01-02 07:08:20] 967*2^1238497-1 is not prime. Res64: 16DF138AE4E8D970 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:23:29] 603*2^1238498-1 is not prime. Res64: 16B234E1BC902094 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:23:30] 641*2^1238498-1 is not prime. Res64: CDF0FDC4968BE7DC Time : 0.0 sec. user=vaughan [2013-01-02 07:23:47] 909*2^1238496-1 is not prime. Res64: BB543C73EABFC039 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:25:51] 651*2^1238498-1 is not prime. Res64: 408F80053905F912 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:25:51] 671*2^1238498-1 is not prime. Res64: 68556D3F7479C180 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:41:06] 755*2^1238498-1 is not prime. Res64: 8ECEF5589FB4AA0E Time : 0.0 sec. user=mdettweiler [2013-01-02 07:41:06] 885*2^1238498-1 is not prime. Res64: B83243E9994DAD10 Time : 0.0 sec. user=juhehe [2013-01-02 07:42:09] 969*2^1238396-1 is not prime. Res64: AF69D467F7BA2806 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:43:18] 609*2^1238499-1 is not prime. Res64: 03F9BF1982077A36 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:43:18] 745*2^1238499-1 is not prime. Res64: AC9395FBFBE12E09 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:58:35] 769*2^1238499-1 is not prime. Res64: 93B830D85D80B005 Time : 0.0 sec. user=mdettweiler [2013-01-02 07:58:36] 825*2^1238499-1 is not prime. Res64: 129DEA49D70FF00B Time : 0.0 sec. user=mdettweiler [2013-01-02 08:00:45] 829*2^1238499-1 is not prime. Res64: 083C7456569F9E32 Time : 0.0 sec. user=mdettweiler [2013-01-02 08:00:46] 955*2^1238499-1 is not prime. Res64: 5BD60B51E3D1FA57 Time : 0.0 sec. user=vaughan [2013-01-02 08:01:38] 941*2^1238498-1 is not prime. Res64: 11B2B13D3A481B7D Time : 0.0 sec. user=mdettweiler [2013-01-02 08:15:57] 961*2^1238499-1 is not prime. Res64: CD7F4B5A5A4BF522 Time : 0.0 sec. user=mdettweiler [2013-01-02 08:15:57] 603*2^1238500-1 is not prime. Res64: DD244E9D546389B6 Time : 0.0 sec. user=mdettweiler [2013-01-02 08:18:08] 615*2^1238500-1 is not prime. Res64: 17FCB4FC6AAE5234 Time : 0.0 sec. user=mdettweiler [2013-01-02 08:18:09] 695*2^1238500-1 is not prime. Res64: 017796B3142DA1D2 Time : 0.0 sec. user=mdettweiler [2013-01-02 08:33:20] 827*2^1238500-1 is not prime. Res64: A0088F6B5DED8207 Time : 0.0 sec. user=mdettweiler [2013-01-02 08:33:21] 843*2^1238500-1 is not prime. Res64: A4A3F86DB5BEB496 Time : 0.0 sec. user=mdettweiler [2013-01-02 08:35:34] 875*2^1238500-1 is not prime. Res64: C6894F6159496C5B Time : 0.0 sec. user=mdettweiler [2013-01-02 08:35:35] 905*2^1238500-1 is not prime. Res64: E51ED4F5875643AC Time : 0.0 sec. user=vaughan [2013-01-02 08:39:28] 819*2^1238500-1 is not prime. Res64: 0E919F3E34A52647 Time : 0.0 sec. user=mdettweiler [2013-01-02 08:50:44] 983*2^1238500-1 is not prime. Res64: C52D919302A9B082 Time : 0.0 sec. user=mdettweiler [2013-01-02 08:50:44] 651*2^1238501-1 is not prime. Res64: C9E3B181D70082A4 Time : 0.0 sec. user=mdettweiler [2013-01-02 08:52:55] 697*2^1238501-1 is not prime. Res64: C79704F6F1E5ED8A Time : 0.0 sec. user=mdettweiler [2013-01-02 08:52:55] 799*2^1238501-1 is not prime. Res64: 2CFFB06FEC98EE26 Time : 0.0 sec. user=mdettweiler [2013-01-02 09:08:05] 885*2^1238501-1 is not prime. Res64: A1480066820C3CCA Time : 0.0 sec. user=mdettweiler [2013-01-02 09:08:06] 937*2^1238501-1 is not prime. Res64: 510A741A9AA3D3C7 Time : 0.0 sec. user=mdettweiler [2013-01-02 09:10:16] 951*2^1238501-1 is not prime. Res64: 1F016B0F4A8572F8 Time : 0.0 sec. user=mdettweiler [2013-01-02 09:10:17] 991*2^1238501-1 is not prime. Res64: 6722641176FB61DA Time : 0.0 sec. user=vaughan [2013-01-02 09:17:16] 837*2^1238501-1 is not prime. Res64: 92B02874CECE5ACC Time : 0.0 sec. user=mdettweiler [2013-01-02 09:25:28] 657*2^1238502-1 is not prime. Res64: D528440B79FB40C5 Time : 0.0 sec. user=mdettweiler [2013-01-02 09:25:29] 677*2^1238502-1 is not prime. Res64: AF5D2220E567147E Time : 0.0 sec. user=mdettweiler [2013-01-02 09:27:39] 825*2^1238502-1 is not prime. Res64: D3A786513549F69F Time : 0.0 sec. user=mdettweiler [2013-01-02 09:27:39] 833*2^1238502-1 is not prime. Res64: A684E62DAD1A853B Time : 0.0 sec. user=mdettweiler [2013-01-02 09:42:51] 705*2^1238503-1 is not prime. Res64: 9ADDD578A9C87383 Time : 0.0 sec. user=mdettweiler [2013-01-02 09:42:51] 813*2^1238504-1 is not prime. Res64: A4924A9A0FFF0845 Time : 0.0 sec. user=mdettweiler [2013-01-02 09:45:01] 917*2^1238504-1 is not prime. Res64: AD824266BA2822BD Time : 0.0 sec. user=mdettweiler [2013-01-02 09:45:01] 983*2^1238504-1 is not prime. Res64: BEC14622726B8CB0 Time : 0.0 sec. user=vaughan [2013-01-02 09:55:05] 615*2^1238503-1 is not prime. Res64: F9884C8E93A16F03 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:00:15] 625*2^1238505-1 is not prime. Res64: CAE2606F19F457B5 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:00:16] 675*2^1238505-1 is not prime. Res64: 1F407349F8A46B73 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:02:26] 717*2^1238505-1 is not prime. Res64: 484999FDD09DEF38 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:02:28] 735*2^1238505-1 is not prime. Res64: D886DDFA30F6EF1F Time : 0.0 sec. user=mdettweiler [2013-01-02 10:17:51] 817*2^1238505-1 is not prime. Res64: 56F928D54232DA04 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:17:52] 837*2^1238505-1 is not prime. Res64: 9140352AE6694588 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:19:54] 889*2^1238505-1 is not prime. Res64: 055D43682E3C0542 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:19:55] 647*2^1238506-1 is not prime. Res64: 6C4554B5B6B82B1F Time : 0.0 sec. user=vaughan [2013-01-02 10:32:54] 805*2^1238505-1 is not prime. Res64: 6F397C417E9A5C26 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:35:18] 743*2^1238506-1 is not prime. Res64: 2F2AFC00F6D6BD3C Time : 0.0 sec. user=mdettweiler [2013-01-02 10:35:19] 755*2^1238506-1 is not prime. Res64: 2CA9C4F0EC8FA5FE Time : 0.0 sec. user=mdettweiler [2013-01-02 10:37:19] 867*2^1238506-1 is not prime. Res64: 3C27C25356B9BDF1 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:37:19] 923*2^1238506-1 is not prime. Res64: 71133FBEB7DA50D6 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:53:00] 685*2^1238507-1 is not prime. Res64: AA1DA20D61618D7B Time : 0.0 sec. user=mdettweiler [2013-01-02 10:53:01] 733*2^1238507-1 is not prime. Res64: 3C88DD427928F0FD Time : 0.0 sec. user=mdettweiler [2013-01-02 10:54:47] 753*2^1238507-1 is not prime. Res64: 5FD8CEF82863F1D0 Time : 0.0 sec. user=mdettweiler [2013-01-02 10:54:48] 635*2^1238508-1 is not prime. Res64: 4443422305358821 Time : 0.0 sec. user=mdettweiler [2013-01-02 11:10:24] 737*2^1238508-1 is not prime. Res64: 78A40CE6FA6EC4AE Time : 0.0 sec. user=mdettweiler [2013-01-02 11:10:25] 749*2^1238508-1 is not prime. Res64: 9A85B3A180729C5C Time : 0.0 sec. user=vaughan [2013-01-02 11:10:41] 947*2^1238506-1 is not prime. Res64: 5EAB0B76D38C1494 Time : 0.0 sec. user=mdettweiler [2013-01-02 11:12:10] 767*2^1238508-1 is not prime. Res64: DE8EE8A0D31F1E3B Time : 0.0 sec. user=mdettweiler [2013-01-02 11:12:11] 777*2^1238508-1 is not prime. Res64: E782F74A0C9FCF72 Time : 0.0 sec. user=mdettweiler [2013-01-02 11:27:54] 809*2^1238508-1 is not prime. Res64: 0215D34CF25814A3 Time : 0.0 sec. user=mdettweiler [2013-01-02 11:27:54] 819*2^1238508-1 is not prime. Res64: DB3EF303DDAFC5F5 Time : 0.0 sec. user=mdettweiler [2013-01-02 11:29:35] 923*2^1238508-1 is not prime. Res64: D904DCCF699B330F Time : 0.0 sec. user=mdettweiler [2013-01-02 11:29:35] 999*2^1238508-1 is not prime. Res64: 41FF99DD2E63A7A0 Time : 0.0 sec. user=mdettweiler [2013-01-02 11:45:28] 601*2^1238509-1 is not prime. Res64: B2A7FE464A99F3AD Time : 0.0 sec. user=mdettweiler [2013-01-02 11:45:29] 609*2^1238509-1 is not prime. Res64: 8F3E249DDF56C8CF Time : 0.0 sec. user=mdettweiler [2013-01-02 11:47:15] 771*2^1238509-1 is not prime. Res64: 9C138EF702F5ED81 Time : 0.0 sec. user=mdettweiler [2013-01-02 11:47:16] 775*2^1238509-1 is not prime. Res64: A4BA7C8F67CAF173 Time : 0.0 sec. user=vaughan [2013-01-02 11:48:29] 845*2^1238508-1 is not prime. Res64: 1D8E540F20DF40C1 Time : 0.0 sec. user=mdettweiler [2013-01-02 12:02:55] 967*2^1238509-1 is not prime. Res64: 95D80CF698D001D2 Time : 0.0 sec. user=mdettweiler [2013-01-02 12:02:56] 645*2^1238510-1 is not prime. Res64: 1E2741C4A2A4E897 Time : 0.0 sec. user=mdettweiler [2013-01-02 12:04:39] 663*2^1238510-1 is not prime. Res64: 1ADABDD79E83B568 Time : 0.0 sec. user=mdettweiler [2013-01-02 12:04:40] 755*2^1238510-1 is not prime. Res64: 9DEBE80C1675A44F Time : 0.0 sec. user=mdettweiler [2013-01-02 12:20:24] 831*2^1238510-1 is not prime. Res64: D5ED42A248665D1E Time : 0.0 sec. user=mdettweiler [2013-01-02 12:20:24] 833*2^1238510-1 is not prime. Res64: CFF0159F5A05BB5B Time : 0.0 sec. user=mdettweiler [2013-01-02 12:22:03] 935*2^1238510-1 is not prime. Res64: 5F4FBAECDE2917D9 Time : 0.0 sec. user=mdettweiler [2013-01-02 12:22:04] 741*2^1238511-1 is not prime. Res64: ECDE62A9C3AC4243 Time : 0.0 sec. user=vaughan [2013-01-02 12:26:14] 827*2^1238510-1 is not prime. Res64: 9BE74D49EE68881A Time : 0.0 sec. user=mdettweiler [2013-01-02 12:37:48] 789*2^1238511-1 is not prime. Res64: D030E78860303E08 Time : 0.0 sec. user=mdettweiler [2013-01-02 12:37:49] 805*2^1238511-1 is not prime. Res64: 0D1C5948B82A888F Time : 0.0 sec. user=mdettweiler [2013-01-02 12:39:27] 779*2^1238512-1 is not prime. Res64: A5D0E00FD728F3EA Time : 0.0 sec. user=mdettweiler [2013-01-02 12:39:27] 923*2^1238512-1 is not prime. Res64: 557EAF036AC9CADA Time : 0.0 sec. user=mdettweiler [2013-01-02 12:55:12] 989*2^1238512-1 is not prime. Res64: 7DD7BC458783004E Time : 0.0 sec. user=mdettweiler [2013-01-02 12:55:13] 995*2^1238512-1 is not prime. Res64: 14F9FD418DBAB551 Time : 0.0 sec. user=mdettweiler [2013-01-02 12:56:50] 729*2^1238513-1 is not prime. Res64: 869DD2D911C7876F Time : 0.0 sec. user=mdettweiler [2013-01-02 12:56:50] 811*2^1238513-1 is not prime. Res64: DEF384A914AE2CB3 Time : 0.0 sec. user=vaughan [2013-01-02 13:04:02] 929*2^1238512-1 is not prime. Res64: 6D907B565B44CBAD Time : 0.0 sec. user=mdettweiler [2013-01-02 13:12:36] 937*2^1238513-1 is not prime. Res64: DA87EF137B0754B3 Time : 0.0 sec. user=mdettweiler [2013-01-02 13:12:37] 967*2^1238513-1 is not prime. Res64: E0F102CEF007A206 Time : 0.0 sec. user=mdettweiler [2013-01-02 13:14:14] 641*2^1238514-1 is not prime. Res64: B4F9F5D9657CD46D Time : 0.0 sec. user=mdettweiler [2013-01-02 13:14:15] 725*2^1238514-1 is not prime. Res64: 7F202461588789DE Time : 0.0 sec. user=mdettweiler [2013-01-02 13:30:09] 993*2^1238514-1 is not prime. Res64: A3E0F0FBF79D1499 Time : 0.0 sec. user=mdettweiler [2013-01-02 13:30:10] 723*2^1238515-1 is not prime. Res64: ECB31F5B1F18371D Time : 0.0 sec. user=mdettweiler [2013-01-02 13:31:44] 861*2^1238515-1 is not prime. Res64: C32F5A0C1E8C05BB Time : 0.0 sec. user=mdettweiler [2013-01-02 13:31:44] 647*2^1238516-1 is not prime. Res64: F3A7B12924DE7D5C Time : 0.0 sec. user=vaughan [2013-01-02 13:41:51] 767*2^1238514-1 is not prime. Res64: 28ED91FBDE758F90 Time : 0.0 sec. user=mdettweiler [2013-01-02 13:47:33] 675*2^1238516-1 is not prime. Res64: 813228BCBF4ADE79 Time : 0.0 sec. user=mdettweiler [2013-01-02 13:47:34] 897*2^1238516-1 is not prime. Res64: DA8321C7E59743FD Time : 0.0 sec. user=mdettweiler [2013-01-02 13:49:07] 909*2^1238516-1 is not prime. Res64: 8355AE5D6F5C5E96 Time : 0.0 sec. user=mdettweiler [2013-01-02 13:49:08] 935*2^1238516-1 is not prime. Res64: 9AE91462DC9A3C84 Time : 0.0 sec. user=mdettweiler [2013-01-02 14:04:57] 669*2^1238517-1 is not prime. Res64: 564F6116FE4BFE30 Time : 0.0 sec. user=mdettweiler [2013-01-02 14:04:58] 937*2^1238517-1 is not prime. Res64: C967B68DE4F1C739 Time : 0.0 sec. user=mdettweiler [2013-01-02 14:06:30] 603*2^1238518-1 is not prime. Res64: 4DFFD79272901932 Time : 0.0 sec. user=mdettweiler [2013-01-02 14:06:31] 611*2^1238518-1 is not prime. Res64: 98466C593A1FBBC0 Time : 0.0 sec. user=vaughan [2013-01-02 14:19:39] 649*2^1238517-1 is not prime. Res64: 8248CEDA313CE521 Time : 0.0 sec. user=mdettweiler [2013-01-02 14:22:31] 681*2^1238518-1 is not prime. Res64: 5100A66FB9CA1A3C Time : 0.0 sec. user=mdettweiler [2013-01-02 14:22:31] 687*2^1238518-1 is not prime. Res64: E612518F0346E66E Time : 0.0 sec. user=mdettweiler [2013-01-02 14:23:54] 923*2^1238518-1 is not prime. Res64: 95B4BD6C13ED79E4 Time : 0.0 sec. user=mdettweiler [2013-01-02 14:23:55] 945*2^1238518-1 is not prime. Res64: 3E0CB2D0D24B165D Time : 0.0 sec. user=mdettweiler [2013-01-02 14:39:54] 995*2^1238518-1 is not prime. Res64: 63AD023A9E995EDA Time : 0.0 sec. user=mdettweiler [2013-01-02 14:39:55] 643*2^1238519-1 is not prime. Res64: DFF0B714873429DB Time : 0.0 sec. user=mdettweiler [2013-01-02 14:41:18] 645*2^1238519-1 is not prime. Res64: 9B42044B47F879E8 Time : 0.0 sec. user=mdettweiler [2013-01-02 14:41:19] 669*2^1238519-1 is not prime. Res64: DF87412C2CF61DD2 Time : 0.0 sec. user=mdettweiler [2013-01-02 14:57:18] 705*2^1238519-1 is not prime. Res64: 7C7246455099D53A Time : 0.0 sec. user=mdettweiler [2013-01-02 14:57:19] 939*2^1238519-1 is not prime. Res64: B65032600E421CC2 Time : 0.0 sec. user=vaughan [2013-01-02 14:57:30] 987*2^1238518-1 is not prime. Res64: B8B5B10E9263CFC7 Time : 0.0 sec. user=mdettweiler [2013-01-02 14:58:44] 949*2^1238519-1 is not prime. Res64: E38445DB1E9EBA9B Time : 0.0 sec. user=mdettweiler [2013-01-02 14:58:45] 993*2^1238519-1 is not prime. Res64: 12C38A5BC3BFE8BB Time : 0.0 sec. user=mdettweiler [2013-01-02 15:14:42] 627*2^1238520-1 is not prime. Res64: 90E72C0FDF209A71 Time : 0.0 sec. user=mdettweiler [2013-01-02 15:14:43] 707*2^1238520-1 is not prime. Res64: B7CC3A779C1A0805 Time : 0.0 sec. user=mdettweiler [2013-01-02 15:16:08] 839*2^1238520-1 is not prime. Res64: 3D9166728EFE842B Time : 0.0 sec. user=mdettweiler [2013-01-02 15:16:08] 845*2^1238520-1 is not prime. Res64: D2AAA2065A758460 Time : 0.0 sec. user=mdettweiler [2013-01-02 15:32:08] 893*2^1238520-1 is not prime. Res64: BCD72A03C26170EE Time : 0.0 sec. user=mdettweiler [2013-01-02 15:32:09] 639*2^1238521-1 is not prime. Res64: A0FBD5423F2AC4EE Time : 0.0 sec. user=mdettweiler [2013-01-02 15:33:32] 649*2^1238521-1 is not prime. Res64: A3AEAD78171402D1 Time : 0.0 sec. user=mdettweiler [2013-01-02 15:33:32] 789*2^1238521-1 is not prime. Res64: 644FBD1E3993B490 Time : 0.0 sec. user=vaughan [2013-01-02 15:35:17] 797*2^1238520-1 is not prime. Res64: 7FB148FC9AFC9EE6 Time : 0.0 sec. user=mdettweiler [2013-01-02 15:49:33] 871*2^1238521-1 is not prime. Res64: 4E3A707C4DEDAD2D Time : 0.0 sec. user=mdettweiler [2013-01-02 15:49:34] 937*2^1238521-1 is not prime. Res64: 680CBF982C617468 Time : 0.0 sec. user=mdettweiler [2013-01-02 15:50:59] 975*2^1238521-1 is not prime. Res64: 0FB79BF9D7C8F4BF Time : 0.0 sec. user=mdettweiler [2013-01-02 15:50:59] 987*2^1238521-1 is not prime. Res64: 5ABC58FACE879017 Time : 0.0 sec. user=mdettweiler [2013-01-02 16:07:27] 665*2^1238522-1 is not prime. Res64: 7861D22AF3A89F89 Time : 0.0 sec. user=mdettweiler [2013-01-02 16:07:28] 683*2^1238522-1 is not prime. Res64: D95CA656E675ACE4 Time : 0.0 sec. user=mdettweiler [2013-01-02 16:08:50] 785*2^1238522-1 is not prime. Res64: 9484F12CE6971450 Time : 0.0 sec. user=mdettweiler [2013-01-02 16:08:51] 815*2^1238522-1 is not prime. Res64: FEB6506C69A69CBC Time : 0.0 sec. user=vaughan [2013-01-02 16:13:04] 999*2^1238521-1 is not prime. Res64: E12C8D6047651801 Time : 0.0 sec. user=mdettweiler [2013-01-02 16:25:24] 887*2^1238522-1 is not prime. Res64: 5A19F9029DF771FF Time : 0.0 sec. user=mdettweiler [2013-01-02 16:25:24] 935*2^1238522-1 is not prime. Res64: FD0630F262975CA0 Time : 0.0 sec. user=mdettweiler [2013-01-02 16:26:39] 723*2^1238523-1 is not prime. Res64: 43E963A082C5D2A9 Time : 0.0 sec. user=mdettweiler [2013-01-02 16:26:40] 739*2^1238523-1 is not prime. Res64: 0B545046A950D51E Time : 0.0 sec. user=mdettweiler [2013-01-02 16:43:18] 781*2^1238523-1 is not prime. Res64: D51545E480E12798 Time : 0.0 sec. user=mdettweiler [2013-01-02 16:43:18] 789*2^1238523-1 is not prime. Res64: EE8251C97324172E Time : 0.0 sec. user=mdettweiler [2013-01-02 16:44:29] 849*2^1238523-1 is not prime. Res64: 212575B2E568BBF0 Time : 0.0 sec. user=mdettweiler [2013-01-02 16:44:29] 853*2^1238523-1 is not prime. Res64: 083F9BD1D30BBE1A Time : 0.0 sec. user=vaughan [2013-01-02 16:50:53] 741*2^1238523-1 is not prime. Res64: 427FE7E2E6006354 Time : 0.0 sec. user=mdettweiler [2013-01-02 17:01:07] 913*2^1238523-1 is not prime. Res64: 8057557B9D262AD3 Time : 0.0 sec. user=mdettweiler [2013-01-02 17:01:08] 677*2^1238524-1 is not prime. Res64: 2B3F3B5E221B34AD Time : 0.0 sec. user=mdettweiler [2013-01-02 17:02:17] 695*2^1238524-1 is not prime. Res64: 4F893FE4FDDFC7D6 Time : 0.0 sec. user=mdettweiler [2013-01-02 17:02:19] 743*2^1238524-1 is not prime. Res64: 96E44274FE6C86FD Time : 0.0 sec. user=mdettweiler [2013-01-02 17:19:23] 827*2^1238524-1 is not prime. Res64: 78CDE1410AF40A2C Time : 0.0 sec. user=mdettweiler [2013-01-02 17:19:23] 843*2^1238524-1 is not prime. Res64: 3D39D16E0BE62B62 Time : 0.0 sec. user=mdettweiler [2013-01-02 17:20:17] 887*2^1238524-1 is not prime. Res64: A780AA1BC86874F0 Time : 0.0 sec. user=mdettweiler [2013-01-02 17:20:17] 899*2^1238524-1 is not prime. Res64: B4407192342FD300 Time : 0.0 sec. user=vaughan [2013-01-02 17:28:41] 785*2^1238524-1 is not prime. Res64: DAA829D9C3514F2C Time : 0.0 sec. user=mdettweiler [2013-01-02 17:37:21] 607*2^1238525-1 is not prime. Res64: ABF31978E5A8B57A Time : 0.0 sec. user=mdettweiler [2013-01-02 17:37:22] 655*2^1238525-1 is not prime. Res64: A1508279DE52627B Time : 0.0 sec. user=mdettweiler [2013-01-02 17:38:13] 861*2^1238525-1 is not prime. Res64: 569A521AD0272211 Time : 0.0 sec. user=mdettweiler [2013-01-02 17:38:13] 981*2^1238525-1 is not prime. Res64: AFC06E0F2402868F Time : 0.0 sec. user=mdettweiler [2013-01-02 17:55:13] 755*2^1238526-1 is not prime. Res64: 6CD4DC4E9D2FD7DD Time : 0.0 sec. user=mdettweiler [2013-01-02 17:55:14] 777*2^1238526-1 is not prime. Res64: 0884A2D26EAB7BB8 Time : 0.0 sec. user=mdettweiler [2013-01-02 17:56:11] 983*2^1238526-1 is not prime. Res64: 9D59E744DA878680 Time : 0.0 sec. user=mdettweiler [2013-01-02 17:56:11] 619*2^1238527-1 is not prime. Res64: 492CC402153C6055 Time : 0.0 sec. user=vaughan [2013-01-02 18:06:28] 677*2^1238526-1 is not prime. Res64: FECF07D45D309917 Time : 0.0 sec. user=mdettweiler [2013-01-02 18:13:26] 729*2^1238527-1 is not prime. Res64: D4ADD64D04EF094A Time : 0.0 sec. user=mdettweiler [2013-01-02 18:13:26] 735*2^1238527-1 is not prime. Res64: 4321D43E6566A57B Time : 0.0 sec. user=mdettweiler [2013-01-02 18:14:24] 741*2^1238527-1 is not prime. Res64: 78CDD7712B5A5AF7 Time : 0.0 sec. user=mdettweiler [2013-01-02 18:14:24] 805*2^1238527-1 is not prime. Res64: DF5A7C0F64A860DC Time : 0.0 sec. user=mdettweiler [2013-01-02 18:31:05] 909*2^1238527-1 is not prime. Res64: F286224F1A299EC7 Time : 0.0 sec. user=mdettweiler [2013-01-02 18:31:05] 945*2^1238527-1 is not prime. Res64: 814065B66773B329 Time : 0.0 sec. user=mdettweiler [2013-01-02 18:32:04] 993*2^1238527-1 is not prime. Res64: E1305555FCD814B4 Time : 0.0 sec. user=mdettweiler [2013-01-02 18:32:04] 999*2^1238527-1 is not prime. Res64: 985ABF1FB214D57E Time : 0.0 sec. user=vaughan [2013-01-02 18:44:17] 819*2^1238527-1 is not prime. Res64: 3EE6A6CCCD7DE27F Time : 0.0 sec. user=mdettweiler [2013-01-02 18:48:39] 767*2^1238528-1 is not prime. Res64: 6AC6CEDD026A477B Time : 0.0 sec. user=mdettweiler [2013-01-02 18:48:40] 969*2^1238528-1 is not prime. Res64: B166D711743C03C9 Time : 0.0 sec. user=mdettweiler [2013-01-02 18:49:40] 625*2^1238529-1 is not prime. Res64: DFC13E793510E8D4 Time : 0.0 sec. user=mdettweiler [2013-01-02 18:49:40] 627*2^1238529-1 is not prime. Res64: 7238F6FF7C610964 Time : 0.0 sec. user=mdettweiler [2013-01-02 19:06:09] 649*2^1238529-1 is not prime. Res64: 7080E7F12E69B77F Time : 0.0 sec. user=mdettweiler [2013-01-02 19:06:10] 709*2^1238529-1 is not prime. Res64: 33FC231C89E9BEDF Time : 0.0 sec. user=mdettweiler [2013-01-02 19:07:07] 741*2^1238529-1 is not prime. Res64: 6F17E2A807C9C78F Time : 0.0 sec. user=mdettweiler [2013-01-02 19:07:09] 807*2^1238529-1 is not prime. Res64: A8358CB2B08656DC Time : 0.0 sec. user=vaughan [2013-01-02 19:22:07] 637*2^1238529-1 is not prime. Res64: B3DC45A0EA7A69A1 Time : 0.0 sec. user=mdettweiler [2013-01-02 19:23:48] 865*2^1238529-1 is not prime. Res64: C25681E8493AFB1D Time : 0.0 sec. user=mdettweiler [2013-01-02 19:23:49] 885*2^1238529-1 is not prime. Res64: 3220E6722E3BEDB6 Time : 0.0 sec. user=mdettweiler [2013-01-02 19:24:37] 895*2^1238529-1 is not prime. Res64: 3E7483358B37D514 Time : 0.0 sec. user=mdettweiler [2013-01-02 19:24:38] 987*2^1238529-1 is not prime. Res64: 4AF70118247757D3 Time : 0.0 sec. user=mdettweiler [2013-01-02 19:41:16] 717*2^1238530-1 is not prime. Res64: 8B2575B3BFEB4FE1 Time : 0.0 sec. user=mdettweiler [2013-01-02 19:41:16] 755*2^1238530-1 is not prime. Res64: 543D6642774248E2 Time : 0.0 sec. user=mdettweiler [2013-01-02 19:42:04] 827*2^1238530-1 is not prime. Res64: 9E55EB669E72E8AB Time : 0.0 sec. user=mdettweiler [2013-01-02 19:42:04] 619*2^1238531-1 is not prime. Res64: 8D8520D241D7B54C Time : 0.0 sec. user=mdettweiler [2013-01-02 19:58:43] 745*2^1238531-1 is not prime. Res64: 7DAC3C4A4A8BE8A7 Time : 0.0 sec. user=mdettweiler [2013-01-02 19:58:43] 759*2^1238531-1 is not prime. Res64: DDA367C3D61B3CC2 Time : 0.0 sec. user=mdettweiler [2013-01-02 19:59:31] 781*2^1238531-1 is not prime. Res64: 1EC5DCD0E063B421 Time : 0.0 sec. user=mdettweiler [2013-01-02 19:59:31] 909*2^1238531-1 is not prime. Res64: 8A27707940E35527 Time : 0.0 sec. user=vaughan [2013-01-02 19:59:56] 623*2^1238530-1 is not prime. Res64: 9228122288D89A5C Time : 0.0 sec. user=mdettweiler [2013-01-02 20:16:15] 635*2^1238532-1 is not prime. Res64: 1CD28D76909E0348 Time : 0.0 sec. user=mdettweiler [2013-01-02 20:16:16] 653*2^1238532-1 is not prime. Res64: BBC8B3B48B2D23C5 Time : 0.0 sec. user=mdettweiler [2013-01-02 20:17:03] 725*2^1238532-1 is not prime. Res64: 40A607A2690C1105 Time : 0.0 sec. user=mdettweiler [2013-01-02 20:17:03] 749*2^1238532-1 is not prime. Res64: 1E1480587E392A03 Time : 0.0 sec. user=mdettweiler [2013-01-02 20:33:45] 863*2^1238532-1 is not prime. Res64: 6EC8A232CF0D8B6B Time : 0.0 sec. user=mdettweiler [2013-01-02 20:33:46] 915*2^1238532-1 is not prime. Res64: E456146252F2DB66 Time : 0.0 sec. user=mdettweiler [2013-01-02 20:34:31] 987*2^1238532-1 is not prime. Res64: 8F301EF17152831B Time : 0.0 sec. user=mdettweiler [2013-01-02 20:34:31] 615*2^1238533-1 is not prime. Res64: 866161E1BBE4A4C7 Time : 0.0 sec. user=vaughan [2013-01-02 20:37:44] 825*2^1238532-1 is not prime. Res64: F30FD16D218E7BAC Time : 0.0 sec. user=mdettweiler [2013-01-02 20:51:12] 687*2^1238533-1 is not prime. Res64: 7599429D780F9EEC Time : 0.0 sec. user=mdettweiler [2013-01-02 20:51:13] 745*2^1238533-1 is not prime. Res64: A259280ED28FB967 Time : 0.0 sec. user=mdettweiler [2013-01-02 20:51:57] 801*2^1238533-1 is not prime. Res64: 518019C7B7C8384B Time : 0.0 sec. user=mdettweiler [2013-01-02 20:51:58] 885*2^1238533-1 is not prime. Res64: 150D592EF68AFE5E Time : 0.0 sec. user=mdettweiler [2013-01-02 21:08:40] 957*2^1238533-1 is not prime. Res64: E906A953C6A847F9 Time : 0.0 sec. user=mdettweiler [2013-01-02 21:08:42] 961*2^1238533-1 is not prime. Res64: 3024A164F842893E Time : 0.0 sec. user=mdettweiler [2013-01-02 21:09:25] 999*2^1238533-1 is not prime. Res64: 00F66FED5E1B2F52 Time : 0.0 sec. user=mdettweiler [2013-01-02 21:09:27] 705*2^1238534-1 is not prime. Res64: 49278C95666604C2 Time : 0.0 sec. user=vaughan [2013-01-02 21:15:31] 937*2^1238533-1 is not prime. Res64: EF7E61DB1F7527DC Time : 0.0 sec. user=mdettweiler [2013-01-02 21:26:27] 773*2^1238534-1 is not prime. Res64: D5C63B6D03EABF2D Time : 0.0 sec. user=mdettweiler [2013-01-02 21:26:27] 791*2^1238534-1 is not prime. Res64: 609027055D480FE3 Time : 0.0 sec. user=mdettweiler [2013-01-02 21:26:58] 813*2^1238534-1 is not prime. Res64: C0080FE9CCCBF55F Time : 0.0 sec. user=mdettweiler [2013-01-02 21:26:58] 849*2^1238535-1 is not prime. Res64: BEFE0D5B61B24071 Time : 0.0 sec. user=mdettweiler [2013-01-02 21:43:55] 979*2^1238535-1 is not prime. Res64: C07631885C123179 Time : 0.0 sec. user=mdettweiler [2013-01-02 21:43:55] 985*2^1238535-1 is not prime. Res64: 3F0221528555FD40 Time : 0.0 sec. user=mdettweiler [2013-01-02 21:44:28] 609*2^1238536-1 is not prime. Res64: 3B8731D4CC19A51E Time : 0.0 sec. user=mdettweiler [2013-01-02 21:44:28] 645*2^1238536-1 is not prime. Res64: 444519259675DAE7 Time : 0.0 sec. user=vaughan [2013-01-02 21:53:21] 963*2^1238535-1 is not prime. Res64: 0B53EC39768D04FF Time : 0.0 sec. user=mdettweiler [2013-01-02 22:01:23] 803*2^1238536-1 is not prime. Res64: 4987C04920557A98 Time : 0.0 sec. user=mdettweiler [2013-01-02 22:01:25] 869*2^1238536-1 is not prime. Res64: 9F62BCA4F5D0C973 Time : 0.0 sec. user=mdettweiler [2013-01-02 22:01:56] 905*2^1238536-1 is not prime. Res64: B7DA9EC91D44BA3B Time : 0.0 sec. user=mdettweiler [2013-01-02 22:01:58] 727*2^1238537-1 is not prime. Res64: C5A1E07332F25DF4 Time : 0.0 sec. user=mdettweiler [2013-01-02 22:19:05] 795*2^1238537-1 is not prime. Res64: D7C9CAF0DEC3B185 Time : 0.0 sec. user=mdettweiler [2013-01-02 22:19:06] 957*2^1238537-1 is not prime. Res64: 3165263E253AE3DB Time : 0.0 sec. user=mdettweiler [2013-01-02 22:19:31] 671*2^1238538-1 is not prime. Res64: AE01B7FDE62ABDFF Time : 0.0 sec. user=mdettweiler [2013-01-02 22:19:32] 707*2^1238538-1 is not prime. Res64: 414993134DDCD305 Time : 0.0 sec. user=vaughan [2013-01-02 22:31:08] 777*2^1238537-1 is not prime. Res64: 3F59BA4CFE2DDCFB Time : 0.0 sec. user=mdettweiler [2013-01-02 22:36:34] 803*2^1238538-1 is not prime. Res64: 9EB24D247B3D7DC3 Time : 0.0 sec. user=mdettweiler [2013-01-02 22:36:35] 891*2^1238538-1 is not prime. Res64: 7B4DE2D11485D2AB Time : 0.0 sec. user=mdettweiler [2013-01-02 22:36:58] 945*2^1238538-1 is not prime. Res64: 97E47EE1042D5AAC Time : 0.0 sec. user=mdettweiler [2013-01-02 22:36:59] 963*2^1238538-1 is not prime. Res64: 130819708FB24FC6 Time : 0.0 sec. user=mdettweiler [2013-01-02 22:54:02] 801*2^1238539-1 is not prime. Res64: 5667DECC205318C2 Time : 0.0 sec. user=mdettweiler [2013-01-02 22:54:02] 861*2^1238539-1 is not prime. Res64: E62827E39649EEDF Time : 0.0 sec. user=mdettweiler [2013-01-02 22:54:26] 895*2^1238539-1 is not prime. Res64: 3015E6BB375A99F0 Time : 0.0 sec. user=mdettweiler [2013-01-02 22:54:26] 909*2^1238539-1 is not prime. Res64: DC854693F2A74FE3 Time : 0.0 sec. user=vaughan [2013-01-02 23:08:57] 615*2^1238539-1 is not prime. Res64: C7E0619581923E95 Time : 0.0 sec. user=mdettweiler [2013-01-02 23:11:30] 943*2^1238539-1 is not prime. Res64: E910C1B0963661DA Time : 0.0 sec. user=mdettweiler [2013-01-02 23:11:32] 635*2^1238540-1 is not prime. Res64: 95B133509EFFC53D Time : 0.0 sec. user=mdettweiler [2013-01-02 23:11:56] 663*2^1238540-1 is not prime. Res64: 48C38E2AF50CF092 Time : 0.0 sec. user=mdettweiler [2013-01-02 23:11:56] 665*2^1238540-1 is not prime. Res64: 062B3205EDB78A5B Time : 0.0 sec. user=mdettweiler [2013-01-02 23:29:00] 677*2^1238540-1 is not prime. Res64: 5EC7341DC30C8609 Time : 0.0 sec. user=mdettweiler [2013-01-02 23:29:01] 743*2^1238540-1 is not prime. Res64: F9FD1F060FE87487 Time : 0.0 sec. user=mdettweiler [2013-01-02 23:29:21] 755*2^1238540-1 is not prime. Res64: 5D2E2F72F1ECB772 Time : 0.0 sec. user=mdettweiler [2013-01-02 23:29:22] 983*2^1238540-1 is not prime. Res64: F878C4EEE4C87E68 Time : 0.0 sec. user=mdettweiler [2013-01-02 23:46:25] 995*2^1238540-1 is not prime. Res64: B379BA258763BB4B Time : 0.0 sec. user=mdettweiler [2013-01-02 23:46:26] 999*2^1238540-1 is not prime. Res64: 95D81DBB52BB8CCA Time : 0.0 sec. user=mdettweiler [2013-01-02 23:46:43] 607*2^1238541-1 is not prime. Res64: 1E668808A5C032FA Time : 0.0 sec. user=mdettweiler [2013-01-02 23:46:44] 751*2^1238541-1 is not prime. Res64: CFBCCAB8E27B5728 Time : 0.0 sec. user=vaughan [2013-01-02 23:46:49] 669*2^1238540-1 is not prime. Res64: 23437A67E93F2D6E Time : 0.0 sec.