user=mdettweiler
[2015-10-11 00:17:00]
937*2^1411693-1 is not prime.  Res64: DB860F84312E45C1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:17:00]
605*2^1411694-1 is not prime.  Res64: 96ED76F5B4F1CBCD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:18:56]
731*2^1411694-1 is not prime.  Res64: CE2DC739F722E464  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:18:56]
743*2^1411694-1 is not prime.  Res64: 8A0E8F177D5B96E1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:20:03]
795*2^1411694-1 is not prime.  Res64: F147549CD672B76A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:20:04]
875*2^1411694-1 is not prime.  Res64: 602350B0D3F7912C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:20:45]
957*2^1411694-1 is not prime.  Res64: 2666E9C8FF4EC13F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:20:46]
649*2^1411695-1 is not prime.  Res64: 245412ED67AE4186  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:36:12]
789*2^1411695-1 is not prime.  Res64: 91A30DBF2CBD9145  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:36:12]
825*2^1411695-1 is not prime.  Res64: 7CE1B55428EE70A2  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:37:57]
829*2^1411695-1 is not prime.  Res64: B946DC3D1C684BA6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:37:57]
861*2^1411695-1 is not prime.  Res64: F577BAA6184B17AD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:38:49]
887*2^1411696-1 is not prime.  Res64: EB9F8F02230823AC  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:38:49]
897*2^1411696-1 is not prime.  Res64: 614BA24C927CF201  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:39:36]
909*2^1411696-1 is not prime.  Res64: 21A1891F96EEB3C8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:39:36]
975*2^1411696-1 is not prime.  Res64: F72D560791EE9B53  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:54:28]
669*2^1411697-1 is not prime.  Res64: 2286B7A85C35BEC0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:54:28]
691*2^1411697-1 is not prime.  Res64: A02EE90E7F91C90D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:56:05]
699*2^1411697-1 is not prime.  Res64: 006D44BFEB619FB6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:56:06]
729*2^1411697-1 is not prime.  Res64: 1DE579AB9EA27A2A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:57:03]
799*2^1411697-1 is not prime.  Res64: 06E24AADF8211EB9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:57:03]
621*2^1411698-1 is not prime.  Res64: 3159C582F3BCA9C5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:57:43]
821*2^1411698-1 is not prime.  Res64: 488CEC84D68218CF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 00:57:44]
875*2^1411698-1 is not prime.  Res64: 36065C6757500EE0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:12:21]
945*2^1411698-1 is not prime.  Res64: 4433B1EFC0A104B6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:12:22]
993*2^1411698-1 is not prime.  Res64: 6FB210ECF7C4C701  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:14:11]
645*2^1411699-1 is not prime.  Res64: 510882CD263B773D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:14:11]
745*2^1411699-1 is not prime.  Res64: 7559D991B4184697  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:14:54]
769*2^1411699-1 is not prime.  Res64: 6C78B65B87EBD77C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:14:55]
891*2^1411699-1 is not prime.  Res64: 17340188AA2AA3D1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:15:38]
659*2^1411700-1 is not prime.  Res64: 1708982A220BA548  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:15:39]
665*2^1411700-1 is not prime.  Res64: AA14E7592FCBC47A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:30:26]
803*2^1411700-1 is not prime.  Res64: CA6BFCAA93F37BC7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:30:29]
827*2^1411700-1 is not prime.  Res64: 14B7608D53D1D534  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:32:10]
839*2^1411700-1 is not prime.  Res64: 567E629D2FEC8F4D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:32:11]
875*2^1411700-1 is not prime.  Res64: 3D0D8613D5109577  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:32:59]
879*2^1411700-1 is not prime.  Res64: 2719866F0D919DB8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:32:59]
945*2^1411700-1 is not prime.  Res64: 74D3D4FA81F755B8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:33:41]
741*2^1411701-1 is not prime.  Res64: 3C6D21D8384EC4A1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:33:41]
979*2^1411701-1 is not prime.  Res64: 4969692F544C1F7C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:49:21]
991*2^1411701-1 is not prime.  Res64: 496BBDF4D60711E4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:49:22]
681*2^1411702-1 is not prime.  Res64: D30BE5E0E5EBC5E4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:50:54]
741*2^1411702-1 is not prime.  Res64: 007A070C26A7FF02  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:50:55]
785*2^1411702-1 is not prime.  Res64: 1B27293EB6E83B19  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:51:41]
827*2^1411702-1 is not prime.  Res64: 5208D583364FE861  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:51:41]
857*2^1411702-1 is not prime.  Res64: CC37DEEBF4BAEB02  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:52:14]
867*2^1411702-1 is not prime.  Res64: E0BB01E660355349  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 01:52:14]
887*2^1411702-1 is not prime.  Res64: 4C39F3EA08A2FA34  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:07:16]
621*2^1411703-1 is not prime.  Res64: 88BFB78B199AD260  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:07:18]
673*2^1411703-1 is not prime.  Res64: 6A52EABBC0E502C5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:09:12]
675*2^1411703-1 is not prime.  Res64: 5E7637B4026AFDF8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:09:13]
693*2^1411703-1 is not prime.  Res64: 15A4707408B3214A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:09:50]
735*2^1411703-1 is not prime.  Res64: FAEBD21037789B37  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:09:50]
759*2^1411703-1 is not prime.  Res64: C49678A037B62096  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:10:42]
879*2^1411703-1 is not prime.  Res64: 8AC41978959D20D4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:10:42]
985*2^1411703-1 is not prime.  Res64: D409063DC63FAC1A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:26:06]
605*2^1411704-1 is not prime.  Res64: 61B0EA42AFEF7ACD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:26:06]
635*2^1411704-1 is not prime.  Res64: DDA6881B91BCF5B4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:28:07]
707*2^1411704-1 is not prime.  Res64: 4E39F7351646B5F8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:28:08]
825*2^1411704-1 is not prime.  Res64: 8393C431A3613057  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:28:09]
917*2^1411704-1 is not prime.  Res64: E0A868F6BA5FFF53  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:28:10]
945*2^1411704-1 is not prime.  Res64: 6E24AD811A95BC89  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:28:43]
975*2^1411704-1 is not prime.  Res64: 49C85B975C18D0A7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:28:44]
607*2^1411705-1 is not prime.  Res64: 8A7E0DB990E433E0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:44:14]
609*2^1411705-1 is not prime.  Res64: 20874983CF809D2B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:44:15]
649*2^1411705-1 is not prime.  Res64: 7F4D8663FF9A5AA7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:46:19]
775*2^1411705-1 is not prime.  Res64: CD92090AD40AA7F5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:46:20]
861*2^1411705-1 is not prime.  Res64: BA5018BE52A4E3F0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:46:25]
661*2^1411705-1 is not prime.  Res64: 21AD040E0C1153A5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:46:25]
705*2^1411705-1 is not prime.  Res64: 22A0BA4AC2C36E9D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:46:51]
975*2^1411705-1 is not prime.  Res64: EAB44966F1CF4500  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 02:46:52]
641*2^1411706-1 is not prime.  Res64: 5165796341AC0D80  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:02:10]
857*2^1411706-1 is not prime.  Res64: 3C7A42979FCA9ABB  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:02:13]
903*2^1411706-1 is not prime.  Res64: CBD2C170998D952F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:04:14]
1001*2^1411706-1 is not prime.  Res64: 0EBF9E8914F589B0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:04:15]
805*2^1411707-1 is not prime.  Res64: 54FDA9888885C6B2  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:04:19]
935*2^1411706-1 is not prime.  Res64: 6420E514B711B5A4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:04:22]
971*2^1411706-1 is not prime.  Res64: AE56CE0159366CEB  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:04:36]
819*2^1411707-1 is not prime.  Res64: A80ED542B702E0A1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:04:37]
849*2^1411707-1 is not prime.  Res64: B845E8042B686E9F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:20:21]
963*2^1411707-1 is not prime.  Res64: ACE6A30A5116CB3E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:20:21]
677*2^1411708-1 is not prime.  Res64: 138C1DAB9B50BFD9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:22:40]
885*2^1411708-1 is not prime.  Res64: 47770F605AE67C94  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:22:40]
927*2^1411708-1 is not prime.  Res64: AEBFB0F53C7062E3  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:22:42]
749*2^1411708-1 is not prime.  Res64: 330CA7DEEF32E351  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:22:42]
699*2^1411708-1 is not prime.  Res64: B152B310D846A6DE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:22:43]
843*2^1411708-1 is not prime.  Res64: 4DAE3A67764150F1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:22:43]
959*2^1411708-1 is not prime.  Res64: 97F5A3D1D9B871C8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:38:13]
999*2^1411708-1 is not prime.  Res64: D72F50AD7BACB2F7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:38:15]
699*2^1411709-1 is not prime.  Res64: 353F4D7BABBD9DEF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:40:33]
635*2^1411710-1 is not prime.  Res64: 089ECBFA092873C9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:40:35]
651*2^1411710-1 is not prime.  Res64: 342F5BF1F4C487A0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:40:38]
745*2^1411709-1 is not prime.  Res64: D0BC13BD917A7112  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:40:40]
769*2^1411709-1 is not prime.  Res64: 42FC790AE652AF41  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:40:41]
789*2^1411709-1 is not prime.  Res64: 153CFF15FDEF5E86  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:40:42]
627*2^1411710-1 is not prime.  Res64: C2ABA6DCFF4109A2  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:56:30]
713*2^1411710-1 is not prime.  Res64: 6B12ACD2ABCC1A6E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:56:31]
843*2^1411710-1 is not prime.  Res64: 5AA1838E5E902C6F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:58:37]
867*2^1411710-1 is not prime.  Res64: 27B5174FC8045837  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:58:37]
893*2^1411710-1 is not prime.  Res64: 3D66DD3326F270F0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:58:39]
789*2^1411711-1 is not prime.  Res64: 757C9869546B5972  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:58:39]
805*2^1411711-1 is not prime.  Res64: 6169E1986D013590  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:58:40]
971*2^1411710-1 is not prime.  Res64: AEBC5633089FE51B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 03:58:41]
645*2^1411711-1 is not prime.  Res64: 3EAD10A6F893D9A1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:15:18]
843*2^1411711-1 is not prime.  Res64: 5C7C3D7188E0336D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:15:19]
909*2^1411711-1 is not prime.  Res64: E6A3409DD85CC72B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:17:13]
753*2^1411712-1 is not prime.  Res64: B55FE2BC6C993F66  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:17:13]
633*2^1411712-1 is not prime.  Res64: 6432226DEBB5D645  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:17:13]
855*2^1411712-1 is not prime.  Res64: 626679F7B3C3B11E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:17:13]
635*2^1411712-1 is not prime.  Res64: CFCC75DFB4CD1E41  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:17:18]
867*2^1411712-1 is not prime.  Res64: 8FF9257C657200AF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:17:19]
903*2^1411712-1 is not prime.  Res64: 555DA026C9E75280  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:33:43]
999*2^1411712-1 is not prime.  Res64: 19C3187C1CB84D34  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:33:43]
651*2^1411713-1 is not prime.  Res64: 572365C316698579  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:35:36]
755*2^1411714-1 is not prime.  Res64: 0A101CF113640375  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:35:37]
773*2^1411714-1 is not prime.  Res64: 7FFCF0344BD97A21  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:35:41]
685*2^1411713-1 is not prime.  Res64: B902E5067709887C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:35:41]
741*2^1411714-1 is not prime.  Res64: 89383E81D4A15412  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:35:53]
791*2^1411714-1 is not prime.  Res64: 5BAC8B0FC9AAF32E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:35:54]
887*2^1411714-1 is not prime.  Res64: 7E6E498A75F2C997  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:51:53]
945*2^1411714-1 is not prime.  Res64: 2CDCBB1472240720  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:51:53]
971*2^1411714-1 is not prime.  Res64: 4C1BB783C1D5FFCA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:53:37]
663*2^1411715-1 is not prime.  Res64: EB6E14D847CE5DF8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:53:37]
759*2^1411715-1 is not prime.  Res64: 2580A0E510FBBBDE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:53:54]
819*2^1411715-1 is not prime.  Res64: 2B8BA362EED67A3F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:53:55]
913*2^1411715-1 is not prime.  Res64: 4E1FDC2E55BB5F96  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:53:56]
969*2^1411715-1 is not prime.  Res64: BE2DF97EF6AE404A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 04:53:57]
765*2^1411716-1 is not prime.  Res64: 6FB125995AE2C3B8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:09:55]
777*2^1411716-1 is not prime.  Res64: 3F101F45C796FADC  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:09:56]
661*2^1411717-1 is not prime.  Res64: 8BA81700D61CE23D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:11:35]
675*2^1411717-1 is not prime.  Res64: 3F2B4898913A67A9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:11:36]
699*2^1411717-1 is not prime.  Res64: 5246871FDEB8DAD4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:11:49]
961*2^1411717-1 is not prime.  Res64: 8A7376762B9882C4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:11:49]
773*2^1411718-1 is not prime.  Res64: 6DE7C9CBA3294E96  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:11:55]
777*2^1411717-1 is not prime.  Res64: A3DECBD175B8A023  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:11:56]
919*2^1411717-1 is not prime.  Res64: 25D592F701FFAA81  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:27:58]
825*2^1411718-1 is not prime.  Res64: 8BEE44DCE746F99B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:27:58]
831*2^1411718-1 is not prime.  Res64: 992DB033B460480C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:29:42]
987*2^1411718-1 is not prime.  Res64: AD57BF3863139AB8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:29:42]
649*2^1411719-1 is not prime.  Res64: B3ECA42AD4458725  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:29:46]
709*2^1411719-1 is not prime.  Res64: 46C5DA65BBDFB406  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:29:46]
831*2^1411719-1 is not prime.  Res64: 8997CA4AB55A2892  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:29:57]
865*2^1411719-1 is not prime.  Res64: 77D66458BBB731C0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:29:57]
885*2^1411719-1 is not prime.  Res64: 1A28D9F09F30EFF4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:46:02]
933*2^1411719-1 is not prime.  Res64: 4189FC3515A7691E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:46:03]
975*2^1411719-1 is not prime.  Res64: 5C731FFD5AEE32D5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:47:41]
623*2^1411720-1 is not prime.  Res64: 6340C203C0F59852  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:47:42]
695*2^1411720-1 is not prime.  Res64: DC7704735AA66F9E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:47:55]
863*2^1411720-1 is not prime.  Res64: 7F060C8F0591D4DD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:47:55]
983*2^1411720-1 is not prime.  Res64: 2EC1734416A2E509  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:47:55]
887*2^1411720-1 is not prime.  Res64: 699948AA613E47E8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 05:47:55]
789*2^1411721-1 is not prime.  Res64: 4457AC9FDDB1672B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:03:51]
901*2^1411721-1 is not prime.  Res64: 6DDB50314EC827E7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:03:52]
907*2^1411721-1 is not prime.  Res64: 7B42C0A26760E978  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:05:40]
909*2^1411721-1 is not prime.  Res64: ABAA037BEAFAEEC1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:05:41]
925*2^1411721-1 is not prime.  Res64: C5C8F2FBC6DA33CF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:05:51]
955*2^1411721-1 is not prime.  Res64: 19A5D4BFCC4E0F9E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:05:52]
677*2^1411722-1 is not prime.  Res64: 5D82E750C00D9851  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:06:00]
735*2^1411722-1 is not prime.  Res64: 68D95F2E890F19E4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:06:01]
801*2^1411722-1 is not prime.  Res64: 543B2B9370E6E2C6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:21:48]
803*2^1411722-1 is not prime.  Res64: 4EA604543105A08E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:21:48]
807*2^1411722-1 is not prime.  Res64: 63391800B3834A49  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:23:40]
867*2^1411722-1 is not prime.  Res64: E772B7B7E4800D01  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:23:40]
603*2^1411723-1 is not prime.  Res64: F730B31F8ACF55C4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:23:48]
615*2^1411723-1 is not prime.  Res64: 6AEBD6272F9E1720  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:23:48]
973*2^1411723-1 is not prime.  Res64: 2E277DB93460C4F4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:23:58]
605*2^1411724-1 is not prime.  Res64: 89945DA8211DC0E5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:23:59]
767*2^1411724-1 is not prime.  Res64: D214865730ECC025  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:39:42]
855*2^1411724-1 is not prime.  Res64: CB10E04BC016B9F6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:39:43]
869*2^1411724-1 is not prime.  Res64: CA829ABE5E252687  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:41:38]
873*2^1411724-1 is not prime.  Res64: B1DC5BA05B043339  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:41:39]
875*2^1411724-1 is not prime.  Res64: DAB4DA04A123DC71  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:41:50]
655*2^1411725-1 is not prime.  Res64: C879EA816B23ACEA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:41:50]
741*2^1411725-1 is not prime.  Res64: F1094235CE6984EF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:41:56]
903*2^1411724-1 is not prime.  Res64: 81FCB06E8B74A141  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:41:57]
945*2^1411724-1 is not prime.  Res64: B071575F9F0A317A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:57:34]
765*2^1411725-1 is not prime.  Res64: 0F0FD6740AEB0367  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:57:35]
781*2^1411725-1 is not prime.  Res64: E6F810E6238E5E75  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:59:34]
871*2^1411725-1 is not prime.  Res64: 85D39E714999B31B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:59:35]
889*2^1411725-1 is not prime.  Res64: 0ABBADF22575B93B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:59:43]
997*2^1411725-1 is not prime.  Res64: 4035CF1CAB54C950  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:59:43]
999*2^1411725-1 is not prime.  Res64: 543E3704528F37B0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:59:52]
603*2^1411726-1 is not prime.  Res64: DCF6EF4A70EC5653  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 06:59:53]
737*2^1411726-1 is not prime.  Res64: 0A5C4C3ADFAEECAB  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:15:29]
761*2^1411726-1 is not prime.  Res64: 4A1285E5986C6C53  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:15:29]
821*2^1411726-1 is not prime.  Res64: 7865801DBCE433BA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:17:33]
833*2^1411726-1 is not prime.  Res64: 820F4FA58C90E86C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:17:34]
903*2^1411726-1 is not prime.  Res64: 12C3D5F53114EAFD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:17:50]
619*2^1411727-1 is not prime.  Res64: 91F696FE0CF71853  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:17:50]
775*2^1411727-1 is not prime.  Res64: 5DC93826AAFED95F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:17:51]
859*2^1411727-1 is not prime.  Res64: F0E43ABC1D331B55  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:17:51]
705*2^1411727-1 is not prime.  Res64: C9FD1308255E35A0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:33:29]
861*2^1411727-1 is not prime.  Res64: 6836ACFAC5B7B825  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:33:30]
871*2^1411727-1 is not prime.  Res64: 563ADC654D93DC5F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:35:38]
945*2^1411727-1 is not prime.  Res64: 89B547EF8B8EDC03  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:35:38]
825*2^1411728-1 is not prime.  Res64: 2A92216E268AE535  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:35:46]
849*2^1411728-1 is not prime.  Res64: 5872B6D5F563AA26  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:35:47]
875*2^1411728-1 is not prime.  Res64: 8286FAA84BF9C6B7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:35:53]
929*2^1411728-1 is not prime.  Res64: AFF7D960A53B672D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:35:54]
959*2^1411728-1 is not prime.  Res64: 650942250880CEF6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:51:22]
615*2^1411729-1 is not prime.  Res64: 6CD121EF74C821C1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:51:22]
649*2^1411729-1 is not prime.  Res64: 4CED57A8759BA11F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:53:25]
729*2^1411729-1 is not prime.  Res64: D2C5411470BB8DAD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:53:25]
759*2^1411729-1 is not prime.  Res64: E3D3BB41B52A8486  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:53:51]
847*2^1411729-1 is not prime.  Res64: 38DCFD036BD9A6F7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:53:51]
855*2^1411729-1 is not prime.  Res64: FD469D1BFC4E7755  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:53:51]
861*2^1411729-1 is not prime.  Res64: 4BD8B3DE1FE6CCA6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 07:53:51]
665*2^1411730-1 is not prime.  Res64: FC573E107E05BB7E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:09:18]
675*2^1411730-1 is not prime.  Res64: 0BE44E15DDDC0255  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:09:19]
755*2^1411730-1 is not prime.  Res64: 1200C8BAFADEF15E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:11:17]
797*2^1411730-1 is not prime.  Res64: 999AF986B2438B02  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:11:18]
831*2^1411730-1 is not prime.  Res64: FC77752CC2CB7A67  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:11:50]
783*2^1411731-1 is not prime.  Res64: B68DDC0ED9F79773  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:11:50]
945*2^1411730-1 is not prime.  Res64: 3509B38C47B62061  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:11:50]
879*2^1411731-1 is not prime.  Res64: 035138F9B532CEE3  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:11:50]
769*2^1411731-1 is not prime.  Res64: 646DDEEBF828F498  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:27:22]
955*2^1411731-1 is not prime.  Res64: FDE212011A29C3AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:27:22]
705*2^1411732-1 is not prime.  Res64: C3E32FBB3957FA1E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:29:15]
915*2^1411732-1 is not prime.  Res64: E84F64939A46BB6D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:29:16]
615*2^1411733-1 is not prime.  Res64: 163D38EBFB8EDAD2  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:29:50]
715*2^1411733-1 is not prime.  Res64: 5FEBCAFB22630B7D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:29:51]
781*2^1411733-1 is not prime.  Res64: 80DDFDCE63636303  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:29:56]
861*2^1411733-1 is not prime.  Res64: 5826AF5677353165  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:29:56]
939*2^1411733-1 is not prime.  Res64: 8E788C1B455BB009  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:45:21]
951*2^1411733-1 is not prime.  Res64: 19369D662F3E5A30  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:45:22]
981*2^1411733-1 is not prime.  Res64: 7CDCEA6FA6578A7A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:47:08]
665*2^1411734-1 is not prime.  Res64: 01FBEA47350E3E53  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:47:08]
717*2^1411734-1 is not prime.  Res64: 702A06A15B6C1540  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:47:43]
941*2^1411734-1 is not prime.  Res64: 7E5B08C8B37C4A7B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:47:43]
983*2^1411734-1 is not prime.  Res64: 0AFC3F093F3650C2  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:47:49]
639*2^1411735-1 is not prime.  Res64: 91B1C6E95CACCEA5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 08:47:49]
841*2^1411735-1 is not prime.  Res64: C74806C5241B6F65  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:03:24]
843*2^1411735-1 is not prime.  Res64: B5F7222CF52407E1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:03:24]
635*2^1411736-1 is not prime.  Res64: 46E4FA5B4D0CDBBF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:05:06]
825*2^1411736-1 is not prime.  Res64: F4169312C67BCAD9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:05:07]
869*2^1411736-1 is not prime.  Res64: 68BECA8B0F543535  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:05:29]
717*2^1411737-1 is not prime.  Res64: 17CB4F9DEEDB2EE5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:05:31]
747*2^1411737-1 is not prime.  Res64: 1D20D9EC3C438027  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:05:42]
759*2^1411737-1 is not prime.  Res64: B547DAC661A4AF9F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:05:43]
865*2^1411737-1 is not prime.  Res64: AAD595F0A8B3820F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:21:19]
867*2^1411737-1 is not prime.  Res64: 05B649DD38E09045  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:21:19]
885*2^1411737-1 is not prime.  Res64: 1FBC4DBE94D292AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:23:04]
991*2^1411737-1 is not prime.  Res64: B347D934F90D76C9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:23:05]
603*2^1411738-1 is not prime.  Res64: 99AB0F4CD9BD39BF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:23:32]
621*2^1411738-1 is not prime.  Res64: A41C7D74B3F14E6A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:23:32]
713*2^1411738-1 is not prime.  Res64: AEEA593A64BB8F48  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:23:41]
881*2^1411738-1 is not prime.  Res64: 5C73245DABD274CC  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:23:42]
911*2^1411738-1 is not prime.  Res64: F9C3638D02EC36D7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:39:09]
711*2^1411739-1 is not prime.  Res64: AA081A006A536C6C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:39:09]
741*2^1411739-1 is not prime.  Res64: 3E331F3E5357FAFD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:40:55]
759*2^1411739-1 is not prime.  Res64: B150972C0D61F54A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:40:56]
843*2^1411739-1 is not prime.  Res64: 1688244062714CBE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:41:27]
903*2^1411739-1 is not prime.  Res64: 40C8A857F1D984EC  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:41:27]
943*2^1411739-1 is not prime.  Res64: 21B126F6E3E85AA9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:41:32]
949*2^1411739-1 is not prime.  Res64: 92DE5321737692A9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:41:32]
979*2^1411739-1 is not prime.  Res64: 3992FB9A2E4A5DA6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:57:03]
985*2^1411739-1 is not prime.  Res64: EFED244115D01B99  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:57:03]
999*2^1411739-1 is not prime.  Res64: D40D3D3E9F173CAF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:58:46]
635*2^1411740-1 is not prime.  Res64: 54DC7E16230B6907  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:58:46]
665*2^1411740-1 is not prime.  Res64: DF24523706403C13  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:59:16]
759*2^1411740-1 is not prime.  Res64: EBA023172C4B0E09  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:59:17]
789*2^1411740-1 is not prime.  Res64: 4E65CB926E149E62  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:59:27]
819*2^1411740-1 is not prime.  Res64: 5E9E72C50FB71BC4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 09:59:27]
867*2^1411740-1 is not prime.  Res64: E865D91D86916B92  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:15:17]
935*2^1411740-1 is not prime.  Res64: C066618FAD533DA4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:15:17]
975*2^1411740-1 is not prime.  Res64: 64758745104291A2  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:16:45]
983*2^1411740-1 is not prime.  Res64: CC6AF0350F1A99D9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:16:46]
999*2^1411740-1 is not prime.  Res64: 5CBEF709D6B5EE09  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:17:22]
889*2^1411741-1 is not prime.  Res64: FD41D6020B4C602E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:17:22]
939*2^1411741-1 is not prime.  Res64: CFF8605D4A6429F4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:17:22]
615*2^1411741-1 is not prime.  Res64: F4FF572D1AE13C16  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:17:23]
871*2^1411741-1 is not prime.  Res64: CDC90EE5F7BFA340  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:33:24]
961*2^1411741-1 is not prime.  Res64: C69A9CFE2C26A693  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:33:25]
801*2^1411742-1 is not prime.  Res64: 823778AFB945DA3A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:35:02]
893*2^1411742-1 is not prime.  Res64: 7FD79ACE7DEDAE4D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:35:02]
625*2^1411743-1 is not prime.  Res64: 74992958CE488ADA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:35:25]
679*2^1411743-1 is not prime.  Res64: 861E96F85025DA0A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:35:25]
765*2^1411743-1 is not prime.  Res64: 94DB9DB2FE75C44C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:35:38]
789*2^1411743-1 is not prime.  Res64: 7541E5A3B56053C7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:35:38]
819*2^1411743-1 is not prime.  Res64: A9AACF461FD65604  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:51:27]
823*2^1411743-1 is not prime.  Res64: E0EDB9B9349179E1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:51:27]
901*2^1411743-1 is not prime.  Res64: FFFD3C8A11E5D84E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:52:56]
961*2^1411743-1 is not prime.  Res64: 449A5E54112FB439  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:52:57]
675*2^1411744-1 is not prime.  Res64: B372DFED50300AFE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:53:21]
759*2^1411744-1 is not prime.  Res64: FE4076C99DD64453  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:53:21]
813*2^1411744-1 is not prime.  Res64: 8462A94F148154E2  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:53:37]
863*2^1411744-1 is not prime.  Res64: 5D42F6D892F26F6A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 10:53:37]
915*2^1411744-1 is not prime.  Res64: 4E5D5DCEFE482E14  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:09:31]
983*2^1411744-1 is not prime.  Res64: E792750551C1B02D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:09:32]
601*2^1411745-1 is not prime.  Res64: A81CA188CB6DCDDA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:11:12]
721*2^1411745-1 is not prime.  Res64: A59D530BC2D56250  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:11:12]
861*2^1411745-1 is not prime.  Res64: EC45EF6DEAD9CAE7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:11:18]
949*2^1411745-1 is not prime.  Res64: 51E898120FD36BE8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:11:18]
713*2^1411746-1 is not prime.  Res64: F7DA5540AFD41745  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:11:33]
747*2^1411746-1 is not prime.  Res64: 2400D97FAC18B5E1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:11:33]
851*2^1411746-1 is not prime.  Res64: 5D55A8CC2E8376C0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:27:31]
619*2^1411747-1 is not prime.  Res64: 44DCC4E802BA1252  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:27:32]
759*2^1411747-1 is not prime.  Res64: 7AC00DDF885C3C90  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:29:08]
769*2^1411747-1 is not prime.  Res64: 054F28A6883CFE56  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:29:08]
805*2^1411747-1 is not prime.  Res64: E7B8079A68A09466  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:29:16]
819*2^1411747-1 is not prime.  Res64: 8AF43B163BB71DCD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:29:17]
931*2^1411747-1 is not prime.  Res64: F8AE92D8E99FC219  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:29:30]
635*2^1411748-1 is not prime.  Res64: AE81B2A90AF90F96  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:29:30]
669*2^1411748-1 is not prime.  Res64: 72F311EC2320B7D5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:45:24]
825*2^1411748-1 is not prime.  Res64: 4E038205EDA72A10  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:45:25]
837*2^1411748-1 is not prime.  Res64: ACCA495491199FB4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:46:59]
839*2^1411748-1 is not prime.  Res64: 9FA8B252BA03DAB5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:47:00]
897*2^1411748-1 is not prime.  Res64: F9792CBB050C8C09  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:47:06]
615*2^1411749-1 is not prime.  Res64: 4C359CCF139987B7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:47:06]
621*2^1411749-1 is not prime.  Res64: 321CAD89F100D162  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:47:28]
667*2^1411749-1 is not prime.  Res64: 213CFDDD43DD28AA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 11:47:28]
735*2^1411749-1 is not prime.  Res64: 76417774F07C4144  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:03:14]
765*2^1411749-1 is not prime.  Res64: 9A7AB42B4DEB839A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:03:15]
837*2^1411749-1 is not prime.  Res64: 5D45773506873AB0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:04:50]
945*2^1411749-1 is not prime.  Res64: C3723E4E9366FB41  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:04:52]
955*2^1411749-1 is not prime.  Res64: 379C7BE5F5112A45  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:04:57]
603*2^1411750-1 is not prime.  Res64: 053E21A53D1CF49E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:04:57]
867*2^1411750-1 is not prime.  Res64: 7B5D1C1C7F274756  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:05:31]
987*2^1411750-1 is not prime.  Res64: 9999CE3748468685  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:05:32]
609*2^1411751-1 is not prime.  Res64: C7814C62C8E871AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:21:10]
663*2^1411751-1 is not prime.  Res64: C3C3E40CF0F5C349  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:21:11]
781*2^1411751-1 is not prime.  Res64: 60E1FEA1E48401A2  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:22:50]
943*2^1411751-1 is not prime.  Res64: A8C72B0CC503D5C7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:22:51]
605*2^1411752-1 is not prime.  Res64: 3408589CDABBA8DD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:22:55]
855*2^1411751-1 is not prime.  Res64: 5600CCEE46642E4E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:22:55]
885*2^1411751-1 is not prime.  Res64: 4D9EE2B3B844EB7D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:23:33]
629*2^1411752-1 is not prime.  Res64: F5AF8E0F4C9DAD1D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:23:34]
635*2^1411752-1 is not prime.  Res64: 144D340427802813  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:39:07]
837*2^1411752-1 is not prime.  Res64: 05D2D445C7BDAFDB  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:39:07]
849*2^1411752-1 is not prime.  Res64: 75783337D17D2A54  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:40:42]
637*2^1411753-1 is not prime.  Res64: D4B5EB5A9C7A772E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:40:42]
751*2^1411753-1 is not prime.  Res64: 64A257F9B84CFF78  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:40:59]
771*2^1411753-1 is not prime.  Res64: C710B74A29786D8C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:40:59]
861*2^1411753-1 is not prime.  Res64: E7B5B3AA085FB86E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:41:33]
877*2^1411753-1 is not prime.  Res64: 0CDF5C6AD0FF3712  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:41:34]
633*2^1411754-1 is not prime.  Res64: 9CEBA47FB1EE1173  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:57:09]
903*2^1411754-1 is not prime.  Res64: CBC05F0596F101FE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:57:09]
921*2^1411754-1 is not prime.  Res64: 7578B6449E07A1D5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:58:34]
927*2^1411754-1 is not prime.  Res64: D86F32A5D1DACF69  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:58:34]
971*2^1411754-1 is not prime.  Res64: 72FD3E10D226A45F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:58:49]
669*2^1411755-1 is not prime.  Res64: 7A8895F82B00A881  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:58:49]
789*2^1411755-1 is not prime.  Res64: 577A020A11C4C387  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:59:33]
871*2^1411755-1 is not prime.  Res64: A905020A5C8244E6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 12:59:33]
891*2^1411755-1 is not prime.  Res64: BD4173AAAB3D1004  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:15:19]
603*2^1411756-1 is not prime.  Res64: 7A032A773DF05B5C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:15:20]
617*2^1411756-1 is not prime.  Res64: 01EA86B5B58360A5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:16:54]
629*2^1411756-1 is not prime.  Res64: 714F9FC01967FD8F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:16:55]
653*2^1411756-1 is not prime.  Res64: BE3082D2722B745E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:17:13]
735*2^1411756-1 is not prime.  Res64: E34D9AB6537C2076  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:17:13]
749*2^1411756-1 is not prime.  Res64: 7885CCC77476E970  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:17:46]
765*2^1411756-1 is not prime.  Res64: 450B324811DAA6FA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:17:46]
875*2^1411756-1 is not prime.  Res64: 6413BD6326BC8DD9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:34:37]
887*2^1411756-1 is not prime.  Res64: 37D25907D7618BE9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:34:37]
947*2^1411756-1 is not prime.  Res64: ABDE35542B174074  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:35:59]
711*2^1411757-1 is not prime.  Res64: 356D3FED3F3EE876  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:35:59]
735*2^1411757-1 is not prime.  Res64: 88F996E4BC9A0E7F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:36:24]
757*2^1411757-1 is not prime.  Res64: 85FAAAB21FF0C8F4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:36:25]
795*2^1411757-1 is not prime.  Res64: BCA49EF337000A34  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:37:19]
925*2^1411757-1 is not prime.  Res64: 17AF690EF54D24C1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:37:19]
621*2^1411758-1 is not prime.  Res64: C60904FE7AB2279C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:56:36]
881*2^1411758-1 is not prime.  Res64: EBE379ACD50767FE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:56:36]
891*2^1411758-1 is not prime.  Res64: 22ADD9F340A5C8EE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:57:39]
941*2^1411758-1 is not prime.  Res64: 1558BBE687B032E8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:57:39]
1001*2^1411758-1 is not prime.  Res64: 4890D873726D1354  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:57:53]
615*2^1411759-1 is not prime.  Res64: 5E1BEBFC8CDA4B28  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:57:53]
619*2^1411759-1 is not prime.  Res64: 29B2040DED682B74  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:59:39]
625*2^1411759-1 is not prime.  Res64: EE29046B2656B295  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 13:59:39]
775*2^1411759-1 is not prime.  Res64: 5C1E572E81759A61  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:19:53]
829*2^1411759-1 is not prime.  Res64: B0D0A18A206E31A4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:19:54]
919*2^1411759-1 is not prime.  Res64: 8DDF3648C0526EA9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:20:12]
635*2^1411760-1 is not prime.  Res64: 879D4991436847CF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:20:12]
839*2^1411760-1 is not prime.  Res64: B278F94730B21DF6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:20:36]
875*2^1411760-1 is not prime.  Res64: 818121B00A38776C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:20:36]
909*2^1411760-1 is not prime.  Res64: 5431B64C57F4CFC0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:22:07]
927*2^1411760-1 is not prime.  Res64: 8800C83BC6484FE8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:22:07]
895*2^1411761-1 is not prime.  Res64: 4D643C696E7FD806  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:40:49]
969*2^1411761-1 is not prime.  Res64: 19FF3DA6D22D1D44  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:40:49]
979*2^1411761-1 is not prime.  Res64: C524DE4C1BBDDE64  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:41:14]
603*2^1411762-1 is not prime.  Res64: E938BA1D44ED3CFA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:41:15]
623*2^1411762-1 is not prime.  Res64: 26B1173D89C5EE79  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:41:23]
647*2^1411762-1 is not prime.  Res64: 1B125B4F25734F58  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:41:23]
765*2^1411762-1 is not prime.  Res64: 10270E85047C49A5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:42:55]
791*2^1411762-1 is not prime.  Res64: EBB97DD04E1C53E9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:42:55]
803*2^1411762-1 is not prime.  Res64: A200493A2180AD0A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:59:52]
815*2^1411762-1 is not prime.  Res64: 5EE400E4DD5B91BA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 14:59:52]
1001*2^1411762-1 is not prime.  Res64: 2083DA741C956B65  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:00:24]
603*2^1411763-1 is not prime.  Res64: F99CBBFB2600B43E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:00:25]
643*2^1411763-1 is not prime.  Res64: 092A2FB6112B7E15  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:00:32]
675*2^1411763-1 is not prime.  Res64: BE168817C309F479  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:00:33]
775*2^1411763-1 is not prime.  Res64: 3E4BBE493FFD1160  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:01:53]
901*2^1411763-1 is not prime.  Res64: 120D8991CC658321  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:01:54]
675*2^1411764-1 is not prime.  Res64: 7B3685E4A31697D6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:17:42]
683*2^1411764-1 is not prime.  Res64: FCA720337D780E9E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:17:42]
783*2^1411764-1 is not prime.  Res64: 17CDF8A6B5614D38  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:18:29]
825*2^1411764-1 is not prime.  Res64: E78C2CA225D9DC3B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:18:29]
873*2^1411764-1 is not prime.  Res64: E24BD21A9FE4F98E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:18:30]
691*2^1411765-1 is not prime.  Res64: 03FC2927E3A18FC7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:18:30]
915*2^1411765-1 is not prime.  Res64: B80C5909BD6F2CC9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:19:49]
979*2^1411765-1 is not prime.  Res64: 32DAB647B1599CCA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:19:51]
987*2^1411765-1 is not prime.  Res64: A61B99BCEA23EB58  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:36:01]
675*2^1411766-1 is not prime.  Res64: 89CC717F96EA2CB8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:36:02]
747*2^1411766-1 is not prime.  Res64: F3EC8D52468B161B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:36:35]
953*2^1411766-1 is not prime.  Res64: 7F152F5508FB56F7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:36:36]
971*2^1411766-1 is not prime.  Res64: C4DF7A4B4E603182  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:36:46]
921*2^1411766-1 is not prime.  Res64: 6FAC8710897399CA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:36:46]
945*2^1411766-1 is not prime.  Res64: DAA8A884B4640678  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:37:55]
981*2^1411766-1 is not prime.  Res64: CDE4E3FD3BB16A74  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:37:55]
1001*2^1411766-1 is not prime.  Res64: DF8DDB5FACDA0F4A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:53:56]
739*2^1411767-1 is not prime.  Res64: EEE1F18E0C52C287  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:53:56]
765*2^1411767-1 is not prime.  Res64: D31DAAF666432546  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:54:32]
895*2^1411767-1 is not prime.  Res64: 5DCB9478285751FA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:54:32]
901*2^1411767-1 is not prime.  Res64: 3A2A57148C7C93A0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:54:38]
913*2^1411767-1 is not prime.  Res64: 562001F6C6E11E58  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:54:38]
951*2^1411767-1 is not prime.  Res64: 053E22DCE53C626A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:55:55]
955*2^1411767-1 is not prime.  Res64: 8B7227EEDEBECC6D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 15:55:56]
723*2^1411768-1 is not prime.  Res64: 0A970A1D1C004B6E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:11:51]
755*2^1411768-1 is not prime.  Res64: A9A26F1F4AFC5EE3  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:11:51]
773*2^1411768-1 is not prime.  Res64: E23DF5264FB859AB  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:12:30]
855*2^1411768-1 is not prime.  Res64: D3C02E518ED06E51  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:12:31]
863*2^1411768-1 is not prime.  Res64: AAC83A86147D3FCF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:12:40]
933*2^1411768-1 is not prime.  Res64: 5647846469CFD7CB  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:12:40]
989*2^1411768-1 is not prime.  Res64: BDDA870F15BBD70C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:13:51]
631*2^1411769-1 is not prime.  Res64: 2BFA558A665FCB8A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:13:51]
795*2^1411769-1 is not prime.  Res64: D888348AF4A0556F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:29:59]
811*2^1411769-1 is not prime.  Res64: 863555229E6BBECF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:30:00]
861*2^1411769-1 is not prime.  Res64: 12C5002B3604A179  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:30:36]
909*2^1411769-1 is not prime.  Res64: 9CA0FB328A758EF7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:30:37]
627*2^1411770-1 is not prime.  Res64: CBD40B0DC4911281  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:30:53]
695*2^1411770-1 is not prime.  Res64: A389B810F57D1D41  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:30:53]
821*2^1411770-1 is not prime.  Res64: 1D652061B4587EF5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:31:56]
917*2^1411770-1 is not prime.  Res64: 80E05D6283692D2D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:31:56]
923*2^1411770-1 is not prime.  Res64: B90813B51D0B4630  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:48:04]
933*2^1411770-1 is not prime.  Res64: D622AACC50ABC67C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:48:05]
691*2^1411771-1 is not prime.  Res64: F6E9C906A3306D6F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:48:32]
751*2^1411771-1 is not prime.  Res64: 68F2DF0103411B23  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:48:32]
793*2^1411771-1 is not prime.  Res64: 225EF68EA1130953  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:48:46]
909*2^1411771-1 is not prime.  Res64: 4944D020F255C213  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:48:47]
969*2^1411771-1 is not prime.  Res64: D4F633C7B5EE0053  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:49:54]
615*2^1411772-1 is not prime.  Res64: 763629D2DF4D0FFE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 16:49:55]
635*2^1411772-1 is not prime.  Res64: A62E5BB3FA9BBEF8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:06:12]
755*2^1411772-1 is not prime.  Res64: F886AD52B727BFB9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:06:12]
873*2^1411772-1 is not prime.  Res64: 9F87B37321650F4D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:06:32]
903*2^1411772-1 is not prime.  Res64: FC40524C980DBA4C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:06:33]
957*2^1411772-1 is not prime.  Res64: 6D3870F728BB85AD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:06:48]
977*2^1411772-1 is not prime.  Res64: CDEB82AEC00C4427  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:06:48]
699*2^1411773-1 is not prime.  Res64: 6E17697ED1B83BAB  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:07:57]
847*2^1411773-1 is not prime.  Res64: ECEF72D41484CA91  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:07:58]
895*2^1411773-1 is not prime.  Res64: 28770B1FF0DB5D9F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:24:12]
927*2^1411773-1 is not prime.  Res64: 11E28153C574053F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:24:12]
737*2^1411774-1 is not prime.  Res64: AD506EDBF2FA1D98  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:24:29]
747*2^1411774-1 is not prime.  Res64: AD1EDC627D71E38A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:24:30]
755*2^1411774-1 is not prime.  Res64: 4491578924F0C97C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:24:39]
785*2^1411774-1 is not prime.  Res64: F0BF41BAC78B300C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:24:40]
791*2^1411774-1 is not prime.  Res64: FAD2AE8E84AE9C3D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:26:02]
831*2^1411774-1 is not prime.  Res64: 14AEF06C9D6A6B33  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:26:03]
915*2^1411774-1 is not prime.  Res64: E6031CC81D07EA3C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:43:07]
735*2^1411775-1 is not prime.  Res64: 7679CF6AC134B8B0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:43:07]
763*2^1411775-1 is not prime.  Res64: 5D99A2D6E9CB8E59  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:43:18]
783*2^1411775-1 is not prime.  Res64: 480ED1D855EB3DCD  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:43:19]
789*2^1411775-1 is not prime.  Res64: A85D85E3E3A75835  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:43:41]
799*2^1411775-1 is not prime.  Res64: 5615334BC2ADF985  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:43:41]
843*2^1411775-1 is not prime.  Res64: 65EE5F79EC7B31DE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:44:59]
981*2^1411775-1 is not prime.  Res64: 0AD10B7C3D485BF0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 17:45:00]
623*2^1411776-1 is not prime.  Res64: 051EE4A7C87D2B7F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:01:04]
765*2^1411776-1 is not prime.  Res64: 083433714B3113AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:01:05]
809*2^1411776-1 is not prime.  Res64: 6EDB75DF2773102C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:01:17]
945*2^1411776-1 is not prime.  Res64: A401BDD80D2C1E23  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:01:18]
645*2^1411777-1 is not prime.  Res64: 80563AADDE5C5BED  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:01:35]
699*2^1411777-1 is not prime.  Res64: 351BB8EAC17C8414  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:01:36]
819*2^1411777-1 is not prime.  Res64: A8EEA15B22BFA656  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:02:57]
835*2^1411777-1 is not prime.  Res64: B2898411AFF9EFE3  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:02:58]
849*2^1411777-1 is not prime.  Res64: 1174CCF591F43634  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:19:21]
997*2^1411777-1 is not prime.  Res64: 9BC42EDC7DECD603  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:19:22]
767*2^1411778-1 is not prime.  Res64: B8F36DCE31E3D8FC  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:19:22]
937*2^1411777-1 is not prime.  Res64: CF1DA1D05964E8CF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:19:23]
967*2^1411777-1 is not prime.  Res64: 0F0C27E2F95D9E73  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:19:33]
791*2^1411778-1 is not prime.  Res64: 5DD115EBF70E2AE8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:19:33]
875*2^1411778-1 is not prime.  Res64: 3C5F618F7AE6D70D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:20:56]
921*2^1411778-1 is not prime.  Res64: C11BC65F1ABACAB8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:20:57]
923*2^1411778-1 is not prime.  Res64: 4D66E982C463EAF1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:37:17]
927*2^1411778-1 is not prime.  Res64: 32589137F0FACFAF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:37:18]
935*2^1411778-1 is not prime.  Res64: 2BD59A5E969EEA2C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:37:25]
691*2^1411779-1 is not prime.  Res64: EFDFB43BC1A6243B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:37:26]
705*2^1411779-1 is not prime.  Res64: 6DD3FA0C3BC52703  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:37:27]
971*2^1411778-1 is not prime.  Res64: 4B9049B4424E51E8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:37:28]
987*2^1411778-1 is not prime.  Res64: 0749DB121958D0F6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:38:52]
735*2^1411779-1 is not prime.  Res64: 18285DB6B770F28B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:38:53]
835*2^1411779-1 is not prime.  Res64: D50BD5EAE74A9D55  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:55:12]
879*2^1411779-1 is not prime.  Res64: A2063FCD0EEDD13B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:55:12]
955*2^1411779-1 is not prime.  Res64: CA8CC63B01DDDDF5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:55:15]
969*2^1411779-1 is not prime.  Res64: C3B81D3A59E1F39E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:55:15]
735*2^1411780-1 is not prime.  Res64: DA8BE94C5FA247D6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:55:20]
783*2^1411780-1 is not prime.  Res64: C8011CBA0BB375B2  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:55:20]
885*2^1411780-1 is not prime.  Res64: BA196036760259AE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:56:49]
781*2^1411781-1 is not prime.  Res64: 1710139ABB876927  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 18:56:50]
829*2^1411781-1 is not prime.  Res64: 36E99A83E6001C9B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:13:17]
683*2^1411782-1 is not prime.  Res64: 9A7EBACFF458A2B7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:13:17]
705*2^1411782-1 is not prime.  Res64: 06D58EA21A430BFB  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:13:21]
865*2^1411781-1 is not prime.  Res64: 86405B0E2BDCC1EA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:13:21]
611*2^1411782-1 is not prime.  Res64: 9ADD8D7B8A0EE918  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:13:32]
843*2^1411782-1 is not prime.  Res64: 3931E85D621B58F4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:13:32]
873*2^1411782-1 is not prime.  Res64: EEC5DA226BF1492E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:15:01]
921*2^1411782-1 is not prime.  Res64: 4335189B77368BD7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:15:01]
1001*2^1411782-1 is not prime.  Res64: 28CCB3E916434E58  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:31:15]
609*2^1411783-1 is not prime.  Res64: 638BBC5955545187  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:31:15]
649*2^1411783-1 is not prime.  Res64: 472E8BDC3315542A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:31:20]
679*2^1411783-1 is not prime.  Res64: 165F6D122D3323D6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:31:20]
703*2^1411783-1 is not prime.  Res64: C76F720ECEE844A5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:31:32]
993*2^1411783-1 is not prime.  Res64: 44B0140E79896E71  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:31:33]
617*2^1411784-1 is not prime.  Res64: A4BA3525ECD4AFE1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:33:01]
623*2^1411784-1 is not prime.  Res64: B69620BF3A3897D6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:33:01]
725*2^1411784-1 is not prime.  Res64: 8E76214497A6AE67  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:49:12]
819*2^1411784-1 is not prime.  Res64: D0769A8C19D961D8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:49:13]
873*2^1411784-1 is not prime.  Res64: C8BC81F143D7C958  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:49:23]
753*2^1411784-1 is not prime.  Res64: EDCF43F9E69356BB  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:49:23]
755*2^1411784-1 is not prime.  Res64: 81B5BF2C971EB957  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:49:29]
957*2^1411784-1 is not prime.  Res64: D2ED5CF5BAC74730  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:49:29]
995*2^1411784-1 is not prime.  Res64: EFD144C76816B52D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:51:05]
969*2^1411785-1 is not prime.  Res64: 0E4F91E0094C9188  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 19:51:05]
985*2^1411785-1 is not prime.  Res64: E3F189754F823FBF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:07:09]
999*2^1411785-1 is not prime.  Res64: 84D45CE28C31DB49  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:07:09]
645*2^1411786-1 is not prime.  Res64: 05458E2083D1A132  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:07:16]
647*2^1411786-1 is not prime.  Res64: A55585787FD410B0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:07:17]
657*2^1411786-1 is not prime.  Res64: 323E5D014392E525  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:07:26]
701*2^1411786-1 is not prime.  Res64: 868231725BBE4D33  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:07:26]
777*2^1411786-1 is not prime.  Res64: 77ECB6D2CB5C1A76  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:08:54]
803*2^1411786-1 is not prime.  Res64: 1B4057BF1D8AB192  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:08:54]
887*2^1411786-1 is not prime.  Res64: E2947ED24B73316A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:25:04]
975*2^1411786-1 is not prime.  Res64: 4833960B2030C027  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:25:04]
615*2^1411787-1 is not prime.  Res64: A758733F41C460CA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:25:10]
619*2^1411787-1 is not prime.  Res64: E33818D09B048C40  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:25:10]
631*2^1411787-1 is not prime.  Res64: 7D92A3B5F3A215F1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:25:24]
643*2^1411787-1 is not prime.  Res64: 3A29B413BA495D64  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:25:25]
663*2^1411787-1 is not prime.  Res64: 9647B8DFDA8E11F6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:26:50]
699*2^1411787-1 is not prime.  Res64: 0140FEEF3B6D9D6E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:26:50]
705*2^1411787-1 is not prime.  Res64: 7AF5E97DB3BE14C1  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:43:07]
629*2^1411788-1 is not prime.  Res64: 6951E1DE4C35C69C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:43:08]
735*2^1411788-1 is not prime.  Res64: 37630F005850913D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:43:14]
883*2^1411787-1 is not prime.  Res64: 6E8662DE9990D5DC  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:43:14]
915*2^1411787-1 is not prime.  Res64: 9DE840465DF0D6DF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:43:21]
819*2^1411788-1 is not prime.  Res64: 6FD4B0D47DEC5092  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:43:22]
923*2^1411788-1 is not prime.  Res64: 86C5A2144B33ECE0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:44:53]
751*2^1411789-1 is not prime.  Res64: C49462EE7DCB24F4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 20:44:54]
603*2^1411790-1 is not prime.  Res64: 79A53B953F422FF9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:01:03]
627*2^1411790-1 is not prime.  Res64: 68C2D95B7FE05904  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:01:04]
743*2^1411790-1 is not prime.  Res64: 127E23941E7A869A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:01:07]
861*2^1411790-1 is not prime.  Res64: 2F43F01B493E23BC  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:01:08]
745*2^1411791-1 is not prime.  Res64: 5614F636EF7140E0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:01:29]
789*2^1411791-1 is not prime.  Res64: 260D05171910D20D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:01:30]
793*2^1411791-1 is not prime.  Res64: E85D43A84464E4A7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:02:58]
885*2^1411791-1 is not prime.  Res64: 27393F07C115CB75  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:02:58]
909*2^1411791-1 is not prime.  Res64: A21E9C3333DDF08B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:19:29]
931*2^1411791-1 is not prime.  Res64: 4CB9336F5C936E24  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:19:29]
945*2^1411791-1 is not prime.  Res64: EDE3E903A5B85E77  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:19:34]
949*2^1411791-1 is not prime.  Res64: 5EE9CE021C7AA96E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:19:35]
975*2^1411791-1 is not prime.  Res64: 84D7C19F17973218  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:19:45]
827*2^1411792-1 is not prime.  Res64: DCEF4FE46BC57FF6  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:19:45]
909*2^1411792-1 is not prime.  Res64: FB86B5300629DDB4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:21:22]
983*2^1411792-1 is not prime.  Res64: C3509BADA3663984  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:21:23]
651*2^1411793-1 is not prime.  Res64: 3577EAF45F47E384  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:38:51]
991*2^1411793-1 is not prime.  Res64: B79A7C87429E3588  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:38:52]
621*2^1411794-1 is not prime.  Res64: 7A9528380981E9E5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:39:19]
675*2^1411793-1 is not prime.  Res64: 276947DA2BFD0DF4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:39:19]
769*2^1411793-1 is not prime.  Res64: 75A96587FE8CD247  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:39:30]
791*2^1411794-1 is not prime.  Res64: B5448B22606DDE13  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:39:30]
851*2^1411794-1 is not prime.  Res64: 207FD51E0B4DAE1B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:41:08]
893*2^1411794-1 is not prime.  Res64: 7C2259DBC07EF9E7  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:41:09]
971*2^1411794-1 is not prime.  Res64: 4DC5D438A334122B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:59:09]
983*2^1411794-1 is not prime.  Res64: F63FEBBF0FFEA9AF  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:59:09]
649*2^1411795-1 is not prime.  Res64: DFA251994C299369  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:59:25]
705*2^1411795-1 is not prime.  Res64: A621A9BAF39CF397  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:59:25]
999*2^1411795-1 is not prime.  Res64: 8125A6FA53768FA9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:59:55]
659*2^1411796-1 is not prime.  Res64: 8D37FA8B71E04ADA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 21:59:55]
735*2^1411796-1 is not prime.  Res64: CF5445450EB2E248  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:01:06]
651*2^1411797-1 is not prime.  Res64: 678EC12F0AF03BF5  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:01:07]
717*2^1411797-1 is not prime.  Res64: DF4755CB94E50962  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:17:43]
825*2^1411797-1 is not prime.  Res64: 9CF43AB5A99FAC89  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:17:43]
835*2^1411797-1 is not prime.  Res64: CC5A339091C4A07F  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:17:57]
861*2^1411797-1 is not prime.  Res64: 9C994B56FEF569CE  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:17:57]
891*2^1411797-1 is not prime.  Res64: D341891A3A5C8F57  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:18:35]
937*2^1411797-1 is not prime.  Res64: 3A7D4CAD9690AA48  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:18:35]
997*2^1411797-1 is not prime.  Res64: 099FF0323A52B215  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:19:48]
623*2^1411798-1 is not prime.  Res64: BCF0F508B0DA67F3  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:19:49]
665*2^1411798-1 is not prime.  Res64: C8B8543EAB5ECA09  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:38:44]
695*2^1411798-1 is not prime.  Res64: DA756FA6535958E9  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:38:44]
713*2^1411798-1 is not prime.  Res64: C1A570042FC220E3  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:38:53]
821*2^1411798-1 is not prime.  Res64: 1BF310FF75D84F68  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:38:53]
855*2^1411798-1 is not prime.  Res64: F35B075891CB27E8  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:39:55]
891*2^1411798-1 is not prime.  Res64: 9E036B5453FB886B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:39:56]
911*2^1411798-1 is not prime.  Res64: 9B4D83165475F483  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:41:30]
705*2^1411799-1 is not prime.  Res64: 1FF0CB73F982DFFA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 22:41:31]
855*2^1411799-1 is not prime.  Res64: 93ECA26DF17D5E1B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:01:08]
867*2^1411800-1 is not prime.  Res64: AA6DB75C4404AE6D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:01:09]
927*2^1411800-1 is not prime.  Res64: 5B56C6EFE829D778  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:02:03]
713*2^1411800-1 is not prime.  Res64: 61AC7BB226E7D60C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:02:04]
753*2^1411800-1 is not prime.  Res64: 676FB76D47340CDA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:03:06]
975*2^1411800-1 is not prime.  Res64: 184EC9FE3E2ADC4C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:03:07]
741*2^1411801-1 is not prime.  Res64: FFBD65AC78BB485B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:04:32]
799*2^1411801-1 is not prime.  Res64: 604E538657781A2A  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:04:33]
829*2^1411801-1 is not prime.  Res64: 82BE147F1D894ED0  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:23:33]
979*2^1411801-1 is not prime.  Res64: 2C981C28F6EC7F07  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:23:34]
711*2^1411802-1 is not prime.  Res64: 4441658983D08707  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:24:29]
743*2^1411802-1 is not prime.  Res64: 478E49EF8D992000  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:24:29]
771*2^1411802-1 is not prime.  Res64: CCCCA9199A0A4AAA  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:25:27]
801*2^1411802-1 is not prime.  Res64: FC7CF25B80B1A00B  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:25:27]
911*2^1411802-1 is not prime.  Res64: C3189F57766D7F7D  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:26:18]
945*2^1411802-1 is not prime.  Res64: 856C137D7CEEDF37  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:26:18]
977*2^1411802-1 is not prime.  Res64: 896D67F5B9CA3E30  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:45:57]
765*2^1411803-1 is not prime.  Res64: 8511CBB31BD82165  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:45:57]
781*2^1411803-1 is not prime.  Res64: C2CFD67004245439  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:46:58]
801*2^1411803-1 is not prime.  Res64: 12B69C87C4F5247C  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:46:58]
825*2^1411803-1 is not prime.  Res64: 8BF6B6960C1AB2B4  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:48:01]
849*2^1411803-1 is not prime.  Res64: 309105C938B35B4E  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:48:01]
901*2^1411803-1 is not prime.  Res64: 0577D5D8A8914776  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:49:11]
991*2^1411803-1 is not prime.  Res64: BC01E99A517B6841  Time : 0.0 sec.
user=mdettweiler
[2015-10-11 23:49:11]
609*2^1411804-1 is not prime.  Res64: F0B2841A0831E6D5  Time : 0.0 sec.