user=mdettweiler [2013-06-05 00:04:50] 1001*2^1246558-1 is not prime. Res64: 593569C49002A150 Time : 0.0 sec. user=mdettweiler [2013-06-05 00:04:51] 615*2^1246559-1 is not prime. Res64: 6B2B24AA5EAE4F85 Time : 0.0 sec. user=mdettweiler [2013-06-05 00:22:51] 619*2^1246559-1 is not prime. Res64: 03A58666BEE4AC6F Time : 0.0 sec. user=mdettweiler [2013-06-05 00:28:42] 661*2^1246559-1 is not prime. Res64: 18E1D74E83EEE2E6 Time : 0.0 sec. user=mdettweiler [2013-06-05 00:28:43] 855*2^1246559-1 is not prime. Res64: 8F9D032175D40F89 Time : 0.0 sec. user=mdettweiler [2013-06-05 00:46:16] 913*2^1246559-1 is not prime. Res64: 323BA6E19D3D6381 Time : 0.0 sec. user=mdettweiler [2013-06-05 00:46:16] 969*2^1246559-1 is not prime. Res64: A3B2F5111D5EA6C2 Time : 0.0 sec. user=mdettweiler [2013-06-05 00:59:57] 633*2^1246559-1 is not prime. Res64: E08A1278F10559D1 Time : 0.0 sec. user=mdettweiler [2013-06-05 01:04:58] 985*2^1246559-1 is not prime. Res64: 3CF951B4723921D3 Time : 0.0 sec. user=mdettweiler [2013-06-05 01:04:59] 635*2^1246560-1 is not prime. Res64: C628DE7769CA4E3C Time : 0.0 sec. user=mdettweiler [2013-06-05 01:17:26] 669*2^1246560-1 is not prime. Res64: 1B6D22544E2FDD3D Time : 0.0 sec. user=mdettweiler [2013-06-05 01:17:27] 723*2^1246560-1 is not prime. Res64: E8FFAB727CFCB9FB Time : 0.0 sec. user=mdettweiler [2013-06-05 01:22:58] 863*2^1246560-1 is not prime. Res64: 7C69416019D31767 Time : 0.0 sec. user=mdettweiler [2013-06-05 01:35:27] 615*2^1246561-1 is not prime. Res64: B29681D3723054C3 Time : 0.0 sec. user=mdettweiler [2013-06-05 01:55:01] 875*2^1246560-1 is not prime. Res64: B0E83F04826AFB0A Time : 0.0 sec. user=mdettweiler [2013-06-05 02:00:43] 639*2^1246561-1 is not prime. Res64: 1E95A76DEFCD80B1 Time : 0.0 sec. user=mdettweiler [2013-06-05 02:13:03] 789*2^1246561-1 is not prime. Res64: 78DB72EA4864A551 Time : 0.0 sec. user=mdettweiler [2013-06-05 02:13:04] 955*2^1246561-1 is not prime. Res64: 8356852FF534F4BF Time : 0.0 sec. user=mdettweiler [2013-06-05 02:19:14] 741*2^1246562-1 is not prime. Res64: 094DE8CF4C1F8375 Time : 0.0 sec. user=mdettweiler [2013-06-05 02:19:14] 767*2^1246562-1 is not prime. Res64: 04B9E61EA5C923F0 Time : 0.0 sec. user=mdettweiler [2013-06-05 02:30:42] 837*2^1246562-1 is not prime. Res64: 2D90B7D1D1D66721 Time : 0.0 sec. user=mdettweiler [2013-06-05 02:30:43] 893*2^1246562-1 is not prime. Res64: 6974AF34924495AF Time : 0.0 sec. user=mdettweiler [2013-06-05 02:49:32] 1001*2^1246562-1 is not prime. Res64: 29C02DBEB590B5A7 Time : 0.0 sec. user=mdettweiler [2013-06-05 03:05:59] 953*2^1246562-1 is not prime. Res64: 478FAED1B2AA561F Time : 0.0 sec. user=mdettweiler [2013-06-05 03:06:00] 981*2^1246562-1 is not prime. Res64: D5E8EDC1A0BBBB5B Time : 0.0 sec. user=mdettweiler [2013-06-05 03:24:02] 663*2^1246563-1 is not prime. Res64: 7CF9EE8D8E0913E5 Time : 0.0 sec. user=mdettweiler [2013-06-05 03:25:26] 619*2^1246563-1 is not prime. Res64: D0BF5F69F32107E9 Time : 0.0 sec. user=mdettweiler [2013-06-05 03:43:10] 943*2^1246563-1 is not prime. Res64: 3C01AAF61E024E62 Time : 0.0 sec. user=mdettweiler [2013-06-05 03:53:23] 891*2^1246563-1 is not prime. Res64: A0EA4AA03BD0BF33 Time : 0.0 sec. user=mdettweiler [2013-06-05 04:09:48] 695*2^1246564-1 is not prime. Res64: 395ED713C87AA3D7 Time : 0.0 sec. user=mdettweiler [2013-06-05 04:10:55] 749*2^1246564-1 is not prime. Res64: 019D7A689058AE4F Time : 0.0 sec. user=mdettweiler [2013-06-05 04:10:56] 903*2^1246564-1 is not prime. Res64: 5A58A05EF79D7DE4 Time : 0.0 sec. user=mdettweiler [2013-06-05 04:27:51] 939*2^1246564-1 is not prime. Res64: 0FA681A04ECFABC5 Time : 0.0 sec. user=mdettweiler [2013-06-05 04:28:54] 795*2^1246565-1 is not prime. Res64: 323326267D77484C Time : 0.0 sec. user=mdettweiler [2013-06-05 04:51:14] 897*2^1246565-1 is not prime. Res64: 2E48D740E3C1ECF8 Time : 0.0 sec. user=mdettweiler [2013-06-05 04:57:39] 601*2^1246565-1 is not prime. Res64: 5542F41243981AD4 Time : 0.0 sec. user=mdettweiler [2013-06-05 05:16:29] 927*2^1246565-1 is not prime. Res64: C7F82A91973A42E2 Time : 0.0 sec. user=mdettweiler [2013-06-05 05:16:30] 987*2^1246565-1 is not prime. Res64: 2BD07C906BA40E54 Time : 0.0 sec. user=mdettweiler [2013-06-05 05:33:11] 641*2^1246566-1 is not prime. Res64: 6318FBC2C8A8A293 Time : 0.0 sec. user=mdettweiler [2013-06-05 05:33:11] 893*2^1246566-1 is not prime. Res64: D6C7131AEA3637A9 Time : 0.0 sec. user=mdettweiler [2013-06-05 05:35:53] 975*2^1246566-1 is not prime. Res64: 7AD52E161249688B Time : 0.0 sec. user=mdettweiler [2013-06-05 05:35:53] 993*2^1246566-1 is not prime. Res64: 162A168B1F723D6A Time : 0.0 sec. user=mdettweiler [2013-06-05 05:51:33] 1001*2^1246566-1 is not prime. Res64: 63FC4D0047BAED35 Time : 0.0 sec. user=mdettweiler [2013-06-05 05:51:34] 619*2^1246567-1 is not prime. Res64: D136361DE145C7D1 Time : 0.0 sec. user=mdettweiler [2013-06-05 05:53:20] 675*2^1246567-1 is not prime. Res64: B1058A7A8AC6B390 Time : 0.0 sec. user=mdettweiler [2013-06-05 05:53:21] 729*2^1246567-1 is not prime. Res64: D5A598C62EFA834C Time : 0.0 sec. user=mdettweiler [2013-06-05 06:09:18] 805*2^1246567-1 is not prime. Res64: 2E741702DB10772D Time : 0.0 sec. user=mdettweiler [2013-06-05 06:09:19] 901*2^1246567-1 is not prime. Res64: 3440BF022B343A28 Time : 0.0 sec. user=mdettweiler [2013-06-05 06:12:15] 915*2^1246567-1 is not prime. Res64: 31EA79B5794A92B5 Time : 0.0 sec. user=mdettweiler [2013-06-05 06:28:48] 975*2^1246567-1 is not prime. Res64: F4CC7D28A776AF17 Time : 0.0 sec. user=mdettweiler [2013-06-05 06:28:48] 979*2^1246567-1 is not prime. Res64: AE4D678DA0EA8F8F Time : 0.0 sec. user=mdettweiler [2013-06-05 06:36:36] 973*2^1246567-1 is not prime. Res64: FBB67DC3A8C75354 Time : 0.0 sec. user=mdettweiler [2013-06-05 06:46:36] 813*2^1246568-1 is not prime. Res64: D64DAAD9BF52132F Time : 0.0 sec. user=mdettweiler [2013-06-05 06:46:37] 839*2^1246568-1 is not prime. Res64: F3E284BD718BA046 Time : 0.0 sec. user=mdettweiler [2013-06-05 06:54:04] 927*2^1246568-1 is not prime. Res64: BFFC0156045D8FC2 Time : 0.0 sec. user=mdettweiler [2013-06-05 06:54:05] 661*2^1246569-1 is not prime. Res64: 0BA95566379E645B Time : 0.0 sec. user=mdettweiler [2013-06-05 07:04:27] 681*2^1246569-1 is not prime. Res64: 7A1AF8FF56002358 Time : 0.0 sec. user=mdettweiler [2013-06-05 07:04:28] 745*2^1246569-1 is not prime. Res64: B0C99CC9603AADC1 Time : 0.0 sec. user=mdettweiler [2013-06-05 07:11:48] 765*2^1246569-1 is not prime. Res64: 9649CE0389831E83 Time : 0.0 sec. user=mdettweiler [2013-06-05 07:11:49] 781*2^1246569-1 is not prime. Res64: BA4BE874B3F27F11 Time : 0.0 sec. user=mdettweiler [2013-06-05 07:22:02] 789*2^1246569-1 is not prime. Res64: 92E54EBEAAF55D4D Time : 0.0 sec. user=mdettweiler [2013-06-05 07:22:03] 835*2^1246569-1 is not prime. Res64: 62DF9F8C7924678A Time : 0.0 sec. user=mdettweiler [2013-06-05 07:29:23] 847*2^1246569-1 is not prime. Res64: 85D26F147BBD99D6 Time : 0.0 sec. user=mdettweiler [2013-06-05 07:29:24] 889*2^1246569-1 is not prime. Res64: 17875340D51E2B63 Time : 0.0 sec. user=mdettweiler [2013-06-05 07:41:31] 991*2^1246569-1 is not prime. Res64: 9C7E91E1688CAD2D Time : 0.0 sec. user=mdettweiler [2013-06-05 07:41:31] 999*2^1246569-1 is not prime. Res64: C6419E4AC2626D9D Time : 0.0 sec. user=mdettweiler [2013-06-05 07:47:13] 735*2^1246570-1 is not prime. Res64: F886D5E3BB07A43B Time : 0.0 sec. user=mdettweiler [2013-06-05 07:47:14] 765*2^1246570-1 is not prime. Res64: 0A4DC905E7E9F505 Time : 0.0 sec. user=mdettweiler [2013-06-05 07:59:07] 801*2^1246570-1 is not prime. Res64: FECF3983295AADD8 Time : 0.0 sec. user=mdettweiler [2013-06-05 07:59:07] 885*2^1246570-1 is not prime. Res64: C35E98707B18F918 Time : 0.0 sec. user=mdettweiler [2013-06-05 08:16:45] 951*2^1246570-1 is not prime. Res64: 01C405D939A2755B Time : 0.0 sec. user=mdettweiler [2013-06-05 08:35:25] 651*2^1246571-1 is not prime. Res64: 5235E660E087FE3B Time : 0.0 sec. user=mdettweiler [2013-06-05 08:41:00] 887*2^1246570-1 is not prime. Res64: 4325BB8B9D806448 Time : 0.0 sec. user=mdettweiler [2013-06-05 08:41:01] 945*2^1246570-1 is not prime. Res64: 387135BD6F7E5327 Time : 0.0 sec. user=mdettweiler [2013-06-05 08:58:48] 711*2^1246571-1 is not prime. Res64: 75DFD472E2513FB8 Time : 0.0 sec. user=mdettweiler [2013-06-05 09:26:04] 885*2^1246571-1 is not prime. Res64: 1D0E736EBFFC2D78 Time : 0.0 sec. user=mdettweiler [2013-06-05 09:30:37] 909*2^1246571-1 is not prime. Res64: 3465DC5FE7AA5F12 Time : 0.0 sec. user=mdettweiler [2013-06-05 09:30:37] 931*2^1246571-1 is not prime. Res64: BA4AA7CA404D5F16 Time : 0.0 sec. user=mdettweiler [2013-06-05 09:43:32] 627*2^1246572-1 is not prime. Res64: 2C0D267029BAB8F6 Time : 0.0 sec. user=mdettweiler [2013-06-05 09:43:32] 635*2^1246572-1 is not prime. Res64: 82B986127A295781 Time : 0.0 sec. user=mdettweiler [2013-06-05 09:48:29] 689*2^1246572-1 is not prime. Res64: 03EC925D5DE8847D Time : 0.0 sec. user=mdettweiler [2013-06-05 09:48:30] 857*2^1246572-1 is not prime. Res64: 90D80971F4A776E6 Time : 0.0 sec. user=mdettweiler [2013-06-05 10:01:02] 741*2^1246573-1 is not prime. Res64: 915F24F290654834 Time : 0.0 sec. user=mdettweiler [2013-06-05 10:01:04] 771*2^1246573-1 is not prime. Res64: 962CCD6655603C22 Time : 0.0 sec. user=mdettweiler [2013-06-05 10:06:15] 829*2^1246573-1 is not prime. Res64: D777505FACC00DF3 Time : 0.0 sec. user=mdettweiler [2013-06-05 10:06:32] 895*2^1246573-1 is not prime. Res64: FE202BC949DCF022 Time : 0.0 sec. user=mdettweiler [2013-06-05 10:18:42] 951*2^1246573-1 is not prime. Res64: DF099ECB9E41C780 Time : 0.0 sec. user=mdettweiler [2013-06-05 10:18:43] 617*2^1246574-1 is not prime. Res64: 455A7E3442BEFBB4 Time : 0.0 sec. user=mdettweiler [2013-06-05 10:36:13] 663*2^1246574-1 is not prime. Res64: DDE592C10528C6FE Time : 0.0 sec. user=mdettweiler [2013-06-05 10:36:14] 665*2^1246574-1 is not prime. Res64: B4A08321503B6026 Time : 0.0 sec. user=mdettweiler [2013-06-05 10:49:00] 755*2^1246574-1 is not prime. Res64: 9BD2670FA18C3952 Time : 0.0 sec. user=mdettweiler [2013-06-05 10:49:00] 797*2^1246574-1 is not prime. Res64: B04B185AC53A860A Time : 0.0 sec. user=mdettweiler [2013-06-05 10:54:01] 815*2^1246574-1 is not prime. Res64: 74818609213F4D4D Time : 0.0 sec. user=mdettweiler [2013-06-05 10:54:01] 831*2^1246574-1 is not prime. Res64: BE4CD8122AD3494F Time : 0.0 sec. user=mdettweiler [2013-06-05 11:06:59] 873*2^1246574-1 is not prime. Res64: F2DD056152B30F5A Time : 0.0 sec. user=mdettweiler [2013-06-05 11:12:01] 951*2^1246574-1 is not prime. Res64: 8825965EE50A578E Time : 0.0 sec. user=mdettweiler [2013-06-05 11:39:19] 915*2^1246574-1 is not prime. Res64: 2B454A116CED0C00 Time : 0.0 sec. user=mdettweiler [2013-06-05 11:42:10] 705*2^1246575-1 is not prime. Res64: C6F270634C65A7AA Time : 0.0 sec. user=mdettweiler [2013-06-05 12:00:00] 823*2^1246575-1 is not prime. Res64: B6FD06774589DBE3 Time : 0.0 sec. user=mdettweiler [2013-06-05 12:00:01] 849*2^1246575-1 is not prime. Res64: EBD9AF098D656986 Time : 0.0 sec. user=mdettweiler [2013-06-05 12:18:32] 859*2^1246575-1 is not prime. Res64: 4B10FE02EFF6C08A Time : 0.0 sec. user=mdettweiler [2013-06-05 12:18:32] 973*2^1246575-1 is not prime. Res64: C0FBD3CAADC2ECFA Time : 0.0 sec. user=mdettweiler [2013-06-05 12:18:52] 623*2^1246576-1 is not prime. Res64: 321B365A61CC7320 Time : 0.0 sec. user=mdettweiler [2013-06-05 12:36:36] 735*2^1246576-1 is not prime. Res64: FEFC3012C4A4A194 Time : 0.0 sec. user=mdettweiler [2013-06-05 12:36:36] 825*2^1246576-1 is not prime. Res64: ED102D09BD2AD540 Time : 0.0 sec. user=mdettweiler [2013-06-05 12:51:12] 717*2^1246576-1 is not prime. Res64: 6C1B250019D5CADD Time : 0.0 sec. user=mdettweiler [2013-06-05 12:54:24] 887*2^1246576-1 is not prime. Res64: C09427415B75885D Time : 0.0 sec. user=mdettweiler [2013-06-05 12:54:24] 917*2^1246576-1 is not prime. Res64: 7097545302A60A72 Time : 0.0 sec. user=mdettweiler [2013-06-05 13:09:18] 933*2^1246576-1 is not prime. Res64: BFD77CE50DD56CE6 Time : 0.0 sec. user=mdettweiler [2013-06-05 13:09:19] 939*2^1246576-1 is not prime. Res64: CFD7B2FF5C94D0FF Time : 0.0 sec. user=mdettweiler [2013-06-05 13:12:15] 831*2^1246577-1 is not prime. Res64: 3D1A4C67856C87C3 Time : 0.0 sec. user=mdettweiler [2013-06-05 13:12:16] 879*2^1246577-1 is not prime. Res64: E068A7F8B2CBDF3A Time : 0.0 sec. user=mdettweiler [2013-06-05 13:27:08] 755*2^1246578-1 is not prime. Res64: D1543352A828CE78 Time : 0.0 sec. user=mdettweiler [2013-06-05 13:27:08] 861*2^1246578-1 is not prime. Res64: 053BE68E0B35BDD5 Time : 0.0 sec. user=mdettweiler [2013-06-05 13:30:01] 875*2^1246578-1 is not prime. Res64: 2EB94CF4F57816F8 Time : 0.0 sec. user=mdettweiler [2013-06-05 13:30:01] 881*2^1246578-1 is not prime. Res64: 40C678D967F44A8E Time : 0.0 sec. user=mdettweiler [2013-06-05 13:44:58] 905*2^1246578-1 is not prime. Res64: 9305D7E2FAAE133F Time : 0.0 sec. user=mdettweiler [2013-06-05 13:44:58] 927*2^1246578-1 is not prime. Res64: 152C6E7C4D5BB2E0 Time : 0.0 sec. user=mdettweiler [2013-06-05 13:48:37] 975*2^1246578-1 is not prime. Res64: 58674A3E2ECE10EB Time : 0.0 sec. user=mdettweiler [2013-06-05 13:48:37] 615*2^1246579-1 is not prime. Res64: E5DDCB64D352EF21 Time : 0.0 sec. user=mdettweiler [2013-06-05 14:02:52] 735*2^1246579-1 is not prime. Res64: F138FF50DCE3C41B Time : 0.0 sec. user=mdettweiler [2013-06-05 14:06:56] 859*2^1246579-1 is not prime. Res64: 09205C0C5FC630E9 Time : 0.0 sec. user=mdettweiler [2013-06-05 14:21:55] 853*2^1246579-1 is not prime. Res64: F95CAD1F1768B441 Time : 0.0 sec. user=mdettweiler [2013-06-05 14:29:41] 883*2^1246579-1 is not prime. Res64: 0CCD458AAF20988D Time : 0.0 sec. user=mdettweiler [2013-06-05 14:40:42] 993*2^1246579-1 is not prime. Res64: CDCC03E9749B4EA7 Time : 0.0 sec. user=mdettweiler [2013-06-05 14:40:42] 615*2^1246580-1 is not prime. Res64: 5D92DDE03C263B10 Time : 0.0 sec. user=mdettweiler [2013-06-05 14:58:26] 665*2^1246580-1 is not prime. Res64: 366AD4B4422AF7FF Time : 0.0 sec. user=mdettweiler [2013-06-05 14:58:26] 813*2^1246580-1 is not prime. Res64: DA0F54543B152D73 Time : 0.0 sec. user=mdettweiler [2013-06-05 15:16:10] 875*2^1246580-1 is not prime. Res64: 873DC40D6CCD1540 Time : 0.0 sec. user=mdettweiler [2013-06-05 15:16:10] 885*2^1246580-1 is not prime. Res64: D0DE0338C5F587F8 Time : 0.0 sec. user=mdettweiler [2013-06-05 15:23:37] 897*2^1246580-1 is not prime. Res64: 3E903EE506CAB03E Time : 0.0 sec. user=mdettweiler [2013-06-05 15:23:37] 995*2^1246580-1 is not prime. Res64: 8ECF4F052F2CEF88 Time : 0.0 sec. user=mdettweiler [2013-06-05 15:34:25] 651*2^1246581-1 is not prime. Res64: 2908991AD3C6D7B7 Time : 0.0 sec. user=mdettweiler [2013-06-05 15:41:31] 885*2^1246581-1 is not prime. Res64: BFA65C073C9368D1 Time : 0.0 sec. user=mdettweiler [2013-06-05 16:00:02] 867*2^1246581-1 is not prime. Res64: 43450DC5CF508683 Time : 0.0 sec. user=mdettweiler [2013-06-05 16:14:56] 907*2^1246581-1 is not prime. Res64: 6A7CC8F432DF8619 Time : 0.0 sec. user=mdettweiler [2013-06-05 16:18:09] 921*2^1246581-1 is not prime. Res64: 69A6A87619FCCF57 Time : 0.0 sec. user=mdettweiler [2013-06-05 16:18:09] 665*2^1246582-1 is not prime. Res64: 9D08DAC7A27A6038 Time : 0.0 sec. user=mdettweiler [2013-06-05 16:35:55] 761*2^1246582-1 is not prime. Res64: 92E5601E381A15F7 Time : 0.0 sec. user=mdettweiler [2013-06-05 16:35:55] 785*2^1246582-1 is not prime. Res64: 3DE907F4AB3303C1 Time : 0.0 sec. user=mdettweiler [2013-06-05 16:53:48] 791*2^1246582-1 is not prime. Res64: 1518338DDD7F947D Time : 0.0 sec. user=mdettweiler [2013-06-05 17:00:58] 863*2^1246582-1 is not prime. Res64: 7D05454B50ABBE0E Time : 0.0 sec. user=mdettweiler [2013-06-05 17:13:36] 833*2^1246582-1 is not prime. Res64: C7407E88334BC146 Time : 0.0 sec. user=mdettweiler [2013-06-05 17:39:22] 975*2^1246582-1 is not prime. Res64: 66716FC89D125B14 Time : 0.0 sec. user=mdettweiler [2013-06-05 17:56:50] 771*2^1246583-1 is not prime. Res64: 47CE62A6BD7B4B24 Time : 0.0 sec. user=mdettweiler [2013-06-05 17:56:50] 781*2^1246583-1 is not prime. Res64: A03B3A9926B3B3F3 Time : 0.0 sec. user=mdettweiler [2013-06-05 17:57:12] 789*2^1246583-1 is not prime. Res64: 159B4F8495A91E38 Time : 0.0 sec. user=mdettweiler [2013-06-05 17:57:13] 805*2^1246583-1 is not prime. Res64: DD5B57B634D60CDB Time : 0.0 sec. user=mdettweiler [2013-06-05 18:14:35] 811*2^1246583-1 is not prime. Res64: E9F5AEBCDA54D091 Time : 0.0 sec. user=mdettweiler [2013-06-05 18:14:35] 861*2^1246583-1 is not prime. Res64: DC91E264D8B38DF7 Time : 0.0 sec. user=mdettweiler [2013-06-05 18:14:57] 665*2^1246584-1 is not prime. Res64: D01EBF0DEA3F6FC3 Time : 0.0 sec. user=mdettweiler [2013-06-05 18:14:57] 837*2^1246584-1 is not prime. Res64: D6B176B2CB224740 Time : 0.0 sec. user=mdettweiler [2013-06-05 18:32:43] 661*2^1246585-1 is not prime. Res64: 9433B43C478E09DB Time : 0.0 sec. user=mdettweiler [2013-06-05 18:32:43] 893*2^1246584-1 is not prime. Res64: 7DF4BE11F67CF9F8 Time : 0.0 sec. user=mdettweiler [2013-06-05 18:32:43] 831*2^1246585-1 is not prime. Res64: 4D01DEC6BA14782D Time : 0.0 sec. user=mdettweiler [2013-06-05 18:50:28] 885*2^1246585-1 is not prime. Res64: DEF8B79758B0582F Time : 0.0 sec. user=mdettweiler [2013-06-05 18:50:28] 951*2^1246585-1 is not prime. Res64: 7B27E5A8ABC0BB8F Time : 0.0 sec. user=mdettweiler [2013-06-05 19:00:09] 927*2^1246584-1 is not prime. Res64: C3E88AB7DEFA6DA6 Time : 0.0 sec. user=mdettweiler [2013-06-05 19:08:25] 617*2^1246586-1 is not prime. Res64: 1279447E98F60745 Time : 0.0 sec. user=mdettweiler [2013-06-05 19:19:22] 755*2^1246586-1 is not prime. Res64: D9556EE940105086 Time : 0.0 sec. user=mdettweiler [2013-06-05 19:19:23] 1001*2^1246586-1 is not prime. Res64: 2B2F8CB072BC9600 Time : 0.0 sec. user=mdettweiler [2013-06-05 19:37:15] 619*2^1246587-1 is not prime. Res64: A87BB5A6D3BF8C88 Time : 0.0 sec. user=mdettweiler [2013-06-05 19:37:15] 705*2^1246587-1 is not prime. Res64: 7E7AF23116240684 Time : 0.0 sec. user=mdettweiler [2013-06-05 19:44:21] 741*2^1246586-1 is not prime. Res64: 68A8FD61DC7107FE Time : 0.0 sec. user=mdettweiler [2013-06-05 19:55:05] 765*2^1246587-1 is not prime. Res64: 5EB8501CCD859C37 Time : 0.0 sec. user=mdettweiler [2013-06-05 19:55:05] 801*2^1246587-1 is not prime. Res64: C69CDCA4FDFE369A Time : 0.0 sec. user=mdettweiler [2013-06-05 20:13:02] 903*2^1246587-1 is not prime. Res64: 8E79BE612A782256 Time : 0.0 sec. user=mdettweiler [2013-06-05 20:13:03] 961*2^1246587-1 is not prime. Res64: FCDDAA1CEF70548E Time : 0.0 sec. user=mdettweiler [2013-06-05 20:26:46] 979*2^1246587-1 is not prime. Res64: 68BE288F18AA0958 Time : 0.0 sec. user=mdettweiler [2013-06-05 20:26:46] 705*2^1246588-1 is not prime. Res64: E734D8F6694A92F2 Time : 0.0 sec. user=mdettweiler [2013-06-05 20:30:58] 797*2^1246588-1 is not prime. Res64: C67C33B1835EE5B0 Time : 0.0 sec. user=mdettweiler [2013-06-05 20:44:35] 969*2^1246588-1 is not prime. Res64: 7F7687209E217B41 Time : 0.0 sec. user=mdettweiler [2013-06-05 20:44:35] 631*2^1246589-1 is not prime. Res64: 6C692C73369B54E3 Time : 0.0 sec. user=mdettweiler [2013-06-05 21:02:32] 675*2^1246589-1 is not prime. Res64: D9CC409CCB4C71D4 Time : 0.0 sec. user=mdettweiler [2013-06-05 21:02:33] 727*2^1246589-1 is not prime. Res64: 302A48DEB902B80D Time : 0.0 sec. user=mdettweiler [2013-06-05 21:07:10] 827*2^1246588-1 is not prime. Res64: 39DFE36737FC93D0 Time : 0.0 sec. user=mdettweiler [2013-06-05 21:20:45] 771*2^1246589-1 is not prime. Res64: 15DA2D780207137F Time : 0.0 sec. user=mdettweiler [2013-06-05 21:25:07] 927*2^1246589-1 is not prime. Res64: 299C3037C0671456 Time : 0.0 sec. user=mdettweiler [2013-06-05 21:42:47] 825*2^1246589-1 is not prime. Res64: 81EA0C26E69D3062 Time : 0.0 sec. user=mdettweiler [2013-06-05 22:02:53] 931*2^1246589-1 is not prime. Res64: ED56C7ECE0CB159E Time : 0.0 sec. user=mdettweiler [2013-06-05 22:21:56] 991*2^1246589-1 is not prime. Res64: 881ADB77BB7C4C69 Time : 0.0 sec. user=mdettweiler [2013-06-05 22:21:57] 651*2^1246590-1 is not prime. Res64: EEDA74E2ECA38EBE Time : 0.0 sec. user=mdettweiler [2013-06-05 22:39:55] 711*2^1246590-1 is not prime. Res64: 61379E28D7103AC5 Time : 0.0 sec. user=mdettweiler [2013-06-05 22:39:56] 713*2^1246590-1 is not prime. Res64: 1101187D53180371 Time : 0.0 sec. user=mdettweiler [2013-06-05 22:54:34] 755*2^1246590-1 is not prime. Res64: 2862F88CA9D7E9FE Time : 0.0 sec. user=mdettweiler [2013-06-05 22:54:35] 791*2^1246590-1 is not prime. Res64: 0902794E8DEBA233 Time : 0.0 sec. user=mdettweiler [2013-06-05 22:57:55] 845*2^1246590-1 is not prime. Res64: F7C4EC87A94938AD Time : 0.0 sec. user=mdettweiler [2013-06-05 23:12:05] 601*2^1246591-1 is not prime. Res64: 51853BF5F5ED8D03 Time : 0.0 sec. user=mdettweiler [2013-06-05 23:12:06] 609*2^1246591-1 is not prime. Res64: AA7E6200E18176E5 Time : 0.0 sec. user=mdettweiler [2013-06-05 23:29:41] 645*2^1246591-1 is not prime. Res64: AA1B4EFE565348F3 Time : 0.0 sec. user=mdettweiler [2013-06-05 23:29:41] 673*2^1246591-1 is not prime. Res64: 81F9D8B2BC8ABFA5 Time : 0.0 sec. user=mdettweiler [2013-06-05 23:34:06] 945*2^1246590-1 is not prime. Res64: E2632AC16AEC781D Time : 0.0 sec. user=mdettweiler [2013-06-05 23:47:31] 709*2^1246591-1 is not prime. Res64: C1D24BBB413CECE3 Time : 0.0 sec. user=mdettweiler [2013-06-05 23:47:32] 735*2^1246591-1 is not prime. Res64: 811D7D4D7F408AAD Time : 0.0 sec.