user=gd_barnes
[2009-10-03 00:00:39]
745*2^712569-1 is not prime.  Res64: B7A721BBF5F0C330  Time : 3402.0 sec.
user=gd_barnes
[2009-10-03 00:01:14]
777*2^712892-1 is not prime.  Res64: 5461EC26AE2025F6  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 00:01:33]
625*2^712893-1 is not prime.  Res64: CD31B66151592D48  Time : 3407.0 sec.
user=vaughan
[2009-10-03 00:04:05]
627*2^712902-1 is not prime.  Res64: 62AEF3918E2157E5  Time : 1326.0 sec.
user=vaughan
[2009-10-03 00:06:00]
671*2^712902-1 is not prime.  Res64: 1D39E4EBBF72E326  Time : 1156.0 sec.
user=gd_barnes
[2009-10-03 00:06:39]
751*2^712893-1 is not prime.  Res64: 39FB9621F927F3E3  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 00:12:00]
603*2^712895-1 is not prime.  Res64: 00D67CFE9AE9CCB3  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 00:12:34]
669*2^712572-1 is not prime.  Res64: 278ABCAA3FE5A851  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 00:12:56]
783*2^712895-1 is not prime.  Res64: B82EF3A9C71111ED  Time : 3408.0 sec.
user=vaughan
[2009-10-03 00:13:18]
765*2^712270-1 is not prime.  Res64: 9F8E631A4568BE59  Time : 1290.0 sec.
user=gd_barnes
[2009-10-03 00:18:01]
765*2^712896-1 is not prime.  Res64: 264AF1D37BDCA821  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 00:23:21]
729*2^712897-1 is not prime.  Res64: 855554552475E91D  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 00:23:55]
675*2^712899-1 is not prime.  Res64: 355B603F3D857827  Time : 3405.0 sec.
user=vaughan
[2009-10-03 00:24:15]
727*2^712273-1 is not prime.  Res64: E6FCCCE41DEA67C0  Time : 1210.0 sec.
user=gd_barnes
[2009-10-03 00:24:17]
723*2^712899-1 is not prime.  Res64: 47D0FCBB599CF5CD  Time : 3408.0 sec.
user=vaughan
[2009-10-03 00:26:43]
741*2^712905-1 is not prime.  Res64: 2559F4F01B3572FD  Time : 1243.0 sec.
user=gd_barnes
[2009-10-03 00:29:23]
629*2^712900-1 is not prime.  Res64: 46962D624A65E4AF  Time : 3408.0 sec.
user=vaughan
[2009-10-03 00:34:37]
673*2^712907-1 is not prime.  Res64: 82B9C6FA89DDEA37  Time : 1279.0 sec.
user=gd_barnes
[2009-10-03 00:34:42]
695*2^712900-1 is not prime.  Res64: CAAD0E6DFCCB92BD  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 00:35:17]
735*2^712900-1 is not prime.  Res64: 07921390FA2E8757  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 00:35:39]
685*2^712901-1 is not prime.  Res64: 08AA6ABF821DA057  Time : 3408.0 sec.
user=gd_barnes
[2009-10-03 00:40:43]
651*2^712902-1 is not prime.  Res64: 6116F4EB6FAE76B6  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 00:46:03]
683*2^712902-1 is not prime.  Res64: 0E7DDD9976DBDDF2  Time : 3404.0 sec.
user=vaughan
[2009-10-03 00:46:15]
639*2^712909-1 is not prime.  Res64: A171E177B0912B01  Time : 1173.0 sec.
user=gd_barnes
[2009-10-03 00:46:37]
711*2^712902-1 is not prime.  Res64: 8B517711EDED4394  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 00:47:01]
615*2^712903-1 is not prime.  Res64: D4B2AB5BD3E4F091  Time : 3408.0 sec.
user=vaughan
[2009-10-03 00:47:07]
633*2^712908-1 is not prime.  Res64: 19191207FDF128F6  Time : 1372.0 sec.
user=gd_barnes
[2009-10-03 00:52:06]
673*2^712903-1 is not prime.  Res64: 92DD7E91648C90EA  Time : 3408.0 sec.
user=vaughan
[2009-10-03 00:56:25]
771*2^712909-1 is not prime.  Res64: 38E911DC630A0319  Time : 1308.0 sec.
user=gd_barnes
[2009-10-03 00:57:23]
767*2^712904-1 is not prime.  Res64: C3BD76A0263027E8  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 00:57:59]
785*2^712904-1 is not prime.  Res64: 31F7172DC3C7DAC1  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 00:58:22]
789*2^712904-1 is not prime.  Res64: 7F62815EA746BDE6  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 01:03:26]
623*2^712906-1 is not prime.  Res64: AAA9A774855A4870  Time : 3407.0 sec.
user=vaughan
[2009-10-03 01:06:36]
639*2^712912-1 is not prime.  Res64: 1B420513481060D8  Time : 1221.0 sec.
user=vaughan
[2009-10-03 01:07:33]
713*2^712912-1 is not prime.  Res64: 13ED163D43296C78  Time : 1226.0 sec.
user=gd_barnes
[2009-10-03 01:08:44]
777*2^712906-1 is not prime.  Res64: 3F33AC2B42884D0C  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 01:09:19]
643*2^712907-1 is not prime.  Res64: 07FB36608182A61C  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 01:09:43]
649*2^712907-1 is not prime.  Res64: EAC71D33D335FBB7  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 01:14:47]
717*2^712276-1 is not prime.  Res64: 98357C35BC62E849  Time : 3406.0 sec.
user=vaughan
[2009-10-03 01:17:32]
721*2^712913-1 is not prime.  Res64: CB7FF4C7C0BF5739  Time : 1267.0 sec.
user=gd_barnes
[2009-10-03 01:20:04]
693*2^712907-1 is not prime.  Res64: 34243167B3720301  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 01:20:41]
799*2^712907-1 is not prime.  Res64: DBE7F62D920AD8BC  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 01:21:05]
615*2^712909-1 is not prime.  Res64: 2AC3B3F265E532C2  Time : 3408.0 sec.
user=gd_barnes
[2009-10-03 01:26:08]
657*2^712594-1 is not prime.  Res64: 0B52B97BB349764E  Time : 3405.0 sec.
user=vaughan
[2009-10-03 01:27:20]
663*2^712914-1 is not prime.  Res64: 62FD10B274402F87  Time : 1245.0 sec.
user=vaughan
[2009-10-03 01:28:31]
725*2^712914-1 is not prime.  Res64: 192923025F7F7267  Time : 1259.0 sec.
user=gd_barnes
[2009-10-03 01:31:26]
775*2^712909-1 is not prime.  Res64: 0AE5185C5D867466  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 01:32:01]
773*2^712910-1 is not prime.  Res64: 42ED2AA48D220E66  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 01:32:26]
685*2^712911-1 is not prime.  Res64: CBFD0F16F06DF057  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 01:37:29]
759*2^712595-1 is not prime.  Res64: 35A7A1B9F3680BB4  Time : 3406.0 sec.
user=vaughan
[2009-10-03 01:39:36]
735*2^712915-1 is not prime.  Res64: BD489D4C6E71E25C  Time : 1325.0 sec.
user=gd_barnes
[2009-10-03 01:42:46]
795*2^712911-1 is not prime.  Res64: 82C00DFD5F62EE61  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 01:43:23]
665*2^712912-1 is not prime.  Res64: 060E660DEE856E10  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 01:43:48]
699*2^712912-1 is not prime.  Res64: 2CE92EA3E40C7ED9  Time : 3407.0 sec.
user=vaughan
[2009-10-03 01:46:08]
703*2^712607-1 is not prime.  Res64: BAFB221101E7969C  Time : 1129.0 sec.
user=gd_barnes
[2009-10-03 01:48:51]
619*2^712599-1 is not prime.  Res64: B35B17318802B0AD  Time : 3406.0 sec.
user=vaughan
[2009-10-03 01:51:49]
717*2^712917-1 is not prime.  Res64: B0F2B74897F17A69  Time : 1398.0 sec.
user=gd_barnes
[2009-10-03 01:54:08]
781*2^712913-1 is not prime.  Res64: C6C9819A21538640  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 01:54:43]
633*2^712914-1 is not prime.  Res64: 6FD913BBA0F8AC96  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 01:55:09]
635*2^712914-1 is not prime.  Res64: 156D43D41F326A06  Time : 3407.0 sec.
user=vaughan
[2009-10-03 01:58:37]
693*2^712920-1 is not prime.  Res64: 8F0EC3A62204EF4C  Time : 749.0 sec.
user=gd_barnes
[2009-10-03 02:00:11]
621*2^712602-1 is not prime.  Res64: 077C1ED5F1AADA65  Time : 3405.0 sec.
user=vaughan
[2009-10-03 02:01:54]
657*2^712612-1 is not prime.  Res64: 39586AA8F4F271A2  Time : 1338.0 sec.
user=gd_barnes
[2009-10-03 02:05:29]
603*2^712915-1 is not prime.  Res64: 52A96775558260A6  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 02:06:05]
691*2^712915-1 is not prime.  Res64: 3A0D429A6046CE2A  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 02:06:32]
709*2^712915-1 is not prime.  Res64: 8084A3670E7B1A9D  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 02:09:41]
621*2^712894-1 is not prime.  Res64: D310275E1AB3F716  Time : 10692.0 sec.
user=vaughan
[2009-10-03 02:10:55]
741*2^712921-1 is not prime.  Res64: 6389C5714C26614E  Time : 738.0 sec.
user=gd_barnes
[2009-10-03 02:11:33]
691*2^712605-1 is not prime.  Res64: 014C5CD1C6573DE0  Time : 3406.0 sec.
user=kar_bon
[2009-10-03 02:14:39]
675*2^712894-1 is not prime.  Res64: E00015E32239779E  Time : 10804.0 sec.
user=vaughan
[2009-10-03 02:15:27]
663*2^712614-1 is not prime.  Res64: 3C2D13B381671A43  Time : 1418.0 sec.
user=gd_barnes
[2009-10-03 02:16:49]
789*2^712915-1 is not prime.  Res64: 4F5D48097618AB49  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 02:17:25]
793*2^712915-1 is not prime.  Res64: 0EA2196F43A8871D  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 02:17:53]
625*2^712917-1 is not prime.  Res64: A8E2DE53B7A3521B  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 02:22:42]
719*2^712896-1 is not prime.  Res64: FF56772521980292  Time : 10901.0 sec.
user=gd_barnes
[2009-10-03 02:22:54]
655*2^712917-1 is not prime.  Res64: 836CBC1345157EA4  Time : 3406.0 sec.
user=vaughan
[2009-10-03 02:23:08]
789*2^712923-1 is not prime.  Res64: E38B51F7E9331B7F  Time : 733.0 sec.
user=kar_bon
[2009-10-03 02:27:05]
667*2^712897-1 is not prime.  Res64: 499481D83555F0F9  Time : 11036.0 sec.
user=vaughan
[2009-10-03 02:27:21]
797*2^712922-1 is not prime.  Res64: C03409A20679D709  Time : 1527.0 sec.
user=gd_barnes
[2009-10-03 02:28:11]
635*2^712918-1 is not prime.  Res64: 1A783E1EFFE20FF7  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 02:28:47]
695*2^712918-1 is not prime.  Res64: FEFC43DF564AA4C8  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 02:29:15]
609*2^712919-1 is not prime.  Res64: B4CE57152A473D41  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 02:32:25]
731*2^712898-1 is not prime.  Res64: 8FC6E3E85D9E012B  Time : 11138.0 sec.
user=gd_barnes
[2009-10-03 02:34:16]
711*2^712919-1 is not prime.  Res64: 0D3A951EB0BC993F  Time : 3407.0 sec.
user=vaughan
[2009-10-03 02:35:20]
657*2^712926-1 is not prime.  Res64: 7FBE8F204BC9B2F1  Time : 732.0 sec.
user=vaughan
[2009-10-03 02:37:46]
717*2^712924-1 is not prime.  Res64: 82DEDCD3C889A35C  Time : 1339.0 sec.
user=kar_bon
[2009-10-03 02:38:53]
623*2^712900-1 is not prime.  Res64: 36BC19B2D5148421  Time : 11190.0 sec.
user=gd_barnes
[2009-10-03 02:39:31]
729*2^712919-1 is not prime.  Res64: FD11F5EB3BDC8B75  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 02:40:08]
789*2^712919-1 is not prime.  Res64: 7D2C9CB6151C5819  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 02:40:37]
799*2^712919-1 is not prime.  Res64: D794695F091DAA2B  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 02:40:54]
653*2^712900-1 is not prime.  Res64: AC3159397E9AB26A  Time : 11183.0 sec.
user=gd_barnes
[2009-10-03 02:45:37]
717*2^712920-1 is not prime.  Res64: 64A9C7D52F9B1E3F  Time : 3406.0 sec.
user=kar_bon
[2009-10-03 02:46:30]
699*2^712900-1 is not prime.  Res64: 3FE04AB6B2FB96FF  Time : 11299.0 sec.
user=vaughan
[2009-10-03 02:47:35]
693*2^712927-1 is not prime.  Res64: 31230ADD4A02AC2D  Time : 735.0 sec.
user=gd_barnes
[2009-10-03 02:50:52]
719*2^712920-1 is not prime.  Res64: C5E9397C58973F34  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 02:51:29]
651*2^712921-1 is not prime.  Res64: D7CB90BA0FD74CD8  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 02:51:59]
675*2^712921-1 is not prime.  Res64: A6171C9D27D2D8EA  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 02:52:36]
679*2^712903-1 is not prime.  Res64: 7A50D4D100A7AFFB  Time : 10460.0 sec.
user=vaughan
[2009-10-03 02:54:20]
755*2^712926-1 is not prime.  Res64: AF49DCBC382FC27F  Time : 1619.0 sec.
user=kar_bon
[2009-10-03 02:54:39]
685*2^712923-1 is not prime.  Res64: A59D07F4A9C8C05D  Time : 2698.0 sec.
user=gd_barnes
[2009-10-03 02:56:59]
755*2^712922-1 is not prime.  Res64: AA5AF522D52A09D8  Time : 3408.0 sec.
user=vaughan
[2009-10-03 02:58:13]
703*2^712927-1 is not prime.  Res64: 7BA1EF335D5723D2  Time : 1228.0 sec.
user=kar_bon
[2009-10-03 02:58:36]
675*2^712924-1 is not prime.  Res64: A38ECB65F86EA981  Time : 2638.0 sec.
user=vaughan
[2009-10-03 02:59:53]
741*2^712929-1 is not prime.  Res64: 04B4BE6E6F43FFC0  Time : 738.0 sec.
user=gd_barnes
[2009-10-03 03:02:12]
699*2^712617-1 is not prime.  Res64: 0DE59E48E5E7DAB9  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 03:02:51]
619*2^712923-1 is not prime.  Res64: 94591F7C13A27D77  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 03:03:19]
643*2^712923-1 is not prime.  Res64: 9F111FD1C5C2E845  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 03:08:20]
623*2^712924-1 is not prime.  Res64: FF500A267EE445AA  Time : 3407.0 sec.
user=vaughan
[2009-10-03 03:12:12]
749*2^712932-1 is not prime.  Res64: 15A7FE0EED211294  Time : 739.0 sec.
user=kar_bon
[2009-10-03 03:13:29]
711*2^712925-1 is not prime.  Res64: 0C853C58140E78B1  Time : 3048.0 sec.
user=gd_barnes
[2009-10-03 03:13:33]
775*2^712621-1 is not prime.  Res64: 70E8418A397E85E0  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 03:14:11]
601*2^712925-1 is not prime.  Res64: 60E43B2CD41CAD82  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 03:14:41]
645*2^712925-1 is not prime.  Res64: 5D182DDA9921D639  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 03:17:38]
671*2^712926-1 is not prime.  Res64: 5038C5D7573A8ABD  Time : 3034.0 sec.
user=gd_barnes
[2009-10-03 03:19:42]
759*2^712925-1 is not prime.  Res64: 75DA5A2EE67A8A37  Time : 3408.0 sec.
user=vaughan
[2009-10-03 03:21:52]
735*2^712628-1 is not prime.  Res64: 578145223C246652  Time : 1653.0 sec.
user=kar_bon
[2009-10-03 03:22:06]
645*2^712927-1 is not prime.  Res64: AA722D9A079DD5F1  Time : 2981.0 sec.
user=vaughan
[2009-10-03 03:23:23]
623*2^712932-1 is not prime.  Res64: 25E2E481A914E2A6  Time : 1510.0 sec.
user=vaughan
[2009-10-03 03:24:24]
615*2^712934-1 is not prime.  Res64: 7AE612C735F18702  Time : 733.0 sec.
user=gd_barnes
[2009-10-03 03:24:53]
609*2^712927-1 is not prime.  Res64: 16FC395226E05067  Time : 3402.0 sec.
user=gd_barnes
[2009-10-03 03:25:32]
639*2^712624-1 is not prime.  Res64: A93907B1D53996BB  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 03:26:03]
619*2^712927-1 is not prime.  Res64: C7BA273E5A17D51E  Time : 3408.0 sec.
user=gd_barnes
[2009-10-03 03:31:02]
651*2^712927-1 is not prime.  Res64: 34EB3187F14BC441  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 03:36:15]
735*2^712928-1 is not prime.  Res64: D91DC211D1B6F4E2  Time : 3404.0 sec.
user=vaughan
[2009-10-03 03:36:37]
679*2^712935-1 is not prime.  Res64: 38D5FFDFE7F48A97  Time : 734.0 sec.
user=gd_barnes
[2009-10-03 03:36:53]
747*2^712928-1 is not prime.  Res64: DBBB451E7F615E7F  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 03:37:24]
773*2^712928-1 is not prime.  Res64: E9EBFF32A6E605CF  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 03:42:24]
609*2^712929-1 is not prime.  Res64: 5546FD08FB626600  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 03:47:35]
769*2^712929-1 is not prime.  Res64: B7A5E84C476066D8  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 03:48:15]
695*2^712930-1 is not prime.  Res64: 356526AB33A1FFB3  Time : 3406.0 sec.
user=vaughan
[2009-10-03 03:48:43]
613*2^712935-1 is not prime.  Res64: 804DDAD624E094D4  Time : 1611.0 sec.
user=gd_barnes
[2009-10-03 03:48:46]
621*2^712931-1 is not prime.  Res64: 2341D2AC92615244  Time : 3408.0 sec.
user=vaughan
[2009-10-03 03:48:51]
695*2^712936-1 is not prime.  Res64: 4A2CC4F3FF612027  Time : 735.0 sec.
user=kar_bon
[2009-10-03 03:50:26]
705*2^712927-1 is not prime.  Res64: 1ECEBFB1F55B9764  Time : 4293.0 sec.
user=vaughan
[2009-10-03 03:50:59]
675*2^712935-1 is not prime.  Res64: 1B9BACE38417F3F0  Time : 1656.0 sec.
user=kar_bon
[2009-10-03 03:52:27]
653*2^712626-1 is not prime.  Res64: 004F41B59DFE75BE  Time : 4293.0 sec.
user=gd_barnes
[2009-10-03 03:53:45]
745*2^712931-1 is not prime.  Res64: 5E764AED8CFAAB02  Time : 3406.0 sec.
user=kar_bon
[2009-10-03 03:55:53]
795*2^712428-1 is not prime.  Res64: 568BED481A584A9B  Time : 61491.0 sec.
user=kar_bon
[2009-10-03 03:55:55]
677*2^712724-1 is not prime.  Res64: 834C0C35EA1376F8  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:55:56]
709*2^712725-1 is not prime.  Res64: C0FF9CE6ECC32609  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:55:58]
735*2^712725-1 is not prime.  Res64: 4B42808B1861ECF8  Time : 61495.0 sec.
user=kar_bon
[2009-10-03 03:55:59]
795*2^712725-1 is not prime.  Res64: 611D4724B788F5EC  Time : 61495.0 sec.
user=kar_bon
[2009-10-03 03:56:00]
653*2^712726-1 is not prime.  Res64: 71557E89B3602D37  Time : 61496.0 sec.
user=kar_bon
[2009-10-03 03:56:00]
761*2^712726-1 is not prime.  Res64: F8A27B9C7F3D1510  Time : 61495.0 sec.
user=kar_bon
[2009-10-03 03:56:01]
649*2^712727-1 is not prime.  Res64: 5D76F07644779F3A  Time : 61496.0 sec.
user=kar_bon
[2009-10-03 03:56:01]
673*2^712727-1 is not prime.  Res64: 86C84F7C1F6EA847  Time : 61495.0 sec.
user=kar_bon
[2009-10-03 03:56:02]
627*2^712728-1 is not prime.  Res64: E854CDCA8BCC9FFC  Time : 61495.0 sec.
user=kar_bon
[2009-10-03 03:56:02]
663*2^712728-1 is not prime.  Res64: F7ADE9C29083B612  Time : 61494.0 sec.
user=kar_bon
[2009-10-03 03:56:02]
661*2^712729-1 is not prime.  Res64: 8F473154FF8B889C  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:03]
605*2^712730-1 is not prime.  Res64: BBF23B9F5BA0D13D  Time : 61494.0 sec.
user=kar_bon
[2009-10-03 03:56:03]
783*2^712730-1 is not prime.  Res64: 76F5DF70188DDD4A  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:04]
619*2^712731-1 is not prime.  Res64: 9C7F387547754D6F  Time : 61494.0 sec.
user=kar_bon
[2009-10-03 03:56:04]
669*2^712731-1 is not prime.  Res64: E89F3EBC38ABE9E8  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:05]
705*2^712731-1 is not prime.  Res64: 6CBD7B793CC94820  Time : 61494.0 sec.
user=kar_bon
[2009-10-03 03:56:05]
781*2^712731-1 is not prime.  Res64: 566F14EDED8016F5  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:06]
789*2^712731-1 is not prime.  Res64: 1E1494354D590029  Time : 61494.0 sec.
user=kar_bon
[2009-10-03 03:56:06]
795*2^712731-1 is not prime.  Res64: 389C22D7CCC9EA9E  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:07]
615*2^712732-1 is not prime.  Res64: CCE8748E9A6733C4  Time : 61494.0 sec.
user=kar_bon
[2009-10-03 03:56:07]
695*2^712732-1 is not prime.  Res64: AAC530AE7411C8EB  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:08]
719*2^712732-1 is not prime.  Res64: 8981CB5B3EB1759C  Time : 61494.0 sec.
user=kar_bon
[2009-10-03 03:56:08]
735*2^712732-1 is not prime.  Res64: 57EC0F562F436183  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:08]
631*2^712733-1 is not prime.  Res64: 591E8FE7288C0C56  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:09]
675*2^712733-1 is not prime.  Res64: 86A1E33DA2DF35B0  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:09]
735*2^712733-1 is not prime.  Res64: 24625DC176C77987  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:10]
747*2^712733-1 is not prime.  Res64: 067E4F20F85B69F7  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:10]
757*2^712733-1 is not prime.  Res64: 844A48F7085CE1BA  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:11]
627*2^712734-1 is not prime.  Res64: EE1470C880983E71  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:11]
663*2^712734-1 is not prime.  Res64: 76AD721EA24F90D7  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:12]
725*2^712734-1 is not prime.  Res64: 26EC2139E73CF9EF  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:12]
747*2^712734-1 is not prime.  Res64: AF98A429750430A0  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:13]
645*2^712735-1 is not prime.  Res64: 1EBC191A50F86FA3  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:14]
673*2^712735-1 is not prime.  Res64: CB92BBBD984E6ADC  Time : 61494.0 sec.
user=kar_bon
[2009-10-03 03:56:14]
735*2^712735-1 is not prime.  Res64: 1F6BA057FC85D6CE  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:14]
741*2^712735-1 is not prime.  Res64: 9CA79B32327406B1  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:15]
783*2^712735-1 is not prime.  Res64: E04658B9E28C4098  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:15]
669*2^712736-1 is not prime.  Res64: E5F0E8BDCE5AA366  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:16]
689*2^712736-1 is not prime.  Res64: 1640FB354EB4ED43  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:16]
693*2^712736-1 is not prime.  Res64: 0BEAB38519E321DC  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:17]
669*2^712737-1 is not prime.  Res64: 5F458564AAE4D53C  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:17]
717*2^712737-1 is not prime.  Res64: 70BFBD1D86270AA7  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:17]
727*2^712737-1 is not prime.  Res64: 37BB28C5F6A84DF4  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:18]
769*2^712737-1 is not prime.  Res64: C2E76D43C3202543  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:19]
795*2^712737-1 is not prime.  Res64: BE95C48342A3391A  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:19]
603*2^712738-1 is not prime.  Res64: 2DF7877DFDC6A9F1  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:19]
663*2^712738-1 is not prime.  Res64: 37979B76D899D9E3  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:20]
665*2^712738-1 is not prime.  Res64: E814F2D8F00B0252  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:20]
705*2^712738-1 is not prime.  Res64: 6557248C52E3855D  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:21]
601*2^712739-1 is not prime.  Res64: 5A50E474DF651EDE  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:21]
631*2^712739-1 is not prime.  Res64: F6E224CC569312EE  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:22]
645*2^712739-1 is not prime.  Res64: C1D9FAD28E928B5A  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:22]
745*2^712739-1 is not prime.  Res64: A68FA6FCDEC06496  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:23]
609*2^712740-1 is not prime.  Res64: FE9D2AC4F198BB99  Time : 61493.0 sec.
user=kar_bon
[2009-10-03 03:56:23]
623*2^712740-1 is not prime.  Res64: 543FBE23A374D771  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:23]
777*2^712740-1 is not prime.  Res64: 8AFA55A4F8198E2A  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:24]
777*2^712741-1 is not prime.  Res64: F0A8F8A135FC9DAE  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:24]
627*2^712742-1 is not prime.  Res64: 2568140D32B66B0A  Time : 61491.0 sec.
user=kar_bon
[2009-10-03 03:56:25]
705*2^712742-1 is not prime.  Res64: 83F967A646750DDD  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:25]
755*2^712742-1 is not prime.  Res64: B60E23BC174156BE  Time : 61491.0 sec.
user=kar_bon
[2009-10-03 03:56:26]
771*2^712742-1 is not prime.  Res64: 48CD2EE984E49BD0  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:26]
615*2^712743-1 is not prime.  Res64: F69D08E8E3AF39E6  Time : 61491.0 sec.
user=kar_bon
[2009-10-03 03:56:27]
619*2^712743-1 is not prime.  Res64: C0B61EA708BC78A9  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:27]
661*2^712743-1 is not prime.  Res64: B28B9454341C4AD1  Time : 61491.0 sec.
user=kar_bon
[2009-10-03 03:56:28]
705*2^712743-1 is not prime.  Res64: 833747406084FBF7  Time : 61492.0 sec.
user=kar_bon
[2009-10-03 03:56:28]
775*2^712743-1 is not prime.  Res64: 02151765A081A6D2  Time : 61490.0 sec.
user=kar_bon
[2009-10-03 03:56:29]
795*2^712743-1 is not prime.  Res64: AEA7B3FF67215B91  Time : 61490.0 sec.
user=kar_bon
[2009-10-03 03:56:29]
605*2^712744-1 is not prime.  Res64: D06E42DCC19FE4A2  Time : 61489.0 sec.
user=kar_bon
[2009-10-03 03:56:29]
635*2^712744-1 is not prime.  Res64: 4213F2D01E3A7E37  Time : 61488.0 sec.
user=kar_bon
[2009-10-03 03:58:02]
637*2^712929-1 is not prime.  Res64: A374A7CC11D66BD1  Time : 4292.0 sec.
user=gd_barnes
[2009-10-03 03:58:56]
767*2^712932-1 is not prime.  Res64: E682783A8EF48160  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 03:59:35]
797*2^712932-1 is not prime.  Res64: C5C16ECFF5BCFCF2  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 04:00:09]
619*2^712933-1 is not prime.  Res64: D4649C93B7C4447F  Time : 3410.0 sec.
user=vaughan
[2009-10-03 04:01:09]
665*2^712938-1 is not prime.  Res64: 4881B38FD0AA9543  Time : 739.0 sec.
user=gd_barnes
[2009-10-03 04:05:06]
683*2^712632-1 is not prime.  Res64: F0D30B3F5B38A728  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 04:10:17]
693*2^712934-1 is not prime.  Res64: E13B8DDB6A5FABC0  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 04:10:56]
741*2^712934-1 is not prime.  Res64: E2A9A5DD392FB59B  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 04:11:29]
747*2^712934-1 is not prime.  Res64: 1B26BFE3B199B35F  Time : 3408.0 sec.
user=vaughan
[2009-10-03 04:13:25]
689*2^712952-1 is not prime.  Res64: 75126E0AE0853ACD  Time : 737.0 sec.
user=vaughan
[2009-10-03 04:15:29]
697*2^712937-1 is not prime.  Res64: 5E5A3348504497AA  Time : 1606.0 sec.
user=gd_barnes
[2009-10-03 04:16:28]
619*2^712639-1 is not prime.  Res64: 9B3DCD113F9C6E6F  Time : 3406.0 sec.
user=vaughan
[2009-10-03 04:18:29]
625*2^712939-1 is not prime.  Res64: 562A9A9F47709210  Time : 1651.0 sec.
user=gd_barnes
[2009-10-03 04:21:37]
711*2^712935-1 is not prime.  Res64: 15D5A366FBBAB4B1  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 04:22:17]
735*2^712935-1 is not prime.  Res64: C34D37B5050738FF  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 04:22:49]
751*2^712935-1 is not prime.  Res64: 62FEEAA37C56A93F  Time : 3406.0 sec.
user=vaughan
[2009-10-03 04:25:46]
611*2^712954-1 is not prime.  Res64: 23F452AA44886C67  Time : 742.0 sec.
user=gd_barnes
[2009-10-03 04:27:48]
783*2^712935-1 is not prime.  Res64: 0B5D21BA66CB054F  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 04:32:58]
609*2^712936-1 is not prime.  Res64: C06075E4A67CE28E  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 04:33:38]
699*2^712936-1 is not prime.  Res64: 37795E6DC47919DF  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 04:34:11]
707*2^712936-1 is not prime.  Res64: C717A88DEFFF5496  Time : 3407.0 sec.
user=vaughan
[2009-10-03 04:38:02]
755*2^712954-1 is not prime.  Res64: 1193873D39B8DC13  Time : 736.0 sec.
user=gd_barnes
[2009-10-03 04:39:10]
759*2^712936-1 is not prime.  Res64: 4C468BBCBDC47113  Time : 3406.0 sec.
user=vaughan
[2009-10-03 04:42:44]
665*2^712954-1 is not prime.  Res64: D6DD332882F49DA7  Time : 1635.0 sec.
user=gd_barnes
[2009-10-03 04:44:18]
749*2^712644-1 is not prime.  Res64: B373561EB229D188  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 04:44:59]
637*2^712937-1 is not prime.  Res64: 4E0E63AD06A8F4C5  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 04:45:31]
633*2^712938-1 is not prime.  Res64: 34245CCC59946573  Time : 3405.0 sec.
user=vaughan
[2009-10-03 04:46:27]
681*2^712954-1 is not prime.  Res64: 0967AA527A7071C4  Time : 1678.0 sec.
user=vaughan
[2009-10-03 04:50:19]
669*2^712956-1 is not prime.  Res64: 727F4C175DE35465  Time : 737.0 sec.
user=gd_barnes
[2009-10-03 04:50:32]
693*2^712939-1 is not prime.  Res64: 6A441BDDEE57C708  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 04:52:28]
679*2^712931-1 is not prime.  Res64: 65576DCAF68A4450  Time : 7192.0 sec.
user=gd_barnes
[2009-10-03 04:55:39]
635*2^712952-1 is not prime.  Res64: 266C7FCAFE2F1098  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 04:56:20]
665*2^712952-1 is not prime.  Res64: F2DB4FCA47DAC262  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 04:56:53]
677*2^712952-1 is not prime.  Res64: AB36985579C87B76  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 05:01:52]
797*2^712952-1 is not prime.  Res64: CC215DA6B9203DA9  Time : 3406.0 sec.
user=vaughan
[2009-10-03 05:02:35]
617*2^712958-1 is not prime.  Res64: E48641387FC39934  Time : 736.0 sec.
user=kar_bon
[2009-10-03 05:05:58]
741*2^712931-1 is not prime.  Res64: AE872FD02B0D67FA  Time : 7879.0 sec.
user=gd_barnes
[2009-10-03 05:06:59]
675*2^712336-1 is not prime.  Res64: FD34EA4ACDC4BF98  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 05:07:41]
639*2^712953-1 is not prime.  Res64: AF3C123BE6E4B166  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 05:08:16]
751*2^712953-1 is not prime.  Res64: 1CC1BBAFA556BC9D  Time : 3407.0 sec.
user=vaughan
[2009-10-03 05:09:56]
707*2^712956-1 is not prime.  Res64: 1A5B75E0E4BE0DD3  Time : 1632.0 sec.
user=gd_barnes
[2009-10-03 05:13:14]
677*2^712954-1 is not prime.  Res64: DB70A133D623AE3B  Time : 3407.0 sec.
user=vaughan
[2009-10-03 05:14:34]
699*2^712957-1 is not prime.  Res64: 025E7594A8E9EBED  Time : 1687.0 sec.
user=vaughan
[2009-10-03 05:14:51]
625*2^712959-1 is not prime.  Res64: 4BB9E52146E1455C  Time : 736.0 sec.
user=gd_barnes
[2009-10-03 05:18:20]
645*2^712654-1 is not prime.  Res64: DE5815CEEC002CC0  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 05:19:02]
717*2^712954-1 is not prime.  Res64: A22E91CD78358831  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 05:19:36]
747*2^712954-1 is not prime.  Res64: E9251905CD665D51  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 05:24:35]
675*2^712955-1 is not prime.  Res64: 3BA7F446DD1D6B07  Time : 3407.0 sec.
user=vaughan
[2009-10-03 05:27:18]
777*2^712960-1 is not prime.  Res64: 24C3BA2C0A00EEF6  Time : 747.0 sec.
user=gd_barnes
[2009-10-03 05:29:40]
773*2^712658-1 is not prime.  Res64: 706800824CD03F67  Time : 3402.0 sec.
user=gd_barnes
[2009-10-03 05:30:24]
759*2^712955-1 is not prime.  Res64: D448973381254BAB  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 05:30:58]
781*2^712955-1 is not prime.  Res64: 29C6D04E0E1F07E0  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 05:34:24]
693*2^712932-1 is not prime.  Res64: 212487EA538409A9  Time : 9348.0 sec.
user=gd_barnes
[2009-10-03 05:35:57]
675*2^712956-1 is not prime.  Res64: 5104AF6F30FE858E  Time : 3407.0 sec.
user=vaughan
[2009-10-03 05:37:49]
603*2^712960-1 is not prime.  Res64: 8802D3BFA6B33174  Time : 1673.0 sec.
user=vaughan
[2009-10-03 05:39:36]
675*2^712960-1 is not prime.  Res64: 3F04D137336FA173  Time : 1502.0 sec.
user=vaughan
[2009-10-03 05:39:48]
747*2^712961-1 is not prime.  Res64: 1D6889E977AE545F  Time : 750.0 sec.
user=gd_barnes
[2009-10-03 05:41:02]
609*2^712957-1 is not prime.  Res64: 83F729B070F24E68  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 05:41:44]
691*2^712957-1 is not prime.  Res64: 4496874E179656A6  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 05:42:19]
777*2^712661-1 is not prime.  Res64: 2D1FA3B463E423B5  Time : 3408.0 sec.
user=gd_barnes
[2009-10-03 05:47:17]
635*2^712958-1 is not prime.  Res64: 642A9B561ABC9F08  Time : 3405.0 sec.
user=vaughan
[2009-10-03 05:52:11]
615*2^712963-1 is not prime.  Res64: 35781DD5EDCDB703  Time : 743.0 sec.
user=gd_barnes
[2009-10-03 05:52:22]
707*2^712958-1 is not prime.  Res64: EA0B729E31EF9A86  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 05:53:06]
797*2^712958-1 is not prime.  Res64: 186E841F92523D81  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 05:53:41]
615*2^712959-1 is not prime.  Res64: 97E4BB32F132EDF3  Time : 3408.0 sec.
user=gd_barnes
[2009-10-03 05:58:39]
693*2^712351-1 is not prime.  Res64: CA97FBB31E9998EC  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 06:03:43]
669*2^712959-1 is not prime.  Res64: 2F4A0B507EDD6F78  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 06:04:26]
693*2^712959-1 is not prime.  Res64: 967DFF4C5F4C2E75  Time : 3405.0 sec.
user=vaughan
[2009-10-03 06:04:33]
699*2^712677-1 is not prime.  Res64: 760E3027B3BD191E  Time : 742.0 sec.
user=gd_barnes
[2009-10-03 06:05:02]
721*2^712959-1 is not prime.  Res64: E47FE751E1A99919  Time : 3407.0 sec.
user=vaughan
[2009-10-03 06:05:22]
765*2^712962-1 is not prime.  Res64: 4249B7C7C927AFA8  Time : 1546.0 sec.
user=vaughan
[2009-10-03 06:05:27]
713*2^712962-1 is not prime.  Res64: 36F89C3BE7FA74B8  Time : 1658.0 sec.
user=gd_barnes
[2009-10-03 06:10:01]
609*2^712669-1 is not prime.  Res64: 0F5769A2CADE809D  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 06:15:05]
607*2^712961-1 is not prime.  Res64: 0687F95F7BB41BF7  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 06:15:48]
717*2^712961-1 is not prime.  Res64: 88442AAD9A1675DF  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 06:16:24]
735*2^712961-1 is not prime.  Res64: D16211DB1F6E2113  Time : 3408.0 sec.
user=vaughan
[2009-10-03 06:16:57]
633*2^712967-1 is not prime.  Res64: 49F54B2B745C4A3E  Time : 744.0 sec.
user=gd_barnes
[2009-10-03 06:21:22]
695*2^712672-1 is not prime.  Res64: 42A2EDF75A9AF9AC  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 06:21:46]
645*2^712934-1 is not prime.  Res64: 58C26F3583C846C9  Time : 11297.0 sec.
user=gd_barnes
[2009-10-03 06:26:25]
789*2^712961-1 is not prime.  Res64: 6CAAA79EC6A259AE  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 06:27:08]
635*2^712962-1 is not prime.  Res64: 4BC570DEE158D079  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 06:27:46]
651*2^712962-1 is not prime.  Res64: 841430B4C1380FBE  Time : 3408.0 sec.
user=vaughan
[2009-10-03 06:29:17]
675*2^712967-1 is not prime.  Res64: 359D94727AAC935B  Time : 1436.0 sec.
user=vaughan
[2009-10-03 06:29:19]
609*2^712969-1 is not prime.  Res64: C0144BB9B6510262  Time : 742.0 sec.
user=vaughan
[2009-10-03 06:31:04]
683*2^712968-1 is not prime.  Res64: EF049AEB66DAEAFB  Time : 1538.0 sec.
user=gd_barnes
[2009-10-03 06:32:43]
747*2^712674-1 is not prime.  Res64: 0224576B63920621  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 06:37:46]
619*2^712963-1 is not prime.  Res64: 5F80DBFBE2B02897  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 06:38:30]
685*2^712963-1 is not prime.  Res64: D9512C1BEBA27437  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 06:39:07]
723*2^712963-1 is not prime.  Res64: EA6642507A7B9F37  Time : 3408.0 sec.
user=vaughan
[2009-10-03 06:41:36]
711*2^712970-1 is not prime.  Res64: 3AC2AC5DE9E708AC  Time : 737.0 sec.
user=gd_barnes
[2009-10-03 06:44:05]
783*2^712963-1 is not prime.  Res64: 25AAC23F1D9CBDD8  Time : 3408.0 sec.
user=gd_barnes
[2009-10-03 06:49:08]
615*2^712964-1 is not prime.  Res64: 1E128F152F32B85A  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 06:49:50]
707*2^712964-1 is not prime.  Res64: D08DF00686677F95  Time : 3404.0 sec.
user=kar_bon
[2009-10-03 06:50:26]
753*2^712934-1 is not prime.  Res64: 42BF796494E703E0  Time : 12768.0 sec.
user=gd_barnes
[2009-10-03 06:50:28]
717*2^712965-1 is not prime.  Res64: EDFB59F6813DE186  Time : 3407.0 sec.
user=vaughan
[2009-10-03 06:53:28]
613*2^712971-1 is not prime.  Res64: AF3FA8691D5A0468  Time : 1344.0 sec.
user=vaughan
[2009-10-03 06:53:51]
657*2^712972-1 is not prime.  Res64: 4BC4833CC2A33B8D  Time : 735.0 sec.
user=vaughan
[2009-10-03 06:55:06]
641*2^712970-1 is not prime.  Res64: AA3BD16802A8F3EE  Time : 1549.0 sec.
user=gd_barnes
[2009-10-03 06:55:28]
777*2^712965-1 is not prime.  Res64: A17E00E5280A40C2  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 06:55:54]
649*2^712935-1 is not prime.  Res64: 14F8A92ACA3B4AE4  Time : 12828.0 sec.
user=gd_barnes
[2009-10-03 07:00:27]
689*2^712680-1 is not prime.  Res64: CA4BBEC4FA153683  Time : 3404.0 sec.
user=kar_bon
[2009-10-03 07:01:02]
765*2^712938-1 is not prime.  Res64: 76BE06F06FCD41AB  Time : 11436.0 sec.
user=gd_barnes
[2009-10-03 07:01:11]
609*2^712967-1 is not prime.  Res64: FE4092898F39C12D  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 07:01:50]
643*2^712967-1 is not prime.  Res64: EE0F62AD96741D5C  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 07:02:59]
685*2^712939-1 is not prime.  Res64: F736363F1EB6B5D5  Time : 11432.0 sec.
user=vaughan
[2009-10-03 07:06:04]
795*2^712973-1 is not prime.  Res64: 94D8A3E77C11CA30  Time : 733.0 sec.
user=gd_barnes
[2009-10-03 07:06:49]
699*2^712968-1 is not prime.  Res64: 9CA612E8CA20E38B  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 07:07:46]
609*2^712952-1 is not prime.  Res64: CE42B106E2187C98  Time : 11384.0 sec.
user=gd_barnes
[2009-10-03 07:11:48]
711*2^712682-1 is not prime.  Res64: DB3A94C724C2A789  Time : 3404.0 sec.
user=kar_bon
[2009-10-03 07:12:24]
665*2^712958-1 is not prime.  Res64: F272270EE21D01DB  Time : 8396.0 sec.
user=gd_barnes
[2009-10-03 07:12:32]
725*2^712968-1 is not prime.  Res64: 9CC7F2EF94642E65  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 07:13:11]
797*2^712968-1 is not prime.  Res64: 06031D14A22C904A  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 07:14:22]
663*2^712959-1 is not prime.  Res64: 8764CC5F5C77CBA8  Time : 7709.0 sec.
user=vaughan
[2009-10-03 07:17:40]
775*2^712973-1 is not prime.  Res64: A4103F1CEA9F7B64  Time : 1452.0 sec.
user=gd_barnes
[2009-10-03 07:18:12]
685*2^712969-1 is not prime.  Res64: C9A0BAE3A0767A02  Time : 3410.0 sec.
user=vaughan
[2009-10-03 07:18:19]
617*2^712976-1 is not prime.  Res64: 84A1D59943B9E4E5  Time : 735.0 sec.
user=vaughan
[2009-10-03 07:21:04]
605*2^712974-1 is not prime.  Res64: 0CB2B8F420DA53D8  Time : 1558.0 sec.
user=gd_barnes
[2009-10-03 07:23:08]
619*2^712685-1 is not prime.  Res64: F51F2DE6CD35989B  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 07:23:53]
765*2^712969-1 is not prime.  Res64: 2AFA0304CD0CE7D4  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 07:24:33]
771*2^712969-1 is not prime.  Res64: A4B3699928AF36B4  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 07:29:34]
703*2^712971-1 is not prime.  Res64: 09C1A1CF1EF2E1C9  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 07:30:31]
705*2^712962-1 is not prime.  Res64: B22FC6DA6FDF851A  Time : 6967.0 sec.
user=vaughan
[2009-10-03 07:30:52]
777*2^712977-1 is not prime.  Res64: ED0E6CBAD9BE629C  Time : 753.0 sec.
user=gd_barnes
[2009-10-03 07:34:30]
751*2^712971-1 is not prime.  Res64: C8E9B291EF6ECABF  Time : 3404.0 sec.
user=kar_bon
[2009-10-03 07:35:08]
691*2^712969-1 is not prime.  Res64: 750A36FD3310972C  Time : 4402.0 sec.
user=gd_barnes
[2009-10-03 07:35:13]
735*2^712688-1 is not prime.  Res64: 8554F8AE620531EB  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 07:35:54]
793*2^712971-1 is not prime.  Res64: DFD69F715618BC64  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 07:37:34]
695*2^712690-1 is not prime.  Res64: 618A5EA10324EC7B  Time : 2829.0 sec.
user=vaughan
[2009-10-03 07:40:29]
741*2^712694-1 is not prime.  Res64: D8B555BC6F055235  Time : 1369.0 sec.
user=gd_barnes
[2009-10-03 07:40:55]
687*2^712972-1 is not prime.  Res64: 862C58C20ADB5483  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 07:42:25]
705*2^712974-1 is not prime.  Res64: 22B688C529511AA5  Time : 2791.0 sec.
user=vaughan
[2009-10-03 07:43:12]
653*2^712980-1 is not prime.  Res64: 1D371E7CD6ABE352  Time : 740.0 sec.
user=gd_barnes
[2009-10-03 07:45:50]
785*2^712972-1 is not prime.  Res64: 47B9833591E9F9FC  Time : 3402.0 sec.
user=gd_barnes
[2009-10-03 07:46:34]
619*2^712973-1 is not prime.  Res64: BC67D08A0FFE84B8  Time : 3404.0 sec.
user=kar_bon
[2009-10-03 07:47:01]
783*2^712974-1 is not prime.  Res64: 46199445EFBA8A22  Time : 2759.0 sec.
user=gd_barnes
[2009-10-03 07:47:16]
729*2^712973-1 is not prime.  Res64: 41435D690B8055C2  Time : 3408.0 sec.
user=vaughan
[2009-10-03 07:47:46]
611*2^712978-1 is not prime.  Res64: E27B79760B2D7A23  Time : 1602.0 sec.
user=kar_bon
[2009-10-03 07:49:01]
759*2^712692-1 is not prime.  Res64: 632C78E24B8EE82F  Time : 2762.0 sec.
user=gd_barnes
[2009-10-03 07:52:18]
641*2^712974-1 is not prime.  Res64: 6CC0010832D86D04  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 07:53:47]
785*2^712976-1 is not prime.  Res64: 81F920C9AC5BCEBF  Time : 2761.0 sec.
user=vaughan
[2009-10-03 07:55:37]
617*2^712982-1 is not prime.  Res64: 0236A4C613F59206  Time : 745.0 sec.
user=gd_barnes
[2009-10-03 07:57:11]
755*2^712974-1 is not prime.  Res64: FA3A5391D08A213E  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 07:57:55]
639*2^712975-1 is not prime.  Res64: 9A2D5645146EDE83  Time : 3404.0 sec.
user=kar_bon
[2009-10-03 07:58:23]
681*2^712977-1 is not prime.  Res64: 8CB2147EF14C7AB1  Time : 2760.0 sec.
user=gd_barnes
[2009-10-03 07:58:38]
649*2^712975-1 is not prime.  Res64: 58EF5542D804E134  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 08:00:22]
739*2^712977-1 is not prime.  Res64: 7135042EF590EF5B  Time : 2761.0 sec.
user=vaughan
[2009-10-03 08:02:25]
735*2^712698-1 is not prime.  Res64: 37B2CCE405DDF3E1  Time : 1316.0 sec.
user=gd_barnes
[2009-10-03 08:03:40]
689*2^712976-1 is not prime.  Res64: 2D1DAAD9C28BFFBA  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 08:05:08]
685*2^712979-1 is not prime.  Res64: D539345B9E33B68D  Time : 2077.0 sec.
user=vaughan
[2009-10-03 08:07:49]
657*2^712984-1 is not prime.  Res64: C5C987A1C77B69DB  Time : 732.0 sec.
user=gd_barnes
[2009-10-03 08:08:32]
651*2^712977-1 is not prime.  Res64: 575E7253FAEE81E6  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 08:09:16]
691*2^712977-1 is not prime.  Res64: 0231362DE6955CF8  Time : 3405.0 sec.
user=kar_bon
[2009-10-03 08:09:45]
675*2^712980-1 is not prime.  Res64: E39A68C54311FD93  Time : 2077.0 sec.
user=gd_barnes
[2009-10-03 08:09:59]
735*2^712977-1 is not prime.  Res64: 7CC23E38E01894F2  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 08:11:44]
625*2^712981-1 is not prime.  Res64: 9849D52D33F58AFF  Time : 2050.0 sec.
user=vaughan
[2009-10-03 08:14:13]
703*2^712983-1 is not prime.  Res64: D7BFBDE5C257D3EC  Time : 1587.0 sec.
user=gd_barnes
[2009-10-03 08:15:02]
759*2^712977-1 is not prime.  Res64: FF1A090A5C661F2F  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 08:16:29]
603*2^712982-1 is not prime.  Res64: 471C9B6527F5E319  Time : 2044.0 sec.
user=gd_barnes
[2009-10-03 08:19:53]
723*2^712978-1 is not prime.  Res64: 6D7B0FB97EB13C13  Time : 3405.0 sec.
user=vaughan
[2009-10-03 08:20:02]
785*2^712702-1 is not prime.  Res64: DA08AC8F4A74A959  Time : 733.0 sec.
user=gd_barnes
[2009-10-03 08:20:36]
731*2^712978-1 is not prime.  Res64: 1546E863F2E886D7  Time : 3403.0 sec.
user=kar_bon
[2009-10-03 08:21:07]
797*2^712982-1 is not prime.  Res64: 360256CC03169F0D  Time : 2046.0 sec.
user=gd_barnes
[2009-10-03 08:21:21]
655*2^712979-1 is not prime.  Res64: AB73ECCA508B758C  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 08:23:06]
783*2^712983-1 is not prime.  Res64: 21A736FB29A78A3D  Time : 2045.0 sec.
user=vaughan
[2009-10-03 08:25:30]
759*2^712985-1 is not prime.  Res64: 77EEA924BC0ED5D4  Time : 1385.0 sec.
user=gd_barnes
[2009-10-03 08:26:23]
719*2^712696-1 is not prime.  Res64: 9542D30D37B6D21C  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 08:27:50]
725*2^712700-1 is not prime.  Res64: 4C6B6AA48C3D1E82  Time : 2043.0 sec.
user=gd_barnes
[2009-10-03 08:31:14]
665*2^712980-1 is not prime.  Res64: 05E1E418EBE889EB  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 08:31:57]
695*2^712980-1 is not prime.  Res64: 2E3CE5FF5B466D50  Time : 3404.0 sec.
user=vaughan
[2009-10-03 08:32:17]
753*2^712988-1 is not prime.  Res64: C8E40B851352E7EC  Time : 735.0 sec.
user=kar_bon
[2009-10-03 08:32:28]
607*2^712985-1 is not prime.  Res64: CA76CF7673EE2ABF  Time : 2046.0 sec.
user=gd_barnes
[2009-10-03 08:32:42]
759*2^712980-1 is not prime.  Res64: D82208E0E1C4557D  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 08:34:28]
645*2^712985-1 is not prime.  Res64: 5D25F8B5A71BD23C  Time : 2046.0 sec.
user=vaughan
[2009-10-03 08:37:30]
715*2^712987-1 is not prime.  Res64: FAB3F66A25353714  Time : 1398.0 sec.
user=gd_barnes
[2009-10-03 08:37:45]
747*2^712981-1 is not prime.  Res64: 575982E5D56A5622  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 08:39:10]
747*2^712986-1 is not prime.  Res64: C125061EA26EBACC  Time : 2042.0 sec.
user=gd_barnes
[2009-10-03 08:42:34]
665*2^712982-1 is not prime.  Res64: 25495CD20268A129  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 08:43:17]
743*2^712982-1 is not prime.  Res64: 1E6A348EFC8EEE2F  Time : 3403.0 sec.
user=kar_bon
[2009-10-03 08:43:51]
681*2^712987-1 is not prime.  Res64: 1FF557D51A2C33F4  Time : 2046.0 sec.
user=gd_barnes
[2009-10-03 08:44:04]
685*2^712983-1 is not prime.  Res64: 4FB122C0DF0C30B1  Time : 3408.0 sec.
user=vaughan
[2009-10-03 08:44:30]
615*2^712991-1 is not prime.  Res64: 7C54B6D9E7A945A6  Time : 733.0 sec.
user=kar_bon
[2009-10-03 08:45:50]
703*2^712987-1 is not prime.  Res64: 56FB419CEE0AEFFC  Time : 2046.0 sec.
user=vaughan
[2009-10-03 08:48:55]
751*2^712989-1 is not prime.  Res64: 9DAA363ADC96B887  Time : 1406.0 sec.
user=gd_barnes
[2009-10-03 08:49:07]
623*2^712984-1 is not prime.  Res64: 8CCAF856AA4531C3  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 08:50:32]
743*2^712988-1 is not prime.  Res64: 0F5778C7E3241AE7  Time : 2044.0 sec.
user=gd_barnes
[2009-10-03 08:53:56]
707*2^712984-1 is not prime.  Res64: 0FD200C69B967814  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 08:54:38]
759*2^712984-1 is not prime.  Res64: 53553893E7743382  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 08:55:24]
619*2^712985-1 is not prime.  Res64: 4FFD0F6DDE460EC4  Time : 3407.0 sec.
user=vaughan
[2009-10-03 08:56:44]
619*2^712995-1 is not prime.  Res64: 2DD64481E52AE8C3  Time : 734.0 sec.
user=vaughan
[2009-10-03 08:57:50]
615*2^712993-1 is not prime.  Res64: EB6CEEAE348DAD30  Time : 1221.0 sec.
user=gd_barnes
[2009-10-03 09:00:29]
647*2^712986-1 is not prime.  Res64: 53FD7975BF30EE45  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 09:05:17]
777*2^712986-1 is not prime.  Res64: 0A97037707234C0F  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 09:05:59]
619*2^712987-1 is not prime.  Res64: 17E8D72A456620E0  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 09:06:46]
693*2^712987-1 is not prime.  Res64: C670DB4DDCBDEE32  Time : 3407.0 sec.
user=vaughan
[2009-10-03 09:08:57]
601*2^712039-1 is not prime.  Res64: 29660E72482A0473  Time : 733.0 sec.
user=gd_barnes
[2009-10-03 09:11:51]
617*2^712988-1 is not prime.  Res64: ECB15E3B81E2EFD0  Time : 3409.0 sec.
user=vaughan
[2009-10-03 09:12:08]
789*2^712995-1 is not prime.  Res64: 3DB42BC4A4346262  Time : 1393.0 sec.
user=gd_barnes
[2009-10-03 09:16:36]
657*2^712398-1 is not prime.  Res64: 4BA5B9B5A21C53D2  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 09:17:20]
767*2^712988-1 is not prime.  Res64: 7DFE057625330894  Time : 3404.0 sec.
user=vaughan
[2009-10-03 09:17:58]
711*2^712997-1 is not prime.  Res64: DC77381266D945D2  Time : 1208.0 sec.
user=gd_barnes
[2009-10-03 09:18:08]
615*2^712989-1 is not prime.  Res64: EF612771FA484438  Time : 3407.0 sec.
user=vaughan
[2009-10-03 09:21:20]
735*2^712410-1 is not prime.  Res64: 7D056D243661BF8A  Time : 743.0 sec.
user=gd_barnes
[2009-10-03 09:23:13]
769*2^712989-1 is not prime.  Res64: 56C9CE73BDABA73B  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 09:27:59]
675*2^712707-1 is not prime.  Res64: B6CE9C362500207C  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 09:28:41]
611*2^712990-1 is not prime.  Res64: A256C44977DDA758  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 09:29:28]
705*2^712991-1 is not prime.  Res64: 3B1535683BD31AB6  Time : 3406.0 sec.
user=kar_bon
[2009-10-03 09:29:44]
795*2^712988-1 is not prime.  Res64: EE04EB2D0948A23B  Time : 4118.0 sec.
user=kar_bon
[2009-10-03 09:31:45]
625*2^712989-1 is not prime.  Res64: 9E8B06F1D1BCF275  Time : 4119.0 sec.
user=gd_barnes
[2009-10-03 09:34:35]
625*2^712993-1 is not prime.  Res64: EE0CE2B8F04E84A0  Time : 3410.0 sec.
user=vaughan
[2009-10-03 09:35:09]
699*2^712413-1 is not prime.  Res64: 7EAEE8A36FC7D4F5  Time : 829.0 sec.
user=vaughan
[2009-10-03 09:35:34]
795*2^712998-1 is not prime.  Res64: 9A5FB9350C7AA5F2  Time : 1406.0 sec.
user=kar_bon
[2009-10-03 09:36:27]
781*2^712989-1 is not prime.  Res64: F3F8403573EE17B2  Time : 4117.0 sec.
user=vaughan
[2009-10-03 09:38:29]
741*2^712999-1 is not prime.  Res64: FF54EC65EDC8AF2E  Time : 1231.0 sec.
user=gd_barnes
[2009-10-03 09:39:19]
679*2^712993-1 is not prime.  Res64: EFC490D035CADF34  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 09:40:01]
605*2^712404-1 is not prime.  Res64: 290F8E2B42E44ED6  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 09:40:51]
705*2^712993-1 is not prime.  Res64: 66912F7D0F7FE741  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 09:41:40]
643*2^712991-1 is not prime.  Res64: 622786F5795569A5  Time : 4152.0 sec.
user=kar_bon
[2009-10-03 09:44:39]
737*2^712992-1 is not prime.  Res64: 5E6C5FC4C80225DD  Time : 4211.0 sec.
user=gd_barnes
[2009-10-03 09:45:57]
609*2^712996-1 is not prime.  Res64: E7A19B8E63460CA3  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 09:49:56]
639*2^712993-1 is not prime.  Res64: 3A610BC59934690B  Time : 4246.0 sec.
user=gd_barnes
[2009-10-03 09:50:41]
705*2^712996-1 is not prime.  Res64: 05CF0C114863387A  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 09:51:22]
743*2^712996-1 is not prime.  Res64: 2B9A6BE81C7EE110  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 09:52:13]
631*2^712997-1 is not prime.  Res64: 6588A09BAB64023D  Time : 3409.0 sec.
user=vaughan
[2009-10-03 09:54:56]
681*2^713002-1 is not prime.  Res64: 88F16CC50B8897B3  Time : 1187.0 sec.
user=vaughan
[2009-10-03 09:55:04]
633*2^713003-1 is not prime.  Res64: B7F8A53EBFF373DB  Time : 1170.0 sec.
user=kar_bon
[2009-10-03 09:55:13]
681*2^712993-1 is not prime.  Res64: 9BA7D21E95C426F6  Time : 4283.0 sec.
user=kar_bon
[2009-10-03 09:57:14]
751*2^712995-1 is not prime.  Res64: C9426FDB0A0C9D68  Time : 4284.0 sec.
user=gd_barnes
[2009-10-03 09:57:20]
747*2^712997-1 is not prime.  Res64: 0E3B5EEE21FE3543  Time : 3411.0 sec.
user=vaughan
[2009-10-03 09:59:56]
741*2^713003-1 is not prime.  Res64: 7D3941506A6EE31A  Time : 1287.0 sec.
user=gd_barnes
[2009-10-03 10:02:01]
757*2^712997-1 is not prime.  Res64: 56F95071CAF6DF38  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 10:02:42]
611*2^712998-1 is not prime.  Res64: E68667E0EF608BE6  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 10:03:33]
621*2^712998-1 is not prime.  Res64: 1867E15571BF5254  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 10:05:26]
663*2^712996-1 is not prime.  Res64: E3D4FDC93F5646D5  Time : 4495.0 sec.
user=gd_barnes
[2009-10-03 10:08:41]
725*2^712998-1 is not prime.  Res64: 74E015C7BF84AC2F  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 10:10:51]
745*2^713001-1 is not prime.  Res64: BB663642A897069B  Time : 2467.0 sec.
user=vaughan
[2009-10-03 10:10:55]
651*2^713006-1 is not prime.  Res64: AD4B3C5CB6316255  Time : 952.0 sec.
user=kar_bon
[2009-10-03 10:12:52]
653*2^713002-1 is not prime.  Res64: 14369FA8ACD878AB  Time : 2467.0 sec.
user=gd_barnes
[2009-10-03 10:13:22]
639*2^712999-1 is not prime.  Res64: 80D09FD34D83483F  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 10:14:04]
729*2^712999-1 is not prime.  Res64: 8D5DBCFFC01CAE57  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 10:14:55]
615*2^713000-1 is not prime.  Res64: A96AED823326D22B  Time : 3407.0 sec.
user=vaughan
[2009-10-03 10:16:03]
641*2^713006-1 is not prime.  Res64: 8533F9DEC2B3B3DD  Time : 1267.0 sec.
user=kar_bon
[2009-10-03 10:17:43]
669*2^713003-1 is not prime.  Res64: E83A57BC220CBA20  Time : 2476.0 sec.
user=gd_barnes
[2009-10-03 10:20:03]
669*2^713000-1 is not prime.  Res64: 575DCB4B108D63FF  Time : 3410.0 sec.
user=vaughan
[2009-10-03 10:21:48]
631*2^712723-1 is not prime.  Res64: 2A4B2FB3C7747FF0  Time : 1312.0 sec.
user=kar_bon
[2009-10-03 10:22:12]
783*2^713004-1 is not prime.  Res64: 236DC3B2F11EEC95  Time : 2433.0 sec.
user=gd_barnes
[2009-10-03 10:24:43]
677*2^713000-1 is not prime.  Res64: 99E4753A1AA89B42  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 10:25:25]
637*2^713001-1 is not prime.  Res64: D9B88A0966A6AE1E  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 10:26:17]
679*2^713001-1 is not prime.  Res64: DE9B30E1C6715718  Time : 3409.0 sec.
user=vaughan
[2009-10-03 10:27:04]
657*2^713010-1 is not prime.  Res64: C5DB51ED35FEED33  Time : 969.0 sec.
user=gd_barnes
[2009-10-03 10:31:26]
675*2^712717-1 is not prime.  Res64: A25B71912EAEB812  Time : 3412.0 sec.
user=kar_bon
[2009-10-03 10:34:52]
795*2^713004-1 is not prime.  Res64: 98ED481545218550  Time : 3013.0 sec.
user=gd_barnes
[2009-10-03 10:36:04]
683*2^713004-1 is not prime.  Res64: 9A4CAD94FADDCE30  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 10:36:45]
723*2^713004-1 is not prime.  Res64: 8F02D1B3A86287E1  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 10:37:39]
767*2^713004-1 is not prime.  Res64: F2EAEF088B417606  Time : 3408.0 sec.
user=vaughan
[2009-10-03 10:38:00]
733*2^713011-1 is not prime.  Res64: A6439E09CD3DBC77  Time : 1317.0 sec.
user=kar_bon
[2009-10-03 10:39:45]
645*2^713005-1 is not prime.  Res64: 1192BDB81C192875  Time : 2989.0 sec.
user=vaughan
[2009-10-03 10:42:42]
765*2^713013-1 is not prime.  Res64: 71289644731B63C6  Time : 938.0 sec.
user=gd_barnes
[2009-10-03 10:42:48]
755*2^712720-1 is not prime.  Res64: E97B15C868CC1CE2  Time : 3411.0 sec.
user=vaughan
[2009-10-03 10:44:38]
623*2^713012-1 is not prime.  Res64: 0976AA197D2B8961  Time : 1370.0 sec.
user=kar_bon
[2009-10-03 10:45:15]
705*2^713006-1 is not prime.  Res64: 93218B9C04269DA4  Time : 3002.0 sec.
user=kar_bon
[2009-10-03 10:47:17]
761*2^713006-1 is not prime.  Res64: 00EF3C5CEA529ED6  Time : 3003.0 sec.
user=gd_barnes
[2009-10-03 10:47:26]
675*2^713005-1 is not prime.  Res64: 965D5BA5F2C5C1A2  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 10:48:07]
691*2^713005-1 is not prime.  Res64: D5CA7F33FECFB0DC  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 10:49:00]
717*2^713005-1 is not prime.  Res64: 65F1DB5F829DFA13  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 10:54:07]
773*2^713008-1 is not prime.  Res64: 78CF7E6E92A6E21F  Time : 2921.0 sec.
user=gd_barnes
[2009-10-03 10:54:10]
669*2^713007-1 is not prime.  Res64: 0A4F8255BAD03496  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 10:58:34]
747*2^713009-1 is not prime.  Res64: 80B1E65938A3F93B  Time : 2863.0 sec.
user=gd_barnes
[2009-10-03 10:58:46]
675*2^713007-1 is not prime.  Res64: 533AD83170FA6739  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 10:59:27]
703*2^713007-1 is not prime.  Res64: 15ED77F70D67DBFC  Time : 3405.0 sec.
user=vaughan
[2009-10-03 10:59:47]
619*2^713015-1 is not prime.  Res64: D94E0B9290AC447F  Time : 1308.0 sec.
user=gd_barnes
[2009-10-03 11:00:22]
795*2^713007-1 is not prime.  Res64: FE382F61A8E883E3  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 11:00:35]
765*2^713010-1 is not prime.  Res64: F1454375797A76F5  Time : 2863.0 sec.
user=vaughan
[2009-10-03 11:02:45]
615*2^713016-1 is not prime.  Res64: CC68D854CE64F153  Time : 1203.0 sec.
user=vaughan
[2009-10-03 11:05:02]
689*2^713016-1 is not prime.  Res64: 47E7CD40530C9A86  Time : 1224.0 sec.
user=kar_bon
[2009-10-03 11:05:29]
783*2^713011-1 is not prime.  Res64: B0C6A9C3F8FB71E7  Time : 2866.0 sec.
user=gd_barnes
[2009-10-03 11:05:31]
727*2^713009-1 is not prime.  Res64: 8C8D31C54196042E  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 11:09:57]
635*2^713012-1 is not prime.  Res64: 942B292DF17B3C9D  Time : 2865.0 sec.
user=gd_barnes
[2009-10-03 11:10:08]
603*2^713011-1 is not prime.  Res64: E41DE74FA951C315  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 11:10:48]
631*2^713011-1 is not prime.  Res64: C435045387453E84  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 11:11:44]
709*2^713011-1 is not prime.  Res64: 8398DB1950FB6790  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 11:11:57]
657*2^713014-1 is not prime.  Res64: 4468C15BB53AB9D5  Time : 2225.0 sec.
user=kar_bon
[2009-10-03 11:16:50]
651*2^713015-1 is not prime.  Res64: B6A9808F4F448FDE  Time : 2225.0 sec.
user=gd_barnes
[2009-10-03 11:16:54]
609*2^713012-1 is not prime.  Res64: F251ECF3F2FD2F3A  Time : 3411.0 sec.
user=vaughan
[2009-10-03 11:21:04]
641*2^712746-1 is not prime.  Res64: F19E696DD050D34D  Time : 1277.0 sec.
user=kar_bon
[2009-10-03 11:21:18]
767*2^713016-1 is not prime.  Res64: 57B7B1ADFA648700  Time : 2163.0 sec.
user=gd_barnes
[2009-10-03 11:21:28]
689*2^713012-1 is not prime.  Res64: 35A56797F04D100B  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 11:22:10]
735*2^713013-1 is not prime.  Res64: 8C4381AF5CFFA527  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 11:23:05]
741*2^713013-1 is not prime.  Res64: 32B04293ACA30B06  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 11:23:20]
609*2^713017-1 is not prime.  Res64: 3D5198A93AFF35B5  Time : 2163.0 sec.
user=vaughan
[2009-10-03 11:25:22]
735*2^712746-1 is not prime.  Res64: 2CD28180A22FCA66  Time : 1357.0 sec.
user=vaughan
[2009-10-03 11:25:53]
651*2^712747-1 is not prime.  Res64: 738C63A36371468B  Time : 1252.0 sec.
user=kar_bon
[2009-10-03 11:28:12]
639*2^712744-1 is not prime.  Res64: B9CF04463907BE91  Time : 2045.0 sec.
user=gd_barnes
[2009-10-03 11:28:16]
621*2^713014-1 is not prime.  Res64: 121B0967D9E055D6  Time : 3411.0 sec.
user=gd_barnes
[2009-10-03 11:32:50]
737*2^713014-1 is not prime.  Res64: 3DFC32899CA4A216  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 11:33:31]
755*2^713014-1 is not prime.  Res64: FDF9D5DABC33ED47  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 11:34:27]
603*2^713015-1 is not prime.  Res64: 1A152FF9214463C4  Time : 3408.0 sec.
user=gd_barnes
[2009-10-03 11:39:38]
657*2^713016-1 is not prime.  Res64: FCA66CE8995A69FB  Time : 3410.0 sec.
user=vaughan
[2009-10-03 11:43:41]
775*2^713019-1 is not prime.  Res64: 36137E9A2D486558  Time : 1357.0 sec.
user=gd_barnes
[2009-10-03 11:44:10]
615*2^713017-1 is not prime.  Res64: 09800B17A87E8DD9  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 11:44:51]
771*2^713017-1 is not prime.  Res64: F2BBA77AD7B1E75A  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 11:45:47]
717*2^712425-1 is not prime.  Res64: 8B967D318355A359  Time : 3407.0 sec.
user=vaughan
[2009-10-03 11:47:16]
725*2^713022-1 is not prime.  Res64: A80AF1BC3BB4EBD9  Time : 1284.0 sec.
user=vaughan
[2009-10-03 11:48:42]
795*2^713021-1 is not prime.  Res64: 7A6B3BF69DE675F8  Time : 1400.0 sec.
user=gd_barnes
[2009-10-03 11:50:59]
645*2^712744-1 is not prime.  Res64: 925D0EB59A59D374  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 11:55:31]
607*2^712745-1 is not prime.  Res64: 556B238CFF90E83D  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 11:56:12]
669*2^712745-1 is not prime.  Res64: 3C9F76049A9DE845  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 11:57:08]
677*2^712746-1 is not prime.  Res64: 4A5A23572AA1AE36  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 12:02:21]
707*2^713018-1 is not prime.  Res64: 3ECAFA2CD32C022B  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 12:06:52]
747*2^713018-1 is not prime.  Res64: 60A53D502628A9AD  Time : 3404.0 sec.
user=vaughan
[2009-10-03 12:07:20]
665*2^713024-1 is not prime.  Res64: D06D0C194E3A403C  Time : 1419.0 sec.
user=gd_barnes
[2009-10-03 12:07:32]
767*2^713018-1 is not prime.  Res64: 66EA756EEC072C5B  Time : 3404.0 sec.
user=vaughan
[2009-10-03 12:07:48]
765*2^713025-1 is not prime.  Res64: 0AA7677F09BACB5C  Time : 1232.0 sec.
user=gd_barnes
[2009-10-03 12:08:30]
771*2^713018-1 is not prime.  Res64: 950DBFB175FFD8FB  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 12:13:44]
675*2^713019-1 is not prime.  Res64: BC5681B5D414D6C7  Time : 3410.0 sec.
user=vaughan
[2009-10-03 12:15:01]
781*2^713025-1 is not prime.  Res64: BEBFFEBCF9630C73  Time : 1580.0 sec.
user=gd_barnes
[2009-10-03 12:18:13]
773*2^713020-1 is not prime.  Res64: CFB92E6417CAA66A  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 12:18:54]
631*2^713021-1 is not prime.  Res64: ABCF106F9AEB4C8E  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 12:19:51]
657*2^713021-1 is not prime.  Res64: F505C63D6C10BCB4  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 12:25:05]
767*2^713022-1 is not prime.  Res64: F3EE70DCA7422BB9  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 12:29:34]
679*2^713023-1 is not prime.  Res64: 368084CDEF28EAEE  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 12:30:15]
735*2^713023-1 is not prime.  Res64: BA6ACFEAC2C6D434  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 12:31:13]
645*2^713024-1 is not prime.  Res64: FCFFCB340DB154BA  Time : 3406.0 sec.
user=vaughan
[2009-10-03 12:35:33]
755*2^713026-1 is not prime.  Res64: 751410283AA4E306  Time : 1665.0 sec.
user=gd_barnes
[2009-10-03 12:36:27]
623*2^712752-1 is not prime.  Res64: DC7522683798B709  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 12:40:55]
725*2^713024-1 is not prime.  Res64: 01D637B692089EC0  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 12:41:35]
627*2^713025-1 is not prime.  Res64: 4E9085BDA342CF48  Time : 3404.0 sec.
user=vaughan
[2009-10-03 12:42:21]
687*2^713029-1 is not prime.  Res64: 4EBE5BB6672CE9F3  Time : 1640.0 sec.
user=gd_barnes
[2009-10-03 12:42:35]
741*2^713025-1 is not prime.  Res64: B11349A0C02A7E4A  Time : 3408.0 sec.
user=vaughan
[2009-10-03 12:43:35]
735*2^713026-1 is not prime.  Res64: C5D4515384AF72C4  Time : 2176.0 sec.
user=gd_barnes
[2009-10-03 12:47:49]
789*2^713025-1 is not prime.  Res64: BC8EA3EF4D682987  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 12:52:16]
751*2^712753-1 is not prime.  Res64: 30D02CE483CDF91F  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 12:52:57]
795*2^713025-1 is not prime.  Res64: 2F0C72CDF0870ADC  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 12:53:56]
603*2^713026-1 is not prime.  Res64: 2A640FE144C977DF  Time : 3408.0 sec.
user=gd_barnes
[2009-10-03 12:59:11]
675*2^713026-1 is not prime.  Res64: 8F9E4CA23099CD91  Time : 3410.0 sec.
user=vaughan
[2009-10-03 13:02:11]
677*2^713030-1 is not prime.  Res64: EACE229EE2BF99BD  Time : 1598.0 sec.
user=gd_barnes
[2009-10-03 13:03:37]
797*2^712754-1 is not prime.  Res64: 161E1FD76B171C14  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 13:04:18]
747*2^713026-1 is not prime.  Res64: C04FF1CB028902A7  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 13:05:18]
695*2^713028-1 is not prime.  Res64: BA1D64D4738AFFBE  Time : 3408.0 sec.
user=vaughan
[2009-10-03 13:06:09]
735*2^713031-1 is not prime.  Res64: 4A1566A8276C45F3  Time : 1428.0 sec.
user=vaughan
[2009-10-03 13:08:24]
751*2^713031-1 is not prime.  Res64: B1B56941AB541A91  Time : 1489.0 sec.
user=gd_barnes
[2009-10-03 13:10:34]
649*2^713029-1 is not prime.  Res64: 86E7A7D386EC20D1  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 13:14:58]
721*2^713029-1 is not prime.  Res64: C6F4397741282F2B  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 13:15:38]
765*2^713029-1 is not prime.  Res64: 174EA1A284885312  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 13:16:38]
769*2^713029-1 is not prime.  Res64: 1D4290ADBA79B768  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 13:21:55]
631*2^712757-1 is not prime.  Res64: 7828503F6BD6F73A  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 13:26:19]
627*2^713030-1 is not prime.  Res64: 2765462884E9E936  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 13:26:59]
635*2^713030-1 is not prime.  Res64: 3050AACC97D7B64C  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 13:28:00]
675*2^713030-1 is not prime.  Res64: 658DA029E89A5613  Time : 3407.0 sec.
user=vaughan
[2009-10-03 13:29:03]
777*2^713032-1 is not prime.  Res64: 8963A7C457C74349  Time : 1374.0 sec.
user=vaughan
[2009-10-03 13:29:55]
693*2^713032-1 is not prime.  Res64: DA2E454F11162D04  Time : 1664.0 sec.
user=vaughan
[2009-10-03 13:33:11]
697*2^713033-1 is not prime.  Res64: F13E2C3EAC7A6925  Time : 1487.0 sec.
user=gd_barnes
[2009-10-03 13:33:17]
711*2^713030-1 is not prime.  Res64: A1B4A87F8A3B5BE7  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 13:37:39]
717*2^713030-1 is not prime.  Res64: D1A8865BEAC3C404  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 13:38:19]
651*2^713031-1 is not prime.  Res64: 42E0AA7A27CEDE24  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 13:39:21]
745*2^713031-1 is not prime.  Res64: 8E65D2090A3D8F35  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 13:44:38]
763*2^713031-1 is not prime.  Res64: A9C456BDF3EB8E85  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 13:49:00]
603*2^713032-1 is not prime.  Res64: A54C11722104F8F6  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 13:49:40]
751*2^712761-1 is not prime.  Res64: E43F1F3E97E800C3  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 13:50:42]
629*2^713032-1 is not prime.  Res64: 03037D04536C1F08  Time : 3406.0 sec.
user=vaughan
[2009-10-03 13:52:07]
603*2^713036-1 is not prime.  Res64: 2EDF77325A6B097A  Time : 1384.0 sec.
user=gd_barnes
[2009-10-03 13:56:00]
645*2^713032-1 is not prime.  Res64: 064A4FD0FD23B1BE  Time : 3409.0 sec.
user=vaughan
[2009-10-03 13:56:34]
621*2^712767-1 is not prime.  Res64: 027FBE7B596FBF6A  Time : 1403.0 sec.
user=vaughan
[2009-10-03 13:57:47]
623*2^713036-1 is not prime.  Res64: FB62A50F8C052593  Time : 1673.0 sec.
user=gd_barnes
[2009-10-03 14:00:21]
695*2^713032-1 is not prime.  Res64: E41CFD0074FFF8F8  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 14:01:01]
747*2^713032-1 is not prime.  Res64: 166181FDBA171DAE  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 14:02:05]
741*2^712763-1 is not prime.  Res64: 43728EAA1821BBB3  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 14:07:23]
641*2^713034-1 is not prime.  Res64: 36BB57D0F36E4476  Time : 3410.0 sec.
user=vaughan
[2009-10-03 14:10:30]
711*2^713039-1 is not prime.  Res64: E1349334ED1F73D6  Time : 836.0 sec.
user=gd_barnes
[2009-10-03 14:11:42]
663*2^713034-1 is not prime.  Res64: 41A898BEC920C8D2  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 14:12:21]
725*2^713034-1 is not prime.  Res64: 17EF314A927233C5  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 14:13:25]
755*2^713034-1 is not prime.  Res64: E20FDDFF0BC872A2  Time : 3407.0 sec.
user=vaughan
[2009-10-03 14:14:04]
693*2^713039-1 is not prime.  Res64: EAC25BA7E772C970  Time : 1317.0 sec.
user=gd_barnes
[2009-10-03 14:18:44]
667*2^712765-1 is not prime.  Res64: 71460E5BC57D69B9  Time : 3409.0 sec.
user=vaughan
[2009-10-03 14:22:56]
651*2^713041-1 is not prime.  Res64: 5C1D25E5F7131C11  Time : 746.0 sec.
user=gd_barnes
[2009-10-03 14:23:03]
619*2^713035-1 is not prime.  Res64: C5AD51756B7D41F8  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 14:23:42]
633*2^713035-1 is not prime.  Res64: 83FA8714402C1595  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 14:24:47]
651*2^713035-1 is not prime.  Res64: 61C6B31F86B8949D  Time : 3407.0 sec.
user=vaughan
[2009-10-03 14:28:24]
629*2^713040-1 is not prime.  Res64: 9AA8F4EC999ED717  Time : 1837.0 sec.
user=gd_barnes
[2009-10-03 14:30:07]
625*2^713037-1 is not prime.  Res64: A6A3D558EBF55B88  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 14:34:24]
759*2^713037-1 is not prime.  Res64: E37ADBB9B60BDD12  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 14:35:03]
657*2^713038-1 is not prime.  Res64: 061C54EE1962CFCB  Time : 3404.0 sec.
user=vaughan
[2009-10-03 14:35:20]
663*2^712460-1 is not prime.  Res64: 73F13585AC3E67CD  Time : 744.0 sec.
user=gd_barnes
[2009-10-03 14:36:07]
663*2^713038-1 is not prime.  Res64: 790CD3D430418189  Time : 3406.0 sec.
user=vaughan
[2009-10-03 14:36:34]
735*2^713042-1 is not prime.  Res64: EFEF7D6DA08BE8D5  Time : 1350.0 sec.
user=gd_barnes
[2009-10-03 14:41:28]
777*2^712768-1 is not prime.  Res64: FFAED401908BE21D  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 14:45:45]
713*2^713038-1 is not prime.  Res64: 89A6D38C7F99767C  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 14:46:24]
661*2^713039-1 is not prime.  Res64: 7B88146BA8E19A3B  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 14:47:29]
685*2^713039-1 is not prime.  Res64: 16BE961B92CF2CCC  Time : 3407.0 sec.
user=vaughan
[2009-10-03 14:47:45]
735*2^713045-1 is not prime.  Res64: 22D55A072C250568  Time : 745.0 sec.
user=gd_barnes
[2009-10-03 14:52:51]
797*2^712770-1 is not prime.  Res64: CAE9B0800EDE6AEC  Time : 3411.0 sec.
user=vaughan
[2009-10-03 14:54:16]
615*2^713048-1 is not prime.  Res64: 3C6ABD581A33A75B  Time : 1062.0 sec.
user=gd_barnes
[2009-10-03 14:57:05]
735*2^713040-1 is not prime.  Res64: 09BC75B7E8BE08A8  Time : 3404.0 sec.
user=vaughan
[2009-10-03 14:57:27]
773*2^713044-1 is not prime.  Res64: 3CA3ABF6C5E888C4  Time : 1743.0 sec.
user=gd_barnes
[2009-10-03 14:57:44]
737*2^713040-1 is not prime.  Res64: EFD3F76C0DA20F32  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 14:58:50]
797*2^713040-1 is not prime.  Res64: 83376C9556CFFB9D  Time : 3405.0 sec.
user=vaughan
[2009-10-03 15:00:23]
725*2^713048-1 is not prime.  Res64: B523E4BE84F68296  Time : 758.0 sec.
user=gd_barnes
[2009-10-03 15:04:12]
785*2^712772-1 is not prime.  Res64: 68CD7481811F1EF2  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 15:08:27]
705*2^713041-1 is not prime.  Res64: 37E58CF3467096A4  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 15:09:05]
633*2^713042-1 is not prime.  Res64: 97DA88C371F070C6  Time : 3404.0 sec.
user=vaughan
[2009-10-03 15:09:15]
661*2^713049-1 is not prime.  Res64: CF76CB419F6CF4E3  Time : 900.0 sec.
user=gd_barnes
[2009-10-03 15:10:11]
651*2^713042-1 is not prime.  Res64: 29982078DEE88D0C  Time : 3406.0 sec.
user=vaughan
[2009-10-03 15:12:57]
611*2^713050-1 is not prime.  Res64: BB826D5AE43B5A9B  Time : 755.0 sec.
user=gd_barnes
[2009-10-03 15:15:34]
797*2^713042-1 is not prime.  Res64: BBD1399E3610B11C  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 15:19:48]
795*2^713043-1 is not prime.  Res64: A63C8B103FB4BA7F  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 15:20:26]
635*2^713044-1 is not prime.  Res64: 34F63122625B54A5  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 15:21:33]
749*2^713044-1 is not prime.  Res64: EAE3344A7879EFEC  Time : 3406.0 sec.
user=vaughan
[2009-10-03 15:23:27]
685*2^713049-1 is not prime.  Res64: F95DF59F62A71A75  Time : 1560.0 sec.
user=vaughan
[2009-10-03 15:24:47]
693*2^713051-1 is not prime.  Res64: BEC1D5CDB8FB9B93  Time : 933.0 sec.
user=vaughan
[2009-10-03 15:25:28]
733*2^713051-1 is not prime.  Res64: 60B1391E5673E170  Time : 752.0 sec.
user=gd_barnes
[2009-10-03 15:26:56]
785*2^713044-1 is not prime.  Res64: 364E43D237AD840E  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 15:31:09]
699*2^713045-1 is not prime.  Res64: D10293361AD9CA72  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 15:31:48]
721*2^713045-1 is not prime.  Res64: 7412E8B1FF1905FA  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 15:32:55]
759*2^713047-1 is not prime.  Res64: B5FD607032FA4496  Time : 3408.0 sec.
user=gd_barnes
[2009-10-03 15:38:19]
633*2^713048-1 is not prime.  Res64: 6E76FE89E330E6B4  Time : 3411.0 sec.
user=vaughan
[2009-10-03 15:38:37]
635*2^713054-1 is not prime.  Res64: D3BE32AF61D9AF06  Time : 790.0 sec.
user=vaughan
[2009-10-03 15:40:47]
745*2^713053-1 is not prime.  Res64: 9D11A320567B5F9A  Time : 960.0 sec.
user=gd_barnes
[2009-10-03 15:42:30]
741*2^712779-1 is not prime.  Res64: 6618A4618EA6A4EA  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 15:43:07]
635*2^713048-1 is not prime.  Res64: F5A0727E180B4B1A  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 15:44:15]
657*2^713048-1 is not prime.  Res64: 32E15AD0BA79664E  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 15:49:40]
609*2^713049-1 is not prime.  Res64: D8153B12E04FD417  Time : 3410.0 sec.
user=vaughan
[2009-10-03 15:50:55]
725*2^712470-1 is not prime.  Res64: 1112C7629801839C  Time : 1648.0 sec.
user=vaughan
[2009-10-03 15:51:19]
691*2^713055-1 is not prime.  Res64: 17F1ACBA0572A4BA  Time : 762.0 sec.
user=gd_barnes
[2009-10-03 15:53:50]
797*2^712780-1 is not prime.  Res64: 25F7524677ABD8AC  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 15:54:29]
691*2^713049-1 is not prime.  Res64: 5AF0F426E3D57709  Time : 3405.0 sec.
user=vaughan
[2009-10-03 15:55:28]
739*2^713055-1 is not prime.  Res64: 79F12BE36FDCF226  Time : 881.0 sec.
user=gd_barnes
[2009-10-03 15:55:36]
741*2^713049-1 is not prime.  Res64: D4AD9B92B1091ECB  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 16:01:02]
695*2^713050-1 is not prime.  Res64: A1A7BC2114443F22  Time : 3410.0 sec.
user=vaughan
[2009-10-03 16:03:53]
779*2^713056-1 is not prime.  Res64: 8983B7C36DF3A788  Time : 754.0 sec.
user=gd_barnes
[2009-10-03 16:05:12]
743*2^713050-1 is not prime.  Res64: D8CCDC22038D1177  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 16:05:49]
603*2^713051-1 is not prime.  Res64: 3833F3971C650B53  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 16:06:58]
635*2^712782-1 is not prime.  Res64: FB65AF15CAEEFE36  Time : 3407.0 sec.
user=vaughan
[2009-10-03 16:10:57]
711*2^713057-1 is not prime.  Res64: D3801CE3C543A889  Time : 929.0 sec.
user=gd_barnes
[2009-10-03 16:12:24]
753*2^713051-1 is not prime.  Res64: FC4CB2FEA02219B8  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 16:12:30]
769*2^712939-1 is not prime.  Res64: 0E8DA786047323C7  Time : 44223.0 sec.
user=kar_bon
[2009-10-03 16:12:32]
615*2^712940-1 is not prime.  Res64: A2140758DA6C1CE9  Time : 44225.0 sec.
user=kar_bon
[2009-10-03 16:12:33]
677*2^712940-1 is not prime.  Res64: 169E5EFA6A06A3D3  Time : 44225.0 sec.
user=kar_bon
[2009-10-03 16:12:33]
735*2^712940-1 is not prime.  Res64: 265AFF070711CEC5  Time : 44225.0 sec.
user=kar_bon
[2009-10-03 16:12:34]
685*2^712941-1 is not prime.  Res64: 56CAF4814298963A  Time : 44225.0 sec.
user=kar_bon
[2009-10-03 16:12:34]
795*2^712941-1 is not prime.  Res64: 8FB4D5D3B94E7A53  Time : 44225.0 sec.
user=kar_bon
[2009-10-03 16:12:34]
797*2^712648-1 is not prime.  Res64: 6396EB1B9E3C87A1  Time : 44224.0 sec.
user=kar_bon
[2009-10-03 16:12:35]
603*2^712942-1 is not prime.  Res64: 9051FCCC34B8C9F9  Time : 44225.0 sec.
user=kar_bon
[2009-10-03 16:12:35]
723*2^712942-1 is not prime.  Res64: BB789B408E8F59AD  Time : 44224.0 sec.
user=kar_bon
[2009-10-03 16:12:35]
731*2^712942-1 is not prime.  Res64: 27FA9EC821F37751  Time : 44224.0 sec.
user=kar_bon
[2009-10-03 16:12:36]
737*2^712942-1 is not prime.  Res64: 3A58D0429F6E4AFA  Time : 44224.0 sec.
user=kar_bon
[2009-10-03 16:12:36]
765*2^712942-1 is not prime.  Res64: A6A144DB2867E152  Time : 44224.0 sec.
user=kar_bon
[2009-10-03 16:12:36]
643*2^712943-1 is not prime.  Res64: 970E48B7F9743DEF  Time : 44223.0 sec.
user=kar_bon
[2009-10-03 16:12:37]
703*2^712943-1 is not prime.  Res64: 8A9852B793F557DC  Time : 44224.0 sec.
user=kar_bon
[2009-10-03 16:12:37]
745*2^712943-1 is not prime.  Res64: F64CDE003BDB040E  Time : 44223.0 sec.
user=kar_bon
[2009-10-03 16:12:37]
759*2^712943-1 is not prime.  Res64: 7D9BD7466B7987EB  Time : 44223.0 sec.
user=kar_bon
[2009-10-03 16:12:38]
789*2^712943-1 is not prime.  Res64: 1C2830B12B67B5FC  Time : 44223.0 sec.
user=kar_bon
[2009-10-03 16:12:38]
657*2^712944-1 is not prime.  Res64: CDDAC3B550117B53  Time : 44223.0 sec.
user=kar_bon
[2009-10-03 16:12:38]
663*2^712944-1 is not prime.  Res64: 1D8482528FE70320  Time : 44222.0 sec.
user=kar_bon
[2009-10-03 16:12:39]
689*2^712944-1 is not prime.  Res64: 2DE1168377B41C8C  Time : 44223.0 sec.
user=kar_bon
[2009-10-03 16:12:39]
693*2^712944-1 is not prime.  Res64: 28BEF680FEDBDF3C  Time : 44222.0 sec.
user=kar_bon
[2009-10-03 16:12:39]
765*2^712944-1 is not prime.  Res64: E41CE86DEE7249D9  Time : 44222.0 sec.
user=kar_bon
[2009-10-03 16:12:40]
651*2^712945-1 is not prime.  Res64: 1239DF71E890493F  Time : 44222.0 sec.
user=kar_bon
[2009-10-03 16:12:40]
729*2^712945-1 is not prime.  Res64: 630F816E5883FA75  Time : 44222.0 sec.
user=kar_bon
[2009-10-03 16:12:40]
741*2^712945-1 is not prime.  Res64: A1CB31A20938ED53  Time : 44221.0 sec.
user=kar_bon
[2009-10-03 16:12:41]
777*2^712945-1 is not prime.  Res64: E7339F31491791FD  Time : 44221.0 sec.
user=kar_bon
[2009-10-03 16:12:41]
799*2^712945-1 is not prime.  Res64: D5915AC49ACD3A55  Time : 44221.0 sec.
user=kar_bon
[2009-10-03 16:12:41]
651*2^712947-1 is not prime.  Res64: 6241F771CF694343  Time : 44220.0 sec.
user=kar_bon
[2009-10-03 16:12:42]
735*2^712947-1 is not prime.  Res64: E23C1BEBF93AE52C  Time : 44221.0 sec.
user=kar_bon
[2009-10-03 16:12:42]
629*2^712948-1 is not prime.  Res64: 7C080B84A381C85B  Time : 44220.0 sec.
user=kar_bon
[2009-10-03 16:12:42]
657*2^712948-1 is not prime.  Res64: 035913B5DF746CF6  Time : 44220.0 sec.
user=kar_bon
[2009-10-03 16:12:43]
665*2^712948-1 is not prime.  Res64: 8AD101A87D2F562F  Time : 44220.0 sec.
user=kar_bon
[2009-10-03 16:12:43]
699*2^712948-1 is not prime.  Res64: 87925C66559D153C  Time : 44220.0 sec.
user=kar_bon
[2009-10-03 16:12:43]
749*2^712948-1 is not prime.  Res64: 838AA5B282050813  Time : 44219.0 sec.
user=kar_bon
[2009-10-03 16:12:44]
621*2^712949-1 is not prime.  Res64: 749F7E4057D6B9FB  Time : 44220.0 sec.
user=kar_bon
[2009-10-03 16:12:44]
657*2^712949-1 is not prime.  Res64: 2880A56E216BE6D0  Time : 44219.0 sec.
user=kar_bon
[2009-10-03 16:12:44]
735*2^712949-1 is not prime.  Res64: 7788F7D06B110738  Time : 44219.0 sec.
user=kar_bon
[2009-10-03 16:12:45]
741*2^712949-1 is not prime.  Res64: 57EE282E29140155  Time : 44219.0 sec.
user=kar_bon
[2009-10-03 16:12:45]
759*2^712949-1 is not prime.  Res64: 424D89C24274A914  Time : 44219.0 sec.
user=kar_bon
[2009-10-03 16:12:46]
653*2^712950-1 is not prime.  Res64: 9CEE69D71B1C77E0  Time : 44219.0 sec.
user=kar_bon
[2009-10-03 16:12:46]
707*2^712950-1 is not prime.  Res64: 083A79130C617DE5  Time : 44219.0 sec.
user=kar_bon
[2009-10-03 16:12:46]
725*2^712950-1 is not prime.  Res64: DB37B8F74A83F484  Time : 44218.0 sec.
user=kar_bon
[2009-10-03 16:12:46]
601*2^712951-1 is not prime.  Res64: 64D552D7DABF8EF0  Time : 44218.0 sec.
user=kar_bon
[2009-10-03 16:12:47]
625*2^712951-1 is not prime.  Res64: 90169B03D9A4553C  Time : 44218.0 sec.
user=kar_bon
[2009-10-03 16:12:47]
679*2^712951-1 is not prime.  Res64: FE791ECC43D17069  Time : 44218.0 sec.
user=kar_bon
[2009-10-03 16:12:48]
709*2^712951-1 is not prime.  Res64: 34433F58B2BECD60  Time : 44218.0 sec.
user=kar_bon
[2009-10-03 16:12:48]
745*2^712951-1 is not prime.  Res64: 930D72BB67FFC6F4  Time : 44218.0 sec.
user=kar_bon
[2009-10-03 16:12:48]
763*2^712951-1 is not prime.  Res64: 98E59460F3B4B1EB  Time : 44217.0 sec.
user=kar_bon
[2009-10-03 16:12:49]
793*2^712951-1 is not prime.  Res64: 4B0F2B09956E2691  Time : 44218.0 sec.
user=kar_bon
[2009-10-03 16:12:49]
603*2^712952-1 is not prime.  Res64: AA83D855850C248D  Time : 44217.0 sec.
user=vaughan
[2009-10-03 16:16:26]
663*2^713058-1 is not prime.  Res64: 8359A291AB886E39  Time : 753.0 sec.
user=gd_barnes
[2009-10-03 16:16:33]
753*2^713052-1 is not prime.  Res64: 0E5B06BFACE3411F  Time : 3405.0 sec.
user=vaughan
[2009-10-03 16:16:40]
717*2^713056-1 is not prime.  Res64: 76CFFB7E336E8BAD  Time : 1545.0 sec.
user=gd_barnes
[2009-10-03 16:17:10]
651*2^713053-1 is not prime.  Res64: 48CE490E36FE67D2  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 16:18:18]
681*2^713053-1 is not prime.  Res64: D5467F8794ED846B  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 16:23:46]
693*2^713054-1 is not prime.  Res64: 14EAA16787754713  Time : 3410.0 sec.
user=vaughan
[2009-10-03 16:26:18]
615*2^713059-1 is not prime.  Res64: 9443B52044B6590A  Time : 921.0 sec.
user=gd_barnes
[2009-10-03 16:27:54]
705*2^713054-1 is not prime.  Res64: FA8431AD1D47EAF5  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 16:28:31]
797*2^713054-1 is not prime.  Res64: 64103720B28AAE27  Time : 3403.0 sec.
user=vaughan
[2009-10-03 16:28:44]
677*2^713074-1 is not prime.  Res64: 96D8B90C1470388D  Time : 738.0 sec.
user=gd_barnes
[2009-10-03 16:29:40]
649*2^713055-1 is not prime.  Res64: 0C548B66AC649ACE  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 16:35:08]
673*2^712471-1 is not prime.  Res64: D90727AB0E444B90  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 16:39:15]
793*2^713055-1 is not prime.  Res64: 7AE84626FF1D41B2  Time : 3405.0 sec.
user=vaughan
[2009-10-03 16:39:44]
717*2^713074-1 is not prime.  Res64: E77DF90F21AAF912  Time : 1384.0 sec.
user=gd_barnes
[2009-10-03 16:39:52]
629*2^713056-1 is not prime.  Res64: 105C1EF943BAF64D  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 16:41:01]
705*2^713056-1 is not prime.  Res64: 8F5A47656A5DDA7E  Time : 3406.0 sec.
user=vaughan
[2009-10-03 16:41:02]
775*2^713075-1 is not prime.  Res64: 30AFA0D6D927BFE2  Time : 738.0 sec.
user=vaughan
[2009-10-03 16:41:50]
711*2^712794-1 is not prime.  Res64: D4013BB9F903ECBD  Time : 932.0 sec.
user=gd_barnes
[2009-10-03 16:46:29]
795*2^712473-1 is not prime.  Res64: C7182C4AEDDAAD40  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 16:50:36]
627*2^713057-1 is not prime.  Res64: 3A2B460B8A0C2033  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 16:51:13]
675*2^713057-1 is not prime.  Res64: 84759DAC8D4AE4BE  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 16:52:23]
777*2^713057-1 is not prime.  Res64: C0D1320534219425  Time : 3407.0 sec.
user=vaughan
[2009-10-03 16:53:18]
621*2^713077-1 is not prime.  Res64: F681B67DBB21E52A  Time : 736.0 sec.
user=gd_barnes
[2009-10-03 16:57:51]
609*2^712789-1 is not prime.  Res64: A6DC57540963B177  Time : 3409.0 sec.
user=vaughan
[2009-10-03 16:57:56]
639*2^713077-1 is not prime.  Res64: 50A961495D16C7F5  Time : 966.0 sec.
user=gd_barnes
[2009-10-03 17:01:57]
711*2^713058-1 is not prime.  Res64: 72B153F8AE858C5F  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 17:02:33]
725*2^713058-1 is not prime.  Res64: F1416102135E1311  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 17:03:44]
735*2^713058-1 is not prime.  Res64: ABBD47E438A52D4C  Time : 3406.0 sec.
user=vaughan
[2009-10-03 17:03:59]
705*2^713076-1 is not prime.  Res64: F682593751FDCA72  Time : 1455.0 sec.
user=vaughan
[2009-10-03 17:05:33]
757*2^713077-1 is not prime.  Res64: 4E5F9565A902695A  Time : 735.0 sec.
user=gd_barnes
[2009-10-03 17:09:13]
793*2^713071-1 is not prime.  Res64: 6C8E52E0BBEC3673  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 17:13:18]
705*2^713074-1 is not prime.  Res64: 880DC7DBC9A73AE7  Time : 3406.0 sec.
user=vaughan
[2009-10-03 17:13:52]
665*2^713078-1 is not prime.  Res64: 1E3574C261D98731  Time : 956.0 sec.
user=gd_barnes
[2009-10-03 17:13:55]
723*2^713074-1 is not prime.  Res64: FDD20AFF312880F1  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 17:15:06]
755*2^713074-1 is not prime.  Res64: 9715D963BA2B1BB7  Time : 3408.0 sec.
user=vaughan
[2009-10-03 17:17:46]
619*2^713079-1 is not prime.  Res64: 59A40C8D92692989  Time : 733.0 sec.
user=gd_barnes
[2009-10-03 17:20:35]
773*2^713074-1 is not prime.  Res64: F277A4A54481DEA1  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 17:24:39]
783*2^713074-1 is not prime.  Res64: 0E20716C96C46E7C  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 17:25:15]
771*2^713075-1 is not prime.  Res64: 9BA9D168A734E81E  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 17:26:28]
653*2^713076-1 is not prime.  Res64: 0EFE91D194E803A5  Time : 3408.0 sec.
user=vaughan
[2009-10-03 17:28:46]
613*2^713079-1 is not prime.  Res64: D657210CF8F954CC  Time : 1488.0 sec.
user=vaughan
[2009-10-03 17:30:01]
675*2^712805-1 is not prime.  Res64: BD271D22C1FDD353  Time : 969.0 sec.
user=vaughan
[2009-10-03 17:30:03]
645*2^713081-1 is not prime.  Res64: 2DF7D0CD7B1A5255  Time : 737.0 sec.
user=gd_barnes
[2009-10-03 17:31:57]
699*2^713076-1 is not prime.  Res64: C55D1D1D407494E0  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 17:36:00]
751*2^712797-1 is not prime.  Res64: 41D2CD516C83ECEB  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 17:36:35]
607*2^713077-1 is not prime.  Res64: 1656CE0DDC400D9D  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 17:37:48]
615*2^713077-1 is not prime.  Res64: 0AEBD9768D8DB8DE  Time : 3407.0 sec.
user=vaughan
[2009-10-03 17:42:33]
615*2^713083-1 is not prime.  Res64: A991FD95BDE3E6D1  Time : 751.0 sec.
user=gd_barnes
[2009-10-03 17:43:19]
717*2^713077-1 is not prime.  Res64: 850B9392EC21CE54  Time : 3410.0 sec.
user=vaughan
[2009-10-03 17:44:59]
791*2^713082-1 is not prime.  Res64: 00297E861B20BD1E  Time : 898.0 sec.
user=gd_barnes
[2009-10-03 17:47:20]
633*2^712800-1 is not prime.  Res64: ACB204CF2AC1B38A  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 17:47:57]
727*2^713077-1 is not prime.  Res64: C39B0C10EA8EB9C3  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 17:49:10]
741*2^713077-1 is not prime.  Res64: 492151BA95264148  Time : 3407.0 sec.
user=vaughan
[2009-10-03 17:49:48]
777*2^713082-1 is not prime.  Res64: 9F575C9D96FAF30E  Time : 1262.0 sec.
user=gd_barnes
[2009-10-03 17:54:41]
645*2^713078-1 is not prime.  Res64: A1AA711F5D47ABCC  Time : 3410.0 sec.
user=vaughan
[2009-10-03 17:54:56]
675*2^712493-1 is not prime.  Res64: 91F84D5E65B488D3  Time : 743.0 sec.
user=gd_barnes
[2009-10-03 17:58:41]
775*2^712803-1 is not prime.  Res64: B011C022813BF188  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 17:59:16]
711*2^713078-1 is not prime.  Res64: E53F9769C0EFAF0D  Time : 3403.0 sec.
user=vaughan
[2009-10-03 18:00:16]
767*2^713084-1 is not prime.  Res64: 914952FE1EC9A12F  Time : 918.0 sec.
user=gd_barnes
[2009-10-03 18:00:31]
713*2^713078-1 is not prime.  Res64: A0928A36467DAD73  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 18:06:03]
675*2^713079-1 is not prime.  Res64: 3952E9A46AEAD16D  Time : 3410.0 sec.
user=vaughan
[2009-10-03 18:07:26]
785*2^713086-1 is not prime.  Res64: 4AEA09929D4E219E  Time : 750.0 sec.
user=gd_barnes
[2009-10-03 18:10:02]
695*2^713080-1 is not prime.  Res64: 71FDB1D89795D594  Time : 3404.0 sec.
user=vaughan
[2009-10-03 18:10:03]
761*2^713086-1 is not prime.  Res64: B222E145B3B29098  Time : 1215.0 sec.
user=gd_barnes
[2009-10-03 18:10:37]
601*2^713081-1 is not prime.  Res64: 86EB4536936AB852  Time : 3402.0 sec.
user=gd_barnes
[2009-10-03 18:11:53]
631*2^713081-1 is not prime.  Res64: F364A7C4230781C1  Time : 3407.0 sec.
user=vaughan
[2009-10-03 18:16:38]
669*2^713087-1 is not prime.  Res64: 9912AA4C9A816B99  Time : 983.0 sec.
user=gd_barnes
[2009-10-03 18:17:25]
741*2^713081-1 is not prime.  Res64: 7B1B58E9D6B47937  Time : 3410.0 sec.
user=vaughan
[2009-10-03 18:19:42]
635*2^713088-1 is not prime.  Res64: BC860C433176555B  Time : 737.0 sec.
user=gd_barnes
[2009-10-03 18:21:23]
777*2^713081-1 is not prime.  Res64: D456523D344B1BE6  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 18:21:57]
735*2^713082-1 is not prime.  Res64: EA074A22F8B59F9F  Time : 3402.0 sec.
user=gd_barnes
[2009-10-03 18:23:13]
679*2^712491-1 is not prime.  Res64: 6A0936D15D68D181  Time : 3406.0 sec.
user=kar_bon
[2009-10-03 18:25:51]
785*2^712744-1 is not prime.  Res64: 9F3D67A97839A1E8  Time : 26837.0 sec.
user=kar_bon
[2009-10-03 18:28:14]
717*2^712746-1 is not prime.  Res64: 51DA3E1ACA2D7DD9  Time : 26859.0 sec.
user=gd_barnes
[2009-10-03 18:28:46]
765*2^713083-1 is not prime.  Res64: 821317A6785F676E  Time : 3409.0 sec.
user=vaughan
[2009-10-03 18:31:37]
759*2^713088-1 is not prime.  Res64: B1C1E92B866BDFA4  Time : 1294.0 sec.
user=vaughan
[2009-10-03 18:32:04]
615*2^713199-1 is not prime.  Res64: F57363056ECD3799  Time : 743.0 sec.
user=gd_barnes
[2009-10-03 18:32:44]
665*2^713084-1 is not prime.  Res64: A2E009A8440B5F23  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 18:33:18]
675*2^713084-1 is not prime.  Res64: 971D87B746FB324A  Time : 3403.0 sec.
user=vaughan
[2009-10-03 18:33:38]
675*2^713176-1 is not prime.  Res64: BEC59B2670927AB7  Time : 1020.0 sec.
user=kar_bon
[2009-10-03 18:33:46]
623*2^713018-1 is not prime.  Res64: 9E786FEAA8A36CD0  Time : 26898.0 sec.
user=gd_barnes
[2009-10-03 18:34:35]
677*2^713084-1 is not prime.  Res64: 6BE644AE2C1E72A8  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 18:40:09]
725*2^713084-1 is not prime.  Res64: 3410B3670BA5377C  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 18:41:51]
713*2^713018-1 is not prime.  Res64: DD0579AEE72ACB67  Time : 27115.0 sec.
user=gd_barnes
[2009-10-03 18:44:05]
679*2^713085-1 is not prime.  Res64: 4AE3518CD366761B  Time : 3405.0 sec.
user=kar_bon
[2009-10-03 18:44:16]
609*2^713019-1 is not prime.  Res64: 78D8D851FB5BE9B0  Time : 27140.0 sec.
user=vaughan
[2009-10-03 18:44:20]
669*2^713201-1 is not prime.  Res64: 535E5FE1A5383A5D  Time : 737.0 sec.
user=gd_barnes
[2009-10-03 18:44:39]
647*2^713086-1 is not prime.  Res64: 47B0050ED276C3ED  Time : 3403.0 sec.
user=gd_barnes
[2009-10-03 18:45:55]
705*2^713086-1 is not prime.  Res64: 7D7D643251A0F1A1  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 18:51:30]
747*2^712496-1 is not prime.  Res64: 183B0805BAD83B8C  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 18:52:24]
725*2^712748-1 is not prime.  Res64: F9F14E41024BA27D  Time : 27334.0 sec.
user=vaughan
[2009-10-03 18:54:39]
699*2^713200-1 is not prime.  Res64: 0A10CCA7BE1AB6D9  Time : 1382.0 sec.
user=gd_barnes
[2009-10-03 18:55:26]
615*2^713087-1 is not prime.  Res64: 15EA5483DF8DA216  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 18:56:00]
661*2^713087-1 is not prime.  Res64: 4794C795447C29DC  Time : 3404.0 sec.
user=kar_bon
[2009-10-03 18:56:22]
789*2^713019-1 is not prime.  Res64: 5DCB042BF23E0471  Time : 27304.0 sec.
user=vaughan
[2009-10-03 18:56:33]
741*2^713202-1 is not prime.  Res64: 9F4D6363BB807E77  Time : 734.0 sec.
user=vaughan
[2009-10-03 18:56:40]
711*2^713201-1 is not prime.  Res64: F7F8F8BD62E0D2AE  Time : 1382.0 sec.
user=gd_barnes
[2009-10-03 18:57:17]
799*2^713087-1 is not prime.  Res64: 9D7FDBD44103D198  Time : 3406.0 sec.
user=kar_bon
[2009-10-03 18:58:45]
691*2^713021-1 is not prime.  Res64: 7B1DB9D140261BC0  Time : 27325.0 sec.
user=gd_barnes
[2009-10-03 19:02:52]
717*2^712817-1 is not prime.  Res64: D59EBA48CB3708BC  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 19:03:48]
623*2^712750-1 is not prime.  Res64: 8D9CD0A4A8FD3045  Time : 27336.0 sec.
user=gd_barnes
[2009-10-03 19:06:46]
665*2^713088-1 is not prime.  Res64: BE40C06BF25F76B9  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 19:07:20]
771*2^713101-1 is not prime.  Res64: 739F0433EED51385  Time : 3403.0 sec.
user=kar_bon
[2009-10-03 19:07:42]
665*2^713200-1 is not prime.  Res64: 819725CB43C22D4E  Time : 2511.0 sec.
user=gd_barnes
[2009-10-03 19:08:39]
717*2^713114-1 is not prime.  Res64: 9FA0E1175CC3BF32  Time : 3406.0 sec.
user=vaughan
[2009-10-03 19:08:54]
669*2^713205-1 is not prime.  Res64: 6D14BE30CB9DC260  Time : 741.0 sec.
user=gd_barnes
[2009-10-03 19:14:14]
627*2^713181-1 is not prime.  Res64: F0C2BDC5FECB8073  Time : 3409.0 sec.
user=vaughan
[2009-10-03 19:15:28]
617*2^713204-1 is not prime.  Res64: A228D0D328EE4E59  Time : 1249.0 sec.
user=vaughan
[2009-10-03 19:17:50]
675*2^713205-1 is not prime.  Res64: 6BCE3D30E4726EE0  Time : 1271.0 sec.
user=gd_barnes
[2009-10-03 19:18:08]
703*2^713199-1 is not prime.  Res64: A4A4357C3973D374  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 19:18:41]
741*2^713199-1 is not prime.  Res64: 0F1C96C0B08020C3  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 19:20:00]
623*2^713200-1 is not prime.  Res64: F88B81F46434206A  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 19:20:55]
677*2^712822-1 is not prime.  Res64: F9556661D2E36403  Time : 3161.0 sec.
user=vaughan
[2009-10-03 19:21:18]
785*2^713206-1 is not prime.  Res64: 6075BA9832309E1C  Time : 744.0 sec.
user=gd_barnes
[2009-10-03 19:25:37]
687*2^713200-1 is not prime.  Res64: 4BB294A3E92D8B20  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 19:26:28]
735*2^713201-1 is not prime.  Res64: B30E5C5F93A8D36A  Time : 3162.0 sec.
user=gd_barnes
[2009-10-03 19:29:29]
691*2^713201-1 is not prime.  Res64: 4BE7175534F68B12  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 19:30:02]
705*2^713201-1 is not prime.  Res64: 08ABB413C905AFD8  Time : 3404.0 sec.
user=kar_bon
[2009-10-03 19:30:19]
621*2^713202-1 is not prime.  Res64: AD4E781381494FB4  Time : 2908.0 sec.
user=gd_barnes
[2009-10-03 19:31:22]
747*2^713201-1 is not prime.  Res64: FD58E73553135BD2  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 19:33:20]
711*2^713202-1 is not prime.  Res64: 3F09BD072AD3B851  Time : 2945.0 sec.
user=vaughan
[2009-10-03 19:33:44]
603*2^713210-1 is not prime.  Res64: 49D1C17D95F548AD  Time : 746.0 sec.
user=vaughan
[2009-10-03 19:35:11]
669*2^713207-1 is not prime.  Res64: 1102D235DE23F689  Time : 1183.0 sec.
user=gd_barnes
[2009-10-03 19:36:59]
725*2^712824-1 is not prime.  Res64: 2253D074BE910307  Time : 3410.0 sec.
user=vaughan
[2009-10-03 19:38:21]
711*2^713207-1 is not prime.  Res64: C6F5EBAD3A2F2FE9  Time : 1231.0 sec.
user=kar_bon
[2009-10-03 19:38:24]
793*2^713203-1 is not prime.  Res64: 54BA16945377034C  Time : 2760.0 sec.
user=gd_barnes
[2009-10-03 19:40:54]
633*2^713202-1 is not prime.  Res64: DA9212024C6F792A  Time : 3409.0 sec.
user=gd_barnes
[2009-10-03 19:41:24]
765*2^713202-1 is not prime.  Res64: 7951776C3916EB4B  Time : 3405.0 sec.
user=kar_bon
[2009-10-03 19:42:36]
657*2^713205-1 is not prime.  Res64: AEE6C5024E7EEF60  Time : 2774.0 sec.
user=gd_barnes
[2009-10-03 19:42:43]
705*2^713203-1 is not prime.  Res64: 76F9F67B8067DB7C  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 19:45:03]
699*2^713205-1 is not prime.  Res64: F06E64ACF46D14B4  Time : 2778.0 sec.
user=vaughan
[2009-10-03 19:46:10]
615*2^713213-1 is not prime.  Res64: 8E6A0D5F4D3EA980  Time : 746.0 sec.
user=gd_barnes
[2009-10-03 19:48:20]
627*2^712829-1 is not prime.  Res64: 0DF54DA5C826E144  Time : 3410.0 sec.
user=kar_bon
[2009-10-03 19:50:08]
787*2^713205-1 is not prime.  Res64: FE328883FDC4CB4E  Time : 2781.0 sec.
user=gd_barnes
[2009-10-03 19:52:11]
623*2^713204-1 is not prime.  Res64: 0367CC4F5A61B85B  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 19:52:44]
795*2^713204-1 is not prime.  Res64: 7D7E7C9A0E4C7CB2  Time : 3404.0 sec.
user=kar_bon
[2009-10-03 19:53:55]
603*2^713206-1 is not prime.  Res64: 4446E5E686FF4B0A  Time : 2774.0 sec.
user=gd_barnes
[2009-10-03 19:54:04]
691*2^713205-1 is not prime.  Res64: DCF73D56DBDDA144  Time : 3407.0 sec.
user=vaughan
[2009-10-03 19:55:19]
679*2^713213-1 is not prime.  Res64: 5553C2EEB8EEDDB9  Time : 1208.0 sec.
user=kar_bon
[2009-10-03 19:56:24]
789*2^713209-1 is not prime.  Res64: D552AFA2F75F89F0  Time : 2129.0 sec.
user=vaughan
[2009-10-03 19:58:31]
771*2^713215-1 is not prime.  Res64: 46B1A044ECCF61A8  Time : 741.0 sec.
user=vaughan
[2009-10-03 19:58:40]
795*2^712839-1 is not prime.  Res64: DB3008C2821A1EBF  Time : 1219.0 sec.
user=gd_barnes
[2009-10-03 19:59:43]
715*2^712831-1 is not prime.  Res64: 200D958700761E13  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 20:01:29]
687*2^712837-1 is not prime.  Res64: 850CE73F184B3AC6  Time : 2102.0 sec.
user=gd_barnes
[2009-10-03 20:03:33]
789*2^713205-1 is not prime.  Res64: 4EB907017055C75A  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 20:04:05]
795*2^713205-1 is not prime.  Res64: B53D5E01AB5CC035  Time : 3405.0 sec.
user=kar_bon
[2009-10-03 20:05:17]
653*2^713212-1 is not prime.  Res64: BDB3BD90A387CADA  Time : 2099.0 sec.
user=gd_barnes
[2009-10-03 20:05:27]
755*2^713206-1 is not prime.  Res64: 0A68B2835E797F07  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 20:07:45]
695*2^713212-1 is not prime.  Res64: 05E2BF2A5E420EA0  Time : 2065.0 sec.
user=vaughan
[2009-10-03 20:10:49]
777*2^713217-1 is not prime.  Res64: 114778A2E69F57B6  Time : 738.0 sec.
user=gd_barnes
[2009-10-03 20:11:04]
773*2^712834-1 is not prime.  Res64: 00128A9D66F9ACFE  Time : 3410.0 sec.
user=gd_barnes
[2009-10-03 20:14:54]
669*2^713208-1 is not prime.  Res64: 24F071857C0B9B4F  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 20:15:26]
729*2^713209-1 is not prime.  Res64: 85538506E010ADBC  Time : 3405.0 sec.
user=vaughan
[2009-10-03 20:15:37]
741*2^713217-1 is not prime.  Res64: 30E4221D16153177  Time : 1218.0 sec.
user=gd_barnes
[2009-10-03 20:16:49]
751*2^713209-1 is not prime.  Res64: 91CA4BDE83F9CFA2  Time : 3409.0 sec.
user=vaughan
[2009-10-03 20:18:52]
755*2^713218-1 is not prime.  Res64: 09F73469AF3D68C8  Time : 1212.0 sec.
user=gd_barnes
[2009-10-03 20:22:26]
755*2^713210-1 is not prime.  Res64: 7F43C656C949B295  Time : 3409.0 sec.
user=vaughan
[2009-10-03 20:23:14]
689*2^713220-1 is not prime.  Res64: 63FD89187A9E49E8  Time : 745.0 sec.
user=kar_bon
[2009-10-03 20:24:41]
641*2^713214-1 is not prime.  Res64: CC76A09DADB6143C  Time : 2777.0 sec.
user=gd_barnes
[2009-10-03 20:26:15]
609*2^713212-1 is not prime.  Res64: 56C92EE1D292D222  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 20:26:47]
615*2^713212-1 is not prime.  Res64: 8E3C51662DF5BED7  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 20:28:10]
677*2^713212-1 is not prime.  Res64: 72067B9B62A8131B  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 20:28:25]
651*2^713215-1 is not prime.  Res64: 01F3642BB8BC3330  Time : 2750.0 sec.
user=kar_bon
[2009-10-03 20:31:14]
765*2^713215-1 is not prime.  Res64: C1F65E827C308959  Time : 2771.0 sec.
user=gd_barnes
[2009-10-03 20:33:48]
697*2^713213-1 is not prime.  Res64: BDFB30A5354C081F  Time : 3410.0 sec.
user=vaughan
[2009-10-03 20:35:30]
693*2^713222-1 is not prime.  Res64: CF89B5B76D7E94D2  Time : 736.0 sec.
user=vaughan
[2009-10-03 20:35:56]
783*2^713220-1 is not prime.  Res64: 0E61788844341B53  Time : 1219.0 sec.
user=gd_barnes
[2009-10-03 20:37:36]
651*2^713214-1 is not prime.  Res64: AE170B5738E7D2C7  Time : 3402.0 sec.
user=gd_barnes
[2009-10-03 20:38:07]
783*2^713214-1 is not prime.  Res64: 50C814358436FA50  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 20:39:32]
663*2^713215-1 is not prime.  Res64: 1C258E5460A38E46  Time : 3409.0 sec.
user=vaughan
[2009-10-03 20:39:52]
771*2^713221-1 is not prime.  Res64: 3B49721CF5024048  Time : 1260.0 sec.
user=kar_bon
[2009-10-03 20:39:57]
621*2^712843-1 is not prime.  Res64: CCA472242126B601  Time : 2990.0 sec.
user=kar_bon
[2009-10-03 20:45:03]
759*2^713216-1 is not prime.  Res64: 74D1F3B68998CFA3  Time : 3068.0 sec.
user=gd_barnes
[2009-10-03 20:45:11]
783*2^713215-1 is not prime.  Res64: F40D7C789E1CFF0D  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 20:47:39]
747*2^713217-1 is not prime.  Res64: 2D153786B6C8CD9A  Time : 3076.0 sec.
user=vaughan
[2009-10-03 20:47:44]
717*2^713224-1 is not prime.  Res64: 5A2535193EF6EEE2  Time : 734.0 sec.
user=gd_barnes
[2009-10-03 20:48:57]
609*2^713216-1 is not prime.  Res64: 3F4238F901BB50C4  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 20:49:29]
645*2^713216-1 is not prime.  Res64: 8F387884458A9837  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 20:50:53]
681*2^713217-1 is not prime.  Res64: C2EA2F15571CDCC1  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 20:52:45]
621*2^713219-1 is not prime.  Res64: 08B01694D8BA72BC  Time : 3076.0 sec.
user=gd_barnes
[2009-10-03 20:56:32]
601*2^713219-1 is not prime.  Res64: 22E9B4F6B125FE3A  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 20:56:33]
693*2^713219-1 is not prime.  Res64: 27761844E8956D74  Time : 3076.0 sec.
user=vaughan
[2009-10-03 20:56:51]
743*2^713224-1 is not prime.  Res64: 21A73954396B5410  Time : 1255.0 sec.
user=kar_bon
[2009-10-03 20:59:11]
609*2^713220-1 is not prime.  Res64: 6DA4817A0244F205  Time : 3086.0 sec.
user=vaughan
[2009-10-03 21:00:03]
673*2^713227-1 is not prime.  Res64: E9F5F26A3BF21ADF  Time : 740.0 sec.
user=gd_barnes
[2009-10-03 21:00:18]
741*2^712846-1 is not prime.  Res64: 9CF5342BCB67314C  Time : 3405.0 sec.
user=vaughan
[2009-10-03 21:00:29]
771*2^713225-1 is not prime.  Res64: 86BF08EDEDEF83FA  Time : 1237.0 sec.
user=gd_barnes
[2009-10-03 21:00:49]
631*2^713219-1 is not prime.  Res64: F01FDAD555CECD64  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 21:02:15]
799*2^713219-1 is not prime.  Res64: 0EF94F00EA137D66  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 21:05:01]
731*2^713222-1 is not prime.  Res64: 1C8C98376450BF9F  Time : 2420.0 sec.
user=gd_barnes
[2009-10-03 21:07:55]
759*2^713220-1 is not prime.  Res64: B209FBB5D815AC6C  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 21:08:32]
723*2^713223-1 is not prime.  Res64: 1D0212E326D69CD7  Time : 2407.0 sec.
user=kar_bon
[2009-10-03 21:11:17]
657*2^713224-1 is not prime.  Res64: 4E144021083A63CB  Time : 2404.0 sec.
user=gd_barnes
[2009-10-03 21:11:39]
681*2^712849-1 is not prime.  Res64: 71A983D38B663249  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 21:12:10]
767*2^713220-1 is not prime.  Res64: 77F5DABEBDEC6980  Time : 3404.0 sec.
user=vaughan
[2009-10-03 21:12:27]
759*2^713228-1 is not prime.  Res64: 85E524253489A2C8  Time : 745.0 sec.
user=gd_barnes
[2009-10-03 21:13:36]
751*2^713221-1 is not prime.  Res64: B786E07CFCC28143  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 21:16:23]
777*2^713225-1 is not prime.  Res64: 471F34AD263A1001  Time : 2186.0 sec.
user=vaughan
[2009-10-03 21:19:00]
683*2^713228-1 is not prime.  Res64: F9B2B7066D8E20C1  Time : 1330.0 sec.
user=gd_barnes
[2009-10-03 21:19:17]
671*2^713222-1 is not prime.  Res64: 3CA832B732C8391F  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 21:19:52]
795*2^713225-1 is not prime.  Res64: 0C837ED4A2606C82  Time : 2089.0 sec.
user=vaughan
[2009-10-03 21:21:22]
625*2^713229-1 is not prime.  Res64: AA9C03B52084BC6C  Time : 1253.0 sec.
user=kar_bon
[2009-10-03 21:22:39]
723*2^713226-1 is not prime.  Res64: 8E3048379B762B0F  Time : 2100.0 sec.
user=gd_barnes
[2009-10-03 21:22:59]
759*2^712853-1 is not prime.  Res64: 19C903989F5C565E  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 21:23:30]
661*2^713223-1 is not prime.  Res64: 2CF8F4C773A85052  Time : 3403.0 sec.
user=vaughan
[2009-10-03 21:24:42]
669*2^713232-1 is not prime.  Res64: 9E7F871E8739E983  Time : 736.0 sec.
user=gd_barnes
[2009-10-03 21:24:58]
705*2^713223-1 is not prime.  Res64: D6270A5EB5AFD655  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 21:27:46]
759*2^713227-1 is not prime.  Res64: B0D09E4A0DFE45AC  Time : 2101.0 sec.
user=gd_barnes
[2009-10-03 21:30:39]
695*2^713224-1 is not prime.  Res64: 09D18AAECB0D1683  Time : 3411.0 sec.
user=gd_barnes
[2009-10-03 21:34:20]
679*2^712855-1 is not prime.  Res64: 8BB54AA01A2434AD  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 21:34:51]
773*2^713224-1 is not prime.  Res64: 4D6C91801F915DE9  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 21:36:19]
685*2^713225-1 is not prime.  Res64: E0EB2494E7995C78  Time : 3407.0 sec.
user=vaughan
[2009-10-03 21:36:58]
615*2^713236-1 is not prime.  Res64: 6B48738157AA3FA5  Time : 737.0 sec.
user=kar_bon
[2009-10-03 21:37:08]
793*2^713227-1 is not prime.  Res64: 47E254E3A05253B1  Time : 2435.0 sec.
user=vaughan
[2009-10-03 21:39:42]
615*2^713233-1 is not prime.  Res64: 85DFDBE9D4BEA43E  Time : 1242.0 sec.
user=gd_barnes
[2009-10-03 21:42:01]
611*2^713226-1 is not prime.  Res64: F541BDCE70EC072D  Time : 3410.0 sec.
user=vaughan
[2009-10-03 21:43:21]
741*2^713234-1 is not prime.  Res64: 92BD58A95B4B578E  Time : 1320.0 sec.
user=gd_barnes
[2009-10-03 21:45:41]
693*2^713227-1 is not prime.  Res64: AFC313B8852638AE  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 21:46:11]
611*2^712858-1 is not prime.  Res64: 540AF7C16868B258  Time : 3402.0 sec.
user=gd_barnes
[2009-10-03 21:47:40]
715*2^713227-1 is not prime.  Res64: B12F3AC01F16903E  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 21:47:42]
687*2^713228-1 is not prime.  Res64: 16E6D020410A04DE  Time : 2911.0 sec.
user=vaughan
[2009-10-03 21:49:14]
783*2^713236-1 is not prime.  Res64: 6081BD6AD58ABDD2  Time : 737.0 sec.
user=gd_barnes
[2009-10-03 21:53:23]
769*2^713227-1 is not prime.  Res64: 0DFFD12020C09B6C  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 21:53:51]
635*2^713230-1 is not prime.  Res64: E367D65F9709A988  Time : 2931.0 sec.
user=kar_bon
[2009-10-03 21:56:50]
603*2^713231-1 is not prime.  Res64: 90C62527D6C86BD3  Time : 2899.0 sec.
user=gd_barnes
[2009-10-03 21:57:03]
773*2^713228-1 is not prime.  Res64: 7C99734A84527E54  Time : 3405.0 sec.
user=vaughan
[2009-10-03 21:57:22]
645*2^712871-1 is not prime.  Res64: 3BBB89064D05A7CC  Time : 1060.0 sec.
user=gd_barnes
[2009-10-03 21:57:33]
667*2^713229-1 is not prime.  Res64: 5C7ED1764EB0230E  Time : 3404.0 sec.
user=gd_barnes
[2009-10-03 21:59:01]
773*2^712860-1 is not prime.  Res64: 3616D27471767095  Time : 3406.0 sec.
user=kar_bon
[2009-10-03 22:00:32]
685*2^713231-1 is not prime.  Res64: 09750C62B35FE7A8  Time : 2956.0 sec.
user=vaughan
[2009-10-03 22:01:30]
747*2^713238-1 is not prime.  Res64: D3E826897B5FD3D3  Time : 736.0 sec.
user=gd_barnes
[2009-10-03 22:04:45]
653*2^713230-1 is not prime.  Res64: 8498C0A1C40D51C2  Time : 3410.0 sec.
user=vaughan
[2009-10-03 22:05:13]
757*2^713237-1 is not prime.  Res64: C5C5C20A1CB52D5C  Time : 1312.0 sec.
user=kar_bon
[2009-10-03 22:05:40]
737*2^713232-1 is not prime.  Res64: 34BCEEC0D31E8C1C  Time : 2957.0 sec.
user=gd_barnes
[2009-10-03 22:08:24]
735*2^713231-1 is not prime.  Res64: 63BDA4194F35656E  Time : 3405.0 sec.
user=kar_bon
[2009-10-03 22:08:37]
747*2^713233-1 is not prime.  Res64: 4D156BB43E7335B6  Time : 2925.0 sec.
user=gd_barnes
[2009-10-03 22:08:55]
605*2^713232-1 is not prime.  Res64: A1E86C319D6D41CC  Time : 3405.0 sec.
user=gd_barnes
[2009-10-03 22:10:23]
601*2^712865-1 is not prime.  Res64: 9F292EC431D00E63  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 22:11:54]
743*2^713234-1 is not prime.  Res64: ECEAD890D793E6A4  Time : 2955.0 sec.
user=vaughan
[2009-10-03 22:12:45]
637*2^713241-1 is not prime.  Res64: 3B477471EBAC60B4  Time : 923.0 sec.
user=vaughan
[2009-10-03 22:13:51]
603*2^713242-1 is not prime.  Res64: 2133CDAB21FFB4A2  Time : 742.0 sec.
user=gd_barnes
[2009-10-03 22:16:07]
741*2^713233-1 is not prime.  Res64: BD2EB374F3E5DED5  Time : 3411.0 sec.
user=kar_bon
[2009-10-03 22:17:02]
631*2^712867-1 is not prime.  Res64: 1A8E0CF932A75D49  Time : 2956.0 sec.
user=gd_barnes
[2009-10-03 22:19:45]
691*2^713235-1 is not prime.  Res64: B19CCCEAB0C442E4  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 22:20:16]
789*2^713235-1 is not prime.  Res64: 3C999F1731617BD9  Time : 3406.0 sec.
user=kar_bon
[2009-10-03 22:21:44]
685*2^713237-1 is not prime.  Res64: B965EF5497F017A7  Time : 2677.0 sec.
user=gd_barnes
[2009-10-03 22:21:46]
617*2^713236-1 is not prime.  Res64: BF165B0FFB1C1DB0  Time : 3408.0 sec.
user=vaughan
[2009-10-03 22:26:40]
623*2^713242-1 is not prime.  Res64: 898ADB3F8E4470E5  Time : 1287.0 sec.
user=gd_barnes
[2009-10-03 22:27:30]
675*2^713236-1 is not prime.  Res64: B0465BF7A663C414  Time : 3411.0 sec.
user=vaughan
[2009-10-03 22:28:53]
771*2^713245-1 is not prime.  Res64: 5FE68AFB1F6445D9  Time : 902.0 sec.
user=vaughan
[2009-10-03 22:29:48]
645*2^713245-1 is not prime.  Res64: 64250EA43AAAEE93  Time : 1024.0 sec.
user=gd_barnes
[2009-10-03 22:31:06]
705*2^713236-1 is not prime.  Res64: 011170BBE19FD83F  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 22:31:38]
719*2^713236-1 is not prime.  Res64: 6ECB33EA5CF14826  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 22:32:37]
693*2^713238-1 is not prime.  Res64: 4F8BE26AA1E9F3AF  Time : 2696.0 sec.
user=gd_barnes
[2009-10-03 22:33:07]
777*2^713236-1 is not prime.  Res64: 1F47524F4D965A78  Time : 3408.0 sec.
user=kar_bon
[2009-10-03 22:37:43]
645*2^713239-1 is not prime.  Res64: 2C2BDF0A12EF4738  Time : 2633.0 sec.
user=gd_barnes
[2009-10-03 22:38:53]
699*2^713237-1 is not prime.  Res64: 9FCBFCDC672B6D31  Time : 3412.0 sec.
user=kar_bon
[2009-10-03 22:40:38]
703*2^713239-1 is not prime.  Res64: 154EF984D26B5EA8  Time : 2628.0 sec.
user=gd_barnes
[2009-10-03 22:42:28]
621*2^713238-1 is not prime.  Res64: F714E908A5E0BFBD  Time : 3407.0 sec.
user=gd_barnes
[2009-10-03 22:42:58]
663*2^713238-1 is not prime.  Res64: 78259FCF9E34254E  Time : 3407.0 sec.
user=kar_bon
[2009-10-03 22:43:59]
751*2^713241-1 is not prime.  Res64: 1CA44FB7E8CF88EA  Time : 2607.0 sec.
user=gd_barnes
[2009-10-03 22:44:30]
683*2^713238-1 is not prime.  Res64: 4BD5D4915FE05207  Time : 3410.0 sec.
user=vaughan
[2009-10-03 22:46:45]
797*2^713248-1 is not prime.  Res64: 3379541FB43BAE9D  Time : 1017.0 sec.
user=vaughan
[2009-10-03 22:47:59]
705*2^713247-1 is not prime.  Res64: 0F49D2FFCA8280C0  Time : 1279.0 sec.
user=vaughan
[2009-10-03 22:48:57]
689*2^713248-1 is not prime.  Res64: 8A0DA0F6B42D0208  Time : 1204.0 sec.
user=kar_bon
[2009-10-03 22:49:05]
741*2^713242-1 is not prime.  Res64: 516C6D203790FAF4  Time : 2605.0 sec.
user=gd_barnes
[2009-10-03 22:50:34]
781*2^712875-1 is not prime.  Res64: 4461522283129217  Time : 3431.0 sec.
user=kar_bon
[2009-10-03 22:51:58]
703*2^713243-1 is not prime.  Res64: 52B99ED32246160D  Time : 2601.0 sec.
user=gd_barnes
[2009-10-03 22:54:00]
717*2^713240-1 is not prime.  Res64: 0833F01CBFF1EF24  Time : 3418.0 sec.
user=gd_barnes
[2009-10-03 22:54:29]
669*2^713241-1 is not prime.  Res64: 2E876D7127BA50E0  Time : 3416.0 sec.
user=kar_bon
[2009-10-03 22:55:19]
607*2^713245-1 is not prime.  Res64: 0604AEB921E4C508  Time : 2605.0 sec.
user=gd_barnes
[2009-10-03 22:56:00]
681*2^713241-1 is not prime.  Res64: 9DD3D736E7BB4985  Time : 3419.0 sec.
user=vaughan
[2009-10-03 22:59:45]
717*2^713252-1 is not prime.  Res64: F69C85ED508FC508  Time : 781.0 sec.
user=kar_bon
[2009-10-03 23:00:27]
789*2^713245-1 is not prime.  Res64: 5745626819DB3C1C  Time : 2606.0 sec.
user=gd_barnes
[2009-10-03 23:01:57]
711*2^712878-1 is not prime.  Res64: E6E007E39A911F3E  Time : 3432.0 sec.
user=kar_bon
[2009-10-03 23:03:18]
741*2^713246-1 is not prime.  Res64: D54BA61A01EEA65A  Time : 2494.0 sec.
user=gd_barnes
[2009-10-03 23:05:20]
685*2^713243-1 is not prime.  Res64: 276256A0D3CE6DA5  Time : 3416.0 sec.
user=gd_barnes
[2009-10-03 23:05:50]
609*2^713244-1 is not prime.  Res64: 7F4EECA4261A968D  Time : 3416.0 sec.
user=kar_bon
[2009-10-03 23:06:41]
711*2^713250-1 is not prime.  Res64: AB127916E282108C  Time : 2044.0 sec.
user=gd_barnes
[2009-10-03 23:07:21]
601*2^713245-1 is not prime.  Res64: 13C33E74F1D4D72D  Time : 3418.0 sec.
user=vaughan
[2009-10-03 23:07:44]
609*2^713253-1 is not prime.  Res64: BCB12C9B069E780E  Time : 1186.0 sec.
user=vaughan
[2009-10-03 23:09:21]
625*2^713253-1 is not prime.  Res64: B37F4C7FA8FC0929  Time : 1224.0 sec.
user=kar_bon
[2009-10-03 23:11:49]
639*2^713251-1 is not prime.  Res64: CFF2896056BB5558  Time : 2046.0 sec.
user=gd_barnes
[2009-10-03 23:13:18]
775*2^713245-1 is not prime.  Res64: 000FB3C74E5258B8  Time : 3431.0 sec.
user=kar_bon
[2009-10-03 23:14:37]
679*2^713251-1 is not prime.  Res64: 55FCE044ACFA4C15  Time : 2039.0 sec.
user=gd_barnes
[2009-10-03 23:16:42]
603*2^713246-1 is not prime.  Res64: 197E7C5530F1DC07  Time : 3417.0 sec.
user=vaughan
[2009-10-03 23:16:43]
723*2^713254-1 is not prime.  Res64: AB427F3558FA5049  Time : 1019.0 sec.
user=gd_barnes
[2009-10-03 23:17:12]
657*2^713246-1 is not prime.  Res64: 6292CCDDD9FAA242  Time : 3416.0 sec.
user=kar_bon
[2009-10-03 23:18:02]
745*2^713251-1 is not prime.  Res64: 92494D09BA92C173  Time : 2044.0 sec.
user=gd_barnes
[2009-10-03 23:18:43]
619*2^713247-1 is not prime.  Res64: B36C21851AF9D4A8  Time : 3417.0 sec.
user=kar_bon
[2009-10-03 23:23:10]
741*2^713253-1 is not prime.  Res64: 5189FA7261F584B3  Time : 2045.0 sec.
user=gd_barnes
[2009-10-03 23:24:41]
781*2^713247-1 is not prime.  Res64: B2FB12856A579DCD  Time : 3431.0 sec.
user=kar_bon
[2009-10-03 23:25:57]
639*2^712888-1 is not prime.  Res64: 59B37C5C9BE69684  Time : 2039.0 sec.
user=gd_barnes
[2009-10-03 23:28:04]
657*2^713249-1 is not prime.  Res64: BC9D2EFBE996814E  Time : 3418.0 sec.
user=vaughan
[2009-10-03 23:28:07]
747*2^713257-1 is not prime.  Res64: D8F170458E740B1C  Time : 1126.0 sec.
user=gd_barnes
[2009-10-03 23:28:34]
675*2^713249-1 is not prime.  Res64: 0D4D1200CB90F9C6  Time : 3416.0 sec.
user=kar_bon
[2009-10-03 23:29:23]
665*2^713254-1 is not prime.  Res64: FFD3C13415E3F410  Time : 2044.0 sec.
user=gd_barnes
[2009-10-03 23:30:05]
609*2^713251-1 is not prime.  Res64: 172675E4D2F3DC93  Time : 3418.0 sec.
user=vaughan
[2009-10-03 23:30:58]
691*2^713257-1 is not prime.  Res64: 3FE550639C82C998  Time : 1394.0 sec.
user=vaughan
[2009-10-03 23:33:11]
689*2^712896-1 is not prime.  Res64: BD74B1BB0DA071B0  Time : 988.0 sec.
user=kar_bon
[2009-10-03 23:34:33]
755*2^713254-1 is not prime.  Res64: A0883E376D7A0750  Time : 2047.0 sec.
user=gd_barnes
[2009-10-03 23:36:02]
651*2^713251-1 is not prime.  Res64: 75B02AAB944065C4  Time : 3430.0 sec.
user=kar_bon
[2009-10-03 23:37:18]
629*2^713256-1 is not prime.  Res64: 316A4024F1221F72  Time : 2041.0 sec.
user=gd_barnes
[2009-10-03 23:39:25]
733*2^713251-1 is not prime.  Res64: 9FC2B86B04AF4F44  Time : 3417.0 sec.
user=gd_barnes
[2009-10-03 23:39:55]
735*2^713251-1 is not prime.  Res64: A2FA2B1EEA6115A7  Time : 3417.0 sec.
user=kar_bon
[2009-10-03 23:40:44]
625*2^713257-1 is not prime.  Res64: 32C7703FB295EA92  Time : 2043.0 sec.
user=gd_barnes
[2009-10-03 23:41:26]
669*2^713252-1 is not prime.  Res64: AEBD9490634F1E6C  Time : 3416.0 sec.
user=kar_bon
[2009-10-03 23:45:54]
605*2^713258-1 is not prime.  Res64: 51CD7C240F31C35A  Time : 2045.0 sec.
user=gd_barnes
[2009-10-03 23:47:25]
787*2^713253-1 is not prime.  Res64: C50731E8E9D9BE8B  Time : 3411.0 sec.
user=vaughan
[2009-10-03 23:47:28]
735*2^713261-1 is not prime.  Res64: 986CC5B3A38ECA4F  Time : 859.0 sec.
user=vaughan
[2009-10-03 23:47:51]
653*2^713260-1 is not prime.  Res64: D5F7B83B2FDD8FB9  Time : 1184.0 sec.
user=kar_bon
[2009-10-03 23:48:37]
731*2^713258-1 is not prime.  Res64: D0187EE9AE981502  Time : 2040.0 sec.
user=gd_barnes
[2009-10-03 23:50:46]
605*2^713254-1 is not prime.  Res64: 9A2AED66FE94BB50  Time : 3406.0 sec.
user=gd_barnes
[2009-10-03 23:51:16]
663*2^713254-1 is not prime.  Res64: 5B512B6614818D8A  Time : 3407.0 sec.
user=vaughan
[2009-10-03 23:51:48]
657*2^713261-1 is not prime.  Res64: 918BE6CDA7A7D1BC  Time : 1251.0 sec.
user=kar_bon
[2009-10-03 23:52:05]
639*2^713259-1 is not prime.  Res64: 21A2EB1814D89BEC  Time : 2043.0 sec.
user=gd_barnes
[2009-10-03 23:52:48]
707*2^713254-1 is not prime.  Res64: 202835A5AE6A90DC  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 23:57:36]
679*2^713259-1 is not prime.  Res64: C896D1B1E8CA078E  Time : 2066.0 sec.
user=gd_barnes
[2009-10-03 23:58:46]
645*2^713255-1 is not prime.  Res64: D046BF8FB2670BEE  Time : 3409.0 sec.
user=kar_bon
[2009-10-03 23:59:58]
723*2^713259-1 is not prime.  Res64: 3584ADA8CF3A01CC  Time : 2041.0 sec.