user=mdettweiler [2014-06-14 00:08:30] 773*2^1319796-1 is not prime. Res64: B02033CAE560B868 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:08:31] 857*2^1319796-1 is not prime. Res64: B264357430C1CC58 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:09:43] 893*2^1319796-1 is not prime. Res64: 45A689E376EC9B6B Time : 0.0 sec. user=mdettweiler [2014-06-14 00:09:43] 905*2^1319796-1 is not prime. Res64: F8C04D43CF8E9569 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:11:20] 909*2^1319796-1 is not prime. Res64: B1B433C5CBD7390E Time : 0.0 sec. user=mdettweiler [2014-06-14 00:11:21] 927*2^1319796-1 is not prime. Res64: 31F3090C5B109FAC Time : 0.0 sec. user=mdettweiler [2014-06-14 00:21:41] 639*2^1319797-1 is not prime. Res64: 1C3C4A90B5FDD961 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:21:42] 661*2^1319797-1 is not prime. Res64: 2BE148CACF3FE15E Time : 0.0 sec. user=mdettweiler [2014-06-14 00:35:05] 747*2^1319797-1 is not prime. Res64: 7EDB28DDEF295CF3 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:35:05] 777*2^1319797-1 is not prime. Res64: 2AA3DAF8B5D77503 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:37:06] 817*2^1319797-1 is not prime. Res64: D3B4CD38E983BF1B Time : 0.0 sec. user=mdettweiler [2014-06-14 00:37:06] 849*2^1319797-1 is not prime. Res64: A93AFB45EC223059 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:38:32] 867*2^1319797-1 is not prime. Res64: 35B4897946271FDD Time : 0.0 sec. user=mdettweiler [2014-06-14 00:38:32] 985*2^1319797-1 is not prime. Res64: 35D4258D30232BC5 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:46:01] 603*2^1319798-1 is not prime. Res64: C83A6F659EF54F51 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:46:01] 707*2^1319798-1 is not prime. Res64: B893E2AD17888F46 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:59:57] 743*2^1319798-1 is not prime. Res64: 101EBE9137E57159 Time : 0.0 sec. user=mdettweiler [2014-06-14 00:59:58] 813*2^1319798-1 is not prime. Res64: F829656BBB067951 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:02:52] 957*2^1319798-1 is not prime. Res64: E9A40621BFA02C07 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:02:53] 763*2^1319799-1 is not prime. Res64: DAE00F0075FC4ED6 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:04:20] 843*2^1319799-1 is not prime. Res64: 623A10D7CC79F009 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:04:21] 873*2^1319799-1 is not prime. Res64: EA1BE9B4CA804FD0 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:11:57] 891*2^1319799-1 is not prime. Res64: 8EA6C6A41B0D78AC Time : 0.0 sec. user=mdettweiler [2014-06-14 01:11:58] 895*2^1319799-1 is not prime. Res64: 5B332018751CF8A0 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:24:35] 743*2^1319800-1 is not prime. Res64: 4836941A7F00AA44 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:24:35] 773*2^1319800-1 is not prime. Res64: 573BB49A495968B0 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:28:34] 777*2^1319800-1 is not prime. Res64: 4249F9E42F7B4116 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:28:35] 827*2^1319800-1 is not prime. Res64: 06C5662F3DB20F93 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:29:06] 965*2^1319800-1 is not prime. Res64: D7BFDF4113510B59 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:29:10] 727*2^1319801-1 is not prime. Res64: 058C9822E48C7C1D Time : 0.0 sec. user=mdettweiler [2014-06-14 01:36:43] 735*2^1319801-1 is not prime. Res64: 5C2E0BBFC452800D Time : 0.0 sec. user=mdettweiler [2014-06-14 01:36:43] 789*2^1319801-1 is not prime. Res64: 9F44AF73E925EB37 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:50:18] 811*2^1319801-1 is not prime. Res64: 1A96C23E63D787E2 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:50:18] 957*2^1319801-1 is not prime. Res64: A04AA17BE28833A2 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:52:37] 635*2^1319802-1 is not prime. Res64: 66C9E03039CA98DD Time : 0.0 sec. user=mdettweiler [2014-06-14 01:52:38] 647*2^1319802-1 is not prime. Res64: 17C7966E140D9B9E Time : 0.0 sec. user=mdettweiler [2014-06-14 01:54:20] 979*2^1319801-1 is not prime. Res64: E1922A76FCC71973 Time : 0.0 sec. user=mdettweiler [2014-06-14 01:54:20] 987*2^1319801-1 is not prime. Res64: 83DA79743A45B448 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:01:15] 755*2^1319802-1 is not prime. Res64: 1A5D99CE324AF3AF Time : 0.0 sec. user=mdettweiler [2014-06-14 02:01:16] 873*2^1319802-1 is not prime. Res64: 5CAA523125BC64D4 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:14:58] 903*2^1319802-1 is not prime. Res64: DF32F024C6597F24 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:14:58] 615*2^1319803-1 is not prime. Res64: 2ACF8C95598A10E9 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:16:10] 621*2^1319803-1 is not prime. Res64: 55593A03D8C34159 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:16:11] 663*2^1319803-1 is not prime. Res64: B856E9B266C38C68 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:20:08] 859*2^1319803-1 is not prime. Res64: 61C32A5A1A11AE35 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:20:08] 871*2^1319803-1 is not prime. Res64: 087DA31A17C19750 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:27:04] 885*2^1319803-1 is not prime. Res64: 8C5E534054D4ED23 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:27:04] 945*2^1319803-1 is not prime. Res64: 1816C4EE94FEAB43 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:39:50] 617*2^1319804-1 is not prime. Res64: 43B2FF30FE79A8F6 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:39:51] 819*2^1319804-1 is not prime. Res64: 00A664B1F368635C Time : 0.0 sec. user=mdettweiler [2014-06-14 02:42:13] 873*2^1319804-1 is not prime. Res64: 2955D625C7BDC88B Time : 0.0 sec. user=mdettweiler [2014-06-14 02:42:15] 935*2^1319804-1 is not prime. Res64: D9476D00447D7F58 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:46:20] 987*2^1319804-1 is not prime. Res64: 57365B0CE2B087F3 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:46:21] 993*2^1319804-1 is not prime. Res64: 3FF52D58B3165D27 Time : 0.0 sec. user=mdettweiler [2014-06-14 02:50:37] 625*2^1319805-1 is not prime. Res64: 5C1C916E96A614DE Time : 0.0 sec. user=mdettweiler [2014-06-14 02:50:37] 685*2^1319805-1 is not prime. Res64: FB850014C58FDBD5 Time : 0.0 sec. user=mdettweiler [2014-06-14 03:04:49] 691*2^1319805-1 is not prime. Res64: C30F22B85AA52001 Time : 0.0 sec. user=mdettweiler [2014-06-14 03:04:50] 819*2^1319805-1 is not prime. Res64: FA03FCC7C0C69E75 Time : 0.0 sec. user=mdettweiler [2014-06-14 03:06:50] 955*2^1319805-1 is not prime. Res64: 40C114E549F0C028 Time : 0.0 sec. user=mdettweiler [2014-06-14 03:06:51] 623*2^1319806-1 is not prime. Res64: 2A58A4A4E668DACC Time : 0.0 sec. user=mdettweiler [2014-06-14 03:12:15] 783*2^1319806-1 is not prime. Res64: 0D12EC9AF8FBB417 Time : 0.0 sec. user=mdettweiler [2014-06-14 03:12:17] 843*2^1319806-1 is not prime. Res64: A0B4CF3CE7287BF9 Time : 0.0 sec. user=mdettweiler [2014-06-14 03:14:09] 645*2^1319807-1 is not prime. Res64: 63E0C1654EFEDD7E Time : 0.0 sec. user=mdettweiler [2014-06-14 03:14:10] 651*2^1319807-1 is not prime. Res64: 39A1FC8696D4C44D Time : 0.0 sec. user=mdettweiler [2014-06-14 03:29:26] 693*2^1319807-1 is not prime. Res64: 52DD6A8ECF38E8C2 Time : 0.0 sec. user=mdettweiler [2014-06-14 03:29:28] 883*2^1319807-1 is not prime. Res64: 5761049F66D2E655 Time : 0.0 sec. user=mdettweiler [2014-06-14 03:31:28] 665*2^1319808-1 is not prime. Res64: 7506D97DF8840FDB Time : 0.0 sec. user=mdettweiler [2014-06-14 03:31:30] 815*2^1319808-1 is not prime. Res64: 038D336F23123E9F Time : 0.0 sec. user=mdettweiler [2014-06-14 03:38:03] 819*2^1319808-1 is not prime. Res64: BB8EF3059C06EF3E Time : 0.0 sec. user=mdettweiler [2014-06-14 03:38:05] 977*2^1319808-1 is not prime. Res64: 58AC6DB8518BF9BC Time : 0.0 sec. user=mdettweiler [2014-06-14 03:38:53] 993*2^1319808-1 is not prime. Res64: 03921F5FDD4C5204 Time : 0.0 sec. user=mdettweiler [2014-06-14 03:38:55] 601*2^1319809-1 is not prime. Res64: 44B4A79805E70C0D Time : 0.0 sec. user=mdettweiler [2014-06-14 03:53:03] 609*2^1319809-1 is not prime. Res64: A0D89D90B963F94C Time : 0.0 sec. user=mdettweiler [2014-06-14 03:53:04] 661*2^1319809-1 is not prime. Res64: 2F0B7904266A27B7 Time : 0.0 sec. user=mdettweiler [2014-06-14 03:56:08] 685*2^1319809-1 is not prime. Res64: 963C52AC7510451A Time : 0.0 sec. user=mdettweiler [2014-06-14 03:56:09] 861*2^1319809-1 is not prime. Res64: 929A4B1235384736 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:03:49] 919*2^1319809-1 is not prime. Res64: 9643EDB2F8809776 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:03:52] 939*2^1319809-1 is not prime. Res64: 8BF88AE968E0116F Time : 0.0 sec. user=mdettweiler [2014-06-14 04:04:37] 975*2^1319809-1 is not prime. Res64: 59065C2E59EBA928 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:04:39] 997*2^1319809-1 is not prime. Res64: BE4EBEC1BC7A4981 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:18:46] 783*2^1319810-1 is not prime. Res64: 029F4DCD0D62A219 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:18:47] 825*2^1319810-1 is not prime. Res64: 71076B50511CCBA4 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:21:52] 827*2^1319810-1 is not prime. Res64: 71C36CE094EE022E Time : 0.0 sec. user=mdettweiler [2014-06-14 04:21:53] 857*2^1319810-1 is not prime. Res64: 95490A95A458E5DE Time : 0.0 sec. user=mdettweiler [2014-06-14 04:28:09] 675*2^1319811-1 is not prime. Res64: 5B62FEEDA1C3F262 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:28:10] 685*2^1319811-1 is not prime. Res64: 9E54182BFC87C65C Time : 0.0 sec. user=mdettweiler [2014-06-14 04:28:32] 867*2^1319810-1 is not prime. Res64: D92C16017C7BF4DB Time : 0.0 sec. user=mdettweiler [2014-06-14 04:28:34] 639*2^1319811-1 is not prime. Res64: 8219E1A79F01D436 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:43:18] 709*2^1319811-1 is not prime. Res64: 93DDB42603BAB270 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:43:19] 819*2^1319811-1 is not prime. Res64: 10C0264DC82FFFC3 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:47:30] 849*2^1319811-1 is not prime. Res64: F1B28CF20F3596A3 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:47:32] 943*2^1319811-1 is not prime. Res64: 2E9AF42A63D9FEA0 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:52:40] 979*2^1319811-1 is not prime. Res64: B2F2DC8367F2A942 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:52:41] 749*2^1319812-1 is not prime. Res64: A0C5C4F49421B345 Time : 0.0 sec. user=mdettweiler [2014-06-14 04:54:17] 903*2^1319812-1 is not prime. Res64: DB4EB1B2C3DBEFDA Time : 0.0 sec. user=mdettweiler [2014-06-14 04:54:18] 947*2^1319812-1 is not prime. Res64: 170C9435993A20EE Time : 0.0 sec. user=mdettweiler [2014-06-14 05:08:58] 957*2^1319812-1 is not prime. Res64: 28FACB3D18D57916 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:09:00] 757*2^1319813-1 is not prime. Res64: 41A4F0791785F2E2 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:13:13] 811*2^1319813-1 is not prime. Res64: 378A73E1AEB36709 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:13:15] 861*2^1319813-1 is not prime. Res64: 7880D6CA047C0CF3 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:18:19] 885*2^1319813-1 is not prime. Res64: 8C9E2C468E8975A9 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:18:20] 915*2^1319813-1 is not prime. Res64: 1EC28C83A306F32E Time : 0.0 sec. user=mdettweiler [2014-06-14 05:19:57] 937*2^1319813-1 is not prime. Res64: 2305DD808C1BCCFE Time : 0.0 sec. user=mdettweiler [2014-06-14 05:19:59] 945*2^1319813-1 is not prime. Res64: 2213ACC79C43C477 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:33:34] 949*2^1319813-1 is not prime. Res64: E1963DE8FD3C89F4 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:33:35] 663*2^1319814-1 is not prime. Res64: D707EBC1BDCF360F Time : 0.0 sec. user=mdettweiler [2014-06-14 05:37:44] 677*2^1319814-1 is not prime. Res64: 3607FA6324D5DDBB Time : 0.0 sec. user=mdettweiler [2014-06-14 05:37:45] 773*2^1319814-1 is not prime. Res64: 37E445BEEA6AEA80 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:41:38] 639*2^1319815-1 is not prime. Res64: 8E910527876E6228 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:41:39] 705*2^1319815-1 is not prime. Res64: 08451B6180E71111 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:45:36] 759*2^1319815-1 is not prime. Res64: 922F4B4F96453B9C Time : 0.0 sec. user=mdettweiler [2014-06-14 05:45:37] 819*2^1319815-1 is not prime. Res64: 1FF2A61A6F4CC673 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:59:11] 873*2^1319815-1 is not prime. Res64: DFFE3D471E141415 Time : 0.0 sec. user=mdettweiler [2014-06-14 05:59:13] 885*2^1319815-1 is not prime. Res64: CD92A49DAFC3B6D5 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:03:20] 891*2^1319815-1 is not prime. Res64: 36ACF6C824AFAB7C Time : 0.0 sec. user=mdettweiler [2014-06-14 06:03:24] 999*2^1319815-1 is not prime. Res64: 4FF396BFA3E8243F Time : 0.0 sec. user=mdettweiler [2014-06-14 06:04:57] 633*2^1319816-1 is not prime. Res64: 7298633F40017F49 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:04:58] 683*2^1319816-1 is not prime. Res64: 6288EFD19AD48BB0 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:09:59] 815*2^1319816-1 is not prime. Res64: EFA23544668A8CFE Time : 0.0 sec. user=mdettweiler [2014-06-14 06:10:01] 741*2^1319817-1 is not prime. Res64: 597C7420A6E4265C Time : 0.0 sec. user=mdettweiler [2014-06-14 06:24:53] 817*2^1319817-1 is not prime. Res64: 80168617D8352D21 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:24:54] 871*2^1319817-1 is not prime. Res64: CA7667839BC70B13 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:29:07] 901*2^1319817-1 is not prime. Res64: 990034CD1FF3BB4F Time : 0.0 sec. user=mdettweiler [2014-06-14 06:29:09] 945*2^1319817-1 is not prime. Res64: 353C58FAB73739A3 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:30:40] 831*2^1319818-1 is not prime. Res64: D6F46CBC99523076 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:30:42] 857*2^1319818-1 is not prime. Res64: B2D51A51D379DBE8 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:35:36] 891*2^1319818-1 is not prime. Res64: 257D85236DE200FA Time : 0.0 sec. user=mdettweiler [2014-06-14 06:35:38] 987*2^1319818-1 is not prime. Res64: A1A78132F686FFE5 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:49:13] 993*2^1319818-1 is not prime. Res64: 6307A8958FF0B97B Time : 0.0 sec. user=mdettweiler [2014-06-14 06:49:15] 603*2^1319819-1 is not prime. Res64: 31E5E11FF218E839 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:53:54] 609*2^1319819-1 is not prime. Res64: FEAD1E5E388844B6 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:53:56] 703*2^1319819-1 is not prime. Res64: A90269CB250CFED8 Time : 0.0 sec. user=mdettweiler [2014-06-14 06:58:56] 711*2^1319819-1 is not prime. Res64: F7CA9F121B8D487A Time : 0.0 sec. user=mdettweiler [2014-06-14 07:04:08] 733*2^1319819-1 is not prime. Res64: 6BFB0383950E0CDD Time : 0.0 sec. user=mdettweiler [2014-06-14 07:04:13] 735*2^1319819-1 is not prime. Res64: 5121B8DC4B9F2F05 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:14:42] 771*2^1319819-1 is not prime. Res64: DBE518B68A2DCA85 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:18:16] 939*2^1319819-1 is not prime. Res64: E40E8CC6754B0A35 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:18:17] 693*2^1319820-1 is not prime. Res64: 8BEA26C3576BBA75 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:24:26] 777*2^1319820-1 is not prime. Res64: 5D2A946970E8AC86 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:24:28] 819*2^1319820-1 is not prime. Res64: BFB7F49BF81F2C1A Time : 0.0 sec. user=mdettweiler [2014-06-14 07:30:08] 839*2^1319820-1 is not prime. Res64: BD6D6324F6558CAE Time : 0.0 sec. user=mdettweiler [2014-06-14 07:30:09] 843*2^1319820-1 is not prime. Res64: 2F6AAD9276370A7B Time : 0.0 sec. user=mdettweiler [2014-06-14 07:40:20] 873*2^1319820-1 is not prime. Res64: 2237611AFAD23F1C Time : 0.0 sec. user=mdettweiler [2014-06-14 07:40:22] 945*2^1319820-1 is not prime. Res64: BB17C143DAB4F322 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:42:48] 621*2^1319821-1 is not prime. Res64: CA814EE9EB20A798 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:42:49] 817*2^1319821-1 is not prime. Res64: 11E8AC9A62D67B39 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:49:56] 829*2^1319821-1 is not prime. Res64: 5A3154F75FA98235 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:49:58] 847*2^1319821-1 is not prime. Res64: 477D9740D9463AA4 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:55:42] 861*2^1319821-1 is not prime. Res64: 470EDDB12BF5E5D5 Time : 0.0 sec. user=mdettweiler [2014-06-14 07:55:42] 877*2^1319821-1 is not prime. Res64: BB07F2F2843D3BE5 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:05:47] 895*2^1319821-1 is not prime. Res64: 5799106EF5F705C4 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:05:48] 931*2^1319821-1 is not prime. Res64: 98FA10D741E5AE6E Time : 0.0 sec. user=mdettweiler [2014-06-14 08:08:12] 939*2^1319821-1 is not prime. Res64: 1D07CA6C50A40483 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:08:14] 945*2^1319821-1 is not prime. Res64: DE06D7EBC7263DC2 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:14:15] 999*2^1319821-1 is not prime. Res64: 89EBADC7DDB88BF9 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:14:16] 675*2^1319822-1 is not prime. Res64: B7FF21BE330C360D Time : 0.0 sec. user=mdettweiler [2014-06-14 08:21:12] 843*2^1319822-1 is not prime. Res64: 5B1317A7EB195087 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:21:13] 945*2^1319822-1 is not prime. Res64: 1BFADACA319AB06B Time : 0.0 sec. user=mdettweiler [2014-06-14 08:29:02] 663*2^1319823-1 is not prime. Res64: FE0F1D4BA53F5149 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:29:04] 693*2^1319823-1 is not prime. Res64: EA19777851E34D67 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:32:26] 709*2^1319823-1 is not prime. Res64: 0A95EE178CBAC758 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:32:28] 775*2^1319823-1 is not prime. Res64: 349ADCA50F296521 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:39:43] 885*2^1319823-1 is not prime. Res64: ECC7D3EFC01BA4CA Time : 0.0 sec. user=mdettweiler [2014-06-14 08:39:45] 891*2^1319823-1 is not prime. Res64: 31FACC8E2176773A Time : 0.0 sec. user=mdettweiler [2014-06-14 08:45:33] 717*2^1319824-1 is not prime. Res64: 46537D98E88A48FE Time : 0.0 sec. user=mdettweiler [2014-06-14 08:45:34] 827*2^1319824-1 is not prime. Res64: DF4D8E11E2C86B24 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:54:30] 849*2^1319824-1 is not prime. Res64: 7F10EF56BFBDD60F Time : 0.0 sec. user=mdettweiler [2014-06-14 08:54:31] 855*2^1319824-1 is not prime. Res64: E7EE592E958DEB51 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:56:47] 649*2^1319825-1 is not prime. Res64: 72E534C7FF0822A9 Time : 0.0 sec. user=mdettweiler [2014-06-14 08:56:49] 775*2^1319825-1 is not prime. Res64: BA6E031DBA5944B5 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:05:11] 799*2^1319825-1 is not prime. Res64: D1EE0D442E744D24 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:05:12] 889*2^1319825-1 is not prime. Res64: D9120BB7295A7E89 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:09:56] 987*2^1319825-1 is not prime. Res64: 82974EA09E4EA741 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:09:57] 641*2^1319826-1 is not prime. Res64: 8A89BD3C2DA05310 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:18:59] 875*2^1319826-1 is not prime. Res64: 5F92D31827FF931E Time : 0.0 sec. user=mdettweiler [2014-06-14 09:19:00] 645*2^1319827-1 is not prime. Res64: D55963D732915307 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:19:59] 651*2^1319827-1 is not prime. Res64: 579A658976355268 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:20:00] 685*2^1319827-1 is not prime. Res64: 033D4C37B8F43890 Time : 0.0 sec. user=juhehe [2014-06-14 09:28:07] 873*2^1319826-1 is not prime. Res64: 2AB10DEECE8E898F Time : 0.0 sec. user=mdettweiler [2014-06-14 09:29:34] 703*2^1319827-1 is not prime. Res64: 6478090BEF035660 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:29:34] 765*2^1319827-1 is not prime. Res64: 7AED190633F8EA30 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:35:26] 801*2^1319827-1 is not prime. Res64: F91A922FF5FC29D0 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:35:27] 819*2^1319827-1 is not prime. Res64: 67F43BC9D1654236 Time : 0.0 sec. user=mdettweiler [2014-06-14 09:44:24] 871*2^1319827-1 is not prime. Res64: 47E791C8C60A70CA Time : 0.0 sec. user=mdettweiler [2014-06-14 09:44:24] 901*2^1319827-1 is not prime. Res64: 05F577A0B8928CFA Time : 0.0 sec. user=mdettweiler [2014-06-14 09:45:24] 945*2^1319827-1 is not prime. Res64: 35E64902E2B0141A Time : 0.0 sec. user=mdettweiler [2014-06-14 09:45:25] 993*2^1319827-1 is not prime. Res64: 99CDD96B47257AAC Time : 0.0 sec. user=mdettweiler [2014-06-14 09:52:44] 669*2^1319828-1 is not prime. Res64: 6181DFF80C2699BC Time : 0.0 sec. user=mdettweiler [2014-06-14 09:52:45] 683*2^1319828-1 is not prime. Res64: 6195638C16EDB543 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:00:57] 767*2^1319828-1 is not prime. Res64: 8DCDC188DA6B5AF4 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:00:58] 825*2^1319828-1 is not prime. Res64: 21167D13176A358D Time : 0.0 sec. user=mdettweiler [2014-06-14 10:07:32] 627*2^1319829-1 is not prime. Res64: B11B719A7BF71B6E Time : 0.0 sec. user=mdettweiler [2014-06-14 10:07:33] 649*2^1319829-1 is not prime. Res64: 30C5D566406AB583 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:08:28] 655*2^1319829-1 is not prime. Res64: B029873CE4177352 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:08:29] 751*2^1319829-1 is not prime. Res64: 13C975EE1836ED39 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:18:04] 847*2^1319829-1 is not prime. Res64: 92727216876FD40C Time : 0.0 sec. user=mdettweiler [2014-06-14 10:18:04] 985*2^1319829-1 is not prime. Res64: 27423024BACD97E6 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:24:16] 671*2^1319830-1 is not prime. Res64: D368570E2A3DC89E Time : 0.0 sec. user=mdettweiler [2014-06-14 10:24:16] 677*2^1319830-1 is not prime. Res64: 662FDAED2931AB39 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:31:52] 743*2^1319830-1 is not prime. Res64: EC8C432C0964F607 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:31:53] 761*2^1319830-1 is not prime. Res64: 0A44747C3D631F6A Time : 0.0 sec. user=mdettweiler [2014-06-14 10:32:41] 995*2^1319830-1 is not prime. Res64: 1C1A5B23BB89F504 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:32:41] 603*2^1319831-1 is not prime. Res64: 805425D956BCFEF2 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:41:13] 669*2^1319831-1 is not prime. Res64: 8281AA173EF89104 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:41:14] 679*2^1319831-1 is not prime. Res64: 807729E3CB049895 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:47:26] 703*2^1319831-1 is not prime. Res64: 821E69B414828B3A Time : 0.0 sec. user=mdettweiler [2014-06-14 10:47:26] 711*2^1319831-1 is not prime. Res64: A3A10AD35465DD27 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:55:47] 627*2^1319832-1 is not prime. Res64: 1AEB135D92FE92DE Time : 0.0 sec. user=mdettweiler [2014-06-14 10:55:47] 635*2^1319832-1 is not prime. Res64: FCB3316804F7DEB6 Time : 0.0 sec. user=mdettweiler [2014-06-14 10:57:15] 949*2^1319831-1 is not prime. Res64: 1BBEC2306304F6DD Time : 0.0 sec. user=mdettweiler [2014-06-14 10:57:15] 999*2^1319831-1 is not prime. Res64: A9D5018961BB8097 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:05:30] 689*2^1319832-1 is not prime. Res64: 0191C5117C28AB96 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:05:31] 797*2^1319832-1 is not prime. Res64: 5C7A822CBE7A5A34 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:12:47] 819*2^1319832-1 is not prime. Res64: 7D426C6C42965902 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:12:48] 977*2^1319832-1 is not prime. Res64: 1E0832EEE8FD2775 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:19:58] 983*2^1319832-1 is not prime. Res64: B71DEC31B8BA9923 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:19:58] 639*2^1319833-1 is not prime. Res64: 4A43D920DE811788 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:20:17] 705*2^1319833-1 is not prime. Res64: 387A6D9CEC5944E8 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:20:17] 721*2^1319833-1 is not prime. Res64: C6E80C23A41224B9 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:30:52] 861*2^1319833-1 is not prime. Res64: 5FCFB665941C1D38 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:30:53] 895*2^1319833-1 is not prime. Res64: 44B372908A368969 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:38:12] 919*2^1319833-1 is not prime. Res64: 26F607569EC1B2C5 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:38:13] 945*2^1319833-1 is not prime. Res64: 52029586998F6A8B Time : 0.0 sec. user=mdettweiler [2014-06-14 11:43:04] 617*2^1319834-1 is not prime. Res64: E4A5690DEA2412E5 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:43:05] 645*2^1319834-1 is not prime. Res64: 875D08A461C1247F Time : 0.0 sec. user=mdettweiler [2014-06-14 11:43:24] 683*2^1319834-1 is not prime. Res64: 9C0154AEFBFEEA43 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:43:24] 705*2^1319834-1 is not prime. Res64: 6103F60D39661EF5 Time : 0.0 sec. user=mdettweiler [2014-06-14 11:55:07] 711*2^1319834-1 is not prime. Res64: A5198BEFB9739AAE Time : 0.0 sec. user=mdettweiler [2014-06-14 11:55:07] 825*2^1319834-1 is not prime. Res64: B9F8ED3322A4268A Time : 0.0 sec. user=mdettweiler [2014-06-14 12:02:33] 857*2^1319834-1 is not prime. Res64: 31701D6916F9FDDF Time : 0.0 sec. user=mdettweiler [2014-06-14 12:02:34] 751*2^1319835-1 is not prime. Res64: EC184588EC73A7FA Time : 0.0 sec. user=mdettweiler [2014-06-14 12:06:33] 617*2^1319836-1 is not prime. Res64: BFE8F56405EB2F83 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:06:34] 629*2^1319836-1 is not prime. Res64: EA8D67BFFC585A07 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:08:22] 789*2^1319835-1 is not prime. Res64: A6DA9AE1BDD30EF8 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:08:24] 873*2^1319835-1 is not prime. Res64: A51A02F64E71DA73 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:18:12] 653*2^1319836-1 is not prime. Res64: 201FECA44FC8D2B6 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:18:13] 677*2^1319836-1 is not prime. Res64: 457AA0B97BEA03A3 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:25:57] 735*2^1319836-1 is not prime. Res64: 5CD9722FC9A99EF8 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:25:57] 749*2^1319836-1 is not prime. Res64: DB281B675A4DF8A0 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:32:01] 777*2^1319836-1 is not prime. Res64: 349A3524DDCC62C2 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:32:02] 779*2^1319836-1 is not prime. Res64: FEE30CB048913373 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:33:44] 843*2^1319836-1 is not prime. Res64: 470B714569CA8CA9 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:33:44] 939*2^1319836-1 is not prime. Res64: 4D7F28B29ABDAE98 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:41:30] 669*2^1319837-1 is not prime. Res64: 7A8E12C76327B98C Time : 0.0 sec. user=mdettweiler [2014-06-14 12:41:30] 729*2^1319837-1 is not prime. Res64: 463D1965AA389D52 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:50:17] 747*2^1319837-1 is not prime. Res64: 3BFBB1EE905D5817 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:50:17] 757*2^1319837-1 is not prime. Res64: 0B3ACF851B2629C5 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:57:31] 759*2^1319837-1 is not prime. Res64: 319ADE46E3B3A94A Time : 0.0 sec. user=mdettweiler [2014-06-14 12:57:31] 829*2^1319837-1 is not prime. Res64: 4100AA38C928B665 Time : 0.0 sec. user=mdettweiler [2014-06-14 12:59:20] 831*2^1319837-1 is not prime. Res64: 60B02FA5066B7D6B Time : 0.0 sec. user=mdettweiler [2014-06-14 12:59:20] 847*2^1319837-1 is not prime. Res64: 6B4A35D0421B3095 Time : 0.0 sec. user=mdettweiler [2014-06-14 13:06:58] 889*2^1319837-1 is not prime. Res64: 7DCE99433F6680CD Time : 0.0 sec. user=mdettweiler [2014-06-14 13:06:59] 979*2^1319837-1 is not prime. Res64: B6351F773B01A27C Time : 0.0 sec. user=mdettweiler [2014-06-14 13:15:42] 985*2^1319837-1 is not prime. Res64: B72C4AD1B41231DB Time : 0.0 sec. user=mdettweiler [2014-06-14 13:15:43] 997*2^1319837-1 is not prime. Res64: DD7B6B1B35E2B420 Time : 0.0 sec. user=mdettweiler [2014-06-14 13:20:43] 621*2^1319838-1 is not prime. Res64: B0350D587019BFDD Time : 0.0 sec. user=mdettweiler [2014-06-14 13:20:44] 705*2^1319838-1 is not prime. Res64: 3EBEB011A037C262 Time : 0.0 sec. user=mdettweiler [2014-06-14 13:22:38] 711*2^1319838-1 is not prime. Res64: 735CBEBAE9BB9236 Time : 0.0 sec. user=mdettweiler [2014-06-14 13:22:38] 731*2^1319838-1 is not prime. Res64: EF872C58539D8F82 Time : 0.0 sec. user=mdettweiler [2014-06-14 13:31:25] 737*2^1319838-1 is not prime. Res64: CDAFD6B018619302 Time : 0.0 sec. user=mdettweiler [2014-06-14 13:31:26] 765*2^1319838-1 is not prime. Res64: 3534E918F295CE55 Time : 0.0 sec. user=mdettweiler [2014-06-14 13:41:37] 815*2^1319838-1 is not prime. Res64: E6000F494F1450D0 Time : 0.0 sec. user=mdettweiler [2014-06-14 13:41:37] 951*2^1319838-1 is not prime. Res64: 6B995B72DAF4BD0D Time : 0.0 sec. user=mdettweiler [2014-06-14 13:46:07] 993*2^1319838-1 is not prime. Res64: B423C4F9E69D2DEE Time : 0.0 sec. user=mdettweiler [2014-06-14 13:46:07] 645*2^1319839-1 is not prime. Res64: 750409C745517DCA Time : 0.0 sec. user=mdettweiler [2014-06-14 13:47:45] 741*2^1319839-1 is not prime. Res64: F2BFA9AED2735B5A Time : 0.0 sec. user=mdettweiler [2014-06-14 13:47:45] 855*2^1319839-1 is not prime. Res64: F88443C344E4A22C Time : 0.0 sec. user=mdettweiler [2014-06-14 13:58:02] 861*2^1319839-1 is not prime. Res64: A39E97570CA77766 Time : 0.0 sec. user=mdettweiler [2014-06-14 13:58:02] 919*2^1319839-1 is not prime. Res64: CD249F6804A05302 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:09:10] 719*2^1319840-1 is not prime. Res64: AC7270454E7E8C70 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:09:11] 785*2^1319840-1 is not prime. Res64: 7480FCB541750AD4 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:13:18] 797*2^1319840-1 is not prime. Res64: 16D8759D5733D709 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:13:18] 601*2^1319841-1 is not prime. Res64: FB10F942A4B154A5 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:15:38] 805*2^1319841-1 is not prime. Res64: A59A56E54391A27E Time : 0.0 sec. user=mdettweiler [2014-06-14 14:15:38] 811*2^1319841-1 is not prime. Res64: 3B919A6A98F18FC5 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:25:23] 817*2^1319841-1 is not prime. Res64: 071867AA3EDE0239 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:25:23] 819*2^1319841-1 is not prime. Res64: 86F7DD48B8965E61 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:35:41] 847*2^1319841-1 is not prime. Res64: 9A4FF35C7DB1D26F Time : 0.0 sec. user=mdettweiler [2014-06-14 14:35:41] 889*2^1319841-1 is not prime. Res64: 214A1A444F23CF51 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:37:14] 705*2^1319842-1 is not prime. Res64: 4915C38CFFFBF7EC Time : 0.0 sec. user=mdettweiler [2014-06-14 14:37:14] 735*2^1319842-1 is not prime. Res64: 9195A9EB526A3B9B Time : 0.0 sec. user=mdettweiler [2014-06-14 14:42:02] 803*2^1319842-1 is not prime. Res64: A4CD8DF8CA9ADD40 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:42:03] 827*2^1319842-1 is not prime. Res64: E78D92B0B5328B82 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:51:53] 885*2^1319842-1 is not prime. Res64: C9D6523675C21A71 Time : 0.0 sec. user=mdettweiler [2014-06-14 14:51:53] 917*2^1319842-1 is not prime. Res64: 8DE323DE0CCF9625 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:00:58] 947*2^1319842-1 is not prime. Res64: 1CF74B53EFF2D70B Time : 0.0 sec. user=mdettweiler [2014-06-14 15:00:59] 621*2^1319843-1 is not prime. Res64: 10F4FD9B7B7CB03A Time : 0.0 sec. user=mdettweiler [2014-06-14 15:03:50] 913*2^1319843-1 is not prime. Res64: 337ECCB00C6E719B Time : 0.0 sec. user=mdettweiler [2014-06-14 15:03:52] 981*2^1319843-1 is not prime. Res64: 38382F2ECBE307AA Time : 0.0 sec. user=mdettweiler [2014-06-14 15:06:39] 609*2^1319844-1 is not prime. Res64: 15EED2D2325BFBF9 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:06:40] 635*2^1319844-1 is not prime. Res64: F93A3B8B6B4870E6 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:16:23] 657*2^1319844-1 is not prime. Res64: 2873F8CBEED82EAD Time : 0.0 sec. user=mdettweiler [2014-06-14 15:16:24] 705*2^1319844-1 is not prime. Res64: 2D3EA1C0FF43CB6B Time : 0.0 sec. user=mdettweiler [2014-06-14 15:27:40] 759*2^1319844-1 is not prime. Res64: 5040E3B45E4EE4C8 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:27:40] 837*2^1319844-1 is not prime. Res64: C05E3FA5A84182E3 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:29:09] 875*2^1319844-1 is not prime. Res64: C7D432C4E9D5D8C5 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:29:10] 651*2^1319845-1 is not prime. Res64: 07C0A285889402E4 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:32:35] 765*2^1319845-1 is not prime. Res64: E9A675E5374E4FB5 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:32:36] 805*2^1319845-1 is not prime. Res64: 58258009452B32EF Time : 0.0 sec. user=mdettweiler [2014-06-14 15:43:13] 895*2^1319845-1 is not prime. Res64: D8DBA9D21A74247B Time : 0.0 sec. user=mdettweiler [2014-06-14 15:43:13] 897*2^1319845-1 is not prime. Res64: F612091D52185C10 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:53:41] 997*2^1319845-1 is not prime. Res64: CE85B5511E26B2A3 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:53:41] 603*2^1319846-1 is not prime. Res64: 39A1C09825B14AA6 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:53:43] 711*2^1319846-1 is not prime. Res64: 2BC5FB7CAB75DAB9 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:53:44] 743*2^1319846-1 is not prime. Res64: 7E10811BFC5DF76B Time : 0.0 sec. user=mdettweiler [2014-06-14 15:59:20] 813*2^1319846-1 is not prime. Res64: 8F2CE1F3304BE962 Time : 0.0 sec. user=mdettweiler [2014-06-14 15:59:20] 857*2^1319846-1 is not prime. Res64: E6F084C164FF2C7D Time : 0.0 sec. user=mdettweiler [2014-06-14 16:07:04] 619*2^1319847-1 is not prime. Res64: 2095F7764D084919 Time : 0.0 sec. user=mdettweiler [2014-06-14 16:07:06] 669*2^1319847-1 is not prime. Res64: 776E3E9ACD0809FB Time : 0.0 sec. user=mdettweiler [2014-06-14 16:17:08] 691*2^1319847-1 is not prime. Res64: 9AC3AD6C3C794144 Time : 0.0 sec. user=mdettweiler [2014-06-14 16:17:09] 703*2^1319847-1 is not prime. Res64: 602C95541A94C377 Time : 0.0 sec. user=mdettweiler [2014-06-14 16:18:18] 751*2^1319847-1 is not prime. Res64: 6DEBAE914E982F7C Time : 0.0 sec. user=mdettweiler [2014-06-14 16:18:19] 795*2^1319847-1 is not prime. Res64: 4E85D6D7C057D28A Time : 0.0 sec. user=mdettweiler [2014-06-14 16:24:56] 871*2^1319847-1 is not prime. Res64: 836348FF22F8DB4A Time : 0.0 sec. user=mdettweiler [2014-06-14 16:24:57] 913*2^1319847-1 is not prime. Res64: 9247BDEA88399A83 Time : 0.0 sec. user=mdettweiler [2014-06-14 16:31:47] 999*2^1319847-1 is not prime. Res64: D1F320B022C9483B Time : 0.0 sec. user=mdettweiler [2014-06-14 16:31:47] 747*2^1319848-1 is not prime. Res64: F61F4FAA065DDA99 Time : 0.0 sec. user=mdettweiler [2014-06-14 16:42:45] 803*2^1319848-1 is not prime. Res64: DE1166C59620E27F Time : 0.0 sec. user=mdettweiler [2014-06-14 16:42:45] 845*2^1319848-1 is not prime. Res64: DBA268002D803C51 Time : 0.0 sec. user=mdettweiler [2014-06-14 16:42:49] 729*2^1319849-1 is not prime. Res64: B00847D95AA6927E Time : 0.0 sec. user=mdettweiler [2014-06-14 16:42:50] 909*2^1319849-1 is not prime. Res64: 542F605745F89D8E Time : 0.0 sec. user=mdettweiler [2014-06-14 16:48:16] 635*2^1319850-1 is not prime. Res64: 20FCE7412DE6352B Time : 0.0 sec. user=mdettweiler [2014-06-14 16:48:16] 713*2^1319850-1 is not prime. Res64: 7F010EE93BB70A14 Time : 0.0 sec. user=mdettweiler [2014-06-14 16:56:11] 747*2^1319850-1 is not prime. Res64: B08B2FD876327311 Time : 0.0 sec. user=mdettweiler [2014-06-14 16:56:12] 791*2^1319850-1 is not prime. Res64: E4591E56F79C0BB9 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:08:27] 797*2^1319850-1 is not prime. Res64: A16C53695C0C88CB Time : 0.0 sec. user=mdettweiler [2014-06-14 17:08:28] 803*2^1319850-1 is not prime. Res64: FF5736DD86AAB033 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:08:32] 825*2^1319850-1 is not prime. Res64: 44F4E3F5A1B8A8EF Time : 0.0 sec. user=mdettweiler [2014-06-14 17:08:33] 893*2^1319850-1 is not prime. Res64: 8947D6C722609108 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:12:46] 977*2^1319850-1 is not prime. Res64: 0C4C13C8C2812099 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:12:46] 625*2^1319851-1 is not prime. Res64: A94E5804E7FAD0B0 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:19:33] 651*2^1319851-1 is not prime. Res64: 14C43DE5C8E4CB21 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:19:34] 663*2^1319851-1 is not prime. Res64: 83D0025B6482D0AE Time : 0.0 sec. user=mdettweiler [2014-06-14 17:33:03] 673*2^1319851-1 is not prime. Res64: 6D437A56981DD3CF Time : 0.0 sec. user=mdettweiler [2014-06-14 17:33:03] 805*2^1319851-1 is not prime. Res64: 34FBA6B7A5A31FFC Time : 0.0 sec. user=mdettweiler [2014-06-14 17:34:06] 835*2^1319851-1 is not prime. Res64: 1E69845AA20E15F8 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:34:06] 841*2^1319851-1 is not prime. Res64: 29D8C2DBDE26ECC4 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:37:23] 889*2^1319851-1 is not prime. Res64: 3E081517B6CFCB22 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:37:24] 603*2^1319852-1 is not prime. Res64: 1BF6FEECE75A7691 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:44:06] 617*2^1319852-1 is not prime. Res64: A8EE61C7F67AA270 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:44:06] 827*2^1319852-1 is not prime. Res64: F1BA91C2484DD90C Time : 0.0 sec. user=mdettweiler [2014-06-14 17:58:53] 977*2^1319852-1 is not prime. Res64: 2A687B925783BDB0 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:58:53] 691*2^1319853-1 is not prime. Res64: DCBA26B5134B10B8 Time : 0.0 sec. user=mdettweiler [2014-06-14 17:58:54] 825*2^1319728-1 is not prime. Res64: D24E0899B677A7DE Time : 0.0 sec. user=mdettweiler [2014-06-14 17:58:55] 863*2^1319728-1 is not prime. Res64: 38CB5B70C091E2B6 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:03:21] 787*2^1319853-1 is not prime. Res64: 08F30FA62DE807F5 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:03:23] 847*2^1319853-1 is not prime. Res64: 16ACA3492E276143 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:10:02] 849*2^1319853-1 is not prime. Res64: 41E56D9988492394 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:10:03] 889*2^1319853-1 is not prime. Res64: 8BF1B5CD1F0F7608 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:22:25] 605*2^1319854-1 is not prime. Res64: 849ADA45822B8FEF Time : 0.0 sec. user=mdettweiler [2014-06-14 18:22:25] 657*2^1319854-1 is not prime. Res64: F420A434CF824D56 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:22:26] 741*2^1319854-1 is not prime. Res64: 0F277F891ACA1133 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:22:26] 645*2^1319855-1 is not prime. Res64: C54F73BC8413835D Time : 0.0 sec. user=mdettweiler [2014-06-14 18:27:20] 705*2^1319855-1 is not prime. Res64: 4571A317D5936481 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:27:20] 739*2^1319855-1 is not prime. Res64: EF3250DB381A1FE5 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:36:41] 859*2^1319855-1 is not prime. Res64: 51EB564EC4DB3A1F Time : 0.0 sec. user=mdettweiler [2014-06-14 18:36:42] 689*2^1319856-1 is not prime. Res64: 94C14C1D279D6183 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:51:42] 735*2^1319856-1 is not prime. Res64: 7B8D070C4C87613B Time : 0.0 sec. user=mdettweiler [2014-06-14 18:51:44] 903*2^1319856-1 is not prime. Res64: F5844FFE0E89E3B5 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:55:26] 983*2^1319856-1 is not prime. Res64: 65249DEFF369D866 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:55:26] 993*2^1319856-1 is not prime. Res64: BCFECCA826B367B0 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:59:31] 861*2^1319857-1 is not prime. Res64: DC65BFC82B8142B8 Time : 0.0 sec. user=mdettweiler [2014-06-14 18:59:31] 885*2^1319857-1 is not prime. Res64: 07662F727709B7B0 Time : 0.0 sec. user=juhehe [2014-06-14 19:01:08] 747*2^1319857-1 is not prime. Res64: 846170F85CA0B55E Time : 0.0 sec. user=mdettweiler [2014-06-14 19:07:49] 955*2^1319857-1 is not prime. Res64: 934C95082B11C1CA Time : 0.0 sec. user=mdettweiler [2014-06-14 19:07:50] 713*2^1319858-1 is not prime. Res64: C4ADE9E80DC0C780 Time : 0.0 sec. user=juhehe [2014-06-14 19:11:37] 931*2^1319857-1 is not prime. Res64: F353084A6F9C696B Time : 0.0 sec. user=mdettweiler [2014-06-14 19:22:28] 767*2^1319858-1 is not prime. Res64: F1DAC2694005BDAC Time : 0.0 sec. user=mdettweiler [2014-06-14 19:22:28] 773*2^1319858-1 is not prime. Res64: 848375E27A35515E Time : 0.0 sec. user=mdettweiler [2014-06-14 19:25:40] 791*2^1319858-1 is not prime. Res64: CED0C7D9EC1B6075 Time : 0.0 sec. user=mdettweiler [2014-06-14 19:25:41] 837*2^1319858-1 is not prime. Res64: 3862F9A043C7A35F Time : 0.0 sec. user=mdettweiler [2014-06-14 19:28:55] 857*2^1319858-1 is not prime. Res64: 5D4AC98275FB0764 Time : 0.0 sec. user=mdettweiler [2014-06-14 19:28:55] 893*2^1319858-1 is not prime. Res64: 8131CF7DE013E2A8 Time : 0.0 sec. user=mdettweiler [2014-06-14 19:36:14] 911*2^1319858-1 is not prime. Res64: 18AA887011CCE8D6 Time : 0.0 sec. user=mdettweiler [2014-06-14 19:36:15] 971*2^1319858-1 is not prime. Res64: 89C6EEE76DC5C7CE Time : 0.0 sec. user=mdettweiler [2014-06-14 19:47:14] 633*2^1319859-1 is not prime. Res64: 3BD895D4557D8F96 Time : 0.0 sec. user=mdettweiler [2014-06-14 19:47:14] 663*2^1319859-1 is not prime. Res64: FD3BF0F8C07EEB3B Time : 0.0 sec. user=mdettweiler [2014-06-14 19:50:08] 669*2^1319859-1 is not prime. Res64: C70E30FD58CDAB06 Time : 0.0 sec. user=mdettweiler [2014-06-14 19:50:09] 703*2^1319859-1 is not prime. Res64: EEF2BF6B0226CD0A Time : 0.0 sec. user=mdettweiler [2014-06-14 19:54:28] 709*2^1319859-1 is not prime. Res64: A52E92E991695D18 Time : 0.0 sec. user=mdettweiler [2014-06-14 19:54:28] 775*2^1319859-1 is not prime. Res64: 7A3E36F9627D0366 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:02:52] 853*2^1319859-1 is not prime. Res64: BAD8E820C1C1BDEF Time : 0.0 sec. user=mdettweiler [2014-06-14 20:02:55] 895*2^1319859-1 is not prime. Res64: 1F6DF4230C9D0585 Time : 0.0 sec. user=juhehe [2014-06-14 20:09:00] 843*2^1319859-1 is not prime. Res64: 45C5A93AFB2A54F7 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:13:42] 955*2^1319859-1 is not prime. Res64: 6841415A79030BA5 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:13:42] 975*2^1319859-1 is not prime. Res64: 64B489CCC7411D7F Time : 0.0 sec. user=mdettweiler [2014-06-14 20:14:14] 635*2^1319860-1 is not prime. Res64: C1C512BEF0EFB8C8 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:14:14] 687*2^1319860-1 is not prime. Res64: 581BD6CB68FCECB4 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:20:47] 759*2^1319860-1 is not prime. Res64: DC62C043F14153B7 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:20:47] 855*2^1319860-1 is not prime. Res64: 102FE601B24FB649 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:28:16] 953*2^1319860-1 is not prime. Res64: DF1AD05613F2397B Time : 0.0 sec. user=mdettweiler [2014-06-14 20:28:16] 627*2^1319861-1 is not prime. Res64: 763BA99D0D775756 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:38:22] 651*2^1319862-1 is not prime. Res64: 816911D470D22C81 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:38:22] 681*2^1319862-1 is not prime. Res64: 462F4447720862DB Time : 0.0 sec. user=mdettweiler [2014-06-14 20:38:50] 685*2^1319861-1 is not prime. Res64: 22A3862EA43910E4 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:38:51] 769*2^1319861-1 is not prime. Res64: AF2E349BE215A5EE Time : 0.0 sec. user=mdettweiler [2014-06-14 20:45:34] 683*2^1319862-1 is not prime. Res64: 12C7B935A43E2C1A Time : 0.0 sec. user=mdettweiler [2014-06-14 20:45:34] 891*2^1319862-1 is not prime. Res64: 650C91AFCCCDF433 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:52:07] 609*2^1319863-1 is not prime. Res64: 7795B07E264D9ED6 Time : 0.0 sec. user=mdettweiler [2014-06-14 20:52:07] 615*2^1319863-1 is not prime. Res64: 0D9E709255E93270 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:01:45] 625*2^1319863-1 is not prime. Res64: 918E3E923F293A8F Time : 0.0 sec. user=mdettweiler [2014-06-14 21:01:47] 685*2^1319863-1 is not prime. Res64: 8BFA3FD9E232F088 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:04:38] 763*2^1319863-1 is not prime. Res64: 9729A5540A8456CF Time : 0.0 sec. user=mdettweiler [2014-06-14 21:04:40] 775*2^1319863-1 is not prime. Res64: 789E6B077EAC2B47 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:11:07] 859*2^1319863-1 is not prime. Res64: 2110E4AFBEE861E5 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:11:08] 915*2^1319863-1 is not prime. Res64: B5640B30BF186DCD Time : 0.0 sec. user=juhehe [2014-06-14 21:15:22] 829*2^1319863-1 is not prime. Res64: C3BF3AB7FF5E71F8 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:17:51] 943*2^1319863-1 is not prime. Res64: 7E6B12ADC928B0A2 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:17:52] 803*2^1319864-1 is not prime. Res64: 47B36ADB0CBA22AA Time : 0.0 sec. user=mdettweiler [2014-06-14 21:26:31] 917*2^1319864-1 is not prime. Res64: 68B4E517E2553707 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:26:31] 609*2^1319865-1 is not prime. Res64: D9308F8D2B69AFE4 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:29:17] 727*2^1319865-1 is not prime. Res64: 479EFE0F2E056D26 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:29:18] 795*2^1319865-1 is not prime. Res64: 45C762CA998A3A0A Time : 0.0 sec. user=mdettweiler [2014-06-14 21:36:49] 831*2^1319865-1 is not prime. Res64: C34ED2A516E5C705 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:36:49] 979*2^1319865-1 is not prime. Res64: 4BF15415277A981D Time : 0.0 sec. user=mdettweiler [2014-06-14 21:42:40] 695*2^1319866-1 is not prime. Res64: 96DCAAC4B2A7187F Time : 0.0 sec. user=mdettweiler [2014-06-14 21:42:40] 881*2^1319866-1 is not prime. Res64: 1D8D70A5AFCFA23A Time : 0.0 sec. user=mdettweiler [2014-06-14 21:53:52] 643*2^1319867-1 is not prime. Res64: 0715E9C792C0632B Time : 0.0 sec. user=mdettweiler [2014-06-14 21:53:53] 663*2^1319867-1 is not prime. Res64: A56B870F0EF1EAAE Time : 0.0 sec. user=mdettweiler [2014-06-14 21:53:59] 933*2^1319866-1 is not prime. Res64: 2798FCA61F5302F2 Time : 0.0 sec. user=mdettweiler [2014-06-14 21:54:00] 971*2^1319866-1 is not prime. Res64: 14B247BC4CA8E957 Time : 0.0 sec. user=mdettweiler [2014-06-14 22:04:19] 711*2^1319867-1 is not prime. Res64: F6750864A74C8016 Time : 0.0 sec. user=mdettweiler [2014-06-14 22:04:20] 885*2^1319867-1 is not prime. Res64: 090FCC0476F5EEAE Time : 0.0 sec. user=mdettweiler [2014-06-14 22:12:03] 913*2^1319867-1 is not prime. Res64: C4CB9C77F9F5F1DC Time : 0.0 sec. user=mdettweiler [2014-06-14 22:12:04] 963*2^1319867-1 is not prime. Res64: D6A50A789C0936F2 Time : 0.0 sec. user=juhehe [2014-06-14 22:19:38] 663*2^1319868-1 is not prime. Res64: EFEA9C831523FFF8 Time : 0.0 sec. user=mdettweiler [2014-06-14 22:22:54] 927*2^1319868-1 is not prime. Res64: 2325A638B80AB668 Time : 0.0 sec. user=mdettweiler [2014-06-14 22:22:54] 935*2^1319868-1 is not prime. Res64: 2D3A6205AF89774A Time : 0.0 sec. user=mdettweiler [2014-06-14 22:23:10] 765*2^1319868-1 is not prime. Res64: 82C8061EA4BF617B Time : 0.0 sec. user=mdettweiler [2014-06-14 22:23:10] 839*2^1319868-1 is not prime. Res64: E30A6D5E1F63A6D7 Time : 0.0 sec. user=mdettweiler [2014-06-14 22:31:53] 987*2^1319868-1 is not prime. Res64: 40FBF63FB398407E Time : 0.0 sec. user=mdettweiler [2014-06-14 22:31:54] 625*2^1319869-1 is not prime. Res64: 656F7A5219496DC0 Time : 0.0 sec. user=mdettweiler [2014-06-14 22:37:54] 661*2^1319869-1 is not prime. Res64: 028583C01E9457CE Time : 0.0 sec. user=mdettweiler [2014-06-14 22:37:54] 885*2^1319869-1 is not prime. Res64: 27F3297A0606F2AD Time : 0.0 sec. user=mdettweiler [2014-06-14 22:47:31] 677*2^1319870-1 is not prime. Res64: 18DDB48B21B95D18 Time : 0.0 sec. user=mdettweiler [2014-06-14 22:47:31] 711*2^1319870-1 is not prime. Res64: 5EEF294C80431314 Time : 0.0 sec. user=mdettweiler [2014-06-14 22:49:42] 753*2^1319870-1 is not prime. Res64: 263A27AC460D6143 Time : 0.0 sec. user=mdettweiler [2014-06-14 22:49:42] 897*2^1319870-1 is not prime. Res64: F16E66EAF272FE71 Time : 0.0 sec. user=juhehe [2014-06-14 22:52:15] 975*2^1319869-1 is not prime. Res64: C86FD3B68002D450 Time : 0.0 sec. user=mdettweiler [2014-06-14 22:58:50] 915*2^1319870-1 is not prime. Res64: 89C4CE4B8692F40B Time : 0.0 sec. user=mdettweiler [2014-06-14 22:58:50] 981*2^1319870-1 is not prime. Res64: 0AED147D2A3EEBD0 Time : 0.0 sec. user=mdettweiler [2014-06-14 23:02:41] 619*2^1319871-1 is not prime. Res64: 61AE84B6EC549066 Time : 0.0 sec. user=mdettweiler [2014-06-14 23:02:42] 651*2^1319871-1 is not prime. Res64: D27174D256DA3A9F Time : 0.0 sec. user=mdettweiler [2014-06-14 23:13:35] 709*2^1319871-1 is not prime. Res64: BEBD732D16ABEB21 Time : 0.0 sec. user=mdettweiler [2014-06-14 23:13:35] 751*2^1319871-1 is not prime. Res64: 9ADA45BC2CC05DED Time : 0.0 sec. user=mdettweiler [2014-06-14 23:17:55] 873*2^1319871-1 is not prime. Res64: 135CEE641A525864 Time : 0.0 sec. user=mdettweiler [2014-06-14 23:17:56] 901*2^1319871-1 is not prime. Res64: F18EBE839868E5FB Time : 0.0 sec. user=mdettweiler [2014-06-14 23:27:00] 973*2^1319871-1 is not prime. Res64: 8A02DE03F4EC3737 Time : 0.0 sec. user=mdettweiler [2014-06-14 23:27:01] 979*2^1319871-1 is not prime. Res64: 2147FB7B0D4BB1BF Time : 0.0 sec. user=mdettweiler [2014-06-14 23:29:52] 999*2^1319871-1 is not prime. Res64: D0621A7EDAF0E305 Time : 0.0 sec. user=mdettweiler [2014-06-14 23:29:52] 693*2^1319872-1 is not prime. Res64: D6EDAA19474CB25C Time : 0.0 sec. user=mdettweiler [2014-06-14 23:40:11] 717*2^1319872-1 is not prime. Res64: E85F8B65453EF360 Time : 0.0 sec. user=mdettweiler [2014-06-14 23:40:11] 807*2^1319872-1 is not prime. Res64: 47A3220ECA8E4913 Time : 0.0 sec. user=mdettweiler [2014-06-14 23:46:53] 833*2^1319872-1 is not prime. Res64: 0B63151C170531FC Time : 0.0 sec. user=mdettweiler [2014-06-14 23:46:53] 855*2^1319872-1 is not prime. Res64: 0B4775932E3AB329 Time : 0.0 sec. user=mdettweiler [2014-06-14 23:55:39] 875*2^1319872-1 is not prime. Res64: D247EC1BAE746C1E Time : 0.0 sec. user=mdettweiler [2014-06-14 23:55:39] 903*2^1319872-1 is not prime. Res64: D4685E9F8E0AA0FD Time : 0.0 sec. user=mdettweiler [2014-06-14 23:56:27] 607*2^1319873-1 is not prime. Res64: A83B4CD5A99258A3 Time : 0.0 sec. user=mdettweiler [2014-06-14 23:56:27] 615*2^1319873-1 is not prime. Res64: A26B4BCB16D6EC40 Time : 0.0 sec. user=juhehe [2014-06-14 23:57:55] 857*2^1319872-1 is not prime. Res64: A9B43474BB52729A Time : 0.0 sec.