user=mdettweiler [2013-02-05 00:10:36] 841*2^1240555-1 is not prime. Res64: 50326C06E9807DE6 Time : 0.0 sec. user=mdettweiler [2013-02-05 00:10:37] 915*2^1240555-1 is not prime. Res64: 2560D6BD02BA61AE Time : 0.0 sec. user=mdettweiler [2013-02-05 00:15:39] 985*2^1240555-1 is not prime. Res64: C8185A6F6FEC917E Time : 0.0 sec. user=mdettweiler [2013-02-05 00:15:40] 603*2^1240556-1 is not prime. Res64: 689161D1A78C257F Time : 0.0 sec. user=vaughan [2013-02-05 00:15:49] 1001*2^1240554-1 is not prime. Res64: FBF0F91A67715192 Time : 0.0 sec. user=mdettweiler [2013-02-05 00:28:08] 615*2^1240556-1 is not prime. Res64: 106BDEFDC80C6537 Time : 0.0 sec. user=mdettweiler [2013-02-05 00:28:08] 623*2^1240556-1 is not prime. Res64: 89C021DAC784078B Time : 0.0 sec. user=mdettweiler [2013-02-05 00:33:05] 693*2^1240556-1 is not prime. Res64: 1D335FA682F611C9 Time : 0.0 sec. user=mdettweiler [2013-02-05 00:33:05] 725*2^1240556-1 is not prime. Res64: 35E5F53E5E4D23E5 Time : 0.0 sec. user=mdettweiler [2013-02-05 00:45:30] 873*2^1240556-1 is not prime. Res64: E47732E00511C522 Time : 0.0 sec. user=mdettweiler [2013-02-05 00:45:31] 999*2^1240556-1 is not prime. Res64: B163010C5CC9CD90 Time : 0.0 sec. user=mdettweiler [2013-02-05 00:50:27] 667*2^1240557-1 is not prime. Res64: BC8794741DC9FED1 Time : 0.0 sec. user=mdettweiler [2013-02-05 00:50:27] 829*2^1240557-1 is not prime. Res64: E37899F52390D7A5 Time : 0.0 sec. user=vaughan [2013-02-05 00:53:37] 837*2^1240556-1 is not prime. Res64: FFF85B4DE2119F04 Time : 0.0 sec. user=mdettweiler [2013-02-05 01:02:52] 831*2^1240557-1 is not prime. Res64: 90D1D040CBE6C91B Time : 0.0 sec. user=mdettweiler [2013-02-05 01:02:53] 885*2^1240557-1 is not prime. Res64: B8266220859EC837 Time : 0.0 sec. user=mdettweiler [2013-02-05 01:07:48] 895*2^1240557-1 is not prime. Res64: 9528B82D8B5579B3 Time : 0.0 sec. user=mdettweiler [2013-02-05 01:07:49] 919*2^1240557-1 is not prime. Res64: 27FDD7D6B7A34026 Time : 0.0 sec. user=mdettweiler [2013-02-05 01:20:20] 827*2^1240558-1 is not prime. Res64: 60F2240219818743 Time : 0.0 sec. user=mdettweiler [2013-02-05 01:20:21] 845*2^1240558-1 is not prime. Res64: 8A3867420E7E6201 Time : 0.0 sec. user=mdettweiler [2013-02-05 01:25:12] 887*2^1240558-1 is not prime. Res64: B746720441440FB2 Time : 0.0 sec. user=mdettweiler [2013-02-05 01:25:13] 945*2^1240558-1 is not prime. Res64: 6EE6B33F319F200D Time : 0.0 sec. user=vaughan [2013-02-05 01:31:22] 791*2^1240558-1 is not prime. Res64: 8227D46FC67F2310 Time : 0.0 sec. user=mdettweiler [2013-02-05 01:37:45] 957*2^1240558-1 is not prime. Res64: 99985DF92A5BEFFF Time : 0.0 sec. user=mdettweiler [2013-02-05 01:37:46] 729*2^1240559-1 is not prime. Res64: F373BE756B707A35 Time : 0.0 sec. user=mdettweiler [2013-02-05 01:42:36] 759*2^1240559-1 is not prime. Res64: C47892D77841E50D Time : 0.0 sec. user=mdettweiler [2013-02-05 01:42:37] 823*2^1240559-1 is not prime. Res64: 17DA14E9501E94AA Time : 0.0 sec. user=mdettweiler [2013-02-05 01:55:06] 921*2^1240559-1 is not prime. Res64: BAFC0B40310B6BBF Time : 0.0 sec. user=mdettweiler [2013-02-05 01:55:07] 991*2^1240559-1 is not prime. Res64: 6DD79EF0F422F50C Time : 0.0 sec. user=mdettweiler [2013-02-05 01:59:57] 767*2^1240560-1 is not prime. Res64: D0A610E423449151 Time : 0.0 sec. user=mdettweiler [2013-02-05 01:59:58] 789*2^1240560-1 is not prime. Res64: 731A47293C87E4E5 Time : 0.0 sec. user=vaughan [2013-02-05 02:09:06] 913*2^1240559-1 is not prime. Res64: D88A94EF9A974174 Time : 0.0 sec. user=mdettweiler [2013-02-05 02:12:27] 803*2^1240560-1 is not prime. Res64: CD9DAF11CBD70FA5 Time : 0.0 sec. user=mdettweiler [2013-02-05 02:12:28] 819*2^1240560-1 is not prime. Res64: 4833CF5464FCFC54 Time : 0.0 sec. user=mdettweiler [2013-02-05 02:17:19] 843*2^1240560-1 is not prime. Res64: A5A0D96E46C0A19E Time : 0.0 sec. user=mdettweiler [2013-02-05 02:17:20] 909*2^1240560-1 is not prime. Res64: 1B7360043C269A35 Time : 0.0 sec. user=mdettweiler [2013-02-05 02:29:49] 639*2^1240561-1 is not prime. Res64: 9F4BE8C858DEAA85 Time : 0.0 sec. user=mdettweiler [2013-02-05 02:29:50] 855*2^1240561-1 is not prime. Res64: 44D3D5B660A91CB0 Time : 0.0 sec. user=mdettweiler [2013-02-05 02:34:42] 867*2^1240561-1 is not prime. Res64: 0ACE0C0F5B3F85D1 Time : 0.0 sec. user=mdettweiler [2013-02-05 02:34:43] 871*2^1240561-1 is not prime. Res64: DA166E3841A96234 Time : 0.0 sec. user=vaughan [2013-02-05 02:46:56] 975*2^1240560-1 is not prime. Res64: B3ECDCD2002A1427 Time : 0.0 sec. user=mdettweiler [2013-02-05 02:47:11] 937*2^1240561-1 is not prime. Res64: 183D93661BEE589E Time : 0.0 sec. user=mdettweiler [2013-02-05 02:47:22] 939*2^1240561-1 is not prime. Res64: 182F89328CB93367 Time : 0.0 sec. user=mdettweiler [2013-02-05 02:52:05] 975*2^1240561-1 is not prime. Res64: E57D7E50E7677DBF Time : 0.0 sec. user=mdettweiler [2013-02-05 02:52:06] 633*2^1240562-1 is not prime. Res64: 983FEC365E1C9983 Time : 0.0 sec. user=mdettweiler [2013-02-05 03:04:53] 767*2^1240562-1 is not prime. Res64: 537B41EBFEBF8DEE Time : 0.0 sec. user=mdettweiler [2013-02-05 03:04:54] 791*2^1240562-1 is not prime. Res64: 716333D3EC0E5166 Time : 0.0 sec. user=mdettweiler [2013-02-05 03:09:34] 813*2^1240562-1 is not prime. Res64: E61E7AEA503028EF Time : 0.0 sec. user=mdettweiler [2013-02-05 03:09:35] 903*2^1240562-1 is not prime. Res64: 6BAAF82491FDF5B9 Time : 0.0 sec. user=mdettweiler [2013-02-05 03:22:22] 911*2^1240562-1 is not prime. Res64: 4ECC6511A801C445 Time : 0.0 sec. user=mdettweiler [2013-02-05 03:22:23] 941*2^1240562-1 is not prime. Res64: 61593D53CC19C78D Time : 0.0 sec. user=vaughan [2013-02-05 03:25:06] 735*2^1240562-1 is not prime. Res64: 97298F38A6F76FFC Time : 0.0 sec. user=mdettweiler [2013-02-05 03:26:57] 977*2^1240562-1 is not prime. Res64: 379FAD2E03D6B38C Time : 0.0 sec. user=mdettweiler [2013-02-05 03:26:57] 649*2^1240563-1 is not prime. Res64: 3485CE416D5A9032 Time : 0.0 sec. user=mdettweiler [2013-02-05 03:39:46] 793*2^1240563-1 is not prime. Res64: 4B4E854ED5FE0377 Time : 0.0 sec. user=mdettweiler [2013-02-05 03:39:52] 825*2^1240563-1 is not prime. Res64: 4A5AE6CD5F591675 Time : 0.0 sec. user=mdettweiler [2013-02-05 03:44:17] 885*2^1240563-1 is not prime. Res64: 04CE273806EB5929 Time : 0.0 sec. user=mdettweiler [2013-02-05 03:44:18] 891*2^1240563-1 is not prime. Res64: B7C6CEBBD8484F95 Time : 0.0 sec. user=mdettweiler [2013-02-05 03:57:37] 945*2^1240563-1 is not prime. Res64: 63364600F26E3207 Time : 0.0 sec. user=mdettweiler [2013-02-05 03:57:37] 951*2^1240563-1 is not prime. Res64: 7FEA3B9D83F46E19 Time : 0.0 sec. user=mdettweiler [2013-02-05 04:01:40] 969*2^1240563-1 is not prime. Res64: 3987E5B8536DED43 Time : 0.0 sec. user=mdettweiler [2013-02-05 04:01:42] 657*2^1240564-1 is not prime. Res64: E0BDA4129DE798FE Time : 0.0 sec. user=vaughan [2013-02-05 04:02:50] 859*2^1240563-1 is not prime. Res64: 428B18D9D8938EB2 Time : 0.0 sec. user=mdettweiler [2013-02-05 04:14:59] 677*2^1240564-1 is not prime. Res64: D2C645ABF18C2C3D Time : 0.0 sec. user=mdettweiler [2013-02-05 04:15:04] 717*2^1240564-1 is not prime. Res64: E8372BCC3A400C63 Time : 0.0 sec. user=mdettweiler [2013-02-05 04:19:06] 869*2^1240564-1 is not prime. Res64: CF88E222034458ED Time : 0.0 sec. user=mdettweiler [2013-02-05 04:19:06] 909*2^1240564-1 is not prime. Res64: CF3532C2AB1CBA9A Time : 0.0 sec. user=mdettweiler [2013-02-05 04:32:36] 607*2^1240565-1 is not prime. Res64: 1C0AA2E3D9A508FA Time : 0.0 sec. user=mdettweiler [2013-02-05 04:32:38] 619*2^1240565-1 is not prime. Res64: 1709487811DC609D Time : 0.0 sec. user=mdettweiler [2013-02-05 04:36:27] 759*2^1240565-1 is not prime. Res64: 9AB3238D77DFB01A Time : 0.0 sec. user=mdettweiler [2013-02-05 04:36:29] 777*2^1240565-1 is not prime. Res64: 1D5655433837A8E2 Time : 0.0 sec. user=vaughan [2013-02-05 04:40:44] 601*2^1240565-1 is not prime. Res64: CF7C597B94D25356 Time : 0.0 sec. user=mdettweiler [2013-02-05 04:50:02] 787*2^1240565-1 is not prime. Res64: 15FC4C137C0A0D80 Time : 0.0 sec. user=mdettweiler [2013-02-05 04:50:03] 859*2^1240565-1 is not prime. Res64: 8A790C61DC073E70 Time : 0.0 sec. user=mdettweiler [2013-02-05 04:53:54] 979*2^1240565-1 is not prime. Res64: 78FDC680014069EF Time : 0.0 sec. user=mdettweiler [2013-02-05 04:53:55] 627*2^1240566-1 is not prime. Res64: 0BFADB3F48F1B205 Time : 0.0 sec. user=mdettweiler [2013-02-05 05:07:25] 931*2^1240567-1 is not prime. Res64: A706F87A36BDEBA0 Time : 0.0 sec. user=mdettweiler [2013-02-05 05:07:26] 961*2^1240567-1 is not prime. Res64: B9152A377A17D36A Time : 0.0 sec. user=mdettweiler [2013-02-05 05:11:16] 617*2^1240568-1 is not prime. Res64: 287C0671BCE12882 Time : 0.0 sec. user=mdettweiler [2013-02-05 05:11:18] 657*2^1240568-1 is not prime. Res64: 9A013717BE1814FF Time : 0.0 sec. user=vaughan [2013-02-05 05:18:29] 917*2^1240566-1 is not prime. Res64: B462DED42B7AC2C1 Time : 0.0 sec. user=mdettweiler [2013-02-05 05:24:52] 753*2^1240568-1 is not prime. Res64: FE0B594EFD6C47A7 Time : 0.0 sec. user=mdettweiler [2013-02-05 05:24:53] 759*2^1240568-1 is not prime. Res64: D2238D6FF9567406 Time : 0.0 sec. user=mdettweiler [2013-02-05 05:28:52] 795*2^1240568-1 is not prime. Res64: 56314255E45F05A1 Time : 0.0 sec. user=mdettweiler [2013-02-05 05:28:52] 825*2^1240568-1 is not prime. Res64: DB6C83AF96C59BB6 Time : 0.0 sec. user=mdettweiler [2013-02-05 05:42:13] 839*2^1240568-1 is not prime. Res64: E3CDF7F22421E27D Time : 0.0 sec. user=mdettweiler [2013-02-05 05:42:13] 959*2^1240568-1 is not prime. Res64: 75769BF32A65A6F7 Time : 0.0 sec. user=mdettweiler [2013-02-05 05:46:13] 601*2^1240569-1 is not prime. Res64: 247C49154968852A Time : 0.0 sec. user=mdettweiler [2013-02-05 05:46:14] 615*2^1240569-1 is not prime. Res64: CF418AAFB0099933 Time : 0.0 sec. user=vaughan [2013-02-05 05:56:14] 837*2^1240568-1 is not prime. Res64: FD8A7C68B16A163B Time : 0.0 sec. user=mdettweiler [2013-02-05 05:59:34] 649*2^1240569-1 is not prime. Res64: 091494DEA8F46999 Time : 0.0 sec. user=mdettweiler [2013-02-05 05:59:34] 661*2^1240569-1 is not prime. Res64: 0929D0FB26282D5A Time : 0.0 sec. user=mdettweiler [2013-02-05 06:03:34] 795*2^1240569-1 is not prime. Res64: 15B428DB9178C14E Time : 0.0 sec. user=mdettweiler [2013-02-05 06:03:36] 807*2^1240569-1 is not prime. Res64: 6CE1D70546BD0365 Time : 0.0 sec. user=mdettweiler [2013-02-05 06:16:55] 945*2^1240569-1 is not prime. Res64: FC309D61663ED676 Time : 0.0 sec. user=mdettweiler [2013-02-05 06:16:55] 997*2^1240569-1 is not prime. Res64: 0E8FAF0FD6B234BA Time : 0.0 sec. user=mdettweiler [2013-02-05 06:20:58] 605*2^1240570-1 is not prime. Res64: 264EE3B40D69FEDF Time : 0.0 sec. user=mdettweiler [2013-02-05 06:20:58] 611*2^1240570-1 is not prime. Res64: E9A169828B5A9B5B Time : 0.0 sec. user=vaughan [2013-02-05 06:34:03] 889*2^1240569-1 is not prime. Res64: 256B9B5851BA182C Time : 0.0 sec. user=mdettweiler [2013-02-05 06:34:17] 713*2^1240570-1 is not prime. Res64: 47727FBAB448711A Time : 0.0 sec. user=mdettweiler [2013-02-05 06:34:18] 873*2^1240570-1 is not prime. Res64: 1F8E40E9B8ED1882 Time : 0.0 sec. user=mdettweiler [2013-02-05 06:38:19] 885*2^1240570-1 is not prime. Res64: 2B54F9B5E3A51E67 Time : 0.0 sec. user=mdettweiler [2013-02-05 06:38:20] 887*2^1240570-1 is not prime. Res64: 8B626D8A8DF770FE Time : 0.0 sec. user=mdettweiler [2013-02-05 06:51:39] 915*2^1240570-1 is not prime. Res64: 60B75E1F0DF0B440 Time : 0.0 sec. user=mdettweiler [2013-02-05 06:51:40] 941*2^1240570-1 is not prime. Res64: 99848ABCAA0469E1 Time : 0.0 sec. user=mdettweiler [2013-02-05 06:55:40] 753*2^1240571-1 is not prime. Res64: C3A620857D59A614 Time : 0.0 sec. user=mdettweiler [2013-02-05 06:55:41] 879*2^1240571-1 is not prime. Res64: E62C02CE9182972C Time : 0.0 sec. user=mdettweiler [2013-02-05 07:09:01] 883*2^1240571-1 is not prime. Res64: 75E25BA654820BB7 Time : 0.0 sec. user=mdettweiler [2013-02-05 07:09:03] 665*2^1240572-1 is not prime. Res64: 813FA7A993925CA2 Time : 0.0 sec. user=vaughan [2013-02-05 07:11:50] 905*2^1240570-1 is not prime. Res64: 7E3495B1C7234495 Time : 0.0 sec. user=mdettweiler [2013-02-05 07:13:03] 945*2^1240572-1 is not prime. Res64: C06E195179F64E51 Time : 0.0 sec. user=mdettweiler [2013-02-05 07:13:04] 699*2^1240573-1 is not prime. Res64: E301A38469FA42A1 Time : 0.0 sec. user=mdettweiler [2013-02-05 07:26:26] 757*2^1240573-1 is not prime. Res64: 41C5911A1A0201CD Time : 0.0 sec. user=mdettweiler [2013-02-05 07:26:26] 769*2^1240573-1 is not prime. Res64: DCE19CF90E3878BB Time : 0.0 sec. user=mdettweiler [2013-02-05 07:30:24] 831*2^1240573-1 is not prime. Res64: 40D6CAB19059FB9E Time : 0.0 sec. user=mdettweiler [2013-02-05 07:30:24] 617*2^1240574-1 is not prime. Res64: C5D26A93E66AA6E2 Time : 0.0 sec. user=mdettweiler [2013-02-05 07:43:48] 707*2^1240574-1 is not prime. Res64: B601476EFE9F597F Time : 0.0 sec. user=mdettweiler [2013-02-05 07:43:48] 981*2^1240574-1 is not prime. Res64: 1428FDB3793E926B Time : 0.0 sec. user=mdettweiler [2013-02-05 07:47:45] 651*2^1240575-1 is not prime. Res64: F0F46BA2A46BA929 Time : 0.0 sec. user=mdettweiler [2013-02-05 07:47:45] 669*2^1240575-1 is not prime. Res64: 6E7C4251423D0349 Time : 0.0 sec. user=vaughan [2013-02-05 07:49:37] 775*2^1240573-1 is not prime. Res64: F39D554E85FABCA7 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:01:09] 679*2^1240575-1 is not prime. Res64: 6947CF81501FB2B6 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:01:10] 739*2^1240575-1 is not prime. Res64: EEAD4F5BB5EF9021 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:05:05] 789*2^1240575-1 is not prime. Res64: 84C3B2276C600948 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:05:06] 861*2^1240575-1 is not prime. Res64: D693EE74FD921EB0 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:18:41] 615*2^1240576-1 is not prime. Res64: 702DB59A89EB75A2 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:18:41] 645*2^1240576-1 is not prime. Res64: FA4ED38B51182C2A Time : 0.0 sec. user=mdettweiler [2013-02-05 08:22:31] 657*2^1240576-1 is not prime. Res64: 78D6BF3DFB528174 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:22:31] 693*2^1240576-1 is not prime. Res64: 70862871B461034A Time : 0.0 sec. user=vaughan [2013-02-05 08:27:24] 961*2^1240575-1 is not prime. Res64: AD5337CA580AA0E2 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:36:05] 705*2^1240576-1 is not prime. Res64: 6C015F62903D6366 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:36:05] 785*2^1240576-1 is not prime. Res64: F36850A9389E6134 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:39:52] 899*2^1240576-1 is not prime. Res64: E4C3C330A13102AE Time : 0.0 sec. user=mdettweiler [2013-02-05 08:39:52] 903*2^1240576-1 is not prime. Res64: 9C0BEC613FB453BE Time : 0.0 sec. user=mdettweiler [2013-02-05 08:53:26] 717*2^1240577-1 is not prime. Res64: D7C9FBF28C8CC7F7 Time : 0.0 sec. user=mdettweiler [2013-02-05 08:53:27] 729*2^1240577-1 is not prime. Res64: EF21B6C182A4C5EA Time : 0.0 sec. user=mdettweiler [2013-02-05 08:57:13] 641*2^1240578-1 is not prime. Res64: 9ED5C8C70057FA1C Time : 0.0 sec. user=mdettweiler [2013-02-05 08:57:14] 681*2^1240578-1 is not prime. Res64: 84472697FE9E7419 Time : 0.0 sec. user=vaughan [2013-02-05 09:05:09] 651*2^1240577-1 is not prime. Res64: 49680D50AFC351C9 Time : 0.0 sec. user=mdettweiler [2013-02-05 09:10:48] 735*2^1240578-1 is not prime. Res64: E90927C54C4D923D Time : 0.0 sec. user=mdettweiler [2013-02-05 09:10:50] 737*2^1240578-1 is not prime. Res64: EDA1E3D36924E7BE Time : 0.0 sec. user=mdettweiler [2013-02-05 09:14:34] 815*2^1240578-1 is not prime. Res64: EC67E6C62789F3A8 Time : 0.0 sec. user=mdettweiler [2013-02-05 09:14:35] 893*2^1240578-1 is not prime. Res64: 7F42E272451B76D8 Time : 0.0 sec. user=mdettweiler [2013-02-05 09:28:11] 645*2^1240579-1 is not prime. Res64: 8684FC0DE212068D Time : 0.0 sec. user=mdettweiler [2013-02-05 09:28:12] 649*2^1240579-1 is not prime. Res64: D54AB2D7E2D0C6C7 Time : 0.0 sec. user=mdettweiler [2013-02-05 09:31:56] 723*2^1240579-1 is not prime. Res64: 1A928C6CB737D893 Time : 0.0 sec. user=mdettweiler [2013-02-05 09:31:56] 741*2^1240579-1 is not prime. Res64: 49C22A6E089870B2 Time : 0.0 sec. user=vaughan [2013-02-05 09:42:57] 927*2^1240578-1 is not prime. Res64: 8A06C3B429131F0C Time : 0.0 sec. user=mdettweiler [2013-02-05 09:45:33] 665*2^1240580-1 is not prime. Res64: D9C9377A75EEA9E2 Time : 0.0 sec. user=mdettweiler [2013-02-05 09:45:33] 677*2^1240580-1 is not prime. Res64: FBAB0C2E2EC9D5A2 Time : 0.0 sec. user=mdettweiler [2013-02-05 09:49:16] 717*2^1240580-1 is not prime. Res64: E800A59D97A81828 Time : 0.0 sec. user=mdettweiler [2013-02-05 09:49:17] 719*2^1240580-1 is not prime. Res64: F14A7057C2D38B07 Time : 0.0 sec. user=mdettweiler [2013-02-05 10:02:56] 839*2^1240580-1 is not prime. Res64: 7551EAA825D015EC Time : 0.0 sec. user=mdettweiler [2013-02-05 10:02:58] 855*2^1240580-1 is not prime. Res64: 37FA1224DB4B45E4 Time : 0.0 sec. user=mdettweiler [2013-02-05 10:06:38] 909*2^1240580-1 is not prime. Res64: CE05BEDFF7261DBE Time : 0.0 sec. user=mdettweiler [2013-02-05 10:06:39] 983*2^1240580-1 is not prime. Res64: 9915900D76433071 Time : 0.0 sec. user=mdettweiler [2013-02-05 10:20:29] 627*2^1240581-1 is not prime. Res64: 016A4F083FC4B52A Time : 0.0 sec. user=mdettweiler [2013-02-05 10:20:30] 685*2^1240581-1 is not prime. Res64: A144D759A120CCC9 Time : 0.0 sec. user=vaughan [2013-02-05 10:20:44] 777*2^1240580-1 is not prime. Res64: 0589903ACA74871A Time : 0.0 sec. user=mdettweiler [2013-02-05 10:24:00] 741*2^1240581-1 is not prime. Res64: ECF8178A7802C701 Time : 0.0 sec. user=mdettweiler [2013-02-05 10:24:01] 795*2^1240581-1 is not prime. Res64: 99800EEBDE3DC89F Time : 0.0 sec. user=mdettweiler [2013-02-05 10:37:53] 859*2^1240581-1 is not prime. Res64: 6A39BE34A6915708 Time : 0.0 sec. user=mdettweiler [2013-02-05 10:37:53] 885*2^1240581-1 is not prime. Res64: 29068FFA4EDC3164 Time : 0.0 sec. user=mdettweiler [2013-02-05 10:41:21] 635*2^1240582-1 is not prime. Res64: C377E6BD9B6F7500 Time : 0.0 sec. user=mdettweiler [2013-02-05 10:41:22] 791*2^1240582-1 is not prime. Res64: 2F7833FBCF06C425 Time : 0.0 sec. user=mdettweiler [2013-02-05 10:55:14] 833*2^1240582-1 is not prime. Res64: 1928B2F95113CFD8 Time : 0.0 sec. user=mdettweiler [2013-02-05 10:55:14] 873*2^1240582-1 is not prime. Res64: 037B75229F70E6F7 Time : 0.0 sec. user=vaughan [2013-02-05 10:58:32] 975*2^1240581-1 is not prime. Res64: 989F370B54454CD3 Time : 0.0 sec. user=mdettweiler [2013-02-05 10:58:43] 923*2^1240582-1 is not prime. Res64: 824B1DC71850D96C Time : 0.0 sec. user=mdettweiler [2013-02-05 10:58:43] 1001*2^1240582-1 is not prime. Res64: 4E43B2B961AE2191 Time : 0.0 sec. user=mdettweiler [2013-02-05 11:12:35] 633*2^1240583-1 is not prime. Res64: 2F852E4979DBE6F4 Time : 0.0 sec. user=mdettweiler [2013-02-05 11:12:36] 661*2^1240583-1 is not prime. Res64: A26C1E8D3213DEB9 Time : 0.0 sec. user=mdettweiler [2013-02-05 11:16:04] 675*2^1240583-1 is not prime. Res64: EBCCEB1284930AA8 Time : 0.0 sec. user=mdettweiler [2013-02-05 11:16:05] 813*2^1240583-1 is not prime. Res64: 19A56DA81227F4D8 Time : 0.0 sec. user=mdettweiler [2013-02-05 11:29:59] 747*2^1240584-1 is not prime. Res64: FE834C81E61307EC Time : 0.0 sec. user=mdettweiler [2013-02-05 11:29:59] 873*2^1240584-1 is not prime. Res64: C353DE2DDAF246DE Time : 0.0 sec. user=mdettweiler [2013-02-05 11:33:27] 945*2^1240584-1 is not prime. Res64: 106904F9440914DE Time : 0.0 sec. user=mdettweiler [2013-02-05 11:33:28] 625*2^1240585-1 is not prime. Res64: CBD8AC9B9E6F7B1F Time : 0.0 sec. user=vaughan [2013-02-05 11:36:19] 669*2^1240583-1 is not prime. Res64: 6754E288D31B014F Time : 0.0 sec. user=mdettweiler [2013-02-05 11:47:20] 799*2^1240585-1 is not prime. Res64: 9A33E3F9FCC5E6B7 Time : 0.0 sec. user=mdettweiler [2013-02-05 11:47:21] 811*2^1240585-1 is not prime. Res64: 5CFE13DE0E06E715 Time : 0.0 sec. user=mdettweiler [2013-02-05 11:50:49] 861*2^1240585-1 is not prime. Res64: 6881090374FB6B46 Time : 0.0 sec. user=mdettweiler [2013-02-05 11:50:50] 895*2^1240585-1 is not prime. Res64: 1BA0DDE7A46A3374 Time : 0.0 sec. user=mdettweiler [2013-02-05 12:04:42] 981*2^1240585-1 is not prime. Res64: 41FC57E652CF64ED Time : 0.0 sec. user=mdettweiler [2013-02-05 12:04:44] 603*2^1240586-1 is not prime. Res64: 39E39C6B42FEBDD7 Time : 0.0 sec. user=mdettweiler [2013-02-05 12:08:11] 785*2^1240586-1 is not prime. Res64: 07CD1C66DB2987E1 Time : 0.0 sec. user=mdettweiler [2013-02-05 12:08:13] 941*2^1240586-1 is not prime. Res64: AE018DF03D286D0B Time : 0.0 sec. user=vaughan [2013-02-05 12:14:24] 919*2^1240585-1 is not prime. Res64: 58D701D1B61EBF4E Time : 0.0 sec. user=mdettweiler [2013-02-05 12:22:23] 741*2^1240587-1 is not prime. Res64: EB77BFBABF6BA661 Time : 0.0 sec. user=mdettweiler [2013-02-05 12:22:24] 769*2^1240587-1 is not prime. Res64: E5BA471768472C66 Time : 0.0 sec. user=mdettweiler [2013-02-05 12:25:47] 781*2^1240587-1 is not prime. Res64: 92095392000BDC86 Time : 0.0 sec. user=mdettweiler [2013-02-05 12:25:47] 895*2^1240587-1 is not prime. Res64: 0C12FB5894B98767 Time : 0.0 sec. user=mdettweiler [2013-02-05 12:39:45] 743*2^1240588-1 is not prime. Res64: 4007085E84BFCBCF Time : 0.0 sec. user=mdettweiler [2013-02-05 12:39:46] 819*2^1240588-1 is not prime. Res64: 9C2F9391C52D225C Time : 0.0 sec. user=mdettweiler [2013-02-05 12:43:09] 863*2^1240588-1 is not prime. Res64: 8D898A38E6EDFD08 Time : 0.0 sec. user=mdettweiler [2013-02-05 12:43:09] 869*2^1240588-1 is not prime. Res64: 4F3A6A4BA2E36839 Time : 0.0 sec. user=vaughan [2013-02-05 12:52:16] 705*2^1240588-1 is not prime. Res64: 26616A3BD55079E3 Time : 0.0 sec. user=mdettweiler [2013-02-05 12:57:07] 887*2^1240588-1 is not prime. Res64: C3180D65E9092E77 Time : 0.0 sec. user=mdettweiler [2013-02-05 12:57:08] 993*2^1240588-1 is not prime. Res64: 3CD6E1569B85A28F Time : 0.0 sec. user=mdettweiler [2013-02-05 13:00:32] 631*2^1240589-1 is not prime. Res64: 0323AB631D43DD8F Time : 0.0 sec. user=mdettweiler [2013-02-05 13:00:33] 675*2^1240589-1 is not prime. Res64: BE8639781763D142 Time : 0.0 sec. user=mdettweiler [2013-02-05 13:14:41] 837*2^1240589-1 is not prime. Res64: B4BEA340FDCD5E67 Time : 0.0 sec. user=mdettweiler [2013-02-05 13:14:42] 955*2^1240589-1 is not prime. Res64: CF03EE78E5ABDC8C Time : 0.0 sec. user=mdettweiler [2013-02-05 13:18:18] 991*2^1240589-1 is not prime. Res64: F8B2717D19D0155C Time : 0.0 sec. user=mdettweiler [2013-02-05 13:18:19] 611*2^1240590-1 is not prime. Res64: 55091DA6DCE310C9 Time : 0.0 sec. user=vaughan [2013-02-05 13:30:06] 799*2^1240589-1 is not prime. Res64: DB7CA07291E31BEE Time : 0.0 sec. user=mdettweiler [2013-02-05 13:32:30] 707*2^1240590-1 is not prime. Res64: C836623D08F7F7F4 Time : 0.0 sec. user=mdettweiler [2013-02-05 13:32:31] 755*2^1240590-1 is not prime. Res64: FD3F9E7BD2E0941D Time : 0.0 sec. user=mdettweiler [2013-02-05 13:36:05] 801*2^1240590-1 is not prime. Res64: 9DAFA3AE972DC5F2 Time : 0.0 sec. user=mdettweiler [2013-02-05 13:36:06] 825*2^1240590-1 is not prime. Res64: 4E0CE73E837EF445 Time : 0.0 sec. user=mdettweiler [2013-02-05 13:50:18] 977*2^1240590-1 is not prime. Res64: 747E6EF6D3D4E79D Time : 0.0 sec. user=mdettweiler [2013-02-05 13:50:19] 649*2^1240591-1 is not prime. Res64: 3DEB2CA2B446BCAF Time : 0.0 sec. user=mdettweiler [2013-02-05 13:53:53] 741*2^1240591-1 is not prime. Res64: DD095E807D2B7488 Time : 0.0 sec. user=mdettweiler [2013-02-05 13:53:53] 771*2^1240591-1 is not prime. Res64: FD6BD049CF0425AF Time : 0.0 sec. user=vaughan [2013-02-05 14:07:56] 861*2^1240590-1 is not prime. Res64: 94FE345B91895F1F Time : 0.0 sec. user=mdettweiler [2013-02-05 14:07:59] 819*2^1240591-1 is not prime. Res64: 571DA02F65596A15 Time : 0.0 sec. user=mdettweiler [2013-02-05 14:08:00] 871*2^1240591-1 is not prime. Res64: 4048D4B2E36CD5A4 Time : 0.0 sec. user=mdettweiler [2013-02-05 14:11:26] 979*2^1240591-1 is not prime. Res64: 640CBDE2FC47A38D Time : 0.0 sec. user=mdettweiler [2013-02-05 14:11:27] 603*2^1240592-1 is not prime. Res64: 6B233C147B7873B2 Time : 0.0 sec. user=juhehe [2013-02-05 14:15:55] 939*2^1240535-1 is not prime. Res64: F8A84D2558FACEAC Time : 0.0 sec. user=mdettweiler [2013-02-05 14:25:34] 813*2^1240592-1 is not prime. Res64: 0A62624101AA8B5C Time : 0.0 sec. user=mdettweiler [2013-02-05 14:25:34] 827*2^1240592-1 is not prime. Res64: F7079C25395DB2D9 Time : 0.0 sec. user=mdettweiler [2013-02-05 14:28:49] 897*2^1240592-1 is not prime. Res64: 2C583B1093C25AF5 Time : 0.0 sec. user=mdettweiler [2013-02-05 14:28:50] 899*2^1240592-1 is not prime. Res64: 119FFC935973ABD8 Time : 0.0 sec. user=mdettweiler [2013-02-05 14:42:55] 929*2^1240592-1 is not prime. Res64: 6F754C976D9D6657 Time : 0.0 sec. user=mdettweiler [2013-02-05 14:42:56] 625*2^1240593-1 is not prime. Res64: 315E23A23C867781 Time : 0.0 sec. user=vaughan [2013-02-05 14:45:56] 785*2^1240592-1 is not prime. Res64: BF1AA2479DFC51B3 Time : 0.0 sec. user=mdettweiler [2013-02-05 14:46:10] 727*2^1240593-1 is not prime. Res64: 8DD6C67F697E0FB4 Time : 0.0 sec. user=mdettweiler [2013-02-05 14:46:11] 807*2^1240593-1 is not prime. Res64: C4CB3CE133BAFDD3 Time : 0.0 sec. user=mdettweiler [2013-02-05 15:00:22] 861*2^1240593-1 is not prime. Res64: 2F9F6BD0E6108DCB Time : 0.0 sec. user=mdettweiler [2013-02-05 15:00:24] 623*2^1240594-1 is not prime. Res64: 89CA4EDFC360FD0E Time : 0.0 sec. user=mdettweiler [2013-02-05 15:03:38] 803*2^1240594-1 is not prime. Res64: 4D6BA8670C2E9F79 Time : 0.0 sec. user=mdettweiler [2013-02-05 15:03:39] 825*2^1240594-1 is not prime. Res64: 32C84C2482F1CAAD Time : 0.0 sec. user=mdettweiler [2013-02-05 15:18:00] 857*2^1240594-1 is not prime. Res64: A9DFE35BD2988E3B Time : 0.0 sec. user=mdettweiler [2013-02-05 15:18:01] 951*2^1240594-1 is not prime. Res64: E1B9BEF7F917A5BD Time : 0.0 sec. user=mdettweiler [2013-02-05 15:21:06] 957*2^1240594-1 is not prime. Res64: D9AE1B3311DE6024 Time : 0.0 sec. user=mdettweiler [2013-02-05 15:21:07] 1001*2^1240594-1 is not prime. Res64: 5622581EC3B1F65C Time : 0.0 sec. user=vaughan [2013-02-05 15:23:46] 737*2^1240594-1 is not prime. Res64: 676BB4F2F3452310 Time : 0.0 sec. user=mdettweiler [2013-02-05 15:35:24] 699*2^1240595-1 is not prime. Res64: 5702EA095293CAEA Time : 0.0 sec. user=mdettweiler [2013-02-05 15:35:25] 823*2^1240595-1 is not prime. Res64: 30CCB8F16949B07F Time : 0.0 sec. user=mdettweiler [2013-02-05 15:38:29] 829*2^1240595-1 is not prime. Res64: 62E89B3CA093E023 Time : 0.0 sec. user=mdettweiler [2013-02-05 15:38:30] 633*2^1240596-1 is not prime. Res64: 2404D5D6FF0C0916 Time : 0.0 sec. user=mdettweiler [2013-02-05 15:52:47] 839*2^1240596-1 is not prime. Res64: EC2DD7E3229C02FC Time : 0.0 sec. user=mdettweiler [2013-02-05 15:52:47] 887*2^1240596-1 is not prime. Res64: 59747FFB3E2EDFF3 Time : 0.0 sec. user=mdettweiler [2013-02-05 15:55:52] 893*2^1240596-1 is not prime. Res64: F2823D564D8ADCA3 Time : 0.0 sec. user=mdettweiler [2013-02-05 15:55:53] 927*2^1240596-1 is not prime. Res64: FF779DCB23D6302E Time : 0.0 sec. user=vaughan [2013-02-05 16:01:36] 773*2^1240596-1 is not prime. Res64: 694252DB953838F6 Time : 0.0 sec. user=mdettweiler [2013-02-05 16:10:10] 957*2^1240596-1 is not prime. Res64: DE2D72A96D11CA1E Time : 0.0 sec. user=mdettweiler [2013-02-05 16:10:12] 601*2^1240597-1 is not prime. Res64: 28DF4CF0B6FBFBCC Time : 0.0 sec. user=mdettweiler [2013-02-05 16:13:16] 619*2^1240597-1 is not prime. Res64: 1F65F956FD9E0BBA Time : 0.0 sec. user=mdettweiler [2013-02-05 16:13:17] 625*2^1240597-1 is not prime. Res64: EF8FE887389EFE6C Time : 0.0 sec. user=mdettweiler [2013-02-05 16:27:38] 849*2^1240597-1 is not prime. Res64: B88186BC51C9700B Time : 0.0 sec. user=mdettweiler [2013-02-05 16:27:38] 871*2^1240597-1 is not prime. Res64: 9F4E8D5505646BDD Time : 0.0 sec. user=mdettweiler [2013-02-05 16:30:43] 937*2^1240597-1 is not prime. Res64: 2FE9D4039E6F707E Time : 0.0 sec. user=mdettweiler [2013-02-05 16:30:43] 985*2^1240597-1 is not prime. Res64: 5624F0573284EBCD Time : 0.0 sec. user=vaughan [2013-02-05 16:39:32] 831*2^1240597-1 is not prime. Res64: B3ACF6480C8F98E0 Time : 0.0 sec. user=mdettweiler [2013-02-05 16:45:05] 999*2^1240597-1 is not prime. Res64: FC58175CC6E9AF8A Time : 0.0 sec. user=mdettweiler [2013-02-05 16:45:05] 795*2^1240598-1 is not prime. Res64: 55946C3A9E2F41E8 Time : 0.0 sec. user=mdettweiler [2013-02-05 16:48:09] 825*2^1240598-1 is not prime. Res64: C68A66E7B434A9D9 Time : 0.0 sec. user=mdettweiler [2013-02-05 16:48:10] 833*2^1240598-1 is not prime. Res64: 53DB443ABAA35D5F Time : 0.0 sec. user=mdettweiler [2013-02-05 17:02:33] 935*2^1240598-1 is not prime. Res64: 775811D4FA84FCE4 Time : 0.0 sec. user=mdettweiler [2013-02-05 17:02:34] 945*2^1240598-1 is not prime. Res64: 2EF90A916924F5BF Time : 0.0 sec. user=mdettweiler [2013-02-05 17:05:40] 621*2^1240599-1 is not prime. Res64: 240AF3F74A24A64D Time : 0.0 sec. user=mdettweiler [2013-02-05 17:05:41] 693*2^1240599-1 is not prime. Res64: 899AFFBEF9B2521C Time : 0.0 sec. user=vaughan [2013-02-05 17:17:14] 911*2^1240598-1 is not prime. Res64: D4E8D832EA74023F Time : 0.0 sec. user=mdettweiler [2013-02-05 17:20:39] 895*2^1240599-1 is not prime. Res64: 49F88C27C36B45ED Time : 0.0 sec. user=mdettweiler [2013-02-05 17:20:40] 699*2^1240600-1 is not prime. Res64: DD54A87226674369 Time : 0.0 sec. user=mdettweiler [2013-02-05 17:23:46] 713*2^1240600-1 is not prime. Res64: 39236C89F6419296 Time : 0.0 sec. user=mdettweiler [2013-02-05 17:23:46] 873*2^1240600-1 is not prime. Res64: A76631FB0AE7B839 Time : 0.0 sec. user=mdettweiler [2013-02-05 17:38:32] 959*2^1240600-1 is not prime. Res64: B0535D9D5A5F4C96 Time : 0.0 sec. user=mdettweiler [2013-02-05 17:38:33] 999*2^1240600-1 is not prime. Res64: 42E77371471A299E Time : 0.0 sec. user=mdettweiler [2013-02-05 17:41:34] 615*2^1240601-1 is not prime. Res64: CB5D7BFED32B370C Time : 0.0 sec. user=mdettweiler [2013-02-05 17:41:34] 627*2^1240601-1 is not prime. Res64: 5899859A2F218E8F Time : 0.0 sec. user=vaughan [2013-02-05 17:54:59] 923*2^1240600-1 is not prime. Res64: 6F041B64EECEAB45 Time : 0.0 sec. user=mdettweiler [2013-02-05 17:56:09] 631*2^1240601-1 is not prime. Res64: 88052200E56C2125 Time : 0.0 sec. user=mdettweiler [2013-02-05 17:56:10] 711*2^1240601-1 is not prime. Res64: A58A403A08586B95 Time : 0.0 sec. user=mdettweiler [2013-02-05 17:59:13] 777*2^1240601-1 is not prime. Res64: 5A848D0F414ACCE9 Time : 0.0 sec. user=mdettweiler [2013-02-05 17:59:14] 865*2^1240601-1 is not prime. Res64: 8A94858FAF19E769 Time : 0.0 sec. user=mdettweiler [2013-02-05 18:13:53] 931*2^1240601-1 is not prime. Res64: A74BED0A8221D7C6 Time : 0.0 sec. user=mdettweiler [2013-02-05 18:13:53] 949*2^1240601-1 is not prime. Res64: DEC6BD995A740F75 Time : 0.0 sec. user=mdettweiler [2013-02-05 18:16:56] 955*2^1240601-1 is not prime. Res64: 0BF9CB5E336507BE Time : 0.0 sec. user=mdettweiler [2013-02-05 18:16:57] 621*2^1240602-1 is not prime. Res64: 33F09059B57282A2 Time : 0.0 sec. user=mdettweiler [2013-02-05 18:31:32] 635*2^1240602-1 is not prime. Res64: 52DC07CB5C516C82 Time : 0.0 sec. user=mdettweiler [2013-02-05 18:31:32] 651*2^1240602-1 is not prime. Res64: 6295980ACE4BF280 Time : 0.0 sec. user=vaughan [2013-02-05 18:32:43] 871*2^1240601-1 is not prime. Res64: 71009142A06D3F33 Time : 0.0 sec. user=mdettweiler [2013-02-05 18:34:30] 731*2^1240602-1 is not prime. Res64: EECC69DF7DE57B3E Time : 0.0 sec. user=mdettweiler [2013-02-05 18:34:31] 803*2^1240602-1 is not prime. Res64: 46B0D74E57BAE6FE Time : 0.0 sec. user=mdettweiler [2013-02-05 18:49:06] 843*2^1240602-1 is not prime. Res64: BF2FAE8B03715EC6 Time : 0.0 sec. user=mdettweiler [2013-02-05 18:49:06] 941*2^1240602-1 is not prime. Res64: 0A4AA2C7361D9BE1 Time : 0.0 sec. user=mdettweiler [2013-02-05 18:52:04] 1001*2^1240602-1 is not prime. Res64: 8E73B0B659EB1B3A Time : 0.0 sec. user=mdettweiler [2013-02-05 18:52:04] 783*2^1240603-1 is not prime. Res64: FCFC51D44BB9FA0A Time : 0.0 sec. user=mdettweiler [2013-02-05 19:06:40] 793*2^1240603-1 is not prime. Res64: 5FD53555C4F410DA Time : 0.0 sec. user=mdettweiler [2013-02-05 19:06:43] 853*2^1240603-1 is not prime. Res64: 76FEF4EBB9F15447 Time : 0.0 sec. user=mdettweiler [2013-02-05 19:09:38] 883*2^1240603-1 is not prime. Res64: 6878C6F04A2A0676 Time : 0.0 sec. user=mdettweiler [2013-02-05 19:09:39] 885*2^1240603-1 is not prime. Res64: 2329F9B3F89134E9 Time : 0.0 sec. user=vaughan [2013-02-05 19:10:24] 975*2^1240602-1 is not prime. Res64: 927492DC6EDC935D Time : 0.0 sec. user=mdettweiler [2013-02-05 19:24:25] 891*2^1240603-1 is not prime. Res64: ACD29C1EC3044D3F Time : 0.0 sec. user=mdettweiler [2013-02-05 19:24:26] 913*2^1240603-1 is not prime. Res64: F6F8F968EB900876 Time : 0.0 sec. user=mdettweiler [2013-02-05 19:27:12] 605*2^1240604-1 is not prime. Res64: 4D6F33678A4C22F9 Time : 0.0 sec. user=mdettweiler [2013-02-05 19:27:13] 803*2^1240604-1 is not prime. Res64: 51B26C338490C973 Time : 0.0 sec. user=mdettweiler [2013-02-05 19:41:58] 855*2^1240604-1 is not prime. Res64: F8A5369175E89647 Time : 0.0 sec. user=mdettweiler [2013-02-05 19:41:58] 873*2^1240604-1 is not prime. Res64: C9DFD806FD6ED45E Time : 0.0 sec. user=mdettweiler [2013-02-05 19:44:45] 909*2^1240604-1 is not prime. Res64: 6F783A0617ED57C7 Time : 0.0 sec. user=mdettweiler [2013-02-05 19:44:45] 627*2^1240605-1 is not prime. Res64: 191C5CAC7EA0EA90 Time : 0.0 sec. user=vaughan [2013-02-05 19:48:05] 833*2^1240604-1 is not prime. Res64: 2ABD5234D726F83A Time : 0.0 sec. user=mdettweiler [2013-02-05 19:59:37] 655*2^1240605-1 is not prime. Res64: 969148C7084B0562 Time : 0.0 sec. user=mdettweiler [2013-02-05 19:59:37] 691*2^1240605-1 is not prime. Res64: 2076799B157822D1 Time : 0.0 sec. user=mdettweiler [2013-02-05 20:02:19] 717*2^1240605-1 is not prime. Res64: 57C3C8DC6D0F97C7 Time : 0.0 sec. user=mdettweiler [2013-02-05 20:02:20] 805*2^1240605-1 is not prime. Res64: 59C752068BE639E0 Time : 0.0 sec. user=mdettweiler [2013-02-05 20:17:05] 889*2^1240605-1 is not prime. Res64: AFCFF66447839659 Time : 0.0 sec. user=mdettweiler [2013-02-05 20:17:06] 927*2^1240605-1 is not prime. Res64: 49FADDC63AF85D70 Time : 0.0 sec. user=mdettweiler [2013-02-05 20:19:56] 623*2^1240606-1 is not prime. Res64: C854FA17FCC019D6 Time : 0.0 sec. user=mdettweiler [2013-02-05 20:19:57] 695*2^1240606-1 is not prime. Res64: BAA45D5F6AD2FD00 Time : 0.0 sec. user=vaughan [2013-02-05 20:25:47] 861*2^1240605-1 is not prime. Res64: E358A57C09F3A046 Time : 0.0 sec. user=mdettweiler [2013-02-05 20:34:36] 713*2^1240606-1 is not prime. Res64: 288FF379B2E22D6A Time : 0.0 sec. user=mdettweiler [2013-02-05 20:34:37] 717*2^1240606-1 is not prime. Res64: 2760145C1C71E5C3 Time : 0.0 sec. user=mdettweiler [2013-02-05 20:37:27] 873*2^1240606-1 is not prime. Res64: 2C8F043F9C981334 Time : 0.0 sec. user=mdettweiler [2013-02-05 20:37:27] 881*2^1240606-1 is not prime. Res64: 1A743EBFD3BB5FCE Time : 0.0 sec. user=mdettweiler [2013-02-05 20:52:08] 633*2^1240607-1 is not prime. Res64: 4CAA8E33AAAC9BC5 Time : 0.0 sec. user=mdettweiler [2013-02-05 20:52:08] 661*2^1240607-1 is not prime. Res64: C131399F0CE267EB Time : 0.0 sec. user=mdettweiler [2013-02-05 20:54:58] 705*2^1240607-1 is not prime. Res64: E78769ED4F90ED1E Time : 0.0 sec. user=mdettweiler [2013-02-05 20:54:59] 729*2^1240607-1 is not prime. Res64: 7EA55D96C0B449BB Time : 0.0 sec. user=vaughan [2013-02-05 21:03:30] 917*2^1240606-1 is not prime. Res64: B2050802D124AC83 Time : 0.0 sec. user=mdettweiler [2013-02-05 21:09:36] 913*2^1240607-1 is not prime. Res64: 6AF9B6C4870CE36D Time : 0.0 sec. user=mdettweiler [2013-02-05 21:09:38] 963*2^1240607-1 is not prime. Res64: D87FAB9E521EF39C Time : 0.0 sec. user=mdettweiler [2013-02-05 21:12:27] 973*2^1240607-1 is not prime. Res64: 820261687D8CF2CB Time : 0.0 sec. user=mdettweiler [2013-02-05 21:12:28] 979*2^1240607-1 is not prime. Res64: BBB493E98D19EFEE Time : 0.0 sec. user=mdettweiler [2013-02-05 21:27:15] 993*2^1240607-1 is not prime. Res64: FCEB917E2CF5F31A Time : 0.0 sec. user=mdettweiler [2013-02-05 21:27:16] 633*2^1240608-1 is not prime. Res64: AFD1C48A284C540E Time : 0.0 sec. user=mdettweiler [2013-02-05 21:30:06] 683*2^1240608-1 is not prime. Res64: C3288E131246D649 Time : 0.0 sec. user=mdettweiler [2013-02-05 21:30:07] 747*2^1240608-1 is not prime. Res64: 1E5746459573774A Time : 0.0 sec. user=vaughan [2013-02-05 21:41:24] 981*2^1240607-1 is not prime. Res64: 6FB2C821FDE9ED1F Time : 0.0 sec. user=mdettweiler [2013-02-05 21:44:48] 845*2^1240608-1 is not prime. Res64: BD6545CB0E3B133A Time : 0.0 sec. user=mdettweiler [2013-02-05 21:44:48] 977*2^1240608-1 is not prime. Res64: 0F5AFEE5179CFD86 Time : 0.0 sec. user=mdettweiler [2013-02-05 21:47:31] 609*2^1240609-1 is not prime. Res64: 2A8080DB99BE56AE Time : 0.0 sec. user=mdettweiler [2013-02-05 21:47:31] 705*2^1240609-1 is not prime. Res64: 748A23BCD321F5B7 Time : 0.0 sec. user=mdettweiler [2013-02-05 22:02:10] 801*2^1240609-1 is not prime. Res64: 93CE86EA9ADD8039 Time : 0.0 sec. user=mdettweiler [2013-02-05 22:02:13] 807*2^1240609-1 is not prime. Res64: 8CB5F0E2E9BDC041 Time : 0.0 sec. user=mdettweiler [2013-02-05 22:04:54] 895*2^1240609-1 is not prime. Res64: 497A58C8166B6696 Time : 0.0 sec. user=mdettweiler [2013-02-05 22:04:55] 919*2^1240609-1 is not prime. Res64: 0D4A26C7776CFB0C Time : 0.0 sec. user=vaughan [2013-02-05 22:19:08] 759*2^1240609-1 is not prime. Res64: 8FE8A73107517DBB Time : 0.0 sec. user=mdettweiler [2013-02-05 22:19:52] 999*2^1240609-1 is not prime. Res64: 69B5C42F38DD5E47 Time : 0.0 sec. user=mdettweiler [2013-02-05 22:19:52] 641*2^1240610-1 is not prime. Res64: 2E96D8FAF2BEE6C6 Time : 0.0 sec. user=mdettweiler [2013-02-05 22:22:30] 645*2^1240610-1 is not prime. Res64: C0746F3656D2840B Time : 0.0 sec. user=mdettweiler [2013-02-05 22:22:30] 657*2^1240610-1 is not prime. Res64: 36E1143F19644E9D Time : 0.0 sec. user=mdettweiler [2013-02-05 22:37:14] 785*2^1240610-1 is not prime. Res64: DF2CBFE7B5AFA2FE Time : 0.0 sec. user=mdettweiler [2013-02-05 22:37:15] 857*2^1240610-1 is not prime. Res64: AA5F3297BFDE868B Time : 0.0 sec. user=mdettweiler [2013-02-05 22:39:52] 945*2^1240610-1 is not prime. Res64: B167A52155E4BFB6 Time : 0.0 sec. user=mdettweiler [2013-02-05 22:39:53] 971*2^1240610-1 is not prime. Res64: 324D785EC04E8E72 Time : 0.0 sec. user=mdettweiler [2013-02-05 22:54:36] 981*2^1240610-1 is not prime. Res64: D21C9789DF88907A Time : 0.0 sec. user=mdettweiler [2013-02-05 22:54:36] 1001*2^1240610-1 is not prime. Res64: 22E549C999345CEA Time : 0.0 sec. user=vaughan [2013-02-05 22:56:52] 665*2^1240610-1 is not prime. Res64: E34142EA7843FE71 Time : 0.0 sec. user=mdettweiler [2013-02-05 22:57:15] 613*2^1240611-1 is not prime. Res64: 0E48143CF3FB8362 Time : 0.0 sec. user=mdettweiler [2013-02-05 22:57:16] 669*2^1240611-1 is not prime. Res64: 6EA8C8D819201B4B Time : 0.0 sec. user=mdettweiler [2013-02-05 23:11:59] 691*2^1240611-1 is not prime. Res64: A5A59110B62B07C6 Time : 0.0 sec. user=mdettweiler [2013-02-05 23:12:00] 849*2^1240611-1 is not prime. Res64: 00981198D53F207A Time : 0.0 sec. user=mdettweiler [2013-02-05 23:14:41] 675*2^1240612-1 is not prime. Res64: 31CC99DA9F642477 Time : 0.0 sec. user=mdettweiler [2013-02-05 23:14:42] 689*2^1240612-1 is not prime. Res64: D4288887058C93A6 Time : 0.0 sec. user=mdettweiler [2013-02-05 23:29:30] 719*2^1240612-1 is not prime. Res64: 584F97FEC95D7BB6 Time : 0.0 sec. user=mdettweiler [2013-02-05 23:29:30] 743*2^1240612-1 is not prime. Res64: 395349D3B5DD6BE0 Time : 0.0 sec. user=mdettweiler [2013-02-05 23:32:10] 735*2^1240613-1 is not prime. Res64: A5E88DA22EF8F2F1 Time : 0.0 sec. user=mdettweiler [2013-02-05 23:32:11] 747*2^1240613-1 is not prime. Res64: 1715F2E29B3642CD Time : 0.0 sec. user=vaughan [2013-02-05 23:34:34] 949*2^1240611-1 is not prime. Res64: 286830F7C84BEB01 Time : 0.0 sec. user=mdettweiler [2013-02-05 23:46:55] 759*2^1240613-1 is not prime. Res64: 3876E1903486EA0D Time : 0.0 sec. user=mdettweiler [2013-02-05 23:46:55] 789*2^1240613-1 is not prime. Res64: EBC4501D339D667B Time : 0.0 sec. user=mdettweiler [2013-02-05 23:49:32] 795*2^1240613-1 is not prime. Res64: 12FCF6373F137DCB Time : 0.0 sec. user=mdettweiler [2013-02-05 23:49:32] 957*2^1240613-1 is not prime. Res64: 927689F0A847BA76 Time : 0.0 sec.