user=mdettweiler [2020-01-27 00:03:23] 625*2^1553335-1 is not prime. Res64: DA1CA35EEFC6A4AE Time : 0.0 sec. user=mdettweiler [2020-01-27 00:03:25] 639*2^1553335-1 is not prime. Res64: 841116C5BD2E992B Time : 0.0 sec. user=mdettweiler [2020-01-27 00:03:26] 675*2^1553335-1 is not prime. Res64: F18E46267ABC3707 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:03:27] 759*2^1553335-1 is not prime. Res64: 70AC3967AE17DC76 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:03:27] 885*2^1553335-1 is not prime. Res64: BC7E5F6445D6EC31 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:05:35] 773*2^1553334-1 is not prime. Res64: F8C61C100730A154 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:05:39] 921*2^1553334-1 is not prime. Res64: 0B69A57173D0AEBE Time : 0.0 sec. user=mdettweiler [2020-01-27 00:05:42] 941*2^1553334-1 is not prime. Res64: C8AF150D0FF607B9 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:05:44] 965*2^1553334-1 is not prime. Res64: 0CEC9C292842A66D Time : 0.0 sec. user=mdettweiler [2020-01-27 00:05:46] 983*2^1553334-1 is not prime. Res64: DF992FCBD5A1B7CB Time : 0.0 sec. user=mdettweiler [2020-01-27 00:53:50] 925*2^1553335-1 is not prime. Res64: 2335E659226CCFAA Time : 0.0 sec. user=mdettweiler [2020-01-27 00:53:50] 961*2^1553335-1 is not prime. Res64: 4FE518B3340CDB70 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:53:51] 755*2^1553336-1 is not prime. Res64: 9BC36A9CFF1DEF95 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:53:51] 827*2^1553336-1 is not prime. Res64: 5371B2FE7DEE821E Time : 0.0 sec. user=mdettweiler [2020-01-27 00:53:51] 857*2^1553336-1 is not prime. Res64: 0DFA61D0021CABA2 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:58:37] 681*2^1553338-1 is not prime. Res64: 6A1E978A4468BEAE Time : 0.0 sec. user=mdettweiler [2020-01-27 00:58:37] 755*2^1553338-1 is not prime. Res64: 90789AA378315F56 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:58:38] 773*2^1553338-1 is not prime. Res64: 9958CFC64595C9CC Time : 0.0 sec. user=mdettweiler [2020-01-27 00:58:38] 777*2^1553338-1 is not prime. Res64: 7A8784F0FF2F32FF Time : 0.0 sec. user=mdettweiler [2020-01-27 00:58:38] 881*2^1553338-1 is not prime. Res64: 0F44458613832864 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:58:52] 935*2^1553336-1 is not prime. Res64: 3AE0378490CA8396 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:58:53] 993*2^1553336-1 is not prime. Res64: 60968FF836E03856 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:58:53] 837*2^1553337-1 is not prime. Res64: DCA773D849159058 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:58:54] 991*2^1553337-1 is not prime. Res64: DF043AA04902CFA8 Time : 0.0 sec. user=mdettweiler [2020-01-27 00:58:54] 623*2^1553338-1 is not prime. Res64: E99150C34A6F71C3 Time : 0.0 sec. user=mdettweiler [2020-01-27 01:48:55] 923*2^1553338-1 is not prime. Res64: 23C81B6BDCAC0183 Time : 0.0 sec. user=mdettweiler [2020-01-27 01:48:56] 933*2^1553338-1 is not prime. Res64: 4626C88836145BEC Time : 0.0 sec. user=mdettweiler [2020-01-27 01:48:57] 987*2^1553338-1 is not prime. Res64: E0BF939F3691ED6D Time : 0.0 sec. user=mdettweiler [2020-01-27 01:48:58] 609*2^1553339-1 is not prime. Res64: 9D08D76100F6EF39 Time : 0.0 sec. user=mdettweiler [2020-01-27 01:48:59] 693*2^1553339-1 is not prime. Res64: 02B424A0FC196653 Time : 0.0 sec. user=mdettweiler [2020-01-27 01:52:56] 703*2^1553339-1 is not prime. Res64: 5559DD3DD71EF094 Time : 0.0 sec. user=mdettweiler [2020-01-27 01:52:56] 861*2^1553339-1 is not prime. Res64: D6860C33BDD4700B Time : 0.0 sec. user=mdettweiler [2020-01-27 01:52:57] 943*2^1553339-1 is not prime. Res64: 25C4F1EF66E6023C Time : 0.0 sec. user=mdettweiler [2020-01-27 01:52:58] 985*2^1553339-1 is not prime. Res64: ED1B51D8BC061838 Time : 0.0 sec. user=mdettweiler [2020-01-27 01:52:58] 783*2^1553340-1 is not prime. Res64: 17A29E0813CFF630 Time : 0.0 sec. user=mdettweiler [2020-01-27 01:54:20] 789*2^1553340-1 is not prime. Res64: 564BCE23A18C3B2C Time : 0.0 sec. user=mdettweiler [2020-01-27 01:54:21] 915*2^1553340-1 is not prime. Res64: CE8750AD6871AA3A Time : 0.0 sec. user=mdettweiler [2020-01-27 01:54:21] 923*2^1553340-1 is not prime. Res64: 3FC59E8A983F516B Time : 0.0 sec. user=mdettweiler [2020-01-27 01:54:22] 929*2^1553340-1 is not prime. Res64: BCA54E752A09DA12 Time : 0.0 sec. user=mdettweiler [2020-01-27 01:54:23] 639*2^1553341-1 is not prime. Res64: D17610C734099E75 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:40:47] 675*2^1553341-1 is not prime. Res64: 3681CC1F7F49CC48 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:40:47] 681*2^1553341-1 is not prime. Res64: 8CE308079E816EA7 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:40:48] 691*2^1553341-1 is not prime. Res64: 43E127749AEA82F4 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:40:48] 715*2^1553341-1 is not prime. Res64: 01CB134BFC39B4E3 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:40:49] 775*2^1553341-1 is not prime. Res64: B94E301EA17F2840 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:46:13] 945*2^1553341-1 is not prime. Res64: F9F9009D64C71F52 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:46:14] 657*2^1553342-1 is not prime. Res64: 0D87E8C947CD8954 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:46:16] 713*2^1553342-1 is not prime. Res64: E26D565961C2510B Time : 0.0 sec. user=mdettweiler [2020-01-27 02:46:17] 741*2^1553342-1 is not prime. Res64: 03619F795D6FB65A Time : 0.0 sec. user=mdettweiler [2020-01-27 02:46:17] 875*2^1553342-1 is not prime. Res64: F9486252F92B1290 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:47:34] 923*2^1553342-1 is not prime. Res64: F5A1AFCDB5012BE6 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:47:35] 745*2^1553343-1 is not prime. Res64: 5037FDE3371FC845 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:47:36] 793*2^1553343-1 is not prime. Res64: D9DDC54145D8F785 Time : 0.0 sec. user=mdettweiler [2020-01-27 02:47:36] 871*2^1553343-1 is not prime. Res64: 2250CA60A6A3EEAB Time : 0.0 sec. user=mdettweiler [2020-01-27 02:47:40] 609*2^1553344-1 is not prime. Res64: E90E4E1D63B21D9C Time : 0.0 sec. user=mdettweiler [2020-01-27 03:33:31] 705*2^1553344-1 is not prime. Res64: 3FC8235A0B9D3F32 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:33:32] 929*2^1553344-1 is not prime. Res64: 1A501357241A7232 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:33:33] 649*2^1553345-1 is not prime. Res64: 6CC67626C87D3935 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:33:33] 729*2^1553345-1 is not prime. Res64: FC72F33A4DE307E8 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:33:37] 795*2^1553345-1 is not prime. Res64: 919C907546451C41 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:37:52] 865*2^1553345-1 is not prime. Res64: 020F604AD77B8364 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:37:56] 885*2^1553345-1 is not prime. Res64: 42659512A37A7FC4 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:37:57] 627*2^1553346-1 is not prime. Res64: 98A3B0138BA03BB8 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:37:58] 641*2^1553346-1 is not prime. Res64: 68F6045ADACC03F1 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:38:03] 657*2^1553346-1 is not prime. Res64: 56D0AB4B4797EF0A Time : 0.0 sec. user=mdettweiler [2020-01-27 03:39:01] 677*2^1553346-1 is not prime. Res64: 5DB80089427AC684 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:39:02] 717*2^1553346-1 is not prime. Res64: 8A6985273D8B6DF5 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:39:07] 747*2^1553346-1 is not prime. Res64: ECFA1A8515397931 Time : 0.0 sec. user=mdettweiler [2020-01-27 03:39:08] 767*2^1553346-1 is not prime. Res64: F58425269D03764B Time : 0.0 sec. user=mdettweiler [2020-01-27 03:39:09] 891*2^1553346-1 is not prime. Res64: 4EE979D10C43A450 Time : 0.0 sec. user=mdettweiler [2020-01-27 04:28:31] 971*2^1553346-1 is not prime. Res64: 25152C435F5B30CA Time : 0.0 sec. user=mdettweiler [2020-01-27 04:32:47] 849*2^1553347-1 is not prime. Res64: A3B11F488FB48B61 Time : 0.0 sec. user=mdettweiler [2020-01-27 04:32:49] 951*2^1553347-1 is not prime. Res64: 2EF43B389021C60A Time : 0.0 sec. user=mdettweiler [2020-01-27 04:32:50] 975*2^1553347-1 is not prime. Res64: FC5B301619A1051D Time : 0.0 sec. user=mdettweiler [2020-01-27 04:32:53] 855*2^1553348-1 is not prime. Res64: 2C515C02E384E50E Time : 0.0 sec. user=mdettweiler [2020-01-27 04:32:54] 875*2^1553348-1 is not prime. Res64: 1B867891378F9E12 Time : 0.0 sec. user=mdettweiler [2020-01-27 04:33:37] 929*2^1553348-1 is not prime. Res64: 5FAC21AA5B7401BE Time : 0.0 sec. user=mdettweiler [2020-01-27 04:33:38] 661*2^1553349-1 is not prime. Res64: AE87589C083DB5D6 Time : 0.0 sec. user=mdettweiler [2020-01-27 04:33:42] 769*2^1553349-1 is not prime. Res64: 3B6E22C121203798 Time : 0.0 sec. user=mdettweiler [2020-01-27 04:33:44] 891*2^1553349-1 is not prime. Res64: 0B33A242447A5AD7 Time : 0.0 sec. user=mdettweiler [2020-01-27 04:33:45] 949*2^1553349-1 is not prime. Res64: 26A4AFB3DD6F1DE5 Time : 0.0 sec. user=mdettweiler [2020-01-27 05:25:47] 651*2^1553351-1 is not prime. Res64: B77D64B5A3C8DC7B Time : 0.0 sec. user=mdettweiler [2020-01-27 05:25:48] 679*2^1553351-1 is not prime. Res64: 04B55736B3713950 Time : 0.0 sec. user=mdettweiler [2020-01-27 05:25:52] 703*2^1553351-1 is not prime. Res64: 7791FE110302B1D0 Time : 0.0 sec. user=mdettweiler [2020-01-27 05:25:53] 841*2^1553351-1 is not prime. Res64: 3DC426F3758B3E92 Time : 0.0 sec. user=mdettweiler [2020-01-27 05:25:53] 909*2^1553351-1 is not prime. Res64: 86E614A34312B912 Time : 0.0 sec. user=mdettweiler [2020-01-27 05:26:32] 653*2^1553350-1 is not prime. Res64: 4A3BC9AB6B58B0CC Time : 0.0 sec. user=mdettweiler [2020-01-27 05:26:36] 833*2^1553350-1 is not prime. Res64: 283B7E9DADFE5140 Time : 0.0 sec. user=mdettweiler [2020-01-27 05:26:36] 845*2^1553350-1 is not prime. Res64: 98CE403FE15D5C3D Time : 0.0 sec. user=mdettweiler [2020-01-27 05:26:36] 891*2^1553350-1 is not prime. Res64: 1776B7CF8A20C860 Time : 0.0 sec. user=mdettweiler [2020-01-27 05:26:37] 987*2^1553350-1 is not prime. Res64: D83503A5343C11CF Time : 0.0 sec. user=mdettweiler [2020-01-27 06:19:57] 609*2^1553352-1 is not prime. Res64: 3FA9C31AD7C65559 Time : 0.0 sec. user=mdettweiler [2020-01-27 06:19:58] 653*2^1553352-1 is not prime. Res64: 3B2128261A71AEB7 Time : 0.0 sec. user=mdettweiler [2020-01-27 06:19:58] 843*2^1553352-1 is not prime. Res64: ADDED2B16CA2198B Time : 0.0 sec. user=mdettweiler [2020-01-27 06:19:59] 873*2^1553352-1 is not prime. Res64: 3C8B48172CE03957 Time : 0.0 sec. user=mdettweiler [2020-01-27 06:19:59] 975*2^1553352-1 is not prime. Res64: D3893EF19F3FB32D Time : 0.0 sec. user=mdettweiler [2020-01-27 06:24:25] 939*2^1553351-1 is not prime. Res64: 5D63F31518C3CDD2 Time : 0.0 sec. user=mdettweiler [2020-01-27 06:24:26] 955*2^1553351-1 is not prime. Res64: B8D767805D8D182A Time : 0.0 sec. user=mdettweiler [2020-01-27 06:24:26] 969*2^1553351-1 is not prime. Res64: 4AA88EE74A05F5C7 Time : 0.0 sec. user=mdettweiler [2020-01-27 06:24:27] 973*2^1553351-1 is not prime. Res64: 0C907E6307C2BC35 Time : 0.0 sec. user=mdettweiler [2020-01-27 06:24:27] 999*2^1553351-1 is not prime. Res64: 2123A91B75D5FFD5 Time : 0.0 sec. user=mdettweiler [2020-01-27 07:11:53] 607*2^1553353-1 is not prime. Res64: 4130B82D892BE7FA Time : 0.0 sec. user=mdettweiler [2020-01-27 07:11:56] 639*2^1553353-1 is not prime. Res64: 876F08560E348700 Time : 0.0 sec. user=mdettweiler [2020-01-27 07:11:56] 835*2^1553353-1 is not prime. Res64: C272AD8CA83F9ACF Time : 0.0 sec. user=mdettweiler [2020-01-27 07:11:57] 847*2^1553353-1 is not prime. Res64: 231CB2702E7864C0 Time : 0.0 sec. user=mdettweiler [2020-01-27 07:11:57] 635*2^1553354-1 is not prime. Res64: B6210BFF061668F1 Time : 0.0 sec. user=mdettweiler [2020-01-27 07:16:39] 657*2^1553354-1 is not prime. Res64: 492F9AA32D38B996 Time : 0.0 sec. user=mdettweiler [2020-01-27 07:16:40] 753*2^1553354-1 is not prime. Res64: 6A6338FE53840F40 Time : 0.0 sec. user=mdettweiler [2020-01-27 07:16:40] 791*2^1553354-1 is not prime. Res64: A9259E576A220F22 Time : 0.0 sec. user=mdettweiler [2020-01-27 07:16:41] 831*2^1553354-1 is not prime. Res64: A03CFE9F784FC6F2 Time : 0.0 sec. user=mdettweiler [2020-01-27 07:16:41] 885*2^1553354-1 is not prime. Res64: 1DCE336482F5CBD0 Time : 0.0 sec. user=mdettweiler [2020-01-27 08:04:33] 945*2^1553354-1 is not prime. Res64: DE0CA6169A09E611 Time : 0.0 sec. user=mdettweiler [2020-01-27 08:04:49] 601*2^1553355-1 is not prime. Res64: 8874849D22676853 Time : 0.0 sec. user=mdettweiler [2020-01-27 08:09:22] 699*2^1553355-1 is not prime. Res64: 8B736D294710B43D Time : 0.0 sec. user=mdettweiler [2020-01-27 08:09:25] 709*2^1553355-1 is not prime. Res64: 152AFEAAE257BD34 Time : 0.0 sec. user=mdettweiler [2020-01-27 08:09:27] 829*2^1553355-1 is not prime. Res64: 880BA678020E9157 Time : 0.0 sec. user=mdettweiler [2020-01-27 08:09:30] 903*2^1553355-1 is not prime. Res64: C92C0A781D3A492A Time : 0.0 sec. user=mdettweiler [2020-01-27 08:09:33] 913*2^1553355-1 is not prime. Res64: 4A66E099A81BE5EA Time : 0.0 sec. user=mdettweiler [2020-01-27 08:09:42] 975*2^1553346-1 is not prime. Res64: B88E6399866ABDF0 Time : 0.0 sec. user=mdettweiler [2020-01-27 08:09:44] 733*2^1553347-1 is not prime. Res64: 35AF0EB2CDFA32EF Time : 0.0 sec. user=mdettweiler [2020-01-27 08:09:48] 819*2^1553347-1 is not prime. Res64: A141F9FB52F7B8A8 Time : 0.0 sec. user=mdettweiler [2020-01-27 08:09:55] 843*2^1553347-1 is not prime. Res64: 3169F355CD8E1602 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:03:17] 993*2^1553356-1 is not prime. Res64: 4AF01286E5FBC86B Time : 0.0 sec. user=mdettweiler [2020-01-27 09:03:20] 627*2^1553357-1 is not prime. Res64: C69D3D916AC43967 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:03:21] 655*2^1553357-1 is not prime. Res64: 2E93C7C152825B4A Time : 0.0 sec. user=mdettweiler [2020-01-27 09:03:22] 777*2^1553357-1 is not prime. Res64: DAEFE676A350872C Time : 0.0 sec. user=mdettweiler [2020-01-27 09:03:23] 801*2^1553357-1 is not prime. Res64: 189AEFA6F1B336A9 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:04:19] 961*2^1553355-1 is not prime. Res64: 87281E66E93E9C62 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:04:20] 657*2^1553356-1 is not prime. Res64: 21B0A5EFEDC8E69D Time : 0.0 sec. user=mdettweiler [2020-01-27 09:04:22] 717*2^1553356-1 is not prime. Res64: D5A79CBD848E7B31 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:04:23] 785*2^1553356-1 is not prime. Res64: 04E47A1E7B3915E6 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:04:24] 927*2^1553356-1 is not prime. Res64: 625306590C0636BD Time : 0.0 sec. user=mdettweiler [2020-01-27 09:58:51] 695*2^1553358-1 is not prime. Res64: 62826F2CFE10B8E5 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:58:51] 765*2^1553358-1 is not prime. Res64: 33A1B823F28D4CF9 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:58:52] 815*2^1553358-1 is not prime. Res64: 1A8ECBD2C6597470 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:58:52] 945*2^1553358-1 is not prime. Res64: 6B3B3B997644CF05 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:58:53] 963*2^1553358-1 is not prime. Res64: 8D16D52603D59401 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:59:44] 805*2^1553357-1 is not prime. Res64: DFF10728884CC19B Time : 0.0 sec. user=mdettweiler [2020-01-27 09:59:45] 927*2^1553357-1 is not prime. Res64: F95BE2942A4D86B2 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:59:45] 967*2^1553357-1 is not prime. Res64: A156818392D1D095 Time : 0.0 sec. user=mdettweiler [2020-01-27 09:59:45] 985*2^1553357-1 is not prime. Res64: E3B957A93D27990F Time : 0.0 sec. user=mdettweiler [2020-01-27 09:59:46] 651*2^1553358-1 is not prime. Res64: D36490FBB4DB9FCD Time : 0.0 sec. user=mdettweiler [2020-01-27 10:52:53] 993*2^1553358-1 is not prime. Res64: FDC713A5DEA7DCFE Time : 0.0 sec. user=mdettweiler [2020-01-27 10:52:53] 1001*2^1553358-1 is not prime. Res64: 7F38FA46F4F07CED Time : 0.0 sec. user=mdettweiler [2020-01-27 10:52:54] 625*2^1553359-1 is not prime. Res64: 5EEF3B00754031F1 Time : 0.0 sec. user=mdettweiler [2020-01-27 10:52:54] 645*2^1553359-1 is not prime. Res64: E2248E0513100A96 Time : 0.0 sec. user=mdettweiler [2020-01-27 10:52:54] 679*2^1553359-1 is not prime. Res64: 05902389A27E9C3E Time : 0.0 sec. user=mdettweiler [2020-01-27 10:53:18] 709*2^1553359-1 is not prime. Res64: C187071E08D4AE6A Time : 0.0 sec. user=mdettweiler [2020-01-27 10:53:19] 775*2^1553359-1 is not prime. Res64: DF84E14C6F17DB9E Time : 0.0 sec. user=mdettweiler [2020-01-27 10:53:19] 813*2^1553359-1 is not prime. Res64: E5C8F84535B2D501 Time : 0.0 sec. user=mdettweiler [2020-01-27 10:53:20] 885*2^1553359-1 is not prime. Res64: C4DC73BB0083FDCA Time : 0.0 sec. user=mdettweiler [2020-01-27 10:53:20] 985*2^1553359-1 is not prime. Res64: 262A7E5FA1B7C549 Time : 0.0 sec. user=mdettweiler [2020-01-27 11:46:42] 983*2^1553360-1 is not prime. Res64: 68B91259265DD41A Time : 0.0 sec. user=mdettweiler [2020-01-27 11:46:42] 781*2^1553361-1 is not prime. Res64: D61E0FE958F449BC Time : 0.0 sec. user=mdettweiler [2020-01-27 11:46:43] 807*2^1553361-1 is not prime. Res64: A55554A4FA3B91C6 Time : 0.0 sec. user=mdettweiler [2020-01-27 11:46:43] 829*2^1553361-1 is not prime. Res64: C27BDFBCD0F51937 Time : 0.0 sec. user=mdettweiler [2020-01-27 11:46:44] 835*2^1553361-1 is not prime. Res64: 9138F0AF8268FD65 Time : 0.0 sec. user=mdettweiler [2020-01-27 11:47:40] 871*2^1553361-1 is not prime. Res64: D62B9C650243B88B Time : 0.0 sec. user=mdettweiler [2020-01-27 11:47:40] 945*2^1553362-1 is not prime. Res64: 4E1AD1046F56C4FC Time : 0.0 sec. user=mdettweiler [2020-01-27 11:47:40] 981*2^1553362-1 is not prime. Res64: DC66E5BF0078D456 Time : 0.0 sec. user=mdettweiler [2020-01-27 11:47:41] 643*2^1553363-1 is not prime. Res64: 6926E2A3AC9A3D12 Time : 0.0 sec. user=mdettweiler [2020-01-27 11:47:41] 741*2^1553363-1 is not prime. Res64: CC5263A3057B383F Time : 0.0 sec. user=mdettweiler [2020-01-27 12:07:11] 717*2^1553365-1 is not prime. Res64: EBBC0500F7F01C4A Time : 0.0 sec. user=mdettweiler [2020-01-27 12:38:28] 625*2^1553355-1 is not prime. Res64: 665B88D481818CD4 Time : 0.0 sec. user=mdettweiler [2020-01-27 12:38:29] 639*2^1553355-1 is not prime. Res64: 9D55226B3B78A58C Time : 0.0 sec. user=mdettweiler [2020-01-27 12:38:29] 649*2^1553355-1 is not prime. Res64: AB56FC5AB39E9AE7 Time : 0.0 sec. user=mdettweiler [2020-01-27 12:38:35] 753*2^1553363-1 is not prime. Res64: 854F56F8C19D89ED Time : 0.0 sec. user=mdettweiler [2020-01-27 12:38:35] 913*2^1553363-1 is not prime. Res64: 48357334A4B29D16 Time : 0.0 sec. user=mdettweiler [2020-01-27 12:38:36] 665*2^1553364-1 is not prime. Res64: EC119ECF97C06069 Time : 0.0 sec. user=mdettweiler [2020-01-27 12:38:38] 707*2^1553364-1 is not prime. Res64: 00D157F61CC189FA Time : 0.0 sec. user=mdettweiler [2020-01-27 12:38:39] 737*2^1553364-1 is not prime. Res64: 20DE368BA2E3CF97 Time : 0.0 sec. user=mdettweiler [2020-01-27 12:41:32] 825*2^1553364-1 is not prime. Res64: FEF3ECF78063C48C Time : 0.0 sec. user=mdettweiler [2020-01-27 12:41:32] 843*2^1553364-1 is not prime. Res64: C30AD607CEA5F9CF Time : 0.0 sec. user=mdettweiler [2020-01-27 12:41:33] 909*2^1553364-1 is not prime. Res64: 392DBF6692C031FC Time : 0.0 sec. user=mdettweiler [2020-01-27 12:41:33] 969*2^1553364-1 is not prime. Res64: 6064E6F646AF0CF9 Time : 0.0 sec. user=mdettweiler [2020-01-27 12:41:33] 625*2^1553365-1 is not prime. Res64: BCBF1AA2A1E20B5F Time : 0.0 sec. user=mdettweiler [2020-01-27 13:30:44] 705*2^1553366-1 is not prime. Res64: CE37A41BCFFD8436 Time : 0.0 sec. user=mdettweiler [2020-01-27 13:30:45] 717*2^1553366-1 is not prime. Res64: 3601DDB4B2AC153A Time : 0.0 sec. user=mdettweiler [2020-01-27 13:30:45] 741*2^1553366-1 is not prime. Res64: E11AECFDAAB21957 Time : 0.0 sec. user=mdettweiler [2020-01-27 13:30:46] 893*2^1553366-1 is not prime. Res64: 07105047152CA666 Time : 0.0 sec. user=mdettweiler [2020-01-27 13:30:46] 903*2^1553366-1 is not prime. Res64: 8FC3CCC5EE52CC8F Time : 0.0 sec. user=mdettweiler [2020-01-27 13:30:52] 801*2^1553365-1 is not prime. Res64: 0F9A1996518187D5 Time : 0.0 sec. user=mdettweiler [2020-01-27 13:30:53] 855*2^1553365-1 is not prime. Res64: 34E99B307ED880F6 Time : 0.0 sec. user=mdettweiler [2020-01-27 13:30:53] 859*2^1553365-1 is not prime. Res64: D0B4BBAE60C6DDED Time : 0.0 sec. user=mdettweiler [2020-01-27 13:30:53] 623*2^1553366-1 is not prime. Res64: FBACC963A66C54E1 Time : 0.0 sec. user=mdettweiler [2020-01-27 13:30:54] 641*2^1553366-1 is not prime. Res64: ED9A457384841BE1 Time : 0.0 sec. user=mdettweiler [2020-01-27 13:37:32] 945*2^1553366-1 is not prime. Res64: 784A4408EAF11689 Time : 0.0 sec. user=mdettweiler [2020-01-27 13:37:32] 981*2^1553366-1 is not prime. Res64: B65B7F1FBF3FE87E Time : 0.0 sec. user=mdettweiler [2020-01-27 13:37:33] 615*2^1553367-1 is not prime. Res64: FC1A979F0C3C0710 Time : 0.0 sec. user=mdettweiler [2020-01-27 13:37:36] 793*2^1553367-1 is not prime. Res64: B626362A4C1FD359 Time : 0.0 sec. user=mdettweiler [2020-01-27 13:37:37] 985*2^1553367-1 is not prime. Res64: 9C82117D3CE8A60A Time : 0.0 sec. user=mdettweiler [2020-01-27 14:24:11] 775*2^1553369-1 is not prime. Res64: A009967B98B121B6 Time : 0.0 sec. user=mdettweiler [2020-01-27 14:24:12] 945*2^1553369-1 is not prime. Res64: CEF580EC50ADAB7D Time : 0.0 sec. user=mdettweiler [2020-01-27 14:24:12] 725*2^1553370-1 is not prime. Res64: A91F2DFA42F92C48 Time : 0.0 sec. user=mdettweiler [2020-01-27 14:24:12] 735*2^1553370-1 is not prime. Res64: 4791B5B84B2A852B Time : 0.0 sec. user=mdettweiler [2020-01-27 14:24:13] 797*2^1553370-1 is not prime. Res64: EC9C1DAFC176E107 Time : 0.0 sec. user=mdettweiler [2020-01-27 14:24:19] 819*2^1553368-1 is not prime. Res64: 1B8EC78716EA1B85 Time : 0.0 sec. user=mdettweiler [2020-01-27 14:24:19] 843*2^1553368-1 is not prime. Res64: 44C1A357FB53ED09 Time : 0.0 sec. user=mdettweiler [2020-01-27 14:24:20] 887*2^1553368-1 is not prime. Res64: 1FD2B1392F25B619 Time : 0.0 sec. user=mdettweiler [2020-01-27 14:24:20] 999*2^1553368-1 is not prime. Res64: 88BC87B66683C1A3 Time : 0.0 sec. user=mdettweiler [2020-01-27 14:24:20] 747*2^1553369-1 is not prime. Res64: 23AFA28BAED03161 Time : 0.0 sec. user=mdettweiler [2020-01-27 14:32:45] 821*2^1553370-1 is not prime. Res64: 083701AFF2042BAC Time : 0.0 sec. user=mdettweiler [2020-01-27 14:32:46] 851*2^1553370-1 is not prime. Res64: 04C1849806CC4C0C Time : 0.0 sec. user=mdettweiler [2020-01-27 14:32:46] 893*2^1553370-1 is not prime. Res64: C7439AB9B9BC3ADC Time : 0.0 sec. user=mdettweiler [2020-01-27 14:32:47] 971*2^1553370-1 is not prime. Res64: 4C8C74473F511462 Time : 0.0 sec. user=mdettweiler [2020-01-27 14:32:47] 977*2^1553370-1 is not prime. Res64: 14B1335F79D5C5C1 Time : 0.0 sec. user=mdettweiler [2020-01-27 15:16:24] 601*2^1553371-1 is not prime. Res64: C6B3AAE53542AEBD Time : 0.0 sec. user=mdettweiler [2020-01-27 15:16:25] 625*2^1553371-1 is not prime. Res64: 0650668E1E5C29A6 Time : 0.0 sec. user=mdettweiler [2020-01-27 15:16:25] 735*2^1553371-1 is not prime. Res64: E9C8D055EACE4286 Time : 0.0 sec. user=mdettweiler [2020-01-27 15:16:26] 783*2^1553371-1 is not prime. Res64: F7E21E01B2FEF593 Time : 0.0 sec. user=mdettweiler [2020-01-27 15:16:26] 789*2^1553371-1 is not prime. Res64: 273C3B4A36327462 Time : 0.0 sec. user=mdettweiler [2020-01-27 15:19:14] 835*2^1553371-1 is not prime. Res64: DD77A92F716245DE Time : 0.0 sec. user=mdettweiler [2020-01-27 15:19:14] 873*2^1553371-1 is not prime. Res64: 704E49614C8F59A4 Time : 0.0 sec. user=mdettweiler [2020-01-27 15:19:15] 931*2^1553371-1 is not prime. Res64: 73866C3D93DD8EC5 Time : 0.0 sec. user=mdettweiler [2020-01-27 15:19:15] 951*2^1553371-1 is not prime. Res64: A0B17A07BBF6BEFC Time : 0.0 sec. user=mdettweiler [2020-01-27 15:19:16] 603*2^1553372-1 is not prime. Res64: 477D2257997CEE51 Time : 0.0 sec. user=mdettweiler [2020-01-27 15:24:13] 629*2^1553372-1 is not prime. Res64: D5D7DCAEA44E5908 Time : 0.0 sec. user=mdettweiler [2020-01-27 15:24:13] 665*2^1553372-1 is not prime. Res64: 5ABD643A88800D4A Time : 0.0 sec. user=mdettweiler [2020-01-27 15:24:13] 669*2^1553372-1 is not prime. Res64: 35998B5C2186465A Time : 0.0 sec. user=mdettweiler [2020-01-27 15:24:14] 675*2^1553372-1 is not prime. Res64: EA8DFB8531663A27 Time : 0.0 sec. user=mdettweiler [2020-01-27 15:24:14] 735*2^1553372-1 is not prime. Res64: 8B27F643BD9BB5CA Time : 0.0 sec. user=mdettweiler [2020-01-27 16:11:07] 609*2^1553373-1 is not prime. Res64: 5855EFEA90406A05 Time : 0.0 sec. user=mdettweiler [2020-01-27 16:11:07] 621*2^1553373-1 is not prime. Res64: A84B23D5D19172D9 Time : 0.0 sec. user=mdettweiler [2020-01-27 16:11:08] 847*2^1553373-1 is not prime. Res64: 316922471E35D33F Time : 0.0 sec. user=mdettweiler [2020-01-27 16:11:08] 623*2^1553374-1 is not prime. Res64: B015A92B04633B8E Time : 0.0 sec. user=mdettweiler [2020-01-27 16:11:09] 657*2^1553374-1 is not prime. Res64: CA4103889C5C6CA2 Time : 0.0 sec. user=mdettweiler [2020-01-27 16:11:19] 759*2^1553372-1 is not prime. Res64: A845D48F47D29BFD Time : 0.0 sec. user=mdettweiler [2020-01-27 16:11:19] 797*2^1553372-1 is not prime. Res64: ECE1A1FAC80847DB Time : 0.0 sec. user=mdettweiler [2020-01-27 16:11:19] 879*2^1553372-1 is not prime. Res64: F9C921978A63697E Time : 0.0 sec. user=mdettweiler [2020-01-27 16:11:20] 977*2^1553372-1 is not prime. Res64: 11084F3918D9B5BA Time : 0.0 sec. user=mdettweiler [2020-01-27 16:11:20] 987*2^1553372-1 is not prime. Res64: 03D2A5D59B5BD457 Time : 0.0 sec. user=mdettweiler [2020-01-27 16:18:05] 675*2^1553374-1 is not prime. Res64: F3F142C3F8EF90FD Time : 0.0 sec. user=mdettweiler [2020-01-27 16:18:06] 791*2^1553374-1 is not prime. Res64: 57F6A3FD951C5F28 Time : 0.0 sec. user=mdettweiler [2020-01-27 16:18:06] 833*2^1553374-1 is not prime. Res64: CA8025EBFAF6D5FA Time : 0.0 sec. user=mdettweiler [2020-01-27 16:18:06] 887*2^1553374-1 is not prime. Res64: 3D94541E3D5350E8 Time : 0.0 sec. user=mdettweiler [2020-01-27 16:18:07] 975*2^1553374-1 is not prime. Res64: 8752392FD9744B50 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:03:18] 619*2^1553375-1 is not prime. Res64: 0EA85BD88F5C95FE Time : 0.0 sec. user=mdettweiler [2020-01-27 17:03:19] 645*2^1553375-1 is not prime. Res64: 6D1AFB89DBD158C2 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:03:20] 655*2^1553375-1 is not prime. Res64: FC484480BBAA79E1 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:03:23] 895*2^1553375-1 is not prime. Res64: 7B04C16C09B17843 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:03:25] 909*2^1553375-1 is not prime. Res64: B8E0FF64299468D7 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:05:31] 913*2^1553375-1 is not prime. Res64: 177715F50D6D1B67 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:05:32] 979*2^1553375-1 is not prime. Res64: 2002A493255F08A4 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:05:33] 803*2^1553376-1 is not prime. Res64: 1128EF578CCC6F97 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:05:36] 857*2^1553376-1 is not prime. Res64: C99B2ED6B3264142 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:05:38] 879*2^1553376-1 is not prime. Res64: 28090D52DC2AA9FD Time : 0.0 sec. user=mdettweiler [2020-01-27 17:11:01] 927*2^1553376-1 is not prime. Res64: D796ED03DD746034 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:11:03] 607*2^1553377-1 is not prime. Res64: 3866A249CC12BA16 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:11:08] 645*2^1553377-1 is not prime. Res64: 58D9736248B42DE3 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:11:11] 741*2^1553377-1 is not prime. Res64: 48094E7795A59E53 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:11:16] 759*2^1553377-1 is not prime. Res64: 4564F20F79EAF597 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:57:22] 997*2^1553377-1 is not prime. Res64: BC3E3BF032A24B47 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:57:23] 603*2^1553378-1 is not prime. Res64: A2E382B1BA536FFE Time : 0.0 sec. user=mdettweiler [2020-01-27 17:57:23] 671*2^1553378-1 is not prime. Res64: 4DC54763218039CA Time : 0.0 sec. user=mdettweiler [2020-01-27 17:57:28] 735*2^1553378-1 is not prime. Res64: 059E3066960367A8 Time : 0.0 sec. user=mdettweiler [2020-01-27 17:57:29] 831*2^1553378-1 is not prime. Res64: 858609C108A445D8 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:01:43] 845*2^1553378-1 is not prime. Res64: AB2B2E6FD8AF9B39 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:01:45] 861*2^1553378-1 is not prime. Res64: A0E0F95DE8C912C8 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:01:47] 893*2^1553378-1 is not prime. Res64: 6C3CD2825938B12A Time : 0.0 sec. user=mdettweiler [2020-01-27 18:01:51] 923*2^1553378-1 is not prime. Res64: 7781DD6B3AD5DDD8 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:01:52] 945*2^1553378-1 is not prime. Res64: 86B1E3F51BC689E1 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:05:12] 1001*2^1553378-1 is not prime. Res64: F9993BE33EDBA08E Time : 0.0 sec. user=mdettweiler [2020-01-27 18:05:14] 609*2^1553379-1 is not prime. Res64: EBA0A216CEDCEDF5 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:05:15] 613*2^1553379-1 is not prime. Res64: 95F81BD59F10D599 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:05:16] 649*2^1553379-1 is not prime. Res64: 09524F3B82BB1F0B Time : 0.0 sec. user=mdettweiler [2020-01-27 18:05:17] 675*2^1553379-1 is not prime. Res64: 4A5B06922F995269 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:50:26] 853*2^1553379-1 is not prime. Res64: 90D9F15F0A43B926 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:50:27] 903*2^1553379-1 is not prime. Res64: 1BEFCB8627AC7E1D Time : 0.0 sec. user=mdettweiler [2020-01-27 18:50:27] 951*2^1553379-1 is not prime. Res64: 28D5AAFAB669BC96 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:50:27] 665*2^1553380-1 is not prime. Res64: 67F36F3ABD5D0BA1 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:50:28] 693*2^1553380-1 is not prime. Res64: 4044A651AFB6690F Time : 0.0 sec. user=mdettweiler [2020-01-27 18:55:24] 797*2^1553380-1 is not prime. Res64: 0B6586FAC715682F Time : 0.0 sec. user=mdettweiler [2020-01-27 18:55:24] 827*2^1553380-1 is not prime. Res64: 665C3F8F480433B9 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:55:25] 843*2^1553380-1 is not prime. Res64: A3BAC3CE2744F1A8 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:55:25] 983*2^1553380-1 is not prime. Res64: 054B41C46F3065BC Time : 0.0 sec. user=mdettweiler [2020-01-27 18:55:25] 649*2^1553381-1 is not prime. Res64: 43F78671661F0F9B Time : 0.0 sec. user=mdettweiler [2020-01-27 18:57:05] 657*2^1553381-1 is not prime. Res64: D41BD44C0B6DF84D Time : 0.0 sec. user=mdettweiler [2020-01-27 18:57:06] 735*2^1553381-1 is not prime. Res64: 6125D32CE665C91A Time : 0.0 sec. user=mdettweiler [2020-01-27 18:57:06] 747*2^1553381-1 is not prime. Res64: 86F79E7039627893 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:57:06] 683*2^1553382-1 is not prime. Res64: 0AE2A9C0C15D8F69 Time : 0.0 sec. user=mdettweiler [2020-01-27 18:57:07] 815*2^1553382-1 is not prime. Res64: 2A2105C93F5C69A5 Time : 0.0 sec. user=mdettweiler [2020-01-27 19:46:13] 863*2^1553382-1 is not prime. Res64: FAAD0F1B49731BDB Time : 0.0 sec. user=mdettweiler [2020-01-27 19:46:14] 867*2^1553382-1 is not prime. Res64: E2AE54C6ABDD1895 Time : 0.0 sec. user=mdettweiler [2020-01-27 19:46:18] 917*2^1553382-1 is not prime. Res64: A1131125153284E1 Time : 0.0 sec. user=mdettweiler [2020-01-27 19:46:18] 941*2^1553382-1 is not prime. Res64: 01D65FE4D0F5DB8D Time : 0.0 sec. user=mdettweiler [2020-01-27 19:46:19] 965*2^1553382-1 is not prime. Res64: 0D9D8226FF4862AD Time : 0.0 sec. user=mdettweiler [2020-01-27 19:47:46] 977*2^1553382-1 is not prime. Res64: 7AC705571685443F Time : 0.0 sec. user=mdettweiler [2020-01-27 19:47:46] 609*2^1553383-1 is not prime. Res64: DEF74BC7F2A6A525 Time : 0.0 sec. user=mdettweiler [2020-01-27 19:47:50] 679*2^1553383-1 is not prime. Res64: 4BC44CD2A7969607 Time : 0.0 sec. user=mdettweiler [2020-01-27 19:47:50] 685*2^1553383-1 is not prime. Res64: CB22468B65CAA032 Time : 0.0 sec. user=mdettweiler [2020-01-27 19:47:50] 693*2^1553383-1 is not prime. Res64: 2337D77BA8021207 Time : 0.0 sec. user=mdettweiler [2020-01-27 19:50:47] 623*2^1553384-1 is not prime. Res64: B5886003924F0925 Time : 0.0 sec. user=mdettweiler [2020-01-27 19:50:47] 915*2^1553384-1 is not prime. Res64: 20683AB9A58518AA Time : 0.0 sec. user=mdettweiler [2020-01-27 19:50:48] 995*2^1553384-1 is not prime. Res64: D48283F8DC3131E0 Time : 0.0 sec. user=mdettweiler [2020-01-27 19:50:48] 675*2^1553385-1 is not prime. Res64: 78FDB9E83CC6B76F Time : 0.0 sec. user=mdettweiler [2020-01-27 19:50:49] 705*2^1553385-1 is not prime. Res64: 68D673A39811A3C7 Time : 0.0 sec. user=mdettweiler [2020-01-27 20:38:19] 789*2^1553385-1 is not prime. Res64: 3CEAFBC6FF523BB7 Time : 0.0 sec. user=mdettweiler [2020-01-27 20:38:19] 819*2^1553385-1 is not prime. Res64: 8DCD72F3FE9972D7 Time : 0.0 sec. user=mdettweiler [2020-01-27 20:38:31] 889*2^1553385-1 is not prime. Res64: C04C28C9E2CF3906 Time : 0.0 sec. user=mdettweiler [2020-01-27 20:42:24] 743*2^1553386-1 is not prime. Res64: CFF7FFE14DD6AABD Time : 0.0 sec. user=mdettweiler [2020-01-27 20:42:25] 905*2^1553386-1 is not prime. Res64: F9DC25670695D571 Time : 0.0 sec. user=mdettweiler [2020-01-27 20:42:25] 879*2^1553387-1 is not prime. Res64: FD733C8E86C5DC8B Time : 0.0 sec. user=mdettweiler [2020-01-27 20:42:25] 963*2^1553387-1 is not prime. Res64: A8A9AE337A8A76BD Time : 0.0 sec. user=mdettweiler [2020-01-27 20:42:26] 979*2^1553387-1 is not prime. Res64: B3F5480EDEFB351C Time : 0.0 sec. user=mdettweiler [2020-01-27 20:43:16] 669*2^1553388-1 is not prime. Res64: F77711C6E0012631 Time : 0.0 sec. user=mdettweiler [2020-01-27 20:43:16] 773*2^1553388-1 is not prime. Res64: 8678D697D010E717 Time : 0.0 sec. user=mdettweiler [2020-01-27 20:43:17] 875*2^1553388-1 is not prime. Res64: 4DA49D4FAE608670 Time : 0.0 sec. user=mdettweiler [2020-01-27 20:43:17] 899*2^1553388-1 is not prime. Res64: 12EF737601F79D43 Time : 0.0 sec. user=mdettweiler [2020-01-27 20:43:17] 905*2^1553388-1 is not prime. Res64: CAFB5596E8CBF732 Time : 0.0 sec. user=mdettweiler [2020-01-27 21:38:19] 941*2^1553390-1 is not prime. Res64: 566236A23DE2ECF8 Time : 0.0 sec. user=mdettweiler [2020-01-27 21:38:19] 977*2^1553390-1 is not prime. Res64: 6FC272FBCF78374B Time : 0.0 sec. user=mdettweiler [2020-01-27 21:38:20] 775*2^1553391-1 is not prime. Res64: F5E868262BAC7202 Time : 0.0 sec. user=mdettweiler [2020-01-27 21:38:20] 605*2^1553392-1 is not prime. Res64: 1CDF6E1A96D5D858 Time : 0.0 sec. user=mdettweiler [2020-01-27 21:38:20] 615*2^1553392-1 is not prime. Res64: BB53E853E005122B Time : 0.0 sec. user=mdettweiler [2020-01-27 21:39:52] 927*2^1553388-1 is not prime. Res64: F5A2FDFE9C34F033 Time : 0.0 sec. user=mdettweiler [2020-01-27 21:39:53] 747*2^1553389-1 is not prime. Res64: 56B65DF5F5C8FB9E Time : 0.0 sec. user=mdettweiler [2020-01-27 21:39:53] 951*2^1553389-1 is not prime. Res64: 09A0FB61278F2DB8 Time : 0.0 sec. user=mdettweiler [2020-01-27 21:39:53] 987*2^1553389-1 is not prime. Res64: B0304DC618032026 Time : 0.0 sec. user=mdettweiler [2020-01-27 21:39:54] 921*2^1553390-1 is not prime. Res64: 0F7E95D409D90A99 Time : 0.0 sec. user=mdettweiler [2020-01-27 22:32:29] 635*2^1553392-1 is not prime. Res64: 62E85883306234D3 Time : 0.0 sec. user=mdettweiler [2020-01-27 22:32:29] 675*2^1553392-1 is not prime. Res64: 04C756FB51DE3408 Time : 0.0 sec. user=mdettweiler [2020-01-27 22:32:30] 695*2^1553392-1 is not prime. Res64: 29D8762CC8D76A72 Time : 0.0 sec. user=mdettweiler [2020-01-27 22:32:30] 759*2^1553392-1 is not prime. Res64: FAE16CF768DA46EE Time : 0.0 sec. user=mdettweiler [2020-01-27 22:32:33] 975*2^1553392-1 is not prime. Res64: 43BD606BDC13EA42 Time : 0.0 sec. user=mdettweiler [2020-01-27 22:35:20] 789*2^1553393-1 is not prime. Res64: 28B2E3418C05F423 Time : 0.0 sec. user=mdettweiler [2020-01-27 22:35:20] 801*2^1553393-1 is not prime. Res64: C2838FD83E6BDAEB Time : 0.0 sec. user=mdettweiler [2020-01-27 22:35:21] 819*2^1553393-1 is not prime. Res64: 9E0EAA68FD97C6D6 Time : 0.0 sec. user=mdettweiler [2020-01-27 22:35:21] 847*2^1553393-1 is not prime. Res64: 4C83D96BBDEBE638 Time : 0.0 sec. user=mdettweiler [2020-01-27 22:35:22] 969*2^1553393-1 is not prime. Res64: 1AD8E5E55317DA42 Time : 0.0 sec. user=mdettweiler [2020-01-27 23:26:12] 987*2^1553393-1 is not prime. Res64: F3B7900EB622E876 Time : 0.0 sec. user=mdettweiler [2020-01-27 23:26:13] 657*2^1553394-1 is not prime. Res64: 6DFAC6C778A528CE Time : 0.0 sec. user=mdettweiler [2020-01-27 23:26:19] 803*2^1553394-1 is not prime. Res64: BBF048D0A5ED2622 Time : 0.0 sec. user=mdettweiler [2020-01-27 23:26:20] 885*2^1553394-1 is not prime. Res64: DCBBA193A1077E8C Time : 0.0 sec. user=mdettweiler [2020-01-27 23:26:20] 891*2^1553394-1 is not prime. Res64: F856554D8A379DD7 Time : 0.0 sec. user=mdettweiler [2020-01-27 23:29:21] 917*2^1553394-1 is not prime. Res64: 97D47CBE268A199A Time : 0.0 sec. user=mdettweiler [2020-01-27 23:29:21] 993*2^1553394-1 is not prime. Res64: 7972192AB38C8D1E Time : 0.0 sec. user=mdettweiler [2020-01-27 23:29:21] 603*2^1553395-1 is not prime. Res64: 846DB37DD00815F6 Time : 0.0 sec. user=mdettweiler [2020-01-27 23:29:22] 685*2^1553395-1 is not prime. Res64: 3177E393B952A501 Time : 0.0 sec. user=mdettweiler [2020-01-27 23:29:26] 759*2^1553395-1 is not prime. Res64: 3FAB132047551CBF Time : 0.0 sec.