user=vaughan
[2012-09-04 00:05:59]
677*2^1228124-1 is not prime.  Res64: BC6B90AEA5749713  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 00:08:29]
885*2^1228124-1 is not prime.  Res64: 4A4960D4FF3154D3  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 00:08:32]
893*2^1228124-1 is not prime.  Res64: 06741339C6635ACF  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 00:20:50]
909*2^1228124-1 is not prime.  Res64: 61602A5C1F3C51E3  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 00:29:48]
987*2^1228124-1 is not prime.  Res64: ED9016E43CBD6CBF  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 00:29:49]
679*2^1228125-1 is not prime.  Res64: EB7E81800F397C85  Time : 0.0 sec.
user=vaughan
[2012-09-04 00:43:42]
945*2^1228124-1 is not prime.  Res64: 63665155D1588E57  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 00:49:33]
929*2^1228124-1 is not prime.  Res64: BBE7EEBA3CB6CF4F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 00:50:57]
819*2^1228125-1 is not prime.  Res64: E16D146E56C64F70  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 00:50:58]
849*2^1228125-1 is not prime.  Res64: C32C42E1DC846DBB  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:10:37]
921*2^1228125-1 is not prime.  Res64: B3CE7E41D8640AD9  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:10:39]
937*2^1228125-1 is not prime.  Res64: E2C04B04BF940667  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:12:00]
999*2^1228125-1 is not prime.  Res64: F7E465ED6F35EC88  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:12:02]
645*2^1228126-1 is not prime.  Res64: 35B187ED7D2C9AB2  Time : 0.0 sec.
user=vaughan
[2012-09-04 01:21:00]
891*2^1228125-1 is not prime.  Res64: 66FDA5D9ECE9D943  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:31:54]
651*2^1228126-1 is not prime.  Res64: 261D91C4C8AF60BB  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:31:54]
765*2^1228126-1 is not prime.  Res64: B8707D84FE9744F2  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:33:07]
825*2^1228126-1 is not prime.  Res64: 40366F0C1826B0B3  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:33:08]
843*2^1228126-1 is not prime.  Res64: EB6A231A4995899B  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:52:54]
917*2^1228126-1 is not prime.  Res64: 0BB680CEA7D1FA7C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:52:55]
933*2^1228126-1 is not prime.  Res64: 9C9A3726415C25DB  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:54:10]
609*2^1228127-1 is not prime.  Res64: B2C67B6866A852E7  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 01:54:10]
615*2^1228127-1 is not prime.  Res64: D4008755AFECDC0F  Time : 0.0 sec.
user=vaughan
[2012-09-04 01:58:16]
857*2^1228126-1 is not prime.  Res64: F58F8C3E89F643B2  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:13:55]
643*2^1228127-1 is not prime.  Res64: 6A543247EB577247  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:13:57]
711*2^1228127-1 is not prime.  Res64: 7645DBE270BEB9BB  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:15:09]
825*2^1228127-1 is not prime.  Res64: 7A1BB43274DE250E  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:15:10]
963*2^1228127-1 is not prime.  Res64: FD5277A6DC3D74FA  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:35:08]
767*2^1228128-1 is not prime.  Res64: F6E14BA811A5E52A  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:35:10]
849*2^1228128-1 is not prime.  Res64: 7940130544E2A67C  Time : 0.0 sec.
user=vaughan
[2012-09-04 02:35:34]
705*2^1228128-1 is not prime.  Res64: B03BC6922D3B3F6E  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:36:09]
929*2^1228128-1 is not prime.  Res64: E878AEC2A72363A1  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:36:11]
609*2^1228129-1 is not prime.  Res64: 259B8FAEAF6F31C5  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:56:20]
721*2^1228129-1 is not prime.  Res64: 1FE6D0453771072E  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:56:21]
729*2^1228129-1 is not prime.  Res64: 15F41B46D1619484  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:57:12]
747*2^1228129-1 is not prime.  Res64: 7C5294FA4636D652  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 02:57:13]
819*2^1228129-1 is not prime.  Res64: 2EEBEFF6E09A2F54  Time : 0.0 sec.
user=vaughan
[2012-09-04 03:12:51]
745*2^1228129-1 is not prime.  Res64: B0CEA5C2ABC654D5  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 03:17:39]
835*2^1228129-1 is not prime.  Res64: 17805EF13C345BAB  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 03:17:40]
847*2^1228129-1 is not prime.  Res64: 9E2DC61561202D7E  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 03:18:11]
939*2^1228129-1 is not prime.  Res64: 6CF05141E61CC5A0  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 03:18:12]
603*2^1228130-1 is not prime.  Res64: 11DF286E0D59077F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 03:38:40]
717*2^1228130-1 is not prime.  Res64: BBFB8CB37EFDFDCA  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 03:38:43]
825*2^1228130-1 is not prime.  Res64: EF651557060B30DB  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 03:39:14]
827*2^1228130-1 is not prime.  Res64: C90EA96CCC731231  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 03:39:16]
875*2^1228130-1 is not prime.  Res64: 967EDC92335816DD  Time : 0.0 sec.
user=vaughan
[2012-09-04 03:50:15]
605*2^1228130-1 is not prime.  Res64: E2CB2ACEB0301EC5  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:00:14]
945*2^1228130-1 is not prime.  Res64: 3675CAC6457B1AB3  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:00:17]
705*2^1228131-1 is not prime.  Res64: F00717F63E9E8DAB  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:00:21]
775*2^1228131-1 is not prime.  Res64: 59277004900695D2  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:00:22]
795*2^1228131-1 is not prime.  Res64: 4E71B47C589743F3  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:21:36]
605*2^1228132-1 is not prime.  Res64: 217270759186C031  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:21:37]
675*2^1228132-1 is not prime.  Res64: 703CD0CB4474B01B  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:21:39]
863*2^1228132-1 is not prime.  Res64: 513896D6AAD2F783  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:21:41]
651*2^1228133-1 is not prime.  Res64: 05DAFC2789D0CC93  Time : 0.0 sec.
user=vaughan
[2012-09-04 04:27:32]
909*2^1228131-1 is not prime.  Res64: 4BBCBB2B1ECEEF6F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:42:57]
669*2^1228133-1 is not prime.  Res64: 66D9E736938088B9  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:42:58]
879*2^1228133-1 is not prime.  Res64: 3A178E9273F2A4B7  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:42:59]
937*2^1228133-1 is not prime.  Res64: 8ED272B1363F826C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 04:43:00]
981*2^1228133-1 is not prime.  Res64: 33CD4CA63F727639  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:04:04]
641*2^1228134-1 is not prime.  Res64: 0A22948C5BDB581A  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:04:07]
941*2^1228134-1 is not prime.  Res64: B3461DDA04667FF9  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:04:08]
725*2^1228134-1 is not prime.  Res64: BDE7E77FF607EAA3  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:04:10]
685*2^1228135-1 is not prime.  Res64: 84A7E26DF12B024E  Time : 0.0 sec.
user=vaughan
[2012-09-04 05:04:48]
991*2^1228133-1 is not prime.  Res64: 6C53374A69E71414  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:26:19]
961*2^1228135-1 is not prime.  Res64: CD63B02A6504C2AB  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:26:20]
973*2^1228135-1 is not prime.  Res64: AB1B2CC0A7A2757D  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:26:25]
615*2^1228136-1 is not prime.  Res64: 19E0EB8110B23778  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:26:26]
659*2^1228136-1 is not prime.  Res64: 14A27CFD4B6034F7  Time : 0.0 sec.
user=vaughan
[2012-09-04 05:42:36]
771*2^1228135-1 is not prime.  Res64: DB4026B2672151A8  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:47:25]
677*2^1228136-1 is not prime.  Res64: 5E9A6EA55F67C52F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:47:26]
825*2^1228136-1 is not prime.  Res64: B696126A725E66E1  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:47:29]
917*2^1228136-1 is not prime.  Res64: 10CE8CC129C2C987  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 05:47:30]
993*2^1228136-1 is not prime.  Res64: 6EDFE2ADC6006EC0  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:08:28]
601*2^1228137-1 is not prime.  Res64: 72028896A7F0A2A8  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:08:30]
609*2^1228137-1 is not prime.  Res64: 1E172DB499070487  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:08:32]
649*2^1228137-1 is not prime.  Res64: 6427F4832ACF9C0F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:08:34]
709*2^1228137-1 is not prime.  Res64: 6C42F683E658F4D3  Time : 0.0 sec.
user=vaughan
[2012-09-04 06:20:00]
999*2^1228136-1 is not prime.  Res64: 13AEEAB8786A1BA6  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:29:50]
727*2^1228137-1 is not prime.  Res64: E1181DDBAA42B633  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:29:52]
777*2^1228137-1 is not prime.  Res64: BBAE1D342FE35677  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:29:55]
829*2^1228137-1 is not prime.  Res64: 6A88F8EC51AF5302  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:29:57]
861*2^1228137-1 is not prime.  Res64: C2BF912EF5208BF3  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:50:54]
797*2^1228140-1 is not prime.  Res64: 338E7E727AEAC605  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:50:54]
857*2^1228140-1 is not prime.  Res64: DDA757175DD05FCB  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:50:55]
899*2^1228140-1 is not prime.  Res64: 391B38AFB69E7320  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 06:50:56]
905*2^1228140-1 is not prime.  Res64: 8CAAB724DC813D84  Time : 0.0 sec.
user=vaughan
[2012-09-04 06:57:21]
909*2^1228137-1 is not prime.  Res64: E503812C206672FD  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:11:53]
933*2^1228140-1 is not prime.  Res64: 1E934A58BD7DDA0C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:11:54]
987*2^1228140-1 is not prime.  Res64: 970C558D42E35A49  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:11:55]
959*2^1228140-1 is not prime.  Res64: 8B8080BEEF79267D  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:11:56]
607*2^1228141-1 is not prime.  Res64: FCF1354D6F4AB461  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:32:59]
819*2^1228141-1 is not prime.  Res64: 3D8DB44BE900383C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:32:59]
945*2^1228141-1 is not prime.  Res64: B90A92D34D20500A  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:33:01]
961*2^1228141-1 is not prime.  Res64: 66056908BEC14BC2  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:33:02]
671*2^1228142-1 is not prime.  Res64: D5EBC6357DDC774E  Time : 0.0 sec.
user=vaughan
[2012-09-04 07:34:42]
691*2^1228141-1 is not prime.  Res64: 570E6B75AEB3CAE6  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:54:02]
705*2^1228142-1 is not prime.  Res64: 2D6511A9F95EC4D8  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:54:02]
897*2^1228142-1 is not prime.  Res64: 46B166C747452EBC  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:54:03]
915*2^1228142-1 is not prime.  Res64: A52AAB9F5FBF91E4  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 07:54:04]
941*2^1228142-1 is not prime.  Res64: 1FB0E48138D26241  Time : 0.0 sec.
user=vaughan
[2012-09-04 08:12:00]
609*2^1228143-1 is not prime.  Res64: 24AD0D7DD2E05FC2  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:15:03]
691*2^1228143-1 is not prime.  Res64: 9DB19ED7FE0B3083  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:15:05]
735*2^1228143-1 is not prime.  Res64: 97F36244856A84A5  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:15:07]
693*2^1228143-1 is not prime.  Res64: FF810C06EBBF83CF  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:15:08]
663*2^1228144-1 is not prime.  Res64: AB5E4C70CB03C4AF  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:36:06]
765*2^1228144-1 is not prime.  Res64: 92EA5C2098B1753C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:36:07]
833*2^1228144-1 is not prime.  Res64: 82F873EF0840D699  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:36:12]
887*2^1228144-1 is not prime.  Res64: 10090ED28B839DE4  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:36:13]
905*2^1228144-1 is not prime.  Res64: EF2146803F62CA46  Time : 0.0 sec.
user=vaughan
[2012-09-04 08:49:23]
723*2^1228144-1 is not prime.  Res64: FB9539F50BEF6998  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:57:08]
909*2^1228144-1 is not prime.  Res64: 0135E04A71B27876  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:57:09]
917*2^1228144-1 is not prime.  Res64: 7BF081977E93B07F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:57:12]
929*2^1228144-1 is not prime.  Res64: B396F4A86FA2F937  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 08:57:12]
983*2^1228144-1 is not prime.  Res64: 56F4B0ADD7E9C15C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 09:18:12]
789*2^1228145-1 is not prime.  Res64: 5A9999CF9B0892B7  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 09:18:13]
697*2^1228145-1 is not prime.  Res64: 96E198CFD2C92903  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 09:18:13]
907*2^1228145-1 is not prime.  Res64: 517DF483962815F5  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 09:18:14]
771*2^1228145-1 is not prime.  Res64: B306238BF01B6FB2  Time : 0.0 sec.
user=vaughan
[2012-09-04 09:26:39]
995*2^1228144-1 is not prime.  Res64: A1290BC7BE53007F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 09:39:20]
987*2^1228145-1 is not prime.  Res64: A88240CB56B93FAE  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 09:39:21]
611*2^1228146-1 is not prime.  Res64: 30F69F908D3A2B47  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 09:39:22]
725*2^1228146-1 is not prime.  Res64: 3856469AC0D66E2D  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 09:39:22]
741*2^1228146-1 is not prime.  Res64: E8D1C1DD1A51DB3A  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:00:18]
971*2^1228146-1 is not prime.  Res64: C514B68FCC624293  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:00:19]
603*2^1228147-1 is not prime.  Res64: 01F1397DAEDC287C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:00:19]
983*2^1228146-1 is not prime.  Res64: 5A07BE213B2A1C9C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:00:20]
651*2^1228147-1 is not prime.  Res64: 120279E0E7CCA61B  Time : 0.0 sec.
user=vaughan
[2012-09-04 10:03:59]
903*2^1228146-1 is not prime.  Res64: FADAE2E9F444FE5D  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:21:22]
681*2^1228147-1 is not prime.  Res64: C8B4318FD8B0C4A5  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:21:23]
849*2^1228147-1 is not prime.  Res64: 7697E9676FC7B521  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:21:24]
861*2^1228147-1 is not prime.  Res64: E6F67CDAEFAA720A  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:21:24]
603*2^1228148-1 is not prime.  Res64: B687FEFE1125F108  Time : 0.0 sec.
user=vaughan
[2012-09-04 10:41:18]
623*2^1228148-1 is not prime.  Res64: ACBE0DEEADFE8C9B  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:42:16]
647*2^1228148-1 is not prime.  Res64: BADF8C917A09E910  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:42:17]
699*2^1228148-1 is not prime.  Res64: 233D58ABFC9ADA71  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:42:18]
773*2^1228148-1 is not prime.  Res64: 25E141430A618E85  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 10:42:18]
795*2^1228148-1 is not prime.  Res64: 97E52BE01EE82A81  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:03:04]
869*2^1228148-1 is not prime.  Res64: 933C989EB0F7CD6B  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:03:04]
915*2^1228148-1 is not prime.  Res64: E6846245B343900E  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:03:05]
959*2^1228148-1 is not prime.  Res64: 5587444008DFB811  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:03:06]
963*2^1228148-1 is not prime.  Res64: 5CF7B005C4D85B95  Time : 0.0 sec.
user=vaughan
[2012-09-04 11:18:35]
839*2^1228148-1 is not prime.  Res64: 722ECE82A3873DEC  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:23:56]
745*2^1228149-1 is not prime.  Res64: 478F37490250E5BD  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:23:56]
825*2^1228149-1 is not prime.  Res64: 75C81C58DDFD5CDF  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:23:56]
627*2^1228149-1 is not prime.  Res64: A327C14AE0046943  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:23:57]
657*2^1228149-1 is not prime.  Res64: 9E54CB134FFD8674  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:44:44]
611*2^1228150-1 is not prime.  Res64: 12C30FF871CDEB82  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:44:45]
717*2^1228150-1 is not prime.  Res64: 2874AAC31CB6BD86  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:44:45]
975*2^1228149-1 is not prime.  Res64: A8F9A35322F3D633  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 11:44:46]
985*2^1228149-1 is not prime.  Res64: F21FE601A0EF0D5D  Time : 0.0 sec.
user=vaughan
[2012-09-04 11:55:53]
895*2^1228149-1 is not prime.  Res64: 79DC4E5AF02EE22C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:05:38]
755*2^1228150-1 is not prime.  Res64: F8DF0D340A07D240  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:05:40]
897*2^1228150-1 is not prime.  Res64: F075D8127F69522C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:05:43]
857*2^1228150-1 is not prime.  Res64: 2724C99C68679D2B  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:05:49]
917*2^1228150-1 is not prime.  Res64: 68CB5F9CFAAF026D  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:27:15]
715*2^1228151-1 is not prime.  Res64: 8593DF3889E73ED4  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:27:16]
735*2^1228151-1 is not prime.  Res64: 1E3B82D96690C67F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:27:21]
813*2^1228151-1 is not prime.  Res64: 0C06A7234B399F0C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:27:22]
993*2^1228151-1 is not prime.  Res64: 270CE812A53823E2  Time : 0.0 sec.
user=vaughan
[2012-09-04 12:33:12]
643*2^1228151-1 is not prime.  Res64: 8A60818C6B41F5E5  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:48:17]
717*2^1228152-1 is not prime.  Res64: 2DEB16ECA44A608A  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:48:18]
863*2^1228152-1 is not prime.  Res64: 03197018FCDD3816  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:48:18]
983*2^1228152-1 is not prime.  Res64: 396C86DDFAFDF05A  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 12:48:19]
625*2^1228153-1 is not prime.  Res64: 07040F7BAAEB6428  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:09:14]
681*2^1228153-1 is not prime.  Res64: 988DD48808372A6A  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:09:15]
807*2^1228153-1 is not prime.  Res64: 46ADEC6B84E9C55C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:09:18]
789*2^1228153-1 is not prime.  Res64: 63E7859C27086020  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:09:18]
945*2^1228153-1 is not prime.  Res64: C5FB2970E3C19669  Time : 0.0 sec.
user=vaughan
[2012-09-04 13:10:30]
675*2^1228153-1 is not prime.  Res64: A85928E88DDC9449  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:30:26]
951*2^1228153-1 is not prime.  Res64: F572066B49D90B94  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:30:27]
683*2^1228154-1 is not prime.  Res64: A7A0262916CFE3D3  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:30:29]
711*2^1228154-1 is not prime.  Res64: F258AC3CD2DF3BB1  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:30:30]
875*2^1228154-1 is not prime.  Res64: A8E909F0116C964E  Time : 0.0 sec.
user=vaughan
[2012-09-04 13:47:50]
923*2^1228154-1 is not prime.  Res64: 0510C2873ADAEEA1  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:51:27]
951*2^1228154-1 is not prime.  Res64: E7426D640FBDFD88  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:51:28]
971*2^1228154-1 is not prime.  Res64: EEF04CA102AE11E8  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:51:28]
945*2^1228154-1 is not prime.  Res64: 5E9622CE66BD92E7  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 13:51:28]
1001*2^1228154-1 is not prime.  Res64: F1AF07ADF289B95E  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:12:18]
649*2^1228155-1 is not prime.  Res64: A9A22BD274125025  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:12:20]
709*2^1228155-1 is not prime.  Res64: 4DD54CD40D8A6426  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:12:23]
739*2^1228155-1 is not prime.  Res64: 8C01E58675EC483B  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:12:24]
859*2^1228155-1 is not prime.  Res64: D71D0FD143474610  Time : 0.0 sec.
user=vaughan
[2012-09-04 14:25:07]
601*2^1228155-1 is not prime.  Res64: 1B3058AB0082A87E  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:33:25]
639*2^1228156-1 is not prime.  Res64: B58B756125DF42CF  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:33:26]
869*2^1228156-1 is not prime.  Res64: B92C84EC224CA5FA  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:33:26]
927*2^1228156-1 is not prime.  Res64: 32128DD10D9DB077  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:33:26]
947*2^1228156-1 is not prime.  Res64: B3C8CC62CF06939D  Time : 0.0 sec.
user=juhehe
[2012-09-04 14:44:52]
891*2^1228155-1 is not prime.  Res64: DDEE291FFC24D89C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:54:22]
757*2^1228157-1 is not prime.  Res64: A26F2A066988E2DA  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:54:22]
837*2^1228157-1 is not prime.  Res64: D6AD52CB9985CBDA  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:54:25]
901*2^1228157-1 is not prime.  Res64: 228F279786C0043E  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 14:54:25]
937*2^1228157-1 is not prime.  Res64: F55292B32DA1DD64  Time : 0.0 sec.
user=vaughan
[2012-09-04 15:02:35]
969*2^1228156-1 is not prime.  Res64: 7E2449F86AD24BF9  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:15:20]
633*2^1228160-1 is not prime.  Res64: 1CD9A216BE91E084  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:15:22]
677*2^1228160-1 is not prime.  Res64: 7021BE9D6E55AE12  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:15:23]
717*2^1228160-1 is not prime.  Res64: A43D573B2A2BBCD6  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:15:24]
789*2^1228160-1 is not prime.  Res64: 49A1E8F4DA1F18DD  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:36:26]
825*2^1228160-1 is not prime.  Res64: 15623AC4B1AAEB3E  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:36:27]
843*2^1228160-1 is not prime.  Res64: 00A4398429458469  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:36:28]
977*2^1228160-1 is not prime.  Res64: F01E39981AF4179C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:36:29]
681*2^1228161-1 is not prime.  Res64: 35B9107596AC268A  Time : 0.0 sec.
user=vaughan
[2012-09-04 15:40:25]
797*2^1228160-1 is not prime.  Res64: 356A6D88F6319656  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:57:16]
991*2^1228161-1 is not prime.  Res64: 66FB4711D2E0BF0C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:57:17]
611*2^1228162-1 is not prime.  Res64: 51BBE2F6004A7BA5  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:57:18]
833*2^1228162-1 is not prime.  Res64: 03CAD223FA444345  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 15:57:18]
857*2^1228162-1 is not prime.  Res64: B06BF25B04848E84  Time : 0.0 sec.
user=vaughan
[2012-09-04 16:17:40]
867*2^1228162-1 is not prime.  Res64: CDE83B7F7236076D  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 16:18:29]
917*2^1228162-1 is not prime.  Res64: 83B86E37B91CF29F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 16:18:29]
947*2^1228162-1 is not prime.  Res64: BCF1B8F8937CD2D2  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 16:18:31]
987*2^1228162-1 is not prime.  Res64: 075767A04179241B  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 16:18:31]
995*2^1228162-1 is not prime.  Res64: 9D21CFEDCE95843F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 16:39:47]
855*2^1228163-1 is not prime.  Res64: 630202053697C1E6  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 16:39:48]
871*2^1228163-1 is not prime.  Res64: 1B980305AF44D6EC  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 16:40:20]
985*2^1228163-1 is not prime.  Res64: 5F1F4E8965487E2A  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 16:40:21]
615*2^1228164-1 is not prime.  Res64: BB2DE89E32813ECD  Time : 0.0 sec.
user=vaughan
[2012-09-04 16:54:58]
679*2^1228163-1 is not prime.  Res64: 5F1DE59C2DAD9C80  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 17:00:53]
629*2^1228164-1 is not prime.  Res64: EA7FA3A704982B0F  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 17:00:55]
899*2^1228164-1 is not prime.  Res64: 465FCB2FE1199755  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 17:01:22]
993*2^1228164-1 is not prime.  Res64: 0B2FFEF46087A885  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 17:01:23]
685*2^1228165-1 is not prime.  Res64: 4B0F86CB2225156B  Time : 0.0 sec.
user=vaughan
[2012-09-04 17:32:15]
789*2^1228165-1 is not prime.  Res64: 0937B364307EA3B7  Time : 0.0 sec.
user=vaughan
[2012-09-04 18:09:33]
999*2^1228165-1 is not prime.  Res64: 73FE27CA1BE200D0  Time : 0.0 sec.
user=vaughan
[2012-09-04 18:46:58]
711*2^1228166-1 is not prime.  Res64: 89C05F72BB1F5AB6  Time : 0.0 sec.
user=vaughan
[2012-09-04 19:24:17]
831*2^1228166-1 is not prime.  Res64: 54B40F399FC56400  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 19:31:53]
819*2^1228165-1 is not prime.  Res64: 06BBA7054B989378  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 19:31:54]
861*2^1228165-1 is not prime.  Res64: 754CD9616C379853  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 19:53:40]
945*2^1228166-1 is not prime.  Res64: A9F05FDD31F82C12  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 19:53:40]
981*2^1228166-1 is not prime.  Res64: BA16467B2A806CBF  Time : 0.0 sec.
user=vaughan
[2012-09-04 20:01:37]
935*2^1228166-1 is not prime.  Res64: 1ECF435C0C61E044  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 20:15:32]
775*2^1228167-1 is not prime.  Res64: 5049A63CB770D924  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 20:15:38]
825*2^1228167-1 is not prime.  Res64: 3B20C8BBBF28CFE0  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 20:37:36]
765*2^1228168-1 is not prime.  Res64: 8A7B45D0066AA807  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 20:37:37]
797*2^1228168-1 is not prime.  Res64: B3A66DA42944928B  Time : 0.0 sec.
user=vaughan
[2012-09-04 20:38:53]
829*2^1228167-1 is not prime.  Res64: 81192001E5010A02  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 20:58:49]
649*2^1228169-1 is not prime.  Res64: 3FB64DBD129CD91D  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 20:58:49]
745*2^1228169-1 is not prime.  Res64: 145629532314C4E2  Time : 0.0 sec.
user=vaughan
[2012-09-04 21:16:10]
771*2^1228169-1 is not prime.  Res64: 4A7CCF050037A783  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 21:19:56]
795*2^1228169-1 is not prime.  Res64: CBEF3B29D5B26EB1  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 21:19:57]
865*2^1228169-1 is not prime.  Res64: D7E86539FCAC2D89  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 21:30:35]
985*2^1228165-1 is not prime.  Res64: B12EEA7462FD0F03  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 21:30:36]
997*2^1228165-1 is not prime.  Res64: 61A40F3FE657135C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 21:41:00]
955*2^1228169-1 is not prime.  Res64: 302DC37AD0C31596  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 21:41:00]
635*2^1228170-1 is not prime.  Res64: 184D32878C859D98  Time : 0.0 sec.
user=vaughan
[2012-09-04 21:53:36]
949*2^1228169-1 is not prime.  Res64: 9B37818C2409081A  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:02:57]
651*2^1228170-1 is not prime.  Res64: D8B3F5A343939C58  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:02:59]
851*2^1228170-1 is not prime.  Res64: C2B4ED3B52B6634C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:03:15]
861*2^1228170-1 is not prime.  Res64: 95A8F2CCE9B90056  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:03:17]
905*2^1228170-1 is not prime.  Res64: 61B2CFDAE763FE91  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:24:16]
645*2^1228171-1 is not prime.  Res64: 1FC190E3BAB49C6D  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:24:17]
681*2^1228171-1 is not prime.  Res64: FF83F3B588204895  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:24:29]
703*2^1228171-1 is not prime.  Res64: 9499C901F67CFFBA  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:24:30]
733*2^1228171-1 is not prime.  Res64: 8D057371751D18F3  Time : 0.0 sec.
user=vaughan
[2012-09-04 22:30:51]
921*2^1228170-1 is not prime.  Res64: BFF89DBA9C65FE83  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:45:05]
741*2^1228171-1 is not prime.  Res64: 0864DF9AC9C59D89  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:45:07]
793*2^1228171-1 is not prime.  Res64: 3771E29A50A830A4  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:45:16]
885*2^1228171-1 is not prime.  Res64: ED54D46B69CA23FB  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 22:45:17]
999*2^1228171-1 is not prime.  Res64: A4D7F2FC6E8A951C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:05:50]
629*2^1228172-1 is not prime.  Res64: DF230453B10B7B4C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:05:53]
633*2^1228172-1 is not prime.  Res64: 3A0DC1619F3BB78D  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:06:05]
693*2^1228172-1 is not prime.  Res64: A8C0EF9C818F9B3C  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:06:10]
759*2^1228172-1 is not prime.  Res64: 1C731A8D35A1D1FD  Time : 0.0 sec.
user=vaughan
[2012-09-04 23:08:08]
617*2^1228172-1 is not prime.  Res64: 7DC3946138472F31  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:27:37]
797*2^1228172-1 is not prime.  Res64: 845DFE843D0AE056  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:27:38]
885*2^1228172-1 is not prime.  Res64: B68AB0FFC24CDDBC  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:27:39]
803*2^1228172-1 is not prime.  Res64: D1F5182B4E3EAB64  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:27:40]
903*2^1228172-1 is not prime.  Res64: 9C6A75606788039D  Time : 0.0 sec.
user=vaughan
[2012-09-04 23:45:26]
915*2^1228172-1 is not prime.  Res64: 043DEDE02A331F74  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:48:29]
957*2^1228172-1 is not prime.  Res64: DCD20D7F4E4B0644  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:48:30]
999*2^1228172-1 is not prime.  Res64: 29763D6F74D19B13  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:48:33]
625*2^1228173-1 is not prime.  Res64: 7906B88008D4F263  Time : 0.0 sec.
user=mdettweiler
[2012-09-04 23:48:34]
685*2^1228173-1 is not prime.  Res64: 71A625E4BB51B2FD  Time : 0.0 sec.