user=mdettweiler [2018-03-15 00:18:50] 793*2^1504251-1 is not prime. Res64: 7CEE9D35BD758BBF Time : 0.0 sec. user=mdettweiler [2018-03-15 00:18:51] 795*2^1504251-1 is not prime. Res64: 3BCC3C01129BA762 Time : 0.0 sec. user=mdettweiler [2018-03-15 00:18:51] 895*2^1504251-1 is not prime. Res64: 64926CF69347456C Time : 0.0 sec. user=mdettweiler [2018-03-15 00:18:52] 921*2^1504251-1 is not prime. Res64: 4CDA35E5D8481C34 Time : 0.0 sec. user=mdettweiler [2018-03-15 00:18:53] 961*2^1504251-1 is not prime. Res64: 58AD85C92F1E12A6 Time : 0.0 sec. user=mdettweiler [2018-03-15 00:19:08] 677*2^1504252-1 is not prime. Res64: 6BA530277D80E6CA Time : 0.0 sec. user=mdettweiler [2018-03-15 00:19:08] 687*2^1504252-1 is not prime. Res64: 5A5EEB720E9FEB4A Time : 0.0 sec. user=mdettweiler [2018-03-15 00:19:09] 689*2^1504252-1 is not prime. Res64: EC53C39B45D78FFA Time : 0.0 sec. user=mdettweiler [2018-03-15 00:19:09] 723*2^1504252-1 is not prime. Res64: 98AA0345083CCBA3 Time : 0.0 sec. user=mdettweiler [2018-03-15 00:19:10] 863*2^1504252-1 is not prime. Res64: DA9E85075E7F3B1B Time : 0.0 sec. user=mdettweiler [2018-03-15 00:21:16] 975*2^1504252-1 is not prime. Res64: 10B48F34FADAA730 Time : 0.0 sec. user=mdettweiler [2018-03-15 00:21:16] 651*2^1504253-1 is not prime. Res64: 98D35B89D1BBAF48 Time : 0.0 sec. user=mdettweiler [2018-03-15 00:21:17] 747*2^1504253-1 is not prime. Res64: 266060C1DC475796 Time : 0.0 sec. user=mdettweiler [2018-03-15 00:21:17] 775*2^1504253-1 is not prime. Res64: 7568AA631C6231D2 Time : 0.0 sec. user=mdettweiler [2018-03-15 00:21:18] 949*2^1504253-1 is not prime. Res64: B3B91D5A46F9734B Time : 0.0 sec. user=mdettweiler [2018-03-15 01:07:20] 955*2^1504253-1 is not prime. Res64: 9095651F09346CB4 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:07:25] 635*2^1504254-1 is not prime. Res64: 6251AF887D3F9D87 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:07:26] 681*2^1504254-1 is not prime. Res64: 8AEFB120A806A6D5 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:07:26] 723*2^1504254-1 is not prime. Res64: A2148714BEA38F15 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:07:27] 821*2^1504254-1 is not prime. Res64: 8356AE4EB69D58BA Time : 0.0 sec. user=mdettweiler [2018-03-15 01:08:32] 851*2^1504254-1 is not prime. Res64: DD47A65F913A4375 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:08:32] 917*2^1504254-1 is not prime. Res64: 6B00D45B24E9019D Time : 0.0 sec. user=mdettweiler [2018-03-15 01:08:33] 945*2^1504254-1 is not prime. Res64: 88813C8C5575BA61 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:08:34] 965*2^1504254-1 is not prime. Res64: 31ED135ACECF0648 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:08:34] 679*2^1504255-1 is not prime. Res64: 38CD7EFFF61BD2B0 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:10:19] 693*2^1504255-1 is not prime. Res64: C9F1697B72E6DC90 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:10:20] 759*2^1504255-1 is not prime. Res64: 11DA98C6BEE367E6 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:10:21] 871*2^1504255-1 is not prime. Res64: 6A3A75E41778FB29 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:10:21] 951*2^1504255-1 is not prime. Res64: AA4F2AB2E9936848 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:10:22] 973*2^1504255-1 is not prime. Res64: 9D971F24AE8AE223 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:55:53] 603*2^1504256-1 is not prime. Res64: B43EF8A1251CBBF5 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:55:54] 855*2^1504256-1 is not prime. Res64: 7323F07FD3C13B5C Time : 0.0 sec. user=mdettweiler [2018-03-15 01:55:54] 917*2^1504256-1 is not prime. Res64: 485958FD412C2651 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:55:55] 963*2^1504256-1 is not prime. Res64: 838B27A7FC551E8C Time : 0.0 sec. user=mdettweiler [2018-03-15 01:55:55] 601*2^1504257-1 is not prime. Res64: AA36AA2DDC4FD57E Time : 0.0 sec. user=mdettweiler [2018-03-15 01:57:32] 691*2^1504257-1 is not prime. Res64: 50F90868EA626169 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:57:32] 717*2^1504257-1 is not prime. Res64: CA38D185629F36F7 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:57:33] 777*2^1504257-1 is not prime. Res64: AED6302AC9C56467 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:57:33] 805*2^1504257-1 is not prime. Res64: 50D360FD5DD755EC Time : 0.0 sec. user=mdettweiler [2018-03-15 01:57:34] 949*2^1504257-1 is not prime. Res64: DEC92A0F01EE2FEE Time : 0.0 sec. user=mdettweiler [2018-03-15 01:58:25] 611*2^1504258-1 is not prime. Res64: 4F833FB7CB5BF910 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:58:26] 645*2^1504258-1 is not prime. Res64: F203BBFE7FCEDBB3 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:58:26] 657*2^1504258-1 is not prime. Res64: C9E9E2B6039FD0E1 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:58:27] 743*2^1504258-1 is not prime. Res64: 8C052F95489C8ED0 Time : 0.0 sec. user=mdettweiler [2018-03-15 01:58:27] 833*2^1504258-1 is not prime. Res64: A1E18E47F6726196 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:56:04] 887*2^1504260-1 is not prime. Res64: CB7DFC376EE5C92A Time : 0.0 sec. user=mdettweiler [2018-03-15 02:56:05] 927*2^1504260-1 is not prime. Res64: AE567AF1A41B29C8 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:56:06] 999*2^1504260-1 is not prime. Res64: 52863C7A987EC565 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:56:06] 625*2^1504261-1 is not prime. Res64: 54E6ACEC639D96A9 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:56:07] 681*2^1504261-1 is not prime. Res64: 5C7E919BCA041A59 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:56:09] 885*2^1504258-1 is not prime. Res64: 26E1F970586D5EE4 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:56:10] 923*2^1504258-1 is not prime. Res64: 5A3CE33D5A0BD4CD Time : 0.0 sec. user=mdettweiler [2018-03-15 02:56:12] 957*2^1504258-1 is not prime. Res64: E1BE314C217A7255 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:56:13] 693*2^1504259-1 is not prime. Res64: 371903CC04F15203 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:56:14] 711*2^1504259-1 is not prime. Res64: FD2E75CCF7A35B00 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:57:04] 811*2^1504259-1 is not prime. Res64: E7B9F961F8F34A11 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:57:04] 931*2^1504259-1 is not prime. Res64: 3125379C52CF01DC Time : 0.0 sec. user=mdettweiler [2018-03-15 02:57:05] 627*2^1504260-1 is not prime. Res64: D5A1E429A3E17F52 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:57:06] 783*2^1504260-1 is not prime. Res64: 8ED9A02C02DCE037 Time : 0.0 sec. user=mdettweiler [2018-03-15 02:57:06] 797*2^1504260-1 is not prime. Res64: 965B1F00D767E62C Time : 0.0 sec. user=mdettweiler [2018-03-15 03:46:41] 997*2^1504261-1 is not prime. Res64: FBA8335BFFF85CE1 Time : 0.0 sec. user=mdettweiler [2018-03-15 03:46:46] 675*2^1504262-1 is not prime. Res64: F8A094DE5A9DD764 Time : 0.0 sec. user=mdettweiler [2018-03-15 03:46:47] 791*2^1504262-1 is not prime. Res64: E6C3F5671307CDCF Time : 0.0 sec. user=mdettweiler [2018-03-15 03:46:50] 797*2^1504262-1 is not prime. Res64: 05341BFE15B2DCCE Time : 0.0 sec. user=mdettweiler [2018-03-15 03:46:52] 827*2^1504262-1 is not prime. Res64: 24CAC21ECD6B6EB0 Time : 0.0 sec. user=mdettweiler [2018-03-15 03:47:00] 771*2^1504261-1 is not prime. Res64: F07B6C25B8AC4429 Time : 0.0 sec. user=mdettweiler [2018-03-15 03:47:05] 723*2^1504263-1 is not prime. Res64: F355C80610003194 Time : 0.0 sec. user=mdettweiler [2018-03-15 03:47:08] 799*2^1504261-1 is not prime. Res64: 697A2D875D64CD29 Time : 0.0 sec. user=mdettweiler [2018-03-15 03:47:12] 745*2^1504263-1 is not prime. Res64: BCA70EB60D0F6257 Time : 0.0 sec. user=mdettweiler [2018-03-15 03:47:13] 849*2^1504261-1 is not prime. Res64: A187ED3432C2503B Time : 0.0 sec. user=mdettweiler [2018-03-15 03:47:24] 819*2^1504263-1 is not prime. Res64: 9116D9F91B64CF7F Time : 0.0 sec. user=mdettweiler [2018-03-15 03:47:26] 861*2^1504261-1 is not prime. Res64: F6C96624D15BF652 Time : 0.0 sec. user=mdettweiler [2018-03-15 04:07:25] 891*2^1504263-1 is not prime. Res64: 7B47EA4BA085A6F7 Time : 0.0 sec. user=mdettweiler [2018-03-15 04:07:34] 895*2^1504263-1 is not prime. Res64: D2895709467E4F98 Time : 0.0 sec. user=mdettweiler [2018-03-15 04:07:39] 901*2^1504263-1 is not prime. Res64: 1576B4363D294930 Time : 0.0 sec. user=mdettweiler [2018-03-15 04:07:46] 991*2^1504263-1 is not prime. Res64: 04875A9E36FDE297 Time : 0.0 sec. user=mdettweiler [2018-03-15 04:07:52] 617*2^1504264-1 is not prime. Res64: B3451AE25A1BDF9A Time : 0.0 sec. user=mdettweiler [2018-03-15 04:38:59] 639*2^1504264-1 is not prime. Res64: D81545C215899411 Time : 0.0 sec. user=mdettweiler [2018-03-15 04:39:00] 687*2^1504264-1 is not prime. Res64: CDB60EA65516DB3F Time : 0.0 sec. user=mdettweiler [2018-03-15 04:39:01] 717*2^1504264-1 is not prime. Res64: 35242DE46F078A28 Time : 0.0 sec. user=mdettweiler [2018-03-15 04:39:01] 765*2^1504264-1 is not prime. Res64: 704453356480C706 Time : 0.0 sec. user=mdettweiler [2018-03-15 04:39:02] 843*2^1504264-1 is not prime. Res64: A49EEC3D4C54B43A Time : 0.0 sec. user=mdettweiler [2018-03-15 05:04:01] 869*2^1504264-1 is not prime. Res64: 727B922602293C16 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:04:08] 875*2^1504264-1 is not prime. Res64: 9B88DE394776B497 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:04:11] 897*2^1504264-1 is not prime. Res64: 80CA892BB8F878FD Time : 0.0 sec. user=mdettweiler [2018-03-15 05:04:15] 903*2^1504264-1 is not prime. Res64: 2DCC61AAA9B2EF40 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:04:19] 905*2^1504264-1 is not prime. Res64: E97103CC71EBF171 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:32:50] 647*2^1504266-1 is not prime. Res64: F78E8F104344EBE7 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:32:51] 683*2^1504266-1 is not prime. Res64: D9B7C09748445722 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:32:52] 723*2^1504266-1 is not prime. Res64: D49AA6ECEA7C59B8 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:32:52] 741*2^1504266-1 is not prime. Res64: 723B6D8491D64279 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:32:53] 765*2^1504266-1 is not prime. Res64: 5B613208DBC5C376 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:56:25] 993*2^1504266-1 is not prime. Res64: 0F920814B7657590 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:56:25] 609*2^1504267-1 is not prime. Res64: 9527C987A280D34D Time : 0.0 sec. user=mdettweiler [2018-03-15 05:56:26] 645*2^1504267-1 is not prime. Res64: 45ED4F1911E9A9C4 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:56:27] 703*2^1504267-1 is not prime. Res64: 85260CC70B5BE6E4 Time : 0.0 sec. user=mdettweiler [2018-03-15 05:56:27] 735*2^1504267-1 is not prime. Res64: 8901D0C44E79BADE Time : 0.0 sec. user=mdettweiler [2018-03-15 06:24:36] 871*2^1504267-1 is not prime. Res64: 456F666D716ADC78 Time : 0.0 sec. user=mdettweiler [2018-03-15 06:24:36] 617*2^1504268-1 is not prime. Res64: BFBE2E50F1555A10 Time : 0.0 sec. user=mdettweiler [2018-03-15 06:24:37] 635*2^1504268-1 is not prime. Res64: 1E2791CAAEA15E03 Time : 0.0 sec. user=mdettweiler [2018-03-15 06:24:38] 909*2^1504268-1 is not prime. Res64: 5B1BBA45A53EC381 Time : 0.0 sec. user=mdettweiler [2018-03-15 06:24:39] 953*2^1504268-1 is not prime. Res64: 812175D3518991E7 Time : 0.0 sec. user=mdettweiler [2018-03-15 06:47:23] 639*2^1504269-1 is not prime. Res64: C1368BFD382A5AF8 Time : 0.0 sec. user=mdettweiler [2018-03-15 06:47:23] 657*2^1504269-1 is not prime. Res64: B35C9D7099FB3520 Time : 0.0 sec. user=mdettweiler [2018-03-15 06:47:24] 661*2^1504269-1 is not prime. Res64: EA473768D3730162 Time : 0.0 sec. user=mdettweiler [2018-03-15 06:47:25] 667*2^1504269-1 is not prime. Res64: FA67CF2F3413A2F4 Time : 0.0 sec. user=mdettweiler [2018-03-15 06:47:25] 727*2^1504269-1 is not prime. Res64: 78AEADC73DB0E426 Time : 0.0 sec. user=mdettweiler [2018-03-15 07:17:21] 747*2^1504269-1 is not prime. Res64: 4527DD1A64392D6D Time : 0.0 sec. user=mdettweiler [2018-03-15 07:17:22] 831*2^1504269-1 is not prime. Res64: B9CF187CECA27348 Time : 0.0 sec. user=mdettweiler [2018-03-15 07:17:23] 867*2^1504269-1 is not prime. Res64: 916A08282F63A2D8 Time : 0.0 sec. user=mdettweiler [2018-03-15 07:17:24] 889*2^1504269-1 is not prime. Res64: 235CC38EED6DAEBB Time : 0.0 sec. user=mdettweiler [2018-03-15 07:17:24] 919*2^1504269-1 is not prime. Res64: 46F72946C1935BC9 Time : 0.0 sec. user=mdettweiler [2018-03-15 07:39:56] 969*2^1504269-1 is not prime. Res64: 080D87EB4D6C37B6 Time : 0.0 sec. user=mdettweiler [2018-03-15 07:39:57] 979*2^1504269-1 is not prime. Res64: 1D8BD4BA824BA7E0 Time : 0.0 sec. user=mdettweiler [2018-03-15 07:39:59] 695*2^1504270-1 is not prime. Res64: 5EE1CECEC06474AE Time : 0.0 sec. user=mdettweiler [2018-03-15 07:40:02] 755*2^1504270-1 is not prime. Res64: 107DE0B11D8DF59C Time : 0.0 sec. user=mdettweiler [2018-03-15 07:40:04] 773*2^1504270-1 is not prime. Res64: A8A8526728AF7955 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:09:18] 827*2^1504270-1 is not prime. Res64: 7D8BB9C698CC4D0C Time : 0.0 sec. user=mdettweiler [2018-03-15 08:09:20] 843*2^1504270-1 is not prime. Res64: D04F89EADDE14780 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:09:22] 645*2^1504271-1 is not prime. Res64: 2E5FDC6C5ACCF0EF Time : 0.0 sec. user=mdettweiler [2018-03-15 08:09:23] 673*2^1504271-1 is not prime. Res64: 75365B99BB47B4D5 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:09:24] 759*2^1504271-1 is not prime. Res64: 6093336BF77B67E2 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:30:57] 937*2^1504261-1 is not prime. Res64: DE3148D77163D383 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:31:16] 873*2^1504263-1 is not prime. Res64: 9DB905ACCF23C738 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:31:17] 879*2^1504263-1 is not prime. Res64: 6725F95C79BCB07E Time : 0.0 sec. user=mdettweiler [2018-03-15 08:32:36] 805*2^1504271-1 is not prime. Res64: 40C7A92CFCBB64EA Time : 0.0 sec. user=mdettweiler [2018-03-15 08:32:37] 883*2^1504271-1 is not prime. Res64: 5E8BBC0E7BB468E5 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:32:37] 895*2^1504271-1 is not prime. Res64: 46A0BC8F042CFB32 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:32:38] 993*2^1504271-1 is not prime. Res64: 3A7913454E94AC3A Time : 0.0 sec. user=mdettweiler [2018-03-15 08:32:39] 627*2^1504272-1 is not prime. Res64: 6BDF7A4DB7E115FC Time : 0.0 sec. user=mdettweiler [2018-03-15 08:59:02] 629*2^1504272-1 is not prime. Res64: CF16D8E9EEA89DB3 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:59:02] 633*2^1504272-1 is not prime. Res64: 2330DBCF50C07BB6 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:59:03] 683*2^1504272-1 is not prime. Res64: 5BD68F9CE8001271 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:59:04] 759*2^1504272-1 is not prime. Res64: 413B9B7C0EE49894 Time : 0.0 sec. user=mdettweiler [2018-03-15 08:59:05] 779*2^1504272-1 is not prime. Res64: FA6D1915EB7ED5CD Time : 0.0 sec. user=mdettweiler [2018-03-15 09:20:19] 829*2^1504273-1 is not prime. Res64: 9DBDCD934062F098 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:20:20] 831*2^1504273-1 is not prime. Res64: 250602388800769A Time : 0.0 sec. user=mdettweiler [2018-03-15 09:20:20] 855*2^1504273-1 is not prime. Res64: 4AE8D7EF361CE250 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:20:21] 675*2^1504274-1 is not prime. Res64: 69FEC0238B5FC8B6 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:20:22] 741*2^1504274-1 is not prime. Res64: 711C387D6EF0A3C1 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:20:24] 797*2^1504272-1 is not prime. Res64: 0968B592B6D81F08 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:20:25] 863*2^1504272-1 is not prime. Res64: AD635991126D3A97 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:20:27] 887*2^1504272-1 is not prime. Res64: FA90DF36D6C07A8A Time : 0.0 sec. user=mdettweiler [2018-03-15 09:20:30] 687*2^1504273-1 is not prime. Res64: E5A4312107E00974 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:20:32] 705*2^1504273-1 is not prime. Res64: B30B36D7C97C5DE9 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:22:22] 797*2^1504274-1 is not prime. Res64: AF6B000A24A652B3 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:22:23] 851*2^1504274-1 is not prime. Res64: 9F86205F80B5649E Time : 0.0 sec. user=mdettweiler [2018-03-15 09:22:23] 873*2^1504274-1 is not prime. Res64: 2A3A8FC134B788A4 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:22:24] 917*2^1504274-1 is not prime. Res64: 527E79963873A9DF Time : 0.0 sec. user=mdettweiler [2018-03-15 09:22:25] 1001*2^1504274-1 is not prime. Res64: 0619198479BDD397 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:46:15] 619*2^1504275-1 is not prime. Res64: 4DBC6330EBE1455A Time : 0.0 sec. user=mdettweiler [2018-03-15 09:46:17] 625*2^1504275-1 is not prime. Res64: 79AF94839BCEEE6B Time : 0.0 sec. user=mdettweiler [2018-03-15 09:46:18] 633*2^1504275-1 is not prime. Res64: A3320908CE682CC8 Time : 0.0 sec. user=mdettweiler [2018-03-15 09:46:20] 643*2^1504275-1 is not prime. Res64: 3367AF0CA4801CCC Time : 0.0 sec. user=mdettweiler [2018-03-15 09:46:23] 709*2^1504275-1 is not prime. Res64: 9CBCE4B947C630A4 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:09:03] 993*2^1504276-1 is not prime. Res64: 74ACAA273DB69267 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:09:04] 669*2^1504277-1 is not prime. Res64: 52FD153FBF0C6814 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:09:05] 741*2^1504277-1 is not prime. Res64: F433270604021F5E Time : 0.0 sec. user=mdettweiler [2018-03-15 10:09:06] 991*2^1504277-1 is not prime. Res64: A53694CFD6F5F2BA Time : 0.0 sec. user=mdettweiler [2018-03-15 10:09:06] 641*2^1504278-1 is not prime. Res64: 50FEB0B45385F7AF Time : 0.0 sec. user=mdettweiler [2018-03-15 10:09:19] 609*2^1504276-1 is not prime. Res64: F810D285DF1556C6 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:09:20] 693*2^1504276-1 is not prime. Res64: 1F4DD9CB3696D57A Time : 0.0 sec. user=mdettweiler [2018-03-15 10:09:21] 833*2^1504276-1 is not prime. Res64: 7151B39E50423C59 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:09:21] 909*2^1504276-1 is not prime. Res64: 93EEB455FD614499 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:09:22] 983*2^1504276-1 is not prime. Res64: 97EC2434DE0DCCF6 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:10:36] 695*2^1504278-1 is not prime. Res64: 12A1B2E71522219E Time : 0.0 sec. user=mdettweiler [2018-03-15 10:10:37] 707*2^1504278-1 is not prime. Res64: B01C2AB585F41CCE Time : 0.0 sec. user=mdettweiler [2018-03-15 10:10:37] 713*2^1504278-1 is not prime. Res64: C2252460B98877D9 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:10:38] 725*2^1504278-1 is not prime. Res64: E0E862A87B17CE0A Time : 0.0 sec. user=mdettweiler [2018-03-15 10:10:39] 773*2^1504278-1 is not prime. Res64: 4847541B6D1E22E2 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:34:59] 795*2^1504278-1 is not prime. Res64: 96D17D7F3C74EEF1 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:35:00] 633*2^1504279-1 is not prime. Res64: C06A7C272A0E4722 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:35:01] 645*2^1504279-1 is not prime. Res64: D0EFADF80F9217EC Time : 0.0 sec. user=mdettweiler [2018-03-15 10:35:02] 709*2^1504279-1 is not prime. Res64: 41FD3A1554A051F1 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:35:03] 793*2^1504279-1 is not prime. Res64: 257B5029EEB38DA8 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:57:44] 861*2^1504279-1 is not prime. Res64: 60A5654DDDB2D12B Time : 0.0 sec. user=mdettweiler [2018-03-15 10:57:45] 883*2^1504279-1 is not prime. Res64: 429AB17C6778136B Time : 0.0 sec. user=mdettweiler [2018-03-15 10:57:46] 659*2^1504280-1 is not prime. Res64: 257BC0830EB0129E Time : 0.0 sec. user=mdettweiler [2018-03-15 10:57:46] 747*2^1504280-1 is not prime. Res64: 3B45DAA143C50BC5 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:57:47] 753*2^1504280-1 is not prime. Res64: 26FD36FF005972FD Time : 0.0 sec. user=mdettweiler [2018-03-15 10:58:17] 855*2^1504280-1 is not prime. Res64: 296B5F5FE7E56E90 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:58:18] 915*2^1504280-1 is not prime. Res64: 1223455CC811E2E7 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:58:19] 963*2^1504280-1 is not prime. Res64: CF39E521EA5585C9 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:58:19] 621*2^1504282-1 is not prime. Res64: 661CC8A90E46F9AE Time : 0.0 sec. user=mdettweiler [2018-03-15 10:58:20] 801*2^1504282-1 is not prime. Res64: 7E0FFF2B99AB2BC8 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:59:35] 815*2^1504282-1 is not prime. Res64: 8FA97482715AFD03 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:59:35] 911*2^1504282-1 is not prime. Res64: FE1A7B03B9E049F9 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:59:36] 915*2^1504282-1 is not prime. Res64: 19B7EB2E3026029D Time : 0.0 sec. user=mdettweiler [2018-03-15 10:59:37] 753*2^1504283-1 is not prime. Res64: D5F9F23920E9C740 Time : 0.0 sec. user=mdettweiler [2018-03-15 10:59:37] 759*2^1504283-1 is not prime. Res64: B78AB85752155B22 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:24:06] 771*2^1504283-1 is not prime. Res64: 4278DB20F9BA0B15 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:24:07] 913*2^1504283-1 is not prime. Res64: CE024EFA91BEB503 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:24:07] 963*2^1504283-1 is not prime. Res64: 0F01BE38E3D0702F Time : 0.0 sec. user=mdettweiler [2018-03-15 11:24:08] 689*2^1504284-1 is not prime. Res64: B1F89699A970590D Time : 0.0 sec. user=mdettweiler [2018-03-15 11:24:09] 693*2^1504284-1 is not prime. Res64: AEEF45ED934D4D43 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:46:51] 927*2^1504284-1 is not prime. Res64: FBC5346EF09A9E7C Time : 0.0 sec. user=mdettweiler [2018-03-15 11:46:52] 969*2^1504284-1 is not prime. Res64: A7DE8AACF7634F89 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:46:52] 715*2^1504285-1 is not prime. Res64: E16020C400651B2D Time : 0.0 sec. user=mdettweiler [2018-03-15 11:46:53] 757*2^1504285-1 is not prime. Res64: 76206F5629D867E5 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:46:54] 801*2^1504285-1 is not prime. Res64: A5640E2D2223DE54 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:47:45] 623*2^1504286-1 is not prime. Res64: 49F18BDE0CEF14B3 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:47:48] 641*2^1504286-1 is not prime. Res64: 0F427A715F9C8CA0 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:47:50] 741*2^1504286-1 is not prime. Res64: 0AD83E7FB316151E Time : 0.0 sec. user=mdettweiler [2018-03-15 11:47:55] 813*2^1504286-1 is not prime. Res64: DCF39C907804FD27 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:47:58] 851*2^1504286-1 is not prime. Res64: BFD5765A0A3E067E Time : 0.0 sec. user=mdettweiler [2018-03-15 11:48:06] 831*2^1504285-1 is not prime. Res64: 3108B29FC347FAC4 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:48:09] 877*2^1504285-1 is not prime. Res64: 3133FDE0F2AD1A34 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:48:15] 885*2^1504285-1 is not prime. Res64: 600D7E228BCE7062 Time : 0.0 sec. user=mdettweiler [2018-03-15 11:48:21] 997*2^1504285-1 is not prime. Res64: 50CD74540E087FAA Time : 0.0 sec. user=mdettweiler [2018-03-15 11:48:22] 999*2^1504285-1 is not prime. Res64: E0DE831D17116277 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:13:59] 945*2^1504286-1 is not prime. Res64: CFAD0741848A8852 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:13:59] 963*2^1504286-1 is not prime. Res64: D517B23CBF18D310 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:14:00] 735*2^1504287-1 is not prime. Res64: EB4D645A7F83E26B Time : 0.0 sec. user=mdettweiler [2018-03-15 12:14:01] 865*2^1504287-1 is not prime. Res64: B328AF862178060D Time : 0.0 sec. user=mdettweiler [2018-03-15 12:14:01] 951*2^1504287-1 is not prime. Res64: C073F5DB30D7DF67 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:36:31] 615*2^1504288-1 is not prime. Res64: 69C8F5F6D10FD484 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:36:32] 695*2^1504288-1 is not prime. Res64: 6F1AFDA92DD4D296 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:36:33] 813*2^1504288-1 is not prime. Res64: E347AC436961139C Time : 0.0 sec. user=mdettweiler [2018-03-15 12:36:33] 825*2^1504288-1 is not prime. Res64: 888762B5150CB4E9 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:36:34] 947*2^1504288-1 is not prime. Res64: B89AABD7C6612DE0 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:37:59] 989*2^1504288-1 is not prime. Res64: 84C962AC4A88A05C Time : 0.0 sec. user=mdettweiler [2018-03-15 12:37:59] 995*2^1504288-1 is not prime. Res64: 7B963E0F190921B0 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:38:00] 645*2^1504289-1 is not prime. Res64: CBBDD4B18467D7B9 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:38:00] 657*2^1504289-1 is not prime. Res64: C0F0A6FD2E206CAE Time : 0.0 sec. user=mdettweiler [2018-03-15 12:38:01] 775*2^1504289-1 is not prime. Res64: 34D69182D0E5FD03 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:38:22] 879*2^1504289-1 is not prime. Res64: 600D0BB36097F4F5 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:38:23] 967*2^1504289-1 is not prime. Res64: C9137E064FA928C5 Time : 0.0 sec. user=mdettweiler [2018-03-15 12:38:23] 681*2^1504290-1 is not prime. Res64: 38A64F7E79ACCD3C Time : 0.0 sec. user=mdettweiler [2018-03-15 12:38:24] 713*2^1504290-1 is not prime. Res64: 56DF5AE1710C3F0A Time : 0.0 sec. user=mdettweiler [2018-03-15 12:38:24] 917*2^1504290-1 is not prime. Res64: 62372198BD4B5431 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:03:39] 945*2^1504290-1 is not prime. Res64: 919CFF5EE974611B Time : 0.0 sec. user=mdettweiler [2018-03-15 13:03:42] 963*2^1504290-1 is not prime. Res64: 9D5B0AE8178F5EA5 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:03:44] 733*2^1504291-1 is not prime. Res64: 3A03E8F96CECC501 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:03:47] 751*2^1504291-1 is not prime. Res64: 84E0B00EBC089E10 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:03:51] 771*2^1504291-1 is not prime. Res64: 2FD3CFD9F6CD7670 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:25:45] 819*2^1504291-1 is not prime. Res64: 947CBC0A99553CBC Time : 0.0 sec. user=mdettweiler [2018-03-15 13:25:45] 829*2^1504291-1 is not prime. Res64: 1B1E21A3F6AC31CC Time : 0.0 sec. user=mdettweiler [2018-03-15 13:25:46] 913*2^1504291-1 is not prime. Res64: 645F0C4A4C62703B Time : 0.0 sec. user=mdettweiler [2018-03-15 13:25:46] 683*2^1504292-1 is not prime. Res64: 7AE249704081C2D2 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:25:47] 735*2^1504292-1 is not prime. Res64: 273A777663946CDC Time : 0.0 sec. user=mdettweiler [2018-03-15 13:26:09] 837*2^1504292-1 is not prime. Res64: C9DDF5A0484B99AB Time : 0.0 sec. user=mdettweiler [2018-03-15 13:26:09] 915*2^1504292-1 is not prime. Res64: C64F2487008D9315 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:26:10] 609*2^1504293-1 is not prime. Res64: AECDFAF1964324A7 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:26:11] 639*2^1504293-1 is not prime. Res64: 01B147ED4280659A Time : 0.0 sec. user=mdettweiler [2018-03-15 13:26:11] 699*2^1504293-1 is not prime. Res64: 5F78B8399A6460E1 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:27:31] 745*2^1504293-1 is not prime. Res64: DAA91CC6DA032E3D Time : 0.0 sec. user=mdettweiler [2018-03-15 13:27:31] 747*2^1504293-1 is not prime. Res64: 6317BEC1E83CA4A5 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:27:32] 781*2^1504293-1 is not prime. Res64: C9383AFE8760848A Time : 0.0 sec. user=mdettweiler [2018-03-15 13:27:32] 877*2^1504293-1 is not prime. Res64: 6B1DAC91677F35F8 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:27:33] 889*2^1504293-1 is not prime. Res64: 2A9722678F3C0DDB Time : 0.0 sec. user=mdettweiler [2018-03-15 13:53:37] 955*2^1504293-1 is not prime. Res64: 33EE8CA1CFB0D96C Time : 0.0 sec. user=mdettweiler [2018-03-15 13:53:38] 671*2^1504294-1 is not prime. Res64: 004C00937C411225 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:53:39] 677*2^1504294-1 is not prime. Res64: 690E89F79816685F Time : 0.0 sec. user=mdettweiler [2018-03-15 13:53:39] 791*2^1504294-1 is not prime. Res64: 122A1C7E186FE663 Time : 0.0 sec. user=mdettweiler [2018-03-15 13:53:40] 815*2^1504294-1 is not prime. Res64: 8CDB5E42109F5039 Time : 0.0 sec. user=mdettweiler [2018-03-15 14:14:17] 861*2^1504294-1 is not prime. Res64: 59EE9AAF31720B21 Time : 0.0 sec. user=mdettweiler [2018-03-15 14:14:18] 885*2^1504294-1 is not prime. Res64: 440DA2A6EA6867A4 Time : 0.0 sec. user=mdettweiler [2018-03-15 14:14:18] 609*2^1504295-1 is not prime. Res64: C9C3F2C78F7C4DFF Time : 0.0 sec. user=mdettweiler [2018-03-15 14:14:19] 643*2^1504295-1 is not prime. Res64: 913A42B13D63C9A6 Time : 0.0 sec. user=mdettweiler [2018-03-15 14:14:19] 663*2^1504295-1 is not prime. Res64: 9D2F0DBF277AF2EB Time : 0.0 sec. user=mdettweiler [2018-03-15 14:15:06] 669*2^1504295-1 is not prime. Res64: 9F9AA2D1D37C0318 Time : 0.0 sec. user=mdettweiler [2018-03-15 14:15:07] 685*2^1504295-1 is not prime. Res64: 2817F6E566EB73CB Time : 0.0 sec. user=mdettweiler [2018-03-15 14:15:07] 693*2^1504295-1 is not prime. Res64: 42A9CD771D6FBA7F Time : 0.0 sec. user=mdettweiler [2018-03-15 14:15:08] 831*2^1504295-1 is not prime. Res64: 379E093FD9FF6FC9 Time : 0.0 sec. user=mdettweiler [2018-03-15 14:15:08] 885*2^1504295-1 is not prime. Res64: 39B9777287734A9F Time : 0.0 sec. user=mdettweiler [2018-03-15 14:16:53] 949*2^1504295-1 is not prime. Res64: F0FA2AA0443C2919 Time : 0.0 sec. user=mdettweiler [2018-03-15 14:16:54] 963*2^1504295-1 is not prime. Res64: 474BD26823351E06 Time : 0.0 sec. user=mdettweiler [2018-03-15 14:16:54] 669*2^1504296-1 is not prime. Res64: 1F299061BBA23147 Time : 0.0 sec. user=mdettweiler [2018-03-15 14:16:55] 759*2^1504296-1 is not prime. Res64: B90F9D624D373B2D Time : 0.0 sec. user=mdettweiler [2018-03-15 14:16:55] 777*2^1504296-1 is not prime. Res64: C506AB76ED93ED2B Time : 0.0 sec. user=mdettweiler [2018-03-15 14:43:23] 845*2^1504296-1 is not prime. Res64: CD8DD0EB9E9C19C7 Time : 0.0 sec. user=mdettweiler [2018-03-15 14:43:24] 879*2^1504296-1 is not prime. Res64: 8538F028C2FCAA4B Time : 0.0 sec. user=mdettweiler [2018-03-15 14:43:24] 923*2^1504296-1 is not prime. Res64: 12EA221DF3EAC7AA Time : 0.0 sec. user=mdettweiler [2018-03-15 14:43:25] 933*2^1504296-1 is not prime. Res64: 428FA045F074638D Time : 0.0 sec. user=mdettweiler [2018-03-15 14:43:25] 667*2^1504297-1 is not prime. Res64: 5319B91764666228 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:03:18] 699*2^1504297-1 is not prime. Res64: 994C1527539BD8B2 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:03:20] 717*2^1504297-1 is not prime. Res64: D45F859D5673EE73 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:03:20] 729*2^1504297-1 is not prime. Res64: 4C41A8D67485537E Time : 0.0 sec. user=mdettweiler [2018-03-15 15:03:23] 765*2^1504297-1 is not prime. Res64: A9569E1A9888D93D Time : 0.0 sec. user=mdettweiler [2018-03-15 15:03:25] 889*2^1504297-1 is not prime. Res64: EA3FC40625ED99ED Time : 0.0 sec. user=mdettweiler [2018-03-15 15:03:34] 901*2^1504297-1 is not prime. Res64: 5DE240249BF97C12 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:03:37] 909*2^1504297-1 is not prime. Res64: 9B6EE8BA60412913 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:03:39] 623*2^1504298-1 is not prime. Res64: 6DA05A915651613B Time : 0.0 sec. user=mdettweiler [2018-03-15 15:03:41] 633*2^1504298-1 is not prime. Res64: 8E77A4D6FE6D1865 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:03:43] 677*2^1504298-1 is not prime. Res64: 2516161594F084ED Time : 0.0 sec. user=mdettweiler [2018-03-15 15:06:22] 707*2^1504298-1 is not prime. Res64: 917C5E2CC1EE4616 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:06:24] 773*2^1504298-1 is not prime. Res64: 586CB03D1C94CEF6 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:06:26] 815*2^1504298-1 is not prime. Res64: 6502CA5405E7A350 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:06:27] 857*2^1504298-1 is not prime. Res64: E49636652E868D91 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:06:29] 921*2^1504298-1 is not prime. Res64: 441E6C2E50D4DC5B Time : 0.0 sec. user=mdettweiler [2018-03-15 15:31:47] 977*2^1504298-1 is not prime. Res64: B359B0CE7730035A Time : 0.0 sec. user=mdettweiler [2018-03-15 15:31:48] 613*2^1504299-1 is not prime. Res64: C1D03C452523A9C9 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:31:49] 615*2^1504299-1 is not prime. Res64: FFAF0928EAC200C2 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:31:50] 711*2^1504299-1 is not prime. Res64: 15CA32ED27A07B04 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:31:51] 873*2^1504299-1 is not prime. Res64: ED55C6F77C2733C9 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:53:53] 895*2^1504299-1 is not prime. Res64: C18AE81E173D8B9B Time : 0.0 sec. user=mdettweiler [2018-03-15 15:53:53] 903*2^1504299-1 is not prime. Res64: 2ACBCF874DA5B767 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:53:54] 939*2^1504300-1 is not prime. Res64: C2BECE79F618E1F8 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:53:54] 965*2^1504300-1 is not prime. Res64: 0D19E376D38DD1FD Time : 0.0 sec. user=mdettweiler [2018-03-15 15:53:55] 645*2^1504301-1 is not prime. Res64: 3F2BBDA24E1F57D0 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:53:57] 719*2^1504300-1 is not prime. Res64: FB2BD55FC3941C41 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:53:58] 773*2^1504300-1 is not prime. Res64: A929785DE8DFE3D2 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:53:58] 843*2^1504300-1 is not prime. Res64: D99343EFA5040B47 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:53:59] 857*2^1504300-1 is not prime. Res64: 7C8ECD54CA462DCC Time : 0.0 sec. user=mdettweiler [2018-03-15 15:53:59] 873*2^1504300-1 is not prime. Res64: E1BABD09A1C0319F Time : 0.0 sec. user=mdettweiler [2018-03-15 15:55:51] 727*2^1504301-1 is not prime. Res64: 275D5A64681B2859 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:55:52] 745*2^1504301-1 is not prime. Res64: 59ADDB9C466C1827 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:55:52] 889*2^1504301-1 is not prime. Res64: FFF5160490AD1230 Time : 0.0 sec. user=mdettweiler [2018-03-15 15:55:53] 955*2^1504301-1 is not prime. Res64: 8497AEC313DE7A8A Time : 0.0 sec. user=mdettweiler [2018-03-15 15:55:53] 981*2^1504301-1 is not prime. Res64: 31E4DF1BB6A4F169 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:20:47] 683*2^1504302-1 is not prime. Res64: 2A951D7B4FEAE189 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:20:48] 725*2^1504302-1 is not prime. Res64: 77C9629873B4DEEA Time : 0.0 sec. user=mdettweiler [2018-03-15 16:20:49] 761*2^1504302-1 is not prime. Res64: 78F28724AA424392 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:20:49] 807*2^1504302-1 is not prime. Res64: C9C9A9E2EB335B64 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:20:50] 891*2^1504302-1 is not prime. Res64: E8C649E790DC2539 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:42:29] 951*2^1504303-1 is not prime. Res64: B1FF88E3F2F9E03F Time : 0.0 sec. user=mdettweiler [2018-03-15 16:42:30] 969*2^1504303-1 is not prime. Res64: 07911ABCD558E863 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:42:30] 635*2^1504304-1 is not prime. Res64: F4615BFB079E6F9F Time : 0.0 sec. user=mdettweiler [2018-03-15 16:42:31] 725*2^1504304-1 is not prime. Res64: 4DB7511F405CF55A Time : 0.0 sec. user=mdettweiler [2018-03-15 16:42:31] 747*2^1504304-1 is not prime. Res64: 00345238F98D98F4 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:43:13] 663*2^1504303-1 is not prime. Res64: AB07C136BA9A8AEA Time : 0.0 sec. user=mdettweiler [2018-03-15 16:43:13] 709*2^1504303-1 is not prime. Res64: 045B632F2231B165 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:43:14] 789*2^1504303-1 is not prime. Res64: E70FE80E9D328BF4 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:43:14] 883*2^1504303-1 is not prime. Res64: 07A416D613A7BA36 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:43:15] 925*2^1504303-1 is not prime. Res64: BF33690F42B6BF6A Time : 0.0 sec. user=mdettweiler [2018-03-15 16:45:21] 755*2^1504304-1 is not prime. Res64: A2C0DA6E72D87B59 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:45:22] 773*2^1504304-1 is not prime. Res64: BE9BC70524999CA0 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:45:22] 813*2^1504304-1 is not prime. Res64: 707A21A1E5813ADD Time : 0.0 sec. user=mdettweiler [2018-03-15 16:45:23] 909*2^1504304-1 is not prime. Res64: F8130D986ECCEFB5 Time : 0.0 sec. user=mdettweiler [2018-03-15 16:45:24] 983*2^1504304-1 is not prime. Res64: A1E9FE5E37585FAA Time : 0.0 sec. user=mdettweiler [2018-03-15 17:10:21] 657*2^1504305-1 is not prime. Res64: 7AFFDC3418D495C3 Time : 0.0 sec. user=mdettweiler [2018-03-15 17:10:22] 751*2^1504305-1 is not prime. Res64: 4560AF2FDF46C4C2 Time : 0.0 sec. user=mdettweiler [2018-03-15 17:10:23] 781*2^1504305-1 is not prime. Res64: 7B30E59BD6164E0A Time : 0.0 sec. user=mdettweiler [2018-03-15 17:10:24] 795*2^1504305-1 is not prime. Res64: AF4C148FB76668E1 Time : 0.0 sec. user=mdettweiler [2018-03-15 17:10:25] 817*2^1504305-1 is not prime. Res64: FA565DBEFB5CC0BB Time : 0.0 sec. user=mdettweiler [2018-03-15 17:31:19] 831*2^1504305-1 is not prime. Res64: A180E09CCEBBC37E Time : 0.0 sec. user=mdettweiler [2018-03-15 17:31:20] 951*2^1504305-1 is not prime. Res64: 81A0D3AEE9C4F10A Time : 0.0 sec. user=mdettweiler [2018-03-15 17:31:20] 657*2^1504306-1 is not prime. Res64: 80AB9017F068E834 Time : 0.0 sec. user=mdettweiler [2018-03-15 17:31:21] 705*2^1504306-1 is not prime. Res64: B978AE45DAF83CBA Time : 0.0 sec. user=mdettweiler [2018-03-15 17:31:21] 723*2^1504306-1 is not prime. Res64: 3D89FA17545E9FBA Time : 0.0 sec. user=mdettweiler [2018-03-15 17:32:44] 777*2^1504306-1 is not prime. Res64: 301CAF6BA08F635D Time : 0.0 sec. user=mdettweiler [2018-03-15 17:32:45] 813*2^1504306-1 is not prime. Res64: C02FAF2ED4298F5B Time : 0.0 sec. user=mdettweiler [2018-03-15 17:32:45] 911*2^1504306-1 is not prime. Res64: F0A04D175ACBCF46 Time : 0.0 sec. user=mdettweiler [2018-03-15 17:32:46] 957*2^1504306-1 is not prime. Res64: F6848AAAD72AD984 Time : 0.0 sec. user=mdettweiler [2018-03-15 17:32:46] 609*2^1504307-1 is not prime. Res64: 81708BB4D432C9DD Time : 0.0 sec. user=mdettweiler [2018-03-15 17:34:24] 711*2^1504307-1 is not prime. Res64: 1FE43CA97A51ED21 Time : 0.0 sec. user=mdettweiler [2018-03-15 17:34:24] 735*2^1504307-1 is not prime. Res64: 8A2A138FADA9BEC1 Time : 0.0 sec. user=mdettweiler [2018-03-15 17:34:25] 741*2^1504307-1 is not prime. Res64: 2A852742DEB1B84B Time : 0.0 sec. user=mdettweiler [2018-03-15 17:34:25] 799*2^1504307-1 is not prime. Res64: 7A53A0345B422CAC Time : 0.0 sec. user=mdettweiler [2018-03-15 17:34:25] 841*2^1504307-1 is not prime. Res64: E2EE0F152C8184D4 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:01:49] 939*2^1504307-1 is not prime. Res64: F02934BBF125AB3E Time : 0.0 sec. user=mdettweiler [2018-03-15 18:01:51] 663*2^1504308-1 is not prime. Res64: CE146BE29C808261 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:01:52] 707*2^1504308-1 is not prime. Res64: 348674EDDA482271 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:01:53] 723*2^1504308-1 is not prime. Res64: E3CB2925A80473DD Time : 0.0 sec. user=mdettweiler [2018-03-15 18:01:53] 725*2^1504308-1 is not prime. Res64: 1C966739EC21C979 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:26:35] 759*2^1504308-1 is not prime. Res64: 18631E3AE1252537 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:26:37] 797*2^1504308-1 is not prime. Res64: 097742ADDC655F39 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:26:39] 899*2^1504308-1 is not prime. Res64: D89CE7CDFE19C419 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:26:41] 947*2^1504308-1 is not prime. Res64: 4E7AE875ACE4D088 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:26:43] 993*2^1504308-1 is not prime. Res64: 79C9EB0A8DA13549 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:53:11] 971*2^1504310-1 is not prime. Res64: 9C2A5201C19645CB Time : 0.0 sec. user=mdettweiler [2018-03-15 18:53:11] 691*2^1504311-1 is not prime. Res64: 2317DB3F8B44DD9A Time : 0.0 sec. user=mdettweiler [2018-03-15 18:53:12] 859*2^1504311-1 is not prime. Res64: A62EF34D7E3EF886 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:53:12] 861*2^1504311-1 is not prime. Res64: 5D6C43EFA10B5369 Time : 0.0 sec. user=mdettweiler [2018-03-15 18:53:12] 865*2^1504311-1 is not prime. Res64: 06026DD9BF30789E Time : 0.0 sec. user=mdettweiler [2018-03-15 19:19:11] 961*2^1504311-1 is not prime. Res64: E060CA83111A0BF6 Time : 0.0 sec. user=mdettweiler [2018-03-15 19:19:12] 999*2^1504311-1 is not prime. Res64: 1D4D4B99A2CEB44D Time : 0.0 sec. user=mdettweiler [2018-03-15 19:19:12] 717*2^1504312-1 is not prime. Res64: 1EC8094C2025DE94 Time : 0.0 sec. user=mdettweiler [2018-03-15 19:19:12] 723*2^1504312-1 is not prime. Res64: C896B90A5A9D9E19 Time : 0.0 sec. user=mdettweiler [2018-03-15 19:19:13] 803*2^1504312-1 is not prime. Res64: C6BF5DD11F3EB335 Time : 0.0 sec. user=mdettweiler [2018-03-15 19:48:46] 827*2^1504312-1 is not prime. Res64: B9BE9524429D8D64 Time : 0.0 sec. user=mdettweiler [2018-03-15 19:48:46] 833*2^1504312-1 is not prime. Res64: F221BAE49790A2BC Time : 0.0 sec. user=mdettweiler [2018-03-15 19:48:46] 939*2^1504312-1 is not prime. Res64: A5DE84319457E4A8 Time : 0.0 sec. user=mdettweiler [2018-03-15 19:48:47] 679*2^1504313-1 is not prime. Res64: 7F57364FC8C1F394 Time : 0.0 sec. user=mdettweiler [2018-03-15 19:48:47] 829*2^1504313-1 is not prime. Res64: 8086B30D76A8D1D7 Time : 0.0 sec. user=mdettweiler [2018-03-15 20:13:49] 847*2^1504313-1 is not prime. Res64: DE6BF5B0159C4383 Time : 0.0 sec. user=mdettweiler [2018-03-15 20:13:49] 925*2^1504313-1 is not prime. Res64: F1E5FBF61017F241 Time : 0.0 sec. user=mdettweiler [2018-03-15 20:13:50] 683*2^1504314-1 is not prime. Res64: 4CC1DEED49233858 Time : 0.0 sec. user=mdettweiler [2018-03-15 20:13:50] 825*2^1504314-1 is not prime. Res64: 874175FDA36FF30E Time : 0.0 sec. user=mdettweiler [2018-03-15 20:13:51] 891*2^1504314-1 is not prime. Res64: 768232DB935EBBF4 Time : 0.0 sec. user=mdettweiler [2018-03-15 20:44:27] 917*2^1504314-1 is not prime. Res64: BA4989AC30F86B6E Time : 0.0 sec. user=mdettweiler [2018-03-15 20:44:28] 957*2^1504314-1 is not prime. Res64: AEBB8E3722730716 Time : 0.0 sec. user=mdettweiler [2018-03-15 20:44:28] 609*2^1504315-1 is not prime. Res64: 3455D5E734D63A44 Time : 0.0 sec. user=mdettweiler [2018-03-15 20:44:28] 639*2^1504315-1 is not prime. Res64: 822B01136C3DCAC7 Time : 0.0 sec. user=mdettweiler [2018-03-15 20:44:28] 775*2^1504315-1 is not prime. Res64: 3130EFFC72AE649A Time : 0.0 sec. user=mdettweiler [2018-03-15 21:13:03] 915*2^1504315-1 is not prime. Res64: BED2A5C515A35FBE Time : 0.0 sec. user=mdettweiler [2018-03-15 21:13:04] 827*2^1504316-1 is not prime. Res64: 7776A6A2A602B4CD Time : 0.0 sec. user=mdettweiler [2018-03-15 21:13:04] 727*2^1504317-1 is not prime. Res64: B0264928BA6A58A8 Time : 0.0 sec. user=mdettweiler [2018-03-15 21:13:04] 819*2^1504317-1 is not prime. Res64: C5957170DB8E208D Time : 0.0 sec. user=mdettweiler [2018-03-15 21:13:05] 849*2^1504317-1 is not prime. Res64: 30272BC3DE1B5C55 Time : 0.0 sec. user=mdettweiler [2018-03-15 21:47:39] 889*2^1504317-1 is not prime. Res64: ADFAB8C77C63B919 Time : 0.0 sec. user=mdettweiler [2018-03-15 21:47:39] 991*2^1504317-1 is not prime. Res64: 0403D922645E5102 Time : 0.0 sec. user=mdettweiler [2018-03-15 21:47:40] 603*2^1504318-1 is not prime. Res64: BD13DC7DF5E88B70 Time : 0.0 sec. user=mdettweiler [2018-03-15 21:47:40] 605*2^1504318-1 is not prime. Res64: B477BBCAA2C8689E Time : 0.0 sec. user=mdettweiler [2018-03-15 21:47:40] 687*2^1504318-1 is not prime. Res64: 9E7C2E91D9BCE6BC Time : 0.0 sec. user=mdettweiler [2018-03-15 22:17:31] 707*2^1504318-1 is not prime. Res64: FA722996A6D08990 Time : 0.0 sec. user=mdettweiler [2018-03-15 22:17:32] 713*2^1504318-1 is not prime. Res64: E15BEF7845A0922F Time : 0.0 sec. user=mdettweiler [2018-03-15 22:17:32] 777*2^1504318-1 is not prime. Res64: EE0468740951D4CE Time : 0.0 sec. user=mdettweiler [2018-03-15 22:17:32] 791*2^1504318-1 is not prime. Res64: FDFBB992FD8F9C9E Time : 0.0 sec. user=mdettweiler [2018-03-15 22:17:33] 827*2^1504318-1 is not prime. Res64: C581C58401F06BAD Time : 0.0 sec. user=mdettweiler [2018-03-15 22:48:47] 831*2^1504318-1 is not prime. Res64: 06D3E49B33939FC0 Time : 0.0 sec. user=mdettweiler [2018-03-15 22:48:48] 843*2^1504318-1 is not prime. Res64: 1515EF1F0E02F94A Time : 0.0 sec. user=mdettweiler [2018-03-15 22:48:48] 845*2^1504318-1 is not prime. Res64: 7254513EB6391491 Time : 0.0 sec. user=mdettweiler [2018-03-15 22:48:48] 941*2^1504318-1 is not prime. Res64: 6AAB7C217D53CB16 Time : 0.0 sec. user=mdettweiler [2018-03-15 22:48:49] 655*2^1504319-1 is not prime. Res64: 126E2EF779632F30 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:03:37] 999*2^1504308-1 is not prime. Res64: B4AA68B8B2832F98 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:03:37] 877*2^1504309-1 is not prime. Res64: 12D40F8296D5F7A4 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:03:39] 639*2^1504309-1 is not prime. Res64: 21D43E7EEFD704F7 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:03:40] 939*2^1504309-1 is not prime. Res64: E83713619184C3B2 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:03:41] 691*2^1504309-1 is not prime. Res64: AA6C098DB755E483 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:03:41] 975*2^1504309-1 is not prime. Res64: 34CCA228D24AB0DD Time : 0.0 sec. user=mdettweiler [2018-03-15 23:03:42] 699*2^1504309-1 is not prime. Res64: 72D0FC66544B3BA2 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:03:42] 935*2^1504310-1 is not prime. Res64: B7CE942AC139BE79 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:03:43] 831*2^1504309-1 is not prime. Res64: 3E2A564B1A10A3AD Time : 0.0 sec. user=mdettweiler [2018-03-15 23:03:44] 945*2^1504310-1 is not prime. Res64: 1EEAB7EE9182E4B2 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:26:03] 729*2^1504319-1 is not prime. Res64: FBF2E4D56FBF7B16 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:26:04] 853*2^1504319-1 is not prime. Res64: 380391244131E20E Time : 0.0 sec. user=mdettweiler [2018-03-15 23:26:04] 913*2^1504319-1 is not prime. Res64: B5CCD6554333FD47 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:26:05] 921*2^1504319-1 is not prime. Res64: B80D6F0766080578 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:26:05] 939*2^1504319-1 is not prime. Res64: 63E59F619C27ADF8 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:45:34] 949*2^1504319-1 is not prime. Res64: E5B2E804610D989F Time : 0.0 sec. user=mdettweiler [2018-03-15 23:45:35] 609*2^1504320-1 is not prime. Res64: F45D8664B5AC69E5 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:45:35] 759*2^1504320-1 is not prime. Res64: FABB8B0E8D528470 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:45:36] 767*2^1504320-1 is not prime. Res64: 06F914598028D135 Time : 0.0 sec. user=mdettweiler [2018-03-15 23:45:36] 849*2^1504320-1 is not prime. Res64: 7CDDE31A84BADCB9 Time : 0.0 sec.