user=mdettweiler [2012-08-13 00:04:23] 893*2^1226316-1 is not prime. Res64: F976434919303237 Time : 0.0 sec. user=mdettweiler [2012-08-13 00:15:07] 927*2^1226317-1 is not prime. Res64: 121FB4F91ECF3B2C Time : 0.0 sec. user=mdettweiler [2012-08-13 00:15:09] 957*2^1226317-1 is not prime. Res64: 6E7BE3627140F9CD Time : 0.0 sec. user=mdettweiler [2012-08-13 00:15:52] 997*2^1226317-1 is not prime. Res64: F19A7E5450390D88 Time : 0.0 sec. user=mdettweiler [2012-08-13 00:15:54] 767*2^1226318-1 is not prime. Res64: 7353EB9DFECA480E Time : 0.0 sec. user=vaughan [2012-08-13 00:20:47] 687*2^1226317-1 is not prime. Res64: 46F8E98E1277C5D5 Time : 0.0 sec. user=mdettweiler [2012-08-13 00:23:13] 747*2^1226317-1 is not prime. Res64: 2A00C6BA5498EC9F Time : 0.0 sec. user=mdettweiler [2012-08-13 00:35:53] 675*2^1226319-1 is not prime. Res64: AEC0618339708412 Time : 0.0 sec. user=mdettweiler [2012-08-13 00:35:53] 679*2^1226319-1 is not prime. Res64: 98B2F6105C22F8A8 Time : 0.0 sec. user=mdettweiler [2012-08-13 00:36:29] 703*2^1226319-1 is not prime. Res64: 8E3E4CA9680E4838 Time : 0.0 sec. user=mdettweiler [2012-08-13 00:36:30] 775*2^1226319-1 is not prime. Res64: EECB4442F9502FA3 Time : 0.0 sec. user=gd_barnes [2012-08-13 00:37:04] 977*2^1226318-1 is not prime. Res64: 071D05BAA8DBBF79 Time : 0.0 sec. user=mdettweiler [2012-08-13 00:41:27] 771*2^1226318-1 is not prime. Res64: ADB23F20C88D64B1 Time : 0.0 sec. user=gd_barnes [2012-08-13 00:42:30] 935*2^1226318-1 is not prime. Res64: E88716061AE8E2CB Time : 0.0 sec. user=gd_barnes [2012-08-13 00:43:38] 897*2^1226318-1 is not prime. Res64: 2DC0781E3A492459 Time : 0.0 sec. user=mdettweiler [2012-08-13 00:56:27] 865*2^1226319-1 is not prime. Res64: 6B85194F942EE570 Time : 0.0 sec. user=mdettweiler [2012-08-13 00:56:27] 873*2^1226319-1 is not prime. Res64: 48D420F26351031D Time : 0.0 sec. user=mdettweiler [2012-08-13 00:57:03] 895*2^1226319-1 is not prime. Res64: 8B655BAD9B6C97B6 Time : 0.0 sec. user=mdettweiler [2012-08-13 00:57:03] 909*2^1226319-1 is not prime. Res64: 58D7890CA70BC916 Time : 0.0 sec. user=vaughan [2012-08-13 00:58:06] 793*2^1226319-1 is not prime. Res64: 29E06535D7FAED5E Time : 0.0 sec. user=mdettweiler [2012-08-13 01:06:03] 861*2^1226319-1 is not prime. Res64: 40E3B711C1B893F9 Time : 0.0 sec. user=mdettweiler [2012-08-13 01:17:01] 933*2^1226319-1 is not prime. Res64: 315B9120C46C29C0 Time : 0.0 sec. user=mdettweiler [2012-08-13 01:17:03] 949*2^1226319-1 is not prime. Res64: 9A6988738338B2C0 Time : 0.0 sec. user=mdettweiler [2012-08-13 01:17:36] 955*2^1226319-1 is not prime. Res64: A08709EE5D9804EB Time : 0.0 sec. user=mdettweiler [2012-08-13 01:17:37] 961*2^1226319-1 is not prime. Res64: 68DA4ED1F738DBBF Time : 0.0 sec. user=mdettweiler [2012-08-13 01:20:47] 913*2^1226319-1 is not prime. Res64: 6C844585FC77DEE1 Time : 0.0 sec. user=vaughan [2012-08-13 01:35:22] 605*2^1226320-1 is not prime. Res64: CFFB60AFFD95962E Time : 0.0 sec. user=mdettweiler [2012-08-13 01:37:53] 689*2^1226320-1 is not prime. Res64: 38FCB176FBB02E61 Time : 0.0 sec. user=mdettweiler [2012-08-13 01:37:54] 825*2^1226320-1 is not prime. Res64: DB97FAAABA169694 Time : 0.0 sec. user=mdettweiler [2012-08-13 01:38:10] 651*2^1226321-1 is not prime. Res64: 5D51EA3342CB8DFB Time : 0.0 sec. user=mdettweiler [2012-08-13 01:38:11] 715*2^1226321-1 is not prime. Res64: 7094EE8AAD8F4E2C Time : 0.0 sec. user=mdettweiler [2012-08-13 01:54:05] 677*2^1226320-1 is not prime. Res64: DFB996A79860D36F Time : 0.0 sec. user=mdettweiler [2012-08-13 01:58:26] 871*2^1226321-1 is not prime. Res64: 2346874AE54107E0 Time : 0.0 sec. user=mdettweiler [2012-08-13 01:58:27] 885*2^1226321-1 is not prime. Res64: 79B970AD52C3E308 Time : 0.0 sec. user=mdettweiler [2012-08-13 01:58:43] 991*2^1226321-1 is not prime. Res64: F52551172C0C612C Time : 0.0 sec. user=mdettweiler [2012-08-13 01:58:43] 681*2^1226322-1 is not prime. Res64: FE57CB00813AB6AD Time : 0.0 sec. user=mdettweiler [2012-08-13 02:08:57] 717*2^1226321-1 is not prime. Res64: 14CF405B6C23A54A Time : 0.0 sec. user=vaughan [2012-08-13 02:12:46] 789*2^1226321-1 is not prime. Res64: AE3C1CCC6F7875C2 Time : 0.0 sec. user=mdettweiler [2012-08-13 02:18:59] 747*2^1226322-1 is not prime. Res64: EBDE007D74098078 Time : 0.0 sec. user=mdettweiler [2012-08-13 02:19:01] 825*2^1226322-1 is not prime. Res64: 58C212BE66D80155 Time : 0.0 sec. user=mdettweiler [2012-08-13 02:19:15] 921*2^1226322-1 is not prime. Res64: A414685972D6699D Time : 0.0 sec. user=mdettweiler [2012-08-13 02:19:16] 631*2^1226323-1 is not prime. Res64: 64213851469A57A1 Time : 0.0 sec. user=mdettweiler [2012-08-13 02:39:33] 873*2^1226324-1 is not prime. Res64: 7A1DD1E740E40A8E Time : 0.0 sec. user=mdettweiler [2012-08-13 02:39:34] 903*2^1226324-1 is not prime. Res64: 7299EA83F1D235B1 Time : 0.0 sec. user=mdettweiler [2012-08-13 02:39:49] 969*2^1226324-1 is not prime. Res64: FC15CAB343AFA4D9 Time : 0.0 sec. user=mdettweiler [2012-08-13 02:39:50] 699*2^1226325-1 is not prime. Res64: E8425B5787C56383 Time : 0.0 sec. user=vaughan [2012-08-13 02:50:12] 895*2^1226323-1 is not prime. Res64: 9902868771185311 Time : 0.0 sec. user=mdettweiler [2012-08-13 03:00:28] 765*2^1226325-1 is not prime. Res64: 642A47B2B931956C Time : 0.0 sec. user=mdettweiler [2012-08-13 03:00:30] 889*2^1226325-1 is not prime. Res64: A0FD477DA16351F2 Time : 0.0 sec. user=mdettweiler [2012-08-13 03:00:30] 975*2^1226325-1 is not prime. Res64: E5DF69EFF223F214 Time : 0.0 sec. user=mdettweiler [2012-08-13 03:00:31] 603*2^1226326-1 is not prime. Res64: 1467F24E80475D76 Time : 0.0 sec. user=mdettweiler [2012-08-13 03:21:20] 717*2^1226326-1 is not prime. Res64: 9D6AF19741765E52 Time : 0.0 sec. user=mdettweiler [2012-08-13 03:21:21] 821*2^1226326-1 is not prime. Res64: 9C9B3B98801B96EA Time : 0.0 sec. user=mdettweiler [2012-08-13 03:21:21] 843*2^1226326-1 is not prime. Res64: 912DFDFF7861AFF6 Time : 0.0 sec. user=mdettweiler [2012-08-13 03:21:22] 923*2^1226326-1 is not prime. Res64: CB9AAE52E2DBDC8E Time : 0.0 sec. user=vaughan [2012-08-13 03:27:33] 647*2^1226326-1 is not prime. Res64: 6A1B1DAAE383AD43 Time : 0.0 sec. user=gd_barnes [2012-08-13 03:39:27] 965*2^1226326-1 is not prime. Res64: 653F261328E338B2 Time : 0.0 sec. user=mdettweiler [2012-08-13 03:42:05] 663*2^1226327-1 is not prime. Res64: EC99DFACCD0B8E9B Time : 0.0 sec. user=mdettweiler [2012-08-13 03:42:05] 799*2^1226327-1 is not prime. Res64: F686C61EC6FC762F Time : 0.0 sec. user=mdettweiler [2012-08-13 03:42:06] 805*2^1226327-1 is not prime. Res64: 99FC94131CD2342C Time : 0.0 sec. user=mdettweiler [2012-08-13 03:42:06] 843*2^1226327-1 is not prime. Res64: 93755AF3CD82B0B3 Time : 0.0 sec. user=mdettweiler [2012-08-13 04:02:43] 875*2^1226328-1 is not prime. Res64: 514CDD0597F7DD5C Time : 0.0 sec. user=mdettweiler [2012-08-13 04:02:44] 729*2^1226329-1 is not prime. Res64: B0F968B62F67C72E Time : 0.0 sec. user=mdettweiler [2012-08-13 04:02:44] 977*2^1226328-1 is not prime. Res64: DCB42C10D307E0D5 Time : 0.0 sec. user=mdettweiler [2012-08-13 04:02:45] 811*2^1226329-1 is not prime. Res64: 03DD067A7D7938C2 Time : 0.0 sec. user=vaughan [2012-08-13 04:04:53] 767*2^1226328-1 is not prime. Res64: 8CA51C6FF0FB2887 Time : 0.0 sec. user=mdettweiler [2012-08-13 04:23:43] 829*2^1226329-1 is not prime. Res64: F7DFC3D9379918DC Time : 0.0 sec. user=mdettweiler [2012-08-13 04:23:44] 835*2^1226329-1 is not prime. Res64: 9CDBD322F05088C9 Time : 0.0 sec. user=mdettweiler [2012-08-13 04:23:45] 997*2^1226329-1 is not prime. Res64: 8BF96A73970F353A Time : 0.0 sec. user=mdettweiler [2012-08-13 04:23:46] 615*2^1226330-1 is not prime. Res64: D1F4B042E9C3C122 Time : 0.0 sec. user=vaughan [2012-08-13 04:42:11] 741*2^1226330-1 is not prime. Res64: B22ADBF196BF29B3 Time : 0.0 sec. user=mdettweiler [2012-08-13 04:44:16] 801*2^1226330-1 is not prime. Res64: CC60A6235561788E Time : 0.0 sec. user=mdettweiler [2012-08-13 04:44:17] 827*2^1226330-1 is not prime. Res64: 7CEEF97FBB67CE0A Time : 0.0 sec. user=mdettweiler [2012-08-13 04:44:18] 921*2^1226330-1 is not prime. Res64: D16E45CFB58731AA Time : 0.0 sec. user=mdettweiler [2012-08-13 04:44:18] 923*2^1226330-1 is not prime. Res64: D3443AC2150099A7 Time : 0.0 sec. user=mdettweiler [2012-08-13 05:04:51] 685*2^1226331-1 is not prime. Res64: 5DA023975EA297FD Time : 0.0 sec. user=mdettweiler [2012-08-13 05:04:53] 891*2^1226331-1 is not prime. Res64: D7C545CCE63E4EA1 Time : 0.0 sec. user=mdettweiler [2012-08-13 05:04:56] 723*2^1226331-1 is not prime. Res64: 46392389F65704B9 Time : 0.0 sec. user=mdettweiler [2012-08-13 05:04:59] 895*2^1226331-1 is not prime. Res64: 7D6F633893907396 Time : 0.0 sec. user=vaughan [2012-08-13 05:19:40] 945*2^1226330-1 is not prime. Res64: 31C3010BBFB95ABB Time : 0.0 sec. user=mdettweiler [2012-08-13 05:26:02] 909*2^1226332-1 is not prime. Res64: 211B91BF639EF8A0 Time : 0.0 sec. user=mdettweiler [2012-08-13 05:26:02] 741*2^1226333-1 is not prime. Res64: BA7E0763487D4375 Time : 0.0 sec. user=mdettweiler [2012-08-13 05:26:06] 775*2^1226333-1 is not prime. Res64: 353C59C572516A6C Time : 0.0 sec. user=mdettweiler [2012-08-13 05:26:07] 789*2^1226333-1 is not prime. Res64: 557748508BA07A5F Time : 0.0 sec. user=juhehe [2012-08-13 05:30:45] 755*2^1226330-1 is not prime. Res64: 33B2BCC2F06B604B Time : 0.0 sec. user=gd_barnes [2012-08-13 05:34:04] 927*2^1226333-1 is not prime. Res64: D0A790C3C68BC0BB Time : 0.0 sec. user=gd_barnes [2012-08-13 05:35:05] 915*2^1226333-1 is not prime. Res64: 07F91B4167B8FEC7 Time : 0.0 sec. user=gd_barnes [2012-08-13 05:36:17] 615*2^1226333-1 is not prime. Res64: 9BCBD9205D434423 Time : 0.0 sec. user=mdettweiler [2012-08-13 05:46:37] 765*2^1226334-1 is not prime. Res64: 96E8D96E879B0925 Time : 0.0 sec. user=mdettweiler [2012-08-13 05:46:37] 791*2^1226334-1 is not prime. Res64: B00DA040DB22C5AB Time : 0.0 sec. user=mdettweiler [2012-08-13 05:46:40] 921*2^1226334-1 is not prime. Res64: 3A114B0954233382 Time : 0.0 sec. user=mdettweiler [2012-08-13 05:46:41] 993*2^1226334-1 is not prime. Res64: 2ECDFA52923215B7 Time : 0.0 sec. user=vaughan [2012-08-13 05:56:57] 717*2^1226334-1 is not prime. Res64: 9F5C4F51DD73E38B Time : 0.0 sec. user=gd_barnes [2012-08-13 05:57:27] 679*2^1226335-1 is not prime. Res64: 871440FF0FD215C7 Time : 0.0 sec. user=gd_barnes [2012-08-13 05:57:35] 723*2^1226335-1 is not prime. Res64: 71867F2799B035F0 Time : 0.0 sec. user=gd_barnes [2012-08-13 06:01:54] 673*2^1226335-1 is not prime. Res64: 735891824D575DE7 Time : 0.0 sec. user=mdettweiler [2012-08-13 06:07:12] 841*2^1226335-1 is not prime. Res64: EEF75230232C58BA Time : 0.0 sec. user=mdettweiler [2012-08-13 06:07:14] 855*2^1226335-1 is not prime. Res64: 7545F3CBD15678E2 Time : 0.0 sec. user=mdettweiler [2012-08-13 06:07:15] 623*2^1226336-1 is not prime. Res64: 5DB711F5DECCB8CB Time : 0.0 sec. user=mdettweiler [2012-08-13 06:07:18] 659*2^1226336-1 is not prime. Res64: 8BFAB20DE3C03B96 Time : 0.0 sec. user=mdettweiler [2012-08-13 06:27:53] 857*2^1226336-1 is not prime. Res64: 131591E2317867AF Time : 0.0 sec. user=mdettweiler [2012-08-13 06:27:54] 759*2^1226337-1 is not prime. Res64: 96BF2B3814097CF4 Time : 0.0 sec. user=mdettweiler [2012-08-13 06:27:54] 885*2^1226337-1 is not prime. Res64: CEF90E443098F73C Time : 0.0 sec. user=mdettweiler [2012-08-13 06:27:54] 915*2^1226337-1 is not prime. Res64: D8B521C16887E4B6 Time : 0.0 sec. user=vaughan [2012-08-13 06:34:16] 743*2^1226336-1 is not prime. Res64: 37D42AAC9434766A Time : 0.0 sec. user=mdettweiler [2012-08-13 06:48:28] 937*2^1226337-1 is not prime. Res64: 351870F0E69A085A Time : 0.0 sec. user=mdettweiler [2012-08-13 06:48:28] 663*2^1226338-1 is not prime. Res64: E89699F5B2449AC9 Time : 0.0 sec. user=mdettweiler [2012-08-13 06:48:29] 681*2^1226338-1 is not prime. Res64: 8FCC1A4F3D4872D7 Time : 0.0 sec. user=mdettweiler [2012-08-13 06:48:29] 723*2^1226338-1 is not prime. Res64: 93143F51622C4F5A Time : 0.0 sec. user=mdettweiler [2012-08-13 07:09:03] 987*2^1226338-1 is not prime. Res64: B0396987082807CC Time : 0.0 sec. user=mdettweiler [2012-08-13 07:09:03] 603*2^1226339-1 is not prime. Res64: 91C0A4200BAC7813 Time : 0.0 sec. user=mdettweiler [2012-08-13 07:09:04] 995*2^1226338-1 is not prime. Res64: ACA7C0E27021815A Time : 0.0 sec. user=mdettweiler [2012-08-13 07:09:04] 693*2^1226339-1 is not prime. Res64: 8C6CAD5E8517697F Time : 0.0 sec. user=vaughan [2012-08-13 07:11:34] 827*2^1226338-1 is not prime. Res64: E0C7EC8CA4B8C826 Time : 0.0 sec. user=mdettweiler [2012-08-13 07:29:43] 711*2^1226339-1 is not prime. Res64: 2728F7F187F551EE Time : 0.0 sec. user=mdettweiler [2012-08-13 07:29:44] 829*2^1226339-1 is not prime. Res64: 5FA3C1B491596DFE Time : 0.0 sec. user=mdettweiler [2012-08-13 07:29:46] 913*2^1226339-1 is not prime. Res64: CC57AB57A3990AD1 Time : 0.0 sec. user=mdettweiler [2012-08-13 07:29:46] 669*2^1226340-1 is not prime. Res64: 974E02C8F0BAFCFF Time : 0.0 sec. user=gd_barnes [2012-08-13 07:42:11] 699*2^1226340-1 is not prime. Res64: EED913523BFDC31D Time : 0.0 sec. user=vaughan [2012-08-13 07:48:55] 719*2^1226340-1 is not prime. Res64: 25EF69161058ED26 Time : 0.0 sec. user=mdettweiler [2012-08-13 07:50:18] 779*2^1226340-1 is not prime. Res64: C70C0344733A6AC6 Time : 0.0 sec. user=mdettweiler [2012-08-13 07:50:18] 789*2^1226340-1 is not prime. Res64: D55907D492FABB76 Time : 0.0 sec. user=mdettweiler [2012-08-13 07:50:20] 795*2^1226340-1 is not prime. Res64: 6F8CD2E5910AC680 Time : 0.0 sec. user=mdettweiler [2012-08-13 07:50:20] 797*2^1226340-1 is not prime. Res64: A57CAD902272A8BA Time : 0.0 sec. user=mdettweiler [2012-08-13 08:10:52] 845*2^1226340-1 is not prime. Res64: DA8355450F91B3A4 Time : 0.0 sec. user=mdettweiler [2012-08-13 08:10:53] 933*2^1226340-1 is not prime. Res64: FB166774D4A8FB7A Time : 0.0 sec. user=mdettweiler [2012-08-13 08:10:53] 619*2^1226341-1 is not prime. Res64: 303F5C6B89C893E3 Time : 0.0 sec. user=mdettweiler [2012-08-13 08:10:54] 819*2^1226341-1 is not prime. Res64: C354E1E48B6AFE99 Time : 0.0 sec. user=vaughan [2012-08-13 08:26:12] 809*2^1226340-1 is not prime. Res64: C3BE734EFAE48FF8 Time : 0.0 sec. user=mdettweiler [2012-08-13 08:31:38] 931*2^1226341-1 is not prime. Res64: 3FAB3F8E9321A203 Time : 0.0 sec. user=mdettweiler [2012-08-13 08:31:38] 961*2^1226341-1 is not prime. Res64: 35AEB4804A240E67 Time : 0.0 sec. user=mdettweiler [2012-08-13 08:31:40] 705*2^1226342-1 is not prime. Res64: 1278A2EBFB1CEEBF Time : 0.0 sec. user=mdettweiler [2012-08-13 08:31:41] 923*2^1226342-1 is not prime. Res64: 728CD966B5507BD2 Time : 0.0 sec. user=gd_barnes [2012-08-13 08:40:00] 963*2^1226342-1 is not prime. Res64: 5EFFE142CFCF4B4C Time : 0.0 sec. user=gd_barnes [2012-08-13 08:42:46] 977*2^1226342-1 is not prime. Res64: AD188487B7B39B58 Time : 0.0 sec. user=mdettweiler [2012-08-13 08:52:11] 873*2^1226343-1 is not prime. Res64: 28559239F906BC73 Time : 0.0 sec. user=mdettweiler [2012-08-13 08:52:12] 885*2^1226343-1 is not prime. Res64: 540189F8E0ABB764 Time : 0.0 sec. user=mdettweiler [2012-08-13 08:52:13] 773*2^1226344-1 is not prime. Res64: 6D7419D6981E5529 Time : 0.0 sec. user=mdettweiler [2012-08-13 08:52:13] 873*2^1226344-1 is not prime. Res64: DCBDA931397E395B Time : 0.0 sec. user=vaughan [2012-08-13 09:03:31] 621*2^1226343-1 is not prime. Res64: 827819CB03EC7F2B Time : 0.0 sec. user=mdettweiler [2012-08-13 09:12:45] 915*2^1226344-1 is not prime. Res64: 9C38955E3BD5F55F Time : 0.0 sec. user=mdettweiler [2012-08-13 09:12:47] 795*2^1226345-1 is not prime. Res64: 19B45869A6C458FB Time : 0.0 sec. user=mdettweiler [2012-08-13 09:12:50] 771*2^1226345-1 is not prime. Res64: 021184A7B246F978 Time : 0.0 sec. user=mdettweiler [2012-08-13 09:12:53] 805*2^1226345-1 is not prime. Res64: 34131D0DBC4F09EC Time : 0.0 sec. user=mdettweiler [2012-08-13 09:33:49] 889*2^1226345-1 is not prime. Res64: 42529FC1A9D010C0 Time : 0.0 sec. user=mdettweiler [2012-08-13 09:33:50] 647*2^1226346-1 is not prime. Res64: 4BF291AEC193E5A5 Time : 0.0 sec. user=mdettweiler [2012-08-13 09:33:53] 717*2^1226346-1 is not prime. Res64: 12F27AF7D5696945 Time : 0.0 sec. user=mdettweiler [2012-08-13 09:33:54] 755*2^1226346-1 is not prime. Res64: 8E3DE52A2391E801 Time : 0.0 sec. user=vaughan [2012-08-13 09:40:52] 811*2^1226345-1 is not prime. Res64: 7EFBAF94ACE26A12 Time : 0.0 sec. user=mdettweiler [2012-08-13 09:54:25] 765*2^1226346-1 is not prime. Res64: DC944CEDDB9AF9B4 Time : 0.0 sec. user=mdettweiler [2012-08-13 09:54:25] 843*2^1226346-1 is not prime. Res64: 287B5533AFAF9A52 Time : 0.0 sec. user=mdettweiler [2012-08-13 09:54:26] 861*2^1226346-1 is not prime. Res64: 6FB5A4C637989F09 Time : 0.0 sec. user=mdettweiler [2012-08-13 09:54:26] 867*2^1226346-1 is not prime. Res64: 54BA2085209BEB34 Time : 0.0 sec. user=mdettweiler [2012-08-13 10:14:58] 759*2^1226347-1 is not prime. Res64: 4409908700771C91 Time : 0.0 sec. user=mdettweiler [2012-08-13 10:14:58] 805*2^1226347-1 is not prime. Res64: FA1987BE8DC80267 Time : 0.0 sec. user=mdettweiler [2012-08-13 10:15:02] 871*2^1226347-1 is not prime. Res64: 1A7172E20998498C Time : 0.0 sec. user=mdettweiler [2012-08-13 10:15:03] 883*2^1226347-1 is not prime. Res64: 818B6CF10BE88D4B Time : 0.0 sec. user=vaughan [2012-08-13 10:18:09] 601*2^1226347-1 is not prime. Res64: 1BD8EDC405EECFEE Time : 0.0 sec. user=mdettweiler [2012-08-13 10:35:40] 975*2^1226347-1 is not prime. Res64: 700817AD8638EA9F Time : 0.0 sec. user=mdettweiler [2012-08-13 10:35:40] 633*2^1226348-1 is not prime. Res64: 2646E78E4E4E3385 Time : 0.0 sec. user=mdettweiler [2012-08-13 10:35:41] 647*2^1226348-1 is not prime. Res64: 9045174AA9F29C8A Time : 0.0 sec. user=mdettweiler [2012-08-13 10:35:42] 707*2^1226348-1 is not prime. Res64: B0668655A82CDA7C Time : 0.0 sec. user=vaughan [2012-08-13 10:55:26] 795*2^1226348-1 is not prime. Res64: DDDAB2F6E12305FF Time : 0.0 sec. user=mdettweiler [2012-08-13 10:56:13] 875*2^1226348-1 is not prime. Res64: 3A988F68352A45AC Time : 0.0 sec. user=mdettweiler [2012-08-13 10:56:13] 879*2^1226348-1 is not prime. Res64: F83A730BE4C5321A Time : 0.0 sec. user=mdettweiler [2012-08-13 10:56:14] 959*2^1226348-1 is not prime. Res64: 29EC89B8484B4E38 Time : 0.0 sec. user=mdettweiler [2012-08-13 10:56:14] 987*2^1226348-1 is not prime. Res64: 444055D6DE09AC83 Time : 0.0 sec. user=mdettweiler [2012-08-13 11:16:45] 745*2^1226349-1 is not prime. Res64: B8DB75B5045609BB Time : 0.0 sec. user=mdettweiler [2012-08-13 11:16:46] 829*2^1226349-1 is not prime. Res64: 83080CB8F4A8A625 Time : 0.0 sec. user=mdettweiler [2012-08-13 11:16:47] 867*2^1226349-1 is not prime. Res64: 319F22E5AD56BFC5 Time : 0.0 sec. user=mdettweiler [2012-08-13 11:16:47] 891*2^1226349-1 is not prime. Res64: FA54E3C1822E5AC4 Time : 0.0 sec. user=juhehe [2012-08-13 11:31:46] 999*2^1226348-1 is not prime. Res64: 34982AB8D10DDF6F Time : 0.0 sec. user=vaughan [2012-08-13 11:32:45] 669*2^1226349-1 is not prime. Res64: 360AF1564C207843 Time : 0.0 sec. user=mdettweiler [2012-08-13 11:37:21] 857*2^1226350-1 is not prime. Res64: 530420C5A712F1DF Time : 0.0 sec. user=mdettweiler [2012-08-13 11:37:21] 917*2^1226350-1 is not prime. Res64: 0884CE8B91C1D8EE Time : 0.0 sec. user=mdettweiler [2012-08-13 11:37:22] 923*2^1226350-1 is not prime. Res64: F43C9DFB76E77CA8 Time : 0.0 sec. user=mdettweiler [2012-08-13 11:37:22] 941*2^1226350-1 is not prime. Res64: 6F34A3F3B05DA9CB Time : 0.0 sec. user=gd_barnes [2012-08-13 11:39:13] 821*2^1226350-1 is not prime. Res64: A12C3CC2FEF5AEDC Time : 0.0 sec. user=gd_barnes [2012-08-13 11:40:35] 951*2^1226349-1 is not prime. Res64: 4010598A9047E1A2 Time : 0.0 sec. user=gd_barnes [2012-08-13 11:41:22] 707*2^1226350-1 is not prime. Res64: 56496A5E77484066 Time : 0.0 sec. user=gd_barnes [2012-08-13 11:41:22] 717*2^1226350-1 is not prime. Res64: F77A84F199150050 Time : 0.0 sec. user=mdettweiler [2012-08-13 11:57:59] 759*2^1226351-1 is not prime. Res64: E2BF3C2F14617DCC Time : 0.0 sec. user=mdettweiler [2012-08-13 11:57:59] 811*2^1226351-1 is not prime. Res64: 5AAA5411F6A5C50C Time : 0.0 sec. user=mdettweiler [2012-08-13 11:58:00] 813*2^1226351-1 is not prime. Res64: B0D84DAA22395200 Time : 0.0 sec. user=mdettweiler [2012-08-13 11:58:01] 855*2^1226351-1 is not prime. Res64: 68E0F7218322AD94 Time : 0.0 sec. user=vaughan [2012-08-13 12:10:02] 715*2^1226351-1 is not prime. Res64: 982F15F8694C2E01 Time : 0.0 sec. user=juhehe [2012-08-13 12:18:24] 971*2^1226350-1 is not prime. Res64: 1ECF3B1FFC916B76 Time : 0.0 sec. user=mdettweiler [2012-08-13 12:18:42] 657*2^1226352-1 is not prime. Res64: F8B6A2C00090E741 Time : 0.0 sec. user=mdettweiler [2012-08-13 12:18:43] 689*2^1226352-1 is not prime. Res64: 16C0C985D56F3A85 Time : 0.0 sec. user=mdettweiler [2012-08-13 12:18:44] 895*2^1226351-1 is not prime. Res64: 36C18D420F52C5A7 Time : 0.0 sec. user=mdettweiler [2012-08-13 12:18:44] 909*2^1226351-1 is not prime. Res64: 25494BAB1169C715 Time : 0.0 sec. user=mdettweiler [2012-08-13 12:39:15] 819*2^1226352-1 is not prime. Res64: 7BD81F439D94EA9F Time : 0.0 sec. user=mdettweiler [2012-08-13 12:39:15] 875*2^1226352-1 is not prime. Res64: A2155B008B87F0AB Time : 0.0 sec. user=mdettweiler [2012-08-13 12:39:17] 625*2^1226353-1 is not prime. Res64: 27C10ABECAD986A9 Time : 0.0 sec. user=mdettweiler [2012-08-13 12:39:17] 691*2^1226353-1 is not prime. Res64: 21DF2B5E006B01EE Time : 0.0 sec. user=vaughan [2012-08-13 12:47:36] 765*2^1226352-1 is not prime. Res64: 6C952DCE449799E2 Time : 0.0 sec. user=mdettweiler [2012-08-13 12:59:47] 769*2^1226353-1 is not prime. Res64: 659DEC6F1D36FEE1 Time : 0.0 sec. user=mdettweiler [2012-08-13 12:59:48] 939*2^1226353-1 is not prime. Res64: D4D51CAE886833BD Time : 0.0 sec. user=mdettweiler [2012-08-13 12:59:49] 955*2^1226353-1 is not prime. Res64: 69E5B2C566A8AC58 Time : 0.0 sec. user=mdettweiler [2012-08-13 12:59:50] 979*2^1226353-1 is not prime. Res64: E8BE05DF0571FF57 Time : 0.0 sec. user=mdettweiler [2012-08-13 13:03:48] 713*2^1226322-1 is not prime. Res64: E576EE2258A1D5BC Time : 0.0 sec. user=juhehe [2012-08-13 13:04:44] 797*2^1226352-1 is not prime. Res64: 7933FDF9A5C1ABEF Time : 0.0 sec. user=mdettweiler [2012-08-13 13:09:40] 769*2^1226323-1 is not prime. Res64: 01A9AC0850F4711D Time : 0.0 sec. user=mdettweiler [2012-08-13 13:20:21] 731*2^1226354-1 is not prime. Res64: F37FFCF6CFBAF1A4 Time : 0.0 sec. user=mdettweiler [2012-08-13 13:20:21] 935*2^1226354-1 is not prime. Res64: 5A384CA7A01F34B9 Time : 0.0 sec. user=mdettweiler [2012-08-13 13:20:22] 953*2^1226354-1 is not prime. Res64: 52FE1E060027E7EE Time : 0.0 sec. user=mdettweiler [2012-08-13 13:20:22] 639*2^1226355-1 is not prime. Res64: 8D8E2A54B410E7CB Time : 0.0 sec. user=vaughan [2012-08-13 13:24:51] 711*2^1226354-1 is not prime. Res64: 947C152BDBC63908 Time : 0.0 sec. user=mdettweiler [2012-08-13 13:40:53] 629*2^1226356-1 is not prime. Res64: F54F3B7A3C3BBB86 Time : 0.0 sec. user=mdettweiler [2012-08-13 13:40:53] 653*2^1226356-1 is not prime. Res64: 673AED252BC5090A Time : 0.0 sec. user=mdettweiler [2012-08-13 13:40:54] 675*2^1226356-1 is not prime. Res64: 3A464226F9EFA929 Time : 0.0 sec. user=mdettweiler [2012-08-13 13:40:54] 705*2^1226356-1 is not prime. Res64: 863DC04628785A6A Time : 0.0 sec. user=mdettweiler [2012-08-13 13:43:43] 699*2^1226355-1 is not prime. Res64: D9BB1118DEF0F683 Time : 0.0 sec. user=gd_barnes [2012-08-13 13:46:54] 603*2^1226356-1 is not prime. Res64: E702679FFA1E5B8C Time : 0.0 sec. user=mdettweiler [2012-08-13 13:47:02] 873*2^1226355-1 is not prime. Res64: 89BDE6287DB9B7A8 Time : 0.0 sec. user=mdettweiler [2012-08-13 14:01:39] 777*2^1226356-1 is not prime. Res64: C05B282FC5C60116 Time : 0.0 sec. user=mdettweiler [2012-08-13 14:01:40] 869*2^1226356-1 is not prime. Res64: 58F800263346B363 Time : 0.0 sec. user=mdettweiler [2012-08-13 14:01:43] 825*2^1226356-1 is not prime. Res64: 3D5A9621B627FB71 Time : 0.0 sec. user=mdettweiler [2012-08-13 14:01:45] 887*2^1226356-1 is not prime. Res64: 58177A82FF2F1C91 Time : 0.0 sec. user=vaughan [2012-08-13 14:02:10] 743*2^1226356-1 is not prime. Res64: 4EDD3B02D78B74B2 Time : 0.0 sec. user=mdettweiler [2012-08-13 14:18:08] 903*2^1226356-1 is not prime. Res64: C6E74A8F4E1E34AD Time : 0.0 sec. user=mdettweiler [2012-08-13 14:22:55] 965*2^1226356-1 is not prime. Res64: 9CE2682903E75C6E Time : 0.0 sec. user=mdettweiler [2012-08-13 14:22:56] 975*2^1226356-1 is not prime. Res64: A375FBC88202F5CF Time : 0.0 sec. user=mdettweiler [2012-08-13 14:22:58] 999*2^1226356-1 is not prime. Res64: 015EB1D4ABF1CF5D Time : 0.0 sec. user=mdettweiler [2012-08-13 14:22:59] 651*2^1226357-1 is not prime. Res64: B345E9DF4444F103 Time : 0.0 sec. user=mdettweiler [2012-08-13 14:34:52] 939*2^1226356-1 is not prime. Res64: 63514D443CA806AC Time : 0.0 sec. user=vaughan [2012-08-13 14:39:39] 675*2^1226357-1 is not prime. Res64: 2C5139D9A4E6D54C Time : 0.0 sec. user=mdettweiler [2012-08-13 14:44:00] 715*2^1226357-1 is not prime. Res64: 4C4EEC8C872FC738 Time : 0.0 sec. user=mdettweiler [2012-08-13 14:44:00] 717*2^1226357-1 is not prime. Res64: A748057CFDCA31B3 Time : 0.0 sec. user=mdettweiler [2012-08-13 14:44:01] 759*2^1226357-1 is not prime. Res64: C89C63D3C46D67CA Time : 0.0 sec. user=mdettweiler [2012-08-13 14:44:01] 771*2^1226357-1 is not prime. Res64: 15E8780A1C7FCE04 Time : 0.0 sec. user=mdettweiler [2012-08-13 14:54:52] 711*2^1226357-1 is not prime. Res64: 65B3D0E1C3643B18 Time : 0.0 sec. user=mdettweiler [2012-08-13 15:05:22] 927*2^1226357-1 is not prime. Res64: 46E3A2F024ECA9AA Time : 0.0 sec. user=mdettweiler [2012-08-13 15:05:23] 931*2^1226357-1 is not prime. Res64: D54A09BB6E57FD14 Time : 0.0 sec. user=mdettweiler [2012-08-13 15:05:26] 985*2^1226357-1 is not prime. Res64: 4EC9CEE1BFCFAA10 Time : 0.0 sec. user=mdettweiler [2012-08-13 15:05:27] 611*2^1226358-1 is not prime. Res64: 7AF4ECD80756447D Time : 0.0 sec. user=mdettweiler [2012-08-13 15:05:56] 801*2^1226357-1 is not prime. Res64: 16B7A95AE90EC6C2 Time : 0.0 sec. user=vaughan [2012-08-13 15:16:56] 915*2^1226357-1 is not prime. Res64: 7C79A3B5191943D1 Time : 0.0 sec. user=mdettweiler [2012-08-13 15:25:13] 825*2^1226358-1 is not prime. Res64: 21B7D6A17606B1ED Time : 0.0 sec. user=mdettweiler [2012-08-13 15:26:20] 833*2^1226358-1 is not prime. Res64: AC11A593E8F49BDE Time : 0.0 sec. user=mdettweiler [2012-08-13 15:26:20] 945*2^1226358-1 is not prime. Res64: B9249A015CC21FCB Time : 0.0 sec. user=mdettweiler [2012-08-13 15:26:26] 993*2^1226358-1 is not prime. Res64: CDA8C12598496F34 Time : 0.0 sec. user=mdettweiler [2012-08-13 15:26:27] 619*2^1226359-1 is not prime. Res64: 5C08422B38876FBB Time : 0.0 sec. user=mdettweiler [2012-08-13 15:37:09] 625*2^1226359-1 is not prime. Res64: 0D2F8152CD46987E Time : 0.0 sec. user=mdettweiler [2012-08-13 15:47:09] 763*2^1226359-1 is not prime. Res64: 0778A02474B03CE7 Time : 0.0 sec. user=mdettweiler [2012-08-13 15:47:10] 961*2^1226359-1 is not prime. Res64: 640E19727A085410 Time : 0.0 sec. user=mdettweiler [2012-08-13 15:47:16] 665*2^1226360-1 is not prime. Res64: 7EB285E1CF6C1E11 Time : 0.0 sec. user=mdettweiler [2012-08-13 15:47:17] 725*2^1226360-1 is not prime. Res64: 1289BA36AD90A7AF Time : 0.0 sec. user=vaughan [2012-08-13 15:54:22] 645*2^1226359-1 is not prime. Res64: 627A5C4CABC0D59A Time : 0.0 sec. user=mdettweiler [2012-08-13 15:56:15] 649*2^1226359-1 is not prime. Res64: E8570609CC6EC19C Time : 0.0 sec. user=mdettweiler [2012-08-13 16:07:29] 735*2^1226360-1 is not prime. Res64: D0F904D17D9EF431 Time : 0.0 sec. user=mdettweiler [2012-08-13 16:08:22] 767*2^1226360-1 is not prime. Res64: 0E3C22194327380D Time : 0.0 sec. user=mdettweiler [2012-08-13 16:08:22] 827*2^1226360-1 is not prime. Res64: 0F611492B9B564C2 Time : 0.0 sec. user=mdettweiler [2012-08-13 16:08:29] 845*2^1226360-1 is not prime. Res64: 3D29EA305706665B Time : 0.0 sec. user=mdettweiler [2012-08-13 16:08:30] 929*2^1226360-1 is not prime. Res64: F24CD3911F024D7F Time : 0.0 sec. user=mdettweiler [2012-08-13 16:26:28] 649*2^1226361-1 is not prime. Res64: 2686D267B772F3D2 Time : 0.0 sec. user=mdettweiler [2012-08-13 16:29:34] 665*2^1226362-1 is not prime. Res64: 9C5F8D15836D301E Time : 0.0 sec. user=mdettweiler [2012-08-13 16:29:34] 791*2^1226362-1 is not prime. Res64: 2ED69171EEA17A72 Time : 0.0 sec. user=mdettweiler [2012-08-13 16:29:45] 833*2^1226362-1 is not prime. Res64: EF48637C0BC934D8 Time : 0.0 sec. user=mdettweiler [2012-08-13 16:29:45] 941*2^1226362-1 is not prime. Res64: 78CADE95A244D862 Time : 0.0 sec. user=vaughan [2012-08-13 16:31:40] 963*2^1226360-1 is not prime. Res64: 5C2C278822225C10 Time : 0.0 sec. user=gd_barnes [2012-08-13 16:36:07] 781*2^1226361-1 is not prime. Res64: 9B884802D7884987 Time : 0.0 sec. user=mdettweiler [2012-08-13 16:37:43] 889*2^1226361-1 is not prime. Res64: 0D5CC037F09295E6 Time : 0.0 sec. user=gd_barnes [2012-08-13 16:39:13] 859*2^1226363-1 is not prime. Res64: E4EC5BDEBDA4EFD0 Time : 0.0 sec. user=gd_barnes [2012-08-13 16:40:49] 737*2^1226364-1 is not prime. Res64: 51240661E6614FDF Time : 0.0 sec. user=gd_barnes [2012-08-13 16:41:27] 823*2^1226363-1 is not prime. Res64: A28C45966436CF76 Time : 0.0 sec. user=gd_barnes [2012-08-13 16:42:12] 675*2^1226363-1 is not prime. Res64: A38FA9BF96369FB6 Time : 0.0 sec. user=gd_barnes [2012-08-13 16:43:38] 853*2^1226363-1 is not prime. Res64: 121C32DB0D6E8345 Time : 0.0 sec. user=mdettweiler [2012-08-13 16:50:47] 965*2^1226364-1 is not prime. Res64: BFEA5EFCC7EC9A13 Time : 0.0 sec. user=mdettweiler [2012-08-13 16:50:48] 983*2^1226364-1 is not prime. Res64: BB327C742A0D9C73 Time : 0.0 sec. user=mdettweiler [2012-08-13 16:50:58] 625*2^1226365-1 is not prime. Res64: 7964F6428D65C43A Time : 0.0 sec. user=mdettweiler [2012-08-13 16:50:58] 667*2^1226365-1 is not prime. Res64: 5FF6E84EAA842E28 Time : 0.0 sec. user=mdettweiler [2012-08-13 16:56:48] 947*2^1226364-1 is not prime. Res64: CDCD7CDD81A582C6 Time : 0.0 sec. user=mdettweiler [2012-08-13 17:08:01] 759*2^1226365-1 is not prime. Res64: 70A0D3DD3BBF0694 Time : 0.0 sec. user=vaughan [2012-08-13 17:08:58] 727*2^1226365-1 is not prime. Res64: A29B0671F73E5FD9 Time : 0.0 sec. user=mdettweiler [2012-08-13 17:11:59] 855*2^1226365-1 is not prime. Res64: BA551089D806B700 Time : 0.0 sec. user=mdettweiler [2012-08-13 17:12:01] 861*2^1226365-1 is not prime. Res64: 263D6344025AFA4E Time : 0.0 sec. user=mdettweiler [2012-08-13 17:12:13] 851*2^1226366-1 is not prime. Res64: 4186706763875978 Time : 0.0 sec. user=mdettweiler [2012-08-13 17:12:16] 857*2^1226366-1 is not prime. Res64: 64474954998C2C71 Time : 0.0 sec. user=mdettweiler [2012-08-13 17:26:58] 911*2^1226366-1 is not prime. Res64: 67C49338B96DF39B Time : 0.0 sec. user=mdettweiler [2012-08-13 17:33:19] 739*2^1226367-1 is not prime. Res64: E77C2D1A5DCA1BFC Time : 0.0 sec. user=mdettweiler [2012-08-13 17:33:19] 751*2^1226367-1 is not prime. Res64: 5170554ABC8A6656 Time : 0.0 sec. user=mdettweiler [2012-08-13 17:33:30] 805*2^1226367-1 is not prime. Res64: 5C17BB2B70D9F222 Time : 0.0 sec. user=mdettweiler [2012-08-13 17:33:31] 885*2^1226367-1 is not prime. Res64: 8A078DA067721AEA Time : 0.0 sec. user=gd_barnes [2012-08-13 17:38:36] 961*2^1226367-1 is not prime. Res64: 5497050957F59D28 Time : 0.0 sec. user=mdettweiler [2012-08-13 17:40:08] 651*2^1226367-1 is not prime. Res64: 44590A3F1CB4BE10 Time : 0.0 sec. user=vaughan [2012-08-13 17:46:32] 675*2^1226367-1 is not prime. Res64: 09972366CB9EF6E4 Time : 0.0 sec. user=mdettweiler [2012-08-13 17:54:43] 735*2^1226368-1 is not prime. Res64: 575220A7AFD3359C Time : 0.0 sec. user=mdettweiler [2012-08-13 17:54:43] 869*2^1226368-1 is not prime. Res64: 0F67544EC9E3C9BC Time : 0.0 sec. user=mdettweiler [2012-08-13 17:54:57] 929*2^1226368-1 is not prime. Res64: E56F73A3D6D31D7E Time : 0.0 sec. user=mdettweiler [2012-08-13 17:54:57] 721*2^1226369-1 is not prime. Res64: DF2E037B4F82BE24 Time : 0.0 sec. user=mdettweiler [2012-08-13 17:58:45] 985*2^1226367-1 is not prime. Res64: FEF54A0AA45A4329 Time : 0.0 sec. user=mdettweiler [2012-08-13 18:10:25] 781*2^1226369-1 is not prime. Res64: 02C68CA6F6945F20 Time : 0.0 sec. user=mdettweiler [2012-08-13 18:15:23] 677*2^1226370-1 is not prime. Res64: EC3B236B3F70C8A7 Time : 0.0 sec. user=mdettweiler [2012-08-13 18:15:24] 717*2^1226370-1 is not prime. Res64: 4E1860D7D93DF7DF Time : 0.0 sec. user=mdettweiler [2012-08-13 18:15:37] 773*2^1226370-1 is not prime. Res64: F961794027EB0CD0 Time : 0.0 sec. user=mdettweiler [2012-08-13 18:15:37] 851*2^1226370-1 is not prime. Res64: 80A0A76112CA6C18 Time : 0.0 sec. user=vaughan [2012-08-13 18:23:58] 861*2^1226369-1 is not prime. Res64: CD4B1AA82CA22AED Time : 0.0 sec. user=mdettweiler [2012-08-13 18:29:45] 861*2^1226370-1 is not prime. Res64: 894BD78BD0B72BD3 Time : 0.0 sec. user=mdettweiler [2012-08-13 18:36:04] 771*2^1226371-1 is not prime. Res64: 637CD50AC96D5BB8 Time : 0.0 sec. user=mdettweiler [2012-08-13 18:36:04] 775*2^1226371-1 is not prime. Res64: 0EF6A2E03364D753 Time : 0.0 sec. user=mdettweiler [2012-08-13 18:36:16] 855*2^1226371-1 is not prime. Res64: DC54AE49B12B36EA Time : 0.0 sec. user=mdettweiler [2012-08-13 18:36:17] 913*2^1226371-1 is not prime. Res64: 62B1724F8F6F1513 Time : 0.0 sec. user=mdettweiler [2012-08-13 18:41:56] 951*2^1226370-1 is not prime. Res64: D1FA89C7495A947D Time : 0.0 sec. user=mdettweiler [2012-08-13 18:57:01] 797*2^1226372-1 is not prime. Res64: 5693FEF6C045BE11 Time : 0.0 sec. user=mdettweiler [2012-08-13 18:57:01] 879*2^1226372-1 is not prime. Res64: E94B1593F2553498 Time : 0.0 sec. user=mdettweiler [2012-08-13 18:57:14] 903*2^1226372-1 is not prime. Res64: 6D56F028596BFF3F Time : 0.0 sec. user=mdettweiler [2012-08-13 18:57:14] 959*2^1226372-1 is not prime. Res64: A4F479DD5B2726D3 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:00:44] 635*2^1226372-1 is not prime. Res64: 278543943FC037D2 Time : 0.0 sec. user=vaughan [2012-08-13 19:01:18] 951*2^1226371-1 is not prime. Res64: 32891302DA925995 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:12:39] 721*2^1226373-1 is not prime. Res64: B842645903D7812F Time : 0.0 sec. user=mdettweiler [2012-08-13 19:17:53] 837*2^1226373-1 is not prime. Res64: 3C96B1D9FBF553C4 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:17:54] 951*2^1226373-1 is not prime. Res64: 978D7119E9219593 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:18:06] 985*2^1226373-1 is not prime. Res64: 75A5865E96CE4BDD Time : 0.0 sec. user=mdettweiler [2012-08-13 19:18:07] 635*2^1226374-1 is not prime. Res64: A9441A9B21EDCF40 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:31:02] 681*2^1226374-1 is not prime. Res64: B495834A37FD1018 Time : 0.0 sec. user=gd_barnes [2012-08-13 19:32:52] 765*2^1226374-1 is not prime. Res64: 699C00FFC361CC71 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:38:34] 673*2^1226375-1 is not prime. Res64: 3C1915C44497F9F2 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:38:35] 739*2^1226375-1 is not prime. Res64: 0827F9F502CD2A74 Time : 0.0 sec. user=vaughan [2012-08-13 19:38:36] 731*2^1226374-1 is not prime. Res64: AFB750B7C18862FB Time : 0.0 sec. user=gd_barnes [2012-08-13 19:38:38] 603*2^1226375-1 is not prime. Res64: 32AF223F00A17B85 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:38:47] 741*2^1226375-1 is not prime. Res64: D7AE40B33CD1C2EE Time : 0.0 sec. user=mdettweiler [2012-08-13 19:38:47] 759*2^1226375-1 is not prime. Res64: 2E32614E04C94950 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:42:57] 891*2^1226374-1 is not prime. Res64: 7119B3058B8498C2 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:59:09] 799*2^1226375-1 is not prime. Res64: 1B12E8FC710220A1 Time : 0.0 sec. user=mdettweiler [2012-08-13 19:59:09] 915*2^1226375-1 is not prime. Res64: E44E34C2CAF51E4E Time : 0.0 sec. user=mdettweiler [2012-08-13 19:59:21] 899*2^1226376-1 is not prime. Res64: D71E6D1C0FE9FB1A Time : 0.0 sec. user=mdettweiler [2012-08-13 19:59:22] 909*2^1226376-1 is not prime. Res64: 1DF076ACA5DDB83D Time : 0.0 sec. user=mdettweiler [2012-08-13 20:01:20] 771*2^1226375-1 is not prime. Res64: 8A8B4D1223E704F3 Time : 0.0 sec. user=mdettweiler [2012-08-13 20:13:11] 933*2^1226376-1 is not prime. Res64: 73C0E9AA8D1DDBD2 Time : 0.0 sec. user=vaughan [2012-08-13 20:15:53] 779*2^1226376-1 is not prime. Res64: 0B21EE3E6876AECD Time : 0.0 sec. user=mdettweiler [2012-08-13 20:19:44] 983*2^1226376-1 is not prime. Res64: CC02C2846CA9616B Time : 0.0 sec. user=mdettweiler [2012-08-13 20:19:45] 777*2^1226377-1 is not prime. Res64: 6582BAC69A69B85D Time : 0.0 sec. user=mdettweiler [2012-08-13 20:19:56] 835*2^1226377-1 is not prime. Res64: A054476978763E46 Time : 0.0 sec. user=mdettweiler [2012-08-13 20:19:56] 847*2^1226377-1 is not prime. Res64: 903F5EE0F32CDDD7 Time : 0.0 sec. user=mdettweiler [2012-08-13 20:31:56] 915*2^1226377-1 is not prime. Res64: 0574FBB5A8AB7D94 Time : 0.0 sec. user=mdettweiler [2012-08-13 20:40:19] 975*2^1226377-1 is not prime. Res64: 3498ABA77DD82C18 Time : 0.0 sec. user=mdettweiler [2012-08-13 20:40:20] 999*2^1226377-1 is not prime. Res64: 0545052B7F7B90FD Time : 0.0 sec. user=mdettweiler [2012-08-13 20:40:30] 617*2^1226378-1 is not prime. Res64: 96692FFDB4BB7CF8 Time : 0.0 sec. user=mdettweiler [2012-08-13 20:40:31] 687*2^1226378-1 is not prime. Res64: 0849F253CAC54E44 Time : 0.0 sec. user=gd_barnes [2012-08-13 20:43:28] 919*2^1226377-1 is not prime. Res64: 15613F5FDFD40D61 Time : 0.0 sec. user=mdettweiler [2012-08-13 20:44:32] 937*2^1226377-1 is not prime. Res64: E3714F9F1BE41EA4 Time : 0.0 sec. user=vaughan [2012-08-13 20:53:10] 955*2^1226377-1 is not prime. Res64: 997DD813712462A1 Time : 0.0 sec. user=mdettweiler [2012-08-13 21:00:56] 843*2^1226378-1 is not prime. Res64: 2A575535F1C842CE Time : 0.0 sec. user=mdettweiler [2012-08-13 21:00:57] 935*2^1226378-1 is not prime. Res64: 8C5E28A3C7731C6B Time : 0.0 sec. user=mdettweiler [2012-08-13 21:01:05] 633*2^1226379-1 is not prime. Res64: AF2B8D8C12BB170C Time : 0.0 sec. user=mdettweiler [2012-08-13 21:01:09] 709*2^1226379-1 is not prime. Res64: 64D457E2AD50AEA7 Time : 0.0 sec. user=mdettweiler [2012-08-13 21:02:57] 755*2^1226378-1 is not prime. Res64: 18148DF047513A5C Time : 0.0 sec. user=mdettweiler [2012-08-13 21:14:50] 711*2^1226379-1 is not prime. Res64: 831F9C22507DA529 Time : 0.0 sec. user=mdettweiler [2012-08-13 21:22:02] 795*2^1226379-1 is not prime. Res64: 394B2172C50B6F4C Time : 0.0 sec. user=mdettweiler [2012-08-13 21:22:03] 843*2^1226379-1 is not prime. Res64: 76756BEF708F770A Time : 0.0 sec. user=mdettweiler [2012-08-13 21:22:05] 759*2^1226380-1 is not prime. Res64: F81E7C886A7AB2AE Time : 0.0 sec. user=mdettweiler [2012-08-13 21:22:05] 773*2^1226380-1 is not prime. Res64: 727B6F6FED452D65 Time : 0.0 sec. user=vaughan [2012-08-13 21:30:28] 745*2^1226379-1 is not prime. Res64: 2BEBCA123734DDAB Time : 0.0 sec. user=mdettweiler [2012-08-13 21:33:15] 819*2^1226380-1 is not prime. Res64: 2EB707E5AFA1754C Time : 0.0 sec. user=mdettweiler [2012-08-13 21:42:37] 885*2^1226380-1 is not prime. Res64: A5926DDD14117747 Time : 0.0 sec. user=mdettweiler [2012-08-13 21:42:37] 887*2^1226380-1 is not prime. Res64: B0DAD06A866BEEBE Time : 0.0 sec. user=mdettweiler [2012-08-13 21:42:39] 923*2^1226380-1 is not prime. Res64: 59068B2678E1B096 Time : 0.0 sec. user=mdettweiler [2012-08-13 21:42:40] 927*2^1226380-1 is not prime. Res64: A5CA1CFBA2733470 Time : 0.0 sec. user=mdettweiler [2012-08-13 21:45:14] 833*2^1226380-1 is not prime. Res64: 22A62285D170A957 Time : 0.0 sec. user=mdettweiler [2012-08-13 22:03:13] 999*2^1226380-1 is not prime. Res64: 63CCFEEDAE4C8ED4 Time : 0.0 sec. user=mdettweiler [2012-08-13 22:03:16] 631*2^1226381-1 is not prime. Res64: A48DC4D4E2122ABA Time : 0.0 sec. user=mdettweiler [2012-08-13 22:03:19] 675*2^1226381-1 is not prime. Res64: 57DF2E12093FDE27 Time : 0.0 sec. user=mdettweiler [2012-08-13 22:03:23] 715*2^1226381-1 is not prime. Res64: CCDAA408CD3E1034 Time : 0.0 sec. user=mdettweiler [2012-08-13 22:03:35] 959*2^1226380-1 is not prime. Res64: D97C9EEFE05169C8 Time : 0.0 sec. user=vaughan [2012-08-13 22:07:52] 929*2^1226380-1 is not prime. Res64: 37507F0CD5F9397C Time : 0.0 sec. user=mdettweiler [2012-08-13 22:15:28] 735*2^1226381-1 is not prime. Res64: 8A0DC8CEA6830ECE Time : 0.0 sec. user=mdettweiler [2012-08-13 22:24:34] 789*2^1226381-1 is not prime. Res64: 0482FCF641EF617F Time : 0.0 sec. user=mdettweiler [2012-08-13 22:24:35] 829*2^1226381-1 is not prime. Res64: BA1B47399D4C27BA Time : 0.0 sec. user=mdettweiler [2012-08-13 22:24:35] 859*2^1226381-1 is not prime. Res64: 12845FCC77C1B818 Time : 0.0 sec. user=mdettweiler [2012-08-13 22:24:36] 907*2^1226381-1 is not prime. Res64: 0181EA00C784E078 Time : 0.0 sec. user=mdettweiler [2012-08-13 22:34:38] 769*2^1226381-1 is not prime. Res64: 3365CE269921213D Time : 0.0 sec. user=gd_barnes [2012-08-13 22:36:00] 615*2^1226383-1 is not prime. Res64: FE23B74AD46B53B5 Time : 0.0 sec. user=gd_barnes [2012-08-13 22:37:33] 981*2^1226381-1 is not prime. Res64: 66694B7F90E5FD57 Time : 0.0 sec. user=gd_barnes [2012-08-13 22:38:21] 627*2^1226382-1 is not prime. Res64: 9A3FD456B56EF629 Time : 0.0 sec. user=gd_barnes [2012-08-13 22:39:20] 917*2^1226382-1 is not prime. Res64: 787EB7EFEF5C492B Time : 0.0 sec. user=gd_barnes [2012-08-13 22:41:00] 679*2^1226383-1 is not prime. Res64: F52F00AA1BF6120F Time : 0.0 sec. user=vaughan [2012-08-13 22:45:20] 815*2^1226382-1 is not prime. Res64: B710A2016F4BD779 Time : 0.0 sec. user=mdettweiler [2012-08-13 22:45:26] 741*2^1226383-1 is not prime. Res64: EF8806E5098B45E7 Time : 0.0 sec. user=mdettweiler [2012-08-13 22:45:27] 745*2^1226383-1 is not prime. Res64: 71A6ACAA5220AC00 Time : 0.0 sec. user=mdettweiler [2012-08-13 22:45:28] 819*2^1226383-1 is not prime. Res64: AB3A360FFE0AE6F2 Time : 0.0 sec. user=mdettweiler [2012-08-13 22:45:28] 873*2^1226383-1 is not prime. Res64: 815AE72989BB154C Time : 0.0 sec. user=mdettweiler [2012-08-13 22:47:56] 709*2^1226383-1 is not prime. Res64: D29AC53E145E4151 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:06:16] 719*2^1226384-1 is not prime. Res64: 0CD780CB66A67BCC Time : 0.0 sec. user=mdettweiler [2012-08-13 23:06:18] 803*2^1226384-1 is not prime. Res64: E4C66E198CE27B67 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:06:20] 773*2^1226384-1 is not prime. Res64: DB68A269031F990B Time : 0.0 sec. user=mdettweiler [2012-08-13 23:06:23] 857*2^1226384-1 is not prime. Res64: 3DB0953C8CA73B91 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:13:13] 689*2^1226384-1 is not prime. Res64: 6F7C1EFA1F38C15F Time : 0.0 sec. user=mdettweiler [2012-08-13 23:20:16] 873*2^1226384-1 is not prime. Res64: 3DB0F91600884335 Time : 0.0 sec. user=vaughan [2012-08-13 23:22:36] 699*2^1226384-1 is not prime. Res64: C61EF2DD90C6BD62 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:27:27] 639*2^1226385-1 is not prime. Res64: 775E95279DA66717 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:27:28] 657*2^1226385-1 is not prime. Res64: 2D796B9D32297506 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:27:32] 727*2^1226385-1 is not prime. Res64: 9FAD3045AA306C99 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:27:33] 741*2^1226385-1 is not prime. Res64: A0003B481EFE3EC2 Time : 0.0 sec. user=gd_barnes [2012-08-13 23:38:42] 737*2^1226386-1 is not prime. Res64: 5EE68EF8764ED228 Time : 0.0 sec. user=gd_barnes [2012-08-13 23:38:43] 985*2^1226385-1 is not prime. Res64: D0A6EBEE2D51CFBB Time : 0.0 sec. user=gd_barnes [2012-08-13 23:38:44] 653*2^1226386-1 is not prime. Res64: 3BA49B9865F89FF1 Time : 0.0 sec. user=gd_barnes [2012-08-13 23:41:32] 795*2^1226385-1 is not prime. Res64: AECD724CA4344080 Time : 0.0 sec. user=gd_barnes [2012-08-13 23:41:46] 937*2^1226385-1 is not prime. Res64: 48FAA26E530E7488 Time : 0.0 sec. user=gd_barnes [2012-08-13 23:42:55] 783*2^1226386-1 is not prime. Res64: 4AD7A8F84CD8933D Time : 0.0 sec. user=gd_barnes [2012-08-13 23:43:28] 777*2^1226385-1 is not prime. Res64: C17AABD0A3F72EF6 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:45:14] 675*2^1226386-1 is not prime. Res64: F3CCD35F717E4170 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:48:37] 917*2^1226386-1 is not prime. Res64: 780B597419326E56 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:48:40] 945*2^1226386-1 is not prime. Res64: D34503AC22E59364 Time : 0.0 sec. user=mdettweiler [2012-08-13 23:48:50] 975*2^1226386-1 is not prime. Res64: 60BED1DF440AD4CC Time : 0.0 sec. user=mdettweiler [2012-08-13 23:48:51] 1001*2^1226386-1 is not prime. Res64: 00E02294950065CE Time : 0.0 sec. user=mdettweiler [2012-08-13 23:54:25] 785*2^1226386-1 is not prime. Res64: 1263E7FF317CF2AE Time : 0.0 sec. user=vaughan [2012-08-13 23:59:56] 813*2^1226386-1 is not prime. Res64: 763CD991DF22E9A8 Time : 0.0 sec.