user=mdettweiler
[2013-04-26 00:04:56]
767*2^1245264-1 is not prime.  Res64: 3CCE8B405743F2C5  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:04:58]
773*2^1245264-1 is not prime.  Res64: 47752422964E51AF  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:06:43]
825*2^1245264-1 is not prime.  Res64: 0191E820417CD18B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:06:45]
887*2^1245264-1 is not prime.  Res64: 844C3654CAC3D40A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:22:47]
909*2^1245264-1 is not prime.  Res64: AA8FE6E221B14D15  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:22:48]
969*2^1245264-1 is not prime.  Res64: AE722A83D2CC9795  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:24:11]
691*2^1245265-1 is not prime.  Res64: D9542FA900421EFC  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:24:12]
705*2^1245265-1 is not prime.  Res64: C2A94C678BF37F11  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:40:16]
741*2^1245265-1 is not prime.  Res64: 294CA5484889623D  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:40:17]
871*2^1245265-1 is not prime.  Res64: 124E31F6C585D68C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:41:37]
915*2^1245265-1 is not prime.  Res64: 220E9735CF5C932C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:41:38]
979*2^1245265-1 is not prime.  Res64: 70C176EAAD14EE77  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:57:44]
603*2^1245266-1 is not prime.  Res64: 6252B7D7594EB7D1  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:57:44]
827*2^1245266-1 is not prime.  Res64: DD50934A15E8D6B1  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:59:04]
857*2^1245266-1 is not prime.  Res64: 3A155DB634FBDF0B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 00:59:04]
935*2^1245266-1 is not prime.  Res64: 1134964F585BAFE1  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:15:10]
601*2^1245267-1 is not prime.  Res64: 422C00F7BFE9B84F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:15:11]
649*2^1245267-1 is not prime.  Res64: 00FE15B9ACFA5BF0  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:16:30]
669*2^1245267-1 is not prime.  Res64: 75B1108161E213DE  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:16:30]
709*2^1245267-1 is not prime.  Res64: 7A62EE294E6079F5  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:32:39]
781*2^1245267-1 is not prime.  Res64: AC742328D5380D60  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:32:40]
829*2^1245267-1 is not prime.  Res64: 1F1D7DAAFDA8B084  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:33:57]
903*2^1245267-1 is not prime.  Res64: 7DB19A5DE25631C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:33:57]
945*2^1245267-1 is not prime.  Res64: A42EE0822871617F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:50:06]
963*2^1245267-1 is not prime.  Res64: 2695BF5920BDCC05  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:50:06]
605*2^1245268-1 is not prime.  Res64: 48411EC0887354CB  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:51:23]
647*2^1245268-1 is not prime.  Res64: 1414EBCC3234637C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 01:51:24]
677*2^1245268-1 is not prime.  Res64: 705DEF4E3552AF35  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:07:32]
813*2^1245268-1 is not prime.  Res64: B90A0F13D9E752D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:07:33]
825*2^1245268-1 is not prime.  Res64: B5F3CD52D71EE15B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:08:49]
839*2^1245268-1 is not prime.  Res64: 142BFCEFF564BC65  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:08:50]
929*2^1245268-1 is not prime.  Res64: B2CEA21678F6FD93  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:25:02]
969*2^1245268-1 is not prime.  Res64: C436A15AC399ABF5  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:25:03]
627*2^1245269-1 is not prime.  Res64: F4825E9B550AC8B2  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:26:16]
649*2^1245269-1 is not prime.  Res64: 9CEAA217582E1E83  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:26:17]
771*2^1245269-1 is not prime.  Res64: D4609D3984C73926  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:42:31]
795*2^1245269-1 is not prime.  Res64: DB7F4C80E3D49E8F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:42:33]
829*2^1245269-1 is not prime.  Res64: 93F6600587F5DDB4  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:43:42]
855*2^1245269-1 is not prime.  Res64: 77777FD1CB6116A4  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 02:43:43]
723*2^1245270-1 is not prime.  Res64: 39E943D01E8CC733  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:00:27]
873*2^1245270-1 is not prime.  Res64: AAD8EDE5A10E6031  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:00:28]
917*2^1245270-1 is not prime.  Res64: 1ECD5A503469A493  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:01:10]
963*2^1245270-1 is not prime.  Res64: 70FA6634AA223398  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:01:11]
603*2^1245271-1 is not prime.  Res64: ACC65094EF83B705  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:18:17]
625*2^1245271-1 is not prime.  Res64: A221B3CD2B7BB469  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:18:18]
813*2^1245271-1 is not prime.  Res64: 4E907B5BEF047FD6  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:18:35]
633*2^1245272-1 is not prime.  Res64: 75A6AA464D512CA8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:18:36]
735*2^1245272-1 is not prime.  Res64: D89C4540D104916C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:35:46]
797*2^1245272-1 is not prime.  Res64: A24F027A3CABE29F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:35:47]
815*2^1245272-1 is not prime.  Res64: AFDF76CF96CBBB45  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:36:02]
843*2^1245272-1 is not prime.  Res64: 5CAA557A25A3D4EB  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:36:03]
691*2^1245273-1 is not prime.  Res64: 69C3AD16A6096608  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:53:16]
739*2^1245273-1 is not prime.  Res64: 9BAA8B7D45D68535  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:53:16]
751*2^1245273-1 is not prime.  Res64: 93D2FAA425E4581F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:53:28]
807*2^1245273-1 is not prime.  Res64: BAA096ACFC25BB83  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 03:53:29]
955*2^1245273-1 is not prime.  Res64: 0447F03D44F9FD62  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:10:43]
645*2^1245274-1 is not prime.  Res64: 0B05765D989993E2  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:10:44]
705*2^1245274-1 is not prime.  Res64: 86AB2E698BD8DC10  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:10:54]
731*2^1245274-1 is not prime.  Res64: C8172E1E9D8EA30A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:10:55]
741*2^1245274-1 is not prime.  Res64: 1D0084DED446F731  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:28:13]
831*2^1245274-1 is not prime.  Res64: C7552825F739EB7B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:28:13]
971*2^1245274-1 is not prime.  Res64: F64870DEDDA31776  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:28:21]
645*2^1245275-1 is not prime.  Res64: 011AF8BA7A8B4CD8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:28:22]
735*2^1245275-1 is not prime.  Res64: A15C71C33633DC35  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:45:40]
771*2^1245275-1 is not prime.  Res64: 0005325D6FD56FE7  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:45:41]
979*2^1245275-1 is not prime.  Res64: B9A2F80AFE04CD62  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:45:47]
981*2^1245275-1 is not prime.  Res64: 0F7D21C3AE10F929  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 04:45:48]
693*2^1245276-1 is not prime.  Res64: EAE7B36C119C5AA2  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:03:07]
661*2^1245277-1 is not prime.  Res64: 3117F0953E4F033C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:03:09]
715*2^1245277-1 is not prime.  Res64: 358B5447C0978440  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:03:13]
729*2^1245277-1 is not prime.  Res64: 3D5D8AC2139877D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:03:15]
757*2^1245277-1 is not prime.  Res64: 5584EB971F7AB412  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:21:00]
937*2^1245277-1 is not prime.  Res64: D142F8BA6A2465E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:21:00]
799*2^1245277-1 is not prime.  Res64: 9CADCCB407EAD0D0  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:21:00]
645*2^1245278-1 is not prime.  Res64: 113E29E80D18BC1A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:21:00]
901*2^1245277-1 is not prime.  Res64: 79BEE2BA92029025  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:38:27]
747*2^1245278-1 is not prime.  Res64: 88999446F4CA6098  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:38:27]
867*2^1245278-1 is not prime.  Res64: 1C27A1AEC9EDD036  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:38:28]
897*2^1245278-1 is not prime.  Res64: 251C11049BA50EC4  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:38:29]
609*2^1245279-1 is not prime.  Res64: 397D12AD76E9FBB9  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:55:54]
679*2^1245279-1 is not prime.  Res64: 13E537791BD1AB08  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:55:54]
685*2^1245279-1 is not prime.  Res64: BE73D4A4E58730C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:55:55]
693*2^1245279-1 is not prime.  Res64: 737105EE7EF78BBF  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 05:55:55]
711*2^1245279-1 is not prime.  Res64: 6A335C25D27A627F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:13:20]
951*2^1245279-1 is not prime.  Res64: 2B673ECEDE18EF78  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:13:20]
969*2^1245279-1 is not prime.  Res64: C4C87A1A08469A4F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:14:10]
973*2^1245279-1 is not prime.  Res64: 78F84EF9EB2B3DB3  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:14:11]
999*2^1245279-1 is not prime.  Res64: 92E87D600F235BA4  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:30:49]
645*2^1245280-1 is not prime.  Res64: B3CEA14A22309C3B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:30:49]
713*2^1245280-1 is not prime.  Res64: 00A4A84BB66206CF  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:31:36]
773*2^1245280-1 is not prime.  Res64: F067D7C2502143A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:31:36]
905*2^1245280-1 is not prime.  Res64: 59F60F0700013CEC  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:48:15]
927*2^1245280-1 is not prime.  Res64: E663E653F79849B0  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:48:16]
619*2^1245281-1 is not prime.  Res64: 31F6B00172D80772  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:49:03]
715*2^1245281-1 is not prime.  Res64: B2BC5FEBD83D39ED  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 06:49:03]
717*2^1245281-1 is not prime.  Res64: D61D35A09E8E34C4  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:05:41]
837*2^1245281-1 is not prime.  Res64: E88DB6B9DAA35DBB  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:05:42]
885*2^1245281-1 is not prime.  Res64: EAB9870F2AB42116  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:06:30]
931*2^1245281-1 is not prime.  Res64: B45D6FA6F581B0F2  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:06:31]
647*2^1245282-1 is not prime.  Res64: 98F16D687F5DB927  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:23:21]
713*2^1245282-1 is not prime.  Res64: 4AD240383628AB80  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:23:22]
737*2^1245282-1 is not prime.  Res64: 0B9D4D998F76A2A0  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:24:07]
741*2^1245282-1 is not prime.  Res64: A14BB39A6423597C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:24:07]
921*2^1245282-1 is not prime.  Res64: 32A761F0B97D1C25  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:40:58]
975*2^1245282-1 is not prime.  Res64: 9AC01B215B600A20  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:40:58]
983*2^1245282-1 is not prime.  Res64: BFF43FCAB7676699  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:41:42]
723*2^1245283-1 is not prime.  Res64: A077C834974D468C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:41:43]
741*2^1245283-1 is not prime.  Res64: 99C3618348D26A67  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:58:44]
853*2^1245283-1 is not prime.  Res64: 08183DA7483B9534  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:58:45]
871*2^1245283-1 is not prime.  Res64: 98CC669918682EAE  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:59:27]
843*2^1245284-1 is not prime.  Res64: 76B47A15B1AC3650  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 07:59:27]
915*2^1245284-1 is not prime.  Res64: 9BC5C3A0A399E422  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:16:19]
609*2^1245285-1 is not prime.  Res64: C56A296CD7A651FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:16:20]
669*2^1245285-1 is not prime.  Res64: 699721DB8C17C4BE  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:17:01]
741*2^1245285-1 is not prime.  Res64: 6A2680AA15D11661  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:17:02]
811*2^1245285-1 is not prime.  Res64: D3570B615081B6B8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:34:00]
895*2^1245285-1 is not prime.  Res64: D2971001E4AF9476  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:34:00]
975*2^1245285-1 is not prime.  Res64: D64141CFC8E0B432  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:34:37]
623*2^1245286-1 is not prime.  Res64: 0AC6F787F043ACCD  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:34:37]
747*2^1245286-1 is not prime.  Res64: 90F63DE6F02BF588  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:51:35]
843*2^1245286-1 is not prime.  Res64: C6ADA722901A25C0  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:51:36]
917*2^1245286-1 is not prime.  Res64: 041AC12B9CEDE121  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:52:12]
601*2^1245287-1 is not prime.  Res64: 45AA41DF0628C309  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 08:52:13]
661*2^1245287-1 is not prime.  Res64: 150A350048105FD3  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:09:09]
759*2^1245287-1 is not prime.  Res64: FD719D9CCCF655D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:09:10]
775*2^1245287-1 is not prime.  Res64: 6974A0647565D8B4  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:09:46]
861*2^1245287-1 is not prime.  Res64: E94E4EF882009D99  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:09:47]
939*2^1245287-1 is not prime.  Res64: 01C2B5A1437D74E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:26:45]
663*2^1245288-1 is not prime.  Res64: D4C118947BC0BA20  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:26:46]
695*2^1245288-1 is not prime.  Res64: B908F9B7D689E174  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:27:21]
753*2^1245288-1 is not prime.  Res64: 878BFE9C6483DE49  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:27:22]
773*2^1245288-1 is not prime.  Res64: 69753427F774490B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:44:37]
789*2^1245288-1 is not prime.  Res64: F9D412ADAFD17A53  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:44:37]
825*2^1245288-1 is not prime.  Res64: 64B26EC606A2ACAA  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:45:06]
927*2^1245288-1 is not prime.  Res64: 265016DB38C147C8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 09:45:06]
975*2^1245288-1 is not prime.  Res64: 5A4CAB2719F24F16  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:02:08]
729*2^1245289-1 is not prime.  Res64: E9B161E2C3E7D623  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:02:09]
867*2^1245289-1 is not prime.  Res64: 68232CAEF1CF1C00  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:02:35]
657*2^1245290-1 is not prime.  Res64: 7FBCC0E948A238EF  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:02:36]
867*2^1245290-1 is not prime.  Res64: AE6A37ABBE883BF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:19:40]
643*2^1245291-1 is not prime.  Res64: 1CB98533D80A8CFA  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:19:41]
651*2^1245291-1 is not prime.  Res64: 9DF2E3FF55E5DF68  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:20:07]
775*2^1245291-1 is not prime.  Res64: 762195CEB4F822F9  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:20:07]
781*2^1245291-1 is not prime.  Res64: 3157EEA971B44C66  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:37:10]
783*2^1245291-1 is not prime.  Res64: 507B5DD0FBB6C2C9  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:37:10]
801*2^1245291-1 is not prime.  Res64: 3879C5C50749C6A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:37:36]
949*2^1245291-1 is not prime.  Res64: 54C9D9BD64251013  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:37:37]
603*2^1245292-1 is not prime.  Res64: 3BE343076BC23F16  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:54:39]
693*2^1245292-1 is not prime.  Res64: 9D853A8D63E4F478  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:54:40]
717*2^1245292-1 is not prime.  Res64: DA012A1D24D4BD7F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:55:06]
755*2^1245292-1 is not prime.  Res64: 997D08227003941A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 10:55:07]
833*2^1245292-1 is not prime.  Res64: 3A2D73945769096F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:12:10]
939*2^1245292-1 is not prime.  Res64: 40525D335BE318B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:12:10]
975*2^1245292-1 is not prime.  Res64: 6CC52E257F10567D  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:12:36]
735*2^1245293-1 is not prime.  Res64: C4CD690EA46B3A7D  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:12:37]
745*2^1245293-1 is not prime.  Res64: 78F6E8A9D26AEDFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:29:50]
789*2^1245293-1 is not prime.  Res64: AFCA4A941FECB6BC  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:29:50]
925*2^1245293-1 is not prime.  Res64: DA87B869D1CF1ABD  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:30:17]
985*2^1245293-1 is not prime.  Res64: EF8A5FC751186C73  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:30:17]
755*2^1245294-1 is not prime.  Res64: 4FAE5C6C0545E6E0  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:47:33]
891*2^1245294-1 is not prime.  Res64: 01AE975C261F0FC1  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:47:33]
927*2^1245294-1 is not prime.  Res64: A138EFB989AAB147  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:48:50]
1001*2^1245294-1 is not prime.  Res64: 9C3D7186B6021762  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 11:48:51]
603*2^1245295-1 is not prime.  Res64: 1F67749DBDC76C1B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:05:10]
645*2^1245295-1 is not prime.  Res64: 53F482BB425F65CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:05:11]
661*2^1245295-1 is not prime.  Res64: 97DC7041E201DCED  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:06:27]
831*2^1245295-1 is not prime.  Res64: FD0F1C729E3B0A15  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:06:28]
973*2^1245295-1 is not prime.  Res64: F89F6182AD500B59  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:22:59]
603*2^1245296-1 is not prime.  Res64: C5758886BFA0BE90  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:22:59]
789*2^1245296-1 is not prime.  Res64: 9300388F40B860CE  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:24:14]
825*2^1245296-1 is not prime.  Res64: 7895EA140AE20856  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:24:14]
839*2^1245296-1 is not prime.  Res64: EC986B57A1DBA10A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:40:49]
867*2^1245296-1 is not prime.  Res64: AB4620D235260166  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:40:49]
923*2^1245296-1 is not prime.  Res64: 42BF26BA8C3CB93F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:42:03]
607*2^1245297-1 is not prime.  Res64: D6DE7E4DFC526241  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:42:03]
777*2^1245297-1 is not prime.  Res64: 960E643DF94A8645  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:58:42]
795*2^1245297-1 is not prime.  Res64: 0F7C32300861E00E  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:58:42]
819*2^1245297-1 is not prime.  Res64: 93C7F3E8BA2FBA92  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:59:56]
835*2^1245297-1 is not prime.  Res64: 3B75C3A93EAD9511  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 12:59:56]
915*2^1245297-1 is not prime.  Res64: 37FB21F4AC6CA4F3  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:16:37]
611*2^1245298-1 is not prime.  Res64: 5D367F49FAC676F1  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:16:37]
657*2^1245298-1 is not prime.  Res64: 0BD18D839F348905  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:17:52]
885*2^1245298-1 is not prime.  Res64: 51D0B4BDF312C49A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:17:52]
911*2^1245298-1 is not prime.  Res64: 11AE70D77BF4FB80  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:34:31]
923*2^1245298-1 is not prime.  Res64: 87B640BFE8790A3F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:34:32]
615*2^1245299-1 is not prime.  Res64: BCA56470B9989CF0  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:35:46]
619*2^1245299-1 is not prime.  Res64: ED671338721062A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:35:46]
675*2^1245299-1 is not prime.  Res64: 714D9067D535DF86  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:52:22]
711*2^1245299-1 is not prime.  Res64: 3004E02BB8E03A31  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:52:22]
745*2^1245299-1 is not prime.  Res64: 1A681DA6F7EFBD04  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:53:37]
771*2^1245299-1 is not prime.  Res64: 0ABE626955FFE622  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 13:53:37]
909*2^1245299-1 is not prime.  Res64: 1ECCF75DCEF9FBB3  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:10:13]
939*2^1245299-1 is not prime.  Res64: B535B8925D13DBF2  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:10:13]
979*2^1245299-1 is not prime.  Res64: E6578D27D1E69AAD  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:11:27]
985*2^1245299-1 is not prime.  Res64: D4C6900935C0B18C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:11:28]
669*2^1245300-1 is not prime.  Res64: 1B18382070FB1146  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:28:04]
867*2^1245300-1 is not prime.  Res64: E5FC6DCEF0556C9B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:28:05]
975*2^1245300-1 is not prime.  Res64: 65AF9D15731A8D37  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:29:18]
615*2^1245301-1 is not prime.  Res64: EE9A445A3416FB50  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:29:19]
619*2^1245301-1 is not prime.  Res64: A1B6B1FEBED55291  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:45:55]
621*2^1245301-1 is not prime.  Res64: 34227633DC0BCB2C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:45:56]
645*2^1245301-1 is not prime.  Res64: C4D32F2702651A64  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:47:09]
757*2^1245301-1 is not prime.  Res64: 38A8B37BB2CC3489  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 14:47:10]
805*2^1245301-1 is not prime.  Res64: 6F2823C3E4C028CA  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:03:47]
819*2^1245301-1 is not prime.  Res64: EE730339041CE611  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:03:48]
867*2^1245301-1 is not prime.  Res64: FB769A08EEAF0A90  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:05:00]
945*2^1245301-1 is not prime.  Res64: F00F93C4EDC5C7E5  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:05:00]
827*2^1245302-1 is not prime.  Res64: 88AFCE9F830E8122  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:21:46]
965*2^1245302-1 is not prime.  Res64: 4599D86BFB5B62F8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:21:48]
619*2^1245303-1 is not prime.  Res64: 8B8E8850FB1D8BFE  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:22:50]
625*2^1245303-1 is not prime.  Res64: 18E59891D8CFA8E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:22:51]
691*2^1245303-1 is not prime.  Res64: 2736DB0EEFF4F185  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:39:48]
693*2^1245303-1 is not prime.  Res64: 6B89D6869E79A824  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:39:49]
871*2^1245303-1 is not prime.  Res64: 84834F7022A12C93  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:40:44]
921*2^1245303-1 is not prime.  Res64: 435630B394898428  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:40:44]
985*2^1245303-1 is not prime.  Res64: 28375A11BB309A15  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:58:28]
609*2^1245304-1 is not prime.  Res64: 5EE6994D7AA6B71E  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:58:28]
645*2^1245304-1 is not prime.  Res64: F1F7E77C5356AC12  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:59:21]
695*2^1245304-1 is not prime.  Res64: E5F03BE3819DBCF9  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 15:59:21]
849*2^1245304-1 is not prime.  Res64: 83B3B9B3BE1640AB  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:16:23]
649*2^1245305-1 is not prime.  Res64: 029D139C5354A5DF  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:16:23]
669*2^1245305-1 is not prime.  Res64: EC835C0B904777EE  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:17:16]
675*2^1245305-1 is not prime.  Res64: 3FC18E6C61B2010D  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:17:17]
691*2^1245305-1 is not prime.  Res64: BA2F1CC4A00F1372  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:34:23]
781*2^1245305-1 is not prime.  Res64: 05D3AB8BC495A6AA  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:34:23]
611*2^1245306-1 is not prime.  Res64: 6DC2F9339EA4846C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:35:17]
777*2^1245306-1 is not prime.  Res64: 9A574A8D827AF15A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:35:18]
917*2^1245306-1 is not prime.  Res64: DFB326DD7A094795  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:53:13]
975*2^1245306-1 is not prime.  Res64: FE44D2182584519D  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:53:13]
993*2^1245306-1 is not prime.  Res64: ECAC481A774A336D  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:53:16]
619*2^1245307-1 is not prime.  Res64: E2B5313CD43E7276  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 16:53:17]
819*2^1245307-1 is not prime.  Res64: 61415A895BD7F8E8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:11:11]
919*2^1245307-1 is not prime.  Res64: D0C48B771A6B5568  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:11:13]
931*2^1245307-1 is not prime.  Res64: D5F6ACB08DA2CD84  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:11:14]
755*2^1245308-1 is not prime.  Res64: CBE3503FFC2748A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:11:15]
837*2^1245308-1 is not prime.  Res64: 11B42C2CC66B74E1  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:29:10]
609*2^1245309-1 is not prime.  Res64: B5226ACEF40DEC53  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:29:10]
655*2^1245309-1 is not prime.  Res64: DBF757262537F045  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:30:00]
963*2^1245308-1 is not prime.  Res64: A43518135F8750A9  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:30:00]
995*2^1245308-1 is not prime.  Res64: B6ABC19EDA325BE8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:47:03]
889*2^1245309-1 is not prime.  Res64: 750F270343DA1D91  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:47:04]
907*2^1245309-1 is not prime.  Res64: E5F21847DC044749  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:47:54]
969*2^1245309-1 is not prime.  Res64: 5A5E1F2875F01CEB  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 17:47:54]
987*2^1245309-1 is not prime.  Res64: 18E24847A0632E5C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:04:56]
647*2^1245310-1 is not prime.  Res64: C48FBCF16C84A8DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:04:57]
653*2^1245310-1 is not prime.  Res64: 3184E094C7D9B19B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:05:47]
657*2^1245310-1 is not prime.  Res64: A1F2E645C01DAA1A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:05:48]
861*2^1245310-1 is not prime.  Res64: 504323DC2A91856C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:22:50]
867*2^1245310-1 is not prime.  Res64: D1B8DA61367C18D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:22:50]
885*2^1245310-1 is not prime.  Res64: 76838F053714824F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:23:39]
965*2^1245310-1 is not prime.  Res64: 586D3609F656551A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:23:40]
603*2^1245311-1 is not prime.  Res64: 0716D796C5FBF277  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:40:42]
685*2^1245311-1 is not prime.  Res64: 3FB021E8AE3BD21A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:40:42]
813*2^1245311-1 is not prime.  Res64: 3C32CB52D60F66B3  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:41:31]
843*2^1245311-1 is not prime.  Res64: DD11814A852E6B3A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:41:31]
931*2^1245311-1 is not prime.  Res64: 7E27E6D68F890ADC  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:59:22]
717*2^1245312-1 is not prime.  Res64: F04669698681E829  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:59:23]
767*2^1245312-1 is not prime.  Res64: 4FB4B3409C9A977F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:59:24]
991*2^1245311-1 is not prime.  Res64: 2885B29F02DDF7B6  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 18:59:24]
999*2^1245311-1 is not prime.  Res64: 0ECA0241E546267E  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:17:15]
809*2^1245312-1 is not prime.  Res64: A42AD5FA5AE626CC  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:17:15]
923*2^1245312-1 is not prime.  Res64: 759D27F6509F66D4  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:17:16]
959*2^1245312-1 is not prime.  Res64: ABEF4414AAA3892E  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:17:16]
639*2^1245313-1 is not prime.  Res64: B74E8EDEED68BBC0  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:35:13]
651*2^1245313-1 is not prime.  Res64: 1CB606DB07669DDC  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:35:13]
721*2^1245313-1 is not prime.  Res64: A5912A698D00C0A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:35:15]
849*2^1245313-1 is not prime.  Res64: 6F3A86B19DF1571B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:35:15]
967*2^1245313-1 is not prime.  Res64: AB3C78403C3505B5  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:53:07]
605*2^1245314-1 is not prime.  Res64: EA409A7A0F893E25  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:53:07]
615*2^1245314-1 is not prime.  Res64: A96F1F72A6E00669  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:53:09]
711*2^1245314-1 is not prime.  Res64: C5236A1B61EC4477  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 19:53:10]
827*2^1245314-1 is not prime.  Res64: CB2995DAFA3CC85F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:11:18]
875*2^1245314-1 is not prime.  Res64: 6A3F2B6896CF05E7  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:11:19]
957*2^1245314-1 is not prime.  Res64: 44CFAD7761CE5F09  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:11:19]
633*2^1245315-1 is not prime.  Res64: CFBA91066E959404  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:11:20]
751*2^1245315-1 is not prime.  Res64: AB83BD3D5CACC56C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:29:38]
795*2^1245315-1 is not prime.  Res64: 0F6F5F55C0E53DC9  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:29:38]
781*2^1245315-1 is not prime.  Res64: 3A40A6D7D545B79F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:29:39]
819*2^1245315-1 is not prime.  Res64: 7ACA2EA2BEC757DB  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:29:39]
783*2^1245315-1 is not prime.  Res64: 41FCD664AD2EDE55  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:47:57]
849*2^1245315-1 is not prime.  Res64: 02C4E7FBD2D22D4E  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:47:57]
871*2^1245315-1 is not prime.  Res64: DD03F3F46F78E6B9  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:47:57]
895*2^1245315-1 is not prime.  Res64: 6FE8904817CE1552  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 20:47:58]
919*2^1245315-1 is not prime.  Res64: 03C445DB7916C9D2  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:05:57]
719*2^1245316-1 is not prime.  Res64: 70939045DDD7C84F  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:05:58]
855*2^1245316-1 is not prime.  Res64: 5AA763C8B345F764  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:06:46]
999*2^1245315-1 is not prime.  Res64: 76F0901AF8DA7A10  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:06:47]
623*2^1245316-1 is not prime.  Res64: 62F01461D2033F7C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:23:51]
903*2^1245316-1 is not prime.  Res64: FA1A73E1647D2869  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:23:52]
933*2^1245316-1 is not prime.  Res64: 2F0F3B6ACF82ADDD  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:24:36]
939*2^1245316-1 is not prime.  Res64: 1E643F99EC9A4C16  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:24:37]
965*2^1245316-1 is not prime.  Res64: D62C991AEAA12FDF  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:41:41]
989*2^1245316-1 is not prime.  Res64: 98B4569A51F27262  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:41:41]
615*2^1245317-1 is not prime.  Res64: 21F4D5C5638259B7  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:42:26]
675*2^1245317-1 is not prime.  Res64: A3C0183E2194BEA7  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:42:26]
691*2^1245317-1 is not prime.  Res64: 6AEE6DEC63E61801  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:59:31]
699*2^1245317-1 is not prime.  Res64: 474198D43A7C3E9E  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 21:59:32]
717*2^1245317-1 is not prime.  Res64: DF5FEEC9F59873A8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:00:16]
759*2^1245317-1 is not prime.  Res64: B2A29CB48B0CEC80  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:00:17]
795*2^1245317-1 is not prime.  Res64: 9CF6119F2EDC9013  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:17:21]
901*2^1245317-1 is not prime.  Res64: 456FD5F93B08DED8  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:17:21]
611*2^1245318-1 is not prime.  Res64: C4D41D55D196768B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:18:08]
671*2^1245318-1 is not prime.  Res64: 08CF0F4C66205E35  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:18:08]
801*2^1245318-1 is not prime.  Res64: 27BB20B79E7FEBC5  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:35:57]
931*2^1245319-1 is not prime.  Res64: E2F3049B778D4F4C  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:35:58]
939*2^1245319-1 is not prime.  Res64: 40DA4231CBD58031  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:36:04]
843*2^1245318-1 is not prime.  Res64: A8E9570DD69ADD15  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:36:04]
1001*2^1245318-1 is not prime.  Res64: 069D6939D497866E  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:53:47]
943*2^1245319-1 is not prime.  Res64: 3A651BF549B99035  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:53:47]
961*2^1245319-1 is not prime.  Res64: D2C1BF6ED723F146  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:53:54]
675*2^1245320-1 is not prime.  Res64: 0D3FF46B3972D02A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 22:53:54]
699*2^1245320-1 is not prime.  Res64: 59AEB39D33176584  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:11:37]
795*2^1245320-1 is not prime.  Res64: 50F69E2452474944  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:11:37]
857*2^1245320-1 is not prime.  Res64: CCFAEDF94BFF89A6  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:11:43]
915*2^1245320-1 is not prime.  Res64: 6AA8D7B38FFE6210  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:11:43]
609*2^1245321-1 is not prime.  Res64: 4D5BB344E7BC2499  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:29:30]
625*2^1245321-1 is not prime.  Res64: A6C67147919066FC  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:29:30]
637*2^1245321-1 is not prime.  Res64: F67E68EB027FEC7A  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:29:32]
657*2^1245321-1 is not prime.  Res64: 772490936F3D4492  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:29:33]
727*2^1245321-1 is not prime.  Res64: 2B44DA15FD9FCA84  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:47:22]
867*2^1245321-1 is not prime.  Res64: 6071EA2376872841  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:47:22]
889*2^1245321-1 is not prime.  Res64: 9695384BC7DDF1D3  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:47:25]
681*2^1245322-1 is not prime.  Res64: EB2FC81802C34E4B  Time : 0.0 sec.
user=mdettweiler
[2013-04-26 23:47:25]
747*2^1245322-1 is not prime.  Res64: 00891419613E7E80  Time : 0.0 sec.