user=mdettweiler [2015-03-17 00:02:32] 911*2^1395586-1 is not prime. Res64: 70FA98561937EF5B Time : 0.0 sec. user=mdettweiler [2015-03-17 00:02:33] 993*2^1395586-1 is not prime. Res64: 003D60915221DA21 Time : 0.0 sec. user=mdettweiler [2015-03-17 00:26:48] 685*2^1395587-1 is not prime. Res64: 780F99A0171DC9DB Time : 0.0 sec. user=mdettweiler [2015-03-17 00:26:48] 711*2^1395587-1 is not prime. Res64: E9B7A9411908D672 Time : 0.0 sec. user=mdettweiler [2015-03-17 00:29:16] 939*2^1395587-1 is not prime. Res64: 9E196AC0F09848FA Time : 0.0 sec. user=mdettweiler [2015-03-17 00:29:16] 777*2^1395588-1 is not prime. Res64: 09FAD2E6AAA465F7 Time : 0.0 sec. user=mdettweiler [2015-03-17 00:30:00] 825*2^1395588-1 is not prime. Res64: 448F33C5B42F97D0 Time : 0.0 sec. user=mdettweiler [2015-03-17 00:30:00] 945*2^1395588-1 is not prime. Res64: 6E9ADE8F03328555 Time : 0.0 sec. user=mdettweiler [2015-03-17 00:31:50] 639*2^1395589-1 is not prime. Res64: 9A21E507CC331CCC Time : 0.0 sec. user=mdettweiler [2015-03-17 00:31:51] 661*2^1395589-1 is not prime. Res64: AA542118AF8D54A8 Time : 0.0 sec. user=mdettweiler [2015-03-17 00:56:15] 769*2^1395589-1 is not prime. Res64: FC8220FBFBC3AE9D Time : 0.0 sec. user=mdettweiler [2015-03-17 00:56:15] 939*2^1395589-1 is not prime. Res64: 60D9F7D4329E25C1 Time : 0.0 sec. user=mdettweiler [2015-03-17 00:58:44] 975*2^1395589-1 is not prime. Res64: 0BD255136C5118CD Time : 0.0 sec. user=mdettweiler [2015-03-17 00:58:44] 645*2^1395590-1 is not prime. Res64: 97A5EC8E64EFE6AB Time : 0.0 sec. user=mdettweiler [2015-03-17 00:59:51] 651*2^1395590-1 is not prime. Res64: 5A1D579C33714387 Time : 0.0 sec. user=mdettweiler [2015-03-17 00:59:51] 827*2^1395590-1 is not prime. Res64: 4E1D1DC8945729D9 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:01:30] 851*2^1395590-1 is not prime. Res64: F28D2493232F269B Time : 0.0 sec. user=mdettweiler [2015-03-17 01:01:31] 953*2^1395590-1 is not prime. Res64: E7A5948F4F5CD381 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:25:03] 981*2^1395590-1 is not prime. Res64: 544CE401F4FC5775 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:25:04] 705*2^1395591-1 is not prime. Res64: EB9BB3E42101BBC1 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:27:16] 783*2^1395591-1 is not prime. Res64: F6D620212FDA0046 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:27:17] 829*2^1395591-1 is not prime. Res64: E0E09FDCB30C3D5C Time : 0.0 sec. user=mdettweiler [2015-03-17 01:28:04] 879*2^1395591-1 is not prime. Res64: 179B20BCBB7EC827 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:28:05] 961*2^1395591-1 is not prime. Res64: F340CF776AE83D26 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:29:49] 975*2^1395591-1 is not prime. Res64: 153E18E5E6438319 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:29:50] 999*2^1395591-1 is not prime. Res64: 7A9695DC223A36F5 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:51:56] 653*2^1395592-1 is not prime. Res64: 864B8B00670B5DB3 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:51:56] 677*2^1395592-1 is not prime. Res64: 850DFA00864A90C0 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:54:07] 855*2^1395592-1 is not prime. Res64: BF37AD2203EEAC68 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:54:08] 915*2^1395592-1 is not prime. Res64: E8CA3420AC5D4EC6 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:54:49] 923*2^1395592-1 is not prime. Res64: 7AC7DE52B3C95E95 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:54:49] 939*2^1395592-1 is not prime. Res64: F783FE8341A20AC3 Time : 0.0 sec. user=mdettweiler [2015-03-17 01:56:28] 615*2^1395593-1 is not prime. Res64: 75AF30DD9773A24A Time : 0.0 sec. user=mdettweiler [2015-03-17 01:56:29] 649*2^1395593-1 is not prime. Res64: DC9BD5AC59B9384A Time : 0.0 sec. user=mdettweiler [2015-03-17 02:18:40] 741*2^1395593-1 is not prime. Res64: 60A63AC4695581D4 Time : 0.0 sec. user=mdettweiler [2015-03-17 02:18:41] 745*2^1395593-1 is not prime. Res64: CBBFEA7827E3ABC6 Time : 0.0 sec. user=mdettweiler [2015-03-17 02:20:49] 867*2^1395593-1 is not prime. Res64: B8E232D91A76FD7B Time : 0.0 sec. user=mdettweiler [2015-03-17 02:20:50] 651*2^1395594-1 is not prime. Res64: 2FCF6063AE795E3C Time : 0.0 sec. user=mdettweiler [2015-03-17 02:21:32] 767*2^1395594-1 is not prime. Res64: C130C4AD1B8D75FD Time : 0.0 sec. user=mdettweiler [2015-03-17 02:21:32] 893*2^1395594-1 is not prime. Res64: 1288F314B0D91366 Time : 0.0 sec. user=mdettweiler [2015-03-17 02:23:05] 905*2^1395594-1 is not prime. Res64: E576BEABAA51C640 Time : 0.0 sec. user=mdettweiler [2015-03-17 02:23:05] 947*2^1395594-1 is not prime. Res64: 877CD624141397B4 Time : 0.0 sec. user=mdettweiler [2015-03-17 02:45:33] 631*2^1395595-1 is not prime. Res64: 85D46E079CE196AB Time : 0.0 sec. user=mdettweiler [2015-03-17 02:45:34] 685*2^1395595-1 is not prime. Res64: 278B46EE931904F7 Time : 0.0 sec. user=mdettweiler [2015-03-17 02:47:40] 699*2^1395595-1 is not prime. Res64: 7697568E95E9A223 Time : 0.0 sec. user=mdettweiler [2015-03-17 02:47:40] 733*2^1395595-1 is not prime. Res64: 8515C59363D6E401 Time : 0.0 sec. user=mdettweiler [2015-03-17 02:48:13] 861*2^1395595-1 is not prime. Res64: 56D33C4BF6A038CE Time : 0.0 sec. user=mdettweiler [2015-03-17 02:48:14] 719*2^1395596-1 is not prime. Res64: ED8A47DE29C5DEB7 Time : 0.0 sec. user=mdettweiler [2015-03-17 02:49:43] 735*2^1395596-1 is not prime. Res64: AAF23FFE6F8C8090 Time : 0.0 sec. user=mdettweiler [2015-03-17 02:49:44] 833*2^1395596-1 is not prime. Res64: 95908CD8461A012D Time : 0.0 sec. user=mdettweiler [2015-03-17 03:12:29] 983*2^1395596-1 is not prime. Res64: 5AA84C3E7B29538A Time : 0.0 sec. user=mdettweiler [2015-03-17 03:12:30] 607*2^1395597-1 is not prime. Res64: DE8E3E067CE66CE1 Time : 0.0 sec. user=mdettweiler [2015-03-17 03:14:31] 649*2^1395597-1 is not prime. Res64: F45A08AFDD5CA043 Time : 0.0 sec. user=mdettweiler [2015-03-17 03:14:32] 651*2^1395597-1 is not prime. Res64: 3BBF11A8AB58B284 Time : 0.0 sec. user=mdettweiler [2015-03-17 03:15:14] 885*2^1395597-1 is not prime. Res64: 26FB7D3D1C4EECAD Time : 0.0 sec. user=mdettweiler [2015-03-17 03:15:14] 949*2^1395597-1 is not prime. Res64: 24FAC255D983F990 Time : 0.0 sec. user=mdettweiler [2015-03-17 03:16:29] 647*2^1395598-1 is not prime. Res64: 41445BD3C4798DD7 Time : 0.0 sec. user=mdettweiler [2015-03-17 03:16:30] 657*2^1395598-1 is not prime. Res64: 3EAE0CAE1FD31963 Time : 0.0 sec. user=mdettweiler [2015-03-17 03:39:21] 687*2^1395598-1 is not prime. Res64: A4C295334A606EF0 Time : 0.0 sec. user=mdettweiler [2015-03-17 03:39:22] 891*2^1395598-1 is not prime. Res64: 6EB8736AE0135A3F Time : 0.0 sec. user=mdettweiler [2015-03-17 03:41:15] 923*2^1395598-1 is not prime. Res64: DDDF9ED9D87FE657 Time : 0.0 sec. user=mdettweiler [2015-03-17 03:41:16] 941*2^1395598-1 is not prime. Res64: 680F765C56B90F56 Time : 0.0 sec. user=mdettweiler [2015-03-17 03:42:04] 957*2^1395598-1 is not prime. Res64: CBB259DE403D2F6E Time : 0.0 sec. user=mdettweiler [2015-03-17 03:42:05] 971*2^1395598-1 is not prime. Res64: E586C1759CE12B3B Time : 0.0 sec. user=mdettweiler [2015-03-17 03:43:16] 993*2^1395598-1 is not prime. Res64: D5943D62719913B3 Time : 0.0 sec. user=mdettweiler [2015-03-17 03:43:16] 609*2^1395599-1 is not prime. Res64: BF85913633D5726B Time : 0.0 sec. user=mdettweiler [2015-03-17 04:06:19] 679*2^1395599-1 is not prime. Res64: 1C80DB75F705DD03 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:06:19] 705*2^1395599-1 is not prime. Res64: D0EB61B37B517CF3 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:08:00] 771*2^1395599-1 is not prime. Res64: E3312B8A7D7C0097 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:08:00] 895*2^1395599-1 is not prime. Res64: 6F0E769AA01F6453 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:09:03] 979*2^1395599-1 is not prime. Res64: 3F0DEC28999956ED Time : 0.0 sec. user=mdettweiler [2015-03-17 04:09:03] 609*2^1395600-1 is not prime. Res64: B8C1F7F6234A2063 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:10:04] 635*2^1395600-1 is not prime. Res64: E9C33D518B3587C8 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:10:05] 653*2^1395600-1 is not prime. Res64: 1AAAF88120CD0183 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:33:04] 689*2^1395600-1 is not prime. Res64: E835FD8C069015A8 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:33:04] 699*2^1395600-1 is not prime. Res64: 25D8D99B283A3208 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:34:39] 789*2^1395600-1 is not prime. Res64: FF6C3BAAE2CD8E85 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:34:40] 867*2^1395600-1 is not prime. Res64: C32C7FA02851673C Time : 0.0 sec. user=mdettweiler [2015-03-17 04:35:54] 875*2^1395600-1 is not prime. Res64: 67C7A016C4CA9289 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:35:55] 917*2^1395600-1 is not prime. Res64: 62B53A8EC3E3C5B3 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:36:48] 983*2^1395600-1 is not prime. Res64: ADF7B0C2EE22D871 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:36:49] 649*2^1395601-1 is not prime. Res64: 38B3D59C2A9888CB Time : 0.0 sec. user=mdettweiler [2015-03-17 04:59:41] 741*2^1395601-1 is not prime. Res64: 94ACA22DD6336555 Time : 0.0 sec. user=mdettweiler [2015-03-17 04:59:41] 747*2^1395601-1 is not prime. Res64: 2AFA755973FBF63B Time : 0.0 sec. user=mdettweiler [2015-03-17 05:01:17] 847*2^1395601-1 is not prime. Res64: 735D41AC87883AF1 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:01:18] 925*2^1395601-1 is not prime. Res64: E5127A96E1A492E8 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:02:30] 951*2^1395601-1 is not prime. Res64: F25ED66677559AE8 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:02:31] 731*2^1395602-1 is not prime. Res64: D84F2A9A218EF16F Time : 0.0 sec. user=mdettweiler [2015-03-17 05:03:22] 743*2^1395602-1 is not prime. Res64: 09446C0BCEB19379 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:03:23] 753*2^1395602-1 is not prime. Res64: 7F457017C39E838F Time : 0.0 sec. user=mdettweiler [2015-03-17 05:26:16] 791*2^1395602-1 is not prime. Res64: 54DF5F1994410D6A Time : 0.0 sec. user=mdettweiler [2015-03-17 05:26:16] 833*2^1395602-1 is not prime. Res64: 35AE95751C66AC13 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:27:50] 837*2^1395602-1 is not prime. Res64: 2BA1696E7802A290 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:27:51] 873*2^1395602-1 is not prime. Res64: 291B604CE2A6D9D4 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:29:07] 935*2^1395602-1 is not prime. Res64: 6180F94A29D83141 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:29:08] 963*2^1395602-1 is not prime. Res64: 55E09A35DF7957C7 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:29:53] 977*2^1395602-1 is not prime. Res64: FECB190ED419F1FE Time : 0.0 sec. user=mdettweiler [2015-03-17 05:29:54] 1001*2^1395602-1 is not prime. Res64: 7FFD475A83EDDE67 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:52:37] 615*2^1395603-1 is not prime. Res64: 957182CB2F4E391A Time : 0.0 sec. user=mdettweiler [2015-03-17 05:52:38] 709*2^1395603-1 is not prime. Res64: 49A4DA568B773542 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:54:21] 871*2^1395603-1 is not prime. Res64: 0FED4DADCF6CFE99 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:54:21] 969*2^1395603-1 is not prime. Res64: 8B79500CFC04CBCD Time : 0.0 sec. user=mdettweiler [2015-03-17 05:55:36] 657*2^1395604-1 is not prime. Res64: AB1ACF4B043DDE10 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:55:36] 695*2^1395604-1 is not prime. Res64: B3D1366067712F85 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:56:24] 773*2^1395604-1 is not prime. Res64: C34CCE73FB0EF669 Time : 0.0 sec. user=mdettweiler [2015-03-17 05:56:24] 923*2^1395604-1 is not prime. Res64: A5559A3F77A7FFA4 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:19:00] 953*2^1395604-1 is not prime. Res64: 5500C58E04BAEDA6 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:19:01] 969*2^1395604-1 is not prime. Res64: 5049B8B442FA4767 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:20:41] 993*2^1395604-1 is not prime. Res64: CEAF8BED8F2A7780 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:20:42] 619*2^1395605-1 is not prime. Res64: 3911B567FBFB4E46 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:21:54] 655*2^1395605-1 is not prime. Res64: B9DC9D7F9DCF853C Time : 0.0 sec. user=mdettweiler [2015-03-17 06:21:55] 771*2^1395605-1 is not prime. Res64: 9F77E7865170217A Time : 0.0 sec. user=mdettweiler [2015-03-17 06:22:50] 799*2^1395605-1 is not prime. Res64: D122210E76D400C3 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:22:51] 805*2^1395605-1 is not prime. Res64: 29A47020EABF647F Time : 0.0 sec. user=mdettweiler [2015-03-17 06:45:24] 871*2^1395605-1 is not prime. Res64: 23A0100F3E92A0BA Time : 0.0 sec. user=mdettweiler [2015-03-17 06:45:25] 889*2^1395605-1 is not prime. Res64: 0843E61D26331E39 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:47:02] 927*2^1395605-1 is not prime. Res64: 734615D11AE00D80 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:47:03] 707*2^1395606-1 is not prime. Res64: B64ACEFCC8CBFD75 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:48:23] 783*2^1395606-1 is not prime. Res64: 4DB2E18735F599D6 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:48:23] 917*2^1395606-1 is not prime. Res64: DA840B1579813ACD Time : 0.0 sec. user=mdettweiler [2015-03-17 06:49:08] 933*2^1395606-1 is not prime. Res64: 36636A1765725642 Time : 0.0 sec. user=mdettweiler [2015-03-17 06:49:08] 971*2^1395606-1 is not prime. Res64: 0DC120A8BE972D4E Time : 0.0 sec. user=mdettweiler [2015-03-17 07:12:04] 663*2^1395607-1 is not prime. Res64: FCC9B2E35133DFF2 Time : 0.0 sec. user=mdettweiler [2015-03-17 07:12:04] 759*2^1395607-1 is not prime. Res64: 9C067337A618DA8E Time : 0.0 sec. user=mdettweiler [2015-03-17 07:13:45] 861*2^1395607-1 is not prime. Res64: 26DE934CDF08CEBC Time : 0.0 sec. user=mdettweiler [2015-03-17 07:13:45] 909*2^1395607-1 is not prime. Res64: 165E225334E1B933 Time : 0.0 sec. user=mdettweiler [2015-03-17 07:15:08] 919*2^1395607-1 is not prime. Res64: 5943DE6A51381A4B Time : 0.0 sec. user=mdettweiler [2015-03-17 07:15:09] 993*2^1395607-1 is not prime. Res64: CA9DF7982B6F515D Time : 0.0 sec. user=mdettweiler [2015-03-17 07:15:49] 657*2^1395608-1 is not prime. Res64: EA8EBC6C461DB783 Time : 0.0 sec. user=mdettweiler [2015-03-17 07:15:49] 663*2^1395608-1 is not prime. Res64: DC39A782CC3C9CE4 Time : 0.0 sec. user=mdettweiler [2015-03-17 07:38:28] 683*2^1395608-1 is not prime. Res64: 987167F27657EA26 Time : 0.0 sec. user=mdettweiler [2015-03-17 07:38:28] 755*2^1395608-1 is not prime. Res64: 2737177AFC2C2E77 Time : 0.0 sec. user=mdettweiler [2015-03-17 07:40:02] 627*2^1395609-1 is not prime. Res64: 0FD1221D3B4AC4EC Time : 0.0 sec. user=mdettweiler [2015-03-17 07:40:02] 657*2^1395609-1 is not prime. Res64: 1E8A18B7AF787707 Time : 0.0 sec. user=mdettweiler [2015-03-17 07:41:30] 817*2^1395609-1 is not prime. Res64: 92955DCE011994E0 Time : 0.0 sec. user=mdettweiler [2015-03-17 07:41:31] 829*2^1395609-1 is not prime. Res64: FB1D56D07D5BEE90 Time : 0.0 sec. user=mdettweiler [2015-03-17 07:42:09] 865*2^1395609-1 is not prime. Res64: 79444AABA976076C Time : 0.0 sec. user=mdettweiler [2015-03-17 07:42:10] 877*2^1395609-1 is not prime. Res64: 6D57DF9B43A5E941 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:04:49] 885*2^1395609-1 is not prime. Res64: 9E6344C08A7082C2 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:04:51] 955*2^1395609-1 is not prime. Res64: 99C55594916EC08A Time : 0.0 sec. user=mdettweiler [2015-03-17 08:06:18] 717*2^1395610-1 is not prime. Res64: A3A3D8E15BF338A4 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:06:18] 731*2^1395610-1 is not prime. Res64: C84AB1F477FCCEA6 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:07:39] 825*2^1395610-1 is not prime. Res64: 392F31EC209D2704 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:07:39] 603*2^1395611-1 is not prime. Res64: F2CB256CC7387E72 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:08:32] 621*2^1395611-1 is not prime. Res64: 995B447E6C4664CA Time : 0.0 sec. user=mdettweiler [2015-03-17 08:08:32] 715*2^1395611-1 is not prime. Res64: 0400DF1FC0920927 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:31:15] 733*2^1395611-1 is not prime. Res64: 657511EA90ADA2A0 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:31:16] 955*2^1395611-1 is not prime. Res64: D96BD6A1074E9CA9 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:32:36] 991*2^1395611-1 is not prime. Res64: DAD335E5BA0D576F Time : 0.0 sec. user=mdettweiler [2015-03-17 08:32:37] 653*2^1395612-1 is not prime. Res64: BE3BAB966DB95DD8 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:33:57] 689*2^1395612-1 is not prime. Res64: 0498D4FB250F3EA8 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:33:57] 843*2^1395612-1 is not prime. Res64: BD18087A4D2AFC24 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:34:43] 857*2^1395612-1 is not prime. Res64: F2164DAFFAF334AB Time : 0.0 sec. user=mdettweiler [2015-03-17 08:34:43] 945*2^1395612-1 is not prime. Res64: 09CC7BBA875D0465 Time : 0.0 sec. user=mdettweiler [2015-03-17 08:57:34] 609*2^1395613-1 is not prime. Res64: 51E90857D24677AB Time : 0.0 sec. user=mdettweiler [2015-03-17 08:57:34] 769*2^1395613-1 is not prime. Res64: 8E69F5C1E70252FA Time : 0.0 sec. user=mdettweiler [2015-03-17 08:58:48] 663*2^1395614-1 is not prime. Res64: EB1FBBB94A3025BE Time : 0.0 sec. user=mdettweiler [2015-03-17 08:58:48] 683*2^1395614-1 is not prime. Res64: 31874D8607A9C975 Time : 0.0 sec. user=mdettweiler [2015-03-17 09:00:07] 687*2^1395614-1 is not prime. Res64: B071E7B7C3C5BF41 Time : 0.0 sec. user=mdettweiler [2015-03-17 09:00:08] 797*2^1395614-1 is not prime. Res64: D73F46334CE2435F Time : 0.0 sec. user=mdettweiler [2015-03-17 09:00:51] 813*2^1395614-1 is not prime. Res64: F946A17101C6965E Time : 0.0 sec. user=mdettweiler [2015-03-17 09:00:52] 873*2^1395614-1 is not prime. Res64: 1B0A1BC6D2F84A2C Time : 0.0 sec. user=juhehe [2015-03-17 13:07:20] 951*2^1395615-1 is not prime. Res64: 247E93008D85778F Time : 0.0 sec. user=mdettweiler [2015-03-17 14:17:28] 735*2^1395615-1 is not prime. Res64: 32EAF8738292CB37 Time : 0.0 sec. user=mdettweiler [2015-03-17 14:17:28] 685*2^1395615-1 is not prime. Res64: 5ADD24F618853FBE Time : 0.0 sec. user=mdettweiler [2015-03-17 14:17:29] 861*2^1395615-1 is not prime. Res64: 2774966575E78544 Time : 0.0 sec. user=mdettweiler [2015-03-17 14:17:29] 723*2^1395615-1 is not prime. Res64: EC90D57A59DD2D8A Time : 0.0 sec. user=mdettweiler [2015-03-17 14:17:35] 919*2^1395615-1 is not prime. Res64: D24BF085AA21D4A4 Time : 0.0 sec. user=mdettweiler [2015-03-17 14:17:36] 933*2^1395615-1 is not prime. Res64: 1FCFA267022AFF21 Time : 0.0 sec. user=mdettweiler [2015-03-17 14:17:44] 625*2^1395615-1 is not prime. Res64: 057896A39A386C4D Time : 0.0 sec. user=mdettweiler [2015-03-17 14:17:44] 663*2^1395615-1 is not prime. Res64: 05B359449BC159CA Time : 0.0 sec. user=juhehe [2015-03-17 20:12:54] 961*2^1395615-1 is not prime. Res64: F748A3E14D33EC01 Time : 0.0 sec. user=juhehe [2015-03-17 20:46:39] 999*2^1395615-1 is not prime. Res64: 23F983AF7BE6F16C Time : 0.0 sec. user=juhehe [2015-03-17 22:01:14] 623*2^1395616-1 is not prime. Res64: 2B2585F02449DDD9 Time : 0.0 sec. user=juhehe [2015-03-17 22:04:02] 705*2^1395616-1 is not prime. Res64: A7F559B75B6E1208 Time : 0.0 sec. user=juhehe [2015-03-17 22:36:11] 803*2^1395616-1 is not prime. Res64: 06A7100AF7F23E40 Time : 0.0 sec. user=juhehe [2015-03-17 23:45:12] 843*2^1395616-1 is not prime. Res64: 1974741BC3273908 Time : 0.0 sec.