user=mdettweiler [2013-04-15 00:03:56] 793*2^1244607-1 is not prime. Res64: 1B665AB270D0D988 Time : 0.0 sec. user=mdettweiler [2013-04-15 00:03:58] 831*2^1244607-1 is not prime. Res64: ACA91DAAB59479E4 Time : 0.0 sec. user=mdettweiler [2013-04-15 00:09:39] 871*2^1244607-1 is not prime. Res64: 0E7F0BCEC31FF2D2 Time : 0.0 sec. user=mdettweiler [2013-04-15 00:09:40] 879*2^1244607-1 is not prime. Res64: 726B7C543504C66E Time : 0.0 sec. user=mdettweiler [2013-04-15 00:21:34] 735*2^1244608-1 is not prime. Res64: D8264B0B563D7ABE Time : 0.0 sec. user=mdettweiler [2013-04-15 00:21:34] 747*2^1244608-1 is not prime. Res64: 5E2FC035A9DCD006 Time : 0.0 sec. user=mdettweiler [2013-04-15 00:27:05] 845*2^1244608-1 is not prime. Res64: 2EDEACF1AC0E1E2B Time : 0.0 sec. user=mdettweiler [2013-04-15 00:27:06] 887*2^1244608-1 is not prime. Res64: E55FBC5D92202E5A Time : 0.0 sec. user=juhehe [2013-04-15 00:28:25] 741*2^1244606-1 is not prime. Res64: A294419EEDCA828E Time : 0.0 sec. user=mdettweiler [2013-04-15 00:39:00] 905*2^1244608-1 is not prime. Res64: 239944720563B2BA Time : 0.0 sec. user=mdettweiler [2013-04-15 00:39:01] 959*2^1244608-1 is not prime. Res64: 744D3148280FA3D1 Time : 0.0 sec. user=mdettweiler [2013-04-15 00:44:32] 989*2^1244608-1 is not prime. Res64: 84114D18B7871470 Time : 0.0 sec. user=mdettweiler [2013-04-15 00:44:33] 993*2^1244608-1 is not prime. Res64: 802AB37D5D433FA3 Time : 0.0 sec. user=mdettweiler [2013-04-15 00:56:26] 735*2^1244609-1 is not prime. Res64: 5882FAD9E8902C4F Time : 0.0 sec. user=mdettweiler [2013-04-15 00:56:27] 855*2^1244609-1 is not prime. Res64: 2A2A728C7F5CB2D1 Time : 0.0 sec. user=mdettweiler [2013-04-15 01:01:59] 695*2^1244610-1 is not prime. Res64: CEF1D80842C07878 Time : 0.0 sec. user=mdettweiler [2013-04-15 01:02:00] 711*2^1244610-1 is not prime. Res64: 913069E518302CE0 Time : 0.0 sec. user=mdettweiler [2013-04-15 01:13:52] 783*2^1244610-1 is not prime. Res64: E3B17FB8763883DC Time : 0.0 sec. user=mdettweiler [2013-04-15 01:13:53] 797*2^1244610-1 is not prime. Res64: 432A312F1299F3C9 Time : 0.0 sec. user=mdettweiler [2013-04-15 01:19:47] 821*2^1244610-1 is not prime. Res64: F94F6B34D6D9A041 Time : 0.0 sec. user=mdettweiler [2013-04-15 01:19:48] 957*2^1244610-1 is not prime. Res64: E9F8B087154BECF2 Time : 0.0 sec. user=mdettweiler [2013-04-15 01:31:20] 705*2^1244611-1 is not prime. Res64: EE71F95E9B129508 Time : 0.0 sec. user=mdettweiler [2013-04-15 01:31:20] 735*2^1244611-1 is not prime. Res64: 8C1D3A813FAC1D7F Time : 0.0 sec. user=mdettweiler [2013-04-15 01:37:15] 745*2^1244611-1 is not prime. Res64: 3954C684BFCDAED4 Time : 0.0 sec. user=mdettweiler [2013-04-15 01:37:16] 801*2^1244611-1 is not prime. Res64: FD90DD3BEED13849 Time : 0.0 sec. user=juhehe [2013-04-15 01:41:58] 627*2^1244610-1 is not prime. Res64: 14B521C55EA9B27F Time : 0.0 sec. user=mdettweiler [2013-04-15 01:48:45] 909*2^1244611-1 is not prime. Res64: 5DE7262CC03DD691 Time : 0.0 sec. user=mdettweiler [2013-04-15 01:48:46] 973*2^1244611-1 is not prime. Res64: C747C0320166950E Time : 0.0 sec. user=mdettweiler [2013-04-15 01:54:42] 603*2^1244612-1 is not prime. Res64: 0C779BB032AF7629 Time : 0.0 sec. user=mdettweiler [2013-04-15 01:54:43] 693*2^1244612-1 is not prime. Res64: 09AD71908FBE45C2 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:06:12] 767*2^1244612-1 is not prime. Res64: 53E4F528EF6D55E5 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:06:13] 813*2^1244612-1 is not prime. Res64: 2E4319212DE0E084 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:12:08] 843*2^1244612-1 is not prime. Res64: E29CE058594321B8 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:12:08] 855*2^1244612-1 is not prime. Res64: 64359AAE8A018C15 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:23:44] 875*2^1244612-1 is not prime. Res64: DF3EBEBA9AB395D4 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:23:45] 909*2^1244612-1 is not prime. Res64: E5D608E53FF0910F Time : 0.0 sec. user=juhehe [2013-04-15 02:28:35] 961*2^1244583-1 is not prime. Res64: 09A903240DAE7420 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:29:34] 627*2^1244613-1 is not prime. Res64: 14C15D66E863210D Time : 0.0 sec. user=mdettweiler [2013-04-15 02:29:35] 691*2^1244613-1 is not prime. Res64: CF738D946D8E779A Time : 0.0 sec. user=juhehe [2013-04-15 02:31:19] 813*2^1244611-1 is not prime. Res64: 504C76104BE56468 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:41:13] 735*2^1244613-1 is not prime. Res64: C7CED2D55F9D3902 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:41:14] 889*2^1244613-1 is not prime. Res64: F32AF1077857AC17 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:47:00] 895*2^1244613-1 is not prime. Res64: D1CE204A89EAAD9E Time : 0.0 sec. user=mdettweiler [2013-04-15 02:47:01] 927*2^1244613-1 is not prime. Res64: 14C141FFD902A744 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:58:54] 681*2^1244614-1 is not prime. Res64: F470D32D0BE68107 Time : 0.0 sec. user=mdettweiler [2013-04-15 02:58:54] 827*2^1244614-1 is not prime. Res64: 46909440934C4D89 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:04:27] 857*2^1244614-1 is not prime. Res64: 5F1C244E812FB0D3 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:04:29] 957*2^1244614-1 is not prime. Res64: 2853A737E268CB4B Time : 0.0 sec. user=mdettweiler [2013-04-15 03:16:23] 1001*2^1244614-1 is not prime. Res64: 4411C06D785AA513 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:16:24] 643*2^1244615-1 is not prime. Res64: AD80C69E3B6BC0BC Time : 0.0 sec. user=mdettweiler [2013-04-15 03:21:56] 741*2^1244615-1 is not prime. Res64: F7537DBE12AC0298 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:21:56] 759*2^1244615-1 is not prime. Res64: A2213CB5F3630C77 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:33:53] 859*2^1244615-1 is not prime. Res64: 850AC64A8CA94D28 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:33:54] 909*2^1244615-1 is not prime. Res64: EC4CE6AAEA8B400D Time : 0.0 sec. user=mdettweiler [2013-04-15 03:39:21] 943*2^1244615-1 is not prime. Res64: EC737534615E2EF6 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:39:22] 969*2^1244615-1 is not prime. Res64: E25D0AEC6B153568 Time : 0.0 sec. user=juhehe [2013-04-15 03:45:14] 833*2^1244614-1 is not prime. Res64: 8782E0D92613B9C9 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:51:21] 653*2^1244616-1 is not prime. Res64: 679E25701FE480B2 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:51:22] 689*2^1244616-1 is not prime. Res64: B672873277114AA2 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:56:47] 725*2^1244616-1 is not prime. Res64: 0E9077D16DC289E2 Time : 0.0 sec. user=mdettweiler [2013-04-15 03:56:48] 789*2^1244616-1 is not prime. Res64: EC6F43E0BA3AF96A Time : 0.0 sec. user=mdettweiler [2013-04-15 04:08:49] 909*2^1244616-1 is not prime. Res64: EFF537775D55A7B3 Time : 0.0 sec. user=mdettweiler [2013-04-15 04:08:50] 625*2^1244617-1 is not prime. Res64: 90DA0A302DB2E6C1 Time : 0.0 sec. user=mdettweiler [2013-04-15 04:14:13] 777*2^1244617-1 is not prime. Res64: D4B0D9F9A8DB895B Time : 0.0 sec. user=mdettweiler [2013-04-15 04:14:13] 835*2^1244617-1 is not prime. Res64: 78B0C739C91F6D13 Time : 0.0 sec. user=mdettweiler [2013-04-15 04:26:20] 937*2^1244617-1 is not prime. Res64: AE92BDB3ACB43423 Time : 0.0 sec. user=mdettweiler [2013-04-15 04:26:21] 939*2^1244617-1 is not prime. Res64: 1D0A4E4EAB02EBE6 Time : 0.0 sec. user=mdettweiler [2013-04-15 04:31:40] 997*2^1244617-1 is not prime. Res64: 59D586816F21818A Time : 0.0 sec. user=mdettweiler [2013-04-15 04:31:41] 797*2^1244618-1 is not prime. Res64: 82125BAD33E581F9 Time : 0.0 sec. user=juhehe [2013-04-15 04:34:18] 635*2^1244616-1 is not prime. Res64: 64CA66DA99EF57EC Time : 0.0 sec. user=mdettweiler [2013-04-15 04:43:48] 837*2^1244618-1 is not prime. Res64: 24196AADAFC1F6C4 Time : 0.0 sec. user=mdettweiler [2013-04-15 04:43:49] 963*2^1244618-1 is not prime. Res64: 7DE685490106DE6C Time : 0.0 sec. user=mdettweiler [2013-04-15 04:49:08] 971*2^1244618-1 is not prime. Res64: E256E1929C0F1F59 Time : 0.0 sec. user=mdettweiler [2013-04-15 04:49:09] 669*2^1244619-1 is not prime. Res64: 8BA6D0D985F3C3BC Time : 0.0 sec. user=mdettweiler [2013-04-15 05:01:18] 679*2^1244619-1 is not prime. Res64: E045370FF8ABFC88 Time : 0.0 sec. user=mdettweiler [2013-04-15 05:01:20] 705*2^1244619-1 is not prime. Res64: ADF41DACE16FF2D7 Time : 0.0 sec. user=mdettweiler [2013-04-15 05:06:33] 751*2^1244619-1 is not prime. Res64: 6BBA85BA346BCEF6 Time : 0.0 sec. user=mdettweiler [2013-04-15 05:06:34] 753*2^1244619-1 is not prime. Res64: 83FEB3D88EA9570C Time : 0.0 sec. user=mdettweiler [2013-04-15 05:19:01] 895*2^1244619-1 is not prime. Res64: 5203BE7793623E6E Time : 0.0 sec. user=mdettweiler [2013-04-15 05:19:02] 931*2^1244619-1 is not prime. Res64: DDD11F1D7F128D60 Time : 0.0 sec. user=mdettweiler [2013-04-15 05:23:59] 603*2^1244620-1 is not prime. Res64: 15C7CB02B303DFF3 Time : 0.0 sec. user=mdettweiler [2013-04-15 05:24:00] 675*2^1244620-1 is not prime. Res64: 49AFD56C95F02AF5 Time : 0.0 sec. user=mdettweiler [2013-04-15 05:36:42] 833*2^1244620-1 is not prime. Res64: 04D287C0A50ED603 Time : 0.0 sec. user=mdettweiler [2013-04-15 05:36:43] 839*2^1244620-1 is not prime. Res64: 7835BCDB7EE2EE19 Time : 0.0 sec. user=mdettweiler [2013-04-15 05:41:25] 887*2^1244620-1 is not prime. Res64: ECD7CF17BE1D43C9 Time : 0.0 sec. user=mdettweiler [2013-04-15 05:41:25] 915*2^1244620-1 is not prime. Res64: 802FF2A0509EE299 Time : 0.0 sec. user=juhehe [2013-04-15 05:47:11] 745*2^1244619-1 is not prime. Res64: 2D54B409BE72E54A Time : 0.0 sec. user=mdettweiler [2013-04-15 05:54:08] 607*2^1244621-1 is not prime. Res64: A113564D15D9F95A Time : 0.0 sec. user=mdettweiler [2013-04-15 05:54:08] 685*2^1244621-1 is not prime. Res64: 862C9CCB64DC4F5C Time : 0.0 sec. user=mdettweiler [2013-04-15 05:58:51] 741*2^1244621-1 is not prime. Res64: 1BC6B2DF3701CE66 Time : 0.0 sec. user=mdettweiler [2013-04-15 05:58:51] 871*2^1244621-1 is not prime. Res64: 5871B5469B1626CE Time : 0.0 sec. user=mdettweiler [2013-04-15 06:11:34] 967*2^1244621-1 is not prime. Res64: 09B86F8B657B2259 Time : 0.0 sec. user=mdettweiler [2013-04-15 06:11:35] 705*2^1244622-1 is not prime. Res64: 004580311C5663EC Time : 0.0 sec. user=mdettweiler [2013-04-15 06:16:17] 723*2^1244622-1 is not prime. Res64: EB0E3A51F986B1D7 Time : 0.0 sec. user=mdettweiler [2013-04-15 06:16:17] 725*2^1244622-1 is not prime. Res64: 038EFB51201D29F6 Time : 0.0 sec. user=mdettweiler [2013-04-15 06:29:02] 741*2^1244622-1 is not prime. Res64: 34230E997059FC62 Time : 0.0 sec. user=mdettweiler [2013-04-15 06:29:03] 807*2^1244622-1 is not prime. Res64: D21248E0F303CAF7 Time : 0.0 sec. user=mdettweiler [2013-04-15 06:33:44] 815*2^1244622-1 is not prime. Res64: 1575CDD36F1CCC7B Time : 0.0 sec. user=mdettweiler [2013-04-15 06:33:44] 833*2^1244622-1 is not prime. Res64: 18D896FA8B9B82C5 Time : 0.0 sec. user=juhehe [2013-04-15 06:43:33] 995*2^1244620-1 is not prime. Res64: AAD47D05D770BE0F Time : 0.0 sec. user=mdettweiler [2013-04-15 06:46:28] 893*2^1244622-1 is not prime. Res64: 5CFC6D1D13C77457 Time : 0.0 sec. user=mdettweiler [2013-04-15 06:46:29] 615*2^1244623-1 is not prime. Res64: 242A5417B7CAD89E Time : 0.0 sec. user=mdettweiler [2013-04-15 06:51:11] 693*2^1244623-1 is not prime. Res64: A077EBA6C657B912 Time : 0.0 sec. user=mdettweiler [2013-04-15 06:51:11] 771*2^1244623-1 is not prime. Res64: 015763E04BD1B74E Time : 0.0 sec. user=mdettweiler [2013-04-15 07:03:54] 855*2^1244623-1 is not prime. Res64: 6A90354F5D5E21D7 Time : 0.0 sec. user=mdettweiler [2013-04-15 07:03:55] 945*2^1244623-1 is not prime. Res64: BB9192B2C86B9D0D Time : 0.0 sec. user=mdettweiler [2013-04-15 07:08:37] 789*2^1244624-1 is not prime. Res64: 4CEB793A16037916 Time : 0.0 sec. user=mdettweiler [2013-04-15 07:08:38] 825*2^1244624-1 is not prime. Res64: C7115F804EFEEBBB Time : 0.0 sec. user=mdettweiler [2013-04-15 07:21:23] 897*2^1244624-1 is not prime. Res64: 62CE88A23201011D Time : 0.0 sec. user=mdettweiler [2013-04-15 07:21:23] 899*2^1244624-1 is not prime. Res64: 25DBD4C5C6F8D9A0 Time : 0.0 sec. user=mdettweiler [2013-04-15 07:26:04] 923*2^1244624-1 is not prime. Res64: D23506FC5CC1F0A1 Time : 0.0 sec. user=mdettweiler [2013-04-15 07:26:05] 929*2^1244624-1 is not prime. Res64: 4366BCCA2F299A51 Time : 0.0 sec. user=mdettweiler [2013-04-15 07:38:48] 609*2^1244625-1 is not prime. Res64: 3DA2F9EBABE2116A Time : 0.0 sec. user=mdettweiler [2013-04-15 07:38:49] 699*2^1244625-1 is not prime. Res64: F4338581DD311891 Time : 0.0 sec. user=mdettweiler [2013-04-15 07:43:30] 705*2^1244625-1 is not prime. Res64: 9C8626CCB1728242 Time : 0.0 sec. user=mdettweiler [2013-04-15 07:43:30] 709*2^1244625-1 is not prime. Res64: 6C79015F3DEBA677 Time : 0.0 sec. user=juhehe [2013-04-15 07:49:48] 617*2^1244624-1 is not prime. Res64: BBB2BD094BCA31C0 Time : 0.0 sec. user=mdettweiler [2013-04-15 07:56:15] 717*2^1244625-1 is not prime. Res64: 803EB258A334989E Time : 0.0 sec. user=mdettweiler [2013-04-15 07:56:15] 819*2^1244625-1 is not prime. Res64: 6C494FB57ACF354E Time : 0.0 sec. user=mdettweiler [2013-04-15 08:00:56] 861*2^1244625-1 is not prime. Res64: 6C491E6D2ADA6165 Time : 0.0 sec. user=mdettweiler [2013-04-15 08:00:57] 891*2^1244625-1 is not prime. Res64: A323D4FBDBD89297 Time : 0.0 sec. user=mdettweiler [2013-04-15 08:13:41] 969*2^1244625-1 is not prime. Res64: 8D2DEAD7D6F869FB Time : 0.0 sec. user=mdettweiler [2013-04-15 08:13:41] 635*2^1244626-1 is not prime. Res64: 482ED50A42AF309B Time : 0.0 sec. user=mdettweiler [2013-04-15 08:18:24] 701*2^1244626-1 is not prime. Res64: 7497459B7F8DE49B Time : 0.0 sec. user=mdettweiler [2013-04-15 08:18:25] 705*2^1244626-1 is not prime. Res64: C57F13BE5FB76C51 Time : 0.0 sec. user=mdettweiler [2013-04-15 08:31:10] 713*2^1244626-1 is not prime. Res64: 5CD925C96612F870 Time : 0.0 sec. user=mdettweiler [2013-04-15 08:31:11] 777*2^1244626-1 is not prime. Res64: 71D6D3E092F949A4 Time : 0.0 sec. user=mdettweiler [2013-04-15 08:35:49] 813*2^1244626-1 is not prime. Res64: 699EA0A5690A94B3 Time : 0.0 sec. user=mdettweiler [2013-04-15 08:35:49] 917*2^1244626-1 is not prime. Res64: 1E89752A6E9302A2 Time : 0.0 sec. user=juhehe [2013-04-15 08:46:07] 915*2^1244625-1 is not prime. Res64: EDD3C780CC0BCC27 Time : 0.0 sec. user=mdettweiler [2013-04-15 08:48:36] 655*2^1244627-1 is not prime. Res64: 42001F09A9BB1ABC Time : 0.0 sec. user=mdettweiler [2013-04-15 08:48:36] 675*2^1244627-1 is not prime. Res64: 7CB00B428F118BCB Time : 0.0 sec. user=mdettweiler [2013-04-15 08:53:15] 735*2^1244627-1 is not prime. Res64: FEE2320CC1F9A5F1 Time : 0.0 sec. user=mdettweiler [2013-04-15 08:53:15] 825*2^1244627-1 is not prime. Res64: 7DDD79A360A2BFAF Time : 0.0 sec. user=mdettweiler [2013-04-15 09:06:03] 879*2^1244627-1 is not prime. Res64: 8B6FBB09B10A570A Time : 0.0 sec. user=mdettweiler [2013-04-15 09:06:04] 931*2^1244627-1 is not prime. Res64: 2BC2A6725DAAA6EA Time : 0.0 sec. user=mdettweiler [2013-04-15 09:10:41] 765*2^1244628-1 is not prime. Res64: 677D904E960741E1 Time : 0.0 sec. user=mdettweiler [2013-04-15 09:10:42] 777*2^1244628-1 is not prime. Res64: 7A41B6788EFC2B62 Time : 0.0 sec. user=mdettweiler [2013-04-15 09:23:34] 945*2^1244628-1 is not prime. Res64: F81DC5CADA2C9534 Time : 0.0 sec. user=mdettweiler [2013-04-15 09:23:34] 615*2^1244629-1 is not prime. Res64: 60B4BF235ECD76BD Time : 0.0 sec. user=mdettweiler [2013-04-15 09:28:06] 687*2^1244629-1 is not prime. Res64: 6B0963A34C7A58BD Time : 0.0 sec. user=mdettweiler [2013-04-15 09:28:07] 861*2^1244629-1 is not prime. Res64: 416F51A91E266ACA Time : 0.0 sec. user=mdettweiler [2013-04-15 09:41:00] 919*2^1244629-1 is not prime. Res64: 07D963AEA26779DC Time : 0.0 sec. user=mdettweiler [2013-04-15 09:41:01] 939*2^1244629-1 is not prime. Res64: ABBBE39719C7E944 Time : 0.0 sec. user=mdettweiler [2013-04-15 09:45:32] 975*2^1244629-1 is not prime. Res64: B3E5EF2EF259C1E8 Time : 0.0 sec. user=mdettweiler [2013-04-15 09:45:32] 641*2^1244630-1 is not prime. Res64: ACA9917710373A08 Time : 0.0 sec. user=mdettweiler [2013-04-15 09:58:26] 707*2^1244630-1 is not prime. Res64: 0C24DEEB0D0A0668 Time : 0.0 sec. user=mdettweiler [2013-04-15 09:58:27] 741*2^1244630-1 is not prime. Res64: 4E00575115607898 Time : 0.0 sec. user=juhehe [2013-04-15 09:59:18] 963*2^1244627-1 is not prime. Res64: 72447D3D4AA800A4 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:02:57] 773*2^1244630-1 is not prime. Res64: 5E11E9F21DE6D0D5 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:02:58] 801*2^1244630-1 is not prime. Res64: 2A62EF3BE6D5CBE8 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:15:50] 923*2^1244630-1 is not prime. Res64: 2C6BB7D3BA3AE4D3 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:15:51] 987*2^1244630-1 is not prime. Res64: 2C29B1AD741A2C4C Time : 0.0 sec. user=mdettweiler [2013-04-15 10:20:25] 669*2^1244631-1 is not prime. Res64: 2E9FA1B630560289 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:20:26] 703*2^1244631-1 is not prime. Res64: 1EAA78D0FAC7F0A3 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:33:20] 709*2^1244631-1 is not prime. Res64: 28509207D0BCF3E3 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:33:20] 763*2^1244631-1 is not prime. Res64: 2CFAEE49C50DDC22 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:37:52] 795*2^1244631-1 is not prime. Res64: 78F809C1C694B50E Time : 0.0 sec. user=mdettweiler [2013-04-15 10:37:53] 895*2^1244631-1 is not prime. Res64: DC4A29ED77103497 Time : 0.0 sec. user=juhehe [2013-04-15 10:48:12] 893*2^1244630-1 is not prime. Res64: F83FB39FE7AF504B Time : 0.0 sec. user=mdettweiler [2013-04-15 10:50:45] 615*2^1244632-1 is not prime. Res64: E3EE7E1CE9205859 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:50:45] 645*2^1244632-1 is not prime. Res64: 7F8233DD8ADBDD22 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:55:19] 693*2^1244632-1 is not prime. Res64: 95386E7CA76D24D1 Time : 0.0 sec. user=mdettweiler [2013-04-15 10:55:19] 779*2^1244632-1 is not prime. Res64: F49E65892631C9BF Time : 0.0 sec. user=mdettweiler [2013-04-15 11:08:10] 833*2^1244632-1 is not prime. Res64: F24907D4E0104512 Time : 0.0 sec. user=mdettweiler [2013-04-15 11:08:11] 849*2^1244632-1 is not prime. Res64: 028682E6DBD53FB2 Time : 0.0 sec. user=mdettweiler [2013-04-15 11:12:44] 903*2^1244632-1 is not prime. Res64: 8F8DE47E6A28CB43 Time : 0.0 sec. user=mdettweiler [2013-04-15 11:12:45] 957*2^1244632-1 is not prime. Res64: A6CC110DBF233F7D Time : 0.0 sec. user=mdettweiler [2013-04-15 11:25:37] 697*2^1244633-1 is not prime. Res64: 74DF146AF13AA170 Time : 0.0 sec. user=mdettweiler [2013-04-15 11:25:38] 729*2^1244633-1 is not prime. Res64: 1126250A40D29D29 Time : 0.0 sec. user=mdettweiler [2013-04-15 11:30:12] 787*2^1244633-1 is not prime. Res64: 4A2072740091E8BA Time : 0.0 sec. user=mdettweiler [2013-04-15 11:30:13] 925*2^1244633-1 is not prime. Res64: 038D3184F9DB6CB3 Time : 0.0 sec. user=mdettweiler [2013-04-15 11:43:02] 949*2^1244633-1 is not prime. Res64: 7327B7BC114E1370 Time : 0.0 sec. user=mdettweiler [2013-04-15 11:43:03] 955*2^1244633-1 is not prime. Res64: 23665D443CE285C6 Time : 0.0 sec. user=mdettweiler [2013-04-15 11:47:39] 663*2^1244634-1 is not prime. Res64: 741D1D96CBCA0C87 Time : 0.0 sec. user=mdettweiler [2013-04-15 11:47:39] 683*2^1244634-1 is not prime. Res64: 4D4AC01287E23BAA Time : 0.0 sec. user=mdettweiler [2013-04-15 12:00:27] 755*2^1244634-1 is not prime. Res64: 9466F4CF3750C4C0 Time : 0.0 sec. user=mdettweiler [2013-04-15 12:00:29] 767*2^1244634-1 is not prime. Res64: 6F2B321869E57DA1 Time : 0.0 sec. user=juhehe [2013-04-15 12:02:24] 607*2^1244633-1 is not prime. Res64: B8B03CCE88488739 Time : 0.0 sec. user=mdettweiler [2013-04-15 12:05:05] 797*2^1244634-1 is not prime. Res64: 6E6427DFD01A98EB Time : 0.0 sec. user=mdettweiler [2013-04-15 12:05:06] 803*2^1244634-1 is not prime. Res64: E328E6DC73B6F68F Time : 0.0 sec. user=mdettweiler [2013-04-15 12:17:57] 633*2^1244635-1 is not prime. Res64: A9EBAEECE4CE256A Time : 0.0 sec. user=mdettweiler [2013-04-15 12:17:57] 673*2^1244635-1 is not prime. Res64: EB777ADF4D51DB01 Time : 0.0 sec. user=mdettweiler [2013-04-15 12:22:37] 679*2^1244635-1 is not prime. Res64: BF79E90796AB5CFA Time : 0.0 sec. user=mdettweiler [2013-04-15 12:22:39] 709*2^1244635-1 is not prime. Res64: 32DB5CDE7408ACE9 Time : 0.0 sec. user=mdettweiler [2013-04-15 12:35:23] 733*2^1244635-1 is not prime. Res64: D7C047412100AF90 Time : 0.0 sec. user=mdettweiler [2013-04-15 12:35:24] 783*2^1244635-1 is not prime. Res64: 75969EC338604E9F Time : 0.0 sec. user=mdettweiler [2013-04-15 12:40:15] 793*2^1244635-1 is not prime. Res64: AF2AEC3272F4E7DD Time : 0.0 sec. user=mdettweiler [2013-04-15 12:40:16] 855*2^1244635-1 is not prime. Res64: EF026AF2FF9542A9 Time : 0.0 sec. user=juhehe [2013-04-15 12:50:28] 917*2^1244634-1 is not prime. Res64: 3751E61490BB703F Time : 0.0 sec. user=mdettweiler [2013-04-15 12:52:53] 633*2^1244636-1 is not prime. Res64: 11DFFBC442474942 Time : 0.0 sec. user=mdettweiler [2013-04-15 12:52:53] 755*2^1244636-1 is not prime. Res64: 17AF4CE6BAAD96A7 Time : 0.0 sec. user=mdettweiler [2013-04-15 12:57:49] 869*2^1244636-1 is not prime. Res64: DB882B7E0929D747 Time : 0.0 sec. user=mdettweiler [2013-04-15 12:57:49] 969*2^1244636-1 is not prime. Res64: 1AE76AD9FCD5D013 Time : 0.0 sec. user=juhehe [2013-04-15 13:06:34] 939*2^1244635-1 is not prime. Res64: 3EB1E1C4ABD87459 Time : 0.0 sec. user=mdettweiler [2013-04-15 13:10:30] 669*2^1244637-1 is not prime. Res64: 5DFFA569F8F20FF5 Time : 0.0 sec. user=mdettweiler [2013-04-15 13:10:31] 685*2^1244637-1 is not prime. Res64: EEEAB05737E0617F Time : 0.0 sec. user=mdettweiler [2013-04-15 13:15:25] 781*2^1244637-1 is not prime. Res64: 3CB18FD4E13764B0 Time : 0.0 sec. user=mdettweiler [2013-04-15 13:15:25] 975*2^1244637-1 is not prime. Res64: D577A3F02C4E2F5F Time : 0.0 sec. user=mdettweiler [2013-04-15 13:28:06] 635*2^1244638-1 is not prime. Res64: 157DC05FF71E3837 Time : 0.0 sec. user=mdettweiler [2013-04-15 13:28:06] 657*2^1244638-1 is not prime. Res64: B3535FC323E55CD5 Time : 0.0 sec. user=mdettweiler [2013-04-15 13:33:05] 665*2^1244638-1 is not prime. Res64: 913EED3151993742 Time : 0.0 sec. user=mdettweiler [2013-04-15 13:33:05] 695*2^1244638-1 is not prime. Res64: E65B3BBE438199B6 Time : 0.0 sec. user=mdettweiler [2013-04-15 13:45:46] 713*2^1244638-1 is not prime. Res64: B3748A6A553A4DA0 Time : 0.0 sec. user=mdettweiler [2013-04-15 13:45:46] 791*2^1244638-1 is not prime. Res64: 199A17B37ED9F243 Time : 0.0 sec. user=mdettweiler [2013-04-15 13:50:45] 881*2^1244638-1 is not prime. Res64: DC791618CB01FB89 Time : 0.0 sec. user=mdettweiler [2013-04-15 13:50:45] 995*2^1244638-1 is not prime. Res64: 832303D72A547AEC Time : 0.0 sec. user=mdettweiler [2013-04-15 14:03:23] 619*2^1244639-1 is not prime. Res64: 3B3D410DB10210C9 Time : 0.0 sec. user=mdettweiler [2013-04-15 14:03:24] 655*2^1244639-1 is not prime. Res64: 4988B4F57C7AB9C2 Time : 0.0 sec. user=mdettweiler [2013-04-15 14:08:21] 711*2^1244639-1 is not prime. Res64: C052B237E54DE2DD Time : 0.0 sec. user=mdettweiler [2013-04-15 14:08:21] 729*2^1244639-1 is not prime. Res64: 0D43FB495026B53F Time : 0.0 sec. user=juhehe [2013-04-15 14:11:51] 979*2^1244637-1 is not prime. Res64: 316B3E3AE5CC4E15 Time : 0.0 sec. user=mdettweiler [2013-04-15 14:21:04] 865*2^1244639-1 is not prime. Res64: 8646FF629599D7AC Time : 0.0 sec. user=mdettweiler [2013-04-15 14:21:04] 973*2^1244639-1 is not prime. Res64: 8842086BCA2A9F2B Time : 0.0 sec. user=mdettweiler [2013-04-15 14:25:59] 629*2^1244640-1 is not prime. Res64: BBE022EB5D82CB27 Time : 0.0 sec. user=mdettweiler [2013-04-15 14:25:59] 669*2^1244640-1 is not prime. Res64: B37598B8108C4325 Time : 0.0 sec. user=mdettweiler [2013-04-15 14:38:42] 675*2^1244640-1 is not prime. Res64: EC49F78075397B9B Time : 0.0 sec. user=mdettweiler [2013-04-15 14:38:43] 747*2^1244640-1 is not prime. Res64: AA7E040D7FAE428E Time : 0.0 sec. user=mdettweiler [2013-04-15 14:43:36] 765*2^1244640-1 is not prime. Res64: 837206DE8462D005 Time : 0.0 sec. user=mdettweiler [2013-04-15 14:43:36] 789*2^1244640-1 is not prime. Res64: A5AB756CC9F69FEE Time : 0.0 sec. user=juhehe [2013-04-15 14:53:41] 693*2^1244639-1 is not prime. Res64: 2CE473F9860C9570 Time : 0.0 sec. user=mdettweiler [2013-04-15 14:56:21] 639*2^1244641-1 is not prime. Res64: 220DF58B568648D1 Time : 0.0 sec. user=mdettweiler [2013-04-15 14:56:21] 727*2^1244641-1 is not prime. Res64: 50008E3D97A67629 Time : 0.0 sec. user=juhehe [2013-04-15 14:58:12] 887*2^1244640-1 is not prime. Res64: ABA5FFCE2A891847 Time : 0.0 sec. user=mdettweiler [2013-04-15 15:01:14] 769*2^1244641-1 is not prime. Res64: E309341C9E77E8ED Time : 0.0 sec. user=mdettweiler [2013-04-15 15:01:15] 771*2^1244641-1 is not prime. Res64: 90C358586FBE3DF2 Time : 0.0 sec. user=mdettweiler [2013-04-15 15:13:59] 777*2^1244641-1 is not prime. Res64: 9913EFE986A4E74E Time : 0.0 sec. user=mdettweiler [2013-04-15 15:13:59] 931*2^1244641-1 is not prime. Res64: 1E5DF5F27C79F61A Time : 0.0 sec. user=mdettweiler [2013-04-15 15:18:53] 731*2^1244642-1 is not prime. Res64: AE2AADCD6B0C9930 Time : 0.0 sec. user=mdettweiler [2013-04-15 15:18:53] 735*2^1244642-1 is not prime. Res64: C336E48F3C4848CC Time : 0.0 sec. user=juhehe [2013-04-15 15:26:42] 939*2^1244641-1 is not prime. Res64: E6A4201E9601771F Time : 0.0 sec. user=mdettweiler [2013-04-15 15:31:37] 867*2^1244642-1 is not prime. Res64: 09C26D1BB4B0997D Time : 0.0 sec. user=mdettweiler [2013-04-15 15:31:37] 887*2^1244642-1 is not prime. Res64: 0DDBCCAB8E1CB90A Time : 0.0 sec. user=mdettweiler [2013-04-15 15:36:30] 977*2^1244642-1 is not prime. Res64: 6664528F94B72899 Time : 0.0 sec. user=mdettweiler [2013-04-15 15:36:31] 643*2^1244643-1 is not prime. Res64: 3189DD69224BD339 Time : 0.0 sec. user=mdettweiler [2013-04-15 15:49:16] 649*2^1244643-1 is not prime. Res64: CA66E815A790B0F6 Time : 0.0 sec. user=mdettweiler [2013-04-15 15:49:16] 679*2^1244643-1 is not prime. Res64: DDEE1D5A5F1424AC Time : 0.0 sec. user=mdettweiler [2013-04-15 15:54:08] 871*2^1244643-1 is not prime. Res64: EC607D323DAEBE62 Time : 0.0 sec. user=mdettweiler [2013-04-15 15:54:09] 885*2^1244643-1 is not prime. Res64: 356DCF0060C6D7F2 Time : 0.0 sec. user=mdettweiler [2013-04-15 16:06:55] 895*2^1244643-1 is not prime. Res64: D4D5739CEE3A9DF2 Time : 0.0 sec. user=mdettweiler [2013-04-15 16:06:55] 695*2^1244644-1 is not prime. Res64: 6A544BD31C74409E Time : 0.0 sec. user=mdettweiler [2013-04-15 16:11:46] 903*2^1244644-1 is not prime. Res64: 3E3BF44FF7479F13 Time : 0.0 sec. user=mdettweiler [2013-04-15 16:11:47] 649*2^1244645-1 is not prime. Res64: 4358D3CF898869EC Time : 0.0 sec. user=juhehe [2013-04-15 16:14:58] 837*2^1244642-1 is not prime. Res64: 1BAF1D558D062FD2 Time : 0.0 sec. user=mdettweiler [2013-04-15 16:24:37] 717*2^1244645-1 is not prime. Res64: 90AA7DF1E9B2FE78 Time : 0.0 sec. user=mdettweiler [2013-04-15 16:24:38] 777*2^1244645-1 is not prime. Res64: 01CE97E8C0E7A42B Time : 0.0 sec. user=mdettweiler [2013-04-15 16:29:24] 925*2^1244645-1 is not prime. Res64: D76D6D1244F53359 Time : 0.0 sec. user=mdettweiler [2013-04-15 16:29:24] 693*2^1244646-1 is not prime. Res64: DEBA9CE416D445F5 Time : 0.0 sec. user=mdettweiler [2013-04-15 16:42:25] 707*2^1244646-1 is not prime. Res64: 0DBA8161629155CF Time : 0.0 sec. user=mdettweiler [2013-04-15 16:42:25] 833*2^1244646-1 is not prime. Res64: A175DA5F0E54882A Time : 0.0 sec. user=mdettweiler [2013-04-15 16:47:12] 861*2^1244646-1 is not prime. Res64: A864A48F4197DF00 Time : 0.0 sec. user=mdettweiler [2013-04-15 16:47:12] 891*2^1244646-1 is not prime. Res64: E91607FE78562E6E Time : 0.0 sec. user=juhehe [2013-04-15 16:55:52] 833*2^1244644-1 is not prime. Res64: CAE044599A15027C Time : 0.0 sec. user=mdettweiler [2013-04-15 17:00:42] 1001*2^1244646-1 is not prime. Res64: 34200D470028E053 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:00:43] 861*2^1244647-1 is not prime. Res64: BC6A1D37FFC15F7D Time : 0.0 sec. user=mdettweiler [2013-04-15 17:05:30] 915*2^1244647-1 is not prime. Res64: 2895AE556F035908 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:05:31] 925*2^1244647-1 is not prime. Res64: 446824436F1D79B1 Time : 0.0 sec. user=juhehe [2013-04-15 17:17:05] 665*2^1244648-1 is not prime. Res64: 4F1A9B5004CB277B Time : 0.0 sec. user=mdettweiler [2013-04-15 17:19:11] 743*2^1244648-1 is not prime. Res64: A9544470513F18F2 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:19:12] 789*2^1244648-1 is not prime. Res64: E6E6B2062010AFDB Time : 0.0 sec. user=mdettweiler [2013-04-15 17:23:47] 795*2^1244648-1 is not prime. Res64: 23BF8E8C9AA0BD68 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:23:48] 827*2^1244648-1 is not prime. Res64: C6B0581A68FDC372 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:37:17] 837*2^1244648-1 is not prime. Res64: 8A7029B8164F1C02 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:37:18] 843*2^1244648-1 is not prime. Res64: 1C815ADDF05592E7 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:41:49] 915*2^1244648-1 is not prime. Res64: EF4D27F5455A8667 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:41:50] 999*2^1244648-1 is not prime. Res64: 888536F7D8342EBE Time : 0.0 sec. user=mdettweiler [2013-04-15 17:55:20] 667*2^1244649-1 is not prime. Res64: A2304F47705DCA57 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:55:20] 747*2^1244649-1 is not prime. Res64: 9F1D89AC292C1595 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:59:50] 781*2^1244649-1 is not prime. Res64: E173E0566DE47971 Time : 0.0 sec. user=mdettweiler [2013-04-15 17:59:51] 789*2^1244649-1 is not prime. Res64: DA2D0AAB90F8FA9E Time : 0.0 sec. user=mdettweiler [2013-04-15 18:13:11] 723*2^1244650-1 is not prime. Res64: B724E886156626B8 Time : 0.0 sec. user=mdettweiler [2013-04-15 18:13:12] 735*2^1244650-1 is not prime. Res64: 41B5666E417BF19A Time : 0.0 sec. user=mdettweiler [2013-04-15 18:17:40] 813*2^1244650-1 is not prime. Res64: B7873EA12A374388 Time : 0.0 sec. user=mdettweiler [2013-04-15 18:17:40] 825*2^1244650-1 is not prime. Res64: 69673BB77223E990 Time : 0.0 sec. user=juhehe [2013-04-15 18:18:09] 833*2^1244648-1 is not prime. Res64: 7A6876A92B8CE7FA Time : 0.0 sec. user=mdettweiler [2013-04-15 18:31:02] 915*2^1244650-1 is not prime. Res64: 5009E70E58789ACC Time : 0.0 sec. user=mdettweiler [2013-04-15 18:31:02] 945*2^1244650-1 is not prime. Res64: B1FED2FD97ABAF39 Time : 0.0 sec. user=mdettweiler [2013-04-15 18:35:31] 703*2^1244651-1 is not prime. Res64: FB1C883CD71BE50E Time : 0.0 sec. user=mdettweiler [2013-04-15 18:35:31] 745*2^1244651-1 is not prime. Res64: D924692189E01685 Time : 0.0 sec. user=mdettweiler [2013-04-15 18:48:47] 811*2^1244651-1 is not prime. Res64: 9F1B7BE403D273F3 Time : 0.0 sec. user=mdettweiler [2013-04-15 18:48:47] 605*2^1244652-1 is not prime. Res64: 267128514111B255 Time : 0.0 sec. user=mdettweiler [2013-04-15 18:53:16] 647*2^1244652-1 is not prime. Res64: 8DC95125DAA7E2B9 Time : 0.0 sec. user=mdettweiler [2013-04-15 18:53:16] 669*2^1244652-1 is not prime. Res64: D15BE2EB58151779 Time : 0.0 sec. user=juhehe [2013-04-15 18:58:25] 743*2^1244650-1 is not prime. Res64: 5F69FB5C3EA5EBCB Time : 0.0 sec. user=mdettweiler [2013-04-15 19:06:36] 825*2^1244652-1 is not prime. Res64: 995ED960501C3459 Time : 0.0 sec. user=mdettweiler [2013-04-15 19:06:37] 721*2^1244653-1 is not prime. Res64: EA4652BF77AFCD62 Time : 0.0 sec. user=mdettweiler [2013-04-15 19:11:11] 729*2^1244653-1 is not prime. Res64: 187BA48715471EBA Time : 0.0 sec. user=mdettweiler [2013-04-15 19:11:11] 751*2^1244653-1 is not prime. Res64: FFC0BCEC1E567306 Time : 0.0 sec. user=mdettweiler [2013-04-15 19:24:44] 819*2^1244653-1 is not prime. Res64: 42D9DD5104306346 Time : 0.0 sec. user=mdettweiler [2013-04-15 19:24:45] 945*2^1244653-1 is not prime. Res64: 9AA451F9D3F619EB Time : 0.0 sec. user=mdettweiler [2013-04-15 19:29:19] 615*2^1244654-1 is not prime. Res64: B3AA970B3987C141 Time : 0.0 sec. user=mdettweiler [2013-04-15 19:29:19] 641*2^1244654-1 is not prime. Res64: B1435BC540B65C8D Time : 0.0 sec. user=mdettweiler [2013-04-15 19:42:37] 705*2^1244654-1 is not prime. Res64: 5E4E43C5FA0431D0 Time : 0.0 sec. user=mdettweiler [2013-04-15 19:42:38] 711*2^1244654-1 is not prime. Res64: 552D291099C26A0C Time : 0.0 sec. user=mdettweiler [2013-04-15 19:47:09] 753*2^1244654-1 is not prime. Res64: 5CB3774751A14C19 Time : 0.0 sec. user=mdettweiler [2013-04-15 19:47:10] 873*2^1244654-1 is not prime. Res64: 658AAE21C5AE2782 Time : 0.0 sec. user=mdettweiler [2013-04-15 20:00:23] 917*2^1244654-1 is not prime. Res64: 033ABC4FFDAB99D0 Time : 0.0 sec. user=mdettweiler [2013-04-15 20:00:25] 663*2^1244655-1 is not prime. Res64: B01E1D29C59A3DD5 Time : 0.0 sec. user=mdettweiler [2013-04-15 20:04:56] 691*2^1244655-1 is not prime. Res64: FA8F5E7846479AAE Time : 0.0 sec. user=mdettweiler [2013-04-15 20:04:57] 781*2^1244655-1 is not prime. Res64: FD21EA8BE098CBEA Time : 0.0 sec. user=mdettweiler [2013-04-15 20:18:13] 609*2^1244656-1 is not prime. Res64: 29C8B4F9C7E53055 Time : 0.0 sec. user=mdettweiler [2013-04-15 20:18:13] 855*2^1244656-1 is not prime. Res64: 2AB4715D1BB9F5CE Time : 0.0 sec. user=juhehe [2013-04-15 20:21:10] 693*2^1244654-1 is not prime. Res64: 4911E6AEF7445C7F Time : 0.0 sec. user=mdettweiler [2013-04-15 20:22:46] 957*2^1244656-1 is not prime. Res64: BB4C83C975FEDEE3 Time : 0.0 sec. user=mdettweiler [2013-04-15 20:22:47] 607*2^1244657-1 is not prime. Res64: FC30E6F95B40B2DB Time : 0.0 sec. user=mdettweiler [2013-04-15 20:36:05] 759*2^1244657-1 is not prime. Res64: BFBFD993CCC0ED0D Time : 0.0 sec. user=mdettweiler [2013-04-15 20:36:05] 795*2^1244657-1 is not prime. Res64: 9381C9FD85D901B7 Time : 0.0 sec. user=mdettweiler [2013-04-15 20:40:40] 605*2^1244658-1 is not prime. Res64: 42EAED0898AEA697 Time : 0.0 sec. user=mdettweiler [2013-04-15 20:40:40] 611*2^1244658-1 is not prime. Res64: 78D663F2031373A1 Time : 0.0 sec. user=mdettweiler [2013-04-15 20:53:59] 731*2^1244658-1 is not prime. Res64: E193F1A9D0728497 Time : 0.0 sec. user=mdettweiler [2013-04-15 20:53:59] 737*2^1244658-1 is not prime. Res64: B8EE058E69DE6D61 Time : 0.0 sec. user=mdettweiler [2013-04-15 20:58:31] 923*2^1244658-1 is not prime. Res64: AA4D7A88BE2E3EAE Time : 0.0 sec. user=mdettweiler [2013-04-15 20:58:31] 927*2^1244658-1 is not prime. Res64: C54AF2B2C6D92096 Time : 0.0 sec. user=juhehe [2013-04-15 21:07:09] 979*2^1244655-1 is not prime. Res64: C02AEA326614F1EA Time : 0.0 sec. user=mdettweiler [2013-04-15 21:11:48] 933*2^1244658-1 is not prime. Res64: 79C82E20535170EF Time : 0.0 sec. user=mdettweiler [2013-04-15 21:11:48] 975*2^1244658-1 is not prime. Res64: 39695C5AEE2A987E Time : 0.0 sec. user=mdettweiler [2013-04-15 21:16:19] 601*2^1244659-1 is not prime. Res64: A91F37F96FFB765B Time : 0.0 sec. user=mdettweiler [2013-04-15 21:16:19] 615*2^1244659-1 is not prime. Res64: 645918B19818D69B Time : 0.0 sec. user=mdettweiler [2013-04-15 21:29:53] 631*2^1244659-1 is not prime. Res64: 90B1C0D1D99EC0CD Time : 0.0 sec. user=mdettweiler [2013-04-15 21:29:54] 775*2^1244659-1 is not prime. Res64: A4EE91FEB30188EB Time : 0.0 sec. user=mdettweiler [2013-04-15 21:34:26] 843*2^1244659-1 is not prime. Res64: 3303C846D753E8FF Time : 0.0 sec. user=mdettweiler [2013-04-15 21:34:26] 909*2^1244659-1 is not prime. Res64: AF2A3FB17ACF823B Time : 0.0 sec. user=mdettweiler [2013-04-15 21:47:46] 839*2^1244660-1 is not prime. Res64: D2DEE453DCFCBF88 Time : 0.0 sec. user=mdettweiler [2013-04-15 21:47:47] 855*2^1244660-1 is not prime. Res64: 1B4E6F5642DF2845 Time : 0.0 sec. user=mdettweiler [2013-04-15 21:52:22] 893*2^1244660-1 is not prime. Res64: 3097786F15BB726B Time : 0.0 sec. user=mdettweiler [2013-04-15 21:52:22] 607*2^1244661-1 is not prime. Res64: C3BC85DF1DFAB347 Time : 0.0 sec. user=mdettweiler [2013-04-15 22:05:54] 741*2^1244661-1 is not prime. Res64: C966E34484CA8A8E Time : 0.0 sec. user=mdettweiler [2013-04-15 22:05:54] 837*2^1244661-1 is not prime. Res64: 681CB3FBE736AA9D Time : 0.0 sec. user=mdettweiler [2013-04-15 22:10:29] 945*2^1244661-1 is not prime. Res64: FB4401DFA6F00720 Time : 0.0 sec. user=mdettweiler [2013-04-15 22:10:30] 951*2^1244661-1 is not prime. Res64: 638C1AA492B85B84 Time : 0.0 sec. user=mdettweiler [2013-04-15 22:24:04] 997*2^1244661-1 is not prime. Res64: D7E072C3418EA1FF Time : 0.0 sec. user=mdettweiler [2013-04-15 22:24:04] 621*2^1244662-1 is not prime. Res64: 6232B86DB84321BB Time : 0.0 sec. user=mdettweiler [2013-04-15 22:28:40] 873*2^1244662-1 is not prime. Res64: 328B1917BB8E162F Time : 0.0 sec. user=mdettweiler [2013-04-15 22:28:40] 945*2^1244662-1 is not prime. Res64: C9CC940705FD4957 Time : 0.0 sec. user=juhehe [2013-04-15 22:30:04] 969*2^1244659-1 is not prime. Res64: C12F13ED9E9F064B Time : 0.0 sec. user=mdettweiler [2013-04-15 22:41:58] 609*2^1244663-1 is not prime. Res64: 706EEF635E3050DB Time : 0.0 sec. user=mdettweiler [2013-04-15 22:41:59] 855*2^1244663-1 is not prime. Res64: DE5D0FA4FD97076D Time : 0.0 sec. user=mdettweiler [2013-04-15 22:46:35] 615*2^1244664-1 is not prime. Res64: D404FD324D8CA321 Time : 0.0 sec. user=mdettweiler [2013-04-15 22:46:35] 717*2^1244664-1 is not prime. Res64: 3992B8681AAFCFE9 Time : 0.0 sec. user=mdettweiler [2013-04-15 22:59:58] 789*2^1244664-1 is not prime. Res64: 9C978C14A24B54CF Time : 0.0 sec. user=mdettweiler [2013-04-15 22:59:59] 903*2^1244664-1 is not prime. Res64: 8EC4AC94E959EC57 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:04:29] 917*2^1244664-1 is not prime. Res64: 7DD187332405F243 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:04:30] 957*2^1244664-1 is not prime. Res64: CE30551C3EA66D88 Time : 0.0 sec. user=juhehe [2013-04-15 23:10:28] 825*2^1244662-1 is not prime. Res64: AB66CF8E1FDDF76E Time : 0.0 sec. user=mdettweiler [2013-04-15 23:17:46] 975*2^1244664-1 is not prime. Res64: C4E62AF7B7278568 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:17:46] 609*2^1244665-1 is not prime. Res64: 2563E067FEBC3E22 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:22:15] 679*2^1244665-1 is not prime. Res64: 08CF7FB54E251BB2 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:22:15] 691*2^1244665-1 is not prime. Res64: A4A7973337664671 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:35:42] 721*2^1244665-1 is not prime. Res64: 583E75E3AD9E74B1 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:35:42] 831*2^1244665-1 is not prime. Res64: 0E3CEA765BFBEEF7 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:40:08] 855*2^1244665-1 is not prime. Res64: 0079DCCCAAA59EEB Time : 0.0 sec. user=mdettweiler [2013-04-15 23:40:09] 861*2^1244665-1 is not prime. Res64: FCDA87E4876F93D0 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:53:36] 897*2^1244665-1 is not prime. Res64: CDF15B90FF5DC40A Time : 0.0 sec. user=mdettweiler [2013-04-15 23:53:36] 915*2^1244665-1 is not prime. Res64: 7C8822B81B1A88D8 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:58:02] 635*2^1244666-1 is not prime. Res64: E667917053443999 Time : 0.0 sec. user=mdettweiler [2013-04-15 23:58:03] 713*2^1244666-1 is not prime. Res64: F780FE05BD3C9B85 Time : 0.0 sec.