user=mdettweiler [2012-01-08 00:05:18] 717*2^1000254-1 is not prime. Res64: B7CA33858E8F1DBD Time : 0.0 sec. user=mdettweiler [2012-01-08 00:05:19] 731*2^1000254-1 is not prime. Res64: 3598874AE6524BBA Time : 0.0 sec. user=mdettweiler [2012-01-08 00:08:17] 741*2^1000255-1 is not prime. Res64: BFF487EF987AFCE2 Time : 0.0 sec. user=mdettweiler [2012-01-08 00:08:18] 913*2^1000255-1 is not prime. Res64: BF24FA557A208B4F Time : 0.0 sec. user=mdettweiler [2012-01-08 00:09:11] 807*2^1000254-1 is not prime. Res64: 86A3907ED6A8E7B6 Time : 0.0 sec. user=mdettweiler [2012-01-08 00:09:12] 975*2^1000254-1 is not prime. Res64: 5EA5C629C993A250 Time : 0.0 sec. user=mdettweiler [2012-01-08 00:12:08] 933*2^1000255-1 is not prime. Res64: FE2B01D7C8A87D18 Time : 0.0 sec. user=mdettweiler [2012-01-08 00:12:10] 951*2^1000255-1 is not prime. Res64: CCEC0CCCE12ED40A Time : 0.0 sec. user=mdettweiler [2012-01-08 00:27:26] 973*2^1000255-1 is not prime. Res64: 7E8585306CE5164A Time : 0.0 sec. user=mdettweiler [2012-01-08 00:27:26] 617*2^1000256-1 is not prime. Res64: 0CC95DACE23F889C Time : 0.0 sec. user=mdettweiler [2012-01-08 00:27:59] 813*2^1000256-1 is not prime. Res64: 6F7B805EF184A7FF Time : 0.0 sec. user=mdettweiler [2012-01-08 00:28:00] 923*2^1000256-1 is not prime. Res64: 6BC4C56A07A15D5B Time : 0.0 sec. user=mdettweiler [2012-01-08 00:28:59] 957*2^1000256-1 is not prime. Res64: CDE95737E66435DA Time : 0.0 sec. user=mdettweiler [2012-01-08 00:29:00] 651*2^1000257-1 is not prime. Res64: 42FAE7B323BC12FB Time : 0.0 sec. user=mdettweiler [2012-01-08 00:31:56] 747*2^1000257-1 is not prime. Res64: F8E92C56EDE57A3F Time : 0.0 sec. user=mdettweiler [2012-01-08 00:31:56] 759*2^1000257-1 is not prime. Res64: 18B063A38ED5E4E3 Time : 0.0 sec. user=mdettweiler [2012-01-08 00:47:09] 795*2^1000257-1 is not prime. Res64: 6DEDAA4D28D6B010 Time : 0.0 sec. user=mdettweiler [2012-01-08 00:47:10] 831*2^1000257-1 is not prime. Res64: 4B2D86BF754841DD Time : 0.0 sec. user=mdettweiler [2012-01-08 00:47:39] 835*2^1000257-1 is not prime. Res64: A97F754DDEBA8417 Time : 0.0 sec. user=mdettweiler [2012-01-08 00:47:39] 919*2^1000257-1 is not prime. Res64: 797A34084A929463 Time : 0.0 sec. user=mdettweiler [2012-01-08 00:48:39] 647*2^1000258-1 is not prime. Res64: B43D1C0FE22CBA0F Time : 0.0 sec. user=mdettweiler [2012-01-08 00:48:39] 773*2^1000258-1 is not prime. Res64: 08CCEAFA92AF8BA8 Time : 0.0 sec. user=mdettweiler [2012-01-08 00:51:39] 801*2^1000258-1 is not prime. Res64: F6621FD68144B931 Time : 0.0 sec. user=mdettweiler [2012-01-08 00:51:39] 915*2^1000258-1 is not prime. Res64: 0646B591070189D0 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:06:51] 933*2^1000258-1 is not prime. Res64: 2FBF359B1C313971 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:06:54] 663*2^1000259-1 is not prime. Res64: 0AD2D1007608D68B Time : 0.0 sec. user=mdettweiler [2012-01-08 01:07:23] 711*2^1000259-1 is not prime. Res64: A0D46F9359D86919 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:07:24] 829*2^1000259-1 is not prime. Res64: E1F89FED9BC18553 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:08:15] 903*2^1000259-1 is not prime. Res64: 990639DAF2E73370 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:08:16] 627*2^1000260-1 is not prime. Res64: B3C3D04A21B32A70 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:11:21] 689*2^1000260-1 is not prime. Res64: 0C8634F69B81EC6A Time : 0.0 sec. user=mdettweiler [2012-01-08 01:11:24] 839*2^1000260-1 is not prime. Res64: 74701AE8B465E92D Time : 0.0 sec. user=mdettweiler [2012-01-08 01:26:44] 927*2^1000260-1 is not prime. Res64: A4027AD520341735 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:26:44] 687*2^1000261-1 is not prime. Res64: 80EEBA99DA3654A8 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:27:07] 771*2^1000261-1 is not prime. Res64: 22981B6947ACBD10 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:27:07] 951*2^1000261-1 is not prime. Res64: F1284C25E21F8959 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:28:00] 645*2^1000262-1 is not prime. Res64: C3F9490ADF408573 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:28:00] 677*2^1000262-1 is not prime. Res64: 45B8CC9001CB9140 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:31:09] 747*2^1000262-1 is not prime. Res64: EB93AFDCEFD8B945 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:31:10] 791*2^1000262-1 is not prime. Res64: F3169AD8C1200DA4 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:46:32] 935*2^1000262-1 is not prime. Res64: 23104C9618721B20 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:46:32] 775*2^1000263-1 is not prime. Res64: 49D1C7DA5CECAAF9 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:46:48] 823*2^1000263-1 is not prime. Res64: C2E6209E6CBC8D9C Time : 0.0 sec. user=mdettweiler [2012-01-08 01:46:49] 895*2^1000263-1 is not prime. Res64: 36AD538D7FEBAE8D Time : 0.0 sec. user=mdettweiler [2012-01-08 01:49:58] 991*2^1000263-1 is not prime. Res64: 3EDDB554EAF0E0CB Time : 0.0 sec. user=mdettweiler [2012-01-08 01:49:59] 635*2^1000264-1 is not prime. Res64: FC2839432A763A63 Time : 0.0 sec. user=mdettweiler [2012-01-08 01:50:55] 695*2^1000264-1 is not prime. Res64: DE61F54224E0FCCE Time : 0.0 sec. user=mdettweiler [2012-01-08 01:50:56] 819*2^1000264-1 is not prime. Res64: CEB0C8644D0EA33E Time : 0.0 sec. user=mdettweiler [2012-01-08 02:07:33] 825*2^1000264-1 is not prime. Res64: 06ECD1E1BF4B27D3 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:07:34] 697*2^1000265-1 is not prime. Res64: 095B0BA992294CA5 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:07:57] 715*2^1000265-1 is not prime. Res64: 8B3F6D0FFBCF6B41 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:07:58] 729*2^1000265-1 is not prime. Res64: 07616B80C02D7616 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:11:45] 885*2^1000265-1 is not prime. Res64: A059BFC23B4D2776 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:11:46] 909*2^1000265-1 is not prime. Res64: F1AD991DEBB5BD37 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:12:59] 939*2^1000265-1 is not prime. Res64: 5B1D31C1F8060BE6 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:13:00] 683*2^1000266-1 is not prime. Res64: EFF62E4DBD81BFA5 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:31:50] 705*2^1000266-1 is not prime. Res64: A08649506E8F93AF Time : 0.0 sec. user=mdettweiler [2012-01-08 02:31:52] 713*2^1000266-1 is not prime. Res64: 3BB440DE0693BFE7 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:32:36] 723*2^1000266-1 is not prime. Res64: BAB3432545F9A2C7 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:32:36] 765*2^1000266-1 is not prime. Res64: 060B7FD8A3278E68 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:35:46] 783*2^1000266-1 is not prime. Res64: D32CA3E02E16844D Time : 0.0 sec. user=mdettweiler [2012-01-08 02:35:48] 851*2^1000266-1 is not prime. Res64: BD10DF795CD1EFEA Time : 0.0 sec. user=mdettweiler [2012-01-08 02:36:40] 945*2^1000266-1 is not prime. Res64: 03081A798EB95404 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:36:41] 603*2^1000267-1 is not prime. Res64: 84B20C2644240C1B Time : 0.0 sec. user=mdettweiler [2012-01-08 02:51:45] 631*2^1000267-1 is not prime. Res64: 3FD595BF05AAAB25 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:51:45] 645*2^1000267-1 is not prime. Res64: B91BEE25C06AFE7C Time : 0.0 sec. user=mdettweiler [2012-01-08 02:52:35] 681*2^1000267-1 is not prime. Res64: F6A92EFAEEA84312 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:52:36] 685*2^1000267-1 is not prime. Res64: F9859A3D39E821B9 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:55:45] 733*2^1000267-1 is not prime. Res64: E9A6CFCA8C5C2B47 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:55:45] 741*2^1000267-1 is not prime. Res64: C680FD3A99498586 Time : 0.0 sec. user=mdettweiler [2012-01-08 02:56:45] 805*2^1000267-1 is not prime. Res64: 7274DD11A0C582FB Time : 0.0 sec. user=mdettweiler [2012-01-08 02:56:45] 819*2^1000267-1 is not prime. Res64: 1793E01DE6CF2071 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:11:31] 861*2^1000267-1 is not prime. Res64: 74593BE405F752DE Time : 0.0 sec. user=mdettweiler [2012-01-08 03:11:32] 883*2^1000267-1 is not prime. Res64: D35EAF2BEE03471C Time : 0.0 sec. user=mdettweiler [2012-01-08 03:14:32] 975*2^1000267-1 is not prime. Res64: C3AB177E68FFB23C Time : 0.0 sec. user=mdettweiler [2012-01-08 03:14:33] 633*2^1000268-1 is not prime. Res64: 37AC68A9D68BC395 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:15:27] 699*2^1000268-1 is not prime. Res64: E300C1D9E0C50B6E Time : 0.0 sec. user=mdettweiler [2012-01-08 03:15:28] 707*2^1000268-1 is not prime. Res64: 6DACEAAE84597EAE Time : 0.0 sec. user=mdettweiler [2012-01-08 03:16:35] 743*2^1000268-1 is not prime. Res64: CB71F4BF9103B42C Time : 0.0 sec. user=mdettweiler [2012-01-08 03:16:35] 767*2^1000268-1 is not prime. Res64: B8386385F920C019 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:31:18] 843*2^1000268-1 is not prime. Res64: 9F29BDAAF1A64958 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:31:20] 867*2^1000268-1 is not prime. Res64: 69BE1579ABF89A8D Time : 0.0 sec. user=mdettweiler [2012-01-08 03:34:16] 935*2^1000268-1 is not prime. Res64: 97D4738B75F86507 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:34:16] 953*2^1000268-1 is not prime. Res64: 62FA10DFB2ED2D2E Time : 0.0 sec. user=mdettweiler [2012-01-08 03:36:17] 625*2^1000269-1 is not prime. Res64: 9CA8DBDEE6F4F806 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:36:18] 639*2^1000269-1 is not prime. Res64: C51594EF9FD4164A Time : 0.0 sec. user=mdettweiler [2012-01-08 03:39:42] 963*2^1000268-1 is not prime. Res64: 0681374A22184E52 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:39:43] 995*2^1000268-1 is not prime. Res64: 8364BD9CD25CEB15 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:51:07] 661*2^1000269-1 is not prime. Res64: 297AC940AACCE281 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:51:08] 781*2^1000269-1 is not prime. Res64: 9496294A6B511D5E Time : 0.0 sec. user=mdettweiler [2012-01-08 03:54:06] 889*2^1000269-1 is not prime. Res64: 828565F09CC6B524 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:54:06] 921*2^1000269-1 is not prime. Res64: FE35BF4BC539F7A9 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:56:04] 961*2^1000269-1 is not prime. Res64: DF5D1C09D1510DB3 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:56:05] 653*2^1000270-1 is not prime. Res64: 313FF80D9C5D80F1 Time : 0.0 sec. user=mdettweiler [2012-01-08 03:59:26] 657*2^1000270-1 is not prime. Res64: 265A81DF3814F58F Time : 0.0 sec. user=mdettweiler [2012-01-08 03:59:27] 713*2^1000270-1 is not prime. Res64: 7736A223A4D5007B Time : 0.0 sec. user=mdettweiler [2012-01-08 04:10:49] 741*2^1000270-1 is not prime. Res64: 6A7C0EF2F5A81B7A Time : 0.0 sec. user=mdettweiler [2012-01-08 04:10:50] 833*2^1000270-1 is not prime. Res64: AF8A92F43401960C Time : 0.0 sec. user=mdettweiler [2012-01-08 04:13:45] 843*2^1000270-1 is not prime. Res64: 788B63F6C546CA84 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:13:46] 945*2^1000270-1 is not prime. Res64: 49E3DC90EF4AE39B Time : 0.0 sec. user=mdettweiler [2012-01-08 04:18:03] 975*2^1000270-1 is not prime. Res64: 4976CBF92A724FCB Time : 0.0 sec. user=mdettweiler [2012-01-08 04:18:03] 685*2^1000271-1 is not prime. Res64: 26E50082BC8FC80F Time : 0.0 sec. user=mdettweiler [2012-01-08 04:19:07] 693*2^1000271-1 is not prime. Res64: EFE58E38AB6F9A20 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:19:08] 735*2^1000271-1 is not prime. Res64: E33D982502AFC663 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:30:36] 753*2^1000271-1 is not prime. Res64: 53A7B4BFFA876E60 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:30:37] 783*2^1000271-1 is not prime. Res64: 38C660188F5D1BD5 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:33:33] 805*2^1000271-1 is not prime. Res64: 988C792FA46E0BF2 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:33:34] 825*2^1000271-1 is not prime. Res64: 70EACA3072E52E4C Time : 0.0 sec. user=mdettweiler [2012-01-08 04:37:52] 841*2^1000271-1 is not prime. Res64: 3678C566B2FB6AC6 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:37:53] 883*2^1000271-1 is not prime. Res64: A80F9A1E504A7154 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:38:46] 665*2^1000272-1 is not prime. Res64: EE8270780A390EF0 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:38:47] 723*2^1000272-1 is not prime. Res64: 4470EDBAEB0D4B25 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:50:27] 753*2^1000272-1 is not prime. Res64: 7CC143C9E2FE376F Time : 0.0 sec. user=mdettweiler [2012-01-08 04:50:28] 759*2^1000272-1 is not prime. Res64: 9DB0C61512687395 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:53:15] 797*2^1000272-1 is not prime. Res64: B9B429DBAFA8EAB5 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:53:15] 803*2^1000272-1 is not prime. Res64: D6714F953457A8A5 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:57:43] 863*2^1000272-1 is not prime. Res64: 72FD9FFD14426473 Time : 0.0 sec. user=mdettweiler [2012-01-08 04:57:44] 873*2^1000272-1 is not prime. Res64: 1E215EE02EAE0FC5 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:00:46] 893*2^1000272-1 is not prime. Res64: FE5A209B45B2672C Time : 0.0 sec. user=mdettweiler [2012-01-08 05:00:48] 977*2^1000272-1 is not prime. Res64: BDE4FC601EA288D9 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:10:17] 615*2^1000273-1 is not prime. Res64: BB63C7448CD5E295 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:10:18] 639*2^1000273-1 is not prime. Res64: 9CDD995996C92A52 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:13:03] 687*2^1000273-1 is not prime. Res64: 6512A769B6AC909D Time : 0.0 sec. user=mdettweiler [2012-01-08 05:13:04] 741*2^1000273-1 is not prime. Res64: EBD163DAA4710CC3 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:17:35] 765*2^1000273-1 is not prime. Res64: B30EA7EBA42F6EFE Time : 0.0 sec. user=mdettweiler [2012-01-08 05:17:36] 771*2^1000273-1 is not prime. Res64: 69479FBDE240A529 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:20:38] 855*2^1000273-1 is not prime. Res64: 8F050AD11F096F7F Time : 0.0 sec. user=mdettweiler [2012-01-08 05:20:38] 867*2^1000273-1 is not prime. Res64: B6CE26A8840FA3B3 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:30:10] 651*2^1000274-1 is not prime. Res64: 18CD722F12017D3F Time : 0.0 sec. user=mdettweiler [2012-01-08 05:30:12] 741*2^1000274-1 is not prime. Res64: C474737D25690C77 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:32:44] 753*2^1000274-1 is not prime. Res64: 0647E7ED8B6AD6AF Time : 0.0 sec. user=mdettweiler [2012-01-08 05:32:45] 773*2^1000274-1 is not prime. Res64: 098C85BF42979872 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:37:20] 857*2^1000274-1 is not prime. Res64: CE7974F6288B7F1C Time : 0.0 sec. user=mdettweiler [2012-01-08 05:37:21] 885*2^1000274-1 is not prime. Res64: AE148847F8FC988F Time : 0.0 sec. user=mdettweiler [2012-01-08 05:42:35] 971*2^1000274-1 is not prime. Res64: 683CA2BDE274DB3B Time : 0.0 sec. user=mdettweiler [2012-01-08 05:42:36] 663*2^1000275-1 is not prime. Res64: 0865EE5CFAB72992 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:50:00] 741*2^1000275-1 is not prime. Res64: C4A76FEDA289A183 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:50:01] 849*2^1000275-1 is not prime. Res64: 35533CB3950FE5B1 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:52:25] 949*2^1000275-1 is not prime. Res64: 6205D233AE277F88 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:52:25] 615*2^1000276-1 is not prime. Res64: 660A20206BA1E6C9 Time : 0.0 sec. user=mdettweiler [2012-01-08 05:57:06] 657*2^1000276-1 is not prime. Res64: 79D892BCD7ED1FFB Time : 0.0 sec. user=mdettweiler [2012-01-08 05:57:06] 689*2^1000276-1 is not prime. Res64: 803033AA837A9F30 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:02:17] 705*2^1000276-1 is not prime. Res64: 0FBF55DF17B99D97 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:02:18] 743*2^1000276-1 is not prime. Res64: 2871083F19DBAA65 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:09:43] 825*2^1000276-1 is not prime. Res64: DB467982BF1195F5 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:09:43] 923*2^1000276-1 is not prime. Res64: 3370EE6D1E6332C5 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:12:10] 933*2^1000276-1 is not prime. Res64: 668BE3C16293CE5F Time : 0.0 sec. user=mdettweiler [2012-01-08 06:12:12] 607*2^1000277-1 is not prime. Res64: 472EEE60CC8F86A7 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:16:51] 675*2^1000277-1 is not prime. Res64: BB2B7D12EF41A6FA Time : 0.0 sec. user=mdettweiler [2012-01-08 06:16:51] 757*2^1000277-1 is not prime. Res64: 8E46F18110381AF9 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:21:54] 769*2^1000277-1 is not prime. Res64: 6D67CDBF12A202E1 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:21:55] 865*2^1000277-1 is not prime. Res64: A8E34B4AF65C2C61 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:29:24] 927*2^1000277-1 is not prime. Res64: 77866E67F0995393 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:29:24] 931*2^1000277-1 is not prime. Res64: 2917317C6723A231 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:32:00] 937*2^1000277-1 is not prime. Res64: 7812945E9EB3BFA2 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:32:00] 663*2^1000278-1 is not prime. Res64: 34A8C92FB19E3637 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:36:33] 677*2^1000278-1 is not prime. Res64: CA00E1D85040F5B2 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:36:33] 843*2^1000278-1 is not prime. Res64: A5B96D07D4B8DC3E Time : 0.0 sec. user=mdettweiler [2012-01-08 06:41:40] 645*2^1000279-1 is not prime. Res64: 5642E1E616F8C131 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:41:40] 745*2^1000279-1 is not prime. Res64: 316C6A3DCEC55A27 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:51:47] 717*2^1000280-1 is not prime. Res64: 9530E89C01183124 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:51:47] 725*2^1000280-1 is not prime. Res64: 39EB1653BC5DDDD6 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:53:40] 985*2^1000279-1 is not prime. Res64: 47A2A16C7A4CD85A Time : 0.0 sec. user=mdettweiler [2012-01-08 06:53:40] 993*2^1000279-1 is not prime. Res64: 9A10A4425C7DE840 Time : 0.0 sec. user=mdettweiler [2012-01-08 06:56:18] 959*2^1000280-1 is not prime. Res64: F3AC9FBD521BCA3C Time : 0.0 sec. user=mdettweiler [2012-01-08 06:56:18] 649*2^1000281-1 is not prime. Res64: C60BFF2E1A0D9589 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:01:26] 705*2^1000281-1 is not prime. Res64: 1F5C67AA99A8392C Time : 0.0 sec. user=mdettweiler [2012-01-08 07:01:27] 727*2^1000281-1 is not prime. Res64: 2607A604BA6A1AAD Time : 0.0 sec. user=mdettweiler [2012-01-08 07:11:34] 871*2^1000281-1 is not prime. Res64: 9175C76DCB22FB5A Time : 0.0 sec. user=mdettweiler [2012-01-08 07:11:35] 623*2^1000282-1 is not prime. Res64: 51BEB5E8C2A2DDAA Time : 0.0 sec. user=mdettweiler [2012-01-08 07:13:23] 701*2^1000282-1 is not prime. Res64: C33D4B189625C7F4 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:13:24] 705*2^1000282-1 is not prime. Res64: D1E8D84D6620CC0C Time : 0.0 sec. user=mdettweiler [2012-01-08 07:16:01] 731*2^1000282-1 is not prime. Res64: 1C290FD97A9DCC9B Time : 0.0 sec. user=mdettweiler [2012-01-08 07:16:02] 801*2^1000282-1 is not prime. Res64: D0F5F5088C5168D7 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:21:11] 821*2^1000282-1 is not prime. Res64: 7DDC0F8B21B3AA1D Time : 0.0 sec. user=mdettweiler [2012-01-08 07:21:11] 945*2^1000282-1 is not prime. Res64: 123551F362E54222 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:33:13] 705*2^1000284-1 is not prime. Res64: 2D7BA5FE134479A0 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:33:13] 707*2^1000284-1 is not prime. Res64: 8B076D6C7E0CD144 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:33:33] 963*2^1000283-1 is not prime. Res64: AD6E94E8688C5C1D Time : 0.0 sec. user=mdettweiler [2012-01-08 07:33:34] 693*2^1000284-1 is not prime. Res64: 8B73731C7BB2E122 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:35:44] 863*2^1000284-1 is not prime. Res64: E62759E7C47FCD10 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:35:44] 887*2^1000284-1 is not prime. Res64: 5BE1F96D62262128 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:43:10] 959*2^1000284-1 is not prime. Res64: 04E6A766006BB1BF Time : 0.0 sec. user=mdettweiler [2012-01-08 07:43:10] 975*2^1000284-1 is not prime. Res64: 97CF109527C0D43A Time : 0.0 sec. user=mdettweiler [2012-01-08 07:52:57] 811*2^1000285-1 is not prime. Res64: FFA5735C1C7E5351 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:52:58] 855*2^1000285-1 is not prime. Res64: FEFC794447B42469 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:53:19] 925*2^1000285-1 is not prime. Res64: F9152C18ECEE15A3 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:53:19] 937*2^1000285-1 is not prime. Res64: 0A0E066CFE1D29E8 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:57:46] 981*2^1000285-1 is not prime. Res64: C3927FDD172C5061 Time : 0.0 sec. user=mdettweiler [2012-01-08 07:57:47] 635*2^1000286-1 is not prime. Res64: 17DA59E60852A5ED Time : 0.0 sec. user=mdettweiler [2012-01-08 08:02:48] 705*2^1000286-1 is not prime. Res64: 48427EF0953C9026 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:02:51] 761*2^1000286-1 is not prime. Res64: 663C6512414FE2D2 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:12:35] 813*2^1000286-1 is not prime. Res64: 76D247592AA3413C Time : 0.0 sec. user=mdettweiler [2012-01-08 08:12:39] 827*2^1000286-1 is not prime. Res64: 6D296D6567878CA5 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:13:01] 831*2^1000286-1 is not prime. Res64: 559675CBEDE808FF Time : 0.0 sec. user=mdettweiler [2012-01-08 08:13:02] 887*2^1000286-1 is not prime. Res64: E332B6F872D4D817 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:19:48] 953*2^1000286-1 is not prime. Res64: FFBC341BC34E39E8 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:19:49] 983*2^1000286-1 is not prime. Res64: 4F756A14BC3F52E3 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:22:31] 615*2^1000287-1 is not prime. Res64: 33A6493EB32BBFD5 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:22:31] 871*2^1000287-1 is not prime. Res64: E68A357FE256785E Time : 0.0 sec. user=mdettweiler [2012-01-08 08:32:29] 885*2^1000287-1 is not prime. Res64: E94BE2DAA6EDEFE0 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:32:29] 961*2^1000287-1 is not prime. Res64: EBEEC5B20DC2EDCF Time : 0.0 sec. user=mdettweiler [2012-01-08 08:32:46] 773*2^1000288-1 is not prime. Res64: 91519C5B42FEFD2D Time : 0.0 sec. user=mdettweiler [2012-01-08 08:32:46] 827*2^1000288-1 is not prime. Res64: 5A10857ECB08F18A Time : 0.0 sec. user=mdettweiler [2012-01-08 08:39:35] 843*2^1000288-1 is not prime. Res64: DEF3144C593E9AAD Time : 0.0 sec. user=mdettweiler [2012-01-08 08:39:35] 863*2^1000288-1 is not prime. Res64: B50F4C0EF0FDABFD Time : 0.0 sec. user=mdettweiler [2012-01-08 08:44:29] 933*2^1000288-1 is not prime. Res64: B70283D0DB580361 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:44:30] 995*2^1000288-1 is not prime. Res64: 015341D97DB4FF2B Time : 0.0 sec. user=mdettweiler [2012-01-08 08:52:12] 697*2^1000289-1 is not prime. Res64: 521ED23CFB941C92 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:52:13] 799*2^1000289-1 is not prime. Res64: FE39BE99F1C49E67 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:54:43] 967*2^1000289-1 is not prime. Res64: C52131F116ACDD58 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:54:43] 803*2^1000290-1 is not prime. Res64: 3DB65FBC555CD2A4 Time : 0.0 sec. user=mdettweiler [2012-01-08 08:59:21] 927*2^1000290-1 is not prime. Res64: 05FAA4497D1407DB Time : 0.0 sec. user=mdettweiler [2012-01-08 08:59:21] 933*2^1000290-1 is not prime. Res64: CC88433C3A542E0B Time : 0.0 sec. user=mdettweiler [2012-01-08 09:04:14] 601*2^1000291-1 is not prime. Res64: 8A80AF4D1A149FE8 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:04:16] 619*2^1000291-1 is not prime. Res64: E77BFA4E80A0BEF1 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:11:51] 771*2^1000291-1 is not prime. Res64: A965EF3F6A585522 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:11:52] 943*2^1000291-1 is not prime. Res64: 26BE52DE5C540C0D Time : 0.0 sec. user=mdettweiler [2012-01-08 09:14:22] 951*2^1000291-1 is not prime. Res64: AD00DECDFD4D17A0 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:14:23] 603*2^1000292-1 is not prime. Res64: DBAA93B876AB5C76 Time : 0.0 sec. user=MyDogBuster [2012-01-08 09:16:40] 971*2^1000290-1 is not prime. Res64: 4D50FB4952974CCE Time : 0.0 sec. user=mdettweiler [2012-01-08 09:19:04] 635*2^1000292-1 is not prime. Res64: 19C236D1A6D58177 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:19:04] 689*2^1000292-1 is not prime. Res64: 4E7F39A955805FAF Time : 0.0 sec. user=mdettweiler [2012-01-08 09:24:02] 813*2^1000292-1 is not prime. Res64: CE454F7FCE9E5579 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:24:03] 855*2^1000292-1 is not prime. Res64: B8BD3D412BF6D4B3 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:31:41] 873*2^1000292-1 is not prime. Res64: 7033044BAB96785D Time : 0.0 sec. user=mdettweiler [2012-01-08 09:31:41] 879*2^1000292-1 is not prime. Res64: AF8114A1CB9611E6 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:34:05] 915*2^1000292-1 is not prime. Res64: 69BCC0026AE2F5F5 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:34:05] 945*2^1000292-1 is not prime. Res64: 667CC0BDA066CD32 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:38:52] 615*2^1000293-1 is not prime. Res64: D7B1B41CF41C4E8C Time : 0.0 sec. user=mdettweiler [2012-01-08 09:38:52] 627*2^1000293-1 is not prime. Res64: 001D6447535969B7 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:43:42] 781*2^1000293-1 is not prime. Res64: 907A270F7ADC89EB Time : 0.0 sec. user=mdettweiler [2012-01-08 09:43:42] 817*2^1000293-1 is not prime. Res64: 9518D51B392FCE3E Time : 0.0 sec. user=mdettweiler [2012-01-08 09:51:23] 819*2^1000293-1 is not prime. Res64: 67C60F0C198B8E30 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:51:23] 921*2^1000293-1 is not prime. Res64: 042CA43BF9EA30AF Time : 0.0 sec. user=mdettweiler [2012-01-08 09:53:54] 961*2^1000293-1 is not prime. Res64: 2985060B43C1BC2C Time : 0.0 sec. user=mdettweiler [2012-01-08 09:53:54] 747*2^1000294-1 is not prime. Res64: 397EA94239BC25EC Time : 0.0 sec. user=mdettweiler [2012-01-08 09:58:39] 791*2^1000294-1 is not prime. Res64: 5B53A894E85F2989 Time : 0.0 sec. user=mdettweiler [2012-01-08 09:58:40] 861*2^1000294-1 is not prime. Res64: D455E70085907975 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:03:26] 609*2^1000295-1 is not prime. Res64: 4AD2CA3CCB818A97 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:03:27] 661*2^1000295-1 is not prime. Res64: BC8557DB40D77DC0 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:13:20] 985*2^1000295-1 is not prime. Res64: 26F9EA2DAA5C9529 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:13:22] 639*2^1000296-1 is not prime. Res64: DE9E8AB52F470242 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:13:43] 767*2^1000296-1 is not prime. Res64: 9CCBAA1BE8576338 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:13:46] 879*2^1000296-1 is not prime. Res64: F3AB3228092D02F8 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:18:27] 893*2^1000296-1 is not prime. Res64: FBC00DE137A3636B Time : 0.0 sec. user=mdettweiler [2012-01-08 10:18:28] 909*2^1000296-1 is not prime. Res64: 9B53F923F4B13583 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:25:20] 945*2^1000296-1 is not prime. Res64: DA065E488DA476F4 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:25:21] 975*2^1000296-1 is not prime. Res64: 1EF16D7D4EBC6D18 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:33:24] 699*2^1000297-1 is not prime. Res64: F85107E850DC22A7 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:33:25] 765*2^1000297-1 is not prime. Res64: C1320090D88544AB Time : 0.0 sec. user=mdettweiler [2012-01-08 10:33:28] 847*2^1000297-1 is not prime. Res64: A62439C7F7496AF6 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:33:28] 939*2^1000297-1 is not prime. Res64: 789936C3E36B7B89 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:38:13] 617*2^1000298-1 is not prime. Res64: 11AA047034EFB90F Time : 0.0 sec. user=mdettweiler [2012-01-08 10:38:13] 641*2^1000298-1 is not prime. Res64: 13BBC8601784093F Time : 0.0 sec. user=mdettweiler [2012-01-08 10:45:05] 837*2^1000298-1 is not prime. Res64: 4584DFAE22B5A796 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:45:06] 887*2^1000298-1 is not prime. Res64: 7070575DD42A09E0 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:53:14] 619*2^1000299-1 is not prime. Res64: 7108162C5E66401D Time : 0.0 sec. user=mdettweiler [2012-01-08 10:53:14] 723*2^1000299-1 is not prime. Res64: 70BF2A30BD2EE792 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:55:31] 921*2^1000298-1 is not prime. Res64: C90181A31CCE69BB Time : 0.0 sec. user=mdettweiler [2012-01-08 10:55:32] 977*2^1000298-1 is not prime. Res64: D4114D9E72807025 Time : 0.0 sec. user=mdettweiler [2012-01-08 10:57:57] 751*2^1000299-1 is not prime. Res64: F2A9168F3D1069FB Time : 0.0 sec. user=mdettweiler [2012-01-08 10:57:57] 775*2^1000299-1 is not prime. Res64: FD4AD704D5F62688 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:04:57] 859*2^1000299-1 is not prime. Res64: B1EE562EDDF5286F Time : 0.0 sec. user=mdettweiler [2012-01-08 11:04:58] 873*2^1000299-1 is not prime. Res64: B491DD640DAE62AC Time : 0.0 sec. user=mdettweiler [2012-01-08 11:12:55] 955*2^1000299-1 is not prime. Res64: BFA5801E617CDD11 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:12:56] 773*2^1000300-1 is not prime. Res64: 5B1A12E261F15DC4 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:15:18] 797*2^1000300-1 is not prime. Res64: B5D15D4589540405 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:15:24] 827*2^1000300-1 is not prime. Res64: 803DEB80B7266CBD Time : 0.0 sec. user=mdettweiler [2012-01-08 11:17:45] 833*2^1000300-1 is not prime. Res64: E813DB45DD16E43D Time : 0.0 sec. user=mdettweiler [2012-01-08 11:17:45] 845*2^1000300-1 is not prime. Res64: C95FE1D5EF38E62A Time : 0.0 sec. user=mdettweiler [2012-01-08 11:24:53] 875*2^1000300-1 is not prime. Res64: A5D0C6CCAAF2BABE Time : 0.0 sec. user=mdettweiler [2012-01-08 11:24:54] 957*2^1000300-1 is not prime. Res64: 018ADC0022228BB0 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:34:55] 989*2^1000300-1 is not prime. Res64: 8D1D62BE54CE553B Time : 0.0 sec. user=mdettweiler [2012-01-08 11:34:55] 631*2^1000301-1 is not prime. Res64: 5CF2975B89EEE1A2 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:35:12] 645*2^1000301-1 is not prime. Res64: 9A45E2BF70154E7E Time : 0.0 sec. user=mdettweiler [2012-01-08 11:35:13] 741*2^1000301-1 is not prime. Res64: 461753387525E997 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:37:27] 825*2^1000301-1 is not prime. Res64: 7170659E4A0A8DB2 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:37:27] 647*2^1000302-1 is not prime. Res64: B981F9C131F76A67 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:44:39] 681*2^1000302-1 is not prime. Res64: 926BA9FA96E5A478 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:44:39] 711*2^1000302-1 is not prime. Res64: AD22512E77BB0BED Time : 0.0 sec. user=mdettweiler [2012-01-08 11:54:40] 765*2^1000302-1 is not prime. Res64: 7A27A24658AEE5C4 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:54:40] 767*2^1000302-1 is not prime. Res64: D850C0D8147E3680 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:55:02] 917*2^1000302-1 is not prime. Res64: FF28F18F16642C9D Time : 0.0 sec. user=mdettweiler [2012-01-08 11:55:03] 609*2^1000303-1 is not prime. Res64: 30D9B84048718D64 Time : 0.0 sec. user=mdettweiler [2012-01-08 11:57:12] 621*2^1000303-1 is not prime. Res64: 15116C512F30571A Time : 0.0 sec. user=mdettweiler [2012-01-08 11:57:13] 723*2^1000303-1 is not prime. Res64: 749C772386D1FFFA Time : 0.0 sec. user=mdettweiler [2012-01-08 12:04:24] 735*2^1000303-1 is not prime. Res64: 589ACDB25A72A2BE Time : 0.0 sec. user=mdettweiler [2012-01-08 12:04:25] 771*2^1000303-1 is not prime. Res64: 1EEA8B9BB4064871 Time : 0.0 sec. user=mdettweiler [2012-01-08 12:14:21] 783*2^1000303-1 is not prime. Res64: 16DB0648AE9D24F6 Time : 0.0 sec. user=mdettweiler [2012-01-08 12:14:30] 855*2^1000303-1 is not prime. Res64: D258932D86AD454C Time : 0.0 sec. user=mdettweiler [2012-01-08 12:16:53] 623*2^1000304-1 is not prime. Res64: C49D8BD20A457401 Time : 0.0 sec. user=mdettweiler [2012-01-08 12:16:53] 747*2^1000304-1 is not prime. Res64: 20C41E414695C6FC Time : 0.0 sec. user=mdettweiler [2012-01-08 12:17:03] 985*2^1000303-1 is not prime. Res64: 2111C90B3862D879 Time : 0.0 sec. user=mdettweiler [2012-01-08 12:17:04] 615*2^1000304-1 is not prime. Res64: 8A0729F41B592CDE Time : 0.0 sec. user=mdettweiler [2012-01-08 12:24:12] 855*2^1000304-1 is not prime. Res64: 7EDA49E72F7F5B3B Time : 0.0 sec. user=mdettweiler [2012-01-08 12:24:12] 935*2^1000304-1 is not prime. Res64: 189D14CE8B989265 Time : 0.0 sec. user=mdettweiler [2012-01-08 12:34:16] 675*2^1000305-1 is not prime. Res64: 8E9C1909BB637766 Time : 0.0 sec. user=mdettweiler [2012-01-08 12:34:17] 765*2^1000305-1 is not prime. Res64: 3413635976848D57 Time : 0.0 sec. user=mdettweiler [2012-01-08 12:36:35] 789*2^1000305-1 is not prime. Res64: 3EB3A2EEA53D43CB Time : 0.0 sec. user=mdettweiler [2012-01-08 12:36:36] 811*2^1000305-1 is not prime. Res64: A2E579682FA8CFDF Time : 0.0 sec. user=mdettweiler [2012-01-08 12:36:46] 861*2^1000305-1 is not prime. Res64: 73843177B6AAAA8A Time : 0.0 sec. user=mdettweiler [2012-01-08 12:36:46] 921*2^1000305-1 is not prime. Res64: 57EBC7CD4FB768EF Time : 0.0 sec. user=mdettweiler [2012-01-08 12:43:52] 951*2^1000305-1 is not prime. Res64: DD60EFD161E4FB8D Time : 0.0 sec. user=mdettweiler [2012-01-08 12:43:53] 651*2^1000306-1 is not prime. Res64: 95E56BC7D8AEAACD Time : 0.0 sec. user=mdettweiler [2012-01-08 12:54:02] 671*2^1000306-1 is not prime. Res64: E73D75AB9A28C88F Time : 0.0 sec. user=mdettweiler [2012-01-08 12:54:02] 773*2^1000306-1 is not prime. Res64: C54A13C58A5E08FE Time : 0.0 sec. user=mdettweiler [2012-01-08 12:56:21] 777*2^1000306-1 is not prime. Res64: 5771BDCFACBE3EA4 Time : 0.0 sec. user=mdettweiler [2012-01-08 12:56:21] 843*2^1000306-1 is not prime. Res64: 80A8E167227C780F Time : 0.0 sec. user=mdettweiler [2012-01-08 12:56:24] 861*2^1000306-1 is not prime. Res64: AD8B75D1DB3327C0 Time : 0.0 sec. user=mdettweiler [2012-01-08 12:56:25] 881*2^1000306-1 is not prime. Res64: 2C4D4F5736819B42 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:05:51] 941*2^1000306-1 is not prime. Res64: BFDCC2F8CE910D64 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:05:53] 1001*2^1000306-1 is not prime. Res64: 2DC8EFB5C21075C2 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:13:48] 651*2^1000307-1 is not prime. Res64: 22717B6FC49E1AE3 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:13:54] 669*2^1000307-1 is not prime. Res64: 12380AF25A905FE1 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:16:05] 801*2^1000307-1 is not prime. Res64: F1EA4E59BA37CBB0 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:16:07] 813*2^1000307-1 is not prime. Res64: F5993B5A3E44AC15 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:16:08] 733*2^1000307-1 is not prime. Res64: 5B539D9BB8C5785B Time : 0.0 sec. user=mdettweiler [2012-01-08 13:16:09] 741*2^1000307-1 is not prime. Res64: E89034BFD1AD790A Time : 0.0 sec. user=mdettweiler [2012-01-08 13:25:45] 861*2^1000307-1 is not prime. Res64: A46C9525F12452AC Time : 0.0 sec. user=mdettweiler [2012-01-08 13:25:45] 879*2^1000307-1 is not prime. Res64: 72C89BF9FDFD98DD Time : 0.0 sec. user=mdettweiler [2012-01-08 13:33:40] 883*2^1000307-1 is not prime. Res64: BD6C8015C887151F Time : 0.0 sec. user=mdettweiler [2012-01-08 13:33:41] 913*2^1000307-1 is not prime. Res64: 24500EE0A264C4FD Time : 0.0 sec. user=mdettweiler [2012-01-08 13:35:53] 663*2^1000308-1 is not prime. Res64: 3AB59281358F259C Time : 0.0 sec. user=mdettweiler [2012-01-08 13:35:53] 689*2^1000308-1 is not prime. Res64: E3D3EF4EB574A450 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:35:59] 789*2^1000308-1 is not prime. Res64: FC62BC1F3FCCA072 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:35:59] 809*2^1000308-1 is not prime. Res64: 973166ACA1D81C4C Time : 0.0 sec. user=mdettweiler [2012-01-08 13:45:25] 837*2^1000308-1 is not prime. Res64: 2934D6BD494883E8 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:45:26] 839*2^1000308-1 is not prime. Res64: D9D5C0CAA5A3DB60 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:53:23] 905*2^1000308-1 is not prime. Res64: E5236BE27C45A76C Time : 0.0 sec. user=mdettweiler [2012-01-08 13:53:23] 615*2^1000309-1 is not prime. Res64: A48A79345E291863 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:55:39] 649*2^1000309-1 is not prime. Res64: D2530103721C3084 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:55:40] 661*2^1000309-1 is not prime. Res64: BACF373A9F786A73 Time : 0.0 sec. user=mdettweiler [2012-01-08 13:55:44] 675*2^1000309-1 is not prime. Res64: 96EDF9F8134FB4FD Time : 0.0 sec. user=mdettweiler [2012-01-08 13:55:44] 691*2^1000309-1 is not prime. Res64: C457BF219BC7AF5E Time : 0.0 sec. user=mdettweiler [2012-01-08 14:05:15] 775*2^1000309-1 is not prime. Res64: E990845CCF1D4EAC Time : 0.0 sec. user=mdettweiler [2012-01-08 14:05:17] 877*2^1000309-1 is not prime. Res64: BA1740F25D92462E Time : 0.0 sec. user=mdettweiler [2012-01-08 14:13:03] 885*2^1000309-1 is not prime. Res64: 7A882F7A30C0A377 Time : 0.0 sec. user=mdettweiler [2012-01-08 14:13:12] 623*2^1000310-1 is not prime. Res64: FCDEEEF6A59DA474 Time : 0.0 sec. user=mdettweiler [2012-01-08 14:15:23] 663*2^1000310-1 is not prime. Res64: CC38247B3CA34A9C Time : 0.0 sec. user=mdettweiler [2012-01-08 14:15:24] 753*2^1000310-1 is not prime. Res64: 20B1AEF00437E5E2 Time : 0.0 sec. user=mdettweiler [2012-01-08 14:15:25] 773*2^1000310-1 is not prime. Res64: 9AFA99BF0C427F5A Time : 0.0 sec. user=mdettweiler [2012-01-08 14:15:26] 875*2^1000310-1 is not prime. Res64: 1B322FC286101930 Time : 0.0 sec. user=mdettweiler [2012-01-08 14:25:02] 887*2^1000310-1 is not prime. Res64: 24DA4CE876445B4B Time : 0.0 sec. user=mdettweiler [2012-01-08 14:25:03] 619*2^1000311-1 is not prime. Res64: A6190A79731EB64C Time : 0.0 sec. user=mdettweiler [2012-01-08 14:32:54] 693*2^1000311-1 is not prime. Res64: A7DD93D7ECFF793B Time : 0.0 sec. user=mdettweiler [2012-01-08 14:32:55] 735*2^1000311-1 is not prime. Res64: A5EFEB3992C6A3D7 Time : 0.0 sec. user=mdettweiler [2012-01-08 14:35:09] 861*2^1000311-1 is not prime. Res64: F34A9C92AC2C30EE Time : 0.0 sec. user=mdettweiler [2012-01-08 14:35:09] 865*2^1000311-1 is not prime. Res64: 2D722887C52ABB86 Time : 0.0 sec. user=mdettweiler [2012-01-08 14:35:14] 873*2^1000311-1 is not prime. Res64: C25F04DE3ABA74F4 Time : 0.0 sec. user=mdettweiler [2012-01-08 14:35:15] 705*2^1000312-1 is not prime. Res64: 17FC68164B64D76A Time : 0.0 sec. user=mdettweiler [2012-01-08 14:44:44] 833*2^1000312-1 is not prime. Res64: 7572190957687A68 Time : 0.0 sec. user=mdettweiler [2012-01-08 14:44:44] 857*2^1000312-1 is not prime. Res64: 20C561EBC2E415AD Time : 0.0 sec. user=mdettweiler [2012-01-08 14:52:38] 947*2^1000312-1 is not prime. Res64: AA994272565D738B Time : 0.0 sec. user=mdettweiler [2012-01-08 14:52:39] 679*2^1000313-1 is not prime. Res64: E6624D7433A9A166 Time : 0.0 sec. user=mdettweiler [2012-01-08 14:54:47] 939*2^1000313-1 is not prime. Res64: 1312E992F5B5810B Time : 0.0 sec. user=mdettweiler [2012-01-08 14:54:47] 747*2^1000314-1 is not prime. Res64: 5DD0A0D44878FD9A Time : 0.0 sec. user=mdettweiler [2012-01-08 14:54:55] 885*2^1000314-1 is not prime. Res64: 86855E84652E7A6E Time : 0.0 sec. user=mdettweiler [2012-01-08 14:54:55] 921*2^1000314-1 is not prime. Res64: 5AEDA5C22F29EED5 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:06:49] 983*2^1000314-1 is not prime. Res64: 2DBBC81621E7A0DF Time : 0.0 sec. user=mdettweiler [2012-01-08 15:06:50] 619*2^1000315-1 is not prime. Res64: 2D2E56E11C9ACE53 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:12:29] 625*2^1000315-1 is not prime. Res64: 28585DA756962395 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:12:30] 651*2^1000315-1 is not prime. Res64: 3919DC811EC250A5 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:14:35] 759*2^1000315-1 is not prime. Res64: E72E51312EC15D4C Time : 0.0 sec. user=mdettweiler [2012-01-08 15:14:36] 885*2^1000315-1 is not prime. Res64: FC6C7F72EA05E833 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:14:41] 623*2^1000316-1 is not prime. Res64: B01B63080B1B61A4 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:14:42] 873*2^1000316-1 is not prime. Res64: CF665A06DD596BAA Time : 0.0 sec. user=mdettweiler [2012-01-08 15:28:54] 963*2^1000316-1 is not prime. Res64: 972D320B3E1E0A8F Time : 0.0 sec. user=mdettweiler [2012-01-08 15:28:55] 871*2^1000317-1 is not prime. Res64: D48BEF861A92E25B Time : 0.0 sec. user=mdettweiler [2012-01-08 15:34:20] 635*2^1000318-1 is not prime. Res64: 0A570C582AD9C188 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:34:21] 663*2^1000318-1 is not prime. Res64: 0F4AB664145F9177 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:34:27] 801*2^1000318-1 is not prime. Res64: 19E2B79E580863E9 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:34:27] 827*2^1000318-1 is not prime. Res64: 91CBF9846F0B46DA Time : 0.0 sec. user=mdettweiler [2012-01-08 15:34:35] 937*2^1000317-1 is not prime. Res64: F93C04EC7C3F4881 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:34:36] 961*2^1000317-1 is not prime. Res64: C6A1FD1A8B360FC9 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:48:41] 843*2^1000318-1 is not prime. Res64: F9F169B98E4B0664 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:48:42] 887*2^1000318-1 is not prime. Res64: F7A86E233E930B47 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:54:09] 669*2^1000319-1 is not prime. Res64: 0FC46E085AC8FE4E Time : 0.0 sec. user=mdettweiler [2012-01-08 15:54:09] 693*2^1000319-1 is not prime. Res64: 91EC7F7E50254339 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:54:19] 703*2^1000319-1 is not prime. Res64: 0473E38364A3D819 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:54:20] 741*2^1000319-1 is not prime. Res64: 305F502441254EE5 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:56:21] 945*2^1000318-1 is not prime. Res64: 2BB1B6FE602E8F55 Time : 0.0 sec. user=mdettweiler [2012-01-08 15:56:22] 993*2^1000318-1 is not prime. Res64: 1986E0F74A7A3217 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:10:40] 745*2^1000319-1 is not prime. Res64: 342FEAA4F2254473 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:10:41] 979*2^1000319-1 is not prime. Res64: CA665D5EBCD07A4D Time : 0.0 sec. user=mdettweiler [2012-01-08 16:13:57] 735*2^1000320-1 is not prime. Res64: 5DD0354BC73ABC54 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:14:01] 767*2^1000320-1 is not prime. Res64: 90BD0D2B079CE095 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:14:04] 819*2^1000320-1 is not prime. Res64: 8A64B1096D36ADC5 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:14:06] 843*2^1000320-1 is not prime. Res64: BA31C568C8548CFD Time : 0.0 sec. user=mdettweiler [2012-01-08 16:16:06] 873*2^1000320-1 is not prime. Res64: 4ABCD8B2058A600A Time : 0.0 sec. user=mdettweiler [2012-01-08 16:16:07] 691*2^1000321-1 is not prime. Res64: CE91A52FD9E888AF Time : 0.0 sec. user=mdettweiler [2012-01-08 16:30:28] 939*2^1000321-1 is not prime. Res64: 554C2273C12A422F Time : 0.0 sec. user=mdettweiler [2012-01-08 16:30:29] 955*2^1000321-1 is not prime. Res64: C7C103D8F0DE9DF1 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:33:44] 711*2^1000322-1 is not prime. Res64: 8DBA0D51B19CED05 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:33:44] 755*2^1000322-1 is not prime. Res64: 88B5635E8357B71C Time : 0.0 sec. user=mdettweiler [2012-01-08 16:33:52] 903*2^1000322-1 is not prime. Res64: C1740F92DBBE220B Time : 0.0 sec. user=mdettweiler [2012-01-08 16:33:52] 625*2^1000323-1 is not prime. Res64: AE3257E020ADC3F7 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:35:57] 751*2^1000323-1 is not prime. Res64: 9D313BED6E511170 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:35:57] 769*2^1000323-1 is not prime. Res64: 012F5ED0A2962B6D Time : 0.0 sec. user=mdettweiler [2012-01-08 16:50:21] 789*2^1000323-1 is not prime. Res64: 74D844E970426DD7 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:50:22] 871*2^1000323-1 is not prime. Res64: 21B211A85834AA33 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:53:47] 601*2^1000325-1 is not prime. Res64: 10CD02096FF809ED Time : 0.0 sec. user=mdettweiler [2012-01-08 16:53:48] 619*2^1000325-1 is not prime. Res64: 1CCE0FA05D093E02 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:55:45] 645*2^1000325-1 is not prime. Res64: 946BDFB55AAC0415 Time : 0.0 sec. user=mdettweiler [2012-01-08 16:55:45] 735*2^1000325-1 is not prime. Res64: B670C45DA523ED0E Time : 0.0 sec. user=mdettweiler [2012-01-08 16:55:47] 923*2^1000324-1 is not prime. Res64: 1F05D075EB27D99D Time : 0.0 sec. user=mdettweiler [2012-01-08 16:55:48] 965*2^1000324-1 is not prime. Res64: 805849F9A51DDDFC Time : 0.0 sec. user=mdettweiler [2012-01-08 17:10:09] 787*2^1000325-1 is not prime. Res64: DDF3011556167B85 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:10:11] 805*2^1000325-1 is not prime. Res64: EA496C8E6EF76C96 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:13:33] 847*2^1000325-1 is not prime. Res64: AB66D2269C861FF6 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:13:34] 871*2^1000325-1 is not prime. Res64: 8A04A31A15533215 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:15:26] 955*2^1000325-1 is not prime. Res64: 7369CC9B0FD5DC7B Time : 0.0 sec. user=mdettweiler [2012-01-08 17:15:27] 741*2^1000326-1 is not prime. Res64: 1A8769BF61768CC7 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:15:31] 761*2^1000326-1 is not prime. Res64: 76D0EB264892F636 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:15:34] 891*2^1000326-1 is not prime. Res64: D967C2D9806F5684 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:29:59] 765*2^1000327-1 is not prime. Res64: 95D37C933E9FBE4C Time : 0.0 sec. user=mdettweiler [2012-01-08 17:30:00] 831*2^1000327-1 is not prime. Res64: 9D19354E63BDEEF4 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:35:19] 923*2^1000328-1 is not prime. Res64: 4F38D50AF3F6A56F Time : 0.0 sec. user=mdettweiler [2012-01-08 17:35:19] 633*2^1000328-1 is not prime. Res64: EEF7B25AE16A7D22 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:35:20] 879*2^1000328-1 is not prime. Res64: CA9F276B957C90B7 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:35:20] 609*2^1000329-1 is not prime. Res64: AB764332991E847C Time : 0.0 sec. user=mdettweiler [2012-01-08 17:35:36] 885*2^1000327-1 is not prime. Res64: FB594DA6505CE878 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:35:36] 973*2^1000327-1 is not prime. Res64: 8644AC656287E6BF Time : 0.0 sec. user=mdettweiler [2012-01-08 17:49:48] 615*2^1000329-1 is not prime. Res64: 99EB10D2180AAA50 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:49:49] 675*2^1000329-1 is not prime. Res64: 1CB24D14E65ADB89 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:55:02] 847*2^1000329-1 is not prime. Res64: CCE8DB7FD5B42C32 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:55:03] 705*2^1000329-1 is not prime. Res64: 52B31223907AE502 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:55:03] 741*2^1000329-1 is not prime. Res64: 936E64833F308635 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:55:03] 861*2^1000329-1 is not prime. Res64: BD135EDEBE75EB12 Time : 0.0 sec. user=mdettweiler [2012-01-08 17:55:20] 909*2^1000329-1 is not prime. Res64: B3FF78250948D34D Time : 0.0 sec. user=mdettweiler [2012-01-08 17:55:20] 949*2^1000329-1 is not prime. Res64: B40189A5C86E1AD4 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:09:36] 773*2^1000330-1 is not prime. Res64: 4AA9B627072AA86D Time : 0.0 sec. user=mdettweiler [2012-01-08 18:09:38] 845*2^1000330-1 is not prime. Res64: 030A783DA6A537ED Time : 0.0 sec. user=mdettweiler [2012-01-08 18:14:48] 917*2^1000330-1 is not prime. Res64: 5BB473F66D5F2DF5 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:14:49] 669*2^1000331-1 is not prime. Res64: 18D3AC8F8392EF59 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:17:04] 741*2^1000331-1 is not prime. Res64: 5C4FD2B0921FB43C Time : 0.0 sec. user=mdettweiler [2012-01-08 18:17:05] 969*2^1000331-1 is not prime. Res64: F300136F17C0F39F Time : 0.0 sec. user=mdettweiler [2012-01-08 18:19:33] 981*2^1000331-1 is not prime. Res64: E2A690CC94369D48 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:19:33] 999*2^1000331-1 is not prime. Res64: BF3CB6DB8E39087A Time : 0.0 sec. user=mdettweiler [2012-01-08 18:29:24] 605*2^1000332-1 is not prime. Res64: 0010BFAE0C1C01F1 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:29:25] 717*2^1000332-1 is not prime. Res64: 740D2E8F6A5869B4 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:31:38] 985*2^1000329-1 is not prime. Res64: 6DC62CE33DCC93F5 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:31:39] 717*2^1000330-1 is not prime. Res64: 276980C9BADF5EBF Time : 0.0 sec. user=mdettweiler [2012-01-08 18:31:39] 735*2^1000330-1 is not prime. Res64: 042B2251B6EECEF5 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:34:43] 899*2^1000332-1 is not prime. Res64: E7640944E6B580E7 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:34:43] 903*2^1000332-1 is not prime. Res64: BC5AA464971E0770 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:36:59] 915*2^1000332-1 is not prime. Res64: 24745566FF55CF68 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:37:00] 933*2^1000332-1 is not prime. Res64: 1A0642479107D946 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:39:11] 957*2^1000332-1 is not prime. Res64: 67EDB61BECD3D32A Time : 0.0 sec. user=mdettweiler [2012-01-08 18:39:12] 855*2^1000333-1 is not prime. Res64: E4FBBD1E20BF57BD Time : 0.0 sec. user=mdettweiler [2012-01-08 18:51:18] 999*2^1000333-1 is not prime. Res64: B709D8E0B150BCD7 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:51:18] 665*2^1000334-1 is not prime. Res64: 41F295ABE0762155 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:54:31] 743*2^1000334-1 is not prime. Res64: EE5C08106BFF01F1 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:54:32] 773*2^1000334-1 is not prime. Res64: 448C05F2DFEA6969 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:56:48] 887*2^1000334-1 is not prime. Res64: 3D39AA23829BCA95 Time : 0.0 sec. user=mdettweiler [2012-01-08 18:56:49] 923*2^1000334-1 is not prime. Res64: C45C92BEF925D894 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:01:15] 935*2^1000334-1 is not prime. Res64: DE903C0710416390 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:01:17] 965*2^1000334-1 is not prime. Res64: A85D9C0CF68795CF Time : 0.0 sec. user=mdettweiler [2012-01-08 19:13:19] 983*2^1000334-1 is not prime. Res64: 15F4A3AADF67399C Time : 0.0 sec. user=mdettweiler [2012-01-08 19:13:20] 609*2^1000335-1 is not prime. Res64: 7F601DFBB5407C73 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:14:20] 735*2^1000335-1 is not prime. Res64: 859FEF83070F618E Time : 0.0 sec. user=mdettweiler [2012-01-08 19:14:27] 795*2^1000335-1 is not prime. Res64: D26DFBD56CE6EA53 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:16:35] 805*2^1000335-1 is not prime. Res64: D32C88F1EEA28189 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:16:36] 949*2^1000335-1 is not prime. Res64: 01DDB8476EA4F88C Time : 0.0 sec. user=mdettweiler [2012-01-08 19:25:34] 979*2^1000335-1 is not prime. Res64: AC091F574141C604 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:25:35] 991*2^1000335-1 is not prime. Res64: A952C4DF9F0725BA Time : 0.0 sec. user=mdettweiler [2012-01-08 19:32:59] 645*2^1000336-1 is not prime. Res64: B5CD56EE311FF25C Time : 0.0 sec. user=mdettweiler [2012-01-08 19:32:59] 717*2^1000336-1 is not prime. Res64: 3015C99170F42185 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:34:17] 765*2^1000336-1 is not prime. Res64: F6757781E975C97F Time : 0.0 sec. user=mdettweiler [2012-01-08 19:34:18] 849*2^1000336-1 is not prime. Res64: 65BCA2516FC4CDAF Time : 0.0 sec. user=mdettweiler [2012-01-08 19:36:24] 905*2^1000336-1 is not prime. Res64: 3349046AC884A6B1 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:36:24] 909*2^1000336-1 is not prime. Res64: 4B47CFAD5D642058 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:37:29] 723*2^1000330-1 is not prime. Res64: F8CF06BD72047881 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:37:39] 743*2^1000330-1 is not prime. Res64: 0DD8D4F253A890D3 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:45:52] 677*2^1000330-1 is not prime. Res64: 22AAF0D156DE2645 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:45:54] 923*2^1000336-1 is not prime. Res64: 88DFC44C1785A93D Time : 0.0 sec. user=mdettweiler [2012-01-08 19:45:54] 957*2^1000336-1 is not prime. Res64: 0C97ECF8D9DBD2FA Time : 0.0 sec. user=mdettweiler [2012-01-08 19:55:23] 627*2^1000337-1 is not prime. Res64: 7FB14E8B8577103E Time : 0.0 sec. user=mdettweiler [2012-01-08 19:55:23] 949*2^1000337-1 is not prime. Res64: 770D90F7285B7284 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:58:31] 683*2^1000338-1 is not prime. Res64: F610EA4786464627 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:58:31] 725*2^1000338-1 is not prime. Res64: 6239236BF2258BA6 Time : 0.0 sec. user=mdettweiler [2012-01-08 19:59:27] 957*2^1000337-1 is not prime. Res64: 68367349EEC744BA Time : 0.0 sec. user=mdettweiler [2012-01-08 19:59:27] 981*2^1000337-1 is not prime. Res64: 2AE8FB452784CE9B Time : 0.0 sec. user=mdettweiler [2012-01-08 20:09:16] 645*2^1000339-1 is not prime. Res64: 77C8FC78DC1521E2 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:09:17] 771*2^1000339-1 is not prime. Res64: 976A2986A63DE052 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:20:18] 961*2^1000339-1 is not prime. Res64: 22872FA0F9213417 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:20:19] 669*2^1000340-1 is not prime. Res64: 7EB9FBCEFA72DD59 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:20:43] 699*2^1000340-1 is not prime. Res64: 617A3B9EF7F31492 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:20:44] 855*2^1000340-1 is not prime. Res64: 69E0B8ED08F29CDE Time : 0.0 sec. user=mdettweiler [2012-01-08 20:22:28] 885*2^1000340-1 is not prime. Res64: 1F7B6A8865EF0EA2 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:22:28] 899*2^1000340-1 is not prime. Res64: E1612171AF8AD3E4 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:34:23] 995*2^1000340-1 is not prime. Res64: F2D3D82D4164F16C Time : 0.0 sec. user=mdettweiler [2012-01-08 20:34:23] 999*2^1000340-1 is not prime. Res64: 6571CBDD32CE9334 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:40:24] 681*2^1000341-1 is not prime. Res64: 7173F2C672EDA024 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:40:25] 805*2^1000341-1 is not prime. Res64: 03AC23905F773189 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:42:18] 785*2^1000342-1 is not prime. Res64: 606DB4B22286A5E6 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:42:19] 831*2^1000342-1 is not prime. Res64: 4E577DFC62AAEE87 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:43:01] 969*2^1000341-1 is not prime. Res64: 88EFECFE0627BFCB Time : 0.0 sec. user=mdettweiler [2012-01-08 20:43:01] 737*2^1000342-1 is not prime. Res64: E2E7A19EFC07BE98 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:54:16] 923*2^1000342-1 is not prime. Res64: EFA4019FE342ADF8 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:54:17] 703*2^1000343-1 is not prime. Res64: 8B554867637135D0 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:55:50] 731*2^1000338-1 is not prime. Res64: BAD2E887E9FB0C19 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:55:50] 777*2^1000338-1 is not prime. Res64: CFE7904971F193F9 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:56:05] 867*2^1000338-1 is not prime. Res64: 663FFDF639B72090 Time : 0.0 sec. user=mdettweiler [2012-01-08 20:56:05] 893*2^1000338-1 is not prime. Res64: 3679C94CAC30115D Time : 0.0 sec. user=mdettweiler [2012-01-08 21:00:56] 745*2^1000343-1 is not prime. Res64: 0A200215F029DB26 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:00:58] 813*2^1000343-1 is not prime. Res64: 7F156FFB4E21BD5E Time : 0.0 sec. user=mdettweiler [2012-01-08 21:03:03] 889*2^1000343-1 is not prime. Res64: 19C723201DABE088 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:03:04] 921*2^1000343-1 is not prime. Res64: 8F11F588F98B80FE Time : 0.0 sec. user=mdettweiler [2012-01-08 21:04:38] 945*2^1000338-1 is not prime. Res64: 9E3ABE2590C2B285 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:04:38] 609*2^1000339-1 is not prime. Res64: 6771E6559AE92B6D Time : 0.0 sec. user=mdettweiler [2012-01-08 21:06:38] 963*2^1000343-1 is not prime. Res64: 2A322EABAA64BEC1 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:06:39] 675*2^1000344-1 is not prime. Res64: FC744A4A21C319ED Time : 0.0 sec. user=mdettweiler [2012-01-08 21:15:47] 857*2^1000344-1 is not prime. Res64: C0403275FE04E434 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:15:48] 607*2^1000345-1 is not prime. Res64: AE0BA538E2CD55E5 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:23:05] 603*2^1000346-1 is not prime. Res64: 0BDE1CD99FC66AB9 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:23:05] 635*2^1000346-1 is not prime. Res64: 6FE7F1E48AD553C8 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:24:59] 677*2^1000346-1 is not prime. Res64: E4F425B8F535CA1C Time : 0.0 sec. user=mdettweiler [2012-01-08 21:24:59] 767*2^1000346-1 is not prime. Res64: E006057B237FA762 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:30:48] 987*2^1000346-1 is not prime. Res64: FDC7BAF7595E84B1 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:30:48] 615*2^1000347-1 is not prime. Res64: 37464A0F722AA51A Time : 0.0 sec. user=mdettweiler [2012-01-08 21:37:14] 835*2^1000347-1 is not prime. Res64: C881FFD1752FD02B Time : 0.0 sec. user=mdettweiler [2012-01-08 21:37:15] 859*2^1000347-1 is not prime. Res64: BD544019DF1FA7FA Time : 0.0 sec. user=mdettweiler [2012-01-08 21:43:37] 833*2^1000348-1 is not prime. Res64: 8C7DC2F4CFE1C1C6 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:43:38] 855*2^1000348-1 is not prime. Res64: 7C3BD7D875B84F08 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:45:17] 887*2^1000348-1 is not prime. Res64: B681A83C4396D947 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:45:18] 909*2^1000348-1 is not prime. Res64: F822218E42863E7A Time : 0.0 sec. user=mdettweiler [2012-01-08 21:50:38] 929*2^1000348-1 is not prime. Res64: B8AF28E02ADCC1D1 Time : 0.0 sec. user=mdettweiler [2012-01-08 21:50:38] 927*2^1000349-1 is not prime. Res64: F84CCC59E72C3E1E Time : 0.0 sec. user=mdettweiler [2012-01-08 21:57:31] 611*2^1000350-1 is not prime. Res64: 9DFC256BB14F2B0E Time : 0.0 sec. user=mdettweiler [2012-01-08 21:57:31] 693*2^1000350-1 is not prime. Res64: 0CDBF4FADFED6FF5 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:04:05] 711*2^1000350-1 is not prime. Res64: D064EC7FEAD3E509 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:04:06] 713*2^1000350-1 is not prime. Res64: DD4C95B3B7041DD5 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:05:35] 717*2^1000350-1 is not prime. Res64: A004C2FD87FDDF0A Time : 0.0 sec. user=mdettweiler [2012-01-08 22:05:37] 773*2^1000350-1 is not prime. Res64: F312F6E68BE89377 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:10:58] 783*2^1000350-1 is not prime. Res64: 673D29445D1A2FE7 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:10:59] 821*2^1000350-1 is not prime. Res64: 87B8468235CB0EFA Time : 0.0 sec. user=mdettweiler [2012-01-08 22:12:35] 667*2^1000345-1 is not prime. Res64: C673C307FCF81B33 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:12:35] 765*2^1000345-1 is not prime. Res64: 96B9D48D9BA5476F Time : 0.0 sec. user=mdettweiler [2012-01-08 22:12:56] 871*2^1000345-1 is not prime. Res64: A372EFC3799E0246 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:12:57] 919*2^1000345-1 is not prime. Res64: 2EE9F462C4ADDDD1 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:17:40] 843*2^1000350-1 is not prime. Res64: 05A8E65FC01A6B6D Time : 0.0 sec. user=mdettweiler [2012-01-08 22:17:40] 851*2^1000350-1 is not prime. Res64: 4BDB5C208842D813 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:21:19] 843*2^1000346-1 is not prime. Res64: E531FE50A71E6165 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:21:20] 935*2^1000346-1 is not prime. Res64: 608048F0D765E887 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:25:17] 891*2^1000350-1 is not prime. Res64: CA3DE0E95DD40ECD Time : 0.0 sec. user=mdettweiler [2012-01-08 22:25:18] 927*2^1000350-1 is not prime. Res64: B62E357E337C6ED4 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:26:45] 957*2^1000350-1 is not prime. Res64: 8F1DB005C601D0B1 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:26:45] 793*2^1000351-1 is not prime. Res64: 8ECE848ED5F5C9F5 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:32:13] 813*2^1000351-1 is not prime. Res64: 98713EDC964C229B Time : 0.0 sec. user=mdettweiler [2012-01-08 22:32:13] 819*2^1000351-1 is not prime. Res64: F72C81E70D23E349 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:41:28] 993*2^1000351-1 is not prime. Res64: A1D0324DB92D7CA4 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:41:28] 903*2^1000352-1 is not prime. Res64: E75D5983F130ABE8 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:46:57] 657*2^1000353-1 is not prime. Res64: D2E819D549D41C29 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:46:57] 769*2^1000353-1 is not prime. Res64: 2CF2C57CC51A5B69 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:48:16] 817*2^1000353-1 is not prime. Res64: 0AB2D530D1F68114 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:48:16] 877*2^1000353-1 is not prime. Res64: 76F7FC2BA4DA9AD6 Time : 0.0 sec. user=mdettweiler [2012-01-08 22:54:32] 885*2^1000353-1 is not prime. Res64: 1069AB71F1CC90FC Time : 0.0 sec. user=mdettweiler [2012-01-08 22:54:32] 621*2^1000354-1 is not prime. Res64: 4BC3FA90A3407DB0 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:02:29] 623*2^1000354-1 is not prime. Res64: 871F9ACB25186F82 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:02:30] 791*2^1000354-1 is not prime. Res64: 7613D3BC10DFB6B3 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:07:19] 815*2^1000354-1 is not prime. Res64: 477FCD628C87EE00 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:07:20] 857*2^1000354-1 is not prime. Res64: A2DD6D59F810216B Time : 0.0 sec. user=mdettweiler [2012-01-08 23:08:19] 603*2^1000355-1 is not prime. Res64: 45A9714CC5342B76 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:08:20] 663*2^1000355-1 is not prime. Res64: 2C2478C59954687E Time : 0.0 sec. user=mdettweiler [2012-01-08 23:17:00] 693*2^1000355-1 is not prime. Res64: 02BEF71F4B53776F Time : 0.0 sec. user=mdettweiler [2012-01-08 23:17:01] 985*2^1000355-1 is not prime. Res64: 4BC97F358320A461 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:22:45] 707*2^1000356-1 is not prime. Res64: 965F2AE9099BE0CD Time : 0.0 sec. user=mdettweiler [2012-01-08 23:22:45] 735*2^1000356-1 is not prime. Res64: 865096FB494300A1 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:27:19] 765*2^1000356-1 is not prime. Res64: 0C535D1569B85AFF Time : 0.0 sec. user=mdettweiler [2012-01-08 23:27:20] 825*2^1000356-1 is not prime. Res64: E9F37B97C2699ED4 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:29:02] 843*2^1000351-1 is not prime. Res64: 972A1201D1CF0952 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:29:03] 855*2^1000351-1 is not prime. Res64: 016781A616F2B3EF Time : 0.0 sec. user=mdettweiler [2012-01-08 23:30:51] 993*2^1000356-1 is not prime. Res64: D714C3D5B5B102F8 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:30:52] 639*2^1000357-1 is not prime. Res64: 375FE50830DE17F2 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:36:44] 685*2^1000357-1 is not prime. Res64: 4DBAAFA2F99A8BAC Time : 0.0 sec. user=mdettweiler [2012-01-08 23:36:45] 829*2^1000357-1 is not prime. Res64: 1D61662ADF9B4F9D Time : 0.0 sec. user=mdettweiler [2012-01-08 23:37:42] 607*2^1000353-1 is not prime. Res64: B42404F335B4B1B9 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:37:42] 637*2^1000353-1 is not prime. Res64: AE3ECC0318BAC11E Time : 0.0 sec. user=mdettweiler [2012-01-08 23:37:44] 861*2^1000351-1 is not prime. Res64: D0805516F675FB52 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:37:44] 973*2^1000351-1 is not prime. Res64: A7315C79F04A3F5D Time : 0.0 sec. user=mdettweiler [2012-01-08 23:42:57] 945*2^1000357-1 is not prime. Res64: 0E286691FC339A76 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:42:58] 957*2^1000357-1 is not prime. Res64: F42162C0F1350E9B Time : 0.0 sec. user=mdettweiler [2012-01-08 23:47:58] 605*2^1000358-1 is not prime. Res64: C91B00A7B59FD92D Time : 0.0 sec. user=mdettweiler [2012-01-08 23:47:59] 687*2^1000358-1 is not prime. Res64: 9F7FFA19015E63EB Time : 0.0 sec. user=mdettweiler [2012-01-08 23:51:39] 857*2^1000358-1 is not prime. Res64: 9639746B5BFBE836 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:51:40] 935*2^1000358-1 is not prime. Res64: 0E936983526A625F Time : 0.0 sec. user=mdettweiler [2012-01-08 23:58:10] 613*2^1000359-1 is not prime. Res64: A8A3808A3E386EC4 Time : 0.0 sec. user=mdettweiler [2012-01-08 23:58:10] 661*2^1000359-1 is not prime. Res64: 46AD2DCE220C25D8 Time : 0.0 sec.