user=mdettweiler [2018-11-18 00:08:55] 887*2^1531608-1 is not prime. Res64: D78557AAAFFC19C8 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:08:58] 927*2^1531608-1 is not prime. Res64: 3018D0085867782E Time : 0.0 sec. user=mdettweiler [2018-11-18 00:09:00] 947*2^1531608-1 is not prime. Res64: 014D7B1AE226D128 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:09:05] 747*2^1531609-1 is not prime. Res64: 8842709FDABBAC11 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:09:07] 817*2^1531609-1 is not prime. Res64: 549F402EAD716789 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:12:31] 835*2^1531609-1 is not prime. Res64: E98A81B1CBD8349F Time : 0.0 sec. user=mdettweiler [2018-11-18 00:12:31] 945*2^1531609-1 is not prime. Res64: ED9EE33717847328 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:12:32] 987*2^1531609-1 is not prime. Res64: C3198112E0764F4E Time : 0.0 sec. user=mdettweiler [2018-11-18 00:12:32] 627*2^1531610-1 is not prime. Res64: FC80ABA53ED652A6 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:12:33] 635*2^1531610-1 is not prime. Res64: 0AC368653CCB55D9 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:35:39] 773*2^1531610-1 is not prime. Res64: 7705F1008BCC6C6F Time : 0.0 sec. user=mdettweiler [2018-11-18 00:35:41] 851*2^1531610-1 is not prime. Res64: FB97D698EC989115 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:35:42] 857*2^1531610-1 is not prime. Res64: 4E61BE50352D5A93 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:35:44] 917*2^1531610-1 is not prime. Res64: 761879A4B2BA8E43 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:35:45] 945*2^1531610-1 is not prime. Res64: F5D1CBCBB9E946AF Time : 0.0 sec. user=mdettweiler [2018-11-18 00:44:16] 995*2^1531610-1 is not prime. Res64: 39E07258B9E85498 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:44:16] 639*2^1531611-1 is not prime. Res64: FCCA37E588C5F7E9 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:44:17] 669*2^1531611-1 is not prime. Res64: 57AC0D6E65BE5322 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:44:17] 705*2^1531611-1 is not prime. Res64: E98597A95CB028C8 Time : 0.0 sec. user=mdettweiler [2018-11-18 00:44:18] 753*2^1531611-1 is not prime. Res64: EC0A1C9755A96476 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:03:31] 801*2^1531611-1 is not prime. Res64: E3AB9E82A40125FD Time : 0.0 sec. user=mdettweiler [2018-11-18 01:03:32] 829*2^1531611-1 is not prime. Res64: CDD42DC2B1A9A345 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:03:33] 945*2^1531611-1 is not prime. Res64: 34C32DD0D635BD0A Time : 0.0 sec. user=mdettweiler [2018-11-18 01:03:34] 975*2^1531611-1 is not prime. Res64: 58B53E30340B07BB Time : 0.0 sec. user=mdettweiler [2018-11-18 01:03:35] 615*2^1531612-1 is not prime. Res64: DFBE6561662B60ED Time : 0.0 sec. user=mdettweiler [2018-11-18 01:06:01] 623*2^1531612-1 is not prime. Res64: 996D0F8C58A603B1 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:06:02] 759*2^1531612-1 is not prime. Res64: 3B76264C6D86E41F Time : 0.0 sec. user=mdettweiler [2018-11-18 01:06:03] 825*2^1531612-1 is not prime. Res64: 094CD9F06E2BA8A4 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:06:05] 833*2^1531612-1 is not prime. Res64: 8473B582B7068E88 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:06:06] 939*2^1531612-1 is not prime. Res64: CE7199DE2E9FDE7E Time : 0.0 sec. user=mdettweiler [2018-11-18 01:30:28] 957*2^1531612-1 is not prime. Res64: 95817C89709838E1 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:30:31] 995*2^1531612-1 is not prime. Res64: 4E8A97F75FE6B615 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:30:35] 729*2^1531613-1 is not prime. Res64: 415B72C014631AB7 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:30:38] 769*2^1531613-1 is not prime. Res64: C155BC7855EF5AAE Time : 0.0 sec. user=mdettweiler [2018-11-18 01:30:41] 801*2^1531613-1 is not prime. Res64: 946B8713DA1234C6 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:38:14] 925*2^1531613-1 is not prime. Res64: 720CC15A8E7251F2 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:38:15] 663*2^1531614-1 is not prime. Res64: CD2DE98E5BF1BC0C Time : 0.0 sec. user=mdettweiler [2018-11-18 01:38:16] 705*2^1531614-1 is not prime. Res64: 39F5CFB26850351D Time : 0.0 sec. user=mdettweiler [2018-11-18 01:38:16] 765*2^1531614-1 is not prime. Res64: 76E0BCD3F610749D Time : 0.0 sec. user=mdettweiler [2018-11-18 01:38:17] 795*2^1531614-1 is not prime. Res64: 9A8F09708FBDF08D Time : 0.0 sec. user=mdettweiler [2018-11-18 01:55:49] 807*2^1531614-1 is not prime. Res64: D0BF0C0021307575 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:55:49] 891*2^1531614-1 is not prime. Res64: 4D409C037EFBE9DD Time : 0.0 sec. user=mdettweiler [2018-11-18 01:55:50] 971*2^1531614-1 is not prime. Res64: 930CBBDB1EAC68E8 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:55:51] 1001*2^1531614-1 is not prime. Res64: F21A2E977A3A760B Time : 0.0 sec. user=mdettweiler [2018-11-18 01:55:52] 715*2^1531615-1 is not prime. Res64: A036D883DECED37D Time : 0.0 sec. user=mdettweiler [2018-11-18 01:58:26] 939*2^1531615-1 is not prime. Res64: 29A5BAB842523D31 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:58:26] 973*2^1531615-1 is not prime. Res64: F061016C7B27AF82 Time : 0.0 sec. user=mdettweiler [2018-11-18 01:58:28] 633*2^1531616-1 is not prime. Res64: 02494577C784526C Time : 0.0 sec. user=mdettweiler [2018-11-18 01:58:28] 725*2^1531616-1 is not prime. Res64: 7A714B66D6BC24FA Time : 0.0 sec. user=mdettweiler [2018-11-18 01:58:29] 873*2^1531616-1 is not prime. Res64: EE667C26F5341718 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:23:49] 609*2^1531617-1 is not prime. Res64: 8F865C4AEB4A6A35 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:23:50] 615*2^1531617-1 is not prime. Res64: 41CC5349D866E382 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:23:51] 675*2^1531617-1 is not prime. Res64: EBE4A5191EC2E1ED Time : 0.0 sec. user=mdettweiler [2018-11-18 02:23:52] 699*2^1531617-1 is not prime. Res64: 9AB6084BE12448E1 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:23:53] 663*2^1531618-1 is not prime. Res64: 4CED554420981FBF Time : 0.0 sec. user=mdettweiler [2018-11-18 02:30:17] 671*2^1531618-1 is not prime. Res64: BB3C378F80DF5C0F Time : 0.0 sec. user=mdettweiler [2018-11-18 02:30:18] 681*2^1531618-1 is not prime. Res64: 1B753E7B811AD2E2 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:30:19] 755*2^1531618-1 is not prime. Res64: 96DB3CA1FB3F25A3 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:30:19] 813*2^1531618-1 is not prime. Res64: F18286D73468E181 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:30:20] 815*2^1531618-1 is not prime. Res64: E03698262EAC18FB Time : 0.0 sec. user=mdettweiler [2018-11-18 02:50:07] 861*2^1531618-1 is not prime. Res64: 05191869C1D25E46 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:50:08] 887*2^1531618-1 is not prime. Res64: 541EADE4AB9D053A Time : 0.0 sec. user=mdettweiler [2018-11-18 02:50:09] 951*2^1531618-1 is not prime. Res64: D57DDCE7897EA7C7 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:50:11] 957*2^1531618-1 is not prime. Res64: F03AA77CAFA9B21F Time : 0.0 sec. user=mdettweiler [2018-11-18 02:50:12] 601*2^1531619-1 is not prime. Res64: 5D606F20E32C4006 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:52:06] 663*2^1531619-1 is not prime. Res64: 01E736877EFF481A Time : 0.0 sec. user=mdettweiler [2018-11-18 02:52:07] 735*2^1531619-1 is not prime. Res64: B6B37E6A71999C33 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:52:07] 745*2^1531619-1 is not prime. Res64: A3E09AEF90D9EBFF Time : 0.0 sec. user=mdettweiler [2018-11-18 02:52:08] 841*2^1531619-1 is not prime. Res64: 4D58AA05D7DFF386 Time : 0.0 sec. user=mdettweiler [2018-11-18 02:52:08] 939*2^1531619-1 is not prime. Res64: 300A02B8D489C2CA Time : 0.0 sec. user=mdettweiler [2018-11-18 03:18:02] 653*2^1531620-1 is not prime. Res64: BF32F019925E9860 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:18:03] 789*2^1531620-1 is not prime. Res64: CDC668042F3FE158 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:18:04] 651*2^1531621-1 is not prime. Res64: 833B6149619AAE80 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:18:05] 691*2^1531621-1 is not prime. Res64: 803D2FAAC562F480 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:18:06] 715*2^1531621-1 is not prime. Res64: 85DF0CC1844B81C6 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:23:29] 745*2^1531621-1 is not prime. Res64: 3CD26C593CE73A18 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:23:30] 799*2^1531621-1 is not prime. Res64: D4F8E2439CF56AA9 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:23:30] 849*2^1531621-1 is not prime. Res64: 65272913155C4D30 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:23:30] 895*2^1531621-1 is not prime. Res64: C788810A716A281C Time : 0.0 sec. user=mdettweiler [2018-11-18 03:23:31] 937*2^1531621-1 is not prime. Res64: 17FC42C823E024AA Time : 0.0 sec. user=mdettweiler [2018-11-18 03:42:38] 955*2^1531621-1 is not prime. Res64: 52284A45FCFA4643 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:42:40] 975*2^1531621-1 is not prime. Res64: 535B4839ED945293 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:42:41] 603*2^1531622-1 is not prime. Res64: A82C3A225AB2B209 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:42:42] 635*2^1531622-1 is not prime. Res64: C39F2FF75ABD66BE Time : 0.0 sec. user=mdettweiler [2018-11-18 03:42:43] 645*2^1531622-1 is not prime. Res64: EC5353D0292724F9 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:44:02] 671*2^1531622-1 is not prime. Res64: FE10316D808F551D Time : 0.0 sec. user=mdettweiler [2018-11-18 03:44:03] 675*2^1531622-1 is not prime. Res64: 5B335CAD9D5820B6 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:44:03] 677*2^1531622-1 is not prime. Res64: 1B027F66DF40064E Time : 0.0 sec. user=mdettweiler [2018-11-18 03:44:04] 867*2^1531622-1 is not prime. Res64: 91CFC0A4AAD1C0B4 Time : 0.0 sec. user=mdettweiler [2018-11-18 03:44:05] 873*2^1531622-1 is not prime. Res64: DB8B3B26F459B0E2 Time : 0.0 sec. user=mdettweiler [2018-11-18 04:10:44] 935*2^1531622-1 is not prime. Res64: 54DC6A3D85D0561F Time : 0.0 sec. user=mdettweiler [2018-11-18 04:10:51] 945*2^1531622-1 is not prime. Res64: F9A9849AEDABEEDC Time : 0.0 sec. user=mdettweiler [2018-11-18 04:10:54] 957*2^1531622-1 is not prime. Res64: 22892B9C0CED84C6 Time : 0.0 sec. user=mdettweiler [2018-11-18 04:10:58] 981*2^1531622-1 is not prime. Res64: 853E0B46F1011990 Time : 0.0 sec. user=mdettweiler [2018-11-18 04:11:02] 703*2^1531623-1 is not prime. Res64: AF9574A769C2093E Time : 0.0 sec. user=mdettweiler [2018-11-18 04:16:06] 765*2^1531623-1 is not prime. Res64: B070B1664EF2DCAF Time : 0.0 sec. user=mdettweiler [2018-11-18 04:16:11] 783*2^1531623-1 is not prime. Res64: D3AC1CE68DDA1594 Time : 0.0 sec. user=mdettweiler [2018-11-18 04:16:13] 949*2^1531623-1 is not prime. Res64: 22A87AE46A27A79C Time : 0.0 sec. user=mdettweiler [2018-11-18 04:16:26] 951*2^1531623-1 is not prime. Res64: D754BDFC42DBD6A6 Time : 0.0 sec. user=mdettweiler [2018-11-18 04:16:29] 623*2^1531624-1 is not prime. Res64: C8119D102DDC2AD7 Time : 0.0 sec. user=mdettweiler [2018-11-18 04:36:25] 635*2^1531624-1 is not prime. Res64: C98E7F3BE0C5298B Time : 0.0 sec. user=mdettweiler [2018-11-18 04:36:25] 819*2^1531624-1 is not prime. Res64: 3F93368394F7A862 Time : 0.0 sec. user=mdettweiler [2018-11-18 04:36:26] 827*2^1531624-1 is not prime. Res64: 4F3759A36F8D6349 Time : 0.0 sec. user=mdettweiler [2018-11-18 04:36:26] 863*2^1531624-1 is not prime. Res64: B40BBFD2DD5EE82F Time : 0.0 sec. user=mdettweiler [2018-11-18 04:36:27] 685*2^1531625-1 is not prime. Res64: B41A4C4B1ABD4D8F Time : 0.0 sec. user=mdettweiler [2018-11-18 04:37:44] 705*2^1531625-1 is not prime. Res64: FD725CA54F0A7E6F Time : 0.0 sec. user=mdettweiler [2018-11-18 04:37:45] 735*2^1531625-1 is not prime. Res64: 3294336AC35E9D3D Time : 0.0 sec. user=mdettweiler [2018-11-18 04:37:45] 777*2^1531625-1 is not prime. Res64: 5E15DB73D4A309A6 Time : 0.0 sec. user=mdettweiler [2018-11-18 04:37:45] 787*2^1531625-1 is not prime. Res64: FA2998E5BE789E67 Time : 0.0 sec. user=mdettweiler [2018-11-18 04:37:46] 937*2^1531625-1 is not prime. Res64: CE2B94FDBE510B76 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:01:56] 817*2^1531629-1 is not prime. Res64: 236F90BDF3C1B57F Time : 0.0 sec. user=mdettweiler [2018-11-18 05:04:16] 865*2^1531629-1 is not prime. Res64: 4800A8B93B5087DB Time : 0.0 sec. user=mdettweiler [2018-11-18 05:05:43] 955*2^1531625-1 is not prime. Res64: 6FC1DA3656025524 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:05:45] 979*2^1531625-1 is not prime. Res64: 2E15EB598FD6BC78 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:05:46] 981*2^1531625-1 is not prime. Res64: C3784C5DD2DCD9CA Time : 0.0 sec. user=mdettweiler [2018-11-18 05:05:47] 683*2^1531626-1 is not prime. Res64: F6E4515455F9BDC5 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:05:49] 723*2^1531626-1 is not prime. Res64: 9A9A36FF478179D5 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:12:20] 747*2^1531626-1 is not prime. Res64: ABCA07CAD16F5895 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:12:21] 983*2^1531626-1 is not prime. Res64: A12E05834DCEB88C Time : 0.0 sec. user=mdettweiler [2018-11-18 05:12:21] 609*2^1531627-1 is not prime. Res64: 973F5CDBE5739B37 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:12:22] 619*2^1531627-1 is not prime. Res64: 100FAE0AD50BE9AF Time : 0.0 sec. user=mdettweiler [2018-11-18 05:12:22] 631*2^1531627-1 is not prime. Res64: F174F764A768ABF1 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:30:13] 703*2^1531627-1 is not prime. Res64: 0DAA03FC7B129672 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:30:15] 751*2^1531627-1 is not prime. Res64: DB91A6B5AB7BFBFC Time : 0.0 sec. user=mdettweiler [2018-11-18 05:30:16] 925*2^1531627-1 is not prime. Res64: 97DD7F7C73EBA35F Time : 0.0 sec. user=mdettweiler [2018-11-18 05:30:17] 617*2^1531628-1 is not prime. Res64: 6660609D3BD351A8 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:31:06] 897*2^1531628-1 is not prime. Res64: 160640252766954F Time : 0.0 sec. user=mdettweiler [2018-11-18 05:31:07] 923*2^1531628-1 is not prime. Res64: 0DC2B92DED085B4E Time : 0.0 sec. user=mdettweiler [2018-11-18 05:31:08] 963*2^1531628-1 is not prime. Res64: F5CF898CDC3AD205 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:31:10] 639*2^1531629-1 is not prime. Res64: 49FDE6A59BE90F8F Time : 0.0 sec. user=mdettweiler [2018-11-18 05:31:10] 751*2^1531629-1 is not prime. Res64: 02E60792C9A8B109 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:58:59] 919*2^1531629-1 is not prime. Res64: 30AB2341C8D4D085 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:58:59] 945*2^1531629-1 is not prime. Res64: 7740E1A50EBA1753 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:59:00] 985*2^1531629-1 is not prime. Res64: 338EC4AEB1332522 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:59:01] 603*2^1531630-1 is not prime. Res64: 389577C20D5972A5 Time : 0.0 sec. user=mdettweiler [2018-11-18 05:59:01] 695*2^1531630-1 is not prime. Res64: A9439AF92E5BD0FB Time : 0.0 sec. user=mdettweiler [2018-11-18 06:05:37] 831*2^1531630-1 is not prime. Res64: 21C01B2924C46C47 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:05:38] 621*2^1531631-1 is not prime. Res64: B646975E9967962D Time : 0.0 sec. user=mdettweiler [2018-11-18 06:05:40] 661*2^1531631-1 is not prime. Res64: EC6F819DA7305A47 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:05:42] 783*2^1531631-1 is not prime. Res64: 6C809F8FAA55A60C Time : 0.0 sec. user=mdettweiler [2018-11-18 06:05:43] 991*2^1531631-1 is not prime. Res64: E898C57693E1A17F Time : 0.0 sec. user=mdettweiler [2018-11-18 06:27:09] 747*2^1531632-1 is not prime. Res64: 50B8798DC6D4B456 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:27:09] 945*2^1531632-1 is not prime. Res64: 393DDFB9322E4832 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:27:09] 947*2^1531632-1 is not prime. Res64: C9565B95495F5452 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:27:10] 625*2^1531633-1 is not prime. Res64: 415F432C825BF290 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:27:10] 637*2^1531633-1 is not prime. Res64: 24E5669F3AD66AA2 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:52:20] 681*2^1531633-1 is not prime. Res64: CA30A70F7D3DC7A1 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:52:21] 685*2^1531633-1 is not prime. Res64: BA680C521A7CF993 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:52:21] 705*2^1531633-1 is not prime. Res64: 47731B482EF106A3 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:52:21] 765*2^1531633-1 is not prime. Res64: 30936C11C6AFC15D Time : 0.0 sec. user=mdettweiler [2018-11-18 06:52:22] 817*2^1531633-1 is not prime. Res64: 1227A929E7E6D632 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:58:19] 855*2^1531633-1 is not prime. Res64: 4E04402420586612 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:58:19] 885*2^1531633-1 is not prime. Res64: 63792FF6320878A7 Time : 0.0 sec. user=mdettweiler [2018-11-18 06:58:20] 615*2^1531634-1 is not prime. Res64: A947A34BFDE7B41A Time : 0.0 sec. user=mdettweiler [2018-11-18 06:58:20] 617*2^1531634-1 is not prime. Res64: D09F4C63A69751DF Time : 0.0 sec. user=mdettweiler [2018-11-18 06:58:20] 657*2^1531634-1 is not prime. Res64: A779D70DCDD12BBB Time : 0.0 sec. user=mdettweiler [2018-11-18 07:19:45] 767*2^1531634-1 is not prime. Res64: 37BBA5D50506034F Time : 0.0 sec. user=mdettweiler [2018-11-18 07:19:45] 797*2^1531634-1 is not prime. Res64: F2A8FFE7FB6123CF Time : 0.0 sec. user=mdettweiler [2018-11-18 07:19:45] 873*2^1531634-1 is not prime. Res64: 52881EE289F8E817 Time : 0.0 sec. user=mdettweiler [2018-11-18 07:19:46] 923*2^1531634-1 is not prime. Res64: 4EFD94F025D072E9 Time : 0.0 sec. user=mdettweiler [2018-11-18 07:19:46] 619*2^1531635-1 is not prime. Res64: 2AED8C2469AA793D Time : 0.0 sec. user=mdettweiler [2018-11-18 07:44:44] 751*2^1531635-1 is not prime. Res64: EDA1B21EC2F082C2 Time : 0.0 sec. user=mdettweiler [2018-11-18 07:44:44] 765*2^1531635-1 is not prime. Res64: FED5876F7B53C642 Time : 0.0 sec. user=mdettweiler [2018-11-18 07:44:45] 885*2^1531635-1 is not prime. Res64: 920BA49FD279140B Time : 0.0 sec. user=mdettweiler [2018-11-18 07:44:45] 921*2^1531635-1 is not prime. Res64: DD1C271807F5514C Time : 0.0 sec. user=mdettweiler [2018-11-18 07:44:46] 803*2^1531636-1 is not prime. Res64: 3B90ECE2A851256B Time : 0.0 sec. user=mdettweiler [2018-11-18 07:51:36] 947*2^1531636-1 is not prime. Res64: 26EE2117928E7058 Time : 0.0 sec. user=mdettweiler [2018-11-18 07:51:37] 649*2^1531637-1 is not prime. Res64: 95C894DDA4C5EC8C Time : 0.0 sec. user=mdettweiler [2018-11-18 07:51:38] 655*2^1531637-1 is not prime. Res64: CBC951652E1C4197 Time : 0.0 sec. user=mdettweiler [2018-11-18 07:51:39] 697*2^1531637-1 is not prime. Res64: FD750CE0E57423AA Time : 0.0 sec. user=mdettweiler [2018-11-18 07:51:40] 741*2^1531637-1 is not prime. Res64: B7CC22590C4CCC20 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:12:26] 777*2^1531637-1 is not prime. Res64: 588ECF3BFBBD853B Time : 0.0 sec. user=mdettweiler [2018-11-18 08:12:27] 831*2^1531637-1 is not prime. Res64: A075A60BFEB86EC7 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:12:27] 885*2^1531637-1 is not prime. Res64: 24542B18D1130B30 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:12:27] 901*2^1531637-1 is not prime. Res64: 5A95DF2BD5C861BC Time : 0.0 sec. user=mdettweiler [2018-11-18 08:12:28] 605*2^1531638-1 is not prime. Res64: 8ADD55F66E99E206 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:37:24] 641*2^1531638-1 is not prime. Res64: A7FB6B7049890EC6 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:37:25] 683*2^1531638-1 is not prime. Res64: 309AA8E9569F4F2A Time : 0.0 sec. user=mdettweiler [2018-11-18 08:37:26] 795*2^1531638-1 is not prime. Res64: B09B283FFAC65A54 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:37:27] 663*2^1531639-1 is not prime. Res64: 407752823BD0DDB3 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:37:28] 723*2^1531639-1 is not prime. Res64: 97270EDFBAE5B5B0 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:44:57] 771*2^1531639-1 is not prime. Res64: 0FB925F794914B38 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:44:57] 861*2^1531639-1 is not prime. Res64: 7950D87D81E45D8C Time : 0.0 sec. user=mdettweiler [2018-11-18 08:44:58] 973*2^1531639-1 is not prime. Res64: FED64DC31808A3B2 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:44:58] 999*2^1531639-1 is not prime. Res64: EE387C71C0FFEC18 Time : 0.0 sec. user=mdettweiler [2018-11-18 08:44:58] 629*2^1531640-1 is not prime. Res64: 0B5C56CE4F7841C2 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:02:42] 707*2^1531628-1 is not prime. Res64: B4119E338409C614 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:07:55] 753*2^1531640-1 is not prime. Res64: 5699D22CB3B9AB64 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:07:55] 797*2^1531640-1 is not prime. Res64: 7837C7A0D70783CD Time : 0.0 sec. user=mdettweiler [2018-11-18 09:07:56] 833*2^1531640-1 is not prime. Res64: 543D7C3CBE340722 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:07:56] 999*2^1531640-1 is not prime. Res64: 2BF6EEF66097AABF Time : 0.0 sec. user=mdettweiler [2018-11-18 09:07:56] 609*2^1531641-1 is not prime. Res64: 409A913EFC5852E1 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:32:13] 825*2^1531644-1 is not prime. Res64: EE1A0FE2A279C312 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:32:42] 625*2^1531641-1 is not prime. Res64: 4B46C7E43D5CFA2A Time : 0.0 sec. user=mdettweiler [2018-11-18 09:32:42] 661*2^1531641-1 is not prime. Res64: 74C4FF4883D18424 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:32:42] 669*2^1531641-1 is not prime. Res64: 34486E8C78EDFCF4 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:32:43] 907*2^1531641-1 is not prime. Res64: A6A146F413A313CE Time : 0.0 sec. user=mdettweiler [2018-11-18 09:32:43] 949*2^1531641-1 is not prime. Res64: F9BA34D6FA26C796 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:39:06] 951*2^1531641-1 is not prime. Res64: 8242DF0A4486A2DC Time : 0.0 sec. user=mdettweiler [2018-11-18 09:39:07] 657*2^1531642-1 is not prime. Res64: 1037642FD4AC0D8F Time : 0.0 sec. user=mdettweiler [2018-11-18 09:39:07] 681*2^1531642-1 is not prime. Res64: 49ECA0DD17A71ED2 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:39:07] 731*2^1531642-1 is not prime. Res64: 29F630E82ECAC9C6 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:39:08] 867*2^1531642-1 is not prime. Res64: 0C672E0539AC3E5A Time : 0.0 sec. user=mdettweiler [2018-11-18 09:54:27] 663*2^1531643-1 is not prime. Res64: E7397D3A198F57A5 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:54:27] 741*2^1531643-1 is not prime. Res64: 07A0F8BA8383A25B Time : 0.0 sec. user=mdettweiler [2018-11-18 09:54:27] 825*2^1531643-1 is not prime. Res64: E6FD7729DF1878D3 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:54:28] 853*2^1531643-1 is not prime. Res64: 393CC12570C165BF Time : 0.0 sec. user=mdettweiler [2018-11-18 09:54:28] 895*2^1531643-1 is not prime. Res64: D61DA95C1BD35B59 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:59:28] 939*2^1531643-1 is not prime. Res64: 2122A42E4D245CA8 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:59:29] 973*2^1531643-1 is not prime. Res64: 33D596DC0753CE20 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:59:29] 605*2^1531644-1 is not prime. Res64: C71380C0A6C19F25 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:59:29] 627*2^1531644-1 is not prime. Res64: BABFDE15F68280B1 Time : 0.0 sec. user=mdettweiler [2018-11-18 09:59:30] 675*2^1531644-1 is not prime. Res64: 56F9BF165BFBD27D Time : 0.0 sec. user=mdettweiler [2018-11-18 10:24:27] 843*2^1531644-1 is not prime. Res64: DF14C0CDF50FA81C Time : 0.0 sec. user=mdettweiler [2018-11-18 10:24:27] 899*2^1531644-1 is not prime. Res64: 762D7B7277DE3F28 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:24:27] 903*2^1531644-1 is not prime. Res64: 905A388BECE150CE Time : 0.0 sec. user=mdettweiler [2018-11-18 10:24:28] 947*2^1531644-1 is not prime. Res64: B5A01BEADB5C31AE Time : 0.0 sec. user=mdettweiler [2018-11-18 10:24:28] 959*2^1531644-1 is not prime. Res64: 613D3AF47CB0B979 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:30:52] 667*2^1531645-1 is not prime. Res64: 53038F4E44778B44 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:30:52] 771*2^1531645-1 is not prime. Res64: B55D0C18B28AE0F0 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:30:52] 811*2^1531645-1 is not prime. Res64: DD9A878C0233D896 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:30:54] 847*2^1531645-1 is not prime. Res64: DD955EC5C62EB586 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:30:54] 951*2^1531645-1 is not prime. Res64: 9CE0838F7CC35309 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:46:19] 957*2^1531645-1 is not prime. Res64: BEB654E5C2CEA924 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:46:19] 683*2^1531646-1 is not prime. Res64: 1820270656FC95F7 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:46:19] 831*2^1531646-1 is not prime. Res64: E19381C0EEDF7759 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:46:19] 965*2^1531646-1 is not prime. Res64: EB0F6356FC448597 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:46:20] 705*2^1531647-1 is not prime. Res64: 652B9BC59FC390ED Time : 0.0 sec. user=mdettweiler [2018-11-18 10:52:00] 765*2^1531647-1 is not prime. Res64: 08398DF2997B46CA Time : 0.0 sec. user=mdettweiler [2018-11-18 10:52:00] 879*2^1531647-1 is not prime. Res64: 61DF7F9B97FAC54E Time : 0.0 sec. user=mdettweiler [2018-11-18 10:52:01] 963*2^1531647-1 is not prime. Res64: 7EA280C66BC346AA Time : 0.0 sec. user=mdettweiler [2018-11-18 10:52:01] 979*2^1531647-1 is not prime. Res64: 21E6AFD38E73C225 Time : 0.0 sec. user=mdettweiler [2018-11-18 10:52:01] 665*2^1531648-1 is not prime. Res64: 0AF9B697A6B29364 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:16:29] 705*2^1531648-1 is not prime. Res64: 5AA9A6852C5E2EAB Time : 0.0 sec. user=mdettweiler [2018-11-18 11:16:30] 735*2^1531648-1 is not prime. Res64: 6125F529492120C2 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:16:30] 747*2^1531648-1 is not prime. Res64: E23EE2D609B3CC8A Time : 0.0 sec. user=mdettweiler [2018-11-18 11:16:30] 825*2^1531648-1 is not prime. Res64: 248746D276AE233B Time : 0.0 sec. user=mdettweiler [2018-11-18 11:16:31] 897*2^1531648-1 is not prime. Res64: 6F212602C57CAA69 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:21:23] 625*2^1531651-1 is not prime. Res64: C163EC86753EFAA1 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:23:20] 899*2^1531648-1 is not prime. Res64: 910A110CA5ABAFF9 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:23:20] 915*2^1531648-1 is not prime. Res64: 8C55A87568E59679 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:23:20] 993*2^1531648-1 is not prime. Res64: 134E23E882B0EFAF Time : 0.0 sec. user=mdettweiler [2018-11-18 11:23:21] 999*2^1531648-1 is not prime. Res64: 7B7ADD024739843A Time : 0.0 sec. user=mdettweiler [2018-11-18 11:23:21] 637*2^1531649-1 is not prime. Res64: E50D893376EC1245 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:38:00] 727*2^1531649-1 is not prime. Res64: 72804DC14BA15A27 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:38:02] 759*2^1531649-1 is not prime. Res64: 1F6C8D72354F43E2 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:38:02] 799*2^1531649-1 is not prime. Res64: 16C5ED71BE51417C Time : 0.0 sec. user=mdettweiler [2018-11-18 11:38:03] 611*2^1531650-1 is not prime. Res64: 3C31A65EB6F3FF14 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:38:04] 627*2^1531650-1 is not prime. Res64: 3225B01B65E95FB4 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:44:12] 725*2^1531650-1 is not prime. Res64: 96982840ED0DF445 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:44:12] 801*2^1531650-1 is not prime. Res64: 0027C68434AD5E55 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:44:13] 825*2^1531650-1 is not prime. Res64: 2330AF41C1FC599F Time : 0.0 sec. user=mdettweiler [2018-11-18 11:44:13] 833*2^1531650-1 is not prime. Res64: CA2A1E89E8B17192 Time : 0.0 sec. user=mdettweiler [2018-11-18 11:44:13] 891*2^1531650-1 is not prime. Res64: 7A9A2049DA2C2A7C Time : 0.0 sec. user=mdettweiler [2018-11-18 12:08:00] 639*2^1531651-1 is not prime. Res64: FBD7A48E938C125D Time : 0.0 sec. user=mdettweiler [2018-11-18 12:08:02] 673*2^1531651-1 is not prime. Res64: 106E71F70BEA1C7E Time : 0.0 sec. user=mdettweiler [2018-11-18 12:08:05] 709*2^1531651-1 is not prime. Res64: 5AA8DA1CD27FE014 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:08:06] 723*2^1531651-1 is not prime. Res64: 009E4066C5A0B017 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:08:08] 751*2^1531651-1 is not prime. Res64: 955005B8832AA3E9 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:15:56] 759*2^1531651-1 is not prime. Res64: C4F89CD5B60710A3 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:15:57] 855*2^1531651-1 is not prime. Res64: C42D57C6ABE49E46 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:15:57] 951*2^1531651-1 is not prime. Res64: 2543350A54D68ABE Time : 0.0 sec. user=mdettweiler [2018-11-18 12:15:57] 993*2^1531651-1 is not prime. Res64: 50ADFB633E199EB8 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:15:57] 825*2^1531652-1 is not prime. Res64: 53CB4178071188E6 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:29:32] 837*2^1531652-1 is not prime. Res64: EB1FC212620E3153 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:29:33] 843*2^1531652-1 is not prime. Res64: 9ECDDC798D87C26B Time : 0.0 sec. user=mdettweiler [2018-11-18 12:29:33] 699*2^1531653-1 is not prime. Res64: 5C5AD50488F0BB75 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:29:33] 745*2^1531653-1 is not prime. Res64: 74DB5292B5106152 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:29:34] 795*2^1531653-1 is not prime. Res64: C2CA15758CA9CDF9 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:35:59] 829*2^1531653-1 is not prime. Res64: 65A31F5ACB920471 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:35:59] 867*2^1531653-1 is not prime. Res64: CC1F41E7FFEE371B Time : 0.0 sec. user=mdettweiler [2018-11-18 12:36:00] 891*2^1531653-1 is not prime. Res64: DC089DC8A905C9A5 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:36:00] 979*2^1531653-1 is not prime. Res64: 01AFE1F77BD8506F Time : 0.0 sec. user=mdettweiler [2018-11-18 12:36:00] 985*2^1531653-1 is not prime. Res64: 487E4AAC017418B1 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:59:47] 991*2^1531653-1 is not prime. Res64: FFECBA3471755A36 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:59:48] 617*2^1531654-1 is not prime. Res64: B63BA03964C713A4 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:59:48] 663*2^1531654-1 is not prime. Res64: 572085881DF06454 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:59:49] 881*2^1531654-1 is not prime. Res64: 1FE0E768E6305323 Time : 0.0 sec. user=mdettweiler [2018-11-18 12:59:49] 887*2^1531654-1 is not prime. Res64: 0C3AE28BAA841C6B Time : 0.0 sec. user=mdettweiler [2018-11-18 13:07:47] 941*2^1531654-1 is not prime. Res64: 4ABED32BB2977F14 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:07:47] 945*2^1531654-1 is not prime. Res64: B01BEA7EC11A441D Time : 0.0 sec. user=mdettweiler [2018-11-18 13:07:47] 947*2^1531654-1 is not prime. Res64: 214C844DB8E1BD5C Time : 0.0 sec. user=mdettweiler [2018-11-18 13:07:48] 603*2^1531655-1 is not prime. Res64: 274B3C49D854709A Time : 0.0 sec. user=mdettweiler [2018-11-18 13:07:49] 619*2^1531655-1 is not prime. Res64: 8E60B777AF8FBB0C Time : 0.0 sec. user=mdettweiler [2018-11-18 13:21:50] 685*2^1531655-1 is not prime. Res64: 82D9F1C4A976EE20 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:21:50] 783*2^1531655-1 is not prime. Res64: C223405694538C50 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:21:51] 825*2^1531655-1 is not prime. Res64: CF02E5D85FB9030D Time : 0.0 sec. user=mdettweiler [2018-11-18 13:21:51] 963*2^1531655-1 is not prime. Res64: EF11ED99BA49DD0F Time : 0.0 sec. user=mdettweiler [2018-11-18 13:21:51] 635*2^1531656-1 is not prime. Res64: 9A7BCDCC1BA446E5 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:32:07] 735*2^1531656-1 is not prime. Res64: 56CC5BDA43C18439 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:32:08] 993*2^1531656-1 is not prime. Res64: 58C7BA2E804E52C2 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:32:08] 841*2^1531657-1 is not prime. Res64: 8AA22F32D4D3884B Time : 0.0 sec. user=mdettweiler [2018-11-18 13:32:08] 939*2^1531657-1 is not prime. Res64: 7D0F09CDCCC71B20 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:32:08] 633*2^1531658-1 is not prime. Res64: E017C38420951635 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:52:05] 635*2^1531658-1 is not prime. Res64: 3EEBF17F49320847 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:52:06] 665*2^1531658-1 is not prime. Res64: 302E823DBF36AF55 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:52:06] 833*2^1531658-1 is not prime. Res64: 3CB128F1178A9A2A Time : 0.0 sec. user=mdettweiler [2018-11-18 13:52:07] 923*2^1531658-1 is not prime. Res64: 385F2862A5354394 Time : 0.0 sec. user=mdettweiler [2018-11-18 13:52:08] 633*2^1531659-1 is not prime. Res64: E0138A067046FE79 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:00:20] 705*2^1531659-1 is not prime. Res64: 3F7446173F919E0A Time : 0.0 sec. user=mdettweiler [2018-11-18 14:00:21] 735*2^1531659-1 is not prime. Res64: 375E0C973028D151 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:00:23] 751*2^1531659-1 is not prime. Res64: 0E3487C549C40FAB Time : 0.0 sec. user=mdettweiler [2018-11-18 14:00:25] 795*2^1531659-1 is not prime. Res64: B8802C25726BCB7C Time : 0.0 sec. user=mdettweiler [2018-11-18 14:00:26] 873*2^1531659-1 is not prime. Res64: DA88484D580D5699 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:13:29] 891*2^1531659-1 is not prime. Res64: 24752D082C54D5B3 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:13:29] 931*2^1531659-1 is not prime. Res64: F6976067206993E5 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:13:30] 707*2^1531660-1 is not prime. Res64: E0B3A30BBF703A6E Time : 0.0 sec. user=mdettweiler [2018-11-18 14:13:31] 759*2^1531660-1 is not prime. Res64: 324B900EF9D421A2 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:13:31] 797*2^1531660-1 is not prime. Res64: D155F22EEC0165E7 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:23:57] 857*2^1531660-1 is not prime. Res64: 70BA4FCE60DD80A5 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:23:58] 999*2^1531660-1 is not prime. Res64: 0CC701AD24CF53AE Time : 0.0 sec. user=mdettweiler [2018-11-18 14:23:58] 631*2^1531661-1 is not prime. Res64: BFFF1FFA27C555D9 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:23:58] 645*2^1531661-1 is not prime. Res64: 2F7969166F923861 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:23:59] 777*2^1531661-1 is not prime. Res64: 2E8D4D96CD14855A Time : 0.0 sec. user=mdettweiler [2018-11-18 14:43:29] 871*2^1531661-1 is not prime. Res64: D2D71E31A22DD0BE Time : 0.0 sec. user=mdettweiler [2018-11-18 14:43:30] 889*2^1531661-1 is not prime. Res64: C6D0DDBE9EBA7A3F Time : 0.0 sec. user=mdettweiler [2018-11-18 14:43:30] 939*2^1531661-1 is not prime. Res64: 1965EDF287E7C447 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:43:30] 635*2^1531662-1 is not prime. Res64: CCD414989BD0D6C4 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:43:30] 807*2^1531662-1 is not prime. Res64: 9B87096618EBF905 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:52:18] 821*2^1531662-1 is not prime. Res64: FB94BF32BA0DD2B9 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:52:19] 863*2^1531662-1 is not prime. Res64: A2440162DE1CDCF2 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:52:19] 867*2^1531662-1 is not prime. Res64: CEAC8155D6E44225 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:52:19] 915*2^1531662-1 is not prime. Res64: A5DFCC6D9D822317 Time : 0.0 sec. user=mdettweiler [2018-11-18 14:52:20] 917*2^1531662-1 is not prime. Res64: 7C55632B857564C5 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:05:49] 947*2^1531662-1 is not prime. Res64: 3876911FEDB064AC Time : 0.0 sec. user=mdettweiler [2018-11-18 15:05:50] 977*2^1531662-1 is not prime. Res64: D1767C369A463EBF Time : 0.0 sec. user=mdettweiler [2018-11-18 15:05:51] 609*2^1531663-1 is not prime. Res64: 1380F412CD8941D1 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:05:53] 703*2^1531663-1 is not prime. Res64: 6A1EE12EB6FA85FD Time : 0.0 sec. user=mdettweiler [2018-11-18 15:05:54] 751*2^1531663-1 is not prime. Res64: F07A3EFA7BE3A20D Time : 0.0 sec. user=mdettweiler [2018-11-18 15:16:26] 853*2^1531663-1 is not prime. Res64: 35089F45FCFA7295 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:16:27] 855*2^1531663-1 is not prime. Res64: 27624062AC44D8A1 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:16:27] 885*2^1531663-1 is not prime. Res64: B249299A3D27455B Time : 0.0 sec. user=mdettweiler [2018-11-18 15:16:27] 933*2^1531663-1 is not prime. Res64: 3DA21570511DDC14 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:16:28] 985*2^1531663-1 is not prime. Res64: 3C4185877F933C28 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:37:34] 665*2^1531664-1 is not prime. Res64: DD940D429E515ACB Time : 0.0 sec. user=mdettweiler [2018-11-18 15:37:34] 819*2^1531664-1 is not prime. Res64: EE74FDBC039045BD Time : 0.0 sec. user=mdettweiler [2018-11-18 15:37:34] 855*2^1531664-1 is not prime. Res64: 87E5BC10F28BC975 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:37:35] 875*2^1531664-1 is not prime. Res64: C7640DD4960E5FBA Time : 0.0 sec. user=mdettweiler [2018-11-18 15:37:35] 909*2^1531664-1 is not prime. Res64: A36D79CFC0265856 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:48:11] 959*2^1531664-1 is not prime. Res64: F70AD7FF677A4117 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:48:12] 625*2^1531665-1 is not prime. Res64: DD20C09AAA08342D Time : 0.0 sec. user=mdettweiler [2018-11-18 15:48:12] 795*2^1531665-1 is not prime. Res64: 47A348E3A6542AA6 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:48:12] 817*2^1531665-1 is not prime. Res64: 5BA71B9F6DB1DAF1 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:48:13] 819*2^1531665-1 is not prime. Res64: AFFCFBE592FFD332 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:58:01] 889*2^1531665-1 is not prime. Res64: 68B6378E0B8C990B Time : 0.0 sec. user=mdettweiler [2018-11-18 15:58:02] 937*2^1531665-1 is not prime. Res64: AED0ACD1F78893D6 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:58:03] 999*2^1531665-1 is not prime. Res64: 6632B829C5B6E4E7 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:58:03] 647*2^1531666-1 is not prime. Res64: 3DCA85FB06552E13 Time : 0.0 sec. user=mdettweiler [2018-11-18 15:58:04] 773*2^1531666-1 is not prime. Res64: 6A5BD433A475535E Time : 0.0 sec. user=mdettweiler [2018-11-18 16:09:39] 801*2^1531666-1 is not prime. Res64: 07BC06EC5EFB9BF3 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:09:40] 855*2^1531666-1 is not prime. Res64: 4DE635B727BE0ABF Time : 0.0 sec. user=mdettweiler [2018-11-18 16:09:40] 609*2^1531667-1 is not prime. Res64: 197637AA081333BE Time : 0.0 sec. user=mdettweiler [2018-11-18 16:09:41] 651*2^1531667-1 is not prime. Res64: 4EFFF3090D93D466 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:09:41] 715*2^1531667-1 is not prime. Res64: 1584DC60829F5037 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:29:20] 733*2^1531667-1 is not prime. Res64: F6718DAB9639A970 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:29:21] 819*2^1531667-1 is not prime. Res64: E5CD85FB2CE8BEAC Time : 0.0 sec. user=mdettweiler [2018-11-18 16:29:21] 973*2^1531667-1 is not prime. Res64: DB58DE845FC735B2 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:29:21] 985*2^1531667-1 is not prime. Res64: 5F70E4022DBD4B48 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:29:22] 803*2^1531668-1 is not prime. Res64: 34F5234EE30190F9 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:39:51] 945*2^1531668-1 is not prime. Res64: 79114EAF244266C6 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:39:51] 959*2^1531668-1 is not prime. Res64: 307C0B63BABA7390 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:39:52] 619*2^1531669-1 is not prime. Res64: 5693B0EEB81FA4B9 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:39:52] 691*2^1531669-1 is not prime. Res64: 3386E8212701C09E Time : 0.0 sec. user=mdettweiler [2018-11-18 16:39:53] 757*2^1531669-1 is not prime. Res64: BE6015538DABDC7E Time : 0.0 sec. user=mdettweiler [2018-11-18 16:50:34] 919*2^1531669-1 is not prime. Res64: 182794CF3302BD27 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:50:34] 665*2^1531670-1 is not prime. Res64: B015AC7BD6D154F7 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:50:34] 827*2^1531670-1 is not prime. Res64: 89DA61B0AC7218A0 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:50:35] 851*2^1531670-1 is not prime. Res64: 64EB7E1E45962855 Time : 0.0 sec. user=mdettweiler [2018-11-18 16:50:35] 911*2^1531670-1 is not prime. Res64: 44754DB95AEBEB48 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:01:27] 953*2^1531670-1 is not prime. Res64: F2E016D891D362E1 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:01:28] 971*2^1531670-1 is not prime. Res64: 43A7E6BC431716AE Time : 0.0 sec. user=mdettweiler [2018-11-18 17:01:29] 981*2^1531670-1 is not prime. Res64: B3C3F431789C4973 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:01:31] 669*2^1531671-1 is not prime. Res64: 6265C146899D8C12 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:01:32] 933*2^1531671-1 is not prime. Res64: 24003222E8F203F8 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:21:14] 969*2^1531671-1 is not prime. Res64: ABD2DFA29E8FFB13 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:21:14] 635*2^1531672-1 is not prime. Res64: 82C59EFAC350C870 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:21:14] 693*2^1531672-1 is not prime. Res64: 77AE0E74FAF826CA Time : 0.0 sec. user=mdettweiler [2018-11-18 17:21:15] 827*2^1531672-1 is not prime. Res64: 293DF97352341FFC Time : 0.0 sec. user=mdettweiler [2018-11-18 17:21:15] 843*2^1531672-1 is not prime. Res64: 154B7266E53DB354 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:31:50] 909*2^1531672-1 is not prime. Res64: 1CD994E058562C8B Time : 0.0 sec. user=mdettweiler [2018-11-18 17:31:51] 933*2^1531672-1 is not prime. Res64: 2B297745265EAB37 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:31:51] 975*2^1531672-1 is not prime. Res64: 8B78D73492FAD8A8 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:31:52] 867*2^1531673-1 is not prime. Res64: 0B557ECF5E6FE5B2 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:31:52] 955*2^1531673-1 is not prime. Res64: C42528F1BB7B0096 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:42:12] 987*2^1531673-1 is not prime. Res64: 14ED1B7C6E48875B Time : 0.0 sec. user=mdettweiler [2018-11-18 17:42:12] 605*2^1531674-1 is not prime. Res64: 5FE3AE9C8713E244 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:42:12] 651*2^1531674-1 is not prime. Res64: 906FDCB1803DA664 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:42:13] 783*2^1531674-1 is not prime. Res64: E18276EAEDB8B9F2 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:42:13] 941*2^1531674-1 is not prime. Res64: F4DA3FF5835F9679 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:53:24] 603*2^1531675-1 is not prime. Res64: B53E8827DF5A53F7 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:53:24] 633*2^1531675-1 is not prime. Res64: 3ECC95E904A9747F Time : 0.0 sec. user=mdettweiler [2018-11-18 17:53:25] 651*2^1531675-1 is not prime. Res64: D2E010542B1C4908 Time : 0.0 sec. user=mdettweiler [2018-11-18 17:53:26] 693*2^1531675-1 is not prime. Res64: DAC3D619EDBAC68D Time : 0.0 sec. user=mdettweiler [2018-11-18 17:53:27] 741*2^1531675-1 is not prime. Res64: 2C50A9B42F17790E Time : 0.0 sec. user=mdettweiler [2018-11-18 18:12:51] 829*2^1531675-1 is not prime. Res64: 829ED339760A5B3D Time : 0.0 sec. user=mdettweiler [2018-11-18 18:12:52] 843*2^1531675-1 is not prime. Res64: 0BC2EB1A28CD3A02 Time : 0.0 sec. user=mdettweiler [2018-11-18 18:12:53] 849*2^1531675-1 is not prime. Res64: 407A56E896B8C779 Time : 0.0 sec. user=mdettweiler [2018-11-18 18:12:54] 859*2^1531675-1 is not prime. Res64: CE136201346AB506 Time : 0.0 sec. user=mdettweiler [2018-11-18 18:12:54] 925*2^1531675-1 is not prime. Res64: 3A1D2AF8E7B0D2C8 Time : 0.0 sec. user=mdettweiler [2018-11-18 18:23:45] 961*2^1531675-1 is not prime. Res64: 3A336F8712CBB7E6 Time : 0.0 sec. user=mdettweiler [2018-11-18 18:23:45] 743*2^1531676-1 is not prime. Res64: EF3BE7B33189A21F Time : 0.0 sec. user=mdettweiler [2018-11-18 18:23:46] 855*2^1531676-1 is not prime. Res64: F5A482DBEAA756F4 Time : 0.0 sec. user=mdettweiler [2018-11-18 18:23:46] 857*2^1531676-1 is not prime. Res64: 50690590C82A6A1E Time : 0.0 sec. user=mdettweiler [2018-11-18 18:23:46] 875*2^1531676-1 is not prime. Res64: 1CBF1A6226B8B4DB Time : 0.0 sec. user=mdettweiler [2018-11-18 18:33:43] 691*2^1531677-1 is not prime. Res64: 49825478DB9CBDF3 Time : 0.0 sec. user=mdettweiler [2018-11-18 18:33:44] 765*2^1531677-1 is not prime. Res64: D55726F6623D2313 Time : 0.0 sec. user=mdettweiler [2018-11-18 18:33:44] 781*2^1531677-1 is not prime. Res64: C9E1A339B117E231 Time : 0.0 sec. user=mdettweiler [2018-11-18 18:33:44] 835*2^1531677-1 is not prime. Res64: 56AFA7DE9F79AC2F Time : 0.0 sec. user=mdettweiler [2018-11-18 18:33:45] 885*2^1531677-1 is not prime. Res64: 513140479DBA408F Time : 0.0 sec. user=mdettweiler [2018-11-18 18:45:03] 937*2^1531677-1 is not prime. Res64: BF816D84C9B608DE Time : 0.0 sec. user=mdettweiler [2018-11-18 18:45:03] 955*2^1531677-1 is not prime. Res64: 77EB1C81EEDBF63A Time : 0.0 sec. user=mdettweiler [2018-11-18 18:45:04] 743*2^1531678-1 is not prime. Res64: D330173E3FA7B33F Time : 0.0 sec. user=mdettweiler [2018-11-18 18:45:04] 825*2^1531678-1 is not prime. Res64: FB95CF5441A02D21 Time : 0.0 sec. user=mdettweiler [2018-11-18 18:45:07] 887*2^1531678-1 is not prime. Res64: A3CBEB6E16EAE21A Time : 0.0 sec. user=mdettweiler [2018-11-18 19:05:31] 923*2^1531678-1 is not prime. Res64: 972BC23C2D7FBD53 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:05:33] 669*2^1531679-1 is not prime. Res64: 533A261B0B0CE5F7 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:05:34] 693*2^1531679-1 is not prime. Res64: 65CB9A3A072386AD Time : 0.0 sec. user=mdettweiler [2018-11-18 19:05:35] 711*2^1531679-1 is not prime. Res64: 28335C7064B927B5 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:05:36] 741*2^1531679-1 is not prime. Res64: 09E7914867982BFE Time : 0.0 sec. user=mdettweiler [2018-11-18 19:15:41] 813*2^1531679-1 is not prime. Res64: 3EF702CC64AD24D6 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:15:42] 825*2^1531679-1 is not prime. Res64: DD7981BC251F1722 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:15:42] 859*2^1531679-1 is not prime. Res64: D118A88F754AE4AF Time : 0.0 sec. user=mdettweiler [2018-11-18 19:15:43] 939*2^1531679-1 is not prime. Res64: 472A7E4744C63472 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:15:43] 993*2^1531679-1 is not prime. Res64: 5D7144AF86F54900 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:25:33] 629*2^1531680-1 is not prime. Res64: 3CA038236CC88CA8 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:25:34] 669*2^1531680-1 is not prime. Res64: A9069CE370E317AE Time : 0.0 sec. user=mdettweiler [2018-11-18 19:25:34] 713*2^1531680-1 is not prime. Res64: 3BA15EBB1B2F897D Time : 0.0 sec. user=mdettweiler [2018-11-18 19:25:35] 723*2^1531680-1 is not prime. Res64: 61F71C12DF225FB4 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:25:35] 759*2^1531680-1 is not prime. Res64: 6C43D0F31224EAE5 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:39:07] 767*2^1531680-1 is not prime. Res64: F135CC65CC851EBC Time : 0.0 sec. user=mdettweiler [2018-11-18 19:39:08] 779*2^1531680-1 is not prime. Res64: CC4DBAEE130BD8A1 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:39:08] 929*2^1531680-1 is not prime. Res64: FE54A32A21936BCE Time : 0.0 sec. user=mdettweiler [2018-11-18 19:39:08] 983*2^1531680-1 is not prime. Res64: A4F0BB558E50148F Time : 0.0 sec. user=mdettweiler [2018-11-18 19:39:09] 777*2^1531681-1 is not prime. Res64: 7E0156F4A5FB639C Time : 0.0 sec. user=mdettweiler [2018-11-18 19:57:38] 855*2^1531681-1 is not prime. Res64: 5DB873DADE7759B7 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:57:39] 633*2^1531682-1 is not prime. Res64: ED8905345B85A656 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:57:39] 649*2^1531683-1 is not prime. Res64: BF16471FD4826420 Time : 0.0 sec. user=mdettweiler [2018-11-18 19:57:39] 969*2^1531683-1 is not prime. Res64: CCD942676AFF70AB Time : 0.0 sec. user=mdettweiler [2018-11-18 19:57:40] 635*2^1531684-1 is not prime. Res64: CF0F49FED53968A4 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:08:08] 695*2^1531684-1 is not prime. Res64: 110FD186CD234F8F Time : 0.0 sec. user=mdettweiler [2018-11-18 20:08:09] 785*2^1531684-1 is not prime. Res64: AA3CDFDFAB5B79E0 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:08:09] 825*2^1531684-1 is not prime. Res64: 2E8F8FF511BC0CFE Time : 0.0 sec. user=mdettweiler [2018-11-18 20:08:10] 927*2^1531684-1 is not prime. Res64: 04856B1B9B3C2E1F Time : 0.0 sec. user=mdettweiler [2018-11-18 20:08:10] 649*2^1531685-1 is not prime. Res64: 865FE1431728254E Time : 0.0 sec. user=mdettweiler [2018-11-18 20:17:49] 657*2^1531685-1 is not prime. Res64: CBC6D1DEFFDD2722 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:17:50] 691*2^1531685-1 is not prime. Res64: D99375879D33C9B9 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:17:50] 721*2^1531685-1 is not prime. Res64: FB7A341BC47BEF14 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:17:50] 837*2^1531685-1 is not prime. Res64: DB0EA45783677875 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:17:51] 861*2^1531685-1 is not prime. Res64: A1B6C9CB29A8B716 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:30:46] 867*2^1531685-1 is not prime. Res64: 3AA89541D7E63A1A Time : 0.0 sec. user=mdettweiler [2018-11-18 20:30:47] 981*2^1531685-1 is not prime. Res64: 59168A5B8663C83F Time : 0.0 sec. user=mdettweiler [2018-11-18 20:30:47] 987*2^1531685-1 is not prime. Res64: 3C673EBE4E1C35BB Time : 0.0 sec. user=mdettweiler [2018-11-18 20:30:47] 611*2^1531686-1 is not prime. Res64: 83418A115EF93711 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:30:48] 683*2^1531686-1 is not prime. Res64: D2A8B9998817C812 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:49:10] 711*2^1531686-1 is not prime. Res64: 68B81B282E9131A5 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:49:11] 807*2^1531686-1 is not prime. Res64: 2A3796804C028D16 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:49:12] 639*2^1531687-1 is not prime. Res64: 89F992F5226500C7 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:49:13] 681*2^1531687-1 is not prime. Res64: 7EF37FFA9FD32029 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:49:14] 741*2^1531687-1 is not prime. Res64: B6408E01BB4EFEC8 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:59:42] 813*2^1531687-1 is not prime. Res64: 3FE109F322DFF144 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:59:43] 841*2^1531687-1 is not prime. Res64: 344C8F3F72636C61 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:59:43] 915*2^1531687-1 is not prime. Res64: D1F9162106BE4CA2 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:59:43] 933*2^1531687-1 is not prime. Res64: 674C9C60B97588D4 Time : 0.0 sec. user=mdettweiler [2018-11-18 20:59:44] 633*2^1531688-1 is not prime. Res64: 301CD6F277083829 Time : 0.0 sec. user=mdettweiler [2018-11-18 21:09:38] 663*2^1531688-1 is not prime. Res64: 766FACA0C83CA6A1 Time : 0.0 sec. user=mdettweiler [2018-11-18 21:09:39] 677*2^1531688-1 is not prime. Res64: 6BC4EF65DF80B31F Time : 0.0 sec. user=mdettweiler [2018-11-18 21:09:39] 699*2^1531688-1 is not prime. Res64: 621F23A6D1F8E96E Time : 0.0 sec. user=mdettweiler [2018-11-18 21:09:39] 875*2^1531688-1 is not prime. Res64: B45406945699215E Time : 0.0 sec. user=mdettweiler [2018-11-18 21:09:40] 893*2^1531688-1 is not prime. Res64: 309436FEA51B9325 Time : 0.0 sec. user=mdettweiler [2018-11-18 21:22:25] 963*2^1531688-1 is not prime. Res64: 0559D4BBEC3138FE Time : 0.0 sec. user=mdettweiler [2018-11-18 21:22:26] 679*2^1531689-1 is not prime. Res64: 912834899D33CCEC Time : 0.0 sec. user=mdettweiler [2018-11-18 21:22:27] 741*2^1531689-1 is not prime. Res64: C834FC759B62CF6C Time : 0.0 sec. user=mdettweiler [2018-11-18 21:22:27] 747*2^1531689-1 is not prime. Res64: 9783083FB1BB9547 Time : 0.0 sec. user=mdettweiler [2018-11-18 21:22:28] 795*2^1531689-1 is not prime. Res64: 5B7CBEE966E003B0 Time : 0.0 sec. user=mdettweiler [2018-11-18 21:40:39] 885*2^1531689-1 is not prime. Res64: D926B14E25C0E18C Time : 0.0 sec. user=mdettweiler [2018-11-18 21:40:40] 647*2^1531690-1 is not prime. Res64: 73A6ED4A73DCA83B Time : 0.0 sec. user=mdettweiler [2018-11-18 21:40:40] 731*2^1531690-1 is not prime. Res64: 9ABC0C703CBD4C3B Time : 0.0 sec. user=mdettweiler [2018-11-18 21:40:40] 813*2^1531690-1 is not prime. Res64: 671E6806C969A5CB Time : 0.0 sec. user=mdettweiler [2018-11-18 21:40:41] 845*2^1531690-1 is not prime. Res64: 0694EA560C2175ED Time : 0.0 sec. user=mdettweiler [2018-11-18 21:51:14] 867*2^1531690-1 is not prime. Res64: E990146BE56BCFC2 Time : 0.0 sec. user=mdettweiler [2018-11-18 21:51:14] 915*2^1531690-1 is not prime. Res64: 7619710929624B04 Time : 0.0 sec. user=mdettweiler [2018-11-18 21:51:14] 951*2^1531690-1 is not prime. Res64: 9210AC2F8A542E61 Time : 0.0 sec. user=mdettweiler [2018-11-18 21:51:15] 609*2^1531691-1 is not prime. Res64: 855B4DFF761007FC Time : 0.0 sec. user=mdettweiler [2018-11-18 21:51:15] 735*2^1531691-1 is not prime. Res64: 0E4EF78E2F1CECFE Time : 0.0 sec. user=mdettweiler [2018-11-18 22:01:44] 931*2^1531691-1 is not prime. Res64: CF08F4EA190AB45C Time : 0.0 sec. user=mdettweiler [2018-11-18 22:01:46] 943*2^1531691-1 is not prime. Res64: 83D9C5F3E8DD598C Time : 0.0 sec. user=mdettweiler [2018-11-18 22:01:47] 981*2^1531691-1 is not prime. Res64: 7EBC1830B7C13A90 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:01:49] 695*2^1531692-1 is not prime. Res64: DAB4AE1F094E2CBD Time : 0.0 sec. user=mdettweiler [2018-11-18 22:01:50] 903*2^1531692-1 is not prime. Res64: EA0EDE83551CFD52 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:15:52] 747*2^1531693-1 is not prime. Res64: F5CF44961A7CE14F Time : 0.0 sec. user=mdettweiler [2018-11-18 22:15:53] 757*2^1531693-1 is not prime. Res64: 345C3E7236FCFF1A Time : 0.0 sec. user=mdettweiler [2018-11-18 22:15:54] 847*2^1531693-1 is not prime. Res64: EAEE240332A4B453 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:15:54] 641*2^1531694-1 is not prime. Res64: A92F85D9D38DF827 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:15:54] 707*2^1531694-1 is not prime. Res64: 7B1BAB304C19AA96 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:32:29] 915*2^1531694-1 is not prime. Res64: DFA93DEEFE32CF8B Time : 0.0 sec. user=mdettweiler [2018-11-18 22:32:29] 649*2^1531695-1 is not prime. Res64: 3A69F0592325AAC7 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:32:29] 765*2^1531695-1 is not prime. Res64: E54E2FDF167FF16B Time : 0.0 sec. user=mdettweiler [2018-11-18 22:32:30] 805*2^1531695-1 is not prime. Res64: 8FF9A47FB14DD66C Time : 0.0 sec. user=mdettweiler [2018-11-18 22:32:30] 871*2^1531695-1 is not prime. Res64: D9E5F4AB61A7BA98 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:43:05] 693*2^1531696-1 is not prime. Res64: 35436F8D16100765 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:43:06] 699*2^1531696-1 is not prime. Res64: 8B8561FD666C76C5 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:43:06] 743*2^1531696-1 is not prime. Res64: 86D38D05E48533B8 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:43:06] 777*2^1531696-1 is not prime. Res64: 019A8FFAC6D77AC8 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:43:06] 999*2^1531696-1 is not prime. Res64: 4F6C4F3AFD20CBEC Time : 0.0 sec. user=mdettweiler [2018-11-18 22:53:35] 631*2^1531697-1 is not prime. Res64: 53498B6F2AA7F409 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:53:36] 675*2^1531697-1 is not prime. Res64: 9A6CD4E8FC8DCF41 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:53:36] 691*2^1531697-1 is not prime. Res64: 8BBBC0F08D25B319 Time : 0.0 sec. user=mdettweiler [2018-11-18 22:53:36] 717*2^1531697-1 is not prime. Res64: 61C29BFD2C1F79BD Time : 0.0 sec. user=mdettweiler [2018-11-18 22:53:37] 861*2^1531697-1 is not prime. Res64: 5B37D180FA3E26CA Time : 0.0 sec. user=mdettweiler [2018-11-18 23:07:37] 867*2^1531697-1 is not prime. Res64: 190E2A917C4F3F07 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:07:38] 981*2^1531697-1 is not prime. Res64: 86031A7C586604E2 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:07:39] 765*2^1531698-1 is not prime. Res64: 5B44003381AE21B6 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:07:40] 887*2^1531698-1 is not prime. Res64: EECCC88443A4B7A3 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:07:41] 933*2^1531698-1 is not prime. Res64: 14CA0261B4AFECA6 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:25:00] 619*2^1531699-1 is not prime. Res64: 947BFE0B56A7676A Time : 0.0 sec. user=mdettweiler [2018-11-18 23:25:01] 639*2^1531699-1 is not prime. Res64: B919C47D46A8B735 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:25:02] 735*2^1531699-1 is not prime. Res64: 391E8AE742B94248 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:25:02] 859*2^1531699-1 is not prime. Res64: 83A7CE3A2CE1680C Time : 0.0 sec. user=mdettweiler [2018-11-18 23:25:03] 633*2^1531700-1 is not prime. Res64: 079A4E74873E1CF8 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:36:07] 677*2^1531700-1 is not prime. Res64: ED5AA714A5333C5E Time : 0.0 sec. user=mdettweiler [2018-11-18 23:36:08] 725*2^1531700-1 is not prime. Res64: 13454491E0AA6206 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:36:08] 759*2^1531700-1 is not prime. Res64: E04FF6281EDF3073 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:36:08] 795*2^1531700-1 is not prime. Res64: E000F7E4C675CC41 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:36:09] 803*2^1531700-1 is not prime. Res64: 35525E11133C31C1 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:46:16] 875*2^1531700-1 is not prime. Res64: 90FC189C3B96F307 Time : 0.0 sec. user=mdettweiler [2018-11-18 23:46:16] 959*2^1531700-1 is not prime. Res64: B092ABCEF806D43F Time : 0.0 sec. user=mdettweiler [2018-11-18 23:46:16] 977*2^1531700-1 is not prime. Res64: 4288E09965C541CD Time : 0.0 sec. user=mdettweiler [2018-11-18 23:46:16] 983*2^1531700-1 is not prime. Res64: 60596BDEFB9C527B Time : 0.0 sec. user=mdettweiler [2018-11-18 23:46:17] 625*2^1531701-1 is not prime. Res64: 6DE89675EFB6A0EE Time : 0.0 sec. user=mdettweiler [2018-11-19 00:00:57] 669*2^1531701-1 is not prime. Res64: 7F87152ABFFDC0B9 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:00:58] 997*2^1531701-1 is not prime. Res64: 6F0A36172A68851B Time : 0.0 sec. user=mdettweiler [2018-11-19 00:00:58] 999*2^1531701-1 is not prime. Res64: 41AF2DA7D70E8EB6 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:00:59] 737*2^1531702-1 is not prime. Res64: 1792232DECC80D67 Time : 0.0 sec. user=mdettweiler [2018-11-19 00:00:59] 741*2^1531702-1 is not prime. Res64: 76CBEF5876030BB8 Time : 0.0 sec.