user=mdettweiler [2013-05-11 00:02:54] 843*2^1245790-1 is not prime. Res64: 949DF2B2A672AAE8 Time : 0.0 sec. user=vaughan [2013-05-11 00:07:50] 945*2^1245790-1 is not prime. Res64: 6FB6022587F1377E Time : 0.0 sec. user=mdettweiler [2013-05-11 00:13:46] 975*2^1245790-1 is not prime. Res64: 5C5E2CE5C2607B43 Time : 0.0 sec. user=mdettweiler [2013-05-11 00:21:05] 693*2^1245791-1 is not prime. Res64: 6D2AAAC161B92C40 Time : 0.0 sec. user=mdettweiler [2013-05-11 00:21:05] 735*2^1245791-1 is not prime. Res64: 2897F5771AFB99D7 Time : 0.0 sec. user=mdettweiler [2013-05-11 00:39:06] 825*2^1245791-1 is not prime. Res64: 1E7B76F61323C6C4 Time : 0.0 sec. user=mdettweiler [2013-05-11 00:39:06] 955*2^1245791-1 is not prime. Res64: A901B9DF8852426F Time : 0.0 sec. user=mdettweiler [2013-05-11 00:51:26] 987*2^1245790-1 is not prime. Res64: 39E6CC0633B3F838 Time : 0.0 sec. user=mdettweiler [2013-05-11 00:57:09] 969*2^1245791-1 is not prime. Res64: 8F6AED21A7A8BF35 Time : 0.0 sec. user=mdettweiler [2013-05-11 00:57:09] 979*2^1245791-1 is not prime. Res64: 58F21428DFDC1519 Time : 0.0 sec. user=mdettweiler [2013-05-11 01:09:28] 629*2^1245792-1 is not prime. Res64: C58A0CA4600D707F Time : 0.0 sec. user=mdettweiler [2013-05-11 01:15:22] 803*2^1245792-1 is not prime. Res64: 33361B8D9035057E Time : 0.0 sec. user=vaughan [2013-05-11 01:28:39] 991*2^1245791-1 is not prime. Res64: 9036E5B21D2B7CC7 Time : 0.0 sec. user=mdettweiler [2013-05-11 01:42:56] 945*2^1245792-1 is not prime. Res64: 5D6787BB447ACB90 Time : 0.0 sec. user=mdettweiler [2013-05-11 01:46:13] 747*2^1245792-1 is not prime. Res64: 806E7BAA3A17EA95 Time : 0.0 sec. user=mdettweiler [2013-05-11 02:01:03] 727*2^1245793-1 is not prime. Res64: EFB321BAC08974E8 Time : 0.0 sec. user=mdettweiler [2013-05-11 02:04:14] 829*2^1245793-1 is not prime. Res64: E9B4B40BB1E19863 Time : 0.0 sec. user=mdettweiler [2013-05-11 02:04:14] 855*2^1245793-1 is not prime. Res64: D447DCEC954196B5 Time : 0.0 sec. user=vaughan [2013-05-11 02:07:11] 637*2^1245793-1 is not prime. Res64: 9337110A1E224A3E Time : 0.0 sec. user=mdettweiler [2013-05-11 02:22:52] 867*2^1245793-1 is not prime. Res64: 39D2FD59AD5B21C1 Time : 0.0 sec. user=mdettweiler [2013-05-11 02:22:52] 915*2^1245793-1 is not prime. Res64: 92D729F05BE50343 Time : 0.0 sec. user=mdettweiler [2013-05-11 02:26:03] 817*2^1245793-1 is not prime. Res64: 044115083B9C7646 Time : 0.0 sec. user=mdettweiler [2013-05-11 02:40:50] 919*2^1245793-1 is not prime. Res64: 6D56D8C3B4C1BE1B Time : 0.0 sec. user=mdettweiler [2013-05-11 02:40:52] 623*2^1245794-1 is not prime. Res64: D51BC5D172FADB21 Time : 0.0 sec. user=mdettweiler [2013-05-11 02:59:27] 641*2^1245794-1 is not prime. Res64: 0CD349C1E9FAA8A9 Time : 0.0 sec. user=mdettweiler [2013-05-11 02:59:27] 671*2^1245794-1 is not prime. Res64: 743E0052DC29DA25 Time : 0.0 sec. user=mdettweiler [2013-05-11 03:03:23] 815*2^1245794-1 is not prime. Res64: 8B748DEF9F63D434 Time : 0.0 sec. user=mdettweiler [2013-05-11 03:03:24] 837*2^1245794-1 is not prime. Res64: 20ACA3F6C189B842 Time : 0.0 sec. user=mdettweiler [2013-05-11 03:17:46] 873*2^1245794-1 is not prime. Res64: A9BFF4959478376A Time : 0.0 sec. user=mdettweiler [2013-05-11 03:21:35] 601*2^1245795-1 is not prime. Res64: D17DBC636888FAC5 Time : 0.0 sec. user=vaughan [2013-05-11 03:22:58] 743*2^1245794-1 is not prime. Res64: 7C0761699906F2EA Time : 0.0 sec. user=mdettweiler [2013-05-11 03:43:11] 885*2^1245794-1 is not prime. Res64: C1F7015DBC14102F Time : 0.0 sec. user=mdettweiler [2013-05-11 03:49:43] 613*2^1245795-1 is not prime. Res64: 50936BE8ADCE12CC Time : 0.0 sec. user=mdettweiler [2013-05-11 04:29:43] 951*2^1245795-1 is not prime. Res64: 27E3E0E9D2A604F5 Time : 0.0 sec. user=mdettweiler [2013-05-11 04:29:43] 963*2^1245795-1 is not prime. Res64: A958C8F49287EAFD Time : 0.0 sec. user=mdettweiler [2013-05-11 04:38:21] 677*2^1245796-1 is not prime. Res64: D6645B1094C5F372 Time : 0.0 sec. user=mdettweiler [2013-05-11 04:38:22] 735*2^1245796-1 is not prime. Res64: B214F401F236AE53 Time : 0.0 sec. user=vaughan [2013-05-11 04:38:43] 669*2^1245795-1 is not prime. Res64: 240C8DB2B9178CD7 Time : 0.0 sec. user=mdettweiler [2013-05-11 04:47:39] 845*2^1245796-1 is not prime. Res64: 628B94D995E977DA Time : 0.0 sec. user=mdettweiler [2013-05-11 04:47:40] 855*2^1245796-1 is not prime. Res64: 73EC671035437EC9 Time : 0.0 sec. user=mdettweiler [2013-05-11 04:56:33] 947*2^1245796-1 is not prime. Res64: 08D27324FF879EF5 Time : 0.0 sec. user=mdettweiler [2013-05-11 05:05:36] 697*2^1245797-1 is not prime. Res64: 8F1DF19305F6E7AF Time : 0.0 sec. user=mdettweiler [2013-05-11 05:05:53] 747*2^1245797-1 is not prime. Res64: 8BBF1781223293DD Time : 0.0 sec. user=vaughan [2013-05-11 05:17:04] 631*2^1245797-1 is not prime. Res64: F90877AEC5DBD752 Time : 0.0 sec. user=mdettweiler [2013-05-11 05:25:04] 983*2^1245796-1 is not prime. Res64: B2FEDBD6EA87C079 Time : 0.0 sec. user=mdettweiler [2013-05-11 05:52:54] 777*2^1245797-1 is not prime. Res64: 968356E5758BA173 Time : 0.0 sec. user=vaughan [2013-05-11 05:55:41] 757*2^1245797-1 is not prime. Res64: A42DBE35252BABE5 Time : 0.0 sec. user=mdettweiler [2013-05-11 06:15:22] 871*2^1245797-1 is not prime. Res64: 16387AB009C32E9B Time : 0.0 sec. user=mdettweiler [2013-05-11 06:22:07] 931*2^1245797-1 is not prime. Res64: 072B3258899025D8 Time : 0.0 sec. user=vaughan [2013-05-11 06:34:10] 901*2^1245797-1 is not prime. Res64: 0252F46ACB50F7F6 Time : 0.0 sec. user=mdettweiler [2013-05-11 06:58:31] 981*2^1245797-1 is not prime. Res64: E574481E9CDBE5C0 Time : 0.0 sec. user=mdettweiler [2013-05-11 07:00:38] 707*2^1245798-1 is not prime. Res64: 96BEBFECAC014C0E Time : 0.0 sec. user=vaughan [2013-05-11 07:12:45] 663*2^1245798-1 is not prime. Res64: B77D985AF380FE50 Time : 0.0 sec. user=mdettweiler [2013-05-11 07:38:08] 713*2^1245798-1 is not prime. Res64: B78A2E5B28CAF8C5 Time : 0.0 sec. user=mdettweiler [2013-05-11 07:53:39] 815*2^1245798-1 is not prime. Res64: 6EB7A51B208D347F Time : 0.0 sec. user=mdettweiler [2013-05-11 07:53:40] 893*2^1245798-1 is not prime. Res64: 8E7DB6E7D9DA90BB Time : 0.0 sec. user=mdettweiler [2013-05-11 07:57:12] 927*2^1245798-1 is not prime. Res64: 6B581EFD4D4AA69A Time : 0.0 sec. user=mdettweiler [2013-05-11 08:11:51] 793*2^1245799-1 is not prime. Res64: B14859AE07238D84 Time : 0.0 sec. user=vaughan [2013-05-11 08:28:20] 663*2^1245799-1 is not prime. Res64: 48E9BFDCF68893AC Time : 0.0 sec. user=mdettweiler [2013-05-11 08:36:31] 1001*2^1245798-1 is not prime. Res64: A3CB1224CB938EC2 Time : 0.0 sec. user=mdettweiler [2013-05-11 08:49:40] 813*2^1245799-1 is not prime. Res64: 0462D6C2DE396259 Time : 0.0 sec. user=mdettweiler [2013-05-11 08:54:51] 841*2^1245799-1 is not prime. Res64: 82EE549F1C9F7A88 Time : 0.0 sec. user=vaughan [2013-05-11 09:06:29] 831*2^1245799-1 is not prime. Res64: 54711167888220BF Time : 0.0 sec. user=mdettweiler [2013-05-11 09:21:27] 883*2^1245799-1 is not prime. Res64: EDF90449F30DBA73 Time : 0.0 sec. user=mdettweiler [2013-05-11 09:32:28] 735*2^1245800-1 is not prime. Res64: 544B0A7BD61E3426 Time : 0.0 sec. user=mdettweiler [2013-05-11 09:39:43] 839*2^1245800-1 is not prime. Res64: 47FFB064317F2746 Time : 0.0 sec. user=mdettweiler [2013-05-11 09:39:43] 681*2^1245801-1 is not prime. Res64: 82054A3A2A678F9E Time : 0.0 sec. user=vaughan [2013-05-11 09:44:55] 629*2^1245800-1 is not prime. Res64: 45A7669630DA0DFE Time : 0.0 sec. user=mdettweiler [2013-05-11 09:50:55] 797*2^1245800-1 is not prime. Res64: 03579D6B42C723A8 Time : 0.0 sec. user=mdettweiler [2013-05-11 09:57:44] 747*2^1245801-1 is not prime. Res64: 8214C3633799CA0B Time : 0.0 sec. user=mdettweiler [2013-05-11 09:57:44] 807*2^1245801-1 is not prime. Res64: BD467F14C9336CF5 Time : 0.0 sec. user=mdettweiler [2013-05-11 10:09:13] 847*2^1245801-1 is not prime. Res64: 393DC9B5B07C044E Time : 0.0 sec. user=mdettweiler [2013-05-11 10:09:15] 861*2^1245801-1 is not prime. Res64: 722E1BC035D8CF0E Time : 0.0 sec. user=mdettweiler [2013-05-11 10:15:53] 949*2^1245801-1 is not prime. Res64: 5E9DCCD37E694DC8 Time : 0.0 sec. user=mdettweiler [2013-05-11 10:29:19] 987*2^1245801-1 is not prime. Res64: B15788B0E1C968E4 Time : 0.0 sec. user=mdettweiler [2013-05-11 10:29:20] 617*2^1245802-1 is not prime. Res64: E2016AEB44F42E7C Time : 0.0 sec. user=mdettweiler [2013-05-11 10:39:17] 951*2^1245801-1 is not prime. Res64: 460B26B3D2A171BF Time : 0.0 sec. user=mdettweiler [2013-05-11 10:47:23] 621*2^1245802-1 is not prime. Res64: 06F8ECDDC9728B2A Time : 0.0 sec. user=mdettweiler [2013-05-11 10:47:23] 651*2^1245802-1 is not prime. Res64: B426B690F4D0168F Time : 0.0 sec. user=mdettweiler [2013-05-11 10:57:29] 657*2^1245802-1 is not prime. Res64: AA0CEA670EE261DA Time : 0.0 sec. user=vaughan [2013-05-11 11:05:15] 969*2^1245801-1 is not prime. Res64: A2BEAF0C7C83138C Time : 0.0 sec. user=mdettweiler [2013-05-11 11:05:37] 705*2^1245802-1 is not prime. Res64: DFAB4BBC82F4B5C9 Time : 0.0 sec. user=mdettweiler [2013-05-11 11:24:09] 741*2^1245802-1 is not prime. Res64: A4B7A0EF5820BE6D Time : 0.0 sec. user=mdettweiler [2013-05-11 11:28:42] 681*2^1245802-1 is not prime. Res64: 4EAC0735B375B105 Time : 0.0 sec. user=mdettweiler [2013-05-11 11:42:41] 873*2^1245802-1 is not prime. Res64: E3F7BFF10E663DFD Time : 0.0 sec. user=vaughan [2013-05-11 11:43:43] 831*2^1245802-1 is not prime. Res64: 901794D37E7CC1A7 Time : 0.0 sec. user=mdettweiler [2013-05-11 11:46:53] 609*2^1245803-1 is not prime. Res64: F284B129ACD8DFF0 Time : 0.0 sec. user=mdettweiler [2013-05-11 12:09:02] 675*2^1245803-1 is not prime. Res64: 396FDBFDBF0241BA Time : 0.0 sec. user=mdettweiler [2013-05-11 12:09:12] 923*2^1245802-1 is not prime. Res64: 0A27869CC293E3FF Time : 0.0 sec. user=mdettweiler [2013-05-11 12:26:59] 719*2^1245804-1 is not prime. Res64: 580980BFE50A356D Time : 0.0 sec. user=mdettweiler [2013-05-11 12:26:59] 825*2^1245804-1 is not prime. Res64: E1838CD94A43B14C Time : 0.0 sec. user=vaughan [2013-05-11 12:27:17] 981*2^1245803-1 is not prime. Res64: FA8D9E89CAD53CC2 Time : 0.0 sec. user=mdettweiler [2013-05-11 12:27:17] 843*2^1245804-1 is not prime. Res64: 38E34965A7AEA5E5 Time : 0.0 sec. user=mdettweiler [2013-05-11 12:45:26] 887*2^1245804-1 is not prime. Res64: 44637095924F16E2 Time : 0.0 sec. user=mdettweiler [2013-05-11 12:49:03] 873*2^1245804-1 is not prime. Res64: 8D1007D2B2123623 Time : 0.0 sec. user=mdettweiler [2013-05-11 13:07:11] 649*2^1245805-1 is not prime. Res64: E86A435A718E4094 Time : 0.0 sec. user=mdettweiler [2013-05-11 13:10:27] 607*2^1245805-1 is not prime. Res64: C21B234EC1C41146 Time : 0.0 sec. user=mdettweiler [2013-05-11 13:28:44] 867*2^1245805-1 is not prime. Res64: 38C4449C765DF555 Time : 0.0 sec. user=mdettweiler [2013-05-11 13:28:45] 897*2^1245805-1 is not prime. Res64: 2CC89C2DE8DB9536 Time : 0.0 sec. user=mdettweiler [2013-05-11 13:37:34] 741*2^1245805-1 is not prime. Res64: 0475814445536E80 Time : 0.0 sec. user=mdettweiler [2013-05-11 13:47:27] 997*2^1245805-1 is not prime. Res64: CFBF84AD38DD3E91 Time : 0.0 sec. user=mdettweiler [2013-05-11 13:47:27] 683*2^1245806-1 is not prime. Res64: ECE684B87A3D9248 Time : 0.0 sec. user=vaughan [2013-05-11 13:50:17] 919*2^1245805-1 is not prime. Res64: 8408D25B5BBF6A7F Time : 0.0 sec. user=mdettweiler [2013-05-11 13:55:37] 717*2^1245806-1 is not prime. Res64: 16647C1AB93C7901 Time : 0.0 sec. user=mdettweiler [2013-05-11 13:55:37] 767*2^1245806-1 is not prime. Res64: C79E86389BD36434 Time : 0.0 sec. user=mdettweiler [2013-05-11 14:05:59] 831*2^1245806-1 is not prime. Res64: 1AE2AE33476828ED Time : 0.0 sec. user=mdettweiler [2013-05-11 14:14:24] 887*2^1245806-1 is not prime. Res64: A3041938F3442EA1 Time : 0.0 sec. user=mdettweiler [2013-05-11 14:14:24] 693*2^1245807-1 is not prime. Res64: A83CE469ACC2040C Time : 0.0 sec. user=vaughan [2013-05-11 14:28:27] 851*2^1245806-1 is not prime. Res64: 954350B87B029471 Time : 0.0 sec. user=mdettweiler [2013-05-11 14:32:35] 705*2^1245807-1 is not prime. Res64: DC87206010847D52 Time : 0.0 sec. user=mdettweiler [2013-05-11 14:32:36] 741*2^1245807-1 is not prime. Res64: 91E0681EDC586B27 Time : 0.0 sec. user=mdettweiler [2013-05-11 14:37:06] 843*2^1245806-1 is not prime. Res64: 4D0228D7BF769F5B Time : 0.0 sec. user=mdettweiler [2013-05-11 14:50:55] 781*2^1245807-1 is not prime. Res64: 73DB02DF91D3BD1A Time : 0.0 sec. user=mdettweiler [2013-05-11 14:50:56] 885*2^1245807-1 is not prime. Res64: A450E627423C20A0 Time : 0.0 sec. user=mdettweiler [2013-05-11 14:55:27] 901*2^1245807-1 is not prime. Res64: FA0380F290C3CC3A Time : 0.0 sec. user=mdettweiler [2013-05-11 14:55:28] 931*2^1245807-1 is not prime. Res64: 6CFB08D4693D10CE Time : 0.0 sec. user=vaughan [2013-05-11 15:07:04] 775*2^1245807-1 is not prime. Res64: 7392FCE7618BD0C9 Time : 0.0 sec. user=mdettweiler [2013-05-11 15:08:48] 955*2^1245807-1 is not prime. Res64: EA7939E9431C93FA Time : 0.0 sec. user=mdettweiler [2013-05-11 15:08:48] 677*2^1245808-1 is not prime. Res64: CB351D0D58EB0743 Time : 0.0 sec. user=mdettweiler [2013-05-11 15:13:38] 735*2^1245808-1 is not prime. Res64: 458DA5D0D30D4DA2 Time : 0.0 sec. user=mdettweiler [2013-05-11 15:13:38] 863*2^1245808-1 is not prime. Res64: EC8C0598914CA245 Time : 0.0 sec. user=mdettweiler [2013-05-11 15:27:06] 905*2^1245808-1 is not prime. Res64: 2722D14F87A82E33 Time : 0.0 sec. user=mdettweiler [2013-05-11 15:31:58] 933*2^1245808-1 is not prime. Res64: 78B9164A2FDF1B7B Time : 0.0 sec. user=mdettweiler [2013-05-11 16:00:55] 927*2^1245808-1 is not prime. Res64: B2A35777DBF6402A Time : 0.0 sec. user=mdettweiler [2013-05-11 16:10:13] 649*2^1245809-1 is not prime. Res64: 5E60CB6D47A581F0 Time : 0.0 sec. user=mdettweiler [2013-05-11 16:19:20] 897*2^1245809-1 is not prime. Res64: 1C829F97532806D6 Time : 0.0 sec. user=vaughan [2013-05-11 16:22:48] 699*2^1245809-1 is not prime. Res64: B6F93F2A137F293D Time : 0.0 sec. user=mdettweiler [2013-05-11 16:28:23] 641*2^1245810-1 is not prime. Res64: 3409A3C3084780DD Time : 0.0 sec. user=mdettweiler [2013-05-11 16:28:24] 665*2^1245810-1 is not prime. Res64: 92CDFE910976D862 Time : 0.0 sec. user=mdettweiler [2013-05-11 16:46:42] 797*2^1245810-1 is not prime. Res64: CC355194D8C338AD Time : 0.0 sec. user=mdettweiler [2013-05-11 16:46:43] 851*2^1245810-1 is not prime. Res64: B024710680597B39 Time : 0.0 sec. user=mdettweiler [2013-05-11 16:57:22] 949*2^1245809-1 is not prime. Res64: 7CC39E5DE7305211 Time : 0.0 sec. user=mdettweiler [2013-05-11 17:04:48] 625*2^1245811-1 is not prime. Res64: 89BC71EBFDC87E2E Time : 0.0 sec. user=mdettweiler [2013-05-11 17:04:49] 639*2^1245811-1 is not prime. Res64: C3BFB7A42EADD746 Time : 0.0 sec. user=mdettweiler [2013-05-11 17:23:50] 709*2^1245811-1 is not prime. Res64: 80B362AEA7EE9116 Time : 0.0 sec. user=vaughan [2013-05-11 17:38:17] 679*2^1245811-1 is not prime. Res64: 3FDF6F9FA4040951 Time : 0.0 sec. user=mdettweiler [2013-05-11 17:51:24] 793*2^1245811-1 is not prime. Res64: 3B62E988B39A7E56 Time : 0.0 sec. user=mdettweiler [2013-05-11 17:51:25] 951*2^1245811-1 is not prime. Res64: CBA1250EE28358AA Time : 0.0 sec. user=mdettweiler [2013-05-11 17:54:52] 723*2^1245811-1 is not prime. Res64: 01B399D42718E7A8 Time : 0.0 sec. user=mdettweiler [2013-05-11 18:09:49] 633*2^1245812-1 is not prime. Res64: A62AB1A2AADE97BA Time : 0.0 sec. user=mdettweiler [2013-05-11 18:09:50] 687*2^1245812-1 is not prime. Res64: 55900E44DA881A56 Time : 0.0 sec. user=vaughan [2013-05-11 18:16:42] 629*2^1245812-1 is not prime. Res64: 6E1246C3170731A6 Time : 0.0 sec. user=mdettweiler [2013-05-11 18:28:05] 803*2^1245812-1 is not prime. Res64: F596C5325690126C Time : 0.0 sec. user=mdettweiler [2013-05-11 18:35:38] 903*2^1245812-1 is not prime. Res64: 8DF5A0999C2AD500 Time : 0.0 sec. user=mdettweiler [2013-05-11 18:35:39] 935*2^1245812-1 is not prime. Res64: 0BEC7FD72D40421F Time : 0.0 sec. user=mdettweiler [2013-05-11 18:54:41] 987*2^1245812-1 is not prime. Res64: 413B62BDDCEE6A23 Time : 0.0 sec. user=mdettweiler [2013-05-11 18:54:42] 685*2^1245813-1 is not prime. Res64: 578F1B361E731713 Time : 0.0 sec. user=vaughan [2013-05-11 18:55:01] 899*2^1245812-1 is not prime. Res64: 0057B5426A3D7835 Time : 0.0 sec. user=mdettweiler [2013-05-11 18:55:43] 897*2^1245812-1 is not prime. Res64: F6EE642AA083E3DD Time : 0.0 sec. user=mdettweiler [2013-05-11 19:13:02] 889*2^1245813-1 is not prime. Res64: 19DE1448D6F5CF6A Time : 0.0 sec. user=mdettweiler [2013-05-11 19:13:03] 895*2^1245813-1 is not prime. Res64: 7BF4A081BE2F5A11 Time : 0.0 sec. user=mdettweiler [2013-05-11 19:15:07] 999*2^1245813-1 is not prime. Res64: 1FF04385F2AC30B0 Time : 0.0 sec. user=mdettweiler [2013-05-11 19:31:35] 665*2^1245814-1 is not prime. Res64: 4C21DA57F044B8A9 Time : 0.0 sec. user=mdettweiler [2013-05-11 19:37:52] 617*2^1245814-1 is not prime. Res64: EF915109EA75E251 Time : 0.0 sec. user=mdettweiler [2013-05-11 19:56:15] 881*2^1245814-1 is not prime. Res64: 116235F024B851A3 Time : 0.0 sec. user=mdettweiler [2013-05-11 19:56:15] 923*2^1245814-1 is not prime. Res64: 985822CB90B45978 Time : 0.0 sec. user=vaughan [2013-05-11 20:10:22] 791*2^1245814-1 is not prime. Res64: 9552280068F44F9B Time : 0.0 sec. user=mdettweiler [2013-05-11 20:15:15] 971*2^1245814-1 is not prime. Res64: 3FB7C94166EE2365 Time : 0.0 sec. user=mdettweiler [2013-05-11 20:29:05] 737*2^1245814-1 is not prime. Res64: DDE3D68618001B3A Time : 0.0 sec. user=mdettweiler [2013-05-11 20:45:46] 987*2^1245814-1 is not prime. Res64: F9E471EB4777FC3F Time : 0.0 sec. user=vaughan [2013-05-11 20:48:54] 633*2^1245815-1 is not prime. Res64: 5653D65EA48ED862 Time : 0.0 sec. user=mdettweiler [2013-05-11 21:05:42] 645*2^1245815-1 is not prime. Res64: C29BD6F42039E14D Time : 0.0 sec. user=mdettweiler [2013-05-11 21:05:44] 649*2^1245815-1 is not prime. Res64: 767C36B3E246FA6B Time : 0.0 sec. user=mdettweiler [2013-05-11 21:23:56] 655*2^1245815-1 is not prime. Res64: E8205D0368820BFC Time : 0.0 sec. user=mdettweiler [2013-05-11 21:23:56] 663*2^1245815-1 is not prime. Res64: FFBE91D429FE6134 Time : 0.0 sec. user=mdettweiler [2013-05-11 21:26:33] 721*2^1245815-1 is not prime. Res64: 96D70577BB5CF291 Time : 0.0 sec. user=vaughan [2013-05-11 21:27:21] 651*2^1245815-1 is not prime. Res64: 8A30D9EA0CD07756 Time : 0.0 sec. user=mdettweiler [2013-05-11 21:42:04] 843*2^1245815-1 is not prime. Res64: 39CFC086B4F6BC46 Time : 0.0 sec. user=mdettweiler [2013-05-11 21:42:05] 855*2^1245815-1 is not prime. Res64: E329FCB44F8AF850 Time : 0.0 sec. user=mdettweiler [2013-05-11 21:58:00] 753*2^1245815-1 is not prime. Res64: 2048B3D74A7E16E0 Time : 0.0 sec. user=mdettweiler [2013-05-11 22:00:07] 913*2^1245815-1 is not prime. Res64: 9F0D05676FD7C8C8 Time : 0.0 sec. user=mdettweiler [2013-05-11 22:00:08] 921*2^1245815-1 is not prime. Res64: 4302B7BA6D565E20 Time : 0.0 sec. user=vaughan [2013-05-11 22:05:32] 883*2^1245815-1 is not prime. Res64: E745641D2D14B372 Time : 0.0 sec. user=mdettweiler [2013-05-11 22:16:02] 657*2^1245816-1 is not prime. Res64: 8B1FC8CCA64F273F Time : 0.0 sec. user=mdettweiler [2013-05-11 22:16:03] 669*2^1245816-1 is not prime. Res64: 27A5F6B653641B2C Time : 0.0 sec. user=mdettweiler [2013-05-11 22:19:34] 683*2^1245816-1 is not prime. Res64: 9FDCF7C460914922 Time : 0.0 sec. user=mdettweiler [2013-05-11 22:34:20] 857*2^1245816-1 is not prime. Res64: 214C1049114310BE Time : 0.0 sec. user=vaughan [2013-05-11 22:44:03] 777*2^1245816-1 is not prime. Res64: 43DCBD38B6F8AB09 Time : 0.0 sec. user=mdettweiler [2013-05-11 22:57:34] 767*2^1245816-1 is not prime. Res64: F6E062B4B7853364 Time : 0.0 sec. user=mdettweiler [2013-05-11 23:04:18] 909*2^1245816-1 is not prime. Res64: 6F034CFBCA01F1E4 Time : 0.0 sec. user=mdettweiler [2013-05-11 23:15:59] 615*2^1245817-1 is not prime. Res64: D003237147C0EBFA Time : 0.0 sec. user=mdettweiler [2013-05-11 23:15:59] 649*2^1245817-1 is not prime. Res64: AB10A0866A1B2A4B Time : 0.0 sec. user=mdettweiler [2013-05-11 23:22:39] 835*2^1245817-1 is not prime. Res64: 30A566229BC545A5 Time : 0.0 sec. user=mdettweiler [2013-05-11 23:22:39] 901*2^1245817-1 is not prime. Res64: CED79E59F7D2AFB4 Time : 0.0 sec. user=vaughan [2013-05-11 23:27:38] 947*2^1245816-1 is not prime. Res64: 15936B42411D8A08 Time : 0.0 sec. user=mdettweiler [2013-05-11 23:34:08] 919*2^1245817-1 is not prime. Res64: 704474A46CF6C869 Time : 0.0 sec. user=mdettweiler [2013-05-11 23:34:08] 641*2^1245818-1 is not prime. Res64: 4857DAB158AA8381 Time : 0.0 sec. user=mdettweiler [2013-05-11 23:41:07] 665*2^1245818-1 is not prime. Res64: 712991ABE003A4A6 Time : 0.0 sec. user=mdettweiler [2013-05-11 23:51:59] 813*2^1245818-1 is not prime. Res64: 86C9E9469A46284B Time : 0.0 sec. user=mdettweiler [2013-05-11 23:52:16] 815*2^1245818-1 is not prime. Res64: 587C695B79B3EAE4 Time : 0.0 sec.