user=vaughan
[2012-09-07 00:18:52]
887*2^1228278-1 is not prime.  Res64: 3E8ED5FE15C0593F  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 00:18:52]
893*2^1228278-1 is not prime.  Res64: 03EC0BC301C97EA7  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 00:18:53]
639*2^1228279-1 is not prime.  Res64: 748191889F6C86C2  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 00:21:01]
681*2^1228279-1 is not prime.  Res64: 88E22CD64E6A73A4  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 00:21:02]
741*2^1228279-1 is not prime.  Res64: 9D17A750C0FF4CC2  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 00:39:35]
775*2^1228279-1 is not prime.  Res64: 0090F9D7F40612D1  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 00:39:36]
855*2^1228279-1 is not prime.  Res64: B37193359CE6B554  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 00:41:40]
889*2^1228279-1 is not prime.  Res64: 559FD09D03793C48  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 00:41:41]
913*2^1228279-1 is not prime.  Res64: 46DD5C18EFACEEFF  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:00:16]
603*2^1228280-1 is not prime.  Res64: 3AEF77903FBBBB9C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:00:17]
633*2^1228280-1 is not prime.  Res64: E9FB08DBCD8ED58F  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:02:19]
659*2^1228280-1 is not prime.  Res64: 41C3DD31B9DC5C3E  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:02:21]
773*2^1228280-1 is not prime.  Res64: 32FF74D2DCB71AA9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:21:01]
797*2^1228280-1 is not prime.  Res64: AC814FE016F7A157  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:21:01]
827*2^1228280-1 is not prime.  Res64: 2ECB07653C1B3B6B  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:23:00]
875*2^1228280-1 is not prime.  Res64: 609BAEF114570743  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:23:01]
601*2^1228281-1 is not prime.  Res64: D7B85C8C4F83C442  Time : 0.0 sec.
user=vaughan
[2012-09-07 01:29:16]
789*2^1228280-1 is not prime.  Res64: AEDECA6D18907A77  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:41:50]
651*2^1228281-1 is not prime.  Res64: 29B5EB70B0ADD508  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:41:51]
681*2^1228281-1 is not prime.  Res64: 3410DC2E8A49E33B  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:43:40]
747*2^1228281-1 is not prime.  Res64: EA0F0F200C873D50  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 01:43:41]
651*2^1228282-1 is not prime.  Res64: 274FEB6E3DD8B379  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:02:28]
777*2^1228282-1 is not prime.  Res64: 8B5DFA8665FB9DD5  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:02:29]
791*2^1228282-1 is not prime.  Res64: 94A14AAEC0C78360  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:04:20]
843*2^1228282-1 is not prime.  Res64: 1E2EF8A9C81F7DD1  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:04:22]
881*2^1228282-1 is not prime.  Res64: 526220504347EADB  Time : 0.0 sec.
user=vaughan
[2012-09-07 02:06:36]
677*2^1228282-1 is not prime.  Res64: E25536257BBCCCD6  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:23:20]
911*2^1228282-1 is not prime.  Res64: 2965E8829DC72518  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:23:21]
915*2^1228282-1 is not prime.  Res64: AA9B1900D11CA0B0  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:25:02]
703*2^1228283-1 is not prime.  Res64: 7BA3D9B27E77FBBF  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:25:04]
735*2^1228283-1 is not prime.  Res64: E8BE22EB4F4EE405  Time : 0.0 sec.
user=vaughan
[2012-09-07 02:43:58]
813*2^1228283-1 is not prime.  Res64: DE356B3967546C13  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:44:11]
871*2^1228283-1 is not prime.  Res64: B261612245B9E749  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:44:12]
949*2^1228283-1 is not prime.  Res64: 6ED4CC67378A95F7  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:45:39]
639*2^1228284-1 is not prime.  Res64: A970D51076180FEF  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 02:45:41]
905*2^1228284-1 is not prime.  Res64: 60252ABA326D7AC3  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 03:04:52]
965*2^1228284-1 is not prime.  Res64: 5B6688886CFDD0E8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 03:04:54]
651*2^1228285-1 is not prime.  Res64: 35C8B25D96370DD9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 03:06:20]
777*2^1228285-1 is not prime.  Res64: 994B2218787F2F15  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 03:06:22]
825*2^1228285-1 is not prime.  Res64: 7ADC8651C7BC4B98  Time : 0.0 sec.
user=vaughan
[2012-09-07 03:21:18]
929*2^1228284-1 is not prime.  Res64: F510A85AB545942C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 03:25:35]
889*2^1228285-1 is prime!  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 03:27:03]
615*2^1228286-1 is not prime.  Res64: 16E8E2C273BF2531  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 03:27:04]
801*2^1228286-1 is not prime.  Res64: 69D37707623FEAA9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 03:47:43]
893*2^1228286-1 is not prime.  Res64: 040B0976352E001D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 03:47:44]
987*2^1228286-1 is not prime.  Res64: 8501354354756825  Time : 0.0 sec.
user=vaughan
[2012-09-07 03:58:38]
813*2^1228286-1 is not prime.  Res64: 45CBD9F2E23E2064  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:07:47]
997*2^1228285-1 is not prime.  Res64: 9028076763C58D05  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:08:25]
951*2^1228287-1 is not prime.  Res64: 0B3F96F750F5DA93  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:08:28]
603*2^1228288-1 is not prime.  Res64: 8E453FCFEFF8254A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:28:30]
679*2^1228289-1 is not prime.  Res64: 360B9667529FA382  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:28:31]
931*2^1228289-1 is not prime.  Res64: 4E5063B54E97FB77  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:29:13]
985*2^1228289-1 is not prime.  Res64: 5DB75E118E8C00FE  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:29:14]
755*2^1228290-1 is not prime.  Res64: EA8BA3AFFB15B6FE  Time : 0.0 sec.
user=vaughan
[2012-09-07 04:35:58]
723*2^1228288-1 is not prime.  Res64: 7C3287E7FEBD62BB  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:49:10]
791*2^1228290-1 is not prime.  Res64: 4486EF8C39F4D089  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:49:11]
851*2^1228290-1 is not prime.  Res64: F7EBFAE1182F6E12  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:49:54]
875*2^1228290-1 is not prime.  Res64: B6FCF3868C0ED72A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 04:49:55]
615*2^1228291-1 is not prime.  Res64: E96F98F7E0AFD17D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:09:51]
693*2^1228291-1 is not prime.  Res64: 80E1E6021121E5A9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:09:53]
723*2^1228291-1 is not prime.  Res64: 8B3AD8D44CE02545  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:10:35]
829*2^1228291-1 is not prime.  Res64: 7466C0BE7666CE42  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:10:37]
861*2^1228291-1 is not prime.  Res64: 94596A2AC90B4748  Time : 0.0 sec.
user=vaughan
[2012-09-07 05:13:16]
645*2^1228291-1 is not prime.  Res64: 08D5BE441CA38448  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:30:39]
883*2^1228291-1 is not prime.  Res64: EA6A6789F1D52F23  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:30:41]
885*2^1228291-1 is not prime.  Res64: 8F16F42C13AFF805  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:31:15]
693*2^1228292-1 is not prime.  Res64: F0E54C4EFA785750  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:31:16]
717*2^1228292-1 is not prime.  Res64: 13B4041396340317  Time : 0.0 sec.
user=vaughan
[2012-09-07 05:50:36]
813*2^1228292-1 is not prime.  Res64: DA1430B40A7C4F6F  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:51:29]
893*2^1228292-1 is not prime.  Res64: D42E94F72E3AD975  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:51:30]
923*2^1228292-1 is not prime.  Res64: 67AB39AEF449D0C7  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:51:56]
983*2^1228292-1 is not prime.  Res64: 5D15C80DD4C3CA4D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 05:51:57]
639*2^1228293-1 is not prime.  Res64: 4E7AEB7E09702A0A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:12:07]
657*2^1228293-1 is not prime.  Res64: 0DAF09A33C2EC514  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:12:09]
735*2^1228293-1 is not prime.  Res64: 28B9E8A6CA7C055A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:12:35]
819*2^1228293-1 is not prime.  Res64: 6ABE88D6B91D4F25  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:12:37]
885*2^1228293-1 is not prime.  Res64: C53ADD5937E7D486  Time : 0.0 sec.
user=vaughan
[2012-09-07 06:27:54]
649*2^1228293-1 is not prime.  Res64: 2130173C3EFEB380  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:32:53]
895*2^1228293-1 is not prime.  Res64: 27C95501C6E840A8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:32:56]
951*2^1228293-1 is not prime.  Res64: A4D2C68E33C9F594  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:33:15]
645*2^1228294-1 is not prime.  Res64: E8359D7D83BB82C8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:33:16]
677*2^1228294-1 is not prime.  Res64: 73734CACE5BB1392  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:53:34]
785*2^1228294-1 is not prime.  Res64: 283ABFB51AACEAFD  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:53:35]
827*2^1228294-1 is not prime.  Res64: CAB228B92A316C62  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:53:57]
857*2^1228294-1 is not prime.  Res64: 3496E0C5C8414594  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 06:53:58]
887*2^1228294-1 is not prime.  Res64: CEB5A636C139A003  Time : 0.0 sec.
user=vaughan
[2012-09-07 07:05:20]
695*2^1228294-1 is not prime.  Res64: 16F814718219DF6B  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:14:13]
979*2^1228137-1 is not prime.  Res64: ED4DBE49A2120388  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:14:14]
755*2^1228138-1 is not prime.  Res64: 450E2689F1E097FF  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:14:35]
791*2^1228138-1 is not prime.  Res64: 6C9EB0B0629EC424  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:14:36]
861*2^1228138-1 is not prime.  Res64: DBE03A3D8435E80D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:35:03]
811*2^1228139-1 is not prime.  Res64: C79EBB2BD3198C98  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:35:04]
969*2^1228139-1 is not prime.  Res64: E7D638D22FB3AC64  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:35:10]
695*2^1228140-1 is not prime.  Res64: A4C6D0BE84922FBF  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:35:10]
717*2^1228140-1 is not prime.  Res64: 853FAD857A076095  Time : 0.0 sec.
user=vaughan
[2012-09-07 07:42:51]
995*2^1228138-1 is not prime.  Res64: 660126F9103DB8CA  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:55:44]
753*2^1228140-1 is not prime.  Res64: CF88547807FADFCA  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:55:45]
783*2^1228140-1 is not prime.  Res64: DF5AA49673A91236  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:55:46]
795*2^1228140-1 is not prime.  Res64: A037AE167534EDE5  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 07:55:47]
609*2^1228295-1 is not prime.  Res64: BC3C0263928E3998  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:16:24]
661*2^1228295-1 is not prime.  Res64: 4A9E04F98585E169  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:16:24]
759*2^1228295-1 is not prime.  Res64: 4444DCFD8E1E9D25  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:16:25]
721*2^1228295-1 is not prime.  Res64: 64206AC0F17E12E9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:16:25]
799*2^1228295-1 is not prime.  Res64: 02FF8A4A47FE162A  Time : 0.0 sec.
user=vaughan
[2012-09-07 08:20:11]
645*2^1228295-1 is not prime.  Res64: B359CF6E773194F9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:37:07]
981*2^1228295-1 is not prime.  Res64: 306E7FDF4FE78993  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:37:07]
843*2^1228295-1 is not prime.  Res64: 3E568646C3C6E354  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:37:08]
991*2^1228295-1 is not prime.  Res64: F6910884A175F3A4  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:37:08]
885*2^1228295-1 is not prime.  Res64: 13D9CBF548AD79A1  Time : 0.0 sec.
user=vaughan
[2012-09-07 08:57:28]
623*2^1228296-1 is not prime.  Res64: 527BCCCCC0BCC19F  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:57:44]
669*2^1228296-1 is not prime.  Res64: 103636081FDF0857  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:57:45]
777*2^1228296-1 is not prime.  Res64: AF522EC44F7A15C6  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:57:46]
803*2^1228296-1 is not prime.  Res64: B72E079A3F188DD5  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 08:57:47]
645*2^1228297-1 is not prime.  Res64: 919B0FCC90E9DEE7  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:18:25]
805*2^1228297-1 is not prime.  Res64: 5A66F18F2F7AF2DB  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:18:25]
885*2^1228297-1 is not prime.  Res64: 2F42AD98585E68BF  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:18:26]
807*2^1228297-1 is not prime.  Res64: 28AB0272EC5D4629  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:18:27]
641*2^1228298-1 is not prime.  Res64: 3CE533490456932D  Time : 0.0 sec.
user=vaughan
[2012-09-07 09:34:50]
799*2^1228297-1 is not prime.  Res64: 41150AD4177DEA8B  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:39:08]
657*2^1228298-1 is not prime.  Res64: 488C1959CA5E9C5D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:39:08]
683*2^1228298-1 is not prime.  Res64: E45F4267FBE1E48D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:39:09]
713*2^1228298-1 is not prime.  Res64: 2EC3C8FD14888631  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:39:09]
791*2^1228298-1 is not prime.  Res64: 343D54BCA2D034CA  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:59:44]
845*2^1228298-1 is not prime.  Res64: EFCA37496CD352A5  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:59:45]
861*2^1228298-1 is not prime.  Res64: 8F0A467166457634  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:59:45]
887*2^1228298-1 is not prime.  Res64: 482F5D93D81F3D16  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 09:59:46]
893*2^1228298-1 is not prime.  Res64: 16209C46F7251236  Time : 0.0 sec.
user=vaughan
[2012-09-07 10:12:07]
813*2^1228298-1 is not prime.  Res64: BD38EF6A06057E89  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 10:20:26]
935*2^1228298-1 is not prime.  Res64: 069B95589AF1FD2F  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 10:20:27]
941*2^1228298-1 is not prime.  Res64: 71402B8A8F9737A3  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 10:20:28]
957*2^1228298-1 is not prime.  Res64: D93B11FC6731278C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 10:20:30]
685*2^1228299-1 is not prime.  Res64: F259283843BE100F  Time : 0.0 sec.
user=juhehe
[2012-09-07 10:23:34]
915*2^1228284-1 is not prime.  Res64: B54006FDCC3719AD  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 10:41:09]
861*2^1228299-1 is not prime.  Res64: 774B34EE49E4EAD6  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 10:41:13]
675*2^1228300-1 is not prime.  Res64: 6C6F4C350367C188  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 10:41:16]
635*2^1228300-1 is not prime.  Res64: 32E9143EC052A606  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 10:41:16]
717*2^1228300-1 is not prime.  Res64: 03B5FED88471489C  Time : 0.0 sec.
user=vaughan
[2012-09-07 10:49:27]
721*2^1228299-1 is not prime.  Res64: 575272B866B75B19  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:01:52]
723*2^1228300-1 is not prime.  Res64: A71E5869D0F974C1  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:01:53]
899*2^1228300-1 is not prime.  Res64: 19F36AAA2668CB51  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:01:54]
777*2^1228300-1 is not prime.  Res64: 42E43631672CEA6A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:01:55]
923*2^1228300-1 is not prime.  Res64: 1FE99581BDCFD6EB  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:22:47]
685*2^1228301-1 is not prime.  Res64: 8475FDA08CD22C77  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:22:48]
711*2^1228301-1 is not prime.  Res64: D7C4E9661E1329DD  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:22:49]
715*2^1228301-1 is not prime.  Res64: B7043E3177EEAFB1  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:22:51]
931*2^1228301-1 is not prime.  Res64: 7CE2FF32A149F0D9  Time : 0.0 sec.
user=vaughan
[2012-09-07 11:26:46]
615*2^1228301-1 is not prime.  Res64: BAAE784FA23A1944  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:43:28]
677*2^1228302-1 is not prime.  Res64: D4962947B560036C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:43:30]
725*2^1228302-1 is not prime.  Res64: 5078DDCA4D3AA6A9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:43:31]
833*2^1228302-1 is not prime.  Res64: 1AAD29A935EF3EA0  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 11:43:32]
941*2^1228302-1 is not prime.  Res64: DC4115089A406C55  Time : 0.0 sec.
user=vaughan
[2012-09-07 12:04:09]
663*2^1228303-1 is not prime.  Res64: 085CBE34E31685B9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:04:28]
829*2^1228303-1 is not prime.  Res64: F64AE7529D5986EB  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:04:30]
861*2^1228303-1 is not prime.  Res64: 6CDDDA514E511DAA  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:04:33]
885*2^1228303-1 is not prime.  Res64: EA7FF4576EFD8A9F  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:04:35]
719*2^1228304-1 is not prime.  Res64: 565E98C0690179E3  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:25:39]
741*2^1228305-1 is not prime.  Res64: 934923CBF7B37873  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:25:39]
787*2^1228305-1 is not prime.  Res64: A54419E91EFC5435  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:25:45]
921*2^1228305-1 is not prime.  Res64: C2D2A149992BAFA1  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:25:46]
951*2^1228305-1 is not prime.  Res64: 0D63CFEEE9EC5821  Time : 0.0 sec.
user=vaughan
[2012-09-07 12:41:32]
727*2^1228305-1 is not prime.  Res64: 37394AD1FEB1CB7C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:46:30]
623*2^1228306-1 is not prime.  Res64: E3DD68B9FDF8278E  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:46:32]
701*2^1228306-1 is not prime.  Res64: 86FE2670BBD21404  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:46:34]
713*2^1228306-1 is not prime.  Res64: 965A79E60773100A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 12:46:34]
717*2^1228306-1 is not prime.  Res64: 36AB904962C1AB25  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:07:16]
803*2^1228306-1 is not prime.  Res64: 9B97E9E93F6F37AB  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:07:19]
843*2^1228306-1 is not prime.  Res64: EACFD983181E4B28  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:07:21]
873*2^1228306-1 is not prime.  Res64: 6E4CDB743A94612C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:07:24]
887*2^1228306-1 is not prime.  Res64: 84C123AA281B2F27  Time : 0.0 sec.
user=vaughan
[2012-09-07 13:18:49]
801*2^1228306-1 is not prime.  Res64: 511EE20EE86D873C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:28:47]
891*2^1228306-1 is not prime.  Res64: 1501A1150EB85A65  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:28:48]
941*2^1228306-1 is not prime.  Res64: D4E9E1EAFDAE023D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:28:50]
945*2^1228306-1 is not prime.  Res64: B3C178A0C4484744  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:28:50]
609*2^1228307-1 is not prime.  Res64: 75AC05CF0D4ECC95  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:49:44]
805*2^1228307-1 is not prime.  Res64: 9E82C93C18347847  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:49:44]
841*2^1228307-1 is not prime.  Res64: FC3B73372E2C4D97  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:49:45]
861*2^1228307-1 is not prime.  Res64: 00CA342246B33555  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 13:49:45]
979*2^1228307-1 is not prime.  Res64: 55E0B21C53F3F7DA  Time : 0.0 sec.
user=vaughan
[2012-09-07 13:56:28]
759*2^1228307-1 is not prime.  Res64: AF75CAB2AE97F428  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:10:35]
605*2^1228308-1 is not prime.  Res64: E8602131EC797B96  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:10:36]
737*2^1228308-1 is not prime.  Res64: 01A9F23EF5E96FE1  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:10:37]
663*2^1228308-1 is not prime.  Res64: 724A89D6D3D7A7B4  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:10:40]
843*2^1228308-1 is not prime.  Res64: 42525D539F561E5A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:31:25]
691*2^1228309-1 is not prime.  Res64: C95415EAB3F402EC  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:31:26]
729*2^1228309-1 is not prime.  Res64: D4F67790A3D32E00  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:31:29]
747*2^1228309-1 is not prime.  Res64: EF728258224A3709  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:31:30]
801*2^1228309-1 is not prime.  Res64: DE43C1335789BECD  Time : 0.0 sec.
user=vaughan
[2012-09-07 14:33:46]
609*2^1228309-1 is not prime.  Res64: 7BCC1ED1E72BBE23  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:52:11]
825*2^1228309-1 is not prime.  Res64: 629D76F1B772FA2C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:52:12]
829*2^1228309-1 is not prime.  Res64: EB7BEAC25B019900  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:52:13]
877*2^1228309-1 is not prime.  Res64: 667F2EAA78259AAB  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 14:52:13]
897*2^1228309-1 is not prime.  Res64: 5004E65DF3BE8A64  Time : 0.0 sec.
user=vaughan
[2012-09-07 15:11:01]
687*2^1228310-1 is not prime.  Res64: 6505910CE7BF5BB8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:12:52]
801*2^1228310-1 is not prime.  Res64: D6C1FFFE517F51E4  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:12:53]
917*2^1228310-1 is not prime.  Res64: 8A52167284637494  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:12:53]
995*2^1228310-1 is not prime.  Res64: B4BA2EFDB93AFBC8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:12:54]
625*2^1228311-1 is not prime.  Res64: 071E255A1C6FB0A6  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:33:38]
693*2^1228158-1 is not prime.  Res64: DC28C9DE315D3E50  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:33:38]
777*2^1228158-1 is not prime.  Res64: CC79E78FCFC7E8B9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:33:41]
791*2^1228158-1 is not prime.  Res64: DCF4D0FD0689C070  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:33:42]
821*2^1228158-1 is not prime.  Res64: 5419FDB7BFC4B969  Time : 0.0 sec.
user=vaughan
[2012-09-07 15:48:24]
967*2^1228157-1 is not prime.  Res64: 555EF7C46C2D2880  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:54:34]
933*2^1228158-1 is not prime.  Res64: CB8E1420A0FB0B03  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:54:35]
941*2^1228158-1 is not prime.  Res64: 674C4752ED057966  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:54:36]
971*2^1228158-1 is not prime.  Res64: 2B4101D00AC67F69  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 15:54:37]
693*2^1228159-1 is not prime.  Res64: BDA9F5931D9D89B8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:15:36]
919*2^1228159-1 is not prime.  Res64: DC393211C57E02C4  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:15:37]
933*2^1228159-1 is not prime.  Res64: A5AB03A797C452CD  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:15:37]
649*2^1228311-1 is not prime.  Res64: 606CEEA89076CCBC  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:15:38]
651*2^1228311-1 is not prime.  Res64: 6B3692570701E1E2  Time : 0.0 sec.
user=vaughan
[2012-09-07 16:25:40]
841*2^1228159-1 is not prime.  Res64: 04B6D3F70E39C2DE  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:36:48]
669*2^1228311-1 is not prime.  Res64: 85F76778FFD6E3E3  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:36:48]
723*2^1228311-1 is not prime.  Res64: 2C05E048F87A12E0  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:36:49]
781*2^1228311-1 is not prime.  Res64: 309588EBA8A32625  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:36:50]
783*2^1228311-1 is not prime.  Res64: A56F442E4E9D915B  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:57:51]
861*2^1228311-1 is not prime.  Res64: C84C506FDB2A42E7  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:57:51]
901*2^1228311-1 is not prime.  Res64: 81BC0D242B223EDC  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:57:53]
975*2^1228311-1 is not prime.  Res64: F0E386F8942D7A1B  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 16:57:54]
677*2^1228312-1 is not prime.  Res64: C2D953287B7C935E  Time : 0.0 sec.
user=vaughan
[2012-09-07 17:02:58]
793*2^1228311-1 is not prime.  Res64: 9BD9B5418E3CF6E9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 17:18:56]
695*2^1228312-1 is not prime.  Res64: 7A46559E7C8318D9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 17:18:57]
723*2^1228312-1 is not prime.  Res64: DDA1820062255AEE  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 17:18:57]
743*2^1228312-1 is not prime.  Res64: 5E7A43D63A74355C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 17:18:58]
765*2^1228312-1 is not prime.  Res64: D35F9D80BD350E77  Time : 0.0 sec.
user=vaughan
[2012-09-07 17:40:17]
825*2^1228312-1 is not prime.  Res64: 85581DDD3DDB046B  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 17:40:29]
619*2^1228313-1 is not prime.  Res64: 6979007683D6990F  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 17:40:29]
897*2^1228312-1 is not prime.  Res64: 4D0DF0900B314B30  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 17:40:30]
781*2^1228313-1 is not prime.  Res64: F7368A7C1514AE9A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 17:40:30]
939*2^1228312-1 is not prime.  Res64: 0465B31370CBB99D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:02:16]
915*2^1228313-1 is not prime.  Res64: EDE87584880FE67B  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:02:17]
981*2^1228313-1 is not prime.  Res64: CEDB2797B7EA06BF  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:02:17]
663*2^1228314-1 is not prime.  Res64: 8EB5DD06CA128814  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:02:18]
677*2^1228314-1 is not prime.  Res64: AF2C4B0434A90802  Time : 0.0 sec.
user=vaughan
[2012-09-07 18:17:35]
837*2^1228313-1 is not prime.  Res64: 6C842E14155F7B4D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:23:30]
837*2^1228314-1 is not prime.  Res64: 7EFBF47382767A2C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:23:31]
887*2^1228314-1 is not prime.  Res64: EB89377C5EC20C53  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:23:31]
891*2^1228314-1 is not prime.  Res64: 9216B8F6DF2136CC  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:23:33]
917*2^1228314-1 is not prime.  Res64: 7D31718E09B11DDA  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:45:04]
843*2^1228315-1 is not prime.  Res64: 91571FA139301942  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:45:04]
873*2^1228315-1 is not prime.  Res64: 0A83C631F86E6DA8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:45:05]
889*2^1228315-1 is not prime.  Res64: 45A065126EF4AF34  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 18:45:05]
603*2^1228316-1 is not prime.  Res64: C39513E94AB7395F  Time : 0.0 sec.
user=vaughan
[2012-09-07 18:54:53]
741*2^1228315-1 is not prime.  Res64: 1658A30CE5A1AB2A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:06:00]
699*2^1228316-1 is not prime.  Res64: FEC6507FCEDC4A2A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:06:01]
749*2^1228316-1 is not prime.  Res64: 3E8876B8CB2634B9  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:06:02]
999*2^1228316-1 is not prime.  Res64: 6F322BBFADB75F94  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:06:03]
777*2^1228316-1 is not prime.  Res64: 2D2863FB5595B952  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:26:53]
747*2^1228317-1 is not prime.  Res64: 0F70D7FD03C68AD7  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:26:54]
837*2^1228317-1 is not prime.  Res64: B11EB4A0EC0BBFA5  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:26:55]
919*2^1228317-1 is not prime.  Res64: A3DB1F9BECB2A843  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:26:56]
927*2^1228317-1 is not prime.  Res64: E2D7037E4B6C5409  Time : 0.0 sec.
user=vaughan
[2012-09-07 19:32:10]
625*2^1228317-1 is not prime.  Res64: ED07512805899518  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:47:29]
621*2^1228318-1 is not prime.  Res64: CDC695E30411FDA7  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:47:29]
645*2^1228318-1 is not prime.  Res64: 06ADEE03852069FA  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:47:30]
681*2^1228318-1 is not prime.  Res64: 0BB00739461BF286  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 19:47:31]
705*2^1228318-1 is not prime.  Res64: 3A46E76C76D6692A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:08:03]
801*2^1228318-1 is not prime.  Res64: BB388B8D959E8DD3  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:08:05]
843*2^1228318-1 is not prime.  Res64: AE7E25474192DCE8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:08:05]
857*2^1228318-1 is not prime.  Res64: 0C9A7A8DE146D4BA  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:08:05]
885*2^1228318-1 is not prime.  Res64: 4E60207AE2748E6D  Time : 0.0 sec.
user=vaughan
[2012-09-07 20:09:27]
731*2^1228318-1 is not prime.  Res64: C059533CA4233FC1  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:28:44]
1001*2^1228318-1 is not prime.  Res64: 5240EE698F641B46  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:28:44]
669*2^1228319-1 is not prime.  Res64: F0D1388B47DED2EE  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:28:45]
685*2^1228319-1 is not prime.  Res64: 84CBE81CE2918A21  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:28:45]
921*2^1228319-1 is not prime.  Res64: 54032187DD3B5ECE  Time : 0.0 sec.
user=vaughan
[2012-09-07 20:47:00]
949*2^1228319-1 is not prime.  Res64: F3EEEF360EAF03DF  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:49:22]
737*2^1228320-1 is not prime.  Res64: 91CE5C9C14A0825D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:49:23]
759*2^1228320-1 is not prime.  Res64: A4CD94BC0789BD0C  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:49:25]
985*2^1228319-1 is not prime.  Res64: EC54BB0FB2AA409A  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 20:49:25]
627*2^1228320-1 is not prime.  Res64: CBB11509EFA47751  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:10:12]
843*2^1228320-1 is not prime.  Res64: 9752ADE81C2639A0  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:10:14]
917*2^1228320-1 is not prime.  Res64: 0597CA7F8D47C2BC  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:10:15]
929*2^1228320-1 is not prime.  Res64: 2D78CDACC1148B02  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:10:18]
945*2^1228320-1 is not prime.  Res64: 4C07BDCE2EFCE24E  Time : 0.0 sec.
user=vaughan
[2012-09-07 21:24:27]
779*2^1228320-1 is not prime.  Res64: FE914F0C2B3D97C5  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:31:08]
999*2^1228320-1 is not prime.  Res64: FEFBF7287DCB1364  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:31:09]
601*2^1228321-1 is not prime.  Res64: 3C279BB2516064C5  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:31:13]
639*2^1228321-1 is not prime.  Res64: 1362ADB6CB83BA71  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:31:14]
681*2^1228321-1 is not prime.  Res64: DB887F68FBFB088D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:51:46]
819*2^1228321-1 is not prime.  Res64: 90BF4FD922CEE7AF  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:51:47]
633*2^1228322-1 is not prime.  Res64: B4727C70BDDE1993  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:51:52]
671*2^1228322-1 is not prime.  Res64: BE6AD99E9D7FEB55  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 21:51:53]
735*2^1228322-1 is not prime.  Res64: 11503F6790719475  Time : 0.0 sec.
user=vaughan
[2012-09-07 22:01:47]
687*2^1228321-1 is not prime.  Res64: 32119A06518F9DBD  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:12:26]
755*2^1228322-1 is not prime.  Res64: 638FD7AD6A8D8EA3  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:12:27]
767*2^1228322-1 is not prime.  Res64: 77D2179CC68B8925  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:12:32]
815*2^1228322-1 is not prime.  Res64: 0024DC470A5F489F  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:12:33]
843*2^1228322-1 is not prime.  Res64: C93B8BD7A482795E  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:33:13]
923*2^1228322-1 is not prime.  Res64: F6F103DDDC6D74B4  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:33:15]
945*2^1228322-1 is not prime.  Res64: 57A607830D34B4AC  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:33:16]
609*2^1228323-1 is not prime.  Res64: B4A0D15D166E39C8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:33:17]
613*2^1228323-1 is not prime.  Res64: CEECF4764E19F6E9  Time : 0.0 sec.
user=vaughan
[2012-09-07 22:39:14]
885*2^1228322-1 is not prime.  Res64: 909B8C27DB7B5100  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:53:51]
619*2^1228323-1 is not prime.  Res64: 399F287BEFAB5BB8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:53:51]
795*2^1228323-1 is not prime.  Res64: A0D888AA800382E4  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:53:51]
663*2^1228323-1 is not prime.  Res64: 48E6CF186A72A389  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 22:53:52]
873*2^1228323-1 is not prime.  Res64: CDA53075B4491AE8  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:14:27]
759*2^1228324-1 is not prime.  Res64: 64FC5229215CE2B6  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:14:29]
843*2^1228324-1 is not prime.  Res64: 0E0DD75FC2692992  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:14:31]
869*2^1228324-1 is not prime.  Res64: 92EDEE709C3927F7  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:14:36]
691*2^1228325-1 is not prime.  Res64: EEDE2E71207BBC39  Time : 0.0 sec.
user=vaughan
[2012-09-07 23:16:32]
609*2^1228324-1 is not prime.  Res64: 3403599E7406579F  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:35:22]
727*2^1228325-1 is not prime.  Res64: C7B07D61766E34AB  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:35:23]
831*2^1228325-1 is not prime.  Res64: 9E11FC56BBB34A9B  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:35:27]
847*2^1228325-1 is not prime.  Res64: 2A83F4483E054811  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:35:28]
885*2^1228325-1 is not prime.  Res64: 0F05F78686DACC8C  Time : 0.0 sec.
user=vaughan
[2012-09-07 23:53:52]
693*2^1228326-1 is not prime.  Res64: 756B13AEDD4D8BE1  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:56:02]
765*2^1228326-1 is not prime.  Res64: 21B737B605A87B8D  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:56:03]
807*2^1228326-1 is not prime.  Res64: AB540F23E2CA00DD  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:56:05]
887*2^1228326-1 is not prime.  Res64: C714D39E7EAE1040  Time : 0.0 sec.
user=mdettweiler
[2012-09-07 23:56:06]
933*2^1228326-1 is not prime.  Res64: E92DB804BB0B8338  Time : 0.0 sec.