user=vaughan [2011-03-02 00:02:46] 941*2^796814-1 is not prime. Res64: 048F91F095AD7B96 Time : 1453.0 sec. user=vaughan [2011-03-02 00:11:08] 945*2^796821-1 is not prime. Res64: 953C715D61B14229 Time : 1417.0 sec. user=vaughan [2011-03-02 00:11:09] 831*2^796822-1 is not prime. Res64: 750260326C4CD9B0 Time : 933.0 sec. user=vaughan [2011-03-02 00:11:22] 857*2^796822-1 is not prime. Res64: 19F7567AD2BF2A19 Time : 934.0 sec. user=vaughan [2011-03-02 00:12:01] 863*2^796822-1 is not prime. Res64: 9E930028E312D69E Time : 942.0 sec. user=vaughan [2011-03-02 00:12:44] 885*2^796822-1 is not prime. Res64: F1D8D4CBD899B7B4 Time : 947.0 sec. user=vaughan [2011-03-02 00:13:37] 815*2^796822-1 is not prime. Res64: F17735AC1A5CED76 Time : 1152.0 sec. user=vaughan [2011-03-02 00:20:01] 947*2^796822-1 is not prime. Res64: 43D4748B677B05DC Time : 1248.0 sec. user=vaughan [2011-03-02 00:26:42] 913*2^796823-1 is not prime. Res64: 7883DA351226437C Time : 933.0 sec. user=vaughan [2011-03-02 00:26:56] 935*2^796824-1 is not prime. Res64: 2F21911D64FA856C Time : 934.0 sec. user=vaughan [2011-03-02 00:26:59] 965*2^796822-1 is not prime. Res64: 5C3C3D219C2AE042 Time : 1453.0 sec. user=vaughan [2011-03-02 00:27:43] 801*2^796825-1 is not prime. Res64: 7875FC027EA0BB81 Time : 942.0 sec. user=vaughan [2011-03-02 00:28:30] 847*2^796825-1 is not prime. Res64: 9A3D488FC2973A5D Time : 947.0 sec. user=vaughan [2011-03-02 00:32:52] 915*2^796825-1 is not prime. Res64: 133D14E88D022021 Time : 1155.0 sec. user=vaughan [2011-03-02 00:35:11] 889*2^796823-1 is not prime. Res64: 23459228490F5672 Time : 1443.0 sec. user=vaughan [2011-03-02 00:40:29] 919*2^796825-1 is not prime. Res64: 6B1836F9C7F837B5 Time : 1228.0 sec. user=vaughan [2011-03-02 00:42:16] 937*2^796825-1 is not prime. Res64: B3DC5664FA01CE3A Time : 934.0 sec. user=vaughan [2011-03-02 00:42:34] 997*2^796825-1 is not prime. Res64: 6AA09663872C725D Time : 938.0 sec. user=vaughan [2011-03-02 00:43:25] 837*2^796826-1 is not prime. Res64: F98086DCC5C7D370 Time : 943.0 sec. user=vaughan [2011-03-02 00:44:18] 857*2^796826-1 is not prime. Res64: 84C388BD14355091 Time : 948.0 sec. user=vaughan [2011-03-02 00:51:12] 831*2^796826-1 is not prime. Res64: 07D254E85F4DD628 Time : 1453.0 sec. user=vaughan [2011-03-02 00:52:33] 903*2^796826-1 is not prime. Res64: 6CF87366C88F4077 Time : 1182.0 sec. user=vaughan [2011-03-02 00:57:53] 835*2^796827-1 is not prime. Res64: B49B15097B513480 Time : 937.0 sec. user=vaughan [2011-03-02 00:58:04] 859*2^796827-1 is not prime. Res64: F090AAF8267891C1 Time : 931.0 sec. user=vaughan [2011-03-02 00:58:45] 981*2^796826-1 is not prime. Res64: 840DDA9FC14FA7CA Time : 1415.0 sec. user=vaughan [2011-03-02 00:59:07] 873*2^796827-1 is not prime. Res64: 92A49EBF16E94EFD Time : 942.0 sec. user=vaughan [2011-03-02 01:00:06] 845*2^796828-1 is not prime. Res64: 7A0038A31ED4FD7D Time : 948.0 sec. user=vaughan [2011-03-02 01:01:03] 819*2^796827-1 is not prime. Res64: 3D017ADC77363373 Time : 1235.0 sec. user=ototero [2011-03-02 01:01:22] 949*2^796805-1 is not prime. Res64: F0792DFE115C0723 Time : 16265.0 sec. user=ototero [2011-03-02 01:01:22] 861*2^796806-1 is not prime. Res64: A6D857141340D36B Time : 16265.0 sec. user=ototero [2011-03-02 01:01:22] 891*2^796806-1 is not prime. Res64: 65707FF9047CFAC4 Time : 16264.0 sec. user=ototero [2011-03-02 01:01:22] 819*2^796807-1 is not prime. Res64: 61DA57F6671F4365 Time : 16264.0 sec. user=ototero [2011-03-02 01:01:23] 841*2^796807-1 is not prime. Res64: 33B5BA5095B63E56 Time : 16265.0 sec. user=vaughan [2011-03-02 01:11:51] 863*2^796828-1 is not prime. Res64: BBE4A19546CBF86B Time : 1158.0 sec. user=vaughan [2011-03-02 01:13:33] 987*2^796828-1 is not prime. Res64: E42E922CD6D826FD Time : 940.0 sec. user=vaughan [2011-03-02 01:13:34] 989*2^796828-1 is not prime. Res64: 5058A88E4D773DBB Time : 930.0 sec. user=vaughan [2011-03-02 01:14:49] 979*2^796829-1 is not prime. Res64: AF90C3A30BAA3765 Time : 942.0 sec. user=vaughan [2011-03-02 01:15:26] 855*2^796828-1 is not prime. Res64: 2829F09E6EFFE3D0 Time : 1454.0 sec. user=vaughan [2011-03-02 01:15:53] 867*2^796830-1 is not prime. Res64: 6D20F3E7C6FE4ECF Time : 948.0 sec. user=vaughan [2011-03-02 01:21:57] 921*2^796830-1 is not prime. Res64: 1B2556846D6D89B4 Time : 1254.0 sec. user=vaughan [2011-03-02 01:22:35] 939*2^796829-1 is not prime. Res64: A01AC884EB40BC23 Time : 1431.0 sec. user=vaughan [2011-03-02 01:29:04] 803*2^796834-1 is not prime. Res64: 1C1A1A6F23AFA870 Time : 930.0 sec. user=vaughan [2011-03-02 01:29:12] 819*2^796833-1 is not prime. Res64: 875390C05FD9771D Time : 939.0 sec. user=vaughan [2011-03-02 01:30:31] 813*2^796834-1 is not prime. Res64: 7F2147EB99B09443 Time : 943.0 sec. user=vaughan [2011-03-02 01:31:09] 983*2^796832-1 is not prime. Res64: 5A2E85D6BEA66772 Time : 1158.0 sec. user=vaughan [2011-03-02 01:31:41] 981*2^796834-1 is not prime. Res64: 446B9CA816165DB8 Time : 948.0 sec. user=vaughan [2011-03-02 01:36:55] 811*2^796529-1 is not prime. Res64: AF764123B4F529BB Time : 76283.0 sec. user=vaughan [2011-03-02 01:36:55] 991*2^796527-1 is not prime. Res64: E8A99275DAF5E453 Time : 76308.0 sec. user=vaughan [2011-03-02 01:36:55] 829*2^796527-1 is not prime. Res64: D51007E4A2A6FD53 Time : 76388.0 sec. user=vaughan [2011-03-02 01:36:55] 983*2^796526-1 is not prime. Res64: 8FA2DEDF8ACB813C Time : 76548.0 sec. user=vaughan [2011-03-02 01:39:36] 885*2^796834-1 is not prime. Res64: CEE863DF0D29A395 Time : 1450.0 sec. user=vaughan [2011-03-02 01:42:25] 963*2^796835-1 is not prime. Res64: 8D7F27A363EE320F Time : 1228.0 sec. user=vaughan [2011-03-02 01:42:52] 885*2^796811-1 is not prime. Res64: E7733346A8BEBFB2 Time : 9692.0 sec. user=vaughan [2011-03-02 01:44:35] 999*2^796835-1 is not prime. Res64: 534795B8848CFAFA Time : 931.0 sec. user=vaughan [2011-03-02 01:44:49] 923*2^796836-1 is not prime. Res64: 0E97BFC7311E8E0F Time : 937.0 sec. user=vaughan [2011-03-02 01:46:14] 927*2^796836-1 is not prime. Res64: 92A3FE8B40AC0C71 Time : 943.0 sec. user=vaughan [2011-03-02 01:46:17] 991*2^796835-1 is not prime. Res64: 23F337E35A7342AF Time : 1422.0 sec. user=vaughan [2011-03-02 01:47:29] 983*2^796836-1 is not prime. Res64: 305C7D971A89D008 Time : 949.0 sec. user=vaughan [2011-03-02 01:50:51] 947*2^796836-1 is not prime. Res64: 656F21A7024C05C9 Time : 1183.0 sec. user=vaughan [2011-03-02 02:00:11] 817*2^796089-1 is not prime. Res64: C7007309145B5BE9 Time : 937.0 sec. user=vaughan [2011-03-02 02:00:21] 885*2^796089-1 is not prime. Res64: 0F6098D68DA6716B Time : 933.0 sec. user=vaughan [2011-03-02 02:01:55] 813*2^796090-1 is not prime. Res64: 9F63382617E9152C Time : 942.0 sec. user=vaughan [2011-03-02 02:03:17] 915*2^796838-1 is not prime. Res64: F1F8C2FB5A02A8E9 Time : 948.0 sec. user=vaughan [2011-03-02 02:03:50] 825*2^796838-1 is not prime. Res64: 7E8B94D94DEA4C02 Time : 1455.0 sec. user=vaughan [2011-03-02 02:03:50] 827*2^796838-1 is not prime. Res64: 38C645377770FE47 Time : 1285.0 sec. user=vaughan [2011-03-02 02:09:29] 821*2^796090-1 is not prime. Res64: 58A6558352BCAED9 Time : 1393.0 sec. user=vaughan [2011-03-02 02:09:47] 923*2^796838-1 is not prime. Res64: 01DD02028669BEC9 Time : 1136.0 sec. user=vaughan [2011-03-02 02:15:43] 951*2^796838-1 is not prime. Res64: B6C3E954F587E46C Time : 933.0 sec. user=vaughan [2011-03-02 02:15:58] 953*2^796838-1 is not prime. Res64: 8BF40B0BCCA8EF1E Time : 937.0 sec. user=vaughan [2011-03-02 02:17:37] 951*2^796839-1 is not prime. Res64: D77C042BA9B20016 Time : 942.0 sec. user=vaughan [2011-03-02 02:19:05] 975*2^796839-1 is not prime. Res64: F86B1C61FE1F7BAD Time : 948.0 sec. user=vaughan [2011-03-02 02:24:54] 825*2^796840-1 is not prime. Res64: 92B39C7ED876A1AE Time : 1264.0 sec. user=vaughan [2011-03-02 02:28:07] 803*2^796840-1 is not prime. Res64: CBF3BD0597C03F59 Time : 1457.0 sec. user=vaughan [2011-03-02 02:28:50] 863*2^796840-1 is not prime. Res64: 0093F457A16FEA85 Time : 1143.0 sec. user=vaughan [2011-03-02 02:31:14] 887*2^796840-1 is not prime. Res64: 40596331C24EB6E4 Time : 932.0 sec. user=vaughan [2011-03-02 02:31:37] 909*2^796840-1 is not prime. Res64: 70A8676D97F74B82 Time : 939.0 sec. user=vaughan [2011-03-02 02:33:21] 939*2^796840-1 is not prime. Res64: 7C47CA9FFB542CCB Time : 944.0 sec. user=vaughan [2011-03-02 02:33:35] 827*2^796840-1 is not prime. Res64: 81172E1E877F9BAE Time : 1446.0 sec. user=vaughan [2011-03-02 02:34:52] 829*2^796841-1 is not prime. Res64: F051C2AB786E5CDD Time : 947.0 sec. user=vaughan [2011-03-02 02:36:03] 801*2^796549-1 is not prime. Res64: CAFE138EEFA76B2B Time : 72849.0 sec. user=vaughan [2011-03-02 02:36:06] 927*2^796548-1 is not prime. Res64: 73B4F242E78DC009 Time : 72882.0 sec. user=vaughan [2011-03-02 02:36:48] 927*2^796549-1 is not prime. Res64: 91B4C805DCF392C3 Time : 72821.0 sec. user=vaughan [2011-03-02 02:41:24] 979*2^796549-1 is not prime. Res64: 8C896D9B880771E4 Time : 72802.0 sec. user=vaughan [2011-03-02 02:45:14] 967*2^796841-1 is not prime. Res64: 83FC06211CC52F91 Time : 1220.0 sec. user=vaughan [2011-03-02 02:46:55] 819*2^796843-1 is not prime. Res64: 627BD815304BE08C Time : 941.0 sec. user=vaughan [2011-03-02 02:47:11] 961*2^796843-1 is not prime. Res64: 63782FE31139E0C5 Time : 934.0 sec. user=vaughan [2011-03-02 02:47:44] 893*2^796842-1 is not prime. Res64: BA711B98AFAFAB64 Time : 1134.0 sec. user=vaughan [2011-03-02 02:49:06] 843*2^796844-1 is not prime. Res64: AF5591CB533D2A5D Time : 946.0 sec. user=vaughan [2011-03-02 02:50:34] 873*2^796844-1 is not prime. Res64: 96A0EE2B631E015B Time : 943.0 sec. user=vaughan [2011-03-02 02:51:42] 891*2^796842-1 is not prime. Res64: 40F77E30936F8481 Time : 1415.0 sec. user=vaughan [2011-03-02 02:52:22] 805*2^796845-1 is not prime. Res64: 01257D4A85DB4E8A Time : 979.0 sec. user=vaughan [2011-03-02 02:52:39] 885*2^796845-1 is not prime. Res64: E5A0BAD5253F1D6F Time : 993.0 sec. user=vaughan [2011-03-02 02:52:56] 895*2^796845-1 is not prime. Res64: 9FD74E837C2928DB Time : 968.0 sec. user=ototero [2011-03-02 02:56:39] 843*2^796816-1 is not prime. Res64: 385F032C9F35EC1D Time : 11540.0 sec. user=ototero [2011-03-02 02:56:39] 861*2^796817-1 is not prime. Res64: 090CF4EE19BAA9F8 Time : 11540.0 sec. user=ototero [2011-03-02 02:56:39] 837*2^796818-1 is not prime. Res64: 69E418239AFA0A9E Time : 11540.0 sec. user=ototero [2011-03-02 02:56:39] 893*2^796818-1 is not prime. Res64: 4E4740D4FAB37D0E Time : 11539.0 sec. user=ototero [2011-03-02 02:56:39] 941*2^796818-1 is not prime. Res64: DF84B4C135F46192 Time : 11539.0 sec. user=ototero [2011-03-02 02:56:39] 1001*2^796818-1 is not prime. Res64: 0A3B9D6960F47930 Time : 11539.0 sec. user=ototero [2011-03-02 02:56:40] 813*2^796819-1 is not prime. Res64: D2CA97F97382AD3F Time : 11539.0 sec. user=ototero [2011-03-02 02:56:40] 913*2^796819-1 is not prime. Res64: E8BC48D9693B8645 Time : 11539.0 sec. user=ototero [2011-03-02 02:56:40] 867*2^796821-1 is not prime. Res64: EC9B6694BF815D76 Time : 11539.0 sec. user=ototero [2011-03-02 02:56:40] 937*2^796821-1 is not prime. Res64: 74B074AD741D3359 Time : 11538.0 sec. user=vaughan [2011-03-02 02:57:06] 869*2^796844-1 is not prime. Res64: 4C173D798014146A Time : 1411.0 sec. user=vaughan [2011-03-02 02:57:12] 979*2^796845-1 is not prime. Res64: E7CABED52EB255A6 Time : 948.0 sec. user=vaughan [2011-03-02 03:02:32] 825*2^796112-1 is not prime. Res64: 3B5394B6A5D8E9EE Time : 937.0 sec. user=vaughan [2011-03-02 03:02:45] 827*2^796112-1 is not prime. Res64: A2E7B0EA116CA62A Time : 934.0 sec. user=vaughan [2011-03-02 03:04:49] 849*2^796113-1 is not prime. Res64: FFAEE987FFEBD6C6 Time : 944.0 sec. user=vaughan [2011-03-02 03:05:48] 803*2^796112-1 is not prime. Res64: AB05C228D0430ADA Time : 1234.0 sec. user=vaughan [2011-03-02 03:06:14] 889*2^796113-1 is not prime. Res64: B2B901B8E39E6C28 Time : 941.0 sec. user=vaughan [2011-03-02 03:06:21] 903*2^796112-1 is not prime. Res64: DDD046E88384336E Time : 1117.0 sec. user=vaughan [2011-03-02 03:08:35] 827*2^796114-1 is not prime. Res64: 810F0216CDB77E5A Time : 974.0 sec. user=vaughan [2011-03-02 03:08:59] 947*2^796114-1 is not prime. Res64: BD97B69F8EE91270 Time : 964.0 sec. user=vaughan [2011-03-02 03:09:08] 855*2^796114-1 is not prime. Res64: 2DBBD9CD64CA3463 Time : 989.0 sec. user=vaughan [2011-03-02 03:12:55] 971*2^796846-1 is not prime. Res64: 11B8DB31729C676B Time : 943.0 sec. user=vaughan [2011-03-02 03:15:22] 803*2^796114-1 is not prime. Res64: 6E872BE2E6E23847 Time : 1420.0 sec. user=vaughan [2011-03-02 03:18:04] 813*2^796847-1 is not prime. Res64: 55E6F75C6FE96FC6 Time : 933.0 sec. user=vaughan [2011-03-02 03:18:23] 841*2^796847-1 is not prime. Res64: 93830E0DFD5B3D2A Time : 938.0 sec. user=vaughan [2011-03-02 03:19:58] 941*2^796846-1 is not prime. Res64: E124B59C355C0F0B Time : 1372.0 sec. user=vaughan [2011-03-02 03:20:36] 939*2^796847-1 is not prime. Res64: 6B64D1345CB117B7 Time : 947.0 sec. user=vaughan [2011-03-02 03:21:59] 993*2^796848-1 is not prime. Res64: BECBC19F71377B37 Time : 945.0 sec. user=vaughan [2011-03-02 03:24:47] 831*2^796849-1 is not prime. Res64: EA8DE291697FFDF5 Time : 972.0 sec. user=vaughan [2011-03-02 03:25:06] 931*2^796849-1 is not prime. Res64: C0C7988130230476 Time : 968.0 sec. user=vaughan [2011-03-02 03:25:09] 801*2^796849-1 is not prime. Res64: 6547CD267862FC79 Time : 1128.0 sec. user=vaughan [2011-03-02 03:25:34] 945*2^796849-1 is not prime. Res64: 8550BAD39E71C4C2 Time : 987.0 sec. user=vaughan [2011-03-02 03:26:44] 955*2^796847-1 is not prime. Res64: 5081589D719D9679 Time : 1256.0 sec. user=vaughan [2011-03-02 03:28:38] 951*2^796849-1 is not prime. Res64: 9CB4CD8C996DE6E9 Time : 944.0 sec. user=vaughan [2011-03-02 03:33:36] 979*2^796849-1 is not prime. Res64: FF91E5A7D95D9305 Time : 932.0 sec. user=vaughan [2011-03-02 03:33:57] 825*2^796850-1 is not prime. Res64: 9C12A9BAA08AA014 Time : 935.0 sec. user=vaughan [2011-03-02 03:36:22] 823*2^796851-1 is not prime. Res64: AC0C2B969F43963C Time : 947.0 sec. user=vaughan [2011-03-02 03:37:42] 849*2^796851-1 is not prime. Res64: 8E43FC6C30AED0E9 Time : 944.0 sec. user=vaughan [2011-03-02 03:37:54] 803*2^796450-1 is not prime. Res64: 2ED0A63DC5804967 Time : 100584.0 sec. user=vaughan [2011-03-02 03:38:24] 985*2^796447-1 is not prime. Res64: 4E48D84CE5CCD973 Time : 100630.0 sec. user=vaughan [2011-03-02 03:38:59] 967*2^796849-1 is not prime. Res64: 4E9C5FB9E230C435 Time : 1417.0 sec. user=vaughan [2011-03-02 03:40:59] 871*2^796851-1 is not prime. Res64: B62E3F78B1D111D0 Time : 972.0 sec. user=vaughan [2011-03-02 03:41:11] 895*2^796851-1 is not prime. Res64: DCFFFC815A4692CC Time : 965.0 sec. user=vaughan [2011-03-02 03:42:01] 879*2^796853-1 is not prime. Res64: 5DCF9E70EB45024A Time : 988.0 sec. user=vaughan [2011-03-02 03:42:51] 909*2^796457-1 is not prime. Res64: 108F44502B7792D8 Time : 99952.0 sec. user=vaughan [2011-03-02 03:42:52] 819*2^796457-1 is not prime. Res64: 1DAFFB24C8B33030 Time : 99964.0 sec. user=vaughan [2011-03-02 03:43:54] 825*2^796852-1 is not prime. Res64: 3FD223225F0346FC Time : 1126.0 sec. user=vaughan [2011-03-02 03:44:19] 807*2^796854-1 is not prime. Res64: 1DEFE268B4B49CAC Time : 941.0 sec. user=vaughan [2011-03-02 03:46:11] 897*2^796853-1 is not prime. Res64: 406B73B7A373C3DD Time : 1167.0 sec. user=vaughan [2011-03-02 03:47:22] 911*2^796850-1 is not prime. Res64: F094C7D862B8A888 Time : 1644.0 sec. user=vaughan [2011-03-02 03:49:09] 851*2^796854-1 is not prime. Res64: 5191784E14CF4E03 Time : 933.0 sec. user=vaughan [2011-03-02 03:49:29] 875*2^796854-1 is not prime. Res64: 32A5DE92B4A08EB0 Time : 932.0 sec. user=vaughan [2011-03-02 03:52:09] 893*2^796854-1 is not prime. Res64: 07B5305F0DA4DB67 Time : 947.0 sec. user=vaughan [2011-03-02 03:53:31] 1001*2^796854-1 is not prime. Res64: B0760243BD9094E7 Time : 949.0 sec. user=vaughan [2011-03-02 03:53:41] 819*2^796855-1 is not prime. Res64: ACBC7463BBA80985 Time : 947.0 sec. user=vaughan [2011-03-02 03:54:02] 829*2^796855-1 is not prime. Res64: E109DCD01ACBD2A6 Time : 938.0 sec. user=vaughan [2011-03-02 03:57:12] 909*2^796855-1 is not prime. Res64: 2A4BE5F790C3826C Time : 973.0 sec. user=vaughan [2011-03-02 03:57:12] 915*2^796855-1 is not prime. Res64: 71ADE88007B16EE5 Time : 962.0 sec. user=vaughan [2011-03-02 03:58:13] 899*2^796856-1 is not prime. Res64: EFAFE4E832284F20 Time : 922.0 sec. user=vaughan [2011-03-02 03:58:27] 935*2^796856-1 is not prime. Res64: AB2A8EAE3E86F317 Time : 935.0 sec. user=vaughan [2011-03-02 03:58:29] 999*2^796855-1 is not prime. Res64: 117E65E1B463A862 Time : 988.0 sec. user=vaughan [2011-03-02 04:00:06] 937*2^796857-1 is not prime. Res64: 2FD2F8E277D6A632 Time : 947.0 sec. user=vaughan [2011-03-02 04:00:46] 873*2^796855-1 is not prime. Res64: 5B4A4F1C93CEFB9D Time : 1307.0 sec. user=vaughan [2011-03-02 04:01:38] 983*2^796856-1 is not prime. Res64: D235E9E45E3D6EF5 Time : 1064.0 sec. user=vaughan [2011-03-02 04:04:44] 905*2^796858-1 is not prime. Res64: F5C9EFAF69697F73 Time : 936.0 sec. user=vaughan [2011-03-02 04:05:05] 825*2^796859-1 is not prime. Res64: 9A4EBE30897E31E7 Time : 937.0 sec. user=vaughan [2011-03-02 04:06:17] 827*2^796858-1 is not prime. Res64: AA65A984FF9FEE7D Time : 1206.0 sec. user=vaughan [2011-03-02 04:07:55] 999*2^796859-1 is not prime. Res64: 7BF801950350F86E Time : 946.0 sec. user=vaughan [2011-03-02 04:09:14] 803*2^796860-1 is not prime. Res64: 152127FC4097B95C Time : 943.0 sec. user=vaughan [2011-03-02 04:09:39] 863*2^796860-1 is not prime. Res64: B82533D3FB0A88B5 Time : 958.0 sec. user=vaughan [2011-03-02 04:09:41] 909*2^796860-1 is not prime. Res64: 520B7B7AACB16434 Time : 939.0 sec. user=vaughan [2011-03-02 04:11:31] 843*2^796858-1 is not prime. Res64: CA13728905B2751F Time : 1387.0 sec. user=vaughan [2011-03-02 04:13:14] 817*2^796861-1 is not prime. Res64: 0BF1EB5FC238EE78 Time : 962.0 sec. user=vaughan [2011-03-02 04:13:23] 801*2^796861-1 is not prime. Res64: 84DA68600CCAD0F6 Time : 971.0 sec. user=vaughan [2011-03-02 04:13:40] 859*2^796861-1 is not prime. Res64: 2069406FFA4CDC50 Time : 927.0 sec. user=vaughan [2011-03-02 04:14:07] 987*2^796861-1 is not prime. Res64: EBD28E21F05F294B Time : 940.0 sec. user=vaughan [2011-03-02 04:14:55] 843*2^796862-1 is not prime. Res64: F2FF349202BFAA53 Time : 986.0 sec. user=vaughan [2011-03-02 04:15:52] 873*2^796862-1 is not prime. Res64: 3F840417C417D4C6 Time : 946.0 sec. user=vaughan [2011-03-02 04:20:22] 823*2^796863-1 is not prime. Res64: DD5DC2A2DBF94437 Time : 1124.0 sec. user=vaughan [2011-03-02 04:20:22] 951*2^796863-1 is not prime. Res64: AE70C0314711D32B Time : 938.0 sec. user=vaughan [2011-03-02 04:20:42] 963*2^796863-1 is not prime. Res64: B5845CD83AF75ACC Time : 937.0 sec. user=vaughan [2011-03-02 04:23:40] 925*2^796865-1 is not prime. Res64: 29D275339E034645 Time : 946.0 sec. user=vaughan [2011-03-02 04:23:49] 999*2^796088-1 is not prime. Res64: 5522CBBD0EE7549A Time : 9657.0 sec. user=vaughan [2011-03-02 04:24:18] 983*2^796862-1 is not prime. Res64: 3475E3F5214F4147 Time : 1412.0 sec. user=vaughan [2011-03-02 04:24:59] 957*2^796865-1 is not prime. Res64: 84798141C8C01F65 Time : 945.0 sec. user=vaughan [2011-03-02 04:25:19] 993*2^796866-1 is not prime. Res64: F471B9CFAF3A7D42 Time : 939.0 sec. user=vaughan [2011-03-02 04:25:23] 833*2^796866-1 is not prime. Res64: 9A98F11E11986B8C Time : 944.0 sec. user=vaughan [2011-03-02 04:27:09] 885*2^796865-1 is not prime. Res64: F32256766F064195 Time : 1253.0 sec. user=vaughan [2011-03-02 04:29:00] 945*2^796867-1 is not prime. Res64: 3FF9481108F46D6A Time : 921.0 sec. user=vaughan [2011-03-02 04:29:15] 885*2^796867-1 is not prime. Res64: 4154FBD9F865381A Time : 962.0 sec. user=vaughan [2011-03-02 04:29:36] 919*2^796867-1 is not prime. Res64: F46FA9DF1270F0F8 Time : 973.0 sec. user=vaughan [2011-03-02 04:29:39] 845*2^796868-1 is not prime. Res64: 4D32F08354417574 Time : 932.0 sec. user=vaughan [2011-03-02 04:31:23] 885*2^796868-1 is not prime. Res64: E79697A1DB3D5B6A Time : 989.0 sec. user=vaughan [2011-03-02 04:31:32] 893*2^796868-1 is not prime. Res64: 95999056D4035799 Time : 941.0 sec. user=vaughan [2011-03-02 04:34:24] 805*2^796867-1 is not prime. Res64: C4097A03E0188C4F Time : 1373.0 sec. user=vaughan [2011-03-02 04:35:55] 847*2^796869-1 is not prime. Res64: CA6BC41AC6D4BA89 Time : 933.0 sec. user=vaughan [2011-03-02 04:36:17] 921*2^796869-1 is not prime. Res64: 5ADA4EEE61B114D8 Time : 936.0 sec. user=vaughan [2011-03-02 04:39:27] 951*2^796869-1 is not prime. Res64: 27ECE5FACF9F34F7 Time : 947.0 sec. user=vaughan [2011-03-02 04:40:45] 971*2^796870-1 is not prime. Res64: B411232947008ED8 Time : 946.0 sec. user=vaughan [2011-03-02 04:40:52] 823*2^796871-1 is not prime. Res64: 3AFB44FB8B1E96FE Time : 933.0 sec. user=vaughan [2011-03-02 04:41:05] 843*2^796871-1 is not prime. Res64: 6236DCA6867593D5 Time : 943.0 sec. user=vaughan [2011-03-02 04:44:20] 939*2^796871-1 is not prime. Res64: EC534B3DA60795C9 Time : 920.0 sec. user=vaughan [2011-03-02 04:45:01] 969*2^796868-1 is not prime. Res64: 5A05C05EEAA1CFF0 Time : 1479.0 sec. user=vaughan [2011-03-02 04:45:14] 949*2^796871-1 is not prime. Res64: 728EA7EFC201B61F Time : 960.0 sec. user=vaughan [2011-03-02 04:45:18] 873*2^796872-1 is not prime. Res64: 5276516890F1A130 Time : 939.0 sec. user=vaughan [2011-03-02 04:45:30] 957*2^796870-1 is not prime. Res64: 852739A3DDDBF98F Time : 1272.0 sec. user=vaughan [2011-03-02 04:45:50] 955*2^796871-1 is not prime. Res64: 3C007B5092EA284C Time : 975.0 sec. user=vaughan [2011-03-02 04:45:51] 865*2^796871-1 is not prime. Res64: 0E0A1BAE109CDE73 Time : 1122.0 sec. user=vaughan [2011-03-02 04:47:13] 977*2^796872-1 is not prime. Res64: CCE336CE2D32C74C Time : 941.0 sec. user=vaughan [2011-03-02 04:47:51] 887*2^796872-1 is not prime. Res64: 55BD8E655FB3C329 Time : 988.0 sec. user=vaughan [2011-03-02 04:51:31] 861*2^796873-1 is not prime. Res64: 4F8764D81E544DEB Time : 937.0 sec. user=vaughan [2011-03-02 04:52:02] 999*2^796873-1 is not prime. Res64: 165DAC4B332412B2 Time : 945.0 sec. user=vaughan [2011-03-02 04:54:34] 855*2^796873-1 is not prime. Res64: A518E35E8FF0EE7A Time : 1210.0 sec. user=vaughan [2011-03-02 04:55:25] 837*2^796874-1 is not prime. Res64: F2EB7772C226250B Time : 959.0 sec. user=vaughan [2011-03-02 04:56:35] 887*2^796876-1 is not prime. Res64: F020039161102339 Time : 943.0 sec. user=vaughan [2011-03-02 04:56:37] 855*2^796876-1 is not prime. Res64: 43B97B2297343D99 Time : 952.0 sec. user=vaughan [2011-03-02 04:57:06] 989*2^796876-1 is not prime. Res64: FEEF8CA67282A093 Time : 961.0 sec. user=vaughan [2011-03-02 04:59:44] 991*2^796877-1 is not prime. Res64: CC1A58AD5CC1BC35 Time : 924.0 sec. user=vaughan [2011-03-02 05:00:50] 941*2^796878-1 is not prime. Res64: 938C81C296C4428F Time : 932.0 sec. user=vaughan [2011-03-02 05:01:16] 825*2^796878-1 is not prime. Res64: 9AC7C43B5D5CB42C Time : 963.0 sec. user=vaughan [2011-03-02 05:02:02] 859*2^796879-1 is not prime. Res64: C0433876796B5CD3 Time : 972.0 sec. user=vaughan [2011-03-02 05:02:56] 875*2^796880-1 is not prime. Res64: 6D1941AAE75E8C79 Time : 943.0 sec. user=vaughan [2011-03-02 05:04:18] 927*2^796880-1 is not prime. Res64: 2554F672FD70FF18 Time : 987.0 sec. user=vaughan [2011-03-02 05:04:54] 999*2^796879-1 is not prime. Res64: 6DF72A5215AE2B73 Time : 1132.0 sec. user=vaughan [2011-03-02 05:06:10] 973*2^796879-1 is not prime. Res64: FBA2E027D2F566BC Time : 1219.0 sec. user=vaughan [2011-03-02 05:07:04] 983*2^796880-1 is not prime. Res64: 95EEE023FBD8B10F Time : 933.0 sec. user=vaughan [2011-03-02 05:07:40] 849*2^796881-1 is not prime. Res64: 6E6B58F5EBE15C56 Time : 938.0 sec. user=vaughan [2011-03-02 05:08:50] 855*2^796879-1 is not prime. Res64: 4AB70A3212A3EC18 Time : 1400.0 sec. user=vaughan [2011-03-02 05:11:10] 969*2^796881-1 is not prime. Res64: DC118E9DF4702741 Time : 946.0 sec. user=vaughan [2011-03-02 05:12:07] 991*2^796881-1 is not prime. Res64: 71B0F710DFA30C6B Time : 932.0 sec. user=vaughan [2011-03-02 05:12:21] 803*2^796882-1 is not prime. Res64: B02CD08FD4280327 Time : 944.0 sec. user=vaughan [2011-03-02 05:12:49] 827*2^796882-1 is not prime. Res64: 934E381923693E3C Time : 943.0 sec. user=vaughan [2011-03-02 05:15:07] 833*2^796882-1 is not prime. Res64: B6A9E8998F6EF255 Time : 923.0 sec. user=vaughan [2011-03-02 05:16:22] 911*2^796882-1 is not prime. Res64: 49FB13E79B26B714 Time : 932.0 sec. user=vaughan [2011-03-02 05:17:17] 1001*2^796882-1 is not prime. Res64: 79216FD58077187D Time : 962.0 sec. user=vaughan [2011-03-02 05:17:58] 901*2^796881-1 is not prime. Res64: E7F6E58EC0E2A947 Time : 1405.0 sec. user=vaughan [2011-03-02 05:18:14] 825*2^796883-1 is not prime. Res64: 89616A88490F4B54 Time : 973.0 sec. user=vaughan [2011-03-02 05:18:36] 855*2^796883-1 is not prime. Res64: 6559EC37BC98CF83 Time : 940.0 sec. user=vaughan [2011-03-02 05:20:54] 859*2^796883-1 is not prime. Res64: 0EDBC37B23F7BA53 Time : 996.0 sec. user=vaughan [2011-03-02 05:22:37] 887*2^796884-1 is not prime. Res64: 04733591216D5B9D Time : 933.0 sec. user=vaughan [2011-03-02 05:23:12] 947*2^796884-1 is not prime. Res64: CEA4F9F53E77D920 Time : 933.0 sec. user=vaughan [2011-03-02 05:23:52] 943*2^796883-1 is not prime. Res64: 3D46F6409D72BCE8 Time : 1138.0 sec. user=vaughan [2011-03-02 05:26:38] 843*2^796884-1 is not prime. Res64: DA0F4080EEAD6DF5 Time : 1228.0 sec. user=vaughan [2011-03-02 05:26:56] 885*2^796885-1 is not prime. Res64: BDC0E6CFAB64519E Time : 946.0 sec. user=vaughan [2011-03-02 05:27:39] 917*2^796886-1 is not prime. Res64: 19FEA51AABE6834B Time : 933.0 sec. user=vaughan [2011-03-02 05:28:06] 823*2^796887-1 is not prime. Res64: 2307E8F52AD03CCA Time : 946.0 sec. user=vaughan [2011-03-02 05:28:31] 865*2^796887-1 is not prime. Res64: FEBD6041E35EAD08 Time : 942.0 sec. user=vaughan [2011-03-02 05:32:22] 871*2^796885-1 is not prime. Res64: EE0E47587FBA2386 Time : 1412.0 sec. user=vaughan [2011-03-02 05:33:34] 961*2^796887-1 is not prime. Res64: ECB63A06D1441D8F Time : 977.0 sec. user=vaughan [2011-03-02 05:34:23] 849*2^796888-1 is not prime. Res64: 864B555BB0079D30 Time : 947.0 sec. user=vaughan [2011-03-02 05:34:43] 975*2^796887-1 is not prime. Res64: 98D831B96B6113D5 Time : 989.0 sec. user=vaughan [2011-03-02 05:37:21] 869*2^796888-1 is not prime. Res64: 50E07752E17C0C89 Time : 987.0 sec. user=vaughan [2011-03-02 05:38:10] 999*2^796888-1 is not prime. Res64: A3C72A82B6D60D2C Time : 933.0 sec. user=vaughan [2011-03-02 05:38:12] 871*2^796887-1 is not prime. Res64: BCA0797F1486BCEA Time : 1385.0 sec. user=vaughan [2011-03-02 05:38:44] 885*2^796889-1 is not prime. Res64: 2114D614FBD6AB8B Time : 932.0 sec. user=vaughan [2011-03-02 05:40:21] 933*2^796887-1 is not prime. Res64: EF7420CF133AE77C Time : 1439.0 sec. user=vaughan [2011-03-02 05:41:32] 963*2^796887-1 is not prime. Res64: 5E0B052406184B6A Time : 1415.0 sec. user=vaughan [2011-03-02 05:42:42] 851*2^796890-1 is not prime. Res64: F6596E98E8CA9DAA Time : 946.0 sec. user=vaughan [2011-03-02 05:43:51] 999*2^796891-1 is not prime. Res64: 8B72E60D913B0663 Time : 945.0 sec. user=vaughan [2011-03-02 05:48:24] 987*2^796889-1 is not prime. Res64: A879F0F94245FD81 Time : 1472.0 sec. user=vaughan [2011-03-02 05:49:40] 895*2^796893-1 is not prime. Res64: 81A76BC8069BB765 Time : 966.0 sec. user=vaughan [2011-03-02 05:50:02] 919*2^796893-1 is not prime. Res64: 5AB333E80287809C Time : 940.0 sec. user=vaughan [2011-03-02 05:50:55] 979*2^796893-1 is not prime. Res64: D7844B0CEF474650 Time : 973.0 sec. user=vaughan [2011-03-02 05:51:11] 933*2^796890-1 is not prime. Res64: 23ECEC61FC4B5C04 Time : 1412.0 sec. user=vaughan [2011-03-02 05:51:43] 821*2^796890-1 is not prime. Res64: D59BD89E7F73A6A1 Time : 1505.0 sec. user=vaughan [2011-03-02 05:52:15] 803*2^796892-1 is not prime. Res64: E4ACE2E1C559D45A Time : 1424.0 sec. user=vaughan [2011-03-02 05:53:43] 827*2^796894-1 is not prime. Res64: 9879D1B9B875F4C8 Time : 933.0 sec. user=vaughan [2011-03-02 05:53:47] 999*2^796893-1 is not prime. Res64: C9CC89AF0E723FDE Time : 986.0 sec. user=vaughan [2011-03-02 05:54:23] 881*2^796894-1 is not prime. Res64: 46A0E2708DD1FE38 Time : 939.0 sec. user=vaughan [2011-03-02 05:56:07] 915*2^796892-1 is not prime. Res64: 6AAA10C0751C4207 Time : 1425.0 sec. user=vaughan [2011-03-02 05:58:29] 957*2^796894-1 is not prime. Res64: A5AC98D64845DA72 Time : 947.0 sec. user=vaughan [2011-03-02 05:59:36] 825*2^796895-1 is not prime. Res64: C1EF8853C86E7047 Time : 945.0 sec. user=vaughan [2011-03-02 06:05:47] 809*2^796896-1 is not prime. Res64: 634E881D2670DA2B Time : 945.0 sec. user=vaughan [2011-03-02 06:05:47] 985*2^796895-1 is not prime. Res64: E640726006732212 Time : 967.0 sec. user=vaughan [2011-03-02 06:07:07] 879*2^796896-1 is not prime. Res64: FB36186CDA344589 Time : 972.0 sec. user=ototero [2011-03-02 06:09:05] 957*2^796114-1 is not prime. Res64: 1C39E49261E4464C Time : 11545.0 sec. user=ototero [2011-03-02 06:09:06] 963*2^796115-1 is not prime. Res64: B11C9F9054DF5B7E Time : 11545.0 sec. user=ototero [2011-03-02 06:09:06] 845*2^796116-1 is not prime. Res64: 90623011B65C7168 Time : 11545.0 sec. user=ototero [2011-03-02 06:09:06] 887*2^796116-1 is not prime. Res64: C451A65180135B29 Time : 11545.0 sec. user=ototero [2011-03-02 06:09:06] 899*2^796116-1 is not prime. Res64: C5808254E65110E9 Time : 11544.0 sec. user=ototero [2011-03-02 06:09:06] 825*2^796846-1 is not prime. Res64: 7A6909789EB7C99C Time : 11544.0 sec. user=ototero [2011-03-02 06:09:06] 891*2^796846-1 is not prime. Res64: C22D95962F6C9247 Time : 11544.0 sec. user=ototero [2011-03-02 06:09:07] 897*2^796846-1 is not prime. Res64: C7FC277A1E553BB9 Time : 11544.0 sec. user=ototero [2011-03-02 06:09:07] 911*2^796846-1 is not prime. Res64: 8FB594517D16CFDE Time : 11544.0 sec. user=ototero [2011-03-02 06:09:07] 933*2^796846-1 is not prime. Res64: B66989D60EE0144C Time : 11543.0 sec. user=vaughan [2011-03-02 06:09:16] 899*2^796896-1 is not prime. Res64: C292B6E61A7323E6 Time : 933.0 sec. user=vaughan [2011-03-02 06:10:04] 831*2^796897-1 is not prime. Res64: 5616FA1610F2154B Time : 941.0 sec. user=vaughan [2011-03-02 06:10:15] 903*2^796896-1 is not prime. Res64: 5668CEE2B6308091 Time : 988.0 sec. user=vaughan [2011-03-02 06:14:15] 889*2^796897-1 is not prime. Res64: 3B111C2750967AF0 Time : 947.0 sec. user=vaughan [2011-03-02 06:15:19] 937*2^796897-1 is not prime. Res64: C012810749ED889D Time : 944.0 sec. user=vaughan [2011-03-02 06:21:26] 945*2^796897-1 is not prime. Res64: 15A0F9FF8072952D Time : 940.0 sec. user=vaughan [2011-03-02 06:21:47] 997*2^796897-1 is not prime. Res64: 97D0FDA2061AE22D Time : 961.0 sec. user=vaughan [2011-03-02 06:23:24] 887*2^796898-1 is not prime. Res64: 99552F7673182370 Time : 977.0 sec. user=vaughan [2011-03-02 06:24:47] 805*2^796901-1 is not prime. Res64: 053717E8B4C23F67 Time : 931.0 sec. user=vaughan [2011-03-02 06:25:42] 885*2^796901-1 is not prime. Res64: D2FCD0CC291ECAE5 Time : 938.0 sec. user=vaughan [2011-03-02 06:26:42] 889*2^796901-1 is not prime. Res64: 8AEB36D1B297CD32 Time : 988.0 sec. user=vaughan [2011-03-02 06:30:01] 925*2^796901-1 is not prime. Res64: ABA18C7FA5685C92 Time : 946.0 sec. user=vaughan [2011-03-02 06:31:03] 931*2^796901-1 is not prime. Res64: D7CA5E29D6B57CF9 Time : 944.0 sec. user=vaughan [2011-03-02 06:37:10] 949*2^796901-1 is not prime. Res64: D0BA7BFC3ACACE96 Time : 944.0 sec. user=vaughan [2011-03-02 06:37:46] 979*2^796901-1 is not prime. Res64: 30D09900097F9598 Time : 959.0 sec. user=vaughan [2011-03-02 06:39:38] 945*2^796902-1 is not prime. Res64: ECAEBBD8B84A6F22 Time : 974.0 sec. user=vaughan [2011-03-02 06:40:26] 885*2^796903-1 is not prime. Res64: 7894F68947F6A7D4 Time : 939.0 sec. user=vaughan [2011-03-02 06:41:13] 913*2^796903-1 is not prime. Res64: 0FD0DA030F40E731 Time : 931.0 sec. user=vaughan [2011-03-02 06:43:18] 973*2^796903-1 is not prime. Res64: 4AEC8D1A79DDA4AF Time : 997.0 sec. user=vaughan [2011-03-02 06:45:49] 819*2^796904-1 is not prime. Res64: F6AB6F6D9BB648CD Time : 948.0 sec. user=vaughan [2011-03-02 06:46:45] 869*2^796904-1 is not prime. Res64: 7EABE8ABE5102213 Time : 943.0 sec. user=vaughan [2011-03-02 06:52:51] 959*2^796904-1 is not prime. Res64: 67CB3BC40696E88F Time : 942.0 sec. user=vaughan [2011-03-02 06:53:45] 837*2^796905-1 is not prime. Res64: CA2E4938D651FF3F Time : 960.0 sec. user=vaughan [2011-03-02 06:55:48] 955*2^796905-1 is not prime. Res64: 8AAF85AF64F675F9 Time : 971.0 sec. user=vaughan [2011-03-02 06:56:07] 815*2^796906-1 is not prime. Res64: AC3439F925C268FA Time : 941.0 sec. user=vaughan [2011-03-02 06:56:43] 843*2^796906-1 is not prime. Res64: 6013CFB4C5A21F11 Time : 930.0 sec. user=vaughan [2011-03-02 07:01:34] 825*2^796907-1 is not prime. Res64: 904D77EBF0BA08F9 Time : 945.0 sec. user=vaughan [2011-03-02 07:02:29] 879*2^796907-1 is not prime. Res64: 06E461635E644F99 Time : 945.0 sec. user=vaughan [2011-03-02 07:04:52] 923*2^796870-1 is not prime. Res64: E8181C37BA66F5B7 Time : 9663.0 sec. user=vaughan [2011-03-02 07:11:47] 809*2^796908-1 is not prime. Res64: 8C13A0C62705CE96 Time : 941.0 sec. user=vaughan [2011-03-02 07:12:15] 933*2^796908-1 is not prime. Res64: DCD79868D16E9233 Time : 933.0 sec. user=vaughan [2011-03-02 07:17:18] 999*2^796908-1 is not prime. Res64: C92C8A5482B400C5 Time : 944.0 sec. user=vaughan [2011-03-02 07:18:10] 895*2^796909-1 is not prime. Res64: 9DA1F893BBDB6DB2 Time : 941.0 sec. user=vaughan [2011-03-02 07:27:24] 975*2^796909-1 is not prime. Res64: 8FA68DFA3C8F0F58 Time : 937.0 sec. user=vaughan [2011-03-02 07:27:49] 825*2^796910-1 is not prime. Res64: B15B8041FC9EA520 Time : 934.0 sec. user=vaughan [2011-03-02 07:33:04] 843*2^796910-1 is not prime. Res64: 8F9053BF86E27FCC Time : 947.0 sec. user=vaughan [2011-03-02 07:33:54] 857*2^796910-1 is not prime. Res64: B07B9E750A25FE6C Time : 944.0 sec. user=vaughan [2011-03-02 07:42:54] 911*2^796910-1 is not prime. Res64: FEF872F68C6B8929 Time : 930.0 sec. user=vaughan [2011-03-02 07:43:26] 917*2^796910-1 is not prime. Res64: BFE8B3BA0911F2FD Time : 938.0 sec. user=vaughan [2011-03-02 07:48:54] 941*2^796910-1 is not prime. Res64: 6B17F5B74BE05111 Time : 950.0 sec. user=vaughan [2011-03-02 07:49:36] 981*2^796910-1 is not prime. Res64: 5FF3888D81565F59 Time : 943.0 sec. user=vaughan [2011-03-02 07:58:34] 827*2^796912-1 is not prime. Res64: 44BC94F0DF26AECA Time : 940.0 sec. user=vaughan [2011-03-02 07:58:57] 873*2^796912-1 is not prime. Res64: 1F34F98714FB4E9B Time : 931.0 sec. user=vaughan [2011-03-02 08:04:39] 965*2^796912-1 is not prime. Res64: 50F0CE14E33DA47E Time : 945.0 sec. user=vaughan [2011-03-02 08:05:18] 837*2^796913-1 is not prime. Res64: 648E6130C0CCD7E4 Time : 942.0 sec. user=ototero [2011-03-02 09:42:56] 963*2^796898-1 is not prime. Res64: 8E77F7DF3D31A0F7 Time : 12829.0 sec. user=ototero [2011-03-02 09:42:56] 825*2^796899-1 is not prime. Res64: E051AF53B3D55908 Time : 12828.0 sec. user=ototero [2011-03-02 09:42:57] 835*2^796899-1 is not prime. Res64: 4BEBDA6479F887A6 Time : 12829.0 sec. user=ototero [2011-03-02 09:42:57] 853*2^796899-1 is not prime. Res64: E6A4CBA16F85DD39 Time : 12829.0 sec. user=ototero [2011-03-02 09:42:57] 885*2^796899-1 is not prime. Res64: 2C9404A21E3BEE06 Time : 12829.0 sec. user=ototero [2011-03-02 09:42:57] 833*2^796900-1 is not prime. Res64: A37075743ABE14AF Time : 12828.0 sec. user=ototero [2011-03-02 09:42:58] 863*2^796900-1 is not prime. Res64: 48683778825F3A29 Time : 12829.0 sec. user=ototero [2011-03-02 09:42:58] 887*2^796900-1 is not prime. Res64: CDC78FAA31728DF5 Time : 12829.0 sec. user=ototero [2011-03-02 09:42:58] 897*2^796900-1 is not prime. Res64: FF3F156FCC32B5CE Time : 12828.0 sec. user=ototero [2011-03-02 09:42:58] 929*2^796900-1 is not prime. Res64: 9D7A9D2F70255BD0 Time : 12828.0 sec. user=vaughan [2011-03-02 09:45:25] 955*2^796909-1 is not prime. Res64: 9BE63A03B31D8B1E Time : 9634.0 sec. user=vaughan [2011-03-02 12:26:23] 887*2^796918-1 is not prime. Res64: D03EC790898DF31C Time : 9659.0 sec. user=ototero [2011-03-02 13:00:07] 883*2^796915-1 is not prime. Res64: F2BBFFE9BD71E345 Time : 11828.0 sec. user=ototero [2011-03-02 13:00:07] 891*2^796915-1 is not prime. Res64: AE7BF65D657AB493 Time : 11828.0 sec. user=ototero [2011-03-02 13:00:07] 895*2^796915-1 is not prime. Res64: 802346E25C6D70D4 Time : 11827.0 sec. user=ototero [2011-03-02 13:00:08] 951*2^796915-1 is not prime. Res64: 7870AA877ABA930E Time : 11828.0 sec. user=ototero [2011-03-02 13:00:08] 833*2^796916-1 is not prime. Res64: 8E04B59AEFEBF105 Time : 11827.0 sec. user=ototero [2011-03-02 13:00:08] 957*2^796916-1 is not prime. Res64: E154EB559FA2BC5E Time : 11827.0 sec. user=ototero [2011-03-02 13:00:08] 969*2^796916-1 is not prime. Res64: 06736185CFA7ACBD Time : 11827.0 sec. user=ototero [2011-03-02 13:00:08] 817*2^796917-1 is not prime. Res64: 31D98C1D7561925F Time : 11826.0 sec. user=ototero [2011-03-02 13:00:08] 825*2^796917-1 is not prime. Res64: 3A4A12E32AB0E966 Time : 11826.0 sec. user=ototero [2011-03-02 13:00:09] 895*2^796917-1 is not prime. Res64: EA8AC3F0CB96C0DC Time : 11827.0 sec. user=vaughan [2011-03-02 15:07:33] 923*2^796918-1 is not prime. Res64: 5612AB1AEC81BCBC Time : 9670.0 sec. user=ototero [2011-03-02 16:16:21] 823*2^796919-1 is not prime. Res64: ED93D48631857F27 Time : 11772.0 sec. user=ototero [2011-03-02 16:16:21] 883*2^796919-1 is not prime. Res64: 0F2827779E10A3B8 Time : 11772.0 sec. user=ototero [2011-03-02 16:16:22] 943*2^796919-1 is not prime. Res64: E20EC3AD04642D67 Time : 11772.0 sec. user=ototero [2011-03-02 16:16:22] 973*2^796919-1 is not prime. Res64: A850D1B12AB964E9 Time : 11772.0 sec. user=ototero [2011-03-02 16:16:22] 819*2^796920-1 is not prime. Res64: 94BCC4DFD684A609 Time : 11772.0 sec. user=ototero [2011-03-02 16:16:22] 899*2^796920-1 is not prime. Res64: DC6B06FE6DCAC593 Time : 11771.0 sec. user=ototero [2011-03-02 16:16:22] 959*2^796920-1 is not prime. Res64: C3E359442AD3707C Time : 11771.0 sec. user=ototero [2011-03-02 16:16:22] 801*2^796921-1 is not prime. Res64: 9E32A122AFBC18F4 Time : 11770.0 sec. user=ototero [2011-03-02 16:16:23] 829*2^796921-1 is not prime. Res64: C7D867FE800723D8 Time : 11771.0 sec. user=ototero [2011-03-02 16:16:23] 861*2^796921-1 is not prime. Res64: D8663DD22937ACCE Time : 11771.0 sec. user=vaughan [2011-03-02 17:48:30] 925*2^796921-1 is not prime. Res64: B62BAAE132F95D6B Time : 9657.0 sec. user=kar_bon [2011-03-02 18:27:05] 999*2^796579-1 is not prime. Res64: F115F7093EDA8347 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:06] 813*2^796580-1 is not prime. Res64: 692BE2B65B56C7D0 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:06] 875*2^796580-1 is not prime. Res64: 24721B9E53C4249D Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:06] 963*2^796580-1 is not prime. Res64: 9CD2366223D17ADC Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:06] 847*2^796581-1 is not prime. Res64: 4580BA4047A143F7 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:07] 889*2^796581-1 is not prime. Res64: AA876CFBAC41BF76 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:07] 901*2^796581-1 is not prime. Res64: 9225ABF1C10C8A0A Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:07] 997*2^796581-1 is not prime. Res64: AA1486D31E640A99 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:07] 827*2^796582-1 is not prime. Res64: 9B9354F6CB93E843 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:07] 947*2^796582-1 is not prime. Res64: C7C8B1363A1DC4FF Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:08] 979*2^796581-1 is not prime. Res64: 7C27472B735B9912 Time : 83093.0 sec. user=kar_bon [2011-03-02 18:27:08] 805*2^796583-1 is not prime. Res64: 5DB63B6B65641B06 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:08] 815*2^796582-1 is not prime. Res64: CFCD2FC1A29F2B2E Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:08] 861*2^796583-1 is not prime. Res64: F19696512342056C Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:09] 897*2^796582-1 is not prime. Res64: 265B6F29058E26CB Time : 83093.0 sec. user=kar_bon [2011-03-02 18:27:09] 895*2^796583-1 is not prime. Res64: A98BF35193AC967E Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:09] 987*2^796582-1 is not prime. Res64: 13BE3B0DD54CE3AF Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:09] 955*2^796583-1 is not prime. Res64: C7C23B869259B1FB Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:09] 813*2^796583-1 is not prime. Res64: DAE039E85EB834D0 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:09] 981*2^796583-1 is not prime. Res64: 8D1A2EC5111F109F Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:09] 889*2^796583-1 is not prime. Res64: 70F4118EBBF753E6 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:09] 909*2^796584-1 is not prime. Res64: 141AEF7B9B7F81F0 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:10] 915*2^796583-1 is not prime. Res64: CB93E0A1D137C97B Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:10] 847*2^796585-1 is not prime. Res64: C99F88B26F871A46 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:10] 963*2^796583-1 is not prime. Res64: E6B190989675AE9D Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:10] 813*2^796586-1 is not prime. Res64: EE8CF6C842A70620 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:10] 875*2^796584-1 is not prime. Res64: CA78534ED28A7AE1 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:10] 931*2^796587-1 is not prime. Res64: B2CE5DD052280F91 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:10] 983*2^796584-1 is not prime. Res64: 56B2DFE3EDA16831 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:10] 825*2^796588-1 is not prime. Res64: 6B7BC38947F5C3EA Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:11] 975*2^796585-1 is not prime. Res64: 788C9807EFCB4EC0 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:11] 887*2^796584-1 is not prime. Res64: CE3F0B1C6030F4F9 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:11] 931*2^796589-1 is not prime. Res64: D73DFE31FCAC2358 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:11] 857*2^796586-1 is not prime. Res64: A209B4377D718F50 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:11] 831*2^796585-1 is not prime. Res64: E6AB95B7539C85F3 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:11] 829*2^796591-1 is not prime. Res64: 5965BC2C7B8EBF49 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:11] 949*2^796587-1 is not prime. Res64: 0C7A65D182ABEE87 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:11] 999*2^796585-1 is not prime. Res64: E4FE4651B270AF8E Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:12] 959*2^796592-1 is not prime. Res64: 218A060F9A92CFC5 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:12] 837*2^796589-1 is not prime. Res64: 58A17E6A385EFC47 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:12] 935*2^796586-1 is not prime. Res64: 9864ED796761369C Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:12] 951*2^796593-1 is not prime. Res64: 3753C3DF5A525774 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:12] 987*2^796589-1 is not prime. Res64: 195187F2901FF9B1 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:12] 975*2^796587-1 is not prime. Res64: 2CB92BFEAD557AC9 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:12] 945*2^796594-1 is not prime. Res64: 921AFA28547D1010 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:12] 909*2^796591-1 is not prime. Res64: 538172C4A18BB0AF Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:12] 867*2^796589-1 is not prime. Res64: 0DA58AD908DD3069 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:12] 817*2^796597-1 is not prime. Res64: 66A8B68586405C54 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:12] 999*2^796592-1 is not prime. Res64: F4888C5E9F30316F Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:12] 825*2^796590-1 is not prime. Res64: 1FA9E27E25B97E45 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:13] 957*2^796597-1 is not prime. Res64: 33D23D41D0ACEAB2 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:13] 987*2^796593-1 is not prime. Res64: 86D63056B0475720 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:13] 969*2^796591-1 is not prime. Res64: 043C46249FDC6FD4 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:13] 975*2^796599-1 is not prime. Res64: 128D9B9F1A1EC5B9 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:13] 867*2^796596-1 is not prime. Res64: 8A1C2E7B24D85E26 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:13] 889*2^796593-1 is not prime. Res64: A31FC5BC612961F7 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:13] 843*2^796600-1 is not prime. Res64: 207314557F338F25 Time : 83089.0 sec. user=kar_bon [2011-03-02 18:27:13] 859*2^796597-1 is not prime. Res64: 503A96E073A8F4FC Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:13] 885*2^796594-1 is not prime. Res64: 2C2B93A4715643D4 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:13] 805*2^796601-1 is not prime. Res64: 6E9E16A67E84058A Time : 83089.0 sec. user=kar_bon [2011-03-02 18:27:13] 801*2^796598-1 is not prime. Res64: 78206BC3BE0D2350 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:14] 903*2^796596-1 is not prime. Res64: 27F12B090B1D2EF4 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:14] 803*2^796602-1 is not prime. Res64: 5F80444BD60920FC Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:14] 803*2^796588-1 is not prime. Res64: 7DB619F4664DC9D4 Time : 83094.0 sec. user=kar_bon [2011-03-02 18:27:14] 979*2^796599-1 is not prime. Res64: C15A7BD77F07E96A Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:14] 871*2^796597-1 is not prime. Res64: 9F2D454599D3DEA7 Time : 83091.0 sec. user=kar_bon [2011-03-02 18:27:15] 873*2^796603-1 is not prime. Res64: 2B65C2B08268D405 Time : 83090.0 sec. user=kar_bon [2011-03-02 18:27:15] 889*2^796589-1 is not prime. Res64: F22F41E3A0EF477C Time : 83094.0 sec. user=kar_bon [2011-03-02 18:27:16] 917*2^796600-1 is not prime. Res64: 096E9F56CFAC1F93 Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:17] 913*2^796599-1 is not prime. Res64: 288E464DDA74DE29 Time : 83094.0 sec. user=kar_bon [2011-03-02 18:27:17] 951*2^796603-1 is not prime. Res64: 66B8BE7FF035575C Time : 83092.0 sec. user=kar_bon [2011-03-02 18:27:17] 927*2^796590-1 is not prime. Res64: 34B2EF3DA5FE932E Time : 83096.0 sec. user=kar_bon [2011-03-02 18:27:18] 867*2^796601-1 is not prime. Res64: 01868A5AE9EEBC64 Time : 83094.0 sec. user=kar_bon [2011-03-02 18:27:18] 909*2^796600-1 is not prime. Res64: D9A5F7C3C963F902 Time : 83094.0 sec. user=kar_bon [2011-03-02 18:27:19] 819*2^796592-1 is not prime. Res64: AF2343664F5B27DB Time : 83098.0 sec. user=kar_bon [2011-03-02 18:27:20] 899*2^796604-1 is not prime. Res64: 430E8B335C9EE1E1 Time : 83094.0 sec. user=kar_bon [2011-03-02 18:27:20] 821*2^796602-1 is not prime. Res64: 8DC2F516BE5867DF Time : 83096.0 sec. user=kar_bon [2011-03-02 18:27:20] 819*2^796601-1 is not prime. Res64: 0021DFECC3CCB07E Time : 83096.0 sec. user=kar_bon [2011-03-02 18:27:20] 877*2^796593-1 is not prime. Res64: D6026BA82E79A3AD Time : 83098.0 sec. user=kar_bon [2011-03-02 18:27:21] 891*2^796605-1 is not prime. Res64: 7867C5960B5E9039 Time : 83095.0 sec. user=kar_bon [2011-03-02 18:27:21] 871*2^796603-1 is not prime. Res64: D6E4CB8D7AE06850 Time : 83096.0 sec. user=kar_bon [2011-03-02 18:27:22] 825*2^796602-1 is not prime. Res64: 48D5EF80C7A22C05 Time : 83098.0 sec. user=kar_bon [2011-03-02 18:27:22] 831*2^796594-1 is not prime. Res64: CBF0603B2000D0C8 Time : 83100.0 sec. user=kar_bon [2011-03-02 18:27:24] 941*2^796606-1 is not prime. Res64: 40FDE2444EE1DADC Time : 83098.0 sec. user=kar_bon [2011-03-02 18:27:24] 919*2^796603-1 is not prime. Res64: 8F46C836F33A67EA Time : 83099.0 sec. user=kar_bon [2011-03-02 18:27:24] 889*2^796603-1 is not prime. Res64: 9BC68F8F89C9220B Time : 83099.0 sec. user=kar_bon [2011-03-02 18:27:24] 893*2^796596-1 is not prime. Res64: 8C44088E7B9C86B6 Time : 83102.0 sec. user=kar_bon [2011-03-02 18:27:26] 979*2^796607-1 is not prime. Res64: 120B23F096B97ECF Time : 83099.0 sec. user=kar_bon [2011-03-02 18:27:26] 885*2^796604-1 is not prime. Res64: 1CD597D6EE38C669 Time : 83101.0 sec. user=kar_bon [2011-03-02 18:27:26] 843*2^796604-1 is not prime. Res64: AF8BDA75C2AC4B8E Time : 83101.0 sec. user=kar_bon [2011-03-02 18:27:26] 861*2^796597-1 is not prime. Res64: B6E7300B588CB17F Time : 83103.0 sec. user=kar_bon [2011-03-02 18:27:27] 951*2^796609-1 is not prime. Res64: A9867F1F6699E1E8 Time : 83100.0 sec. user=kar_bon [2011-03-02 18:27:27] 885*2^796605-1 is not prime. Res64: 202DE35063D2BF81 Time : 83101.0 sec. user=kar_bon [2011-03-02 18:27:28] 935*2^796604-1 is not prime. Res64: DDA9488C54BDB422 Time : 83102.0 sec. user=kar_bon [2011-03-02 18:27:29] 829*2^796599-1 is not prime. Res64: 7F13E111BDE845CD Time : 83106.0 sec. user=kar_bon [2011-03-02 18:27:29] 873*2^796611-1 is not prime. Res64: 38E0344DA3C0AF1D Time : 83102.0 sec. user=kar_bon [2011-03-02 18:27:30] 911*2^796606-1 is not prime. Res64: C5A18DB791B28F28 Time : 83104.0 sec. user=kar_bon [2011-03-02 18:27:30] 997*2^796605-1 is not prime. Res64: 2D89E5F72A5A48E9 Time : 83104.0 sec. user=kar_bon [2011-03-02 18:27:30] 985*2^796599-1 is not prime. Res64: 6E5B78A0660231DF Time : 83106.0 sec. user=kar_bon [2011-03-02 18:27:31] 973*2^796607-1 is not prime. Res64: DD565B05127FDCE5 Time : 83104.0 sec. user=kar_bon [2011-03-02 18:27:31] 815*2^796614-1 is not prime. Res64: 84196FAE7129FE24 Time : 83103.0 sec. user=kar_bon [2011-03-02 18:27:32] 825*2^796607-1 is not prime. Res64: DA81F514CCEAAE39 Time : 83106.0 sec. user=kar_bon [2011-03-02 18:27:32] 923*2^796600-1 is not prime. Res64: 598A7E352411C83B Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:32] 885*2^796609-1 is not prime. Res64: 5CD625DD78A1C86D Time : 83105.0 sec. user=kar_bon [2011-03-02 18:27:33] 919*2^796615-1 is not prime. Res64: 4783087B22D28FA7 Time : 83105.0 sec. user=kar_bon [2011-03-02 18:27:34] 817*2^796609-1 is not prime. Res64: 9322069654B0EC3C Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:34] 997*2^796601-1 is not prime. Res64: 8A573E2FC0E40C65 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:34] 823*2^796611-1 is not prime. Res64: 8043B93BD4A3500A Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:36] 813*2^796610-1 is not prime. Res64: F52F96407B4CF873 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:36] 813*2^796603-1 is not prime. Res64: 355BD0BED461F745 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:36] 927*2^796613-1 is not prime. Res64: BF5DA1F590A85084 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:36] 901*2^796611-1 is not prime. Res64: 68FE1853D87F3F0D Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:36] 901*2^796603-1 is not prime. Res64: ADC205471F24E8B6 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:36] 1001*2^796614-1 is not prime. Res64: 4AFFF9717E8DFC7C Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:36] 851*2^796614-1 is not prime. Res64: 8AA545E513506142 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:36] 857*2^796604-1 is not prime. Res64: 6A0010E9AE0C70C6 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:36] 969*2^796615-1 is not prime. Res64: 48EB0CFA08172070 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:36] 951*2^796615-1 is not prime. Res64: B93A7F4E85AB3046 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:36] 993*2^796604-1 is not prime. Res64: FE5A0060422E7B08 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:36] 945*2^796616-1 is not prime. Res64: 6898AA16D41CB33C Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:37] 873*2^796616-1 is not prime. Res64: 17F1D4997D9FFF9C Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:37] 887*2^796606-1 is not prime. Res64: 280D7A52A421F694 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:37] 955*2^796617-1 is not prime. Res64: 99E747A1D86AC65E Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:37] 915*2^796617-1 is not prime. Res64: 2D8D64B78158B7BF Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:37] 915*2^796607-1 is not prime. Res64: C2E1861A9ACF508B Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:37] 923*2^796618-1 is not prime. Res64: 8897BC2BA71F571D Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:37] 991*2^796617-1 is not prime. Res64: 4A39DC782E78DC00 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:37] 819*2^796609-1 is not prime. Res64: 0A34FF1342213A04 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:37] 939*2^796619-1 is not prime. Res64: FE3944257222FC17 Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:37] 971*2^796618-1 is not prime. Res64: 8AD6BC5DEC24B2DC Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:37] 805*2^796611-1 is not prime. Res64: 79A635AABCD0C798 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:38] 803*2^796620-1 is not prime. Res64: 7754C1CEBC553922 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:38] 861*2^796613-1 is not prime. Res64: B09DEC930074E056 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:38] 825*2^796621-1 is not prime. Res64: 28488757DF78F0A1 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:38] 983*2^796614-1 is not prime. Res64: E1275CDE8858D7E0 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:38] 827*2^796622-1 is not prime. Res64: F3BD395BD2F0681F Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:38] 961*2^796615-1 is not prime. Res64: 972E30019ACC8B4A Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:38] 871*2^796623-1 is not prime. Res64: F57F3655ECCB25AF Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:38] 923*2^796616-1 is not prime. Res64: 281AC41B847A95D8 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:38] 801*2^796625-1 is not prime. Res64: A643D2BB670E66E3 Time : 83106.0 sec. user=kar_bon [2011-03-02 18:27:38] 945*2^796617-1 is not prime. Res64: D87664BCC2E9295E Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:39] 807*2^796626-1 is not prime. Res64: CB8CC6285D0C19E2 Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:39] 887*2^796618-1 is not prime. Res64: 2CE3BDBCC04B1579 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:39] 941*2^796626-1 is not prime. Res64: 027CDF974C2B5D5A Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:39] 913*2^796619-1 is not prime. Res64: FB097A70FB6C99C4 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:39] 999*2^796627-1 is not prime. Res64: 62B9F29DC0D4281D Time : 83106.0 sec. user=kar_bon [2011-03-02 18:27:39] 839*2^796620-1 is not prime. Res64: 6974D89064892871 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:39] 927*2^796629-1 is not prime. Res64: D9FE5EBD78A6AA7C Time : 83106.0 sec. user=kar_bon [2011-03-02 18:27:39] 987*2^796621-1 is not prime. Res64: 65501AA24682E1AE Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:40] 1001*2^796630-1 is not prime. Res64: CCC9657BC7CA1637 Time : 83106.0 sec. user=kar_bon [2011-03-02 18:27:40] 831*2^796622-1 is not prime. Res64: 6C46766EF839AE82 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:40] 837*2^796616-1 is not prime. Res64: 4600141A9B610F11 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:40] 819*2^796633-1 is not prime. Res64: 24AC9A53B0ED8A22 Time : 83106.0 sec. user=kar_bon [2011-03-02 18:27:40] 951*2^796623-1 is not prime. Res64: 5569E1B28109F14A Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:40] 837*2^796617-1 is not prime. Res64: 187487387A147285 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:40] 837*2^796625-1 is not prime. Res64: 2589D5DE837026DB Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:41] 985*2^796617-1 is not prime. Res64: 120CC0D2807DB6E5 Time : 83112.0 sec. user=kar_bon [2011-03-02 18:27:41] 891*2^796626-1 is not prime. Res64: 559D2062415FAEE5 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:41] 933*2^796618-1 is not prime. Res64: 0A6CB18CEABFBE3E Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:41] 849*2^796627-1 is not prime. Res64: D6E1651F3796A887 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:41] 993*2^796619-1 is not prime. Res64: 68BF994CDE99E0FE Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:41] 885*2^796628-1 is not prime. Res64: C9B9C9F78B4F6BCB Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:41] 927*2^796620-1 is not prime. Res64: E73301041833D9E9 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:41] 999*2^796629-1 is not prime. Res64: EEE3A77E4061C39C Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:42] 825*2^796622-1 is not prime. Res64: 682542A2F5859E54 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:42] 815*2^796632-1 is not prime. Res64: 027075C59C5F937E Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:42] 853*2^796623-1 is not prime. Res64: 265D7CBF4048518B Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:42] 855*2^796633-1 is not prime. Res64: 701A3BF7A6C07D74 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:42] 849*2^796624-1 is not prime. Res64: 81F9AE5D9F21EEFF Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:42] 851*2^796634-1 is not prime. Res64: 1EB6A315156B8000 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:42] 937*2^796625-1 is not prime. Res64: 87B54DC2E5AD86C1 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:42] 805*2^796635-1 is not prime. Res64: A893B386FE54999E Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:43] 933*2^796626-1 is not prime. Res64: 81CBAF01A8CCD0BE Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:43] 833*2^796636-1 is not prime. Res64: 9FC69AC850E49A2C Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:43] 909*2^796627-1 is not prime. Res64: A0920844DBB3E7A2 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:43] 847*2^796637-1 is not prime. Res64: 55EA03B681D6F970 Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:43] 935*2^796628-1 is not prime. Res64: 235899B51AA72D66 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:43] 803*2^796640-1 is not prime. Res64: DA73C188355037C5 Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:43] 833*2^796630-1 is not prime. Res64: E744E71D4F0F8E05 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:43] 837*2^796641-1 is not prime. Res64: 9C6C6989A9BC2FFE Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:44] 903*2^796632-1 is not prime. Res64: E4D59C129711AE24 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:44] 881*2^796642-1 is not prime. Res64: 19282BCB4A279742 Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:44] 895*2^796633-1 is not prime. Res64: A8F1F88EA20558B0 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:44] 993*2^796643-1 is not prime. Res64: 671B86C09ED9B4FC Time : 83107.0 sec. user=kar_bon [2011-03-02 18:27:44] 921*2^796634-1 is not prime. Res64: 25E68CE45E3DA9B7 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:44] 823*2^796635-1 is not prime. Res64: 09182456804F2AEB Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:45] 903*2^796636-1 is not prime. Res64: 2CFBB83A65812393 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:45] 997*2^796637-1 is not prime. Res64: 620897030F82CA0F Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:45] 875*2^796640-1 is not prime. Res64: 6714DEFAA56CEF49 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:45] 865*2^796641-1 is not prime. Res64: 5EC113FA46D9AE73 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:46] 975*2^796642-1 is not prime. Res64: 3D62D2710B645FC0 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:46] 959*2^796644-1 is not prime. Res64: 9D0FB439991C2026 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:47] 863*2^796620-1 is not prime. Res64: 25839A0ACDF51EFF Time : 83117.0 sec. user=kar_bon [2011-03-02 18:27:47] 999*2^796621-1 is not prime. Res64: 9677D61575771BA6 Time : 83116.0 sec. user=kar_bon [2011-03-02 18:27:48] 925*2^796633-1 is not prime. Res64: C367CBE69CE19DB1 Time : 83114.0 sec. user=kar_bon [2011-03-02 18:27:48] 829*2^796623-1 is not prime. Res64: 3EA70D8DDB9077FA Time : 83117.0 sec. user=kar_bon [2011-03-02 18:27:48] 857*2^796646-1 is not prime. Res64: 7FDB45A94B7EB665 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:48] 945*2^796634-1 is not prime. Res64: 762C4AA5FCC36EAA Time : 83113.0 sec. user=kar_bon [2011-03-02 18:27:48] 813*2^796624-1 is not prime. Res64: 7381ED63DE5B8381 Time : 83117.0 sec. user=kar_bon [2011-03-02 18:27:48] 1001*2^796646-1 is not prime. Res64: F75397D581957BC0 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:49] 861*2^796635-1 is not prime. Res64: 59E6C5D7875AEFD1 Time : 83114.0 sec. user=kar_bon [2011-03-02 18:27:49] 925*2^796625-1 is not prime. Res64: D982FE1A8E696294 Time : 83117.0 sec. user=kar_bon [2011-03-02 18:27:49] 863*2^796648-1 is not prime. Res64: 9E460404140B709F Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:49] 909*2^796636-1 is not prime. Res64: D0A95C9528B13C15 Time : 83114.0 sec. user=kar_bon [2011-03-02 18:27:49] 873*2^796626-1 is not prime. Res64: 7AF1FA24895001EB Time : 83117.0 sec. user=kar_bon [2011-03-02 18:27:49] 831*2^796649-1 is not prime. Res64: 8003D22895073A55 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:49] 927*2^796638-1 is not prime. Res64: B82A48E9B6942DD5 Time : 83113.0 sec. user=kar_bon [2011-03-02 18:27:49] 983*2^796626-1 is not prime. Res64: D1DE389B962DE849 Time : 83116.0 sec. user=kar_bon [2011-03-02 18:27:49] 909*2^796649-1 is not prime. Res64: A41C9B2234B70A94 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:49] 915*2^796640-1 is not prime. Res64: EECE3024B9448BC9 Time : 83113.0 sec. user=kar_bon [2011-03-02 18:27:49] 839*2^796628-1 is not prime. Res64: 8365F455D3CEAC9E Time : 83116.0 sec. user=kar_bon [2011-03-02 18:27:49] 843*2^796651-1 is not prime. Res64: 5C38CFFDEE78B40F Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:49] 921*2^796641-1 is not prime. Res64: DA29EF5006E88B70 Time : 83112.0 sec. user=kar_bon [2011-03-02 18:27:50] 975*2^796629-1 is not prime. Res64: 1CCE52ECF04F58A3 Time : 83117.0 sec. user=kar_bon [2011-03-02 18:27:50] 819*2^796652-1 is not prime. Res64: 54316FD0B376FD9A Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:50] 859*2^796643-1 is not prime. Res64: A6C2AEEDDE15317B Time : 83113.0 sec. user=kar_bon [2011-03-02 18:27:50] 865*2^796631-1 is not prime. Res64: E0EA7B83D85AA480 Time : 83116.0 sec. user=kar_bon [2011-03-02 18:27:50] 873*2^796652-1 is not prime. Res64: 909669C662D1318B Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:50] 811*2^796645-1 is not prime. Res64: 5C94BDDCFEE3C52D Time : 83113.0 sec. user=kar_bon [2011-03-02 18:27:50] 835*2^796633-1 is not prime. Res64: 2B433F590DD86998 Time : 83116.0 sec. user=kar_bon [2011-03-02 18:27:50] 837*2^796653-1 is not prime. Res64: 29D93074B281E2C3 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:50] 873*2^796646-1 is not prime. Res64: BABEBDA8AD8FF6F2 Time : 83112.0 sec. user=kar_bon [2011-03-02 18:27:50] 987*2^796633-1 is not prime. Res64: 386DD314EBB8A2C4 Time : 83116.0 sec. user=kar_bon [2011-03-02 18:27:50] 881*2^796654-1 is not prime. Res64: 1305BE37580ED9D3 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:50] 849*2^796648-1 is not prime. Res64: 8EB32D401B701745 Time : 83112.0 sec. user=kar_bon [2011-03-02 18:27:50] 995*2^796634-1 is not prime. Res64: FD9425901830ADE4 Time : 83115.0 sec. user=kar_bon [2011-03-02 18:27:50] 941*2^796654-1 is not prime. Res64: DADCD1833B2A12A5 Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:51] 959*2^796648-1 is not prime. Res64: B081B76BA20358D1 Time : 83112.0 sec. user=kar_bon [2011-03-02 18:27:51] 903*2^796635-1 is not prime. Res64: 6A07F8E302377A20 Time : 83116.0 sec. user=kar_bon [2011-03-02 18:27:51] 817*2^796657-1 is not prime. Res64: 34585F814F6719BC Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:51] 955*2^796649-1 is not prime. Res64: 1A0B08F32468223A Time : 83112.0 sec. user=kar_bon [2011-03-02 18:27:51] 987*2^796636-1 is not prime. Res64: 18BFD50AF52063BC Time : 83115.0 sec. user=kar_bon [2011-03-02 18:27:51] 835*2^796659-1 is not prime. Res64: 6834090083A3F84A Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:51] 939*2^796651-1 is not prime. Res64: C47CF29629C30B44 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:51] 861*2^796639-1 is not prime. Res64: 55BF0068D8CA69AD Time : 83115.0 sec. user=kar_bon [2011-03-02 18:27:51] 961*2^796659-1 is not prime. Res64: FF3C91BC3FAA4A9C Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:51] 825*2^796652-1 is not prime. Res64: A9B3347230483AA7 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:51] 829*2^796641-1 is not prime. Res64: 8648AA73708D19BE Time : 83115.0 sec. user=kar_bon [2011-03-02 18:27:51] 873*2^796660-1 is not prime. Res64: 4052900EA9ECF2A7 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:51] 983*2^796652-1 is not prime. Res64: EB6EEA612B8DC0FE Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:52] 969*2^796641-1 is not prime. Res64: 5954C18351245F83 Time : 83115.0 sec. user=kar_bon [2011-03-02 18:27:52] 889*2^796661-1 is not prime. Res64: EF0B7785F6029DAE Time : 83109.0 sec. user=kar_bon [2011-03-02 18:27:52] 927*2^796653-1 is not prime. Res64: 015CE36604F9688F Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:52] 949*2^796643-1 is not prime. Res64: 88A988AF133B709B Time : 83115.0 sec. user=kar_bon [2011-03-02 18:27:52] 937*2^796661-1 is not prime. Res64: E468983233DFCA02 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:52] 915*2^796654-1 is not prime. Res64: 4F89D4FD253290A1 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:52] 999*2^796645-1 is not prime. Res64: 11272E50330133C2 Time : 83115.0 sec. user=kar_bon [2011-03-02 18:27:52] 955*2^796661-1 is not prime. Res64: BC188E1449FD0404 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:52] 947*2^796654-1 is not prime. Res64: 9D0E1C86722E0148 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:52] 921*2^796646-1 is not prime. Res64: A5B2E4E30D75ADB4 Time : 83114.0 sec. user=kar_bon [2011-03-02 18:27:52] 807*2^796662-1 is not prime. Res64: 02041934AE3BF512 Time : 83108.0 sec. user=kar_bon [2011-03-02 18:27:52] 953*2^796658-1 is not prime. Res64: A8144CF5B717E193 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:53] 855*2^796648-1 is not prime. Res64: 6E5BB76663112DBF Time : 83115.0 sec. user=kar_bon [2011-03-02 18:27:53] 885*2^796659-1 is not prime. Res64: 05FFFCD162083944 Time : 83111.0 sec. user=kar_bon [2011-03-02 18:27:53] 869*2^796648-1 is not prime. Res64: 17A8FE2D98B7CB83 Time : 83114.0 sec. user=kar_bon [2011-03-02 18:27:53] 839*2^796660-1 is not prime. Res64: 0CC4BC3CCFB5A088 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:53] 889*2^796649-1 is not prime. Res64: 1DCE742825E8A16E Time : 83114.0 sec. user=kar_bon [2011-03-02 18:27:53] 899*2^796660-1 is not prime. Res64: AF65B3278DB38AE3 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:27:53] 997*2^796649-1 is not prime. Res64: 5840048CDBB93B1A Time : 83114.0 sec. user=kar_bon [2011-03-02 18:27:53] 931*2^796661-1 is not prime. Res64: 29210EF326108B16 Time : 83110.0 sec. user=kar_bon [2011-03-02 18:29:25] 873*2^796662-1 is not prime. Res64: E22D37AB429296B3 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:26] 941*2^796662-1 is not prime. Res64: FA4BA12F26E2D167 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:26] 1001*2^796662-1 is not prime. Res64: AF99E423B6E59706 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:26] 901*2^796663-1 is not prime. Res64: DED722E6ABC03FAF Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:27] 915*2^796663-1 is not prime. Res64: 36DBA1D853B501B0 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:27] 985*2^796663-1 is not prime. Res64: 1B78C3E39B52B684 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:27] 843*2^796664-1 is not prime. Res64: 5DDB0CE3A3DDF1C7 Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:27] 855*2^796664-1 is not prime. Res64: 0BC46CF510D24E74 Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:28] 969*2^796664-1 is not prime. Res64: 691BB035DC453E38 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:28] 949*2^796665-1 is not prime. Res64: 404A7E1932F2E41C Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:28] 959*2^796664-1 is not prime. Res64: D3A787A1ABD1D67A Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:28] 801*2^796666-1 is not prime. Res64: 4AEF349597565E3D Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:29] 895*2^796665-1 is not prime. Res64: 3574D4A984E74F63 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:29] 909*2^796667-1 is not prime. Res64: 978234F4D34271C3 Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:29] 975*2^796665-1 is not prime. Res64: 8A05E98F20449D66 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:29] 981*2^796667-1 is not prime. Res64: 5C524B4BBB1BC342 Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:29] 933*2^796666-1 is not prime. Res64: 79AFFC2914358708 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:29] 987*2^796668-1 is not prime. Res64: BA492C6CE0DA01B7 Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:29] 955*2^796667-1 is not prime. Res64: C691D3613037D072 Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:29] 967*2^796669-1 is not prime. Res64: 0CDE63F008F257C1 Time : 83122.0 sec. user=kar_bon [2011-03-02 18:29:30] 985*2^796667-1 is not prime. Res64: 0AB54972F2229CE9 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:30] 923*2^796670-1 is not prime. Res64: D6B07EECE528A802 Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:30] 801*2^796669-1 is not prime. Res64: C43E79FE18B1FD2E Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:30] 833*2^796672-1 is not prime. Res64: 4EEEB47DF14115FF Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:30] 867*2^796670-1 is not prime. Res64: A265D7CD58AF49D8 Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:30] 939*2^796672-1 is not prime. Res64: 4A21BC42253A4335 Time : 83122.0 sec. user=kar_bon [2011-03-02 18:29:30] 825*2^796672-1 is not prime. Res64: 0E00BB9D785FD2EF Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:30] 837*2^796673-1 is not prime. Res64: DFF2F5893E06404C Time : 83122.0 sec. user=kar_bon [2011-03-02 18:29:30] 909*2^796672-1 is not prime. Res64: 882F6F3A4E795EB0 Time : 83122.0 sec. user=kar_bon [2011-03-02 18:29:30] 991*2^796673-1 is not prime. Res64: 55EB6ADDE124E2E7 Time : 83121.0 sec. user=kar_bon [2011-03-02 18:29:31] 999*2^796672-1 is not prime. Res64: A3B7CC3C479C92DF Time : 83123.0 sec. user=kar_bon [2011-03-02 18:29:31] 813*2^796670-1 is not prime. Res64: C2AA1C6E1F6B966B Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:31] 917*2^796674-1 is not prime. Res64: 061322881E458DB2 Time : 83122.0 sec. user=kar_bon [2011-03-02 18:29:32] 955*2^796673-1 is not prime. Res64: C1F3C0F0C6120A47 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:34] 837*2^796676-1 is not prime. Res64: 8F9274B51366C654 Time : 83125.0 sec. user=kar_bon [2011-03-02 18:29:34] 999*2^796671-1 is not prime. Res64: 8EFED8CA6B5CE32E Time : 83127.0 sec. user=kar_bon [2011-03-02 18:29:34] 905*2^796674-1 is not prime. Res64: 48FB4B89B95B05BD Time : 83125.0 sec. user=kar_bon [2011-03-02 18:29:35] 819*2^796677-1 is not prime. Res64: 06C71CB776BF8D3C Time : 83125.0 sec. user=kar_bon [2011-03-02 18:29:35] 855*2^796672-1 is not prime. Res64: F81CE2BB4A9E33ED Time : 83127.0 sec. user=kar_bon [2011-03-02 18:29:35] 871*2^796675-1 is not prime. Res64: 59BB2F660F69B983 Time : 83126.0 sec. user=kar_bon [2011-03-02 18:29:35] 971*2^796678-1 is not prime. Res64: 1E0E7F5426AD98F6 Time : 83125.0 sec. user=kar_bon [2011-03-02 18:29:35] 947*2^796672-1 is not prime. Res64: BE7D85015FD51FF5 Time : 83127.0 sec. user=kar_bon [2011-03-02 18:29:35] 953*2^796676-1 is not prime. Res64: D1C5EC0B4F70C18D Time : 83125.0 sec. user=kar_bon [2011-03-02 18:29:35] 955*2^796679-1 is not prime. Res64: 0AF8C5722BE6F7F0 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:35] 925*2^796673-1 is not prime. Res64: 5985830A99947175 Time : 83127.0 sec. user=kar_bon [2011-03-02 18:29:35] 933*2^796678-1 is not prime. Res64: 3802214DDC0FF0E6 Time : 83125.0 sec. user=kar_bon [2011-03-02 18:29:35] 925*2^796681-1 is not prime. Res64: AF5DABA88812138A Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:36] 893*2^796674-1 is not prime. Res64: B6884F3EDC359157 Time : 83127.0 sec. user=kar_bon [2011-03-02 18:29:36] 831*2^796679-1 is not prime. Res64: EF7B21E975F43F78 Time : 83126.0 sec. user=kar_bon [2011-03-02 18:29:36] 921*2^796682-1 is not prime. Res64: 191E4027822365D4 Time : 83125.0 sec. user=kar_bon [2011-03-02 18:29:36] 867*2^796681-1 is not prime. Res64: DD3F2B9D64F02F22 Time : 83125.0 sec. user=kar_bon [2011-03-02 18:29:36] 859*2^796675-1 is not prime. Res64: 2D03F6272FFFC03C Time : 83127.0 sec. user=kar_bon [2011-03-02 18:29:36] 885*2^796684-1 is not prime. Res64: 788AB02A4DFC5442 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:36] 911*2^796682-1 is not prime. Res64: 17FE3ABC7D81FC88 Time : 83125.0 sec. user=kar_bon [2011-03-02 18:29:36] 993*2^796674-1 is not prime. Res64: C28C05EF04AC4215 Time : 83127.0 sec. user=kar_bon [2011-03-02 18:29:36] 927*2^796676-1 is not prime. Res64: 5D194A7FEFDFB33F Time : 83126.0 sec. user=kar_bon [2011-03-02 18:29:36] 987*2^796685-1 is not prime. Res64: F3853C83E0B45E35 Time : 83124.0 sec. user=kar_bon [2011-03-02 18:29:37] 807*2^796684-1 is not prime. Res64: F2CF5E667624E61B Time : 83125.0 sec. user=kar_bon [2011-03-02 18:29:39] 839*2^796676-1 is not prime. Res64: 2679C40207DEE0AF Time : 83130.0 sec. user=kar_bon [2011-03-02 18:29:39] 971*2^796686-1 is not prime. Res64: 42C30ED756A58A4C Time : 83126.0 sec. user=kar_bon [2011-03-02 18:29:39] 845*2^796678-1 is not prime. Res64: 5C6CC1CBB0B32F2B Time : 83129.0 sec. user=kar_bon [2011-03-02 18:29:39] 951*2^796685-1 is not prime. Res64: D38F56F37C72A12F Time : 83127.0 sec. user=kar_bon [2011-03-02 18:29:40] 999*2^796687-1 is not prime. Res64: 1CEAD14EAC179828 Time : 83127.0 sec. user=kar_bon [2011-03-02 18:29:40] 801*2^796678-1 is not prime. Res64: 71DA134E72C40B42 Time : 83130.0 sec. user=kar_bon [2011-03-02 18:29:41] 829*2^796679-1 is not prime. Res64: 2761B62740E75AEF Time : 83131.0 sec. user=kar_bon [2011-03-02 18:29:41] 861*2^796686-1 is not prime. Res64: 86710674D728D025 Time : 83129.0 sec. user=kar_bon [2011-03-02 18:29:42] 959*2^796688-1 is not prime. Res64: 1730341EF85DCE46 Time : 83128.0 sec. user=kar_bon [2011-03-02 18:29:42] 975*2^796678-1 is not prime. Res64: 84D685C98FDBFC90 Time : 83132.0 sec. user=kar_bon [2011-03-02 18:29:43] 861*2^796681-1 is not prime. Res64: ACEA2119BB5C7502 Time : 83132.0 sec. user=kar_bon [2011-03-02 18:29:43] 919*2^796687-1 is not prime. Res64: 00238492C268216E Time : 83130.0 sec. user=kar_bon [2011-03-02 18:29:43] 837*2^796689-1 is not prime. Res64: 84692D4603140B8A Time : 83129.0 sec. user=kar_bon [2011-03-02 18:29:44] 879*2^796680-1 is not prime. Res64: 305994F20147297D Time : 83133.0 sec. user=kar_bon [2011-03-02 18:29:45] 951*2^796681-1 is not prime. Res64: 5CF9E3DF158B3BAA Time : 83134.0 sec. user=kar_bon [2011-03-02 18:29:45] 927*2^796688-1 is not prime. Res64: 2982E8C0BA4687F4 Time : 83132.0 sec. user=kar_bon [2011-03-02 18:29:45] 861*2^796690-1 is not prime. Res64: A6E55717EB2455D2 Time : 83131.0 sec. user=kar_bon [2011-03-02 18:29:45] 931*2^796681-1 is not prime. Res64: 36BFD816ADB100E3 Time : 83134.0 sec. user=kar_bon [2011-03-02 18:29:47] 803*2^796684-1 is not prime. Res64: 9E78AB578C9EE6A7 Time : 83135.0 sec. user=kar_bon [2011-03-02 18:29:47] 829*2^796689-1 is not prime. Res64: 7A21A09061224386 Time : 83133.0 sec. user=kar_bon [2011-03-02 18:29:47] 993*2^796691-1 is not prime. Res64: AF541A1E60264105 Time : 83132.0 sec. user=kar_bon [2011-03-02 18:29:48] 955*2^796683-1 is not prime. Res64: E945BB763A1B24AA Time : 83137.0 sec. user=kar_bon [2011-03-02 18:29:48] 897*2^796685-1 is not prime. Res64: 8D8AEAD9A04DFF07 Time : 83136.0 sec. user=kar_bon [2011-03-02 18:29:49] 803*2^796690-1 is not prime. Res64: CFBE3560D9EF77FC Time : 83135.0 sec. user=kar_bon [2011-03-02 18:29:49] 951*2^796693-1 is not prime. Res64: 58E3439E4659A681 Time : 83134.0 sec. user=kar_bon [2011-03-02 18:29:49] 909*2^796684-1 is not prime. Res64: 08603ADCC475D70F Time : 83137.0 sec. user=kar_bon [2011-03-02 18:29:50] 821*2^796686-1 is not prime. Res64: 687B68B532BBD34D Time : 83138.0 sec. user=kar_bon [2011-03-02 18:29:50] 943*2^796691-1 is not prime. Res64: 9B90D40A40B10C03 Time : 83135.0 sec. user=kar_bon [2011-03-02 18:29:51] 885*2^796694-1 is not prime. Res64: 9FABC336DD1D47B3 Time : 83136.0 sec. user=kar_bon [2011-03-02 18:29:51] 801*2^796686-1 is not prime. Res64: 7CF96935C1FF59F1 Time : 83139.0 sec. user=kar_bon [2011-03-02 18:29:52] 841*2^796687-1 is not prime. Res64: D13AD34F0F2E7054 Time : 83139.0 sec. user=kar_bon [2011-03-02 18:29:53] 877*2^796693-1 is not prime. Res64: EE7BAB54A6C3F206 Time : 83138.0 sec. user=kar_bon [2011-03-02 18:29:53] 871*2^796695-1 is not prime. Res64: 2309FFAD5CD3E15C Time : 83137.0 sec. user=kar_bon [2011-03-02 18:29:53] 975*2^796686-1 is not prime. Res64: DAD9B27AA6492B2F Time : 83140.0 sec. user=kar_bon [2011-03-02 18:29:54] 839*2^796688-1 is not prime. Res64: BE26E0A944FB3DE3 Time : 83141.0 sec. user=kar_bon [2011-03-02 18:29:54] 857*2^796694-1 is not prime. Res64: 4BF8CD831C802824 Time : 83139.0 sec. user=kar_bon [2011-03-02 18:29:56] 819*2^796688-1 is not prime. Res64: CE537507B8685642 Time : 83143.0 sec. user=kar_bon [2011-03-02 18:29:56] 817*2^796689-1 is not prime. Res64: 833268594CFE9AF7 Time : 83142.0 sec. user=kar_bon [2011-03-02 18:29:56] 853*2^796695-1 is not prime. Res64: 6B5824EE10401237 Time : 83140.0 sec. user=kar_bon [2011-03-02 18:29:56] 807*2^796689-1 is not prime. Res64: 00F111334984B0BE Time : 83142.0 sec. user=kar_bon [2011-03-02 18:29:56] 955*2^796689-1 is not prime. Res64: 6B764D2052212427 Time : 83142.0 sec. user=kar_bon [2011-03-02 18:29:56] 875*2^796696-1 is not prime. Res64: 7D48FDF18B8B09DD Time : 83140.0 sec. user=kar_bon [2011-03-02 18:29:56] 895*2^796689-1 is not prime. Res64: AB434C9507BC96CA Time : 83142.0 sec. user=kar_bon [2011-03-02 18:29:56] 913*2^796691-1 is not prime. Res64: 4DEE69FC0EEC28F3 Time : 83141.0 sec. user=kar_bon [2011-03-02 18:29:56] 833*2^796698-1 is not prime. Res64: 4B08FC50172CD03C Time : 83140.0 sec. user=kar_bon [2011-03-02 18:29:56] 1001*2^796690-1 is not prime. Res64: 0679CD5AC720CE61 Time : 83142.0 sec. user=kar_bon [2011-03-02 18:29:56] 987*2^796692-1 is not prime. Res64: 1117F58746B322BC Time : 83141.0 sec. user=kar_bon [2011-03-02 18:29:56] 923*2^796698-1 is not prime. Res64: F2D7F42B8C206897 Time : 83139.0 sec. user=kar_bon [2011-03-02 18:29:57] 903*2^796692-1 is not prime. Res64: 3ABF3DB1656F5B4A Time : 83142.0 sec. user=kar_bon [2011-03-02 18:29:57] 987*2^796693-1 is not prime. Res64: 5CC7223514C071FC Time : 83142.0 sec. user=kar_bon [2011-03-02 18:29:57] 845*2^796700-1 is not prime. Res64: 0751676B17267022 Time : 83140.0 sec. user=kar_bon [2011-03-02 18:29:57] 957*2^796696-1 is not prime. Res64: B4FEC72A6F149A54 Time : 83141.0 sec. user=kar_bon [2011-03-02 18:29:57] 961*2^796693-1 is not prime. Res64: BE21082AAAC3F9D5 Time : 83142.0 sec. user=kar_bon [2011-03-02 18:29:57] 917*2^796694-1 is not prime. Res64: EBA1575967265E75 Time : 83141.0 sec. user=kar_bon [2011-03-02 18:29:58] 827*2^796702-1 is not prime. Res64: E95945898BEA584C Time : 83140.0 sec. user=kar_bon [2011-03-02 18:29:58] 891*2^796698-1 is not prime. Res64: 1A7215B3BD7F4365 Time : 83141.0 sec. user=kar_bon [2011-03-02 18:29:58] 887*2^796694-1 is not prime. Res64: 91FFB73D1A83D473 Time : 83143.0 sec. user=kar_bon [2011-03-02 18:29:58] 839*2^796696-1 is not prime. Res64: E9ACB73A78FF5437 Time : 83142.0 sec. user=kar_bon [2011-03-02 18:29:58] 957*2^796698-1 is not prime. Res64: ECB8F9FA9623C944 Time : 83141.0 sec. user=kar_bon [2011-03-02 18:29:59] 909*2^796695-1 is not prime. Res64: 4772D38E77019FE4 Time : 83143.0 sec. user=kar_bon [2011-03-02 18:29:59] 861*2^796697-1 is not prime. Res64: A04313B234B64E60 Time : 83143.0 sec. user=kar_bon [2011-03-02 18:29:59] 861*2^796701-1 is not prime. Res64: BAF5D20C3EA53699 Time : 83142.0 sec. user=kar_bon [2011-03-02 18:29:59] 837*2^796697-1 is not prime. Res64: E9228245F783AAF6 Time : 83143.0 sec. user=kar_bon [2011-03-02 18:30:00] 921*2^796698-1 is not prime. Res64: 657C257C3F5E4391 Time : 83143.0 sec. user=kar_bon [2011-03-02 18:30:00] 825*2^796703-1 is not prime. Res64: D48FB9E1A6613134 Time : 83142.0 sec. user=kar_bon [2011-03-02 18:30:00] 945*2^796702-1 is not prime. Res64: 0063B3CA9FBA3B97 Time : 83142.0 sec. user=kar_bon [2011-03-02 18:30:00] 893*2^796698-1 is not prime. Res64: 153EC8C24192BD23 Time : 83143.0 sec. user=kar_bon [2011-03-02 18:30:02] 949*2^796703-1 is not prime. Res64: 42755BF54F45E385 Time : 83144.0 sec. user=kar_bon [2011-03-02 18:30:02] 859*2^796703-1 is not prime. Res64: 4525B0025DEBB3D3 Time : 83144.0 sec. user=kar_bon [2011-03-02 18:30:02] 841*2^796699-1 is not prime. Res64: E07F0A1BB55B9AE3 Time : 83145.0 sec. user=kar_bon [2011-03-02 18:30:03] 891*2^796699-1 is not prime. Res64: B6070EEA9DF10385 Time : 83146.0 sec. user=kar_bon [2011-03-02 18:30:03] 969*2^796703-1 is not prime. Res64: 582A37F950F4F994 Time : 83144.0 sec. user=kar_bon [2011-03-02 18:30:03] 975*2^796704-1 is not prime. Res64: 9934D9AB1D2C6975 Time : 83144.0 sec. user=kar_bon [2011-03-02 18:30:03] 877*2^796701-1 is not prime. Res64: 35271917A4CCC0BC Time : 83146.0 sec. user=kar_bon [2011-03-02 18:30:04] 955*2^796701-1 is not prime. Res64: 3CC288485BE88DE8 Time : 83146.0 sec. user=kar_bon [2011-03-02 18:30:04] 983*2^796704-1 is not prime. Res64: 7FDB5C68B47DAA6E Time : 83145.0 sec. user=kar_bon [2011-03-02 18:30:04] 951*2^796702-1 is not prime. Res64: 54C802E4DAED3F17 Time : 83146.0 sec. user=kar_bon [2011-03-02 18:30:05] 895*2^796705-1 is not prime. Res64: 302CA31923EDF39C Time : 83146.0 sec. user=kar_bon [2011-03-02 18:30:05] 1001*2^796702-1 is not prime. Res64: 95BB9A7A680EBBB1 Time : 83147.0 sec. user=kar_bon [2011-03-02 18:30:06] 909*2^796705-1 is not prime. Res64: E11C70A030628480 Time : 83147.0 sec. user=kar_bon [2011-03-02 18:30:07] 831*2^796706-1 is not prime. Res64: 39ECCC93397004F5 Time : 83148.0 sec. user=kar_bon [2011-03-02 18:30:07] 943*2^796703-1 is not prime. Res64: FFE59352EB25B3A9 Time : 83149.0 sec. user=kar_bon [2011-03-02 18:30:07] 923*2^796706-1 is not prime. Res64: 9224CDFDF3F7D1B2 Time : 83147.0 sec. user=kar_bon [2011-03-02 18:30:07] 975*2^796708-1 is not prime. Res64: 966A20E8BAF34121 Time : 83147.0 sec. user=kar_bon [2011-03-02 18:30:07] 927*2^796704-1 is not prime. Res64: 7F5AC8A7DDF3666A Time : 83148.0 sec. user=kar_bon [2011-03-02 18:30:07] 829*2^796709-1 is not prime. Res64: 86B4FB002A649CE1 Time : 83147.0 sec. user=kar_bon [2011-03-02 18:30:07] 951*2^796709-1 is not prime. Res64: F862FD1C352913C4 Time : 83147.0 sec. user=kar_bon [2011-03-02 18:30:08] 939*2^796703-1 is not prime. Res64: FBEBA4E6E0ACE260 Time : 83150.0 sec. user=kar_bon [2011-03-02 18:30:08] 861*2^796705-1 is not prime. Res64: 588766427F68545D Time : 83149.0 sec. user=kar_bon [2011-03-02 18:30:08] 985*2^796709-1 is not prime. Res64: 019585074BA4699F Time : 83148.0 sec. user=kar_bon [2011-03-02 18:30:08] 965*2^796710-1 is not prime. Res64: 0CF0DEE23F45D2B6 Time : 83147.0 sec. user=kar_bon [2011-03-02 18:30:09] 973*2^796703-1 is not prime. Res64: 5F82FFACACD8BA4D Time : 83150.0 sec. user=kar_bon [2011-03-02 18:30:10] 981*2^796705-1 is not prime. Res64: 73A44A9530EA725C Time : 83151.0 sec. user=kar_bon [2011-03-02 18:30:10] 855*2^796711-1 is not prime. Res64: 856A2A69E34C0075 Time : 83149.0 sec. user=kar_bon [2011-03-02 18:30:10] 873*2^796712-1 is not prime. Res64: 574392079561C348 Time : 83149.0 sec. user=kar_bon [2011-03-02 18:30:11] 841*2^796705-1 is not prime. Res64: D67BCEA088267B70 Time : 83152.0 sec. user=kar_bon [2011-03-02 18:30:11] 819*2^796708-1 is not prime. Res64: FC9133B1DA3F0ABB Time : 83151.0 sec. user=kar_bon [2011-03-02 18:30:12] 935*2^796712-1 is not prime. Res64: 2F58F3F15D9F7A05 Time : 83151.0 sec. user=kar_bon [2011-03-02 18:30:12] 829*2^796713-1 is not prime. Res64: 8AF95F292949CC51 Time : 83151.0 sec. user=kar_bon [2011-03-02 18:30:12] 979*2^796705-1 is not prime. Res64: 33B53076CFDD8A7B Time : 83153.0 sec. user=kar_bon [2011-03-02 18:30:13] 939*2^796709-1 is not prime. Res64: 2C7567DDFAD36013 Time : 83153.0 sec. user=kar_bon [2011-03-02 18:30:14] 835*2^796713-1 is not prime. Res64: 0B11764976DD49D6 Time : 83152.0 sec. user=kar_bon [2011-03-02 18:30:14] 877*2^796713-1 is not prime. Res64: 85DCD46F3F233172 Time : 83152.0 sec. user=kar_bon [2011-03-02 18:30:14] 961*2^796707-1 is not prime. Res64: 677ADF44CCD3DBCC Time : 83154.0 sec. user=kar_bon [2011-03-02 18:30:15] 923*2^796710-1 is not prime. Res64: 99FFA459A4842E9F Time : 83154.0 sec. user=kar_bon [2011-03-02 18:30:15] 857*2^796714-1 is not prime. Res64: 3A6CAB0EE3B65DD0 Time : 83153.0 sec. user=kar_bon [2011-03-02 18:30:16] 909*2^796715-1 is not prime. Res64: 30EAEBFB9C8306CF Time : 83154.0 sec. user=kar_bon [2011-03-02 18:30:16] 847*2^796709-1 is not prime. Res64: 327275271FEEFA00 Time : 83156.0 sec. user=kar_bon [2011-03-02 18:30:17] 843*2^796712-1 is not prime. Res64: DDE7050D3F3A989C Time : 83156.0 sec. user=kar_bon [2011-03-02 18:30:18] 921*2^796715-1 is not prime. Res64: 2EE148D700D31A66 Time : 83156.0 sec. user=kar_bon [2011-03-02 18:30:18] 947*2^796716-1 is not prime. Res64: 665DAA6B06F94F55 Time : 83155.0 sec. user=kar_bon [2011-03-02 18:30:18] 921*2^796710-1 is not prime. Res64: 0912B9FC4443A7B0 Time : 83158.0 sec. user=kar_bon [2011-03-02 18:30:19] 817*2^796713-1 is not prime. Res64: BFE582CEE438E901 Time : 83158.0 sec. user=kar_bon [2011-03-02 18:30:19] 993*2^796716-1 is not prime. Res64: E132DAC516611058 Time : 83156.0 sec. user=kar_bon [2011-03-02 18:30:20] 859*2^796717-1 is not prime. Res64: 3E1B99DA1BA0DC34 Time : 83157.0 sec. user=kar_bon [2011-03-02 18:30:20] 859*2^796711-1 is not prime. Res64: E9F6B49265D68CFD Time : 83159.0 sec. user=kar_bon [2011-03-02 18:30:21] 861*2^796713-1 is not prime. Res64: 31FB868D3B47FD8B Time : 83159.0 sec. user=kar_bon [2011-03-02 18:30:21] 945*2^796717-1 is not prime. Res64: 8114B5C31FCF87FB Time : 83158.0 sec. user=kar_bon [2011-03-02 18:30:21] 1001*2^796718-1 is not prime. Res64: 12C89146D1012C93 Time : 83158.0 sec. user=kar_bon [2011-03-02 18:30:22] 957*2^796712-1 is not prime. Res64: FAB40ED969FACAE1 Time : 83161.0 sec. user=kar_bon [2011-03-02 18:30:23] 923*2^796714-1 is not prime. Res64: D8318E1E20D794B1 Time : 83161.0 sec. user=kar_bon [2011-03-02 18:30:23] 823*2^796719-1 is not prime. Res64: 7DC154A5C7206E0F Time : 83160.0 sec. user=kar_bon [2011-03-02 18:30:23] 933*2^796719-1 is not prime. Res64: 5DDCBECE3ABCE8DE Time : 83159.0 sec. user=kar_bon [2011-03-02 18:30:24] 847*2^796713-1 is not prime. Res64: B7EED7040A5BC0F2 Time : 83162.0 sec. user=kar_bon [2011-03-02 18:30:24] 843*2^796716-1 is not prime. Res64: 846D2DBD7979760B Time : 83161.0 sec. user=kar_bon [2011-03-02 18:30:25] 975*2^796719-1 is not prime. Res64: 5DC42B932C595D88 Time : 83161.0 sec. user=kar_bon [2011-03-02 18:30:26] 855*2^796720-1 is not prime. Res64: A3CE3C435B697A4B Time : 83162.0 sec. user=kar_bon [2011-03-02 18:30:26] 891*2^796714-1 is not prime. Res64: 7721D0BF6A4B1375 Time : 83164.0 sec. user=kar_bon [2011-03-02 18:30:27] 849*2^796717-1 is not prime. Res64: DF7C6FA592FEE7BA Time : 83164.0 sec. user=kar_bon [2011-03-02 18:30:27] 887*2^796720-1 is not prime. Res64: ECD7994CC81D4856 Time : 83163.0 sec. user=kar_bon [2011-03-02 18:30:27] 865*2^796721-1 is not prime. Res64: DDD5B555D7711489 Time : 83163.0 sec. user=kar_bon [2011-03-02 18:30:28] 991*2^796715-1 is not prime. Res64: F5B37E5D7350564E Time : 83166.0 sec. user=kar_bon [2011-03-02 18:30:28] 893*2^796718-1 is not prime. Res64: 8FB9374B6848EDCE Time : 83165.0 sec. user=kar_bon [2011-03-02 18:30:29] 981*2^796721-1 is not prime. Res64: BAC513394D4B74C8 Time : 83164.0 sec. user=kar_bon [2011-03-02 18:30:29] 849*2^796723-1 is not prime. Res64: C28A1CFDA83D219E Time : 83164.0 sec. user=kar_bon [2011-03-02 18:30:29] 835*2^796717-1 is not prime. Res64: 6EC364FE4618AD71 Time : 83166.0 sec. user=kar_bon [2011-03-02 18:30:30] 919*2^796719-1 is not prime. Res64: 6CDEDA4726902A92 Time : 83166.0 sec. user=kar_bon [2011-03-02 18:30:30] 853*2^796723-1 is not prime. Res64: 968B5D4A715454D9 Time : 83165.0 sec. user=kar_bon [2011-03-02 18:30:31] 897*2^796724-1 is not prime. Res64: E763C2CA189769D9 Time : 83166.0 sec. user=kar_bon [2011-03-02 18:30:31] 825*2^796718-1 is not prime. Res64: F8DFAF5109266BB3 Time : 83168.0 sec. user=kar_bon [2011-03-02 18:30:32] 845*2^796720-1 is not prime. Res64: 9D6E751BA50FF3A9 Time : 83168.0 sec. user=kar_bon [2011-03-02 18:30:32] 923*2^796724-1 is not prime. Res64: 560010ABFE4FAAD1 Time : 83167.0 sec. user=kar_bon [2011-03-02 18:30:33] 817*2^796725-1 is not prime. Res64: A21E203130754198 Time : 83167.0 sec. user=kar_bon [2011-03-02 18:30:33] 853*2^796719-1 is not prime. Res64: DA1B8F9253AD99D3 Time : 83169.0 sec. user=kar_bon [2011-03-02 18:30:33] 895*2^796725-1 is not prime. Res64: 3EF9E92AEE1A9B41 Time : 83167.0 sec. user=kar_bon [2011-03-02 18:30:34] 939*2^796720-1 is not prime. Res64: 66F468600DF7DCD5 Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:35] 997*2^796725-1 is not prime. Res64: E608D5659A5B9E78 Time : 83169.0 sec. user=kar_bon [2011-03-02 18:30:35] 999*2^796719-1 is not prime. Res64: 0DF4E2CC6CBB5DE7 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:35] 987*2^796726-1 is not prime. Res64: 23A62E70944A4E20 Time : 83169.0 sec. user=kar_bon [2011-03-02 18:30:36] 819*2^796723-1 is not prime. Res64: 4AA1866843CE4D7B Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:36] 993*2^796727-1 is not prime. Res64: 01D06D9091119117 Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:37] 927*2^796720-1 is not prime. Res64: AD3C967C00612446 Time : 83173.0 sec. user=kar_bon [2011-03-02 18:30:37] 999*2^796723-1 is not prime. Res64: D322C7A5E37CBA74 Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:38] 975*2^796728-1 is not prime. Res64: 023029391793D52B Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:38] 945*2^796722-1 is not prime. Res64: AF6E0C0226F4A6AC Time : 83173.0 sec. user=kar_bon [2011-03-02 18:30:38] 805*2^796725-1 is not prime. Res64: 2A64941C2F7FE4EC Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:38] 887*2^796730-1 is not prime. Res64: 0C5F38015C121ED7 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:38] 859*2^796723-1 is not prime. Res64: E0A8EF976A34B27B Time : 83173.0 sec. user=kar_bon [2011-03-02 18:30:38] 961*2^796725-1 is not prime. Res64: CFD08E9CBB0AB5AE Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:38] 971*2^796730-1 is not prime. Res64: D162D34D9D0C3F56 Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:38] 935*2^796724-1 is not prime. Res64: 0F9803CDA5C30770 Time : 83173.0 sec. user=kar_bon [2011-03-02 18:30:38] 973*2^796727-1 is not prime. Res64: 52F8B8F87B780505 Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:39] 879*2^796731-1 is not prime. Res64: E6B1F3B4611F3976 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:39] 915*2^796725-1 is not prime. Res64: D821583174CC43F3 Time : 83173.0 sec. user=kar_bon [2011-03-02 18:30:39] 845*2^796728-1 is not prime. Res64: 6013151CACE528B9 Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:39] 819*2^796732-1 is not prime. Res64: C98F56AD386704FE Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:39] 865*2^796727-1 is not prime. Res64: EB5BAE84EB34C784 Time : 83173.0 sec. user=kar_bon [2011-03-02 18:30:39] 979*2^796729-1 is not prime. Res64: 503D8C71126550BC Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:39] 959*2^796732-1 is not prime. Res64: 8B35F3C0D96B9D03 Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:39] 803*2^796728-1 is not prime. Res64: 357EE0CB26FEBF9B Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:39] 923*2^796730-1 is not prime. Res64: A3F58F7A54820223 Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:39] 925*2^796733-1 is not prime. Res64: D5F4F72C4CF53409 Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:39] 931*2^796729-1 is not prime. Res64: E5188DA92ACE61D2 Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:39] 835*2^796731-1 is not prime. Res64: 0BF826DED97DB48D Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:40] 917*2^796730-1 is not prime. Res64: 7C4103BCF316CC3B Time : 83173.0 sec. user=kar_bon [2011-03-02 18:30:40] 813*2^796732-1 is not prime. Res64: A71E9AFD184A9D09 Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:40] 819*2^796731-1 is not prime. Res64: 979927A4A3731345 Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:40] 939*2^796732-1 is not prime. Res64: 69D93FE72D5B444D Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:40] 803*2^796732-1 is not prime. Res64: 8DF44443195BD07A Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:40] 915*2^796733-1 is not prime. Res64: 971F84DE3B5E32D6 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:40] 833*2^796732-1 is not prime. Res64: 83E76577FD38154A Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:40] 825*2^796734-1 is not prime. Res64: 007F108168CE20DF Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:40] 811*2^796733-1 is not prime. Res64: 14117EE5F03980F1 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:41] 965*2^796734-1 is not prime. Res64: 86EFD10959B208E8 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:41] 985*2^796733-1 is not prime. Res64: 47F08FAECAF816B2 Time : 83172.0 sec. user=kar_bon [2011-03-02 18:30:41] 859*2^796735-1 is not prime. Res64: 664E45DD58680179 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:41] 833*2^796734-1 is not prime. Res64: 26669484F6D1DDC6 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:41] 969*2^796735-1 is not prime. Res64: E9C170D1846B7FC1 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:41] 1001*2^796734-1 is not prime. Res64: CCBC9E1F3B617FB9 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:41] 923*2^796736-1 is not prime. Res64: 886F5A08CD1A6255 Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:41] 889*2^796735-1 is not prime. Res64: 5EBC5585D9F4F6D7 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:41] 991*2^796737-1 is not prime. Res64: F4D2559113BD6B0E Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:42] 843*2^796736-1 is not prime. Res64: 7377BE44A2D1C459 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:42] 843*2^796738-1 is not prime. Res64: DC0E1226995FEE80 Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:42] 935*2^796736-1 is not prime. Res64: C020F4B05DBEFEB6 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:42] 815*2^796738-1 is not prime. Res64: F114840E183DF82A Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:42] 1001*2^796738-1 is not prime. Res64: 561A41D04BDC34E9 Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:43] 811*2^796739-1 is not prime. Res64: AA1CEFE434B53A47 Time : 83171.0 sec. user=kar_bon [2011-03-02 18:30:43] 861*2^796739-1 is not prime. Res64: C9588F67745DF988 Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:43] 913*2^796739-1 is not prime. Res64: F71A07425E260D29 Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:43] 921*2^796739-1 is not prime. Res64: BEA53297DCED2E5E Time : 83170.0 sec. user=kar_bon [2011-03-02 18:30:43] 825*2^796740-1 is not prime. Res64: AD38C7332D2BA35D Time : 83169.0 sec. user=ototero [2011-03-02 19:31:09] 987*2^796921-1 is not prime. Res64: FD51A58600A782F5 Time : 11686.0 sec. user=ototero [2011-03-02 19:31:09] 837*2^796922-1 is not prime. Res64: 5FDC4FC1344BF24A Time : 11686.0 sec. user=ototero [2011-03-02 19:31:09] 873*2^796922-1 is not prime. Res64: 2187922B6B5AB0E8 Time : 11685.0 sec. user=ototero [2011-03-02 19:31:09] 935*2^796922-1 is not prime. Res64: 18ADEFF8A293FFC3 Time : 11685.0 sec. user=ototero [2011-03-02 19:31:10] 953*2^796922-1 is not prime. Res64: 88A43DC8484B2DC7 Time : 11686.0 sec. user=ototero [2011-03-02 19:31:10] 977*2^796922-1 is not prime. Res64: E3AD884A65785A73 Time : 11685.0 sec. user=ototero [2011-03-02 19:31:10] 801*2^796923-1 is not prime. Res64: DDD8B46A5A73A2BF Time : 11685.0 sec. user=ototero [2011-03-02 19:31:10] 901*2^796923-1 is not prime. Res64: 144013254F4E9650 Time : 11685.0 sec. user=ototero [2011-03-02 19:31:10] 969*2^796923-1 is not prime. Res64: 3D64F5023EF20789 Time : 11684.0 sec. user=ototero [2011-03-02 19:31:10] 813*2^796924-1 is not prime. Res64: 3773B3094E98DE42 Time : 11684.0 sec. user=kar_bon [2011-03-02 19:52:11] 867*2^796741-1 is not prime. Res64: 7F51BC7BC379AAB5 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:13] 871*2^796741-1 is not prime. Res64: 5FF95036AB9C4F49 Time : 87795.0 sec. user=kar_bon [2011-03-02 19:52:13] 877*2^796741-1 is not prime. Res64: 421331DBB041BE8A Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:13] 979*2^796741-1 is not prime. Res64: 29DBA760E6128BA9 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:14] 999*2^796741-1 is not prime. Res64: B587161957C79A76 Time : 87795.0 sec. user=kar_bon [2011-03-02 19:52:14] 833*2^796742-1 is not prime. Res64: F646D82AFA2A607F Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:14] 981*2^796742-1 is not prime. Res64: AAC7E82F2488B733 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:14] 805*2^796743-1 is not prime. Res64: D5AC2CB84A4395B9 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:15] 871*2^796743-1 is not prime. Res64: 978CA31762A4E00B Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:15] 819*2^796743-1 is not prime. Res64: 6A530E6E9EE126E2 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:15] 955*2^796743-1 is not prime. Res64: AC4B405725C0B12F Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:16] 901*2^796743-1 is not prime. Res64: 424502DA39934DAC Time : 87795.0 sec. user=kar_bon [2011-03-02 19:52:16] 843*2^796744-1 is not prime. Res64: AA33C75E121AB8F8 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:16] 991*2^796743-1 is not prime. Res64: E22F760DA1FC8453 Time : 87795.0 sec. user=kar_bon [2011-03-02 19:52:16] 915*2^796744-1 is not prime. Res64: AE50699B9565B6E9 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:16] 873*2^796744-1 is not prime. Res64: 4E545C9D6FC34088 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:16] 983*2^796744-1 is not prime. Res64: DC281E30553A2E46 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:16] 965*2^796744-1 is not prime. Res64: 3CF0FDB1008A103D Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:16] 951*2^796745-1 is not prime. Res64: 11AC1C58A30C0EC4 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:16] 989*2^796744-1 is not prime. Res64: D36F78F14D7492C6 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:16] 803*2^796746-1 is not prime. Res64: 4B4A820BDE4FE7A3 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:17] 955*2^796745-1 is not prime. Res64: 0230A15FB453D3B6 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:17] 971*2^796746-1 is not prime. Res64: A88786175643A6FB Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:17] 873*2^796746-1 is not prime. Res64: 5E6C1404CA71ED3D Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:17] 855*2^796748-1 is not prime. Res64: C5B9F88FC58BD533 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:17] 975*2^796746-1 is not prime. Res64: F16A8223683C09EC Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:17] 975*2^796749-1 is not prime. Res64: 71573C27762D74F0 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:17] 977*2^796748-1 is not prime. Res64: 30D08C39960C5432 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:17] 843*2^796750-1 is not prime. Res64: AC66A5F5263DEB27 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:18] 979*2^796749-1 is not prime. Res64: BF4CACFEA2108C8F Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:18] 981*2^796750-1 is not prime. Res64: C63C094F0CBE1F0A Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:18] 857*2^796750-1 is not prime. Res64: 32699281D1279BEB Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:18] 947*2^796746-1 is not prime. Res64: 9B39D63521262134 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:18] 843*2^796752-1 is not prime. Res64: AD708A24B25FD676 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:18] 859*2^796751-1 is not prime. Res64: 030C8356109971B0 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:18] 1001*2^796746-1 is not prime. Res64: A7791606366AB381 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:18] 915*2^796753-1 is not prime. Res64: BCDB566E0AE9AFD4 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:18] 915*2^796752-1 is not prime. Res64: 05847A8C067A303C Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:18] 889*2^796749-1 is not prime. Res64: 0EE7C8476E0178B3 Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:18] 987*2^796753-1 is not prime. Res64: 89A5753E27113557 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:18] 945*2^796753-1 is not prime. Res64: 907239FE97A01FC3 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:18] 813*2^796750-1 is not prime. Res64: 621F2BA45836B2FC Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:19] 813*2^796756-1 is not prime. Res64: BD3B03B5F3584850 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:19] 951*2^796755-1 is not prime. Res64: CA3D358C89C53D3C Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:19] 915*2^796750-1 is not prime. Res64: 3F5EED0D9800A63E Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:19] 889*2^796757-1 is not prime. Res64: EEC21A74477976D6 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:19] 905*2^796756-1 is not prime. Res64: A64FA23427DD9925 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:19] 979*2^796751-1 is not prime. Res64: DBEBE8CA6913F54E Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:19] 971*2^796758-1 is not prime. Res64: 8B5D9BAD89B977D6 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:19] 927*2^796757-1 is not prime. Res64: 8F7FDD04EAEE4D3E Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:19] 947*2^796752-1 is not prime. Res64: F90C3B2825EB9E84 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:19] 993*2^796759-1 is not prime. Res64: 8AD82A091D268CF8 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:19] 951*2^796759-1 is not prime. Res64: 58D0A1774FBA96E9 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:19] 985*2^796753-1 is not prime. Res64: AF343E58F85F64E7 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:19] 811*2^796761-1 is not prime. Res64: 2518046FE4E0ACDF Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:20] 917*2^796760-1 is not prime. Res64: DD275632A26679F9 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:20] 963*2^796755-1 is not prime. Res64: 510AA4A05A134519 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:20] 909*2^796761-1 is not prime. Res64: 4A6666D5E50596A1 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:20] 861*2^796761-1 is not prime. Res64: 3FA20E05A86EDBE1 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:20] 867*2^796757-1 is not prime. Res64: CA32CE6852B17840 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:20] 833*2^796762-1 is not prime. Res64: E59FF88DEEA6618E Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:20] 997*2^796761-1 is not prime. Res64: C6E5792077C0E56D Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:20] 963*2^796758-1 is not prime. Res64: EACFB1D2ADA322E2 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:20] 995*2^796762-1 is not prime. Res64: 9196B3332C7E9C73 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:20] 873*2^796762-1 is not prime. Res64: 7AE0CB86C9E9FB95 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:20] 975*2^796759-1 is not prime. Res64: 00FCAAA5C4252A48 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:20] 927*2^796764-1 is not prime. Res64: 4E9BFA3EE2C2F36B Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:20] 809*2^796764-1 is not prime. Res64: 8D0884B344445C4F Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:21] 915*2^796754-1 is not prime. Res64: C6577D9FCF4BEA1E Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:21] 995*2^796760-1 is not prime. Res64: 1AE2679F61FA9BB5 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:21] 813*2^796766-1 is not prime. Res64: 5392675E34770F4A Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:21] 937*2^796765-1 is not prime. Res64: F629ED9F7AB78249 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:21] 873*2^796756-1 is not prime. Res64: 745FE952413A3E0F Time : 87794.0 sec. user=kar_bon [2011-03-02 19:52:21] 885*2^796761-1 is not prime. Res64: 5A566723FFE0986C Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:21] 987*2^796766-1 is not prime. Res64: D439951D257B30EB Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:21] 857*2^796766-1 is not prime. Res64: 1B1E32DD45BF0278 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:21] 925*2^796757-1 is not prime. Res64: CFAC0931A636DEB6 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:21] 821*2^796762-1 is not prime. Res64: 3FC9EF6EA0100B92 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:21] 803*2^796768-1 is not prime. Res64: E0CC1407F871C9A9 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:21] 919*2^796767-1 is not prime. Res64: 323B2A6A7480714E Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:21] 919*2^796759-1 is not prime. Res64: 6A34F49A21538687 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:21] 975*2^796762-1 is not prime. Res64: 7EFE94EA4C80F8EF Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:21] 975*2^796768-1 is not prime. Res64: AAFAB3E3AC0113C0 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:21] 839*2^796768-1 is not prime. Res64: 9B77E6123D24D6E2 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:21] 857*2^796760-1 is not prime. Res64: 24BF4E3CA347F983 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:22] 825*2^796764-1 is not prime. Res64: 53E3105BFB9478D6 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:22] 889*2^796769-1 is not prime. Res64: 76FDCF66CA55A9DA Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:22] 855*2^796769-1 is not prime. Res64: B7F6D390E647FC2E Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:22] 837*2^796761-1 is not prime. Res64: B08AAAC9B242F7F3 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:22] 999*2^796765-1 is not prime. Res64: 282CF5A47768557F Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:22] 923*2^796770-1 is not prime. Res64: 430978E0446B32BF Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:22] 893*2^796770-1 is not prime. Res64: 3BEA8ED9AE272D6E Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:22] 937*2^796761-1 is not prime. Res64: 11883DF0FD7B393F Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:22] 981*2^796766-1 is not prime. Res64: B1BBDB4FBC770116 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:22] 923*2^796772-1 is not prime. Res64: 146EC1334D3584F6 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:22] 901*2^796771-1 is not prime. Res64: F39387AB48735F32 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:22] 867*2^796762-1 is not prime. Res64: 14F8B99D7EF87616 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:22] 963*2^796767-1 is not prime. Res64: BE3F7686222A0D05 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:22] 821*2^796774-1 is not prime. Res64: 9E5E85E832AE350F Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:22] 871*2^796773-1 is not prime. Res64: F050A46929ABC8CE Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:22] 999*2^796763-1 is not prime. Res64: BB6573272B2B4195 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:23] 843*2^796768-1 is not prime. Res64: C1A9F88B03B0CE26 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:23] 947*2^796774-1 is not prime. Res64: A281E77AF5BDD8D4 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:23] 885*2^796774-1 is not prime. Res64: 2846C7B8273E650D Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:23] 929*2^796764-1 is not prime. Res64: 8EFCEBF73F734438 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:23] 879*2^796769-1 is not prime. Res64: 998CC843818C1309 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:23] 845*2^796776-1 is not prime. Res64: EA40CBDACFC99F65 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:23] 839*2^796776-1 is not prime. Res64: C80CDF82F069FD72 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:23] 825*2^796766-1 is not prime. Res64: D6DBE531BDFBA793 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:23] 905*2^796770-1 is not prime. Res64: 6DFCCE8185B952E8 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:24] 915*2^796777-1 is not prime. Res64: 863ABC995FC3D432 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:24] 885*2^796777-1 is not prime. Res64: 685D9EB8B17ECC4B Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:24] 805*2^796767-1 is not prime. Res64: 8CC36D30D112C2E0 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:24] 885*2^796772-1 is not prime. Res64: 5515352D15B0FE56 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:24] 911*2^796778-1 is not prime. Res64: 063AD255270433D9 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:24] 827*2^796778-1 is not prime. Res64: F0B7292BAC0D64D2 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:24] 825*2^796768-1 is not prime. Res64: 898C1D99133F1C04 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:24] 889*2^796773-1 is not prime. Res64: FF726E0A703A248A Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:24] 999*2^796779-1 is not prime. Res64: BD13D726636E6617 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:24] 895*2^796779-1 is not prime. Res64: 923E6E8016EAF526 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:24] 847*2^796769-1 is not prime. Res64: C2AEBB3BBA96A819 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:24] 917*2^796774-1 is not prime. Res64: B1AB908E27C335B2 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:24] 987*2^796780-1 is not prime. Res64: CF7BFBDA1B47FF1E Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:24] 905*2^796780-1 is not prime. Res64: F74B3D46659F5E2D Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:24] 851*2^796770-1 is not prime. Res64: 83732C0AD4D64978 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:24] 855*2^796775-1 is not prime. Res64: 39DF76E033547465 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:25] 949*2^796781-1 is not prime. Res64: D4089467E6118FC6 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:25] 927*2^796781-1 is not prime. Res64: CF582FBFAA39030A Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:25] 927*2^796770-1 is not prime. Res64: 1BAB235ABD9B0185 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:25] 875*2^796776-1 is not prime. Res64: 0A480583769BA189 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:25] 943*2^796783-1 is not prime. Res64: 372B4B73EC299993 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:26] 983*2^796782-1 is not prime. Res64: 2C285577ABD354C1 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:26] 935*2^796772-1 is not prime. Res64: A5562F0EBB94787E Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:26] 813*2^796778-1 is not prime. Res64: BE4BE68BC255F41A Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:26] 847*2^796785-1 is not prime. Res64: 6011BE260F1C4C1E Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:26] 983*2^796784-1 is not prime. Res64: CB81B5D13077B8F7 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:26] 945*2^796778-1 is not prime. Res64: FE62F00A58172814 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:26] 825*2^796774-1 is not prime. Res64: 1F0413E583E8817A Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:26] 973*2^796787-1 is not prime. Res64: C04A93DBCDF7435D Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:26] 931*2^796787-1 is not prime. Res64: 9FFE03DA68F3FD4E Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:26] 897*2^796780-1 is not prime. Res64: 7A49709F837C67D1 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:26] 831*2^796775-1 is not prime. Res64: 3E94406B8874C8A4 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:26] 975*2^796788-1 is not prime. Res64: 47F59BEC56F7C8BB Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:26] 927*2^796788-1 is not prime. Res64: 9265704148DEEAFC Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:27] 879*2^796781-1 is not prime. Res64: E43205C9B44D1F51 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:27] 873*2^796776-1 is not prime. Res64: 96609F40FE1B02F9 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:27] 861*2^796789-1 is not prime. Res64: 95F11C48F42935E2 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:27] 855*2^796789-1 is not prime. Res64: 44E4C6EAF5E22574 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:27] 945*2^796782-1 is not prime. Res64: BE7895FCB9B4A547 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:27] 937*2^796777-1 is not prime. Res64: 6619274F57967080 Time : 87793.0 sec. user=kar_bon [2011-03-02 19:52:27] 997*2^796789-1 is not prime. Res64: 4ADF67BA09A6A037 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:27] 987*2^796789-1 is not prime. Res64: 08F481F763B387FD Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:27] 999*2^796783-1 is not prime. Res64: EE0E5D6FC4756E82 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:27] 935*2^796778-1 is not prime. Res64: 737BE0BDA520F29B Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:27] 897*2^796790-1 is not prime. Res64: 6FC21AB20FA523FE Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:27] 893*2^796790-1 is not prime. Res64: A77EDE798D4854A5 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:27] 923*2^796786-1 is not prime. Res64: 2615E2127ACCA65C Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:27] 813*2^796780-1 is not prime. Res64: AB02B126D00A8EC8 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:27] 825*2^796791-1 is not prime. Res64: 53369128259BC060 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:27] 977*2^796790-1 is not prime. Res64: 0887D59883F145EB Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:27] 845*2^796788-1 is not prime. Res64: FB36F3065D3DB34A Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:27] 829*2^796781-1 is not prime. Res64: DE38E4869849D7D1 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:28] 949*2^796791-1 is not prime. Res64: 21E1214C2AA44CB5 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:28] 909*2^796791-1 is not prime. Res64: E9712DB0A6ECF867 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:28] 829*2^796789-1 is not prime. Res64: 296A729C5D2F321D Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:28] 981*2^796781-1 is not prime. Res64: 81086CA71E606F5F Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:28] 875*2^796792-1 is not prime. Res64: 81D8AC5BB1D46BD5 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:28] 803*2^796792-1 is not prime. Res64: 30B361C7A797BE6B Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:28] 961*2^796789-1 is not prime. Res64: 4D77333475B459CD Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:28] 973*2^796783-1 is not prime. Res64: 3D23CCC96C992D18 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:28] 837*2^796793-1 is not prime. Res64: 1715D94D003CFBA1 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:28] 843*2^796790-1 is not prime. Res64: B40B546C60B94A41 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:28] 861*2^796785-1 is not prime. Res64: C9126026656E16AE Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:28] 927*2^796794-1 is not prime. Res64: 66C2290359222F9D Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:29] 957*2^796790-1 is not prime. Res64: 71297EBF24454EE1 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:29] 809*2^796788-1 is not prime. Res64: ACBF34751BB23746 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:29] 805*2^796795-1 is not prime. Res64: C1C9EE7686F51795 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:29] 885*2^796791-1 is not prime. Res64: 3CCDF777BBB42CEB Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:29] 801*2^796789-1 is not prime. Res64: 94EB3591B82CD0F9 Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:29] 825*2^796796-1 is not prime. Res64: 43D70A5E9373D189 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:29] 991*2^796791-1 is not prime. Res64: D5BB2C56F273ABDA Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:29] 897*2^796789-1 is not prime. Res64: 36EF4B8B8944B2F0 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:29] 909*2^796796-1 is not prime. Res64: 7E9F75896E481DF1 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:29] 811*2^796793-1 is not prime. Res64: 84EE88FC729122E4 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:30] 993*2^796796-1 is not prime. Res64: 2714DAEE086A3C1E Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:30] 833*2^796790-1 is not prime. Res64: A46BF9A1251966AD Time : 87792.0 sec. user=kar_bon [2011-03-02 19:52:30] 887*2^796794-1 is not prime. Res64: 0BD6ACEAF8859313 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:30] 861*2^796797-1 is not prime. Res64: 2F2496E228272301 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:30] 945*2^796790-1 is not prime. Res64: AC0980D5D133E3D2 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:30] 945*2^796794-1 is not prime. Res64: ECB358BFC9F54D71 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:30] 821*2^796798-1 is not prime. Res64: FBAFBA920074C96F Time : 87787.0 sec. user=kar_bon [2011-03-02 19:52:30] 859*2^796791-1 is not prime. Res64: 1297299B7C1C6630 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:30] 841*2^796795-1 is not prime. Res64: 8009018868DF3901 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:30] 955*2^796791-1 is not prime. Res64: B4E86887A8E0F79B Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:30] 855*2^796796-1 is not prime. Res64: 6CD25DE6778B2E41 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:30] 999*2^796792-1 is not prime. Res64: 2FAA1E84C5C631F8 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:31] 927*2^796796-1 is not prime. Res64: 758529F9AD91C034 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:31] 939*2^796793-1 is not prime. Res64: F8DBF99D47811DC6 Time : 87791.0 sec. user=kar_bon [2011-03-02 19:52:31] 999*2^796796-1 is not prime. Res64: A620DDEB4FFEA3A5 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:31] 971*2^796794-1 is not prime. Res64: 23737E43299A05B4 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:31] 919*2^796797-1 is not prime. Res64: AB85CEA85DBC3E9F Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:31] 943*2^796795-1 is not prime. Res64: 2BCC65DFAEF46599 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:31] 911*2^796798-1 is not prime. Res64: 70D449729B885149 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:31] 897*2^796796-1 is not prime. Res64: 1D69897EF571CF1C Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:31] 993*2^796798-1 is not prime. Res64: 3EEAC782547A822C Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:32] 953*2^796796-1 is not prime. Res64: E2319B545AE41C33 Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:32] 865*2^796799-1 is not prime. Res64: 5E208E31962F6873 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:32] 837*2^796797-1 is not prime. Res64: B76410C6A90DE6DC Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:32] 913*2^796799-1 is not prime. Res64: C62A7B3342C30D1E Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:32] 997*2^796797-1 is not prime. Res64: 380D0B31551526DA Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:32] 873*2^796800-1 is not prime. Res64: 46EF12BDA739CA6F Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:33] 981*2^796798-1 is not prime. Res64: C82BF853210F6F4B Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:33] 975*2^796800-1 is not prime. Res64: 68C44DB04E806CAC Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:33] 861*2^796799-1 is not prime. Res64: C3C2F61D5091384A Time : 87790.0 sec. user=kar_bon [2011-03-02 19:52:33] 945*2^796801-1 is not prime. Res64: 3D6F15768EC2A7F1 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:33] 883*2^796799-1 is not prime. Res64: 1A57306156E63F00 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:33] 857*2^796800-1 is not prime. Res64: 0BD4EB1DB980D51B Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:33] 927*2^796800-1 is not prime. Res64: 2559EDFDA05BF1F9 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:34] 889*2^796801-1 is not prime. Res64: 07DD42D14E60105D Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:34] 979*2^796801-1 is not prime. Res64: F2C3606889A2F00F Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:34] 987*2^796801-1 is not prime. Res64: F4915AA8C83DEF01 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:34] 953*2^796802-1 is not prime. Res64: E30E89DEA9DA2C98 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:35] 1001*2^796802-1 is not prime. Res64: 938198099B94D274 Time : 87789.0 sec. user=kar_bon [2011-03-02 19:52:35] 887*2^796804-1 is not prime. Res64: A9DB0033FCD05B91 Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:35] 965*2^796804-1 is not prime. Res64: 0B27AE28FDA7239B Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:35] 801*2^796805-1 is not prime. Res64: 1D519D2555E56DCE Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:36] 837*2^796805-1 is not prime. Res64: C8ECE5276E64DA6B Time : 87788.0 sec. user=kar_bon [2011-03-02 19:52:36] 865*2^796805-1 is not prime. Res64: 5117F1A5398045E4 Time : 87788.0 sec. user=vaughan [2011-03-02 20:29:32] 887*2^796924-1 is not prime. Res64: C38DF55341528A0C Time : 9662.0 sec. user=ototero [2011-03-02 22:46:08] 855*2^797083-1 is not prime. Res64: 308C9FB7DF36EC7F Time : 11697.0 sec. user=ototero [2011-03-02 22:46:08] 873*2^797083-1 is not prime. Res64: E2FF21B70B8A270A Time : 11697.0 sec. user=ototero [2011-03-02 22:46:08] 943*2^797083-1 is not prime. Res64: BCC4CA6FAB381992 Time : 11697.0 sec. user=ototero [2011-03-02 22:46:09] 827*2^797084-1 is not prime. Res64: 214643E66AEF0357 Time : 11697.0 sec. user=ototero [2011-03-02 22:46:09] 843*2^797084-1 is not prime. Res64: C32E026EA0D53E9A Time : 11697.0 sec. user=ototero [2011-03-02 22:46:09] 869*2^797084-1 is not prime. Res64: 0955C1EAC9493C9B Time : 11697.0 sec. user=ototero [2011-03-02 22:46:09] 897*2^797084-1 is not prime. Res64: 597C04A88F2366F8 Time : 11696.0 sec. user=ototero [2011-03-02 22:46:09] 983*2^797084-1 is not prime. Res64: 803194F3DCDB577C Time : 11696.0 sec. user=ototero [2011-03-02 22:46:09] 817*2^797085-1 is not prime. Res64: E0BFF31AA8E9FBDB Time : 11696.0 sec. user=ototero [2011-03-02 22:46:10] 821*2^797086-1 is not prime. Res64: 46D6D3ABA6E9F35B Time : 11697.0 sec. user=vaughan [2011-03-02 23:10:09] 949*2^797151-1 is not prime. Res64: 59775B8F8AF199B2 Time : 9637.0 sec.