user=mdettweiler [2020-04-23 00:45:18] 951*2^1558002-1 is not prime. Res64: 828AD934C5599C73 Time : 0.0 sec. user=mdettweiler [2020-04-23 00:45:19] 1001*2^1558002-1 is not prime. Res64: 7A06B975F0DF4E17 Time : 0.0 sec. user=mdettweiler [2020-04-23 00:45:19] 723*2^1558003-1 is not prime. Res64: A3743BA31EB30B87 Time : 0.0 sec. user=mdettweiler [2020-04-23 00:45:20] 751*2^1558003-1 is not prime. Res64: 5838093ED95A3B14 Time : 0.0 sec. user=mdettweiler [2020-04-23 00:45:20] 765*2^1558003-1 is not prime. Res64: 824A66D0664A278D Time : 0.0 sec. user=mdettweiler [2020-04-23 00:50:54] 889*2^1558003-1 is not prime. Res64: D4E8477E8E78102C Time : 0.0 sec. user=mdettweiler [2020-04-23 00:50:55] 919*2^1558003-1 is not prime. Res64: 1C5116A94C175465 Time : 0.0 sec. user=mdettweiler [2020-04-23 00:50:55] 951*2^1558003-1 is not prime. Res64: AE60678DFD30813D Time : 0.0 sec. user=mdettweiler [2020-04-23 00:50:55] 961*2^1558003-1 is not prime. Res64: E0576140DE663A54 Time : 0.0 sec. user=mdettweiler [2020-04-23 00:50:56] 969*2^1558003-1 is not prime. Res64: 63AC8A59E37EC16E Time : 0.0 sec. user=mdettweiler [2020-04-23 00:55:23] 617*2^1558004-1 is not prime. Res64: E81A825637761688 Time : 0.0 sec. user=mdettweiler [2020-04-23 00:55:24] 725*2^1558004-1 is not prime. Res64: 812964BE6FDD452E Time : 0.0 sec. user=mdettweiler [2020-04-23 00:55:24] 749*2^1558004-1 is not prime. Res64: 253B924F8C363FBB Time : 0.0 sec. user=mdettweiler [2020-04-23 00:55:25] 893*2^1558004-1 is not prime. Res64: 88389981C4C11DE8 Time : 0.0 sec. user=mdettweiler [2020-04-23 00:55:25] 897*2^1558004-1 is not prime. Res64: F2BED6F81B8712F0 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:40:09] 669*2^1558005-1 is not prime. Res64: CAF5730ADE4A3974 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:40:11] 741*2^1558005-1 is not prime. Res64: 1AB0C4E8094B50DC Time : 0.0 sec. user=mdettweiler [2020-04-23 01:40:12] 777*2^1558005-1 is not prime. Res64: F06CFC14B5A439E6 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:40:13] 895*2^1558005-1 is not prime. Res64: 97C7ABF3F0ADA9D6 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:40:14] 919*2^1558005-1 is not prime. Res64: DEE312935385C474 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:45:22] 979*2^1558005-1 is not prime. Res64: EBFAB92ED9C1D805 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:45:27] 617*2^1558006-1 is not prime. Res64: 383B867C30312D8B Time : 0.0 sec. user=mdettweiler [2020-04-23 01:45:33] 647*2^1558006-1 is not prime. Res64: 741DDAF4D1586943 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:45:37] 833*2^1558006-1 is not prime. Res64: A5B27C7DA2AC6BA6 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:45:39] 881*2^1558006-1 is not prime. Res64: 48002B298E2666FA Time : 0.0 sec. user=mdettweiler [2020-04-23 01:51:02] 891*2^1558006-1 is not prime. Res64: 89BE182EA4166A93 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:51:04] 987*2^1558006-1 is not prime. Res64: 251062036D4D4900 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:51:05] 993*2^1558006-1 is not prime. Res64: A95271AE8037D1CE Time : 0.0 sec. user=mdettweiler [2020-04-23 01:51:07] 601*2^1558007-1 is not prime. Res64: F0EF28A0406CE990 Time : 0.0 sec. user=mdettweiler [2020-04-23 01:51:08] 675*2^1558007-1 is not prime. Res64: 9BA4152CA97020A9 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:33:31] 739*2^1558007-1 is not prime. Res64: A484F4457DA90FA3 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:33:32] 763*2^1558007-1 is not prime. Res64: 43C3ADAFDE7991BE Time : 0.0 sec. user=mdettweiler [2020-04-23 02:33:33] 775*2^1558007-1 is not prime. Res64: 653215195B658716 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:33:33] 799*2^1558007-1 is not prime. Res64: 1E4B7245A06886E9 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:33:34] 841*2^1558007-1 is not prime. Res64: 0399299378F34700 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:42:01] 909*2^1558007-1 is not prime. Res64: 26A09D5EA65D9363 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:42:01] 913*2^1558007-1 is not prime. Res64: 119DC5C8CC246BFC Time : 0.0 sec. user=mdettweiler [2020-04-23 02:42:02] 985*2^1558007-1 is not prime. Res64: D4CBE35D9A10CEAB Time : 0.0 sec. user=mdettweiler [2020-04-23 02:42:02] 635*2^1558008-1 is not prime. Res64: C4693A55C09CC057 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:42:02] 735*2^1558008-1 is not prime. Res64: B323FB0D264EE666 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:46:18] 777*2^1558008-1 is not prime. Res64: F9D083444AB8A1A8 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:46:19] 789*2^1558008-1 is not prime. Res64: D026779D885DAE52 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:46:19] 945*2^1558008-1 is not prime. Res64: 07CB1EDCAA51E254 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:46:19] 999*2^1558008-1 is not prime. Res64: C8062CE36349C849 Time : 0.0 sec. user=mdettweiler [2020-04-23 02:46:20] 661*2^1558009-1 is not prime. Res64: 779AAF7CCA13E6EB Time : 0.0 sec. user=mdettweiler [2020-04-23 03:28:05] 687*2^1558009-1 is not prime. Res64: 166A7A744D9C7BFF Time : 0.0 sec. user=mdettweiler [2020-04-23 03:28:08] 829*2^1558009-1 is not prime. Res64: 7D5B7949FBDBB355 Time : 0.0 sec. user=mdettweiler [2020-04-23 03:28:09] 885*2^1558009-1 is not prime. Res64: C7A0DB276BFB15DC Time : 0.0 sec. user=mdettweiler [2020-04-23 03:28:11] 925*2^1558009-1 is not prime. Res64: 9A1703133934860F Time : 0.0 sec. user=mdettweiler [2020-04-23 03:28:12] 687*2^1558010-1 is not prime. Res64: 63DFCF9C45766A49 Time : 0.0 sec. user=mdettweiler [2020-04-23 03:36:07] 755*2^1558010-1 is not prime. Res64: 465703A0D56D2A2E Time : 0.0 sec. user=mdettweiler [2020-04-23 03:36:12] 773*2^1558010-1 is not prime. Res64: 3CA57E562A2D8970 Time : 0.0 sec. user=mdettweiler [2020-04-23 03:36:15] 843*2^1558010-1 is not prime. Res64: DDB88262D747CE78 Time : 0.0 sec. user=mdettweiler [2020-04-23 03:36:18] 857*2^1558010-1 is not prime. Res64: 8DC78D4C2CCC64E3 Time : 0.0 sec. user=mdettweiler [2020-04-23 03:36:20] 957*2^1558010-1 is not prime. Res64: 4E80CCE7A588CBB1 Time : 0.0 sec. user=mdettweiler [2020-04-23 03:40:10] 995*2^1558010-1 is not prime. Res64: D688E4DF78786349 Time : 0.0 sec. user=mdettweiler [2020-04-23 04:22:16] 909*2^1558011-1 is not prime. Res64: 2708C1594C209A6A Time : 0.0 sec. user=mdettweiler [2020-04-23 04:29:55] 803*2^1558012-1 is not prime. Res64: 9EEFE93A324B57D1 Time : 0.0 sec. user=mdettweiler [2020-04-23 04:29:58] 827*2^1558012-1 is not prime. Res64: 590F1F7A71D36858 Time : 0.0 sec. user=mdettweiler [2020-04-23 04:30:00] 615*2^1558013-1 is not prime. Res64: EC6101BCF4DB8DD3 Time : 0.0 sec. user=mdettweiler [2020-04-23 04:30:02] 675*2^1558013-1 is not prime. Res64: FDA8451D1E4F90DA Time : 0.0 sec. user=mdettweiler [2020-04-23 04:30:04] 741*2^1558013-1 is not prime. Res64: A0E065FAED966AAB Time : 0.0 sec. user=mdettweiler [2020-04-23 05:26:00] 811*2^1558013-1 is not prime. Res64: 65444ECDFEABCCB2 Time : 0.0 sec. user=mdettweiler [2020-04-23 05:26:00] 871*2^1558013-1 is not prime. Res64: A85E68640B5A7A77 Time : 0.0 sec. user=mdettweiler [2020-04-23 05:26:01] 897*2^1558013-1 is not prime. Res64: 23FEA49C8C1348D3 Time : 0.0 sec. user=mdettweiler [2020-04-23 05:26:02] 615*2^1558014-1 is not prime. Res64: B9A7FA2B4430C9DC Time : 0.0 sec. user=mdettweiler [2020-04-23 05:26:02] 681*2^1558014-1 is not prime. Res64: 3FD851DC4054B4D9 Time : 0.0 sec. user=mdettweiler [2020-04-23 06:22:49] 705*2^1558014-1 is not prime. Res64: 17FFE9053B9A20F8 Time : 0.0 sec. user=mdettweiler [2020-04-23 06:22:50] 737*2^1558014-1 is not prime. Res64: A89F2A1287F0060E Time : 0.0 sec. user=mdettweiler [2020-04-23 06:22:51] 875*2^1558014-1 is not prime. Res64: FB9C3B15A9AB22B4 Time : 0.0 sec. user=mdettweiler [2020-04-23 06:22:51] 893*2^1558014-1 is not prime. Res64: A2B2E6ED2F4FCA3D Time : 0.0 sec. user=mdettweiler [2020-04-23 06:22:52] 951*2^1558014-1 is not prime. Res64: 593A777241C62F01 Time : 0.0 sec. user=mdettweiler [2020-04-23 07:19:30] 771*2^1558015-1 is not prime. Res64: 98FEB325155BFA1B Time : 0.0 sec. user=mdettweiler [2020-04-23 07:19:31] 871*2^1558015-1 is not prime. Res64: 77032579259F84A9 Time : 0.0 sec. user=mdettweiler [2020-04-23 07:19:31] 913*2^1558015-1 is not prime. Res64: 463829A03B21DE50 Time : 0.0 sec. user=mdettweiler [2020-04-23 07:19:32] 933*2^1558015-1 is not prime. Res64: 5C2AF1D001D62204 Time : 0.0 sec. user=mdettweiler [2020-04-23 07:19:33] 623*2^1558016-1 is not prime. Res64: C521B3AE15F3A156 Time : 0.0 sec. user=mdettweiler [2020-04-23 08:14:00] 693*2^1558016-1 is not prime. Res64: 97D1EF2C751B2884 Time : 0.0 sec. user=mdettweiler [2020-04-23 08:14:01] 773*2^1558016-1 is not prime. Res64: A3087F6C0486FC97 Time : 0.0 sec. user=mdettweiler [2020-04-23 08:14:02] 785*2^1558016-1 is not prime. Res64: 56F90F44208EE066 Time : 0.0 sec. user=mdettweiler [2020-04-23 08:14:03] 843*2^1558016-1 is not prime. Res64: 3AD183B9227BD531 Time : 0.0 sec. user=mdettweiler [2020-04-23 08:14:03] 927*2^1558016-1 is not prime. Res64: 98612689DB2F193C Time : 0.0 sec. user=mdettweiler [2020-04-23 08:44:41] 709*2^1558011-1 is not prime. Res64: 3F0D4EB57AB6D6A3 Time : 0.0 sec. user=mdettweiler [2020-04-23 08:44:42] 739*2^1558011-1 is not prime. Res64: 03F89D83743BDF64 Time : 0.0 sec. user=mdettweiler [2020-04-23 08:44:42] 783*2^1558011-1 is not prime. Res64: 8409DF9E595D8522 Time : 0.0 sec. user=mdettweiler [2020-04-23 08:44:43] 801*2^1558011-1 is not prime. Res64: BB2ED53AB1B2BF86 Time : 0.0 sec. user=mdettweiler [2020-04-23 09:08:23] 999*2^1558016-1 is not prime. Res64: 4C274A7B2D906041 Time : 0.0 sec. user=mdettweiler [2020-04-23 09:08:24] 691*2^1558017-1 is not prime. Res64: 0E5B5DA416DCEB5B Time : 0.0 sec. user=mdettweiler [2020-04-23 09:08:25] 727*2^1558017-1 is not prime. Res64: DABDD6B18DF7689F Time : 0.0 sec. user=mdettweiler [2020-04-23 09:08:26] 739*2^1558017-1 is not prime. Res64: 9066523D26AB1862 Time : 0.0 sec. user=mdettweiler [2020-04-23 09:08:27] 837*2^1558017-1 is not prime. Res64: 998AF4D741BA492F Time : 0.0 sec. user=mdettweiler [2020-04-23 09:40:30] 861*2^1558017-1 is not prime. Res64: 87C9F50E74A10B55 Time : 0.0 sec. user=mdettweiler [2020-04-23 09:40:30] 867*2^1558017-1 is not prime. Res64: F9AA583714CBCAE8 Time : 0.0 sec. user=mdettweiler [2020-04-23 09:40:31] 937*2^1558017-1 is not prime. Res64: 08FEEBEF89B92731 Time : 0.0 sec. user=mdettweiler [2020-04-23 09:40:32] 611*2^1558018-1 is not prime. Res64: F202C5CEB2972072 Time : 0.0 sec. user=mdettweiler [2020-04-23 09:40:32] 687*2^1558018-1 is not prime. Res64: DF1D5D6CF3EE253A Time : 0.0 sec. user=mdettweiler [2020-04-23 09:50:02] 629*2^1558012-1 is not prime. Res64: 0C96E8E8273F5EA4 Time : 0.0 sec. user=mdettweiler [2020-04-23 09:50:02] 677*2^1558012-1 is not prime. Res64: 727B97121CFED001 Time : 0.0 sec. user=mdettweiler [2020-04-23 09:50:03] 735*2^1558012-1 is not prime. Res64: 5CA81F5EA6DD770E Time : 0.0 sec. user=mdettweiler [2020-04-23 09:50:03] 779*2^1558012-1 is not prime. Res64: 3A9F403D1F8CBEB9 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:02:46] 755*2^1558018-1 is not prime. Res64: 164A212DB64FCD17 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:02:49] 773*2^1558018-1 is not prime. Res64: 765E0D8463B21152 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:02:52] 831*2^1558018-1 is not prime. Res64: F77B35BE8393E5B8 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:02:55] 857*2^1558018-1 is not prime. Res64: A95B77E3FA1283F2 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:02:57] 951*2^1558018-1 is not prime. Res64: CCC335CD52078CA8 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:36:13] 975*2^1558018-1 is not prime. Res64: 6DCB0224758C1A8C Time : 0.0 sec. user=mdettweiler [2020-04-23 10:36:13] 987*2^1558018-1 is not prime. Res64: 363FE3F1CAE88229 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:36:14] 1001*2^1558018-1 is not prime. Res64: 3766AB64D11A4A0C Time : 0.0 sec. user=mdettweiler [2020-04-23 10:36:14] 609*2^1558019-1 is not prime. Res64: FAA36CC6FD88ADA8 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:36:15] 663*2^1558019-1 is not prime. Res64: F12185C561473140 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:42:21] 733*2^1558019-1 is not prime. Res64: AFF9E856EEA07A3E Time : 0.0 sec. user=mdettweiler [2020-04-23 10:42:22] 635*2^1558020-1 is not prime. Res64: 47580431D028B0C1 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:42:22] 665*2^1558020-1 is not prime. Res64: 644818EF87040A31 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:42:23] 759*2^1558020-1 is not prime. Res64: A09C285FFB036B1E Time : 0.0 sec. user=mdettweiler [2020-04-23 10:42:23] 803*2^1558020-1 is not prime. Res64: 157F0CD1FC386038 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:59:18] 899*2^1558020-1 is not prime. Res64: 7B3C4A42739ED4CF Time : 0.0 sec. user=mdettweiler [2020-04-23 10:59:19] 975*2^1558020-1 is not prime. Res64: E24D1DBB69856783 Time : 0.0 sec. user=mdettweiler [2020-04-23 10:59:19] 987*2^1558020-1 is not prime. Res64: 08ECF313757886FE Time : 0.0 sec. user=mdettweiler [2020-04-23 10:59:19] 727*2^1558021-1 is not prime. Res64: CFAA009F6F36299A Time : 0.0 sec. user=mdettweiler [2020-04-23 10:59:20] 855*2^1558021-1 is not prime. Res64: B9FC28576478F979 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:32:27] 861*2^1558021-1 is not prime. Res64: D24E19EEE7E331D7 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:32:28] 927*2^1558021-1 is not prime. Res64: 75187BB127B4C481 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:32:28] 931*2^1558021-1 is not prime. Res64: 0148CC654E0CDAD1 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:32:28] 771*2^1558022-1 is not prime. Res64: F2149151626823FB Time : 0.0 sec. user=mdettweiler [2020-04-23 11:32:29] 815*2^1558022-1 is not prime. Res64: 4D5E217AE1703329 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:39:41] 903*2^1558022-1 is not prime. Res64: A5E469030256EFE6 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:39:42] 987*2^1558022-1 is not prime. Res64: B207932A6D71D697 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:39:42] 739*2^1558023-1 is not prime. Res64: 7938E154DF938036 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:39:42] 871*2^1558023-1 is not prime. Res64: ED1C93F32D4F5467 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:39:43] 873*2^1558023-1 is not prime. Res64: 6D5C613BB4434DFA Time : 0.0 sec. user=mdettweiler [2020-04-23 11:54:51] 943*2^1558023-1 is not prime. Res64: 38FB4A6AC4A272C3 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:54:51] 949*2^1558023-1 is not prime. Res64: 47E1939A3460DD2B Time : 0.0 sec. user=mdettweiler [2020-04-23 11:54:52] 639*2^1558024-1 is not prime. Res64: DBCDD09C19395C60 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:54:52] 677*2^1558024-1 is not prime. Res64: F0823A0CE0355505 Time : 0.0 sec. user=mdettweiler [2020-04-23 11:54:53] 869*2^1558024-1 is not prime. Res64: B15A290DDC37DC78 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:26:58] 927*2^1558024-1 is not prime. Res64: EDDAECE9D25E5C65 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:26:59] 969*2^1558024-1 is not prime. Res64: 5F370D0CC0EAD3B5 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:26:59] 651*2^1558025-1 is not prime. Res64: 8C478E544AD155E5 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:27:00] 717*2^1558025-1 is not prime. Res64: 1748E0D3970CA54E Time : 0.0 sec. user=mdettweiler [2020-04-23 12:27:01] 727*2^1558025-1 is not prime. Res64: B0A30EADD3252D67 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:36:02] 759*2^1558025-1 is not prime. Res64: 1FBDC173ADB6B784 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:36:02] 831*2^1558025-1 is not prime. Res64: 2FD58EACC460A949 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:36:03] 885*2^1558025-1 is not prime. Res64: 02C2001716FD67A8 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:36:03] 949*2^1558025-1 is not prime. Res64: CCB2396702C32734 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:36:04] 985*2^1558025-1 is not prime. Res64: 7D8FCBE155413339 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:50:47] 987*2^1558025-1 is not prime. Res64: 7468387613E6A5EA Time : 0.0 sec. user=mdettweiler [2020-04-23 12:50:47] 677*2^1558026-1 is not prime. Res64: 3D2EA9F0C3EA438F Time : 0.0 sec. user=mdettweiler [2020-04-23 12:50:48] 815*2^1558026-1 is not prime. Res64: CE54C4D6D43953D6 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:50:48] 891*2^1558026-1 is not prime. Res64: 38BF79923AD111A5 Time : 0.0 sec. user=mdettweiler [2020-04-23 12:50:48] 933*2^1558026-1 is not prime. Res64: 65979A9029A29510 Time : 0.0 sec. user=mdettweiler [2020-04-23 13:21:24] 947*2^1558026-1 is not prime. Res64: 28E7968EC9C6C549 Time : 0.0 sec. user=mdettweiler [2020-04-23 13:21:25] 975*2^1558026-1 is not prime. Res64: 4FAFD0A84FFD75B7 Time : 0.0 sec. user=mdettweiler [2020-04-23 13:21:26] 639*2^1558027-1 is not prime. Res64: A704247F2D54D27D Time : 0.0 sec. user=mdettweiler [2020-04-23 13:21:27] 635*2^1558028-1 is not prime. Res64: BFD3E4D27FCDDC76 Time : 0.0 sec. user=mdettweiler [2020-04-23 13:21:28] 647*2^1558028-1 is not prime. Res64: DA5D0C865EE19114 Time : 0.0 sec. user=mdettweiler [2020-04-23 13:32:17] 819*2^1558028-1 is not prime. Res64: 5B4FE411043FDE9E Time : 0.0 sec. user=mdettweiler [2020-04-23 13:32:18] 867*2^1558028-1 is not prime. Res64: A7171551A0C39879 Time : 0.0 sec. user=mdettweiler [2020-04-23 13:32:18] 875*2^1558028-1 is not prime. Res64: 6F26A86752D7A6CE Time : 0.0 sec. user=mdettweiler [2020-04-23 13:32:19] 953*2^1558028-1 is not prime. Res64: 8CF319530B9F10B5 Time : 0.0 sec. user=mdettweiler [2020-04-23 13:32:19] 627*2^1558029-1 is not prime. Res64: F9E2B1431818AD7E Time : 0.0 sec. user=mdettweiler [2020-04-23 13:45:02] 741*2^1558029-1 is not prime. Res64: DBFE8C73628D1E3D Time : 0.0 sec. user=mdettweiler [2020-04-23 13:45:03] 675*2^1558030-1 is not prime. Res64: CC896640CF68B892 Time : 0.0 sec. user=mdettweiler [2020-04-23 13:45:04] 843*2^1558030-1 is not prime. Res64: 5CF3AC8680767923 Time : 0.0 sec. user=mdettweiler [2020-04-23 13:45:05] 855*2^1558030-1 is not prime. Res64: E40EE68AAD47BA66 Time : 0.0 sec. user=mdettweiler [2020-04-23 13:45:05] 873*2^1558030-1 is not prime. Res64: 0D109211A1B18988 Time : 0.0 sec. user=mdettweiler [2020-04-23 14:19:10] 887*2^1558030-1 is not prime. Res64: 73C709E64C7AB4CD Time : 0.0 sec. user=mdettweiler [2020-04-23 14:19:11] 923*2^1558030-1 is not prime. Res64: 2F8BF00F39D66884 Time : 0.0 sec. user=mdettweiler [2020-04-23 14:19:11] 965*2^1558030-1 is not prime. Res64: DE35CD35C46AF0A4 Time : 0.0 sec. user=mdettweiler [2020-04-23 14:19:12] 619*2^1558031-1 is not prime. Res64: 49BF644DC2038938 Time : 0.0 sec. user=mdettweiler [2020-04-23 14:19:12] 621*2^1558031-1 is not prime. Res64: E778239C7B4D4DE2 Time : 0.0 sec. user=mdettweiler [2020-04-23 14:26:32] 703*2^1558031-1 is not prime. Res64: 46B34725D9AA7AF2 Time : 0.0 sec. user=mdettweiler [2020-04-23 14:26:34] 711*2^1558031-1 is not prime. Res64: 9B3612FC5CF70710 Time : 0.0 sec. user=mdettweiler [2020-04-23 14:26:35] 715*2^1558031-1 is not prime. Res64: 05B65F93AC8E1B3E Time : 0.0 sec. user=mdettweiler [2020-04-23 14:26:36] 753*2^1558031-1 is not prime. Res64: 0441891F33E0F13C Time : 0.0 sec. user=mdettweiler [2020-04-23 14:26:37] 789*2^1558031-1 is not prime. Res64: C492D359FB20A41D Time : 0.0 sec. user=mdettweiler [2020-04-23 14:42:48] 813*2^1558031-1 is not prime. Res64: E81487AE3A9DE0F9 Time : 0.0 sec. user=mdettweiler [2020-04-23 14:42:48] 859*2^1558031-1 is not prime. Res64: 2A0926C2D474EA20 Time : 0.0 sec. user=mdettweiler [2020-04-23 14:42:48] 973*2^1558031-1 is not prime. Res64: D16107FE5338068D Time : 0.0 sec. user=mdettweiler [2020-04-23 14:42:49] 765*2^1558032-1 is not prime. Res64: 1D5C8F83835433F2 Time : 0.0 sec. user=mdettweiler [2020-04-23 14:42:49] 797*2^1558032-1 is not prime. Res64: B160EE01467D0252 Time : 0.0 sec. user=mdettweiler [2020-04-23 15:16:25] 815*2^1558032-1 is not prime. Res64: 18AE68F9F4B4E5BD Time : 0.0 sec. user=mdettweiler [2020-04-23 15:16:26] 945*2^1558032-1 is not prime. Res64: 07455151E48DFC2D Time : 0.0 sec. user=mdettweiler [2020-04-23 15:16:27] 745*2^1558033-1 is not prime. Res64: A6F624811F02D6B0 Time : 0.0 sec. user=mdettweiler [2020-04-23 15:16:27] 847*2^1558033-1 is not prime. Res64: 9190CE64AE6DD3C5 Time : 0.0 sec. user=mdettweiler [2020-04-23 15:16:28] 861*2^1558033-1 is not prime. Res64: DED28B2C5FE2AB43 Time : 0.0 sec. user=mdettweiler [2020-04-23 15:21:55] 915*2^1558033-1 is not prime. Res64: A6EA64C8284E836A Time : 0.0 sec. user=mdettweiler [2020-04-23 15:21:55] 623*2^1558034-1 is not prime. Res64: 2188318060D6FE12 Time : 0.0 sec. user=mdettweiler [2020-04-23 15:21:56] 665*2^1558034-1 is not prime. Res64: 9F43907E73709474 Time : 0.0 sec. user=mdettweiler [2020-04-23 15:21:56] 783*2^1558034-1 is not prime. Res64: FCCAAF076CC383FB Time : 0.0 sec. user=mdettweiler [2020-04-23 15:21:57] 791*2^1558034-1 is not prime. Res64: F26949DBE21F079E Time : 0.0 sec. user=mdettweiler [2020-04-23 15:38:25] 833*2^1558034-1 is not prime. Res64: FACE1A5966CEAD94 Time : 0.0 sec. user=mdettweiler [2020-04-23 15:38:25] 1001*2^1558034-1 is not prime. Res64: C84971DA0A0F2D11 Time : 0.0 sec. user=mdettweiler [2020-04-23 15:38:26] 633*2^1558035-1 is not prime. Res64: 259C8D32CA0C82CB Time : 0.0 sec. user=mdettweiler [2020-04-23 15:38:26] 691*2^1558035-1 is not prime. Res64: 3DD8B61F4ECF281B Time : 0.0 sec. user=mdettweiler [2020-04-23 15:38:27] 793*2^1558035-1 is not prime. Res64: 878EDC6C7DA279F9 Time : 0.0 sec. user=mdettweiler [2020-04-23 16:11:29] 829*2^1558035-1 is not prime. Res64: 57E81AE5CA803CFE Time : 0.0 sec. user=mdettweiler [2020-04-23 16:11:31] 853*2^1558035-1 is not prime. Res64: D7096A9AF4E33521 Time : 0.0 sec. user=mdettweiler [2020-04-23 16:11:33] 991*2^1558035-1 is not prime. Res64: 2CC457E371CF1DFF Time : 0.0 sec. user=mdettweiler [2020-04-23 16:11:34] 615*2^1558036-1 is not prime. Res64: 8EB8D4D606CF898A Time : 0.0 sec. user=mdettweiler [2020-04-23 16:11:35] 675*2^1558036-1 is not prime. Res64: 57920A4A7DD391EB Time : 0.0 sec. user=mdettweiler [2020-04-23 16:20:55] 843*2^1558036-1 is not prime. Res64: 3EF4C31B6BE4347E Time : 0.0 sec. user=mdettweiler [2020-04-23 16:20:56] 899*2^1558036-1 is not prime. Res64: AFB28062D963C896 Time : 0.0 sec. user=mdettweiler [2020-04-23 16:20:56] 923*2^1558036-1 is not prime. Res64: FAA383DF050D4B3D Time : 0.0 sec. user=mdettweiler [2020-04-23 16:20:57] 969*2^1558036-1 is not prime. Res64: 0333BDF5B2C98DDE Time : 0.0 sec. user=mdettweiler [2020-04-23 16:20:58] 999*2^1558036-1 is not prime. Res64: 31F2CF22850D4029 Time : 0.0 sec. user=mdettweiler [2020-04-23 16:35:49] 781*2^1558037-1 is not prime. Res64: 9885686212986DCF Time : 0.0 sec. user=mdettweiler [2020-04-23 16:35:50] 805*2^1558037-1 is not prime. Res64: E9B757A4392B5122 Time : 0.0 sec. user=mdettweiler [2020-04-23 16:35:50] 865*2^1558037-1 is not prime. Res64: 91B2BA73E236DF0E Time : 0.0 sec. user=mdettweiler [2020-04-23 16:35:51] 867*2^1558037-1 is not prime. Res64: 013497B9E1144568 Time : 0.0 sec. user=mdettweiler [2020-04-23 16:35:51] 901*2^1558037-1 is not prime. Res64: 9704566DFCB126DA Time : 0.0 sec. user=mdettweiler [2020-04-23 17:06:02] 797*2^1558038-1 is not prime. Res64: 8FBB4502D07EFC7D Time : 0.0 sec. user=mdettweiler [2020-04-23 17:06:06] 963*2^1558038-1 is not prime. Res64: 29A68631B0D699A9 Time : 0.0 sec. user=mdettweiler [2020-04-23 17:06:07] 645*2^1558039-1 is not prime. Res64: 427C47EA5BC076DE Time : 0.0 sec. user=mdettweiler [2020-04-23 17:06:09] 723*2^1558039-1 is not prime. Res64: 7B7D2E24BBECDE48 Time : 0.0 sec. user=mdettweiler [2020-04-23 17:06:11] 789*2^1558039-1 is not prime. Res64: 19C487E2B7E2BFD2 Time : 0.0 sec. user=mdettweiler [2020-04-23 17:20:04] 885*2^1558039-1 is not prime. Res64: 1BE9C3BB530BB398 Time : 0.0 sec. user=mdettweiler [2020-04-23 17:20:05] 891*2^1558039-1 is not prime. Res64: 69F7AC74CF27A64D Time : 0.0 sec. user=mdettweiler [2020-04-23 17:20:05] 939*2^1558039-1 is not prime. Res64: 1F631D7180ADF56B Time : 0.0 sec. user=mdettweiler [2020-04-23 17:20:06] 943*2^1558039-1 is not prime. Res64: F8994E00BB520727 Time : 0.0 sec. user=mdettweiler [2020-04-23 17:20:06] 979*2^1558039-1 is not prime. Res64: D1EE590E227AE554 Time : 0.0 sec. user=mdettweiler [2020-04-23 17:29:14] 743*2^1558040-1 is not prime. Res64: 46D159D0A113DA3A Time : 0.0 sec. user=mdettweiler [2020-04-23 17:29:15] 759*2^1558040-1 is not prime. Res64: 9E89925DA42E9D00 Time : 0.0 sec. user=mdettweiler [2020-04-23 17:29:15] 785*2^1558040-1 is not prime. Res64: F0086A812FA27204 Time : 0.0 sec. user=mdettweiler [2020-04-23 17:29:16] 845*2^1558040-1 is not prime. Res64: ACB5AA8B4CBAF96C Time : 0.0 sec. user=mdettweiler [2020-04-23 17:29:16] 855*2^1558040-1 is not prime. Res64: D78747A7385F20EA Time : 0.0 sec. user=mdettweiler [2020-04-23 18:02:48] 857*2^1558040-1 is not prime. Res64: 33AE35E884F70590 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:02:50] 927*2^1558040-1 is not prime. Res64: 7C72C613E24ED700 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:02:52] 959*2^1558040-1 is not prime. Res64: A24A3B2DE0DEE79A Time : 0.0 sec. user=mdettweiler [2020-04-23 18:02:53] 999*2^1558040-1 is not prime. Res64: FC30EC4068EF6103 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:02:55] 639*2^1558041-1 is not prime. Res64: 02EBD01F18A5412E Time : 0.0 sec. user=mdettweiler [2020-04-23 18:14:01] 649*2^1558041-1 is not prime. Res64: 87D949F4C61D9520 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:14:03] 661*2^1558041-1 is not prime. Res64: 75D6345C1B6D89F1 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:14:04] 835*2^1558041-1 is not prime. Res64: 724D2C8FACC13A96 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:14:05] 837*2^1558041-1 is not prime. Res64: 907E3D7DBBF7BC89 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:14:07] 861*2^1558041-1 is not prime. Res64: 1C96FF4DE7EC1056 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:23:57] 877*2^1558041-1 is not prime. Res64: 1D57068A02A8BA53 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:23:58] 987*2^1558041-1 is not prime. Res64: 65EF2CCE23024899 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:23:58] 617*2^1558042-1 is not prime. Res64: 99BEE372AB446A6B Time : 0.0 sec. user=mdettweiler [2020-04-23 18:23:59] 621*2^1558042-1 is not prime. Res64: 44F735EE2A47FF03 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:23:59] 623*2^1558042-1 is not prime. Res64: 6D498691A58032D5 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:56:30] 635*2^1558042-1 is not prime. Res64: DA170F8F51286092 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:56:30] 657*2^1558042-1 is not prime. Res64: 156C5D5182165700 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:56:31] 671*2^1558042-1 is not prime. Res64: A940621528DC60D3 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:56:31] 717*2^1558042-1 is not prime. Res64: FF6624743719F8C9 Time : 0.0 sec. user=mdettweiler [2020-04-23 18:56:31] 867*2^1558042-1 is not prime. Res64: CB5F504A20126E17 Time : 0.0 sec. user=mdettweiler [2020-04-23 19:08:37] 881*2^1558042-1 is not prime. Res64: BCC6A744A75900E6 Time : 0.0 sec. user=mdettweiler [2020-04-23 19:08:38] 735*2^1558043-1 is not prime. Res64: 4BDB824959D4DED1 Time : 0.0 sec. user=mdettweiler [2020-04-23 19:08:38] 745*2^1558043-1 is not prime. Res64: F01C15E2F9051CA9 Time : 0.0 sec. user=mdettweiler [2020-04-23 19:08:39] 789*2^1558043-1 is not prime. Res64: 32F5025F5C3593ED Time : 0.0 sec. user=mdettweiler [2020-04-23 19:08:39] 801*2^1558043-1 is not prime. Res64: F7062FBF94DF506E Time : 0.0 sec. user=mdettweiler [2020-04-23 19:17:32] 913*2^1558043-1 is not prime. Res64: EC010D7B7F8A445D Time : 0.0 sec. user=mdettweiler [2020-04-23 19:17:33] 705*2^1558044-1 is not prime. Res64: 4C99C2DF898891E7 Time : 0.0 sec. user=mdettweiler [2020-04-23 19:17:33] 707*2^1558044-1 is not prime. Res64: 65CD76BA77A49634 Time : 0.0 sec. user=mdettweiler [2020-04-23 19:17:34] 717*2^1558044-1 is not prime. Res64: 361898FF15C88365 Time : 0.0 sec. user=mdettweiler [2020-04-23 19:17:34] 809*2^1558044-1 is not prime. Res64: CE412ED8FD3AD059 Time : 0.0 sec. user=mdettweiler [2020-04-23 19:52:46] 923*2^1558044-1 is not prime. Res64: B1E9F1C444D7A24A Time : 0.0 sec. user=mdettweiler [2020-04-23 19:52:46] 959*2^1558044-1 is not prime. Res64: 5735E44DD76B6F6F Time : 0.0 sec. user=mdettweiler [2020-04-23 19:52:47] 969*2^1558044-1 is not prime. Res64: F3283844D520BA8F Time : 0.0 sec. user=mdettweiler [2020-04-23 19:52:47] 625*2^1558045-1 is not prime. Res64: 943417243978F8E2 Time : 0.0 sec. user=mdettweiler [2020-04-23 19:52:48] 741*2^1558045-1 is not prime. Res64: 99A79125049E3B0B Time : 0.0 sec. user=mdettweiler [2020-04-23 20:06:20] 799*2^1558045-1 is not prime. Res64: 5DB41C670420CA87 Time : 0.0 sec. user=mdettweiler [2020-04-23 20:06:22] 859*2^1558045-1 is not prime. Res64: F67E24CCE6FF65AC Time : 0.0 sec. user=mdettweiler [2020-04-23 20:06:23] 885*2^1558045-1 is not prime. Res64: FC9FC60052A26ACE Time : 0.0 sec. user=mdettweiler [2020-04-23 20:06:26] 937*2^1558045-1 is not prime. Res64: AB58B93ADF11B8F5 Time : 0.0 sec. user=mdettweiler [2020-04-23 20:06:27] 997*2^1558045-1 is not prime. Res64: BA024A32DDFA22E9 Time : 0.0 sec. user=mdettweiler [2020-04-23 20:11:31] 623*2^1558046-1 is not prime. Res64: 94A5FA0673A25545 Time : 0.0 sec. user=mdettweiler [2020-04-23 20:11:32] 645*2^1558046-1 is not prime. Res64: C9C8A3026645574B Time : 0.0 sec. user=mdettweiler [2020-04-23 20:11:32] 743*2^1558046-1 is not prime. Res64: 0F4772AFBC31A613 Time : 0.0 sec. user=mdettweiler [2020-04-23 20:11:32] 813*2^1558046-1 is not prime. Res64: 5F64BF3F4FD3038A Time : 0.0 sec. user=mdettweiler [2020-04-23 20:11:33] 867*2^1558046-1 is not prime. Res64: 830F275D2D12EDF3 Time : 0.0 sec. user=mdettweiler [2020-04-23 20:49:13] 941*2^1558046-1 is not prime. Res64: F99A497BAD6CD3A6 Time : 0.0 sec. user=mdettweiler [2020-04-23 20:49:13] 971*2^1558046-1 is not prime. Res64: 28A13F1461F2D2FF Time : 0.0 sec. user=mdettweiler [2020-04-23 20:49:14] 981*2^1558046-1 is not prime. Res64: A4D293CA183527A0 Time : 0.0 sec. user=mdettweiler [2020-04-23 20:49:14] 625*2^1558047-1 is not prime. Res64: CAD365476A6D514B Time : 0.0 sec. user=mdettweiler [2020-04-23 20:49:14] 669*2^1558047-1 is not prime. Res64: 5672F320FCE8C358 Time : 0.0 sec. user=mdettweiler [2020-04-23 21:01:47] 657*2^1558048-1 is not prime. Res64: 94D3E5DBF4B84F1A Time : 0.0 sec. user=mdettweiler [2020-04-23 21:01:50] 755*2^1558048-1 is not prime. Res64: E9C8BB00E6F8832C Time : 0.0 sec. user=mdettweiler [2020-04-23 21:01:52] 827*2^1558048-1 is not prime. Res64: 664D98A3DAB90D53 Time : 0.0 sec. user=mdettweiler [2020-04-23 21:01:54] 855*2^1558048-1 is not prime. Res64: FE0BBC751C479F69 Time : 0.0 sec. user=mdettweiler [2020-04-23 21:01:55] 929*2^1558048-1 is not prime. Res64: C7393EBC7DE6474B Time : 0.0 sec. user=mdettweiler [2020-04-23 21:07:48] 615*2^1558049-1 is not prime. Res64: 4A846730376135AB Time : 0.0 sec. user=mdettweiler [2020-04-23 21:07:50] 789*2^1558049-1 is not prime. Res64: 2D4E5C9608C58FDB Time : 0.0 sec. user=mdettweiler [2020-04-23 21:07:53] 949*2^1558049-1 is not prime. Res64: 366858ACBAB6D79B Time : 0.0 sec. user=mdettweiler [2020-04-23 21:07:56] 987*2^1558049-1 is not prime. Res64: 937190BAB248454A Time : 0.0 sec. user=mdettweiler [2020-04-23 21:07:58] 755*2^1558050-1 is not prime. Res64: A15AD2A44F4E87B0 Time : 0.0 sec. user=mdettweiler [2020-04-23 21:45:30] 765*2^1558050-1 is not prime. Res64: 86EC03ED0808F634 Time : 0.0 sec. user=mdettweiler [2020-04-23 21:45:30] 861*2^1558050-1 is not prime. Res64: 70C526B5BD682C15 Time : 0.0 sec. user=mdettweiler [2020-04-23 21:45:31] 1001*2^1558050-1 is not prime. Res64: 865EBA140F736CB0 Time : 0.0 sec. user=mdettweiler [2020-04-23 21:45:31] 681*2^1558051-1 is not prime. Res64: DF590FDC97B45B29 Time : 0.0 sec. user=mdettweiler [2020-04-23 21:45:32] 703*2^1558051-1 is not prime. Res64: 38FD57278F78F872 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:00:01] 735*2^1558051-1 is not prime. Res64: 5C987B8C8C6C8799 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:00:02] 859*2^1558051-1 is not prime. Res64: 9E61424699400C0C Time : 0.0 sec. user=mdettweiler [2020-04-23 22:00:03] 873*2^1558051-1 is not prime. Res64: 43C6B93B1725952C Time : 0.0 sec. user=mdettweiler [2020-04-23 22:00:04] 969*2^1558051-1 is not prime. Res64: 6250659B5E2B512D Time : 0.0 sec. user=mdettweiler [2020-04-23 22:00:05] 669*2^1558052-1 is not prime. Res64: A95E5147D4EE3215 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:04:57] 677*2^1558052-1 is not prime. Res64: D5F8FD95CDE5F15D Time : 0.0 sec. user=mdettweiler [2020-04-23 22:04:59] 693*2^1558052-1 is not prime. Res64: 1EF724AC3A11C91C Time : 0.0 sec. user=mdettweiler [2020-04-23 22:05:00] 803*2^1558052-1 is not prime. Res64: C3397A64408F62F3 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:05:02] 867*2^1558052-1 is not prime. Res64: 72D5ECBD8B755A90 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:05:03] 915*2^1558052-1 is not prime. Res64: 4D8FA8EC161F5C12 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:44:31] 945*2^1558052-1 is not prime. Res64: 304453641DEA0059 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:44:32] 983*2^1558052-1 is not prime. Res64: 28D9690F9712CE3C Time : 0.0 sec. user=mdettweiler [2020-04-23 22:44:33] 639*2^1558053-1 is not prime. Res64: 5E950114521E8096 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:44:34] 885*2^1558053-1 is not prime. Res64: C556BF74335FCA34 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:44:36] 921*2^1558053-1 is not prime. Res64: 61B51FC720C916D0 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:56:16] 657*2^1558054-1 is not prime. Res64: 1088E2F9C8CF297F Time : 0.0 sec. user=mdettweiler [2020-04-23 22:56:16] 833*2^1558054-1 is not prime. Res64: 6D6B9141A56121E9 Time : 0.0 sec. user=mdettweiler [2020-04-23 22:56:17] 971*2^1558054-1 is not prime. Res64: 15A2234FC2AAA1CC Time : 0.0 sec. user=mdettweiler [2020-04-23 22:56:17] 983*2^1558054-1 is not prime. Res64: 768A41C24EDF6CDD Time : 0.0 sec. user=mdettweiler [2020-04-23 22:56:18] 721*2^1558055-1 is not prime. Res64: 9A5EDAC533050450 Time : 0.0 sec. user=mdettweiler [2020-04-23 23:00:29] 693*2^1558056-1 is not prime. Res64: 12E7C38AC2C1E88A Time : 0.0 sec. user=mdettweiler [2020-04-23 23:00:31] 705*2^1558056-1 is not prime. Res64: A1B3169A9604D99B Time : 0.0 sec. user=mdettweiler [2020-04-23 23:00:33] 773*2^1558056-1 is not prime. Res64: 34FF4302432782AE Time : 0.0 sec. user=mdettweiler [2020-04-23 23:00:34] 809*2^1558056-1 is not prime. Res64: 2956469030352E0F Time : 0.0 sec. user=mdettweiler [2020-04-23 23:00:36] 875*2^1558056-1 is not prime. Res64: 7363E21CEB8CF925 Time : 0.0 sec. user=mdettweiler [2020-04-23 23:39:19] 645*2^1558057-1 is not prime. Res64: 6026D191D278E1CE Time : 0.0 sec. user=mdettweiler [2020-04-23 23:39:20] 687*2^1558057-1 is not prime. Res64: 50AC7EE2D8F80737 Time : 0.0 sec. user=mdettweiler [2020-04-23 23:39:20] 937*2^1558057-1 is not prime. Res64: 17A57D571532B6A0 Time : 0.0 sec. user=mdettweiler [2020-04-23 23:39:21] 635*2^1558058-1 is not prime. Res64: 0C8DCDD5B4612337 Time : 0.0 sec. user=mdettweiler [2020-04-23 23:39:21] 641*2^1558058-1 is not prime. Res64: 359336369CBFCCB2 Time : 0.0 sec. user=mdettweiler [2020-04-23 23:52:24] 665*2^1558058-1 is not prime. Res64: CF88B4178583E566 Time : 0.0 sec. user=mdettweiler [2020-04-23 23:52:25] 837*2^1558058-1 is not prime. Res64: 317264A159E9FA9B Time : 0.0 sec. user=mdettweiler [2020-04-23 23:52:25] 875*2^1558058-1 is not prime. Res64: 4C4BA38DFA90D89F Time : 0.0 sec. user=mdettweiler [2020-04-23 23:52:26] 935*2^1558058-1 is not prime. Res64: 4D25E2857625940B Time : 0.0 sec. user=mdettweiler [2020-04-23 23:52:27] 613*2^1558059-1 is not prime. Res64: F38FF9A3001F1F29 Time : 0.0 sec. user=mdettweiler [2020-04-23 23:55:52] 751*2^1558059-1 is not prime. Res64: BA948028F5F26823 Time : 0.0 sec. user=mdettweiler [2020-04-23 23:55:53] 823*2^1558059-1 is not prime. Res64: 444857B105B6DB8E Time : 0.0 sec. user=mdettweiler [2020-04-23 23:55:54] 873*2^1558059-1 is not prime. Res64: 35FE5BA63000C7E1 Time : 0.0 sec. user=mdettweiler [2020-04-23 23:55:54] 609*2^1558060-1 is not prime. Res64: 15487D1225F7653B Time : 0.0 sec. user=mdettweiler [2020-04-23 23:55:54] 777*2^1558060-1 is not prime. Res64: FC1F618597ECA5FB Time : 0.0 sec.