user=mdettweiler [2020-01-12 00:09:41] 813*2^1552459-1 is not prime. Res64: D16676CAAB479BB9 Time : 0.0 sec. user=mdettweiler [2020-01-12 00:09:41] 889*2^1552459-1 is not prime. Res64: F9930FB727F17AE6 Time : 0.0 sec. user=mdettweiler [2020-01-12 00:09:42] 909*2^1552459-1 is not prime. Res64: 9349E85093D547CB Time : 0.0 sec. user=mdettweiler [2020-01-12 00:09:42] 975*2^1552459-1 is not prime. Res64: 4A54B91ED00BDAE6 Time : 0.0 sec. user=mdettweiler [2020-01-12 00:21:51] 795*2^1552461-1 is not prime. Res64: 0E2F9BBAD29CE70A Time : 0.0 sec. user=mdettweiler [2020-01-12 00:21:52] 867*2^1552461-1 is not prime. Res64: 8A51251E752235B5 Time : 0.0 sec. user=mdettweiler [2020-01-12 00:21:52] 969*2^1552461-1 is not prime. Res64: 679F29C14E548BD6 Time : 0.0 sec. user=mdettweiler [2020-01-12 00:21:52] 651*2^1552462-1 is not prime. Res64: 3697FF59783EE902 Time : 0.0 sec. user=mdettweiler [2020-01-12 00:21:53] 665*2^1552462-1 is not prime. Res64: 3DA84191A66089B9 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:01:45] 695*2^1552462-1 is not prime. Res64: C8AA2E6AC1EFEFA7 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:01:46] 825*2^1552462-1 is not prime. Res64: C6E435DAED4C9624 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:01:47] 843*2^1552462-1 is not prime. Res64: 70054CEE2D5CF320 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:01:48] 873*2^1552462-1 is not prime. Res64: F2D3E678ADFA34A9 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:01:49] 891*2^1552462-1 is not prime. Res64: D67A302F9F88F442 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:14:05] 609*2^1552463-1 is not prime. Res64: E9B17DBFF6AD6D51 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:14:06] 621*2^1552463-1 is not prime. Res64: 1C81547E2BE0BDF6 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:14:07] 759*2^1552463-1 is not prime. Res64: FA66F6D61543BC17 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:14:07] 969*2^1552463-1 is not prime. Res64: 1FB63D9F397210AD Time : 0.0 sec. user=mdettweiler [2020-01-12 01:14:08] 615*2^1552464-1 is not prime. Res64: 557ECE9C64DF2117 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:53:08] 689*2^1552464-1 is not prime. Res64: 5F1709E2D0BF868E Time : 0.0 sec. user=mdettweiler [2020-01-12 01:53:09] 695*2^1552464-1 is not prime. Res64: 31FC62BA7D93901C Time : 0.0 sec. user=mdettweiler [2020-01-12 01:53:10] 707*2^1552464-1 is not prime. Res64: A14D171A680EAC45 Time : 0.0 sec. user=mdettweiler [2020-01-12 01:53:11] 737*2^1552464-1 is not prime. Res64: AC1E87A14F4ECF6A Time : 0.0 sec. user=mdettweiler [2020-01-12 01:53:11] 753*2^1552464-1 is not prime. Res64: 89ED74E796CC9F93 Time : 0.0 sec. user=mdettweiler [2020-01-12 02:08:17] 843*2^1552464-1 is not prime. Res64: B9AC2931B19384FC Time : 0.0 sec. user=mdettweiler [2020-01-12 02:08:19] 899*2^1552464-1 is not prime. Res64: EC9B7027BCE54488 Time : 0.0 sec. user=mdettweiler [2020-01-12 02:08:20] 945*2^1552464-1 is not prime. Res64: 382D536D6FF0723B Time : 0.0 sec. user=mdettweiler [2020-01-12 02:08:22] 983*2^1552464-1 is not prime. Res64: 806F3C4E8201AE1F Time : 0.0 sec. user=mdettweiler [2020-01-12 02:08:23] 777*2^1552465-1 is not prime. Res64: 1230617F25FA2146 Time : 0.0 sec. user=mdettweiler [2020-01-12 02:50:54] 919*2^1552465-1 is not prime. Res64: 12B42EB01056D3B3 Time : 0.0 sec. user=mdettweiler [2020-01-12 02:50:55] 645*2^1552466-1 is not prime. Res64: 271BCF2F5932DA4E Time : 0.0 sec. user=mdettweiler [2020-01-12 02:50:55] 833*2^1552466-1 is not prime. Res64: 45BAE50933F1B045 Time : 0.0 sec. user=mdettweiler [2020-01-12 02:50:55] 861*2^1552466-1 is not prime. Res64: F0C62FCFF9C9AD7B Time : 0.0 sec. user=mdettweiler [2020-01-12 02:50:56] 887*2^1552466-1 is not prime. Res64: 47231F184A8B80CA Time : 0.0 sec. user=mdettweiler [2020-01-12 03:01:37] 971*2^1552466-1 is not prime. Res64: 0ABAED0ADD03A6A1 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:01:39] 621*2^1552467-1 is not prime. Res64: 496AAC95DBDB9BE5 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:01:40] 649*2^1552467-1 is not prime. Res64: D92F9B612A5A1EB4 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:01:41] 819*2^1552467-1 is not prime. Res64: 08962A97083DE510 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:01:42] 849*2^1552467-1 is not prime. Res64: F2427CA95E8E68F3 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:43:40] 879*2^1552467-1 is not prime. Res64: 646C465AE5E37686 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:43:42] 985*2^1552467-1 is not prime. Res64: A008A8FAA24266E8 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:43:42] 615*2^1552468-1 is not prime. Res64: 7D58BFAF2F548229 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:43:43] 773*2^1552468-1 is not prime. Res64: 43E80A3442D29136 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:43:45] 827*2^1552468-1 is not prime. Res64: 7DF5B305AD80586C Time : 0.0 sec. user=mdettweiler [2020-01-12 03:53:13] 863*2^1552468-1 is not prime. Res64: EB095AAA851F1E98 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:53:14] 615*2^1552469-1 is not prime. Res64: 66BCBD02B5A53815 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:53:15] 621*2^1552469-1 is not prime. Res64: 040BBB5DA0C731C5 Time : 0.0 sec. user=mdettweiler [2020-01-12 03:53:16] 735*2^1552469-1 is not prime. Res64: B54CE21409E41E6F Time : 0.0 sec. user=mdettweiler [2020-01-12 03:53:16] 829*2^1552469-1 is not prime. Res64: BA7E942DB63A83D9 Time : 0.0 sec. user=mdettweiler [2020-01-12 04:35:35] 669*2^1552460-1 is not prime. Res64: 1E48B20FA369F85C Time : 0.0 sec. user=mdettweiler [2020-01-12 04:35:36] 677*2^1552460-1 is not prime. Res64: FF264DCC697C6B8A Time : 0.0 sec. user=mdettweiler [2020-01-12 04:35:36] 879*2^1552460-1 is not prime. Res64: 264B4391649EE003 Time : 0.0 sec. user=mdettweiler [2020-01-12 04:35:37] 607*2^1552461-1 is not prime. Res64: 15AD4FF1A5262869 Time : 0.0 sec. user=mdettweiler [2020-01-12 04:35:37] 727*2^1552461-1 is not prime. Res64: 55235990D9DED741 Time : 0.0 sec. user=mdettweiler [2020-01-12 04:46:09] 847*2^1552469-1 is not prime. Res64: A08B8090B4E25F4E Time : 0.0 sec. user=mdettweiler [2020-01-12 04:46:10] 851*2^1552470-1 is not prime. Res64: 41BD8E39D682A82E Time : 0.0 sec. user=mdettweiler [2020-01-12 04:46:10] 863*2^1552470-1 is not prime. Res64: 06F798DC5D5EED0D Time : 0.0 sec. user=mdettweiler [2020-01-12 04:46:10] 915*2^1552470-1 is not prime. Res64: B05A3D4C978C588C Time : 0.0 sec. user=mdettweiler [2020-01-12 04:46:11] 619*2^1552471-1 is not prime. Res64: 1DE39A50A58386A1 Time : 0.0 sec. user=mdettweiler [2020-01-12 05:28:40] 645*2^1552471-1 is not prime. Res64: 088566F9EA7D76C2 Time : 0.0 sec. user=mdettweiler [2020-01-12 05:28:41] 705*2^1552471-1 is not prime. Res64: 220FFC689424E895 Time : 0.0 sec. user=mdettweiler [2020-01-12 05:28:41] 793*2^1552471-1 is not prime. Res64: DADD8635E066DD88 Time : 0.0 sec. user=mdettweiler [2020-01-12 05:28:42] 885*2^1552471-1 is not prime. Res64: 1B00937278BFB2A0 Time : 0.0 sec. user=mdettweiler [2020-01-12 05:28:42] 975*2^1552471-1 is not prime. Res64: 0F5155ED29784597 Time : 0.0 sec. user=mdettweiler [2020-01-12 05:38:44] 979*2^1552471-1 is not prime. Res64: FC3F89AFB0D7E716 Time : 0.0 sec. user=mdettweiler [2020-01-12 05:38:44] 603*2^1552472-1 is not prime. Res64: 370488F00FE6F9FB Time : 0.0 sec. user=mdettweiler [2020-01-12 05:38:45] 645*2^1552472-1 is not prime. Res64: E31AF00B546040B5 Time : 0.0 sec. user=mdettweiler [2020-01-12 05:38:45] 725*2^1552472-1 is not prime. Res64: B79D63854BAFC1C9 Time : 0.0 sec. user=mdettweiler [2020-01-12 05:38:46] 797*2^1552472-1 is not prime. Res64: 1B2E5D96A6BF5EC1 Time : 0.0 sec. user=mdettweiler [2020-01-12 06:21:02] 833*2^1552472-1 is not prime. Res64: E4C3A30F269F1CD3 Time : 0.0 sec. user=mdettweiler [2020-01-12 06:21:02] 843*2^1552472-1 is not prime. Res64: 69F89E1FF052222E Time : 0.0 sec. user=mdettweiler [2020-01-12 06:21:03] 903*2^1552472-1 is not prime. Res64: 18BD67D55FE1D9FF Time : 0.0 sec. user=mdettweiler [2020-01-12 06:21:03] 915*2^1552472-1 is not prime. Res64: 719EE3FF5A373876 Time : 0.0 sec. user=mdettweiler [2020-01-12 06:21:04] 917*2^1552472-1 is not prime. Res64: 6707D6646CEF794C Time : 0.0 sec. user=mdettweiler [2020-01-12 06:29:52] 679*2^1552473-1 is not prime. Res64: 4D5E029BD049055D Time : 0.0 sec. user=mdettweiler [2020-01-12 06:29:53] 705*2^1552473-1 is not prime. Res64: F3EC2FF37A580CE1 Time : 0.0 sec. user=mdettweiler [2020-01-12 06:29:53] 727*2^1552473-1 is not prime. Res64: 8DDA2069A3FE27D6 Time : 0.0 sec. user=mdettweiler [2020-01-12 06:29:53] 915*2^1552473-1 is not prime. Res64: 34AE684FF07C0A26 Time : 0.0 sec. user=mdettweiler [2020-01-12 06:29:54] 623*2^1552474-1 is not prime. Res64: 3DD67B6BAD489744 Time : 0.0 sec. user=mdettweiler [2020-01-12 07:12:18] 651*2^1552474-1 is not prime. Res64: 521544A1B094E7C5 Time : 0.0 sec. user=mdettweiler [2020-01-12 07:12:18] 663*2^1552474-1 is not prime. Res64: 8D48349CD8CA38AF Time : 0.0 sec. user=mdettweiler [2020-01-12 07:12:19] 675*2^1552474-1 is not prime. Res64: 677A4FAD26485D85 Time : 0.0 sec. user=mdettweiler [2020-01-12 07:12:19] 687*2^1552474-1 is not prime. Res64: 1A0B5C8DB50984E7 Time : 0.0 sec. user=mdettweiler [2020-01-12 07:12:20] 791*2^1552474-1 is not prime. Res64: 8000370BB5E9E8B6 Time : 0.0 sec. user=mdettweiler [2020-01-12 07:23:44] 813*2^1552474-1 is not prime. Res64: 9CD43676F85BF694 Time : 0.0 sec. user=mdettweiler [2020-01-12 07:23:44] 971*2^1552474-1 is not prime. Res64: 7D794B0A21DF6823 Time : 0.0 sec. user=mdettweiler [2020-01-12 07:23:45] 981*2^1552474-1 is not prime. Res64: 765286EC1AF5A690 Time : 0.0 sec. user=mdettweiler [2020-01-12 07:23:45] 619*2^1552475-1 is not prime. Res64: A7AD7537653EB248 Time : 0.0 sec. user=mdettweiler [2020-01-12 07:23:45] 643*2^1552475-1 is not prime. Res64: ED61242A027E197E Time : 0.0 sec. user=mdettweiler [2020-01-12 08:06:00] 663*2^1552475-1 is not prime. Res64: 7B248D42BFEC1158 Time : 0.0 sec. user=mdettweiler [2020-01-12 08:06:02] 963*2^1552475-1 is not prime. Res64: 76F7B48BBBE6AC0B Time : 0.0 sec. user=mdettweiler [2020-01-12 08:06:03] 981*2^1552475-1 is not prime. Res64: 16B2DD7ECA8DCDEF Time : 0.0 sec. user=mdettweiler [2020-01-12 08:06:04] 609*2^1552476-1 is not prime. Res64: 839FE403134050BA Time : 0.0 sec. user=mdettweiler [2020-01-12 08:06:05] 629*2^1552476-1 is not prime. Res64: 7CFCB088541CF5B8 Time : 0.0 sec. user=mdettweiler [2020-01-12 08:15:31] 633*2^1552476-1 is not prime. Res64: 2DD584B1BC760318 Time : 0.0 sec. user=mdettweiler [2020-01-12 08:15:31] 723*2^1552476-1 is not prime. Res64: 99EDE60B4F5141B3 Time : 0.0 sec. user=mdettweiler [2020-01-12 08:15:32] 803*2^1552476-1 is not prime. Res64: 2E6C2C29BEFC1323 Time : 0.0 sec. user=mdettweiler [2020-01-12 08:15:32] 839*2^1552476-1 is not prime. Res64: C8583E8AA5948E46 Time : 0.0 sec. user=mdettweiler [2020-01-12 08:15:33] 875*2^1552476-1 is not prime. Res64: 561B44519C3940CA Time : 0.0 sec. user=mdettweiler [2020-01-12 08:57:36] 691*2^1552477-1 is not prime. Res64: 20DA8156C095E17C Time : 0.0 sec. user=mdettweiler [2020-01-12 08:57:36] 717*2^1552477-1 is not prime. Res64: E6B89F479DE58175 Time : 0.0 sec. user=mdettweiler [2020-01-12 08:57:36] 775*2^1552477-1 is not prime. Res64: B0CA9520538DC3E0 Time : 0.0 sec. user=mdettweiler [2020-01-12 08:57:37] 825*2^1552477-1 is not prime. Res64: 33AF06AE574E4C0E Time : 0.0 sec. user=mdettweiler [2020-01-12 08:57:37] 885*2^1552477-1 is not prime. Res64: 9B3F61FB5D9640EB Time : 0.0 sec. user=mdettweiler [2020-01-12 09:09:26] 895*2^1552477-1 is not prime. Res64: 55091D6BEA29D0F1 Time : 0.0 sec. user=mdettweiler [2020-01-12 09:09:27] 955*2^1552477-1 is not prime. Res64: 14F8B84F632A1ABC Time : 0.0 sec. user=mdettweiler [2020-01-12 09:09:27] 985*2^1552477-1 is not prime. Res64: 85DEB9FA0C79AB7B Time : 0.0 sec. user=mdettweiler [2020-01-12 09:09:28] 641*2^1552478-1 is not prime. Res64: E131A5262229B04F Time : 0.0 sec. user=mdettweiler [2020-01-12 09:09:28] 731*2^1552478-1 is not prime. Res64: CF7366BD934379AB Time : 0.0 sec. user=mdettweiler [2020-01-12 09:51:11] 755*2^1552478-1 is not prime. Res64: 8A83DAB031711737 Time : 0.0 sec. user=mdettweiler [2020-01-12 09:51:11] 945*2^1552478-1 is not prime. Res64: 5FFF7B4495F53403 Time : 0.0 sec. user=mdettweiler [2020-01-12 09:51:11] 1001*2^1552478-1 is not prime. Res64: 2877A2ABEAE3766E Time : 0.0 sec. user=mdettweiler [2020-01-12 09:51:12] 609*2^1552479-1 is not prime. Res64: D90254C95B3FE06E Time : 0.0 sec. user=mdettweiler [2020-01-12 09:51:12] 741*2^1552479-1 is not prime. Res64: 636A50C710AAB2AC Time : 0.0 sec. user=mdettweiler [2020-01-12 10:01:09] 763*2^1552479-1 is not prime. Res64: 6B29D33393507AEB Time : 0.0 sec. user=mdettweiler [2020-01-12 10:01:09] 853*2^1552479-1 is not prime. Res64: 36DA8534D12EC17D Time : 0.0 sec. user=mdettweiler [2020-01-12 10:01:10] 861*2^1552479-1 is not prime. Res64: 6D06712CFA5BEEE1 Time : 0.0 sec. user=mdettweiler [2020-01-12 10:01:11] 873*2^1552479-1 is not prime. Res64: D75D250DADD300AA Time : 0.0 sec. user=mdettweiler [2020-01-12 10:01:12] 735*2^1552480-1 is not prime. Res64: EEB1978CAE63815E Time : 0.0 sec. user=mdettweiler [2020-01-12 10:44:36] 813*2^1552480-1 is not prime. Res64: BD840065C1982BAC Time : 0.0 sec. user=mdettweiler [2020-01-12 10:44:36] 863*2^1552480-1 is not prime. Res64: 1ACD0D295176E157 Time : 0.0 sec. user=mdettweiler [2020-01-12 10:44:36] 905*2^1552480-1 is not prime. Res64: F399C065915EF79E Time : 0.0 sec. user=mdettweiler [2020-01-12 10:44:37] 909*2^1552480-1 is not prime. Res64: 46EA94CD466FEC4E Time : 0.0 sec. user=mdettweiler [2020-01-12 10:44:37] 959*2^1552480-1 is not prime. Res64: 243264F70ED60D30 Time : 0.0 sec. user=mdettweiler [2020-01-12 10:54:44] 965*2^1552480-1 is not prime. Res64: 2B0318A249D42A0F Time : 0.0 sec. user=mdettweiler [2020-01-12 10:54:44] 999*2^1552480-1 is not prime. Res64: 707951AF42D17B1B Time : 0.0 sec. user=mdettweiler [2020-01-12 10:54:45] 649*2^1552481-1 is not prime. Res64: F3089EFF008FD0F3 Time : 0.0 sec. user=mdettweiler [2020-01-12 10:54:45] 651*2^1552481-1 is not prime. Res64: D680C2C06C33D1DC Time : 0.0 sec. user=mdettweiler [2020-01-12 10:54:45] 685*2^1552481-1 is not prime. Res64: 4EE4454DED66D31E Time : 0.0 sec. user=mdettweiler [2020-01-12 11:37:22] 727*2^1552481-1 is not prime. Res64: FB74909109B1910C Time : 0.0 sec. user=mdettweiler [2020-01-12 11:37:23] 747*2^1552481-1 is not prime. Res64: 61E733E7372A8C6E Time : 0.0 sec. user=mdettweiler [2020-01-12 11:37:23] 801*2^1552481-1 is not prime. Res64: ABBC36FEEB5B09C9 Time : 0.0 sec. user=mdettweiler [2020-01-12 11:37:23] 871*2^1552481-1 is not prime. Res64: D133E6AE2107FBC5 Time : 0.0 sec. user=mdettweiler [2020-01-12 11:37:24] 931*2^1552481-1 is not prime. Res64: 32CC0C4840698F9D Time : 0.0 sec. user=mdettweiler [2020-01-12 11:47:32] 957*2^1552481-1 is not prime. Res64: 0CE8EAFE4B607DF5 Time : 0.0 sec. user=mdettweiler [2020-01-12 11:47:32] 627*2^1552482-1 is not prime. Res64: 0F2DC9729966F827 Time : 0.0 sec. user=mdettweiler [2020-01-12 11:47:33] 713*2^1552482-1 is not prime. Res64: 95C8DFBCFDAC78EC Time : 0.0 sec. user=mdettweiler [2020-01-12 11:47:33] 825*2^1552482-1 is not prime. Res64: DAA1B28806627416 Time : 0.0 sec. user=mdettweiler [2020-01-12 11:47:34] 923*2^1552482-1 is not prime. Res64: 91B1C1538B28C847 Time : 0.0 sec. user=mdettweiler [2020-01-12 12:30:17] 947*2^1552482-1 is not prime. Res64: CD5B5282D011F3D5 Time : 0.0 sec. user=mdettweiler [2020-01-12 12:30:18] 639*2^1552483-1 is not prime. Res64: 6F22F480649CD1F7 Time : 0.0 sec. user=mdettweiler [2020-01-12 12:30:18] 673*2^1552483-1 is not prime. Res64: AD1784CC14C5E0EB Time : 0.0 sec. user=mdettweiler [2020-01-12 12:30:19] 783*2^1552483-1 is not prime. Res64: B8017D493325FB82 Time : 0.0 sec. user=mdettweiler [2020-01-12 12:30:19] 801*2^1552483-1 is not prime. Res64: 2BEE264535B3B13D Time : 0.0 sec. user=mdettweiler [2020-01-12 12:40:38] 853*2^1552483-1 is not prime. Res64: 335CE19DC934325E Time : 0.0 sec. user=mdettweiler [2020-01-12 12:40:39] 945*2^1552483-1 is not prime. Res64: BBE209C07605CF49 Time : 0.0 sec. user=mdettweiler [2020-01-12 12:40:39] 665*2^1552484-1 is not prime. Res64: C43883DDA0353745 Time : 0.0 sec. user=mdettweiler [2020-01-12 12:40:39] 813*2^1552484-1 is not prime. Res64: C05BEEA37B9A8B38 Time : 0.0 sec. user=mdettweiler [2020-01-12 12:40:40] 819*2^1552484-1 is not prime. Res64: D8F0CAF1B86F2744 Time : 0.0 sec. user=mdettweiler [2020-01-12 13:22:51] 825*2^1552484-1 is not prime. Res64: 3DAEC88F4181AC04 Time : 0.0 sec. user=mdettweiler [2020-01-12 13:22:51] 953*2^1552484-1 is not prime. Res64: F18CE27C7F22B807 Time : 0.0 sec. user=mdettweiler [2020-01-12 13:22:52] 607*2^1552485-1 is not prime. Res64: A208C8AC22B6FCB9 Time : 0.0 sec. user=mdettweiler [2020-01-12 13:22:53] 679*2^1552485-1 is not prime. Res64: 8A551C8754B2BB85 Time : 0.0 sec. user=mdettweiler [2020-01-12 13:22:53] 699*2^1552485-1 is not prime. Res64: DB4392AE2D3D1B8A Time : 0.0 sec. user=mdettweiler [2020-01-12 13:32:22] 885*2^1552485-1 is not prime. Res64: CC7E8703AA14EAB3 Time : 0.0 sec. user=mdettweiler [2020-01-12 13:32:23] 657*2^1552486-1 is not prime. Res64: FBFEB3092BFE0595 Time : 0.0 sec. user=mdettweiler [2020-01-12 13:32:23] 717*2^1552486-1 is not prime. Res64: 39ADD6465403DBE8 Time : 0.0 sec. user=mdettweiler [2020-01-12 13:32:23] 873*2^1552486-1 is not prime. Res64: AD94936D8B1F09E7 Time : 0.0 sec. user=mdettweiler [2020-01-12 13:32:24] 897*2^1552486-1 is not prime. Res64: 4E0F355B0FB99AF1 Time : 0.0 sec. user=mdettweiler [2020-01-12 14:15:46] 917*2^1552486-1 is not prime. Res64: 6CDB3DB222F0EB06 Time : 0.0 sec. user=mdettweiler [2020-01-12 14:15:47] 923*2^1552486-1 is not prime. Res64: 4EC8F60277778D9E Time : 0.0 sec. user=mdettweiler [2020-01-12 14:15:47] 957*2^1552486-1 is not prime. Res64: A26F406336C407FC Time : 0.0 sec. user=mdettweiler [2020-01-12 14:15:48] 651*2^1552487-1 is not prime. Res64: EDFCAD08A7E4064C Time : 0.0 sec. user=mdettweiler [2020-01-12 14:15:48] 703*2^1552487-1 is not prime. Res64: 869C41FD0DE55D48 Time : 0.0 sec. user=mdettweiler [2020-01-12 14:24:05] 859*2^1552487-1 is not prime. Res64: C7E1CDC646A51629 Time : 0.0 sec. user=mdettweiler [2020-01-12 14:24:06] 861*2^1552487-1 is not prime. Res64: 48DEEC8821FA05F6 Time : 0.0 sec. user=mdettweiler [2020-01-12 14:24:06] 879*2^1552487-1 is not prime. Res64: 7EF41D3D4F3EA433 Time : 0.0 sec. user=mdettweiler [2020-01-12 14:24:06] 633*2^1552488-1 is not prime. Res64: 6FB7EBBDFFBE610C Time : 0.0 sec. user=mdettweiler [2020-01-12 14:24:07] 635*2^1552488-1 is not prime. Res64: CB00DBF2E38790AC Time : 0.0 sec. user=mdettweiler [2020-01-12 15:07:14] 699*2^1552488-1 is not prime. Res64: 0D56D245C3CB84BB Time : 0.0 sec. user=mdettweiler [2020-01-12 15:07:16] 735*2^1552488-1 is not prime. Res64: EE9DCB768B6B5D88 Time : 0.0 sec. user=mdettweiler [2020-01-12 15:07:18] 819*2^1552488-1 is not prime. Res64: 10EFC046CE820416 Time : 0.0 sec. user=mdettweiler [2020-01-12 15:07:19] 721*2^1552489-1 is not prime. Res64: E4727F004429E814 Time : 0.0 sec. user=mdettweiler [2020-01-12 15:07:21] 819*2^1552489-1 is not prime. Res64: C747675106343C7E Time : 0.0 sec. user=mdettweiler [2020-01-12 15:16:53] 835*2^1552489-1 is not prime. Res64: DF19EF7EF2D03B94 Time : 0.0 sec. user=mdettweiler [2020-01-12 15:16:54] 855*2^1552489-1 is not prime. Res64: 625965E879BC38A8 Time : 0.0 sec. user=mdettweiler [2020-01-12 15:16:54] 945*2^1552489-1 is not prime. Res64: 3DF4585999C884FA Time : 0.0 sec. user=mdettweiler [2020-01-12 15:16:55] 605*2^1552490-1 is not prime. Res64: 2E95F7009C493C32 Time : 0.0 sec. user=mdettweiler [2020-01-12 15:16:55] 743*2^1552490-1 is not prime. Res64: 54916A9D52E7932E Time : 0.0 sec. user=mdettweiler [2020-01-12 15:59:59] 755*2^1552490-1 is not prime. Res64: D84211B772F3BD3A Time : 0.0 sec. user=mdettweiler [2020-01-12 16:00:00] 783*2^1552490-1 is not prime. Res64: 8D260B26AB8EE30E Time : 0.0 sec. user=mdettweiler [2020-01-12 16:00:00] 833*2^1552490-1 is not prime. Res64: 45F8EE71532092A7 Time : 0.0 sec. user=mdettweiler [2020-01-12 16:00:00] 857*2^1552490-1 is not prime. Res64: A5A2EFCEF70FC692 Time : 0.0 sec. user=mdettweiler [2020-01-12 16:00:01] 893*2^1552490-1 is not prime. Res64: 910FBD6577B4393C Time : 0.0 sec. user=mdettweiler [2020-01-12 16:10:01] 945*2^1552490-1 is not prime. Res64: 3F2958588A3BA902 Time : 0.0 sec. user=mdettweiler [2020-01-12 16:10:02] 705*2^1552491-1 is not prime. Res64: 0B421E83EE4BC180 Time : 0.0 sec. user=mdettweiler [2020-01-12 16:10:03] 795*2^1552491-1 is not prime. Res64: C59F9464D8A71373 Time : 0.0 sec. user=mdettweiler [2020-01-12 16:10:04] 861*2^1552491-1 is not prime. Res64: 64ABFA3E79B714FF Time : 0.0 sec. user=mdettweiler [2020-01-12 16:10:04] 903*2^1552491-1 is not prime. Res64: 4BBB9566747289FC Time : 0.0 sec. user=mdettweiler [2020-01-12 16:53:32] 945*2^1552491-1 is not prime. Res64: CB1E06DA79025AC2 Time : 0.0 sec. user=mdettweiler [2020-01-12 16:53:33] 955*2^1552491-1 is not prime. Res64: 84004AB4F4BA13F8 Time : 0.0 sec. user=mdettweiler [2020-01-12 16:53:33] 689*2^1552492-1 is not prime. Res64: BDCF43B6657D2DAB Time : 0.0 sec. user=mdettweiler [2020-01-12 16:53:34] 755*2^1552492-1 is not prime. Res64: C02AAC0FDB157B71 Time : 0.0 sec. user=mdettweiler [2020-01-12 16:53:34] 765*2^1552492-1 is not prime. Res64: 7CAC043177EB2C09 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:03:17] 833*2^1552492-1 is not prime. Res64: 8A6646FCCE80DD58 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:03:18] 873*2^1552492-1 is not prime. Res64: F8B2795CF364D1C3 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:03:19] 899*2^1552492-1 is not prime. Res64: 4424E18E71E1AD50 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:03:20] 989*2^1552492-1 is not prime. Res64: 48BA4FBCE5C24CDC Time : 0.0 sec. user=mdettweiler [2020-01-12 17:03:21] 657*2^1552493-1 is not prime. Res64: CC585BB29C488145 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:45:01] 685*2^1552493-1 is not prime. Res64: 4CE9D6D8D99B3696 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:45:01] 745*2^1552493-1 is not prime. Res64: F72C69F7752BB398 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:45:02] 775*2^1552493-1 is not prime. Res64: 4F200DE2934B638E Time : 0.0 sec. user=mdettweiler [2020-01-12 17:45:02] 801*2^1552493-1 is not prime. Res64: E41ED4E01F7B6FE5 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:45:03] 837*2^1552493-1 is not prime. Res64: 0947CE6D86DD5304 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:56:12] 635*2^1552494-1 is not prime. Res64: 87369A89AEDEEC60 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:56:12] 677*2^1552494-1 is not prime. Res64: EC967B75BB544926 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:56:13] 795*2^1552494-1 is not prime. Res64: EA7001F55AE43FF3 Time : 0.0 sec. user=mdettweiler [2020-01-12 17:56:13] 965*2^1552494-1 is not prime. Res64: E33E1121FF4A0A4B Time : 0.0 sec. user=mdettweiler [2020-01-12 17:56:13] 645*2^1552495-1 is not prime. Res64: B8FEFCF43ED4E41C Time : 0.0 sec. user=mdettweiler [2020-01-12 18:36:12] 741*2^1552495-1 is not prime. Res64: 4E93FC44A863FA23 Time : 0.0 sec. user=mdettweiler [2020-01-12 18:36:12] 765*2^1552495-1 is not prime. Res64: 9A4E331CC847E9DC Time : 0.0 sec. user=mdettweiler [2020-01-12 18:36:13] 913*2^1552495-1 is not prime. Res64: 5D9E0769C684562A Time : 0.0 sec. user=mdettweiler [2020-01-12 18:36:13] 633*2^1552496-1 is not prime. Res64: 513028593C6E9DA1 Time : 0.0 sec. user=mdettweiler [2020-01-12 18:36:14] 747*2^1552496-1 is not prime. Res64: 43176FF3996C7E2E Time : 0.0 sec. user=mdettweiler [2020-01-12 18:49:02] 963*2^1552496-1 is not prime. Res64: ED323727B60D6FEF Time : 0.0 sec. user=mdettweiler [2020-01-12 18:49:02] 669*2^1552497-1 is not prime. Res64: 546EE940EAC7E338 Time : 0.0 sec. user=mdettweiler [2020-01-12 18:49:03] 739*2^1552497-1 is not prime. Res64: 8A6E3C6733037292 Time : 0.0 sec. user=mdettweiler [2020-01-12 18:49:03] 781*2^1552497-1 is not prime. Res64: 979D93CC3331A051 Time : 0.0 sec. user=mdettweiler [2020-01-12 18:49:03] 847*2^1552497-1 is not prime. Res64: 12D9792E2915902F Time : 0.0 sec. user=mdettweiler [2020-01-12 19:29:02] 865*2^1552497-1 is not prime. Res64: 653D770B026299A5 Time : 0.0 sec. user=mdettweiler [2020-01-12 19:29:02] 895*2^1552497-1 is not prime. Res64: 23F62799B4C4D2BC Time : 0.0 sec. user=mdettweiler [2020-01-12 19:29:03] 999*2^1552497-1 is not prime. Res64: 62BD3D6F64BC282A Time : 0.0 sec. user=mdettweiler [2020-01-12 19:29:03] 647*2^1552498-1 is not prime. Res64: 000FAFE76F95FFAE Time : 0.0 sec. user=mdettweiler [2020-01-12 19:29:03] 687*2^1552498-1 is not prime. Res64: D822E10E76E531EC Time : 0.0 sec. user=mdettweiler [2020-01-12 19:40:49] 713*2^1552498-1 is not prime. Res64: 19E3633488A36F53 Time : 0.0 sec. user=mdettweiler [2020-01-12 19:40:50] 731*2^1552498-1 is not prime. Res64: 24FC51E403F088F4 Time : 0.0 sec. user=mdettweiler [2020-01-12 19:40:50] 801*2^1552498-1 is not prime. Res64: 577DE8E01AF32CE2 Time : 0.0 sec. user=mdettweiler [2020-01-12 19:40:50] 831*2^1552498-1 is not prime. Res64: A507FD5E5D7B49FC Time : 0.0 sec. user=mdettweiler [2020-01-12 19:40:51] 843*2^1552498-1 is not prime. Res64: E9BC98AE312A705A Time : 0.0 sec. user=mdettweiler [2020-01-12 20:21:11] 845*2^1552498-1 is not prime. Res64: EB719D3F19D4D42C Time : 0.0 sec. user=mdettweiler [2020-01-12 20:21:11] 655*2^1552499-1 is not prime. Res64: A17178554DC443FD Time : 0.0 sec. user=mdettweiler [2020-01-12 20:21:11] 811*2^1552499-1 is not prime. Res64: 6BCACB44D7BED7ED Time : 0.0 sec. user=mdettweiler [2020-01-12 20:21:12] 823*2^1552499-1 is not prime. Res64: C9983902D1950761 Time : 0.0 sec. user=mdettweiler [2020-01-12 20:21:12] 841*2^1552499-1 is not prime. Res64: 2BE2E922F901EEE5 Time : 0.0 sec. user=mdettweiler [2020-01-12 20:36:04] 909*2^1552499-1 is not prime. Res64: 9D8FFA7992EF66B6 Time : 0.0 sec. user=mdettweiler [2020-01-12 20:36:04] 973*2^1552499-1 is not prime. Res64: BB758D460DF44FCE Time : 0.0 sec. user=mdettweiler [2020-01-12 20:36:05] 979*2^1552499-1 is not prime. Res64: CA7A7E4D29E40FBA Time : 0.0 sec. user=mdettweiler [2020-01-12 20:36:05] 985*2^1552499-1 is not prime. Res64: BB5353438D3BE829 Time : 0.0 sec. user=mdettweiler [2020-01-12 20:36:05] 615*2^1552500-1 is not prime. Res64: 2364376765B3A133 Time : 0.0 sec. user=mdettweiler [2020-01-12 21:21:02] 627*2^1552500-1 is not prime. Res64: ABA1566F9C700EAC Time : 0.0 sec. user=mdettweiler [2020-01-12 21:21:03] 629*2^1552500-1 is not prime. Res64: 3CE0A90DEA99AD9B Time : 0.0 sec. user=mdettweiler [2020-01-12 21:21:03] 915*2^1552500-1 is not prime. Res64: DD56CCCFA4B496A7 Time : 0.0 sec. user=mdettweiler [2020-01-12 21:21:03] 935*2^1552500-1 is not prime. Res64: 4B1424CD8F05A83E Time : 0.0 sec. user=mdettweiler [2020-01-12 21:21:04] 679*2^1552501-1 is not prime. Res64: 4A534C65596FDF1A Time : 0.0 sec. user=mdettweiler [2020-01-12 21:29:33] 825*2^1552501-1 is not prime. Res64: 4BB99E5DF1A0040C Time : 0.0 sec. user=mdettweiler [2020-01-12 21:29:34] 847*2^1552501-1 is not prime. Res64: 0039D6D7717C9A96 Time : 0.0 sec. user=mdettweiler [2020-01-12 21:29:34] 925*2^1552501-1 is not prime. Res64: FA8528EBD7A900E7 Time : 0.0 sec. user=mdettweiler [2020-01-12 21:29:35] 873*2^1552502-1 is not prime. Res64: F9E1CF6128CD4A58 Time : 0.0 sec. user=mdettweiler [2020-01-12 21:29:35] 885*2^1552502-1 is not prime. Res64: E7D7EDF609C50C50 Time : 0.0 sec. user=mdettweiler [2020-01-12 22:13:27] 887*2^1552502-1 is not prime. Res64: 3501B59B33DEB6D1 Time : 0.0 sec. user=mdettweiler [2020-01-12 22:13:28] 893*2^1552502-1 is not prime. Res64: 093C82C05BD449E1 Time : 0.0 sec. user=mdettweiler [2020-01-12 22:13:28] 897*2^1552502-1 is not prime. Res64: DBF5219022B9C4B8 Time : 0.0 sec. user=mdettweiler [2020-01-12 22:13:29] 921*2^1552502-1 is not prime. Res64: B496DACC684F82DB Time : 0.0 sec. user=mdettweiler [2020-01-12 22:13:29] 923*2^1552502-1 is not prime. Res64: 19DCEB593E0F0E0C Time : 0.0 sec. user=mdettweiler [2020-01-12 22:23:43] 981*2^1552502-1 is not prime. Res64: 95C739DD3FF2E9C0 Time : 0.0 sec. user=mdettweiler [2020-01-12 22:23:43] 663*2^1552503-1 is not prime. Res64: D10E8D1C580DB38E Time : 0.0 sec. user=mdettweiler [2020-01-12 22:23:43] 823*2^1552503-1 is not prime. Res64: 99923D1399990156 Time : 0.0 sec. user=mdettweiler [2020-01-12 22:23:44] 873*2^1552503-1 is not prime. Res64: 38AF2FEFA3049CF9 Time : 0.0 sec. user=mdettweiler [2020-01-12 22:23:44] 945*2^1552503-1 is not prime. Res64: 455FBC250A9CB8C9 Time : 0.0 sec. user=mdettweiler [2020-01-12 23:09:06] 949*2^1552503-1 is not prime. Res64: 2B01C7F4C29A206C Time : 0.0 sec. user=mdettweiler [2020-01-12 23:09:06] 825*2^1552504-1 is not prime. Res64: 374624931119B171 Time : 0.0 sec. user=mdettweiler [2020-01-12 23:09:07] 959*2^1552504-1 is not prime. Res64: 327BB1096846CCAE Time : 0.0 sec. user=mdettweiler [2020-01-12 23:09:07] 837*2^1552505-1 is not prime. Res64: 446016D4D9E76514 Time : 0.0 sec. user=mdettweiler [2020-01-12 23:09:08] 949*2^1552505-1 is not prime. Res64: D7EE5AB7408E1D55 Time : 0.0 sec. user=mdettweiler [2020-01-12 23:16:16] 951*2^1552505-1 is not prime. Res64: FC42E5C7DB582D82 Time : 0.0 sec. user=mdettweiler [2020-01-12 23:16:16] 725*2^1552506-1 is not prime. Res64: 2D058F5513A8E38F Time : 0.0 sec. user=mdettweiler [2020-01-12 23:16:17] 747*2^1552506-1 is not prime. Res64: 2F2AD017220BFF3A Time : 0.0 sec. user=mdettweiler [2020-01-12 23:16:17] 777*2^1552506-1 is not prime. Res64: E68F4286353B2D6F Time : 0.0 sec. user=mdettweiler [2020-01-12 23:16:18] 837*2^1552506-1 is not prime. Res64: 8AF1354436FDCF58 Time : 0.0 sec.