user=mdettweiler
[2013-03-13 00:11:47]
899*2^1242584-1 is not prime.  Res64: 65E38C1D884114F2  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:11:48]
651*2^1242585-1 is not prime.  Res64: DDA92C44CF7A3D51  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:11:49]
685*2^1242585-1 is not prime.  Res64: 5A875AB31D335365  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:11:50]
691*2^1242585-1 is not prime.  Res64: B86D41548F68264F  Time : 0.0 sec.
user=vaughan
[2013-03-13 00:16:47]
897*2^1242584-1 is not prime.  Res64: 80C1F632BAD02850  Time : 0.0 sec.
user=juhehe
[2013-03-13 00:23:12]
765*2^1242583-1 is not prime.  Res64: B3ED6F1735E30E55  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:29:57]
727*2^1242585-1 is not prime.  Res64: ADC5CFFCBA63203F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:29:58]
861*2^1242585-1 is not prime.  Res64: E159DCE17E439076  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:29:58]
889*2^1242585-1 is not prime.  Res64: 6AAB007748E63643  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:29:59]
921*2^1242585-1 is not prime.  Res64: 7BB3A7442DB657AC  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:47:24]
623*2^1242586-1 is not prime.  Res64: CEE69AFCF3249A49  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:47:24]
653*2^1242586-1 is not prime.  Res64: 66521A983081BC32  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:47:26]
723*2^1242586-1 is not prime.  Res64: C9B304911CC35D0E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 00:47:27]
941*2^1242586-1 is not prime.  Res64: 395D830076F3A0E4  Time : 0.0 sec.
user=vaughan
[2013-03-13 01:00:00]
991*2^1242585-1 is not prime.  Res64: C26A20F0079ED538  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:04:49]
987*2^1242586-1 is not prime.  Res64: 181D1989034C57EB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:04:50]
621*2^1242587-1 is not prime.  Res64: 68325F191993F05E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:04:51]
633*2^1242587-1 is not prime.  Res64: 81E56399B4EFBB22  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:04:52]
673*2^1242587-1 is not prime.  Res64: 1B506E681414FF7F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:22:17]
735*2^1242587-1 is not prime.  Res64: EFCB005831DE901F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:22:17]
885*2^1242587-1 is not prime.  Res64: B16FDD814A01CBB4  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:22:18]
979*2^1242587-1 is not prime.  Res64: D6F0998E93D668DD  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:22:19]
981*2^1242587-1 is not prime.  Res64: 8FE29A5575B660E7  Time : 0.0 sec.
user=vaughan
[2013-03-13 01:38:10]
675*2^1242587-1 is not prime.  Res64: BF00393C67EBB742  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:39:43]
765*2^1242588-1 is not prime.  Res64: 74146CA0A908D560  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:39:43]
773*2^1242588-1 is not prime.  Res64: 8207BE675AB9C577  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:39:44]
839*2^1242588-1 is not prime.  Res64: 8F24554CFC5FD565  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:39:45]
875*2^1242588-1 is not prime.  Res64: AACD8C4DBD9897C3  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:57:08]
987*2^1242589-1 is not prime.  Res64: 05BC4D22A115B5FA  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:57:09]
657*2^1242590-1 is not prime.  Res64: 0AF79F46CC673E43  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:57:09]
785*2^1242590-1 is not prime.  Res64: AF554B1DF92EC9D3  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 01:57:09]
851*2^1242590-1 is not prime.  Res64: 61211014089D7F5F  Time : 0.0 sec.
user=juhehe
[2013-03-13 02:12:57]
725*2^1242588-1 is not prime.  Res64: 4D6EE2005F89C98E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:14:33]
857*2^1242590-1 is not prime.  Res64: A38601FCBBC98619  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:14:33]
897*2^1242590-1 is not prime.  Res64: D719411327EBB0BF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:14:35]
619*2^1242591-1 is not prime.  Res64: E00947D72924CC32  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:14:35]
775*2^1242591-1 is not prime.  Res64: 5706AF6BD0436A26  Time : 0.0 sec.
user=vaughan
[2013-03-13 02:16:21]
675*2^1242589-1 is not prime.  Res64: AF5747417343E46A  Time : 0.0 sec.
user=juhehe
[2013-03-13 02:28:20]
879*2^1242588-1 is not prime.  Res64: 7915593C41578C74  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:31:59]
793*2^1242591-1 is not prime.  Res64: 0A7F7F0B23C87FBA  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:32:01]
961*2^1242591-1 is not prime.  Res64: 9901C0F37AA3F7B7  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:32:02]
609*2^1242592-1 is not prime.  Res64: A819AC3E9FCA70B8  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:32:03]
615*2^1242592-1 is not prime.  Res64: C5C05625DA01185A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:49:33]
677*2^1242592-1 is not prime.  Res64: 246AAE55E57BDECD  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:49:34]
705*2^1242592-1 is not prime.  Res64: 3084712EE7DFF4DF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:49:35]
989*2^1242592-1 is not prime.  Res64: C92B918E79E410C0  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 02:49:36]
615*2^1242593-1 is not prime.  Res64: 41DAB8A4C37EBE43  Time : 0.0 sec.
user=vaughan
[2013-03-13 02:54:31]
645*2^1242592-1 is not prime.  Res64: 50922092FC8A950C  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:07:00]
631*2^1242593-1 is not prime.  Res64: 9DF973556F441FAC  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:07:00]
697*2^1242593-1 is not prime.  Res64: 8141C92A0AEBE1BE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:07:01]
675*2^1242593-1 is not prime.  Res64: 23A8F62F18AE5734  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:07:01]
837*2^1242593-1 is not prime.  Res64: 6C5ADD8CE7623D5A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:24:31]
945*2^1242593-1 is not prime.  Res64: 75E7D28031EC8937  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:24:31]
949*2^1242593-1 is not prime.  Res64: 1F603B53D44147C2  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:24:32]
663*2^1242594-1 is not prime.  Res64: BBE1FCB563872978  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:24:32]
681*2^1242594-1 is not prime.  Res64: 0EA75B8ADC8F758E  Time : 0.0 sec.
user=vaughan
[2013-03-13 03:32:40]
847*2^1242593-1 is not prime.  Res64: 6560288FDE1E77DD  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:41:56]
851*2^1242594-1 is not prime.  Res64: B080873BF619AC20  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:41:56]
945*2^1242594-1 is not prime.  Res64: BE7D586E5508B1B2  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:41:56]
927*2^1242594-1 is not prime.  Res64: 9AE80BE7AF2518FF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:41:57]
947*2^1242594-1 is not prime.  Res64: 95E2A8483497E648  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:59:22]
849*2^1242595-1 is not prime.  Res64: 3AC561E2CE9C7A08  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:59:22]
859*2^1242595-1 is not prime.  Res64: 2A1AE47669E10555  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:59:23]
759*2^1242596-1 is not prime.  Res64: FCF04528A0D7FB58  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 03:59:23]
667*2^1242597-1 is not prime.  Res64: F2B5D11C648B0ABA  Time : 0.0 sec.
user=vaughan
[2013-03-13 04:10:53]
771*2^1242595-1 is not prime.  Res64: 6187E51C34398BDE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:16:48]
699*2^1242597-1 is not prime.  Res64: 6019E717F69BFDEB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:16:48]
727*2^1242597-1 is not prime.  Res64: 337F5B796748E91E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:16:49]
859*2^1242597-1 is not prime.  Res64: D103367A807E5ED2  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:16:50]
949*2^1242597-1 is not prime.  Res64: CCA42CA4C1AF482A  Time : 0.0 sec.
user=juhehe
[2013-03-13 04:17:59]
791*2^1242594-1 is not prime.  Res64: 5B5E56B408316081  Time : 0.0 sec.
user=juhehe
[2013-03-13 04:33:15]
609*2^1242595-1 is not prime.  Res64: DC99072C12E7483D  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:34:13]
743*2^1242598-1 is not prime.  Res64: 01D2C7C6BFAAF3F8  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:34:13]
755*2^1242598-1 is not prime.  Res64: A2BA4DEAD83FDE38  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:34:14]
825*2^1242598-1 is not prime.  Res64: E5A6351EF48B5EB3  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:34:14]
833*2^1242598-1 is not prime.  Res64: DBCBD4207AD5CAC1  Time : 0.0 sec.
user=vaughan
[2013-03-13 04:49:02]
705*2^1242598-1 is not prime.  Res64: 2D0B0E59EE6FFD5A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:51:38]
867*2^1242598-1 is not prime.  Res64: 28CEBE7732BB9FD7  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:51:39]
993*2^1242598-1 is not prime.  Res64: 4B0CDF032EEAB286  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:51:40]
643*2^1242599-1 is not prime.  Res64: A49C614AF0549E7E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 04:51:41]
669*2^1242599-1 is not prime.  Res64: 15873A80FD33F2F9  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:09:03]
979*2^1242599-1 is not prime.  Res64: 4240E1EEAD5326E0  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:09:05]
635*2^1242600-1 is not prime.  Res64: 8615684B1208A511  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:09:05]
689*2^1242600-1 is not prime.  Res64: 586C61F1284F8637  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:09:06]
795*2^1242600-1 is not prime.  Res64: 972DBE068D94070E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:26:30]
857*2^1242600-1 is not prime.  Res64: 3EFD82F5DE05A48F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:26:31]
873*2^1242600-1 is not prime.  Res64: EEDE0B4021173662  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:26:32]
909*2^1242600-1 is not prime.  Res64: 3C25E2493350141E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:26:32]
741*2^1242601-1 is not prime.  Res64: 0BDEACF7EBE781AA  Time : 0.0 sec.
user=vaughan
[2013-03-13 05:27:11]
843*2^1242599-1 is not prime.  Res64: 42F193C6C10A63F9  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:43:55]
777*2^1242601-1 is not prime.  Res64: 21C5872F11C90C89  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:43:56]
957*2^1242601-1 is not prime.  Res64: 4370D5755BE427D1  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:43:57]
603*2^1242602-1 is not prime.  Res64: E2D5C42634EC0C8B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 05:43:57]
645*2^1242602-1 is not prime.  Res64: 4E040021F67CE69F  Time : 0.0 sec.
user=juhehe
[2013-03-13 06:00:50]
1001*2^1242602-1 is not prime.  Res64: 5EF74186C21EEFF5  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:01:21]
699*2^1242603-1 is not prime.  Res64: DF9D589DDB59080A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:01:22]
879*2^1242603-1 is not prime.  Res64: 4A1DCC2ECF7D7A50  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:01:22]
969*2^1242603-1 is not prime.  Res64: 4F141960AE23026B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:01:23]
615*2^1242604-1 is not prime.  Res64: 7C3AFB29F89D6848  Time : 0.0 sec.
user=vaughan
[2013-03-13 06:05:22]
741*2^1242602-1 is not prime.  Res64: DA26E6124810E447  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:18:48]
843*2^1242604-1 is not prime.  Res64: 50CE75D05A17DDEB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:18:48]
855*2^1242604-1 is not prime.  Res64: 6ABB7FE4BFAB6F11  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:18:49]
887*2^1242604-1 is not prime.  Res64: B0191C19580BACE8  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:18:50]
989*2^1242604-1 is not prime.  Res64: 28B9BEC403E8FB19  Time : 0.0 sec.
user=juhehe
[2013-03-13 06:21:17]
723*2^1242604-1 is not prime.  Res64: 937C652762B40D17  Time : 0.0 sec.
user=juhehe
[2013-03-13 06:23:59]
769*2^1242601-1 is not prime.  Res64: 6098D775F2B748F8  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:36:12]
649*2^1242605-1 is not prime.  Res64: F849A7ED8A3F2EAA  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:36:13]
801*2^1242605-1 is not prime.  Res64: 88CFC71A673A4EB1  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:36:15]
657*2^1242606-1 is not prime.  Res64: 7DBDAC4A8ACAEBAE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:36:15]
705*2^1242606-1 is not prime.  Res64: B498488879717524  Time : 0.0 sec.
user=juhehe
[2013-03-13 06:38:28]
827*2^1242602-1 is not prime.  Res64: B6F98AEDCE2783D7  Time : 0.0 sec.
user=juhehe
[2013-03-13 06:41:39]
741*2^1242606-1 is not prime.  Res64: 38398CB60606C4CF  Time : 0.0 sec.
user=vaughan
[2013-03-13 06:49:00]
993*2^1242604-1 is not prime.  Res64: 3A3502181D01159A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:53:42]
777*2^1242606-1 is not prime.  Res64: F700599858C126CE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:53:42]
807*2^1242606-1 is not prime.  Res64: 0BF2B7D30C290E37  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:53:44]
815*2^1242606-1 is not prime.  Res64: 227666AFEFDA43DB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 06:53:45]
873*2^1242606-1 is not prime.  Res64: F01DE115827CBA5A  Time : 0.0 sec.
user=juhehe
[2013-03-13 07:02:02]
947*2^1242606-1 is not prime.  Res64: C744A2593B95CDB7  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:11:07]
633*2^1242607-1 is not prime.  Res64: 348F5DA4C3CE3E50  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:11:08]
649*2^1242607-1 is not prime.  Res64: B9AB7B815A96A650  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:11:10]
651*2^1242607-1 is not prime.  Res64: 32DD8C4F6852C8CE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:11:11]
675*2^1242607-1 is not prime.  Res64: 2CA91BA57EF75FDA  Time : 0.0 sec.
user=juhehe
[2013-03-13 07:22:28]
741*2^1242607-1 is not prime.  Res64: 6D2298A06975EE02  Time : 0.0 sec.
user=vaughan
[2013-03-13 07:27:17]
609*2^1242607-1 is not prime.  Res64: 70B3B78B4518AE52  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:28:32]
765*2^1242607-1 is not prime.  Res64: DE09BC6A1DBC039B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:28:33]
841*2^1242607-1 is not prime.  Res64: F0F6E387B7123623  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:28:35]
885*2^1242607-1 is not prime.  Res64: CFC7E6DAB1A7B5A3  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:28:36]
889*2^1242607-1 is not prime.  Res64: 176EFEB0AA124C19  Time : 0.0 sec.
user=juhehe
[2013-03-13 07:42:53]
909*2^1242607-1 is not prime.  Res64: 2C8595BA7640298C  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:45:57]
759*2^1242608-1 is not prime.  Res64: D1A1B012F0237DDD  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:45:57]
777*2^1242608-1 is not prime.  Res64: 6A9B4B2E2E4A549C  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:46:00]
839*2^1242608-1 is not prime.  Res64: 5E05A4F477983E8B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 07:46:01]
897*2^1242608-1 is not prime.  Res64: C23CA4C0EE133DA9  Time : 0.0 sec.
user=juhehe
[2013-03-13 08:03:17]
625*2^1242609-1 is not prime.  Res64: 4E97CFCD16B55DA5  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:03:22]
657*2^1242609-1 is not prime.  Res64: 0F0C07BE623BD8DA  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:03:23]
681*2^1242609-1 is not prime.  Res64: 7DFD3B4659F09361  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:03:25]
735*2^1242609-1 is not prime.  Res64: 52FDD84BD5BFD0A2  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:03:26]
765*2^1242609-1 is not prime.  Res64: 8CD6C9CB713586AD  Time : 0.0 sec.
user=vaughan
[2013-03-13 08:05:39]
663*2^1242608-1 is not prime.  Res64: EE2B19698CA50E5C  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:20:49]
921*2^1242609-1 is not prime.  Res64: C419B7DD747B8580  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:20:50]
985*2^1242609-1 is not prime.  Res64: 0A221919DB9A955E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:20:52]
605*2^1242610-1 is not prime.  Res64: 121385AC3E41BC0F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:20:53]
635*2^1242610-1 is not prime.  Res64: A96E3C78C7EE7D19  Time : 0.0 sec.
user=juhehe
[2013-03-13 08:22:46]
959*2^1242608-1 is not prime.  Res64: E369E50DF8FAB718  Time : 0.0 sec.
user=juhehe
[2013-03-13 08:23:48]
891*2^1242609-1 is not prime.  Res64: FBF344262E507275  Time : 0.0 sec.
user=juhehe
[2013-03-13 08:37:51]
985*2^1242607-1 is not prime.  Res64: A07F9BD9BD270941  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:38:14]
687*2^1242610-1 is not prime.  Res64: 5481863DDB02B198  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:38:15]
701*2^1242610-1 is not prime.  Res64: 54DE5F3D814C1617  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:38:17]
731*2^1242610-1 is not prime.  Res64: 67548AAF6DEEBA55  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:38:18]
747*2^1242610-1 is not prime.  Res64: D7A5A35D6E3C223B  Time : 0.0 sec.
user=vaughan
[2013-03-13 08:44:05]
675*2^1242610-1 is not prime.  Res64: CF3E3E1E8B254241  Time : 0.0 sec.
user=juhehe
[2013-03-13 08:45:28]
887*2^1242610-1 is not prime.  Res64: 0DFC741BE804F6A3  Time : 0.0 sec.
user=juhehe
[2013-03-13 08:52:13]
963*2^1242608-1 is not prime.  Res64: 1CD4A3768B1BF199  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:55:39]
891*2^1242610-1 is not prime.  Res64: 3FF77D9FD89FE482  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:55:39]
609*2^1242611-1 is not prime.  Res64: 2D3B3A0426CD7AAE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:55:42]
651*2^1242611-1 is not prime.  Res64: 41D024E3C479C78E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 08:55:43]
711*2^1242611-1 is not prime.  Res64: E397E2065B6B8118  Time : 0.0 sec.
user=juhehe
[2013-03-13 09:06:53]
825*2^1242611-1 is not prime.  Res64: DDF2EFE95D74E8A6  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:13:03]
871*2^1242611-1 is not prime.  Res64: 2BDEA0ACDD8DE4DE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:13:04]
931*2^1242611-1 is not prime.  Res64: E2B0D993B5A7D784  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:13:06]
949*2^1242611-1 is not prime.  Res64: F5FB38DC5DCE6C60  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:13:07]
955*2^1242611-1 is not prime.  Res64: CDEE4EB530E8E804  Time : 0.0 sec.
user=vaughan
[2013-03-13 09:22:22]
715*2^1242611-1 is not prime.  Res64: 1D46C534EA6187AF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:30:28]
749*2^1242612-1 is not prime.  Res64: 3478065BAC49393B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:30:29]
777*2^1242612-1 is not prime.  Res64: BB0D9D8814838834  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:30:32]
867*2^1242612-1 is not prime.  Res64: 9817676C3D59FB1B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:30:32]
957*2^1242612-1 is not prime.  Res64: 4889F77ADBEFD374  Time : 0.0 sec.
user=juhehe
[2013-03-13 09:30:56]
979*2^1242611-1 is not prime.  Res64: 1C0E630D56C1CC01  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:47:54]
897*2^1242613-1 is not prime.  Res64: D9E78B8F7B1EB1FF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:47:55]
919*2^1242613-1 is not prime.  Res64: 3DBC0A577A5026B7  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:47:57]
967*2^1242613-1 is not prime.  Res64: FBE2F01783C6BFF5  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 09:47:57]
615*2^1242614-1 is not prime.  Res64: 5D3AAD791D87323F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:05:20]
753*2^1242614-1 is not prime.  Res64: 883A46C72AD46322  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:05:21]
825*2^1242614-1 is not prime.  Res64: 9EC5A76DDFB73D2F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:05:22]
861*2^1242614-1 is not prime.  Res64: C6C01F2A374E490C  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:05:23]
873*2^1242614-1 is not prime.  Res64: 2781DAF91F9A285F  Time : 0.0 sec.
user=vaughan
[2013-03-13 10:05:47]
977*2^1242612-1 is not prime.  Res64: 2C4B6A82E471EC87  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:22:57]
887*2^1242614-1 is not prime.  Res64: 76D05A232C83F45A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:22:58]
995*2^1242614-1 is not prime.  Res64: B850BD41EA0D877B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:22:58]
1001*2^1242614-1 is not prime.  Res64: 7A63CFCDCFCA9232  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:22:59]
663*2^1242615-1 is not prime.  Res64: 04A8F3E525A4E61B  Time : 0.0 sec.
user=juhehe
[2013-03-13 10:36:29]
683*2^1242614-1 is not prime.  Res64: E7E71EE618D77711  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:40:38]
793*2^1242615-1 is not prime.  Res64: 0A6D610772A92DA8  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:40:38]
873*2^1242615-1 is not prime.  Res64: 35406F2157F721C6  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:40:39]
707*2^1242616-1 is not prime.  Res64: 3BF6911EAE3E6DF5  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:40:39]
755*2^1242616-1 is not prime.  Res64: 4D6C9A38CE4C5814  Time : 0.0 sec.
user=juhehe
[2013-03-13 10:42:30]
741*2^1242614-1 is not prime.  Res64: 27410BF2DD21B261  Time : 0.0 sec.
user=vaughan
[2013-03-13 10:44:06]
723*2^1242615-1 is not prime.  Res64: 4A6EC32863B04226  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:58:13]
813*2^1242616-1 is not prime.  Res64: 550182A578E6E1CF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:58:14]
825*2^1242616-1 is not prime.  Res64: 89086A6C10DB56F8  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:58:15]
843*2^1242616-1 is not prime.  Res64: 7CDBAD5EEBCD7BCC  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 10:58:15]
923*2^1242616-1 is not prime.  Res64: BDF830DA5E488BD3  Time : 0.0 sec.
user=juhehe
[2013-03-13 11:08:44]
779*2^1242616-1 is not prime.  Res64: 29B467594F65908A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:15:54]
741*2^1242617-1 is not prime.  Res64: 83CC714F55DB8CDF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:15:54]
945*2^1242617-1 is not prime.  Res64: DBB762788FEB5737  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:15:55]
611*2^1242618-1 is not prime.  Res64: 27F14C7A38649118  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:15:55]
755*2^1242618-1 is not prime.  Res64: 941F70547D3B3365  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:33:32]
801*2^1242618-1 is not prime.  Res64: AC5E43184F537958  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:33:32]
821*2^1242618-1 is not prime.  Res64: E9348AFE74F9C831  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:33:33]
843*2^1242618-1 is not prime.  Res64: 374847E76795B3F7  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:33:33]
921*2^1242618-1 is not prime.  Res64: ADE261DA4B306B50  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:51:09]
603*2^1242619-1 is not prime.  Res64: 24929DCCBDD53BB1  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:51:09]
639*2^1242619-1 is not prime.  Res64: C1939C16E681D749  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:51:09]
927*2^1242618-1 is not prime.  Res64: 60AC6B7811915F87  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 11:51:10]
977*2^1242618-1 is not prime.  Res64: F02D3C96080B5FCF  Time : 0.0 sec.
user=juhehe
[2013-03-13 11:56:55]
645*2^1242617-1 is not prime.  Res64: 25F5E6D250007099  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:08:48]
919*2^1242619-1 is not prime.  Res64: E8944D8017AD19B4  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:08:49]
925*2^1242619-1 is not prime.  Res64: 9B3884441E2D0C32  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:08:49]
629*2^1242620-1 is not prime.  Res64: 36211041893F4798  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:08:49]
767*2^1242620-1 is not prime.  Res64: FBF28DE9C1E31E6D  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:26:37]
879*2^1242620-1 is not prime.  Res64: 5BA19FD2FEA209B5  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:26:37]
899*2^1242620-1 is not prime.  Res64: 612CF57077B03BAD  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:26:37]
959*2^1242620-1 is not prime.  Res64: D2ABFB161896E521  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:26:38]
609*2^1242621-1 is not prime.  Res64: F1D6CD6C34FB9BEB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:44:18]
625*2^1242621-1 is not prime.  Res64: FBCF6341BFBC8CFD  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:44:18]
661*2^1242621-1 is not prime.  Res64: 870DCCA705115334  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:44:19]
817*2^1242621-1 is not prime.  Res64: F2896544B77667FA  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 12:44:19]
871*2^1242621-1 is not prime.  Res64: 2FDAB27ABB40AB0A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:01:56]
889*2^1242621-1 is not prime.  Res64: A5F2AC2D98A6D732  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:01:56]
955*2^1242621-1 is not prime.  Res64: 559935AA53250A81  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:01:57]
937*2^1242621-1 is not prime.  Res64: D1D2398DEFBF3916  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:01:57]
969*2^1242621-1 is not prime.  Res64: D9698DD22351CFF6  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:19:59]
611*2^1242622-1 is not prime.  Res64: 2532029187EE1ACE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:19:59]
713*2^1242622-1 is not prime.  Res64: 5ABE80FF5886B143  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:20:00]
647*2^1242622-1 is not prime.  Res64: 70E7E293BBB92981  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:20:00]
831*2^1242622-1 is not prime.  Res64: A2C70E8D4F3DA420  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:37:43]
881*2^1242622-1 is not prime.  Res64: 13F814B5EC66725B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:37:43]
923*2^1242622-1 is not prime.  Res64: 5BC4D6B80827C549  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:37:44]
945*2^1242622-1 is not prime.  Res64: 5D291F6B1AC5BECC  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:37:44]
947*2^1242622-1 is not prime.  Res64: 608A5A0F88CE1D0F  Time : 0.0 sec.
user=juhehe
[2013-03-13 13:39:01]
855*2^1242619-1 is not prime.  Res64: FCAA6A5D90BDF25D  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:55:20]
619*2^1242623-1 is not prime.  Res64: B5FA5C689C45FA2A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:55:21]
715*2^1242623-1 is not prime.  Res64: 8EC686F9B49649C8  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:55:21]
889*2^1242623-1 is not prime.  Res64: 1E5234EE4B5D1C7E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 13:55:21]
921*2^1242623-1 is not prime.  Res64: 2BFDC5ED773401E3  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:12:57]
985*2^1242623-1 is not prime.  Res64: 0F366E2F0506311A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:12:58]
993*2^1242623-1 is not prime.  Res64: 9F4B9B6FAE4BD56F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:12:58]
675*2^1242624-1 is not prime.  Res64: 0463FB0CD3BC7EE2  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:12:59]
705*2^1242624-1 is not prime.  Res64: C98EC6A14BEFA138  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:30:39]
765*2^1242624-1 is not prime.  Res64: 9DBCFA12B5695F56  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:30:39]
803*2^1242624-1 is not prime.  Res64: E4FA61DFF6508413  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:30:40]
905*2^1242624-1 is not prime.  Res64: 865B16041EE262DA  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:30:40]
609*2^1242625-1 is not prime.  Res64: BA80D698E3ED7B00  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:48:24]
679*2^1242625-1 is not prime.  Res64: 793B6235F370C5C7  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:48:24]
645*2^1242625-1 is not prime.  Res64: BF862DB44950121D  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:48:24]
729*2^1242625-1 is not prime.  Res64: 481217641E5BBDE5  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 14:48:24]
675*2^1242625-1 is not prime.  Res64: B34C406AA41D95B4  Time : 0.0 sec.
user=juhehe
[2013-03-13 14:48:51]
957*2^1242622-1 is not prime.  Res64: 0B80041F39F6DBE1  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:06:04]
765*2^1242625-1 is not prime.  Res64: 569FBAF881DD51B8  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:06:04]
867*2^1242625-1 is not prime.  Res64: C53319881C1B9DFD  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:06:04]
775*2^1242625-1 is not prime.  Res64: 81A1A971D713791E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:06:05]
885*2^1242625-1 is not prime.  Res64: 16E88321E81E8326  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:23:47]
915*2^1242625-1 is not prime.  Res64: 3EC0F6E7179A0D45  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:23:47]
951*2^1242625-1 is not prime.  Res64: 43110DFD053DDD13  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:23:47]
979*2^1242625-1 is not prime.  Res64: 3DDD71F0BB2BA51A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:23:48]
987*2^1242625-1 is not prime.  Res64: A18FE84916D4702A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:41:27]
651*2^1242626-1 is not prime.  Res64: 17EF2408429A20D2  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:41:28]
675*2^1242626-1 is not prime.  Res64: CFBF6FC4A8704CF3  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:41:29]
705*2^1242626-1 is not prime.  Res64: 77462263C76DA041  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:41:29]
755*2^1242626-1 is not prime.  Res64: 18B30C6849BA44B7  Time : 0.0 sec.
user=juhehe
[2013-03-13 15:44:57]
751*2^1242625-1 is not prime.  Res64: 5F150AB6BF428319  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:59:06]
785*2^1242626-1 is not prime.  Res64: BD4113A3676BC790  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:59:07]
813*2^1242626-1 is not prime.  Res64: D21A82233E45BFC3  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:59:07]
831*2^1242626-1 is not prime.  Res64: 4C40575065326592  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 15:59:07]
867*2^1242626-1 is not prime.  Res64: 892120666BF55625  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:16:45]
945*2^1242626-1 is not prime.  Res64: 27DED94E78075C81  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:16:45]
963*2^1242626-1 is not prime.  Res64: 0F4B5DE8C75EB82E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:16:46]
953*2^1242626-1 is not prime.  Res64: D68E10BF25E922BF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:16:46]
1001*2^1242626-1 is not prime.  Res64: CA7A794C711C388D  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:34:30]
643*2^1242627-1 is not prime.  Res64: DE6A1AE4C15AF0FE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:34:30]
795*2^1242627-1 is not prime.  Res64: 417A68519A97A885  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:34:30]
805*2^1242627-1 is not prime.  Res64: BBF2D11BCCDFFFBF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:34:31]
931*2^1242627-1 is not prime.  Res64: 838C378A954E60A8  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:52:15]
975*2^1242627-1 is not prime.  Res64: 333FFB8BFAD45D2E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:52:15]
855*2^1242628-1 is not prime.  Res64: 90ED3E445719E6CB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:52:15]
639*2^1242628-1 is not prime.  Res64: 5AFCFB66B3022CF0  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 16:52:15]
675*2^1242629-1 is not prime.  Res64: 310D63827F2BA082  Time : 0.0 sec.
user=juhehe
[2013-03-13 16:55:25]
923*2^1242626-1 is not prime.  Res64: B4F9DD5F767B926E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:10:30]
907*2^1242629-1 is not prime.  Res64: E248F3CB9A8C28E5  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:10:31]
939*2^1242629-1 is not prime.  Res64: DCD62057F552F181  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:10:31]
811*2^1242629-1 is not prime.  Res64: 55D6120ACAB2832A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:10:31]
829*2^1242629-1 is not prime.  Res64: C919FCD63E2CB91B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:28:46]
801*2^1242630-1 is not prime.  Res64: 83DFE6E2E65BE2EF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:28:46]
863*2^1242630-1 is not prime.  Res64: FDB2B08D626FE5DE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:28:46]
873*2^1242630-1 is not prime.  Res64: D6566C67D5D9ADF9  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:28:47]
891*2^1242630-1 is not prime.  Res64: 89871B5C6B1FB622  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:46:46]
941*2^1242630-1 is not prime.  Res64: 6DC3314C5CD30B6A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:46:46]
971*2^1242630-1 is not prime.  Res64: CB0FC65461833877  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:46:47]
601*2^1242631-1 is not prime.  Res64: CE6795A6F478F5A6  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 17:46:47]
603*2^1242631-1 is not prime.  Res64: B920A2585D5255DC  Time : 0.0 sec.
user=juhehe
[2013-03-13 17:50:53]
799*2^1242629-1 is not prime.  Res64: FE8F968B2D615493  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:04:27]
651*2^1242631-1 is not prime.  Res64: 652E89630413605B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:04:28]
723*2^1242631-1 is not prime.  Res64: 7BF11AE8D8B2C32B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:04:28]
775*2^1242631-1 is not prime.  Res64: 4B7B94C9F80A5791  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:04:28]
883*2^1242631-1 is not prime.  Res64: E2BF01D554A7B8CC  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:22:08]
973*2^1242631-1 is not prime.  Res64: 8AC3A4677615101F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:22:08]
615*2^1242632-1 is not prime.  Res64: B0CE1C962D2BC0DE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:22:09]
719*2^1242632-1 is not prime.  Res64: B385F7DBF555E18F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:22:10]
983*2^1242632-1 is not prime.  Res64: 39721C43E916F141  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:39:48]
807*2^1242633-1 is not prime.  Res64: 5D4BA17C38498985  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:39:48]
861*2^1242633-1 is not prime.  Res64: 0F4B34FA62F40974  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:39:49]
889*2^1242633-1 is not prime.  Res64: 3216D470D0855318  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:39:49]
611*2^1242634-1 is not prime.  Res64: 44226BE405A3E541  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:57:30]
635*2^1242634-1 is not prime.  Res64: 176E9959388CF4F6  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:57:30]
675*2^1242635-1 is not prime.  Res64: 1AA52B8C9986A747  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:57:31]
733*2^1242635-1 is not prime.  Res64: 3A79DA4A69482C8B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 18:57:31]
741*2^1242635-1 is not prime.  Res64: A487A2192975F936  Time : 0.0 sec.
user=juhehe
[2013-03-13 19:02:22]
901*2^1242631-1 is not prime.  Res64: 9C432161DCF27A87  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:15:13]
775*2^1242635-1 is not prime.  Res64: 12DB2D9FEDC08E9B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:15:13]
909*2^1242635-1 is not prime.  Res64: 6AA9BECD5BF6A140  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:15:13]
943*2^1242635-1 is not prime.  Res64: 85B3FFDA1C0480D7  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:15:14]
973*2^1242635-1 is not prime.  Res64: 0E622753D6AF7701  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:32:47]
723*2^1242636-1 is not prime.  Res64: E617B0A0B994BD1D  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:32:48]
783*2^1242636-1 is not prime.  Res64: F8E83DDA3EC06371  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:32:48]
725*2^1242636-1 is not prime.  Res64: E8D1052E721A2BEA  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:32:48]
843*2^1242636-1 is not prime.  Res64: 1EF699CDAB7779E6  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:50:19]
639*2^1242637-1 is not prime.  Res64: FDEA56273FED14AE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:50:19]
885*2^1242637-1 is not prime.  Res64: 0D1BE8694DF014D6  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:50:20]
831*2^1242637-1 is not prime.  Res64: CF521A5E32F666F4  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 19:50:20]
945*2^1242637-1 is not prime.  Res64: B2923C7190B2D44C  Time : 0.0 sec.
user=juhehe
[2013-03-13 19:57:18]
759*2^1242635-1 is not prime.  Res64: D0995705087E8372  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:07:52]
645*2^1242638-1 is not prime.  Res64: 794B2CE2621DBA7A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:07:52]
657*2^1242638-1 is not prime.  Res64: 7010E4D39F278B24  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:07:53]
761*2^1242638-1 is not prime.  Res64: 4EB404258E3A7766  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:07:53]
813*2^1242638-1 is not prime.  Res64: 8BDE147F96926CEB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:25:25]
831*2^1242638-1 is not prime.  Res64: B636B87FFFC2FD37  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:25:26]
609*2^1242639-1 is not prime.  Res64: B4BDC9A5B0B6FC90  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:25:26]
625*2^1242639-1 is not prime.  Res64: F063F9F5B25644A4  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:25:26]
649*2^1242639-1 is not prime.  Res64: EDA7FE2892FB045B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:42:58]
693*2^1242639-1 is not prime.  Res64: 505EEC0BC81C42E4  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:42:58]
751*2^1242639-1 is not prime.  Res64: 0EB01B066869A150  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:42:59]
769*2^1242639-1 is not prime.  Res64: 6AAE8B5A83A0BA0D  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 20:43:00]
829*2^1242639-1 is not prime.  Res64: 72B4897F0C65ABF0  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:00:30]
861*2^1242639-1 is not prime.  Res64: 0ECA3D0BF5FD36AE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:00:30]
931*2^1242639-1 is not prime.  Res64: 7F4B2D8296F0499D  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:00:31]
677*2^1242640-1 is not prime.  Res64: 44CE51C33D15218A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:00:32]
699*2^1242640-1 is not prime.  Res64: CC57F2D5F0FBF5A7  Time : 0.0 sec.
user=juhehe
[2013-03-13 21:09:40]
827*2^1242638-1 is not prime.  Res64: 5830A00E17578074  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:18:13]
719*2^1242640-1 is not prime.  Res64: AD9F8915C35C5C91  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:18:14]
747*2^1242640-1 is not prime.  Res64: B2DCB4E42CDEB8D0  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:18:14]
803*2^1242640-1 is not prime.  Res64: 122AA604268AAA7A  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:18:15]
827*2^1242640-1 is not prime.  Res64: 9D725714D42398EB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:35:53]
839*2^1242640-1 is not prime.  Res64: A719C80754BE0A02  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:35:53]
863*2^1242640-1 is not prime.  Res64: 400F5567D837BE5E  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:35:54]
887*2^1242640-1 is not prime.  Res64: 2C62D0D0554F34B1  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:35:55]
933*2^1242640-1 is not prime.  Res64: A9E5FD10DBF28AFF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:53:22]
627*2^1242641-1 is not prime.  Res64: E571AB34E32880FC  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:53:22]
691*2^1242641-1 is not prime.  Res64: 0EC1D2C8C1083225  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:53:22]
715*2^1242641-1 is not prime.  Res64: 5CFACD3316965D5F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 21:53:23]
727*2^1242641-1 is not prime.  Res64: C162AABC5FB9E8BE  Time : 0.0 sec.
user=juhehe
[2013-03-13 22:02:53]
713*2^1242640-1 is not prime.  Res64: 514EBF37758B8FB6  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:10:48]
747*2^1242641-1 is not prime.  Res64: 1D749B4191761ABB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:10:49]
777*2^1242641-1 is not prime.  Res64: 80FDC949BFD551AA  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:10:50]
861*2^1242641-1 is not prime.  Res64: F82A2AFC2198A9DA  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:10:50]
871*2^1242641-1 is not prime.  Res64: 538318A6D4E0122B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:28:20]
951*2^1242641-1 is not prime.  Res64: 0CF33C08012011AB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:28:21]
991*2^1242641-1 is not prime.  Res64: 68E1AFE1758CD2BF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:28:21]
611*2^1242642-1 is not prime.  Res64: 95D3CE0795E1B8C3  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:28:22]
671*2^1242642-1 is not prime.  Res64: D610FB81DF4901B5  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:45:47]
723*2^1242642-1 is not prime.  Res64: 883D07763713A116  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:45:47]
963*2^1242642-1 is not prime.  Res64: 2F43377F80CF4BEF  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:45:47]
977*2^1242642-1 is not prime.  Res64: AEC57BF1625E09E1  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 22:45:48]
619*2^1242643-1 is not prime.  Res64: 186B102BCA080FC1  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:03:13]
681*2^1242643-1 is not prime.  Res64: 8B61EDB0A5F8F10D  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:03:14]
871*2^1242643-1 is not prime.  Res64: 7A7B4FC88CFC69EE  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:03:16]
873*2^1242643-1 is not prime.  Res64: 2C153D608EE4AC22  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:03:17]
889*2^1242643-1 is not prime.  Res64: 2B2BE70FD5D82251  Time : 0.0 sec.
user=juhehe
[2013-03-13 23:16:07]
711*2^1242642-1 is not prime.  Res64: 2571816DD4DFC010  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:20:53]
951*2^1242643-1 is not prime.  Res64: 30C843930A4FD15B  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:20:54]
615*2^1242644-1 is not prime.  Res64: EED2F8F907021ACB  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:20:54]
869*2^1242644-1 is not prime.  Res64: F491BF7D7FC5EE60  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:20:55]
903*2^1242644-1 is not prime.  Res64: B4F04D52F0B3087C  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:38:22]
657*2^1242645-1 is not prime.  Res64: 66969ED6A08CAD28  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:38:23]
831*2^1242645-1 is not prime.  Res64: AE7A733706F2B7D7  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:38:23]
679*2^1242645-1 is not prime.  Res64: FB1B5805576881F6  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:38:23]
861*2^1242645-1 is not prime.  Res64: B9A20105E4C176F7  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:55:48]
895*2^1242645-1 is not prime.  Res64: E02422D64D141491  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:55:48]
833*2^1242646-1 is not prime.  Res64: 29FCEC6890195C33  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:55:48]
961*2^1242645-1 is not prime.  Res64: D5CD4CCAD1B0670F  Time : 0.0 sec.
user=mdettweiler
[2013-03-13 23:55:49]
881*2^1242646-1 is not prime.  Res64: 10A1B172C1A0B4CC  Time : 0.0 sec.