user=mdettweiler [2018-08-10 00:01:02] 731*2^1520878-1 is not prime. Res64: 7C66E1B157EB25C3 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:01:02] 601*2^1520879-1 is not prime. Res64: C0F28804D1725753 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:01:03] 753*2^1520879-1 is not prime. Res64: BAD0A8B422BA9BC4 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:01:03] 771*2^1520879-1 is not prime. Res64: CEBFD6A4FE8C296B Time : 0.0 sec. user=mdettweiler [2018-08-10 00:01:04] 811*2^1520879-1 is not prime. Res64: AD6A87BCF65756CA Time : 0.0 sec. user=mdettweiler [2018-08-10 00:31:07] 855*2^1520879-1 is not prime. Res64: 1A95A442B3379DEF Time : 0.0 sec. user=mdettweiler [2018-08-10 00:31:08] 699*2^1520880-1 is not prime. Res64: C97DB53DD50DA6B6 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:31:08] 713*2^1520880-1 is not prime. Res64: AF70C8E77C109456 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:31:09] 765*2^1520880-1 is not prime. Res64: D6248EAE102AADB5 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:31:09] 779*2^1520880-1 is not prime. Res64: 0C09706F902CC7EF Time : 0.0 sec. user=mdettweiler [2018-08-10 00:37:31] 789*2^1520880-1 is not prime. Res64: 98998D4459939F83 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:37:32] 819*2^1520880-1 is not prime. Res64: 07D4CD14A6F823FF Time : 0.0 sec. user=mdettweiler [2018-08-10 00:37:32] 849*2^1520880-1 is not prime. Res64: FE86C20046E8AB6F Time : 0.0 sec. user=mdettweiler [2018-08-10 00:37:32] 857*2^1520880-1 is not prime. Res64: 926A33BF44A6063C Time : 0.0 sec. user=mdettweiler [2018-08-10 00:37:33] 867*2^1520880-1 is not prime. Res64: E385E926E4273AC5 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:41:01] 909*2^1520880-1 is not prime. Res64: 4EBB4142EE06D6D5 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:41:01] 769*2^1520881-1 is not prime. Res64: FFC9C6C839A70043 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:41:02] 847*2^1520881-1 is not prime. Res64: 307B9BA56CAAB0EF Time : 0.0 sec. user=mdettweiler [2018-08-10 00:41:02] 987*2^1520881-1 is not prime. Res64: 58ABC4818CE84672 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:41:03] 603*2^1520882-1 is not prime. Res64: 34D3468F18C7B158 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:52:37] 657*2^1520882-1 is not prime. Res64: F7B82C237924EA59 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:52:37] 671*2^1520882-1 is not prime. Res64: 1EE6B1BC615CAFE2 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:52:37] 867*2^1520882-1 is not prime. Res64: 2066C1DEE4A1F79B Time : 0.0 sec. user=mdettweiler [2018-08-10 00:52:38] 873*2^1520882-1 is not prime. Res64: C08DED739826F037 Time : 0.0 sec. user=mdettweiler [2018-08-10 00:52:38] 953*2^1520882-1 is not prime. Res64: 24894A303C6F570A Time : 0.0 sec. user=mdettweiler [2018-08-10 01:22:04] 957*2^1520882-1 is not prime. Res64: 463F0F4203479DBA Time : 0.0 sec. user=mdettweiler [2018-08-10 01:22:05] 977*2^1520882-1 is not prime. Res64: 0C4EFAA19CFCD8FC Time : 0.0 sec. user=mdettweiler [2018-08-10 01:22:05] 669*2^1520883-1 is not prime. Res64: 730439CB133E11EE Time : 0.0 sec. user=mdettweiler [2018-08-10 01:22:06] 769*2^1520883-1 is not prime. Res64: F8DC4292CBBA3602 Time : 0.0 sec. user=mdettweiler [2018-08-10 01:22:06] 823*2^1520883-1 is not prime. Res64: 5FC39CFB9DB8E058 Time : 0.0 sec. user=mdettweiler [2018-08-10 01:28:33] 963*2^1520883-1 is not prime. Res64: 51B24FB67319351C Time : 0.0 sec. user=mdettweiler [2018-08-10 01:28:34] 605*2^1520884-1 is not prime. Res64: D2B9BC07A63C34F0 Time : 0.0 sec. user=mdettweiler [2018-08-10 01:28:36] 695*2^1520884-1 is not prime. Res64: DDDF663CC3D7BE2F Time : 0.0 sec. user=mdettweiler [2018-08-10 01:28:36] 717*2^1520884-1 is not prime. Res64: 3E8F26CFE53F0E1E Time : 0.0 sec. user=mdettweiler [2018-08-10 01:28:37] 813*2^1520884-1 is not prime. Res64: 5767061F80C4E934 Time : 0.0 sec. user=mdettweiler [2018-08-10 01:32:00] 983*2^1520884-1 is not prime. Res64: FD36F3A363CC9B1E Time : 0.0 sec. user=mdettweiler [2018-08-10 01:32:01] 655*2^1520885-1 is not prime. Res64: B2FE8A3D4E0509D3 Time : 0.0 sec. user=mdettweiler [2018-08-10 01:32:02] 799*2^1520885-1 is not prime. Res64: 0F8C61D5067069DE Time : 0.0 sec. user=mdettweiler [2018-08-10 01:32:03] 847*2^1520885-1 is not prime. Res64: 50895CFB3A892BDF Time : 0.0 sec. user=mdettweiler [2018-08-10 01:32:03] 987*2^1520885-1 is not prime. Res64: 0400589FD2FB1B1C Time : 0.0 sec. user=mdettweiler [2018-08-10 01:43:31] 695*2^1520886-1 is not prime. Res64: 3A780DFD80BDFBD4 Time : 0.0 sec. user=mdettweiler [2018-08-10 01:43:32] 755*2^1520886-1 is not prime. Res64: F6F9999F010A5A4F Time : 0.0 sec. user=mdettweiler [2018-08-10 01:43:32] 807*2^1520886-1 is not prime. Res64: DCD742953CCC7686 Time : 0.0 sec. user=mdettweiler [2018-08-10 01:43:33] 851*2^1520886-1 is not prime. Res64: 458BC8B8A6DA4801 Time : 0.0 sec. user=mdettweiler [2018-08-10 01:43:33] 921*2^1520886-1 is not prime. Res64: 5AA200B8A87C9449 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:13:16] 923*2^1520886-1 is not prime. Res64: A255FAD43434D135 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:13:16] 625*2^1520887-1 is not prime. Res64: 84F8062BF87BE37E Time : 0.0 sec. user=mdettweiler [2018-08-10 02:13:17] 651*2^1520887-1 is not prime. Res64: 64C56510CC6E930B Time : 0.0 sec. user=mdettweiler [2018-08-10 02:13:17] 895*2^1520887-1 is not prime. Res64: 7146BC704541F6D3 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:13:18] 985*2^1520887-1 is not prime. Res64: 2330B246AA1BFAD1 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:20:02] 657*2^1520888-1 is not prime. Res64: 78CE2BE48586AAEE Time : 0.0 sec. user=mdettweiler [2018-08-10 02:20:03] 659*2^1520888-1 is not prime. Res64: 7CF1D00E8C239C5A Time : 0.0 sec. user=mdettweiler [2018-08-10 02:20:03] 677*2^1520888-1 is not prime. Res64: 177030D7AD578679 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:20:04] 777*2^1520888-1 is not prime. Res64: 1A768E881F29AEF3 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:20:04] 963*2^1520888-1 is not prime. Res64: 0365970677E75E30 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:23:19] 765*2^1520889-1 is not prime. Res64: F6D7C91F2A43DDEC Time : 0.0 sec. user=mdettweiler [2018-08-10 02:23:19] 829*2^1520889-1 is not prime. Res64: A65872FA6611F0C3 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:23:20] 889*2^1520889-1 is not prime. Res64: 9016647ABCAB12D5 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:23:20] 895*2^1520889-1 is not prime. Res64: 214D940937EA3D51 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:23:20] 987*2^1520889-1 is not prime. Res64: 8A6B1A9480952008 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:34:58] 997*2^1520889-1 is not prime. Res64: 34E0963089CF8B65 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:34:59] 635*2^1520890-1 is not prime. Res64: 378E9ABABF04E3C9 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:34:59] 731*2^1520890-1 is not prime. Res64: E1F618769CAF3D1F Time : 0.0 sec. user=mdettweiler [2018-08-10 02:35:00] 777*2^1520890-1 is not prime. Res64: DF9478037CE9EC95 Time : 0.0 sec. user=mdettweiler [2018-08-10 02:35:00] 831*2^1520890-1 is not prime. Res64: 169D8087D3B805B0 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:05:27] 833*2^1520890-1 is not prime. Res64: 4B12A200AE45060E Time : 0.0 sec. user=mdettweiler [2018-08-10 03:05:28] 911*2^1520890-1 is not prime. Res64: 7FF94784019E45B9 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:05:28] 933*2^1520890-1 is not prime. Res64: 99A4FF88820F9AF3 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:05:30] 945*2^1520890-1 is not prime. Res64: 4BC88FB843F55036 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:05:31] 643*2^1520891-1 is not prime. Res64: E5F19FACA107AB5F Time : 0.0 sec. user=mdettweiler [2018-08-10 03:13:26] 693*2^1520891-1 is not prime. Res64: CB809804542A3A29 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:13:27] 775*2^1520891-1 is not prime. Res64: 96C521DC00FA661C Time : 0.0 sec. user=mdettweiler [2018-08-10 03:13:28] 813*2^1520891-1 is not prime. Res64: 67E0AC0EB7B7A00B Time : 0.0 sec. user=mdettweiler [2018-08-10 03:13:29] 879*2^1520891-1 is not prime. Res64: 87D1B04516865E7E Time : 0.0 sec. user=mdettweiler [2018-08-10 03:13:30] 737*2^1520892-1 is not prime. Res64: 3E6C7E213EFF7106 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:15:23] 749*2^1520892-1 is not prime. Res64: 8A14669FEF87410F Time : 0.0 sec. user=mdettweiler [2018-08-10 03:15:23] 867*2^1520892-1 is not prime. Res64: 8B92E36CE9F5EF96 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:15:24] 965*2^1520892-1 is not prime. Res64: 20CDD7867FC457DD Time : 0.0 sec. user=mdettweiler [2018-08-10 03:15:24] 977*2^1520892-1 is not prime. Res64: 2E039B8D73FC66BA Time : 0.0 sec. user=mdettweiler [2018-08-10 03:15:24] 639*2^1520893-1 is not prime. Res64: 076A8A8308C8E166 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:27:41] 687*2^1520893-1 is not prime. Res64: 317AF8D9B85DB73A Time : 0.0 sec. user=mdettweiler [2018-08-10 03:27:42] 757*2^1520893-1 is not prime. Res64: 668E7D39AF4EF1EE Time : 0.0 sec. user=mdettweiler [2018-08-10 03:27:43] 771*2^1520893-1 is not prime. Res64: 3D8293AFE54F0BA4 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:27:44] 889*2^1520893-1 is not prime. Res64: B3FAB2F6580C893E Time : 0.0 sec. user=mdettweiler [2018-08-10 03:27:45] 915*2^1520893-1 is not prime. Res64: AAE1023F8CEB8CF8 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:57:20] 961*2^1520893-1 is not prime. Res64: 13C4A01ECCD0AD1D Time : 0.0 sec. user=mdettweiler [2018-08-10 03:57:21] 605*2^1520894-1 is not prime. Res64: 393A10333DBD6B73 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:57:22] 615*2^1520894-1 is not prime. Res64: 8F6CF27DCC5959F5 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:57:23] 677*2^1520894-1 is not prime. Res64: 7A555AC5C81A58F0 Time : 0.0 sec. user=mdettweiler [2018-08-10 03:57:24] 683*2^1520894-1 is not prime. Res64: 39CB2366C98F3691 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:06:35] 753*2^1520894-1 is not prime. Res64: 0181EDE6AC946A39 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:06:36] 825*2^1520894-1 is not prime. Res64: BC7623F6C318A837 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:06:38] 831*2^1520894-1 is not prime. Res64: 43D575635B3F7DA8 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:06:39] 833*2^1520894-1 is not prime. Res64: 31C8E178F1185802 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:06:40] 861*2^1520894-1 is not prime. Res64: 08D1E5FACB3EB586 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:06:47] 923*2^1520894-1 is not prime. Res64: 4E17036EFCB269D8 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:06:49] 927*2^1520894-1 is not prime. Res64: 59C38DB68B7F0B49 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:06:50] 983*2^1520894-1 is not prime. Res64: DCFE6FC2FEAA3AA2 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:06:53] 675*2^1520895-1 is not prime. Res64: C9A5958EE1FE84F7 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:06:54] 735*2^1520895-1 is not prime. Res64: 955BF8A609E295BE Time : 0.0 sec. user=mdettweiler [2018-08-10 04:18:40] 919*2^1520895-1 is not prime. Res64: C4BCB7BD53F61A9D Time : 0.0 sec. user=mdettweiler [2018-08-10 04:18:41] 603*2^1520896-1 is not prime. Res64: 902A29EAE69068BF Time : 0.0 sec. user=mdettweiler [2018-08-10 04:18:42] 639*2^1520896-1 is not prime. Res64: 19D9A8F8585C9F78 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:18:42] 657*2^1520896-1 is not prime. Res64: 03CDED887F2AB938 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:18:43] 777*2^1520896-1 is not prime. Res64: D9033D46C17FE6C9 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:48:19] 825*2^1520896-1 is not prime. Res64: 3E982D14F1F6C9D5 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:48:20] 839*2^1520896-1 is not prime. Res64: 9E5F07494D713E43 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:48:20] 843*2^1520896-1 is not prime. Res64: C07CF8F95EAE858C Time : 0.0 sec. user=mdettweiler [2018-08-10 04:48:20] 989*2^1520896-1 is not prime. Res64: 8C32C4DAB77C132E Time : 0.0 sec. user=mdettweiler [2018-08-10 04:48:21] 999*2^1520896-1 is not prime. Res64: 7BEFF2A0121D1B12 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:58:15] 615*2^1520897-1 is not prime. Res64: 1E14DD89694B267B Time : 0.0 sec. user=mdettweiler [2018-08-10 04:58:15] 691*2^1520897-1 is not prime. Res64: 598D299F3EEBB739 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:58:15] 711*2^1520897-1 is not prime. Res64: AE1E2445331C6143 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:58:15] 741*2^1520897-1 is not prime. Res64: 0F8895BCB06B1A21 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:58:16] 885*2^1520897-1 is not prime. Res64: 4C1751D585E30321 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:58:46] 925*2^1520897-1 is not prime. Res64: 210FC7BBC0759B8D Time : 0.0 sec. user=mdettweiler [2018-08-10 04:58:46] 641*2^1520898-1 is not prime. Res64: C272345AED0465FE Time : 0.0 sec. user=mdettweiler [2018-08-10 04:58:46] 755*2^1520898-1 is not prime. Res64: F2A8F45223EC28C5 Time : 0.0 sec. user=mdettweiler [2018-08-10 04:58:47] 765*2^1520898-1 is not prime. Res64: 01804E4C20B1913A Time : 0.0 sec. user=mdettweiler [2018-08-10 04:58:47] 815*2^1520898-1 is not prime. Res64: 481D4064E83A4CBC Time : 0.0 sec. user=mdettweiler [2018-08-10 05:11:23] 893*2^1520898-1 is not prime. Res64: B1EFC14C6D406513 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:11:24] 971*2^1520898-1 is not prime. Res64: FC366D1CFB16951A Time : 0.0 sec. user=mdettweiler [2018-08-10 05:11:24] 975*2^1520898-1 is not prime. Res64: 5BB7F535F0D3916F Time : 0.0 sec. user=mdettweiler [2018-08-10 05:11:25] 621*2^1520899-1 is not prime. Res64: D4451FA3102D9A60 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:11:25] 645*2^1520899-1 is not prime. Res64: B992F9283A149F35 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:40:49] 663*2^1520899-1 is not prime. Res64: F59DB7D066E15403 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:40:49] 789*2^1520899-1 is not prime. Res64: D89B16EDBF706B7C Time : 0.0 sec. user=mdettweiler [2018-08-10 05:40:50] 913*2^1520899-1 is not prime. Res64: 70971AA68AA86750 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:40:50] 979*2^1520899-1 is not prime. Res64: 01073520FB554305 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:40:51] 669*2^1520900-1 is not prime. Res64: 290517784BD5841B Time : 0.0 sec. user=mdettweiler [2018-08-10 05:51:12] 953*2^1520900-1 is not prime. Res64: 6B4BF856DCD71105 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:51:13] 957*2^1520900-1 is not prime. Res64: 6FA52F0E0345D1AC Time : 0.0 sec. user=mdettweiler [2018-08-10 05:51:13] 963*2^1520900-1 is not prime. Res64: 23A205B83B879DA6 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:51:13] 651*2^1520901-1 is not prime. Res64: D87A6E6FF1B03492 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:51:14] 717*2^1520901-1 is not prime. Res64: CB4A3BC649CF364B Time : 0.0 sec. user=mdettweiler [2018-08-10 05:52:34] 675*2^1520900-1 is not prime. Res64: 03B71F678F953C50 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:52:34] 795*2^1520900-1 is not prime. Res64: 9466AC49D71100CB Time : 0.0 sec. user=mdettweiler [2018-08-10 05:52:35] 825*2^1520900-1 is not prime. Res64: C25DEEC6C1E4224F Time : 0.0 sec. user=mdettweiler [2018-08-10 05:52:35] 843*2^1520900-1 is not prime. Res64: D1BBA5EAD255C424 Time : 0.0 sec. user=mdettweiler [2018-08-10 05:52:35] 885*2^1520900-1 is not prime. Res64: 91496C2CF28D046B Time : 0.0 sec. user=mdettweiler [2018-08-10 06:02:16] 741*2^1520901-1 is not prime. Res64: 69E722FE40283ECE Time : 0.0 sec. user=mdettweiler [2018-08-10 06:02:17] 861*2^1520901-1 is not prime. Res64: 290D9C726EB66BC1 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:02:17] 955*2^1520901-1 is not prime. Res64: FC814A7F42B6734E Time : 0.0 sec. user=mdettweiler [2018-08-10 06:02:18] 611*2^1520902-1 is not prime. Res64: A48F35EFA740ED06 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:02:19] 623*2^1520902-1 is not prime. Res64: 2F7DB5C25C377E8B Time : 0.0 sec. user=mdettweiler [2018-08-10 06:31:38] 657*2^1520902-1 is not prime. Res64: 78072E9E9A6C9DA8 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:31:38] 713*2^1520902-1 is not prime. Res64: 0ED2B94D7BCE9B34 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:31:38] 747*2^1520902-1 is not prime. Res64: 7167FD8AF5437BCC Time : 0.0 sec. user=mdettweiler [2018-08-10 06:31:39] 843*2^1520902-1 is not prime. Res64: 375A1E2DDACE94CD Time : 0.0 sec. user=mdettweiler [2018-08-10 06:31:39] 863*2^1520902-1 is not prime. Res64: 6601108F9627E25F Time : 0.0 sec. user=mdettweiler [2018-08-10 06:42:06] 897*2^1520902-1 is not prime. Res64: F8BE04FD073D0244 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:42:06] 915*2^1520902-1 is not prime. Res64: 5230A19A833B4518 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:42:07] 941*2^1520902-1 is not prime. Res64: A33559CBD3B0B707 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:42:07] 987*2^1520902-1 is not prime. Res64: EB08F3C8B527AFB4 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:42:07] 1001*2^1520902-1 is not prime. Res64: F50B99FB3C7FFF61 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:43:23] 621*2^1520903-1 is not prime. Res64: DD47478E0565E0B3 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:43:24] 673*2^1520903-1 is not prime. Res64: B95356ED6325D2A0 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:43:24] 753*2^1520903-1 is not prime. Res64: 5042FEB7953DDA81 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:43:24] 623*2^1520904-1 is not prime. Res64: F08BF4091F0DE3EC Time : 0.0 sec. user=mdettweiler [2018-08-10 06:43:25] 635*2^1520904-1 is not prime. Res64: C1CDA1AEA4A7BB9E Time : 0.0 sec. user=mdettweiler [2018-08-10 06:53:20] 663*2^1520904-1 is not prime. Res64: 911EA32913021EDD Time : 0.0 sec. user=mdettweiler [2018-08-10 06:53:20] 849*2^1520904-1 is not prime. Res64: BA98D79C9951FE4F Time : 0.0 sec. user=mdettweiler [2018-08-10 06:53:21] 903*2^1520904-1 is not prime. Res64: 28B1158CCFAF9459 Time : 0.0 sec. user=mdettweiler [2018-08-10 06:53:21] 915*2^1520904-1 is not prime. Res64: 3DA53962A8EC07DE Time : 0.0 sec. user=mdettweiler [2018-08-10 06:53:21] 601*2^1520905-1 is not prime. Res64: 8AD57F286B55989A Time : 0.0 sec. user=mdettweiler [2018-08-10 07:22:55] 619*2^1520905-1 is not prime. Res64: C94EE7E915738B41 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:22:55] 741*2^1520905-1 is not prime. Res64: FCD752ED9511F5ED Time : 0.0 sec. user=mdettweiler [2018-08-10 07:22:56] 633*2^1520906-1 is not prime. Res64: E4FD4BD2B1722EDE Time : 0.0 sec. user=mdettweiler [2018-08-10 07:22:56] 743*2^1520906-1 is not prime. Res64: F5BF5D492D7F7E30 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:22:56] 773*2^1520906-1 is not prime. Res64: EFEA97FEE10C8D02 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:33:05] 783*2^1520906-1 is not prime. Res64: E5FB69C399A36012 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:33:06] 813*2^1520906-1 is not prime. Res64: E51BC7CEA3DCFA60 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:33:06] 911*2^1520906-1 is not prime. Res64: B4DC1020D6FE9EEB Time : 0.0 sec. user=mdettweiler [2018-08-10 07:33:07] 935*2^1520906-1 is not prime. Res64: 8D83BFD55C207183 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:33:07] 669*2^1520907-1 is not prime. Res64: 24EADA73328B2ECD Time : 0.0 sec. user=mdettweiler [2018-08-10 07:34:12] 699*2^1520907-1 is not prime. Res64: 2C0FBCD1CCA1D21E Time : 0.0 sec. user=mdettweiler [2018-08-10 07:34:12] 703*2^1520907-1 is not prime. Res64: 0971DFD7A29493D4 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:34:13] 891*2^1520907-1 is not prime. Res64: AE0739B8B7DDEAEA Time : 0.0 sec. user=mdettweiler [2018-08-10 07:34:13] 909*2^1520907-1 is not prime. Res64: 7F320DFDF5D84F23 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:34:13] 743*2^1520908-1 is not prime. Res64: EEF526C3930E25CF Time : 0.0 sec. user=mdettweiler [2018-08-10 07:44:01] 827*2^1520908-1 is not prime. Res64: 78B0D323E9A874F9 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:44:01] 843*2^1520908-1 is not prime. Res64: 43006C2DE36F514F Time : 0.0 sec. user=mdettweiler [2018-08-10 07:44:01] 845*2^1520908-1 is not prime. Res64: DCAD5E2552A74CE9 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:44:02] 875*2^1520908-1 is not prime. Res64: 6A7F9DB120A58223 Time : 0.0 sec. user=mdettweiler [2018-08-10 07:44:02] 899*2^1520908-1 is not prime. Res64: 7A9A481F0C72D2E0 Time : 0.0 sec. user=mdettweiler [2018-08-10 08:13:53] 999*2^1520908-1 is not prime. Res64: 5AD418B1A8F831D3 Time : 0.0 sec. user=mdettweiler [2018-08-10 08:13:54] 615*2^1520909-1 is not prime. Res64: 10629D87E992DA26 Time : 0.0 sec. user=mdettweiler [2018-08-10 08:13:54] 721*2^1520909-1 is not prime. Res64: 2BCAA77EE1B56253 Time : 0.0 sec. user=mdettweiler [2018-08-10 08:13:54] 787*2^1520909-1 is not prime. Res64: 39F34D9D2ADAAD6F Time : 0.0 sec. user=mdettweiler [2018-08-10 08:13:55] 795*2^1520909-1 is not prime. Res64: 00D688A1D61025C2 Time : 0.0 sec. user=mdettweiler [2018-08-10 08:24:00] 831*2^1520909-1 is not prime. Res64: 7AB64C4207E9303C Time : 0.0 sec. user=mdettweiler [2018-08-10 08:24:00] 861*2^1520909-1 is not prime. Res64: 2A3C39FBF7B0B0A5 Time : 0.0 sec. user=mdettweiler [2018-08-10 08:24:00] 889*2^1520909-1 is not prime. Res64: 802C7CC9B955FF9B Time : 0.0 sec. user=mdettweiler [2018-08-10 08:24:01] 927*2^1520909-1 is not prime. Res64: DD03316B95DC8B88 Time : 0.0 sec. user=mdettweiler [2018-08-10 08:24:01] 635*2^1520910-1 is not prime. Res64: A62837CD151979EB Time : 0.0 sec. user=mdettweiler [2018-08-10 08:25:09] 693*2^1520910-1 is not prime. Res64: 3D6CA80764D2F0DC Time : 0.0 sec. user=mdettweiler [2018-08-10 08:25:09] 725*2^1520910-1 is not prime. Res64: CE4911B8D91A160C Time : 0.0 sec. user=mdettweiler [2018-08-10 08:25:10] 755*2^1520910-1 is not prime. Res64: 46DE26CE9CA2ACAD Time : 0.0 sec. user=mdettweiler [2018-08-10 08:25:10] 945*2^1520910-1 is not prime. Res64: 47FF04A61F00DA4E Time : 0.0 sec. user=mdettweiler [2018-08-10 08:25:11] 963*2^1520910-1 is not prime. Res64: F95EEADADB6B51A2 Time : 0.0 sec. user=mdettweiler [2018-08-10 08:34:50] 723*2^1520911-1 is not prime. Res64: EE928D5CA23793A6 Time : 0.0 sec. user=mdettweiler [2018-08-10 08:34:50] 745*2^1520911-1 is not prime. Res64: 5637782ADD268095 Time : 0.0 sec. user=mdettweiler [2018-08-10 08:34:51] 855*2^1520911-1 is not prime. Res64: DC7EF27513C2874B Time : 0.0 sec. user=mdettweiler [2018-08-10 08:34:51] 931*2^1520911-1 is not prime. Res64: 2C0EB13AC81F21CE Time : 0.0 sec. user=mdettweiler [2018-08-10 08:34:52] 605*2^1520912-1 is not prime. Res64: 928CF13B5BA0B074 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:05:01] 867*2^1520912-1 is not prime. Res64: 16E5CAC1F604227F Time : 0.0 sec. user=mdettweiler [2018-08-10 09:05:02] 923*2^1520912-1 is not prime. Res64: B2A6CFAAE88725BF Time : 0.0 sec. user=mdettweiler [2018-08-10 09:05:03] 675*2^1520913-1 is not prime. Res64: D126F7FDEAEBF790 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:05:04] 727*2^1520913-1 is not prime. Res64: BFC06D00D2AA657C Time : 0.0 sec. user=mdettweiler [2018-08-10 09:05:05] 745*2^1520913-1 is not prime. Res64: 5FB284D21D55A7BF Time : 0.0 sec. user=mdettweiler [2018-08-10 09:15:16] 765*2^1520913-1 is not prime. Res64: DDEE56909BEDD7F9 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:15:17] 755*2^1520914-1 is not prime. Res64: 952582DF6E3AEEE1 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:15:17] 891*2^1520914-1 is not prime. Res64: B65C4EEB16619BF6 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:15:18] 843*2^1520915-1 is not prime. Res64: 12BEF4D7914291F8 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:15:20] 883*2^1520915-1 is not prime. Res64: 656FD28EDB852A15 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:17:45] 885*2^1520915-1 is not prime. Res64: 7F91C342B3B90242 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:17:46] 647*2^1520916-1 is not prime. Res64: 00234E62ADB48062 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:17:46] 759*2^1520916-1 is not prime. Res64: B3E6B2E6869E5203 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:17:46] 843*2^1520916-1 is not prime. Res64: A0436BCF1A3FC292 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:17:47] 609*2^1520917-1 is not prime. Res64: 9DE2337B3CF2677C Time : 0.0 sec. user=mdettweiler [2018-08-10 09:26:36] 615*2^1520917-1 is not prime. Res64: A3C19AB6D8AABE18 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:26:36] 625*2^1520917-1 is not prime. Res64: EC77CC42664F28D8 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:26:37] 649*2^1520917-1 is not prime. Res64: 6AA7522F4A24F76F Time : 0.0 sec. user=mdettweiler [2018-08-10 09:26:37] 727*2^1520917-1 is not prime. Res64: 3D2A79BBC8C9A6BD Time : 0.0 sec. user=mdettweiler [2018-08-10 09:26:37] 751*2^1520917-1 is not prime. Res64: B165B9455D8D0FCA Time : 0.0 sec. user=mdettweiler [2018-08-10 09:59:02] 801*2^1520917-1 is not prime. Res64: B4578DE1740C3C02 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:59:02] 937*2^1520917-1 is not prime. Res64: 9726BBBA3200B9B4 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:59:02] 945*2^1520917-1 is not prime. Res64: 8C88D6FD83D9E805 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:59:03] 627*2^1520918-1 is not prime. Res64: 2A7E911985A574B9 Time : 0.0 sec. user=mdettweiler [2018-08-10 09:59:03] 641*2^1520918-1 is not prime. Res64: F65896CEC1D10605 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:08:47] 731*2^1520918-1 is not prime. Res64: 7165CBFF3F6AEFE6 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:08:48] 953*2^1520918-1 is not prime. Res64: 932430D2BC49EB43 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:08:48] 971*2^1520918-1 is not prime. Res64: 970AD2E17641CC71 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:08:49] 663*2^1520919-1 is not prime. Res64: C899A7CFAA91061E Time : 0.0 sec. user=mdettweiler [2018-08-10 10:08:49] 711*2^1520919-1 is not prime. Res64: 6F35D8951EC3B304 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:11:20] 735*2^1520919-1 is not prime. Res64: 4CBA94E065B5EA51 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:11:21] 789*2^1520919-1 is not prime. Res64: B3BBCDA709A683DB Time : 0.0 sec. user=mdettweiler [2018-08-10 10:11:21] 829*2^1520919-1 is not prime. Res64: AF3CD24C32BAE16C Time : 0.0 sec. user=mdettweiler [2018-08-10 10:11:21] 985*2^1520919-1 is not prime. Res64: 002AA37F8CFFF750 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:11:22] 635*2^1520920-1 is not prime. Res64: 22D4772C6771929F Time : 0.0 sec. user=mdettweiler [2018-08-10 10:20:44] 653*2^1520920-1 is not prime. Res64: F95A92B0C9DF7BBD Time : 0.0 sec. user=mdettweiler [2018-08-10 10:20:44] 677*2^1520920-1 is not prime. Res64: 892F10BC65D1217A Time : 0.0 sec. user=mdettweiler [2018-08-10 10:20:44] 615*2^1520921-1 is not prime. Res64: 6FBBEFB3FCF3D037 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:20:45] 619*2^1520921-1 is not prime. Res64: 12870193873F34D5 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:20:45] 657*2^1520921-1 is not prime. Res64: 4E2916D4871DC5A9 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:51:08] 735*2^1520921-1 is not prime. Res64: A1EC5502C58692AB Time : 0.0 sec. user=mdettweiler [2018-08-10 10:51:09] 811*2^1520921-1 is not prime. Res64: C94B94C2352A49DC Time : 0.0 sec. user=mdettweiler [2018-08-10 10:51:09] 819*2^1520921-1 is not prime. Res64: DB38E9B2FAC3547B Time : 0.0 sec. user=mdettweiler [2018-08-10 10:51:10] 865*2^1520921-1 is not prime. Res64: 4F05144CCCA743C2 Time : 0.0 sec. user=mdettweiler [2018-08-10 10:51:10] 885*2^1520921-1 is not prime. Res64: A9912C33985AEFBC Time : 0.0 sec. user=mdettweiler [2018-08-10 11:00:29] 949*2^1520921-1 is not prime. Res64: 29A4EE3AF2F04C8D Time : 0.0 sec. user=mdettweiler [2018-08-10 11:00:30] 803*2^1520922-1 is not prime. Res64: DD296594F65C7131 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:00:31] 837*2^1520922-1 is not prime. Res64: B03C1E2CC2690AF2 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:00:32] 873*2^1520922-1 is not prime. Res64: B9BAFF8C3DC5238D Time : 0.0 sec. user=mdettweiler [2018-08-10 11:00:33] 923*2^1520922-1 is not prime. Res64: 1A91B1C6FD2BEC3B Time : 0.0 sec. user=mdettweiler [2018-08-10 11:03:05] 945*2^1520922-1 is not prime. Res64: E7BC84CF9C9664EE Time : 0.0 sec. user=mdettweiler [2018-08-10 11:03:06] 615*2^1520923-1 is not prime. Res64: FBFAF781CBD38AE0 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:03:07] 681*2^1520923-1 is not prime. Res64: 03833E3A9FFE7796 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:03:08] 765*2^1520923-1 is not prime. Res64: AF6D79E52EA25451 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:03:09] 771*2^1520923-1 is not prime. Res64: EE89AD5E160D4B4A Time : 0.0 sec. user=mdettweiler [2018-08-10 11:11:49] 783*2^1520923-1 is not prime. Res64: 364BDB137AE8F9EC Time : 0.0 sec. user=mdettweiler [2018-08-10 11:11:49] 853*2^1520923-1 is not prime. Res64: EB6F9A38BA957DC3 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:11:49] 855*2^1520923-1 is not prime. Res64: AD6A3D188EAC9FD9 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:11:50] 861*2^1520923-1 is not prime. Res64: F62CDA7AC9F78EF5 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:11:50] 973*2^1520923-1 is not prime. Res64: 8A2B0BD1CD25F42F Time : 0.0 sec. user=mdettweiler [2018-08-10 11:42:29] 615*2^1520924-1 is not prime. Res64: BC80FFEA16084FB8 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:42:30] 635*2^1520924-1 is not prime. Res64: E63D8CDD1A5CC7D8 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:42:30] 663*2^1520924-1 is not prime. Res64: 9C77FA11C82511B5 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:42:31] 677*2^1520924-1 is not prime. Res64: 1B4C2DC9CA4FCE6F Time : 0.0 sec. user=mdettweiler [2018-08-10 11:42:31] 803*2^1520924-1 is not prime. Res64: EFC53359946911E1 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:54:41] 837*2^1520924-1 is not prime. Res64: 54D6E039AC82D11D Time : 0.0 sec. user=mdettweiler [2018-08-10 11:54:41] 897*2^1520924-1 is not prime. Res64: BEE8F309F085E339 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:54:42] 945*2^1520924-1 is not prime. Res64: 6669D4C1BBD26C20 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:54:42] 649*2^1520925-1 is not prime. Res64: F4DFF92895E56AF3 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:54:42] 765*2^1520925-1 is not prime. Res64: 776325FA836FB534 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:56:28] 777*2^1520925-1 is not prime. Res64: CFB43E46A5383A95 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:56:29] 877*2^1520925-1 is not prime. Res64: FD7D29DDC800A462 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:56:29] 891*2^1520925-1 is not prime. Res64: 9BBB9110FCEC61C3 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:56:29] 955*2^1520925-1 is not prime. Res64: 463813FB75A5D2A4 Time : 0.0 sec. user=mdettweiler [2018-08-10 11:56:30] 743*2^1520926-1 is not prime. Res64: 05F7AF490D18C9A4 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:04:25] 945*2^1520926-1 is not prime. Res64: B2496C8228589125 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:04:27] 975*2^1520926-1 is not prime. Res64: D48402E3715688AF Time : 0.0 sec. user=mdettweiler [2018-08-10 12:04:29] 987*2^1520926-1 is not prime. Res64: A5ABBD87C9688FF1 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:04:30] 619*2^1520927-1 is not prime. Res64: 36B9D316C2314961 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:04:31] 649*2^1520927-1 is not prime. Res64: AC6FB4077390F629 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:38:19] 775*2^1520927-1 is not prime. Res64: F57E96793B80A7A6 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:38:19] 831*2^1520927-1 is not prime. Res64: 5421E0B5463417B6 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:38:20] 999*2^1520927-1 is not prime. Res64: 71EADBDA406CA401 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:38:20] 615*2^1520928-1 is not prime. Res64: 7EEF2B5BF51F36BD Time : 0.0 sec. user=mdettweiler [2018-08-10 12:38:20] 669*2^1520928-1 is not prime. Res64: 74C36C7BD9443AB1 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:50:27] 695*2^1520928-1 is not prime. Res64: E43210355CD37FF7 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:50:28] 809*2^1520928-1 is not prime. Res64: 1FE8D32E85DD2E1D Time : 0.0 sec. user=mdettweiler [2018-08-10 12:50:28] 839*2^1520928-1 is not prime. Res64: CEC2996B86CDAE24 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:50:28] 639*2^1520929-1 is not prime. Res64: C938BB9A48C42FCD Time : 0.0 sec. user=mdettweiler [2018-08-10 12:50:29] 691*2^1520929-1 is not prime. Res64: C0D69D6F3084BF2F Time : 0.0 sec. user=mdettweiler [2018-08-10 12:51:48] 771*2^1520929-1 is not prime. Res64: A4F5153935948093 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:51:49] 775*2^1520929-1 is not prime. Res64: 891ACD5F6BBFC92B Time : 0.0 sec. user=mdettweiler [2018-08-10 12:51:49] 817*2^1520929-1 is not prime. Res64: 3A686A9336625748 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:51:49] 835*2^1520929-1 is not prime. Res64: 189B1876C6D347BB Time : 0.0 sec. user=mdettweiler [2018-08-10 12:51:50] 861*2^1520929-1 is not prime. Res64: FF350647514C36AB Time : 0.0 sec. user=mdettweiler [2018-08-10 12:58:14] 945*2^1520929-1 is not prime. Res64: F474B0EB424BD213 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:58:14] 975*2^1520929-1 is not prime. Res64: 219A9AC8BEC487D1 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:58:15] 985*2^1520929-1 is not prime. Res64: 7C7BC7B385123336 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:58:15] 605*2^1520930-1 is not prime. Res64: DD3410759F1B5B46 Time : 0.0 sec. user=mdettweiler [2018-08-10 12:58:15] 701*2^1520930-1 is not prime. Res64: 8A82D121D0344A79 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:29:43] 711*2^1520930-1 is not prime. Res64: 0A9FC0BF15880739 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:29:44] 875*2^1520930-1 is not prime. Res64: 98C49251DC5B5FE5 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:29:44] 945*2^1520930-1 is not prime. Res64: 37308869916B4932 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:29:44] 971*2^1520930-1 is not prime. Res64: EF0847A3F15A7F63 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:29:45] 615*2^1520931-1 is not prime. Res64: 21ABB6CC90FBB98C Time : 0.0 sec. user=mdettweiler [2018-08-10 13:41:46] 703*2^1520931-1 is not prime. Res64: 396792D5F7680EFE Time : 0.0 sec. user=mdettweiler [2018-08-10 13:41:46] 723*2^1520931-1 is not prime. Res64: 854ABF463DA7475E Time : 0.0 sec. user=mdettweiler [2018-08-10 13:41:47] 801*2^1520931-1 is not prime. Res64: D9B4EBC3C8BB4752 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:41:47] 825*2^1520931-1 is not prime. Res64: CA6755D14B3EA29C Time : 0.0 sec. user=mdettweiler [2018-08-10 13:41:48] 849*2^1520931-1 is not prime. Res64: 330B83845F747E49 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:43:26] 999*2^1520931-1 is not prime. Res64: C75E0042DF82A383 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:43:26] 723*2^1520932-1 is not prime. Res64: 347D9C54E8A3CEAC Time : 0.0 sec. user=mdettweiler [2018-08-10 13:43:27] 777*2^1520932-1 is not prime. Res64: 658510678C5C4FAF Time : 0.0 sec. user=mdettweiler [2018-08-10 13:43:27] 965*2^1520932-1 is not prime. Res64: 35FD559CF9369D27 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:43:27] 697*2^1520933-1 is not prime. Res64: C86BDD53650E75C0 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:55:01] 727*2^1520933-1 is not prime. Res64: A5C05699ABCACE45 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:55:02] 741*2^1520933-1 is not prime. Res64: 83E9A3AEE8B03C77 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:55:02] 847*2^1520933-1 is not prime. Res64: 45957C1239C18937 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:55:03] 889*2^1520933-1 is not prime. Res64: 37D9C1BA84939735 Time : 0.0 sec. user=mdettweiler [2018-08-10 13:55:03] 773*2^1520934-1 is not prime. Res64: 88728A1956E47166 Time : 0.0 sec. user=mdettweiler [2018-08-10 14:23:13] 851*2^1520934-1 is not prime. Res64: 757D1EFAE62A1230 Time : 0.0 sec. user=mdettweiler [2018-08-10 14:23:13] 619*2^1520935-1 is not prime. Res64: A13ED189D1D7252B Time : 0.0 sec. user=mdettweiler [2018-08-10 14:23:14] 759*2^1520935-1 is not prime. Res64: D95067F6367A009E Time : 0.0 sec. user=mdettweiler [2018-08-10 14:23:14] 873*2^1520935-1 is not prime. Res64: 0834CE5650BC5790 Time : 0.0 sec. user=mdettweiler [2018-08-10 14:23:15] 909*2^1520935-1 is not prime. Res64: 9C4475F19DD0BEAF Time : 0.0 sec. user=mdettweiler [2018-08-10 14:32:46] 985*2^1520935-1 is not prime. Res64: 8778AF96B8825891 Time : 0.0 sec. user=mdettweiler [2018-08-10 14:32:46] 633*2^1520936-1 is not prime. Res64: 33E4C5259DF8D23A Time : 0.0 sec. user=mdettweiler [2018-08-10 14:32:47] 657*2^1520936-1 is not prime. Res64: C6591A5F5E244AFF Time : 0.0 sec. user=mdettweiler [2018-08-10 14:32:47] 755*2^1520936-1 is not prime. Res64: 0DCBC8D9BAA695B1 Time : 0.0 sec. user=mdettweiler [2018-08-10 14:32:47] 759*2^1520936-1 is not prime. Res64: 7E6D4F1D88CAA63A Time : 0.0 sec. user=mdettweiler [2018-08-10 14:36:48] 957*2^1520936-1 is not prime. Res64: 32F799CC46F84404 Time : 0.0 sec. user=mdettweiler [2018-08-10 14:36:48] 963*2^1520936-1 is not prime. Res64: F0C97950DEAF046A Time : 0.0 sec. user=mdettweiler [2018-08-10 14:36:49] 609*2^1520937-1 is not prime. Res64: BF07162BE89FE069 Time : 0.0 sec. user=mdettweiler [2018-08-10 14:36:49] 685*2^1520937-1 is not prime. Res64: 7D822493E7B42BBA Time : 0.0 sec. user=mdettweiler [2018-08-10 14:36:49] 741*2^1520937-1 is not prime. Res64: 355A6F96B0161066 Time : 0.0 sec. user=mdettweiler [2018-08-10 14:46:01] 751*2^1520937-1 is not prime. Res64: 345E88B9158F5DD9 Time : 0.0 sec. user=mdettweiler [2018-08-10 14:46:02] 831*2^1520937-1 is not prime. Res64: 909C765311AC3588 Time : 0.0 sec. user=mdettweiler [2018-08-10 14:46:02] 847*2^1520937-1 is not prime. Res64: 05ACDD2BA9A761DA Time : 0.0 sec. user=mdettweiler [2018-08-10 14:46:02] 895*2^1520937-1 is not prime. Res64: 5E6E8BDFD0D4011E Time : 0.0 sec. user=mdettweiler [2018-08-10 14:46:03] 677*2^1520938-1 is not prime. Res64: ADE15E0B47E1BA1A Time : 0.0 sec. user=mdettweiler [2018-08-10 15:14:21] 755*2^1520938-1 is not prime. Res64: 085C7B4F7B02D8FE Time : 0.0 sec. user=mdettweiler [2018-08-10 15:14:22] 843*2^1520938-1 is not prime. Res64: 284C8BBDD35A419D Time : 0.0 sec. user=mdettweiler [2018-08-10 15:14:22] 915*2^1520938-1 is not prime. Res64: 8186D57E38E800DE Time : 0.0 sec. user=mdettweiler [2018-08-10 15:14:23] 945*2^1520938-1 is not prime. Res64: 49585C145359F44D Time : 0.0 sec. user=mdettweiler [2018-08-10 15:14:23] 615*2^1520939-1 is not prime. Res64: 6759F06E533DC4FD Time : 0.0 sec. user=mdettweiler [2018-08-10 15:26:25] 619*2^1520939-1 is not prime. Res64: F6AD1232817F4B0C Time : 0.0 sec. user=mdettweiler [2018-08-10 15:26:25] 645*2^1520939-1 is not prime. Res64: E8C8BDB993CF8C9B Time : 0.0 sec. user=mdettweiler [2018-08-10 15:26:26] 703*2^1520939-1 is not prime. Res64: 634B363BCFF96F21 Time : 0.0 sec. user=mdettweiler [2018-08-10 15:26:26] 813*2^1520939-1 is not prime. Res64: 7E6DC1E2343D4881 Time : 0.0 sec. user=mdettweiler [2018-08-10 15:26:26] 843*2^1520939-1 is not prime. Res64: 01A85190D866091D Time : 0.0 sec. user=mdettweiler [2018-08-10 15:28:16] 979*2^1520939-1 is not prime. Res64: 682EBB3FA1FF1987 Time : 0.0 sec. user=mdettweiler [2018-08-10 15:28:17] 633*2^1520940-1 is not prime. Res64: 5265B0CBC8102B81 Time : 0.0 sec. user=mdettweiler [2018-08-10 15:28:17] 669*2^1520940-1 is not prime. Res64: 4DF0292A90B77FC8 Time : 0.0 sec. user=mdettweiler [2018-08-10 15:28:17] 675*2^1520940-1 is not prime. Res64: CF69D6C1ED52085E Time : 0.0 sec. user=mdettweiler [2018-08-10 15:28:18] 797*2^1520940-1 is not prime. Res64: F3886F1A2A7D2B66 Time : 0.0 sec. user=mdettweiler [2018-08-10 15:37:15] 825*2^1520940-1 is not prime. Res64: 42C749F41019DE9E Time : 0.0 sec. user=mdettweiler [2018-08-10 15:37:15] 875*2^1520940-1 is not prime. Res64: 8ADE84DA5C9BDE62 Time : 0.0 sec. user=mdettweiler [2018-08-10 15:37:16] 983*2^1520940-1 is not prime. Res64: A9CF694D77306291 Time : 0.0 sec. user=mdettweiler [2018-08-10 15:37:16] 651*2^1520941-1 is not prime. Res64: 4F9B02F7390CEE02 Time : 0.0 sec. user=mdettweiler [2018-08-10 15:37:16] 715*2^1520941-1 is not prime. Res64: 3E269994AD2E0476 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:05:54] 775*2^1520941-1 is not prime. Res64: 95A1365CFD70A1C2 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:05:57] 871*2^1520941-1 is not prime. Res64: CD06B90D118D7345 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:05:59] 665*2^1520942-1 is not prime. Res64: EBB7CC276650B43E Time : 0.0 sec. user=mdettweiler [2018-08-10 16:06:02] 677*2^1520942-1 is not prime. Res64: 78F378409A4CFC55 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:06:04] 785*2^1520942-1 is not prime. Res64: 0B43C83CB768381E Time : 0.0 sec. user=mdettweiler [2018-08-10 16:19:49] 791*2^1520942-1 is not prime. Res64: AD781D3AF4F265A9 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:19:50] 801*2^1520942-1 is not prime. Res64: 6E8E38B391527632 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:19:50] 921*2^1520942-1 is not prime. Res64: 89E27B16997E990B Time : 0.0 sec. user=mdettweiler [2018-08-10 16:19:50] 843*2^1520942-1 is not prime. Res64: 6BF7BB53C8F6C67D Time : 0.0 sec. user=mdettweiler [2018-08-10 16:19:50] 649*2^1520943-1 is not prime. Res64: DE91AA591A2F0133 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:19:50] 873*2^1520942-1 is not prime. Res64: 61406B40F9CC75C9 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:19:51] 685*2^1520943-1 is not prime. Res64: 37A5C6DE39146819 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:19:51] 911*2^1520942-1 is not prime. Res64: 8F68FAFB4C87DD4E Time : 0.0 sec. user=mdettweiler [2018-08-10 16:19:51] 705*2^1520943-1 is not prime. Res64: 6C143583C45CB454 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:19:51] 789*2^1520943-1 is not prime. Res64: 87A22507550255BD Time : 0.0 sec. user=mdettweiler [2018-08-10 16:30:50] 823*2^1520943-1 is not prime. Res64: C9B7078AD801D6CD Time : 0.0 sec. user=mdettweiler [2018-08-10 16:30:50] 853*2^1520943-1 is not prime. Res64: 68B3F4051E245270 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:30:51] 873*2^1520943-1 is not prime. Res64: 1618144F980C786A Time : 0.0 sec. user=mdettweiler [2018-08-10 16:30:51] 719*2^1520944-1 is not prime. Res64: AC6CF9991D8BBF77 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:30:51] 887*2^1520944-1 is not prime. Res64: 782E589176A9B90D Time : 0.0 sec. user=mdettweiler [2018-08-10 16:57:37] 909*2^1520944-1 is not prime. Res64: E93AF5855141DEED Time : 0.0 sec. user=mdettweiler [2018-08-10 16:57:37] 915*2^1520944-1 is not prime. Res64: 319F00DFCEA7F4A0 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:57:38] 969*2^1520944-1 is not prime. Res64: F3DAC26F847BF917 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:57:38] 601*2^1520945-1 is not prime. Res64: E2D46E0B311B72D8 Time : 0.0 sec. user=mdettweiler [2018-08-10 16:57:38] 735*2^1520945-1 is not prime. Res64: 460FBD03AA2B1FCC Time : 0.0 sec. user=mdettweiler [2018-08-10 17:11:05] 811*2^1520945-1 is not prime. Res64: A350BF1F3CBD8778 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:11:05] 831*2^1520945-1 is not prime. Res64: D960D957C4596B49 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:11:06] 837*2^1520945-1 is not prime. Res64: 164FD547507506BA Time : 0.0 sec. user=mdettweiler [2018-08-10 17:11:06] 981*2^1520945-1 is not prime. Res64: B1D2C802FCBCE5E3 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:11:06] 611*2^1520946-1 is not prime. Res64: 4D5DDBA6C20863E1 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:11:08] 841*2^1520945-1 is not prime. Res64: 8F33B9FF03595FBA Time : 0.0 sec. user=mdettweiler [2018-08-10 17:11:08] 861*2^1520945-1 is not prime. Res64: 1C86E704974A5F99 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:11:09] 907*2^1520945-1 is not prime. Res64: 9656ED7C439E9EBE Time : 0.0 sec. user=mdettweiler [2018-08-10 17:11:09] 949*2^1520945-1 is not prime. Res64: 3D68421A933CB1E9 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:11:09] 969*2^1520945-1 is not prime. Res64: 112512A4F858E4F6 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:23:27] 683*2^1520946-1 is not prime. Res64: 3FD82656F02E8370 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:23:28] 765*2^1520946-1 is not prime. Res64: 3525F5E23FE5EE5B Time : 0.0 sec. user=mdettweiler [2018-08-10 17:23:28] 777*2^1520946-1 is not prime. Res64: 8D9E32A647EE3C85 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:23:28] 921*2^1520946-1 is not prime. Res64: B3355323530B20A3 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:23:29] 945*2^1520946-1 is not prime. Res64: D6346D163FF0F578 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:48:53] 673*2^1520947-1 is not prime. Res64: ED0084A98C4BA6CC Time : 0.0 sec. user=mdettweiler [2018-08-10 17:48:54] 835*2^1520947-1 is not prime. Res64: BE1DA869F1960C1F Time : 0.0 sec. user=mdettweiler [2018-08-10 17:48:54] 889*2^1520947-1 is not prime. Res64: 16879F98F19BCACE Time : 0.0 sec. user=mdettweiler [2018-08-10 17:48:54] 915*2^1520947-1 is not prime. Res64: 7892B513F34B2590 Time : 0.0 sec. user=mdettweiler [2018-08-10 17:48:55] 919*2^1520947-1 is not prime. Res64: 9A64AFA3BC21062B Time : 0.0 sec. user=mdettweiler [2018-08-10 18:01:58] 975*2^1520947-1 is not prime. Res64: 9CA17BDB91D17D43 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:01:59] 711*2^1520949-1 is not prime. Res64: A13DA84A5F91ADE0 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:02:00] 727*2^1520949-1 is not prime. Res64: 16EE6A8FEFA8B1AE Time : 0.0 sec. user=mdettweiler [2018-08-10 18:02:00] 665*2^1520948-1 is not prime. Res64: 477954F22AE54DAA Time : 0.0 sec. user=mdettweiler [2018-08-10 18:02:00] 745*2^1520949-1 is not prime. Res64: 3CC6AFF623BEC0A5 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:02:01] 811*2^1520949-1 is not prime. Res64: D9DC44E746696BE6 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:02:02] 889*2^1520949-1 is not prime. Res64: CA9BAF914855FED9 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:02:02] 789*2^1520948-1 is not prime. Res64: 08ED57B03C6737A2 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:02:03] 995*2^1520948-1 is not prime. Res64: 99C16AA6FFEF437B Time : 0.0 sec. user=mdettweiler [2018-08-10 18:02:04] 625*2^1520949-1 is not prime. Res64: B3E6ED51B6604F9E Time : 0.0 sec. user=mdettweiler [2018-08-10 18:14:16] 891*2^1520949-1 is not prime. Res64: 3E18584A5DD52E56 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:14:16] 895*2^1520949-1 is not prime. Res64: 3A72F394D82633E9 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:14:17] 919*2^1520949-1 is not prime. Res64: 04DBE8FBD15080E4 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:14:17] 997*2^1520949-1 is not prime. Res64: 9F564A4CDEE2023C Time : 0.0 sec. user=mdettweiler [2018-08-10 18:14:17] 657*2^1520950-1 is not prime. Res64: C24F88EAEFAF3B9D Time : 0.0 sec. user=mdettweiler [2018-08-10 18:39:46] 777*2^1520950-1 is not prime. Res64: 3450A484BC4B084E Time : 0.0 sec. user=mdettweiler [2018-08-10 18:39:47] 873*2^1520950-1 is not prime. Res64: 69C8D6C194A678FA Time : 0.0 sec. user=mdettweiler [2018-08-10 18:39:47] 917*2^1520950-1 is not prime. Res64: AB8BB838FBA1615A Time : 0.0 sec. user=mdettweiler [2018-08-10 18:39:48] 945*2^1520950-1 is not prime. Res64: 69E8AF3A56F344D3 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:39:48] 711*2^1520951-1 is not prime. Res64: 55A1AF5530B00EBA Time : 0.0 sec. user=mdettweiler [2018-08-10 18:52:52] 735*2^1520951-1 is not prime. Res64: DA9815E350110D1B Time : 0.0 sec. user=mdettweiler [2018-08-10 18:52:53] 855*2^1520951-1 is not prime. Res64: FAE9E8E3CC2B2631 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:52:53] 859*2^1520951-1 is not prime. Res64: E89F8D788015F5B7 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:52:53] 909*2^1520951-1 is not prime. Res64: 619B3117E5AC860D Time : 0.0 sec. user=mdettweiler [2018-08-10 18:52:54] 913*2^1520951-1 is not prime. Res64: 5169C034E00C942B Time : 0.0 sec. user=mdettweiler [2018-08-10 18:53:08] 629*2^1520952-1 is not prime. Res64: 60E735D3FAC23A44 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:53:09] 693*2^1520952-1 is not prime. Res64: 8F9CE22B49BF46B2 Time : 0.0 sec. user=mdettweiler [2018-08-10 18:53:09] 767*2^1520952-1 is not prime. Res64: 0D2802FC87A0571C Time : 0.0 sec. user=mdettweiler [2018-08-10 18:53:10] 947*2^1520952-1 is not prime. Res64: 8BFE534D4804CA7C Time : 0.0 sec. user=mdettweiler [2018-08-10 18:53:10] 983*2^1520952-1 is not prime. Res64: 50C4A9BFD3B3FB37 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:05:20] 609*2^1520953-1 is not prime. Res64: A32E47EF7DE6BDE1 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:05:21] 835*2^1520953-1 is not prime. Res64: 888B44282A81EE2A Time : 0.0 sec. user=mdettweiler [2018-08-10 19:05:22] 855*2^1520953-1 is not prime. Res64: 00FF5B6B07DC468C Time : 0.0 sec. user=mdettweiler [2018-08-10 19:05:24] 937*2^1520953-1 is not prime. Res64: 16E0C986DE1C6BEC Time : 0.0 sec. user=mdettweiler [2018-08-10 19:05:25] 955*2^1520953-1 is not prime. Res64: A63D439D88D50053 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:31:24] 707*2^1520954-1 is not prime. Res64: 08E7422101ADF549 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:31:24] 825*2^1520954-1 is not prime. Res64: D590288D98319823 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:31:25] 851*2^1520954-1 is not prime. Res64: 40594FBD05884EDA Time : 0.0 sec. user=mdettweiler [2018-08-10 19:31:25] 861*2^1520954-1 is not prime. Res64: 8765226979037836 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:31:26] 981*2^1520954-1 is not prime. Res64: ED72C593E2241114 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:44:21] 995*2^1520954-1 is not prime. Res64: F38D59823C5A57CA Time : 0.0 sec. user=mdettweiler [2018-08-10 19:44:21] 601*2^1520955-1 is not prime. Res64: AFF7D31B57AA680F Time : 0.0 sec. user=mdettweiler [2018-08-10 19:44:22] 801*2^1520955-1 is not prime. Res64: D40F15E8117D9690 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:44:22] 819*2^1520955-1 is not prime. Res64: 0B26C01711349108 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:44:23] 861*2^1520955-1 is not prime. Res64: 692DFB7AB1186B1E Time : 0.0 sec. user=mdettweiler [2018-08-10 19:44:31] 871*2^1520955-1 is not prime. Res64: 03F7F067F0211F15 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:44:31] 895*2^1520955-1 is not prime. Res64: DC8B243DF76EF4D7 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:44:32] 903*2^1520955-1 is not prime. Res64: 19E6F02CAA2D953F Time : 0.0 sec. user=mdettweiler [2018-08-10 19:44:32] 963*2^1520955-1 is not prime. Res64: EFFF89052099A186 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:44:33] 973*2^1520955-1 is not prime. Res64: F4C2D2B22899BCE5 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:57:09] 979*2^1520955-1 is not prime. Res64: 283BC8D0DA96D6FA Time : 0.0 sec. user=mdettweiler [2018-08-10 19:57:09] 609*2^1520956-1 is not prime. Res64: DF055AAAA4BA2281 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:57:09] 699*2^1520956-1 is not prime. Res64: 0D4F9ADC8AE8D148 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:57:10] 783*2^1520956-1 is not prime. Res64: 617711B0C52F5779 Time : 0.0 sec. user=mdettweiler [2018-08-10 19:57:10] 825*2^1520956-1 is not prime. Res64: 8130F370750DBC3A Time : 0.0 sec. user=mdettweiler [2018-08-10 20:22:23] 933*2^1520956-1 is not prime. Res64: E1E1B74FB0725AB4 Time : 0.0 sec. user=mdettweiler [2018-08-10 20:22:23] 999*2^1520956-1 is not prime. Res64: 1114C2662AAFF1A7 Time : 0.0 sec. user=mdettweiler [2018-08-10 20:22:24] 615*2^1520957-1 is not prime. Res64: C29B8280C14BF23C Time : 0.0 sec. user=mdettweiler [2018-08-10 20:22:24] 711*2^1520957-1 is not prime. Res64: F0F36F36D6C62D0B Time : 0.0 sec. user=mdettweiler [2018-08-10 20:22:25] 759*2^1520957-1 is not prime. Res64: C6C687C4881DDA3D Time : 0.0 sec. user=mdettweiler [2018-08-10 20:35:17] 837*2^1520957-1 is not prime. Res64: 15016981EE8744AE Time : 0.0 sec. user=mdettweiler [2018-08-10 20:35:18] 925*2^1520957-1 is not prime. Res64: 5C7F2EB875D9D015 Time : 0.0 sec. user=mdettweiler [2018-08-10 20:35:18] 611*2^1520958-1 is not prime. Res64: 6909EBAB80C209AB Time : 0.0 sec. user=mdettweiler [2018-08-10 20:35:18] 627*2^1520958-1 is not prime. Res64: A78285AD58BA53FD Time : 0.0 sec. user=mdettweiler [2018-08-10 20:35:19] 635*2^1520958-1 is not prime. Res64: 8BBDE56252CEF66E Time : 0.0 sec. user=mdettweiler [2018-08-10 20:35:25] 705*2^1520958-1 is not prime. Res64: B03D0DFD2DFC1148 Time : 0.0 sec. user=mdettweiler [2018-08-10 20:35:26] 707*2^1520958-1 is not prime. Res64: 2338D226517C650E Time : 0.0 sec. user=mdettweiler [2018-08-10 20:35:26] 713*2^1520958-1 is not prime. Res64: 9F42C11EAFFF464E Time : 0.0 sec. user=mdettweiler [2018-08-10 20:35:27] 765*2^1520958-1 is not prime. Res64: 206300F515812E37 Time : 0.0 sec. user=mdettweiler [2018-08-10 20:35:27] 791*2^1520958-1 is not prime. Res64: 2284D6C9ED430034 Time : 0.0 sec. user=mdettweiler [2018-08-10 20:47:57] 685*2^1520959-1 is not prime. Res64: 7BB585E647151F20 Time : 0.0 sec. user=mdettweiler [2018-08-10 20:47:57] 703*2^1520959-1 is not prime. Res64: 315E3F6469160C4A Time : 0.0 sec. user=mdettweiler [2018-08-10 20:47:58] 741*2^1520959-1 is not prime. Res64: 857F4009FBB7946D Time : 0.0 sec. user=mdettweiler [2018-08-10 20:47:58] 745*2^1520959-1 is not prime. Res64: 6704A8B904A6EDD8 Time : 0.0 sec. user=mdettweiler [2018-08-10 20:47:59] 763*2^1520959-1 is not prime. Res64: CC44E6FAE2176148 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:13:14] 853*2^1520959-1 is not prime. Res64: C49298333D1A4F10 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:13:14] 861*2^1520959-1 is not prime. Res64: 8472D7E7104A07E4 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:13:15] 969*2^1520959-1 is not prime. Res64: 46DC2B8AB3FB031D Time : 0.0 sec. user=mdettweiler [2018-08-10 21:13:15] 797*2^1520960-1 is not prime. Res64: 5B3548141511401C Time : 0.0 sec. user=mdettweiler [2018-08-10 21:13:15] 705*2^1520961-1 is not prime. Res64: 709A2361932F06AC Time : 0.0 sec. user=mdettweiler [2018-08-10 21:26:19] 865*2^1520961-1 is not prime. Res64: 648F87214D2903B6 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:26:19] 937*2^1520961-1 is not prime. Res64: C10045901EB15959 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:26:20] 717*2^1520962-1 is not prime. Res64: D68AC5AEDC41B7C9 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:26:20] 727*2^1520961-1 is not prime. Res64: 2EF971049F5AD695 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:26:20] 891*2^1520962-1 is not prime. Res64: 8334A170297BA820 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:26:20] 739*2^1520961-1 is not prime. Res64: 9EF177C402DBBC4D Time : 0.0 sec. user=mdettweiler [2018-08-10 21:26:21] 945*2^1520962-1 is not prime. Res64: 511E2C3DE0513199 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:26:21] 747*2^1520961-1 is not prime. Res64: 519C7C48A60A1CC2 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:26:21] 789*2^1520961-1 is not prime. Res64: 1B095F6A8343CAD1 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:26:21] 829*2^1520961-1 is not prime. Res64: E125332120A69BFA Time : 0.0 sec. user=mdettweiler [2018-08-10 21:38:46] 951*2^1520962-1 is not prime. Res64: AEFA0CDF73F9D2D2 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:38:46] 741*2^1520963-1 is not prime. Res64: 6B5A21E3B20B7AF5 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:38:47] 813*2^1520963-1 is not prime. Res64: 0AAC3F8F174631D5 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:38:47] 829*2^1520963-1 is not prime. Res64: 456EB19B810552B2 Time : 0.0 sec. user=mdettweiler [2018-08-10 21:38:48] 699*2^1520964-1 is not prime. Res64: 1C63059FCCC9E663 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:04:10] 767*2^1520964-1 is not prime. Res64: AE9327094A0D8138 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:04:13] 773*2^1520964-1 is not prime. Res64: 3E0B5E4CAEAE4649 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:04:14] 857*2^1520964-1 is not prime. Res64: FC34911A289D50C5 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:04:15] 957*2^1520964-1 is not prime. Res64: 0C5B61E78593F065 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:04:17] 983*2^1520964-1 is not prime. Res64: F3809047408E36CC Time : 0.0 sec. user=mdettweiler [2018-08-10 22:17:27] 889*2^1520965-1 is not prime. Res64: 9888B7A94A6E226B Time : 0.0 sec. user=mdettweiler [2018-08-10 22:17:27] 993*2^1520964-1 is not prime. Res64: 05B40F2B46984EFD Time : 0.0 sec. user=mdettweiler [2018-08-10 22:17:28] 925*2^1520965-1 is not prime. Res64: C394F1E9D43435C5 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:17:28] 661*2^1520965-1 is not prime. Res64: 5138FAD5453CE28B Time : 0.0 sec. user=mdettweiler [2018-08-10 22:17:28] 955*2^1520965-1 is not prime. Res64: FD36B2F4624E8AE9 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:17:28] 687*2^1520965-1 is not prime. Res64: A54E8344E4E27713 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:17:28] 997*2^1520965-1 is not prime. Res64: 7DA8EBC5866EF058 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:17:29] 729*2^1520965-1 is not prime. Res64: F2D8C82E4E0A865A Time : 0.0 sec. user=mdettweiler [2018-08-10 22:17:29] 851*2^1520966-1 is not prime. Res64: 39BEB7A714E3B899 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:17:29] 861*2^1520965-1 is not prime. Res64: 206398C29AC2EB5F Time : 0.0 sec. user=mdettweiler [2018-08-10 22:29:40] 981*2^1520966-1 is not prime. Res64: 5D9474490AF8B3BC Time : 0.0 sec. user=mdettweiler [2018-08-10 22:29:40] 621*2^1520967-1 is not prime. Res64: 476E795D260480CB Time : 0.0 sec. user=mdettweiler [2018-08-10 22:29:41] 661*2^1520967-1 is not prime. Res64: 8E5D9AF148074936 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:29:41] 685*2^1520967-1 is not prime. Res64: 201FFFF1FF83139E Time : 0.0 sec. user=mdettweiler [2018-08-10 22:29:41] 709*2^1520967-1 is not prime. Res64: 045F854DE31AEBD9 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:55:39] 765*2^1520967-1 is not prime. Res64: DED9060D8A5B5E46 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:55:39] 775*2^1520967-1 is not prime. Res64: C98FF50147D3B348 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:55:40] 871*2^1520967-1 is not prime. Res64: 1F88B91D765326D9 Time : 0.0 sec. user=mdettweiler [2018-08-10 22:55:40] 979*2^1520967-1 is not prime. Res64: 73DCC9E27B43ED6F Time : 0.0 sec. user=mdettweiler [2018-08-10 22:55:40] 617*2^1520968-1 is not prime. Res64: 0DEB138349A4E100 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:08:14] 697*2^1520969-1 is not prime. Res64: E4AEFAA62DDE06A6 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:08:14] 813*2^1520968-1 is not prime. Res64: B07CB0300C84807C Time : 0.0 sec. user=mdettweiler [2018-08-10 23:08:14] 827*2^1520968-1 is not prime. Res64: 25B3DFC60DD81CBB Time : 0.0 sec. user=mdettweiler [2018-08-10 23:08:14] 831*2^1520969-1 is not prime. Res64: 69FD42FC32C61786 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:08:15] 833*2^1520968-1 is not prime. Res64: 22DE5539D07157EE Time : 0.0 sec. user=mdettweiler [2018-08-10 23:08:15] 847*2^1520969-1 is not prime. Res64: 024C012882D50E90 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:08:15] 905*2^1520968-1 is not prime. Res64: 3F13B832A8B2B689 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:08:16] 927*2^1520968-1 is not prime. Res64: 1784A583C39426DB Time : 0.0 sec. user=mdettweiler [2018-08-10 23:08:16] 865*2^1520969-1 is not prime. Res64: 81E9559CA222A611 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:08:17] 931*2^1520969-1 is not prime. Res64: B99757952EE9F421 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:21:33] 949*2^1520969-1 is not prime. Res64: E62863D38957E79B Time : 0.0 sec. user=mdettweiler [2018-08-10 23:21:33] 955*2^1520969-1 is not prime. Res64: 218B2F621A0A4314 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:21:34] 979*2^1520969-1 is not prime. Res64: A88DE70154B30720 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:21:34] 681*2^1520970-1 is not prime. Res64: AB107B3F7A79A071 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:21:35] 791*2^1520970-1 is not prime. Res64: 1E7F95BD7AABFFF1 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:47:57] 843*2^1520970-1 is not prime. Res64: 7C659B0437791403 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:47:57] 851*2^1520970-1 is not prime. Res64: 4DEDB370EA226203 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:47:58] 915*2^1520970-1 is not prime. Res64: 0A07E4F44978251F Time : 0.0 sec. user=mdettweiler [2018-08-10 23:47:58] 625*2^1520971-1 is not prime. Res64: 8926721CC05BC371 Time : 0.0 sec. user=mdettweiler [2018-08-10 23:47:58] 649*2^1520971-1 is not prime. Res64: 23F4F43958E0CFC3 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:00:15] 819*2^1520971-1 is not prime. Res64: DD949F0F1886ED33 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:00:15] 617*2^1520972-1 is not prime. Res64: 30E4029B6D063C6F Time : 0.0 sec. user=mdettweiler [2018-08-11 00:00:16] 753*2^1520972-1 is not prime. Res64: F7CCED562C606E23 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:00:16] 833*2^1520972-1 is not prime. Res64: 76992BBCCDC91684 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:00:17] 923*2^1520972-1 is not prime. Res64: 393C852749DC232A Time : 0.0 sec. user=mdettweiler [2018-08-11 00:00:34] 673*2^1520971-1 is not prime. Res64: D6988395A94F5051 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:00:34] 691*2^1520971-1 is not prime. Res64: 23790C2DD2FD540F Time : 0.0 sec. user=mdettweiler [2018-08-11 00:00:34] 723*2^1520971-1 is not prime. Res64: 89A3598AD5D88A44 Time : 0.0 sec. user=mdettweiler [2018-08-11 00:00:35] 793*2^1520971-1 is not prime. Res64: B620C8796A8D8CBB Time : 0.0 sec. user=mdettweiler [2018-08-11 00:00:35] 811*2^1520971-1 is not prime. Res64: 7DA01F8478DDC610 Time : 0.0 sec.