user=mdettweiler [2016-11-06 00:15:03] 657*2^1445088-1 is not prime. Res64: 1278FDF7C797A011 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:15:04] 737*2^1445088-1 is not prime. Res64: F0B7AA7BC0DC95C9 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:15:05] 809*2^1445088-1 is not prime. Res64: 5507788AC6AF1719 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:15:06] 815*2^1445088-1 is not prime. Res64: 6D0839F31B0D3D55 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:15:06] 845*2^1445088-1 is not prime. Res64: 60CCFA1B3058DF85 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:24:25] 923*2^1445088-1 is not prime. Res64: 014B31EFDE388D60 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:24:25] 929*2^1445088-1 is not prime. Res64: 005E37D7C9887583 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:24:25] 975*2^1445088-1 is not prime. Res64: 5D945D3F22584B10 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:24:26] 999*2^1445088-1 is not prime. Res64: 884B678F5DE0D46D Time : 0.0 sec. user=mdettweiler [2016-11-06 00:24:26] 817*2^1445089-1 is not prime. Res64: 3D0374F4788E08DD Time : 0.0 sec. user=mdettweiler [2016-11-06 00:31:15] 841*2^1445089-1 is not prime. Res64: B28444D469F84C17 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:31:16] 919*2^1445089-1 is not prime. Res64: E1594B1926BB4A1F Time : 0.0 sec. user=mdettweiler [2016-11-06 00:31:16] 665*2^1445090-1 is not prime. Res64: 398A9935EE1D8485 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:31:16] 675*2^1445090-1 is not prime. Res64: 079B752542062904 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:31:16] 711*2^1445090-1 is not prime. Res64: 93078AFAF8187EB0 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:51:08] 731*2^1445090-1 is not prime. Res64: 20BE6BD471712792 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:51:09] 843*2^1445090-1 is not prime. Res64: 97149D0E36E64717 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:51:09] 851*2^1445090-1 is not prime. Res64: 75C4CA8BA4B5C968 Time : 0.0 sec. user=mdettweiler [2016-11-06 00:51:09] 911*2^1445090-1 is not prime. Res64: C81E1F6B32208FFC Time : 0.0 sec. user=mdettweiler [2016-11-06 00:51:09] 927*2^1445090-1 is not prime. Res64: 0C59CFF025260ED7 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:10:20] 639*2^1445091-1 is not prime. Res64: D82FB08BABC3F3FA Time : 0.0 sec. user=mdettweiler [2016-11-06 01:10:21] 835*2^1445091-1 is not prime. Res64: D6E9456CA9D84592 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:10:21] 913*2^1445091-1 is not prime. Res64: 8B4A24681494538E Time : 0.0 sec. user=mdettweiler [2016-11-06 01:10:22] 665*2^1445092-1 is not prime. Res64: FE351B9D3B7464A8 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:10:23] 677*2^1445092-1 is not prime. Res64: 4250AB78AA57C913 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:19:42] 687*2^1445092-1 is not prime. Res64: C7E81E5C04B533E0 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:19:42] 749*2^1445092-1 is not prime. Res64: 115EAC30DF2918B0 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:19:43] 777*2^1445092-1 is not prime. Res64: A4A5F87DEB1BC995 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:19:43] 819*2^1445092-1 is not prime. Res64: 6503535C7A2E2DF4 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:19:43] 873*2^1445092-1 is not prime. Res64: 6C7E1E4B553FB28B Time : 0.0 sec. user=mdettweiler [2016-11-06 01:27:23] 903*2^1445092-1 is not prime. Res64: 7EB6DDB57323CA7D Time : 0.0 sec. user=mdettweiler [2016-11-06 01:27:24] 933*2^1445092-1 is not prime. Res64: 44A0CDEAFA72D00E Time : 0.0 sec. user=mdettweiler [2016-11-06 01:27:24] 619*2^1445093-1 is not prime. Res64: 55F69AF6FD22CB5E Time : 0.0 sec. user=mdettweiler [2016-11-06 01:27:25] 675*2^1445093-1 is not prime. Res64: 1C0D1EA6DCECA2E3 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:27:26] 735*2^1445093-1 is not prime. Res64: BF8EA8B6280158BD Time : 0.0 sec. user=mdettweiler [2016-11-06 01:46:25] 741*2^1445093-1 is not prime. Res64: E2A46930E8F3936E Time : 0.0 sec. user=mdettweiler [2016-11-06 01:46:25] 769*2^1445093-1 is not prime. Res64: F951BD2DB1A34592 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:46:25] 837*2^1445093-1 is not prime. Res64: B4A1BCDC1BB1B017 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:46:26] 867*2^1445093-1 is not prime. Res64: EA5C18B382950644 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:46:26] 641*2^1445094-1 is not prime. Res64: 0B5C132F1A0EB673 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:05:36] 741*2^1445094-1 is not prime. Res64: 87885F900319E45F Time : 0.0 sec. user=mdettweiler [2016-11-06 01:05:38] 885*2^1445094-1 is not prime. Res64: 3386F27CAF57D5AD Time : 0.0 sec. user=mdettweiler [2016-11-06 01:05:39] 945*2^1445094-1 is not prime. Res64: 88D1ADE9CD96E317 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:05:40] 709*2^1445095-1 is not prime. Res64: 16D1BB84B38222DB Time : 0.0 sec. user=mdettweiler [2016-11-06 01:05:42] 735*2^1445095-1 is not prime. Res64: BD9943A19BF40B66 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:13:14] 741*2^1445095-1 is not prime. Res64: 94915280C3C12C7C Time : 0.0 sec. user=mdettweiler [2016-11-06 01:13:15] 793*2^1445095-1 is not prime. Res64: 525FFE9408EFACCA Time : 0.0 sec. user=mdettweiler [2016-11-06 01:13:16] 819*2^1445095-1 is not prime. Res64: 7CCDC6BA396B9107 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:13:17] 891*2^1445095-1 is not prime. Res64: E5F1D3134411FF25 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:13:18] 895*2^1445095-1 is not prime. Res64: 3A2BECA0DEC337EE Time : 0.0 sec. user=mdettweiler [2016-11-06 01:19:56] 669*2^1445096-1 is not prime. Res64: B6B815659930D04C Time : 0.0 sec. user=mdettweiler [2016-11-06 01:19:57] 677*2^1445096-1 is not prime. Res64: 9C22D35E5D05D6F6 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:19:58] 683*2^1445096-1 is not prime. Res64: F6B18536BF853ADB Time : 0.0 sec. user=mdettweiler [2016-11-06 01:19:58] 773*2^1445096-1 is not prime. Res64: 145CF846F1B3A172 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:19:59] 893*2^1445096-1 is not prime. Res64: 1CF66F61420192F0 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:36:53] 903*2^1445096-1 is not prime. Res64: 9908B773E00DA343 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:36:54] 649*2^1445097-1 is not prime. Res64: 5193E247D4D8BC2A Time : 0.0 sec. user=mdettweiler [2016-11-06 01:36:54] 667*2^1445097-1 is not prime. Res64: B29924D12C14D38C Time : 0.0 sec. user=mdettweiler [2016-11-06 01:36:54] 709*2^1445097-1 is not prime. Res64: 4F6367806E8AC142 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:36:55] 711*2^1445097-1 is not prime. Res64: 6B8FC1ECA95D38D6 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:53:37] 769*2^1445097-1 is not prime. Res64: 379A389FED9A722D Time : 0.0 sec. user=mdettweiler [2016-11-06 01:53:37] 781*2^1445097-1 is not prime. Res64: 435B3B3BCA12A4E9 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:53:38] 819*2^1445097-1 is not prime. Res64: EB27CBE6965219FB Time : 0.0 sec. user=mdettweiler [2016-11-06 01:53:38] 909*2^1445097-1 is not prime. Res64: EC23BC67A2F5F4E3 Time : 0.0 sec. user=mdettweiler [2016-11-06 01:53:38] 949*2^1445097-1 is not prime. Res64: 977231A135836D26 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:01:13] 955*2^1445097-1 is not prime. Res64: 286ACAC415444661 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:01:14] 737*2^1445098-1 is not prime. Res64: 6072E24F7F58D91E Time : 0.0 sec. user=mdettweiler [2016-11-06 02:01:15] 831*2^1445098-1 is not prime. Res64: 9979A5D6FCC408B6 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:01:15] 915*2^1445098-1 is not prime. Res64: 7AB3DC5B5932E5F5 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:01:16] 923*2^1445098-1 is not prime. Res64: ADD46CFEFCCC1B86 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:07:29] 669*2^1445099-1 is not prime. Res64: DEC8CF06C0B23FC7 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:07:30] 693*2^1445099-1 is not prime. Res64: F196DB6F299C2D7D Time : 0.0 sec. user=mdettweiler [2016-11-06 02:07:31] 799*2^1445099-1 is not prime. Res64: 562C4CB25706B817 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:07:32] 843*2^1445099-1 is not prime. Res64: BC72452C101C6B60 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:07:33] 859*2^1445099-1 is not prime. Res64: D60460DBDE5E3358 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:25:52] 979*2^1445099-1 is not prime. Res64: A1096AB91B0BE84A Time : 0.0 sec. user=mdettweiler [2016-11-06 02:25:53] 777*2^1445100-1 is not prime. Res64: 30841A643833C3F9 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:25:54] 783*2^1445100-1 is not prime. Res64: 808A994C4513280D Time : 0.0 sec. user=mdettweiler [2016-11-06 02:25:55] 819*2^1445100-1 is not prime. Res64: F18F3EA081B50FC5 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:25:56] 843*2^1445100-1 is not prime. Res64: 3600E30FB4328E44 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:42:17] 909*2^1445100-1 is not prime. Res64: 4AA28B0DE6D0D102 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:42:18] 751*2^1445101-1 is not prime. Res64: CAD6E28B0073F529 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:42:18] 829*2^1445101-1 is not prime. Res64: 329D5B776E14B15B Time : 0.0 sec. user=mdettweiler [2016-11-06 02:42:19] 895*2^1445101-1 is not prime. Res64: C3DF432EE517F25C Time : 0.0 sec. user=mdettweiler [2016-11-06 02:42:19] 967*2^1445101-1 is not prime. Res64: 6820BBC84C02C055 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:49:08] 997*2^1445101-1 is not prime. Res64: BA19C2283D0F6031 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:49:08] 645*2^1445102-1 is not prime. Res64: DA071CBFC2ACB686 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:49:09] 683*2^1445102-1 is not prime. Res64: FFB32E2923AF2717 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:49:09] 705*2^1445102-1 is not prime. Res64: AF18E87685530462 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:49:09] 741*2^1445102-1 is not prime. Res64: 244DA74362D5ED2B Time : 0.0 sec. user=mdettweiler [2016-11-06 02:55:25] 825*2^1445102-1 is not prime. Res64: FBD99FF64311C3F9 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:55:26] 827*2^1445102-1 is not prime. Res64: CB317141AC2D3B35 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:55:26] 875*2^1445102-1 is not prime. Res64: 80E5CC30A8A48F43 Time : 0.0 sec. user=mdettweiler [2016-11-06 02:55:27] 941*2^1445102-1 is not prime. Res64: 413C62E3BD522DBE Time : 0.0 sec. user=mdettweiler [2016-11-06 02:55:28] 957*2^1445102-1 is not prime. Res64: 23292AF351415A24 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:12:37] 639*2^1445103-1 is not prime. Res64: 88E5A7C97D20016C Time : 0.0 sec. user=mdettweiler [2016-11-06 03:12:38] 825*2^1445103-1 is not prime. Res64: D82E5F1534014133 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:12:38] 973*2^1445103-1 is not prime. Res64: AF3688A10ACA4AC7 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:12:38] 991*2^1445103-1 is not prime. Res64: 6CAE4D8E6DA633B5 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:12:39] 623*2^1445104-1 is not prime. Res64: 6FFE8EFB1A2FFEAA Time : 0.0 sec. user=mdettweiler [2016-11-06 03:29:22] 645*2^1445104-1 is not prime. Res64: DAC9DF383AF2BDEB Time : 0.0 sec. user=mdettweiler [2016-11-06 03:29:24] 723*2^1445104-1 is not prime. Res64: F8364EC87460EC9A Time : 0.0 sec. user=mdettweiler [2016-11-06 03:29:24] 773*2^1445104-1 is not prime. Res64: 60053AC31465963C Time : 0.0 sec. user=mdettweiler [2016-11-06 03:29:25] 869*2^1445104-1 is not prime. Res64: 7D2955F00C0270C1 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:29:25] 899*2^1445104-1 is not prime. Res64: C1151EDC534111F2 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:35:42] 995*2^1445104-1 is not prime. Res64: 6987FF71E84FC67C Time : 0.0 sec. user=mdettweiler [2016-11-06 03:35:44] 619*2^1445105-1 is not prime. Res64: 4E3531B480DF5719 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:35:45] 657*2^1445105-1 is not prime. Res64: 0665A54AF0594DD2 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:35:47] 729*2^1445105-1 is not prime. Res64: FB3419A6320FEF39 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:35:48] 775*2^1445105-1 is not prime. Res64: C628F7713B0D5849 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:42:01] 861*2^1445105-1 is not prime. Res64: E11AA01C93A4A971 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:42:04] 885*2^1445105-1 is not prime. Res64: 4BB1149AA359C783 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:42:06] 925*2^1445105-1 is not prime. Res64: 2EB9E9AC082858AA Time : 0.0 sec. user=mdettweiler [2016-11-06 03:42:08] 951*2^1445105-1 is not prime. Res64: 62D77EF78F23A7A5 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:42:10] 641*2^1445106-1 is not prime. Res64: 27798A6F707DA127 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:59:04] 765*2^1445106-1 is not prime. Res64: EA44505438C04821 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:59:05] 861*2^1445106-1 is not prime. Res64: 647E4B24547BA97A Time : 0.0 sec. user=mdettweiler [2016-11-06 03:59:06] 947*2^1445106-1 is not prime. Res64: F5F3272E3348F400 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:59:08] 685*2^1445107-1 is not prime. Res64: BEBEECCD6F483519 Time : 0.0 sec. user=mdettweiler [2016-11-06 03:59:09] 919*2^1445107-1 is not prime. Res64: C9B183557E12D354 Time : 0.0 sec. user=mdettweiler [2016-11-06 04:20:07] 939*2^1445107-1 is not prime. Res64: 30664007EBF5DC99 Time : 0.0 sec. user=mdettweiler [2016-11-06 04:23:52] 885*2^1445108-1 is not prime. Res64: 709AFF406013DD74 Time : 0.0 sec. user=mdettweiler [2016-11-06 04:23:53] 945*2^1445108-1 is not prime. Res64: 5E11BE410AF4BC89 Time : 0.0 sec. user=mdettweiler [2016-11-06 04:23:53] 639*2^1445109-1 is not prime. Res64: 80D05DFBA438558A Time : 0.0 sec. user=mdettweiler [2016-11-06 04:23:54] 741*2^1445109-1 is not prime. Res64: 32EBA2F1500D838A Time : 0.0 sec. user=mdettweiler [2016-11-06 04:23:55] 829*2^1445109-1 is not prime. Res64: 1E3E43A1A6892C5B Time : 0.0 sec. user=mdettweiler [2016-11-06 04:30:23] 831*2^1445109-1 is not prime. Res64: 7638A1316E17BC7A Time : 0.0 sec. user=mdettweiler [2016-11-06 04:30:24] 835*2^1445109-1 is not prime. Res64: 601F94E13D783480 Time : 0.0 sec. user=mdettweiler [2016-11-06 04:30:24] 945*2^1445109-1 is not prime. Res64: 0C9D402EDB0E4192 Time : 0.0 sec. user=mdettweiler [2016-11-06 04:30:24] 949*2^1445109-1 is not prime. Res64: 3FF3274EBE8A1404 Time : 0.0 sec. user=mdettweiler [2016-11-06 04:30:25] 969*2^1445109-1 is not prime. Res64: 81E8FCE69464A7FD Time : 0.0 sec. user=mdettweiler [2016-11-06 04:47:55] 985*2^1445109-1 is not prime. Res64: B41B3CF94A40F482 Time : 0.0 sec. user=mdettweiler [2016-11-06 04:47:56] 663*2^1445110-1 is not prime. Res64: 481E3A83AA60D7A7 Time : 0.0 sec. user=mdettweiler [2016-11-06 04:47:57] 741*2^1445110-1 is not prime. Res64: 3E084846DCE0AC8B Time : 0.0 sec. user=mdettweiler [2016-11-06 04:47:59] 861*2^1445110-1 is not prime. Res64: C18C95CDDEE81B80 Time : 0.0 sec. user=mdettweiler [2016-11-06 04:48:00] 621*2^1445111-1 is not prime. Res64: 7ED0D1967BA91B97 Time : 0.0 sec. user=mdettweiler [2016-11-06 05:13:09] 669*2^1445111-1 is not prime. Res64: B810F0CA85E70AFD Time : 0.0 sec. user=mdettweiler [2016-11-06 05:13:11] 679*2^1445111-1 is not prime. Res64: 294FF64D446FA5DA Time : 0.0 sec. user=mdettweiler [2016-11-06 05:13:13] 789*2^1445111-1 is not prime. Res64: 4B1481F41D71820C Time : 0.0 sec. user=mdettweiler [2016-11-06 05:13:14] 921*2^1445111-1 is not prime. Res64: 778235012C7B36E1 Time : 0.0 sec. user=mdettweiler [2016-11-06 05:13:16] 969*2^1445111-1 is not prime. Res64: 2858CF1A7A182D0E Time : 0.0 sec. user=mdettweiler [2016-11-06 05:20:22] 635*2^1445112-1 is not prime. Res64: B19C187CB870E665 Time : 0.0 sec. user=mdettweiler [2016-11-06 05:20:23] 699*2^1445112-1 is not prime. Res64: 2B700E1347BE5861 Time : 0.0 sec. user=mdettweiler [2016-11-06 05:20:23] 765*2^1445112-1 is not prime. Res64: 5B5A569E6C3D3665 Time : 0.0 sec. user=mdettweiler [2016-11-06 05:20:23] 843*2^1445112-1 is not prime. Res64: 3553702F349027CA Time : 0.0 sec. user=mdettweiler [2016-11-06 05:20:24] 893*2^1445112-1 is not prime. Res64: E02E55BBFF928371 Time : 0.0 sec. user=mdettweiler [2016-11-06 05:37:18] 935*2^1445112-1 is not prime. Res64: E10EED8C8226612C Time : 0.0 sec. user=mdettweiler [2016-11-06 05:37:19] 957*2^1445112-1 is not prime. Res64: 06E40497BD76EBC5 Time : 0.0 sec. user=mdettweiler [2016-11-06 05:37:20] 649*2^1445113-1 is not prime. Res64: C9C299D1C068689F Time : 0.0 sec. user=mdettweiler [2016-11-06 05:37:20] 651*2^1445113-1 is not prime. Res64: 850149D00B831C1C Time : 0.0 sec. user=mdettweiler [2016-11-06 05:37:21] 699*2^1445113-1 is not prime. Res64: 138C05A89A14AF3B Time : 0.0 sec. user=mdettweiler [2016-11-06 06:03:18] 705*2^1445113-1 is not prime. Res64: 93BB5C1E45F7E307 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:03:21] 741*2^1445113-1 is not prime. Res64: 17621A8BFE7AC172 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:03:24] 801*2^1445113-1 is not prime. Res64: C016CF185D62B816 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:03:25] 889*2^1445113-1 is not prime. Res64: 4C9DAB7F4259E61B Time : 0.0 sec. user=mdettweiler [2016-11-06 06:03:27] 895*2^1445113-1 is not prime. Res64: 54393D969DF21A17 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:10:28] 951*2^1445113-1 is not prime. Res64: 6DBD088A1319D9A1 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:10:31] 665*2^1445114-1 is not prime. Res64: 5FE0FC1E67AE8249 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:10:33] 671*2^1445114-1 is not prime. Res64: DA069237DA7BA7BB Time : 0.0 sec. user=mdettweiler [2016-11-06 06:10:36] 717*2^1445114-1 is not prime. Res64: 52DF01C460802015 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:10:37] 825*2^1445114-1 is not prime. Res64: 8BDD2C1CD603DA92 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:27:12] 861*2^1445114-1 is not prime. Res64: 1311A38597DA741E Time : 0.0 sec. user=mdettweiler [2016-11-06 06:27:13] 609*2^1445115-1 is not prime. Res64: A0BF6135CBBD28B1 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:27:13] 735*2^1445115-1 is not prime. Res64: 099E3E06CC35D422 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:27:14] 861*2^1445115-1 is not prime. Res64: 8AA52441045B4C33 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:27:15] 895*2^1445115-1 is not prime. Res64: 9D70DE6A5546AE96 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:54:09] 963*2^1445115-1 is not prime. Res64: AECA97CF35DFD38C Time : 0.0 sec. user=mdettweiler [2016-11-06 06:54:10] 985*2^1445115-1 is not prime. Res64: 15348407CC43ACA1 Time : 0.0 sec. user=mdettweiler [2016-11-06 06:54:10] 803*2^1445116-1 is not prime. Res64: BF5889AD9D6737AE Time : 0.0 sec. user=mdettweiler [2016-11-06 06:54:11] 669*2^1445117-1 is not prime. Res64: D2C8B33BE1F557DF Time : 0.0 sec. user=mdettweiler [2016-11-06 06:54:11] 685*2^1445117-1 is not prime. Res64: D5B1F6644BE8B5D9 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:01:20] 697*2^1445117-1 is not prime. Res64: 3132DB8207933511 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:01:21] 741*2^1445117-1 is not prime. Res64: 96CA58F76C806478 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:01:21] 795*2^1445117-1 is not prime. Res64: 1DC627D1253914BF Time : 0.0 sec. user=mdettweiler [2016-11-06 07:01:22] 859*2^1445117-1 is not prime. Res64: 5D01788780AFC757 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:01:23] 979*2^1445117-1 is not prime. Res64: 31AFC865DE6BAB7E Time : 0.0 sec. user=mdettweiler [2016-11-06 07:17:19] 997*2^1445117-1 is not prime. Res64: 0D53BA0570420A60 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:17:20] 605*2^1445118-1 is not prime. Res64: 1C5D5DEE04C9658A Time : 0.0 sec. user=mdettweiler [2016-11-06 07:17:20] 663*2^1445118-1 is not prime. Res64: CD8FCDD552D17BD1 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:17:20] 773*2^1445118-1 is not prime. Res64: 08EBF2E06B668E78 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:17:21] 801*2^1445118-1 is not prime. Res64: 055C0E3BD6F79162 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:22:08] 993*2^1445107-1 is not prime. Res64: 5C01AC542D14B2DD Time : 0.0 sec. user=mdettweiler [2016-11-06 07:22:08] 659*2^1445108-1 is not prime. Res64: B2515E76095EE560 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:22:10] 825*2^1445108-1 is not prime. Res64: F6BEB31CC578816B Time : 0.0 sec. user=mdettweiler [2016-11-06 07:22:11] 845*2^1445108-1 is not prime. Res64: D9FA637E5E88985A Time : 0.0 sec. user=mdettweiler [2016-11-06 07:43:02] 867*2^1445118-1 is not prime. Res64: 590C1E3B84CCF4F7 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:43:02] 945*2^1445118-1 is not prime. Res64: FF4EDE6F140C97D7 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:43:02] 971*2^1445118-1 is not prime. Res64: FAC2C982F37311F6 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:43:03] 625*2^1445119-1 is not prime. Res64: 85EA80EC50913278 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:43:03] 675*2^1445119-1 is not prime. Res64: 9393B5A67D9AAF6F Time : 0.0 sec. user=mdettweiler [2016-11-06 07:49:31] 709*2^1445119-1 is not prime. Res64: EEFD70CECBC6CAEA Time : 0.0 sec. user=mdettweiler [2016-11-06 07:49:31] 729*2^1445119-1 is not prime. Res64: D6134CBD6F1081CF Time : 0.0 sec. user=mdettweiler [2016-11-06 07:49:32] 943*2^1445119-1 is not prime. Res64: 82B3ADD8039719ED Time : 0.0 sec. user=mdettweiler [2016-11-06 07:49:32] 973*2^1445119-1 is not prime. Res64: 9F41E6BD89D84CA6 Time : 0.0 sec. user=mdettweiler [2016-11-06 07:49:32] 603*2^1445120-1 is not prime. Res64: DFCE01C0533C6BB9 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:04:34] 677*2^1445120-1 is not prime. Res64: DA8E50966E0880BF Time : 0.0 sec. user=mdettweiler [2016-11-06 08:04:35] 687*2^1445120-1 is not prime. Res64: A2581038CD7A6B73 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:04:36] 743*2^1445120-1 is not prime. Res64: 435247CB0E0E805F Time : 0.0 sec. user=mdettweiler [2016-11-06 08:04:38] 795*2^1445120-1 is not prime. Res64: 2FEBCDD46BAC6D2D Time : 0.0 sec. user=mdettweiler [2016-11-06 08:04:39] 857*2^1445120-1 is not prime. Res64: 441AEF7E18BDEF3D Time : 0.0 sec. user=mdettweiler [2016-11-06 08:09:44] 879*2^1445120-1 is not prime. Res64: C1FCE5D706B893AE Time : 0.0 sec. user=mdettweiler [2016-11-06 08:09:46] 945*2^1445120-1 is not prime. Res64: 8CB24041514B5573 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:09:46] 977*2^1445120-1 is not prime. Res64: C60D35A3B76AE269 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:09:47] 625*2^1445121-1 is not prime. Res64: 0CC2DC7D753E3C0D Time : 0.0 sec. user=mdettweiler [2016-11-06 08:09:47] 657*2^1445121-1 is not prime. Res64: F4C192D9CA7134A2 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:31:26] 685*2^1445121-1 is not prime. Res64: 4FBB37B3FA7063F4 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:31:26] 717*2^1445121-1 is not prime. Res64: 4197193A41318A70 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:31:26] 795*2^1445121-1 is not prime. Res64: 47BB2CE414271BAF Time : 0.0 sec. user=mdettweiler [2016-11-06 08:31:27] 889*2^1445121-1 is not prime. Res64: CCDFF805E271993D Time : 0.0 sec. user=mdettweiler [2016-11-06 08:31:27] 901*2^1445121-1 is not prime. Res64: B420E8F9372FC574 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:37:42] 921*2^1445121-1 is not prime. Res64: A5DBFD608A061C08 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:37:43] 979*2^1445121-1 is not prime. Res64: 1312F4AFE1735165 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:37:44] 765*2^1445122-1 is not prime. Res64: 9DF4506FF07BE125 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:37:44] 777*2^1445122-1 is not prime. Res64: FE521A25D20847B3 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:37:45] 825*2^1445122-1 is not prime. Res64: 04142741C582AA4C Time : 0.0 sec. user=mdettweiler [2016-11-06 08:53:24] 833*2^1445122-1 is not prime. Res64: 0DE96E3F5D7D4568 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:53:25] 917*2^1445122-1 is not prime. Res64: 1AFE081E540200A3 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:53:25] 703*2^1445123-1 is not prime. Res64: 9FBAAACB94E26979 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:53:25] 735*2^1445123-1 is not prime. Res64: F1CB3FA300346D93 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:53:26] 859*2^1445123-1 is not prime. Res64: 4731618833CF3924 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:58:44] 895*2^1445123-1 is not prime. Res64: E5C36BF4F71AA27C Time : 0.0 sec. user=mdettweiler [2016-11-06 08:58:45] 921*2^1445123-1 is not prime. Res64: 9D7461B698B56FE9 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:58:46] 955*2^1445123-1 is not prime. Res64: 78CB3A5A867D2B90 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:58:46] 963*2^1445123-1 is not prime. Res64: BC479B3D4B966F77 Time : 0.0 sec. user=mdettweiler [2016-11-06 08:58:47] 991*2^1445123-1 is not prime. Res64: 4A4A65BDACD87115 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:18:32] 609*2^1445124-1 is not prime. Res64: 2A0141FA17626849 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:18:34] 629*2^1445124-1 is not prime. Res64: A94AE4D207518DD0 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:18:35] 693*2^1445124-1 is not prime. Res64: 16F7449C6367A8F3 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:18:35] 723*2^1445124-1 is not prime. Res64: C6E1AE6E77048A64 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:18:36] 909*2^1445124-1 is not prime. Res64: 82EEB077AFE572F4 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:25:50] 915*2^1445124-1 is not prime. Res64: B8BF7EE3348A3948 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:25:50] 927*2^1445124-1 is not prime. Res64: E4060A82668F59E5 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:25:51] 667*2^1445125-1 is not prime. Res64: FF6AD0210A5FB31F Time : 0.0 sec. user=mdettweiler [2016-11-06 09:25:51] 679*2^1445125-1 is not prime. Res64: 258D8E081D540A38 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:25:51] 861*2^1445125-1 is not prime. Res64: ABB49F64D187A63A Time : 0.0 sec. user=mdettweiler [2016-11-06 09:41:02] 885*2^1445125-1 is not prime. Res64: 732B2844CF526E0A Time : 0.0 sec. user=mdettweiler [2016-11-06 09:41:02] 693*2^1445126-1 is not prime. Res64: DCCD786C3CCA53C5 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:41:03] 861*2^1445126-1 is not prime. Res64: 10FBFA88037E0EC0 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:41:03] 873*2^1445126-1 is not prime. Res64: 79178FD533E3BABA Time : 0.0 sec. user=mdettweiler [2016-11-06 09:41:03] 903*2^1445126-1 is not prime. Res64: 71229CBC6C5FE702 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:46:15] 953*2^1445126-1 is not prime. Res64: 2D6C76F9066A5868 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:46:16] 703*2^1445127-1 is not prime. Res64: 57B302B3F566DF3A Time : 0.0 sec. user=mdettweiler [2016-11-06 09:46:17] 735*2^1445127-1 is not prime. Res64: 96C2D7BCB9F51A96 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:46:18] 859*2^1445127-1 is not prime. Res64: 936AC8DDD465F2F0 Time : 0.0 sec. user=mdettweiler [2016-11-06 09:46:19] 885*2^1445127-1 is not prime. Res64: 418BD465293E9718 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:06:42] 603*2^1445128-1 is not prime. Res64: EE1CE37D6335EA19 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:06:45] 623*2^1445128-1 is not prime. Res64: 2C60FBD1E1580C56 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:06:47] 803*2^1445128-1 is not prime. Res64: 4404337CB610C4A4 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:06:48] 875*2^1445128-1 is not prime. Res64: F51509CF36B7CF8A Time : 0.0 sec. user=mdettweiler [2016-11-06 10:06:52] 905*2^1445128-1 is not prime. Res64: 3CE7E609546E5C3C Time : 0.0 sec. user=mdettweiler [2016-11-06 10:13:45] 947*2^1445128-1 is not prime. Res64: 5C7E6CCF109D7A58 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:13:46] 957*2^1445128-1 is not prime. Res64: A24BA63DE447A376 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:13:49] 649*2^1445129-1 is not prime. Res64: D4E73DA0CDC6388D Time : 0.0 sec. user=mdettweiler [2016-11-06 10:13:50] 729*2^1445129-1 is not prime. Res64: 78D3AB27EF766482 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:13:51] 789*2^1445129-1 is not prime. Res64: 5BFC254514B2BDD8 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:29:26] 855*2^1445129-1 is not prime. Res64: CFD08558C4096248 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:29:26] 925*2^1445129-1 is not prime. Res64: C835B6052CB9CBCD Time : 0.0 sec. user=mdettweiler [2016-11-06 10:29:27] 939*2^1445129-1 is not prime. Res64: F001D1C7FE275B7C Time : 0.0 sec. user=mdettweiler [2016-11-06 10:29:27] 657*2^1445130-1 is not prime. Res64: 2FC5BEA35D34238E Time : 0.0 sec. user=mdettweiler [2016-11-06 10:29:28] 825*2^1445130-1 is not prime. Res64: 9ED12F67FA3B8EC7 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:34:45] 843*2^1445130-1 is not prime. Res64: 13CD54850CC3A9E7 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:34:45] 891*2^1445130-1 is not prime. Res64: 752611664837A099 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:34:46] 917*2^1445130-1 is not prime. Res64: 3736AAFA28686B91 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:34:48] 941*2^1445130-1 is not prime. Res64: BFFE56693B96B318 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:34:49] 651*2^1445131-1 is not prime. Res64: 8625B4C93FF0CBF1 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:55:12] 759*2^1445131-1 is not prime. Res64: 7092CA19C73CA477 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:55:13] 829*2^1445131-1 is not prime. Res64: 83E3CF43B81FE4A3 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:55:13] 885*2^1445131-1 is not prime. Res64: EC5C026FC8FD3608 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:55:14] 797*2^1445132-1 is not prime. Res64: BF4F0B9E4E035F81 Time : 0.0 sec. user=mdettweiler [2016-11-06 10:55:14] 819*2^1445132-1 is not prime. Res64: 6293398BF9CA8955 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:02:28] 827*2^1445132-1 is not prime. Res64: A24FA1D17428A23D Time : 0.0 sec. user=mdettweiler [2016-11-06 11:02:30] 875*2^1445132-1 is not prime. Res64: 28E15F1C88815CF7 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:02:30] 923*2^1445132-1 is not prime. Res64: 9A5CDE7C2E8FC42F Time : 0.0 sec. user=mdettweiler [2016-11-06 11:02:32] 621*2^1445133-1 is not prime. Res64: B992C2558453B5E5 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:02:33] 685*2^1445133-1 is not prime. Res64: 486CBE4FF0555B44 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:17:15] 741*2^1445133-1 is not prime. Res64: 29DB63C3FC6925F7 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:17:15] 747*2^1445133-1 is not prime. Res64: A503C08406B69264 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:17:16] 795*2^1445133-1 is not prime. Res64: 41CC011DF9C43BC4 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:17:17] 811*2^1445133-1 is not prime. Res64: 078811F5648CD471 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:17:17] 835*2^1445133-1 is not prime. Res64: 897F83F5760C7B89 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:22:26] 871*2^1445133-1 is not prime. Res64: 0A56DBC4F0657360 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:22:26] 877*2^1445133-1 is not prime. Res64: 7699250BEFD65331 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:22:26] 885*2^1445133-1 is not prime. Res64: EA0A8F70C60EAA3B Time : 0.0 sec. user=mdettweiler [2016-11-06 11:22:27] 891*2^1445133-1 is not prime. Res64: 31875DDD1C4B171E Time : 0.0 sec. user=mdettweiler [2016-11-06 11:22:27] 663*2^1445134-1 is not prime. Res64: 0A32EB02D32C53E4 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:43:31] 665*2^1445134-1 is not prime. Res64: 6173CE86E0FB98F2 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:43:31] 783*2^1445134-1 is not prime. Res64: F6F05A81DF145074 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:43:31] 833*2^1445134-1 is not prime. Res64: E6EAFE273D51EB46 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:43:32] 741*2^1445135-1 is not prime. Res64: 4D576E3369519EBC Time : 0.0 sec. user=mdettweiler [2016-11-06 11:43:32] 823*2^1445135-1 is not prime. Res64: EF73684B4C5301D5 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:50:15] 861*2^1445135-1 is not prime. Res64: BA565C53AACA4523 Time : 0.0 sec. user=mdettweiler [2016-11-06 11:50:15] 609*2^1445136-1 is not prime. Res64: 6B64CFC2882E3F2F Time : 0.0 sec. user=mdettweiler [2016-11-06 11:50:16] 669*2^1445136-1 is not prime. Res64: 79283199896DC6BC Time : 0.0 sec. user=mdettweiler [2016-11-06 11:50:16] 683*2^1445136-1 is not prime. Res64: E0A9DDB80DF8D16F Time : 0.0 sec. user=mdettweiler [2016-11-06 11:50:16] 735*2^1445136-1 is not prime. Res64: E70B7AE3021BE3CB Time : 0.0 sec. user=mdettweiler [2016-11-06 12:05:18] 767*2^1445136-1 is not prime. Res64: 16D67EFC79203FA7 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:05:23] 843*2^1445136-1 is not prime. Res64: 42B2E53B18DEE0C9 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:05:24] 873*2^1445136-1 is not prime. Res64: 38F1B397C5ED0EFC Time : 0.0 sec. user=mdettweiler [2016-11-06 12:05:27] 983*2^1445136-1 is not prime. Res64: 17D192ADB8F96D5D Time : 0.0 sec. user=mdettweiler [2016-11-06 12:05:28] 801*2^1445137-1 is not prime. Res64: 8AE9637A458D8DEF Time : 0.0 sec. user=mdettweiler [2016-11-06 12:10:25] 841*2^1445137-1 is not prime. Res64: B1AB51A3BF6D8963 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:10:27] 931*2^1445137-1 is not prime. Res64: B5550DC82EE236B0 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:10:29] 633*2^1445138-1 is not prime. Res64: 6EFE029458D250B5 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:10:31] 731*2^1445138-1 is not prime. Res64: E4FA592FA6E58B7F Time : 0.0 sec. user=mdettweiler [2016-11-06 12:10:33] 831*2^1445138-1 is not prime. Res64: DEA5B6F751DEF512 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:32:40] 867*2^1445138-1 is not prime. Res64: 05297205348CC737 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:32:41] 911*2^1445138-1 is not prime. Res64: 89BB9E87A14FB6A9 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:32:42] 993*2^1445138-1 is not prime. Res64: B939936ECF39DB0A Time : 0.0 sec. user=mdettweiler [2016-11-06 12:32:43] 615*2^1445139-1 is not prime. Res64: F8561AF1C2B39B0B Time : 0.0 sec. user=mdettweiler [2016-11-06 12:32:43] 691*2^1445139-1 is not prime. Res64: F6957EA68F383C5A Time : 0.0 sec. user=mdettweiler [2016-11-06 12:38:41] 895*2^1445139-1 is not prime. Res64: 2685EECC97E1B44F Time : 0.0 sec. user=mdettweiler [2016-11-06 12:38:41] 909*2^1445139-1 is not prime. Res64: 885755D44D35B152 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:38:43] 955*2^1445139-1 is not prime. Res64: E055AA03DC7341A3 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:38:43] 615*2^1445140-1 is not prime. Res64: D2CD67BCEF0600FA Time : 0.0 sec. user=mdettweiler [2016-11-06 12:38:43] 677*2^1445140-1 is not prime. Res64: 79ED7AD6B43B92BF Time : 0.0 sec. user=mdettweiler [2016-11-06 12:54:45] 783*2^1445140-1 is not prime. Res64: 5B2F3B019D6EAEE5 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:54:46] 601*2^1445141-1 is not prime. Res64: E1C877A335D285BD Time : 0.0 sec. user=mdettweiler [2016-11-06 12:54:46] 607*2^1445141-1 is not prime. Res64: 14C1D640545091D3 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:54:46] 615*2^1445141-1 is not prime. Res64: 74F145B6FB77459D Time : 0.0 sec. user=mdettweiler [2016-11-06 12:54:47] 621*2^1445141-1 is not prime. Res64: 839FB32784C5A32B Time : 0.0 sec. user=mdettweiler [2016-11-06 12:59:54] 649*2^1445141-1 is not prime. Res64: 58EB5952BB615B9C Time : 0.0 sec. user=mdettweiler [2016-11-06 12:59:55] 697*2^1445141-1 is not prime. Res64: C7F5FB8857DC46E1 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:59:55] 745*2^1445141-1 is not prime. Res64: 68E428511B6AE054 Time : 0.0 sec. user=mdettweiler [2016-11-06 12:59:56] 859*2^1445141-1 is not prime. Res64: DFD99FFC6AA4C5BA Time : 0.0 sec. user=mdettweiler [2016-11-06 12:59:56] 955*2^1445141-1 is not prime. Res64: F7AE2885C6EE6EF6 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:20:24] 981*2^1445141-1 is not prime. Res64: 0192A6A114AA3213 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:20:24] 635*2^1445142-1 is not prime. Res64: E9262BF00320DF29 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:20:25] 671*2^1445142-1 is not prime. Res64: 419EFF71392AF029 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:20:25] 711*2^1445142-1 is not prime. Res64: 73C9B1CE48952AF8 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:20:26] 717*2^1445142-1 is not prime. Res64: 2C1045585C417CF3 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:27:08] 725*2^1445142-1 is not prime. Res64: 34A5CB1E08B84AE5 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:27:09] 747*2^1445142-1 is not prime. Res64: 4BA4117C20BDC16B Time : 0.0 sec. user=mdettweiler [2016-11-06 13:27:09] 825*2^1445142-1 is not prime. Res64: 9357035D9FA505DB Time : 0.0 sec. user=mdettweiler [2016-11-06 13:27:10] 1001*2^1445142-1 is not prime. Res64: A258D03133349688 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:27:10] 619*2^1445143-1 is not prime. Res64: EE09E08BA3D650BA Time : 0.0 sec. user=mdettweiler [2016-11-06 13:43:09] 793*2^1445143-1 is not prime. Res64: F8B6C01B9EBA215E Time : 0.0 sec. user=mdettweiler [2016-11-06 13:43:09] 819*2^1445143-1 is not prime. Res64: 1A0180793A65346F Time : 0.0 sec. user=mdettweiler [2016-11-06 13:43:10] 855*2^1445143-1 is not prime. Res64: 532A49E8E5D3FEDF Time : 0.0 sec. user=mdettweiler [2016-11-06 13:43:10] 871*2^1445143-1 is not prime. Res64: 554749D882FB2116 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:43:10] 617*2^1445144-1 is not prime. Res64: 62CEF241B1373834 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:48:20] 785*2^1445144-1 is not prime. Res64: 2130AE59C94E6262 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:48:20] 873*2^1445144-1 is not prime. Res64: 25803A49BDD41F1A Time : 0.0 sec. user=mdettweiler [2016-11-06 13:48:21] 897*2^1445144-1 is not prime. Res64: 3C1F1A25E83EEBC5 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:48:21] 923*2^1445144-1 is not prime. Res64: 3576003D98EF56B4 Time : 0.0 sec. user=mdettweiler [2016-11-06 13:48:21] 945*2^1445144-1 is not prime. Res64: 17F50F8CF1FBB9BC Time : 0.0 sec. user=mdettweiler [2016-11-06 14:08:51] 607*2^1445145-1 is not prime. Res64: F1269B98D857612B Time : 0.0 sec. user=mdettweiler [2016-11-06 14:08:52] 721*2^1445145-1 is not prime. Res64: 72C960B925B6306F Time : 0.0 sec. user=mdettweiler [2016-11-06 14:08:52] 819*2^1445145-1 is not prime. Res64: 8D92AAA550846DF9 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:08:53] 975*2^1445145-1 is not prime. Res64: 5C8D2C7BC205F324 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:08:53] 611*2^1445146-1 is not prime. Res64: 1E5EA0151372E8FE Time : 0.0 sec. user=mdettweiler [2016-11-06 14:16:30] 675*2^1445146-1 is not prime. Res64: C97E507E802A4151 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:16:31] 677*2^1445146-1 is not prime. Res64: 8A3B9656F658D200 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:16:31] 713*2^1445146-1 is not prime. Res64: 269C0933035FAF8B Time : 0.0 sec. user=mdettweiler [2016-11-06 14:16:32] 765*2^1445146-1 is not prime. Res64: F14293A66D09F862 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:16:33] 773*2^1445146-1 is not prime. Res64: 48328BAF9932B238 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:32:30] 867*2^1445146-1 is not prime. Res64: C30AF54C2069BFC4 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:32:31] 911*2^1445146-1 is not prime. Res64: 3210B4D5EF9FB33C Time : 0.0 sec. user=mdettweiler [2016-11-06 14:32:31] 957*2^1445146-1 is not prime. Res64: F1135552806FF6B5 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:32:31] 649*2^1445147-1 is not prime. Res64: 6741C05D4D206E9D Time : 0.0 sec. user=mdettweiler [2016-11-06 14:32:32] 741*2^1445147-1 is not prime. Res64: C86CBF8AB73A5DB1 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:38:01] 801*2^1445147-1 is not prime. Res64: EB3B465F8779E482 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:38:02] 843*2^1445147-1 is not prime. Res64: F2D77F5CE9E74CEE Time : 0.0 sec. user=mdettweiler [2016-11-06 14:38:02] 871*2^1445147-1 is not prime. Res64: 2128ACC921883707 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:38:02] 879*2^1445147-1 is not prime. Res64: 24DAD4A6826863E4 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:38:03] 903*2^1445147-1 is not prime. Res64: 06BFB7692C518DBF Time : 0.0 sec. user=mdettweiler [2016-11-06 14:58:01] 979*2^1445147-1 is not prime. Res64: B6D7FA1811F54BC0 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:58:02] 627*2^1445148-1 is not prime. Res64: 8411C1D0DC027A0B Time : 0.0 sec. user=mdettweiler [2016-11-06 14:58:02] 629*2^1445148-1 is not prime. Res64: FDF132BAA0132D20 Time : 0.0 sec. user=mdettweiler [2016-11-06 14:58:03] 635*2^1445148-1 is not prime. Res64: 2231A34C7FCFFC0C Time : 0.0 sec. user=mdettweiler [2016-11-06 14:58:03] 695*2^1445148-1 is not prime. Res64: 883CABE61E0DAC65 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:05:21] 705*2^1445148-1 is not prime. Res64: A67F31736DF2F07E Time : 0.0 sec. user=mdettweiler [2016-11-06 15:05:23] 737*2^1445148-1 is not prime. Res64: C6808573B6417AB5 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:05:24] 803*2^1445148-1 is not prime. Res64: B4266D431977336F Time : 0.0 sec. user=mdettweiler [2016-11-06 15:05:25] 915*2^1445148-1 is not prime. Res64: D86B22DA1581960A Time : 0.0 sec. user=mdettweiler [2016-11-06 15:05:26] 929*2^1445148-1 is not prime. Res64: A2FDC00213283629 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:21:05] 977*2^1445148-1 is not prime. Res64: CAF54E5DC575F448 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:21:06] 615*2^1445149-1 is not prime. Res64: B8BB0682AFD5852E Time : 0.0 sec. user=mdettweiler [2016-11-06 15:21:07] 817*2^1445149-1 is not prime. Res64: 58B6FF7B52EFED22 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:21:07] 831*2^1445149-1 is not prime. Res64: 27E5E126EBED81F4 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:21:08] 835*2^1445149-1 is not prime. Res64: 635CA1CE709BA2B6 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:26:12] 855*2^1445149-1 is not prime. Res64: 68454C08D2D3797B Time : 0.0 sec. user=mdettweiler [2016-11-06 15:26:12] 773*2^1445150-1 is not prime. Res64: 37E53DC16DEAFEC6 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:26:12] 813*2^1445150-1 is not prime. Res64: 36FCC519868A6752 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:26:12] 893*2^1445150-1 is not prime. Res64: 16322C53E385671C Time : 0.0 sec. user=mdettweiler [2016-11-06 15:26:13] 987*2^1445150-1 is not prime. Res64: 932586846306229E Time : 0.0 sec. user=mdettweiler [2016-11-06 15:46:59] 619*2^1445151-1 is not prime. Res64: 410FD6C08C6CBB88 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:47:00] 625*2^1445151-1 is not prime. Res64: DDC0EEDE7FC6AAFB Time : 0.0 sec. user=mdettweiler [2016-11-06 15:47:00] 711*2^1445151-1 is not prime. Res64: 73C35E24273A9F55 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:47:01] 769*2^1445151-1 is not prime. Res64: CFDD19F35F39B1E7 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:47:01] 781*2^1445151-1 is not prime. Res64: D16A1CE3A5B44A01 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:54:31] 949*2^1445151-1 is not prime. Res64: 19D4000A4ACFD07A Time : 0.0 sec. user=mdettweiler [2016-11-06 15:54:32] 605*2^1445152-1 is not prime. Res64: 18CE59F919887E09 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:54:32] 635*2^1445152-1 is not prime. Res64: C2A209495AFE0801 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:54:33] 665*2^1445152-1 is not prime. Res64: 92FB03B13177AA89 Time : 0.0 sec. user=mdettweiler [2016-11-06 15:54:33] 897*2^1445152-1 is not prime. Res64: AA1BE5BD39BE5BC2 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:10:26] 787*2^1445153-1 is not prime. Res64: C7C0B8D252E3F53A Time : 0.0 sec. user=mdettweiler [2016-11-06 16:10:27] 949*2^1445153-1 is not prime. Res64: BB4E42F05D7B0B8B Time : 0.0 sec. user=mdettweiler [2016-11-06 16:10:27] 611*2^1445154-1 is not prime. Res64: 4A3B5575AD67ACC1 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:10:28] 627*2^1445154-1 is not prime. Res64: 5C478888297AB178 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:10:28] 711*2^1445154-1 is not prime. Res64: 8516034CD5E89768 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:15:55] 755*2^1445154-1 is not prime. Res64: B673DD37530DDE9D Time : 0.0 sec. user=mdettweiler [2016-11-06 16:15:56] 773*2^1445154-1 is not prime. Res64: 49E3D82A1C9023AA Time : 0.0 sec. user=mdettweiler [2016-11-06 16:15:56] 947*2^1445154-1 is not prime. Res64: FEFBEB20ABF57EE1 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:15:56] 609*2^1445156-1 is not prime. Res64: 5CA90012365DCCBD Time : 0.0 sec. user=mdettweiler [2016-11-06 16:15:57] 689*2^1445156-1 is not prime. Res64: 6D244C8B78312E5C Time : 0.0 sec. user=mdettweiler [2016-11-06 16:36:49] 963*2^1445156-1 is not prime. Res64: 1AC99409141DB874 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:36:49] 999*2^1445156-1 is not prime. Res64: 62C4504F91D2864B Time : 0.0 sec. user=mdettweiler [2016-11-06 16:36:50] 609*2^1445157-1 is not prime. Res64: C789E9C2C93B5DCB Time : 0.0 sec. user=mdettweiler [2016-11-06 16:36:50] 765*2^1445157-1 is not prime. Res64: C4DE991483113B53 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:36:50] 769*2^1445157-1 is not prime. Res64: 4FBE30B0E02ED0D4 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:44:46] 889*2^1445157-1 is not prime. Res64: E55465C584959633 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:44:46] 937*2^1445157-1 is not prime. Res64: 9CE5191C34D9E058 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:44:47] 955*2^1445157-1 is not prime. Res64: D3CD96C9283ED145 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:44:47] 663*2^1445158-1 is not prime. Res64: 9DCA1FB55A769908 Time : 0.0 sec. user=mdettweiler [2016-11-06 16:44:47] 671*2^1445158-1 is not prime. Res64: 653664DE329D3DC4 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:01:18] 705*2^1445158-1 is not prime. Res64: 0E7E6A71185DEB39 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:01:19] 755*2^1445158-1 is not prime. Res64: FF808FA87442B4C5 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:01:20] 777*2^1445158-1 is not prime. Res64: 7B55FFB6A164908F Time : 0.0 sec. user=mdettweiler [2016-11-06 17:01:21] 821*2^1445158-1 is not prime. Res64: 5B932E7A1C93D288 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:01:22] 825*2^1445158-1 is not prime. Res64: FAB67E5741518A80 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:05:08] 831*2^1445158-1 is not prime. Res64: ADEDAD2BBAC7DAC2 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:05:10] 861*2^1445158-1 is not prime. Res64: CC5864A1386280CF Time : 0.0 sec. user=mdettweiler [2016-11-06 17:05:12] 863*2^1445158-1 is not prime. Res64: 0B39BB0489406F05 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:05:14] 887*2^1445158-1 is not prime. Res64: 1A780150DED64C18 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:05:16] 915*2^1445158-1 is not prime. Res64: BF1CF7BD5360F8FA Time : 0.0 sec. user=mdettweiler [2016-11-06 17:25:41] 663*2^1445159-1 is not prime. Res64: A23F080519A014F7 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:25:42] 705*2^1445159-1 is not prime. Res64: B2CEA4D887FEA615 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:25:42] 745*2^1445159-1 is not prime. Res64: 1ECD4374BF25297D Time : 0.0 sec. user=mdettweiler [2016-11-06 17:25:42] 775*2^1445159-1 is not prime. Res64: F5F70D93634D482F Time : 0.0 sec. user=mdettweiler [2016-11-06 17:25:43] 865*2^1445159-1 is not prime. Res64: 91383EE68F027965 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:34:04] 895*2^1445159-1 is not prime. Res64: 8B787D80FF5629C8 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:34:04] 943*2^1445159-1 is not prime. Res64: 70CE5FAD8968837A Time : 0.0 sec. user=mdettweiler [2016-11-06 17:34:04] 973*2^1445159-1 is not prime. Res64: 4DE950A77125D169 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:34:04] 985*2^1445159-1 is not prime. Res64: 42AF270B56AC84A5 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:34:04] 629*2^1445160-1 is not prime. Res64: EA9F70159A52BA93 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:52:09] 633*2^1445160-1 is not prime. Res64: 20CB45309066874F Time : 0.0 sec. user=mdettweiler [2016-11-06 17:52:09] 675*2^1445160-1 is not prime. Res64: 6AF868EBFD1CF793 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:52:09] 689*2^1445160-1 is not prime. Res64: AD7AC57A1DEE61B4 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:52:09] 707*2^1445160-1 is not prime. Res64: 2048D6DA3352AE25 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:52:10] 825*2^1445160-1 is not prime. Res64: 3E4A274748A0E808 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:56:42] 923*2^1445160-1 is not prime. Res64: 8059F57A7FEAF805 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:56:42] 983*2^1445160-1 is not prime. Res64: 9DB9BABAB981F9B2 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:56:42] 741*2^1445161-1 is not prime. Res64: 2D4ED515AB8A605B Time : 0.0 sec. user=mdettweiler [2016-11-06 17:56:42] 751*2^1445161-1 is not prime. Res64: C0879E6AA92DDFA1 Time : 0.0 sec. user=mdettweiler [2016-11-06 17:56:43] 829*2^1445161-1 is not prime. Res64: A194E19C98F4058A Time : 0.0 sec. user=mdettweiler [2016-11-06 18:20:07] 847*2^1445161-1 is not prime. Res64: D9C6183F54C1EDFE Time : 0.0 sec. user=mdettweiler [2016-11-06 18:20:08] 931*2^1445161-1 is not prime. Res64: 73FEE133C3A1C00F Time : 0.0 sec. user=mdettweiler [2016-11-06 18:20:08] 741*2^1445162-1 is not prime. Res64: 6FCAE44F03785A7F Time : 0.0 sec. user=mdettweiler [2016-11-06 18:20:08] 755*2^1445162-1 is not prime. Res64: 53938517572DB352 Time : 0.0 sec. user=mdettweiler [2016-11-06 18:20:09] 801*2^1445162-1 is not prime. Res64: ECBB7E720436C9CC Time : 0.0 sec. user=mdettweiler [2016-11-06 18:28:06] 837*2^1445162-1 is not prime. Res64: 8E2B8AD52332FB90 Time : 0.0 sec. user=mdettweiler [2016-11-06 18:28:06] 915*2^1445162-1 is not prime. Res64: 1D3EC6F309D4BDD2 Time : 0.0 sec. user=mdettweiler [2016-11-06 18:28:06] 945*2^1445162-1 is not prime. Res64: 201C9CE0E415FA0F Time : 0.0 sec. user=mdettweiler [2016-11-06 18:28:06] 615*2^1445163-1 is not prime. Res64: 4FCA97BD42728CC6 Time : 0.0 sec. user=mdettweiler [2016-11-06 18:28:07] 663*2^1445163-1 is not prime. Res64: 8922B6799595142D Time : 0.0 sec. user=mdettweiler [2016-11-06 18:46:38] 721*2^1445163-1 is not prime. Res64: 9CDC5B34013A0852 Time : 0.0 sec. user=mdettweiler [2016-11-06 18:46:38] 741*2^1445163-1 is not prime. Res64: 6F8916AB47533734 Time : 0.0 sec. user=mdettweiler [2016-11-06 18:46:38] 853*2^1445163-1 is not prime. Res64: EFD3862D753F1546 Time : 0.0 sec. user=mdettweiler [2016-11-06 18:46:39] 919*2^1445163-1 is not prime. Res64: BAF28775F25571AA Time : 0.0 sec. user=mdettweiler [2016-11-06 18:46:39] 969*2^1445163-1 is not prime. Res64: D4537FDE2C9C9DF9 Time : 0.0 sec. user=mdettweiler [2016-11-06 18:51:06] 605*2^1445164-1 is not prime. Res64: B4B1C56C6CC03BDB Time : 0.0 sec. user=mdettweiler [2016-11-06 18:51:07] 717*2^1445164-1 is not prime. Res64: 8D78B24E77BD0679 Time : 0.0 sec. user=mdettweiler [2016-11-06 18:51:08] 723*2^1445164-1 is not prime. Res64: 63F9D9352BC85AC7 Time : 0.0 sec. user=mdettweiler [2016-11-06 18:51:08] 855*2^1445164-1 is not prime. Res64: 003FCCA72FD969DA Time : 0.0 sec. user=mdettweiler [2016-11-06 18:51:08] 863*2^1445164-1 is not prime. Res64: 1D5A66F6AED645CA Time : 0.0 sec. user=mdettweiler [2016-11-06 19:11:43] 869*2^1445164-1 is not prime. Res64: 8241103CA0311EEA Time : 0.0 sec. user=mdettweiler [2016-11-06 19:11:44] 939*2^1445164-1 is not prime. Res64: BE3F9C21D6C7A657 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:11:44] 959*2^1445164-1 is not prime. Res64: 2DA0E9EECB0223FD Time : 0.0 sec. user=mdettweiler [2016-11-06 19:11:44] 601*2^1445165-1 is not prime. Res64: A0343C8CD7AC15AA Time : 0.0 sec. user=mdettweiler [2016-11-06 19:11:44] 657*2^1445165-1 is not prime. Res64: 2BBD5EDB061AC8FF Time : 0.0 sec. user=mdettweiler [2016-11-06 19:20:08] 685*2^1445165-1 is not prime. Res64: 962363A8FDB52661 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:20:09] 717*2^1445165-1 is not prime. Res64: 50F361896F5B88A2 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:20:10] 757*2^1445165-1 is not prime. Res64: 3868740EED5690C2 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:20:11] 789*2^1445165-1 is not prime. Res64: CE0E7022526CCB0F Time : 0.0 sec. user=mdettweiler [2016-11-06 19:20:11] 799*2^1445165-1 is not prime. Res64: 8B207B17CA33B3F4 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:36:46] 811*2^1445165-1 is not prime. Res64: 894031BB2AAA2534 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:36:47] 825*2^1445165-1 is not prime. Res64: E64871EA3EB86B06 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:36:47] 915*2^1445165-1 is not prime. Res64: 6B221B552952A903 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:36:47] 969*2^1445165-1 is not prime. Res64: C3434A2E464E7E87 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:36:48] 683*2^1445166-1 is not prime. Res64: 57841E9A8E882818 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:41:00] 737*2^1445166-1 is not prime. Res64: 4C4219EC8342E603 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:41:00] 755*2^1445166-1 is not prime. Res64: 4BC87EFD431853A3 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:41:00] 821*2^1445166-1 is not prime. Res64: CEE31CA93555D4D6 Time : 0.0 sec. user=mdettweiler [2016-11-06 19:41:01] 833*2^1445166-1 is not prime. Res64: 0CF9EB5A8D8CD9FC Time : 0.0 sec. user=mdettweiler [2016-11-06 19:41:01] 861*2^1445166-1 is not prime. Res64: 5ECCED322E636E6E Time : 0.0 sec. user=mdettweiler [2016-11-06 20:01:43] 881*2^1445166-1 is not prime. Res64: 326D1AA91F0E8110 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:01:46] 993*2^1445166-1 is not prime. Res64: F0636CABE0888BF3 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:01:47] 601*2^1445167-1 is not prime. Res64: 2549B953DE56D440 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:01:49] 603*2^1445167-1 is not prime. Res64: FEABEE5E7E478111 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:01:53] 619*2^1445167-1 is not prime. Res64: 801AE067E89AB821 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:29:04] 883*2^1445167-1 is not prime. Res64: AA78002F7A2A920C Time : 0.0 sec. user=mdettweiler [2016-11-06 20:29:04] 885*2^1445167-1 is not prime. Res64: C7A2C9DC554407D1 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:29:05] 909*2^1445167-1 is not prime. Res64: 0B2F977AB2B5E534 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:29:05] 931*2^1445167-1 is not prime. Res64: 1CC59EC9C9CA2756 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:29:05] 975*2^1445167-1 is not prime. Res64: D9F91AC695C22AB8 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:33:08] 985*2^1445167-1 is not prime. Res64: 2C652D7F6A5ED4CD Time : 0.0 sec. user=mdettweiler [2016-11-06 20:33:08] 657*2^1445168-1 is not prime. Res64: 83FCB9730462108B Time : 0.0 sec. user=mdettweiler [2016-11-06 20:33:08] 767*2^1445168-1 is not prime. Res64: A08FE33C1AFF6096 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:33:09] 789*2^1445168-1 is not prime. Res64: 30127A472ED3FC6B Time : 0.0 sec. user=mdettweiler [2016-11-06 20:33:09] 843*2^1445168-1 is not prime. Res64: 8F6D620C679B7492 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:55:38] 927*2^1445168-1 is not prime. Res64: 4E30163CA9EE7E92 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:55:38] 637*2^1445169-1 is not prime. Res64: FFEAAEA91CFF902E Time : 0.0 sec. user=mdettweiler [2016-11-06 20:55:39] 649*2^1445169-1 is not prime. Res64: CF661AEDF5F28081 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:55:39] 705*2^1445169-1 is not prime. Res64: 00D443B2AB992B11 Time : 0.0 sec. user=mdettweiler [2016-11-06 20:55:40] 709*2^1445169-1 is not prime. Res64: 9EC9F3F013D7C238 Time : 0.0 sec. user=mdettweiler [2016-11-06 21:22:41] 781*2^1445169-1 is not prime. Res64: 607D8AF4BBC9C47F Time : 0.0 sec. user=mdettweiler [2016-11-06 21:22:41] 811*2^1445169-1 is not prime. Res64: F306A32F54ECBC91 Time : 0.0 sec. user=mdettweiler [2016-11-06 21:22:42] 847*2^1445169-1 is not prime. Res64: 5749E2DB646E5074 Time : 0.0 sec. user=mdettweiler [2016-11-06 21:22:42] 889*2^1445169-1 is not prime. Res64: 3DC88042E0883BC2 Time : 0.0 sec. user=mdettweiler [2016-11-06 21:22:42] 969*2^1445169-1 is not prime. Res64: 126DF190085BF618 Time : 0.0 sec. user=mdettweiler [2016-11-06 21:26:17] 999*2^1445169-1 is not prime. Res64: C9FF6B66CEDAFAAE Time : 0.0 sec. user=mdettweiler [2016-11-06 21:26:17] 687*2^1445170-1 is not prime. Res64: 5C1CD51E90C05D24 Time : 0.0 sec. user=mdettweiler [2016-11-06 21:26:18] 773*2^1445170-1 is not prime. Res64: 107F028C7ADFE9F2 Time : 0.0 sec. user=mdettweiler [2016-11-06 21:26:18] 911*2^1445170-1 is not prime. Res64: F3EE664947992AEA Time : 0.0 sec. user=mdettweiler [2016-11-06 21:26:18] 669*2^1445171-1 is not prime. Res64: B2107458C387B9AA Time : 0.0 sec. user=mdettweiler [2016-11-06 21:48:48] 733*2^1445171-1 is not prime. Res64: 55A22EDB9D1F7D54 Time : 0.0 sec. user=mdettweiler [2016-11-06 21:48:49] 841*2^1445171-1 is not prime. Res64: 2C3BAFB691F3005E Time : 0.0 sec. user=mdettweiler [2016-11-06 21:48:49] 913*2^1445171-1 is not prime. Res64: FFB4B267234881B2 Time : 0.0 sec. user=mdettweiler [2016-11-06 21:48:51] 615*2^1445172-1 is not prime. Res64: 1257B2069C881BD3 Time : 0.0 sec. user=mdettweiler [2016-11-06 21:48:52] 627*2^1445172-1 is not prime. Res64: CDBF7D3C9F76EAED Time : 0.0 sec. user=mdettweiler [2016-11-06 22:17:51] 959*2^1445172-1 is not prime. Res64: D9D557105334309B Time : 0.0 sec. user=mdettweiler [2016-11-06 22:17:52] 983*2^1445172-1 is not prime. Res64: 9CA241E9F17891D5 Time : 0.0 sec. user=mdettweiler [2016-11-06 22:17:52] 609*2^1445173-1 is not prime. Res64: D67A0CA24A41C973 Time : 0.0 sec. user=mdettweiler [2016-11-06 22:17:52] 615*2^1445173-1 is not prime. Res64: 004A8075778B5CCA Time : 0.0 sec. user=mdettweiler [2016-11-06 22:17:53] 639*2^1445173-1 is not prime. Res64: D43A41CEE00D0221 Time : 0.0 sec. user=mdettweiler [2016-11-06 22:21:10] 859*2^1445173-1 is not prime. Res64: C8711B16D4AF908E Time : 0.0 sec. user=mdettweiler [2016-11-06 22:21:10] 957*2^1445173-1 is not prime. Res64: 4DA73A23AF6EB452 Time : 0.0 sec. user=mdettweiler [2016-11-06 22:21:10] 641*2^1445174-1 is not prime. Res64: 213FE8731CD11393 Time : 0.0 sec. user=mdettweiler [2016-11-06 22:21:11] 665*2^1445174-1 is not prime. Res64: 7F28060395F813CC Time : 0.0 sec. user=mdettweiler [2016-11-06 22:21:11] 705*2^1445174-1 is not prime. Res64: 5E32CF76681F5B11 Time : 0.0 sec. user=mdettweiler [2016-11-06 22:48:02] 717*2^1445174-1 is not prime. Res64: B8A5F3A07C975EB0 Time : 0.0 sec. user=mdettweiler [2016-11-06 22:48:02] 785*2^1445174-1 is not prime. Res64: A5B3333D9C4B2849 Time : 0.0 sec. user=mdettweiler [2016-11-06 22:48:02] 935*2^1445174-1 is not prime. Res64: 8A30FE9711259ED4 Time : 0.0 sec. user=mdettweiler [2016-11-06 22:48:03] 953*2^1445174-1 is not prime. Res64: FC1A9383284DA900 Time : 0.0 sec. user=mdettweiler [2016-11-06 22:48:03] 613*2^1445175-1 is not prime. Res64: 07506B938D34E460 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:27:37] 849*2^1445176-1 is not prime. Res64: 2FB917C6A754F279 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:27:37] 857*2^1445176-1 is not prime. Res64: 001B40BA8A12D364 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:27:37] 903*2^1445176-1 is not prime. Res64: 65FEFB04014A1AE6 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:27:37] 933*2^1445176-1 is not prime. Res64: 67218E4C0BB35FDF Time : 0.0 sec. user=mdettweiler [2016-11-06 23:27:38] 879*2^1445177-1 is not prime. Res64: E40C1E8EB2E4453F Time : 0.0 sec. user=mdettweiler [2016-11-06 23:30:07] 625*2^1445175-1 is not prime. Res64: E49B2CE5AD0F9B83 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:30:07] 709*2^1445175-1 is not prime. Res64: BECABC4E0F0D0E4C Time : 0.0 sec. user=mdettweiler [2016-11-06 23:30:08] 861*2^1445175-1 is not prime. Res64: 4B888919FFD1C4F8 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:30:08] 909*2^1445175-1 is not prime. Res64: C5FA4F844D632A4A Time : 0.0 sec. user=mdettweiler [2016-11-06 23:30:09] 719*2^1445176-1 is not prime. Res64: 4959EF1FEB9491B6 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:33:52] 735*2^1445167-1 is not prime. Res64: 39C300B84435AFAC Time : 0.0 sec. user=mdettweiler [2016-11-06 23:33:53] 813*2^1445167-1 is not prime. Res64: 96EF5EBB4EE634F8 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:33:54] 841*2^1445167-1 is not prime. Res64: E4CCCD4540B5D6C1 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:33:55] 861*2^1445167-1 is not prime. Res64: AEC9326D1B89B109 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:33:55] 873*2^1445167-1 is not prime. Res64: BE60D8F271398FEE Time : 0.0 sec. user=mdettweiler [2016-11-06 23:55:53] 635*2^1445178-1 is not prime. Res64: 7D2C9EFBD6F668AD Time : 0.0 sec. user=mdettweiler [2016-11-06 23:55:54] 651*2^1445178-1 is not prime. Res64: 4F472FEB5B616463 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:55:54] 707*2^1445178-1 is not prime. Res64: 4E1E7EAA8FCC6E43 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:55:54] 725*2^1445178-1 is not prime. Res64: 3003AD273AC75F30 Time : 0.0 sec. user=mdettweiler [2016-11-06 23:55:55] 675*2^1445179-1 is not prime. Res64: D451A19BD21970B2 Time : 0.0 sec.