user=mdettweiler [2020-05-12 00:08:02] 829*2^1559223-1 is not prime. Res64: 52FC493550984EDE Time : 0.0 sec. user=mdettweiler [2020-05-12 00:08:07] 859*2^1559223-1 is not prime. Res64: 020E8C5F821A203D Time : 0.0 sec. user=mdettweiler [2020-05-12 00:08:10] 891*2^1559223-1 is not prime. Res64: 02260D202B6CAC1C Time : 0.0 sec. user=mdettweiler [2020-05-12 00:08:15] 943*2^1559223-1 is not prime. Res64: 3B258D83DD96C988 Time : 0.0 sec. user=mdettweiler [2020-05-12 00:08:20] 951*2^1559223-1 is not prime. Res64: 6491E3347D2F9574 Time : 0.0 sec. user=mdettweiler [2020-05-12 00:23:11] 963*2^1559223-1 is not prime. Res64: 9F63D35E40163D81 Time : 0.0 sec. user=mdettweiler [2020-05-12 00:23:11] 755*2^1559224-1 is not prime. Res64: 4C503DCAF9CE2D0C Time : 0.0 sec. user=mdettweiler [2020-05-12 00:23:12] 849*2^1559224-1 is not prime. Res64: 9D1F6754F9BE9683 Time : 0.0 sec. user=mdettweiler [2020-05-12 00:23:13] 857*2^1559224-1 is not prime. Res64: E727D68150822610 Time : 0.0 sec. user=mdettweiler [2020-05-12 00:23:13] 909*2^1559224-1 is not prime. Res64: CB8350A894DA59C6 Time : 0.0 sec. user=mdettweiler [2020-05-12 00:24:41] 939*2^1559224-1 is not prime. Res64: BA39256A418741B1 Time : 0.0 sec. user=mdettweiler [2020-05-12 00:24:41] 965*2^1559224-1 is not prime. Res64: B51D22B04A45CE07 Time : 0.0 sec. user=mdettweiler [2020-05-12 00:24:42] 969*2^1559224-1 is not prime. Res64: 00826E313BE712B5 Time : 0.0 sec. user=mdettweiler [2020-05-12 00:24:43] 975*2^1559224-1 is not prime. Res64: 4464FA4BEB78F9A8 Time : 0.0 sec. user=mdettweiler [2020-05-12 00:24:44] 787*2^1559225-1 is not prime. Res64: 6BFFE91B403B69FA Time : 0.0 sec. user=mdettweiler [2020-05-12 01:01:33] 677*2^1559226-1 is not prime. Res64: 58FFF758787D35B1 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:01:35] 725*2^1559226-1 is not prime. Res64: 0BD86C80363D7401 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:01:37] 801*2^1559226-1 is not prime. Res64: DF021684BF044291 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:01:39] 815*2^1559226-1 is not prime. Res64: 4F66E619E751B60E Time : 0.0 sec. user=mdettweiler [2020-05-12 01:01:41] 833*2^1559226-1 is not prime. Res64: FE3D0071A178AD7D Time : 0.0 sec. user=mdettweiler [2020-05-12 01:16:18] 861*2^1559226-1 is not prime. Res64: A92C7271746EEB5A Time : 0.0 sec. user=mdettweiler [2020-05-12 01:16:19] 619*2^1559227-1 is not prime. Res64: ACC29E061E3AE8BB Time : 0.0 sec. user=mdettweiler [2020-05-12 01:16:19] 631*2^1559227-1 is not prime. Res64: 3C3B62408BD06AD6 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:16:20] 645*2^1559227-1 is not prime. Res64: 182B3F670DE51DF0 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:16:20] 649*2^1559227-1 is not prime. Res64: 1BFF707998DC84C5 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:18:51] 733*2^1559227-1 is not prime. Res64: DE134F042DB555D3 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:18:52] 751*2^1559227-1 is not prime. Res64: 430022845CBB14F2 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:18:52] 765*2^1559227-1 is not prime. Res64: B7D7235CA75970D3 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:18:52] 819*2^1559227-1 is not prime. Res64: 34A6D1BD632AD0F7 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:18:53] 895*2^1559227-1 is not prime. Res64: 7CB3D2F2C2312B45 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:55:10] 961*2^1559227-1 is not prime. Res64: AB604B550E262104 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:55:12] 629*2^1559228-1 is not prime. Res64: 977D16823CACF9E3 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:55:14] 659*2^1559228-1 is not prime. Res64: 9557A0308909BF27 Time : 0.0 sec. user=mdettweiler [2020-05-12 01:55:15] 665*2^1559228-1 is not prime. Res64: 892E4B44D8E1696E Time : 0.0 sec. user=mdettweiler [2020-05-12 01:55:16] 837*2^1559228-1 is not prime. Res64: 7916E5D6942B0BFE Time : 0.0 sec. user=mdettweiler [2020-05-12 02:12:47] 993*2^1559228-1 is not prime. Res64: 5042F0A700ABBF08 Time : 0.0 sec. user=mdettweiler [2020-05-12 02:12:54] 657*2^1559229-1 is not prime. Res64: 54E085BC95F265CB Time : 0.0 sec. user=mdettweiler [2020-05-12 02:12:59] 745*2^1559229-1 is not prime. Res64: 694AFA1102F748BA Time : 0.0 sec. user=mdettweiler [2020-05-12 02:13:04] 747*2^1559229-1 is not prime. Res64: 31048FCE93B787D1 Time : 0.0 sec. user=mdettweiler [2020-05-12 02:13:09] 781*2^1559229-1 is not prime. Res64: 31AABF1FC73FB5BF Time : 0.0 sec. user=mdettweiler [2020-05-12 02:14:50] 869*2^1559228-1 is not prime. Res64: BB06D000EB608EFB Time : 0.0 sec. user=mdettweiler [2020-05-12 02:14:56] 879*2^1559228-1 is not prime. Res64: 3203252E9983DBF6 Time : 0.0 sec. user=mdettweiler [2020-05-12 02:15:01] 953*2^1559228-1 is not prime. Res64: 93730BB62346C3FF Time : 0.0 sec. user=mdettweiler [2020-05-12 02:15:09] 957*2^1559228-1 is not prime. Res64: 9F47BBAF52015E64 Time : 0.0 sec. user=mdettweiler [2020-05-12 02:15:16] 959*2^1559228-1 is not prime. Res64: C90DBA458014EF32 Time : 0.0 sec. user=mdettweiler [2020-05-12 02:52:11] 829*2^1559229-1 is not prime. Res64: CE8164896811B206 Time : 0.0 sec. user=mdettweiler [2020-05-12 02:52:12] 979*2^1559229-1 is not prime. Res64: 728750C92BA17DDB Time : 0.0 sec. user=mdettweiler [2020-05-12 02:52:13] 997*2^1559229-1 is not prime. Res64: 435C9243535B34C1 Time : 0.0 sec. user=mdettweiler [2020-05-12 02:52:13] 911*2^1559230-1 is not prime. Res64: 2A003BABFE98F040 Time : 0.0 sec. user=mdettweiler [2020-05-12 02:52:14] 741*2^1559231-1 is not prime. Res64: 4F20892EFBC9F86C Time : 0.0 sec. user=mdettweiler [2020-05-12 03:07:46] 745*2^1559231-1 is not prime. Res64: 42E5F08FBF62629A Time : 0.0 sec. user=mdettweiler [2020-05-12 03:07:46] 775*2^1559231-1 is not prime. Res64: 6B3B1F70EBB59492 Time : 0.0 sec. user=mdettweiler [2020-05-12 03:07:47] 945*2^1559231-1 is not prime. Res64: BDCBACB901FF6169 Time : 0.0 sec. user=mdettweiler [2020-05-12 03:07:48] 605*2^1559232-1 is not prime. Res64: AE4CB079E452EA86 Time : 0.0 sec. user=mdettweiler [2020-05-12 03:07:48] 633*2^1559232-1 is not prime. Res64: C61AC41845A83D31 Time : 0.0 sec. user=mdettweiler [2020-05-12 03:09:07] 689*2^1559232-1 is not prime. Res64: 30FAC7DA23DBA33D Time : 0.0 sec. user=mdettweiler [2020-05-12 03:09:07] 767*2^1559232-1 is not prime. Res64: 25D7947D2A6A4F6E Time : 0.0 sec. user=mdettweiler [2020-05-12 03:09:08] 957*2^1559232-1 is not prime. Res64: 503F0CD353D914CE Time : 0.0 sec. user=mdettweiler [2020-05-12 03:09:08] 615*2^1559233-1 is not prime. Res64: 06E9EB39E4CF9CB7 Time : 0.0 sec. user=mdettweiler [2020-05-12 03:09:09] 625*2^1559233-1 is not prime. Res64: EB83DB49738AACC4 Time : 0.0 sec. user=mdettweiler [2020-05-12 03:46:52] 775*2^1559233-1 is not prime. Res64: 6521BFC8FC10E282 Time : 0.0 sec. user=mdettweiler [2020-05-12 03:46:53] 945*2^1559233-1 is not prime. Res64: F11F8E97B02E04C3 Time : 0.0 sec. user=mdettweiler [2020-05-12 03:46:55] 605*2^1559234-1 is not prime. Res64: 5EB75F2B076DDC7F Time : 0.0 sec. user=mdettweiler [2020-05-12 03:46:56] 675*2^1559234-1 is not prime. Res64: 242140B950F11FEC Time : 0.0 sec. user=mdettweiler [2020-05-12 03:46:57] 873*2^1559234-1 is not prime. Res64: D638A2295CA23FB0 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:02:33] 875*2^1559234-1 is not prime. Res64: 591F858FE1395F1C Time : 0.0 sec. user=mdettweiler [2020-05-12 04:02:40] 705*2^1559235-1 is not prime. Res64: A471C8431DC9028A Time : 0.0 sec. user=mdettweiler [2020-05-12 04:02:43] 735*2^1559235-1 is not prime. Res64: 199517FE8E795374 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:02:46] 895*2^1559235-1 is not prime. Res64: 9DD0D35C32544FB3 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:02:48] 623*2^1559236-1 is not prime. Res64: CF0224A866C9A5E8 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:05:17] 657*2^1559236-1 is not prime. Res64: EB0D437DE83CCB32 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:05:20] 833*2^1559236-1 is not prime. Res64: D41EF4DF266B78C0 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:05:21] 869*2^1559236-1 is not prime. Res64: D539C9E6DEAC30D6 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:05:23] 873*2^1559236-1 is not prime. Res64: 5012B1793BA414CD Time : 0.0 sec. user=mdettweiler [2020-05-12 04:05:25] 957*2^1559236-1 is not prime. Res64: 6B1ADE5FDD456AEC Time : 0.0 sec. user=mdettweiler [2020-05-12 04:41:38] 645*2^1559237-1 is not prime. Res64: 5804F97E9489262F Time : 0.0 sec. user=mdettweiler [2020-05-12 04:41:39] 655*2^1559237-1 is not prime. Res64: 579A2DE886FA1828 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:41:39] 669*2^1559237-1 is not prime. Res64: 1BF8C1FF26859E7A Time : 0.0 sec. user=mdettweiler [2020-05-12 04:41:40] 865*2^1559237-1 is not prime. Res64: 2C2ED01D5697AEE5 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:41:40] 867*2^1559237-1 is not prime. Res64: EE30596684F12999 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:56:17] 945*2^1559237-1 is not prime. Res64: 31B26C43BF3A7240 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:56:17] 615*2^1559238-1 is not prime. Res64: 550A3DD84C2DDDAD Time : 0.0 sec. user=mdettweiler [2020-05-12 04:56:17] 635*2^1559238-1 is not prime. Res64: C8300E0F96FE0A1C Time : 0.0 sec. user=mdettweiler [2020-05-12 04:56:18] 693*2^1559238-1 is not prime. Res64: 76F723EB9DB4472F Time : 0.0 sec. user=mdettweiler [2020-05-12 04:56:18] 755*2^1559238-1 is not prime. Res64: ABA8C3F089C104E6 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:58:45] 777*2^1559238-1 is not prime. Res64: 7785ACAAF005B1C4 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:58:45] 933*2^1559238-1 is not prime. Res64: 4CA90F803F69B6AB Time : 0.0 sec. user=mdettweiler [2020-05-12 04:58:46] 601*2^1559239-1 is not prime. Res64: 85850F044538E6EC Time : 0.0 sec. user=mdettweiler [2020-05-12 04:58:46] 603*2^1559239-1 is not prime. Res64: C07F3C28E81CAF15 Time : 0.0 sec. user=mdettweiler [2020-05-12 04:58:46] 639*2^1559239-1 is not prime. Res64: 847350597DC9ACF8 Time : 0.0 sec. user=mdettweiler [2020-05-12 05:36:23] 663*2^1559239-1 is not prime. Res64: 3295B210B51BE826 Time : 0.0 sec. user=mdettweiler [2020-05-12 05:36:23] 741*2^1559239-1 is not prime. Res64: 65E178E12BA853B0 Time : 0.0 sec. user=mdettweiler [2020-05-12 05:36:23] 883*2^1559239-1 is not prime. Res64: 4BAA47A7C0C5DD6F Time : 0.0 sec. user=mdettweiler [2020-05-12 05:36:24] 925*2^1559239-1 is not prime. Res64: DFDBBC1C79042D1A Time : 0.0 sec. user=mdettweiler [2020-05-12 05:36:24] 677*2^1559240-1 is not prime. Res64: 725871F27E3C301F Time : 0.0 sec. user=mdettweiler [2020-05-12 05:51:21] 785*2^1559240-1 is not prime. Res64: 0401DAA849A097AA Time : 0.0 sec. user=mdettweiler [2020-05-12 05:51:21] 795*2^1559240-1 is not prime. Res64: 5D01A037FBD5169D Time : 0.0 sec. user=mdettweiler [2020-05-12 05:51:21] 875*2^1559240-1 is not prime. Res64: 40D9F1978C0AE375 Time : 0.0 sec. user=mdettweiler [2020-05-12 05:51:22] 893*2^1559240-1 is not prime. Res64: A24D09DE81E94118 Time : 0.0 sec. user=mdettweiler [2020-05-12 05:51:22] 637*2^1559241-1 is not prime. Res64: B30F7B29C8E6C0A7 Time : 0.0 sec. user=mdettweiler [2020-05-12 05:52:39] 705*2^1559241-1 is not prime. Res64: D3051B9C5638D089 Time : 0.0 sec. user=mdettweiler [2020-05-12 05:52:39] 781*2^1559241-1 is not prime. Res64: 8B09E93E4523FDC5 Time : 0.0 sec. user=mdettweiler [2020-05-12 05:52:40] 805*2^1559241-1 is not prime. Res64: FF27CE86E906BF0F Time : 0.0 sec. user=mdettweiler [2020-05-12 05:52:40] 861*2^1559241-1 is not prime. Res64: 048FBFAC2A2F80E2 Time : 0.0 sec. user=mdettweiler [2020-05-12 05:52:40] 741*2^1559242-1 is not prime. Res64: 32D89DA492004717 Time : 0.0 sec. user=mdettweiler [2020-05-12 06:28:49] 803*2^1559242-1 is not prime. Res64: CA97940E75DFE6FA Time : 0.0 sec. user=mdettweiler [2020-05-12 06:28:49] 825*2^1559242-1 is not prime. Res64: 9F67A7746A6C277E Time : 0.0 sec. user=mdettweiler [2020-05-12 06:28:50] 833*2^1559242-1 is not prime. Res64: CF608B44F30CC919 Time : 0.0 sec. user=mdettweiler [2020-05-12 06:28:50] 609*2^1559243-1 is not prime. Res64: 0301F5853CE1400F Time : 0.0 sec. user=mdettweiler [2020-05-12 06:28:51] 673*2^1559243-1 is not prime. Res64: FE1D0C6720EB64BD Time : 0.0 sec. user=mdettweiler [2020-05-12 06:46:07] 975*2^1559244-1 is not prime. Res64: D5BD168B95DDD207 Time : 0.0 sec. user=mdettweiler [2020-05-12 06:46:07] 619*2^1559245-1 is not prime. Res64: 6A3E2514FF72FC3E Time : 0.0 sec. user=mdettweiler [2020-05-12 06:46:07] 661*2^1559245-1 is not prime. Res64: 3F60541EE8C75485 Time : 0.0 sec. user=mdettweiler [2020-05-12 06:46:08] 717*2^1559245-1 is not prime. Res64: 89136AC91FA4D8C8 Time : 0.0 sec. user=mdettweiler [2020-05-12 06:46:08] 721*2^1559245-1 is not prime. Res64: 740A687BBAF0A43F Time : 0.0 sec. user=mdettweiler [2020-05-12 06:46:11] 685*2^1559243-1 is not prime. Res64: B932BA6AF71AD488 Time : 0.0 sec. user=mdettweiler [2020-05-12 06:46:12] 741*2^1559243-1 is not prime. Res64: D85786DCA97549D6 Time : 0.0 sec. user=mdettweiler [2020-05-12 06:46:12] 861*2^1559243-1 is not prime. Res64: 704762F53602EE98 Time : 0.0 sec. user=mdettweiler [2020-05-12 06:46:13] 837*2^1559244-1 is not prime. Res64: 554985396FAC0422 Time : 0.0 sec. user=mdettweiler [2020-05-12 06:46:13] 899*2^1559244-1 is not prime. Res64: A326E7454D5058E4 Time : 0.0 sec. user=mdettweiler [2020-05-12 07:23:26] 801*2^1559245-1 is not prime. Res64: EFA3D9E4D4E44766 Time : 0.0 sec. user=mdettweiler [2020-05-12 07:23:26] 885*2^1559245-1 is not prime. Res64: FB463DB40F29A255 Time : 0.0 sec. user=mdettweiler [2020-05-12 07:23:26] 919*2^1559245-1 is not prime. Res64: 2FF7BB7A96EC7390 Time : 0.0 sec. user=mdettweiler [2020-05-12 07:23:27] 663*2^1559246-1 is not prime. Res64: A81EBE4FAB74003B Time : 0.0 sec. user=mdettweiler [2020-05-12 07:23:27] 677*2^1559246-1 is not prime. Res64: 2EFF6361BB5F6CE5 Time : 0.0 sec. user=mdettweiler [2020-05-12 07:38:53] 705*2^1559246-1 is not prime. Res64: B168BA378CD48FCC Time : 0.0 sec. user=mdettweiler [2020-05-12 07:38:53] 713*2^1559246-1 is not prime. Res64: 4C9D728A2D67A46B Time : 0.0 sec. user=mdettweiler [2020-05-12 07:38:53] 773*2^1559246-1 is not prime. Res64: BC18CA8FDA78C903 Time : 0.0 sec. user=mdettweiler [2020-05-12 07:38:54] 785*2^1559246-1 is not prime. Res64: 9466CEE0CF95F70A Time : 0.0 sec. user=mdettweiler [2020-05-12 07:38:54] 813*2^1559246-1 is not prime. Res64: D4F82E0D2D1F657A Time : 0.0 sec. user=mdettweiler [2020-05-12 07:42:11] 945*2^1559246-1 is not prime. Res64: 91BF908F5ADE8071 Time : 0.0 sec. user=mdettweiler [2020-05-12 07:42:11] 963*2^1559246-1 is not prime. Res64: 2DCEDBC9A9F49835 Time : 0.0 sec. user=mdettweiler [2020-05-12 07:42:11] 781*2^1559247-1 is not prime. Res64: 7304400126A0B9FA Time : 0.0 sec. user=mdettweiler [2020-05-12 07:42:11] 919*2^1559247-1 is not prime. Res64: D394E92C7B63182A Time : 0.0 sec. user=mdettweiler [2020-05-12 07:42:12] 603*2^1559248-1 is not prime. Res64: 3D1E1BF82D656D9D Time : 0.0 sec. user=mdettweiler [2020-05-12 08:18:40] 843*2^1559248-1 is not prime. Res64: 9EDE342D3B720AEA Time : 0.0 sec. user=mdettweiler [2020-05-12 08:18:41] 957*2^1559248-1 is not prime. Res64: CED456E428DABC8F Time : 0.0 sec. user=mdettweiler [2020-05-12 08:18:42] 729*2^1559249-1 is not prime. Res64: 245D50D6675E01D7 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:18:43] 759*2^1559249-1 is not prime. Res64: 09698F63820CB827 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:18:43] 855*2^1559249-1 is not prime. Res64: 8EFEE7E2CACFBCB6 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:32:57] 967*2^1559249-1 is not prime. Res64: CC384FC03FA5A709 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:32:57] 747*2^1559250-1 is not prime. Res64: 8C828BEBB1FFE309 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:32:57] 765*2^1559250-1 is not prime. Res64: 75A32CE492436187 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:32:58] 803*2^1559250-1 is not prime. Res64: 6C713B49655FFC54 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:32:58] 843*2^1559250-1 is not prime. Res64: 07A8A1A096B3F1B9 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:35:40] 971*2^1559250-1 is not prime. Res64: 3206436365EC1DF7 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:35:41] 615*2^1559251-1 is not prime. Res64: 0A2A540851ECD319 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:35:41] 663*2^1559251-1 is not prime. Res64: 8207E29D98B81250 Time : 0.0 sec. user=mdettweiler [2020-05-12 08:35:41] 735*2^1559251-1 is not prime. Res64: B2B4ECBA2ADC286F Time : 0.0 sec. user=mdettweiler [2020-05-12 08:35:42] 801*2^1559251-1 is not prime. Res64: 94F8691519831D87 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:13:45] 849*2^1559251-1 is not prime. Res64: EB1395EACE343B07 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:13:46] 931*2^1559251-1 is not prime. Res64: ACC2AB63F5E930B3 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:13:46] 615*2^1559252-1 is not prime. Res64: 86BE2F8AD0EAF094 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:13:46] 725*2^1559252-1 is not prime. Res64: 4A30046228E15253 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:13:47] 753*2^1559252-1 is not prime. Res64: 893B100B32B04794 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:25:07] 813*2^1559252-1 is not prime. Res64: B98EE5E66122F071 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:25:07] 827*2^1559252-1 is not prime. Res64: 96A486B962144247 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:25:08] 607*2^1559253-1 is not prime. Res64: AFBECEBB2A6733A9 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:25:08] 691*2^1559253-1 is not prime. Res64: 90AE2006028F5E04 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:25:08] 699*2^1559253-1 is not prime. Res64: E78A7A2A00A8F6E9 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:29:45] 769*2^1559253-1 is not prime. Res64: BAEE8F6762173A1A Time : 0.0 sec. user=mdettweiler [2020-05-12 09:29:45] 811*2^1559253-1 is not prime. Res64: 23B244FA8252A27C Time : 0.0 sec. user=mdettweiler [2020-05-12 09:29:46] 819*2^1559253-1 is not prime. Res64: DA84D7309D3BD3B6 Time : 0.0 sec. user=mdettweiler [2020-05-12 09:29:46] 835*2^1559253-1 is not prime. Res64: 4B70214153DF853E Time : 0.0 sec. user=mdettweiler [2020-05-12 09:29:46] 895*2^1559253-1 is not prime. Res64: 43590B3954AB85CF Time : 0.0 sec. user=mdettweiler [2020-05-12 10:09:04] 927*2^1559253-1 is not prime. Res64: 1C16BA9D2F169C5A Time : 0.0 sec. user=mdettweiler [2020-05-12 10:09:07] 991*2^1559253-1 is not prime. Res64: 341711F5B0ADF8ED Time : 0.0 sec. user=mdettweiler [2020-05-12 10:09:10] 605*2^1559254-1 is not prime. Res64: 51CD041B6E3B2CE9 Time : 0.0 sec. user=mdettweiler [2020-05-12 10:09:11] 731*2^1559254-1 is not prime. Res64: 68B215C5158E5EB2 Time : 0.0 sec. user=mdettweiler [2020-05-12 10:09:13] 827*2^1559254-1 is not prime. Res64: E5D0C3BACF5148AF Time : 0.0 sec. user=mdettweiler [2020-05-12 10:27:16] 909*2^1559255-1 is not prime. Res64: CBCEFD7A4BDB4290 Time : 0.0 sec. user=mdettweiler [2020-05-12 10:27:16] 939*2^1559255-1 is not prime. Res64: AEFFC43066E2E275 Time : 0.0 sec. user=mdettweiler [2020-05-12 10:27:17] 629*2^1559256-1 is not prime. Res64: 7C0AF1980DA9D0B3 Time : 0.0 sec. user=mdettweiler [2020-05-12 10:27:17] 845*2^1559256-1 is not prime. Res64: DF58D5982AAA2FB7 Time : 0.0 sec. user=mdettweiler [2020-05-12 10:27:17] 861*2^1559257-1 is not prime. Res64: 61E66B38853739D0 Time : 0.0 sec. user=mdettweiler [2020-05-12 10:29:40] 971*2^1559254-1 is not prime. Res64: 006AA63E3BDFDE23 Time : 0.0 sec. user=mdettweiler [2020-05-12 10:29:41] 987*2^1559254-1 is not prime. Res64: C3DAFF46B22D4D95 Time : 0.0 sec. user=mdettweiler [2020-05-12 10:29:41] 771*2^1559255-1 is not prime. Res64: D874E44D8510D8DA Time : 0.0 sec. user=mdettweiler [2020-05-12 10:29:42] 843*2^1559255-1 is not prime. Res64: 51FBFE324A33F90C Time : 0.0 sec. user=mdettweiler [2020-05-12 10:29:42] 883*2^1559255-1 is not prime. Res64: 9F6FDA589BFBC912 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:03:28] 931*2^1559257-1 is not prime. Res64: 18FBC6ECF9072FBF Time : 0.0 sec. user=mdettweiler [2020-05-12 11:03:30] 641*2^1559258-1 is not prime. Res64: BCCEE27A8B877E64 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:03:31] 651*2^1559258-1 is not prime. Res64: E1C43A41654289EA Time : 0.0 sec. user=mdettweiler [2020-05-12 11:03:32] 771*2^1559258-1 is not prime. Res64: D469C074F61B539F Time : 0.0 sec. user=mdettweiler [2020-05-12 11:03:33] 833*2^1559258-1 is not prime. Res64: CE743E1C6DBA3FA3 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:22:11] 675*2^1559259-1 is not prime. Res64: 574F06A8F2F530BE Time : 0.0 sec. user=mdettweiler [2020-05-12 11:22:11] 685*2^1559259-1 is not prime. Res64: 646C747577413EDA Time : 0.0 sec. user=mdettweiler [2020-05-12 11:22:12] 711*2^1559259-1 is not prime. Res64: A8FF682B5FBA5D22 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:22:12] 795*2^1559259-1 is not prime. Res64: 2B8A38C1669A7735 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:22:13] 719*2^1559260-1 is not prime. Res64: 1537263A4E6718E6 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:25:47] 845*2^1559258-1 is not prime. Res64: 00D9ABF693416491 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:25:47] 875*2^1559258-1 is not prime. Res64: E7C5A1730358F69E Time : 0.0 sec. user=mdettweiler [2020-05-12 11:25:48] 887*2^1559258-1 is not prime. Res64: 3F2BB0E8EDBBA02D Time : 0.0 sec. user=mdettweiler [2020-05-12 11:25:48] 923*2^1559258-1 is not prime. Res64: CD0740D057960798 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:25:48] 1001*2^1559258-1 is not prime. Res64: 4D738DDFDA6369C8 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:59:34] 723*2^1559260-1 is not prime. Res64: F67302B5203F787C Time : 0.0 sec. user=mdettweiler [2020-05-12 11:59:34] 759*2^1559260-1 is not prime. Res64: D299330B1DAD9567 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:59:35] 777*2^1559260-1 is not prime. Res64: 7C1A321DA5E46884 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:59:35] 927*2^1559260-1 is not prime. Res64: 028AA38383F8A1C7 Time : 0.0 sec. user=mdettweiler [2020-05-12 11:59:35] 957*2^1559260-1 is not prime. Res64: 2BAD6CFB94E66271 Time : 0.0 sec. user=mdettweiler [2020-05-12 12:17:52] 965*2^1559260-1 is not prime. Res64: 783A408DA1BDB5EE Time : 0.0 sec. user=mdettweiler [2020-05-12 12:17:53] 989*2^1559260-1 is not prime. Res64: EDE062FFF64A1BEB Time : 0.0 sec. user=mdettweiler [2020-05-12 12:17:53] 669*2^1559261-1 is not prime. Res64: 7B7F25FF240DCE93 Time : 0.0 sec. user=mdettweiler [2020-05-12 12:17:54] 715*2^1559261-1 is not prime. Res64: 3ECE7679DFE12938 Time : 0.0 sec. user=mdettweiler [2020-05-12 12:17:54] 769*2^1559261-1 is not prime. Res64: 9EE6B65D100159F8 Time : 0.0 sec. user=mdettweiler [2020-05-12 12:21:48] 795*2^1559261-1 is not prime. Res64: 5CED4192F7989B92 Time : 0.0 sec. user=mdettweiler [2020-05-12 12:21:48] 805*2^1559261-1 is not prime. Res64: F696FF84B23E239A Time : 0.0 sec. user=mdettweiler [2020-05-12 12:21:48] 925*2^1559261-1 is not prime. Res64: E865FAC714B357B4 Time : 0.0 sec. user=mdettweiler [2020-05-12 12:21:49] 939*2^1559261-1 is not prime. Res64: 7B9A66086F8BAB46 Time : 0.0 sec. user=mdettweiler [2020-05-12 12:21:49] 777*2^1559262-1 is not prime. Res64: F71D75883CD864AD Time : 0.0 sec. user=mdettweiler [2020-05-12 12:55:12] 833*2^1559262-1 is not prime. Res64: C082EB49FA2E54FA Time : 0.0 sec. user=mdettweiler [2020-05-12 12:55:12] 977*2^1559262-1 is not prime. Res64: 4422169CC5160AC4 Time : 0.0 sec. user=mdettweiler [2020-05-12 12:55:12] 609*2^1559263-1 is not prime. Res64: 8A244FAF156CEE56 Time : 0.0 sec. user=mdettweiler [2020-05-12 12:55:13] 633*2^1559263-1 is not prime. Res64: FDF872419A1428ED Time : 0.0 sec. user=mdettweiler [2020-05-12 12:55:13] 741*2^1559263-1 is not prime. Res64: 828340D45F373479 Time : 0.0 sec. user=mdettweiler [2020-05-12 13:16:05] 751*2^1559263-1 is not prime. Res64: E62A99848198CD4E Time : 0.0 sec. user=mdettweiler [2020-05-12 13:16:06] 813*2^1559263-1 is not prime. Res64: 941169452732D7B1 Time : 0.0 sec. user=mdettweiler [2020-05-12 13:16:07] 859*2^1559263-1 is not prime. Res64: D3CD32DC15AD4402 Time : 0.0 sec. user=mdettweiler [2020-05-12 13:16:08] 885*2^1559263-1 is not prime. Res64: AA75428D661475B2 Time : 0.0 sec. user=mdettweiler [2020-05-12 13:16:09] 993*2^1559263-1 is not prime. Res64: 2452CDB191AA69FF Time : 0.0 sec. user=mdettweiler [2020-05-12 13:17:07] 725*2^1559264-1 is not prime. Res64: 2F696C3A827E52BC Time : 0.0 sec. user=mdettweiler [2020-05-12 13:17:08] 773*2^1559264-1 is not prime. Res64: 73F2EE50527F0304 Time : 0.0 sec. user=mdettweiler [2020-05-12 13:17:09] 897*2^1559264-1 is not prime. Res64: B8D1B8364421D19E Time : 0.0 sec. user=mdettweiler [2020-05-12 13:17:09] 669*2^1559265-1 is not prime. Res64: 3743BC64E55ABB49 Time : 0.0 sec. user=mdettweiler [2020-05-12 13:17:10] 705*2^1559265-1 is not prime. Res64: DB0F2B1C85312063 Time : 0.0 sec. user=mdettweiler [2020-05-12 13:49:11] 949*2^1559265-1 is not prime. Res64: 027587A9FCBC18E0 Time : 0.0 sec. user=mdettweiler [2020-05-12 13:49:12] 695*2^1559266-1 is not prime. Res64: 8D6765C863AEE59D Time : 0.0 sec. user=mdettweiler [2020-05-12 13:49:12] 735*2^1559266-1 is not prime. Res64: 3624F4EB03674604 Time : 0.0 sec. user=mdettweiler [2020-05-12 13:49:12] 765*2^1559266-1 is not prime. Res64: 8F92166D3825692A Time : 0.0 sec. user=mdettweiler [2020-05-12 13:49:12] 813*2^1559266-1 is not prime. Res64: 1933B4DF6FFB774C Time : 0.0 sec. user=mdettweiler [2020-05-12 14:09:33] 669*2^1559268-1 is not prime. Res64: FEC5111D0F07E6FA Time : 0.0 sec. user=mdettweiler [2020-05-12 14:09:33] 707*2^1559268-1 is not prime. Res64: 1601CD8F1A5F66D9 Time : 0.0 sec. user=mdettweiler [2020-05-12 14:09:34] 737*2^1559268-1 is not prime. Res64: C015BA9A9BE93F5E Time : 0.0 sec. user=mdettweiler [2020-05-12 14:09:34] 797*2^1559268-1 is not prime. Res64: 840598F0B0DA2E15 Time : 0.0 sec. user=mdettweiler [2020-05-12 14:09:34] 819*2^1559268-1 is not prime. Res64: 6EDF4FE7B71CB58C Time : 0.0 sec. user=mdettweiler [2020-05-12 14:11:50] 675*2^1559267-1 is not prime. Res64: A8EF47CDBE0EEB4C Time : 0.0 sec. user=mdettweiler [2020-05-12 14:11:50] 685*2^1559267-1 is not prime. Res64: 718E08661D954280 Time : 0.0 sec. user=mdettweiler [2020-05-12 14:11:51] 913*2^1559267-1 is not prime. Res64: 5F6F2EBEBA079939 Time : 0.0 sec. user=mdettweiler [2020-05-12 14:11:51] 979*2^1559267-1 is not prime. Res64: 5D1E9E96602A7DA3 Time : 0.0 sec. user=mdettweiler [2020-05-12 14:11:51] 991*2^1559267-1 is not prime. Res64: C885ECDA8E40409E Time : 0.0 sec. user=mdettweiler [2020-05-12 14:44:27] 839*2^1559268-1 is not prime. Res64: F83E34AD9C1053D6 Time : 0.0 sec. user=mdettweiler [2020-05-12 14:44:27] 987*2^1559268-1 is not prime. Res64: 220F5A8B8CA759F7 Time : 0.0 sec. user=mdettweiler [2020-05-12 14:44:28] 999*2^1559268-1 is not prime. Res64: AD409C89FF466EDE Time : 0.0 sec. user=mdettweiler [2020-05-12 14:44:28] 757*2^1559269-1 is not prime. Res64: 0275B4FACD15157E Time : 0.0 sec. user=mdettweiler [2020-05-12 14:44:28] 829*2^1559269-1 is not prime. Res64: 59645BA34A5B12FD Time : 0.0 sec. user=mdettweiler [2020-05-12 15:01:27] 615*2^1559270-1 is not prime. Res64: 54971CF8A41C344D Time : 0.0 sec. user=mdettweiler [2020-05-12 15:01:32] 641*2^1559270-1 is not prime. Res64: 8842E75700F1EAB8 Time : 0.0 sec. user=mdettweiler [2020-05-12 15:01:37] 663*2^1559270-1 is not prime. Res64: A287E38E8B62CC64 Time : 0.0 sec. user=mdettweiler [2020-05-12 15:01:38] 675*2^1559270-1 is not prime. Res64: 42A26A8C85B2D6AD Time : 0.0 sec. user=mdettweiler [2020-05-12 15:01:40] 791*2^1559270-1 is not prime. Res64: 7A08285EEBF4C2AF Time : 0.0 sec. user=mdettweiler [2020-05-12 15:09:13] 797*2^1559270-1 is not prime. Res64: 65FEDEF8BCCF4D6C Time : 0.0 sec. user=mdettweiler [2020-05-12 15:09:14] 923*2^1559270-1 is not prime. Res64: 2799CD0A81A0E587 Time : 0.0 sec. user=mdettweiler [2020-05-12 15:09:14] 935*2^1559270-1 is not prime. Res64: 4E2718F007FF37B7 Time : 0.0 sec. user=mdettweiler [2020-05-12 15:09:14] 941*2^1559270-1 is not prime. Res64: 3AC3ED58DE9F5469 Time : 0.0 sec. user=mdettweiler [2020-05-12 15:09:15] 1001*2^1559270-1 is not prime. Res64: DC7D0AD3C6531A3B Time : 0.0 sec. user=mdettweiler [2020-05-12 15:39:03] 621*2^1559271-1 is not prime. Res64: 2A347440B49099FC Time : 0.0 sec. user=mdettweiler [2020-05-12 15:39:03] 745*2^1559271-1 is not prime. Res64: A83DBA62864F9717 Time : 0.0 sec. user=mdettweiler [2020-05-12 15:39:04] 861*2^1559271-1 is not prime. Res64: 250A6F6546526352 Time : 0.0 sec. user=mdettweiler [2020-05-12 15:39:04] 901*2^1559271-1 is not prime. Res64: A8E27936E9B3836D Time : 0.0 sec. user=mdettweiler [2020-05-12 15:39:04] 617*2^1559272-1 is not prime. Res64: EDC2061D068BF9DF Time : 0.0 sec. user=mdettweiler [2020-05-12 15:56:54] 693*2^1559272-1 is not prime. Res64: 3AEF0CB342D829C4 Time : 0.0 sec. user=mdettweiler [2020-05-12 15:56:54] 717*2^1559272-1 is not prime. Res64: 22194FECC9D18303 Time : 0.0 sec. user=mdettweiler [2020-05-12 15:56:54] 759*2^1559272-1 is not prime. Res64: 1FF225CE7803675A Time : 0.0 sec. user=mdettweiler [2020-05-12 15:56:55] 869*2^1559272-1 is not prime. Res64: 1D4096C19F9C6ECB Time : 0.0 sec. user=mdettweiler [2020-05-12 15:56:55] 939*2^1559272-1 is not prime. Res64: B89DDDD01D70D3DD Time : 0.0 sec. user=mdettweiler [2020-05-12 16:01:40] 685*2^1559273-1 is not prime. Res64: 7EF288060638F992 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:01:42] 691*2^1559273-1 is not prime. Res64: 41E6283034787944 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:01:44] 727*2^1559273-1 is not prime. Res64: 7EE2D4E8B46A719B Time : 0.0 sec. user=mdettweiler [2020-05-12 16:01:45] 775*2^1559273-1 is not prime. Res64: AE8D199FCFFAE0F8 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:01:47] 789*2^1559273-1 is not prime. Res64: 88DAD1AD1628D0C8 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:36:02] 847*2^1559273-1 is not prime. Res64: 55F6F0F2BCE55E3E Time : 0.0 sec. user=mdettweiler [2020-05-12 16:36:02] 861*2^1559273-1 is not prime. Res64: FBDF65D0DC38CA98 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:36:03] 897*2^1559273-1 is not prime. Res64: F02AE96F21F3D7D9 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:36:03] 939*2^1559273-1 is not prime. Res64: 3FD56A684DCDB419 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:36:03] 707*2^1559274-1 is not prime. Res64: FEAD42170CA981AF Time : 0.0 sec. user=mdettweiler [2020-05-12 16:53:08] 783*2^1559274-1 is not prime. Res64: CABA85E9EB895990 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:53:08] 797*2^1559274-1 is not prime. Res64: B176ED87B50359F8 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:53:08] 881*2^1559274-1 is not prime. Res64: D123D0A7097B79E6 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:53:09] 893*2^1559274-1 is not prime. Res64: 490B0B9FBE37D26C Time : 0.0 sec. user=mdettweiler [2020-05-12 16:53:09] 921*2^1559274-1 is not prime. Res64: 91863407E5036404 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:58:04] 975*2^1559274-1 is not prime. Res64: A7EBF60A2FF56910 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:58:04] 691*2^1559275-1 is not prime. Res64: 04DEDD429872563E Time : 0.0 sec. user=mdettweiler [2020-05-12 16:58:04] 741*2^1559275-1 is not prime. Res64: 3764438D6A498F4C Time : 0.0 sec. user=mdettweiler [2020-05-12 16:58:05] 873*2^1559275-1 is not prime. Res64: C495C5190BD969F4 Time : 0.0 sec. user=mdettweiler [2020-05-12 16:58:05] 951*2^1559275-1 is not prime. Res64: F2F59B437E92F422 Time : 0.0 sec. user=mdettweiler [2020-05-12 17:29:29] 999*2^1559275-1 is not prime. Res64: 26E023E05C00E7D7 Time : 0.0 sec. user=mdettweiler [2020-05-12 17:29:30] 615*2^1559276-1 is not prime. Res64: 3BB51FCC577B79E0 Time : 0.0 sec. user=mdettweiler [2020-05-12 17:29:30] 617*2^1559276-1 is not prime. Res64: C2D0078D92467C05 Time : 0.0 sec. user=mdettweiler [2020-05-12 17:29:30] 785*2^1559276-1 is not prime. Res64: 712B97A107F81676 Time : 0.0 sec. user=mdettweiler [2020-05-12 17:29:31] 803*2^1559276-1 is not prime. Res64: 89E28F8D0853615B Time : 0.0 sec. user=mdettweiler [2020-05-12 17:49:15] 845*2^1559276-1 is not prime. Res64: 662D92F345F9299B Time : 0.0 sec. user=mdettweiler [2020-05-12 17:49:16] 957*2^1559276-1 is not prime. Res64: 52024B268DA0C5EB Time : 0.0 sec. user=mdettweiler [2020-05-12 17:49:16] 963*2^1559276-1 is not prime. Res64: BA23C1BB2B9F0479 Time : 0.0 sec. user=mdettweiler [2020-05-12 17:49:16] 765*2^1559277-1 is not prime. Res64: 7DF1EF51B419DDF0 Time : 0.0 sec. user=mdettweiler [2020-05-12 17:49:17] 817*2^1559277-1 is not prime. Res64: FBBD3D574BD794EC Time : 0.0 sec. user=mdettweiler [2020-05-12 17:52:51] 979*2^1559277-1 is not prime. Res64: 6EB17DCFCF48450A Time : 0.0 sec. user=mdettweiler [2020-05-12 17:52:51] 985*2^1559277-1 is not prime. Res64: 9FECD652E0CA6501 Time : 0.0 sec. user=mdettweiler [2020-05-12 17:52:51] 671*2^1559278-1 is not prime. Res64: D26D386F0163C5F7 Time : 0.0 sec. user=mdettweiler [2020-05-12 17:52:52] 825*2^1559278-1 is not prime. Res64: 2259CE08C090F73B Time : 0.0 sec. user=mdettweiler [2020-05-12 17:52:52] 827*2^1559278-1 is not prime. Res64: DF874DA4AFB9C6FB Time : 0.0 sec. user=mdettweiler [2020-05-12 18:25:16] 855*2^1559278-1 is not prime. Res64: DC60D28DFA6DE9CA Time : 0.0 sec. user=mdettweiler [2020-05-12 18:25:17] 867*2^1559278-1 is not prime. Res64: FF6622DAFB1D0A94 Time : 0.0 sec. user=mdettweiler [2020-05-12 18:25:17] 933*2^1559278-1 is not prime. Res64: A44243B48335B89D Time : 0.0 sec. user=mdettweiler [2020-05-12 18:25:18] 645*2^1559279-1 is not prime. Res64: DF2B6D8F1CCBFC21 Time : 0.0 sec. user=mdettweiler [2020-05-12 18:25:18] 685*2^1559279-1 is not prime. Res64: 768DE086F250E5EF Time : 0.0 sec. user=mdettweiler [2020-05-12 18:44:35] 711*2^1559279-1 is not prime. Res64: B0BB49F3ADEC137D Time : 0.0 sec. user=mdettweiler [2020-05-12 18:44:36] 745*2^1559279-1 is not prime. Res64: 1C4B5BB03F86BE38 Time : 0.0 sec. user=mdettweiler [2020-05-12 18:44:36] 759*2^1559279-1 is not prime. Res64: 7CE1FE8A8B420E1F Time : 0.0 sec. user=mdettweiler [2020-05-12 18:44:36] 921*2^1559279-1 is not prime. Res64: D6AD39831E914C03 Time : 0.0 sec. user=mdettweiler [2020-05-12 18:44:37] 943*2^1559279-1 is not prime. Res64: F0DF2CBD087E2379 Time : 0.0 sec. user=mdettweiler [2020-05-12 18:50:23] 979*2^1559279-1 is not prime. Res64: 14EE7AC14CBF37A9 Time : 0.0 sec. user=mdettweiler [2020-05-12 18:50:24] 779*2^1559280-1 is not prime. Res64: 9FD09C6EFB0C4439 Time : 0.0 sec. user=mdettweiler [2020-05-12 18:50:24] 849*2^1559280-1 is not prime. Res64: 68D30AF8DDA30C82 Time : 0.0 sec. user=mdettweiler [2020-05-12 18:50:24] 857*2^1559280-1 is not prime. Res64: 39397778EEBE7F2B Time : 0.0 sec. user=mdettweiler [2020-05-12 18:50:25] 923*2^1559280-1 is not prime. Res64: 428E202F92DC13E2 Time : 0.0 sec. user=mdettweiler [2020-05-12 19:20:33] 929*2^1559280-1 is not prime. Res64: 52AEECEA2DA6FA73 Time : 0.0 sec. user=mdettweiler [2020-05-12 19:20:33] 975*2^1559280-1 is not prime. Res64: 21389F9341F575B8 Time : 0.0 sec. user=mdettweiler [2020-05-12 19:20:34] 747*2^1559281-1 is not prime. Res64: 89CAFBB968133B74 Time : 0.0 sec. user=mdettweiler [2020-05-12 19:20:34] 777*2^1559281-1 is not prime. Res64: 45FAFAA5210F6B63 Time : 0.0 sec. user=mdettweiler [2020-05-12 19:20:34] 829*2^1559281-1 is not prime. Res64: 35BA05EFE23AF3AB Time : 0.0 sec. user=mdettweiler [2020-05-12 19:41:36] 861*2^1559281-1 is not prime. Res64: F09E841CA216124B Time : 0.0 sec. user=mdettweiler [2020-05-12 19:41:36] 871*2^1559281-1 is not prime. Res64: 798615C1D2D544D4 Time : 0.0 sec. user=mdettweiler [2020-05-12 19:41:37] 889*2^1559281-1 is not prime. Res64: 3EFAC914A3D4759F Time : 0.0 sec. user=mdettweiler [2020-05-12 19:41:37] 937*2^1559281-1 is not prime. Res64: FD5304717869648A Time : 0.0 sec. user=mdettweiler [2020-05-12 19:41:37] 651*2^1559282-1 is not prime. Res64: 4CDD3C09E0339A57 Time : 0.0 sec. user=mdettweiler [2020-05-12 19:42:46] 801*2^1559282-1 is not prime. Res64: 2AC8469D5EBDE428 Time : 0.0 sec. user=mdettweiler [2020-05-12 19:42:47] 831*2^1559282-1 is not prime. Res64: 6A10C413B18ADC6D Time : 0.0 sec. user=mdettweiler [2020-05-12 19:42:47] 679*2^1559283-1 is not prime. Res64: 250425BFCE180968 Time : 0.0 sec. user=mdettweiler [2020-05-12 19:42:47] 685*2^1559283-1 is not prime. Res64: 2DDF3A9A1EC17684 Time : 0.0 sec. user=mdettweiler [2020-05-12 19:42:47] 735*2^1559283-1 is not prime. Res64: A56013B6B79BA045 Time : 0.0 sec. user=mdettweiler [2020-05-12 20:14:25] 753*2^1559283-1 is not prime. Res64: 948E43B35132A12F Time : 0.0 sec. user=mdettweiler [2020-05-12 20:14:26] 823*2^1559283-1 is not prime. Res64: 5699587C30FE506E Time : 0.0 sec. user=mdettweiler [2020-05-12 20:14:26] 879*2^1559283-1 is not prime. Res64: C0196C7A00285BB4 Time : 0.0 sec. user=mdettweiler [2020-05-12 20:14:27] 705*2^1559284-1 is not prime. Res64: 67A192B975D84702 Time : 0.0 sec. user=mdettweiler [2020-05-12 20:14:27] 785*2^1559284-1 is not prime. Res64: 9920D6CA13B63F0D Time : 0.0 sec. user=mdettweiler [2020-05-12 20:37:40] 927*2^1559284-1 is not prime. Res64: 411CDE9388DD1C68 Time : 0.0 sec. user=mdettweiler [2020-05-12 20:37:40] 965*2^1559284-1 is not prime. Res64: 6E29636068F566CC Time : 0.0 sec. user=mdettweiler [2020-05-12 20:37:41] 645*2^1559285-1 is not prime. Res64: 78F62D2A375AC7E7 Time : 0.0 sec. user=mdettweiler [2020-05-12 20:37:41] 717*2^1559285-1 is not prime. Res64: 9E8CB31038B356D5 Time : 0.0 sec. user=mdettweiler [2020-05-12 20:37:41] 727*2^1559285-1 is not prime. Res64: 400FAE27420F1F6B Time : 0.0 sec. user=mdettweiler [2020-05-12 20:38:55] 819*2^1559284-1 is not prime. Res64: 1764675956DE5B4D Time : 0.0 sec. user=mdettweiler [2020-05-12 20:38:55] 857*2^1559284-1 is not prime. Res64: A7F592199568B051 Time : 0.0 sec. user=mdettweiler [2020-05-12 20:38:55] 875*2^1559284-1 is not prime. Res64: 2ADFB556AC4400D8 Time : 0.0 sec. user=mdettweiler [2020-05-12 20:38:56] 885*2^1559284-1 is not prime. Res64: 29ECF7AADA76067E Time : 0.0 sec. user=mdettweiler [2020-05-12 20:38:56] 899*2^1559284-1 is not prime. Res64: 9E17F1C11A4D0E68 Time : 0.0 sec. user=mdettweiler [2020-05-12 21:10:26] 741*2^1559285-1 is not prime. Res64: 8216A500E47BF82E Time : 0.0 sec. user=mdettweiler [2020-05-12 21:10:27] 855*2^1559285-1 is not prime. Res64: 04A5EB47EE4AF6C4 Time : 0.0 sec. user=mdettweiler [2020-05-12 21:10:27] 865*2^1559285-1 is not prime. Res64: 8F6139D919F60880 Time : 0.0 sec. user=mdettweiler [2020-05-12 21:10:28] 867*2^1559285-1 is not prime. Res64: BA26A94D096D2D69 Time : 0.0 sec. user=mdettweiler [2020-05-12 21:10:28] 657*2^1559286-1 is not prime. Res64: 92E6B101AA21BF62 Time : 0.0 sec. user=mdettweiler [2020-05-12 21:33:44] 609*2^1559287-1 is not prime. Res64: AF19CD07B0F42511 Time : 0.0 sec. user=mdettweiler [2020-05-12 21:33:45] 741*2^1559287-1 is not prime. Res64: D7BA5C7C424C305D Time : 0.0 sec. user=mdettweiler [2020-05-12 21:33:45] 843*2^1559287-1 is not prime. Res64: 06A274B089304A82 Time : 0.0 sec. user=mdettweiler [2020-05-12 21:33:45] 871*2^1559287-1 is not prime. Res64: 2FC7C5167D7432CC Time : 0.0 sec. user=mdettweiler [2020-05-12 21:33:46] 993*2^1559287-1 is not prime. Res64: 8476552FDC03AFA3 Time : 0.0 sec. user=mdettweiler [2020-05-12 21:36:05] 861*2^1559286-1 is not prime. Res64: 7713537B5116D66A Time : 0.0 sec. user=mdettweiler [2020-05-12 21:36:05] 941*2^1559286-1 is not prime. Res64: 29ADE1FE3CF51FD5 Time : 0.0 sec. user=mdettweiler [2020-05-12 21:36:05] 947*2^1559286-1 is not prime. Res64: A167B2B06070B78D Time : 0.0 sec. user=mdettweiler [2020-05-12 21:36:06] 993*2^1559286-1 is not prime. Res64: 5EDD95F434169963 Time : 0.0 sec. user=mdettweiler [2020-05-12 21:36:06] 1001*2^1559286-1 is not prime. Res64: 8EF2109A38C1C82A Time : 0.0 sec. user=mdettweiler [2020-05-12 22:03:15] 699*2^1559288-1 is not prime. Res64: D700674B01F2AF79 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:03:17] 755*2^1559288-1 is not prime. Res64: 21F4C5E1467D22EA Time : 0.0 sec. user=mdettweiler [2020-05-12 22:03:18] 837*2^1559288-1 is not prime. Res64: 9A08AE6B21AAEBCC Time : 0.0 sec. user=mdettweiler [2020-05-12 22:03:19] 839*2^1559288-1 is not prime. Res64: D6A3C22E2510C0EA Time : 0.0 sec. user=mdettweiler [2020-05-12 22:03:20] 843*2^1559288-1 is not prime. Res64: 5B8847880FE63905 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:30:47] 855*2^1559288-1 is not prime. Res64: 91C9BC03D7D8B291 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:30:47] 609*2^1559289-1 is not prime. Res64: EA838A318C398A1B Time : 0.0 sec. user=mdettweiler [2020-05-12 22:30:48] 895*2^1559289-1 is not prime. Res64: FFB71C849A8121F0 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:30:48] 951*2^1559289-1 is not prime. Res64: 47CC687BFFF2318E Time : 0.0 sec. user=mdettweiler [2020-05-12 22:30:48] 955*2^1559289-1 is not prime. Res64: 5B6BD60720F0995B Time : 0.0 sec. user=mdettweiler [2020-05-12 22:31:00] 677*2^1559290-1 is not prime. Res64: 8429E35DFA5828D8 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:31:00] 765*2^1559290-1 is not prime. Res64: 84F676E2D1A44F73 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:31:01] 827*2^1559290-1 is not prime. Res64: C2D85D6D21B73091 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:31:01] 855*2^1559290-1 is not prime. Res64: FE124C63DDB94274 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:31:01] 905*2^1559290-1 is not prime. Res64: A7817890A43E52B9 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:57:00] 603*2^1559291-1 is not prime. Res64: B84AD5EBDB81F783 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:57:01] 931*2^1559291-1 is not prime. Res64: D529BC393CDEDE88 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:57:01] 605*2^1559292-1 is not prime. Res64: D577CE3F54978A1B Time : 0.0 sec. user=mdettweiler [2020-05-12 22:57:01] 767*2^1559292-1 is not prime. Res64: 67379290811AE1A0 Time : 0.0 sec. user=mdettweiler [2020-05-12 22:57:01] 843*2^1559292-1 is not prime. Res64: 4369F989189E79E3 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:25:22] 887*2^1559292-1 is not prime. Res64: C163BEFE5644C96E Time : 0.0 sec. user=mdettweiler [2020-05-12 23:25:23] 893*2^1559292-1 is not prime. Res64: 216F3EE083D61034 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:25:23] 615*2^1559293-1 is not prime. Res64: B7EFFAE84B4599B4 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:25:24] 621*2^1559293-1 is not prime. Res64: 543B017B269A3044 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:25:24] 741*2^1559293-1 is not prime. Res64: C0FBD1EF3AC57261 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:25:49] 801*2^1559293-1 is not prime. Res64: 502DD86D790A9803 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:25:49] 817*2^1559293-1 is not prime. Res64: 9CBAAB481869F1C9 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:25:50] 877*2^1559293-1 is not prime. Res64: CB37DDC49452783B Time : 0.0 sec. user=mdettweiler [2020-05-12 23:25:50] 919*2^1559293-1 is not prime. Res64: BC78E802032C10BA Time : 0.0 sec. user=mdettweiler [2020-05-12 23:25:50] 635*2^1559294-1 is not prime. Res64: 9F121C755462DE70 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:50:16] 641*2^1559294-1 is not prime. Res64: C20A2F5726C14658 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:50:17] 657*2^1559294-1 is not prime. Res64: E15204E5CEC3F432 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:50:17] 825*2^1559294-1 is not prime. Res64: ECDFB714652A628D Time : 0.0 sec. user=mdettweiler [2020-05-12 23:50:18] 897*2^1559294-1 is not prime. Res64: D3983116A60295B5 Time : 0.0 sec. user=mdettweiler [2020-05-12 23:50:18] 601*2^1559295-1 is not prime. Res64: 7515CB79BF7C4C36 Time : 0.0 sec.