user=mdettweiler [2018-08-14 00:18:22] 855*2^1521233-1 is not prime. Res64: EAD474F7D79CFF39 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:18:23] 681*2^1521234-1 is not prime. Res64: 6E172627014DED84 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:18:23] 767*2^1521234-1 is not prime. Res64: B3BBDB25A1C157B0 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:18:23] 861*2^1521234-1 is not prime. Res64: F00D21B2C2043A52 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:18:24] 903*2^1521234-1 is not prime. Res64: 67B66B645DC71324 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:26:56] 983*2^1521234-1 is not prime. Res64: 7571B7FBBD5AFA9A Time : 0.0 sec. user=mdettweiler [2018-08-14 00:26:57] 619*2^1521235-1 is not prime. Res64: B98E32D62ED641A7 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:26:57] 631*2^1521235-1 is not prime. Res64: FEA5A0F00AF12884 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:26:57] 639*2^1521235-1 is not prime. Res64: EFF2CC584DB22A80 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:26:58] 673*2^1521235-1 is not prime. Res64: DF8EA3D8468F4828 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:28:32] 709*2^1521235-1 is not prime. Res64: FE38420F511E755A Time : 0.0 sec. user=mdettweiler [2018-08-14 00:28:32] 859*2^1521235-1 is not prime. Res64: 83A5E85E9C28865E Time : 0.0 sec. user=mdettweiler [2018-08-14 00:28:32] 603*2^1521236-1 is not prime. Res64: 67338C77F9B1B27E Time : 0.0 sec. user=mdettweiler [2018-08-14 00:28:33] 699*2^1521236-1 is not prime. Res64: 11D69A387949CA4E Time : 0.0 sec. user=mdettweiler [2018-08-14 00:28:33] 707*2^1521236-1 is not prime. Res64: 8F7DDE23B925DFF2 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:28:35] 735*2^1521236-1 is not prime. Res64: C5117C5A0790E4A3 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:28:36] 777*2^1521236-1 is not prime. Res64: B518109FFE8CE22A Time : 0.0 sec. user=mdettweiler [2018-08-14 00:28:36] 869*2^1521236-1 is not prime. Res64: 3A699DB6B6EBF671 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:28:36] 875*2^1521236-1 is not prime. Res64: 8CEBD1001885BE02 Time : 0.0 sec. user=mdettweiler [2018-08-14 00:28:37] 969*2^1521236-1 is not prime. Res64: F2E6B6227B055D31 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:10:11] 625*2^1521237-1 is not prime. Res64: 857722ACA166C875 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:10:11] 709*2^1521237-1 is not prime. Res64: 33ACBAF50F5AF0FA Time : 0.0 sec. user=mdettweiler [2018-08-14 01:10:12] 751*2^1521237-1 is not prime. Res64: 6A50FF887D47C0F7 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:10:12] 819*2^1521237-1 is not prime. Res64: 696F0E83B8FFE79F Time : 0.0 sec. user=mdettweiler [2018-08-14 01:10:13] 945*2^1521237-1 is not prime. Res64: 32AD1A3B4EE57ACA Time : 0.0 sec. user=mdettweiler [2018-08-14 01:19:11] 681*2^1521238-1 is not prime. Res64: 7EDD31A82908A315 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:19:11] 707*2^1521238-1 is not prime. Res64: 931B1947CDA5EC72 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:19:12] 773*2^1521238-1 is not prime. Res64: 3D6285F790660F46 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:19:12] 801*2^1521238-1 is not prime. Res64: 53970E9FCFDAA2BA Time : 0.0 sec. user=mdettweiler [2018-08-14 01:19:12] 815*2^1521238-1 is not prime. Res64: ACCA4451F08AB083 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:19:53] 843*2^1521238-1 is not prime. Res64: 667646397F4AF49A Time : 0.0 sec. user=mdettweiler [2018-08-14 01:19:53] 867*2^1521238-1 is not prime. Res64: 1AEF990E205F309A Time : 0.0 sec. user=mdettweiler [2018-08-14 01:19:53] 885*2^1521238-1 is not prime. Res64: FA5093BAC9899C99 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:19:54] 661*2^1521239-1 is not prime. Res64: D193340FDF52A0E1 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:19:54] 675*2^1521239-1 is not prime. Res64: 1A523B9F66958B88 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:20:39] 693*2^1521239-1 is not prime. Res64: 75C60642F9016D4C Time : 0.0 sec. user=mdettweiler [2018-08-14 01:20:40] 703*2^1521239-1 is not prime. Res64: C7BA7B7EB1BD9A70 Time : 0.0 sec. user=mdettweiler [2018-08-14 01:20:40] 775*2^1521239-1 is not prime. Res64: 5917F4FC9613A4FB Time : 0.0 sec. user=mdettweiler [2018-08-14 01:20:40] 799*2^1521239-1 is not prime. Res64: D15B86E3009D229C Time : 0.0 sec. user=mdettweiler [2018-08-14 01:20:41] 855*2^1521239-1 is not prime. Res64: D6295096CCEECC70 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:01:20] 955*2^1521239-1 is not prime. Res64: 1446D21F64084205 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:01:22] 979*2^1521239-1 is not prime. Res64: 9C4B53439B458354 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:01:22] 999*2^1521239-1 is not prime. Res64: D045F9985A3A1D49 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:01:23] 623*2^1521240-1 is not prime. Res64: B0E0789D5567514D Time : 0.0 sec. user=mdettweiler [2018-08-14 02:01:25] 627*2^1521240-1 is not prime. Res64: 00E183E4A971DB64 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:10:59] 839*2^1521240-1 is not prime. Res64: 3DA779931660CDBD Time : 0.0 sec. user=mdettweiler [2018-08-14 02:10:59] 849*2^1521240-1 is not prime. Res64: 168797F9300791DE Time : 0.0 sec. user=mdettweiler [2018-08-14 02:11:00] 927*2^1521240-1 is not prime. Res64: 3F78116C6239E867 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:11:00] 717*2^1521241-1 is not prime. Res64: 506D0CE629DFA153 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:11:01] 745*2^1521241-1 is not prime. Res64: F7B82E7FEAFAE9AC Time : 0.0 sec. user=mdettweiler [2018-08-14 02:11:08] 629*2^1521240-1 is not prime. Res64: 6490D033042ECED7 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:11:08] 669*2^1521240-1 is not prime. Res64: D6698C3C4B243AAC Time : 0.0 sec. user=mdettweiler [2018-08-14 02:11:09] 735*2^1521240-1 is not prime. Res64: 37BAABE543B579B6 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:11:09] 765*2^1521240-1 is not prime. Res64: 45D32D1246E887A5 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:11:09] 777*2^1521240-1 is not prime. Res64: 6915069E0696442D Time : 0.0 sec. user=mdettweiler [2018-08-14 02:12:12] 835*2^1521241-1 is not prime. Res64: 0E326989B920424D Time : 0.0 sec. user=mdettweiler [2018-08-14 02:12:13] 855*2^1521241-1 is not prime. Res64: F884587086C8FEE2 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:12:13] 861*2^1521241-1 is not prime. Res64: 78EE91544D0CDFDA Time : 0.0 sec. user=mdettweiler [2018-08-14 02:12:14] 895*2^1521241-1 is not prime. Res64: 412B47CDAD09D887 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:12:14] 955*2^1521241-1 is not prime. Res64: 629A4FAB9CE796D0 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:54:42] 967*2^1521241-1 is not prime. Res64: D7FA3FFD797483F9 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:54:43] 867*2^1521242-1 is not prime. Res64: FFC1B6B9AF8D2616 Time : 0.0 sec. user=mdettweiler [2018-08-14 02:54:43] 875*2^1521242-1 is not prime. Res64: FF927F3C94E1715A Time : 0.0 sec. user=mdettweiler [2018-08-14 02:54:44] 983*2^1521242-1 is not prime. Res64: 51036A7888B3C5DA Time : 0.0 sec. user=mdettweiler [2018-08-14 02:54:46] 709*2^1521243-1 is not prime. Res64: F6FC84DADB486CD7 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:03:09] 741*2^1521243-1 is not prime. Res64: 4709801E3C8FD392 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:03:10] 769*2^1521243-1 is not prime. Res64: 24112CABB3C7D53F Time : 0.0 sec. user=mdettweiler [2018-08-14 03:03:11] 849*2^1521243-1 is not prime. Res64: 029939AE841AC383 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:03:12] 859*2^1521243-1 is not prime. Res64: 318049E78AA0FC9F Time : 0.0 sec. user=mdettweiler [2018-08-14 03:03:12] 943*2^1521243-1 is not prime. Res64: 4BCA03EDCCA4B3F1 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:04:08] 677*2^1521244-1 is not prime. Res64: 6D7441B36C08DF99 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:04:09] 755*2^1521244-1 is not prime. Res64: 3997D5D03EF11C02 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:04:11] 783*2^1521244-1 is not prime. Res64: 4B68FC3478D81030 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:04:12] 909*2^1521244-1 is not prime. Res64: 40112E2EBF391BCB Time : 0.0 sec. user=mdettweiler [2018-08-14 03:04:12] 983*2^1521244-1 is not prime. Res64: 166D6A71F6D8823D Time : 0.0 sec. user=mdettweiler [2018-08-14 03:04:31] 627*2^1521245-1 is not prime. Res64: C784BF66B830D807 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:04:32] 655*2^1521245-1 is not prime. Res64: 9FAF4D40B64978C7 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:04:33] 685*2^1521245-1 is not prime. Res64: 378F382135113907 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:04:34] 775*2^1521245-1 is not prime. Res64: 5E20EA46D7D1C051 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:04:35] 825*2^1521245-1 is not prime. Res64: B9E41CF53577BD5C Time : 0.0 sec. user=mdettweiler [2018-08-14 03:45:54] 949*2^1521245-1 is not prime. Res64: FCFC2A7ADFC44A36 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:45:55] 951*2^1521245-1 is not prime. Res64: 8BC67A7B9DC34EEE Time : 0.0 sec. user=mdettweiler [2018-08-14 03:45:55] 723*2^1521246-1 is not prime. Res64: C6F1B188B339449D Time : 0.0 sec. user=mdettweiler [2018-08-14 03:45:56] 765*2^1521246-1 is not prime. Res64: 2BE2711F6C43AB5A Time : 0.0 sec. user=mdettweiler [2018-08-14 03:45:57] 873*2^1521246-1 is not prime. Res64: 66ADDA6CF6FFD40C Time : 0.0 sec. user=mdettweiler [2018-08-14 03:54:06] 975*2^1521246-1 is not prime. Res64: C915D4814763756C Time : 0.0 sec. user=mdettweiler [2018-08-14 03:54:07] 693*2^1521247-1 is not prime. Res64: 70EC2324788E5DC8 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:54:08] 759*2^1521247-1 is not prime. Res64: 1C25ACEA81D46B14 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:54:08] 895*2^1521247-1 is not prime. Res64: B1A49FA4ABD5E8AA Time : 0.0 sec. user=mdettweiler [2018-08-14 03:54:09] 985*2^1521247-1 is not prime. Res64: 7D2EB4DCAFCCDB55 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:55:29] 803*2^1521248-1 is not prime. Res64: 1ABA24C3C7F1E5BB Time : 0.0 sec. user=mdettweiler [2018-08-14 03:55:30] 839*2^1521248-1 is not prime. Res64: 0DDF6441F68D1CFC Time : 0.0 sec. user=mdettweiler [2018-08-14 03:55:31] 869*2^1521248-1 is not prime. Res64: B18FBFEBF602FAA0 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:55:32] 875*2^1521248-1 is not prime. Res64: D76628D30526D9F4 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:55:33] 945*2^1521248-1 is not prime. Res64: F76BCBB246CB3DDC Time : 0.0 sec. user=mdettweiler [2018-08-14 03:55:40] 625*2^1521249-1 is not prime. Res64: 09416150C78393FC Time : 0.0 sec. user=mdettweiler [2018-08-14 03:55:41] 669*2^1521249-1 is not prime. Res64: 773FAD32BA6FB0AF Time : 0.0 sec. user=mdettweiler [2018-08-14 03:55:42] 685*2^1521249-1 is not prime. Res64: F5B4ED1730FA452A Time : 0.0 sec. user=mdettweiler [2018-08-14 03:55:43] 745*2^1521249-1 is not prime. Res64: CCCBB8EC1C771C17 Time : 0.0 sec. user=mdettweiler [2018-08-14 03:55:44] 865*2^1521249-1 is not prime. Res64: F01256FC8411D624 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:36:56] 895*2^1521249-1 is not prime. Res64: CF497E57A3791060 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:36:57] 951*2^1521249-1 is not prime. Res64: B6E3E77AE7BB13E7 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:36:57] 975*2^1521249-1 is not prime. Res64: D30E5F2B05059ACA Time : 0.0 sec. user=mdettweiler [2018-08-14 04:36:57] 623*2^1521250-1 is not prime. Res64: EECFC34A42777CB3 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:36:58] 645*2^1521250-1 is not prime. Res64: 3E6F73E265188913 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:45:08] 647*2^1521250-1 is not prime. Res64: C7D96933088EF899 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:45:08] 663*2^1521250-1 is not prime. Res64: 04AB7B211F29740B Time : 0.0 sec. user=mdettweiler [2018-08-14 04:45:09] 765*2^1521250-1 is not prime. Res64: 222CA708867B5C5D Time : 0.0 sec. user=mdettweiler [2018-08-14 04:45:10] 773*2^1521250-1 is not prime. Res64: 1C4BDC0CC9B44628 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:45:10] 785*2^1521250-1 is not prime. Res64: 81CD40142CB0C772 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:46:27] 945*2^1521250-1 is not prime. Res64: 6B00FAC0D211C705 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:46:27] 981*2^1521250-1 is not prime. Res64: 7463F8C87C015107 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:46:28] 987*2^1521250-1 is not prime. Res64: 2C35ED53B15D9502 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:46:28] 693*2^1521251-1 is not prime. Res64: 8CEAA810A6BE2B22 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:46:28] 759*2^1521251-1 is not prime. Res64: 0678F6ACDA9135BD Time : 0.0 sec. user=mdettweiler [2018-08-14 04:46:37] 841*2^1521251-1 is not prime. Res64: 55EFA83A626E178B Time : 0.0 sec. user=mdettweiler [2018-08-14 04:46:37] 859*2^1521251-1 is not prime. Res64: 2FB2B4FB54DF7545 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:46:38] 991*2^1521251-1 is not prime. Res64: D60C1414D6007272 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:46:38] 993*2^1521251-1 is not prime. Res64: 7D4CA9AD79A9C4E4 Time : 0.0 sec. user=mdettweiler [2018-08-14 04:46:39] 719*2^1521252-1 is not prime. Res64: 087B0B35684C94FD Time : 0.0 sec. user=mdettweiler [2018-08-14 05:28:10] 725*2^1521252-1 is not prime. Res64: E853B770B44691E0 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:28:11] 759*2^1521252-1 is not prime. Res64: CF9BF6AE8FE1EA97 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:28:11] 819*2^1521252-1 is not prime. Res64: 12D321FF317D488F Time : 0.0 sec. user=mdettweiler [2018-08-14 05:28:12] 863*2^1521252-1 is not prime. Res64: 96A54875F31B1BC1 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:28:12] 929*2^1521252-1 is not prime. Res64: 2FA35DE162AC850A Time : 0.0 sec. user=mdettweiler [2018-08-14 05:36:10] 729*2^1521253-1 is not prime. Res64: EC245AC1923753E3 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:36:11] 757*2^1521253-1 is not prime. Res64: 96D366BE8454DD6E Time : 0.0 sec. user=mdettweiler [2018-08-14 05:36:11] 765*2^1521253-1 is not prime. Res64: 020AAE7CE53802F6 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:36:12] 801*2^1521253-1 is not prime. Res64: C4B793DAD6152994 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:36:12] 805*2^1521253-1 is not prime. Res64: 8A95F72F9BC963C8 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:38:20] 741*2^1521254-1 is not prime. Res64: FAC1C0822D9155B4 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:38:21] 743*2^1521254-1 is not prime. Res64: 7986BDAEFA67F1F6 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:38:21] 773*2^1521254-1 is not prime. Res64: 3391D3876D0EA59A Time : 0.0 sec. user=mdettweiler [2018-08-14 05:38:21] 797*2^1521254-1 is not prime. Res64: 3CC8B6CC02F0FC79 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:38:22] 813*2^1521254-1 is not prime. Res64: E98DC9A273D3CFA2 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:38:24] 861*2^1521253-1 is not prime. Res64: 04324E1FB27F1C85 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:38:25] 985*2^1521253-1 is not prime. Res64: FB053DD803E4FFD0 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:38:25] 623*2^1521254-1 is not prime. Res64: 90685EFDA7A0677E Time : 0.0 sec. user=mdettweiler [2018-08-14 05:38:25] 683*2^1521254-1 is not prime. Res64: 6245619D3AE14D04 Time : 0.0 sec. user=mdettweiler [2018-08-14 05:38:26] 705*2^1521254-1 is not prime. Res64: AA6FA0996B21F52F Time : 0.0 sec. user=mdettweiler [2018-08-14 06:20:04] 831*2^1521254-1 is not prime. Res64: E54EA17381426772 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:20:05] 885*2^1521254-1 is not prime. Res64: 50AE0BDC894547A7 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:20:05] 923*2^1521254-1 is not prime. Res64: D8CBAAF2FD15F3B6 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:20:05] 971*2^1521254-1 is not prime. Res64: 4F0958085C0C6E83 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:20:06] 763*2^1521255-1 is not prime. Res64: 605F2B0D8FA2B858 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:29:35] 781*2^1521255-1 is not prime. Res64: 2BBF1BAEC644B504 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:29:35] 961*2^1521255-1 is not prime. Res64: 0318E1434E85115E Time : 0.0 sec. user=mdettweiler [2018-08-14 06:29:35] 963*2^1521255-1 is not prime. Res64: 7AA14E3DBBBEB346 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:29:36] 755*2^1521256-1 is not prime. Res64: E1178D895E2B4F8E Time : 0.0 sec. user=mdettweiler [2018-08-14 06:29:36] 765*2^1521256-1 is not prime. Res64: E0DF12DF0AD5A94D Time : 0.0 sec. user=mdettweiler [2018-08-14 06:30:31] 849*2^1521256-1 is not prime. Res64: 3258E9CD94ABDF8C Time : 0.0 sec. user=mdettweiler [2018-08-14 06:30:31] 669*2^1521257-1 is not prime. Res64: A672B48708C1BC3B Time : 0.0 sec. user=mdettweiler [2018-08-14 06:30:31] 675*2^1521257-1 is not prime. Res64: 05C6D991A704446C Time : 0.0 sec. user=mdettweiler [2018-08-14 06:30:32] 691*2^1521257-1 is not prime. Res64: F6BE7E232E7F0D52 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:30:32] 939*2^1521257-1 is not prime. Res64: C1B3B8E2390B9EA6 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:32:02] 635*2^1521258-1 is not prime. Res64: E14E2EBC372F89B5 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:32:03] 651*2^1521258-1 is not prime. Res64: 2EF897F8D8BF2E04 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:32:03] 713*2^1521258-1 is not prime. Res64: 0494DD0E51630DB9 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:32:04] 725*2^1521258-1 is not prime. Res64: 0CBECFB5AD4D5D81 Time : 0.0 sec. user=mdettweiler [2018-08-14 06:32:04] 815*2^1521258-1 is not prime. Res64: 07589AEE1C27A207 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:11:39] 887*2^1521258-1 is not prime. Res64: BFD6934384CCB34D Time : 0.0 sec. user=mdettweiler [2018-08-14 07:11:40] 733*2^1521259-1 is not prime. Res64: F4270FECCFE3B3C1 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:11:40] 735*2^1521259-1 is not prime. Res64: C24F6AC118F576FE Time : 0.0 sec. user=mdettweiler [2018-08-14 07:11:40] 931*2^1521259-1 is not prime. Res64: 16A9B75A14D0280D Time : 0.0 sec. user=mdettweiler [2018-08-14 07:11:41] 975*2^1521259-1 is not prime. Res64: FA19034D37870E8F Time : 0.0 sec. user=mdettweiler [2018-08-14 07:21:06] 717*2^1521260-1 is not prime. Res64: EAEB180D0B31586C Time : 0.0 sec. user=mdettweiler [2018-08-14 07:21:06] 719*2^1521260-1 is not prime. Res64: E7B48649A4812CC4 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:21:06] 893*2^1521260-1 is not prime. Res64: 189DBDB46CFA7F2B Time : 0.0 sec. user=mdettweiler [2018-08-14 07:21:07] 897*2^1521260-1 is not prime. Res64: 310736F5893BC680 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:21:07] 977*2^1521260-1 is not prime. Res64: ED9A76701097CEB8 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:21:52] 983*2^1521260-1 is not prime. Res64: E951A4DFABD4BA86 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:21:53] 999*2^1521260-1 is not prime. Res64: F0664DB2B05F4B93 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:21:53] 669*2^1521261-1 is not prime. Res64: A143E02B2A4F964F Time : 0.0 sec. user=mdettweiler [2018-08-14 07:21:53] 711*2^1521261-1 is not prime. Res64: D96021BC1EDA6709 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:21:54] 781*2^1521261-1 is not prime. Res64: E736C2173AD0D872 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:24:57] 805*2^1521261-1 is not prime. Res64: B41E7995DE5ADFCC Time : 0.0 sec. user=mdettweiler [2018-08-14 07:24:57] 847*2^1521261-1 is not prime. Res64: BAFECAE6AD7130AF Time : 0.0 sec. user=mdettweiler [2018-08-14 07:24:58] 885*2^1521261-1 is not prime. Res64: 35441E027F0292B4 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:24:58] 937*2^1521261-1 is not prime. Res64: DA808035078EB759 Time : 0.0 sec. user=mdettweiler [2018-08-14 07:24:58] 999*2^1521261-1 is not prime. Res64: 81DD3F7C802F62B1 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:04:38] 665*2^1521262-1 is not prime. Res64: A3780F9A5F402742 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:04:39] 671*2^1521262-1 is not prime. Res64: 7F48E67905AD22CA Time : 0.0 sec. user=mdettweiler [2018-08-14 08:04:40] 675*2^1521262-1 is not prime. Res64: A844BAE870EAFF46 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:04:41] 813*2^1521262-1 is not prime. Res64: 0E6FA59D0FA65B31 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:04:43] 873*2^1521262-1 is not prime. Res64: C98ED831D51C31DD Time : 0.0 sec. user=mdettweiler [2018-08-14 08:14:02] 609*2^1521263-1 is not prime. Res64: 1DDE1B8C89B78A37 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:14:02] 643*2^1521263-1 is not prime. Res64: A7FCC8BA4C880335 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:14:03] 685*2^1521263-1 is not prime. Res64: F7FEB23249531E5F Time : 0.0 sec. user=mdettweiler [2018-08-14 08:14:03] 715*2^1521263-1 is not prime. Res64: 49B9962C41FD7F7E Time : 0.0 sec. user=mdettweiler [2018-08-14 08:14:03] 735*2^1521263-1 is not prime. Res64: 43F5316B55510E91 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:14:24] 745*2^1521263-1 is not prime. Res64: 3564838320354166 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:14:25] 805*2^1521263-1 is not prime. Res64: 4C355B68C74415C8 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:14:25] 813*2^1521263-1 is not prime. Res64: F5D10403AA4CE5DA Time : 0.0 sec. user=mdettweiler [2018-08-14 08:14:26] 969*2^1521263-1 is not prime. Res64: 3952F8464FA16A1D Time : 0.0 sec. user=mdettweiler [2018-08-14 08:14:26] 973*2^1521263-1 is not prime. Res64: 42F6665B1A94B8D8 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:17:53] 627*2^1521264-1 is not prime. Res64: 2D733613E8B6824A Time : 0.0 sec. user=mdettweiler [2018-08-14 08:17:54] 689*2^1521264-1 is not prime. Res64: 72A165E40DC78B27 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:17:54] 717*2^1521264-1 is not prime. Res64: 0638125264D36538 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:17:54] 875*2^1521264-1 is not prime. Res64: 0F53292332C3A6A9 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:17:55] 923*2^1521264-1 is not prime. Res64: 26199914369172F6 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:56:43] 765*2^1521265-1 is not prime. Res64: 21AE912A6A450BB3 Time : 0.0 sec. user=mdettweiler [2018-08-14 08:56:43] 889*2^1521265-1 is not prime. Res64: C2F4FF2D6DB4815C Time : 0.0 sec. user=mdettweiler [2018-08-14 08:56:43] 985*2^1521265-1 is not prime. Res64: AB27532FF071BA5C Time : 0.0 sec. user=mdettweiler [2018-08-14 08:56:44] 755*2^1521266-1 is not prime. Res64: 661F668585BCD16B Time : 0.0 sec. user=mdettweiler [2018-08-14 08:56:44] 685*2^1521267-1 is not prime. Res64: FFDF51E2A2B12159 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:05:44] 825*2^1521268-1 is not prime. Res64: CBE8FC3A3BAA979D Time : 0.0 sec. user=mdettweiler [2018-08-14 09:05:46] 827*2^1521268-1 is not prime. Res64: F4A6CAE0DC4CC4DB Time : 0.0 sec. user=mdettweiler [2018-08-14 09:05:47] 927*2^1521268-1 is not prime. Res64: E928B48C86A8AEFF Time : 0.0 sec. user=mdettweiler [2018-08-14 09:05:48] 957*2^1521268-1 is not prime. Res64: A6F9C1488BD6FCE9 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:05:49] 697*2^1521269-1 is not prime. Res64: 33966BC908DDB951 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:06:38] 741*2^1521267-1 is not prime. Res64: 4D445E4B666B5C47 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:06:39] 985*2^1521267-1 is not prime. Res64: C2C8C0AA9C05989E Time : 0.0 sec. user=mdettweiler [2018-08-14 09:06:40] 615*2^1521268-1 is not prime. Res64: 2F1DBFBA6BB5F146 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:06:41] 629*2^1521268-1 is not prime. Res64: A9A430D5F2829A76 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:06:42] 797*2^1521268-1 is not prime. Res64: EDE3CDB8B4FD605B Time : 0.0 sec. user=mdettweiler [2018-08-14 09:08:53] 759*2^1521269-1 is not prime. Res64: CCF3E43AD849EDAA Time : 0.0 sec. user=mdettweiler [2018-08-14 09:08:53] 789*2^1521269-1 is not prime. Res64: 625035AF24052228 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:08:53] 829*2^1521269-1 is not prime. Res64: 989D92067B61CF9E Time : 0.0 sec. user=mdettweiler [2018-08-14 09:08:54] 867*2^1521269-1 is not prime. Res64: 1B47BED25BA79DFA Time : 0.0 sec. user=mdettweiler [2018-08-14 09:08:54] 931*2^1521269-1 is not prime. Res64: BC58EB2FC1D45BDE Time : 0.0 sec. user=mdettweiler [2018-08-14 09:47:39] 945*2^1521269-1 is not prime. Res64: DA7DDEFBBEF4B5BD Time : 0.0 sec. user=mdettweiler [2018-08-14 09:47:40] 651*2^1521270-1 is not prime. Res64: B25D57D09DC1B338 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:47:40] 713*2^1521270-1 is not prime. Res64: 45183107AA9C2756 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:47:40] 765*2^1521270-1 is not prime. Res64: 4C7A6940DEFA7895 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:47:41] 777*2^1521270-1 is not prime. Res64: B4A9A7C1F8E56C1D Time : 0.0 sec. user=mdettweiler [2018-08-14 09:56:59] 945*2^1521270-1 is not prime. Res64: 2F399C20688C5517 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:56:59] 723*2^1521271-1 is not prime. Res64: DAC85B9DE2ED8D5A Time : 0.0 sec. user=mdettweiler [2018-08-14 09:56:59] 741*2^1521271-1 is not prime. Res64: A3789D9B966DB504 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:57:00] 813*2^1521271-1 is not prime. Res64: CBA1F31031F282E1 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:57:00] 829*2^1521271-1 is not prime. Res64: 1F6009E88365ECC0 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:57:24] 931*2^1521271-1 is not prime. Res64: FCCE0A39A4C2B19D Time : 0.0 sec. user=mdettweiler [2018-08-14 09:57:24] 961*2^1521271-1 is not prime. Res64: EFAD88AE4925DDC1 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:57:25] 645*2^1521272-1 is not prime. Res64: 2715ACFCE88713EF Time : 0.0 sec. user=mdettweiler [2018-08-14 09:57:25] 767*2^1521272-1 is not prime. Res64: 98DB2E709199B4D0 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:57:26] 813*2^1521272-1 is not prime. Res64: C8C6445BCF900866 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:59:36] 945*2^1521272-1 is not prime. Res64: 0C59F93497665635 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:59:36] 959*2^1521272-1 is not prime. Res64: 09A714A128E50973 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:59:37] 963*2^1521272-1 is not prime. Res64: F6EDBF6F5A717A3D Time : 0.0 sec. user=mdettweiler [2018-08-14 09:59:37] 739*2^1521273-1 is not prime. Res64: 8C06A5458AE5E511 Time : 0.0 sec. user=mdettweiler [2018-08-14 09:59:37] 751*2^1521273-1 is not prime. Res64: CF6D73753598E0C2 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:38:33] 787*2^1521273-1 is not prime. Res64: 639CD2B3FF53CB51 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:38:33] 795*2^1521273-1 is not prime. Res64: 673AA2DF312CFDE7 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:38:33] 811*2^1521273-1 is not prime. Res64: 6387B4DF15DB85F0 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:38:34] 889*2^1521273-1 is not prime. Res64: BBDC31067986B7FF Time : 0.0 sec. user=mdettweiler [2018-08-14 10:38:34] 921*2^1521273-1 is not prime. Res64: 02113ACFFAD7A7CE Time : 0.0 sec. user=mdettweiler [2018-08-14 10:47:41] 937*2^1521273-1 is not prime. Res64: 2F33F982FC5D03C9 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:47:41] 979*2^1521273-1 is not prime. Res64: 91C19E9FAB53E3D2 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:47:42] 635*2^1521274-1 is not prime. Res64: 802B1EB418B31C06 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:47:42] 645*2^1521274-1 is not prime. Res64: F7CC4F50673763AF Time : 0.0 sec. user=mdettweiler [2018-08-14 10:47:43] 717*2^1521274-1 is not prime. Res64: F9F7A4F82DBD8FE1 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:47:50] 723*2^1521274-1 is not prime. Res64: E7C11FCCE08EE413 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:47:50] 731*2^1521274-1 is not prime. Res64: E9C16A68ADC063BC Time : 0.0 sec. user=mdettweiler [2018-08-14 10:47:50] 857*2^1521274-1 is not prime. Res64: D60661C567DAF690 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:47:51] 945*2^1521274-1 is not prime. Res64: 89742D0DB5B1253A Time : 0.0 sec. user=mdettweiler [2018-08-14 10:47:51] 679*2^1521275-1 is not prime. Res64: 316B0E9B8206B7CF Time : 0.0 sec. user=mdettweiler [2018-08-14 10:50:13] 715*2^1521275-1 is not prime. Res64: CBAA62F6EE2AFFEA Time : 0.0 sec. user=mdettweiler [2018-08-14 10:50:13] 739*2^1521275-1 is not prime. Res64: AC9E1EF31587F565 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:50:14] 735*2^1521276-1 is not prime. Res64: FC6FE55800635499 Time : 0.0 sec. user=mdettweiler [2018-08-14 10:50:14] 825*2^1521276-1 is not prime. Res64: DA654694F0A6E3AA Time : 0.0 sec. user=mdettweiler [2018-08-14 10:50:14] 845*2^1521276-1 is not prime. Res64: 147D113A5E5A5645 Time : 0.0 sec. user=mdettweiler [2018-08-14 11:29:16] 969*2^1521276-1 is not prime. Res64: 58E0CFC12FCD247A Time : 0.0 sec. user=mdettweiler [2018-08-14 11:29:17] 645*2^1521277-1 is not prime. Res64: 1934AE1F81DC1D25 Time : 0.0 sec. user=mdettweiler [2018-08-14 11:29:17] 741*2^1521277-1 is not prime. Res64: 2921DC60E30C2F7C Time : 0.0 sec. user=mdettweiler [2018-08-14 11:29:17] 757*2^1521277-1 is not prime. Res64: F47BC1583ADE0249 Time : 0.0 sec. user=mdettweiler [2018-08-14 11:29:18] 829*2^1521277-1 is not prime. Res64: 4A1A238F2B158E5F Time : 0.0 sec. user=mdettweiler [2018-08-14 11:38:27] 813*2^1521278-1 is not prime. Res64: 26642C4B56AD50D7 Time : 0.0 sec. user=mdettweiler [2018-08-14 11:38:27] 927*2^1521278-1 is not prime. Res64: CC892BFB5148B178 Time : 0.0 sec. user=mdettweiler [2018-08-14 11:38:28] 945*2^1521278-1 is not prime. Res64: 82EB0328CB17F2BC Time : 0.0 sec. user=mdettweiler [2018-08-14 11:38:28] 957*2^1521278-1 is not prime. Res64: 9BAE7679286E808D Time : 0.0 sec. user=mdettweiler [2018-08-14 11:38:28] 661*2^1521279-1 is not prime. Res64: 660172E3CECE06FD Time : 0.0 sec. user=mdettweiler [2018-08-14 11:38:33] 723*2^1521279-1 is not prime. Res64: 853D14184849A04B Time : 0.0 sec. user=mdettweiler [2018-08-14 11:38:34] 763*2^1521279-1 is not prime. Res64: B8AD77E03578CE1E Time : 0.0 sec. user=mdettweiler [2018-08-14 11:38:34] 853*2^1521279-1 is not prime. Res64: 08A73082F009B70B Time : 0.0 sec. user=mdettweiler [2018-08-14 11:38:35] 861*2^1521279-1 is not prime. Res64: 4436A4079D94E6A0 Time : 0.0 sec. user=mdettweiler [2018-08-14 11:38:35] 931*2^1521279-1 is not prime. Res64: D5C283E4AB7FBB65 Time : 0.0 sec. user=mdettweiler [2018-08-14 11:40:47] 975*2^1521279-1 is not prime. Res64: C08235A45C3AD7BB Time : 0.0 sec. user=mdettweiler [2018-08-14 11:40:48] 635*2^1521280-1 is not prime. Res64: 1A9E62B47B4F8258 Time : 0.0 sec. user=mdettweiler [2018-08-14 11:40:48] 723*2^1521280-1 is not prime. Res64: 8F904C6DA73B55FA Time : 0.0 sec. user=mdettweiler [2018-08-14 11:40:48] 803*2^1521280-1 is not prime. Res64: 5D85A970C6D7AE29 Time : 0.0 sec. user=mdettweiler [2018-08-14 11:40:49] 965*2^1521280-1 is not prime. Res64: A902DAE3E83A7D0E Time : 0.0 sec. user=mdettweiler [2018-08-14 12:19:51] 989*2^1521280-1 is not prime. Res64: F04D8C2EBA4EB4C4 Time : 0.0 sec. user=mdettweiler [2018-08-14 12:19:51] 627*2^1521281-1 is not prime. Res64: C12BB6D91B222C92 Time : 0.0 sec. user=mdettweiler [2018-08-14 12:19:52] 631*2^1521281-1 is not prime. Res64: 6F26FCAF0903C801 Time : 0.0 sec. user=mdettweiler [2018-08-14 12:19:52] 669*2^1521281-1 is not prime. Res64: F72140A13D46CE69 Time : 0.0 sec. user=mdettweiler [2018-08-14 12:19:52] 675*2^1521281-1 is not prime. Res64: 55A0DB5E12159BED Time : 0.0 sec. user=mdettweiler [2018-08-14 12:29:12] 691*2^1521281-1 is not prime. Res64: 1478DDBEE5871D24 Time : 0.0 sec. user=mdettweiler [2018-08-14 12:29:12] 889*2^1521281-1 is not prime. Res64: E5F77CDE1A32AA8A Time : 0.0 sec. user=mdettweiler [2018-08-14 12:29:12] 705*2^1521281-1 is not prime. Res64: A0243535DA459694 Time : 0.0 sec. user=mdettweiler [2018-08-14 12:29:12] 901*2^1521281-1 is not prime. Res64: 4FABCC7EBF655CDB Time : 0.0 sec. user=mdettweiler [2018-08-14 12:29:12] 711*2^1521281-1 is not prime. Res64: 3B2DEB32FEE01B5F Time : 0.0 sec. user=mdettweiler [2018-08-14 12:29:13] 665*2^1521282-1 is not prime. Res64: 0F74171D0350166A Time : 0.0 sec. user=mdettweiler [2018-08-14 12:29:13] 855*2^1521281-1 is not prime. Res64: C9C3EDB32B5F912D Time : 0.0 sec. user=mdettweiler [2018-08-14 12:29:13] 671*2^1521282-1 is not prime. Res64: D5876A552E7BC9E7 Time : 0.0 sec. user=mdettweiler [2018-08-14 12:29:13] 871*2^1521281-1 is not prime. Res64: A7E0D12AFE6E25FE Time : 0.0 sec. user=mdettweiler [2018-08-14 12:29:13] 747*2^1521282-1 is not prime. Res64: E903BC902D35253D Time : 0.0 sec. user=mdettweiler [2018-08-14 12:31:29] 765*2^1521282-1 is not prime. Res64: 9F1D63EC97CD74AA Time : 0.0 sec. user=mdettweiler [2018-08-14 12:31:29] 803*2^1521282-1 is not prime. Res64: 047595AE23C8D7AB Time : 0.0 sec. user=mdettweiler [2018-08-14 12:31:29] 807*2^1521282-1 is not prime. Res64: DCE7028CE409C515 Time : 0.0 sec. user=mdettweiler [2018-08-14 12:31:30] 917*2^1521282-1 is not prime. Res64: F4FD93BCDDCDF4E3 Time : 0.0 sec. user=mdettweiler [2018-08-14 12:31:30] 923*2^1521282-1 is not prime. Res64: 4A55D2D488648755 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:10:26] 941*2^1521282-1 is not prime. Res64: AA58FF307ADC66DE Time : 0.0 sec. user=mdettweiler [2018-08-14 13:10:27] 1001*2^1521282-1 is not prime. Res64: CAD38AEE2EB26909 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:10:27] 625*2^1521283-1 is not prime. Res64: 0904743AF9DC9142 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:10:28] 771*2^1521283-1 is not prime. Res64: ECDF8A79D0740AFB Time : 0.0 sec. user=mdettweiler [2018-08-14 13:10:28] 775*2^1521283-1 is not prime. Res64: C9F5BCF41BA32B22 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:19:55] 767*2^1521284-1 is not prime. Res64: 3A055D93F073332B Time : 0.0 sec. user=mdettweiler [2018-08-14 13:19:56] 855*2^1521284-1 is not prime. Res64: 795482D3A9C8F6F6 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:19:56] 885*2^1521284-1 is not prime. Res64: 0D3F7F16DEF45673 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:19:57] 655*2^1521285-1 is not prime. Res64: F041AD251CBAEF18 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:19:57] 657*2^1521285-1 is not prime. Res64: 57724BCDB6B05236 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:20:03] 789*2^1521283-1 is not prime. Res64: A3582E8205EF3109 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:20:03] 945*2^1521283-1 is not prime. Res64: F0C553962AE2252C Time : 0.0 sec. user=mdettweiler [2018-08-14 13:20:04] 617*2^1521284-1 is not prime. Res64: 7806BFFB86B2708E Time : 0.0 sec. user=mdettweiler [2018-08-14 13:20:04] 675*2^1521284-1 is not prime. Res64: 8E4FE8A270F79546 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:20:05] 759*2^1521284-1 is not prime. Res64: B82960205F12E431 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:22:06] 679*2^1521285-1 is not prime. Res64: 578D593F17BCCB8C Time : 0.0 sec. user=mdettweiler [2018-08-14 13:22:07] 709*2^1521285-1 is not prime. Res64: 4087BD1051E0E9F6 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:22:07] 735*2^1521285-1 is not prime. Res64: DC6A054424CC3879 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:22:08] 837*2^1521285-1 is not prime. Res64: 6670839BB4826436 Time : 0.0 sec. user=mdettweiler [2018-08-14 13:22:08] 861*2^1521285-1 is not prime. Res64: 8EC7B77AD29E5393 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:01:34] 871*2^1521285-1 is not prime. Res64: 8305B1BA9E9C158A Time : 0.0 sec. user=mdettweiler [2018-08-14 14:01:35] 937*2^1521285-1 is not prime. Res64: 4721C5D65C864711 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:01:36] 645*2^1521286-1 is not prime. Res64: 87A6892870045FBB Time : 0.0 sec. user=mdettweiler [2018-08-14 14:01:36] 945*2^1521286-1 is not prime. Res64: BCDC23FC4E7FF9EB Time : 0.0 sec. user=mdettweiler [2018-08-14 14:01:37] 975*2^1521286-1 is not prime. Res64: 771B183402450BD0 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:11:15] 663*2^1521288-1 is not prime. Res64: DFE4DBB086F9A1A2 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:11:15] 693*2^1521287-1 is not prime. Res64: 9E634FDAD828846C Time : 0.0 sec. user=mdettweiler [2018-08-14 14:11:15] 773*2^1521288-1 is not prime. Res64: 41F5F68E34D8F8DE Time : 0.0 sec. user=mdettweiler [2018-08-14 14:11:16] 735*2^1521287-1 is not prime. Res64: 8B5EAD1FAC51FE93 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:11:16] 777*2^1521288-1 is not prime. Res64: 3AF4C0C43ECDAF63 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:11:16] 845*2^1521288-1 is not prime. Res64: 8AB0D9254B70DBE9 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:11:16] 753*2^1521287-1 is not prime. Res64: 1DBCFDA37CCBE9A2 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:11:17] 893*2^1521288-1 is not prime. Res64: 7FE91CD84ECC1997 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:11:17] 823*2^1521287-1 is not prime. Res64: BD2DF4136E7375FB Time : 0.0 sec. user=mdettweiler [2018-08-14 14:11:17] 629*2^1521288-1 is not prime. Res64: 58AE424FAA7F13C9 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:13:09] 977*2^1521288-1 is not prime. Res64: 694A0F2E8A6F60F2 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:13:10] 639*2^1521289-1 is not prime. Res64: C0CBD2708A04BB10 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:13:10] 661*2^1521289-1 is not prime. Res64: 17E01629D14CE02F Time : 0.0 sec. user=mdettweiler [2018-08-14 14:13:11] 765*2^1521289-1 is not prime. Res64: AE03B2090083E3B0 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:13:11] 707*2^1521290-1 is not prime. Res64: D7E0E167B332C08A Time : 0.0 sec. user=mdettweiler [2018-08-14 14:53:19] 743*2^1521290-1 is not prime. Res64: 6CF6C1EC74A9BACE Time : 0.0 sec. user=mdettweiler [2018-08-14 14:53:19] 833*2^1521290-1 is not prime. Res64: 78ADA5D8D370FC49 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:53:20] 921*2^1521290-1 is not prime. Res64: 32ACB954D2269D6D Time : 0.0 sec. user=mdettweiler [2018-08-14 14:53:20] 625*2^1521291-1 is not prime. Res64: E7414A2E90727221 Time : 0.0 sec. user=mdettweiler [2018-08-14 14:53:20] 705*2^1521291-1 is not prime. Res64: ED9EF1FB571DC2F6 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:02:48] 897*2^1521292-1 is not prime. Res64: 3ADE350C84CE30AF Time : 0.0 sec. user=mdettweiler [2018-08-14 15:02:49] 607*2^1521293-1 is not prime. Res64: 0A204A250EBDD89E Time : 0.0 sec. user=mdettweiler [2018-08-14 15:02:50] 627*2^1521293-1 is not prime. Res64: 9C8FC36B9F6F2418 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:02:50] 685*2^1521293-1 is not prime. Res64: 3499945450207A15 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:02:51] 867*2^1521293-1 is not prime. Res64: 795B05D76F85C937 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:03:10] 745*2^1521291-1 is not prime. Res64: 5C5EFA7C9AEFACA1 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:03:11] 835*2^1521291-1 is not prime. Res64: 35AF4CE0FA4F5BAB Time : 0.0 sec. user=mdettweiler [2018-08-14 15:03:13] 901*2^1521291-1 is not prime. Res64: AE99F5C063502A38 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:03:14] 603*2^1521292-1 is not prime. Res64: F0465C743043A75F Time : 0.0 sec. user=mdettweiler [2018-08-14 15:03:16] 699*2^1521292-1 is not prime. Res64: 91E870EE1CB358B7 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:04:17] 981*2^1521293-1 is not prime. Res64: 76734CCBFE199DBA Time : 0.0 sec. user=mdettweiler [2018-08-14 15:04:18] 985*2^1521293-1 is not prime. Res64: FABFFC8F94334522 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:04:19] 987*2^1521293-1 is not prime. Res64: 9B002159DA8ED281 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:04:19] 605*2^1521294-1 is not prime. Res64: 38954A625D2F0669 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:04:20] 693*2^1521294-1 is not prime. Res64: 11769B7EC499C0F4 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:44:24] 705*2^1521294-1 is not prime. Res64: 5385246F5EEC5D86 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:44:24] 807*2^1521294-1 is not prime. Res64: 405E527BCD5BDD5A Time : 0.0 sec. user=mdettweiler [2018-08-14 15:44:24] 833*2^1521294-1 is not prime. Res64: 06436992F65D3041 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:44:25] 875*2^1521294-1 is not prime. Res64: 3CC6A747384E30D4 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:44:25] 709*2^1521295-1 is not prime. Res64: 5511E85F14DD244F Time : 0.0 sec. user=mdettweiler [2018-08-14 15:54:07] 751*2^1521295-1 is not prime. Res64: 83E5D5B6B979D3C6 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:54:07] 909*2^1521295-1 is not prime. Res64: 0B64221DF72D7894 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:54:08] 969*2^1521295-1 is not prime. Res64: 2D5D8312DC68B8B0 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:54:08] 979*2^1521295-1 is not prime. Res64: B46E0FADBC50B346 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:54:08] 735*2^1521296-1 is not prime. Res64: A479B2F30183C817 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:54:30] 857*2^1521296-1 is not prime. Res64: C84ED8272DE88A59 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:54:31] 873*2^1521296-1 is not prime. Res64: A6920D34E0A3FDFF Time : 0.0 sec. user=mdettweiler [2018-08-14 15:54:31] 909*2^1521296-1 is not prime. Res64: EAD5BD03318C3704 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:54:32] 927*2^1521296-1 is not prime. Res64: A37F5DE11DB0AD88 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:54:32] 819*2^1521297-1 is not prime. Res64: 389D19E3CE664962 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:55:26] 849*2^1521297-1 is not prime. Res64: BCE5E14509644980 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:55:27] 955*2^1521297-1 is not prime. Res64: 1009501EE56CB431 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:55:27] 623*2^1521298-1 is not prime. Res64: 91BD6828DACEABE9 Time : 0.0 sec. user=mdettweiler [2018-08-14 15:55:27] 645*2^1521298-1 is not prime. Res64: DFA65DC32A8F494E Time : 0.0 sec. user=mdettweiler [2018-08-14 15:55:28] 723*2^1521298-1 is not prime. Res64: 822D4E1D4D20BF2A Time : 0.0 sec. user=mdettweiler [2018-08-14 16:38:27] 815*2^1521298-1 is not prime. Res64: AF678D13924FF9C2 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:38:27] 881*2^1521298-1 is not prime. Res64: 5DB95FA2C72B64A5 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:38:28] 915*2^1521298-1 is not prime. Res64: B5B8E28F20A875D7 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:38:28] 941*2^1521298-1 is not prime. Res64: BE3A09E531778F9C Time : 0.0 sec. user=mdettweiler [2018-08-14 16:38:28] 633*2^1521299-1 is not prime. Res64: BA2D726FE1F8194E Time : 0.0 sec. user=mdettweiler [2018-08-14 16:48:42] 645*2^1521299-1 is not prime. Res64: 7DCDA8D387F535DC Time : 0.0 sec. user=mdettweiler [2018-08-14 16:48:42] 707*2^1521300-1 is not prime. Res64: 28F9863C020EE07A Time : 0.0 sec. user=mdettweiler [2018-08-14 16:48:42] 943*2^1521299-1 is not prime. Res64: 7E226C3BE642DF08 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:48:43] 717*2^1521300-1 is not prime. Res64: 0200E3C181AE31C0 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:48:43] 985*2^1521299-1 is not prime. Res64: 85E9BE105175F8EF Time : 0.0 sec. user=mdettweiler [2018-08-14 16:48:43] 909*2^1521300-1 is not prime. Res64: 75FC76DA3EBC6E33 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:48:43] 633*2^1521300-1 is not prime. Res64: 0E25A8D1334168EA Time : 0.0 sec. user=mdettweiler [2018-08-14 16:48:43] 999*2^1521300-1 is not prime. Res64: D237468D434BA968 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:48:44] 695*2^1521300-1 is not prime. Res64: 76269E238848AE16 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:48:44] 625*2^1521301-1 is not prime. Res64: 8B7FC63EEE92B949 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:50:30] 717*2^1521301-1 is not prime. Res64: 2C976B646272462C Time : 0.0 sec. user=mdettweiler [2018-08-14 16:50:30] 775*2^1521301-1 is not prime. Res64: 2AC35CE27C69E05D Time : 0.0 sec. user=mdettweiler [2018-08-14 16:50:31] 861*2^1521301-1 is not prime. Res64: EE87EBEFAA191D45 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:50:31] 927*2^1521301-1 is not prime. Res64: 5A88B2F84317EB64 Time : 0.0 sec. user=mdettweiler [2018-08-14 16:50:31] 931*2^1521301-1 is not prime. Res64: A9747820CD75A4DD Time : 0.0 sec. user=mdettweiler [2018-08-14 17:33:24] 951*2^1521301-1 is not prime. Res64: 9A9FB24B4900620E Time : 0.0 sec. user=mdettweiler [2018-08-14 17:33:25] 961*2^1521301-1 is not prime. Res64: 4899AF8DA8E50401 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:33:25] 615*2^1521302-1 is not prime. Res64: FB9657FA443A9811 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:33:25] 645*2^1521302-1 is not prime. Res64: BBCB82FF75D6002C Time : 0.0 sec. user=mdettweiler [2018-08-14 17:33:26] 675*2^1521302-1 is not prime. Res64: 77EDF3455D20AF44 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:44:13] 985*2^1521303-1 is not prime. Res64: E568311DAB3CB478 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:44:13] 687*2^1521304-1 is not prime. Res64: 0D4417B282F8DFF7 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:44:13] 743*2^1521304-1 is not prime. Res64: 578DB3D5626B9DEB Time : 0.0 sec. user=mdettweiler [2018-08-14 17:44:14] 833*2^1521304-1 is not prime. Res64: B64F2AAE425E0DD2 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:44:14] 863*2^1521304-1 is not prime. Res64: 8989CA6B208B9171 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:44:57] 679*2^1521303-1 is not prime. Res64: 7CC5BA641D76AD7D Time : 0.0 sec. user=mdettweiler [2018-08-14 17:44:58] 721*2^1521303-1 is not prime. Res64: 4FFBC6E02165E2EB Time : 0.0 sec. user=mdettweiler [2018-08-14 17:44:58] 853*2^1521303-1 is not prime. Res64: 209B1E5E561F96DA Time : 0.0 sec. user=mdettweiler [2018-08-14 17:44:58] 933*2^1521303-1 is not prime. Res64: 993CD3FE646B0F35 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:44:59] 963*2^1521303-1 is not prime. Res64: 1CEA96EFDD10B29C Time : 0.0 sec. user=mdettweiler [2018-08-14 17:47:05] 755*2^1521302-1 is not prime. Res64: 26E5E01361B284E2 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:47:05] 801*2^1521302-1 is not prime. Res64: 3BA0819CB0C76707 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:47:05] 893*2^1521302-1 is not prime. Res64: C908FBF311A4A8E7 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:47:06] 897*2^1521302-1 is not prime. Res64: C488A526687CDB51 Time : 0.0 sec. user=mdettweiler [2018-08-14 17:47:06] 923*2^1521302-1 is not prime. Res64: 663F42CB8CB58160 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:24:45] 909*2^1521304-1 is not prime. Res64: 1E44D220F51FA096 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:24:45] 939*2^1521304-1 is not prime. Res64: AC9C1EDB63FB8F30 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:24:45] 715*2^1521305-1 is not prime. Res64: C8CB053ADDEAC256 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:24:46] 735*2^1521305-1 is not prime. Res64: 86CC8F00EC54602D Time : 0.0 sec. user=mdettweiler [2018-08-14 18:24:46] 741*2^1521305-1 is not prime. Res64: A5B5178C964FAFAF Time : 0.0 sec. user=mdettweiler [2018-08-14 18:35:07] 795*2^1521305-1 is not prime. Res64: 1D86C03360ED60DA Time : 0.0 sec. user=mdettweiler [2018-08-14 18:35:07] 837*2^1521305-1 is not prime. Res64: 979D3058ED658E18 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:35:08] 871*2^1521305-1 is not prime. Res64: 17357D87F0C22DED Time : 0.0 sec. user=mdettweiler [2018-08-14 18:35:08] 937*2^1521305-1 is not prime. Res64: 957E500421D60EB7 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:35:08] 671*2^1521306-1 is not prime. Res64: 9785276B650958B6 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:36:00] 711*2^1521306-1 is not prime. Res64: 742EB5D1BB3062CA Time : 0.0 sec. user=mdettweiler [2018-08-14 18:36:01] 713*2^1521306-1 is not prime. Res64: F3E5BF16E743481A Time : 0.0 sec. user=mdettweiler [2018-08-14 18:36:01] 717*2^1521306-1 is not prime. Res64: 7EB99284FF08D558 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:36:01] 755*2^1521306-1 is not prime. Res64: 2A54F659E9007916 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:36:02] 945*2^1521306-1 is not prime. Res64: 4EE24FB6CFAB388F Time : 0.0 sec. user=mdettweiler [2018-08-14 18:38:03] 947*2^1521306-1 is not prime. Res64: 494ADDAE861B37B3 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:38:04] 673*2^1521307-1 is not prime. Res64: A19D46F3D0C5E8E4 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:38:04] 883*2^1521307-1 is not prime. Res64: 06AF6BBDF28F79E1 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:38:04] 623*2^1521308-1 is not prime. Res64: 4DFF314DA1BA5760 Time : 0.0 sec. user=mdettweiler [2018-08-14 18:38:05] 777*2^1521308-1 is not prime. Res64: BB33850170988BF8 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:15:55] 959*2^1521308-1 is not prime. Res64: 3A85807E97DF2D2B Time : 0.0 sec. user=mdettweiler [2018-08-14 19:15:55] 675*2^1521309-1 is not prime. Res64: 9F38A319FFEE005E Time : 0.0 sec. user=mdettweiler [2018-08-14 19:15:55] 727*2^1521309-1 is not prime. Res64: 229D9FDFDD251EB5 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:15:56] 751*2^1521309-1 is not prime. Res64: C65E76D2A0EDF437 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:15:56] 795*2^1521309-1 is not prime. Res64: 7C739D8E65982E12 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:26:18] 811*2^1521309-1 is not prime. Res64: AEB5E1B3F8F6A4BB Time : 0.0 sec. user=mdettweiler [2018-08-14 19:26:18] 885*2^1521309-1 is not prime. Res64: CABA10D508C33119 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:26:19] 907*2^1521309-1 is not prime. Res64: 5AF28E04C9136AAF Time : 0.0 sec. user=mdettweiler [2018-08-14 19:26:19] 949*2^1521309-1 is not prime. Res64: 8FF9593E92358B38 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:26:20] 969*2^1521309-1 is not prime. Res64: BAE8AC7A46FAFED6 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:26:37] 611*2^1521310-1 is not prime. Res64: 0B5E184E3D3AE4AB Time : 0.0 sec. user=mdettweiler [2018-08-14 19:26:37] 657*2^1521310-1 is not prime. Res64: 6F03C34391A6729C Time : 0.0 sec. user=mdettweiler [2018-08-14 19:26:37] 675*2^1521310-1 is not prime. Res64: 71367322DE1A08B2 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:26:38] 713*2^1521310-1 is not prime. Res64: D6BDED5835720551 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:26:38] 717*2^1521310-1 is not prime. Res64: 7EECF94D34D708D4 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:29:01] 743*2^1521310-1 is not prime. Res64: 6FA2304B30FC0859 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:29:01] 783*2^1521310-1 is not prime. Res64: 0206B7EC7DCB9E70 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:29:02] 801*2^1521310-1 is not prime. Res64: B306808C6C56E855 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:29:02] 827*2^1521310-1 is not prime. Res64: 4053C5D69DA3F242 Time : 0.0 sec. user=mdettweiler [2018-08-14 19:29:02] 867*2^1521310-1 is not prime. Res64: D326731680F14A51 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:07:15] 933*2^1521310-1 is not prime. Res64: DF2F77A94478C5EB Time : 0.0 sec. user=mdettweiler [2018-08-14 20:07:17] 987*2^1521310-1 is not prime. Res64: 03FA9999F71E4716 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:07:18] 735*2^1521311-1 is not prime. Res64: F38D6AA690093F6C Time : 0.0 sec. user=mdettweiler [2018-08-14 20:07:20] 615*2^1521312-1 is not prime. Res64: 0E9D31AEFF2D3440 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:07:22] 669*2^1521312-1 is not prime. Res64: DCBCBA5E2467754C Time : 0.0 sec. user=mdettweiler [2018-08-14 20:17:43] 917*2^1521312-1 is not prime. Res64: CCF8838356F86B37 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:17:43] 983*2^1521312-1 is not prime. Res64: 833E66FB47320252 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:17:44] 609*2^1521313-1 is not prime. Res64: 489EC4468BD55738 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:17:44] 687*2^1521313-1 is not prime. Res64: ACDFBB75674BA306 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:17:45] 747*2^1521313-1 is not prime. Res64: 585F5BC0749F9D49 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:17:51] 689*2^1521312-1 is not prime. Res64: 1DDD6D7CB04D5881 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:17:51] 765*2^1521312-1 is not prime. Res64: 155EDB9936AF801A Time : 0.0 sec. user=mdettweiler [2018-08-14 20:17:51] 879*2^1521312-1 is not prime. Res64: C7FF151E20E7BDEF Time : 0.0 sec. user=mdettweiler [2018-08-14 20:17:52] 899*2^1521312-1 is not prime. Res64: 0930A13908F5E3F5 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:17:52] 915*2^1521312-1 is not prime. Res64: 475A5DE61AEDCCD1 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:20:20] 831*2^1521313-1 is not prime. Res64: D4E166330BC3877B Time : 0.0 sec. user=mdettweiler [2018-08-14 20:20:21] 847*2^1521313-1 is not prime. Res64: E49295A2832BE4FA Time : 0.0 sec. user=mdettweiler [2018-08-14 20:20:21] 885*2^1521313-1 is not prime. Res64: A650ADFFA563FBC5 Time : 0.0 sec. user=mdettweiler [2018-08-14 20:20:21] 615*2^1521314-1 is not prime. Res64: 7FCA4ECCD78276AB Time : 0.0 sec. user=mdettweiler [2018-08-14 20:20:22] 651*2^1521314-1 is not prime. Res64: DB0C28F5E23F380D Time : 0.0 sec. user=mdettweiler [2018-08-14 21:00:51] 665*2^1521314-1 is not prime. Res64: B835E6BA175250AD Time : 0.0 sec. user=mdettweiler [2018-08-14 21:00:52] 677*2^1521314-1 is not prime. Res64: 298B6ECC8FA792D0 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:00:54] 921*2^1521314-1 is not prime. Res64: 59E56190DB079A42 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:00:55] 927*2^1521314-1 is not prime. Res64: 3E5BB3464EE57233 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:00:55] 945*2^1521314-1 is not prime. Res64: A6DB872809679E51 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:10:02] 983*2^1521314-1 is not prime. Res64: B7E84F3D44C14DF3 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:10:02] 609*2^1521315-1 is not prime. Res64: 2179E26F01E8B1FD Time : 0.0 sec. user=mdettweiler [2018-08-14 21:10:03] 781*2^1521315-1 is not prime. Res64: 3FE25CB64B469358 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:10:03] 789*2^1521315-1 is not prime. Res64: 782FC2A527F2EEC1 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:10:03] 823*2^1521315-1 is not prime. Res64: 86BC56440B884A9F Time : 0.0 sec. user=mdettweiler [2018-08-14 21:11:13] 891*2^1521315-1 is not prime. Res64: 535F942517F36969 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:11:14] 951*2^1521315-1 is not prime. Res64: 3C8277CC87749DDC Time : 0.0 sec. user=mdettweiler [2018-08-14 21:11:15] 973*2^1521315-1 is not prime. Res64: 031736910C042F6F Time : 0.0 sec. user=mdettweiler [2018-08-14 21:11:16] 615*2^1521316-1 is not prime. Res64: 9E97071F926BD022 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:11:16] 695*2^1521316-1 is not prime. Res64: 717734C33EB56ECC Time : 0.0 sec. user=mdettweiler [2018-08-14 21:12:19] 707*2^1521316-1 is not prime. Res64: 906F46CECD1C34EC Time : 0.0 sec. user=mdettweiler [2018-08-14 21:12:20] 735*2^1521316-1 is not prime. Res64: C213823C770464EC Time : 0.0 sec. user=mdettweiler [2018-08-14 21:12:20] 779*2^1521316-1 is not prime. Res64: 402BA6B1A9270BB7 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:12:20] 785*2^1521316-1 is not prime. Res64: 012882351DACF139 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:12:21] 813*2^1521316-1 is not prime. Res64: 059271C2E2F6655A Time : 0.0 sec. user=mdettweiler [2018-08-14 21:54:03] 909*2^1521316-1 is not prime. Res64: 7F148709E64200CE Time : 0.0 sec. user=mdettweiler [2018-08-14 21:54:03] 957*2^1521316-1 is not prime. Res64: 1F06BF5DBE4C0EE3 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:54:03] 993*2^1521316-1 is not prime. Res64: 9D1B5C3F707448D7 Time : 0.0 sec. user=mdettweiler [2018-08-14 21:54:04] 631*2^1521317-1 is not prime. Res64: BE5825D0005BF54C Time : 0.0 sec. user=mdettweiler [2018-08-14 21:54:04] 649*2^1521317-1 is not prime. Res64: 1E21F2BFC2EA797C Time : 0.0 sec. user=mdettweiler [2018-08-14 22:02:46] 669*2^1521317-1 is not prime. Res64: 7F1E6196F293475A Time : 0.0 sec. user=mdettweiler [2018-08-14 22:02:47] 729*2^1521317-1 is not prime. Res64: 6DC46FC668F38CA3 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:02:48] 741*2^1521317-1 is not prime. Res64: 78E3FECC2F88E60B Time : 0.0 sec. user=mdettweiler [2018-08-14 22:02:48] 799*2^1521317-1 is not prime. Res64: 9071C2518ED3D23D Time : 0.0 sec. user=mdettweiler [2018-08-14 22:02:49] 819*2^1521317-1 is not prime. Res64: E4619FFCAD73E9DD Time : 0.0 sec. user=mdettweiler [2018-08-14 22:05:02] 825*2^1521318-1 is not prime. Res64: BBCAC83F1A3894E1 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:05:04] 885*2^1521318-1 is not prime. Res64: 38106E2463AEB468 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:05:05] 921*2^1521318-1 is not prime. Res64: 33B2985E47A4C635 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:05:07] 975*2^1521318-1 is not prime. Res64: 28E9CE0C41F27279 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:05:08] 639*2^1521319-1 is not prime. Res64: C65165C59DE20799 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:05:24] 867*2^1521317-1 is not prime. Res64: 8191C025E24526B9 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:05:26] 927*2^1521317-1 is not prime. Res64: 358F7D4C4DACD028 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:05:27] 621*2^1521318-1 is not prime. Res64: D73924B1E3E63A15 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:05:28] 681*2^1521318-1 is not prime. Res64: 3D6F63CCA20A1B29 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:05:30] 815*2^1521318-1 is not prime. Res64: AC33816784CF37C5 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:46:43] 703*2^1521319-1 is not prime. Res64: 86836414ED3FAC1E Time : 0.0 sec. user=mdettweiler [2018-08-14 22:46:43] 759*2^1521319-1 is not prime. Res64: 3C0D9D976D781C78 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:46:44] 765*2^1521319-1 is not prime. Res64: EB487967BC89D1EB Time : 0.0 sec. user=mdettweiler [2018-08-14 22:46:44] 775*2^1521319-1 is not prime. Res64: 96CC04A97B44E42C Time : 0.0 sec. user=mdettweiler [2018-08-14 22:46:45] 789*2^1521319-1 is not prime. Res64: AD85693DCF6F81B7 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:55:20] 843*2^1521319-1 is not prime. Res64: 6C5A27F2C4DE693F Time : 0.0 sec. user=mdettweiler [2018-08-14 22:55:21] 885*2^1521319-1 is not prime. Res64: 76735E5B2A54ACB9 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:55:21] 665*2^1521320-1 is not prime. Res64: A9A89CEF1F38C4B7 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:55:21] 689*2^1521320-1 is not prime. Res64: 6F4D054EFD887F92 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:55:22] 929*2^1521320-1 is not prime. Res64: 332168479C616549 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:56:50] 963*2^1521320-1 is not prime. Res64: 4B8A38191F3AE7E0 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:56:50] 649*2^1521321-1 is not prime. Res64: 2BC70C8C4E985F7B Time : 0.0 sec. user=mdettweiler [2018-08-14 22:56:51] 691*2^1521321-1 is not prime. Res64: A3296668FEC4773C Time : 0.0 sec. user=mdettweiler [2018-08-14 22:56:51] 789*2^1521321-1 is not prime. Res64: 3163380C01BDD481 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:56:51] 805*2^1521321-1 is not prime. Res64: 7A1794F9C36717AF Time : 0.0 sec. user=mdettweiler [2018-08-14 22:57:31] 817*2^1521321-1 is not prime. Res64: D818FB0EDD2E74A9 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:57:31] 835*2^1521321-1 is not prime. Res64: B38A6C638CD17EDA Time : 0.0 sec. user=mdettweiler [2018-08-14 22:57:32] 847*2^1521321-1 is not prime. Res64: 20F3DF148F47DB20 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:57:32] 651*2^1521322-1 is not prime. Res64: 25B75603B3FFD744 Time : 0.0 sec. user=mdettweiler [2018-08-14 22:57:32] 915*2^1521322-1 is not prime. Res64: A2A80D0FC5D4E152 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:38:08] 981*2^1521322-1 is not prime. Res64: F527D285809A1EA5 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:38:09] 983*2^1521322-1 is not prime. Res64: 6EC3CB13A2CA724E Time : 0.0 sec. user=mdettweiler [2018-08-14 23:38:09] 703*2^1521323-1 is not prime. Res64: C6A81C23799B691F Time : 0.0 sec. user=mdettweiler [2018-08-14 23:38:09] 801*2^1521323-1 is not prime. Res64: 57D4F0BC8B4BD258 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:38:10] 861*2^1521323-1 is not prime. Res64: 9C377BBD5BB0703D Time : 0.0 sec. user=mdettweiler [2018-08-14 23:46:35] 871*2^1521323-1 is not prime. Res64: A58C14DA030F60E6 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:46:35] 963*2^1521323-1 is not prime. Res64: 5FA56488B74880A8 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:46:36] 693*2^1521324-1 is not prime. Res64: 82CF52DE4061B3AB Time : 0.0 sec. user=mdettweiler [2018-08-14 23:46:36] 717*2^1521324-1 is not prime. Res64: F4766BA6F0FDBE7D Time : 0.0 sec. user=mdettweiler [2018-08-14 23:46:36] 749*2^1521324-1 is not prime. Res64: 0FBEE15172F90AD2 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:48:28] 773*2^1521324-1 is not prime. Res64: A96AF4C363E27CA5 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:48:28] 789*2^1521324-1 is not prime. Res64: 0B425E2BB263121C Time : 0.0 sec. user=mdettweiler [2018-08-14 23:48:29] 809*2^1521324-1 is not prime. Res64: 577BF4F6C7654722 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:48:29] 909*2^1521324-1 is not prime. Res64: F4E274B45B5DDCFE Time : 0.0 sec. user=mdettweiler [2018-08-14 23:48:29] 959*2^1521324-1 is not prime. Res64: D142128CB8809052 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:48:55] 969*2^1521324-1 is not prime. Res64: 5C1007275BB9724E Time : 0.0 sec. user=mdettweiler [2018-08-14 23:48:55] 983*2^1521324-1 is not prime. Res64: A3A0055C9E241118 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:48:56] 607*2^1521325-1 is not prime. Res64: 07F574406BFA3297 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:48:56] 651*2^1521325-1 is not prime. Res64: AEE798F3F0848E48 Time : 0.0 sec. user=mdettweiler [2018-08-14 23:48:56] 771*2^1521325-1 is not prime. Res64: 7D05256ADB789E0F Time : 0.0 sec.