user=vaughan
[2009-07-23 00:02:36]
539*2^704284-1 is not prime.  Res64: 41E3ED5470A1AB74  Time : 4589.0 sec.
user=vaughan
[2009-07-23 00:03:49]
587*2^704284-1 is not prime.  Res64: 2E773AEC2BA17B30  Time : 4555.0 sec.
user=vaughan
[2009-07-23 00:10:16]
465*2^704285-1 is not prime.  Res64: A184F269CC3E7E19  Time : 4589.0 sec.
user=vaughan
[2009-07-23 00:11:24]
547*2^704285-1 is not prime.  Res64: EE88A26029F89BEF  Time : 4554.0 sec.
user=vaughan
[2009-07-23 00:17:59]
431*2^704286-1 is not prime.  Res64: A9AE2D1ED45BC5E8  Time : 4592.0 sec.
user=vaughan
[2009-07-23 00:19:00]
485*2^704286-1 is not prime.  Res64: E8BAA9DA3883C0FF  Time : 4554.0 sec.
user=vaughan
[2009-07-23 00:25:46]
501*2^704286-1 is not prime.  Res64: 8249230213717ECC  Time : 4600.0 sec.
user=vaughan
[2009-07-23 00:26:36]
433*2^704287-1 is not prime.  Res64: 761554B27B2106C4  Time : 4555.0 sec.
user=vaughan
[2009-07-23 00:33:25]
531*2^704287-1 is not prime.  Res64: 3A85A0132BA95102  Time : 4599.0 sec.
user=vaughan
[2009-07-23 00:34:11]
437*2^704288-1 is not prime.  Res64: 220A763BD7F1DD95  Time : 4554.0 sec.
user=vaughan
[2009-07-23 00:41:08]
519*2^704288-1 is not prime.  Res64: 5D185679F491F504  Time : 4604.0 sec.
user=vaughan
[2009-07-23 00:41:47]
533*2^704288-1 is not prime.  Res64: 55ACD35D05259E7D  Time : 4555.0 sec.
user=vaughan
[2009-07-23 00:51:15]
471*2^704289-1 is not prime.  Res64: A141F353E13A81FD  Time : 4752.0 sec.
user=vaughan
[2009-07-23 00:51:16]
535*2^704289-1 is not prime.  Res64: 34D0459EB34428C4  Time : 4668.0 sec.
user=vaughan
[2009-07-23 00:56:54]
447*2^704290-1 is not prime.  Res64: F8861ADB63AAE33D  Time : 4551.0 sec.
user=vaughan
[2009-07-23 00:58:56]
413*2^704290-1 is not prime.  Res64: 7666FF87CCE33A3E  Time : 4756.0 sec.
user=vaughan
[2009-07-23 01:04:30]
495*2^704290-1 is not prime.  Res64: 96DCEEA6C0B043B8  Time : 4551.0 sec.
user=vaughan
[2009-07-23 01:06:45]
483*2^704290-1 is not prime.  Res64: 9DBF58CF9399183B  Time : 4767.0 sec.
user=vaughan
[2009-07-23 01:12:06]
451*2^704291-1 is not prime.  Res64: 9615508F3A900ADF  Time : 4552.0 sec.
user=vaughan
[2009-07-23 01:14:34]
439*2^704291-1 is not prime.  Res64: 1F5F2B7AFA912F88  Time : 4778.0 sec.
user=vaughan
[2009-07-23 01:19:42]
595*2^704291-1 is not prime.  Res64: 7C42CD420F0A056C  Time : 4553.0 sec.
user=vaughan
[2009-07-23 01:22:11]
591*2^704291-1 is not prime.  Res64: FBCCF5DE518AE086  Time : 4775.0 sec.
user=vaughan
[2009-07-23 01:27:17]
563*2^704292-1 is not prime.  Res64: 919517ED88FA9F7F  Time : 4553.0 sec.
user=vaughan
[2009-07-23 01:29:51]
425*2^704292-1 is not prime.  Res64: 6CC756FC54EAC174  Time : 4775.0 sec.
user=vaughan
[2009-07-23 01:34:52]
435*2^704293-1 is not prime.  Res64: 2B7FE5173EFABEE2  Time : 4552.0 sec.
user=vaughan
[2009-07-23 01:37:30]
567*2^704292-1 is not prime.  Res64: BB0B1C1A5B84F3B0  Time : 4771.0 sec.
user=vaughan
[2009-07-23 01:42:28]
481*2^704293-1 is not prime.  Res64: 1DC3493E09735CB3  Time : 4552.0 sec.
user=vaughan
[2009-07-23 01:45:10]
465*2^704293-1 is not prime.  Res64: 5188141ED708E51F  Time : 4764.0 sec.
user=vaughan
[2009-07-23 01:50:03]
561*2^704293-1 is not prime.  Res64: 931CDF0534BD4B68  Time : 4552.0 sec.
user=vaughan
[2009-07-23 01:52:51]
537*2^704293-1 is not prime.  Res64: 5F6C6D040C588FDE  Time : 4767.0 sec.
user=vaughan
[2009-07-23 01:57:38]
461*2^704294-1 is not prime.  Res64: 0D19C617576A362D  Time : 4551.0 sec.
user=vaughan
[2009-07-23 02:00:29]
565*2^704293-1 is not prime.  Res64: 232448A83E65AE1C  Time : 4762.0 sec.
user=vaughan
[2009-07-23 02:05:14]
405*2^704295-1 is not prime.  Res64: A34F54240AE98AFC  Time : 4377.0 sec.
user=vaughan
[2009-07-23 02:08:09]
521*2^704294-1 is not prime.  Res64: 08EC8DE4DFEA4909  Time : 4553.0 sec.
user=vaughan
[2009-07-23 02:12:49]
409*2^704295-1 is not prime.  Res64: 3620DFE38C7459D3  Time : 4555.0 sec.
user=vaughan
[2009-07-23 02:15:48]
471*2^704295-1 is not prime.  Res64: 9D1827A939D829A8  Time : 4613.0 sec.
user=vaughan
[2009-07-23 02:20:24]
541*2^704295-1 is not prime.  Res64: BF12ECC9E2565791  Time : 4554.0 sec.
user=vaughan
[2009-07-23 02:23:29]
449*2^704296-1 is not prime.  Res64: 37FFEB7BD49923FB  Time : 4605.0 sec.
user=vaughan
[2009-07-23 02:27:59]
495*2^704296-1 is not prime.  Res64: 74BEB2BFFEB0FE19  Time : 4553.0 sec.
user=vaughan
[2009-07-23 02:31:08]
509*2^704296-1 is not prime.  Res64: 55F6554F25271E34  Time : 4595.0 sec.
user=vaughan
[2009-07-23 02:35:35]
593*2^704296-1 is not prime.  Res64: 1DC62FC7A6AC4E81  Time : 4553.0 sec.
user=vaughan
[2009-07-23 02:38:47]
441*2^704297-1 is not prime.  Res64: E914BEE4D1A53E98  Time : 4596.0 sec.
user=vaughan
[2009-07-23 02:43:10]
445*2^704297-1 is not prime.  Res64: 4DFCFA30DFFB75D7  Time : 4553.0 sec.
user=vaughan
[2009-07-23 02:46:27]
447*2^704298-1 is not prime.  Res64: 8909D9B99B5FF800  Time : 4596.0 sec.
user=vaughan
[2009-07-23 02:50:45]
525*2^704298-1 is not prime.  Res64: 0469931574769259  Time : 4553.0 sec.
user=vaughan
[2009-07-23 02:54:07]
563*2^704298-1 is not prime.  Res64: 4984D472D6ABCB19  Time : 4597.0 sec.
user=vaughan
[2009-07-23 02:58:21]
581*2^704298-1 is not prime.  Res64: D33AE1FFC482D165  Time : 4553.0 sec.
user=vaughan
[2009-07-23 03:01:48]
429*2^704299-1 is not prime.  Res64: 8EFAA96BC41EE9D2  Time : 4598.0 sec.
user=vaughan
[2009-07-23 03:05:57]
549*2^704299-1 is not prime.  Res64: D4BD7CF9A3C6FF57  Time : 4554.0 sec.
user=vaughan
[2009-07-23 03:09:27]
515*2^704300-1 is not prime.  Res64: 9878C12AA6FA04C3  Time : 4597.0 sec.
user=vaughan
[2009-07-23 03:13:33]
537*2^704300-1 is not prime.  Res64: DFB591CBD5B54B73  Time : 4555.0 sec.
user=vaughan
[2009-07-23 03:17:07]
585*2^704300-1 is not prime.  Res64: 1C6EFF40BB7D8D98  Time : 4598.0 sec.
user=vaughan
[2009-07-23 03:21:10]
459*2^704301-1 is not prime.  Res64: E7E768A31D9EDE57  Time : 4556.0 sec.
user=vaughan
[2009-07-23 03:24:47]
471*2^704301-1 is not prime.  Res64: A3D746FFB283EB3F  Time : 4598.0 sec.
user=vaughan
[2009-07-23 03:28:45]
555*2^704301-1 is not prime.  Res64: 9FDD1A469AFD94C8  Time : 4556.0 sec.
user=vaughan
[2009-07-23 03:32:27]
453*2^704302-1 is not prime.  Res64: 440F9252458CA5A2  Time : 4599.0 sec.
user=vaughan
[2009-07-23 03:36:22]
513*2^704302-1 is not prime.  Res64: F17EBFB297DD1C54  Time : 4558.0 sec.
user=vaughan
[2009-07-23 03:40:07]
525*2^704302-1 is not prime.  Res64: 9ADCA7A35980CCF1  Time : 4598.0 sec.
user=vaughan
[2009-07-23 03:43:57]
527*2^704302-1 is not prime.  Res64: 745DB2A770F4CDAD  Time : 4558.0 sec.
user=vaughan
[2009-07-23 03:47:46]
573*2^704302-1 is not prime.  Res64: 1C9EC68A9AC3F45A  Time : 4598.0 sec.
user=vaughan
[2009-07-23 03:51:34]
411*2^704303-1 is not prime.  Res64: DA54E27B9758816F  Time : 4560.0 sec.
user=vaughan
[2009-07-23 03:55:24]
433*2^704303-1 is not prime.  Res64: 9F16324E6AE22D18  Time : 4598.0 sec.
user=vaughan
[2009-07-23 03:59:10]
465*2^704303-1 is not prime.  Res64: 4193F1F2493F4E8F  Time : 4561.0 sec.
user=vaughan
[2009-07-23 04:03:03]
565*2^704303-1 is not prime.  Res64: 6094F6B2A07E7343  Time : 4596.0 sec.
user=vaughan
[2009-07-23 04:06:45]
585*2^704303-1 is not prime.  Res64: 79A42665016D50D4  Time : 4560.0 sec.
user=vaughan
[2009-07-23 04:10:43]
589*2^704303-1 is not prime.  Res64: 0B80C58A48BE3EFB  Time : 4596.0 sec.
user=vaughan
[2009-07-23 04:14:20]
447*2^704304-1 is not prime.  Res64: B48063FCB07C9DED  Time : 4559.0 sec.
user=vaughan
[2009-07-23 04:18:22]
525*2^704304-1 is not prime.  Res64: 79E96A2DF5BAD5C5  Time : 4595.0 sec.
user=vaughan
[2009-07-23 04:21:55]
555*2^704304-1 is not prime.  Res64: 27A81FB4458F601B  Time : 4558.0 sec.
user=vaughan
[2009-07-23 04:26:01]
441*2^704305-1 is not prime.  Res64: 927949D3A8940FDA  Time : 4594.0 sec.
user=vaughan
[2009-07-23 04:29:31]
499*2^704305-1 is not prime.  Res64: BBD1800E60A71656  Time : 4558.0 sec.
user=vaughan
[2009-07-23 04:33:40]
589*2^704305-1 is not prime.  Res64: DDD28248F61324D0  Time : 4593.0 sec.
user=vaughan
[2009-07-23 04:37:07]
591*2^704305-1 is not prime.  Res64: 8BDBBE04AC98CACD  Time : 4557.0 sec.
user=vaughan
[2009-07-23 04:41:19]
417*2^704306-1 is not prime.  Res64: 795C2DBF8D5D77B3  Time : 4592.0 sec.
user=vaughan
[2009-07-23 04:44:42]
425*2^704306-1 is not prime.  Res64: 5C4E0A95AB8E07EC  Time : 4557.0 sec.
user=vaughan
[2009-07-23 04:48:59]
477*2^704306-1 is not prime.  Res64: 5F546C109748AE53  Time : 4592.0 sec.
user=vaughan
[2009-07-23 04:52:18]
525*2^704306-1 is not prime.  Res64: 3615CE7438F2FF4E  Time : 4556.0 sec.
user=vaughan
[2009-07-23 04:56:38]
561*2^704306-1 is not prime.  Res64: 13CF7CE2E49E0828  Time : 4591.0 sec.
user=vaughan
[2009-07-23 04:59:53]
405*2^704307-1 is not prime.  Res64: 7F7C3BC875D58138  Time : 4556.0 sec.
user=vaughan
[2009-07-23 05:04:17]
433*2^704307-1 is not prime.  Res64: B804CFF60CD8A74D  Time : 4591.0 sec.
user=vaughan
[2009-07-23 05:07:53]
471*2^704307-1 is not prime.  Res64: D8786526225BA76E  Time : 4579.0 sec.
user=vaughan
[2009-07-23 05:12:44]
511*2^704307-1 is not prime.  Res64: 2D5230740BF2DD00  Time : 4640.0 sec.
user=vaughan
[2009-07-23 05:15:31]
513*2^704307-1 is not prime.  Res64: 47D60404A864323D  Time : 4581.0 sec.
user=vaughan
[2009-07-23 05:20:23]
565*2^704307-1 is not prime.  Res64: 1C1419B936C36530  Time : 4640.0 sec.
user=vaughan
[2009-07-23 05:23:06]
595*2^704307-1 is not prime.  Res64: 7A179A381A9BB3AA  Time : 4581.0 sec.
user=vaughan
[2009-07-23 05:28:03]
437*2^704308-1 is not prime.  Res64: 593C3B85B89871DA  Time : 4641.0 sec.
user=vaughan
[2009-07-23 05:30:43]
453*2^704308-1 is not prime.  Res64: 5D6E106B60D4B678  Time : 4584.0 sec.
user=vaughan
[2009-07-23 05:35:42]
537*2^704308-1 is not prime.  Res64: D9AA778A6350C537  Time : 4641.0 sec.
user=vaughan
[2009-07-23 05:38:18]
579*2^704308-1 is not prime.  Res64: 418B3B6F8640013A  Time : 4583.0 sec.
user=vaughan
[2009-07-23 05:43:21]
453*2^704310-1 is not prime.  Res64: ADB1A025506697F3  Time : 4640.0 sec.
user=vaughan
[2009-07-23 05:45:53]
557*2^704310-1 is not prime.  Res64: E59D82A120C14172  Time : 4582.0 sec.
user=vaughan
[2009-07-23 05:50:59]
411*2^704311-1 is not prime.  Res64: E65E583DC797134C  Time : 4639.0 sec.
user=vaughan
[2009-07-23 05:53:30]
439*2^704311-1 is not prime.  Res64: 37ECE679D652A931  Time : 4583.0 sec.
user=vaughan
[2009-07-23 05:58:39]
465*2^704311-1 is not prime.  Res64: 7740A92A6902F142  Time : 4640.0 sec.
user=vaughan
[2009-07-23 06:01:04]
511*2^704311-1 is not prime.  Res64: 4CD04455703BDCEE  Time : 4582.0 sec.
user=vaughan
[2009-07-23 06:06:18]
447*2^704312-1 is not prime.  Res64: DBA3E4AB175A29E6  Time : 4639.0 sec.
user=vaughan
[2009-07-23 06:08:39]
537*2^704312-1 is not prime.  Res64: 33DF4E7F9CEB6EC1  Time : 4582.0 sec.
user=vaughan
[2009-07-23 06:13:58]
557*2^704312-1 is not prime.  Res64: F6D683C5266BDE83  Time : 4640.0 sec.
user=vaughan
[2009-07-23 06:16:14]
591*2^704313-1 is not prime.  Res64: A1D499C212B45268  Time : 4582.0 sec.
user=vaughan
[2009-07-23 06:21:36]
597*2^704313-1 is not prime.  Res64: 1C3A1A50EFEC35B2  Time : 4639.0 sec.
user=vaughan
[2009-07-23 06:23:49]
443*2^704314-1 is not prime.  Res64: CF1433DC080A272E  Time : 4556.0 sec.
user=vaughan
[2009-07-23 06:29:16]
453*2^704314-1 is not prime.  Res64: C88B77CBE6475AE4  Time : 4592.0 sec.
user=vaughan
[2009-07-23 06:31:23]
461*2^704314-1 is not prime.  Res64: 78629030BF0A4E21  Time : 4552.0 sec.
user=vaughan
[2009-07-23 06:36:56]
531*2^704314-1 is not prime.  Res64: B713001DED5BEEB1  Time : 4594.0 sec.
user=vaughan
[2009-07-23 06:38:59]
567*2^704314-1 is not prime.  Res64: 0B616FDC1FF15384  Time : 4553.0 sec.
user=vaughan
[2009-07-23 06:44:36]
575*2^704314-1 is not prime.  Res64: 4661581E916C62F6  Time : 4594.0 sec.
user=vaughan
[2009-07-23 06:46:35]
593*2^704314-1 is not prime.  Res64: 9613E13328836570  Time : 4552.0 sec.
user=vaughan
[2009-07-23 06:52:14]
403*2^704315-1 is not prime.  Res64: EB5C916DA71BAD33  Time : 4592.0 sec.
user=vaughan
[2009-07-23 06:54:10]
465*2^704315-1 is not prime.  Res64: 89E999F2CD858DFF  Time : 4552.0 sec.
user=vaughan
[2009-07-23 06:59:53]
481*2^704315-1 is not prime.  Res64: 856667BB0E0DAB20  Time : 4592.0 sec.
user=vaughan
[2009-07-23 07:01:45]
523*2^704315-1 is not prime.  Res64: 45BF766C15FA472B  Time : 4552.0 sec.
user=vaughan
[2009-07-23 07:07:32]
529*2^704315-1 is not prime.  Res64: 23E23283B3F320B1  Time : 4593.0 sec.
user=vaughan
[2009-07-23 07:09:20]
585*2^704315-1 is not prime.  Res64: DCAC2D3BF7A63093  Time : 4551.0 sec.
user=vaughan
[2009-07-23 07:15:11]
545*2^704316-1 is not prime.  Res64: 48CA8CDCEC7D9343  Time : 4592.0 sec.
user=vaughan
[2009-07-23 07:16:55]
471*2^704317-1 is not prime.  Res64: 9FC101685EEBF44E  Time : 4551.0 sec.
user=vaughan
[2009-07-23 07:22:50]
531*2^704317-1 is not prime.  Res64: 9A9DDB818BF5B455  Time : 4592.0 sec.
user=vaughan
[2009-07-23 07:24:30]
495*2^704318-1 is not prime.  Res64: 8D6DE6369A2AD1A3  Time : 4551.0 sec.
user=vaughan
[2009-07-23 07:30:29]
545*2^704318-1 is not prime.  Res64: 2C428BBA7B2E28D3  Time : 4591.0 sec.
user=vaughan
[2009-07-23 07:32:06]
459*2^704319-1 is not prime.  Res64: 6A2B568C67EA12E1  Time : 4552.0 sec.
user=vaughan
[2009-07-23 07:38:08]
579*2^704319-1 is not prime.  Res64: 40813C323A943E0A  Time : 4592.0 sec.
user=vaughan
[2009-07-23 07:39:41]
595*2^704319-1 is not prime.  Res64: FCE541B36EE662DF  Time : 4552.0 sec.
user=vaughan
[2009-07-23 07:45:48]
489*2^704320-1 is not prime.  Res64: 3075EBCA7D2AE01B  Time : 4593.0 sec.
user=vaughan
[2009-07-23 07:47:16]
421*2^704321-1 is not prime.  Res64: FA084E28A68E87F7  Time : 4553.0 sec.
user=vaughan
[2009-07-23 07:53:28]
459*2^704321-1 is not prime.  Res64: ACFA51BCBC434D02  Time : 4593.0 sec.
user=vaughan
[2009-07-23 07:54:51]
465*2^704321-1 is not prime.  Res64: 101042532B9AC5AE  Time : 4552.0 sec.
user=vaughan
[2009-07-23 08:01:07]
495*2^704321-1 is not prime.  Res64: 0CF5E34F21F1B1AB  Time : 4591.0 sec.
user=vaughan
[2009-07-23 08:02:29]
565*2^704321-1 is not prime.  Res64: 38BB8067A7266A5E  Time : 4554.0 sec.
user=vaughan
[2009-07-23 08:08:46]
405*2^704322-1 is not prime.  Res64: 75A5036718024644  Time : 4592.0 sec.
user=vaughan
[2009-07-23 08:10:04]
453*2^704322-1 is not prime.  Res64: FD35107A3E6F41B0  Time : 4554.0 sec.
user=vaughan
[2009-07-23 08:16:24]
507*2^704322-1 is not prime.  Res64: 3FAF0E813C5A8A21  Time : 4591.0 sec.
user=vaughan
[2009-07-23 08:17:39]
543*2^704322-1 is not prime.  Res64: F7EA20916FAA6814  Time : 4554.0 sec.
user=vaughan
[2009-07-23 08:24:03]
567*2^704322-1 is not prime.  Res64: 6676E11C3DC12947  Time : 4591.0 sec.
user=vaughan
[2009-07-23 08:25:13]
555*2^704323-1 is not prime.  Res64: CE23B39CFB9813BC  Time : 4553.0 sec.
user=vaughan
[2009-07-23 08:31:43]
447*2^704324-1 is not prime.  Res64: 7FF2A4C23D85B4E9  Time : 4592.0 sec.
user=vaughan
[2009-07-23 08:32:49]
465*2^704324-1 is not prime.  Res64: 05D8938683648DFA  Time : 4554.0 sec.
user=vaughan
[2009-07-23 08:39:21]
507*2^704324-1 is not prime.  Res64: 3A257ACE390CBD30  Time : 4591.0 sec.
user=vaughan
[2009-07-23 08:40:24]
525*2^704324-1 is not prime.  Res64: 537C6C3FF31764F0  Time : 4554.0 sec.
user=vaughan
[2009-07-23 08:46:59]
533*2^704324-1 is not prime.  Res64: 2AB2695324586FA8  Time : 4590.0 sec.
user=vaughan
[2009-07-23 08:47:59]
585*2^704324-1 is not prime.  Res64: BC7E2E3A60CB0697  Time : 4553.0 sec.
user=vaughan
[2009-07-23 08:54:39]
481*2^704325-1 is not prime.  Res64: D53011BAB5C22013  Time : 4592.0 sec.
user=vaughan
[2009-07-23 08:55:35]
511*2^704325-1 is not prime.  Res64: 5878F7200524CDB3  Time : 4554.0 sec.
user=vaughan
[2009-07-23 09:02:18]
585*2^704325-1 is not prime.  Res64: 2524021C340EC40E  Time : 4591.0 sec.
user=vaughan
[2009-07-23 09:03:11]
591*2^704325-1 is not prime.  Res64: 8F2C87A4FB83F8E4  Time : 4555.0 sec.
user=vaughan
[2009-07-23 09:09:57]
595*2^704325-1 is not prime.  Res64: F65E6A3A8B0E4FA5  Time : 4589.0 sec.
user=vaughan
[2009-07-23 09:10:47]
413*2^704326-1 is not prime.  Res64: 7D2D7D93BCEA6E3D  Time : 4556.0 sec.
user=vaughan
[2009-07-23 09:17:36]
477*2^704326-1 is not prime.  Res64: DFB34E0A9E6A5CE5  Time : 4589.0 sec.
user=vaughan
[2009-07-23 09:18:21]
491*2^704326-1 is not prime.  Res64: DB538DAF67A3D9CA  Time : 4552.0 sec.
user=vaughan
[2009-07-23 09:25:14]
507*2^704326-1 is not prime.  Res64: 7C013AA34CDB44D2  Time : 4588.0 sec.
user=vaughan
[2009-07-23 09:25:58]
561*2^704326-1 is not prime.  Res64: 2C832A66B19FFC89  Time : 4554.0 sec.
user=vaughan
[2009-07-23 09:32:52]
573*2^704326-1 is not prime.  Res64: A620171CD8061273  Time : 4588.0 sec.
user=vaughan
[2009-07-23 09:33:33]
581*2^704326-1 is not prime.  Res64: 48E9E0470BE426B4  Time : 4554.0 sec.
user=vaughan
[2009-07-23 09:40:31]
403*2^704327-1 is not prime.  Res64: CF16C2F52CB126D6  Time : 4588.0 sec.
user=vaughan
[2009-07-23 09:41:08]
433*2^704327-1 is not prime.  Res64: F6611610A94A66CC  Time : 4555.0 sec.
user=vaughan
[2009-07-23 09:48:11]
537*2^704328-1 is not prime.  Res64: 52B8F52CACA9A08B  Time : 4588.0 sec.
user=vaughan
[2009-07-23 09:48:42]
557*2^704328-1 is not prime.  Res64: 2466A156D0C5363B  Time : 4554.0 sec.
user=vaughan
[2009-07-23 09:55:50]
597*2^704328-1 is not prime.  Res64: EB63E94CF1A50E0C  Time : 4589.0 sec.
user=vaughan
[2009-07-23 09:56:18]
441*2^704329-1 is not prime.  Res64: 9A5FB1541B04E701  Time : 4555.0 sec.
user=vaughan
[2009-07-23 10:03:29]
505*2^704329-1 is not prime.  Res64: 636263FFC02F46BC  Time : 4590.0 sec.
user=vaughan
[2009-07-23 10:03:53]
507*2^704329-1 is not prime.  Res64: 73BF937BCD4E6518  Time : 4555.0 sec.
user=vaughan
[2009-07-23 10:11:08]
595*2^704329-1 is not prime.  Res64: 87AA58CFE71A754D  Time : 4589.0 sec.
user=vaughan
[2009-07-23 10:11:28]
467*2^704330-1 is not prime.  Res64: 30135F089865DF0D  Time : 4553.0 sec.
user=vaughan
[2009-07-23 10:18:46]
521*2^704330-1 is not prime.  Res64: B815F2BB2376181B  Time : 4588.0 sec.
user=vaughan
[2009-07-23 10:19:03]
545*2^704330-1 is not prime.  Res64: 9534E47A0BBE0A77  Time : 4553.0 sec.
user=vaughan
[2009-07-23 10:26:25]
575*2^704330-1 is not prime.  Res64: D893FDAC4F00195D  Time : 4588.0 sec.
user=vaughan
[2009-07-23 10:26:38]
409*2^704331-1 is not prime.  Res64: CFFAEF2EE69BE96C  Time : 4552.0 sec.
user=vaughan
[2009-07-23 10:34:02]
429*2^704331-1 is not prime.  Res64: 35138711E6768EA7  Time : 4587.0 sec.
user=vaughan
[2009-07-23 10:34:13]
445*2^704331-1 is not prime.  Res64: 4BB2840B54A94ADC  Time : 4553.0 sec.
user=vaughan
[2009-07-23 10:41:42]
483*2^704332-1 is not prime.  Res64: 6CAD7A8953D6B88E  Time : 4588.0 sec.
user=vaughan
[2009-07-23 10:41:47]
533*2^704332-1 is not prime.  Res64: E59A5D7F9363C2CD  Time : 4550.0 sec.
user=vaughan
[2009-07-23 10:49:20]
573*2^704332-1 is not prime.  Res64: 5C8338C9BFE4F7C2  Time : 4588.0 sec.
user=vaughan
[2009-07-23 10:49:22]
537*2^704333-1 is not prime.  Res64: CFC5335170B0EC75  Time : 4550.0 sec.
user=vaughan
[2009-07-23 10:56:59]
591*2^704333-1 is not prime.  Res64: 22F8761406F49C41  Time : 4552.0 sec.
user=vaughan
[2009-07-23 10:57:01]
589*2^704333-1 is not prime.  Res64: 571E6DC970B84D9A  Time : 4591.0 sec.
user=vaughan
[2009-07-23 11:04:34]
513*2^704334-1 is not prime.  Res64: 60231E0ACC6FBCB2  Time : 4552.0 sec.
user=vaughan
[2009-07-23 11:04:39]
455*2^704334-1 is not prime.  Res64: DFA9E26B49F8FE60  Time : 4588.0 sec.
user=vaughan
[2009-07-23 11:12:11]
567*2^704334-1 is not prime.  Res64: 5AC86202D1C4CEC2  Time : 4553.0 sec.
user=vaughan
[2009-07-23 11:12:17]
551*2^704334-1 is not prime.  Res64: 0CF619B890CA06A2  Time : 4587.0 sec.
user=vaughan
[2009-07-23 11:19:47]
475*2^704335-1 is not prime.  Res64: 3CAFC1BF49983FF5  Time : 4554.0 sec.
user=vaughan
[2009-07-23 11:19:56]
433*2^704335-1 is not prime.  Res64: 933A82230B02E4C3  Time : 4587.0 sec.
user=vaughan
[2009-07-23 11:27:23]
561*2^704335-1 is not prime.  Res64: 7421E0D31834B0F0  Time : 4555.0 sec.
user=vaughan
[2009-07-23 11:27:33]
541*2^704335-1 is not prime.  Res64: A17108F67AF3C1A6  Time : 4585.0 sec.
user=vaughan
[2009-07-23 11:34:58]
473*2^704336-1 is not prime.  Res64: D487C9391CAABF72  Time : 4555.0 sec.
user=vaughan
[2009-07-23 11:35:11]
573*2^704335-1 is not prime.  Res64: 542E12E42B4BD3FC  Time : 4585.0 sec.
user=vaughan
[2009-07-23 11:42:33]
525*2^704336-1 is not prime.  Res64: F8E17438F26E75B4  Time : 4556.0 sec.
user=vaughan
[2009-07-23 11:42:48]
519*2^704336-1 is not prime.  Res64: B244608C619AA270  Time : 4583.0 sec.
user=vaughan
[2009-07-23 11:50:08]
447*2^704337-1 is not prime.  Res64: 93589C1E74A177A4  Time : 4556.0 sec.
user=vaughan
[2009-07-23 11:50:25]
409*2^704337-1 is not prime.  Res64: 0757AA1111442820  Time : 4583.0 sec.
user=vaughan
[2009-07-23 11:57:43]
471*2^704337-1 is not prime.  Res64: E895A2B0562AA60A  Time : 4556.0 sec.
user=vaughan
[2009-07-23 11:58:04]
469*2^704337-1 is not prime.  Res64: 6CBED8A5E5ABA981  Time : 4582.0 sec.
user=vaughan
[2009-07-23 12:05:17]
517*2^704337-1 is not prime.  Res64: 3FE57E2467D5C634  Time : 4555.0 sec.
user=vaughan
[2009-07-23 12:05:43]
511*2^704337-1 is not prime.  Res64: B592E27300384486  Time : 4583.0 sec.
user=vaughan
[2009-07-23 12:12:52]
565*2^704337-1 is not prime.  Res64: 109C86643E7E38BB  Time : 4553.0 sec.
user=vaughan
[2009-07-23 12:13:21]
579*2^704337-1 is not prime.  Res64: E090D1140FCB8666  Time : 4580.0 sec.
user=vaughan
[2009-07-23 12:20:27]
503*2^704338-1 is not prime.  Res64: 97784B5BF7DB0896  Time : 4553.0 sec.
user=vaughan
[2009-07-23 12:20:59]
527*2^704338-1 is not prime.  Res64: 51C1B45CD8ED1A3C  Time : 4580.0 sec.
user=vaughan
[2009-07-23 12:28:02]
533*2^704338-1 is not prime.  Res64: DECA596DE1D3AB20  Time : 4551.0 sec.
user=vaughan
[2009-07-23 12:28:37]
575*2^704338-1 is not prime.  Res64: DB976B25A2521DE6  Time : 4580.0 sec.
user=vaughan
[2009-07-23 12:35:37]
543*2^704339-1 is not prime.  Res64: A5574FF46C91C188  Time : 4550.0 sec.
user=vaughan
[2009-07-23 12:36:15]
515*2^704340-1 is not prime.  Res64: F06637645AFA2ADB  Time : 4580.0 sec.
user=vaughan
[2009-07-23 12:43:12]
427*2^704341-1 is not prime.  Res64: A91EE9917698C79E  Time : 4549.0 sec.
user=vaughan
[2009-07-23 12:43:53]
511*2^704341-1 is not prime.  Res64: 5C5978C91DD1C22B  Time : 4580.0 sec.
user=vaughan
[2009-07-23 12:50:47]
549*2^704341-1 is not prime.  Res64: A5E6D777B2755CC5  Time : 4549.0 sec.
user=vaughan
[2009-07-23 12:51:31]
417*2^704342-1 is not prime.  Res64: CB5692ED5BEAF0AC  Time : 4580.0 sec.
user=vaughan
[2009-07-23 12:58:23]
425*2^704342-1 is not prime.  Res64: E50E0BEFDDDC84A0  Time : 4550.0 sec.
user=vaughan
[2009-07-23 12:59:09]
477*2^704342-1 is not prime.  Res64: 0FDF0265C54596AE  Time : 4581.0 sec.
user=vaughan
[2009-07-23 13:05:58]
501*2^704342-1 is not prime.  Res64: FE5E3369D53F50E6  Time : 4550.0 sec.
user=vaughan
[2009-07-23 13:06:48]
581*2^704342-1 is not prime.  Res64: 50F7D69D8E8AABC3  Time : 4583.0 sec.
user=vaughan
[2009-07-23 13:13:34]
585*2^704342-1 is not prime.  Res64: E035917DF8FAEE85  Time : 4552.0 sec.
user=vaughan
[2009-07-23 13:14:26]
565*2^704343-1 is not prime.  Res64: 7136F6EEB872A5C1  Time : 4582.0 sec.
user=vaughan
[2009-07-23 13:21:09]
573*2^704343-1 is not prime.  Res64: 67CAB36F1847716B  Time : 4552.0 sec.
user=vaughan
[2009-07-23 13:22:05]
407*2^704344-1 is not prime.  Res64: F443EF07D75B1D66  Time : 4582.0 sec.
user=vaughan
[2009-07-23 13:28:45]
413*2^704344-1 is not prime.  Res64: B8275B0E217373F0  Time : 4554.0 sec.
user=vaughan
[2009-07-23 13:29:44]
419*2^704344-1 is not prime.  Res64: B0D5B5E387332E2B  Time : 4583.0 sec.
user=vaughan
[2009-07-23 13:36:19]
435*2^704344-1 is not prime.  Res64: C629457BC390923D  Time : 4552.0 sec.
user=vaughan
[2009-07-23 13:37:23]
563*2^704344-1 is not prime.  Res64: 8A7FDA02F550DD67  Time : 4584.0 sec.
user=vaughan
[2009-07-23 13:43:54]
441*2^704345-1 is not prime.  Res64: D90B76A7248CE6D2  Time : 4552.0 sec.
user=vaughan
[2009-07-23 13:45:01]
507*2^704345-1 is not prime.  Res64: D4FB960547975066  Time : 4584.0 sec.
user=vaughan
[2009-07-23 13:51:29]
529*2^704345-1 is not prime.  Res64: A76815A7B1976EAC  Time : 4552.0 sec.
user=vaughan
[2009-07-23 13:52:39]
431*2^704346-1 is not prime.  Res64: B12908D9765820C3  Time : 4584.0 sec.
user=vaughan
[2009-07-23 13:59:04]
447*2^704346-1 is not prime.  Res64: 6E3FC35397A6BC68  Time : 4552.0 sec.
user=vaughan
[2009-07-23 14:00:18]
485*2^704346-1 is not prime.  Res64: D0B5E5660CEE673B  Time : 4585.0 sec.
user=vaughan
[2009-07-23 14:06:38]
421*2^704347-1 is not prime.  Res64: 5D3C5D470EB412D6  Time : 4551.0 sec.
user=vaughan
[2009-07-23 14:07:57]
439*2^704347-1 is not prime.  Res64: FD84B83DBEDD3DBF  Time : 4586.0 sec.
user=vaughan
[2009-07-23 14:14:12]
441*2^704347-1 is not prime.  Res64: 0D260C560D58D064  Time : 4549.0 sec.
user=vaughan
[2009-07-23 14:15:36]
511*2^704347-1 is not prime.  Res64: BA701BC920B5AC0C  Time : 4587.0 sec.
user=vaughan
[2009-07-23 14:21:47]
555*2^704347-1 is not prime.  Res64: D278732EC94121D6  Time : 4549.0 sec.
user=vaughan
[2009-07-23 14:23:15]
589*2^704347-1 is not prime.  Res64: 6F2ACC4D8897DF59  Time : 4587.0 sec.
user=vaughan
[2009-07-23 14:29:22]
459*2^704348-1 is not prime.  Res64: CAF6FA3DF53E36D1  Time : 4548.0 sec.
user=vaughan
[2009-07-23 14:30:54]
479*2^704348-1 is not prime.  Res64: 5D6721889C95FD59  Time : 4588.0 sec.
user=vaughan
[2009-07-23 14:36:57]
525*2^704348-1 is not prime.  Res64: 74CF4C6D5DB791B2  Time : 4548.0 sec.
user=vaughan
[2009-07-23 14:38:33]
563*2^704348-1 is not prime.  Res64: 92BE69041A052ACF  Time : 4588.0 sec.
user=vaughan
[2009-07-23 14:44:32]
585*2^704348-1 is not prime.  Res64: 8116511A41FF0397  Time : 4548.0 sec.
user=vaughan
[2009-07-23 14:46:14]
415*2^704349-1 is not prime.  Res64: 9153851D0165E4C0  Time : 4590.0 sec.
user=vaughan
[2009-07-23 14:52:03]
429*2^704349-1 is not prime.  Res64: 96E42C55F4022C7C  Time : 4544.0 sec.
user=vaughan
[2009-07-23 14:53:57]
457*2^704349-1 is not prime.  Res64: 96436A60FF515A2D  Time : 4595.0 sec.
user=vaughan
[2009-07-23 14:59:36]
555*2^704349-1 is not prime.  Res64: A87B889548D57589  Time : 4542.0 sec.
user=vaughan
[2009-07-23 15:01:39]
559*2^704349-1 is not prime.  Res64: EF7D593082818E5E  Time : 4599.0 sec.
user=vaughan
[2009-07-23 15:07:09]
467*2^704350-1 is not prime.  Res64: ED8344432A002A6C  Time : 4540.0 sec.
user=vaughan
[2009-07-23 15:09:20]
525*2^704350-1 is not prime.  Res64: B85CBD3E673C8226  Time : 4601.0 sec.
user=vaughan
[2009-07-23 15:14:45]
573*2^704351-1 is not prime.  Res64: 0B83FF69CD0530A0  Time : 4541.0 sec.
user=vaughan
[2009-07-23 15:17:01]
413*2^704352-1 is not prime.  Res64: 02F6D4DB57F11363  Time : 4603.0 sec.
user=vaughan
[2009-07-23 15:22:21]
525*2^704352-1 is not prime.  Res64: ACC8B40747EB3FC1  Time : 4543.0 sec.
user=vaughan
[2009-07-23 15:24:42]
471*2^704353-1 is not prime.  Res64: 0AD30DBA1760B266  Time : 4605.0 sec.
user=vaughan
[2009-07-23 15:29:54]
489*2^704353-1 is not prime.  Res64: 0E9DF2A57E8CF0C5  Time : 4542.0 sec.
user=vaughan
[2009-07-23 15:32:24]
499*2^704353-1 is not prime.  Res64: 0B397B44A8B58D2C  Time : 4608.0 sec.
user=vaughan
[2009-07-23 15:37:27]
483*2^704354-1 is not prime.  Res64: 36BF0093D895B431  Time : 4540.0 sec.
user=vaughan
[2009-07-23 15:40:05]
501*2^704354-1 is not prime.  Res64: 9F3875F56CAFE586  Time : 4610.0 sec.
user=vaughan
[2009-07-23 15:45:02]
533*2^704354-1 is not prime.  Res64: 350F2961A2854377  Time : 4540.0 sec.
user=vaughan
[2009-07-23 15:47:44]
545*2^704354-1 is not prime.  Res64: 733D76698B33B5B7  Time : 4610.0 sec.
user=vaughan
[2009-07-23 15:52:37]
551*2^704354-1 is not prime.  Res64: C30BEBC07E22D77C  Time : 4540.0 sec.
user=vaughan
[2009-07-23 15:55:23]
469*2^704355-1 is not prime.  Res64: B4306705C95F1B7F  Time : 4611.0 sec.
user=vaughan
[2009-07-23 16:00:11]
471*2^704355-1 is not prime.  Res64: 69132A7726C99A8F  Time : 4540.0 sec.
user=vaughan
[2009-07-23 16:03:03]
475*2^704355-1 is not prime.  Res64: C2076680DF93C3EE  Time : 4609.0 sec.
user=vaughan
[2009-07-23 16:07:45]
501*2^704355-1 is not prime.  Res64: FB5A40CC43F330F4  Time : 4542.0 sec.
user=vaughan
[2009-07-23 16:10:43]
529*2^704355-1 is not prime.  Res64: 219105D44F4F54A7  Time : 4606.0 sec.
user=vaughan
[2009-07-23 16:15:20]
541*2^704355-1 is not prime.  Res64: CD323C48BF56DB6E  Time : 4544.0 sec.
user=vaughan
[2009-07-23 16:18:25]
583*2^704355-1 is not prime.  Res64: 177285922A436140  Time : 4606.0 sec.
user=vaughan
[2009-07-23 16:22:55]
435*2^704356-1 is not prime.  Res64: A421CFCDCCAB2273  Time : 4546.0 sec.
user=vaughan
[2009-07-23 16:26:05]
447*2^704356-1 is not prime.  Res64: 116A610646671273  Time : 4605.0 sec.
user=vaughan
[2009-07-23 16:30:30]
495*2^704356-1 is not prime.  Res64: 4C767DFE2BE6CEA4  Time : 4545.0 sec.
user=vaughan
[2009-07-23 16:33:46]
537*2^704356-1 is not prime.  Res64: A0F2BEC959A2C28F  Time : 4605.0 sec.
user=vaughan
[2009-07-23 16:38:07]
421*2^704357-1 is not prime.  Res64: 368519178121A5E7  Time : 4546.0 sec.
user=vaughan
[2009-07-23 16:41:26]
447*2^704357-1 is not prime.  Res64: C5FC9FAEDF9140A5  Time : 4604.0 sec.
user=vaughan
[2009-07-23 16:45:40]
585*2^704357-1 is not prime.  Res64: 88F7B20609A97EA5  Time : 4546.0 sec.
user=vaughan
[2009-07-23 16:49:07]
525*2^704358-1 is not prime.  Res64: 97CDABB674C59CF3  Time : 4604.0 sec.
user=vaughan
[2009-07-23 16:53:15]
555*2^704358-1 is not prime.  Res64: A9A6E1A47C3B1DC3  Time : 4548.0 sec.
user=vaughan
[2009-07-23 16:56:48]
463*2^704359-1 is not prime.  Res64: 50A15B24A62F02AE  Time : 4604.0 sec.
user=vaughan
[2009-07-23 17:00:50]
579*2^704359-1 is not prime.  Res64: A675632EC227D934  Time : 4548.0 sec.
user=vaughan
[2009-07-23 17:04:28]
589*2^704359-1 is not prime.  Res64: 1976C1312F689962  Time : 4605.0 sec.
user=vaughan
[2009-07-23 17:08:25]
425*2^704360-1 is not prime.  Res64: 63DF2E7E51C5A0D2  Time : 4548.0 sec.
user=vaughan
[2009-07-23 17:12:11]
465*2^704360-1 is not prime.  Res64: 41A32CAD11A515EC  Time : 4608.0 sec.
user=vaughan
[2009-07-23 17:16:05]
533*2^704360-1 is not prime.  Res64: 0041508A1F70B0BF  Time : 4554.0 sec.
user=vaughan
[2009-07-23 17:29:26]
563*2^704360-1 is not prime.  Res64: 463513AF8E038E75  Time : 5183.0 sec.
user=vaughan
[2009-07-23 17:32:59]
465*2^704361-1 is not prime.  Res64: 8ECAC81F219919DF  Time : 5114.0 sec.
user=vaughan
[2009-07-23 17:40:48]
535*2^704361-1 is not prime.  Res64: 4096BA616E4C49BE  Time : 5128.0 sec.
user=vaughan
[2009-07-23 17:41:00]
471*2^704361-1 is not prime.  Res64: 964D0941D2E840D4  Time : 5417.0 sec.
user=vaughan
[2009-07-23 17:48:36]
435*2^704362-1 is not prime.  Res64: 9788444FFCA42431  Time : 5141.0 sec.
user=vaughan
[2009-07-23 17:49:29]
555*2^704361-1 is not prime.  Res64: F95959C4503EE798  Time : 5465.0 sec.
user=vaughan
[2009-07-23 17:56:23]
533*2^704362-1 is not prime.  Res64: D035691E01C690BF  Time : 5154.0 sec.
user=vaughan
[2009-07-23 17:57:57]
467*2^704362-1 is not prime.  Res64: A4BE77BEFDC24ACF  Time : 5512.0 sec.
user=vaughan
[2009-07-23 18:04:11]
433*2^704363-1 is not prime.  Res64: 998E6F22E1F61D5A  Time : 5165.0 sec.
user=vaughan
[2009-07-23 18:06:26]
581*2^704362-1 is not prime.  Res64: A150F304A68A2DEC  Time : 5560.0 sec.
user=vaughan
[2009-07-23 18:11:58]
451*2^704363-1 is not prime.  Res64: 64DE663372A60529  Time : 5178.0 sec.
user=vaughan
[2009-07-23 18:14:55]
445*2^704363-1 is not prime.  Res64: 48AD82F58745A62A  Time : 5609.0 sec.
user=vaughan
[2009-07-23 18:19:45]
529*2^704363-1 is not prime.  Res64: 36FC77946B4948C7  Time : 5190.0 sec.
user=vaughan
[2009-07-23 18:23:23]
501*2^704363-1 is not prime.  Res64: A9917ED08E161E27  Time : 5657.0 sec.
user=vaughan
[2009-07-23 18:27:34]
447*2^704364-1 is not prime.  Res64: 412C015932193764  Time : 5205.0 sec.
user=vaughan
[2009-07-23 18:31:39]
413*2^704364-1 is not prime.  Res64: C16F2C0BC18DCFCB  Time : 5691.0 sec.
user=vaughan
[2009-07-23 18:35:38]
465*2^704364-1 is not prime.  Res64: A38D81D2327E1355  Time : 5233.0 sec.
user=vaughan
[2009-07-23 18:39:48]
453*2^704364-1 is not prime.  Res64: 0614DEBC37740E55  Time : 5720.0 sec.
user=vaughan
[2009-07-23 18:43:45]
569*2^704364-1 is not prime.  Res64: 2C6A614D3121208E  Time : 5260.0 sec.
user=vaughan
[2009-07-23 18:48:00]
513*2^704364-1 is not prime.  Res64: BDBA19ECD82C4800  Time : 5749.0 sec.
user=vaughan
[2009-07-23 18:51:54]
421*2^704365-1 is not prime.  Res64: A7983C5D9B21EE03  Time : 4735.0 sec.
user=vaughan
[2009-07-23 18:56:09]
593*2^704364-1 is not prime.  Res64: 548B40124CC9606B  Time : 5203.0 sec.
user=vaughan
[2009-07-23 18:59:59]
427*2^704365-1 is not prime.  Res64: 757D2818C9F0EABD  Time : 4751.0 sec.
user=vaughan
[2009-07-23 19:04:21]
511*2^704365-1 is not prime.  Res64: 9C7DA8C204111323  Time : 5002.0 sec.
user=vaughan
[2009-07-23 19:08:10]
537*2^704365-1 is not prime.  Res64: E643419BD76FC7F9  Time : 4774.0 sec.
user=vaughan
[2009-07-23 19:12:32]
541*2^704365-1 is not prime.  Res64: 5BB991330CDB201A  Time : 4983.0 sec.
user=vaughan
[2009-07-23 19:16:21]
595*2^704365-1 is not prime.  Res64: E178DBA05E91C834  Time : 4798.0 sec.
user=vaughan
[2009-07-23 19:20:43]
455*2^704366-1 is not prime.  Res64: 650D2F2E82220A8A  Time : 4966.0 sec.
user=vaughan
[2009-07-23 19:24:25]
409*2^704367-1 is not prime.  Res64: E3AC3B1B828D705F  Time : 4814.0 sec.
user=vaughan
[2009-07-23 19:27:26]
421*2^704371-1 is not prime.  Res64: 305691FFCCF0DFB2  Time : 1411.0 sec.
user=vaughan
[2009-07-23 19:28:50]
433*2^704367-1 is not prime.  Res64: E5ADC4DE4C3E0601  Time : 4944.0 sec.
user=vaughan
[2009-07-23 19:32:28]
489*2^704367-1 is not prime.  Res64: ECC4B4B185DBF067  Time : 4830.0 sec.
user=vaughan
[2009-07-23 19:36:58]
501*2^704367-1 is not prime.  Res64: 69DE2DAFD01FE4C1  Time : 4923.0 sec.
user=vaughan
[2009-07-23 19:40:33]
533*2^704368-1 is not prime.  Res64: 6993BD16AC4BF7CF  Time : 4848.0 sec.
user=vaughan
[2009-07-23 19:45:06]
411*2^704369-1 is not prime.  Res64: 4E542D131E5DB596  Time : 4903.0 sec.
user=vaughan
[2009-07-23 19:48:38]
571*2^704369-1 is not prime.  Res64: A6D31A7669C1E33E  Time : 4864.0 sec.
user=vaughan
[2009-07-23 19:51:22]
465*2^704374-1 is not prime.  Res64: F75736EFFDCF8DB6  Time : 1436.0 sec.
user=vaughan
[2009-07-23 19:53:13]
589*2^704369-1 is not prime.  Res64: 2895A5C5FD5AA6E4  Time : 4894.0 sec.
user=vaughan
[2009-07-23 19:56:41]
405*2^704370-1 is not prime.  Res64: 9A28ACF906F9C88A  Time : 4863.0 sec.
user=vaughan
[2009-07-23 20:01:21]
411*2^704370-1 is not prime.  Res64: 8F6A3DF792B87870  Time : 4893.0 sec.
user=vaughan
[2009-07-23 20:04:44]
431*2^704370-1 is not prime.  Res64: 02FEDCC147FD2D29  Time : 4859.0 sec.
user=vaughan
[2009-07-23 20:09:28]
521*2^704370-1 is not prime.  Res64: C3484E960A6C13AE  Time : 4888.0 sec.
user=vaughan
[2009-07-23 20:12:48]
581*2^704370-1 is not prime.  Res64: 8735A79A012C1BBA  Time : 4854.0 sec.
user=vaughan
[2009-07-23 20:15:46]
465*2^704376-1 is not prime.  Res64: A40694789F29D8E6  Time : 1464.0 sec.
user=vaughan
[2009-07-23 20:17:35]
585*2^704370-1 is not prime.  Res64: 32FBAE53C017F190  Time : 4886.0 sec.
user=vaughan
[2009-07-23 20:20:51]
415*2^704371-1 is not prime.  Res64: 471F8EECD53C4AED  Time : 4852.0 sec.
user=vaughan
[2009-07-23 20:25:42]
561*2^704371-1 is not prime.  Res64: 335F1A6EA7D56448  Time : 4881.0 sec.
user=vaughan
[2009-07-23 20:28:56]
417*2^704372-1 is not prime.  Res64: 014BC0FC977240B8  Time : 4847.0 sec.
user=vaughan
[2009-07-23 20:33:50]
495*2^704372-1 is not prime.  Res64: F21531494E6FAAFC  Time : 4879.0 sec.
user=vaughan
[2009-07-23 20:36:59]
587*2^704372-1 is not prime.  Res64: 7F512EF238E13FE4  Time : 4838.0 sec.
user=vaughan
[2009-07-23 20:40:27]
441*2^704379-1 is not prime.  Res64: F4AD8FE805C51E3D  Time : 1481.0 sec.
user=vaughan
[2009-07-23 20:41:59]
475*2^704373-1 is not prime.  Res64: 813D5E4A2146383D  Time : 4877.0 sec.
user=vaughan
[2009-07-23 20:45:03]
413*2^704374-1 is not prime.  Res64: 285C8A6A6105C51D  Time : 4838.0 sec.
user=vaughan
[2009-07-23 20:50:07]
459*2^704375-1 is not prime.  Res64: 80C3979BFADB3888  Time : 4877.0 sec.
user=vaughan
[2009-07-23 20:53:08]
463*2^704375-1 is not prime.  Res64: 168B2F6D578A006B  Time : 4840.0 sec.
user=vaughan
[2009-07-23 20:58:15]
469*2^704375-1 is not prime.  Res64: 52F06ECBC6990699  Time : 4877.0 sec.
user=vaughan
[2009-07-23 21:01:12]
519*2^704375-1 is not prime.  Res64: 38E0EBDBB3DBC90F  Time : 4839.0 sec.
user=vaughan
[2009-07-23 21:05:12]
409*2^704381-1 is not prime.  Res64: 9AF59F7E4A7E5849  Time : 1485.0 sec.
user=vaughan
[2009-07-23 21:06:23]
543*2^704375-1 is not prime.  Res64: ED9EBD121E6C0F5F  Time : 4877.0 sec.
user=vaughan
[2009-07-23 21:09:16]
453*2^704376-1 is not prime.  Res64: 67640675D60295AE  Time : 4839.0 sec.
user=vaughan
[2009-07-23 21:14:31]
507*2^704376-1 is not prime.  Res64: 1E7E1D09A2E2023D  Time : 4878.0 sec.
user=vaughan
[2009-07-23 21:17:20]
539*2^704376-1 is not prime.  Res64: 1153C5D9ECEBADEA  Time : 4839.0 sec.
user=vaughan
[2009-07-23 21:22:39]
469*2^704377-1 is not prime.  Res64: BE0B7A304891B51E  Time : 4878.0 sec.
user=vaughan
[2009-07-23 21:25:23]
499*2^704377-1 is not prime.  Res64: 75601AD4B7753E40  Time : 4839.0 sec.
user=vaughan
[2009-07-23 21:29:56]
483*2^704382-1 is not prime.  Res64: E9C9E6CCAB833700  Time : 1484.0 sec.
user=vaughan
[2009-07-23 21:30:46]
565*2^704377-1 is not prime.  Res64: 4EDED97815F59FF2  Time : 4878.0 sec.
user=vaughan
[2009-07-23 21:33:27]
437*2^704378-1 is not prime.  Res64: 8C0BC1B58EF8625E  Time : 4839.0 sec.
user=vaughan
[2009-07-23 21:39:23]
445*2^704379-1 is not prime.  Res64: 34B271643A0FC9A8  Time : 4908.0 sec.
user=vaughan
[2009-07-23 21:41:16]
489*2^704379-1 is not prime.  Res64: 57BB8E3F27FF0DA3  Time : 4825.0 sec.
user=vaughan
[2009-07-23 21:48:25]
555*2^704379-1 is not prime.  Res64: 49CB6B50E765561E  Time : 4963.0 sec.
user=vaughan
[2009-07-23 21:49:05]
429*2^704380-1 is not prime.  Res64: 8E76E66AE800334E  Time : 4809.0 sec.
user=vaughan
[2009-07-23 21:54:33]
519*2^704383-1 is not prime.  Res64: E24A16492C5FDA5F  Time : 1477.0 sec.
user=vaughan
[2009-07-23 21:57:01]
539*2^704380-1 is not prime.  Res64: B12D712376E73FD0  Time : 4991.0 sec.
user=vaughan
[2009-07-23 21:57:19]
579*2^704380-1 is not prime.  Res64: 8681C81FA4995D12  Time : 4820.0 sec.
user=vaughan
[2009-07-23 22:05:25]
441*2^704381-1 is not prime.  Res64: CB62841782CCE671  Time : 5007.0 sec.
user=vaughan
[2009-07-23 22:05:41]
489*2^704381-1 is not prime.  Res64: C4FE9222AD63DBC0  Time : 4838.0 sec.
user=vaughan
[2009-07-23 22:13:51]
571*2^704381-1 is not prime.  Res64: 7571A5E6FAE9C96C  Time : 5025.0 sec.
user=vaughan
[2009-07-23 22:14:05]
579*2^704381-1 is not prime.  Res64: 58EAA040B5B7BEE9  Time : 4857.0 sec.
user=vaughan
[2009-07-23 22:19:15]
405*2^704385-1 is not prime.  Res64: 484F9AFE394B3227  Time : 1482.0 sec.
user=vaughan
[2009-07-23 22:22:17]
401*2^704382-1 is not prime.  Res64: 857533668AEBB91E  Time : 5042.0 sec.
user=vaughan
[2009-07-23 22:22:28]
471*2^704382-1 is not prime.  Res64: E7E2C83C086FEB8C  Time : 4876.0 sec.
user=vaughan
[2009-07-23 22:30:43]
513*2^704382-1 is not prime.  Res64: E9BE85179BCDF448  Time : 5060.0 sec.
user=vaughan
[2009-07-23 22:30:52]
555*2^704382-1 is not prime.  Res64: 6B0B5C328B9E9F41  Time : 4896.0 sec.
user=vaughan
[2009-07-23 22:39:08]
585*2^704382-1 is not prime.  Res64: 2621DD9AC271A5CF  Time : 5077.0 sec.
user=vaughan
[2009-07-23 22:39:15]
423*2^704383-1 is not prime.  Res64: 37A6777B90516022  Time : 4915.0 sec.
user=vaughan
[2009-07-23 22:43:43]
463*2^704387-1 is not prime.  Res64: C0E691F34B725B15  Time : 1468.0 sec.
user=vaughan
[2009-07-23 22:47:35]
481*2^704383-1 is not prime.  Res64: 5318FDD38CE42944  Time : 5096.0 sec.
user=vaughan
[2009-07-23 22:47:38]
511*2^704383-1 is not prime.  Res64: C771040824B721D1  Time : 4935.0 sec.
user=vaughan
[2009-07-23 22:56:00]
525*2^704383-1 is not prime.  Res64: E828ABEDF8EE3CCB  Time : 5114.0 sec.
user=vaughan
[2009-07-23 22:56:00]
549*2^704383-1 is not prime.  Res64: F91697A946207FDF  Time : 4954.0 sec.
user=vaughan
[2009-07-23 23:04:22]
555*2^704383-1 is not prime.  Res64: A08663AB8793A862  Time : 4987.0 sec.
user=vaughan
[2009-07-23 23:04:26]
553*2^704383-1 is not prime.  Res64: 23E4A574213737FB  Time : 5103.0 sec.
user=vaughan
[2009-07-23 23:08:17]
563*2^704388-1 is not prime.  Res64: DEA7174BEF551BBD  Time : 1474.0 sec.
user=vaughan
[2009-07-23 23:12:45]
539*2^704384-1 is not prime.  Res64: 56F729DD26620F59  Time : 5020.0 sec.
user=vaughan
[2009-07-23 23:12:50]
425*2^704384-1 is not prime.  Res64: C02D218FE645083A  Time : 5066.0 sec.
user=vaughan
[2009-07-23 23:21:08]
577*2^704385-1 is not prime.  Res64: 9F11407265275A99  Time : 5029.0 sec.
user=vaughan
[2009-07-23 23:21:15]
529*2^704385-1 is not prime.  Res64: CE79051B085A1BD8  Time : 5055.0 sec.
user=vaughan
[2009-07-23 23:29:32]
453*2^704386-1 is not prime.  Res64: 28158921BBD1A7E0  Time : 5031.0 sec.
user=vaughan
[2009-07-23 23:29:40]
425*2^704386-1 is not prime.  Res64: 3E4C000763135D30  Time : 5056.0 sec.
user=vaughan
[2009-07-23 23:32:58]
407*2^704390-1 is not prime.  Res64: C4085C38345BB90B  Time : 1481.0 sec.
user=vaughan
[2009-07-23 23:37:55]
597*2^704386-1 is not prime.  Res64: 9F39A750D12BD68C  Time : 5030.0 sec.
user=vaughan
[2009-07-23 23:38:06]
567*2^704386-1 is not prime.  Res64: 82C9B911DA9D9014  Time : 5056.0 sec.
user=vaughan
[2009-07-23 23:46:18]
437*2^704388-1 is not prime.  Res64: 2D6CB4E2E93CF871  Time : 5030.0 sec.
user=vaughan
[2009-07-23 23:46:32]
589*2^704387-1 is not prime.  Res64: FF9DA1A022495B20  Time : 5055.0 sec.
user=vaughan
[2009-07-23 23:54:41]
479*2^704388-1 is not prime.  Res64: 09CAFECBDB621AD8  Time : 5029.0 sec.
user=vaughan
[2009-07-23 23:54:57]
453*2^704388-1 is not prime.  Res64: A9ACC66DD62E9045  Time : 5054.0 sec.
user=vaughan
[2009-07-23 23:57:47]
549*2^704391-1 is not prime.  Res64: 7BB5874F8EB515D3  Time : 1489.0 sec.