user=mdettweiler [2016-07-14 00:15:43] 999*2^1435231-1 is not prime. Res64: BC32ECB27351DFB4 Time : 0.0 sec. user=mdettweiler [2016-07-14 00:15:43] 669*2^1435232-1 is not prime. Res64: 75A4226011F7975C Time : 0.0 sec. user=mdettweiler [2016-07-14 00:15:44] 813*2^1435232-1 is not prime. Res64: 28F42A4E220CD551 Time : 0.0 sec. user=mdettweiler [2016-07-14 00:15:44] 815*2^1435232-1 is not prime. Res64: 0E9CDF6273FE7520 Time : 0.0 sec. user=mdettweiler [2016-07-14 00:15:44] 977*2^1435232-1 is not prime. Res64: 61EF3B782DCEC29D Time : 0.0 sec. user=mdettweiler [2016-07-14 00:16:42] 657*2^1435233-1 is not prime. Res64: E4AD80D42C781B80 Time : 0.0 sec. user=mdettweiler [2016-07-14 00:16:42] 735*2^1435233-1 is not prime. Res64: ECBC250D0F6C5404 Time : 0.0 sec. user=mdettweiler [2016-07-14 00:16:42] 861*2^1435233-1 is not prime. Res64: 692A056C745C1364 Time : 0.0 sec. user=mdettweiler [2016-07-14 00:16:43] 891*2^1435233-1 is not prime. Res64: 99E82429003E5D3E Time : 0.0 sec. user=mdettweiler [2016-07-14 00:16:43] 635*2^1435234-1 is not prime. Res64: 82844F9D0C0B428B Time : 0.0 sec. user=mdettweiler [2016-07-14 00:43:21] 663*2^1435234-1 is not prime. Res64: ABE17103D9011CDE Time : 0.0 sec. user=mdettweiler [2016-07-14 00:43:22] 681*2^1435234-1 is not prime. Res64: 5E16C319C8A97158 Time : 0.0 sec. user=mdettweiler [2016-07-14 00:43:22] 705*2^1435234-1 is not prime. Res64: 6CF85A0D3082E73A Time : 0.0 sec. user=mdettweiler [2016-07-14 00:43:23] 755*2^1435234-1 is not prime. Res64: 971F655CF13CCE8D Time : 0.0 sec. user=mdettweiler [2016-07-14 00:43:23] 957*2^1435234-1 is not prime. Res64: 9CA82CB363F62C9F Time : 0.0 sec. user=mdettweiler [2016-07-14 00:43:41] 645*2^1435235-1 is not prime. Res64: 11E296D67748EC14 Time : 0.0 sec. user=mdettweiler [2016-07-14 00:43:41] 679*2^1435235-1 is not prime. Res64: 5CBCA28534AB5AA2 Time : 0.0 sec. user=mdettweiler [2016-07-14 00:43:41] 699*2^1435235-1 is not prime. Res64: B0DE9ABD870E7D2F Time : 0.0 sec. user=mdettweiler [2016-07-14 00:43:42] 741*2^1435235-1 is not prime. Res64: 5AA025EE4957AB48 Time : 0.0 sec. user=mdettweiler [2016-07-14 00:43:42] 753*2^1435235-1 is not prime. Res64: 8BFB100129571E27 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:00:20] 913*2^1435235-1 is not prime. Res64: 89052473F1D17859 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:00:26] 921*2^1435235-1 is not prime. Res64: 382D0FFACC8EE815 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:00:32] 963*2^1435235-1 is not prime. Res64: F6078146C361268D Time : 0.0 sec. user=mdettweiler [2016-07-14 01:00:37] 723*2^1435236-1 is not prime. Res64: CCF366284D1BA679 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:00:43] 767*2^1435236-1 is not prime. Res64: 32F49AC6BD6B0526 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:01:18] 873*2^1435236-1 is not prime. Res64: 6D61221212ECDF8B Time : 0.0 sec. user=mdettweiler [2016-07-14 01:01:23] 969*2^1435236-1 is not prime. Res64: BFB0BA02E7C3D1FB Time : 0.0 sec. user=mdettweiler [2016-07-14 01:01:29] 983*2^1435236-1 is not prime. Res64: E077688B399F4F45 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:01:33] 601*2^1435237-1 is not prime. Res64: E38356371160D458 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:01:38] 639*2^1435237-1 is not prime. Res64: 81C53CF1ED597868 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:28:08] 691*2^1435237-1 is not prime. Res64: FBBD3AB23EFA09D0 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:28:10] 717*2^1435237-1 is not prime. Res64: 5298E302795EFF08 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:28:12] 937*2^1435237-1 is not prime. Res64: 021C08B27E2996C4 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:28:14] 801*2^1435237-1 is not prime. Res64: 42B94AED3B6FB8BC Time : 0.0 sec. user=mdettweiler [2016-07-14 01:28:15] 641*2^1435238-1 is not prime. Res64: 58D9F80D3A22570A Time : 0.0 sec. user=mdettweiler [2016-07-14 01:28:17] 859*2^1435237-1 is not prime. Res64: 371AE88B7FC20C6C Time : 0.0 sec. user=mdettweiler [2016-07-14 01:28:18] 825*2^1435238-1 is not prime. Res64: F073FE75E44E35BB Time : 0.0 sec. user=mdettweiler [2016-07-14 01:28:20] 885*2^1435237-1 is not prime. Res64: 55201BB44A8BBC59 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:28:21] 843*2^1435238-1 is not prime. Res64: DFB152D0407BF962 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:28:23] 713*2^1435240-1 is not prime. Res64: 4E29ADA80EAAB430 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:45:23] 735*2^1435240-1 is not prime. Res64: 6897B00AF55F90F6 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:45:27] 765*2^1435240-1 is not prime. Res64: DB47A76A016544E3 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:45:32] 803*2^1435240-1 is not prime. Res64: 7CE1FAD448D984CE Time : 0.0 sec. user=mdettweiler [2016-07-14 01:45:36] 875*2^1435240-1 is not prime. Res64: 067620C74793CE7F Time : 0.0 sec. user=mdettweiler [2016-07-14 01:45:40] 939*2^1435240-1 is not prime. Res64: 98FFD6E63C72FCBE Time : 0.0 sec. user=mdettweiler [2016-07-14 01:46:26] 975*2^1435240-1 is not prime. Res64: 40CDA62898814F33 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:46:32] 637*2^1435241-1 is not prime. Res64: 38198E55F0551FCC Time : 0.0 sec. user=mdettweiler [2016-07-14 01:46:38] 697*2^1435241-1 is not prime. Res64: 48C5BA2645290E3D Time : 0.0 sec. user=mdettweiler [2016-07-14 01:46:45] 861*2^1435241-1 is not prime. Res64: 42FA856FB7A12A88 Time : 0.0 sec. user=mdettweiler [2016-07-14 01:46:50] 997*2^1435241-1 is not prime. Res64: 5477C10928E9650C Time : 0.0 sec. user=mdettweiler [2016-07-14 02:15:30] 677*2^1435242-1 is not prime. Res64: 5492336552F3E1E6 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:15:34] 765*2^1435243-1 is not prime. Res64: A14AC28617438A4E Time : 0.0 sec. user=mdettweiler [2016-07-14 02:15:34] 717*2^1435242-1 is not prime. Res64: A2EB15A8933E246E Time : 0.0 sec. user=mdettweiler [2016-07-14 02:15:39] 875*2^1435242-1 is not prime. Res64: 089BBF05BDA2ABDD Time : 0.0 sec. user=mdettweiler [2016-07-14 02:15:39] 769*2^1435243-1 is not prime. Res64: EAB40975DF17E85C Time : 0.0 sec. user=mdettweiler [2016-07-14 02:15:43] 887*2^1435242-1 is not prime. Res64: D59616C53680962C Time : 0.0 sec. user=mdettweiler [2016-07-14 02:15:43] 859*2^1435243-1 is not prime. Res64: E8F31E513EB76640 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:15:46] 969*2^1435243-1 is not prime. Res64: 6EE7531E5B0BC935 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:15:46] 917*2^1435242-1 is not prime. Res64: 912AE8CD29232641 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:15:51] 973*2^1435243-1 is not prime. Res64: F1DA8E934AF0D187 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:48:13] 993*2^1435243-1 is not prime. Res64: 454DC740E56BA03F Time : 0.0 sec. user=mdettweiler [2016-07-14 02:48:19] 683*2^1435244-1 is not prime. Res64: 8AF4F75AC1972150 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:48:26] 707*2^1435244-1 is not prime. Res64: BD76073D02746A99 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:48:32] 903*2^1435244-1 is not prime. Res64: AF21E23CDC6BC3CC Time : 0.0 sec. user=mdettweiler [2016-07-14 02:48:38] 915*2^1435244-1 is not prime. Res64: 778BF7E6965AC036 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:48:45] 927*2^1435244-1 is not prime. Res64: F8AC4D8A8CE3FF38 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:48:53] 969*2^1435244-1 is not prime. Res64: 977D81ADF827CAD1 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:49:00] 607*2^1435245-1 is not prime. Res64: 0775E9B5AAFDA37E Time : 0.0 sec. user=mdettweiler [2016-07-14 02:49:07] 741*2^1435245-1 is not prime. Res64: 9FC2AC655D8F9D44 Time : 0.0 sec. user=mdettweiler [2016-07-14 02:49:14] 777*2^1435245-1 is not prime. Res64: 117CD4F8CF3DC6A0 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:15:04] 891*2^1435245-1 is not prime. Res64: 57B3A6C69B9FF402 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:15:04] 651*2^1435246-1 is not prime. Res64: A8278007AF4FA2C9 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:15:05] 653*2^1435246-1 is not prime. Res64: C442B6A6814B4B7B Time : 0.0 sec. user=mdettweiler [2016-07-14 03:15:05] 657*2^1435246-1 is not prime. Res64: 84C11941F82A8A7A Time : 0.0 sec. user=mdettweiler [2016-07-14 03:15:06] 723*2^1435246-1 is not prime. Res64: 92BD05916EF8B81C Time : 0.0 sec. user=mdettweiler [2016-07-14 03:32:39] 865*2^1435247-1 is not prime. Res64: 37829F0E4C6F9119 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:32:46] 979*2^1435247-1 is not prime. Res64: 7BCB41ED98B6F5AE Time : 0.0 sec. user=mdettweiler [2016-07-14 03:32:52] 629*2^1435248-1 is not prime. Res64: 6772962ED19C43E9 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:32:59] 635*2^1435248-1 is not prime. Res64: 5603F9053B903274 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:33:06] 639*2^1435248-1 is not prime. Res64: 42E8B9FAABC757D9 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:33:15] 665*2^1435248-1 is not prime. Res64: 83151DE637E0E1E3 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:33:23] 713*2^1435248-1 is not prime. Res64: 2DECADD287A12C23 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:33:29] 735*2^1435248-1 is not prime. Res64: 8367DB1DB7CE2066 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:33:37] 797*2^1435248-1 is not prime. Res64: 38DE03D2D0470AE6 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:33:44] 839*2^1435248-1 is not prime. Res64: 20A3D1F8E7882903 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:59:02] 929*2^1435248-1 is not prime. Res64: E499494D6DB154CB Time : 0.0 sec. user=mdettweiler [2016-07-14 03:59:06] 959*2^1435248-1 is not prime. Res64: BE7E9ABD764663A2 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:59:10] 639*2^1435249-1 is not prime. Res64: 8EAF3CD5B64A4907 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:59:15] 661*2^1435249-1 is not prime. Res64: 52F6F9A92FF8D2D1 Time : 0.0 sec. user=mdettweiler [2016-07-14 03:59:19] 687*2^1435249-1 is not prime. Res64: 5800174D52998FE6 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:17:11] 691*2^1435249-1 is not prime. Res64: C66A3204B22ADD11 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:17:12] 741*2^1435249-1 is not prime. Res64: B0B62B8DB9827C55 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:17:12] 747*2^1435249-1 is not prime. Res64: AF8ADC71A0C1AECC Time : 0.0 sec. user=mdettweiler [2016-07-14 04:17:13] 775*2^1435249-1 is not prime. Res64: DE4FEE4D15D4F2CC Time : 0.0 sec. user=mdettweiler [2016-07-14 04:17:13] 819*2^1435249-1 is not prime. Res64: CCB8CB0679D9F0BA Time : 0.0 sec. user=mdettweiler [2016-07-14 04:17:45] 835*2^1435249-1 is not prime. Res64: 7CA70086E3B7E091 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:17:46] 855*2^1435249-1 is not prime. Res64: 3A3D06310A7FE804 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:17:46] 951*2^1435249-1 is not prime. Res64: F432A6546E4DFE66 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:17:47] 975*2^1435249-1 is not prime. Res64: A72C17A2B61FD390 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:17:47] 999*2^1435249-1 is not prime. Res64: 62E651DD0D6A6572 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:43:10] 977*2^1435250-1 is not prime. Res64: B970F5C0E7B824B7 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:43:16] 769*2^1435251-1 is not prime. Res64: E4EA7B4A0EC6E88B Time : 0.0 sec. user=mdettweiler [2016-07-14 04:43:22] 801*2^1435251-1 is not prime. Res64: 33AE47B05BBC9304 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:43:27] 949*2^1435251-1 is not prime. Res64: 0C3CD9D3C48215E5 Time : 0.0 sec. user=mdettweiler [2016-07-14 04:43:33] 623*2^1435252-1 is not prime. Res64: BC69C3E1B35E376D Time : 0.0 sec. user=mdettweiler [2016-07-14 05:01:02] 693*2^1435252-1 is not prime. Res64: C244CC79347400E7 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:01:03] 719*2^1435252-1 is not prime. Res64: 81D55F0D7175E1AD Time : 0.0 sec. user=mdettweiler [2016-07-14 05:01:04] 765*2^1435252-1 is not prime. Res64: 999F7DF85FC26524 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:01:05] 843*2^1435252-1 is not prime. Res64: 83260C450A013F3A Time : 0.0 sec. user=mdettweiler [2016-07-14 05:01:06] 855*2^1435252-1 is not prime. Res64: 0FE90DD8BAF96EE3 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:01:35] 959*2^1435252-1 is not prime. Res64: 8BC024EB9AA04A3E Time : 0.0 sec. user=mdettweiler [2016-07-14 05:01:36] 965*2^1435252-1 is not prime. Res64: B2A2512C86D14045 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:01:38] 621*2^1435253-1 is not prime. Res64: E386F28E5557FE34 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:01:39] 685*2^1435253-1 is not prime. Res64: C66F5C924EB4ED29 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:01:40] 757*2^1435253-1 is not prime. Res64: C8F3561E0EE090B7 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:27:25] 867*2^1435253-1 is not prime. Res64: 835659F128E0CC51 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:27:25] 927*2^1435253-1 is not prime. Res64: DB21E80A28251417 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:27:26] 949*2^1435253-1 is not prime. Res64: D9496B7F4023A503 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:27:26] 955*2^1435253-1 is not prime. Res64: 615FA0CB158A576A Time : 0.0 sec. user=mdettweiler [2016-07-14 05:27:27] 627*2^1435254-1 is not prime. Res64: 92F2412AE2CFEFAE Time : 0.0 sec. user=mdettweiler [2016-07-14 05:45:04] 663*2^1435254-1 is not prime. Res64: F2F8F554E3BBFC86 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:45:10] 711*2^1435254-1 is not prime. Res64: 4A898FBF1000A040 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:45:17] 723*2^1435254-1 is not prime. Res64: A13D4ECCB39D1C82 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:45:23] 741*2^1435254-1 is not prime. Res64: FB449DBB33705367 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:45:30] 791*2^1435254-1 is not prime. Res64: 821E3F96FC72DB7F Time : 0.0 sec. user=mdettweiler [2016-07-14 05:45:36] 815*2^1435254-1 is not prime. Res64: DFE9CDCE6EB7E310 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:45:36] 951*2^1435254-1 is not prime. Res64: BD08FB3CE098DD20 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:45:43] 601*2^1435255-1 is not prime. Res64: 517D2CADCC5F94FA Time : 0.0 sec. user=mdettweiler [2016-07-14 05:45:49] 619*2^1435255-1 is not prime. Res64: E2D147F06E815C15 Time : 0.0 sec. user=mdettweiler [2016-07-14 05:45:56] 645*2^1435255-1 is not prime. Res64: 3746D399FE2D6170 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:11:14] 663*2^1435255-1 is not prime. Res64: B39BBAF523C518C7 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:11:15] 673*2^1435255-1 is not prime. Res64: A676FAFB02A2E8EF Time : 0.0 sec. user=mdettweiler [2016-07-14 06:11:16] 705*2^1435255-1 is not prime. Res64: 9D13E3EB613051D5 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:11:16] 759*2^1435255-1 is not prime. Res64: 73487CF544903D4C Time : 0.0 sec. user=mdettweiler [2016-07-14 06:11:17] 805*2^1435255-1 is not prime. Res64: AEA9C5433B331B59 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:29:29] 841*2^1435255-1 is not prime. Res64: 9CC632B33E49CA1A Time : 0.0 sec. user=mdettweiler [2016-07-14 06:29:35] 843*2^1435255-1 is not prime. Res64: ADEEE20D128D5A2C Time : 0.0 sec. user=mdettweiler [2016-07-14 06:29:43] 871*2^1435255-1 is not prime. Res64: 3D2CD710348C737F Time : 0.0 sec. user=mdettweiler [2016-07-14 06:29:50] 909*2^1435255-1 is not prime. Res64: 797C57B929D59DEC Time : 0.0 sec. user=mdettweiler [2016-07-14 06:29:50] 657*2^1435256-1 is not prime. Res64: 91164B8D118F01EC Time : 0.0 sec. user=mdettweiler [2016-07-14 06:29:57] 633*2^1435256-1 is not prime. Res64: C872F225C0004875 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:29:57] 755*2^1435256-1 is not prime. Res64: 22EC22E2A16083C8 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:30:04] 869*2^1435256-1 is not prime. Res64: B4C70A81D0AD27E9 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:30:12] 667*2^1435257-1 is not prime. Res64: 0C44B97C1BAD69EE Time : 0.0 sec. user=mdettweiler [2016-07-14 06:30:18] 805*2^1435257-1 is not prime. Res64: 1716E5537E41A334 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:55:08] 817*2^1435257-1 is not prime. Res64: 418099181762B1E2 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:55:16] 837*2^1435257-1 is not prime. Res64: 1A65755411A1B1C4 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:55:23] 663*2^1435258-1 is not prime. Res64: 8CCD7FD151763392 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:55:30] 671*2^1435258-1 is not prime. Res64: 905DD3559D8CB515 Time : 0.0 sec. user=mdettweiler [2016-07-14 06:55:37] 857*2^1435258-1 is not prime. Res64: BD24C8839CC7A266 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:13:51] 615*2^1435259-1 is not prime. Res64: 12E35001647807AF Time : 0.0 sec. user=mdettweiler [2016-07-14 07:13:52] 645*2^1435259-1 is not prime. Res64: 6DE281C35287993B Time : 0.0 sec. user=mdettweiler [2016-07-14 07:13:52] 705*2^1435259-1 is not prime. Res64: 64754A0AB924D8B6 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:13:53] 711*2^1435259-1 is not prime. Res64: D4DD4952F998C157 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:13:53] 741*2^1435259-1 is not prime. Res64: C0BC92D879D2C0FC Time : 0.0 sec. user=mdettweiler [2016-07-14 07:14:12] 753*2^1435259-1 is not prime. Res64: 7F162DD8D2A70049 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:14:13] 823*2^1435259-1 is not prime. Res64: 1547E0DE716B81B6 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:14:13] 969*2^1435259-1 is not prime. Res64: F0326F458988A3DF Time : 0.0 sec. user=mdettweiler [2016-07-14 07:14:14] 629*2^1435260-1 is not prime. Res64: 106845929B41C5B8 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:14:14] 635*2^1435260-1 is not prime. Res64: 5BA80CB695A293E3 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:39:36] 675*2^1435260-1 is not prime. Res64: 7783D6DC7C66D002 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:39:42] 695*2^1435260-1 is not prime. Res64: 16D95C3F833874EC Time : 0.0 sec. user=mdettweiler [2016-07-14 07:39:48] 809*2^1435260-1 is not prime. Res64: 7D307F5A29329E2A Time : 0.0 sec. user=mdettweiler [2016-07-14 07:39:55] 819*2^1435260-1 is not prime. Res64: 3236603DF73C301B Time : 0.0 sec. user=mdettweiler [2016-07-14 07:40:01] 839*2^1435260-1 is not prime. Res64: 29492EC019E2AB85 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:57:43] 863*2^1435260-1 is not prime. Res64: 3E3CF1FAA1812243 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:57:43] 983*2^1435260-1 is not prime. Res64: 3DE446EC034EF888 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:57:44] 999*2^1435260-1 is not prime. Res64: 8142F92860F9A2CC Time : 0.0 sec. user=mdettweiler [2016-07-14 07:57:44] 607*2^1435261-1 is not prime. Res64: 6C323F4AE7A08D7C Time : 0.0 sec. user=mdettweiler [2016-07-14 07:57:45] 817*2^1435261-1 is not prime. Res64: 56D422A9AB00EB48 Time : 0.0 sec. user=mdettweiler [2016-07-14 07:58:04] 859*2^1435261-1 is not prime. Res64: 3C19531732BC65FE Time : 0.0 sec. user=mdettweiler [2016-07-14 07:58:05] 861*2^1435261-1 is not prime. Res64: 0FCDA89FDD8093CC Time : 0.0 sec. user=mdettweiler [2016-07-14 07:58:05] 617*2^1435262-1 is not prime. Res64: 763DF654FD3FDDCA Time : 0.0 sec. user=mdettweiler [2016-07-14 07:58:06] 791*2^1435262-1 is not prime. Res64: E800A1437580D36E Time : 0.0 sec. user=mdettweiler [2016-07-14 07:58:06] 897*2^1435262-1 is not prime. Res64: 95835ADC9F0F83E5 Time : 0.0 sec. user=mdettweiler [2016-07-14 08:24:02] 613*2^1435263-1 is not prime. Res64: 47E39340F5E100E8 Time : 0.0 sec. user=mdettweiler [2016-07-14 08:24:02] 649*2^1435263-1 is not prime. Res64: 2835C5A84B1BA5AF Time : 0.0 sec. user=mdettweiler [2016-07-14 08:24:03] 805*2^1435263-1 is not prime. Res64: AAFC66CB6070E95E Time : 0.0 sec. user=mdettweiler [2016-07-14 08:24:03] 879*2^1435263-1 is not prime. Res64: FDB251834FB70582 Time : 0.0 sec. user=mdettweiler [2016-07-14 08:24:04] 743*2^1435264-1 is not prime. Res64: B52BBFB1074F2F89 Time : 0.0 sec. user=mdettweiler [2016-07-14 08:41:39] 803*2^1435264-1 is not prime. Res64: 8CC1A7B125DB5D73 Time : 0.0 sec. user=mdettweiler [2016-07-14 08:41:43] 863*2^1435264-1 is not prime. Res64: D42DAD49E62852F2 Time : 0.0 sec. user=mdettweiler [2016-07-14 08:41:47] 903*2^1435264-1 is not prime. Res64: 49C736979950893C Time : 0.0 sec. user=mdettweiler [2016-07-14 08:41:51] 969*2^1435264-1 is not prime. Res64: 7068853F959E5F4D Time : 0.0 sec. user=mdettweiler [2016-07-14 08:41:56] 669*2^1435265-1 is not prime. Res64: 7940441101FCE631 Time : 0.0 sec. user=mdettweiler [2016-07-14 08:42:00] 685*2^1435265-1 is not prime. Res64: 410A94C346D2A31F Time : 0.0 sec. user=mdettweiler [2016-07-14 08:42:04] 715*2^1435265-1 is not prime. Res64: 5DDAF7983727C843 Time : 0.0 sec. user=mdettweiler [2016-07-14 08:42:08] 741*2^1435265-1 is not prime. Res64: 926291EB1971F381 Time : 0.0 sec. user=mdettweiler [2016-07-14 08:42:13] 841*2^1435265-1 is not prime. Res64: E0132D4038DF1C6C Time : 0.0 sec. user=mdettweiler [2016-07-14 08:42:19] 861*2^1435265-1 is not prime. Res64: 8308752DA9802C1A Time : 0.0 sec. user=mdettweiler [2016-07-14 09:07:57] 705*2^1435266-1 is not prime. Res64: 47CC7BB86AFD64F7 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:07:57] 711*2^1435266-1 is not prime. Res64: 858816281190609D Time : 0.0 sec. user=mdettweiler [2016-07-14 09:07:58] 717*2^1435266-1 is not prime. Res64: F75C06AEC1254613 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:07:58] 917*2^1435266-1 is not prime. Res64: 035943B5A018728B Time : 0.0 sec. user=mdettweiler [2016-07-14 09:07:59] 933*2^1435266-1 is not prime. Res64: 8EDDD5ECE75A9D9F Time : 0.0 sec. user=mdettweiler [2016-07-14 09:25:50] 1001*2^1435266-1 is not prime. Res64: C81C5DFC8A4B5B31 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:25:53] 631*2^1435267-1 is not prime. Res64: AE708E1DDEE682D9 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:25:57] 633*2^1435267-1 is not prime. Res64: 1731A09687C83A94 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:26:01] 673*2^1435267-1 is not prime. Res64: 89B0FE824E4375B7 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:26:05] 801*2^1435267-1 is not prime. Res64: C6EED95275660FA1 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:26:13] 889*2^1435267-1 is not prime. Res64: 69CC7E757D84E355 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:26:18] 615*2^1435268-1 is not prime. Res64: 3679420AA754C5CC Time : 0.0 sec. user=mdettweiler [2016-07-14 09:26:22] 683*2^1435268-1 is not prime. Res64: D2385270B9B6042B Time : 0.0 sec. user=mdettweiler [2016-07-14 09:26:25] 767*2^1435268-1 is not prime. Res64: FDA7B749A6380A28 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:26:30] 833*2^1435268-1 is not prime. Res64: A025AC5B56DB67ED Time : 0.0 sec. user=mdettweiler [2016-07-14 09:51:50] 915*2^1435268-1 is not prime. Res64: BE3A39B0DB3A385F Time : 0.0 sec. user=mdettweiler [2016-07-14 09:51:51] 953*2^1435268-1 is not prime. Res64: CA37CCB77BB0D80D Time : 0.0 sec. user=mdettweiler [2016-07-14 09:51:51] 675*2^1435269-1 is not prime. Res64: C622C2E3A0260F85 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:51:52] 811*2^1435269-1 is not prime. Res64: 47E1A69D86E63511 Time : 0.0 sec. user=mdettweiler [2016-07-14 09:51:52] 835*2^1435269-1 is not prime. Res64: C5D22DBB2FFCC6D8 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:10:00] 987*2^1435269-1 is not prime. Res64: CB27697941A0FB19 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:10:07] 603*2^1435270-1 is not prime. Res64: CBC70EBFBAB3F4F1 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:10:14] 657*2^1435270-1 is not prime. Res64: 359193B155CB0632 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:10:19] 695*2^1435270-1 is not prime. Res64: D80FE448889DB283 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:10:24] 755*2^1435270-1 is not prime. Res64: 17ADC03A24F2453E Time : 0.0 sec. user=mdettweiler [2016-07-14 10:10:24] 765*2^1435270-1 is not prime. Res64: B204A49BDF3DD313 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:10:29] 773*2^1435270-1 is not prime. Res64: 0F24D58658027D5A Time : 0.0 sec. user=mdettweiler [2016-07-14 10:10:35] 783*2^1435270-1 is not prime. Res64: AABD98CC3CC997FF Time : 0.0 sec. user=mdettweiler [2016-07-14 10:10:41] 827*2^1435270-1 is not prime. Res64: DE456F629DD28FA3 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:10:47] 833*2^1435270-1 is not prime. Res64: B8668D1E48501381 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:35:56] 891*2^1435270-1 is not prime. Res64: 27E255AC8729F292 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:36:01] 933*2^1435270-1 is not prime. Res64: 47789F32D66FCA43 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:36:07] 945*2^1435270-1 is not prime. Res64: 188B1C370AC4E8C1 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:36:13] 645*2^1435271-1 is not prime. Res64: 189EBCC14566E28F Time : 0.0 sec. user=mdettweiler [2016-07-14 10:36:19] 651*2^1435271-1 is not prime. Res64: 1137A7B2F655CCB3 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:54:17] 703*2^1435271-1 is not prime. Res64: 63E6F3260CD85B81 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:54:18] 711*2^1435271-1 is not prime. Res64: 53B062EAC9A26336 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:54:18] 629*2^1435272-1 is not prime. Res64: 2FA46A8954BDF516 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:54:19] 675*2^1435272-1 is not prime. Res64: 1843A49C5C5155FB Time : 0.0 sec. user=mdettweiler [2016-07-14 10:54:19] 713*2^1435272-1 is not prime. Res64: 157B54371E603458 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:54:37] 843*2^1435272-1 is not prime. Res64: AA02285FD768F67A Time : 0.0 sec. user=mdettweiler [2016-07-14 10:54:37] 909*2^1435272-1 is not prime. Res64: 00358893CD1BC9E9 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:54:37] 947*2^1435272-1 is not prime. Res64: 828CC9E4F210E6C4 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:54:38] 639*2^1435273-1 is not prime. Res64: E2E8C08F4C608860 Time : 0.0 sec. user=mdettweiler [2016-07-14 10:54:38] 705*2^1435273-1 is not prime. Res64: 0438C11986F83AF1 Time : 0.0 sec. user=mdettweiler [2016-07-14 11:20:22] 741*2^1435273-1 is not prime. Res64: 009F79E70AA74023 Time : 0.0 sec. user=mdettweiler [2016-07-14 11:20:27] 765*2^1435273-1 is not prime. Res64: EEDDB0B04934B4E2 Time : 0.0 sec. user=mdettweiler [2016-07-14 11:20:33] 771*2^1435273-1 is not prime. Res64: D8F629595AC0C9D1 Time : 0.0 sec. user=mdettweiler [2016-07-14 11:20:33] 819*2^1435273-1 is not prime. Res64: CD367C434C16FCCF Time : 0.0 sec. user=mdettweiler [2016-07-14 11:20:38] 855*2^1435273-1 is not prime. Res64: 688FB62C8AA1E538 Time : 0.0 sec. user=mdettweiler [2016-07-14 11:38:13] 861*2^1435273-1 is not prime. Res64: 6FCD329576D3991C Time : 0.0 sec. user=mdettweiler [2016-07-14 11:38:13] 867*2^1435273-1 is not prime. Res64: 3E0C5E84F5548C81 Time : 0.0 sec. user=mdettweiler [2016-07-14 11:38:14] 897*2^1435273-1 is not prime. Res64: A5D87E36312ECB07 Time : 0.0 sec. user=mdettweiler [2016-07-14 11:38:14] 985*2^1435273-1 is not prime. Res64: 863F9B4B1DE7DBF3 Time : 0.0 sec. user=mdettweiler [2016-07-14 11:38:14] 651*2^1435274-1 is not prime. Res64: 5A34DA7F67DE184B Time : 0.0 sec. user=mdettweiler [2016-07-14 11:38:34] 665*2^1435274-1 is not prime. Res64: 92E677EA4C16958B Time : 0.0 sec. user=mdettweiler [2016-07-14 11:38:34] 675*2^1435274-1 is not prime. Res64: 17A2BBBD3B5AD659 Time : 0.0 sec. user=mdettweiler [2016-07-14 11:38:34] 743*2^1435274-1 is not prime. Res64: BEFEDFEB0EDFB94C Time : 0.0 sec. user=mdettweiler [2016-07-14 11:38:35] 783*2^1435274-1 is not prime. Res64: DC74A3DDF9EE1F09 Time : 0.0 sec. user=mdettweiler [2016-07-14 11:38:35] 825*2^1435274-1 is not prime. Res64: A2F5C3F931373935 Time : 0.0 sec. user=mdettweiler [2016-07-14 12:04:48] 831*2^1435274-1 is not prime. Res64: D012CAD061E01C28 Time : 0.0 sec. user=mdettweiler [2016-07-14 12:04:50] 833*2^1435274-1 is not prime. Res64: 3F45AF916D2E7EE7 Time : 0.0 sec. user=mdettweiler [2016-07-14 12:04:51] 935*2^1435274-1 is not prime. Res64: BBA7FBB2B488BEC6 Time : 0.0 sec. user=mdettweiler [2016-07-14 12:04:52] 1001*2^1435274-1 is not prime. Res64: A4D3FD594C917E9F Time : 0.0 sec. user=mdettweiler [2016-07-14 12:04:53] 619*2^1435275-1 is not prime. Res64: 4E1F640408CF912C Time : 0.0 sec. user=mdettweiler [2016-07-14 12:22:23] 679*2^1435275-1 is not prime. Res64: CF2F246C4141DE4C Time : 0.0 sec. user=mdettweiler [2016-07-14 12:22:29] 819*2^1435275-1 is not prime. Res64: 35A99EF2A8A6963E Time : 0.0 sec. user=mdettweiler [2016-07-14 12:22:35] 853*2^1435275-1 is not prime. Res64: 62A291E8949CDF8A Time : 0.0 sec. user=mdettweiler [2016-07-14 12:22:40] 903*2^1435275-1 is not prime. Res64: DD70A020CD49342A Time : 0.0 sec. user=mdettweiler [2016-07-14 12:22:46] 695*2^1435276-1 is not prime. Res64: 0F048C6528923517 Time : 0.0 sec. user=mdettweiler [2016-07-14 12:22:46] 657*2^1435276-1 is not prime. Res64: E14ABB2161AF2F58 Time : 0.0 sec. user=mdettweiler [2016-07-14 12:22:52] 707*2^1435276-1 is not prime. Res64: B74507F19F748BC6 Time : 0.0 sec. user=mdettweiler [2016-07-14 12:22:57] 773*2^1435276-1 is not prime. Res64: F6748ABE6EEFC3AE Time : 0.0 sec. user=mdettweiler [2016-07-14 12:23:02] 839*2^1435276-1 is not prime. Res64: 86DA393E1A3EFF14 Time : 0.0 sec. user=mdettweiler [2016-07-14 12:23:07] 855*2^1435276-1 is not prime. Res64: 20DA036E9B55D84C Time : 0.0 sec. user=mdettweiler [2016-07-14 12:48:51] 869*2^1435276-1 is not prime. Res64: 0275D5988A0F887F Time : 0.0 sec. user=mdettweiler [2016-07-14 12:48:51] 899*2^1435276-1 is not prime. Res64: 24CBA2A77B852E17 Time : 0.0 sec. user=mdettweiler [2016-07-14 12:48:52] 903*2^1435276-1 is not prime. Res64: 28126442E42F83B7 Time : 0.0 sec. user=mdettweiler [2016-07-14 12:48:52] 989*2^1435276-1 is not prime. Res64: 88A7FCF87DF7568D Time : 0.0 sec. user=mdettweiler [2016-07-14 12:48:52] 715*2^1435277-1 is not prime. Res64: 09E68F15A0E153E0 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:06:53] 901*2^1435277-1 is not prime. Res64: 0857094CD52221DA Time : 0.0 sec. user=mdettweiler [2016-07-14 13:06:57] 967*2^1435277-1 is not prime. Res64: 3D5DA23A9891970C Time : 0.0 sec. user=mdettweiler [2016-07-14 13:07:01] 611*2^1435278-1 is not prime. Res64: 437FC91A838435BD Time : 0.0 sec. user=mdettweiler [2016-07-14 13:07:05] 641*2^1435278-1 is not prime. Res64: 938F83140F50122D Time : 0.0 sec. user=mdettweiler [2016-07-14 13:07:09] 647*2^1435278-1 is not prime. Res64: 04E4A52190BFF915 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:07:09] 761*2^1435278-1 is not prime. Res64: 33CC7B6598D79926 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:07:13] 765*2^1435278-1 is not prime. Res64: 39FC8F75B983F3CF Time : 0.0 sec. user=mdettweiler [2016-07-14 13:07:17] 933*2^1435278-1 is not prime. Res64: 3B82045F71CE53E1 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:07:21] 1001*2^1435278-1 is not prime. Res64: 630F6EAF219D4E95 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:07:25] 705*2^1435279-1 is not prime. Res64: 1BF9977C57F83D33 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:32:49] 771*2^1435279-1 is not prime. Res64: 887F326796F5C343 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:32:54] 919*2^1435279-1 is not prime. Res64: 2DD0077B8B7F0DA6 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:32:58] 633*2^1435280-1 is not prime. Res64: 3726C109574408B2 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:33:02] 669*2^1435280-1 is not prime. Res64: 357645D9D46CDE7D Time : 0.0 sec. user=mdettweiler [2016-07-14 13:33:06] 687*2^1435280-1 is not prime. Res64: 8827DFE066E9F99F Time : 0.0 sec. user=mdettweiler [2016-07-14 13:51:11] 717*2^1435280-1 is not prime. Res64: 88BAE0E1E9DA54C9 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:51:11] 743*2^1435280-1 is not prime. Res64: 0959A2DB8E5EEE6E Time : 0.0 sec. user=mdettweiler [2016-07-14 13:51:12] 767*2^1435280-1 is not prime. Res64: FA4C03CC63E715E5 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:51:12] 797*2^1435280-1 is not prime. Res64: 1F9D0A2F9D40D243 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:51:13] 803*2^1435280-1 is not prime. Res64: C46E3CED8356689E Time : 0.0 sec. user=mdettweiler [2016-07-14 13:51:26] 855*2^1435280-1 is not prime. Res64: 3BBF84D80AAFB159 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:51:26] 959*2^1435280-1 is not prime. Res64: 97F71DC8C6D2E423 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:51:27] 999*2^1435280-1 is not prime. Res64: 2FFBB0D5D37F9FA3 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:51:27] 625*2^1435281-1 is not prime. Res64: 50F580C2896371F9 Time : 0.0 sec. user=mdettweiler [2016-07-14 13:51:27] 871*2^1435281-1 is not prime. Res64: 788ABE896B108AA9 Time : 0.0 sec. user=mdettweiler [2016-07-14 14:17:07] 997*2^1435281-1 is not prime. Res64: 19A2AC79E24D3A93 Time : 0.0 sec. user=mdettweiler [2016-07-14 14:17:12] 611*2^1435282-1 is not prime. Res64: 06CC1DB74AA3BFEF Time : 0.0 sec. user=mdettweiler [2016-07-14 14:17:18] 665*2^1435282-1 is not prime. Res64: C6C0BEA0CE5E43AA Time : 0.0 sec. user=mdettweiler [2016-07-14 14:17:24] 671*2^1435282-1 is not prime. Res64: B5E2B5DA7F4AB323 Time : 0.0 sec. user=mdettweiler [2016-07-14 14:17:29] 741*2^1435282-1 is not prime. Res64: 88CB65328627D2C1 Time : 0.0 sec. user=mdettweiler [2016-07-14 14:35:08] 791*2^1435282-1 is not prime. Res64: 835955674B3EBCDE Time : 0.0 sec. user=mdettweiler [2016-07-14 14:35:09] 813*2^1435282-1 is not prime. Res64: 80FF5413A6B88599 Time : 0.0 sec. user=mdettweiler [2016-07-14 14:35:09] 831*2^1435282-1 is not prime. Res64: 86A0DAA8CB178034 Time : 0.0 sec. user=mdettweiler [2016-07-14 14:35:10] 833*2^1435282-1 is not prime. Res64: BABF7BAF0E993367 Time : 0.0 sec. user=mdettweiler [2016-07-14 14:35:10] 873*2^1435282-1 is not prime. Res64: 142ED69BEFFD388D Time : 0.0 sec. user=mdettweiler [2016-07-14 14:35:26] 885*2^1435282-1 is not prime. Res64: F6F6D3830FECE49D Time : 0.0 sec. user=mdettweiler [2016-07-14 14:35:27] 951*2^1435282-1 is not prime. Res64: 449D49E40C16D77E Time : 0.0 sec. user=mdettweiler [2016-07-14 14:35:27] 975*2^1435282-1 is not prime. Res64: E04F663E0884559B Time : 0.0 sec. user=mdettweiler [2016-07-14 14:35:27] 983*2^1435282-1 is not prime. Res64: 6BB4E8E3309B7D78 Time : 0.0 sec. user=mdettweiler [2016-07-14 14:35:28] 609*2^1435283-1 is not prime. Res64: 9187BCF26058B421 Time : 0.0 sec. user=mdettweiler [2016-07-14 15:01:30] 633*2^1435283-1 is not prime. Res64: E19F2112DB1F1F20 Time : 0.0 sec. user=mdettweiler [2016-07-14 15:01:31] 663*2^1435283-1 is not prime. Res64: 4A8B249A8A5BD6FC Time : 0.0 sec. user=mdettweiler [2016-07-14 15:01:32] 685*2^1435283-1 is not prime. Res64: 4C0E9CAF079C85B6 Time : 0.0 sec. user=mdettweiler [2016-07-14 15:01:33] 915*2^1435283-1 is not prime. Res64: 367CF6C34C26832B Time : 0.0 sec. user=mdettweiler [2016-07-14 15:01:34] 981*2^1435283-1 is not prime. Res64: 9E9AF46A320D3C37 Time : 0.0 sec. user=mdettweiler [2016-07-14 15:19:32] 627*2^1435284-1 is not prime. Res64: B5EEACECA595CCF4 Time : 0.0 sec. user=mdettweiler [2016-07-14 15:19:32] 789*2^1435284-1 is not prime. Res64: BCD8E354A6B9BE43 Time : 0.0 sec. user=mdettweiler [2016-07-14 15:47:02] 775*2^1435285-1 is not prime. Res64: E9072784E7C887C9 Time : 0.0 sec. user=mdettweiler [2016-07-14 15:47:02] 805*2^1435285-1 is not prime. Res64: 3B6ECC26F1641670 Time : 0.0 sec. user=mdettweiler [2016-07-14 15:47:02] 817*2^1435285-1 is not prime. Res64: C88F3CA1CD4AD8DB Time : 0.0 sec. user=mdettweiler [2016-07-14 15:47:03] 895*2^1435285-1 is not prime. Res64: BC0BBF4F10EB45DD Time : 0.0 sec. user=mdettweiler [2016-07-14 15:47:03] 645*2^1435286-1 is not prime. Res64: C586F2FBD99336BD Time : 0.0 sec. user=mdettweiler [2016-07-14 16:34:05] 705*2^1435286-1 is not prime. Res64: 665F983899E8E21C Time : 0.0 sec. user=mdettweiler [2016-07-14 16:34:09] 741*2^1435286-1 is not prime. Res64: 507076708EF22E39 Time : 0.0 sec. user=mdettweiler [2016-07-14 16:34:13] 795*2^1435286-1 is not prime. Res64: FCA339CADA8E8D69 Time : 0.0 sec. user=mdettweiler [2016-07-14 16:34:17] 921*2^1435286-1 is not prime. Res64: CE070204F1FE5A8E Time : 0.0 sec. user=mdettweiler [2016-07-14 16:34:21] 923*2^1435286-1 is not prime. Res64: FD294FC7421EE796 Time : 0.0 sec. user=mdettweiler [2016-07-14 17:20:26] 711*2^1435287-1 is not prime. Res64: 509E8A0147EA10C4 Time : 0.0 sec. user=mdettweiler [2016-07-14 17:20:31] 739*2^1435287-1 is not prime. Res64: 259F47F9C5DC91E2 Time : 0.0 sec. user=mdettweiler [2016-07-14 17:20:37] 825*2^1435287-1 is not prime. Res64: 9BD92127D249226D Time : 0.0 sec. user=mdettweiler [2016-07-14 17:20:42] 933*2^1435287-1 is not prime. Res64: CB889933C356862C Time : 0.0 sec. user=mdettweiler [2016-07-14 17:20:46] 657*2^1435288-1 is not prime. Res64: AA1FBC1A4CBC0CF2 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:06:58] 723*2^1435288-1 is not prime. Res64: FB9CD34D2A7D99B2 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:06:58] 743*2^1435288-1 is not prime. Res64: 70C40DD29DE587F1 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:06:59] 765*2^1435288-1 is not prime. Res64: 956B9FBFA6EB562C Time : 0.0 sec. user=mdettweiler [2016-07-14 18:06:59] 825*2^1435288-1 is not prime. Res64: F02B8DD0880BD999 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:07:00] 849*2^1435288-1 is not prime. Res64: 826B48BDA47EADFD Time : 0.0 sec. user=mdettweiler [2016-07-14 18:53:15] 855*2^1435288-1 is not prime. Res64: 3CF0C0866DA346E2 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:53:16] 957*2^1435288-1 is not prime. Res64: 3F8DE430432F9835 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:53:22] 745*2^1435289-1 is not prime. Res64: F4ABFFEABF61655E Time : 0.0 sec. user=mdettweiler [2016-07-14 18:53:28] 769*2^1435289-1 is not prime. Res64: 65A9CD844496F742 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:53:35] 847*2^1435289-1 is not prime. Res64: A242E232E8DAB1D6 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:55:47] 675*2^1435284-1 is not prime. Res64: 05A2217A794A4529 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:55:54] 863*2^1435284-1 is not prime. Res64: 6BD4BB0A80C2F272 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:55:54] 693*2^1435284-1 is not prime. Res64: 1E7FE7BF9348248C Time : 0.0 sec. user=mdettweiler [2016-07-14 18:56:00] 695*2^1435284-1 is not prime. Res64: 2AC7EFBEADF43032 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:56:00] 945*2^1435284-1 is not prime. Res64: 02E2AE5DEE778165 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:56:07] 705*2^1435284-1 is not prime. Res64: 5499EEEFA67E76C2 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:56:07] 947*2^1435284-1 is not prime. Res64: 31AE0C0FB84750C1 Time : 0.0 sec. user=mdettweiler [2016-07-14 18:56:13] 721*2^1435285-1 is not prime. Res64: 4B90383AD74BF954 Time : 0.0 sec. user=mdettweiler [2016-07-14 19:37:37] 967*2^1435289-1 is not prime. Res64: 032E0B53D7BE6395 Time : 0.0 sec. user=mdettweiler [2016-07-14 19:37:44] 997*2^1435289-1 is not prime. Res64: E9FBFCD8FEF8BCC1 Time : 0.0 sec. user=mdettweiler [2016-07-14 19:37:51] 647*2^1435290-1 is not prime. Res64: A66F83166D45C81B Time : 0.0 sec. user=mdettweiler [2016-07-14 19:37:58] 845*2^1435290-1 is not prime. Res64: C34AE4A6D0AD4E7F Time : 0.0 sec. user=mdettweiler [2016-07-14 19:37:58] 873*2^1435290-1 is not prime. Res64: D5E0F23B5C6FDC79 Time : 0.0 sec. user=mdettweiler [2016-07-14 19:40:07] 977*2^1435290-1 is not prime. Res64: 77DB561FE7B6850D Time : 0.0 sec. user=mdettweiler [2016-07-14 19:40:14] 619*2^1435291-1 is not prime. Res64: 452322B78CE7A146 Time : 0.0 sec. user=mdettweiler [2016-07-14 19:40:20] 873*2^1435291-1 is not prime. Res64: EDEACAA89DE552EF Time : 0.0 sec. user=mdettweiler [2016-07-14 19:40:20] 649*2^1435291-1 is not prime. Res64: 692887FB64E2BFE0 Time : 0.0 sec. user=mdettweiler [2016-07-14 19:40:26] 793*2^1435291-1 is not prime. Res64: 233D5BC4DA3B86C4 Time : 0.0 sec. user=mdettweiler [2016-07-14 19:40:26] 901*2^1435291-1 is not prime. Res64: E99AF5773A2B245D Time : 0.0 sec. user=mdettweiler [2016-07-14 19:40:27] 961*2^1435291-1 is not prime. Res64: 07F8FF7459180B74 Time : 0.0 sec. user=mdettweiler [2016-07-14 19:40:27] 841*2^1435291-1 is not prime. Res64: 8ACC0B257849BBEE Time : 0.0 sec. user=mdettweiler [2016-07-14 19:40:33] 993*2^1435291-1 is not prime. Res64: 5CC897251F549C08 Time : 0.0 sec. user=mdettweiler [2016-07-14 19:40:40] 609*2^1435292-1 is not prime. Res64: DB8BCFA04BEC03C5 Time : 0.0 sec. user=mdettweiler [2016-07-14 20:22:02] 629*2^1435292-1 is not prime. Res64: 3A89C406FBAFA0B1 Time : 0.0 sec. user=mdettweiler [2016-07-14 20:22:08] 675*2^1435292-1 is not prime. Res64: 3ACF447ADB86EBB9 Time : 0.0 sec. user=mdettweiler [2016-07-14 20:22:09] 717*2^1435292-1 is not prime. Res64: 1976F5DC9CCB8F8F Time : 0.0 sec. user=mdettweiler [2016-07-14 20:22:15] 749*2^1435292-1 is not prime. Res64: 0FAEAE00F607564F Time : 0.0 sec. user=mdettweiler [2016-07-14 20:22:22] 833*2^1435292-1 is not prime. Res64: F7BC6B47A6D009D2 Time : 0.0 sec. user=mdettweiler [2016-07-14 20:24:23] 843*2^1435292-1 is not prime. Res64: 42BA175A02A4D601 Time : 0.0 sec. user=mdettweiler [2016-07-14 20:24:29] 903*2^1435292-1 is not prime. Res64: 135653E00E2B33E5 Time : 0.0 sec. user=mdettweiler [2016-07-14 20:24:36] 915*2^1435292-1 is not prime. Res64: AE8908005E72557D Time : 0.0 sec. user=mdettweiler [2016-07-14 20:24:43] 817*2^1435293-1 is not prime. Res64: F5DD40DD18F9663D Time : 0.0 sec. user=mdettweiler [2016-07-14 20:24:43] 945*2^1435292-1 is not prime. Res64: 89CA1E8710DB54E9 Time : 0.0 sec. user=mdettweiler [2016-07-14 20:24:50] 787*2^1435293-1 is not prime. Res64: A330D3A0CD19086B Time : 0.0 sec. user=mdettweiler [2016-07-14 20:24:50] 871*2^1435293-1 is not prime. Res64: 709D79C8AE9D8291 Time : 0.0 sec. user=mdettweiler [2016-07-14 20:24:57] 937*2^1435293-1 is not prime. Res64: 09BEE4642AE9B2D7 Time : 0.0 sec. user=mdettweiler [2016-07-14 20:25:04] 985*2^1435293-1 is not prime. Res64: 282F708CED117702 Time : 0.0 sec. user=mdettweiler [2016-07-14 20:25:05] 881*2^1435294-1 is not prime. Res64: 6EFB37A5861AB065 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:06:33] 887*2^1435294-1 is not prime. Res64: 8B7742370554F2B3 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:06:34] 957*2^1435294-1 is not prime. Res64: F5CFC5EE81EF4D9F Time : 0.0 sec. user=mdettweiler [2016-07-14 21:06:35] 975*2^1435294-1 is not prime. Res64: E5065046E1DDCCB2 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:06:35] 715*2^1435295-1 is not prime. Res64: 5509DB1FF9D51F16 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:06:36] 759*2^1435295-1 is not prime. Res64: 81C1CEE02D11BC60 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:09:09] 735*2^1435296-1 is not prime. Res64: 148E69AAE2644013 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:09:09] 899*2^1435296-1 is not prime. Res64: BA320E3C9BAE8905 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:09:10] 927*2^1435296-1 is not prime. Res64: D8EBA5C406C02C42 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:09:10] 615*2^1435297-1 is not prime. Res64: BC87CAF0B7FB38D5 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:09:10] 717*2^1435297-1 is not prime. Res64: 42D4C3BC641E7E39 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:09:22] 783*2^1435295-1 is not prime. Res64: 3B30BED938EA8A95 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:09:23] 889*2^1435295-1 is not prime. Res64: 1F8A641CA7A9FAF9 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:09:24] 915*2^1435295-1 is not prime. Res64: 2FFD6313B6BADD9C Time : 0.0 sec. user=mdettweiler [2016-07-14 21:09:24] 949*2^1435295-1 is not prime. Res64: 58A26C4A356F0EED Time : 0.0 sec. user=mdettweiler [2016-07-14 21:09:25] 635*2^1435296-1 is not prime. Res64: C2D183C2BD917099 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:51:44] 729*2^1435297-1 is not prime. Res64: F1CA1417F3D7C257 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:51:45] 741*2^1435297-1 is not prime. Res64: 8BAFED8AE6767E10 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:51:45] 901*2^1435297-1 is not prime. Res64: 5F516055338508D2 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:51:45] 915*2^1435297-1 is not prime. Res64: 6A3C33384971ABB4 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:51:46] 955*2^1435297-1 is not prime. Res64: E43CBABD402B1FA8 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:53:29] 767*2^1435298-1 is not prime. Res64: 03F349925488B94A Time : 0.0 sec. user=mdettweiler [2016-07-14 21:53:29] 831*2^1435298-1 is not prime. Res64: 6FBB51745F90033F Time : 0.0 sec. user=mdettweiler [2016-07-14 21:53:29] 843*2^1435298-1 is not prime. Res64: A353AE394F5EE286 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:53:30] 861*2^1435298-1 is not prime. Res64: BC83B126ED033825 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:53:30] 875*2^1435298-1 is not prime. Res64: 36086D955C69C9F2 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:53:39] 893*2^1435298-1 is not prime. Res64: 11180D19A7E14BDF Time : 0.0 sec. user=mdettweiler [2016-07-14 21:53:39] 609*2^1435299-1 is not prime. Res64: C6EF27DBB7C492D4 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:53:39] 741*2^1435299-1 is not prime. Res64: 125ECD645552F186 Time : 0.0 sec. user=mdettweiler [2016-07-14 21:53:40] 793*2^1435299-1 is not prime. Res64: 9A7DC93EA664747E Time : 0.0 sec. user=mdettweiler [2016-07-14 21:53:40] 823*2^1435299-1 is not prime. Res64: C0432F587E66EF9C Time : 0.0 sec. user=mdettweiler [2016-07-14 22:35:51] 835*2^1435299-1 is not prime. Res64: E0DB21D9E86F1310 Time : 0.0 sec. user=mdettweiler [2016-07-14 22:35:56] 913*2^1435299-1 is not prime. Res64: 8826182992EF4E2B Time : 0.0 sec. user=mdettweiler [2016-07-14 22:36:00] 931*2^1435299-1 is not prime. Res64: 69FE482498A011AE Time : 0.0 sec. user=mdettweiler [2016-07-14 22:36:04] 943*2^1435299-1 is not prime. Res64: 4121C4DD56D65E20 Time : 0.0 sec. user=mdettweiler [2016-07-14 22:36:04] 961*2^1435299-1 is not prime. Res64: B2B8FB9889CE690B Time : 0.0 sec. user=mdettweiler [2016-07-14 22:37:32] 975*2^1435299-1 is not prime. Res64: B842885A6DD32A4F Time : 0.0 sec. user=mdettweiler [2016-07-14 22:37:39] 635*2^1435300-1 is not prime. Res64: 0A2B5DA352CE068B Time : 0.0 sec. user=mdettweiler [2016-07-14 22:37:46] 653*2^1435300-1 is not prime. Res64: A1068EC8B03F4EA1 Time : 0.0 sec. user=mdettweiler [2016-07-14 22:37:46] 663*2^1435300-1 is not prime. Res64: 68FC3A3494509808 Time : 0.0 sec. user=mdettweiler [2016-07-14 22:37:54] 689*2^1435300-1 is not prime. Res64: 460D9A1671FBE4B8 Time : 0.0 sec. user=mdettweiler [2016-07-14 22:37:54] 677*2^1435300-1 is not prime. Res64: A81D5A1F14CC7FE8 Time : 0.0 sec. user=mdettweiler [2016-07-14 22:38:00] 719*2^1435300-1 is not prime. Res64: F4F79618904E8E35 Time : 0.0 sec. user=mdettweiler [2016-07-14 22:38:07] 863*2^1435300-1 is not prime. Res64: D638422A3C8EF5D5 Time : 0.0 sec. user=mdettweiler [2016-07-14 22:38:07] 957*2^1435300-1 is not prime. Res64: 0B18B9771D2E111B Time : 0.0 sec. user=mdettweiler [2016-07-14 22:38:14] 615*2^1435301-1 is not prime. Res64: 4730C96A664C8E64 Time : 0.0 sec. user=mdettweiler [2016-07-14 23:20:03] 619*2^1435301-1 is not prime. Res64: 6F668B3A28813ACB Time : 0.0 sec. user=mdettweiler [2016-07-14 23:20:07] 885*2^1435302-1 is not prime. Res64: 562A12F2E2AF9C25 Time : 0.0 sec. user=mdettweiler [2016-07-14 23:20:11] 941*2^1435302-1 is not prime. Res64: CCE5C66751ACB055 Time : 0.0 sec. user=mdettweiler [2016-07-14 23:20:15] 609*2^1435303-1 is not prime. Res64: 2588D0B143E4B085 Time : 0.0 sec. user=mdettweiler [2016-07-14 23:20:19] 639*2^1435303-1 is not prime. Res64: FE06616FF48ED5E4 Time : 0.0 sec. user=mdettweiler [2016-07-14 23:22:02] 709*2^1435303-1 is not prime. Res64: E082DFCD86A638B7 Time : 0.0 sec. user=mdettweiler [2016-07-14 23:22:08] 793*2^1435303-1 is not prime. Res64: 1AA40FCFDBDC486F Time : 0.0 sec. user=mdettweiler [2016-07-14 23:22:15] 925*2^1435303-1 is not prime. Res64: 175A53A42E6B4707 Time : 0.0 sec. user=mdettweiler [2016-07-14 23:22:22] 969*2^1435303-1 is not prime. Res64: A11686CC9B326FAB Time : 0.0 sec. user=mdettweiler [2016-07-14 23:22:22] 795*2^1435304-1 is not prime. Res64: 0BADFCAAADB4E634 Time : 0.0 sec. user=mdettweiler [2016-07-14 23:22:28] 923*2^1435304-1 is not prime. Res64: F0AB648CA1C3A34B Time : 0.0 sec. user=mdettweiler [2016-07-14 23:22:28] 993*2^1435303-1 is not prime. Res64: F85D47A02E659B88 Time : 0.0 sec. user=mdettweiler [2016-07-14 23:22:29] 945*2^1435304-1 is not prime. Res64: 850182A175F43438 Time : 0.0 sec. user=mdettweiler [2016-07-14 23:22:35] 625*2^1435305-1 is not prime. Res64: A83337D9B50F74AD Time : 0.0 sec. user=mdettweiler [2016-07-14 23:22:42] 787*2^1435305-1 is not prime. Res64: E32D99556C3DDEF8 Time : 0.0 sec.