user=juhehe
[2013-04-11 00:08:41]
945*2^1244373-1 is not prime.  Res64: C1B609784CAEE154  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:13:52]
841*2^1244375-1 is not prime.  Res64: 40CAE8B1502A12B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:13:53]
855*2^1244375-1 is not prime.  Res64: 6C6091E20A6435DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:13:53]
909*2^1244375-1 is not prime.  Res64: 1FA06625B2D52700  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:13:53]
699*2^1244376-1 is not prime.  Res64: C751765E36EB56E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:31:46]
825*2^1244376-1 is not prime.  Res64: 03624C1C373F0BE2  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:31:46]
717*2^1244376-1 is not prime.  Res64: DA950D1A7A4B88AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:31:46]
887*2^1244376-1 is not prime.  Res64: F19613E23E1B7769  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:31:47]
765*2^1244376-1 is not prime.  Res64: 045BA615177AC289  Time : 0.0 sec.
user=juhehe
[2013-04-11 00:42:14]
957*2^1244374-1 is not prime.  Res64: C2D39BF213E95F79  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:49:33]
945*2^1244376-1 is not prime.  Res64: 3B1515A009D60875  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:49:33]
983*2^1244376-1 is not prime.  Res64: E0155968CA71880D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:49:34]
993*2^1244376-1 is not prime.  Res64: 3A6C592A41EA48A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 00:49:34]
609*2^1244377-1 is not prime.  Res64: E34D99C13B1522E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:07:19]
747*2^1244377-1 is not prime.  Res64: C1F85AC653EE0CE0  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:07:20]
937*2^1244377-1 is not prime.  Res64: 03211D680C397240  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:07:20]
819*2^1244377-1 is not prime.  Res64: 1A4D875711C43BC7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:07:20]
967*2^1244377-1 is not prime.  Res64: 304FD35AC905B8C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:25:11]
711*2^1244378-1 is not prime.  Res64: D8D82BFAE9B34697  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:25:11]
713*2^1244378-1 is not prime.  Res64: 078322AEE5F7D35A  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:25:11]
801*2^1244378-1 is not prime.  Res64: DF0D1B37DA83311B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:25:12]
815*2^1244378-1 is not prime.  Res64: 79BD3063E409DC33  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:42:59]
945*2^1244378-1 is not prime.  Res64: 7BFA6B4183C61D0C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:42:59]
1001*2^1244378-1 is not prime.  Res64: 8FA7847BA0F9846E  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:43:00]
613*2^1244379-1 is not prime.  Res64: E6E9190226770D46  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 01:43:00]
619*2^1244379-1 is not prime.  Res64: 537914C1E5532900  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:00:45]
835*2^1244379-1 is not prime.  Res64: CF92CD2D6609D41B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:00:46]
783*2^1244380-1 is not prime.  Res64: D53250F7D0F396EA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:00:46]
991*2^1244379-1 is not prime.  Res64: 31A384C102A5789E  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:00:46]
827*2^1244380-1 is not prime.  Res64: 9663EF5C9087F108  Time : 0.0 sec.
user=juhehe
[2013-04-11 02:11:12]
861*2^1244378-1 is not prime.  Res64: 948DBBB71011CDD4  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:28:09]
929*2^1244380-1 is not prime.  Res64: E0A3A6858BB09461  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:28:09]
627*2^1244381-1 is not prime.  Res64: E8B93BDCD9AD1464  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:28:12]
669*2^1244381-1 is not prime.  Res64: 9857E9799E84F3AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:28:13]
717*2^1244381-1 is not prime.  Res64: 87B0F797015CB029  Time : 0.0 sec.
user=juhehe
[2013-04-11 02:44:21]
769*2^1244379-1 is not prime.  Res64: 1552537E1587ADBA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:45:35]
781*2^1244381-1 is not prime.  Res64: DE80E64D803802E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:45:36]
825*2^1244381-1 is not prime.  Res64: 6B09D0C2B71DB576  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:45:38]
907*2^1244381-1 is not prime.  Res64: 03DF601C8C3D871D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 02:45:41]
955*2^1244381-1 is not prime.  Res64: FD3FE0EA9207CD3C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:03:09]
653*2^1244382-1 is not prime.  Res64: A48EF43E827AFCF3  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:03:10]
807*2^1244382-1 is not prime.  Res64: 13C2084DD95B3DD9  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:03:11]
705*2^1244382-1 is not prime.  Res64: 4A3064570A5DD9E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:03:12]
615*2^1244383-1 is not prime.  Res64: 733D4977F613C64B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:20:53]
729*2^1244383-1 is not prime.  Res64: 5A276BB5F78C6C33  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:20:53]
831*2^1244383-1 is not prime.  Res64: 6FCE7398048161D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:20:54]
853*2^1244383-1 is not prime.  Res64: 9B51E2D949136DA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:20:55]
885*2^1244383-1 is not prime.  Res64: DD5CAA84FBA8E7E6  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:38:19]
675*2^1244384-1 is not prime.  Res64: 6F522A4A60784253  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:38:19]
689*2^1244384-1 is not prime.  Res64: 98954F09F3B222F4  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:38:20]
767*2^1244384-1 is not prime.  Res64: 96038C0A0C03511E  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:38:20]
813*2^1244384-1 is not prime.  Res64: 603778F98E3111E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:55:47]
819*2^1244384-1 is not prime.  Res64: 0025A4BF54407393  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:55:47]
679*2^1244385-1 is not prime.  Res64: E374EA930234104C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:55:47]
969*2^1244384-1 is not prime.  Res64: C079362383A44ABB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 03:55:48]
691*2^1244385-1 is not prime.  Res64: 2697C9DC6A682D8B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:13:12]
787*2^1244385-1 is not prime.  Res64: 84FECBA079F05EEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:13:13]
805*2^1244385-1 is not prime.  Res64: F10FF64FEB666EDF  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:13:13]
871*2^1244385-1 is not prime.  Res64: 32B812D996C42B49  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:13:14]
909*2^1244385-1 is not prime.  Res64: C206C00C35F6B6BF  Time : 0.0 sec.
user=juhehe
[2013-04-11 04:13:21]
891*2^1244383-1 is not prime.  Res64: 44102B4837FE5812  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:30:39]
951*2^1244385-1 is not prime.  Res64: 3F0A6FC3F94E183D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:30:40]
979*2^1244385-1 is not prime.  Res64: 10FEAC81CD06F376  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:30:41]
653*2^1244386-1 is not prime.  Res64: 7542C1F4C7757314  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:30:42]
701*2^1244386-1 is not prime.  Res64: 6F2A896FE9DBD2B4  Time : 0.0 sec.
user=juhehe
[2013-04-11 04:46:42]
705*2^1244385-1 is not prime.  Res64: 1C69E9564D3E2D9C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:48:07]
717*2^1244386-1 is not prime.  Res64: 8B990905DF687E59  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:48:07]
755*2^1244386-1 is not prime.  Res64: A664F246B5620E60  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:48:08]
777*2^1244386-1 is not prime.  Res64: 54312A6B3BBEAE2F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 04:48:08]
861*2^1244386-1 is not prime.  Res64: EA9ED940B0DA7962  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:05:33]
873*2^1244386-1 is not prime.  Res64: C58B0733971E09F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:05:33]
983*2^1244386-1 is not prime.  Res64: 1F9939AE7BEBC2D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:05:34]
981*2^1244386-1 is not prime.  Res64: 4822AAB9478A6E48  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:05:34]
615*2^1244387-1 is not prime.  Res64: 3604192CEC09DCBE  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:23:00]
631*2^1244387-1 is not prime.  Res64: 1F3AD695A8D037D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:23:01]
655*2^1244387-1 is not prime.  Res64: 0D6056C33E52D25F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:23:01]
735*2^1244387-1 is not prime.  Res64: 84CC9C8DB0E61FA1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:23:02]
759*2^1244387-1 is not prime.  Res64: 179C48991BDFD904  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:40:26]
829*2^1244387-1 is not prime.  Res64: A710D9C0EBD6621E  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:40:27]
901*2^1244387-1 is not prime.  Res64: DF4E635C5DE6955F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:40:27]
629*2^1244388-1 is not prime.  Res64: E7259E90F6DE2C10  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:40:28]
633*2^1244388-1 is not prime.  Res64: D4A21F0752696A44  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:57:52]
657*2^1244388-1 is not prime.  Res64: A6214CD3FC9B0827  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:57:53]
669*2^1244388-1 is not prime.  Res64: 99493130926206F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:57:53]
753*2^1244388-1 is not prime.  Res64: 7F7FDA477075975D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 05:57:53]
797*2^1244388-1 is not prime.  Res64: 13827C265A236FF1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:15:18]
959*2^1244388-1 is not prime.  Res64: A31E31903051CC15  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:15:19]
649*2^1244389-1 is not prime.  Res64: 03162928875F640D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:15:20]
721*2^1244389-1 is not prime.  Res64: E9F29DDF7992DE0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:15:21]
741*2^1244389-1 is not prime.  Res64: 850FFC206309EA32  Time : 0.0 sec.
user=juhehe
[2013-04-11 06:15:54]
781*2^1244387-1 is not prime.  Res64: 31D4E00343357700  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:32:48]
799*2^1244389-1 is not prime.  Res64: FB68CB86995A90D6  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:32:49]
855*2^1244389-1 is not prime.  Res64: 5766FBA5F3C85800  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:32:50]
861*2^1244389-1 is not prime.  Res64: 9715B37657CABEFA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:32:50]
939*2^1244389-1 is not prime.  Res64: 60C4B3A524C436AC  Time : 0.0 sec.
user=juhehe
[2013-04-11 06:49:24]
915*2^1244388-1 is not prime.  Res64: 607D694EC98B8D36  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:50:14]
945*2^1244389-1 is not prime.  Res64: B666A2EEBC225A38  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:50:14]
975*2^1244389-1 is not prime.  Res64: 93BD847455FACA98  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:50:16]
645*2^1244390-1 is not prime.  Res64: 717A52AEEDC06570  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 06:50:16]
665*2^1244390-1 is not prime.  Res64: D0DD4B37288620FF  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:07:40]
707*2^1244390-1 is not prime.  Res64: 10EA7D40BEBAD8AE  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:07:41]
857*2^1244390-1 is not prime.  Res64: E57BEB5BAB7C1527  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:07:42]
893*2^1244390-1 is not prime.  Res64: B970C2A2459D35B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:07:43]
953*2^1244390-1 is not prime.  Res64: 4DEBB50EE222A6E4  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:25:14]
625*2^1244391-1 is not prime.  Res64: 972259B6391CD259  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:25:14]
789*2^1244391-1 is not prime.  Res64: FF0B672C71E9160D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:25:16]
871*2^1244391-1 is not prime.  Res64: 1241CD5E961B5221  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:25:17]
951*2^1244391-1 is not prime.  Res64: AF3E1B19DF96CE8C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:42:43]
969*2^1244391-1 is not prime.  Res64: A7D88ADF0598A86D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:42:43]
999*2^1244391-1 is not prime.  Res64: D9275E88E4767EFB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:42:44]
687*2^1244392-1 is not prime.  Res64: 4338086B5A0520EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 07:42:45]
719*2^1244392-1 is not prime.  Res64: 0CA81CCD9031DA00  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:00:10]
765*2^1244392-1 is not prime.  Res64: 135685B1749CB8C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:00:11]
813*2^1244392-1 is not prime.  Res64: C79DDF250170EC6F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:00:11]
779*2^1244392-1 is not prime.  Res64: 7BD286E87DF20ABF  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:00:12]
849*2^1244392-1 is not prime.  Res64: 5D1A0FEF696F0352  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:17:39]
873*2^1244392-1 is not prime.  Res64: 7B0B89BD94F3D6A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:17:40]
939*2^1244392-1 is not prime.  Res64: 7CC568E6409319F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:17:40]
607*2^1244393-1 is not prime.  Res64: D28745714CE8B972  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:17:41]
679*2^1244393-1 is not prime.  Res64: 818D5877EA1973F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:35:04]
831*2^1244393-1 is not prime.  Res64: F67663F3DAD3A227  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:35:05]
897*2^1244393-1 is not prime.  Res64: 60E4EF0FF2F8B96B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:35:06]
985*2^1244393-1 is not prime.  Res64: F16ABF00542A6C26  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:35:06]
663*2^1244394-1 is not prime.  Res64: 6CE90CFDBB8AEF8A  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:52:30]
885*2^1244394-1 is not prime.  Res64: 3DC9BC6E1EEF33D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:52:31]
601*2^1244395-1 is not prime.  Res64: 83C1AEAFDD9E65B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:52:32]
741*2^1244395-1 is not prime.  Res64: C3A61745EFFC6C4A  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 08:52:32]
783*2^1244395-1 is not prime.  Res64: 3945ACE686743870  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:09:57]
961*2^1244395-1 is not prime.  Res64: 1FDCBF6AB88E95BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:09:58]
999*2^1244395-1 is not prime.  Res64: 3C85DE71A50791A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:09:58]
683*2^1244396-1 is not prime.  Res64: 7F482BA3F566F6AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:09:59]
719*2^1244396-1 is not prime.  Res64: DD01FADF0D7490B4  Time : 0.0 sec.
user=juhehe
[2013-04-11 09:17:47]
697*2^1244393-1 is not prime.  Res64: 94CAFCC2B7733AD5  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:27:30]
777*2^1244396-1 is not prime.  Res64: AD19B852B68D631E  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:27:31]
825*2^1244396-1 is not prime.  Res64: 72D79905F5A51179  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:27:32]
827*2^1244396-1 is not prime.  Res64: CFEA04F599EE1BB3  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:27:32]
759*2^1244397-1 is not prime.  Res64: 3262A3BD6A1FBDCA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:44:57]
817*2^1244397-1 is not prime.  Res64: 2C1F040D32D7C371  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:44:58]
825*2^1244397-1 is not prime.  Res64: FC31A205A61919EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:44:58]
713*2^1244398-1 is not prime.  Res64: 2BD5DBC41C36258B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 09:44:59]
831*2^1244398-1 is not prime.  Res64: 87B5A9B45AE74936  Time : 0.0 sec.
user=juhehe
[2013-04-11 09:51:52]
859*2^1244395-1 is not prime.  Res64: E6E8361D977CD62A  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:02:25]
923*2^1244398-1 is not prime.  Res64: 9238EB91E991FE08  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:02:26]
861*2^1244399-1 is not prime.  Res64: 7EE2DBE1754A3267  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:02:26]
855*2^1244399-1 is not prime.  Res64: ED34992977C0223B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:02:27]
883*2^1244399-1 is not prime.  Res64: 82054A4BA1183519  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:20:21]
895*2^1244399-1 is not prime.  Res64: DD7E64B8879E9AA6  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:20:22]
689*2^1244400-1 is not prime.  Res64: 5CCDF8FDCBD8E87D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:20:22]
719*2^1244400-1 is not prime.  Res64: 941D2AF2C32B1B24  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:20:23]
759*2^1244400-1 is not prime.  Res64: 30B63E351C1A24BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:37:46]
867*2^1244400-1 is not prime.  Res64: 5AE8B8327E52108E  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:37:47]
875*2^1244400-1 is not prime.  Res64: 98BB847307D404DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:37:48]
899*2^1244400-1 is not prime.  Res64: FBF01456E6F1CFA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:37:48]
917*2^1244400-1 is not prime.  Res64: 86BB0EF22865D56F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:55:13]
933*2^1244400-1 is not prime.  Res64: AEA47584A1310EEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:55:13]
691*2^1244401-1 is not prime.  Res64: 217666EAC383C3EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:55:13]
959*2^1244400-1 is not prime.  Res64: D9C83CD886D56D40  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 10:55:14]
745*2^1244401-1 is not prime.  Res64: 2F0D1474EA33D2D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:12:39]
805*2^1244401-1 is not prime.  Res64: D512ADF7869DC0AC  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:12:39]
777*2^1244401-1 is not prime.  Res64: 61B00DEE3A289E53  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:12:40]
909*2^1244401-1 is not prime.  Res64: B174C0AB04541670  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:12:40]
633*2^1244402-1 is not prime.  Res64: 60E6672A464B5769  Time : 0.0 sec.
user=juhehe
[2013-04-11 11:20:24]
843*2^1244400-1 is not prime.  Res64: DE2E3929A25BB775  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:30:10]
635*2^1244402-1 is not prime.  Res64: 67F65A0968638DB3  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:30:10]
657*2^1244402-1 is not prime.  Res64: 1A939E63799C1B3A  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:30:11]
683*2^1244402-1 is not prime.  Res64: 6A6F94D6E4C9EB75  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:30:12]
713*2^1244402-1 is not prime.  Res64: 19E57A0B4D84438B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:47:36]
873*2^1244402-1 is not prime.  Res64: A5CEB3D539A58150  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:47:37]
875*2^1244402-1 is not prime.  Res64: 6EBA2F3B9DFA95CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:47:37]
675*2^1244403-1 is not prime.  Res64: E6782A716E123FC6  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 11:47:38]
723*2^1244403-1 is not prime.  Res64: 591416360F777C41  Time : 0.0 sec.
user=juhehe
[2013-04-11 11:54:17]
747*2^1244401-1 is not prime.  Res64: 6A18924594596D21  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:05:03]
735*2^1244403-1 is not prime.  Res64: D5C86D331E22EF8C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:05:04]
871*2^1244403-1 is not prime.  Res64: EF0512C20507622A  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:05:04]
943*2^1244403-1 is not prime.  Res64: 00A670D46FC2E4A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:05:05]
615*2^1244404-1 is not prime.  Res64: 4F1D939258DB8EA6  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:22:45]
623*2^1244404-1 is not prime.  Res64: B6AC610C44B2729E  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:22:46]
635*2^1244404-1 is not prime.  Res64: 1EB70C9F772E3E5A  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:22:48]
773*2^1244404-1 is not prime.  Res64: B5DD0EE061F57785  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:22:49]
875*2^1244404-1 is not prime.  Res64: 83563EF21A5032CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:40:26]
903*2^1244404-1 is not prime.  Res64: 5E570E6AB325F78D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:40:26]
989*2^1244404-1 is not prime.  Res64: B654955770207851  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:40:28]
627*2^1244405-1 is not prime.  Res64: 89C3DF0977D61BF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:40:28]
651*2^1244405-1 is not prime.  Res64: E1BA36331F3F1AE1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:58:05]
729*2^1244405-1 is not prime.  Res64: ADA262C7EFE91810  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:58:05]
683*2^1244406-1 is not prime.  Res64: F0D4676FFCC7BCBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:58:07]
711*2^1244406-1 is not prime.  Res64: A4A6714FF49ABCD9  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 12:58:08]
723*2^1244406-1 is not prime.  Res64: EF621D80BFD05B77  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:15:47]
851*2^1244406-1 is not prime.  Res64: 7427A032C33A437E  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:15:48]
923*2^1244406-1 is not prime.  Res64: 4F937A292B51CF5B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:15:50]
693*2^1244407-1 is not prime.  Res64: D6602CF62D458C00  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:15:50]
843*2^1244407-1 is not prime.  Res64: 594BF8334EB59CFA  Time : 0.0 sec.
user=juhehe
[2013-04-11 13:22:52]
899*2^1244404-1 is not prime.  Res64: 09B2DB2F59C43B43  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:33:37]
889*2^1244407-1 is not prime.  Res64: CD954745824ED3CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:33:37]
895*2^1244407-1 is not prime.  Res64: F791429EFFE228E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:33:38]
859*2^1244407-1 is not prime.  Res64: 53A379F5E926E3B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:33:39]
861*2^1244407-1 is not prime.  Res64: 90CF342CFB4A8DBA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:51:25]
909*2^1244407-1 is not prime.  Res64: A6668D3ACCDB0592  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:51:26]
913*2^1244407-1 is not prime.  Res64: 1FD135E789FEB92F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:51:38]
993*2^1244407-1 is not prime.  Res64: 20AA598CAE4162AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 13:51:38]
657*2^1244408-1 is not prime.  Res64: 7CFAB2718B728909  Time : 0.0 sec.
user=juhehe
[2013-04-11 13:56:40]
815*2^1244406-1 is not prime.  Res64: 0F65E7894B758627  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:09:07]
663*2^1244408-1 is not prime.  Res64: 2FC695B31C387245  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:09:08]
767*2^1244408-1 is not prime.  Res64: 4A47F9A246DA953F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:09:19]
839*2^1244408-1 is not prime.  Res64: 793FFC0A66F1D965  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:09:20]
915*2^1244408-1 is not prime.  Res64: 2D4A691E76CD97B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:26:53]
993*2^1244408-1 is not prime.  Res64: 864B0E8F510D0CA3  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:26:53]
649*2^1244409-1 is not prime.  Res64: 26B04AB684ADB04F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:27:01]
667*2^1244409-1 is not prime.  Res64: 731377E430DD5984  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:27:01]
747*2^1244409-1 is not prime.  Res64: BB5F8CC4BE4EC887  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:44:34]
829*2^1244409-1 is not prime.  Res64: A61A3794C9D0DA32  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:44:35]
919*2^1244409-1 is not prime.  Res64: 5EB34CA435F8F9AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:44:43]
951*2^1244409-1 is not prime.  Res64: 0497DFFB3139B3AD  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 14:44:43]
975*2^1244409-1 is not prime.  Res64: 95C8E1148DD72C2D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:02:21]
999*2^1244409-1 is not prime.  Res64: 98E5B013B52C3E5C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:02:22]
653*2^1244410-1 is not prime.  Res64: 65DD599F5BF29245  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:02:28]
675*2^1244410-1 is not prime.  Res64: 8C4D38AC83DAF913  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:02:29]
735*2^1244410-1 is not prime.  Res64: DF18EAE4F5FD70A7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:20:04]
827*2^1244410-1 is not prime.  Res64: E29BAC8D4DBA832E  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:20:04]
887*2^1244410-1 is not prime.  Res64: 59E4644A4AEC073E  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:20:10]
1001*2^1244410-1 is not prime.  Res64: 1407D976ECD7E2C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:20:10]
649*2^1244411-1 is not prime.  Res64: 9BAC18E9CDA014F9  Time : 0.0 sec.
user=juhehe
[2013-04-11 15:25:34]
795*2^1244409-1 is not prime.  Res64: 36E437322C5D0E1D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:37:45]
669*2^1244411-1 is not prime.  Res64: DB3608A08AF2747A  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:37:45]
711*2^1244411-1 is not prime.  Res64: 8AB60710FCF74C43  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:37:50]
741*2^1244411-1 is not prime.  Res64: C33C3382007C3307  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:37:51]
759*2^1244411-1 is not prime.  Res64: 371BA9EFE35DA492  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:55:27]
813*2^1244411-1 is not prime.  Res64: C1191A883E754272  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:55:27]
823*2^1244411-1 is not prime.  Res64: 0EC27EDA3D370EF7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:55:31]
901*2^1244411-1 is not prime.  Res64: 8660386E0541C540  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 15:55:31]
949*2^1244411-1 is not prime.  Res64: 3AF25478B6B591D3  Time : 0.0 sec.
user=juhehe
[2013-04-11 15:59:47]
825*2^1244410-1 is not prime.  Res64: EF39460C8B7AF2E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:13:08]
653*2^1244412-1 is not prime.  Res64: CDFA3A0A7CC71C2D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:13:09]
665*2^1244412-1 is not prime.  Res64: 4A1B1AEBB8926CD3  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:13:13]
689*2^1244412-1 is not prime.  Res64: 8BD384815BAB1D21  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:13:13]
803*2^1244412-1 is not prime.  Res64: AA61094A638C705C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:30:54]
903*2^1244412-1 is not prime.  Res64: AA29AFAE8F9D9B49  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:30:54]
983*2^1244412-1 is not prime.  Res64: 56C30D291F916C87  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:30:54]
915*2^1244412-1 is not prime.  Res64: AAA2B6FD4E77DDBD  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:30:54]
745*2^1244413-1 is not prime.  Res64: 403B858ED583F5D7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:48:35]
855*2^1244413-1 is not prime.  Res64: 20ACA3DAED27E186  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:48:35]
951*2^1244413-1 is not prime.  Res64: 5E993C4D888443D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:48:36]
811*2^1244413-1 is not prime.  Res64: 6E41351F88D572E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 16:48:36]
967*2^1244413-1 is not prime.  Res64: 127D1C4951334C0F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:06:17]
615*2^1244414-1 is not prime.  Res64: 7B02D7D70BF3087C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:06:18]
665*2^1244414-1 is not prime.  Res64: 9E510D6E91194FD8  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:06:18]
675*2^1244414-1 is not prime.  Res64: A4975994BEDEF6C3  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:06:18]
857*2^1244414-1 is not prime.  Res64: 3853EA297C48C5F6  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:24:30]
957*2^1244414-1 is not prime.  Res64: 77C09BD0BC865739  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:24:31]
625*2^1244415-1 is not prime.  Res64: 779B289C3E326BDF  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:24:31]
685*2^1244415-1 is not prime.  Res64: 68CC9908141FBE40  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:24:31]
763*2^1244415-1 is not prime.  Res64: 0DE266F56A38162F  Time : 0.0 sec.
user=juhehe
[2013-04-11 17:27:42]
805*2^1244413-1 is not prime.  Res64: DB89EA561397927F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:42:16]
765*2^1244415-1 is not prime.  Res64: C355A549405C2E36  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:42:16]
781*2^1244415-1 is not prime.  Res64: 411851B9B06CA562  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:42:16]
831*2^1244415-1 is not prime.  Res64: 182B010BA985E0DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 17:42:17]
873*2^1244415-1 is not prime.  Res64: 6E9E63C71FF5CF21  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:00:00]
909*2^1244415-1 is not prime.  Res64: 8DA7AF4D0CA51B85  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:00:00]
933*2^1244415-1 is not prime.  Res64: 445DB362CDBCCC97  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:00:01]
695*2^1244416-1 is not prime.  Res64: 92D7AEDED7FD8AB3  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:00:01]
719*2^1244416-1 is not prime.  Res64: C93A186AD12A2DF2  Time : 0.0 sec.
user=juhehe
[2013-04-11 18:02:54]
873*2^1244414-1 is not prime.  Res64: 184903A0457D5070  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:17:47]
777*2^1244416-1 is not prime.  Res64: 34F872ABF0E59BBC  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:17:47]
845*2^1244416-1 is not prime.  Res64: 47E12A7239D05DB1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:17:48]
873*2^1244416-1 is not prime.  Res64: C0B6EB8BED2E0906  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:17:48]
897*2^1244416-1 is not prime.  Res64: 2F719FB799F1F8C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:35:34]
927*2^1244416-1 is not prime.  Res64: E5807572391F8221  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:35:35]
715*2^1244417-1 is not prime.  Res64: 2E1840EC34FC8A8A  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:35:35]
759*2^1244417-1 is not prime.  Res64: F89BFB468CA2EE03  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:35:35]
683*2^1244418-1 is not prime.  Res64: 8AA3347C67D01644  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:53:19]
777*2^1244418-1 is not prime.  Res64: 58C5CF7CFA838E4C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:53:19]
887*2^1244418-1 is not prime.  Res64: CA014AB6945656BF  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:53:19]
833*2^1244418-1 is not prime.  Res64: 6AB5F83B909149F0  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 18:53:19]
891*2^1244418-1 is not prime.  Res64: 86E9523F258E02C2  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:11:06]
609*2^1244419-1 is not prime.  Res64: 021D0845C7295947  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:11:07]
615*2^1244419-1 is not prime.  Res64: 7F11885A0DB780EC  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:11:44]
723*2^1244419-1 is not prime.  Res64: 99DF796DBF613892  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:11:45]
735*2^1244419-1 is not prime.  Res64: 0E91760595661846  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:29:10]
759*2^1244419-1 is not prime.  Res64: 153016D3D68B7471  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:29:11]
979*2^1244419-1 is not prime.  Res64: 088FFF9EEB923495  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:29:36]
669*2^1244420-1 is not prime.  Res64: 0C4EF7A3551A01C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:29:36]
717*2^1244420-1 is not prime.  Res64: 085F89FEC9B59941  Time : 0.0 sec.
user=juhehe
[2013-04-11 19:29:41]
705*2^1244418-1 is not prime.  Res64: 371C94D70AE5DC44  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:46:55]
839*2^1244420-1 is not prime.  Res64: 7AC788F06A1524C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:46:56]
945*2^1244420-1 is not prime.  Res64: 105BD0D36BA40F42  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:47:19]
995*2^1244420-1 is not prime.  Res64: 35EC5A40E127D476  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 19:47:19]
691*2^1244421-1 is not prime.  Res64: 56CACB4B8068E0BA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:04:41]
735*2^1244421-1 is not prime.  Res64: E179C5EFCE392E1B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:04:42]
795*2^1244421-1 is not prime.  Res64: 45250E7C1BAFD778  Time : 0.0 sec.
user=juhehe
[2013-04-11 20:04:57]
751*2^1244419-1 is not prime.  Res64: 72361AE822CD714C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:05:05]
819*2^1244421-1 is not prime.  Res64: 7EC80ECFA74F3536  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:05:05]
871*2^1244421-1 is not prime.  Res64: 40B26ABA914D6AEA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:22:29]
945*2^1244421-1 is not prime.  Res64: 44033B96D65632B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:22:30]
955*2^1244421-1 is not prime.  Res64: 678C82BDC2C010DA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:22:48]
979*2^1244421-1 is not prime.  Res64: C3396E50D6839306  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:22:48]
991*2^1244421-1 is not prime.  Res64: 8A36C7A4B5DDE68C  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:40:13]
681*2^1244422-1 is not prime.  Res64: 526C4066059A38BB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:40:13]
843*2^1244422-1 is not prime.  Res64: 75795D1D07F59C44  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:40:30]
857*2^1244422-1 is not prime.  Res64: 7FB0147263121E49  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:40:30]
947*2^1244422-1 is not prime.  Res64: 2B07EA84B478196B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:58:20]
973*2^1244423-1 is not prime.  Res64: A757E45C1469FD86  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:58:20]
981*2^1244423-1 is not prime.  Res64: B5C6D0365F26678D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:58:36]
705*2^1244423-1 is not prime.  Res64: 6A6601B55FB28C57  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 20:58:36]
943*2^1244423-1 is not prime.  Res64: 0A34E5128DAB8ACC  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:16:09]
657*2^1244424-1 is not prime.  Res64: 2C2A338C50CCFA05  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:16:10]
765*2^1244424-1 is not prime.  Res64: B605989E30583DA4  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:16:23]
795*2^1244424-1 is not prime.  Res64: 67B9A4C95247DB80  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:16:23]
803*2^1244424-1 is not prime.  Res64: 9C27F117317CA8CB  Time : 0.0 sec.
user=juhehe
[2013-04-11 21:32:27]
615*2^1244423-1 is not prime.  Res64: D4849EB2B78C61F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:33:59]
729*2^1244425-1 is not prime.  Res64: DE24F44C26D71ACA  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:33:59]
741*2^1244425-1 is not prime.  Res64: C8375FB0EFD06D20  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:34:07]
877*2^1244425-1 is not prime.  Res64: 82DE8DC0FB9520F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:34:07]
885*2^1244425-1 is not prime.  Res64: 9CEB5D2F53B402E9  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:51:56]
711*2^1244426-1 is not prime.  Res64: 39C726BA36990CDD  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:51:57]
735*2^1244426-1 is not prime.  Res64: C13079D52673C5C7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:52:21]
957*2^1244425-1 is not prime.  Res64: 553D24B54394EFDB  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 21:52:21]
617*2^1244426-1 is not prime.  Res64: 215F6B8AFA68272B  Time : 0.0 sec.
user=juhehe
[2013-04-11 22:07:32]
691*2^1244425-1 is not prime.  Res64: 3E4497E892064910  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:09:45]
767*2^1244426-1 is not prime.  Res64: 998E0D28B6241732  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:09:46]
783*2^1244426-1 is not prime.  Res64: F64C6B339D2DBE53  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:10:08]
785*2^1244426-1 is not prime.  Res64: E4202DB2F9C6F2B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:10:09]
857*2^1244426-1 is not prime.  Res64: E2F05D00570AEEE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:27:28]
861*2^1244426-1 is not prime.  Res64: 2CE3023DF0413F70  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:27:28]
987*2^1244426-1 is not prime.  Res64: 668A10F0ED48D662  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:27:46]
1001*2^1244426-1 is not prime.  Res64: 7F8E6D879615C4A2  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:27:46]
601*2^1244427-1 is not prime.  Res64: 8B5EEDEDE588D0F7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:45:06]
619*2^1244427-1 is not prime.  Res64: 4885453E5AA0A342  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:45:07]
871*2^1244427-1 is not prime.  Res64: 179991CFE0200A92  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:45:23]
639*2^1244428-1 is not prime.  Res64: B7091F30341DC7B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 22:45:24]
743*2^1244428-1 is not prime.  Res64: 9586AF95695F591F  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:02:48]
887*2^1244428-1 is not prime.  Res64: 55AE36C4FEED1355  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:02:49]
927*2^1244428-1 is not prime.  Res64: 77B10BEF0E6C98E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:03:02]
975*2^1244428-1 is not prime.  Res64: 59FECD6D39245682  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:03:03]
621*2^1244429-1 is not prime.  Res64: F158880B91310291  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:20:53]
631*2^1244429-1 is not prime.  Res64: 3D3BE9CA5BEAE07D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:20:53]
655*2^1244429-1 is not prime.  Res64: 708994A3B191A58B  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:20:54]
699*2^1244429-1 is not prime.  Res64: EF4E40A83D2ED7FD  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:20:54]
829*2^1244429-1 is not prime.  Res64: D447A7B19BA45FC3  Time : 0.0 sec.
user=juhehe
[2013-04-11 23:35:30]
839*2^1244428-1 is not prime.  Res64: 6FE83B96903800C2  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:38:34]
711*2^1244430-1 is not prime.  Res64: AADC2F8CC2770BE1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:38:35]
791*2^1244430-1 is not prime.  Res64: 9CED9C54647DFEC1  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:38:35]
717*2^1244430-1 is not prime.  Res64: 6B4FAE6579F38E24  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:38:35]
885*2^1244430-1 is not prime.  Res64: 9027957FFA45C7E3  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:56:12]
933*2^1244430-1 is not prime.  Res64: 11E68C3E8CEE8736  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:56:12]
957*2^1244430-1 is not prime.  Res64: 503716684DA82A0D  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:56:12]
977*2^1244430-1 is not prime.  Res64: 7D36BEB34BB96A35  Time : 0.0 sec.
user=mdettweiler
[2013-04-11 23:56:13]
625*2^1244431-1 is not prime.  Res64: CFDCE7FF30025BFC  Time : 0.0 sec.