user=mdettweiler [2012-09-05 00:09:07] 847*2^1228173-1 is not prime. Res64: 34C1AC1EEB14BFC4 Time : 0.0 sec. user=mdettweiler [2012-09-05 00:09:12] 861*2^1228173-1 is not prime. Res64: 797768B73C24E862 Time : 0.0 sec. user=mdettweiler [2012-09-05 00:09:15] 999*2^1228173-1 is not prime. Res64: 9E3C9C3631D5751D Time : 0.0 sec. user=mdettweiler [2012-09-05 00:09:16] 605*2^1228174-1 is not prime. Res64: 4ED2BAFF691CF8CB Time : 0.0 sec. user=vaughan [2012-09-05 00:22:43] 829*2^1228173-1 is not prime. Res64: B04ED93B845306CF Time : 0.0 sec. user=mdettweiler [2012-09-05 00:30:05] 675*2^1228174-1 is not prime. Res64: 59E2DACE12C685DA Time : 0.0 sec. user=mdettweiler [2012-09-05 00:30:06] 681*2^1228174-1 is not prime. Res64: 2875B29BE3C92424 Time : 0.0 sec. user=mdettweiler [2012-09-05 00:30:08] 861*2^1228174-1 is not prime. Res64: 8FAF62F7130A63CA Time : 0.0 sec. user=mdettweiler [2012-09-05 00:30:10] 881*2^1228174-1 is not prime. Res64: DABD38E15BFAAE2B Time : 0.0 sec. user=mdettweiler [2012-09-05 00:50:43] 651*2^1228175-1 is not prime. Res64: 345FA1EAB499A4B7 Time : 0.0 sec. user=mdettweiler [2012-09-05 00:50:44] 685*2^1228175-1 is not prime. Res64: 59B3871071603C6F Time : 0.0 sec. user=mdettweiler [2012-09-05 00:50:46] 735*2^1228175-1 is not prime. Res64: 68958ED58EE8FCEA Time : 0.0 sec. user=mdettweiler [2012-09-05 00:50:47] 741*2^1228175-1 is not prime. Res64: 9E8CB4106C35D19E Time : 0.0 sec. user=vaughan [2012-09-05 01:00:02] 945*2^1228174-1 is not prime. Res64: E900532B1C43C162 Time : 0.0 sec. user=mdettweiler [2012-09-05 01:11:20] 843*2^1228175-1 is not prime. Res64: BEA7531837C73D75 Time : 0.0 sec. user=mdettweiler [2012-09-05 01:11:22] 915*2^1228175-1 is not prime. Res64: AEBAE68013AFDDF2 Time : 0.0 sec. user=mdettweiler [2012-09-05 01:11:23] 939*2^1228175-1 is not prime. Res64: 2420840C22B45886 Time : 0.0 sec. user=mdettweiler [2012-09-05 01:11:25] 981*2^1228175-1 is not prime. Res64: BE1FE8B5D3D27064 Time : 0.0 sec. user=mdettweiler [2012-09-05 01:32:06] 717*2^1228176-1 is not prime. Res64: 6C90CF72732B6D7C Time : 0.0 sec. user=mdettweiler [2012-09-05 01:32:08] 843*2^1228176-1 is not prime. Res64: 265EE6F492B0708D Time : 0.0 sec. user=mdettweiler [2012-09-05 01:32:08] 715*2^1228177-1 is not prime. Res64: 39CCB44F6A2E4455 Time : 0.0 sec. user=mdettweiler [2012-09-05 01:32:09] 747*2^1228177-1 is not prime. Res64: 4E9A138705DF7537 Time : 0.0 sec. user=vaughan [2012-09-05 01:37:21] 705*2^1228176-1 is not prime. Res64: 920F573FDC973A73 Time : 0.0 sec. user=mdettweiler [2012-09-05 01:53:02] 817*2^1228177-1 is not prime. Res64: 3533C59BE96DB833 Time : 0.0 sec. user=mdettweiler [2012-09-05 01:53:03] 937*2^1228177-1 is not prime. Res64: 2B47938CE2EC57EC Time : 0.0 sec. user=mdettweiler [2012-09-05 01:53:03] 849*2^1228177-1 is not prime. Res64: 414720F807B00C9E Time : 0.0 sec. user=mdettweiler [2012-09-05 01:53:04] 939*2^1228177-1 is not prime. Res64: ECB6E59044E4DE48 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:13:47] 995*2^1228178-1 is not prime. Res64: E9E86B4267B9A239 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:13:49] 663*2^1228179-1 is not prime. Res64: 083D292187392ED5 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:13:50] 685*2^1228179-1 is not prime. Res64: 2D3BD08689E01B68 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:13:52] 751*2^1228179-1 is not prime. Res64: 801287EDDBE58CD7 Time : 0.0 sec. user=vaughan [2012-09-05 02:14:37] 857*2^1228178-1 is not prime. Res64: E54C371E5D5351D3 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:34:40] 789*2^1228179-1 is not prime. Res64: 384E8840BDD4BD35 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:34:42] 903*2^1228179-1 is not prime. Res64: 241A53007EAE3821 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:34:44] 931*2^1228179-1 is not prime. Res64: 9751C52D5928B7AD Time : 0.0 sec. user=mdettweiler [2012-09-05 02:34:47] 955*2^1228179-1 is not prime. Res64: 2BE8CDA8B361FB9B Time : 0.0 sec. user=vaughan [2012-09-05 02:51:55] 605*2^1228180-1 is not prime. Res64: 134D32003E385151 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:55:36] 609*2^1228180-1 is not prime. Res64: 3250780B1D92F365 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:55:37] 695*2^1228180-1 is not prime. Res64: 472E354D28C0D3E1 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:55:40] 759*2^1228180-1 is not prime. Res64: 75F0750065A77627 Time : 0.0 sec. user=mdettweiler [2012-09-05 02:55:41] 765*2^1228180-1 is not prime. Res64: 3330946E97ACD388 Time : 0.0 sec. user=mdettweiler [2012-09-05 03:16:15] 897*2^1228180-1 is not prime. Res64: BA378FD2FD35485B Time : 0.0 sec. user=mdettweiler [2012-09-05 03:16:16] 909*2^1228180-1 is not prime. Res64: E1431F5F6CAD7F5F Time : 0.0 sec. user=mdettweiler [2012-09-05 03:16:17] 615*2^1228181-1 is not prime. Res64: FA0A5784E44A9EA1 Time : 0.0 sec. user=mdettweiler [2012-09-05 03:16:17] 879*2^1228181-1 is not prime. Res64: 260D6AABB54E4B43 Time : 0.0 sec. user=vaughan [2012-09-05 03:29:25] 885*2^1228180-1 is not prime. Res64: 6539173639C596B5 Time : 0.0 sec. user=mdettweiler [2012-09-05 03:36:54] 885*2^1228181-1 is not prime. Res64: 7A9F5E5CD301AAA5 Time : 0.0 sec. user=mdettweiler [2012-09-05 03:36:57] 873*2^1228182-1 is not prime. Res64: E7409DF309D74E82 Time : 0.0 sec. user=mdettweiler [2012-09-05 03:36:59] 693*2^1228182-1 is not prime. Res64: 321DBFA964F8DF7F Time : 0.0 sec. user=mdettweiler [2012-09-05 03:37:03] 915*2^1228182-1 is not prime. Res64: 666D5B99A36247EF Time : 0.0 sec. user=mdettweiler [2012-09-05 03:58:21] 621*2^1228183-1 is not prime. Res64: 35256DAC3C345B8B Time : 0.0 sec. user=mdettweiler [2012-09-05 03:58:22] 663*2^1228183-1 is not prime. Res64: 5D8D383226133DE1 Time : 0.0 sec. user=mdettweiler [2012-09-05 03:58:28] 703*2^1228183-1 is not prime. Res64: 4CE26F7FE3E2E69B Time : 0.0 sec. user=mdettweiler [2012-09-05 03:58:29] 709*2^1228183-1 is not prime. Res64: CB72A939F7EBDBA3 Time : 0.0 sec. user=vaughan [2012-09-05 04:06:46] 951*2^1228182-1 is not prime. Res64: 9C7C4342CDFE434F Time : 0.0 sec. user=mdettweiler [2012-09-05 04:18:59] 723*2^1228183-1 is not prime. Res64: AAFB71700DD136D9 Time : 0.0 sec. user=mdettweiler [2012-09-05 04:19:00] 763*2^1228183-1 is not prime. Res64: 4CFFDCDAAF5B6668 Time : 0.0 sec. user=mdettweiler [2012-09-05 04:19:07] 999*2^1228183-1 is not prime. Res64: 76EF51059CEEDA68 Time : 0.0 sec. user=mdettweiler [2012-09-05 04:19:08] 803*2^1228184-1 is not prime. Res64: C8375663E05E836D Time : 0.0 sec. user=mdettweiler [2012-09-05 04:39:42] 873*2^1228184-1 is not prime. Res64: F2E0417CFD240AE0 Time : 0.0 sec. user=mdettweiler [2012-09-05 04:39:44] 897*2^1228184-1 is not prime. Res64: 9F36DE56A3076F19 Time : 0.0 sec. user=mdettweiler [2012-09-05 04:39:47] 927*2^1228184-1 is not prime. Res64: 01A11E99BEBF8AAD Time : 0.0 sec. user=mdettweiler [2012-09-05 04:39:48] 969*2^1228184-1 is not prime. Res64: 4B33F2CF2AD604AD Time : 0.0 sec. user=vaughan [2012-09-05 04:44:16] 837*2^1228184-1 is not prime. Res64: 9F5370CAABB41999 Time : 0.0 sec. user=mdettweiler [2012-09-05 05:00:25] 609*2^1228185-1 is not prime. Res64: 7975642EBBA89982 Time : 0.0 sec. user=mdettweiler [2012-09-05 05:00:27] 651*2^1228185-1 is not prime. Res64: C4A68449DA626250 Time : 0.0 sec. user=mdettweiler [2012-09-05 05:00:29] 669*2^1228185-1 is not prime. Res64: 5B64EC05494E346E Time : 0.0 sec. user=mdettweiler [2012-09-05 05:00:32] 699*2^1228185-1 is not prime. Res64: 4CBE1707ABB2B88C Time : 0.0 sec. user=mdettweiler [2012-09-05 05:21:28] 889*2^1228185-1 is not prime. Res64: 262A389788C97FDC Time : 0.0 sec. user=mdettweiler [2012-09-05 05:21:29] 985*2^1228185-1 is not prime. Res64: EEA27B6C435B0849 Time : 0.0 sec. user=mdettweiler [2012-09-05 05:21:33] 635*2^1228186-1 is not prime. Res64: C6E5BB5BB79CFDC5 Time : 0.0 sec. user=mdettweiler [2012-09-05 05:21:34] 657*2^1228186-1 is not prime. Res64: 85FFEB35730A463E Time : 0.0 sec. user=vaughan [2012-09-05 05:21:36] 817*2^1228185-1 is not prime. Res64: C8E60BAECD350AAE Time : 0.0 sec. user=mdettweiler [2012-09-05 05:42:07] 803*2^1228186-1 is not prime. Res64: A4A5EFE4CD4E4B04 Time : 0.0 sec. user=mdettweiler [2012-09-05 05:42:08] 833*2^1228186-1 is not prime. Res64: 616EEE89F3BAE79A Time : 0.0 sec. user=mdettweiler [2012-09-05 05:42:09] 633*2^1228187-1 is not prime. Res64: 46C4C0C8E709DF7D Time : 0.0 sec. user=mdettweiler [2012-09-05 05:42:10] 685*2^1228187-1 is not prime. Res64: BECE3619B3649872 Time : 0.0 sec. user=vaughan [2012-09-05 05:58:56] 861*2^1228187-1 is not prime. Res64: 48120C94F4BC78B0 Time : 0.0 sec. user=mdettweiler [2012-09-05 06:02:45] 879*2^1228187-1 is not prime. Res64: B6B422AD14454ADA Time : 0.0 sec. user=mdettweiler [2012-09-05 06:02:47] 889*2^1228187-1 is not prime. Res64: FD18FAA7461C214A Time : 0.0 sec. user=mdettweiler [2012-09-05 06:02:49] 773*2^1228188-1 is not prime. Res64: 3D842D3766085271 Time : 0.0 sec. user=mdettweiler [2012-09-05 06:02:50] 797*2^1228188-1 is not prime. Res64: D488C95F7B91A062 Time : 0.0 sec. user=mdettweiler [2012-09-05 06:23:24] 845*2^1228188-1 is not prime. Res64: 54C8E0ACF33A44D1 Time : 0.0 sec. user=mdettweiler [2012-09-05 06:23:26] 879*2^1228188-1 is not prime. Res64: 5919B0FB1A94F4A5 Time : 0.0 sec. user=mdettweiler [2012-09-05 06:23:28] 893*2^1228188-1 is not prime. Res64: F2B00434DAE0F2AC Time : 0.0 sec. user=mdettweiler [2012-09-05 06:23:29] 909*2^1228188-1 is not prime. Res64: 6A57CA915C1E5E04 Time : 0.0 sec. user=vaughan [2012-09-05 06:36:15] 803*2^1228188-1 is not prime. Res64: 454AA379C40915A9 Time : 0.0 sec. user=mdettweiler [2012-09-05 06:44:03] 927*2^1228188-1 is not prime. Res64: 3FA1930A306C44B8 Time : 0.0 sec. user=mdettweiler [2012-09-05 06:44:04] 601*2^1228189-1 is not prime. Res64: C82AE6A18DD6D23A Time : 0.0 sec. user=mdettweiler [2012-09-05 06:44:07] 661*2^1228189-1 is not prime. Res64: 28FBB870313B2EE2 Time : 0.0 sec. user=mdettweiler [2012-09-05 06:44:07] 985*2^1228189-1 is not prime. Res64: FC895BC56833B1D1 Time : 0.0 sec. user=mdettweiler [2012-09-05 07:04:41] 635*2^1228190-1 is not prime. Res64: F6738353BF3D5C91 Time : 0.0 sec. user=mdettweiler [2012-09-05 07:04:43] 851*2^1228190-1 is not prime. Res64: ECDFBE80C9760702 Time : 0.0 sec. user=mdettweiler [2012-09-05 07:04:44] 785*2^1228190-1 is not prime. Res64: 6F3B5BC04363E1AF Time : 0.0 sec. user=mdettweiler [2012-09-05 07:04:45] 971*2^1228190-1 is not prime. Res64: 9E55530AD091387E Time : 0.0 sec. user=vaughan [2012-09-05 07:13:32] 987*2^1228189-1 is not prime. Res64: 1928DDA5B9B7656C Time : 0.0 sec. user=juhehe [2012-09-05 07:14:37] 603*2^1228190-1 is not prime. Res64: F24D2DC2E81668C0 Time : 0.0 sec. user=mdettweiler [2012-09-05 07:25:31] 693*2^1228191-1 is not prime. Res64: 8AEB31F70581E01D Time : 0.0 sec. user=mdettweiler [2012-09-05 07:25:32] 625*2^1228191-1 is not prime. Res64: E129798FABCEF0D8 Time : 0.0 sec. user=mdettweiler [2012-09-05 07:25:32] 751*2^1228191-1 is not prime. Res64: 466A7A56CC681CA3 Time : 0.0 sec. user=mdettweiler [2012-09-05 07:25:33] 679*2^1228191-1 is not prime. Res64: 2E3A2E56DFC0BE2D Time : 0.0 sec. user=mdettweiler [2012-09-05 07:46:12] 873*2^1228191-1 is not prime. Res64: E0300D245B9958F5 Time : 0.0 sec. user=mdettweiler [2012-09-05 07:46:13] 949*2^1228191-1 is not prime. Res64: 41DFA35326C2A6E8 Time : 0.0 sec. user=mdettweiler [2012-09-05 07:46:14] 999*2^1228191-1 is not prime. Res64: 8B2E28F9D0FBC148 Time : 0.0 sec. user=mdettweiler [2012-09-05 07:46:15] 605*2^1228192-1 is not prime. Res64: 9D3582C6EDA3221F Time : 0.0 sec. user=juhehe [2012-09-05 07:49:02] 805*2^1228191-1 is not prime. Res64: 8DF84C21455F66F3 Time : 0.0 sec. user=vaughan [2012-09-05 07:51:08] 775*2^1228191-1 is not prime. Res64: 4F854009644CE849 Time : 0.0 sec. user=mdettweiler [2012-09-05 08:06:52] 693*2^1228192-1 is not prime. Res64: 70D77E304AC8C651 Time : 0.0 sec. user=mdettweiler [2012-09-05 08:06:55] 843*2^1228192-1 is not prime. Res64: D9F93C4C95293F01 Time : 0.0 sec. user=mdettweiler [2012-09-05 08:06:58] 719*2^1228192-1 is not prime. Res64: 0E9F2A8E9A0D4E4B Time : 0.0 sec. user=mdettweiler [2012-09-05 08:07:02] 863*2^1228192-1 is not prime. Res64: 7D4FBB39B629F144 Time : 0.0 sec. user=juhehe [2012-09-05 08:22:27] 917*2^1228192-1 is not prime. Res64: A33767B1FEC763FB Time : 0.0 sec. user=mdettweiler [2012-09-05 08:28:01] 957*2^1228192-1 is not prime. Res64: 065699219F3C5774 Time : 0.0 sec. user=mdettweiler [2012-09-05 08:28:03] 965*2^1228192-1 is not prime. Res64: D972C19728189B12 Time : 0.0 sec. user=mdettweiler [2012-09-05 08:28:08] 651*2^1228193-1 is not prime. Res64: 11CA002045C0478C Time : 0.0 sec. user=mdettweiler [2012-09-05 08:28:09] 831*2^1228193-1 is not prime. Res64: FDD7EE989B53DC0B Time : 0.0 sec. user=vaughan [2012-09-05 08:28:27] 939*2^1228192-1 is not prime. Res64: BB3DB1C243B4A3B9 Time : 0.0 sec. user=mdettweiler [2012-09-05 08:48:41] 937*2^1228193-1 is not prime. Res64: 7D569B3B7E135842 Time : 0.0 sec. user=mdettweiler [2012-09-05 08:48:41] 955*2^1228193-1 is not prime. Res64: 578532BC22CB14B0 Time : 0.0 sec. user=mdettweiler [2012-09-05 08:48:43] 969*2^1228193-1 is not prime. Res64: 4B37BDB5B229B0C0 Time : 0.0 sec. user=mdettweiler [2012-09-05 08:48:43] 611*2^1228194-1 is not prime. Res64: D6E1BA736A26C46A Time : 0.0 sec. user=juhehe [2012-09-05 08:55:51] 879*2^1228193-1 is not prime. Res64: 82F289ABB7EDB93D Time : 0.0 sec. user=vaughan [2012-09-05 09:05:46] 677*2^1228194-1 is not prime. Res64: 5DC21B91902E1857 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:09:11] 927*2^1228194-1 is not prime. Res64: 688B9B3F8A21A8D3 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:09:12] 705*2^1228195-1 is not prime. Res64: 9B14CDFCA87BD573 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:09:13] 709*2^1228195-1 is not prime. Res64: 365FA08EE3BE7FA3 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:09:14] 861*2^1228195-1 is not prime. Res64: 014FD5A46F1E8BFE Time : 0.0 sec. user=juhehe [2012-09-05 09:29:12] 871*2^1228195-1 is not prime. Res64: 2D168F17E40EF692 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:29:46] 603*2^1228196-1 is not prime. Res64: 62A5A6D818687E39 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:29:46] 693*2^1228196-1 is not prime. Res64: A98379B53BAB9B40 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:29:49] 759*2^1228197-1 is not prime. Res64: A19EFAE334E91889 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:29:50] 781*2^1228197-1 is not prime. Res64: C6656F7823BF4853 Time : 0.0 sec. user=vaughan [2012-09-05 09:43:25] 999*2^1228195-1 is not prime. Res64: 1C9C45216C626B0B Time : 0.0 sec. user=mdettweiler [2012-09-05 09:50:17] 885*2^1228197-1 is not prime. Res64: 995B0FC561ECF691 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:50:17] 891*2^1228197-1 is not prime. Res64: 69E302234B3D7963 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:50:19] 991*2^1228197-1 is not prime. Res64: 714C41384AA03E01 Time : 0.0 sec. user=mdettweiler [2012-09-05 09:50:20] 603*2^1228198-1 is not prime. Res64: 1F2D55F85AF56700 Time : 0.0 sec. user=mdettweiler [2012-09-05 10:10:59] 993*2^1228198-1 is not prime. Res64: 1D10EA3B277775EC Time : 0.0 sec. user=mdettweiler [2012-09-05 10:11:00] 995*2^1228198-1 is not prime. Res64: 629F1DB39ED072D5 Time : 0.0 sec. user=mdettweiler [2012-09-05 10:11:06] 773*2^1228198-1 is not prime. Res64: A4F0DD84C0E2CCFF Time : 0.0 sec. user=mdettweiler [2012-09-05 10:11:06] 821*2^1228198-1 is not prime. Res64: A6C753096FAC9CF8 Time : 0.0 sec. user=vaughan [2012-09-05 10:20:41] 765*2^1228198-1 is not prime. Res64: 2DD76974F7B38DB3 Time : 0.0 sec. user=mdettweiler [2012-09-05 10:31:55] 741*2^1228199-1 is not prime. Res64: 62630571243CD1BB Time : 0.0 sec. user=mdettweiler [2012-09-05 10:31:55] 811*2^1228199-1 is not prime. Res64: DA58C5FCCD8925B3 Time : 0.0 sec. user=mdettweiler [2012-09-05 10:31:55] 913*2^1228199-1 is not prime. Res64: E9FA84B1C4EFB907 Time : 0.0 sec. user=mdettweiler [2012-09-05 10:31:55] 969*2^1228199-1 is not prime. Res64: E1B1A3B066193AEE Time : 0.0 sec. user=mdettweiler [2012-09-05 10:53:07] 725*2^1228200-1 is not prime. Res64: BA3DD002D74CF171 Time : 0.0 sec. user=mdettweiler [2012-09-05 10:53:07] 845*2^1228200-1 is not prime. Res64: 66140AFE7C3B0FB9 Time : 0.0 sec. user=mdettweiler [2012-09-05 10:53:08] 899*2^1228200-1 is not prime. Res64: ABB45B63365EDEAA Time : 0.0 sec. user=mdettweiler [2012-09-05 10:53:08] 737*2^1228200-1 is not prime. Res64: E5BE283378BA0CFC Time : 0.0 sec. user=vaughan [2012-09-05 10:57:59] 707*2^1228200-1 is not prime. Res64: 68DC964A1E2E552F Time : 0.0 sec. user=mdettweiler [2012-09-05 11:14:03] 607*2^1228201-1 is not prime. Res64: EAACAB7389261214 Time : 0.0 sec. user=mdettweiler [2012-09-05 11:14:04] 741*2^1228201-1 is not prime. Res64: 8432B2393D5F3416 Time : 0.0 sec. user=mdettweiler [2012-09-05 11:14:08] 861*2^1228201-1 is not prime. Res64: 5A8AA9CC628C18F7 Time : 0.0 sec. user=mdettweiler [2012-09-05 11:14:11] 937*2^1228201-1 is not prime. Res64: A286EEAE18587D29 Time : 0.0 sec. user=mdettweiler [2012-09-05 11:35:18] 957*2^1228201-1 is not prime. Res64: 5B505C155611584D Time : 0.0 sec. user=mdettweiler [2012-09-05 11:35:19] 979*2^1228201-1 is not prime. Res64: A913792538277EF7 Time : 0.0 sec. user=vaughan [2012-09-05 11:35:19] 945*2^1228201-1 is not prime. Res64: 2BDA1B7E2176DD4E Time : 0.0 sec. user=mdettweiler [2012-09-05 11:35:20] 731*2^1228202-1 is not prime. Res64: F9AD5CC4A6B4FB0A Time : 0.0 sec. user=mdettweiler [2012-09-05 11:35:20] 755*2^1228202-1 is not prime. Res64: 28B742AA10C03449 Time : 0.0 sec. user=mdettweiler [2012-09-05 11:56:23] 921*2^1228202-1 is not prime. Res64: 2B9BB0417356B486 Time : 0.0 sec. user=mdettweiler [2012-09-05 11:56:24] 995*2^1228202-1 is not prime. Res64: 20F080253A210A2C Time : 0.0 sec. user=mdettweiler [2012-09-05 11:56:24] 957*2^1228202-1 is not prime. Res64: 8A4318BE31CA7A7E Time : 0.0 sec. user=mdettweiler [2012-09-05 11:56:25] 769*2^1228203-1 is not prime. Res64: 8B66D4B090E35594 Time : 0.0 sec. user=vaughan [2012-09-05 12:12:39] 609*2^1228203-1 is not prime. Res64: 6D6B7E3F97EA618D Time : 0.0 sec. user=mdettweiler [2012-09-05 12:17:29] 853*2^1228203-1 is not prime. Res64: F2604592751C8F22 Time : 0.0 sec. user=mdettweiler [2012-09-05 12:17:30] 895*2^1228203-1 is not prime. Res64: 72F41F5024E62A6A Time : 0.0 sec. user=mdettweiler [2012-09-05 12:17:31] 695*2^1228204-1 is not prime. Res64: 636443C44A2FA3AB Time : 0.0 sec. user=mdettweiler [2012-09-05 12:17:31] 843*2^1228204-1 is not prime. Res64: BA29A38C2003A697 Time : 0.0 sec. user=mdettweiler [2012-09-05 12:38:32] 651*2^1228205-1 is not prime. Res64: 34718A08464C4963 Time : 0.0 sec. user=mdettweiler [2012-09-05 12:38:32] 721*2^1228205-1 is not prime. Res64: A369D507A2A177C8 Time : 0.0 sec. user=mdettweiler [2012-09-05 12:38:33] 669*2^1228205-1 is not prime. Res64: C2FF5E57F92FC0A4 Time : 0.0 sec. user=mdettweiler [2012-09-05 12:38:33] 787*2^1228205-1 is not prime. Res64: 0B33D350426F41D5 Time : 0.0 sec. user=vaughan [2012-09-05 12:50:04] 975*2^1228204-1 is not prime. Res64: 91D1B6101420F83A Time : 0.0 sec. user=mdettweiler [2012-09-05 12:59:35] 683*2^1228206-1 is not prime. Res64: 635189BF922640AF Time : 0.0 sec. user=mdettweiler [2012-09-05 12:59:35] 705*2^1228206-1 is not prime. Res64: 87B063F107ED120E Time : 0.0 sec. user=mdettweiler [2012-09-05 12:59:35] 747*2^1228206-1 is not prime. Res64: 2583B94EEF63F1CD Time : 0.0 sec. user=mdettweiler [2012-09-05 12:59:36] 783*2^1228206-1 is not prime. Res64: ECABCBC2423638C3 Time : 0.0 sec. user=mdettweiler [2012-09-05 13:20:46] 859*2^1228207-1 is not prime. Res64: 41523FC2097C7A72 Time : 0.0 sec. user=mdettweiler [2012-09-05 13:20:46] 885*2^1228207-1 is not prime. Res64: FFB96AEE199C7ECE Time : 0.0 sec. user=mdettweiler [2012-09-05 13:20:47] 685*2^1228207-1 is not prime. Res64: DBFB379E3B291521 Time : 0.0 sec. user=mdettweiler [2012-09-05 13:20:47] 705*2^1228207-1 is not prime. Res64: 41C8E3038C5F9296 Time : 0.0 sec. user=vaughan [2012-09-05 13:27:20] 893*2^1228206-1 is not prime. Res64: D3BB83E7730DCEDD Time : 0.0 sec. user=mdettweiler [2012-09-05 13:41:50] 961*2^1228207-1 is not prime. Res64: 4F8CB5B86718110D Time : 0.0 sec. user=mdettweiler [2012-09-05 13:41:51] 629*2^1228208-1 is not prime. Res64: E2CA6792602AAE74 Time : 0.0 sec. user=mdettweiler [2012-09-05 13:41:51] 663*2^1228208-1 is not prime. Res64: 649284E25EBF8645 Time : 0.0 sec. user=mdettweiler [2012-09-05 13:41:52] 735*2^1228208-1 is not prime. Res64: 22A2103E7E9DCCEC Time : 0.0 sec. user=mdettweiler [2012-09-05 14:02:55] 753*2^1228208-1 is not prime. Res64: A1CE26265C8A7234 Time : 0.0 sec. user=mdettweiler [2012-09-05 14:02:56] 839*2^1228208-1 is not prime. Res64: B33279D114BDDC89 Time : 0.0 sec. user=mdettweiler [2012-09-05 14:02:58] 813*2^1228208-1 is not prime. Res64: DB971BD9CE3E7272 Time : 0.0 sec. user=mdettweiler [2012-09-05 14:02:58] 845*2^1228208-1 is not prime. Res64: 63E0AD68E6059C65 Time : 0.0 sec. user=vaughan [2012-09-05 14:04:41] 743*2^1228208-1 is not prime. Res64: FA261081827D5C86 Time : 0.0 sec. user=mdettweiler [2012-09-05 14:23:51] 915*2^1228208-1 is not prime. Res64: C9E3BEA8AF6C5EBC Time : 0.0 sec. user=mdettweiler [2012-09-05 14:23:52] 705*2^1228209-1 is not prime. Res64: 177A67705001C6AA Time : 0.0 sec. user=mdettweiler [2012-09-05 14:23:52] 721*2^1228209-1 is not prime. Res64: EA282C098F895B26 Time : 0.0 sec. user=mdettweiler [2012-09-05 14:23:53] 727*2^1228209-1 is not prime. Res64: EB83AEA5B1782CC0 Time : 0.0 sec. user=vaughan [2012-09-05 14:42:04] 765*2^1228209-1 is not prime. Res64: BEBD685BEBD79962 Time : 0.0 sec. user=mdettweiler [2012-09-05 14:44:39] 997*2^1228209-1 is not prime. Res64: D0D95D77FEA1CDA8 Time : 0.0 sec. user=mdettweiler [2012-09-05 14:44:40] 861*2^1228209-1 is not prime. Res64: 6048B905FE1063B8 Time : 0.0 sec. user=mdettweiler [2012-09-05 14:44:40] 645*2^1228210-1 is not prime. Res64: 2113C549F2015F2D Time : 0.0 sec. user=mdettweiler [2012-09-05 14:44:40] 949*2^1228209-1 is not prime. Res64: DF14BFC77391707E Time : 0.0 sec. user=mdettweiler [2012-09-05 15:05:17] 833*2^1228210-1 is not prime. Res64: 68B0DA6586C68D72 Time : 0.0 sec. user=mdettweiler [2012-09-05 15:05:20] 643*2^1228211-1 is not prime. Res64: 258D8B19C5CA7A53 Time : 0.0 sec. user=mdettweiler [2012-09-05 15:05:23] 619*2^1228211-1 is not prime. Res64: 00A962D9AB48FCB2 Time : 0.0 sec. user=mdettweiler [2012-09-05 15:05:24] 741*2^1228211-1 is not prime. Res64: 22BCDF74F3E9FA7D Time : 0.0 sec. user=vaughan [2012-09-05 15:19:21] 831*2^1228210-1 is not prime. Res64: F1CEB0A75FC66054 Time : 0.0 sec. user=mdettweiler [2012-09-05 15:26:22] 753*2^1228211-1 is not prime. Res64: 5AE20C9E232263D7 Time : 0.0 sec. user=mdettweiler [2012-09-05 15:26:24] 775*2^1228211-1 is not prime. Res64: 2D7C1EA06515512F Time : 0.0 sec. user=mdettweiler [2012-09-05 15:26:27] 829*2^1228211-1 is not prime. Res64: F60D90684266C35E Time : 0.0 sec. user=mdettweiler [2012-09-05 15:26:29] 841*2^1228211-1 is not prime. Res64: D49CF23465894227 Time : 0.0 sec. user=mdettweiler [2012-09-05 15:47:04] 969*2^1228211-1 is not prime. Res64: 2001FA146AE5AB2E Time : 0.0 sec. user=mdettweiler [2012-09-05 15:47:05] 973*2^1228211-1 is not prime. Res64: 25A212C6D275BFDF Time : 0.0 sec. user=mdettweiler [2012-09-05 15:47:07] 627*2^1228212-1 is not prime. Res64: EDC5C18426E315D7 Time : 0.0 sec. user=mdettweiler [2012-09-05 15:47:07] 657*2^1228212-1 is not prime. Res64: 0268C764962CF735 Time : 0.0 sec. user=vaughan [2012-09-05 15:56:40] 931*2^1228211-1 is not prime. Res64: 71E491BF38EEF91A Time : 0.0 sec. user=mdettweiler [2012-09-05 16:07:45] 695*2^1228212-1 is not prime. Res64: 6E3B9D50AFCC8ED6 Time : 0.0 sec. user=mdettweiler [2012-09-05 16:07:46] 669*2^1228212-1 is not prime. Res64: BD42560524DE6786 Time : 0.0 sec. user=mdettweiler [2012-09-05 16:07:47] 809*2^1228212-1 is not prime. Res64: 1D26D772063562EE Time : 0.0 sec. user=mdettweiler [2012-09-05 16:07:48] 675*2^1228212-1 is not prime. Res64: 8BE1A60CF446FB23 Time : 0.0 sec. user=mdettweiler [2012-09-05 16:28:32] 935*2^1228212-1 is not prime. Res64: 83410EAC95397FF4 Time : 0.0 sec. user=mdettweiler [2012-09-05 16:28:33] 957*2^1228212-1 is not prime. Res64: 87C5B43B37258179 Time : 0.0 sec. user=mdettweiler [2012-09-05 16:28:35] 965*2^1228212-1 is not prime. Res64: 0FEB8AC8BC47772F Time : 0.0 sec. user=mdettweiler [2012-09-05 16:28:36] 999*2^1228213-1 is not prime. Res64: 02225659BC4D9CD9 Time : 0.0 sec. user=vaughan [2012-09-05 16:33:59] 903*2^1228212-1 is not prime. Res64: FC211DC4A83B7D5A Time : 0.0 sec. user=mdettweiler [2012-09-05 16:49:11] 755*2^1228214-1 is not prime. Res64: 76E36E35F3E6E621 Time : 0.0 sec. user=mdettweiler [2012-09-05 16:49:11] 827*2^1228214-1 is not prime. Res64: 33DB7164C320BC83 Time : 0.0 sec. user=mdettweiler [2012-09-05 16:49:12] 677*2^1228214-1 is not prime. Res64: 28523B1F208626BC Time : 0.0 sec. user=mdettweiler [2012-09-05 16:49:13] 693*2^1228214-1 is not prime. Res64: 104C489C4E3005FE Time : 0.0 sec. user=mdettweiler [2012-09-05 17:09:46] 903*2^1228214-1 is not prime. Res64: E658D85C7336C462 Time : 0.0 sec. user=mdettweiler [2012-09-05 17:09:47] 995*2^1228214-1 is not prime. Res64: 50209F5C2B77C404 Time : 0.0 sec. user=mdettweiler [2012-09-05 17:09:48] 915*2^1228214-1 is not prime. Res64: 021E19F344021623 Time : 0.0 sec. user=mdettweiler [2012-09-05 17:09:49] 1001*2^1228214-1 is not prime. Res64: BAFFF1EEC6691936 Time : 0.0 sec. user=vaughan [2012-09-05 17:11:16] 851*2^1228214-1 is not prime. Res64: EE1E4E353AE86356 Time : 0.0 sec. user=mdettweiler [2012-09-05 17:30:37] 691*2^1228215-1 is not prime. Res64: 2F4C95B2172B1335 Time : 0.0 sec. user=mdettweiler [2012-09-05 17:30:38] 739*2^1228215-1 is not prime. Res64: 9B39A77003A32CE3 Time : 0.0 sec. user=mdettweiler [2012-09-05 17:30:42] 741*2^1228215-1 is not prime. Res64: B83F5B77EE799F20 Time : 0.0 sec. user=mdettweiler [2012-09-05 17:30:42] 775*2^1228215-1 is not prime. Res64: 9FD057AA09961E12 Time : 0.0 sec. user=vaughan [2012-09-05 17:48:38] 973*2^1228215-1 is not prime. Res64: 3981E2C11C58861F Time : 0.0 sec. user=mdettweiler [2012-09-05 17:51:17] 985*2^1228215-1 is not prime. Res64: 5C0EBB6A5A106D01 Time : 0.0 sec. user=mdettweiler [2012-09-05 17:51:18] 603*2^1228216-1 is not prime. Res64: 3B985829FAD7B59C Time : 0.0 sec. user=mdettweiler [2012-09-05 17:51:20] 663*2^1228216-1 is not prime. Res64: F5398746D984A43B Time : 0.0 sec. user=mdettweiler [2012-09-05 17:51:21] 735*2^1228216-1 is not prime. Res64: 794A279EF20B4460 Time : 0.0 sec. user=mdettweiler [2012-09-05 18:11:55] 855*2^1228216-1 is not prime. Res64: 9FBE1DD731936F48 Time : 0.0 sec. user=mdettweiler [2012-09-05 18:11:56] 993*2^1228216-1 is not prime. Res64: 5C21F46351299AE5 Time : 0.0 sec. user=mdettweiler [2012-09-05 18:11:56] 873*2^1228216-1 is not prime. Res64: CA8443355799720C Time : 0.0 sec. user=mdettweiler [2012-09-05 18:11:57] 847*2^1228217-1 is not prime. Res64: 68C689DE77F5561D Time : 0.0 sec. user=vaughan [2012-09-05 18:25:56] 803*2^1228216-1 is not prime. Res64: 071871C0DC85575C Time : 0.0 sec. user=mdettweiler [2012-09-05 18:33:10] 861*2^1228217-1 is not prime. Res64: 85DE9A001DBE31C7 Time : 0.0 sec. user=mdettweiler [2012-09-05 18:33:12] 801*2^1228218-1 is not prime. Res64: 37B5BD039BDDFC7B Time : 0.0 sec. user=mdettweiler [2012-09-05 18:33:15] 867*2^1228218-1 is not prime. Res64: 63C0E7B4D0C675A5 Time : 0.0 sec. user=mdettweiler [2012-09-05 18:33:15] 887*2^1228218-1 is not prime. Res64: 28E5954245539B33 Time : 0.0 sec. user=mdettweiler [2012-09-05 18:54:30] 621*2^1228219-1 is not prime. Res64: 47BAEB6ABE0A29BD Time : 0.0 sec. user=mdettweiler [2012-09-05 18:54:31] 685*2^1228219-1 is not prime. Res64: FD55136D12F092BA Time : 0.0 sec. user=mdettweiler [2012-09-05 18:54:34] 769*2^1228219-1 is not prime. Res64: BC10EFEF29E2B0DF Time : 0.0 sec. user=mdettweiler [2012-09-05 18:54:34] 841*2^1228219-1 is not prime. Res64: EC3B9DEBB63667E8 Time : 0.0 sec. user=vaughan [2012-09-05 19:03:17] 619*2^1228219-1 is not prime. Res64: 678429CA37286430 Time : 0.0 sec. user=mdettweiler [2012-09-05 19:15:40] 853*2^1228219-1 is not prime. Res64: FA480BD69DD74177 Time : 0.0 sec. user=mdettweiler [2012-09-05 19:15:42] 979*2^1228219-1 is not prime. Res64: 24164A092B0A08F8 Time : 0.0 sec. user=mdettweiler [2012-09-05 19:15:47] 677*2^1228220-1 is not prime. Res64: 3A07A964F1A259F6 Time : 0.0 sec. user=mdettweiler [2012-09-05 19:15:48] 717*2^1228220-1 is not prime. Res64: BAEF12E5F7CE2A14 Time : 0.0 sec. user=mdettweiler [2012-09-05 19:36:59] 785*2^1228220-1 is not prime. Res64: 8BD483696CCD6FDF Time : 0.0 sec. user=mdettweiler [2012-09-05 19:36:59] 957*2^1228220-1 is not prime. Res64: 59517244F2BF34FE Time : 0.0 sec. user=mdettweiler [2012-09-05 19:36:59] 609*2^1228221-1 is not prime. Res64: 6CBEDA50651A5E3C Time : 0.0 sec. user=mdettweiler [2012-09-05 19:37:00] 661*2^1228221-1 is not prime. Res64: 438018A08A7D0F31 Time : 0.0 sec. user=vaughan [2012-09-05 19:40:40] 735*2^1228220-1 is not prime. Res64: 4A7803D00E07324B Time : 0.0 sec. user=mdettweiler [2012-09-05 19:58:05] 717*2^1228221-1 is not prime. Res64: CE96670BFBAE916F Time : 0.0 sec. user=mdettweiler [2012-09-05 19:58:05] 811*2^1228221-1 is not prime. Res64: 6C7134C20F38D3CD Time : 0.0 sec. user=mdettweiler [2012-09-05 19:58:06] 837*2^1228221-1 is not prime. Res64: 4DA176931BA9269F Time : 0.0 sec. user=mdettweiler [2012-09-05 19:58:06] 847*2^1228221-1 is not prime. Res64: 07AF9A5B2E38DACC Time : 0.0 sec. user=vaughan [2012-09-05 20:18:00] 849*2^1228221-1 is not prime. Res64: 85B5C4D9AC9D175D Time : 0.0 sec. user=mdettweiler [2012-09-05 20:19:07] 921*2^1228221-1 is not prime. Res64: 6A5E2464ECEC861F Time : 0.0 sec. user=mdettweiler [2012-09-05 20:19:07] 815*2^1228222-1 is not prime. Res64: E813C59AB67051A0 Time : 0.0 sec. user=mdettweiler [2012-09-05 20:19:08] 831*2^1228222-1 is not prime. Res64: 22086E597CC4E7AC Time : 0.0 sec. user=mdettweiler [2012-09-05 20:19:09] 873*2^1228222-1 is not prime. Res64: A56F447F48BDB86F Time : 0.0 sec. user=mdettweiler [2012-09-05 20:40:07] 885*2^1228222-1 is not prime. Res64: 063507CC558EB0F1 Time : 0.0 sec. user=mdettweiler [2012-09-05 20:40:07] 911*2^1228222-1 is not prime. Res64: 90CF8A888AEF3CFC Time : 0.0 sec. user=mdettweiler [2012-09-05 20:40:09] 945*2^1228222-1 is not prime. Res64: 60B53FC8DAAC7833 Time : 0.0 sec. user=mdettweiler [2012-09-05 20:40:10] 609*2^1228223-1 is not prime. Res64: D36476DC25B9DF70 Time : 0.0 sec. user=vaughan [2012-09-05 20:55:20] 881*2^1228222-1 is not prime. Res64: B068964509933399 Time : 0.0 sec. user=mdettweiler [2012-09-05 21:01:34] 619*2^1228223-1 is not prime. Res64: 1811A612AB7136DD Time : 0.0 sec. user=mdettweiler [2012-09-05 21:01:36] 669*2^1228223-1 is not prime. Res64: F5CDC873127DC011 Time : 0.0 sec. user=mdettweiler [2012-09-05 21:01:36] 739*2^1228223-1 is not prime. Res64: B8B07BAC92CEEB39 Time : 0.0 sec. user=mdettweiler [2012-09-05 21:01:37] 789*2^1228223-1 is not prime. Res64: A1F6538951878C0B Time : 0.0 sec. user=mdettweiler [2012-09-05 21:23:02] 895*2^1228223-1 is not prime. Res64: A4F3CFAC80356995 Time : 0.0 sec. user=mdettweiler [2012-09-05 21:23:03] 901*2^1228223-1 is not prime. Res64: AA78C8BEF9D0C7C8 Time : 0.0 sec. user=mdettweiler [2012-09-05 21:23:03] 993*2^1228223-1 is not prime. Res64: 699DB357AB3D8ED5 Time : 0.0 sec. user=mdettweiler [2012-09-05 21:23:04] 663*2^1228224-1 is not prime. Res64: B20713DBB7573781 Time : 0.0 sec. user=vaughan [2012-09-05 21:32:36] 819*2^1228223-1 is not prime. Res64: 74C88DE5FA2FD20B Time : 0.0 sec. user=mdettweiler [2012-09-05 21:44:16] 737*2^1228224-1 is not prime. Res64: 17CDBA1BBE651865 Time : 0.0 sec. user=mdettweiler [2012-09-05 21:44:16] 765*2^1228224-1 is not prime. Res64: CFC5099FAE750246 Time : 0.0 sec. user=mdettweiler [2012-09-05 21:44:18] 795*2^1228224-1 is not prime. Res64: 97AC34F8CCA2EFE5 Time : 0.0 sec. user=mdettweiler [2012-09-05 21:44:18] 873*2^1228224-1 is not prime. Res64: 05056D6B299B4CC3 Time : 0.0 sec. user=mdettweiler [2012-09-05 22:05:26] 923*2^1228224-1 is not prime. Res64: EDDE2CB992DACBA6 Time : 0.0 sec. user=mdettweiler [2012-09-05 22:05:28] 945*2^1228224-1 is not prime. Res64: F4CCF02F8D7A4D94 Time : 0.0 sec. user=mdettweiler [2012-09-05 22:05:28] 983*2^1228224-1 is not prime. Res64: A370B4B319919D2F Time : 0.0 sec. user=mdettweiler [2012-09-05 22:05:28] 607*2^1228225-1 is not prime. Res64: EFDD34C3998882CF Time : 0.0 sec. user=vaughan [2012-09-05 22:09:55] 899*2^1228224-1 is not prime. Res64: FA1531A32BB0A128 Time : 0.0 sec. user=mdettweiler [2012-09-05 22:26:56] 609*2^1228225-1 is not prime. Res64: 2902415182B23459 Time : 0.0 sec. user=mdettweiler [2012-09-05 22:26:57] 645*2^1228225-1 is not prime. Res64: 6A8AD5047CF32503 Time : 0.0 sec. user=mdettweiler [2012-09-05 22:26:57] 729*2^1228225-1 is not prime. Res64: 5C89D7631877D222 Time : 0.0 sec. user=mdettweiler [2012-09-05 22:26:58] 871*2^1228225-1 is not prime. Res64: D4FB7024571B0B7D Time : 0.0 sec. user=vaughan [2012-09-05 22:47:15] 951*2^1228225-1 is not prime. Res64: 8EE2FFC0203016D4 Time : 0.0 sec. user=mdettweiler [2012-09-05 22:48:17] 997*2^1228225-1 is not prime. Res64: 356FE71DDDF2999B Time : 0.0 sec. user=mdettweiler [2012-09-05 22:48:18] 603*2^1228226-1 is not prime. Res64: 1290BEFF178C8950 Time : 0.0 sec. user=mdettweiler [2012-09-05 22:48:19] 825*2^1228226-1 is not prime. Res64: 2FF8AAA0EB9E741C Time : 0.0 sec. user=mdettweiler [2012-09-05 22:48:20] 831*2^1228226-1 is not prime. Res64: AE596791BC7650C8 Time : 0.0 sec. user=mdettweiler [2012-09-05 23:09:04] 609*2^1228227-1 is not prime. Res64: A685DF7650A739F4 Time : 0.0 sec. user=mdettweiler [2012-09-05 23:09:06] 619*2^1228227-1 is not prime. Res64: CA6E38F65F03CDD3 Time : 0.0 sec. user=mdettweiler [2012-09-05 23:09:07] 709*2^1228227-1 is not prime. Res64: E1A9096FA3D94729 Time : 0.0 sec. user=mdettweiler [2012-09-05 23:09:08] 735*2^1228227-1 is not prime. Res64: 35ED8D30DA556FD6 Time : 0.0 sec. user=vaughan [2012-09-05 23:24:32] 935*2^1228226-1 is not prime. Res64: 0222EDE3F34A9024 Time : 0.0 sec. user=mdettweiler [2012-09-05 23:29:48] 795*2^1228227-1 is not prime. Res64: F7217BB8F896949A Time : 0.0 sec. user=mdettweiler [2012-09-05 23:29:49] 801*2^1228227-1 is not prime. Res64: B99E00644DCA535D Time : 0.0 sec. user=mdettweiler [2012-09-05 23:29:53] 903*2^1228227-1 is not prime. Res64: 4AA1CA62715CB4D7 Time : 0.0 sec. user=mdettweiler [2012-09-05 23:29:53] 979*2^1228227-1 is not prime. Res64: FAEFF6CE6BADC43C Time : 0.0 sec. user=mdettweiler [2012-09-05 23:50:24] 665*2^1228228-1 is not prime. Res64: 6364CBF44C78348E Time : 0.0 sec. user=mdettweiler [2012-09-05 23:50:25] 687*2^1228228-1 is not prime. Res64: 7AB0FC8CB7846CE3 Time : 0.0 sec. user=mdettweiler [2012-09-05 23:50:29] 825*2^1228228-1 is not prime. Res64: 7484051845289E94 Time : 0.0 sec. user=mdettweiler [2012-09-05 23:50:30] 833*2^1228228-1 is not prime. Res64: 58B37D10AE7DE2B4 Time : 0.0 sec.