user=mdettweiler [2012-10-17 00:16:57] 961*2^1232799-1 is not prime. Res64: 1795D7D1A2F88866 Time : 0.0 sec. user=mdettweiler [2012-10-17 00:23:17] 719*2^1232800-1 is not prime. Res64: A09E9285CAFBF00E Time : 0.0 sec. user=vaughan [2012-10-17 00:36:07] 843*2^1232800-1 is not prime. Res64: C067A613ACCD3310 Time : 0.0 sec. user=mdettweiler [2012-10-17 00:57:20] 845*2^1232800-1 is not prime. Res64: AB40FF135F87D424 Time : 0.0 sec. user=mdettweiler [2012-10-17 00:57:21] 863*2^1232800-1 is not prime. Res64: 777647AC6403F859 Time : 0.0 sec. user=mdettweiler [2012-10-17 01:10:38] 607*2^1232801-1 is not prime. Res64: F5E675BBD678A40F Time : 0.0 sec. user=mdettweiler [2012-10-17 01:10:41] 735*2^1232801-1 is not prime. Res64: 5043AD53ADB1B1C0 Time : 0.0 sec. user=vaughan [2012-10-17 01:14:23] 933*2^1232800-1 is not prime. Res64: 0AA1C8FF3B4D2A40 Time : 0.0 sec. user=mdettweiler [2012-10-17 01:19:07] 871*2^1232801-1 is not prime. Res64: 5A37C7A5FE747202 Time : 0.0 sec. user=mdettweiler [2012-10-17 01:32:44] 931*2^1232801-1 is not prime. Res64: 3134867D6049922C Time : 0.0 sec. user=mdettweiler [2012-10-17 01:32:45] 611*2^1232802-1 is not prime. Res64: B79975686AB9C8F0 Time : 0.0 sec. user=mdettweiler [2012-10-17 01:55:26] 633*2^1232802-1 is not prime. Res64: CBF0A0C53DCD8619 Time : 0.0 sec. user=mdettweiler [2012-10-17 02:07:21] 907*2^1232801-1 is not prime. Res64: 01949B572D4FBC04 Time : 0.0 sec. user=vaughan [2012-10-17 02:27:35] 713*2^1232802-1 is not prime. Res64: DF1EDC1463C0FBCE Time : 0.0 sec. user=mdettweiler [2012-10-17 02:29:24] 791*2^1232802-1 is not prime. Res64: 67C31265967E1972 Time : 0.0 sec. user=mdettweiler [2012-10-17 02:29:25] 815*2^1232802-1 is not prime. Res64: 21E9912720771444 Time : 0.0 sec. user=mdettweiler [2012-10-17 02:30:08] 677*2^1232802-1 is not prime. Res64: 31558A0EB07541A2 Time : 0.0 sec. user=mdettweiler [2012-10-17 02:51:07] 957*2^1232802-1 is not prime. Res64: 551F9654D63A9776 Time : 0.0 sec. user=mdettweiler [2012-10-17 02:51:08] 633*2^1232803-1 is not prime. Res64: DE4386E858147DD4 Time : 0.0 sec. user=mdettweiler [2012-10-17 02:51:51] 681*2^1232803-1 is not prime. Res64: BE34D3DE42650865 Time : 0.0 sec. user=mdettweiler [2012-10-17 02:51:53] 709*2^1232803-1 is not prime. Res64: 75C65C134650C507 Time : 0.0 sec. user=vaughan [2012-10-17 03:05:24] 917*2^1232802-1 is not prime. Res64: 8481183419EBFA08 Time : 0.0 sec. user=mdettweiler [2012-10-17 03:13:22] 723*2^1232803-1 is not prime. Res64: C4F5B3D78DCD4820 Time : 0.0 sec. user=mdettweiler [2012-10-17 03:14:08] 609*2^1232804-1 is not prime. Res64: 829A37367A247B8B Time : 0.0 sec. user=vaughan [2012-10-17 03:43:19] 687*2^1232804-1 is not prime. Res64: 872EE635BFAC8646 Time : 0.0 sec. user=mdettweiler [2012-10-17 03:59:20] 919*2^1232803-1 is not prime. Res64: 3D267ABC4F97D701 Time : 0.0 sec. user=mdettweiler [2012-10-17 04:00:05] 615*2^1232804-1 is not prime. Res64: 228EA0D4A1E9ABAD Time : 0.0 sec. user=vaughan [2012-10-17 04:21:23] 743*2^1232804-1 is not prime. Res64: FB7B8C47AC5C44A2 Time : 0.0 sec. user=mdettweiler [2012-10-17 04:22:23] 789*2^1232804-1 is not prime. Res64: 9D49E9C6064D7AC7 Time : 0.0 sec. user=mdettweiler [2012-10-17 04:22:25] 875*2^1232804-1 is not prime. Res64: 0C1F25467D84CB5D Time : 0.0 sec. user=mdettweiler [2012-10-17 04:44:24] 625*2^1232805-1 is not prime. Res64: 4A671DD3E451C906 Time : 0.0 sec. user=vaughan [2012-10-17 04:59:21] 885*2^1232804-1 is not prime. Res64: 785F633A29D37BC8 Time : 0.0 sec. user=mdettweiler [2012-10-17 05:00:31] 649*2^1232805-1 is not prime. Res64: C6744E1752DFE5B8 Time : 0.0 sec. user=mdettweiler [2012-10-17 05:02:40] 655*2^1232805-1 is not prime. Res64: 1669E7E358260229 Time : 0.0 sec. user=mdettweiler [2012-10-17 05:36:21] 685*2^1232805-1 is not prime. Res64: CB11BFC6224EA9C6 Time : 0.0 sec. user=vaughan [2012-10-17 05:37:04] 691*2^1232805-1 is not prime. Res64: 7151F5F13B79CF32 Time : 0.0 sec. user=mdettweiler [2012-10-17 05:55:06] 787*2^1232805-1 is not prime. Res64: A1AB8D558FFFB580 Time : 0.0 sec. user=mdettweiler [2012-10-17 05:55:07] 885*2^1232805-1 is not prime. Res64: 5E9AF39AFF0FA7CF Time : 0.0 sec. user=vaughan [2012-10-17 06:15:02] 937*2^1232805-1 is not prime. Res64: 27F0FBD0FC59D21F Time : 0.0 sec. user=mdettweiler [2012-10-17 06:16:56] 979*2^1232805-1 is not prime. Res64: 4AD7B04FF220B0D0 Time : 0.0 sec. user=mdettweiler [2012-10-17 06:16:58] 761*2^1232806-1 is not prime. Res64: C52C9ECC5FB9F752 Time : 0.0 sec. user=mdettweiler [2012-10-17 06:31:47] 873*2^1232806-1 is not prime. Res64: 4AC174FE6BBC2609 Time : 0.0 sec. user=mdettweiler [2012-10-17 06:39:19] 615*2^1232807-1 is not prime. Res64: C0E7BC1FD29E2177 Time : 0.0 sec. user=mdettweiler [2012-10-17 07:01:39] 903*2^1232806-1 is not prime. Res64: 0D4CBF685C3EA59B Time : 0.0 sec. user=mdettweiler [2012-10-17 07:20:16] 619*2^1232807-1 is not prime. Res64: 7B9B5F3BD0782044 Time : 0.0 sec. user=vaughan [2012-10-17 07:28:39] 661*2^1232807-1 is not prime. Res64: 03791F106515428B Time : 0.0 sec. user=mdettweiler [2012-10-17 07:42:09] 693*2^1232807-1 is not prime. Res64: 05A4FA979B47CA71 Time : 0.0 sec. user=mdettweiler [2012-10-17 07:57:23] 879*2^1232807-1 is not prime. Res64: 04A7702127319BF0 Time : 0.0 sec. user=mdettweiler [2012-10-17 07:57:24] 909*2^1232807-1 is not prime. Res64: 5B76D0799C2D4AF6 Time : 0.0 sec. user=vaughan [2012-10-17 08:06:37] 859*2^1232807-1 is not prime. Res64: A378399BF1533E06 Time : 0.0 sec. user=mdettweiler [2012-10-17 08:17:31] 715*2^1232807-1 is not prime. Res64: C33D72129A18E6BD Time : 0.0 sec. user=mdettweiler [2012-10-17 08:19:42] 945*2^1232807-1 is not prime. Res64: 4C6367D67473DA5B Time : 0.0 sec. user=mdettweiler [2012-10-17 08:39:33] 705*2^1232808-1 is not prime. Res64: 552C12B4F88196F2 Time : 0.0 sec. user=mdettweiler [2012-10-17 08:39:34] 759*2^1232808-1 is not prime. Res64: 3A3B81A2B9CE39F2 Time : 0.0 sec. user=vaughan [2012-10-17 08:44:29] 669*2^1232808-1 is not prime. Res64: 0EFF31B2AA51F8A5 Time : 0.0 sec. user=mdettweiler [2012-10-17 08:51:07] 981*2^1232807-1 is not prime. Res64: E99A875A28C9A107 Time : 0.0 sec. user=mdettweiler [2012-10-17 09:01:34] 789*2^1232808-1 is not prime. Res64: 04C74A7B6B5803E0 Time : 0.0 sec. user=mdettweiler [2012-10-17 09:01:37] 867*2^1232808-1 is not prime. Res64: 01453EDA48A2A54A Time : 0.0 sec. user=mdettweiler [2012-10-17 09:12:50] 601*2^1232809-1 is not prime. Res64: AA2FE9F9515FCA78 Time : 0.0 sec. user=mdettweiler [2012-10-17 09:12:52] 685*2^1232809-1 is not prime. Res64: 7880B324EA15720D Time : 0.0 sec. user=vaughan [2012-10-17 09:22:21] 975*2^1232808-1 is not prime. Res64: 99091DD87E007A69 Time : 0.0 sec. user=mdettweiler [2012-10-17 09:23:26] 931*2^1232809-1 is not prime. Res64: 99A6D88BC99E11F4 Time : 0.0 sec. user=mdettweiler [2012-10-17 09:23:27] 955*2^1232809-1 is not prime. Res64: 094C72DCB01CC66F Time : 0.0 sec. user=mdettweiler [2012-10-17 09:34:45] 967*2^1232809-1 is not prime. Res64: 71A653DDE7022176 Time : 0.0 sec. user=mdettweiler [2012-10-17 09:34:46] 987*2^1232809-1 is not prime. Res64: BC7EDC311C9454B1 Time : 0.0 sec. user=mdettweiler [2012-10-17 09:45:27] 773*2^1232810-1 is not prime. Res64: 8608DCFE64F03B56 Time : 0.0 sec. user=mdettweiler [2012-10-17 09:45:28] 857*2^1232810-1 is not prime. Res64: 29F5683FF230DC01 Time : 0.0 sec. user=mdettweiler [2012-10-17 09:57:12] 601*2^1232811-1 is not prime. Res64: FCA67057733E5981 Time : 0.0 sec. user=vaughan [2012-10-17 10:00:46] 603*2^1232810-1 is not prime. Res64: 44C0648142454D3F Time : 0.0 sec. user=mdettweiler [2012-10-17 10:07:32] 679*2^1232811-1 is not prime. Res64: 99D6EFC9750A7F9C Time : 0.0 sec. user=mdettweiler [2012-10-17 10:07:34] 711*2^1232811-1 is not prime. Res64: A3FCBAC9BB9B4352 Time : 0.0 sec. user=mdettweiler [2012-10-17 10:29:38] 735*2^1232811-1 is not prime. Res64: 1D3F492C6F0879FF Time : 0.0 sec. user=mdettweiler [2012-10-17 10:29:39] 825*2^1232811-1 is not prime. Res64: 5954B43E171BC16F Time : 0.0 sec. user=mdettweiler [2012-10-17 10:36:11] 619*2^1232811-1 is not prime. Res64: 2041C6D9EB0E35F5 Time : 0.0 sec. user=mdettweiler [2012-10-17 10:51:28] 913*2^1232811-1 is not prime. Res64: 7A0C876A5D46D7B6 Time : 0.0 sec. user=mdettweiler [2012-10-17 10:51:29] 973*2^1232811-1 is not prime. Res64: 56C234F46C553586 Time : 0.0 sec. user=mdettweiler [2012-10-17 10:57:49] 605*2^1232812-1 is not prime. Res64: 01A468ECC2D7FD7F Time : 0.0 sec. user=mdettweiler [2012-10-17 10:57:51] 635*2^1232812-1 is not prime. Res64: 332641C865280246 Time : 0.0 sec. user=mdettweiler [2012-10-17 11:13:25] 677*2^1232812-1 is not prime. Res64: DF4ED2DC051174A4 Time : 0.0 sec. user=mdettweiler [2012-10-17 11:13:28] 719*2^1232812-1 is not prime. Res64: 014D20B5BEFA2CFF Time : 0.0 sec. user=vaughan [2012-10-17 11:14:37] 653*2^1232812-1 is not prime. Res64: D407E7C6EE04AA6B Time : 0.0 sec. user=mdettweiler [2012-10-17 11:19:49] 819*2^1232812-1 is not prime. Res64: D6F9362942B5A9DF Time : 0.0 sec. user=mdettweiler [2012-10-17 11:19:52] 897*2^1232812-1 is not prime. Res64: 4EA3EC7B88704480 Time : 0.0 sec. user=mdettweiler [2012-10-17 11:35:41] 829*2^1232813-1 is not prime. Res64: 306D325E1DD5BCE7 Time : 0.0 sec. user=mdettweiler [2012-10-17 11:41:54] 859*2^1232813-1 is not prime. Res64: 543B0FD01B0CD1C4 Time : 0.0 sec. user=mdettweiler [2012-10-17 11:57:38] 927*2^1232813-1 is not prime. Res64: 40ADB932514DF767 Time : 0.0 sec. user=mdettweiler [2012-10-17 12:19:28] 949*2^1232813-1 is not prime. Res64: 165B0D4304B05890 Time : 0.0 sec. user=mdettweiler [2012-10-17 12:19:32] 683*2^1232814-1 is not prime. Res64: 278046EFCCB8790E Time : 0.0 sec. user=mdettweiler [2012-10-17 12:21:19] 847*2^1232813-1 is not prime. Res64: 16CDBBCF0C265DA1 Time : 0.0 sec. user=vaughan [2012-10-17 12:28:57] 937*2^1232813-1 is not prime. Res64: AFEBF58A22017C9D Time : 0.0 sec. user=mdettweiler [2012-10-17 12:41:25] 741*2^1232814-1 is not prime. Res64: 3703272B40CA5295 Time : 0.0 sec. user=mdettweiler [2012-10-17 12:43:06] 851*2^1232814-1 is not prime. Res64: DE943B9A42F08DF3 Time : 0.0 sec. user=mdettweiler [2012-10-17 12:43:07] 601*2^1232815-1 is not prime. Res64: 7DB8D5930C0D615C Time : 0.0 sec. user=mdettweiler [2012-10-17 13:04:57] 889*2^1232815-1 is not prime. Res64: E86268EC3BADAC70 Time : 0.0 sec. user=vaughan [2012-10-17 13:07:00] 789*2^1232815-1 is not prime. Res64: 8D1CF7647D9B8354 Time : 0.0 sec. user=mdettweiler [2012-10-17 13:27:06] 795*2^1232814-1 is not prime. Res64: 1D8849783E0C4637 Time : 0.0 sec. user=mdettweiler [2012-10-17 13:48:48] 683*2^1232816-1 is not prime. Res64: 9861E0D97D65EFEA Time : 0.0 sec. user=mdettweiler [2012-10-17 13:48:49] 717*2^1232816-1 is not prime. Res64: 2582FC3251BC0A1E Time : 0.0 sec. user=mdettweiler [2012-10-17 13:49:14] 999*2^1232815-1 is not prime. Res64: 8A2C7168AAF13B20 Time : 0.0 sec. user=mdettweiler [2012-10-17 14:10:20] 667*2^1232817-1 is not prime. Res64: 5AE40E492E9271AB Time : 0.0 sec. user=mdettweiler [2012-10-17 14:10:45] 747*2^1232817-1 is not prime. Res64: A16FB1AC49414A8C Time : 0.0 sec. user=vaughan [2012-10-17 14:20:32] 651*2^1232817-1 is not prime. Res64: 445ED2E69FEBF1B3 Time : 0.0 sec. user=mdettweiler [2012-10-17 14:32:49] 691*2^1232817-1 is not prime. Res64: A157933D39E9D6A9 Time : 0.0 sec. user=mdettweiler [2012-10-17 14:51:12] 759*2^1232817-1 is not prime. Res64: E4ECD4F0B0590944 Time : 0.0 sec. user=mdettweiler [2012-10-17 14:54:14] 805*2^1232817-1 is not prime. Res64: 953FCEE4200E7255 Time : 0.0 sec. user=mdettweiler [2012-10-17 14:54:15] 919*2^1232817-1 is not prime. Res64: CC8F14CF76F1B9E1 Time : 0.0 sec. user=vaughan [2012-10-17 14:58:45] 777*2^1232817-1 is not prime. Res64: 4C1F45CD7B1D0095 Time : 0.0 sec. user=mdettweiler [2012-10-17 15:12:16] 937*2^1232817-1 is not prime. Res64: D43927C21C8E0DCF Time : 0.0 sec. user=mdettweiler [2012-10-17 15:12:20] 949*2^1232817-1 is not prime. Res64: 094829E4FA687AE0 Time : 0.0 sec. user=mdettweiler [2012-10-17 15:15:51] 617*2^1232818-1 is not prime. Res64: 773F016135AE8ABF Time : 0.0 sec. user=mdettweiler [2012-10-17 15:15:53] 681*2^1232818-1 is not prime. Res64: D938FA3A72E39403 Time : 0.0 sec. user=mdettweiler [2012-10-17 15:33:46] 743*2^1232818-1 is not prime. Res64: ED6F7E5E27DA16C3 Time : 0.0 sec. user=vaughan [2012-10-17 15:36:33] 731*2^1232818-1 is not prime. Res64: 4D855BDBC842C48E Time : 0.0 sec. user=mdettweiler [2012-10-17 15:37:01] 669*2^1232819-1 is not prime. Res64: C1B8F72009A37E57 Time : 0.0 sec. user=mdettweiler [2012-10-17 15:37:01] 949*2^1232819-1 is not prime. Res64: 6037AF3B60F41647 Time : 0.0 sec. user=mdettweiler [2012-10-17 15:58:08] 991*2^1232819-1 is not prime. Res64: 164C2F6021E1944F Time : 0.0 sec. user=mdettweiler [2012-10-17 15:58:09] 627*2^1232820-1 is not prime. Res64: 14F27DF440C0CB5E Time : 0.0 sec. user=mdettweiler [2012-10-17 16:08:31] 643*2^1232819-1 is not prime. Res64: 5667934133083DEB Time : 0.0 sec. user=vaughan [2012-10-17 16:14:35] 969*2^1232819-1 is not prime. Res64: F813B8499B3634D4 Time : 0.0 sec. user=mdettweiler [2012-10-17 16:19:31] 675*2^1232820-1 is not prime. Res64: CFD6431865F6D131 Time : 0.0 sec. user=mdettweiler [2012-10-17 16:19:32] 693*2^1232820-1 is not prime. Res64: 4508E4A8DD4B7623 Time : 0.0 sec. user=mdettweiler [2012-10-17 16:41:08] 707*2^1232820-1 is not prime. Res64: 360C6E39D300BA81 Time : 0.0 sec. user=mdettweiler [2012-10-17 16:41:08] 735*2^1232820-1 is not prime. Res64: B9A114057621CD8F Time : 0.0 sec. user=mdettweiler [2012-10-17 17:00:36] 809*2^1232820-1 is not prime. Res64: F09FF55D6EC653C2 Time : 0.0 sec. user=mdettweiler [2012-10-17 17:00:42] 845*2^1232820-1 is not prime. Res64: D7BD43977940579E Time : 0.0 sec. user=mdettweiler [2012-10-17 17:03:04] 867*2^1232820-1 is not prime. Res64: 9F5D089C6168035A Time : 0.0 sec. user=mdettweiler [2012-10-17 17:03:08] 915*2^1232820-1 is not prime. Res64: 5AD255E187BBFDCF Time : 0.0 sec. user=mdettweiler [2012-10-17 17:22:32] 607*2^1232821-1 is not prime. Res64: DF0B2148277A24E8 Time : 0.0 sec. user=mdettweiler [2012-10-17 17:22:33] 619*2^1232821-1 is not prime. Res64: 5A32FCC9CF084024 Time : 0.0 sec. user=mdettweiler [2012-10-17 17:24:57] 715*2^1232821-1 is not prime. Res64: 45AAE5E31A326107 Time : 0.0 sec. user=mdettweiler [2012-10-17 17:24:58] 745*2^1232821-1 is not prime. Res64: 0B8076325FF954A8 Time : 0.0 sec. user=vaughan [2012-10-17 17:28:12] 999*2^1232820-1 is not prime. Res64: 6B8BD4C383F1A70A Time : 0.0 sec. user=mdettweiler [2012-10-17 17:44:11] 799*2^1232821-1 is not prime. Res64: B802885E38123C0E Time : 0.0 sec. user=mdettweiler [2012-10-17 17:44:12] 819*2^1232821-1 is not prime. Res64: 09F8A41FF34362C9 Time : 0.0 sec. user=mdettweiler [2012-10-17 17:46:23] 847*2^1232821-1 is not prime. Res64: 41DB5DD0625F1D75 Time : 0.0 sec. user=mdettweiler [2012-10-17 18:05:54] 635*2^1232822-1 is not prime. Res64: BB71EA3B5ECCB539 Time : 0.0 sec. user=vaughan [2012-10-17 18:05:58] 939*2^1232821-1 is not prime. Res64: 6D7D547FD2949437 Time : 0.0 sec. user=mdettweiler [2012-10-17 18:07:29] 871*2^1232821-1 is not prime. Res64: 5CD6FEC403D16D4F Time : 0.0 sec. user=vaughan [2012-10-17 18:44:07] 743*2^1232822-1 is not prime. Res64: 9EE182690C038F3F Time : 0.0 sec. user=mdettweiler [2012-10-17 18:48:57] 705*2^1232822-1 is not prime. Res64: F3CE1B2D30B2C6B8 Time : 0.0 sec. user=mdettweiler [2012-10-17 18:57:35] 911*2^1232822-1 is not prime. Res64: CCBBB96F1B427643 Time : 0.0 sec. user=mdettweiler [2012-10-17 18:57:36] 965*2^1232822-1 is not prime. Res64: DDC1114AC0238765 Time : 0.0 sec. user=mdettweiler [2012-10-17 19:10:15] 781*2^1232823-1 is not prime. Res64: 4A85044474959006 Time : 0.0 sec. user=mdettweiler [2012-10-17 19:10:17] 861*2^1232823-1 is not prime. Res64: 37D6F08D05DF0631 Time : 0.0 sec. user=mdettweiler [2012-10-17 19:18:51] 945*2^1232823-1 is not prime. Res64: AEC13C718B96DC61 Time : 0.0 sec. user=mdettweiler [2012-10-17 19:18:53] 657*2^1232824-1 is not prime. Res64: 83D763F021220A56 Time : 0.0 sec. user=vaughan [2012-10-17 19:22:18] 981*2^1232822-1 is not prime. Res64: E09DDCB1D206BA51 Time : 0.0 sec. user=mdettweiler [2012-10-17 19:32:10] 675*2^1232824-1 is not prime. Res64: BC91BD156814526E Time : 0.0 sec. user=mdettweiler [2012-10-17 19:32:11] 677*2^1232824-1 is not prime. Res64: 7C77FB7D2C21CCEC Time : 0.0 sec. user=mdettweiler [2012-10-17 19:40:46] 695*2^1232824-1 is not prime. Res64: 624E40006156569E Time : 0.0 sec. user=mdettweiler [2012-10-17 19:40:47] 857*2^1232824-1 is not prime. Res64: 9E43BB1164039D72 Time : 0.0 sec. user=mdettweiler [2012-10-17 19:54:10] 863*2^1232824-1 is not prime. Res64: 0AB835172AF3C39E Time : 0.0 sec. user=mdettweiler [2012-10-17 20:02:38] 867*2^1232825-1 is not prime. Res64: E0EC866E7B5FAC71 Time : 0.0 sec. user=mdettweiler [2012-10-17 20:02:40] 907*2^1232825-1 is not prime. Res64: 6E80D93E041ED6B6 Time : 0.0 sec. user=mdettweiler [2012-10-17 20:24:34] 969*2^1232825-1 is not prime. Res64: 2886ACE3A5AFB8D3 Time : 0.0 sec. user=vaughan [2012-10-17 20:35:37] 909*2^1232825-1 is not prime. Res64: B614E30B821538C1 Time : 0.0 sec. user=mdettweiler [2012-10-17 20:37:30] 699*2^1232825-1 is not prime. Res64: FE1A291B92BF9CB7 Time : 0.0 sec. user=mdettweiler [2012-10-17 20:59:21] 833*2^1232826-1 is not prime. Res64: 33E4417F55C6A5F1 Time : 0.0 sec. user=vaughan [2012-10-17 21:13:45] 891*2^1232826-1 is not prime. Res64: 5AB7E91B17626A8A Time : 0.0 sec. user=mdettweiler [2012-10-17 21:20:55] 963*2^1232826-1 is not prime. Res64: A58329B3E0D2A202 Time : 0.0 sec. user=mdettweiler [2012-10-17 21:20:56] 603*2^1232827-1 is not prime. Res64: C9C581835CFFB57D Time : 0.0 sec. user=mdettweiler [2012-10-17 21:26:08] 615*2^1232827-1 is not prime. Res64: 9712B5F143218405 Time : 0.0 sec. user=mdettweiler [2012-10-17 21:26:09] 793*2^1232827-1 is not prime. Res64: 4F5FBCA733BC9D29 Time : 0.0 sec. user=mdettweiler [2012-10-17 21:42:01] 883*2^1232827-1 is not prime. Res64: 28CBB80BA4864AD4 Time : 0.0 sec. user=mdettweiler [2012-10-17 21:42:01] 687*2^1232828-1 is not prime. Res64: 600CE3ECB9C96CAF Time : 0.0 sec. user=mdettweiler [2012-10-17 21:47:27] 833*2^1232828-1 is not prime. Res64: 6725C44D2A64A183 Time : 0.0 sec. user=mdettweiler [2012-10-17 21:47:29] 839*2^1232828-1 is not prime. Res64: 2D26F3B597597B63 Time : 0.0 sec. user=vaughan [2012-10-17 21:51:35] 835*2^1232827-1 is not prime. Res64: A975ED3C5D567B13 Time : 0.0 sec. user=mdettweiler [2012-10-17 22:03:13] 625*2^1232829-1 is not prime. Res64: CE4FE5BEB08AE16F Time : 0.0 sec. user=mdettweiler [2012-10-17 22:03:15] 661*2^1232829-1 is not prime. Res64: 203F35AB8994964C Time : 0.0 sec. user=mdettweiler [2012-10-17 22:08:43] 675*2^1232829-1 is not prime. Res64: A15C6CE8D66A56EB Time : 0.0 sec. user=mdettweiler [2012-10-17 22:08:45] 711*2^1232829-1 is not prime. Res64: 209C9052D2D580C3 Time : 0.0 sec. user=mdettweiler [2012-10-17 22:24:53] 861*2^1232829-1 is not prime. Res64: C212A40FC6B9ED88 Time : 0.0 sec. user=vaughan [2012-10-17 22:29:41] 727*2^1232829-1 is not prime. Res64: 7DEC6639ABA341A0 Time : 0.0 sec. user=mdettweiler [2012-10-17 22:30:22] 907*2^1232829-1 is not prime. Res64: 83D58E78566697D4 Time : 0.0 sec. user=mdettweiler [2012-10-17 22:55:14] 867*2^1232829-1 is not prime. Res64: 741D2BD092D34972 Time : 0.0 sec. user=mdettweiler [2012-10-17 23:16:35] 681*2^1232830-1 is not prime. Res64: AE4B91A93030D429 Time : 0.0 sec. user=mdettweiler [2012-10-17 23:16:38] 1001*2^1232830-1 is not prime. Res64: DC1C5890E718A85B Time : 0.0 sec. user=mdettweiler [2012-10-17 23:23:51] 961*2^1232829-1 is not prime. Res64: 9F4BB5175BD92351 Time : 0.0 sec. user=mdettweiler [2012-10-17 23:38:04] 759*2^1232831-1 is not prime. Res64: 49AAF2ADB614163A Time : 0.0 sec. user=mdettweiler [2012-10-17 23:38:05] 895*2^1232831-1 is not prime. Res64: 615780BFADCB80BC Time : 0.0 sec. user=vaughan [2012-10-17 23:43:19] 615*2^1232831-1 is not prime. Res64: B0E3B920E157C410 Time : 0.0 sec. user=mdettweiler [2012-10-17 23:45:00] 901*2^1232831-1 is not prime. Res64: B25A297D66FDD785 Time : 0.0 sec. user=mdettweiler [2012-10-17 23:45:01] 993*2^1232831-1 is not prime. Res64: 22F01A1390AA1369 Time : 0.0 sec. user=mdettweiler [2012-10-17 23:59:25] 899*2^1232832-1 is not prime. Res64: 073DC8A1B3E19409 Time : 0.0 sec. user=mdettweiler [2012-10-17 23:59:26] 929*2^1232832-1 is not prime. Res64: A89357972EFB5D29 Time : 0.0 sec.