user=vaughan [2012-08-03 00:02:59] 797*2^1225592-1 is not prime. Res64: B528D1362A64440C Time : 0.0 sec. user=mdettweiler [2012-08-03 00:04:16] 983*2^1225592-1 is not prime. Res64: 8B8D15549303CE8F Time : 0.0 sec. user=mdettweiler [2012-08-03 00:06:37] 999*2^1225592-1 is not prime. Res64: 5B8A1D020CB412DC Time : 0.0 sec. user=mdettweiler [2012-08-03 00:06:38] 625*2^1225593-1 is not prime. Res64: 330998DAA2CEC902 Time : 0.0 sec. user=mdettweiler [2012-08-03 00:09:53] 739*2^1225593-1 is not prime. Res64: 64BAF44AAB93D75E Time : 0.0 sec. user=mdettweiler [2012-08-03 00:09:55] 623*2^1225594-1 is not prime. Res64: F57F6E4022B51B57 Time : 0.0 sec. user=mdettweiler [2012-08-03 00:12:09] 995*2^1225592-1 is not prime. Res64: 6FC55EC03E97AF6C Time : 0.0 sec. user=mdettweiler [2012-08-03 00:27:19] 755*2^1225594-1 is not prime. Res64: B4065DC6FD11E7F9 Time : 0.0 sec. user=mdettweiler [2012-08-03 00:27:19] 773*2^1225594-1 is not prime. Res64: 724477C0985D9710 Time : 0.0 sec. user=mdettweiler [2012-08-03 00:30:39] 905*2^1225594-1 is not prime. Res64: 91EC7C2EA65B998F Time : 0.0 sec. user=mdettweiler [2012-08-03 00:30:40] 975*2^1225594-1 is not prime. Res64: 5E660B3056736F0F Time : 0.0 sec. user=vaughan [2012-08-03 00:40:29] 671*2^1225594-1 is not prime. Res64: 9DFEF2491D469EB2 Time : 0.0 sec. user=mdettweiler [2012-08-03 00:41:31] 677*2^1225594-1 is not prime. Res64: D106083EB826848F Time : 0.0 sec. user=gd_barnes [2012-08-03 00:46:42] 609*2^1225595-1 is not prime. Res64: 9DE500BAD913C94E Time : 0.0 sec. user=mdettweiler [2012-08-03 00:47:19] 993*2^1225594-1 is not prime. Res64: 08277CC354DAABD2 Time : 0.0 sec. user=mdettweiler [2012-08-03 00:47:56] 759*2^1225595-1 is not prime. Res64: 0FB54F8D42BD96F6 Time : 0.0 sec. user=mdettweiler [2012-08-03 00:47:57] 861*2^1225595-1 is not prime. Res64: A19154E312BC3086 Time : 0.0 sec. user=mdettweiler [2012-08-03 00:51:22] 921*2^1225595-1 is not prime. Res64: A4325D7C4C8F2A18 Time : 0.0 sec. user=mdettweiler [2012-08-03 00:51:22] 939*2^1225595-1 is not prime. Res64: 4326C9A1EDCDE57B Time : 0.0 sec. user=mdettweiler [2012-08-03 01:08:34] 695*2^1225596-1 is not prime. Res64: D928F60EB2D06195 Time : 0.0 sec. user=mdettweiler [2012-08-03 01:08:37] 879*2^1225596-1 is not prime. Res64: A1607316CFBC732A Time : 0.0 sec. user=sm5ymt [2012-08-03 01:08:52] 771*2^1225597-1 is not prime. Res64: 5B7BDD9F1B1FDAAB Time : 0.0 sec. user=mdettweiler [2012-08-03 01:11:59] 945*2^1225596-1 is not prime. Res64: 907786822CF48833 Time : 0.0 sec. user=mdettweiler [2012-08-03 01:12:00] 757*2^1225597-1 is not prime. Res64: 05A43E3D54E42077 Time : 0.0 sec. user=sm5ymt [2012-08-03 01:12:12] 937*2^1225597-1 is not prime. Res64: 20C1C6E25DEF738E Time : 0.0 sec. user=mdettweiler [2012-08-03 01:12:22] 979*2^1225595-1 is not prime. Res64: CD47EAC522AAA7FA Time : 0.0 sec. user=vaughan [2012-08-03 01:17:52] 969*2^1225595-1 is not prime. Res64: A7A71B9460605432 Time : 0.0 sec. user=mdettweiler [2012-08-03 01:18:01] 981*2^1225595-1 is not prime. Res64: 30C3C5201F4164C1 Time : 0.0 sec. user=sm5ymt [2012-08-03 01:20:13] 975*2^1225597-1 is not prime. Res64: ED5C8EA3B3542094 Time : 0.0 sec. user=mdettweiler [2012-08-03 01:29:39] 617*2^1225598-1 is not prime. Res64: B3EFF905D12651F1 Time : 0.0 sec. user=mdettweiler [2012-08-03 01:29:40] 627*2^1225598-1 is not prime. Res64: 185187BAF4C69BB7 Time : 0.0 sec. user=mdettweiler [2012-08-03 01:32:41] 831*2^1225598-1 is not prime. Res64: 67B63A801AABC6C3 Time : 0.0 sec. user=mdettweiler [2012-08-03 01:32:42] 897*2^1225598-1 is not prime. Res64: AD7BC4D4DD75455C Time : 0.0 sec. user=mdettweiler [2012-08-03 01:43:25] 971*2^1225598-1 is not prime. Res64: 71ABCE35640F58D4 Time : 0.0 sec. user=mdettweiler [2012-08-03 01:49:02] 987*2^1225598-1 is not prime. Res64: 4D19C43FEA0B37BC Time : 0.0 sec. user=mdettweiler [2012-08-03 01:50:25] 721*2^1225599-1 is not prime. Res64: 872E8B745686C78E Time : 0.0 sec. user=mdettweiler [2012-08-03 01:50:26] 741*2^1225599-1 is not prime. Res64: 31CA936DD677B45F Time : 0.0 sec. user=mdettweiler [2012-08-03 01:53:24] 873*2^1225599-1 is not prime. Res64: 15DAD22DE32311C0 Time : 0.0 sec. user=mdettweiler [2012-08-03 01:53:25] 603*2^1225600-1 is not prime. Res64: 6D64B91F8DD84A2A Time : 0.0 sec. user=vaughan [2012-08-03 01:55:17] 977*2^1225598-1 is not prime. Res64: AEE149764E555C70 Time : 0.0 sec. user=sm5ymt [2012-08-03 01:56:44] 713*2^1225600-1 is not prime. Res64: 900136BCA4F715EC Time : 0.0 sec. user=mdettweiler [2012-08-03 02:11:06] 899*2^1225600-1 is not prime. Res64: 1CE8B7DA134D3F3B Time : 0.0 sec. user=mdettweiler [2012-08-03 02:11:07] 929*2^1225600-1 is not prime. Res64: 29A78BFACA36B1B2 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:14:06] 727*2^1225601-1 is not prime. Res64: D406FDC85FA14952 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:14:08] 837*2^1225601-1 is not prime. Res64: 03EF57B46CEE1367 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:14:22] 747*2^1225600-1 is not prime. Res64: 2F3E4B51A206C5C5 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:19:38] 797*2^1225600-1 is not prime. Res64: AA79018224C7DEA2 Time : 0.0 sec. user=sm5ymt [2012-08-03 02:30:45] 791*2^1225602-1 is not prime. Res64: B6382DA18D9D35D7 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:31:53] 671*2^1225602-1 is not prime. Res64: 446255FD55B37687 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:31:54] 717*2^1225602-1 is not prime. Res64: 04C64A47F964575B Time : 0.0 sec. user=vaughan [2012-08-03 02:32:39] 987*2^1225601-1 is not prime. Res64: 247D0C63AD4263D4 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:34:50] 741*2^1225602-1 is not prime. Res64: 3975556772D3A95C Time : 0.0 sec. user=mdettweiler [2012-08-03 02:34:51] 765*2^1225602-1 is not prime. Res64: 617C1BCB984E5830 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:49:30] 843*2^1225602-1 is not prime. Res64: 0082E154B4C8365F Time : 0.0 sec. user=mdettweiler [2012-08-03 02:52:53] 885*2^1225602-1 is not prime. Res64: 8282A3E88B05E151 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:52:55] 891*2^1225602-1 is not prime. Res64: C88B2D2D73EAEC48 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:55:31] 691*2^1225603-1 is not prime. Res64: 499180195D8F3ED5 Time : 0.0 sec. user=mdettweiler [2012-08-03 02:55:32] 783*2^1225603-1 is not prime. Res64: 0C85AD7EB79EAF22 Time : 0.0 sec. user=vaughan [2012-08-03 03:10:02] 649*2^1225603-1 is not prime. Res64: 915744E269954F0E Time : 0.0 sec. user=mdettweiler [2012-08-03 03:14:02] 759*2^1225605-1 is not prime. Res64: 5E76B647A6BAD0DE Time : 0.0 sec. user=mdettweiler [2012-08-03 03:14:04] 765*2^1225605-1 is not prime. Res64: F1E44317B7C32E43 Time : 0.0 sec. user=mdettweiler [2012-08-03 03:16:12] 937*2^1225605-1 is not prime. Res64: F28B7EE9A4CCF630 Time : 0.0 sec. user=mdettweiler [2012-08-03 03:16:15] 997*2^1225605-1 is not prime. Res64: 33E5DE041EF0F7E2 Time : 0.0 sec. user=mdettweiler [2012-08-03 03:17:35] 829*2^1225603-1 is not prime. Res64: 4AC4F27FE09C8BD5 Time : 0.0 sec. user=mdettweiler [2012-08-03 03:20:38] 855*2^1225604-1 is not prime. Res64: 36C6CFB3C567EC6D Time : 0.0 sec. user=mdettweiler [2012-08-03 03:35:27] 815*2^1225606-1 is not prime. Res64: AC88183182A837FB Time : 0.0 sec. user=mdettweiler [2012-08-03 03:35:30] 971*2^1225606-1 is not prime. Res64: C32B40A4FE0271FE Time : 0.0 sec. user=mdettweiler [2012-08-03 03:36:54] 983*2^1225606-1 is not prime. Res64: 9C192D2EE4A98BFE Time : 0.0 sec. user=mdettweiler [2012-08-03 03:36:56] 601*2^1225607-1 is not prime. Res64: 33F0D42EDBCF1BBE Time : 0.0 sec. user=vaughan [2012-08-03 03:47:37] 623*2^1225606-1 is not prime. Res64: 2BFA86217D9F655F Time : 0.0 sec. user=mdettweiler [2012-08-03 03:48:44] 603*2^1225607-1 is not prime. Res64: 403C042357E9ABDB Time : 0.0 sec. user=mdettweiler [2012-08-03 03:51:43] 651*2^1225607-1 is not prime. Res64: 1B0BD08296F2FD16 Time : 0.0 sec. user=mdettweiler [2012-08-03 03:56:52] 885*2^1225607-1 is not prime. Res64: 5A4C1485A2B7C65C Time : 0.0 sec. user=mdettweiler [2012-08-03 03:56:53] 979*2^1225607-1 is not prime. Res64: 22B16647D4198364 Time : 0.0 sec. user=mdettweiler [2012-08-03 03:57:35] 605*2^1225608-1 is not prime. Res64: C026A518BF838F6A Time : 0.0 sec. user=mdettweiler [2012-08-03 03:57:36] 639*2^1225608-1 is not prime. Res64: BD25E7CD3C6F6F97 Time : 0.0 sec. user=mdettweiler [2012-08-03 04:17:37] 929*2^1225608-1 is not prime. Res64: 33A726B64CF210DB Time : 0.0 sec. user=mdettweiler [2012-08-03 04:17:40] 619*2^1225609-1 is not prime. Res64: E19165B2B97509DF Time : 0.0 sec. user=mdettweiler [2012-08-03 04:18:14] 685*2^1225609-1 is not prime. Res64: 34546F4B370A75BA Time : 0.0 sec. user=mdettweiler [2012-08-03 04:18:15] 759*2^1225609-1 is not prime. Res64: 53FF33911EF39D5E Time : 0.0 sec. user=mdettweiler [2012-08-03 04:20:40] 747*2^1225608-1 is not prime. Res64: 7F6D539BAD101F26 Time : 0.0 sec. user=mdettweiler [2012-08-03 04:23:06] 843*2^1225608-1 is not prime. Res64: 72D65CE092081935 Time : 0.0 sec. user=vaughan [2012-08-03 04:25:03] 707*2^1225608-1 is not prime. Res64: F420E2993EE81565 Time : 0.0 sec. user=sm5ymt [2012-08-03 04:36:40] 985*2^1225609-1 is not prime. Res64: 2D6D48636FE2C442 Time : 0.0 sec. user=sm5ymt [2012-08-03 04:36:51] 755*2^1225610-1 is not prime. Res64: 830BC3D5B1BC79B2 Time : 0.0 sec. user=mdettweiler [2012-08-03 04:38:41] 801*2^1225609-1 is not prime. Res64: B975BEA1116C3245 Time : 0.0 sec. user=mdettweiler [2012-08-03 04:38:41] 861*2^1225609-1 is not prime. Res64: FB0C23772874F681 Time : 0.0 sec. user=mdettweiler [2012-08-03 04:38:54] 867*2^1225609-1 is not prime. Res64: 47E355A28343C18E Time : 0.0 sec. user=mdettweiler [2012-08-03 04:38:55] 925*2^1225609-1 is not prime. Res64: D8852B2DF3E13697 Time : 0.0 sec. user=mdettweiler [2012-08-03 04:53:47] 833*2^1225610-1 is not prime. Res64: BEACAD427119598B Time : 0.0 sec. user=mdettweiler [2012-08-03 04:59:43] 977*2^1225610-1 is not prime. Res64: D40EFF21D22CB3BB Time : 0.0 sec. user=mdettweiler [2012-08-03 04:59:44] 981*2^1225610-1 is not prime. Res64: D8A59867ECEB7107 Time : 0.0 sec. user=mdettweiler [2012-08-03 04:59:47] 723*2^1225611-1 is not prime. Res64: 8A08FD47FE85E734 Time : 0.0 sec. user=mdettweiler [2012-08-03 04:59:48] 775*2^1225611-1 is not prime. Res64: 38C2820AE117FA31 Time : 0.0 sec. user=vaughan [2012-08-03 05:02:24] 875*2^1225610-1 is not prime. Res64: 22CC55F4D0D4A18E Time : 0.0 sec. user=sm5ymt [2012-08-03 05:11:16] 991*2^1225611-1 is not prime. Res64: 65D492028CD5FDC4 Time : 0.0 sec. user=sm5ymt [2012-08-03 05:11:19] 961*2^1225611-1 is not prime. Res64: EE4695319653453F Time : 0.0 sec. user=sm5ymt [2012-08-03 05:11:23] 609*2^1225612-1 is not prime. Res64: 8EE85C849B968933 Time : 0.0 sec. user=mdettweiler [2012-08-03 05:20:21] 719*2^1225612-1 is not prime. Res64: 8851E13EB5D56A4D Time : 0.0 sec. user=mdettweiler [2012-08-03 05:20:22] 723*2^1225612-1 is not prime. Res64: 93395796B6D9CBEF Time : 0.0 sec. user=mdettweiler [2012-08-03 05:20:26] 755*2^1225612-1 is not prime. Res64: 0E57C7B47B7B63FB Time : 0.0 sec. user=mdettweiler [2012-08-03 05:20:27] 819*2^1225612-1 is not prime. Res64: D9763CB85E56FE88 Time : 0.0 sec. user=sm5ymt [2012-08-03 05:24:02] 827*2^1225612-1 is not prime. Res64: ECCCEDB60BECB856 Time : 0.0 sec. user=mdettweiler [2012-08-03 05:24:53] 895*2^1225611-1 is not prime. Res64: 0FAB3324CFA94FC9 Time : 0.0 sec. user=mdettweiler [2012-08-03 05:24:58] 829*2^1225611-1 is not prime. Res64: D73319449F0083BF Time : 0.0 sec. user=vaughan [2012-08-03 05:39:49] 825*2^1225612-1 is not prime. Res64: B5332A93D4681A10 Time : 0.0 sec. user=gd_barnes [2012-08-03 05:40:15] 869*2^1225612-1 is not prime. Res64: 3F238F98040E87D4 Time : 0.0 sec. user=mdettweiler [2012-08-03 05:41:00] 933*2^1225612-1 is not prime. Res64: 434D517802F83334 Time : 0.0 sec. user=mdettweiler [2012-08-03 05:41:01] 965*2^1225612-1 is not prime. Res64: 949A9C08538C11CA Time : 0.0 sec. user=mdettweiler [2012-08-03 05:41:07] 627*2^1225613-1 is not prime. Res64: 6187350B4BB45662 Time : 0.0 sec. user=mdettweiler [2012-08-03 05:41:07] 631*2^1225613-1 is not prime. Res64: ED16B4C1F739F250 Time : 0.0 sec. user=gd_barnes [2012-08-03 05:46:07] 929*2^1225612-1 is not prime. Res64: 2CB73BFB0A430F83 Time : 0.0 sec. user=mdettweiler [2012-08-03 05:56:48] 771*2^1225613-1 is not prime. Res64: 7B2016982C98CB07 Time : 0.0 sec. user=mdettweiler [2012-08-03 05:56:49] 697*2^1225613-1 is not prime. Res64: ADB0435ADFEC7186 Time : 0.0 sec. user=mdettweiler [2012-08-03 06:01:39] 927*2^1225613-1 is not prime. Res64: 0949D44E7C379A34 Time : 0.0 sec. user=mdettweiler [2012-08-03 06:01:40] 991*2^1225613-1 is not prime. Res64: 6E070ABDA9FDA6DA Time : 0.0 sec. user=mdettweiler [2012-08-03 06:01:44] 681*2^1225614-1 is not prime. Res64: F5A92AD72BB460DF Time : 0.0 sec. user=mdettweiler [2012-08-03 06:01:45] 683*2^1225614-1 is not prime. Res64: 17A598840953BF99 Time : 0.0 sec. user=vaughan [2012-08-03 06:17:12] 925*2^1225613-1 is not prime. Res64: DE3D9A1A273C6000 Time : 0.0 sec. user=mdettweiler [2012-08-03 06:22:31] 875*2^1225614-1 is not prime. Res64: 76EBF2A5900FD6D7 Time : 0.0 sec. user=mdettweiler [2012-08-03 06:22:31] 927*2^1225614-1 is not prime. Res64: 5258804DB498288D Time : 0.0 sec. user=mdettweiler [2012-08-03 06:22:33] 965*2^1225614-1 is not prime. Res64: A27036D9C9836028 Time : 0.0 sec. user=mdettweiler [2012-08-03 06:22:33] 645*2^1225615-1 is not prime. Res64: A35BC1A0AA87D1D9 Time : 0.0 sec. user=mdettweiler [2012-08-03 06:28:11] 807*2^1225614-1 is not prime. Res64: 9C18EA3581738130 Time : 0.0 sec. user=mdettweiler [2012-08-03 06:28:11] 825*2^1225614-1 is not prime. Res64: C7BE66BB5439A1C1 Time : 0.0 sec. user=mdettweiler [2012-08-03 06:43:09] 675*2^1225615-1 is not prime. Res64: 3055E0100EA76713 Time : 0.0 sec. user=mdettweiler [2012-08-03 06:43:09] 741*2^1225615-1 is not prime. Res64: 784413142D2E763D Time : 0.0 sec. user=mdettweiler [2012-08-03 06:43:10] 759*2^1225615-1 is not prime. Res64: E264088835E053C6 Time : 0.0 sec. user=mdettweiler [2012-08-03 06:43:10] 765*2^1225615-1 is not prime. Res64: 46EEA67E64ADF2C4 Time : 0.0 sec. user=vaughan [2012-08-03 06:55:03] 673*2^1225615-1 is not prime. Res64: F045D802600A361D Time : 0.0 sec. user=mdettweiler [2012-08-03 07:00:35] 895*2^1225615-1 is not prime. Res64: 4350FB5255BE7C83 Time : 0.0 sec. user=mdettweiler [2012-08-03 07:00:56] 873*2^1225615-1 is not prime. Res64: 516CA8F51DD83297 Time : 0.0 sec. user=mdettweiler [2012-08-03 07:03:48] 951*2^1225615-1 is not prime. Res64: 63B010B9549F5FF3 Time : 0.0 sec. user=mdettweiler [2012-08-03 07:03:52] 985*2^1225615-1 is not prime. Res64: 67C18E5B619077A8 Time : 0.0 sec. user=mdettweiler [2012-08-03 07:03:54] 623*2^1225616-1 is not prime. Res64: 6B3357F7EA6A4CB8 Time : 0.0 sec. user=mdettweiler [2012-08-03 07:03:58] 629*2^1225616-1 is not prime. Res64: FE8752C8088F86A5 Time : 0.0 sec. user=mdettweiler [2012-08-03 07:24:45] 993*2^1225616-1 is not prime. Res64: A2D00AB15F33B5F2 Time : 0.0 sec. user=mdettweiler [2012-08-03 07:24:46] 625*2^1225617-1 is not prime. Res64: C7A5A8F3030AE26D Time : 0.0 sec. user=mdettweiler [2012-08-03 07:24:50] 681*2^1225617-1 is not prime. Res64: 58B9AFAE90A7369E Time : 0.0 sec. user=mdettweiler [2012-08-03 07:24:51] 751*2^1225617-1 is not prime. Res64: 485A9B63DC857B79 Time : 0.0 sec. user=gd_barnes [2012-08-03 07:31:08] 777*2^1225617-1 is not prime. Res64: 910BE34EDF1046B3 Time : 0.0 sec. user=mdettweiler [2012-08-03 07:32:03] 825*2^1225616-1 is not prime. Res64: F9A62155D3983047 Time : 0.0 sec. user=mdettweiler [2012-08-03 07:32:25] 855*2^1225616-1 is not prime. Res64: 49CA156968E07DDB Time : 0.0 sec. user=vaughan [2012-08-03 07:32:33] 789*2^1225616-1 is not prime. Res64: C3A556A1D1F5D3D8 Time : 0.0 sec. user=gd_barnes [2012-08-03 07:35:08] 759*2^1225617-1 is not prime. Res64: 0DCE53FDD41B856B Time : 0.0 sec. user=mdettweiler [2012-08-03 07:45:27] 849*2^1225617-1 is not prime. Res64: 339CFD78C9F774FD Time : 0.0 sec. user=mdettweiler [2012-08-03 07:45:28] 895*2^1225617-1 is not prime. Res64: 30462CA6E41744F3 Time : 0.0 sec. user=mdettweiler [2012-08-03 07:45:29] 937*2^1225617-1 is not prime. Res64: 4128C438D81027BC Time : 0.0 sec. user=mdettweiler [2012-08-03 07:45:29] 991*2^1225617-1 is not prime. Res64: 243FB7B177C57128 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:04:18] 657*2^1225618-1 is not prime. Res64: 067811A8984ED588 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:04:43] 713*2^1225618-1 is not prime. Res64: 1C1C7DDA26A4A9EB Time : 0.0 sec. user=mdettweiler [2012-08-03 08:06:06] 857*2^1225618-1 is not prime. Res64: 202C07ECF2A7C52C Time : 0.0 sec. user=mdettweiler [2012-08-03 08:06:07] 861*2^1225618-1 is not prime. Res64: 5954A5C6D6EBF302 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:06:10] 941*2^1225618-1 is not prime. Res64: F3EA99EC2D512F33 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:06:12] 951*2^1225618-1 is not prime. Res64: 2EC494987A73878F Time : 0.0 sec. user=vaughan [2012-08-03 08:09:54] 815*2^1225618-1 is not prime. Res64: F6E41D0B8AF05028 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:26:54] 703*2^1225619-1 is not prime. Res64: C3FF464F488ECD5D Time : 0.0 sec. user=mdettweiler [2012-08-03 08:26:55] 741*2^1225619-1 is not prime. Res64: A9AF9CC50E76B8C5 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:26:59] 745*2^1225619-1 is not prime. Res64: E5ED3C7AD4CFCFA0 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:27:00] 829*2^1225619-1 is not prime. Res64: A4ED805246275229 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:35:40] 971*2^1225618-1 is not prime. Res64: 63842A3DE657C862 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:36:10] 603*2^1225619-1 is not prime. Res64: FEDD31A35E7F58CC Time : 0.0 sec. user=gd_barnes [2012-08-03 08:45:03] 635*2^1225620-1 is not prime. Res64: BB3280692B10D58E Time : 0.0 sec. user=vaughan [2012-08-03 08:47:20] 913*2^1225619-1 is not prime. Res64: AD4934EB6337A8E4 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:47:35] 665*2^1225620-1 is not prime. Res64: F67765BBE8792397 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:47:36] 753*2^1225620-1 is not prime. Res64: 7D637381EFC00773 Time : 0.0 sec. user=mdettweiler [2012-08-03 08:47:38] 773*2^1225620-1 is not prime. Res64: FF51AE3E5D24AB2B Time : 0.0 sec. user=mdettweiler [2012-08-03 08:47:38] 959*2^1225620-1 is not prime. Res64: 98666B92DDBF7E17 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:06:38] 987*2^1225620-1 is not prime. Res64: 4567EDC019B73CEE Time : 0.0 sec. user=mdettweiler [2012-08-03 09:07:05] 999*2^1225620-1 is not prime. Res64: 2E5B7C6CC6E484A2 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:08:12] 801*2^1225621-1 is not prime. Res64: 3214452BB4CBAFD3 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:08:12] 975*2^1225621-1 is not prime. Res64: CAEC0710E3704CF5 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:08:14] 997*2^1225621-1 is not prime. Res64: 6A9D63859DD98A93 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:08:15] 665*2^1225622-1 is not prime. Res64: 9E5734AEFDFCDD3E Time : 0.0 sec. user=vaughan [2012-08-03 09:24:40] 775*2^1225621-1 is not prime. Res64: 6170A66222BA65B8 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:28:54] 791*2^1225622-1 is not prime. Res64: 4572B3319C58AD61 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:28:55] 797*2^1225622-1 is not prime. Res64: 2A52C17478753741 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:28:57] 813*2^1225622-1 is not prime. Res64: B753EAB1AB0748D1 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:28:58] 923*2^1225622-1 is not prime. Res64: 630F4C5753B7E080 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:37:44] 747*2^1225622-1 is not prime. Res64: B2918713AF5CBB27 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:37:59] 771*2^1225622-1 is not prime. Res64: 75D1A0C66895FF05 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:49:35] 1001*2^1225622-1 is not prime. Res64: E8EADACA69ACC11E Time : 0.0 sec. user=mdettweiler [2012-08-03 09:49:35] 621*2^1225623-1 is not prime. Res64: E56D450A12A4E358 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:49:36] 735*2^1225623-1 is not prime. Res64: 9EDF370440866542 Time : 0.0 sec. user=mdettweiler [2012-08-03 09:49:37] 861*2^1225623-1 is not prime. Res64: 61F839C4E1355D37 Time : 0.0 sec. user=vaughan [2012-08-03 10:02:05] 965*2^1225622-1 is not prime. Res64: F78C5C014BE35CA6 Time : 0.0 sec. user=mdettweiler [2012-08-03 10:08:38] 963*2^1225623-1 is not prime. Res64: E235A539FA94ADE7 Time : 0.0 sec. user=mdettweiler [2012-08-03 10:08:51] 615*2^1225624-1 is not prime. Res64: A0D1EB5DA813FD55 Time : 0.0 sec. user=mdettweiler [2012-08-03 10:10:13] 663*2^1225624-1 is not prime. Res64: A6460C6B9C604F1C Time : 0.0 sec. user=mdettweiler [2012-08-03 10:10:14] 989*2^1225624-1 is not prime. Res64: 296AB633133E13FE Time : 0.0 sec. user=mdettweiler [2012-08-03 10:10:14] 627*2^1225625-1 is not prime. Res64: 77D44EDAF1EC0DB1 Time : 0.0 sec. user=mdettweiler [2012-08-03 10:10:15] 699*2^1225625-1 is not prime. Res64: AEF71E2811C7EF8A Time : 0.0 sec. user=mdettweiler [2012-08-03 10:30:52] 937*2^1225625-1 is not prime. Res64: FE73085F1B640B46 Time : 0.0 sec. user=mdettweiler [2012-08-03 10:30:53] 957*2^1225625-1 is not prime. Res64: CB382CF8E8F7761F Time : 0.0 sec. user=mdettweiler [2012-08-03 10:30:55] 969*2^1225625-1 is not prime. Res64: 387A7BD76F5AAAA0 Time : 0.0 sec. user=mdettweiler [2012-08-03 10:30:55] 723*2^1225626-1 is not prime. Res64: 8F476F894042701B Time : 0.0 sec. user=vaughan [2012-08-03 10:39:28] 715*2^1225625-1 is not prime. Res64: ECF09DBAD4BAA04E Time : 0.0 sec. user=mdettweiler [2012-08-03 10:39:45] 771*2^1225625-1 is not prime. Res64: 8611FD85594938D8 Time : 0.0 sec. user=mdettweiler [2012-08-03 10:39:45] 841*2^1225625-1 is not prime. Res64: 83B947154CDFA6C4 Time : 0.0 sec. user=mdettweiler [2012-08-03 10:51:34] 735*2^1225626-1 is not prime. Res64: 3DE4346AD5E870CF Time : 0.0 sec. user=mdettweiler [2012-08-03 10:51:34] 755*2^1225626-1 is not prime. Res64: 91F0FD8F67B8CD51 Time : 0.0 sec. user=mdettweiler [2012-08-03 10:51:35] 821*2^1225626-1 is not prime. Res64: DF605133B8962C60 Time : 0.0 sec. user=mdettweiler [2012-08-03 10:51:36] 843*2^1225626-1 is not prime. Res64: 1A32A8139E1412BF Time : 0.0 sec. user=mdettweiler [2012-08-03 11:10:47] 947*2^1225626-1 is not prime. Res64: 3CC96A36158F223F Time : 0.0 sec. user=mdettweiler [2012-08-03 11:10:47] 619*2^1225627-1 is not prime. Res64: 81C36C08FABB490E Time : 0.0 sec. user=mdettweiler [2012-08-03 11:12:10] 651*2^1225627-1 is not prime. Res64: 84298018A68BBB43 Time : 0.0 sec. user=mdettweiler [2012-08-03 11:12:11] 693*2^1225627-1 is not prime. Res64: 1721452C06B2BCE1 Time : 0.0 sec. user=mdettweiler [2012-08-03 11:12:11] 819*2^1225627-1 is not prime. Res64: 3DA9F184F0EE9E3D Time : 0.0 sec. user=mdettweiler [2012-08-03 11:12:12] 849*2^1225627-1 is not prime. Res64: A162DC2A34CF2825 Time : 0.0 sec. user=vaughan [2012-08-03 11:16:48] 887*2^1225626-1 is not prime. Res64: 7DD90D57AAFB1F15 Time : 0.0 sec. user=mdettweiler [2012-08-03 11:32:49] 677*2^1225628-1 is not prime. Res64: F92C6B72B1E5AB52 Time : 0.0 sec. user=mdettweiler [2012-08-03 11:32:49] 749*2^1225628-1 is not prime. Res64: 7D96EA3B7920A866 Time : 0.0 sec. user=mdettweiler [2012-08-03 11:32:51] 819*2^1225628-1 is not prime. Res64: A8940B61D238606C Time : 0.0 sec. user=mdettweiler [2012-08-03 11:32:51] 615*2^1225629-1 is not prime. Res64: 7D8340690919EB19 Time : 0.0 sec. user=mdettweiler [2012-08-03 11:42:18] 901*2^1225627-1 is not prime. Res64: 9B914005124D7FE7 Time : 0.0 sec. user=mdettweiler [2012-08-03 11:42:19] 979*2^1225627-1 is not prime. Res64: 2F6A1182B73C5B93 Time : 0.0 sec. user=gd_barnes [2012-08-03 11:44:06] 867*2^1225629-1 is not prime. Res64: 7D197B6E35802B22 Time : 0.0 sec. user=gd_barnes [2012-08-03 11:44:23] 687*2^1225630-1 is not prime. Res64: 8009439BC3B66FAA Time : 0.0 sec. user=gd_barnes [2012-08-03 11:44:56] 621*2^1225629-1 is not prime. Res64: 26C39490A472B192 Time : 0.0 sec. user=gd_barnes [2012-08-03 11:46:13] 985*2^1225629-1 is not prime. Res64: 2ECCBC2741DA0089 Time : 0.0 sec. user=gd_barnes [2012-08-03 11:49:11] 605*2^1225630-1 is not prime. Res64: B4C500B6C4471CFD Time : 0.0 sec. user=mdettweiler [2012-08-03 11:53:25] 813*2^1225630-1 is not prime. Res64: 41E6659E90D17A91 Time : 0.0 sec. user=mdettweiler [2012-08-03 11:53:25] 911*2^1225630-1 is not prime. Res64: 6F1578DA9AD5943A Time : 0.0 sec. user=mdettweiler [2012-08-03 11:53:26] 933*2^1225630-1 is not prime. Res64: 94E60DADB0FD7D05 Time : 0.0 sec. user=mdettweiler [2012-08-03 11:53:27] 951*2^1225630-1 is not prime. Res64: 2ADD0960B420EE3E Time : 0.0 sec. user=vaughan [2012-08-03 11:54:46] 711*2^1225629-1 is not prime. Res64: EA663D053EB4801F Time : 0.0 sec. user=mdettweiler [2012-08-03 12:13:13] 685*2^1225631-1 is not prime. Res64: E83ED8BFB366632D Time : 0.0 sec. user=mdettweiler [2012-08-03 12:14:06] 735*2^1225631-1 is not prime. Res64: 27D3966D64684642 Time : 0.0 sec. user=mdettweiler [2012-08-03 12:14:08] 781*2^1225631-1 is not prime. Res64: 10A6764BDCB3292F Time : 0.0 sec. user=mdettweiler [2012-08-03 12:14:09] 741*2^1225631-1 is not prime. Res64: 3BC397E6B90E4B1A Time : 0.0 sec. user=mdettweiler [2012-08-03 12:14:10] 949*2^1225631-1 is not prime. Res64: 2805CFD00A409A22 Time : 0.0 sec. user=vaughan [2012-08-03 12:32:13] 623*2^1225632-1 is not prime. Res64: 883C62EDCB7C625F Time : 0.0 sec. user=mdettweiler [2012-08-03 12:34:58] 737*2^1225632-1 is not prime. Res64: C54D12C078C2229D Time : 0.0 sec. user=mdettweiler [2012-08-03 12:34:59] 779*2^1225632-1 is not prime. Res64: D09C6185E55737AD Time : 0.0 sec. user=mdettweiler [2012-08-03 12:35:01] 879*2^1225632-1 is not prime. Res64: BA6960BD0E106674 Time : 0.0 sec. user=mdettweiler [2012-08-03 12:35:02] 933*2^1225632-1 is not prime. Res64: D330E2C3A1F1A446 Time : 0.0 sec. user=gd_barnes [2012-08-03 12:44:44] 665*2^1225632-1 is not prime. Res64: BB32FC5303C46E59 Time : 0.0 sec. user=mdettweiler [2012-08-03 12:48:15] 1001*2^1225630-1 is not prime. Res64: 93CF8934D3002A13 Time : 0.0 sec. user=mdettweiler [2012-08-03 12:48:53] 695*2^1225632-1 is not prime. Res64: 84D75165311797BD Time : 0.0 sec. user=mdettweiler [2012-08-03 12:55:43] 977*2^1225632-1 is not prime. Res64: B529CDD912D24627 Time : 0.0 sec. user=mdettweiler [2012-08-03 12:55:43] 609*2^1225633-1 is not prime. Res64: 655D32213F92ADEC Time : 0.0 sec. user=mdettweiler [2012-08-03 12:55:46] 885*2^1225633-1 is not prime. Res64: BDF9174BFC57E028 Time : 0.0 sec. user=mdettweiler [2012-08-03 12:55:47] 617*2^1225634-1 is not prime. Res64: F5EDE506E094AF63 Time : 0.0 sec. user=vaughan [2012-08-03 13:09:36] 947*2^1225632-1 is not prime. Res64: A6EA1BE3FEE2F5CE Time : 0.0 sec. user=mdettweiler [2012-08-03 13:16:24] 825*2^1225634-1 is not prime. Res64: F0B1A5D9FCFCF6B3 Time : 0.0 sec. user=mdettweiler [2012-08-03 13:16:25] 837*2^1225634-1 is not prime. Res64: 7F0503359AD5655C Time : 0.0 sec. user=mdettweiler [2012-08-03 13:16:27] 851*2^1225634-1 is not prime. Res64: 1B79389B778383D9 Time : 0.0 sec. user=mdettweiler [2012-08-03 13:16:27] 927*2^1225634-1 is not prime. Res64: 7779F0C2454158A8 Time : 0.0 sec. user=mdettweiler [2012-08-03 13:19:23] 635*2^1225634-1 is not prime. Res64: D464D9C626F41739 Time : 0.0 sec. user=mdettweiler [2012-08-03 13:19:53] 677*2^1225634-1 is not prime. Res64: 0769863F9091FCCE Time : 0.0 sec. user=mdettweiler [2012-08-03 13:37:02] 675*2^1225635-1 is not prime. Res64: 9F62098F4733DB14 Time : 0.0 sec. user=mdettweiler [2012-08-03 13:37:02] 685*2^1225635-1 is not prime. Res64: 2E4BE8D4C3994DB5 Time : 0.0 sec. user=mdettweiler [2012-08-03 13:37:06] 783*2^1225635-1 is not prime. Res64: F88BF4E13C4B1273 Time : 0.0 sec. user=mdettweiler [2012-08-03 13:37:07] 895*2^1225635-1 is not prime. Res64: 049C5E10B518C1CC Time : 0.0 sec. user=gd_barnes [2012-08-03 13:45:44] 633*2^1225635-1 is not prime. Res64: BBFABE5079FAEB2E Time : 0.0 sec. user=vaughan [2012-08-03 13:47:01] 993*2^1225634-1 is not prime. Res64: 38CF439A4BC9F587 Time : 0.0 sec. user=mdettweiler [2012-08-03 13:50:47] 921*2^1225635-1 is not prime. Res64: 3DDC519B0ECA14DE Time : 0.0 sec. user=mdettweiler [2012-08-03 13:51:18] 963*2^1225635-1 is not prime. Res64: D901FBC2D6FAB9B6 Time : 0.0 sec. user=mdettweiler [2012-08-03 13:57:43] 603*2^1225636-1 is not prime. Res64: DB139F6F09063B4D Time : 0.0 sec. user=mdettweiler [2012-08-03 13:57:43] 719*2^1225636-1 is not prime. Res64: CE921C1FC888FE4F Time : 0.0 sec. user=mdettweiler [2012-08-03 13:57:43] 617*2^1225636-1 is not prime. Res64: 1CAF478097D9CE28 Time : 0.0 sec. user=mdettweiler [2012-08-03 13:57:44] 743*2^1225636-1 is not prime. Res64: 5186D7754F832288 Time : 0.0 sec. user=mdettweiler [2012-08-03 14:18:21] 927*2^1225636-1 is not prime. Res64: 2A4269167BE21E65 Time : 0.0 sec. user=mdettweiler [2012-08-03 14:18:21] 939*2^1225636-1 is not prime. Res64: AFE9B860C0D349FE Time : 0.0 sec. user=mdettweiler [2012-08-03 14:18:24] 965*2^1225636-1 is not prime. Res64: C20FB99FD318FCFA Time : 0.0 sec. user=mdettweiler [2012-08-03 14:18:24] 975*2^1225636-1 is not prime. Res64: 5F9C46A6100E13E7 Time : 0.0 sec. user=mdettweiler [2012-08-03 14:21:44] 839*2^1225636-1 is not prime. Res64: CF82ADBEF1E24B75 Time : 0.0 sec. user=mdettweiler [2012-08-03 14:22:14] 855*2^1225636-1 is not prime. Res64: 98017495E722334C Time : 0.0 sec. user=vaughan [2012-08-03 14:24:25] 833*2^1225636-1 is not prime. Res64: 7BCE2157A2DCFE5A Time : 0.0 sec. user=mdettweiler [2012-08-03 14:39:02] 645*2^1225637-1 is not prime. Res64: 0673BEB902F0CF61 Time : 0.0 sec. user=mdettweiler [2012-08-03 14:39:03] 669*2^1225637-1 is not prime. Res64: AE4D4525CF0020EA Time : 0.0 sec. user=mdettweiler [2012-08-03 14:39:03] 983*2^1225636-1 is not prime. Res64: 0C571875CB3CC3B2 Time : 0.0 sec. user=mdettweiler [2012-08-03 14:39:03] 999*2^1225636-1 is not prime. Res64: F87A24D172C0B5E5 Time : 0.0 sec. user=mdettweiler [2012-08-03 14:53:04] 735*2^1225637-1 is not prime. Res64: 2BC77EB20239166E Time : 0.0 sec. user=mdettweiler [2012-08-03 14:53:35] 757*2^1225637-1 is not prime. Res64: A0E1191A08F13F64 Time : 0.0 sec. user=mdettweiler [2012-08-03 14:59:41] 927*2^1225638-1 is not prime. Res64: 395DF210257F9AC0 Time : 0.0 sec. user=mdettweiler [2012-08-03 14:59:41] 759*2^1225639-1 is not prime. Res64: 01ADAE4A0D1520D8 Time : 0.0 sec. user=mdettweiler [2012-08-03 14:59:42] 811*2^1225639-1 is not prime. Res64: 79DD784C479CDD5F Time : 0.0 sec. user=mdettweiler [2012-08-03 14:59:43] 841*2^1225639-1 is not prime. Res64: 37F6FA49C4D95EB2 Time : 0.0 sec. user=vaughan [2012-08-03 15:01:45] 681*2^1225638-1 is not prime. Res64: 47C6DE6E76EBC44A Time : 0.0 sec. user=mdettweiler [2012-08-03 15:20:21] 605*2^1225640-1 is not prime. Res64: 63461DB1C255FDB1 Time : 0.0 sec. user=mdettweiler [2012-08-03 15:20:21] 713*2^1225640-1 is not prime. Res64: CFBBE6D9E69B183E Time : 0.0 sec. user=mdettweiler [2012-08-03 15:20:22] 677*2^1225640-1 is not prime. Res64: 62AFA57D14C4C6F7 Time : 0.0 sec. user=mdettweiler [2012-08-03 15:20:22] 767*2^1225640-1 is not prime. Res64: 4B815552B1007067 Time : 0.0 sec. user=mdettweiler [2012-08-03 15:24:39] 985*2^1225639-1 is not prime. Res64: A4D102998C891671 Time : 0.0 sec. user=mdettweiler [2012-08-03 15:25:04] 999*2^1225639-1 is not prime. Res64: 87FD08C203F8AF3C Time : 0.0 sec. user=vaughan [2012-08-03 15:39:08] 795*2^1225640-1 is not prime. Res64: 26F44CE16BD19315 Time : 0.0 sec. user=mdettweiler [2012-08-03 15:41:05] 797*2^1225640-1 is not prime. Res64: C24A689A43931148 Time : 0.0 sec. user=mdettweiler [2012-08-03 15:41:06] 825*2^1225640-1 is not prime. Res64: 7CD8CFC9E3F1BA6A Time : 0.0 sec. user=mdettweiler [2012-08-03 15:41:06] 747*2^1225641-1 is not prime. Res64: 2713B4290BA33712 Time : 0.0 sec. user=mdettweiler [2012-08-03 15:41:07] 811*2^1225641-1 is not prime. Res64: 819A2072B850409C Time : 0.0 sec. user=mdettweiler [2012-08-03 15:55:37] 921*2^1225641-1 is not prime. Res64: B1510CD64E8643C9 Time : 0.0 sec. user=mdettweiler [2012-08-03 15:56:10] 969*2^1225641-1 is not prime. Res64: E5A7C4C68AF59AC2 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:01:48] 843*2^1225642-1 is not prime. Res64: 3E09D44D3CBC5266 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:01:49] 631*2^1225643-1 is not prime. Res64: EC53D0D89823E355 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:01:49] 987*2^1225642-1 is not prime. Res64: 4C8AE40A9552A7E1 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:01:49] 643*2^1225643-1 is not prime. Res64: C607FFD7DA0B8043 Time : 0.0 sec. user=vaughan [2012-08-03 16:16:28] 979*2^1225641-1 is not prime. Res64: 57B5F236A4CC45F6 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:22:40] 945*2^1225644-1 is not prime. Res64: A4C30A0C18861E12 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:22:41] 975*2^1225644-1 is not prime. Res64: E92E6F32F8D09857 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:26:42] 675*2^1225643-1 is not prime. Res64: B148D0558E684BD5 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:27:09] 683*2^1225644-1 is not prime. Res64: FFCFC4D0C8936FFC Time : 0.0 sec. user=mdettweiler [2012-08-03 16:33:13] 993*2^1225644-1 is not prime. Res64: D123A1F183060BA5 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:33:14] 649*2^1225645-1 is not prime. Res64: 456374094E24C425 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:43:18] 713*2^1225646-1 is not prime. Res64: 2A9273756CCB254A Time : 0.0 sec. user=mdettweiler [2012-08-03 16:43:19] 761*2^1225646-1 is not prime. Res64: 5D9BEFC9EE32CFC6 Time : 0.0 sec. user=vaughan [2012-08-03 16:53:53] 819*2^1225645-1 is not prime. Res64: CE5D63C285EC6877 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:53:54] 1001*2^1225646-1 is not prime. Res64: 4177F0BABBEF0748 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:53:55] 601*2^1225647-1 is not prime. Res64: 745FDBD4F785F008 Time : 0.0 sec. user=mdettweiler [2012-08-03 16:57:52] 833*2^1225646-1 is not prime. Res64: C12F434D6945783A Time : 0.0 sec. user=mdettweiler [2012-08-03 16:58:24] 963*2^1225646-1 is not prime. Res64: 88FCF8E28FE69102 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:03:57] 691*2^1225647-1 is not prime. Res64: 8AEDE7F396BEEBB1 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:03:59] 693*2^1225647-1 is not prime. Res64: D34269754FAA918E Time : 0.0 sec. user=mdettweiler [2012-08-03 17:14:42] 711*2^1225647-1 is not prime. Res64: A3A160CE6A1DE4B5 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:14:45] 819*2^1225647-1 is not prime. Res64: 7F2947DD6FB5AF0F Time : 0.0 sec. user=mdettweiler [2012-08-03 17:25:50] 979*2^1225647-1 is not prime. Res64: 24D5FCBFDAE431A6 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:29:18] 951*2^1225647-1 is not prime. Res64: B75C2BCFE49A0BD3 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:29:30] 963*2^1225647-1 is not prime. Res64: 1C38196447D9E14A Time : 0.0 sec. user=vaughan [2012-08-03 17:31:14] 705*2^1225647-1 is not prime. Res64: C157E1B1BD06FBD4 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:36:11] 639*2^1225648-1 is not prime. Res64: C056A95F6DFA9427 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:36:11] 665*2^1225648-1 is not prime. Res64: 67B75DE8154A51F0 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:47:07] 735*2^1225648-1 is not prime. Res64: 7D97924408065574 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:47:07] 773*2^1225648-1 is not prime. Res64: 16F8BD836C07C3A7 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:57:27] 993*2^1225648-1 is not prime. Res64: CF39A790FBFE4FBD Time : 0.0 sec. user=mdettweiler [2012-08-03 17:57:27] 601*2^1225649-1 is not prime. Res64: 1AE49CDDC43ACB85 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:59:53] 819*2^1225648-1 is not prime. Res64: 35E818E0BDF14F28 Time : 0.0 sec. user=mdettweiler [2012-08-03 17:59:57] 855*2^1225648-1 is not prime. Res64: 6139D211A2AFC472 Time : 0.0 sec. user=mdettweiler [2012-08-03 18:08:23] 649*2^1225649-1 is not prime. Res64: A17059C43B09445C Time : 0.0 sec. user=mdettweiler [2012-08-03 18:08:25] 675*2^1225649-1 is not prime. Res64: 3A997F9052D34C91 Time : 0.0 sec. user=vaughan [2012-08-03 18:08:37] 875*2^1225648-1 is not prime. Res64: 9E7F82712A50BA0A Time : 0.0 sec. user=mdettweiler [2012-08-03 18:18:46] 691*2^1225649-1 is not prime. Res64: 03397DD8E25C5927 Time : 0.0 sec. user=mdettweiler [2012-08-03 18:18:46] 697*2^1225649-1 is not prime. Res64: 37BE8A3DBB1833C2 Time : 0.0 sec. user=mdettweiler [2012-08-03 18:29:47] 633*2^1225650-1 is not prime. Res64: D39B076D7B0287C4 Time : 0.0 sec. user=mdettweiler [2012-08-03 18:29:47] 677*2^1225650-1 is not prime. Res64: 131AC244B0E3B5AE Time : 0.0 sec. user=mdettweiler [2012-08-03 18:30:23] 781*2^1225649-1 is not prime. Res64: F9BD9CE98CAF41D0 Time : 0.0 sec. user=mdettweiler [2012-08-03 18:30:31] 949*2^1225649-1 is not prime. Res64: 4FCFB4524A3EA6E7 Time : 0.0 sec. user=mdettweiler [2012-08-03 18:40:03] 723*2^1225650-1 is not prime. Res64: D5B4EED21F204E09 Time : 0.0 sec. user=mdettweiler [2012-08-03 18:40:03] 725*2^1225650-1 is not prime. Res64: 4FFEC23E60C119A1 Time : 0.0 sec. user=vaughan [2012-08-03 18:45:59] 695*2^1225650-1 is not prime. Res64: 6F78A2D145E71625 Time : 0.0 sec. user=mdettweiler [2012-08-03 18:51:06] 783*2^1225650-1 is not prime. Res64: 6DD1081BA3383DD1 Time : 0.0 sec. user=mdettweiler [2012-08-03 18:51:07] 791*2^1225650-1 is not prime. Res64: F38F008CBF5F1A3B Time : 0.0 sec. user=mdettweiler [2012-08-03 19:01:05] 825*2^1225650-1 is not prime. Res64: B3C1265831CC01FC Time : 0.0 sec. user=mdettweiler [2012-08-03 19:01:08] 797*2^1225650-1 is not prime. Res64: BE0E46DC86BE4969 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:01:20] 893*2^1225650-1 is not prime. Res64: E4D3D283264A664F Time : 0.0 sec. user=mdettweiler [2012-08-03 19:01:22] 917*2^1225650-1 is not prime. Res64: 8B9CFA444AA62562 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:12:22] 639*2^1225651-1 is not prime. Res64: F53F438C35679D43 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:12:24] 645*2^1225651-1 is not prime. Res64: 5E711DE26EC8AC47 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:22:42] 871*2^1225651-1 is not prime. Res64: AD698BF92FCB2D48 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:22:43] 617*2^1225652-1 is not prime. Res64: C705A7E2BCDD2547 Time : 0.0 sec. user=vaughan [2012-08-03 19:23:22] 923*2^1225650-1 is not prime. Res64: 626502221F1D9AC1 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:33:07] 767*2^1225652-1 is not prime. Res64: 22505AE26D6D07B2 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:33:08] 825*2^1225652-1 is not prime. Res64: 02B1324C1897BD24 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:33:28] 741*2^1225651-1 is not prime. Res64: D87E2DB8694A0518 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:33:29] 647*2^1225652-1 is not prime. Res64: 020A0E6DB9842472 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:43:38] 897*2^1225652-1 is not prime. Res64: CABC3A33643E1170 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:43:38] 903*2^1225652-1 is not prime. Res64: 38C6E958485C2820 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:54:00] 999*2^1225652-1 is not prime. Res64: 48887F512014BB35 Time : 0.0 sec. user=mdettweiler [2012-08-03 19:54:01] 621*2^1225653-1 is not prime. Res64: FD96FE94F35F3A95 Time : 0.0 sec. user=vaughan [2012-08-03 20:00:46] 935*2^1225652-1 is not prime. Res64: 08C97BCDABFF71A9 Time : 0.0 sec. user=mdettweiler [2012-08-03 20:04:25] 805*2^1225653-1 is not prime. Res64: BA2C2BFE5D94B88F Time : 0.0 sec. user=mdettweiler [2012-08-03 20:04:27] 819*2^1225653-1 is not prime. Res64: A8B8B62E204B6C1D Time : 0.0 sec. user=mdettweiler [2012-08-03 20:04:29] 885*2^1225653-1 is not prime. Res64: CE08995E5E415651 Time : 0.0 sec. user=mdettweiler [2012-08-03 20:04:35] 781*2^1225653-1 is not prime. Res64: 379DE0D4F3D59126 Time : 0.0 sec. user=mdettweiler [2012-08-03 20:14:37] 999*2^1225653-1 is not prime. Res64: FC8B96EAB350F997 Time : 0.0 sec. user=mdettweiler [2012-08-03 20:14:38] 617*2^1225654-1 is not prime. Res64: D9F121661091A98A Time : 0.0 sec. user=mdettweiler [2012-08-03 20:25:08] 705*2^1225654-1 is not prime. Res64: 17291CF23F592B1D Time : 0.0 sec. user=mdettweiler [2012-08-03 20:25:09] 731*2^1225654-1 is not prime. Res64: 7EC2CBC1ABE61E27 Time : 0.0 sec. user=mdettweiler [2012-08-03 20:35:04] 681*2^1225654-1 is not prime. Res64: A931B79C83A2E4FC Time : 0.0 sec. user=mdettweiler [2012-08-03 20:35:09] 791*2^1225654-1 is not prime. Res64: 3A20F08313AE84F8 Time : 0.0 sec. user=mdettweiler [2012-08-03 20:35:19] 881*2^1225654-1 is not prime. Res64: 26D8B558F2244DD3 Time : 0.0 sec. user=mdettweiler [2012-08-03 20:35:19] 917*2^1225654-1 is not prime. Res64: 2B79025496A87AEE Time : 0.0 sec. user=vaughan [2012-08-03 20:38:28] 623*2^1225654-1 is not prime. Res64: 8845B9B7485137F8 Time : 0.0 sec. user=mdettweiler [2012-08-03 20:45:46] 947*2^1225654-1 is not prime. Res64: 9DA5260D176708B5 Time : 0.0 sec. user=mdettweiler [2012-08-03 20:45:46] 965*2^1225654-1 is not prime. Res64: 3302AA9C1362CFF5 Time : 0.0 sec. user=mdettweiler [2012-08-03 20:55:59] 735*2^1225655-1 is not prime. Res64: C0C8325FD70CC5FF Time : 0.0 sec. user=mdettweiler [2012-08-03 20:56:00] 843*2^1225655-1 is not prime. Res64: AB5180B2E28A3623 Time : 0.0 sec. user=mdettweiler [2012-08-03 21:05:34] 981*2^1225654-1 is not prime. Res64: 01892AF8D97864DD Time : 0.0 sec. user=mdettweiler [2012-08-03 21:05:41] 609*2^1225655-1 is not prime. Res64: C9414B1CCF444D8E Time : 0.0 sec. user=mdettweiler [2012-08-03 21:06:28] 629*2^1225656-1 is not prime. Res64: 3B2499FFDE244EFE Time : 0.0 sec. user=mdettweiler [2012-08-03 21:06:29] 707*2^1225656-1 is not prime. Res64: B5A6E26E7C1FD8DF Time : 0.0 sec. user=vaughan [2012-08-03 21:15:56] 623*2^1225656-1 is not prime. Res64: AD77FC2BC0035796 Time : 0.0 sec. user=mdettweiler [2012-08-03 21:16:39] 773*2^1225656-1 is not prime. Res64: EAB6368A492B4A4A Time : 0.0 sec. user=mdettweiler [2012-08-03 21:16:39] 691*2^1225657-1 is not prime. Res64: 7EB2FEEB20895A95 Time : 0.0 sec. user=mdettweiler [2012-08-03 21:27:10] 831*2^1225657-1 is not prime. Res64: FFBAF2F53AF9A5E4 Time : 0.0 sec. user=mdettweiler [2012-08-03 21:27:10] 985*2^1225657-1 is not prime. Res64: 327435CB19E6B3CA Time : 0.0 sec. user=mdettweiler [2012-08-03 21:36:06] 699*2^1225657-1 is not prime. Res64: EC868E6303EAA2F6 Time : 0.0 sec. user=mdettweiler [2012-08-03 21:36:15] 715*2^1225657-1 is not prime. Res64: E7805E3219DC05F9 Time : 0.0 sec. user=mdettweiler [2012-08-03 21:37:15] 743*2^1225658-1 is not prime. Res64: 41DB15FBF238AD2E Time : 0.0 sec. user=mdettweiler [2012-08-03 21:37:16] 801*2^1225658-1 is not prime. Res64: 30281C2EC6DBD5A2 Time : 0.0 sec. user=mdettweiler [2012-08-03 21:47:46] 815*2^1225658-1 is not prime. Res64: 349FA2F18D1A498A Time : 0.0 sec. user=mdettweiler [2012-08-03 21:47:47] 951*2^1225658-1 is not prime. Res64: 9BD716A143701506 Time : 0.0 sec. user=vaughan [2012-08-03 21:53:20] 635*2^1225658-1 is not prime. Res64: 67B8C2AB576A2B19 Time : 0.0 sec. user=mdettweiler [2012-08-03 21:57:51] 919*2^1225659-1 is not prime. Res64: 6F0185FDFD23F94A Time : 0.0 sec. user=mdettweiler [2012-08-03 21:57:52] 609*2^1225660-1 is not prime. Res64: C4315EBB0A4C62A9 Time : 0.0 sec. user=mdettweiler [2012-08-03 22:06:39] 741*2^1225659-1 is not prime. Res64: 81440BC5D4A661E1 Time : 0.0 sec. user=mdettweiler [2012-08-03 22:06:41] 895*2^1225659-1 is not prime. Res64: F78809EC48AE1781 Time : 0.0 sec. user=mdettweiler [2012-08-03 22:08:23] 665*2^1225660-1 is not prime. Res64: 2F355D9F13616B04 Time : 0.0 sec. user=mdettweiler [2012-08-03 22:08:24] 717*2^1225660-1 is not prime. Res64: 6665CC98E6AA2C49 Time : 0.0 sec. user=mdettweiler [2012-08-03 22:18:28] 797*2^1225660-1 is not prime. Res64: 4FB9DECC5A139ECD Time : 0.0 sec. user=mdettweiler [2012-08-03 22:18:28] 939*2^1225660-1 is not prime. Res64: 7C5F7FBD6B0D693A Time : 0.0 sec. user=mdettweiler [2012-08-03 22:29:01] 711*2^1225661-1 is not prime. Res64: 407B3283EDEFE571 Time : 0.0 sec. user=mdettweiler [2012-08-03 22:29:02] 811*2^1225661-1 is not prime. Res64: 6FD40DB44F375D92 Time : 0.0 sec. user=vaughan [2012-08-03 22:30:42] 777*2^1225660-1 is not prime. Res64: 2161DC366348B2F6 Time : 0.0 sec. user=mdettweiler [2012-08-03 22:37:26] 697*2^1225661-1 is not prime. Res64: 512D7D7DF8837597 Time : 0.0 sec. user=mdettweiler [2012-08-03 22:37:34] 615*2^1225661-1 is not prime. Res64: AB4BED7FE8CEE225 Time : 0.0 sec. user=mdettweiler [2012-08-03 22:39:08] 867*2^1225661-1 is not prime. Res64: 3189B71C74CC440A Time : 0.0 sec. user=mdettweiler [2012-08-03 22:39:09] 901*2^1225661-1 is not prime. Res64: 374AE1A3ADC6FE7D Time : 0.0 sec. user=mdettweiler [2012-08-03 22:49:39] 949*2^1225661-1 is not prime. Res64: E7284FC0BF8582EB Time : 0.0 sec. user=mdettweiler [2012-08-03 22:49:40] 981*2^1225661-1 is not prime. Res64: A69F3AEDC6317F08 Time : 0.0 sec. user=mdettweiler [2012-08-03 22:59:44] 873*2^1225662-1 is not prime. Res64: 99D1ED09818A70BF Time : 0.0 sec. user=mdettweiler [2012-08-03 22:59:45] 891*2^1225662-1 is not prime. Res64: AE51B2A0244D147B Time : 0.0 sec. user=vaughan [2012-08-03 23:08:07] 761*2^1225662-1 is not prime. Res64: E7CDAF64D98E3039 Time : 0.0 sec. user=mdettweiler [2012-08-03 23:08:17] 765*2^1225662-1 is not prime. Res64: 5CCB695AD84F7A93 Time : 0.0 sec. user=mdettweiler [2012-08-03 23:08:23] 833*2^1225662-1 is not prime. Res64: 22249C7C6B25FB8A Time : 0.0 sec. user=mdettweiler [2012-08-03 23:10:19] 735*2^1225663-1 is not prime. Res64: CFD4A1F306CF3726 Time : 0.0 sec. user=mdettweiler [2012-08-03 23:10:23] 745*2^1225663-1 is not prime. Res64: D01FA8BB1441C2AE Time : 0.0 sec. user=mdettweiler [2012-08-03 23:20:29] 765*2^1225663-1 is not prime. Res64: FB04EC47E11A6577 Time : 0.0 sec. user=mdettweiler [2012-08-03 23:20:29] 769*2^1225663-1 is not prime. Res64: 76505E9204033BA6 Time : 0.0 sec. user=mdettweiler [2012-08-03 23:31:13] 609*2^1225664-1 is not prime. Res64: 20D9EA8B4457C04E Time : 0.0 sec. user=mdettweiler [2012-08-03 23:31:14] 665*2^1225664-1 is not prime. Res64: 5867947DA1E80D22 Time : 0.0 sec. user=mdettweiler [2012-08-03 23:39:01] 793*2^1225663-1 is not prime. Res64: 826353B2233DBB5E Time : 0.0 sec. user=mdettweiler [2012-08-03 23:39:10] 993*2^1225663-1 is not prime. Res64: 6C5BC78A4D344FBA Time : 0.0 sec. user=mdettweiler [2012-08-03 23:41:16] 677*2^1225664-1 is not prime. Res64: 9F4F7AB963A5DCC3 Time : 0.0 sec. user=mdettweiler [2012-08-03 23:41:17] 753*2^1225664-1 is not prime. Res64: D5C8D3CAA9DBEAB6 Time : 0.0 sec. user=vaughan [2012-08-03 23:45:50] 883*2^1225663-1 is not prime. Res64: CE50B3C9A603D14B Time : 0.0 sec. user=mdettweiler [2012-08-03 23:52:05] 825*2^1225664-1 is not prime. Res64: 99EA5A76A0024E6E Time : 0.0 sec. user=mdettweiler [2012-08-03 23:52:05] 873*2^1225664-1 is not prime. Res64: CD725EAF033ECC31 Time : 0.0 sec.