user=ototero [2011-05-24 00:07:36] 997*2^951041-1 is not prime. Res64: 044F28AE8074B48C Time : 15393.0 sec. user=ototero [2011-05-24 00:07:37] 1001*2^951042-1 is not prime. Res64: 1DCD98A5A182EA34 Time : 15393.0 sec. user=ototero [2011-05-24 00:07:37] 805*2^951043-1 is not prime. Res64: FA279E0D5D55B289 Time : 15393.0 sec. user=ototero [2011-05-24 00:07:37] 875*2^951044-1 is not prime. Res64: 92B823CCA27877A6 Time : 15392.0 sec. user=ototero [2011-05-24 00:07:37] 959*2^951044-1 is not prime. Res64: DAE52040E78281BC Time : 15392.0 sec. user=vaughan [2011-05-24 00:08:05] 915*2^951084-1 is not prime. Res64: EB61A8BAF3F9AF7D Time : 1294.0 sec. user=vaughan [2011-05-24 00:09:06] 895*2^951085-1 is not prime. Res64: BB441D62FF6CF330 Time : 1310.0 sec. user=vaughan [2011-05-24 00:09:11] 939*2^951085-1 is not prime. Res64: 94AF72FD6A18F82A Time : 1297.0 sec. user=vaughan [2011-05-24 00:11:49] 813*2^951086-1 is not prime. Res64: 9A87A3D8F80E35E0 Time : 1217.0 sec. user=gd_barnes [2011-05-24 00:15:08] 957*2^951082-1 is not prime. Res64: 653D02DB14DD362D Time : 2022.0 sec. user=gd_barnes [2011-05-24 00:15:08] 981*2^951082-1 is not prime. Res64: 0A8B989C6C84242F Time : 2022.0 sec. user=gd_barnes [2011-05-24 00:19:10] 915*2^951083-1 is not prime. Res64: 9E871396E505513E Time : 2009.0 sec. user=gd_barnes [2011-05-24 00:19:10] 985*2^951083-1 is not prime. Res64: B7D6661D4E6F9824 Time : 2009.0 sec. user=gd_barnes [2011-05-24 00:20:01] 861*2^951083-1 is not prime. Res64: D7CCB37186483239 Time : 2077.0 sec. user=gd_barnes [2011-05-24 00:20:01] 885*2^951083-1 is not prime. Res64: EEDA4BD569AE6933 Time : 2077.0 sec. user=gd_barnes [2011-05-24 00:20:22] 803*2^951084-1 is not prime. Res64: 5E98FC46F0527B71 Time : 2072.0 sec. user=gd_barnes [2011-05-24 00:20:22] 905*2^951084-1 is not prime. Res64: 41C8A6AE5B87EEAF Time : 2072.0 sec. user=gd_barnes [2011-05-24 00:21:37] 923*2^951084-1 is not prime. Res64: CFD78C4DD1AD0816 Time : 2068.0 sec. user=gd_barnes [2011-05-24 00:21:37] 935*2^951084-1 is not prime. Res64: 75336645D316139D Time : 2068.0 sec. user=gd_barnes [2011-05-24 00:27:41] 873*2^951086-1 is not prime. Res64: A6DF576C7BD526D7 Time : 2081.0 sec. user=gd_barnes [2011-05-24 00:27:41] 897*2^951086-1 is not prime. Res64: EA5F9A386FD29C28 Time : 2081.0 sec. user=vaughan [2011-05-24 00:29:42] 875*2^951088-1 is not prime. Res64: A865CF0430B29C44 Time : 1298.0 sec. user=vaughan [2011-05-24 00:30:42] 957*2^951088-1 is not prime. Res64: F27D829DCA74337C Time : 1297.0 sec. user=vaughan [2011-05-24 00:30:46] 999*2^951088-1 is not prime. Res64: 1B1B497BB363848A Time : 1296.0 sec. user=vaughan [2011-05-24 00:31:59] 811*2^951089-1 is not prime. Res64: F3C08FC3E08EA617 Time : 1210.0 sec. user=gd_barnes [2011-05-24 00:49:23] 837*2^951089-1 is not prime. Res64: 0223EA19E908B2CC Time : 2055.0 sec. user=gd_barnes [2011-05-24 00:49:23] 879*2^951089-1 is not prime. Res64: CE58E5B7D1A1D552 Time : 2055.0 sec. user=vaughan [2011-05-24 00:51:20] 867*2^951093-1 is not prime. Res64: 3D449C035BFF7E2E Time : 1299.0 sec. user=vaughan [2011-05-24 00:52:09] 923*2^951094-1 is not prime. Res64: 2019F3F91A423C37 Time : 1210.0 sec. user=vaughan [2011-05-24 00:52:16] 825*2^951094-1 is not prime. Res64: 7D774D8CA97B97DF Time : 1291.0 sec. user=vaughan [2011-05-24 00:52:21] 951*2^951093-1 is not prime. Res64: 37561F82C47C487E Time : 1299.0 sec. user=gd_barnes [2011-05-24 00:53:42] 843*2^951090-1 is not prime. Res64: F06BDA7FF4DAB84B Time : 2072.0 sec. user=gd_barnes [2011-05-24 00:53:42] 811*2^951091-1 is not prime. Res64: CBEACFC9E5114923 Time : 2072.0 sec. user=gd_barnes [2011-05-24 00:53:45] 859*2^951091-1 is not prime. Res64: CF0E76E8734B3477 Time : 2024.0 sec. user=gd_barnes [2011-05-24 00:53:45] 883*2^951091-1 is not prime. Res64: 2AB7EF94F5B6824C Time : 2024.0 sec. user=gd_barnes [2011-05-24 00:55:04] 961*2^951091-1 is not prime. Res64: 56FE0B7F63A3F507 Time : 2082.0 sec. user=gd_barnes [2011-05-24 00:55:04] 969*2^951091-1 is not prime. Res64: E7F74A2F9FBD355D Time : 2082.0 sec. user=gd_barnes [2011-05-24 00:55:09] 825*2^951092-1 is not prime. Res64: 226877DCC528E0DA Time : 2012.0 sec. user=gd_barnes [2011-05-24 00:55:09] 875*2^951092-1 is not prime. Res64: 4510819532741B83 Time : 2012.0 sec. user=gd_barnes [2011-05-24 01:02:27] 893*2^951092-1 is not prime. Res64: F506B1CC83EF7C07 Time : 2086.0 sec. user=gd_barnes [2011-05-24 01:02:27] 903*2^951092-1 is not prime. Res64: B878B34EB384A3BC Time : 2086.0 sec. user=vaughan [2011-05-24 01:12:20] 913*2^951095-1 is not prime. Res64: 168250C886385779 Time : 1211.0 sec. user=vaughan [2011-05-24 01:13:14] 855*2^951095-1 is not prime. Res64: 6FF8204C1F281A0E Time : 1314.0 sec. user=vaughan [2011-05-24 01:13:35] 875*2^951096-1 is not prime. Res64: DD27FF3354AC1390 Time : 1274.0 sec. user=vaughan [2011-05-24 01:14:06] 845*2^951096-1 is not prime. Res64: 9DFD0181215186D3 Time : 1310.0 sec. user=gd_barnes [2011-05-24 01:23:15] 823*2^951095-1 is not prime. Res64: 88E2BAD35F68EC46 Time : 2032.0 sec. user=gd_barnes [2011-05-24 01:23:15] 841*2^951095-1 is not prime. Res64: F42D3EA1BD7CB5E6 Time : 2032.0 sec. user=gd_barnes [2011-05-24 01:27:46] 861*2^951097-1 is not prime. Res64: D895A9664FB84907 Time : 2041.0 sec. user=gd_barnes [2011-05-24 01:27:46] 871*2^951097-1 is not prime. Res64: AA9D15EB3C147ABF Time : 2041.0 sec. user=gd_barnes [2011-05-24 01:28:02] 899*2^951096-1 is not prime. Res64: 60A5E570499495BB Time : 2060.0 sec. user=gd_barnes [2011-05-24 01:28:02] 817*2^951097-1 is not prime. Res64: 37C9AEF11ED57785 Time : 2060.0 sec. user=gd_barnes [2011-05-24 01:29:19] 985*2^951097-1 is not prime. Res64: 39004A8BF2055E7E Time : 2055.0 sec. user=gd_barnes [2011-05-24 01:29:19] 971*2^951098-1 is not prime. Res64: 0133FF9C3B31536E Time : 2055.0 sec. user=gd_barnes [2011-05-24 01:29:20] 839*2^951100-1 is not prime. Res64: A22D2DA41FBE6682 Time : 2051.0 sec. user=gd_barnes [2011-05-24 01:29:20] 855*2^951100-1 is not prime. Res64: BC95D5D36F668262 Time : 2051.0 sec. user=vaughan [2011-05-24 01:32:30] 855*2^951101-1 is not prime. Res64: 80E7F277A2D5062A Time : 1210.0 sec. user=vaughan [2011-05-24 01:34:50] 955*2^951101-1 is not prime. Res64: E2E273C1CBA73B96 Time : 1275.0 sec. user=vaughan [2011-05-24 01:35:07] 889*2^951101-1 is not prime. Res64: 7E41DC50CBA115CB Time : 1313.0 sec. user=vaughan [2011-05-24 01:35:58] 967*2^951101-1 is not prime. Res64: 17BE962DE8CCD153 Time : 1312.0 sec. user=gd_barnes [2011-05-24 01:36:58] 989*2^951100-1 is not prime. Res64: 56BC7E5BE78523E9 Time : 2071.0 sec. user=gd_barnes [2011-05-24 01:36:58] 999*2^951100-1 is not prime. Res64: B3E666B5FF2DAE78 Time : 2071.0 sec. user=vaughan [2011-05-24 01:52:31] 979*2^951105-1 is not prime. Res64: 0637DD8A3AD845E8 Time : 1202.0 sec. user=vaughan [2011-05-24 01:56:05] 815*2^951106-1 is not prime. Res64: 9CD2259CDC69505D Time : 1276.0 sec. user=vaughan [2011-05-24 01:56:34] 825*2^951106-1 is not prime. Res64: 087A1E9E97461FDE Time : 1287.0 sec. user=gd_barnes [2011-05-24 01:57:16] 977*2^951102-1 is not prime. Res64: 763494C2E32EFF51 Time : 2041.0 sec. user=gd_barnes [2011-05-24 01:57:16] 1001*2^951102-1 is not prime. Res64: 570ACDAF148EC19B Time : 2041.0 sec. user=vaughan [2011-05-24 01:57:23] 843*2^951106-1 is not prime. Res64: B121E3EA6A9CDF0C Time : 1285.0 sec. user=gd_barnes [2011-05-24 02:01:58] 993*2^951103-1 is not prime. Res64: 88482D89292A1F85 Time : 2036.0 sec. user=gd_barnes [2011-05-24 02:01:58] 843*2^951104-1 is not prime. Res64: 7FC96A1F82CF249D Time : 2036.0 sec. user=gd_barnes [2011-05-24 02:02:21] 873*2^951103-1 is not prime. Res64: AF0C7564E25D3995 Time : 2075.0 sec. user=gd_barnes [2011-05-24 02:02:21] 883*2^951103-1 is not prime. Res64: A53835E680E5916F Time : 2075.0 sec. user=gd_barnes [2011-05-24 02:02:58] 909*2^951104-1 is not prime. Res64: 86FF12A7B441EBDF Time : 2019.0 sec. user=gd_barnes [2011-05-24 02:02:58] 819*2^951105-1 is not prime. Res64: 6DFC6A791D87FD66 Time : 2019.0 sec. user=gd_barnes [2011-05-24 02:03:27] 871*2^951105-1 is not prime. Res64: 64E5FD6C9C59BEA9 Time : 2047.0 sec. user=gd_barnes [2011-05-24 02:03:27] 889*2^951105-1 is not prime. Res64: 21F36D162654462D Time : 2047.0 sec. user=gd_barnes [2011-05-24 02:11:31] 987*2^951106-1 is not prime. Res64: 93665BBD3771A0F1 Time : 2073.0 sec. user=gd_barnes [2011-05-24 02:11:31] 813*2^951107-1 is not prime. Res64: A4D1DD1FA99925D8 Time : 2073.0 sec. user=vaughan [2011-05-24 02:12:48] 843*2^951107-1 is not prime. Res64: 8FD95A26568E03D6 Time : 1217.0 sec. user=vaughan [2011-05-24 02:18:02] 885*2^951107-1 is not prime. Res64: 2DB5E2CA6EBBF6A6 Time : 1317.0 sec. user=vaughan [2011-05-24 02:18:05] 819*2^951108-1 is not prime. Res64: C6BCF11A437ADCEE Time : 1291.0 sec. user=vaughan [2011-05-24 02:18:52] 831*2^951109-1 is not prime. Res64: 7099118519CE5730 Time : 1289.0 sec. user=gd_barnes [2011-05-24 02:31:52] 879*2^951108-1 is not prime. Res64: C9470D663214C3E4 Time : 2076.0 sec. user=gd_barnes [2011-05-24 02:31:52] 927*2^951108-1 is not prime. Res64: E38B7E4D5DBA2F91 Time : 2076.0 sec. user=vaughan [2011-05-24 02:33:04] 939*2^951112-1 is not prime. Res64: 58287AAA71A77CF2 Time : 1216.0 sec. user=gd_barnes [2011-05-24 02:35:26] 955*2^951109-1 is not prime. Res64: 90C805501B5D1DC3 Time : 2008.0 sec. user=gd_barnes [2011-05-24 02:35:26] 813*2^951110-1 is not prime. Res64: B57D0F16B5C2F280 Time : 2008.0 sec. user=gd_barnes [2011-05-24 02:36:15] 851*2^951110-1 is not prime. Res64: FA2DDAE249B36028 Time : 2034.0 sec. user=gd_barnes [2011-05-24 02:36:15] 893*2^951110-1 is not prime. Res64: B4A8F31626F690FA Time : 2034.0 sec. user=gd_barnes [2011-05-24 02:37:29] 941*2^951110-1 is not prime. Res64: D7BE5C212FFB2487 Time : 2071.0 sec. user=gd_barnes [2011-05-24 02:37:29] 819*2^951111-1 is not prime. Res64: A0BACF9D35A199D9 Time : 2071.0 sec. user=gd_barnes [2011-05-24 02:37:38] 849*2^951111-1 is not prime. Res64: 1754E41535E37B0C Time : 2051.0 sec. user=gd_barnes [2011-05-24 02:37:38] 865*2^951111-1 is not prime. Res64: B5226C1B5F113EFF Time : 2051.0 sec. user=vaughan [2011-05-24 02:39:39] 851*2^951114-1 is not prime. Res64: 68CD9B8D53A42216 Time : 1295.0 sec. user=vaughan [2011-05-24 02:39:54] 821*2^951114-1 is not prime. Res64: 8EBB4D88AA48E466 Time : 1312.0 sec. user=vaughan [2011-05-24 02:40:21] 875*2^951114-1 is not prime. Res64: 1EF08C3418F87BF4 Time : 1289.0 sec. user=ototero [2011-05-24 02:45:36] 919*2^951067-1 is not prime. Res64: 3DD0749EEF8A3742 Time : 15254.0 sec. user=ototero [2011-05-24 02:45:36] 837*2^951068-1 is not prime. Res64: F4E0FAC2D03F1EE1 Time : 15253.0 sec. user=ototero [2011-05-24 02:45:36] 885*2^951068-1 is not prime. Res64: C65240B6A4DC8D61 Time : 15253.0 sec. user=ototero [2011-05-24 02:45:36] 861*2^951069-1 is not prime. Res64: 7CF29170AE196120 Time : 15253.0 sec. user=ototero [2011-05-24 02:45:36] 895*2^951069-1 is not prime. Res64: A65200F78288A8D5 Time : 15252.0 sec. user=ototero [2011-05-24 02:45:37] 997*2^951069-1 is not prime. Res64: 01AFCACF30CE0575 Time : 15253.0 sec. user=ototero [2011-05-24 02:45:37] 923*2^951070-1 is not prime. Res64: 9F1A98D9E05CDFB7 Time : 15253.0 sec. user=ototero [2011-05-24 02:45:37] 825*2^951071-1 is not prime. Res64: E057AD47DCE0617A Time : 15252.0 sec. user=ototero [2011-05-24 02:45:37] 841*2^951071-1 is not prime. Res64: 5F140498FEF26DA5 Time : 15252.0 sec. user=ototero [2011-05-24 02:45:37] 885*2^951071-1 is not prime. Res64: D4E9DCB19EEC9B52 Time : 15252.0 sec. user=gd_barnes [2011-05-24 02:45:42] 895*2^951111-1 is not prime. Res64: 486E0A7208FF4129 Time : 2051.0 sec. user=gd_barnes [2011-05-24 02:45:42] 849*2^951112-1 is not prime. Res64: E918C2254C43D604 Time : 2051.0 sec. user=vaughan [2011-05-24 02:53:41] 973*2^951115-1 is not prime. Res64: 47887B3341B4F5D4 Time : 1237.0 sec. user=vaughan [2011-05-24 03:01:19] 845*2^951118-1 is not prime. Res64: 24ED991CF1A9A2D0 Time : 1301.0 sec. user=vaughan [2011-05-24 03:01:38] 939*2^951119-1 is not prime. Res64: A2D50FACDA8698A7 Time : 1304.0 sec. user=vaughan [2011-05-24 03:01:59] 845*2^951120-1 is not prime. Res64: 58B4F98AB985102A Time : 1298.0 sec. user=gd_barnes [2011-05-24 03:06:37] 971*2^951114-1 is not prime. Res64: D37AA8BA42190603 Time : 2085.0 sec. user=gd_barnes [2011-05-24 03:06:37] 843*2^951115-1 is not prime. Res64: 6C65D0ED6464F394 Time : 2085.0 sec. user=gd_barnes [2011-05-24 03:09:37] 803*2^951116-1 is not prime. Res64: 0F00E0BAFBEC2ABE Time : 2051.0 sec. user=gd_barnes [2011-05-24 03:09:37] 825*2^951116-1 is not prime. Res64: EBB8123E6A5ADE25 Time : 2051.0 sec. user=gd_barnes [2011-05-24 03:10:33] 843*2^951116-1 is not prime. Res64: E1F9D089760F837D Time : 2058.0 sec. user=gd_barnes [2011-05-24 03:10:33] 845*2^951116-1 is not prime. Res64: C24E31A3EB28EDDE Time : 2058.0 sec. user=gd_barnes [2011-05-24 03:11:43] 815*2^951118-1 is not prime. Res64: 265AD6725E6744BF Time : 2045.0 sec. user=gd_barnes [2011-05-24 03:11:43] 827*2^951118-1 is not prime. Res64: 5CE5D0B663E5D11B Time : 2045.0 sec. user=gd_barnes [2011-05-24 03:12:06] 923*2^951116-1 is not prime. Res64: 0F8175764E67CE82 Time : 2077.0 sec. user=gd_barnes [2011-05-24 03:12:06] 889*2^951117-1 is not prime. Res64: 5BEA408D7CDEE6B2 Time : 2077.0 sec. user=vaughan [2011-05-24 03:13:49] 945*2^951123-1 is not prime. Res64: 5E70D217356E1EF4 Time : 1208.0 sec. user=gd_barnes [2011-05-24 03:19:01] 885*2^951123-1 is not prime. Res64: 15C08CCB7781E67D Time : 1999.0 sec. user=gd_barnes [2011-05-24 03:19:01] 921*2^951123-1 is not prime. Res64: BEB7202CBE4981F1 Time : 1999.0 sec. user=vaughan [2011-05-24 03:22:57] 887*2^951124-1 is not prime. Res64: FF690CA4930C9667 Time : 1298.0 sec. user=vaughan [2011-05-24 03:23:20] 905*2^951124-1 is not prime. Res64: 3BC8C6E4EB5A841C Time : 1302.0 sec. user=vaughan [2011-05-24 03:23:35] 989*2^951124-1 is not prime. Res64: 21C96AEBBB1F9AA4 Time : 1297.0 sec. user=vaughan [2011-05-24 03:34:03] 961*2^951127-1 is not prime. Res64: F45641D6F902AA88 Time : 1215.0 sec. user=gd_barnes [2011-05-24 03:40:45] 939*2^951125-1 is not prime. Res64: 9EE15C95BE52063D Time : 2048.0 sec. user=gd_barnes [2011-05-24 03:40:45] 955*2^951125-1 is not prime. Res64: 28410078FF6C7167 Time : 2048.0 sec. user=gd_barnes [2011-05-24 03:43:26] 957*2^951125-1 is not prime. Res64: 054E1BCF2EC72AEA Time : 2029.0 sec. user=gd_barnes [2011-05-24 03:43:26] 985*2^951125-1 is not prime. Res64: 22AEFA509C8A4486 Time : 2029.0 sec. user=vaughan [2011-05-24 03:44:37] 855*2^951128-1 is not prime. Res64: 0BCCCBF7A0A8E4E0 Time : 1300.0 sec. user=gd_barnes [2011-05-24 03:45:01] 833*2^951126-1 is not prime. Res64: A63DF10913F04C7E Time : 2068.0 sec. user=gd_barnes [2011-05-24 03:45:01] 843*2^951126-1 is not prime. Res64: 7119345BE7300D0B Time : 2068.0 sec. user=vaughan [2011-05-24 03:45:02] 923*2^951128-1 is not prime. Res64: 15E19300B79F41F2 Time : 1302.0 sec. user=vaughan [2011-05-24 03:45:15] 963*2^951128-1 is not prime. Res64: A191AF4A65CB79AC Time : 1300.0 sec. user=gd_barnes [2011-05-24 03:46:17] 867*2^951126-1 is not prime. Res64: E6639D15A5042252 Time : 2074.0 sec. user=gd_barnes [2011-05-24 03:46:17] 873*2^951126-1 is not prime. Res64: 57BB0602FDDD605F Time : 2074.0 sec. user=gd_barnes [2011-05-24 03:46:30] 887*2^951126-1 is not prime. Res64: 806B14C194C567C1 Time : 2064.0 sec. user=gd_barnes [2011-05-24 03:46:30] 859*2^951127-1 is not prime. Res64: 305068268AA93022 Time : 2064.0 sec. user=gd_barnes [2011-05-24 03:52:30] 979*2^951127-1 is not prime. Res64: 7627638BB5E3DB24 Time : 2009.0 sec. user=gd_barnes [2011-05-24 03:52:30] 819*2^951128-1 is not prime. Res64: 9631E1871EF4DF62 Time : 2009.0 sec. user=vaughan [2011-05-24 03:54:44] 969*2^951128-1 is not prime. Res64: 5C89F6A865C3FA27 Time : 1241.0 sec. user=vaughan [2011-05-24 04:06:11] 831*2^951130-1 is not prime. Res64: 3064C364E9F49667 Time : 1294.0 sec. user=vaughan [2011-05-24 04:06:46] 855*2^951133-1 is not prime. Res64: 7ACF890B0B1796E8 Time : 1291.0 sec. user=vaughan [2011-05-24 04:06:50] 903*2^951132-1 is not prime. Res64: 4C0DFAE879EFC24D Time : 1308.0 sec. user=gd_barnes [2011-05-24 04:14:48] 895*2^951129-1 is not prime. Res64: 347CFE19AB98428B Time : 2043.0 sec. user=gd_barnes [2011-05-24 04:14:48] 955*2^951129-1 is not prime. Res64: 1F617985E71FE1D7 Time : 2043.0 sec. user=vaughan [2011-05-24 04:15:07] 849*2^951135-1 is not prime. Res64: F4209BA2B609BE6B Time : 1223.0 sec. user=gd_barnes [2011-05-24 04:17:52] 985*2^951129-1 is not prime. Res64: 8C038A0E2DF95EB5 Time : 2066.0 sec. user=gd_barnes [2011-05-24 04:17:52] 813*2^951130-1 is not prime. Res64: 231CB7A26493E57A Time : 2066.0 sec. user=gd_barnes [2011-05-24 04:19:13] 805*2^951131-1 is not prime. Res64: 5FBA56B16BF56DD5 Time : 2052.0 sec. user=gd_barnes [2011-05-24 04:19:13] 819*2^951132-1 is not prime. Res64: 5C3D71B2169CF580 Time : 2052.0 sec. user=gd_barnes [2011-05-24 04:20:23] 915*2^951133-1 is not prime. Res64: C5D8162CF96843F9 Time : 2046.0 sec. user=gd_barnes [2011-05-24 04:20:23] 951*2^951133-1 is not prime. Res64: F827A34C94997B2A Time : 2046.0 sec. user=gd_barnes [2011-05-24 04:20:31] 897*2^951134-1 is not prime. Res64: 95C25B1781249602 Time : 2041.0 sec. user=gd_barnes [2011-05-24 04:20:31] 935*2^951134-1 is not prime. Res64: BC523A3068A009ED Time : 2041.0 sec. user=gd_barnes [2011-05-24 04:27:14] 993*2^951134-1 is not prime. Res64: D582AADF536D0DDA Time : 2084.0 sec. user=gd_barnes [2011-05-24 04:27:14] 831*2^951135-1 is not prime. Res64: A2DFAEF664FE4FC7 Time : 2084.0 sec. user=vaughan [2011-05-24 04:27:39] 853*2^951135-1 is not prime. Res64: BE86C31E473DFD01 Time : 1288.0 sec. user=vaughan [2011-05-24 04:28:12] 871*2^951135-1 is not prime. Res64: AAD16461AF238191 Time : 1286.0 sec. user=vaughan [2011-05-24 04:28:34] 813*2^951136-1 is not prime. Res64: 51AB96FBDD3154A9 Time : 1304.0 sec. user=vaughan [2011-05-24 04:35:26] 845*2^951136-1 is not prime. Res64: CC2B5B645EBE6F0C Time : 1219.0 sec. user=vaughan [2011-05-24 04:49:21] 975*2^951139-1 is not prime. Res64: 30E5A86BCA483D92 Time : 1302.0 sec. user=gd_barnes [2011-05-24 04:49:22] 833*2^951136-1 is not prime. Res64: 97C8F4634F229C9C Time : 2074.0 sec. user=gd_barnes [2011-05-24 04:49:22] 843*2^951136-1 is not prime. Res64: 027E03775D1D931E Time : 2074.0 sec. user=vaughan [2011-05-24 04:49:56] 985*2^951139-1 is not prime. Res64: FC52A069D35594BC Time : 1304.0 sec. user=vaughan [2011-05-24 04:50:34] 995*2^951140-1 is not prime. Res64: BA874C4688364A7F Time : 1320.0 sec. user=gd_barnes [2011-05-24 04:52:03] 869*2^951136-1 is not prime. Res64: 7F4B93C436F4977E Time : 2051.0 sec. user=gd_barnes [2011-05-24 04:52:03] 939*2^951136-1 is not prime. Res64: ABA9B279C41B035A Time : 2051.0 sec. user=gd_barnes [2011-05-24 04:53:43] 947*2^951136-1 is not prime. Res64: FEF1F72272D58519 Time : 2070.0 sec. user=gd_barnes [2011-05-24 04:53:44] 871*2^951137-1 is not prime. Res64: 0E0B9AA0684D45C6 Time : 2071.0 sec. user=gd_barnes [2011-05-24 04:54:48] 945*2^951137-1 is not prime. Res64: EE1379AFEA5CEFBD Time : 2057.0 sec. user=gd_barnes [2011-05-24 04:54:48] 927*2^951138-1 is not prime. Res64: 91BD8641D3F9978F Time : 2057.0 sec. user=gd_barnes [2011-05-24 04:55:15] 885*2^951137-1 is not prime. Res64: 9BA93E7116C68898 Time : 2092.0 sec. user=gd_barnes [2011-05-24 04:55:15] 915*2^951137-1 is not prime. Res64: 44DE65EB97974BBD Time : 2092.0 sec. user=vaughan [2011-05-24 04:56:01] 975*2^951141-1 is not prime. Res64: 1484AC9D698389F4 Time : 1235.0 sec. user=gd_barnes [2011-05-24 05:00:14] 813*2^951139-1 is not prime. Res64: BF196EB9B5923150 Time : 1980.0 sec. user=gd_barnes [2011-05-24 05:00:14] 873*2^951139-1 is not prime. Res64: 8BE13B9884FCDF30 Time : 1980.0 sec. user=vaughan [2011-05-24 05:10:57] 831*2^951142-1 is not prime. Res64: 58CC1242BA46F114 Time : 1296.0 sec. user=vaughan [2011-05-24 05:11:29] 815*2^951144-1 is not prime. Res64: 685D5B638A4D66D9 Time : 1294.0 sec. user=vaughan [2011-05-24 05:11:54] 825*2^951144-1 is not prime. Res64: C7201A2A72C647DC Time : 1280.0 sec. user=vaughan [2011-05-24 05:17:13] 1001*2^951146-1 is not prime. Res64: 58A3B9EAA00375C1 Time : 1272.0 sec. user=gd_barnes [2011-05-24 05:22:50] 811*2^951143-1 is not prime. Res64: FDF37068A9E09F66 Time : 2008.0 sec. user=gd_barnes [2011-05-24 05:22:50] 813*2^951143-1 is not prime. Res64: 394DD1B33368ABDE Time : 2008.0 sec. user=gd_barnes [2011-05-24 05:27:10] 843*2^951144-1 is not prime. Res64: E7A90581EF5BA36D Time : 2107.0 sec. user=gd_barnes [2011-05-24 05:27:10] 857*2^951144-1 is not prime. Res64: 537C01216CE505C2 Time : 2107.0 sec. user=gd_barnes [2011-05-24 05:27:50] 999*2^951145-1 is not prime. Res64: 209F34C06781FD01 Time : 2046.0 sec. user=gd_barnes [2011-05-24 05:27:50] 837*2^951146-1 is not prime. Res64: 6791364FB6015693 Time : 2046.0 sec. user=gd_barnes [2011-05-24 05:28:32] 957*2^951146-1 is not prime. Res64: FD45C579975C5FDB Time : 1997.0 sec. user=gd_barnes [2011-05-24 05:28:32] 981*2^951146-1 is not prime. Res64: BB806CBA37AD5EF3 Time : 1997.0 sec. user=gd_barnes [2011-05-24 05:28:48] 857*2^951146-1 is not prime. Res64: 71921D2767D4C940 Time : 2040.0 sec. user=gd_barnes [2011-05-24 05:28:48] 867*2^951146-1 is not prime. Res64: 4C5F33BC4C1392D9 Time : 2040.0 sec. user=vaughan [2011-05-24 05:32:16] 895*2^951147-1 is not prime. Res64: 0640F1310A99C86C Time : 1279.0 sec. user=vaughan [2011-05-24 05:32:45] 969*2^951148-1 is not prime. Res64: 1E92EFE1A7D43A86 Time : 1277.0 sec. user=vaughan [2011-05-24 05:33:05] 975*2^951148-1 is not prime. Res64: F6AE76391E364E91 Time : 1271.0 sec. user=gd_barnes [2011-05-24 05:34:54] 825*2^951147-1 is not prime. Res64: 47527377CDF20CFD Time : 2080.0 sec. user=gd_barnes [2011-05-24 05:34:54] 859*2^951147-1 is not prime. Res64: 7BDC210A2F7C009F Time : 2080.0 sec. user=vaughan [2011-05-24 05:38:25] 811*2^951149-1 is not prime. Res64: 48153FC45341FB99 Time : 1272.0 sec. user=vaughan [2011-05-24 05:53:13] 945*2^951152-1 is not prime. Res64: 4C4AFB3448B56658 Time : 1258.0 sec. user=vaughan [2011-05-24 05:53:44] 983*2^951152-1 is not prime. Res64: 0D80883942ED48EA Time : 1260.0 sec. user=vaughan [2011-05-24 05:54:14] 945*2^951154-1 is not prime. Res64: B02A2E8802AD3050 Time : 1270.0 sec. user=gd_barnes [2011-05-24 05:57:47] 855*2^951149-1 is not prime. Res64: C3AD247D40C4EF62 Time : 2097.0 sec. user=gd_barnes [2011-05-24 05:57:47] 861*2^951149-1 is not prime. Res64: C92E120FCE7D376E Time : 2097.0 sec. user=vaughan [2011-05-24 05:59:04] 845*2^951156-1 is not prime. Res64: D0F287FAF6ABBDD6 Time : 1239.0 sec. user=gd_barnes [2011-05-24 06:01:14] 867*2^951149-1 is not prime. Res64: 85A92CD0EB07335C Time : 2044.0 sec. user=gd_barnes [2011-05-24 06:01:14] 833*2^951150-1 is not prime. Res64: 695B298AA7E55B1F Time : 2044.0 sec. user=gd_barnes [2011-05-24 06:02:37] 951*2^951150-1 is not prime. Res64: 01C40C326623B2D1 Time : 2087.0 sec. user=gd_barnes [2011-05-24 06:02:37] 855*2^951151-1 is not prime. Res64: D2FA29FFD1DA7FB0 Time : 2087.0 sec. user=gd_barnes [2011-05-24 06:03:13] 903*2^951152-1 is not prime. Res64: B2BA4EF8F60D9E02 Time : 2065.0 sec. user=gd_barnes [2011-05-24 06:03:13] 935*2^951152-1 is not prime. Res64: C892A16CFD990E86 Time : 2065.0 sec. user=gd_barnes [2011-05-24 06:03:13] 871*2^951151-1 is not prime. Res64: BB4FD9E40A541792 Time : 2081.0 sec. user=gd_barnes [2011-05-24 06:03:13] 933*2^951151-1 is not prime. Res64: C769EAB5E16E4952 Time : 2081.0 sec. user=gd_barnes [2011-05-24 06:07:59] 825*2^951155-1 is not prime. Res64: FDC858604FFBD379 Time : 1985.0 sec. user=gd_barnes [2011-05-24 06:07:59] 991*2^951155-1 is not prime. Res64: 9344F4B415569CAA Time : 1985.0 sec. user=vaughan [2011-05-24 06:14:41] 923*2^951156-1 is not prime. Res64: 80F39A51E68F19DC Time : 1288.0 sec. user=vaughan [2011-05-24 06:15:10] 829*2^951157-1 is not prime. Res64: 6CDCBB3E165EE572 Time : 1287.0 sec. user=vaughan [2011-05-24 06:16:13] 859*2^951157-1 is not prime. Res64: 16FB0953F1DE39A7 Time : 1320.0 sec. user=vaughan [2011-05-24 06:19:23] 867*2^951158-1 is not prime. Res64: 325FF6E1D1DB5B70 Time : 1219.0 sec. user=gd_barnes [2011-05-24 06:32:22] 957*2^951157-1 is not prime. Res64: 943FD631076C76BC Time : 2075.0 sec. user=gd_barnes [2011-05-24 06:32:22] 975*2^951157-1 is not prime. Res64: F1783FBB536D446A Time : 2075.0 sec. user=gd_barnes [2011-05-24 06:35:51] 885*2^951158-1 is not prime. Res64: 934D21ED2D8E5257 Time : 2077.0 sec. user=gd_barnes [2011-05-24 06:35:51] 887*2^951158-1 is not prime. Res64: 8F7D4D895122313B Time : 2077.0 sec. user=vaughan [2011-05-24 06:36:03] 855*2^951160-1 is not prime. Res64: 8AF2CC0AA0316450 Time : 1283.0 sec. user=vaughan [2011-05-24 06:36:33] 933*2^951160-1 is not prime. Res64: DFC1B6BA8086D0A6 Time : 1284.0 sec. user=gd_barnes [2011-05-24 06:37:11] 923*2^951158-1 is not prime. Res64: D6B1CDB7BE60BE42 Time : 2074.0 sec. user=gd_barnes [2011-05-24 06:37:11] 935*2^951158-1 is not prime. Res64: B41C71ED4B6706C0 Time : 2074.0 sec. user=gd_barnes [2011-05-24 06:37:24] 987*2^951158-1 is not prime. Res64: C4D8F6289D9CB791 Time : 2051.0 sec. user=gd_barnes [2011-05-24 06:37:24] 969*2^951159-1 is not prime. Res64: 18BBED2751D56E76 Time : 2051.0 sec. user=gd_barnes [2011-05-24 06:37:27] 951*2^951158-1 is not prime. Res64: 1F45F0DD36A21347 Time : 2054.0 sec. user=gd_barnes [2011-05-24 06:37:27] 977*2^951158-1 is not prime. Res64: 16F40F9168103629 Time : 2054.0 sec. user=vaughan [2011-05-24 06:38:10] 957*2^951160-1 is not prime. Res64: 035F5863E1BA7746 Time : 1317.0 sec. user=vaughan [2011-05-24 06:39:42] 829*2^951161-1 is not prime. Res64: A39CF15FEF0D549D Time : 1219.0 sec. user=gd_barnes [2011-05-24 06:41:11] 819*2^951160-1 is not prime. Res64: D7C26B7AE96A115D Time : 1992.0 sec. user=gd_barnes [2011-05-24 06:41:11] 827*2^951160-1 is not prime. Res64: BBB56008BFB7B211 Time : 1992.0 sec. user=vaughan [2011-05-24 06:57:43] 945*2^951162-1 is not prime. Res64: 507D1D9737A0F2D1 Time : 1300.0 sec. user=vaughan [2011-05-24 06:58:14] 819*2^951163-1 is not prime. Res64: FDD0C1CA5C460DB7 Time : 1301.0 sec. user=ototero [2011-05-24 06:59:50] 849*2^951120-1 is not prime. Res64: 65A5C99375A78A93 Time : 15252.0 sec. user=ototero [2011-05-24 06:59:50] 983*2^951120-1 is not prime. Res64: 213D0E36B522FAE9 Time : 15252.0 sec. user=ototero [2011-05-24 06:59:50] 877*2^951121-1 is not prime. Res64: C6CB27658B94DEC8 Time : 15252.0 sec. user=ototero [2011-05-24 06:59:50] 925*2^951121-1 is not prime. Res64: 90B1F441F7FF3BAC Time : 15251.0 sec. user=ototero [2011-05-24 06:59:50] 825*2^951122-1 is not prime. Res64: 0F35D0E15859BF84 Time : 15251.0 sec. user=ototero [2011-05-24 06:59:50] 827*2^951122-1 is not prime. Res64: 90CDE44DB19D5CE2 Time : 15251.0 sec. user=ototero [2011-05-24 06:59:51] 875*2^951122-1 is not prime. Res64: 22EF3F46196B5FB5 Time : 15251.0 sec. user=ototero [2011-05-24 06:59:51] 935*2^951122-1 is not prime. Res64: 89E5075931C9BFE4 Time : 15251.0 sec. user=ototero [2011-05-24 06:59:51] 957*2^951122-1 is not prime. Res64: E3AF171C02C72CB1 Time : 15251.0 sec. user=ototero [2011-05-24 06:59:51] 805*2^951123-1 is not prime. Res64: 8C8AC6C35B25DE1D Time : 15251.0 sec. user=vaughan [2011-05-24 07:00:13] 921*2^951165-1 is not prime. Res64: EFBFB56A921AC0D1 Time : 1323.0 sec. user=vaughan [2011-05-24 07:00:18] 937*2^951165-1 is not prime. Res64: 41A42E8973B94799 Time : 1237.0 sec. user=gd_barnes [2011-05-24 07:06:43] 865*2^951161-1 is not prime. Res64: 649E08E1478F4C2E Time : 2061.0 sec. user=gd_barnes [2011-05-24 07:06:43] 889*2^951161-1 is not prime. Res64: CFE0EF1C348B7A7E Time : 2061.0 sec. user=gd_barnes [2011-05-24 07:09:48] 981*2^951161-1 is not prime. Res64: B908BAF4ABA4A3AF Time : 2037.0 sec. user=gd_barnes [2011-05-24 07:09:48] 803*2^951162-1 is not prime. Res64: 63B5E3B0893DD576 Time : 2037.0 sec. user=gd_barnes [2011-05-24 07:11:46] 873*2^951163-1 is not prime. Res64: F38302EE61F27532 Time : 2075.0 sec. user=gd_barnes [2011-05-24 07:11:46] 993*2^951163-1 is not prime. Res64: 2FA85A385439FB3C Time : 2075.0 sec. user=gd_barnes [2011-05-24 07:11:48] 817*2^951165-1 is not prime. Res64: C5883E3ABA70060F Time : 2061.0 sec. user=gd_barnes [2011-05-24 07:11:48] 819*2^951165-1 is not prime. Res64: C8B6919EB60B9D76 Time : 2061.0 sec. user=gd_barnes [2011-05-24 07:12:14] 857*2^951164-1 is not prime. Res64: BE0DF5F5DB2160F3 Time : 2090.0 sec. user=gd_barnes [2011-05-24 07:12:14] 885*2^951164-1 is not prime. Res64: B0FFB18679E9621F Time : 2090.0 sec. user=gd_barnes [2011-05-24 07:14:26] 961*2^951165-1 is not prime. Res64: CF1EC7DE6F5CB6E7 Time : 1995.0 sec. user=gd_barnes [2011-05-24 07:14:26] 945*2^951166-1 is not prime. Res64: E4D551519153DB5D Time : 1995.0 sec. user=vaughan [2011-05-24 07:19:09] 823*2^951167-1 is not prime. Res64: 13C4C5893D691976 Time : 1287.0 sec. user=vaughan [2011-05-24 07:19:37] 913*2^951167-1 is not prime. Res64: F9B0F2F48D41E7BB Time : 1283.0 sec. user=vaughan [2011-05-24 07:20:37] 887*2^951170-1 is not prime. Res64: A2A3079D2FA2373B Time : 1219.0 sec. user=vaughan [2011-05-24 07:22:11] 851*2^951170-1 is not prime. Res64: 9BA2FF8FCA64B534 Time : 1318.0 sec. user=vaughan [2011-05-24 07:40:47] 941*2^951174-1 is not prime. Res64: BDF72478FD4ADA32 Time : 1298.0 sec. user=vaughan [2011-05-24 07:41:06] 859*2^951175-1 is not prime. Res64: 72C627D5739304F1 Time : 1230.0 sec. user=vaughan [2011-05-24 07:41:11] 1001*2^951174-1 is not prime. Res64: 7990823AA41123B5 Time : 1295.0 sec. user=gd_barnes [2011-05-24 07:41:18] 915*2^951170-1 is not prime. Res64: 5FA3D7F8122F7CB3 Time : 2075.0 sec. user=gd_barnes [2011-05-24 07:41:18] 951*2^951170-1 is not prime. Res64: 51D41D0665BE5A8D Time : 2075.0 sec. user=gd_barnes [2011-05-24 07:43:28] 981*2^951170-1 is not prime. Res64: 37047914F71049CD Time : 2020.0 sec. user=gd_barnes [2011-05-24 07:43:28] 849*2^951171-1 is not prime. Res64: 58F318B6407C7E73 Time : 2020.0 sec. user=vaughan [2011-05-24 07:44:09] 999*2^951175-1 is not prime. Res64: B65FE8CF5B071D86 Time : 1319.0 sec. user=gd_barnes [2011-05-24 07:45:45] 903*2^951171-1 is not prime. Res64: 361B947E59CE78DD Time : 2039.0 sec. user=gd_barnes [2011-05-24 07:45:45] 899*2^951172-1 is not prime. Res64: 6777364D695DE595 Time : 2039.0 sec. user=gd_barnes [2011-05-24 07:46:00] 915*2^951172-1 is not prime. Res64: E4A02697885CBD66 Time : 2052.0 sec. user=gd_barnes [2011-05-24 07:46:00] 933*2^951172-1 is not prime. Res64: 1E7F83DD267B961C Time : 2052.0 sec. user=gd_barnes [2011-05-24 07:46:39] 859*2^951173-1 is not prime. Res64: 543C5AAF1C4A1364 Time : 2065.0 sec. user=gd_barnes [2011-05-24 07:46:39] 861*2^951173-1 is not prime. Res64: FF0CF1570063EF75 Time : 2065.0 sec. user=gd_barnes [2011-05-24 07:48:35] 939*2^951173-1 is not prime. Res64: 75D637F4B7580A5C Time : 2049.0 sec. user=gd_barnes [2011-05-24 07:48:35] 863*2^951174-1 is not prime. Res64: A9186572D608C07D Time : 2049.0 sec. user=vaughan [2011-05-24 08:01:24] 969*2^951176-1 is not prime. Res64: 225B5A4C92B83EDA Time : 1218.0 sec. user=vaughan [2011-05-24 08:02:32] 857*2^951176-1 is not prime. Res64: F80C2ACD38DD513B Time : 1306.0 sec. user=vaughan [2011-05-24 08:02:57] 835*2^951177-1 is not prime. Res64: 1830CE218CA9DDDD Time : 1306.0 sec. user=vaughan [2011-05-24 08:05:24] 831*2^951178-1 is not prime. Res64: D87255F034946159 Time : 1275.0 sec. user=gd_barnes [2011-05-24 08:15:17] 849*2^951177-1 is not prime. Res64: FEA4214065AC7CBB Time : 2039.0 sec. user=gd_barnes [2011-05-24 08:15:17] 915*2^951177-1 is not prime. Res64: 56963F4B8FE5A738 Time : 2039.0 sec. user=gd_barnes [2011-05-24 08:17:57] 919*2^951177-1 is not prime. Res64: 3D135D6540737A72 Time : 2069.0 sec. user=gd_barnes [2011-05-24 08:17:57] 825*2^951178-1 is not prime. Res64: 0BB672C1DAA5DEB2 Time : 2069.0 sec. user=gd_barnes [2011-05-24 08:19:26] 843*2^951178-1 is not prime. Res64: 8828F0F96E47605B Time : 2021.0 sec. user=gd_barnes [2011-05-24 08:19:26] 861*2^951179-1 is not prime. Res64: 45896DBC44D380FF Time : 2021.0 sec. user=gd_barnes [2011-05-24 08:20:10] 895*2^951179-1 is not prime. Res64: 403C172FBAEA27A4 Time : 2050.0 sec. user=gd_barnes [2011-05-24 08:20:10] 969*2^951179-1 is not prime. Res64: 9382AE0C211E0D66 Time : 2050.0 sec. user=gd_barnes [2011-05-24 08:21:07] 845*2^951180-1 is not prime. Res64: AE6E07F20E6407E2 Time : 2068.0 sec. user=gd_barnes [2011-05-24 08:21:07] 857*2^951180-1 is not prime. Res64: DAE540EB224368F6 Time : 2068.0 sec. user=vaughan [2011-05-24 08:21:34] 847*2^951181-1 is not prime. Res64: E7355DC39E3893B1 Time : 1211.0 sec. user=gd_barnes [2011-05-24 08:23:06] 873*2^951180-1 is not prime. Res64: 046414D600E22BAB Time : 2071.0 sec. user=gd_barnes [2011-05-24 08:23:06] 915*2^951180-1 is not prime. Res64: CA46DCE58AA3592E Time : 2071.0 sec. user=vaughan [2011-05-24 08:24:25] 855*2^951181-1 is not prime. Res64: 1ED43171AB9FC00A Time : 1313.0 sec. user=vaughan [2011-05-24 08:24:47] 931*2^951181-1 is not prime. Res64: 8002E4A711ABBE2A Time : 1310.0 sec. user=vaughan [2011-05-24 08:26:41] 937*2^951181-1 is not prime. Res64: D9FEF9AE0E149EFA Time : 1277.0 sec. user=vaughan [2011-05-24 08:41:50] 905*2^951186-1 is not prime. Res64: CE9E6D4E51C7389D Time : 1217.0 sec. user=vaughan [2011-05-24 08:46:22] 945*2^951187-1 is not prime. Res64: D0E3082C6E9ACC6F Time : 1318.0 sec. user=vaughan [2011-05-24 08:46:44] 951*2^951187-1 is not prime. Res64: 3570B88D9CAC0002 Time : 1317.0 sec. user=vaughan [2011-05-24 08:48:09] 979*2^951187-1 is not prime. Res64: DA95161DDA14E653 Time : 1289.0 sec. user=gd_barnes [2011-05-24 08:49:26] 999*2^951181-1 is not prime. Res64: 4FFF965A6F70B2FE Time : 2049.0 sec. user=gd_barnes [2011-05-24 08:49:26] 921*2^951182-1 is not prime. Res64: 41AE83170C97722C Time : 2049.0 sec. user=gd_barnes [2011-05-24 08:52:07] 923*2^951182-1 is not prime. Res64: 9BC925A6B3777FCD Time : 2050.0 sec. user=gd_barnes [2011-05-24 08:52:07] 977*2^951182-1 is not prime. Res64: 1ED4FED474FCAB19 Time : 2050.0 sec. user=gd_barnes [2011-05-24 08:54:02] 819*2^951183-1 is not prime. Res64: E3FFF58AC36E8DD7 Time : 2076.0 sec. user=gd_barnes [2011-05-24 08:54:02] 985*2^951183-1 is not prime. Res64: 10466CFFEAA2FCDC Time : 2076.0 sec. user=gd_barnes [2011-05-24 08:54:09] 819*2^951185-1 is not prime. Res64: 5D8829F373409E2E Time : 2039.0 sec. user=gd_barnes [2011-05-24 08:54:09] 855*2^951185-1 is not prime. Res64: E6F04EEB508F98B6 Time : 2039.0 sec. user=gd_barnes [2011-05-24 08:55:31] 861*2^951185-1 is not prime. Res64: 5A462AA568C36CB9 Time : 2064.0 sec. user=gd_barnes [2011-05-24 08:55:31] 925*2^951185-1 is not prime. Res64: 992AEC283067331B Time : 2064.0 sec. user=gd_barnes [2011-05-24 08:56:52] 1001*2^951186-1 is not prime. Res64: 12C0C75ECCFF6FB7 Time : 2026.0 sec. user=gd_barnes [2011-05-24 08:56:52] 813*2^951187-1 is not prime. Res64: 6883C65D56934E3A Time : 2026.0 sec. user=vaughan [2011-05-24 09:02:10] 827*2^951188-1 is not prime. Res64: 30976D41A9738C20 Time : 1221.0 sec. user=vaughan [2011-05-24 09:07:50] 885*2^951188-1 is not prime. Res64: D6A527A81CDB9E3E Time : 1288.0 sec. user=vaughan [2011-05-24 09:08:11] 935*2^951188-1 is not prime. Res64: E4061D19A1E7E18A Time : 1288.0 sec. user=vaughan [2011-05-24 09:10:00] 963*2^951188-1 is not prime. Res64: 7D5C1BC9F5056F59 Time : 1311.0 sec. user=gd_barnes [2011-05-24 09:22:26] 895*2^951189-1 is not prime. Res64: 432140371DEDAF6D Time : 1980.0 sec. user=gd_barnes [2011-05-24 09:22:26] 919*2^951189-1 is not prime. Res64: 439C6CF47407D926 Time : 1980.0 sec. user=vaughan [2011-05-24 09:22:30] 995*2^951190-1 is not prime. Res64: 6B3F444DD2544012 Time : 1220.0 sec. user=gd_barnes [2011-05-24 09:26:25] 975*2^951189-1 is not prime. Res64: E8E9F12B0681BF08 Time : 2058.0 sec. user=gd_barnes [2011-05-24 09:26:25] 999*2^951189-1 is not prime. Res64: 28944D5B30BB2792 Time : 2058.0 sec. user=gd_barnes [2011-05-24 09:28:14] 831*2^951190-1 is not prime. Res64: 9083DA487FE83EF4 Time : 2052.0 sec. user=gd_barnes [2011-05-24 09:28:14] 843*2^951190-1 is not prime. Res64: FFED08597ABE35E5 Time : 2052.0 sec. user=gd_barnes [2011-05-24 09:29:09] 887*2^951190-1 is not prime. Res64: E4284684DC5CEC26 Time : 2100.0 sec. user=gd_barnes [2011-05-24 09:29:09] 891*2^951190-1 is not prime. Res64: EC65297B16612573 Time : 2100.0 sec. user=vaughan [2011-05-24 09:29:18] 1001*2^951190-1 is not prime. Res64: A356002DE1CA75DB Time : 1288.0 sec. user=vaughan [2011-05-24 09:29:37] 813*2^951191-1 is not prime. Res64: 10CBE718C89F033C Time : 1286.0 sec. user=gd_barnes [2011-05-24 09:30:19] 911*2^951190-1 is not prime. Res64: 659055D88D8D8D4C Time : 2088.0 sec. user=gd_barnes [2011-05-24 09:30:19] 917*2^951190-1 is not prime. Res64: 2835382F023C0177 Time : 2088.0 sec. user=gd_barnes [2011-05-24 09:30:53] 951*2^951190-1 is not prime. Res64: F18215BF3A867F57 Time : 2041.0 sec. user=gd_barnes [2011-05-24 09:30:53] 981*2^951190-1 is not prime. Res64: 5AB7B998F4D0EF81 Time : 2041.0 sec. user=vaughan [2011-05-24 09:31:50] 909*2^951191-1 is not prime. Res64: D32992F5C7BD2303 Time : 1311.0 sec. user=vaughan [2011-05-24 09:42:44] 879*2^951192-1 is not prime. Res64: FB8ACBB1F747EF37 Time : 1214.0 sec. user=vaughan [2011-05-24 09:50:30] 983*2^951194-1 is not prime. Res64: 728E585F75513155 Time : 1272.0 sec. user=vaughan [2011-05-24 09:50:49] 805*2^951195-1 is not prime. Res64: B8BD338E76759BB3 Time : 1272.0 sec. user=vaughan [2011-05-24 09:53:26] 901*2^951197-1 is not prime. Res64: 6B946FC08A449AB6 Time : 1296.0 sec. user=gd_barnes [2011-05-24 09:55:47] 969*2^951191-1 is not prime. Res64: 194190F5DE3575D4 Time : 2001.0 sec. user=gd_barnes [2011-05-24 09:55:47] 863*2^951192-1 is not prime. Res64: 4C4C52ECD2B95120 Time : 2001.0 sec. user=gd_barnes [2011-05-24 10:00:41] 899*2^951192-1 is not prime. Res64: F534D892AFC889A4 Time : 2056.0 sec. user=gd_barnes [2011-05-24 10:00:41] 917*2^951192-1 is not prime. Res64: D2AAAE5EF35EFA0C Time : 2056.0 sec. user=gd_barnes [2011-05-24 10:02:39] 811*2^951193-1 is not prime. Res64: 54E6A547FC864B40 Time : 2065.0 sec. user=gd_barnes [2011-05-24 10:02:39] 831*2^951193-1 is not prime. Res64: 9C27EC3CBA4C41B2 Time : 2065.0 sec. user=vaughan [2011-05-24 10:02:57] 967*2^951197-1 is not prime. Res64: 9D571858CB4DF945 Time : 1214.0 sec. user=gd_barnes [2011-05-24 10:02:59] 849*2^951193-1 is not prime. Res64: AF5E261FA88A0DA6 Time : 2030.0 sec. user=gd_barnes [2011-05-24 10:02:59] 935*2^951194-1 is not prime. Res64: 19876EBA79135C64 Time : 2030.0 sec. user=gd_barnes [2011-05-24 10:04:30] 849*2^951195-1 is not prime. Res64: 646B8E24FD20F5EC Time : 2051.0 sec. user=gd_barnes [2011-05-24 10:04:30] 873*2^951195-1 is not prime. Res64: 609686E68692E417 Time : 2051.0 sec. user=gd_barnes [2011-05-24 10:05:24] 927*2^951196-1 is not prime. Res64: C65EA8280EB527FA Time : 2071.0 sec. user=gd_barnes [2011-05-24 10:05:24] 831*2^951197-1 is not prime. Res64: 5B2565529EB8D0CD Time : 2071.0 sec. user=vaughan [2011-05-24 10:12:03] 979*2^951197-1 is not prime. Res64: B581CA521FE6D925 Time : 1294.0 sec. user=vaughan [2011-05-24 10:12:22] 843*2^951198-1 is not prime. Res64: 3B642839F2496DBF Time : 1293.0 sec. user=vaughan [2011-05-24 10:15:22] 863*2^951198-1 is not prime. Res64: FE147F6CED66A156 Time : 1316.0 sec. user=vaughan [2011-05-24 10:23:10] 897*2^951200-1 is not prime. Res64: 7FE8EE53FCA61D0D Time : 1213.0 sec. user=gd_barnes [2011-05-24 10:29:52] 861*2^951199-1 is not prime. Res64: C508E02953379D0A Time : 2045.0 sec. user=gd_barnes [2011-05-24 10:29:52] 909*2^951199-1 is not prime. Res64: 2B36D4DB68022332 Time : 2045.0 sec. user=vaughan [2011-05-24 10:33:41] 999*2^951203-1 is not prime. Res64: DB6AC0B7CC0AFB79 Time : 1298.0 sec. user=vaughan [2011-05-24 10:33:57] 873*2^951204-1 is not prime. Res64: 3508F97AD0240425 Time : 1295.0 sec. user=gd_barnes [2011-05-24 10:34:39] 919*2^951199-1 is not prime. Res64: 5A75F79261C08233 Time : 2038.0 sec. user=gd_barnes [2011-05-24 10:34:39] 975*2^951199-1 is not prime. Res64: EDD24173303EA995 Time : 2038.0 sec. user=vaughan [2011-05-24 10:37:00] 919*2^951205-1 is not prime. Res64: CF2662FBAF93008B Time : 1299.0 sec. user=gd_barnes [2011-05-24 10:37:04] 979*2^951199-1 is not prime. Res64: 47BEEA8C1D9FFC99 Time : 2065.0 sec. user=gd_barnes [2011-05-24 10:37:04] 857*2^951200-1 is not prime. Res64: 99E58E394403C5E1 Time : 2065.0 sec. user=gd_barnes [2011-05-24 10:37:24] 899*2^951200-1 is not prime. Res64: 20730FAD7334B623 Time : 2065.0 sec. user=gd_barnes [2011-05-24 10:37:24] 957*2^951200-1 is not prime. Res64: 120686AC736FBD40 Time : 2065.0 sec. user=gd_barnes [2011-05-24 10:38:56] 959*2^951200-1 is not prime. Res64: 925DCBCD8D2EB4AD Time : 2066.0 sec. user=gd_barnes [2011-05-24 10:38:56] 951*2^951201-1 is not prime. Res64: 385FD285D26195F7 Time : 2066.0 sec. user=gd_barnes [2011-05-24 10:39:47] 1001*2^951202-1 is not prime. Res64: 8B02ADB6A109BE35 Time : 2063.0 sec. user=gd_barnes [2011-05-24 10:39:47] 889*2^951203-1 is not prime. Res64: 75B93E8374420442 Time : 2063.0 sec. user=vaughan [2011-05-24 10:43:28] 961*2^951205-1 is not prime. Res64: 46B97E34630B3A61 Time : 1218.0 sec. user=vaughan [2011-05-24 10:55:32] 825*2^951206-1 is not prime. Res64: EB2317A79AC08D95 Time : 1311.0 sec. user=vaughan [2011-05-24 10:55:50] 867*2^951206-1 is not prime. Res64: 8AD464842EC11300 Time : 1313.0 sec. user=vaughan [2011-05-24 10:58:16] 873*2^951207-1 is not prime. Res64: E885B8AA06C54209 Time : 1276.0 sec. user=vaughan [2011-05-24 11:03:40] 843*2^951210-1 is not prime. Res64: 9C9DB80CD380DAC1 Time : 1212.0 sec. user=gd_barnes [2011-05-24 11:04:15] 997*2^951205-1 is not prime. Res64: E8279AD682B1CFD4 Time : 2063.0 sec. user=gd_barnes [2011-05-24 11:04:15] 815*2^951206-1 is not prime. Res64: 8D7B04CC896746D6 Time : 2063.0 sec. user=gd_barnes [2011-05-24 11:08:54] 963*2^951206-1 is not prime. Res64: 30F2851468427F16 Time : 2055.0 sec. user=gd_barnes [2011-05-24 11:08:54] 987*2^951206-1 is not prime. Res64: 77838342D8BA658E Time : 2055.0 sec. user=gd_barnes [2011-05-24 11:10:53] 949*2^951207-1 is not prime. Res64: C7405D4F6E0F573C Time : 2029.0 sec. user=gd_barnes [2011-05-24 11:10:53] 963*2^951207-1 is not prime. Res64: 33C304A89E2AD761 Time : 2029.0 sec. user=gd_barnes [2011-05-24 11:11:20] 825*2^951208-1 is not prime. Res64: D59250FAA7163798 Time : 2036.0 sec. user=gd_barnes [2011-05-24 11:11:20] 849*2^951208-1 is not prime. Res64: 1E0347F850913F56 Time : 2036.0 sec. user=gd_barnes [2011-05-24 11:12:25] 889*2^951209-1 is not prime. Res64: 21799A171181A6DB Time : 2009.0 sec. user=gd_barnes [2011-05-24 11:12:25] 909*2^951209-1 is not prime. Res64: EBEDEA64614C3075 Time : 2009.0 sec. user=ototero [2011-05-24 11:14:03] 825*2^951168-1 is not prime. Res64: F8CEBC548172569E Time : 15252.0 sec. user=ototero [2011-05-24 11:14:04] 845*2^951168-1 is not prime. Res64: 07093B6DD78D0F22 Time : 15252.0 sec. user=ototero [2011-05-24 11:14:04] 905*2^951168-1 is not prime. Res64: D325BE26A5D37178 Time : 15252.0 sec. user=ototero [2011-05-24 11:14:04] 945*2^951168-1 is not prime. Res64: 509E3F29B11398FA Time : 15252.0 sec. user=ototero [2011-05-24 11:14:04] 969*2^951168-1 is not prime. Res64: B0D6BD0DE7BE3D10 Time : 15251.0 sec. user=ototero [2011-05-24 11:14:04] 817*2^951169-1 is not prime. Res64: 75C5744CF34C4624 Time : 15251.0 sec. user=ototero [2011-05-24 11:14:04] 831*2^951169-1 is not prime. Res64: 050258DF86CB21CE Time : 15251.0 sec. user=ototero [2011-05-24 11:14:05] 919*2^951169-1 is not prime. Res64: 592296B2D6D321CA Time : 15251.0 sec. user=ototero [2011-05-24 11:14:05] 987*2^951169-1 is not prime. Res64: BC798205AF877A57 Time : 15251.0 sec. user=ototero [2011-05-24 11:14:05] 997*2^951169-1 is not prime. Res64: F67D12875F1C5564 Time : 15251.0 sec. user=gd_barnes [2011-05-24 11:14:53] 931*2^951209-1 is not prime. Res64: 1BF127CB0CE3F0B6 Time : 2106.0 sec. user=gd_barnes [2011-05-24 11:14:53] 803*2^951210-1 is not prime. Res64: 1898B0AEA28A4B66 Time : 2106.0 sec. user=vaughan [2011-05-24 11:17:26] 861*2^951210-1 is not prime. Res64: C93880264B11BCE9 Time : 1314.0 sec. user=vaughan [2011-05-24 11:17:46] 893*2^951210-1 is not prime. Res64: A24EAD25A3E2CE1A Time : 1316.0 sec. user=vaughan [2011-05-24 11:19:32] 923*2^951210-1 is not prime. Res64: 8A6AE45D986AB0E8 Time : 1276.0 sec. user=vaughan [2011-05-24 11:23:54] 901*2^951211-1 is not prime. Res64: CC4D6EF6DC24736E Time : 1214.0 sec. user=gd_barnes [2011-05-24 11:39:01] 939*2^951211-1 is not prime. Res64: 4F822EAD47AA2F0B Time : 2086.0 sec. user=gd_barnes [2011-05-24 11:39:01] 957*2^951212-1 is not prime. Res64: D26A1DCC78D85CF7 Time : 2086.0 sec. user=vaughan [2011-05-24 11:39:08] 993*2^951216-1 is not prime. Res64: 3F130327778C7E4E Time : 1302.0 sec. user=vaughan [2011-05-24 11:39:25] 931*2^951217-1 is not prime. Res64: 5F66DA995CFA0548 Time : 1299.0 sec. user=vaughan [2011-05-24 11:41:19] 935*2^951218-1 is not prime. Res64: 404345E101D72A5B Time : 1307.0 sec. user=gd_barnes [2011-05-24 11:42:58] 963*2^951212-1 is not prime. Res64: 584CE389DF7E132B Time : 2044.0 sec. user=gd_barnes [2011-05-24 11:42:58] 995*2^951212-1 is not prime. Res64: 1DD643D22B23DE19 Time : 2044.0 sec. user=vaughan [2011-05-24 11:44:11] 941*2^951218-1 is not prime. Res64: 36C126E7541B380E Time : 1217.0 sec. user=gd_barnes [2011-05-24 11:45:17] 889*2^951213-1 is not prime. Res64: 7398D6D858044C67 Time : 2037.0 sec. user=gd_barnes [2011-05-24 11:45:17] 915*2^951213-1 is not prime. Res64: 74C57BEC984D038F Time : 2037.0 sec. user=gd_barnes [2011-05-24 11:45:18] 819*2^951213-1 is not prime. Res64: 076031EFB6F324D0 Time : 2065.0 sec. user=gd_barnes [2011-05-24 11:45:18] 859*2^951213-1 is not prime. Res64: C03784906F4A550E Time : 2065.0 sec. user=gd_barnes [2011-05-24 11:46:48] 919*2^951213-1 is not prime. Res64: 6F36AF789D57A81D Time : 2063.0 sec. user=gd_barnes [2011-05-24 11:46:48] 979*2^951213-1 is not prime. Res64: 234372A74D5E1DFD Time : 2063.0 sec. user=gd_barnes [2011-05-24 11:48:46] 825*2^951216-1 is not prime. Res64: 459EF46E0FA9A10A Time : 2033.0 sec. user=gd_barnes [2011-05-24 11:48:46] 843*2^951216-1 is not prime. Res64: 6C7FCA3ADF54B19F Time : 2033.0 sec. user=vaughan [2011-05-24 12:00:42] 885*2^951219-1 is not prime. Res64: CE5A6FCCE9BB811A Time : 1294.0 sec. user=vaughan [2011-05-24 12:01:01] 903*2^951219-1 is not prime. Res64: 53CFE2ED2E061DA7 Time : 1297.0 sec. user=vaughan [2011-05-24 12:03:09] 909*2^951219-1 is not prime. Res64: DEFF28003587FC4A Time : 1310.0 sec. user=vaughan [2011-05-24 12:04:26] 875*2^951220-1 is not prime. Res64: 94A36D231518D3FD Time : 1216.0 sec. user=gd_barnes [2011-05-24 12:12:52] 963*2^951218-1 is not prime. Res64: A285BD5DE5247C6E Time : 2032.0 sec. user=gd_barnes [2011-05-24 12:12:53] 977*2^951218-1 is not prime. Res64: 8742F6FB0BB4E8A0 Time : 2032.0 sec. user=gd_barnes [2011-05-24 12:17:00] 975*2^951219-1 is not prime. Res64: 73FF66976587F3A1 Time : 2042.0 sec. user=gd_barnes [2011-05-24 12:17:00] 819*2^951220-1 is not prime. Res64: 450906F31FD8593E Time : 2042.0 sec. user=gd_barnes [2011-05-24 12:18:57] 983*2^951220-1 is not prime. Res64: 1BBE955796CCE394 Time : 2019.0 sec. user=gd_barnes [2011-05-24 12:18:57] 861*2^951221-1 is not prime. Res64: B66166B45242C3FF Time : 2019.0 sec. user=gd_barnes [2011-05-24 12:19:36] 905*2^951220-1 is not prime. Res64: 69C3A4DAC380CE28 Time : 2059.0 sec. user=gd_barnes [2011-05-24 12:19:36] 927*2^951220-1 is not prime. Res64: 889775A47D28A5F4 Time : 2059.0 sec. user=gd_barnes [2011-05-24 12:21:28] 901*2^951221-1 is not prime. Res64: F80B1AF33CF7AD8E Time : 2080.0 sec. user=gd_barnes [2011-05-24 12:21:28] 997*2^951221-1 is not prime. Res64: EEE87B6AB3D69520 Time : 2080.0 sec. user=vaughan [2011-05-24 12:22:17] 969*2^951223-1 is not prime. Res64: 136BA463911F0DB8 Time : 1295.0 sec. user=vaughan [2011-05-24 12:22:36] 983*2^951224-1 is not prime. Res64: B4D4AB44AC250A91 Time : 1296.0 sec. user=gd_barnes [2011-05-24 12:22:56] 825*2^951222-1 is not prime. Res64: EEE4408713D40E03 Time : 2050.0 sec. user=gd_barnes [2011-05-24 12:22:56] 933*2^951223-1 is not prime. Res64: 13E4443E1434DA15 Time : 2050.0 sec. user=vaughan [2011-05-24 12:24:44] 999*2^951225-1 is not prime. Res64: 5F096918773953ED Time : 1219.0 sec. user=vaughan [2011-05-24 12:24:57] 975*2^951225-1 is not prime. Res64: DA0496369D1F60CA Time : 1308.0 sec. user=vaughan [2011-05-24 12:43:51] 843*2^951228-1 is not prime. Res64: 37FDDA16FF9BB22D Time : 1294.0 sec. user=vaughan [2011-05-24 12:44:09] 899*2^951228-1 is not prime. Res64: 55A0CEDC5CF72497 Time : 1293.0 sec. user=vaughan [2011-05-24 12:45:05] 843*2^951230-1 is not prime. Res64: 5EBF83FE760209A9 Time : 1221.0 sec. user=vaughan [2011-05-24 12:46:46] 923*2^951230-1 is not prime. Res64: E2B394821C001D86 Time : 1309.0 sec. user=gd_barnes [2011-05-24 12:47:21] 843*2^951226-1 is not prime. Res64: 50F301448364F12C Time : 2068.0 sec. user=gd_barnes [2011-05-24 12:47:21] 873*2^951226-1 is not prime. Res64: EF757420E1397B64 Time : 2068.0 sec. user=gd_barnes [2011-05-24 12:51:17] 903*2^951226-1 is not prime. Res64: AE79BFE1ADFD6E29 Time : 2057.0 sec. user=gd_barnes [2011-05-24 12:51:17] 917*2^951226-1 is not prime. Res64: 3648F99521E55E99 Time : 2057.0 sec. user=gd_barnes [2011-05-24 12:52:31] 993*2^951226-1 is not prime. Res64: CC1E48C1220AA4CF Time : 2014.0 sec. user=gd_barnes [2011-05-24 12:52:31] 813*2^951227-1 is not prime. Res64: 1FE1277ACE01500F Time : 2014.0 sec. user=gd_barnes [2011-05-24 12:54:15] 859*2^951227-1 is not prime. Res64: DBC59E798067C5D3 Time : 2079.0 sec. user=gd_barnes [2011-05-24 12:54:15] 945*2^951227-1 is not prime. Res64: AE44E565FD777E4C Time : 2079.0 sec. user=gd_barnes [2011-05-24 12:55:17] 955*2^951227-1 is not prime. Res64: B35BC5EB81306792 Time : 2029.0 sec. user=gd_barnes [2011-05-24 12:55:17] 981*2^951227-1 is not prime. Res64: 38501932A8599134 Time : 2029.0 sec. user=gd_barnes [2011-05-24 12:57:25] 829*2^951229-1 is not prime. Res64: 185061A767A2B764 Time : 2069.0 sec. user=gd_barnes [2011-05-24 12:57:25] 951*2^951229-1 is not prime. Res64: 49F6CEDA9A465298 Time : 2069.0 sec. user=vaughan [2011-05-24 13:05:26] 981*2^951230-1 is not prime. Res64: 29863E9526A52363 Time : 1295.0 sec. user=vaughan [2011-05-24 13:05:29] 951*2^951231-1 is not prime. Res64: 27A5F048A157C182 Time : 1225.0 sec. user=vaughan [2011-05-24 13:05:41] 873*2^951231-1 is not prime. Res64: 9925DEFEC735377A Time : 1293.0 sec. user=vaughan [2011-05-24 13:08:30] 929*2^951232-1 is not prime. Res64: 164C190817854BD5 Time : 1305.0 sec. user=gd_barnes [2011-05-24 13:20:51] 885*2^951233-1 is not prime. Res64: 8081E9DBD9BF0C3B Time : 2010.0 sec. user=gd_barnes [2011-05-24 13:20:51] 855*2^951235-1 is not prime. Res64: 1EBC1E3A746DFF24 Time : 2010.0 sec. user=gd_barnes [2011-05-24 13:26:23] 927*2^951236-1 is not prime. Res64: 14F5E39D989121B5 Time : 2106.0 sec. user=gd_barnes [2011-05-24 13:26:23] 993*2^951236-1 is not prime. Res64: 93D2B267242C48CA Time : 2106.0 sec. user=vaughan [2011-05-24 13:26:47] 913*2^951239-1 is not prime. Res64: C67D1B24D81D47EA Time : 1278.0 sec. user=vaughan [2011-05-24 13:26:47] 883*2^951239-1 is not prime. Res64: B1CE8505DF3F34E3 Time : 1282.0 sec. user=gd_barnes [2011-05-24 13:26:56] 819*2^951237-1 is not prime. Res64: F4CD762F5B7C9DC1 Time : 2065.0 sec. user=gd_barnes [2011-05-24 13:26:56] 937*2^951237-1 is not prime. Res64: BCE931321F6A54F1 Time : 2065.0 sec. user=vaughan [2011-05-24 13:27:01] 939*2^951239-1 is not prime. Res64: 5D6CCF303861B21B Time : 1280.0 sec. user=gd_barnes [2011-05-24 13:28:50] 975*2^951237-1 is not prime. Res64: 1C04B04929A491A0 Time : 2075.0 sec. user=gd_barnes [2011-05-24 13:28:50] 985*2^951237-1 is not prime. Res64: DB8AB55C57DF63FD Time : 2075.0 sec. user=vaughan [2011-05-24 13:29:44] 955*2^951239-1 is not prime. Res64: 4CDA4F7275EC7C32 Time : 1275.0 sec. user=gd_barnes [2011-05-24 13:29:48] 827*2^951238-1 is not prime. Res64: 7FA2308FC48DD084 Time : 2071.0 sec. user=gd_barnes [2011-05-24 13:29:48] 885*2^951238-1 is not prime. Res64: 3F53802A2755352B Time : 2071.0 sec. user=gd_barnes [2011-05-24 13:30:56] 911*2^951238-1 is not prime. Res64: B82E4675E30849B7 Time : 2011.0 sec. user=gd_barnes [2011-05-24 13:30:56] 859*2^951239-1 is not prime. Res64: B6773FCE15880714 Time : 2011.0 sec. user=vaughan [2011-05-24 13:47:48] 999*2^951240-1 is not prime. Res64: 222B4E856D03AAF1 Time : 1261.0 sec. user=vaughan [2011-05-24 13:47:54] 863*2^951240-1 is not prime. Res64: E579711863C87DA3 Time : 1267.0 sec. user=vaughan [2011-05-24 13:47:58] 953*2^951242-1 is not prime. Res64: C814B06601648B1D Time : 1258.0 sec. user=vaughan [2011-05-24 13:50:42] 871*2^951243-1 is not prime. Res64: 31D9A0419C559E32 Time : 1258.0 sec. user=gd_barnes [2011-05-24 13:54:09] 985*2^951239-1 is not prime. Res64: FEA9B7367459DAEF Time : 1998.0 sec. user=gd_barnes [2011-05-24 13:54:09] 993*2^951239-1 is not prime. Res64: C841403AB36CEAFF Time : 1998.0 sec. user=gd_barnes [2011-05-24 14:01:11] 999*2^951239-1 is not prime. Res64: 4D753E66DE676220 Time : 2088.0 sec. user=gd_barnes [2011-05-24 14:01:11] 819*2^951240-1 is not prime. Res64: 53FC8F88F7FFA5A2 Time : 2088.0 sec. user=gd_barnes [2011-05-24 14:01:47] 805*2^951241-1 is not prime. Res64: 86679584AC71CD30 Time : 2091.0 sec. user=gd_barnes [2011-05-24 14:01:47] 955*2^951241-1 is not prime. Res64: 9743533C57E0ADD6 Time : 2091.0 sec. user=gd_barnes [2011-05-24 14:01:56] 977*2^951242-1 is not prime. Res64: E0CE9DBD76ACFAB1 Time : 1986.0 sec. user=gd_barnes [2011-05-24 14:01:56] 861*2^951243-1 is not prime. Res64: 1460C0EC79E5CBE8 Time : 1986.0 sec. user=gd_barnes [2011-05-24 14:04:29] 819*2^951244-1 is not prime. Res64: D1CD7B6CB348C510 Time : 2081.0 sec. user=gd_barnes [2011-05-24 14:04:29] 939*2^951244-1 is not prime. Res64: A550B72EBBD0541A Time : 2081.0 sec. user=gd_barnes [2011-05-24 14:04:46] 983*2^951244-1 is not prime. Res64: 378C9C0E451F2980 Time : 2030.0 sec. user=gd_barnes [2011-05-24 14:04:46] 867*2^951245-1 is not prime. Res64: F75B71B3ECD2CD09 Time : 2030.0 sec. user=vaughan [2011-05-24 14:08:34] 985*2^951245-1 is not prime. Res64: CF48E6B3626DF1A9 Time : 1240.0 sec. user=vaughan [2011-05-24 14:09:12] 897*2^951245-1 is not prime. Res64: BC988E690793A196 Time : 1285.0 sec. user=vaughan [2011-05-24 14:09:26] 815*2^951246-1 is not prime. Res64: B965019F6661AFF8 Time : 1288.0 sec. user=vaughan [2011-05-24 14:12:31] 813*2^951247-1 is not prime. Res64: 6A9286F94751B681 Time : 1309.0 sec. user=gd_barnes [2011-05-24 14:28:36] 859*2^951247-1 is not prime. Res64: 78EC4562798B443D Time : 2067.0 sec. user=gd_barnes [2011-05-24 14:28:36] 861*2^951247-1 is not prime. Res64: 092F35AFE2102257 Time : 2067.0 sec. user=vaughan [2011-05-24 14:28:53] 911*2^951250-1 is not prime. Res64: E4697FB61767B50E Time : 1219.0 sec. user=vaughan [2011-05-24 14:30:46] 915*2^951250-1 is not prime. Res64: F03F8ECA24399C1D Time : 1295.0 sec. user=vaughan [2011-05-24 14:30:57] 951*2^951250-1 is not prime. Res64: ECDC2CB339404793 Time : 1291.0 sec. user=vaughan [2011-05-24 14:34:23] 971*2^951250-1 is not prime. Res64: F3B4B64EFC236318 Time : 1313.0 sec. user=gd_barnes [2011-05-24 14:35:48] 871*2^951247-1 is not prime. Res64: 47D7CEB24B41A72D Time : 2077.0 sec. user=gd_barnes [2011-05-24 14:35:48] 933*2^951247-1 is not prime. Res64: 78D698A40E506231 Time : 2077.0 sec. user=gd_barnes [2011-05-24 14:35:58] 813*2^951248-1 is not prime. Res64: 4F6FEA37F1231E98 Time : 2051.0 sec. user=gd_barnes [2011-05-24 14:35:58] 839*2^951248-1 is not prime. Res64: C8977902B494A414 Time : 2051.0 sec. user=gd_barnes [2011-05-24 14:36:22] 855*2^951248-1 is not prime. Res64: 7AB8E6EE680A3ABA Time : 2066.0 sec. user=gd_barnes [2011-05-24 14:36:22] 963*2^951248-1 is not prime. Res64: 6E95ACB9B7F91B30 Time : 2066.0 sec. user=gd_barnes [2011-05-24 14:38:25] 835*2^951249-1 is not prime. Res64: 8C6966949149A2D4 Time : 2036.0 sec. user=gd_barnes [2011-05-24 14:38:25] 877*2^951249-1 is not prime. Res64: 54FB393FE8C1AA46 Time : 2036.0 sec. user=gd_barnes [2011-05-24 14:38:45] 945*2^951249-1 is not prime. Res64: 948298C82E9C547D Time : 2039.0 sec. user=gd_barnes [2011-05-24 14:38:45] 803*2^951250-1 is not prime. Res64: E5AFF6F842BB435E Time : 2039.0 sec. user=vaughan [2011-05-24 14:49:18] 855*2^951251-1 is not prime. Res64: 3FF016FCB7726D13 Time : 1225.0 sec. user=vaughan [2011-05-24 14:52:21] 885*2^951251-1 is not prime. Res64: 0AFD249A5DA1BAB7 Time : 1295.0 sec. user=vaughan [2011-05-24 14:52:35] 909*2^951251-1 is not prime. Res64: FA2E0FC41A71C4F8 Time : 1298.0 sec. user=vaughan [2011-05-24 14:56:01] 867*2^951252-1 is not prime. Res64: E7EDD1AAB606D232 Time : 1298.0 sec. user=gd_barnes [2011-05-24 15:02:40] 995*2^951250-1 is not prime. Res64: BB04898E33B277DA Time : 2044.0 sec. user=gd_barnes [2011-05-24 15:02:40] 843*2^951251-1 is not prime. Res64: 167E94F513582B20 Time : 2044.0 sec. user=vaughan [2011-05-24 15:09:31] 917*2^951256-1 is not prime. Res64: 3F427DF369D0054C Time : 1213.0 sec. user=gd_barnes [2011-05-24 15:10:04] 933*2^951252-1 is not prime. Res64: 4D2DA3F52B6A7C39 Time : 2056.0 sec. user=gd_barnes [2011-05-24 15:10:04] 945*2^951252-1 is not prime. Res64: D9363CCB519035A1 Time : 2056.0 sec. user=gd_barnes [2011-05-24 15:10:09] 861*2^951253-1 is not prime. Res64: 6FFFE9AAA9B1F6B6 Time : 2051.0 sec. user=gd_barnes [2011-05-24 15:10:09] 885*2^951254-1 is not prime. Res64: 78E1E957A11EB148 Time : 2051.0 sec. user=gd_barnes [2011-05-24 15:10:26] 853*2^951255-1 is not prime. Res64: 10C7C181D9970059 Time : 2044.0 sec. user=gd_barnes [2011-05-24 15:10:26] 909*2^951255-1 is not prime. Res64: AD4AE054B1338BB1 Time : 2044.0 sec. user=gd_barnes [2011-05-24 15:12:51] 955*2^951255-1 is not prime. Res64: C78050A691368ABE Time : 2066.0 sec. user=gd_barnes [2011-05-24 15:12:51] 979*2^951255-1 is not prime. Res64: EA9FCC94116519CC Time : 2066.0 sec. user=gd_barnes [2011-05-24 15:12:53] 903*2^951256-1 is not prime. Res64: 7F73C28CF000F01A Time : 2048.0 sec. user=gd_barnes [2011-05-24 15:12:53] 909*2^951256-1 is not prime. Res64: D6A4050F0A41DC1E Time : 2048.0 sec. user=vaughan [2011-05-24 15:14:17] 829*2^951257-1 is not prime. Res64: 81037FF16CC08C2A Time : 1316.0 sec. user=vaughan [2011-05-24 15:14:37] 871*2^951257-1 is not prime. Res64: 01F92955DC4B4799 Time : 1322.0 sec. user=vaughan [2011-05-24 15:17:17] 915*2^951257-1 is not prime. Res64: 612A61DD863F3EB2 Time : 1277.0 sec. user=ototero [2011-05-24 15:28:25] 885*2^951214-1 is not prime. Res64: 17FE808DB8C7F636 Time : 15260.0 sec. user=ototero [2011-05-24 15:28:25] 887*2^951214-1 is not prime. Res64: 7348144D24841746 Time : 15259.0 sec. user=ototero [2011-05-24 15:28:25] 951*2^951214-1 is not prime. Res64: 087145560F5BDC29 Time : 15259.0 sec. user=ototero [2011-05-24 15:28:25] 957*2^951214-1 is not prime. Res64: 767E3A2C0B8C4B99 Time : 15259.0 sec. user=ototero [2011-05-24 15:28:25] 987*2^951214-1 is not prime. Res64: 18CDE87CEF8516F0 Time : 15258.0 sec. user=ototero [2011-05-24 15:28:25] 1001*2^951214-1 is not prime. Res64: 4CA3652E3A40B6E1 Time : 15258.0 sec. user=ototero [2011-05-24 15:28:25] 895*2^951215-1 is not prime. Res64: 1606E196E6BCA509 Time : 15258.0 sec. user=ototero [2011-05-24 15:28:26] 973*2^951215-1 is not prime. Res64: 60CD7C474AAF2A95 Time : 15258.0 sec. user=ototero [2011-05-24 15:28:26] 985*2^951215-1 is not prime. Res64: 900DA1FA6427F4DF Time : 15258.0 sec. user=ototero [2011-05-24 15:28:26] 999*2^951215-1 is not prime. Res64: 99C2F47386159A6B Time : 15258.0 sec. user=vaughan [2011-05-24 15:29:45] 971*2^951258-1 is not prime. Res64: 5C0068A2A1137652 Time : 1214.0 sec. user=vaughan [2011-05-24 15:36:16] 885*2^951263-1 is not prime. Res64: 66D5B6703575ACA1 Time : 1320.0 sec. user=vaughan [2011-05-24 15:36:41] 943*2^951263-1 is not prime. Res64: 4719AAA800C378C5 Time : 1325.0 sec. user=gd_barnes [2011-05-24 15:37:06] 815*2^951258-1 is not prime. Res64: 9B73824465F84AA8 Time : 2066.0 sec. user=gd_barnes [2011-05-24 15:37:06] 963*2^951258-1 is not prime. Res64: 1A72171F6F802E00 Time : 2066.0 sec. user=vaughan [2011-05-24 15:38:28] 893*2^951266-1 is not prime. Res64: 9FDD90CFF24DDEB6 Time : 1272.0 sec. user=gd_barnes [2011-05-24 15:43:46] 891*2^951259-1 is not prime. Res64: B41B6A9F824C012C Time : 2022.0 sec. user=gd_barnes [2011-05-24 15:43:46] 919*2^951259-1 is not prime. Res64: 1C2E608A1FCD3CCA Time : 2022.0 sec. user=gd_barnes [2011-05-24 15:43:54] 819*2^951261-1 is not prime. Res64: EF7635972692F48C Time : 2008.0 sec. user=gd_barnes [2011-05-24 15:43:54] 837*2^951261-1 is not prime. Res64: 63B10EC8479E7A1F Time : 2008.0 sec. user=gd_barnes [2011-05-24 15:44:36] 939*2^951259-1 is not prime. Res64: 71E430F93FB03160 Time : 2067.0 sec. user=gd_barnes [2011-05-24 15:44:36] 977*2^951260-1 is not prime. Res64: 0616990502F17F0A Time : 2067.0 sec. user=gd_barnes [2011-05-24 15:46:25] 917*2^951264-1 is not prime. Res64: 069DD48156E71555 Time : 1797.0 sec. user=gd_barnes [2011-05-24 15:46:25] 867*2^951266-1 is not prime. Res64: F481D3226CC6DFFB Time : 1797.0 sec. user=gd_barnes [2011-05-24 15:46:26] 963*2^951263-1 is not prime. Res64: 83F4FE951A85EBA6 Time : 1805.0 sec. user=gd_barnes [2011-05-24 15:46:26] 991*2^951263-1 is not prime. Res64: 1307AF7110E5A48E Time : 1805.0 sec. user=gd_barnes [2011-05-24 15:46:31] 843*2^951264-1 is not prime. Res64: EC78CC8DFD9CA750 Time : 1806.0 sec. user=gd_barnes [2011-05-24 15:46:31] 899*2^951264-1 is not prime. Res64: 8DC033AFAB8C23A6 Time : 1806.0 sec. user=gd_barnes [2011-05-24 15:47:21] 895*2^951261-1 is not prime. Res64: BA5671B41BEB72FE Time : 2068.0 sec. user=gd_barnes [2011-05-24 15:47:21] 843*2^951262-1 is not prime. Res64: 1A2193267471AF21 Time : 2068.0 sec. user=gd_barnes [2011-05-24 15:47:24] 865*2^951261-1 is not prime. Res64: 7FB853382973C70B Time : 2073.0 sec. user=gd_barnes [2011-05-24 15:47:24] 871*2^951261-1 is not prime. Res64: 31694C76D82538CB Time : 2073.0 sec. user=gd_barnes [2011-05-24 15:48:39] 941*2^951266-1 is not prime. Res64: 0AA39E15B0FE145B Time : 1801.0 sec. user=gd_barnes [2011-05-24 15:48:39] 971*2^951266-1 is not prime. Res64: 1EED34B81CA5FB12 Time : 1801.0 sec. user=vaughan [2011-05-24 15:50:26] 917*2^951270-1 is not prime. Res64: 7FCF721A76F8EE9A Time : 1242.0 sec. user=vaughan [2011-05-24 15:57:44] 941*2^951270-1 is not prime. Res64: 947FA560EC21F99E Time : 1288.0 sec. user=vaughan [2011-05-24 15:58:15] 963*2^951270-1 is not prime. Res64: 0E39DE2704FFD4FF Time : 1294.0 sec. user=vaughan [2011-05-24 15:59:44] 939*2^951271-1 is not prime. Res64: 2EACE5F6DCCC2F16 Time : 1276.0 sec. user=gd_barnes [2011-05-24 16:11:26] 971*2^951270-1 is not prime. Res64: 126EC9FFCB462DC2 Time : 2060.0 sec. user=gd_barnes [2011-05-24 16:11:26] 925*2^951271-1 is not prime. Res64: DF7F53D484E21CD0 Time : 2060.0 sec. user=vaughan [2011-05-24 16:11:45] 999*2^951277-1 is not prime. Res64: E3883B3A9CA6845C Time : 1279.0 sec. user=gd_barnes [2011-05-24 16:15:58] 993*2^951274-1 is not prime. Res64: BF1FBDC9FEB20B3D Time : 1772.0 sec. user=gd_barnes [2011-05-24 16:15:58] 841*2^951275-1 is not prime. Res64: 908AF2FE6E75D468 Time : 1772.0 sec. user=gd_barnes [2011-05-24 16:16:01] 921*2^951275-1 is not prime. Res64: 837A963C56749723 Time : 1774.0 sec. user=gd_barnes [2011-05-24 16:16:01] 979*2^951275-1 is not prime. Res64: B452A7593FEA7B48 Time : 1774.0 sec. user=gd_barnes [2011-05-24 16:16:06] 845*2^951276-1 is not prime. Res64: 2B32F87F8C5721B6 Time : 1774.0 sec. user=gd_barnes [2011-05-24 16:16:06] 899*2^951276-1 is not prime. Res64: 4B04C867CA2A25CD Time : 1774.0 sec. user=gd_barnes [2011-05-24 16:17:40] 983*2^951272-1 is not prime. Res64: C062118ECB3318E5 Time : 2034.0 sec. user=gd_barnes [2011-05-24 16:17:40] 951*2^951273-1 is not prime. Res64: 02C05D3940EB9D5C Time : 2034.0 sec. user=gd_barnes [2011-05-24 16:17:40] 955*2^951273-1 is not prime. Res64: 1E96B5BA88E21B20 Time : 2026.0 sec. user=gd_barnes [2011-05-24 16:17:40] 803*2^951274-1 is not prime. Res64: DF30253591E996AE Time : 2026.0 sec. user=gd_barnes [2011-05-24 16:18:13] 847*2^951277-1 is not prime. Res64: DAD8C8DA8393E0CC Time : 1773.0 sec. user=gd_barnes [2011-05-24 16:18:13] 897*2^951277-1 is not prime. Res64: 2672E94CEB3A1F34 Time : 1773.0 sec. user=gd_barnes [2011-05-24 16:18:31] 917*2^951274-1 is not prime. Res64: 5D864E6C0EE2A16F Time : 2035.0 sec. user=gd_barnes [2011-05-24 16:18:31] 971*2^951274-1 is not prime. Res64: 551F67B89BE9E9FF Time : 2035.0 sec. user=vaughan [2011-05-24 16:19:06] 801*2^951278-1 is not prime. Res64: 508B0ACD330395DE Time : 1282.0 sec. user=vaughan [2011-05-24 16:19:38] 911*2^951278-1 is not prime. Res64: BD7EFAC0A5DA20DC Time : 1283.0 sec. user=vaughan [2011-05-24 16:21:02] 915*2^951278-1 is not prime. Res64: 326E096383089D2E Time : 1278.0 sec. user=gd_barnes [2011-05-24 16:21:37] 905*2^951276-1 is not prime. Res64: C0D81C473C99F21C Time : 2056.0 sec. user=gd_barnes [2011-05-24 16:21:37] 927*2^951276-1 is not prime. Res64: 504851F4818F2AA6 Time : 2056.0 sec. user=gd_barnes [2011-05-24 16:22:20] 993*2^951276-1 is not prime. Res64: EE2EA9739F748DD0 Time : 2096.0 sec. user=gd_barnes [2011-05-24 16:22:20] 801*2^951277-1 is not prime. Res64: 9E23D3B4CF01E395 Time : 2096.0 sec. user=vaughan [2011-05-24 16:33:04] 979*2^951279-1 is not prime. Res64: 3ED1268F6AC8EF99 Time : 1279.0 sec. user=vaughan [2011-05-24 16:40:38] 817*2^951285-1 is not prime. Res64: 33A9F15559906D12 Time : 1292.0 sec. user=vaughan [2011-05-24 16:41:14] 859*2^951287-1 is not prime. Res64: F653C52A0DEB9276 Time : 1296.0 sec. user=vaughan [2011-05-24 16:42:39] 931*2^951287-1 is not prime. Res64: F72F9F377DCEEFAF Time : 1297.0 sec. user=gd_barnes [2011-05-24 16:45:42] 927*2^951278-1 is not prime. Res64: 2D8B219ED519C943 Time : 2056.0 sec. user=gd_barnes [2011-05-24 16:45:42] 975*2^951279-1 is not prime. Res64: 8F557E40B6D02624 Time : 2056.0 sec. user=gd_barnes [2011-05-24 16:45:46] 959*2^951280-1 is not prime. Res64: 2713C81F0901A30C Time : 1787.0 sec. user=gd_barnes [2011-05-24 16:45:46] 967*2^951281-1 is not prime. Res64: 50D7C1942AAB60DB Time : 1787.0 sec. user=gd_barnes [2011-05-24 16:45:51] 981*2^951281-1 is not prime. Res64: 20034392A5CCC008 Time : 1789.0 sec. user=gd_barnes [2011-05-24 16:45:51] 815*2^951282-1 is not prime. Res64: 50CD4CA6BD9485B4 Time : 1789.0 sec. user=gd_barnes [2011-05-24 16:45:53] 843*2^951282-1 is not prime. Res64: F74D95A1AF810AB4 Time : 1786.0 sec. user=gd_barnes [2011-05-24 16:45:53] 893*2^951282-1 is not prime. Res64: FECDA63EBAF42372 Time : 1786.0 sec. user=gd_barnes [2011-05-24 16:48:09] 827*2^951284-1 is not prime. Res64: 28F570EDDBD346D5 Time : 1795.0 sec. user=gd_barnes [2011-05-24 16:48:09] 843*2^951284-1 is not prime. Res64: B397057CA2EC5600 Time : 1795.0 sec. user=gd_barnes [2011-05-24 16:51:47] 829*2^951283-1 is not prime. Res64: C7EEB8717B676C20 Time : 2047.0 sec. user=gd_barnes [2011-05-24 16:51:47] 835*2^951283-1 is not prime. Res64: 961EFEAB548586E9 Time : 2047.0 sec. user=gd_barnes [2011-05-24 16:51:59] 801*2^951283-1 is not prime. Res64: DD731954D035A61D Time : 2059.0 sec. user=gd_barnes [2011-05-24 16:51:59] 819*2^951283-1 is not prime. Res64: 2012CCEF6D2C9605 Time : 2059.0 sec. user=gd_barnes [2011-05-24 16:52:43] 969*2^951284-1 is not prime. Res64: 33BD50239DEA2B77 Time : 2052.0 sec. user=gd_barnes [2011-05-24 16:52:43] 811*2^951285-1 is not prime. Res64: 4A0E6F2AC8C24049 Time : 2052.0 sec. user=vaughan [2011-05-24 16:54:18] 897*2^951289-1 is not prime. Res64: 6631B213B758B73B Time : 1274.0 sec. user=gd_barnes [2011-05-24 16:55:35] 825*2^951288-1 is not prime. Res64: E8005D888A294748 Time : 2038.0 sec. user=gd_barnes [2011-05-24 16:55:35] 843*2^951288-1 is not prime. Res64: 2F2DB678ED751406 Time : 2038.0 sec. user=gd_barnes [2011-05-24 16:56:32] 867*2^951288-1 is not prime. Res64: 1254895632091119 Time : 2052.0 sec. user=gd_barnes [2011-05-24 16:56:32] 877*2^951289-1 is not prime. Res64: 580067CB49A56D58 Time : 2052.0 sec. user=vaughan [2011-05-24 17:02:24] 957*2^951289-1 is not prime. Res64: 503CDD9966D4B75B Time : 1306.0 sec. user=vaughan [2011-05-24 17:03:04] 987*2^951289-1 is not prime. Res64: EA0478ECD3CE6AFA Time : 1310.0 sec. user=vaughan [2011-05-24 17:04:22] 831*2^951290-1 is not prime. Res64: 8FE8C7827D8FB046 Time : 1303.0 sec. user=vaughan [2011-05-24 17:14:36] 895*2^951295-1 is not prime. Res64: 4E515B72426FC537 Time : 1218.0 sec. user=gd_barnes [2011-05-24 17:15:51] 969*2^951291-1 is not prime. Res64: FC623104A8145D50 Time : 1804.0 sec. user=gd_barnes [2011-05-24 17:15:51] 973*2^951291-1 is not prime. Res64: 48CDB707B8651359 Time : 1804.0 sec. user=gd_barnes [2011-05-24 17:15:56] 827*2^951292-1 is not prime. Res64: CC641FACAE0A3BAD Time : 1804.0 sec. user=gd_barnes [2011-05-24 17:15:56] 869*2^951292-1 is not prime. Res64: 8A8F4FF41BF75920 Time : 1804.0 sec. user=gd_barnes [2011-05-24 17:15:56] 899*2^951292-1 is not prime. Res64: 427E8CF3DD7911A8 Time : 1802.0 sec. user=gd_barnes [2011-05-24 17:15:56] 837*2^951293-1 is not prime. Res64: B558F8DAE673260A Time : 1802.0 sec. user=gd_barnes [2011-05-24 17:18:13] 847*2^951293-1 is not prime. Res64: A518F999275C9D24 Time : 1803.0 sec. user=gd_barnes [2011-05-24 17:18:13] 901*2^951293-1 is not prime. Res64: E755ED9890D24D87 Time : 1803.0 sec. user=gd_barnes [2011-05-24 17:19:54] 861*2^951291-1 is not prime. Res64: C85F8F841A74B702 Time : 2052.0 sec. user=gd_barnes [2011-05-24 17:19:54] 901*2^951291-1 is not prime. Res64: 6E9E31B531B29613 Time : 2052.0 sec. user=vaughan [2011-05-24 17:24:05] 861*2^951297-1 is not prime. Res64: 295F4D846EEA6013 Time : 1301.0 sec. user=vaughan [2011-05-24 17:24:45] 801*2^951298-1 is not prime. Res64: 27DC7E785ACB6FC6 Time : 1301.0 sec. user=gd_barnes [2011-05-24 17:25:47] 937*2^951293-1 is not prime. Res64: 319C55AEFDBC946A Time : 2039.0 sec. user=gd_barnes [2011-05-24 17:25:47] 873*2^951294-1 is not prime. Res64: 847526A777EE5C77 Time : 2039.0 sec. user=vaughan [2011-05-24 17:26:06] 861*2^951298-1 is not prime. Res64: 9F295C342F4032EB Time : 1304.0 sec. user=gd_barnes [2011-05-24 17:26:27] 885*2^951294-1 is not prime. Res64: 0AB0667545FD5C16 Time : 2068.0 sec. user=gd_barnes [2011-05-24 17:26:27] 917*2^951294-1 is not prime. Res64: 9AFCEA1055166C81 Time : 2068.0 sec. user=gd_barnes [2011-05-24 17:26:58] 927*2^951294-1 is not prime. Res64: E84BD22778E0B0E9 Time : 2055.0 sec. user=gd_barnes [2011-05-24 17:26:58] 1001*2^951294-1 is not prime. Res64: 84578D8D93D0A142 Time : 2055.0 sec. user=gd_barnes [2011-05-24 17:29:21] 973*2^951295-1 is not prime. Res64: 8474EA94443DB337 Time : 2026.0 sec. user=gd_barnes [2011-05-24 17:29:21] 839*2^951296-1 is not prime. Res64: AA0AD77BB8DFDFC1 Time : 2026.0 sec. user=gd_barnes [2011-05-24 17:31:03] 963*2^951296-1 is not prime. Res64: 9FDC620FC9A7A625 Time : 2071.0 sec. user=gd_barnes [2011-05-24 17:31:03] 835*2^951297-1 is not prime. Res64: 44627E3BB16F0C77 Time : 2071.0 sec. user=vaughan [2011-05-24 17:34:56] 881*2^951298-1 is not prime. Res64: 99800B9C4F3E38A0 Time : 1220.0 sec. user=vaughan [2011-05-24 17:45:19] 867*2^951301-1 is not prime. Res64: 1E7FA064CAA0694F Time : 1274.0 sec. user=gd_barnes [2011-05-24 17:45:56] 971*2^951298-1 is not prime. Res64: 3863B9333D6C12A6 Time : 1804.0 sec. user=gd_barnes [2011-05-24 17:45:56] 841*2^951299-1 is not prime. Res64: 57B4A0B2ABD59AC4 Time : 1804.0 sec. user=vaughan [2011-05-24 17:45:57] 999*2^951301-1 is not prime. Res64: 8AC3B3B754A1F4BA Time : 1272.0 sec. user=gd_barnes [2011-05-24 17:46:02] 889*2^951299-1 is not prime. Res64: 25DAC6DC0A4CD70D Time : 1805.0 sec. user=gd_barnes [2011-05-24 17:46:02] 903*2^951299-1 is not prime. Res64: 0A641F4D2165AA8C Time : 1805.0 sec. user=gd_barnes [2011-05-24 17:46:02] 931*2^951299-1 is not prime. Res64: 3C327027A894A62F Time : 1805.0 sec. user=gd_barnes [2011-05-24 17:46:02] 955*2^951299-1 is not prime. Res64: 41C05E3CFA7AD0C5 Time : 1805.0 sec. user=vaughan [2011-05-24 17:47:23] 995*2^951302-1 is not prime. Res64: 8E8F2A40614172B3 Time : 1277.0 sec. user=gd_barnes [2011-05-24 17:48:18] 819*2^951300-1 is not prime. Res64: 4C1244B5A852BC2E Time : 1804.0 sec. user=gd_barnes [2011-05-24 17:48:18] 819*2^951301-1 is not prime. Res64: 3FEB30CCE35A0580 Time : 1804.0 sec. user=gd_barnes [2011-05-24 17:54:14] 825*2^951301-1 is not prime. Res64: FF5520F4FA577800 Time : 2060.0 sec. user=gd_barnes [2011-05-24 17:54:14] 855*2^951301-1 is not prime. Res64: 3D85AF92433633B0 Time : 2060.0 sec. user=vaughan [2011-05-24 17:54:38] 949*2^951305-1 is not prime. Res64: 058F8C34985C8AFF Time : 1182.0 sec. user=gd_barnes [2011-05-24 17:59:19] 831*2^951302-1 is not prime. Res64: 87E4DCDD19A47AF5 Time : 2012.0 sec. user=gd_barnes [2011-05-24 17:59:19] 923*2^951302-1 is not prime. Res64: 4804B991B5E4762B Time : 2012.0 sec. user=gd_barnes [2011-05-24 18:00:33] 1001*2^951302-1 is not prime. Res64: C88B3C89377AB044 Time : 2046.0 sec. user=gd_barnes [2011-05-24 18:00:33] 849*2^951303-1 is not prime. Res64: E0B342559F7BA763 Time : 2046.0 sec. user=gd_barnes [2011-05-24 18:01:19] 945*2^951303-1 is not prime. Res64: 634340152D8F494E Time : 2061.0 sec. user=gd_barnes [2011-05-24 18:01:19] 961*2^951303-1 is not prime. Res64: 3EB67D79FC1AFB13 Time : 2061.0 sec. user=gd_barnes [2011-05-24 18:04:14] 813*2^951304-1 is not prime. Res64: 9CB0A4A21844D219 Time : 2093.0 sec. user=gd_barnes [2011-05-24 18:04:14] 873*2^951304-1 is not prime. Res64: FAD18EECCBD98AF0 Time : 2093.0 sec. user=gd_barnes [2011-05-24 18:05:05] 885*2^951305-1 is not prime. Res64: B29E271BAB975D33 Time : 2042.0 sec. user=gd_barnes [2011-05-24 18:05:05] 907*2^951305-1 is not prime. Res64: AEC00DC49A935C2F Time : 2042.0 sec. user=vaughan [2011-05-24 18:06:03] 807*2^951306-1 is not prime. Res64: FB8E2F8B5C0B5D35 Time : 1244.0 sec. user=vaughan [2011-05-24 18:06:40] 893*2^951306-1 is not prime. Res64: BFFAAAE0DEEB874A Time : 1243.0 sec. user=vaughan [2011-05-24 18:08:24] 977*2^951308-1 is not prime. Res64: C31C42586AFED406 Time : 1261.0 sec. user=vaughan [2011-05-24 18:14:16] 971*2^951310-1 is not prime. Res64: 2FFBCB95314E677E Time : 1178.0 sec. user=gd_barnes [2011-05-24 18:15:26] 947*2^951306-1 is not prime. Res64: 4FCA9650F7275215 Time : 1769.0 sec. user=gd_barnes [2011-05-24 18:15:26] 1001*2^951306-1 is not prime. Res64: 58041E3AECDC895F Time : 1769.0 sec. user=gd_barnes [2011-05-24 18:15:36] 871*2^951307-1 is not prime. Res64: 610DF91260B9F246 Time : 1773.0 sec. user=gd_barnes [2011-05-24 18:15:36] 973*2^951307-1 is not prime. Res64: EC2084A4571E3B1A Time : 1773.0 sec. user=gd_barnes [2011-05-24 18:15:37] 923*2^951308-1 is not prime. Res64: D7C18AD1EBFF5CB1 Time : 1774.0 sec. user=gd_barnes [2011-05-24 18:15:37] 963*2^951308-1 is not prime. Res64: 7C77BD67E1848710 Time : 1774.0 sec. user=gd_barnes [2011-05-24 18:17:54] 993*2^951308-1 is not prime. Res64: 95D32E38416F7FD6 Time : 1775.0 sec. user=gd_barnes [2011-05-24 18:17:54] 811*2^951309-1 is not prime. Res64: 550AE190E28DA202 Time : 1775.0 sec. user=vaughan [2011-05-24 18:26:47] 939*2^951313-1 is not prime. Res64: 6AA0D6F6C02FE9FF Time : 1244.0 sec. user=vaughan [2011-05-24 18:27:23] 827*2^951314-1 is not prime. Res64: 6D376B63221BC297 Time : 1244.0 sec. user=gd_barnes [2011-05-24 18:28:56] 865*2^951309-1 is not prime. Res64: 12F8F97E7CF0BAE0 Time : 2082.0 sec. user=gd_barnes [2011-05-24 18:28:56] 863*2^951310-1 is not prime. Res64: 2F5C20B043BC9490 Time : 2082.0 sec. user=vaughan [2011-05-24 18:29:23] 971*2^951314-1 is not prime. Res64: C057B9F914C02A57 Time : 1259.0 sec. user=gd_barnes [2011-05-24 18:33:16] 975*2^951310-1 is not prime. Res64: 747D9DED57BFFACC Time : 2037.0 sec. user=gd_barnes [2011-05-24 18:33:16] 841*2^951311-1 is not prime. Res64: BFC69EA894348679 Time : 2037.0 sec. user=vaughan [2011-05-24 18:33:56] 819*2^951315-1 is not prime. Res64: 3A7FBF703A506C71 Time : 1181.0 sec. user=gd_barnes [2011-05-24 18:34:55] 943*2^951311-1 is not prime. Res64: 915E647BCEFC65AE Time : 2016.0 sec. user=gd_barnes [2011-05-24 18:34:55] 809*2^951312-1 is not prime. Res64: C88945D8393F1039 Time : 2016.0 sec. user=gd_barnes [2011-05-24 18:35:00] 879*2^951311-1 is not prime. Res64: 00A328028D334632 Time : 2067.0 sec. user=gd_barnes [2011-05-24 18:35:00] 913*2^951311-1 is not prime. Res64: 49466D4F2CC8A5F4 Time : 2067.0 sec. user=gd_barnes [2011-05-24 18:38:48] 873*2^951312-1 is not prime. Res64: 793A62BDFBC0439C Time : 2074.0 sec. user=gd_barnes [2011-05-24 18:38:48] 879*2^951312-1 is not prime. Res64: DC4DD4818F6236F5 Time : 2074.0 sec. user=gd_barnes [2011-05-24 18:39:11] 923*2^951312-1 is not prime. Res64: FD651446A5AA5927 Time : 2046.0 sec. user=gd_barnes [2011-05-24 18:39:11] 801*2^951313-1 is not prime. Res64: C6F258EB7345C83B Time : 2046.0 sec. user=gd_barnes [2011-05-24 18:45:02] 951*2^951315-1 is not prime. Res64: A8613267E12260F0 Time : 1775.0 sec. user=gd_barnes [2011-05-24 18:45:02] 961*2^951315-1 is not prime. Res64: A0D63C9789FB1A50 Time : 1775.0 sec. user=gd_barnes [2011-05-24 18:45:11] 887*2^951316-1 is not prime. Res64: 6C982BD12C51708F Time : 1773.0 sec. user=gd_barnes [2011-05-24 18:45:11] 965*2^951316-1 is not prime. Res64: 824D23047C9261BC Time : 1773.0 sec. user=gd_barnes [2011-05-24 18:45:15] 963*2^951315-1 is not prime. Res64: 65D2FA5F9351F3B7 Time : 1778.0 sec. user=gd_barnes [2011-05-24 18:45:15] 813*2^951316-1 is not prime. Res64: 7B5A58F09141345E Time : 1778.0 sec. user=gd_barnes [2011-05-24 18:47:28] 885*2^951317-1 is not prime. Res64: 0D3A5EDB6C96092D Time : 1773.0 sec. user=gd_barnes [2011-05-24 18:47:28] 991*2^951317-1 is not prime. Res64: 432446E13D2F5163 Time : 1773.0 sec. user=vaughan [2011-05-24 18:47:29] 843*2^951318-1 is not prime. Res64: 66450FCD37614ECA Time : 1243.0 sec. user=vaughan [2011-05-24 18:48:05] 927*2^951318-1 is not prime. Res64: F8C96B06D37C7F5C Time : 1243.0 sec. user=vaughan [2011-05-24 18:50:28] 825*2^951320-1 is not prime. Res64: 08BDDBA75A6849E7 Time : 1266.0 sec. user=vaughan [2011-05-24 18:53:48] 817*2^951321-1 is not prime. Res64: 2340DF4917E369D0 Time : 1192.0 sec. user=gd_barnes [2011-05-24 19:03:23] 919*2^951319-1 is not prime. Res64: E124EC8074E550EE Time : 2067.0 sec. user=gd_barnes [2011-05-24 19:03:23] 939*2^951319-1 is not prime. Res64: FA9547218075F981 Time : 2067.0 sec. user=gd_barnes [2011-05-24 19:07:21] 827*2^951320-1 is not prime. Res64: 07DEA23F77736276 Time : 2045.0 sec. user=gd_barnes [2011-05-24 19:07:21] 983*2^951320-1 is not prime. Res64: 252FDF5A3665AC0D Time : 2045.0 sec. user=vaughan [2011-05-24 19:08:18] 831*2^951326-1 is not prime. Res64: BE4C239D09CBFD60 Time : 1250.0 sec. user=gd_barnes [2011-05-24 19:08:44] 921*2^951321-1 is not prime. Res64: 7E62E00CACAFE1C2 Time : 2024.0 sec. user=gd_barnes [2011-05-24 19:08:44] 803*2^951322-1 is not prime. Res64: B59F9E2E3BB46662 Time : 2024.0 sec. user=vaughan [2011-05-24 19:08:53] 865*2^951327-1 is not prime. Res64: 9DD35C7EBB721B49 Time : 1248.0 sec. user=gd_barnes [2011-05-24 19:09:23] 877*2^951321-1 is not prime. Res64: 019A8DB709BBEAAF Time : 2068.0 sec. user=gd_barnes [2011-05-24 19:09:23] 885*2^951321-1 is not prime. Res64: 36E8B74F45B0F37F Time : 2068.0 sec. user=vaughan [2011-05-24 19:11:39] 885*2^951327-1 is not prime. Res64: D3F890C115999E45 Time : 1272.0 sec. user=gd_barnes [2011-05-24 19:13:09] 857*2^951322-1 is not prime. Res64: 72F283C321671DE2 Time : 2061.0 sec. user=gd_barnes [2011-05-24 19:13:09] 945*2^951322-1 is not prime. Res64: 57B726B6C47A0E82 Time : 2061.0 sec. user=vaughan [2011-05-24 19:13:32] 875*2^951328-1 is not prime. Res64: B7C0BFDC9A614C99 Time : 1184.0 sec. user=gd_barnes [2011-05-24 19:13:37] 957*2^951322-1 is not prime. Res64: 43A1ECDC9C73C17B Time : 2066.0 sec. user=gd_barnes [2011-05-24 19:13:37] 813*2^951323-1 is not prime. Res64: E0BABF6D05F5F04D Time : 2066.0 sec. user=gd_barnes [2011-05-24 19:14:57] 825*2^951323-1 is not prime. Res64: 50F79F96DFA34948 Time : 1794.0 sec. user=gd_barnes [2011-05-24 19:14:57] 859*2^951323-1 is not prime. Res64: D4842EAE94941555 Time : 1794.0 sec. user=gd_barnes [2011-05-24 19:15:05] 863*2^951324-1 is not prime. Res64: 9790FA745718C809 Time : 1793.0 sec. user=gd_barnes [2011-05-24 19:15:05] 861*2^951325-1 is not prime. Res64: 23D195E2B01D6D5D Time : 1793.0 sec. user=gd_barnes [2011-05-24 19:15:08] 919*2^951325-1 is not prime. Res64: 5F9383D7036D58E7 Time : 1792.0 sec. user=gd_barnes [2011-05-24 19:15:08] 937*2^951325-1 is not prime. Res64: E68846A67F68FB3D Time : 1792.0 sec. user=gd_barnes [2011-05-24 19:17:25] 851*2^951326-1 is not prime. Res64: 92C302E0EF0F7AA8 Time : 1796.0 sec. user=gd_barnes [2011-05-24 19:17:25] 917*2^951326-1 is not prime. Res64: 197CE9E774477D2D Time : 1796.0 sec. user=vaughan [2011-05-24 19:28:56] 825*2^951330-1 is not prime. Res64: A70738501B461E94 Time : 1239.0 sec. user=vaughan [2011-05-24 19:29:33] 859*2^951331-1 is not prime. Res64: EE071B767CA22626 Time : 1241.0 sec. user=vaughan [2011-05-24 19:32:50] 829*2^951333-1 is not prime. Res64: 73ABAE88C7B52E15 Time : 1272.0 sec. user=vaughan [2011-05-24 19:33:16] 861*2^951333-1 is not prime. Res64: 92AB34ED8AA9058C Time : 1184.0 sec. user=gd_barnes [2011-05-24 19:37:26] 923*2^951328-1 is not prime. Res64: 69ADB7C2E69D1692 Time : 2043.0 sec. user=gd_barnes [2011-05-24 19:37:26] 975*2^951328-1 is not prime. Res64: 79F5F051726980F3 Time : 2043.0 sec. user=gd_barnes [2011-05-24 19:41:05] 801*2^951329-1 is not prime. Res64: B4118F5DB68771B0 Time : 2024.0 sec. user=gd_barnes [2011-05-24 19:41:05] 847*2^951329-1 is not prime. Res64: 7F2FF0E90CD40CB4 Time : 2024.0 sec. user=ototero [2011-05-24 19:42:35] 825*2^951267-1 is not prime. Res64: C2D68865C973761C Time : 15249.0 sec. user=ototero [2011-05-24 19:42:35] 891*2^951267-1 is not prime. Res64: 6DAF672B6AE18670 Time : 15249.0 sec. user=ototero [2011-05-24 19:42:35] 945*2^951267-1 is not prime. Res64: C4DBAD699BBBF0D3 Time : 15248.0 sec. user=ototero [2011-05-24 19:42:35] 951*2^951267-1 is not prime. Res64: 8F98F05A3C90590F Time : 15248.0 sec. user=ototero [2011-05-24 19:42:35] 973*2^951267-1 is not prime. Res64: EAFDF0446EFD0953 Time : 15248.0 sec. user=ototero [2011-05-24 19:42:35] 845*2^951268-1 is not prime. Res64: A528E9FAEDAF6658 Time : 15247.0 sec. user=ototero [2011-05-24 19:42:35] 959*2^951268-1 is not prime. Res64: E937840691D24ACB Time : 15247.0 sec. user=ototero [2011-05-24 19:42:36] 927*2^951269-1 is not prime. Res64: A00630932F4C15DB Time : 15248.0 sec. user=ototero [2011-05-24 19:42:36] 861*2^951270-1 is not prime. Res64: 10C729D936F59014 Time : 15247.0 sec. user=ototero [2011-05-24 19:42:36] 875*2^951270-1 is not prime. Res64: F0864C72A472703D Time : 15247.0 sec. user=gd_barnes [2011-05-24 19:43:03] 903*2^951332-1 is not prime. Res64: 77DD554726976482 Time : 2020.0 sec. user=gd_barnes [2011-05-24 19:43:03] 923*2^951332-1 is not prime. Res64: D6CBBD9A523890B4 Time : 2020.0 sec. user=gd_barnes [2011-05-24 19:43:04] 861*2^951330-1 is not prime. Res64: 56B3055D5EEF95D4 Time : 2060.0 sec. user=gd_barnes [2011-05-24 19:43:04] 917*2^951330-1 is not prime. Res64: EE05D80E45047F67 Time : 2060.0 sec. user=gd_barnes [2011-05-24 19:44:57] 917*2^951334-1 is not prime. Res64: B5CA1EF551BF523C Time : 1799.0 sec. user=gd_barnes [2011-05-24 19:44:57] 971*2^951334-1 is not prime. Res64: 7EA32786D7307D49 Time : 1799.0 sec. user=gd_barnes [2011-05-24 19:45:08] 975*2^951334-1 is not prime. Res64: 67484DF0F711C183 Time : 1802.0 sec. user=gd_barnes [2011-05-24 19:45:08] 913*2^951335-1 is not prime. Res64: 141981C67813A75F Time : 1802.0 sec. user=gd_barnes [2011-05-24 19:45:14] 969*2^951335-1 is not prime. Res64: AB671B60D740B926 Time : 1805.0 sec. user=gd_barnes [2011-05-24 19:45:14] 825*2^951336-1 is not prime. Res64: A3721CA610C7591F Time : 1805.0 sec. user=gd_barnes [2011-05-24 19:47:26] 905*2^951336-1 is not prime. Res64: EF8A195C6A1BF561 Time : 1800.0 sec. user=gd_barnes [2011-05-24 19:47:26] 945*2^951336-1 is not prime. Res64: 2FBD86319CC28890 Time : 1800.0 sec. user=gd_barnes [2011-05-24 19:47:37] 835*2^951333-1 is not prime. Res64: F22047EB831C7ACD Time : 2068.0 sec. user=gd_barnes [2011-05-24 19:47:37] 847*2^951333-1 is not prime. Res64: 35B938AFC0C0A8DA Time : 2068.0 sec. user=gd_barnes [2011-05-24 19:48:22] 921*2^951333-1 is not prime. Res64: 961A9D26DF9FA705 Time : 2085.0 sec. user=gd_barnes [2011-05-24 19:48:22] 827*2^951334-1 is not prime. Res64: FFF4B1F8034AACBD Time : 2085.0 sec. user=vaughan [2011-05-24 19:49:36] 847*2^951337-1 is not prime. Res64: 94C3D7D2B187BD97 Time : 1240.0 sec. user=vaughan [2011-05-24 19:50:14] 871*2^951337-1 is not prime. Res64: CB30243772C531B4 Time : 1241.0 sec. user=vaughan [2011-05-24 19:53:46] 931*2^951337-1 is not prime. Res64: F03718A5AD08EDB3 Time : 1230.0 sec. user=vaughan [2011-05-24 19:53:48] 915*2^951337-1 is not prime. Res64: 04E10F2045854EA4 Time : 1258.0 sec. user=vaughan [2011-05-24 20:10:02] 819*2^951347-1 is not prime. Res64: 02B395D45DA3C12F Time : 1226.0 sec. user=vaughan [2011-05-24 20:10:39] 829*2^951347-1 is not prime. Res64: 7850D7EC22FE172C Time : 1226.0 sec. user=gd_barnes [2011-05-24 20:11:15] 857*2^951338-1 is not prime. Res64: 2206DD5B611C30B1 Time : 2029.0 sec. user=gd_barnes [2011-05-24 20:11:15] 885*2^951338-1 is not prime. Res64: 76B9E677B2D51DAA Time : 2029.0 sec. user=vaughan [2011-05-24 20:14:27] 825*2^951348-1 is not prime. Res64: C8F91AB95BB2C953 Time : 1240.0 sec. user=vaughan [2011-05-24 20:14:28] 979*2^951347-1 is not prime. Res64: 6281A4338C3BC58D Time : 1242.0 sec. user=gd_barnes [2011-05-24 20:14:42] 873*2^951342-1 is not prime. Res64: 5DAAF68088CAC7A5 Time : 1784.0 sec. user=gd_barnes [2011-05-24 20:14:42] 893*2^951342-1 is not prime. Res64: 819C01A4D7FB25E2 Time : 1784.0 sec. user=gd_barnes [2011-05-24 20:14:53] 921*2^951342-1 is not prime. Res64: 78D977A5EDEA3273 Time : 1784.0 sec. user=gd_barnes [2011-05-24 20:14:53] 977*2^951342-1 is not prime. Res64: A147424EB03285C7 Time : 1784.0 sec. user=gd_barnes [2011-05-24 20:15:00] 831*2^951343-1 is not prime. Res64: 13D33C8A550BD1EF Time : 1785.0 sec. user=gd_barnes [2011-05-24 20:15:00] 853*2^951343-1 is not prime. Res64: 5A5BEC2B12B74F8D Time : 1785.0 sec. user=gd_barnes [2011-05-24 20:15:35] 955*2^951339-1 is not prime. Res64: 66350008CC4C4730 Time : 2070.0 sec. user=gd_barnes [2011-05-24 20:15:35] 961*2^951339-1 is not prime. Res64: 8F979235DCC28B1A Time : 2070.0 sec. user=gd_barnes [2011-05-24 20:16:54] 901*2^951341-1 is not prime. Res64: 1F950E001A216F94 Time : 2031.0 sec. user=gd_barnes [2011-05-24 20:16:54] 945*2^951341-1 is not prime. Res64: E56B8C80E1F47ADD Time : 2031.0 sec. user=gd_barnes [2011-05-24 20:17:13] 861*2^951343-1 is not prime. Res64: 14964BBE9F58B9D3 Time : 1786.0 sec. user=gd_barnes [2011-05-24 20:17:13] 945*2^951343-1 is not prime. Res64: 9E9299E82951DAA5 Time : 1786.0 sec. user=gd_barnes [2011-05-24 20:17:19] 949*2^951341-1 is not prime. Res64: 85CB7A554727CF7C Time : 2055.0 sec. user=gd_barnes [2011-05-24 20:17:19] 843*2^951342-1 is not prime. Res64: D0CCCD14A5BB7FD8 Time : 2055.0 sec. user=gd_barnes [2011-05-24 20:22:03] 857*2^951344-1 is not prime. Res64: 93F93DB6C2CA32F5 Time : 2066.0 sec. user=gd_barnes [2011-05-24 20:22:03] 919*2^951345-1 is not prime. Res64: BF23AD2A906CF7FB Time : 2066.0 sec. user=gd_barnes [2011-05-24 20:22:51] 815*2^951346-1 is not prime. Res64: 68B14AA37B6FDA91 Time : 2069.0 sec. user=gd_barnes [2011-05-24 20:22:51] 843*2^951346-1 is not prime. Res64: A5C5B15BCE921A08 Time : 2069.0 sec. user=vaughan [2011-05-24 20:30:28] 909*2^951348-1 is not prime. Res64: DAC1CF01B506312D Time : 1226.0 sec. user=vaughan [2011-05-24 20:31:05] 997*2^951349-1 is not prime. Res64: 9E9B7726F4CFB601 Time : 1227.0 sec. user=vaughan [2011-05-24 20:34:57] 995*2^951350-1 is not prime. Res64: 8BBD8D546ABB3B94 Time : 1229.0 sec. user=vaughan [2011-05-24 20:35:11] 987*2^951350-1 is not prime. Res64: 80BFE0FFBCE9EC9A Time : 1245.0 sec. user=gd_barnes [2011-05-24 20:44:48] 859*2^951351-1 is not prime. Res64: 24524CFE8FD54E5C Time : 1805.0 sec. user=gd_barnes [2011-05-24 20:44:48] 943*2^951351-1 is not prime. Res64: 95D6C97DB14F2BB0 Time : 1805.0 sec. user=gd_barnes [2011-05-24 20:44:59] 969*2^951351-1 is not prime. Res64: 43D6BC709E53899D Time : 1805.0 sec. user=gd_barnes [2011-05-24 20:44:59] 975*2^951351-1 is not prime. Res64: CDA4005F81A0C7F4 Time : 1805.0 sec. user=gd_barnes [2011-05-24 20:45:06] 847*2^951353-1 is not prime. Res64: C1BC048018D18DAF Time : 1805.0 sec. user=gd_barnes [2011-05-24 20:45:06] 879*2^951353-1 is not prime. Res64: 59FDDE6C4BC4F15E Time : 1805.0 sec. user=gd_barnes [2011-05-24 20:45:31] 915*2^951350-1 is not prime. Res64: 32877CB510C46618 Time : 2056.0 sec. user=gd_barnes [2011-05-24 20:45:31] 981*2^951350-1 is not prime. Res64: F4E83965A03DD4E5 Time : 2056.0 sec. user=gd_barnes [2011-05-24 20:47:18] 895*2^951355-1 is not prime. Res64: AC092EFE4CE09BF9 Time : 1804.0 sec. user=gd_barnes [2011-05-24 20:47:18] 857*2^951356-1 is not prime. Res64: 486E34DB986D5E60 Time : 1804.0 sec. user=gd_barnes [2011-05-24 20:49:32] 915*2^951354-1 is not prime. Res64: C23B48EE3D480E71 Time : 2037.0 sec. user=gd_barnes [2011-05-24 20:49:32] 1001*2^951354-1 is not prime. Res64: 4E18286EEBEBBF65 Time : 2037.0 sec. user=gd_barnes [2011-05-24 20:50:44] 841*2^951355-1 is not prime. Res64: 3E99571883DB19FE Time : 2030.0 sec. user=gd_barnes [2011-05-24 20:50:44] 853*2^951355-1 is not prime. Res64: 3D7AE64FCEBCFDB1 Time : 2030.0 sec. user=vaughan [2011-05-24 20:51:06] 867*2^951358-1 is not prime. Res64: 07DD245A9D30A727 Time : 1238.0 sec. user=gd_barnes [2011-05-24 20:51:35] 963*2^951356-1 is not prime. Res64: 4F7C092C34880C82 Time : 2056.0 sec. user=gd_barnes [2011-05-24 20:51:35] 835*2^951357-1 is not prime. Res64: DBF1608DC556336F Time : 2056.0 sec. user=vaughan [2011-05-24 20:51:42] 897*2^951358-1 is not prime. Res64: 52EFCF02416E874B Time : 1238.0 sec. user=vaughan [2011-05-24 20:54:43] 883*2^951359-1 is not prime. Res64: D4F907E08F1F9780 Time : 1187.0 sec. user=gd_barnes [2011-05-24 20:56:05] 849*2^951357-1 is not prime. Res64: D36BA043CCA6C67D Time : 2042.0 sec. user=gd_barnes [2011-05-24 20:56:05] 955*2^951357-1 is not prime. Res64: C99A18BE0DBF9646 Time : 2042.0 sec. user=vaughan [2011-05-24 20:56:26] 825*2^951360-1 is not prime. Res64: 57050D70D594357A Time : 1275.0 sec. user=gd_barnes [2011-05-24 20:57:18] 991*2^951357-1 is not prime. Res64: 653A44F19ECED4FD Time : 2067.0 sec. user=gd_barnes [2011-05-24 20:57:18] 831*2^951358-1 is not prime. Res64: 45F6747EA48E2BC5 Time : 2067.0 sec. user=vaughan [2011-05-24 21:14:30] 827*2^951364-1 is not prime. Res64: 9EC865A44BB7FC16 Time : 1404.0 sec. user=gd_barnes [2011-05-24 21:15:00] 839*2^951360-1 is not prime. Res64: 1587E7C267970DA3 Time : 1811.0 sec. user=gd_barnes [2011-05-24 21:15:00] 873*2^951360-1 is not prime. Res64: 782084EF7497D345 Time : 1811.0 sec. user=vaughan [2011-05-24 21:15:06] 915*2^951364-1 is not prime. Res64: EB3196E31B29EA54 Time : 1404.0 sec. user=gd_barnes [2011-05-24 21:15:10] 905*2^951360-1 is not prime. Res64: 4A57508BEBA36F43 Time : 1810.0 sec. user=gd_barnes [2011-05-24 21:15:10] 917*2^951360-1 is not prime. Res64: 87E71FD9906767B5 Time : 1810.0 sec. user=gd_barnes [2011-05-24 21:15:17] 801*2^951361-1 is not prime. Res64: DC61333B23C047A9 Time : 1810.0 sec. user=gd_barnes [2011-05-24 21:15:17] 847*2^951361-1 is not prime. Res64: 621E59BE8287454B Time : 1810.0 sec. user=gd_barnes [2011-05-24 21:17:33] 813*2^951362-1 is not prime. Res64: 561B3BAA05EDAFEC Time : 1814.0 sec. user=gd_barnes [2011-05-24 21:17:33] 833*2^951362-1 is not prime. Res64: 7074BA6555F502BE Time : 1814.0 sec. user=vaughan [2011-05-24 21:17:58] 929*2^951364-1 is not prime. Res64: 32652F9CA63AB71D Time : 1396.0 sec. user=gd_barnes [2011-05-24 21:19:08] 877*2^951361-1 is not prime. Res64: 3637E0E1CC66274F Time : 2017.0 sec. user=gd_barnes [2011-05-24 21:19:08] 997*2^951361-1 is not prime. Res64: 628187EF34DA5FFC Time : 2017.0 sec. user=vaughan [2011-05-24 21:20:50] 821*2^951366-1 is not prime. Res64: F2A01327D2FBE380 Time : 1464.0 sec. user=gd_barnes [2011-05-24 21:23:41] 843*2^951362-1 is not prime. Res64: 88D3DF74C003CF06 Time : 2049.0 sec. user=gd_barnes [2011-05-24 21:23:41] 941*2^951362-1 is not prime. Res64: 5CFEB301CCD1B7D9 Time : 2049.0 sec. user=gd_barnes [2011-05-24 21:25:00] 871*2^951363-1 is not prime. Res64: BF916A03BD9D194F Time : 2056.0 sec. user=gd_barnes [2011-05-24 21:25:00] 955*2^951363-1 is not prime. Res64: 59F3B2FDD338959C Time : 2056.0 sec. user=gd_barnes [2011-05-24 21:26:06] 887*2^951364-1 is not prime. Res64: DC3A20B34DDDA356 Time : 2071.0 sec. user=gd_barnes [2011-05-24 21:26:06] 905*2^951364-1 is not prime. Res64: 6438D310DE7BC9FC Time : 2071.0 sec. user=gd_barnes [2011-05-24 21:30:47] 975*2^951364-1 is not prime. Res64: AD31BE7A8126A8C9 Time : 2082.0 sec. user=gd_barnes [2011-05-24 21:30:47] 939*2^951365-1 is not prime. Res64: 0F126013780C6CC5 Time : 2082.0 sec. user=gd_barnes [2011-05-24 21:31:24] 923*2^951366-1 is not prime. Res64: 65383991087E7DCC Time : 2046.0 sec. user=gd_barnes [2011-05-24 21:31:24] 805*2^951367-1 is not prime. Res64: 45836EF3A7EA4555 Time : 2046.0 sec. user=vaughan [2011-05-24 21:35:14] 819*2^951367-1 is not prime. Res64: 6AD7B2E41F56A5EC Time : 1244.0 sec. user=vaughan [2011-05-24 21:35:46] 933*2^951367-1 is not prime. Res64: 04524912F8E90E9A Time : 1240.0 sec. user=vaughan [2011-05-24 21:38:20] 867*2^951370-1 is not prime. Res64: A11A810E320C42E4 Time : 1222.0 sec. user=vaughan [2011-05-24 21:41:34] 883*2^951371-1 is not prime. Res64: 8D7C69F833C8554F Time : 1245.0 sec. user=gd_barnes [2011-05-24 21:45:20] 885*2^951367-1 is not prime. Res64: 90CFDE67B62F29D3 Time : 1819.0 sec. user=gd_barnes [2011-05-24 21:45:20] 919*2^951367-1 is not prime. Res64: AA42790851BDEBCF Time : 1819.0 sec. user=gd_barnes [2011-05-24 21:45:29] 939*2^951367-1 is not prime. Res64: 3C87BF29C24160AE Time : 1818.0 sec. user=gd_barnes [2011-05-24 21:45:29] 973*2^951367-1 is not prime. Res64: 3BF636265D31597B Time : 1818.0 sec. user=gd_barnes [2011-05-24 21:45:34] 829*2^951369-1 is not prime. Res64: 6B5D873EDE137462 Time : 1816.0 sec. user=gd_barnes [2011-05-24 21:45:34] 895*2^951369-1 is not prime. Res64: 229B7032C21F2409 Time : 1816.0 sec. user=gd_barnes [2011-05-24 21:47:49] 907*2^951369-1 is not prime. Res64: CBBB962243376E8D Time : 1815.0 sec. user=gd_barnes [2011-05-24 21:47:49] 827*2^951370-1 is not prime. Res64: A3A8436215E1EF1D Time : 1815.0 sec. user=gd_barnes [2011-05-24 21:53:21] 951*2^951370-1 is not prime. Res64: 918E934F5D62A334 Time : 2053.0 sec. user=gd_barnes [2011-05-24 21:53:21] 811*2^951371-1 is not prime. Res64: 44D2D9A349A9C66B Time : 2053.0 sec. user=vaughan [2011-05-24 21:55:41] 823*2^951375-1 is not prime. Res64: 6E8C44E651D111B4 Time : 1227.0 sec. user=vaughan [2011-05-24 21:56:15] 859*2^951375-1 is not prime. Res64: 8F0C95FC743D6B15 Time : 1229.0 sec. user=gd_barnes [2011-05-24 21:57:07] 803*2^951372-1 is not prime. Res64: F8DD6E1337B900A1 Time : 2006.0 sec. user=gd_barnes [2011-05-24 21:57:07] 977*2^951372-1 is not prime. Res64: 742DBF8C6E56A493 Time : 2006.0 sec. user=vaughan [2011-05-24 21:59:04] 963*2^951375-1 is not prime. Res64: 7C3E448B22EFB8B6 Time : 1244.0 sec. user=gd_barnes [2011-05-24 21:59:18] 811*2^951373-1 is not prime. Res64: 75404FDABB716403 Time : 2058.0 sec. user=gd_barnes [2011-05-24 21:59:18] 817*2^951373-1 is not prime. Res64: 27453460EA619F7D Time : 2058.0 sec. user=gd_barnes [2011-05-24 22:00:12] 831*2^951373-1 is not prime. Res64: 7863B2AC57F6ED11 Time : 2046.0 sec. user=gd_barnes [2011-05-24 22:00:12] 849*2^951373-1 is not prime. Res64: C3CA04A62751E54D Time : 2046.0 sec. user=vaughan [2011-05-24 22:02:10] 969*2^951375-1 is not prime. Res64: 5FEF03A13F225281 Time : 1237.0 sec. user=gd_barnes [2011-05-24 22:05:08] 885*2^951373-1 is not prime. Res64: 58F35DBEE82897E8 Time : 2061.0 sec. user=gd_barnes [2011-05-24 22:05:08] 857*2^951374-1 is not prime. Res64: 8D7CD903228F9739 Time : 2061.0 sec. user=gd_barnes [2011-05-24 22:05:54] 965*2^951374-1 is not prime. Res64: 6D4B2D09ACFDF834 Time : 2070.0 sec. user=gd_barnes [2011-05-24 22:05:54] 987*2^951374-1 is not prime. Res64: EC43579BF0072D2B Time : 2070.0 sec. user=gd_barnes [2011-05-24 22:15:18] 839*2^951376-1 is not prime. Res64: D01A7CF5C20D2218 Time : 1797.0 sec. user=gd_barnes [2011-05-24 22:15:18] 957*2^951376-1 is not prime. Res64: 2B8D080EEB42A4A8 Time : 1797.0 sec. user=gd_barnes [2011-05-24 22:15:30] 937*2^951377-1 is not prime. Res64: DFA098FECA45E3F7 Time : 1800.0 sec. user=gd_barnes [2011-05-24 22:15:30] 949*2^951377-1 is not prime. Res64: 4D5ACE70A1751E2A Time : 1800.0 sec. user=gd_barnes [2011-05-24 22:15:34] 955*2^951377-1 is not prime. Res64: 3D928B4067A53CDE Time : 1799.0 sec. user=gd_barnes [2011-05-24 22:15:34] 957*2^951377-1 is not prime. Res64: 6CA94BC68F85C821 Time : 1799.0 sec. user=vaughan [2011-05-24 22:16:08] 913*2^951379-1 is not prime. Res64: C730DB5DF067443C Time : 1228.0 sec. user=vaughan [2011-05-24 22:16:42] 973*2^951379-1 is not prime. Res64: DB94689C8C813008 Time : 1228.0 sec. user=gd_barnes [2011-05-24 22:17:44] 833*2^951378-1 is not prime. Res64: E1189F7219C8E327 Time : 1794.0 sec. user=gd_barnes [2011-05-24 22:17:44] 927*2^951378-1 is not prime. Res64: E21ED956F743FFB5 Time : 1794.0 sec. user=vaughan [2011-05-24 22:19:49] 837*2^951381-1 is not prime. Res64: 5A1AD16CB0299292 Time : 1246.0 sec. user=vaughan [2011-05-24 22:22:53] 987*2^951382-1 is not prime. Res64: ABB4A55FDC6F025E Time : 1244.0 sec. user=gd_barnes [2011-05-24 22:27:52] 993*2^951378-1 is not prime. Res64: D19B28249BAF0B58 Time : 2071.0 sec. user=gd_barnes [2011-05-24 22:27:52] 861*2^951379-1 is not prime. Res64: E6CAB02D6E921B7A Time : 2071.0 sec. user=gd_barnes [2011-05-24 22:31:23] 875*2^951380-1 is not prime. Res64: 49C0C308855DCAD4 Time : 2056.0 sec. user=gd_barnes [2011-05-24 22:31:23] 885*2^951380-1 is not prime. Res64: 7C2040E8A8905E61 Time : 2056.0 sec. user=gd_barnes [2011-05-24 22:33:30] 901*2^951381-1 is not prime. Res64: A55436D3675040BD Time : 2052.0 sec. user=gd_barnes [2011-05-24 22:33:30] 999*2^951381-1 is not prime. Res64: D860A8F3F0D82809 Time : 2052.0 sec. user=gd_barnes [2011-05-24 22:34:19] 885*2^951382-1 is not prime. Res64: 6CA047B8110E943F Time : 2047.0 sec. user=gd_barnes [2011-05-24 22:34:19] 911*2^951382-1 is not prime. Res64: 46DD308EC4079390 Time : 2047.0 sec. user=vaughan [2011-05-24 22:36:53] 861*2^951386-1 is not prime. Res64: 5E34E79CFA7D4F19 Time : 1245.0 sec. user=vaughan [2011-05-24 22:37:26] 953*2^951386-1 is not prime. Res64: F45E9DF58E758AF7 Time : 1244.0 sec. user=gd_barnes [2011-05-24 22:39:31] 889*2^951383-1 is not prime. Res64: E213C989A64C03A2 Time : 2063.0 sec. user=gd_barnes [2011-05-24 22:39:31] 815*2^951384-1 is not prime. Res64: 5932D213D5C07FD0 Time : 2063.0 sec. user=gd_barnes [2011-05-24 22:39:42] 849*2^951384-1 is not prime. Res64: 2CA1EB4135D1AFE2 Time : 2028.0 sec. user=gd_barnes [2011-05-24 22:39:42] 893*2^951384-1 is not prime. Res64: CB32B3FA7B1DAA52 Time : 2028.0 sec. user=vaughan [2011-05-24 22:39:51] 813*2^951388-1 is not prime. Res64: 2E0572A5B7842BE9 Time : 1202.0 sec. user=vaughan [2011-05-24 22:44:02] 839*2^951388-1 is not prime. Res64: C66571EBA03AF0B8 Time : 1270.0 sec. user=gd_barnes [2011-05-24 22:44:55] 927*2^951384-1 is not prime. Res64: 7B3BF7315ECD1F90 Time : 1776.0 sec. user=gd_barnes [2011-05-24 22:44:55] 841*2^951385-1 is not prime. Res64: 528FC76AB13BD79B Time : 1776.0 sec. user=gd_barnes [2011-05-24 22:45:05] 861*2^951385-1 is not prime. Res64: 5DB08705468E031B Time : 1774.0 sec. user=gd_barnes [2011-05-24 22:45:05] 999*2^951385-1 is not prime. Res64: F84CD90A90497974 Time : 1774.0 sec. user=gd_barnes [2011-05-24 22:45:09] 813*2^951386-1 is not prime. Res64: DCE373F96707849D Time : 1774.0 sec. user=gd_barnes [2011-05-24 22:45:09] 837*2^951386-1 is not prime. Res64: CB0E875FE365F614 Time : 1774.0 sec. user=gd_barnes [2011-05-24 22:47:21] 971*2^951386-1 is not prime. Res64: 8521997C0DEB01B3 Time : 1776.0 sec. user=gd_barnes [2011-05-24 22:47:21] 949*2^951387-1 is not prime. Res64: 86F40A2611B53F28 Time : 1776.0 sec. user=vaughan [2011-05-24 22:54:10] 905*2^951388-1 is not prime. Res64: 21565747A719FA92 Time : 1849.0 sec. user=vaughan [2011-05-24 22:57:35] 861*2^951393-1 is not prime. Res64: DAF7B327BB47565F Time : 1242.0 sec. user=vaughan [2011-05-24 22:58:07] 885*2^951393-1 is not prime. Res64: 11399D5F86BF1737 Time : 1241.0 sec. user=vaughan [2011-05-24 22:59:36] 969*2^951395-1 is not prime. Res64: C9F4C82C9BF67B7D Time : 1185.0 sec. user=gd_barnes [2011-05-24 23:01:43] 825*2^951389-1 is not prime. Res64: 8FCF8319078A76E6 Time : 2031.0 sec. user=gd_barnes [2011-05-24 23:01:43] 885*2^951389-1 is not prime. Res64: 9B0A54B7CEA1C583 Time : 2031.0 sec. user=vaughan [2011-05-24 23:05:11] 843*2^951396-1 is not prime. Res64: CFE0B77B560BBC49 Time : 1269.0 sec. user=gd_barnes [2011-05-24 23:05:46] 939*2^951389-1 is not prime. Res64: 0624FE78C244B6A6 Time : 2063.0 sec. user=gd_barnes [2011-05-24 23:05:46] 825*2^951390-1 is not prime. Res64: CF921838A4B99C1E Time : 2063.0 sec. user=gd_barnes [2011-05-24 23:07:41] 843*2^951390-1 is not prime. Res64: D85BF182ED77C9D2 Time : 2051.0 sec. user=gd_barnes [2011-05-24 23:07:41] 867*2^951390-1 is not prime. Res64: 9AF948311369423E Time : 2051.0 sec. user=gd_barnes [2011-05-24 23:08:38] 963*2^951390-1 is not prime. Res64: B9270F7FE50876A8 Time : 2059.0 sec. user=gd_barnes [2011-05-24 23:08:38] 931*2^951391-1 is not prime. Res64: 419E6AF62FE5EA65 Time : 2059.0 sec. user=gd_barnes [2011-05-24 23:13:35] 859*2^951395-1 is not prime. Res64: 476B692B866536A7 Time : 2033.0 sec. user=gd_barnes [2011-05-24 23:13:35] 861*2^951395-1 is not prime. Res64: 93366F6D57968693 Time : 2033.0 sec. user=gd_barnes [2011-05-24 23:13:59] 987*2^951393-1 is not prime. Res64: ED8B42F689264B4D Time : 2068.0 sec. user=gd_barnes [2011-05-24 23:13:59] 803*2^951394-1 is not prime. Res64: D66F4FC0C09F18C9 Time : 2068.0 sec. user=gd_barnes [2011-05-24 23:14:48] 903*2^951396-1 is not prime. Res64: FD3551008CEAEC9D Time : 1792.0 sec. user=gd_barnes [2011-05-24 23:14:48] 905*2^951396-1 is not prime. Res64: 66F5FE95E5CAA1AB Time : 1792.0 sec. user=gd_barnes [2011-05-24 23:14:58] 947*2^951396-1 is not prime. Res64: 7B88DEC50CA1034C Time : 1792.0 sec. user=gd_barnes [2011-05-24 23:14:58] 801*2^951397-1 is not prime. Res64: 7E6C61367C8400D8 Time : 1792.0 sec. user=gd_barnes [2011-05-24 23:15:01] 911*2^951398-1 is not prime. Res64: 214F63502D1F8EFF Time : 1791.0 sec. user=gd_barnes [2011-05-24 23:15:01] 941*2^951398-1 is not prime. Res64: 71806273694C3BBD Time : 1791.0 sec. user=vaughan [2011-05-24 23:16:13] 957*2^951388-1 is not prime. Res64: CD9FD2C6D5CA6F23 Time : 3172.0 sec. user=gd_barnes [2011-05-24 23:17:12] 995*2^951398-1 is not prime. Res64: FF3778FAF2ABDE78 Time : 1790.0 sec. user=gd_barnes [2011-05-24 23:17:12] 825*2^951399-1 is not prime. Res64: EC909C2B94C3D2F9 Time : 1790.0 sec. user=vaughan [2011-05-24 23:18:19] 961*2^951399-1 is not prime. Res64: CEB20E62352C02BA Time : 1244.0 sec. user=vaughan [2011-05-24 23:18:49] 979*2^951399-1 is not prime. Res64: AF39B13BE92F09B4 Time : 1242.0 sec. user=vaughan [2011-05-24 23:19:21] 849*2^951400-1 is not prime. Res64: 537F94A17B73BA7C Time : 1185.0 sec. user=vaughan [2011-05-24 23:26:25] 875*2^951400-1 is not prime. Res64: 37824C15B622747C Time : 1274.0 sec. user=gd_barnes [2011-05-24 23:35:58] 855*2^951400-1 is not prime. Res64: 1250E15BCF7C93BD Time : 2055.0 sec. user=gd_barnes [2011-05-24 23:35:58] 873*2^951400-1 is not prime. Res64: BB8E488086DB537E Time : 2055.0 sec. user=vaughan [2011-05-24 23:39:03] 895*2^951405-1 is not prime. Res64: E05EA7945BD606E3 Time : 1244.0 sec. user=vaughan [2011-05-24 23:39:06] 985*2^951405-1 is not prime. Res64: EA9AACF3DA3943DC Time : 1185.0 sec. user=vaughan [2011-05-24 23:39:30] 975*2^951405-1 is not prime. Res64: 3D0AE9A5A63C52D9 Time : 1241.0 sec. user=gd_barnes [2011-05-24 23:40:04] 887*2^951400-1 is not prime. Res64: 30065768DED080C3 Time : 2058.0 sec. user=gd_barnes [2011-05-24 23:40:04] 983*2^951400-1 is not prime. Res64: 2A2F61C7416E1576 Time : 2058.0 sec. user=gd_barnes [2011-05-24 23:41:43] 811*2^951401-1 is not prime. Res64: C56393D004767960 Time : 2042.0 sec. user=gd_barnes [2011-05-24 23:41:43] 937*2^951401-1 is not prime. Res64: 019AF05637DBA4DC Time : 2042.0 sec. user=gd_barnes [2011-05-24 23:42:41] 803*2^951402-1 is not prime. Res64: 15F83DABE0022261 Time : 2043.0 sec. user=gd_barnes [2011-05-24 23:42:41] 893*2^951402-1 is not prime. Res64: FC29634B38D1D362 Time : 2043.0 sec. user=gd_barnes [2011-05-24 23:44:21] 919*2^951403-1 is not prime. Res64: ACC3507C54E80C8D Time : 1772.0 sec. user=gd_barnes [2011-05-24 23:44:21] 945*2^951403-1 is not prime. Res64: C4D89C880077DC45 Time : 1772.0 sec. user=gd_barnes [2011-05-24 23:44:31] 993*2^951404-1 is not prime. Res64: CF4B4FDD29F2EEC5 Time : 1772.0 sec. user=gd_barnes [2011-05-24 23:44:31] 817*2^951405-1 is not prime. Res64: E0B5657DAE96BF49 Time : 1772.0 sec. user=gd_barnes [2011-05-24 23:44:33] 819*2^951405-1 is not prime. Res64: BD9DC56CFE803591 Time : 1771.0 sec. user=gd_barnes [2011-05-24 23:44:33] 867*2^951405-1 is not prime. Res64: 70DC580D59458426 Time : 1771.0 sec. user=gd_barnes [2011-05-24 23:46:44] 889*2^951405-1 is not prime. Res64: FD844886EB3313E5 Time : 1771.0 sec. user=gd_barnes [2011-05-24 23:46:44] 891*2^951405-1 is not prime. Res64: 7CB805DCCC4FFDB7 Time : 1771.0 sec. user=vaughan [2011-05-24 23:47:34] 999*2^951405-1 is prime! Time : 1270.0 sec. user=gd_barnes [2011-05-24 23:47:59] 917*2^951402-1 is not prime. Res64: 1BCF37E46EA856B5 Time : 2064.0 sec. user=gd_barnes [2011-05-24 23:47:59] 941*2^951402-1 is not prime. Res64: 2D154D5E4567921F Time : 2064.0 sec. user=gd_barnes [2011-05-24 23:48:20] 805*2^951403-1 is not prime. Res64: F54FB49ABDB3D254 Time : 2061.0 sec. user=gd_barnes [2011-05-24 23:48:20] 885*2^951403-1 is not prime. Res64: C062D9A456FF0360 Time : 2061.0 sec. user=ototero [2011-05-24 23:56:56] 973*2^951339-1 is not prime. Res64: FE0B62C5C6A96702 Time : 15260.0 sec. user=ototero [2011-05-24 23:56:56] 975*2^951339-1 is not prime. Res64: A59A12F48755D863 Time : 15259.0 sec. user=ototero [2011-05-24 23:56:56] 855*2^951340-1 is not prime. Res64: AE31D5E1610F70F6 Time : 15259.0 sec. user=ototero [2011-05-24 23:56:56] 857*2^951340-1 is not prime. Res64: 02DB16D7A242B5E4 Time : 15259.0 sec. user=ototero [2011-05-24 23:56:56] 929*2^951340-1 is not prime. Res64: 016823C6CAD98FE8 Time : 15258.0 sec. user=ototero [2011-05-24 23:56:57] 989*2^951340-1 is not prime. Res64: 611F11E55BEDD9FF Time : 15259.0 sec. user=ototero [2011-05-24 23:56:57] 805*2^951341-1 is not prime. Res64: 1F56311E09A9BA0E Time : 15259.0 sec. user=ototero [2011-05-24 23:56:57] 811*2^951341-1 is not prime. Res64: 630D95A9CD1A8CE8 Time : 15259.0 sec. user=ototero [2011-05-24 23:56:57] 871*2^951341-1 is not prime. Res64: C66107BF10B796CA Time : 15258.0 sec. user=ototero [2011-05-24 23:56:57] 889*2^951341-1 is not prime. Res64: 4BB7F0668B8C72D2 Time : 15258.0 sec. user=vaughan [2011-05-24 23:58:49] 859*2^951407-1 is not prime. Res64: FD566AF74049CCE0 Time : 1183.0 sec. user=vaughan [2011-05-24 23:59:47] 829*2^951407-1 is not prime. Res64: F42E9F619B968E03 Time : 1245.0 sec. user=vaughan [2011-05-25 00:00:11] 871*2^951407-1 is not prime. Res64: 8A0AF72DDE530C12 Time : 1241.0 sec.