user=mdettweiler [2013-05-30 00:13:33] 861*2^1246389-1 is not prime. Res64: 4546341DA923BB93 Time : 0.0 sec. user=mdettweiler [2013-05-30 00:14:07] 869*2^1246388-1 is not prime. Res64: C0F78F3BF021E8C8 Time : 0.0 sec. user=mdettweiler [2013-05-30 00:31:58] 867*2^1246389-1 is not prime. Res64: 720E11289A3B5940 Time : 0.0 sec. user=mdettweiler [2013-05-30 00:32:38] 991*2^1246389-1 is not prime. Res64: 6243856CE8DB1BC8 Time : 0.0 sec. user=mdettweiler [2013-05-30 00:49:49] 827*2^1246390-1 is not prime. Res64: D89D95B179E0A578 Time : 0.0 sec. user=mdettweiler [2013-05-30 00:49:49] 843*2^1246390-1 is not prime. Res64: A63E9BF379381D17 Time : 0.0 sec. user=mdettweiler [2013-05-30 00:55:11] 741*2^1246390-1 is not prime. Res64: 53B16305ED3A984A Time : 0.0 sec. user=mdettweiler [2013-05-30 01:07:51] 873*2^1246390-1 is not prime. Res64: 7C4B58FA559F47C3 Time : 0.0 sec. user=mdettweiler [2013-05-30 01:14:18] 981*2^1246390-1 is not prime. Res64: 05584BAAA32328AB Time : 0.0 sec. user=mdettweiler [2013-05-30 01:14:18] 987*2^1246390-1 is not prime. Res64: D8C7C1C75DAE6BC3 Time : 0.0 sec. user=mdettweiler [2013-05-30 01:28:41] 891*2^1246390-1 is not prime. Res64: 22FA42B817174FE0 Time : 0.0 sec. user=mdettweiler [2013-05-30 01:31:57] 645*2^1246391-1 is not prime. Res64: BEE7D7E1E0919C5D Time : 0.0 sec. user=mdettweiler [2013-05-30 01:56:57] 973*2^1246391-1 is not prime. Res64: F5386CDCF35CD700 Time : 0.0 sec. user=juhehe [2013-05-30 02:12:05] 695*2^1246392-1 is not prime. Res64: A9BCD8812F38CEDC Time : 0.0 sec. user=mdettweiler [2013-05-30 02:15:44] 767*2^1246392-1 is not prime. Res64: 51ED361D8EFBEC7F Time : 0.0 sec. user=mdettweiler [2013-05-30 02:15:44] 935*2^1246392-1 is not prime. Res64: 1CB3BF07530E43A5 Time : 0.0 sec. user=mdettweiler [2013-05-30 02:33:39] 679*2^1246393-1 is not prime. Res64: BD68AB48215D1145 Time : 0.0 sec. user=mdettweiler [2013-05-30 02:33:40] 705*2^1246393-1 is not prime. Res64: 4D51AEB316A3972B Time : 0.0 sec. user=mdettweiler [2013-05-30 02:40:22] 741*2^1246393-1 is not prime. Res64: 7B83F467CE819C50 Time : 0.0 sec. user=mdettweiler [2013-05-30 02:40:23] 901*2^1246393-1 is not prime. Res64: EA3652BA3AE4FEEA Time : 0.0 sec. user=mdettweiler [2013-05-30 02:52:14] 957*2^1246393-1 is not prime. Res64: F56CB907E06CF93A Time : 0.0 sec. user=mdettweiler [2013-05-30 02:52:15] 999*2^1246393-1 is not prime. Res64: 62498C82418CCC06 Time : 0.0 sec. user=mdettweiler [2013-05-30 02:58:05] 615*2^1246394-1 is not prime. Res64: 714619E621A4C2F5 Time : 0.0 sec. user=mdettweiler [2013-05-30 02:58:05] 675*2^1246394-1 is not prime. Res64: 550BE9C1F065DCBF Time : 0.0 sec. user=mdettweiler [2013-05-30 03:09:41] 783*2^1246394-1 is not prime. Res64: 6225B18020942FED Time : 0.0 sec. user=mdettweiler [2013-05-30 03:09:42] 619*2^1246395-1 is not prime. Res64: F0CE73041245BBCA Time : 0.0 sec. user=mdettweiler [2013-05-30 03:15:35] 669*2^1246395-1 is not prime. Res64: C7474246817CF230 Time : 0.0 sec. user=mdettweiler [2013-05-30 03:15:35] 705*2^1246395-1 is not prime. Res64: 9ECA147EB9868794 Time : 0.0 sec. user=mdettweiler [2013-05-30 03:27:30] 709*2^1246395-1 is not prime. Res64: 9F9308A0F73D1C25 Time : 0.0 sec. user=mdettweiler [2013-05-30 03:27:30] 805*2^1246395-1 is not prime. Res64: 742BC8AC3C890102 Time : 0.0 sec. user=mdettweiler [2013-05-30 03:33:21] 819*2^1246395-1 is not prime. Res64: DBAA11D942A8645D Time : 0.0 sec. user=mdettweiler [2013-05-30 03:33:40] 873*2^1246395-1 is not prime. Res64: 9EE50D3546F0A87D Time : 0.0 sec. user=mdettweiler [2013-05-30 03:45:32] 963*2^1246395-1 is not prime. Res64: B69F3ABF92EA1118 Time : 0.0 sec. user=mdettweiler [2013-05-30 04:20:27] 615*2^1246396-1 is not prime. Res64: F384729F1364E1EC Time : 0.0 sec. user=mdettweiler [2013-05-30 04:21:20] 623*2^1246396-1 is not prime. Res64: 890C70AF978CF85A Time : 0.0 sec. user=mdettweiler [2013-05-30 04:21:20] 695*2^1246396-1 is not prime. Res64: E7A4B699E2C1027E Time : 0.0 sec. user=mdettweiler [2013-05-30 04:38:21] 705*2^1246396-1 is not prime. Res64: 40EEC9EAC7D54CC8 Time : 0.0 sec. user=mdettweiler [2013-05-30 04:38:22] 707*2^1246396-1 is not prime. Res64: 46CEEB12FF76A675 Time : 0.0 sec. user=mdettweiler [2013-05-30 04:38:47] 779*2^1246396-1 is not prime. Res64: A401F5CDA1286EF6 Time : 0.0 sec. user=mdettweiler [2013-05-30 04:38:48] 783*2^1246396-1 is not prime. Res64: 4C6E7D0223E45A72 Time : 0.0 sec. user=mdettweiler [2013-05-30 04:56:11] 875*2^1246396-1 is not prime. Res64: 0997DFED6368B916 Time : 0.0 sec. user=juhehe [2013-05-30 04:56:11] 921*2^1246395-1 is not prime. Res64: 8ABD0BB275D0179F Time : 0.0 sec. user=mdettweiler [2013-05-30 04:56:14] 645*2^1246397-1 is not prime. Res64: 5C8B905E84823609 Time : 0.0 sec. user=mdettweiler [2013-05-30 04:56:15] 741*2^1246397-1 is not prime. Res64: 14E8C7314AF33573 Time : 0.0 sec. user=mdettweiler [2013-05-30 05:13:55] 757*2^1246397-1 is not prime. Res64: A5FC66F9EB3D9B9D Time : 0.0 sec. user=mdettweiler [2013-05-30 05:14:12] 831*2^1246397-1 is not prime. Res64: C22BC617D1D1A0A3 Time : 0.0 sec. user=mdettweiler [2013-05-30 05:20:53] 887*2^1246396-1 is not prime. Res64: A33E80D3833FCBBE Time : 0.0 sec. user=mdettweiler [2013-05-30 05:38:26] 937*2^1246397-1 is not prime. Res64: 8ED4C2F337F84F8A Time : 0.0 sec. user=mdettweiler [2013-05-30 05:38:26] 945*2^1246397-1 is not prime. Res64: 8E7C632630737243 Time : 0.0 sec. user=mdettweiler [2013-05-30 05:57:22] 997*2^1246397-1 is not prime. Res64: 9AC606A83149822B Time : 0.0 sec. user=mdettweiler [2013-05-30 05:58:46] 731*2^1246398-1 is not prime. Res64: 2949BDE8F4DF61FA Time : 0.0 sec. user=juhehe [2013-05-30 06:27:17] 747*2^1246398-1 is not prime. Res64: C0E88D47B3E488A8 Time : 0.0 sec. user=mdettweiler [2013-05-30 06:33:20] 635*2^1246398-1 is not prime. Res64: 0BCB96AD4595BB67 Time : 0.0 sec. user=mdettweiler [2013-05-30 06:34:02] 737*2^1246398-1 is not prime. Res64: C07BE8F0DCC47B69 Time : 0.0 sec. user=mdettweiler [2013-05-30 06:51:15] 797*2^1246398-1 is not prime. Res64: 70ECEE4C38485A2B Time : 0.0 sec. user=mdettweiler [2013-05-30 06:51:36] 881*2^1246398-1 is not prime. Res64: 4FB525C3EDD61CEF Time : 0.0 sec. user=mdettweiler [2013-05-30 06:51:37] 639*2^1246399-1 is not prime. Res64: 1C89E269EA494FCE Time : 0.0 sec. user=mdettweiler [2013-05-30 07:09:31] 789*2^1246399-1 is not prime. Res64: 69CFE9BEBD40ED93 Time : 0.0 sec. user=mdettweiler [2013-05-30 07:20:48] 867*2^1246398-1 is not prime. Res64: 53D4837D1D8658AF Time : 0.0 sec. user=mdettweiler [2013-05-30 07:38:38] 717*2^1246400-1 is not prime. Res64: F3557722C74AD2A2 Time : 0.0 sec. user=mdettweiler [2013-05-30 07:38:38] 755*2^1246400-1 is not prime. Res64: A5B8F2FCBFA47576 Time : 0.0 sec. user=mdettweiler [2013-05-30 07:43:17] 793*2^1246399-1 is not prime. Res64: 6D749A7C3E0EA7C5 Time : 0.0 sec. user=mdettweiler [2013-05-30 07:56:12] 767*2^1246400-1 is not prime. Res64: DE4702A7A46FA55F Time : 0.0 sec. user=mdettweiler [2013-05-30 07:56:12] 833*2^1246400-1 is not prime. Res64: F54E49E08C312A87 Time : 0.0 sec. user=mdettweiler [2013-05-30 08:00:53] 839*2^1246400-1 is not prime. Res64: 8F3C51D1B7541E71 Time : 0.0 sec. user=mdettweiler [2013-05-30 08:14:09] 637*2^1246401-1 is not prime. Res64: D83119C26775CB9B Time : 0.0 sec. user=mdettweiler [2013-05-30 08:38:06] 843*2^1246400-1 is not prime. Res64: C88EAF0171E4B31C Time : 0.0 sec. user=mdettweiler [2013-05-30 08:39:10] 681*2^1246401-1 is not prime. Res64: 37373599E750FB0D Time : 0.0 sec. user=mdettweiler [2013-05-30 08:55:40] 705*2^1246401-1 is not prime. Res64: 9DBD179ED456B1C1 Time : 0.0 sec. user=mdettweiler [2013-05-30 08:55:41] 741*2^1246401-1 is not prime. Res64: 01F29BF1B729FDA9 Time : 0.0 sec. user=mdettweiler [2013-05-30 08:56:44] 745*2^1246401-1 is not prime. Res64: 9A6B7C91B65E5B48 Time : 0.0 sec. user=mdettweiler [2013-05-30 08:56:44] 777*2^1246401-1 is not prime. Res64: DBA8F254891239DF Time : 0.0 sec. user=mdettweiler [2013-05-30 09:14:14] 865*2^1246401-1 is not prime. Res64: D255A6BE37B11E20 Time : 0.0 sec. user=mdettweiler [2013-05-30 09:14:15] 991*2^1246401-1 is not prime. Res64: 4BA9A7BF13368E72 Time : 0.0 sec. user=mdettweiler [2013-05-30 09:14:28] 665*2^1246402-1 is not prime. Res64: FE448FE766BF9350 Time : 0.0 sec. user=mdettweiler [2013-05-30 09:14:28] 681*2^1246402-1 is not prime. Res64: 577D335B1F3E4082 Time : 0.0 sec. user=mdettweiler [2013-05-30 09:31:42] 713*2^1246402-1 is not prime. Res64: 03E1B5EDBAB8951E Time : 0.0 sec. user=mdettweiler [2013-05-30 09:31:43] 737*2^1246402-1 is not prime. Res64: 3575981E1AF14865 Time : 0.0 sec. user=mdettweiler [2013-05-30 09:32:05] 777*2^1246402-1 is not prime. Res64: 19C1B97FB3B1A25B Time : 0.0 sec. user=juhehe [2013-05-30 09:47:53] 917*2^1246402-1 is not prime. Res64: 1CC9CE6EC688EEE3 Time : 0.0 sec. user=mdettweiler [2013-05-30 09:50:02] 945*2^1246402-1 is not prime. Res64: F289EC9E336C64F5 Time : 0.0 sec. user=mdettweiler [2013-05-30 09:50:02] 995*2^1246402-1 is not prime. Res64: 294921BB1638729F Time : 0.0 sec. user=mdettweiler [2013-05-30 10:08:20] 855*2^1246403-1 is not prime. Res64: 26DA6BA88141BE37 Time : 0.0 sec. user=juhehe [2013-05-30 10:08:20] 673*2^1246403-1 is not prime. Res64: FC8F64C39D0CDF5C Time : 0.0 sec. user=mdettweiler [2013-05-30 10:09:04] 813*2^1246402-1 is not prime. Res64: C3EAF394C4E7F575 Time : 0.0 sec. user=mdettweiler [2013-05-30 10:26:39] 783*2^1246404-1 is not prime. Res64: 41B67B4F4C30FE43 Time : 0.0 sec. user=mdettweiler [2013-05-30 10:26:40] 909*2^1246404-1 is not prime. Res64: 59BE7D40CE1E38A1 Time : 0.0 sec. user=mdettweiler [2013-05-30 10:28:01] 939*2^1246403-1 is not prime. Res64: 937DB0F6E0686FCB Time : 0.0 sec. user=juhehe [2013-05-30 10:31:53] 991*2^1246403-1 is not prime. Res64: FFCC7D39E83DF33A Time : 0.0 sec. user=mdettweiler [2013-05-30 10:44:57] 983*2^1246404-1 is not prime. Res64: 6548CE95F21C42D9 Time : 0.0 sec. user=mdettweiler [2013-05-30 10:44:58] 717*2^1246405-1 is not prime. Res64: D51C00DE19D4289F Time : 0.0 sec. user=mdettweiler [2013-05-30 11:03:49] 799*2^1246405-1 is not prime. Res64: 89A143347065F759 Time : 0.0 sec. user=mdettweiler [2013-05-30 11:03:50] 867*2^1246405-1 is not prime. Res64: AE4E179ACFB103AF Time : 0.0 sec. user=mdettweiler [2013-05-30 11:22:25] 729*2^1246405-1 is not prime. Res64: EE7C53CDF3F16FB6 Time : 0.0 sec. user=mdettweiler [2013-05-30 11:22:26] 985*2^1246405-1 is not prime. Res64: AFBB5E54309F379C Time : 0.0 sec. user=mdettweiler [2013-05-30 11:23:49] 987*2^1246405-1 is not prime. Res64: C8927C967C6B01A4 Time : 0.0 sec. user=mdettweiler [2013-05-30 11:40:10] 627*2^1246406-1 is not prime. Res64: 4D2EF37217461EE6 Time : 0.0 sec. user=mdettweiler [2013-05-30 11:40:27] 675*2^1246406-1 is not prime. Res64: 7BC06F98BF6AE52A Time : 0.0 sec. user=mdettweiler [2013-05-30 11:57:33] 615*2^1246406-1 is not prime. Res64: 992F6C72C94E7D4D Time : 0.0 sec. user=juhehe [2013-05-30 12:01:32] 827*2^1246406-1 is not prime. Res64: 7BAA851F93C1C6BB Time : 0.0 sec. user=mdettweiler [2013-05-30 12:15:41] 851*2^1246406-1 is not prime. Res64: 9CA2170ADA0A02F8 Time : 0.0 sec. user=mdettweiler [2013-05-30 12:15:41] 923*2^1246406-1 is not prime. Res64: A0FDE6C647E06B33 Time : 0.0 sec. user=mdettweiler [2013-05-30 12:33:37] 693*2^1246407-1 is not prime. Res64: AD5CDC61E9891F77 Time : 0.0 sec. user=mdettweiler [2013-05-30 12:33:37] 741*2^1246407-1 is not prime. Res64: BE71B93560873062 Time : 0.0 sec. user=mdettweiler [2013-05-30 12:34:09] 795*2^1246407-1 is not prime. Res64: CD2B649598A05A74 Time : 0.0 sec. user=mdettweiler [2013-05-30 12:34:09] 961*2^1246407-1 is not prime. Res64: 40F945039F4C6A6C Time : 0.0 sec. user=mdettweiler [2013-05-30 12:51:39] 695*2^1246408-1 is not prime. Res64: 890F2F76B95B3EEA Time : 0.0 sec. user=mdettweiler [2013-05-30 12:52:00] 797*2^1246408-1 is not prime. Res64: D3B558E9FFD72BB3 Time : 0.0 sec. user=mdettweiler [2013-05-30 12:52:01] 745*2^1246409-1 is not prime. Res64: B5BDED3C87498371 Time : 0.0 sec. user=mdettweiler [2013-05-30 13:10:08] 769*2^1246409-1 is not prime. Res64: 49C48214E9ABBD36 Time : 0.0 sec. user=mdettweiler [2013-05-30 13:30:53] 743*2^1246408-1 is not prime. Res64: 35D005734249ADAE Time : 0.0 sec. user=juhehe [2013-05-30 13:31:15] 861*2^1246409-1 is not prime. Res64: C026CB9C5D2D043C Time : 0.0 sec. user=mdettweiler [2013-05-30 13:42:14] 847*2^1246409-1 is not prime. Res64: B40637F424AD4AA9 Time : 0.0 sec. user=mdettweiler [2013-05-30 13:49:12] 677*2^1246410-1 is not prime. Res64: 7C887129A80E02B3 Time : 0.0 sec. user=mdettweiler [2013-05-30 13:49:12] 801*2^1246410-1 is not prime. Res64: 157FB4D3726F9AF2 Time : 0.0 sec. user=juhehe [2013-05-30 13:52:11] 845*2^1246410-1 is not prime. Res64: 6EB0F5C9B131E161 Time : 0.0 sec. user=mdettweiler [2013-05-30 14:00:01] 893*2^1246410-1 is not prime. Res64: 53607BEAD2BDC1A2 Time : 0.0 sec. user=mdettweiler [2013-05-30 14:00:01] 927*2^1246410-1 is not prime. Res64: 509FFF8A32C6903F Time : 0.0 sec. user=mdettweiler [2013-05-30 14:07:02] 723*2^1246411-1 is not prime. Res64: B90E9AB0E097CE6B Time : 0.0 sec. user=mdettweiler [2013-05-30 14:07:02] 735*2^1246411-1 is not prime. Res64: 5056C76A83A85B0A Time : 0.0 sec. user=mdettweiler [2013-05-30 14:18:03] 801*2^1246411-1 is not prime. Res64: C54360793E2EC17C Time : 0.0 sec. user=mdettweiler [2013-05-30 14:25:08] 939*2^1246411-1 is not prime. Res64: 4EECE93B7092D029 Time : 0.0 sec. user=mdettweiler [2013-05-30 14:43:39] 861*2^1246411-1 is not prime. Res64: 848B7C9D0FFB2BAF Time : 0.0 sec. user=mdettweiler [2013-05-30 14:48:27] 629*2^1246412-1 is not prime. Res64: 094D7771D2006FCE Time : 0.0 sec. user=mdettweiler [2013-05-30 15:06:31] 635*2^1246412-1 is not prime. Res64: 20A8C5C4444639B0 Time : 0.0 sec. user=mdettweiler [2013-05-30 15:38:18] 813*2^1246412-1 is not prime. Res64: BF20AFB4956653F5 Time : 0.0 sec. user=mdettweiler [2013-05-30 15:38:18] 819*2^1246412-1 is not prime. Res64: 2FFFA0B909BB6136 Time : 0.0 sec. user=mdettweiler [2013-05-30 15:43:35] 677*2^1246412-1 is not prime. Res64: BB299ED21009AD15 Time : 0.0 sec. user=mdettweiler [2013-05-30 15:56:51] 885*2^1246412-1 is not prime. Res64: 8EE62BD3412F0D73 Time : 0.0 sec. user=mdettweiler [2013-05-30 15:56:51] 945*2^1246412-1 is not prime. Res64: 14F3D924C66D5A35 Time : 0.0 sec. user=mdettweiler [2013-05-30 16:02:14] 607*2^1246413-1 is not prime. Res64: 7E8E4ABEC7FFD8BD Time : 0.0 sec. user=mdettweiler [2013-05-30 16:15:40] 817*2^1246413-1 is not prime. Res64: 8BD76181DC4BAB72 Time : 0.0 sec. user=mdettweiler [2013-05-30 16:15:41] 819*2^1246413-1 is not prime. Res64: 5D11122779CBEF01 Time : 0.0 sec. user=mdettweiler [2013-05-30 16:35:20] 871*2^1246413-1 is not prime. Res64: 8C8ECABD25657888 Time : 0.0 sec. user=mdettweiler [2013-05-30 16:42:45] 765*2^1246413-1 is not prime. Res64: EEC8B7FD3F1F65AB Time : 0.0 sec. user=mdettweiler [2013-05-30 17:01:18] 651*2^1246414-1 is not prime. Res64: BFECA201CBF5599F Time : 0.0 sec. user=mdettweiler [2013-05-30 17:15:45] 991*2^1246413-1 is not prime. Res64: 49E812FBB6B368A8 Time : 0.0 sec. user=mdettweiler [2013-05-30 17:22:52] 675*2^1246414-1 is not prime. Res64: 0F8B56275B11A544 Time : 0.0 sec. user=mdettweiler [2013-05-30 17:33:56] 695*2^1246414-1 is not prime. Res64: 4290BDD1776A131D Time : 0.0 sec. user=mdettweiler [2013-05-30 17:33:57] 917*2^1246414-1 is not prime. Res64: CD6683D711E77E60 Time : 0.0 sec. user=mdettweiler [2013-05-30 17:41:00] 603*2^1246415-1 is not prime. Res64: A36D99A44D713623 Time : 0.0 sec. user=mdettweiler [2013-05-30 17:41:00] 643*2^1246415-1 is not prime. Res64: 409DFBD67E6C3881 Time : 0.0 sec. user=mdettweiler [2013-05-30 17:52:18] 859*2^1246415-1 is not prime. Res64: F7DA9BCA55B8D7C7 Time : 0.0 sec. user=mdettweiler [2013-05-30 18:00:51] 973*2^1246415-1 is not prime. Res64: 7B5490AA55008C85 Time : 0.0 sec. user=mdettweiler [2013-05-30 18:17:51] 883*2^1246415-1 is not prime. Res64: F35D36D576653657 Time : 0.0 sec. user=mdettweiler [2013-05-30 18:24:52] 979*2^1246415-1 is not prime. Res64: 383D2861D62C9759 Time : 0.0 sec. user=mdettweiler [2013-05-30 18:36:25] 723*2^1246416-1 is not prime. Res64: AE8732378E14596C Time : 0.0 sec. user=mdettweiler [2013-05-30 18:59:50] 765*2^1246416-1 is not prime. Res64: 5D190F4D54D15EB8 Time : 0.0 sec. user=mdettweiler [2013-05-30 19:17:53] 843*2^1246416-1 is not prime. Res64: 8F0B4107EEC9959B Time : 0.0 sec. user=mdettweiler [2013-05-30 19:17:53] 899*2^1246416-1 is not prime. Res64: C93776BD133ED455 Time : 0.0 sec. user=mdettweiler [2013-05-30 19:36:04] 933*2^1246416-1 is not prime. Res64: 07253242855E1319 Time : 0.0 sec. user=mdettweiler [2013-05-30 19:37:07] 773*2^1246416-1 is not prime. Res64: BD62F52F059893AE Time : 0.0 sec. user=mdettweiler [2013-05-30 19:37:07] 779*2^1246416-1 is not prime. Res64: AF2BD183EE39E86F Time : 0.0 sec. user=mdettweiler [2013-05-30 19:55:13] 741*2^1246417-1 is not prime. Res64: 2DE00C3945179DBB Time : 0.0 sec. user=mdettweiler [2013-05-30 19:55:13] 747*2^1246417-1 is not prime. Res64: 30EA33047C68120F Time : 0.0 sec. user=mdettweiler [2013-05-30 20:00:44] 601*2^1246417-1 is not prime. Res64: 4D955D9E427763CC Time : 0.0 sec. user=mdettweiler [2013-05-30 20:13:14] 777*2^1246417-1 is not prime. Res64: 65B79957AB2E9C53 Time : 0.0 sec. user=mdettweiler [2013-05-30 20:13:14] 847*2^1246417-1 is not prime. Res64: 9001DCE238135686 Time : 0.0 sec. user=mdettweiler [2013-05-30 20:19:04] 871*2^1246417-1 is not prime. Res64: 87EAAAAF5BD2DBB9 Time : 0.0 sec. user=mdettweiler [2013-05-30 20:19:05] 635*2^1246418-1 is not prime. Res64: C285A0F8B69D7931 Time : 0.0 sec. user=mdettweiler [2013-05-30 20:31:40] 731*2^1246418-1 is not prime. Res64: E20B99239ACF4260 Time : 0.0 sec. user=mdettweiler [2013-05-30 20:31:40] 755*2^1246418-1 is not prime. Res64: 139D9F0351805F11 Time : 0.0 sec. user=mdettweiler [2013-05-30 20:37:02] 801*2^1246418-1 is not prime. Res64: 0155BC8FA26054E0 Time : 0.0 sec. user=mdettweiler [2013-05-30 20:37:02] 857*2^1246418-1 is not prime. Res64: 6B72F5620DA4E22C Time : 0.0 sec. user=mdettweiler [2013-05-30 20:49:53] 867*2^1246418-1 is not prime. Res64: BF3D28907D67E969 Time : 0.0 sec. user=mdettweiler [2013-05-30 20:55:13] 911*2^1246418-1 is not prime. Res64: CBD613F7EF6AAA9D Time : 0.0 sec. user=mdettweiler [2013-05-30 21:14:20] 935*2^1246418-1 is not prime. Res64: 7EAD68D9FCDEC7B8 Time : 0.0 sec. user=mdettweiler [2013-05-30 21:21:10] 875*2^1246418-1 is not prime. Res64: FAD729161F2B91CB Time : 0.0 sec. user=mdettweiler [2013-05-30 21:33:56] 941*2^1246418-1 is not prime. Res64: 2E3F2335AF501BFD Time : 0.0 sec. user=mdettweiler [2013-05-30 21:33:56] 1001*2^1246418-1 is not prime. Res64: 83CDD17F334CF504 Time : 0.0 sec. user=mdettweiler [2013-05-30 21:52:10] 691*2^1246419-1 is not prime. Res64: 89EC1FE28302FD8B Time : 0.0 sec. user=mdettweiler [2013-05-30 21:52:10] 943*2^1246419-1 is not prime. Res64: B875D5AAF35B00CD Time : 0.0 sec. user=mdettweiler [2013-05-30 22:10:50] 955*2^1246419-1 is not prime. Res64: BED1DF7125747F88 Time : 0.0 sec. user=mdettweiler [2013-05-30 22:10:51] 975*2^1246419-1 is not prime. Res64: 6184FA84DAAF8038 Time : 0.0 sec. user=mdettweiler [2013-05-30 22:17:48] 695*2^1246420-1 is not prime. Res64: 1FA3E3C77994221D Time : 0.0 sec. user=mdettweiler [2013-05-30 22:17:48] 699*2^1246420-1 is not prime. Res64: B9EED2CFA3921D0B Time : 0.0 sec. user=mdettweiler [2013-05-30 22:28:45] 825*2^1246420-1 is not prime. Res64: 344AB09DB96EAB5B Time : 0.0 sec. user=mdettweiler [2013-05-30 22:28:45] 857*2^1246420-1 is not prime. Res64: B9A0B39629A7F656 Time : 0.0 sec. user=mdettweiler [2013-05-30 22:36:25] 863*2^1246420-1 is not prime. Res64: 68532DE403A536CC Time : 0.0 sec. user=mdettweiler [2013-05-30 22:36:26] 983*2^1246420-1 is not prime. Res64: 21426563D0C5E38F Time : 0.0 sec. user=mdettweiler [2013-05-30 22:46:44] 601*2^1246421-1 is not prime. Res64: 986262937A1A3508 Time : 0.0 sec. user=mdettweiler [2013-05-30 22:54:32] 747*2^1246421-1 is not prime. Res64: 0CA5CEA877C2775E Time : 0.0 sec. user=mdettweiler [2013-05-30 22:54:32] 867*2^1246421-1 is not prime. Res64: 2728ED79BC31C9F8 Time : 0.0 sec. user=mdettweiler [2013-05-30 23:10:10] 727*2^1246421-1 is not prime. Res64: 72BB4AE0C1F4A20D Time : 0.0 sec. user=mdettweiler [2013-05-30 23:28:28] 717*2^1246422-1 is not prime. Res64: A33530C5158F826E Time : 0.0 sec. user=mdettweiler [2013-05-30 23:49:07] 681*2^1246422-1 is not prime. Res64: EA232368D7B65B45 Time : 0.0 sec. user=mdettweiler [2013-05-30 23:49:07] 683*2^1246422-1 is not prime. Res64: FC0F602EC0D0BF2F Time : 0.0 sec.