user=mdettweiler [2019-12-13 00:17:19] 793*2^1551027-1 is not prime. Res64: 046582644DACCC71 Time : 0.0 sec. user=mdettweiler [2019-12-13 00:17:20] 859*2^1551027-1 is not prime. Res64: A384032299AF2A06 Time : 0.0 sec. user=mdettweiler [2019-12-13 00:17:21] 973*2^1551027-1 is not prime. Res64: 1C662FEBE06116CB Time : 0.0 sec. user=mdettweiler [2019-12-13 00:17:23] 663*2^1551028-1 is not prime. Res64: BB7B0413B365FE83 Time : 0.0 sec. user=mdettweiler [2019-12-13 00:17:24] 827*2^1551028-1 is not prime. Res64: 0EDD39A81FFD7A20 Time : 0.0 sec. user=mdettweiler [2019-12-13 00:17:24] 707*2^1551028-1 is not prime. Res64: 476BBBE7EB41388F Time : 0.0 sec. user=mdettweiler [2019-12-13 00:17:24] 845*2^1551028-1 is not prime. Res64: 78DE9E01A2F2781C Time : 0.0 sec. user=mdettweiler [2019-12-13 00:17:25] 863*2^1551028-1 is not prime. Res64: 6EA974621604F484 Time : 0.0 sec. user=mdettweiler [2019-12-13 00:17:26] 885*2^1551028-1 is not prime. Res64: 38EADB2FF2CA785F Time : 0.0 sec. user=mdettweiler [2019-12-13 00:17:26] 927*2^1551028-1 is not prime. Res64: 0A3C281E07103F77 Time : 0.0 sec. user=mdettweiler [2019-12-13 00:31:31] 953*2^1551028-1 is not prime. Res64: 3D8408DFDDAA4FE8 Time : 0.0 sec. user=mdettweiler [2019-12-13 00:31:32] 645*2^1551029-1 is not prime. Res64: D48D80BA3F8DB0BB Time : 0.0 sec. user=mdettweiler [2019-12-13 00:31:33] 655*2^1551029-1 is not prime. Res64: 7B626CA78F1801B6 Time : 0.0 sec. user=mdettweiler [2019-12-13 00:31:33] 685*2^1551029-1 is not prime. Res64: 27202A8EA9FD735F Time : 0.0 sec. user=mdettweiler [2019-12-13 00:31:34] 691*2^1551029-1 is not prime. Res64: 191D260B16FF47F4 Time : 0.0 sec. user=mdettweiler [2019-12-13 01:08:48] 747*2^1551029-1 is not prime. Res64: FD2FBA372553A21E Time : 0.0 sec. user=mdettweiler [2019-12-13 01:08:49] 861*2^1551029-1 is not prime. Res64: 319560E65B16AD54 Time : 0.0 sec. user=mdettweiler [2019-12-13 01:08:50] 647*2^1551030-1 is not prime. Res64: B1652F0E110D5A89 Time : 0.0 sec. user=mdettweiler [2019-12-13 01:08:50] 711*2^1551030-1 is not prime. Res64: 6A8176CA5D73876D Time : 0.0 sec. user=mdettweiler [2019-12-13 01:08:51] 619*2^1551031-1 is not prime. Res64: 0B4573195F8671AA Time : 0.0 sec. user=mdettweiler [2019-12-13 01:09:00] 755*2^1551030-1 is not prime. Res64: EDE44656A0FBD490 Time : 0.0 sec. user=mdettweiler [2019-12-13 01:09:01] 765*2^1551030-1 is not prime. Res64: 4FF8AF2156EEC4BF Time : 0.0 sec. user=mdettweiler [2019-12-13 01:09:01] 783*2^1551030-1 is not prime. Res64: B608E76A2C2107FA Time : 0.0 sec. user=mdettweiler [2019-12-13 01:09:01] 833*2^1551030-1 is not prime. Res64: CBA05D693917FA85 Time : 0.0 sec. user=mdettweiler [2019-12-13 01:09:02] 851*2^1551030-1 is not prime. Res64: F6253CD35FAB9D03 Time : 0.0 sec. user=mdettweiler [2019-12-13 01:22:49] 663*2^1551031-1 is not prime. Res64: 7DC001C55C56151E Time : 0.0 sec. user=mdettweiler [2019-12-13 01:22:50] 693*2^1551031-1 is not prime. Res64: F73ED338C748D346 Time : 0.0 sec. user=mdettweiler [2019-12-13 01:22:51] 705*2^1551031-1 is not prime. Res64: 9D9EE48279B980D3 Time : 0.0 sec. user=mdettweiler [2019-12-13 01:22:51] 771*2^1551031-1 is not prime. Res64: 1D679C1F87B2AD6C Time : 0.0 sec. user=mdettweiler [2019-12-13 01:22:52] 841*2^1551031-1 is not prime. Res64: 6FCB2326907850E8 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:01:31] 943*2^1551031-1 is not prime. Res64: 33BC0A6747FC9662 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:01:33] 975*2^1551031-1 is not prime. Res64: A04361A56897B4A2 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:01:36] 615*2^1551032-1 is not prime. Res64: E8553756AE31C045 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:01:38] 629*2^1551032-1 is not prime. Res64: 5F62609A72B24A9F Time : 0.0 sec. user=mdettweiler [2019-12-13 02:01:41] 675*2^1551032-1 is not prime. Res64: 00440D307A5D175A Time : 0.0 sec. user=mdettweiler [2019-12-13 02:02:13] 699*2^1551032-1 is not prime. Res64: 0CA1B4C5F455A5D4 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:02:15] 825*2^1551032-1 is not prime. Res64: 080F4F97FC1F6E37 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:02:16] 843*2^1551032-1 is not prime. Res64: 7C42A877478CF35B Time : 0.0 sec. user=mdettweiler [2019-12-13 02:02:19] 879*2^1551032-1 is not prime. Res64: CC36175672FACDD4 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:02:22] 957*2^1551032-1 is not prime. Res64: B3312E224EDF6880 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:15:10] 959*2^1551032-1 is not prime. Res64: A8CCA1256717DA89 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:15:11] 637*2^1551033-1 is not prime. Res64: 40923EB1A5C6C233 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:15:12] 639*2^1551033-1 is not prime. Res64: 8B679348128A2C2B Time : 0.0 sec. user=mdettweiler [2019-12-13 02:15:13] 675*2^1551033-1 is not prime. Res64: 6D73334ADE6C08BE Time : 0.0 sec. user=mdettweiler [2019-12-13 02:15:14] 727*2^1551033-1 is not prime. Res64: A613F414A59A296E Time : 0.0 sec. user=mdettweiler [2019-12-13 02:54:22] 645*2^1551034-1 is not prime. Res64: 41588859BD82489E Time : 0.0 sec. user=mdettweiler [2019-12-13 02:54:23] 671*2^1551034-1 is not prime. Res64: 0403833445D2F861 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:54:24] 815*2^1551034-1 is not prime. Res64: 6DBD74600FB2B14D Time : 0.0 sec. user=mdettweiler [2019-12-13 02:54:25] 855*2^1551034-1 is not prime. Res64: 72C6E549331EE6D6 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:54:26] 915*2^1551034-1 is not prime. Res64: 3AE009528C614D0D Time : 0.0 sec. user=mdettweiler [2019-12-13 02:55:07] 747*2^1551033-1 is not prime. Res64: 53D80FC72034FC57 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:55:08] 795*2^1551033-1 is not prime. Res64: E89829102EFEBF6A Time : 0.0 sec. user=mdettweiler [2019-12-13 02:55:09] 817*2^1551033-1 is not prime. Res64: 5A3C5B95C1149D9E Time : 0.0 sec. user=mdettweiler [2019-12-13 02:55:10] 849*2^1551033-1 is not prime. Res64: D6313A7338FC5C49 Time : 0.0 sec. user=mdettweiler [2019-12-13 02:55:11] 955*2^1551033-1 is not prime. Res64: 97812EF4743616F2 Time : 0.0 sec. user=mdettweiler [2019-12-13 03:06:50] 669*2^1551035-1 is not prime. Res64: C054BD02D6DAB5F9 Time : 0.0 sec. user=mdettweiler [2019-12-13 03:06:57] 705*2^1551035-1 is not prime. Res64: 84D48793E577DF57 Time : 0.0 sec. user=mdettweiler [2019-12-13 03:07:01] 783*2^1551035-1 is not prime. Res64: 29F5E3C4BA738C21 Time : 0.0 sec. user=mdettweiler [2019-12-13 03:07:05] 859*2^1551035-1 is not prime. Res64: 92E34CD79DA2E528 Time : 0.0 sec. user=mdettweiler [2019-12-13 03:07:09] 895*2^1551035-1 is not prime. Res64: 3429B96655936B0F Time : 0.0 sec. user=mdettweiler [2019-12-13 03:47:24] 991*2^1551035-1 is not prime. Res64: 86EC85F7CB079252 Time : 0.0 sec. user=mdettweiler [2019-12-13 03:47:28] 735*2^1551036-1 is not prime. Res64: BD2A684F7AB8061A Time : 0.0 sec. user=mdettweiler [2019-12-13 03:47:29] 779*2^1551036-1 is not prime. Res64: 8D5B7641EF9E1004 Time : 0.0 sec. user=mdettweiler [2019-12-13 03:47:31] 975*2^1551036-1 is not prime. Res64: EDD9460C30FC1A5D Time : 0.0 sec. user=mdettweiler [2019-12-13 03:47:32] 825*2^1551036-1 is not prime. Res64: 446F24937DE428AD Time : 0.0 sec. user=mdettweiler [2019-12-13 03:47:32] 625*2^1551037-1 is not prime. Res64: 9E152A106B9C0428 Time : 0.0 sec. user=mdettweiler [2019-12-13 03:47:33] 837*2^1551036-1 is not prime. Res64: E4330EF843EB72F4 Time : 0.0 sec. user=mdettweiler [2019-12-13 03:47:34] 661*2^1551037-1 is not prime. Res64: 34FED9723DE860D7 Time : 0.0 sec. user=mdettweiler [2019-12-13 03:47:36] 775*2^1551037-1 is not prime. Res64: A4E51E0E91B3494B Time : 0.0 sec. user=mdettweiler [2019-12-13 03:47:40] 755*2^1551038-1 is not prime. Res64: 9C37EE0E548611E3 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:02:11] 857*2^1551038-1 is not prime. Res64: 8137AF33290F7A97 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:02:16] 957*2^1551038-1 is not prime. Res64: 81EEA5888C7E388E Time : 0.0 sec. user=mdettweiler [2019-12-13 04:02:20] 993*2^1551038-1 is not prime. Res64: 9DB29C6493FB2B47 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:02:24] 633*2^1551039-1 is not prime. Res64: 66689F6C0D16A288 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:02:32] 751*2^1551039-1 is not prime. Res64: 87B981E6C6C6A7A1 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:41:02] 983*2^1551040-1 is not prime. Res64: D9A56C91ED8C5E8D Time : 0.0 sec. user=mdettweiler [2019-12-13 04:41:03] 649*2^1551041-1 is not prime. Res64: D346FABCC76E027C Time : 0.0 sec. user=mdettweiler [2019-12-13 04:41:04] 795*2^1551041-1 is not prime. Res64: E6394899C5E77DA3 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:41:05] 621*2^1551042-1 is not prime. Res64: 4C965BB2D2C3CF5F Time : 0.0 sec. user=mdettweiler [2019-12-13 04:41:05] 635*2^1551042-1 is not prime. Res64: 4D28EE94520FCF81 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:41:10] 949*2^1551039-1 is not prime. Res64: 3CF6650707ECBF7B Time : 0.0 sec. user=mdettweiler [2019-12-13 04:41:11] 645*2^1551040-1 is not prime. Res64: B2F3FA81E36287FF Time : 0.0 sec. user=mdettweiler [2019-12-13 04:41:11] 713*2^1551040-1 is not prime. Res64: 77CB2A89162DCB15 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:41:12] 863*2^1551040-1 is not prime. Res64: A8A9802AC8A32418 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:41:12] 939*2^1551040-1 is not prime. Res64: D72F264B2D109547 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:56:39] 677*2^1551042-1 is not prime. Res64: 2CF5FAEEB879FAE5 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:56:39] 803*2^1551042-1 is not prime. Res64: 8F7CBF7C62765FAC Time : 0.0 sec. user=mdettweiler [2019-12-13 04:56:40] 815*2^1551042-1 is not prime. Res64: 78966537EAFF7A13 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:56:41] 945*2^1551042-1 is not prime. Res64: 32C9F00346745C37 Time : 0.0 sec. user=mdettweiler [2019-12-13 04:56:41] 639*2^1551043-1 is not prime. Res64: 5C2F1DAC3FA95908 Time : 0.0 sec. user=mdettweiler [2019-12-13 05:32:38] 699*2^1551043-1 is not prime. Res64: AF45574DB9896F0E Time : 0.0 sec. user=mdettweiler [2019-12-13 05:32:39] 723*2^1551043-1 is not prime. Res64: 603B00E07D3C9419 Time : 0.0 sec. user=mdettweiler [2019-12-13 05:32:39] 765*2^1551043-1 is not prime. Res64: 73CC20B9656A2CD9 Time : 0.0 sec. user=mdettweiler [2019-12-13 05:32:40] 819*2^1551043-1 is not prime. Res64: 1F1F0553A797D052 Time : 0.0 sec. user=mdettweiler [2019-12-13 05:32:41] 835*2^1551043-1 is not prime. Res64: 3F920FB8E14B1BD8 Time : 0.0 sec. user=mdettweiler [2019-12-13 05:32:59] 889*2^1551043-1 is not prime. Res64: 5EE41D884A270FB2 Time : 0.0 sec. user=mdettweiler [2019-12-13 05:32:59] 629*2^1551044-1 is not prime. Res64: ABB331F22CC5A8E6 Time : 0.0 sec. user=mdettweiler [2019-12-13 05:32:59] 687*2^1551044-1 is not prime. Res64: 3ED5FA9E3D18F22E Time : 0.0 sec. user=mdettweiler [2019-12-13 05:33:00] 819*2^1551044-1 is not prime. Res64: 99AF90678D6DB69C Time : 0.0 sec. user=mdettweiler [2019-12-13 05:33:00] 909*2^1551044-1 is not prime. Res64: 57323F4B7EC1BA62 Time : 0.0 sec. user=mdettweiler [2019-12-13 05:48:02] 929*2^1551044-1 is not prime. Res64: 8C950FE744F8BC38 Time : 0.0 sec. user=mdettweiler [2019-12-13 05:48:10] 609*2^1551045-1 is not prime. Res64: EDC8EE8BEF43E420 Time : 0.0 sec. user=mdettweiler [2019-12-13 05:48:18] 657*2^1551045-1 is not prime. Res64: 7D2C58694045055B Time : 0.0 sec. user=mdettweiler [2019-12-13 05:48:27] 765*2^1551045-1 is not prime. Res64: 9098680099D5C1BD Time : 0.0 sec. user=mdettweiler [2019-12-13 05:48:28] 777*2^1551045-1 is not prime. Res64: 4F5F8080E7420A96 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:25:33] 999*2^1551045-1 is not prime. Res64: E259C96D0A2B0025 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:25:34] 651*2^1551046-1 is not prime. Res64: 9788A363FACA5DD1 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:25:35] 761*2^1551046-1 is not prime. Res64: 725A01AA22CE4934 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:25:36] 801*2^1551046-1 is not prime. Res64: AE709E2421CD158B Time : 0.0 sec. user=mdettweiler [2019-12-13 06:25:37] 843*2^1551046-1 is not prime. Res64: B21F3A01DD02A4EC Time : 0.0 sec. user=mdettweiler [2019-12-13 06:25:37] 855*2^1551046-1 is not prime. Res64: 7E6022B2F0538E53 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:25:38] 993*2^1551046-1 is not prime. Res64: 16DB9D817B4185C3 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:25:38] 645*2^1551047-1 is not prime. Res64: 3D6EB9D088167EA3 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:25:39] 655*2^1551047-1 is not prime. Res64: 71691796563B867A Time : 0.0 sec. user=mdettweiler [2019-12-13 06:25:39] 705*2^1551047-1 is not prime. Res64: DD6B7208CA9CFDAD Time : 0.0 sec. user=mdettweiler [2019-12-13 06:40:17] 735*2^1551047-1 is not prime. Res64: 40AC119559979101 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:40:18] 805*2^1551047-1 is not prime. Res64: F8F19E20C754DBE5 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:40:18] 841*2^1551047-1 is not prime. Res64: AEF2BCAB6F1B7433 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:40:19] 843*2^1551047-1 is not prime. Res64: 2A82B573363B8865 Time : 0.0 sec. user=mdettweiler [2019-12-13 06:40:20] 629*2^1551048-1 is not prime. Res64: CA474893BEC411F5 Time : 0.0 sec. user=mdettweiler [2019-12-13 07:17:41] 723*2^1551048-1 is not prime. Res64: B4C2664D80355AAF Time : 0.0 sec. user=mdettweiler [2019-12-13 07:17:42] 789*2^1551049-1 is not prime. Res64: 2CF5B8088C23E0EE Time : 0.0 sec. user=mdettweiler [2019-12-13 07:17:43] 829*2^1551049-1 is not prime. Res64: 338ACD3188D569D4 Time : 0.0 sec. user=mdettweiler [2019-12-13 07:17:44] 835*2^1551049-1 is not prime. Res64: ECCA912B6E366A0F Time : 0.0 sec. user=mdettweiler [2019-12-13 07:17:45] 867*2^1551049-1 is not prime. Res64: 610D186DC853B31E Time : 0.0 sec. user=mdettweiler [2019-12-13 07:18:47] 765*2^1551048-1 is not prime. Res64: 216E35A03459CF2B Time : 0.0 sec. user=mdettweiler [2019-12-13 07:18:48] 815*2^1551048-1 is not prime. Res64: DA715364E2279E7D Time : 0.0 sec. user=mdettweiler [2019-12-13 07:18:48] 927*2^1551048-1 is not prime. Res64: A89E5AA55C92146D Time : 0.0 sec. user=mdettweiler [2019-12-13 07:18:49] 975*2^1551048-1 is not prime. Res64: 158A1AC41EB4836E Time : 0.0 sec. user=mdettweiler [2019-12-13 07:18:50] 667*2^1551049-1 is not prime. Res64: 3713CB978BCD3523 Time : 0.0 sec. user=mdettweiler [2019-12-13 07:31:57] 877*2^1551049-1 is not prime. Res64: 6BCDC0B1BBC58A06 Time : 0.0 sec. user=mdettweiler [2019-12-13 07:31:58] 925*2^1551049-1 is not prime. Res64: AC1199C34D8D25C4 Time : 0.0 sec. user=mdettweiler [2019-12-13 07:31:58] 635*2^1551050-1 is not prime. Res64: 3FB8731C09D5CF45 Time : 0.0 sec. user=mdettweiler [2019-12-13 07:31:59] 713*2^1551050-1 is not prime. Res64: 22B4E2978BEBC16B Time : 0.0 sec. user=mdettweiler [2019-12-13 07:32:00] 773*2^1551050-1 is not prime. Res64: 59BADD1C0E6E8A18 Time : 0.0 sec. user=mdettweiler [2019-12-13 08:10:02] 785*2^1551050-1 is not prime. Res64: 907671E405B1632B Time : 0.0 sec. user=mdettweiler [2019-12-13 08:10:04] 845*2^1551050-1 is not prime. Res64: DC2E14612E4F9A62 Time : 0.0 sec. user=mdettweiler [2019-12-13 08:10:06] 861*2^1551050-1 is not prime. Res64: C494816E28AE04A5 Time : 0.0 sec. user=mdettweiler [2019-12-13 08:10:07] 875*2^1551050-1 is not prime. Res64: 3F8C092939B7F304 Time : 0.0 sec. user=mdettweiler [2019-12-13 08:10:09] 917*2^1551050-1 is not prime. Res64: 5541B0E2411A20A4 Time : 0.0 sec. user=mdettweiler [2019-12-13 08:11:26] 923*2^1551050-1 is not prime. Res64: E706B93990362980 Time : 0.0 sec. user=mdettweiler [2019-12-13 08:11:27] 957*2^1551050-1 is not prime. Res64: B4E605DF8FFBBD6C Time : 0.0 sec. user=mdettweiler [2019-12-13 08:11:27] 613*2^1551051-1 is not prime. Res64: F90FE50103D74758 Time : 0.0 sec. user=mdettweiler [2019-12-13 08:11:28] 643*2^1551051-1 is not prime. Res64: 2CF5304BF6DD5F1A Time : 0.0 sec. user=mdettweiler [2019-12-13 08:11:29] 649*2^1551051-1 is not prime. Res64: B222337C7D4AB0A1 Time : 0.0 sec. user=mdettweiler [2019-12-13 08:24:52] 741*2^1551051-1 is not prime. Res64: CD5E0C5DBCD5DC59 Time : 0.0 sec. user=mdettweiler [2019-12-13 08:24:52] 769*2^1551051-1 is not prime. Res64: 513A5603B88E22BF Time : 0.0 sec. user=mdettweiler [2019-12-13 08:24:53] 795*2^1551051-1 is not prime. Res64: A080E57EE139CAEC Time : 0.0 sec. user=mdettweiler [2019-12-13 08:24:54] 859*2^1551051-1 is not prime. Res64: F17107232B095CC4 Time : 0.0 sec. user=mdettweiler [2019-12-13 08:24:55] 973*2^1551051-1 is not prime. Res64: E1601C7A31B5031A Time : 0.0 sec. user=mdettweiler [2019-12-13 09:01:29] 615*2^1551052-1 is not prime. Res64: 64F27ABD576E76F0 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:01:32] 647*2^1551052-1 is not prime. Res64: 75F35AD5B125DB70 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:01:34] 689*2^1551052-1 is not prime. Res64: 728029D895746D24 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:01:36] 695*2^1551052-1 is not prime. Res64: 062CFEBC42C779BF Time : 0.0 sec. user=mdettweiler [2019-12-13 09:01:38] 755*2^1551052-1 is not prime. Res64: F013224DD7EF7DDC Time : 0.0 sec. user=mdettweiler [2019-12-13 09:05:46] 759*2^1551052-1 is not prime. Res64: 926F2DBCA0A4AB1D Time : 0.0 sec. user=mdettweiler [2019-12-13 09:05:49] 863*2^1551052-1 is not prime. Res64: 279B810CB99AB628 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:05:52] 909*2^1551052-1 is not prime. Res64: AB8DFC4672250452 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:05:55] 975*2^1551052-1 is not prime. Res64: 16DAF31D0BAF73AA Time : 0.0 sec. user=mdettweiler [2019-12-13 09:05:57] 989*2^1551052-1 is not prime. Res64: 53AC2816D535DA8C Time : 0.0 sec. user=mdettweiler [2019-12-13 09:16:40] 685*2^1551053-1 is not prime. Res64: 37D074F06A119FDD Time : 0.0 sec. user=mdettweiler [2019-12-13 09:16:41] 735*2^1551053-1 is not prime. Res64: F76464A889197407 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:16:42] 741*2^1551053-1 is not prime. Res64: 090F409435C13D70 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:16:42] 829*2^1551053-1 is not prime. Res64: FE770954D0F99B9A Time : 0.0 sec. user=mdettweiler [2019-12-13 09:16:43] 847*2^1551053-1 is not prime. Res64: 3E95528231CAED67 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:56:05] 861*2^1551053-1 is not prime. Res64: 386EDDBD3741288F Time : 0.0 sec. user=mdettweiler [2019-12-13 09:56:06] 915*2^1551053-1 is not prime. Res64: 108726281FAA5234 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:56:06] 987*2^1551053-1 is not prime. Res64: B63BF45358EB17E9 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:56:07] 663*2^1551054-1 is not prime. Res64: E41C7E5BE7644BA6 Time : 0.0 sec. user=mdettweiler [2019-12-13 09:56:08] 833*2^1551054-1 is not prime. Res64: 25FEB84A1921AA09 Time : 0.0 sec. user=mdettweiler [2019-12-13 10:00:31] 893*2^1551054-1 is not prime. Res64: E88E29ED6D727886 Time : 0.0 sec. user=mdettweiler [2019-12-13 10:00:33] 903*2^1551054-1 is not prime. Res64: EDD805C7F2CE0566 Time : 0.0 sec. user=mdettweiler [2019-12-13 10:00:35] 983*2^1551054-1 is not prime. Res64: 3237B84C3FDC842D Time : 0.0 sec. user=mdettweiler [2019-12-13 10:00:36] 609*2^1551055-1 is not prime. Res64: 51916047516C9CAA Time : 0.0 sec. user=mdettweiler [2019-12-13 10:00:38] 853*2^1551055-1 is not prime. Res64: 0EC63BEE2DB36855 Time : 0.0 sec. user=mdettweiler [2019-12-13 10:10:23] 939*2^1551055-1 is not prime. Res64: CB5F7CFAC1C3FFBA Time : 0.0 sec. user=mdettweiler [2019-12-13 10:10:30] 985*2^1551055-1 is not prime. Res64: 42CC1B6AF74D0A0C Time : 0.0 sec. user=mdettweiler [2019-12-13 10:10:34] 663*2^1551056-1 is not prime. Res64: 5E17B2021A6FE005 Time : 0.0 sec. user=mdettweiler [2019-12-13 10:10:40] 669*2^1551056-1 is not prime. Res64: D655CAE876F2E687 Time : 0.0 sec. user=mdettweiler [2019-12-13 10:10:48] 843*2^1551056-1 is not prime. Res64: CA21F956564804BE Time : 0.0 sec. user=mdettweiler [2019-12-13 10:50:03] 903*2^1551056-1 is not prime. Res64: 94B34F668EEB508E Time : 0.0 sec. user=mdettweiler [2019-12-13 10:50:03] 983*2^1551056-1 is not prime. Res64: AAECAF9E6EDCA12E Time : 0.0 sec. user=mdettweiler [2019-12-13 10:50:04] 607*2^1551057-1 is not prime. Res64: A83A368F608AD875 Time : 0.0 sec. user=mdettweiler [2019-12-13 10:50:05] 667*2^1551057-1 is not prime. Res64: 75D627529C9442DC Time : 0.0 sec. user=mdettweiler [2019-12-13 10:50:06] 819*2^1551057-1 is not prime. Res64: 0B7E9643DB3A38A3 Time : 0.0 sec. user=mdettweiler [2019-12-13 10:54:28] 871*2^1551057-1 is not prime. Res64: 983465B640095764 Time : 0.0 sec. user=mdettweiler [2019-12-13 10:54:28] 945*2^1551057-1 is not prime. Res64: 7E289ED8AE90E4BC Time : 0.0 sec. user=mdettweiler [2019-12-13 10:54:29] 605*2^1551058-1 is not prime. Res64: 475798BA2FF9C0BF Time : 0.0 sec. user=mdettweiler [2019-12-13 10:54:29] 611*2^1551058-1 is not prime. Res64: F5A4F9013E484E61 Time : 0.0 sec. user=mdettweiler [2019-12-13 10:54:30] 665*2^1551058-1 is not prime. Res64: D8E26CD779328902 Time : 0.0 sec. user=mdettweiler [2019-12-13 11:04:45] 755*2^1551058-1 is not prime. Res64: B2FC7BC6A2C1EA69 Time : 0.0 sec. user=mdettweiler [2019-12-13 11:04:49] 813*2^1551058-1 is not prime. Res64: 4AA30388EF1C19C1 Time : 0.0 sec. user=mdettweiler [2019-12-13 11:04:51] 843*2^1551058-1 is not prime. Res64: AB31C68C55BC72EA Time : 0.0 sec. user=mdettweiler [2019-12-13 11:04:53] 933*2^1551058-1 is not prime. Res64: 376EB320EC6880DE Time : 0.0 sec. user=mdettweiler [2019-12-13 11:04:55] 621*2^1551059-1 is not prime. Res64: D70C0C0A26DB63FE Time : 0.0 sec. user=mdettweiler [2019-12-13 11:41:53] 663*2^1551059-1 is not prime. Res64: 31818265BBEBB3E1 Time : 0.0 sec. user=mdettweiler [2019-12-13 11:41:53] 753*2^1551059-1 is not prime. Res64: 953900851B02031F Time : 0.0 sec. user=mdettweiler [2019-12-13 11:41:54] 799*2^1551059-1 is not prime. Res64: C5C900CE0B52AEE3 Time : 0.0 sec. user=mdettweiler [2019-12-13 11:41:55] 707*2^1551060-1 is not prime. Res64: 975D03AC413DB956 Time : 0.0 sec. user=mdettweiler [2019-12-13 11:41:56] 765*2^1551060-1 is not prime. Res64: C41F9722B338F55B Time : 0.0 sec. user=mdettweiler [2019-12-13 11:47:49] 797*2^1551060-1 is not prime. Res64: 4375C08AD78BF039 Time : 0.0 sec. user=mdettweiler [2019-12-13 11:47:49] 899*2^1551060-1 is not prime. Res64: 4EF02056D234F9A3 Time : 0.0 sec. user=mdettweiler [2019-12-13 11:47:50] 983*2^1551060-1 is not prime. Res64: 0C0A5CEB87FE5B63 Time : 0.0 sec. user=mdettweiler [2019-12-13 11:47:50] 615*2^1551061-1 is not prime. Res64: 53903654FBAA5AED Time : 0.0 sec. user=mdettweiler [2019-12-13 11:47:51] 679*2^1551061-1 is not prime. Res64: 3F6114352CBE4C41 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:01:16] 717*2^1551061-1 is not prime. Res64: A49D1299780E5D43 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:01:19] 799*2^1551061-1 is not prime. Res64: 5C50246D0D8461C1 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:01:22] 945*2^1551061-1 is not prime. Res64: 48121980A8878C27 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:01:24] 951*2^1551061-1 is not prime. Res64: A38BF4C56B15B286 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:01:26] 999*2^1551061-1 is not prime. Res64: C8C7F71C9CCD355E Time : 0.0 sec. user=mdettweiler [2019-12-13 12:34:17] 755*2^1551062-1 is not prime. Res64: ED1B3C159D575228 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:34:20] 801*2^1551062-1 is not prime. Res64: 3916388079055A39 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:34:23] 815*2^1551062-1 is not prime. Res64: 0CF9DA60B71B67BD Time : 0.0 sec. user=mdettweiler [2019-12-13 12:34:24] 843*2^1551062-1 is not prime. Res64: E73CBACB1556971F Time : 0.0 sec. user=mdettweiler [2019-12-13 12:34:25] 857*2^1551062-1 is not prime. Res64: E9A1CA32DC5B0535 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:43:11] 935*2^1551062-1 is not prime. Res64: 69DC19A9C45E7D89 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:43:13] 951*2^1551062-1 is not prime. Res64: F3480A198A337632 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:43:14] 965*2^1551062-1 is not prime. Res64: 9ADC471A12EA33D2 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:43:15] 1001*2^1551062-1 is not prime. Res64: A1780EFE9B1B93D2 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:43:16] 621*2^1551063-1 is not prime. Res64: B66EF8A7DE0EDE36 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:53:57] 739*2^1551063-1 is not prime. Res64: 3D8059BE08025051 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:53:58] 781*2^1551063-1 is not prime. Res64: 9A9434168012B3A0 Time : 0.0 sec. user=mdettweiler [2019-12-13 12:53:59] 805*2^1551063-1 is not prime. Res64: 542A38FB9BA0520A Time : 0.0 sec. user=mdettweiler [2019-12-13 12:54:01] 849*2^1551063-1 is not prime. Res64: 187A2118950716EB Time : 0.0 sec. user=mdettweiler [2019-12-13 12:54:01] 853*2^1551063-1 is not prime. Res64: B93B719D5CF4204E Time : 0.0 sec. user=mdettweiler [2019-12-13 13:26:17] 871*2^1551063-1 is not prime. Res64: 44BBA4CC4F99A306 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:26:18] 895*2^1551063-1 is not prime. Res64: 49B7D12C3FEDD82A Time : 0.0 sec. user=mdettweiler [2019-12-13 13:26:18] 921*2^1551063-1 is not prime. Res64: 294D249063A22221 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:26:19] 705*2^1551064-1 is not prime. Res64: 6686123358E5D07D Time : 0.0 sec. user=mdettweiler [2019-12-13 13:26:21] 719*2^1551064-1 is not prime. Res64: 438111129DDC92F9 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:34:49] 759*2^1551064-1 is not prime. Res64: 5D3C9AFF69471C64 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:34:49] 869*2^1551064-1 is not prime. Res64: 83708886353128A6 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:34:50] 873*2^1551064-1 is not prime. Res64: 49FBC0E0DA46C6DC Time : 0.0 sec. user=mdettweiler [2019-12-13 13:34:50] 607*2^1551065-1 is not prime. Res64: C719DFB799272078 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:34:51] 611*2^1551066-1 is not prime. Res64: 3149F7C464D018B2 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:45:33] 633*2^1551066-1 is not prime. Res64: 6D16258A1FE8FB96 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:45:34] 647*2^1551066-1 is not prime. Res64: B76B061B2183D482 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:45:34] 705*2^1551066-1 is not prime. Res64: 98E8301065EA2737 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:45:35] 801*2^1551066-1 is not prime. Res64: 28F3DD0F9D7CCB13 Time : 0.0 sec. user=mdettweiler [2019-12-13 13:45:36] 821*2^1551066-1 is not prime. Res64: 4FB51076B2AD1479 Time : 0.0 sec. user=mdettweiler [2019-12-13 14:22:23] 843*2^1551066-1 is not prime. Res64: 4501A281AE5BE2E8 Time : 0.0 sec. user=mdettweiler [2019-12-13 14:22:23] 887*2^1551066-1 is not prime. Res64: D465060AD22572F3 Time : 0.0 sec. user=mdettweiler [2019-12-13 14:22:24] 947*2^1551066-1 is not prime. Res64: 10B4ABC1B0749F6A Time : 0.0 sec. user=mdettweiler [2019-12-13 14:22:25] 983*2^1551066-1 is not prime. Res64: 18C772199168C187 Time : 0.0 sec. user=mdettweiler [2019-12-13 14:22:26] 1001*2^1551066-1 is not prime. Res64: 0D1673127631D45D Time : 0.0 sec. user=mdettweiler [2019-12-13 14:27:48] 651*2^1551067-1 is not prime. Res64: A310C6BE0FCC089D Time : 0.0 sec. user=mdettweiler [2019-12-13 14:27:49] 681*2^1551067-1 is not prime. Res64: 0D7598394EF808C8 Time : 0.0 sec. user=mdettweiler [2019-12-13 14:27:49] 691*2^1551067-1 is not prime. Res64: 7916EF2D8AF407EB Time : 0.0 sec. user=mdettweiler [2019-12-13 14:27:50] 891*2^1551067-1 is not prime. Res64: 3AA59FB6835179FD Time : 0.0 sec. user=mdettweiler [2019-12-13 14:27:51] 973*2^1551067-1 is not prime. Res64: 8C1A12212CC456BC Time : 0.0 sec. user=mdettweiler [2019-12-13 14:39:31] 975*2^1551067-1 is not prime. Res64: 25FC528952C15555 Time : 0.0 sec. user=mdettweiler [2019-12-13 14:39:31] 979*2^1551067-1 is not prime. Res64: CA33095838B059E6 Time : 0.0 sec. user=mdettweiler [2019-12-13 14:39:32] 657*2^1551068-1 is not prime. Res64: FE607A92D9A2856A Time : 0.0 sec. user=mdettweiler [2019-12-13 14:39:33] 665*2^1551068-1 is not prime. Res64: 6CE82A4CCBB56017 Time : 0.0 sec. user=mdettweiler [2019-12-13 14:39:33] 669*2^1551068-1 is not prime. Res64: 4A91367B7709CB17 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:15:17] 683*2^1551068-1 is not prime. Res64: 9F8FA5BB0ED67B9A Time : 0.0 sec. user=mdettweiler [2019-12-13 15:15:18] 743*2^1551068-1 is not prime. Res64: 528A8B5D301448F6 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:15:19] 875*2^1551068-1 is not prime. Res64: FE8184A5DAB85423 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:15:20] 897*2^1551068-1 is not prime. Res64: 9A7E62EC9B27A816 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:15:21] 993*2^1551068-1 is not prime. Res64: 33CC3D827A9DDE06 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:20:22] 669*2^1551069-1 is not prime. Res64: 4A4BAEBDF7578E02 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:20:23] 691*2^1551069-1 is not prime. Res64: 09C04D2B0164D639 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:20:24] 769*2^1551069-1 is not prime. Res64: CF0D9DC8578AE284 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:20:25] 907*2^1551069-1 is not prime. Res64: F4BDC04CC315E8BF Time : 0.0 sec. user=mdettweiler [2019-12-13 15:20:25] 991*2^1551069-1 is not prime. Res64: 417212B7648366A4 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:32:06] 635*2^1551070-1 is not prime. Res64: 14683553E00B9FCA Time : 0.0 sec. user=mdettweiler [2019-12-13 15:32:07] 773*2^1551070-1 is not prime. Res64: 92ECF20289E76139 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:32:08] 855*2^1551070-1 is not prime. Res64: EA5BD3E35FA13AF0 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:32:08] 995*2^1551070-1 is not prime. Res64: 0F8EA0E29F9B3637 Time : 0.0 sec. user=mdettweiler [2019-12-13 15:32:09] 661*2^1551071-1 is not prime. Res64: AE56F7DD8BBA6F7A Time : 0.0 sec. user=mdettweiler [2019-12-13 16:08:04] 693*2^1551071-1 is not prime. Res64: 7F0B3ECE93DBE0B9 Time : 0.0 sec. user=mdettweiler [2019-12-13 16:08:09] 735*2^1551071-1 is not prime. Res64: F5A8C0322EBD9C2E Time : 0.0 sec. user=mdettweiler [2019-12-13 16:08:13] 763*2^1551071-1 is not prime. Res64: 1520DFA735E84074 Time : 0.0 sec. user=mdettweiler [2019-12-13 16:08:18] 813*2^1551071-1 is not prime. Res64: 0F94DBF99BE9D484 Time : 0.0 sec. user=mdettweiler [2019-12-13 16:08:21] 955*2^1551071-1 is not prime. Res64: 1FED501A6E783748 Time : 0.0 sec. user=mdettweiler [2019-12-13 16:11:21] 629*2^1551072-1 is not prime. Res64: 42DCEFABDA31B19C Time : 0.0 sec. user=mdettweiler [2019-12-13 16:11:24] 665*2^1551072-1 is not prime. Res64: 7B4E555A1FEB6C0D Time : 0.0 sec. user=mdettweiler [2019-12-13 16:11:27] 753*2^1551072-1 is not prime. Res64: 74E967743EC3BF99 Time : 0.0 sec. user=mdettweiler [2019-12-13 16:11:30] 765*2^1551072-1 is not prime. Res64: 305C67B162595512 Time : 0.0 sec. user=mdettweiler [2019-12-13 16:11:33] 625*2^1551073-1 is not prime. Res64: 4DAD00DDB1C59E18 Time : 0.0 sec. user=mdettweiler [2019-12-13 16:23:01] 651*2^1551073-1 is not prime. Res64: 8C530AB7ECC1A7FC Time : 0.0 sec. user=mdettweiler [2019-12-13 16:23:02] 679*2^1551073-1 is not prime. Res64: C32C6183176B1411 Time : 0.0 sec. user=mdettweiler [2019-12-13 16:23:02] 687*2^1551073-1 is not prime. Res64: EBDC4F3ADE1A59FD Time : 0.0 sec. user=mdettweiler [2019-12-13 16:23:03] 699*2^1551073-1 is not prime. Res64: 216E7C0572D69694 Time : 0.0 sec. user=mdettweiler [2019-12-13 16:23:04] 715*2^1551073-1 is not prime. Res64: 794122DD53F3C271 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:01:58] 769*2^1551073-1 is not prime. Res64: A38E973B63977999 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:02:01] 805*2^1551073-1 is not prime. Res64: 3637F4AFFA9122D2 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:02:02] 915*2^1551073-1 is not prime. Res64: 35328BE309C7679F Time : 0.0 sec. user=mdettweiler [2019-12-13 17:02:05] 945*2^1551073-1 is not prime. Res64: 6C8B63E9F8965151 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:02:07] 635*2^1551074-1 is not prime. Res64: 4589068348108A7B Time : 0.0 sec. user=mdettweiler [2019-12-13 17:03:47] 701*2^1551074-1 is not prime. Res64: 70D3746B99211493 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:03:49] 797*2^1551074-1 is not prime. Res64: 0A493A0728CA7274 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:03:50] 825*2^1551074-1 is not prime. Res64: E2811A4245415412 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:03:52] 831*2^1551074-1 is not prime. Res64: 8550632D592FF60B Time : 0.0 sec. user=mdettweiler [2019-12-13 17:03:53] 935*2^1551074-1 is not prime. Res64: 09DC79590F9429D3 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:16:17] 945*2^1551074-1 is not prime. Res64: D6AD36A21C04A6AE Time : 0.0 sec. user=mdettweiler [2019-12-13 17:16:19] 601*2^1551075-1 is not prime. Res64: B5C8AEF01B911160 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:16:21] 639*2^1551075-1 is not prime. Res64: E4216004A0771A7C Time : 0.0 sec. user=mdettweiler [2019-12-13 17:16:24] 795*2^1551075-1 is not prime. Res64: FB1D3E50CDBF9AF0 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:16:25] 871*2^1551075-1 is not prime. Res64: 78010458BFFB467A Time : 0.0 sec. user=mdettweiler [2019-12-13 17:54:22] 657*2^1551076-1 is not prime. Res64: 63EE96D84D0D37A0 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:54:23] 693*2^1551076-1 is not prime. Res64: C36F833A138EB7AF Time : 0.0 sec. user=mdettweiler [2019-12-13 17:54:24] 777*2^1551076-1 is not prime. Res64: E7E0516D0BA88EF4 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:54:24] 923*2^1551076-1 is not prime. Res64: 10FC4BD113C601D7 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:54:26] 717*2^1551077-1 is not prime. Res64: A6818DCCAF8A1C32 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:57:07] 847*2^1551077-1 is not prime. Res64: 9B1E19EE33F9BE59 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:57:08] 925*2^1551077-1 is not prime. Res64: 3858C432E1D2389D Time : 0.0 sec. user=mdettweiler [2019-12-13 17:57:08] 939*2^1551077-1 is not prime. Res64: 52BB3381155877E2 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:57:09] 945*2^1551077-1 is not prime. Res64: F03D6E7E61ED7E37 Time : 0.0 sec. user=mdettweiler [2019-12-13 17:57:10] 641*2^1551078-1 is not prime. Res64: 968D108A0CB53CF9 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:09:12] 747*2^1551078-1 is not prime. Res64: 84DCF63784B2090C Time : 0.0 sec. user=mdettweiler [2019-12-13 18:09:13] 797*2^1551078-1 is not prime. Res64: D06EA9A80B692D0E Time : 0.0 sec. user=mdettweiler [2019-12-13 18:09:14] 801*2^1551078-1 is not prime. Res64: 3BFFB7899316F863 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:09:15] 815*2^1551078-1 is not prime. Res64: E36991189EDC66FF Time : 0.0 sec. user=mdettweiler [2019-12-13 18:09:16] 927*2^1551078-1 is not prime. Res64: D9F62AE68DDC6A47 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:47:01] 723*2^1551079-1 is not prime. Res64: 3426F0702D4B2A24 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:47:02] 759*2^1551079-1 is not prime. Res64: E31C0D7EF8620058 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:47:03] 829*2^1551079-1 is not prime. Res64: 606D374D7AE97414 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:47:03] 993*2^1551079-1 is not prime. Res64: 87DA78893DD694E7 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:47:04] 615*2^1551080-1 is not prime. Res64: D3F03628F93E2788 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:48:57] 725*2^1551080-1 is not prime. Res64: E5D5F874EAE9C1BC Time : 0.0 sec. user=mdettweiler [2019-12-13 18:48:57] 735*2^1551080-1 is not prime. Res64: 4D1F0E0F23DFBDC5 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:48:58] 839*2^1551080-1 is not prime. Res64: 1C08088626677C89 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:48:59] 843*2^1551080-1 is not prime. Res64: C9412F66679FAB25 Time : 0.0 sec. user=mdettweiler [2019-12-13 18:48:59] 845*2^1551080-1 is not prime. Res64: 46690D8DF0425EC1 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:02:15] 855*2^1551080-1 is not prime. Res64: 219828EC11506D98 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:02:19] 927*2^1551080-1 is not prime. Res64: 339DC2E829E9758D Time : 0.0 sec. user=mdettweiler [2019-12-13 19:02:22] 963*2^1551080-1 is not prime. Res64: 03211AD7183370B3 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:02:26] 609*2^1551081-1 is not prime. Res64: 7D708D9006AC2008 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:02:29] 711*2^1551081-1 is not prime. Res64: B9E03582C56292DF Time : 0.0 sec. user=mdettweiler [2019-12-13 19:38:20] 717*2^1551081-1 is not prime. Res64: D3A1AC3A567F88B1 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:38:21] 727*2^1551081-1 is not prime. Res64: E2238C7C0A8F1453 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:38:21] 781*2^1551081-1 is not prime. Res64: 6B41BB88F8C18599 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:38:22] 861*2^1551081-1 is not prime. Res64: 72AA69C55A5FCF6A Time : 0.0 sec. user=mdettweiler [2019-12-13 19:38:23] 645*2^1551082-1 is not prime. Res64: E80D47CC1D81E34C Time : 0.0 sec. user=mdettweiler [2019-12-13 19:40:13] 665*2^1551082-1 is not prime. Res64: 78D6F90DA7C78ADC Time : 0.0 sec. user=mdettweiler [2019-12-13 19:40:14] 701*2^1551082-1 is not prime. Res64: B80EEE5A239968DE Time : 0.0 sec. user=mdettweiler [2019-12-13 19:40:15] 705*2^1551082-1 is not prime. Res64: E6C457B6AA8D9A6A Time : 0.0 sec. user=mdettweiler [2019-12-13 19:40:15] 735*2^1551082-1 is not prime. Res64: 175C40F7DE55FD50 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:40:16] 867*2^1551082-1 is not prime. Res64: E316FC02320B94D6 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:55:12] 873*2^1551082-1 is not prime. Res64: 20DE8B558C318BE3 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:55:13] 911*2^1551082-1 is not prime. Res64: 3E769F84EE8A4F5A Time : 0.0 sec. user=mdettweiler [2019-12-13 19:55:14] 643*2^1551083-1 is not prime. Res64: B7ABA77B6CE1756E Time : 0.0 sec. user=mdettweiler [2019-12-13 19:55:14] 703*2^1551083-1 is not prime. Res64: 557C107CFAC65A54 Time : 0.0 sec. user=mdettweiler [2019-12-13 19:55:15] 789*2^1551083-1 is not prime. Res64: 65429B6216918A7F Time : 0.0 sec. user=mdettweiler [2019-12-13 20:31:32] 939*2^1551083-1 is not prime. Res64: BDAD0519C1B5A7FB Time : 0.0 sec. user=mdettweiler [2019-12-13 20:31:33] 767*2^1551084-1 is not prime. Res64: 94E8E69B49789122 Time : 0.0 sec. user=mdettweiler [2019-12-13 20:31:33] 863*2^1551084-1 is not prime. Res64: EE5F939CE632E2BC Time : 0.0 sec. user=mdettweiler [2019-12-13 20:31:34] 667*2^1551085-1 is not prime. Res64: 3B2092FAB85BB0ED Time : 0.0 sec. user=mdettweiler [2019-12-13 20:31:35] 847*2^1551085-1 is not prime. Res64: 24A3580EBC7D52FE Time : 0.0 sec. user=mdettweiler [2019-12-13 20:34:18] 855*2^1551085-1 is not prime. Res64: 59CAD9EDF7097C7E Time : 0.0 sec. user=mdettweiler [2019-12-13 20:34:19] 957*2^1551085-1 is not prime. Res64: CDA8C548A15DBAD7 Time : 0.0 sec. user=mdettweiler [2019-12-13 20:34:20] 761*2^1551086-1 is not prime. Res64: FE6D06FE56773352 Time : 0.0 sec. user=mdettweiler [2019-12-13 20:34:20] 827*2^1551086-1 is not prime. Res64: 3D89EB63169EA1D4 Time : 0.0 sec. user=mdettweiler [2019-12-13 20:34:21] 643*2^1551087-1 is not prime. Res64: 3A4D558B1C33D8F7 Time : 0.0 sec. user=mdettweiler [2019-12-13 20:49:59] 711*2^1551087-1 is not prime. Res64: 0F74C213A675AFA1 Time : 0.0 sec. user=mdettweiler [2019-12-13 20:50:00] 909*2^1551087-1 is not prime. Res64: B9576E907F243490 Time : 0.0 sec. user=mdettweiler [2019-12-13 20:50:01] 963*2^1551087-1 is not prime. Res64: EC18C04D1B877F02 Time : 0.0 sec. user=mdettweiler [2019-12-13 20:50:02] 973*2^1551087-1 is not prime. Res64: 9B3A044E75283829 Time : 0.0 sec. user=mdettweiler [2019-12-13 20:50:02] 605*2^1551088-1 is not prime. Res64: 3981C72E6332137A Time : 0.0 sec. user=mdettweiler [2019-12-13 21:23:57] 765*2^1551088-1 is not prime. Res64: E4BA0D91991F3BE6 Time : 0.0 sec. user=mdettweiler [2019-12-13 21:23:58] 773*2^1551088-1 is not prime. Res64: 7610F549E575B7E0 Time : 0.0 sec. user=mdettweiler [2019-12-13 21:23:58] 777*2^1551088-1 is not prime. Res64: 489D00C9748C80B1 Time : 0.0 sec. user=mdettweiler [2019-12-13 21:23:59] 993*2^1551088-1 is not prime. Res64: 1A02F61D6F96C51E Time : 0.0 sec. user=mdettweiler [2019-12-13 21:24:00] 631*2^1551089-1 is not prime. Res64: 80618CAF35E4D5C9 Time : 0.0 sec. user=mdettweiler [2019-12-13 21:25:50] 691*2^1551089-1 is not prime. Res64: 8C8388A0043E42A9 Time : 0.0 sec. user=mdettweiler [2019-12-13 21:25:51] 747*2^1551089-1 is not prime. Res64: BC4183FA76E66A6B Time : 0.0 sec. user=mdettweiler [2019-12-13 21:25:52] 789*2^1551089-1 is not prime. Res64: 0E3F76C4BB986C1D Time : 0.0 sec. user=mdettweiler [2019-12-13 21:25:53] 801*2^1551089-1 is not prime. Res64: 51506216F0B965EF Time : 0.0 sec. user=mdettweiler [2019-12-13 21:25:54] 861*2^1551089-1 is not prime. Res64: 962AF0918909BA5D Time : 0.0 sec. user=mdettweiler [2019-12-13 21:41:50] 889*2^1551089-1 is not prime. Res64: EE61529D08A4FB43 Time : 0.0 sec. user=mdettweiler [2019-12-13 21:41:51] 641*2^1551090-1 is not prime. Res64: C68F871499355C6A Time : 0.0 sec. user=mdettweiler [2019-12-13 21:41:52] 717*2^1551090-1 is not prime. Res64: DE733BB5DB423FC4 Time : 0.0 sec. user=mdettweiler [2019-12-13 21:41:53] 797*2^1551090-1 is not prime. Res64: B473822F1610FFFB Time : 0.0 sec. user=mdettweiler [2019-12-13 21:41:53] 887*2^1551090-1 is not prime. Res64: DA1342885C8FEB39 Time : 0.0 sec. user=mdettweiler [2019-12-13 22:16:43] 905*2^1551090-1 is not prime. Res64: A42130AB08CD6471 Time : 0.0 sec. user=mdettweiler [2019-12-13 22:16:45] 945*2^1551090-1 is not prime. Res64: 15F561774C57582A Time : 0.0 sec. user=mdettweiler [2019-12-13 22:16:47] 673*2^1551091-1 is not prime. Res64: 6E92ABC6CD22D683 Time : 0.0 sec. user=mdettweiler [2019-12-13 22:16:49] 705*2^1551091-1 is not prime. Res64: 3574E605F92840E8 Time : 0.0 sec. user=mdettweiler [2019-12-13 22:16:50] 759*2^1551091-1 is not prime. Res64: 35EBC82B1DD81A34 Time : 0.0 sec. user=mdettweiler [2019-12-13 22:21:10] 931*2^1551091-1 is not prime. Res64: 4DAE959D6A369575 Time : 0.0 sec. user=mdettweiler [2019-12-13 22:21:12] 951*2^1551091-1 is not prime. Res64: CBCEC088381DE2EE Time : 0.0 sec. user=mdettweiler [2019-12-13 22:21:13] 961*2^1551091-1 is not prime. Res64: 6D3B7D8C7ADC529F Time : 0.0 sec. user=mdettweiler [2019-12-13 22:21:14] 975*2^1551091-1 is not prime. Res64: 5044CFC62BA8725E Time : 0.0 sec. user=mdettweiler [2019-12-13 22:21:15] 675*2^1551092-1 is not prime. Res64: 91A760D0E5D34222 Time : 0.0 sec. user=mdettweiler [2019-12-13 22:34:31] 683*2^1551092-1 is not prime. Res64: EEB234457ED11397 Time : 0.0 sec. user=mdettweiler [2019-12-13 22:34:32] 735*2^1551092-1 is not prime. Res64: 72123E591A72BD0A Time : 0.0 sec. user=mdettweiler [2019-12-13 22:34:33] 903*2^1551092-1 is not prime. Res64: FADEB57415E99DCD Time : 0.0 sec. user=mdettweiler [2019-12-13 22:34:33] 957*2^1551092-1 is not prime. Res64: ACD2D2654260C33C Time : 0.0 sec. user=mdettweiler [2019-12-13 22:34:34] 679*2^1551093-1 is not prime. Res64: 111A842ABAA8862A Time : 0.0 sec. user=mdettweiler [2019-12-13 23:09:50] 681*2^1551093-1 is not prime. Res64: 95FEBA242F8AAE42 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:09:51] 765*2^1551093-1 is not prime. Res64: 3B5B522D52F13819 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:09:52] 937*2^1551093-1 is not prime. Res64: C16330C7DC4A9C5D Time : 0.0 sec. user=mdettweiler [2019-12-13 23:09:53] 945*2^1551093-1 is not prime. Res64: 84F6B99B9B8ACBB8 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:09:54] 695*2^1551094-1 is not prime. Res64: E78834D8239C0C07 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:14:21] 747*2^1551094-1 is not prime. Res64: 116776E0C587D240 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:14:21] 971*2^1551094-1 is not prime. Res64: 422D1C586C47A868 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:14:22] 783*2^1551095-1 is not prime. Res64: BAFBB9C4BCD68D11 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:14:23] 823*2^1551095-1 is not prime. Res64: 59B6325D086BDD68 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:14:24] 865*2^1551095-1 is not prime. Res64: 5EA5DE88F8ED3B57 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:27:25] 999*2^1551095-1 is not prime. Res64: 5CC3F80BB11EB8D3 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:27:26] 669*2^1551096-1 is not prime. Res64: E8B4172F5E7DBFE1 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:27:26] 705*2^1551096-1 is not prime. Res64: 66C31B243F324401 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:27:27] 803*2^1551096-1 is not prime. Res64: D11E9059C9029E26 Time : 0.0 sec. user=mdettweiler [2019-12-13 23:27:28] 909*2^1551096-1 is not prime. Res64: C7D06B0F12EF7E68 Time : 0.0 sec.