user=mdettweiler [2020-02-13 00:18:08] 937*2^1553921-1 is not prime. Res64: E35532F9967108E1 Time : 0.0 sec. user=mdettweiler [2020-02-13 00:18:08] 633*2^1553922-1 is not prime. Res64: A0582502968ECBAB Time : 0.0 sec. user=mdettweiler [2020-02-13 00:18:09] 671*2^1553922-1 is not prime. Res64: B61F7173DD690E44 Time : 0.0 sec. user=mdettweiler [2020-02-13 00:18:09] 777*2^1553922-1 is not prime. Res64: F9AC16DE7A6751F6 Time : 0.0 sec. user=mdettweiler [2020-02-13 00:18:09] 873*2^1553922-1 is not prime. Res64: 18E8F4BA7CDDA51E Time : 0.0 sec. user=mdettweiler [2020-02-13 00:23:50] 977*2^1553922-1 is not prime. Res64: E9506E5E355C29C9 Time : 0.0 sec. user=mdettweiler [2020-02-13 00:23:51] 609*2^1553923-1 is not prime. Res64: 85055F3F41A6809D Time : 0.0 sec. user=mdettweiler [2020-02-13 00:23:51] 649*2^1553923-1 is not prime. Res64: 51324F7A3587EF1E Time : 0.0 sec. user=mdettweiler [2020-02-13 00:23:51] 679*2^1553923-1 is not prime. Res64: 2EACCA08034BAAFF Time : 0.0 sec. user=mdettweiler [2020-02-13 00:23:52] 703*2^1553923-1 is not prime. Res64: E463115BE589313D Time : 0.0 sec. user=mdettweiler [2020-02-13 00:48:12] 709*2^1553923-1 is not prime. Res64: 59C06394C410D3C9 Time : 0.0 sec. user=mdettweiler [2020-02-13 00:48:12] 723*2^1553923-1 is not prime. Res64: C6D3FCE7E2E32D11 Time : 0.0 sec. user=mdettweiler [2020-02-13 00:48:12] 861*2^1553923-1 is not prime. Res64: 97607F9A13F8FB6B Time : 0.0 sec. user=mdettweiler [2020-02-13 00:48:13] 925*2^1553923-1 is not prime. Res64: F14865EC53375B6C Time : 0.0 sec. user=mdettweiler [2020-02-13 00:48:13] 629*2^1553924-1 is not prime. Res64: A8B6F4B907235624 Time : 0.0 sec. user=mdettweiler [2020-02-13 01:09:52] 665*2^1553924-1 is not prime. Res64: C252B1B7B0490954 Time : 0.0 sec. user=mdettweiler [2020-02-13 01:09:54] 843*2^1553924-1 is not prime. Res64: 7778C663D94E4F70 Time : 0.0 sec. user=mdettweiler [2020-02-13 01:09:56] 607*2^1553925-1 is not prime. Res64: 93FE9ED68083CC7E Time : 0.0 sec. user=mdettweiler [2020-02-13 01:09:57] 627*2^1553925-1 is not prime. Res64: E2F085D8B2FC013F Time : 0.0 sec. user=mdettweiler [2020-02-13 01:09:59] 847*2^1553925-1 is not prime. Res64: 775FD52146CA567A Time : 0.0 sec. user=mdettweiler [2020-02-13 01:19:13] 861*2^1553925-1 is not prime. Res64: 328B9EA39646004F Time : 0.0 sec. user=mdettweiler [2020-02-13 01:19:13] 937*2^1553925-1 is not prime. Res64: 1B745E784230F6C3 Time : 0.0 sec. user=mdettweiler [2020-02-13 01:19:14] 949*2^1553925-1 is not prime. Res64: 8438066ACF52C503 Time : 0.0 sec. user=mdettweiler [2020-02-13 01:19:14] 975*2^1553925-1 is not prime. Res64: 0282C1B098C340E8 Time : 0.0 sec. user=mdettweiler [2020-02-13 01:19:15] 623*2^1553926-1 is not prime. Res64: 5438B2D374F875F7 Time : 0.0 sec. user=mdettweiler [2020-02-13 01:41:08] 705*2^1553926-1 is not prime. Res64: 2D3E907502AA55A9 Time : 0.0 sec. user=mdettweiler [2020-02-13 01:41:10] 717*2^1553926-1 is not prime. Res64: 43A566FF25304112 Time : 0.0 sec. user=mdettweiler [2020-02-13 01:41:11] 765*2^1553926-1 is not prime. Res64: ADE066B0C64DB59D Time : 0.0 sec. user=mdettweiler [2020-02-13 01:41:12] 855*2^1553926-1 is not prime. Res64: EF7B4A447B911AE0 Time : 0.0 sec. user=mdettweiler [2020-02-13 01:41:13] 933*2^1553926-1 is not prime. Res64: 502966B36EFCF127 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:04:05] 987*2^1553926-1 is not prime. Res64: B22E247218ACCF66 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:04:08] 993*2^1553926-1 is not prime. Res64: 7AEBC55164B46E8E Time : 0.0 sec. user=mdettweiler [2020-02-13 02:04:11] 609*2^1553927-1 is not prime. Res64: 6BCDEC15D287D879 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:04:13] 619*2^1553927-1 is not prime. Res64: 2BA465DE1E158AE5 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:04:15] 621*2^1553927-1 is not prime. Res64: A2407DC183594D8E Time : 0.0 sec. user=mdettweiler [2020-02-13 02:12:33] 693*2^1553927-1 is not prime. Res64: 6C3A1D8CEAB56E32 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:12:38] 753*2^1553927-1 is not prime. Res64: 094B0B7C5FB9C0F1 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:12:41] 861*2^1553927-1 is not prime. Res64: 20FAB468820E1DD2 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:12:44] 945*2^1553927-1 is not prime. Res64: 4CE68F72642691D6 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:12:50] 777*2^1553928-1 is not prime. Res64: 9AD3AA446FA1AA0B Time : 0.0 sec. user=mdettweiler [2020-02-13 02:33:52] 789*2^1553928-1 is not prime. Res64: 31AA93B2199D30FF Time : 0.0 sec. user=mdettweiler [2020-02-13 02:33:54] 867*2^1553928-1 is not prime. Res64: 4A2E6E7B588A3025 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:33:55] 875*2^1553928-1 is not prime. Res64: 882D9707B5432A20 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:33:55] 855*2^1553929-1 is not prime. Res64: E7DBF9D70D5E9A6B Time : 0.0 sec. user=mdettweiler [2020-02-13 02:33:56] 707*2^1553930-1 is not prime. Res64: 98B5E0941043A99D Time : 0.0 sec. user=mdettweiler [2020-02-13 02:57:27] 813*2^1553930-1 is not prime. Res64: 4623BA0CE8B00B2B Time : 0.0 sec. user=mdettweiler [2020-02-13 02:57:28] 867*2^1553930-1 is not prime. Res64: 374DDB69F23DD2DD Time : 0.0 sec. user=mdettweiler [2020-02-13 02:57:28] 1001*2^1553930-1 is not prime. Res64: 56144ADD18E8D0E8 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:57:29] 601*2^1553931-1 is not prime. Res64: C6B962C88B729274 Time : 0.0 sec. user=mdettweiler [2020-02-13 02:57:29] 723*2^1553931-1 is not prime. Res64: 037D3FDE39167F62 Time : 0.0 sec. user=mdettweiler [2020-02-13 03:07:17] 735*2^1553931-1 is not prime. Res64: F7CD4F8EED88DD0C Time : 0.0 sec. user=mdettweiler [2020-02-13 03:07:18] 783*2^1553931-1 is not prime. Res64: 133A80EBABAC6B55 Time : 0.0 sec. user=mdettweiler [2020-02-13 03:07:20] 921*2^1553931-1 is not prime. Res64: 7AAD84D8EEF1948B Time : 0.0 sec. user=mdettweiler [2020-02-13 03:07:21] 943*2^1553931-1 is not prime. Res64: 834CAF626E20129F Time : 0.0 sec. user=mdettweiler [2020-02-13 03:07:22] 675*2^1553932-1 is not prime. Res64: 1ECDB1EC18A8F96D Time : 0.0 sec. user=mdettweiler [2020-02-13 03:25:33] 677*2^1553932-1 is not prime. Res64: 1D87DC23596EF420 Time : 0.0 sec. user=mdettweiler [2020-02-13 03:25:35] 723*2^1553932-1 is not prime. Res64: BA57D1CAE57FCB2D Time : 0.0 sec. user=mdettweiler [2020-02-13 03:25:35] 755*2^1553932-1 is not prime. Res64: 6338C820C5497452 Time : 0.0 sec. user=mdettweiler [2020-02-13 03:25:36] 765*2^1553932-1 is not prime. Res64: B16F5D4B500FF88E Time : 0.0 sec. user=mdettweiler [2020-02-13 03:25:36] 777*2^1553932-1 is not prime. Res64: 926FB68486A3FACD Time : 0.0 sec. user=mdettweiler [2020-02-13 03:50:44] 797*2^1553932-1 is not prime. Res64: 44459B01AB9D7557 Time : 0.0 sec. user=mdettweiler [2020-02-13 03:50:46] 857*2^1553932-1 is not prime. Res64: 211B11710E4B81CB Time : 0.0 sec. user=mdettweiler [2020-02-13 03:50:47] 909*2^1553932-1 is not prime. Res64: 9F9F81F40A012A31 Time : 0.0 sec. user=mdettweiler [2020-02-13 03:50:47] 745*2^1553933-1 is not prime. Res64: F1931F295CA36DD4 Time : 0.0 sec. user=mdettweiler [2020-02-13 03:50:48] 871*2^1553933-1 is not prime. Res64: AFFD1D513D2A55D1 Time : 0.0 sec. user=mdettweiler [2020-02-13 04:00:16] 889*2^1553933-1 is not prime. Res64: B7CB45F37DB7A099 Time : 0.0 sec. user=mdettweiler [2020-02-13 04:00:18] 987*2^1553933-1 is not prime. Res64: DC12B6F7C7AF08CD Time : 0.0 sec. user=mdettweiler [2020-02-13 04:00:19] 605*2^1553934-1 is not prime. Res64: E8C7223CE817B4DA Time : 0.0 sec. user=mdettweiler [2020-02-13 04:00:21] 621*2^1553934-1 is not prime. Res64: C48F9AA0070263CE Time : 0.0 sec. user=mdettweiler [2020-02-13 04:00:22] 651*2^1553934-1 is not prime. Res64: F86D28F93F9AD5E8 Time : 0.0 sec. user=mdettweiler [2020-02-13 04:17:38] 725*2^1553934-1 is not prime. Res64: 0ED4E76DC641F67E Time : 0.0 sec. user=mdettweiler [2020-02-13 04:17:40] 747*2^1553934-1 is not prime. Res64: D3AA4F04580E825E Time : 0.0 sec. user=mdettweiler [2020-02-13 04:17:42] 783*2^1553934-1 is not prime. Res64: CD0C948D3B13A8AE Time : 0.0 sec. user=mdettweiler [2020-02-13 04:17:45] 807*2^1553934-1 is not prime. Res64: B4CBC3D61DE800A9 Time : 0.0 sec. user=mdettweiler [2020-02-13 04:17:49] 851*2^1553934-1 is not prime. Res64: 1C9D084773DF1B3D Time : 0.0 sec. user=mdettweiler [2020-02-13 04:46:37] 875*2^1553934-1 is not prime. Res64: 6920E2BAD4BE34A3 Time : 0.0 sec. user=mdettweiler [2020-02-13 04:46:37] 917*2^1553934-1 is not prime. Res64: FC20A50EB2BB4372 Time : 0.0 sec. user=mdettweiler [2020-02-13 04:46:38] 983*2^1553934-1 is not prime. Res64: FAD756DE10C27AAB Time : 0.0 sec. user=mdettweiler [2020-02-13 04:46:38] 1001*2^1553934-1 is not prime. Res64: E81021DB3DD42DC0 Time : 0.0 sec. user=mdettweiler [2020-02-13 04:46:39] 783*2^1553935-1 is not prime. Res64: ED944148B200FBF5 Time : 0.0 sec. user=mdettweiler [2020-02-13 04:53:36] 853*2^1553935-1 is not prime. Res64: 5A498D9785CA59B0 Time : 0.0 sec. user=mdettweiler [2020-02-13 04:53:36] 861*2^1553935-1 is not prime. Res64: 3809AB5F6617AB6A Time : 0.0 sec. user=mdettweiler [2020-02-13 04:53:36] 909*2^1553935-1 is not prime. Res64: 78058F3B378C3072 Time : 0.0 sec. user=mdettweiler [2020-02-13 04:53:37] 603*2^1553936-1 is not prime. Res64: 20544F91470D3FFB Time : 0.0 sec. user=mdettweiler [2020-02-13 04:53:37] 609*2^1553936-1 is not prime. Res64: 88BF07E9DC2E2344 Time : 0.0 sec. user=mdettweiler [2020-02-13 05:09:08] 617*2^1553936-1 is not prime. Res64: A132EE973F9830C8 Time : 0.0 sec. user=mdettweiler [2020-02-13 05:09:10] 635*2^1553936-1 is not prime. Res64: 962D7F9D1835309E Time : 0.0 sec. user=mdettweiler [2020-02-13 05:09:11] 659*2^1553936-1 is not prime. Res64: 8C3EAF42F63E30A4 Time : 0.0 sec. user=mdettweiler [2020-02-13 05:09:13] 689*2^1553936-1 is not prime. Res64: C1517C7ED8198406 Time : 0.0 sec. user=mdettweiler [2020-02-13 05:09:14] 717*2^1553936-1 is not prime. Res64: 6C65F312709B8484 Time : 0.0 sec. user=mdettweiler [2020-02-13 05:41:22] 773*2^1553936-1 is not prime. Res64: 510B4A27EDF12E2F Time : 0.0 sec. user=mdettweiler [2020-02-13 05:41:23] 777*2^1553936-1 is not prime. Res64: B80F43B253DD2082 Time : 0.0 sec. user=mdettweiler [2020-02-13 05:41:23] 789*2^1553936-1 is not prime. Res64: 4E095C6DD4AAEC4B Time : 0.0 sec. user=mdettweiler [2020-02-13 05:41:24] 957*2^1553936-1 is not prime. Res64: 3B2D5A1BCAF77A4F Time : 0.0 sec. user=mdettweiler [2020-02-13 05:41:24] 999*2^1553936-1 is not prime. Res64: 970BD0BFDBCE05AC Time : 0.0 sec. user=mdettweiler [2020-02-13 05:46:54] 781*2^1553937-1 is not prime. Res64: 32C95DD8E51EA673 Time : 0.0 sec. user=mdettweiler [2020-02-13 05:46:55] 807*2^1553937-1 is not prime. Res64: 74D3B723528E922F Time : 0.0 sec. user=mdettweiler [2020-02-13 05:46:55] 817*2^1553937-1 is not prime. Res64: E9249D0759B6F62D Time : 0.0 sec. user=mdettweiler [2020-02-13 05:46:56] 955*2^1553937-1 is not prime. Res64: 82752C445CE1EBB6 Time : 0.0 sec. user=mdettweiler [2020-02-13 05:46:56] 657*2^1553938-1 is not prime. Res64: C94C819CD0CBBE61 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:03:48] 687*2^1553938-1 is not prime. Res64: DF3E2E9D50050E42 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:03:50] 747*2^1553938-1 is not prime. Res64: 22484911D9E3EF3B Time : 0.0 sec. user=mdettweiler [2020-02-13 06:03:51] 765*2^1553938-1 is not prime. Res64: 847EC4385AD32B87 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:03:52] 933*2^1553938-1 is not prime. Res64: 0EB684F69212E5C1 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:03:53] 957*2^1553938-1 is not prime. Res64: 295C1336ACC3E797 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:35:27] 609*2^1553939-1 is not prime. Res64: DAC5A5FEB538F622 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:35:27] 655*2^1553939-1 is not prime. Res64: 7A00F717E5D9F6C4 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:35:29] 801*2^1553939-1 is not prime. Res64: CA584A7291EB847A Time : 0.0 sec. user=mdettweiler [2020-02-13 06:35:29] 939*2^1553939-1 is not prime. Res64: 23037FE97A7BD550 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:35:30] 991*2^1553939-1 is not prime. Res64: F6DAA004C3D0C44B Time : 0.0 sec. user=mdettweiler [2020-02-13 06:38:50] 629*2^1553940-1 is not prime. Res64: C408213258060D73 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:38:51] 737*2^1553940-1 is not prime. Res64: 12B5DBD27AFCC2BA Time : 0.0 sec. user=mdettweiler [2020-02-13 06:38:51] 765*2^1553940-1 is not prime. Res64: CE6A7E03AEA6A4CD Time : 0.0 sec. user=mdettweiler [2020-02-13 06:38:52] 795*2^1553940-1 is not prime. Res64: D494A60ADFCCFC14 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:38:52] 797*2^1553940-1 is not prime. Res64: 1BD75149570691B2 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:55:54] 809*2^1553940-1 is not prime. Res64: 04377AA1FFEC293A Time : 0.0 sec. user=mdettweiler [2020-02-13 06:55:55] 843*2^1553940-1 is not prime. Res64: 7E168645B955192F Time : 0.0 sec. user=mdettweiler [2020-02-13 06:55:55] 863*2^1553940-1 is not prime. Res64: 9A19B92B63D11247 Time : 0.0 sec. user=mdettweiler [2020-02-13 06:55:55] 639*2^1553941-1 is not prime. Res64: C0414A67B54C268A Time : 0.0 sec. user=mdettweiler [2020-02-13 06:55:56] 681*2^1553941-1 is not prime. Res64: 02C4C42179FE5EE3 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:30:51] 757*2^1553941-1 is not prime. Res64: BC29A208A2A06064 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:30:52] 945*2^1553941-1 is not prime. Res64: FE1C3EE131AF736B Time : 0.0 sec. user=mdettweiler [2020-02-13 07:30:52] 987*2^1553941-1 is not prime. Res64: 85A7654F035B34A0 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:30:52] 825*2^1553942-1 is not prime. Res64: CB23C8F4FA74CA97 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:30:53] 977*2^1553942-1 is not prime. Res64: 36D6D15C7F726335 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:31:19] 983*2^1553942-1 is not prime. Res64: 9C14C6E4EC70C281 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:31:19] 613*2^1553943-1 is not prime. Res64: C868156F682239DC Time : 0.0 sec. user=mdettweiler [2020-02-13 07:31:20] 625*2^1553943-1 is not prime. Res64: A4347335D43DFC98 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:31:20] 679*2^1553943-1 is not prime. Res64: 0F851AAD320E2C29 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:31:20] 703*2^1553943-1 is not prime. Res64: 2176428AA3BEACE8 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:48:25] 765*2^1553943-1 is not prime. Res64: 5E3CEA38E025B881 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:48:25] 789*2^1553943-1 is not prime. Res64: B16E763BC4CF6C26 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:48:25] 805*2^1553943-1 is not prime. Res64: 3595132109A3310B Time : 0.0 sec. user=mdettweiler [2020-02-13 07:48:26] 825*2^1553943-1 is not prime. Res64: ECEE1E94975A13E0 Time : 0.0 sec. user=mdettweiler [2020-02-13 07:48:26] 861*2^1553943-1 is not prime. Res64: 47EF2A0994494D1C Time : 0.0 sec. user=mdettweiler [2020-02-13 08:22:30] 873*2^1553943-1 is not prime. Res64: 0854FD3FEB1F36EA Time : 0.0 sec. user=mdettweiler [2020-02-13 08:22:31] 885*2^1553943-1 is not prime. Res64: 4FD1A87DFD4B5322 Time : 0.0 sec. user=mdettweiler [2020-02-13 08:22:31] 623*2^1553944-1 is not prime. Res64: 39A5AAA1478C31D0 Time : 0.0 sec. user=mdettweiler [2020-02-13 08:22:32] 717*2^1553944-1 is not prime. Res64: 9BDADA7B01ADB9EB Time : 0.0 sec. user=mdettweiler [2020-02-13 08:22:32] 719*2^1553944-1 is not prime. Res64: 0AB6CE764EC7E90F Time : 0.0 sec. user=mdettweiler [2020-02-13 08:25:41] 843*2^1553944-1 is not prime. Res64: 6F0E451BA3B70883 Time : 0.0 sec. user=mdettweiler [2020-02-13 08:25:41] 983*2^1553944-1 is not prime. Res64: 4B29D92E050409C7 Time : 0.0 sec. user=mdettweiler [2020-02-13 08:25:42] 989*2^1553944-1 is not prime. Res64: BF65178F9A8DAC95 Time : 0.0 sec. user=mdettweiler [2020-02-13 08:25:42] 759*2^1553945-1 is not prime. Res64: 7FD86AB70BE9F171 Time : 0.0 sec. user=mdettweiler [2020-02-13 08:25:43] 795*2^1553945-1 is not prime. Res64: E4E9E912FA360BA4 Time : 0.0 sec. user=mdettweiler [2020-02-13 08:43:09] 861*2^1553945-1 is not prime. Res64: F42CDCE1C52FE658 Time : 0.0 sec. user=mdettweiler [2020-02-13 08:43:09] 871*2^1553945-1 is not prime. Res64: 1A6029B2302B2953 Time : 0.0 sec. user=mdettweiler [2020-02-13 08:43:10] 889*2^1553945-1 is not prime. Res64: 0ADE1BBFC18BBFA0 Time : 0.0 sec. user=mdettweiler [2020-02-13 08:43:10] 939*2^1553945-1 is not prime. Res64: 322A96A485143BDE Time : 0.0 sec. user=mdettweiler [2020-02-13 08:43:11] 981*2^1553945-1 is not prime. Res64: 1DD12448CACEF0E6 Time : 0.0 sec. user=mdettweiler [2020-02-13 09:14:59] 683*2^1553946-1 is not prime. Res64: 191834A89CF5CB51 Time : 0.0 sec. user=mdettweiler [2020-02-13 09:14:59] 765*2^1553946-1 is not prime. Res64: 5F4B48F44C03D6C2 Time : 0.0 sec. user=mdettweiler [2020-02-13 09:15:00] 803*2^1553946-1 is not prime. Res64: 674195CF90EE9170 Time : 0.0 sec. user=mdettweiler [2020-02-13 09:15:00] 837*2^1553946-1 is not prime. Res64: F0B6A353BB28E7FA Time : 0.0 sec. user=mdettweiler [2020-02-13 09:15:01] 887*2^1553946-1 is not prime. Res64: A593218B10A48299 Time : 0.0 sec. user=mdettweiler [2020-02-13 09:23:42] 917*2^1553946-1 is not prime. Res64: 5D765A02324F3226 Time : 0.0 sec. user=mdettweiler [2020-02-13 09:23:43] 933*2^1553946-1 is not prime. Res64: AF9F4D96453A5D8C Time : 0.0 sec. user=mdettweiler [2020-02-13 09:23:43] 971*2^1553946-1 is not prime. Res64: 577A4904231DBC5D Time : 0.0 sec. user=mdettweiler [2020-02-13 09:23:43] 975*2^1553946-1 is not prime. Res64: 177754F7F9E2F11E Time : 0.0 sec. user=mdettweiler [2020-02-13 09:23:44] 1001*2^1553946-1 is not prime. Res64: EFA3AA65077E74EB Time : 0.0 sec. user=mdettweiler [2020-02-13 09:35:15] 619*2^1553947-1 is not prime. Res64: 98A1A22D4B20926C Time : 0.0 sec. user=mdettweiler [2020-02-13 09:35:15] 693*2^1553947-1 is not prime. Res64: 6DAF4F99E601661F Time : 0.0 sec. user=mdettweiler [2020-02-13 09:35:16] 769*2^1553947-1 is not prime. Res64: 57672B4F978F283E Time : 0.0 sec. user=mdettweiler [2020-02-13 09:35:16] 829*2^1553947-1 is not prime. Res64: D0FA2A47B594ACFB Time : 0.0 sec. user=mdettweiler [2020-02-13 09:35:17] 841*2^1553947-1 is not prime. Res64: 858BDF6DCA3BECAA Time : 0.0 sec. user=mdettweiler [2020-02-13 10:09:37] 665*2^1553948-1 is not prime. Res64: EA5D2E4A7E891DC6 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:09:38] 833*2^1553948-1 is not prime. Res64: F6FCE44FB58587E4 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:09:38] 927*2^1553948-1 is not prime. Res64: 99B0A6583A9AC7CD Time : 0.0 sec. user=mdettweiler [2020-02-13 10:09:39] 963*2^1553948-1 is not prime. Res64: 924B0614F1EF2C32 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:09:39] 685*2^1553949-1 is not prime. Res64: A6F54CA4DCF169B7 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:18:23] 741*2^1553949-1 is not prime. Res64: 5A057616977FC7C1 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:18:24] 745*2^1553949-1 is not prime. Res64: D1DF9C20EF5D7CD2 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:18:24] 885*2^1553949-1 is not prime. Res64: D21C1CEA1D25DAF2 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:18:24] 945*2^1553949-1 is not prime. Res64: D792456A80D881E5 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:18:25] 951*2^1553949-1 is not prime. Res64: 291F58E2BA1B8DAC Time : 0.0 sec. user=mdettweiler [2020-02-13 10:28:54] 975*2^1553949-1 is not prime. Res64: B50C4B0B410871F2 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:28:54] 603*2^1553950-1 is not prime. Res64: 3AEEB068D4CC6472 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:28:55] 645*2^1553950-1 is not prime. Res64: 832099922C0CCE00 Time : 0.0 sec. user=mdettweiler [2020-02-13 10:28:55] 843*2^1553950-1 is not prime. Res64: 29E2CC95C891322F Time : 0.0 sec. user=mdettweiler [2020-02-13 10:28:55] 863*2^1553950-1 is not prime. Res64: 694B329608DC3393 Time : 0.0 sec. user=mdettweiler [2020-02-13 11:07:49] 873*2^1553950-1 is not prime. Res64: 5465A0DAA5D9CDAD Time : 0.0 sec. user=mdettweiler [2020-02-13 11:07:49] 971*2^1553950-1 is not prime. Res64: CF9202F059701BF8 Time : 0.0 sec. user=mdettweiler [2020-02-13 11:07:50] 975*2^1553950-1 is not prime. Res64: D5DA26609E25146A Time : 0.0 sec. user=mdettweiler [2020-02-13 11:07:50] 1001*2^1553950-1 is not prime. Res64: BF69BEF10ED5F60E Time : 0.0 sec. user=mdettweiler [2020-02-13 11:07:51] 669*2^1553951-1 is not prime. Res64: D7958B6B4F5A0427 Time : 0.0 sec. user=mdettweiler [2020-02-13 11:13:16] 703*2^1553951-1 is not prime. Res64: 073C0020F4735449 Time : 0.0 sec. user=mdettweiler [2020-02-13 11:13:16] 759*2^1553951-1 is not prime. Res64: 5502BD2301C353E6 Time : 0.0 sec. user=mdettweiler [2020-02-13 11:13:17] 781*2^1553951-1 is not prime. Res64: BAD829D1F0585EB7 Time : 0.0 sec. user=mdettweiler [2020-02-13 11:13:17] 789*2^1553951-1 is not prime. Res64: 7C0B872179AA4687 Time : 0.0 sec. user=mdettweiler [2020-02-13 11:13:17] 843*2^1553951-1 is not prime. Res64: 67B04D6A356558FE Time : 0.0 sec. user=mdettweiler [2020-02-13 11:26:03] 855*2^1553951-1 is not prime. Res64: 37AF0EF698593031 Time : 0.0 sec. user=mdettweiler [2020-02-13 11:26:03] 883*2^1553951-1 is not prime. Res64: 01AC85BBE1D014AA Time : 0.0 sec. user=mdettweiler [2020-02-13 11:26:04] 909*2^1553951-1 is not prime. Res64: F84C55B4353EAC02 Time : 0.0 sec. user=mdettweiler [2020-02-13 11:26:04] 955*2^1553951-1 is not prime. Res64: 86358FCFC4478CF4 Time : 0.0 sec. user=mdettweiler [2020-02-13 11:26:04] 605*2^1553952-1 is not prime. Res64: C70CC21E30BCEB84 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:00:00] 669*2^1553952-1 is not prime. Res64: 4B1A636912EBEFAE Time : 0.0 sec. user=mdettweiler [2020-02-13 12:00:00] 765*2^1553952-1 is not prime. Res64: B23E13A29200CC67 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:00:01] 741*2^1553953-1 is not prime. Res64: B38825A14AB0DD7B Time : 0.0 sec. user=mdettweiler [2020-02-13 12:00:01] 775*2^1553953-1 is not prime. Res64: 65BD7DCA627295E7 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:00:01] 805*2^1553953-1 is not prime. Res64: 20479C960C1E7A2B Time : 0.0 sec. user=mdettweiler [2020-02-13 12:07:08] 829*2^1553953-1 is not prime. Res64: 1A2B84A6187E6EC2 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:07:11] 861*2^1553953-1 is not prime. Res64: F55E6EE70D29E697 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:07:14] 885*2^1553953-1 is not prime. Res64: 1F124BBFBB6B6F36 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:07:16] 889*2^1553953-1 is not prime. Res64: A9717E8093DEBE8F Time : 0.0 sec. user=mdettweiler [2020-02-13 12:07:19] 937*2^1553953-1 is not prime. Res64: AA54E6CB6DFF2BF5 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:19:02] 987*2^1553953-1 is not prime. Res64: 6C23A9E0BE2CB965 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:19:03] 623*2^1553954-1 is not prime. Res64: A23E3FD01C4D3A48 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:19:03] 633*2^1553954-1 is not prime. Res64: C8719158843EA25D Time : 0.0 sec. user=mdettweiler [2020-02-13 12:19:03] 645*2^1553954-1 is not prime. Res64: B80CE090BFF5126F Time : 0.0 sec. user=mdettweiler [2020-02-13 12:19:04] 785*2^1553954-1 is not prime. Res64: 36A6B04C6D69FBF7 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:53:57] 827*2^1553954-1 is not prime. Res64: 37BA59A092686676 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:53:57] 831*2^1553954-1 is not prime. Res64: 04C39CE3AD353F79 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:53:57] 861*2^1553954-1 is not prime. Res64: 8CEAA94FCCE18D27 Time : 0.0 sec. user=mdettweiler [2020-02-13 12:53:58] 873*2^1553954-1 is not prime. Res64: 734849B9D4C6180C Time : 0.0 sec. user=mdettweiler [2020-02-13 12:53:58] 981*2^1553954-1 is not prime. Res64: 2BAC5E8666A8AFAF Time : 0.0 sec. user=mdettweiler [2020-02-13 13:02:02] 987*2^1553954-1 is not prime. Res64: 0648F335C772077C Time : 0.0 sec. user=mdettweiler [2020-02-13 13:02:05] 819*2^1553955-1 is not prime. Res64: 20813E2F6C399B8F Time : 0.0 sec. user=mdettweiler [2020-02-13 13:02:05] 859*2^1553955-1 is not prime. Res64: 54F4DD8F4864F3A1 Time : 0.0 sec. user=mdettweiler [2020-02-13 13:02:06] 955*2^1553955-1 is not prime. Res64: 5EFDD16C055B3FC5 Time : 0.0 sec. user=mdettweiler [2020-02-13 13:02:07] 647*2^1553956-1 is not prime. Res64: 0D57DD7234435751 Time : 0.0 sec. user=mdettweiler [2020-02-13 13:12:22] 695*2^1553956-1 is not prime. Res64: C93117CA745F1E87 Time : 0.0 sec. user=mdettweiler [2020-02-13 13:12:22] 743*2^1553956-1 is not prime. Res64: 16F75030AE3853BB Time : 0.0 sec. user=mdettweiler [2020-02-13 13:12:23] 785*2^1553956-1 is not prime. Res64: 3C844470CCA249A7 Time : 0.0 sec. user=mdettweiler [2020-02-13 13:12:23] 843*2^1553956-1 is not prime. Res64: 225D57C2EA92FF73 Time : 0.0 sec. user=mdettweiler [2020-02-13 13:12:23] 983*2^1553956-1 is not prime. Res64: 317A2A8CFFE107F6 Time : 0.0 sec. user=mdettweiler [2020-02-13 13:48:07] 989*2^1553956-1 is not prime. Res64: 90618E29D11CAD40 Time : 0.0 sec. user=mdettweiler [2020-02-13 13:48:08] 669*2^1553957-1 is not prime. Res64: 8A32F91B0A76586F Time : 0.0 sec. user=mdettweiler [2020-02-13 13:48:08] 685*2^1553957-1 is not prime. Res64: 173ED713F62D8631 Time : 0.0 sec. user=mdettweiler [2020-02-13 13:48:09] 741*2^1553957-1 is not prime. Res64: DD00EF08D2C01E2D Time : 0.0 sec. user=mdettweiler [2020-02-13 13:48:09] 825*2^1553957-1 is not prime. Res64: F396DF190F75FFE2 Time : 0.0 sec. user=mdettweiler [2020-02-13 13:55:17] 837*2^1553957-1 is not prime. Res64: 0EDFD90D8DFF000D Time : 0.0 sec. user=mdettweiler [2020-02-13 13:55:17] 871*2^1553957-1 is not prime. Res64: F16F91FB92B6DBBA Time : 0.0 sec. user=mdettweiler [2020-02-13 13:55:18] 627*2^1553958-1 is not prime. Res64: 6D2BEDED7BADFEFB Time : 0.0 sec. user=mdettweiler [2020-02-13 13:55:18] 663*2^1553958-1 is not prime. Res64: A38A296540DC25AE Time : 0.0 sec. user=mdettweiler [2020-02-13 13:55:18] 683*2^1553958-1 is not prime. Res64: B7352826F1B4A55C Time : 0.0 sec. user=mdettweiler [2020-02-13 14:05:51] 705*2^1553958-1 is not prime. Res64: A88E5F31D58F94B6 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:05:53] 777*2^1553958-1 is not prime. Res64: 3F68989A4010FF2A Time : 0.0 sec. user=mdettweiler [2020-02-13 14:05:54] 791*2^1553958-1 is not prime. Res64: 5A11CDB6FFD1A0D8 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:05:55] 679*2^1553959-1 is not prime. Res64: D2B33B3058187AE4 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:05:56] 723*2^1553959-1 is not prime. Res64: 95CF05A356E7009F Time : 0.0 sec. user=mdettweiler [2020-02-13 14:40:06] 729*2^1553959-1 is not prime. Res64: 3008CD20FFD25267 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:40:07] 831*2^1553959-1 is not prime. Res64: EB51E388F0D35C50 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:40:07] 895*2^1553959-1 is not prime. Res64: BACCD004F7998218 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:40:07] 603*2^1553960-1 is not prime. Res64: E8E34088283A4137 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:40:08] 605*2^1553960-1 is not prime. Res64: E8EF1EB3C0424CFA Time : 0.0 sec. user=mdettweiler [2020-02-13 14:48:26] 669*2^1553960-1 is not prime. Res64: DC7358B2BC3104DA Time : 0.0 sec. user=mdettweiler [2020-02-13 14:48:26] 833*2^1553960-1 is not prime. Res64: 1CD7022CCBC4A6A6 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:48:26] 893*2^1553960-1 is not prime. Res64: 663B6087A94348AA Time : 0.0 sec. user=mdettweiler [2020-02-13 14:48:27] 929*2^1553960-1 is not prime. Res64: 79D1EB36A0A6DB70 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:48:27] 625*2^1553961-1 is not prime. Res64: 73A71EE82BF2D017 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:57:36] 681*2^1553961-1 is not prime. Res64: 5FA8D1920FC012DE Time : 0.0 sec. user=mdettweiler [2020-02-13 14:57:37] 691*2^1553961-1 is not prime. Res64: 838A61614A24103C Time : 0.0 sec. user=mdettweiler [2020-02-13 14:57:37] 705*2^1553961-1 is not prime. Res64: EB9308B04F5E77F6 Time : 0.0 sec. user=mdettweiler [2020-02-13 14:57:39] 877*2^1553961-1 is not prime. Res64: DBA582ECA9DD8CFA Time : 0.0 sec. user=mdettweiler [2020-02-13 14:57:39] 885*2^1553961-1 is not prime. Res64: F6AF10B1ABF748DC Time : 0.0 sec. user=mdettweiler [2020-02-13 15:36:55] 895*2^1553961-1 is not prime. Res64: 150989770568B671 Time : 0.0 sec. user=mdettweiler [2020-02-13 15:36:56] 909*2^1553961-1 is not prime. Res64: 70EE2CED15E44291 Time : 0.0 sec. user=mdettweiler [2020-02-13 15:36:56] 937*2^1553961-1 is not prime. Res64: 07192F155893A698 Time : 0.0 sec. user=mdettweiler [2020-02-13 15:36:57] 955*2^1553961-1 is not prime. Res64: D285A734EAC75684 Time : 0.0 sec. user=mdettweiler [2020-02-13 15:36:58] 997*2^1553961-1 is not prime. Res64: 2F78CEB9060710BD Time : 0.0 sec. user=mdettweiler [2020-02-13 15:41:03] 611*2^1553962-1 is not prime. Res64: 7B8CFF431C45592B Time : 0.0 sec. user=mdettweiler [2020-02-13 15:41:04] 623*2^1553962-1 is not prime. Res64: 2F89F618145792DA Time : 0.0 sec. user=mdettweiler [2020-02-13 15:41:04] 713*2^1553962-1 is not prime. Res64: E84CB68776828409 Time : 0.0 sec. user=mdettweiler [2020-02-13 15:41:05] 777*2^1553962-1 is not prime. Res64: 28041C7A7CD19282 Time : 0.0 sec. user=mdettweiler [2020-02-13 15:41:05] 915*2^1553962-1 is not prime. Res64: DA499232C8440A30 Time : 0.0 sec. user=mdettweiler [2020-02-13 15:50:02] 983*2^1553962-1 is not prime. Res64: C2BE61AA409B49E0 Time : 0.0 sec. user=mdettweiler [2020-02-13 15:50:02] 669*2^1553963-1 is not prime. Res64: 75AD712A355BC10E Time : 0.0 sec. user=mdettweiler [2020-02-13 15:50:03] 693*2^1553963-1 is not prime. Res64: 20029FDB518DB766 Time : 0.0 sec. user=mdettweiler [2020-02-13 15:50:03] 745*2^1553963-1 is not prime. Res64: 6CD584499C142C02 Time : 0.0 sec. user=mdettweiler [2020-02-13 15:50:04] 753*2^1553963-1 is not prime. Res64: 50A84C86E331D6BA Time : 0.0 sec. user=mdettweiler [2020-02-13 16:30:23] 759*2^1553963-1 is not prime. Res64: 361057956B48A773 Time : 0.0 sec. user=mdettweiler [2020-02-13 16:30:23] 781*2^1553963-1 is not prime. Res64: ED8BFE2461099643 Time : 0.0 sec. user=mdettweiler [2020-02-13 16:30:24] 783*2^1553963-1 is not prime. Res64: 1CCCD94229C08026 Time : 0.0 sec. user=mdettweiler [2020-02-13 16:30:24] 855*2^1553963-1 is not prime. Res64: A9D73FE19B936D4F Time : 0.0 sec. user=mdettweiler [2020-02-13 16:30:25] 913*2^1553963-1 is not prime. Res64: 795F9115D6CD7F0F Time : 0.0 sec. user=mdettweiler [2020-02-13 16:36:19] 943*2^1553963-1 is not prime. Res64: D71C52B550BC7A9D Time : 0.0 sec. user=mdettweiler [2020-02-13 16:36:20] 963*2^1553963-1 is not prime. Res64: 6A8F8AAB0C33E993 Time : 0.0 sec. user=mdettweiler [2020-02-13 16:36:20] 993*2^1553963-1 is not prime. Res64: 23CF3A3B0B1D81BC Time : 0.0 sec. user=mdettweiler [2020-02-13 16:36:21] 627*2^1553964-1 is not prime. Res64: B692F2101ED9AA06 Time : 0.0 sec. user=mdettweiler [2020-02-13 16:36:21] 663*2^1553964-1 is not prime. Res64: 23FF00A8D6B7B527 Time : 0.0 sec. user=mdettweiler [2020-02-13 16:45:20] 719*2^1553964-1 is not prime. Res64: 891BCF867FEDFCF2 Time : 0.0 sec. user=mdettweiler [2020-02-13 16:45:20] 759*2^1553964-1 is not prime. Res64: 6082823AB3458845 Time : 0.0 sec. user=mdettweiler [2020-02-13 16:45:20] 909*2^1553964-1 is not prime. Res64: 59580933304D9A4C Time : 0.0 sec. user=mdettweiler [2020-02-13 16:45:21] 927*2^1553964-1 is not prime. Res64: DAAC5E566D08B495 Time : 0.0 sec. user=mdettweiler [2020-02-13 16:45:21] 947*2^1553964-1 is not prime. Res64: 966A183007B08493 Time : 0.0 sec. user=mdettweiler [2020-02-13 17:24:48] 983*2^1553964-1 is not prime. Res64: F3D122DDBDE3AA17 Time : 0.0 sec. user=mdettweiler [2020-02-13 17:24:48] 649*2^1553965-1 is not prime. Res64: 721961A473860ADE Time : 0.0 sec. user=mdettweiler [2020-02-13 17:24:49] 855*2^1553965-1 is not prime. Res64: 4F7ADA186458C0EC Time : 0.0 sec. user=mdettweiler [2020-02-13 17:24:49] 897*2^1553965-1 is not prime. Res64: F0EAE4C3F1BBFC4D Time : 0.0 sec. user=mdettweiler [2020-02-13 17:24:49] 937*2^1553965-1 is not prime. Res64: 61445DEBF28D28D0 Time : 0.0 sec. user=mdettweiler [2020-02-13 17:31:44] 979*2^1553965-1 is not prime. Res64: 5C4F8E77601B4698 Time : 0.0 sec. user=mdettweiler [2020-02-13 17:31:44] 717*2^1553966-1 is not prime. Res64: 4A0BB01A1EDBD940 Time : 0.0 sec. user=mdettweiler [2020-02-13 17:31:45] 827*2^1553966-1 is not prime. Res64: 1A80845B8CBF0BF4 Time : 0.0 sec. user=mdettweiler [2020-02-13 17:31:46] 935*2^1553966-1 is not prime. Res64: 4FAB1AFA457248DE Time : 0.0 sec. user=mdettweiler [2020-02-13 17:31:46] 945*2^1553966-1 is not prime. Res64: 7D007618C55FEEC0 Time : 0.0 sec. user=mdettweiler [2020-02-13 17:39:25] 965*2^1553966-1 is not prime. Res64: D7AEDDFACE2319CB Time : 0.0 sec. user=mdettweiler [2020-02-13 17:39:25] 971*2^1553966-1 is not prime. Res64: 2FA8DD0F0C9CAC6F Time : 0.0 sec. user=mdettweiler [2020-02-13 17:39:26] 609*2^1553967-1 is not prime. Res64: AC533BA78E492907 Time : 0.0 sec. user=mdettweiler [2020-02-13 17:39:26] 619*2^1553967-1 is not prime. Res64: 4B25C5833142557C Time : 0.0 sec. user=mdettweiler [2020-02-13 17:39:27] 891*2^1553967-1 is not prime. Res64: E67CB3D38464DA66 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:17:14] 985*2^1553967-1 is not prime. Res64: E9312F4D9B7466CB Time : 0.0 sec. user=mdettweiler [2020-02-13 18:17:14] 615*2^1553968-1 is not prime. Res64: 917828B240F7F9EF Time : 0.0 sec. user=mdettweiler [2020-02-13 18:17:15] 635*2^1553968-1 is not prime. Res64: E0D3C1B9000C086D Time : 0.0 sec. user=mdettweiler [2020-02-13 18:17:15] 645*2^1553968-1 is not prime. Res64: 7A557A34890C5454 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:17:16] 677*2^1553968-1 is not prime. Res64: F88EE60733113E41 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:25:02] 705*2^1553968-1 is not prime. Res64: B072488CC4BADB69 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:25:02] 765*2^1553968-1 is not prime. Res64: 03F7A1E208D03A59 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:25:03] 819*2^1553968-1 is not prime. Res64: E005489A731481C0 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:25:03] 843*2^1553968-1 is not prime. Res64: AC440B529B62DB17 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:25:03] 927*2^1553968-1 is not prime. Res64: A524FA5080E5F1FA Time : 0.0 sec. user=mdettweiler [2020-02-13 18:30:59] 631*2^1553969-1 is not prime. Res64: D5EB4C4D80F35B67 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:30:59] 697*2^1553969-1 is not prime. Res64: 39913D9CE090CBE6 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:31:00] 771*2^1553969-1 is not prime. Res64: 4E17EE8DAD7E63F6 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:31:01] 889*2^1553969-1 is not prime. Res64: E91F89D947234FE4 Time : 0.0 sec. user=mdettweiler [2020-02-13 18:31:01] 677*2^1553970-1 is not prime. Res64: 9E672E534B620D3D Time : 0.0 sec. user=mdettweiler [2020-02-13 19:10:27] 765*2^1553970-1 is not prime. Res64: 81BD8BEDEB7A7A5D Time : 0.0 sec. user=mdettweiler [2020-02-13 19:10:28] 873*2^1553970-1 is not prime. Res64: BE5A708D0D174F40 Time : 0.0 sec. user=mdettweiler [2020-02-13 19:10:28] 951*2^1553970-1 is not prime. Res64: E5625D180DA959DE Time : 0.0 sec. user=mdettweiler [2020-02-13 19:10:28] 639*2^1553971-1 is not prime. Res64: D55723819148349B Time : 0.0 sec. user=mdettweiler [2020-02-13 19:10:29] 651*2^1553971-1 is not prime. Res64: 66DDA4772A5C5746 Time : 0.0 sec. user=mdettweiler [2020-02-13 19:16:49] 663*2^1553971-1 is not prime. Res64: CEECDBC388765F92 Time : 0.0 sec. user=mdettweiler [2020-02-13 19:16:50] 673*2^1553971-1 is not prime. Res64: E5ACBEC5ECAA3B2F Time : 0.0 sec. user=mdettweiler [2020-02-13 19:16:50] 741*2^1553971-1 is not prime. Res64: 86D7DDEF37599360 Time : 0.0 sec. user=mdettweiler [2020-02-13 19:16:50] 769*2^1553971-1 is not prime. Res64: 26B8BCE42F52B302 Time : 0.0 sec. user=mdettweiler [2020-02-13 19:16:51] 775*2^1553971-1 is not prime. Res64: 15E2B0FDC4E28C29 Time : 0.0 sec. user=mdettweiler [2020-02-13 19:25:56] 789*2^1553971-1 is not prime. Res64: D447153F0CE8FE52 Time : 0.0 sec. user=mdettweiler [2020-02-13 19:25:57] 829*2^1553971-1 is not prime. Res64: 1889341F5B3900BE Time : 0.0 sec. user=mdettweiler [2020-02-13 19:25:57] 859*2^1553971-1 is not prime. Res64: B999941DB3767222 Time : 0.0 sec. user=mdettweiler [2020-02-13 19:25:57] 913*2^1553971-1 is not prime. Res64: 90929BE95EF5FCAE Time : 0.0 sec. user=mdettweiler [2020-02-13 19:25:58] 939*2^1553971-1 is not prime. Res64: B6A47E160E05448F Time : 0.0 sec. user=mdettweiler [2020-02-13 20:03:24] 993*2^1553971-1 is not prime. Res64: 438B275912089718 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:03:25] 635*2^1553972-1 is not prime. Res64: D28E460CDC0CC195 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:03:25] 647*2^1553972-1 is not prime. Res64: AF68A1D597038D22 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:03:26] 677*2^1553972-1 is not prime. Res64: 8C7734F4171032A4 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:03:27] 749*2^1553972-1 is not prime. Res64: BFF191AE32B394CF Time : 0.0 sec. user=mdettweiler [2020-02-13 20:11:38] 873*2^1553972-1 is not prime. Res64: 0100BFB9C353853E Time : 0.0 sec. user=mdettweiler [2020-02-13 20:11:38] 899*2^1553972-1 is not prime. Res64: A6DAB75545C6948D Time : 0.0 sec. user=mdettweiler [2020-02-13 20:11:39] 977*2^1553972-1 is not prime. Res64: 105334F46F62BAB3 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:11:39] 983*2^1553972-1 is not prime. Res64: D231B0380C42B49A Time : 0.0 sec. user=mdettweiler [2020-02-13 20:11:39] 639*2^1553973-1 is not prime. Res64: D0CAE86EDF6E4E59 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:19:22] 675*2^1553973-1 is not prime. Res64: 21C5E59FCF3D5DE3 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:19:22] 737*2^1553974-1 is not prime. Res64: 2715CF9DBB0D2980 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:19:22] 815*2^1553974-1 is not prime. Res64: C0B2D719FE17F909 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:19:23] 881*2^1553974-1 is not prime. Res64: CF78A87CF45347F6 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:19:23] 917*2^1553974-1 is not prime. Res64: 3F160717DC558B4E Time : 0.0 sec. user=mdettweiler [2020-02-13 20:55:43] 673*2^1553975-1 is not prime. Res64: 1B5E9DFAD1C867D2 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:55:43] 739*2^1553975-1 is not prime. Res64: AE46A9AF9DB891E7 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:55:43] 759*2^1553975-1 is not prime. Res64: E51EF9C0B05057B2 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:55:44] 763*2^1553975-1 is not prime. Res64: 14456647E850C7B5 Time : 0.0 sec. user=mdettweiler [2020-02-13 20:55:44] 829*2^1553975-1 is not prime. Res64: 46F3D073937D149B Time : 0.0 sec. user=mdettweiler [2020-02-13 21:06:26] 991*2^1553975-1 is not prime. Res64: 972B6F2F210E1A03 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:06:28] 693*2^1553976-1 is not prime. Res64: 855ED5480B7B4B56 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:06:30] 735*2^1553976-1 is not prime. Res64: CC79DE3A01EC76C2 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:06:32] 845*2^1553976-1 is not prime. Res64: C85B124585383E7D Time : 0.0 sec. user=mdettweiler [2020-02-13 21:06:34] 923*2^1553976-1 is not prime. Res64: CAE0B7ABB19717E2 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:13:53] 957*2^1553976-1 is not prime. Res64: 1F580E1AF06E0A47 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:13:54] 649*2^1553977-1 is not prime. Res64: 36B22F972CBB4206 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:13:54] 687*2^1553977-1 is not prime. Res64: 4D95881B7D1F2364 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:13:55] 715*2^1553977-1 is not prime. Res64: 9C19C2256C127498 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:13:55] 717*2^1553977-1 is not prime. Res64: E2482C0BF86C8341 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:48:56] 819*2^1553977-1 is not prime. Res64: E58E181DADFBC34B Time : 0.0 sec. user=mdettweiler [2020-02-13 21:48:56] 841*2^1553977-1 is not prime. Res64: FFA3E4A0135C3EF4 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:48:57] 915*2^1553977-1 is not prime. Res64: 07B658323724770F Time : 0.0 sec. user=mdettweiler [2020-02-13 21:48:57] 635*2^1553978-1 is not prime. Res64: 9587466DC664D93A Time : 0.0 sec. user=mdettweiler [2020-02-13 21:48:57] 671*2^1553978-1 is not prime. Res64: 82188E0C78B99AA0 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:58:53] 753*2^1553978-1 is not prime. Res64: 5198CCE39862CAA4 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:58:53] 773*2^1553978-1 is not prime. Res64: BA4EA4B31F69EAE0 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:58:54] 791*2^1553978-1 is not prime. Res64: 9905E5C901DB1F8F Time : 0.0 sec. user=mdettweiler [2020-02-13 21:58:54] 801*2^1553978-1 is not prime. Res64: DDF8E5D82CA06172 Time : 0.0 sec. user=mdettweiler [2020-02-13 21:58:54] 833*2^1553978-1 is not prime. Res64: 091F296232574FD1 Time : 0.0 sec. user=mdettweiler [2020-02-13 22:09:53] 837*2^1553978-1 is not prime. Res64: 7123FD65FAD1B6DC Time : 0.0 sec. user=mdettweiler [2020-02-13 22:09:54] 867*2^1553978-1 is not prime. Res64: B2B93F25B35BF62B Time : 0.0 sec. user=mdettweiler [2020-02-13 22:09:54] 957*2^1553978-1 is not prime. Res64: 6C9951F62A0AA084 Time : 0.0 sec. user=mdettweiler [2020-02-13 22:09:55] 971*2^1553978-1 is not prime. Res64: 38F691428EBE80BC Time : 0.0 sec. user=mdettweiler [2020-02-13 22:09:55] 1001*2^1553978-1 is not prime. Res64: 13D7906A6EF8848F Time : 0.0 sec. user=mdettweiler [2020-02-13 22:41:25] 703*2^1553979-1 is not prime. Res64: 463A08FD5C8B754B Time : 0.0 sec. user=mdettweiler [2020-02-13 22:41:25] 615*2^1553980-1 is not prime. Res64: 974CCD0ADD3DB331 Time : 0.0 sec. user=mdettweiler [2020-02-13 22:41:26] 723*2^1553980-1 is not prime. Res64: 7B60462CA0561DD6 Time : 0.0 sec. user=mdettweiler [2020-02-13 22:41:26] 755*2^1553980-1 is not prime. Res64: 9BF4B3E0AF2926E6 Time : 0.0 sec. user=mdettweiler [2020-02-13 22:41:26] 915*2^1553980-1 is not prime. Res64: 02798A90046CFF95 Time : 0.0 sec. user=mdettweiler [2020-02-13 22:51:33] 929*2^1553980-1 is not prime. Res64: 7FC378A5C99CF7D0 Time : 0.0 sec. user=mdettweiler [2020-02-13 22:51:33] 621*2^1553981-1 is not prime. Res64: E95E82439D9CAA42 Time : 0.0 sec. user=mdettweiler [2020-02-13 22:51:34] 685*2^1553981-1 is not prime. Res64: 0681734D33051378 Time : 0.0 sec. user=mdettweiler [2020-02-13 22:51:34] 715*2^1553981-1 is not prime. Res64: C7F336401E850950 Time : 0.0 sec. user=mdettweiler [2020-02-13 22:51:34] 837*2^1553981-1 is not prime. Res64: 6873586559D74C4E Time : 0.0 sec. user=mdettweiler [2020-02-13 23:07:47] 931*2^1553981-1 is not prime. Res64: DA4FAC8C9AB6AAD2 Time : 0.0 sec. user=mdettweiler [2020-02-13 23:07:48] 949*2^1553981-1 is not prime. Res64: CC5DF161415BA19A Time : 0.0 sec. user=mdettweiler [2020-02-13 23:07:48] 951*2^1553981-1 is not prime. Res64: A5C8EB7AFB17C017 Time : 0.0 sec. user=mdettweiler [2020-02-13 23:07:49] 955*2^1553981-1 is not prime. Res64: 4024996D33B04EFE Time : 0.0 sec. user=mdettweiler [2020-02-13 23:07:49] 981*2^1553981-1 is not prime. Res64: 8526E0970737CDDF Time : 0.0 sec. user=mdettweiler [2020-02-13 23:34:25] 815*2^1553982-1 is not prime. Res64: 41BA416DCBDE8CA5 Time : 0.0 sec. user=mdettweiler [2020-02-13 23:34:26] 965*2^1553982-1 is not prime. Res64: F0B9233BCD78A365 Time : 0.0 sec. user=mdettweiler [2020-02-13 23:34:26] 693*2^1553983-1 is not prime. Res64: 193B8A73E4815C12 Time : 0.0 sec. user=mdettweiler [2020-02-13 23:34:26] 729*2^1553983-1 is not prime. Res64: 3B4CF80A36932B4A Time : 0.0 sec. user=mdettweiler [2020-02-13 23:34:27] 861*2^1553983-1 is not prime. Res64: D9F2701305CB737B Time : 0.0 sec. user=mdettweiler [2020-02-13 23:45:36] 871*2^1553983-1 is not prime. Res64: 82071CBFBF5DEC73 Time : 0.0 sec. user=mdettweiler [2020-02-13 23:45:36] 933*2^1553983-1 is not prime. Res64: 931AC00A20832690 Time : 0.0 sec. user=mdettweiler [2020-02-13 23:45:36] 961*2^1553983-1 is not prime. Res64: 48D2AB8EFFC0AB9B Time : 0.0 sec. user=mdettweiler [2020-02-13 23:45:37] 635*2^1553984-1 is not prime. Res64: 578094FDEF6162A3 Time : 0.0 sec. user=mdettweiler [2020-02-13 23:45:37] 683*2^1553984-1 is not prime. Res64: C7DA02D3F04A579A Time : 0.0 sec.