user=juhehe [2017-05-03 00:27:45] 861*2^1452994-1 is not prime. Res64: 3FAAD546DDF87A6A Time : 0.0 sec. user=mdettweiler [2017-05-03 00:42:15] 941*2^1452994-1 is not prime. Res64: C09EEB5016407E96 Time : 0.0 sec. user=mdettweiler [2017-05-03 00:42:15] 945*2^1452994-1 is not prime. Res64: B28A38F01E4EDF7F Time : 0.0 sec. user=mdettweiler [2017-05-03 00:42:16] 643*2^1452995-1 is not prime. Res64: B964E73CDF468167 Time : 0.0 sec. user=mdettweiler [2017-05-03 00:42:16] 649*2^1452995-1 is not prime. Res64: 4162D1F635A25293 Time : 0.0 sec. user=mdettweiler [2017-05-03 00:42:17] 699*2^1452995-1 is not prime. Res64: 41198A0FF5C6C831 Time : 0.0 sec. user=mdettweiler [2017-05-03 00:42:17] 783*2^1452995-1 is not prime. Res64: 632AC4C9722E573F Time : 0.0 sec. user=mdettweiler [2017-05-03 00:42:18] 913*2^1452995-1 is not prime. Res64: F118337564DCD2CE Time : 0.0 sec. user=mdettweiler [2017-05-03 00:42:18] 991*2^1452995-1 is not prime. Res64: 745C2EAF40DC22F6 Time : 0.0 sec. user=mdettweiler [2017-05-03 00:42:19] 623*2^1452996-1 is not prime. Res64: 42797FFDC86FADA0 Time : 0.0 sec. user=mdettweiler [2017-05-03 00:42:19] 635*2^1452996-1 is not prime. Res64: 1175DDB5CF44F695 Time : 0.0 sec. user=mdettweiler [2017-05-03 01:26:43] 639*2^1452996-1 is not prime. Res64: 1E6BF13C70417E20 Time : 0.0 sec. user=mdettweiler [2017-05-03 01:26:44] 669*2^1452996-1 is not prime. Res64: 1EA03836A92AD0B8 Time : 0.0 sec. user=mdettweiler [2017-05-03 01:26:46] 725*2^1452996-1 is not prime. Res64: B858299D2FDF6687 Time : 0.0 sec. user=mdettweiler [2017-05-03 01:26:46] 661*2^1452997-1 is not prime. Res64: E15923164A0A9EEE Time : 0.0 sec. user=mdettweiler [2017-05-03 01:26:47] 803*2^1452996-1 is not prime. Res64: 40C11BB227519B69 Time : 0.0 sec. user=mdettweiler [2017-05-03 01:26:48] 885*2^1452997-1 is not prime. Res64: B5A4CE59E4C72CB1 Time : 0.0 sec. user=mdettweiler [2017-05-03 01:26:50] 625*2^1452997-1 is not prime. Res64: F2BD34CBB8D00DB4 Time : 0.0 sec. user=mdettweiler [2017-05-03 01:26:50] 915*2^1452997-1 is not prime. Res64: 81AE1F664CB6E494 Time : 0.0 sec. user=mdettweiler [2017-05-03 01:26:52] 955*2^1452997-1 is not prime. Res64: 3B3D4A9FDCC7EFF5 Time : 0.0 sec. user=mdettweiler [2017-05-03 01:26:53] 665*2^1452998-1 is not prime. Res64: 5B23EF7E828F4158 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:11:47] 671*2^1452998-1 is not prime. Res64: BD772F6BC7F10193 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:11:48] 693*2^1452998-1 is not prime. Res64: 6B4C3D9EBCB10D6B Time : 0.0 sec. user=mdettweiler [2017-05-03 02:11:48] 887*2^1452998-1 is not prime. Res64: B2DB0307F736985B Time : 0.0 sec. user=mdettweiler [2017-05-03 02:11:49] 755*2^1452998-1 is not prime. Res64: CE7E3883FEF47F1D Time : 0.0 sec. user=mdettweiler [2017-05-03 02:11:49] 923*2^1452998-1 is not prime. Res64: 4885FAB74CE5EC8B Time : 0.0 sec. user=mdettweiler [2017-05-03 02:11:49] 825*2^1452998-1 is not prime. Res64: 458AF36B5D2D60F3 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:11:49] 945*2^1452998-1 is not prime. Res64: 52A6B8264C843F31 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:11:50] 867*2^1452998-1 is not prime. Res64: A23BEF05AC64B6C9 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:11:50] 1001*2^1452998-1 is not prime. Res64: 4BBBAC620B9526F8 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:11:50] 661*2^1452999-1 is not prime. Res64: C16718DB94D00607 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:56:21] 669*2^1452999-1 is not prime. Res64: 0CF99E5E2A410489 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:56:21] 843*2^1453000-1 is not prime. Res64: B645602A7D409081 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:56:21] 891*2^1452999-1 is not prime. Res64: BF5FFF23FB7F7F39 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:56:22] 855*2^1453000-1 is not prime. Res64: 99F5EFF2D624268A Time : 0.0 sec. user=mdettweiler [2017-05-03 02:56:22] 909*2^1453000-1 is not prime. Res64: 853267ED731D4E27 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:56:22] 603*2^1453000-1 is not prime. Res64: C57549012F45E11F Time : 0.0 sec. user=mdettweiler [2017-05-03 02:56:23] 923*2^1453000-1 is not prime. Res64: 150599F4B311AE88 Time : 0.0 sec. user=mdettweiler [2017-05-03 02:56:23] 629*2^1453000-1 is not prime. Res64: EBED2880C4E17A5C Time : 0.0 sec. user=mdettweiler [2017-05-03 02:56:23] 927*2^1453000-1 is not prime. Res64: 82A603BB0C7F8FFC Time : 0.0 sec. user=mdettweiler [2017-05-03 02:56:23] 677*2^1453000-1 is not prime. Res64: 3EF0A863E1CB57FA Time : 0.0 sec. user=mdettweiler [2017-05-03 03:40:51] 965*2^1453000-1 is not prime. Res64: C0C0A1B76605896D Time : 0.0 sec. user=mdettweiler [2017-05-03 03:40:51] 675*2^1453003-1 is not prime. Res64: 8B63569A3A9E6398 Time : 0.0 sec. user=mdettweiler [2017-05-03 03:40:53] 717*2^1453002-1 is not prime. Res64: C37A0384B03F55E0 Time : 0.0 sec. user=mdettweiler [2017-05-03 03:40:53] 751*2^1453003-1 is not prime. Res64: 1CA031791DDB637B Time : 0.0 sec. user=mdettweiler [2017-05-03 03:40:54] 797*2^1453002-1 is not prime. Res64: 60CBF282080A013D Time : 0.0 sec. user=mdettweiler [2017-05-03 03:40:55] 771*2^1453003-1 is not prime. Res64: 7327238A09652169 Time : 0.0 sec. user=mdettweiler [2017-05-03 03:40:55] 947*2^1453002-1 is not prime. Res64: 8EEC0C4FAB9ED51C Time : 0.0 sec. user=mdettweiler [2017-05-03 03:40:56] 913*2^1453003-1 is not prime. Res64: 72578B8536147A55 Time : 0.0 sec. user=mdettweiler [2017-05-03 03:40:56] 639*2^1453003-1 is not prime. Res64: 9799B3234EB845A0 Time : 0.0 sec. user=mdettweiler [2017-05-03 03:40:57] 919*2^1453003-1 is not prime. Res64: 8B9EF44F2D5F9387 Time : 0.0 sec. user=mdettweiler [2017-05-03 04:25:28] 743*2^1453004-1 is not prime. Res64: ABC5C663EAE403A4 Time : 0.0 sec. user=mdettweiler [2017-05-03 04:25:28] 777*2^1453005-1 is not prime. Res64: 1DD7B68C9C7622DD Time : 0.0 sec. user=mdettweiler [2017-05-03 04:25:28] 749*2^1453004-1 is not prime. Res64: 4E83E1D9F1E07522 Time : 0.0 sec. user=mdettweiler [2017-05-03 04:25:28] 817*2^1453005-1 is not prime. Res64: 21CDC958FAC5D878 Time : 0.0 sec. user=mdettweiler [2017-05-03 04:25:29] 985*2^1453005-1 is not prime. Res64: EB1F471EEA6768B6 Time : 0.0 sec. user=mdettweiler [2017-05-03 04:25:29] 753*2^1453004-1 is not prime. Res64: 2B1A41E217250595 Time : 0.0 sec. user=mdettweiler [2017-05-03 04:25:29] 999*2^1453005-1 is not prime. Res64: A933D7D5025607FA Time : 0.0 sec. user=mdettweiler [2017-05-03 04:25:29] 899*2^1453004-1 is not prime. Res64: 343EB95D8F10FE83 Time : 0.0 sec. user=mdettweiler [2017-05-03 04:25:30] 695*2^1453006-1 is not prime. Res64: 7C001D63692F9046 Time : 0.0 sec. user=mdettweiler [2017-05-03 04:25:30] 935*2^1453004-1 is not prime. Res64: 3715C2C782372651 Time : 0.0 sec. user=juhehe [2017-05-03 04:41:04] 825*2^1453006-1 is not prime. Res64: A555E70BA50CFD55 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:09:59] 825*2^1453007-1 is not prime. Res64: 51959BBFEB405A85 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:09:59] 881*2^1453006-1 is not prime. Res64: ECE373D52F2CAFF0 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:10:00] 915*2^1453007-1 is not prime. Res64: 29CC493B0D86296F Time : 0.0 sec. user=mdettweiler [2017-05-03 05:10:00] 887*2^1453006-1 is not prime. Res64: A1A755761E9C24A5 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:10:00] 605*2^1453008-1 is not prime. Res64: D9BBA28F92BD8E02 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:10:00] 911*2^1453006-1 is not prime. Res64: 1CD3B63AB02ABF02 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:10:01] 635*2^1453008-1 is not prime. Res64: 67D1E4C377B523BB Time : 0.0 sec. user=mdettweiler [2017-05-03 05:10:01] 1001*2^1453006-1 is not prime. Res64: B4AC3E4DB7FB3AE9 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:10:02] 725*2^1453008-1 is not prime. Res64: CCA6916C3669FAB3 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:10:02] 643*2^1453007-1 is not prime. Res64: C44AFB5471C2F54F Time : 0.0 sec. user=mdettweiler [2017-05-03 05:54:32] 875*2^1453008-1 is not prime. Res64: B0BD06619D76319E Time : 0.0 sec. user=mdettweiler [2017-05-03 05:54:32] 893*2^1453008-1 is not prime. Res64: 7A6788C867D2A17A Time : 0.0 sec. user=mdettweiler [2017-05-03 05:54:32] 899*2^1453008-1 is not prime. Res64: B0F6A59965F7B3EF Time : 0.0 sec. user=mdettweiler [2017-05-03 05:54:33] 927*2^1453008-1 is not prime. Res64: 75794F578A80F450 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:54:33] 947*2^1453008-1 is not prime. Res64: 09BA2345CD6A3D67 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:54:35] 677*2^1453010-1 is not prime. Res64: CDFD002482B9DEB6 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:54:36] 753*2^1453010-1 is not prime. Res64: D0A9F8FABFC124F7 Time : 0.0 sec. user=mdettweiler [2017-05-03 05:54:36] 797*2^1453010-1 is not prime. Res64: CFA16BBBD7FFE5BC Time : 0.0 sec. user=mdettweiler [2017-05-03 05:54:37] 843*2^1453010-1 is not prime. Res64: 9E564FD06A91ADCF Time : 0.0 sec. user=mdettweiler [2017-05-03 05:54:37] 995*2^1453010-1 is not prime. Res64: 9BC01F50A7450B2A Time : 0.0 sec. user=mdettweiler [2017-05-03 06:38:59] 943*2^1453011-1 is not prime. Res64: 474544226690DF6B Time : 0.0 sec. user=mdettweiler [2017-05-03 06:39:00] 969*2^1453011-1 is not prime. Res64: 4F1345FF0281968E Time : 0.0 sec. user=mdettweiler [2017-05-03 06:39:00] 687*2^1453012-1 is not prime. Res64: 95C3C868A5ADA91F Time : 0.0 sec. user=mdettweiler [2017-05-03 06:39:00] 689*2^1453012-1 is not prime. Res64: 5E1BE8D7A307B774 Time : 0.0 sec. user=mdettweiler [2017-05-03 06:39:01] 693*2^1453012-1 is not prime. Res64: F787CA7DEBD33F13 Time : 0.0 sec. user=mdettweiler [2017-05-03 06:39:02] 717*2^1453012-1 is not prime. Res64: 0C1E60267E003A8B Time : 0.0 sec. user=mdettweiler [2017-05-03 06:39:03] 957*2^1453012-1 is not prime. Res64: 319AFB837A27889E Time : 0.0 sec. user=mdettweiler [2017-05-03 06:39:03] 745*2^1453013-1 is not prime. Res64: D903028EBF3881FD Time : 0.0 sec. user=mdettweiler [2017-05-03 06:39:04] 789*2^1453013-1 is not prime. Res64: 6E50177DA403C437 Time : 0.0 sec. user=mdettweiler [2017-05-03 06:39:04] 829*2^1453013-1 is not prime. Res64: 66D4DEBD6D9C70C7 Time : 0.0 sec. user=mdettweiler [2017-05-03 07:23:26] 949*2^1453013-1 is not prime. Res64: EB37CB3A31436BA0 Time : 0.0 sec. user=mdettweiler [2017-05-03 07:23:26] 971*2^1453014-1 is not prime. Res64: D83F1D9ED86A8468 Time : 0.0 sec. user=mdettweiler [2017-05-03 07:23:27] 993*2^1453014-1 is not prime. Res64: 327BD73F686551AF Time : 0.0 sec. user=mdettweiler [2017-05-03 07:23:27] 705*2^1453014-1 is not prime. Res64: FEF6989AA49CD055 Time : 0.0 sec. user=mdettweiler [2017-05-03 07:23:27] 633*2^1453015-1 is not prime. Res64: 62023C34F8AD64A8 Time : 0.0 sec. user=mdettweiler [2017-05-03 07:23:28] 755*2^1453014-1 is not prime. Res64: FBEB1D6CDD8B45C6 Time : 0.0 sec. user=mdettweiler [2017-05-03 07:23:28] 805*2^1453015-1 is not prime. Res64: E2A5D68FD325574A Time : 0.0 sec. user=mdettweiler [2017-05-03 07:23:28] 795*2^1453014-1 is not prime. Res64: 9CBFF4996C78AC95 Time : 0.0 sec. user=mdettweiler [2017-05-03 07:23:28] 871*2^1453015-1 is not prime. Res64: B7B9D58C49B5669C Time : 0.0 sec. user=mdettweiler [2017-05-03 07:23:29] 917*2^1453014-1 is not prime. Res64: 7D0E383289C9B53D Time : 0.0 sec. user=mdettweiler [2017-05-03 08:07:52] 755*2^1453016-1 is not prime. Res64: 16230096CD327F51 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:07:53] 759*2^1453016-1 is not prime. Res64: B45B83631D9B82A4 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:07:53] 855*2^1453016-1 is not prime. Res64: BDE647E4F5587603 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:07:54] 857*2^1453016-1 is not prime. Res64: 4A382B8BA96EFEC6 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:07:54] 667*2^1453017-1 is not prime. Res64: D46A2F662A85B0D1 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:07:57] 623*2^1453016-1 is not prime. Res64: 7CD81B39C26A6D51 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:07:58] 645*2^1453016-1 is not prime. Res64: 2C1DC793000C1A93 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:07:59] 659*2^1453016-1 is not prime. Res64: 5FE018332F13600D Time : 0.0 sec. user=mdettweiler [2017-05-03 08:08:00] 699*2^1453016-1 is not prime. Res64: DF84EEC24AF9FC80 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:08:00] 719*2^1453016-1 is not prime. Res64: A51D494E5B61A26E Time : 0.0 sec. user=juhehe [2017-05-03 08:10:06] 815*2^1453008-1 is not prime. Res64: 1613974CE14F66B7 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:52:22] 647*2^1453018-1 is not prime. Res64: B5D6B67FC071705A Time : 0.0 sec. user=mdettweiler [2017-05-03 08:52:22] 681*2^1453018-1 is not prime. Res64: B7AC09BBE2D54C4C Time : 0.0 sec. user=mdettweiler [2017-05-03 08:52:23] 731*2^1453018-1 is not prime. Res64: FB4B9A1CFD36EF77 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:52:23] 867*2^1453018-1 is not prime. Res64: C63B2B5D92622626 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:52:23] 705*2^1453019-1 is not prime. Res64: 1CE6DED7342EF186 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:52:24] 853*2^1453019-1 is not prime. Res64: B48186D81AE4F3CC Time : 0.0 sec. user=mdettweiler [2017-05-03 08:52:24] 861*2^1453019-1 is not prime. Res64: D497C273A5937A66 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:52:25] 909*2^1453019-1 is not prime. Res64: 12372316BDA15DEA Time : 0.0 sec. user=mdettweiler [2017-05-03 08:52:25] 973*2^1453019-1 is not prime. Res64: 7ED56625F808E316 Time : 0.0 sec. user=mdettweiler [2017-05-03 08:52:26] 609*2^1453020-1 is not prime. Res64: 683A16FD13A4B364 Time : 0.0 sec. user=juhehe [2017-05-03 08:54:35] 627*2^1453020-1 is not prime. Res64: 5BBC6C161EC124D4 Time : 0.0 sec. user=mdettweiler [2017-05-03 09:36:47] 653*2^1453020-1 is not prime. Res64: 20F3C1760FB45098 Time : 0.0 sec. user=mdettweiler [2017-05-03 09:36:47] 689*2^1453020-1 is not prime. Res64: 7C438DC96954F0D6 Time : 0.0 sec. user=mdettweiler [2017-05-03 09:36:48] 753*2^1453020-1 is not prime. Res64: 72336A21E8DB231D Time : 0.0 sec. user=mdettweiler [2017-05-03 09:36:48] 765*2^1453020-1 is not prime. Res64: B4B2E29923CC39B6 Time : 0.0 sec. user=mdettweiler [2017-05-03 09:36:49] 779*2^1453020-1 is not prime. Res64: 487E61C6B63E51D8 Time : 0.0 sec. user=mdettweiler [2017-05-03 09:36:49] 687*2^1453021-1 is not prime. Res64: 50F9B5AC6093FD1B Time : 0.0 sec. user=mdettweiler [2017-05-03 09:36:49] 615*2^1453022-1 is not prime. Res64: 6AF4233AFAAB2E24 Time : 0.0 sec. user=mdettweiler [2017-05-03 09:36:50] 675*2^1453022-1 is not prime. Res64: 679122BD4CC6AFF0 Time : 0.0 sec. user=mdettweiler [2017-05-03 09:36:50] 731*2^1453022-1 is not prime. Res64: 515DB2AF8E41A561 Time : 0.0 sec. user=mdettweiler [2017-05-03 09:36:51] 741*2^1453022-1 is not prime. Res64: 81B6C97954831D69 Time : 0.0 sec. user=juhehe [2017-05-03 09:37:58] 743*2^1453022-1 is not prime. Res64: 6854E8DFD9C27BDB Time : 0.0 sec. user=mdettweiler [2017-05-03 10:21:13] 965*2^1453022-1 is not prime. Res64: 8CBC7B2E1D9290F0 Time : 0.0 sec. user=mdettweiler [2017-05-03 10:21:14] 609*2^1453023-1 is not prime. Res64: 5D08AD9545172A8F Time : 0.0 sec. user=mdettweiler [2017-05-03 10:21:14] 661*2^1453023-1 is not prime. Res64: 8BBB448B6E5FFD3E Time : 0.0 sec. user=mdettweiler [2017-05-03 10:21:15] 853*2^1453023-1 is not prime. Res64: 19A12F005D0C4533 Time : 0.0 sec. user=mdettweiler [2017-05-03 10:21:15] 663*2^1453023-1 is not prime. Res64: 289EBC4AD505B682 Time : 0.0 sec. user=mdettweiler [2017-05-03 10:21:15] 781*2^1453023-1 is not prime. Res64: AFA85895262A5EA1 Time : 0.0 sec. user=mdettweiler [2017-05-03 10:21:15] 913*2^1453023-1 is not prime. Res64: 7F7C919B08071105 Time : 0.0 sec. user=mdettweiler [2017-05-03 10:21:16] 639*2^1453024-1 is not prime. Res64: 637EECB142A33D00 Time : 0.0 sec. user=mdettweiler [2017-05-03 10:21:16] 699*2^1453024-1 is not prime. Res64: 6B20123C5E2BD54F Time : 0.0 sec. user=mdettweiler [2017-05-03 10:21:17] 825*2^1453024-1 is not prime. Res64: 942D5C113B11F3A9 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:05:44] 855*2^1453024-1 is not prime. Res64: DC83EB3DA83D4F8E Time : 0.0 sec. user=mdettweiler [2017-05-03 11:05:44] 875*2^1453024-1 is not prime. Res64: B4A96B0131BFE5F0 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:05:45] 939*2^1453024-1 is not prime. Res64: F4ECEB6DDE938EE6 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:05:45] 975*2^1453024-1 is not prime. Res64: F94FD1DCA0D03E9A Time : 0.0 sec. user=mdettweiler [2017-05-03 11:05:46] 691*2^1453025-1 is not prime. Res64: 281542E1B9E50644 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:05:46] 727*2^1453025-1 is not prime. Res64: F74AFADC7DD28CD9 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:05:47] 729*2^1453025-1 is not prime. Res64: 63E84DA41DF8D778 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:05:47] 819*2^1453025-1 is not prime. Res64: E1200020AFD8E901 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:05:48] 755*2^1453026-1 is not prime. Res64: 149740CA9BCB53D5 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:05:49] 837*2^1453026-1 is not prime. Res64: 144B8C3148A08C5A Time : 0.0 sec. user=juhehe [2017-05-03 11:49:23] 923*2^1453028-1 is not prime. Res64: F1D6E18F9E47405F Time : 0.0 sec. user=mdettweiler [2017-05-03 11:50:13] 893*2^1453026-1 is not prime. Res64: 3E78575904A38ABB Time : 0.0 sec. user=mdettweiler [2017-05-03 11:50:14] 993*2^1453026-1 is not prime. Res64: 2CA5B9D4989BF59E Time : 0.0 sec. user=mdettweiler [2017-05-03 11:50:14] 629*2^1453028-1 is not prime. Res64: 72FECB133D5ECA85 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:50:14] 685*2^1453027-1 is not prime. Res64: 386000F9F64DCB9B Time : 0.0 sec. user=mdettweiler [2017-05-03 11:50:14] 689*2^1453028-1 is not prime. Res64: E4E35C220F7EDD97 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:50:15] 871*2^1453027-1 is not prime. Res64: 95B1926FC0B8A848 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:50:15] 699*2^1453028-1 is not prime. Res64: 0E4D4763F70D476A Time : 0.0 sec. user=mdettweiler [2017-05-03 11:50:15] 885*2^1453027-1 is not prime. Res64: 5B7477789819A268 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:50:15] 759*2^1453028-1 is not prime. Res64: E85C0A8012E5FE65 Time : 0.0 sec. user=mdettweiler [2017-05-03 11:50:16] 803*2^1453028-1 is not prime. Res64: 40DAF2AAD398F07D Time : 0.0 sec. user=mdettweiler [2017-05-03 12:34:59] 969*2^1453028-1 is not prime. Res64: 0F74FF5CB6BF4C86 Time : 0.0 sec. user=mdettweiler [2017-05-03 12:34:59] 949*2^1453029-1 is not prime. Res64: 01257ED4DC64E6CD Time : 0.0 sec. user=mdettweiler [2017-05-03 12:34:59] 735*2^1453029-1 is not prime. Res64: A43102B2362813E9 Time : 0.0 sec. user=mdettweiler [2017-05-03 12:34:59] 985*2^1453029-1 is not prime. Res64: A7F33D3090135DE3 Time : 0.0 sec. user=mdettweiler [2017-05-03 12:35:00] 723*2^1453030-1 is not prime. Res64: 195EDAABC7014E8A Time : 0.0 sec. user=mdettweiler [2017-05-03 12:35:00] 795*2^1453029-1 is not prime. Res64: A777498062DC3332 Time : 0.0 sec. user=mdettweiler [2017-05-03 12:35:00] 741*2^1453030-1 is not prime. Res64: 6897A5305C067801 Time : 0.0 sec. user=mdettweiler [2017-05-03 12:35:00] 829*2^1453029-1 is not prime. Res64: 69C1F8723F3BB224 Time : 0.0 sec. user=mdettweiler [2017-05-03 12:35:00] 791*2^1453030-1 is not prime. Res64: 39ED2AEBCFC7D257 Time : 0.0 sec. user=mdettweiler [2017-05-03 12:35:00] 885*2^1453029-1 is not prime. Res64: 74EB5BE328DA49B3 Time : 0.0 sec. user=juhehe [2017-05-03 13:16:57] 861*2^1453030-1 is not prime. Res64: A9182A0904383E88 Time : 0.0 sec. user=mdettweiler [2017-05-03 13:19:51] 753*2^1453031-1 is not prime. Res64: 6912DD9DC7B6F2D2 Time : 0.0 sec. user=mdettweiler [2017-05-03 13:19:52] 945*2^1453030-1 is not prime. Res64: FB9AE4E2988AD2BF Time : 0.0 sec. user=mdettweiler [2017-05-03 13:19:52] 987*2^1453030-1 is not prime. Res64: 5C4AB2BC38CB96D4 Time : 0.0 sec. user=mdettweiler [2017-05-03 13:19:52] 949*2^1453031-1 is not prime. Res64: 4CCACFB4D7D78C8B Time : 0.0 sec. user=mdettweiler [2017-05-03 13:19:52] 955*2^1453031-1 is not prime. Res64: 9FEE7546E6489BA3 Time : 0.0 sec. user=mdettweiler [2017-05-03 13:19:53] 619*2^1453031-1 is not prime. Res64: 63691270F8152343 Time : 0.0 sec. user=mdettweiler [2017-05-03 13:19:53] 633*2^1453032-1 is not prime. Res64: 2A7DFF436F50467A Time : 0.0 sec. user=mdettweiler [2017-05-03 13:19:53] 673*2^1453031-1 is not prime. Res64: 6C0E48E5130998D5 Time : 0.0 sec. user=mdettweiler [2017-05-03 13:19:53] 665*2^1453032-1 is not prime. Res64: 8F313B0EE6C445E9 Time : 0.0 sec. user=mdettweiler [2017-05-03 13:19:54] 679*2^1453031-1 is not prime. Res64: C20F1A3DAE90ECA2 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:04:22] 957*2^1453033-1 is not prime. Res64: 3E5547D97E714DC1 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:04:22] 695*2^1453032-1 is not prime. Res64: E2ED124F59E96769 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:04:23] 623*2^1453034-1 is not prime. Res64: D2E52C1F767EF588 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:04:24] 909*2^1453032-1 is not prime. Res64: F2E3EB6115011719 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:04:25] 633*2^1453034-1 is not prime. Res64: F32CEECF73867DA1 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:04:26] 651*2^1453033-1 is not prime. Res64: 5699CCE57BE1686A Time : 0.0 sec. user=mdettweiler [2017-05-03 14:04:27] 671*2^1453034-1 is not prime. Res64: AEC6F1638BDC79F8 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:04:28] 805*2^1453033-1 is not prime. Res64: D9E4C611A1638B19 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:04:29] 705*2^1453034-1 is not prime. Res64: 9552CCA402B21620 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:04:29] 955*2^1453033-1 is not prime. Res64: 5ECD9FD202C4E19B Time : 0.0 sec. user=mdettweiler [2017-05-03 14:49:10] 711*2^1453034-1 is not prime. Res64: F1BFD53AB19AC047 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:49:10] 797*2^1453034-1 is not prime. Res64: 67C5BA5F0A336783 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:49:11] 815*2^1453034-1 is not prime. Res64: 804228913DC6AC3C Time : 0.0 sec. user=mdettweiler [2017-05-03 14:49:11] 995*2^1453034-1 is not prime. Res64: 22B794593119B7E9 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:49:11] 793*2^1453035-1 is not prime. Res64: B1D1C28D20C5F617 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:49:11] 619*2^1453035-1 is not prime. Res64: E6C3BFD7BAD7BF48 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:49:12] 849*2^1453035-1 is not prime. Res64: 0F4897E4628D69CE Time : 0.0 sec. user=mdettweiler [2017-05-03 14:49:12] 921*2^1453035-1 is not prime. Res64: 093B8489677DD679 Time : 0.0 sec. user=mdettweiler [2017-05-03 14:49:12] 949*2^1453035-1 is not prime. Res64: B3D964F403A6CF8F Time : 0.0 sec. user=mdettweiler [2017-05-03 14:49:13] 603*2^1453036-1 is not prime. Res64: 09A04471CF8DF3E4 Time : 0.0 sec. user=juhehe [2017-05-03 15:28:36] 675*2^1453036-1 is not prime. Res64: 95B3E041AE62DB7C Time : 0.0 sec. user=mdettweiler [2017-05-03 15:33:37] 693*2^1453036-1 is not prime. Res64: DC876FEB28CE454E Time : 0.0 sec. user=mdettweiler [2017-05-03 15:33:37] 741*2^1453037-1 is not prime. Res64: 9E681AB2300F9051 Time : 0.0 sec. user=mdettweiler [2017-05-03 15:33:38] 777*2^1453036-1 is not prime. Res64: 194D3EDAE926A666 Time : 0.0 sec. user=mdettweiler [2017-05-03 15:33:38] 979*2^1453037-1 is not prime. Res64: E7B955B0D0C44084 Time : 0.0 sec. user=mdettweiler [2017-05-03 15:33:38] 953*2^1453036-1 is not prime. Res64: 2CA7F3C0CF70C6A7 Time : 0.0 sec. user=mdettweiler [2017-05-03 15:33:38] 843*2^1453038-1 is not prime. Res64: A773EB99BE1E9ED2 Time : 0.0 sec. user=mdettweiler [2017-05-03 15:33:39] 999*2^1453036-1 is not prime. Res64: C753E3D6AC4C30FC Time : 0.0 sec. user=mdettweiler [2017-05-03 15:33:39] 861*2^1453038-1 is not prime. Res64: F2C3DB66FAF04E7F Time : 0.0 sec. user=mdettweiler [2017-05-03 15:33:39] 627*2^1453037-1 is not prime. Res64: D425F0B0DCAB5BA3 Time : 0.0 sec. user=mdettweiler [2017-05-03 15:33:39] 963*2^1453038-1 is not prime. Res64: 8BAD3666E5B01C44 Time : 0.0 sec. user=mdettweiler [2017-05-03 16:18:24] 855*2^1453039-1 is not prime. Res64: 0B972B56553850FA Time : 0.0 sec. user=mdettweiler [2017-05-03 16:18:24] 615*2^1453039-1 is not prime. Res64: E03217F4D7FA1291 Time : 0.0 sec. user=mdettweiler [2017-05-03 16:18:24] 861*2^1453039-1 is not prime. Res64: 6C55718E24D94F3F Time : 0.0 sec. user=mdettweiler [2017-05-03 16:18:24] 705*2^1453039-1 is not prime. Res64: C13A084DA098F18F Time : 0.0 sec. user=mdettweiler [2017-05-03 16:18:25] 873*2^1453039-1 is not prime. Res64: 9B77C7775EAEF20F Time : 0.0 sec. user=mdettweiler [2017-05-03 16:18:25] 723*2^1453039-1 is not prime. Res64: 9700934019B41003 Time : 0.0 sec. user=mdettweiler [2017-05-03 16:18:25] 765*2^1453039-1 is not prime. Res64: 221230C360A59B81 Time : 0.0 sec. user=mdettweiler [2017-05-03 16:18:26] 885*2^1453039-1 is not prime. Res64: 4F21C6EA04609C67 Time : 0.0 sec. user=mdettweiler [2017-05-03 16:18:26] 853*2^1453039-1 is not prime. Res64: BED735DD83247D60 Time : 0.0 sec. user=mdettweiler [2017-05-03 16:18:26] 975*2^1453039-1 is not prime. Res64: FB70F3CB04DF5540 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:03:16] 855*2^1453040-1 is not prime. Res64: 348B78ABF7E5E2A6 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:03:17] 675*2^1453040-1 is not prime. Res64: 5DB4EA006605B6BB Time : 0.0 sec. user=mdettweiler [2017-05-03 17:03:21] 995*2^1453040-1 is not prime. Res64: 6A183D0DCC1FCAB4 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:03:22] 689*2^1453040-1 is not prime. Res64: 9723F1445859F0BA Time : 0.0 sec. user=mdettweiler [2017-05-03 17:03:24] 609*2^1453041-1 is not prime. Res64: 6C81990245A12B70 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:03:25] 725*2^1453040-1 is not prime. Res64: 85EDF975BEB5EF84 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:03:26] 615*2^1453041-1 is not prime. Res64: A4696E711993BFEE Time : 0.0 sec. user=mdettweiler [2017-05-03 17:03:28] 669*2^1453041-1 is not prime. Res64: F79793651DA52322 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:03:28] 839*2^1453040-1 is not prime. Res64: 3D72047773A0FCD4 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:03:30] 843*2^1453040-1 is not prime. Res64: B56B7A5F69BA290E Time : 0.0 sec. user=juhehe [2017-05-03 17:40:24] 679*2^1453041-1 is not prime. Res64: 35937A4D112CC85C Time : 0.0 sec. user=mdettweiler [2017-05-03 17:48:23] 671*2^1453042-1 is not prime. Res64: EFB98257049ADAEC Time : 0.0 sec. user=mdettweiler [2017-05-03 17:48:24] 705*2^1453042-1 is not prime. Res64: E9B977C11A6DD1B2 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:48:24] 723*2^1453042-1 is not prime. Res64: 24B38540F754ABB9 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:48:25] 831*2^1453042-1 is not prime. Res64: D52CC62F01C03CEB Time : 0.0 sec. user=mdettweiler [2017-05-03 17:48:25] 609*2^1453043-1 is not prime. Res64: 1CB2AB2B3CCA3AC2 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:48:26] 705*2^1453041-1 is not prime. Res64: D62DBFB13ED36DC1 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:48:26] 829*2^1453041-1 is not prime. Res64: C83DDA1FCF27A8EC Time : 0.0 sec. user=mdettweiler [2017-05-03 17:48:27] 861*2^1453041-1 is not prime. Res64: 457FA1BD544FCF3E Time : 0.0 sec. user=mdettweiler [2017-05-03 17:48:27] 945*2^1453041-1 is not prime. Res64: B576EE0DFC11CEB7 Time : 0.0 sec. user=mdettweiler [2017-05-03 17:48:28] 657*2^1453042-1 is not prime. Res64: 14F68C501A4D53EC Time : 0.0 sec. user=mdettweiler [2017-05-03 18:32:50] 745*2^1453043-1 is not prime. Res64: E3A0D3F4C913A80A Time : 0.0 sec. user=mdettweiler [2017-05-03 18:32:51] 801*2^1453043-1 is not prime. Res64: FCE6E33515E55693 Time : 0.0 sec. user=mdettweiler [2017-05-03 18:32:51] 811*2^1453043-1 is not prime. Res64: 86C5F6C96872FB0D Time : 0.0 sec. user=mdettweiler [2017-05-03 18:32:52] 819*2^1453043-1 is not prime. Res64: 8C2BE0D29A9812A3 Time : 0.0 sec. user=mdettweiler [2017-05-03 18:32:52] 829*2^1453043-1 is not prime. Res64: 4E926A82DFFF76BC Time : 0.0 sec. user=mdettweiler [2017-05-03 18:32:55] 943*2^1453043-1 is not prime. Res64: 7684F7CD85C428C7 Time : 0.0 sec. user=mdettweiler [2017-05-03 18:32:55] 955*2^1453043-1 is not prime. Res64: A6FFB42C04988974 Time : 0.0 sec. user=mdettweiler [2017-05-03 18:32:56] 973*2^1453043-1 is not prime. Res64: 52A97503AB9E809F Time : 0.0 sec. user=mdettweiler [2017-05-03 18:32:56] 981*2^1453043-1 is not prime. Res64: D23F4F0D405609AD Time : 0.0 sec. user=mdettweiler [2017-05-03 18:32:57] 657*2^1453044-1 is not prime. Res64: 801756AE29CE8DAE Time : 0.0 sec. user=mdettweiler [2017-05-03 19:17:19] 987*2^1453044-1 is not prime. Res64: 39B6DF370E2788DC Time : 0.0 sec. user=mdettweiler [2017-05-03 19:17:20] 625*2^1453045-1 is not prime. Res64: 25545D331809A5A0 Time : 0.0 sec. user=mdettweiler [2017-05-03 19:17:20] 661*2^1453045-1 is not prime. Res64: DF8905CB216F579C Time : 0.0 sec. user=mdettweiler [2017-05-03 19:17:21] 667*2^1453045-1 is not prime. Res64: BC71F0EFB80314E7 Time : 0.0 sec. user=mdettweiler [2017-05-03 19:17:21] 685*2^1453045-1 is not prime. Res64: 789FC007C53B25A4 Time : 0.0 sec. user=mdettweiler [2017-05-03 19:17:22] 721*2^1453045-1 is not prime. Res64: 53B82D0C5985B027 Time : 0.0 sec. user=mdettweiler [2017-05-03 19:17:23] 759*2^1453045-1 is not prime. Res64: 9FCC5294DCF5DF64 Time : 0.0 sec. user=mdettweiler [2017-05-03 19:17:23] 765*2^1453045-1 is not prime. Res64: D872715BDF861888 Time : 0.0 sec. user=mdettweiler [2017-05-03 19:17:24] 817*2^1453045-1 is not prime. Res64: 75F255CA95D11571 Time : 0.0 sec. user=mdettweiler [2017-05-03 19:17:24] 831*2^1453045-1 is not prime. Res64: 4A3A92C7500E899C Time : 0.0 sec. user=juhehe [2017-05-03 19:53:17] 979*2^1453045-1 is not prime. Res64: F3824A8EE33DC583 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:01:49] 645*2^1453046-1 is not prime. Res64: AD77D895D2A89E02 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:01:51] 633*2^1453047-1 is not prime. Res64: 6D0C7743AC30EAC7 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:01:52] 713*2^1453046-1 is not prime. Res64: 1B68EA341AD04566 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:01:53] 703*2^1453047-1 is not prime. Res64: DCFAC96082ABE61B Time : 0.0 sec. user=mdettweiler [2017-05-03 20:01:54] 857*2^1453046-1 is not prime. Res64: FF5011C90CD8D421 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:01:54] 793*2^1453047-1 is not prime. Res64: 6A92E6EBA092DA26 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:01:55] 917*2^1453046-1 is not prime. Res64: 4EB15E8757C18592 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:01:56] 859*2^1453047-1 is not prime. Res64: A463181AA6B76353 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:01:56] 625*2^1453047-1 is not prime. Res64: 81AC7073DF6D94F7 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:01:57] 979*2^1453047-1 is not prime. Res64: F76BC8A9BFBD0610 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:46:56] 677*2^1453050-1 is not prime. Res64: 399C442B73EB062F Time : 0.0 sec. user=mdettweiler [2017-05-03 20:46:57] 741*2^1453050-1 is not prime. Res64: B3FF711E5EA22A64 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:46:57] 851*2^1453050-1 is not prime. Res64: 92104196E6C773A2 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:46:58] 863*2^1453048-1 is not prime. Res64: B64A6458D361506C Time : 0.0 sec. user=mdettweiler [2017-05-03 20:46:58] 971*2^1453050-1 is not prime. Res64: F13AA36D64F2E463 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:46:58] 875*2^1453048-1 is not prime. Res64: 59B20CEBA23F2AAE Time : 0.0 sec. user=mdettweiler [2017-05-03 20:46:58] 631*2^1453051-1 is not prime. Res64: FB159F39C1927657 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:46:59] 999*2^1453048-1 is not prime. Res64: 61127B47A6110261 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:46:59] 861*2^1453049-1 is not prime. Res64: EBE4B40B2C708FD3 Time : 0.0 sec. user=mdettweiler [2017-05-03 20:47:00] 985*2^1453049-1 is not prime. Res64: A282464A66C58667 Time : 0.0 sec. user=mdettweiler [2017-05-03 21:31:24] 603*2^1453052-1 is not prime. Res64: BBAED7DAF64C1452 Time : 0.0 sec. user=mdettweiler [2017-05-03 21:31:25] 717*2^1453052-1 is not prime. Res64: F26FF6E4253E1693 Time : 0.0 sec. user=mdettweiler [2017-05-03 21:31:25] 743*2^1453052-1 is not prime. Res64: F81A32A276B4AD61 Time : 0.0 sec. user=mdettweiler [2017-05-03 21:31:26] 767*2^1453052-1 is not prime. Res64: 79330DBFA42BBDE5 Time : 0.0 sec. user=mdettweiler [2017-05-03 21:31:26] 827*2^1453052-1 is not prime. Res64: 710F4276F5762923 Time : 0.0 sec. user=mdettweiler [2017-05-03 21:31:27] 723*2^1453051-1 is not prime. Res64: C31D669689A73FB3 Time : 0.0 sec. user=mdettweiler [2017-05-03 21:31:28] 733*2^1453051-1 is not prime. Res64: 6CCB95FCA269D738 Time : 0.0 sec. user=mdettweiler [2017-05-03 21:31:28] 741*2^1453051-1 is not prime. Res64: 7FDC92EE0F4A20CA Time : 0.0 sec. user=mdettweiler [2017-05-03 21:31:29] 835*2^1453051-1 is not prime. Res64: 4C85DE44957D50AE Time : 0.0 sec. user=mdettweiler [2017-05-03 21:31:29] 931*2^1453051-1 is not prime. Res64: 6B07BD85E430D996 Time : 0.0 sec. user=juhehe [2017-05-03 22:04:53] 929*2^1453052-1 is not prime. Res64: C9A2A5E193B9F0F2 Time : 0.0 sec. user=mdettweiler [2017-05-03 22:15:51] 977*2^1453052-1 is not prime. Res64: 68CD2D5629732982 Time : 0.0 sec. user=mdettweiler [2017-05-03 22:15:52] 983*2^1453052-1 is not prime. Res64: CEE0BA23C72C9412 Time : 0.0 sec. user=mdettweiler [2017-05-03 22:15:52] 811*2^1453053-1 is not prime. Res64: B8B94E7C2793889C Time : 0.0 sec. user=mdettweiler [2017-05-03 22:15:53] 849*2^1453053-1 is not prime. Res64: C5272919CDDF1077 Time : 0.0 sec. user=mdettweiler [2017-05-03 22:15:54] 895*2^1453053-1 is not prime. Res64: 30AFE6424FC69C88 Time : 0.0 sec. user=mdettweiler [2017-05-03 22:15:57] 657*2^1453054-1 is not prime. Res64: 74FA2A8E7FB9D405 Time : 0.0 sec. user=mdettweiler [2017-05-03 22:15:58] 675*2^1453054-1 is not prime. Res64: 2A8DD0DEAFA5288B Time : 0.0 sec. user=mdettweiler [2017-05-03 22:15:59] 827*2^1453054-1 is not prime. Res64: BA69D6A912F2638D Time : 0.0 sec. user=mdettweiler [2017-05-03 22:16:00] 885*2^1453054-1 is not prime. Res64: 52D8BF6F1A433CE3 Time : 0.0 sec. user=mdettweiler [2017-05-03 22:16:01] 891*2^1453054-1 is not prime. Res64: A85A2B0C3D8A1987 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:00:31] 903*2^1453054-1 is not prime. Res64: 1EF2272C058B7FC3 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:00:33] 923*2^1453054-1 is not prime. Res64: 6A6A508A26120CD4 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:00:35] 945*2^1453054-1 is not prime. Res64: E2BA66890B5BA163 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:00:36] 759*2^1453055-1 is not prime. Res64: 0049000C9C83B809 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:00:36] 789*2^1453055-1 is not prime. Res64: 651FE99DCE509619 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:01:05] 895*2^1453055-1 is not prime. Res64: 702DC069D8EACDDC Time : 0.0 sec. user=mdettweiler [2017-05-03 23:01:06] 635*2^1453056-1 is not prime. Res64: C7AE25A2E6B00E47 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:01:07] 909*2^1453056-1 is not prime. Res64: 15789F975BB2AE00 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:01:08] 975*2^1453056-1 is not prime. Res64: 708CC535BAAA9729 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:01:10] 649*2^1453057-1 is not prime. Res64: 4AC78F88F191AB87 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:45:17] 685*2^1453057-1 is not prime. Res64: C6D93743E5B65171 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:45:18] 831*2^1453057-1 is not prime. Res64: 48D744A572AC3FFD Time : 0.0 sec. user=mdettweiler [2017-05-03 23:45:18] 915*2^1453057-1 is not prime. Res64: 833E20814C3DDD4B Time : 0.0 sec. user=mdettweiler [2017-05-03 23:45:19] 633*2^1453058-1 is not prime. Res64: 0F1AADA5AF421F9B Time : 0.0 sec. user=mdettweiler [2017-05-03 23:45:19] 677*2^1453058-1 is not prime. Res64: C8F7AE41A79A5156 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:45:41] 713*2^1453058-1 is not prime. Res64: 448506E6810122CC Time : 0.0 sec. user=mdettweiler [2017-05-03 23:45:41] 755*2^1453058-1 is not prime. Res64: 7E6A34422C2DD4C2 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:45:42] 825*2^1453058-1 is not prime. Res64: 86656D83E05B38D6 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:45:42] 831*2^1453058-1 is not prime. Res64: 524DE47918D14A08 Time : 0.0 sec. user=mdettweiler [2017-05-03 23:45:43] 963*2^1453058-1 is not prime. Res64: 4C6D8B6011004660 Time : 0.0 sec.