user=mdettweiler [2013-03-10 00:05:52] 981*2^1242377-1 is not prime. Res64: 12BE60A95A5155E6 Time : 0.0 sec. user=mdettweiler [2013-03-10 00:05:53] 735*2^1242378-1 is not prime. Res64: 8F910B6996C160D1 Time : 0.0 sec. user=mdettweiler [2013-03-10 00:05:53] 651*2^1242378-1 is not prime. Res64: 7DBAD69321400F1D Time : 0.0 sec. user=mdettweiler [2013-03-10 00:05:54] 867*2^1242378-1 is not prime. Res64: 1844535D98EFC995 Time : 0.0 sec. user=juhehe [2013-03-10 00:21:26] 909*2^1242376-1 is not prime. Res64: 7863B0438494ED0C Time : 0.0 sec. user=mdettweiler [2013-03-10 00:23:22] 891*2^1242378-1 is not prime. Res64: 794193D6CEDD8A89 Time : 0.0 sec. user=mdettweiler [2013-03-10 00:23:22] 963*2^1242378-1 is not prime. Res64: 1290AD6204A04675 Time : 0.0 sec. user=mdettweiler [2013-03-10 00:23:24] 975*2^1242378-1 is not prime. Res64: D929D5369ED1A133 Time : 0.0 sec. user=mdettweiler [2013-03-10 00:23:25] 993*2^1242378-1 is not prime. Res64: 3A1EE3A8E38CE862 Time : 0.0 sec. user=vaughan [2013-03-10 00:25:07] 909*2^1242377-1 is not prime. Res64: 2BBB5CED41DFEF82 Time : 0.0 sec. user=mdettweiler [2013-03-10 00:40:50] 609*2^1242379-1 is not prime. Res64: 0F91FD52DB1AE667 Time : 0.0 sec. user=mdettweiler [2013-03-10 00:40:51] 733*2^1242379-1 is not prime. Res64: B4CC51536DBC0BC1 Time : 0.0 sec. user=mdettweiler [2013-03-10 00:40:52] 961*2^1242379-1 is not prime. Res64: 390B73062DA1D06B Time : 0.0 sec. user=mdettweiler [2013-03-10 00:40:53] 647*2^1242380-1 is not prime. Res64: 7F9A097B699CD717 Time : 0.0 sec. user=mdettweiler [2013-03-10 00:58:18] 707*2^1242380-1 is not prime. Res64: D4B9CF4C1E8E6A47 Time : 0.0 sec. user=mdettweiler [2013-03-10 00:58:19] 755*2^1242380-1 is not prime. Res64: C220C62910A2DD8F Time : 0.0 sec. user=mdettweiler [2013-03-10 00:58:25] 999*2^1242380-1 is not prime. Res64: 1AF5BFE9B3E320AA Time : 0.0 sec. user=mdettweiler [2013-03-10 00:58:26] 625*2^1242381-1 is not prime. Res64: 5681694A4A06E98F Time : 0.0 sec. user=vaughan [2013-03-10 01:03:24] 677*2^1242380-1 is not prime. Res64: D03D909A93DFA2FA Time : 0.0 sec. user=mdettweiler [2013-03-10 01:15:46] 979*2^1242381-1 is not prime. Res64: 5D5ED86E951D47B5 Time : 0.0 sec. user=mdettweiler [2013-03-10 01:15:46] 611*2^1242382-1 is not prime. Res64: 6731C253AC213CEE Time : 0.0 sec. user=mdettweiler [2013-03-10 01:15:52] 695*2^1242382-1 is not prime. Res64: 58FDA2326F91D0E8 Time : 0.0 sec. user=mdettweiler [2013-03-10 01:15:53] 705*2^1242382-1 is not prime. Res64: 916FA8D8C30C1C15 Time : 0.0 sec. user=mdettweiler [2013-03-10 01:33:14] 777*2^1242382-1 is not prime. Res64: 44A2E835D09D4FA1 Time : 0.0 sec. user=mdettweiler [2013-03-10 01:33:14] 791*2^1242382-1 is not prime. Res64: ABC80BA35E1A5B4A Time : 0.0 sec. user=mdettweiler [2013-03-10 01:33:19] 801*2^1242382-1 is not prime. Res64: 35607A26105CE175 Time : 0.0 sec. user=mdettweiler [2013-03-10 01:33:20] 815*2^1242382-1 is not prime. Res64: 50EC55146E4E6D01 Time : 0.0 sec. user=vaughan [2013-03-10 01:41:42] 761*2^1242382-1 is not prime. Res64: FD858624EF8FA28C Time : 0.0 sec. user=mdettweiler [2013-03-10 01:50:42] 923*2^1242382-1 is not prime. Res64: 6A89B6E7FE7E4222 Time : 0.0 sec. user=mdettweiler [2013-03-10 01:50:43] 945*2^1242382-1 is not prime. Res64: C7986296E403BF60 Time : 0.0 sec. user=mdettweiler [2013-03-10 01:50:47] 957*2^1242382-1 is not prime. Res64: FB6D985012E61B80 Time : 0.0 sec. user=mdettweiler [2013-03-10 01:50:48] 663*2^1242383-1 is not prime. Res64: E21214118078E7A5 Time : 0.0 sec. user=juhehe [2013-03-10 03:00:11] 781*2^1242381-1 is not prime. Res64: 57A6EBDCBCACCB2B Time : 0.0 sec. user=mdettweiler [2013-03-10 03:08:10] 745*2^1242383-1 is not prime. Res64: 946EA0138676DBC0 Time : 0.0 sec. user=mdettweiler [2013-03-10 03:08:11] 825*2^1242383-1 is not prime. Res64: C6D34C90C50DDB7A Time : 0.0 sec. user=mdettweiler [2013-03-10 03:08:18] 859*2^1242383-1 is not prime. Res64: 67DCDA5C9EDCE1EC Time : 0.0 sec. user=mdettweiler [2013-03-10 03:08:19] 949*2^1242383-1 is not prime. Res64: E89824BF76A923CC Time : 0.0 sec. user=vaughan [2013-03-10 03:19:58] 693*2^1242383-1 is not prime. Res64: 96E9EEB9150E0837 Time : 0.0 sec. user=juhehe [2013-03-10 03:22:17] 897*2^1242382-1 is not prime. Res64: 976C6B44231F081D Time : 0.0 sec. user=mdettweiler [2013-03-10 03:25:40] 985*2^1242383-1 is not prime. Res64: 78426BCE42781CBD Time : 0.0 sec. user=mdettweiler [2013-03-10 03:25:40] 609*2^1242384-1 is not prime. Res64: 67514215462B5EC3 Time : 0.0 sec. user=mdettweiler [2013-03-10 03:25:47] 675*2^1242384-1 is not prime. Res64: BB93906ABB8395DE Time : 0.0 sec. user=mdettweiler [2013-03-10 03:25:48] 689*2^1242384-1 is not prime. Res64: 5E3F51A59C7E6CC0 Time : 0.0 sec. user=mdettweiler [2013-03-10 03:43:08] 899*2^1242384-1 is not prime. Res64: 14F24A81ECBD3CF0 Time : 0.0 sec. user=mdettweiler [2013-03-10 03:43:09] 649*2^1242385-1 is not prime. Res64: 463D8512AB0AC620 Time : 0.0 sec. user=mdettweiler [2013-03-10 03:43:17] 841*2^1242385-1 is not prime. Res64: 6E5BF0EBD0933F8D Time : 0.0 sec. user=mdettweiler [2013-03-10 03:43:18] 877*2^1242385-1 is not prime. Res64: B0C0557D4A9953A3 Time : 0.0 sec. user=vaughan [2013-03-10 03:58:19] 843*2^1242384-1 is not prime. Res64: 10C725EAEC904F51 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:00:38] 937*2^1242385-1 is not prime. Res64: 0AF512382E9C6314 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:00:40] 979*2^1242385-1 is not prime. Res64: E951D91188138C70 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:00:47] 999*2^1242385-1 is not prime. Res64: 14777F619B285948 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:00:49] 615*2^1242386-1 is not prime. Res64: 736D1057856A394A Time : 0.0 sec. user=mdettweiler [2013-03-10 04:18:42] 783*2^1242386-1 is not prime. Res64: 756AC4927B2E3198 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:18:43] 851*2^1242386-1 is not prime. Res64: 76D7BDB240D40109 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:18:54] 917*2^1242386-1 is not prime. Res64: F6C2734364F3A8A1 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:18:55] 625*2^1242387-1 is not prime. Res64: DB748492B45B0856 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:36:16] 685*2^1242387-1 is not prime. Res64: E955FFABD5C5ED14 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:36:18] 711*2^1242387-1 is not prime. Res64: 732DB476255DAE71 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:36:27] 769*2^1242387-1 is not prime. Res64: 5265ED7F4172E84A Time : 0.0 sec. user=mdettweiler [2013-03-10 04:36:28] 775*2^1242387-1 is not prime. Res64: 7F82D917635B0BB7 Time : 0.0 sec. user=vaughan [2013-03-10 04:36:36] 677*2^1242386-1 is not prime. Res64: CEEFD77BE191839C Time : 0.0 sec. user=mdettweiler [2013-03-10 04:53:50] 955*2^1242387-1 is not prime. Res64: 7F6FAD09FAE8835B Time : 0.0 sec. user=mdettweiler [2013-03-10 04:53:52] 985*2^1242387-1 is not prime. Res64: 76032DF9DFD000B0 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:53:58] 695*2^1242388-1 is not prime. Res64: 438E4B7A32966671 Time : 0.0 sec. user=mdettweiler [2013-03-10 04:53:59] 743*2^1242388-1 is not prime. Res64: ABF8543261140568 Time : 0.0 sec. user=juhehe [2013-03-10 05:02:02] 705*2^1242386-1 is not prime. Res64: D699986BF99C2E6B Time : 0.0 sec. user=mdettweiler [2013-03-10 05:11:22] 721*2^1242389-1 is not prime. Res64: E06F04ECB813DEEA Time : 0.0 sec. user=mdettweiler [2013-03-10 05:11:23] 801*2^1242389-1 is not prime. Res64: 140241645D42106F Time : 0.0 sec. user=mdettweiler [2013-03-10 05:11:30] 819*2^1242389-1 is not prime. Res64: 920F3B8FD6FBD952 Time : 0.0 sec. user=mdettweiler [2013-03-10 05:11:31] 837*2^1242389-1 is not prime. Res64: F50A78821AC9C0F8 Time : 0.0 sec. user=vaughan [2013-03-10 05:19:57] 969*2^1242388-1 is not prime. Res64: A4B0323C42DD76CE Time : 0.0 sec. user=juhehe [2013-03-10 05:23:37] 871*2^1242387-1 is not prime. Res64: ABCB4C41038DA8A9 Time : 0.0 sec. user=mdettweiler [2013-03-10 05:28:53] 939*2^1242389-1 is not prime. Res64: 7710CD0ADA6CAFFC Time : 0.0 sec. user=mdettweiler [2013-03-10 05:28:54] 957*2^1242389-1 is not prime. Res64: 1FA0CFA6BB64AA05 Time : 0.0 sec. user=mdettweiler [2013-03-10 05:29:01] 657*2^1242390-1 is not prime. Res64: 03CBA18476BABF66 Time : 0.0 sec. user=mdettweiler [2013-03-10 05:29:02] 695*2^1242390-1 is not prime. Res64: 7750053E33A24796 Time : 0.0 sec. user=mdettweiler [2013-03-10 05:46:24] 891*2^1242390-1 is not prime. Res64: 7BA38E3987DC34E3 Time : 0.0 sec. user=mdettweiler [2013-03-10 05:46:26] 917*2^1242390-1 is not prime. Res64: ADE4097C915D5D6D Time : 0.0 sec. user=mdettweiler [2013-03-10 05:46:32] 741*2^1242391-1 is not prime. Res64: D2FB49983D595482 Time : 0.0 sec. user=mdettweiler [2013-03-10 05:46:33] 771*2^1242391-1 is not prime. Res64: 06C176A94EF7811C Time : 0.0 sec. user=vaughan [2013-03-10 05:58:13] 875*2^1242390-1 is not prime. Res64: F5944D22B42D6951 Time : 0.0 sec. user=mdettweiler [2013-03-10 06:03:57] 969*2^1242391-1 is not prime. Res64: 61715BD4499CF95B Time : 0.0 sec. user=mdettweiler [2013-03-10 06:03:57] 999*2^1242391-1 is not prime. Res64: 9D6D865D88A1BDFC Time : 0.0 sec. user=mdettweiler [2013-03-10 06:04:04] 603*2^1242392-1 is not prime. Res64: 64C3FE3585AF6209 Time : 0.0 sec. user=mdettweiler [2013-03-10 06:04:06] 689*2^1242392-1 is not prime. Res64: D21C055DF7BDE7E4 Time : 0.0 sec. user=mdettweiler [2013-03-10 06:21:28] 609*2^1242393-1 is not prime. Res64: F4026B56EF3807FB Time : 0.0 sec. user=mdettweiler [2013-03-10 06:21:29] 685*2^1242393-1 is not prime. Res64: 8FEB7C49D1815C32 Time : 0.0 sec. user=mdettweiler [2013-03-10 06:21:35] 721*2^1242393-1 is not prime. Res64: 216D6508901B999F Time : 0.0 sec. user=mdettweiler [2013-03-10 06:21:36] 781*2^1242393-1 is not prime. Res64: 3CDE6FAF9472D344 Time : 0.0 sec. user=vaughan [2013-03-10 06:36:34] 735*2^1242392-1 is not prime. Res64: 374D5D8CA8E96052 Time : 0.0 sec. user=mdettweiler [2013-03-10 06:39:01] 867*2^1242393-1 is not prime. Res64: B61A3CF30DD139BC Time : 0.0 sec. user=mdettweiler [2013-03-10 06:39:02] 919*2^1242393-1 is not prime. Res64: 26CE36CEEC355DFC Time : 0.0 sec. user=mdettweiler [2013-03-10 06:39:07] 987*2^1242393-1 is not prime. Res64: B391223F210642A0 Time : 0.0 sec. user=mdettweiler [2013-03-10 06:39:07] 605*2^1242394-1 is not prime. Res64: 70C9A7475B52DCE6 Time : 0.0 sec. user=mdettweiler [2013-03-10 06:56:32] 791*2^1242394-1 is not prime. Res64: F4BDE1142CB221A4 Time : 0.0 sec. user=mdettweiler [2013-03-10 06:56:32] 813*2^1242394-1 is not prime. Res64: 94AA283A4923422E Time : 0.0 sec. user=mdettweiler [2013-03-10 06:56:38] 947*2^1242394-1 is not prime. Res64: 07B97BC167A7492E Time : 0.0 sec. user=mdettweiler [2013-03-10 06:56:39] 685*2^1242395-1 is not prime. Res64: 00B958B61F5E5ADD Time : 0.0 sec. user=juhehe [2013-03-10 07:03:36] 899*2^1242392-1 is not prime. Res64: E6BBB295892BD783 Time : 0.0 sec. user=mdettweiler [2013-03-10 07:14:04] 789*2^1242395-1 is not prime. Res64: 43E166A76DBCAF12 Time : 0.0 sec. user=mdettweiler [2013-03-10 07:14:06] 855*2^1242395-1 is not prime. Res64: 4759B39C42919B66 Time : 0.0 sec. user=mdettweiler [2013-03-10 07:14:09] 985*2^1242395-1 is not prime. Res64: D1B98E31EFA366E4 Time : 0.0 sec. user=mdettweiler [2013-03-10 07:14:10] 627*2^1242396-1 is not prime. Res64: 43D45585616D2DF4 Time : 0.0 sec. user=vaughan [2013-03-10 07:15:00] 695*2^1242394-1 is not prime. Res64: A3A89C6CEE192899 Time : 0.0 sec. user=juhehe [2013-03-10 07:24:05] 675*2^1242394-1 is not prime. Res64: 4A9AFBC8E24406E6 Time : 0.0 sec. user=mdettweiler [2013-03-10 07:31:36] 653*2^1242396-1 is not prime. Res64: EB2D086E5F122595 Time : 0.0 sec. user=mdettweiler [2013-03-10 07:31:36] 689*2^1242396-1 is not prime. Res64: D486F356E3237EBC Time : 0.0 sec. user=mdettweiler [2013-03-10 07:31:40] 749*2^1242396-1 is not prime. Res64: 0170669EFBBEF90B Time : 0.0 sec. user=mdettweiler [2013-03-10 07:31:41] 767*2^1242396-1 is not prime. Res64: 31B4E303FE056C51 Time : 0.0 sec. user=mdettweiler [2013-03-10 07:49:07] 843*2^1242396-1 is not prime. Res64: 954D4887F9D7CDF0 Time : 0.0 sec. user=mdettweiler [2013-03-10 07:49:09] 887*2^1242396-1 is not prime. Res64: 2E8E7150184F1E86 Time : 0.0 sec. user=mdettweiler [2013-03-10 07:49:11] 975*2^1242396-1 is not prime. Res64: 0863547BAB80E328 Time : 0.0 sec. user=mdettweiler [2013-03-10 07:49:12] 717*2^1242397-1 is not prime. Res64: 497B65F492DBBA13 Time : 0.0 sec. user=vaughan [2013-03-10 07:53:14] 803*2^1242396-1 is not prime. Res64: 382CACCD7D50884A Time : 0.0 sec. user=mdettweiler [2013-03-10 08:06:39] 801*2^1242397-1 is not prime. Res64: D468C9644A3944D3 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:06:40] 897*2^1242397-1 is not prime. Res64: CD6B15FC432AB99E Time : 0.0 sec. user=mdettweiler [2013-03-10 08:06:43] 901*2^1242397-1 is not prime. Res64: F05395FFB7DD261F Time : 0.0 sec. user=mdettweiler [2013-03-10 08:06:44] 967*2^1242397-1 is not prime. Res64: F5C453436A84D929 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:24:14] 773*2^1242398-1 is not prime. Res64: 4403E0D2ECD09F99 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:24:15] 813*2^1242398-1 is not prime. Res64: 0D46847E82992355 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:24:15] 867*2^1242398-1 is not prime. Res64: 0E94C452E7245635 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:24:16] 957*2^1242398-1 is not prime. Res64: C217EDEB35DA81AC Time : 0.0 sec. user=vaughan [2013-03-10 08:36:29] 975*2^1242397-1 is not prime. Res64: B8E5AD82B2969393 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:41:47] 625*2^1242399-1 is not prime. Res64: A9C993DD3D8D2958 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:41:47] 669*2^1242399-1 is not prime. Res64: 407F099767F2DC99 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:41:49] 705*2^1242399-1 is not prime. Res64: 6EAB915EAC819045 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:41:50] 909*2^1242399-1 is not prime. Res64: F592B9632E7C9290 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:59:18] 921*2^1242399-1 is not prime. Res64: 22C44EC5EF220EE5 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:59:19] 961*2^1242399-1 is not prime. Res64: 01C5F866C4F5ECF9 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:59:20] 969*2^1242399-1 is not prime. Res64: 09C56D6EFE9BA442 Time : 0.0 sec. user=mdettweiler [2013-03-10 08:59:20] 603*2^1242400-1 is not prime. Res64: 5288499EE049EEC7 Time : 0.0 sec. user=juhehe [2013-03-10 09:05:31] 687*2^1242398-1 is not prime. Res64: CA7A49B8BB0A887E Time : 0.0 sec. user=vaughan [2013-03-10 09:14:44] 919*2^1242399-1 is not prime. Res64: FF557511AB6BD3EE Time : 0.0 sec. user=mdettweiler [2013-03-10 09:16:50] 615*2^1242400-1 is not prime. Res64: 687D12F7E4F00551 Time : 0.0 sec. user=mdettweiler [2013-03-10 09:16:50] 707*2^1242400-1 is not prime. Res64: 50AC93A8465B4BEA Time : 0.0 sec. user=mdettweiler [2013-03-10 09:16:51] 629*2^1242400-1 is not prime. Res64: 844B7D8742A41957 Time : 0.0 sec. user=mdettweiler [2013-03-10 09:16:51] 719*2^1242400-1 is not prime. Res64: 103EB1F35028D082 Time : 0.0 sec. user=juhehe [2013-03-10 09:31:54] 963*2^1242398-1 is not prime. Res64: 7CCC7DD99D6E0A61 Time : 0.0 sec. user=mdettweiler [2013-03-10 09:34:21] 759*2^1242400-1 is not prime. Res64: FECC57503CEB681D Time : 0.0 sec. user=mdettweiler [2013-03-10 09:34:22] 765*2^1242400-1 is not prime. Res64: B5D4A9BBDFC0E31F Time : 0.0 sec. user=mdettweiler [2013-03-10 09:34:23] 843*2^1242400-1 is not prime. Res64: 1CE0808A02BD8151 Time : 0.0 sec. user=mdettweiler [2013-03-10 09:34:24] 855*2^1242400-1 is not prime. Res64: AB89C16061796EE5 Time : 0.0 sec. user=mdettweiler [2013-03-10 09:51:51] 857*2^1242400-1 is not prime. Res64: 6190C10893C5BF8C Time : 0.0 sec. user=mdettweiler [2013-03-10 09:51:53] 929*2^1242400-1 is not prime. Res64: 9BCD0C35431CF380 Time : 0.0 sec. user=mdettweiler [2013-03-10 09:51:54] 939*2^1242400-1 is not prime. Res64: 94703CC609D37C64 Time : 0.0 sec. user=mdettweiler [2013-03-10 09:51:55] 645*2^1242401-1 is not prime. Res64: 5F11353912492E62 Time : 0.0 sec. user=vaughan [2013-03-10 09:52:59] 743*2^1242400-1 is not prime. Res64: 8A1B87274D41107D Time : 0.0 sec. user=mdettweiler [2013-03-10 10:09:23] 705*2^1242401-1 is not prime. Res64: BF0E1C646BC3453D Time : 0.0 sec. user=mdettweiler [2013-03-10 10:09:25] 717*2^1242401-1 is not prime. Res64: 32766AA5CEFBBDDD Time : 0.0 sec. user=mdettweiler [2013-03-10 10:09:25] 653*2^1242402-1 is not prime. Res64: 81D5F872D3469B54 Time : 0.0 sec. user=mdettweiler [2013-03-10 10:09:26] 755*2^1242402-1 is not prime. Res64: B1E296774D495166 Time : 0.0 sec. user=mdettweiler [2013-03-10 10:26:56] 951*2^1242402-1 is not prime. Res64: 05AB72DC133E7353 Time : 0.0 sec. user=mdettweiler [2013-03-10 10:26:57] 625*2^1242403-1 is not prime. Res64: 54316BF29B197509 Time : 0.0 sec. user=mdettweiler [2013-03-10 10:26:59] 705*2^1242403-1 is not prime. Res64: A8F156A5AE8FC74D Time : 0.0 sec. user=mdettweiler [2013-03-10 10:27:00] 939*2^1242403-1 is not prime. Res64: 52B8586AE00E503B Time : 0.0 sec. user=vaughan [2013-03-10 10:31:07] 765*2^1242402-1 is not prime. Res64: E9E6172942E6960D Time : 0.0 sec. user=mdettweiler [2013-03-10 10:44:29] 683*2^1242404-1 is not prime. Res64: 144E64775F3089B4 Time : 0.0 sec. user=mdettweiler [2013-03-10 10:44:29] 743*2^1242404-1 is not prime. Res64: 5423DEF783121B85 Time : 0.0 sec. user=mdettweiler [2013-03-10 10:44:30] 689*2^1242404-1 is not prime. Res64: 3E5DCC8226C307EE Time : 0.0 sec. user=mdettweiler [2013-03-10 10:44:30] 753*2^1242404-1 is not prime. Res64: F4A726B5AC110A14 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:02:06] 825*2^1242404-1 is not prime. Res64: 2F4A9EA249CAE9CD Time : 0.0 sec. user=mdettweiler [2013-03-10 11:02:07] 951*2^1242405-1 is not prime. Res64: B1DD1C17E8C3ABCB Time : 0.0 sec. user=mdettweiler [2013-03-10 11:02:08] 979*2^1242405-1 is not prime. Res64: 2C38812EAA9BC166 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:02:08] 959*2^1242404-1 is not prime. Res64: AFA0EE6A3451F059 Time : 0.0 sec. user=juhehe [2013-03-10 11:07:13] 797*2^1242402-1 is not prime. Res64: 628844061419FD4E Time : 0.0 sec. user=vaughan [2013-03-10 11:09:18] 803*2^1242404-1 is not prime. Res64: C63150A2C410DF03 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:19:55] 999*2^1242405-1 is not prime. Res64: A877B3DA5D7E5A94 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:19:56] 635*2^1242406-1 is not prime. Res64: EC9E87E8D0B3BA09 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:19:59] 663*2^1242406-1 is not prime. Res64: 742922ADCD8220D8 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:19:59] 717*2^1242406-1 is not prime. Res64: 9A2263722E95F81B Time : 0.0 sec. user=juhehe [2013-03-10 11:33:08] 795*2^1242404-1 is not prime. Res64: AAB5FB51F1FF4B01 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:37:27] 941*2^1242406-1 is not prime. Res64: FC9889E539D84208 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:37:28] 957*2^1242406-1 is not prime. Res64: B012F4AA44803C93 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:37:30] 741*2^1242407-1 is not prime. Res64: D971D88F37A7B621 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:37:31] 825*2^1242407-1 is not prime. Res64: A52A76F8D5E3AFA3 Time : 0.0 sec. user=vaughan [2013-03-10 11:47:33] 861*2^1242406-1 is not prime. Res64: E42C47670E4F4B4C Time : 0.0 sec. user=mdettweiler [2013-03-10 11:54:59] 859*2^1242407-1 is not prime. Res64: C97CCE0F6CE6C35A Time : 0.0 sec. user=mdettweiler [2013-03-10 11:55:00] 605*2^1242408-1 is not prime. Res64: D22D38AE64A0FB81 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:55:00] 725*2^1242408-1 is not prime. Res64: D98D5B10163A11F9 Time : 0.0 sec. user=mdettweiler [2013-03-10 11:55:02] 747*2^1242408-1 is not prime. Res64: E1F970A4FA379BC3 Time : 0.0 sec. user=juhehe [2013-03-10 11:59:27] 819*2^1242391-1 is not prime. Res64: 2C034EF352554270 Time : 0.0 sec. user=mdettweiler [2013-03-10 12:12:31] 839*2^1242408-1 is not prime. Res64: FF315D350E872647 Time : 0.0 sec. user=mdettweiler [2013-03-10 12:12:32] 899*2^1242408-1 is not prime. Res64: 5192EEF77B3D5EAB Time : 0.0 sec. user=mdettweiler [2013-03-10 12:12:32] 915*2^1242408-1 is not prime. Res64: 4495310497AC6E10 Time : 0.0 sec. user=mdettweiler [2013-03-10 12:12:33] 691*2^1242409-1 is not prime. Res64: 51938E0E0ECA2D13 Time : 0.0 sec. user=vaughan [2013-03-10 12:25:44] 837*2^1242408-1 is not prime. Res64: 1058C464E22D2BE7 Time : 0.0 sec. user=mdettweiler [2013-03-10 12:30:01] 751*2^1242409-1 is not prime. Res64: 3F65211E7CFFF456 Time : 0.0 sec. user=mdettweiler [2013-03-10 12:30:02] 895*2^1242409-1 is not prime. Res64: 18651FFFCF70E7AA Time : 0.0 sec. user=mdettweiler [2013-03-10 12:30:03] 939*2^1242409-1 is not prime. Res64: F884982859F9B26F Time : 0.0 sec. user=mdettweiler [2013-03-10 12:30:04] 975*2^1242409-1 is not prime. Res64: 3B171B4E1D1C6A23 Time : 0.0 sec. user=mdettweiler [2013-03-10 12:47:29] 707*2^1242410-1 is not prime. Res64: CF7181229736D658 Time : 0.0 sec. user=mdettweiler [2013-03-10 12:47:29] 713*2^1242410-1 is not prime. Res64: 363F5B93FF0CE9F5 Time : 0.0 sec. user=mdettweiler [2013-03-10 12:47:30] 735*2^1242410-1 is not prime. Res64: 0432B06408DB87BD Time : 0.0 sec. user=mdettweiler [2013-03-10 12:47:31] 785*2^1242410-1 is not prime. Res64: DFAA4E3EF42AF80C Time : 0.0 sec. user=mdettweiler [2013-03-10 13:04:56] 861*2^1242410-1 is not prime. Res64: CB60380D784C4EBE Time : 0.0 sec. user=mdettweiler [2013-03-10 13:04:57] 917*2^1242410-1 is not prime. Res64: BF3E25BA427D8FF6 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:04:58] 981*2^1242410-1 is not prime. Res64: FEA762ADE7F5FDD4 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:04:59] 987*2^1242410-1 is not prime. Res64: D39029666B7B29EE Time : 0.0 sec. user=juhehe [2013-03-10 13:08:47] 705*2^1242409-1 is not prime. Res64: 3E1FECE4F8CD5E45 Time : 0.0 sec. user=vaughan [2013-03-10 13:08:58] 999*2^1242409-1 is not prime. Res64: 601C07278420E1B0 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:22:29] 1001*2^1242410-1 is not prime. Res64: 8E59A351480ECC72 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:22:29] 861*2^1242411-1 is not prime. Res64: A7CA36C9524878A7 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:22:29] 783*2^1242411-1 is not prime. Res64: FF6E22275F0C1E16 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:22:30] 903*2^1242411-1 is not prime. Res64: 11C44CF56A310CF9 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:39:56] 969*2^1242411-1 is not prime. Res64: E8607131EB1F6AEA Time : 0.0 sec. user=mdettweiler [2013-03-10 13:39:57] 975*2^1242411-1 is not prime. Res64: FD7F604B40BCD1A9 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:39:57] 647*2^1242412-1 is not prime. Res64: 9EA6EA91984D67BF Time : 0.0 sec. user=mdettweiler [2013-03-10 13:39:57] 719*2^1242412-1 is not prime. Res64: A73BF454ACF01FBD Time : 0.0 sec. user=vaughan [2013-03-10 13:47:14] 909*2^1242411-1 is not prime. Res64: FEDCBCDF5F117263 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:57:23] 873*2^1242412-1 is not prime. Res64: 9A0C28E6E2273802 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:57:23] 903*2^1242412-1 is not prime. Res64: 533E3BB40F04F937 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:57:24] 947*2^1242412-1 is not prime. Res64: 109947233F150491 Time : 0.0 sec. user=mdettweiler [2013-03-10 13:57:24] 965*2^1242412-1 is not prime. Res64: FEDA04FF44F1EB11 Time : 0.0 sec. user=mdettweiler [2013-03-10 14:14:50] 999*2^1242412-1 is not prime. Res64: 88C55C4B1992148F Time : 0.0 sec. user=mdettweiler [2013-03-10 14:14:51] 615*2^1242413-1 is not prime. Res64: 1458403DCD1BBBF6 Time : 0.0 sec. user=mdettweiler [2013-03-10 14:15:00] 691*2^1242413-1 is not prime. Res64: BC745339576EFA75 Time : 0.0 sec. user=mdettweiler [2013-03-10 14:15:01] 741*2^1242413-1 is not prime. Res64: 3474C6F457720785 Time : 0.0 sec. user=vaughan [2013-03-10 14:30:28] 983*2^1242412-1 is not prime. Res64: B970856B957B2E00 Time : 0.0 sec. user=mdettweiler [2013-03-10 14:32:25] 861*2^1242413-1 is not prime. Res64: 4914823DF8B10D21 Time : 0.0 sec. user=mdettweiler [2013-03-10 14:32:26] 879*2^1242413-1 is not prime. Res64: C99CCEB0EAB68F43 Time : 0.0 sec. user=mdettweiler [2013-03-10 14:32:49] 889*2^1242413-1 is not prime. Res64: 30F176ADE4A2E950 Time : 0.0 sec. user=mdettweiler [2013-03-10 14:32:49] 915*2^1242413-1 is not prime. Res64: 4F53626B63DA7518 Time : 0.0 sec. user=juhehe [2013-03-10 14:33:28] 777*2^1242412-1 is not prime. Res64: 2BB73253204D3517 Time : 0.0 sec. user=mdettweiler [2013-03-10 14:50:00] 611*2^1242414-1 is not prime. Res64: EF8D20FC10A37F5C Time : 0.0 sec. user=mdettweiler [2013-03-10 14:50:00] 621*2^1242414-1 is not prime. Res64: 78295E39EBB3ABEE Time : 0.0 sec. user=mdettweiler [2013-03-10 14:50:40] 635*2^1242414-1 is not prime. Res64: DA1F3F88ABD6319D Time : 0.0 sec. user=mdettweiler [2013-03-10 14:50:40] 651*2^1242414-1 is not prime. Res64: A9478B55E9EE8036 Time : 0.0 sec. user=mdettweiler [2013-03-10 15:07:30] 683*2^1242414-1 is not prime. Res64: 25670C43EBACCD9E Time : 0.0 sec. user=mdettweiler [2013-03-10 15:07:31] 705*2^1242414-1 is not prime. Res64: 96094F0DB7876180 Time : 0.0 sec. user=mdettweiler [2013-03-10 15:08:13] 915*2^1242414-1 is not prime. Res64: 0174DF6BF73227FC Time : 0.0 sec. user=mdettweiler [2013-03-10 15:08:14] 965*2^1242414-1 is not prime. Res64: 78E697BE803A98D8 Time : 0.0 sec. user=juhehe [2013-03-10 15:09:55] 745*2^1242413-1 is not prime. Res64: D2D360F805253194 Time : 0.0 sec. user=vaughan [2013-03-10 15:13:43] 967*2^1242413-1 is not prime. Res64: 3753FFB824EDF071 Time : 0.0 sec. user=mdettweiler [2013-03-10 15:25:03] 983*2^1242414-1 is not prime. Res64: B1C461865151F781 Time : 0.0 sec. user=mdettweiler [2013-03-10 15:25:04] 601*2^1242415-1 is not prime. Res64: DCD12DB91FD732E5 Time : 0.0 sec. user=mdettweiler [2013-03-10 15:25:41] 603*2^1242415-1 is not prime. Res64: BE29FD6D3EB6EE35 Time : 0.0 sec. user=mdettweiler [2013-03-10 15:25:42] 619*2^1242415-1 is not prime. Res64: F714AB9179C5B13D Time : 0.0 sec. user=mdettweiler [2013-03-10 15:42:30] 685*2^1242415-1 is not prime. Res64: 67233EB7FF7A6077 Time : 0.0 sec. user=mdettweiler [2013-03-10 15:42:30] 709*2^1242415-1 is not prime. Res64: 5C689961BF68AFD0 Time : 0.0 sec. user=mdettweiler [2013-03-10 15:43:08] 715*2^1242415-1 is not prime. Res64: 5D548A9D971A3E80 Time : 0.0 sec. user=mdettweiler [2013-03-10 15:43:08] 861*2^1242415-1 is not prime. Res64: 66DF8F75CFE6FFBB Time : 0.0 sec. user=vaughan [2013-03-10 15:51:58] 639*2^1242415-1 is not prime. Res64: 302B6A172F3F5C67 Time : 0.0 sec. user=mdettweiler [2013-03-10 15:59:56] 719*2^1242416-1 is not prime. Res64: E25567637E5CAC3D Time : 0.0 sec. user=mdettweiler [2013-03-10 15:59:57] 609*2^1242417-1 is not prime. Res64: 42BAE25A7F581FAC Time : 0.0 sec. user=mdettweiler [2013-03-10 16:00:34] 649*2^1242417-1 is not prime. Res64: 3A9AE4A4A6D7C114 Time : 0.0 sec. user=mdettweiler [2013-03-10 16:00:35] 709*2^1242417-1 is not prime. Res64: C185464B5D53845C Time : 0.0 sec. user=mdettweiler [2013-03-10 16:17:22] 901*2^1242417-1 is not prime. Res64: 1B0FC6BB5D2667A0 Time : 0.0 sec. user=mdettweiler [2013-03-10 16:17:23] 955*2^1242417-1 is not prime. Res64: DDE549A90E3004E3 Time : 0.0 sec. user=mdettweiler [2013-03-10 16:18:02] 623*2^1242418-1 is not prime. Res64: C2F200A21FC06599 Time : 0.0 sec. user=mdettweiler [2013-03-10 16:18:03] 681*2^1242418-1 is not prime. Res64: 9C249A4680000E9E Time : 0.0 sec. user=vaughan [2013-03-10 16:30:06] 717*2^1242417-1 is not prime. Res64: 8DAC9D8A0A1C91FF Time : 0.0 sec. user=juhehe [2013-03-10 16:34:35] 939*2^1242415-1 is not prime. Res64: 6D1FA2C8E4D9FF4E Time : 0.0 sec. user=mdettweiler [2013-03-10 16:34:49] 615*2^1242419-1 is not prime. Res64: 87376FC7DEB257E5 Time : 0.0 sec. user=mdettweiler [2013-03-10 16:34:49] 669*2^1242419-1 is not prime. Res64: 07838B6A60BD0F5B Time : 0.0 sec. user=mdettweiler [2013-03-10 16:35:28] 735*2^1242419-1 is not prime. Res64: AC0D7C492AC4F3E4 Time : 0.0 sec. user=mdettweiler [2013-03-10 16:35:29] 771*2^1242419-1 is not prime. Res64: 96AB0A89AEA17D16 Time : 0.0 sec. user=mdettweiler [2013-03-10 16:52:15] 777*2^1242420-1 is not prime. Res64: BED84EE7704DBF62 Time : 0.0 sec. user=mdettweiler [2013-03-10 16:52:15] 783*2^1242420-1 is not prime. Res64: 0E1E8B1DE7D52687 Time : 0.0 sec. user=mdettweiler [2013-03-10 16:52:54] 789*2^1242420-1 is not prime. Res64: 0B3DAD4B9F290EF5 Time : 0.0 sec. user=mdettweiler [2013-03-10 16:52:55] 845*2^1242420-1 is not prime. Res64: F74F00E8E7144893 Time : 0.0 sec. user=vaughan [2013-03-10 17:08:13] 879*2^1242419-1 is not prime. Res64: 4F56AD0C70108376 Time : 0.0 sec. user=mdettweiler [2013-03-10 17:09:42] 867*2^1242420-1 is not prime. Res64: DE7198FFCB827A7C Time : 0.0 sec. user=mdettweiler [2013-03-10 17:09:44] 607*2^1242421-1 is not prime. Res64: EC725088C86DE865 Time : 0.0 sec. user=mdettweiler [2013-03-10 17:10:21] 769*2^1242421-1 is not prime. Res64: BA74C241EC85FEAA Time : 0.0 sec. user=mdettweiler [2013-03-10 17:10:21] 771*2^1242421-1 is not prime. Res64: F9B5A888965D8A68 Time : 0.0 sec. user=juhehe [2013-03-10 17:12:18] 773*2^1242418-1 is not prime. Res64: 40429A99BB814514 Time : 0.0 sec. user=mdettweiler [2013-03-10 17:27:11] 805*2^1242421-1 is not prime. Res64: 106491EE2CD45568 Time : 0.0 sec. user=mdettweiler [2013-03-10 17:27:12] 829*2^1242421-1 is not prime. Res64: F6E01EFA43505B02 Time : 0.0 sec. user=mdettweiler [2013-03-10 17:27:47] 871*2^1242421-1 is not prime. Res64: 483C34B4CFBAA7FA Time : 0.0 sec. user=mdettweiler [2013-03-10 17:27:48] 937*2^1242421-1 is not prime. Res64: 6A7FE07941CAFFD6 Time : 0.0 sec. user=mdettweiler [2013-03-10 17:44:38] 999*2^1242421-1 is not prime. Res64: E50B493CC33408F9 Time : 0.0 sec. user=mdettweiler [2013-03-10 17:44:38] 623*2^1242422-1 is not prime. Res64: BE36B80330C1CEE4 Time : 0.0 sec. user=mdettweiler [2013-03-10 17:45:13] 705*2^1242422-1 is not prime. Res64: DAAEC7299B00158F Time : 0.0 sec. user=mdettweiler [2013-03-10 17:45:14] 741*2^1242422-1 is not prime. Res64: 0AB75187BE240F34 Time : 0.0 sec. user=vaughan [2013-03-10 17:46:26] 777*2^1242421-1 is not prime. Res64: 2A5D143D16EC39F2 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:02:05] 825*2^1242422-1 is not prime. Res64: F91C91EC7FFB27CA Time : 0.0 sec. user=mdettweiler [2013-03-10 18:02:06] 873*2^1242422-1 is not prime. Res64: EE4BD04372705936 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:02:39] 941*2^1242422-1 is not prime. Res64: 475853721CD47808 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:02:40] 963*2^1242422-1 is not prime. Res64: E1AACD65DF6804D2 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:19:45] 615*2^1242423-1 is not prime. Res64: 387FBB64A0B7D702 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:19:46] 685*2^1242423-1 is not prime. Res64: 00307472DB06FD13 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:20:07] 723*2^1242423-1 is not prime. Res64: 274060A1CA267370 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:20:08] 805*2^1242423-1 is not prime. Res64: EFF9E57A25E44B87 Time : 0.0 sec. user=vaughan [2013-03-10 18:29:35] 1001*2^1242422-1 is not prime. Res64: F9BDED800D4DA86D Time : 0.0 sec. user=mdettweiler [2013-03-10 18:37:15] 969*2^1242423-1 is not prime. Res64: 46979B1DF20CC231 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:37:16] 615*2^1242424-1 is not prime. Res64: F6E108C03BBFCAA5 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:37:38] 675*2^1242424-1 is not prime. Res64: AFA9B0881E9A62C1 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:37:39] 759*2^1242424-1 is not prime. Res64: B630A205F9CED4B7 Time : 0.0 sec. user=juhehe [2013-03-10 18:41:08] 743*2^1242422-1 is not prime. Res64: 494EB5E2CDE9A416 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:54:51] 855*2^1242424-1 is not prime. Res64: 4AC1E6EFF4A1AEE5 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:54:52] 873*2^1242424-1 is not prime. Res64: 39D6B117368040B8 Time : 0.0 sec. user=mdettweiler [2013-03-10 18:55:12] 899*2^1242424-1 is not prime. Res64: 673591B78F3DD23E Time : 0.0 sec. user=mdettweiler [2013-03-10 18:55:13] 983*2^1242424-1 is not prime. Res64: 94FA22BA875139F2 Time : 0.0 sec. user=vaughan [2013-03-10 19:07:44] 825*2^1242424-1 is not prime. Res64: 6701EBF9E9D00DFF Time : 0.0 sec. user=mdettweiler [2013-03-10 19:12:27] 627*2^1242425-1 is not prime. Res64: 9CD188AA05A96E81 Time : 0.0 sec. user=mdettweiler [2013-03-10 19:12:28] 685*2^1242425-1 is not prime. Res64: 0C257E6EFB8E38BC Time : 0.0 sec. user=mdettweiler [2013-03-10 19:12:46] 841*2^1242425-1 is not prime. Res64: 2F308C1B12EC5875 Time : 0.0 sec. user=mdettweiler [2013-03-10 19:12:47] 855*2^1242425-1 is not prime. Res64: 65B49D9CA20D9218 Time : 0.0 sec. user=juhehe [2013-03-10 19:20:43] 955*2^1242423-1 is not prime. Res64: 365B4E8BA9074018 Time : 0.0 sec. user=mdettweiler [2013-03-10 19:30:01] 885*2^1242425-1 is not prime. Res64: 46F8F63457D69FD6 Time : 0.0 sec. user=mdettweiler [2013-03-10 19:30:02] 783*2^1242426-1 is not prime. Res64: E769E2C1D5801A21 Time : 0.0 sec. user=mdettweiler [2013-03-10 19:30:20] 801*2^1242426-1 is not prime. Res64: 1588FE5F1EEACA5B Time : 0.0 sec. user=mdettweiler [2013-03-10 19:30:21] 821*2^1242426-1 is not prime. Res64: 632FAA8D2F45876B Time : 0.0 sec. user=vaughan [2013-03-10 19:45:55] 871*2^1242425-1 is not prime. Res64: DB7AFC37F24185AB Time : 0.0 sec. user=mdettweiler [2013-03-10 19:47:38] 887*2^1242426-1 is not prime. Res64: 72E1D153DBDF8E79 Time : 0.0 sec. user=mdettweiler [2013-03-10 19:47:39] 933*2^1242426-1 is not prime. Res64: 91E456BEC418D6A7 Time : 0.0 sec. user=mdettweiler [2013-03-10 19:47:55] 681*2^1242427-1 is not prime. Res64: 11253D738B032CE8 Time : 0.0 sec. user=mdettweiler [2013-03-10 19:47:56] 693*2^1242427-1 is not prime. Res64: E67C602349AFB987 Time : 0.0 sec. user=mdettweiler [2013-03-10 20:05:12] 895*2^1242427-1 is not prime. Res64: C30AB85CF21FB295 Time : 0.0 sec. user=mdettweiler [2013-03-10 20:05:14] 973*2^1242427-1 is not prime. Res64: 8A9B921A169A13AA Time : 0.0 sec. user=mdettweiler [2013-03-10 20:05:28] 617*2^1242428-1 is not prime. Res64: 155EB7FE8F353934 Time : 0.0 sec. user=mdettweiler [2013-03-10 20:05:29] 659*2^1242428-1 is not prime. Res64: 2EA11B3B9D45264E Time : 0.0 sec. user=mdettweiler [2013-03-10 20:22:52] 683*2^1242428-1 is not prime. Res64: B0602CDFB406093C Time : 0.0 sec. user=mdettweiler [2013-03-10 20:22:53] 687*2^1242428-1 is not prime. Res64: F98E86E0DA654AA9 Time : 0.0 sec. user=mdettweiler [2013-03-10 20:23:01] 827*2^1242428-1 is not prime. Res64: 56A3655537D9DB3F Time : 0.0 sec. user=mdettweiler [2013-03-10 20:23:02] 845*2^1242428-1 is not prime. Res64: 263F168783C7A362 Time : 0.0 sec. user=vaughan [2013-03-10 20:24:04] 859*2^1242427-1 is not prime. Res64: 1FC045DA0C8E707F Time : 0.0 sec. user=mdettweiler [2013-03-10 20:40:25] 995*2^1242428-1 is not prime. Res64: BE4EF4D26A52B545 Time : 0.0 sec. user=mdettweiler [2013-03-10 20:40:27] 685*2^1242429-1 is not prime. Res64: 3AA3EBB3D17E6E9C Time : 0.0 sec. user=mdettweiler [2013-03-10 20:40:32] 727*2^1242429-1 is not prime. Res64: A7EF138C8997CE5B Time : 0.0 sec. user=mdettweiler [2013-03-10 20:40:34] 975*2^1242429-1 is not prime. Res64: C20ACD2F95A93527 Time : 0.0 sec. user=juhehe [2013-03-10 20:47:54] 703*2^1242427-1 is not prime. Res64: 51553BC84EBA8C9E Time : 0.0 sec. user=mdettweiler [2013-03-10 20:58:01] 657*2^1242430-1 is not prime. Res64: F7AA4E36E6EF601A Time : 0.0 sec. user=mdettweiler [2013-03-10 20:58:02] 687*2^1242430-1 is not prime. Res64: 11074C3B55FFC136 Time : 0.0 sec. user=mdettweiler [2013-03-10 20:58:07] 743*2^1242430-1 is not prime. Res64: 27E18C0519148E48 Time : 0.0 sec. user=mdettweiler [2013-03-10 20:58:08] 785*2^1242430-1 is not prime. Res64: AD2DABA0BE17C464 Time : 0.0 sec. user=mdettweiler [2013-03-10 21:15:33] 843*2^1242430-1 is not prime. Res64: 1A87D1296C4BC883 Time : 0.0 sec. user=mdettweiler [2013-03-10 21:15:34] 873*2^1242430-1 is not prime. Res64: 05FFC70EDC97E9FE Time : 0.0 sec. user=mdettweiler [2013-03-10 21:15:38] 885*2^1242430-1 is not prime. Res64: 491328632855A4B0 Time : 0.0 sec. user=mdettweiler [2013-03-10 21:15:39] 891*2^1242430-1 is not prime. Res64: 52AB3AC5C0819C5C Time : 0.0 sec. user=juhehe [2013-03-10 21:27:44] 885*2^1242428-1 is not prime. Res64: D65A1A44C11DB4CF Time : 0.0 sec. user=mdettweiler [2013-03-10 21:33:08] 981*2^1242430-1 is not prime. Res64: ABE01756055A64E9 Time : 0.0 sec. user=mdettweiler [2013-03-10 21:33:09] 661*2^1242431-1 is not prime. Res64: 170FB1CA2557AE4D Time : 0.0 sec. user=mdettweiler [2013-03-10 21:33:11] 741*2^1242431-1 is not prime. Res64: BF6B3F4D64DAB30B Time : 0.0 sec. user=mdettweiler [2013-03-10 21:33:12] 763*2^1242431-1 is not prime. Res64: D4FAF15C17ABD931 Time : 0.0 sec. user=mdettweiler [2013-03-10 21:50:38] 823*2^1242431-1 is not prime. Res64: DC2B05148811FD3D Time : 0.0 sec. user=mdettweiler [2013-03-10 21:50:39] 825*2^1242431-1 is not prime. Res64: 01FDFD708988C69D Time : 0.0 sec. user=mdettweiler [2013-03-10 21:50:39] 921*2^1242431-1 is not prime. Res64: E028DADEB0D994EE Time : 0.0 sec. user=mdettweiler [2013-03-10 21:50:40] 627*2^1242432-1 is not prime. Res64: 86536CF17468C951 Time : 0.0 sec. user=mdettweiler [2013-03-10 22:08:11] 717*2^1242432-1 is not prime. Res64: 100BD08BA70E39B4 Time : 0.0 sec. user=mdettweiler [2013-03-10 22:08:12] 863*2^1242432-1 is not prime. Res64: A3F51682E6D0C801 Time : 0.0 sec. user=mdettweiler [2013-03-10 22:08:13] 811*2^1242433-1 is not prime. Res64: 50A69DF2D3FB58B2 Time : 0.0 sec. user=mdettweiler [2013-03-10 22:08:15] 849*2^1242433-1 is not prime. Res64: 7FDF91113EDF9792 Time : 0.0 sec. user=mdettweiler [2013-03-10 22:26:00] 855*2^1242433-1 is not prime. Res64: 4F1850E9CC7D992B Time : 0.0 sec. user=mdettweiler [2013-03-10 22:26:01] 867*2^1242433-1 is not prime. Res64: 3F83C9AFE52FE383 Time : 0.0 sec. user=mdettweiler [2013-03-10 22:26:03] 919*2^1242433-1 is not prime. Res64: 6001FDEC5AFA1AF9 Time : 0.0 sec. user=mdettweiler [2013-03-10 22:26:04] 925*2^1242433-1 is not prime. Res64: 66B6E6C9D09C8062 Time : 0.0 sec. user=vaughan [2013-03-10 22:28:17] 623*2^1242430-1 is not prime. Res64: F6A2ACDABF2C501C Time : 0.0 sec. user=mdettweiler [2013-03-10 22:43:47] 987*2^1242433-1 is not prime. Res64: BA90EEC6FBDC4B8B Time : 0.0 sec. user=mdettweiler [2013-03-10 22:43:47] 755*2^1242434-1 is not prime. Res64: 41DE801A10C19499 Time : 0.0 sec. user=mdettweiler [2013-03-10 22:43:47] 617*2^1242434-1 is not prime. Res64: 62C1E179F985FC48 Time : 0.0 sec. user=mdettweiler [2013-03-10 22:43:48] 875*2^1242434-1 is not prime. Res64: C5D19EA8323C7ADF Time : 0.0 sec. user=juhehe [2013-03-10 22:54:49] 713*2^1242432-1 is not prime. Res64: 68C7492A7F0A314E Time : 0.0 sec. user=mdettweiler [2013-03-10 23:01:20] 613*2^1242435-1 is not prime. Res64: 69E8A46C3DE33CDB Time : 0.0 sec. user=mdettweiler [2013-03-10 23:01:21] 651*2^1242435-1 is not prime. Res64: 1CDD4B09A883784B Time : 0.0 sec. user=mdettweiler [2013-03-10 23:01:22] 781*2^1242435-1 is not prime. Res64: 6D1CEA05A227DE90 Time : 0.0 sec. user=mdettweiler [2013-03-10 23:01:23] 789*2^1242435-1 is not prime. Res64: 8B7D933D4858E71E Time : 0.0 sec. user=vaughan [2013-03-10 23:06:23] 923*2^1242434-1 is not prime. Res64: BA5B088D4D45D0DF Time : 0.0 sec. user=mdettweiler [2013-03-10 23:19:05] 873*2^1242435-1 is not prime. Res64: 35AC2AAD0A9727E5 Time : 0.0 sec. user=mdettweiler [2013-03-10 23:19:06] 955*2^1242435-1 is not prime. Res64: E65C093C5022ECE5 Time : 0.0 sec. user=mdettweiler [2013-03-10 23:19:06] 969*2^1242435-1 is not prime. Res64: ACCEB86309EED094 Time : 0.0 sec. user=mdettweiler [2013-03-10 23:19:06] 979*2^1242435-1 is not prime. Res64: F4A2EC5AA2AE418E Time : 0.0 sec. user=juhehe [2013-03-10 23:34:29] 945*2^1242434-1 is not prime. Res64: 789B9951925AA092 Time : 0.0 sec. user=mdettweiler [2013-03-10 23:36:36] 657*2^1242436-1 is not prime. Res64: F940B2523AAE4567 Time : 0.0 sec. user=mdettweiler [2013-03-10 23:36:36] 677*2^1242436-1 is not prime. Res64: 22247D5B52B13FF7 Time : 0.0 sec. user=mdettweiler [2013-03-10 23:36:36] 765*2^1242436-1 is not prime. Res64: 25D436E31258323B Time : 0.0 sec. user=mdettweiler [2013-03-10 23:36:37] 873*2^1242436-1 is not prime. Res64: FC627CE603DEEA22 Time : 0.0 sec. user=vaughan [2013-03-10 23:44:31] 623*2^1242436-1 is not prime. Res64: 40902AF1E97F36CB Time : 0.0 sec. user=mdettweiler [2013-03-10 23:54:06] 957*2^1242436-1 is not prime. Res64: F7029D0D95E95C36 Time : 0.0 sec. user=mdettweiler [2013-03-10 23:54:06] 999*2^1242436-1 is not prime. Res64: 227F7B78700F18B0 Time : 0.0 sec. user=mdettweiler [2013-03-10 23:54:07] 685*2^1242437-1 is not prime. Res64: C97C1B09DA68E50E Time : 0.0 sec. user=mdettweiler [2013-03-10 23:54:07] 697*2^1242437-1 is not prime. Res64: 80FB4F653B7E3598 Time : 0.0 sec.