user=mdettweiler
[2013-03-09 00:06:36]
825*2^1242310-1 is not prime.  Res64: 1472A7287FA78290  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:06:37]
855*2^1242311-1 is not prime.  Res64: FEC742BC4D04B40E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:06:37]
969*2^1242311-1 is not prime.  Res64: DDA76D46C40863EE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:06:38]
689*2^1242312-1 is not prime.  Res64: D7B872769001D27E  Time : 0.0 sec.
user=juhehe
[2013-03-09 00:14:50]
781*2^1242309-1 is not prime.  Res64: AE5DE5FEDA737350  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:24:03]
767*2^1242312-1 is not prime.  Res64: 0D5C8BBA21492681  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:24:03]
779*2^1242312-1 is not prime.  Res64: 6EE97820C6AB8105  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:24:04]
825*2^1242312-1 is not prime.  Res64: F498CE1AD83D9837  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:24:04]
863*2^1242312-1 is not prime.  Res64: 1C6C6914AA7E9BBD  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:41:29]
909*2^1242312-1 is not prime.  Res64: D83D2C6C9C7BC68D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:41:30]
609*2^1242313-1 is not prime.  Res64: 3181FDAD4F271F65  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:41:31]
637*2^1242313-1 is not prime.  Res64: AA7B0E881428937F  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:41:32]
765*2^1242313-1 is not prime.  Res64: 92A8C940A4A47C6F  Time : 0.0 sec.
user=juhehe
[2013-03-09 00:44:07]
755*2^1242310-1 is not prime.  Res64: 70CDFD5EDC510A88  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:58:54]
831*2^1242313-1 is not prime.  Res64: CF241EC55A8ECCDF  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:58:54]
635*2^1242314-1 is not prime.  Res64: ADCC847C6509335D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:58:55]
717*2^1242314-1 is not prime.  Res64: 87F57678F4253308  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 00:58:56]
791*2^1242314-1 is not prime.  Res64: 1B9E5E19AB1C9286  Time : 0.0 sec.
user=juhehe
[2013-03-09 01:00:40]
759*2^1242312-1 is not prime.  Res64: C325FF3AB822F7BE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:16:19]
921*2^1242314-1 is not prime.  Res64: D3E07C19150736F1  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:16:19]
927*2^1242314-1 is not prime.  Res64: 410FD8866E1D633F  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:16:19]
945*2^1242314-1 is not prime.  Res64: 9D11A61D476E17BA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:16:20]
663*2^1242315-1 is not prime.  Res64: A9DA269A9E299F4B  Time : 0.0 sec.
user=juhehe
[2013-03-09 01:17:28]
817*2^1242313-1 is not prime.  Res64: B8AF9E39A1F1C966  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:33:45]
735*2^1242315-1 is not prime.  Res64: B83808708A05D949  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:33:46]
741*2^1242315-1 is not prime.  Res64: 1AFC9DC0677810DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:33:47]
795*2^1242315-1 is not prime.  Res64: 11D1747235A73F1D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:33:47]
909*2^1242315-1 is not prime.  Res64: 4206B8CC895E0A42  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:51:10]
677*2^1242316-1 is not prime.  Res64: 1BEC745505E81337  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:51:10]
783*2^1242316-1 is not prime.  Res64: 557B3F0B0FF7D80D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:51:11]
785*2^1242316-1 is not prime.  Res64: F9C1FEEA6751F576  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 01:51:11]
813*2^1242316-1 is not prime.  Res64: 2836E7842773D869  Time : 0.0 sec.
user=juhehe
[2013-03-09 02:03:02]
973*2^1242315-1 is not prime.  Res64: 812661C90EE949D8  Time : 0.0 sec.
user=juhehe
[2013-03-09 02:07:24]
647*2^1242316-1 is not prime.  Res64: 422BD348E9FD04F3  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:08:35]
631*2^1242317-1 is not prime.  Res64: 511876F667079215  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:08:35]
805*2^1242317-1 is not prime.  Res64: 32695E4BADB462C7  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:08:35]
801*2^1242317-1 is not prime.  Res64: DBF8636B8B97BAE2  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:08:36]
829*2^1242317-1 is not prime.  Res64: F438AB5D5D6DDD3B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:26:09]
665*2^1242318-1 is not prime.  Res64: EF57A0E1D0B793B9  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:26:09]
777*2^1242318-1 is not prime.  Res64: 64559C16F78573A5  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:26:09]
941*2^1242318-1 is not prime.  Res64: 8366D03C498F7A43  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:26:10]
873*2^1242319-1 is not prime.  Res64: F54B027EFECC500C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:43:34]
993*2^1242319-1 is not prime.  Res64: 1BDF3DB87EAB9D1B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:43:35]
603*2^1242320-1 is not prime.  Res64: 786906582ECD5417  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:43:35]
609*2^1242320-1 is not prime.  Res64: 237C8F65345DA6E0  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 02:43:36]
665*2^1242320-1 is not prime.  Res64: 4000B6B30E67AAFF  Time : 0.0 sec.
user=juhehe
[2013-03-09 02:45:45]
905*2^1242316-1 is not prime.  Res64: 09E6AB4C4FC6B3E4  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:01:14]
607*2^1242321-1 is not prime.  Res64: F0436026DCD17921  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:01:14]
923*2^1242320-1 is not prime.  Res64: 23F26683D795BAEB  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:01:16]
615*2^1242321-1 is not prime.  Res64: 6E607648565B6C91  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:01:16]
929*2^1242320-1 is not prime.  Res64: C7F530FA47D2A2EE  Time : 0.0 sec.
user=juhehe
[2013-03-09 03:01:34]
885*2^1242317-1 is not prime.  Res64: C9BF02C1E24435CE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:19:01]
639*2^1242321-1 is not prime.  Res64: 1638F78349F10604  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:19:02]
709*2^1242321-1 is not prime.  Res64: CA76877789F18BAF  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:19:03]
735*2^1242321-1 is not prime.  Res64: 725553EFC09DEEEE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:19:04]
781*2^1242321-1 is not prime.  Res64: 160F74A6B7BB9417  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:36:26]
651*2^1242322-1 is not prime.  Res64: 75634E1E55FA5100  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:36:27]
791*2^1242322-1 is not prime.  Res64: 0D59F28C4F3A4BDE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:36:28]
815*2^1242322-1 is not prime.  Res64: 49755CC80B8CFB78  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:36:28]
843*2^1242322-1 is not prime.  Res64: 16EA62DA5ED59893  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:53:51]
891*2^1242322-1 is not prime.  Res64: 11D89CC0041390BE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:53:52]
915*2^1242322-1 is not prime.  Res64: CC8124CAEC158947  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:53:53]
609*2^1242323-1 is not prime.  Res64: 00978655528CAD48  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 03:53:53]
675*2^1242323-1 is not prime.  Res64: 90EEDAEA0309278D  Time : 0.0 sec.
user=juhehe
[2013-03-09 04:03:25]
945*2^1242321-1 is not prime.  Res64: 03FBA0BD6D904B01  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:11:16]
703*2^1242323-1 is not prime.  Res64: 1CAD860564445A87  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:11:17]
735*2^1242323-1 is not prime.  Res64: 944E6C909060B4DA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:11:18]
745*2^1242323-1 is not prime.  Res64: A8D9BA1BFFB25565  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:11:19]
775*2^1242323-1 is not prime.  Res64: DF74294D1273C896  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:28:41]
885*2^1242323-1 is not prime.  Res64: C1324DC63DD8B204  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:28:41]
913*2^1242323-1 is not prime.  Res64: 1DF1D332D0E2611D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:28:42]
943*2^1242323-1 is not prime.  Res64: 7D3E7FA9966E34BB  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:28:43]
963*2^1242323-1 is not prime.  Res64: 994E0C41BC290C38  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:46:05]
675*2^1242324-1 is not prime.  Res64: F9D272927D99CB0E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:46:06]
693*2^1242324-1 is not prime.  Res64: 4E99AF83F7FA677B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:46:06]
915*2^1242324-1 is not prime.  Res64: E887B01A3D25B945  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 04:46:07]
927*2^1242324-1 is not prime.  Res64: E8B9CC77996E6D59  Time : 0.0 sec.
user=juhehe
[2013-03-09 04:46:50]
699*2^1242323-1 is not prime.  Res64: D2BBCE1D21972C71  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:03:31]
645*2^1242325-1 is not prime.  Res64: FB119EDC7D38FEF4  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:03:33]
699*2^1242325-1 is not prime.  Res64: 5F9F86195682E577  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:03:34]
741*2^1242325-1 is not prime.  Res64: 69C8EE01517C76C4  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:03:35]
777*2^1242325-1 is not prime.  Res64: 07DD2A3D6F9CDA12  Time : 0.0 sec.
user=juhehe
[2013-03-09 05:03:38]
825*2^1242323-1 is not prime.  Res64: 1F374EE38B17DAA3  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:21:05]
825*2^1242325-1 is not prime.  Res64: F63BAA5D4352A3A2  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:21:06]
831*2^1242325-1 is not prime.  Res64: 0B2DDDB965806C09  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:21:06]
997*2^1242325-1 is not prime.  Res64: 034D7FAF85B2BE53  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:21:07]
999*2^1242325-1 is not prime.  Res64: 3A46EAAC1FC25F48  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:38:33]
641*2^1242326-1 is not prime.  Res64: 6FBBC5F7FCC893F5  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:38:33]
693*2^1242326-1 is not prime.  Res64: 040B0E52DEAB4604  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:38:35]
713*2^1242326-1 is not prime.  Res64: 964A36EE6E4F6975  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:38:35]
747*2^1242326-1 is not prime.  Res64: D98658CCF4EB687F  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:55:59]
833*2^1242326-1 is not prime.  Res64: 45B90CFBDC1EF5C5  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:56:00]
857*2^1242326-1 is not prime.  Res64: 610A5179544D880C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:56:00]
981*2^1242326-1 is not prime.  Res64: D7F5207293844ACA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 05:56:01]
661*2^1242327-1 is not prime.  Res64: FA798C57D758E432  Time : 0.0 sec.
user=juhehe
[2013-03-09 06:06:38]
815*2^1242326-1 is not prime.  Res64: 370F8A4754B44B6C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:13:23]
685*2^1242327-1 is not prime.  Res64: CECD0B332FC58D76  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:13:24]
703*2^1242327-1 is not prime.  Res64: 5C454E7D0C2F7AA6  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:13:24]
793*2^1242327-1 is not prime.  Res64: 4FA05DA116454B5E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:13:25]
665*2^1242328-1 is not prime.  Res64: 97408C412766126C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:30:49]
847*2^1242329-1 is not prime.  Res64: 4346074B30EFDFC2  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:30:50]
879*2^1242329-1 is not prime.  Res64: 411D142BADA189EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:30:50]
889*2^1242329-1 is not prime.  Res64: 5551AB3D65E87814  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:30:51]
979*2^1242329-1 is not prime.  Res64: DD6A5863BD3D8F56  Time : 0.0 sec.
user=juhehe
[2013-03-09 06:47:30]
675*2^1242327-1 is not prime.  Res64: FD4AA2C0CDAB288F  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:48:15]
707*2^1242330-1 is not prime.  Res64: 15FAFBBE1E0EDA2A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:48:15]
941*2^1242330-1 is not prime.  Res64: 24F8FAD64FC3668E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:48:16]
723*2^1242330-1 is not prime.  Res64: 18D011B669B03915  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 06:48:16]
621*2^1242331-1 is not prime.  Res64: 703219DCE416D298  Time : 0.0 sec.
user=juhehe
[2013-03-09 07:05:09]
699*2^1242328-1 is not prime.  Res64: A2A458094339A133  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:05:40]
685*2^1242331-1 is not prime.  Res64: A3062AEFF261DF96  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:05:40]
715*2^1242331-1 is not prime.  Res64: 402B481DCF25F2A4  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:05:41]
741*2^1242331-1 is not prime.  Res64: 00B796B19F2FD6CE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:05:42]
751*2^1242331-1 is not prime.  Res64: 9ECBC3E16303EB78  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:23:09]
783*2^1242331-1 is not prime.  Res64: E7CEC6FF68778200  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:23:10]
835*2^1242331-1 is not prime.  Res64: 46A0FE1347DA0297  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:23:11]
883*2^1242331-1 is not prime.  Res64: D94A47EDF8F4DE6A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:23:12]
675*2^1242332-1 is not prime.  Res64: ECD1C9487ABEE0AD  Time : 0.0 sec.
user=juhehe
[2013-03-09 07:27:25]
625*2^1242331-1 is not prime.  Res64: 4CC0560F0D2BD843  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:40:36]
699*2^1242332-1 is not prime.  Res64: 436E2A12B50BE658  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:40:37]
819*2^1242332-1 is not prime.  Res64: 1D20F363E5A78653  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:40:38]
825*2^1242332-1 is not prime.  Res64: FFFDDE4EA6CF0943  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:40:38]
827*2^1242332-1 is not prime.  Res64: 5CF51B02A7D07FFD  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:58:02]
867*2^1242332-1 is not prime.  Res64: D9F336CCB13B35EF  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:58:03]
893*2^1242332-1 is not prime.  Res64: 0A2FEA312F45B06C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:58:03]
897*2^1242332-1 is not prime.  Res64: 628FA64D8A2F9705  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 07:58:04]
995*2^1242332-1 is not prime.  Res64: 86CC84255F6693CF  Time : 0.0 sec.
user=juhehe
[2013-03-09 08:09:05]
837*2^1242332-1 is not prime.  Res64: 46069A8E945AF97E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:15:27]
649*2^1242333-1 is not prime.  Res64: 8983AFECE5F32C59  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:15:27]
895*2^1242333-1 is not prime.  Res64: 418672259EA4A798  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:15:28]
889*2^1242333-1 is not prime.  Res64: 6D4D23D93375620E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:15:28]
901*2^1242333-1 is not prime.  Res64: A6EC853EAE9AC22D  Time : 0.0 sec.
user=vaughan
[2013-03-09 08:21:28]
859*2^1242165-1 is not prime.  Res64: DA1FEC9829BC0EF7  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:32:55]
927*2^1242333-1 is not prime.  Res64: DBEB40A829DB013C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:32:56]
945*2^1242333-1 is not prime.  Res64: 4D68FED65C158764  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:32:56]
991*2^1242333-1 is not prime.  Res64: C218D0B0B43A2386  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:32:57]
605*2^1242334-1 is not prime.  Res64: 0A8035ABA170CAD9  Time : 0.0 sec.
user=juhehe
[2013-03-09 08:49:02]
621*2^1242333-1 is not prime.  Res64: 2CFECA336532F768  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:50:20]
665*2^1242334-1 is not prime.  Res64: C01AEDF7500A3605  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:50:20]
695*2^1242334-1 is not prime.  Res64: 7644D40D672E8F9C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:50:21]
737*2^1242334-1 is not prime.  Res64: 8828355B8FD91BAA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 08:50:21]
741*2^1242334-1 is not prime.  Res64: 85274E4EE6171FCC  Time : 0.0 sec.
user=juhehe
[2013-03-09 08:59:31]
687*2^1242289-1 is not prime.  Res64: F9A08685B97169AF  Time : 0.0 sec.
user=vaughan
[2013-03-09 08:59:48]
645*2^1242334-1 is not prime.  Res64: E3AD563EAD1C8407  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:07:44]
855*2^1242334-1 is not prime.  Res64: 67C78CF6C9A30F67  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:07:45]
1001*2^1242334-1 is not prime.  Res64: 565D1A59E9D68181  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:07:45]
805*2^1242335-1 is not prime.  Res64: E3A26A204626483D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:07:46]
999*2^1242335-1 is not prime.  Res64: 7851635FDB2CAA15  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:25:17]
857*2^1242336-1 is not prime.  Res64: 3E867499D6857F3B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:25:17]
645*2^1242337-1 is not prime.  Res64: CEE9C05BBED7AEDF  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:25:18]
905*2^1242336-1 is not prime.  Res64: D8FC8889CE2F6814  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:25:18]
771*2^1242337-1 is not prime.  Res64: 2FBDFE61314E85AB  Time : 0.0 sec.
user=vaughan
[2013-03-09 09:38:08]
657*2^1242336-1 is not prime.  Res64: B579142D3F4D2FEF  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:42:51]
777*2^1242337-1 is not prime.  Res64: 0DA229ECD39309D2  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:42:52]
885*2^1242337-1 is not prime.  Res64: 8572B13CE76BE13E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:42:53]
919*2^1242337-1 is not prime.  Res64: 4D5FBE7EF780A14A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 09:42:53]
931*2^1242337-1 is not prime.  Res64: 2CB3CB48BA2231A0  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:00:37]
755*2^1242338-1 is not prime.  Res64: F15D89C6C82D2258  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:00:38]
791*2^1242338-1 is not prime.  Res64: F1866FA2BA114708  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:00:38]
825*2^1242338-1 is not prime.  Res64: DD6E8AC0B0520D0A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:00:39]
887*2^1242338-1 is not prime.  Res64: 3B2056D5D3264132  Time : 0.0 sec.
user=juhehe
[2013-03-09 10:05:23]
849*2^1242336-1 is not prime.  Res64: 2753C192A2F25675  Time : 0.0 sec.
user=vaughan
[2013-03-09 10:16:28]
635*2^1242338-1 is not prime.  Res64: 4A75B123DE1FF4D6  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:18:36]
615*2^1242339-1 is not prime.  Res64: 1E8FE003DC1D3A88  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:18:36]
835*2^1242339-1 is not prime.  Res64: 348E68B19687DDB3  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:18:38]
895*2^1242339-1 is not prime.  Res64: 4412BEF336823961  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:18:39]
921*2^1242339-1 is not prime.  Res64: 3D7101B0722C39CE  Time : 0.0 sec.
user=juhehe
[2013-03-09 10:27:08]
931*2^1242339-1 is not prime.  Res64: 9D68EFCBD6DB38CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:36:03]
797*2^1242340-1 is not prime.  Res64: BFF476E0493CCB17  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:36:03]
855*2^1242340-1 is not prime.  Res64: 899366F821FA72FE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:36:05]
915*2^1242340-1 is not prime.  Res64: 5D9D862B6DE680B3  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:36:05]
929*2^1242340-1 is not prime.  Res64: 38B433669AA62782  Time : 0.0 sec.
user=juhehe
[2013-03-09 10:49:59]
923*2^1242338-1 is not prime.  Res64: DEEFEBEF5674BE65  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:53:30]
933*2^1242340-1 is not prime.  Res64: A0B02491CDD016C1  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:53:31]
939*2^1242340-1 is not prime.  Res64: C2743D12AB178E5D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:53:32]
607*2^1242341-1 is not prime.  Res64: AAA74FD2B195E59B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 10:53:32]
619*2^1242341-1 is not prime.  Res64: 4B61231A7F07500B  Time : 0.0 sec.
user=vaughan
[2013-03-09 10:54:50]
949*2^1242339-1 is not prime.  Res64: 0651105DA2798163  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:10:58]
669*2^1242341-1 is not prime.  Res64: 21D5DB1BC846DA7F  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:10:59]
799*2^1242341-1 is not prime.  Res64: 6B4369CA307BE4B6  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:10:59]
691*2^1242341-1 is not prime.  Res64: 417A716E33CE01F9  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:10:59]
879*2^1242341-1 is not prime.  Res64: 29AEE49F0D49A41E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:28:26]
991*2^1242341-1 is not prime.  Res64: 671EA9F1BD54890D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:28:26]
615*2^1242342-1 is not prime.  Res64: DF1CB172A5064FF8  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:28:27]
677*2^1242342-1 is not prime.  Res64: D15C7FA519A64AC2  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:28:27]
725*2^1242342-1 is not prime.  Res64: 846570AD45F19F86  Time : 0.0 sec.
user=vaughan
[2013-03-09 11:33:12]
931*2^1242341-1 is not prime.  Res64: AA55890F20FCEE18  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:45:58]
867*2^1242342-1 is not prime.  Res64: 77D90C0BEF150F3A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:45:58]
921*2^1242342-1 is not prime.  Res64: 1606199119FA9584  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:45:58]
893*2^1242342-1 is not prime.  Res64: BD1AE720AD16B4E9  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 11:45:59]
619*2^1242343-1 is not prime.  Res64: 671B0CB385145340  Time : 0.0 sec.
user=juhehe
[2013-03-09 11:53:35]
919*2^1242343-1 is not prime.  Res64: 3F9AF6DBC044C459  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:03:31]
925*2^1242343-1 is not prime.  Res64: 2247D092C1FCDF5C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:03:33]
939*2^1242343-1 is not prime.  Res64: 9622B635563B9FA3  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:03:34]
951*2^1242343-1 is not prime.  Res64: A7EF886CBFCEDEF6  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:03:35]
683*2^1242344-1 is not prime.  Res64: 625587E06F521600  Time : 0.0 sec.
user=juhehe
[2013-03-09 12:07:20]
937*2^1242341-1 is not prime.  Res64: FA99A6A40764489B  Time : 0.0 sec.
user=vaughan
[2013-03-09 12:11:36]
663*2^1242343-1 is not prime.  Res64: 72461F53A5789EFF  Time : 0.0 sec.
user=juhehe
[2013-03-09 12:13:31]
873*2^1242344-1 is not prime.  Res64: 18516B95B317795E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:21:15]
657*2^1242345-1 is not prime.  Res64: BCEE640CD0442C54  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:21:16]
759*2^1242345-1 is not prime.  Res64: 28032B2B13EE4FE0  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:21:26]
957*2^1242344-1 is not prime.  Res64: 316685929B38C980  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:21:27]
627*2^1242345-1 is not prime.  Res64: 9B3A7A4D03AF7F11  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:39:07]
717*2^1242346-1 is not prime.  Res64: CA7EE78839EBF187  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:39:08]
741*2^1242346-1 is not prime.  Res64: 8430A5E80C61522D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:39:19]
803*2^1242346-1 is not prime.  Res64: AC37D593EB5A21B8  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:39:19]
843*2^1242346-1 is not prime.  Res64: F2A193909E8AFCDA  Time : 0.0 sec.
user=juhehe
[2013-03-09 12:51:50]
825*2^1242344-1 is not prime.  Res64: 86BAA87CE9EBEBAA  Time : 0.0 sec.
user=vaughan
[2013-03-09 12:55:12]
969*2^1242345-1 is not prime.  Res64: BAD7793BDD324C96  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:56:43]
855*2^1242346-1 is not prime.  Res64: 7FD979FE418714BA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:56:43]
857*2^1242346-1 is not prime.  Res64: 1C9A811956C7F771  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:56:53]
873*2^1242346-1 is not prime.  Res64: 081394A6EE618386  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 12:56:54]
933*2^1242346-1 is not prime.  Res64: 152861F26D4D2B37  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:14:11]
987*2^1242346-1 is not prime.  Res64: 13FC792924BE67EE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:14:12]
619*2^1242347-1 is not prime.  Res64: 2D1F2026062CCBCB  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:14:21]
643*2^1242347-1 is not prime.  Res64: A3500BE4384605BA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:14:21]
675*2^1242347-1 is not prime.  Res64: 594B1CD4556E100E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:31:39]
781*2^1242347-1 is not prime.  Res64: D3CEF7F9D28A2BF0  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:31:40]
939*2^1242347-1 is not prime.  Res64: A55010DFAA4354EA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:31:49]
647*2^1242348-1 is not prime.  Res64: 8F89AC90B56A3628  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:31:50]
795*2^1242348-1 is not prime.  Res64: B1488DBF6C4208D3  Time : 0.0 sec.
user=vaughan
[2013-03-09 13:33:31]
945*2^1242346-1 is not prime.  Res64: B9F3C952EA75BF00  Time : 0.0 sec.
user=juhehe
[2013-03-09 13:43:57]
683*2^1242338-1 is not prime.  Res64: 9A238193E7175B9C  Time : 0.0 sec.
user=juhehe
[2013-03-09 13:45:15]
937*2^1242337-1 is not prime.  Res64: C0768297520A63B5  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:49:09]
975*2^1242348-1 is not prime.  Res64: 2C9CA6737A632485  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:49:10]
681*2^1242349-1 is not prime.  Res64: 31E9E9A8FED1801C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:49:18]
799*2^1242349-1 is not prime.  Res64: 28FFD66ADBC7E2EE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 13:49:19]
811*2^1242349-1 is not prime.  Res64: 9BF9F6449CDCAF7D  Time : 0.0 sec.
user=juhehe
[2013-03-09 13:51:12]
843*2^1242348-1 is not prime.  Res64: F04458B01B1481DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:06:49]
985*2^1242349-1 is not prime.  Res64: 62EF491D011C1485  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:06:50]
987*2^1242349-1 is not prime.  Res64: 3617751D9438F87C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:06:58]
731*2^1242350-1 is not prime.  Res64: 0888ED9D6D8E164A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:06:59]
773*2^1242350-1 is not prime.  Res64: E57232790DCEF22D  Time : 0.0 sec.
user=juhehe
[2013-03-09 14:08:57]
715*2^1242347-1 is not prime.  Res64: 72680F342132CB47  Time : 0.0 sec.
user=vaughan
[2013-03-09 14:11:51]
885*2^1242349-1 is not prime.  Res64: 7830D2F5C77C9A5D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:24:30]
619*2^1242351-1 is not prime.  Res64: 2B408C3F7457FA97  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:24:31]
679*2^1242351-1 is not prime.  Res64: 216E05A658DD297A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:24:36]
739*2^1242351-1 is not prime.  Res64: 93EB724DED7B373B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:24:37]
859*2^1242351-1 is not prime.  Res64: 427C8E7185CDFB73  Time : 0.0 sec.
user=juhehe
[2013-03-09 14:27:34]
931*2^1242349-1 is not prime.  Res64: 0B2C619E1053A318  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:42:03]
705*2^1242352-1 is not prime.  Res64: F7013E16EF4421B5  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:42:04]
819*2^1242352-1 is not prime.  Res64: D5C9AB9CFE399DB9  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:42:09]
899*2^1242352-1 is not prime.  Res64: 7E11F231C763D09A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:42:10]
929*2^1242352-1 is not prime.  Res64: 329C4FA2787A5CA0  Time : 0.0 sec.
user=vaughan
[2013-03-09 14:50:15]
909*2^1242351-1 is not prime.  Res64: 967F831A2204E88C  Time : 0.0 sec.
user=juhehe
[2013-03-09 14:53:31]
795*2^1242350-1 is not prime.  Res64: 29E24CFEF0118839  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:59:34]
615*2^1242353-1 is not prime.  Res64: 69DFDACC0E826A8E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:59:35]
619*2^1242353-1 is not prime.  Res64: B98288BE5F70303B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:59:40]
675*2^1242353-1 is not prime.  Res64: 6FBA03602AC09C71  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 14:59:40]
747*2^1242353-1 is not prime.  Res64: 0B2B92C1BE8A3364  Time : 0.0 sec.
user=juhehe
[2013-03-09 15:10:21]
961*2^1242351-1 is not prime.  Res64: 24CDBD26F1EB12C3  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:17:37]
837*2^1242353-1 is not prime.  Res64: 7A753C6AEF5C53B6  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:17:37]
867*2^1242353-1 is not prime.  Res64: 0C0A548D168897DC  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:17:43]
889*2^1242353-1 is not prime.  Res64: 3BAF917421AC545A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:17:43]
925*2^1242353-1 is not prime.  Res64: EB160E79807FF911  Time : 0.0 sec.
user=vaughan
[2013-03-09 15:28:39]
789*2^1242353-1 is not prime.  Res64: 5D8BB2115FA642D5  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:36:05]
717*2^1242354-1 is not prime.  Res64: 9A8230A893A88BDA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:36:05]
773*2^1242354-1 is not prime.  Res64: 83E02DA86403ADB0  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:36:10]
875*2^1242354-1 is not prime.  Res64: CE4FEE3220FDDF1A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:36:10]
893*2^1242354-1 is not prime.  Res64: 980688A2D08D0D00  Time : 0.0 sec.
user=juhehe
[2013-03-09 15:50:10]
955*2^1242353-1 is not prime.  Res64: C9268E9CAFC39584  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:54:29]
947*2^1242354-1 is not prime.  Res64: E6A055E2FB39667B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:54:29]
693*2^1242355-1 is not prime.  Res64: 4BFE5381840BED71  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:54:35]
765*2^1242355-1 is not prime.  Res64: C9E883E8C8433464  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 15:54:35]
859*2^1242355-1 is not prime.  Res64: 159E928C9C7ECE72  Time : 0.0 sec.
user=juhehe
[2013-03-09 16:05:47]
991*2^1242353-1 is not prime.  Res64: 67BA9DF537E1E6AB  Time : 0.0 sec.
user=vaughan
[2013-03-09 16:06:58]
927*2^1242354-1 is not prime.  Res64: 1FC9486D8727E866  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:12:27]
961*2^1242355-1 is not prime.  Res64: 12360D8B98D19FB0  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:12:28]
609*2^1242356-1 is not prime.  Res64: FC277D254230ABC1  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:12:33]
735*2^1242356-1 is not prime.  Res64: 467585F84E355213  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:12:34]
789*2^1242356-1 is not prime.  Res64: 919B3D88483019C3  Time : 0.0 sec.
user=juhehe
[2013-03-09 16:16:20]
981*2^1242353-1 is not prime.  Res64: 2D96CB9A2D18E3D0  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:29:53]
873*2^1242356-1 is not prime.  Res64: AB6DD3DDF17F2284  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:29:53]
963*2^1242356-1 is not prime.  Res64: BC9CC86C23A25085  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:29:58]
983*2^1242356-1 is not prime.  Res64: F16246C17F150C11  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:29:58]
651*2^1242357-1 is not prime.  Res64: 22A04588E9A84C38  Time : 0.0 sec.
user=vaughan
[2013-03-09 16:45:23]
825*2^1242356-1 is not prime.  Res64: A7A9783EEAB05175  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:47:23]
681*2^1242357-1 is not prime.  Res64: 6D07D4623053A031  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:47:23]
691*2^1242357-1 is not prime.  Res64: BEC6F98A993FB815  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:47:28]
735*2^1242357-1 is not prime.  Res64: 52C968C32CE48140  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 16:47:28]
747*2^1242357-1 is not prime.  Res64: 8FFA2440793B91D6  Time : 0.0 sec.
user=juhehe
[2013-03-09 16:56:08]
885*2^1242355-1 is not prime.  Res64: 07708EFF3468AEE9  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:04:49]
835*2^1242357-1 is not prime.  Res64: 59ECD20FF1FFEFE5  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:04:49]
847*2^1242357-1 is not prime.  Res64: 03334512572EC379  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:04:53]
861*2^1242357-1 is not prime.  Res64: A1E2EED2A0E3E7C5  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:04:55]
885*2^1242357-1 is not prime.  Res64: 1ABC6297FE54D511  Time : 0.0 sec.
user=juhehe
[2013-03-09 17:11:24]
669*2^1242357-1 is not prime.  Res64: CBCF83755FA58C23  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:22:28]
621*2^1242358-1 is not prime.  Res64: 392E1EB0B428A2EC  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:22:29]
737*2^1242358-1 is not prime.  Res64: BB0F65B09690E394  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:22:33]
827*2^1242358-1 is not prime.  Res64: 8A0BE82F6E383E88  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:22:33]
831*2^1242358-1 is not prime.  Res64: 2F638B671F9B3B7C  Time : 0.0 sec.
user=vaughan
[2013-03-09 17:23:47]
817*2^1242357-1 is not prime.  Res64: 99AD78B7C350285D  Time : 0.0 sec.
user=juhehe
[2013-03-09 17:28:45]
777*2^1242357-1 is not prime.  Res64: BA37ABE2D8FF151B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:40:00]
685*2^1242359-1 is not prime.  Res64: CD2158C8005ECDDB  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:40:01]
745*2^1242359-1 is not prime.  Res64: 197B7B80E4492E18  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:40:05]
775*2^1242359-1 is not prime.  Res64: 193224FB87930A5B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:40:06]
825*2^1242359-1 is not prime.  Res64: D26073484A2BC06B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:57:28]
629*2^1242360-1 is not prime.  Res64: 1E2C93B5E6A648CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:57:28]
665*2^1242360-1 is not prime.  Res64: 2B731201DC69A6F2  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:57:33]
779*2^1242360-1 is not prime.  Res64: 8801750FB2035D56  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 17:57:34]
795*2^1242360-1 is not prime.  Res64: 0A3DF426E1ED0751  Time : 0.0 sec.
user=vaughan
[2013-03-09 18:02:08]
829*2^1242359-1 is not prime.  Res64: F3A0C3D1DFE2E3C4  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:14:56]
839*2^1242360-1 is not prime.  Res64: FA3ACC3EFB241A6B  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:14:57]
975*2^1242360-1 is not prime.  Res64: D1EA88A035F8C02D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:15:01]
601*2^1242361-1 is not prime.  Res64: C85DE31B08E6C01C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:15:03]
619*2^1242361-1 is not prime.  Res64: 91ABB4515F7753D2  Time : 0.0 sec.
user=juhehe
[2013-03-09 18:17:03]
619*2^1242359-1 is not prime.  Res64: 05D274346797717F  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:32:30]
687*2^1242361-1 is not prime.  Res64: 32AB97F275A33912  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:32:30]
705*2^1242361-1 is not prime.  Res64: 9EE44BD75BC8714A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:32:31]
889*2^1242361-1 is not prime.  Res64: 595660BE3D523A59  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:32:32]
955*2^1242361-1 is not prime.  Res64: D4084EC70CB20D0A  Time : 0.0 sec.
user=vaughan
[2013-03-09 18:40:29]
651*2^1242361-1 is not prime.  Res64: 368951E8EFE386CD  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:50:00]
999*2^1242361-1 is not prime.  Res64: 088351B5BBB23B91  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:50:00]
635*2^1242362-1 is not prime.  Res64: F3D5B6939FE2F122  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:50:01]
665*2^1242362-1 is not prime.  Res64: BB27983A74BF251C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 18:50:01]
671*2^1242362-1 is not prime.  Res64: 0257568426B7E760  Time : 0.0 sec.
user=juhehe
[2013-03-09 18:57:36]
803*2^1242360-1 is not prime.  Res64: 1D93E55CED1A4BAE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:07:29]
767*2^1242362-1 is not prime.  Res64: 4E011CE37BFC61BA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:07:30]
857*2^1242362-1 is not prime.  Res64: F976C017BA7DD225  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:07:30]
923*2^1242362-1 is not prime.  Res64: 4794437639338D29  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:07:31]
613*2^1242363-1 is not prime.  Res64: 79CB02C12FD1B476  Time : 0.0 sec.
user=vaughan
[2013-03-09 19:18:48]
753*2^1242362-1 is not prime.  Res64: EA949A37DE90ACF4  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:25:04]
619*2^1242363-1 is not prime.  Res64: 4CB38FA059AEA3AD  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:25:05]
819*2^1242363-1 is not prime.  Res64: 46E30C3522023E16  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:25:06]
825*2^1242363-1 is not prime.  Res64: DCC1AE6F66B8FE92  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:25:06]
859*2^1242363-1 is not prime.  Res64: 93A272D76B5D0891  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:42:37]
891*2^1242363-1 is not prime.  Res64: 82768E4A1732C545  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:42:37]
869*2^1242364-1 is not prime.  Res64: AD882B10A8BE73A6  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:42:39]
927*2^1242364-1 is not prime.  Res64: B5970D55DCF187D2  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 19:42:39]
627*2^1242365-1 is not prime.  Res64: 8A4A98E7B65D2EA0  Time : 0.0 sec.
user=vaughan
[2013-03-09 19:57:05]
879*2^1242363-1 is not prime.  Res64: 6D4306A990EAA20C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:00:22]
759*2^1242365-1 is not prime.  Res64: 2CDB74006124276A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:00:23]
775*2^1242365-1 is not prime.  Res64: F8C6AD4C6D0FDFB1  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:00:24]
787*2^1242365-1 is not prime.  Res64: 95F22734922896A3  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:00:25]
867*2^1242365-1 is not prime.  Res64: D8BA92BC9C9E276D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:18:02]
885*2^1242365-1 is not prime.  Res64: E152F026778051BA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:18:02]
897*2^1242365-1 is not prime.  Res64: 1F667FC0D751F614  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:18:04]
765*2^1242366-1 is not prime.  Res64: 0A36AD9C32ED0FD9  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:18:04]
821*2^1242366-1 is not prime.  Res64: 277C0BF228872703  Time : 0.0 sec.
user=juhehe
[2013-03-09 20:18:42]
871*2^1242363-1 is not prime.  Res64: 1A320CE9515D3CB8  Time : 0.0 sec.
user=vaughan
[2013-03-09 20:35:21]
871*2^1242365-1 is not prime.  Res64: 9ABBE4D01E455D39  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:35:48]
881*2^1242366-1 is not prime.  Res64: 7A8B9920AC7FBA47  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:35:48]
673*2^1242367-1 is not prime.  Res64: E5EF456D436B5D0E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:35:48]
947*2^1242366-1 is not prime.  Res64: A42D4DBB21FFCB26  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:35:49]
703*2^1242367-1 is not prime.  Res64: ACCD89BBEF1FF3CA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:53:22]
925*2^1242367-1 is not prime.  Res64: 97E325A23A9FCED9  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:53:22]
873*2^1242367-1 is not prime.  Res64: 5E124B5FDFDEA51A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:53:22]
973*2^1242367-1 is not prime.  Res64: 9B3913C1E52AD528  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 20:53:23]
913*2^1242367-1 is not prime.  Res64: D7B5DFE3DBBFA671  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:10:56]
635*2^1242368-1 is not prime.  Res64: AB38432AD96DED35  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:10:57]
665*2^1242368-1 is not prime.  Res64: 1D0A25B94CC2609C  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:10:57]
897*2^1242368-1 is not prime.  Res64: 969453E2509E6610  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:10:58]
909*2^1242368-1 is not prime.  Res64: 53ED51B15032B2A4  Time : 0.0 sec.
user=vaughan
[2013-03-09 21:13:38]
819*2^1242367-1 is not prime.  Res64: A1F899E50425D22E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:28:28]
959*2^1242368-1 is not prime.  Res64: D3C45B5E1F9FBDBE  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:28:29]
685*2^1242369-1 is not prime.  Res64: 2D994BCB90014954  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:28:30]
691*2^1242369-1 is not prime.  Res64: C5D08AF5C324DB57  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:28:30]
861*2^1242369-1 is not prime.  Res64: 7DF5B033008F43F1  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:45:58]
645*2^1242370-1 is not prime.  Res64: B55512D80ADB1B3F  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:45:58]
695*2^1242370-1 is not prime.  Res64: 5B224465A7429AE4  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:45:59]
671*2^1242370-1 is not prime.  Res64: 594CDA60EAD79845  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 21:45:59]
765*2^1242370-1 is not prime.  Res64: 0DB63C11A506E438  Time : 0.0 sec.
user=vaughan
[2013-03-09 21:51:55]
895*2^1242369-1 is not prime.  Res64: 4F42F306581C5D60  Time : 0.0 sec.
user=juhehe
[2013-03-09 21:58:04]
915*2^1242368-1 is not prime.  Res64: 6422B445C500E929  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:03:28]
791*2^1242370-1 is not prime.  Res64: 6EE3392CE4B628EB  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:03:29]
957*2^1242370-1 is not prime.  Res64: BAF8D498E14EF35A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:03:29]
971*2^1242370-1 is not prime.  Res64: DB4A4A3384D5118E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:03:29]
981*2^1242370-1 is not prime.  Res64: 085A9CDE5501187F  Time : 0.0 sec.
user=juhehe
[2013-03-09 22:20:06]
919*2^1242369-1 is not prime.  Res64: B4B45378F2CCB7AD  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:21:02]
689*2^1242372-1 is not prime.  Res64: 60F90011D9E2B53F  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:21:03]
749*2^1242372-1 is not prime.  Res64: 99783818002EDC2D  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:21:05]
819*2^1242372-1 is not prime.  Res64: 969DECEDCF320E26  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:21:05]
609*2^1242373-1 is not prime.  Res64: 403AD70210673647  Time : 0.0 sec.
user=vaughan
[2013-03-09 22:30:12]
665*2^1242372-1 is not prime.  Res64: F7082FE8628BEF74  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:38:32]
625*2^1242373-1 is not prime.  Res64: CBA2154DE0746CBA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:38:33]
651*2^1242373-1 is not prime.  Res64: 45FEA1AABC4E3373  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:38:33]
681*2^1242373-1 is not prime.  Res64: 57F3C0D476CE42A5  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:38:33]
727*2^1242373-1 is not prime.  Res64: FB49F10F86A72385  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:55:59]
937*2^1242373-1 is not prime.  Res64: 2CD48B034DF0F8E9  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:56:00]
985*2^1242373-1 is not prime.  Res64: B5406BFA25055DCD  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:56:02]
663*2^1242374-1 is not prime.  Res64: FA1BE1AF9BFC3FAA  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 22:56:03]
825*2^1242374-1 is not prime.  Res64: 2491351C42ABFB44  Time : 0.0 sec.
user=vaughan
[2013-03-09 23:08:30]
765*2^1242373-1 is not prime.  Res64: 343ED6EB8E49B041  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:13:27]
875*2^1242374-1 is not prime.  Res64: DEEE46C1DA26B8E6  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:13:28]
751*2^1242375-1 is not prime.  Res64: 57BBE017BE31598A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:13:29]
781*2^1242375-1 is not prime.  Res64: DF19D9A96FF5A68A  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:13:29]
895*2^1242375-1 is not prime.  Res64: B48198816A3C093E  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:30:55]
735*2^1242376-1 is not prime.  Res64: 00D990C3D69BCDBF  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:30:56]
777*2^1242376-1 is not prime.  Res64: 936FC7957CAB0978  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:30:56]
825*2^1242376-1 is not prime.  Res64: A56D1BB47FB8B945  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:30:57]
849*2^1242376-1 is not prime.  Res64: A5E37EC1CBABD6A0  Time : 0.0 sec.
user=vaughan
[2013-03-09 23:46:49]
695*2^1242376-1 is not prime.  Res64: F399A26DDC3483B8  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:48:25]
645*2^1242377-1 is not prime.  Res64: A06E53A9DEBE54B1  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:48:25]
697*2^1242377-1 is not prime.  Res64: 10E99F58B42AB89F  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:48:26]
699*2^1242377-1 is not prime.  Res64: 52FE0ABFDDF73342  Time : 0.0 sec.
user=mdettweiler
[2013-03-09 23:48:26]
727*2^1242377-1 is not prime.  Res64: 639483BDA77B770A  Time : 0.0 sec.
user=juhehe
[2013-03-09 23:59:18]
689*2^1242376-1 is not prime.  Res64: 13B9645ED6DB6CE1  Time : 0.0 sec.