user=vaughan [2011-03-01 00:01:26] 867*2^796450-1 is not prime. Res64: 6300AC66FB943FAD Time : 1085.0 sec. user=vaughan [2011-03-01 00:04:06] 891*2^796450-1 is not prime. Res64: 42CEE2672980E4DE Time : 1146.0 sec. user=vaughan [2011-03-01 00:04:44] 971*2^796450-1 is not prime. Res64: 8AD65FD6DE9FE383 Time : 1183.0 sec. user=vaughan [2011-03-01 00:05:56] 841*2^796451-1 is not prime. Res64: 3A8DB66D8AABE2A6 Time : 1117.0 sec. user=vaughan [2011-03-01 00:13:55] 825*2^796454-1 is not prime. Res64: 078EA29657678015 Time : 1256.0 sec. user=vaughan [2011-03-01 00:14:02] 833*2^796454-1 is not prime. Res64: 877BB4DBBCCEA17E Time : 1261.0 sec. user=vaughan [2011-03-01 00:19:36] 951*2^796458-1 is not prime. Res64: F080DF7736A08257 Time : 1091.0 sec. user=vaughan [2011-03-01 00:21:57] 833*2^796458-1 is not prime. Res64: ADC93708D963BFD2 Time : 1377.0 sec. user=vaughan [2011-03-01 00:22:06] 905*2^796458-1 is not prime. Res64: 323E2C3F7F4848DB Time : 1276.0 sec. user=vaughan [2011-03-01 00:23:29] 829*2^796459-1 is not prime. Res64: E1E77A9289F946EE Time : 1165.0 sec. user=vaughan [2011-03-01 00:24:43] 919*2^796459-1 is not prime. Res64: 0377AF47FCA7AB83 Time : 1200.0 sec. user=vaughan [2011-03-01 00:24:49] 803*2^796460-1 is not prime. Res64: 02DE720A740F76A0 Time : 1133.0 sec. user=vaughan [2011-03-01 00:33:47] 923*2^796460-1 is not prime. Res64: D14CEFD87A800AD0 Time : 1185.0 sec. user=vaughan [2011-03-01 00:33:47] 897*2^796460-1 is not prime. Res64: AFF6782C3651F912 Time : 1192.0 sec. user=vaughan [2011-03-01 00:38:07] 999*2^796460-1 is not prime. Res64: F8F6750318B7221A Time : 1112.0 sec. user=vaughan [2011-03-01 00:42:40] 997*2^796461-1 is not prime. Res64: 57B07A630B2260E0 Time : 1172.0 sec. user=vaughan [2011-03-01 00:42:55] 825*2^796462-1 is not prime. Res64: E717DCB3FF0191D5 Time : 1167.0 sec. user=vaughan [2011-03-01 00:44:00] 987*2^796462-1 is not prime. Res64: 1B36EE2CDD61E41F Time : 1151.0 sec. user=vaughan [2011-03-01 00:44:59] 983*2^796462-1 is not prime. Res64: 783C4E3595D47AB1 Time : 1217.0 sec. user=vaughan [2011-03-01 00:48:06] 955*2^796461-1 is not prime. Res64: 1FA404DD23943394 Time : 1569.0 sec. user=vaughan [2011-03-01 00:53:11] 829*2^796463-1 is not prime. Res64: 6627B88265AC2CF8 Time : 1165.0 sec. user=vaughan [2011-03-01 00:53:12] 879*2^796463-1 is not prime. Res64: 8743F0FBCAC2A279 Time : 1165.0 sec. user=vaughan [2011-03-01 00:56:34] 843*2^796464-1 is not prime. Res64: 61F414BCAD873B7F Time : 1107.0 sec. user=vaughan [2011-03-01 01:01:32] 849*2^796464-1 is not prime. Res64: 7CFE045D992476F8 Time : 1132.0 sec. user=vaughan [2011-03-01 01:02:20] 927*2^796464-1 is not prime. Res64: A718B5695C9E22AF Time : 1165.0 sec. user=vaughan [2011-03-01 01:03:10] 831*2^796465-1 is not prime. Res64: 1ECF95FF0C3DAC9E Time : 1151.0 sec. user=vaughan [2011-03-01 01:03:22] 929*2^796452-1 is not prime. Res64: 7E625CE24D7720D3 Time : 4298.0 sec. user=vaughan [2011-03-01 01:03:40] 871*2^796455-1 is not prime. Res64: DAA74256EA53E114 Time : 4208.0 sec. user=vaughan [2011-03-01 01:04:00] 841*2^796457-1 is not prime. Res64: 63DA0E7F4CC41885 Time : 4026.0 sec. user=vaughan [2011-03-01 01:04:02] 951*2^796455-1 is not prime. Res64: 903FAB60E3D320C1 Time : 4188.0 sec. user=vaughan [2011-03-01 01:04:13] 975*2^796456-1 is not prime. Res64: 82F545544392D975 Time : 4049.0 sec. user=vaughan [2011-03-01 01:04:13] 973*2^796451-1 is not prime. Res64: 6A5FC9099B916876 Time : 4523.0 sec. user=vaughan [2011-03-01 01:04:13] 855*2^796450-1 is not prime. Res64: A99F5487A5580589 Time : 4931.0 sec. user=vaughan [2011-03-01 01:04:15] 921*2^796451-1 is not prime. Res64: B0E4BC94F90162D9 Time : 4526.0 sec. user=vaughan [2011-03-01 01:05:03] 925*2^796465-1 is not prime. Res64: AAFF7412FB3B69F8 Time : 1205.0 sec. user=vaughan [2011-03-01 01:13:43] 827*2^796466-1 is not prime. Res64: 1DCAFE84C5DFAFFE Time : 1475.0 sec. user=vaughan [2011-03-01 01:14:04] 837*2^796466-1 is not prime. Res64: BD568435C88C9966 Time : 1252.0 sec. user=vaughan [2011-03-01 01:14:07] 833*2^796466-1 is not prime. Res64: 9E05AE0520F6C59E Time : 1256.0 sec. user=vaughan [2011-03-01 01:14:56] 873*2^796466-1 is not prime. Res64: ABA857F3969076EF Time : 1103.0 sec. user=ototero [2011-03-01 01:17:45] 853*2^796415-1 is not prime. Res64: 24CF4E3581D0AE46 Time : 11554.0 sec. user=ototero [2011-03-01 01:17:45] 871*2^796415-1 is not prime. Res64: 11277D01F285100A Time : 11553.0 sec. user=ototero [2011-03-01 01:17:45] 895*2^796415-1 is not prime. Res64: 6BB1BA0ECD70B684 Time : 11553.0 sec. user=ototero [2011-03-01 01:17:45] 963*2^796415-1 is not prime. Res64: C0FE83FA1595BC3A Time : 11553.0 sec. user=ototero [2011-03-01 01:17:46] 985*2^796415-1 is not prime. Res64: A9FAF172F47DEC18 Time : 11554.0 sec. user=ototero [2011-03-01 01:17:46] 873*2^796416-1 is not prime. Res64: EEE676DF7F4000CB Time : 11553.0 sec. user=ototero [2011-03-01 01:17:46] 927*2^796416-1 is not prime. Res64: 522E63F52EFDEA16 Time : 11553.0 sec. user=ototero [2011-03-01 01:17:46] 983*2^796416-1 is not prime. Res64: 9A5E5231CA428A42 Time : 11553.0 sec. user=ototero [2011-03-01 01:17:46] 801*2^796417-1 is not prime. Res64: 64548CED85D40BD9 Time : 11552.0 sec. user=ototero [2011-03-01 01:17:46] 835*2^796417-1 is not prime. Res64: 21C7EA8D400CD3E8 Time : 11552.0 sec. user=vaughan [2011-03-01 01:18:44] 895*2^796467-1 is not prime. Res64: 8D7BC321A6737C5C Time : 922.0 sec. user=vaughan [2011-03-01 01:19:05] 985*2^796467-1 is not prime. Res64: FE223998F3106778 Time : 926.0 sec. user=vaughan [2011-03-01 01:19:38] 855*2^796468-1 is not prime. Res64: 573933A39B70F83A Time : 937.0 sec. user=vaughan [2011-03-01 01:19:59] 845*2^796468-1 is not prime. Res64: 51884A6FD5887EA3 Time : 960.0 sec. user=vaughan [2011-03-01 01:21:09] 887*2^796466-1 is not prime. Res64: 9F3B37CA9A2BB2E3 Time : 1178.0 sec. user=vaughan [2011-03-01 01:21:40] 911*2^796466-1 is not prime. Res64: B94B2703A40F9744 Time : 1161.0 sec. user=vaughan [2011-03-01 01:22:14] 823*2^796467-1 is not prime. Res64: 4C869F01E83F2E15 Time : 1144.0 sec. user=vaughan [2011-03-01 01:22:39] 863*2^796468-1 is not prime. Res64: FC97FE5580BFADEC Time : 1107.0 sec. user=vaughan [2011-03-01 01:22:39] 933*2^796468-1 is not prime. Res64: 70B622D534322DB9 Time : 1107.0 sec. user=vaughan [2011-03-01 01:23:11] 959*2^796468-1 is not prime. Res64: 328E46A9B041594A Time : 1139.0 sec. user=vaughan [2011-03-01 01:23:23] 829*2^796469-1 is not prime. Res64: D885CABA366A6B04 Time : 1150.0 sec. user=vaughan [2011-03-01 01:24:57] 837*2^796469-1 is not prime. Res64: CF59CE8C1448569C Time : 1195.0 sec. user=vaughan [2011-03-01 01:33:19] 851*2^796470-1 is not prime. Res64: D5C71530E3AB179E Time : 1103.0 sec. user=vaughan [2011-03-01 01:34:06] 821*2^796474-1 is not prime. Res64: 5FE7F6BC7BB92C3C Time : 922.0 sec. user=vaughan [2011-03-01 01:34:30] 831*2^796474-1 is not prime. Res64: 3ADFACA60FFEEBB2 Time : 926.0 sec. user=vaughan [2011-03-01 01:34:39] 1001*2^796430-1 is not prime. Res64: 31065CBC2418A9DE Time : 9703.0 sec. user=vaughan [2011-03-01 01:35:15] 923*2^796474-1 is not prime. Res64: ED923899F05D54E8 Time : 937.0 sec. user=vaughan [2011-03-01 01:35:21] 845*2^796470-1 is not prime. Res64: AF5E82E90107C46A Time : 1275.0 sec. user=vaughan [2011-03-01 01:35:22] 801*2^796470-1 is not prime. Res64: 3BD48B4FE2042569 Time : 1278.0 sec. user=vaughan [2011-03-01 01:35:58] 1001*2^796474-1 is not prime. Res64: AD9B8165F204376B Time : 959.0 sec. user=vaughan [2011-03-01 01:36:29] 979*2^796469-1 is not prime. Res64: 305C8507619D5FED Time : 1367.0 sec. user=vaughan [2011-03-01 01:37:52] 973*2^796475-1 is not prime. Res64: 1C0BCB9088966421 Time : 914.0 sec. user=vaughan [2011-03-01 01:37:54] 809*2^796476-1 is not prime. Res64: C5DA7F459006452F Time : 915.0 sec. user=vaughan [2011-03-01 01:39:17] 873*2^796476-1 is not prime. Res64: B0C92C59EEAA6615 Time : 966.0 sec. user=vaughan [2011-03-01 01:39:40] 903*2^796476-1 is not prime. Res64: 9672D583194990C2 Time : 978.0 sec. user=vaughan [2011-03-01 01:41:03] 823*2^796475-1 is not prime. Res64: BB35BDA326BDBD35 Time : 1164.0 sec. user=vaughan [2011-03-01 01:41:17] 843*2^796475-1 is not prime. Res64: F270521E651A1F4F Time : 1144.0 sec. user=vaughan [2011-03-01 01:41:44] 819*2^796475-1 is not prime. Res64: 6F900ABC381FCCA2 Time : 1235.0 sec. user=vaughan [2011-03-01 01:44:59] 831*2^796477-1 is not prime. Res64: 17835A80004BF14E Time : 1203.0 sec. user=vaughan [2011-03-01 01:49:25] 931*2^796477-1 is not prime. Res64: B48F03CC6559315A Time : 920.0 sec. user=vaughan [2011-03-01 01:49:53] 979*2^796477-1 is not prime. Res64: 8A86F52D07903EE4 Time : 924.0 sec. user=vaughan [2011-03-01 01:50:50] 977*2^796478-1 is not prime. Res64: 7D6E45657CE13B3F Time : 935.0 sec. user=vaughan [2011-03-01 01:51:48] 885*2^796477-1 is not prime. Res64: C0E4ADC01B448336 Time : 1109.0 sec. user=vaughan [2011-03-01 01:52:02] 845*2^796480-1 is not prime. Res64: 5B3667A30154E23C Time : 964.0 sec. user=vaughan [2011-03-01 01:53:05] 965*2^796480-1 is not prime. Res64: 47C8489175C0A203 Time : 913.0 sec. user=vaughan [2011-03-01 01:53:07] 989*2^796480-1 is not prime. Res64: 7D0D748B8086A118 Time : 914.0 sec. user=vaughan [2011-03-01 01:55:21] 829*2^796481-1 is not prime. Res64: 2E00DFB00A78C4A5 Time : 965.0 sec. user=vaughan [2011-03-01 01:55:56] 867*2^796481-1 is not prime. Res64: D572376045E9A4A3 Time : 976.0 sec. user=vaughan [2011-03-01 01:56:31] 803*2^796480-1 is not prime. Res64: 90938E3D43E0BE5E Time : 1269.0 sec. user=vaughan [2011-03-01 01:56:39] 859*2^796479-1 is not prime. Res64: 1B5582BB2C1C802C Time : 1278.0 sec. user=vaughan [2011-03-01 01:59:44] 857*2^796480-1 is not prime. Res64: ED9D25210EABC843 Time : 1395.0 sec. user=vaughan [2011-03-01 02:00:16] 907*2^796481-1 is not prime. Res64: 7CD681CE843BCC3E Time : 1140.0 sec. user=vaughan [2011-03-01 02:00:26] 901*2^796481-1 is not prime. Res64: 386F62571BC00C00 Time : 1163.0 sec. user=vaughan [2011-03-01 02:02:05] 825*2^796482-1 is not prime. Res64: BED42CA7A9DECF26 Time : 1221.0 sec. user=vaughan [2011-03-01 02:04:49] 1001*2^796482-1 is not prime. Res64: 07B5A5A17A9C9D64 Time : 924.0 sec. user=vaughan [2011-03-01 02:05:05] 893*2^796482-1 is not prime. Res64: 125C214724210BF5 Time : 1207.0 sec. user=vaughan [2011-03-01 02:05:16] 861*2^796483-1 is not prime. Res64: 159473974F9196DC Time : 924.0 sec. user=vaughan [2011-03-01 02:06:29] 871*2^796483-1 is not prime. Res64: C60313F0091384B6 Time : 939.0 sec. user=vaughan [2011-03-01 02:08:01] 819*2^796484-1 is not prime. Res64: E2324C11EAB8FD02 Time : 959.0 sec. user=vaughan [2011-03-01 02:08:17] 837*2^796484-1 is not prime. Res64: 492B1AAA3B882BE9 Time : 912.0 sec. user=vaughan [2011-03-01 02:08:19] 843*2^796484-1 is not prime. Res64: 2353D113BF6AA85E Time : 912.0 sec. user=vaughan [2011-03-01 02:10:16] 925*2^796483-1 is not prime. Res64: D951BAEBED0F7D2F Time : 1109.0 sec. user=vaughan [2011-03-01 02:11:23] 873*2^796484-1 is not prime. Res64: 8CFAE9D6D67DBE27 Time : 963.0 sec. user=vaughan [2011-03-01 02:12:11] 969*2^796484-1 is not prime. Res64: 5E45881771E9E23B Time : 975.0 sec. user=vaughan [2011-03-01 02:17:44] 861*2^796485-1 is not prime. Res64: DB1AF2DCE9A55BC2 Time : 1273.0 sec. user=vaughan [2011-03-01 02:17:53] 889*2^796485-1 is not prime. Res64: 48042BA886DD20B3 Time : 1275.0 sec. user=vaughan [2011-03-01 02:19:17] 955*2^796485-1 is not prime. Res64: F2AA6F03F2F287ED Time : 1141.0 sec. user=vaughan [2011-03-01 02:19:49] 969*2^796485-1 is not prime. Res64: AA6FF13B8FE38EB5 Time : 1163.0 sec. user=vaughan [2011-03-01 02:20:09] 825*2^796487-1 is not prime. Res64: 142768EDF0C69841 Time : 920.0 sec. user=vaughan [2011-03-01 02:20:40] 879*2^796487-1 is not prime. Res64: 9F4F9DCAC95FDE2F Time : 924.0 sec. user=vaughan [2011-03-01 02:22:05] 973*2^796487-1 is not prime. Res64: D9A20F290ABA209F Time : 937.0 sec. user=vaughan [2011-03-01 02:22:31] 937*2^796485-1 is not prime. Res64: 92FDA101F94874CA Time : 1367.0 sec. user=vaughan [2011-03-01 02:22:36] 1001*2^796486-1 is not prime. Res64: EB14E8EAE4ECDF22 Time : 1232.0 sec. user=vaughan [2011-03-01 02:23:30] 855*2^796489-1 is not prime. Res64: D5F30992026A0A7E Time : 913.0 sec. user=vaughan [2011-03-01 02:23:32] 897*2^796489-1 is not prime. Res64: EADC7764A933BC18 Time : 913.0 sec. user=vaughan [2011-03-01 02:24:01] 837*2^796488-1 is not prime. Res64: 33430C109A385DA6 Time : 961.0 sec. user=vaughan [2011-03-01 02:25:12] 859*2^796487-1 is not prime. Res64: BB934736B88B349E Time : 1208.0 sec. user=vaughan [2011-03-01 02:27:29] 875*2^796490-1 is not prime. Res64: E718F881F70DAB2F Time : 966.0 sec. user=vaughan [2011-03-01 02:28:26] 825*2^796491-1 is not prime. Res64: 312A45AC8CBDBC89 Time : 976.0 sec. user=vaughan [2011-03-01 02:28:39] 951*2^796489-1 is not prime. Res64: 2C416EEFBB4CE32D Time : 1103.0 sec. user=vaughan [2011-03-01 02:35:29] 855*2^796493-1 is not prime. Res64: 30DFAD9AF375E919 Time : 920.0 sec. user=vaughan [2011-03-01 02:36:07] 807*2^796494-1 is not prime. Res64: DD2B7D9CA7875CDB Time : 927.0 sec. user=vaughan [2011-03-01 02:37:41] 825*2^796494-1 is not prime. Res64: 278DFCF0B399BA19 Time : 936.0 sec. user=vaughan [2011-03-01 02:38:16] 983*2^796492-1 is not prime. Res64: 1888ECFD181F3B02 Time : 1139.0 sec. user=vaughan [2011-03-01 02:38:43] 979*2^796495-1 is not prime. Res64: BB62E76FA1A8D8E5 Time : 913.0 sec. user=vaughan [2011-03-01 02:38:47] 869*2^796496-1 is not prime. Res64: A3EB7F7B11C58645 Time : 915.0 sec. user=vaughan [2011-03-01 02:38:57] 891*2^796491-1 is not prime. Res64: 1A65AD27F6DB54EA Time : 1273.0 sec. user=vaughan [2011-03-01 02:39:02] 957*2^796492-1 is not prime. Res64: 25C2A8B464597B1A Time : 1269.0 sec. user=vaughan [2011-03-01 02:39:14] 995*2^796492-1 is not prime. Res64: 80DEDFC123813078 Time : 1165.0 sec. user=vaughan [2011-03-01 02:40:02] 899*2^796496-1 is not prime. Res64: 859A08A6A969D91C Time : 962.0 sec. user=vaughan [2011-03-01 02:43:08] 969*2^796495-1 is not prime. Res64: C24F1C9B0F04A57D Time : 1233.0 sec. user=vaughan [2011-03-01 02:43:33] 993*2^796496-1 is not prime. Res64: 6BE6129092D09762 Time : 965.0 sec. user=vaughan [2011-03-01 02:44:43] 861*2^796497-1 is not prime. Res64: 9923F1DEFB6DF429 Time : 977.0 sec. user=vaughan [2011-03-01 02:45:15] 921*2^796494-1 is not prime. Res64: 76E2BDB239F96BC2 Time : 1364.0 sec. user=vaughan [2011-03-01 02:45:19] 927*2^796496-1 is not prime. Res64: 1246515B58EC36D9 Time : 1208.0 sec. user=vaughan [2011-03-01 02:47:08] 909*2^796497-1 is not prime. Res64: F861F623DAA2A4C2 Time : 1110.0 sec. user=vaughan [2011-03-01 02:50:50] 831*2^796498-1 is not prime. Res64: 3346F528CD0690CB Time : 921.0 sec. user=vaughan [2011-03-01 02:51:31] 843*2^796498-1 is not prime. Res64: F9C11CDA1DDD154C Time : 925.0 sec. user=vaughan [2011-03-01 02:53:17] 857*2^796498-1 is not prime. Res64: 93C67549CDD87872 Time : 936.0 sec. user=vaughan [2011-03-01 02:53:55] 911*2^796498-1 is not prime. Res64: D3EBAB4A66CB414C Time : 913.0 sec. user=vaughan [2011-03-01 02:53:59] 843*2^796499-1 is not prime. Res64: CDE97D059CEDD27E Time : 913.0 sec. user=vaughan [2011-03-01 02:56:02] 915*2^796500-1 is not prime. Res64: F15FE01F11E76087 Time : 960.0 sec. user=vaughan [2011-03-01 02:57:24] 891*2^796498-1 is not prime. Res64: 4BF957C16EA32C7F Time : 1148.0 sec. user=vaughan [2011-03-01 02:58:40] 839*2^796500-1 is not prime. Res64: 7943F9565E6AB2D1 Time : 1166.0 sec. user=vaughan [2011-03-01 02:59:35] 929*2^796500-1 is not prime. Res64: F5BAE3850DBC4597 Time : 962.0 sec. user=vaughan [2011-03-01 03:00:15] 913*2^796499-1 is not prime. Res64: A91B92CC9CAB0C40 Time : 1279.0 sec. user=vaughan [2011-03-01 03:00:24] 803*2^796500-1 is not prime. Res64: A16C0FD325A33B2D Time : 1283.0 sec. user=vaughan [2011-03-01 03:00:58] 933*2^796500-1 is not prime. Res64: 3FE8F4AFE0627450 Time : 976.0 sec. user=vaughan [2011-03-01 03:03:32] 927*2^796500-1 is not prime. Res64: D473186E83DE0536 Time : 1225.0 sec. user=vaughan [2011-03-01 03:05:20] 959*2^796500-1 is not prime. Res64: 28D1F726CF7B1A72 Time : 1201.0 sec. user=vaughan [2011-03-01 03:05:34] 987*2^796500-1 is not prime. Res64: C3BE3DE8497B37B2 Time : 1106.0 sec. user=vaughan [2011-03-01 03:06:11] 801*2^796501-1 is not prime. Res64: 7393B9739410EE90 Time : 921.0 sec. user=vaughan [2011-03-01 03:06:55] 895*2^796501-1 is not prime. Res64: 186EFB23039A2CD9 Time : 925.0 sec. user=vaughan [2011-03-01 03:08:13] 957*2^796500-1 is not prime. Res64: AD0AF6A1EB9C1A08 Time : 1379.0 sec. user=vaughan [2011-03-01 03:08:53] 937*2^796501-1 is not prime. Res64: A143D49ABE013BDE Time : 936.0 sec. user=vaughan [2011-03-01 03:09:09] 939*2^796501-1 is not prime. Res64: 0B1278E46B3197C3 Time : 914.0 sec. user=vaughan [2011-03-01 03:09:15] 875*2^796502-1 is not prime. Res64: 88E3E11BDF82E871 Time : 917.0 sec. user=vaughan [2011-03-01 03:12:00] 965*2^796502-1 is not prime. Res64: B47079DB3446F2F8 Time : 958.0 sec. user=vaughan [2011-03-01 03:15:54] 919*2^796503-1 is not prime. Res64: 2117B6D497EBEAF3 Time : 979.0 sec. user=vaughan [2011-03-01 03:16:27] 983*2^796502-1 is not prime. Res64: 3E0E7F7BC1747892 Time : 1143.0 sec. user=vaughan [2011-03-01 03:17:36] 841*2^796505-1 is not prime. Res64: CDBF0B04522BDD3D Time : 999.0 sec. user=vaughan [2011-03-01 03:17:55] 859*2^796503-1 is not prime. Res64: 12FC63E2059F02E1 Time : 1156.0 sec. user=vaughan [2011-03-01 03:21:30] 941*2^796506-1 is not prime. Res64: 92E0C6F8B5AD47F1 Time : 920.0 sec. user=vaughan [2011-03-01 03:21:36] 909*2^796504-1 is not prime. Res64: 4CEE9C5621B112DA Time : 1281.0 sec. user=vaughan [2011-03-01 03:21:41] 831*2^796505-1 is not prime. Res64: 965E17F500C46703 Time : 1277.0 sec. user=vaughan [2011-03-01 03:22:19] 843*2^796507-1 is not prime. Res64: F06F5C30F46F2E31 Time : 925.0 sec. user=vaughan [2011-03-01 03:23:46] 887*2^796506-1 is not prime. Res64: 39118904A25C55D0 Time : 1092.0 sec. user=vaughan [2011-03-01 03:24:22] 993*2^796507-1 is not prime. Res64: 31BA2F51DBE090EE Time : 913.0 sec. user=vaughan [2011-03-01 03:24:26] 843*2^796506-1 is not prime. Res64: 92C1F67ECED2288D Time : 1254.0 sec. user=vaughan [2011-03-01 03:24:28] 975*2^796507-1 is not prime. Res64: F2A4C735D0102DEB Time : 935.0 sec. user=vaughan [2011-03-01 03:24:31] 825*2^796508-1 is not prime. Res64: 02CB00FA83A9DFF8 Time : 917.0 sec. user=vaughan [2011-03-01 03:25:09] 881*2^796506-1 is not prime. Res64: 1C76E0DC41CE30D4 Time : 1189.0 sec. user=vaughan [2011-03-01 03:27:59] 953*2^796508-1 is not prime. Res64: 06894D5341BD377A Time : 959.0 sec. user=vaughan [2011-03-01 03:30:35] 931*2^796507-1 is not prime. Res64: 4373B3D7F472B236 Time : 1343.0 sec. user=vaughan [2011-03-01 03:32:23] 957*2^796508-1 is not prime. Res64: 959ABFFEC3067B3F Time : 990.0 sec. user=vaughan [2011-03-01 03:34:22] 825*2^796509-1 is not prime. Res64: A0732998C901ABBB Time : 1006.0 sec. user=vaughan [2011-03-01 03:35:34] 959*2^796508-1 is not prime. Res64: 40FB830BECB9FD9E Time : 1147.0 sec. user=vaughan [2011-03-01 03:36:49] 895*2^796509-1 is not prime. Res64: CAE4523CB7D77B59 Time : 920.0 sec. user=vaughan [2011-03-01 03:37:09] 865*2^796509-1 is not prime. Res64: AFD7386C667CEE81 Time : 1155.0 sec. user=vaughan [2011-03-01 03:37:46] 831*2^796510-1 is not prime. Res64: 935F205EBECD0136 Time : 928.0 sec. user=vaughan [2011-03-01 03:39:35] 923*2^796510-1 is not prime. Res64: 639F0FFB6C7B2D9F Time : 913.0 sec. user=vaughan [2011-03-01 03:39:46] 803*2^796512-1 is not prime. Res64: 91A08D872D01E524 Time : 915.0 sec. user=vaughan [2011-03-01 03:40:04] 949*2^796511-1 is not prime. Res64: 19367BEE63312B0D Time : 937.0 sec. user=vaughan [2011-03-01 03:42:12] 867*2^796510-1 is not prime. Res64: 2B86D0D5219C3558 Time : 1107.0 sec. user=vaughan [2011-03-01 03:42:38] 907*2^796509-1 is not prime. Res64: 33AF206F68A0C0EE Time : 1262.0 sec. user=vaughan [2011-03-01 03:42:45] 997*2^796509-1 is not prime. Res64: 6EC5915D23E61182 Time : 1265.0 sec. user=vaughan [2011-03-01 03:43:58] 929*2^796512-1 is not prime. Res64: B34BBE8465CFDE0B Time : 959.0 sec. user=vaughan [2011-03-01 03:44:21] 975*2^796510-1 is not prime. Res64: 07BE461222E0C5D1 Time : 1195.0 sec. user=vaughan [2011-03-01 03:45:14] 863*2^796512-1 is not prime. Res64: 795A8FAE446A5A37 Time : 1206.0 sec. user=vaughan [2011-03-01 03:48:48] 801*2^796513-1 is not prime. Res64: 328586299C371F54 Time : 986.0 sec. user=vaughan [2011-03-01 03:51:06] 807*2^796513-1 is not prime. Res64: 4B6293B9F3403130 Time : 1004.0 sec. user=vaughan [2011-03-01 03:52:08] 861*2^796513-1 is not prime. Res64: 1663AD5180D389C0 Time : 919.0 sec. user=vaughan [2011-03-01 03:53:08] 927*2^796514-1 is not prime. Res64: 44FC0652DC113626 Time : 923.0 sec. user=vaughan [2011-03-01 03:54:16] 933*2^796512-1 is not prime. Res64: A8D2A2E651DAADBA Time : 1422.0 sec. user=vaughan [2011-03-01 03:54:40] 829*2^796513-1 is not prime. Res64: FCA83834CD09A8AF Time : 1148.0 sec. user=vaughan [2011-03-01 03:54:47] 981*2^796514-1 is not prime. Res64: A252940CFB0DCED2 Time : 912.0 sec. user=vaughan [2011-03-01 03:55:05] 963*2^796515-1 is not prime. Res64: C52EA415150D1601 Time : 919.0 sec. user=vaughan [2011-03-01 03:55:40] 985*2^796515-1 is not prime. Res64: D16C2188D25D6039 Time : 937.0 sec. user=vaughan [2011-03-01 03:56:46] 851*2^796514-1 is not prime. Res64: 3C0EE941B4ADC87B Time : 1178.0 sec. user=vaughan [2011-03-01 04:00:00] 865*2^796517-1 is not prime. Res64: 771D6532AD52027E Time : 963.0 sec. user=vaughan [2011-03-01 04:00:02] 873*2^796516-1 is not prime. Res64: 3DE7C5414E9A2321 Time : 1071.0 sec. user=vaughan [2011-03-01 04:03:57] 887*2^796516-1 is not prime. Res64: E02769C5C71807E9 Time : 1279.0 sec. user=vaughan [2011-03-01 04:03:58] 837*2^796517-1 is not prime. Res64: DB7C0EA1D9CA5CE7 Time : 1273.0 sec. user=vaughan [2011-03-01 04:04:16] 955*2^796517-1 is not prime. Res64: 18954630E825FD50 Time : 1143.0 sec. user=vaughan [2011-03-01 04:05:02] 927*2^796517-1 is not prime. Res64: 5BE465114C154D68 Time : 1241.0 sec. user=vaughan [2011-03-01 04:05:11] 895*2^795359-1 is not prime. Res64: E39923CCF07EED3E Time : 983.0 sec. user=vaughan [2011-03-01 04:07:42] 971*2^796518-1 is not prime. Res64: 5A426B458BA5A8D2 Time : 934.0 sec. user=vaughan [2011-03-01 04:07:52] 867*2^796518-1 is not prime. Res64: 2729E0EC36DF8581 Time : 1006.0 sec. user=vaughan [2011-03-01 04:08:43] 811*2^796519-1 is not prime. Res64: 036EA2EE7BD050BB Time : 935.0 sec. user=vaughan [2011-03-01 04:09:59] 985*2^796519-1 is not prime. Res64: BB262120B0CA4404 Time : 913.0 sec. user=vaughan [2011-03-01 04:10:20] 843*2^796520-1 is not prime. Res64: C237476BD1BE580F Time : 915.0 sec. user=vaughan [2011-03-01 04:11:05] 983*2^796520-1 is not prime. Res64: 3CB0D07A2DBF4662 Time : 925.0 sec. user=vaughan [2011-03-01 04:12:27] 895*2^796519-1 is not prime. Res64: 2D46CC8A90236A71 Time : 1068.0 sec. user=vaughan [2011-03-01 04:15:11] 847*2^796521-1 is not prime. Res64: B7FDCCC2075B50AF Time : 1106.0 sec. user=vaughan [2011-03-01 04:15:40] 921*2^796478-1 is not prime. Res64: 4042E704E358B1A2 Time : 9661.0 sec. user=vaughan [2011-03-01 04:16:02] 861*2^796521-1 is not prime. Res64: BB5A5B42B715E33B Time : 962.0 sec. user=vaughan [2011-03-01 04:17:22] 891*2^796519-1 is not prime. Res64: DE245C5858E871A3 Time : 1386.0 sec. user=vaughan [2011-03-01 04:17:47] 865*2^796521-1 is not prime. Res64: 3B7BC64D50BB3C55 Time : 1066.0 sec. user=vaughan [2011-03-01 04:21:07] 941*2^796522-1 is not prime. Res64: 6072DFB97A8CA5AD Time : 956.0 sec. user=vaughan [2011-03-01 04:23:48] 879*2^796523-1 is not prime. Res64: EACD1506D8AAEB77 Time : 957.0 sec. user=vaughan [2011-03-01 04:23:50] 803*2^796522-1 is not prime. Res64: 9F30DBCF9EB4FBD4 Time : 1174.0 sec. user=vaughan [2011-03-01 04:24:56] 901*2^796521-1 is not prime. Res64: 93983DD8DF1AB183 Time : 1258.0 sec. user=vaughan [2011-03-01 04:25:06] 871*2^796521-1 is not prime. Res64: 901942E3F26AF843 Time : 1269.0 sec. user=vaughan [2011-03-01 04:25:07] 955*2^796523-1 is not prime. Res64: 6DF3A50932EDBCF0 Time : 909.0 sec. user=vaughan [2011-03-01 04:25:23] 857*2^796522-1 is not prime. Res64: 35893F387AE2FC8E Time : 1221.0 sec. user=vaughan [2011-03-01 04:25:32] 887*2^796524-1 is not prime. Res64: 4983E6A6CE6A0CEA Time : 913.0 sec. user=ototero [2011-03-01 04:30:09] 875*2^796470-1 is not prime. Res64: 879B90DA32F2C224 Time : 11542.0 sec. user=ototero [2011-03-01 04:30:09] 891*2^796470-1 is not prime. Res64: 9E0C7F983367F33A Time : 11542.0 sec. user=ototero [2011-03-01 04:30:10] 927*2^796470-1 is not prime. Res64: 57DC85691250E254 Time : 11543.0 sec. user=ototero [2011-03-01 04:30:10] 805*2^796471-1 is not prime. Res64: BF7B78F7CA7A086C Time : 11542.0 sec. user=ototero [2011-03-01 04:30:10] 933*2^796471-1 is not prime. Res64: 1F94626D92212DD2 Time : 11542.0 sec. user=ototero [2011-03-01 04:30:10] 939*2^796471-1 is not prime. Res64: 1B73244F8A8E7174 Time : 11542.0 sec. user=ototero [2011-03-01 04:30:10] 951*2^796471-1 is not prime. Res64: DE39A9CEE90A939A Time : 11541.0 sec. user=ototero [2011-03-01 04:30:10] 993*2^796471-1 is not prime. Res64: 038D60D7E6E97EA4 Time : 11541.0 sec. user=ototero [2011-03-01 04:30:11] 879*2^796472-1 is not prime. Res64: CF3AC5A78C4707C1 Time : 11542.0 sec. user=ototero [2011-03-01 04:30:11] 935*2^796472-1 is not prime. Res64: D120F02EA6733DEE Time : 11541.0 sec. user=vaughan [2011-03-01 04:30:57] 959*2^796524-1 is not prime. Res64: 926C40D018B67F49 Time : 1111.0 sec. user=vaughan [2011-03-01 04:34:09] 997*2^796525-1 is not prime. Res64: 86275D3B09C6CF10 Time : 1140.0 sec. user=vaughan [2011-03-01 04:35:39] 981*2^796526-1 is not prime. Res64: 76903B0E08DAA9DC Time : 1073.0 sec. user=vaughan [2011-03-01 04:40:14] 957*2^796526-1 is not prime. Res64: 949B5A5CC1928221 Time : 1372.0 sec. user=vaughan [2011-03-01 04:43:34] 861*2^796527-1 is not prime. Res64: 3AFE5974FEFCCA0B Time : 1185.0 sec. user=vaughan [2011-03-01 04:45:55] 827*2^796528-1 is not prime. Res64: A8D925E6F56AD5DD Time : 1232.0 sec. user=vaughan [2011-03-01 04:46:22] 865*2^796527-1 is not prime. Res64: F29B32EAED93FB4E Time : 1286.0 sec. user=vaughan [2011-03-01 04:46:30] 885*2^796527-1 is not prime. Res64: CD456B0FACB126FE Time : 1284.0 sec. user=vaughan [2011-03-01 04:49:17] 999*2^796533-1 is not prime. Res64: 346D1AF0C79972F3 Time : 1101.0 sec. user=vaughan [2011-03-01 04:53:00] 983*2^796534-1 is not prime. Res64: 214AADA2B50F8427 Time : 1132.0 sec. user=vaughan [2011-03-01 04:53:34] 829*2^796535-1 is not prime. Res64: BABF675168FE9992 Time : 1076.0 sec. user=vaughan [2011-03-01 05:02:52] 855*2^796535-1 is not prime. Res64: EA5F034024EE4CCC Time : 1358.0 sec. user=vaughan [2011-03-01 05:02:55] 909*2^796536-1 is not prime. Res64: 6D8DA5E0E6BB0C8B Time : 1162.0 sec. user=vaughan [2011-03-01 05:07:11] 917*2^796536-1 is not prime. Res64: CF460DCA18B0370F Time : 1276.0 sec. user=vaughan [2011-03-01 05:07:31] 831*2^796538-1 is not prime. Res64: 020AE6A366F3B604 Time : 1095.0 sec. user=vaughan [2011-03-01 05:08:14] 897*2^796537-1 is not prime. Res64: 088026031E2F2A4C Time : 1312.0 sec. user=vaughan [2011-03-01 05:08:19] 957*2^796537-1 is not prime. Res64: 54BA8075F7D28CD0 Time : 1309.0 sec. user=vaughan [2011-03-01 05:11:25] 957*2^796538-1 is not prime. Res64: B24FB3784D15AC5E Time : 1072.0 sec. user=vaughan [2011-03-01 05:11:53] 945*2^796538-1 is not prime. Res64: CCBB260C69D38570 Time : 1134.0 sec. user=vaughan [2011-03-01 05:22:36] 843*2^796539-1 is not prime. Res64: 4C532D0D33B074ED Time : 1182.0 sec. user=vaughan [2011-03-01 05:25:56] 977*2^796538-1 is not prime. Res64: E3322E25C3E7CE49 Time : 1385.0 sec. user=vaughan [2011-03-01 05:26:17] 895*2^796539-1 is not prime. Res64: E78CC2B4B04A41A6 Time : 1127.0 sec. user=vaughan [2011-03-01 05:28:08] 853*2^796539-1 is not prime. Res64: E61ADC695AC30E45 Time : 1257.0 sec. user=vaughan [2011-03-01 05:29:22] 985*2^796539-1 is not prime. Res64: 8FDDEFE211B17DA0 Time : 1078.0 sec. user=vaughan [2011-03-01 05:29:57] 973*2^796539-1 is not prime. Res64: 13039D90B0DCBE7F Time : 1304.0 sec. user=vaughan [2011-03-01 05:29:57] 975*2^796539-1 is not prime. Res64: 091AE323D25A578A Time : 1299.0 sec. user=vaughan [2011-03-01 05:30:57] 991*2^796539-1 is not prime. Res64: 460BC0A87C894774 Time : 1144.0 sec. user=vaughan [2011-03-01 05:42:12] 803*2^796540-1 is not prime. Res64: 77DF8E50CF57E914 Time : 1178.0 sec. user=vaughan [2011-03-01 05:44:54] 873*2^796540-1 is not prime. Res64: B5F94E8E9D44EF66 Time : 1118.0 sec. user=vaughan [2011-03-01 05:47:21] 879*2^796541-1 is not prime. Res64: B2CF4A0A72A69928 Time : 1080.0 sec. user=vaughan [2011-03-01 05:49:17] 811*2^796541-1 is not prime. Res64: 4BE71D9DC5C40B74 Time : 1270.0 sec. user=vaughan [2011-03-01 05:49:29] 863*2^796540-1 is not prime. Res64: 0493AD4599DCBBAD Time : 1414.0 sec. user=vaughan [2011-03-01 05:50:04] 951*2^796541-1 is not prime. Res64: 8B42237AF24C3CB2 Time : 1148.0 sec. user=vaughan [2011-03-01 05:51:44] 925*2^796541-1 is not prime. Res64: 4028737D8C3B9680 Time : 1308.0 sec. user=vaughan [2011-03-01 05:51:53] 927*2^796541-1 is not prime. Res64: 2B33F6142D3173A2 Time : 1316.0 sec. user=vaughan [2011-03-01 06:01:50] 979*2^796541-1 is not prime. Res64: E2FEF8E1304EB7F8 Time : 1178.0 sec. user=vaughan [2011-03-01 06:03:26] 921*2^796542-1 is not prime. Res64: F6DE2318DC68E7E9 Time : 1113.0 sec. user=vaughan [2011-03-01 06:05:14] 849*2^796543-1 is not prime. Res64: F2556A3CE2B5650B Time : 1074.0 sec. user=vaughan [2011-03-01 06:09:08] 849*2^796545-1 is not prime. Res64: 1F0491B98A25125D Time : 1145.0 sec. user=vaughan [2011-03-01 06:10:18] 869*2^796544-1 is not prime. Res64: 18DD7FD3EADB1D03 Time : 1261.0 sec. user=vaughan [2011-03-01 06:12:31] 817*2^796545-1 is not prime. Res64: 9DA48EE036374D3D Time : 1382.0 sec. user=vaughan [2011-03-01 06:13:19] 889*2^796545-1 is not prime. Res64: 6F3E1E6261DA0120 Time : 1295.0 sec. user=vaughan [2011-03-01 06:13:44] 891*2^796545-1 is not prime. Res64: 8D747000C2D085BB Time : 1311.0 sec. user=vaughan [2011-03-01 06:21:25] 815*2^796546-1 is not prime. Res64: 9121C7CDE6328180 Time : 1177.0 sec. user=vaughan [2011-03-01 06:21:55] 825*2^796546-1 is not prime. Res64: CFD6378C1982DA9F Time : 1111.0 sec. user=vaughan [2011-03-01 06:23:07] 833*2^796546-1 is not prime. Res64: 9DC3CB712CD4D51F Time : 1073.0 sec. user=vaughan [2011-03-01 06:28:03] 971*2^796546-1 is not prime. Res64: 4E2C06A2453EF256 Time : 1136.0 sec. user=vaughan [2011-03-01 06:31:16] 975*2^796546-1 is not prime. Res64: 46BDFCF122CA6665 Time : 1258.0 sec. user=vaughan [2011-03-01 06:34:52] 829*2^796547-1 is not prime. Res64: 99220A1135F0C337 Time : 1294.0 sec. user=vaughan [2011-03-01 06:35:31] 949*2^796547-1 is not prime. Res64: 627CF66102515A43 Time : 1308.0 sec. user=vaughan [2011-03-01 06:35:50] 819*2^796547-1 is not prime. Res64: 8F92071741A23E8F Time : 1400.0 sec. user=vaughan [2011-03-01 06:56:35] 813*2^796526-1 is not prime. Res64: 80DB475F42DBD0B4 Time : 9656.0 sec. user=ototero [2011-03-01 07:42:29] 847*2^796529-1 is not prime. Res64: 472710C786346FCD Time : 11538.0 sec. user=ototero [2011-03-01 07:42:29] 833*2^796530-1 is not prime. Res64: 742C447DAB186FF5 Time : 11538.0 sec. user=ototero [2011-03-01 07:42:29] 977*2^796530-1 is not prime. Res64: 1C97273951D65C32 Time : 11537.0 sec. user=ototero [2011-03-01 07:42:29] 889*2^796531-1 is not prime. Res64: 0EC548EF48733B8C Time : 11537.0 sec. user=ototero [2011-03-01 07:42:30] 813*2^796532-1 is not prime. Res64: 84B65EB0C7079D43 Time : 11538.0 sec. user=ototero [2011-03-01 07:42:30] 923*2^796532-1 is not prime. Res64: 16EEC9FD8DC411D0 Time : 11537.0 sec. user=ototero [2011-03-01 07:42:30] 849*2^796533-1 is not prime. Res64: AD8354A440F40A70 Time : 11537.0 sec. user=ototero [2011-03-01 07:42:30] 951*2^796533-1 is not prime. Res64: A77F5CEF399A436D Time : 11537.0 sec. user=ototero [2011-03-01 07:42:30] 961*2^796533-1 is not prime. Res64: CA6266A29990FFBE Time : 11536.0 sec. user=ototero [2011-03-01 07:42:30] 985*2^796533-1 is not prime. Res64: A602D1251D4E77F3 Time : 11536.0 sec. user=vaughan [2011-03-01 09:37:01] 873*2^796551-1 is not prime. Res64: 10671FA7B0AC7E10 Time : 9627.0 sec. user=ototero [2011-03-01 10:54:55] 895*2^796551-1 is not prime. Res64: 1A05908C00F781DD Time : 11544.0 sec. user=ototero [2011-03-01 10:54:55] 921*2^796551-1 is not prime. Res64: D67AE0607C37332F Time : 11544.0 sec. user=ototero [2011-03-01 10:54:55] 979*2^796551-1 is not prime. Res64: F267F62D17A0E5AE Time : 11544.0 sec. user=ototero [2011-03-01 10:54:56] 999*2^796551-1 is not prime. Res64: 276CD0083E81650F Time : 11544.0 sec. user=ototero [2011-03-01 10:54:56] 857*2^796552-1 is not prime. Res64: 381BC52CE3D54241 Time : 11544.0 sec. user=ototero [2011-03-01 10:54:56] 863*2^796552-1 is not prime. Res64: 1EFE61D0F289CD2A Time : 11544.0 sec. user=ototero [2011-03-01 10:54:56] 869*2^796552-1 is not prime. Res64: AC08EC5962247501 Time : 11543.0 sec. user=ototero [2011-03-01 10:54:56] 909*2^796552-1 is not prime. Res64: 2562A9B0E389E8BC Time : 11543.0 sec. user=ototero [2011-03-01 10:54:56] 933*2^796552-1 is not prime. Res64: 1A4EB336AC237E0D Time : 11543.0 sec. user=ototero [2011-03-01 10:54:57] 811*2^796553-1 is not prime. Res64: 1B229EEE21D1E773 Time : 11543.0 sec. user=vaughan [2011-03-01 12:17:46] 855*2^796553-1 is not prime. Res64: 72D1D2FF3AD08092 Time : 9646.0 sec. user=ototero [2011-03-01 14:07:18] 807*2^796554-1 is not prime. Res64: 3D17B910CA11F280 Time : 11541.0 sec. user=ototero [2011-03-01 14:07:18] 821*2^796554-1 is not prime. Res64: 9BD9B1C671D79920 Time : 11541.0 sec. user=ototero [2011-03-01 14:07:18] 917*2^796554-1 is not prime. Res64: EB32C1241586B4CA Time : 11540.0 sec. user=ototero [2011-03-01 14:07:18] 971*2^796554-1 is not prime. Res64: B5A223CA3017FC7D Time : 11540.0 sec. user=ototero [2011-03-01 14:07:18] 829*2^796555-1 is not prime. Res64: 8795ADAFA4BFC61E Time : 11540.0 sec. user=ototero [2011-03-01 14:07:19] 861*2^796555-1 is not prime. Res64: CB28DEF836771253 Time : 11541.0 sec. user=ototero [2011-03-01 14:07:19] 871*2^796555-1 is not prime. Res64: BA31122101C7100A Time : 11540.0 sec. user=ototero [2011-03-01 14:07:19] 873*2^796555-1 is not prime. Res64: 5957FCA915944262 Time : 11540.0 sec. user=ototero [2011-03-01 14:07:19] 951*2^796555-1 is not prime. Res64: 3AEE814FE1B403A2 Time : 11540.0 sec. user=ototero [2011-03-01 14:07:19] 969*2^796555-1 is not prime. Res64: 2E04DA643E28CEC5 Time : 11539.0 sec. user=vaughan [2011-03-01 14:59:21] 827*2^796556-1 is not prime. Res64: 374A65F965078AB9 Time : 9695.0 sec. user=ototero [2011-03-01 15:31:26] 987*2^796421-1 is not prime. Res64: 818FB7741D16A2BA Time : 61540.0 sec. user=ototero [2011-03-01 15:31:27] 833*2^796422-1 is not prime. Res64: DB6B938120905EBF Time : 61540.0 sec. user=ototero [2011-03-01 15:31:27] 923*2^796422-1 is not prime. Res64: 951B74F37609F9F0 Time : 61540.0 sec. user=ototero [2011-03-01 15:31:27] 871*2^796423-1 is not prime. Res64: 346448579A321671 Time : 61540.0 sec. user=ototero [2011-03-01 15:31:27] 913*2^796423-1 is prime! Time : 61540.0 sec. user=ototero [2011-03-01 17:19:29] 813*2^796571-1 is not prime. Res64: E9B3577598040937 Time : 11529.0 sec. user=ototero [2011-03-01 17:19:29] 859*2^796571-1 is not prime. Res64: 1E0A11901408B410 Time : 11529.0 sec. user=ototero [2011-03-01 17:19:29] 909*2^796571-1 is not prime. Res64: 466CE75E0DC6C1DA Time : 11529.0 sec. user=ototero [2011-03-01 17:19:29] 993*2^796571-1 is not prime. Res64: B4777F68B2F83C27 Time : 11528.0 sec. user=ototero [2011-03-01 17:19:29] 903*2^796572-1 is not prime. Res64: CF11D3A983F7DBC0 Time : 11528.0 sec. user=ototero [2011-03-01 17:19:30] 801*2^796573-1 is not prime. Res64: 4F30B6D2F07E8EE4 Time : 11529.0 sec. user=ototero [2011-03-01 17:19:30] 811*2^796573-1 is not prime. Res64: 7DE7C94911DF209B Time : 11528.0 sec. user=ototero [2011-03-01 17:19:30] 831*2^796573-1 is not prime. Res64: BF176F1F3C2CEB48 Time : 11528.0 sec. user=ototero [2011-03-01 17:19:30] 957*2^796573-1 is not prime. Res64: E90E1F2C02C30FFE Time : 11528.0 sec. user=ototero [2011-03-01 17:19:30] 851*2^796574-1 is not prime. Res64: FBE64EEF00D4946C Time : 11527.0 sec. user=vaughan [2011-03-01 17:40:08] 885*2^796574-1 is not prime. Res64: BD2CAAC57C48E4AA Time : 9648.0 sec. user=kar_bon [2011-03-01 19:21:03] 829*2^796181-1 is not prime. Res64: DC8CEBD0F19D249C Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:04] 837*2^796181-1 is not prime. Res64: 70BE2AE3D645D395 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:05] 937*2^796181-1 is not prime. Res64: 9D8B1FC3F5541372 Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:05] 833*2^796182-1 is not prime. Res64: 6BD7BF4F3308891D Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:05] 975*2^796182-1 is not prime. Res64: 5B143218072161C0 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:05] 1001*2^796182-1 is not prime. Res64: DABA296966D0B351 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:05] 805*2^796183-1 is not prime. Res64: D67BA23CEFA76D02 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:06] 837*2^796184-1 is not prime. Res64: FE739D6E3CF37B03 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:06] 885*2^796185-1 is not prime. Res64: E1F2D9CB4FA2477F Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:06] 921*2^796185-1 is not prime. Res64: 71EFA6CCC5D138F7 Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:06] 857*2^796186-1 is not prime. Res64: 92B8569371A0EA1D Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:07] 1001*2^796186-1 is not prime. Res64: 160737A2311E534F Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:07] 985*2^796183-1 is not prime. Res64: E7ABA1E9276B478D Time : 87064.0 sec. user=kar_bon [2011-03-01 19:21:07] 949*2^796187-1 is not prime. Res64: 51E60D07B3064086 Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:07] 831*2^796185-1 is not prime. Res64: BD01C1D23DF65207 Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:08] 861*2^796189-1 is not prime. Res64: 99C787C03BB1AA99 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:08] 895*2^796185-1 is not prime. Res64: 7E62373D91558C15 Time : 87064.0 sec. user=kar_bon [2011-03-01 19:21:08] 987*2^796189-1 is not prime. Res64: 7D30E0138B9E8001 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:08] 991*2^796185-1 is not prime. Res64: E2EEB395BB7C6FA9 Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:08] 917*2^796190-1 is not prime. Res64: 933D976FF1BCE0D1 Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:08] 981*2^796186-1 is not prime. Res64: F992D4588944751D Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:08] 827*2^796192-1 is not prime. Res64: 8557D4A2A7B57319 Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:08] 801*2^796187-1 is not prime. Res64: 888CA863695DED05 Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:08] 929*2^796192-1 is not prime. Res64: A1A30B4FA06E635B Time : 87060.0 sec. user=kar_bon [2011-03-01 19:21:08] 979*2^796187-1 is not prime. Res64: 4ED0173BEBBE50DF Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:09] 901*2^796193-1 is not prime. Res64: 3786ABB0F775D60A Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:09] 837*2^796188-1 is not prime. Res64: E032C245E83422B5 Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:09] 905*2^796194-1 is not prime. Res64: F04000A4C3017A02 Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:09] 979*2^796189-1 is not prime. Res64: 3578FBB3B0CE9C0D Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:09] 969*2^796195-1 is not prime. Res64: 26ABC8093760B32D Time : 87060.0 sec. user=kar_bon [2011-03-01 19:21:09] 915*2^796190-1 is not prime. Res64: 7FBBE3A5887CC1BB Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:09] 909*2^796196-1 is not prime. Res64: 988294732BFA8CD7 Time : 87060.0 sec. user=kar_bon [2011-03-01 19:21:09] 813*2^796192-1 is not prime. Res64: 2A382DB9539B52D8 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:10] 901*2^796197-1 is not prime. Res64: 0B99AFC214D8197D Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:10] 985*2^796187-1 is not prime. Res64: 25E92D5D76E969B3 Time : 87064.0 sec. user=kar_bon [2011-03-01 19:21:10] 887*2^796192-1 is not prime. Res64: 0E9AD6789DA00AE9 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:10] 991*2^796197-1 is not prime. Res64: 6D0A34F072CB038E Time : 87060.0 sec. user=kar_bon [2011-03-01 19:21:10] 877*2^796189-1 is not prime. Res64: EA8A61AC8F3C418E Time : 87064.0 sec. user=kar_bon [2011-03-01 19:21:10] 867*2^796193-1 is not prime. Res64: 8680D76725A8D2D5 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:10] 843*2^796199-1 is not prime. Res64: FAB08EF9105CB215 Time : 87060.0 sec. user=kar_bon [2011-03-01 19:21:11] 851*2^796194-1 is not prime. Res64: 378B86755FB1F49F Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:11] 885*2^796190-1 is not prime. Res64: D090E488300675D9 Time : 87065.0 sec. user=kar_bon [2011-03-01 19:21:11] 845*2^796200-1 is not prime. Res64: FCBA46CF1CACA4B8 Time : 87060.0 sec. user=kar_bon [2011-03-01 19:21:11] 871*2^796195-1 is not prime. Res64: 4859E6021FA9B5DC Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:11] 979*2^796191-1 is not prime. Res64: 1715ADE8FE223E5C Time : 87064.0 sec. user=kar_bon [2011-03-01 19:21:11] 861*2^796201-1 is not prime. Res64: 3FD8E17D8D0058B0 Time : 87060.0 sec. user=kar_bon [2011-03-01 19:21:11] 893*2^796196-1 is not prime. Res64: 36FF9704889168C4 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:11] 833*2^796192-1 is not prime. Res64: 8F708D64E08BFDCB Time : 87064.0 sec. user=kar_bon [2011-03-01 19:21:11] 939*2^796201-1 is not prime. Res64: FFC9FF98604D83DF Time : 87060.0 sec. user=kar_bon [2011-03-01 19:21:11] 825*2^796197-1 is not prime. Res64: 00872EE02BA97BDA Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:11] 947*2^796192-1 is not prime. Res64: 5629FE010B20E0CB Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:11] 813*2^796202-1 is not prime. Res64: 9917493A1A75C714 Time : 87059.0 sec. user=kar_bon [2011-03-01 19:21:12] 955*2^796197-1 is not prime. Res64: 494FD50447CFE1DE Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:12] 801*2^796195-1 is not prime. Res64: E082B483F5897065 Time : 87064.0 sec. user=kar_bon [2011-03-01 19:21:12] 911*2^796202-1 is not prime. Res64: 9B59CB1DA64792B3 Time : 87060.0 sec. user=kar_bon [2011-03-01 19:21:12] 825*2^796199-1 is not prime. Res64: 3E919E07E5B55220 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:12] 813*2^796196-1 is not prime. Res64: 5ED6D6E2B530956D Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:12] 875*2^796204-1 is not prime. Res64: 087E1CDAFD324AC1 Time : 87059.0 sec. user=kar_bon [2011-03-01 19:21:12] 825*2^796200-1 is not prime. Res64: C303D3DD06754331 Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:12] 923*2^796196-1 is not prime. Res64: E379D187DC372C8C Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:12] 925*2^796205-1 is not prime. Res64: 8744FC0DC031C3CD Time : 87059.0 sec. user=kar_bon [2011-03-01 19:21:12] 855*2^796201-1 is not prime. Res64: 6C4B12595DDBED6D Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:12] 919*2^796197-1 is not prime. Res64: FFBD84214968BEFB Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:13] 815*2^796194-1 is not prime. Res64: BF9E304549170786 Time : 87065.0 sec. user=kar_bon [2011-03-01 19:21:13] 945*2^796206-1 is not prime. Res64: 65451F0E597B40B7 Time : 87060.0 sec. user=kar_bon [2011-03-01 19:21:13] 951*2^796201-1 is not prime. Res64: CDD1C56E88EEB4A7 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:13] 999*2^796197-1 is not prime. Res64: 42665882C21C3519 Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:14] 819*2^796195-1 is not prime. Res64: 0A5E765135FB70F0 Time : 87065.0 sec. user=kar_bon [2011-03-01 19:21:15] 869*2^796208-1 is not prime. Res64: 60BCAAA67DD14A18 Time : 87061.0 sec. user=kar_bon [2011-03-01 19:21:15] 833*2^796202-1 is not prime. Res64: 841578A1BB3F7E48 Time : 87063.0 sec. user=kar_bon [2011-03-01 19:21:16] 839*2^796196-1 is not prime. Res64: 4284D2F990E31E79 Time : 87067.0 sec. user=kar_bon [2011-03-01 19:21:16] 885*2^796199-1 is not prime. Res64: 938C8F319BFFD919 Time : 87066.0 sec. user=kar_bon [2011-03-01 19:21:16] 945*2^796209-1 is not prime. Res64: 340E6D6A5E191F65 Time : 87062.0 sec. user=kar_bon [2011-03-01 19:21:16] 977*2^796202-1 is not prime. Res64: BAF28E6D62E26C95 Time : 87064.0 sec. user=kar_bon [2011-03-01 19:21:17] 953*2^796196-1 is not prime. Res64: EBB1B6331FAD4EA9 Time : 87068.0 sec. user=kar_bon [2011-03-01 19:21:17] 933*2^796200-1 is not prime. Res64: 31EE4F956F094AD1 Time : 87066.0 sec. user=kar_bon [2011-03-01 19:21:18] 891*2^796210-1 is not prime. Res64: 90006C4DE586BB84 Time : 87064.0 sec. user=kar_bon [2011-03-01 19:21:18] 953*2^796204-1 is not prime. Res64: 8E01884D36FC3FBD Time : 87065.0 sec. user=kar_bon [2011-03-01 19:21:18] 927*2^796197-1 is not prime. Res64: 56D85E9558873CFE Time : 87068.0 sec. user=kar_bon [2011-03-01 19:21:19] 903*2^796211-1 is not prime. Res64: 2165523E990B6137 Time : 87064.0 sec. user=kar_bon [2011-03-01 19:21:19] 877*2^796201-1 is not prime. Res64: B697061AA76D9836 Time : 87068.0 sec. user=kar_bon [2011-03-01 19:21:20] 917*2^796206-1 is not prime. Res64: 514BD748E83921E5 Time : 87067.0 sec. user=kar_bon [2011-03-01 19:21:20] 993*2^796198-1 is not prime. Res64: 142B55B4DA3DB4E3 Time : 87070.0 sec. user=kar_bon [2011-03-01 19:21:20] 957*2^796212-1 is not prime. Res64: 9B1C04F9E3EA94B0 Time : 87065.0 sec. user=kar_bon [2011-03-01 19:21:21] 967*2^796201-1 is not prime. Res64: 33331F0DD67E82A7 Time : 87070.0 sec. user=kar_bon [2011-03-01 19:21:22] 975*2^796206-1 is not prime. Res64: 22E807BF391BAC46 Time : 87069.0 sec. user=kar_bon [2011-03-01 19:21:23] 973*2^796199-1 is not prime. Res64: A6A7479ED60B0F57 Time : 87073.0 sec. user=kar_bon [2011-03-01 19:21:23] 919*2^796213-1 is not prime. Res64: D00996B1F617A578 Time : 87067.0 sec. user=kar_bon [2011-03-01 19:21:24] 837*2^796202-1 is not prime. Res64: 3CF1C16F3AC38EF9 Time : 87072.0 sec. user=kar_bon [2011-03-01 19:21:24] 875*2^796208-1 is not prime. Res64: 08FF28F350366176 Time : 87070.0 sec. user=kar_bon [2011-03-01 19:21:25] 817*2^796201-1 is not prime. Res64: 06CE4DBAF48CC08B Time : 87074.0 sec. user=kar_bon [2011-03-01 19:21:25] 851*2^796214-1 is not prime. Res64: DF13E8702DB8E905 Time : 87069.0 sec. user=kar_bon [2011-03-01 19:21:25] 995*2^796202-1 is not prime. Res64: CA9C9857A0A16C4E Time : 87073.0 sec. user=kar_bon [2011-03-01 19:21:26] 951*2^796209-1 is not prime. Res64: 1DE737E1B69E0AF6 Time : 87072.0 sec. user=kar_bon [2011-03-01 19:21:27] 937*2^796201-1 is not prime. Res64: 36A2B3C9B6EB6839 Time : 87076.0 sec. user=kar_bon [2011-03-01 19:21:27] 833*2^796216-1 is not prime. Res64: F8E1B1CC6F3C2412 Time : 87071.0 sec. user=kar_bon [2011-03-01 19:21:27] 947*2^796204-1 is not prime. Res64: 0D7FFFFF1EDDE628 Time : 87074.0 sec. user=kar_bon [2011-03-01 19:21:27] 911*2^796210-1 is not prime. Res64: 08E2ADFD96F1973B Time : 87073.0 sec. user=kar_bon [2011-03-01 19:21:28] 997*2^796201-1 is not prime. Res64: E8A2A70CD5572843 Time : 87076.0 sec. user=kar_bon [2011-03-01 19:21:29] 873*2^796216-1 is not prime. Res64: 63ADD99E35785A61 Time : 87072.0 sec. user=kar_bon [2011-03-01 19:21:29] 873*2^796206-1 is not prime. Res64: 2582963A9402E6F7 Time : 87076.0 sec. user=kar_bon [2011-03-01 19:21:29] 991*2^796211-1 is not prime. Res64: 2E8821AEAA351050 Time : 87074.0 sec. user=kar_bon [2011-03-01 19:21:30] 873*2^796202-1 is not prime. Res64: 44772D347FCF4A57 Time : 87078.0 sec. user=kar_bon [2011-03-01 19:21:30] 945*2^796217-1 is not prime. Res64: 1D512CE6A539A727 Time : 87073.0 sec. user=kar_bon [2011-03-01 19:21:31] 959*2^796212-1 is not prime. Res64: E5EAFC3572BD8356 Time : 87076.0 sec. user=kar_bon [2011-03-01 19:21:31] 825*2^796204-1 is not prime. Res64: 8833DD9AFAC76877 Time : 87079.0 sec. user=kar_bon [2011-03-01 19:21:31] 947*2^796206-1 is not prime. Res64: 23C41A2AEE872C72 Time : 87078.0 sec. user=kar_bon [2011-03-01 19:21:32] 951*2^796218-1 is not prime. Res64: FED0AA2DC606AC48 Time : 87075.0 sec. user=kar_bon [2011-03-01 19:21:32] 925*2^796213-1 is not prime. Res64: C2CD5A98AD2DE094 Time : 87076.0 sec. user=kar_bon [2011-03-01 19:21:33] 847*2^796205-1 is not prime. Res64: 6F7A5FADA7B763C6 Time : 87080.0 sec. user=kar_bon [2011-03-01 19:21:33] 843*2^796208-1 is not prime. Res64: 109F6210FA3131BE Time : 87079.0 sec. user=kar_bon [2011-03-01 19:21:34] 943*2^796219-1 is not prime. Res64: 6ABF98641BAF6E01 Time : 87076.0 sec. user=kar_bon [2011-03-01 19:21:34] 995*2^796214-1 is not prime. Res64: F74896B3BA4AC501 Time : 87078.0 sec. user=kar_bon [2011-03-01 19:21:35] 921*2^796206-1 is not prime. Res64: 224B22C3018C3128 Time : 87082.0 sec. user=kar_bon [2011-03-01 19:21:35] 889*2^796209-1 is not prime. Res64: D5CF1E675ED378D6 Time : 87081.0 sec. user=kar_bon [2011-03-01 19:21:36] 879*2^796220-1 is not prime. Res64: 00E1BE0344944623 Time : 87078.0 sec. user=kar_bon [2011-03-01 19:21:36] 849*2^796216-1 is not prime. Res64: 57B0B75505314DD3 Time : 87080.0 sec. user=kar_bon [2011-03-01 19:21:37] 979*2^796207-1 is not prime. Res64: 684D1BAD96C6F959 Time : 87084.0 sec. user=kar_bon [2011-03-01 19:21:37] 887*2^796210-1 is not prime. Res64: 3B4FB34B88AAF7AB Time : 87083.0 sec. user=kar_bon [2011-03-01 19:21:37] 975*2^796221-1 is not prime. Res64: BCF9A2A265E5DC7C Time : 87078.0 sec. user=kar_bon [2011-03-01 19:21:37] 903*2^796216-1 is not prime. Res64: DE055B8F8BB20186 Time : 87080.0 sec. user=kar_bon [2011-03-01 19:21:38] 915*2^796208-1 is not prime. Res64: B1676EF088B3D833 Time : 87084.0 sec. user=kar_bon [2011-03-01 19:21:38] 859*2^796211-1 is not prime. Res64: CDDC794FB1C7B742 Time : 87083.0 sec. user=kar_bon [2011-03-01 19:21:39] 831*2^796222-1 is not prime. Res64: 5278D858FDC1CF3A Time : 87080.0 sec. user=kar_bon [2011-03-01 19:21:40] 949*2^796217-1 is not prime. Res64: 4B34ED2C254673A9 Time : 87083.0 sec. user=kar_bon [2011-03-01 19:21:40] 803*2^796210-1 is not prime. Res64: 6A589666BB9897FE Time : 87086.0 sec. user=kar_bon [2011-03-01 19:21:40] 935*2^796212-1 is not prime. Res64: 9D7544EACBEAD0B7 Time : 87085.0 sec. user=kar_bon [2011-03-01 19:21:41] 949*2^796223-1 is not prime. Res64: 7747D0A5ABABDB59 Time : 87082.0 sec. user=kar_bon [2011-03-01 19:21:42] 975*2^796218-1 is not prime. Res64: D5CB1548224B9A37 Time : 87085.0 sec. user=kar_bon [2011-03-01 19:21:42] 995*2^796210-1 is not prime. Res64: 67BE3F6CFCC98063 Time : 87087.0 sec. user=kar_bon [2011-03-01 19:21:42] 901*2^796213-1 is not prime. Res64: 947FB9BEDE30F951 Time : 87086.0 sec. user=kar_bon [2011-03-01 19:21:43] 985*2^796223-1 is not prime. Res64: 246A628846B5A508 Time : 87083.0 sec. user=kar_bon [2011-03-01 19:21:44] 951*2^796219-1 is not prime. Res64: 3B9A558B7DC427C8 Time : 87086.0 sec. user=kar_bon [2011-03-01 19:21:44] 933*2^796212-1 is not prime. Res64: 224EF916F0C0844E Time : 87089.0 sec. user=kar_bon [2011-03-01 19:21:45] 813*2^796214-1 is not prime. Res64: 22908AD457E066C1 Time : 87089.0 sec. user=kar_bon [2011-03-01 19:21:45] 983*2^796224-1 is not prime. Res64: A76D72C976DFF497 Time : 87085.0 sec. user=kar_bon [2011-03-01 19:21:45] 915*2^796220-1 is not prime. Res64: E929210D34A982B9 Time : 87087.0 sec. user=kar_bon [2011-03-01 19:21:45] 897*2^796213-1 is not prime. Res64: 1DAA1443852F5EB8 Time : 87090.0 sec. user=kar_bon [2011-03-01 19:21:46] 999*2^796215-1 is not prime. Res64: 8C4BEAE660EA5F1E Time : 87090.0 sec. user=kar_bon [2011-03-01 19:21:47] 979*2^796225-1 is not prime. Res64: 89011EEAF1BA0700 Time : 87087.0 sec. user=kar_bon [2011-03-01 19:21:47] 979*2^796221-1 is not prime. Res64: 023EF4672F766CB0 Time : 87088.0 sec. user=kar_bon [2011-03-01 19:21:47] 987*2^796213-1 is not prime. Res64: E3169104C76B658B Time : 87091.0 sec. user=kar_bon [2011-03-01 19:21:47] 869*2^796216-1 is not prime. Res64: 7DEEB66489E3EB6F Time : 87090.0 sec. user=kar_bon [2011-03-01 19:21:48] 941*2^796222-1 is not prime. Res64: A35A25786FF5738C Time : 87089.0 sec. user=kar_bon [2011-03-01 19:21:48] 993*2^796226-1 is not prime. Res64: DC01BE6A9B05FD96 Time : 87087.0 sec. user=kar_bon [2011-03-01 19:21:49] 963*2^796215-1 is not prime. Res64: C0C982078C078D39 Time : 87093.0 sec. user=kar_bon [2011-03-01 19:21:49] 847*2^796217-1 is not prime. Res64: 2FA231FECE359F63 Time : 87092.0 sec. user=kar_bon [2011-03-01 19:21:50] 955*2^796223-1 is not prime. Res64: BF6EABE201D92AFD Time : 87091.0 sec. user=kar_bon [2011-03-01 19:21:51] 919*2^796227-1 is not prime. Res64: BA93347849D50087 Time : 87090.0 sec. user=kar_bon [2011-03-01 19:21:51] 855*2^796216-1 is not prime. Res64: 86A165491F1D7B7B Time : 87095.0 sec. user=kar_bon [2011-03-01 19:21:51] 875*2^796218-1 is not prime. Res64: E8FA3243C87871EF Time : 87094.0 sec. user=kar_bon [2011-03-01 19:21:51] 825*2^796224-1 is not prime. Res64: 13AE41E82090B0D9 Time : 87091.0 sec. user=kar_bon [2011-03-01 19:21:52] 837*2^796217-1 is not prime. Res64: 073E9C986B9E363B Time : 87095.0 sec. user=kar_bon [2011-03-01 19:21:53] 975*2^796228-1 is not prime. Res64: DAD71884967C2DBF Time : 87091.0 sec. user=kar_bon [2011-03-01 19:21:53] 885*2^796219-1 is not prime. Res64: 12FCF5624B6B1A5A Time : 87095.0 sec. user=kar_bon [2011-03-01 19:21:53] 885*2^796225-1 is not prime. Res64: 769964665438FC40 Time : 87093.0 sec. user=kar_bon [2011-03-01 19:21:54] 867*2^796218-1 is not prime. Res64: 77E14012382BDFAD Time : 87097.0 sec. user=kar_bon [2011-03-01 19:21:55] 991*2^796229-1 is not prime. Res64: A9284FA1C8DFD502 Time : 87093.0 sec. user=kar_bon [2011-03-01 19:21:55] 813*2^796220-1 is not prime. Res64: 91EA01F72EA37B4D Time : 87097.0 sec. user=kar_bon [2011-03-01 19:21:55] 815*2^796226-1 is not prime. Res64: 48F2803D8CBCF2A9 Time : 87095.0 sec. user=kar_bon [2011-03-01 19:21:55] 811*2^796219-1 is not prime. Res64: 23F05B04189D1088 Time : 87097.0 sec. user=kar_bon [2011-03-01 19:21:56] 941*2^796230-1 is not prime. Res64: DEB9280AEA2AD3C9 Time : 87094.0 sec. user=kar_bon [2011-03-01 19:21:56] 901*2^796221-1 is not prime. Res64: 23B90D439A733290 Time : 87097.0 sec. user=kar_bon [2011-03-01 19:21:57] 801*2^796227-1 is not prime. Res64: EF4C3C97C6958AFF Time : 87096.0 sec. user=kar_bon [2011-03-01 19:21:58] 969*2^796219-1 is not prime. Res64: 4968C9BC6B9D126F Time : 87100.0 sec. user=kar_bon [2011-03-01 19:21:58] 861*2^796231-1 is not prime. Res64: F9B0A64BBD5A62E4 Time : 87095.0 sec. user=kar_bon [2011-03-01 19:21:58] 827*2^796222-1 is not prime. Res64: D96E9D8584C2601E Time : 87099.0 sec. user=kar_bon [2011-03-01 19:21:59] 833*2^796228-1 is not prime. Res64: D1F998F6397C9709 Time : 87098.0 sec. user=kar_bon [2011-03-01 19:22:00] 865*2^796221-1 is not prime. Res64: 87E899A8E9CA8AB5 Time : 87102.0 sec. user=kar_bon [2011-03-01 19:22:00] 973*2^796231-1 is not prime. Res64: A902EFD204EB4747 Time : 87097.0 sec. user=kar_bon [2011-03-01 19:22:01] 813*2^796223-1 is not prime. Res64: F47282610456EB96 Time : 87102.0 sec. user=kar_bon [2011-03-01 19:22:01] 989*2^796228-1 is not prime. Res64: 3EE965BB436A806C Time : 87099.0 sec. user=kar_bon [2011-03-01 19:22:01] 801*2^796222-1 is not prime. Res64: C45EC851ACC241C2 Time : 87102.0 sec. user=kar_bon [2011-03-01 19:22:02] 957*2^796232-1 is not prime. Res64: 18DED8A7EDF7B4A7 Time : 87099.0 sec. user=kar_bon [2011-03-01 19:22:02] 987*2^796229-1 is not prime. Res64: BB65AE8051140912 Time : 87100.0 sec. user=kar_bon [2011-03-01 19:22:02] 973*2^796223-1 is not prime. Res64: 630504398B143D0C Time : 87102.0 sec. user=kar_bon [2011-03-01 19:22:03] 945*2^796222-1 is not prime. Res64: 95FA65E918091E3E Time : 87104.0 sec. user=kar_bon [2011-03-01 19:22:04] 999*2^796233-1 is not prime. Res64: 2892C3F524DAFC4F Time : 87100.0 sec. user=kar_bon [2011-03-01 19:22:04] 923*2^796230-1 is not prime. Res64: 1693F32D3A72B719 Time : 87102.0 sec. user=kar_bon [2011-03-01 19:22:04] 863*2^796224-1 is not prime. Res64: 1ADE0E1DEBD71AD2 Time : 87104.0 sec. user=kar_bon [2011-03-01 19:22:04] 963*2^796223-1 is not prime. Res64: 4A12C21C542F0E8F Time : 87105.0 sec. user=kar_bon [2011-03-01 19:22:04] 885*2^796231-1 is not prime. Res64: F4D5B4A8B16C3FE4 Time : 87101.0 sec. user=kar_bon [2011-03-01 19:22:05] 963*2^796235-1 is not prime. Res64: 2965498DEA4811A5 Time : 87101.0 sec. user=kar_bon [2011-03-01 19:22:06] 951*2^796225-1 is not prime. Res64: C620E6CB897CCE3E Time : 87106.0 sec. user=kar_bon [2011-03-01 19:22:06] 837*2^796224-1 is not prime. Res64: 6FC624002259027D Time : 87106.0 sec. user=kar_bon [2011-03-01 19:22:06] 999*2^796231-1 is not prime. Res64: FD67D42DC7FCEE80 Time : 87103.0 sec. user=kar_bon [2011-03-01 19:22:07] 805*2^796237-1 is not prime. Res64: B5B7A0855333B464 Time : 87102.0 sec. user=kar_bon [2011-03-01 19:22:07] 945*2^796226-1 is not prime. Res64: 4786ADBB505E237E Time : 87106.0 sec. user=kar_bon [2011-03-01 19:22:08] 889*2^796225-1 is not prime. Res64: 2D13408067E69F26 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:08] 963*2^796232-1 is not prime. Res64: 357E8394E100808F Time : 87105.0 sec. user=kar_bon [2011-03-01 19:22:09] 953*2^796238-1 is not prime. Res64: CB60FE16DEE64198 Time : 87104.0 sec. user=kar_bon [2011-03-01 19:22:09] 909*2^796227-1 is not prime. Res64: F5BC76DB13EB526D Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:10] 921*2^796226-1 is not prime. Res64: E3E576EC33DC4559 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:11] 813*2^796234-1 is not prime. Res64: A0EA0A8B3C38A27C Time : 87107.0 sec. user=kar_bon [2011-03-01 19:22:11] 895*2^796239-1 is not prime. Res64: 7C9FDC973793FA96 Time : 87106.0 sec. user=kar_bon [2011-03-01 19:22:11] 909*2^796228-1 is not prime. Res64: B67BB8A545DEC10F Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:12] 859*2^796227-1 is not prime. Res64: F2E012B408F03136 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:12] 973*2^796235-1 is not prime. Res64: C0A1D4FD71D56E2C Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:13] 837*2^796229-1 is not prime. Res64: 5FF1A45316D10CEE Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:13] 839*2^796228-1 is not prime. Res64: 0B7FB4BD10C26FC5 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:22:13] 827*2^796238-1 is not prime. Res64: B8DFD3992F8FEB53 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:13] 891*2^796230-1 is not prime. Res64: B319188BF2D10CEB Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:13] 993*2^796228-1 is not prime. Res64: 319038C92C3F38D5 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:13] 861*2^796239-1 is not prime. Res64: 4E5204CD3D1246B8 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:14] 819*2^796231-1 is not prime. Res64: BDE9EA959D975784 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:14] 867*2^796230-1 is not prime. Res64: ADDAE31A9F6CF819 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:22:14] 813*2^796240-1 is not prime. Res64: 6C315096BEAB29FF Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:14] 961*2^796231-1 is not prime. Res64: 86A6463DDFD52966 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:14] 957*2^796230-1 is not prime. Res64: 829C7D807F415835 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:22:14] 905*2^796240-1 is not prime. Res64: EE9081F86252D119 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:14] 867*2^796232-1 is not prime. Res64: B69B64E15EA343D8 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:14] 925*2^796231-1 is not prime. Res64: BB4DE9B6B5CF9FE2 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:14] 949*2^796241-1 is not prime. Res64: DC9467719290F543 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:14] 895*2^796233-1 is not prime. Res64: 49F826ED9F946B65 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:14] 855*2^796232-1 is not prime. Res64: 2709C6E7D2CCB24F Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:14] 893*2^796242-1 is not prime. Res64: 7D26C88E90C13859 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:14] 855*2^796235-1 is not prime. Res64: 5F89E79E72585AC9 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:15] 983*2^796232-1 is not prime. Res64: AF1995B8FECBDD40 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:15] 861*2^796243-1 is not prime. Res64: DEB138C5008A7E67 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:15] 879*2^796236-1 is not prime. Res64: E1CE297D32C5B57C Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:15] 917*2^796234-1 is not prime. Res64: 10A353D1F3057B6F Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:15] 929*2^796244-1 is not prime. Res64: A94144800BB1A668 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:15] 897*2^796238-1 is not prime. Res64: 056DEAF29C8CE745 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:15] 857*2^796236-1 is not prime. Res64: 71CC60C71CE855EE Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:15] 831*2^796247-1 is not prime. Res64: 2963AA6F54086292 Time : 87107.0 sec. user=kar_bon [2011-03-01 19:22:15] 879*2^796239-1 is not prime. Res64: 0FEA5E2FAAB63E98 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:15] 857*2^796238-1 is not prime. Res64: 05F0EEC14705E390 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:15] 875*2^796240-1 is not prime. Res64: B22BF64079F2CB33 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:15] 865*2^796239-1 is not prime. Res64: E0DFBB24BC025334 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:16] 929*2^796240-1 is not prime. Res64: F4C113D916BBB5C1 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:16] 825*2^796240-1 is not prime. Res64: A04B3789E3241556 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:22:16] 807*2^796242-1 is not prime. Res64: 471D4075ADB4FF67 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:16] 909*2^796240-1 is not prime. Res64: 75A5E1DA4F27C2AF Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:16] 853*2^796243-1 is not prime. Res64: 57C4B18255230242 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:16] 955*2^796241-1 is not prime. Res64: 6FFB2E8B7F7B27DD Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:16] 923*2^796244-1 is not prime. Res64: 49EE9DC29ACF76B0 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:16] 951*2^796242-1 is not prime. Res64: AFF17A73D599C548 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:17] 917*2^796246-1 is not prime. Res64: 55560CDB1BF83CA1 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:17] 869*2^796244-1 is not prime. Res64: D06E3DE26928F5E7 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:17] 865*2^796247-1 is not prime. Res64: C13C4E5E5BB3974D Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:17] 889*2^796245-1 is not prime. Res64: B5999371938C53BA Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:17] 981*2^796247-1 is not prime. Res64: 603A27BE471ACA56 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:17] 843*2^796247-1 is not prime. Res64: ABA77A7936CCF84C Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:17] 861*2^796249-1 is not prime. Res64: 88059E0237533C3D Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:17] 979*2^796247-1 is not prime. Res64: 6B5221FBD73A53CD Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:17] 801*2^796250-1 is not prime. Res64: 913BFA9ACA35E06F Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:18] 935*2^796248-1 is not prime. Res64: FC8C1D0D15C65A5B Time : 87110.0 sec. user=kar_bon [2011-03-01 19:22:18] 945*2^796250-1 is not prime. Res64: C194964DA268B05C Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:18] 975*2^796249-1 is not prime. Res64: CB3754DCC1D7FC4E Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:18] 825*2^796251-1 is not prime. Res64: 0BB39FB82CEB239F Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:18] 875*2^796250-1 is not prime. Res64: 0CC581F325092C41 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:18] 955*2^796251-1 is not prime. Res64: 9484BFA8F7F3FD08 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:18] 957*2^796250-1 is not prime. Res64: 1961BE61561E578E Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:18] 921*2^796251-1 is not prime. Res64: B467A3631FD42350 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:19] 855*2^796252-1 is not prime. Res64: EF230D3C06309064 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:22:19] 903*2^796252-1 is not prime. Res64: BFE4FDFB88678203 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:19] 909*2^796252-1 is not prime. Res64: 4DB2D1C0BB96E474 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:19] 933*2^796252-1 is not prime. Res64: 68F53E05A5D2F013 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:20] 995*2^796252-1 is not prime. Res64: 95D7E3AC187E7DB3 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:20] 811*2^796253-1 is not prime. Res64: BCBACFE75B6E0444 Time : 87108.0 sec. user=kar_bon [2011-03-01 19:22:50] 831*2^796253-1 is not prime. Res64: 59EC408AC184E25E Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:51] 937*2^796253-1 is not prime. Res64: 18B19D353311A9E1 Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:51] 955*2^796253-1 is not prime. Res64: DB69444DD4627574 Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:51] 957*2^796253-1 is not prime. Res64: 30C993EC8E79AB85 Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:51] 979*2^796253-1 is not prime. Res64: F92F4787B4F171F5 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:52] 875*2^796254-1 is not prime. Res64: 3F7B189BC30C8E27 Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:52] 971*2^796254-1 is not prime. Res64: C47298A295AF0F26 Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:52] 1001*2^796254-1 is not prime. Res64: B51F6246DC04E3FD Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:52] 891*2^796255-1 is not prime. Res64: EF67FB36162C3F36 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:53] 961*2^796255-1 is not prime. Res64: 1CC426D539B005BE Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:53] 855*2^796256-1 is not prime. Res64: 42AB39EED8C1D005 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:53] 983*2^796254-1 is not prime. Res64: 0646FCE6F35762EF Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:53] 963*2^796256-1 is not prime. Res64: 98BC4E5DCCE3C987 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:54] 885*2^796255-1 is not prime. Res64: 99017A0962294A39 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:54] 997*2^796257-1 is not prime. Res64: 139C0E07E4769F61 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:54] 951*2^796255-1 is not prime. Res64: 83AE75D4992C2B90 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:54] 975*2^796258-1 is not prime. Res64: 33CA491C4F70E012 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:54] 973*2^796255-1 is not prime. Res64: 4085C7B9759FA38C Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:54] 993*2^796259-1 is not prime. Res64: D2C99167C75EDCF8 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:54] 893*2^796256-1 is not prime. Res64: 88CD2A3E8D1175CF Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:54] 867*2^796261-1 is not prime. Res64: D0FADA12CDE10597 Time : 86957.0 sec. user=kar_bon [2011-03-01 19:22:55] 985*2^796257-1 is not prime. Res64: 86270A73CC838D36 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:55] 957*2^796261-1 is not prime. Res64: 256B136CDEEEE215 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:55] 827*2^796258-1 is not prime. Res64: 26A44F5195DE9EE9 Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:55] 815*2^796262-1 is not prime. Res64: 55A6B7003CD76E46 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:55] 813*2^796259-1 is not prime. Res64: BA70FCCA092B47AE Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:55] 987*2^796262-1 is not prime. Res64: 2B8FA0E0291EC904 Time : 86957.0 sec. user=kar_bon [2011-03-01 19:22:55] 801*2^796261-1 is not prime. Res64: BD0BA98934E115F0 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:55] 951*2^796263-1 is not prime. Res64: 8123C3CEB2A715A6 Time : 86957.0 sec. user=kar_bon [2011-03-01 19:22:55] 877*2^796261-1 is not prime. Res64: 2A9B2147DE2DF44D Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:55] 855*2^796264-1 is not prime. Res64: D66E97C23BCB04E2 Time : 86956.0 sec. user=kar_bon [2011-03-01 19:22:56] 961*2^796261-1 is not prime. Res64: F39ED38C53C5A0BC Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:56] 923*2^796264-1 is not prime. Res64: B3A8211CFF679F55 Time : 86957.0 sec. user=kar_bon [2011-03-01 19:22:56] 825*2^796262-1 is not prime. Res64: 3C0D089C71D75329 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:56] 821*2^796266-1 is not prime. Res64: D14AB709F7FC204E Time : 86957.0 sec. user=kar_bon [2011-03-01 19:22:56] 833*2^796258-1 is not prime. Res64: 5E61B08B265931C5 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:56] 871*2^796263-1 is not prime. Res64: 057B899BF66C4D6F Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:56] 945*2^796266-1 is not prime. Res64: D08064F8C751088F Time : 86956.0 sec. user=kar_bon [2011-03-01 19:22:57] 819*2^796259-1 is not prime. Res64: 9B6B102BD7848552 Time : 86961.0 sec. user=kar_bon [2011-03-01 19:22:57] 961*2^796263-1 is not prime. Res64: 8DA7EA926205348C Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:57] 909*2^796268-1 is not prime. Res64: D63E061E4E078FA0 Time : 86957.0 sec. user=kar_bon [2011-03-01 19:22:57] 861*2^796261-1 is not prime. Res64: 0882CFA3F3D177C6 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:57] 875*2^796264-1 is not prime. Res64: 680118BDF582BFBC Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:57] 969*2^796268-1 is not prime. Res64: 77B51E7930D02856 Time : 86957.0 sec. user=kar_bon [2011-03-01 19:22:57] 939*2^796261-1 is not prime. Res64: 51D6C2AA2B6C93F9 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:57] 969*2^796265-1 is not prime. Res64: 2F457F58D4A63DE5 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:57] 961*2^796269-1 is not prime. Res64: 5D2951291FD4825A Time : 86956.0 sec. user=kar_bon [2011-03-01 19:22:58] 975*2^796261-1 is not prime. Res64: 6EB5B72677D313BD Time : 86961.0 sec. user=kar_bon [2011-03-01 19:22:58] 917*2^796266-1 is not prime. Res64: 7C2E56333F4E65EB Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:58] 945*2^796270-1 is not prime. Res64: 056009014ABB55B0 Time : 86957.0 sec. user=kar_bon [2011-03-01 19:22:58] 911*2^796262-1 is not prime. Res64: 7D9306A35C22E6E4 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:58] 843*2^796268-1 is not prime. Res64: 7BBED4E5C11815D8 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:58] 975*2^796272-1 is not prime. Res64: A96274D8081393C2 Time : 86956.0 sec. user=kar_bon [2011-03-01 19:22:58] 945*2^796263-1 is not prime. Res64: 543D7AD0D2C69794 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:58] 963*2^796268-1 is not prime. Res64: 4534295301AB47BD Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:58] 999*2^796273-1 is not prime. Res64: A84C63BB0A48198F Time : 86956.0 sec. user=kar_bon [2011-03-01 19:22:58] 825*2^796264-1 is not prime. Res64: BBF82098EED07B90 Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:58] 919*2^796269-1 is not prime. Res64: DE6E129C87E78B6F Time : 86957.0 sec. user=kar_bon [2011-03-01 19:22:58] 921*2^796274-1 is not prime. Res64: F39936BFFED99FED Time : 86956.0 sec. user=kar_bon [2011-03-01 19:22:59] 861*2^796265-1 is not prime. Res64: 2EDFDCADB4B1755B Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:59] 867*2^796270-1 is not prime. Res64: 3C7EADA3BB13FADD Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:59] 873*2^796276-1 is not prime. Res64: 653E4E350DF962B7 Time : 86956.0 sec. user=kar_bon [2011-03-01 19:22:59] 891*2^796266-1 is not prime. Res64: B959C510704729E0 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:59] 945*2^796272-1 is not prime. Res64: 5BFB1D7AA3650868 Time : 86958.0 sec. user=kar_bon [2011-03-01 19:22:59] 857*2^796264-1 is not prime. Res64: 5E31DFB07284EAC6 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:22:59] 989*2^796276-1 is not prime. Res64: B3265A536181C7D5 Time : 86956.0 sec. user=kar_bon [2011-03-01 19:22:59] 829*2^796267-1 is not prime. Res64: 148D0A6BD2740DD6 Time : 86959.0 sec. user=kar_bon [2011-03-01 19:22:59] 979*2^796273-1 is not prime. Res64: 0B3B4434A565767C Time : 86957.0 sec. user=kar_bon [2011-03-01 19:23:01] 957*2^796265-1 is not prime. Res64: 9C2CFB76C4BADC7C Time : 86962.0 sec. user=kar_bon [2011-03-01 19:23:01] 821*2^796278-1 is not prime. Res64: CA804EEF87BDC9CA Time : 86958.0 sec. user=kar_bon [2011-03-01 19:23:01] 927*2^796268-1 is not prime. Res64: 4C460C5C3CD2528A Time : 86961.0 sec. user=kar_bon [2011-03-01 19:23:02] 903*2^796274-1 is not prime. Res64: 03C5231889B3BC26 Time : 86960.0 sec. user=kar_bon [2011-03-01 19:23:02] 905*2^796266-1 is not prime. Res64: 0DE8B8A35BCC4093 Time : 86963.0 sec. user=kar_bon [2011-03-01 19:23:03] 861*2^796279-1 is not prime. Res64: 3538622E6FF391C8 Time : 86959.0 sec. user=kar_bon [2011-03-01 19:23:04] 885*2^796269-1 is not prime. Res64: 0B45D0E5C0037BE9 Time : 86964.0 sec. user=kar_bon [2011-03-01 19:23:04] 855*2^796276-1 is not prime. Res64: A377E7686A159CBB Time : 86961.0 sec. user=kar_bon [2011-03-01 19:23:04] 975*2^796267-1 is not prime. Res64: E4658709C95ECA7E Time : 86964.0 sec. user=kar_bon [2011-03-01 19:23:05] 915*2^796280-1 is not prime. Res64: 9CD3F5270BA1ECC7 Time : 86961.0 sec. user=kar_bon [2011-03-01 19:23:05] 821*2^796270-1 is not prime. Res64: 8DACFBEB80CA6F36 Time : 86964.0 sec. user=kar_bon [2011-03-01 19:23:05] 965*2^796276-1 is not prime. Res64: D043F3F96AC46A94 Time : 86962.0 sec. user=kar_bon [2011-03-01 19:23:06] 957*2^796268-1 is not prime. Res64: 0239EEFB0065D1D4 Time : 86966.0 sec. user=kar_bon [2011-03-01 19:23:06] 979*2^796281-1 is not prime. Res64: D933BA9DF5AA6264 Time : 86961.0 sec. user=kar_bon [2011-03-01 19:23:07] 931*2^796271-1 is not prime. Res64: A643E187871350C4 Time : 86966.0 sec. user=kar_bon [2011-03-01 19:23:08] 871*2^796277-1 is not prime. Res64: EBC1D2F8DD09FEA2 Time : 86965.0 sec. user=kar_bon [2011-03-01 19:23:08] 907*2^796269-1 is not prime. Res64: 6A1B06908F2D8A0C Time : 86968.0 sec. user=kar_bon [2011-03-01 19:23:08] 987*2^796282-1 is not prime. Res64: 3BD43F4CCB2A22EE Time : 86963.0 sec. user=kar_bon [2011-03-01 19:23:09] 805*2^796273-1 is not prime. Res64: 83E4949D0505DF32 Time : 86967.0 sec. user=kar_bon [2011-03-01 19:23:10] 859*2^796279-1 is not prime. Res64: 347EBBDC07C87E88 Time : 86966.0 sec. user=kar_bon [2011-03-01 19:23:10] 845*2^796270-1 is not prime. Res64: 3C1AC88CBAB93760 Time : 86969.0 sec. user=kar_bon [2011-03-01 19:23:11] 885*2^796285-1 is not prime. Res64: 0E75AF69F98BDFD5 Time : 86966.0 sec. user=kar_bon [2011-03-01 19:23:11] 827*2^796274-1 is not prime. Res64: D8E0B72C035541DC Time : 86969.0 sec. user=kar_bon [2011-03-01 19:23:12] 985*2^796279-1 is not prime. Res64: F16524C8D03A83CD Time : 86968.0 sec. user=kar_bon [2011-03-01 19:23:12] 939*2^796271-1 is not prime. Res64: 75F765FE32726FBA Time : 86971.0 sec. user=kar_bon [2011-03-01 19:23:13] 825*2^796287-1 is not prime. Res64: 8701B30F1CBB6D1F Time : 86967.0 sec. user=kar_bon [2011-03-01 19:23:13] 999*2^796275-1 is not prime. Res64: 37DDB63DE621409C Time : 86971.0 sec. user=kar_bon [2011-03-01 19:23:13] 951*2^796281-1 is not prime. Res64: 71534A5FA9D136C5 Time : 86969.0 sec. user=kar_bon [2011-03-01 19:23:14] 897*2^796273-1 is not prime. Res64: 2EFC99C34B4DE184 Time : 86972.0 sec. user=kar_bon [2011-03-01 19:23:14] 985*2^796287-1 is not prime. Res64: 8734087D53C02C54 Time : 86968.0 sec. user=kar_bon [2011-03-01 19:23:14] 903*2^796276-1 is not prime. Res64: 15B5C645DF45F15E Time : 86971.0 sec. user=kar_bon [2011-03-01 19:23:15] 917*2^796282-1 is not prime. Res64: EC1E09BC35618666 Time : 86970.0 sec. user=kar_bon [2011-03-01 19:23:16] 851*2^796274-1 is not prime. Res64: 709E24093400FE58 Time : 86974.0 sec. user=kar_bon [2011-03-01 19:23:16] 955*2^796289-1 is not prime. Res64: B78C5A8F9D10E4AD Time : 86970.0 sec. user=kar_bon [2011-03-01 19:23:16] 999*2^796276-1 is not prime. Res64: 2576D1569D4F4208 Time : 86973.0 sec. user=kar_bon [2011-03-01 19:23:17] 957*2^796284-1 is not prime. Res64: C429D7C5488491A5 Time : 86972.0 sec. user=kar_bon [2011-03-01 19:23:18] 803*2^796276-1 is not prime. Res64: 0DB3A3B1380DF6DA Time : 86976.0 sec. user=kar_bon [2011-03-01 19:23:18] 951*2^796290-1 is not prime. Res64: 802BCE4FD12ACFFB Time : 86971.0 sec. user=kar_bon [2011-03-01 19:23:19] 923*2^796278-1 is not prime. Res64: A6B5499EB62B53A0 Time : 86976.0 sec. user=kar_bon [2011-03-01 19:23:19] 861*2^796286-1 is not prime. Res64: 63ADE92AF14BAFDC Time : 86973.0 sec. user=kar_bon [2011-03-01 19:23:19] 939*2^796276-1 is not prime. Res64: D7B7D7EBB8D53C89 Time : 86976.0 sec. user=kar_bon [2011-03-01 19:23:20] 875*2^796292-1 is not prime. Res64: C2CFF171FB878ACC Time : 86973.0 sec. user=kar_bon [2011-03-01 19:23:21] 969*2^796279-1 is not prime. Res64: 220DE32E6A0AC5A6 Time : 86977.0 sec. user=kar_bon [2011-03-01 19:23:21] 949*2^796287-1 is not prime. Res64: 97AB4BE6EFCBCEFB Time : 86975.0 sec. user=kar_bon [2011-03-01 19:23:21] 801*2^796277-1 is not prime. Res64: 73D08BFCCE7129FA Time : 86978.0 sec. user=kar_bon [2011-03-01 19:23:22] 903*2^796294-1 is not prime. Res64: 4D13D64B00FC692A Time : 86974.0 sec. user=kar_bon [2011-03-01 19:23:22] 877*2^796281-1 is not prime. Res64: 79C5A90CDBED273B Time : 86978.0 sec. user=kar_bon [2011-03-01 19:23:23] 989*2^796288-1 is not prime. Res64: 8059E0620570A088 Time : 86977.0 sec. user=kar_bon [2011-03-01 19:23:23] 933*2^796278-1 is not prime. Res64: AA47A95531C6BF44 Time : 86980.0 sec. user=kar_bon [2011-03-01 19:23:23] 825*2^796295-1 is not prime. Res64: 05B1C3B86B926BE2 Time : 86975.0 sec. user=kar_bon [2011-03-01 19:23:24] 999*2^796281-1 is not prime. Res64: 14A9FB3080ED1CAD Time : 86979.0 sec. user=kar_bon [2011-03-01 19:23:24] 917*2^796290-1 is not prime. Res64: 95B2A1FCBF0AFBEE Time : 86977.0 sec. user=kar_bon [2011-03-01 19:23:25] 979*2^796279-1 is not prime. Res64: B1D0CAC0CCE94AA7 Time : 86981.0 sec. user=kar_bon [2011-03-01 19:23:26] 923*2^796296-1 is not prime. Res64: 15F26BB38F06BDEC Time : 86978.0 sec. user=kar_bon [2011-03-01 19:23:26] 1001*2^796282-1 is not prime. Res64: 2C0F50027E7F222B Time : 86981.0 sec. user=kar_bon [2011-03-01 19:23:26] 931*2^796291-1 is not prime. Res64: 6891F582B0381ADF Time : 86979.0 sec. user=kar_bon [2011-03-01 19:23:27] 907*2^796281-1 is not prime. Res64: 92F2AD827CF1D07A Time : 86983.0 sec. user=kar_bon [2011-03-01 19:23:28] 931*2^796297-1 is not prime. Res64: 78161CB2F40D0E81 Time : 86979.0 sec. user=kar_bon [2011-03-01 19:23:28] 867*2^796285-1 is not prime. Res64: 9E62BBE820E23D77 Time : 86983.0 sec. user=kar_bon [2011-03-01 19:23:29] 921*2^796293-1 is not prime. Res64: 54503BD6142A1589 Time : 86982.0 sec. user=kar_bon [2011-03-01 19:23:29] 803*2^796282-1 is not prime. Res64: F6BE59E88A8475E5 Time : 86984.0 sec. user=kar_bon [2011-03-01 19:23:29] 895*2^796299-1 is not prime. Res64: 6EFB15B79521BD13 Time : 86980.0 sec. user=kar_bon [2011-03-01 19:23:30] 893*2^796286-1 is not prime. Res64: 3A18D75A801176EF Time : 86984.0 sec. user=kar_bon [2011-03-01 19:23:30] 857*2^796284-1 is not prime. Res64: F16A97DCB3F07899 Time : 86985.0 sec. user=kar_bon [2011-03-01 19:23:30] 1001*2^796294-1 is not prime. Res64: A4293397C541DD9E Time : 86982.0 sec. user=kar_bon [2011-03-01 19:23:31] 909*2^796300-1 is not prime. Res64: 0732087E853611F0 Time : 86982.0 sec. user=kar_bon [2011-03-01 19:23:31] 933*2^796288-1 is not prime. Res64: 19732DC5059401E0 Time : 86985.0 sec. user=kar_bon [2011-03-01 19:23:31] 857*2^796286-1 is not prime. Res64: D46B566E88DF4C19 Time : 86986.0 sec. user=kar_bon [2011-03-01 19:23:32] 969*2^796295-1 is not prime. Res64: 4C55C07D0100861B Time : 86984.0 sec. user=kar_bon [2011-03-01 19:23:32] 807*2^796302-1 is not prime. Res64: CAD39A8DB9001A6C Time : 86982.0 sec. user=kar_bon [2011-03-01 19:23:33] 843*2^796290-1 is not prime. Res64: 6FB88F6DF61145AE Time : 86987.0 sec. user=kar_bon [2011-03-01 19:23:34] 919*2^796287-1 is not prime. Res64: 8D377F52761B0318 Time : 86988.0 sec. user=kar_bon [2011-03-01 19:23:34] 897*2^796297-1 is not prime. Res64: 9A577FF5E30B56DC Time : 86985.0 sec. user=kar_bon [2011-03-01 19:23:34] 849*2^796303-1 is not prime. Res64: F1D76303914120FB Time : 86984.0 sec. user=kar_bon [2011-03-01 19:23:35] 805*2^796291-1 is not prime. Res64: 91230BFCFA3D0496 Time : 86988.0 sec. user=kar_bon [2011-03-01 19:23:36] 957*2^796288-1 is not prime. Res64: 9634EE944107FC62 Time : 86990.0 sec. user=kar_bon [2011-03-01 19:23:36] 891*2^796299-1 is not prime. Res64: F7EDBA8B82A65B4F Time : 86987.0 sec. user=kar_bon [2011-03-01 19:23:36] 869*2^796304-1 is not prime. Res64: BEA0EF4E48F1332A Time : 86986.0 sec. user=kar_bon [2011-03-01 19:23:36] 923*2^796292-1 is not prime. Res64: EC39CBCE412152E0 Time : 86989.0 sec. user=kar_bon [2011-03-01 19:23:38] 861*2^796290-1 is not prime. Res64: 6A5E70F5984B3F9D Time : 86992.0 sec. user=kar_bon [2011-03-01 19:23:38] 855*2^796300-1 is not prime. Res64: ED96BE54574157EC Time : 86989.0 sec. user=kar_bon [2011-03-01 19:23:38] 995*2^796304-1 is not prime. Res64: CAACCC2641364DD2 Time : 86987.0 sec. user=kar_bon [2011-03-01 19:23:39] 941*2^796294-1 is not prime. Res64: 1B5C0AA26A026E40 Time : 86991.0 sec. user=kar_bon [2011-03-01 19:23:39] 873*2^796291-1 is not prime. Res64: C1EF1B3AEB3A7E32 Time : 86992.0 sec. user=kar_bon [2011-03-01 19:23:40] 855*2^796301-1 is not prime. Res64: 888F1FBB566BA160 Time : 86990.0 sec. user=kar_bon [2011-03-01 19:23:41] 815*2^796306-1 is not prime. Res64: C4340AE26E531793 Time : 86990.0 sec. user=kar_bon [2011-03-01 19:23:41] 895*2^796295-1 is not prime. Res64: 5ADCD757C78CF7ED Time : 86993.0 sec. user=kar_bon [2011-03-01 19:23:41] 811*2^796293-1 is not prime. Res64: F05F1851EA43DFE2 Time : 86994.0 sec. user=kar_bon [2011-03-01 19:23:41] 975*2^796302-1 is not prime. Res64: 69DE45B8DA11C609 Time : 86991.0 sec. user=kar_bon [2011-03-01 19:23:42] 987*2^796306-1 is not prime. Res64: 65C5076DCFAAC523 Time : 86990.0 sec. user=kar_bon [2011-03-01 19:23:42] 807*2^796297-1 is not prime. Res64: 678DEE852EA5F6EF Time : 86994.0 sec. user=kar_bon [2011-03-01 19:23:43] 951*2^796294-1 is not prime. Res64: D228019D504E17B3 Time : 86995.0 sec. user=kar_bon [2011-03-01 19:23:44] 813*2^796304-1 is not prime. Res64: CF9D46E20A5FB9DF Time : 86994.0 sec. user=kar_bon [2011-03-01 19:23:44] 879*2^796308-1 is not prime. Res64: D7E7D4719A10945D Time : 86992.0 sec. user=kar_bon [2011-03-01 19:23:44] 979*2^796297-1 is not prime. Res64: F70249B96F3F10DE Time : 86995.0 sec. user=kar_bon [2011-03-01 19:23:45] 909*2^796295-1 is not prime. Res64: 9C57ADFB5F3FBA7A Time : 86997.0 sec. user=kar_bon [2011-03-01 19:23:46] 945*2^796304-1 is not prime. Res64: 27A2E8A010C8B659 Time : 86995.0 sec. user=kar_bon [2011-03-01 19:23:46] 987*2^796308-1 is not prime. Res64: BB96F109832CA4EA Time : 86994.0 sec. user=kar_bon [2011-03-01 19:23:47] 961*2^796299-1 is not prime. Res64: 99B3A7718CE17A60 Time : 86998.0 sec. user=kar_bon [2011-03-01 19:23:47] 829*2^796297-1 is not prime. Res64: 66B7ABF691749E6D Time : 86999.0 sec. user=kar_bon [2011-03-01 19:23:47] 997*2^796305-1 is not prime. Res64: CA7D9614F9E10E09 Time : 86996.0 sec. user=kar_bon [2011-03-01 19:23:48] 979*2^796311-1 is not prime. Res64: 7907979A26F44B8C Time : 86995.0 sec. user=kar_bon [2011-03-01 19:23:49] 915*2^796300-1 is not prime. Res64: B2B813A811F689E8 Time : 87000.0 sec. user=kar_bon [2011-03-01 19:23:49] 915*2^796298-1 is not prime. Res64: F5CBA28AC9557288 Time : 87000.0 sec. user=kar_bon [2011-03-01 19:23:49] 957*2^796306-1 is not prime. Res64: 1B6DA143C37057B9 Time : 86997.0 sec. user=kar_bon [2011-03-01 19:23:49] 915*2^796312-1 is not prime. Res64: F415E348D642C5E4 Time : 86996.0 sec. user=kar_bon [2011-03-01 19:23:50] 957*2^796302-1 is not prime. Res64: 82FD79294967E9AD Time : 87000.0 sec. user=kar_bon [2011-03-01 19:23:50] 825*2^796300-1 is not prime. Res64: 5A5C1D91DB7CF147 Time : 87001.0 sec. user=kar_bon [2011-03-01 19:23:51] 875*2^796308-1 is not prime. Res64: 3D0496DB2C535478 Time : 86999.0 sec. user=kar_bon [2011-03-01 19:23:52] 947*2^796312-1 is not prime. Res64: 10142EDC366CFA0C Time : 86999.0 sec. user=kar_bon [2011-03-01 19:23:52] 873*2^796303-1 is not prime. Res64: B5279FFCB348122F Time : 87002.0 sec. user=kar_bon [2011-03-01 19:23:53] 975*2^796300-1 is not prime. Res64: 8B6B744593122785 Time : 87004.0 sec. user=kar_bon [2011-03-01 19:23:53] 977*2^796308-1 is not prime. Res64: D2DD2FAD04E9328D Time : 87001.0 sec. user=kar_bon [2011-03-01 19:23:53] 991*2^796313-1 is not prime. Res64: C59BC37AF82A0FCA Time : 86999.0 sec. user=kar_bon [2011-03-01 19:23:54] 909*2^796304-1 is not prime. Res64: A360F8F9A18084F7 Time : 87004.0 sec. user=kar_bon [2011-03-01 19:23:55] 965*2^796302-1 is not prime. Res64: D448F7E850F0CC75 Time : 87005.0 sec. user=kar_bon [2011-03-01 19:23:55] 875*2^796310-1 is not prime. Res64: BC2AE645494AC9AB Time : 87002.0 sec. user=kar_bon [2011-03-01 19:23:56] 843*2^796315-1 is not prime. Res64: 0D5A9BA0B7D086F6 Time : 87002.0 sec. user=kar_bon [2011-03-01 19:23:56] 849*2^796305-1 is not prime. Res64: 72B5B95B1F40C456 Time : 87005.0 sec. user=kar_bon [2011-03-01 19:23:56] 973*2^796303-1 is not prime. Res64: 276484B155B8D3F5 Time : 87006.0 sec. user=kar_bon [2011-03-01 19:23:57] 857*2^796312-1 is not prime. Res64: DA18E74CEF1C20F4 Time : 87004.0 sec. user=kar_bon [2011-03-01 19:23:57] 951*2^796315-1 is not prime. Res64: 8E0B5F4A66CC554B Time : 87002.0 sec. user=kar_bon [2011-03-01 19:23:58] 857*2^796306-1 is not prime. Res64: 29F1B941F581BD93 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:23:58] 935*2^796304-1 is not prime. Res64: EAE29B2972F5BF4C Time : 87007.0 sec. user=kar_bon [2011-03-01 19:23:58] 939*2^796312-1 is not prime. Res64: C906CEB0233855C8 Time : 87005.0 sec. user=kar_bon [2011-03-01 19:23:59] 923*2^796316-1 is not prime. Res64: 586796DDFEAC6722 Time : 87004.0 sec. user=kar_bon [2011-03-01 19:23:59] 895*2^796307-1 is not prime. Res64: C7DCF7D98FE2D29A Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:00] 915*2^796305-1 is not prime. Res64: 9769E699046B05B5 Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:01] 985*2^796313-1 is not prime. Res64: 2F762A257F5B4F42 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:01] 929*2^796308-1 is not prime. Res64: 0A0FD8DC580750CC Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:02] 867*2^796306-1 is not prime. Res64: C313CF47D4DF7023 Time : 87011.0 sec. user=kar_bon [2011-03-01 19:24:02] 947*2^796314-1 is not prime. Res64: 46418C64E691392F Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:02] 831*2^796309-1 is not prime. Res64: 4C4A3A02467690B3 Time : 87010.0 sec. user=kar_bon [2011-03-01 19:24:02] 845*2^796308-1 is not prime. Res64: 363C1CE8C06EAAA1 Time : 87010.0 sec. user=kar_bon [2011-03-01 19:24:02] 919*2^796315-1 is not prime. Res64: 99F08C00CE4BBC82 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:02] 813*2^796312-1 is not prime. Res64: 3E0660E4885C715C Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:02] 947*2^796308-1 is not prime. Res64: 3475BFF5B50B4B13 Time : 87010.0 sec. user=kar_bon [2011-03-01 19:24:02] 899*2^796316-1 is not prime. Res64: 5D64E19ED0B5655D Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:02] 917*2^796312-1 is not prime. Res64: 956A869B8572A25D Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:03] 897*2^796309-1 is not prime. Res64: F69FBBBEA82598E6 Time : 87011.0 sec. user=kar_bon [2011-03-01 19:24:03] 817*2^796317-1 is not prime. Res64: 88D3B63FACB1EA86 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:03] 847*2^796313-1 is not prime. Res64: AD523BDA00EFE419 Time : 87010.0 sec. user=kar_bon [2011-03-01 19:24:03] 827*2^796312-1 is not prime. Res64: F2B8344218D6443D Time : 87010.0 sec. user=kar_bon [2011-03-01 19:24:03] 857*2^796318-1 is not prime. Res64: AD5713D08957ABFB Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:03] 887*2^796314-1 is not prime. Res64: 4B219E82851C85BE Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:03] 933*2^796312-1 is not prime. Res64: 5E92A0C8C5BB86F5 Time : 87010.0 sec. user=kar_bon [2011-03-01 19:24:03] 885*2^796318-1 is not prime. Res64: DF73BA65551622EA Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:03] 861*2^796315-1 is not prime. Res64: C38FA3A1BC7C1BF7 Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:03] 871*2^796313-1 is not prime. Res64: 9CBC123830FC0DA2 Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:03] 981*2^796318-1 is not prime. Res64: 2F24829554AC42F1 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:03] 803*2^796316-1 is not prime. Res64: 06F1D106A0178E54 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:03] 921*2^796314-1 is not prime. Res64: 6103884293AD203E Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:03] 943*2^796319-1 is not prime. Res64: 773BD2BB7D9EB46F Time : 87006.0 sec. user=kar_bon [2011-03-01 19:24:04] 935*2^796316-1 is not prime. Res64: 0324270030711230 Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:04] 895*2^796315-1 is not prime. Res64: B82A6B4107A057A9 Time : 87010.0 sec. user=kar_bon [2011-03-01 19:24:04] 917*2^796320-1 is not prime. Res64: 27D5F1003FB73140 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:04] 861*2^796317-1 is not prime. Res64: E433804D27F98490 Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:04] 845*2^796316-1 is not prime. Res64: 2612EA47965F4BD3 Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:04] 975*2^796320-1 is not prime. Res64: E0F559A6226B5B15 Time : 87006.0 sec. user=kar_bon [2011-03-01 19:24:04] 863*2^796318-1 is not prime. Res64: CE6EBAF465EDA847 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:04] 945*2^796316-1 is not prime. Res64: 7B77C5B124C2E71F Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:04] 923*2^796318-1 is not prime. Res64: 9FAE0B430D7D4DA3 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:04] 825*2^796318-1 is not prime. Res64: FC0D307A689F8922 Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:04] 813*2^796319-1 is not prime. Res64: CA0A7966B2D86FA5 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:05] 881*2^796318-1 is not prime. Res64: D500F7B4926BD1E5 Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:05] 879*2^796320-1 is not prime. Res64: B7C036EEC9597F70 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:05] 951*2^796318-1 is not prime. Res64: 0BB5241F3870067B Time : 87009.0 sec. user=kar_bon [2011-03-01 19:24:05] 923*2^796320-1 is not prime. Res64: 82B3AA1008965C78 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:05] 829*2^796319-1 is not prime. Res64: DAB352FFCC673900 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:05] 819*2^796321-1 is not prime. Res64: C1E8BFA6D0340D2B Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:05] 915*2^796320-1 is not prime. Res64: B70D7AC0376742BB Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:05] 975*2^796321-1 is not prime. Res64: 74C445FB13F9FD8F Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:05] 927*2^796320-1 is not prime. Res64: EF3A736F4B3AB056 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:06] 893*2^796322-1 is not prime. Res64: F05BE0432316E1AA Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:06] 849*2^796321-1 is not prime. Res64: A538D928B1861EF9 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:06] 987*2^796322-1 is not prime. Res64: 21DBBAE5E8563D18 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:06] 867*2^796322-1 is not prime. Res64: 1FB4383D4506CF03 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:06] 879*2^796323-1 is not prime. Res64: 61BC567D6B81E248 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:06] 911*2^796322-1 is not prime. Res64: 157D048412E981A1 Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:06] 825*2^796324-1 is not prime. Res64: 83AE359EBF1CCE4D Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:06] 871*2^796323-1 is not prime. Res64: 71D42CFF0F266709 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:06] 833*2^796324-1 is not prime. Res64: 6DF460E0F03C5A41 Time : 87006.0 sec. user=kar_bon [2011-03-01 19:24:07] 991*2^796323-1 is not prime. Res64: D277B3D825D6A10B Time : 87008.0 sec. user=kar_bon [2011-03-01 19:24:07] 827*2^796324-1 is not prime. Res64: 24EBA4006C056F7C Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:07] 857*2^796324-1 is not prime. Res64: D74D41A95E3CFCF9 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:07] 869*2^796324-1 is not prime. Res64: 0965336EE31805D4 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:08] 903*2^796324-1 is not prime. Res64: 408E29D13A18BC53 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:08] 965*2^796324-1 is not prime. Res64: 65DBC9EBBBB1F528 Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:08] 837*2^796325-1 is not prime. Res64: D1CD2118983B37DA Time : 87007.0 sec. user=kar_bon [2011-03-01 19:24:08] 859*2^796325-1 is not prime. Res64: C12F950D1FD49CD8 Time : 87006.0 sec. user=kar_bon [2011-03-01 19:24:08] 897*2^796325-1 is not prime. Res64: C12A3199A20DE32A Time : 87006.0 sec. user=kar_bon [2011-03-01 19:24:09] 951*2^796325-1 is not prime. Res64: ABF3CB9CD8578943 Time : 87006.0 sec. user=kar_bon [2011-03-01 19:28:41] 981*2^796325-1 is not prime. Res64: A6CE171C7CA657E0 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:42] 833*2^796326-1 is not prime. Res64: 50CDEE293E358D22 Time : 87115.0 sec. user=kar_bon [2011-03-01 19:28:42] 861*2^796326-1 is not prime. Res64: 83EE5B8879FF56AD Time : 87115.0 sec. user=kar_bon [2011-03-01 19:28:43] 893*2^796326-1 is not prime. Res64: 45430C0FC3C9F201 Time : 87115.0 sec. user=kar_bon [2011-03-01 19:28:43] 983*2^796326-1 is not prime. Res64: EEE4006EAC38157D Time : 87115.0 sec. user=kar_bon [2011-03-01 19:28:43] 919*2^796327-1 is not prime. Res64: 99D046F51421A9CC Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:43] 961*2^796327-1 is not prime. Res64: 5A1DFE17BC54A6BC Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:43] 985*2^796327-1 is not prime. Res64: 0AB4783B7BEEDD76 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:44] 867*2^796328-1 is not prime. Res64: 7CDEB86706E5B4E1 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:44] 875*2^796328-1 is not prime. Res64: 1D1950535299C481 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:44] 945*2^796328-1 is not prime. Res64: 9A28DA8B4EC54088 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:44] 879*2^796328-1 is not prime. Res64: 8D4D143D1FF34B03 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:44] 995*2^796328-1 is not prime. Res64: 2C505815F6A40F19 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:45] 999*2^796328-1 is not prime. Res64: 9B4EFA06084DF567 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:45] 831*2^796329-1 is not prime. Res64: CCB2D7B1E67F8CE6 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:45] 889*2^796329-1 is not prime. Res64: 8F6FD903111D4424 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:45] 919*2^796329-1 is not prime. Res64: 03070DC302EAB9EB Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:45] 999*2^796329-1 is not prime. Res64: 12722DFC91E77DFF Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:45] 831*2^796330-1 is not prime. Res64: 197F1FCA2FEFE526 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:46] 975*2^796330-1 is not prime. Res64: B7A770C32CA83CBD Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:46] 913*2^796331-1 is not prime. Res64: 64BFDE58ED546791 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:46] 979*2^796331-1 is not prime. Res64: DA74D7D991FB3D54 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:46] 819*2^796332-1 is not prime. Res64: AC53E347FAE5ED8C Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:46] 863*2^796332-1 is not prime. Res64: 7E0A9F50BE3B9859 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:46] 879*2^796332-1 is not prime. Res64: BF0CD0721CD6D9E3 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:46] 945*2^796332-1 is not prime. Res64: EE0EC9094357A0AE Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:46] 817*2^796333-1 is not prime. Res64: F8B3CB24E5791E6B Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:46] 939*2^796333-1 is not prime. Res64: 303F744E4C53A1AB Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:47] 815*2^796334-1 is not prime. Res64: A08065C7DF21F318 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:47] 851*2^796334-1 is not prime. Res64: 65877E589E40D537 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:47] 885*2^796334-1 is not prime. Res64: 00CBED4050CE846D Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:47] 981*2^796334-1 is not prime. Res64: 287B1BCA36752DFD Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:47] 819*2^796335-1 is not prime. Res64: 1BA3E1AE59EE4112 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:47] 801*2^796333-1 is not prime. Res64: 5926E5C5157E81AD Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:47] 831*2^796335-1 is not prime. Res64: 07A00FF9C6A9BB55 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:48] 961*2^796335-1 is not prime. Res64: 5CCB1714DC353247 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:48] 961*2^796333-1 is not prime. Res64: EFC61159202601DF Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:48] 839*2^796336-1 is not prime. Res64: BF545675B98C6DDB Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:48] 875*2^796336-1 is not prime. Res64: C026BBB50D45FB45 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:48] 873*2^796334-1 is not prime. Res64: 1D70034B8C9FA624 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:48] 899*2^796336-1 is not prime. Res64: 0A39548B368AC5BD Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:48] 861*2^796337-1 is not prime. Res64: AC37D7C3137CB13B Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:48] 805*2^796335-1 is not prime. Res64: 70E2A1D4A26EC3DD Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:48] 925*2^796337-1 is not prime. Res64: A29086B35C605A97 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:49] 991*2^796337-1 is not prime. Res64: C2190737D41D158E Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:49] 871*2^796335-1 is not prime. Res64: 5887E596542B29DE Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:49] 867*2^796338-1 is not prime. Res64: 3708D068634BAD3D Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:49] 843*2^796339-1 is not prime. Res64: D3BE36D2AB82F896 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:49] 849*2^796336-1 is not prime. Res64: 17C68CF14322583D Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:49] 845*2^796340-1 is not prime. Res64: 9205821E0243CB29 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:49] 849*2^796341-1 is not prime. Res64: 6764483C06C76B7D Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:49] 939*2^796336-1 is not prime. Res64: 6ED8203D1E12FAB0 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:49] 921*2^796341-1 is not prime. Res64: B4454D47F233E908 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:49] 815*2^796342-1 is not prime. Res64: 3031BC5DE5F85292 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:49] 985*2^796337-1 is not prime. Res64: E691358AE000B525 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:49] 821*2^796342-1 is not prime. Res64: 3FF1489605FEACE4 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:49] 897*2^796342-1 is not prime. Res64: 41C66D823D9C5BE8 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:49] 905*2^796338-1 is not prime. Res64: 4AE299476C5DB806 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:50] 915*2^796342-1 is not prime. Res64: 1149C5D18E5373CA Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:50] 1001*2^796342-1 is not prime. Res64: 255A5DDE7BE6A13C Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:50] 963*2^796340-1 is not prime. Res64: CB87295D195E7D22 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:50] 943*2^796343-1 is not prime. Res64: 7F868246827063FB Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:50] 843*2^796344-1 is not prime. Res64: 5BE833BF67F7D940 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:50] 979*2^796341-1 is not prime. Res64: 196425182EB90D8F Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:50] 927*2^796344-1 is not prime. Res64: C8E128B855D82242 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:50] 831*2^796346-1 is not prime. Res64: 036F3D038F6B7653 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:50] 867*2^796342-1 is not prime. Res64: C18E36F375C0B8F7 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:50] 875*2^796346-1 is not prime. Res64: F7082BBA82A91E0A Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:50] 897*2^796348-1 is not prime. Res64: 484E03FD8F6B432B Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:50] 893*2^796338-1 is not prime. Res64: 71AAF2E8A1C91EDF Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:50] 947*2^796342-1 is not prime. Res64: BE6AEF93433B8299 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:51] 899*2^796348-1 is not prime. Res64: B2C379EA7002C202 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:51] 879*2^796349-1 is not prime. Res64: 94A46B1FA29BE8B2 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:51] 909*2^796340-1 is not prime. Res64: 0D2DCE2768374FC3 Time : 87115.0 sec. user=kar_bon [2011-03-01 19:28:51] 969*2^796343-1 is not prime. Res64: EABC30DFBD8D2BB1 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:51] 951*2^796349-1 is not prime. Res64: F7D9F128B46434F3 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:51] 885*2^796351-1 is not prime. Res64: AAC754A2B27AF31B Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:51] 927*2^796341-1 is not prime. Res64: E7E9224800733E0C Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:51] 813*2^796346-1 is not prime. Res64: 807A76A443B0E91C Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:51] 815*2^796352-1 is not prime. Res64: 97A26192F3394CF1 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:51] 963*2^796352-1 is not prime. Res64: 25DA89AF7CCC105E Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:51] 825*2^796342-1 is not prime. Res64: 907790D2E3AE6454 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:52] 931*2^796347-1 is not prime. Res64: 1CA9018D3DD00004 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:52] 807*2^796353-1 is not prime. Res64: 180A56CECA5048C8 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:52] 877*2^796353-1 is not prime. Res64: 20536FF91A2F004E Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:52] 941*2^796342-1 is not prime. Res64: 17F9085C3B462B3C Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:52] 855*2^796349-1 is not prime. Res64: 7DF3659136059A0E Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:52] 885*2^796353-1 is not prime. Res64: 0ECF5541EAAF8DB4 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:52] 979*2^796353-1 is not prime. Res64: 81BB0205A939483D Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:52] 949*2^796343-1 is not prime. Res64: 959FA6488C633D50 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:52] 971*2^796350-1 is not prime. Res64: FE48A72EF724A3E3 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:52] 827*2^796354-1 is not prime. Res64: 8A8CE5D5F1B55E35 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:52] 903*2^796354-1 is not prime. Res64: 08B46377769A5C91 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:52] 999*2^796345-1 is not prime. Res64: 4F43F5095F495826 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:52] 957*2^796352-1 is not prime. Res64: 5702EE7EF04B5C27 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:52] 923*2^796354-1 is not prime. Res64: F00344D80D7A0180 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:52] 969*2^796355-1 is not prime. Res64: 576B6B067AA94361 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:52] 971*2^796346-1 is not prime. Res64: 85F461736202A1D0 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:52] 861*2^796353-1 is not prime. Res64: 8F204830222C4AD7 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:53] 819*2^796357-1 is not prime. Res64: F45EC313A62A4915 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:53] 895*2^796357-1 is not prime. Res64: AE0667E3F8A700EF Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:53] 819*2^796349-1 is not prime. Res64: EDF474CE58AACD16 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:53] 955*2^796353-1 is not prime. Res64: 6E93FB81B9DBF033 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:53] 901*2^796357-1 is not prime. Res64: F80FF595CF8EA505 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:53] 813*2^796358-1 is not prime. Res64: 29B2D49E77EE3E98 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:53] 969*2^796349-1 is not prime. Res64: B0CF6593EC3EA194 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:53] 857*2^796354-1 is not prime. Res64: F84377FC1F4953CB Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:53] 827*2^796358-1 is not prime. Res64: DCF7B75B517A86A0 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:53] 987*2^796358-1 is not prime. Res64: 4B28F604229D1059 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:53] 899*2^796352-1 is not prime. Res64: ABD5D7B91C17EFBA Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:53] 883*2^796355-1 is not prime. Res64: 26520D5B84EAB7D2 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:53] 895*2^796359-1 is not prime. Res64: 88EF70A34FEA0A06 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:54] 985*2^796359-1 is not prime. Res64: 7C5FCBAE740A2B37 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:54] 835*2^796353-1 is not prime. Res64: B2A1DFCFC9721C52 Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:54] 885*2^796357-1 is not prime. Res64: EDC3C67942C5ABF8 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:54] 843*2^796360-1 is not prime. Res64: B1ADEC871D45E442 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:54] 999*2^796360-1 is not prime. Res64: 6AD56F28E5E99532 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:54] 889*2^796353-1 is not prime. Res64: 1D994CD3405C3FEF Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:54] 997*2^796357-1 is not prime. Res64: 4A27555AE053A887 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:54] 909*2^796361-1 is not prime. Res64: 96DC29815BA01EA2 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:54] 987*2^796361-1 is not prime. Res64: 813564AC7FB57235 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:54] 825*2^796354-1 is not prime. Res64: C0E60877BE2A2EE0 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:54] 977*2^796358-1 is not prime. Res64: 0E9A5AFDCF465193 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:54] 977*2^796362-1 is not prime. Res64: E80F23981CF086C8 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:54] 811*2^796363-1 is not prime. Res64: 946CB1FC38FCFA99 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:54] 825*2^796355-1 is not prime. Res64: 44638A5F42888D07 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:55] 933*2^796359-1 is not prime. Res64: DCAFD30507E40775 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:55] 833*2^796364-1 is not prime. Res64: DC8BA444639665BB Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:55] 983*2^796364-1 is not prime. Res64: F45D5CD4F130B89C Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:55] 973*2^796355-1 is not prime. Res64: DEA5880EF033C6CC Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:55] 811*2^796365-1 is not prime. Res64: 940B3C8D266E3DA5 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:55] 849*2^796360-1 is not prime. Res64: 4E6308CC9454AA41 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:55] 927*2^796365-1 is not prime. Res64: 13ED23D82503C5B2 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:55] 945*2^796357-1 is not prime. Res64: 6A3E8171F38532A6 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:56] 997*2^796365-1 is not prime. Res64: F35E41635467D1D8 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:56] 981*2^796361-1 is not prime. Res64: 2D1428200FFF59DF Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:56] 833*2^796366-1 is not prime. Res64: 1AA50083AA12C80C Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:56] 911*2^796358-1 is not prime. Res64: B97E467ED358755B Time : 87114.0 sec. user=kar_bon [2011-03-01 19:28:56] 971*2^796366-1 is not prime. Res64: 3C014DC5BDF4D773 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:56] 983*2^796362-1 is not prime. Res64: 372EAF23F07A00C3 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:56] 841*2^796367-1 is not prime. Res64: EC7272D615CDB904 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:56] 873*2^796359-1 is not prime. Res64: C514B2A90DEF7724 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:56] 883*2^796367-1 is not prime. Res64: A11615C97C935A74 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:56] 909*2^796364-1 is not prime. Res64: 73D9FB54B8C42B87 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:56] 973*2^796367-1 is not prime. Res64: AE1A35501D590651 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:56] 827*2^796360-1 is not prime. Res64: A481EF0AFB691709 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:57] 915*2^796368-1 is not prime. Res64: 0B735EED301E8FC2 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:57] 921*2^796365-1 is not prime. Res64: 14BAEA89F57C22FE Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:57] 807*2^796369-1 is not prime. Res64: 48009E2EF49E9CF9 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:57] 885*2^796361-1 is not prime. Res64: E5C742B9F79988A2 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:57] 885*2^796369-1 is not prime. Res64: A42D5AA6850804F7 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:57] 825*2^796366-1 is not prime. Res64: 232B01115A92C4E7 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:57] 845*2^796370-1 is not prime. Res64: B31561668945F78D Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:57] 867*2^796362-1 is not prime. Res64: 24EB7A0160B5BAF1 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:57] 927*2^796370-1 is not prime. Res64: 28AC2631AFB837BB Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:57] 805*2^796367-1 is not prime. Res64: 46307B7F78FB59BE Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:57] 951*2^796371-1 is not prime. Res64: 8D7C8478DAAF470A Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:57] 871*2^796363-1 is not prime. Res64: 02719436B097D69C Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:57] 855*2^796372-1 is not prime. Res64: 68491098BF502D53 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:57] 949*2^796367-1 is not prime. Res64: 977122D11C42E5E5 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:57] 885*2^796373-1 is not prime. Res64: D1E9CF39665DBD07 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:28:58] 995*2^796364-1 is not prime. Res64: 5EC6F991E553F1C2 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:58] 901*2^796373-1 is not prime. Res64: CA83F0AF71585D6A Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:58] 945*2^796368-1 is not prime. Res64: 0FC5A1AAE0BB1EC5 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:58] 955*2^796365-1 is not prime. Res64: 13DCCEB56228623D Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:58] 851*2^796374-1 is not prime. Res64: B8E4D787EC35C768 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:58] 843*2^796370-1 is not prime. Res64: A2E0E2D1781E1C34 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:58] 933*2^796366-1 is not prime. Res64: C509552C67E0C36B Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:58] 927*2^796374-1 is not prime. Res64: 1950F065BBF4D904 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:58] 987*2^796370-1 is not prime. Res64: C484E56082E13CA0 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:58] 879*2^796367-1 is not prime. Res64: C54C0CF14A327794 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:58] 849*2^796375-1 is not prime. Res64: E3BB7DA301A92BBF Time : 87109.0 sec. user=kar_bon [2011-03-01 19:28:58] 859*2^796373-1 is not prime. Res64: 5711027933AB13BF Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:59] 849*2^796368-1 is not prime. Res64: 734F2CAE665753F9 Time : 87113.0 sec. user=kar_bon [2011-03-01 19:28:59] 973*2^796375-1 is not prime. Res64: A507C15517ADD28A Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:59] 833*2^796374-1 is not prime. Res64: 74FE3F519C99FE08 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:59] 975*2^796369-1 is not prime. Res64: 2F462D089AE3CCC8 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:59] 903*2^796376-1 is not prime. Res64: E01986AD7E87B73A Time : 87109.0 sec. user=kar_bon [2011-03-01 19:28:59] 891*2^796374-1 is not prime. Res64: BF742DFA1F54DCB8 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:28:59] 977*2^796370-1 is not prime. Res64: A1F5505CF956F4C5 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:59] 919*2^796377-1 is not prime. Res64: B0F66659A640BD82 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:28:59] 947*2^796374-1 is not prime. Res64: 060461BE8064F77F Time : 87110.0 sec. user=kar_bon [2011-03-01 19:28:59] 811*2^796373-1 is not prime. Res64: EF8EC1D2E3545C2D Time : 87112.0 sec. user=kar_bon [2011-03-01 19:28:59] 941*2^796378-1 is not prime. Res64: 62350BC6F4DEF45E Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:00] 861*2^796375-1 is not prime. Res64: 44D3EB7263410DA3 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:00] 987*2^796373-1 is not prime. Res64: 8D82B67E5071871C Time : 87112.0 sec. user=kar_bon [2011-03-01 19:29:00] 843*2^796379-1 is not prime. Res64: 79ED568939F0295C Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:00] 873*2^796376-1 is not prime. Res64: DDD79065AB77E7C1 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:00] 881*2^796374-1 is not prime. Res64: A2B2F39E1AAA5CC2 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:29:00] 825*2^796380-1 is not prime. Res64: 1A6437E06BBA976F Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:00] 819*2^796377-1 is not prime. Res64: 2892C0AEF97275A7 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:00] 945*2^796374-1 is not prime. Res64: 3D8CB37842785C19 Time : 87112.0 sec. user=kar_bon [2011-03-01 19:29:00] 819*2^796381-1 is prime! Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:00] 813*2^796378-1 is not prime. Res64: BE412523D7351C69 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:00] 855*2^796375-1 is not prime. Res64: 14E5050828F8CE03 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:01] 971*2^796378-1 is not prime. Res64: E79B99531F933682 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:01] 839*2^796376-1 is not prime. Res64: 6598786D71DF8C9D Time : 87112.0 sec. user=kar_bon [2011-03-01 19:29:01] 819*2^796380-1 is not prime. Res64: 060FF3638941788F Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:01] 805*2^796377-1 is not prime. Res64: 481CCEC0490FFBD6 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:01] 801*2^796381-1 is not prime. Res64: 5764780880CCE3C3 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:01] 937*2^796377-1 is not prime. Res64: 1D9E0B8609C1F850 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:01] 937*2^796381-1 is not prime. Res64: F90B7322FD368668 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:01] 951*2^796378-1 is not prime. Res64: 5F28698D268D6A63 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:01] 961*2^796381-1 is not prime. Res64: 611FE541A1578B9F Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:02] 879*2^796379-1 is not prime. Res64: 39667774E80B1ECD Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:02] 825*2^796382-1 is not prime. Res64: B718D87E317BACB9 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:02] 839*2^796380-1 is not prime. Res64: A369952C6642BA54 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:02] 873*2^796382-1 is not prime. Res64: F012D6F0081BC81E Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:02] 871*2^796381-1 is not prime. Res64: 3016A65DA934E10F Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:02] 977*2^796382-1 is not prime. Res64: D66055BB6161242A Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:03] 939*2^796381-1 is not prime. Res64: D1EA7BC1C8840716 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:03] 905*2^796384-1 is not prime. Res64: AA7A58A6FD7AFE37 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:03] 995*2^796384-1 is not prime. Res64: C06F4B3439A51D63 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:03] 987*2^796381-1 is not prime. Res64: E6AF931F4A4355D7 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:03] 871*2^796385-1 is not prime. Res64: 05514BFB30D8984A Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:03] 833*2^796382-1 is not prime. Res64: A875DFEFDD4E7675 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:03] 885*2^796382-1 is not prime. Res64: 73FC487AD0B6E07F Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:04] 819*2^796383-1 is not prime. Res64: 2D4DE61A14FD4CE1 Time : 87111.0 sec. user=kar_bon [2011-03-01 19:29:04] 917*2^796384-1 is not prime. Res64: 017007BCBA6EA185 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:04] 841*2^796385-1 is not prime. Res64: A6149A94E945F194 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:04] 909*2^796385-1 is not prime. Res64: 591C4473CBAAD94D Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:05] 991*2^796385-1 is not prime. Res64: 34633E0C10CD2BC6 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:05] 821*2^796386-1 is not prime. Res64: 352AC700EEC510F3 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:06] 861*2^796386-1 is not prime. Res64: 2D79E2AA300A4909 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:06] 891*2^796386-1 is not prime. Res64: 8B85F30B1B6D101D Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:06] 933*2^796386-1 is not prime. Res64: 5EF1F437BB540DF3 Time : 87110.0 sec. user=kar_bon [2011-03-01 19:29:06] 993*2^796386-1 is not prime. Res64: F710BF6D23C35BB4 Time : 87109.0 sec. user=kar_bon [2011-03-01 19:29:06] 871*2^796387-1 is not prime. Res64: 089E63E4500EEC3E Time : 87109.0 sec. user=vaughan [2011-03-01 20:20:43] 975*2^796579-1 is not prime. Res64: A334F168F52B014C Time : 9636.0 sec. user=ototero [2011-03-01 20:30:14] 903*2^796574-1 is not prime. Res64: 540EA57AE4F25985 Time : 17926.0 sec. user=ototero [2011-03-01 20:30:15] 935*2^796574-1 is not prime. Res64: 2C67A98C455FCA61 Time : 17927.0 sec. user=ototero [2011-03-01 20:30:16] 819*2^796575-1 is not prime. Res64: 531AC920E49F4413 Time : 17927.0 sec. user=ototero [2011-03-01 20:30:17] 849*2^796576-1 is not prime. Res64: FA77EF40BE770AF1 Time : 17928.0 sec. user=ototero [2011-03-01 20:30:17] 905*2^796576-1 is not prime. Res64: A012427FA0DD84C8 Time : 17927.0 sec. user=ototero [2011-03-01 20:31:50] 983*2^796576-1 is not prime. Res64: DF0BEEA527BFB737 Time : 11540.0 sec. user=ototero [2011-03-01 20:31:51] 847*2^796577-1 is not prime. Res64: 39734CFEFC84D1C3 Time : 11540.0 sec. user=ototero [2011-03-01 20:31:51] 901*2^796577-1 is not prime. Res64: 6E1A2CD74ADE8BC5 Time : 11540.0 sec. user=ototero [2011-03-01 20:31:51] 833*2^796578-1 is not prime. Res64: DD73A6B726A5840A Time : 11540.0 sec. user=ototero [2011-03-01 20:31:51] 837*2^796578-1 is not prime. Res64: B1A7D239FCA59E2F Time : 11539.0 sec. user=ototero [2011-03-01 20:31:51] 881*2^796578-1 is not prime. Res64: 4FBB41C6239E07FA Time : 11539.0 sec. user=ototero [2011-03-01 20:31:51] 951*2^796578-1 is not prime. Res64: A5C90AF049AD9327 Time : 11539.0 sec. user=ototero [2011-03-01 20:31:52] 1001*2^796578-1 is not prime. Res64: 7F374ADC9AFA7C52 Time : 11539.0 sec. user=ototero [2011-03-01 20:31:52] 835*2^796579-1 is not prime. Res64: BD1B775730BEF096 Time : 11539.0 sec. user=ototero [2011-03-01 20:31:52] 843*2^796579-1 is not prime. Res64: F0003A88E702EC99 Time : 11539.0 sec. user=vaughan [2011-03-01 22:50:33] 999*2^796549-1 is not prime. Res64: BC5948C6B6C95816 Time : 58757.0 sec. user=vaughan [2011-03-01 22:55:21] 893*2^796550-1 is not prime. Res64: BBC3DC688810C4C0 Time : 58790.0 sec. user=vaughan [2011-03-01 22:56:23] 861*2^796550-1 is not prime. Res64: 811DAAB5A2895826 Time : 58892.0 sec. user=vaughan [2011-03-01 22:58:18] 885*2^796809-1 is not prime. Res64: 9E77C8BFD421AB80 Time : 2241.0 sec. user=vaughan [2011-03-01 22:58:56] 889*2^796809-1 is not prime. Res64: 6BE9E52F3F8FD6A9 Time : 2278.0 sec. user=vaughan [2011-03-01 22:59:58] 915*2^796550-1 is not prime. Res64: 82229202E8B8020B Time : 59048.0 sec. user=vaughan [2011-03-01 23:01:20] 937*2^796805-1 is not prime. Res64: A93C89E474A3471C Time : 9637.0 sec. user=vaughan [2011-03-01 23:08:12] 843*2^796526-1 is not prime. Res64: B831169EDDC8F701 Time : 67931.0 sec. user=vaughan [2011-03-01 23:08:15] 995*2^796522-1 is not prime. Res64: 59040314C4ACF7C6 Time : 68434.0 sec. user=vaughan [2011-03-01 23:08:17] 895*2^796523-1 is not prime. Res64: 6CBC0F25D621D475 Time : 68374.0 sec. user=vaughan [2011-03-01 23:08:18] 927*2^796524-1 is not prime. Res64: C21750A9265DD174 Time : 68233.0 sec. user=vaughan [2011-03-01 23:10:34] 905*2^796810-1 is not prime. Res64: A108D87A71395C16 Time : 1917.0 sec. user=vaughan [2011-03-01 23:10:35] 969*2^796809-1 is not prime. Res64: 7F6D96AE65E75750 Time : 1918.0 sec. user=vaughan [2011-03-01 23:14:30] 933*2^796810-1 is not prime. Res64: 28291A528166B23C Time : 1437.0 sec. user=vaughan [2011-03-01 23:15:47] 945*2^796810-1 is not prime. Res64: 60B7F7B4232F8103 Time : 1227.0 sec. user=vaughan [2011-03-01 23:18:08] 971*2^796810-1 is not prime. Res64: AF770324CCA2A8A9 Time : 1305.0 sec. user=vaughan [2011-03-01 23:23:37] 805*2^796811-1 is not prime. Res64: 4E0E27847423124F Time : 1419.0 sec. user=vaughan [2011-03-01 23:23:56] 837*2^796812-1 is not prime. Res64: EEE495392D0F5ED1 Time : 938.0 sec. user=vaughan [2011-03-01 23:24:02] 993*2^796811-1 is not prime. Res64: 388B315F4CC5C112 Time : 946.0 sec. user=vaughan [2011-03-01 23:24:14] 909*2^796811-1 is not prime. Res64: 0F777D8F9E8CB8DB Time : 960.0 sec. user=vaughan [2011-03-01 23:24:27] 901*2^796811-1 is not prime. Res64: C50C5E6715308A5D Time : 975.0 sec. user=vaughan [2011-03-01 23:35:17] 855*2^796813-1 is not prime. Res64: 7C3BD0F1A0387375 Time : 1170.0 sec. user=vaughan [2011-03-01 23:38:33] 819*2^796813-1 is not prime. Res64: 8E40E8C5AA99EC15 Time : 1443.0 sec. user=vaughan [2011-03-01 23:38:33] 897*2^796813-1 is not prime. Res64: 7C29F8ABCBC5CCFF Time : 1225.0 sec. user=vaughan [2011-03-01 23:40:01] 985*2^796813-1 is not prime. Res64: 1BF7946A0BB3BCB5 Time : 960.0 sec. user=vaughan [2011-03-01 23:40:03] 957*2^796813-1 is not prime. Res64: 1C82B54D3E81A47F Time : 967.0 sec. user=vaughan [2011-03-01 23:40:35] 987*2^796813-1 is not prime. Res64: 430210A1F74D1AFD Time : 981.0 sec. user=vaughan [2011-03-01 23:41:04] 999*2^796813-1 is not prime. Res64: 54D631DDB7C818FA Time : 997.0 sec. user=ototero [2011-03-01 23:44:17] 859*2^796807-1 is not prime. Res64: A00474A4EC20E654 Time : 11545.0 sec. user=ototero [2011-03-01 23:44:17] 861*2^796807-1 is not prime. Res64: 5B5E8EF8F513F03D Time : 11544.0 sec. user=ototero [2011-03-01 23:44:17] 901*2^796807-1 is not prime. Res64: D14FBCAAB8A41B38 Time : 11544.0 sec. user=ototero [2011-03-01 23:44:18] 975*2^796807-1 is not prime. Res64: 5BDC5360D85CA677 Time : 11545.0 sec. user=ototero [2011-03-01 23:44:18] 813*2^796808-1 is not prime. Res64: 44873803DF4A0784 Time : 11544.0 sec. user=ototero [2011-03-01 23:44:18] 915*2^796808-1 is not prime. Res64: FC0F8AA8174A1116 Time : 11544.0 sec. user=ototero [2011-03-01 23:44:18] 945*2^796808-1 is not prime. Res64: FC283CAAD9DF98BC Time : 11544.0 sec. user=ototero [2011-03-01 23:44:18] 969*2^796808-1 is not prime. Res64: BCD18064928C7FEA Time : 11543.0 sec. user=ototero [2011-03-01 23:44:18] 999*2^796808-1 is not prime. Res64: 9B3E23F31CA24D38 Time : 11543.0 sec. user=ototero [2011-03-01 23:44:19] 865*2^796809-1 is not prime. Res64: E5B2BAB6EA5C22D8 Time : 11544.0 sec. user=vaughan [2011-03-01 23:47:31] 939*2^796813-1 is not prime. Res64: 26A515F5749E0D4C Time : 1435.0 sec. user=vaughan [2011-03-01 23:54:25] 935*2^796814-1 is not prime. Res64: 0471B33C96A02EA0 Time : 1148.0 sec. user=vaughan [2011-03-01 23:55:37] 971*2^796814-1 is not prime. Res64: 93A8DB19222710DC Time : 936.0 sec. user=vaughan [2011-03-01 23:55:48] 909*2^796815-1 is not prime. Res64: E9DEA92BEC6530EA Time : 945.0 sec. user=vaughan [2011-03-01 23:56:20] 933*2^796815-1 is not prime. Res64: BABB3298014EB3FF Time : 945.0 sec. user=vaughan [2011-03-01 23:56:57] 999*2^796815-1 is not prime. Res64: D4FCD2CA9FCC2097 Time : 953.0 sec. user=vaughan [2011-03-01 23:59:13] 965*2^796814-1 is not prime. Res64: E888A465E82AF111 Time : 1240.0 sec.