user=vaughan
[2013-02-23 00:10:51]
747*2^1241514-1 is not prime.  Res64: 1B637D8515B70DC3  Time : 0.0 sec.
user=juhehe
[2013-02-23 00:13:33]
967*2^1241513-1 is not prime.  Res64: A239C74EA2F60229  Time : 0.0 sec.
user=juhehe
[2013-02-23 00:19:13]
717*2^1241514-1 is not prime.  Res64: 1496CAF6F71FFE5C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 00:25:54]
893*2^1241514-1 is not prime.  Res64: EC24DD385D305366  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 00:25:55]
927*2^1241514-1 is not prime.  Res64: 0652599D55774F86  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 00:25:55]
903*2^1241514-1 is not prime.  Res64: EBAE21D89D1B86F8  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 00:25:55]
957*2^1241514-1 is not prime.  Res64: 4443CEF3BA8D3EB3  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 00:43:20]
735*2^1241515-1 is not prime.  Res64: E17F54353349EFC7  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 00:43:20]
741*2^1241515-1 is not prime.  Res64: 14C1308D5CE92C08  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 00:43:21]
765*2^1241515-1 is not prime.  Res64: 35F9D762048CE7DB  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 00:43:21]
771*2^1241515-1 is not prime.  Res64: 8969AF65E2A821F5  Time : 0.0 sec.
user=vaughan
[2013-02-23 00:53:47]
993*2^1241514-1 is not prime.  Res64: 6DE0BE1A0FBC3DA0  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:00:43]
939*2^1241515-1 is not prime.  Res64: 288E0416125B0FFE  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:00:44]
999*2^1241515-1 is not prime.  Res64: 72ABAC72E5E91A4A  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:00:45]
961*2^1241515-1 is not prime.  Res64: F0117B9D253443F3  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:00:45]
623*2^1241516-1 is not prime.  Res64: 3971617806CB57A1  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:18:11]
777*2^1241516-1 is not prime.  Res64: 964FF6334CCB9319  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:18:12]
825*2^1241516-1 is not prime.  Res64: 269A2E3275A2C38A  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:18:12]
903*2^1241516-1 is not prime.  Res64: 6D442E778A9F0D5C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:18:13]
651*2^1241517-1 is not prime.  Res64: 664B0464549B6A93  Time : 0.0 sec.
user=vaughan
[2013-02-23 01:31:42]
635*2^1241516-1 is not prime.  Res64: 0DF65E8A4D6FA97E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:35:34]
777*2^1241517-1 is not prime.  Res64: 0FC5D927EA961542  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:35:34]
937*2^1241517-1 is not prime.  Res64: 765549E4480D855F  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:35:35]
945*2^1241517-1 is not prime.  Res64: DEDE23BC62A9A68C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:35:35]
955*2^1241517-1 is not prime.  Res64: 21502C9F41C94FC3  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:52:57]
665*2^1241518-1 is not prime.  Res64: 3E6D26311BBB7375  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:52:57]
695*2^1241518-1 is not prime.  Res64: D58F06492B369579  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:52:57]
731*2^1241518-1 is not prime.  Res64: 0A42CAEB46B1775B  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 01:52:58]
773*2^1241518-1 is not prime.  Res64: 25884B444BB20028  Time : 0.0 sec.
user=vaughan
[2013-02-23 02:24:39]
605*2^1241518-1 is not prime.  Res64: A8D3AB0EEBC346B8  Time : 0.0 sec.
user=vaughan
[2013-02-23 03:07:34]
995*2^1241518-1 is not prime.  Res64: EDC18D100882CCA7  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 03:16:58]
957*2^1241518-1 is not prime.  Res64: BA074E926E22B61C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 03:16:58]
863*2^1241518-1 is not prime.  Res64: 01F45630CEED1DF1  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 03:16:59]
987*2^1241518-1 is not prime.  Res64: 66DE2ABACE2D74DE  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 03:16:59]
951*2^1241518-1 is not prime.  Res64: F8CA5D312B011538  Time : 0.0 sec.
user=vaughan
[2013-02-23 04:11:50]
615*2^1241519-1 is not prime.  Res64: F07F293A9D2F0725  Time : 0.0 sec.
user=juhehe
[2013-02-23 04:11:56]
751*2^1241517-1 is not prime.  Res64: 2F103D42F9306F46  Time : 0.0 sec.
user=juhehe
[2013-02-23 04:12:33]
709*2^1241517-1 is not prime.  Res64: 5E13401EDE4501A2  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:18:49]
745*2^1241519-1 is not prime.  Res64: 4AFF534D70B8C2D1  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:18:50]
759*2^1241519-1 is not prime.  Res64: F31D4AAEEEF92788  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:18:51]
789*2^1241519-1 is not prime.  Res64: 06B1A9A81DD2F00E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:18:51]
627*2^1241520-1 is not prime.  Res64: FE701695F6F3EE79  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:36:16]
713*2^1241520-1 is not prime.  Res64: D2400307FCAD4745  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:36:17]
789*2^1241520-1 is not prime.  Res64: 7146A14AC1F0CB2E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:36:17]
839*2^1241520-1 is not prime.  Res64: 3092C35D9D4417C5  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:36:18]
863*2^1241520-1 is not prime.  Res64: D1CFA14307EDFD78  Time : 0.0 sec.
user=vaughan
[2013-02-23 04:53:39]
635*2^1241520-1 is not prime.  Res64: 48276252B9CCB801  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:53:44]
873*2^1241520-1 is not prime.  Res64: CC2F13008D17CC4D  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:53:44]
909*2^1241520-1 is not prime.  Res64: 6223CF05DBAAF58E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:53:45]
945*2^1241520-1 is not prime.  Res64: B3585D6C92C36F63  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 04:53:45]
619*2^1241521-1 is not prime.  Res64: A57D45DC186498AC  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:11:06]
651*2^1241521-1 is not prime.  Res64: 8D483B8F5812B7E7  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:11:07]
799*2^1241521-1 is not prime.  Res64: CAE8BF8B0E75A6C4  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:11:07]
867*2^1241521-1 is not prime.  Res64: F2002AD41CD24066  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:11:08]
909*2^1241521-1 is not prime.  Res64: 140DA1D2D27F535A  Time : 0.0 sec.
user=juhehe
[2013-02-23 05:14:47]
699*2^1241520-1 is not prime.  Res64: 2448ADA653BE50DE  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:28:32]
603*2^1241522-1 is not prime.  Res64: B9ECF28E3EC2EBDF  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:28:32]
615*2^1241522-1 is not prime.  Res64: A63F3892EDEAB7A0  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:28:33]
735*2^1241522-1 is not prime.  Res64: 932D26F63153527F  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:28:33]
755*2^1241522-1 is not prime.  Res64: E65FF472623C2B7D  Time : 0.0 sec.
user=vaughan
[2013-02-23 05:31:35]
639*2^1241521-1 is not prime.  Res64: 5DB3FCA37FBAC1DF  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:45:55]
771*2^1241522-1 is not prime.  Res64: C33A684F1B8A8AF2  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:45:55]
873*2^1241522-1 is not prime.  Res64: 5F7995298FDDFCED  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:45:56]
911*2^1241522-1 is not prime.  Res64: A6EBA8D77734E863  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 05:45:56]
917*2^1241522-1 is not prime.  Res64: 6B59E85F5B0608D3  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 06:03:18]
619*2^1241523-1 is not prime.  Res64: 88149667B523980E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 06:03:19]
895*2^1241523-1 is not prime.  Res64: EE547FAAB17669DA  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 06:03:19]
685*2^1241523-1 is not prime.  Res64: 69FA17A1E25B13CE  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 06:03:20]
705*2^1241524-1 is not prime.  Res64: 1814FAAE7B9167D7  Time : 0.0 sec.
user=juhehe
[2013-02-23 06:13:01]
945*2^1241521-1 is not prime.  Res64: D75D32FA376D1715  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 06:42:58]
729*2^1241524-1 is not prime.  Res64: 1304F69D7ED213AF  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 06:42:58]
833*2^1241524-1 is not prime.  Res64: 382FDF95684F8456  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 06:42:59]
773*2^1241524-1 is not prime.  Res64: 6BFC67BD703E2153  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 06:42:59]
857*2^1241524-1 is not prime.  Res64: 3BFA16B52959D414  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 07:00:22]
899*2^1241524-1 is not prime.  Res64: C32984F3D69CC8E8  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 07:00:24]
987*2^1241524-1 is not prime.  Res64: 58C0BA5D62AE81A8  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 07:00:25]
601*2^1241525-1 is not prime.  Res64: 0E9CF7F360EDE2BF  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 07:00:26]
627*2^1241525-1 is not prime.  Res64: 038202208067F31B  Time : 0.0 sec.
user=vaughan
[2013-02-23 07:09:17]
983*2^1241522-1 is not prime.  Res64: B3A90432B522D9FA  Time : 0.0 sec.
user=juhehe
[2013-02-23 07:15:32]
725*2^1241514-1 is not prime.  Res64: F7669C2AB268986A  Time : 0.0 sec.
user=juhehe
[2013-02-23 07:15:41]
887*2^1241524-1 is not prime.  Res64: 48A4952DB08BB227  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 07:17:49]
649*2^1241525-1 is not prime.  Res64: F8EB0A925888BD94  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 07:17:49]
691*2^1241525-1 is not prime.  Res64: 7FC10B2ECEE9076A  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 07:17:50]
741*2^1241525-1 is not prime.  Res64: AC466725DAD77B17  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 07:17:51]
759*2^1241525-1 is not prime.  Res64: 4C1200DBC73AE766  Time : 0.0 sec.
user=vaughan
[2013-02-23 08:21:09]
775*2^1241525-1 is not prime.  Res64: 149D8A07A1A774BA  Time : 0.0 sec.
user=juhehe
[2013-02-23 08:23:59]
627*2^1241508-1 is not prime.  Res64: 95DC5C576C8889D1  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 08:28:35]
647*2^1241526-1 is not prime.  Res64: 73F4BBA1FE202A54  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 08:28:35]
889*2^1241525-1 is not prime.  Res64: C548822B9D753C4C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 08:28:35]
677*2^1241526-1 is not prime.  Res64: 22C1D2BA92FDDDFF  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 08:28:35]
955*2^1241525-1 is not prime.  Res64: 156A3B24B37FE297  Time : 0.0 sec.
user=juhehe
[2013-02-23 08:44:03]
729*2^1241527-1 is not prime.  Res64: FC14271FEC39EA85  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 08:46:07]
843*2^1241527-1 is not prime.  Res64: 9A06C5A93B5D6DD7  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 08:46:07]
901*2^1241527-1 is not prime.  Res64: 6F2C3AD7FE5C320A  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 08:46:08]
973*2^1241527-1 is not prime.  Res64: A6D8CDB9C43AF7EA  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 08:46:09]
979*2^1241527-1 is not prime.  Res64: 79112A0B04F89B57  Time : 0.0 sec.
user=vaughan
[2013-02-23 08:59:01]
673*2^1241527-1 is not prime.  Res64: 8175C22DE2121643  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:03:32]
813*2^1241528-1 is not prime.  Res64: 78D63F56D6DA8B6C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:03:33]
875*2^1241528-1 is not prime.  Res64: E058DB90E643A0FF  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:03:33]
915*2^1241528-1 is not prime.  Res64: C3F0C1BB8ADA4D71  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:03:34]
945*2^1241528-1 is not prime.  Res64: FBC5DE25D2E6B3CE  Time : 0.0 sec.
user=juhehe
[2013-02-23 09:04:09]
753*2^1241528-1 is not prime.  Res64: 65CC5288D39F36DB  Time : 0.0 sec.
user=juhehe
[2013-02-23 09:19:11]
799*2^1241525-1 is not prime.  Res64: 32059D9EACAA2FCA  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:21:15]
609*2^1241529-1 is not prime.  Res64: 0500D5C043111055  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:21:16]
675*2^1241529-1 is not prime.  Res64: 8445C26139DD9AB7  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:21:17]
691*2^1241529-1 is not prime.  Res64: 51CBD743B9303854  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:21:18]
705*2^1241529-1 is not prime.  Res64: EC36F26B5BA5E2FB  Time : 0.0 sec.
user=juhehe
[2013-02-23 09:22:08]
861*2^1241526-1 is not prime.  Res64: 728F0BFF0BFAA36B  Time : 0.0 sec.
user=juhehe
[2013-02-23 09:24:51]
727*2^1241529-1 is not prime.  Res64: AEB9E21DFFF0E0CE  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:38:55]
895*2^1241529-1 is not prime.  Res64: 1CFBBDA9A2B59875  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:38:55]
919*2^1241529-1 is not prime.  Res64: A025FCC5552A757B  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:38:58]
979*2^1241529-1 is not prime.  Res64: F1B5B8ABD42C20BE  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:38:58]
731*2^1241530-1 is not prime.  Res64: A8C4F1CA33C44EE6  Time : 0.0 sec.
user=vaughan
[2013-02-23 09:49:28]
993*2^1241528-1 is not prime.  Res64: 5D3E6015D3C848F2  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:56:44]
803*2^1241530-1 is not prime.  Res64: FBB8388916A34F2D  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:56:44]
981*2^1241530-1 is not prime.  Res64: A195D15B2DA12A2D  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:56:48]
801*2^1241531-1 is not prime.  Res64: F1022017C3310D20  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 09:56:48]
883*2^1241531-1 is not prime.  Res64: E4E6BF9E10EC37D3  Time : 0.0 sec.
user=vaughan
[2013-02-23 10:31:08]
909*2^1241531-1 is not prime.  Res64: B6DFB59573364173  Time : 0.0 sec.
user=juhehe
[2013-02-23 12:33:54]
837*2^1241529-1 is not prime.  Res64: 147932D99AA6AB18  Time : 0.0 sec.
user=vaughan
[2013-02-23 12:35:33]
935*2^1241532-1 is not prime.  Res64: 1C017FD34C087162  Time : 0.0 sec.
user=juhehe
[2013-02-23 12:35:55]
923*2^1241532-1 is not prime.  Res64: 060C75C03F7A21DA  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 12:39:35]
979*2^1241531-1 is not prime.  Res64: 45EA2B03C2DF7E7B  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 12:39:35]
999*2^1241531-1 is not prime.  Res64: 4E7F9B69B7063F59  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 12:39:36]
857*2^1241532-1 is not prime.  Res64: 4F9503BFE85C5E1E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 12:39:36]
863*2^1241532-1 is not prime.  Res64: 619D5E62CCC73BF3  Time : 0.0 sec.
user=vaughan
[2013-02-23 13:24:59]
965*2^1241532-1 is not prime.  Res64: 348043BCDC55FDC9  Time : 0.0 sec.
user=juhehe
[2013-02-23 15:23:00]
959*2^1241532-1 is not prime.  Res64: 0594975BFBDC6E2F  Time : 0.0 sec.
user=vaughan
[2013-02-23 15:23:08]
985*2^1241533-1 is not prime.  Res64: 67458CFBE8EB8F02  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 15:34:51]
805*2^1241533-1 is not prime.  Res64: 2F1BF0BD546F2FF7  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 15:34:51]
609*2^1241533-1 is not prime.  Res64: 12C45345E8B95921  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 15:34:51]
957*2^1241533-1 is not prime.  Res64: AA80DACE32B30738  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 15:34:51]
651*2^1241533-1 is not prime.  Res64: 56FD7A0EC01D77C8  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 15:53:03]
791*2^1241534-1 is not prime.  Res64: D0FBD5AD6D859C9C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 15:53:03]
635*2^1241534-1 is not prime.  Res64: CB20CF1EC2E76354  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 15:53:03]
851*2^1241534-1 is not prime.  Res64: D78F1DD7FB702239  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 15:53:03]
743*2^1241534-1 is not prime.  Res64: 839F60A754FEC18F  Time : 0.0 sec.
user=vaughan
[2013-02-23 16:06:06]
999*2^1241533-1 is not prime.  Res64: 9E209104040F7450  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:10:48]
685*2^1241535-1 is not prime.  Res64: 55BEE65745E32397  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:10:49]
825*2^1241535-1 is not prime.  Res64: 6A3F27F0CAB9F408  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:10:49]
765*2^1241535-1 is not prime.  Res64: E5CB87F604D80F84  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:10:50]
861*2^1241535-1 is not prime.  Res64: DFF5F72F78A36E0F  Time : 0.0 sec.
user=juhehe
[2013-02-23 16:26:47]
617*2^1241534-1 is not prime.  Res64: 51506552D4467C4E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:28:20]
979*2^1241535-1 is not prime.  Res64: BD68E7FFE5578B26  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:28:20]
693*2^1241536-1 is not prime.  Res64: EC747E3FCA304B29  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:28:20]
777*2^1241536-1 is not prime.  Res64: 7E2E556D9D265452  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:28:20]
743*2^1241536-1 is not prime.  Res64: D85494C1A95A627B  Time : 0.0 sec.
user=vaughan
[2013-02-23 16:44:01]
909*2^1241535-1 is not prime.  Res64: EB792967EDE12CF4  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:45:48]
857*2^1241536-1 is not prime.  Res64: D4AA3B4A751F2631  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:45:49]
875*2^1241536-1 is not prime.  Res64: A61A27155CC04240  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:45:49]
933*2^1241536-1 is not prime.  Res64: 285C1CD9858BEA06  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 16:45:50]
939*2^1241536-1 is not prime.  Res64: 2AF3B82DF9630DC2  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:03:17]
675*2^1241537-1 is not prime.  Res64: 27CEA35977925671  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:03:17]
847*2^1241537-1 is not prime.  Res64: 81FE8A86BCBC84A2  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:03:18]
837*2^1241537-1 is not prime.  Res64: 32E4DC39BBB0619C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:03:18]
867*2^1241537-1 is not prime.  Res64: 174D10C4A8566B27  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:20:49]
889*2^1241537-1 is not prime.  Res64: F1843FEDC5AD6D7A  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:20:50]
925*2^1241537-1 is not prime.  Res64: BFF322396EB7893D  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:20:51]
931*2^1241537-1 is not prime.  Res64: AE7D7E896EB20B20  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:20:52]
949*2^1241537-1 is not prime.  Res64: 6B06CEE2B6931864  Time : 0.0 sec.
user=vaughan
[2013-02-23 17:21:57]
615*2^1241537-1 is not prime.  Res64: CE0E4E322A41B33B  Time : 0.0 sec.
user=juhehe
[2013-02-23 17:24:07]
855*2^1241536-1 is not prime.  Res64: F423D44CC47139EA  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:38:19]
663*2^1241538-1 is not prime.  Res64: 9E00674CCECF29D9  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:38:19]
671*2^1241538-1 is not prime.  Res64: 4CCA71D1CE019EF4  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:38:20]
887*2^1241538-1 is not prime.  Res64: 60B9523D7910370E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:38:20]
905*2^1241538-1 is not prime.  Res64: DC8B85AFE64CD8B4  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:55:49]
971*2^1241538-1 is not prime.  Res64: 037E18E7CBD3C9A9  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:55:49]
709*2^1241539-1 is not prime.  Res64: 769CEA73A441ACF6  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:55:50]
681*2^1241539-1 is not prime.  Res64: 1F822FAB1C4D486D  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 17:55:50]
939*2^1241539-1 is not prime.  Res64: 875CD7FF090C03FB  Time : 0.0 sec.
user=vaughan
[2013-02-23 17:59:53]
927*2^1241538-1 is not prime.  Res64: 51AE5E942B5E638B  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:13:18]
603*2^1241540-1 is not prime.  Res64: 0246B0FB46E14C52  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:13:18]
665*2^1241540-1 is not prime.  Res64: D88F72258AF6DC05  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:13:19]
677*2^1241540-1 is not prime.  Res64: 98BE81422429E282  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:13:19]
735*2^1241540-1 is not prime.  Res64: 45EDB8BC11EF4E73  Time : 0.0 sec.
user=juhehe
[2013-02-23 18:28:05]
933*2^1241538-1 is not prime.  Res64: B299687427123C54  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:30:48]
639*2^1241541-1 is not prime.  Res64: 32E728069DA6FC22  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:30:48]
669*2^1241541-1 is not prime.  Res64: 9C4864B55B476358  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:30:48]
727*2^1241541-1 is not prime.  Res64: 1B87D251B4711212  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:30:49]
747*2^1241541-1 is not prime.  Res64: 3A5FB0643EC35CE3  Time : 0.0 sec.
user=vaughan
[2013-02-23 18:38:00]
885*2^1241540-1 is not prime.  Res64: 3AA3D0536796D5FD  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:48:16]
937*2^1241541-1 is not prime.  Res64: 93944F49A3A34B0B  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:48:17]
651*2^1241542-1 is not prime.  Res64: 809E89D398C010BD  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:48:18]
815*2^1241542-1 is not prime.  Res64: B174AA906D0F62EF  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 18:48:19]
821*2^1241542-1 is not prime.  Res64: 657973C4B18C3C66  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:05:49]
633*2^1241543-1 is not prime.  Res64: E1E3A974F9E13F6B  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:05:50]
705*2^1241543-1 is not prime.  Res64: 3F5235693BDC47D2  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:05:50]
783*2^1241543-1 is not prime.  Res64: 301830F80BC716E8  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:05:51]
825*2^1241543-1 is not prime.  Res64: EC6AD40386FB77C5  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:23:22]
895*2^1241543-1 is not prime.  Res64: 7FC12C00BBE93528  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:23:22]
949*2^1241543-1 is not prime.  Res64: D0F7751E1F3DB36D  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:23:23]
963*2^1241543-1 is not prime.  Res64: 167249D48FFF5039  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:23:23]
623*2^1241544-1 is not prime.  Res64: DDDDFF22D4D65AEC  Time : 0.0 sec.
user=juhehe
[2013-02-23 19:23:58]
889*2^1241541-1 is not prime.  Res64: 01AE12551690DD83  Time : 0.0 sec.
user=vaughan
[2013-02-23 19:30:17]
621*2^1241543-1 is not prime.  Res64: 0444385C194DC320  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:40:55]
657*2^1241544-1 is not prime.  Res64: 979F309CB7E2E214  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:40:55]
663*2^1241544-1 is not prime.  Res64: AFB2CB84A1C4D84E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:40:56]
705*2^1241544-1 is not prime.  Res64: 824B9A511F2DA0CE  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:40:57]
717*2^1241544-1 is not prime.  Res64: 0BDA1ABC3CA264C6  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:58:24]
809*2^1241544-1 is not prime.  Res64: DB726A4FB5E476F8  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:58:25]
923*2^1241544-1 is not prime.  Res64: 4163E45BDBCFFA0A  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:58:25]
947*2^1241544-1 is not prime.  Res64: AD51466B108BBC4A  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 19:58:26]
993*2^1241544-1 is not prime.  Res64: 5710D4E5ED8A8DFE  Time : 0.0 sec.
user=vaughan
[2013-02-23 20:08:18]
789*2^1241544-1 is not prime.  Res64: 99510782C2BF22F0  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:15:48]
667*2^1241545-1 is not prime.  Res64: 6ADD1F581904B260  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:15:49]
685*2^1241545-1 is not prime.  Res64: 592B40B2861A2030  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:15:49]
831*2^1241545-1 is not prime.  Res64: 6C286A42938B5C09  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:15:50]
841*2^1241545-1 is not prime.  Res64: B2CD8541BAB38440  Time : 0.0 sec.
user=juhehe
[2013-02-23 20:28:46]
723*2^1241544-1 is not prime.  Res64: 6EE8A33EB830D39E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:33:13]
985*2^1241545-1 is not prime.  Res64: D06FF8F4C46BD8A6  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:33:14]
813*2^1241546-1 is not prime.  Res64: 6DCDE5A77D54E648  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:33:14]
701*2^1241546-1 is not prime.  Res64: AB91B743270D1008  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:33:14]
831*2^1241546-1 is not prime.  Res64: C21B0BA7CB0F67FE  Time : 0.0 sec.
user=vaughan
[2013-02-23 20:46:24]
855*2^1241545-1 is not prime.  Res64: 5D10CD927583E97C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:50:38]
857*2^1241546-1 is not prime.  Res64: 67829A58472C3B86  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:50:39]
875*2^1241546-1 is not prime.  Res64: FFC33DBB07EC8AC7  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:50:40]
935*2^1241546-1 is not prime.  Res64: A7DAC19FAE44374B  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 20:50:41]
971*2^1241546-1 is not prime.  Res64: 93A1487E64929732  Time : 0.0 sec.
user=juhehe
[2013-02-23 20:55:32]
955*2^1241545-1 is not prime.  Res64: 6F0DD8A54E62D127  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:08:03]
781*2^1241547-1 is not prime.  Res64: 6770BC4B4CEA62EF  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:08:04]
823*2^1241547-1 is not prime.  Res64: A507E5E92583944C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:08:05]
861*2^1241547-1 is not prime.  Res64: 27BEFF06188D0D8C  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:08:06]
985*2^1241547-1 is not prime.  Res64: 6F5A3ECF9572097B  Time : 0.0 sec.
user=vaughan
[2013-02-23 21:24:25]
601*2^1241547-1 is not prime.  Res64: B057BA19D15DD3E2  Time : 0.0 sec.
user=juhehe
[2013-02-23 21:24:41]
851*2^1241546-1 is not prime.  Res64: FD82699469624F6D  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:25:41]
677*2^1241548-1 is not prime.  Res64: 73A6CCA4F78B0C61  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:25:41]
843*2^1241548-1 is not prime.  Res64: 0B280922887F5055  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:25:42]
665*2^1241548-1 is not prime.  Res64: C42C938B9523C4E8  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:25:42]
615*2^1241549-1 is not prime.  Res64: FA560AE5EE58AB14  Time : 0.0 sec.
user=juhehe
[2013-02-23 21:37:53]
657*2^1241548-1 is not prime.  Res64: 27EEF48BA2E7E2FA  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:43:06]
945*2^1241549-1 is not prime.  Res64: 3180417675C6AB02  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:43:06]
611*2^1241550-1 is not prime.  Res64: F2963F4E29558D1E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:43:07]
741*2^1241550-1 is not prime.  Res64: 2E29626F488F9D8F  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 21:43:07]
791*2^1241550-1 is not prime.  Res64: 1E7FAAD11A56FA1D  Time : 0.0 sec.
user=juhehe
[2013-02-23 21:45:54]
867*2^1241525-1 is not prime.  Res64: 3BC12954177D5DB7  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:00:31]
619*2^1241551-1 is not prime.  Res64: C0B6F2647BBFEE8F  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:00:32]
793*2^1241551-1 is not prime.  Res64: EBB3195E4CDDAFB5  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:00:32]
661*2^1241551-1 is not prime.  Res64: 21915AA949FE6FCD  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:00:33]
819*2^1241551-1 is not prime.  Res64: 3142144709E56D3B  Time : 0.0 sec.
user=vaughan
[2013-02-23 22:02:27]
631*2^1241549-1 is not prime.  Res64: F8C2B06AE6E22F42  Time : 0.0 sec.
user=juhehe
[2013-02-23 22:15:11]
963*2^1241550-1 is not prime.  Res64: 195F5CA7DC5E9638  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:17:58]
849*2^1241551-1 is not prime.  Res64: 10209839ED376699  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:17:59]
861*2^1241551-1 is not prime.  Res64: 85AF6D057B01ED5D  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:18:00]
889*2^1241551-1 is not prime.  Res64: CA5CCE8F81B5ACB9  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:18:01]
603*2^1241552-1 is not prime.  Res64: 5208940DCFCC38C0  Time : 0.0 sec.
user=juhehe
[2013-02-23 22:21:58]
829*2^1241551-1 is not prime.  Res64: 635D740A698E8091  Time : 0.0 sec.
user=juhehe
[2013-02-23 22:28:17]
891*2^1241550-1 is not prime.  Res64: E71B929B07B25908  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:35:24]
713*2^1241552-1 is not prime.  Res64: 008BED73413FF887  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:35:24]
755*2^1241552-1 is not prime.  Res64: 82D5D48F1096BF13  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:35:24]
819*2^1241552-1 is not prime.  Res64: BF66656ABCCF86CA  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:35:25]
857*2^1241552-1 is not prime.  Res64: 0B7CDC164CB77ECA  Time : 0.0 sec.
user=vaughan
[2013-02-23 22:40:25]
645*2^1241552-1 is not prime.  Res64: 58CF64B7F39286A6  Time : 0.0 sec.
user=juhehe
[2013-02-23 22:51:25]
665*2^1241552-1 is not prime.  Res64: 71DFD87A77743FA5  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:52:48]
637*2^1241553-1 is not prime.  Res64: F865E2A0850A92B1  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:52:49]
705*2^1241553-1 is not prime.  Res64: 8DD3110AB1A429FE  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:52:50]
811*2^1241553-1 is not prime.  Res64: 40A8A4A8981F6197  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 22:52:50]
817*2^1241553-1 is not prime.  Res64: 83BBA11194730592  Time : 0.0 sec.
user=juhehe
[2013-02-23 22:58:01]
893*2^1241552-1 is not prime.  Res64: 27DA3A50AD90AB30  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:10:13]
937*2^1241553-1 is not prime.  Res64: D8E1395C07D84F5E  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:10:14]
969*2^1241553-1 is not prime.  Res64: 0E263D95303BD633  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:10:16]
611*2^1241554-1 is not prime.  Res64: 90457C72612E164D  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:10:17]
617*2^1241554-1 is not prime.  Res64: A593DD8172091D6A  Time : 0.0 sec.
user=vaughan
[2013-02-23 23:18:25]
861*2^1241553-1 is not prime.  Res64: 346D45F1D617C423  Time : 0.0 sec.
user=juhehe
[2013-02-23 23:27:31]
889*2^1241553-1 is not prime.  Res64: 03F8480213D8E6B5  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:27:41]
657*2^1241554-1 is not prime.  Res64: CB6B17E47D958FA3  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:27:42]
681*2^1241554-1 is not prime.  Res64: DCD6D1C195D80D1A  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:27:42]
755*2^1241554-1 is not prime.  Res64: 8E41E2A87DD89FB2  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:27:43]
803*2^1241554-1 is not prime.  Res64: A3C67E6637C1BDBA  Time : 0.0 sec.
user=juhehe
[2013-02-23 23:31:04]
999*2^1241552-1 is not prime.  Res64: FDDD2FC0F45C24BE  Time : 0.0 sec.
user=juhehe
[2013-02-23 23:34:12]
621*2^1241554-1 is not prime.  Res64: D1ECB7653FBB04F5  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:45:08]
619*2^1241555-1 is not prime.  Res64: E9F32A530F3C2611  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:45:08]
843*2^1241555-1 is not prime.  Res64: 779F3C457D72838F  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:45:09]
895*2^1241555-1 is not prime.  Res64: 3221D47FA1F71563  Time : 0.0 sec.
user=mdettweiler
[2013-02-23 23:45:09]
973*2^1241555-1 is not prime.  Res64: A334596C19AF5127  Time : 0.0 sec.
user=vaughan
[2013-02-23 23:56:31]
917*2^1241554-1 is not prime.  Res64: 6CFE66862203A7B1  Time : 0.0 sec.