user=vaughan [2011-05-12 00:15:06] 933*2^938232-1 is not prime. Res64: 92945DD505B868C0 Time : 1781.0 sec. user=vaughan [2011-05-12 00:16:10] 993*2^938231-1 is not prime. Res64: AE1A3B0A75077487 Time : 1879.0 sec. user=vaughan [2011-05-12 00:29:38] 859*2^938527-1 is not prime. Res64: E49F767FA627880B Time : 3072.0 sec. user=vaughan [2011-05-12 00:32:34] 945*2^938232-1 is not prime. Res64: 4424E87A7DBF4EBD Time : 2335.0 sec. user=vaughan [2011-05-12 00:56:52] 957*2^938232-1 is not prime. Res64: FE51D811CD267A77 Time : 2506.0 sec. user=vaughan [2011-05-12 01:05:01] 819*2^938233-1 is not prime. Res64: 3E44507FB65835A4 Time : 2931.0 sec. user=vaughan [2011-05-12 01:06:08] 915*2^938233-1 is not prime. Res64: 924C65C184F665F8 Time : 2014.0 sec. user=vaughan [2011-05-12 01:35:52] 851*2^938234-1 is not prime. Res64: 9BAC04326677B88B Time : 2341.0 sec. user=vaughan [2011-05-12 01:36:56] 855*2^938233-1 is not prime. Res64: B3D1DADC8CD3D815 Time : 4039.0 sec. user=vaughan [2011-05-12 01:43:12] 853*2^938235-1 is not prime. Res64: 5FDB9B89E7FDA528 Time : 2224.0 sec. user=vaughan [2011-05-12 01:53:01] 849*2^938235-1 is not prime. Res64: B9B34933F200755B Time : 2880.0 sec. user=vaughan [2011-05-12 02:15:54] 961*2^938235-1 is not prime. Res64: 94C40DADA3341024 Time : 2402.0 sec. user=vaughan [2011-05-12 02:18:43] 937*2^938237-1 is not prime. Res64: 0165B1269FB9A604 Time : 2131.0 sec. user=vaughan [2011-05-12 02:40:35] 967*2^938237-1 is not prime. Res64: FF02F90CDC50F710 Time : 2854.0 sec. user=vaughan [2011-05-12 02:42:45] 869*2^938236-1 is not prime. Res64: 6860AAC49001111C Time : 3950.0 sec. user=vaughan [2011-05-12 02:54:34] 843*2^938238-1 is not prime. Res64: 0E1EDD998C62E687 Time : 2151.0 sec. user=vaughan [2011-05-12 02:55:20] 815*2^938238-1 is not prime. Res64: 4E35AD6A702DADA6 Time : 2367.0 sec. user=vaughan [2011-05-12 03:17:27] 831*2^938239-1 is not prime. Res64: 7664E7535324A613 Time : 2212.0 sec. user=vaughan [2011-05-12 03:34:18] 841*2^938239-1 is not prime. Res64: FBAA604E0D5775A8 Time : 3094.0 sec. user=vaughan [2011-05-12 03:35:00] 875*2^938240-1 is not prime. Res64: 5F99C6CAFF30F7EF Time : 2381.0 sec. user=vaughan [2011-05-12 03:40:23] 999*2^938239-1 is not prime. Res64: F1A2ED729437BB0C Time : 2749.0 sec. user=vaughan [2011-05-12 03:56:24] 879*2^938240-1 is not prime. Res64: 4AC43AFA8992CA65 Time : 2337.0 sec. user=vaughan [2011-05-12 04:14:36] 847*2^938241-1 is not prime. Res64: A3DB39271E649A9F Time : 2377.0 sec. user=vaughan [2011-05-12 04:15:29] 861*2^938241-1 is not prime. Res64: A663844A29580AA6 Time : 2106.0 sec. user=vaughan [2011-05-12 04:22:59] 999*2^938240-1 is not prime. Res64: 43ABC78B70CE9BFE Time : 2921.0 sec. user=vaughan [2011-05-12 04:29:09] 865*2^938241-1 is not prime. Res64: B6DF7D7CA6E4AE13 Time : 1965.0 sec. user=vaughan [2011-05-12 04:49:33] 825*2^938242-1 is not prime. Res64: 33960042E616D9FB Time : 1224.0 sec. user=vaughan [2011-05-12 04:50:42] 885*2^938241-1 is not prime. Res64: C6C0BD8E810D4A63 Time : 2166.0 sec. user=vaughan [2011-05-12 04:52:29] 901*2^938241-1 is not prime. Res64: 6C9A2A186853BF35 Time : 2221.0 sec. user=vaughan [2011-05-12 05:09:01] 979*2^938241-1 is not prime. Res64: 6ADFFBA43A99842A Time : 2762.0 sec. user=vaughan [2011-05-12 05:09:34] 843*2^938242-1 is not prime. Res64: 6D8E94BD64290D3F Time : 1201.0 sec. user=vaughan [2011-05-12 05:23:58] 885*2^938242-1 is not prime. Res64: CA8C8ED3B8D3BA79 Time : 1996.0 sec. user=vaughan [2011-05-12 05:28:20] 947*2^938242-1 is not prime. Res64: 3F8129F846A4F099 Time : 2151.0 sec. user=vaughan [2011-05-12 05:32:14] 1001*2^938242-1 is not prime. Res64: 2924A2EC12380417 Time : 1361.0 sec. user=vaughan [2011-05-12 05:51:14] 975*2^938242-1 is not prime. Res64: 9D557468603B9513 Time : 2534.0 sec. user=vaughan [2011-05-12 05:54:55] 929*2^938244-1 is not prime. Res64: 1F44B92367AF7D0F Time : 1362.0 sec. user=vaughan [2011-05-12 05:58:06] 859*2^938243-1 is not prime. Res64: 18D2C2B82ED03595 Time : 2048.0 sec. user=vaughan [2011-05-12 05:58:44] 873*2^938244-1 is not prime. Res64: 0FB6FA5BEA17EE2D Time : 1824.0 sec. user=vaughan [2011-05-12 06:11:38] 983*2^938244-1 is not prime. Res64: B388118F29C8C38D Time : 1225.0 sec. user=vaughan [2011-05-12 06:14:55] 895*2^938245-1 is not prime. Res64: 67A562087604AF07 Time : 1200.0 sec. user=vaughan [2011-05-12 06:19:31] 927*2^938245-1 is not prime. Res64: 5DB1F655D4BFBD67 Time : 1285.0 sec. user=vaughan [2011-05-12 06:19:56] 961*2^938245-1 is not prime. Res64: E68AEFE2F6E95CA5 Time : 1272.0 sec. user=vaughan [2011-05-12 06:31:13] 801*2^938246-1 is not prime. Res64: F56352E025E9233A Time : 1175.0 sec. user=vaughan [2011-05-12 06:34:57] 825*2^938246-1 is not prime. Res64: 232F4E71C259646E Time : 1202.0 sec. user=vaughan [2011-05-12 06:40:22] 843*2^938246-1 is not prime. Res64: 2B2B71E2D554C2F4 Time : 1251.0 sec. user=vaughan [2011-05-12 06:41:18] 981*2^938246-1 is not prime. Res64: B3C9E5D3B664FD32 Time : 1283.0 sec. user=vaughan [2011-05-12 06:50:40] 849*2^938248-1 is not prime. Res64: 2E1ECC51203DB91E Time : 1167.0 sec. user=vaughan [2011-05-12 06:54:33] 863*2^938248-1 is not prime. Res64: 2983F769A74E70E2 Time : 1177.0 sec. user=vaughan [2011-05-12 07:00:50] 909*2^938249-1 is not prime. Res64: 1A4595A17B304A58 Time : 1228.0 sec. user=vaughan [2011-05-12 07:02:23] 967*2^938249-1 is not prime. Res64: D0719793F5BECB7B Time : 1265.0 sec. user=vaughan [2011-05-12 07:10:07] 885*2^938250-1 is not prime. Res64: 079CFEEE0AA5176E Time : 1167.0 sec. user=vaughan [2011-05-12 07:14:10] 861*2^938527-1 is not prime. Res64: 82BAD844AA4682BF Time : 1177.0 sec. user=vaughan [2011-05-12 07:21:37] 883*2^938527-1 is not prime. Res64: 8A94F6D117397AAD Time : 1247.0 sec. user=vaughan [2011-05-12 07:23:35] 915*2^938527-1 is not prime. Res64: 9C3F4183EF87FC38 Time : 1272.0 sec. user=vaughan [2011-05-12 07:29:34] 945*2^938528-1 is not prime. Res64: 6A321470BAC1A794 Time : 1168.0 sec. user=vaughan [2011-05-12 07:33:56] 969*2^938528-1 is not prime. Res64: 5022261DD4479B95 Time : 1187.0 sec. user=vaughan [2011-05-12 07:43:02] 919*2^938529-1 is not prime. Res64: 4BF4CBEE70ABF61F Time : 1285.0 sec. user=vaughan [2011-05-12 07:45:14] 955*2^938529-1 is not prime. Res64: 732538E55796EB49 Time : 1299.0 sec. user=vaughan [2011-05-12 07:49:09] 985*2^938529-1 is not prime. Res64: C2084003E2C8E3DB Time : 1175.0 sec. user=vaughan [2011-05-12 07:53:38] 999*2^938529-1 is not prime. Res64: 6237CE4C276F342A Time : 1183.0 sec. user=vaughan [2011-05-12 08:04:20] 855*2^938530-1 is not prime. Res64: E6FA3DDEA49B32A7 Time : 1278.0 sec. user=vaughan [2011-05-12 08:06:39] 887*2^938530-1 is not prime. Res64: D0A6329995A6B1BB Time : 1285.0 sec. user=vaughan [2011-05-12 08:08:38] 933*2^938530-1 is not prime. Res64: 2A147ADF4131494D Time : 1170.0 sec. user=vaughan [2011-05-12 08:13:19] 987*2^938530-1 is not prime. Res64: 3D687B023C3BBBF7 Time : 1181.0 sec. user=vaughan [2011-05-12 08:25:45] 973*2^938531-1 is not prime. Res64: 187A1C21CC1652A4 Time : 1285.0 sec. user=vaughan [2011-05-12 08:27:53] 893*2^938532-1 is not prime. Res64: 1ED825A6E17A75A9 Time : 1274.0 sec. user=vaughan [2011-05-12 08:28:08] 801*2^938533-1 is not prime. Res64: 5A00DE6B16BE2CC0 Time : 1171.0 sec. user=vaughan [2011-05-12 08:33:03] 877*2^938533-1 is not prime. Res64: 91CDFA6F6685F287 Time : 1184.0 sec. user=vaughan [2011-05-12 08:47:17] 951*2^938533-1 is not prime. Res64: 75E36E52850BC874 Time : 1292.0 sec. user=vaughan [2011-05-12 08:47:37] 885*2^938534-1 is not prime. Res64: 11E47ABC5036C15A Time : 1169.0 sec. user=vaughan [2011-05-12 08:49:05] 827*2^938534-1 is not prime. Res64: FCB392D6E31AC11F Time : 1272.0 sec. user=vaughan [2011-05-12 08:52:43] 917*2^938534-1 is not prime. Res64: B56FD6C933165874 Time : 1181.0 sec. user=vaughan [2011-05-12 09:07:06] 913*2^938535-1 is not prime. Res64: DABD5BB22554334C Time : 1169.0 sec. user=vaughan [2011-05-12 09:08:35] 895*2^938535-1 is not prime. Res64: C94C6702BACDA3B6 Time : 1278.0 sec. user=vaughan [2011-05-12 09:10:32] 813*2^938536-1 is not prime. Res64: 4E15057B2E580395 Time : 1288.0 sec. user=vaughan [2011-05-12 09:12:24] 927*2^938536-1 is not prime. Res64: 3C10FD016907EC0C Time : 1181.0 sec. user=vaughan [2011-05-12 09:26:46] 957*2^938536-1 is not prime. Res64: D57CBC89F15B4465 Time : 1180.0 sec. user=vaughan [2011-05-12 09:29:49] 975*2^938536-1 is not prime. Res64: 61B0F7B7C864F5E6 Time : 1274.0 sec. user=vaughan [2011-05-12 09:31:38] 879*2^938537-1 is not prime. Res64: EE34BB95F316260C Time : 1266.0 sec. user=vaughan [2011-05-12 09:32:06] 925*2^938537-1 is not prime. Res64: 80D4F3ABB56DA1AE Time : 1182.0 sec. user=vaughan [2011-05-12 09:47:05] 801*2^938538-1 is not prime. Res64: FC70E64753EE9B38 Time : 1219.0 sec. user=ototero [2011-05-12 13:35:05] 867*2^938378-1 is not prime. Res64: F32AB2FDA847746E Time : 162482.0 sec. user=ototero [2011-05-12 13:35:06] 893*2^938378-1 is not prime. Res64: 215689B24DA74534 Time : 162483.0 sec. user=ototero [2011-05-12 13:35:07] 923*2^938378-1 is not prime. Res64: 04ECDA1E88187B53 Time : 162484.0 sec. user=ototero [2011-05-12 13:35:07] 971*2^938378-1 is not prime. Res64: 1488A2BB496FCEAF Time : 162483.0 sec. user=ototero [2011-05-12 13:35:07] 977*2^938378-1 is not prime. Res64: 13B60991AD8FE3EA Time : 162483.0 sec. user=vaughan [2011-05-12 18:09:30] 893*2^938538-1 is not prime. Res64: B324BF23C8355C5B Time : 31181.0 sec. user=vaughan [2011-05-12 18:09:59] 891*2^938539-1 is not prime. Res64: 56A5B79491269812 Time : 31074.0 sec. user=vaughan [2011-05-12 18:10:04] 1001*2^938538-1 is not prime. Res64: BF44A32C3317F9FB Time : 31106.0 sec. user=vaughan [2011-05-12 18:17:00] 889*2^938515-1 is not prime. Res64: 4A0193B1726F5DBA Time : 88645.0 sec. user=vaughan [2011-05-12 18:22:02] 969*2^938513-1 is not prime. Res64: C57C5FDD5E7F49B1 Time : 89041.0 sec. user=vaughan [2011-05-12 18:25:49] 891*2^938491-1 is not prime. Res64: 8FA020FCBB29AA4F Time : 118760.0 sec. user=vaughan [2011-05-12 18:26:41] 915*2^938540-1 is not prime. Res64: 518D1F702E79B22C Time : 31177.0 sec. user=vaughan [2011-05-12 18:29:14] 825*2^938559-1 is not prime. Res64: 7A3CBB1E64C2D2F7 Time : 1155.0 sec. user=vaughan [2011-05-12 18:29:30] 895*2^938559-1 is not prime. Res64: 71DE739AA47A2346 Time : 1166.0 sec. user=vaughan [2011-05-12 18:29:52] 885*2^938491-1 is not prime. Res64: 2279D51DD99C47D7 Time : 119248.0 sec. user=vaughan [2011-05-12 18:30:40] 1001*2^938558-1 is not prime. Res64: A8BEBF413870CD05 Time : 1270.0 sec. user=vaughan [2011-05-12 18:47:55] 951*2^938559-1 is not prime. Res64: F015A0CCFF04CDB9 Time : 1274.0 sec. user=vaughan [2011-05-12 18:48:27] 825*2^938560-1 is not prime. Res64: 09E0CA94E00E40C5 Time : 1153.0 sec. user=vaughan [2011-05-12 18:49:02] 827*2^938560-1 is not prime. Res64: 7F04F253175347A9 Time : 1172.0 sec. user=vaughan [2011-05-12 18:50:00] 945*2^938557-1 is not prime. Res64: 16C006637CF97CD6 Time : 2592.0 sec. user=vaughan [2011-05-12 18:51:45] 805*2^938561-1 is not prime. Res64: 58CB098D1051B42D Time : 1265.0 sec. user=vaughan [2011-05-12 18:52:51] 919*2^938559-1 is not prime. Res64: 1926DC0855F4AA1F Time : 2152.0 sec. user=vaughan [2011-05-12 18:58:06] 935*2^938558-1 is not prime. Res64: E1E7DEAA9F54BE32 Time : 3077.0 sec. user=vaughan [2011-05-12 19:01:44] 933*2^938559-1 is not prime. Res64: D0FDB674A05FEB1F Time : 2155.0 sec. user=vaughan [2011-05-12 19:07:40] 837*2^938561-1 is not prime. Res64: 97B3D5EDCE64604E Time : 1153.0 sec. user=vaughan [2011-05-12 19:08:40] 811*2^938561-1 is not prime. Res64: EF083095F9158E7F Time : 1246.0 sec. user=vaughan [2011-05-12 19:09:09] 901*2^938561-1 is not prime. Res64: 6F4E4C6FACCDFCE0 Time : 1208.0 sec. user=vaughan [2011-05-12 19:12:35] 949*2^938561-1 is not prime. Res64: 3EF0878C7F170FF5 Time : 1250.0 sec. user=vaughan [2011-05-12 19:16:52] 921*2^938559-1 is not prime. Res64: DCC72FF9D7DE43BF Time : 3291.0 sec. user=ototero [2011-05-12 19:20:07] 959*2^938540-1 is not prime. Res64: 2093DF8B191D45A2 Time : 20700.0 sec. user=ototero [2011-05-12 19:20:07] 977*2^938540-1 is not prime. Res64: 485E018ECB4650D5 Time : 20699.0 sec. user=ototero [2011-05-12 19:20:07] 895*2^938541-1 is not prime. Res64: 5BBFC3EA510960F8 Time : 20699.0 sec. user=ototero [2011-05-12 19:20:07] 907*2^938541-1 is not prime. Res64: 1DF4B468E383E6B0 Time : 20699.0 sec. user=ototero [2011-05-12 19:20:08] 955*2^938541-1 is not prime. Res64: 31262820C9309970 Time : 20699.0 sec. user=vaughan [2011-05-12 19:25:02] 855*2^938560-1 is not prime. Res64: 2DB2D66B379DE559 Time : 3311.0 sec. user=vaughan [2011-05-12 19:27:01] 967*2^938561-1 is not prime. Res64: 8640DA3A50DFA483 Time : 1161.0 sec. user=vaughan [2011-05-12 19:28:40] 805*2^938563-1 is not prime. Res64: 7D06C91E63B3636A Time : 1172.0 sec. user=vaughan [2011-05-12 19:28:42] 955*2^938561-1 is not prime. Res64: FFA1745C7660C9BF Time : 2152.0 sec. user=vaughan [2011-05-12 19:29:39] 903*2^938562-1 is not prime. Res64: 2B203B2C072C1947 Time : 1259.0 sec. user=vaughan [2011-05-12 19:33:39] 829*2^938563-1 is not prime. Res64: 47E98E21C8DF6FB9 Time : 1264.0 sec. user=vaughan [2011-05-12 19:36:14] 957*2^938561-1 is not prime. Res64: 6734894E4AE76A0C Time : 2071.0 sec. user=vaughan [2011-05-12 19:46:37] 911*2^938566-1 is not prime. Res64: 9C54FD27075923D3 Time : 1177.0 sec. user=vaughan [2011-05-12 19:48:19] 945*2^938566-1 is not prime. Res64: C29D533352308F74 Time : 1180.0 sec. user=vaughan [2011-05-12 19:50:45] 805*2^938567-1 is not prime. Res64: 6203F75C7965747B Time : 1266.0 sec. user=vaughan [2011-05-12 19:54:48] 825*2^938567-1 is not prime. Res64: BDA01E5AC133FECD Time : 1269.0 sec. user=vaughan [2011-05-12 20:05:19] 833*2^938564-1 is not prime. Res64: D024230D590FFCD2 Time : 2907.0 sec. user=vaughan [2011-05-12 20:05:50] 839*2^938568-1 is not prime. Res64: A0EB4C38C33F00F3 Time : 1154.0 sec. user=vaughan [2011-05-12 20:07:46] 807*2^938569-1 is not prime. Res64: 9DFC05DCD40A4EDF Time : 1168.0 sec. user=vaughan [2011-05-12 20:11:38] 881*2^938566-1 is not prime. Res64: B14F3177CEEE5CF3 Time : 2796.0 sec. user=vaughan [2011-05-12 20:11:55] 831*2^938569-1 is not prime. Res64: 425D0B61AA2C0A2F Time : 1271.0 sec. user=vaughan [2011-05-12 20:12:14] 895*2^938567-1 is not prime. Res64: BDB4C532E840D0C0 Time : 2160.0 sec. user=vaughan [2011-05-12 20:13:13] 971*2^938566-1 is not prime. Res64: CA5EA385E476E114 Time : 2672.0 sec. user=vaughan [2011-05-12 20:15:56] 987*2^938569-1 is not prime. Res64: EB674978C495CF37 Time : 1269.0 sec. user=vaughan [2011-05-12 20:25:08] 915*2^938570-1 is not prime. Res64: 927C6E39F9CA08AD Time : 1158.0 sec. user=vaughan [2011-05-12 20:27:11] 971*2^938570-1 is not prime. Res64: 49763A0AF45430A2 Time : 1166.0 sec. user=vaughan [2011-05-12 20:32:59] 829*2^938571-1 is not prime. Res64: 244514330436B151 Time : 1264.0 sec. user=vaughan [2011-05-12 20:37:01] 955*2^938571-1 is not prime. Res64: EB2081EC122FD4A1 Time : 1265.0 sec. user=vaughan [2011-05-12 20:42:11] 835*2^938571-1 is not prime. Res64: C2D30A074EF43277 Time : 1797.0 sec. user=vaughan [2011-05-12 20:45:30] 849*2^938571-1 is not prime. Res64: 551A13C91A79B2A6 Time : 1938.0 sec. user=vaughan [2011-05-12 20:46:38] 909*2^938572-1 is not prime. Res64: 303D46DDBD8D0BC1 Time : 1168.0 sec. user=vaughan [2011-05-12 20:48:00] 857*2^938572-1 is not prime. Res64: FB48FB662DA50C91 Time : 1372.0 sec. user=vaughan [2011-05-12 20:53:39] 933*2^938572-1 is not prime. Res64: 4CA6A4E6810087A2 Time : 1241.0 sec. user=vaughan [2011-05-12 20:57:42] 983*2^938572-1 is not prime. Res64: 143BA13AFB4EC184 Time : 1241.0 sec. user=vaughan [2011-05-12 20:59:33] 857*2^938570-1 is not prime. Res64: 889EA8496BA19D59 Time : 3254.0 sec. user=vaughan [2011-05-12 21:06:03] 815*2^938574-1 is not prime. Res64: 5178F7D0988FF5C6 Time : 1166.0 sec. user=vaughan [2011-05-12 21:07:20] 977*2^938570-1 is not prime. Res64: 008D28E6676533D7 Time : 3342.0 sec. user=vaughan [2011-05-12 21:08:20] 825*2^938574-1 is not prime. Res64: 1C8CF3CC0A1D4BCA Time : 1159.0 sec. user=vaughan [2011-05-12 21:14:27] 915*2^938573-1 is not prime. Res64: 4333360730B53C19 Time : 1737.0 sec. user=vaughan [2011-05-12 21:14:43] 863*2^938574-1 is not prime. Res64: E1676260FA16BA24 Time : 1264.0 sec. user=vaughan [2011-05-12 21:18:47] 915*2^938574-1 is not prime. Res64: DAB720C9B95C0E66 Time : 1265.0 sec. user=vaughan [2011-05-12 21:19:16] 837*2^938573-1 is not prime. Res64: E3403735B851F01B Time : 2225.0 sec. user=vaughan [2011-05-12 21:25:31] 885*2^938575-1 is not prime. Res64: 4916DE38CC6194E7 Time : 1169.0 sec. user=vaughan [2011-05-12 21:27:49] 933*2^938575-1 is not prime. Res64: 1FF56BA552D4189B Time : 1169.0 sec. user=vaughan [2011-05-12 21:35:42] 869*2^938576-1 is not prime. Res64: BDC8083BFECEEDC6 Time : 1259.0 sec. user=vaughan [2011-05-12 21:37:57] 951*2^938575-1 is not prime. Res64: D9B957ABE1A9A932 Time : 1410.0 sec. user=vaughan [2011-05-12 21:39:39] 893*2^938576-1 is not prime. Res64: 50396052AB6DA9FB Time : 1252.0 sec. user=vaughan [2011-05-12 21:45:03] 945*2^938577-1 is not prime. Res64: 8E1747610F7241B7 Time : 1173.0 sec. user=vaughan [2011-05-12 21:47:44] 979*2^938577-1 is not prime. Res64: 36BAB01340D39F14 Time : 1195.0 sec. user=vaughan [2011-05-12 21:55:37] 993*2^938574-1 is not prime. Res64: 67849028B34D5950 Time : 3365.0 sec. user=vaughan [2011-05-12 21:55:55] 819*2^938577-1 is not prime. Res64: 70E5BAD17A133E80 Time : 2199.0 sec. user=vaughan [2011-05-12 21:56:16] 833*2^938578-1 is not prime. Res64: AF8D1D131DAA44B5 Time : 1235.0 sec. user=vaughan [2011-05-12 22:00:11] 943*2^938579-1 is not prime. Res64: BD5E6415DF27F0EE Time : 1232.0 sec. user=vaughan [2011-05-12 22:03:29] 915*2^938575-1 is not prime. Res64: 4A57DBD6838DDDA7 Time : 3370.0 sec. user=vaughan [2011-05-12 22:04:30] 969*2^938579-1 is not prime. Res64: 9F9107633787C007 Time : 1167.0 sec. user=vaughan [2011-05-12 22:04:44] 853*2^938579-1 is not prime. Res64: 618CB499FB7361E8 Time : 1607.0 sec. user=vaughan [2011-05-12 22:07:41] 973*2^938579-1 is not prime. Res64: 469758CCA822C477 Time : 1197.0 sec. user=vaughan [2011-05-12 22:17:15] 959*2^938580-1 is not prime. Res64: 5E56CAC5BB218B1B Time : 1259.0 sec. user=vaughan [2011-05-12 22:21:11] 957*2^938581-1 is not prime. Res64: F73506A7725AA3F6 Time : 1260.0 sec. user=vaughan [2011-05-12 22:23:56] 903*2^938582-1 is not prime. Res64: 7A50545E9047F566 Time : 1167.0 sec. user=vaughan [2011-05-12 22:27:26] 923*2^938582-1 is not prime. Res64: CAB0D5C924409A65 Time : 1186.0 sec. user=vaughan [2011-05-12 22:31:38] 879*2^938580-1 is not prime. Res64: 8CDD49E49181504B Time : 2143.0 sec. user=vaughan [2011-05-12 22:37:53] 945*2^938582-1 is not prime. Res64: B5094DC08E2AB9A8 Time : 1238.0 sec. user=vaughan [2011-05-12 22:41:41] 871*2^938583-1 is not prime. Res64: A431C89041ED7304 Time : 1230.0 sec. user=vaughan [2011-05-12 22:43:23] 891*2^938583-1 is not prime. Res64: 363E79C338686997 Time : 1168.0 sec. user=vaughan [2011-05-12 22:45:08] 839*2^938580-1 is not prime. Res64: A6D4CC8DF73F6C22 Time : 2972.0 sec. user=vaughan [2011-05-12 22:47:33] 985*2^938583-1 is not prime. Res64: 37C30DD3E444CEE7 Time : 1208.0 sec. user=vaughan [2011-05-12 22:48:59] 911*2^938582-1 is not prime. Res64: BB101344244386A6 Time : 2655.0 sec. user=vaughan [2011-05-12 22:52:51] 813*2^938582-1 is not prime. Res64: DE5097AE2EB96BEB Time : 2962.0 sec. user=vaughan [2011-05-12 23:00:23] 803*2^938584-1 is not prime. Res64: 63AA3E54B8B7C297 Time : 1726.0 sec. user=vaughan [2011-05-12 23:02:27] 825*2^938584-1 is not prime. Res64: 99E0198827CDA4F0 Time : 1474.0 sec. user=vaughan [2011-05-12 23:05:31] 989*2^938584-1 is not prime. Res64: 3F6471C743298893 Time : 1430.0 sec. user=vaughan [2011-05-12 23:06:36] 963*2^938586-1 is not prime. Res64: 55CFE404EF6160A7 Time : 1394.0 sec. user=vaughan [2011-05-12 23:10:34] 1001*2^938586-1 is not prime. Res64: 0CED8649DD907558 Time : 1382.0 sec. user=vaughan [2011-05-12 23:22:02] 801*2^938587-1 is not prime. Res64: 725379EC4F258023 Time : 1983.0 sec. user=vaughan [2011-05-12 23:22:27] 843*2^938588-1 is not prime. Res64: 3075CCC2C642F7F2 Time : 1200.0 sec. user=vaughan [2011-05-12 23:25:33] 869*2^938588-1 is not prime. Res64: 7F3264095DCBE950 Time : 1203.0 sec. user=vaughan [2011-05-12 23:26:03] 875*2^938588-1 is not prime. Res64: D10EA0BD37EA83A1 Time : 1167.0 sec. user=vaughan [2011-05-12 23:30:31] 915*2^938588-1 is not prime. Res64: CD8060B87642811E Time : 1197.0 sec. user=vaughan [2011-05-12 23:35:21] 985*2^938587-1 is not prime. Res64: 5BC6B75CA7C17E00 Time : 2098.0 sec. user=vaughan [2011-05-12 23:41:40] 983*2^938586-1 is not prime. Res64: FE126B1503692C27 Time : 3392.0 sec. user=vaughan [2011-05-12 23:42:45] 963*2^938588-1 is not prime. Res64: 67519E04107CAFAC Time : 1218.0 sec. user=vaughan [2011-05-12 23:45:41] 865*2^938589-1 is not prime. Res64: 372227CE04F33C19 Time : 1179.0 sec. user=vaughan [2011-05-12 23:45:55] 977*2^938588-1 is not prime. Res64: E1AE01AD254D6799 Time : 1223.0 sec. user=vaughan [2011-05-12 23:49:20] 829*2^938587-1 is not prime. Res64: F089417AC4D3F8AB Time : 3389.0 sec. user=vaughan [2011-05-12 23:50:55] 889*2^938589-1 is not prime. Res64: C19CB7AD0D0D7948 Time : 1224.0 sec. user=ototero [2011-05-12 23:52:10] 909*2^938564-1 is not prime. Res64: 23511A0C3B226886 Time : 16322.0 sec. user=ototero [2011-05-12 23:52:10] 915*2^938564-1 is not prime. Res64: BBF221095798E478 Time : 16322.0 sec. user=ototero [2011-05-12 23:52:11] 953*2^938564-1 is not prime. Res64: D5723E9EE79A5C5A Time : 16322.0 sec. user=ototero [2011-05-12 23:52:11] 813*2^938566-1 is not prime. Res64: CCE9998BA645451F Time : 16322.0 sec. user=ototero [2011-05-12 23:52:11] 855*2^938566-1 is not prime. Res64: E24B613F73BB5EF8 Time : 16322.0 sec. user=vaughan [2011-05-12 23:52:28] 923*2^938588-1 is not prime. Res64: C01F7C8B9BA6CD45 Time : 1826.0 sec.