user=vaughan [2011-05-11 00:02:13] 923*2^938428-1 is not prime. Res64: E3F17C4F0601B857 Time : 1345.0 sec. user=vaughan [2011-05-11 00:05:44] 947*2^938428-1 is not prime. Res64: B1C53CAAA7C93074 Time : 1268.0 sec. user=vaughan [2011-05-11 00:06:06] 837*2^938429-1 is not prime. Res64: 2443732CC729F234 Time : 1266.0 sec. user=vaughan [2011-05-11 00:07:25] 931*2^938429-1 is not prime. Res64: FDF04704AB010A5F Time : 1193.0 sec. user=vaughan [2011-05-11 00:11:26] 847*2^938429-1 is not prime. Res64: 3E72BE2594239446 Time : 1550.0 sec. user=vaughan [2011-05-11 00:11:42] 939*2^938429-1 is not prime. Res64: CAAA11ABE5CFB827 Time : 1314.0 sec. user=vaughan [2011-05-11 00:17:14] 967*2^938429-1 is not prime. Res64: 82A255B3B2EA325C Time : 1292.0 sec. user=vaughan [2011-05-11 00:20:10] 821*2^938430-1 is not prime. Res64: 6E0331028F0DF846 Time : 1466.0 sec. user=vaughan [2011-05-11 00:24:38] 845*2^938430-1 is not prime. Res64: F46D638AE298E48D Time : 1346.0 sec. user=vaughan [2011-05-11 00:27:05] 833*2^938432-1 is not prime. Res64: 17F9A1C6FECE75CD Time : 1259.0 sec. user=vaughan [2011-05-11 00:27:07] 977*2^938430-1 is not prime. Res64: 75F555CF7DFA1D70 Time : 1283.0 sec. user=vaughan [2011-05-11 00:27:20] 843*2^938432-1 is not prime. Res64: 27328D96FCFC51E6 Time : 1195.0 sec. user=vaughan [2011-05-11 00:33:33] 977*2^938432-1 is not prime. Res64: F635A920391F0283 Time : 1312.0 sec. user=vaughan [2011-05-11 00:37:22] 855*2^938432-1 is not prime. Res64: 5B874F0DE93D0EED Time : 1556.0 sec. user=vaughan [2011-05-11 00:38:46] 835*2^938433-1 is not prime. Res64: D96CC058D698A679 Time : 1292.0 sec. user=vaughan [2011-05-11 00:44:56] 921*2^938433-1 is not prime. Res64: 5AB409A7558AA3C2 Time : 1486.0 sec. user=vaughan [2011-05-11 00:47:16] 887*2^938434-1 is not prime. Res64: F8FA80D1F106E855 Time : 1197.0 sec. user=vaughan [2011-05-11 00:47:21] 999*2^938433-1 is not prime. Res64: AE32501B5BFDDDEC Time : 1363.0 sec. user=vaughan [2011-05-11 00:48:04] 815*2^938434-1 is not prime. Res64: FFD0CBBB1676740D Time : 1259.0 sec. user=vaughan [2011-05-11 00:48:06] 855*2^938434-1 is not prime. Res64: 8D12E7E48AAAB5BE Time : 1260.0 sec. user=vaughan [2011-05-11 00:55:49] 823*2^938435-1 is not prime. Res64: 45DC3CE90BA33096 Time : 1336.0 sec. user=vaughan [2011-05-11 01:00:14] 859*2^938435-1 is not prime. Res64: FFD43FCA51B33A5A Time : 1288.0 sec. user=vaughan [2011-05-11 01:03:52] 825*2^938435-1 is not prime. Res64: FF617B1D75F507D6 Time : 1591.0 sec. user=vaughan [2011-05-11 01:07:08] 981*2^938435-1 is not prime. Res64: 6C62E1AF73F5F4E5 Time : 1192.0 sec. user=vaughan [2011-05-11 01:09:12] 875*2^938436-1 is not prime. Res64: 33B3AE23436B0799 Time : 1269.0 sec. user=vaughan [2011-05-11 01:09:14] 903*2^938436-1 is not prime. Res64: DDEC3B2BA3502756 Time : 1268.0 sec. user=vaughan [2011-05-11 01:09:56] 871*2^938435-1 is not prime. Res64: C4B9E7C67208F56A Time : 1500.0 sec. user=vaughan [2011-05-11 01:10:13] 845*2^938436-1 is not prime. Res64: 8144D6F530502F58 Time : 1372.0 sec. user=vaughan [2011-05-11 01:18:08] 969*2^938436-1 is not prime. Res64: 954FC0C9EE385969 Time : 1339.0 sec. user=vaughan [2011-05-11 01:21:42] 819*2^938437-1 is not prime. Res64: B217A0BCEC8F5FB5 Time : 1289.0 sec. user=vaughan [2011-05-11 01:26:52] 871*2^938437-1 is not prime. Res64: 03EDD3E023809387 Time : 1184.0 sec. user=vaughan [2011-05-11 01:30:20] 861*2^938437-1 is not prime. Res64: EF277C768DE5B660 Time : 1589.0 sec. user=vaughan [2011-05-11 01:30:23] 885*2^938437-1 is not prime. Res64: 001482BFC5AF270A Time : 1271.0 sec. user=vaughan [2011-05-11 01:30:24] 919*2^938437-1 is not prime. Res64: 97F489E9F29618B7 Time : 1271.0 sec. user=vaughan [2011-05-11 01:33:06] 813*2^938438-1 is not prime. Res64: 9F4683942657FC66 Time : 1373.0 sec. user=vaughan [2011-05-11 01:35:04] 979*2^938437-1 is not prime. Res64: 031E6FC4F5FBE8CC Time : 1509.0 sec. user=vaughan [2011-05-11 01:40:27] 861*2^938439-1 is not prime. Res64: A563782051F4A12D Time : 1339.0 sec. user=vaughan [2011-05-11 01:43:22] 961*2^938439-1 is not prime. Res64: 10C92535FC74CCCE Time : 1301.0 sec. user=vaughan [2011-05-11 01:46:36] 975*2^938439-1 is not prime. Res64: 792EB01D7B21A6DD Time : 1185.0 sec. user=vaughan [2011-05-11 01:51:23] 839*2^938440-1 is not prime. Res64: BE79F1C5BC11D967 Time : 1261.0 sec. user=vaughan [2011-05-11 01:51:25] 857*2^938440-1 is not prime. Res64: 8917393B123D3FDE Time : 1262.0 sec. user=vaughan [2011-05-11 01:55:52] 909*2^938440-1 is not prime. Res64: 9AEFD613DBA49BB3 Time : 1367.0 sec. user=vaughan [2011-05-11 01:56:43] 999*2^938439-1 is not prime. Res64: 74646FEC1F7961D0 Time : 1584.0 sec. user=vaughan [2011-05-11 02:00:07] 983*2^938440-1 is not prime. Res64: 79623D8D347CC84D Time : 1503.0 sec. user=vaughan [2011-05-11 02:02:44] 999*2^938440-1 is not prime. Res64: A648991AA69753D0 Time : 1338.0 sec. user=vaughan [2011-05-11 02:04:55] 949*2^938441-1 is not prime. Res64: 060EE340FE8528C7 Time : 1294.0 sec. user=vaughan [2011-05-11 02:06:30] 987*2^938441-1 is not prime. Res64: 7A3E089488A4E93C Time : 1195.0 sec. user=ototero [2011-05-11 02:12:20] 963*2^938415-1 is not prime. Res64: 698E0026F92E189D Time : 15258.0 sec. user=ototero [2011-05-11 02:12:20] 843*2^938416-1 is not prime. Res64: DD39406D2CD8E822 Time : 15257.0 sec. user=ototero [2011-05-11 02:12:20] 965*2^938416-1 is not prime. Res64: A44EC7E158935ED4 Time : 15257.0 sec. user=ototero [2011-05-11 02:12:20] 831*2^938417-1 is not prime. Res64: 23C5B2AE82EE5EA6 Time : 15257.0 sec. user=ototero [2011-05-11 02:12:20] 885*2^938417-1 is not prime. Res64: EF0D09A85D661797 Time : 15256.0 sec. user=ototero [2011-05-11 02:12:21] 925*2^938417-1 is not prime. Res64: 74223FD2C23D9101 Time : 15257.0 sec. user=ototero [2011-05-11 02:12:21] 979*2^938417-1 is not prime. Res64: BA31E55EE90639F9 Time : 15257.0 sec. user=ototero [2011-05-11 02:12:21] 815*2^938418-1 is not prime. Res64: A590F010A57E27E0 Time : 15257.0 sec. user=ototero [2011-05-11 02:12:21] 891*2^938418-1 is not prime. Res64: 6D56450DD58E3A73 Time : 15256.0 sec. user=ototero [2011-05-11 02:12:21] 971*2^938418-1 is not prime. Res64: BF7BA3BD58B2556C Time : 15256.0 sec. user=vaughan [2011-05-11 02:12:29] 997*2^938441-1 is not prime. Res64: 75B4DC242DB84923 Time : 1266.0 sec. user=vaughan [2011-05-11 02:12:30] 801*2^938442-1 is not prime. Res64: B86065B97667687F Time : 1266.0 sec. user=vaughan [2011-05-11 02:18:42] 885*2^938442-1 is not prime. Res64: BE4AFC6E13197927 Time : 1370.0 sec. user=vaughan [2011-05-11 02:23:12] 941*2^938442-1 is not prime. Res64: A3AD9FD3D6810B07 Time : 1590.0 sec. user=vaughan [2011-05-11 02:24:59] 819*2^938443-1 is not prime. Res64: 0BF18289FE00D22A Time : 1336.0 sec. user=vaughan [2011-05-11 02:25:15] 805*2^938443-1 is not prime. Res64: EF78CC18C138FE12 Time : 1508.0 sec. user=vaughan [2011-05-11 02:26:26] 993*2^938443-1 is not prime. Res64: 96E078B68272076F Time : 1196.0 sec. user=vaughan [2011-05-11 02:26:31] 939*2^938443-1 is not prime. Res64: F253FD2FDE011300 Time : 1296.0 sec. user=vaughan [2011-05-11 02:33:28] 981*2^938446-1 is not prime. Res64: 0677D62A27001D3E Time : 1260.0 sec. user=vaughan [2011-05-11 02:33:28] 983*2^938446-1 is not prime. Res64: B1F7EDB4E4A8A49C Time : 1258.0 sec. user=vaughan [2011-05-11 02:41:35] 987*2^938446-1 is not prime. Res64: BF20775B803ED775 Time : 1373.0 sec. user=vaughan [2011-05-11 02:46:25] 927*2^938448-1 is not prime. Res64: 0DAA7785E25D2212 Time : 1199.0 sec. user=vaughan [2011-05-11 02:47:17] 985*2^938447-1 is not prime. Res64: 067D0D233E081C96 Time : 1339.0 sec. user=vaughan [2011-05-11 02:48:14] 977*2^938448-1 is not prime. Res64: E60BE880C3FD28E2 Time : 1303.0 sec. user=vaughan [2011-05-11 02:49:45] 955*2^938447-1 is not prime. Res64: E80FE2E02773DB67 Time : 1593.0 sec. user=vaughan [2011-05-11 02:50:18] 843*2^938448-1 is not prime. Res64: FA7B2904322BA0D1 Time : 1503.0 sec. user=vaughan [2011-05-11 02:54:26] 807*2^938449-1 is not prime. Res64: 423BF1CE6B109CB8 Time : 1259.0 sec. user=vaughan [2011-05-11 02:54:27] 955*2^938449-1 is not prime. Res64: FBCE6CEFA31DD154 Time : 1259.0 sec. user=vaughan [2011-05-11 03:04:12] 957*2^938449-1 is not prime. Res64: D0F666030F183ED9 Time : 1357.0 sec. user=vaughan [2011-05-11 03:06:21] 999*2^938449-1 is not prime. Res64: BE86DFD518F6F7B0 Time : 1197.0 sec. user=vaughan [2011-05-11 03:09:11] 831*2^938450-1 is not prime. Res64: 6CD9B514DB25AFE0 Time : 1315.0 sec. user=vaughan [2011-05-11 03:09:57] 893*2^938450-1 is not prime. Res64: 0D2B31D6373CEAAD Time : 1303.0 sec. user=vaughan [2011-05-11 03:14:53] 843*2^938452-1 is not prime. Res64: AF87199B90426190 Time : 1475.0 sec. user=vaughan [2011-05-11 03:15:23] 939*2^938453-1 is not prime. Res64: DDA01EBB28E35A2B Time : 1257.0 sec. user=vaughan [2011-05-11 03:15:25] 957*2^938452-1 is not prime. Res64: 14EE5D83C0A1B371 Time : 1260.0 sec. user=vaughan [2011-05-11 03:15:35] 915*2^938450-1 is not prime. Res64: 634F316CF46900FA Time : 1550.0 sec. user=vaughan [2011-05-11 03:26:16] 833*2^938454-1 is not prime. Res64: D70D61B69C7923D7 Time : 1195.0 sec. user=vaughan [2011-05-11 03:26:39] 979*2^938453-1 is not prime. Res64: 7EA70ED1DCF1BA29 Time : 1348.0 sec. user=vaughan [2011-05-11 03:31:03] 851*2^938454-1 is not prime. Res64: A7AFCE02C75659D7 Time : 1312.0 sec. user=vaughan [2011-05-11 03:31:34] 1001*2^938454-1 is not prime. Res64: 4832FD587C7ABDED Time : 1297.0 sec. user=vaughan [2011-05-11 03:36:29] 845*2^938456-1 is not prime. Res64: 9AA0BCB6B2D52B8C Time : 1266.0 sec. user=vaughan [2011-05-11 03:36:31] 869*2^938456-1 is not prime. Res64: F22A5D8CECEC6708 Time : 1266.0 sec. user=vaughan [2011-05-11 03:39:18] 925*2^938455-1 is not prime. Res64: 70BDFFBB93045D19 Time : 1466.0 sec. user=vaughan [2011-05-11 03:41:28] 923*2^938456-1 is not prime. Res64: 0573C9A0652D304C Time : 1553.0 sec. user=vaughan [2011-05-11 03:46:17] 805*2^938457-1 is not prime. Res64: 1846B8CE245A304D Time : 1202.0 sec. user=vaughan [2011-05-11 03:48:47] 807*2^938457-1 is not prime. Res64: 156A5128D946CA3B Time : 1329.0 sec. user=vaughan [2011-05-11 03:52:41] 817*2^938457-1 is not prime. Res64: 6E0B3F5FC5B22124 Time : 1298.0 sec. user=vaughan [2011-05-11 03:53:11] 819*2^938457-1 is not prime. Res64: 0334FC68588B803D Time : 1298.0 sec. user=vaughan [2011-05-11 03:57:29] 889*2^938457-1 is not prime. Res64: 6C9928ECCA8A0669 Time : 1258.0 sec. user=vaughan [2011-05-11 03:57:31] 885*2^938457-1 is not prime. Res64: 4AAEDC44BD0C5B31 Time : 1263.0 sec. user=vaughan [2011-05-11 04:03:08] 803*2^938458-1 is not prime. Res64: 2CA1EE1C9DEC5242 Time : 1430.0 sec. user=vaughan [2011-05-11 04:06:08] 801*2^938459-1 is not prime. Res64: C8E8581492A9A7F1 Time : 1192.0 sec. user=vaughan [2011-05-11 04:06:26] 885*2^938458-1 is not prime. Res64: 069978E3E1AD6DE1 Time : 1498.0 sec. user=vaughan [2011-05-11 04:11:17] 819*2^938459-1 is not prime. Res64: D19C19682C7F890B Time : 1350.0 sec. user=vaughan [2011-05-11 04:14:48] 969*2^938459-1 is not prime. Res64: 9303AC731B9478D2 Time : 1297.0 sec. user=vaughan [2011-05-11 04:14:57] 879*2^938459-1 is not prime. Res64: 0AD40675BAC30CCA Time : 1337.0 sec. user=vaughan [2011-05-11 04:18:40] 999*2^938459-1 is not prime. Res64: 4346A4ACD9A2A1EA Time : 1271.0 sec. user=vaughan [2011-05-11 04:18:42] 803*2^938460-1 is not prime. Res64: E120933D858A6EAD Time : 1272.0 sec. user=vaughan [2011-05-11 04:25:52] 905*2^938460-1 is not prime. Res64: 4DA70896A69686AA Time : 1185.0 sec. user=vaughan [2011-05-11 04:27:59] 857*2^938460-1 is not prime. Res64: DA87FA44A8F923BD Time : 1491.0 sec. user=vaughan [2011-05-11 04:32:50] 957*2^938461-1 is not prime. Res64: 48EFF4BD36061D63 Time : 1585.0 sec. user=vaughan [2011-05-11 04:34:02] 801*2^938462-1 is not prime. Res64: B4CA4E0FDC1D5FB6 Time : 1365.0 sec. user=vaughan [2011-05-11 04:36:19] 815*2^938462-1 is not prime. Res64: 2CDFF516978D85BC Time : 1292.0 sec. user=vaughan [2011-05-11 04:37:39] 891*2^938463-1 is not prime. Res64: 815A9344709DF5F8 Time : 1362.0 sec. user=vaughan [2011-05-11 04:39:45] 929*2^938464-1 is not prime. Res64: 33CD0446B5CF2342 Time : 1265.0 sec. user=vaughan [2011-05-11 04:39:45] 939*2^938464-1 is not prime. Res64: EFD92652517759CD Time : 1264.0 sec. user=vaughan [2011-05-11 04:45:51] 983*2^938464-1 is not prime. Res64: BC1C87469512CA25 Time : 1199.0 sec. user=vaughan [2011-05-11 04:52:49] 855*2^938465-1 is not prime. Res64: 9D5D5B882637AEF2 Time : 1490.0 sec. user=vaughan [2011-05-11 04:56:48] 915*2^938465-1 is not prime. Res64: 5FBE3C43BCB5EB91 Time : 1366.0 sec. user=vaughan [2011-05-11 04:57:40] 955*2^938465-1 is not prime. Res64: 2E1BB5042B9C6685 Time : 1281.0 sec. user=vaughan [2011-05-11 04:59:16] 867*2^938465-1 is not prime. Res64: E00A17E231F4B409 Time : 1587.0 sec. user=vaughan [2011-05-11 05:00:22] 969*2^938465-1 is not prime. Res64: E5F4D83C06F55073 Time : 1364.0 sec. user=vaughan [2011-05-11 05:00:42] 825*2^938466-1 is not prime. Res64: 1038572827C30696 Time : 1258.0 sec. user=vaughan [2011-05-11 05:00:44] 867*2^938466-1 is not prime. Res64: 86476A5712FA106D Time : 1259.0 sec. user=vaughan [2011-05-11 05:05:42] 891*2^938466-1 is not prime. Res64: F763E5C53890E251 Time : 1191.0 sec. user=vaughan [2011-05-11 05:17:42] 941*2^938466-1 is not prime. Res64: A3A751039909C2A2 Time : 1493.0 sec. user=vaughan [2011-05-11 05:18:58] 819*2^938467-1 is not prime. Res64: 7B9FB9E847B632DE Time : 1279.0 sec. user=vaughan [2011-05-11 05:19:34] 971*2^938466-1 is not prime. Res64: 4D98F22180B05164 Time : 1367.0 sec. user=vaughan [2011-05-11 05:21:40] 837*2^938468-1 is not prime. Res64: DC8C3162204C55FD Time : 1259.0 sec. user=vaughan [2011-05-11 05:21:43] 855*2^938468-1 is not prime. Res64: 77DEF417AE8EB697 Time : 1260.0 sec. user=vaughan [2011-05-11 05:23:06] 833*2^938468-1 is not prime. Res64: 485A020C93698EBD Time : 1365.0 sec. user=vaughan [2011-05-11 05:25:38] 825*2^938468-1 is not prime. Res64: B858BA1559A21F3B Time : 1582.0 sec. user=vaughan [2011-05-11 05:26:25] 885*2^938468-1 is not prime. Res64: E0165F29935ECBE3 Time : 1243.0 sec. user=vaughan [2011-05-11 05:40:48] 915*2^938468-1 is not prime. Res64: C366AD1F24EF809A Time : 1310.0 sec. user=vaughan [2011-05-11 05:42:22] 959*2^938468-1 is not prime. Res64: 31E9A2E23FEBBA9E Time : 1368.0 sec. user=vaughan [2011-05-11 05:42:40] 909*2^938468-1 is not prime. Res64: 2569F2D457189B33 Time : 1498.0 sec. user=vaughan [2011-05-11 05:42:44] 963*2^938468-1 is not prime. Res64: 0FF1A730BE4314AE Time : 1264.0 sec. user=vaughan [2011-05-11 05:42:47] 995*2^938468-1 is not prime. Res64: 21C144F46482E075 Time : 1265.0 sec. user=vaughan [2011-05-11 05:45:50] 999*2^938468-1 is not prime. Res64: 5142E9FB06CB653E Time : 1365.0 sec. user=vaughan [2011-05-11 05:46:30] 927*2^938469-1 is not prime. Res64: EC414F97AB5BEAD1 Time : 1206.0 sec. user=vaughan [2011-05-11 05:52:02] 835*2^938469-1 is not prime. Res64: CDF96F9B76B04C67 Time : 1585.0 sec. user=vaughan [2011-05-11 06:02:44] 951*2^938469-1 is not prime. Res64: EDE02DCA10D4E2EE Time : 1316.0 sec. user=vaughan [2011-05-11 06:03:51] 933*2^938470-1 is not prime. Res64: 9AE8645F67007AAA Time : 1268.0 sec. user=vaughan [2011-05-11 06:03:51] 993*2^938471-1 is not prime. Res64: A41BA26B940A3D1E Time : 1265.0 sec. user=vaughan [2011-05-11 06:05:08] 991*2^938469-1 is not prime. Res64: 4BB1576978CC73D3 Time : 1366.0 sec. user=vaughan [2011-05-11 06:06:33] 879*2^938472-1 is not prime. Res64: A02FE3ABDFDB7BE7 Time : 1203.0 sec. user=vaughan [2011-05-11 06:07:35] 845*2^938470-1 is not prime. Res64: 8834EB73B8141B9E Time : 1496.0 sec. user=vaughan [2011-05-11 06:08:32] 837*2^938472-1 is not prime. Res64: 16981AB359C1D659 Time : 1363.0 sec. user=vaughan [2011-05-11 06:18:30] 945*2^938472-1 is not prime. Res64: C99926D832A871AB Time : 1589.0 sec. user=ototero [2011-05-11 06:26:24] 927*2^938444-1 is not prime. Res64: BB64E2F51CFC727A Time : 15243.0 sec. user=ototero [2011-05-11 06:26:24] 861*2^938445-1 is not prime. Res64: 2552FC48EB1A87C7 Time : 15242.0 sec. user=ototero [2011-05-11 06:26:24] 919*2^938445-1 is not prime. Res64: 3A5E9BBD49330E13 Time : 15242.0 sec. user=ototero [2011-05-11 06:26:24] 937*2^938445-1 is not prime. Res64: EB88A3277379BE84 Time : 15242.0 sec. user=ototero [2011-05-11 06:26:24] 961*2^938445-1 is not prime. Res64: 949C8E991F20096D Time : 15241.0 sec. user=ototero [2011-05-11 06:26:24] 813*2^938446-1 is not prime. Res64: 783DAE3D7FD2D039 Time : 15241.0 sec. user=ototero [2011-05-11 06:26:25] 911*2^938446-1 is not prime. Res64: 8F024F1C8444D73A Time : 15242.0 sec. user=ototero [2011-05-11 06:26:25] 933*2^938446-1 is not prime. Res64: E687D1006575444A Time : 15241.0 sec. user=ototero [2011-05-11 06:26:25] 945*2^938446-1 is not prime. Res64: 30ABFA2F1DB80D96 Time : 15241.0 sec. user=ototero [2011-05-11 06:26:25] 957*2^938446-1 is not prime. Res64: 973209819EADC6A1 Time : 15241.0 sec. user=vaughan [2011-05-11 06:27:57] 847*2^938473-1 is not prime. Res64: B5A6D8C0E4406151 Time : 1369.0 sec. user=vaughan [2011-05-11 06:31:22] 957*2^938473-1 is not prime. Res64: 50F2DABCD21DFF01 Time : 1370.0 sec. user=vaughan [2011-05-11 06:32:40] 919*2^938473-1 is not prime. Res64: CECF8C49318A7290 Time : 1505.0 sec. user=vaughan [2011-05-11 06:34:47] 895*2^938473-1 is not prime. Res64: 4426FA47B0C59483 Time : 1694.0 sec. user=vaughan [2011-05-11 06:38:00] 947*2^938472-1 is not prime. Res64: 31346E1623551852 Time : 2116.0 sec. user=vaughan [2011-05-11 06:45:00] 831*2^938474-1 is not prime. Res64: B1D370A676E32D78 Time : 1591.0 sec. user=vaughan [2011-05-11 06:48:02] 805*2^938473-1 is not prime. Res64: BDB423B035BF95BF Time : 2651.0 sec. user=vaughan [2011-05-11 06:48:30] 975*2^938472-1 is not prime. Res64: 3F84A6E23CEDD1F7 Time : 2679.0 sec. user=vaughan [2011-05-11 06:50:52] 825*2^938477-1 is not prime. Res64: E3BAE22ECC6926FE Time : 1375.0 sec. user=vaughan [2011-05-11 06:54:01] 865*2^938477-1 is not prime. Res64: 7143FB84EDBBB7CE Time : 1360.0 sec. user=vaughan [2011-05-11 06:57:38] 889*2^938477-1 is not prime. Res64: 3E32452E7C21BB4D Time : 1499.0 sec. user=vaughan [2011-05-11 07:05:39] 887*2^938478-1 is not prime. Res64: 72BA450ADCDA3296 Time : 1853.0 sec. user=vaughan [2011-05-11 07:11:22] 945*2^938478-1 is not prime. Res64: A155224D8F24F583 Time : 1582.0 sec. user=vaughan [2011-05-11 07:13:44] 909*2^938479-1 is not prime. Res64: 36195FCF7A3E0E14 Time : 1372.0 sec. user=vaughan [2011-05-11 07:16:46] 913*2^938479-1 is not prime. Res64: 9F5B1218256248B5 Time : 1365.0 sec. user=vaughan [2011-05-11 07:19:54] 893*2^938478-1 is not prime. Res64: 1A4DDEF7B0845BAE Time : 2515.0 sec. user=vaughan [2011-05-11 07:22:36] 933*2^938479-1 is not prime. Res64: 937A02ABAE2C5F56 Time : 1498.0 sec. user=vaughan [2011-05-11 07:30:49] 961*2^938479-1 is not prime. Res64: 81863FBC5AE7BBFB Time : 1511.0 sec. user=vaughan [2011-05-11 07:36:35] 879*2^938480-1 is not prime. Res64: D77EFF419B8B23C7 Time : 1371.0 sec. user=vaughan [2011-05-11 07:37:44] 999*2^938479-1 is not prime. Res64: 4AC946C4E25AFB93 Time : 1583.0 sec. user=vaughan [2011-05-11 07:39:32] 935*2^938480-1 is not prime. Res64: 546D8013C43AADA1 Time : 1366.0 sec. user=vaughan [2011-05-11 07:46:10] 971*2^938478-1 is not prime. Res64: 6354BC6942EA42CB Time : 3489.0 sec. user=vaughan [2011-05-11 07:46:55] 975*2^938478-1 is not prime. Res64: 0C3AC170F1FEA283 Time : 3505.0 sec. user=vaughan [2011-05-11 07:47:34] 979*2^938481-1 is not prime. Res64: FF39630912EB37F1 Time : 1498.0 sec. user=vaughan [2011-05-11 07:56:49] 911*2^938482-1 is not prime. Res64: 32882C5AD4361D2A Time : 1560.0 sec. user=vaughan [2011-05-11 07:59:25] 923*2^938482-1 is not prime. Res64: 0BBAF783FD0053A6 Time : 1370.0 sec. user=vaughan [2011-05-11 08:02:15] 915*2^938483-1 is not prime. Res64: 85F525742DD28862 Time : 1363.0 sec. user=vaughan [2011-05-11 08:04:05] 879*2^938483-1 is not prime. Res64: 03F8606919D27741 Time : 1581.0 sec. user=vaughan [2011-05-11 08:05:31] 999*2^938480-1 is not prime. Res64: 1660D93CEEDFC4FA Time : 2737.0 sec. user=vaughan [2011-05-11 08:12:30] 915*2^938484-1 is not prime. Res64: 0B4C25689DA5818E Time : 1496.0 sec. user=vaughan [2011-05-11 08:22:12] 831*2^938485-1 is not prime. Res64: 9500736D2D249DF0 Time : 1367.0 sec. user=vaughan [2011-05-11 08:24:55] 951*2^938485-1 is not prime. Res64: BDB0A8A695DE0C44 Time : 1360.0 sec. user=vaughan [2011-05-11 08:29:33] 903*2^938486-1 is not prime. Res64: 3A11905DAE54D627 Time : 1442.0 sec. user=vaughan [2011-05-11 08:30:27] 801*2^938486-1 is not prime. Res64: EBA6ADE1F64A565D Time : 1582.0 sec. user=vaughan [2011-05-11 08:32:34] 959*2^938484-1 is not prime. Res64: 9485E28352C0E462 Time : 2145.0 sec. user=vaughan [2011-05-11 08:37:24] 911*2^938486-1 is not prime. Res64: 692BE0DAAC332DA7 Time : 1494.0 sec. user=vaughan [2011-05-11 08:40:33] 955*2^938483-1 is not prime. Res64: 90E6DC5E753D9F4B Time : 3263.0 sec. user=vaughan [2011-05-11 08:41:39] 909*2^938484-1 is not prime. Res64: 5A0FA2793856D1EE Time : 3284.0 sec. user=vaughan [2011-05-11 08:45:04] 823*2^938487-1 is not prime. Res64: 17087E72B2F1BCCC Time : 1372.0 sec. user=vaughan [2011-05-11 08:47:36] 849*2^938487-1 is not prime. Res64: C23E2D77D7BACA52 Time : 1361.0 sec. user=vaughan [2011-05-11 08:56:38] 885*2^938487-1 is not prime. Res64: CF02D1DEA3063B47 Time : 1571.0 sec. user=vaughan [2011-05-11 08:57:26] 901*2^938487-1 is not prime. Res64: 49927873D7A9DE6C Time : 1492.0 sec. user=vaughan [2011-05-11 09:02:04] 909*2^938487-1 is not prime. Res64: BE7175381A73F79A Time : 1480.0 sec. user=vaughan [2011-05-11 09:07:32] 855*2^938488-1 is not prime. Res64: F4D74A8A6CA63DD4 Time : 1348.0 sec. user=vaughan [2011-05-11 09:09:27] 923*2^938488-1 is not prime. Res64: 2C3DB46E13AC93F9 Time : 1311.0 sec. user=vaughan [2011-05-11 09:11:39] 879*2^938487-1 is not prime. Res64: 3B2CDE85710474DE Time : 2526.0 sec. user=vaughan [2011-05-11 09:21:29] 847*2^938489-1 is not prime. Res64: BAABB4BB89E277F8 Time : 1443.0 sec. user=vaughan [2011-05-11 09:22:25] 995*2^938488-1 is not prime. Res64: D3BE2A498F2B9B63 Time : 1547.0 sec. user=vaughan [2011-05-11 09:26:30] 865*2^938489-1 is not prime. Res64: 4463325DD6EA2857 Time : 1466.0 sec. user=vaughan [2011-05-11 09:36:11] 961*2^938487-1 is not prime. Res64: 2571CA9AF2F4EAB1 Time : 3338.0 sec. user=vaughan [2011-05-11 09:42:53] 813*2^938488-1 is not prime. Res64: B9114224ADEA32D3 Time : 3675.0 sec. user=vaughan [2011-05-11 09:54:21] 971*2^938490-1 is not prime. Res64: 2221F91EEB090007 Time : 2562.0 sec. user=vaughan [2011-05-11 10:02:26] 849*2^938491-1 is not prime. Res64: 1C6D019B786D60A7 Time : 2457.0 sec. user=vaughan [2011-05-11 10:10:39] 961*2^938491-1 is not prime. Res64: 3F64200057A4261B Time : 2068.0 sec. user=vaughan [2011-05-11 10:35:12] 803*2^938492-1 is not prime. Res64: 8D883A51AD618726 Time : 2452.0 sec. user=ototero [2011-05-11 10:39:50] 953*2^938474-1 is not prime. Res64: E344B9C7AD73C486 Time : 15205.0 sec. user=ototero [2011-05-11 10:39:50] 805*2^938475-1 is not prime. Res64: 28E2264391C84566 Time : 15204.0 sec. user=ototero [2011-05-11 10:39:50] 895*2^938475-1 is not prime. Res64: FF9718112BAE7606 Time : 15204.0 sec. user=ototero [2011-05-11 10:39:50] 903*2^938475-1 is not prime. Res64: 31176AE7D3D99A9F Time : 15204.0 sec. user=ototero [2011-05-11 10:39:51] 985*2^938475-1 is not prime. Res64: 48735FF420648719 Time : 15204.0 sec. user=ototero [2011-05-11 10:39:51] 999*2^938475-1 is not prime. Res64: C6AE0E6A52B1F4F5 Time : 15204.0 sec. user=ototero [2011-05-11 10:39:51] 869*2^938476-1 is not prime. Res64: 99A0471327555057 Time : 15204.0 sec. user=ototero [2011-05-11 10:39:52] 939*2^938476-1 is not prime. Res64: BF69545C08891054 Time : 15204.0 sec. user=ototero [2011-05-11 10:39:52] 975*2^938476-1 is not prime. Res64: F8A2C2F80EECB411 Time : 15204.0 sec. user=ototero [2011-05-11 10:39:52] 801*2^938477-1 is not prime. Res64: 72EF6A8E0C0CC40D Time : 15204.0 sec. user=vaughan [2011-05-11 10:44:02] 843*2^938492-1 is not prime. Res64: 75C76D3E66C0D721 Time : 2003.0 sec. user=vaughan [2011-05-11 10:49:38] 969*2^938491-1 is not prime. Res64: 59C2E1804E7049BB Time : 4006.0 sec. user=vaughan [2011-05-11 10:51:12] 813*2^938492-1 is not prime. Res64: 928D3151F5FA4F14 Time : 2927.0 sec. user=vaughan [2011-05-11 11:15:56] 855*2^938492-1 is not prime. Res64: AB37368DEB8AD5D8 Time : 2444.0 sec. user=vaughan [2011-05-11 11:19:12] 895*2^938495-1 is not prime. Res64: BE1297158FEB13AD Time : 2110.0 sec. user=vaughan [2011-05-11 11:32:25] 991*2^938495-1 is not prime. Res64: 999B2EB545E357FC Time : 2473.0 sec. user=vaughan [2011-05-11 11:44:25] 969*2^938495-1 is not prime. Res64: 872E16FBFAA05425 Time : 3287.0 sec. user=vaughan [2011-05-11 11:56:59] 845*2^938496-1 is not prime. Res64: 18B3374696D01B5F Time : 2267.0 sec. user=vaughan [2011-05-11 11:59:33] 999*2^938495-1 is not prime. Res64: 457DE920C3F483BF Time : 2618.0 sec. user=vaughan [2011-05-11 12:14:20] 857*2^938496-1 is not prime. Res64: 64AD40D86FA7ED4D Time : 2515.0 sec. user=vaughan [2011-05-11 12:38:20] 945*2^938496-1 is not prime. Res64: 92AE7B4BD7B51EFB Time : 2481.0 sec. user=vaughan [2011-05-11 12:40:11] 805*2^938497-1 is not prime. Res64: 7113872ADF0DB0B3 Time : 2439.0 sec. user=vaughan [2011-05-11 12:41:19] 905*2^938496-1 is not prime. Res64: 62FB42BC258ECEC4 Time : 3414.0 sec. user=vaughan [2011-05-11 12:49:53] 885*2^938497-1 is not prime. Res64: 612E5B15A0AD872C Time : 2134.0 sec. user=vaughan [2011-05-11 13:16:01] 939*2^938497-1 is not prime. Res64: 720F9CCD37AE07DB Time : 2261.0 sec. user=vaughan [2011-05-11 13:25:26] 867*2^938498-1 is not prime. Res64: 4C15DBECAEE83810 Time : 2134.0 sec. user=vaughan [2011-05-11 13:31:21] 857*2^938498-1 is not prime. Res64: 1F1A911091CACC5E Time : 3002.0 sec. user=vaughan [2011-05-11 13:32:11] 843*2^938498-1 is not prime. Res64: FEDD8BC6410FF56F Time : 3120.0 sec. user=vaughan [2011-05-11 13:49:21] 957*2^938498-1 is not prime. Res64: 37E6CC5156E1FF14 Time : 2000.0 sec. user=vaughan [2011-05-11 14:06:08] 993*2^938498-1 is not prime. Res64: B03199586AA4E197 Time : 2443.0 sec. user=vaughan [2011-05-11 14:19:03] 969*2^938499-1 is not prime. Res64: ED5082B658913E0E Time : 2812.0 sec. user=vaughan [2011-05-11 14:24:29] 891*2^938499-1 is not prime. Res64: BD046CB50B749722 Time : 3188.0 sec. user=vaughan [2011-05-11 14:24:52] 803*2^938500-1 is not prime. Res64: 4C1E215CC05EFD79 Time : 2131.0 sec. user=vaughan [2011-05-11 14:41:53] 827*2^938500-1 is not prime. Res64: FEEDF4D67073E9BA Time : 2145.0 sec. user=ototero [2011-05-11 14:53:08] 873*2^938492-1 is not prime. Res64: F7148D9EA0B0EBBB Time : 15195.0 sec. user=ototero [2011-05-11 14:53:08] 999*2^938492-1 is not prime. Res64: 62DEB7BB1F647F66 Time : 15195.0 sec. user=ototero [2011-05-11 14:53:09] 847*2^938493-1 is not prime. Res64: B72A9103203A4A45 Time : 15195.0 sec. user=ototero [2011-05-11 14:53:09] 895*2^938493-1 is not prime. Res64: 15618A05F75C95DD Time : 15195.0 sec. user=ototero [2011-05-11 14:53:09] 999*2^938493-1 is not prime. Res64: A33AD164EDF20C0F Time : 15194.0 sec. user=ototero [2011-05-11 14:53:09] 825*2^938494-1 is not prime. Res64: F533F0BB538F0A3D Time : 15194.0 sec. user=ototero [2011-05-11 14:53:09] 887*2^938494-1 is not prime. Res64: DECE7E0C5393FABD Time : 15194.0 sec. user=ototero [2011-05-11 14:53:09] 945*2^938494-1 is not prime. Res64: 15EBB8929B5CB5C1 Time : 15193.0 sec. user=ototero [2011-05-11 14:53:10] 841*2^938495-1 is not prime. Res64: DC68B0499A99F68A Time : 15194.0 sec. user=ototero [2011-05-11 14:53:10] 855*2^938495-1 is not prime. Res64: 3A164D7C573BE05F Time : 15194.0 sec. user=vaughan [2011-05-11 15:02:33] 837*2^938501-1 is not prime. Res64: D1271B0E02C09551 Time : 2261.0 sec. user=vaughan [2011-05-11 15:03:39] 843*2^938500-1 is not prime. Res64: 0BC0CF7409CBAF09 Time : 2676.0 sec. user=vaughan [2011-05-11 15:13:36] 939*2^938500-1 is not prime. Res64: 5A3303665D6DFE18 Time : 2947.0 sec. user=vaughan [2011-05-11 15:17:34] 855*2^938501-1 is not prime. Res64: 87624268C3BC74E9 Time : 2141.0 sec. user=vaughan [2011-05-11 15:38:31] 991*2^938505-1 is not prime. Res64: C4AA9EEA97268594 Time : 2158.0 sec. user=vaughan [2011-05-11 15:49:16] 801*2^938506-1 is not prime. Res64: 554B4A5C53B38B91 Time : 2737.0 sec. user=vaughan [2011-05-11 15:51:37] 883*2^938507-1 is not prime. Res64: 76D6E0309BB7EF5C Time : 2043.0 sec. user=vaughan [2011-05-11 16:00:58] 803*2^938506-1 is not prime. Res64: 31531CFFFCA4568C Time : 2842.0 sec. user=vaughan [2011-05-11 16:14:14] 969*2^938508-1 is not prime. Res64: FB55ABE33628ACC5 Time : 2143.0 sec. user=vaughan [2011-05-11 16:25:39] 919*2^938509-1 is not prime. Res64: 37FEA737D12A9453 Time : 2042.0 sec. user=vaughan [2011-05-11 16:32:01] 897*2^938509-1 is not prime. Res64: 0C3EAF83B169E69A Time : 2565.0 sec. user=vaughan [2011-05-11 16:50:55] 813*2^938510-1 is not prime. Res64: FCA8A9E4E079BAFF Time : 2998.0 sec. user=vaughan [2011-05-11 16:54:04] 861*2^938510-1 is not prime. Res64: 7BD4CBCCBE940DB2 Time : 2390.0 sec. user=vaughan [2011-05-11 17:01:51] 941*2^938510-1 is not prime. Res64: 2B0DED96FBF56822 Time : 2173.0 sec. user=vaughan [2011-05-11 17:13:09] 953*2^938510-1 is not prime. Res64: 1829A26326F32720 Time : 2468.0 sec. user=vaughan [2011-05-11 17:29:33] 895*2^938511-1 is not prime. Res64: 112B9613752ADC31 Time : 2129.0 sec. user=vaughan [2011-05-11 17:38:01] 909*2^938489-1 is not prime. Res64: BF334ED67ACA9CD1 Time : 30629.0 sec. user=vaughan [2011-05-11 17:39:36] 915*2^938490-1 is not prime. Res64: B0ADB6F82D7F1384 Time : 30609.0 sec. user=vaughan [2011-05-11 17:46:33] 901*2^938511-1 is not prime. Res64: C4001DAD127F7E69 Time : 2682.0 sec. user=vaughan [2011-05-11 17:49:46] 825*2^938511-1 is not prime. Res64: E04353BB10DE6991 Time : 3532.0 sec. user=vaughan [2011-05-11 17:55:04] 951*2^938511-1 is not prime. Res64: 70B7CC22AF080AAC Time : 2515.0 sec. user=vaughan [2011-05-11 18:03:53] 969*2^938511-1 is not prime. Res64: DA11932C58EC99F3 Time : 2060.0 sec. user=vaughan [2011-05-11 18:22:55] 975*2^938511-1 is not prime. Res64: 48323DFBC64A58D1 Time : 2766.0 sec. user=vaughan [2011-05-11 18:22:58] 965*2^938512-1 is not prime. Res64: BE6D946C79EB494A Time : 2769.0 sec. user=vaughan [2011-05-11 18:26:38] 909*2^938515-1 is not prime. Res64: F19464B35E6D131B Time : 2405.0 sec. user=vaughan [2011-05-11 18:37:25] 999*2^938515-1 is not prime. Res64: 2F6BB5FA68B28874 Time : 2542.0 sec. user=vaughan [2011-05-11 18:38:45] 845*2^938516-1 is not prime. Res64: DBF6F872D1C51905 Time : 2092.0 sec. user=vaughan [2011-05-11 18:41:21] 939*2^938515-1 is not prime. Res64: B9E77C328B434BC3 Time : 3096.0 sec. user=vaughan [2011-05-11 18:58:51] 957*2^938516-1 is not prime. Res64: 8F47BE0095F7B0A0 Time : 1934.0 sec. user=vaughan [2011-05-11 19:12:16] 849*2^938517-1 is not prime. Res64: 8893F0FC28125405 Time : 2011.0 sec. user=vaughan [2011-05-11 19:26:08] 983*2^938516-1 is not prime. Res64: 867292FC538C426D Time : 2923.0 sec. user=vaughan [2011-05-11 19:29:11] 949*2^938517-1 is not prime. Res64: D894E1A5CC09D094 Time : 2870.0 sec. user=vaughan [2011-05-11 19:34:06] 833*2^938518-1 is not prime. Res64: 1A71726CFC8A2D40 Time : 2116.0 sec. user=vaughan [2011-05-11 19:51:42] 843*2^938519-1 is not prime. Res64: ECDEA72A8415D36D Time : 2366.0 sec. user=vaughan [2011-05-11 20:08:36] 803*2^938520-1 is not prime. Res64: 18120C86205143E0 Time : 2070.0 sec. user=vaughan [2011-05-11 20:16:51] 861*2^938519-1 is not prime. Res64: BFDA707A3EFFCF42 Time : 3043.0 sec. user=vaughan [2011-05-11 20:16:55] 921*2^938519-1 is not prime. Res64: 29F2125BF1C64194 Time : 2864.0 sec. user=vaughan [2011-05-11 20:25:08] 845*2^938520-1 is not prime. Res64: A2651F16E80C0AC1 Time : 2006.0 sec. user=vaughan [2011-05-11 20:44:13] 849*2^938520-1 is not prime. Res64: 7D68F27DB3DF2E2B Time : 2138.0 sec. user=vaughan [2011-05-11 20:59:52] 893*2^938520-1 is not prime. Res64: 70E02EB24EFA9478 Time : 2581.0 sec. user=vaughan [2011-05-11 20:59:57] 929*2^938520-1 is not prime. Res64: E2FF9D2416EDF076 Time : 2090.0 sec. user=vaughan [2011-05-11 21:07:36] 915*2^938520-1 is not prime. Res64: BFB8F086229EB66A Time : 3041.0 sec. user=vaughan [2011-05-11 21:24:52] 855*2^938521-1 is not prime. Res64: 7119FAE9C6143E6A Time : 2440.0 sec. user=vaughan [2011-05-11 21:37:25] 885*2^938522-1 is not prime. Res64: A9CC6F9E3CF0869A Time : 2248.0 sec. user=vaughan [2011-05-11 21:41:57] 825*2^938522-1 is not prime. Res64: 7D2CCF71399099CA Time : 2526.0 sec. user=vaughan [2011-05-11 21:59:40] 963*2^938522-1 is not prime. Res64: E2FAA139CF694316 Time : 2089.0 sec. user=vaughan [2011-05-11 22:00:10] 921*2^938522-1 is not prime. Res64: 5A8AA2C0E45289FD Time : 3154.0 sec. user=vaughan [2011-05-11 22:19:57] 859*2^938523-1 is not prime. Res64: 4D03414DB8EE8CE0 Time : 2280.0 sec. user=vaughan [2011-05-11 22:25:12] 805*2^938523-1 is not prime. Res64: 73EFED3873E423FE Time : 2867.0 sec. user=vaughan [2011-05-11 22:31:07] 955*2^938523-1 is not prime. Res64: AB15ECB1C007232C Time : 1887.0 sec. user=vaughan [2011-05-11 22:47:50] 905*2^938524-1 is not prime. Res64: 1354E325FC8B1D93 Time : 2861.0 sec. user=vaughan [2011-05-11 23:03:38] 983*2^938524-1 is not prime. Res64: 6E2F07EDD0F75054 Time : 2621.0 sec. user=vaughan [2011-05-11 23:07:52] 993*2^938524-1 is not prime. Res64: 6364788E70C55703 Time : 2560.0 sec. user=vaughan [2011-05-11 23:07:52] 867*2^938525-1 is not prime. Res64: AF4A0AB7B747617B Time : 2205.0 sec. user=vaughan [2011-05-11 23:38:26] 807*2^938526-1 is not prime. Res64: 928B7D12B0505896 Time : 3037.0 sec. user=vaughan [2011-05-11 23:44:52] 921*2^938526-1 is not prime. Res64: 91124BD0976835C1 Time : 2220.0 sec. user=vaughan [2011-05-11 23:45:26] 815*2^938526-1 is not prime. Res64: CEFB058F6406C4A8 Time : 2509.0 sec. user=vaughan [2011-05-11 23:53:39] 917*2^938526-1 is not prime. Res64: 320D7B281123700C Time : 2747.0 sec.