user=mdettweiler [2020-07-22 00:11:18] 889*2^1563609-1 is not prime. Res64: EB3DC4EBBAC40D08 Time : 0.0 sec. user=mdettweiler [2020-07-22 00:11:23] 895*2^1563609-1 is not prime. Res64: 93369842E33EA9AE Time : 0.0 sec. user=mdettweiler [2020-07-22 00:11:26] 919*2^1563609-1 is not prime. Res64: 7BE2FA7D06F0082B Time : 0.0 sec. user=mdettweiler [2020-07-22 00:11:30] 677*2^1563610-1 is not prime. Res64: 73B50730413DDB5C Time : 0.0 sec. user=mdettweiler [2020-07-22 00:11:33] 765*2^1563610-1 is not prime. Res64: 87A4FFB05BF2FBD5 Time : 0.0 sec. user=mdettweiler [2020-07-22 00:14:14] 957*2^1563610-1 is not prime. Res64: 22BA320E3EA956D3 Time : 0.0 sec. user=mdettweiler [2020-07-22 00:14:17] 1001*2^1563610-1 is not prime. Res64: B4855A6C04CE7586 Time : 0.0 sec. user=mdettweiler [2020-07-22 00:14:20] 615*2^1563611-1 is not prime. Res64: 926A8999AA6453C7 Time : 0.0 sec. user=mdettweiler [2020-07-22 00:14:22] 703*2^1563611-1 is not prime. Res64: AF173259E1E304EF Time : 0.0 sec. user=mdettweiler [2020-07-22 00:14:24] 879*2^1563611-1 is not prime. Res64: 9C16C562F88C5DA1 Time : 0.0 sec. user=mdettweiler [2020-07-22 00:33:38] 895*2^1563611-1 is not prime. Res64: 948C416B8551C84A Time : 0.0 sec. user=mdettweiler [2020-07-22 00:33:39] 943*2^1563611-1 is not prime. Res64: 0AD52D684C22CD51 Time : 0.0 sec. user=mdettweiler [2020-07-22 00:33:39] 627*2^1563612-1 is not prime. Res64: 02B38548FB998615 Time : 0.0 sec. user=mdettweiler [2020-07-22 00:33:40] 629*2^1563612-1 is not prime. Res64: A1C45D1BBF85A667 Time : 0.0 sec. user=mdettweiler [2020-07-22 00:33:40] 635*2^1563612-1 is not prime. Res64: 3C737016452D6692 Time : 0.0 sec. user=mdettweiler [2020-07-22 01:04:57] 647*2^1563612-1 is not prime. Res64: 0FB5CE29F792C4AB Time : 0.0 sec. user=mdettweiler [2020-07-22 01:05:00] 723*2^1563612-1 is not prime. Res64: 2B9FD48B2C924E31 Time : 0.0 sec. user=mdettweiler [2020-07-22 01:05:03] 609*2^1563613-1 is not prime. Res64: DAF61B17F3B1CF06 Time : 0.0 sec. user=mdettweiler [2020-07-22 01:05:04] 675*2^1563613-1 is not prime. Res64: 7369BBB51D69503F Time : 0.0 sec. user=mdettweiler [2020-07-22 01:05:07] 691*2^1563613-1 is not prime. Res64: 38B05E9684100D00 Time : 0.0 sec. user=mdettweiler [2020-07-22 01:09:49] 747*2^1563613-1 is not prime. Res64: 059F3E5A7F6424DD Time : 0.0 sec. user=mdettweiler [2020-07-22 01:09:52] 789*2^1563613-1 is not prime. Res64: D2A78A7FCFCF99B9 Time : 0.0 sec. user=mdettweiler [2020-07-22 01:09:53] 801*2^1563613-1 is not prime. Res64: 6C5B739B05497B7F Time : 0.0 sec. user=mdettweiler [2020-07-22 01:09:55] 805*2^1563613-1 is not prime. Res64: 760609D12FA33E56 Time : 0.0 sec. user=mdettweiler [2020-07-22 01:09:56] 623*2^1563614-1 is not prime. Res64: 9DFCBAA931B2C994 Time : 0.0 sec. user=mdettweiler [2020-07-22 01:29:01] 641*2^1563614-1 is not prime. Res64: 142C7F331C488A23 Time : 0.0 sec. user=mdettweiler [2020-07-22 01:29:02] 705*2^1563614-1 is not prime. Res64: 72FC182AB54FFE2B Time : 0.0 sec. user=mdettweiler [2020-07-22 01:29:04] 717*2^1563614-1 is not prime. Res64: D72FB176690FE850 Time : 0.0 sec. user=mdettweiler [2020-07-22 01:29:06] 797*2^1563614-1 is not prime. Res64: 9498AF96B7B582A3 Time : 0.0 sec. user=mdettweiler [2020-07-22 01:29:07] 875*2^1563614-1 is not prime. Res64: 91D90A8E5CD44062 Time : 0.0 sec. user=mdettweiler [2020-07-22 02:02:26] 885*2^1563614-1 is not prime. Res64: D3ACE7528B31F420 Time : 0.0 sec. user=mdettweiler [2020-07-22 02:02:31] 917*2^1563614-1 is not prime. Res64: 668C38AA80427AF2 Time : 0.0 sec. user=mdettweiler [2020-07-22 02:02:35] 945*2^1563614-1 is not prime. Res64: 262FFC808B5A4C6D Time : 0.0 sec. user=mdettweiler [2020-07-22 02:02:40] 993*2^1563614-1 is not prime. Res64: FE8ED26D930C8D60 Time : 0.0 sec. user=mdettweiler [2020-07-22 02:02:49] 651*2^1563615-1 is not prime. Res64: 658FECFFA8F4AFC1 Time : 0.0 sec. user=mdettweiler [2020-07-22 02:06:08] 663*2^1563615-1 is not prime. Res64: F6853E5E98D29CFB Time : 0.0 sec. user=mdettweiler [2020-07-22 02:06:11] 711*2^1563615-1 is not prime. Res64: 03414F481DB71914 Time : 0.0 sec. user=mdettweiler [2020-07-22 02:06:15] 819*2^1563615-1 is not prime. Res64: D7F7112FAA8DACCD Time : 0.0 sec. user=mdettweiler [2020-07-22 02:06:18] 831*2^1563615-1 is not prime. Res64: 77578D0B3EE0D128 Time : 0.0 sec. user=mdettweiler [2020-07-22 02:06:21] 861*2^1563615-1 is not prime. Res64: 0C23A1E79E3CFB92 Time : 0.0 sec. user=mdettweiler [2020-07-22 02:22:59] 871*2^1563615-1 is not prime. Res64: 68DC2799963C182E Time : 0.0 sec. user=mdettweiler [2020-07-22 02:23:01] 615*2^1563616-1 is not prime. Res64: B9B43A0FA0F4381B Time : 0.0 sec. user=mdettweiler [2020-07-22 02:23:03] 699*2^1563616-1 is not prime. Res64: 3B557BCC43ED150B Time : 0.0 sec. user=mdettweiler [2020-07-22 02:23:05] 747*2^1563616-1 is not prime. Res64: E452BE58FE62AD5C Time : 0.0 sec. user=mdettweiler [2020-07-22 02:23:07] 773*2^1563616-1 is not prime. Res64: 4F49D02DEAD39EAC Time : 0.0 sec. user=mdettweiler [2020-07-22 03:00:58] 939*2^1563616-1 is not prime. Res64: C46E716391F64C05 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:01:02] 969*2^1563616-1 is not prime. Res64: 4EE0D242C37B36B4 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:01:08] 741*2^1563617-1 is not prime. Res64: 9B24CE6FCD80ABA6 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:01:12] 801*2^1563617-1 is not prime. Res64: 26A689875E11A84D Time : 0.0 sec. user=mdettweiler [2020-07-22 03:01:13] 805*2^1563617-1 is not prime. Res64: EDCF9E13558B75F6 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:03:45] 841*2^1563617-1 is not prime. Res64: 59D80A31AD5F4D01 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:03:47] 879*2^1563617-1 is not prime. Res64: 696318D794112095 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:03:48] 885*2^1563617-1 is not prime. Res64: 2966484F73D21296 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:03:51] 981*2^1563617-1 is not prime. Res64: E0DF10713CC76476 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:03:53] 681*2^1563618-1 is not prime. Res64: 607A8275B518D095 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:17:22] 711*2^1563618-1 is not prime. Res64: 7FFE7DD9E403035D Time : 0.0 sec. user=mdettweiler [2020-07-22 03:17:23] 737*2^1563618-1 is not prime. Res64: A014D7F04618BB85 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:17:23] 747*2^1563618-1 is not prime. Res64: 99DDCB5D96137969 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:17:24] 765*2^1563618-1 is not prime. Res64: A0380CBA3CBC0D22 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:17:24] 797*2^1563618-1 is not prime. Res64: 5CC052532FA73959 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:56:09] 905*2^1563618-1 is not prime. Res64: 32745595C895CEAD Time : 0.0 sec. user=mdettweiler [2020-07-22 03:56:11] 993*2^1563618-1 is not prime. Res64: 575967C1CC7B336F Time : 0.0 sec. user=mdettweiler [2020-07-22 03:56:12] 639*2^1563619-1 is not prime. Res64: B27A130A29232F42 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:56:13] 675*2^1563619-1 is not prime. Res64: CE6EF4DD2B79CEFC Time : 0.0 sec. user=mdettweiler [2020-07-22 03:56:16] 679*2^1563619-1 is not prime. Res64: 60843B4DD6B6E550 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:59:16] 723*2^1563619-1 is not prime. Res64: B47B1D9CF0A5C5DF Time : 0.0 sec. user=mdettweiler [2020-07-22 03:59:16] 745*2^1563619-1 is not prime. Res64: 11C954082EDB2640 Time : 0.0 sec. user=mdettweiler [2020-07-22 03:59:17] 873*2^1563619-1 is not prime. Res64: 5FE6184271EA69DF Time : 0.0 sec. user=mdettweiler [2020-07-22 03:59:18] 961*2^1563619-1 is not prime. Res64: 8A6C633F44B39C6D Time : 0.0 sec. user=mdettweiler [2020-07-22 03:59:19] 669*2^1563620-1 is not prime. Res64: D356C6170D73FD25 Time : 0.0 sec. user=mdettweiler [2020-07-22 04:11:20] 689*2^1563620-1 is not prime. Res64: 77D15FE3509E612A Time : 0.0 sec. user=mdettweiler [2020-07-22 04:11:34] 735*2^1563620-1 is not prime. Res64: 312136664FE58D0E Time : 0.0 sec. user=mdettweiler [2020-07-22 04:52:54] 953*2^1563620-1 is not prime. Res64: A772863AD371ED8B Time : 0.0 sec. user=mdettweiler [2020-07-22 04:52:55] 669*2^1563621-1 is not prime. Res64: 5AFA169EB2E91C1A Time : 0.0 sec. user=mdettweiler [2020-07-22 04:52:55] 709*2^1563621-1 is not prime. Res64: FBA43FBEA5162EDE Time : 0.0 sec. user=mdettweiler [2020-07-22 04:52:56] 837*2^1563621-1 is not prime. Res64: 124A7DC6D7920D53 Time : 0.0 sec. user=mdettweiler [2020-07-22 04:52:56] 861*2^1563621-1 is not prime. Res64: 44E049DC69FDB861 Time : 0.0 sec. user=mdettweiler [2020-07-22 04:55:14] 955*2^1563621-1 is not prime. Res64: C833DBF9E2792D1E Time : 0.0 sec. user=mdettweiler [2020-07-22 04:55:15] 635*2^1563622-1 is not prime. Res64: 04F66749D9EA842F Time : 0.0 sec. user=mdettweiler [2020-07-22 04:55:15] 761*2^1563622-1 is not prime. Res64: F80617945B8424CF Time : 0.0 sec. user=mdettweiler [2020-07-22 04:55:16] 843*2^1563622-1 is not prime. Res64: 9FC9655463585FE3 Time : 0.0 sec. user=mdettweiler [2020-07-22 04:55:16] 873*2^1563622-1 is not prime. Res64: 33BF96FDD30A453D Time : 0.0 sec. user=mdettweiler [2020-07-22 05:49:21] 885*2^1563622-1 is not prime. Res64: C849A9C668E7460E Time : 0.0 sec. user=mdettweiler [2020-07-22 05:49:21] 965*2^1563622-1 is not prime. Res64: E491D70DF8DE1F11 Time : 0.0 sec. user=mdettweiler [2020-07-22 05:49:22] 987*2^1563622-1 is not prime. Res64: D949A2322E89D130 Time : 0.0 sec. user=mdettweiler [2020-07-22 05:49:22] 673*2^1563623-1 is not prime. Res64: 8131BEB7179DC193 Time : 0.0 sec. user=mdettweiler [2020-07-22 05:49:23] 729*2^1563623-1 is not prime. Res64: FCF8C05A37598CCF Time : 0.0 sec. user=mdettweiler [2020-07-22 05:51:35] 741*2^1563623-1 is not prime. Res64: 3B597754192132CC Time : 0.0 sec. user=mdettweiler [2020-07-22 05:51:35] 783*2^1563623-1 is not prime. Res64: C52C7F97177BE606 Time : 0.0 sec. user=mdettweiler [2020-07-22 05:51:36] 823*2^1563623-1 is not prime. Res64: 454268CD6F503839 Time : 0.0 sec. user=mdettweiler [2020-07-22 05:51:36] 829*2^1563623-1 is not prime. Res64: 8FC3F899E999923D Time : 0.0 sec. user=mdettweiler [2020-07-22 05:51:37] 949*2^1563623-1 is not prime. Res64: 70271E818E4B5B45 Time : 0.0 sec. user=mdettweiler [2020-07-22 06:44:17] 981*2^1563623-1 is not prime. Res64: C205D5449C3DD612 Time : 0.0 sec. user=mdettweiler [2020-07-22 06:44:19] 993*2^1563623-1 is not prime. Res64: 84F6BDBA95A6E444 Time : 0.0 sec. user=mdettweiler [2020-07-22 06:44:19] 635*2^1563624-1 is not prime. Res64: C1F47D96A6A2F65F Time : 0.0 sec. user=mdettweiler [2020-07-22 06:44:20] 737*2^1563624-1 is not prime. Res64: 74EAF82350DB95FA Time : 0.0 sec. user=mdettweiler [2020-07-22 06:44:22] 747*2^1563624-1 is not prime. Res64: 28156765D73F4245 Time : 0.0 sec. user=mdettweiler [2020-07-22 06:46:50] 795*2^1563624-1 is not prime. Res64: D32B9AEBF14947C8 Time : 0.0 sec. user=mdettweiler [2020-07-22 06:46:50] 803*2^1563624-1 is not prime. Res64: BA513B664995106F Time : 0.0 sec. user=mdettweiler [2020-07-22 06:46:51] 909*2^1563624-1 is not prime. Res64: 724A83038B9EABC8 Time : 0.0 sec. user=mdettweiler [2020-07-22 06:46:51] 705*2^1563625-1 is not prime. Res64: 63EB5366E9325F25 Time : 0.0 sec. user=mdettweiler [2020-07-22 06:46:52] 717*2^1563625-1 is not prime. Res64: 2309178630AB99FD Time : 0.0 sec. user=mdettweiler [2020-07-22 07:41:42] 975*2^1563625-1 is not prime. Res64: D4E541E691C04694 Time : 0.0 sec. user=mdettweiler [2020-07-22 07:41:43] 985*2^1563625-1 is not prime. Res64: 3C9E66ECC9D45F9F Time : 0.0 sec. user=mdettweiler [2020-07-22 07:41:44] 635*2^1563626-1 is not prime. Res64: 428DA20DFC8B71AA Time : 0.0 sec. user=mdettweiler [2020-07-22 07:41:44] 735*2^1563626-1 is not prime. Res64: F72C3492CD2335DC Time : 0.0 sec. user=mdettweiler [2020-07-22 07:41:45] 765*2^1563625-1 is not prime. Res64: DAF1D69A0081C596 Time : 0.0 sec. user=mdettweiler [2020-07-22 07:41:45] 755*2^1563626-1 is not prime. Res64: 325DB7254BD0746A Time : 0.0 sec. user=mdettweiler [2020-07-22 07:41:45] 889*2^1563625-1 is not prime. Res64: EAC74CBDE446D3EF Time : 0.0 sec. user=mdettweiler [2020-07-22 07:41:46] 895*2^1563625-1 is not prime. Res64: 640E13046D26A535 Time : 0.0 sec. user=mdettweiler [2020-07-22 07:41:46] 909*2^1563625-1 is not prime. Res64: D2D82F3070235481 Time : 0.0 sec. user=mdettweiler [2020-07-22 07:41:47] 937*2^1563625-1 is not prime. Res64: FFD9D23BECDB3FF2 Time : 0.0 sec. user=mdettweiler [2020-07-22 08:38:12] 675*2^1563627-1 is not prime. Res64: 01C3DDB43B86FC89 Time : 0.0 sec. user=mdettweiler [2020-07-22 08:38:13] 765*2^1563627-1 is not prime. Res64: 4ADE76FAEBCF705D Time : 0.0 sec. user=mdettweiler [2020-07-22 08:38:13] 805*2^1563627-1 is not prime. Res64: BC690CB07A5A6F93 Time : 0.0 sec. user=mdettweiler [2020-07-22 08:38:14] 919*2^1563627-1 is not prime. Res64: 5D19B5AB690D6E1F Time : 0.0 sec. user=mdettweiler [2020-07-22 08:38:14] 955*2^1563627-1 is not prime. Res64: 27218D0D211A0271 Time : 0.0 sec. user=mdettweiler [2020-07-22 08:39:12] 773*2^1563626-1 is not prime. Res64: 31CA57935B03B6B9 Time : 0.0 sec. user=mdettweiler [2020-07-22 08:39:12] 833*2^1563626-1 is not prime. Res64: BF026D4C4D75BA88 Time : 0.0 sec. user=mdettweiler [2020-07-22 08:39:13] 867*2^1563626-1 is not prime. Res64: EE2A9AA548C981EA Time : 0.0 sec. user=mdettweiler [2020-07-22 08:39:13] 873*2^1563626-1 is not prime. Res64: 872E7609D5E14D0F Time : 0.0 sec. user=mdettweiler [2020-07-22 08:39:14] 887*2^1563626-1 is not prime. Res64: D48731BF6A258D97 Time : 0.0 sec. user=mdettweiler [2020-07-22 09:03:37] 743*2^1563620-1 is not prime. Res64: CF4B5BA11A09B35E Time : 0.0 sec. user=mdettweiler [2020-07-22 09:03:38] 753*2^1563620-1 is not prime. Res64: B797D9CF25C5AB62 Time : 0.0 sec. user=mdettweiler [2020-07-22 09:03:39] 797*2^1563620-1 is not prime. Res64: 073C4F13ACF56DB9 Time : 0.0 sec. user=mdettweiler [2020-07-22 09:29:59] 629*2^1563628-1 is not prime. Res64: BCB77BD8A3E7CDFA Time : 0.0 sec. user=mdettweiler [2020-07-22 09:30:00] 639*2^1563628-1 is not prime. Res64: 9D35636FCCB64114 Time : 0.0 sec. user=mdettweiler [2020-07-22 09:30:00] 647*2^1563628-1 is not prime. Res64: 17C18E7D9B8FBA21 Time : 0.0 sec. user=mdettweiler [2020-07-22 09:30:00] 665*2^1563628-1 is not prime. Res64: F848E92681374BAC Time : 0.0 sec. user=mdettweiler [2020-07-22 09:30:01] 773*2^1563628-1 is not prime. Res64: 6591BF6992A60E77 Time : 0.0 sec. user=mdettweiler [2020-07-22 09:37:33] 813*2^1563628-1 is not prime. Res64: DD4DD898BF0FCCDC Time : 0.0 sec. user=mdettweiler [2020-07-22 09:37:33] 825*2^1563628-1 is not prime. Res64: 360C1EAE36A5B03C Time : 0.0 sec. user=mdettweiler [2020-07-22 09:37:34] 845*2^1563628-1 is not prime. Res64: EEDE6C78E50946B7 Time : 0.0 sec. user=mdettweiler [2020-07-22 09:37:35] 855*2^1563628-1 is not prime. Res64: 7F85C929096BA2EE Time : 0.0 sec. user=mdettweiler [2020-07-22 09:37:35] 927*2^1563628-1 is not prime. Res64: 374E9C33A4E9E54F Time : 0.0 sec. user=mdettweiler [2020-07-22 10:01:06] 957*2^1563628-1 is not prime. Res64: B2B1823FFD74B394 Time : 0.0 sec. user=mdettweiler [2020-07-22 10:01:07] 995*2^1563628-1 is not prime. Res64: 8E252163D5C9227E Time : 0.0 sec. user=mdettweiler [2020-07-22 10:01:09] 691*2^1563629-1 is not prime. Res64: 57F59A2A70EED34C Time : 0.0 sec. user=mdettweiler [2020-07-22 10:01:10] 945*2^1563629-1 is not prime. Res64: 3323C1D4BF453F8D Time : 0.0 sec. user=mdettweiler [2020-07-22 10:01:12] 979*2^1563629-1 is not prime. Res64: 741AEBF4C2051E01 Time : 0.0 sec. user=mdettweiler [2020-07-22 10:23:57] 985*2^1563629-1 is not prime. Res64: 2A3F823F675D6A0E Time : 0.0 sec. user=mdettweiler [2020-07-22 10:23:58] 707*2^1563630-1 is not prime. Res64: 3B5724B7546567CC Time : 0.0 sec. user=mdettweiler [2020-07-22 10:23:58] 725*2^1563630-1 is not prime. Res64: 0B780BBA8ED7E8EF Time : 0.0 sec. user=mdettweiler [2020-07-22 10:23:59] 747*2^1563630-1 is not prime. Res64: 5F29F06B7AEBD0AE Time : 0.0 sec. user=mdettweiler [2020-07-22 10:23:59] 791*2^1563630-1 is not prime. Res64: 396D546B138B82EA Time : 0.0 sec. user=mdettweiler [2020-07-22 10:31:27] 723*2^1563631-1 is not prime. Res64: 27FDFEDD9B3A8D19 Time : 0.0 sec. user=mdettweiler [2020-07-22 10:31:27] 745*2^1563631-1 is not prime. Res64: 858327628225423B Time : 0.0 sec. user=mdettweiler [2020-07-22 10:31:28] 751*2^1563631-1 is not prime. Res64: AC880394BCC4055D Time : 0.0 sec. user=mdettweiler [2020-07-22 10:31:28] 769*2^1563631-1 is not prime. Res64: D1A99A425DEA4378 Time : 0.0 sec. user=mdettweiler [2020-07-22 10:31:29] 849*2^1563631-1 is not prime. Res64: 3022C0016EFEE454 Time : 0.0 sec. user=mdettweiler [2020-07-22 10:56:18] 873*2^1563631-1 is not prime. Res64: 70278A0E289638E7 Time : 0.0 sec. user=mdettweiler [2020-07-22 10:56:20] 931*2^1563631-1 is not prime. Res64: C0F685C9AFBDB8A8 Time : 0.0 sec. user=mdettweiler [2020-07-22 10:56:23] 615*2^1563632-1 is not prime. Res64: F2EDA47DEBBD96C9 Time : 0.0 sec. user=mdettweiler [2020-07-22 10:56:25] 677*2^1563632-1 is not prime. Res64: E24426041A6C8432 Time : 0.0 sec. user=mdettweiler [2020-07-22 10:56:26] 767*2^1563632-1 is not prime. Res64: 1DF882E2AA2F36FE Time : 0.0 sec. user=mdettweiler [2020-07-22 11:21:07] 879*2^1563632-1 is not prime. Res64: EA57CB0CC2A88A64 Time : 0.0 sec. user=mdettweiler [2020-07-22 11:21:07] 899*2^1563632-1 is not prime. Res64: 38FE76584AE3577C Time : 0.0 sec. user=mdettweiler [2020-07-22 11:21:08] 903*2^1563632-1 is not prime. Res64: CFFBBDDFB6271C61 Time : 0.0 sec. user=mdettweiler [2020-07-22 11:21:08] 909*2^1563632-1 is not prime. Res64: 30666162EBB945DC Time : 0.0 sec. user=mdettweiler [2020-07-22 11:21:09] 625*2^1563633-1 is not prime. Res64: 4795DD85B13DB79F Time : 0.0 sec. user=mdettweiler [2020-07-22 11:26:12] 627*2^1563633-1 is not prime. Res64: 6BBCC61F40A36578 Time : 0.0 sec. user=mdettweiler [2020-07-22 11:26:12] 637*2^1563633-1 is not prime. Res64: 34D7388B33D61A91 Time : 0.0 sec. user=mdettweiler [2020-07-22 11:26:13] 739*2^1563633-1 is not prime. Res64: 14B5CF7B4A4143AF Time : 0.0 sec. user=mdettweiler [2020-07-22 11:26:14] 847*2^1563633-1 is not prime. Res64: B2DDE554EEC7ABA0 Time : 0.0 sec. user=mdettweiler [2020-07-22 11:26:14] 901*2^1563633-1 is not prime. Res64: 761C468707F3C114 Time : 0.0 sec. user=mdettweiler [2020-07-22 11:51:00] 633*2^1563634-1 is not prime. Res64: 89A706EB39C6FD27 Time : 0.0 sec. user=mdettweiler [2020-07-22 11:51:01] 645*2^1563634-1 is not prime. Res64: 736608C3257BFE35 Time : 0.0 sec. user=mdettweiler [2020-07-22 11:51:01] 681*2^1563634-1 is not prime. Res64: 2BF044FBBAFA9251 Time : 0.0 sec. user=mdettweiler [2020-07-22 11:51:02] 815*2^1563634-1 is not prime. Res64: D6EA22471D7E4292 Time : 0.0 sec. user=mdettweiler [2020-07-22 11:51:02] 881*2^1563634-1 is not prime. Res64: 754C7A44027CC7CB Time : 0.0 sec. user=mdettweiler [2020-07-22 12:19:28] 915*2^1563634-1 is not prime. Res64: BADF7EB056BD36EA Time : 0.0 sec. user=mdettweiler [2020-07-22 12:19:28] 917*2^1563634-1 is not prime. Res64: 9E83664B3F6B45FE Time : 0.0 sec. user=mdettweiler [2020-07-22 12:19:29] 971*2^1563634-1 is not prime. Res64: 546D8DF284AA3823 Time : 0.0 sec. user=mdettweiler [2020-07-22 12:19:29] 983*2^1563634-1 is not prime. Res64: 1FF7384FD2EC089B Time : 0.0 sec. user=mdettweiler [2020-07-22 12:19:30] 987*2^1563634-1 is not prime. Res64: 654390D11A8F93E9 Time : 0.0 sec. user=mdettweiler [2020-07-22 12:22:21] 669*2^1563635-1 is not prime. Res64: 6E57DB24324058D9 Time : 0.0 sec. user=mdettweiler [2020-07-22 12:22:22] 733*2^1563635-1 is not prime. Res64: 42BD93F547AC8A40 Time : 0.0 sec. user=mdettweiler [2020-07-22 12:22:22] 825*2^1563635-1 is not prime. Res64: 7C4CF815C8CAD0A7 Time : 0.0 sec. user=mdettweiler [2020-07-22 12:22:23] 883*2^1563635-1 is not prime. Res64: BDA8F822ED7F2E06 Time : 0.0 sec. user=mdettweiler [2020-07-22 12:22:23] 921*2^1563635-1 is not prime. Res64: ED9EC73C6D1D1A9E Time : 0.0 sec. user=mdettweiler [2020-07-22 12:46:54] 963*2^1563635-1 is not prime. Res64: 932A7560F9FE8F0C Time : 0.0 sec. user=mdettweiler [2020-07-22 12:46:55] 979*2^1563635-1 is not prime. Res64: 3E4F49BF0227C5AE Time : 0.0 sec. user=mdettweiler [2020-07-22 12:46:56] 991*2^1563635-1 is not prime. Res64: 320C51369B52B744 Time : 0.0 sec. user=mdettweiler [2020-07-22 12:46:56] 635*2^1563636-1 is not prime. Res64: 92965467B3944C41 Time : 0.0 sec. user=mdettweiler [2020-07-22 12:46:57] 719*2^1563636-1 is not prime. Res64: 3F0921F36DD1560A Time : 0.0 sec. user=mdettweiler [2020-07-22 13:15:34] 741*2^1563637-1 is not prime. Res64: 34B0AB0867062982 Time : 0.0 sec. user=mdettweiler [2020-07-22 13:15:35] 747*2^1563637-1 is not prime. Res64: CE99F674E74FD4D0 Time : 0.0 sec. user=mdettweiler [2020-07-22 13:15:35] 751*2^1563637-1 is not prime. Res64: 735D540FB0D96910 Time : 0.0 sec. user=mdettweiler [2020-07-22 13:15:36] 757*2^1563637-1 is not prime. Res64: 3226207723EF32BE Time : 0.0 sec. user=mdettweiler [2020-07-22 13:15:37] 765*2^1563637-1 is not prime. Res64: 1255A2C81B01C32C Time : 0.0 sec. user=mdettweiler [2020-07-22 13:16:43] 825*2^1563636-1 is not prime. Res64: 3E55CE38934284FF Time : 0.0 sec. user=mdettweiler [2020-07-22 13:16:43] 845*2^1563636-1 is not prime. Res64: 6D0E460D84BF10D1 Time : 0.0 sec. user=mdettweiler [2020-07-22 13:16:44] 899*2^1563636-1 is not prime. Res64: 1A105BDAA5C8B9DA Time : 0.0 sec. user=mdettweiler [2020-07-22 13:16:44] 993*2^1563636-1 is not prime. Res64: B436D3BB84C7ADC3 Time : 0.0 sec. user=mdettweiler [2020-07-22 13:16:45] 645*2^1563637-1 is not prime. Res64: 72291D7076F47179 Time : 0.0 sec. user=mdettweiler [2020-07-22 13:44:41] 769*2^1563637-1 is not prime. Res64: 36E7452184DD444D Time : 0.0 sec. user=mdettweiler [2020-07-22 13:44:42] 831*2^1563637-1 is not prime. Res64: 3D5855D2690819F7 Time : 0.0 sec. user=mdettweiler [2020-07-22 13:44:42] 847*2^1563637-1 is not prime. Res64: F1409D91CED16001 Time : 0.0 sec. user=mdettweiler [2020-07-22 13:44:43] 931*2^1563637-1 is not prime. Res64: C0669B2EDA18200C Time : 0.0 sec. user=mdettweiler [2020-07-22 13:44:43] 975*2^1563637-1 is not prime. Res64: C3D780157FE23282 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:08:16] 657*2^1563638-1 is not prime. Res64: B7984D4DFD0C0601 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:08:17] 665*2^1563638-1 is not prime. Res64: 91D0C464E9331186 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:08:17] 683*2^1563638-1 is not prime. Res64: 7611445EA06D63C9 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:08:18] 713*2^1563638-1 is not prime. Res64: 315FFB448E55609B Time : 0.0 sec. user=mdettweiler [2020-07-22 14:08:19] 773*2^1563638-1 is not prime. Res64: 96F9693F561571C5 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:14:31] 825*2^1563638-1 is not prime. Res64: 66D42E4A68DCE801 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:14:32] 843*2^1563638-1 is not prime. Res64: D6DD9CC2DB15CFAF Time : 0.0 sec. user=mdettweiler [2020-07-22 14:14:32] 857*2^1563638-1 is not prime. Res64: 104369933E74FD88 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:14:33] 911*2^1563638-1 is not prime. Res64: 5CDB96BE6F1A5938 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:14:33] 709*2^1563639-1 is not prime. Res64: 2BF4C2F475103300 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:42:22] 795*2^1563639-1 is not prime. Res64: 7F2BD13403CA9AD1 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:42:22] 885*2^1563639-1 is not prime. Res64: 7D1422C0FA273427 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:42:23] 895*2^1563639-1 is not prime. Res64: 434501CEDB305163 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:42:23] 949*2^1563639-1 is not prime. Res64: FBA713A7A45BF9E7 Time : 0.0 sec. user=mdettweiler [2020-07-22 14:42:24] 961*2^1563639-1 is not prime. Res64: 03CF40794036D7BE Time : 0.0 sec. user=mdettweiler [2020-07-22 15:04:21] 985*2^1563639-1 is not prime. Res64: 3A763EAFA17BECE3 Time : 0.0 sec. user=mdettweiler [2020-07-22 15:04:22] 609*2^1563640-1 is not prime. Res64: 1F4C8C4EB8386BFE Time : 0.0 sec. user=mdettweiler [2020-07-22 15:04:23] 677*2^1563640-1 is not prime. Res64: 0ACD4594765A0159 Time : 0.0 sec. user=mdettweiler [2020-07-22 15:04:25] 797*2^1563640-1 is not prime. Res64: 93587A380B2CFCE5 Time : 0.0 sec. user=mdettweiler [2020-07-22 15:04:26] 827*2^1563640-1 is not prime. Res64: 1A2EA0580495435A Time : 0.0 sec. user=mdettweiler [2020-07-22 15:11:37] 845*2^1563640-1 is not prime. Res64: 5486D7D1597470B4 Time : 0.0 sec. user=mdettweiler [2020-07-22 15:11:37] 875*2^1563640-1 is not prime. Res64: 8EBB15196128F336 Time : 0.0 sec. user=mdettweiler [2020-07-22 15:11:38] 927*2^1563640-1 is not prime. Res64: 96E4A93802A2EB36 Time : 0.0 sec. user=mdettweiler [2020-07-22 15:11:38] 957*2^1563640-1 is not prime. Res64: 6542567DB1A440B2 Time : 0.0 sec. user=mdettweiler [2020-07-22 15:11:39] 645*2^1563641-1 is not prime. Res64: F0066AA6B62374FD Time : 0.0 sec. user=mdettweiler [2020-07-22 15:35:57] 727*2^1563641-1 is not prime. Res64: 9CB744267AE64F7E Time : 0.0 sec. user=mdettweiler [2020-07-22 15:35:57] 741*2^1563641-1 is not prime. Res64: B50C8451939BA9B2 Time : 0.0 sec. user=mdettweiler [2020-07-22 15:35:58] 967*2^1563641-1 is not prime. Res64: FEC9FD9131F8A351 Time : 0.0 sec. user=mdettweiler [2020-07-22 15:35:58] 633*2^1563642-1 is not prime. Res64: D52DC12E27EDDC5B Time : 0.0 sec. user=mdettweiler [2020-07-22 15:35:59] 765*2^1563642-1 is not prime. Res64: DF33183E6A5CD81D Time : 0.0 sec. user=mdettweiler [2020-07-22 16:00:05] 803*2^1563642-1 is not prime. Res64: 5FB2A7512C568E68 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:00:06] 843*2^1563642-1 is not prime. Res64: B94B29FC2C763D5F Time : 0.0 sec. user=mdettweiler [2020-07-22 16:00:06] 983*2^1563642-1 is not prime. Res64: 928AE35E7C318C92 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:00:07] 609*2^1563643-1 is not prime. Res64: 28DB01C34E0FC1C7 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:00:07] 663*2^1563643-1 is not prime. Res64: E686D1D9DBB3CE00 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:10:00] 849*2^1563643-1 is not prime. Res64: 0D3765B904D7A099 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:10:01] 855*2^1563643-1 is not prime. Res64: 05920FBD8E819D1D Time : 0.0 sec. user=mdettweiler [2020-07-22 16:10:01] 939*2^1563643-1 is not prime. Res64: 653A663267C88E8A Time : 0.0 sec. user=mdettweiler [2020-07-22 16:10:02] 973*2^1563643-1 is not prime. Res64: CE09D6CB394D7BE2 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:10:02] 843*2^1563644-1 is not prime. Res64: 351F75F5A75CEDE4 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:31:00] 857*2^1563644-1 is not prime. Res64: 073680A93FE68665 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:31:01] 995*2^1563644-1 is not prime. Res64: D21E439B55742578 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:31:01] 627*2^1563645-1 is not prime. Res64: 621447219E6C425E Time : 0.0 sec. user=mdettweiler [2020-07-22 16:31:02] 717*2^1563645-1 is not prime. Res64: 704E54442CE1D1B7 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:31:02] 765*2^1563645-1 is not prime. Res64: 57D0CFB8D6820554 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:56:47] 795*2^1563645-1 is not prime. Res64: 0FBCD2422B1BFFD1 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:56:48] 825*2^1563645-1 is not prime. Res64: 594E3E7CA3362075 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:56:48] 861*2^1563645-1 is not prime. Res64: AC0BCE7429A7F72C Time : 0.0 sec. user=mdettweiler [2020-07-22 16:56:49] 969*2^1563645-1 is not prime. Res64: C3E2830237DD38D6 Time : 0.0 sec. user=mdettweiler [2020-07-22 16:56:49] 705*2^1563646-1 is not prime. Res64: 0B2F01BA40145065 Time : 0.0 sec. user=mdettweiler [2020-07-22 17:07:50] 713*2^1563646-1 is not prime. Res64: A70541DBBAD81A89 Time : 0.0 sec. user=mdettweiler [2020-07-22 17:07:52] 815*2^1563646-1 is not prime. Res64: 88330288156ADFAF Time : 0.0 sec. user=mdettweiler [2020-07-22 17:07:53] 891*2^1563646-1 is not prime. Res64: 571939B8FA73499C Time : 0.0 sec. user=mdettweiler [2020-07-22 17:07:54] 923*2^1563646-1 is not prime. Res64: 87F21370E74B6DE7 Time : 0.0 sec. user=mdettweiler [2020-07-22 17:07:56] 945*2^1563646-1 is not prime. Res64: 0D36C2278C113CAD Time : 0.0 sec. user=mdettweiler [2020-07-22 17:28:03] 993*2^1563646-1 is not prime. Res64: DAE6600FC91D0383 Time : 0.0 sec. user=mdettweiler [2020-07-22 17:28:03] 1001*2^1563646-1 is not prime. Res64: CDF829BD8CA3DC89 Time : 0.0 sec. user=mdettweiler [2020-07-22 17:28:04] 741*2^1563647-1 is not prime. Res64: EBBCA14567C23D85 Time : 0.0 sec. user=mdettweiler [2020-07-22 17:28:04] 759*2^1563647-1 is not prime. Res64: DFBB2655757A1C9A Time : 0.0 sec. user=mdettweiler [2020-07-22 17:28:04] 861*2^1563647-1 is not prime. Res64: 0359CB0CE8348DF0 Time : 0.0 sec. user=mdettweiler [2020-07-22 17:54:57] 885*2^1563647-1 is not prime. Res64: BDFDE254FBF0B482 Time : 0.0 sec. user=mdettweiler [2020-07-22 17:54:57] 909*2^1563647-1 is not prime. Res64: E43FDA0CCC9E4614 Time : 0.0 sec. user=mdettweiler [2020-07-22 17:54:57] 945*2^1563647-1 is not prime. Res64: B1252C9C24438B0C Time : 0.0 sec. user=mdettweiler [2020-07-22 17:54:58] 999*2^1563647-1 is not prime. Res64: AC054B68300750A6 Time : 0.0 sec. user=mdettweiler [2020-07-22 17:54:58] 725*2^1563648-1 is not prime. Res64: E3BEB8B6D02EFEF1 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:05:08] 753*2^1563648-1 is not prime. Res64: 90D9B20441C698D4 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:05:10] 767*2^1563648-1 is not prime. Res64: 8C08B963DDB86DD1 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:05:11] 845*2^1563648-1 is not prime. Res64: D16DFFDB52CAEFB7 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:05:11] 933*2^1563648-1 is not prime. Res64: 9E9D146A59FC7EED Time : 0.0 sec. user=mdettweiler [2020-07-22 18:05:12] 959*2^1563648-1 is not prime. Res64: 262CCEC06F18B62E Time : 0.0 sec. user=mdettweiler [2020-07-22 18:24:19] 969*2^1563648-1 is not prime. Res64: 780DD496800AB535 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:24:19] 975*2^1563648-1 is not prime. Res64: 9C8AF45A43FE2AAC Time : 0.0 sec. user=mdettweiler [2020-07-22 18:24:20] 759*2^1563649-1 is not prime. Res64: 7E9ADFADEDCB1BB3 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:24:20] 771*2^1563649-1 is not prime. Res64: A05697C49D7E9049 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:24:21] 831*2^1563649-1 is not prime. Res64: 3170CF9C353D4AE6 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:49:15] 955*2^1563649-1 is not prime. Res64: 7D19C6F473F3D083 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:49:15] 967*2^1563649-1 is not prime. Res64: 2084E38EB54DCBB6 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:49:16] 641*2^1563650-1 is not prime. Res64: 3FCAA7D7EAE92AF8 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:49:16] 657*2^1563650-1 is not prime. Res64: 36200907634C7729 Time : 0.0 sec. user=mdettweiler [2020-07-22 18:49:17] 747*2^1563650-1 is not prime. Res64: B86DDCC468998AA2 Time : 0.0 sec. user=mdettweiler [2020-07-22 19:01:11] 945*2^1563650-1 is not prime. Res64: 4D5C9995A9699E99 Time : 0.0 sec. user=mdettweiler [2020-07-22 19:01:13] 691*2^1563651-1 is not prime. Res64: 7E299F5044D804F9 Time : 0.0 sec. user=mdettweiler [2020-07-22 19:01:14] 795*2^1563651-1 is not prime. Res64: BC3166BCFAF5C2DC Time : 0.0 sec. user=mdettweiler [2020-07-22 19:01:16] 823*2^1563651-1 is not prime. Res64: 4281DE1B5C87AB9D Time : 0.0 sec. user=mdettweiler [2020-07-22 19:01:17] 969*2^1563651-1 is not prime. Res64: 7C5F19958DE229D0 Time : 0.0 sec. user=mdettweiler [2020-07-22 19:18:58] 975*2^1563651-1 is not prime. Res64: 08B5F44F8491B257 Time : 0.0 sec. user=mdettweiler [2020-07-22 19:18:58] 991*2^1563651-1 is not prime. Res64: 6C8B2FEC69164722 Time : 0.0 sec. user=mdettweiler [2020-07-22 19:18:59] 609*2^1563652-1 is not prime. Res64: 747C20F643E7976F Time : 0.0 sec. user=mdettweiler [2020-07-22 19:18:59] 705*2^1563652-1 is not prime. Res64: 38D1EE0376D156B8 Time : 0.0 sec. user=mdettweiler [2020-07-22 19:19:00] 785*2^1563652-1 is not prime. Res64: 7816FE8CE9473C1B Time : 0.0 sec. user=mdettweiler [2020-07-22 19:44:15] 819*2^1563652-1 is not prime. Res64: 19C878ED8CF6948C Time : 0.0 sec. user=mdettweiler [2020-07-22 19:44:15] 873*2^1563652-1 is not prime. Res64: 29E65FC533C46668 Time : 0.0 sec. user=mdettweiler [2020-07-22 19:44:16] 697*2^1563653-1 is not prime. Res64: 235CE13D8D8518ED Time : 0.0 sec. user=mdettweiler [2020-07-22 19:44:16] 727*2^1563653-1 is not prime. Res64: D4B17D32A550322D Time : 0.0 sec. user=mdettweiler [2020-07-22 19:44:17] 775*2^1563653-1 is not prime. Res64: 8EE7A75DDA1F4DCA Time : 0.0 sec. user=mdettweiler [2020-07-22 19:56:24] 939*2^1563653-1 is not prime. Res64: 65081E437F4FA9A5 Time : 0.0 sec. user=mdettweiler [2020-07-22 19:56:25] 957*2^1563653-1 is not prime. Res64: 9E47992FFB93986C Time : 0.0 sec. user=mdettweiler [2020-07-22 19:56:25] 725*2^1563654-1 is not prime. Res64: A00CE48FBC1E073F Time : 0.0 sec. user=mdettweiler [2020-07-22 19:56:26] 741*2^1563654-1 is not prime. Res64: 9C0C4CCAF2AE83EA Time : 0.0 sec. user=mdettweiler [2020-07-22 19:56:26] 765*2^1563654-1 is not prime. Res64: 6BABDAF979099355 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:16:08] 783*2^1563654-1 is not prime. Res64: 30744CA32E895D73 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:16:08] 815*2^1563654-1 is not prime. Res64: B3145A9033204180 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:16:09] 851*2^1563654-1 is not prime. Res64: F4E9036760D996F5 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:16:09] 921*2^1563654-1 is not prime. Res64: 3DCE582C9752EC7B Time : 0.0 sec. user=mdettweiler [2020-07-22 20:16:10] 947*2^1563654-1 is not prime. Res64: 34FB6BD140D159D7 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:36:49] 603*2^1563655-1 is not prime. Res64: 871015C81E2E6BC6 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:36:50] 693*2^1563655-1 is not prime. Res64: B166A70D11D3B686 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:36:50] 709*2^1563655-1 is not prime. Res64: F952C660F8F5E46B Time : 0.0 sec. user=mdettweiler [2020-07-22 20:36:51] 741*2^1563655-1 is not prime. Res64: D2CF8653B6257A85 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:36:51] 759*2^1563655-1 is not prime. Res64: B46E9643A1E3132B Time : 0.0 sec. user=mdettweiler [2020-07-22 20:53:13] 859*2^1563655-1 is not prime. Res64: 3CAFB58DEC497ABB Time : 0.0 sec. user=mdettweiler [2020-07-22 20:53:14] 919*2^1563655-1 is not prime. Res64: 309922B1AFDB76C5 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:53:14] 979*2^1563655-1 is not prime. Res64: 07E41F31C45D0798 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:53:15] 999*2^1563655-1 is not prime. Res64: 2F90A90FC2010EA4 Time : 0.0 sec. user=mdettweiler [2020-07-22 20:53:15] 633*2^1563656-1 is not prime. Res64: A88F6951E56995B1 Time : 0.0 sec. user=mdettweiler [2020-07-22 21:12:15] 777*2^1563656-1 is not prime. Res64: D7953E0A9EEBAA54 Time : 0.0 sec. user=mdettweiler [2020-07-22 21:12:16] 785*2^1563656-1 is not prime. Res64: 235C5EE15C90DF5A Time : 0.0 sec. user=mdettweiler [2020-07-22 21:12:16] 827*2^1563656-1 is not prime. Res64: B9DFBBE414177D9A Time : 0.0 sec. user=mdettweiler [2020-07-22 21:12:17] 869*2^1563656-1 is not prime. Res64: 9C4C44F04F80C8DD Time : 0.0 sec. user=mdettweiler [2020-07-22 21:12:17] 873*2^1563656-1 is not prime. Res64: CBF1F32673E30413 Time : 0.0 sec. user=mdettweiler [2020-07-22 21:32:35] 661*2^1563657-1 is not prime. Res64: E46A77103F6D445B Time : 0.0 sec. user=mdettweiler [2020-07-22 21:32:35] 769*2^1563657-1 is not prime. Res64: AEC91CAD3565FB1F Time : 0.0 sec. user=mdettweiler [2020-07-22 21:32:36] 819*2^1563657-1 is not prime. Res64: 9F1879803B76A20B Time : 0.0 sec. user=mdettweiler [2020-07-22 21:32:36] 829*2^1563657-1 is not prime. Res64: 78E2BC5A934CD030 Time : 0.0 sec. user=mdettweiler [2020-07-22 21:32:36] 945*2^1563657-1 is not prime. Res64: 50023BD0D672D113 Time : 0.0 sec. user=mdettweiler [2020-07-22 21:47:54] 657*2^1563658-1 is not prime. Res64: FC85B7331EBD5803 Time : 0.0 sec. user=mdettweiler [2020-07-22 21:47:54] 677*2^1563658-1 is not prime. Res64: 043A98F62C64FB1E Time : 0.0 sec. user=mdettweiler [2020-07-22 21:47:55] 681*2^1563658-1 is not prime. Res64: 07F2087E7F637794 Time : 0.0 sec. user=mdettweiler [2020-07-22 21:47:55] 801*2^1563658-1 is not prime. Res64: 1C4E79F8A6371656 Time : 0.0 sec. user=mdettweiler [2020-07-22 21:47:56] 803*2^1563658-1 is not prime. Res64: 81232327884D0C25 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:07:05] 825*2^1563658-1 is not prime. Res64: D815D1DD50610320 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:07:07] 885*2^1563658-1 is not prime. Res64: E3B16874C6714CC4 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:07:09] 663*2^1563659-1 is not prime. Res64: BD1C6A230E64DDC5 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:07:10] 693*2^1563659-1 is not prime. Res64: B27EC9BE474D77FF Time : 0.0 sec. user=mdettweiler [2020-07-22 22:07:12] 759*2^1563659-1 is not prime. Res64: 07924106B19D4A53 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:29:38] 801*2^1563659-1 is not prime. Res64: 9EA25C670B8635B3 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:29:38] 825*2^1563659-1 is not prime. Res64: C48176763433E683 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:29:39] 931*2^1563659-1 is not prime. Res64: 255DEB15C8E0C822 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:29:39] 939*2^1563659-1 is not prime. Res64: 2206E0EAAE1BCED3 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:29:40] 693*2^1563660-1 is not prime. Res64: D1D6C37818F004E8 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:41:32] 759*2^1563660-1 is not prime. Res64: CAC27C4BA0B738B5 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:41:33] 779*2^1563660-1 is not prime. Res64: 018F89A910EE0AEE Time : 0.0 sec. user=mdettweiler [2020-07-22 22:41:33] 789*2^1563660-1 is not prime. Res64: D8BEFDE7B40EEF16 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:41:34] 809*2^1563660-1 is not prime. Res64: 8285E9DD12A45A87 Time : 0.0 sec. user=mdettweiler [2020-07-22 22:41:34] 601*2^1563661-1 is not prime. Res64: 7CD8B287DBAB0FD2 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:02:08] 609*2^1563661-1 is not prime. Res64: B4DC50B8DE63A1E6 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:02:10] 757*2^1563661-1 is not prime. Res64: A43BA5B901B4C5F2 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:02:11] 771*2^1563661-1 is not prime. Res64: 18FF99BB9D219B24 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:02:12] 811*2^1563661-1 is not prime. Res64: C567936E394329F9 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:02:13] 855*2^1563661-1 is not prime. Res64: 61A691A7ABC3EA60 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:23:31] 987*2^1563661-1 is not prime. Res64: D6BDE9474EE1515B Time : 0.0 sec. user=mdettweiler [2020-07-22 23:23:32] 693*2^1563662-1 is not prime. Res64: 3241265122BB4B90 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:23:33] 711*2^1563662-1 is not prime. Res64: CF5F9FEAFAB31CA7 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:23:33] 753*2^1563662-1 is not prime. Res64: EF7644C440FBAF28 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:23:34] 761*2^1563662-1 is not prime. Res64: 04497F51538D47C6 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:35:35] 873*2^1563662-1 is not prime. Res64: B20691987CEEEA89 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:35:36] 983*2^1563662-1 is not prime. Res64: E9624DB6F884F0AE Time : 0.0 sec. user=mdettweiler [2020-07-22 23:35:36] 609*2^1563663-1 is not prime. Res64: 72336AC60B1030A4 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:35:37] 615*2^1563663-1 is not prime. Res64: C15047C8E0C217B0 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:35:37] 663*2^1563663-1 is not prime. Res64: 45C8D0DB1972B829 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:55:11] 675*2^1563663-1 is not prime. Res64: 5FBCF4915B6FBFB0 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:55:12] 691*2^1563663-1 is not prime. Res64: C37A301013295266 Time : 0.0 sec. user=mdettweiler [2020-07-22 23:55:12] 705*2^1563663-1 is not prime. Res64: 62415D2FB78BAFBD Time : 0.0 sec. user=mdettweiler [2020-07-22 23:55:13] 709*2^1563663-1 is not prime. Res64: 9474D6233ACA007A Time : 0.0 sec. user=mdettweiler [2020-07-22 23:55:13] 745*2^1563663-1 is not prime. Res64: A2763DAA7C32D559 Time : 0.0 sec.