user=mdettweiler [2013-03-12 00:02:36] 743*2^1242506-1 is not prime. Res64: C049B74986D677E9 Time : 0.0 sec. user=mdettweiler [2013-03-12 00:02:37] 747*2^1242506-1 is not prime. Res64: 2D4F1619EA29DA0E Time : 0.0 sec. user=mdettweiler [2013-03-12 00:02:39] 669*2^1242507-1 is not prime. Res64: 01CA9CA27A570ACA Time : 0.0 sec. user=mdettweiler [2013-03-12 00:02:40] 793*2^1242507-1 is not prime. Res64: 75B25CB8DF2B4F90 Time : 0.0 sec. user=juhehe [2013-03-12 00:03:35] 811*2^1242505-1 is not prime. Res64: 735F04DAB2F700C1 Time : 0.0 sec. user=vaughan [2013-03-12 00:09:20] 735*2^1242506-1 is not prime. Res64: 9E23A14E53928EBC Time : 0.0 sec. user=juhehe [2013-03-12 00:19:06] 955*2^1242505-1 is not prime. Res64: BDB99DA6B29F2F77 Time : 0.0 sec. user=mdettweiler [2013-03-12 00:20:10] 819*2^1242507-1 is not prime. Res64: 4087374BE9752077 Time : 0.0 sec. user=mdettweiler [2013-03-12 00:20:11] 617*2^1242508-1 is not prime. Res64: C0DE8187CE67E23A Time : 0.0 sec. user=mdettweiler [2013-03-12 00:20:12] 639*2^1242508-1 is not prime. Res64: 3AE086D52B1387FC Time : 0.0 sec. user=mdettweiler [2013-03-12 00:20:13] 705*2^1242508-1 is not prime. Res64: 4E61B217D0D780A2 Time : 0.0 sec. user=mdettweiler [2013-03-12 00:46:43] 987*2^1242508-1 is not prime. Res64: D11DA42864113C74 Time : 0.0 sec. user=mdettweiler [2013-03-12 00:46:44] 615*2^1242509-1 is not prime. Res64: 464451ABCB01D73C Time : 0.0 sec. user=mdettweiler [2013-03-12 00:46:45] 741*2^1242509-1 is not prime. Res64: D102F877F5CA6ACA Time : 0.0 sec. user=mdettweiler [2013-03-12 00:46:46] 775*2^1242509-1 is not prime. Res64: 777699F0D568BBA6 Time : 0.0 sec. user=vaughan [2013-03-12 00:47:31] 933*2^1242508-1 is not prime. Res64: EA84A0928F215F29 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:04:12] 907*2^1242509-1 is not prime. Res64: E2F7EDDA17BF3393 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:04:13] 713*2^1242510-1 is not prime. Res64: 033F0FA42DBC90F5 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:04:14] 765*2^1242510-1 is not prime. Res64: ABAD2651B30876C7 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:04:16] 845*2^1242510-1 is not prime. Res64: A557A81CB25D4010 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:21:47] 951*2^1242510-1 is not prime. Res64: F368F907E6305311 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:21:48] 603*2^1242511-1 is not prime. Res64: 7356F0FFB31A2CB6 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:21:49] 615*2^1242511-1 is not prime. Res64: 28777EED08C71F2B Time : 0.0 sec. user=mdettweiler [2013-03-12 01:21:49] 621*2^1242511-1 is not prime. Res64: 38598E88804DC6C3 Time : 0.0 sec. user=vaughan [2013-03-12 01:25:39] 851*2^1242510-1 is not prime. Res64: 77196E1401FE5BF8 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:39:19] 735*2^1242511-1 is not prime. Res64: D3F8BD771678FEA8 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:39:20] 843*2^1242511-1 is not prime. Res64: D396D639462E1596 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:39:21] 859*2^1242511-1 is not prime. Res64: E3B60C5EB9D8E06C Time : 0.0 sec. user=mdettweiler [2013-03-12 01:39:22] 943*2^1242511-1 is not prime. Res64: AA7D5C0377DFDC21 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:56:52] 677*2^1242512-1 is not prime. Res64: 76965DF3DDAA3A1F Time : 0.0 sec. user=mdettweiler [2013-03-12 01:56:52] 693*2^1242512-1 is not prime. Res64: 84BD615437B25C72 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:56:53] 923*2^1242512-1 is not prime. Res64: 3102C83F310D11E3 Time : 0.0 sec. user=mdettweiler [2013-03-12 01:56:53] 935*2^1242512-1 is not prime. Res64: DF7650A624E0F0E9 Time : 0.0 sec. user=vaughan [2013-03-12 02:08:54] 961*2^1242511-1 is not prime. Res64: 21AE4FB778CBB1A2 Time : 0.0 sec. user=juhehe [2013-03-12 02:09:53] 703*2^1242511-1 is not prime. Res64: 7C602B5159594A49 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:14:22] 999*2^1242512-1 is not prime. Res64: 13774579BAED4392 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:14:23] 615*2^1242513-1 is not prime. Res64: 0ACD3CFC9EC4AAE7 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:14:25] 685*2^1242513-1 is not prime. Res64: 534A104267380B04 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:14:28] 741*2^1242513-1 is not prime. Res64: 9C111EF82BB5E6E2 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:31:53] 701*2^1242514-1 is not prime. Res64: 082E111367842749 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:31:55] 723*2^1242514-1 is not prime. Res64: 695E541DDDC94D76 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:31:57] 747*2^1242514-1 is not prime. Res64: E1FB7AE7BC82ADDB Time : 0.0 sec. user=mdettweiler [2013-03-12 02:31:58] 825*2^1242514-1 is not prime. Res64: 6DB6227DE73A7F59 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:49:41] 981*2^1242514-1 is not prime. Res64: AA501D65EB2C8FD1 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:49:42] 783*2^1242515-1 is not prime. Res64: 385B32201063FC45 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:49:43] 859*2^1242515-1 is not prime. Res64: 382951D8242FBBD3 Time : 0.0 sec. user=mdettweiler [2013-03-12 02:49:44] 717*2^1242516-1 is not prime. Res64: 87EA369642EF957C Time : 0.0 sec. user=vaughan [2013-03-12 02:52:07] 969*2^1242513-1 is not prime. Res64: 478C4291DDAC0FC8 Time : 0.0 sec. user=mdettweiler [2013-03-12 03:07:17] 765*2^1242516-1 is not prime. Res64: DBDC7B9E6B203430 Time : 0.0 sec. user=mdettweiler [2013-03-12 03:07:19] 615*2^1242517-1 is not prime. Res64: 7CA8D64BBA3F0C99 Time : 0.0 sec. user=mdettweiler [2013-03-12 03:07:20] 871*2^1242517-1 is not prime. Res64: 360E2D2D523F2AE4 Time : 0.0 sec. user=mdettweiler [2013-03-12 03:07:21] 885*2^1242517-1 is not prime. Res64: A896C3D732A12827 Time : 0.0 sec. user=mdettweiler [2013-03-12 03:24:58] 731*2^1242518-1 is not prime. Res64: D090F1B8EE04CAC0 Time : 0.0 sec. user=mdettweiler [2013-03-12 03:24:58] 663*2^1242519-1 is not prime. Res64: 19C427CBD646037F Time : 0.0 sec. user=mdettweiler [2013-03-12 03:24:59] 773*2^1242518-1 is not prime. Res64: B573AD3334C72535 Time : 0.0 sec. user=mdettweiler [2013-03-12 03:24:59] 793*2^1242519-1 is not prime. Res64: CED4F3B7F069D5EC Time : 0.0 sec. user=juhehe [2013-03-12 03:25:55] 857*2^1242514-1 is not prime. Res64: 4C19F1CA884AABDC Time : 0.0 sec. user=vaughan [2013-03-12 03:30:16] 663*2^1242518-1 is not prime. Res64: 22FC2A6B9C85D08F Time : 0.0 sec. user=mdettweiler [2013-03-12 03:42:27] 865*2^1242519-1 is not prime. Res64: 38B7E8BA9084C7ED Time : 0.0 sec. user=mdettweiler [2013-03-12 03:42:28] 951*2^1242519-1 is not prime. Res64: FD431E1E8069A605 Time : 0.0 sec. user=mdettweiler [2013-03-12 03:42:30] 695*2^1242520-1 is not prime. Res64: 4F883408F2C6661A Time : 0.0 sec. user=mdettweiler [2013-03-12 03:42:31] 755*2^1242520-1 is not prime. Res64: 343EBF9A22C79713 Time : 0.0 sec. user=mdettweiler [2013-03-12 03:59:59] 999*2^1242520-1 is not prime. Res64: DCF900759962689C Time : 0.0 sec. user=mdettweiler [2013-03-12 04:00:00] 607*2^1242521-1 is not prime. Res64: 1681844ED28C8979 Time : 0.0 sec. user=mdettweiler [2013-03-12 04:00:02] 741*2^1242521-1 is not prime. Res64: 4D49A48BE1971E2B Time : 0.0 sec. user=mdettweiler [2013-03-12 04:00:03] 747*2^1242521-1 is not prime. Res64: 2CACA28965B92B1A Time : 0.0 sec. user=vaughan [2013-03-12 04:08:26] 803*2^1242520-1 is not prime. Res64: 02D54C56439B4B39 Time : 0.0 sec. user=juhehe [2013-03-12 04:15:02] 859*2^1242519-1 is not prime. Res64: 2F91317986A6B96C Time : 0.0 sec. user=mdettweiler [2013-03-12 04:17:33] 907*2^1242521-1 is not prime. Res64: 8835F11C36711025 Time : 0.0 sec. user=mdettweiler [2013-03-12 04:17:34] 967*2^1242521-1 is not prime. Res64: D39548F0A48D9F3E Time : 0.0 sec. user=mdettweiler [2013-03-12 04:17:36] 657*2^1242522-1 is not prime. Res64: E58019C2F4C6E438 Time : 0.0 sec. user=mdettweiler [2013-03-12 04:17:36] 711*2^1242522-1 is not prime. Res64: 1B39ACFB2235AAD5 Time : 0.0 sec. user=juhehe [2013-03-12 04:23:20] 927*2^1242520-1 is not prime. Res64: F92451AEC92CB04B Time : 0.0 sec. user=mdettweiler [2013-03-12 04:35:04] 873*2^1242522-1 is not prime. Res64: 07B8481EE595B250 Time : 0.0 sec. user=mdettweiler [2013-03-12 04:35:05] 957*2^1242522-1 is not prime. Res64: FC6AFF0DC2174A5B Time : 0.0 sec. user=mdettweiler [2013-03-12 04:35:07] 1001*2^1242522-1 is not prime. Res64: A6864EE15F5CD292 Time : 0.0 sec. user=mdettweiler [2013-03-12 04:35:08] 735*2^1242523-1 is not prime. Res64: D5B9CF4249A6979E Time : 0.0 sec. user=juhehe [2013-03-12 04:40:55] 741*2^1242523-1 is not prime. Res64: BB5C5AEBF2D700BF Time : 0.0 sec. user=vaughan [2013-03-12 04:46:36] 725*2^1242522-1 is not prime. Res64: 6DF82F5ACE67B868 Time : 0.0 sec. user=mdettweiler [2013-03-12 04:52:36] 951*2^1242523-1 is not prime. Res64: A9DE5B2FFA6B8AF3 Time : 0.0 sec. user=mdettweiler [2013-03-12 04:52:37] 609*2^1242524-1 is not prime. Res64: A3CE38F1DC412C20 Time : 0.0 sec. user=mdettweiler [2013-03-12 04:52:38] 635*2^1242524-1 is not prime. Res64: 14211310B8DF04F0 Time : 0.0 sec. user=mdettweiler [2013-03-12 04:52:39] 795*2^1242524-1 is not prime. Res64: 2081032FF85D05FF Time : 0.0 sec. user=juhehe [2013-03-12 05:01:33] 819*2^1242524-1 is not prime. Res64: CA95898DC776E427 Time : 0.0 sec. user=mdettweiler [2013-03-12 05:10:07] 935*2^1242524-1 is not prime. Res64: 3F24BC8F0D5E7BEE Time : 0.0 sec. user=mdettweiler [2013-03-12 05:10:08] 765*2^1242525-1 is not prime. Res64: 77965FC5BA6A9026 Time : 0.0 sec. user=mdettweiler [2013-03-12 05:10:08] 795*2^1242525-1 is not prime. Res64: F62603AFA54FBA0F Time : 0.0 sec. user=mdettweiler [2013-03-12 05:10:09] 657*2^1242526-1 is not prime. Res64: E4B2485CB8FDACA1 Time : 0.0 sec. user=juhehe [2013-03-12 05:22:10] 777*2^1242526-1 is not prime. Res64: 9AE8B3F0718A341D Time : 0.0 sec. user=vaughan [2013-03-12 05:24:49] 893*2^1242524-1 is not prime. Res64: 09B5CD09FDD48002 Time : 0.0 sec. user=mdettweiler [2013-03-12 05:27:38] 897*2^1242526-1 is not prime. Res64: 363072E3702E1A15 Time : 0.0 sec. user=mdettweiler [2013-03-12 05:27:39] 923*2^1242526-1 is not prime. Res64: 6AFFBE8C4FC888D9 Time : 0.0 sec. user=mdettweiler [2013-03-12 05:27:41] 693*2^1242527-1 is not prime. Res64: 630F002CFA598167 Time : 0.0 sec. user=mdettweiler [2013-03-12 05:27:44] 705*2^1242527-1 is not prime. Res64: A85A2AD9B86F3FC3 Time : 0.0 sec. user=juhehe [2013-03-12 05:31:49] 771*2^1242523-1 is not prime. Res64: 117F32E210A99CF8 Time : 0.0 sec. user=juhehe [2013-03-12 05:42:46] 909*2^1242527-1 is not prime. Res64: 72C84C05C2716ED7 Time : 0.0 sec. user=mdettweiler [2013-03-12 05:45:09] 979*2^1242527-1 is not prime. Res64: DA2B88B720098A59 Time : 0.0 sec. user=mdettweiler [2013-03-12 05:45:10] 605*2^1242528-1 is not prime. Res64: D8DC78A57E99563B Time : 0.0 sec. user=mdettweiler [2013-03-12 05:45:12] 615*2^1242528-1 is not prime. Res64: D2DE5587D1F0C7C7 Time : 0.0 sec. user=mdettweiler [2013-03-12 05:45:14] 635*2^1242528-1 is not prime. Res64: 5F6AB28A08C74AAA Time : 0.0 sec. user=mdettweiler [2013-03-12 06:02:40] 705*2^1242528-1 is not prime. Res64: 0257FB03D8442EE9 Time : 0.0 sec. user=mdettweiler [2013-03-12 06:02:41] 875*2^1242528-1 is not prime. Res64: 6D7D82C136FA077F Time : 0.0 sec. user=mdettweiler [2013-03-12 06:02:43] 945*2^1242528-1 is not prime. Res64: FD9944F92F74E430 Time : 0.0 sec. user=mdettweiler [2013-03-12 06:02:44] 637*2^1242529-1 is not prime. Res64: 6F2BA91FBF26A9B8 Time : 0.0 sec. user=vaughan [2013-03-12 06:02:57] 949*2^1242527-1 is not prime. Res64: 04266F5E3AED24CA Time : 0.0 sec. user=juhehe [2013-03-12 06:03:22] 683*2^1242528-1 is not prime. Res64: D068CE7CE33F9AB4 Time : 0.0 sec. user=mdettweiler [2013-03-12 06:20:13] 831*2^1242529-1 is not prime. Res64: F5FBB64221DDCAFC Time : 0.0 sec. user=mdettweiler [2013-03-12 06:20:14] 861*2^1242529-1 is not prime. Res64: 931536C1AFF709A1 Time : 0.0 sec. user=mdettweiler [2013-03-12 06:20:18] 897*2^1242529-1 is not prime. Res64: B372EF7EFA72E58A Time : 0.0 sec. user=mdettweiler [2013-03-12 06:20:19] 909*2^1242529-1 is not prime. Res64: C21F3BAC0FA84C55 Time : 0.0 sec. user=juhehe [2013-03-12 06:21:46] 885*2^1242527-1 is not prime. Res64: B4AB39A8D6E5470C Time : 0.0 sec. user=juhehe [2013-03-12 06:24:00] 633*2^1242530-1 is not prime. Res64: 0D8C167F52F29139 Time : 0.0 sec. user=mdettweiler [2013-03-12 06:37:44] 675*2^1242530-1 is not prime. Res64: F527B08C741229DD Time : 0.0 sec. user=mdettweiler [2013-03-12 06:37:45] 845*2^1242530-1 is not prime. Res64: 101E261569B29149 Time : 0.0 sec. user=mdettweiler [2013-03-12 06:37:48] 887*2^1242530-1 is not prime. Res64: 6DF69D0F769A44BA Time : 0.0 sec. user=mdettweiler [2013-03-12 06:37:49] 601*2^1242531-1 is not prime. Res64: 4581AD7D9A495EE0 Time : 0.0 sec. user=vaughan [2013-03-12 06:41:02] 623*2^1242530-1 is not prime. Res64: 336F1579A69D8ED8 Time : 0.0 sec. user=juhehe [2013-03-12 06:44:35] 885*2^1242531-1 is not prime. Res64: FEB3870F18851280 Time : 0.0 sec. user=mdettweiler [2013-03-12 06:55:13] 943*2^1242531-1 is not prime. Res64: 36F176A42EDB1145 Time : 0.0 sec. user=mdettweiler [2013-03-12 06:55:14] 635*2^1242532-1 is not prime. Res64: 0E9BB2E085ADF850 Time : 0.0 sec. user=mdettweiler [2013-03-12 06:55:17] 855*2^1242532-1 is not prime. Res64: A8E0FA002E6B29FC Time : 0.0 sec. user=mdettweiler [2013-03-12 06:55:17] 947*2^1242532-1 is not prime. Res64: 7593C2B46B735FDF Time : 0.0 sec. user=juhehe [2013-03-12 07:05:13] 747*2^1242533-1 is not prime. Res64: 3BD42C0AF3A35A6E Time : 0.0 sec. user=mdettweiler [2013-03-12 07:12:40] 897*2^1242533-1 is not prime. Res64: 7DBC36C03849F2E8 Time : 0.0 sec. user=mdettweiler [2013-03-12 07:12:41] 705*2^1242534-1 is not prime. Res64: C919E51EE3658A87 Time : 0.0 sec. user=mdettweiler [2013-03-12 07:12:41] 747*2^1242534-1 is not prime. Res64: B010920936E1EE42 Time : 0.0 sec. user=mdettweiler [2013-03-12 07:12:42] 795*2^1242534-1 is not prime. Res64: 48C63FEF7F432DE6 Time : 0.0 sec. user=vaughan [2013-03-12 07:24:13] 975*2^1242532-1 is not prime. Res64: EC9718026D0E745D Time : 0.0 sec. user=juhehe [2013-03-12 07:25:50] 797*2^1242534-1 is not prime. Res64: DBE084BFCFE4F4EB Time : 0.0 sec. user=mdettweiler [2013-03-12 07:30:07] 633*2^1242535-1 is not prime. Res64: 7A661822D2C5CDA4 Time : 0.0 sec. user=mdettweiler [2013-03-12 07:30:07] 651*2^1242535-1 is not prime. Res64: 8EA26B65A2E756E9 Time : 0.0 sec. user=mdettweiler [2013-03-12 07:30:07] 825*2^1242534-1 is not prime. Res64: DF8A9C5087806CAA Time : 0.0 sec. user=mdettweiler [2013-03-12 07:30:08] 975*2^1242534-1 is not prime. Res64: F2F1BB1068EB12F1 Time : 0.0 sec. user=juhehe [2013-03-12 07:38:01] 901*2^1242531-1 is not prime. Res64: F79D5EE226E405A1 Time : 0.0 sec. user=juhehe [2013-03-12 07:46:27] 793*2^1242535-1 is not prime. Res64: 013385ECCEA1CF26 Time : 0.0 sec. user=mdettweiler [2013-03-12 07:47:30] 871*2^1242535-1 is not prime. Res64: 625D2CAFBB6CC409 Time : 0.0 sec. user=mdettweiler [2013-03-12 07:47:31] 885*2^1242535-1 is not prime. Res64: 66CCF0D52795A9BC Time : 0.0 sec. user=mdettweiler [2013-03-12 07:47:32] 677*2^1242536-1 is not prime. Res64: 25350EA67DACB17C Time : 0.0 sec. user=mdettweiler [2013-03-12 07:47:32] 789*2^1242536-1 is not prime. Res64: 66403DB744C47D6C Time : 0.0 sec. user=vaughan [2013-03-12 08:02:20] 705*2^1242535-1 is not prime. Res64: C1A1D2441C878627 Time : 0.0 sec. user=mdettweiler [2013-03-12 08:04:53] 923*2^1242536-1 is not prime. Res64: F6C57C8AB7CEC0B3 Time : 0.0 sec. user=mdettweiler [2013-03-12 08:04:54] 927*2^1242536-1 is not prime. Res64: 23970E7CF7B32023 Time : 0.0 sec. user=mdettweiler [2013-03-12 08:04:55] 963*2^1242536-1 is not prime. Res64: 471844BD4341A109 Time : 0.0 sec. user=mdettweiler [2013-03-12 08:04:57] 769*2^1242537-1 is not prime. Res64: 788D76A93D794522 Time : 0.0 sec. user=juhehe [2013-03-12 08:07:05] 869*2^1242536-1 is not prime. Res64: 9EA210F14D8F1EA4 Time : 0.0 sec. user=mdettweiler [2013-03-12 08:22:18] 617*2^1242538-1 is not prime. Res64: D21DD32A02B777C3 Time : 0.0 sec. user=mdettweiler [2013-03-12 08:22:19] 621*2^1242538-1 is not prime. Res64: 0568DE4E802F6150 Time : 0.0 sec. user=mdettweiler [2013-03-12 08:22:20] 665*2^1242538-1 is not prime. Res64: E82B94911DEC46BF Time : 0.0 sec. user=mdettweiler [2013-03-12 08:22:21] 681*2^1242538-1 is not prime. Res64: 3D664E1E27C79809 Time : 0.0 sec. user=juhehe [2013-03-12 08:27:05] 789*2^1242535-1 is not prime. Res64: 75CBDC330DF32D1E Time : 0.0 sec. user=juhehe [2013-03-12 08:29:40] 803*2^1242538-1 is not prime. Res64: A1434803F221C29C Time : 0.0 sec. user=mdettweiler [2013-03-12 08:39:42] 975*2^1242538-1 is not prime. Res64: 6AFD900DC6A559DB Time : 0.0 sec. user=mdettweiler [2013-03-12 08:39:42] 619*2^1242539-1 is not prime. Res64: 006BAD1CF9D4B38D Time : 0.0 sec. user=mdettweiler [2013-03-12 08:39:44] 645*2^1242539-1 is not prime. Res64: 2A8BBA495DA6979D Time : 0.0 sec. user=mdettweiler [2013-03-12 08:39:45] 703*2^1242539-1 is not prime. Res64: C1D300FB701C7B7F Time : 0.0 sec. user=vaughan [2013-03-12 08:40:40] 861*2^1242537-1 is not prime. Res64: 23A08F621E5F1C34 Time : 0.0 sec. user=juhehe [2013-03-12 08:50:49] 753*2^1242539-1 is not prime. Res64: AF4B6C3D578A9F94 Time : 0.0 sec. user=mdettweiler [2013-03-12 08:57:04] 811*2^1242539-1 is not prime. Res64: 38A441D6A050358C Time : 0.0 sec. user=mdettweiler [2013-03-12 08:57:05] 823*2^1242539-1 is not prime. Res64: 3A43F730312ADBFB Time : 0.0 sec. user=mdettweiler [2013-03-12 08:57:07] 985*2^1242539-1 is not prime. Res64: 481F4557DE32D4D3 Time : 0.0 sec. user=mdettweiler [2013-03-12 08:57:07] 993*2^1242539-1 is not prime. Res64: 4CD7D835C965267A Time : 0.0 sec. user=juhehe [2013-03-12 09:11:46] 737*2^1242540-1 is not prime. Res64: A4E001CA484D305E Time : 0.0 sec. user=mdettweiler [2013-03-12 09:14:28] 753*2^1242540-1 is not prime. Res64: 6EB77BC57FC88AAD Time : 0.0 sec. user=mdettweiler [2013-03-12 09:14:29] 767*2^1242540-1 is not prime. Res64: CC7A38CCE2B60A07 Time : 0.0 sec. user=mdettweiler [2013-03-12 09:14:30] 777*2^1242540-1 is not prime. Res64: 9195F76717B4F083 Time : 0.0 sec. user=mdettweiler [2013-03-12 09:14:31] 839*2^1242540-1 is not prime. Res64: 2E8748BCFA57687A Time : 0.0 sec. user=vaughan [2013-03-12 09:18:47] 717*2^1242540-1 is not prime. Res64: B6DC74684CB0A35B Time : 0.0 sec. user=mdettweiler [2013-03-12 09:31:52] 929*2^1242540-1 is not prime. Res64: 702C76674501D50B Time : 0.0 sec. user=mdettweiler [2013-03-12 09:31:52] 933*2^1242540-1 is not prime. Res64: B0385BA84C15AC71 Time : 0.0 sec. user=mdettweiler [2013-03-12 09:31:55] 687*2^1242541-1 is not prime. Res64: C34CFD0D922A2E43 Time : 0.0 sec. user=mdettweiler [2013-03-12 09:31:55] 715*2^1242541-1 is not prime. Res64: B7A9EE28B2A1B0F8 Time : 0.0 sec. user=juhehe [2013-03-12 09:32:43] 905*2^1242540-1 is not prime. Res64: CD9638866744A120 Time : 0.0 sec. user=juhehe [2013-03-12 09:39:57] 789*2^1242539-1 is not prime. Res64: 4E6A14FA34ECD2D1 Time : 0.0 sec. user=juhehe [2013-03-12 09:48:08] 843*2^1242540-1 is not prime. Res64: 7DD2E7A11FF0949B Time : 0.0 sec. user=mdettweiler [2013-03-12 09:49:16] 871*2^1242541-1 is not prime. Res64: 607E9413DC14CF84 Time : 0.0 sec. user=mdettweiler [2013-03-12 09:49:17] 895*2^1242541-1 is not prime. Res64: C4228BE346F8F58E Time : 0.0 sec. user=mdettweiler [2013-03-12 09:49:19] 939*2^1242541-1 is not prime. Res64: BA2A843461335D59 Time : 0.0 sec. user=mdettweiler [2013-03-12 09:49:19] 875*2^1242542-1 is not prime. Res64: 5DF815F10A0AB3F4 Time : 0.0 sec. user=juhehe [2013-03-12 09:53:10] 923*2^1242542-1 is not prime. Res64: A29F7172762E730A Time : 0.0 sec. user=vaughan [2013-03-12 09:56:54] 835*2^1242541-1 is not prime. Res64: 8552034712DB270F Time : 0.0 sec. user=mdettweiler [2013-03-12 10:06:39] 957*2^1242542-1 is not prime. Res64: 7D219BCAE1BA3A0A Time : 0.0 sec. user=mdettweiler [2013-03-12 10:06:40] 963*2^1242542-1 is not prime. Res64: A982757AE5A495F1 Time : 0.0 sec. user=mdettweiler [2013-03-12 10:06:43] 965*2^1242542-1 is not prime. Res64: 8C09B689FD5EAE4D Time : 0.0 sec. user=mdettweiler [2013-03-12 10:06:44] 981*2^1242542-1 is not prime. Res64: A936064F5AF8137B Time : 0.0 sec. user=mdettweiler [2013-03-12 10:24:09] 825*2^1242543-1 is not prime. Res64: 95BBF083AF877B8A Time : 0.0 sec. user=mdettweiler [2013-03-12 10:24:09] 873*2^1242543-1 is not prime. Res64: 87211C50C0B1FA4D Time : 0.0 sec. user=mdettweiler [2013-03-12 10:24:09] 919*2^1242543-1 is not prime. Res64: D531B757D01276D8 Time : 0.0 sec. user=mdettweiler [2013-03-12 10:24:10] 609*2^1242544-1 is not prime. Res64: E90278A3C80C877F Time : 0.0 sec. user=juhehe [2013-03-12 10:30:43] 849*2^1242541-1 is not prime. Res64: B3C74ADDEAFDF2F6 Time : 0.0 sec. user=juhehe [2013-03-12 10:31:33] 951*2^1242542-1 is not prime. Res64: B611C814E583E448 Time : 0.0 sec. user=vaughan [2013-03-12 10:35:02] 795*2^1242543-1 is not prime. Res64: A8A87C376C97A7F5 Time : 0.0 sec. user=mdettweiler [2013-03-12 10:41:33] 723*2^1242544-1 is not prime. Res64: 4037FE84BAD51A4A Time : 0.0 sec. user=mdettweiler [2013-03-12 10:41:33] 765*2^1242544-1 is not prime. Res64: 6DE2202C775632CA Time : 0.0 sec. user=mdettweiler [2013-03-12 10:41:34] 843*2^1242544-1 is not prime. Res64: C35E30FE79268945 Time : 0.0 sec. user=mdettweiler [2013-03-12 10:41:34] 855*2^1242544-1 is not prime. Res64: B1F6F36DB0A3C7CA Time : 0.0 sec. user=mdettweiler [2013-03-12 10:58:57] 889*2^1242545-1 is not prime. Res64: 5DC66DB049729256 Time : 0.0 sec. user=mdettweiler [2013-03-12 10:58:57] 705*2^1242545-1 is not prime. Res64: C47F657568E6145A Time : 0.0 sec. user=mdettweiler [2013-03-12 10:58:57] 907*2^1242545-1 is not prime. Res64: 846D9E973E20073A Time : 0.0 sec. user=mdettweiler [2013-03-12 10:58:58] 865*2^1242545-1 is not prime. Res64: 9C194A5358F99F4A Time : 0.0 sec. user=vaughan [2013-03-12 11:13:09] 875*2^1242544-1 is not prime. Res64: 55890B9BEB6036DC Time : 0.0 sec. user=mdettweiler [2013-03-12 11:16:22] 955*2^1242545-1 is not prime. Res64: 7B5BCE7572E955C3 Time : 0.0 sec. user=mdettweiler [2013-03-12 11:16:22] 741*2^1242546-1 is not prime. Res64: D82167B4D5D52B36 Time : 0.0 sec. user=mdettweiler [2013-03-12 11:16:22] 633*2^1242546-1 is not prime. Res64: B5BB3346C728CBDC Time : 0.0 sec. user=mdettweiler [2013-03-12 11:16:22] 747*2^1242546-1 is not prime. Res64: FA6A1B6579F6FD14 Time : 0.0 sec. user=mdettweiler [2013-03-12 11:33:57] 971*2^1242546-1 is not prime. Res64: 07BB4B60502CD7A2 Time : 0.0 sec. user=mdettweiler [2013-03-12 11:33:57] 615*2^1242547-1 is not prime. Res64: 08EC31D97AEF0293 Time : 0.0 sec. user=mdettweiler [2013-03-12 11:33:58] 621*2^1242547-1 is not prime. Res64: 018AFDEB7888F0F3 Time : 0.0 sec. user=mdettweiler [2013-03-12 11:33:58] 633*2^1242547-1 is not prime. Res64: 3C975B4D5F18C466 Time : 0.0 sec. user=vaughan [2013-03-12 11:51:20] 801*2^1242546-1 is not prime. Res64: F0A997FA22BDDEAF Time : 0.0 sec. user=mdettweiler [2013-03-12 11:51:34] 871*2^1242547-1 is not prime. Res64: 761A8626CD1A7517 Time : 0.0 sec. user=mdettweiler [2013-03-12 11:51:34] 891*2^1242547-1 is not prime. Res64: A26FE623DC8DCF11 Time : 0.0 sec. user=mdettweiler [2013-03-12 11:51:35] 705*2^1242547-1 is not prime. Res64: 931677E0026A3350 Time : 0.0 sec. user=mdettweiler [2013-03-12 11:51:35] 793*2^1242547-1 is not prime. Res64: 152DE004FBCD35C8 Time : 0.0 sec. user=juhehe [2013-03-12 11:52:28] 965*2^1242544-1 is not prime. Res64: F0BB270E3353FF4E Time : 0.0 sec. user=mdettweiler [2013-03-12 12:09:10] 819*2^1242548-1 is not prime. Res64: 4BE9E982982BD7A8 Time : 0.0 sec. user=mdettweiler [2013-03-12 12:09:10] 975*2^1242547-1 is not prime. Res64: D7EF060D332413F5 Time : 0.0 sec. user=mdettweiler [2013-03-12 12:09:11] 867*2^1242548-1 is not prime. Res64: 46A7D638AB3A1D5B Time : 0.0 sec. user=mdettweiler [2013-03-12 12:09:11] 773*2^1242548-1 is not prime. Res64: 4B1730353D4F2D0F Time : 0.0 sec. user=juhehe [2013-03-12 12:16:25] 765*2^1242543-1 is not prime. Res64: DF94F75C51A1468C Time : 0.0 sec. user=juhehe [2013-03-12 12:21:02] 909*2^1242547-1 is not prime. Res64: 728A86BB8626646A Time : 0.0 sec. user=mdettweiler [2013-03-12 12:26:53] 875*2^1242548-1 is not prime. Res64: 039D3F1237859DC7 Time : 0.0 sec. user=mdettweiler [2013-03-12 12:26:53] 927*2^1242548-1 is not prime. Res64: 269197874BA7F3C4 Time : 0.0 sec. user=mdettweiler [2013-03-12 12:26:53] 935*2^1242548-1 is not prime. Res64: 90909E66E4321D48 Time : 0.0 sec. user=mdettweiler [2013-03-12 12:26:53] 959*2^1242548-1 is not prime. Res64: F2E6B2FF80D20A0D Time : 0.0 sec. user=vaughan [2013-03-12 12:29:26] 915*2^1242547-1 is not prime. Res64: BD17A3A2C7D3A1A2 Time : 0.0 sec. user=juhehe [2013-03-12 12:36:09] 645*2^1242547-1 is not prime. Res64: 13FDE9960B87B070 Time : 0.0 sec. user=mdettweiler [2013-03-12 12:44:27] 747*2^1242549-1 is not prime. Res64: 06FDA12735B8B36E Time : 0.0 sec. user=mdettweiler [2013-03-12 12:44:27] 765*2^1242549-1 is not prime. Res64: 52B89DB6387B8C13 Time : 0.0 sec. user=mdettweiler [2013-03-12 12:44:28] 811*2^1242549-1 is not prime. Res64: DA060ABD2BBBCC6B Time : 0.0 sec. user=mdettweiler [2013-03-12 12:44:29] 885*2^1242549-1 is not prime. Res64: 73088E1AD9B29F9C Time : 0.0 sec. user=mdettweiler [2013-03-12 13:02:17] 999*2^1242549-1 is not prime. Res64: B611919DA8126DE2 Time : 0.0 sec. user=mdettweiler [2013-03-12 13:02:18] 647*2^1242550-1 is not prime. Res64: 4C7A5931BC46E2D3 Time : 0.0 sec. user=mdettweiler [2013-03-12 13:02:18] 747*2^1242550-1 is not prime. Res64: 98CF408F8D1C3222 Time : 0.0 sec. user=mdettweiler [2013-03-12 13:02:19] 765*2^1242550-1 is not prime. Res64: 200E252660598756 Time : 0.0 sec. user=juhehe [2013-03-12 13:06:20] 745*2^1242549-1 is not prime. Res64: 41CE93EEAE0FE8E6 Time : 0.0 sec. user=vaughan [2013-03-12 13:12:41] 975*2^1242549-1 is not prime. Res64: 73ED0716AC94D1EF Time : 0.0 sec. user=mdettweiler [2013-03-12 13:20:10] 813*2^1242550-1 is not prime. Res64: AB6368BC286631CD Time : 0.0 sec. user=mdettweiler [2013-03-12 13:20:10] 885*2^1242550-1 is not prime. Res64: 9FC347622DC8416E Time : 0.0 sec. user=mdettweiler [2013-03-12 13:20:14] 615*2^1242551-1 is not prime. Res64: 64DF6D0EB4C76DBD Time : 0.0 sec. user=mdettweiler [2013-03-12 13:20:14] 703*2^1242551-1 is not prime. Res64: C3612068CF4198C9 Time : 0.0 sec. user=mdettweiler [2013-03-12 13:38:01] 885*2^1242551-1 is not prime. Res64: 6222FF91474F665E Time : 0.0 sec. user=mdettweiler [2013-03-12 13:38:02] 939*2^1242551-1 is not prime. Res64: E58A01A4161A1D12 Time : 0.0 sec. user=mdettweiler [2013-03-12 13:38:05] 943*2^1242551-1 is not prime. Res64: 8DF714F65915E006 Time : 0.0 sec. user=mdettweiler [2013-03-12 13:38:06] 999*2^1242551-1 is not prime. Res64: 0FA22C9C7E2451A8 Time : 0.0 sec. user=vaughan [2013-03-12 13:51:02] 825*2^1242551-1 is not prime. Res64: F3D51EBFB04DB33D Time : 0.0 sec. user=juhehe [2013-03-12 13:52:22] 775*2^1242551-1 is not prime. Res64: 317F190B50842F56 Time : 0.0 sec. user=mdettweiler [2013-03-12 13:55:52] 837*2^1242552-1 is not prime. Res64: F5015D8A3E8D5CD2 Time : 0.0 sec. user=mdettweiler [2013-03-12 13:55:53] 873*2^1242552-1 is not prime. Res64: ABF80FCCCF1A254C Time : 0.0 sec. user=mdettweiler [2013-03-12 13:55:56] 899*2^1242552-1 is not prime. Res64: 2F0768A546718437 Time : 0.0 sec. user=mdettweiler [2013-03-12 13:55:56] 609*2^1242553-1 is not prime. Res64: ABDEF8D9C349508C Time : 0.0 sec. user=juhehe [2013-03-12 13:57:23] 783*2^1242550-1 is not prime. Res64: 234786F9B64D73CE Time : 0.0 sec. user=mdettweiler [2013-03-12 14:13:28] 877*2^1242553-1 is not prime. Res64: 00294FFDCE1BB93B Time : 0.0 sec. user=mdettweiler [2013-03-12 14:13:29] 919*2^1242553-1 is not prime. Res64: 5FCE41DB4D67BE60 Time : 0.0 sec. user=mdettweiler [2013-03-12 14:13:35] 945*2^1242553-1 is not prime. Res64: 16D804FBA8212264 Time : 0.0 sec. user=mdettweiler [2013-03-12 14:13:36] 985*2^1242553-1 is not prime. Res64: 6F2464632CC6DE26 Time : 0.0 sec. user=vaughan [2013-03-12 14:29:12] 685*2^1242553-1 is not prime. Res64: 97436B4ADE3E9451 Time : 0.0 sec. user=mdettweiler [2013-03-12 14:31:05] 641*2^1242554-1 is not prime. Res64: 033970B4EF7E4920 Time : 0.0 sec. user=mdettweiler [2013-03-12 14:31:05] 677*2^1242554-1 is not prime. Res64: C28989AAFC10C1B2 Time : 0.0 sec. user=mdettweiler [2013-03-12 14:31:09] 711*2^1242554-1 is not prime. Res64: C554797C764ACA4C Time : 0.0 sec. user=mdettweiler [2013-03-12 14:31:09] 791*2^1242554-1 is not prime. Res64: 4BE3A51AE91418AE Time : 0.0 sec. user=juhehe [2013-03-12 14:36:32] 789*2^1242553-1 is not prime. Res64: A386655DF1AD96D1 Time : 0.0 sec. user=juhehe [2013-03-12 14:41:14] 627*2^1242552-1 is not prime. Res64: 0AE42D906CD52B05 Time : 0.0 sec. user=mdettweiler [2013-03-12 14:48:39] 853*2^1242555-1 is not prime. Res64: DCDFE5EBC0E16011 Time : 0.0 sec. user=mdettweiler [2013-03-12 14:48:40] 871*2^1242555-1 is not prime. Res64: 5142F3A8D128696E Time : 0.0 sec. user=mdettweiler [2013-03-12 14:48:42] 985*2^1242555-1 is not prime. Res64: CC176E9BA456207E Time : 0.0 sec. user=mdettweiler [2013-03-12 14:48:42] 663*2^1242556-1 is not prime. Res64: 38D7B1689F41BA02 Time : 0.0 sec. user=mdettweiler [2013-03-12 15:06:16] 719*2^1242556-1 is not prime. Res64: 37BB8515A9E7010D Time : 0.0 sec. user=mdettweiler [2013-03-12 15:06:17] 749*2^1242556-1 is not prime. Res64: FCA3E719CB3E2798 Time : 0.0 sec. user=mdettweiler [2013-03-12 15:06:19] 803*2^1242556-1 is not prime. Res64: 25BDE5A41192D9DC Time : 0.0 sec. user=mdettweiler [2013-03-12 15:06:20] 857*2^1242556-1 is not prime. Res64: 0BB93C4BE2D169B1 Time : 0.0 sec. user=vaughan [2013-03-12 15:07:22] 663*2^1242555-1 is not prime. Res64: FC64239C9445DDDB Time : 0.0 sec. user=juhehe [2013-03-12 15:19:19] 675*2^1242556-1 is not prime. Res64: 995500A1A785A241 Time : 0.0 sec. user=mdettweiler [2013-03-12 15:24:30] 989*2^1242556-1 is not prime. Res64: 0EDF84E330275036 Time : 0.0 sec. user=mdettweiler [2013-03-12 15:24:30] 651*2^1242557-1 is not prime. Res64: D08F493D5029FD1D Time : 0.0 sec. user=mdettweiler [2013-03-12 15:24:33] 685*2^1242557-1 is not prime. Res64: F334CC5EF3C66E51 Time : 0.0 sec. user=mdettweiler [2013-03-12 15:24:33] 795*2^1242557-1 is not prime. Res64: 4717990D30B5B15D Time : 0.0 sec. user=mdettweiler [2013-03-12 15:42:20] 711*2^1242558-1 is not prime. Res64: DB33BD559C7081AE Time : 0.0 sec. user=mdettweiler [2013-03-12 15:42:20] 801*2^1242558-1 is not prime. Res64: 1E27C94ED0B2A8E0 Time : 0.0 sec. user=mdettweiler [2013-03-12 15:42:22] 861*2^1242558-1 is not prime. Res64: AE345663DE3EE541 Time : 0.0 sec. user=mdettweiler [2013-03-12 15:42:23] 941*2^1242558-1 is not prime. Res64: 8AE2F0FA139F5B47 Time : 0.0 sec. user=vaughan [2013-03-12 15:45:35] 683*2^1242558-1 is not prime. Res64: C43241C4BB1241C8 Time : 0.0 sec. user=mdettweiler [2013-03-12 15:59:57] 709*2^1242559-1 is not prime. Res64: 7CD3C9CD561EB017 Time : 0.0 sec. user=mdettweiler [2013-03-12 15:59:57] 769*2^1242559-1 is not prime. Res64: A9E7376D9791F208 Time : 0.0 sec. user=mdettweiler [2013-03-12 15:59:59] 793*2^1242559-1 is not prime. Res64: C6B73822B481A96E Time : 0.0 sec. user=mdettweiler [2013-03-12 15:59:59] 813*2^1242559-1 is not prime. Res64: 2EF02C5B78875C75 Time : 0.0 sec. user=juhehe [2013-03-12 16:03:11] 909*2^1242556-1 is not prime. Res64: 330B5130242EFED3 Time : 0.0 sec. user=mdettweiler [2013-03-12 16:17:32] 961*2^1242559-1 is not prime. Res64: 12DA96E0041B3F84 Time : 0.0 sec. user=mdettweiler [2013-03-12 16:17:33] 975*2^1242559-1 is not prime. Res64: 10F2A41CB9B48CDD Time : 0.0 sec. user=mdettweiler [2013-03-12 16:17:35] 677*2^1242560-1 is not prime. Res64: 4F690DDA8B0E8712 Time : 0.0 sec. user=mdettweiler [2013-03-12 16:17:36] 767*2^1242560-1 is not prime. Res64: 477B5AF779344D0D Time : 0.0 sec. user=vaughan [2013-03-12 16:23:42] 931*2^1242559-1 is not prime. Res64: 016D03C2BB707625 Time : 0.0 sec. user=mdettweiler [2013-03-12 16:35:06] 789*2^1242560-1 is not prime. Res64: 1669D83094F468F8 Time : 0.0 sec. user=mdettweiler [2013-03-12 16:35:06] 827*2^1242560-1 is not prime. Res64: 8DA77FDA517D4D88 Time : 0.0 sec. user=mdettweiler [2013-03-12 16:35:07] 833*2^1242560-1 is not prime. Res64: EC5B682B77E4DA9B Time : 0.0 sec. user=mdettweiler [2013-03-12 16:35:07] 607*2^1242561-1 is not prime. Res64: 2A6447052E390881 Time : 0.0 sec. user=juhehe [2013-03-12 16:45:41] 895*2^1242559-1 is not prime. Res64: 0FF9119AF0B24E98 Time : 0.0 sec. user=mdettweiler [2013-03-12 16:52:37] 691*2^1242561-1 is not prime. Res64: 9EE02D405776769A Time : 0.0 sec. user=mdettweiler [2013-03-12 16:52:37] 871*2^1242561-1 is not prime. Res64: E79F53187A6EC514 Time : 0.0 sec. user=mdettweiler [2013-03-12 16:52:38] 635*2^1242562-1 is not prime. Res64: CE1661E03640914F Time : 0.0 sec. user=mdettweiler [2013-03-12 16:52:39] 651*2^1242562-1 is not prime. Res64: 8F0FF8FB98A3B3AC Time : 0.0 sec. user=vaughan [2013-03-12 17:01:50] 627*2^1242561-1 is not prime. Res64: 68BB306B968D9037 Time : 0.0 sec. user=mdettweiler [2013-03-12 17:10:07] 677*2^1242562-1 is not prime. Res64: 40663FFE91768336 Time : 0.0 sec. user=mdettweiler [2013-03-12 17:10:08] 731*2^1242562-1 is not prime. Res64: 119B3FFCDF29B58A Time : 0.0 sec. user=mdettweiler [2013-03-12 17:10:09] 873*2^1242562-1 is not prime. Res64: 26F2366CE8EFAED8 Time : 0.0 sec. user=mdettweiler [2013-03-12 17:10:10] 823*2^1242563-1 is not prime. Res64: C98DE23AE1AAFC27 Time : 0.0 sec. user=mdettweiler [2013-03-12 17:27:38] 759*2^1242564-1 is not prime. Res64: 99E7ADB46E415720 Time : 0.0 sec. user=mdettweiler [2013-03-12 17:27:39] 875*2^1242564-1 is not prime. Res64: 98437062AC2F1CEC Time : 0.0 sec. user=mdettweiler [2013-03-12 17:27:39] 899*2^1242564-1 is not prime. Res64: 81937DE1234FFE99 Time : 0.0 sec. user=mdettweiler [2013-03-12 17:27:40] 861*2^1242565-1 is not prime. Res64: 06F7304C4BF78B5E Time : 0.0 sec. user=juhehe [2013-03-12 17:30:12] 675*2^1242562-1 is not prime. Res64: 44FAC34C2895EF07 Time : 0.0 sec. user=vaughan [2013-03-12 17:40:04] 949*2^1242563-1 is not prime. Res64: 5BD80B34314A7C0B Time : 0.0 sec. user=mdettweiler [2013-03-12 17:45:09] 871*2^1242565-1 is not prime. Res64: 0F8745687BA9DC0D Time : 0.0 sec. user=mdettweiler [2013-03-12 17:45:10] 877*2^1242565-1 is not prime. Res64: 94334A9E7F2F78D8 Time : 0.0 sec. user=mdettweiler [2013-03-12 17:45:11] 885*2^1242565-1 is not prime. Res64: 577D085B15362842 Time : 0.0 sec. user=mdettweiler [2013-03-12 17:45:11] 919*2^1242565-1 is not prime. Res64: A81C4A5FD2236BA5 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:02:40] 693*2^1242566-1 is not prime. Res64: 2512BB01F2790941 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:02:41] 705*2^1242566-1 is not prime. Res64: A6E02915712CF5C1 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:02:41] 773*2^1242566-1 is not prime. Res64: 4D10817B6B9E9A0C Time : 0.0 sec. user=mdettweiler [2013-03-12 18:02:42] 813*2^1242566-1 is not prime. Res64: 66CCFBD9967F6DCD Time : 0.0 sec. user=juhehe [2013-03-12 18:09:18] 753*2^1242564-1 is not prime. Res64: 1479E9580D023DD4 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:20:18] 887*2^1242566-1 is not prime. Res64: 8942E321379868E3 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:20:19] 923*2^1242566-1 is not prime. Res64: B7500D56E8A0B5F2 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:20:19] 945*2^1242566-1 is not prime. Res64: 9D209EE03C953B4F Time : 0.0 sec. user=mdettweiler [2013-03-12 18:20:19] 957*2^1242566-1 is not prime. Res64: B4BA47C9C774E854 Time : 0.0 sec. user=vaughan [2013-03-12 18:23:18] 997*2^1242565-1 is not prime. Res64: 5F0235FCB7EC2C5A Time : 0.0 sec. user=mdettweiler [2013-03-12 18:37:51] 993*2^1242566-1 is not prime. Res64: 48156FB5A40E0EE1 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:37:52] 709*2^1242567-1 is not prime. Res64: 3F8392EDA415660C Time : 0.0 sec. user=mdettweiler [2013-03-12 18:37:52] 829*2^1242567-1 is not prime. Res64: BE7A7E8DF2CE9965 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:37:53] 623*2^1242568-1 is not prime. Res64: 8804584EF0D862AF Time : 0.0 sec. user=juhehe [2013-03-12 18:50:44] 857*2^1242566-1 is not prime. Res64: BA81355377983CAA Time : 0.0 sec. user=mdettweiler [2013-03-12 18:55:26] 843*2^1242568-1 is not prime. Res64: 66462B8172676BF3 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:55:27] 849*2^1242568-1 is not prime. Res64: 613EE2AA10940CC1 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:55:27] 721*2^1242569-1 is not prime. Res64: 6D9CBC6FA0024242 Time : 0.0 sec. user=mdettweiler [2013-03-12 18:55:28] 727*2^1242569-1 is not prime. Res64: A01C57E963E5265C Time : 0.0 sec. user=vaughan [2013-03-12 19:01:27] 657*2^1242568-1 is not prime. Res64: 0152C905FC34ED84 Time : 0.0 sec. user=mdettweiler [2013-03-12 19:12:57] 847*2^1242569-1 is not prime. Res64: 4C2D4AA6812D2952 Time : 0.0 sec. user=mdettweiler [2013-03-12 19:12:58] 967*2^1242569-1 is not prime. Res64: 977B428E5901504C Time : 0.0 sec. user=mdettweiler [2013-03-12 19:12:58] 647*2^1242570-1 is not prime. Res64: BC81BE1818F848A9 Time : 0.0 sec. user=mdettweiler [2013-03-12 19:12:59] 651*2^1242570-1 is not prime. Res64: 31EA20FB62E1CC5F Time : 0.0 sec. user=mdettweiler [2013-03-12 19:30:28] 873*2^1242571-1 is not prime. Res64: 0694586DF91E8553 Time : 0.0 sec. user=mdettweiler [2013-03-12 19:30:28] 889*2^1242571-1 is not prime. Res64: C7A652737A0BCCD9 Time : 0.0 sec. user=mdettweiler [2013-03-12 19:30:29] 901*2^1242571-1 is not prime. Res64: BD1A11DD168C52DE Time : 0.0 sec. user=mdettweiler [2013-03-12 19:30:30] 951*2^1242571-1 is not prime. Res64: 65A33E11F3658027 Time : 0.0 sec. user=vaughan [2013-03-12 19:39:35] 885*2^1242570-1 is not prime. Res64: EC1D9355F8994F2D Time : 0.0 sec. user=mdettweiler [2013-03-12 19:48:00] 961*2^1242571-1 is not prime. Res64: 822DB790A4553947 Time : 0.0 sec. user=mdettweiler [2013-03-12 19:48:00] 669*2^1242572-1 is not prime. Res64: 6DFF27EE33B9FE57 Time : 0.0 sec. user=mdettweiler [2013-03-12 19:48:00] 717*2^1242572-1 is not prime. Res64: AF9E81225262919C Time : 0.0 sec. user=mdettweiler [2013-03-12 19:48:01] 749*2^1242572-1 is not prime. Res64: A7C85E6520E9DC83 Time : 0.0 sec. user=mdettweiler [2013-03-12 20:05:31] 813*2^1242572-1 is not prime. Res64: 0468A6ED57C77160 Time : 0.0 sec. user=mdettweiler [2013-03-12 20:05:31] 855*2^1242572-1 is not prime. Res64: 42CC9AB29F170352 Time : 0.0 sec. user=mdettweiler [2013-03-12 20:05:32] 857*2^1242572-1 is not prime. Res64: 6627D04FDFF2A6D4 Time : 0.0 sec. user=mdettweiler [2013-03-12 20:05:33] 959*2^1242572-1 is not prime. Res64: EFFC1732EB66A789 Time : 0.0 sec. user=juhehe [2013-03-12 20:14:33] 805*2^1242571-1 is not prime. Res64: 8CDD1E0A66AADDA0 Time : 0.0 sec. user=vaughan [2013-03-12 20:17:44] 797*2^1242572-1 is not prime. Res64: C516925F10388D8F Time : 0.0 sec. user=mdettweiler [2013-03-12 20:23:08] 621*2^1242573-1 is not prime. Res64: C328B68CADCE4E93 Time : 0.0 sec. user=mdettweiler [2013-03-12 20:23:08] 835*2^1242573-1 is not prime. Res64: E8DD286E8EEEC4AA Time : 0.0 sec. user=mdettweiler [2013-03-12 20:23:10] 623*2^1242574-1 is not prime. Res64: C30BC10FCA24DED3 Time : 0.0 sec. user=mdettweiler [2013-03-12 20:23:10] 915*2^1242574-1 is not prime. Res64: A6B0AC60DB031EBE Time : 0.0 sec. user=mdettweiler [2013-03-12 20:40:39] 965*2^1242574-1 is not prime. Res64: EE61AC2E329BB17A Time : 0.0 sec. user=mdettweiler [2013-03-12 20:40:40] 645*2^1242575-1 is not prime. Res64: 2300F42B8B595E03 Time : 0.0 sec. user=mdettweiler [2013-03-12 20:40:41] 655*2^1242575-1 is not prime. Res64: FFF7BCF5A2A91E88 Time : 0.0 sec. user=mdettweiler [2013-03-12 20:40:41] 661*2^1242575-1 is not prime. Res64: 840E8DBD951BD916 Time : 0.0 sec. user=juhehe [2013-03-12 20:56:07] 609*2^1242573-1 is not prime. Res64: 58E60E5BD4F58630 Time : 0.0 sec. user=mdettweiler [2013-03-12 20:58:12] 739*2^1242575-1 is not prime. Res64: 369FD168ECE9222E Time : 0.0 sec. user=mdettweiler [2013-03-12 20:58:12] 843*2^1242575-1 is not prime. Res64: 8EB32EF621B2941E Time : 0.0 sec. user=mdettweiler [2013-03-12 20:58:13] 921*2^1242575-1 is not prime. Res64: 0D1CA97613B59DAC Time : 0.0 sec. user=mdettweiler [2013-03-12 20:58:14] 939*2^1242575-1 is not prime. Res64: 52936885C579EE32 Time : 0.0 sec. user=vaughan [2013-03-12 21:01:00] 957*2^1242574-1 is not prime. Res64: 8F83171B26CCC980 Time : 0.0 sec. user=mdettweiler [2013-03-12 21:15:47] 969*2^1242575-1 is not prime. Res64: CE95B84525B2A567 Time : 0.0 sec. user=mdettweiler [2013-03-12 21:15:48] 981*2^1242575-1 is not prime. Res64: 8DDD7F6532B5BC8C Time : 0.0 sec. user=mdettweiler [2013-03-12 21:15:49] 689*2^1242576-1 is not prime. Res64: 83AF1F8FB8AA9B36 Time : 0.0 sec. user=mdettweiler [2013-03-12 21:15:50] 705*2^1242576-1 is not prime. Res64: 79437C7A3561F543 Time : 0.0 sec. user=mdettweiler [2013-03-12 21:33:56] 789*2^1242576-1 is not prime. Res64: BA8B59FE26ED2692 Time : 0.0 sec. user=mdettweiler [2013-03-12 21:33:57] 843*2^1242576-1 is not prime. Res64: 8F9CC3378A8F6F8F Time : 0.0 sec. user=mdettweiler [2013-03-12 21:33:57] 845*2^1242576-1 is not prime. Res64: 93A1282EBA60F5C1 Time : 0.0 sec. user=mdettweiler [2013-03-12 21:33:57] 945*2^1242576-1 is not prime. Res64: 7EBE97B7EE63E65A Time : 0.0 sec. user=vaughan [2013-03-12 21:39:09] 735*2^1242576-1 is not prime. Res64: B3E0D47C7F751A97 Time : 0.0 sec. user=mdettweiler [2013-03-12 21:52:09] 947*2^1242576-1 is not prime. Res64: A24B2287ACD3051A Time : 0.0 sec. user=mdettweiler [2013-03-12 21:52:09] 667*2^1242577-1 is not prime. Res64: B2FC1879E31BBFFA Time : 0.0 sec. user=mdettweiler [2013-03-12 21:52:09] 645*2^1242577-1 is not prime. Res64: 123E781B0834F095 Time : 0.0 sec. user=mdettweiler [2013-03-12 21:52:09] 747*2^1242577-1 is not prime. Res64: 27770856980C3751 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:09:40] 817*2^1242577-1 is not prime. Res64: 749BCBEEF553498E Time : 0.0 sec. user=mdettweiler [2013-03-12 22:09:41] 867*2^1242577-1 is not prime. Res64: F426E6DE794C92F7 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:09:41] 871*2^1242577-1 is not prime. Res64: 0F6F67EBC74F97D4 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:09:42] 909*2^1242577-1 is not prime. Res64: 5980477C5F3A67D4 Time : 0.0 sec. user=vaughan [2013-03-12 22:17:18] 801*2^1242577-1 is not prime. Res64: CCEBAFF00CC8AEE6 Time : 0.0 sec. user=juhehe [2013-03-12 22:19:47] 759*2^1242576-1 is not prime. Res64: 32BAEA6DB8F2B7C0 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:27:13] 935*2^1242578-1 is not prime. Res64: 89AE92A1A10FBB78 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:27:13] 945*2^1242578-1 is not prime. Res64: 40D92BCFE96053F6 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:27:15] 1001*2^1242578-1 is not prime. Res64: 58E0692C88D74CC8 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:27:16] 751*2^1242579-1 is not prime. Res64: C0811C42D76D4821 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:44:37] 927*2^1242580-1 is not prime. Res64: 8574B95889A811B7 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:44:37] 933*2^1242580-1 is not prime. Res64: C6D3662DFFB80ED2 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:44:40] 645*2^1242581-1 is not prime. Res64: 5CA6E291F38C6AF6 Time : 0.0 sec. user=mdettweiler [2013-03-12 22:44:40] 657*2^1242581-1 is not prime. Res64: EE459DA9943F3ECC Time : 0.0 sec. user=vaughan [2013-03-12 22:55:25] 765*2^1242580-1 is not prime. Res64: 6E7C872C61E78E1A Time : 0.0 sec. user=mdettweiler [2013-03-12 23:02:02] 781*2^1242581-1 is not prime. Res64: 836B30D8B0F762B0 Time : 0.0 sec. user=mdettweiler [2013-03-12 23:02:03] 937*2^1242581-1 is not prime. Res64: 64BFB1335098404D Time : 0.0 sec. user=mdettweiler [2013-03-12 23:02:05] 873*2^1242582-1 is not prime. Res64: 176004672104279D Time : 0.0 sec. user=mdettweiler [2013-03-12 23:02:05] 917*2^1242582-1 is not prime. Res64: DFD1A6F63B264706 Time : 0.0 sec. user=juhehe [2013-03-12 23:07:10] 957*2^1242577-1 is not prime. Res64: 3EE6BF83EC83A95E Time : 0.0 sec. user=mdettweiler [2013-03-12 23:19:27] 615*2^1242583-1 is not prime. Res64: 8DA8DBEB3ABA91E7 Time : 0.0 sec. user=mdettweiler [2013-03-12 23:19:28] 673*2^1242583-1 is not prime. Res64: B0ABE1A236F8729B Time : 0.0 sec. user=mdettweiler [2013-03-12 23:19:30] 703*2^1242583-1 is not prime. Res64: E9F5A439E9B3F21F Time : 0.0 sec. user=mdettweiler [2013-03-12 23:19:31] 705*2^1242583-1 is not prime. Res64: 1809A65C73D1406C Time : 0.0 sec. user=mdettweiler [2013-03-12 23:36:56] 783*2^1242583-1 is not prime. Res64: DE2D8AF3F4DB3E74 Time : 0.0 sec. user=mdettweiler [2013-03-12 23:36:56] 811*2^1242583-1 is not prime. Res64: 1AA77A0D0790EB28 Time : 0.0 sec. user=mdettweiler [2013-03-12 23:36:58] 859*2^1242583-1 is not prime. Res64: 93F766E91F6ABD39 Time : 0.0 sec. user=mdettweiler [2013-03-12 23:36:58] 913*2^1242583-1 is not prime. Res64: 5A93AE362B19A509 Time : 0.0 sec. user=vaughan [2013-03-12 23:38:37] 977*2^1242582-1 is not prime. Res64: 6FDB927ED0A64AF6 Time : 0.0 sec. user=mdettweiler [2013-03-12 23:54:21] 933*2^1242583-1 is not prime. Res64: 69548A0ADBF662D9 Time : 0.0 sec. user=mdettweiler [2013-03-12 23:54:22] 617*2^1242584-1 is not prime. Res64: 7456F7EEBABF9202 Time : 0.0 sec. user=mdettweiler [2013-03-12 23:54:22] 825*2^1242584-1 is not prime. Res64: 495FC3BA860CED5E Time : 0.0 sec. user=mdettweiler [2013-03-12 23:54:23] 873*2^1242584-1 is not prime. Res64: 84F1B4A2232B5993 Time : 0.0 sec.