user=mdettweiler
[2014-12-30 00:05:08]
629*2^1388240-1 is not prime.  Res64: 8D9A6AC67BDD4003  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 00:15:57]
815*2^1388242-1 is not prime.  Res64: 0C325B0A06B7E1E6  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 00:16:05]
705*2^1388243-1 is not prime.  Res64: 89D5B064C072915D  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 00:16:06]
855*2^1388243-1 is not prime.  Res64: D6CB258267A768E8  Time : 0.0 sec.
user=juhehe
[2014-12-30 00:26:30]
859*2^1388243-1 is not prime.  Res64: 283E6AA82BE406D0  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 00:32:31]
955*2^1388243-1 is not prime.  Res64: D5ACD5108AB6724E  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 00:32:32]
993*2^1388243-1 is not prime.  Res64: 2CCDAA2A0A3082B5  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 00:43:14]
693*2^1388244-1 is not prime.  Res64: 908412BA5DF9854A  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 00:43:23]
717*2^1388244-1 is not prime.  Res64: A9359179BE527EDD  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 00:59:24]
857*2^1388244-1 is not prime.  Res64: 5378F507F2B68F45  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 00:59:25]
929*2^1388244-1 is not prime.  Res64: 744D21A22DA3C9CA  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:10:23]
965*2^1388244-1 is not prime.  Res64: 39DCF033C87FDB36  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:10:24]
987*2^1388244-1 is not prime.  Res64: 0D01EED1763C63B3  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:14:53]
677*2^1388242-1 is not prime.  Res64: 15C21D793F822AB3  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:14:53]
701*2^1388242-1 is not prime.  Res64: D2EF33FAA3074016  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:26:18]
645*2^1388245-1 is not prime.  Res64: 47F04EFB72C43C3B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:26:19]
649*2^1388245-1 is not prime.  Res64: A6EE9B226F799412  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:36:58]
687*2^1388245-1 is not prime.  Res64: FD4EE71406CCD186  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:36:59]
729*2^1388245-1 is not prime.  Res64: 00EF59EE56656248  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:41:19]
847*2^1388245-1 is not prime.  Res64: 98CA09DDDFFB9B24  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:41:20]
861*2^1388245-1 is not prime.  Res64: D77F5B864A2DCCAD  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:52:36]
915*2^1388245-1 is not prime.  Res64: ECB409B2FA9C0E1A  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 01:52:37]
671*2^1388246-1 is not prime.  Res64: 791F12A269CAD372  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:03:37]
707*2^1388246-1 is not prime.  Res64: 20ACD59E4109282B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:03:39]
711*2^1388246-1 is not prime.  Res64: 81B18F908D3E94FD  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:07:49]
743*2^1388246-1 is not prime.  Res64: 852EF0F241DEC299  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:07:52]
801*2^1388246-1 is not prime.  Res64: 6C9C8E91ABFB2F94  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:19:12]
827*2^1388246-1 is not prime.  Res64: EF703E5FD32AD5EF  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:30:24]
649*2^1388247-1 is not prime.  Res64: 300B07CFE00BE0A1  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:30:26]
865*2^1388247-1 is not prime.  Res64: 0AE31627CCEFCE23  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:39:12]
955*2^1388247-1 is not prime.  Res64: 1C8F34743CB62EEC  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:39:13]
645*2^1388248-1 is not prime.  Res64: E31ED1DF970BCE98  Time : 0.0 sec.
user=juhehe
[2014-12-30 02:43:52]
961*2^1388247-1 is not prime.  Res64: 81E3D301AF1D41FB  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:45:07]
915*2^1388242-1 is not prime.  Res64: 22955DCD8CF548BA  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:57:20]
933*2^1388247-1 is not prime.  Res64: 23493A53EE1090A5  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 02:57:21]
687*2^1388248-1 is not prime.  Res64: 0EFDF6919C4D5092  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 03:12:47]
765*2^1388248-1 is not prime.  Res64: 3254E62EEFA5D8E2  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 03:12:48]
849*2^1388248-1 is not prime.  Res64: 7AC6A62C8733CEB7  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 03:24:38]
923*2^1388248-1 is not prime.  Res64: F4654EF3073E240F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 03:24:39]
927*2^1388248-1 is not prime.  Res64: CCC0F91F46599AF6  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 03:39:48]
957*2^1388248-1 is not prime.  Res64: F90461AF495D468C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 03:39:51]
993*2^1388248-1 is not prime.  Res64: 3794E062221536F1  Time : 0.0 sec.
user=juhehe
[2014-12-30 03:50:30]
645*2^1388249-1 is not prime.  Res64: F1A773E2FB33C716  Time : 0.0 sec.
user=juhehe
[2014-12-30 03:50:34]
649*2^1388249-1 is not prime.  Res64: 7D2199A13A96EF34  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 03:51:21]
657*2^1388249-1 is not prime.  Res64: 64B04DBFEA76A72B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 03:51:22]
799*2^1388249-1 is not prime.  Res64: E8A4072C0150F2EF  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 04:07:05]
811*2^1388249-1 is not prime.  Res64: F082151481C2BC64  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 04:07:07]
987*2^1388249-1 is not prime.  Res64: D415E8FDDBCAA064  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 04:18:32]
783*2^1388250-1 is not prime.  Res64: 60327FE202F519B7  Time : 0.0 sec.
user=juhehe
[2014-12-30 04:25:30]
615*2^1388250-1 is not prime.  Res64: F52C728976A3DDE9  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 04:26:16]
689*2^1388248-1 is not prime.  Res64: AFCD96E138AA0F03  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 04:26:17]
713*2^1388248-1 is not prime.  Res64: C5D667AE9C22B487  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 04:34:16]
923*2^1388250-1 is not prime.  Res64: 129BAF9013705FE2  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 04:34:16]
945*2^1388250-1 is not prime.  Res64: 59FFAFFA3F64642C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 04:49:49]
867*2^1388246-1 is not prime.  Res64: 449831EB56E6617C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 04:53:11]
615*2^1388251-1 is not prime.  Res64: D60FB7200ED59AF4  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 05:01:14]
741*2^1388251-1 is not prime.  Res64: 5F314509FBC18826  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 05:17:08]
859*2^1388251-1 is not prime.  Res64: 604A0070407FE02C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 05:17:09]
861*2^1388251-1 is not prime.  Res64: FF6353F92E3FC904  Time : 0.0 sec.
user=juhehe
[2014-12-30 05:32:43]
609*2^1388252-1 is not prime.  Res64: FD6696FA8CD409B9  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 05:44:13]
867*2^1388250-1 is not prime.  Res64: C0F16326DB84590C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 05:45:27]
617*2^1388252-1 is not prime.  Res64: 0954B085918B5EB6  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 05:45:27]
825*2^1388252-1 is not prime.  Res64: C1FE93A075190C55  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 06:11:27]
873*2^1388252-1 is not prime.  Res64: 61FE0B82C3CE0103  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 06:11:59]
909*2^1388252-1 is not prime.  Res64: 0FD815F2FB311D79  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 06:11:59]
675*2^1388253-1 is not prime.  Res64: 28055C4A6FF576B1  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 06:19:04]
745*2^1388251-1 is not prime.  Res64: CBA4FC89847164FF  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 06:39:11]
765*2^1388253-1 is not prime.  Res64: CD6991B39EA864E4  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 06:39:12]
859*2^1388253-1 is not prime.  Res64: 0466A23986809E69  Time : 0.0 sec.
user=juhehe
[2014-12-30 06:43:13]
923*2^1388254-1 is not prime.  Res64: 4293F46F9D5F957E  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 06:45:56]
927*2^1388253-1 is not prime.  Res64: C08F09EC7D837D1C  Time : 0.0 sec.
user=juhehe
[2014-12-30 07:18:48]
917*2^1388254-1 is not prime.  Res64: BBA69ECC94F34E45  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 07:24:32]
619*2^1388251-1 is not prime.  Res64: 78DBA66812EF97F5  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 07:28:37]
903*2^1388252-1 is not prime.  Res64: 49B41AEFB3252EC7  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 07:51:30]
993*2^1388254-1 is not prime.  Res64: 396BA86A6A9FC135  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 07:51:30]
661*2^1388255-1 is not prime.  Res64: 4F55EE5D60D1858A  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 07:55:42]
705*2^1388255-1 is not prime.  Res64: 16BAFBAB159C225B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 07:55:42]
771*2^1388255-1 is not prime.  Res64: 59027D5A47A8E1C1  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:07:49]
969*2^1388253-1 is not prime.  Res64: 8E3107D8F56DAB78  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:18:03]
823*2^1388255-1 is not prime.  Res64: 950D9C90AE773AB5  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:18:04]
825*2^1388255-1 is not prime.  Res64: 60F2C5E75560D9FF  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:22:24]
943*2^1388255-1 is not prime.  Res64: C271C0AFB2D2F71A  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:22:32]
609*2^1388256-1 is not prime.  Res64: 4E73E34AAA1267C5  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:25:12]
825*2^1388254-1 is not prime.  Res64: C0E2F6AC866FA527  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:25:12]
891*2^1388254-1 is not prime.  Res64: D514170A0FA1C18B  Time : 0.0 sec.
user=juhehe
[2014-12-30 08:28:23]
859*2^1388255-1 is not prime.  Res64: B4BADA76112C736B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:34:52]
693*2^1388256-1 is not prime.  Res64: 6F871D7DCF18B977  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:34:53]
873*2^1388256-1 is not prime.  Res64: BCFBF3B1AE84E7F4  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:44:06]
615*2^1388257-1 is not prime.  Res64: 35DA146BE69E3E8D  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:44:07]
675*2^1388257-1 is not prime.  Res64: F2CB13A79073A7D0  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:48:30]
741*2^1388257-1 is not prime.  Res64: BAFBDF4D17235A85  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:48:31]
819*2^1388257-1 is not prime.  Res64: 3D325361397FF01C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:51:09]
885*2^1388257-1 is not prime.  Res64: 4F34CCF5B9215AD9  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 08:51:29]
909*2^1388257-1 is not prime.  Res64: E871D8C759EFC2C3  Time : 0.0 sec.
user=juhehe
[2014-12-30 09:00:29]
985*2^1388257-1 is not prime.  Res64: D4FE7ED659B04BFA  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 09:01:04]
603*2^1388258-1 is not prime.  Res64: 6B67E39A37408D10  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 09:01:05]
605*2^1388258-1 is not prime.  Res64: 9978F8B683FA5EDF  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 09:15:00]
613*2^1388259-1 is not prime.  Res64: 0E7BD3E13890C494  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 09:15:01]
723*2^1388259-1 is not prime.  Res64: 8BBFF6EDC5F36D3C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 09:27:47]
789*2^1388259-1 is not prime.  Res64: 888625C9663B9C91  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 09:27:48]
843*2^1388259-1 is not prime.  Res64: FF2804D713FAD022  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 09:42:05]
879*2^1388259-1 is not prime.  Res64: EA8AC648A651B752  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 09:42:05]
895*2^1388259-1 is not prime.  Res64: DF97D1B5513E6AEC  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 09:54:58]
921*2^1388259-1 is not prime.  Res64: FD386E51C6ED6752  Time : 0.0 sec.
user=juhehe
[2014-12-30 10:04:14]
609*2^1388260-1 is not prime.  Res64: A8108F8B6B42996F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:09:22]
675*2^1388260-1 is not prime.  Res64: 6032FD837A638017  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:09:23]
735*2^1388260-1 is not prime.  Res64: D52079A97F4010CE  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:24:35]
633*2^1388258-1 is not prime.  Res64: 3FB2C7FFB1A9728E  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:24:36]
767*2^1388258-1 is not prime.  Res64: 45288C379D1C6CCE  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:31:34]
843*2^1388260-1 is not prime.  Res64: 1B54F5468412F5A1  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:31:35]
927*2^1388260-1 is not prime.  Res64: D92957F1B60DD893  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:36:22]
735*2^1388261-1 is not prime.  Res64: CB5A0EA00E7675F4  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:36:22]
871*2^1388261-1 is not prime.  Res64: D72CA40B476FEF3D  Time : 0.0 sec.
user=juhehe
[2014-12-30 10:39:10]
929*2^1388260-1 is not prime.  Res64: 87F03FF6852263B9  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:51:08]
949*2^1388261-1 is not prime.  Res64: C26CBBA173FC48FA  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:51:08]
991*2^1388261-1 is not prime.  Res64: 49CB0E15BE545500  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:57:56]
635*2^1388262-1 is not prime.  Res64: 1FE7C7AF469488F6  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 10:57:56]
807*2^1388262-1 is not prime.  Res64: 263654AEDF0126CD  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:02:55]
871*2^1388263-1 is not prime.  Res64: 472DBDA693727BDB  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:02:56]
913*2^1388263-1 is not prime.  Res64: ED224E9A1B76088F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:06:47]
961*2^1388259-1 is not prime.  Res64: 5681A5545BB0E1BA  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:17:11]
919*2^1388263-1 is not prime.  Res64: 6D40FFF35408B2F6  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:17:12]
999*2^1388263-1 is not prime.  Res64: 997A4F75D12DF5DD  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:24:01]
617*2^1388264-1 is not prime.  Res64: 173CAA001D0217B8  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:24:01]
897*2^1388264-1 is not prime.  Res64: 2BFD5A0D14B9F103  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:29:17]
959*2^1388264-1 is not prime.  Res64: 9423CB98D0730F17  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:32:46]
627*2^1388265-1 is not prime.  Res64: D65A9753760FDE13  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:32:47]
699*2^1388265-1 is not prime.  Res64: 29B947A4F2EE92BE  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:43:40]
651*2^1388266-1 is not prime.  Res64: 08BBAD4DAC29CA46  Time : 0.0 sec.
user=juhehe
[2014-12-30 11:49:23]
871*2^1388265-1 is not prime.  Res64: 932F6D307B3B6B2C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:50:40]
723*2^1388266-1 is not prime.  Res64: C1778A6C65332D36  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:50:40]
765*2^1388266-1 is not prime.  Res64: AB5D70FC3645CBFF  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 11:59:34]
773*2^1388266-1 is not prime.  Res64: B94D9DD45104E340  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 12:18:56]
945*2^1388266-1 is not prime.  Res64: C302CA237543B781  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 12:50:21]
657*2^1388266-1 is not prime.  Res64: 76BEB934FD21E470  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 12:54:09]
601*2^1388265-1 is not prime.  Res64: 2BCD436327FA8E8C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:17:20]
619*2^1388267-1 is not prime.  Res64: 04D333BC06584466  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:17:21]
931*2^1388267-1 is not prime.  Res64: F715F1568FC32880  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:20:43]
843*2^1388266-1 is not prime.  Res64: 43758BF595C3ED10  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:20:58]
725*2^1388268-1 is not prime.  Res64: DAE0C8A64783D3AC  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:20:59]
809*2^1388268-1 is not prime.  Res64: 7C341473AC78D030  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:36:02]
975*2^1388266-1 is not prime.  Res64: 283721A601EBA481  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:43:39]
825*2^1388268-1 is not prime.  Res64: 99A82E762ADFF44D  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:43:40]
915*2^1388268-1 is not prime.  Res64: 38C74C49C0AD72EE  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:47:07]
927*2^1388268-1 is not prime.  Res64: F9476933D5337F2C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:47:08]
945*2^1388268-1 is not prime.  Res64: F0FE342B912941E4  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:47:22]
661*2^1388269-1 is not prime.  Res64: EFA7C54EB929DD74  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 13:47:23]
681*2^1388269-1 is not prime.  Res64: DF384D090D13B654  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:02:02]
729*2^1388269-1 is not prime.  Res64: 46FEE5AD30AAFDD6  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:02:03]
825*2^1388269-1 is not prime.  Res64: 26778305A067DCA0  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:09:56]
847*2^1388269-1 is not prime.  Res64: 7F748B37980C5E82  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:09:56]
861*2^1388269-1 is not prime.  Res64: B44528C1073D3FF0  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:13:13]
895*2^1388269-1 is not prime.  Res64: 334B0F5EEB9FF69B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:13:13]
897*2^1388269-1 is not prime.  Res64: 3A8EF351F7644E2F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:13:31]
945*2^1388269-1 is not prime.  Res64: 96521E9A74E932FD  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:13:31]
985*2^1388269-1 is not prime.  Res64: 9F998F4BD6E3DE8C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:28:29]
755*2^1388270-1 is not prime.  Res64: 5FFB27D762DD4141  Time : 0.0 sec.
user=juhehe
[2014-12-30 14:33:16]
707*2^1388270-1 is not prime.  Res64: 7110111B3FA94BFA  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:36:31]
843*2^1388270-1 is not prime.  Res64: B0DACE48020AADFE  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:36:31]
923*2^1388270-1 is not prime.  Res64: 7CC6786F2CFD9E0A  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:39:35]
723*2^1388271-1 is not prime.  Res64: 4457C46C48B8AF54  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:39:36]
861*2^1388271-1 is not prime.  Res64: 6A097139DF9A74B5  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:39:39]
669*2^1388271-1 is not prime.  Res64: 015CD577C0ADD21C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 14:39:40]
711*2^1388271-1 is not prime.  Res64: 77C9E3E3B9F28FF0  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:02:55]
901*2^1388271-1 is not prime.  Res64: 1F4A92C182052D70  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:02:56]
909*2^1388271-1 is not prime.  Res64: B4541DC6E996FE7F  Time : 0.0 sec.
user=juhehe
[2014-12-30 15:05:00]
885*2^1388271-1 is not prime.  Res64: 9CE58E753528A97F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:05:50]
615*2^1388272-1 is not prime.  Res64: A0AEACF29531E66D  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:05:51]
693*2^1388272-1 is not prime.  Res64: CF163740BD4E4E78  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:06:36]
765*2^1388272-1 is not prime.  Res64: 5EE88EAA123A9513  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:06:37]
807*2^1388272-1 is not prime.  Res64: 98B6E71EEBFFC3DF  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:29:46]
873*2^1388272-1 is not prime.  Res64: 811B950C104B396B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:32:20]
771*2^1388273-1 is not prime.  Res64: 268BD6F2A46579CC  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:32:21]
889*2^1388273-1 is not prime.  Res64: 4260EB1722B17A10  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:33:20]
901*2^1388273-1 is not prime.  Res64: 92005A713A585F4A  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:33:21]
725*2^1388274-1 is not prime.  Res64: FC11B0A30E16D148  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:38:17]
831*2^1388270-1 is not prime.  Res64: F58990A595DF59D7  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:58:52]
737*2^1388274-1 is not prime.  Res64: BB080EE4251B07B3  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 15:58:52]
741*2^1388274-1 is not prime.  Res64: 82F1AB087B460BE5  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:00:06]
833*2^1388274-1 is not prime.  Res64: 184D2065AF360E1D  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:00:06]
851*2^1388274-1 is not prime.  Res64: AE58CF104D6C5AB7  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:04:39]
941*2^1388274-1 is not prime.  Res64: B754A1CF4591F1A7  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:04:42]
735*2^1388275-1 is not prime.  Res64: D2CE3E0F8CD728D5  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:23:56]
965*2^1388272-1 is not prime.  Res64: 95E92BFEFEE3BCBD  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:25:05]
765*2^1388275-1 is not prime.  Res64: 754E9B3A0843EA3E  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:25:05]
789*2^1388275-1 is not prime.  Res64: A52F69BDE30E3DA7  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:26:18]
793*2^1388275-1 is not prime.  Res64: ABE8A515D313CE07  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:26:19]
873*2^1388275-1 is not prime.  Res64: 30080111657B54C9  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:31:21]
915*2^1388275-1 is not prime.  Res64: 1088F1A3D1715F80  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:31:21]
943*2^1388275-1 is not prime.  Res64: A4682BC5F2C7CCD1  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:50:02]
767*2^1388276-1 is not prime.  Res64: F354188CFC803617  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:50:02]
927*2^1388276-1 is not prime.  Res64: 9DB1EE1FAE336B01  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:51:06]
957*2^1388276-1 is not prime.  Res64: 2509814D6BFD0B8D  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:51:06]
675*2^1388277-1 is not prime.  Res64: 4064260B9A1DFC65  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:52:19]
777*2^1388277-1 is not prime.  Res64: 1BCB3C3C4A3AF1BA  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:52:19]
817*2^1388277-1 is not prime.  Res64: 01FDF1B662DF34A3  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:57:26]
847*2^1388277-1 is not prime.  Res64: CA00CC9C2C578CE2  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 16:57:27]
871*2^1388277-1 is not prime.  Res64: 9A41B9CD6C5F88F2  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:16:06]
895*2^1388277-1 is not prime.  Res64: A8F20830AFCA65A5  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:16:06]
997*2^1388277-1 is not prime.  Res64: E4B333F89720AC1D  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:17:05]
647*2^1388278-1 is not prime.  Res64: C96C2570F0E5EC39  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:17:05]
703*2^1388279-1 is not prime.  Res64: 4FC936F15D6AFC0B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:18:19]
711*2^1388279-1 is not prime.  Res64: 2441F128A89A660C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:18:19]
855*2^1388279-1 is not prime.  Res64: EAD86AC9A8A3ECC4  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:23:31]
861*2^1388279-1 is not prime.  Res64: D205429968E3880F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:23:31]
985*2^1388279-1 is not prime.  Res64: 2AF0F7E954866B13  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:42:23]
759*2^1388280-1 is not prime.  Res64: 90254AB953146EC4  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:43:08]
863*2^1388280-1 is not prime.  Res64: AD7935B0B875163C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:43:08]
899*2^1388280-1 is not prime.  Res64: 233426EFAA45EB2F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:44:22]
959*2^1388280-1 is not prime.  Res64: C25684E68BB3A2EF  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:44:23]
999*2^1388280-1 is not prime.  Res64: 647474776BB09D41  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 17:49:50]
675*2^1388281-1 is not prime.  Res64: 2B40806212AB23F2  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 18:09:54]
939*2^1388281-1 is not prime.  Res64: 4FDE488355ABE725  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 18:09:57]
951*2^1388281-1 is not prime.  Res64: 8564588B8C990F76  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 18:11:08]
999*2^1388281-1 is not prime.  Res64: 694DA3549215BA4F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 18:11:13]
617*2^1388282-1 is not prime.  Res64: 6D6F7B53E91AD8D2  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 18:37:29]
627*2^1388282-1 is not prime.  Res64: 314F1915AE2E875C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 18:37:29]
741*2^1388282-1 is not prime.  Res64: 8B192E1435D9D690  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 18:38:38]
791*2^1388282-1 is not prime.  Res64: 2441E7C7A46FD8C8  Time : 0.0 sec.
user=juhehe
[2014-12-30 18:44:12]
983*2^1388272-1 is not prime.  Res64: 22C9F86C8BC7A947  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:01:03]
747*2^1388281-1 is not prime.  Res64: FBE75ADC77BED43F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:02:16]
765*2^1388280-1 is not prime.  Res64: 829AD422CAB6CF8A  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:04:47]
885*2^1388282-1 is not prime.  Res64: 6317635AA6DAB34F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:04:48]
945*2^1388282-1 is not prime.  Res64: B54079F056574D0B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:27:42]
981*2^1388282-1 is not prime.  Res64: 2F618679960616AE  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:28:29]
709*2^1388283-1 is not prime.  Res64: C81AD0C1E2125906  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:28:30]
765*2^1388283-1 is not prime.  Res64: 722C45470737BE32  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:30:59]
789*2^1388283-1 is not prime.  Res64: 7B5F1EC5AD6475D3  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:30:59]
605*2^1388284-1 is not prime.  Res64: 0D5C75480B080B1D  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:48:58]
815*2^1388282-1 is not prime.  Res64: 7AF87E47CAF3D923  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:55:21]
833*2^1388284-1 is not prime.  Res64: B0A6301E3F355C9C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:57:34]
887*2^1388284-1 is not prime.  Res64: 35AAC913C39FF709  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 19:57:35]
903*2^1388284-1 is not prime.  Res64: 9F8785A8B5F71960  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 20:15:55]
965*2^1388284-1 is not prime.  Res64: 255DF1408D20F4E9  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 20:24:48]
669*2^1388285-1 is not prime.  Res64: A64508B610D7825C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 20:24:49]
811*2^1388285-1 is not prime.  Res64: F7BB5C165875C1DC  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 20:51:26]
995*2^1388282-1 is not prime.  Res64: 34F70D8034688996  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 20:52:41]
855*2^1388285-1 is not prime.  Res64: 12E336A93768379C  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 20:52:41]
981*2^1388285-1 is not prime.  Res64: 311924B8A23A5293  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:06:44]
873*2^1388284-1 is not prime.  Res64: DB439BAD83B79AEE  Time : 0.0 sec.
user=juhehe
[2014-12-30 21:17:04]
825*2^1388285-1 is not prime.  Res64: DD2DD478487DB4A3  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:18:13]
725*2^1388286-1 is not prime.  Res64: FDD3BF39C68A60BD  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:18:21]
765*2^1388286-1 is not prime.  Res64: 9AA98833906DA465  Time : 0.0 sec.
user=juhehe
[2014-12-30 21:19:24]
831*2^1388285-1 is not prime.  Res64: 5920497F19521CF2  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:19:26]
777*2^1388286-1 is not prime.  Res64: 474F3697C7A265F7  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:19:26]
801*2^1388286-1 is not prime.  Res64: A2ADB22961F866F9  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:31:51]
607*2^1388285-1 is not prime.  Res64: A18FE4A28ED50345  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:33:38]
917*2^1388286-1 is not prime.  Res64: 7C034C32EFA3BFAF  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:46:23]
793*2^1388287-1 is not prime.  Res64: 99EA2328C2DB9B76  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:46:23]
829*2^1388287-1 is not prime.  Res64: 719981772FD51495  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:58:56]
859*2^1388287-1 is not prime.  Res64: 98C6376D6F9422E3  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 21:58:56]
873*2^1388287-1 is not prime.  Res64: 350E87EEC97FCF9E  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 22:13:14]
891*2^1388287-1 is not prime.  Res64: 6CE6661DA8285D58  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 22:13:15]
629*2^1388288-1 is not prime.  Res64: A9893EFF6EB9D51F  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 22:25:51]
659*2^1388288-1 is not prime.  Res64: BD32E00FF8C97DC5  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 22:25:51]
665*2^1388288-1 is not prime.  Res64: F81D2298A7614C07  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 22:40:07]
669*2^1388288-1 is not prime.  Res64: B081704A9D72C941  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 22:40:08]
915*2^1388288-1 is not prime.  Res64: 40F8C7089065660D  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 22:49:37]
619*2^1388287-1 is not prime.  Res64: 100863B10E49CFA2  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 22:52:29]
609*2^1388289-1 is not prime.  Res64: 08DCE191073B4418  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 22:52:30]
625*2^1388289-1 is not prime.  Res64: B710BE986F5A61F0  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:04:07]
637*2^1388289-1 is not prime.  Res64: 68E48EBF946FF600  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:04:08]
649*2^1388289-1 is not prime.  Res64: D9ADD01ADAE0D106  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:15:10]
675*2^1388290-1 is not prime.  Res64: 016EA86D03199B32  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:15:10]
701*2^1388290-1 is not prime.  Res64: B26ECD3E66E96DEA  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:18:16]
827*2^1388290-1 is not prime.  Res64: 31020ED4D50461E4  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:18:16]
845*2^1388290-1 is not prime.  Res64: 408D5724C4443037  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:36:42]
797*2^1388292-1 is not prime.  Res64: 422772CC9CA71BC8  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:36:42]
875*2^1388292-1 is not prime.  Res64: 7B9A84F96E908954  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:42:01]
951*2^1388290-1 is not prime.  Res64: D3E54B33B53B909B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:42:02]
651*2^1388291-1 is not prime.  Res64: E501E7EF8C50AD1B  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:45:05]
685*2^1388291-1 is not prime.  Res64: 908DF7152FEA48EC  Time : 0.0 sec.
user=mdettweiler
[2014-12-30 23:45:06]
715*2^1388291-1 is not prime.  Res64: 8327F71D4A0BC99B  Time : 0.0 sec.