user=gd_barnes
[2009-10-09 00:00:15]
723*2^715612-1 is not prime.  Res64: F529FB9535100CEF  Time : 3417.0 sec.
user=vaughan
[2009-10-09 00:01:25]
689*2^715632-1 is not prime.  Res64: F458B056C34FDAC3  Time : 766.0 sec.
user=kar_bon
[2009-10-09 00:01:41]
615*2^715382-1 is not prime.  Res64: 085B3B8575EB451C  Time : 38266.0 sec.
user=kar_bon
[2009-10-09 00:01:51]
683*2^715394-1 is not prime.  Res64: 148E3C33854D02FD  Time : 35126.0 sec.
user=gd_barnes
[2009-10-09 00:02:32]
735*2^714570-1 is not prime.  Res64: D2ECEAB6391332E3  Time : 3433.0 sec.
user=kar_bon
[2009-10-09 00:05:05]
709*2^715395-1 is not prime.  Res64: 048C8FDA189AB8E8  Time : 35127.0 sec.
user=gd_barnes
[2009-10-09 00:05:11]
755*2^715612-1 is not prime.  Res64: DBA50182E40F994E  Time : 3420.0 sec.
user=vaughan
[2009-10-09 00:08:31]
687*2^715634-1 is not prime.  Res64: 070F9DAFFCCF2B14  Time : 806.0 sec.
user=gd_barnes
[2009-10-09 00:09:31]
615*2^715613-1 is not prime.  Res64: 0DA3A75E2609DE84  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 00:10:33]
749*2^715396-1 is not prime.  Res64: 36858E00BEB8D502  Time : 35119.0 sec.
user=gd_barnes
[2009-10-09 00:11:38]
771*2^715613-1 is not prime.  Res64: 79A08FDAF98B6229  Time : 3416.0 sec.
user=vaughan
[2009-10-09 00:12:55]
619*2^715635-1 is not prime.  Res64: FCA4330693D9C1DB  Time : 867.0 sec.
user=kar_bon
[2009-10-09 00:13:06]
747*2^715386-1 is not prime.  Res64: D36B3325E7CB85B7  Time : 37881.0 sec.
user=kar_bon
[2009-10-09 00:13:17]
615*2^715397-1 is not prime.  Res64: 22773ED67CC2D6C2  Time : 35128.0 sec.
user=gd_barnes
[2009-10-09 00:13:57]
663*2^714584-1 is not prime.  Res64: 427D00FBB04D985C  Time : 3432.0 sec.
user=vaughan
[2009-10-09 00:14:03]
753*2^715635-1 is not prime.  Res64: C4153C55927ACF13  Time : 758.0 sec.
user=vaughan
[2009-10-09 00:14:17]
771*2^715633-1 is not prime.  Res64: 47EA170BEBB95A8B  Time : 1203.0 sec.
user=kar_bon
[2009-10-09 00:16:30]
663*2^715398-1 is not prime.  Res64: 2DCFA96042E26E48  Time : 35123.0 sec.
user=gd_barnes
[2009-10-09 00:16:35]
747*2^715614-1 is not prime.  Res64: D26BBD905BB86B56  Time : 3419.0 sec.
user=vaughan
[2009-10-09 00:17:17]
625*2^715633-1 is not prime.  Res64: 28CC8B758C7AF38F  Time : 1670.0 sec.
user=gd_barnes
[2009-10-09 00:20:54]
625*2^715621-1 is not prime.  Res64: C4CC195C880B4A83  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 00:21:57]
717*2^715470-1 is not prime.  Res64: 048D34AB847DF8F4  Time : 35117.0 sec.
user=vaughan
[2009-10-09 00:22:18]
773*2^715636-1 is not prime.  Res64: 4CFDAEB440CC3269  Time : 827.0 sec.
user=gd_barnes
[2009-10-09 00:23:02]
663*2^715627-1 is not prime.  Res64: 9C6FE69B01AE3F2A  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 00:24:31]
769*2^714459-1 is not prime.  Res64: 69946A3AF33221D1  Time : 37554.0 sec.
user=kar_bon
[2009-10-09 00:24:43]
603*2^715496-1 is not prime.  Res64: CC2F7EEFEF5F4C7D  Time : 35129.0 sec.
user=gd_barnes
[2009-10-09 00:25:23]
663*2^714588-1 is not prime.  Res64: F86AFB9BC73773FA  Time : 3431.0 sec.
user=vaughan
[2009-10-09 00:26:55]
603*2^715639-1 is not prime.  Res64: C2E53FB520EEC4F3  Time : 772.0 sec.
user=kar_bon
[2009-10-09 00:27:57]
705*2^715633-1 is not prime.  Res64: 294FB61D971D3950  Time : 2057.0 sec.
user=gd_barnes
[2009-10-09 00:27:59]
663*2^715628-1 is not prime.  Res64: BE2054FBFA784865  Time : 3420.0 sec.
user=vaughan
[2009-10-09 00:28:40]
605*2^715638-1 is not prime.  Res64: AE809AB48D5E8884  Time : 945.0 sec.
user=vaughan
[2009-10-09 00:31:24]
603*2^715640-1 is not prime.  Res64: 959A67CE36FC154C  Time : 1027.0 sec.
user=gd_barnes
[2009-10-09 00:32:18]
665*2^715628-1 is not prime.  Res64: 73225CC5581BB16E  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 00:33:22]
679*2^715635-1 is not prime.  Res64: 1B917B6C033D46D1  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 00:34:25]
745*2^715629-1 is not prime.  Res64: BDAC1A6A0F02DC56  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 00:35:56]
609*2^715636-1 is not prime.  Res64: B1A620C2A23818E8  Time : 2055.0 sec.
user=vaughan
[2009-10-09 00:36:08]
661*2^715641-1 is not prime.  Res64: 4AEA0A0053937D1A  Time : 830.0 sec.
user=kar_bon
[2009-10-09 00:36:09]
657*2^715636-1 is not prime.  Res64: 2DE28535B59635EA  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 00:36:49]
687*2^715630-1 is not prime.  Res64: 301B47FAD6E5B224  Time : 3431.0 sec.
user=gd_barnes
[2009-10-09 00:39:22]
669*2^715631-1 is not prime.  Res64: 374B4B2D409E012F  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 00:39:23]
759*2^715636-1 is not prime.  Res64: B48129F9E0F46B14  Time : 2058.0 sec.
user=vaughan
[2009-10-09 00:39:47]
741*2^715641-1 is not prime.  Res64: FB680766CB09CCF5  Time : 772.0 sec.
user=vaughan
[2009-10-09 00:43:22]
669*2^715640-1 is not prime.  Res64: F97E3B84EA435A6C  Time : 1565.0 sec.
user=gd_barnes
[2009-10-09 00:43:41]
669*2^715632-1 is not prime.  Res64: 9577EA29EC9A55D6  Time : 3418.0 sec.
user=vaughan
[2009-10-09 00:43:55]
671*2^715642-1 is not prime.  Res64: 10D97C51C9AA3901  Time : 915.0 sec.
user=kar_bon
[2009-10-09 00:44:47]
651*2^715637-1 is not prime.  Res64: 983BCF2363F07682  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 00:45:49]
797*2^715632-1 is not prime.  Res64: 024C712966F57D76  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 00:47:22]
665*2^715638-1 is not prime.  Res64: A9B10885C22CD114  Time : 2056.0 sec.
user=kar_bon
[2009-10-09 00:47:34]
765*2^715638-1 is not prime.  Res64: FD2779DC7479BA09  Time : 2057.0 sec.
user=gd_barnes
[2009-10-09 00:48:16]
637*2^715633-1 is not prime.  Res64: 27B29D1A3B3B524C  Time : 3430.0 sec.
user=vaughan
[2009-10-09 00:48:44]
713*2^714606-1 is not prime.  Res64: 9369ADF2CB042CB2  Time : 1041.0 sec.
user=vaughan
[2009-10-09 00:49:25]
789*2^715643-1 is not prime.  Res64: CB008D35FD88550F  Time : 797.0 sec.
user=gd_barnes
[2009-10-09 00:50:46]
635*2^714596-1 is not prime.  Res64: A991213F5DF3BEB4  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 00:50:50]
615*2^715640-1 is not prime.  Res64: 03BCE2B3A4319D5D  Time : 2060.0 sec.
user=vaughan
[2009-10-09 00:52:44]
777*2^715645-1 is not prime.  Res64: A0F439553C11E110  Time : 777.0 sec.
user=gd_barnes
[2009-10-09 00:55:06]
613*2^715635-1 is not prime.  Res64: 63EE8B40B1EF099D  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 00:56:12]
767*2^715640-1 is not prime.  Res64: 7C0930920E05C7BB  Time : 2055.0 sec.
user=gd_barnes
[2009-10-09 00:57:12]
711*2^715635-1 is not prime.  Res64: 77D3FDD7987E9C65  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 00:58:47]
679*2^715641-1 is not prime.  Res64: 2CAC16BD673F2339  Time : 2057.0 sec.
user=kar_bon
[2009-10-09 00:59:00]
681*2^715641-1 is not prime.  Res64: 54F60C40AE917DDF  Time : 2058.0 sec.
user=vaughan
[2009-10-09 00:59:38]
621*2^715647-1 is not prime.  Res64: 3C8415210AC63474  Time : 944.0 sec.
user=gd_barnes
[2009-10-09 00:59:44]
677*2^715636-1 is not prime.  Res64: 8CF778DFCA47E451  Time : 3433.0 sec.
user=gd_barnes
[2009-10-09 01:02:10]
765*2^715636-1 is not prime.  Res64: 2517C001BCB19A22  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 01:02:16]
603*2^715642-1 is not prime.  Res64: 6867081183A8945B  Time : 2060.0 sec.
user=vaughan
[2009-10-09 01:03:22]
729*2^715649-1 is not prime.  Res64: 1A26B384E62AF715  Time : 837.0 sec.
user=vaughan
[2009-10-09 01:05:50]
769*2^715649-1 is not prime.  Res64: 8B8F411551F8E0F0  Time : 786.0 sec.
user=vaughan
[2009-10-09 01:06:26]
727*2^715649-1 is not prime.  Res64: DDD4D4BFC99B4967  Time : 1062.0 sec.
user=gd_barnes
[2009-10-09 01:06:30]
783*2^715636-1 is not prime.  Res64: 7072317E84B7D7F5  Time : 3420.0 sec.
user=kar_bon
[2009-10-09 01:07:36]
609*2^715643-1 is not prime.  Res64: A7B89196DFD178DE  Time : 2055.0 sec.
user=gd_barnes
[2009-10-09 01:08:36]
795*2^715637-1 is not prime.  Res64: 659A282ED229B5BE  Time : 3418.0 sec.
user=vaughan
[2009-10-09 01:10:08]
781*2^714609-1 is not prime.  Res64: A7BCB794015FB3D0  Time : 1606.0 sec.
user=kar_bon
[2009-10-09 01:10:13]
703*2^715643-1 is not prime.  Res64: 24FB705431EED8C3  Time : 2057.0 sec.
user=kar_bon
[2009-10-09 01:10:26]
639*2^715644-1 is not prime.  Res64: 702564CB71D8C233  Time : 2057.0 sec.
user=gd_barnes
[2009-10-09 01:11:10]
777*2^715638-1 is not prime.  Res64: E5D992FC9F48334E  Time : 3433.0 sec.
user=gd_barnes
[2009-10-09 01:13:34]
665*2^715640-1 is not prime.  Res64: 24A08E4AED3351EA  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 01:13:42]
795*2^715644-1 is not prime.  Res64: F396A2B894FEB26E  Time : 2059.0 sec.
user=vaughan
[2009-10-09 01:15:26]
617*2^715652-1 is not prime.  Res64: F223750A5FCF6102  Time : 948.0 sec.
user=vaughan
[2009-10-09 01:17:19]
765*2^715653-1 is not prime.  Res64: F8C2641F73B25CD5  Time : 837.0 sec.
user=gd_barnes
[2009-10-09 01:17:53]
753*2^715640-1 is not prime.  Res64: 34C53B51773A4304  Time : 3419.0 sec.
user=vaughan
[2009-10-09 01:18:55]
635*2^715654-1 is not prime.  Res64: 59CC15CD136BA9FA  Time : 785.0 sec.
user=kar_bon
[2009-10-09 01:19:02]
651*2^715647-1 is not prime.  Res64: F7BF9184B324AD59  Time : 2055.0 sec.
user=gd_barnes
[2009-10-09 01:20:00]
669*2^715641-1 is not prime.  Res64: F61524B4A6AEC792  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 01:21:38]
793*2^715647-1 is not prime.  Res64: B63D4F4CD4180D0F  Time : 2056.0 sec.
user=kar_bon
[2009-10-09 01:21:51]
603*2^715648-1 is not prime.  Res64: A42C13896D4B7D8C  Time : 2057.0 sec.
user=gd_barnes
[2009-10-09 01:22:37]
717*2^715641-1 is not prime.  Res64: 05D64889654D4472  Time : 3434.0 sec.
user=vaughan
[2009-10-09 01:23:57]
705*2^715654-1 is not prime.  Res64: 2B6FB325E8D6A4F5  Time : 1052.0 sec.
user=gd_barnes
[2009-10-09 01:24:58]
617*2^715642-1 is not prime.  Res64: 20ED0954D67D28B5  Time : 3420.0 sec.
user=kar_bon
[2009-10-09 01:25:09]
759*2^715649-1 is not prime.  Res64: 65611561F22DE2AC  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 01:29:17]
701*2^715642-1 is not prime.  Res64: A3C225A16056D002  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 01:30:26]
775*2^715649-1 is not prime.  Res64: F9FDCF6657B7BF82  Time : 2054.0 sec.
user=vaughan
[2009-10-09 01:31:23]
627*2^715656-1 is not prime.  Res64: 0984548B8180D597  Time : 957.0 sec.
user=gd_barnes
[2009-10-09 01:31:24]
699*2^715643-1 is not prime.  Res64: E50C397C37AFE32F  Time : 3419.0 sec.
user=vaughan
[2009-10-09 01:31:27]
669*2^715656-1 is not prime.  Res64: 701ABBA3286645A6  Time : 848.0 sec.
user=vaughan
[2009-10-09 01:31:49]
759*2^714620-1 is not prime.  Res64: 11E6879E2FE6CB09  Time : 774.0 sec.
user=kar_bon
[2009-10-09 01:33:03]
651*2^715650-1 is not prime.  Res64: 17E40FBA75A24814  Time : 2056.0 sec.
user=kar_bon
[2009-10-09 01:33:17]
693*2^715651-1 is not prime.  Res64: 98C80933C46C89E0  Time : 2057.0 sec.
user=gd_barnes
[2009-10-09 01:34:03]
675*2^715644-1 is not prime.  Res64: 875092ECA04CF006  Time : 3434.0 sec.
user=gd_barnes
[2009-10-09 01:36:21]
717*2^715644-1 is not prime.  Res64: 101B72C3061E7E3F  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 01:36:35]
679*2^715653-1 is not prime.  Res64: 604459EBDBD2C4DC  Time : 2060.0 sec.
user=vaughan
[2009-10-09 01:36:47]
773*2^715654-1 is not prime.  Res64: 4CC1C2DEFC576E44  Time : 1599.0 sec.
user=gd_barnes
[2009-10-09 01:40:41]
799*2^715645-1 is not prime.  Res64: D49FF956F42C54CF  Time : 3420.0 sec.
user=vaughan
[2009-10-09 01:41:49]
687*2^715657-1 is not prime.  Res64: 9A4F5E69BA935E41  Time : 1072.0 sec.
user=kar_bon
[2009-10-09 01:41:50]
759*2^714617-1 is not prime.  Res64: 74973DAD1ED4B229  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 01:42:47]
741*2^715647-1 is not prime.  Res64: 97489FE70C00EE16  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 01:44:29]
783*2^715654-1 is not prime.  Res64: EC9E70F654292770  Time : 2057.0 sec.
user=kar_bon
[2009-10-09 01:44:45]
609*2^715655-1 is not prime.  Res64: 4EC6A23EF99F6BED  Time : 2059.0 sec.
user=vaughan
[2009-10-09 01:44:48]
751*2^715659-1 is not prime.  Res64: 71A5C814C17F6437  Time : 779.0 sec.
user=gd_barnes
[2009-10-09 01:45:30]
627*2^715649-1 is not prime.  Res64: FC74F53DAE34FFFC  Time : 3434.0 sec.
user=vaughan
[2009-10-09 01:45:42]
741*2^715659-1 is not prime.  Res64: 2364BAA39B31C8E5  Time : 855.0 sec.
user=vaughan
[2009-10-09 01:47:23]
767*2^714624-1 is not prime.  Res64: 5ED32676DCA9FE00  Time : 961.0 sec.
user=gd_barnes
[2009-10-09 01:47:46]
747*2^715649-1 is not prime.  Res64: FEE0219C9DA2A1ED  Time : 3420.0 sec.
user=kar_bon
[2009-10-09 01:48:01]
721*2^715655-1 is not prime.  Res64: 718C86759331C1A0  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 01:52:03]
773*2^714614-1 is not prime.  Res64: 8C2804FD8D69CE61  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 01:53:14]
695*2^715656-1 is not prime.  Res64: A692D67822794EDB  Time : 2053.0 sec.
user=gd_barnes
[2009-10-09 01:54:10]
781*2^715649-1 is not prime.  Res64: E3496A79FBC07FC5  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 01:55:56]
607*2^715657-1 is not prime.  Res64: 3E9B9B4056847386  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 01:56:10]
615*2^715657-1 is not prime.  Res64: 8650E98ED71A4EE3  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 01:56:58]
635*2^715652-1 is not prime.  Res64: 02FD19B724D891A3  Time : 3435.0 sec.
user=vaughan
[2009-10-09 01:57:40]
683*2^715662-1 is not prime.  Res64: 083BC327A563FDFD  Time : 772.0 sec.
user=gd_barnes
[2009-10-09 01:59:10]
625*2^715653-1 is not prime.  Res64: 9DAB2D9224F7C246  Time : 3421.0 sec.
user=kar_bon
[2009-10-09 01:59:27]
769*2^715657-1 is not prime.  Res64: 72B3486A0E11C4D8  Time : 2059.0 sec.
user=vaughan
[2009-10-09 02:00:32]
603*2^715663-1 is not prime.  Res64: 6BCEB32E06F4ACE4  Time : 890.0 sec.
user=vaughan
[2009-10-09 02:03:08]
639*2^715663-1 is not prime.  Res64: A9AFF1D1683D77EA  Time : 945.0 sec.
user=vaughan
[2009-10-09 02:03:09]
789*2^715661-1 is not prime.  Res64: 72A518D145C6FEE7  Time : 1280.0 sec.
user=gd_barnes
[2009-10-09 02:03:27]
723*2^715654-1 is not prime.  Res64: 3D1EC2BBC7F2C87B  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 02:04:39]
705*2^715658-1 is not prime.  Res64: 388376D656239928  Time : 2053.0 sec.
user=gd_barnes
[2009-10-09 02:05:34]
737*2^715654-1 is not prime.  Res64: FC10BA24956A3AA5  Time : 3418.0 sec.
user=vaughan
[2009-10-09 02:06:20]
607*2^715661-1 is not prime.  Res64: 40F49D168B7C7F56  Time : 1773.0 sec.
user=kar_bon
[2009-10-09 02:07:22]
793*2^715659-1 is not prime.  Res64: D0443DCDECC3C0BB  Time : 2059.0 sec.
user=kar_bon
[2009-10-09 02:07:37]
635*2^715660-1 is not prime.  Res64: 6D3F6EC1EA1B8BB5  Time : 2060.0 sec.
user=gd_barnes
[2009-10-09 02:08:24]
619*2^715655-1 is not prime.  Res64: 96F0ADAC5C8E3E55  Time : 3434.0 sec.
user=vaughan
[2009-10-09 02:10:31]
711*2^715665-1 is not prime.  Res64: BEC2F40A78578CEC  Time : 771.0 sec.
user=gd_barnes
[2009-10-09 02:10:33]
669*2^715655-1 is not prime.  Res64: 74661D779FE81A5C  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 02:10:55]
785*2^715660-1 is not prime.  Res64: 5908A2BEA4E6F08A  Time : 2060.0 sec.
user=gd_barnes
[2009-10-09 02:14:51]
693*2^715656-1 is not prime.  Res64: 9A96B972AC5A9B36  Time : 3418.0 sec.
user=vaughan
[2009-10-09 02:15:02]
787*2^715665-1 is not prime.  Res64: F2C499420C146CFE  Time : 870.0 sec.
user=kar_bon
[2009-10-09 02:16:03]
611*2^715662-1 is not prime.  Res64: C758BEB8D94116DF  Time : 2053.0 sec.
user=gd_barnes
[2009-10-09 02:16:57]
735*2^715656-1 is not prime.  Res64: 9C1DBB9BCB876195  Time : 3418.0 sec.
user=vaughan
[2009-10-09 02:18:44]
617*2^715666-1 is not prime.  Res64: 6FAD4261DF7DDA0C  Time : 936.0 sec.
user=kar_bon
[2009-10-09 02:18:45]
677*2^714628-1 is not prime.  Res64: BDBE8F5D69552B70  Time : 2056.0 sec.
user=kar_bon
[2009-10-09 02:19:03]
681*2^715662-1 is not prime.  Res64: B82C0F1A732C10E5  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 02:19:51]
625*2^715657-1 is not prime.  Res64: 96063375B8146346  Time : 3434.0 sec.
user=vaughan
[2009-10-09 02:21:33]
663*2^715666-1 is not prime.  Res64: 3AE3E54038E46E15  Time : 1104.0 sec.
user=gd_barnes
[2009-10-09 02:21:58]
699*2^715657-1 is not prime.  Res64: D9BD07665BE68749  Time : 3420.0 sec.
user=kar_bon
[2009-10-09 02:22:22]
723*2^715663-1 is not prime.  Res64: E1245D630F99E638  Time : 2061.0 sec.
user=vaughan
[2009-10-09 02:23:29]
797*2^715668-1 is not prime.  Res64: B31A2A3A87ECBBA3  Time : 778.0 sec.
user=gd_barnes
[2009-10-09 02:26:14]
617*2^715658-1 is not prime.  Res64: 8EC924B6C56ECBE2  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 02:27:28]
623*2^715664-1 is not prime.  Res64: 0513F4CE74FA8AC5  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 02:28:20]
613*2^715659-1 is not prime.  Res64: A9428A75376646C0  Time : 3416.0 sec.
user=vaughan
[2009-10-09 02:29:24]
635*2^715670-1 is not prime.  Res64: 11480EC843B3C622  Time : 862.0 sec.
user=kar_bon
[2009-10-09 02:30:12]
629*2^714632-1 is not prime.  Res64: 9F81B921447CF5D4  Time : 2057.0 sec.
user=kar_bon
[2009-10-09 02:30:28]
717*2^715664-1 is not prime.  Res64: B7BAD23FB5D0CB2E  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 02:31:17]
675*2^715660-1 is not prime.  Res64: 0F894D9DD47EAA76  Time : 3434.0 sec.
user=gd_barnes
[2009-10-09 02:33:21]
693*2^715660-1 is not prime.  Res64: DEA7842D2D931D26  Time : 3420.0 sec.
user=kar_bon
[2009-10-09 02:33:47]
741*2^715665-1 is not prime.  Res64: 2E03FC7C7C0268CD  Time : 2060.0 sec.
user=vaughan
[2009-10-09 02:34:40]
675*2^715671-1 is not prime.  Res64: E4CB0E5211015EA7  Time : 957.0 sec.
user=vaughan
[2009-10-09 02:34:44]
647*2^715668-1 is not prime.  Res64: F27D0FEB7F89616E  Time : 1705.0 sec.
user=vaughan
[2009-10-09 02:36:20]
719*2^715672-1 is not prime.  Res64: 7A0CFA3B01E30C48  Time : 771.0 sec.
user=gd_barnes
[2009-10-09 02:37:38]
777*2^715661-1 is not prime.  Res64: 92EBA0D85BD68853  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 02:38:53]
773*2^715666-1 is not prime.  Res64: DBCEE23D46A7CD44  Time : 2055.0 sec.
user=vaughan
[2009-10-09 02:39:22]
791*2^714638-1 is not prime.  Res64: 4879F7CD1D783A08  Time : 1070.0 sec.
user=gd_barnes
[2009-10-09 02:39:44]
677*2^715662-1 is not prime.  Res64: D7FB72BCAC35C001  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 02:41:37]
663*2^715668-1 is not prime.  Res64: D6BF9CF685E2CE13  Time : 2055.0 sec.
user=kar_bon
[2009-10-09 02:41:55]
789*2^715668-1 is not prime.  Res64: DA5EBEA6BDFB53FC  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 02:42:44]
755*2^715662-1 is not prime.  Res64: 706C346CF30EF798  Time : 3434.0 sec.
user=vaughan
[2009-10-09 02:43:45]
657*2^715673-1 is not prime.  Res64: 48BC6514D14A3C92  Time : 861.0 sec.
user=gd_barnes
[2009-10-09 02:44:45]
703*2^715663-1 is not prime.  Res64: DB832774118F9DA1  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 02:45:13]
675*2^715669-1 is not prime.  Res64: 94E85C9B521E9C10  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 02:49:01]
617*2^715664-1 is not prime.  Res64: F00BF4B0C9B4E515  Time : 3418.0 sec.
user=vaughan
[2009-10-09 02:49:22]
711*2^715674-1 is not prime.  Res64: 55EDC38198DC2AD8  Time : 782.0 sec.
user=kar_bon
[2009-10-09 02:50:18]
645*2^715670-1 is not prime.  Res64: A16A816717567E63  Time : 2055.0 sec.
user=vaughan
[2009-10-09 02:50:33]
781*2^715673-1 is not prime.  Res64: E8E8822DF84090A7  Time : 953.0 sec.
user=gd_barnes
[2009-10-09 02:51:06]
635*2^715664-1 is not prime.  Res64: F1A10CB67B5BE788  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 02:53:02]
751*2^715671-1 is not prime.  Res64: D7F19F9B90A496D8  Time : 2057.0 sec.
user=kar_bon
[2009-10-09 02:53:21]
623*2^715672-1 is not prime.  Res64: 89D6E46BBA40DC1D  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 02:54:11]
669*2^715665-1 is not prime.  Res64: 73CF17105D349618  Time : 3433.0 sec.
user=gd_barnes
[2009-10-09 02:56:08]
735*2^715665-1 is not prime.  Res64: E0465993E4112845  Time : 3419.0 sec.
user=vaughan
[2009-10-09 02:56:39]
645*2^715675-1 is not prime.  Res64: D2B00C1B4F6D126B  Time : 1037.0 sec.
user=kar_bon
[2009-10-09 02:56:40]
695*2^715672-1 is not prime.  Res64: 1B5B7A4D2FCD4C2A  Time : 2058.0 sec.
user=vaughan
[2009-10-09 02:58:04]
633*2^715676-1 is not prime.  Res64: FA6A57F141900355  Time : 859.0 sec.
user=gd_barnes
[2009-10-09 03:00:25]
675*2^715666-1 is not prime.  Res64: CA917FDE7F37268E  Time : 3418.0 sec.
user=vaughan
[2009-10-09 03:01:33]
657*2^715674-1 is not prime.  Res64: 3488CB8976C2F7B4  Time : 1609.0 sec.
user=kar_bon
[2009-10-09 03:01:42]
735*2^715672-1 is not prime.  Res64: 41DB1FEC1397930D  Time : 2055.0 sec.
user=vaughan
[2009-10-09 03:02:21]
749*2^715676-1 is not prime.  Res64: 519288664B112B5F  Time : 779.0 sec.
user=gd_barnes
[2009-10-09 03:02:30]
799*2^715667-1 is not prime.  Res64: 5676F46DBFB3A571  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 03:04:30]
669*2^715673-1 is not prime.  Res64: 622A9610FD5CDBE9  Time : 2059.0 sec.
user=kar_bon
[2009-10-09 03:04:47]
699*2^715673-1 is not prime.  Res64: 2F66E11BA9734E9B  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 03:05:38]
695*2^714634-1 is not prime.  Res64: 7D233BA8D1F93F2D  Time : 3434.0 sec.
user=vaughan
[2009-10-09 03:06:31]
789*2^715676-1 is not prime.  Res64: F4FFFEE68B11EF14  Time : 958.0 sec.
user=gd_barnes
[2009-10-09 03:07:32]
621*2^715669-1 is not prime.  Res64: D79A00B9514124E0  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 03:08:05]
789*2^714641-1 is not prime.  Res64: D58759863DC9C47C  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 03:11:48]
687*2^715669-1 is not prime.  Res64: AA9F1D9853980E45  Time : 3418.0 sec.
user=vaughan
[2009-10-09 03:12:25]
657*2^714648-1 is not prime.  Res64: 5B7881F941417071  Time : 861.0 sec.
user=kar_bon
[2009-10-09 03:13:06]
797*2^715674-1 is not prime.  Res64: 9D43BCE410C88E7E  Time : 2053.0 sec.
user=gd_barnes
[2009-10-09 03:13:53]
675*2^715670-1 is not prime.  Res64: DA214A2BBCC4DC15  Time : 3416.0 sec.
user=vaughan
[2009-10-09 03:14:18]
727*2^715677-1 is not prime.  Res64: E431A4C044557601  Time : 1060.0 sec.
user=vaughan
[2009-10-09 03:15:21]
737*2^715678-1 is not prime.  Res64: 9CB402DA1F022397  Time : 780.0 sec.
user=kar_bon
[2009-10-09 03:15:55]
733*2^715675-1 is not prime.  Res64: 1CC43C94EF91872C  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 03:16:13]
759*2^715675-1 is not prime.  Res64: 9E77944C42A63D83  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 03:17:03]
657*2^715672-1 is not prime.  Res64: 708BC38E3FB23192  Time : 3433.0 sec.
user=gd_barnes
[2009-10-09 03:18:55]
687*2^715672-1 is not prime.  Res64: 4BFBD2BDFB3FB3B1  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 03:19:31]
717*2^715676-1 is not prime.  Res64: CC3FD89D508768DD  Time : 2058.0 sec.
user=vaughan
[2009-10-09 03:22:03]
661*2^715679-1 is not prime.  Res64: B8985AB1D0AA1530  Time : 932.0 sec.
user=gd_barnes
[2009-10-09 03:23:12]
723*2^715672-1 is not prime.  Res64: E471BD70D7BABC21  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 03:24:31]
773*2^715676-1 is not prime.  Res64: A829635B20C52AED  Time : 2053.0 sec.
user=gd_barnes
[2009-10-09 03:25:16]
765*2^715672-1 is not prime.  Res64: 80F09D881F8F68BA  Time : 3416.0 sec.
user=vaughan
[2009-10-09 03:27:11]
771*2^715679-1 is not prime.  Res64: DA5F64FF39B2D8C6  Time : 886.0 sec.
user=kar_bon
[2009-10-09 03:27:20]
615*2^715677-1 is not prime.  Res64: E8B8C2F785F5E89E  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 03:27:39]
621*2^715677-1 is not prime.  Res64: 8BBC417DD1FC4DBF  Time : 2058.0 sec.
user=vaughan
[2009-10-09 03:28:06]
775*2^715681-1 is not prime.  Res64: C013C20CDF41374D  Time : 766.0 sec.
user=gd_barnes
[2009-10-09 03:28:31]
721*2^715673-1 is not prime.  Res64: 2833A234BF723D86  Time : 3434.0 sec.
user=vaughan
[2009-10-09 03:29:43]
665*2^715678-1 is not prime.  Res64: 593B6F8554CDF2EF  Time : 1690.0 sec.
user=gd_barnes
[2009-10-09 03:30:21]
775*2^715673-1 is not prime.  Res64: 2DEBE0F93D6760DB  Time : 3420.0 sec.
user=kar_bon
[2009-10-09 03:30:58]
747*2^715677-1 is not prime.  Res64: 759317764F237D34  Time : 2059.0 sec.
user=vaughan
[2009-10-09 03:32:23]
649*2^715681-1 is not prime.  Res64: 97596C3F3B495E01  Time : 1086.0 sec.
user=gd_barnes
[2009-10-09 03:34:35]
783*2^715674-1 is not prime.  Res64: 7C5F005FEC34E12E  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 03:35:56]
681*2^715678-1 is not prime.  Res64: 8B06E045A3F49DFD  Time : 2055.0 sec.
user=gd_barnes
[2009-10-09 03:36:39]
675*2^715675-1 is not prime.  Res64: 55BE177806E07994  Time : 3415.0 sec.
user=vaughan
[2009-10-09 03:37:13]
769*2^715683-1 is not prime.  Res64: 511CB841F9D9CEDF  Time : 911.0 sec.
user=kar_bon
[2009-10-09 03:38:46]
791*2^715678-1 is not prime.  Res64: 1914251F003EA63A  Time : 2057.0 sec.
user=kar_bon
[2009-10-09 03:39:04]
619*2^715679-1 is not prime.  Res64: 2AA675B4A7F9CCEE  Time : 2057.0 sec.
user=gd_barnes
[2009-10-09 03:39:58]
765*2^715675-1 is not prime.  Res64: 14ECE8FC72037FCF  Time : 3434.0 sec.
user=vaughan
[2009-10-09 03:41:01]
689*2^715688-1 is not prime.  Res64: 995F180AEF535B78  Time : 775.0 sec.
user=vaughan
[2009-10-09 03:41:31]
765*2^715686-1 is not prime.  Res64: 2093D4B89584FF89  Time : 861.0 sec.
user=gd_barnes
[2009-10-09 03:41:44]
707*2^715676-1 is not prime.  Res64: F4AB116C33726020  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 03:42:23]
711*2^715679-1 is not prime.  Res64: 2F7393B8FCF99141  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 03:45:58]
765*2^714645-1 is not prime.  Res64: 15BBA9ED69A43E48  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 03:47:20]
695*2^715680-1 is not prime.  Res64: 33E9AC9CF814C25B  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 03:48:03]
609*2^715677-1 is not prime.  Res64: 3DFB237820E9448B  Time : 3417.0 sec.
user=vaughan
[2009-10-09 03:49:56]
769*2^715689-1 is not prime.  Res64: EA3AC5775BAFA5B0  Time : 1054.0 sec.
user=kar_bon
[2009-10-09 03:50:13]
671*2^715682-1 is not prime.  Res64: 51EB74B65ADDFBA1  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 03:50:30]
677*2^715682-1 is not prime.  Res64: D2EE8A8B41AEDE81  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 03:51:24]
649*2^715677-1 is not prime.  Res64: E724E23CACAAA08D  Time : 3433.0 sec.
user=vaughan
[2009-10-09 03:52:23]
741*2^715690-1 is not prime.  Res64: E6C7B4357893548F  Time : 911.0 sec.
user=gd_barnes
[2009-10-09 03:53:07]
651*2^715677-1 is not prime.  Res64: 9D8BF600D58ED436  Time : 3419.0 sec.
user=vaughan
[2009-10-09 03:53:44]
663*2^715691-1 is not prime.  Res64: 64F53DF17304612A  Time : 763.0 sec.
user=kar_bon
[2009-10-09 03:53:51]
745*2^715683-1 is not prime.  Res64: CA694D956C8A2C3E  Time : 2060.0 sec.
user=vaughan
[2009-10-09 03:54:25]
649*2^715689-1 is not prime.  Res64: F3DA7ECE1E825750  Time : 1483.0 sec.
user=vaughan
[2009-10-09 03:55:29]
675*2^715691-1 is not prime.  Res64: C7DA5593F0AB877E  Time : 839.0 sec.
user=gd_barnes
[2009-10-09 03:57:22]
621*2^715678-1 is not prime.  Res64: F2B841A3B9928962  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 03:58:45]
617*2^715684-1 is not prime.  Res64: 4EBF73B3EB323D80  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 03:59:27]
773*2^715678-1 is not prime.  Res64: 76960517BEB5C89F  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 04:01:38]
669*2^715688-1 is not prime.  Res64: 168E2D47C398D2E5  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 04:01:55]
683*2^715688-1 is not prime.  Res64: 12051C9990C854DE  Time : 2056.0 sec.
user=gd_barnes
[2009-10-09 04:02:50]
649*2^715679-1 is not prime.  Res64: B113EE226E9D971A  Time : 3433.0 sec.
user=gd_barnes
[2009-10-09 04:04:31]
685*2^715679-1 is not prime.  Res64: 4EBFD9D21FF0AF04  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 04:05:17]
741*2^715689-1 is not prime.  Res64: 0E448BB4CBDB320F  Time : 2059.0 sec.
user=vaughan
[2009-10-09 04:06:34]
731*2^715694-1 is not prime.  Res64: 76E5D491AB425982  Time : 771.0 sec.
user=vaughan
[2009-10-09 04:07:48]
771*2^714661-1 is not prime.  Res64: 6CAB4E05F9B1B5CE  Time : 1072.0 sec.
user=vaughan
[2009-10-09 04:08:24]
747*2^715693-1 is not prime.  Res64: 6D4BA0F34A4E6A91  Time : 962.0 sec.
user=gd_barnes
[2009-10-09 04:08:45]
745*2^715679-1 is not prime.  Res64: FE0B0C0112926410  Time : 3417.0 sec.
user=vaughan
[2009-10-09 04:09:36]
685*2^715695-1 is not prime.  Res64: F1B14C31FE3D6036  Time : 848.0 sec.
user=kar_bon
[2009-10-09 04:10:09]
651*2^714658-1 is not prime.  Res64: 33F70ADF5BE33AFB  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 04:10:50]
719*2^715680-1 is not prime.  Res64: EB58D41C984C5394  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 04:13:04]
783*2^715690-1 is not prime.  Res64: 47B7C53AB363184A  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 04:13:22]
645*2^715691-1 is not prime.  Res64: 829B9D46D7A1D402  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 04:14:17]
755*2^715682-1 is not prime.  Res64: 466F67743A45A894  Time : 3434.0 sec.
user=gd_barnes
[2009-10-09 04:15:54]
663*2^715683-1 is not prime.  Res64: 31F9932649989F01  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 04:16:43]
741*2^715691-1 is not prime.  Res64: 40D79BB220FD5DA3  Time : 2060.0 sec.
user=vaughan
[2009-10-09 04:19:27]
669*2^715697-1 is not prime.  Res64: EB5C887423B530AF  Time : 774.0 sec.
user=gd_barnes
[2009-10-09 04:20:08]
735*2^714655-1 is not prime.  Res64: D9964AD215A6D36F  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 04:21:33]
609*2^715692-1 is not prime.  Res64: 802BC2CCDFEE800B  Time : 2054.0 sec.
user=vaughan
[2009-10-09 04:21:34]
791*2^715694-1 is not prime.  Res64: 7F0C1298905A0B84  Time : 1629.0 sec.
user=gd_barnes
[2009-10-09 04:22:13]
663*2^715684-1 is not prime.  Res64: 27A3DD76CAE43804  Time : 3417.0 sec.
user=vaughan
[2009-10-09 04:24:03]
677*2^715698-1 is not prime.  Res64: 2F329A4D22A04DFD  Time : 868.0 sec.
user=vaughan
[2009-10-09 04:24:23]
771*2^715697-1 is not prime.  Res64: E45235DE371A40D5  Time : 959.0 sec.
user=kar_bon
[2009-10-09 04:24:29]
619*2^715693-1 is not prime.  Res64: DAD25FFA3157FB44  Time : 2057.0 sec.
user=vaughan
[2009-10-09 04:24:48]
747*2^715697-1 is not prime.  Res64: 4DA46BFC2C4CAFAE  Time : 1021.0 sec.
user=kar_bon
[2009-10-09 04:24:48]
639*2^715693-1 is not prime.  Res64: 65ADD2210313D036  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 04:25:44]
625*2^715689-1 is not prime.  Res64: 0440E3976ACBA90A  Time : 3433.0 sec.
user=gd_barnes
[2009-10-09 04:27:19]
679*2^715689-1 is not prime.  Res64: 52A03354AC267FEA  Time : 3419.0 sec.
user=kar_bon
[2009-10-09 04:28:09]
785*2^715694-1 is not prime.  Res64: 174289AB42BF1A86  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 04:31:32]
781*2^715689-1 is not prime.  Res64: BC53560AE123CCBD  Time : 3417.0 sec.
user=vaughan
[2009-10-09 04:32:18]
705*2^715702-1 is not prime.  Res64: 7743D3DEA5877C36  Time : 772.0 sec.
user=kar_bon
[2009-10-09 04:32:58]
781*2^715695-1 is not prime.  Res64: 8B7B370B5CDA8E1C  Time : 2053.0 sec.
user=gd_barnes
[2009-10-09 04:33:36]
605*2^715690-1 is not prime.  Res64: 82AA69BD91FBBC78  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 04:35:56]
627*2^714665-1 is not prime.  Res64: 5B5CC8C55FC991DF  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 04:36:15]
623*2^715696-1 is not prime.  Res64: A70FB4FC14101B30  Time : 2060.0 sec.
user=gd_barnes
[2009-10-09 04:37:11]
651*2^715691-1 is not prime.  Res64: 524A2088F1F2CCA7  Time : 3434.0 sec.
user=vaughan
[2009-10-09 04:38:19]
643*2^715703-1 is not prime.  Res64: 0CD5E646ABB30752  Time : 857.0 sec.
user=gd_barnes
[2009-10-09 04:38:43]
735*2^715691-1 is not prime.  Res64: BAAE1F069B3676CB  Time : 3420.0 sec.
user=kar_bon
[2009-10-09 04:39:34]
747*2^715696-1 is not prime.  Res64: 7BBA496CAD99F86D  Time : 2057.0 sec.
user=vaughan
[2009-10-09 04:40:28]
705*2^715703-1 is not prime.  Res64: 0E266299018B52C2  Time : 965.0 sec.
user=vaughan
[2009-10-09 04:42:19]
639*2^715704-1 is not prime.  Res64: 2267D3BDDD3433EB  Time : 1052.0 sec.
user=gd_barnes
[2009-10-09 04:42:55]
781*2^715691-1 is not prime.  Res64: F5D9A88ECDD1198A  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 04:44:23]
713*2^715698-1 is not prime.  Res64: C23487FD003F366E  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 04:45:00]
683*2^715692-1 is not prime.  Res64: 27CDC3CA8D83DCF7  Time : 3417.0 sec.
user=vaughan
[2009-10-09 04:45:15]
687*2^715705-1 is not prime.  Res64: A4C5543AF4ECB653  Time : 777.0 sec.
user=kar_bon
[2009-10-09 04:47:21]
691*2^714669-1 is not prime.  Res64: D0067E19C6360678  Time : 2057.0 sec.
user=kar_bon
[2009-10-09 04:47:41]
679*2^715699-1 is not prime.  Res64: E95651E2AC5437A8  Time : 2060.0 sec.
user=gd_barnes
[2009-10-09 04:48:37]
675*2^715693-1 is not prime.  Res64: B885D3593BE37B04  Time : 3433.0 sec.
user=vaughan
[2009-10-09 04:49:27]
761*2^715702-1 is not prime.  Res64: 9C3FA49B0509DADC  Time : 1673.0 sec.
user=gd_barnes
[2009-10-09 04:50:07]
757*2^715693-1 is not prime.  Res64: DB29359C19F9B467  Time : 3420.0 sec.
user=kar_bon
[2009-10-09 04:51:00]
617*2^715702-1 is not prime.  Res64: 62A800DECFBF3A5A  Time : 2058.0 sec.
user=vaughan
[2009-10-09 04:52:48]
691*2^714675-1 is not prime.  Res64: 7AF1114184D8B0F2  Time : 870.0 sec.
user=gd_barnes
[2009-10-09 04:54:18]
735*2^715695-1 is not prime.  Res64: E617E34E6AAFF70C  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 04:55:47]
723*2^715702-1 is not prime.  Res64: 6F0ED9550FCE51C8  Time : 2054.0 sec.
user=vaughan
[2009-10-09 04:56:17]
775*2^715707-1 is not prime.  Res64: C3E65F6899B6264F  Time : 949.0 sec.
user=gd_barnes
[2009-10-09 04:56:22]
789*2^715695-1 is not prime.  Res64: 651D74603D07FB8D  Time : 3416.0 sec.
user=vaughan
[2009-10-09 04:58:15]
759*2^715709-1 is not prime.  Res64: 6B4A0BB0CF90792D  Time : 780.0 sec.
user=kar_bon
[2009-10-09 04:58:47]
721*2^715703-1 is not prime.  Res64: 4432983E4DB14568  Time : 2058.0 sec.
user=vaughan
[2009-10-09 04:59:04]
605*2^715708-1 is not prime.  Res64: C77A9EC1C7444647  Time : 1005.0 sec.
user=kar_bon
[2009-10-09 04:59:07]
675*2^715704-1 is not prime.  Res64: 10736641C45079CA  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 05:00:04]
639*2^715696-1 is not prime.  Res64: 3C89A4FCEA404F6E  Time : 3434.0 sec.
user=gd_barnes
[2009-10-09 05:01:32]
695*2^715696-1 is not prime.  Res64: ED56A8D248DDD1EE  Time : 3421.0 sec.
user=kar_bon
[2009-10-09 05:02:27]
765*2^715704-1 is not prime.  Res64: 785C642E7A0EA62A  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 05:05:41]
799*2^715697-1 is not prime.  Res64: 48274716B4E1128C  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 05:07:12]
751*2^715705-1 is not prime.  Res64: 1537708BA4428CED  Time : 2055.0 sec.
user=vaughan
[2009-10-09 05:07:20]
693*2^715711-1 is not prime.  Res64: CD2541A0842BFCAA  Time : 872.0 sec.
user=gd_barnes
[2009-10-09 05:07:46]
767*2^715698-1 is not prime.  Res64: 1F240FD9030FAAF5  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 05:10:12]
609*2^715707-1 is not prime.  Res64: 7CC7FD8EDAB0F86A  Time : 2057.0 sec.
user=kar_bon
[2009-10-09 05:10:32]
651*2^715707-1 is not prime.  Res64: 10C4720403D37821  Time : 2057.0 sec.
user=vaughan
[2009-10-09 05:11:08]
691*2^715713-1 is not prime.  Res64: 1FCDAC15AA463366  Time : 773.0 sec.
user=gd_barnes
[2009-10-09 05:11:30]
759*2^715699-1 is not prime.  Res64: 3C321DC220FC0996  Time : 3433.0 sec.
user=vaughan
[2009-10-09 05:12:06]
755*2^715712-1 is not prime.  Res64: E7AE843872AA3F4D  Time : 949.0 sec.
user=gd_barnes
[2009-10-09 05:12:55]
775*2^715699-1 is not prime.  Res64: EFAEEA61A5FFB278  Time : 3421.0 sec.
user=kar_bon
[2009-10-09 05:13:52]
769*2^715707-1 is not prime.  Res64: 47AFDEFCC3A0E869  Time : 2058.0 sec.
user=vaughan
[2009-10-09 05:16:13]
751*2^715713-1 is not prime.  Res64: C04CF928C7395767  Time : 1029.0 sec.
user=vaughan
[2009-10-09 05:16:35]
625*2^715711-1 is not prime.  Res64: 8F5092741B323C94  Time : 1628.0 sec.
user=gd_barnes
[2009-10-09 05:17:05]
713*2^715702-1 is not prime.  Res64: B084F6A1E250CC15  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 05:18:37]
657*2^715709-1 is not prime.  Res64: 1530DD1E8C9D40DB  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 05:19:08]
777*2^715702-1 is not prime.  Res64: 6EFA8C354DD13AAA  Time : 3415.0 sec.
user=vaughan
[2009-10-09 05:21:29]
649*2^715715-1 is not prime.  Res64: DD75BFA6BCA8B2A2  Time : 851.0 sec.
user=kar_bon
[2009-10-09 05:21:38]
789*2^715709-1 is not prime.  Res64: C4941F69E6B21CCB  Time : 2057.0 sec.
user=kar_bon
[2009-10-09 05:21:58]
761*2^715710-1 is not prime.  Res64: 75BF6F95A5C35A67  Time : 2057.0 sec.
user=gd_barnes
[2009-10-09 05:22:57]
753*2^714671-1 is not prime.  Res64: E6519FCBB1B4E192  Time : 3433.0 sec.
user=vaughan
[2009-10-09 05:24:03]
735*2^715715-1 is not prime.  Res64: 1C65891080F7E7D5  Time : 777.0 sec.
user=gd_barnes
[2009-10-09 05:24:20]
689*2^715704-1 is not prime.  Res64: 3F7335E063615D85  Time : 3421.0 sec.
user=kar_bon
[2009-10-09 05:25:17]
621*2^714678-1 is not prime.  Res64: 68DCB69CB0BE1ED5  Time : 2057.0 sec.
user=vaughan
[2009-10-09 05:27:35]
689*2^715716-1 is not prime.  Res64: 49CCEE36B5FB3884  Time : 930.0 sec.
user=gd_barnes
[2009-10-09 05:28:29]
667*2^715705-1 is not prime.  Res64: E1F8DB0F55E3CB16  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 05:30:02]
623*2^715712-1 is not prime.  Res64: BC18D8D2CAA68E4D  Time : 2055.0 sec.
user=gd_barnes
[2009-10-09 05:30:32]
603*2^715706-1 is not prime.  Res64: E39E6CCFC607AC21  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 05:33:06]
741*2^715713-1 is not prime.  Res64: B0C8B836DEABF8ED  Time : 2059.0 sec.
user=vaughan
[2009-10-09 05:33:18]
685*2^714687-1 is not prime.  Res64: 155F908793324DA0  Time : 1025.0 sec.
user=kar_bon
[2009-10-09 05:33:24]
759*2^715713-1 is not prime.  Res64: B1CE514A016E8DF9  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 05:34:24]
741*2^715707-1 is not prime.  Res64: 5603472893E843AF  Time : 3433.0 sec.
user=gd_barnes
[2009-10-09 05:35:44]
765*2^715707-1 is not prime.  Res64: 94A456F8980EFAAD  Time : 3421.0 sec.
user=vaughan
[2009-10-09 05:36:05]
671*2^715718-1 is not prime.  Res64: 4433B568F70D85E0  Time : 877.0 sec.
user=kar_bon
[2009-10-09 05:36:43]
717*2^715714-1 is not prime.  Res64: C50339B1BFE0D3A8  Time : 2057.0 sec.
user=vaughan
[2009-10-09 05:37:00]
621*2^715719-1 is not prime.  Res64: 6AD553D769B686A1  Time : 777.0 sec.
user=gd_barnes
[2009-10-09 05:39:53]
601*2^715709-1 is not prime.  Res64: 83CE42D6C82F97C0  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 05:41:26]
765*2^715714-1 is not prime.  Res64: 2903B6995A9CAC15  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 05:41:57]
747*2^715709-1 is not prime.  Res64: A0151FF0A8403428  Time : 3417.0 sec.
user=vaughan
[2009-10-09 05:43:07]
691*2^715719-1 is not prime.  Res64: 4A924EA60D5BAC1D  Time : 932.0 sec.
user=kar_bon
[2009-10-09 05:44:31]
675*2^715715-1 is not prime.  Res64: 43F48564F3A043E7  Time : 2059.0 sec.
user=kar_bon
[2009-10-09 05:44:51]
693*2^715715-1 is not prime.  Res64: 4CD5096A983FDA6E  Time : 2059.0 sec.
user=vaughan
[2009-10-09 05:45:15]
615*2^715717-1 is not prime.  Res64: 5C84271EDCF3B4F4  Time : 1720.0 sec.
user=gd_barnes
[2009-10-09 05:45:51]
797*2^715710-1 is not prime.  Res64: BE74EFAED6A7CEB6  Time : 3434.0 sec.
user=gd_barnes
[2009-10-09 05:47:09]
673*2^715711-1 is not prime.  Res64: 67D002037F50235F  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 05:48:09]
609*2^715717-1 is not prime.  Res64: D46E7BEAF5DE5BEB  Time : 2057.0 sec.
user=vaughan
[2009-10-09 05:49:58]
695*2^715720-1 is not prime.  Res64: CF3CD556BFB6CFED  Time : 1000.0 sec.
user=vaughan
[2009-10-09 05:50:02]
615*2^715722-1 is not prime.  Res64: 7B96EE105F4B899D  Time : 782.0 sec.
user=vaughan
[2009-10-09 05:50:48]
795*2^715721-1 is not prime.  Res64: 5266679D92ED5658  Time : 883.0 sec.
user=gd_barnes
[2009-10-09 05:51:16]
793*2^715711-1 is not prime.  Res64: 72B77D7EEE4A4099  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 05:52:50]
715*2^715717-1 is not prime.  Res64: F4D115CEB17E44CB  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 05:53:20]
777*2^715712-1 is not prime.  Res64: 152254923DD0CD0C  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 05:55:58]
743*2^715718-1 is not prime.  Res64: 006FE7DA7FEE0A78  Time : 2060.0 sec.
user=kar_bon
[2009-10-09 05:56:16]
753*2^715718-1 is not prime.  Res64: 012F42EA5EAB7CC2  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 05:57:17]
605*2^715714-1 is not prime.  Res64: 079A519ED1B965FE  Time : 3433.0 sec.
user=gd_barnes
[2009-10-09 05:58:33]
635*2^715714-1 is not prime.  Res64: 6B136FECBA05F65F  Time : 3422.0 sec.
user=vaughan
[2009-10-09 05:59:04]
719*2^714696-1 is not prime.  Res64: 48CB31EF2573473F  Time : 957.0 sec.
user=kar_bon
[2009-10-09 05:59:35]
663*2^715719-1 is not prime.  Res64: 35BC30E855A1F979  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 06:02:39]
685*2^714683-1 is not prime.  Res64: 691343BEA7D9EA63  Time : 3418.0 sec.
user=vaughan
[2009-10-09 06:03:04]
793*2^715723-1 is not prime.  Res64: 2F427F0D2FFE50BC  Time : 782.0 sec.
user=kar_bon
[2009-10-09 06:04:15]
797*2^714692-1 is not prime.  Res64: 20793E973937A187  Time : 2053.0 sec.
user=gd_barnes
[2009-10-09 06:04:44]
651*2^715715-1 is not prime.  Res64: 4106C710FD765975  Time : 3418.0 sec.
user=vaughan
[2009-10-09 06:05:17]
707*2^715724-1 is not prime.  Res64: 4A95DFC3A140ACDE  Time : 869.0 sec.
user=kar_bon
[2009-10-09 06:07:24]
653*2^715720-1 is not prime.  Res64: 48BA8AF8D4C9B6B5  Time : 2059.0 sec.
user=kar_bon
[2009-10-09 06:07:43]
723*2^715720-1 is not prime.  Res64: 876DED52DCF871F5  Time : 2059.0 sec.
user=vaughan
[2009-10-09 06:08:18]
783*2^715723-1 is not prime.  Res64: 515216B89DC21FB1  Time : 1100.0 sec.
user=gd_barnes
[2009-10-09 06:08:43]
615*2^715716-1 is not prime.  Res64: E4E296A8E35D2CC1  Time : 3433.0 sec.
user=gd_barnes
[2009-10-09 06:09:57]
749*2^715716-1 is not prime.  Res64: 22F81ACD0C65421E  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 06:11:01]
611*2^715722-1 is not prime.  Res64: 88FBB868728C828E  Time : 2058.0 sec.
user=vaughan
[2009-10-09 06:11:23]
797*2^715722-1 is not prime.  Res64: 1776B552FCEAABC9  Time : 1568.0 sec.
user=gd_barnes
[2009-10-09 06:14:02]
619*2^715717-1 is not prime.  Res64: 263165FB5ADF4651  Time : 3417.0 sec.
user=vaughan
[2009-10-09 06:14:27]
765*2^715725-1 is not prime.  Res64: 09F0309CF961D1E3  Time : 924.0 sec.
user=kar_bon
[2009-10-09 06:15:39]
725*2^715722-1 is not prime.  Res64: BF83F4CCB375C7A2  Time : 2053.0 sec.
user=vaughan
[2009-10-09 06:15:51]
747*2^715726-1 is not prime.  Res64: 16CA993945679422  Time : 767.0 sec.
user=gd_barnes
[2009-10-09 06:16:06]
717*2^715717-1 is not prime.  Res64: 1FE87625008D3B28  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 06:18:50]
777*2^715722-1 is not prime.  Res64: F23E9B4E98CF802D  Time : 2059.0 sec.
user=kar_bon
[2009-10-09 06:19:09]
791*2^715722-1 is not prime.  Res64: 63992FBCDF569704  Time : 2059.0 sec.
user=vaughan
[2009-10-09 06:19:34]
673*2^715727-1 is not prime.  Res64: 5886D839683C94D0  Time : 857.0 sec.
user=gd_barnes
[2009-10-09 06:20:09]
613*2^715719-1 is not prime.  Res64: 63328E2C2A40F074  Time : 3432.0 sec.
user=gd_barnes
[2009-10-09 06:21:21]
625*2^715719-1 is not prime.  Res64: 2DD229470ED62B65  Time : 3421.0 sec.
user=kar_bon
[2009-10-09 06:22:28]
685*2^715723-1 is not prime.  Res64: 4566A6E37C2AEC4D  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 06:25:24]
723*2^715719-1 is not prime.  Res64: 9A807D18AC8146B5  Time : 3415.0 sec.
user=vaughan
[2009-10-09 06:26:04]
729*2^715727-1 is not prime.  Res64: C0583054283CF858  Time : 1066.0 sec.
user=kar_bon
[2009-10-09 06:27:04]
767*2^715724-1 is not prime.  Res64: BF0B6F13F64A073F  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 06:27:30]
763*2^715719-1 is not prime.  Res64: AF44DF33D694321C  Time : 3418.0 sec.
user=vaughan
[2009-10-09 06:28:38]
721*2^715729-1 is not prime.  Res64: 1E3C0BD361CEBD83  Time : 767.0 sec.
user=vaughan
[2009-10-09 06:30:01]
735*2^715728-1 is not prime.  Res64: 9DF13E073D3FA81D  Time : 935.0 sec.
user=kar_bon
[2009-10-09 06:30:16]
657*2^715725-1 is not prime.  Res64: 1582617CD15A222C  Time : 2059.0 sec.
user=kar_bon
[2009-10-09 06:30:35]
615*2^714701-1 is not prime.  Res64: D4C275544D2BFA92  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 06:31:36]
619*2^715721-1 is not prime.  Res64: E36DF3FC2E8B2495  Time : 3433.0 sec.
user=gd_barnes
[2009-10-09 06:32:46]
717*2^715721-1 is not prime.  Res64: 08CF3B2C0A60C28E  Time : 3422.0 sec.
user=vaughan
[2009-10-09 06:33:15]
717*2^715730-1 is not prime.  Res64: 029264E0DB2FF1A3  Time : 821.0 sec.
user=kar_bon
[2009-10-09 06:33:54]
781*2^715725-1 is not prime.  Res64: DC018029F8C40607  Time : 2059.0 sec.
user=vaughan
[2009-10-09 06:35:56]
663*2^715728-1 is not prime.  Res64: A87E815FC6368CF1  Time : 1473.0 sec.
user=gd_barnes
[2009-10-09 06:36:48]
711*2^715722-1 is not prime.  Res64: 6B4B1B7D20F6AB43  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 06:38:28]
761*2^715726-1 is not prime.  Res64: 2A78C97D5E6E68A1  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 06:38:53]
767*2^715722-1 is not prime.  Res64: 15398222E68D50C2  Time : 3416.0 sec.
user=vaughan
[2009-10-09 06:41:08]
793*2^715731-1 is not prime.  Res64: 8BFBBD71C75F9A73  Time : 750.0 sec.
user=kar_bon
[2009-10-09 06:41:42]
703*2^715727-1 is not prime.  Res64: 1138F1378010BC99  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 06:42:02]
711*2^715727-1 is not prime.  Res64: 619DDD60E855DE30  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 06:43:01]
663*2^715723-1 is not prime.  Res64: AD417EFB87232F46  Time : 3430.0 sec.
user=vaughan
[2009-10-09 06:43:43]
617*2^715732-1 is not prime.  Res64: C35B25368E25EDE3  Time : 822.0 sec.
user=vaughan
[2009-10-09 06:43:55]
649*2^715731-1 is not prime.  Res64: 7EC7428B197F0CE9  Time : 1071.0 sec.
user=gd_barnes
[2009-10-09 06:44:10]
679*2^715723-1 is not prime.  Res64: 353A4E5E74D48D78  Time : 3421.0 sec.
user=kar_bon
[2009-10-09 06:45:20]
763*2^715727-1 is not prime.  Res64: F0CBA50091D964F8  Time : 2059.0 sec.
user=vaughan
[2009-10-09 06:46:10]
769*2^715733-1 is not prime.  Res64: 7411F1CDC0FDE1B1  Time : 775.0 sec.
user=gd_barnes
[2009-10-09 06:48:11]
759*2^715724-1 is not prime.  Res64: A8D40F3B17C07C55  Time : 3415.0 sec.
user=kar_bon
[2009-10-09 06:49:53]
705*2^715729-1 is not prime.  Res64: 30D56D8F3D99C137  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 06:50:16]
773*2^715724-1 is not prime.  Res64: 098CE3816C4FD6F5  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 06:53:08]
771*2^715729-1 is not prime.  Res64: 938544CCDB34EFE6  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 06:53:27]
789*2^715729-1 is not prime.  Res64: A390C97B2C6B9E87  Time : 2058.0 sec.
user=vaughan
[2009-10-09 06:53:58]
765*2^715734-1 is not prime.  Res64: 6085962B1458BD63  Time : 770.0 sec.
user=gd_barnes
[2009-10-09 06:54:28]
679*2^715725-1 is not prime.  Res64: 2F90D9CDFE20E33F  Time : 3431.0 sec.
user=gd_barnes
[2009-10-09 06:55:35]
717*2^715725-1 is not prime.  Res64: C5BC937BC92F38CE  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 06:56:46]
615*2^715731-1 is not prime.  Res64: 150E8103B1069D9C  Time : 2059.0 sec.
user=vaughan
[2009-10-09 06:59:12]
673*2^715735-1 is not prime.  Res64: 48D004C00293FCF7  Time : 929.0 sec.
user=gd_barnes
[2009-10-09 06:59:34]
657*2^715726-1 is not prime.  Res64: D4D2D786B36FD0AA  Time : 3415.0 sec.
user=vaughan
[2009-10-09 07:00:17]
629*2^715736-1 is not prime.  Res64: 44D511C28AB68A5B  Time : 847.0 sec.
user=kar_bon
[2009-10-09 07:01:18]
723*2^715731-1 is not prime.  Res64: 7B71776B1D50BBD3  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 07:01:40]
777*2^715726-1 is not prime.  Res64: FE155C4336C865F1  Time : 3416.0 sec.
user=vaughan
[2009-10-09 07:02:36]
705*2^715735-1 is not prime.  Res64: DA8A3B296B81D655  Time : 1121.0 sec.
user=vaughan
[2009-10-09 07:03:51]
795*2^715733-1 is not prime.  Res64: A5690239DC6B220F  Time : 1675.0 sec.
user=kar_bon
[2009-10-09 07:04:35]
639*2^715732-1 is not prime.  Res64: A5BFFF960F8C16BA  Time : 2059.0 sec.
user=kar_bon
[2009-10-09 07:04:54]
687*2^715732-1 is not prime.  Res64: 1A8FD5B17EE38131  Time : 2060.0 sec.
user=gd_barnes
[2009-10-09 07:05:54]
759*2^715727-1 is not prime.  Res64: 88D58E69F96354A0  Time : 3431.0 sec.
user=gd_barnes
[2009-10-09 07:06:58]
663*2^714704-1 is not prime.  Res64: 7EF4B5A7107F9E17  Time : 3421.0 sec.
user=vaughan
[2009-10-09 07:07:04]
723*2^715738-1 is not prime.  Res64: 0DD9E0C0A10A80D1  Time : 786.0 sec.
user=kar_bon
[2009-10-09 07:08:13]
789*2^715733-1 is not prime.  Res64: F43AA2C92000AE44  Time : 2059.0 sec.
user=gd_barnes
[2009-10-09 07:10:58]
705*2^715728-1 is not prime.  Res64: B75F31B91459ECF4  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 07:12:42]
651*2^715734-1 is not prime.  Res64: 52F119FDE2E80C74  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 07:13:03]
765*2^715729-1 is not prime.  Res64: 2C368C39438F7C60  Time : 3417.0 sec.
user=vaughan
[2009-10-09 07:14:27]
771*2^715739-1 is not prime.  Res64: 210AE4480F322B2C  Time : 850.0 sec.
user=vaughan
[2009-10-09 07:15:18]
633*2^715739-1 is not prime.  Res64: 5944E0662ED83469  Time : 966.0 sec.
user=kar_bon
[2009-10-09 07:16:01]
773*2^715734-1 is not prime.  Res64: 63447E9AFE062B90  Time : 2059.0 sec.
user=kar_bon
[2009-10-09 07:16:20]
639*2^715735-1 is not prime.  Res64: 899D5F1B77D41B01  Time : 2058.0 sec.
user=gd_barnes
[2009-10-09 07:17:20]
773*2^715730-1 is not prime.  Res64: AA52ECD52D835040  Time : 3431.0 sec.
user=gd_barnes
[2009-10-09 07:18:22]
791*2^715730-1 is not prime.  Res64: 281CB87DCDA9B193  Time : 3421.0 sec.
user=kar_bon
[2009-10-09 07:19:39]
759*2^715735-1 is not prime.  Res64: A76BBE0B52CDE239  Time : 2059.0 sec.
user=vaughan
[2009-10-09 07:19:57]
621*2^715741-1 is not prime.  Res64: 53E49DED2750B13F  Time : 773.0 sec.
user=vaughan
[2009-10-09 07:20:29]
753*2^715740-1 is not prime.  Res64: AFFEE836F04AD3F9  Time : 1074.0 sec.
user=gd_barnes
[2009-10-09 07:22:20]
707*2^714708-1 is not prime.  Res64: 8A86ADEDBD0E39B8  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 07:24:06]
609*2^715737-1 is not prime.  Res64: 79758B72FC246B1A  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 07:24:27]
753*2^715731-1 is not prime.  Res64: 02BF729FDE6FBDC1  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 07:27:27]
681*2^715737-1 is not prime.  Res64: 93BEFC0961AE0FF5  Time : 2060.0 sec.
user=kar_bon
[2009-10-09 07:27:48]
781*2^715737-1 is not prime.  Res64: 299C84CAF7B0AD30  Time : 2061.0 sec.
user=gd_barnes
[2009-10-09 07:28:46]
743*2^715732-1 is not prime.  Res64: D073213C5B88C4DC  Time : 3431.0 sec.
user=vaughan
[2009-10-09 07:28:57]
657*2^715742-1 is not prime.  Res64: 45A683E0C24FC868  Time : 870.0 sec.
user=gd_barnes
[2009-10-09 07:29:47]
757*2^715733-1 is not prime.  Res64: 00F3570A1C6201BF  Time : 3421.0 sec.
user=vaughan
[2009-10-09 07:30:53]
741*2^714719-1 is not prime.  Res64: EB8950432C0AE070  Time : 1622.0 sec.
user=vaughan
[2009-10-09 07:30:55]
665*2^715742-1 is not prime.  Res64: CD900D75B982ECAC  Time : 938.0 sec.
user=kar_bon
[2009-10-09 07:31:04]
621*2^715739-1 is not prime.  Res64: E42DD8AA050F2BE6  Time : 2058.0 sec.
user=vaughan
[2009-10-09 07:33:00]
607*2^715745-1 is not prime.  Res64: CBFD556E1356DFBE  Time : 784.0 sec.
user=gd_barnes
[2009-10-09 07:33:43]
627*2^714713-1 is not prime.  Res64: F82D1E424797E776  Time : 3415.0 sec.
user=kar_bon
[2009-10-09 07:35:32]
775*2^715739-1 is not prime.  Res64: 7097C60BBBED5C4C  Time : 2054.0 sec.
user=gd_barnes
[2009-10-09 07:35:51]
725*2^715734-1 is not prime.  Res64: DC2368AA02F4A52A  Time : 3418.0 sec.
user=vaughan
[2009-10-09 07:38:12]
657*2^715745-1 is not prime.  Res64: ED3E90BCCA26B9CC  Time : 1063.0 sec.
user=kar_bon
[2009-10-09 07:38:53]
765*2^715740-1 is not prime.  Res64: 581C02710C6CCB50  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 07:39:14]
767*2^715740-1 is not prime.  Res64: FB6FC0911C021DC4  Time : 2060.0 sec.
user=gd_barnes
[2009-10-09 07:40:13]
661*2^715735-1 is not prime.  Res64: A80AE715C0F90849  Time : 3432.0 sec.
user=gd_barnes
[2009-10-09 07:41:12]
741*2^715735-1 is not prime.  Res64: 85655A4EECA6FFD6  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 07:42:32]
681*2^715741-1 is not prime.  Res64: 109E4F2A468949E3  Time : 2060.0 sec.
user=vaughan
[2009-10-09 07:42:54]
663*2^715747-1 is not prime.  Res64: 2B569A33979CC9F9  Time : 837.0 sec.
user=gd_barnes
[2009-10-09 07:45:06]
645*2^715736-1 is not prime.  Res64: CCE2C8B19B869E2C  Time : 3415.0 sec.
user=vaughan
[2009-10-09 07:45:48]
793*2^715747-1 is not prime.  Res64: 658C1D8F1EDAE885  Time : 769.0 sec.
user=vaughan
[2009-10-09 07:46:36]
705*2^714727-1 is not prime.  Res64: 8700AE86DE880443  Time : 943.0 sec.
user=kar_bon
[2009-10-09 07:46:57]
799*2^715741-1 is not prime.  Res64: 7BA4FCA4FF90668F  Time : 2055.0 sec.
user=gd_barnes
[2009-10-09 07:47:12]
723*2^714715-1 is not prime.  Res64: 5A0C248C84DE2D67  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 07:50:19]
785*2^715742-1 is not prime.  Res64: 53F81BF791B4DC69  Time : 2058.0 sec.
user=kar_bon
[2009-10-09 07:50:41]
709*2^715743-1 is not prime.  Res64: D93603345DD18746  Time : 2061.0 sec.
user=gd_barnes
[2009-10-09 07:51:39]
765*2^715738-1 is not prime.  Res64: 83556650F4A44AE7  Time : 3431.0 sec.
user=gd_barnes
[2009-10-09 07:52:36]
791*2^715738-1 is not prime.  Res64: 7F59D1FD4BC0D299  Time : 3421.0 sec.
user=kar_bon
[2009-10-09 07:55:51]
765*2^715744-1 is not prime.  Res64: E9045C616A401485  Time : 2172.0 sec.
user=vaughan
[2009-10-09 07:55:54]
615*2^715749-1 is not prime.  Res64: E5A542B8DE364252  Time : 1062.0 sec.
user=gd_barnes
[2009-10-09 07:56:30]
669*2^715739-1 is not prime.  Res64: 3208AA753A7B17DC  Time : 3416.0 sec.
user=vaughan
[2009-10-09 07:56:59]
731*2^715750-1 is not prime.  Res64: 589911B04C62B23A  Time : 845.0 sec.
user=vaughan
[2009-10-09 07:57:38]
741*2^715747-1 is not prime.  Res64: 3FC60735161F5115  Time : 1605.0 sec.
user=gd_barnes
[2009-10-09 07:58:36]
789*2^715739-1 is not prime.  Res64: BB9594E523DBCD31  Time : 3416.0 sec.
user=vaughan
[2009-10-09 07:58:49]
761*2^715750-1 is not prime.  Res64: BA5D26EBFF2ABBE4  Time : 781.0 sec.
user=vaughan
[2009-10-09 08:01:28]
785*2^715750-1 is not prime.  Res64: 0D13A044A114AC77  Time : 892.0 sec.
user=gd_barnes
[2009-10-09 08:03:01]
789*2^715740-1 is not prime.  Res64: DC29869D96C884E9  Time : 3427.0 sec.
user=gd_barnes
[2009-10-09 08:04:00]
601*2^715741-1 is not prime.  Res64: 942F753A0515BF7E  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 08:04:20]
787*2^715745-1 is not prime.  Res64: 1C702D037AF3B307  Time : 2414.0 sec.
user=gd_barnes
[2009-10-09 08:07:52]
715*2^715741-1 is not prime.  Res64: 65881C4CF93547D2  Time : 3415.0 sec.
user=kar_bon
[2009-10-09 08:08:31]
611*2^715746-1 is not prime.  Res64: 557E8C86D89EC58C  Time : 2464.0 sec.
user=kar_bon
[2009-10-09 08:09:05]
713*2^715746-1 is not prime.  Res64: 9A29F2773F5D8B9C  Time : 2478.0 sec.
user=gd_barnes
[2009-10-09 08:09:59]
623*2^715742-1 is not prime.  Res64: 1B8DA2D7A7CC7A05  Time : 3416.0 sec.
user=vaughan
[2009-10-09 08:11:03]
699*2^715753-1 is not prime.  Res64: AD32F38CEC9BCE39  Time : 845.0 sec.
user=vaughan
[2009-10-09 08:11:41]
765*2^715753-1 is not prime.  Res64: 50805F14E467095E  Time : 772.0 sec.
user=kar_bon
[2009-10-09 08:12:23]
751*2^715747-1 is not prime.  Res64: 1D67D75E9AAC058D  Time : 2479.0 sec.
user=vaughan
[2009-10-09 08:14:22]
615*2^715753-1 is not prime.  Res64: A715D8DE6611679A  Time : 1108.0 sec.
user=gd_barnes
[2009-10-09 08:14:23]
617*2^714724-1 is not prime.  Res64: 978C812C583961D9  Time : 3423.0 sec.
user=gd_barnes
[2009-10-09 08:15:25]
735*2^715743-1 is not prime.  Res64: 892F882337B139AF  Time : 3423.0 sec.
user=vaughan
[2009-10-09 08:16:40]
641*2^715754-1 is not prime.  Res64: B221E36CA1E50350  Time : 912.0 sec.
user=gd_barnes
[2009-10-09 08:19:16]
705*2^715745-1 is not prime.  Res64: C444EBC888D30F40  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 08:19:47]
773*2^715748-1 is not prime.  Res64: 2037E03FD6539AC0  Time : 2655.0 sec.
user=gd_barnes
[2009-10-09 08:21:23]
795*2^715745-1 is not prime.  Res64: 8C7C26F7D1C30541  Time : 3416.0 sec.
user=vaughan
[2009-10-09 08:24:00]
751*2^714847-1 is not prime.  Res64: E20251F624FA6A1B  Time : 1582.0 sec.
user=vaughan
[2009-10-09 08:24:15]
717*2^715756-1 is not prime.  Res64: 529801B5F5F6A91B  Time : 754.0 sec.
user=vaughan
[2009-10-09 08:24:48]
665*2^714852-1 is not prime.  Res64: 0EEEEFCBE29AC1A1  Time : 825.0 sec.
user=gd_barnes
[2009-10-09 08:25:44]
723*2^715746-1 is not prime.  Res64: 74B765D4ECBD1A98  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 08:26:48]
691*2^715747-1 is not prime.  Res64: 34F50E2CD323B545  Time : 3421.0 sec.
user=kar_bon
[2009-10-09 08:30:02]
741*2^715749-1 is not prime.  Res64: B1A6D04AE97FE695  Time : 3070.0 sec.
user=gd_barnes
[2009-10-09 08:30:40]
687*2^715748-1 is not prime.  Res64: 47B0598184733531  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 08:30:57]
745*2^715749-1 is not prime.  Res64: C0DB056E57C3E67D  Time : 3103.0 sec.
user=vaughan
[2009-10-09 08:31:45]
635*2^715758-1 is not prime.  Res64: 88CFB96B8DCF1540  Time : 905.0 sec.
user=vaughan
[2009-10-09 08:32:33]
729*2^715757-1 is not prime.  Res64: 756168DA3C0E70B5  Time : 1091.0 sec.
user=gd_barnes
[2009-10-09 08:32:46]
789*2^715748-1 is not prime.  Res64: C8A0B3C0C11546F9  Time : 3415.0 sec.
user=vaughan
[2009-10-09 08:37:02]
741*2^714855-1 is not prime.  Res64: 03AD06C19056EB5D  Time : 767.0 sec.
user=gd_barnes
[2009-10-09 08:37:06]
747*2^715749-1 is not prime.  Res64: 79589ADF50BF0415  Time : 3413.0 sec.
user=gd_barnes
[2009-10-09 08:38:13]
765*2^715749-1 is not prime.  Res64: 97B9BAF79F2939FA  Time : 3421.0 sec.
user=vaughan
[2009-10-09 08:39:05]
625*2^715759-1 is not prime.  Res64: CC2D101530FACA28  Time : 857.0 sec.
user=gd_barnes
[2009-10-09 08:42:02]
755*2^714842-1 is not prime.  Res64: ABD80631D288A1BD  Time : 3416.0 sec.
user=gd_barnes
[2009-10-09 08:44:10]
633*2^715752-1 is not prime.  Res64: 8A2E27338E31596E  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 08:46:11]
795*2^715749-1 is not prime.  Res64: 3CC783A5EE7FE39B  Time : 3820.0 sec.
user=vaughan
[2009-10-09 08:46:58]
615*2^715761-1 is not prime.  Res64: C38F2C8585ABD122  Time : 913.0 sec.
user=vaughan
[2009-10-09 08:47:41]
615*2^715759-1 is not prime.  Res64: 37AA150B6B19A6CE  Time : 1421.0 sec.
user=gd_barnes
[2009-10-09 08:48:28]
683*2^715752-1 is not prime.  Res64: 3725BC6B8374954C  Time : 3409.0 sec.
user=vaughan
[2009-10-09 08:49:37]
603*2^715762-1 is not prime.  Res64: AFB97BE4AB2FEBAC  Time : 755.0 sec.
user=gd_barnes
[2009-10-09 08:49:38]
713*2^715752-1 is not prime.  Res64: A09135AADAB504B5  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 08:49:55]
685*2^715751-1 is not prime.  Res64: 70B0AF3A5943D1E8  Time : 3778.0 sec.
user=vaughan
[2009-10-09 08:50:04]
727*2^715761-1 is not prime.  Res64: 51B731477E71AA9F  Time : 1052.0 sec.
user=vaughan
[2009-10-09 08:52:45]
675*2^715762-1 is not prime.  Res64: 1B9C8C063B3602AA  Time : 820.0 sec.
user=kar_bon
[2009-10-09 08:53:17]
665*2^715752-1 is not prime.  Res64: 1DFD224FAC6A7E5A  Time : 3778.0 sec.
user=gd_barnes
[2009-10-09 08:53:26]
649*2^715753-1 is not prime.  Res64: B60A494B62C3BA1E  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 08:54:26]
669*2^715752-1 is not prime.  Res64: 82E1CA956737AEB4  Time : 3825.0 sec.
user=gd_barnes
[2009-10-09 08:55:34]
747*2^715753-1 is not prime.  Res64: 466338032F110BFA  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 08:57:46]
759*2^715752-1 is not prime.  Res64: 6833E520F17B0D57  Time : 3715.0 sec.
user=gd_barnes
[2009-10-09 08:59:50]
753*2^715754-1 is not prime.  Res64: 58F3F68A248DFBD2  Time : 3409.0 sec.
user=gd_barnes
[2009-10-09 09:01:02]
783*2^715754-1 is not prime.  Res64: BF5602101E1F43CB  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 09:01:22]
663*2^715755-1 is not prime.  Res64: 46E48B770265362D  Time : 3422.0 sec.
user=vaughan
[2009-10-09 09:01:45]
753*2^715763-1 is not prime.  Res64: 3CD1CAA98B8823C3  Time : 887.0 sec.
user=vaughan
[2009-10-09 09:02:12]
723*2^715764-1 is not prime.  Res64: FC9B867F0B05E96E  Time : 755.0 sec.
user=kar_bon
[2009-10-09 09:04:47]
783*2^715755-1 is not prime.  Res64: 55B0D69D40450CCB  Time : 3376.0 sec.
user=gd_barnes
[2009-10-09 09:04:48]
739*2^715755-1 is not prime.  Res64: 54E7DB0DE8D58482  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 09:06:02]
615*2^715756-1 is not prime.  Res64: 5B959A269B4AD062  Time : 3417.0 sec.
user=vaughan
[2009-10-09 09:06:15]
771*2^715765-1 is not prime.  Res64: 5EC9CB2D940C26C6  Time : 810.0 sec.
user=gd_barnes
[2009-10-09 09:06:57]
657*2^715756-1 is not prime.  Res64: 3C952DF01FFCC1D0  Time : 3418.0 sec.
user=vaughan
[2009-10-09 09:07:38]
717*2^715765-1 is not prime.  Res64: DEBE8ED7DF666B6D  Time : 1054.0 sec.
user=kar_bon
[2009-10-09 09:09:18]
765*2^715756-1 is not prime.  Res64: 56588C89041E90F8  Time : 3415.0 sec.
user=gd_barnes
[2009-10-09 09:11:12]
735*2^715757-1 is not prime.  Res64: 6F95D6B5B4CE68F0  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 09:12:27]
741*2^715757-1 is not prime.  Res64: 8ADCA08002D07C33  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 09:12:47]
671*2^715758-1 is not prime.  Res64: D86432BD931D7611  Time : 3180.0 sec.
user=vaughan
[2009-10-09 09:13:37]
609*2^715764-1 is not prime.  Res64: 58BE4E5428E0E69D  Time : 1557.0 sec.
user=vaughan
[2009-10-09 09:14:55]
665*2^715768-1 is not prime.  Res64: A06CB2890C1FEAC7  Time : 763.0 sec.
user=gd_barnes
[2009-10-09 09:16:12]
651*2^715758-1 is not prime.  Res64: C438E1D7F1D4B68E  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 09:16:18]
665*2^715760-1 is not prime.  Res64: CF3CFAB7B5C33028  Time : 2777.0 sec.
user=vaughan
[2009-10-09 09:16:54]
639*2^715768-1 is not prime.  Res64: 42520379FC572939  Time : 909.0 sec.
user=kar_bon
[2009-10-09 09:17:34]
773*2^715760-1 is not prime.  Res64: 28F37C6E97B6573F  Time : 2798.0 sec.
user=gd_barnes
[2009-10-09 09:18:20]
777*2^715758-1 is not prime.  Res64: 14890EB0E9C79550  Time : 3417.0 sec.
user=vaughan
[2009-10-09 09:19:58]
787*2^715769-1 is not prime.  Res64: FFA4858FC4770BB5  Time : 823.0 sec.
user=gd_barnes
[2009-10-09 09:22:34]
633*2^715759-1 is not prime.  Res64: 95A06BBEA95231D1  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 09:23:51]
645*2^715760-1 is not prime.  Res64: 1269BE4AE925F567  Time : 3423.0 sec.
user=vaughan
[2009-10-09 09:25:35]
799*2^715769-1 is not prime.  Res64: 51CFCCECF28EA010  Time : 1077.0 sec.
user=vaughan
[2009-10-09 09:27:20]
665*2^715772-1 is not prime.  Res64: A0CDF5D226739DD5  Time : 745.0 sec.
user=gd_barnes
[2009-10-09 09:27:35]
677*2^715760-1 is not prime.  Res64: 12E58E532E6FE8D0  Time : 3416.0 sec.
user=gd_barnes
[2009-10-09 09:29:44]
795*2^715761-1 is not prime.  Res64: 578540BB5FF840AA  Time : 3418.0 sec.
user=kar_bon
[2009-10-09 09:31:02]
705*2^715763-1 is not prime.  Res64: BB60D833F9787267  Time : 2691.0 sec.
user=vaughan
[2009-10-09 09:31:33]
675*2^715773-1 is not prime.  Res64: E33835D794F623EC  Time : 879.0 sec.
user=gd_barnes
[2009-10-09 09:33:56]
657*2^715762-1 is not prime.  Res64: D4A33E06DA7D1220  Time : 3410.0 sec.
user=vaughan
[2009-10-09 09:34:07]
687*2^715774-1 is not prime.  Res64: 85AA4142A23E70E0  Time : 849.0 sec.
user=kar_bon
[2009-10-09 09:34:16]
679*2^715765-1 is not prime.  Res64: 0DEC5B5E2A4329AD  Time : 2661.0 sec.
user=gd_barnes
[2009-10-09 09:35:14]
609*2^714860-1 is not prime.  Res64: 14312FF39B77CF9E  Time : 3421.0 sec.
user=vaughan
[2009-10-09 09:37:02]
633*2^715772-1 is not prime.  Res64: CE13B8B034BF454E  Time : 1405.0 sec.
user=kar_bon
[2009-10-09 09:38:03]
711*2^715766-1 is not prime.  Res64: EFF2FDB41BB0604F  Time : 2686.0 sec.
user=gd_barnes
[2009-10-09 09:38:58]
791*2^715762-1 is not prime.  Res64: C5A201BB727BEA0B  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 09:39:43]
755*2^715766-1 is not prime.  Res64: A6292151B64F2E0E  Time : 2717.0 sec.
user=vaughan
[2009-10-09 09:40:12]
633*2^714882-1 is not prime.  Res64: D72832730037F520  Time : 772.0 sec.
user=gd_barnes
[2009-10-09 09:41:07]
643*2^715763-1 is not prime.  Res64: 52B526CE6944290C  Time : 3417.0 sec.
user=vaughan
[2009-10-09 09:43:25]
623*2^715776-1 is not prime.  Res64: E5D349D5D2067D96  Time : 1071.0 sec.
user=gd_barnes
[2009-10-09 09:45:17]
627*2^715764-1 is not prime.  Res64: 1D0EEFD9E391C53D  Time : 3409.0 sec.
user=kar_bon
[2009-10-09 09:46:34]
751*2^715767-1 is not prime.  Res64: CBE3BB6A22B155BF  Time : 2929.0 sec.
user=gd_barnes
[2009-10-09 09:46:38]
675*2^715765-1 is not prime.  Res64: EB4C7F9C5EBBF4A3  Time : 3421.0 sec.
user=vaughan
[2009-10-09 09:47:02]
685*2^715777-1 is not prime.  Res64: 4BD1A79783885572  Time : 929.0 sec.
user=vaughan
[2009-10-09 09:48:29]
741*2^715777-1 is not prime.  Res64: E21E1D618847FFC3  Time : 862.0 sec.
user=kar_bon
[2009-10-09 09:49:40]
623*2^715768-1 is not prime.  Res64: DCF0B251EB221469  Time : 2899.0 sec.
user=gd_barnes
[2009-10-09 09:50:21]
717*2^715766-1 is not prime.  Res64: 2574DF9808C0A1F1  Time : 3415.0 sec.
user=gd_barnes
[2009-10-09 09:52:30]
741*2^715767-1 is not prime.  Res64: CB4E8AA0E88CA6C9  Time : 3416.0 sec.
user=vaughan
[2009-10-09 09:53:00]
771*2^715778-1 is not prime.  Res64: C6E638858226318B  Time : 769.0 sec.
user=kar_bon
[2009-10-09 09:53:03]
673*2^714871-1 is not prime.  Res64: 72868152AD48E3D5  Time : 2896.0 sec.
user=kar_bon
[2009-10-09 09:55:03]
747*2^715769-1 is not prime.  Res64: 1C3788960BA7C522  Time : 2942.0 sec.
user=gd_barnes
[2009-10-09 09:56:40]
775*2^715767-1 is not prime.  Res64: F06EF0FF04340681  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 09:58:04]
603*2^715768-1 is not prime.  Res64: E0B4EB7B92962323  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 09:58:20]
627*2^715770-1 is not prime.  Res64: 15B883F63ACF0EBF  Time : 2942.0 sec.
user=vaughan
[2009-10-09 10:00:49]
663*2^715779-1 is not prime.  Res64: E4C20C21F83509E5  Time : 1045.0 sec.
user=vaughan
[2009-10-09 10:01:44]
657*2^715778-1 is not prime.  Res64: 2C3E6A8B94BD89EA  Time : 1482.0 sec.
user=gd_barnes
[2009-10-09 10:01:45]
695*2^715768-1 is not prime.  Res64: 7DB4CF883F5639C1  Time : 3417.0 sec.
user=vaughan
[2009-10-09 10:02:33]
665*2^715780-1 is not prime.  Res64: F3CA511BA08BE489  Time : 844.0 sec.
user=vaughan
[2009-10-09 10:03:07]
653*2^715780-1 is not prime.  Res64: 5E43D96336947D40  Time : 966.0 sec.
user=gd_barnes
[2009-10-09 10:03:54]
789*2^715769-1 is not prime.  Res64: 7CFF661F51721DC0  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 10:04:52]
723*2^715771-1 is not prime.  Res64: C46F091859C0142C  Time : 3125.0 sec.
user=vaughan
[2009-10-09 10:05:47]
765*2^715780-1 is not prime.  Res64: ED923F13FEA4F489  Time : 767.0 sec.
user=gd_barnes
[2009-10-09 10:08:03]
773*2^715770-1 is not prime.  Res64: A2E2A06BEFE78AD5  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 10:09:29]
651*2^715771-1 is not prime.  Res64: 70D21D8A0CECF500  Time : 3422.0 sec.
user=gd_barnes
[2009-10-09 10:13:07]
733*2^714875-1 is not prime.  Res64: D00402A29C24C074  Time : 3415.0 sec.
user=kar_bon
[2009-10-09 10:13:43]
607*2^715773-1 is not prime.  Res64: C3DD62CC57F28571  Time : 3445.0 sec.
user=gd_barnes
[2009-10-09 10:15:16]
681*2^715774-1 is not prime.  Res64: EB710F4DA33B290D  Time : 3416.0 sec.
user=vaughan
[2009-10-09 10:16:53]
667*2^715785-1 is not prime.  Res64: C21435E72015B3AE  Time : 860.0 sec.
user=vaughan
[2009-10-09 10:18:29]
771*2^715783-1 is not prime.  Res64: 0A1797968D915596  Time : 1060.0 sec.
user=vaughan
[2009-10-09 10:18:35]
765*2^715785-1 is not prime.  Res64: 52FCAFCD668F10E4  Time : 768.0 sec.
user=vaughan
[2009-10-09 10:18:38]
669*2^715785-1 is not prime.  Res64: E8222F6089E8DDCA  Time : 932.0 sec.
user=gd_barnes
[2009-10-09 10:19:24]
737*2^715774-1 is not prime.  Res64: 058784746894E22A  Time : 3410.0 sec.
user=kar_bon
[2009-10-09 10:19:27]
635*2^715774-1 is not prime.  Res64: A25D1CB489A609AE  Time : 3713.0 sec.
user=gd_barnes
[2009-10-09 10:20:53]
799*2^715775-1 is not prime.  Res64: 4458D9153D6DB4DB  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 10:22:44]
625*2^715777-1 is not prime.  Res64: F8BD4CD4C3D2E665  Time : 3102.0 sec.
user=gd_barnes
[2009-10-09 10:24:30]
635*2^715776-1 is not prime.  Res64: 32B265A20814010B  Time : 3415.0 sec.
user=kar_bon
[2009-10-09 10:25:14]
759*2^715777-1 is not prime.  Res64: 52B66FA8E5A67EBE  Time : 3058.0 sec.
user=gd_barnes
[2009-10-09 10:26:40]
737*2^715776-1 is not prime.  Res64: F3FBBC4F84C45DDD  Time : 3416.0 sec.
user=vaughan
[2009-10-09 10:26:47]
623*2^715784-1 is not prime.  Res64: 314E9EF91D4E110D  Time : 1503.0 sec.
user=gd_barnes
[2009-10-09 10:30:45]
687*2^715777-1 is not prime.  Res64: BF7199EE2DA08519  Time : 3410.0 sec.
user=vaughan
[2009-10-09 10:31:06]
619*2^715787-1 is not prime.  Res64: 9E70811C7028F45F  Time : 853.0 sec.
user=vaughan
[2009-10-09 10:31:20]
759*2^715787-1 is not prime.  Res64: 8F1F6F6D1FDD6BE9  Time : 765.0 sec.
user=gd_barnes
[2009-10-09 10:32:18]
651*2^715778-1 is not prime.  Res64: 918579F74C6C111B  Time : 3424.0 sec.
user=kar_bon
[2009-10-09 10:32:48]
687*2^715778-1 is not prime.  Res64: 5516C1290072EB1A  Time : 3285.0 sec.
user=vaughan
[2009-10-09 10:34:06]
669*2^715788-1 is not prime.  Res64: B4DB0145FF0BA311  Time : 928.0 sec.
user=gd_barnes
[2009-10-09 10:35:54]
711*2^715778-1 is not prime.  Res64: 64A39380646CC5D2  Time : 3416.0 sec.
user=vaughan
[2009-10-09 10:36:13]
723*2^714898-1 is not prime.  Res64: 0451C39D00D303E7  Time : 1065.0 sec.
user=gd_barnes
[2009-10-09 10:38:03]
797*2^715778-1 is not prime.  Res64: 640AF44B44FFCCED  Time : 3417.0 sec.
user=kar_bon
[2009-10-09 10:38:08]
671*2^714886-1 is not prime.  Res64: 2391F5AD09555A27  Time : 3506.0 sec.
user=kar_bon
[2009-10-09 10:41:25]
609*2^715780-1 is not prime.  Res64: A25268DF00D8702E  Time : 3291.0 sec.
user=gd_barnes
[2009-10-09 10:42:08]
745*2^715779-1 is not prime.  Res64: CD743DB34A916727  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 10:43:41]
635*2^715780-1 is not prime.  Res64: 900499F7B09B6135  Time : 3423.0 sec.
user=vaughan
[2009-10-09 10:44:04]
741*2^715791-1 is not prime.  Res64: FB6B32369FACB24E  Time : 764.0 sec.
user=vaughan
[2009-10-09 10:44:52]
705*2^715791-1 is not prime.  Res64: 67C04AD003ABAF38  Time : 826.0 sec.
user=gd_barnes
[2009-10-09 10:47:17]
695*2^715780-1 is not prime.  Res64: EF26CC21DF54FAC6  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 10:47:42]
677*2^715780-1 is not prime.  Res64: 8DFD7E3EC9865199  Time : 3482.0 sec.
user=vaughan
[2009-10-09 10:49:09]
687*2^715792-1 is not prime.  Res64: 6663B8652DF58BA2  Time : 903.0 sec.
user=gd_barnes
[2009-10-09 10:49:26]
603*2^714892-1 is not prime.  Res64: 92E0C341F938E2AD  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 10:51:29]
657*2^715781-1 is not prime.  Res64: 99D1E7B06C7B3866  Time : 3506.0 sec.
user=vaughan
[2009-10-09 10:52:23]
717*2^715792-1 is not prime.  Res64: 25B317F145A8D1F5  Time : 970.0 sec.
user=vaughan
[2009-10-09 10:52:43]
761*2^715790-1 is not prime.  Res64: D0CDCFD39339109F  Time : 1556.0 sec.
user=gd_barnes
[2009-10-09 10:53:30]
695*2^715782-1 is not prime.  Res64: F73C04A3DD413EDE  Time : 3410.0 sec.
user=kar_bon
[2009-10-09 10:54:30]
777*2^715781-1 is not prime.  Res64: D1E20A368C2415A1  Time : 3567.0 sec.
user=gd_barnes
[2009-10-09 10:55:06]
663*2^715783-1 is not prime.  Res64: B2198C540E0ECD87  Time : 3422.0 sec.
user=vaughan
[2009-10-09 10:56:50]
781*2^715793-1 is not prime.  Res64: F8044C58F2AF69C4  Time : 766.0 sec.
user=vaughan
[2009-10-09 10:58:40]
633*2^715794-1 is not prime.  Res64: 6AAAEECF50E58499  Time : 828.0 sec.
user=gd_barnes
[2009-10-09 10:58:40]
609*2^715785-1 is not prime.  Res64: 3A6C0D4F5CF6F56E  Time : 3415.0 sec.
user=gd_barnes
[2009-10-09 11:00:50]
685*2^715785-1 is not prime.  Res64: 6C3C0321E2956C00  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 11:01:21]
693*2^715783-1 is not prime.  Res64: B4CF9E941779A656  Time : 3781.0 sec.
user=kar_bon
[2009-10-09 11:03:47]
603*2^714895-1 is not prime.  Res64: 368581F657545913  Time : 3535.0 sec.
user=vaughan
[2009-10-09 11:04:27]
663*2^715794-1 is not prime.  Res64: D34C50E4B4C17AA9  Time : 918.0 sec.
user=gd_barnes
[2009-10-09 11:04:52]
789*2^715785-1 is not prime.  Res64: 1A11BC0E62E81B93  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 11:06:30]
603*2^715786-1 is not prime.  Res64: B8FEE331BA3E4CCC  Time : 3422.0 sec.
user=kar_bon
[2009-10-09 11:06:55]
705*2^715786-1 is not prime.  Res64: C491D26549496A1A  Time : 3192.0 sec.
user=vaughan
[2009-10-09 11:09:22]
709*2^715795-1 is not prime.  Res64: 57E44CBC61138DF6  Time : 1019.0 sec.
user=vaughan
[2009-10-09 11:09:47]
693*2^715796-1 is not prime.  Res64: DF84FFC96D79B31E  Time : 777.0 sec.
user=gd_barnes
[2009-10-09 11:10:03]
657*2^715786-1 is not prime.  Res64: 7C22E731155F8C3E  Time : 3416.0 sec.
user=kar_bon
[2009-10-09 11:10:16]
765*2^715788-1 is not prime.  Res64: 3F34C92476B0F9E6  Time : 3049.0 sec.
user=gd_barnes
[2009-10-09 11:12:13]
601*2^715787-1 is not prime.  Res64: AFE0E1011CED60C9  Time : 3417.0 sec.
user=vaughan
[2009-10-09 11:12:58]
707*2^715796-1 is not prime.  Res64: 90CAD237880B31E7  Time : 858.0 sec.
user=kar_bon
[2009-10-09 11:13:33]
601*2^715789-1 is not prime.  Res64: 4FDF053AA8DD6060  Time : 3049.0 sec.
user=gd_barnes
[2009-10-09 11:16:14]
689*2^715788-1 is not prime.  Res64: 86D13413DA34BC16  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 11:17:55]
795*2^715788-1 is not prime.  Res64: E99C55FA582A2AD1  Time : 3422.0 sec.
user=vaughan
[2009-10-09 11:18:40]
793*2^715795-1 is not prime.  Res64: 3BD9745068C4CE36  Time : 1557.0 sec.
user=vaughan
[2009-10-09 11:20:20]
603*2^715798-1 is not prime.  Res64: 120D1A1036CFB16C  Time : 953.0 sec.
user=gd_barnes
[2009-10-09 11:21:26]
663*2^715790-1 is not prime.  Res64: 5410A63C351D9125  Time : 3416.0 sec.
user=vaughan
[2009-10-09 11:22:38]
621*2^715799-1 is not prime.  Res64: 043791AAFDCDEA7D  Time : 771.0 sec.
user=gd_barnes
[2009-10-09 11:23:37]
711*2^715790-1 is not prime.  Res64: 69D4958887E3CE95  Time : 3417.0 sec.
user=vaughan
[2009-10-09 11:26:08]
759*2^714916-1 is not prime.  Res64: 1D19ADDCC0E085BF  Time : 1007.0 sec.
user=vaughan
[2009-10-09 11:27:04]
665*2^715800-1 is not prime.  Res64: FAFD95ED5D69DD35  Time : 846.0 sec.
user=gd_barnes
[2009-10-09 11:27:35]
705*2^714902-1 is not prime.  Res64: 38C53B054D1B797A  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 11:29:20]
775*2^715791-1 is not prime.  Res64: A5FB6C3437763DD2  Time : 3422.0 sec.
user=gd_barnes
[2009-10-09 11:32:51]
705*2^715792-1 is not prime.  Res64: DCE97523276B210E  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 11:35:00]
797*2^715792-1 is not prime.  Res64: 6A1AB8CFCE6FB4AF  Time : 3417.0 sec.
user=vaughan
[2009-10-09 11:35:30]
601*2^714921-1 is not prime.  Res64: 23C8EFAF26ED2CFC  Time : 773.0 sec.
user=vaughan
[2009-10-09 11:35:55]
789*2^715801-1 is not prime.  Res64: A938E34655D4778D  Time : 935.0 sec.
user=gd_barnes
[2009-10-09 11:38:58]
657*2^715793-1 is not prime.  Res64: 468A5C6282C0BDAE  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 11:40:42]
741*2^714906-1 is not prime.  Res64: 000EBFD2BFC4223B  Time : 3421.0 sec.
user=vaughan
[2009-10-09 11:41:17]
791*2^715802-1 is not prime.  Res64: 2BD794BB9500BBD6  Time : 853.0 sec.
user=vaughan
[2009-10-09 11:42:17]
743*2^715802-1 is not prime.  Res64: E218D7FBA2B6E24F  Time : 969.0 sec.
user=gd_barnes
[2009-10-09 11:44:14]
641*2^715794-1 is not prime.  Res64: 4A56D65627BC3191  Time : 3417.0 sec.
user=vaughan
[2009-10-09 11:45:29]
777*2^715801-1 is not prime.  Res64: B98851F8CF42F776  Time : 1609.0 sec.
user=gd_barnes
[2009-10-09 11:46:24]
723*2^715794-1 is not prime.  Res64: 417A3D6E9CAFDE4B  Time : 3418.0 sec.
user=vaughan
[2009-10-09 11:48:25]
795*2^715803-1 is not prime.  Res64: 0F4A81D04FFD40DF  Time : 776.0 sec.
user=gd_barnes
[2009-10-09 11:50:20]
623*2^715796-1 is not prime.  Res64: 34B20BDE90580778  Time : 3410.0 sec.
user=vaughan
[2009-10-09 11:51:42]
609*2^715804-1 is not prime.  Res64: EE94341CE57DC9FE  Time : 947.0 sec.
user=gd_barnes
[2009-10-09 11:52:07]
689*2^714912-1 is not prime.  Res64: 860A9A4E2D309E84  Time : 3421.0 sec.
user=vaughan
[2009-10-09 11:55:23]
699*2^715805-1 is not prime.  Res64: FA277116AE0C9DCA  Time : 846.0 sec.
user=gd_barnes
[2009-10-09 11:55:37]
785*2^715796-1 is not prime.  Res64: B7D72C453A07CF17  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 11:57:47]
649*2^715797-1 is not prime.  Res64: 819F2BFA212C73DF  Time : 3418.0 sec.
user=vaughan
[2009-10-09 11:59:23]
717*2^715805-1 is not prime.  Res64: 9966A25C9D751A87  Time : 1026.0 sec.
user=kar_bon
[2009-10-09 12:00:32]
691*2^715359-1 is not prime.  Res64: 643A3D1E1927BD85  Time : 86184.0 sec.
user=kar_bon
[2009-10-09 12:00:32]
693*2^715359-1 is not prime.  Res64: B3841A980C913B0F  Time : 86183.0 sec.
user=kar_bon
[2009-10-09 12:00:32]
709*2^715359-1 is not prime.  Res64: 632C38D614FD1697  Time : 86183.0 sec.
user=kar_bon
[2009-10-09 12:00:33]
735*2^715359-1 is not prime.  Res64: EE219CBB91C00E76  Time : 86183.0 sec.
user=kar_bon
[2009-10-09 12:00:33]
609*2^715615-1 is not prime.  Res64: 7E71607474D6CD2B  Time : 45411.0 sec.
user=kar_bon
[2009-10-09 12:00:33]
651*2^715615-1 is not prime.  Res64: 54DEB6F3753879E5  Time : 45411.0 sec.
user=kar_bon
[2009-10-09 12:00:33]
783*2^715615-1 is not prime.  Res64: 1194855552C9248E  Time : 45410.0 sec.
user=kar_bon
[2009-10-09 12:00:34]
603*2^715616-1 is not prime.  Res64: 0B75E423C4680993  Time : 45411.0 sec.
user=kar_bon
[2009-10-09 12:00:34]
657*2^715616-1 is not prime.  Res64: 2D329B1BC972A5F1  Time : 45410.0 sec.
user=kar_bon
[2009-10-09 12:00:34]
683*2^715616-1 is not prime.  Res64: 5DEBD43CF9580CFC  Time : 45410.0 sec.
user=kar_bon
[2009-10-09 12:00:35]
693*2^715616-1 is not prime.  Res64: 3D5D0797CD04CB96  Time : 45410.0 sec.
user=kar_bon
[2009-10-09 12:00:35]
773*2^715616-1 is not prime.  Res64: 9CA3C011D17CAC57  Time : 45410.0 sec.
user=kar_bon
[2009-10-09 12:00:35]
785*2^715616-1 is not prime.  Res64: A84E7795A74148C4  Time : 45409.0 sec.
user=kar_bon
[2009-10-09 12:00:35]
681*2^715617-1 is not prime.  Res64: 5007D95541B68EA7  Time : 45408.0 sec.
user=kar_bon
[2009-10-09 12:00:36]
699*2^715617-1 is not prime.  Res64: DF535EDA66EEB0E4  Time : 45408.0 sec.
user=kar_bon
[2009-10-09 12:00:36]
717*2^715617-1 is not prime.  Res64: E6ADD168AEE9A546  Time : 45407.0 sec.
user=kar_bon
[2009-10-09 12:00:36]
747*2^715617-1 is not prime.  Res64: 8587E2BA88F640BE  Time : 45406.0 sec.
user=kar_bon
[2009-10-09 12:00:36]
781*2^715617-1 is not prime.  Res64: 6C0CD20ED0B2CEC0  Time : 45406.0 sec.
user=kar_bon
[2009-10-09 12:00:37]
671*2^715618-1 is not prime.  Res64: 47C4F3EDB1958BB1  Time : 45406.0 sec.
user=kar_bon
[2009-10-09 12:00:37]
681*2^715618-1 is not prime.  Res64: 4BE7C5D720DD71A8  Time : 45406.0 sec.
user=kar_bon
[2009-10-09 12:00:37]
687*2^715618-1 is not prime.  Res64: 83A1EADF2FCE5246  Time : 45405.0 sec.
user=kar_bon
[2009-10-09 12:00:38]
777*2^715618-1 is not prime.  Res64: 4E37FE3F1AF33A1F  Time : 45406.0 sec.
user=kar_bon
[2009-10-09 12:00:38]
645*2^715619-1 is not prime.  Res64: A5B1DE419C3BBA23  Time : 45405.0 sec.
user=kar_bon
[2009-10-09 12:00:38]
703*2^715619-1 is not prime.  Res64: 3A2B9B5184198EF4  Time : 45405.0 sec.
user=kar_bon
[2009-10-09 12:00:38]
775*2^715619-1 is not prime.  Res64: 7D37026411AF8B63  Time : 45404.0 sec.
user=kar_bon
[2009-10-09 12:00:39]
695*2^715620-1 is not prime.  Res64: FBDD55BE8E09789C  Time : 45405.0 sec.
user=kar_bon
[2009-10-09 12:00:39]
765*2^715620-1 is not prime.  Res64: 18B3A991E9167218  Time : 45404.0 sec.
user=kar_bon
[2009-10-09 12:00:39]
645*2^715621-1 is not prime.  Res64: 86E74AB98215E659  Time : 45403.0 sec.
user=kar_bon
[2009-10-09 12:00:39]
679*2^715621-1 is not prime.  Res64: 46B7E0EF99BEC481  Time : 45403.0 sec.
user=kar_bon
[2009-10-09 12:00:40]
717*2^715621-1 is not prime.  Res64: EB3A57213631F9AF  Time : 45403.0 sec.
user=kar_bon
[2009-10-09 12:00:40]
747*2^715621-1 is not prime.  Res64: DA7B1BAA89D1C312  Time : 45403.0 sec.
user=kar_bon
[2009-10-09 12:00:40]
769*2^715621-1 is not prime.  Res64: 555E4719536D086E  Time : 45402.0 sec.
user=kar_bon
[2009-10-09 12:00:41]
775*2^715621-1 is not prime.  Res64: F12C74231E9619BA  Time : 45403.0 sec.
user=kar_bon
[2009-10-09 12:00:41]
635*2^715622-1 is not prime.  Res64: 95AD601C339B5AE7  Time : 45402.0 sec.
user=kar_bon
[2009-10-09 12:00:41]
739*2^715623-1 is not prime.  Res64: 1322D72A6770994E  Time : 45402.0 sec.
user=kar_bon
[2009-10-09 12:00:42]
781*2^715623-1 is not prime.  Res64: B430C924550450B2  Time : 45402.0 sec.
user=kar_bon
[2009-10-09 12:00:42]
663*2^715624-1 is not prime.  Res64: 84179A395D239514  Time : 45402.0 sec.
user=kar_bon
[2009-10-09 12:00:42]
747*2^715624-1 is not prime.  Res64: 15A7F3B9DF0E437A  Time : 45401.0 sec.
user=kar_bon
[2009-10-09 12:00:42]
649*2^715625-1 is not prime.  Res64: 9256E39A234AF5BC  Time : 45400.0 sec.
user=kar_bon
[2009-10-09 12:00:43]
651*2^715625-1 is not prime.  Res64: C904F540883DFF88  Time : 45401.0 sec.
user=kar_bon
[2009-10-09 12:00:43]
729*2^715625-1 is not prime.  Res64: C4A7FF6139D5E96F  Time : 45400.0 sec.
user=kar_bon
[2009-10-09 12:00:43]
741*2^715625-1 is not prime.  Res64: 69638A6CF958DC0E  Time : 45400.0 sec.
user=kar_bon
[2009-10-09 12:00:43]
787*2^715625-1 is not prime.  Res64: FAE5D66077844AD2  Time : 45399.0 sec.
user=kar_bon
[2009-10-09 12:00:44]
799*2^715625-1 is not prime.  Res64: 03600E0FB34240D0  Time : 45400.0 sec.
user=kar_bon
[2009-10-09 12:00:44]
611*2^715626-1 is not prime.  Res64: 64E70ACD12186865  Time : 45399.0 sec.
user=kar_bon
[2009-10-09 12:00:44]
615*2^715626-1 is not prime.  Res64: 6612EB10F725C401  Time : 45399.0 sec.
user=kar_bon
[2009-10-09 12:00:44]
711*2^715626-1 is not prime.  Res64: 6047ED7A7BEDF9E3  Time : 45398.0 sec.
user=kar_bon
[2009-10-09 12:00:45]
717*2^715626-1 is not prime.  Res64: 617E9C923DFE9A94  Time : 45399.0 sec.
user=kar_bon
[2009-10-09 12:00:45]
777*2^715626-1 is not prime.  Res64: 701F4CF62FC379C2  Time : 45398.0 sec.
user=kar_bon
[2009-10-09 12:00:45]
615*2^715627-1 is not prime.  Res64: 1045AD28B53C8AA4  Time : 45397.0 sec.
user=vaughan
[2009-10-09 12:01:16]
735*2^714928-1 is not prime.  Res64: E9C84E1188A668BA  Time : 772.0 sec.
user=gd_barnes
[2009-10-09 12:01:42]
681*2^715798-1 is not prime.  Res64: 524D1055CD198B9C  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 12:03:33]
747*2^715798-1 is not prime.  Res64: 9713F62ED3BD7AE3  Time : 3423.0 sec.
user=gd_barnes
[2009-10-09 12:07:01]
669*2^715799-1 is not prime.  Res64: 507CBAA0DE2822F1  Time : 3418.0 sec.
user=vaughan
[2009-10-09 12:07:21]
795*2^715805-1 is not prime.  Res64: 2C0AE5F4EE80F4F2  Time : 940.0 sec.
user=gd_barnes
[2009-10-09 12:09:11]
789*2^715799-1 is not prime.  Res64: 79C8AAD517AFE2C4  Time : 3418.0 sec.
user=vaughan
[2009-10-09 12:10:27]
725*2^715806-1 is not prime.  Res64: 4BA58811CBF46B33  Time : 904.0 sec.
user=vaughan
[2009-10-09 12:12:26]
735*2^715805-1 is not prime.  Res64: 2DB8C7A2D540CBE4  Time : 1617.0 sec.
user=gd_barnes
[2009-10-09 12:13:04]
649*2^715801-1 is not prime.  Res64: 68D043EFABD15064  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 12:14:55]
687*2^715801-1 is not prime.  Res64: 9ACFCB18BAE82287  Time : 3420.0 sec.
user=vaughan
[2009-10-09 12:16:02]
733*2^714931-1 is not prime.  Res64: 52F0A2078AD7C1FE  Time : 999.0 sec.
user=vaughan
[2009-10-09 12:16:53]
773*2^715818-1 is not prime.  Res64: 9D9A94FF909F1A0B  Time : 937.0 sec.
user=gd_barnes
[2009-10-09 12:18:23]
665*2^715802-1 is not prime.  Res64: 5449CBDA9BF9D645  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 12:20:33]
705*2^715802-1 is not prime.  Res64: 29F094B8981BFFF8  Time : 3416.0 sec.
user=gd_barnes
[2009-10-09 12:24:26]
675*2^715803-1 is not prime.  Res64: 3036DBDCE644BF3A  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 12:26:20]
685*2^715803-1 is not prime.  Res64: 3361A8EA24CBD80D  Time : 3420.0 sec.
user=vaughan
[2009-10-09 12:27:03]
777*2^715821-1 is not prime.  Res64: 145800804D480B1F  Time : 996.0 sec.
user=gd_barnes
[2009-10-09 12:29:47]
705*2^715803-1 is not prime.  Res64: EEFFE873493EB2B6  Time : 3416.0 sec.
user=gd_barnes
[2009-10-09 12:31:53]
753*2^714924-1 is not prime.  Res64: 346114B8B2BFC760  Time : 3413.0 sec.
user=vaughan
[2009-10-09 12:32:33]
681*2^715822-1 is not prime.  Res64: F8DA865B28A455AE  Time : 992.0 sec.
user=vaughan
[2009-10-09 12:33:47]
745*2^715819-1 is not prime.  Res64: B51F6821B8B7C754  Time : 1586.0 sec.
user=vaughan
[2009-10-09 12:33:55]
713*2^715822-1 is not prime.  Res64: 7B9217E1732D3EBC  Time : 1022.0 sec.
user=gd_barnes
[2009-10-09 12:35:49]
655*2^715805-1 is not prime.  Res64: 0D59589C772A3855  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 12:37:44]
691*2^715805-1 is not prime.  Res64: F53521CF09A1A3DD  Time : 3422.0 sec.
user=vaughan
[2009-10-09 12:37:50]
795*2^715821-1 is not prime.  Res64: DDBDCBFEA89C030E  Time : 1524.0 sec.
user=gd_barnes
[2009-10-09 12:41:11]
729*2^715805-1 is not prime.  Res64: AC38E8477CB26065  Time : 3417.0 sec.
user=vaughan
[2009-10-09 12:42:27]
703*2^715823-1 is not prime.  Res64: C52BA986CA59C914  Time : 924.0 sec.
user=gd_barnes
[2009-10-09 12:43:15]
771*2^715805-1 is not prime.  Res64: 5E8B555AABAA31EF  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 12:47:11]
777*2^715805-1 is not prime.  Res64: 797161D8982AE40C  Time : 3411.0 sec.
user=vaughan
[2009-10-09 12:47:51]
767*2^715824-1 is not prime.  Res64: F52625F4EB30E9EC  Time : 836.0 sec.
user=gd_barnes
[2009-10-09 12:49:09]
611*2^715806-1 is not prime.  Res64: 5693D8D200BEE6AD  Time : 3422.0 sec.
user=vaughan
[2009-10-09 12:49:09]
765*2^714942-1 is not prime.  Res64: E26572F2C1751D91  Time : 997.0 sec.
user=vaughan
[2009-10-09 12:50:49]
759*2^715824-1 is not prime.  Res64: 01F81A072B779846  Time : 1022.0 sec.
user=gd_barnes
[2009-10-09 12:52:33]
755*2^715806-1 is not prime.  Res64: 691DDF411A232CB9  Time : 3416.0 sec.
user=gd_barnes
[2009-10-09 12:54:36]
603*2^715807-1 is not prime.  Res64: 9CF4BD669FF94238  Time : 3409.0 sec.
user=vaughan
[2009-10-09 12:56:13]
641*2^715826-1 is not prime.  Res64: 0120062625AF6D08  Time : 826.0 sec.
user=gd_barnes
[2009-10-09 12:58:33]
791*2^715818-1 is not prime.  Res64: 079C664EAD5D7F1D  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 13:00:34]
631*2^715819-1 is not prime.  Res64: 9FB8C115D09803A0  Time : 3422.0 sec.
user=vaughan
[2009-10-09 13:00:53]
711*2^715826-1 is not prime.  Res64: 458CFC945EB7B6F1  Time : 783.0 sec.
user=vaughan
[2009-10-09 13:03:23]
667*2^715825-1 is not prime.  Res64: 51FE20D5890AA5AC  Time : 1533.0 sec.
user=gd_barnes
[2009-10-09 13:03:57]
723*2^715819-1 is not prime.  Res64: B9B3012743EFB2CD  Time : 3416.0 sec.
user=gd_barnes
[2009-10-09 13:06:00]
753*2^715820-1 is not prime.  Res64: A44B58661F3F08E7  Time : 3409.0 sec.
user=vaughan
[2009-10-09 13:06:43]
691*2^715827-1 is not prime.  Res64: D8C70AC785969B13  Time : 1054.0 sec.
user=vaughan
[2009-10-09 13:06:51]
615*2^715828-1 is not prime.  Res64: 9EE4D542705E6202  Time : 963.0 sec.
user=vaughan
[2009-10-09 13:09:37]
741*2^715829-1 is not prime.  Res64: EAFEED04135C135B  Time : 805.0 sec.
user=gd_barnes
[2009-10-09 13:09:55]
671*2^715822-1 is not prime.  Res64: 4A74B43199AA4A61  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 13:11:57]
619*2^714937-1 is not prime.  Res64: 7EC7D4A8977F68C8  Time : 3422.0 sec.
user=vaughan
[2009-10-09 13:13:38]
717*2^715830-1 is not prime.  Res64: D61B670EF15D57D4  Time : 765.0 sec.
user=gd_barnes
[2009-10-09 13:15:20]
731*2^715822-1 is not prime.  Res64: 3FF857635398D8F5  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 13:17:21]
737*2^715822-1 is not prime.  Res64: CC03E4723DB1E5F9  Time : 3409.0 sec.
user=gd_barnes
[2009-10-09 13:21:17]
603*2^715823-1 is not prime.  Res64: FE1B36007FB935D0  Time : 3411.0 sec.
user=vaughan
[2009-10-09 13:22:15]
771*2^715831-1 is not prime.  Res64: FF529D4F7CD44A8B  Time : 925.0 sec.
user=vaughan
[2009-10-09 13:22:59]
767*2^715832-1 is not prime.  Res64: FDF2078B9F8307B8  Time : 803.0 sec.
user=gd_barnes
[2009-10-09 13:23:21]
619*2^715823-1 is not prime.  Res64: 7EE15E052A6883F2  Time : 3421.0 sec.
user=vaughan
[2009-10-09 13:24:15]
741*2^715831-1 is not prime.  Res64: 9035398DA0645E6C  Time : 1053.0 sec.
user=vaughan
[2009-10-09 13:26:24]
787*2^715833-1 is not prime.  Res64: 2702B639952032B4  Time : 766.0 sec.
user=gd_barnes
[2009-10-09 13:26:44]
775*2^715823-1 is not prime.  Res64: E5564759B8D358B9  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 13:28:42]
665*2^715824-1 is not prime.  Res64: F462F4FB55348807  Time : 3409.0 sec.
user=vaughan
[2009-10-09 13:29:59]
765*2^715830-1 is not prime.  Res64: 8C814E70E01CFC14  Time : 1596.0 sec.
user=gd_barnes
[2009-10-09 13:32:40]
773*2^715824-1 is not prime.  Res64: 273B74A152DDC5E4  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 13:34:47]
601*2^715825-1 is not prime.  Res64: 34E95DBA286FE26E  Time : 3423.0 sec.
user=vaughan
[2009-10-09 13:36:23]
609*2^715836-1 is not prime.  Res64: 2D238ABC3C512C02  Time : 804.0 sec.
user=vaughan
[2009-10-09 13:36:57]
759*2^715835-1 is not prime.  Res64: 2DE4FB1408B05F88  Time : 882.0 sec.
user=gd_barnes
[2009-10-09 13:38:08]
717*2^715825-1 is not prime.  Res64: 63342347BC86792F  Time : 3417.0 sec.
user=vaughan
[2009-10-09 13:39:07]
695*2^715836-1 is not prime.  Res64: 12898A438AA4A410  Time : 763.0 sec.
user=gd_barnes
[2009-10-09 13:40:04]
677*2^715826-1 is not prime.  Res64: 05F6FAE83A5638C9  Time : 3409.0 sec.
user=vaughan
[2009-10-09 13:41:59]
621*2^714957-1 is not prime.  Res64: F2CDCBD5D1A40EA3  Time : 1065.0 sec.
user=gd_barnes
[2009-10-09 13:44:01]
765*2^714945-1 is not prime.  Res64: 9BEF36D414F497C9  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 13:46:11]
609*2^715827-1 is not prime.  Res64: 610D1828D67FC121  Time : 3422.0 sec.
user=gd_barnes
[2009-10-09 13:49:30]
783*2^715828-1 is not prime.  Res64: ED1904FF067E231E  Time : 3417.0 sec.
user=vaughan
[2009-10-09 13:50:22]
635*2^715838-1 is not prime.  Res64: FA3EE1E6B8C3D527  Time : 839.0 sec.
user=gd_barnes
[2009-10-09 13:51:27]
797*2^715828-1 is not prime.  Res64: 6FC15251E4072EA2  Time : 3411.0 sec.
user=vaughan
[2009-10-09 13:52:24]
753*2^715838-1 is not prime.  Res64: ACA87CA02D2FAC1C  Time : 797.0 sec.
user=vaughan
[2009-10-09 13:52:40]
745*2^714961-1 is not prime.  Res64: 59E984E76650941C  Time : 943.0 sec.
user=vaughan
[2009-10-09 13:54:56]
609*2^715837-1 is not prime.  Res64: AF569FC5920BA376  Time : 1498.0 sec.
user=gd_barnes
[2009-10-09 13:55:23]
707*2^715830-1 is not prime.  Res64: CC8DED0A0B37A907  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 13:57:34]
797*2^714948-1 is not prime.  Res64: 6023CBAA13D0B185  Time : 3421.0 sec.
user=vaughan
[2009-10-09 13:59:03]
685*2^715839-1 is not prime.  Res64: 9DC33174CF2DCC75  Time : 1024.0 sec.
user=gd_barnes
[2009-10-09 14:00:54]
685*2^715831-1 is not prime.  Res64: CDF9CE84BB15A571  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 14:02:47]
693*2^715831-1 is not prime.  Res64: 1089B99EA81C09FD  Time : 3407.0 sec.
user=vaughan
[2009-10-09 14:04:05]
603*2^715840-1 is not prime.  Res64: FAFE0E06DEF8014E  Time : 823.0 sec.
user=vaughan
[2009-10-09 14:04:59]
689*2^715840-1 is not prime.  Res64: 789AEC085E0CAAE9  Time : 755.0 sec.
user=gd_barnes
[2009-10-09 14:06:46]
639*2^715833-1 is not prime.  Res64: 1045BD28A146A0C2  Time : 3411.0 sec.
user=vaughan
[2009-10-09 14:07:34]
717*2^715840-1 is not prime.  Res64: 66DE1300EC33F533  Time : 894.0 sec.
user=gd_barnes
[2009-10-09 14:08:57]
627*2^714953-1 is not prime.  Res64: EAAB3BAD822A4330  Time : 3420.0 sec.
user=gd_barnes
[2009-10-09 14:12:17]
635*2^715834-1 is not prime.  Res64: 6E269BC957FE3565  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 14:14:09]
663*2^715834-1 is not prime.  Res64: 7B209BEEF1181AF0  Time : 3408.0 sec.
user=vaughan
[2009-10-09 14:16:42]
735*2^715841-1 is not prime.  Res64: 07EB633BDBE110D4  Time : 1059.0 sec.
user=vaughan
[2009-10-09 14:17:56]
741*2^715842-1 is not prime.  Res64: 290768645AB85B44  Time : 777.0 sec.
user=gd_barnes
[2009-10-09 14:18:08]
783*2^715834-1 is not prime.  Res64: FD13DC09B5ABCE22  Time : 3411.0 sec.
user=vaughan
[2009-10-09 14:18:29]
705*2^715842-1 is not prime.  Res64: 4B7050CE05D4534C  Time : 864.0 sec.
user=gd_barnes
[2009-10-09 14:20:22]
669*2^715836-1 is not prime.  Res64: EF46ADB15504D429  Time : 3421.0 sec.
user=vaughan
[2009-10-09 14:20:56]
637*2^715841-1 is not prime.  Res64: 6DE405BA6F0E977D  Time : 1561.0 sec.
user=vaughan
[2009-10-09 14:23:08]
685*2^715843-1 is not prime.  Res64: 58FCAEB189910E65  Time : 934.0 sec.
user=gd_barnes
[2009-10-09 14:23:41]
765*2^715836-1 is not prime.  Res64: 094292781C7B23E9  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 14:25:31]
777*2^715836-1 is not prime.  Res64: 972683BDB0D51BAD  Time : 3409.0 sec.
user=gd_barnes
[2009-10-09 14:29:32]
729*2^715837-1 is not prime.  Res64: 52647F100CEDE2DC  Time : 3412.0 sec.
user=vaughan
[2009-10-09 14:30:56]
617*2^715844-1 is not prime.  Res64: FA57B6ED57A63028  Time : 780.0 sec.
user=gd_barnes
[2009-10-09 14:31:46]
741*2^715837-1 is not prime.  Res64: F08FDA168E015FD5  Time : 3419.0 sec.
user=vaughan
[2009-10-09 14:33:07]
649*2^715845-1 is not prime.  Res64: 326C2691DC4D1923  Time : 878.0 sec.
user=vaughan
[2009-10-09 14:34:59]
735*2^715843-1 is not prime.  Res64: 03BCA91A390FBFD5  Time : 1097.0 sec.
user=gd_barnes
[2009-10-09 14:35:04]
713*2^715838-1 is not prime.  Res64: 4EA0853204858000  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 14:36:53]
675*2^715839-1 is not prime.  Res64: 13044621935E9C03  Time : 3409.0 sec.
user=vaughan
[2009-10-09 14:38:41]
709*2^715845-1 is not prime.  Res64: D09E9B7A2F88515D  Time : 933.0 sec.
user=gd_barnes
[2009-10-09 14:40:52]
691*2^715839-1 is not prime.  Res64: 40C199C0202A0E44  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 14:43:11]
735*2^715839-1 is not prime.  Res64: AC3A349EA5BB56C1  Time : 3421.0 sec.
user=vaughan
[2009-10-09 14:43:42]
723*2^715846-1 is not prime.  Res64: 8646A4E938D1624B  Time : 766.0 sec.
user=gd_barnes
[2009-10-09 14:46:27]
741*2^715839-1 is not prime.  Res64: 17B125B1284C4BFD  Time : 3417.0 sec.
user=vaughan
[2009-10-09 14:46:46]
699*2^715845-1 is not prime.  Res64: 17AC2B09AA972A2A  Time : 1550.0 sec.
user=vaughan
[2009-10-09 14:47:38]
675*2^715847-1 is not prime.  Res64: B747D24969B08E8F  Time : 871.0 sec.
user=gd_barnes
[2009-10-09 14:48:15]
663*2^715840-1 is not prime.  Res64: 6FC700CB8E073C69  Time : 3409.0 sec.
user=gd_barnes
[2009-10-09 14:52:15]
645*2^715841-1 is not prime.  Res64: FA0B49471BB12224  Time : 3412.0 sec.
user=vaughan
[2009-10-09 14:52:36]
729*2^715847-1 is not prime.  Res64: B0F4F8216577D44E  Time : 1057.0 sec.
user=vaughan
[2009-10-09 14:53:58]
685*2^714989-1 is not prime.  Res64: 294D2F8014226006  Time : 917.0 sec.
user=gd_barnes
[2009-10-09 14:54:35]
711*2^715841-1 is not prime.  Res64: 9DEC3DE95C0C9D1B  Time : 3421.0 sec.
user=vaughan
[2009-10-09 14:56:38]
737*2^715848-1 is not prime.  Res64: A2FA18291B75C373  Time : 776.0 sec.
user=gd_barnes
[2009-10-09 14:57:51]
677*2^715842-1 is not prime.  Res64: 08AAA63AE395578E  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 14:59:36]
683*2^715842-1 is not prime.  Res64: 0CE4B80DCF819E07  Time : 3409.0 sec.
user=vaughan
[2009-10-09 15:02:24]
751*2^715849-1 is not prime.  Res64: ABC374353CFA2E0B  Time : 886.0 sec.
user=gd_barnes
[2009-10-09 15:03:36]
649*2^715843-1 is not prime.  Res64: 3FB43A194F4683E9  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 15:06:00]
703*2^715843-1 is not prime.  Res64: 5A6D816192DF32C4  Time : 3423.0 sec.
user=gd_barnes
[2009-10-09 15:09:14]
709*2^715843-1 is not prime.  Res64: E55A2C965F98AE93  Time : 3417.0 sec.
user=vaughan
[2009-10-09 15:09:35]
783*2^715851-1 is not prime.  Res64: D6C4127BBDAA4D64  Time : 777.0 sec.
user=vaughan
[2009-10-09 15:09:47]
685*2^715851-1 is not prime.  Res64: 8848640C915707FD  Time : 949.0 sec.
user=vaughan
[2009-10-09 15:10:50]
735*2^715850-1 is not prime.  Res64: 95DECFE55BB84607  Time : 1095.0 sec.
user=gd_barnes
[2009-10-09 15:10:58]
663*2^714984-1 is not prime.  Res64: 158E5B54909D9B25  Time : 3409.0 sec.
user=vaughan
[2009-10-09 15:12:28]
681*2^715849-1 is not prime.  Res64: 461DA838F72C1E8F  Time : 1543.0 sec.
user=gd_barnes
[2009-10-09 15:14:59]
753*2^715844-1 is not prime.  Res64: 2F21705145478990  Time : 3411.0 sec.
user=vaughan
[2009-10-09 15:17:06]
735*2^715852-1 is not prime.  Res64: 501293DDFFFB2BB0  Time : 882.0 sec.
user=gd_barnes
[2009-10-09 15:17:24]
685*2^715845-1 is not prime.  Res64: 05D75D50B91FC0C6  Time : 3423.0 sec.
user=gd_barnes
[2009-10-09 15:20:38]
741*2^715845-1 is not prime.  Res64: DF16A9FD8A4C93EC  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 15:22:18]
619*2^714987-1 is not prime.  Res64: 3C231D231E81F631  Time : 3407.0 sec.
user=vaughan
[2009-10-09 15:22:30]
697*2^715853-1 is not prime.  Res64: DD3816E5A7D3B137  Time : 775.0 sec.
user=vaughan
[2009-10-09 15:25:27]
795*2^715853-1 is not prime.  Res64: C3CE42549848A3E4  Time : 940.0 sec.
user=gd_barnes
[2009-10-09 15:26:21]
717*2^715846-1 is not prime.  Res64: 5E98CA8C5BB555E4  Time : 3410.0 sec.
user=vaughan
[2009-10-09 15:28:20]
651*2^715854-1 is not prime.  Res64: 3D803DE6F6F4C764  Time : 1051.0 sec.
user=gd_barnes
[2009-10-09 15:28:49]
619*2^715847-1 is not prime.  Res64: 933582CEE655E778  Time : 3423.0 sec.
user=vaughan
[2009-10-09 15:31:42]
735*2^714999-1 is not prime.  Res64: 25DA2AAB42B6A529  Time : 876.0 sec.
user=gd_barnes
[2009-10-09 15:32:01]
735*2^715847-1 is not prime.  Res64: 8A9C1901C16DB4DC  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 15:33:40]
739*2^715847-1 is not prime.  Res64: B61B873074C65DA0  Time : 3407.0 sec.
user=vaughan
[2009-10-09 15:35:24]
783*2^715855-1 is not prime.  Res64: 72DDC0F44CA6DE5A  Time : 774.0 sec.
user=gd_barnes
[2009-10-09 15:37:44]
799*2^715847-1 is not prime.  Res64: EDEACB0B0D51E061  Time : 3412.0 sec.
user=gd_barnes
[2009-10-09 15:40:13]
723*2^715848-1 is not prime.  Res64: ECFF2F41779686D4  Time : 3422.0 sec.
user=vaughan
[2009-10-09 15:40:16]
707*2^715854-1 is not prime.  Res64: 672858EC4DEA7EB8  Time : 1669.0 sec.
user=vaughan
[2009-10-09 15:40:57]
789*2^715855-1 is not prime.  Res64: CE5C53612865206C  Time : 930.0 sec.
user=gd_barnes
[2009-10-09 15:43:25]
675*2^715849-1 is not prime.  Res64: EA285E1D8E363165  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 15:45:02]
771*2^715849-1 is not prime.  Res64: 04B1685FF809E3B7  Time : 3408.0 sec.
user=vaughan
[2009-10-09 15:45:42]
767*2^715856-1 is not prime.  Res64: 5B5F8FA8082F979A  Time : 841.0 sec.
user=vaughan
[2009-10-09 15:46:04]
669*2^715856-1 is not prime.  Res64: 8A482CB0B3D229DE  Time : 1064.0 sec.
user=vaughan
[2009-10-09 15:48:09]
765*2^715857-1 is not prime.  Res64: E732C619B66E36D6  Time : 765.0 sec.
user=gd_barnes
[2009-10-09 15:49:06]
723*2^714991-1 is not prime.  Res64: 4F5F870A815C546B  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 15:51:38]
711*2^715851-1 is not prime.  Res64: 5AAA249EC91A0EAB  Time : 3423.0 sec.
user=gd_barnes
[2009-10-09 15:54:47]
789*2^715851-1 is not prime.  Res64: 3D43D961FC9E3A78  Time : 3416.0 sec.
user=vaughan
[2009-10-09 15:56:12]
773*2^715858-1 is not prime.  Res64: B3442D0836AAB60E  Time : 915.0 sec.
user=gd_barnes
[2009-10-09 15:56:24]
657*2^715852-1 is not prime.  Res64: 638AFE103BBE5FCA  Time : 3408.0 sec.
user=vaughan
[2009-10-09 16:00:02]
629*2^715860-1 is not prime.  Res64: C7BB4B84355F4656  Time : 861.0 sec.
user=gd_barnes
[2009-10-09 16:00:28]
755*2^715852-1 is not prime.  Res64: 6832A3A5BBF6A001  Time : 3412.0 sec.
user=vaughan
[2009-10-09 16:00:48]
795*2^715860-1 is not prime.  Res64: C5AB84F79314CB54  Time : 759.0 sec.
user=vaughan
[2009-10-09 16:02:28]
675*2^715860-1 is not prime.  Res64: 98A718EBC4850C10  Time : 985.0 sec.
user=gd_barnes
[2009-10-09 16:03:02]
689*2^714996-1 is not prime.  Res64: D9E984B4114AE471  Time : 3422.0 sec.
user=vaughan
[2009-10-09 16:04:47]
765*2^715858-1 is not prime.  Res64: DBECF69F619DD74A  Time : 1472.0 sec.
user=gd_barnes
[2009-10-09 16:06:11]
675*2^715853-1 is not prime.  Res64: 56D727C069A7CA93  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 16:07:46]
657*2^715854-1 is not prime.  Res64: 82059AEE51249BF4  Time : 3408.0 sec.
user=vaughan
[2009-10-09 16:10:29]
613*2^715863-1 is not prime.  Res64: 2BAA0985510FBAB8  Time : 858.0 sec.
user=gd_barnes
[2009-10-09 16:11:50]
741*2^715854-1 is not prime.  Res64: D02F74325A4E2804  Time : 3411.0 sec.
user=vaughan
[2009-10-09 16:13:31]
755*2^715864-1 is not prime.  Res64: EB25FFF8F572CF72  Time : 764.0 sec.
user=vaughan
[2009-10-09 16:13:51]
635*2^715864-1 is not prime.  Res64: EE5ACE53427C50A4  Time : 829.0 sec.
user=gd_barnes
[2009-10-09 16:14:26]
755*2^715854-1 is not prime.  Res64: 1C311F4BE8D60A8F  Time : 3422.0 sec.
user=gd_barnes
[2009-10-09 16:17:35]
609*2^715855-1 is not prime.  Res64: DB97E1DD838EB94E  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 16:19:09]
709*2^715855-1 is not prime.  Res64: 00EFBB2179601271  Time : 3411.0 sec.
user=vaughan
[2009-10-09 16:20:41]
705*2^715865-1 is not prime.  Res64: 84D1B5773731E0BA  Time : 1094.0 sec.
user=gd_barnes
[2009-10-09 16:23:14]
635*2^715856-1 is not prime.  Res64: C4EFCE93BDD83526  Time : 3413.0 sec.
user=vaughan
[2009-10-09 16:24:47]
627*2^715866-1 is not prime.  Res64: 04AC6523904D16C1  Time : 858.0 sec.
user=gd_barnes
[2009-10-09 16:25:49]
751*2^715003-1 is not prime.  Res64: ED151F8F87988394  Time : 3420.0 sec.
user=vaughan
[2009-10-09 16:26:06]
725*2^715866-1 is not prime.  Res64: AF04DA4ED3066829  Time : 756.0 sec.
user=vaughan
[2009-10-09 16:27:29]
603*2^715867-1 is not prime.  Res64: EBDE31597BF6C90C  Time : 818.0 sec.
user=gd_barnes
[2009-10-09 16:28:58]
615*2^715857-1 is not prime.  Res64: AB371580584202A3  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 16:30:29]
627*2^715857-1 is not prime.  Res64: FE0E7863149EBEB5  Time : 3409.0 sec.
user=vaughan
[2009-10-09 16:30:50]
727*2^715865-1 is not prime.  Res64: 63B7A102C1A31B0D  Time : 1564.0 sec.
user=gd_barnes
[2009-10-09 16:34:34]
663*2^715858-1 is not prime.  Res64: 3EBBB7A0035911CA  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 16:37:13]
705*2^715858-1 is not prime.  Res64: ABD4B33E6EF511DA  Time : 3420.0 sec.
user=vaughan
[2009-10-09 16:37:36]
685*2^715867-1 is not prime.  Res64: 8CFE9AB85A115BB2  Time : 1016.0 sec.
user=vaughan
[2009-10-09 16:38:39]
647*2^715868-1 is not prime.  Res64: 6461F0535AD39490  Time : 754.0 sec.
user=vaughan
[2009-10-09 16:39:29]
765*2^715867-1 is not prime.  Res64: 4360CBBB8CBDFA3F  Time : 882.0 sec.
user=gd_barnes
[2009-10-09 16:40:21]
751*2^715005-1 is not prime.  Res64: 0AA4AC7ADA9775A6  Time : 3416.0 sec.
user=vaughan
[2009-10-09 16:41:03]
797*2^715868-1 is not prime.  Res64: 847462496F740DBF  Time : 814.0 sec.
user=gd_barnes
[2009-10-09 16:41:51]
693*2^715859-1 is not prime.  Res64: DFD0C9A92AFD504B  Time : 3409.0 sec.
user=gd_barnes
[2009-10-09 16:45:57]
747*2^715861-1 is not prime.  Res64: 2C49332ED413A366  Time : 3412.0 sec.
user=gd_barnes
[2009-10-09 16:48:38]
771*2^715861-1 is not prime.  Res64: 8C14C4E1C1F242B6  Time : 3420.0 sec.
user=vaughan
[2009-10-09 16:50:49]
727*2^715869-1 is not prime.  Res64: 3F27D5C3C20F5108  Time : 731.0 sec.
user=gd_barnes
[2009-10-09 16:51:44]
739*2^715007-1 is not prime.  Res64: E16CB03E87DC56F2  Time : 3417.0 sec.
user=vaughan
[2009-10-09 16:52:37]
789*2^715869-1 is not prime.  Res64: 627C911C9B636CB6  Time : 788.0 sec.
user=gd_barnes
[2009-10-09 16:53:13]
615*2^715864-1 is not prime.  Res64: BC2F29FD565BBEEE  Time : 3409.0 sec.
user=vaughan
[2009-10-09 16:53:52]
609*2^715871-1 is not prime.  Res64: 565647BE055CE01B  Time : 769.0 sec.
user=vaughan
[2009-10-09 16:54:43]
657*2^715869-1 is not prime.  Res64: D111F1318FE8C804  Time : 1434.0 sec.
user=vaughan
[2009-10-09 16:55:05]
711*2^715869-1 is not prime.  Res64: 6B7063C15D9E0AA1  Time : 1050.0 sec.
user=gd_barnes
[2009-10-09 16:57:19]
719*2^715864-1 is not prime.  Res64: 739C36D9C18046E4  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 17:00:02]
711*2^715865-1 is not prime.  Res64: 4FEF73C64BB491D5  Time : 3421.0 sec.
user=gd_barnes
[2009-10-09 17:03:06]
775*2^715011-1 is not prime.  Res64: A2E14535EF4D9843  Time : 3415.0 sec.
user=vaughan
[2009-10-09 17:03:36]
735*2^715871-1 is not prime.  Res64: 10BD7DDBC9FA21CC  Time : 767.0 sec.
user=gd_barnes
[2009-10-09 17:04:35]
787*2^715865-1 is not prime.  Res64: D8AFB77D227EA6BA  Time : 3410.0 sec.
user=vaughan
[2009-10-09 17:08:15]
681*2^715873-1 is not prime.  Res64: 4B59E9318980AF1F  Time : 863.0 sec.
user=vaughan
[2009-10-09 17:08:33]
607*2^715873-1 is not prime.  Res64: D166FFDCCA48ACAD  Time : 956.0 sec.
user=gd_barnes
[2009-10-09 17:08:42]
671*2^715866-1 is not prime.  Res64: CA65A56A4C0BFFC2  Time : 3412.0 sec.
user=gd_barnes
[2009-10-09 17:11:27]
651*2^715867-1 is not prime.  Res64: 5B6CFE86676B9212  Time : 3421.0 sec.
user=vaughan
[2009-10-09 17:13:25]
765*2^715873-1 is not prime.  Res64: FF52D9A829664E0E  Time : 1100.0 sec.
user=gd_barnes
[2009-10-09 17:14:29]
681*2^715867-1 is not prime.  Res64: A19712236A2F4699  Time : 3414.0 sec.
user=gd_barnes
[2009-10-09 17:15:56]
615*2^715014-1 is not prime.  Res64: FBBA6CBFAA8103C8  Time : 3407.0 sec.
user=vaughan
[2009-10-09 17:16:31]
627*2^715874-1 is not prime.  Res64: 8019D4FFA1112CD3  Time : 776.0 sec.
user=gd_barnes
[2009-10-09 17:20:03]
741*2^715867-1 is not prime.  Res64: 494030A4BF9376D4  Time : 3410.0 sec.
user=vaughan
[2009-10-09 17:20:57]
685*2^715873-1 is not prime.  Res64: FBD14F98F4CB6A9A  Time : 1574.0 sec.
user=gd_barnes
[2009-10-09 17:22:51]
617*2^715868-1 is not prime.  Res64: 30737ADAB3E05DAB  Time : 3422.0 sec.
user=vaughan
[2009-10-09 17:22:56]
683*2^715874-1 is not prime.  Res64: E8768A0E3F727529  Time : 881.0 sec.
user=vaughan
[2009-10-09 17:23:54]
701*2^715874-1 is not prime.  Res64: B19D08EF1EA8A5AB  Time : 921.0 sec.
user=gd_barnes
[2009-10-09 17:25:52]
639*2^715869-1 is not prime.  Res64: D2F1E4ACC4F7E357  Time : 3414.0 sec.
user=gd_barnes
[2009-10-09 17:27:18]
649*2^715869-1 is not prime.  Res64: D3281A6859858385  Time : 3409.0 sec.
user=vaughan
[2009-10-09 17:29:19]
735*2^715875-1 is not prime.  Res64: E2D24964CEBB382F  Time : 769.0 sec.
user=vaughan
[2009-10-09 17:30:18]
791*2^715874-1 is not prime.  Res64: 2EC6B1B819875C93  Time : 1013.0 sec.
user=gd_barnes
[2009-10-09 17:31:25]
673*2^715015-1 is not prime.  Res64: 040A26D5CD30E25F  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 17:34:16]
685*2^715869-1 is not prime.  Res64: 939038C2766BCFE9  Time : 3423.0 sec.
user=vaughan
[2009-10-09 17:37:09]
645*2^715877-1 is not prime.  Res64: C83BAC88DC8A8700  Time : 853.0 sec.
user=gd_barnes
[2009-10-09 17:37:16]
647*2^715870-1 is not prime.  Res64: 62CD77BD454674BD  Time : 3415.0 sec.
user=gd_barnes
[2009-10-09 17:38:40]
619*2^715871-1 is not prime.  Res64: C465DCBFC9A3FD1B  Time : 3409.0 sec.
user=vaughan
[2009-10-09 17:39:11]
685*2^715877-1 is not prime.  Res64: 8BE34F7939C393F2  Time : 918.0 sec.
user=vaughan
[2009-10-09 17:42:11]
657*2^715878-1 is not prime.  Res64: 4223280938D73837  Time : 772.0 sec.
user=gd_barnes
[2009-10-09 17:42:47]
647*2^715018-1 is not prime.  Res64: C0C81094C32B0A7D  Time : 3411.0 sec.
user=vaughan
[2009-10-09 17:45:20]
615*2^715877-1 is not prime.  Res64: 574337940B6A217D  Time : 1463.0 sec.
user=gd_barnes
[2009-10-09 17:45:40]
621*2^715871-1 is not prime.  Res64: 9BE3C4941D0DDCE0  Time : 3422.0 sec.
user=vaughan
[2009-10-09 17:47:53]
705*2^715878-1 is not prime.  Res64: 94B8FC008F56304B  Time : 1056.0 sec.
user=gd_barnes
[2009-10-09 17:48:39]
741*2^715871-1 is not prime.  Res64: 1E9EBBD4FB2D716F  Time : 3415.0 sec.
user=gd_barnes
[2009-10-09 17:50:02]
609*2^715873-1 is not prime.  Res64: E4DE3B43CB820CFE  Time : 3410.0 sec.
user=vaughan
[2009-10-09 17:51:15]
633*2^715027-1 is not prime.  Res64: BC260CF91779AC8A  Time : 846.0 sec.
user=gd_barnes
[2009-10-09 17:54:08]
769*2^715021-1 is not prime.  Res64: C924125479BE45F2  Time : 3409.0 sec.
user=vaughan
[2009-10-09 17:54:13]
735*2^715880-1 is not prime.  Res64: FFE49827A6DC6703  Time : 903.0 sec.
user=vaughan
[2009-10-09 17:54:53]
753*2^715880-1 is not prime.  Res64: 0A98CAF4B831F073  Time : 762.0 sec.
user=gd_barnes
[2009-10-09 17:57:04]
769*2^715873-1 is not prime.  Res64: 7805A6157008DAB1  Time : 3422.0 sec.
user=gd_barnes
[2009-10-09 18:00:03]
789*2^715873-1 is not prime.  Res64: 6B9494E9FE0FC57F  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 18:01:24]
635*2^715874-1 is not prime.  Res64: E337E1AA81336349  Time : 3409.0 sec.
user=vaughan
[2009-10-09 18:04:47]
603*2^715031-1 is not prime.  Res64: E1CE2C2D8EF93CCF  Time : 1014.0 sec.
user=vaughan
[2009-10-09 18:04:57]
783*2^715883-1 is not prime.  Res64: 76A4D0F047FB8F46  Time : 823.0 sec.
user=gd_barnes
[2009-10-09 18:05:30]
755*2^715874-1 is not prime.  Res64: 01CE650867DA1BAC  Time : 3408.0 sec.
user=vaughan
[2009-10-09 18:08:06]
773*2^715884-1 is not prime.  Res64: F31ED93DA643ABBE  Time : 794.0 sec.
user=gd_barnes
[2009-10-09 18:08:28]
625*2^715023-1 is not prime.  Res64: 36B5990FF11DAAC7  Time : 3421.0 sec.
user=vaughan
[2009-10-09 18:09:52]
765*2^715884-1 is not prime.  Res64: E00399DD4ED8300F  Time : 939.0 sec.
user=vaughan
[2009-10-09 18:10:45]
731*2^715882-1 is not prime.  Res64: 9A1E0076CFAEED52  Time : 1525.0 sec.
user=gd_barnes
[2009-10-09 18:11:27]
797*2^715874-1 is not prime.  Res64: DF6C0C1B001ABAA6  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 18:12:45]
685*2^715875-1 is not prime.  Res64: A11E9525D610E7CF  Time : 3409.0 sec.
user=gd_barnes
[2009-10-09 18:16:53]
735*2^715876-1 is not prime.  Res64: 8E1857BF78858BB0  Time : 3410.0 sec.
user=vaughan
[2009-10-09 18:17:42]
633*2^715887-1 is not prime.  Res64: E5C1BF3EF415F21C  Time : 766.0 sec.
user=gd_barnes
[2009-10-09 18:19:51]
743*2^715024-1 is not prime.  Res64: DB3E64B3A3136BDA  Time : 3420.0 sec.
user=vaughan
[2009-10-09 18:20:14]
711*2^715887-1 is not prime.  Res64: 3020011946500540  Time : 728.0 sec.
user=vaughan
[2009-10-09 18:21:35]
625*2^715887-1 is not prime.  Res64: 0D2D3E3EA3EFCDE9  Time : 1008.0 sec.
user=vaughan
[2009-10-09 18:22:46]
665*2^715888-1 is not prime.  Res64: A393FB2EF2B96EA2  Time : 774.0 sec.
user=gd_barnes
[2009-10-09 18:22:50]
697*2^715877-1 is not prime.  Res64: 803CB627E828AAF8  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 18:24:08]
621*2^715878-1 is not prime.  Res64: AEA3263F5A5B0FCF  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 18:28:14]
755*2^715878-1 is not prime.  Res64: 1B6BBECC695D3804  Time : 3409.0 sec.
user=vaughan
[2009-10-09 18:30:20]
723*2^715888-1 is not prime.  Res64: 4CBDDA29328314E7  Time : 1175.0 sec.
user=gd_barnes
[2009-10-09 18:31:16]
741*2^715879-1 is not prime.  Res64: 16BFE37E2C72FBA8  Time : 3420.0 sec.
user=vaughan
[2009-10-09 18:31:25]
697*2^715889-1 is not prime.  Res64: D51CABB935B84554  Time : 824.0 sec.
user=vaughan
[2009-10-09 18:33:05]
711*2^715889-1 is not prime.  Res64: 952C8352346E5DEE  Time : 771.0 sec.
user=gd_barnes
[2009-10-09 18:34:14]
615*2^715880-1 is not prime.  Res64: D5B008010FF95D40  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 18:35:30]
677*2^715880-1 is not prime.  Res64: 9F63F2052496FC44  Time : 3410.0 sec.
user=vaughan
[2009-10-09 18:37:34]
727*2^715889-1 is not prime.  Res64: A56FA554DDB9CC17  Time : 889.0 sec.
user=vaughan
[2009-10-09 18:38:15]
721*2^715889-1 is not prime.  Res64: 5A8E0E15EFAB141B  Time : 1000.0 sec.
user=gd_barnes
[2009-10-09 18:39:37]
739*2^715881-1 is not prime.  Res64: A1378602C037ED82  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 18:42:41]
777*2^715882-1 is not prime.  Res64: A1A993438F3D1B86  Time : 3421.0 sec.
user=vaughan
[2009-10-09 18:44:21]
723*2^715891-1 is not prime.  Res64: 860328BDB244D6B8  Time : 777.0 sec.
user=vaughan
[2009-10-09 18:45:11]
745*2^715891-1 is not prime.  Res64: 541A31D83700BE1F  Time : 726.0 sec.
user=gd_barnes
[2009-10-09 18:45:37]
633*2^715883-1 is not prime.  Res64: 7FB77F4FE71B1FA7  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 18:46:52]
741*2^715883-1 is not prime.  Res64: 566BE87A09873436  Time : 3410.0 sec.
user=vaughan
[2009-10-09 18:49:59]
693*2^715043-1 is not prime.  Res64: FC4EDED9009ADCB8  Time : 745.0 sec.
user=vaughan
[2009-10-09 18:50:24]
713*2^715890-1 is not prime.  Res64: 946C1B44C8639020  Time : 1204.0 sec.
user=gd_barnes
[2009-10-09 18:50:58]
759*2^715884-1 is not prime.  Res64: 298F4102EEF6194E  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 18:54:05]
727*2^715885-1 is not prime.  Res64: EE2E1A4CCA5947BD  Time : 3421.0 sec.
user=vaughan
[2009-10-09 18:56:07]
735*2^715892-1 is not prime.  Res64: 079DBCAC4FA32FAA  Time : 1072.0 sec.
user=vaughan
[2009-10-09 18:56:08]
681*2^715893-1 is not prime.  Res64: B73672AFB6A6277C  Time : 707.0 sec.
user=vaughan
[2009-10-09 18:56:55]
745*2^715893-1 is not prime.  Res64: 9825B08EDFA2ADBB  Time : 705.0 sec.
user=gd_barnes
[2009-10-09 18:56:59]
737*2^715032-1 is not prime.  Res64: 0764C0C529812499  Time : 3416.0 sec.
user=gd_barnes
[2009-10-09 18:58:14]
743*2^715886-1 is not prime.  Res64: 7346DBAA9077A0A7  Time : 3410.0 sec.
user=vaughan
[2009-10-09 19:01:50]
677*2^715894-1 is not prime.  Res64: 1D796312732019DC  Time : 711.0 sec.
user=gd_barnes
[2009-10-09 19:02:22]
649*2^715887-1 is not prime.  Res64: 21DABCA3657315B0  Time : 3412.0 sec.
user=gd_barnes
[2009-10-09 19:05:30]
769*2^715887-1 is not prime.  Res64: CABD55FF81EB7DAC  Time : 3422.0 sec.
user=vaughan
[2009-10-09 19:08:08]
693*2^715896-1 is not prime.  Res64: 3821ADD8746712A2  Time : 720.0 sec.
user=gd_barnes
[2009-10-09 19:08:23]
615*2^715889-1 is not prime.  Res64: 2838334C4249203E  Time : 3417.0 sec.
user=vaughan
[2009-10-09 19:08:48]
649*2^715897-1 is not prime.  Res64: 3F5159EF7CCBC4C9  Time : 713.0 sec.
user=vaughan
[2009-10-09 19:08:58]
747*2^715894-1 is not prime.  Res64: FB0C0510C1DB2708  Time : 1115.0 sec.
user=gd_barnes
[2009-10-09 19:09:35]
621*2^715038-1 is not prime.  Res64: E3FF2BC4DD75B06A  Time : 3410.0 sec.
user=vaughan
[2009-10-09 19:12:27]
657*2^715896-1 is not prime.  Res64: A60BCB3092889C0C  Time : 980.0 sec.
user=gd_barnes
[2009-10-09 19:13:43]
645*2^715889-1 is not prime.  Res64: 0E93AD2D5CEBA52F  Time : 3410.0 sec.
user=vaughan
[2009-10-09 19:14:12]
799*2^715897-1 is not prime.  Res64: 8ECFE17D602AEF5F  Time : 742.0 sec.
user=gd_barnes
[2009-10-09 19:16:54]
705*2^715889-1 is not prime.  Res64: 45294A671A7B3E2A  Time : 3423.0 sec.
user=gd_barnes
[2009-10-09 19:19:46]
787*2^715889-1 is not prime.  Res64: FED2210ED8C8077E  Time : 3416.0 sec.
user=vaughan
[2009-10-09 19:20:28]
671*2^715898-1 is not prime.  Res64: C4189479453CA59F  Time : 741.0 sec.
user=vaughan
[2009-10-09 19:20:49]
615*2^715899-1 is not prime.  Res64: 8A6AF9907781E717  Time : 721.0 sec.
user=gd_barnes
[2009-10-09 19:20:57]
633*2^715890-1 is not prime.  Res64: 1D9638E3DCAE57E3  Time : 3409.0 sec.
user=gd_barnes
[2009-10-09 19:25:04]
689*2^715040-1 is not prime.  Res64: 6C66542C45F68766  Time : 3410.0 sec.
user=vaughan
[2009-10-09 19:26:29]
625*2^715899-1 is not prime.  Res64: CD978B79351AB49C  Time : 1051.0 sec.
user=gd_barnes
[2009-10-09 19:28:19]
625*2^715891-1 is not prime.  Res64: FDC84610C2410313  Time : 3423.0 sec.
user=vaughan
[2009-10-09 19:28:30]
723*2^715900-1 is not prime.  Res64: FB23D62A95D81B18  Time : 859.0 sec.
user=vaughan
[2009-10-09 19:30:01]
735*2^715899-1 is not prime.  Res64: 9E3DF4A9011565B5  Time : 1054.0 sec.
user=gd_barnes
[2009-10-09 19:31:10]
771*2^715891-1 is not prime.  Res64: 43544F8951AE7D75  Time : 3416.0 sec.
user=gd_barnes
[2009-10-09 19:32:19]
603*2^715892-1 is not prime.  Res64: 4EABE2A182B4F91E  Time : 3409.0 sec.
user=vaughan
[2009-10-09 19:33:24]
745*2^715901-1 is not prime.  Res64: 12C322713A193E49  Time : 755.0 sec.
user=vaughan
[2009-10-09 19:33:47]
631*2^715901-1 is not prime.  Res64: C4161D2D320AB556  Time : 799.0 sec.
user=gd_barnes
[2009-10-09 19:36:27]
615*2^715893-1 is not prime.  Res64: 8B66A025D7F10CFA  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 19:39:43]
675*2^715893-1 is not prime.  Res64: BA363C670F26890E  Time : 3423.0 sec.
user=gd_barnes
[2009-10-09 19:42:33]
795*2^715893-1 is not prime.  Res64: 7BDF40FB185F24B5  Time : 3417.0 sec.
user=vaughan
[2009-10-09 19:42:50]
609*2^715903-1 is not prime.  Res64: 0AC699EBB005CDC0  Time : 861.0 sec.
user=gd_barnes
[2009-10-09 19:43:41]
671*2^715894-1 is not prime.  Res64: CD88594E1C977C36  Time : 3409.0 sec.
user=vaughan
[2009-10-09 19:45:57]
605*2^715904-1 is not prime.  Res64: 9FAB9DE1DF8ED7F8  Time : 754.0 sec.
user=vaughan
[2009-10-09 19:46:08]
605*2^715054-1 is not prime.  Res64: BFC305F980291358  Time : 1179.0 sec.
user=vaughan
[2009-10-09 19:46:37]
615*2^715903-1 is not prime.  Res64: 6E0118CE816AEC2F  Time : 996.0 sec.
user=vaughan
[2009-10-09 19:47:18]
609*2^715904-1 is not prime.  Res64: D23EF903AA6DF751  Time : 811.0 sec.
user=gd_barnes
[2009-10-09 19:47:49]
775*2^715895-1 is not prime.  Res64: 4C387723954C00F8  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 19:51:09]
623*2^715896-1 is not prime.  Res64: F563A46317B8037E  Time : 3424.0 sec.
user=gd_barnes
[2009-10-09 19:53:57]
771*2^715897-1 is not prime.  Res64: 6D606AD406FC1D85  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 19:55:03]
777*2^715897-1 is not prime.  Res64: F30612C30004A191  Time : 3409.0 sec.
user=vaughan
[2009-10-09 19:58:15]
675*2^715905-1 is not prime.  Res64: 554E044F0BF09BB6  Time : 925.0 sec.
user=vaughan
[2009-10-09 19:58:34]
765*2^715905-1 is not prime.  Res64: 2322706964752205  Time : 757.0 sec.
user=gd_barnes
[2009-10-09 19:59:11]
641*2^715898-1 is not prime.  Res64: F14286EED2F27F9E  Time : 3410.0 sec.
user=vaughan
[2009-10-09 20:00:21]
647*2^715906-1 is not prime.  Res64: 856FFDF25CC2374E  Time : 783.0 sec.
user=gd_barnes
[2009-10-09 20:02:32]
665*2^715898-1 is not prime.  Res64: C13D4467FE6A4BFE  Time : 3422.0 sec.
user=vaughan
[2009-10-09 20:03:48]
645*2^715906-1 is not prime.  Res64: CA5124AFADF3BB19  Time : 1031.0 sec.
user=gd_barnes
[2009-10-09 20:05:20]
613*2^715899-1 is not prime.  Res64: 73CC14E7F6BFF557  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 20:06:25]
703*2^715899-1 is not prime.  Res64: 298F28C00F3708EC  Time : 3410.0 sec.
user=vaughan
[2009-10-09 20:06:40]
633*2^715906-1 is not prime.  Res64: 95FD8F5DFF65D0D5  Time : 1232.0 sec.
user=gd_barnes
[2009-10-09 20:10:34]
699*2^715900-1 is not prime.  Res64: 301EA951245FE6C3  Time : 3411.0 sec.
user=vaughan
[2009-10-09 20:10:41]
669*2^715907-1 is not prime.  Res64: BC33CD87E5E9A131  Time : 727.0 sec.
user=vaughan
[2009-10-09 20:11:19]
615*2^715907-1 is not prime.  Res64: D5D01DEF49F5329C  Time : 784.0 sec.
user=vaughan
[2009-10-09 20:12:42]
741*2^715907-1 is not prime.  Res64: E261C0FEF03C4983  Time : 741.0 sec.
user=gd_barnes
[2009-10-09 20:13:58]
743*2^715900-1 is not prime.  Res64: 918114BF054FBB3B  Time : 3424.0 sec.
user=gd_barnes
[2009-10-09 20:16:43]
607*2^715901-1 is not prime.  Res64: 029A0FB3CA0EF85B  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 20:17:48]
789*2^715901-1 is not prime.  Res64: C5BD2CF2108D75CB  Time : 3411.0 sec.
user=vaughan
[2009-10-09 20:20:36]
753*2^715907-1 is not prime.  Res64: 78BA8E659B3B0757  Time : 1008.0 sec.
user=gd_barnes
[2009-10-09 20:21:56]
611*2^715902-1 is not prime.  Res64: AE584E7916DF7E83  Time : 3412.0 sec.
user=vaughan
[2009-10-09 20:23:10]
601*2^715909-1 is not prime.  Res64: 25457AF04103F0E5  Time : 749.0 sec.
user=gd_barnes
[2009-10-09 20:25:22]
777*2^715902-1 is not prime.  Res64: 967DFEA7CD0F9DA6  Time : 3423.0 sec.
user=vaughan
[2009-10-09 20:25:39]
751*2^715909-1 is not prime.  Res64: 3158DF7ADE129484  Time : 777.0 sec.
user=vaughan
[2009-10-09 20:25:51]
753*2^715908-1 is not prime.  Res64: EA2034D1F527B1C4  Time : 1151.0 sec.
user=vaughan
[2009-10-09 20:25:53]
625*2^715909-1 is not prime.  Res64: BE31906D233546A2  Time : 874.0 sec.
user=gd_barnes
[2009-10-09 20:28:07]
649*2^715903-1 is not prime.  Res64: 1F348F93974EC436  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 20:29:09]
765*2^715903-1 is not prime.  Res64: BA99E4AD57609099  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 20:33:18]
615*2^715904-1 is not prime.  Res64: 84D25824C50F4199  Time : 3411.0 sec.
user=vaughan
[2009-10-09 20:35:40]
643*2^715911-1 is not prime.  Res64: C8FC803BA795C4B3  Time : 750.0 sec.
user=gd_barnes
[2009-10-09 20:36:46]
683*2^715904-1 is not prime.  Res64: 2425D7E51DD92931  Time : 3423.0 sec.
user=vaughan
[2009-10-09 20:37:14]
791*2^715910-1 is not prime.  Res64: 548792E56FC8770B  Time : 999.0 sec.
user=vaughan
[2009-10-09 20:38:51]
669*2^715068-1 is not prime.  Res64: 1572712AB3B09BC5  Time : 792.0 sec.
user=gd_barnes
[2009-10-09 20:39:31]
717*2^715904-1 is not prime.  Res64: 72CC13980243F6D6  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 20:40:32]
679*2^715905-1 is not prime.  Res64: 7B56A46AB1B95688  Time : 3411.0 sec.
user=vaughan
[2009-10-09 20:40:55]
615*2^715912-1 is not prime.  Res64: 02BEBEE53C44901C  Time : 902.0 sec.
user=gd_barnes
[2009-10-09 20:44:40]
653*2^715906-1 is not prime.  Res64: 598A25698E8BF2C5  Time : 3411.0 sec.
user=vaughan
[2009-10-09 20:47:56]
675*2^715913-1 is not prime.  Res64: 660F05AF436D0DF3  Time : 736.0 sec.
user=vaughan
[2009-10-09 20:48:04]
605*2^715912-1 is not prime.  Res64: D49B049BED7C0D59  Time : 1333.0 sec.
user=gd_barnes
[2009-10-09 20:48:11]
609*2^715059-1 is not prime.  Res64: D9F8DB4E5FDD7900  Time : 3422.0 sec.
user=gd_barnes
[2009-10-09 20:50:53]
713*2^715906-1 is not prime.  Res64: CBCBCE73212972C1  Time : 3416.0 sec.
user=vaughan
[2009-10-09 20:50:59]
711*2^715071-1 is not prime.  Res64: F88C9AD2C353033E  Time : 728.0 sec.
user=gd_barnes
[2009-10-09 20:51:53]
783*2^715906-1 is not prime.  Res64: E6C2FFF209A49A4A  Time : 3410.0 sec.
user=vaughan
[2009-10-09 20:53:16]
603*2^715916-1 is not prime.  Res64: F819D81D997E701C  Time : 741.0 sec.
user=vaughan
[2009-10-09 20:54:17]
727*2^715913-1 is not prime.  Res64: CCCC048DD90BB14E  Time : 1024.0 sec.
user=gd_barnes
[2009-10-09 20:56:02]
735*2^715907-1 is not prime.  Res64: 6AB8F1DD841465AE  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 20:59:35]
705*2^715062-1 is not prime.  Res64: 74BD108A6D3CE8FB  Time : 3423.0 sec.
user=vaughan
[2009-10-09 20:59:44]
635*2^715916-1 is not prime.  Res64: 6249CF044B728B1B  Time : 708.0 sec.
user=gd_barnes
[2009-10-09 21:02:17]
665*2^715908-1 is not prime.  Res64: 8FDE6CA609F78F7B  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 21:03:16]
689*2^715908-1 is not prime.  Res64: 198A2995D69EF790  Time : 3411.0 sec.
user=vaughan
[2009-10-09 21:03:50]
707*2^715916-1 is not prime.  Res64: 37ECE4A33037818B  Time : 771.0 sec.
user=vaughan
[2009-10-09 21:05:50]
683*2^715916-1 is not prime.  Res64: C52943E94B41693D  Time : 1067.0 sec.
user=vaughan
[2009-10-09 21:06:12]
765*2^715917-1 is not prime.  Res64: D4EB483DF66A85A4  Time : 776.0 sec.
user=gd_barnes
[2009-10-09 21:07:24]
777*2^715908-1 is not prime.  Res64: 66B3612578125CA4  Time : 3411.0 sec.
user=vaughan
[2009-10-09 21:10:34]
605*2^715918-1 is not prime.  Res64: 4B00334A9ECA60BA  Time : 978.0 sec.
user=gd_barnes
[2009-10-09 21:10:59]
765*2^715909-1 is not prime.  Res64: 2F0113B0DF33E7E8  Time : 3421.0 sec.
user=vaughan
[2009-10-09 21:12:09]
721*2^715919-1 is not prime.  Res64: DF0F9D55BA819AAC  Time : 745.0 sec.
user=gd_barnes
[2009-10-09 21:13:39]
603*2^715066-1 is not prime.  Res64: CAF8D275011CD3A0  Time : 3416.0 sec.
user=gd_barnes
[2009-10-09 21:14:37]
755*2^715910-1 is not prime.  Res64: 8EC3F09C0AE9D800  Time : 3410.0 sec.
user=vaughan
[2009-10-09 21:16:44]
689*2^715920-1 is not prime.  Res64: 8476C58639B8D4B5  Time : 774.0 sec.
user=gd_barnes
[2009-10-09 21:18:46]
797*2^715910-1 is not prime.  Res64: D00DCDA29CCC36F1  Time : 3410.0 sec.
user=vaughan
[2009-10-09 21:19:20]
747*2^715920-1 is not prime.  Res64: 17936A321D29FE37  Time : 788.0 sec.
user=gd_barnes
[2009-10-09 21:22:23]
783*2^715911-1 is not prime.  Res64: 1778B9B8BE57A0A5  Time : 3422.0 sec.
user=vaughan
[2009-10-09 21:23:56]
713*2^715920-1 is not prime.  Res64: 73AE667FA173E3BD  Time : 1086.0 sec.
user=vaughan
[2009-10-09 21:24:25]
615*2^715922-1 is not prime.  Res64: D2B520C965C60DF1  Time : 736.0 sec.
user=gd_barnes
[2009-10-09 21:25:03]
677*2^715912-1 is not prime.  Res64: 8738E66A4F97910E  Time : 3416.0 sec.
user=gd_barnes
[2009-10-09 21:25:59]
615*2^715913-1 is not prime.  Res64: D737D0BE86BCFFF1  Time : 3410.0 sec.
user=vaughan
[2009-10-09 21:27:04]
747*2^715921-1 is not prime.  Res64: 3E82B45ADB744AE0  Time : 990.0 sec.
user=vaughan
[2009-10-09 21:29:37]
711*2^715922-1 is not prime.  Res64: 44C1E191FB37968B  Time : 773.0 sec.
user=gd_barnes
[2009-10-09 21:30:09]
651*2^715913-1 is not prime.  Res64: B788DBA2391D9849  Time : 3411.0 sec.
user=vaughan
[2009-10-09 21:31:59]
743*2^715922-1 is not prime.  Res64: BFD024791269869F  Time : 759.0 sec.
user=gd_barnes
[2009-10-09 21:33:48]
721*2^715913-1 is not prime.  Res64: 642F9E58040F3BB7  Time : 3422.0 sec.
user=gd_barnes
[2009-10-09 21:36:26]
611*2^715914-1 is not prime.  Res64: BB3615FDB3B872BD  Time : 3416.0 sec.
user=vaughan
[2009-10-09 21:36:33]
745*2^715923-1 is not prime.  Res64: 2AD7780969C2A075  Time : 729.0 sec.
user=gd_barnes
[2009-10-09 21:37:21]
709*2^715915-1 is not prime.  Res64: 6CF5D5B97A9D5E83  Time : 3409.0 sec.
user=gd_barnes
[2009-10-09 21:41:31]
623*2^715916-1 is not prime.  Res64: FB228D39D66FC6DA  Time : 3411.0 sec.
user=vaughan
[2009-10-09 21:42:05]
703*2^715923-1 is not prime.  Res64: 56EA20DCEFE86783  Time : 1089.0 sec.
user=vaughan
[2009-10-09 21:42:20]
783*2^715923-1 is not prime.  Res64: 49E46CBA4C8EDC00  Time : 763.0 sec.
user=vaughan
[2009-10-09 21:44:25]
753*2^715080-1 is not prime.  Res64: A475C1BEAB2C91BB  Time : 1042.0 sec.
user=gd_barnes
[2009-10-09 21:45:12]
699*2^715916-1 is not prime.  Res64: 76D8A9CACF243177  Time : 3421.0 sec.
user=vaughan
[2009-10-09 21:45:21]
793*2^715923-1 is not prime.  Res64: 13A618C6B4C91DC7  Time : 802.0 sec.
user=gd_barnes
[2009-10-09 21:47:49]
705*2^715074-1 is not prime.  Res64: BCB83ADBCEDD53B2  Time : 3416.0 sec.
user=vaughan
[2009-10-09 21:48:38]
677*2^715924-1 is not prime.  Res64: 402368F57E9DAD9A  Time : 725.0 sec.
user=gd_barnes
[2009-10-09 21:48:43]
741*2^715917-1 is not prime.  Res64: AC45822A2FACEB96  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 21:52:53]
603*2^715919-1 is not prime.  Res64: D9251024DCCF9592  Time : 3411.0 sec.
user=vaughan
[2009-10-09 21:54:41]
727*2^715925-1 is not prime.  Res64: DF8448C3736E9A10  Time : 741.0 sec.
user=gd_barnes
[2009-10-09 21:56:37]
661*2^715919-1 is not prime.  Res64: B6FA49A94A385CAE  Time : 3422.0 sec.
user=vaughan
[2009-10-09 21:58:50]
639*2^715927-1 is not prime.  Res64: F0D7BCF932EF4739  Time : 809.0 sec.
user=gd_barnes
[2009-10-09 21:59:12]
799*2^715919-1 is not prime.  Res64: 84C3D9E1FE413DE6  Time : 3415.0 sec.
user=gd_barnes
[2009-10-09 22:00:05]
689*2^715076-1 is not prime.  Res64: 64A342368D6152B0  Time : 3409.0 sec.
user=vaughan
[2009-10-09 22:00:13]
715*2^715925-1 is not prime.  Res64: 4F2016EA9AB6E2D7  Time : 1088.0 sec.
user=vaughan
[2009-10-09 22:00:50]
747*2^715926-1 is not prime.  Res64: C9EB5C7039529563  Time : 985.0 sec.
user=vaughan
[2009-10-09 22:01:02]
673*2^715927-1 is not prime.  Res64: 979E5ECD43C58D45  Time : 744.0 sec.
user=gd_barnes
[2009-10-09 22:04:15]
797*2^715920-1 is not prime.  Res64: FB7D120D517A9A18  Time : 3411.0 sec.
user=gd_barnes
[2009-10-09 22:08:00]
603*2^715922-1 is not prime.  Res64: A4B271CB90B276AC  Time : 3421.0 sec.
user=vaughan
[2009-10-09 22:08:33]
775*2^715927-1 is not prime.  Res64: DA81F284AA89DB47  Time : 832.0 sec.
user=gd_barnes
[2009-10-09 22:10:36]
677*2^715922-1 is not prime.  Res64: B51C9B3ADBB91569  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 22:11:27]
619*2^715079-1 is not prime.  Res64: 75C6A4DA58FE458D  Time : 3410.0 sec.
user=vaughan
[2009-10-09 22:12:10]
689*2^715928-1 is not prime.  Res64: 58DCFDF51846735A  Time : 800.0 sec.
user=vaughan
[2009-10-09 22:13:16]
645*2^715930-1 is not prime.  Res64: 0409C590B6BDC2A4  Time : 734.0 sec.
user=gd_barnes
[2009-10-09 22:15:37]
735*2^715922-1 is not prime.  Res64: 4497D01CF250F856  Time : 3411.0 sec.
user=vaughan
[2009-10-09 22:17:29]
735*2^715929-1 is not prime.  Res64: D68BE91A9CAA0350  Time : 999.0 sec.
user=gd_barnes
[2009-10-09 22:19:25]
609*2^715923-1 is not prime.  Res64: 107EEB4C341BA4C2  Time : 3422.0 sec.
user=vaughan
[2009-10-09 22:20:15]
709*2^715929-1 is not prime.  Res64: E02D83D4A8CE74FF  Time : 1202.0 sec.
user=vaughan
[2009-10-09 22:20:26]
743*2^715930-1 is not prime.  Res64: 715AAF5D8EC9D196  Time : 713.0 sec.
user=gd_barnes
[2009-10-09 22:22:00]
775*2^715923-1 is not prime.  Res64: 7B8E912CB94AC6AC  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 22:22:48]
781*2^715923-1 is not prime.  Res64: 60C697EE13CF182B  Time : 3409.0 sec.
user=vaughan
[2009-10-09 22:23:51]
675*2^715931-1 is not prime.  Res64: 5028E82C7DBA5AB2  Time : 701.0 sec.
user=vaughan
[2009-10-09 22:24:57]
741*2^715931-1 is not prime.  Res64: 474E63E1E7985AAA  Time : 702.0 sec.
user=gd_barnes
[2009-10-09 22:26:59]
789*2^715923-1 is not prime.  Res64: 762B39DA883DA655  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 22:30:51]
609*2^715924-1 is not prime.  Res64: 13D6760E650423AD  Time : 3423.0 sec.
user=vaughan
[2009-10-09 22:32:08]
717*2^715932-1 is not prime.  Res64: A003EE494E9F8462  Time : 702.0 sec.
user=gd_barnes
[2009-10-09 22:33:23]
629*2^715924-1 is not prime.  Res64: 65E4C8138E198D87  Time : 3417.0 sec.
user=vaughan
[2009-10-09 22:33:48]
643*2^715091-1 is not prime.  Res64: 77937EFB36143487  Time : 980.0 sec.
user=gd_barnes
[2009-10-09 22:34:09]
685*2^715925-1 is not prime.  Res64: 499C46A78C16C0BE  Time : 3409.0 sec.
user=vaughan
[2009-10-09 22:36:34]
663*2^715934-1 is not prime.  Res64: BD5F252C7C384334  Time : 763.0 sec.
user=vaughan
[2009-10-09 22:37:00]
711*2^715934-1 is not prime.  Res64: A4D430AC637103BF  Time : 724.0 sec.
user=gd_barnes
[2009-10-09 22:38:21]
645*2^715082-1 is not prime.  Res64: 6BBD2031155EBCAD  Time : 3410.0 sec.
user=gd_barnes
[2009-10-09 22:42:14]
609*2^715927-1 is not prime.  Res64: 598E49AC86570D58  Time : 3422.0 sec.
user=vaughan
[2009-10-09 22:43:05]
693*2^715932-1 is not prime.  Res64: DDA9D4EE625FADD7  Time : 1370.0 sec.
user=gd_barnes
[2009-10-09 22:44:46]
649*2^715927-1 is not prime.  Res64: B32090B146AE8E9E  Time : 3417.0 sec.
user=vaughan
[2009-10-09 22:44:54]
773*2^715934-1 is not prime.  Res64: 5C0365446D46A6A9  Time : 766.0 sec.
user=gd_barnes
[2009-10-09 22:45:32]
675*2^715927-1 is not prime.  Res64: 47F482748856FB5C  Time : 3409.0 sec.
user=vaughan
[2009-10-09 22:49:28]
763*2^715935-1 is not prime.  Res64: EE13DE71324717BD  Time : 749.0 sec.
user=gd_barnes
[2009-10-09 22:49:42]
641*2^715086-1 is not prime.  Res64: F6FFDB7CDD171B2A  Time : 3410.0 sec.
user=vaughan
[2009-10-09 22:50:21]
705*2^715935-1 is not prime.  Res64: 5A9A7B313E6D2B4C  Time : 828.0 sec.
user=vaughan
[2009-10-09 22:50:36]
675*2^715935-1 is not prime.  Res64: 557EB6B358E0BB49  Time : 1008.0 sec.
user=gd_barnes
[2009-10-09 22:53:40]
633*2^715928-1 is not prime.  Res64: 770C404CE8199526  Time : 3423.0 sec.
user=gd_barnes
[2009-10-09 22:56:10]
699*2^715928-1 is not prime.  Res64: 9F689337815CFE64  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 22:56:54]
755*2^715928-1 is not prime.  Res64: 113C5EF06118C438  Time : 3409.0 sec.
user=vaughan
[2009-10-09 22:57:04]
607*2^715937-1 is not prime.  Res64: 73324B5D780D9FAB  Time : 730.0 sec.
user=vaughan
[2009-10-09 23:00:27]
755*2^715936-1 is not prime.  Res64: 1BBBF151922667B7  Time : 1043.0 sec.
user=gd_barnes
[2009-10-09 23:01:04]
795*2^715089-1 is not prime.  Res64: 80C71EF0E32A5A73  Time : 3409.0 sec.
user=vaughan
[2009-10-09 23:01:46]
691*2^715937-1 is not prime.  Res64: DF529D09EC0FBCCD  Time : 739.0 sec.
user=vaughan
[2009-10-09 23:04:20]
621*2^715938-1 is not prime.  Res64: CE30BD2DC61CC0FC  Time : 840.0 sec.
user=gd_barnes
[2009-10-09 23:05:04]
687*2^715930-1 is not prime.  Res64: B293866146EAC318  Time : 3424.0 sec.
user=vaughan
[2009-10-09 23:06:57]
631*2^715939-1 is not prime.  Res64: 0E4FC6653E9B22FA  Time : 981.0 sec.
user=gd_barnes
[2009-10-09 23:07:33]
601*2^715931-1 is not prime.  Res64: 7CF3B521009D544C  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 23:08:16]
673*2^715931-1 is not prime.  Res64: EE1E2F57B72A174C  Time : 3409.0 sec.
user=vaughan
[2009-10-09 23:09:36]
707*2^715940-1 is not prime.  Res64: 94EC0AE8B53A9163  Time : 752.0 sec.
user=gd_barnes
[2009-10-09 23:12:25]
633*2^715932-1 is not prime.  Res64: F986817ED35F4A95  Time : 3408.0 sec.
user=vaughan
[2009-10-09 23:13:48]
777*2^715941-1 is not prime.  Res64: 1CCB82A6FF1B2F81  Time : 723.0 sec.
user=gd_barnes
[2009-10-09 23:16:29]
653*2^715932-1 is not prime.  Res64: 3BDE917E6DEDF5C3  Time : 3424.0 sec.
user=vaughan
[2009-10-09 23:17:09]
657*2^715942-1 is not prime.  Res64: AC358918936A0461  Time : 770.0 sec.
user=vaughan
[2009-10-09 23:18:05]
651*2^715941-1 is not prime.  Res64: 0DCA6A65F05E6427  Time : 1059.0 sec.
user=gd_barnes
[2009-10-09 23:18:57]
779*2^715932-1 is not prime.  Res64: D9EB4555F01745FA  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 23:19:38]
741*2^715933-1 is not prime.  Res64: 7D7FDF755CDB8978  Time : 3410.0 sec.
user=vaughan
[2009-10-09 23:21:38]
715*2^715943-1 is not prime.  Res64: 97A82745A7AA7285  Time : 722.0 sec.
user=vaughan
[2009-10-09 23:23:05]
663*2^715943-1 is not prime.  Res64: 5E23092EDB1EE206  Time : 968.0 sec.
user=gd_barnes
[2009-10-09 23:23:48]
753*2^715934-1 is not prime.  Res64: 319943BFEC73972E  Time : 3409.0 sec.
user=vaughan
[2009-10-09 23:25:38]
765*2^715944-1 is not prime.  Res64: EDF801A222AF7615  Time : 711.0 sec.
user=gd_barnes
[2009-10-09 23:27:53]
795*2^715094-1 is not prime.  Res64: D8435A32082D5DDE  Time : 3423.0 sec.
user=vaughan
[2009-10-09 23:29:03]
705*2^715945-1 is not prime.  Res64: 2EE9391B17F491F4  Time : 715.0 sec.
user=gd_barnes
[2009-10-09 23:30:20]
797*2^715934-1 is not prime.  Res64: 09FF78A66E1B5979  Time : 3417.0 sec.
user=gd_barnes
[2009-10-09 23:31:00]
679*2^715935-1 is not prime.  Res64: 1F82F0169B0D897E  Time : 3411.0 sec.
user=vaughan
[2009-10-09 23:33:31]
705*2^715115-1 is not prime.  Res64: 0E8B3E6249CA00E7  Time : 713.0 sec.
user=gd_barnes
[2009-10-09 23:35:10]
717*2^715936-1 is not prime.  Res64: 97433F47B48166C6  Time : 3409.0 sec.
user=vaughan
[2009-10-09 23:36:04]
771*2^715945-1 is not prime.  Res64: D0380861F92AF879  Time : 1080.0 sec.
user=vaughan
[2009-10-09 23:37:31]
735*2^715947-1 is not prime.  Res64: 030B8ED0763F69B9  Time : 714.0 sec.
user=gd_barnes
[2009-10-09 23:39:16]
651*2^715097-1 is not prime.  Res64: 48485027FF6ACB3B  Time : 3422.0 sec.
user=vaughan
[2009-10-09 23:39:34]
741*2^715946-1 is not prime.  Res64: 571726415456A6BB  Time : 989.0 sec.
user=vaughan
[2009-10-09 23:41:17]
775*2^715947-1 is not prime.  Res64: F0A4CB887C11A735  Time : 734.0 sec.
user=gd_barnes
[2009-10-09 23:41:44]
765*2^715936-1 is not prime.  Res64: 5A476EC414D44298  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 23:42:22]
615*2^715937-1 is not prime.  Res64: DCB76210D649A929  Time : 3410.0 sec.
user=vaughan
[2009-10-09 23:45:36]
689*2^715948-1 is not prime.  Res64: F57B502952594964  Time : 725.0 sec.
user=gd_barnes
[2009-10-09 23:46:32]
611*2^715938-1 is not prime.  Res64: 8CDD620936F7DA6A  Time : 3410.0 sec.
user=vaughan
[2009-10-09 23:49:26]
619*2^715949-1 is not prime.  Res64: 319A5A6077665159  Time : 716.0 sec.
user=gd_barnes
[2009-10-09 23:50:40]
681*2^715939-1 is not prime.  Res64: 6C6014213B29A7A1  Time : 3420.0 sec.
user=vaughan
[2009-10-09 23:52:58]
797*2^715948-1 is not prime.  Res64: BA1CF26B4D08ED0A  Time : 1014.0 sec.
user=gd_barnes
[2009-10-09 23:53:07]
743*2^715100-1 is not prime.  Res64: CAE670A961C7E729  Time : 3418.0 sec.
user=gd_barnes
[2009-10-09 23:53:44]
675*2^715940-1 is not prime.  Res64: 9467ACC98F2BBDD8  Time : 3411.0 sec.
user=vaughan
[2009-10-09 23:53:53]
711*2^715950-1 is not prime.  Res64: 7DF733EAC9762153  Time : 756.0 sec.
user=vaughan
[2009-10-09 23:55:49]
745*2^715949-1 is not prime.  Res64: 876F7C7537B0E9BA  Time : 975.0 sec.
user=vaughan
[2009-10-09 23:57:14]
681*2^715951-1 is not prime.  Res64: DD405DF854DFC0D8  Time : 699.0 sec.
user=gd_barnes
[2009-10-09 23:57:55]
675*2^715941-1 is not prime.  Res64: BB63C490CA24A5F6  Time : 3411.0 sec.