user=vaughan
[2009-10-02 00:03:36]
623*2^712584-1 is not prime.  Res64: 2A7ED6513AEF392F  Time : 699.0 sec.
user=kar_bon
[2009-10-02 00:03:53]
729*2^712577-1 is not prime.  Res64: FACD8BC023992072  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 00:04:33]
647*2^712570-1 is not prime.  Res64: B00F8C57EB987C00  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 00:05:07]
651*2^712578-1 is not prime.  Res64: BBB84940BB7C9B27  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 00:05:39]
663*2^712578-1 is not prime.  Res64: 0D8E9EEB8E1B53A0  Time : 2042.0 sec.
user=vaughan
[2009-10-02 00:08:14]
737*2^712584-1 is not prime.  Res64: A9E5CC413A37CBC9  Time : 698.0 sec.
user=vaughan
[2009-10-02 00:08:41]
765*2^712584-1 is not prime.  Res64: A1992F8C5EE56A0B  Time : 706.0 sec.
user=kar_bon
[2009-10-02 00:10:35]
609*2^712579-1 is not prime.  Res64: 20C2473EBD66747D  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 00:11:09]
783*2^712571-1 is not prime.  Res64: 7B9F61575BF61725  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 00:11:10]
781*2^712571-1 is not prime.  Res64: F14261487EB26176  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 00:11:15]
633*2^712572-1 is not prime.  Res64: 446E0CDD90FE8010  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 00:15:13]
689*2^712580-1 is not prime.  Res64: 67448104CC4264D6  Time : 2040.0 sec.
user=vaughan
[2009-10-02 00:15:13]
645*2^712586-1 is not prime.  Res64: 2996A98630D702BE  Time : 697.0 sec.
user=gd_barnes
[2009-10-02 00:15:53]
789*2^712573-1 is not prime.  Res64: 995C80F0311E564E  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 00:16:27]
781*2^712581-1 is not prime.  Res64: 4630D4EABA494AE6  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 00:17:01]
603*2^712582-1 is not prime.  Res64: 31860F9599637D33  Time : 2043.0 sec.
user=vaughan
[2009-10-02 00:19:51]
735*2^712588-1 is not prime.  Res64: 89AB58A2D6D37888  Time : 698.0 sec.
user=vaughan
[2009-10-02 00:20:27]
631*2^712589-1 is not prime.  Res64: 23A292D104C1F980  Time : 706.0 sec.
user=kar_bon
[2009-10-02 00:21:56]
705*2^712582-1 is not prime.  Res64: 4A764F380A1C480F  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 00:22:30]
717*2^712576-1 is not prime.  Res64: 87834E072EFC16B4  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 00:22:31]
781*2^712575-1 is not prime.  Res64: 475EC7616FBB69C8  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 00:22:36]
755*2^712576-1 is not prime.  Res64: 6F2127C1B0380E75  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 00:26:34]
629*2^712584-1 is not prime.  Res64: D738D2BD96692EBD  Time : 2042.0 sec.
user=vaughan
[2009-10-02 00:26:56]
679*2^712591-1 is not prime.  Res64: 3429DC37DBE962B1  Time : 703.0 sec.
user=gd_barnes
[2009-10-02 00:27:15]
771*2^712577-1 is not prime.  Res64: AA07B9A8866210AE  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 00:27:47]
695*2^712584-1 is not prime.  Res64: 1B194AC784A0B783  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 00:28:22]
719*2^712584-1 is not prime.  Res64: 845D0CBE6FA72D3C  Time : 2044.0 sec.
user=vaughan
[2009-10-02 00:31:28]
797*2^712592-1 is not prime.  Res64: 831B26E5D2F7D61E  Time : 698.0 sec.
user=vaughan
[2009-10-02 00:32:24]
609*2^712593-1 is not prime.  Res64: A5F6333A970E048E  Time : 717.0 sec.
user=kar_bon
[2009-10-02 00:33:17]
691*2^712585-1 is not prime.  Res64: 7372BCD06FF56A38  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 00:33:50]
615*2^712579-1 is not prime.  Res64: 0D43B9598BA7ACFA  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 00:33:52]
677*2^712268-1 is not prime.  Res64: 3CCE22613817397E  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 00:33:56]
631*2^712579-1 is not prime.  Res64: E9E2259C2E36A558  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 00:37:53]
711*2^712587-1 is not prime.  Res64: D37CABF427F7DF18  Time : 2040.0 sec.
user=vaughan
[2009-10-02 00:38:35]
675*2^712594-1 is not prime.  Res64: 33B5D2DE54DB33C4  Time : 699.0 sec.
user=gd_barnes
[2009-10-02 00:38:36]
649*2^712581-1 is not prime.  Res64: 3F8D88D4D7C1B73C  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 00:39:06]
657*2^712588-1 is not prime.  Res64: 228A32C5CB6A69AD  Time : 2040.0 sec.
user=kar_bon
[2009-10-02 00:39:43]
677*2^712588-1 is not prime.  Res64: BA00866DB50173FF  Time : 2044.0 sec.
user=vaughan
[2009-10-02 00:43:03]
651*2^712595-1 is not prime.  Res64: 59CF522480455054  Time : 696.0 sec.
user=vaughan
[2009-10-02 00:44:14]
669*2^712595-1 is not prime.  Res64: 72830C2A1960DBAB  Time : 710.0 sec.
user=kar_bon
[2009-10-02 00:44:39]
657*2^712589-1 is not prime.  Res64: 96A27805FAACE9CF  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 00:45:11]
737*2^712582-1 is not prime.  Res64: C1C32892730E07B8  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 00:45:13]
777*2^712582-1 is not prime.  Res64: C57C0EF2AF527AD9  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 00:45:17]
669*2^712583-1 is not prime.  Res64: 6D08159378717088  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 00:49:14]
621*2^712591-1 is not prime.  Res64: 8714516C5A406100  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 00:49:58]
635*2^712584-1 is not prime.  Res64: 792131962DB08A19  Time : 3407.0 sec.
user=vaughan
[2009-10-02 00:50:11]
647*2^712596-1 is not prime.  Res64: A77484CAFE7C51C6  Time : 696.0 sec.
user=kar_bon
[2009-10-02 00:50:26]
709*2^712591-1 is not prime.  Res64: A54B718567120CAB  Time : 2040.0 sec.
user=kar_bon
[2009-10-02 00:51:05]
723*2^712591-1 is not prime.  Res64: 1F8B97CD61C4425D  Time : 2045.0 sec.
user=vaughan
[2009-10-02 00:54:43]
735*2^712596-1 is not prime.  Res64: 86E0B1EF1FC3CEAD  Time : 701.0 sec.
user=kar_bon
[2009-10-02 00:56:00]
639*2^712593-1 is not prime.  Res64: CD48BA26CADC05DE  Time : 2044.0 sec.
user=vaughan
[2009-10-02 00:56:02]
765*2^712596-1 is not prime.  Res64: 3957A14E277DAA87  Time : 709.0 sec.
user=gd_barnes
[2009-10-02 00:56:31]
705*2^712585-1 is not prime.  Res64: FD528652E9AFBA7D  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 00:56:34]
741*2^712585-1 is not prime.  Res64: A0F247B43B1C0153  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 00:56:37]
799*2^712585-1 is not prime.  Res64: E5EA2AF7E765351F  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 01:00:34]
625*2^712279-1 is not prime.  Res64: 66FE2F3D75DA1E5F  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 01:01:20]
741*2^712587-1 is not prime.  Res64: B976BC709AEE255A  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 01:01:48]
747*2^712594-1 is not prime.  Res64: A4FBCB1F471568BC  Time : 2041.0 sec.
user=vaughan
[2009-10-02 01:01:51]
797*2^712598-1 is not prime.  Res64: 004F079B2807B477  Time : 700.0 sec.
user=kar_bon
[2009-10-02 01:02:27]
619*2^712595-1 is not prime.  Res64: 908CEA119DA5C886  Time : 2045.0 sec.
user=vaughan
[2009-10-02 01:06:18]
789*2^712284-1 is not prime.  Res64: B051BEC98E6F113C  Time : 696.0 sec.
user=kar_bon
[2009-10-02 01:07:21]
673*2^712595-1 is not prime.  Res64: AC28538AFE7F4C13  Time : 2044.0 sec.
user=vaughan
[2009-10-02 01:07:50]
763*2^712599-1 is not prime.  Res64: AC47608E6AD1CBDF  Time : 709.0 sec.
user=gd_barnes
[2009-10-02 01:07:52]
729*2^712589-1 is not prime.  Res64: 53C56F952C92E2A4  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 01:07:55]
787*2^712589-1 is not prime.  Res64: BA5FB7FC099C4E99  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 01:07:58]
603*2^712591-1 is not prime.  Res64: 29BE297EF79B4D62  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 01:11:54]
735*2^712595-1 is not prime.  Res64: 7D613B42129D40BD  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 01:12:40]
685*2^712591-1 is not prime.  Res64: 9F7CB1EE0E2D7695  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 01:13:08]
747*2^711909-1 is not prime.  Res64: FFAC7D3E112C9511  Time : 2042.0 sec.
user=vaughan
[2009-10-02 01:13:29]
745*2^712601-1 is not prime.  Res64: 2123A1A717A09150  Time : 699.0 sec.
user=kar_bon
[2009-10-02 01:13:48]
689*2^712596-1 is not prime.  Res64: 27F11FAB5691991A  Time : 2045.0 sec.
user=vaughan
[2009-10-02 01:18:04]
657*2^712289-1 is not prime.  Res64: 10B5E14EE29089DF  Time : 706.0 sec.
user=kar_bon
[2009-10-02 01:18:42]
783*2^712596-1 is not prime.  Res64: FE354ED4679669CC  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 01:19:13]
685*2^712593-1 is not prime.  Res64: C18C4B6AA8D54887  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 01:19:16]
739*2^712593-1 is not prime.  Res64: 04657D1BBA23FC61  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 01:19:19]
787*2^712593-1 is not prime.  Res64: 51D672BD78857C6D  Time : 3404.0 sec.
user=vaughan
[2009-10-02 01:20:47]
717*2^712602-1 is not prime.  Res64: DFF6CA8870945901  Time : 778.0 sec.
user=kar_bon
[2009-10-02 01:23:14]
747*2^712597-1 is not prime.  Res64: A4EBCD8B3B2B7F86  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 01:24:02]
705*2^712594-1 is not prime.  Res64: C529337318CC6E6E  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 01:24:27]
625*2^712599-1 is not prime.  Res64: 95762D1E7FB92C07  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 01:25:09]
685*2^712599-1 is not prime.  Res64: AA196E40BB7E5F65  Time : 2044.0 sec.
user=vaughan
[2009-10-02 01:25:53]
657*2^712605-1 is not prime.  Res64: 01C52A33E05E403F  Time : 744.0 sec.
user=kar_bon
[2009-10-02 01:30:05]
735*2^712599-1 is not prime.  Res64: FA47B720BC3560A5  Time : 2045.0 sec.
user=vaughan
[2009-10-02 01:30:23]
619*2^711915-1 is not prime.  Res64: 5F05E3FED17A4E71  Time : 739.0 sec.
user=gd_barnes
[2009-10-02 01:30:33]
693*2^712595-1 is not prime.  Res64: 27944F47836CFB93  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 01:30:36]
705*2^712595-1 is not prime.  Res64: B6F741C2CF180730  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 01:30:40]
715*2^712595-1 is not prime.  Res64: 867C73C40F66C43B  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 01:34:35]
619*2^712601-1 is not prime.  Res64: A3183D2D7307F3EC  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 01:35:23]
657*2^712596-1 is not prime.  Res64: 2691659E682D176A  Time : 3407.0 sec.
user=vaughan
[2009-10-02 01:35:39]
645*2^712606-1 is not prime.  Res64: D7748DEE5F34C051  Time : 893.0 sec.
user=kar_bon
[2009-10-02 01:35:47]
697*2^712601-1 is not prime.  Res64: 3C01B856F1096C6A  Time : 2040.0 sec.
user=kar_bon
[2009-10-02 01:36:31]
633*2^712602-1 is not prime.  Res64: CFDCED408FFD8A96  Time : 2045.0 sec.
user=vaughan
[2009-10-02 01:38:47]
651*2^712607-1 is not prime.  Res64: 5C9AC263CBE203E6  Time : 774.0 sec.
user=kar_bon
[2009-10-02 01:41:26]
677*2^712602-1 is not prime.  Res64: 220408771FC725AA  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 01:41:54]
789*2^712596-1 is not prime.  Res64: 53BC8D410B2C33F7  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 01:41:57]
625*2^712597-1 is not prime.  Res64: E2A9FB054FB6BDFB  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 01:42:00]
727*2^712597-1 is not prime.  Res64: A761F0AF60A7AB00  Time : 3403.0 sec.
user=vaughan
[2009-10-02 01:42:46]
711*2^712607-1 is not prime.  Res64: 6A9EF9741B292F24  Time : 743.0 sec.
user=kar_bon
[2009-10-02 01:45:54]
725*2^712604-1 is not prime.  Res64: 6F75510EE1E3957A  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 01:46:45]
755*2^712598-1 is not prime.  Res64: E9C7026D2CD090BA  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 01:47:07]
607*2^712605-1 is not prime.  Res64: DA3E90275F806BD5  Time : 2040.0 sec.
user=kar_bon
[2009-10-02 01:47:53]
685*2^712605-1 is not prime.  Res64: 267D734691828217  Time : 2046.0 sec.
user=vaughan
[2009-10-02 01:50:29]
789*2^712609-1 is not prime.  Res64: 088B6413073CD5B3  Time : 891.0 sec.
user=vaughan
[2009-10-02 01:51:55]
705*2^712611-1 is not prime.  Res64: 7D20331A15357539  Time : 789.0 sec.
user=kar_bon
[2009-10-02 01:52:48]
717*2^712605-1 is not prime.  Res64: DCAABEDD0C0EA98B  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 01:53:13]
605*2^712600-1 is not prime.  Res64: 31E4FC92B2B13132  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 01:53:18]
609*2^712600-1 is not prime.  Res64: 9DB4A9FDD948680E  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 01:53:21]
629*2^712600-1 is not prime.  Res64: 5618465B22467572  Time : 3404.0 sec.
user=vaughan
[2009-10-02 01:55:25]
705*2^712299-1 is not prime.  Res64: 8C15861710BCE85B  Time : 759.0 sec.
user=kar_bon
[2009-10-02 01:57:15]
695*2^712606-1 is not prime.  Res64: 70FA9C5FCB152DEF  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 01:58:06]
651*2^712601-1 is not prime.  Res64: 6CAD77B91ECCF212  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 01:58:28]
783*2^712606-1 is not prime.  Res64: 6A9905461520E9E6  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 01:59:15]
609*2^712607-1 is not prime.  Res64: 42A5E804358F9BEF  Time : 2046.0 sec.
user=kar_bon
[2009-10-02 02:04:08]
619*2^711919-1 is not prime.  Res64: 4C641722A6E0A5E5  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 02:04:36]
631*2^712603-1 is not prime.  Res64: 5C42799DF36BE865  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 02:04:40]
673*2^712603-1 is not prime.  Res64: 6EB1080A502D25FF  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 02:04:43]
681*2^712603-1 is not prime.  Res64: DCE3A5FF6AEAFA4B  Time : 3405.0 sec.
user=vaughan
[2009-10-02 02:04:57]
681*2^712614-1 is not prime.  Res64: B574B4B00649ECBB  Time : 782.0 sec.
user=vaughan
[2009-10-02 02:05:52]
621*2^712614-1 is not prime.  Res64: 85B4D042C216594D  Time : 923.0 sec.
user=vaughan
[2009-10-02 02:07:49]
669*2^712616-1 is not prime.  Res64: 98E5DE967C4D5EFC  Time : 745.0 sec.
user=kar_bon
[2009-10-02 02:08:35]
797*2^712608-1 is not prime.  Res64: 8E989C7D36590006  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 02:09:28]
759*2^712604-1 is not prime.  Res64: A1E50F20A53DEE9D  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 02:09:48]
641*2^712610-1 is not prime.  Res64: EF8E30186EF522B8  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 02:10:36]
713*2^712610-1 is not prime.  Res64: E24F5DF2AB671523  Time : 2045.0 sec.
user=kar_bon
[2009-10-02 02:15:30]
665*2^712612-1 is not prime.  Res64: 502BD3C222D4C5A6  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 02:15:55]
765*2^712605-1 is not prime.  Res64: 91F890090B310EDC  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 02:16:00]
777*2^712605-1 is not prime.  Res64: 3EBFF6CE1650A12B  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 02:16:02]
635*2^712606-1 is not prime.  Res64: 2A0330F2F0618E00  Time : 3403.0 sec.
user=vaughan
[2009-10-02 02:17:48]
635*2^712620-1 is not prime.  Res64: DCAFF55A148F82F9  Time : 772.0 sec.
user=kar_bon
[2009-10-02 02:19:54]
741*2^712613-1 is not prime.  Res64: 103A217FE4B5E32F  Time : 2040.0 sec.
user=vaughan
[2009-10-02 02:20:07]
669*2^712620-1 is not prime.  Res64: 6680ABDCB406712D  Time : 855.0 sec.
user=vaughan
[2009-10-02 02:20:10]
675*2^712620-1 is not prime.  Res64: 71710F896E5993E6  Time : 742.0 sec.
user=gd_barnes
[2009-10-02 02:20:49]
755*2^712606-1 is not prime.  Res64: 71452838D4D4F5D7  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 02:21:08]
795*2^712613-1 is not prime.  Res64: 9447FE42E1D5808C  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 02:21:57]
611*2^712614-1 is not prime.  Res64: CEBBA24566DC1C6A  Time : 2044.0 sec.
user=kar_bon
[2009-10-02 02:26:51]
705*2^712614-1 is not prime.  Res64: 7768A1B0286F596A  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 02:27:16]
735*2^712607-1 is not prime.  Res64: 7E301055361EA09C  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 02:27:20]
799*2^712607-1 is not prime.  Res64: 172266D6C734DB74  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 02:27:23]
789*2^712608-1 is not prime.  Res64: 3D87FCCF85CFE5EF  Time : 3403.0 sec.
user=vaughan
[2009-10-02 02:30:14]
799*2^712621-1 is not prime.  Res64: 1A24B2E1DDE50A81  Time : 747.0 sec.
user=kar_bon
[2009-10-02 02:31:14]
761*2^712302-1 is not prime.  Res64: 050F3E9F02E8E91F  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 02:32:10]
765*2^712609-1 is not prime.  Res64: F37F726FD8F9AA9D  Time : 3407.0 sec.
user=vaughan
[2009-10-02 02:32:20]
665*2^712622-1 is not prime.  Res64: 703713D52AA43A92  Time : 731.0 sec.
user=kar_bon
[2009-10-02 02:32:28]
773*2^712616-1 is not prime.  Res64: A7FE00480C9378F9  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 02:33:18]
691*2^712617-1 is not prime.  Res64: FEFFF02E9F66DF28  Time : 2044.0 sec.
user=vaughan
[2009-10-02 02:33:48]
617*2^712622-1 is not prime.  Res64: 4284D5EA952420E7  Time : 822.0 sec.
user=kar_bon
[2009-10-02 02:38:12]
717*2^712617-1 is not prime.  Res64: 3C4A42A4661AED18  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 02:38:36]
705*2^712612-1 is not prime.  Res64: 03D860311886A568  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 02:38:42]
631*2^712613-1 is not prime.  Res64: 1D8E46F3BB369F60  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 02:38:44]
699*2^712613-1 is not prime.  Res64: 2F8413C34F59186E  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 02:42:34]
719*2^712620-1 is not prime.  Res64: E790D7C5BAA7B3C9  Time : 2039.0 sec.
user=vaughan
[2009-10-02 02:43:11]
663*2^712624-1 is not prime.  Res64: 78843DC8A4F05E6F  Time : 777.0 sec.
user=gd_barnes
[2009-10-02 02:43:32]
769*2^712613-1 is not prime.  Res64: F56AA8359E41227F  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 02:43:48]
737*2^712620-1 is not prime.  Res64: 29520D82BAEF9240  Time : 2040.0 sec.
user=kar_bon
[2009-10-02 02:44:40]
779*2^712620-1 is not prime.  Res64: 3414D63E4D64A91E  Time : 2044.0 sec.
user=vaughan
[2009-10-02 02:44:45]
627*2^712625-1 is not prime.  Res64: 7B9D862BE57F9680  Time : 745.0 sec.
user=vaughan
[2009-10-02 02:48:22]
775*2^712625-1 is not prime.  Res64: 0DC35167742E4368  Time : 874.0 sec.
user=kar_bon
[2009-10-02 02:49:35]
795*2^712620-1 is not prime.  Res64: 7ED35C49F8D5D74E  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 02:49:56]
765*2^712614-1 is not prime.  Res64: 66BD6E949848B5B4  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 02:50:04]
795*2^712614-1 is not prime.  Res64: B6DFF9631062A321  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 02:50:05]
633*2^712615-1 is not prime.  Res64: A6C43209B9836E17  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 02:53:54]
603*2^712622-1 is not prime.  Res64: 7CDBAD971E487B05  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 02:54:52]
755*2^712616-1 is not prime.  Res64: 30ED9B0321F9B73F  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 02:55:09]
791*2^712622-1 is not prime.  Res64: 621615AD90E81081  Time : 2041.0 sec.
user=vaughan
[2009-10-02 02:56:01]
755*2^712626-1 is not prime.  Res64: E9079808C5F3F35A  Time : 771.0 sec.
user=kar_bon
[2009-10-02 02:56:01]
747*2^712309-1 is not prime.  Res64: F632717E9379FFF0  Time : 2044.0 sec.
user=vaughan
[2009-10-02 02:57:06]
621*2^712627-1 is not prime.  Res64: 0592C177BBC5499D  Time : 741.0 sec.
user=kar_bon
[2009-10-02 03:00:57]
663*2^712623-1 is not prime.  Res64: E5861F4C8842D89A  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 03:01:17]
601*2^712619-1 is not prime.  Res64: 136AE4C85F77EFC9  Time : 3401.0 sec.
user=gd_barnes
[2009-10-02 03:01:24]
663*2^712619-1 is not prime.  Res64: 421D193F50F2EA2A  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 03:01:26]
775*2^712619-1 is not prime.  Res64: BA821EB527901E8A  Time : 3404.0 sec.
user=vaughan
[2009-10-02 03:03:48]
635*2^712316-1 is not prime.  Res64: E27616C71B9282BF  Time : 926.0 sec.
user=kar_bon
[2009-10-02 03:05:14]
719*2^712624-1 is not prime.  Res64: B39DD0211929FDB1  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 03:06:14]
711*2^712305-1 is not prime.  Res64: 89B22BBF6F32D070  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 03:06:29]
699*2^712625-1 is not prime.  Res64: 895A716D518130CB  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 03:07:22]
717*2^712625-1 is not prime.  Res64: 9E1BBF4DCF839644  Time : 2044.0 sec.
user=vaughan
[2009-10-02 03:08:44]
795*2^712629-1 is not prime.  Res64: 724AF74E52BEBF82  Time : 764.0 sec.
user=vaughan
[2009-10-02 03:09:28]
681*2^712630-1 is not prime.  Res64: DDB41B967B9263FB  Time : 742.0 sec.
user=kar_bon
[2009-10-02 03:12:18]
735*2^712313-1 is not prime.  Res64: DA29163F1178F7DF  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 03:12:37]
609*2^712621-1 is not prime.  Res64: 05748DC81A633486  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 03:12:46]
619*2^712621-1 is not prime.  Res64: AFEA53F0CD61158C  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 03:12:47]
717*2^712621-1 is not prime.  Res64: A1C822A4F609F18A  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 03:16:34]
711*2^712626-1 is not prime.  Res64: B086A1786B35AE1C  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 03:17:34]
713*2^712622-1 is not prime.  Res64: B7E11DC8EBBFBF5D  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 03:17:48]
777*2^712626-1 is not prime.  Res64: 5501540434018807  Time : 2040.0 sec.
user=vaughan
[2009-10-02 03:18:05]
711*2^712631-1 is not prime.  Res64: D51681B0028C43F2  Time : 858.0 sec.
user=kar_bon
[2009-10-02 03:18:44]
609*2^712627-1 is not prime.  Res64: 0A3EC001C61AA0FF  Time : 2045.0 sec.
user=vaughan
[2009-10-02 03:22:03]
647*2^712636-1 is not prime.  Res64: 338D8B4072F1367A  Time : 756.0 sec.
user=vaughan
[2009-10-02 03:22:09]
629*2^712636-1 is not prime.  Res64: F3FBAC85D5D166D3  Time : 806.0 sec.
user=kar_bon
[2009-10-02 03:23:40]
631*2^712627-1 is not prime.  Res64: 2DF5F999E1C5D8EC  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 03:23:58]
691*2^712623-1 is not prime.  Res64: 467391023CA54A97  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 03:24:06]
709*2^712623-1 is not prime.  Res64: DD3DAB7141D25E1F  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 03:24:07]
769*2^712623-1 is not prime.  Res64: 6CDB1C557E2073A5  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 03:27:53]
759*2^712628-1 is not prime.  Res64: 4F1493DA842DBCC9  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 03:28:56]
765*2^712624-1 is not prime.  Res64: CE3CFEDED08824DC  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 03:29:08]
625*2^712629-1 is not prime.  Res64: 72B116D12ED75ED5  Time : 2040.0 sec.
user=kar_bon
[2009-10-02 03:30:05]
663*2^712630-1 is not prime.  Res64: B85B7F56DEC80361  Time : 2044.0 sec.
user=vaughan
[2009-10-02 03:32:40]
765*2^712638-1 is not prime.  Res64: 3C2D01CB290FAFE4  Time : 875.0 sec.
user=vaughan
[2009-10-02 03:34:33]
639*2^712639-1 is not prime.  Res64: C6838E2B24897D6E  Time : 751.0 sec.
user=vaughan
[2009-10-02 03:34:57]
645*2^712639-1 is not prime.  Res64: D771039200A39229  Time : 768.0 sec.
user=kar_bon
[2009-10-02 03:35:01]
603*2^712319-1 is not prime.  Res64: 482AE2A2AE4F78F6  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 03:35:18]
789*2^712625-1 is not prime.  Res64: BCCCA7509AE35B8B  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 03:35:28]
647*2^712626-1 is not prime.  Res64: 00D22841CF6955F9  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 03:35:28]
641*2^712626-1 is not prime.  Res64: C6C5246FB4EA67B4  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 03:39:14]
763*2^712631-1 is not prime.  Res64: 0AF74AB14E26516C  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 03:40:16]
767*2^712626-1 is not prime.  Res64: AC2E5FF03E7078F9  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 03:40:28]
739*2^712635-1 is not prime.  Res64: 374767CB183D13AA  Time : 2039.0 sec.
user=kar_bon
[2009-10-02 03:41:26]
615*2^712636-1 is not prime.  Res64: B46E223934BCE405  Time : 2044.0 sec.
user=kar_bon
[2009-10-02 03:46:24]
689*2^712636-1 is not prime.  Res64: EEE451A5400252DD  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 03:46:39]
649*2^712627-1 is not prime.  Res64: DC494597046DF215  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 03:46:48]
707*2^712628-1 is not prime.  Res64: 9B80D4A077EFC68E  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 03:46:48]
665*2^712628-1 is not prime.  Res64: CD88C971728309B9  Time : 3405.0 sec.
user=vaughan
[2009-10-02 03:47:06]
731*2^712642-1 is not prime.  Res64: 4B58DD00B44E9CE0  Time : 754.0 sec.
user=vaughan
[2009-10-02 03:47:52]
645*2^712642-1 is not prime.  Res64: CB4BA6D12CB0BBFA  Time : 912.0 sec.
user=vaughan
[2009-10-02 03:48:15]
737*2^712642-1 is not prime.  Res64: D0266930BD27A05D  Time : 799.0 sec.
user=kar_bon
[2009-10-02 03:50:33]
705*2^712322-1 is not prime.  Res64: 297F19BD36396917  Time : 2039.0 sec.
user=gd_barnes
[2009-10-02 03:51:38]
621*2^712629-1 is not prime.  Res64: 95350965764A2970  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 03:51:50]
711*2^712638-1 is not prime.  Res64: 906169DFD1047046  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 03:52:47]
633*2^712639-1 is not prime.  Res64: B085136C1B212534  Time : 2044.0 sec.
user=kar_bon
[2009-10-02 03:57:46]
661*2^712639-1 is not prime.  Res64: E8B0E449C694FF9F  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 03:57:59]
687*2^712630-1 is not prime.  Res64: 40F024CCA349EB0F  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 03:58:09]
783*2^712630-1 is not prime.  Res64: A47DAE337F663465  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 03:58:10]
669*2^712631-1 is not prime.  Res64: 8B8ECD2808AF8DD6  Time : 3404.0 sec.
user=vaughan
[2009-10-02 03:59:33]
757*2^712645-1 is not prime.  Res64: 462116C45195276F  Time : 748.0 sec.
user=vaughan
[2009-10-02 04:01:08]
615*2^712647-1 is not prime.  Res64: 4109F3E6B4D4B417  Time : 774.0 sec.
user=kar_bon
[2009-10-02 04:01:53]
741*2^712325-1 is not prime.  Res64: 4BFD4B837BE3AF2B  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 04:02:59]
633*2^712635-1 is not prime.  Res64: F7F50CE9F8193880  Time : 3405.0 sec.
user=vaughan
[2009-10-02 04:03:00]
627*2^712646-1 is not prime.  Res64: 3CB38189ABA1E21C  Time : 909.0 sec.
user=kar_bon
[2009-10-02 04:03:10]
753*2^712640-1 is not prime.  Res64: 237A2A19F524A8BA  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 04:04:10]
795*2^712640-1 is not prime.  Res64: 7FF71D043AC13834  Time : 2045.0 sec.
user=kar_bon
[2009-10-02 04:09:08]
741*2^712642-1 is not prime.  Res64: E7E292FCBA4761EC  Time : 2047.0 sec.
user=gd_barnes
[2009-10-02 04:09:20]
607*2^712637-1 is not prime.  Res64: B8259090FFAD6BC9  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 04:09:30]
645*2^712637-1 is not prime.  Res64: 68B9DA56CCC8B214  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 04:09:30]
697*2^712637-1 is not prime.  Res64: C33165A2DC76F9AF  Time : 3404.0 sec.
user=vaughan
[2009-10-02 04:12:02]
711*2^712650-1 is not prime.  Res64: 2AAA029E75545A56  Time : 750.0 sec.
user=kar_bon
[2009-10-02 04:13:12]
777*2^712330-1 is not prime.  Res64: 40F2AA8ED08A99AF  Time : 2039.0 sec.
user=vaughan
[2009-10-02 04:14:12]
713*2^712650-1 is not prime.  Res64: A9600231963AFA7A  Time : 785.0 sec.
user=gd_barnes
[2009-10-02 04:14:21]
729*2^712637-1 is not prime.  Res64: 498FFF4209DD96D1  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 04:14:30]
639*2^712644-1 is not prime.  Res64: 024205CE6B28FD1C  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 04:15:31]
663*2^712644-1 is not prime.  Res64: 4C202F96CA8B2FB5  Time : 2045.0 sec.
user=vaughan
[2009-10-02 04:18:12]
755*2^712650-1 is not prime.  Res64: 2E6F479185C068B8  Time : 913.0 sec.
user=kar_bon
[2009-10-02 04:20:29]
753*2^712644-1 is not prime.  Res64: 99097EF9E030E3EC  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 04:20:40]
609*2^712640-1 is not prime.  Res64: C424DE25D6599FD7  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 04:20:51]
677*2^712640-1 is not prime.  Res64: FA71317DEB785DB6  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 04:20:51]
633*2^712640-1 is not prime.  Res64: C3C4C0E0AE0B1F66  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 04:24:33]
703*2^712647-1 is not prime.  Res64: E3A3CDF93320F651  Time : 2040.0 sec.
user=vaughan
[2009-10-02 04:24:39]
745*2^712653-1 is not prime.  Res64: B172C0EEDBED1DF5  Time : 758.0 sec.
user=gd_barnes
[2009-10-02 04:25:43]
725*2^712640-1 is not prime.  Res64: 73D6A73D0EFC93C2  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 04:25:50]
751*2^712647-1 is not prime.  Res64: BFEB54F87ABEBEC0  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 04:26:53]
657*2^712648-1 is not prime.  Res64: C4B251FEFE39D77B  Time : 2046.0 sec.
user=vaughan
[2009-10-02 04:27:09]
765*2^712653-1 is not prime.  Res64: AB5A8829A606F524  Time : 778.0 sec.
user=kar_bon
[2009-10-02 04:31:51]
775*2^712649-1 is not prime.  Res64: 4B606CD1D9D8710C  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 04:32:01]
679*2^712643-1 is not prime.  Res64: 34CC1D3A7E5B2AAC  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 04:32:11]
703*2^712643-1 is not prime.  Res64: D18EE1825CC2C561  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 04:32:12]
605*2^712644-1 is not prime.  Res64: 09E2CDB2454F4CC4  Time : 3404.0 sec.
user=vaughan
[2009-10-02 04:33:55]
769*2^712339-1 is not prime.  Res64: D03CCC000CD09C10  Time : 943.0 sec.
user=kar_bon
[2009-10-02 04:35:52]
735*2^712650-1 is not prime.  Res64: 9FF5E0183FF52C06  Time : 2039.0 sec.
user=gd_barnes
[2009-10-02 04:37:03]
615*2^712644-1 is not prime.  Res64: CAFD6BAB62D89A71  Time : 3407.0 sec.
user=vaughan
[2009-10-02 04:37:09]
661*2^712655-1 is not prime.  Res64: D324695A70264686  Time : 752.0 sec.
user=kar_bon
[2009-10-02 04:37:11]
741*2^712651-1 is not prime.  Res64: 738170364ADFDAE0  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 04:38:14]
629*2^712652-1 is not prime.  Res64: 4988A5FA6941CDA6  Time : 2045.0 sec.
user=vaughan
[2009-10-02 04:40:14]
687*2^712657-1 is not prime.  Res64: EE4A20D7FD61B8CA  Time : 785.0 sec.
user=kar_bon
[2009-10-02 04:43:13]
657*2^712652-1 is not prime.  Res64: 967079A5F6A26809  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 04:43:21]
717*2^712645-1 is not prime.  Res64: 676E008427DCCCE8  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 04:43:32]
721*2^712645-1 is not prime.  Res64: EC024AE9AD7CBB5B  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 04:43:32]
741*2^712645-1 is not prime.  Res64: 7C44F0476EF0AF70  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 04:47:13]
759*2^712653-1 is not prime.  Res64: 603D820218021266  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 04:48:25]
623*2^712334-1 is not prime.  Res64: 90A658DA11E13C77  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 04:48:32]
781*2^712653-1 is not prime.  Res64: BA5359E29C9BDD4D  Time : 2042.0 sec.
user=vaughan
[2009-10-02 04:48:33]
615*2^712659-1 is not prime.  Res64: 57AFCFA17164437A  Time : 878.0 sec.
user=kar_bon
[2009-10-02 04:49:35]
605*2^712654-1 is not prime.  Res64: DC55F2A12B22149A  Time : 2044.0 sec.
user=vaughan
[2009-10-02 04:49:44]
751*2^712659-1 is not prime.  Res64: DC7FE166C05CD19E  Time : 756.0 sec.
user=vaughan
[2009-10-02 04:53:18]
675*2^712660-1 is not prime.  Res64: DD3CBDF3B23DA2A3  Time : 785.0 sec.
user=kar_bon
[2009-10-02 04:54:34]
651*2^712654-1 is not prime.  Res64: 5A4BB702EF3BFCDA  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 04:54:42]
665*2^712650-1 is not prime.  Res64: 7F48C4B0E8E0F1F9  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 04:54:53]
707*2^712650-1 is not prime.  Res64: F1EA2B1A0B728102  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 04:54:54]
695*2^712650-1 is not prime.  Res64: 752C0870AF85640C  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 04:58:32]
645*2^712655-1 is not prime.  Res64: 7550B41C105B2F3E  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 04:59:46]
681*2^712651-1 is not prime.  Res64: 0647401FBECB1A89  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 04:59:52]
725*2^712656-1 is not prime.  Res64: 3A162AD62B3AA74D  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 05:00:58]
615*2^712657-1 is not prime.  Res64: 5EFAEB3BA507481F  Time : 2045.0 sec.
user=vaughan
[2009-10-02 05:02:19]
605*2^712664-1 is not prime.  Res64: 570DB58803B01D4B  Time : 755.0 sec.
user=vaughan
[2009-10-02 05:03:43]
675*2^712663-1 is not prime.  Res64: 94E7D29CBF647AE9  Time : 910.0 sec.
user=kar_bon
[2009-10-02 05:05:56]
693*2^712344-1 is not prime.  Res64: 69A73173552C870B  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 05:06:03]
687*2^712652-1 is not prime.  Res64: 0418208A4D89C7D6  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 05:06:13]
721*2^712653-1 is not prime.  Res64: FC66EA4DF48DA38E  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 05:06:14]
755*2^712652-1 is not prime.  Res64: 171171AD20B4ECFE  Time : 3405.0 sec.
user=vaughan
[2009-10-02 05:06:24]
629*2^712664-1 is not prime.  Res64: 2D0392A70FB35FAC  Time : 786.0 sec.
user=kar_bon
[2009-10-02 05:09:52]
621*2^712659-1 is not prime.  Res64: 6B3949157EF2842A  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 05:11:08]
769*2^712653-1 is not prime.  Res64: 6BC1B439861BBDC3  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 05:11:12]
793*2^712659-1 is not prime.  Res64: E3A53A3A06C376A9  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 05:12:19]
623*2^712660-1 is not prime.  Res64: 0F44D656653B6D8B  Time : 2045.0 sec.
user=vaughan
[2009-10-02 05:14:52]
633*2^712667-1 is not prime.  Res64: 5DCDFE9070B87509  Time : 753.0 sec.
user=kar_bon
[2009-10-02 05:17:18]
765*2^712347-1 is not prime.  Res64: FA446A008250470B  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 05:17:23]
723*2^712654-1 is not prime.  Res64: 56320FBDC4B89D89  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 05:17:34]
731*2^712654-1 is not prime.  Res64: 06AC88856B9CD0B7  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 05:17:35]
601*2^712655-1 is not prime.  Res64: 3B82C9EF1EBC0750  Time : 3404.0 sec.
user=vaughan
[2009-10-02 05:19:24]
601*2^712669-1 is not prime.  Res64: 6F23B0251B84DA69  Time : 780.0 sec.
user=vaughan
[2009-10-02 05:19:34]
645*2^712667-1 is not prime.  Res64: E51AE0DD616C8FAB  Time : 952.0 sec.
user=kar_bon
[2009-10-02 05:21:13]
621*2^712662-1 is not prime.  Res64: 25C594D28B4B6AB1  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 05:22:29]
695*2^712656-1 is not prime.  Res64: 7B4535F4D302A1F5  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 05:22:32]
737*2^712662-1 is not prime.  Res64: 9AFF1FF785FAF809  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 05:23:40]
693*2^712663-1 is not prime.  Res64: 5BCDBC8177FD3E97  Time : 2045.0 sec.
user=vaughan
[2009-10-02 05:27:41]
759*2^712669-1 is not prime.  Res64: C69F849738694FA9  Time : 769.0 sec.
user=kar_bon
[2009-10-02 05:28:39]
657*2^712664-1 is not prime.  Res64: 9C331DACD654F180  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 05:28:44]
603*2^712658-1 is not prime.  Res64: 86E2A08E60D7EFCB  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 05:28:54]
623*2^712658-1 is not prime.  Res64: 9DA302D511116D82  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 05:28:55]
687*2^712658-1 is not prime.  Res64: BD29470E921CB9EE  Time : 3403.0 sec.
user=vaughan
[2009-10-02 05:32:31]
669*2^712671-1 is not prime.  Res64: 1921151979CFB97F  Time : 787.0 sec.
user=kar_bon
[2009-10-02 05:32:33]
777*2^712665-1 is not prime.  Res64: D01537C2D5D161DD  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 05:33:50]
703*2^712659-1 is not prime.  Res64: FB99B8C110B6CFDC  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 05:33:53]
677*2^712666-1 is not prime.  Res64: 52E4B96681F9BA48  Time : 2041.0 sec.
user=vaughan
[2009-10-02 05:34:56]
735*2^712671-1 is not prime.  Res64: 47D426EB0D94CB61  Time : 923.0 sec.
user=kar_bon
[2009-10-02 05:35:02]
755*2^712666-1 is not prime.  Res64: 9231FCED7F3E4AE4  Time : 2045.0 sec.
user=vaughan
[2009-10-02 05:39:59]
723*2^712672-1 is not prime.  Res64: BA0C80F1296FCE77  Time : 739.0 sec.
user=kar_bon
[2009-10-02 05:40:01]
673*2^712667-1 is not prime.  Res64: 97DA04EFC079CBFF  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 05:40:04]
699*2^712660-1 is not prime.  Res64: 20A46528D02B2254  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 05:40:15]
675*2^712661-1 is not prime.  Res64: 47981848146B30AC  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 05:40:17]
775*2^712661-1 is not prime.  Res64: D5F5FEA92DDF2D94  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 05:43:52]
621*2^712354-1 is not prime.  Res64: 02FA4287A8E9E6FA  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 05:45:11]
711*2^712662-1 is not prime.  Res64: D1CF5924E70247AB  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 05:45:13]
685*2^712669-1 is not prime.  Res64: CD06ED91CCCEA66F  Time : 2041.0 sec.
user=vaughan
[2009-10-02 05:45:40]
789*2^712673-1 is not prime.  Res64: 90E6E0515AFB30D7  Time : 789.0 sec.
user=kar_bon
[2009-10-02 05:46:24]
751*2^712669-1 is not prime.  Res64: 0386F4FA5647D5C1  Time : 2045.0 sec.
user=vaughan
[2009-10-02 05:50:03]
737*2^712674-1 is not prime.  Res64: E918ACD0F7ACA42B  Time : 907.0 sec.
user=kar_bon
[2009-10-02 05:51:23]
615*2^712670-1 is not prime.  Res64: 628CB8D56B056FA9  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 05:51:25]
759*2^712664-1 is not prime.  Res64: 066FCB2F3DB47F81  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 05:51:36]
767*2^712664-1 is not prime.  Res64: 7BB94EE7891C4D23  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 05:51:38]
699*2^712665-1 is not prime.  Res64: 5394A958A330D8B5  Time : 3404.0 sec.
user=vaughan
[2009-10-02 05:52:23]
603*2^712675-1 is not prime.  Res64: 90A8A32AFB609CA7  Time : 744.0 sec.
user=kar_bon
[2009-10-02 05:55:12]
741*2^712671-1 is not prime.  Res64: F729B5845B698DA0  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 05:56:32]
633*2^712666-1 is not prime.  Res64: 4A1BC000C3CE4B70  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 05:56:34]
763*2^712671-1 is not prime.  Res64: CF9876E8DDCB49D2  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 05:57:46]
719*2^712672-1 is not prime.  Res64: 493BE60BCA5CE41C  Time : 2046.0 sec.
user=vaughan
[2009-10-02 05:59:12]
655*2^712677-1 is not prime.  Res64: 40C5F89996514607  Time : 812.0 sec.
user=kar_bon
[2009-10-02 06:02:44]
747*2^712672-1 is not prime.  Res64: F0DBD0DA5CD3F028  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 06:02:45]
735*2^712667-1 is not prime.  Res64: F7A1FF9218CF3BE3  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 06:02:56]
725*2^712668-1 is not prime.  Res64: 3347031507875606  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 06:02:59]
797*2^712668-1 is not prime.  Res64: 8CA903255E15FD22  Time : 3405.0 sec.
user=vaughan
[2009-10-02 06:04:47]
647*2^712678-1 is not prime.  Res64: 962EC5E52018CD3C  Time : 744.0 sec.
user=vaughan
[2009-10-02 06:05:32]
679*2^712363-1 is not prime.  Res64: B05E46710A937AD5  Time : 929.0 sec.
user=kar_bon
[2009-10-02 06:06:33]
657*2^712674-1 is not prime.  Res64: D0DE2EE027024B1B  Time : 2040.0 sec.
user=gd_barnes
[2009-10-02 06:07:53]
661*2^712669-1 is not prime.  Res64: CD8AC197BEAAD126  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 06:07:54]
695*2^712674-1 is not prime.  Res64: 16FF22AD8B9B6AF8  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 06:09:07]
609*2^712360-1 is not prime.  Res64: DD1FCBBF811A8693  Time : 2045.0 sec.
user=vaughan
[2009-10-02 06:13:01]
609*2^712680-1 is not prime.  Res64: 071DBC1FEBFD3131  Time : 829.0 sec.
user=gd_barnes
[2009-10-02 06:14:11]
671*2^712670-1 is not prime.  Res64: 6F6B09C02DCDAC3E  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 06:14:11]
649*2^712675-1 is not prime.  Res64: 94DB0F4BADEE02EA  Time : 2050.0 sec.
user=gd_barnes
[2009-10-02 06:14:19]
625*2^712671-1 is not prime.  Res64: 6968C49B9635D6AF  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 06:14:22]
651*2^712671-1 is not prime.  Res64: 1524D60962F83BED  Time : 3407.0 sec.
user=vaughan
[2009-10-02 06:17:19]
797*2^712680-1 is not prime.  Res64: EF155E5C52EDB760  Time : 753.0 sec.
user=kar_bon
[2009-10-02 06:18:19]
699*2^712676-1 is not prime.  Res64: F183055EAB72D6A1  Time : 2067.0 sec.
user=gd_barnes
[2009-10-02 06:19:15]
619*2^712357-1 is not prime.  Res64: E00B31007AE73ACD  Time : 3406.0 sec.
user=vaughan
[2009-10-02 06:20:09]
619*2^712681-1 is not prime.  Res64: C701CAD78FD75947  Time : 877.0 sec.
user=kar_bon
[2009-10-02 06:20:24]
789*2^712676-1 is not prime.  Res64: 01E800B55BA26088  Time : 2111.0 sec.
user=kar_bon
[2009-10-02 06:23:40]
667*2^712677-1 is not prime.  Res64: E7B132CE206D3D09  Time : 2237.0 sec.
user=gd_barnes
[2009-10-02 06:25:26]
797*2^712672-1 is not prime.  Res64: 3CCA58146A6FB2B8  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 06:25:38]
727*2^712673-1 is not prime.  Res64: 960D58F6B4BC5DD3  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 06:25:41]
769*2^712673-1 is not prime.  Res64: 82C8E1E37024C348  Time : 3406.0 sec.
user=vaughan
[2009-10-02 06:26:06]
741*2^712682-1 is not prime.  Res64: 368A6A4BED275143  Time : 786.0 sec.
user=vaughan
[2009-10-02 06:29:39]
781*2^712683-1 is not prime.  Res64: 7623E3486263FB6F  Time : 741.0 sec.
user=gd_barnes
[2009-10-02 06:30:36]
683*2^712674-1 is not prime.  Res64: 10D991543FFD27DE  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 06:31:49]
765*2^712677-1 is not prime.  Res64: D72B46017A039008  Time : 2427.0 sec.
user=kar_bon
[2009-10-02 06:32:35]
773*2^712678-1 is not prime.  Res64: A58D9893D5EC3226  Time : 2243.0 sec.
user=kar_bon
[2009-10-02 06:34:57]
735*2^712679-1 is not prime.  Res64: C7D0E41C3DF4CFFA  Time : 2303.0 sec.
user=vaughan
[2009-10-02 06:35:25]
723*2^712684-1 is not prime.  Res64: 6C687076BBFD003C  Time : 916.0 sec.
user=gd_barnes
[2009-10-02 06:36:46]
603*2^712676-1 is not prime.  Res64: F2C84E07C6BCDCC2  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 06:36:59]
623*2^712676-1 is not prime.  Res64: 8BABE281E32CC689  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 06:37:02]
683*2^712676-1 is not prime.  Res64: 88253F2B3423A482  Time : 3405.0 sec.
user=vaughan
[2009-10-02 06:39:45]
721*2^712685-1 is not prime.  Res64: C171E37934FC3F66  Time : 819.0 sec.
user=gd_barnes
[2009-10-02 06:41:56]
759*2^712676-1 is not prime.  Res64: A966879B4F971AB7  Time : 3405.0 sec.
user=vaughan
[2009-10-02 06:42:06]
723*2^712371-1 is not prime.  Res64: 1804638854535FC7  Time : 747.0 sec.
user=gd_barnes
[2009-10-02 06:48:07]
603*2^712678-1 is not prime.  Res64: 00DB3F603A1CD098  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 06:48:19]
605*2^712678-1 is not prime.  Res64: F414A7D21DC42A05  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 06:48:22]
617*2^712678-1 is not prime.  Res64: 14FD0E82E8900B0D  Time : 3404.0 sec.
user=vaughan
[2009-10-02 06:51:06]
685*2^712687-1 is not prime.  Res64: 0DCCEAE2BDED8C62  Time : 941.0 sec.
user=gd_barnes
[2009-10-02 06:53:17]
609*2^712679-1 is not prime.  Res64: 0FECE79C41BE63E7  Time : 3405.0 sec.
user=vaughan
[2009-10-02 06:53:26]
775*2^712373-1 is not prime.  Res64: A70814F82A283AB2  Time : 821.0 sec.
user=vaughan
[2009-10-02 06:54:27]
797*2^712688-1 is not prime.  Res64: B702995C2FDBF111  Time : 741.0 sec.
user=gd_barnes
[2009-10-02 06:59:27]
707*2^712680-1 is not prime.  Res64: 5163EA920BB495D4  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 06:59:41]
735*2^712680-1 is not prime.  Res64: 532271FE2653B7F7  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 06:59:43]
795*2^712680-1 is not prime.  Res64: 423EEFD75D16A581  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 07:04:38]
769*2^712681-1 is not prime.  Res64: 115C01A2F7E38F11  Time : 3405.0 sec.
user=vaughan
[2009-10-02 07:06:35]
743*2^712690-1 is not prime.  Res64: EC7AF6419419B500  Time : 930.0 sec.
user=vaughan
[2009-10-02 07:06:51]
733*2^712691-1 is not prime.  Res64: B66F87A0DC5A0BEC  Time : 745.0 sec.
user=vaughan
[2009-10-02 07:07:09]
615*2^712691-1 is not prime.  Res64: E656677AF4D7F04A  Time : 823.0 sec.
user=gd_barnes
[2009-10-02 07:10:47]
639*2^712368-1 is not prime.  Res64: 86DF28E3C55D932C  Time : 3397.0 sec.
user=gd_barnes
[2009-10-02 07:11:01]
723*2^712683-1 is not prime.  Res64: 86742E3935CBFD36  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 07:11:03]
739*2^712683-1 is not prime.  Res64: 7BA16A09300DE36B  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 07:15:59]
707*2^712684-1 is not prime.  Res64: A775A340876A3D33  Time : 3404.0 sec.
user=vaughan
[2009-10-02 07:19:18]
651*2^712693-1 is not prime.  Res64: A8F2AD55B6718719  Time : 747.0 sec.
user=vaughan
[2009-10-02 07:20:59]
605*2^712694-1 is not prime.  Res64: 5F94AA9319070320  Time : 830.0 sec.
user=vaughan
[2009-10-02 07:22:06]
609*2^712693-1 is not prime.  Res64: DF2DFF2A1278A97C  Time : 931.0 sec.
user=gd_barnes
[2009-10-02 07:22:08]
649*2^712685-1 is not prime.  Res64: 288DB405E99889F8  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 07:22:22]
657*2^712685-1 is not prime.  Res64: 2649EE50541D1E09  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 07:22:24]
669*2^712685-1 is not prime.  Res64: A38AD98C53986B41  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 07:27:20]
707*2^712686-1 is not prime.  Res64: 42FE8F20D40D7123  Time : 3405.0 sec.
user=vaughan
[2009-10-02 07:31:34]
765*2^712383-1 is not prime.  Res64: 5A3CD96CECBA8CA9  Time : 736.0 sec.
user=gd_barnes
[2009-10-02 07:33:29]
729*2^712687-1 is not prime.  Res64: 9E5A04B6E7EE8F5B  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 07:33:42]
603*2^712688-1 is not prime.  Res64: A4C98B5B0F3CD4C1  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 07:33:45]
713*2^712688-1 is not prime.  Res64: 39552F9D623BE8A0  Time : 3404.0 sec.
user=vaughan
[2009-10-02 07:34:46]
625*2^712695-1 is not prime.  Res64: 07D0BA5F0EB3BE98  Time : 827.0 sec.
user=vaughan
[2009-10-02 07:37:54]
723*2^712695-1 is not prime.  Res64: 518D10C83E220144  Time : 948.0 sec.
user=gd_barnes
[2009-10-02 07:38:41]
753*2^712688-1 is not prime.  Res64: 89F75E749CE7FD20  Time : 3405.0 sec.
user=vaughan
[2009-10-02 07:43:53]
717*2^712386-1 is not prime.  Res64: 20B45D4C3DE8F27A  Time : 739.0 sec.
user=gd_barnes
[2009-10-02 07:44:48]
709*2^712689-1 is not prime.  Res64: 154B04AFF33368BF  Time : 3401.0 sec.
user=gd_barnes
[2009-10-02 07:45:03]
603*2^712690-1 is not prime.  Res64: 9CBA4416F682CB04  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 07:45:06]
687*2^712690-1 is not prime.  Res64: BD4558ABFF7DE3FA  Time : 3404.0 sec.
user=vaughan
[2009-10-02 07:48:31]
621*2^712698-1 is not prime.  Res64: BEBA27086F632A07  Time : 825.0 sec.
user=gd_barnes
[2009-10-02 07:50:02]
615*2^712376-1 is not prime.  Res64: 8BE981729D653FB2  Time : 3405.0 sec.
user=vaughan
[2009-10-02 07:53:49]
663*2^712698-1 is not prime.  Res64: 5AC83A12AC91FBC2  Time : 955.0 sec.
user=vaughan
[2009-10-02 07:56:08]
657*2^712389-1 is not prime.  Res64: 5DE9A95F42FB8C8A  Time : 735.0 sec.
user=gd_barnes
[2009-10-02 07:56:09]
629*2^712692-1 is not prime.  Res64: 6695A993018C30B4  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 07:56:24]
675*2^712692-1 is not prime.  Res64: 14C26E3C611CD912  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 07:56:27]
689*2^712692-1 is not prime.  Res64: 558F9DD3B4B427B7  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 08:01:23]
741*2^712379-1 is not prime.  Res64: 1D98F7932A205DBA  Time : 3405.0 sec.
user=vaughan
[2009-10-02 08:02:12]
635*2^712700-1 is not prime.  Res64: 55951AA0ACD33942  Time : 821.0 sec.
user=gd_barnes
[2009-10-02 08:07:30]
641*2^712694-1 is not prime.  Res64: 8BC415B22981DFC3  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 08:07:45]
671*2^712694-1 is not prime.  Res64: DDD5B62B08D2F6E7  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 08:07:47]
683*2^712694-1 is not prime.  Res64: DE35BA61FD0EEB16  Time : 3404.0 sec.
user=vaughan
[2009-10-02 08:08:25]
621*2^712701-1 is not prime.  Res64: ACE5150329A83857  Time : 737.0 sec.
user=vaughan
[2009-10-02 08:09:35]
723*2^712392-1 is not prime.  Res64: C7B722AB0F430009  Time : 946.0 sec.
user=gd_barnes
[2009-10-02 08:12:44]
773*2^712694-1 is not prime.  Res64: F1C86E7447FA1C13  Time : 3405.0 sec.
user=vaughan
[2009-10-02 08:15:50]
755*2^712702-1 is not prime.  Res64: 8AFE5C77123F3A56  Time : 818.0 sec.
user=gd_barnes
[2009-10-02 08:18:50]
789*2^712695-1 is not prime.  Res64: 2D797E655396DAF7  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 08:19:06]
793*2^712695-1 is not prime.  Res64: CA833251F53BD148  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 08:19:08]
623*2^712696-1 is not prime.  Res64: 978FAD37A23CA59F  Time : 3404.0 sec.
user=vaughan
[2009-10-02 08:20:46]
633*2^712703-1 is not prime.  Res64: 41CFA57BB49882E5  Time : 741.0 sec.
user=gd_barnes
[2009-10-02 08:24:06]
693*2^712696-1 is not prime.  Res64: B634FCF3F2A6EAB9  Time : 3407.0 sec.
user=vaughan
[2009-10-02 08:25:13]
759*2^712704-1 is not prime.  Res64: 19DE7972B3E0E395  Time : 938.0 sec.
user=vaughan
[2009-10-02 08:29:28]
607*2^712705-1 is not prime.  Res64: 539350376E782ABA  Time : 818.0 sec.
user=gd_barnes
[2009-10-02 08:30:12]
691*2^712697-1 is not prime.  Res64: 7125EF549B0B6AFE  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 08:30:28]
735*2^712697-1 is not prime.  Res64: 534920D6B3A4AF98  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 08:30:28]
759*2^712697-1 is not prime.  Res64: 68C238304C7EAEEE  Time : 3403.0 sec.
user=vaughan
[2009-10-02 08:33:11]
675*2^712705-1 is not prime.  Res64: 4DB9DB85B24CBDA8  Time : 746.0 sec.
user=gd_barnes
[2009-10-02 08:35:27]
731*2^712698-1 is not prime.  Res64: CE037B39DC5DC5B5  Time : 3406.0 sec.
user=vaughan
[2009-10-02 08:40:36]
701*2^712706-1 is not prime.  Res64: 2A0AF9651086BA8B  Time : 923.0 sec.
user=gd_barnes
[2009-10-02 08:41:32]
663*2^712699-1 is not prime.  Res64: 0E49DD35D7882441  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 08:41:48]
685*2^712699-1 is not prime.  Res64: 01B9E2E8F33374EA  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 08:41:49]
765*2^712699-1 is not prime.  Res64: C00E71454DAAAF20  Time : 3403.0 sec.
user=vaughan
[2009-10-02 08:43:08]
711*2^712706-1 is not prime.  Res64: F299B0C1FF69C420  Time : 820.0 sec.
user=vaughan
[2009-10-02 08:45:34]
781*2^712707-1 is not prime.  Res64: 8F1A2B883162C4F1  Time : 744.0 sec.
user=gd_barnes
[2009-10-02 08:46:48]
677*2^712700-1 is not prime.  Res64: 65825BE3AAF69B7F  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 08:52:53]
639*2^712701-1 is not prime.  Res64: 6EB5223CE7821EF2  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 08:53:10]
751*2^712701-1 is not prime.  Res64: 755FEE20D59F9550  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 08:53:11]
789*2^712701-1 is not prime.  Res64: 2C4881A506067031  Time : 3405.0 sec.
user=vaughan
[2009-10-02 08:56:10]
655*2^712709-1 is not prime.  Res64: 717099D97F60F12B  Time : 934.0 sec.
user=vaughan
[2009-10-02 08:56:40]
765*2^712710-1 is not prime.  Res64: 1B8559C479474AEA  Time : 812.0 sec.
user=vaughan
[2009-10-02 08:57:53]
777*2^712710-1 is not prime.  Res64: 04C6E509DE9E77C6  Time : 740.0 sec.
user=gd_barnes
[2009-10-02 08:58:10]
681*2^712702-1 is not prime.  Res64: D07A5A713C499B99  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 09:04:14]
651*2^712394-1 is not prime.  Res64: 60AC6051A117F64C  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 09:04:31]
609*2^712703-1 is not prime.  Res64: 8FF427CA21D2B8C4  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 09:04:32]
619*2^712703-1 is not prime.  Res64: 0B1DC1AF3C1B7553  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 09:09:32]
795*2^712704-1 is not prime.  Res64: 14B69B8273C3CA89  Time : 3408.0 sec.
user=vaughan
[2009-10-02 09:10:16]
759*2^712711-1 is not prime.  Res64: 3DBFEA048AB5BD14  Time : 744.0 sec.
user=vaughan
[2009-10-02 09:10:18]
745*2^712711-1 is not prime.  Res64: BC716B6F19E24F25  Time : 818.0 sec.
user=vaughan
[2009-10-02 09:11:35]
741*2^712711-1 is not prime.  Res64: 7DEC7BAD7B8FB545  Time : 925.0 sec.
user=gd_barnes
[2009-10-02 09:15:35]
625*2^712705-1 is not prime.  Res64: 6BEAC231EA594E88  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 09:15:52]
645*2^712705-1 is not prime.  Res64: 6D3BAE1D123DCAE9  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 09:15:54]
651*2^712705-1 is not prime.  Res64: BC6A196EC21B1D8B  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 09:20:53]
635*2^712706-1 is not prime.  Res64: F5E87C11E26C3D48  Time : 3407.0 sec.
user=vaughan
[2009-10-02 09:22:41]
759*2^712713-1 is not prime.  Res64: E98AB06E6CD09057  Time : 745.0 sec.
user=vaughan
[2009-10-02 09:23:54]
605*2^712714-1 is not prime.  Res64: E7FA716FC9D20991  Time : 816.0 sec.
user=gd_barnes
[2009-10-02 09:26:56]
615*2^712401-1 is not prime.  Res64: C59816337659766A  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 09:27:13]
713*2^712706-1 is not prime.  Res64: E4644943A195B6F5  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 09:27:16]
741*2^712706-1 is not prime.  Res64: 709E42622815ED2C  Time : 3408.0 sec.
user=vaughan
[2009-10-02 09:27:20]
663*2^712714-1 is not prime.  Res64: ABE58DC0A2F6D98B  Time : 945.0 sec.
user=gd_barnes
[2009-10-02 09:32:15]
743*2^712708-1 is not prime.  Res64: 73E59A3F0254BC30  Time : 3408.0 sec.
user=vaughan
[2009-10-02 09:35:03]
669*2^712715-1 is not prime.  Res64: 77EBDD452858236A  Time : 742.0 sec.
user=vaughan
[2009-10-02 09:37:35]
705*2^712715-1 is not prime.  Res64: B58A94DACECB7028  Time : 822.0 sec.
user=gd_barnes
[2009-10-02 09:38:17]
747*2^712709-1 is not prime.  Res64: 544277AA09A67753  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 09:38:35]
771*2^712709-1 is not prime.  Res64: C9BD8C0E8AD258BE  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 09:38:36]
713*2^712710-1 is not prime.  Res64: 05E90ACBC92175F4  Time : 3407.0 sec.
user=vaughan
[2009-10-02 09:43:09]
615*2^712717-1 is not prime.  Res64: 2F27872B24DEC51E  Time : 950.0 sec.
user=gd_barnes
[2009-10-02 09:43:37]
783*2^712710-1 is not prime.  Res64: F9D57BBFA377E248  Time : 3409.0 sec.
user=vaughan
[2009-10-02 09:47:20]
741*2^712717-1 is not prime.  Res64: 53A2DC8E052C6408  Time : 737.0 sec.
user=gd_barnes
[2009-10-02 09:49:38]
615*2^712711-1 is not prime.  Res64: 6175A6882DBB8769  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 09:49:56]
639*2^712711-1 is not prime.  Res64: 26C4F9077CC09E14  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 09:49:58]
705*2^712711-1 is not prime.  Res64: 1365D78F196C4276  Time : 3408.0 sec.
user=vaughan
[2009-10-02 09:51:17]
759*2^712717-1 is not prime.  Res64: 640A45A9059D9E07  Time : 823.0 sec.
user=gd_barnes
[2009-10-02 09:54:58]
657*2^712712-1 is not prime.  Res64: BE78F858FF9CB1F1  Time : 3408.0 sec.
user=vaughan
[2009-10-02 09:58:59]
677*2^712720-1 is not prime.  Res64: BF7FD9E54CE64E6F  Time : 950.0 sec.
user=vaughan
[2009-10-02 09:59:56]
631*2^712721-1 is not prime.  Res64: 833230AA767F95EE  Time : 756.0 sec.
user=gd_barnes
[2009-10-02 10:00:59]
669*2^712712-1 is not prime.  Res64: 19824F0E17F288E2  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 10:01:17]
699*2^712712-1 is not prime.  Res64: 9138610C044D5E91  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 10:01:20]
797*2^712712-1 is not prime.  Res64: B898DD06B22DAFBB  Time : 3408.0 sec.
user=vaughan
[2009-10-02 10:04:33]
621*2^712722-1 is not prime.  Res64: 094E3407E76857F6  Time : 797.0 sec.
user=gd_barnes
[2009-10-02 10:06:20]
669*2^712713-1 is not prime.  Res64: B62D93DF1253B3A7  Time : 3408.0 sec.
user=gd_barnes
[2009-10-02 10:12:20]
665*2^712714-1 is not prime.  Res64: A8C5C02A03ADA298  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 10:12:38]
677*2^712714-1 is not prime.  Res64: 09B76679D1CB74D3  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 10:12:42]
731*2^712714-1 is not prime.  Res64: 811C3B14F173B643  Time : 3408.0 sec.
user=vaughan
[2009-10-02 10:12:45]
703*2^712723-1 is not prime.  Res64: 41213700EB3F2BAB  Time : 769.0 sec.
user=vaughan
[2009-10-02 10:14:32]
699*2^712723-1 is not prime.  Res64: 5A55CFB52F953AC6  Time : 933.0 sec.
user=gd_barnes
[2009-10-02 10:17:42]
791*2^712714-1 is not prime.  Res64: 7199A37F0E67DDDB  Time : 3410.0 sec.
user=vaughan
[2009-10-02 10:17:56]
651*2^712077-1 is not prime.  Res64: 2886F3C7DBAC5414  Time : 803.0 sec.
user=gd_barnes
[2009-10-02 10:23:42]
781*2^712715-1 is not prime.  Res64: 3F8AE4CB30538AC0  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 10:23:59]
635*2^712716-1 is not prime.  Res64: EBCECBA6F0C623BE  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 10:24:03]
759*2^712716-1 is not prime.  Res64: 80B046E571C38DA0  Time : 3408.0 sec.
user=vaughan
[2009-10-02 10:25:19]
707*2^712416-1 is not prime.  Res64: A571556031F5A3AE  Time : 754.0 sec.
user=gd_barnes
[2009-10-02 10:29:04]
621*2^712717-1 is not prime.  Res64: 6808C337172EBC76  Time : 3409.0 sec.
user=vaughan
[2009-10-02 10:30:30]
737*2^712416-1 is not prime.  Res64: 9BE7CDF4F3FBE2DD  Time : 958.0 sec.
user=vaughan
[2009-10-02 10:31:11]
771*2^712417-1 is not prime.  Res64: 9A2B3A7758067583  Time : 795.0 sec.
user=gd_barnes
[2009-10-02 10:35:02]
605*2^712718-1 is not prime.  Res64: 14B38CA0B19B3D1E  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 10:35:21]
713*2^712718-1 is not prime.  Res64: B267297DA470A491  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 10:35:25]
743*2^712718-1 is not prime.  Res64: B9276EF759ED3EA4  Time : 3409.0 sec.
user=vaughan
[2009-10-02 10:38:00]
705*2^712419-1 is not prime.  Res64: 09529B5A66A0EA73  Time : 761.0 sec.
user=gd_barnes
[2009-10-02 10:40:25]
735*2^712720-1 is not prime.  Res64: 5D4EB147985D0DE4  Time : 3408.0 sec.
user=vaughan
[2009-10-02 10:44:37]
665*2^712420-1 is not prime.  Res64: E4D506FD4B2EDD2F  Time : 806.0 sec.
user=gd_barnes
[2009-10-02 10:46:24]
747*2^712721-1 is not prime.  Res64: 7E53C4E4D19A68F8  Time : 3406.0 sec.
user=vaughan
[2009-10-02 10:46:25]
793*2^712419-1 is not prime.  Res64: A2B901C9DAA8E101  Time : 956.0 sec.
user=gd_barnes
[2009-10-02 10:46:42]
777*2^712721-1 is not prime.  Res64: 590A4CDD588D2BD9  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 10:46:46]
781*2^712721-1 is not prime.  Res64: 1152478F4A09A2B5  Time : 3409.0 sec.
user=vaughan
[2009-10-02 10:50:38]
615*2^712422-1 is not prime.  Res64: F02D35ABACDA4BB5  Time : 759.0 sec.
user=gd_barnes
[2009-10-02 10:51:47]
695*2^712722-1 is not prime.  Res64: 26C8E56EE1CD0DB8  Time : 3409.0 sec.
user=gd_barnes
[2009-10-02 10:52:12]
747*2^712081-1 is not prime.  Res64: 0128A3A9972E2409  Time : 2752.0 sec.
user=vaughan
[2009-10-02 10:52:12]
735*2^712085-1 is not prime.  Res64: 8B5BC96912425328  Time : 2482.0 sec.
user=gd_barnes
[2009-10-02 10:52:12]
771*2^712415-1 is not prime.  Res64: 79DF440B7CBE316E  Time : 2392.0 sec.
user=gd_barnes
[2009-10-02 10:52:13]
609*2^712416-1 is not prime.  Res64: 84CA9646914A040D  Time : 2375.0 sec.
user=gd_barnes
[2009-10-02 10:52:13]
635*2^712416-1 is not prime.  Res64: 568F3457618F51CF  Time : 2371.0 sec.
user=gd_barnes
[2009-10-02 10:52:14]
685*2^712417-1 is not prime.  Res64: CDC9FB1003967EFB  Time : 2073.0 sec.
user=vaughan
[2009-10-02 10:52:14]
623*2^712418-1 is not prime.  Res64: EDBB2DF1E4AD45E1  Time : 1730.0 sec.
user=gd_barnes
[2009-10-02 10:52:15]
671*2^712418-1 is not prime.  Res64: 1644827222173884  Time : 1713.0 sec.
user=gd_barnes
[2009-10-02 10:52:15]
773*2^712418-1 is not prime.  Res64: 3D973BDB0700F2F6  Time : 1696.0 sec.
user=gd_barnes
[2009-10-02 10:52:16]
639*2^712419-1 is not prime.  Res64: 4068EC9098ED294D  Time : 1693.0 sec.
user=gd_barnes
[2009-10-02 10:52:16]
741*2^712419-1 is not prime.  Res64: 8B6AEC8D3306D9CD  Time : 1393.0 sec.
user=gd_barnes
[2009-10-02 10:52:18]
695*2^712420-1 is not prime.  Res64: D25F26797C26063E  Time : 1036.0 sec.
user=gd_barnes
[2009-10-02 10:52:18]
631*2^712421-1 is not prime.  Res64: 4947C4B1B1016628  Time : 1017.0 sec.
user=gd_barnes
[2009-10-02 10:52:19]
691*2^712421-1 is not prime.  Res64: A57E3F4C3C518FF5  Time : 1014.0 sec.
user=vaughan
[2009-10-02 10:52:20]
735*2^712421-1 is not prime.  Res64: 4BAC6B406B7B8113  Time : 981.0 sec.
user=gd_barnes
[2009-10-02 10:52:21]
677*2^712422-1 is not prime.  Res64: 66622AADE51F330A  Time : 716.0 sec.
user=vaughan
[2009-10-02 10:52:21]
717*2^712422-1 is not prime.  Res64: 6BF490E93D8177BB  Time : 464.0 sec.
user=gd_barnes
[2009-10-02 10:52:21]
741*2^712422-1 is not prime.  Res64: 4AAD3D25ACF6BB48  Time : 357.0 sec.
user=vaughan
[2009-10-02 10:52:22]
747*2^712422-1 is not prime.  Res64: 6055D32AEDFE0B69  Time : 357.0 sec.
user=gd_barnes
[2009-10-02 10:52:22]
777*2^712422-1 is not prime.  Res64: D17098A274E0E6F5  Time : 340.0 sec.
user=gd_barnes
[2009-10-02 10:57:45]
705*2^712723-1 is not prime.  Res64: 064FD1A23734F79F  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 10:58:04]
769*2^712723-1 is not prime.  Res64: 01B3B5D382D659F4  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 10:58:07]
789*2^712723-1 is not prime.  Res64: 7BCAB96EAB80D6ED  Time : 3407.0 sec.
user=vaughan
[2009-10-02 11:03:18]
629*2^712428-1 is not prime.  Res64: E0A521A41994EB5D  Time : 760.0 sec.
user=vaughan
[2009-10-02 11:10:59]
783*2^712746-1 is not prime.  Res64: 81302F27F8FBE97E  Time : 789.0 sec.
user=vaughan
[2009-10-02 11:16:04]
759*2^712747-1 is not prime.  Res64: 79D8977CC3847804  Time : 766.0 sec.
user=vaughan
[2009-10-02 11:18:09]
703*2^712747-1 is not prime.  Res64: EF7D0E198A4A1D80  Time : 955.0 sec.
user=vaughan
[2009-10-02 11:24:11]
707*2^712748-1 is not prime.  Res64: E75E4DD83904B6DD  Time : 792.0 sec.
user=vaughan
[2009-10-02 11:28:42]
649*2^712749-1 is not prime.  Res64: E03C5A200A208AC8  Time : 758.0 sec.
user=vaughan
[2009-10-02 11:34:00]
675*2^712749-1 is not prime.  Res64: 31105BDF1D51F750  Time : 951.0 sec.
user=vaughan
[2009-10-02 11:37:18]
685*2^712435-1 is not prime.  Res64: 679BCA96002305DE  Time : 787.0 sec.
user=vaughan
[2009-10-02 11:41:25]
657*2^712750-1 is not prime.  Res64: C99FA73C24320D9B  Time : 763.0 sec.
user=gd_barnes
[2009-10-02 11:43:30]
783*2^712423-1 is not prime.  Res64: C9240AC1ACAE8E1C  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 11:48:32]
765*2^712746-1 is not prime.  Res64: 6577452309D502EE  Time : 3405.0 sec.
user=vaughan
[2009-10-02 11:49:44]
743*2^712436-1 is not prime.  Res64: FF87CB675B0E6EE0  Time : 944.0 sec.
user=vaughan
[2009-10-02 11:50:52]
615*2^712752-1 is not prime.  Res64: 8CC49B7A69FBB4BA  Time : 815.0 sec.
user=vaughan
[2009-10-02 11:54:04]
669*2^712752-1 is not prime.  Res64: 838611890CB01106  Time : 759.0 sec.
user=gd_barnes
[2009-10-02 11:54:27]
771*2^712429-1 is not prime.  Res64: 5A44C6719F32B6A0  Time : 3402.0 sec.
user=gd_barnes
[2009-10-02 11:54:47]
603*2^712747-1 is not prime.  Res64: C1E85F916679AD38  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 11:54:51]
619*2^712747-1 is not prime.  Res64: FDA184769C4A28EB  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 11:59:53]
735*2^712747-1 is not prime.  Res64: 5E0D5FA48BC0232E  Time : 3406.0 sec.
user=vaughan
[2009-10-02 12:03:53]
729*2^712753-1 is not prime.  Res64: 881E7AA17CEEE217  Time : 781.0 sec.
user=gd_barnes
[2009-10-02 12:05:48]
619*2^712433-1 is not prime.  Res64: FF426E5FA28C7114  Time : 3402.0 sec.
user=vaughan
[2009-10-02 12:06:06]
685*2^712753-1 is not prime.  Res64: 4E2E9FE8DA643FE0  Time : 983.0 sec.
user=gd_barnes
[2009-10-02 12:06:08]
793*2^712747-1 is not prime.  Res64: 904485578EC436F5  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 12:06:12]
629*2^712748-1 is not prime.  Res64: 078F05C79DF02EA3  Time : 3405.0 sec.
user=vaughan
[2009-10-02 12:06:43]
769*2^712753-1 is not prime.  Res64: AA459703DBB716B2  Time : 759.0 sec.
user=gd_barnes
[2009-10-02 12:11:14]
797*2^712748-1 is not prime.  Res64: ADC32FC0CAF5AF24  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 12:17:09]
679*2^712749-1 is not prime.  Res64: 0B6BD03A21DEDB35  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 12:17:30]
711*2^712749-1 is not prime.  Res64: 2D34856A7DE49CF7  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 12:17:33]
745*2^712749-1 is not prime.  Res64: F4F44EDB7925633C  Time : 3404.0 sec.
user=vaughan
[2009-10-02 12:19:34]
601*2^712755-1 is not prime.  Res64: 4DE223939DAA9059  Time : 941.0 sec.
user=gd_barnes
[2009-10-02 12:22:36]
611*2^712750-1 is not prime.  Res64: 3E322DF3CCE9BEF7  Time : 3406.0 sec.
user=vaughan
[2009-10-02 12:25:56]
783*2^712755-1 is not prime.  Res64: 74A5BCF26B6DEAAA  Time : 1153.0 sec.
user=gd_barnes
[2009-10-02 12:28:30]
681*2^712750-1 is not prime.  Res64: DF6FFD6906543589  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 12:28:50]
743*2^712750-1 is not prime.  Res64: 04674B6DA0642A09  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 12:28:54]
783*2^712750-1 is not prime.  Res64: 191EC6E51771B0E6  Time : 3405.0 sec.
user=vaughan
[2009-10-02 12:30:52]
651*2^712755-1 is not prime.  Res64: 5FF18E559A047210  Time : 1487.0 sec.
user=gd_barnes
[2009-10-02 12:33:57]
645*2^712751-1 is not prime.  Res64: 097F9F73FD50400D  Time : 3407.0 sec.
user=vaughan
[2009-10-02 12:34:49]
619*2^712757-1 is not prime.  Res64: 3CD08D4F46904107  Time : 915.0 sec.
user=gd_barnes
[2009-10-02 12:39:51]
693*2^712752-1 is not prime.  Res64: 6405476EE53B044E  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 12:40:11]
723*2^712752-1 is not prime.  Res64: B8A37A483886C949  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 12:40:15]
681*2^712753-1 is not prime.  Res64: 13D63FA1E20F90E7  Time : 3405.0 sec.
user=vaughan
[2009-10-02 12:42:51]
697*2^712757-1 is not prime.  Res64: 8567AA95C1CA4BBE  Time : 1015.0 sec.
user=gd_barnes
[2009-10-02 12:45:18]
713*2^712438-1 is not prime.  Res64: F57875901C75479F  Time : 3406.0 sec.
user=vaughan
[2009-10-02 12:48:44]
645*2^712759-1 is not prime.  Res64: 74F620A430C5DA1A  Time : 1072.0 sec.
user=vaughan
[2009-10-02 12:49:01]
649*2^712759-1 is not prime.  Res64: C108480B2F895D1E  Time : 852.0 sec.
user=gd_barnes
[2009-10-02 12:51:12]
705*2^712754-1 is not prime.  Res64: 620732C119BF5E42  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 12:51:32]
747*2^712754-1 is not prime.  Res64: A9CA50604F12E0E1  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 12:51:37]
773*2^712754-1 is not prime.  Res64: 07ACACDD1572D88C  Time : 3406.0 sec.
user=vaughan
[2009-10-02 12:55:22]
755*2^712760-1 is not prime.  Res64: 8BCBC3F6975B03C0  Time : 752.0 sec.
user=gd_barnes
[2009-10-02 12:56:39]
775*2^712439-1 is not prime.  Res64: 19D8159D2CDCBADE  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 13:02:33]
609*2^712755-1 is not prime.  Res64: DF47ED8A6AEB8289  Time : 3405.0 sec.
user=vaughan
[2009-10-02 13:02:38]
625*2^712761-1 is not prime.  Res64: D5D3301EED9DFE2F  Time : 817.0 sec.
user=gd_barnes
[2009-10-02 13:02:53]
711*2^712755-1 is not prime.  Res64: 8233AF3994086E7A  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 13:02:59]
765*2^712755-1 is not prime.  Res64: 302706063EC523AD  Time : 3407.0 sec.
user=vaughan
[2009-10-02 13:04:15]
731*2^712122-1 is not prime.  Res64: D93BA7D8818BE314  Time : 931.0 sec.
user=vaughan
[2009-10-02 13:07:47]
665*2^712762-1 is not prime.  Res64: B4C14C18E31D9825  Time : 745.0 sec.
user=gd_barnes
[2009-10-02 13:08:01]
609*2^712756-1 is not prime.  Res64: 9B3956911275B443  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 13:13:53]
615*2^712117-1 is not prime.  Res64: BCD7FFDD8FF3CA66  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 13:14:14]
719*2^712756-1 is not prime.  Res64: B03AA76843A2FA2B  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 13:14:19]
607*2^712757-1 is not prime.  Res64: 9697FC2159F46DC5  Time : 3406.0 sec.
user=vaughan
[2009-10-02 13:16:05]
735*2^712762-1 is not prime.  Res64: AF2B315A56D6720D  Time : 807.0 sec.
user=vaughan
[2009-10-02 13:19:19]
663*2^712763-1 is not prime.  Res64: 924B03D5F5D46799  Time : 904.0 sec.
user=gd_barnes
[2009-10-02 13:19:23]
655*2^712757-1 is not prime.  Res64: D1754388BBB97858  Time : 3407.0 sec.
user=vaughan
[2009-10-02 13:20:12]
789*2^712763-1 is not prime.  Res64: 6463431613623D84  Time : 745.0 sec.
user=gd_barnes
[2009-10-02 13:25:14]
759*2^712757-1 is not prime.  Res64: 1E3DB0320F2BEB8F  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 13:25:35]
773*2^712758-1 is not prime.  Res64: F8DFFA3DA291B1DE  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 13:25:40]
795*2^712758-1 is not prime.  Res64: 9EA15670000651F7  Time : 3406.0 sec.
user=vaughan
[2009-10-02 13:29:41]
795*2^712764-1 is not prime.  Res64: 6889198B9CF2C5EB  Time : 816.0 sec.
user=gd_barnes
[2009-10-02 13:30:43]
713*2^712442-1 is not prime.  Res64: B2E021024E71C127  Time : 3406.0 sec.
user=vaughan
[2009-10-02 13:32:26]
675*2^712766-1 is not prime.  Res64: B3A072802D6830C9  Time : 734.0 sec.
user=vaughan
[2009-10-02 13:34:49]
777*2^712765-1 is not prime.  Res64: D105437751E7FDB2  Time : 930.0 sec.
user=gd_barnes
[2009-10-02 13:36:35]
663*2^712759-1 is not prime.  Res64: 3345B20FEBCB757D  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 13:36:56]
759*2^712759-1 is not prime.  Res64: 8796B3DA4C04AB0E  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 13:37:01]
665*2^712760-1 is not prime.  Res64: BAFF01DD83BCED04  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 13:42:05]
609*2^712761-1 is not prime.  Res64: 5A3F66AD9780B295  Time : 3407.0 sec.
user=vaughan
[2009-10-02 13:42:52]
609*2^712767-1 is not prime.  Res64: DA2727F61FF14420  Time : 791.0 sec.
user=vaughan
[2009-10-02 13:44:45]
693*2^712767-1 is not prime.  Res64: 8BC1A26530900024  Time : 739.0 sec.
user=gd_barnes
[2009-10-02 13:47:56]
691*2^712761-1 is not prime.  Res64: B38F4F5374C26B93  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 13:48:18]
709*2^712761-1 is not prime.  Res64: F9EA8B360956B2C8  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 13:48:22]
741*2^712761-1 is not prime.  Res64: 80E9CD8DF321716F  Time : 3406.0 sec.
user=vaughan
[2009-10-02 13:50:09]
769*2^712767-1 is not prime.  Res64: 00885394EAEA15D7  Time : 920.0 sec.
user=gd_barnes
[2009-10-02 13:53:26]
675*2^712762-1 is not prime.  Res64: 3A36CB136331F873  Time : 3408.0 sec.
user=vaughan
[2009-10-02 13:56:08]
691*2^712769-1 is not prime.  Res64: 29E32EC4343BB837  Time : 796.0 sec.
user=vaughan
[2009-10-02 13:57:06]
705*2^712769-1 is not prime.  Res64: A5A7B9DFA9F78809  Time : 741.0 sec.
user=gd_barnes
[2009-10-02 13:59:16]
627*2^712125-1 is not prime.  Res64: 854510A4D8293787  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 13:59:39]
765*2^712762-1 is not prime.  Res64: 773FB3B3FFD9897F  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 13:59:44]
643*2^712763-1 is not prime.  Res64: 05A003A73CA8EEA6  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 14:04:48]
635*2^712764-1 is not prime.  Res64: 6BA6AEC57DAB71D1  Time : 3407.0 sec.
user=vaughan
[2009-10-02 14:05:00]
783*2^712770-1 is not prime.  Res64: 5319CAB08D60F969  Time : 891.0 sec.
user=vaughan
[2009-10-02 14:09:08]
619*2^712771-1 is not prime.  Res64: A7C8FA6DE4FD67C2  Time : 780.0 sec.
user=vaughan
[2009-10-02 14:09:36]
645*2^712771-1 is not prime.  Res64: 6986E7A7ACCB256C  Time : 750.0 sec.
user=gd_barnes
[2009-10-02 14:10:37]
665*2^712128-1 is not prime.  Res64: DA941F9EBF4642DF  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 14:11:00]
705*2^712764-1 is not prime.  Res64: 72B073866045FAFC  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 14:11:06]
765*2^712764-1 is not prime.  Res64: B1DEE1298876AB92  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 14:16:09]
663*2^712766-1 is not prime.  Res64: B8EDF8C7D31DFC96  Time : 3406.0 sec.
user=vaughan
[2009-10-02 14:20:04]
749*2^712772-1 is not prime.  Res64: 08B5014B28AD2B2C  Time : 904.0 sec.
user=gd_barnes
[2009-10-02 14:21:57]
727*2^712453-1 is not prime.  Res64: C35E741B5BFE16B2  Time : 3403.0 sec.
user=vaughan
[2009-10-02 14:22:07]
627*2^712773-1 is not prime.  Res64: 29D1E585562433C8  Time : 752.0 sec.
user=vaughan
[2009-10-02 14:22:08]
625*2^712773-1 is not prime.  Res64: 3F8552DEAEC22FDC  Time : 780.0 sec.
user=gd_barnes
[2009-10-02 14:22:22]
693*2^712766-1 is not prime.  Res64: 24EC2CFFBC2E24D2  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 14:22:26]
713*2^712766-1 is not prime.  Res64: F46228E848EDBBE8  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 14:27:31]
625*2^712767-1 is not prime.  Res64: C355655353B6BB2B  Time : 3408.0 sec.
user=gd_barnes
[2009-10-02 14:33:18]
677*2^712768-1 is not prime.  Res64: B6885F5DA431D6EB  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 14:33:43]
705*2^712768-1 is not prime.  Res64: 872245A1B47A81E6  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 14:33:48]
765*2^712768-1 is not prime.  Res64: E85A024F85E8B95C  Time : 3407.0 sec.
user=vaughan
[2009-10-02 14:34:37]
689*2^712776-1 is not prime.  Res64: FE4C1DAA08209D90  Time : 751.0 sec.
user=vaughan
[2009-10-02 14:34:56]
695*2^712776-1 is not prime.  Res64: AB84258CB80F1661  Time : 768.0 sec.
user=vaughan
[2009-10-02 14:34:59]
747*2^712774-1 is not prime.  Res64: 99CD5F865C9453B6  Time : 895.0 sec.
user=gd_barnes
[2009-10-02 14:38:51]
613*2^712455-1 is not prime.  Res64: 4690D7C91827791C  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 14:44:39]
789*2^712769-1 is not prime.  Res64: 0E9C541F89188E81  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 14:45:03]
627*2^712770-1 is not prime.  Res64: 340823D128EC2D49  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 14:45:09]
635*2^712770-1 is not prime.  Res64: 02A87933C071A71A  Time : 3407.0 sec.
user=vaughan
[2009-10-02 14:47:13]
791*2^712778-1 is not prime.  Res64: 52C23AA328E3C2A9  Time : 757.0 sec.
user=vaughan
[2009-10-02 14:48:19]
619*2^712779-1 is not prime.  Res64: 96597A5AE11A89F5  Time : 803.0 sec.
user=gd_barnes
[2009-10-02 14:50:12]
743*2^712456-1 is not prime.  Res64: F9DD97CC02AF7B84  Time : 3406.0 sec.
user=vaughan
[2009-10-02 14:50:34]
663*2^712779-1 is not prime.  Res64: D2D99C1C69B06BF6  Time : 935.0 sec.
user=gd_barnes
[2009-10-02 14:56:00]
679*2^712771-1 is not prime.  Res64: 0B8F16BBCA2788AB  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 14:56:25]
677*2^712772-1 is not prime.  Res64: 784C494A50B7BAA3  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 14:56:30]
735*2^712772-1 is not prime.  Res64: C5FD48CBDC716103  Time : 3406.0 sec.
user=vaughan
[2009-10-02 14:59:30]
609*2^712780-1 is not prime.  Res64: 2D924B2DD458531B  Time : 738.0 sec.
user=vaughan
[2009-10-02 15:00:56]
675*2^712780-1 is not prime.  Res64: FD85669C9463BE1D  Time : 757.0 sec.
user=gd_barnes
[2009-10-02 15:01:33]
633*2^712458-1 is not prime.  Res64: E13A04D018F536F7  Time : 3406.0 sec.
user=vaughan
[2009-10-02 15:05:02]
693*2^712780-1 is not prime.  Res64: 9F800B2EBED286CC  Time : 868.0 sec.
user=gd_barnes
[2009-10-02 15:07:21]
691*2^712773-1 is not prime.  Res64: 28192E2AE409F0C7  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 15:07:46]
635*2^712774-1 is not prime.  Res64: F8B9223964ED4668  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 15:07:52]
665*2^712774-1 is not prime.  Res64: 5173CA4841C29346  Time : 3407.0 sec.
user=vaughan
[2009-10-02 15:11:59]
717*2^712781-1 is not prime.  Res64: 4904247D83F018D8  Time : 750.0 sec.
user=gd_barnes
[2009-10-02 15:12:54]
707*2^712774-1 is not prime.  Res64: BA4002834A0098AC  Time : 3405.0 sec.
user=vaughan
[2009-10-02 15:13:52]
727*2^712781-1 is not prime.  Res64: 8E6A79D450DB99E5  Time : 776.0 sec.
user=gd_barnes
[2009-10-02 15:18:42]
715*2^712775-1 is not prime.  Res64: BAA9B8D157BE9D1F  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 15:19:07]
705*2^712776-1 is not prime.  Res64: CD7953CAD6D1AB7E  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 15:19:12]
723*2^712776-1 is not prime.  Res64: F0CA93E8DD3DAD21  Time : 3406.0 sec.
user=vaughan
[2009-10-02 15:19:41]
777*2^712781-1 is not prime.  Res64: 52552B7FDF58CAA3  Time : 879.0 sec.
user=gd_barnes
[2009-10-02 15:24:16]
759*2^712776-1 is not prime.  Res64: 0ABC0BAB87897306  Time : 3405.0 sec.
user=vaughan
[2009-10-02 15:24:20]
693*2^712782-1 is not prime.  Res64: B5747AB5CE39C666  Time : 742.0 sec.
user=vaughan
[2009-10-02 15:26:41]
603*2^712783-1 is not prime.  Res64: 41888EE70625E0BB  Time : 769.0 sec.
user=gd_barnes
[2009-10-02 15:30:03]
661*2^712777-1 is not prime.  Res64: CB33F954EA4B0F51  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 15:30:28]
699*2^712777-1 is not prime.  Res64: 8695DBC7E8228B45  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 15:30:34]
777*2^712777-1 is not prime.  Res64: E7F7FC868A358A33  Time : 3406.0 sec.
user=vaughan
[2009-10-02 15:35:18]
763*2^712783-1 is not prime.  Res64: 2AB4C0237D6098C1  Time : 937.0 sec.
user=gd_barnes
[2009-10-02 15:35:37]
669*2^712779-1 is not prime.  Res64: 076AE4C2CE37057A  Time : 3406.0 sec.
user=vaughan
[2009-10-02 15:36:53]
665*2^712784-1 is not prime.  Res64: 552422D501311C58  Time : 753.0 sec.
user=vaughan
[2009-10-02 15:39:46]
759*2^712784-1 is not prime.  Res64: 3732F6835CFB312D  Time : 785.0 sec.
user=gd_barnes
[2009-10-02 15:41:24]
739*2^712463-1 is not prime.  Res64: DAEE55ACD7929148  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 15:41:50]
753*2^712779-1 is not prime.  Res64: 8A5D0D2D39757A30  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 15:41:55]
603*2^712780-1 is not prime.  Res64: 7DB005A41E040734  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 15:46:59]
689*2^712780-1 is not prime.  Res64: 1E781BBDF63B7496  Time : 3407.0 sec.
user=vaughan
[2009-10-02 15:49:42]
741*2^712786-1 is not prime.  Res64: D3AA9CEBEBFD3B15  Time : 769.0 sec.
user=vaughan
[2009-10-02 15:50:46]
787*2^712785-1 is not prime.  Res64: 011B446A334AF8E9  Time : 928.0 sec.
user=vaughan
[2009-10-02 15:52:44]
765*2^712786-1 is not prime.  Res64: 61F2337F9B45B580  Time : 779.0 sec.
user=gd_barnes
[2009-10-02 15:52:44]
675*2^712466-1 is not prime.  Res64: 57D7D7F324272A07  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 15:53:10]
743*2^712780-1 is not prime.  Res64: 762C496A477B97BF  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 15:53:16]
785*2^712780-1 is not prime.  Res64: EA2D24285E053770  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 15:58:21]
735*2^712781-1 is not prime.  Res64: 8B225516755E5421  Time : 3409.0 sec.
user=vaughan
[2009-10-02 16:02:08]
775*2^712787-1 is not prime.  Res64: E7803526695CA734  Time : 746.0 sec.
user=gd_barnes
[2009-10-02 16:04:05]
799*2^712781-1 is not prime.  Res64: 3D40F642FA625FAF  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 16:04:31]
793*2^712467-1 is not prime.  Res64: 11B03A318EECFC30  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 16:04:37]
621*2^712782-1 is not prime.  Res64: 5F5DA0172403B60D  Time : 3406.0 sec.
user=vaughan
[2009-10-02 16:05:58]
647*2^712788-1 is not prime.  Res64: 3317AD8462480164  Time : 795.0 sec.
user=vaughan
[2009-10-02 16:06:07]
605*2^712788-1 is not prime.  Res64: 8909990571263EEF  Time : 921.0 sec.
user=kar_bon
[2009-10-02 16:06:35]
753*2^712679-1 is not prime.  Res64: 69528A3C53D84FA2  Time : 36529.0 sec.
user=gd_barnes
[2009-10-02 16:09:41]
717*2^712782-1 is not prime.  Res64: 7EF24E4A02B58707  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 16:09:47]
687*2^712681-1 is not prime.  Res64: 94095B75A606190A  Time : 36195.0 sec.
user=kar_bon
[2009-10-02 16:12:06]
635*2^712682-1 is not prime.  Res64: A053F4ECCA64460F  Time : 36252.0 sec.
user=vaughan
[2009-10-02 16:14:27]
667*2^712789-1 is not prime.  Res64: CD3CE9EC877D1CAB  Time : 739.0 sec.
user=gd_barnes
[2009-10-02 16:15:26]
633*2^712783-1 is not prime.  Res64: C7EFA82F611B1611  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 16:15:52]
679*2^712783-1 is not prime.  Res64: 1FD6B372578190E5  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 16:15:59]
729*2^712783-1 is not prime.  Res64: AF755A49EDC5B230  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 16:18:02]
677*2^712682-1 is not prime.  Res64: 4AB928B6B712E56E  Time : 36535.0 sec.
user=vaughan
[2009-10-02 16:18:39]
675*2^712790-1 is not prime.  Res64: 4A2FAEABCC11712D  Time : 762.0 sec.
user=vaughan
[2009-10-02 16:20:51]
717*2^712790-1 is not prime.  Res64: 4DD50481A8A0E97B  Time : 884.0 sec.
user=gd_barnes
[2009-10-02 16:21:03]
765*2^712783-1 is not prime.  Res64: 1FF51270EC75EED0  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 16:21:17]
699*2^712684-1 is not prime.  Res64: FBDFAC0C0636B77C  Time : 36178.0 sec.
user=kar_bon
[2009-10-02 16:23:43]
743*2^712684-1 is not prime.  Res64: 4DF49C926FE1BDD5  Time : 36199.0 sec.
user=gd_barnes
[2009-10-02 16:26:46]
773*2^712784-1 is not prime.  Res64: C1514A0E4A3504DA  Time : 3403.0 sec.
user=vaughan
[2009-10-02 16:27:08]
775*2^712791-1 is not prime.  Res64: 21C7E037D76631AF  Time : 761.0 sec.
user=gd_barnes
[2009-10-02 16:27:13]
705*2^712785-1 is not prime.  Res64: DA15A33EF5090B2C  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 16:27:19]
717*2^712785-1 is not prime.  Res64: 848B317FD2E22D17  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 16:29:40]
759*2^712684-1 is not prime.  Res64: C9A4EC6F688A72DF  Time : 36360.0 sec.
user=vaughan
[2009-10-02 16:31:52]
651*2^712793-1 is not prime.  Res64: 55754974BEC7CC58  Time : 793.0 sec.
user=gd_barnes
[2009-10-02 16:32:24]
789*2^712785-1 is not prime.  Res64: 9A8BC126AA77B891  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 16:33:04]
625*2^712687-1 is not prime.  Res64: A182F8F74567FB74  Time : 36029.0 sec.
user=kar_bon
[2009-10-02 16:35:46]
673*2^712687-1 is not prime.  Res64: 21F64C1051AF922D  Time : 36049.0 sec.
user=vaughan
[2009-10-02 16:36:48]
697*2^712793-1 is not prime.  Res64: 76CA98011D0A1DC6  Time : 958.0 sec.
user=gd_barnes
[2009-10-02 16:38:08]
783*2^712786-1 is not prime.  Res64: 32612309FDC9FED5  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 16:38:34]
601*2^712787-1 is not prime.  Res64: A31C26946243F8EE  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 16:38:40]
619*2^712787-1 is not prime.  Res64: 13494EB94F49D08B  Time : 3405.0 sec.
user=vaughan
[2009-10-02 16:39:49]
791*2^712794-1 is not prime.  Res64: 1EAADBD30C35F9CA  Time : 761.0 sec.
user=kar_bon
[2009-10-02 16:41:57]
791*2^712790-1 is not prime.  Res64: 5AF2FAEE0AA5316D  Time : 2123.0 sec.
user=gd_barnes
[2009-10-02 16:43:45]
753*2^712787-1 is not prime.  Res64: E4D653E53265FA69  Time : 3406.0 sec.
user=vaughan
[2009-10-02 16:45:10]
621*2^712797-1 is not prime.  Res64: ACB47F90870822C8  Time : 798.0 sec.
user=kar_bon
[2009-10-02 16:45:17]
723*2^712791-1 is not prime.  Res64: 0D853308B11553DB  Time : 2130.0 sec.
user=kar_bon
[2009-10-02 16:48:05]
745*2^712791-1 is not prime.  Res64: A82DC535E3B835AD  Time : 2159.0 sec.
user=gd_barnes
[2009-10-02 16:49:28]
777*2^712788-1 is not prime.  Res64: D33676024429D600  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 16:49:55]
789*2^712788-1 is not prime.  Res64: 19CDEE9DCD087B81  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 16:50:02]
797*2^712788-1 is not prime.  Res64: 790FB36DB4F407AE  Time : 3406.0 sec.
user=vaughan
[2009-10-02 16:52:10]
765*2^712797-1 is not prime.  Res64: 378EC5128F5BC860  Time : 922.0 sec.
user=vaughan
[2009-10-02 16:52:20]
755*2^712798-1 is not prime.  Res64: 050C1A102D89E3B5  Time : 751.0 sec.
user=kar_bon
[2009-10-02 16:53:36]
619*2^712793-1 is not prime.  Res64: 216DBCFE13407A48  Time : 2134.0 sec.
user=gd_barnes
[2009-10-02 16:55:07]
679*2^712475-1 is not prime.  Res64: D9A1F9710ABFA0D4  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 16:56:51]
707*2^712794-1 is not prime.  Res64: F97170D619476B15  Time : 2134.0 sec.
user=vaughan
[2009-10-02 16:58:07]
679*2^712799-1 is not prime.  Res64: 5298B98DD84C15A4  Time : 777.0 sec.
user=kar_bon
[2009-10-02 16:59:38]
645*2^712480-1 is not prime.  Res64: 3166A2DF3E150BDA  Time : 2156.0 sec.
user=gd_barnes
[2009-10-02 17:00:49]
745*2^712789-1 is not prime.  Res64: 9FFBFE9883F671D2  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 17:01:17]
765*2^712789-1 is not prime.  Res64: 0BE44789EE77546D  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 17:01:24]
641*2^712790-1 is not prime.  Res64: CBFE7B40CB039F31  Time : 3407.0 sec.
user=vaughan
[2009-10-02 17:04:45]
665*2^712802-1 is not prime.  Res64: 1CED9EDEC81B4915  Time : 745.0 sec.
user=kar_bon
[2009-10-02 17:05:10]
607*2^712797-1 is not prime.  Res64: C353BE4D12A4974C  Time : 2130.0 sec.
user=gd_barnes
[2009-10-02 17:06:27]
625*2^712791-1 is not prime.  Res64: 494CE7199F761440  Time : 3406.0 sec.
user=vaughan
[2009-10-02 17:06:45]
633*2^712802-1 is not prime.  Res64: C2B866B58AC5577F  Time : 875.0 sec.
user=kar_bon
[2009-10-02 17:08:26]
709*2^712797-1 is not prime.  Res64: 91B4A1E5D3855BFC  Time : 2123.0 sec.
user=vaughan
[2009-10-02 17:10:16]
703*2^712803-1 is not prime.  Res64: 2BB6EEDA0C11E133  Time : 729.0 sec.
user=kar_bon
[2009-10-02 17:11:15]
683*2^712482-1 is not prime.  Res64: 0639F4D7E3960954  Time : 2129.0 sec.
user=kar_bon
[2009-10-02 17:12:07]
691*2^712365-1 is not prime.  Res64: 81CEAB192A0B2922  Time : 40163.0 sec.
user=gd_barnes
[2009-10-02 17:12:11]
793*2^712791-1 is not prime.  Res64: DD57C1F2C8857496  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 17:12:38]
629*2^712792-1 is not prime.  Res64: 697C814AB4C6AD75  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 17:12:44]
677*2^712792-1 is not prime.  Res64: D5E468DE144BE9F2  Time : 3405.0 sec.
user=kar_bon
[2009-10-02 17:16:36]
621*2^712799-1 is not prime.  Res64: AFC17C691C171996  Time : 2079.0 sec.
user=vaughan
[2009-10-02 17:16:37]
793*2^712803-1 is not prime.  Res64: 35E6DD7AD401B553  Time : 712.0 sec.
user=gd_barnes
[2009-10-02 17:17:49]
621*2^712794-1 is not prime.  Res64: F4AB44E365684CEE  Time : 3406.0 sec.
user=vaughan
[2009-10-02 17:19:04]
629*2^712804-1 is not prime.  Res64: 3658D9D7CDDB7514  Time : 739.0 sec.
user=kar_bon
[2009-10-02 17:19:50]
771*2^712799-1 is not prime.  Res64: 5FA9E541F351D0D8  Time : 2073.0 sec.
user=vaughan
[2009-10-02 17:22:07]
663*2^712804-1 is not prime.  Res64: 4D98FC5BDF9ADC86  Time : 711.0 sec.
user=kar_bon
[2009-10-02 17:22:39]
735*2^712483-1 is not prime.  Res64: 34FAA9AE7ED87B37  Time : 2074.0 sec.
user=kar_bon
[2009-10-02 17:23:28]
743*2^712682-1 is not prime.  Res64: AAFAFAF0023E2C78  Time : 40158.0 sec.
user=gd_barnes
[2009-10-02 17:23:31]
723*2^712794-1 is not prime.  Res64: 3E84D9DB28A795F2  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 17:23:58]
645*2^712795-1 is not prime.  Res64: 6B6A6F2E78926519  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 17:24:06]
707*2^712796-1 is not prime.  Res64: 732787EA1D86E81E  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 17:27:58]
705*2^712802-1 is not prime.  Res64: 31C74D420780424E  Time : 2062.0 sec.
user=vaughan
[2009-10-02 17:28:24]
693*2^712806-1 is not prime.  Res64: DCD393E39BF4A83C  Time : 708.0 sec.
user=gd_barnes
[2009-10-02 17:29:11]
625*2^712797-1 is not prime.  Res64: 15EF9E3025360147  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 17:31:12]
615*2^712803-1 is not prime.  Res64: DB28C41618BE9775  Time : 2061.0 sec.
user=vaughan
[2009-10-02 17:32:24]
761*2^712806-1 is not prime.  Res64: 545A60CE60787BDE  Time : 800.0 sec.
user=kar_bon
[2009-10-02 17:33:59]
741*2^712485-1 is not prime.  Res64: FDECD0E653296787  Time : 2061.0 sec.
user=vaughan
[2009-10-02 17:34:46]
759*2^712807-1 is not prime.  Res64: A016DBB07A26B853  Time : 759.0 sec.
user=kar_bon
[2009-10-02 17:34:51]
723*2^712686-1 is not prime.  Res64: 8F0965E74B085079  Time : 39782.0 sec.
user=gd_barnes
[2009-10-02 17:34:51]
651*2^712798-1 is not prime.  Res64: CCCEE25E6F0E1ADC  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 17:35:19]
705*2^712798-1 is not prime.  Res64: F185CBAD46AA8D28  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 17:35:26]
737*2^712798-1 is not prime.  Res64: 49F0D0F6D9D625FE  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 17:39:18]
605*2^712804-1 is not prime.  Res64: 6A2C8E302BA89DFF  Time : 2048.0 sec.
user=gd_barnes
[2009-10-02 17:40:32]
655*2^712799-1 is not prime.  Res64: 63142FF7186C7AEA  Time : 3407.0 sec.
user=vaughan
[2009-10-02 17:40:50]
669*2^712809-1 is not prime.  Res64: 2D0D1031ED37CE75  Time : 746.0 sec.
user=kar_bon
[2009-10-02 17:42:32]
635*2^712804-1 is not prime.  Res64: DC20F3136E367F22  Time : 2047.0 sec.
user=kar_bon
[2009-10-02 17:45:20]
687*2^712804-1 is not prime.  Res64: 0E475E54C43141E9  Time : 2045.0 sec.
user=kar_bon
[2009-10-02 17:46:11]
605*2^712488-1 is not prime.  Res64: B9FBC48C75E10A56  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 17:46:19]
735*2^712800-1 is not prime.  Res64: A2DEA45E175AC185  Time : 3411.0 sec.
user=gd_barnes
[2009-10-02 17:46:41]
625*2^712801-1 is not prime.  Res64: B5C0C1EF512CB123  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 17:46:48]
747*2^712801-1 is not prime.  Res64: 5B5143E62A73A702  Time : 3407.0 sec.
user=vaughan
[2009-10-02 17:46:56]
745*2^712809-1 is not prime.  Res64: FF1B2031A3D61526  Time : 872.0 sec.
user=vaughan
[2009-10-02 17:47:32]
795*2^712809-1 is not prime.  Res64: D30AED5BAE76361B  Time : 766.0 sec.
user=kar_bon
[2009-10-02 17:50:39]
717*2^712805-1 is not prime.  Res64: 7E03152258DE8A4C  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 17:51:53]
735*2^712802-1 is not prime.  Res64: DF69515A5C90E4AD  Time : 3407.0 sec.
user=vaughan
[2009-10-02 17:52:33]
737*2^712812-1 is not prime.  Res64: F7E42E83C843E4E7  Time : 703.0 sec.
user=kar_bon
[2009-10-02 17:53:54]
741*2^712807-1 is not prime.  Res64: 0D20A25A8AB5277A  Time : 2044.0 sec.
user=kar_bon
[2009-10-02 17:56:41]
765*2^712807-1 is not prime.  Res64: 4A37CCE4376A7162  Time : 2043.0 sec.
user=kar_bon
[2009-10-02 17:57:32]
623*2^712808-1 is not prime.  Res64: 32D00B5BD2AC7C4F  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 17:57:33]
709*2^712803-1 is not prime.  Res64: 8939B7A4D78C3B5B  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 17:58:01]
765*2^712803-1 is not prime.  Res64: 5E49F9C2AA8DDEA0  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 17:58:08]
769*2^712803-1 is not prime.  Res64: ADB81F996EFB8891  Time : 3405.0 sec.
user=vaughan
[2009-10-02 17:58:43]
663*2^712814-1 is not prime.  Res64: F779919DFC224C05  Time : 707.0 sec.
user=vaughan
[2009-10-02 17:59:10]
665*2^712814-1 is not prime.  Res64: D8E0B6D1E093491F  Time : 699.0 sec.
user=kar_bon
[2009-10-02 18:02:00]
657*2^712809-1 is not prime.  Res64: A1727E3AB494A965  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 18:03:14]
609*2^712804-1 is not prime.  Res64: 581A1F05422537ED  Time : 3407.0 sec.
user=vaughan
[2009-10-02 18:04:21]
683*2^712814-1 is not prime.  Res64: 62A1E54C1F8CFDF1  Time : 708.0 sec.
user=kar_bon
[2009-10-02 18:05:15]
685*2^712809-1 is not prime.  Res64: 7083D19DE996CD85  Time : 2043.0 sec.
user=kar_bon
[2009-10-02 18:08:02]
747*2^712809-1 is not prime.  Res64: 1900C73A756EF4A9  Time : 2043.0 sec.
user=kar_bon
[2009-10-02 18:08:54]
633*2^712810-1 is not prime.  Res64: D52DAF35DE5336DC  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 18:08:55]
743*2^712804-1 is not prime.  Res64: CA974A977CF1BD51  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 18:09:23]
765*2^712804-1 is not prime.  Res64: 9BB94C3D978EAB27  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 18:09:29]
669*2^712805-1 is not prime.  Res64: D8CD3F1DD804BB1E  Time : 3405.0 sec.
user=vaughan
[2009-10-02 18:11:20]
697*2^712817-1 is not prime.  Res64: 79DE6B0079B382EF  Time : 731.0 sec.
user=vaughan
[2009-10-02 18:11:25]
685*2^712817-1 is not prime.  Res64: DFDDF3B4535383CB  Time : 762.0 sec.
user=kar_bon
[2009-10-02 18:13:21]
715*2^712811-1 is not prime.  Res64: 7A154F4D154B352E  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 18:14:36]
755*2^712806-1 is not prime.  Res64: 87DAC90B2EF388A6  Time : 3407.0 sec.
user=vaughan
[2009-10-02 18:16:04]
641*2^712818-1 is not prime.  Res64: FC827765894533EF  Time : 703.0 sec.
user=kar_bon
[2009-10-02 18:16:35]
753*2^712812-1 is not prime.  Res64: 7203C0F842A81E2E  Time : 2043.0 sec.
user=kar_bon
[2009-10-02 18:19:24]
797*2^712812-1 is not prime.  Res64: A4442819524BD051  Time : 2045.0 sec.
user=kar_bon
[2009-10-02 18:20:14]
615*2^712813-1 is not prime.  Res64: 8425F16A14CD42D0  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 18:20:15]
677*2^712808-1 is not prime.  Res64: 943ABA35BE34D1F4  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 18:20:43]
795*2^712808-1 is not prime.  Res64: E378382A8D8CC1C6  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 18:20:50]
797*2^712808-1 is not prime.  Res64: 32480D2CE56C0327  Time : 3405.0 sec.
user=vaughan
[2009-10-02 18:23:38]
681*2^712819-1 is not prime.  Res64: A94848874185C64B  Time : 738.0 sec.
user=vaughan
[2009-10-02 18:24:23]
693*2^712819-1 is not prime.  Res64: DF49A6712B6C8B03  Time : 779.0 sec.
user=kar_bon
[2009-10-02 18:24:41]
671*2^712814-1 is not prime.  Res64: 94E63C84A8A5AD15  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 18:25:57]
675*2^712809-1 is not prime.  Res64: 1B05497999B94171  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 18:27:56]
609*2^712815-1 is not prime.  Res64: 278C8ED9D37B74CE  Time : 2043.0 sec.
user=vaughan
[2009-10-02 18:28:12]
665*2^712820-1 is not prime.  Res64: D994FBEB50326726  Time : 728.0 sec.
user=kar_bon
[2009-10-02 18:30:45]
685*2^712815-1 is not prime.  Res64: C9572D7EBC089700  Time : 2044.0 sec.
user=kar_bon
[2009-10-02 18:31:34]
693*2^712815-1 is not prime.  Res64: 1A80699B303FE2D4  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 18:31:37]
687*2^712810-1 is not prime.  Res64: 372809A8D79D6C91  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 18:32:05]
619*2^712811-1 is not prime.  Res64: 3845D5FB458DF756  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 18:32:12]
711*2^712811-1 is not prime.  Res64: 0E6F017E11200C6B  Time : 3407.0 sec.
user=vaughan
[2009-10-02 18:35:27]
735*2^712821-1 is not prime.  Res64: 63D1639CA6BC0783  Time : 709.0 sec.
user=kar_bon
[2009-10-02 18:36:02]
617*2^712498-1 is not prime.  Res64: 13FFEBEDB58F0B79  Time : 2042.0 sec.
user=vaughan
[2009-10-02 18:36:37]
751*2^712821-1 is not prime.  Res64: A08FE47D2606FA58  Time : 735.0 sec.
user=gd_barnes
[2009-10-02 18:37:19]
741*2^712811-1 is not prime.  Res64: 3542DC9B8C2365E4  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 18:39:17]
663*2^712818-1 is not prime.  Res64: EDFAC5831C067DBB  Time : 2042.0 sec.
user=vaughan
[2009-10-02 18:39:52]
695*2^712822-1 is not prime.  Res64: AD5EB1CE1F985ACF  Time : 700.0 sec.
user=kar_bon
[2009-10-02 18:42:06]
711*2^712818-1 is not prime.  Res64: 5C691CD56983437C  Time : 2044.0 sec.
user=kar_bon
[2009-10-02 18:42:56]
725*2^712818-1 is not prime.  Res64: 1416C8D3A8B48E43  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 18:42:58]
741*2^712813-1 is not prime.  Res64: EC78F6694BB7DCBF  Time : 3401.0 sec.
user=gd_barnes
[2009-10-02 18:43:27]
617*2^712814-1 is not prime.  Res64: E594494C2AE8D2F5  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 18:43:33]
635*2^712814-1 is not prime.  Res64: 37A102785ACE5D33  Time : 3406.0 sec.
user=vaughan
[2009-10-02 18:47:05]
775*2^712823-1 is not prime.  Res64: AFC469C58A2F9919  Time : 698.0 sec.
user=kar_bon
[2009-10-02 18:47:23]
705*2^712819-1 is not prime.  Res64: 0B727FA95A8AA147  Time : 2043.0 sec.
user=vaughan
[2009-10-02 18:48:26]
623*2^712824-1 is not prime.  Res64: 06ED363FA3EADC23  Time : 710.0 sec.
user=gd_barnes
[2009-10-02 18:48:40]
675*2^712814-1 is not prime.  Res64: 8E937CA3D1912E46  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 18:50:37]
743*2^712820-1 is not prime.  Res64: EDE0280DEBDFEE6D  Time : 2042.0 sec.
user=vaughan
[2009-10-02 18:51:32]
609*2^712825-1 is not prime.  Res64: 673FCD25265C1193  Time : 701.0 sec.
user=kar_bon
[2009-10-02 18:53:27]
759*2^712820-1 is not prime.  Res64: 44F3601C7E1B8DDE  Time : 2044.0 sec.
user=kar_bon
[2009-10-02 18:54:17]
649*2^712821-1 is not prime.  Res64: 5FB814AAF5662B59  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 18:54:19]
723*2^712815-1 is not prime.  Res64: B41634993522E093  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 18:54:47]
677*2^712816-1 is not prime.  Res64: BDB0335821911E9C  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 18:54:55]
675*2^712817-1 is not prime.  Res64: 168DAE5B24F9A66F  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 18:58:43]
617*2^712822-1 is not prime.  Res64: 52F5E9F34F48408C  Time : 2042.0 sec.
user=vaughan
[2009-10-02 18:58:49]
711*2^712826-1 is not prime.  Res64: A422A44475795224  Time : 704.0 sec.
user=gd_barnes
[2009-10-02 19:00:02]
741*2^712817-1 is not prime.  Res64: BC0917A3AC60E7DC  Time : 3408.0 sec.
user=vaughan
[2009-10-02 19:00:32]
797*2^712828-1 is not prime.  Res64: B2E897043A5772D0  Time : 727.0 sec.
user=kar_bon
[2009-10-02 19:01:58]
681*2^712822-1 is not prime.  Res64: BF21AD5A9DE8ECCC  Time : 2043.0 sec.
user=vaughan
[2009-10-02 19:03:16]
789*2^712508-1 is not prime.  Res64: F91713B39A3093F7  Time : 704.0 sec.
user=kar_bon
[2009-10-02 19:04:49]
619*2^712823-1 is not prime.  Res64: 592018F74D4B3AE7  Time : 2044.0 sec.
user=kar_bon
[2009-10-02 19:05:37]
643*2^712823-1 is not prime.  Res64: 81D782193C74EFFF  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 19:05:41]
765*2^712818-1 is not prime.  Res64: 89997C8C8E29AD5C  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 19:06:09]
649*2^712819-1 is not prime.  Res64: 6F50F5555950B6B3  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 19:06:15]
663*2^712819-1 is not prime.  Res64: 3A27B5DE07DE2C80  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 19:10:04]
605*2^712824-1 is not prime.  Res64: 799300DD15F4D4C2  Time : 2042.0 sec.
user=vaughan
[2009-10-02 19:10:48]
707*2^712830-1 is not prime.  Res64: 0C9C57CE79260448  Time : 719.0 sec.
user=gd_barnes
[2009-10-02 19:11:24]
629*2^712820-1 is not prime.  Res64: CD94EAA3189EAEC0  Time : 3408.0 sec.
user=vaughan
[2009-10-02 19:13:11]
603*2^712831-1 is not prime.  Res64: B0DAA5A16AC82433  Time : 760.0 sec.
user=kar_bon
[2009-10-02 19:13:19]
717*2^712504-1 is not prime.  Res64: 44AE1D8BF1A066B1  Time : 2042.0 sec.
user=vaughan
[2009-10-02 19:15:00]
601*2^712511-1 is not prime.  Res64: F0EBE3F3791A642D  Time : 704.0 sec.
user=kar_bon
[2009-10-02 19:16:09]
729*2^712825-1 is not prime.  Res64: C16F060058733FED  Time : 2043.0 sec.
user=kar_bon
[2009-10-02 19:16:58]
603*2^712826-1 is not prime.  Res64: C9B7DF652569E8D5  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 19:17:01]
681*2^712821-1 is not prime.  Res64: 1E119E38F29F50A5  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 19:17:30]
709*2^712821-1 is not prime.  Res64: E4437888AD91414B  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 19:17:37]
727*2^712821-1 is not prime.  Res64: 85684791CD24326D  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 19:21:25]
635*2^712828-1 is not prime.  Res64: DD86801DA2C38B33  Time : 2043.0 sec.
user=vaughan
[2009-10-02 19:22:32]
781*2^712833-1 is not prime.  Res64: CC59229BE5D073DA  Time : 704.0 sec.
user=gd_barnes
[2009-10-02 19:22:44]
755*2^712502-1 is not prime.  Res64: 98893C20B62A608F  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 19:24:40]
645*2^712829-1 is not prime.  Res64: C7093F19C742ED52  Time : 2043.0 sec.
user=vaughan
[2009-10-02 19:25:11]
617*2^712834-1 is not prime.  Res64: C102275528CAA4A4  Time : 720.0 sec.
user=vaughan
[2009-10-02 19:26:40]
791*2^712834-1 is not prime.  Res64: D08747875BD970D9  Time : 700.0 sec.
user=kar_bon
[2009-10-02 19:27:31]
657*2^712829-1 is not prime.  Res64: 1271770429C4ABDC  Time : 2044.0 sec.
user=kar_bon
[2009-10-02 19:28:20]
685*2^712829-1 is not prime.  Res64: C1991ABD016DC400  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 19:28:23]
693*2^712823-1 is not prime.  Res64: 7B09A620BD4664E8  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 19:28:51]
729*2^712823-1 is not prime.  Res64: 40C21B62D702F500  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 19:28:59]
739*2^712823-1 is not prime.  Res64: 79C8638A8F9AA360  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 19:32:46]
681*2^712830-1 is not prime.  Res64: 1ED6AE6BD32C5AD2  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 19:34:06]
705*2^712824-1 is not prime.  Res64: 3A511B406F26B005  Time : 3407.0 sec.
user=vaughan
[2009-10-02 19:34:11]
765*2^712836-1 is not prime.  Res64: F98F37995D2EE52E  Time : 699.0 sec.
user=kar_bon
[2009-10-02 19:36:01]
673*2^712831-1 is not prime.  Res64: 792D01190498869A  Time : 2043.0 sec.
user=vaughan
[2009-10-02 19:37:01]
639*2^712837-1 is not prime.  Res64: 027D534F6DFEB7EB  Time : 710.0 sec.
user=vaughan
[2009-10-02 19:38:16]
771*2^712837-1 is not prime.  Res64: 2900F62979008C9C  Time : 696.0 sec.
user=kar_bon
[2009-10-02 19:38:51]
741*2^712831-1 is not prime.  Res64: DD9C0C15235AF04A  Time : 2043.0 sec.
user=kar_bon
[2009-10-02 19:39:41]
633*2^712832-1 is not prime.  Res64: F7B51E34F3D2EA48  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 19:39:44]
623*2^712826-1 is not prime.  Res64: 83B20A4F7CC42DB8  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 19:40:13]
651*2^712826-1 is not prime.  Res64: F6A842ED5654AC59  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 19:40:19]
683*2^712826-1 is not prime.  Res64: 048611C652DFC31E  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 19:44:06]
607*2^712833-1 is not prime.  Res64: 7DC60691D907D175  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 19:45:27]
615*2^712829-1 is not prime.  Res64: 6B98F4822DFC381C  Time : 3407.0 sec.
user=vaughan
[2009-10-02 19:45:56]
685*2^712839-1 is not prime.  Res64: 71AE58FDEF4AE691  Time : 705.0 sec.
user=kar_bon
[2009-10-02 19:47:22]
621*2^712834-1 is not prime.  Res64: 310F6C8B6B998208  Time : 2044.0 sec.
user=vaughan
[2009-10-02 19:49:24]
735*2^712839-1 is not prime.  Res64: 87FA5F85EDEBE108  Time : 743.0 sec.
user=vaughan
[2009-10-02 19:50:02]
629*2^712840-1 is not prime.  Res64: FB7E48F0D9497872  Time : 706.0 sec.
user=kar_bon
[2009-10-02 19:50:13]
675*2^712512-1 is not prime.  Res64: 0C9EFBD8C2B8315E  Time : 2044.0 sec.
user=kar_bon
[2009-10-02 19:51:02]
609*2^712835-1 is not prime.  Res64: B02753350F036E13  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 19:51:05]
711*2^712829-1 is not prime.  Res64: 00AB08A156B1A27A  Time : 3406.0 sec.
user=gd_barnes
[2009-10-02 19:51:34]
781*2^712829-1 is not prime.  Res64: 0F604919C5459A40  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 19:51:41]
657*2^712830-1 is not prime.  Res64: 1619FADF59E54412  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 19:55:28]
759*2^712836-1 is not prime.  Res64: DE3F095C2DC87098  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 19:56:49]
795*2^712830-1 is not prime.  Res64: C884FFE1F09EC441  Time : 3407.0 sec.
user=vaughan
[2009-10-02 19:57:44]
769*2^712841-1 is not prime.  Res64: CA41BBC74411D436  Time : 708.0 sec.
user=kar_bon
[2009-10-02 19:58:42]
619*2^712837-1 is not prime.  Res64: 5BA79F4692D4F3D5  Time : 2042.0 sec.
user=vaughan
[2009-10-02 20:01:28]
615*2^712843-1 is not prime.  Res64: D5AC31BDFBF5CCDB  Time : 724.0 sec.
user=kar_bon
[2009-10-02 20:01:34]
619*2^712515-1 is not prime.  Res64: 7B11941FFA7289C9  Time : 2043.0 sec.
user=vaughan
[2009-10-02 20:01:43]
675*2^712843-1 is not prime.  Res64: 15217895B7337644  Time : 701.0 sec.
user=kar_bon
[2009-10-02 20:02:23]
605*2^712838-1 is not prime.  Res64: B4EC8C34CB3524D9  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 20:02:26]
677*2^712832-1 is not prime.  Res64: 2ADF49132090DF61  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 20:02:54]
717*2^712832-1 is not prime.  Res64: 8414649D0E3D1684  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 20:03:02]
767*2^712832-1 is not prime.  Res64: 9545EBD7C2CAD025  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 20:06:49]
613*2^712839-1 is not prime.  Res64: AE914FB65F4E5CE0  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 20:08:09]
795*2^712833-1 is not prime.  Res64: 31D53186BDD4EEA6  Time : 3406.0 sec.
user=vaughan
[2009-10-02 20:09:22]
753*2^712844-1 is not prime.  Res64: 6658D2355BF66C05  Time : 698.0 sec.
user=kar_bon
[2009-10-02 20:10:02]
693*2^712839-1 is not prime.  Res64: 4EBC1B56FEDEB3B4  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 20:12:56]
653*2^712840-1 is not prime.  Res64: D498642CEF2469BE  Time : 2045.0 sec.
user=vaughan
[2009-10-02 20:13:18]
649*2^712845-1 is not prime.  Res64: E41A58D414C7012D  Time : 710.0 sec.
user=vaughan
[2009-10-02 20:13:21]
657*2^712846-1 is not prime.  Res64: 3E4E05CE0D88C60B  Time : 698.0 sec.
user=kar_bon
[2009-10-02 20:13:45]
675*2^712840-1 is not prime.  Res64: 0EAA4136549C4542  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 20:13:46]
715*2^712835-1 is not prime.  Res64: 07949DF3C9A7851F  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 20:14:15]
633*2^712836-1 is not prime.  Res64: D60C65EBF9C24F78  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 20:14:24]
699*2^712836-1 is not prime.  Res64: 84FFF66AB28AB5EE  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 20:18:09]
645*2^712841-1 is not prime.  Res64: 72317093E66B006F  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 20:19:31]
783*2^712836-1 is not prime.  Res64: 972045F42816B367  Time : 3407.0 sec.
user=vaughan
[2009-10-02 20:21:17]
729*2^712847-1 is not prime.  Res64: 30E9CFB6B364E86A  Time : 715.0 sec.
user=kar_bon
[2009-10-02 20:21:23]
651*2^712842-1 is not prime.  Res64: E7BE1775B3DAC033  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 20:24:17]
691*2^712843-1 is not prime.  Res64: B66ECF4E16699080  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 20:25:07]
635*2^712838-1 is not prime.  Res64: 6FC6E83CD225176A  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 20:25:07]
723*2^712843-1 is not prime.  Res64: C9F33B03712EB93C  Time : 2045.0 sec.
user=vaughan
[2009-10-02 20:25:08]
797*2^712848-1 is not prime.  Res64: 698EBA45FAE24952  Time : 707.0 sec.
user=gd_barnes
[2009-10-02 20:25:35]
711*2^712838-1 is not prime.  Res64: 719E9576D99ABF5E  Time : 3404.0 sec.
user=vaughan
[2009-10-02 20:25:40]
725*2^712848-1 is not prime.  Res64: AC0DB772F3BDED45  Time : 743.0 sec.
user=gd_barnes
[2009-10-02 20:25:46]
761*2^712838-1 is not prime.  Res64: B0CC9AA2852CDFFC  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 20:29:30]
671*2^712522-1 is not prime.  Res64: D190C5388857DC18  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 20:30:53]
633*2^712839-1 is not prime.  Res64: 0AA0829462F08A7F  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 20:32:43]
639*2^712845-1 is not prime.  Res64: EAE471DE9D1166B3  Time : 2041.0 sec.
user=vaughan
[2009-10-02 20:32:55]
711*2^712850-1 is not prime.  Res64: 0248ECCA43F5E960  Time : 698.0 sec.
user=kar_bon
[2009-10-02 20:35:40]
727*2^712845-1 is not prime.  Res64: E856EB3796937CAA  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 20:36:27]
677*2^712840-1 is not prime.  Res64: 66449ECFC13C103F  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 20:36:28]
615*2^712847-1 is not prime.  Res64: 3630C52C4B0BF828  Time : 2045.0 sec.
user=vaughan
[2009-10-02 20:36:44]
765*2^712852-1 is not prime.  Res64: 3B3655AEB7574C19  Time : 696.0 sec.
user=gd_barnes
[2009-10-02 20:36:56]
797*2^712518-1 is not prime.  Res64: 50675CD62F6769D0  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 20:37:07]
601*2^712841-1 is not prime.  Res64: 6FF37524BD160E14  Time : 3408.0 sec.
user=vaughan
[2009-10-02 20:37:30]
771*2^712853-1 is not prime.  Res64: 66A7928DAFDD3273  Time : 710.0 sec.
user=kar_bon
[2009-10-02 20:40:50]
737*2^712524-1 is not prime.  Res64: 142A280FA056825D  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 20:42:14]
735*2^712841-1 is not prime.  Res64: FCEF8F84917AD2B9  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 20:44:03]
665*2^712848-1 is not prime.  Res64: 040297DAD6F5BDD4  Time : 2041.0 sec.
user=vaughan
[2009-10-02 20:44:33]
695*2^712854-1 is not prime.  Res64: 37452D29E26BFE81  Time : 698.0 sec.
user=kar_bon
[2009-10-02 20:47:02]
669*2^712848-1 is not prime.  Res64: C53574310E804A72  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 20:47:48]
765*2^712843-1 is not prime.  Res64: BDE883FE5249B4F1  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 20:47:49]
759*2^712849-1 is not prime.  Res64: 2532C3B3485441AE  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 20:48:17]
629*2^712844-1 is not prime.  Res64: 821D9423BE6945D8  Time : 3403.0 sec.
user=vaughan
[2009-10-02 20:48:20]
601*2^712855-1 is not prime.  Res64: 414F76A85C9B7998  Time : 696.0 sec.
user=gd_barnes
[2009-10-02 20:48:29]
635*2^712844-1 is not prime.  Res64: BB3AD635638980C8  Time : 3408.0 sec.
user=vaughan
[2009-10-02 20:49:21]
673*2^712855-1 is not prime.  Res64: A80F018933F2DEED  Time : 711.0 sec.
user=kar_bon
[2009-10-02 20:52:11]
635*2^712526-1 is not prime.  Res64: 3A440298E336BF26  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 20:53:36]
719*2^712844-1 is not prime.  Res64: E1EC9A3F2069E662  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 20:55:23]
713*2^712850-1 is not prime.  Res64: 2BB34A962AC40392  Time : 2041.0 sec.
user=vaughan
[2009-10-02 20:56:25]
603*2^712856-1 is not prime.  Res64: 896A71B51730E8F7  Time : 712.0 sec.
user=kar_bon
[2009-10-02 20:58:23]
601*2^712851-1 is not prime.  Res64: 7DD3FD1B0E6C5236  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 20:59:09]
621*2^712847-1 is not prime.  Res64: EA565565B8295934  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 20:59:11]
679*2^712851-1 is not prime.  Res64: E3BBC8BECDF6EA3F  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 20:59:38]
633*2^712847-1 is not prime.  Res64: B301E677E78C1432  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 20:59:49]
669*2^712847-1 is not prime.  Res64: 57C85465530A59DB  Time : 3407.0 sec.
user=vaughan
[2009-10-02 21:00:05]
759*2^712856-1 is not prime.  Res64: 47FCF1DF668D7930  Time : 705.0 sec.
user=vaughan
[2009-10-02 21:01:38]
605*2^712858-1 is not prime.  Res64: 013BD34EC028765F  Time : 737.0 sec.
user=kar_bon
[2009-10-02 21:03:31]
691*2^712527-1 is not prime.  Res64: A566B7F7CC5A2190  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 21:04:58]
705*2^712847-1 is not prime.  Res64: AEC51F8599073B00  Time : 3409.0 sec.
user=kar_bon
[2009-10-02 21:06:44]
683*2^712854-1 is not prime.  Res64: 5B57D6ADF73177D7  Time : 2041.0 sec.
user=vaughan
[2009-10-02 21:08:02]
773*2^712858-1 is not prime.  Res64: 0368FC69A6C267F8  Time : 697.0 sec.
user=kar_bon
[2009-10-02 21:09:44]
707*2^712854-1 is not prime.  Res64: F22D16DEA7CE8807  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 21:10:29]
789*2^712849-1 is not prime.  Res64: 9F79693F353A7814  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 21:10:32]
797*2^712854-1 is not prime.  Res64: 1221636D7A97726C  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 21:10:59]
633*2^712850-1 is not prime.  Res64: BA72D9441898237E  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 21:11:11]
645*2^712850-1 is not prime.  Res64: 17BCCE39218A82AC  Time : 3407.0 sec.
user=vaughan
[2009-10-02 21:11:50]
707*2^712860-1 is not prime.  Res64: D9BA66C5B23C7D68  Time : 705.0 sec.
user=vaughan
[2009-10-02 21:13:37]
601*2^712861-1 is not prime.  Res64: DAC4A067445AD501  Time : 719.0 sec.
user=kar_bon
[2009-10-02 21:14:51]
645*2^712531-1 is not prime.  Res64: 61CB127EC742D804  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 21:16:18]
675*2^712850-1 is not prime.  Res64: 4208934ED2A3605C  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 21:18:04]
741*2^712855-1 is not prime.  Res64: 01B2BE776DD30253  Time : 2041.0 sec.
user=vaughan
[2009-10-02 21:20:04]
645*2^712862-1 is not prime.  Res64: EF38E48CBFAA89F4  Time : 722.0 sec.
user=kar_bon
[2009-10-02 21:21:06]
623*2^712856-1 is not prime.  Res64: FF847985DE930A9E  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 21:21:50]
703*2^712851-1 is not prime.  Res64: 3801A6051FD07B3F  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 21:21:53]
699*2^712856-1 is not prime.  Res64: A93CFE3A91B6C3E5  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 21:22:20]
785*2^712852-1 is not prime.  Res64: FE37005264B37793  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 21:22:32]
789*2^712853-1 is not prime.  Res64: BC427EFA7596453A  Time : 3407.0 sec.
user=vaughan
[2009-10-02 21:23:37]
759*2^712864-1 is not prime.  Res64: 0551E283090F1C26  Time : 707.0 sec.
user=vaughan
[2009-10-02 21:25:36]
651*2^712865-1 is not prime.  Res64: 041E068B242DCD91  Time : 719.0 sec.
user=kar_bon
[2009-10-02 21:26:11]
665*2^712534-1 is not prime.  Res64: B271C00CA74B17BC  Time : 2041.0 sec.
user=gd_barnes
[2009-10-02 21:27:40]
611*2^712854-1 is not prime.  Res64: 31BF0DAAE4B61705  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 21:29:24]
705*2^712858-1 is not prime.  Res64: 523FB0C373F5A29A  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 21:32:27]
791*2^712858-1 is not prime.  Res64: 6EC210BEDA7786DE  Time : 2044.0 sec.
user=vaughan
[2009-10-02 21:32:44]
775*2^712865-1 is not prime.  Res64: A99D3987538CE971  Time : 760.0 sec.
user=gd_barnes
[2009-10-02 21:33:10]
783*2^712854-1 is not prime.  Res64: 324F6CDEDA86A70F  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 21:33:14]
775*2^712859-1 is not prime.  Res64: 3F4D24B7C297F3F0  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 21:33:41]
609*2^712855-1 is not prime.  Res64: 8B48DE88F99FC54F  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 21:33:54]
663*2^712855-1 is not prime.  Res64: 83D364DA8AFF8B11  Time : 3407.0 sec.
user=vaughan
[2009-10-02 21:35:55]
625*2^712867-1 is not prime.  Res64: C3E2AC3DFE5F4077  Time : 738.0 sec.
user=kar_bon
[2009-10-02 21:37:33]
691*2^712861-1 is not prime.  Res64: 851AAFA0FFFE24C1  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 21:39:02]
709*2^712855-1 is not prime.  Res64: 2DD038E5AB763252  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 21:40:45]
603*2^712862-1 is not prime.  Res64: 22A895E6749DF0FB  Time : 2042.0 sec.
user=vaughan
[2009-10-02 21:41:39]
649*2^712867-1 is not prime.  Res64: A3200DE6205C54EA  Time : 963.0 sec.
user=kar_bon
[2009-10-02 21:43:48]
669*2^712863-1 is not prime.  Res64: F1B9EDCF0CF55B6C  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 21:44:31]
645*2^712856-1 is not prime.  Res64: 47FBB8AFDF1555C3  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 21:44:36]
695*2^712864-1 is not prime.  Res64: 93E4405EB87711EF  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 21:45:02]
719*2^712856-1 is not prime.  Res64: 8D958CA9F176DC4E  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 21:45:16]
625*2^712857-1 is not prime.  Res64: B0FF359291504E5C  Time : 3407.0 sec.
user=vaughan
[2009-10-02 21:46:35]
753*2^712868-1 is not prime.  Res64: 83B418D1D7EB3C19  Time : 831.0 sec.
user=vaughan
[2009-10-02 21:48:20]
741*2^712870-1 is not prime.  Res64: 3116C7FF1458A852  Time : 746.0 sec.
user=kar_bon
[2009-10-02 21:48:53]
675*2^712865-1 is not prime.  Res64: 6FDF64DAB858E1C6  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 21:50:23]
617*2^712858-1 is not prime.  Res64: 5F5A8D371AD3FE60  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 21:52:06]
771*2^712865-1 is not prime.  Res64: 31D6A8396032CAC3  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 21:55:09]
627*2^712866-1 is not prime.  Res64: 20574A267F34BEE4  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 21:55:52]
753*2^712859-1 is not prime.  Res64: FA015FAD51B8EB50  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 21:55:57]
723*2^712866-1 is not prime.  Res64: AF75430B88159EEE  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 21:56:23]
789*2^712859-1 is not prime.  Res64: 4C1C4667E0705603  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 21:56:37]
693*2^712860-1 is not prime.  Res64: 52986ACC82B1BDCF  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 22:00:15]
673*2^712867-1 is not prime.  Res64: 0CD63E8036FE4C76  Time : 2044.0 sec.
user=vaughan
[2009-10-02 22:00:55]
705*2^712875-1 is not prime.  Res64: F79F1F41BE1569D0  Time : 755.0 sec.
user=gd_barnes
[2009-10-02 22:01:44]
723*2^712536-1 is not prime.  Res64: 19A266A1C265AD36  Time : 3406.0 sec.
user=vaughan
[2009-10-02 22:01:46]
741*2^712874-1 is not prime.  Res64: 0C0EE2D6D2E2268A  Time : 911.0 sec.
user=vaughan
[2009-10-02 22:02:42]
745*2^712871-1 is not prime.  Res64: 63BD93B943B27AC1  Time : 1263.0 sec.
user=kar_bon
[2009-10-02 22:03:27]
741*2^712867-1 is not prime.  Res64: 15AB139D65C0C967  Time : 2043.0 sec.
user=kar_bon
[2009-10-02 22:06:30]
669*2^712868-1 is not prime.  Res64: D425EDFD51A931D1  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 22:07:13]
679*2^712863-1 is not prime.  Res64: 9971396B995B467B  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 22:07:18]
603*2^712870-1 is not prime.  Res64: 8EA76B9DDED62702  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 22:07:45]
723*2^712864-1 is not prime.  Res64: AD7EB9BA55599AE2  Time : 3407.0 sec.
user=gd_barnes
[2009-10-02 22:08:00]
747*2^712864-1 is not prime.  Res64: B229107FC5CA131C  Time : 3409.0 sec.
user=kar_bon
[2009-10-02 22:11:35]
601*2^712871-1 is not prime.  Res64: 81A147425DEE886C  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 22:13:05]
609*2^712540-1 is not prime.  Res64: 13A96EC4255700F1  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 22:14:47]
789*2^712545-1 is not prime.  Res64: 8E35FEA93F765280  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 22:17:50]
737*2^712872-1 is not prime.  Res64: 9F5588FBE3F8F4A9  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 22:18:33]
633*2^712866-1 is not prime.  Res64: 9EA010AAFBF2B42E  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 22:18:40]
615*2^712873-1 is not prime.  Res64: BDF6B1A717F0D420  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 22:19:05]
747*2^712866-1 is not prime.  Res64: 63CBEEFCAA42380D  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 22:19:21]
603*2^712867-1 is not prime.  Res64: 9DFD8258A8332771  Time : 3409.0 sec.
user=kar_bon
[2009-10-02 22:22:57]
709*2^712875-1 is not prime.  Res64: 9BA3BE4E5744AAA3  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 22:24:27]
751*2^712543-1 is not prime.  Res64: 88D130AB87DC5F60  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 22:26:07]
695*2^712548-1 is not prime.  Res64: D8922F5B126C8A53  Time : 2042.0 sec.
user=kar_bon
[2009-10-02 22:29:11]
629*2^712876-1 is not prime.  Res64: 1A10DC1886B6D206  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 22:29:54]
609*2^712869-1 is not prime.  Res64: 51688FBADBB8EA04  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 22:30:01]
693*2^712876-1 is not prime.  Res64: 7D47607D5943F667  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 22:30:26]
717*2^712870-1 is not prime.  Res64: 8AFE4B07B8F2D6F3  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 22:30:42]
731*2^712870-1 is not prime.  Res64: 8EB5772623C1FF2D  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 22:34:17]
729*2^712877-1 is not prime.  Res64: 93B9FF26F2306460  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 22:35:48]
693*2^712871-1 is not prime.  Res64: D47991973FA3070F  Time : 3406.0 sec.
user=kar_bon
[2009-10-02 22:37:27]
711*2^712550-1 is not prime.  Res64: A3D18F992A44F301  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 22:40:32]
755*2^712878-1 is not prime.  Res64: CDA02DD0487D755D  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 22:41:15]
767*2^712872-1 is not prime.  Res64: C2E5C46ED87531E9  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 22:41:23]
625*2^712879-1 is not prime.  Res64: 9F4B660CB043C105  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 22:41:47]
765*2^712873-1 is not prime.  Res64: 8CEA69B72F545A4A  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 22:42:03]
717*2^712874-1 is not prime.  Res64: CC2D708878577615  Time : 3408.0 sec.
user=vaughan
[2009-10-02 22:43:38]
741*2^712877-1 is not prime.  Res64: 9C7E5100DA8D1387  Time : 2563.0 sec.
user=vaughan
[2009-10-02 22:44:53]
781*2^712877-1 is not prime.  Res64: 12CBBDAEFC956509  Time : 2587.0 sec.
user=kar_bon
[2009-10-02 22:45:40]
635*2^712880-1 is not prime.  Res64: E4E87B707E23364D  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 22:47:09]
741*2^712875-1 is not prime.  Res64: 5BBF5A1CCE47F6CD  Time : 3406.0 sec.
user=vaughan
[2009-10-02 22:47:23]
663*2^712878-1 is not prime.  Res64: 98CB7C08855A28CC  Time : 2681.0 sec.
user=kar_bon
[2009-10-02 22:48:48]
767*2^712880-1 is not prime.  Res64: F7C6E2B2C4846A16  Time : 2041.0 sec.
user=kar_bon
[2009-10-02 22:51:53]
691*2^712553-1 is not prime.  Res64: 771751673EFCD6E9  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 22:52:36]
657*2^712876-1 is not prime.  Res64: BD4B12FE4C2F1712  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 22:52:44]
679*2^712881-1 is not prime.  Res64: 885781C43D411939  Time : 2044.0 sec.
user=gd_barnes
[2009-10-02 22:53:08]
699*2^712876-1 is not prime.  Res64: B47F5C1D84D7DBA3  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 22:53:25]
759*2^712876-1 is not prime.  Res64: 6B5A25B2186FFE99  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 22:57:00]
701*2^712882-1 is not prime.  Res64: 62E5641313703459  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 22:58:31]
771*2^712877-1 is not prime.  Res64: 1B707BCD516EE85F  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 23:00:09]
609*2^712883-1 is not prime.  Res64: 20D1C4217E309670  Time : 2042.0 sec.
user=vaughan
[2009-10-02 23:02:31]
799*2^712885-1 is not prime.  Res64: 2199D9309D069285  Time : 1058.0 sec.
user=kar_bon
[2009-10-02 23:03:13]
627*2^712557-1 is not prime.  Res64: 32ED89E577CFE155  Time : 2042.0 sec.
user=gd_barnes
[2009-10-02 23:03:57]
777*2^712878-1 is not prime.  Res64: C41FE9253ECB7C13  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 23:04:05]
735*2^712883-1 is not prime.  Res64: 49109EC6BD87D341  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 23:04:29]
745*2^712879-1 is not prime.  Res64: C55101E9AD327EF4  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 23:04:46]
789*2^712879-1 is not prime.  Res64: 021FDDA5E7ED881C  Time : 3406.0 sec.
user=vaughan
[2009-10-02 23:04:47]
759*2^712885-1 is not prime.  Res64: 4FA0BF53830DB796  Time : 1269.0 sec.
user=kar_bon
[2009-10-02 23:08:22]
605*2^712884-1 is not prime.  Res64: E32C7BDB8B1AE8FE  Time : 2045.0 sec.
user=gd_barnes
[2009-10-02 23:09:52]
699*2^712880-1 is not prime.  Res64: CDDA5256FB198F65  Time : 3407.0 sec.
user=vaughan
[2009-10-02 23:10:25]
651*2^712887-1 is not prime.  Res64: A8BEC29186123311  Time : 1382.0 sec.
user=kar_bon
[2009-10-02 23:11:29]
719*2^712884-1 is not prime.  Res64: 34B3719E1FDBBDB5  Time : 2043.0 sec.
user=kar_bon
[2009-10-02 23:14:35]
639*2^712561-1 is not prime.  Res64: 266FC51B640A9FFF  Time : 2043.0 sec.
user=gd_barnes
[2009-10-02 23:15:17]
773*2^712880-1 is not prime.  Res64: 2178DB6CE5F51BB8  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 23:15:29]
759*2^712884-1 is not prime.  Res64: BEC7F05B684451AB  Time : 2046.0 sec.
user=gd_barnes
[2009-10-02 23:15:50]
777*2^712881-1 is not prime.  Res64: B398C2E634730074  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 23:16:08]
645*2^712882-1 is not prime.  Res64: 0C919CC8E0939D4B  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 23:21:01]
773*2^712886-1 is not prime.  Res64: B0B9DC74EB476E16  Time : 2122.0 sec.
user=gd_barnes
[2009-10-02 23:21:14]
705*2^712882-1 is not prime.  Res64: F3E3977B9E695BF5  Time : 3407.0 sec.
user=vaughan
[2009-10-02 23:21:21]
645*2^712891-1 is not prime.  Res64: 83C3B9C32BB73173  Time : 1130.0 sec.
user=kar_bon
[2009-10-02 23:23:10]
709*2^712887-1 is not prime.  Res64: 12D50EA620AA7530  Time : 2062.0 sec.
user=vaughan
[2009-10-02 23:26:13]
609*2^712893-1 is not prime.  Res64: 11D363088EA1AA11  Time : 1287.0 sec.
user=gd_barnes
[2009-10-02 23:26:38]
663*2^712883-1 is not prime.  Res64: 9F90FD85F4D04E36  Time : 3404.0 sec.
user=kar_bon
[2009-10-02 23:26:48]
735*2^712888-1 is not prime.  Res64: C23706C148DCE703  Time : 2096.0 sec.
user=gd_barnes
[2009-10-02 23:27:10]
753*2^712883-1 is not prime.  Res64: 829FF6424F961147  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 23:27:30]
775*2^712883-1 is not prime.  Res64: 1CA9CC29315297AD  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 23:27:38]
743*2^712888-1 is not prime.  Res64: 5F4D614CB4BDC837  Time : 2094.0 sec.
user=vaughan
[2009-10-02 23:30:38]
759*2^712893-1 is not prime.  Res64: 8F74FF2087F3A306  Time : 1213.0 sec.
user=kar_bon
[2009-10-02 23:32:24]
685*2^712889-1 is not prime.  Res64: 5F360766EF654A42  Time : 2124.0 sec.
user=gd_barnes
[2009-10-02 23:32:35]
635*2^712884-1 is not prime.  Res64: 0AEC394BB227A745  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 23:34:31]
609*2^712891-1 is not prime.  Res64: 515B0AA3A560E483  Time : 2062.0 sec.
user=gd_barnes
[2009-10-02 23:37:58]
749*2^712884-1 is not prime.  Res64: 7EB13743EC4AFA68  Time : 3403.0 sec.
user=kar_bon
[2009-10-02 23:38:12]
723*2^712891-1 is not prime.  Res64: 8469616A58794AF4  Time : 2099.0 sec.
user=gd_barnes
[2009-10-02 23:38:32]
649*2^712885-1 is not prime.  Res64: 060F11B1FF278C67  Time : 3405.0 sec.
user=gd_barnes
[2009-10-02 23:38:51]
715*2^712885-1 is not prime.  Res64: CEE900EDCCFCB37D  Time : 3408.0 sec.
user=kar_bon
[2009-10-02 23:39:04]
687*2^712892-1 is not prime.  Res64: 9F7A2BBC1EBBF5EF  Time : 2099.0 sec.
user=vaughan
[2009-10-02 23:41:59]
779*2^712896-1 is not prime.  Res64: 7972B440D23DA8C3  Time : 1238.0 sec.
user=gd_barnes
[2009-10-02 23:43:56]
633*2^712887-1 is not prime.  Res64: 196ED56282CD8D1F  Time : 3407.0 sec.
user=vaughan
[2009-10-02 23:46:44]
727*2^712897-1 is not prime.  Res64: 541A64B14A64E5D2  Time : 1232.0 sec.
user=gd_barnes
[2009-10-02 23:49:19]
693*2^712566-1 is not prime.  Res64: FB59E8BDF066A7F4  Time : 3403.0 sec.
user=gd_barnes
[2009-10-02 23:49:52]
615*2^712889-1 is not prime.  Res64: 7C37F10AC259B6FC  Time : 3404.0 sec.
user=gd_barnes
[2009-10-02 23:50:13]
649*2^712889-1 is not prime.  Res64: 4E41AB20ACF9950C  Time : 3408.0 sec.
user=vaughan
[2009-10-02 23:51:48]
751*2^712899-1 is not prime.  Res64: FFB148B4B637980F  Time : 1271.0 sec.
user=gd_barnes
[2009-10-02 23:55:18]
741*2^712890-1 is not prime.  Res64: 71677CFDF4468580  Time : 3407.0 sec.
user=kar_bon
[2009-10-02 23:58:16]
669*2^712893-1 is not prime.  Res64: 3A74022B630C717A  Time : 2994.0 sec.