user=vaughan [2011-05-05 00:01:37] 915*2^937704-1 is not prime. Res64: 7171CE6BF791C7F5 Time : 1813.0 sec. user=vaughan [2011-05-05 00:05:03] 933*2^937708-1 is not prime. Res64: 3110F8B66B3CD07E Time : 1206.0 sec. user=vaughan [2011-05-05 00:08:31] 975*2^937708-1 is not prime. Res64: 0326201722A6255C Time : 1218.0 sec. user=vaughan [2011-05-05 00:09:20] 811*2^937709-1 is not prime. Res64: F4250A3EFA034138 Time : 1213.0 sec. user=vaughan [2011-05-05 00:10:20] 915*2^937708-1 is not prime. Res64: F593820891B4C6CD Time : 1647.0 sec. user=vaughan [2011-05-05 00:10:40] 867*2^937709-1 is not prime. Res64: C8909304777F083D Time : 1207.0 sec. user=vaughan [2011-05-05 00:16:56] 889*2^937709-1 is not prime. Res64: 666422A60BB8C11A Time : 1202.0 sec. user=vaughan [2011-05-05 00:20:01] 825*2^937710-1 is not prime. Res64: 1212019936AA20C9 Time : 1276.0 sec. user=vaughan [2011-05-05 00:20:05] 833*2^937710-1 is not prime. Res64: 932068F0F7896221 Time : 1276.0 sec. user=vaughan [2011-05-05 00:20:05] 867*2^937710-1 is not prime. Res64: BF69A232DB40DC3E Time : 1275.0 sec. user=vaughan [2011-05-05 00:25:09] 915*2^937712-1 is not prime. Res64: 71CFAC3D1F25F3AD Time : 1207.0 sec. user=vaughan [2011-05-05 00:26:32] 927*2^937710-1 is not prime. Res64: C12EAB04D1B5E909 Time : 1587.0 sec. user=vaughan [2011-05-05 00:28:48] 819*2^937713-1 is not prime. Res64: 6494ED09CA4E6766 Time : 1217.0 sec. user=vaughan [2011-05-05 00:29:35] 849*2^937713-1 is not prime. Res64: 85F6B8A47309F110 Time : 1215.0 sec. user=vaughan [2011-05-05 00:30:46] 941*2^937714-1 is not prime. Res64: E9AD575BA32E6248 Time : 1206.0 sec. user=vaughan [2011-05-05 00:31:19] 957*2^937710-1 is not prime. Res64: 65B283AA62983953 Time : 1866.0 sec. user=vaughan [2011-05-05 00:32:07] 861*2^937711-1 is not prime. Res64: 957C8092F4D60490 Time : 1831.0 sec. user=vaughan [2011-05-05 00:35:34] 857*2^937714-1 is not prime. Res64: 5FFE5B82DDE0B0B9 Time : 1514.0 sec. user=vaughan [2011-05-05 00:36:56] 949*2^937715-1 is not prime. Res64: 587096FF56D2A723 Time : 1201.0 sec. user=vaughan [2011-05-05 00:41:21] 969*2^937715-1 is not prime. Res64: ADEEE58A5138B37B Time : 1281.0 sec. user=vaughan [2011-05-05 00:41:24] 805*2^937717-1 is not prime. Res64: C37A6D977FF9DDD4 Time : 1279.0 sec. user=vaughan [2011-05-05 00:41:26] 981*2^937715-1 is not prime. Res64: 2B6F9661A9125DE2 Time : 1281.0 sec. user=vaughan [2011-05-05 00:45:13] 847*2^937717-1 is not prime. Res64: 0383FF893EF6EDDE Time : 1204.0 sec. user=vaughan [2011-05-05 00:49:04] 955*2^937717-1 is not prime. Res64: 978F0210AB8AA165 Time : 1217.0 sec. user=vaughan [2011-05-05 00:49:48] 957*2^937717-1 is not prime. Res64: DCE69E7112DDB26E Time : 1214.0 sec. user=vaughan [2011-05-05 00:50:51] 833*2^937718-1 is not prime. Res64: 8007BB93C95FFAA2 Time : 1205.0 sec. user=vaughan [2011-05-05 00:52:54] 867*2^937717-1 is not prime. Res64: 88969BD69F7C2F5C Time : 1582.0 sec. user=vaughan [2011-05-05 00:56:55] 913*2^937719-1 is not prime. Res64: D662C64DEEB97D01 Time : 1200.0 sec. user=vaughan [2011-05-05 01:00:41] 921*2^937718-1 is not prime. Res64: 6E352F7F80E3AF22 Time : 1507.0 sec. user=vaughan [2011-05-05 01:00:55] 843*2^937718-1 is not prime. Res64: DAB7346783341664 Time : 1776.0 sec. user=vaughan [2011-05-05 01:01:50] 887*2^937718-1 is not prime. Res64: F91C50D792E47491 Time : 1783.0 sec. user=vaughan [2011-05-05 01:02:37] 839*2^937720-1 is not prime. Res64: 4473AA1D16859FD7 Time : 1276.0 sec. user=vaughan [2011-05-05 01:02:40] 857*2^937720-1 is not prime. Res64: 56AF53C5A45FFF19 Time : 1277.0 sec. user=vaughan [2011-05-05 01:02:41] 875*2^937720-1 is not prime. Res64: 49BBE7087EEBCFAB Time : 1276.0 sec. user=vaughan [2011-05-05 01:05:17] 927*2^937720-1 is not prime. Res64: 52B8B623A42677B6 Time : 1204.0 sec. user=vaughan [2011-05-05 01:09:22] 855*2^937721-1 is not prime. Res64: 1C52B7ED5F06C5D1 Time : 1218.0 sec. user=vaughan [2011-05-05 01:10:12] 871*2^937721-1 is not prime. Res64: 1ACE45A907182B85 Time : 1224.0 sec. user=vaughan [2011-05-05 01:11:03] 987*2^937721-1 is not prime. Res64: 67DD0CCF1EE58F61 Time : 1212.0 sec. user=vaughan [2011-05-05 01:17:00] 825*2^937722-1 is not prime. Res64: 9B22F434B08967CC Time : 1206.0 sec. user=vaughan [2011-05-05 01:18:52] 807*2^937722-1 is not prime. Res64: FC353F9234960F00 Time : 1558.0 sec. user=ototero [2011-05-05 01:20:20] 883*2^937663-1 is not prime. Res64: BD8B773D5A991DF4 Time : 21524.0 sec. user=ototero [2011-05-05 01:20:21] 827*2^937664-1 is not prime. Res64: 100A07FB3C1FDFA3 Time : 21525.0 sec. user=ototero [2011-05-05 01:20:21] 935*2^937664-1 is not prime. Res64: 390E28D07307B5B3 Time : 21524.0 sec. user=ototero [2011-05-05 01:20:21] 837*2^937665-1 is not prime. Res64: DFA53FC1FDC14B90 Time : 21524.0 sec. user=ototero [2011-05-05 01:20:21] 891*2^937665-1 is not prime. Res64: F02227C31EFFF25B Time : 21523.0 sec. user=vaughan [2011-05-05 01:23:54] 901*2^937723-1 is not prime. Res64: E71C83D9C0678019 Time : 1277.0 sec. user=vaughan [2011-05-05 01:23:56] 913*2^937723-1 is not prime. Res64: EA6DEE1A022F2494 Time : 1276.0 sec. user=vaughan [2011-05-05 01:23:57] 915*2^937723-1 is not prime. Res64: 8D8DD62A6A11C496 Time : 1276.0 sec. user=vaughan [2011-05-05 01:25:32] 945*2^937723-1 is not prime. Res64: E143508B0656C77D Time : 1215.0 sec. user=vaughan [2011-05-05 01:25:35] 893*2^937722-1 is not prime. Res64: 60D942FD97687001 Time : 1494.0 sec. user=vaughan [2011-05-05 01:29:40] 969*2^937723-1 is not prime. Res64: 188DA1D8797A7D4F Time : 1218.0 sec. user=vaughan [2011-05-05 01:29:53] 813*2^937723-1 is not prime. Res64: 1D16971B0F3FE71C Time : 1739.0 sec. user=vaughan [2011-05-05 01:30:27] 843*2^937724-1 is not prime. Res64: AC344588030214D0 Time : 1215.0 sec. user=vaughan [2011-05-05 01:31:00] 895*2^937723-1 is not prime. Res64: AC3DB0AD29F881E3 Time : 1750.0 sec. user=vaughan [2011-05-05 01:31:11] 875*2^937724-1 is not prime. Res64: FB4BCC7AFE1A7C66 Time : 1208.0 sec. user=vaughan [2011-05-05 01:37:00] 903*2^937724-1 is not prime. Res64: 8689A9587A6EF2FE Time : 1200.0 sec. user=vaughan [2011-05-05 01:43:04] 953*2^937724-1 is not prime. Res64: 2D04EEC9CFFF121F Time : 1452.0 sec. user=vaughan [2011-05-05 01:45:11] 1001*2^937726-1 is not prime. Res64: 8C0867A558F17A88 Time : 1277.0 sec. user=vaughan [2011-05-05 01:45:13] 823*2^937727-1 is not prime. Res64: 752F9E64F3A9D1A8 Time : 1277.0 sec. user=vaughan [2011-05-05 01:45:13] 831*2^937727-1 is not prime. Res64: FB2CBE240EABB214 Time : 1276.0 sec. user=vaughan [2011-05-05 01:45:37] 871*2^937727-1 is not prime. Res64: EFBB299D0A966609 Time : 1205.0 sec. user=vaughan [2011-05-05 01:48:47] 909*2^937727-1 is not prime. Res64: 06A5815183426480 Time : 1393.0 sec. user=vaughan [2011-05-05 01:49:58] 985*2^937727-1 is not prime. Res64: 4A89307A8EDE3FC8 Time : 1219.0 sec. user=vaughan [2011-05-05 01:50:41] 811*2^937729-1 is not prime. Res64: FF6B024435DC6589 Time : 1214.0 sec. user=vaughan [2011-05-05 01:51:17] 987*2^937729-1 is not prime. Res64: EE602487FEE29962 Time : 1207.0 sec. user=vaughan [2011-05-05 01:56:25] 945*2^937728-1 is not prime. Res64: B8004EAB4AB7BA7F Time : 1592.0 sec. user=vaughan [2011-05-05 01:57:01] 861*2^937730-1 is not prime. Res64: DDACFD92D306C450 Time : 1201.0 sec. user=vaughan [2011-05-05 01:57:21] 861*2^937729-1 is not prime. Res64: C2C0AF4001AED6F0 Time : 1581.0 sec. user=vaughan [2011-05-05 02:04:30] 887*2^937730-1 is not prime. Res64: 9EEBA7CADDD677D0 Time : 1287.0 sec. user=vaughan [2011-05-05 02:05:42] 823*2^937731-1 is not prime. Res64: BA985596A5252D63 Time : 1205.0 sec. user=vaughan [2011-05-05 02:06:25] 923*2^937730-1 is not prime. Res64: AA566AE543177D28 Time : 1274.0 sec. user=vaughan [2011-05-05 02:06:28] 945*2^937730-1 is not prime. Res64: 5A2A15C836C45BAE Time : 1275.0 sec. user=vaughan [2011-05-05 02:06:29] 935*2^937730-1 is not prime. Res64: 233984EED1EFC6D4 Time : 1276.0 sec. user=vaughan [2011-05-05 02:09:16] 909*2^937731-1 is not prime. Res64: C979C43D035C3E44 Time : 1229.0 sec. user=vaughan [2011-05-05 02:10:15] 807*2^937732-1 is not prime. Res64: E3368F8A7336E992 Time : 1217.0 sec. user=vaughan [2011-05-05 02:10:55] 833*2^937732-1 is not prime. Res64: D79773E06E595FA2 Time : 1215.0 sec. user=vaughan [2011-05-05 02:11:23] 861*2^937733-1 is not prime. Res64: 230E7EC8E3633723 Time : 1206.0 sec. user=vaughan [2011-05-05 02:17:03] 969*2^937733-1 is not prime. Res64: 11377D580B0C9AEA Time : 1202.0 sec. user=vaughan [2011-05-05 02:17:54] 879*2^937733-1 is not prime. Res64: 1441B57E706F1344 Time : 1289.0 sec. user=vaughan [2011-05-05 02:19:16] 979*2^937733-1 is not prime. Res64: 0BF5CFE57FF42438 Time : 1316.0 sec. user=vaughan [2011-05-05 02:25:51] 971*2^937734-1 is not prime. Res64: 96566D22E9EBC4C5 Time : 1209.0 sec. user=vaughan [2011-05-05 02:26:39] 985*2^937733-1 is not prime. Res64: 17C312BF75263C58 Time : 1330.0 sec. user=vaughan [2011-05-05 02:27:43] 805*2^937735-1 is not prime. Res64: 8EE4FE7321995E26 Time : 1278.0 sec. user=vaughan [2011-05-05 02:27:44] 841*2^937735-1 is not prime. Res64: 82BAFA5B84CAE58A Time : 1276.0 sec. user=vaughan [2011-05-05 02:27:44] 853*2^937735-1 is not prime. Res64: A5FBFCE590284DD3 Time : 1276.0 sec. user=vaughan [2011-05-05 02:30:34] 909*2^937735-1 is not prime. Res64: 01A2A57395B95100 Time : 1219.0 sec. user=vaughan [2011-05-05 02:31:12] 961*2^937735-1 is not prime. Res64: EC24175808903DA8 Time : 1217.0 sec. user=vaughan [2011-05-05 02:31:32] 973*2^937735-1 is not prime. Res64: 9B0582AE8DC83F90 Time : 1209.0 sec. user=vaughan [2011-05-05 02:32:50] 885*2^937735-1 is not prime. Res64: FB84C71C95CE64E8 Time : 1414.0 sec. user=vaughan [2011-05-05 02:37:05] 979*2^937735-1 is not prime. Res64: ED3D328419262E50 Time : 1202.0 sec. user=vaughan [2011-05-05 02:45:59] 869*2^937736-1 is not prime. Res64: 3ECB63A5B30BDC30 Time : 1209.0 sec. user=vaughan [2011-05-05 02:47:06] 825*2^937736-1 is not prime. Res64: B26A9FC91F8A8EDD Time : 1753.0 sec. user=vaughan [2011-05-05 02:48:36] 855*2^937736-1 is not prime. Res64: 0BB35E55FB292976 Time : 1760.0 sec. user=vaughan [2011-05-05 02:48:59] 923*2^937736-1 is not prime. Res64: F2BD16561138D159 Time : 1277.0 sec. user=vaughan [2011-05-05 02:49:00] 945*2^937736-1 is not prime. Res64: 854D166A90A85B07 Time : 1277.0 sec. user=vaughan [2011-05-05 02:49:00] 837*2^937737-1 is not prime. Res64: 8F07ED589F9DD7D9 Time : 1276.0 sec. user=vaughan [2011-05-05 02:50:52] 915*2^937737-1 is not prime. Res64: B673B46D7AD15633 Time : 1218.0 sec. user=vaughan [2011-05-05 02:51:29] 923*2^937738-1 is not prime. Res64: 772886E4691566D1 Time : 1218.0 sec. user=vaughan [2011-05-05 02:51:40] 939*2^937739-1 is not prime. Res64: 3F28E6FAB75BE071 Time : 1209.0 sec. user=vaughan [2011-05-05 02:52:45] 893*2^937736-1 is not prime. Res64: E67631022B53A02B Time : 1566.0 sec. user=vaughan [2011-05-05 02:57:08] 999*2^937740-1 is not prime. Res64: C05A6FA6A889B895 Time : 1204.0 sec. user=vaughan [2011-05-05 02:58:14] 893*2^937740-1 is not prime. Res64: 14934BB77AE8DD67 Time : 1524.0 sec. user=vaughan [2011-05-05 03:06:03] 871*2^937741-1 is not prime. Res64: 62A82BA41A0CF452 Time : 1205.0 sec. user=vaughan [2011-05-05 03:10:13] 801*2^937742-1 is not prime. Res64: 7F297994C81BC3BB Time : 1274.0 sec. user=vaughan [2011-05-05 03:10:13] 813*2^937742-1 is not prime. Res64: 69DCD13E593F689E Time : 1274.0 sec. user=vaughan [2011-05-05 03:10:14] 885*2^937742-1 is not prime. Res64: 2E0298A6A6B61F89 Time : 1274.0 sec. user=vaughan [2011-05-05 03:11:09] 911*2^937742-1 is not prime. Res64: E8C9C9FB482FFB16 Time : 1217.0 sec. user=vaughan [2011-05-05 03:11:43] 885*2^937743-1 is not prime. Res64: F6D633774E74CD25 Time : 1215.0 sec. user=vaughan [2011-05-05 03:11:46] 919*2^937743-1 is not prime. Res64: 83FC41387796C374 Time : 1206.0 sec. user=vaughan [2011-05-05 03:16:31] 895*2^937741-1 is not prime. Res64: ECF57C525F40DBCC Time : 1765.0 sec. user=vaughan [2011-05-05 03:17:09] 855*2^937745-1 is not prime. Res64: 1F49ED449DB93C37 Time : 1202.0 sec. user=vaughan [2011-05-05 03:18:05] 997*2^937741-1 is not prime. Res64: 52F20B39F209DF68 Time : 1769.0 sec. user=vaughan [2011-05-05 03:18:50] 929*2^937744-1 is not prime. Res64: 96D3F7A08B412B36 Time : 1565.0 sec. user=vaughan [2011-05-05 03:24:15] 909*2^937745-1 is not prime. Res64: 24C209D1C8210781 Time : 1561.0 sec. user=vaughan [2011-05-05 03:26:09] 825*2^937746-1 is not prime. Res64: C4AD889CE6FB3210 Time : 1206.0 sec. user=vaughan [2011-05-05 03:31:26] 957*2^937746-1 is not prime. Res64: E9C5D02C59C21B9F Time : 1217.0 sec. user=vaughan [2011-05-05 03:31:27] 843*2^937746-1 is not prime. Res64: 16EB547577B3C1ED Time : 1275.0 sec. user=vaughan [2011-05-05 03:31:28] 881*2^937746-1 is not prime. Res64: D4E08525D7220C96 Time : 1275.0 sec. user=vaughan [2011-05-05 03:31:31] 873*2^937746-1 is not prime. Res64: AC4BC67B5B360FC2 Time : 1278.0 sec. user=vaughan [2011-05-05 03:31:54] 871*2^937747-1 is not prime. Res64: 659B10A6AE4E8757 Time : 1208.0 sec. user=vaughan [2011-05-05 03:31:57] 829*2^937747-1 is not prime. Res64: 8407F3434A13EEAE Time : 1214.0 sec. user=vaughan [2011-05-05 03:37:19] 883*2^937747-1 is not prime. Res64: 030AC1176177F3B5 Time : 1211.0 sec. user=vaughan [2011-05-05 03:44:56] 973*2^937747-1 is not prime. Res64: BA5D5138667F9BA4 Time : 1566.0 sec. user=vaughan [2011-05-05 03:45:58] 873*2^937747-1 is not prime. Res64: A94CAAE740689A90 Time : 1767.0 sec. user=vaughan [2011-05-05 03:46:21] 923*2^937748-1 is not prime. Res64: 25894EBE4049643A Time : 1212.0 sec. user=vaughan [2011-05-05 03:47:00] 885*2^937747-1 is not prime. Res64: A82F63B317F9342D Time : 1735.0 sec. user=vaughan [2011-05-05 03:48:46] 825*2^937748-1 is not prime. Res64: C5FFD150F28CCEA4 Time : 1471.0 sec. user=vaughan [2011-05-05 03:51:44] 935*2^937748-1 is not prime. Res64: CCE4362A9FEF240D Time : 1218.0 sec. user=vaughan [2011-05-05 03:52:10] 915*2^937750-1 is not prime. Res64: 4453413F542B401A Time : 1217.0 sec. user=vaughan [2011-05-05 03:52:29] 859*2^937751-1 is not prime. Res64: 77F20B01436956F5 Time : 1232.0 sec. user=vaughan [2011-05-05 03:52:40] 963*2^937748-1 is not prime. Res64: B71BB82631BC85CC Time : 1273.0 sec. user=vaughan [2011-05-05 03:52:42] 895*2^937749-1 is not prime. Res64: 77D3D0E717F08265 Time : 1274.0 sec. user=vaughan [2011-05-05 03:52:44] 843*2^937750-1 is not prime. Res64: FF36CDFEC31EF949 Time : 1274.0 sec. user=vaughan [2011-05-05 03:57:52] 931*2^937751-1 is not prime. Res64: 33A6C52550FE224F Time : 1234.0 sec. user=vaughan [2011-05-05 04:04:29] 949*2^937751-1 is not prime. Res64: 3A803EE954D2527C Time : 1174.0 sec. user=vaughan [2011-05-05 04:06:36] 863*2^937752-1 is not prime. Res64: C533C93579037FCC Time : 1215.0 sec. user=vaughan [2011-05-05 04:06:56] 969*2^937751-1 is not prime. Res64: 0572EFB98CB3FCD0 Time : 1258.0 sec. user=vaughan [2011-05-05 04:08:04] 817*2^937753-1 is not prime. Res64: 0F30E08C2CDC9393 Time : 1158.0 sec. user=vaughan [2011-05-05 04:08:09] 879*2^937752-1 is not prime. Res64: 84595A42EED3C8BF Time : 1269.0 sec. user=vaughan [2011-05-05 04:11:58] 895*2^937753-1 is not prime. Res64: 34A8AB3E3616746D Time : 1215.0 sec. user=vaughan [2011-05-05 04:12:28] 857*2^937754-1 is not prime. Res64: 4244CB0E5DD90159 Time : 1218.0 sec. user=vaughan [2011-05-05 04:13:07] 885*2^937754-1 is not prime. Res64: DA94AF723C301E57 Time : 1238.0 sec. user=vaughan [2011-05-05 04:13:52] 971*2^937754-1 is not prime. Res64: 549EABA2AB76A885 Time : 1273.0 sec. user=vaughan [2011-05-05 04:13:55] 903*2^937755-1 is not prime. Res64: 0E03C2CA6C59C069 Time : 1274.0 sec. user=vaughan [2011-05-05 04:13:56] 985*2^937755-1 is not prime. Res64: 8C84B6581A713430 Time : 1272.0 sec. user=vaughan [2011-05-05 04:18:32] 897*2^937756-1 is not prime. Res64: 99DD16DDA5486778 Time : 1241.0 sec. user=vaughan [2011-05-05 04:23:42] 965*2^937756-1 is not prime. Res64: 20EA5834621C5040 Time : 1153.0 sec. user=vaughan [2011-05-05 04:26:59] 999*2^937756-1 is not prime. Res64: AA491ECDD3A7117B Time : 1224.0 sec. user=vaughan [2011-05-05 04:27:21] 861*2^937757-1 is not prime. Res64: 925635F8F3E6EA08 Time : 1157.0 sec. user=vaughan [2011-05-05 04:27:53] 847*2^937757-1 is not prime. Res64: 8BFF29E2F4152C33 Time : 1257.0 sec. user=vaughan [2011-05-05 04:29:16] 879*2^937757-1 is not prime. Res64: 96A36C7317E5F088 Time : 1268.0 sec. user=vaughan [2011-05-05 04:32:12] 815*2^937758-1 is not prime. Res64: 61E652433DD898DF Time : 1214.0 sec. user=vaughan [2011-05-05 04:32:53] 963*2^937758-1 is not prime. Res64: 33DA1A5EA0261258 Time : 1225.0 sec. user=vaughan [2011-05-05 04:33:59] 853*2^937759-1 is not prime. Res64: A49A937E567B70F0 Time : 1252.0 sec. user=vaughan [2011-05-05 04:35:02] 939*2^937759-1 is not prime. Res64: 63E1EB4B4F33D485 Time : 1270.0 sec. user=vaughan [2011-05-05 04:35:06] 973*2^937759-1 is not prime. Res64: 4B6317EE85492FDB Time : 1271.0 sec. user=vaughan [2011-05-05 04:35:07] 813*2^937760-1 is not prime. Res64: 6BBA73E2604CBBA9 Time : 1271.0 sec. user=vaughan [2011-05-05 04:39:40] 917*2^937760-1 is not prime. Res64: 6DF470A6F307DC63 Time : 1269.0 sec. user=vaughan [2011-05-05 04:44:11] 963*2^937760-1 is not prime. Res64: 391E5E0C05F22D55 Time : 1229.0 sec. user=vaughan [2011-05-05 04:47:25] 849*2^937761-1 is not prime. Res64: 40480A5EEB048226 Time : 1226.0 sec. user=vaughan [2011-05-05 04:49:01] 861*2^937761-1 is not prime. Res64: 5D97D195755889AC Time : 1300.0 sec. user=vaughan [2011-05-05 04:52:24] 803*2^937762-1 is not prime. Res64: 21920A661D61CAF2 Time : 1213.0 sec. user=vaughan [2011-05-05 04:52:47] 909*2^937761-1 is not prime. Res64: B0399725D6637A56 Time : 1494.0 sec. user=vaughan [2011-05-05 04:53:22] 873*2^937762-1 is not prime. Res64: BC3BD8F2E925A9DA Time : 1230.0 sec. user=vaughan [2011-05-05 04:54:34] 997*2^937761-1 is not prime. Res64: B54A97B1230B5EE6 Time : 1519.0 sec. user=vaughan [2011-05-05 04:54:56] 813*2^937763-1 is not prime. Res64: F710E263B2F8D375 Time : 1257.0 sec. user=vaughan [2011-05-05 04:56:14] 825*2^937763-1 is not prime. Res64: 231EA25AA2290DE9 Time : 1272.0 sec. user=vaughan [2011-05-05 04:56:16] 829*2^937763-1 is not prime. Res64: A47DFCDBD58752A5 Time : 1271.0 sec. user=vaughan [2011-05-05 04:56:18] 885*2^937763-1 is not prime. Res64: B2BEC4847C5200B3 Time : 1271.0 sec. user=vaughan [2011-05-05 05:00:46] 999*2^937763-1 is not prime. Res64: F0737A6D5FD5EB92 Time : 1266.0 sec. user=vaughan [2011-05-05 05:07:52] 927*2^937764-1 is not prime. Res64: F4E798F784FAAAAA Time : 1227.0 sec. user=vaughan [2011-05-05 05:10:17] 899*2^937764-1 is not prime. Res64: 6C2F41750E7A21A4 Time : 1567.0 sec. user=vaughan [2011-05-05 05:12:39] 975*2^937764-1 is not prime. Res64: 19D2B1CC15709CD8 Time : 1215.0 sec. user=vaughan [2011-05-05 05:13:54] 825*2^937765-1 is not prime. Res64: 13218B4E3D99BFFB Time : 1233.0 sec. user=vaughan [2011-05-05 05:14:23] 947*2^937764-1 is not prime. Res64: 3D6AC4CC738D80D7 Time : 1522.0 sec. user=vaughan [2011-05-05 05:15:53] 957*2^937765-1 is not prime. Res64: 6F4D4DDED2C47CFC Time : 1257.0 sec. user=vaughan [2011-05-05 05:17:21] 985*2^937765-1 is not prime. Res64: 3C66981A71AAF76A Time : 1268.0 sec. user=vaughan [2011-05-05 05:17:25] 815*2^937766-1 is not prime. Res64: 4F7E2D6FE4F37974 Time : 1268.0 sec. user=vaughan [2011-05-05 05:17:27] 987*2^937765-1 is not prime. Res64: 83AFD2F11DCA9B73 Time : 1271.0 sec. user=vaughan [2011-05-05 05:21:56] 857*2^937766-1 is not prime. Res64: 0767C7FC5DD315F5 Time : 1270.0 sec. user=vaughan [2011-05-05 05:22:11] 817*2^937765-1 is not prime. Res64: A1B32A04A7955BB2 Time : 1764.0 sec. user=vaughan [2011-05-05 05:23:43] 919*2^937765-1 is not prime. Res64: E07C1B96C0AA83C3 Time : 1749.0 sec. user=vaughan [2011-05-05 05:28:18] 935*2^937766-1 is not prime. Res64: 32C6DE035E89925B Time : 1226.0 sec. user=vaughan [2011-05-05 05:32:53] 971*2^937766-1 is not prime. Res64: FA36D7FE7C8395DB Time : 1215.0 sec. user=vaughan [2011-05-05 05:34:24] 805*2^937767-1 is not prime. Res64: 22134BF69F91953A Time : 1230.0 sec. user=vaughan [2011-05-05 05:36:36] 945*2^937766-1 is not prime. Res64: 380CF889027A807A Time : 1579.0 sec. user=vaughan [2011-05-05 05:36:52] 891*2^937767-1 is not prime. Res64: 6E08569FECD23E73 Time : 1259.0 sec. user=vaughan [2011-05-05 05:38:28] 931*2^937767-1 is not prime. Res64: CD4947AA6FA06E1D Time : 1267.0 sec. user=vaughan [2011-05-05 05:38:32] 961*2^937767-1 is not prime. Res64: 65767D96591E0732 Time : 1267.0 sec. user=vaughan [2011-05-05 05:38:33] 957*2^937768-1 is not prime. Res64: DB19D4EDB512422D Time : 1267.0 sec. user=vaughan [2011-05-05 05:39:42] 879*2^937767-1 is not prime. Res64: 0256689A777C0286 Time : 1519.0 sec. user=vaughan [2011-05-05 05:43:21] 861*2^937769-1 is not prime. Res64: 07768F4FFD8E29E2 Time : 1286.0 sec. user=vaughan [2011-05-05 07:10:47] 943*2^937771-1 is not prime. Res64: 2D50E12349586527 Time : 5465.0 sec. user=vaughan [2011-05-05 07:10:56] 957*2^937769-1 is not prime. Res64: 3B60CB093DEB62EB Time : 6525.0 sec. user=vaughan [2011-05-05 07:11:11] 803*2^937770-1 is not prime. Res64: B4EDBA2E58C35A32 Time : 6448.0 sec. user=vaughan [2011-05-05 07:34:01] 867*2^937772-1 is not prime. Res64: 24164E642AFD413A Time : 1581.0 sec. user=vaughan [2011-05-05 07:34:32] 873*2^937772-1 is not prime. Res64: E5389713C779BD7C Time : 1426.0 sec. user=vaughan [2011-05-05 07:36:56] 945*2^937772-1 is not prime. Res64: 43E35D77E87428EF Time : 1560.0 sec. user=vaughan [2011-05-05 07:37:05] 977*2^937772-1 is not prime. Res64: 2D2AC4A72CA64C93 Time : 1565.0 sec. user=vaughan [2011-05-05 07:44:40] 821*2^937770-1 is not prime. Res64: E8480DE3AE785A94 Time : 8182.0 sec. user=vaughan [2011-05-05 07:44:42] 875*2^937770-1 is not prime. Res64: 8889C11D1EF99652 Time : 7818.0 sec. user=vaughan [2011-05-05 07:45:10] 867*2^937770-1 is not prime. Res64: 1FB62C3D25E4AFCE Time : 7937.0 sec. user=vaughan [2011-05-05 07:45:36] 835*2^937771-1 is not prime. Res64: 4317B5671C2A5BEA Time : 7628.0 sec. user=vaughan [2011-05-05 07:45:38] 969*2^937771-1 is not prime. Res64: C0B813158EF789A5 Time : 7338.0 sec. user=vaughan [2011-05-05 07:45:39] 829*2^937771-1 is not prime. Res64: CC570FDF7648A8A7 Time : 7727.0 sec. user=vaughan [2011-05-05 07:45:40] 885*2^937771-1 is not prime. Res64: 0C2715048B428442 Time : 7629.0 sec. user=vaughan [2011-05-05 07:45:44] 909*2^937771-1 is not prime. Res64: E62DA41009BBD57D Time : 7631.0 sec. user=vaughan [2011-05-05 07:53:34] 983*2^937772-1 is not prime. Res64: 6AEAB1208163FE9E Time : 1174.0 sec. user=vaughan [2011-05-05 07:54:01] 885*2^937773-1 is not prime. Res64: CAB348304E766AE9 Time : 1169.0 sec. user=vaughan [2011-05-05 07:57:43] 895*2^937773-1 is not prime. Res64: C322DCFBD680F581 Time : 1247.0 sec. user=vaughan [2011-05-05 07:58:04] 919*2^937773-1 is not prime. Res64: AFC3AD0290F7BAFC Time : 1260.0 sec. user=vaughan [2011-05-05 08:04:45] 985*2^937773-1 is not prime. Res64: C9F5819418D75DAF Time : 1205.0 sec. user=vaughan [2011-05-05 08:05:38] 917*2^937774-1 is not prime. Res64: 5CE38B0F77C5DADA Time : 1200.0 sec. user=vaughan [2011-05-05 08:05:51] 841*2^937775-1 is not prime. Res64: 3A3E226B0F29C99F Time : 1207.0 sec. user=vaughan [2011-05-05 08:05:55] 981*2^937774-1 is not prime. Res64: BAB4AAE929F35F9C Time : 1216.0 sec. user=vaughan [2011-05-05 08:07:34] 827*2^937774-1 is not prime. Res64: 4F5FC2E6F8BA8D84 Time : 1345.0 sec. user=vaughan [2011-05-05 08:13:06] 939*2^937775-1 is not prime. Res64: 8FBE3DDA639FE681 Time : 1173.0 sec. user=vaughan [2011-05-05 08:13:19] 999*2^937775-1 is not prime. Res64: 1507EEC73A25D16B Time : 1159.0 sec. user=vaughan [2011-05-05 08:18:47] 809*2^937776-1 is not prime. Res64: D99FC4A499CD4ACD Time : 1264.0 sec. user=vaughan [2011-05-05 08:19:01] 825*2^937776-1 is not prime. Res64: 83B7B4C5B02B7BD6 Time : 1257.0 sec. user=vaughan [2011-05-05 08:25:04] 839*2^937776-1 is not prime. Res64: BF684B661FA113F1 Time : 1219.0 sec. user=vaughan [2011-05-05 08:25:54] 857*2^937776-1 is not prime. Res64: 7C1335D4FE754A13 Time : 1217.0 sec. user=vaughan [2011-05-05 08:26:12] 879*2^937776-1 is not prime. Res64: 5968325C0A9678BC Time : 1222.0 sec. user=vaughan [2011-05-05 08:26:29] 893*2^937776-1 is not prime. Res64: F6A3C4D964F6E2B7 Time : 1235.0 sec. user=vaughan [2011-05-05 08:31:39] 807*2^937777-1 is not prime. Res64: 4ACD5873BE512BFE Time : 1446.0 sec. user=vaughan [2011-05-05 08:32:29] 945*2^937777-1 is not prime. Res64: 03303E2C2EA82560 Time : 1151.0 sec. user=vaughan [2011-05-05 08:32:40] 889*2^937777-1 is not prime. Res64: 422DE7662537F6D0 Time : 1175.0 sec. user=vaughan [2011-05-05 08:39:56] 985*2^937777-1 is not prime. Res64: 2C7138F8F9D61063 Time : 1270.0 sec. user=vaughan [2011-05-05 08:39:57] 825*2^937778-1 is not prime. Res64: 8EF429261B03C632 Time : 1258.0 sec. user=vaughan [2011-05-05 08:43:47] 881*2^937774-1 is not prime. Res64: 9053988B6E2CA842 Time : 3491.0 sec. user=vaughan [2011-05-05 08:43:57] 1001*2^937774-1 is not prime. Res64: EFE84AE3B239E80A Time : 3497.0 sec. user=vaughan [2011-05-05 08:43:58] 825*2^937775-1 is not prime. Res64: 2EB6127FF918DE46 Time : 3495.0 sec. user=vaughan [2011-05-05 08:45:14] 845*2^937778-1 is not prime. Res64: 019796C46A09E552 Time : 1210.0 sec. user=vaughan [2011-05-05 08:46:03] 953*2^937778-1 is not prime. Res64: F885658A056E0FEA Time : 1209.0 sec. user=vaughan [2011-05-05 08:46:22] 977*2^937778-1 is not prime. Res64: EC6281542084185F Time : 1210.0 sec. user=vaughan [2011-05-05 08:46:56] 859*2^937779-1 is not prime. Res64: C2D5DFBF461FFD05 Time : 1228.0 sec. user=vaughan [2011-05-05 08:51:58] 825*2^937780-1 is not prime. Res64: 14774220C22D1A20 Time : 1169.0 sec. user=vaughan [2011-05-05 08:52:03] 827*2^937780-1 is not prime. Res64: B41129CBF4113028 Time : 1164.0 sec. user=vaughan [2011-05-05 08:54:19] 895*2^937779-1 is not prime. Res64: 412B2E01F0324A4B Time : 1361.0 sec. user=vaughan [2011-05-05 09:00:50] 989*2^937780-1 is not prime. Res64: 2F4A103E91A27268 Time : 1253.0 sec. user=vaughan [2011-05-05 09:00:58] 875*2^937780-1 is not prime. Res64: FD7C8B69BC120510 Time : 1265.0 sec. user=vaughan [2011-05-05 09:05:34] 863*2^937782-1 is not prime. Res64: 06BB78B7EB5EA9FE Time : 1220.0 sec. user=vaughan [2011-05-05 09:06:24] 983*2^937782-1 is not prime. Res64: E8C1ADEF4CA8ABD8 Time : 1221.0 sec. user=vaughan [2011-05-05 09:06:43] 855*2^937783-1 is not prime. Res64: F718226BABDE467D Time : 1221.0 sec. user=vaughan [2011-05-05 09:07:31] 915*2^937783-1 is not prime. Res64: 7C75A6D56308847D Time : 1235.0 sec. user=vaughan [2011-05-05 09:13:19] 813*2^937784-1 is not prime. Res64: 061119DFEF2233F4 Time : 1282.0 sec. user=vaughan [2011-05-05 09:13:50] 827*2^937784-1 is not prime. Res64: 06B1F27B037E244D Time : 1307.0 sec. user=vaughan [2011-05-05 09:17:04] 927*2^937784-1 is not prime. Res64: D680A2D7D0F1699B Time : 1366.0 sec. user=ototero [2011-05-05 13:03:45] 817*2^937725-1 is not prime. Res64: 30182048E0767D80 Time : 42203.0 sec. user=ototero [2011-05-05 13:03:47] 819*2^937725-1 is not prime. Res64: C8BB425C32B10F4A Time : 42205.0 sec. user=ototero [2011-05-05 13:03:47] 885*2^937725-1 is not prime. Res64: 51640FDC1A809590 Time : 42205.0 sec. user=ototero [2011-05-05 13:03:48] 891*2^937725-1 is not prime. Res64: 46EF10F5B12697F1 Time : 42205.0 sec. user=ototero [2011-05-05 13:03:48] 965*2^937726-1 is not prime. Res64: F2344C4C9A28B6B6 Time : 42205.0 sec. user=vaughan [2011-05-05 18:15:19] 801*2^937782-1 is not prime. Res64: AF01209EA19A022B Time : 34281.0 sec. user=vaughan [2011-05-05 18:15:22] 999*2^937780-1 is not prime. Res64: 3E5FBACF3F8D9853 Time : 34296.0 sec. user=vaughan [2011-05-05 18:15:22] 837*2^937781-1 is not prime. Res64: BC3F177B8D205027 Time : 34285.0 sec. user=vaughan [2011-05-05 18:15:42] 959*2^937784-1 is not prime. Res64: 759C887344816F26 Time : 33292.0 sec. user=vaughan [2011-05-05 18:16:57] 983*2^937784-1 is not prime. Res64: BC09248310BF24D6 Time : 33359.0 sec. user=vaughan [2011-05-05 18:30:35] 903*2^937786-1 is not prime. Res64: 876118118C5117CA Time : 33437.0 sec. user=vaughan [2011-05-05 18:46:41] 823*2^937787-1 is not prime. Res64: 7E16FF7BE5F69A59 Time : 34177.0 sec. user=vaughan [2011-05-05 18:48:56] 945*2^937786-1 is not prime. Res64: 63916F0AD741C0EF Time : 34506.0 sec. user=vaughan [2011-05-05 18:50:04] 833*2^937528-1 is not prime. Res64: 14AB8B51569A81A8 Time : 2145.0 sec. user=vaughan [2011-05-05 18:50:07] 897*2^937529-1 is not prime. Res64: F3A0CCE2F589479B Time : 2148.0 sec. user=vaughan [2011-05-05 19:06:59] 873*2^937530-1 is not prime. Res64: 468403D16296A906 Time : 3097.0 sec. user=vaughan [2011-05-05 19:06:59] 987*2^937529-1 is not prime. Res64: 255221FE29C7ECC9 Time : 3100.0 sec. user=vaughan [2011-05-05 19:09:31] 927*2^937530-1 is not prime. Res64: 1C4461065B01EC67 Time : 3249.0 sec. user=vaughan [2011-05-05 19:13:08] 883*2^937531-1 is not prime. Res64: A21125AE93B61A30 Time : 2553.0 sec. user=vaughan [2011-05-05 19:33:48] 973*2^937531-1 is not prime. Res64: 56BE0CD764EAA7FE Time : 2828.0 sec. user=vaughan [2011-05-05 19:36:33] 1001*2^937530-1 is not prime. Res64: D6D5D8D88E3E1B1B Time : 4851.0 sec. user=vaughan [2011-05-05 19:38:57] 855*2^937531-1 is not prime. Res64: 20516B61AC8D1B13 Time : 4921.0 sec. user=vaughan [2011-05-05 19:40:23] 885*2^937532-1 is not prime. Res64: DBA82427670EA7F1 Time : 3087.0 sec. user=vaughan [2011-05-05 19:46:23] 961*2^937791-1 is not prime. Res64: B57E3438DD1C807C Time : 1995.0 sec. user=vaughan [2011-05-05 19:51:23] 901*2^937791-1 is not prime. Res64: F799D4822ED6CDDE Time : 2512.0 sec. user=vaughan [2011-05-05 19:53:06] 829*2^937791-1 is not prime. Res64: EF7D62DD22DD43B2 Time : 2768.0 sec. user=vaughan [2011-05-05 19:53:06] 865*2^937791-1 is not prime. Res64: AB392610BC0B8D4A Time : 2767.0 sec. user=ototero [2011-05-05 20:09:43] 993*2^937787-1 is not prime. Res64: 3B9AB7B00582B791 Time : 25555.0 sec. user=ototero [2011-05-05 20:09:43] 899*2^937788-1 is not prime. Res64: 728511282A7889BB Time : 25555.0 sec. user=ototero [2011-05-05 20:09:43] 905*2^937788-1 is not prime. Res64: 222D146173E53C5E Time : 25554.0 sec. user=ototero [2011-05-05 20:09:44] 845*2^937790-1 is not prime. Res64: 088E455648406757 Time : 25554.0 sec. user=ototero [2011-05-05 20:09:44] 825*2^937791-1 is not prime. Res64: EDF3E8E2A4495E43 Time : 25554.0 sec. user=vaughan [2011-05-05 20:17:38] 973*2^937791-1 is not prime. Res64: AEB78355B5F71D1A Time : 2630.0 sec. user=vaughan [2011-05-05 20:19:25] 999*2^937792-1 is not prime. Res64: 267578F8F66BA837 Time : 1982.0 sec. user=vaughan [2011-05-05 20:23:07] 975*2^937792-1 is not prime. Res64: 15FC91FE81A1C431 Time : 2564.0 sec. user=vaughan [2011-05-05 20:27:14] 827*2^937792-1 is not prime. Res64: 98CF168F9095A3CD Time : 3042.0 sec. user=vaughan [2011-05-05 20:29:38] 939*2^937792-1 is not prime. Res64: 23337C5EACCDB344 Time : 3041.0 sec. user=vaughan [2011-05-05 20:34:37] 811*2^937793-1 is not prime. Res64: D8F91B62E8FA4B61 Time : 2594.0 sec. user=vaughan [2011-05-05 20:35:13] 957*2^937793-1 is not prime. Res64: 104CD22C74193AB1 Time : 2528.0 sec. user=vaughan [2011-05-05 20:35:15] 885*2^937793-1 is not prime. Res64: AC37DF6D5FA687C2 Time : 2530.0 sec. user=vaughan [2011-05-05 20:59:16] 817*2^937797-1 is not prime. Res64: CEB2AA9869D009B2 Time : 2391.0 sec. user=vaughan [2011-05-05 21:02:44] 897*2^937796-1 is not prime. Res64: C23601944B9D4562 Time : 2706.0 sec. user=vaughan [2011-05-05 21:22:58] 995*2^937798-1 is not prime. Res64: BB3B7CB1BCFFEAA8 Time : 2901.0 sec. user=vaughan [2011-05-05 21:25:03] 937*2^937797-1 is not prime. Res64: DF86FAE890148257 Time : 3716.0 sec. user=vaughan [2011-05-05 21:25:57] 859*2^937799-1 is not prime. Res64: CD24670C57838078 Time : 3045.0 sec. user=vaughan [2011-05-05 21:26:02] 885*2^937799-1 is not prime. Res64: A40675E3CEEF6EBF Time : 3048.0 sec. user=vaughan [2011-05-05 21:37:02] 913*2^937799-1 is not prime. Res64: 5BC534AFD9F06907 Time : 2266.0 sec. user=vaughan [2011-05-05 21:37:50] 845*2^937798-1 is not prime. Res64: 9515738A755C68C1 Time : 4236.0 sec. user=vaughan [2011-05-05 21:40:07] 911*2^937798-1 is not prime. Res64: B8481FA9E6517E80 Time : 4229.0 sec. user=vaughan [2011-05-05 21:52:58] 993*2^937799-1 is not prime. Res64: BE99C342238C453D Time : 3014.0 sec. user=vaughan [2011-05-05 22:12:23] 843*2^937800-1 is not prime. Res64: B514C52603C76B94 Time : 2966.0 sec. user=vaughan [2011-05-05 22:15:11] 973*2^937551-1 is not prime. Res64: D40CB9E434147A6D Time : 2954.0 sec. user=vaughan [2011-05-05 22:15:20] 863*2^937552-1 is not prime. Res64: 73D6A89D9DCDB399 Time : 2958.0 sec. user=vaughan [2011-05-05 22:27:24] 859*2^937551-1 is not prime. Res64: D438B919B136A413 Time : 3741.0 sec. user=vaughan [2011-05-05 22:32:29] 903*2^937552-1 is not prime. Res64: 6ED8A54A419F2375 Time : 3327.0 sec. user=vaughan [2011-05-05 22:42:39] 949*2^937553-1 is not prime. Res64: 656BA74B4113021D Time : 2982.0 sec. user=vaughan [2011-05-05 22:43:53] 889*2^937553-1 is not prime. Res64: 31D7B686548D7D95 Time : 3963.0 sec. user=vaughan [2011-05-05 22:47:18] 897*2^937553-1 is not prime. Res64: A776F23A043E657F Time : 4032.0 sec. user=vaughan [2011-05-05 23:06:03] 985*2^937553-1 is not prime. Res64: 60EB0F2B0CACA142 Time : 3052.0 sec. user=vaughan [2011-05-05 23:06:08] 807*2^937554-1 is not prime. Res64: 322E5683F46252F9 Time : 3048.0 sec. user=vaughan [2011-05-05 23:06:19] 957*2^937553-1 is not prime. Res64: 58FCDD02FD810957 Time : 3236.0 sec. user=vaughan [2011-05-05 23:09:56] 849*2^937800-1 is not prime. Res64: 74E5CAF579ED383A Time : 2552.0 sec. user=vaughan [2011-05-05 23:20:32] 945*2^937801-1 is not prime. Res64: B034C1CE191CB158 Time : 2883.0 sec. user=vaughan [2011-05-05 23:33:44] 967*2^937801-1 is not prime. Res64: 2045D3B9E23456CF Time : 3065.0 sec. user=vaughan [2011-05-05 23:52:12] 995*2^937804-1 is not prime. Res64: 12BCCE004482166B Time : 2754.0 sec. user=vaughan [2011-05-05 23:54:15] 907*2^937805-1 is not prime. Res64: 4BAF484D780D6B4F Time : 2659.0 sec. user=vaughan [2011-05-05 23:54:21] 955*2^937803-1 is not prime. Res64: BDC5A82F36CDD17A Time : 4228.0 sec. user=vaughan [2011-05-05 23:57:03] 819*2^937804-1 is not prime. Res64: DBD2DE7D10FEC304 Time : 4185.0 sec.