user=mdettweiler [2016-06-01 00:04:23] 635*2^1431008-1 is not prime. Res64: 234CD1DB12D45B6C Time : 0.0 sec. user=mdettweiler [2016-06-01 00:04:26] 747*2^1431008-1 is not prime. Res64: 56A522BA101FA61D Time : 0.0 sec. user=mdettweiler [2016-06-01 00:04:29] 797*2^1431008-1 is not prime. Res64: CED7CE23DE37878A Time : 0.0 sec. user=mdettweiler [2016-06-01 00:04:30] 813*2^1431008-1 is not prime. Res64: B28667B316CC40FC Time : 0.0 sec. user=mdettweiler [2016-06-01 00:04:33] 869*2^1431008-1 is not prime. Res64: 52D49E7401774191 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:21:17] 945*2^1431008-1 is not prime. Res64: C72587B16DF1E977 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:21:18] 999*2^1431008-1 is not prime. Res64: 80558E5E5BFBE927 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:21:19] 649*2^1431009-1 is not prime. Res64: 8E1D270899032A12 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:21:19] 669*2^1431009-1 is not prime. Res64: 14D539A6A44C4D63 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:21:20] 679*2^1431009-1 is not prime. Res64: 47E25A5BE604AE0C Time : 0.0 sec. user=mdettweiler [2016-06-01 00:36:27] 727*2^1431009-1 is not prime. Res64: 3FC512B66E0F6264 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:36:27] 747*2^1431009-1 is not prime. Res64: C50E0DA329FB90C3 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:36:28] 889*2^1431009-1 is not prime. Res64: BC5424A6922EA94D Time : 0.0 sec. user=mdettweiler [2016-06-01 00:36:28] 909*2^1431009-1 is not prime. Res64: C3AAE5AA9FFE96F7 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:36:28] 945*2^1431009-1 is not prime. Res64: 77AB66E5472CD007 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:38:38] 633*2^1431010-1 is not prime. Res64: B2B35CBE8D2E4F39 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:38:39] 657*2^1431010-1 is not prime. Res64: 52DFF164D8489E61 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:38:39] 681*2^1431010-1 is not prime. Res64: 53935E15FC348E89 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:38:40] 701*2^1431010-1 is not prime. Res64: 3D9C240A602384AE Time : 0.0 sec. user=mdettweiler [2016-06-01 00:38:40] 735*2^1431010-1 is not prime. Res64: 68EA61B36B6C40A8 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:49:47] 843*2^1431010-1 is not prime. Res64: 8CDD5EC6B8476425 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:49:48] 945*2^1431010-1 is not prime. Res64: 28D659F748004307 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:49:48] 615*2^1431011-1 is not prime. Res64: C3A9BC57D56E3217 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:49:49] 631*2^1431011-1 is not prime. Res64: 434BAFD601CCB1B6 Time : 0.0 sec. user=mdettweiler [2016-06-01 00:49:49] 651*2^1431011-1 is not prime. Res64: 570A48D7A0249558 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:06:21] 783*2^1431011-1 is not prime. Res64: 8A82CA270211BE9C Time : 0.0 sec. user=mdettweiler [2016-06-01 01:06:22] 889*2^1431011-1 is not prime. Res64: C5D7F8EC7D9C8B97 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:06:23] 895*2^1431011-1 is not prime. Res64: A573919F40038C00 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:06:23] 909*2^1431011-1 is not prime. Res64: 0725B54EC93C1CC3 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:06:24] 635*2^1431012-1 is not prime. Res64: A40A2ED603F8A8AE Time : 0.0 sec. user=mdettweiler [2016-06-01 01:21:24] 683*2^1431012-1 is not prime. Res64: 8110160E9C279BD8 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:21:25] 717*2^1431012-1 is not prime. Res64: 825BD270BDCF48C7 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:21:25] 825*2^1431012-1 is not prime. Res64: 38F5101CB8E992D7 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:21:26] 873*2^1431012-1 is not prime. Res64: 7371F0528107217B Time : 0.0 sec. user=mdettweiler [2016-06-01 01:21:27] 977*2^1431012-1 is not prime. Res64: 666C03DAF085B582 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:23:55] 681*2^1431013-1 is not prime. Res64: D939AA57816499E2 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:23:56] 699*2^1431013-1 is not prime. Res64: B7EE6BAA927A06AF Time : 0.0 sec. user=mdettweiler [2016-06-01 01:23:57] 751*2^1431013-1 is not prime. Res64: A4B8D04A851D8FA8 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:23:57] 855*2^1431013-1 is not prime. Res64: 559122A1139C6AB2 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:23:58] 919*2^1431013-1 is not prime. Res64: A63B0ACB5DF23D30 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:34:46] 927*2^1431013-1 is not prime. Res64: 62D18F9185A422F4 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:34:47] 951*2^1431013-1 is not prime. Res64: 1631BCEE5896A465 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:34:47] 961*2^1431013-1 is not prime. Res64: 20B9F9A7B83FDD64 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:34:48] 743*2^1431014-1 is not prime. Res64: 8E8526A2B3327DC1 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:34:49] 785*2^1431014-1 is not prime. Res64: CAFAAD22F675A9B0 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:51:58] 1001*2^1431014-1 is not prime. Res64: 194328E7A749EEC5 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:51:59] 675*2^1431015-1 is not prime. Res64: 984E7D8B20DE3288 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:51:59] 741*2^1431015-1 is not prime. Res64: 0EF5E71AFB1C1F42 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:51:59] 783*2^1431015-1 is not prime. Res64: 2F0D31C2CC80CA01 Time : 0.0 sec. user=mdettweiler [2016-06-01 01:52:00] 861*2^1431015-1 is not prime. Res64: CBE1CA29D83CABC4 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:07:36] 891*2^1431015-1 is not prime. Res64: 9981D8F106CD211B Time : 0.0 sec. user=mdettweiler [2016-06-01 02:07:36] 951*2^1431015-1 is not prime. Res64: 4A4B9FEE2B4423A8 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:07:37] 955*2^1431015-1 is not prime. Res64: BAA6BF5A5B068E61 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:07:37] 963*2^1431015-1 is not prime. Res64: 3FFD32FED7A932DC Time : 0.0 sec. user=mdettweiler [2016-06-01 02:07:38] 979*2^1431015-1 is not prime. Res64: DF51E87FC400D8C8 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:10:06] 675*2^1431016-1 is not prime. Res64: F1F6FF6A3728C59F Time : 0.0 sec. user=mdettweiler [2016-06-01 02:10:07] 747*2^1431016-1 is not prime. Res64: 1E2D3C1961FE4AE1 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:10:09] 765*2^1431016-1 is not prime. Res64: EAF417A352B3E84A Time : 0.0 sec. user=mdettweiler [2016-06-01 02:10:09] 983*2^1431016-1 is not prime. Res64: 16EB77B7FEF4A285 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:10:10] 735*2^1431017-1 is not prime. Res64: 826BE444CE1E81E1 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:21:52] 747*2^1431017-1 is not prime. Res64: E065DE702FDEC1B8 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:21:53] 879*2^1431017-1 is not prime. Res64: AA06B0007DC49018 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:21:53] 925*2^1431017-1 is not prime. Res64: 43B16139CDC01649 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:21:53] 937*2^1431017-1 is not prime. Res64: 827536F08EEB458F Time : 0.0 sec. user=mdettweiler [2016-06-01 02:21:54] 957*2^1431017-1 is not prime. Res64: 3CFA5C48E0930DEF Time : 0.0 sec. user=mdettweiler [2016-06-01 02:37:58] 981*2^1431017-1 is not prime. Res64: 36DED58723239C70 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:37:58] 671*2^1431018-1 is not prime. Res64: 02774629AF8F6C71 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:37:59] 705*2^1431018-1 is not prime. Res64: 82515B0BA907627E Time : 0.0 sec. user=mdettweiler [2016-06-01 02:37:59] 711*2^1431018-1 is not prime. Res64: 6ECF73E17E04F305 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:38:00] 713*2^1431018-1 is not prime. Res64: E849C454474B471D Time : 0.0 sec. user=mdettweiler [2016-06-01 02:53:42] 735*2^1431018-1 is not prime. Res64: 3D607B105DAE3D25 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:53:43] 747*2^1431018-1 is not prime. Res64: 7ECC05DD9C9490D0 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:53:43] 765*2^1431018-1 is not prime. Res64: 94A94900DE2ECEE4 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:53:44] 803*2^1431018-1 is not prime. Res64: 160FFFABB91D8005 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:53:44] 821*2^1431018-1 is not prime. Res64: 68F6C3D967299EF8 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:56:01] 861*2^1431018-1 is not prime. Res64: BF21C8B862B15543 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:56:02] 601*2^1431019-1 is not prime. Res64: 9F95C0FD67CB12D2 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:56:02] 603*2^1431019-1 is not prime. Res64: 7DE0AB3078C9EA37 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:56:03] 619*2^1431019-1 is not prime. Res64: C81EB570175A5AA0 Time : 0.0 sec. user=mdettweiler [2016-06-01 02:56:03] 685*2^1431019-1 is not prime. Res64: AFFB4874AB7DC917 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:07:00] 745*2^1431019-1 is not prime. Res64: ABFD3A5CCA52D5EC Time : 0.0 sec. user=mdettweiler [2016-06-01 03:07:01] 769*2^1431019-1 is not prime. Res64: DF2DBFA1A7830F62 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:07:01] 859*2^1431019-1 is not prime. Res64: 906B532C35E02C9A Time : 0.0 sec. user=mdettweiler [2016-06-01 03:07:02] 861*2^1431019-1 is not prime. Res64: 8E0F17B9DE42D693 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:07:02] 951*2^1431019-1 is not prime. Res64: 1EE7D9065E248FC3 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:23:38] 663*2^1431020-1 is not prime. Res64: ABFD7FBAB2B453F9 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:23:38] 677*2^1431020-1 is not prime. Res64: FEC237C5CD160420 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:23:39] 729*2^1431020-1 is not prime. Res64: 05677D6B17D7DDDF Time : 0.0 sec. user=mdettweiler [2016-06-01 03:23:39] 795*2^1431020-1 is not prime. Res64: 468BDBA3134AC891 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:23:40] 825*2^1431020-1 is not prime. Res64: A082B0FCCBE238EB Time : 0.0 sec. user=mdettweiler [2016-06-01 03:40:21] 923*2^1431020-1 is not prime. Res64: 42BA46ACD3063742 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:40:22] 649*2^1431021-1 is not prime. Res64: 9F24A99CAEAAC7D6 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:40:23] 859*2^1431021-1 is not prime. Res64: 64748700B42FB991 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:40:24] 975*2^1431021-1 is not prime. Res64: 222B7D3ADDECD502 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:40:25] 705*2^1431022-1 is not prime. Res64: 5FF84B673ACC7427 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:42:26] 825*2^1431022-1 is not prime. Res64: DE74657658CEF2F8 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:42:26] 923*2^1431022-1 is not prime. Res64: 5815D76C818081A0 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:42:27] 643*2^1431023-1 is not prime. Res64: CED487A3605EFF5C Time : 0.0 sec. user=mdettweiler [2016-06-01 03:42:27] 693*2^1431023-1 is not prime. Res64: D8360A6D4CC07184 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:42:28] 775*2^1431023-1 is not prime. Res64: C1499F60BC7D835D Time : 0.0 sec. user=mdettweiler [2016-06-01 03:52:40] 811*2^1431023-1 is not prime. Res64: 3EE5D559E56B35D4 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:52:41] 823*2^1431023-1 is not prime. Res64: 0CAE4FE07495EA1D Time : 0.0 sec. user=mdettweiler [2016-06-01 03:52:43] 629*2^1431024-1 is not prime. Res64: 0A399A5669551458 Time : 0.0 sec. user=mdettweiler [2016-06-01 03:52:44] 723*2^1431024-1 is not prime. Res64: 7DDA43D361FCAD8B Time : 0.0 sec. user=mdettweiler [2016-06-01 03:52:45] 753*2^1431024-1 is not prime. Res64: BFDFF89E1FC8CFAB Time : 0.0 sec. user=mdettweiler [2016-06-01 04:08:28] 915*2^1431024-1 is not prime. Res64: 1BA9F1E0CA24B0EA Time : 0.0 sec. user=mdettweiler [2016-06-01 04:08:29] 959*2^1431024-1 is not prime. Res64: 6C954034828B900F Time : 0.0 sec. user=mdettweiler [2016-06-01 04:08:29] 993*2^1431024-1 is not prime. Res64: A01080BB69F6BE5C Time : 0.0 sec. user=mdettweiler [2016-06-01 04:08:30] 685*2^1431025-1 is not prime. Res64: EB11545BB10F22B3 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:08:30] 717*2^1431025-1 is not prime. Res64: 32B020524A6D5A4B Time : 0.0 sec. user=mdettweiler [2016-06-01 04:25:25] 751*2^1431025-1 is not prime. Res64: D96955786A48A393 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:25:25] 603*2^1431026-1 is not prime. Res64: 86791B8F3C403CF8 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:25:25] 711*2^1431026-1 is not prime. Res64: 40797DEA7A4FAFD6 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:25:26] 875*2^1431026-1 is not prime. Res64: 17DFCD3056EDE2AB Time : 0.0 sec. user=mdettweiler [2016-06-01 04:25:26] 963*2^1431026-1 is not prime. Res64: A33436392261B062 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:27:23] 685*2^1431027-1 is not prime. Res64: E2067DB97E15C591 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:27:23] 711*2^1431027-1 is not prime. Res64: 4CE154CB3A11EE3F Time : 0.0 sec. user=mdettweiler [2016-06-01 04:27:23] 769*2^1431027-1 is not prime. Res64: 3B6F420785D64635 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:27:24] 775*2^1431027-1 is not prime. Res64: 08E6C2817E5343BC Time : 0.0 sec. user=mdettweiler [2016-06-01 04:27:24] 819*2^1431027-1 is not prime. Res64: AF16FDCB494D021C Time : 0.0 sec. user=mdettweiler [2016-06-01 04:37:58] 829*2^1431027-1 is not prime. Res64: 387A539E5DB9B74C Time : 0.0 sec. user=mdettweiler [2016-06-01 04:37:58] 849*2^1431027-1 is not prime. Res64: ADAE6F10993F1204 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:37:59] 909*2^1431027-1 is not prime. Res64: CBDD07FA1E97C656 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:37:59] 999*2^1431027-1 is not prime. Res64: 3EA33784F7010ECD Time : 0.0 sec. user=mdettweiler [2016-06-01 04:37:59] 623*2^1431028-1 is not prime. Res64: BC51BEE206EDDC52 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:53:16] 665*2^1431028-1 is not prime. Res64: D595C5BFDBC60076 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:53:16] 689*2^1431028-1 is not prime. Res64: 844CD8A98EB925D0 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:53:17] 707*2^1431028-1 is not prime. Res64: E7DD403F5F46DE6B Time : 0.0 sec. user=mdettweiler [2016-06-01 04:53:17] 749*2^1431028-1 is not prime. Res64: 891F78D8141BCEB4 Time : 0.0 sec. user=mdettweiler [2016-06-01 04:53:17] 953*2^1431028-1 is not prime. Res64: 884808E3824AE9D9 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:10:23] 995*2^1431028-1 is not prime. Res64: 67F80F3EDFD8B84D Time : 0.0 sec. user=mdettweiler [2016-06-01 05:10:24] 789*2^1431029-1 is not prime. Res64: 303C0FA00C6D2414 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:10:24] 885*2^1431029-1 is not prime. Res64: B0E8AC5EF29F079E Time : 0.0 sec. user=mdettweiler [2016-06-01 05:10:25] 627*2^1431030-1 is not prime. Res64: F426BC994082E523 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:10:25] 635*2^1431030-1 is not prime. Res64: 31EA31E544A8CCF1 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:12:15] 755*2^1431030-1 is not prime. Res64: 8D06300D7E0C069C Time : 0.0 sec. user=mdettweiler [2016-06-01 05:12:16] 773*2^1431030-1 is not prime. Res64: 58D1689049B180CD Time : 0.0 sec. user=mdettweiler [2016-06-01 05:12:16] 801*2^1431030-1 is not prime. Res64: 0F45B4959041F5B8 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:12:17] 923*2^1431030-1 is not prime. Res64: AC862A0AEC075D66 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:12:17] 951*2^1431030-1 is not prime. Res64: 898C81A164A4377A Time : 0.0 sec. user=mdettweiler [2016-06-01 05:22:51] 963*2^1431030-1 is not prime. Res64: 851E0A93218349D6 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:22:52] 639*2^1431031-1 is not prime. Res64: 18FE49765D9CD4B3 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:22:52] 681*2^1431031-1 is not prime. Res64: B801BA60B2C0248C Time : 0.0 sec. user=mdettweiler [2016-06-01 05:22:53] 793*2^1431031-1 is not prime. Res64: 115FFA60E6F6C79E Time : 0.0 sec. user=mdettweiler [2016-06-01 05:22:53] 855*2^1431031-1 is not prime. Res64: BEF4927C9568A2BF Time : 0.0 sec. user=mdettweiler [2016-06-01 05:38:04] 609*2^1431032-1 is not prime. Res64: 1D5B92BE4550E9DA Time : 0.0 sec. user=mdettweiler [2016-06-01 05:38:04] 657*2^1431032-1 is not prime. Res64: B590C223CDC25DE7 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:38:04] 683*2^1431032-1 is not prime. Res64: A8A2F4B849E64EC1 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:38:05] 813*2^1431032-1 is not prime. Res64: A167786BE7825972 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:38:05] 875*2^1431032-1 is not prime. Res64: 879A7004350AEC44 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:55:27] 995*2^1431032-1 is not prime. Res64: A7135A940B34A4ED Time : 0.0 sec. user=mdettweiler [2016-06-01 05:55:27] 747*2^1431033-1 is not prime. Res64: 88F6BAAA1C4D9A18 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:55:28] 765*2^1431033-1 is not prime. Res64: F3B0C10C1C6926A5 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:55:28] 789*2^1431033-1 is not prime. Res64: 90DE4820076793FB Time : 0.0 sec. user=mdettweiler [2016-06-01 05:55:28] 885*2^1431033-1 is not prime. Res64: 338583AD5DC98885 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:57:10] 635*2^1431034-1 is not prime. Res64: A0E9F9E3D4DFEBE7 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:57:10] 675*2^1431034-1 is not prime. Res64: A0DD82611860A6BA Time : 0.0 sec. user=mdettweiler [2016-06-01 05:57:11] 677*2^1431034-1 is not prime. Res64: 14553F45A9205C2A Time : 0.0 sec. user=mdettweiler [2016-06-01 05:57:11] 681*2^1431034-1 is not prime. Res64: CB24FD83EE70D7C0 Time : 0.0 sec. user=mdettweiler [2016-06-01 05:57:12] 603*2^1431035-1 is not prime. Res64: 0B03A9C10C87D37B Time : 0.0 sec. user=mdettweiler [2016-06-01 06:07:55] 609*2^1431035-1 is not prime. Res64: 243F142D9472F31A Time : 0.0 sec. user=mdettweiler [2016-06-01 06:07:56] 963*2^1431035-1 is not prime. Res64: BB0E10874A33912C Time : 0.0 sec. user=mdettweiler [2016-06-01 06:07:56] 979*2^1431035-1 is not prime. Res64: BDDE11F6335315AB Time : 0.0 sec. user=mdettweiler [2016-06-01 06:07:57] 683*2^1431036-1 is not prime. Res64: 0D35B9803E023AAC Time : 0.0 sec. user=mdettweiler [2016-06-01 06:07:57] 777*2^1431036-1 is not prime. Res64: D0F2FBADE1EF1F7B Time : 0.0 sec. user=mdettweiler [2016-06-01 06:22:56] 845*2^1431036-1 is not prime. Res64: 6E3EC143B1CB1C8A Time : 0.0 sec. user=mdettweiler [2016-06-01 06:22:57] 905*2^1431036-1 is not prime. Res64: 0E6D49AF5E16097C Time : 0.0 sec. user=mdettweiler [2016-06-01 06:22:57] 927*2^1431036-1 is not prime. Res64: F91682B68C59A6F8 Time : 0.0 sec. user=mdettweiler [2016-06-01 06:22:58] 945*2^1431036-1 is not prime. Res64: 85DF0F3CBC17999D Time : 0.0 sec. user=mdettweiler [2016-06-01 06:22:58] 777*2^1431037-1 is not prime. Res64: F463D9E80184C84D Time : 0.0 sec. user=mdettweiler [2016-06-01 06:40:29] 861*2^1431037-1 is not prime. Res64: 793252DDC603BA8C Time : 0.0 sec. user=mdettweiler [2016-06-01 06:40:29] 919*2^1431037-1 is not prime. Res64: 233EBEEFEEA3213C Time : 0.0 sec. user=mdettweiler [2016-06-01 06:40:29] 985*2^1431037-1 is not prime. Res64: BA4D13022F5B11C3 Time : 0.0 sec. user=mdettweiler [2016-06-01 06:40:30] 663*2^1431038-1 is not prime. Res64: 0EE2C37E4BBDCEF5 Time : 0.0 sec. user=mdettweiler [2016-06-01 06:40:30] 711*2^1431038-1 is not prime. Res64: BCED4CECC8B38F69 Time : 0.0 sec. user=mdettweiler [2016-06-01 06:42:18] 971*2^1431038-1 is not prime. Res64: 06710F5BFFF7F3A4 Time : 0.0 sec. user=mdettweiler [2016-06-01 06:42:18] 633*2^1431039-1 is not prime. Res64: 69CCAABA7B5901B8 Time : 0.0 sec. user=mdettweiler [2016-06-01 06:42:19] 669*2^1431039-1 is not prime. Res64: 9DC5E5887DA6AAB0 Time : 0.0 sec. user=mdettweiler [2016-06-01 06:42:19] 735*2^1431039-1 is not prime. Res64: 642E9CF826851710 Time : 0.0 sec. user=mdettweiler [2016-06-01 06:42:19] 825*2^1431039-1 is not prime. Res64: C08A4B3471EBE29E Time : 0.0 sec. user=mdettweiler [2016-06-01 06:53:01] 931*2^1431039-1 is not prime. Res64: 42798AD79468A079 Time : 0.0 sec. user=mdettweiler [2016-06-01 06:53:01] 603*2^1431040-1 is not prime. Res64: 3D49F373DCE69FDE Time : 0.0 sec. user=mdettweiler [2016-06-01 06:53:01] 623*2^1431040-1 is not prime. Res64: 942D4D579CFEDB5E Time : 0.0 sec. user=mdettweiler [2016-06-01 06:53:02] 917*2^1431040-1 is not prime. Res64: F8EE94FBC8E2574C Time : 0.0 sec. user=mdettweiler [2016-06-01 06:53:02] 927*2^1431040-1 is not prime. Res64: D0777D7DEFE4D142 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:07:55] 669*2^1431041-1 is not prime. Res64: 51CAD133DA25F214 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:07:56] 741*2^1431041-1 is not prime. Res64: 73D162E1AF2C44C9 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:07:56] 865*2^1431041-1 is not prime. Res64: 1D91A8B974D4342F Time : 0.0 sec. user=mdettweiler [2016-06-01 07:07:57] 931*2^1431041-1 is not prime. Res64: 47C596E45C6023FB Time : 0.0 sec. user=mdettweiler [2016-06-01 07:07:57] 955*2^1431041-1 is not prime. Res64: D5E654ACF524F886 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:25:37] 735*2^1431042-1 is not prime. Res64: 626AC41D8E42D653 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:25:37] 867*2^1431042-1 is not prime. Res64: 3F21F5F0C3154795 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:25:37] 891*2^1431042-1 is not prime. Res64: 283E6B7A2887F83A Time : 0.0 sec. user=mdettweiler [2016-06-01 07:25:38] 945*2^1431042-1 is not prime. Res64: A1190EBCAF3C198B Time : 0.0 sec. user=mdettweiler [2016-06-01 07:25:38] 691*2^1431043-1 is not prime. Res64: B5BD48F98BA0ABB7 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:27:08] 703*2^1431043-1 is not prime. Res64: B89D73D8B5A44634 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:27:08] 705*2^1431043-1 is not prime. Res64: 2E2D9F0F03C8BBB3 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:27:09] 675*2^1431044-1 is not prime. Res64: 34AFFD45F6AB8591 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:27:09] 689*2^1431044-1 is not prime. Res64: 1A359C74C0F5BD1E Time : 0.0 sec. user=mdettweiler [2016-06-01 07:27:09] 897*2^1431044-1 is not prime. Res64: 09FD5FAE0C6053CC Time : 0.0 sec. user=mdettweiler [2016-06-01 07:38:02] 957*2^1431044-1 is not prime. Res64: B9ABC96720B31262 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:38:02] 959*2^1431044-1 is not prime. Res64: 398A606B1BDECF21 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:38:02] 655*2^1431045-1 is not prime. Res64: 92F8CAE85D30515D Time : 0.0 sec. user=mdettweiler [2016-06-01 07:38:03] 825*2^1431045-1 is not prime. Res64: B08892FC780EE225 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:38:03] 867*2^1431045-1 is not prime. Res64: 79F403D8783CE2F1 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:53:01] 895*2^1431045-1 is not prime. Res64: 881FEF610B93048F Time : 0.0 sec. user=mdettweiler [2016-06-01 07:53:01] 647*2^1431046-1 is not prime. Res64: 7C6E11EC5215181A Time : 0.0 sec. user=mdettweiler [2016-06-01 07:53:02] 653*2^1431046-1 is not prime. Res64: 58DB72EF0C512D57 Time : 0.0 sec. user=mdettweiler [2016-06-01 07:53:02] 923*2^1431046-1 is not prime. Res64: 9C570F6528D86E3E Time : 0.0 sec. user=mdettweiler [2016-06-01 07:53:03] 941*2^1431046-1 is not prime. Res64: A7982B0090C11B01 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:10:37] 993*2^1431046-1 is not prime. Res64: 933C11590045DE52 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:10:38] 615*2^1431047-1 is not prime. Res64: 85E29940986CB430 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:10:38] 663*2^1431047-1 is not prime. Res64: 22C095FA030BC811 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:10:39] 703*2^1431047-1 is not prime. Res64: C7A530C8C140AB4D Time : 0.0 sec. user=mdettweiler [2016-06-01 08:10:39] 963*2^1431047-1 is not prime. Res64: 15AD9316A00AFCBD Time : 0.0 sec. user=mdettweiler [2016-06-01 08:12:22] 985*2^1431047-1 is not prime. Res64: E505A8FC7E52F921 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:12:23] 669*2^1431048-1 is not prime. Res64: 839A615A775D8EEA Time : 0.0 sec. user=mdettweiler [2016-06-01 08:12:23] 705*2^1431048-1 is not prime. Res64: 16B2B4D549DDCF74 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:12:24] 845*2^1431048-1 is not prime. Res64: D5D4A97C273566EB Time : 0.0 sec. user=mdettweiler [2016-06-01 08:12:24] 747*2^1431049-1 is not prime. Res64: A75EC2D0DB93C5E4 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:23:07] 771*2^1431049-1 is not prime. Res64: B9624E129222B980 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:23:07] 867*2^1431049-1 is not prime. Res64: B2E17BDEE05F6448 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:23:08] 885*2^1431049-1 is not prime. Res64: 417D348347237186 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:23:08] 985*2^1431049-1 is not prime. Res64: 563970B79CA9B2C7 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:23:08] 627*2^1431050-1 is not prime. Res64: 663F1897C2D05FFE Time : 0.0 sec. user=mdettweiler [2016-06-01 08:38:10] 707*2^1431050-1 is not prime. Res64: DC7EA4C83BC165C6 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:38:10] 791*2^1431050-1 is not prime. Res64: F05BE03694D108B8 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:38:11] 797*2^1431050-1 is not prime. Res64: B0A657E6BE7BA216 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:38:11] 851*2^1431050-1 is not prime. Res64: A71AB5E7515757EE Time : 0.0 sec. user=mdettweiler [2016-06-01 08:38:11] 911*2^1431050-1 is not prime. Res64: 36B1D179D940D873 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:55:39] 971*2^1431050-1 is not prime. Res64: 135BA254AA32899C Time : 0.0 sec. user=mdettweiler [2016-06-01 08:55:40] 995*2^1431050-1 is not prime. Res64: D19C5AE6A623C32C Time : 0.0 sec. user=mdettweiler [2016-06-01 08:55:40] 823*2^1431051-1 is not prime. Res64: 86736B485222B04C Time : 0.0 sec. user=mdettweiler [2016-06-01 08:55:41] 873*2^1431051-1 is not prime. Res64: AA686272B4E62F72 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:55:41] 903*2^1431051-1 is not prime. Res64: E898234862F7EE47 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:57:14] 913*2^1431051-1 is not prime. Res64: 3AAC9A0040F044D9 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:57:14] 949*2^1431051-1 is not prime. Res64: FD2B60ACC07771F0 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:57:15] 969*2^1431051-1 is not prime. Res64: 466F1AF36C18AFD6 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:57:15] 605*2^1431052-1 is not prime. Res64: 963F1010F9B8E7A8 Time : 0.0 sec. user=mdettweiler [2016-06-01 08:57:15] 777*2^1431052-1 is not prime. Res64: 2DB13D48324EE382 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:08:12] 649*2^1431053-1 is not prime. Res64: 597734CC1090D9AA Time : 0.0 sec. user=mdettweiler [2016-06-01 09:08:13] 729*2^1431053-1 is not prime. Res64: BF7114A4FCE00B16 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:08:13] 741*2^1431053-1 is not prime. Res64: 49F8ADA705812221 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:08:14] 745*2^1431053-1 is not prime. Res64: C4BB6CFB46FC0B8B Time : 0.0 sec. user=mdettweiler [2016-06-01 09:08:14] 829*2^1431053-1 is not prime. Res64: AEDFACBFB78DE7CE Time : 0.0 sec. user=mdettweiler [2016-06-01 09:23:17] 897*2^1431053-1 is not prime. Res64: 44532DEFA646E0E7 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:23:18] 605*2^1431054-1 is not prime. Res64: 995A78623BBABA3F Time : 0.0 sec. user=mdettweiler [2016-06-01 09:23:18] 657*2^1431054-1 is not prime. Res64: B7059687474F93AF Time : 0.0 sec. user=mdettweiler [2016-06-01 09:23:19] 663*2^1431054-1 is not prime. Res64: 3F106E77EFABB94C Time : 0.0 sec. user=mdettweiler [2016-06-01 09:23:19] 861*2^1431054-1 is not prime. Res64: 310109FC56BF845C Time : 0.0 sec. user=mdettweiler [2016-06-01 09:40:46] 881*2^1431054-1 is not prime. Res64: E69F51B0E747C092 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:40:47] 971*2^1431054-1 is not prime. Res64: 06011215956B7688 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:40:47] 619*2^1431055-1 is not prime. Res64: 680DC9BDE728CA52 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:40:47] 709*2^1431055-1 is not prime. Res64: E6B549E15725E4D6 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:40:48] 793*2^1431055-1 is not prime. Res64: EE355BC22506F890 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:42:13] 883*2^1431055-1 is not prime. Res64: 9B9BE1A79F2FEBE9 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:42:13] 891*2^1431055-1 is not prime. Res64: 52B9F3C8B497AFAA Time : 0.0 sec. user=mdettweiler [2016-06-01 09:42:13] 895*2^1431055-1 is not prime. Res64: DAC887EA22C447C4 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:42:14] 933*2^1431055-1 is not prime. Res64: 6460EA11C4F1C0D2 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:42:14] 635*2^1431056-1 is not prime. Res64: F66BC0CD4EA7F404 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:53:48] 657*2^1431056-1 is not prime. Res64: 7F62BEF66D38DBD9 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:53:48] 735*2^1431056-1 is not prime. Res64: ABE6F36A1199CBA8 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:53:48] 747*2^1431056-1 is not prime. Res64: A522A216E460C9F7 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:53:49] 813*2^1431056-1 is not prime. Res64: D8A026515007CFA3 Time : 0.0 sec. user=mdettweiler [2016-06-01 09:53:49] 747*2^1431057-1 is not prime. Res64: 57C1BA9333E3D25F Time : 0.0 sec. user=mdettweiler [2016-06-01 10:08:28] 751*2^1431057-1 is not prime. Res64: F557AD5FCBD1045C Time : 0.0 sec. user=mdettweiler [2016-06-01 10:08:28] 777*2^1431057-1 is not prime. Res64: A2FC9BE7B249A0A3 Time : 0.0 sec. user=mdettweiler [2016-06-01 10:08:29] 795*2^1431057-1 is not prime. Res64: 1D2A83CFCB34533C Time : 0.0 sec. user=mdettweiler [2016-06-01 10:08:29] 621*2^1431058-1 is not prime. Res64: 70F040251AD65353 Time : 0.0 sec. user=mdettweiler [2016-06-01 10:08:30] 657*2^1431058-1 is not prime. Res64: E47A84D37153A8E7 Time : 0.0 sec. user=mdettweiler [2016-06-01 10:25:43] 665*2^1431058-1 is not prime. Res64: 486EAD48D4A922AC Time : 0.0 sec. user=mdettweiler [2016-06-01 10:25:44] 677*2^1431058-1 is not prime. Res64: CC11230E222C6B0A Time : 0.0 sec. user=mdettweiler [2016-06-01 10:25:44] 687*2^1431058-1 is not prime. Res64: 0C21C0637EDCD72D Time : 0.0 sec. user=mdettweiler [2016-06-01 10:25:44] 713*2^1431058-1 is not prime. Res64: C4164181FD01A701 Time : 0.0 sec. user=mdettweiler [2016-06-01 10:25:45] 813*2^1431058-1 is not prime. Res64: DD05128E4AA70EE6 Time : 0.0 sec. user=mdettweiler [2016-06-01 10:27:20] 833*2^1431058-1 is not prime. Res64: 63E5D640FAF83AD0 Time : 0.0 sec. user=mdettweiler [2016-06-01 10:27:20] 845*2^1431058-1 is not prime. Res64: 9A0C3F876F40CF6A Time : 0.0 sec. user=mdettweiler [2016-06-01 10:27:20] 619*2^1431059-1 is not prime. Res64: D164D4D114674E3D Time : 0.0 sec. user=mdettweiler [2016-06-01 10:27:21] 703*2^1431059-1 is not prime. Res64: 0006F57F8AEEEEE2 Time : 0.0 sec. user=mdettweiler [2016-06-01 10:27:21] 741*2^1431059-1 is not prime. Res64: 0CECB6E16CC93D8A Time : 0.0 sec. user=mdettweiler [2016-06-01 10:38:56] 825*2^1431059-1 is not prime. Res64: 19840D2BD1E67E52 Time : 0.0 sec. user=mdettweiler [2016-06-01 10:38:56] 843*2^1431059-1 is not prime. Res64: CC4E737989E7A27F Time : 0.0 sec. user=mdettweiler [2016-06-01 10:38:57] 939*2^1431059-1 is not prime. Res64: 541C750B7A49DE5F Time : 0.0 sec. user=mdettweiler [2016-06-01 10:38:57] 973*2^1431059-1 is not prime. Res64: E8234194A928421E Time : 0.0 sec. user=mdettweiler [2016-06-01 10:38:57] 693*2^1431060-1 is not prime. Res64: 95424D3D82FA85DE Time : 0.0 sec. user=mdettweiler [2016-06-01 10:53:48] 725*2^1431060-1 is not prime. Res64: 8075BEF9ABC0BE0A Time : 0.0 sec. user=mdettweiler [2016-06-01 10:53:48] 767*2^1431060-1 is not prime. Res64: 14B6EA13B3DA9E9E Time : 0.0 sec. user=mdettweiler [2016-06-01 10:53:49] 845*2^1431060-1 is not prime. Res64: 7C295DA80C1E900C Time : 0.0 sec. user=mdettweiler [2016-06-01 10:53:49] 867*2^1431060-1 is not prime. Res64: 5BC855104C050AFE Time : 0.0 sec. user=mdettweiler [2016-06-01 10:53:49] 607*2^1431061-1 is not prime. Res64: C95EAC8F534F2BAC Time : 0.0 sec. user=mdettweiler [2016-06-01 11:10:54] 649*2^1431061-1 is not prime. Res64: 7F129ABEA5DDD6E7 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:10:54] 651*2^1431061-1 is not prime. Res64: BD0343B8D9EEC5FC Time : 0.0 sec. user=mdettweiler [2016-06-01 11:10:55] 741*2^1431061-1 is not prime. Res64: CCE05CC95582E55C Time : 0.0 sec. user=mdettweiler [2016-06-01 11:10:55] 811*2^1431061-1 is not prime. Res64: 844B7E38F5181DEC Time : 0.0 sec. user=mdettweiler [2016-06-01 11:10:55] 825*2^1431061-1 is not prime. Res64: 9B8875D60E8F5B19 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:12:31] 861*2^1431061-1 is not prime. Res64: BF1E8FAE0E99ED32 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:12:31] 987*2^1431061-1 is not prime. Res64: 2034A20AF097054F Time : 0.0 sec. user=mdettweiler [2016-06-01 11:12:32] 997*2^1431061-1 is not prime. Res64: 727C343D59E6C975 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:12:32] 671*2^1431062-1 is not prime. Res64: 70BAC2F51C6AE935 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:12:33] 711*2^1431062-1 is not prime. Res64: 0108ECF38D78753A Time : 0.0 sec. user=mdettweiler [2016-06-01 11:24:09] 731*2^1431062-1 is not prime. Res64: 746DAB993BA72085 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:24:10] 741*2^1431062-1 is not prime. Res64: D4212EB31BB866E7 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:24:11] 797*2^1431062-1 is not prime. Res64: 052BD383F5758BCF Time : 0.0 sec. user=mdettweiler [2016-06-01 11:24:11] 801*2^1431062-1 is not prime. Res64: 39F864A0660D823B Time : 0.0 sec. user=mdettweiler [2016-06-01 11:24:12] 813*2^1431062-1 is not prime. Res64: 21273BC87F8FC152 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:38:59] 873*2^1431062-1 is not prime. Res64: C3785AF02C2DB93D Time : 0.0 sec. user=mdettweiler [2016-06-01 11:38:59] 911*2^1431062-1 is not prime. Res64: 5D191099179EF603 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:39:00] 613*2^1431063-1 is not prime. Res64: 76A07896D916061F Time : 0.0 sec. user=mdettweiler [2016-06-01 11:39:00] 685*2^1431063-1 is not prime. Res64: CCFF3B80127E2CFD Time : 0.0 sec. user=mdettweiler [2016-06-01 11:39:01] 895*2^1431063-1 is not prime. Res64: 591B3FE3A84FE199 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:56:00] 901*2^1431063-1 is not prime. Res64: DB596DD51D7A67AA Time : 0.0 sec. user=mdettweiler [2016-06-01 11:56:00] 955*2^1431063-1 is not prime. Res64: D7958F1E5BB82620 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:56:01] 609*2^1431064-1 is not prime. Res64: 778B77ECE9D9451D Time : 0.0 sec. user=mdettweiler [2016-06-01 11:56:01] 615*2^1431064-1 is not prime. Res64: 591051848AD0B8F6 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:56:02] 635*2^1431064-1 is not prime. Res64: DE7DC3146FC69462 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:57:37] 707*2^1431064-1 is not prime. Res64: 687ECACD4AC21FB4 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:57:38] 765*2^1431064-1 is not prime. Res64: 74EC81C9ABC03245 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:57:38] 803*2^1431064-1 is not prime. Res64: 9A1FB9A485C5DBE9 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:57:38] 837*2^1431065-1 is not prime. Res64: 43D7EEC4DE5DC7A4 Time : 0.0 sec. user=mdettweiler [2016-06-01 11:57:39] 951*2^1431065-1 is not prime. Res64: 796EB58B7F8116BC Time : 0.0 sec. user=mdettweiler [2016-06-01 12:09:15] 981*2^1431065-1 is not prime. Res64: 57C263F640AFF64B Time : 0.0 sec. user=mdettweiler [2016-06-01 12:09:16] 921*2^1431066-1 is not prime. Res64: C3062CC6B6A4582A Time : 0.0 sec. user=mdettweiler [2016-06-01 12:09:16] 615*2^1431067-1 is not prime. Res64: 92B4970B3E8717D8 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:09:17] 619*2^1431067-1 is not prime. Res64: 969D7B38C6614032 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:09:17] 675*2^1431067-1 is not prime. Res64: 890E6946D00A315A Time : 0.0 sec. user=mdettweiler [2016-06-01 12:23:55] 841*2^1431067-1 is not prime. Res64: AD2336A129FA4D18 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:23:55] 901*2^1431067-1 is not prime. Res64: 82A8A1AE438D2963 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:23:56] 985*2^1431067-1 is not prime. Res64: 8D62D01F23FBF178 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:23:56] 993*2^1431067-1 is not prime. Res64: AFAFF3EC86CDBD5E Time : 0.0 sec. user=mdettweiler [2016-06-01 12:23:56] 623*2^1431068-1 is not prime. Res64: 53303FEF29B75AE0 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:41:02] 657*2^1431068-1 is not prime. Res64: EF35BD390B496675 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:41:02] 663*2^1431068-1 is not prime. Res64: 1515C881026920D0 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:41:03] 797*2^1431068-1 is not prime. Res64: C8628D83CC28F537 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:41:03] 837*2^1431068-1 is not prime. Res64: A642D896DEECB96C Time : 0.0 sec. user=mdettweiler [2016-06-01 12:41:03] 845*2^1431068-1 is not prime. Res64: B38442FC82CE34D1 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:42:43] 923*2^1431068-1 is not prime. Res64: B339D5B58E2A4449 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:42:44] 945*2^1431068-1 is not prime. Res64: 7B3BA56484CA8921 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:42:44] 621*2^1431069-1 is not prime. Res64: 617BE73EB1B269A6 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:42:44] 655*2^1431069-1 is not prime. Res64: 73476F6026F3E975 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:42:45] 661*2^1431069-1 is not prime. Res64: FF0B4D017D09A8C9 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:54:35] 709*2^1431069-1 is not prime. Res64: 09510A4134FCB26D Time : 0.0 sec. user=mdettweiler [2016-06-01 12:54:35] 759*2^1431069-1 is not prime. Res64: F580C36FD04D4D8D Time : 0.0 sec. user=mdettweiler [2016-06-01 12:54:36] 781*2^1431069-1 is not prime. Res64: C181FD2BE1903A24 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:54:36] 895*2^1431069-1 is not prime. Res64: EF4E961AA64FD597 Time : 0.0 sec. user=mdettweiler [2016-06-01 12:54:36] 919*2^1431069-1 is not prime. Res64: 756D9D1100238ECD Time : 0.0 sec. user=mdettweiler [2016-06-01 13:09:07] 791*2^1431070-1 is not prime. Res64: 82E01D1E5779A7D2 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:09:08] 857*2^1431070-1 is not prime. Res64: 6866FFB654D32F27 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:09:08] 957*2^1431070-1 is not prime. Res64: E2D7775BD4DF285A Time : 0.0 sec. user=mdettweiler [2016-06-01 13:09:09] 679*2^1431071-1 is not prime. Res64: 6AD74E91FCBBF080 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:09:09] 685*2^1431071-1 is not prime. Res64: FD982F7C416FC73E Time : 0.0 sec. user=mdettweiler [2016-06-01 13:26:14] 955*2^1431071-1 is not prime. Res64: FDB66404C0D54E85 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:26:14] 623*2^1431072-1 is not prime. Res64: B5ECA786506D7D63 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:26:15] 635*2^1431072-1 is not prime. Res64: 7C31BF0A6814BD09 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:26:15] 689*2^1431072-1 is not prime. Res64: D4E72F78B3C8682B Time : 0.0 sec. user=mdettweiler [2016-06-01 13:26:15] 693*2^1431072-1 is not prime. Res64: 44F3953C14B2150B Time : 0.0 sec. user=mdettweiler [2016-06-01 13:27:43] 695*2^1431072-1 is not prime. Res64: B75E1B47A108EDE9 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:27:44] 719*2^1431072-1 is not prime. Res64: 45D983F7B17E28EF Time : 0.0 sec. user=mdettweiler [2016-06-01 13:27:44] 863*2^1431072-1 is not prime. Res64: 6929A0F8607AB176 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:27:45] 933*2^1431072-1 is not prime. Res64: BFCBB9498EE5DA31 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:27:45] 619*2^1431073-1 is not prime. Res64: 62C0A05E3391FF5E Time : 0.0 sec. user=mdettweiler [2016-06-01 13:39:47] 649*2^1431073-1 is not prime. Res64: 83ABFF0798327E1C Time : 0.0 sec. user=mdettweiler [2016-06-01 13:39:47] 765*2^1431073-1 is not prime. Res64: 3522C58F71222DAC Time : 0.0 sec. user=mdettweiler [2016-06-01 13:39:48] 771*2^1431073-1 is not prime. Res64: B0F2138289067623 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:39:48] 895*2^1431073-1 is not prime. Res64: 05C7B4EC88C64EA4 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:39:48] 635*2^1431074-1 is not prime. Res64: DE1026603C8EBF4E Time : 0.0 sec. user=mdettweiler [2016-06-01 13:54:31] 645*2^1431074-1 is not prime. Res64: BD4619527D220F22 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:54:31] 773*2^1431074-1 is not prime. Res64: 83DE58C75AF784F5 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:54:31] 921*2^1431074-1 is not prime. Res64: FC6913A90B6F0CA2 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:54:32] 945*2^1431074-1 is not prime. Res64: 912FC46B2297E0B8 Time : 0.0 sec. user=mdettweiler [2016-06-01 13:54:32] 613*2^1431075-1 is not prime. Res64: 32568CDE9342EAAE Time : 0.0 sec. user=mdettweiler [2016-06-01 14:11:09] 663*2^1431075-1 is not prime. Res64: 536AC70363FC9F4A Time : 0.0 sec. user=mdettweiler [2016-06-01 14:11:10] 685*2^1431075-1 is not prime. Res64: A1B53494BF18BB65 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:11:10] 735*2^1431075-1 is not prime. Res64: 780EDC9D5D1363C4 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:11:11] 775*2^1431075-1 is not prime. Res64: 892A4BCDB140D8D9 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:11:11] 853*2^1431075-1 is not prime. Res64: 9115B6B413514D84 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:12:47] 891*2^1431075-1 is not prime. Res64: 070C116442F3C526 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:12:47] 903*2^1431075-1 is not prime. Res64: 724D65A1B1B89307 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:12:47] 969*2^1431075-1 is not prime. Res64: F94EC317138C5EFD Time : 0.0 sec. user=mdettweiler [2016-06-01 14:12:48] 699*2^1431076-1 is not prime. Res64: E125FF2A042B28D6 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:12:48] 735*2^1431076-1 is not prime. Res64: AC07D1111BA31873 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:24:52] 843*2^1431076-1 is not prime. Res64: FAABAFFBE271300B Time : 0.0 sec. user=mdettweiler [2016-06-01 14:24:52] 887*2^1431076-1 is not prime. Res64: 4EE0539A6F455B4C Time : 0.0 sec. user=mdettweiler [2016-06-01 14:24:53] 923*2^1431076-1 is not prime. Res64: 21B05837B76CEEF9 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:24:53] 601*2^1431077-1 is not prime. Res64: A4B3B02A06E04C42 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:24:54] 699*2^1431077-1 is not prime. Res64: A6BFF83573FD5E85 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:39:30] 711*2^1431077-1 is not prime. Res64: C147D7DE2447FB17 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:39:30] 717*2^1431077-1 is not prime. Res64: 6E83583BB6462BF8 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:39:30] 747*2^1431077-1 is not prime. Res64: CF9D50C1781E1F13 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:39:31] 757*2^1431077-1 is not prime. Res64: 7258D688E7AC94A3 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:39:31] 805*2^1431077-1 is not prime. Res64: 0F4DDDD4F8C8ECC8 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:56:25] 879*2^1431077-1 is not prime. Res64: D0825D6D26AF87FA Time : 0.0 sec. user=mdettweiler [2016-06-01 14:56:26] 985*2^1431077-1 is not prime. Res64: F0A87AB256049656 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:56:26] 627*2^1431078-1 is not prime. Res64: 27E885D53C9560A3 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:56:26] 711*2^1431078-1 is not prime. Res64: 521521D4C873668C Time : 0.0 sec. user=mdettweiler [2016-06-01 14:56:27] 761*2^1431078-1 is not prime. Res64: F5EB23350F72BC52 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:57:46] 777*2^1431078-1 is not prime. Res64: 227BD18A5B26F4FE Time : 0.0 sec. user=mdettweiler [2016-06-01 14:57:46] 815*2^1431078-1 is not prime. Res64: 0B798D70B9763009 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:57:47] 951*2^1431078-1 is not prime. Res64: AD74D606D1C725D1 Time : 0.0 sec. user=mdettweiler [2016-06-01 14:57:47] 963*2^1431078-1 is not prime. Res64: 93E39E15204FAAFA Time : 0.0 sec. user=mdettweiler [2016-06-01 14:57:47] 975*2^1431078-1 is not prime. Res64: 1FC6759F59FD4712 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:10:06] 977*2^1431078-1 is not prime. Res64: D7A015AAAEF75376 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:10:07] 601*2^1431079-1 is not prime. Res64: FF0ABF0E28935020 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:10:07] 615*2^1431079-1 is not prime. Res64: 3E658A19B0935E61 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:10:08] 663*2^1431079-1 is not prime. Res64: 89EFC557BCAE8989 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:10:08] 685*2^1431079-1 is not prime. Res64: 52138E55977390C7 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:24:31] 765*2^1431079-1 is not prime. Res64: A1843949A93BB8DC Time : 0.0 sec. user=mdettweiler [2016-06-01 15:24:31] 883*2^1431079-1 is not prime. Res64: 2AC7EA822ED1097F Time : 0.0 sec. user=mdettweiler [2016-06-01 15:24:32] 979*2^1431079-1 is not prime. Res64: 9586B32FE148003C Time : 0.0 sec. user=mdettweiler [2016-06-01 15:24:33] 645*2^1431080-1 is not prime. Res64: 9FCBE525D1B1BDBB Time : 0.0 sec. user=mdettweiler [2016-06-01 15:24:34] 819*2^1431080-1 is not prime. Res64: 0C6EC629A6378ABC Time : 0.0 sec. user=mdettweiler [2016-06-01 15:41:19] 855*2^1431080-1 is not prime. Res64: 1A6BCD366942EBFC Time : 0.0 sec. user=mdettweiler [2016-06-01 15:41:19] 727*2^1431081-1 is not prime. Res64: 7EC63B1DDA2CDBD4 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:41:20] 747*2^1431081-1 is not prime. Res64: 3E4EB912931181DA Time : 0.0 sec. user=mdettweiler [2016-06-01 15:41:20] 751*2^1431081-1 is not prime. Res64: 1AEBD1B771880A3F Time : 0.0 sec. user=mdettweiler [2016-06-01 15:41:20] 847*2^1431081-1 is not prime. Res64: F42F6CF4D0E77B22 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:42:45] 651*2^1431082-1 is not prime. Res64: ACD92892E1B6CC28 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:42:46] 681*2^1431082-1 is not prime. Res64: 35F9E76463E64183 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:42:46] 701*2^1431082-1 is not prime. Res64: 68050A180A3EFC47 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:42:47] 821*2^1431082-1 is not prime. Res64: A3E0C7A980C4FCAE Time : 0.0 sec. user=mdettweiler [2016-06-01 15:42:47] 827*2^1431082-1 is not prime. Res64: 1D3244D4EDF07357 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:55:13] 855*2^1431082-1 is not prime. Res64: D678E281A3ACD0EB Time : 0.0 sec. user=mdettweiler [2016-06-01 15:55:13] 873*2^1431082-1 is not prime. Res64: 56F58F302AB55228 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:55:14] 911*2^1431082-1 is not prime. Res64: 586C3FAEAFF37333 Time : 0.0 sec. user=mdettweiler [2016-06-01 15:55:14] 917*2^1431082-1 is not prime. Res64: EA9352AACB8F890A Time : 0.0 sec. user=mdettweiler [2016-06-01 15:55:14] 621*2^1431083-1 is not prime. Res64: A53B1740CAF573A0 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:09:32] 663*2^1431083-1 is not prime. Res64: 6D6E603CD7FF0868 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:09:32] 859*2^1431083-1 is not prime. Res64: 92439D93EA699F99 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:09:33] 879*2^1431083-1 is not prime. Res64: 8E6AC419303BCEDF Time : 0.0 sec. user=mdettweiler [2016-06-01 16:09:33] 955*2^1431083-1 is not prime. Res64: 072BFAE8B875E0F3 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:09:34] 963*2^1431083-1 is not prime. Res64: 5CE660219B29591A Time : 0.0 sec. user=mdettweiler [2016-06-01 16:26:20] 707*2^1431084-1 is not prime. Res64: 8D9B7036490768FF Time : 0.0 sec. user=mdettweiler [2016-06-01 16:26:20] 753*2^1431084-1 is not prime. Res64: ACA02B1046B8DB1B Time : 0.0 sec. user=mdettweiler [2016-06-01 16:26:21] 915*2^1431084-1 is not prime. Res64: D37671A5D6186389 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:26:21] 927*2^1431084-1 is not prime. Res64: AE542BC9C212D35F Time : 0.0 sec. user=mdettweiler [2016-06-01 16:26:22] 651*2^1431085-1 is not prime. Res64: C9FC0BAFF9F8838F Time : 0.0 sec. user=mdettweiler [2016-06-01 16:27:37] 675*2^1431085-1 is not prime. Res64: C58D19D9C8F8FFC4 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:27:37] 679*2^1431085-1 is not prime. Res64: 361030D39DF16E3D Time : 0.0 sec. user=mdettweiler [2016-06-01 16:27:38] 789*2^1431085-1 is not prime. Res64: 3577BC4B6A7650E9 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:27:38] 979*2^1431085-1 is not prime. Res64: F13266CB549273F0 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:27:38] 987*2^1431085-1 is not prime. Res64: 61B3635E3B10D80E Time : 0.0 sec. user=mdettweiler [2016-06-01 16:40:16] 903*2^1431086-1 is not prime. Res64: 2E848A9A50891474 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:40:16] 917*2^1431086-1 is not prime. Res64: 84064D3AAB53ABA8 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:40:17] 945*2^1431086-1 is not prime. Res64: B0ACF4AA98DF13E6 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:40:17] 957*2^1431086-1 is not prime. Res64: FF3FE4CB2A2F5783 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:40:18] 1001*2^1431086-1 is not prime. Res64: FD64A5639CD36443 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:54:57] 619*2^1431087-1 is not prime. Res64: 8B414CFC1D1DCA5C Time : 0.0 sec. user=mdettweiler [2016-06-01 16:54:57] 775*2^1431087-1 is not prime. Res64: 44473B761FD4ACA6 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:54:58] 873*2^1431087-1 is not prime. Res64: A0CA0D6154AB5A3E Time : 0.0 sec. user=mdettweiler [2016-06-01 16:54:58] 961*2^1431087-1 is not prime. Res64: 2201DF858B8CD4B5 Time : 0.0 sec. user=mdettweiler [2016-06-01 16:54:58] 687*2^1431088-1 is not prime. Res64: 44329EE061F1E40C Time : 0.0 sec. user=mdettweiler [2016-06-01 17:12:22] 827*2^1431088-1 is not prime. Res64: D965212A703603EE Time : 0.0 sec. user=mdettweiler [2016-06-01 17:12:23] 999*2^1431088-1 is not prime. Res64: 90D0C65A991FD6DA Time : 0.0 sec. user=mdettweiler [2016-06-01 17:12:23] 679*2^1431089-1 is not prime. Res64: B5F57410BC9AEC6C Time : 0.0 sec. user=mdettweiler [2016-06-01 17:12:24] 711*2^1431089-1 is not prime. Res64: D160FC8E0EE44B4D Time : 0.0 sec. user=mdettweiler [2016-06-01 17:12:24] 747*2^1431089-1 is not prime. Res64: 87BAF0D4B972F3C6 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:13:44] 769*2^1431089-1 is not prime. Res64: 024078A24118D99F Time : 0.0 sec. user=mdettweiler [2016-06-01 17:13:44] 837*2^1431089-1 is not prime. Res64: FB7DECBA467183D6 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:13:45] 885*2^1431089-1 is not prime. Res64: 5A36F8EECCD3B645 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:13:45] 991*2^1431089-1 is not prime. Res64: 129D4B543611B397 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:13:45] 641*2^1431090-1 is not prime. Res64: E8581C16613CDF9B Time : 0.0 sec. user=mdettweiler [2016-06-01 17:25:57] 677*2^1431090-1 is not prime. Res64: 693FC7B2FBB837BC Time : 0.0 sec. user=mdettweiler [2016-06-01 17:25:57] 711*2^1431090-1 is not prime. Res64: 572C2E36FD6B2256 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:25:58] 957*2^1431090-1 is not prime. Res64: E0974D9822946CD1 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:25:58] 681*2^1431091-1 is not prime. Res64: B2A487FB0B4DE7F6 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:25:58] 703*2^1431091-1 is not prime. Res64: 0D26AE882CFF5C3F Time : 0.0 sec. user=mdettweiler [2016-06-01 17:40:34] 871*2^1431091-1 is not prime. Res64: 9269B3A653E54B4C Time : 0.0 sec. user=mdettweiler [2016-06-01 17:40:35] 895*2^1431091-1 is not prime. Res64: 7B6D1D7AC16FE6A4 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:40:35] 617*2^1431092-1 is not prime. Res64: 8339E2D4B05EA526 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:40:35] 719*2^1431092-1 is not prime. Res64: 404BB9CCA3C158DE Time : 0.0 sec. user=mdettweiler [2016-06-01 17:40:36] 867*2^1431092-1 is not prime. Res64: 8CA8AEC87D8B5195 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:57:26] 649*2^1431093-1 is not prime. Res64: 7AA53391D09D50AE Time : 0.0 sec. user=mdettweiler [2016-06-01 17:57:26] 787*2^1431093-1 is not prime. Res64: 37129CBEE9F5B731 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:57:27] 961*2^1431093-1 is not prime. Res64: 7152471D98DD31F4 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:57:27] 621*2^1431094-1 is not prime. Res64: 0B00DC80AAD1FA80 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:57:28] 825*2^1431094-1 is not prime. Res64: 24B9D6EF94AA5A42 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:58:45] 831*2^1431094-1 is not prime. Res64: 360D9B1FF86C7A7C Time : 0.0 sec. user=mdettweiler [2016-06-01 17:58:46] 891*2^1431094-1 is not prime. Res64: 65CF0EB533DA41B4 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:58:46] 951*2^1431094-1 is not prime. Res64: C6317920EA9BD8E8 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:58:46] 1001*2^1431094-1 is not prime. Res64: 3F1567080094D2D7 Time : 0.0 sec. user=mdettweiler [2016-06-01 17:58:47] 643*2^1431095-1 is not prime. Res64: 546C71A994CF4D78 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:10:59] 675*2^1431095-1 is not prime. Res64: 00693B899411DC09 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:11:00] 823*2^1431095-1 is not prime. Res64: D213ACE76278FECC Time : 0.0 sec. user=mdettweiler [2016-06-01 18:11:00] 825*2^1431095-1 is not prime. Res64: 9F88D2721631C283 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:11:00] 969*2^1431095-1 is not prime. Res64: BCAF54EA22D8114A Time : 0.0 sec. user=mdettweiler [2016-06-01 18:11:01] 653*2^1431096-1 is not prime. Res64: B96D2771301448B8 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:25:35] 669*2^1431096-1 is not prime. Res64: F78E9E1D2F42AA84 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:25:36] 693*2^1431096-1 is not prime. Res64: 2A639CC3C564E0B8 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:25:36] 737*2^1431096-1 is not prime. Res64: 9A353834A1B33C11 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:25:36] 927*2^1431096-1 is not prime. Res64: 67FEA8B9877383DE Time : 0.0 sec. user=mdettweiler [2016-06-01 18:25:37] 637*2^1431097-1 is not prime. Res64: BEAB64D9B66ABD7A Time : 0.0 sec. user=mdettweiler [2016-06-01 18:42:41] 759*2^1431097-1 is not prime. Res64: DAAEE66312FE183A Time : 0.0 sec. user=mdettweiler [2016-06-01 18:42:41] 861*2^1431097-1 is not prime. Res64: BF8FB4D3EB0C1141 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:42:42] 871*2^1431097-1 is not prime. Res64: D8B534C07EE69405 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:42:42] 957*2^1431097-1 is not prime. Res64: F77DB7FD1C21964A Time : 0.0 sec. user=mdettweiler [2016-06-01 18:42:42] 985*2^1431097-1 is not prime. Res64: ECCAF50EDD89094B Time : 0.0 sec. user=mdettweiler [2016-06-01 18:43:53] 641*2^1431098-1 is not prime. Res64: 072F3666FB0BFA2D Time : 0.0 sec. user=mdettweiler [2016-06-01 18:43:54] 677*2^1431098-1 is not prime. Res64: 58B4F0AA2E18559B Time : 0.0 sec. user=mdettweiler [2016-06-01 18:43:54] 743*2^1431098-1 is not prime. Res64: 6053C5A2B49DDB15 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:43:55] 797*2^1431098-1 is not prime. Res64: CB440647944DBC67 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:43:55] 813*2^1431098-1 is not prime. Res64: 29B6B3EEEC991FB4 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:56:17] 921*2^1431098-1 is not prime. Res64: 9A4C6D8CA1B72C1C Time : 0.0 sec. user=mdettweiler [2016-06-01 18:56:17] 941*2^1431098-1 is not prime. Res64: B1135C2893EA4337 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:56:17] 609*2^1431099-1 is not prime. Res64: 1E153ABD196B3574 Time : 0.0 sec. user=mdettweiler [2016-06-01 18:56:18] 615*2^1431099-1 is not prime. Res64: 92AB5A04C274DD4F Time : 0.0 sec. user=mdettweiler [2016-06-01 18:56:18] 649*2^1431099-1 is not prime. Res64: FEE9451C81F3D1C9 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:10:32] 753*2^1431099-1 is not prime. Res64: A87BA56D544E2A41 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:10:33] 895*2^1431099-1 is not prime. Res64: 9DCA3CF2090E1A83 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:10:33] 975*2^1431099-1 is not prime. Res64: 079FFE17005E8CB3 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:10:34] 819*2^1431100-1 is not prime. Res64: 808A05C875926A34 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:10:34] 897*2^1431100-1 is not prime. Res64: ACCF710AD7F7479F Time : 0.0 sec. user=mdettweiler [2016-06-01 19:27:42] 929*2^1431100-1 is not prime. Res64: 777F473149D722EC Time : 0.0 sec. user=mdettweiler [2016-06-01 19:27:43] 999*2^1431100-1 is not prime. Res64: 92C2884C7C9E3C07 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:27:44] 711*2^1431101-1 is not prime. Res64: 3599FEF8A3B4CCC4 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:27:45] 745*2^1431101-1 is not prime. Res64: A77EBC070BBD967E Time : 0.0 sec. user=mdettweiler [2016-06-01 19:27:46] 747*2^1431101-1 is not prime. Res64: F28DF138E4AF64B6 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:29:03] 769*2^1431101-1 is not prime. Res64: 2438F87AF80CC43F Time : 0.0 sec. user=mdettweiler [2016-06-01 19:29:04] 777*2^1431101-1 is not prime. Res64: 8B8C0FDD828884CF Time : 0.0 sec. user=mdettweiler [2016-06-01 19:29:04] 819*2^1431101-1 is not prime. Res64: DB24F904CC4EE495 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:29:04] 829*2^1431101-1 is not prime. Res64: 3F5598B71C255F98 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:29:05] 705*2^1431102-1 is not prime. Res64: 323E3646E1F01E57 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:41:17] 755*2^1431102-1 is not prime. Res64: 1870FF9E45D350AE Time : 0.0 sec. user=mdettweiler [2016-06-01 19:41:17] 777*2^1431102-1 is not prime. Res64: 672CBA5E8E8FEAD3 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:41:18] 791*2^1431102-1 is not prime. Res64: 3A7399E331AA2461 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:41:18] 833*2^1431102-1 is not prime. Res64: C5A846E9BC279D09 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:41:19] 965*2^1431102-1 is not prime. Res64: 2BD4EEA5C2EA66E6 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:55:50] 603*2^1431103-1 is not prime. Res64: CA85428488FC40EA Time : 0.0 sec. user=mdettweiler [2016-06-01 19:55:51] 685*2^1431103-1 is not prime. Res64: B71DAC03030C302D Time : 0.0 sec. user=mdettweiler [2016-06-01 19:55:51] 741*2^1431103-1 is not prime. Res64: EBFA490F6CAC2A80 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:55:52] 769*2^1431103-1 is not prime. Res64: 495DCA4091B8B029 Time : 0.0 sec. user=mdettweiler [2016-06-01 19:55:52] 829*2^1431103-1 is not prime. Res64: F00524C073B0CD4D Time : 0.0 sec. user=mdettweiler [2016-06-01 20:13:03] 919*2^1431103-1 is not prime. Res64: 649900FCD12F2C26 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:13:03] 635*2^1431104-1 is not prime. Res64: 5BE767D7944F91E8 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:13:04] 677*2^1431104-1 is not prime. Res64: 07C583122CF8276D Time : 0.0 sec. user=mdettweiler [2016-06-01 20:13:04] 767*2^1431104-1 is not prime. Res64: B5F2658A598B3DD5 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:13:04] 785*2^1431104-1 is not prime. Res64: 7C5C0BF0FEF12E44 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:14:21] 875*2^1431104-1 is not prime. Res64: 6BF821291232FC3B Time : 0.0 sec. user=mdettweiler [2016-06-01 20:14:21] 625*2^1431105-1 is not prime. Res64: FEAC416DF0C95639 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:14:22] 667*2^1431105-1 is not prime. Res64: E94E4C0637E37A44 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:14:22] 679*2^1431105-1 is not prime. Res64: 2164BAF0C3E56FC1 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:14:23] 699*2^1431105-1 is not prime. Res64: 11218AB8B17705B3 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:26:23] 789*2^1431105-1 is not prime. Res64: AC567AB0C6B05B5A Time : 0.0 sec. user=mdettweiler [2016-06-01 20:26:24] 847*2^1431105-1 is not prime. Res64: 93E531E9ACE83DC0 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:26:24] 889*2^1431105-1 is not prime. Res64: E93FC0B85D3CC32D Time : 0.0 sec. user=mdettweiler [2016-06-01 20:26:24] 979*2^1431105-1 is not prime. Res64: 8373E39C4096168F Time : 0.0 sec. user=mdettweiler [2016-06-01 20:26:25] 645*2^1431106-1 is not prime. Res64: 05DAAD87B97BE5DC Time : 0.0 sec. user=mdettweiler [2016-06-01 20:41:24] 657*2^1431106-1 is not prime. Res64: 8ED884C7F1C11581 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:41:24] 747*2^1431106-1 is not prime. Res64: CCF2962340B789CB Time : 0.0 sec. user=mdettweiler [2016-06-01 20:41:25] 801*2^1431106-1 is not prime. Res64: A33BF45B7D7C8DE0 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:41:25] 891*2^1431106-1 is not prime. Res64: 4F11BF22346FAD95 Time : 0.0 sec. user=mdettweiler [2016-06-01 20:41:25] 923*2^1431106-1 is not prime. Res64: 438A1F00C170B5BE Time : 0.0 sec. user=mdettweiler [2016-06-01 21:01:24] 945*2^1431106-1 is not prime. Res64: 730DB1082A062F94 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:01:25] 981*2^1431106-1 is not prime. Res64: D0163133827DD502 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:01:26] 675*2^1431107-1 is not prime. Res64: 9D618FC54B50AFE3 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:01:27] 741*2^1431107-1 is not prime. Res64: 371E23491690C526 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:01:27] 799*2^1431107-1 is not prime. Res64: DC186C101EA853A7 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:03:04] 885*2^1431107-1 is not prime. Res64: 054D2A7C5EAF1A43 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:03:04] 939*2^1431107-1 is not prime. Res64: 10CEC208EF514CFA Time : 0.0 sec. user=mdettweiler [2016-06-01 21:03:05] 949*2^1431107-1 is not prime. Res64: 10E9208FDCC296A8 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:03:05] 635*2^1431108-1 is not prime. Res64: 51EC9A7F90DAAAF1 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:03:06] 657*2^1431108-1 is not prime. Res64: 1FE982664DB1793D Time : 0.0 sec. user=mdettweiler [2016-06-01 21:15:23] 705*2^1431108-1 is not prime. Res64: 9426978E16B86559 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:15:23] 735*2^1431108-1 is not prime. Res64: 0A5E558F48F2FC31 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:15:23] 777*2^1431108-1 is not prime. Res64: B2C955344CA20F4E Time : 0.0 sec. user=mdettweiler [2016-06-01 21:15:24] 839*2^1431108-1 is not prime. Res64: DAAE4797C4C41A47 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:15:24] 845*2^1431108-1 is not prime. Res64: 099B80E619E34F12 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:29:42] 887*2^1431108-1 is not prime. Res64: 6D1856F7CC2DAE9E Time : 0.0 sec. user=mdettweiler [2016-06-01 21:29:43] 923*2^1431108-1 is not prime. Res64: 0048A850AE3501C6 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:29:43] 687*2^1431109-1 is not prime. Res64: 1DE92F73FE1AF572 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:29:44] 771*2^1431109-1 is not prime. Res64: 46129965FD776188 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:29:44] 945*2^1431109-1 is not prime. Res64: E9E92B4617172AAB Time : 0.0 sec. user=mdettweiler [2016-06-01 21:47:03] 605*2^1431110-1 is not prime. Res64: BBB08D1E71293EF6 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:47:03] 687*2^1431110-1 is not prime. Res64: F7847DCFDEF82B9E Time : 0.0 sec. user=mdettweiler [2016-06-01 21:47:04] 867*2^1431110-1 is not prime. Res64: 0F3E1CADD05177C3 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:47:04] 893*2^1431110-1 is not prime. Res64: 134688F7EAC73CDC Time : 0.0 sec. user=mdettweiler [2016-06-01 21:47:04] 1001*2^1431110-1 is not prime. Res64: B74BFFF49C85111D Time : 0.0 sec. user=mdettweiler [2016-06-01 21:48:27] 615*2^1431111-1 is not prime. Res64: E09822136EB2C06D Time : 0.0 sec. user=mdettweiler [2016-06-01 21:48:27] 709*2^1431111-1 is not prime. Res64: 968B568084FD6B70 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:48:28] 909*2^1431111-1 is not prime. Res64: 6EBE1D2DAE1F5422 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:48:28] 979*2^1431111-1 is not prime. Res64: 879A0395757E8E83 Time : 0.0 sec. user=mdettweiler [2016-06-01 21:48:29] 639*2^1431112-1 is not prime. Res64: 9D4DC4C58E60CDA0 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:00:20] 693*2^1431112-1 is not prime. Res64: 59057AC5B0FE9EEB Time : 0.0 sec. user=mdettweiler [2016-06-01 22:00:20] 755*2^1431112-1 is not prime. Res64: F369BDDBFC19A4DC Time : 0.0 sec. user=mdettweiler [2016-06-01 22:00:21] 759*2^1431112-1 is not prime. Res64: A79BB6DD30F61E5F Time : 0.0 sec. user=mdettweiler [2016-06-01 22:00:22] 813*2^1431112-1 is not prime. Res64: 3BCF50AB41DDD6A3 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:00:23] 827*2^1431112-1 is not prime. Res64: 9C834A5F701001D0 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:14:49] 915*2^1431112-1 is not prime. Res64: A65A08AF5957523A Time : 0.0 sec. user=mdettweiler [2016-06-01 22:14:49] 699*2^1431113-1 is not prime. Res64: B47F54B494CE9CCF Time : 0.0 sec. user=mdettweiler [2016-06-01 22:14:50] 775*2^1431113-1 is not prime. Res64: 7B90D478A5B7CE1C Time : 0.0 sec. user=mdettweiler [2016-06-01 22:14:50] 981*2^1431113-1 is not prime. Res64: 9FC1C03A482DA473 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:14:50] 791*2^1431114-1 is not prime. Res64: F3C18876E644FD38 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:32:03] 833*2^1431114-1 is not prime. Res64: 9E1EF569C34BE6E4 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:32:03] 893*2^1431114-1 is not prime. Res64: 4A05B42949E20A6C Time : 0.0 sec. user=mdettweiler [2016-06-01 22:32:04] 951*2^1431114-1 is not prime. Res64: 74C85FACDC7EC2BC Time : 0.0 sec. user=mdettweiler [2016-06-01 22:32:04] 983*2^1431114-1 is not prime. Res64: 42A8C605617BC3E0 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:32:05] 651*2^1431115-1 is not prime. Res64: 181D202C4E830C62 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:33:32] 691*2^1431115-1 is not prime. Res64: 9211AFE0F497E424 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:33:33] 883*2^1431115-1 is not prime. Res64: DFF94F7CB11E876A Time : 0.0 sec. user=mdettweiler [2016-06-01 22:33:33] 919*2^1431115-1 is not prime. Res64: FC74515982909844 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:33:33] 833*2^1431116-1 is not prime. Res64: 0D37977E851A5284 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:33:34] 855*2^1431116-1 is not prime. Res64: D74E48EF350788FD Time : 0.0 sec. user=mdettweiler [2016-06-01 22:45:28] 867*2^1431116-1 is not prime. Res64: 59319BCE68F9B258 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:45:29] 899*2^1431116-1 is not prime. Res64: 1FF8EF4933E7593C Time : 0.0 sec. user=mdettweiler [2016-06-01 22:45:29] 969*2^1431116-1 is not prime. Res64: B0DC51EADB3492B5 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:45:30] 747*2^1431117-1 is not prime. Res64: 712A41D883F29907 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:45:30] 817*2^1431117-1 is not prime. Res64: 672597EA1339F377 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:59:42] 847*2^1431117-1 is not prime. Res64: 26102E6C4B5AE7A0 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:59:43] 885*2^1431117-1 is not prime. Res64: B72B40E3D125924C Time : 0.0 sec. user=mdettweiler [2016-06-01 22:59:43] 937*2^1431117-1 is not prime. Res64: 2A1CA08150D428D4 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:59:43] 603*2^1431118-1 is not prime. Res64: 954493DEB5530DC7 Time : 0.0 sec. user=mdettweiler [2016-06-01 22:59:44] 645*2^1431118-1 is not prime. Res64: 5AC98913BC952B3B Time : 0.0 sec. user=mdettweiler [2016-06-01 23:17:03] 647*2^1431118-1 is not prime. Res64: 42543A8E417CEE7A Time : 0.0 sec. user=mdettweiler [2016-06-01 23:17:04] 695*2^1431118-1 is not prime. Res64: 4C266560F5638A8A Time : 0.0 sec. user=mdettweiler [2016-06-01 23:17:04] 761*2^1431118-1 is not prime. Res64: 4387AC2DC98F7304 Time : 0.0 sec. user=mdettweiler [2016-06-01 23:17:05] 863*2^1431118-1 is not prime. Res64: 0985328BA326FDF5 Time : 0.0 sec. user=mdettweiler [2016-06-01 23:17:05] 661*2^1431119-1 is not prime. Res64: F56C7BEA08346B1E Time : 0.0 sec. user=mdettweiler [2016-06-01 23:18:29] 799*2^1431119-1 is not prime. Res64: 5FEA34479FFC50BF Time : 0.0 sec. user=mdettweiler [2016-06-01 23:18:30] 855*2^1431119-1 is not prime. Res64: F57F1EF7C2E293C3 Time : 0.0 sec. user=mdettweiler [2016-06-01 23:18:30] 939*2^1431119-1 is not prime. Res64: B2138B2080B57B0F Time : 0.0 sec. user=mdettweiler [2016-06-01 23:18:30] 955*2^1431119-1 is not prime. Res64: 3C292AD4D6D9C32E Time : 0.0 sec. user=mdettweiler [2016-06-01 23:18:31] 609*2^1431120-1 is not prime. Res64: 78471BC788446E75 Time : 0.0 sec. user=mdettweiler [2016-06-01 23:30:19] 665*2^1431120-1 is not prime. Res64: A081E27618A2B4B4 Time : 0.0 sec. user=mdettweiler [2016-06-01 23:30:19] 759*2^1431120-1 is not prime. Res64: CF2A52B062E3DBBA Time : 0.0 sec. user=mdettweiler [2016-06-01 23:30:20] 773*2^1431120-1 is not prime. Res64: E0FB798312D5EC0C Time : 0.0 sec. user=mdettweiler [2016-06-01 23:30:20] 825*2^1431120-1 is not prime. Res64: 0966ADE387BF3A9C Time : 0.0 sec. user=mdettweiler [2016-06-01 23:30:21] 615*2^1431121-1 is not prime. Res64: EBD4F8ECFCB10B18 Time : 0.0 sec. user=mdettweiler [2016-06-01 23:44:43] 877*2^1431121-1 is not prime. Res64: C856BA5283EEAD90 Time : 0.0 sec. user=mdettweiler [2016-06-01 23:44:43] 931*2^1431121-1 is not prime. Res64: F5BAF345AB7C12E0 Time : 0.0 sec. user=mdettweiler [2016-06-01 23:44:44] 997*2^1431121-1 is not prime. Res64: 802BCE1392C7D7E7 Time : 0.0 sec. user=mdettweiler [2016-06-01 23:44:44] 615*2^1431122-1 is not prime. Res64: 5D4D9A79B63C5555 Time : 0.0 sec. user=mdettweiler [2016-06-01 23:44:45] 633*2^1431122-1 is not prime. Res64: 365CA73847F9BC01 Time : 0.0 sec.