user=mdettweiler [2012-12-08 00:04:32] 669*2^1237008-1 is not prime. Res64: F9471065395AA63F Time : 0.0 sec. user=mdettweiler [2012-12-08 00:04:33] 929*2^1237008-1 is not prime. Res64: CFDB92C1CFADA5DE Time : 0.0 sec. user=mdettweiler [2012-12-08 00:13:59] 601*2^1237009-1 is not prime. Res64: 16E418DCFDE82CA5 Time : 0.0 sec. user=mdettweiler [2012-12-08 00:14:00] 625*2^1237009-1 is not prime. Res64: 4E60A47F86349DC6 Time : 0.0 sec. user=mdettweiler [2012-12-08 00:21:52] 637*2^1237009-1 is not prime. Res64: 020996DFB51CF537 Time : 0.0 sec. user=mdettweiler [2012-12-08 00:21:53] 639*2^1237009-1 is not prime. Res64: 0C299C6A377A3321 Time : 0.0 sec. user=mdettweiler [2012-12-08 00:31:35] 687*2^1237009-1 is not prime. Res64: 4EC1A53E49ED53F9 Time : 0.0 sec. user=mdettweiler [2012-12-08 00:31:36] 817*2^1237009-1 is not prime. Res64: D26D0B5FBD882BC5 Time : 0.0 sec. user=mdettweiler [2012-12-08 00:39:12] 895*2^1237009-1 is not prime. Res64: 5B207FA38059295E Time : 0.0 sec. user=mdettweiler [2012-12-08 00:39:13] 939*2^1237009-1 is not prime. Res64: 48F67963AC8433B2 Time : 0.0 sec. user=mdettweiler [2012-12-08 00:48:56] 603*2^1237010-1 is not prime. Res64: 5C9B2154E32F72D5 Time : 0.0 sec. user=mdettweiler [2012-12-08 00:48:57] 717*2^1237010-1 is not prime. Res64: 920DCDD8FB0C773C Time : 0.0 sec. user=mdettweiler [2012-12-08 00:56:36] 921*2^1237010-1 is not prime. Res64: D24A2EC39A42A349 Time : 0.0 sec. user=mdettweiler [2012-12-08 00:56:36] 951*2^1237010-1 is not prime. Res64: E60A57212AA9ADC4 Time : 0.0 sec. user=mdettweiler [2012-12-08 01:06:25] 995*2^1237010-1 is not prime. Res64: E2F8A6C7F79D1245 Time : 0.0 sec. user=mdettweiler [2012-12-08 01:06:26] 835*2^1237011-1 is not prime. Res64: 5D664826DC494E31 Time : 0.0 sec. user=mdettweiler [2012-12-08 01:14:01] 945*2^1237011-1 is not prime. Res64: A261AE27CDA86157 Time : 0.0 sec. user=mdettweiler [2012-12-08 01:14:02] 623*2^1237012-1 is not prime. Res64: C5A29C1A5C051B28 Time : 0.0 sec. user=mdettweiler [2012-12-08 01:23:49] 675*2^1237012-1 is not prime. Res64: 5ED9382B745142CD Time : 0.0 sec. user=mdettweiler [2012-12-08 01:23:50] 743*2^1237012-1 is not prime. Res64: 270251BAE03C78C6 Time : 0.0 sec. user=mdettweiler [2012-12-08 01:31:26] 749*2^1237012-1 is not prime. Res64: 577594C1AAA80558 Time : 0.0 sec. user=mdettweiler [2012-12-08 01:31:27] 797*2^1237012-1 is not prime. Res64: E1653819950CC1C9 Time : 0.0 sec. user=mdettweiler [2012-12-08 01:41:07] 803*2^1237012-1 is not prime. Res64: B9A61A5E51DC4E52 Time : 0.0 sec. user=mdettweiler [2012-12-08 01:41:08] 939*2^1237012-1 is not prime. Res64: D63434B07A43F817 Time : 0.0 sec. user=mdettweiler [2012-12-08 01:48:44] 983*2^1237012-1 is not prime. Res64: 3CEC848766ADCF7C Time : 0.0 sec. user=mdettweiler [2012-12-08 01:48:45] 901*2^1237013-1 is not prime. Res64: 86B6A3ADD436C6DD Time : 0.0 sec. user=mdettweiler [2012-12-08 01:58:25] 981*2^1237013-1 is not prime. Res64: DDB03E5E881B45CA Time : 0.0 sec. user=mdettweiler [2012-12-08 01:58:26] 991*2^1237013-1 is not prime. Res64: 028DDA0A1BB26AEA Time : 0.0 sec. user=mdettweiler [2012-12-08 02:06:02] 651*2^1237014-1 is not prime. Res64: 5694B1502F87AD5D Time : 0.0 sec. user=mdettweiler [2012-12-08 02:06:03] 663*2^1237014-1 is not prime. Res64: 2C4B4BE0900BD056 Time : 0.0 sec. user=mdettweiler [2012-12-08 02:15:43] 681*2^1237014-1 is not prime. Res64: 54AD0B4AB84021D5 Time : 0.0 sec. user=mdettweiler [2012-12-08 02:15:51] 705*2^1237014-1 is not prime. Res64: 693A32606F5F7062 Time : 0.0 sec. user=mdettweiler [2012-12-08 02:23:21] 773*2^1237014-1 is not prime. Res64: E51C109C7BDEBBB5 Time : 0.0 sec. user=mdettweiler [2012-12-08 02:23:22] 833*2^1237014-1 is not prime. Res64: 4497F0C2795003F1 Time : 0.0 sec. user=mdettweiler [2012-12-08 02:33:30] 891*2^1237014-1 is not prime. Res64: 75E53D3EB5643FD8 Time : 0.0 sec. user=mdettweiler [2012-12-08 02:33:31] 927*2^1237014-1 is not prime. Res64: 7CCA1192E7ED564F Time : 0.0 sec. user=mdettweiler [2012-12-08 02:40:40] 941*2^1237014-1 is not prime. Res64: 546182E5C0FAD143 Time : 0.0 sec. user=mdettweiler [2012-12-08 02:40:42] 601*2^1237015-1 is not prime. Res64: 349E8A692B8E0E1D Time : 0.0 sec. user=mdettweiler [2012-12-08 02:50:52] 619*2^1237015-1 is not prime. Res64: 1C3CAFDE78D972ED Time : 0.0 sec. user=mdettweiler [2012-12-08 02:50:55] 663*2^1237015-1 is not prime. Res64: 1878788B6DF72831 Time : 0.0 sec. user=mdettweiler [2012-12-08 02:58:04] 679*2^1237015-1 is not prime. Res64: 453D5AFC2C56CE5A Time : 0.0 sec. user=mdettweiler [2012-12-08 02:58:04] 775*2^1237015-1 is not prime. Res64: 2D61933FE9312155 Time : 0.0 sec. user=mdettweiler [2012-12-08 03:08:22] 859*2^1237015-1 is not prime. Res64: 3A946BCDEC61ADE5 Time : 0.0 sec. user=mdettweiler [2012-12-08 03:08:24] 871*2^1237015-1 is not prime. Res64: 68D441FE0701E5D9 Time : 0.0 sec. user=mdettweiler [2012-12-08 03:15:23] 909*2^1237015-1 is not prime. Res64: 8D688EA9DDFD56FD Time : 0.0 sec. user=mdettweiler [2012-12-08 03:15:23] 933*2^1237015-1 is not prime. Res64: CBC57ADC8E066955 Time : 0.0 sec. user=mdettweiler [2012-12-08 03:25:50] 609*2^1237016-1 is not prime. Res64: 25F3D90FB52259BE Time : 0.0 sec. user=mdettweiler [2012-12-08 03:25:51] 659*2^1237016-1 is not prime. Res64: E504EF72934DB112 Time : 0.0 sec. user=mdettweiler [2012-12-08 03:32:52] 717*2^1237016-1 is not prime. Res64: 8D60209F2FFD3F9E Time : 0.0 sec. user=mdettweiler [2012-12-08 03:32:55] 813*2^1237016-1 is not prime. Res64: A2EA0645452F1397 Time : 0.0 sec. user=mdettweiler [2012-12-08 03:43:11] 893*2^1237016-1 is not prime. Res64: B5572645789428AA Time : 0.0 sec. user=mdettweiler [2012-12-08 03:43:12] 903*2^1237016-1 is not prime. Res64: D7F885C39047E6D2 Time : 0.0 sec. user=mdettweiler [2012-12-08 03:50:20] 651*2^1237017-1 is not prime. Res64: DE0F7A67C5E05B3A Time : 0.0 sec. user=mdettweiler [2012-12-08 03:50:20] 709*2^1237017-1 is not prime. Res64: 9CF8259BEE392159 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:00:35] 741*2^1237017-1 is not prime. Res64: 1342D2F93CFCA179 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:00:36] 781*2^1237017-1 is not prime. Res64: C07002CC0D52E760 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:07:37] 901*2^1237017-1 is not prime. Res64: 46CDBB01AE46E382 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:07:38] 681*2^1237018-1 is not prime. Res64: 14266666C01A4D02 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:17:57] 737*2^1237018-1 is not prime. Res64: 6B882B8091812E7B Time : 0.0 sec. user=mdettweiler [2012-12-08 04:17:58] 615*2^1237019-1 is not prime. Res64: 351C0F6E5605E027 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:24:59] 633*2^1237019-1 is not prime. Res64: 8F8E55B87F97183D Time : 0.0 sec. user=mdettweiler [2012-12-08 04:25:00] 645*2^1237019-1 is not prime. Res64: 051A06B3388AC470 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:35:18] 711*2^1237019-1 is not prime. Res64: 424BE26733D8B440 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:35:19] 759*2^1237019-1 is not prime. Res64: 11675DF4DD231E9F Time : 0.0 sec. user=mdettweiler [2012-12-08 04:42:19] 823*2^1237019-1 is not prime. Res64: 9605E57547595C46 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:42:19] 885*2^1237019-1 is not prime. Res64: 7551CB37E9FE7D85 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:52:40] 895*2^1237019-1 is not prime. Res64: 5FF0E8C619430FD2 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:52:41] 985*2^1237019-1 is not prime. Res64: 2A793AB37BA10BF8 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:59:38] 647*2^1237020-1 is not prime. Res64: 27E3604D748C96E2 Time : 0.0 sec. user=mdettweiler [2012-12-08 04:59:38] 653*2^1237020-1 is not prime. Res64: A17B254A51BD62D4 Time : 0.0 sec. user=mdettweiler [2012-12-08 05:09:58] 669*2^1237020-1 is not prime. Res64: FEEB70B287B62A6C Time : 0.0 sec. user=mdettweiler [2012-12-08 05:09:59] 707*2^1237020-1 is not prime. Res64: E8133A5FB3E8348C Time : 0.0 sec. user=mdettweiler [2012-12-08 05:16:56] 723*2^1237020-1 is not prime. Res64: 00C3E1C4EB4EC80A Time : 0.0 sec. user=mdettweiler [2012-12-08 05:16:57] 767*2^1237020-1 is not prime. Res64: 0A6FCC514A36D5A1 Time : 0.0 sec. user=mdettweiler [2012-12-08 05:27:22] 863*2^1237020-1 is not prime. Res64: C6BF162CA4A7445A Time : 0.0 sec. user=mdettweiler [2012-12-08 05:27:23] 867*2^1237020-1 is not prime. Res64: 4633663B1BC7DF7A Time : 0.0 sec. user=mdettweiler [2012-12-08 05:34:22] 645*2^1237021-1 is not prime. Res64: BEAD11ECC2A9C820 Time : 0.0 sec. user=mdettweiler [2012-12-08 05:34:23] 675*2^1237021-1 is not prime. Res64: 16C13093C1E627E7 Time : 0.0 sec. user=mdettweiler [2012-12-08 05:44:42] 681*2^1237021-1 is not prime. Res64: 4F89A02D69EA228D Time : 0.0 sec. user=mdettweiler [2012-12-08 05:44:42] 861*2^1237021-1 is not prime. Res64: 612FC49DFDA2DB53 Time : 0.0 sec. user=mdettweiler [2012-12-08 05:51:40] 939*2^1237021-1 is not prime. Res64: A499731A9CDA34A2 Time : 0.0 sec. user=mdettweiler [2012-12-08 05:51:40] 955*2^1237021-1 is not prime. Res64: 8E31F7D32D294E46 Time : 0.0 sec. user=mdettweiler [2012-12-08 06:01:59] 979*2^1237021-1 is not prime. Res64: A4D75C6E2AF98A5A Time : 0.0 sec. user=mdettweiler [2012-12-08 06:02:00] 761*2^1237022-1 is not prime. Res64: 140067C55163F59B Time : 0.0 sec. user=mdettweiler [2012-12-08 06:08:57] 813*2^1237022-1 is not prime. Res64: DE666151960D9A4E Time : 0.0 sec. user=mdettweiler [2012-12-08 06:08:58] 867*2^1237022-1 is not prime. Res64: D22A33262C1992FF Time : 0.0 sec. user=mdettweiler [2012-12-08 06:19:21] 917*2^1237022-1 is not prime. Res64: 8611A71E70766CF3 Time : 0.0 sec. user=mdettweiler [2012-12-08 06:19:21] 921*2^1237022-1 is not prime. Res64: 53C41E916251B28E Time : 0.0 sec. user=mdettweiler [2012-12-08 06:26:22] 663*2^1237023-1 is not prime. Res64: 2D50D4ED9406C309 Time : 0.0 sec. user=mdettweiler [2012-12-08 06:26:23] 703*2^1237023-1 is not prime. Res64: 9181C62AEB7EC6E0 Time : 0.0 sec. user=mdettweiler [2012-12-08 06:36:41] 745*2^1237023-1 is not prime. Res64: CD021D4DD7660CED Time : 0.0 sec. user=mdettweiler [2012-12-08 06:36:42] 765*2^1237023-1 is not prime. Res64: BB22386686FA4007 Time : 0.0 sec. user=mdettweiler [2012-12-08 06:43:40] 861*2^1237023-1 is not prime. Res64: B9D4D526FB9FB451 Time : 0.0 sec. user=mdettweiler [2012-12-08 06:43:40] 885*2^1237023-1 is not prime. Res64: CFB2D937D9D823FB Time : 0.0 sec. user=mdettweiler [2012-12-08 06:53:59] 961*2^1237023-1 is not prime. Res64: 71EE1F8177E5D630 Time : 0.0 sec. user=mdettweiler [2012-12-08 06:54:00] 623*2^1237024-1 is not prime. Res64: F039C2CB4F0F1C50 Time : 0.0 sec. user=mdettweiler [2012-12-08 07:00:58] 665*2^1237024-1 is not prime. Res64: 0A59D9D85151B5E4 Time : 0.0 sec. user=mdettweiler [2012-12-08 07:00:59] 699*2^1237024-1 is not prime. Res64: 26B120B48E214AE4 Time : 0.0 sec. user=mdettweiler [2012-12-08 07:11:18] 833*2^1237024-1 is not prime. Res64: 426EB57228116654 Time : 0.0 sec. user=mdettweiler [2012-12-08 07:11:19] 843*2^1237024-1 is not prime. Res64: 2786D59CF56A408E Time : 0.0 sec. user=mdettweiler [2012-12-08 07:18:35] 849*2^1237024-1 is not prime. Res64: 7F63B6A3EE8AB77D Time : 0.0 sec. user=mdettweiler [2012-12-08 07:18:36] 909*2^1237024-1 is not prime. Res64: 1239F0E66FE4B805 Time : 0.0 sec. user=mdettweiler [2012-12-08 07:28:45] 691*2^1237025-1 is not prime. Res64: 6ACCCBA5EF1EDB98 Time : 0.0 sec. user=mdettweiler [2012-12-08 07:28:46] 741*2^1237025-1 is not prime. Res64: ED4A01566CDDBCE1 Time : 0.0 sec. user=mdettweiler [2012-12-08 07:36:33] 861*2^1237025-1 is not prime. Res64: E6A229606DD4E5A1 Time : 0.0 sec. user=mdettweiler [2012-12-08 07:36:33] 713*2^1237026-1 is not prime. Res64: 034B6B6992928844 Time : 0.0 sec. user=mdettweiler [2012-12-08 07:46:40] 735*2^1237026-1 is not prime. Res64: A5AA8E70DBD68ECD Time : 0.0 sec. user=mdettweiler [2012-12-08 07:46:41] 741*2^1237026-1 is not prime. Res64: 9EE775FBAAA687E3 Time : 0.0 sec. user=vaughan [2012-12-08 07:47:31] 619*2^1237025-1 is not prime. Res64: 917EA9183A4EF5FD Time : 0.0 sec. user=mdettweiler [2012-12-08 07:54:03] 891*2^1237026-1 is not prime. Res64: 33585A8AA240347B Time : 0.0 sec. user=mdettweiler [2012-12-08 07:54:04] 975*2^1237026-1 is not prime. Res64: 99DF5ACA7192427B Time : 0.0 sec. user=mdettweiler [2012-12-08 08:04:05] 631*2^1237027-1 is not prime. Res64: 5FF84D7CDDC596BE Time : 0.0 sec. user=mdettweiler [2012-12-08 08:04:07] 633*2^1237027-1 is not prime. Res64: 1617C8FB74D2A7C5 Time : 0.0 sec. user=mdettweiler [2012-12-08 08:11:32] 685*2^1237027-1 is not prime. Res64: 917952BDC0A45350 Time : 0.0 sec. user=mdettweiler [2012-12-08 08:11:37] 741*2^1237027-1 is not prime. Res64: D1EE27775007A9B4 Time : 0.0 sec. user=mdettweiler [2012-12-08 08:21:47] 871*2^1237027-1 is not prime. Res64: 5ED21BFFD8E64FE6 Time : 0.0 sec. user=mdettweiler [2012-12-08 08:21:48] 973*2^1237027-1 is not prime. Res64: 2CF9CDFAC184604C Time : 0.0 sec. user=vaughan [2012-12-08 08:25:22] 675*2^1237027-1 is not prime. Res64: 2A0A066F32148C5B Time : 0.0 sec. user=mdettweiler [2012-12-08 08:29:28] 603*2^1237028-1 is not prime. Res64: A7DA08115499E559 Time : 0.0 sec. user=mdettweiler [2012-12-08 08:29:29] 665*2^1237028-1 is not prime. Res64: EF3AA323BE2FD3AE Time : 0.0 sec. user=mdettweiler [2012-12-08 08:39:14] 749*2^1237028-1 is not prime. Res64: F1E18F7904166FC9 Time : 0.0 sec. user=mdettweiler [2012-12-08 08:39:14] 839*2^1237028-1 is not prime. Res64: 52BB8BA2B8866890 Time : 0.0 sec. user=mdettweiler [2012-12-08 08:46:54] 893*2^1237028-1 is not prime. Res64: 0EAC8C621E816BD1 Time : 0.0 sec. user=mdettweiler [2012-12-08 08:46:55] 923*2^1237028-1 is not prime. Res64: 77B842C54A128036 Time : 0.0 sec. user=mdettweiler [2012-12-08 08:56:40] 945*2^1237028-1 is not prime. Res64: EA655958688C1486 Time : 0.0 sec. user=mdettweiler [2012-12-08 08:56:41] 977*2^1237028-1 is not prime. Res64: AF70F8BB0D5D8C03 Time : 0.0 sec. user=vaughan [2012-12-08 09:03:12] 879*2^1237028-1 is not prime. Res64: 17FE48B9008B625A Time : 0.0 sec. user=mdettweiler [2012-12-08 09:04:21] 995*2^1237028-1 is not prime. Res64: 7473FAAC17B2B942 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:04:22] 999*2^1237028-1 is not prime. Res64: EA2A36355F9A85A4 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:14:07] 621*2^1237029-1 is not prime. Res64: A3A23EE0151E0E66 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:14:08] 747*2^1237029-1 is not prime. Res64: C71787F611C2EAC0 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:21:50] 861*2^1237029-1 is not prime. Res64: AEB45C880E111823 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:21:50] 961*2^1237029-1 is not prime. Res64: C8A04E1D1F6C863D Time : 0.0 sec. user=mdettweiler [2012-12-08 09:31:38] 987*2^1237029-1 is not prime. Res64: 68F0798936C2E2B3 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:31:39] 997*2^1237029-1 is not prime. Res64: A6F593A20C547692 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:39:14] 663*2^1237030-1 is not prime. Res64: C29354E65791ED02 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:39:14] 755*2^1237030-1 is not prime. Res64: 5CCB27D1276A801E Time : 0.0 sec. user=vaughan [2012-12-08 09:41:08] 829*2^1237029-1 is not prime. Res64: EF8C5810C4A3A479 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:49:04] 777*2^1237030-1 is not prime. Res64: 53D2AB8E7394F549 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:49:05] 857*2^1237030-1 is not prime. Res64: 8690B54D635A2AF2 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:56:41] 873*2^1237030-1 is not prime. Res64: 07369FC07FBD9B12 Time : 0.0 sec. user=mdettweiler [2012-12-08 09:56:41] 957*2^1237030-1 is not prime. Res64: CA74473DB4386196 Time : 0.0 sec. user=mdettweiler [2012-12-08 10:06:34] 673*2^1237031-1 is not prime. Res64: F8F0997A17B71615 Time : 0.0 sec. user=mdettweiler [2012-12-08 10:06:35] 783*2^1237031-1 is not prime. Res64: 9F46D0C9862C5175 Time : 0.0 sec. user=mdettweiler [2012-12-08 10:14:09] 825*2^1237031-1 is not prime. Res64: 0A5705CAA7A7286C Time : 0.0 sec. user=mdettweiler [2012-12-08 10:14:11] 829*2^1237031-1 is not prime. Res64: 86D5F6AE775C0359 Time : 0.0 sec. user=vaughan [2012-12-08 10:19:00] 615*2^1237031-1 is not prime. Res64: 4F0EFE167006597D Time : 0.0 sec. user=mdettweiler [2012-12-08 10:24:07] 629*2^1237032-1 is not prime. Res64: 9AEB7850BEB17FF0 Time : 0.0 sec. user=mdettweiler [2012-12-08 10:24:07] 689*2^1237032-1 is not prime. Res64: 0207EB3436C5DD89 Time : 0.0 sec. user=mdettweiler [2012-12-08 10:31:51] 779*2^1237032-1 is not prime. Res64: 2BF2414832E5B755 Time : 0.0 sec. user=mdettweiler [2012-12-08 10:31:51] 803*2^1237032-1 is not prime. Res64: 8186EF593554BC5D Time : 0.0 sec. user=mdettweiler [2012-12-08 10:41:33] 619*2^1237033-1 is not prime. Res64: 0D53D4E6201F6634 Time : 0.0 sec. user=mdettweiler [2012-12-08 10:41:34] 817*2^1237033-1 is not prime. Res64: 29B26504DFB648EB Time : 0.0 sec. user=mdettweiler [2012-12-08 10:49:18] 889*2^1237033-1 is not prime. Res64: 9BFCEE713102FB80 Time : 0.0 sec. user=mdettweiler [2012-12-08 10:49:18] 937*2^1237033-1 is not prime. Res64: C0CD7EDA9081693E Time : 0.0 sec. user=vaughan [2012-12-08 10:56:50] 857*2^1237032-1 is not prime. Res64: F6F2E309DD3477D1 Time : 0.0 sec. user=mdettweiler [2012-12-08 10:59:01] 955*2^1237033-1 is not prime. Res64: 3AF1DF560C4C7E0B Time : 0.0 sec. user=mdettweiler [2012-12-08 10:59:02] 985*2^1237033-1 is not prime. Res64: 774A300190471F5F Time : 0.0 sec. user=mdettweiler [2012-12-08 11:06:45] 641*2^1237034-1 is not prime. Res64: 84C9F4B3F85C044C Time : 0.0 sec. user=mdettweiler [2012-12-08 11:06:47] 773*2^1237034-1 is not prime. Res64: 66F96CE864A3CA04 Time : 0.0 sec. user=mdettweiler [2012-12-08 11:16:30] 815*2^1237034-1 is not prime. Res64: 925F0C9A3AF78D9E Time : 0.0 sec. user=mdettweiler [2012-12-08 11:16:31] 833*2^1237034-1 is not prime. Res64: 1ECB155362176C68 Time : 0.0 sec. user=mdettweiler [2012-12-08 11:24:15] 857*2^1237034-1 is not prime. Res64: 835BD7BF83A57622 Time : 0.0 sec. user=mdettweiler [2012-12-08 11:24:16] 861*2^1237034-1 is not prime. Res64: 64B34E343B7B7B50 Time : 0.0 sec. user=mdettweiler [2012-12-08 11:34:00] 903*2^1237034-1 is not prime. Res64: C4D7ADF6A8F082CC Time : 0.0 sec. user=mdettweiler [2012-12-08 11:34:01] 981*2^1237034-1 is not prime. Res64: CC2BBF4AF140A371 Time : 0.0 sec. user=vaughan [2012-12-08 11:34:46] 813*2^1237034-1 is not prime. Res64: A0D416352C297275 Time : 0.0 sec. user=mdettweiler [2012-12-08 11:41:39] 609*2^1237035-1 is not prime. Res64: CCA962E9C851DD68 Time : 0.0 sec. user=mdettweiler [2012-12-08 11:41:40] 633*2^1237035-1 is not prime. Res64: BB0ED98C0438241F Time : 0.0 sec. user=mdettweiler [2012-12-08 11:51:26] 801*2^1237035-1 is not prime. Res64: A54584ED89B0E7E6 Time : 0.0 sec. user=mdettweiler [2012-12-08 11:51:27] 825*2^1237035-1 is not prime. Res64: E5D8EB87BB2A66E9 Time : 0.0 sec. user=mdettweiler [2012-12-08 11:59:07] 629*2^1237036-1 is not prime. Res64: 82D5D4C0DA069948 Time : 0.0 sec. user=mdettweiler [2012-12-08 11:59:07] 647*2^1237036-1 is not prime. Res64: 8AE2A808E0525050 Time : 0.0 sec. user=mdettweiler [2012-12-08 12:08:56] 723*2^1237036-1 is not prime. Res64: 7BBD784A2ACE6AC6 Time : 0.0 sec. user=mdettweiler [2012-12-08 12:08:57] 845*2^1237036-1 is not prime. Res64: 9F9EEA3D94E44D2A Time : 0.0 sec. user=vaughan [2012-12-08 12:12:38] 603*2^1237036-1 is not prime. Res64: A6508C4D509697B1 Time : 0.0 sec. user=mdettweiler [2012-12-08 12:16:36] 615*2^1237037-1 is not prime. Res64: F05B020D5F3141CC Time : 0.0 sec. user=mdettweiler [2012-12-08 12:16:37] 655*2^1237037-1 is not prime. Res64: 5F5C5B3A4D9742E1 Time : 0.0 sec. user=mdettweiler [2012-12-08 12:26:33] 691*2^1237037-1 is not prime. Res64: 9829629D86187874 Time : 0.0 sec. user=mdettweiler [2012-12-08 12:26:33] 697*2^1237037-1 is not prime. Res64: 07E4F44858BBE430 Time : 0.0 sec. user=mdettweiler [2012-12-08 12:34:18] 711*2^1237037-1 is not prime. Res64: 728E6F6C67697333 Time : 0.0 sec. user=mdettweiler [2012-12-08 12:34:19] 735*2^1237037-1 is not prime. Res64: 406CE83E5097000A Time : 0.0 sec. user=mdettweiler [2012-12-08 12:43:59] 805*2^1237037-1 is not prime. Res64: FC953348DD3277F7 Time : 0.0 sec. user=mdettweiler [2012-12-08 12:43:59] 859*2^1237037-1 is not prime. Res64: 808CAE7DE082677E Time : 0.0 sec. user=vaughan [2012-12-08 12:50:30] 699*2^1237037-1 is not prime. Res64: 5F87183C291261AD Time : 0.0 sec. user=mdettweiler [2012-12-08 12:51:43] 865*2^1237037-1 is not prime. Res64: B77683947B20BE9F Time : 0.0 sec. user=mdettweiler [2012-12-08 12:51:43] 925*2^1237037-1 is not prime. Res64: 554E68EE18FA7453 Time : 0.0 sec. user=mdettweiler [2012-12-08 13:01:21] 985*2^1237037-1 is not prime. Res64: B8345B3A04814C15 Time : 0.0 sec. user=mdettweiler [2012-12-08 13:01:23] 621*2^1237038-1 is not prime. Res64: 2728C80A7413C096 Time : 0.0 sec. user=mdettweiler [2012-12-08 13:09:03] 693*2^1237038-1 is not prime. Res64: 472E4E90B36632D8 Time : 0.0 sec. user=mdettweiler [2012-12-08 13:09:05] 705*2^1237038-1 is not prime. Res64: 7DD2AB8D3B3312DB Time : 0.0 sec. user=mdettweiler [2012-12-08 13:18:52] 797*2^1237038-1 is not prime. Res64: C4AAB021636AFE01 Time : 0.0 sec. user=mdettweiler [2012-12-08 13:18:53] 861*2^1237038-1 is not prime. Res64: 4C04ED7F9312596A Time : 0.0 sec. user=mdettweiler [2012-12-08 13:26:26] 971*2^1237038-1 is not prime. Res64: F43F6931B2F020AE Time : 0.0 sec. user=mdettweiler [2012-12-08 13:26:27] 663*2^1237039-1 is not prime. Res64: ED424FE74DFCCCD6 Time : 0.0 sec. user=vaughan [2012-12-08 13:28:19] 641*2^1237038-1 is not prime. Res64: A3A80A4700C0E5B9 Time : 0.0 sec. user=mdettweiler [2012-12-08 13:36:17] 763*2^1237039-1 is not prime. Res64: 29F3377F665CDD75 Time : 0.0 sec. user=mdettweiler [2012-12-08 13:36:18] 841*2^1237039-1 is not prime. Res64: 0D3A15B9B47D97B1 Time : 0.0 sec. user=mdettweiler [2012-12-08 13:43:46] 861*2^1237039-1 is not prime. Res64: 932A1A7672A5F91C Time : 0.0 sec. user=mdettweiler [2012-12-08 13:43:47] 931*2^1237039-1 is not prime. Res64: 758F6019F475DCD4 Time : 0.0 sec. user=mdettweiler [2012-12-08 13:53:38] 609*2^1237040-1 is not prime. Res64: 0F068FB6AC723837 Time : 0.0 sec. user=mdettweiler [2012-12-08 13:53:38] 615*2^1237040-1 is not prime. Res64: 3DB3A7C9CD632EA4 Time : 0.0 sec. user=mdettweiler [2012-12-08 14:01:08] 633*2^1237040-1 is not prime. Res64: 17055F834357AE65 Time : 0.0 sec. user=mdettweiler [2012-12-08 14:01:10] 767*2^1237040-1 is not prime. Res64: 6CF67AC50DD5EACE Time : 0.0 sec. user=vaughan [2012-12-08 14:06:09] 975*2^1237039-1 is not prime. Res64: D7A5CEEF6394F1EA Time : 0.0 sec. user=mdettweiler [2012-12-08 14:10:57] 963*2^1237040-1 is not prime. Res64: 372BC7BF06A913D1 Time : 0.0 sec. user=mdettweiler [2012-12-08 14:10:59] 649*2^1237041-1 is not prime. Res64: 97596482E47E032A Time : 0.0 sec. user=mdettweiler [2012-12-08 14:18:42] 741*2^1237041-1 is not prime. Res64: 2A78306BD2AFC172 Time : 0.0 sec. user=mdettweiler [2012-12-08 14:18:43] 751*2^1237041-1 is not prime. Res64: CBC733C28B437E8C Time : 0.0 sec. user=mdettweiler [2012-12-08 14:28:28] 867*2^1237041-1 is not prime. Res64: 150F39603E6191B0 Time : 0.0 sec. user=mdettweiler [2012-12-08 14:28:29] 975*2^1237041-1 is not prime. Res64: 2B418C299341155F Time : 0.0 sec. user=mdettweiler [2012-12-08 14:36:05] 647*2^1237042-1 is not prime. Res64: 522AFEB61342A260 Time : 0.0 sec. user=mdettweiler [2012-12-08 14:36:05] 713*2^1237042-1 is not prime. Res64: ABFE172D6EFD7F93 Time : 0.0 sec. user=vaughan [2012-12-08 14:44:05] 849*2^1237041-1 is not prime. Res64: B68F5DFCF655EBEC Time : 0.0 sec. user=mdettweiler [2012-12-08 14:45:48] 765*2^1237042-1 is not prime. Res64: E937C9BC902C252E Time : 0.0 sec. user=mdettweiler [2012-12-08 14:45:49] 821*2^1237042-1 is not prime. Res64: 6407A574443EE6CE Time : 0.0 sec. user=mdettweiler [2012-12-08 14:53:25] 663*2^1237043-1 is not prime. Res64: 295D20C4A6FA3296 Time : 0.0 sec. user=mdettweiler [2012-12-08 14:53:25] 693*2^1237043-1 is not prime. Res64: 6DF192AC6BACCF86 Time : 0.0 sec. user=mdettweiler [2012-12-08 15:03:09] 859*2^1237043-1 is not prime. Res64: 1807CE82DE1F00B7 Time : 0.0 sec. user=mdettweiler [2012-12-08 15:03:10] 943*2^1237043-1 is not prime. Res64: 9E43667B8D79EA09 Time : 0.0 sec. user=mdettweiler [2012-12-08 15:10:46] 955*2^1237043-1 is not prime. Res64: 0556ACB6C4C1343B Time : 0.0 sec. user=mdettweiler [2012-12-08 15:10:48] 963*2^1237043-1 is not prime. Res64: 629624008F975E7F Time : 0.0 sec. user=mdettweiler [2012-12-08 15:20:34] 999*2^1237043-1 is not prime. Res64: 77AB3BC51CEBD759 Time : 0.0 sec. user=mdettweiler [2012-12-08 15:20:35] 627*2^1237044-1 is not prime. Res64: 1BED8E688A26CF1F Time : 0.0 sec. user=vaughan [2012-12-08 15:21:53] 699*2^1237043-1 is not prime. Res64: 2880BA15C6AC02B7 Time : 0.0 sec. user=mdettweiler [2012-12-08 15:28:33] 887*2^1237044-1 is not prime. Res64: 30274DF3A9FB6E0A Time : 0.0 sec. user=mdettweiler [2012-12-08 15:28:33] 645*2^1237045-1 is not prime. Res64: C1DFE3DC416DC6D2 Time : 0.0 sec. user=mdettweiler [2012-12-08 15:37:56] 651*2^1237045-1 is not prime. Res64: E1A08CBA073B7B1E Time : 0.0 sec. user=mdettweiler [2012-12-08 15:37:56] 721*2^1237045-1 is not prime. Res64: 164AB84C499DEC52 Time : 0.0 sec. user=mdettweiler [2012-12-08 15:45:53] 831*2^1237045-1 is not prime. Res64: 7EA8038A3CC51A3F Time : 0.0 sec. user=mdettweiler [2012-12-08 15:45:53] 855*2^1237045-1 is not prime. Res64: 785A48E00F9C2ED1 Time : 0.0 sec. user=mdettweiler [2012-12-08 15:55:16] 927*2^1237045-1 is not prime. Res64: FFA41C17070ED75D Time : 0.0 sec. user=mdettweiler [2012-12-08 15:55:17] 603*2^1237046-1 is not prime. Res64: B77FBA402B1B3288 Time : 0.0 sec. user=vaughan [2012-12-08 15:59:45] 757*2^1237045-1 is not prime. Res64: F548E37AE91CA8D2 Time : 0.0 sec. user=mdettweiler [2012-12-08 16:03:13] 657*2^1237046-1 is not prime. Res64: 4A78082DFE63A2DF Time : 0.0 sec. user=mdettweiler [2012-12-08 16:03:15] 671*2^1237046-1 is not prime. Res64: 0489ABF6F1F26060 Time : 0.0 sec. user=mdettweiler [2012-12-08 16:12:39] 785*2^1237046-1 is not prime. Res64: C1E8BD62092818BB Time : 0.0 sec. user=mdettweiler [2012-12-08 16:12:40] 903*2^1237046-1 is not prime. Res64: 2FB3B9B686DAD96B Time : 0.0 sec. user=mdettweiler [2012-12-08 16:20:45] 691*2^1237047-1 is not prime. Res64: 34385248B849BB79 Time : 0.0 sec. user=mdettweiler [2012-12-08 16:20:45] 765*2^1237047-1 is not prime. Res64: 0AF2739B621C4C08 Time : 0.0 sec. user=mdettweiler [2012-12-08 16:30:23] 781*2^1237047-1 is not prime. Res64: 6980178BF772200F Time : 0.0 sec. user=mdettweiler [2012-12-08 16:30:24] 871*2^1237047-1 is not prime. Res64: 624AB3148C25F8F1 Time : 0.0 sec. user=vaughan [2012-12-08 16:37:41] 971*2^1237046-1 is not prime. Res64: 27129B3734BAF502 Time : 0.0 sec. user=mdettweiler [2012-12-08 16:38:08] 955*2^1237047-1 is not prime. Res64: F0B25A44A3051339 Time : 0.0 sec. user=mdettweiler [2012-12-08 16:38:09] 963*2^1237047-1 is not prime. Res64: 22261FB41A033958 Time : 0.0 sec. user=mdettweiler [2012-12-08 16:47:47] 687*2^1237048-1 is not prime. Res64: 418A245CE6FACCA8 Time : 0.0 sec. user=mdettweiler [2012-12-08 16:47:48] 765*2^1237048-1 is not prime. Res64: 8C56169C1B99A6DF Time : 0.0 sec. user=mdettweiler [2012-12-08 16:55:32] 909*2^1237048-1 is not prime. Res64: 616AD9B38A029E8B Time : 0.0 sec. user=mdettweiler [2012-12-08 16:55:33] 959*2^1237048-1 is not prime. Res64: 92D7F1783F1D1D9D Time : 0.0 sec. user=mdettweiler [2012-12-08 17:05:11] 601*2^1237049-1 is not prime. Res64: 9B13A3B43DD7F365 Time : 0.0 sec. user=mdettweiler [2012-12-08 17:05:12] 685*2^1237049-1 is not prime. Res64: 184FA16B141433F6 Time : 0.0 sec. user=mdettweiler [2012-12-08 17:12:59] 699*2^1237049-1 is not prime. Res64: 0C7F367E4DD7020C Time : 0.0 sec. user=mdettweiler [2012-12-08 17:13:00] 721*2^1237049-1 is not prime. Res64: 86343EE142E4F7F9 Time : 0.0 sec. user=vaughan [2012-12-08 17:15:34] 827*2^1237048-1 is not prime. Res64: 7F8EE5187C5D64BB Time : 0.0 sec. user=mdettweiler [2012-12-08 17:22:47] 771*2^1237049-1 is not prime. Res64: 7EDFB1A9FDE09D64 Time : 0.0 sec. user=mdettweiler [2012-12-08 17:22:47] 795*2^1237049-1 is not prime. Res64: CC1DB5B74563BFD0 Time : 0.0 sec. user=mdettweiler [2012-12-08 17:30:27] 885*2^1237049-1 is not prime. Res64: 2F825C94C8191CDA Time : 0.0 sec. user=mdettweiler [2012-12-08 17:30:28] 713*2^1237050-1 is not prime. Res64: FD0DA96543FC83C6 Time : 0.0 sec. user=mdettweiler [2012-12-08 17:40:08] 867*2^1237050-1 is not prime. Res64: 5D1A468F300C8513 Time : 0.0 sec. user=mdettweiler [2012-12-08 17:40:09] 891*2^1237050-1 is not prime. Res64: 3C7384F5B3BE0F15 Time : 0.0 sec. user=mdettweiler [2012-12-08 17:47:50] 915*2^1237050-1 is not prime. Res64: EDBAE0AE1EC08EEB Time : 0.0 sec. user=mdettweiler [2012-12-08 17:47:50] 945*2^1237050-1 is not prime. Res64: 891B7F4382597422 Time : 0.0 sec. user=vaughan [2012-12-08 17:53:31] 821*2^1237050-1 is not prime. Res64: FF2047D523388BEB Time : 0.0 sec. user=mdettweiler [2012-12-08 17:57:33] 971*2^1237050-1 is not prime. Res64: 59F1F194C6F3A31A Time : 0.0 sec. user=mdettweiler [2012-12-08 17:57:33] 625*2^1237051-1 is not prime. Res64: 3F7F752C7B03F98E Time : 0.0 sec. user=mdettweiler [2012-12-08 18:05:11] 709*2^1237051-1 is not prime. Res64: 6A74D9451B6F4AE7 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:05:12] 735*2^1237051-1 is not prime. Res64: 9A7ED64673441369 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:14:54] 813*2^1237051-1 is not prime. Res64: 8E12F110C9A293BE Time : 0.0 sec. user=mdettweiler [2012-12-08 18:14:55] 829*2^1237051-1 is not prime. Res64: ABF448DCE2160AC5 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:22:36] 855*2^1237051-1 is not prime. Res64: BCD7AA8F1D44C123 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:22:37] 861*2^1237051-1 is not prime. Res64: A7F7142E17D4635A Time : 0.0 sec. user=vaughan [2012-12-08 18:31:23] 801*2^1237051-1 is not prime. Res64: C89355DD175E4D07 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:32:25] 969*2^1237051-1 is not prime. Res64: 7C91EE8261BD3E37 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:32:25] 617*2^1237052-1 is not prime. Res64: 10401B129E6EA6F9 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:40:00] 759*2^1237052-1 is not prime. Res64: 4AFDCDADC634F257 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:40:00] 827*2^1237052-1 is not prime. Res64: BE6740700E660661 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:49:46] 675*2^1237053-1 is not prime. Res64: 3154DF4B68AED930 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:49:46] 747*2^1237053-1 is not prime. Res64: 33B8139658B92BA6 Time : 0.0 sec. user=mdettweiler [2012-12-08 18:57:22] 769*2^1237053-1 is not prime. Res64: FFDB6F2C8496142B Time : 0.0 sec. user=mdettweiler [2012-12-08 18:57:23] 805*2^1237053-1 is not prime. Res64: 298700A7F621A21E Time : 0.0 sec. user=mdettweiler [2012-12-08 19:07:07] 817*2^1237053-1 is not prime. Res64: FDFB10463AF6AEAC Time : 0.0 sec. user=mdettweiler [2012-12-08 19:07:08] 859*2^1237053-1 is not prime. Res64: 65D74B8D6D7198DF Time : 0.0 sec. user=vaughan [2012-12-08 19:09:17] 625*2^1237053-1 is not prime. Res64: A5DEA3DF3FD9D809 Time : 0.0 sec. user=mdettweiler [2012-12-08 19:14:45] 861*2^1237053-1 is not prime. Res64: 9995C3AA20C94482 Time : 0.0 sec. user=mdettweiler [2012-12-08 19:14:45] 705*2^1237054-1 is not prime. Res64: 71CD69BE04F4FEDE Time : 0.0 sec. user=mdettweiler [2012-12-08 19:24:32] 783*2^1237054-1 is not prime. Res64: 93A65BD7C2A5E7AB Time : 0.0 sec. user=mdettweiler [2012-12-08 19:24:32] 885*2^1237054-1 is not prime. Res64: E66EF9F1CB54F94B Time : 0.0 sec. user=mdettweiler [2012-12-08 19:32:09] 917*2^1237054-1 is not prime. Res64: 0D574F2917D3A3F4 Time : 0.0 sec. user=mdettweiler [2012-12-08 19:32:10] 619*2^1237055-1 is not prime. Res64: CBF1F87E40A837B9 Time : 0.0 sec. user=mdettweiler [2012-12-08 19:41:53] 705*2^1237055-1 is not prime. Res64: F19EA85B7702EA9C Time : 0.0 sec. user=mdettweiler [2012-12-08 19:41:54] 741*2^1237055-1 is not prime. Res64: 4AD1E75944C36302 Time : 0.0 sec. user=vaughan [2012-12-08 19:47:07] 887*2^1237054-1 is not prime. Res64: CDDE836DDE1ED958 Time : 0.0 sec. user=mdettweiler [2012-12-08 19:49:30] 805*2^1237055-1 is not prime. Res64: 0CDB64A711F40C91 Time : 0.0 sec. user=mdettweiler [2012-12-08 19:49:31] 843*2^1237055-1 is not prime. Res64: 5E67BCF4E4F21FF2 Time : 0.0 sec. user=mdettweiler [2012-12-08 19:59:33] 921*2^1237055-1 is not prime. Res64: 16C64C1ECCDCAC74 Time : 0.0 sec. user=mdettweiler [2012-12-08 19:59:33] 949*2^1237055-1 is not prime. Res64: DA62F3BB5EB808DD Time : 0.0 sec. user=mdettweiler [2012-12-08 20:07:28] 845*2^1237056-1 is not prime. Res64: 8CCB1EBD4AA9EA97 Time : 0.0 sec. user=mdettweiler [2012-12-08 20:07:29] 639*2^1237057-1 is not prime. Res64: AFCDE5D326DDD0FC Time : 0.0 sec. user=mdettweiler [2012-12-08 20:17:35] 667*2^1237057-1 is not prime. Res64: 904858B645EA484F Time : 0.0 sec. user=mdettweiler [2012-12-08 20:17:36] 831*2^1237057-1 is not prime. Res64: 5282FF793C65B563 Time : 0.0 sec. user=vaughan [2012-12-08 20:25:00] 839*2^1237056-1 is not prime. Res64: 45F1F90D5991AB87 Time : 0.0 sec. user=mdettweiler [2012-12-08 20:25:32] 885*2^1237057-1 is not prime. Res64: 1FE58B74845C16A1 Time : 0.0 sec. user=mdettweiler [2012-12-08 20:25:33] 897*2^1237057-1 is not prime. Res64: 78AD2FB9A6881A5B Time : 0.0 sec. user=mdettweiler [2012-12-08 20:35:48] 967*2^1237057-1 is not prime. Res64: 5523350E86BB1158 Time : 0.0 sec. user=mdettweiler [2012-12-08 20:35:48] 981*2^1237057-1 is not prime. Res64: 58C2E8020DFF7AA8 Time : 0.0 sec. user=mdettweiler [2012-12-08 20:43:35] 713*2^1237058-1 is not prime. Res64: 890249846F30FD05 Time : 0.0 sec. user=mdettweiler [2012-12-08 20:43:35] 801*2^1237058-1 is not prime. Res64: 1B4E6FB47AC3A5B5 Time : 0.0 sec. user=mdettweiler [2012-12-08 20:53:37] 675*2^1237059-1 is not prime. Res64: 250F796D863933CB Time : 0.0 sec. user=mdettweiler [2012-12-08 20:53:37] 703*2^1237059-1 is not prime. Res64: E9BCD9462426F798 Time : 0.0 sec. user=mdettweiler [2012-12-08 21:01:04] 723*2^1237059-1 is not prime. Res64: E5899A49FAC5BB9B Time : 0.0 sec. user=mdettweiler [2012-12-08 21:01:05] 801*2^1237059-1 is not prime. Res64: 5FC21FF443185CFF Time : 0.0 sec. user=vaughan [2012-12-08 21:02:47] 623*2^1237058-1 is not prime. Res64: E3A677FA668F93F3 Time : 0.0 sec. user=mdettweiler [2012-12-08 21:10:57] 879*2^1237059-1 is not prime. Res64: 351719D0C0BBC807 Time : 0.0 sec. user=mdettweiler [2012-12-08 21:10:58] 895*2^1237059-1 is not prime. Res64: 5BF9B145C68D549A Time : 0.0 sec. user=mdettweiler [2012-12-08 21:18:35] 909*2^1237059-1 is not prime. Res64: 145C062BEE035942 Time : 0.0 sec. user=mdettweiler [2012-12-08 21:18:36] 969*2^1237059-1 is not prime. Res64: 20C94D75D233AD22 Time : 0.0 sec. user=mdettweiler [2012-12-08 21:28:28] 629*2^1237060-1 is not prime. Res64: 89A99263494574B4 Time : 0.0 sec. user=mdettweiler [2012-12-08 21:28:28] 827*2^1237060-1 is not prime. Res64: 344ED97F592CF24D Time : 0.0 sec. user=mdettweiler [2012-12-08 21:35:59] 839*2^1237060-1 is not prime. Res64: 265094ABBFE96524 Time : 0.0 sec. user=mdettweiler [2012-12-08 21:35:59] 873*2^1237060-1 is not prime. Res64: 8CC215D2F41931F9 Time : 0.0 sec. user=vaughan [2012-12-08 21:40:39] 975*2^1237059-1 is not prime. Res64: 658C2FB4CC03E057 Time : 0.0 sec. user=mdettweiler [2012-12-08 21:45:48] 939*2^1237060-1 is not prime. Res64: 1B826BADBFA1415E Time : 0.0 sec. user=mdettweiler [2012-12-08 21:45:49] 999*2^1237060-1 is not prime. Res64: 1B3A3AF5941EFB14 Time : 0.0 sec. user=mdettweiler [2012-12-08 21:53:20] 645*2^1237061-1 is not prime. Res64: 9567B5AC7516157E Time : 0.0 sec. user=mdettweiler [2012-12-08 21:53:20] 745*2^1237061-1 is not prime. Res64: 8038040FA8A61A90 Time : 0.0 sec. user=mdettweiler [2012-12-08 22:03:10] 801*2^1237061-1 is not prime. Res64: C391CBDD20D28E0F Time : 0.0 sec. user=mdettweiler [2012-12-08 22:03:11] 819*2^1237061-1 is not prime. Res64: 33E0142AD808E770 Time : 0.0 sec. user=mdettweiler [2012-12-08 22:10:40] 861*2^1237061-1 is not prime. Res64: AB8938ED6BB5FC35 Time : 0.0 sec. user=mdettweiler [2012-12-08 22:10:42] 867*2^1237061-1 is not prime. Res64: E6BCE6CD5FEFF9E2 Time : 0.0 sec. user=vaughan [2012-12-08 22:18:31] 799*2^1237061-1 is not prime. Res64: 36D25C94BC6D6192 Time : 0.0 sec. user=mdettweiler [2012-12-08 22:20:37] 871*2^1237061-1 is not prime. Res64: CFADC4F6CB561EC8 Time : 0.0 sec. user=mdettweiler [2012-12-08 22:20:37] 937*2^1237061-1 is not prime. Res64: 7DCB8030868318B4 Time : 0.0 sec. user=mdettweiler [2012-12-08 22:28:10] 651*2^1237062-1 is not prime. Res64: D2B449B8B05A58E3 Time : 0.0 sec. user=mdettweiler [2012-12-08 22:28:10] 665*2^1237062-1 is not prime. Res64: 4B668914DBFAC655 Time : 0.0 sec. user=mdettweiler [2012-12-08 22:38:01] 875*2^1237062-1 is not prime. Res64: 78A496243C579A2C Time : 0.0 sec. user=mdettweiler [2012-12-08 22:38:02] 885*2^1237062-1 is not prime. Res64: AB20E1A4FB472E56 Time : 0.0 sec. user=mdettweiler [2012-12-08 22:45:38] 887*2^1237062-1 is not prime. Res64: 021468514AB806DA Time : 0.0 sec. user=mdettweiler [2012-12-08 22:45:38] 893*2^1237062-1 is not prime. Res64: B4355C3ADB56BB32 Time : 0.0 sec. user=mdettweiler [2012-12-08 22:55:32] 1001*2^1237062-1 is not prime. Res64: 374AD191908BCE0D Time : 0.0 sec. user=mdettweiler [2012-12-08 22:55:33] 765*2^1237063-1 is not prime. Res64: 72C8F393FA51B468 Time : 0.0 sec. user=vaughan [2012-12-08 22:56:27] 755*2^1237062-1 is not prime. Res64: D1EBFD3A274DB0D5 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:03:07] 783*2^1237063-1 is not prime. Res64: FFCDEBDBDECEF191 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:03:08] 961*2^1237063-1 is not prime. Res64: 9CC6F5EF1C0526D3 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:13:00] 993*2^1237063-1 is not prime. Res64: 25621C5C8620C1A4 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:13:02] 617*2^1237064-1 is not prime. Res64: 92D54F27195BA79E Time : 0.0 sec. user=mdettweiler [2012-12-08 23:20:43] 897*2^1237064-1 is not prime. Res64: F3DF96259A24F86A Time : 0.0 sec. user=mdettweiler [2012-12-08 23:20:44] 903*2^1237064-1 is not prime. Res64: ED73A5558D5412D2 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:30:30] 607*2^1237065-1 is not prime. Res64: 50E2FDF691B4AEA5 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:30:31] 679*2^1237065-1 is not prime. Res64: F77F49E7AA03B004 Time : 0.0 sec. user=vaughan [2012-12-08 23:34:15] 635*2^1237064-1 is not prime. Res64: 6C025D201B35C6D3 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:38:02] 751*2^1237065-1 is not prime. Res64: FEB6D5231B0F7CE5 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:38:02] 765*2^1237065-1 is not prime. Res64: ACED7D18D18E8E4F Time : 0.0 sec. user=mdettweiler [2012-12-08 23:47:47] 781*2^1237065-1 is not prime. Res64: 2E609D5224DE1794 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:47:48] 789*2^1237065-1 is not prime. Res64: 70965F1272F9A3B9 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:55:20] 877*2^1237065-1 is not prime. Res64: B8037258D688DE09 Time : 0.0 sec. user=mdettweiler [2012-12-08 23:55:20] 909*2^1237065-1 is not prime. Res64: 2F9A296391147DF5 Time : 0.0 sec.