user=mdettweiler
[2013-04-13 00:09:19]
713*2^1244488-1 is not prime.  Res64: D96125ACA2526B2C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:09:20]
843*2^1244488-1 is not prime.  Res64: 377E0B48A4F439D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:15:23]
855*2^1244488-1 is not prime.  Res64: 57B3057042176AA5  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:15:24]
863*2^1244488-1 is not prime.  Res64: 3ABE5903F54BF9E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:26:51]
887*2^1244488-1 is not prime.  Res64: 0886EFEAACF4E481  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:26:52]
601*2^1244489-1 is not prime.  Res64: D0CC3D6D9A86F7E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:32:52]
679*2^1244489-1 is not prime.  Res64: 3231F8D9F31D2081  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:32:52]
691*2^1244489-1 is not prime.  Res64: E62D6A01F525380E  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:44:16]
771*2^1244489-1 is not prime.  Res64: 734BFDE0316A89AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:44:16]
867*2^1244489-1 is not prime.  Res64: 8CD1998800B96651  Time : 0.0 sec.
user=juhehe
[2013-04-13 00:48:33]
707*2^1244488-1 is not prime.  Res64: 510E709B04EBE397  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:50:20]
651*2^1244490-1 is not prime.  Res64: B15F01C693FCB681  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 00:50:21]
735*2^1244490-1 is not prime.  Res64: EFF82E3BFEB60DA9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:01:42]
845*2^1244490-1 is not prime.  Res64: 2EB460B47DB8365D  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:01:43]
875*2^1244490-1 is not prime.  Res64: 1B58BBAB99F1DE22  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:07:45]
891*2^1244490-1 is not prime.  Res64: C534B38FCEB057A3  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:07:46]
893*2^1244490-1 is not prime.  Res64: D257EF2AF36C9AE3  Time : 0.0 sec.
user=juhehe
[2013-04-13 01:18:37]
747*2^1244489-1 is not prime.  Res64: AD5E466F0B0CB168  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:19:27]
933*2^1244490-1 is not prime.  Res64: F42AAF62DA5E86B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:19:28]
945*2^1244490-1 is not prime.  Res64: 7392D23281A764AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:25:11]
963*2^1244490-1 is not prime.  Res64: 12BD079C1331639F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:25:12]
971*2^1244490-1 is not prime.  Res64: D7AE8BBB270EDA0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:36:56]
601*2^1244491-1 is not prime.  Res64: 275CE3C29F2698E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:36:57]
603*2^1244491-1 is not prime.  Res64: 8E10D9F6E6C170A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:42:36]
619*2^1244491-1 is not prime.  Res64: 2C597CE962FC2E71  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:42:36]
733*2^1244491-1 is not prime.  Res64: 8A74DE522B6A7C62  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:54:21]
735*2^1244491-1 is not prime.  Res64: E8034156A8308D7B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 01:54:22]
771*2^1244491-1 is not prime.  Res64: 05A4EB4F3412E415  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:00:00]
873*2^1244316-1 is not prime.  Res64: 1EFCC402BE3E1707  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:00:01]
793*2^1244491-1 is not prime.  Res64: ED85A79E01A7B5BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:11:46]
855*2^1244491-1 is not prime.  Res64: 1D94BDC78F2BA408  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:11:47]
859*2^1244491-1 is not prime.  Res64: F83E5B7686EA7E97  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:17:27]
635*2^1244492-1 is not prime.  Res64: 9CF668AD42BE9EBC  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:17:28]
665*2^1244492-1 is not prime.  Res64: C4F5986D3C3D7788  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:29:20]
669*2^1244492-1 is not prime.  Res64: 9A7624246F06DD4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:29:21]
675*2^1244492-1 is not prime.  Res64: 2C43818D63659847  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:34:52]
693*2^1244492-1 is not prime.  Res64: 94001686B501E42D  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:34:53]
797*2^1244492-1 is not prime.  Res64: A24F2296EAB4380A  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:46:46]
885*2^1244492-1 is not prime.  Res64: 34D2BC380BF01104  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:46:48]
915*2^1244492-1 is not prime.  Res64: 32E9843A8F5F1723  Time : 0.0 sec.
user=juhehe
[2013-04-13 02:51:31]
805*2^1244491-1 is not prime.  Res64: C59171D2E0FA4B18  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:52:20]
621*2^1244493-1 is not prime.  Res64: D3178368030269D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 02:52:21]
627*2^1244493-1 is not prime.  Res64: D75BDAC8BAC76C35  Time : 0.0 sec.
user=juhehe
[2013-04-13 03:20:27]
825*2^1244492-1 is not prime.  Res64: 3E0688E2897222FB  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 03:38:47]
891*2^1244493-1 is not prime.  Res64: 6CCAC6CFAE84E0FF  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 03:38:48]
681*2^1244494-1 is not prime.  Res64: 0E898AE9CF1CB09B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 03:52:31]
651*2^1244493-1 is not prime.  Res64: 676337BE915A394B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 03:52:32]
789*2^1244493-1 is not prime.  Res64: B794488D09A93C67  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 03:56:20]
705*2^1244494-1 is not prime.  Res64: C8FAC951A7E43C63  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 03:56:20]
855*2^1244495-1 is not prime.  Res64: 8A8114CE939AB5C0  Time : 0.0 sec.
user=juhehe
[2013-04-13 04:07:04]
865*2^1244495-1 is not prime.  Res64: 2D6742933F4FBDA5  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:09:59]
657*2^1244496-1 is not prime.  Res64: D46FA834BF96463C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:10:00]
825*2^1244496-1 is not prime.  Res64: 129F750F5B24589C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:13:45]
975*2^1244496-1 is not prime.  Res64: 790668E4E061158F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:13:45]
645*2^1244497-1 is not prime.  Res64: 30880FBF33D215C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:27:28]
747*2^1244497-1 is not prime.  Res64: D66BCC979400B980  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:27:28]
805*2^1244497-1 is not prime.  Res64: E62639CF734ADCD8  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:31:14]
931*2^1244497-1 is not prime.  Res64: 4E2384227B345A2C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:31:15]
677*2^1244498-1 is not prime.  Res64: 18631D17F3EB3B36  Time : 0.0 sec.
user=juhehe
[2013-04-13 04:32:31]
649*2^1244497-1 is not prime.  Res64: 068FF2DF752AD6E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:44:53]
731*2^1244498-1 is not prime.  Res64: D0FA10528A4B6C37  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:44:53]
827*2^1244498-1 is not prime.  Res64: B512247CAD34B49F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:48:42]
887*2^1244498-1 is not prime.  Res64: 8F17CDD86CE7DDE6  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 04:48:42]
945*2^1244498-1 is not prime.  Res64: DF19C07EA41010A8  Time : 0.0 sec.
user=juhehe
[2013-04-13 04:55:03]
885*2^1244495-1 is not prime.  Res64: CCF5AEC47D81A5D9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:02:19]
977*2^1244498-1 is not prime.  Res64: B45F67973D0C1AB7  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:02:20]
609*2^1244499-1 is not prime.  Res64: 70C6EB594C296918  Time : 0.0 sec.
user=juhehe
[2013-04-13 05:03:10]
951*2^1244498-1 is not prime.  Res64: E9EEF8D778F0B9AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:06:07]
613*2^1244499-1 is not prime.  Res64: 1E85FB3A00271909  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:06:08]
649*2^1244499-1 is not prime.  Res64: BC2105292A1B8C83  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:19:47]
669*2^1244499-1 is not prime.  Res64: C45B1B2261187337  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:19:47]
685*2^1244499-1 is not prime.  Res64: 1E1DA24F8374FD73  Time : 0.0 sec.
user=juhehe
[2013-04-13 05:22:07]
683*2^1244498-1 is not prime.  Res64: 9949D81027727DE8  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:23:33]
793*2^1244499-1 is not prime.  Res64: F46A4708F0512B05  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:23:34]
795*2^1244499-1 is not prime.  Res64: 0A63C44E1E6C4E32  Time : 0.0 sec.
user=juhehe
[2013-04-13 05:30:06]
735*2^1244499-1 is not prime.  Res64: 0C8A6E4506A36ACE  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:37:12]
603*2^1244500-1 is not prime.  Res64: 85357AE166A079AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:37:13]
647*2^1244500-1 is not prime.  Res64: DF827F4E5F7A9FCB  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:40:58]
689*2^1244500-1 is not prime.  Res64: C654714D8885CAEF  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:40:59]
719*2^1244500-1 is not prime.  Res64: 1F90976419A99F0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:54:38]
975*2^1244500-1 is not prime.  Res64: F2CF4F3692FB98D5  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:54:38]
651*2^1244501-1 is not prime.  Res64: 686131EDDBCC48E7  Time : 0.0 sec.
user=juhehe
[2013-04-13 05:57:09]
873*2^1244500-1 is not prime.  Res64: 9171BD628567466F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:58:23]
727*2^1244501-1 is not prime.  Res64: EDBFE994791C92B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 05:58:23]
801*2^1244501-1 is not prime.  Res64: 9296B9C8CC302A91  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 06:12:12]
871*2^1244501-1 is not prime.  Res64: 472B5CF1F11A5EC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 06:12:13]
937*2^1244501-1 is not prime.  Res64: 8443E6D73CBA5F32  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 06:16:00]
747*2^1244502-1 is not prime.  Res64: EA52ACBBFB39F257  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 06:16:00]
755*2^1244502-1 is not prime.  Res64: 4582F6675C7AB494  Time : 0.0 sec.
user=juhehe
[2013-04-13 06:22:30]
635*2^1244502-1 is not prime.  Res64: 195DF6E44C44045C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 06:29:49]
965*2^1244502-1 is not prime.  Res64: 2D5B7CE1897B9887  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 06:29:50]
625*2^1244503-1 is not prime.  Res64: 6B79000337206780  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 06:33:36]
673*2^1244503-1 is not prime.  Res64: D38619A426E6557E  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 06:33:39]
693*2^1244503-1 is not prime.  Res64: 35745E740632E665  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 06:47:20]
783*2^1244503-1 is not prime.  Res64: FA4464A99C655D27  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 06:47:20]
891*2^1244503-1 is not prime.  Res64: 0E663839FB67CAA2  Time : 0.0 sec.
user=juhehe
[2013-04-13 06:49:10]
735*2^1244503-1 is not prime.  Res64: 194346A52BEFDF8B  Time : 0.0 sec.
user=juhehe
[2013-04-13 07:04:05]
987*2^1244501-1 is not prime.  Res64: 34BD2AEC7979E6A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:05:01]
951*2^1244503-1 is not prime.  Res64: 591D72423D36E786  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:05:03]
993*2^1244503-1 is not prime.  Res64: E76E7DD527DB94CD  Time : 0.0 sec.
user=juhehe
[2013-04-13 07:14:58]
635*2^1244504-1 is not prime.  Res64: F2D89EA4760C68F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:18:23]
743*2^1244504-1 is not prime.  Res64: A8701A8FF3CEC7B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:18:23]
833*2^1244504-1 is not prime.  Res64: D0C6145F9AB8B6F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:22:38]
855*2^1244504-1 is not prime.  Res64: 827E88C21FAA12AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:22:39]
875*2^1244504-1 is not prime.  Res64: 305038EAB41C079A  Time : 0.0 sec.
user=juhehe
[2013-04-13 07:25:21]
771*2^1244503-1 is not prime.  Res64: FC32042F4316EAE0  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:35:51]
691*2^1244505-1 is not prime.  Res64: A2C4CCB0E3B6AA3A  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:35:52]
787*2^1244505-1 is not prime.  Res64: BE098C3AB09F1B5E  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:40:11]
789*2^1244505-1 is not prime.  Res64: D4AAAA4B30C6370B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:40:12]
999*2^1244505-1 is not prime.  Res64: 52BEDA888562800C  Time : 0.0 sec.
user=juhehe
[2013-04-13 07:40:19]
609*2^1244505-1 is not prime.  Res64: A80C4A83544532FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:53:56]
651*2^1244506-1 is not prime.  Res64: 0A50736D1F84C7D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:57:39]
717*2^1244506-1 is not prime.  Res64: 03C42C2BA2DCC451  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 07:57:39]
891*2^1244506-1 is not prime.  Res64: 8BF00184FCD5F3C6  Time : 0.0 sec.
user=juhehe
[2013-04-13 08:05:48]
603*2^1244507-1 is not prime.  Res64: C7C6F1849989FDD1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:15:09]
955*2^1244507-1 is not prime.  Res64: 228C575D517AA1F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:15:10]
981*2^1244507-1 is not prime.  Res64: 6A19475005568F63  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:21:53]
713*2^1244506-1 is not prime.  Res64: CE39E8D0ABE1F2C6  Time : 0.0 sec.
user=juhehe
[2013-04-13 08:31:23]
669*2^1244508-1 is not prime.  Res64: 8A3164FB0E797AAF  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:32:38]
969*2^1244508-1 is not prime.  Res64: E2D52E6DDDEC38E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:32:39]
825*2^1244509-1 is not prime.  Res64: 80E35F886DEE9E6E  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:39:20]
829*2^1244509-1 is not prime.  Res64: C3C66514FFD6FD92  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:39:21]
835*2^1244509-1 is not prime.  Res64: FA22E0B0A05FA031  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:50:07]
747*2^1244510-1 is not prime.  Res64: E791163A454D9BD9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:50:07]
825*2^1244510-1 is not prime.  Res64: CD157BE3D7B4536E  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:56:48]
885*2^1244510-1 is not prime.  Res64: 7F6DB433291A965D  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 08:56:49]
619*2^1244511-1 is not prime.  Res64: 97E007CBEFA20004  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:07:36]
789*2^1244511-1 is not prime.  Res64: 5C50B3A644FFE973  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:07:37]
859*2^1244511-1 is not prime.  Res64: E5021DB60D5CC7D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:14:16]
861*2^1244511-1 is not prime.  Res64: 11EDF2FB514493B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:14:17]
895*2^1244511-1 is not prime.  Res64: 64DBC7D0C727931F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:25:05]
605*2^1244512-1 is not prime.  Res64: 73FC2976D06EC2FF  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:25:06]
609*2^1244512-1 is not prime.  Res64: 93436FD46821DEF9  Time : 0.0 sec.
user=juhehe
[2013-04-13 09:28:51]
897*2^1244509-1 is not prime.  Res64: 5B8BA4800B3BC62C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:31:45]
657*2^1244512-1 is not prime.  Res64: E9104B187ECB4581  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:31:45]
675*2^1244512-1 is not prime.  Res64: 812C6B7A58B6DDE1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:42:35]
695*2^1244512-1 is not prime.  Res64: C67FE67CF2F7C384  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:42:36]
719*2^1244512-1 is not prime.  Res64: CE2D2BC73590BF66  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:49:12]
735*2^1244512-1 is not prime.  Res64: 19B4164AA6934E70  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 09:49:13]
759*2^1244512-1 is not prime.  Res64: 50118D80595CE306  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:00:04]
819*2^1244512-1 is not prime.  Res64: 283270DC74F8E936  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:00:05]
825*2^1244512-1 is not prime.  Res64: 666F62A09E3CE424  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:06:40]
939*2^1244512-1 is not prime.  Res64: 7AE3420DD1260164  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:06:41]
705*2^1244513-1 is not prime.  Res64: 3F8A71E679366FCD  Time : 0.0 sec.
user=juhehe
[2013-04-13 10:13:38]
969*2^1244511-1 is not prime.  Res64: D7C7DC3EBCB068CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:17:37]
747*2^1244513-1 is not prime.  Res64: 0A026A0C43C11DF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:17:38]
847*2^1244513-1 is not prime.  Res64: 337508A39C901F29  Time : 0.0 sec.
user=juhehe
[2013-04-13 10:20:17]
729*2^1244513-1 is not prime.  Res64: C4BAB5569A3AE3A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:24:09]
871*2^1244513-1 is not prime.  Res64: D1A8FD059B197854  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:24:10]
949*2^1244513-1 is not prime.  Res64: 3C2676C7D4E15988  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:35:24]
605*2^1244514-1 is not prime.  Res64: 3D904112D2FA783D  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:35:25]
731*2^1244514-1 is not prime.  Res64: 72180DA897DE34D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:41:38]
803*2^1244514-1 is not prime.  Res64: 0653431FCDE0C9BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:41:38]
807*2^1244514-1 is not prime.  Res64: 6A9073A4BA6DD501  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:52:52]
891*2^1244514-1 is not prime.  Res64: 46EC8131AE6A847D  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:52:53]
975*2^1244514-1 is not prime.  Res64: D3356BC7AB4E6B92  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:59:06]
651*2^1244515-1 is not prime.  Res64: DC96702F3AE11495  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 10:59:07]
723*2^1244515-1 is not prime.  Res64: 8CD157FDD33C59B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:10:21]
783*2^1244515-1 is not prime.  Res64: 3DFB51A57048EEA2  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:10:22]
871*2^1244515-1 is not prime.  Res64: BD51FBB4185084F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:16:35]
873*2^1244515-1 is not prime.  Res64: E7D809F3C320C0A1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:16:36]
943*2^1244515-1 is not prime.  Res64: A44C576B5D7B83F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:27:50]
961*2^1244515-1 is not prime.  Res64: 7CD972D4B5339F92  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:27:51]
985*2^1244515-1 is not prime.  Res64: 73DF479972AD0CDC  Time : 0.0 sec.
user=juhehe
[2013-04-13 11:31:12]
837*2^1244514-1 is not prime.  Res64: 7F163248EDC2B42F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:34:07]
825*2^1244516-1 is not prime.  Res64: 71035830E76550B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:34:08]
893*2^1244516-1 is not prime.  Res64: 8E395DB2008BA402  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:45:27]
897*2^1244516-1 is not prime.  Res64: A85A6AA5E9C97EA0  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:45:28]
927*2^1244516-1 is not prime.  Res64: 4D7DF438E9DD686B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:51:43]
621*2^1244517-1 is not prime.  Res64: 4D9B9C2D2EEF924B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 11:51:44]
747*2^1244517-1 is not prime.  Res64: 5093BFB874E9A739  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:02:57]
817*2^1244517-1 is not prime.  Res64: 0B7F403A32078F58  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:02:59]
891*2^1244517-1 is not prime.  Res64: 91D958854B750F1F  Time : 0.0 sec.
user=juhehe
[2013-04-13 12:08:48]
805*2^1244517-1 is not prime.  Res64: 3172D7E162CDE944  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:09:14]
807*2^1244346-1 is not prime.  Res64: 8F5C92A5E7525354  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:09:14]
681*2^1244518-1 is not prime.  Res64: C7D39891E4E84A81  Time : 0.0 sec.
user=juhehe
[2013-04-13 12:16:16]
785*2^1244516-1 is not prime.  Res64: 2C2AC774AB6755B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:20:29]
831*2^1244518-1 is not prime.  Res64: 2203954689B07B7F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:20:29]
867*2^1244518-1 is not prime.  Res64: 02DDCD9F35836ADF  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:26:47]
993*2^1244518-1 is not prime.  Res64: 02686480CF996A12  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:26:48]
675*2^1244519-1 is not prime.  Res64: 62B7FE3F87380609  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:37:57]
813*2^1244519-1 is not prime.  Res64: 4BA6610D00E3DE73  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:37:58]
883*2^1244519-1 is not prime.  Res64: E672FC70E4F92E16  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:44:25]
689*2^1244520-1 is not prime.  Res64: F0FF0ED4B5F6B027  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:44:25]
753*2^1244520-1 is not prime.  Res64: A7115BF840A6104E  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:55:26]
983*2^1244520-1 is not prime.  Res64: 86A8352BD0BEE459  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 12:55:27]
679*2^1244521-1 is not prime.  Res64: 4C7C0B8E2F8737C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:01:54]
769*2^1244521-1 is not prime.  Res64: 533945332E85B6ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:01:55]
819*2^1244521-1 is not prime.  Res64: F66ADBFD73273CD4  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:12:59]
855*2^1244521-1 is not prime.  Res64: 35CFA9E6EE26E9A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:12:59]
955*2^1244521-1 is not prime.  Res64: C419BB6283048579  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:19:35]
671*2^1244522-1 is not prime.  Res64: 76AA38E847D667B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:19:35]
677*2^1244522-1 is not prime.  Res64: 288C781E93F0AEB1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:30:45]
711*2^1244522-1 is not prime.  Res64: F6EBF8A8A9B74212  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:30:45]
977*2^1244522-1 is not prime.  Res64: DF47E53BA57143D7  Time : 0.0 sec.
user=juhehe
[2013-04-13 13:33:30]
777*2^1244520-1 is not prime.  Res64: 3B98E31650F475B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:37:17]
615*2^1244523-1 is not prime.  Res64: 2B88BC0299FC32C2  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:37:18]
769*2^1244523-1 is not prime.  Res64: A1DB9DE710C630A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:48:30]
879*2^1244523-1 is not prime.  Res64: 6281470C8142DCB7  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:48:30]
657*2^1244524-1 is not prime.  Res64: FA203704F708ACC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:55:04]
693*2^1244524-1 is not prime.  Res64: 95923901F54E387B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 13:55:04]
717*2^1244524-1 is not prime.  Res64: 12E159E0EB8D10AA  Time : 0.0 sec.
user=juhehe
[2013-04-13 13:57:22]
853*2^1244523-1 is not prime.  Res64: FB1416A2C6873122  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:06:19]
773*2^1244524-1 is not prime.  Res64: 02048BAEFB5A6223  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:06:19]
803*2^1244524-1 is not prime.  Res64: 63547EEDC144D811  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:12:52]
983*2^1244524-1 is not prime.  Res64: 1F12AA7BE9D3F7D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:12:52]
601*2^1244525-1 is not prime.  Res64: 6DEEE64C8CBEAFB0  Time : 0.0 sec.
user=juhehe
[2013-04-13 14:18:26]
609*2^1244523-1 is not prime.  Res64: C75E2D0C58D18034  Time : 0.0 sec.
user=juhehe
[2013-04-13 14:24:08]
691*2^1244525-1 is not prime.  Res64: B5FAB60310131DD3  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:24:12]
715*2^1244525-1 is not prime.  Res64: 3C24F8C427038C6B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:24:12]
757*2^1244525-1 is not prime.  Res64: 9FA36651A5977C82  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:30:40]
787*2^1244525-1 is not prime.  Res64: 3AC896823BCBCE3D  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:30:40]
949*2^1244525-1 is not prime.  Res64: 7D7A06F906A22E8D  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:42:02]
683*2^1244526-1 is not prime.  Res64: FE0ED63A8743F9EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:42:02]
741*2^1244526-1 is not prime.  Res64: BE3A89169DE1462C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:48:34]
821*2^1244526-1 is not prime.  Res64: C514BC8DF3026619  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 14:48:34]
843*2^1244526-1 is not prime.  Res64: E0AD676FA37E1A61  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:00:10]
933*2^1244526-1 is not prime.  Res64: 75E628B221FD7271  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:00:12]
947*2^1244526-1 is not prime.  Res64: 74313F5B52E57093  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:06:42]
685*2^1244527-1 is not prime.  Res64: 3DFFBD952185BA43  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:06:42]
765*2^1244527-1 is not prime.  Res64: C86363A13C3B4398  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:18:09]
909*2^1244527-1 is not prime.  Res64: 0C7E1039D3A4F00F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:18:09]
925*2^1244527-1 is not prime.  Res64: C44A5CE689214920  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:24:31]
933*2^1244527-1 is not prime.  Res64: 015587072B318AA4  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:24:32]
961*2^1244527-1 is not prime.  Res64: E420DF03022CF2A1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:36:03]
699*2^1244528-1 is not prime.  Res64: 2D634DC35A276D44  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:36:03]
747*2^1244528-1 is not prime.  Res64: 91B3EBDEE8B11AF5  Time : 0.0 sec.
user=juhehe
[2013-04-13 15:36:28]
891*2^1244526-1 is not prime.  Res64: CC8EFDF0FACA249E  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:42:22]
923*2^1244528-1 is not prime.  Res64: 6B819886AE9A09FA  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:42:23]
751*2^1244529-1 is not prime.  Res64: E1AFB849C99D35F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:53:59]
787*2^1244529-1 is not prime.  Res64: AF0CDFD57A4F7239  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 15:54:01]
795*2^1244529-1 is not prime.  Res64: 6A436F595F83014C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:00:19]
811*2^1244529-1 is not prime.  Res64: 137F63A075266AB6  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:00:20]
831*2^1244529-1 is not prime.  Res64: FE2B9E7076001807  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:11:55]
861*2^1244529-1 is not prime.  Res64: E80291C8FC97615B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:11:56]
951*2^1244529-1 is not prime.  Res64: B267BCCF9069FAFD  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:18:18]
783*2^1244530-1 is not prime.  Res64: 4416F2BBC29595F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:18:19]
857*2^1244530-1 is not prime.  Res64: 8F8FC7BDCD6ADDC4  Time : 0.0 sec.
user=juhehe
[2013-04-13 16:20:10]
867*2^1244528-1 is not prime.  Res64: 94D8D0838E44EB1A  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:29:53]
867*2^1244530-1 is not prime.  Res64: 270AA1DEA9269265  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:29:54]
911*2^1244530-1 is not prime.  Res64: C1716461BA695E27  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:36:12]
951*2^1244530-1 is not prime.  Res64: F962BE6371E12393  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:36:13]
987*2^1244530-1 is not prime.  Res64: EAC6AF8102E21719  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:48:06]
781*2^1244531-1 is not prime.  Res64: 7684D7BC720CF013  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:48:07]
825*2^1244531-1 is not prime.  Res64: C1CCA6E9581E979B  Time : 0.0 sec.
user=juhehe
[2013-04-13 16:48:33]
917*2^1244530-1 is not prime.  Res64: 96D91637FA58F9CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:55:02]
841*2^1244531-1 is not prime.  Res64: 7A23A3B18B633641  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 16:55:02]
895*2^1244531-1 is not prime.  Res64: DDA1C4A57AC4928D  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:06:02]
719*2^1244532-1 is not prime.  Res64: 1C72C9F4AC23F37B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:06:04]
765*2^1244532-1 is not prime.  Res64: 0A3B0BA4CC41C88F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:12:54]
837*2^1244532-1 is not prime.  Res64: 2028B2CE8E0BB576  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:12:54]
987*2^1244532-1 is not prime.  Res64: 0901BB8C0FAF5B60  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:24:13]
615*2^1244533-1 is not prime.  Res64: 807ECE78A540C1B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:24:13]
699*2^1244533-1 is not prime.  Res64: 4A0C70BA4C982472  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:30:58]
741*2^1244533-1 is not prime.  Res64: 2528BAA2CE096D28  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:30:59]
771*2^1244533-1 is not prime.  Res64: 8615386A84CAF289  Time : 0.0 sec.
user=juhehe
[2013-04-13 17:39:05]
633*2^1244532-1 is not prime.  Res64: 1C7E19C2C024B6FE  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:42:11]
847*2^1244533-1 is not prime.  Res64: 9A6E5BFEB2F08417  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:42:11]
885*2^1244533-1 is not prime.  Res64: CF2A9355B0CDDF29  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:48:51]
895*2^1244533-1 is not prime.  Res64: 823F1048CE838274  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 17:48:51]
955*2^1244533-1 is not prime.  Res64: 0E6E4A6724BE798D  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:00:01]
711*2^1244534-1 is not prime.  Res64: 8D62EC003C8DD7B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:00:02]
741*2^1244534-1 is not prime.  Res64: D04FA2881DE7347E  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:06:41]
785*2^1244534-1 is not prime.  Res64: 4F63EDFE71D442C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:06:42]
873*2^1244534-1 is not prime.  Res64: 4E2A3BCB14E85776  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:17:52]
875*2^1244534-1 is not prime.  Res64: 9945D25E7174BD66  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:17:53]
903*2^1244534-1 is not prime.  Res64: 4BFFAF601B998165  Time : 0.0 sec.
user=juhehe
[2013-04-13 18:22:21]
817*2^1244533-1 is not prime.  Res64: C6F7339DD93EDA36  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:24:31]
917*2^1244534-1 is not prime.  Res64: AA24B9B57DE441A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:24:31]
675*2^1244535-1 is not prime.  Res64: 19A50FF022B20DDD  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:36:08]
979*2^1244535-1 is not prime.  Res64: 60D8180F08AE0E6A  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:36:08]
645*2^1244536-1 is not prime.  Res64: 6449328C42925C40  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:42:20]
719*2^1244536-1 is not prime.  Res64: E09F7D70FC806FBA  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:42:20]
747*2^1244536-1 is not prime.  Res64: 7E1322ED4A09BA2F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:53:55]
947*2^1244536-1 is not prime.  Res64: F488E1FD84E79CB1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 18:53:55]
999*2^1244536-1 is not prime.  Res64: 23B3484521B393F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:00:06]
847*2^1244537-1 is not prime.  Res64: 36871B38415CAEC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:00:07]
925*2^1244537-1 is not prime.  Res64: 28D14CA46B6A07F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:11:41]
773*2^1244538-1 is not prime.  Res64: 49FE0E60685ECF98  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:11:42]
797*2^1244538-1 is not prime.  Res64: 23EBCC7DC840A2E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:17:56]
957*2^1244538-1 is not prime.  Res64: C282B243D38441EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:17:57]
693*2^1244539-1 is not prime.  Res64: 8C97E27252E65F3A  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:29:52]
745*2^1244539-1 is not prime.  Res64: 09035EF183C409EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:29:52]
769*2^1244539-1 is not prime.  Res64: F99D2B40483737E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:36:19]
855*2^1244539-1 is not prime.  Res64: F3C7088655A71310  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:36:19]
951*2^1244539-1 is not prime.  Res64: F412179E6B4E91C2  Time : 0.0 sec.
user=juhehe
[2013-04-13 19:42:39]
777*2^1244537-1 is not prime.  Res64: 7508856C0B999DF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:47:58]
973*2^1244539-1 is not prime.  Res64: 59BD3FA00729DAB9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:47:58]
663*2^1244540-1 is not prime.  Res64: 8B81F73B05D62D73  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:54:29]
789*2^1244540-1 is not prime.  Res64: 7F53B87E864525A1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 19:54:29]
935*2^1244540-1 is not prime.  Res64: 8FDE3C270E34C553  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:06:09]
959*2^1244540-1 is not prime.  Res64: 1FE79CD0A9732FDD  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:06:09]
963*2^1244540-1 is not prime.  Res64: 8F5FDEACC6B81941  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:12:46]
609*2^1244541-1 is not prime.  Res64: B846779DD2E89BD8  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:12:46]
747*2^1244541-1 is not prime.  Res64: A8CC70D2302D6EBD  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:24:22]
889*2^1244541-1 is not prime.  Res64: DA8572C23F118CBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:24:22]
951*2^1244541-1 is not prime.  Res64: 5652650C9F122D95  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:31:00]
611*2^1244542-1 is not prime.  Res64: 6435A53E497D2DDF  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:31:01]
617*2^1244542-1 is not prime.  Res64: 74AF163DE092C783  Time : 0.0 sec.
user=juhehe
[2013-04-13 20:31:06]
969*2^1244539-1 is not prime.  Res64: 99DDC79BC19FDD25  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:42:31]
623*2^1244542-1 is not prime.  Res64: 08EA351BCC7481EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:42:32]
657*2^1244542-1 is not prime.  Res64: BBECBF6273978542  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:49:07]
675*2^1244542-1 is not prime.  Res64: F5041521D8792A56  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 20:49:08]
731*2^1244542-1 is not prime.  Res64: BDE6C8EE05543E23  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:00:38]
947*2^1244542-1 is not prime.  Res64: FFFF518090A6BEEA  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:00:39]
951*2^1244542-1 is not prime.  Res64: 29A04F8C5AAF6DE1  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:07:14]
753*2^1244543-1 is not prime.  Res64: 1B94EBFB9C6918BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:07:15]
811*2^1244543-1 is not prime.  Res64: EE9E27CA5295E4AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:18:51]
855*2^1244543-1 is not prime.  Res64: 30978D5873D63CEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:18:51]
859*2^1244543-1 is not prime.  Res64: 8D82DF73E4D8E82D  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:25:31]
871*2^1244543-1 is not prime.  Res64: 7CF125AA08B8BB7B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:25:32]
985*2^1244543-1 is not prime.  Res64: 7894B5691AA35A92  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:37:03]
605*2^1244544-1 is not prime.  Res64: 11D4DBEBCE043341  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:37:04]
719*2^1244544-1 is not prime.  Res64: 03773A15FE55A07C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:43:49]
759*2^1244544-1 is not prime.  Res64: 15387062D92EFFCD  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:43:49]
765*2^1244544-1 is not prime.  Res64: 425A5C9030828334  Time : 0.0 sec.
user=juhehe
[2013-04-13 21:44:56]
633*2^1244543-1 is not prime.  Res64: 8F12E4CDD0125E92  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:55:16]
903*2^1244544-1 is not prime.  Res64: B667DE42FED35619  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 21:55:17]
909*2^1244544-1 is not prime.  Res64: 80560B65E60C61D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:02:01]
915*2^1244544-1 is not prime.  Res64: F8C7FAEE527FA074  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:02:02]
917*2^1244544-1 is not prime.  Res64: 8E6B51CC4D4B74DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:13:27]
601*2^1244545-1 is not prime.  Res64: 012CEEAAC07993BD  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:13:27]
651*2^1244545-1 is not prime.  Res64: 171C4C4BD3429696  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:20:50]
705*2^1244545-1 is not prime.  Res64: D42326F3457709AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:20:50]
861*2^1244545-1 is not prime.  Res64: 69968BD401FA0CAF  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:31:44]
895*2^1244545-1 is not prime.  Res64: EB5C74AAE19CAB9E  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:31:44]
909*2^1244545-1 is not prime.  Res64: 940E84347ABB1DFA  Time : 0.0 sec.
user=juhehe
[2013-04-13 22:33:36]
843*2^1244544-1 is not prime.  Res64: 5C5FE8A27C380708  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:38:38]
939*2^1244545-1 is not prime.  Res64: EA3AEBCC3C2A9D4A  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:38:39]
951*2^1244545-1 is not prime.  Res64: 6B8E210551F6BEC7  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:49:13]
997*2^1244545-1 is not prime.  Res64: F0A35DEB32186E6B  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:49:13]
711*2^1244546-1 is not prime.  Res64: 5213D99DE3B24E59  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:56:05]
741*2^1244546-1 is not prime.  Res64: 1585E0B1AFF84434  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 22:56:06]
755*2^1244546-1 is not prime.  Res64: 66F33A9CA64860E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:06:40]
873*2^1244546-1 is not prime.  Res64: 38A5D9302F89FD15  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:06:44]
923*2^1244546-1 is not prime.  Res64: 10511B1A39ED8E3A  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:13:33]
625*2^1244547-1 is not prime.  Res64: 7AFEE8164869CCF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:13:35]
643*2^1244547-1 is not prime.  Res64: B53311202CCF5E3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:24:22]
945*2^1244547-1 is not prime.  Res64: 6F67BE9D777041AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:24:23]
615*2^1244548-1 is not prime.  Res64: 63D5608FCCD7A818  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:31:08]
647*2^1244548-1 is not prime.  Res64: CF41C0558DA736CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:31:09]
825*2^1244548-1 is not prime.  Res64: 097CD2F49354ED6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:41:51]
839*2^1244548-1 is not prime.  Res64: 30E72C8C213E649F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:41:52]
691*2^1244549-1 is not prime.  Res64: A08422324DB033BE  Time : 0.0 sec.
user=juhehe
[2013-04-13 23:47:29]
851*2^1244546-1 is not prime.  Res64: 6E80C780B3773BAF  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:48:39]
747*2^1244549-1 is not prime.  Res64: DEBE78DD4CD34801  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:48:39]
819*2^1244549-1 is not prime.  Res64: 9C5467815BA9B02C  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:59:18]
925*2^1244549-1 is not prime.  Res64: 70ED74323344B61F  Time : 0.0 sec.
user=mdettweiler
[2013-04-13 23:59:19]
955*2^1244549-1 is not prime.  Res64: 0F17EFD8EAC44BE6  Time : 0.0 sec.