user=mdettweiler [2020-01-17 00:01:26] 801*2^1552731-1 is not prime. Res64: E8D217262157E852 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:01:26] 819*2^1552731-1 is not prime. Res64: C1CD5598A6FFCF4A Time : 0.0 sec. user=mdettweiler [2020-01-17 00:01:27] 835*2^1552731-1 is not prime. Res64: DA84B2257C75F400 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:01:27] 921*2^1552731-1 is not prime. Res64: 6054D0ECEC801089 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:01:27] 945*2^1552731-1 is not prime. Res64: F4D3FCB90DB56DAB Time : 0.0 sec. user=mdettweiler [2020-01-17 00:01:50] 961*2^1552731-1 is not prime. Res64: 875183326B373CF5 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:01:50] 605*2^1552732-1 is not prime. Res64: F4FD0926A7DD1E70 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:01:50] 617*2^1552732-1 is not prime. Res64: 602B3BCE3FCF7219 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:01:51] 827*2^1552732-1 is not prime. Res64: 7A449EF9527685C1 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:01:51] 873*2^1552732-1 is not prime. Res64: D1E4D2983EB0C4AA Time : 0.0 sec. user=mdettweiler [2020-01-17 00:36:10] 899*2^1552732-1 is not prime. Res64: 30B6427991E72CBB Time : 0.0 sec. user=mdettweiler [2020-01-17 00:36:11] 929*2^1552732-1 is not prime. Res64: 605E927C2DA649CD Time : 0.0 sec. user=mdettweiler [2020-01-17 00:36:11] 959*2^1552732-1 is not prime. Res64: D65F43D78C377389 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:36:11] 983*2^1552732-1 is not prime. Res64: 86C1821EBFA3221E Time : 0.0 sec. user=mdettweiler [2020-01-17 00:36:12] 729*2^1552733-1 is not prime. Res64: D4C975CAE4C15477 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:53:21] 771*2^1552733-1 is not prime. Res64: 449C941765D457C5 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:53:22] 831*2^1552733-1 is not prime. Res64: 598B3884F62CFAE9 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:53:22] 847*2^1552733-1 is not prime. Res64: 6ECFCAC3E78C7E06 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:53:22] 901*2^1552733-1 is not prime. Res64: 48C7BAC371ED0983 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:53:22] 635*2^1552734-1 is not prime. Res64: 76A93C792EC9566B Time : 0.0 sec. user=mdettweiler [2020-01-17 00:53:40] 671*2^1552734-1 is not prime. Res64: 647B66F3D5C62390 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:53:40] 767*2^1552734-1 is not prime. Res64: 67F90735721BD172 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:53:40] 851*2^1552734-1 is not prime. Res64: DBA9B75DEE427622 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:53:40] 873*2^1552734-1 is not prime. Res64: C48BF3EA1B8A1A31 Time : 0.0 sec. user=mdettweiler [2020-01-17 00:53:41] 885*2^1552734-1 is not prime. Res64: E790280CD32415E7 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:27:47] 917*2^1552734-1 is not prime. Res64: 1FD24198A3A30F63 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:27:49] 609*2^1552735-1 is not prime. Res64: 43826466A3002356 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:27:50] 633*2^1552735-1 is not prime. Res64: EC1273987C1575B2 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:27:50] 735*2^1552735-1 is not prime. Res64: B190727EC7739EB2 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:27:51] 855*2^1552735-1 is not prime. Res64: 83ADA84A0971A245 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:45:16] 765*2^1552737-1 is not prime. Res64: A5F17593A56E305A Time : 0.0 sec. user=mdettweiler [2020-01-17 01:45:18] 835*2^1552737-1 is not prime. Res64: 32F78B5F69DAD101 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:45:19] 889*2^1552737-1 is not prime. Res64: 17084E1DF8EF6A09 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:45:20] 665*2^1552738-1 is not prime. Res64: 407C8264EE5E87D9 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:45:20] 681*2^1552738-1 is not prime. Res64: 749A0016076B0E77 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:47:35] 895*2^1552735-1 is not prime. Res64: 7DC98FCD7C62CE53 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:47:36] 925*2^1552735-1 is not prime. Res64: 617E9F55119B8B53 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:47:37] 815*2^1552736-1 is not prime. Res64: 5F11A7546A27EBA6 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:47:38] 963*2^1552736-1 is not prime. Res64: 51C11D99D1B01DD0 Time : 0.0 sec. user=mdettweiler [2020-01-17 01:47:38] 699*2^1552737-1 is not prime. Res64: 0F3B8DC6BB043D40 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:22:20] 1001*2^1552738-1 is not prime. Res64: D602CA4DBEB86679 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:22:24] 705*2^1552739-1 is not prime. Res64: 5221587B7EBB74A0 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:22:27] 841*2^1552739-1 is not prime. Res64: 973A5B8CEF5E8B9C Time : 0.0 sec. user=mdettweiler [2020-01-17 02:22:38] 853*2^1552739-1 is not prime. Res64: 19CE8CA08FFA5BE2 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:22:39] 939*2^1552739-1 is not prime. Res64: D57B403354C33169 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:25:36] 761*2^1552742-1 is not prime. Res64: 775C663DB5BA9D58 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:38:38] 669*2^1552740-1 is not prime. Res64: 2619475E4542EC2C Time : 0.0 sec. user=mdettweiler [2020-01-17 02:38:38] 945*2^1552740-1 is not prime. Res64: 27006CEDB036C6EA Time : 0.0 sec. user=mdettweiler [2020-01-17 02:38:38] 639*2^1552741-1 is not prime. Res64: 6CC389F56DFC7626 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:38:39] 771*2^1552741-1 is not prime. Res64: 8C26484C92DABA26 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:38:39] 825*2^1552741-1 is not prime. Res64: 41CA0C5E01F2DA6C Time : 0.0 sec. user=mdettweiler [2020-01-17 02:40:06] 987*2^1552741-1 is not prime. Res64: 50C08474C0A9C371 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:40:07] 623*2^1552742-1 is not prime. Res64: F1BAC7989A6F8B08 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:40:07] 675*2^1552742-1 is not prime. Res64: 234E9D2F8955FE32 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:40:07] 693*2^1552742-1 is not prime. Res64: F90064664B612D25 Time : 0.0 sec. user=mdettweiler [2020-01-17 02:40:08] 705*2^1552742-1 is not prime. Res64: BA58C0BC50755910 Time : 0.0 sec. user=mdettweiler [2020-01-17 03:16:12] 825*2^1552742-1 is not prime. Res64: CFCCDB97D122630A Time : 0.0 sec. user=mdettweiler [2020-01-17 03:16:13] 963*2^1552742-1 is not prime. Res64: D6FA07821C0DB052 Time : 0.0 sec. user=mdettweiler [2020-01-17 03:16:13] 613*2^1552743-1 is not prime. Res64: 4FE085C94E709FD3 Time : 0.0 sec. user=mdettweiler [2020-01-17 03:16:13] 849*2^1552743-1 is not prime. Res64: B89836001BA83EBC Time : 0.0 sec. user=mdettweiler [2020-01-17 03:16:14] 879*2^1552743-1 is not prime. Res64: D7BBE3FB6A8E75F4 Time : 0.0 sec. user=mdettweiler [2020-01-17 03:31:07] 627*2^1552745-1 is not prime. Res64: 072FA8C32DF9DDB8 Time : 0.0 sec. user=mdettweiler [2020-01-17 03:31:08] 669*2^1552745-1 is not prime. Res64: E93CB4334AA56C0D Time : 0.0 sec. user=mdettweiler [2020-01-17 03:31:09] 685*2^1552745-1 is not prime. Res64: 2AA69A987EBFDD24 Time : 0.0 sec. user=mdettweiler [2020-01-17 03:31:09] 699*2^1552745-1 is not prime. Res64: D501EC4C70E0C481 Time : 0.0 sec. user=mdettweiler [2020-01-17 03:31:10] 771*2^1552745-1 is not prime. Res64: C200E4910061CB08 Time : 0.0 sec. user=mdettweiler [2020-01-17 03:31:38] 963*2^1552743-1 is not prime. Res64: 39C0C54F7C212029 Time : 0.0 sec. user=mdettweiler [2020-01-17 03:31:39] 605*2^1552744-1 is not prime. Res64: F2A7D363114DB75A Time : 0.0 sec. user=mdettweiler [2020-01-17 03:31:40] 869*2^1552744-1 is not prime. Res64: F129308920365FF6 Time : 0.0 sec. user=mdettweiler [2020-01-17 03:31:40] 887*2^1552744-1 is not prime. Res64: 885B324069FAD29C Time : 0.0 sec. user=mdettweiler [2020-01-17 03:31:41] 601*2^1552745-1 is not prime. Res64: 15F83878CC65B8CD Time : 0.0 sec. user=mdettweiler [2020-01-17 04:08:10] 795*2^1552745-1 is not prime. Res64: 277C2724032E34D0 Time : 0.0 sec. user=mdettweiler [2020-01-17 04:08:14] 897*2^1552745-1 is not prime. Res64: 9D06308C4BC9E8BE Time : 0.0 sec. user=mdettweiler [2020-01-17 04:08:18] 705*2^1552746-1 is not prime. Res64: 61FBAC0857EA1078 Time : 0.0 sec. user=mdettweiler [2020-01-17 04:08:22] 725*2^1552746-1 is not prime. Res64: 1E8E37DC418CAD2A Time : 0.0 sec. user=mdettweiler [2020-01-17 04:08:24] 917*2^1552746-1 is not prime. Res64: 1943AF6B6EA5DA02 Time : 0.0 sec. user=mdettweiler [2020-01-17 04:24:53] 895*2^1552747-1 is not prime. Res64: 55AFA59CDAD1A764 Time : 0.0 sec. user=mdettweiler [2020-01-17 04:24:54] 939*2^1552747-1 is not prime. Res64: 9550920A45159225 Time : 0.0 sec. user=mdettweiler [2020-01-17 04:24:56] 633*2^1552748-1 is not prime. Res64: 164317FC388FCE4E Time : 0.0 sec. user=mdettweiler [2020-01-17 04:24:57] 789*2^1552748-1 is not prime. Res64: F7A004BF53FFFFAB Time : 0.0 sec. user=mdettweiler [2020-01-17 04:24:58] 879*2^1552748-1 is not prime. Res64: D8CDC42C9021BBF5 Time : 0.0 sec. user=mdettweiler [2020-01-17 04:25:22] 923*2^1552746-1 is not prime. Res64: 9D17BEAD9AA81075 Time : 0.0 sec. user=mdettweiler [2020-01-17 04:25:24] 993*2^1552746-1 is not prime. Res64: 8C53F5A7B033309A Time : 0.0 sec. user=mdettweiler [2020-01-17 04:25:26] 685*2^1552747-1 is not prime. Res64: EC8EDBDE6AD7E70C Time : 0.0 sec. user=mdettweiler [2020-01-17 04:25:28] 703*2^1552747-1 is not prime. Res64: 7F5963CAEC838AA4 Time : 0.0 sec. user=mdettweiler [2020-01-17 04:25:29] 793*2^1552747-1 is not prime. Res64: 61A57859AC4B83B0 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:01:30] 885*2^1552748-1 is not prime. Res64: 2BF08375D302DCEE Time : 0.0 sec. user=mdettweiler [2020-01-17 05:01:31] 621*2^1552749-1 is not prime. Res64: 8DF7A4888160F08A Time : 0.0 sec. user=mdettweiler [2020-01-17 05:01:32] 661*2^1552749-1 is not prime. Res64: 5B1017AFD8F2C1B4 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:01:33] 735*2^1552749-1 is not prime. Res64: 491ED2D96FE30364 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:01:34] 835*2^1552749-1 is not prime. Res64: D9818AB3BB3E9E81 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:18:47] 645*2^1552750-1 is not prime. Res64: FB15455ECDF33000 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:18:47] 857*2^1552750-1 is not prime. Res64: 7A3A44600FB22978 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:18:48] 867*2^1552750-1 is not prime. Res64: DB241764DDC2BB69 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:18:48] 911*2^1552750-1 is not prime. Res64: 725229CB1A26C198 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:18:48] 933*2^1552750-1 is not prime. Res64: 6716995B123F0BBE Time : 0.0 sec. user=mdettweiler [2020-01-17 05:22:08] 945*2^1552750-1 is not prime. Res64: 4FA4692E28CD44FF Time : 0.0 sec. user=mdettweiler [2020-01-17 05:22:08] 951*2^1552750-1 is not prime. Res64: C3D22E022C5A2C7A Time : 0.0 sec. user=mdettweiler [2020-01-17 05:22:08] 965*2^1552750-1 is not prime. Res64: 0DA0312474F55BD9 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:22:09] 981*2^1552750-1 is not prime. Res64: 1FFB5C70BF71CE60 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:22:09] 603*2^1552751-1 is not prime. Res64: CE625DB009D85653 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:53:23] 669*2^1552751-1 is not prime. Res64: B41E43AFBC36EE6B Time : 0.0 sec. user=mdettweiler [2020-01-17 05:53:23] 841*2^1552751-1 is not prime. Res64: 690B2E3F3BA7FB18 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:53:23] 633*2^1552752-1 is not prime. Res64: 236FBBE7AFA543C0 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:53:24] 737*2^1552752-1 is not prime. Res64: C4A960572A2025D2 Time : 0.0 sec. user=mdettweiler [2020-01-17 05:53:24] 863*2^1552752-1 is not prime. Res64: 8CDC6EB501FA7C33 Time : 0.0 sec. user=mdettweiler [2020-01-17 06:15:15] 933*2^1552752-1 is not prime. Res64: A9B48FC2D281A751 Time : 0.0 sec. user=mdettweiler [2020-01-17 06:15:15] 947*2^1552752-1 is not prime. Res64: 45AB31737DA6A6D9 Time : 0.0 sec. user=mdettweiler [2020-01-17 06:15:15] 957*2^1552752-1 is not prime. Res64: 5159C9DB613B5A14 Time : 0.0 sec. user=mdettweiler [2020-01-17 06:15:16] 975*2^1552752-1 is not prime. Res64: 0A5D4F598A20461B Time : 0.0 sec. user=mdettweiler [2020-01-17 06:15:16] 687*2^1552753-1 is not prime. Res64: B7892E3F5EB34E32 Time : 0.0 sec. user=mdettweiler [2020-01-17 06:16:05] 769*2^1552753-1 is not prime. Res64: 1E75B148E65EE54D Time : 0.0 sec. user=mdettweiler [2020-01-17 06:16:05] 895*2^1552753-1 is not prime. Res64: 69B5C7ECE2051ABA Time : 0.0 sec. user=mdettweiler [2020-01-17 06:16:06] 951*2^1552753-1 is not prime. Res64: 46A10A61871716BC Time : 0.0 sec. user=mdettweiler [2020-01-17 06:16:06] 985*2^1552753-1 is not prime. Res64: 1D80A28DD32AAC32 Time : 0.0 sec. user=mdettweiler [2020-01-17 06:16:06] 645*2^1552754-1 is not prime. Res64: A3304C59C1FACFFF Time : 0.0 sec. user=mdettweiler [2020-01-17 06:47:42] 873*2^1552754-1 is not prime. Res64: C9628E67EF7D3C7D Time : 0.0 sec. user=mdettweiler [2020-01-17 06:47:42] 875*2^1552754-1 is not prime. Res64: 136E42DCC1FAA856 Time : 0.0 sec. user=mdettweiler [2020-01-17 06:47:43] 951*2^1552754-1 is not prime. Res64: 00BB5522A08F1F33 Time : 0.0 sec. user=mdettweiler [2020-01-17 06:47:43] 987*2^1552754-1 is not prime. Res64: B18110A11B074EB0 Time : 0.0 sec. user=mdettweiler [2020-01-17 06:47:43] 625*2^1552755-1 is not prime. Res64: B9520EB9CB102CB3 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:06:37] 651*2^1552755-1 is not prime. Res64: 9AF29EDF6AF68D50 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:06:38] 663*2^1552755-1 is not prime. Res64: 1B6D2456501671F2 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:06:39] 685*2^1552755-1 is not prime. Res64: 84821D6E929D7632 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:06:40] 765*2^1552755-1 is not prime. Res64: 9BED9F50F4FDCCC3 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:06:40] 871*2^1552755-1 is not prime. Res64: 71D73F0F0B8CDE2E Time : 0.0 sec. user=mdettweiler [2020-01-17 07:09:16] 891*2^1552755-1 is not prime. Res64: DF48DFA64F713A39 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:09:16] 895*2^1552755-1 is not prime. Res64: C6FF75E72F59EEAE Time : 0.0 sec. user=mdettweiler [2020-01-17 07:09:16] 909*2^1552755-1 is not prime. Res64: 0032525722A1F517 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:09:17] 991*2^1552755-1 is not prime. Res64: 5532653687E93648 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:09:17] 647*2^1552756-1 is not prime. Res64: EA7350FEAD8FBF71 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:38:59] 723*2^1552756-1 is not prime. Res64: 7BE4A7AF0F7B66A9 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:38:59] 825*2^1552756-1 is not prime. Res64: 1583AA5CE97086DB Time : 0.0 sec. user=mdettweiler [2020-01-17 07:38:59] 601*2^1552757-1 is not prime. Res64: 16867FA045140B91 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:39:00] 655*2^1552757-1 is not prime. Res64: 871295DAAE96BBED Time : 0.0 sec. user=mdettweiler [2020-01-17 07:39:00] 711*2^1552757-1 is not prime. Res64: D4975B43E09975D9 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:59:17] 831*2^1552757-1 is not prime. Res64: FD266B61B73AA58A Time : 0.0 sec. user=mdettweiler [2020-01-17 07:59:17] 861*2^1552757-1 is not prime. Res64: B41D1706C55024C6 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:59:18] 865*2^1552757-1 is not prime. Res64: F3464618715ADFD2 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:59:18] 885*2^1552757-1 is not prime. Res64: BBC2F6C52245B300 Time : 0.0 sec. user=mdettweiler [2020-01-17 07:59:18] 901*2^1552757-1 is not prime. Res64: A5B83D632B1C7354 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:04:18] 925*2^1552757-1 is not prime. Res64: 11DC4496C398D70D Time : 0.0 sec. user=mdettweiler [2020-01-17 08:04:19] 937*2^1552757-1 is not prime. Res64: C150A9CB93E0FA69 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:04:19] 939*2^1552757-1 is not prime. Res64: 196C73794610F660 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:04:20] 621*2^1552758-1 is not prime. Res64: FC1756D643C45405 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:04:21] 713*2^1552758-1 is not prime. Res64: 956FA43B16035B8D Time : 0.0 sec. user=mdettweiler [2020-01-17 08:32:13] 755*2^1552758-1 is not prime. Res64: 13DFD9D2C232EE06 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:32:13] 843*2^1552758-1 is not prime. Res64: 4BAC2D633AB5F271 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:32:13] 867*2^1552758-1 is not prime. Res64: 0A625CE33FFBC139 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:32:13] 893*2^1552758-1 is not prime. Res64: 58F679DB580D5826 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:32:14] 971*2^1552758-1 is not prime. Res64: 534C34E9B69FE82A Time : 0.0 sec. user=mdettweiler [2020-01-17 08:51:35] 603*2^1552759-1 is not prime. Res64: 109B65F9329D4923 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:51:35] 609*2^1552759-1 is not prime. Res64: 577F57E1771876D0 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:51:36] 723*2^1552759-1 is not prime. Res64: 3880AB9119C91BBC Time : 0.0 sec. user=mdettweiler [2020-01-17 08:51:36] 759*2^1552759-1 is not prime. Res64: E0F898D6273DAE54 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:51:36] 951*2^1552759-1 is not prime. Res64: 22A23FFCD8EEB5F7 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:57:17] 669*2^1552760-1 is not prime. Res64: A59B6B210F129A1F Time : 0.0 sec. user=mdettweiler [2020-01-17 08:57:17] 845*2^1552760-1 is not prime. Res64: 16C9C0F40F679F2E Time : 0.0 sec. user=mdettweiler [2020-01-17 08:57:17] 857*2^1552760-1 is not prime. Res64: 80C7B5257FCD5B95 Time : 0.0 sec. user=mdettweiler [2020-01-17 08:57:17] 935*2^1552760-1 is not prime. Res64: E18672C813F7E1DB Time : 0.0 sec. user=mdettweiler [2020-01-17 08:57:18] 637*2^1552761-1 is not prime. Res64: 0E7327272402BDC1 Time : 0.0 sec. user=mdettweiler [2020-01-17 09:25:50] 649*2^1552761-1 is not prime. Res64: 1FD7695F2809ED83 Time : 0.0 sec. user=mdettweiler [2020-01-17 09:25:50] 745*2^1552761-1 is not prime. Res64: E20D9CBB0396CD49 Time : 0.0 sec. user=mdettweiler [2020-01-17 09:25:51] 991*2^1552761-1 is not prime. Res64: 9692B984F5603A3A Time : 0.0 sec. user=mdettweiler [2020-01-17 09:25:51] 997*2^1552761-1 is not prime. Res64: 96AEF5369A00234F Time : 0.0 sec. user=mdettweiler [2020-01-17 09:25:51] 675*2^1552762-1 is not prime. Res64: 64E53FD0A4427239 Time : 0.0 sec. user=mdettweiler [2020-01-17 09:43:44] 777*2^1552762-1 is not prime. Res64: 471C2DB401AEC5F8 Time : 0.0 sec. user=mdettweiler [2020-01-17 09:43:44] 803*2^1552762-1 is not prime. Res64: 7F5DE0F95B40BFA6 Time : 0.0 sec. user=mdettweiler [2020-01-17 09:43:44] 911*2^1552762-1 is not prime. Res64: 6152DBC850EC5D3D Time : 0.0 sec. user=mdettweiler [2020-01-17 09:43:45] 915*2^1552762-1 is not prime. Res64: B1FDA162091EB73E Time : 0.0 sec. user=mdettweiler [2020-01-17 09:43:45] 663*2^1552763-1 is not prime. Res64: DC9DAC2ECF886970 Time : 0.0 sec. user=mdettweiler [2020-01-17 09:48:49] 861*2^1552763-1 is not prime. Res64: 1D716CB827103AD0 Time : 0.0 sec. user=mdettweiler [2020-01-17 09:48:49] 915*2^1552763-1 is not prime. Res64: 031E7B432F8F4630 Time : 0.0 sec. user=mdettweiler [2020-01-17 09:48:49] 663*2^1552764-1 is not prime. Res64: AAEBC1721F952CAA Time : 0.0 sec. user=mdettweiler [2020-01-17 09:48:50] 675*2^1552764-1 is not prime. Res64: F00B42EFE08A6D1A Time : 0.0 sec. user=mdettweiler [2020-01-17 09:48:50] 693*2^1552764-1 is not prime. Res64: 9265922AA8AA84EA Time : 0.0 sec. user=mdettweiler [2020-01-17 10:18:33] 707*2^1552764-1 is not prime. Res64: 3D0CFACE671CEC79 Time : 0.0 sec. user=mdettweiler [2020-01-17 10:18:33] 725*2^1552764-1 is not prime. Res64: 05B14F6149578797 Time : 0.0 sec. user=mdettweiler [2020-01-17 10:18:33] 927*2^1552764-1 is not prime. Res64: 37E4BD98ECBF056D Time : 0.0 sec. user=mdettweiler [2020-01-17 10:18:34] 717*2^1552765-1 is not prime. Res64: 61EC695E3B6F81E7 Time : 0.0 sec. user=mdettweiler [2020-01-17 10:18:34] 751*2^1552765-1 is not prime. Res64: 93FD8E74D3D6B915 Time : 0.0 sec. user=mdettweiler [2020-01-17 10:38:10] 895*2^1552765-1 is not prime. Res64: 16CD640E8F251DEB Time : 0.0 sec. user=mdettweiler [2020-01-17 10:38:10] 987*2^1552765-1 is not prime. Res64: B1813C44803B3400 Time : 0.0 sec. user=mdettweiler [2020-01-17 10:38:10] 999*2^1552765-1 is not prime. Res64: EC4EFDF56F034FF8 Time : 0.0 sec. user=mdettweiler [2020-01-17 10:38:10] 617*2^1552766-1 is not prime. Res64: 86647021CAE47E4C Time : 0.0 sec. user=mdettweiler [2020-01-17 10:38:11] 641*2^1552766-1 is not prime. Res64: FEB125BE879CF9A8 Time : 0.0 sec. user=mdettweiler [2020-01-17 10:41:35] 657*2^1552766-1 is not prime. Res64: 3C3181C6AD6E82FB Time : 0.0 sec. user=mdettweiler [2020-01-17 10:41:36] 663*2^1552766-1 is not prime. Res64: B28B7630FCAFE38F Time : 0.0 sec. user=mdettweiler [2020-01-17 10:41:36] 683*2^1552766-1 is not prime. Res64: 6FA0644E75426EF8 Time : 0.0 sec. user=mdettweiler [2020-01-17 10:41:36] 707*2^1552766-1 is not prime. Res64: 7318ED35B743F3EC Time : 0.0 sec. user=mdettweiler [2020-01-17 10:41:37] 957*2^1552766-1 is not prime. Res64: EA4D32E3054EF341 Time : 0.0 sec. user=mdettweiler [2020-01-17 11:12:39] 981*2^1552766-1 is not prime. Res64: C20A91F211F10B5F Time : 0.0 sec. user=mdettweiler [2020-01-17 11:12:40] 661*2^1552767-1 is not prime. Res64: 8A1C52618E0D68C0 Time : 0.0 sec. user=mdettweiler [2020-01-17 11:12:40] 685*2^1552767-1 is not prime. Res64: CA4AF41E0395649C Time : 0.0 sec. user=mdettweiler [2020-01-17 11:12:40] 693*2^1552767-1 is not prime. Res64: D4D3988DA6F774CB Time : 0.0 sec. user=mdettweiler [2020-01-17 11:12:40] 949*2^1552767-1 is not prime. Res64: B5217E3D5B9E754B Time : 0.0 sec. user=mdettweiler [2020-01-17 11:29:31] 615*2^1552768-1 is not prime. Res64: 61EAF3DECC728605 Time : 0.0 sec. user=mdettweiler [2020-01-17 11:29:31] 663*2^1552768-1 is not prime. Res64: 734FCA469D0E976D Time : 0.0 sec. user=mdettweiler [2020-01-17 11:29:32] 723*2^1552768-1 is not prime. Res64: A10A090C7F9FD68F Time : 0.0 sec. user=mdettweiler [2020-01-17 11:29:32] 735*2^1552768-1 is not prime. Res64: 40F06902F51BA92D Time : 0.0 sec. user=mdettweiler [2020-01-17 11:29:32] 743*2^1552768-1 is not prime. Res64: 089D8EA6876B507E Time : 0.0 sec. user=mdettweiler [2020-01-17 11:33:35] 777*2^1552768-1 is not prime. Res64: 4A89CF997290E244 Time : 0.0 sec. user=mdettweiler [2020-01-17 11:33:35] 601*2^1552769-1 is not prime. Res64: 0E7CDA30F57FABAB Time : 0.0 sec. user=mdettweiler [2020-01-17 11:33:35] 657*2^1552769-1 is not prime. Res64: 4A99D8ACC4D82163 Time : 0.0 sec. user=mdettweiler [2020-01-17 11:33:36] 771*2^1552769-1 is not prime. Res64: CE4D6BBA1C4BBE9F Time : 0.0 sec. user=mdettweiler [2020-01-17 11:33:36] 789*2^1552769-1 is not prime. Res64: A3574458A4805EA0 Time : 0.0 sec. user=mdettweiler [2020-01-17 12:06:17] 811*2^1552769-1 is not prime. Res64: 8CDC0F74546CF640 Time : 0.0 sec. user=mdettweiler [2020-01-17 12:06:18] 831*2^1552769-1 is not prime. Res64: 424B51E321D1C853 Time : 0.0 sec. user=mdettweiler [2020-01-17 12:06:19] 861*2^1552769-1 is not prime. Res64: 1CF5062D053F42D8 Time : 0.0 sec. user=mdettweiler [2020-01-17 12:06:20] 865*2^1552769-1 is not prime. Res64: 54B2F30F7A89CE6A Time : 0.0 sec. user=mdettweiler [2020-01-17 12:06:21] 879*2^1552769-1 is not prime. Res64: AEF5185C39C5212A Time : 0.0 sec. user=mdettweiler [2020-01-17 12:22:04] 611*2^1552770-1 is not prime. Res64: 5236C4643F62F4EA Time : 0.0 sec. user=mdettweiler [2020-01-17 12:22:04] 711*2^1552770-1 is not prime. Res64: 83CE61D97E2022FE Time : 0.0 sec. user=mdettweiler [2020-01-17 12:22:05] 725*2^1552770-1 is not prime. Res64: FF824558251663CF Time : 0.0 sec. user=mdettweiler [2020-01-17 12:22:05] 777*2^1552770-1 is not prime. Res64: 32B75906E10F6FCC Time : 0.0 sec. user=mdettweiler [2020-01-17 12:22:06] 891*2^1552770-1 is not prime. Res64: CCBFDC1FB812D881 Time : 0.0 sec. user=mdettweiler [2020-01-17 12:25:30] 609*2^1552771-1 is not prime. Res64: 5A6AA357BB3BEDC7 Time : 0.0 sec. user=mdettweiler [2020-01-17 12:25:30] 619*2^1552771-1 is not prime. Res64: 1CB0D5C52251CA9A Time : 0.0 sec. user=mdettweiler [2020-01-17 12:25:30] 625*2^1552771-1 is not prime. Res64: 1ACB86E72521EA3D Time : 0.0 sec. user=mdettweiler [2020-01-17 12:25:31] 673*2^1552771-1 is not prime. Res64: 334EEAE27BFB1EA8 Time : 0.0 sec. user=mdettweiler [2020-01-17 12:25:31] 705*2^1552771-1 is not prime. Res64: 5EF2CF9A7131FD75 Time : 0.0 sec. user=mdettweiler [2020-01-17 13:00:36] 723*2^1552771-1 is not prime. Res64: E465799B00BE731A Time : 0.0 sec. user=mdettweiler [2020-01-17 13:00:37] 733*2^1552771-1 is not prime. Res64: 5B4AE5DE6351EAFA Time : 0.0 sec. user=mdettweiler [2020-01-17 13:00:37] 735*2^1552771-1 is not prime. Res64: 38972BDC8AD8F33B Time : 0.0 sec. user=mdettweiler [2020-01-17 13:00:38] 855*2^1552772-1 is not prime. Res64: 2B44F43F19F4E5CD Time : 0.0 sec. user=mdettweiler [2020-01-17 13:00:39] 893*2^1552772-1 is not prime. Res64: 738F097A00CE7D3E Time : 0.0 sec. user=mdettweiler [2020-01-17 13:18:26] 923*2^1552772-1 is not prime. Res64: 795B6E2F3E211B76 Time : 0.0 sec. user=mdettweiler [2020-01-17 13:18:27] 685*2^1552773-1 is not prime. Res64: C41A4D023A4F9AB4 Time : 0.0 sec. user=mdettweiler [2020-01-17 13:18:27] 819*2^1552773-1 is not prime. Res64: 2864D7B0176305BE Time : 0.0 sec. user=mdettweiler [2020-01-17 13:18:28] 987*2^1552773-1 is not prime. Res64: FB9168E7BD4CC295 Time : 0.0 sec. user=mdettweiler [2020-01-17 13:18:28] 645*2^1552774-1 is not prime. Res64: CDCEF7DFC1796779 Time : 0.0 sec. user=mdettweiler [2020-01-17 13:19:51] 695*2^1552774-1 is not prime. Res64: 3C09DD24EE60744D Time : 0.0 sec. user=mdettweiler [2020-01-17 13:19:51] 857*2^1552774-1 is not prime. Res64: 1CA93A5687E061DA Time : 0.0 sec. user=mdettweiler [2020-01-17 13:19:52] 885*2^1552774-1 is not prime. Res64: 3B43A68557FB9DE0 Time : 0.0 sec. user=mdettweiler [2020-01-17 13:19:52] 887*2^1552774-1 is not prime. Res64: B20EC72604C279AA Time : 0.0 sec. user=mdettweiler [2020-01-17 13:19:52] 917*2^1552774-1 is not prime. Res64: FF4B351D8D20722B Time : 0.0 sec. user=mdettweiler [2020-01-17 13:52:40] 775*2^1552775-1 is not prime. Res64: 09A5089A60BF4D4B Time : 0.0 sec. user=mdettweiler [2020-01-17 13:52:41] 781*2^1552775-1 is not prime. Res64: 0C6C53CE32D35725 Time : 0.0 sec. user=mdettweiler [2020-01-17 13:52:41] 855*2^1552775-1 is not prime. Res64: 8F5268B4A05D94B2 Time : 0.0 sec. user=mdettweiler [2020-01-17 13:52:41] 609*2^1552776-1 is not prime. Res64: A4B0535FDBC83DEE Time : 0.0 sec. user=mdettweiler [2020-01-17 13:52:42] 759*2^1552776-1 is not prime. Res64: D27F6137261B87B5 Time : 0.0 sec. user=mdettweiler [2020-01-17 14:11:00] 849*2^1552776-1 is not prime. Res64: A57DE6E5698FBB52 Time : 0.0 sec. user=mdettweiler [2020-01-17 14:11:01] 873*2^1552776-1 is not prime. Res64: DAF3A912DA38F3DF Time : 0.0 sec. user=mdettweiler [2020-01-17 14:11:01] 905*2^1552776-1 is not prime. Res64: 1CE70AD578B55B0E Time : 0.0 sec. user=mdettweiler [2020-01-17 14:11:02] 817*2^1552777-1 is not prime. Res64: FF78751DC7BD249B Time : 0.0 sec. user=mdettweiler [2020-01-17 14:11:02] 919*2^1552777-1 is not prime. Res64: 405E30152B7239B7 Time : 0.0 sec. user=mdettweiler [2020-01-17 14:14:57] 931*2^1552777-1 is not prime. Res64: 45C3BD25C499B41C Time : 0.0 sec. user=mdettweiler [2020-01-17 14:14:58] 957*2^1552777-1 is not prime. Res64: FD7631A621DA8B4A Time : 0.0 sec. user=mdettweiler [2020-01-17 14:14:58] 979*2^1552777-1 is not prime. Res64: DDF809F248CAC8A7 Time : 0.0 sec. user=mdettweiler [2020-01-17 14:14:58] 627*2^1552778-1 is not prime. Res64: 8E6783931476EC7B Time : 0.0 sec. user=mdettweiler [2020-01-17 14:15:00] 677*2^1552778-1 is not prime. Res64: 1708FA2810B11B4D Time : 0.0 sec. user=mdettweiler [2020-01-17 14:44:19] 687*2^1552778-1 is not prime. Res64: BDB9791DC7C601A5 Time : 0.0 sec. user=mdettweiler [2020-01-17 14:44:19] 711*2^1552778-1 is not prime. Res64: B708020BC57AE537 Time : 0.0 sec. user=mdettweiler [2020-01-17 14:44:19] 743*2^1552778-1 is not prime. Res64: F4FCF9F5FE81371E Time : 0.0 sec. user=mdettweiler [2020-01-17 14:44:20] 827*2^1552778-1 is not prime. Res64: 89300FECEE1FC581 Time : 0.0 sec. user=mdettweiler [2020-01-17 14:44:20] 837*2^1552778-1 is not prime. Res64: 970DFC268A6DC573 Time : 0.0 sec. user=mdettweiler [2020-01-17 15:03:59] 845*2^1552778-1 is not prime. Res64: 309FAE42947D9BC8 Time : 0.0 sec. user=mdettweiler [2020-01-17 15:04:00] 613*2^1552779-1 is not prime. Res64: D5A0AA40C76B0DCD Time : 0.0 sec. user=mdettweiler [2020-01-17 15:04:01] 619*2^1552779-1 is not prime. Res64: 88896D205C62F2E7 Time : 0.0 sec. user=mdettweiler [2020-01-17 15:04:01] 795*2^1552779-1 is not prime. Res64: D2E4109B6F6545CA Time : 0.0 sec. user=mdettweiler [2020-01-17 15:04:02] 943*2^1552779-1 is not prime. Res64: 179E6D9337BA3C6C Time : 0.0 sec. user=mdettweiler [2020-01-17 15:07:18] 969*2^1552779-1 is not prime. Res64: 44E4F29B3048EE25 Time : 0.0 sec. user=mdettweiler [2020-01-17 15:07:19] 603*2^1552780-1 is not prime. Res64: CEB79D6439F07565 Time : 0.0 sec. user=mdettweiler [2020-01-17 15:07:20] 695*2^1552780-1 is not prime. Res64: 1CEF489D06D0C558 Time : 0.0 sec. user=mdettweiler [2020-01-17 15:07:20] 699*2^1552780-1 is not prime. Res64: 050BD03EBF110497 Time : 0.0 sec. user=mdettweiler [2020-01-17 15:07:21] 719*2^1552780-1 is not prime. Res64: 3BB7AD31D0A63720 Time : 0.0 sec. user=mdettweiler [2020-01-17 15:37:34] 783*2^1552780-1 is not prime. Res64: 5907B5030CEB990D Time : 0.0 sec. user=mdettweiler [2020-01-17 15:37:35] 785*2^1552780-1 is not prime. Res64: 15512A5B641001FF Time : 0.0 sec. user=mdettweiler [2020-01-17 15:37:35] 909*2^1552780-1 is not prime. Res64: 04A030F16E413B93 Time : 0.0 sec. user=mdettweiler [2020-01-17 15:37:35] 995*2^1552780-1 is not prime. Res64: 9E6A962390DD2607 Time : 0.0 sec. user=mdettweiler [2020-01-17 15:37:35] 745*2^1552781-1 is not prime. Res64: D38C93D2C5038DDF Time : 0.0 sec. user=mdettweiler [2020-01-17 16:00:20] 917*2^1552782-1 is not prime. Res64: 038572BBCD2C23E4 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:00:21] 1001*2^1552782-1 is not prime. Res64: 92B0278C58BFDDDB Time : 0.0 sec. user=mdettweiler [2020-01-17 16:00:22] 703*2^1552783-1 is not prime. Res64: 085BC6617F844C28 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:00:23] 741*2^1552783-1 is not prime. Res64: C117DFDA08F8733D Time : 0.0 sec. user=mdettweiler [2020-01-17 16:00:23] 829*2^1552783-1 is not prime. Res64: 9D71EB48137D5CEC Time : 0.0 sec. user=mdettweiler [2020-01-17 16:01:08] 927*2^1552781-1 is not prime. Res64: B075419DB31E60FE Time : 0.0 sec. user=mdettweiler [2020-01-17 16:01:10] 937*2^1552781-1 is not prime. Res64: 9E7D90680F2E409C Time : 0.0 sec. user=mdettweiler [2020-01-17 16:01:10] 939*2^1552781-1 is not prime. Res64: 56C530834C29FE89 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:01:11] 957*2^1552781-1 is not prime. Res64: 7577C3CB2DFF907D Time : 0.0 sec. user=mdettweiler [2020-01-17 16:01:12] 801*2^1552782-1 is not prime. Res64: 79614BE8C1A3A4E4 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:31:16] 951*2^1552783-1 is not prime. Res64: C9F78DD6CA27F850 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:31:16] 969*2^1552783-1 is not prime. Res64: 8654F5C252990E57 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:31:16] 623*2^1552784-1 is not prime. Res64: C9758BAAA091AC78 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:31:16] 657*2^1552784-1 is not prime. Res64: 47844EBCAD1F01ED Time : 0.0 sec. user=mdettweiler [2020-01-17 16:31:17] 689*2^1552784-1 is not prime. Res64: CB5FA1984D6E3425 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:52:20] 789*2^1552784-1 is not prime. Res64: BB4C38CF28AA29B0 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:52:20] 813*2^1552784-1 is not prime. Res64: F8B25603EC777758 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:52:20] 897*2^1552784-1 is not prime. Res64: 3BCEB6191C8AC9F0 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:52:20] 625*2^1552785-1 is not prime. Res64: 78894E23AAFEDB2D Time : 0.0 sec. user=mdettweiler [2020-01-17 16:52:21] 699*2^1552785-1 is not prime. Res64: 0E4E13835F2D45B5 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:54:09] 837*2^1552785-1 is not prime. Res64: D6FC2943EE703D4A Time : 0.0 sec. user=mdettweiler [2020-01-17 16:54:10] 997*2^1552785-1 is not prime. Res64: B486AFCFA27125BE Time : 0.0 sec. user=mdettweiler [2020-01-17 16:54:10] 623*2^1552786-1 is not prime. Res64: F90C4FACA55F36CF Time : 0.0 sec. user=mdettweiler [2020-01-17 16:54:10] 765*2^1552786-1 is not prime. Res64: 2409CFE92C23CBE0 Time : 0.0 sec. user=mdettweiler [2020-01-17 16:54:10] 843*2^1552786-1 is not prime. Res64: EFA3EE4E800424D9 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:26:39] 941*2^1552786-1 is not prime. Res64: F5E3A9F23E2AD404 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:26:39] 947*2^1552786-1 is not prime. Res64: 098FED8588F491D4 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:26:39] 675*2^1552787-1 is not prime. Res64: DA3F9DB489906B59 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:26:40] 843*2^1552787-1 is not prime. Res64: CF71E55DE3ACEF78 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:26:40] 963*2^1552787-1 is not prime. Res64: 10537B94644ABD1C Time : 0.0 sec. user=mdettweiler [2020-01-17 17:46:26] 981*2^1552787-1 is not prime. Res64: 29ED58AAA4C8F0C1 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:46:26] 999*2^1552787-1 is not prime. Res64: F8C7C77ECF98F8E2 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:46:27] 627*2^1552788-1 is not prime. Res64: 16F2CF8CAA6F1902 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:46:27] 669*2^1552788-1 is not prime. Res64: 02AC8A8F34D4D608 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:46:27] 915*2^1552788-1 is not prime. Res64: 584D69608A5835F4 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:49:14] 927*2^1552788-1 is not prime. Res64: 9B441D09F22D9A38 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:49:14] 933*2^1552788-1 is not prime. Res64: 2F1E3E7B522C2F67 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:49:14] 945*2^1552788-1 is not prime. Res64: 8C1FF2568ED3D5AC Time : 0.0 sec. user=mdettweiler [2020-01-17 17:49:15] 619*2^1552789-1 is not prime. Res64: B93E420647591197 Time : 0.0 sec. user=mdettweiler [2020-01-17 17:49:15] 625*2^1552789-1 is not prime. Res64: 1854AEAEF9A98D12 Time : 0.0 sec. user=mdettweiler [2020-01-17 18:19:59] 757*2^1552789-1 is not prime. Res64: 60B2A32096C962B8 Time : 0.0 sec. user=mdettweiler [2020-01-17 18:20:00] 825*2^1552789-1 is not prime. Res64: 5E170A32F0F43C97 Time : 0.0 sec. user=mdettweiler [2020-01-17 18:20:00] 831*2^1552789-1 is not prime. Res64: DE23F0B88F691557 Time : 0.0 sec. user=mdettweiler [2020-01-17 18:20:00] 987*2^1552789-1 is not prime. Res64: C2AB614BC1266143 Time : 0.0 sec. user=mdettweiler [2020-01-17 18:20:00] 797*2^1552790-1 is not prime. Res64: E01DE1ADE4776992 Time : 0.0 sec. user=mdettweiler [2020-01-17 18:40:16] 669*2^1552791-1 is not prime. Res64: FC5CEBB5EA039624 Time : 0.0 sec. user=mdettweiler [2020-01-17 18:40:17] 685*2^1552791-1 is not prime. Res64: EDC1D19883722B4F Time : 0.0 sec. user=mdettweiler [2020-01-17 18:40:17] 693*2^1552791-1 is not prime. Res64: BE750B30C589B19E Time : 0.0 sec. user=mdettweiler [2020-01-17 18:40:17] 711*2^1552791-1 is not prime. Res64: F87E24034797F800 Time : 0.0 sec. user=mdettweiler [2020-01-17 18:40:17] 741*2^1552791-1 is not prime. Res64: C789C71348150F24 Time : 0.0 sec. user=mdettweiler [2020-01-17 18:42:06] 851*2^1552790-1 is not prime. Res64: E6D695E74C2C5D9E Time : 0.0 sec. user=mdettweiler [2020-01-17 18:42:07] 893*2^1552790-1 is not prime. Res64: 8F0ED2A83FE247BB Time : 0.0 sec. user=mdettweiler [2020-01-17 18:42:07] 941*2^1552790-1 is not prime. Res64: 523D8C4686727CAE Time : 0.0 sec. user=mdettweiler [2020-01-17 18:42:07] 957*2^1552790-1 is not prime. Res64: E22B93C0A55378A4 Time : 0.0 sec. user=mdettweiler [2020-01-17 18:42:07] 981*2^1552790-1 is not prime. Res64: F4D9920D33354C81 Time : 0.0 sec. user=mdettweiler [2020-01-17 19:11:38] 795*2^1552791-1 is not prime. Res64: 418CD5ABE4A604D0 Time : 0.0 sec. user=mdettweiler [2020-01-17 19:11:38] 871*2^1552791-1 is not prime. Res64: 81D8DE1BA1AD1D07 Time : 0.0 sec. user=mdettweiler [2020-01-17 19:11:39] 635*2^1552792-1 is not prime. Res64: 6A7B1BBC863F89AD Time : 0.0 sec. user=mdettweiler [2020-01-17 19:11:39] 677*2^1552792-1 is not prime. Res64: FB330CEFD517E615 Time : 0.0 sec. user=mdettweiler [2020-01-17 19:11:39] 693*2^1552792-1 is not prime. Res64: BB338E99EB4A3FBC Time : 0.0 sec. user=mdettweiler [2020-01-17 19:32:53] 713*2^1552792-1 is not prime. Res64: 1D85A113E6274E80 Time : 0.0 sec. user=mdettweiler [2020-01-17 19:32:54] 719*2^1552792-1 is not prime. Res64: 5AB095DD95070B6A Time : 0.0 sec. user=mdettweiler [2020-01-17 19:32:54] 939*2^1552792-1 is not prime. Res64: A5FA8E0D9DC3A115 Time : 0.0 sec. user=mdettweiler [2020-01-17 19:32:54] 607*2^1552793-1 is not prime. Res64: 4E4A91EADCAE85D9 Time : 0.0 sec. user=mdettweiler [2020-01-17 19:32:54] 741*2^1552793-1 is not prime. Res64: A0DFE862B0CF7E0A Time : 0.0 sec. user=mdettweiler [2020-01-17 19:35:24] 861*2^1552793-1 is not prime. Res64: 4F78E3A747E92509 Time : 0.0 sec. user=mdettweiler [2020-01-17 19:35:24] 981*2^1552793-1 is not prime. Res64: FB24F704E03FC9AD Time : 0.0 sec. user=mdettweiler [2020-01-17 19:35:24] 621*2^1552794-1 is not prime. Res64: 5C84572519815226 Time : 0.0 sec. user=mdettweiler [2020-01-17 19:35:24] 723*2^1552794-1 is not prime. Res64: A362A7FD938EB159 Time : 0.0 sec. user=mdettweiler [2020-01-17 19:35:24] 783*2^1552794-1 is not prime. Res64: 50BA6FC2D9430B28 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:06:43] 791*2^1552794-1 is not prime. Res64: 37BCB0BFBAFBC826 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:06:44] 837*2^1552794-1 is not prime. Res64: 8C33B372E23AD7AF Time : 0.0 sec. user=mdettweiler [2020-01-17 20:06:45] 851*2^1552794-1 is not prime. Res64: 7DE5546F8F4C55A1 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:06:46] 947*2^1552794-1 is not prime. Res64: 7BE244F6618B1584 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:06:47] 971*2^1552794-1 is not prime. Res64: 4D4E52294F61FFD5 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:25:55] 975*2^1552794-1 is not prime. Res64: 306D02BA984E0B3D Time : 0.0 sec. user=mdettweiler [2020-01-17 20:25:55] 603*2^1552795-1 is not prime. Res64: 91CFEEBCD7D7AC65 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:25:55] 715*2^1552795-1 is not prime. Res64: 048EA94AC3DB1B31 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:25:55] 861*2^1552795-1 is not prime. Res64: 0B6B10BC31E77166 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:25:56] 913*2^1552795-1 is not prime. Res64: 58632FCACC39A736 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:26:42] 675*2^1552796-1 is not prime. Res64: 21523B114364E227 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:26:42] 707*2^1552796-1 is not prime. Res64: 78D30FE8730633B3 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:26:43] 735*2^1552796-1 is not prime. Res64: 8DEC2E6829B7EDB9 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:26:43] 743*2^1552796-1 is not prime. Res64: 926FCB56B1C26C75 Time : 0.0 sec. user=mdettweiler [2020-01-17 20:26:43] 827*2^1552796-1 is not prime. Res64: 46D42B68924C68DB Time : 0.0 sec. user=mdettweiler [2020-01-17 21:00:59] 935*2^1552796-1 is not prime. Res64: A487D037F81B0682 Time : 0.0 sec. user=mdettweiler [2020-01-17 21:00:59] 945*2^1552796-1 is not prime. Res64: 9D0EA8B6ECD97181 Time : 0.0 sec. user=mdettweiler [2020-01-17 21:01:00] 627*2^1552797-1 is not prime. Res64: 937F5AB8DC4F2527 Time : 0.0 sec. user=mdettweiler [2020-01-17 21:01:01] 639*2^1552797-1 is not prime. Res64: C5EACEC18414E6B1 Time : 0.0 sec. user=mdettweiler [2020-01-17 21:01:01] 655*2^1552797-1 is not prime. Res64: C187894A307873EB Time : 0.0 sec. user=mdettweiler [2020-01-17 21:17:28] 889*2^1552797-1 is not prime. Res64: B6B0229E6F024ED9 Time : 0.0 sec. user=mdettweiler [2020-01-17 21:17:29] 663*2^1552798-1 is not prime. Res64: 0327A931E148E7ED Time : 0.0 sec. user=mdettweiler [2020-01-17 21:17:29] 671*2^1552798-1 is not prime. Res64: 3D6D6D53A2D3F801 Time : 0.0 sec. user=mdettweiler [2020-01-17 21:17:29] 681*2^1552798-1 is not prime. Res64: 850B9554F0D90E85 Time : 0.0 sec. user=mdettweiler [2020-01-17 21:17:30] 723*2^1552798-1 is not prime. Res64: B69AE49E8705680E Time : 0.0 sec. user=mdettweiler [2020-01-17 21:21:02] 843*2^1552798-1 is not prime. Res64: 1FB43EBF433B697D Time : 0.0 sec. user=mdettweiler [2020-01-17 21:21:03] 987*2^1552798-1 is not prime. Res64: 375931CB9DECFF3A Time : 0.0 sec. user=mdettweiler [2020-01-17 21:21:03] 1001*2^1552798-1 is not prime. Res64: EEB7C0CD9642AFB3 Time : 0.0 sec. user=mdettweiler [2020-01-17 21:21:03] 601*2^1552799-1 is not prime. Res64: 37C9E0A1C4616FAE Time : 0.0 sec. user=mdettweiler [2020-01-17 21:21:04] 721*2^1552799-1 is not prime. Res64: 8F3708EB7571A1C5 Time : 0.0 sec. user=mdettweiler [2020-01-17 21:52:52] 729*2^1552799-1 is not prime. Res64: 35CB79BBB92CF75C Time : 0.0 sec. user=mdettweiler [2020-01-17 21:52:52] 759*2^1552799-1 is not prime. Res64: BDF66A16B9A73542 Time : 0.0 sec. user=mdettweiler [2020-01-17 21:52:52] 813*2^1552799-1 is not prime. Res64: 538040B6B5E5E7EA Time : 0.0 sec. user=mdettweiler [2020-01-17 21:52:53] 909*2^1552799-1 is not prime. Res64: F9AEABD88236C6EA Time : 0.0 sec. user=mdettweiler [2020-01-17 21:52:53] 693*2^1552800-1 is not prime. Res64: C1A5A2DA95249C70 Time : 0.0 sec. user=mdettweiler [2020-01-17 22:09:08] 717*2^1552800-1 is not prime. Res64: 681B1E41419FDA53 Time : 0.0 sec. user=mdettweiler [2020-01-17 22:09:12] 719*2^1552800-1 is not prime. Res64: 2935B387F962C7AD Time : 0.0 sec. user=mdettweiler [2020-01-17 22:09:15] 725*2^1552800-1 is not prime. Res64: AF2BCD726761BE1A Time : 0.0 sec. user=mdettweiler [2020-01-17 22:09:16] 747*2^1552800-1 is not prime. Res64: 611D294C75951329 Time : 0.0 sec. user=mdettweiler [2020-01-17 22:09:20] 819*2^1552800-1 is not prime. Res64: 75AF3479B6B89175 Time : 0.0 sec. user=mdettweiler [2020-01-17 22:12:34] 615*2^1552801-1 is not prime. Res64: 93F660F55BC86792 Time : 0.0 sec. user=mdettweiler [2020-01-17 22:12:35] 637*2^1552801-1 is not prime. Res64: 8AD4D040B9A7BC2F Time : 0.0 sec. user=mdettweiler [2020-01-17 22:12:37] 685*2^1552801-1 is not prime. Res64: D4FA47A7BF907530 Time : 0.0 sec. user=mdettweiler [2020-01-17 22:12:38] 769*2^1552801-1 is not prime. Res64: 0B0358E6E0BBB9C1 Time : 0.0 sec. user=mdettweiler [2020-01-17 22:12:39] 777*2^1552801-1 is not prime. Res64: 4DD3BACA13F4FD23 Time : 0.0 sec. user=mdettweiler [2020-01-17 22:46:10] 807*2^1552801-1 is not prime. Res64: 68627DD1DBEDDADB Time : 0.0 sec. user=mdettweiler [2020-01-17 22:46:11] 877*2^1552801-1 is not prime. Res64: DB5313FCE2D07796 Time : 0.0 sec. user=mdettweiler [2020-01-17 22:46:11] 975*2^1552801-1 is not prime. Res64: 575B6CCBE39CC495 Time : 0.0 sec. user=mdettweiler [2020-01-17 22:46:11] 623*2^1552802-1 is not prime. Res64: FCE2BDBFCFC0D8BE Time : 0.0 sec. user=mdettweiler [2020-01-17 22:46:12] 645*2^1552802-1 is not prime. Res64: 6B314CB7FC50F69E Time : 0.0 sec. user=mdettweiler [2020-01-17 23:02:08] 665*2^1552802-1 is not prime. Res64: 7059C1E0E607F9CF Time : 0.0 sec. user=mdettweiler [2020-01-17 23:02:09] 705*2^1552802-1 is not prime. Res64: BC1DF98E42D0F77B Time : 0.0 sec. user=mdettweiler [2020-01-17 23:02:10] 713*2^1552802-1 is not prime. Res64: 850B965D6359E70D Time : 0.0 sec. user=mdettweiler [2020-01-17 23:02:11] 797*2^1552802-1 is not prime. Res64: 9A04085F72FBC0B0 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:02:11] 827*2^1552802-1 is not prime. Res64: 25EEDD83BA078803 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:04:26] 831*2^1552802-1 is not prime. Res64: A2574265D5F330C0 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:04:27] 615*2^1552803-1 is not prime. Res64: 1D80F480FEF3C084 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:04:27] 643*2^1552803-1 is not prime. Res64: 3A3F785F6183ED36 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:04:28] 699*2^1552803-1 is not prime. Res64: 0E8956BE58C908FE Time : 0.0 sec. user=mdettweiler [2020-01-17 23:04:29] 751*2^1552803-1 is not prime. Res64: 60DC18AC44A26AC4 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:38:57] 765*2^1552803-1 is not prime. Res64: 299B91E1B3572901 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:38:58] 895*2^1552803-1 is not prime. Res64: 2F701AFE9AC0239C Time : 0.0 sec. user=mdettweiler [2020-01-17 23:38:58] 985*2^1552803-1 is not prime. Res64: D7DE38D893B6D011 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:38:58] 629*2^1552804-1 is not prime. Res64: 00CB5EEF46D9F739 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:38:58] 687*2^1552804-1 is not prime. Res64: 21C6948261133DEC Time : 0.0 sec. user=mdettweiler [2020-01-17 23:55:08] 717*2^1552804-1 is not prime. Res64: 2638966B6FAB47A0 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:55:08] 749*2^1552804-1 is not prime. Res64: FFBC10F886F57422 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:55:09] 855*2^1552804-1 is not prime. Res64: FDC48C9F4D7625FA Time : 0.0 sec. user=mdettweiler [2020-01-17 23:55:09] 927*2^1552804-1 is not prime. Res64: 5881E32F63FEDA94 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:55:09] 619*2^1552805-1 is not prime. Res64: 60CB660F12B3E506 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:55:32] 657*2^1552805-1 is not prime. Res64: 904FEFA68211AF82 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:55:33] 675*2^1552805-1 is not prime. Res64: D497B2FEE75B2CD5 Time : 0.0 sec. user=mdettweiler [2020-01-17 23:55:33] 691*2^1552805-1 is not prime. Res64: A638C93857A029DB Time : 0.0 sec. user=mdettweiler [2020-01-17 23:55:33] 715*2^1552805-1 is not prime. Res64: 98AC285523E91E8C Time : 0.0 sec. user=mdettweiler [2020-01-17 23:55:33] 727*2^1552805-1 is not prime. Res64: 3B7852CEFA299691 Time : 0.0 sec.