user=mdettweiler [2018-04-19 00:18:24] 819*2^1507485-1 is not prime. Res64: BC56BF170E4029C2 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:18:25] 951*2^1507485-1 is not prime. Res64: 3A7E585131924D59 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:18:25] 723*2^1507486-1 is not prime. Res64: 41C3D359D488BCA4 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:18:26] 945*2^1507486-1 is not prime. Res64: 160B4304B6D3E1B7 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:18:26] 971*2^1507486-1 is not prime. Res64: 4836B3A250D0BF16 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:18:52] 1001*2^1507486-1 is not prime. Res64: 6D4AACE1A9D0485E Time : 0.0 sec. user=mdettweiler [2018-04-19 00:18:52] 609*2^1507487-1 is not prime. Res64: 7D8BBB8C773E1966 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:18:53] 619*2^1507487-1 is not prime. Res64: 67A12B9FB01B23E4 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:18:53] 633*2^1507487-1 is not prime. Res64: C765AABA66AD4BD5 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:18:54] 651*2^1507487-1 is not prime. Res64: 61AB3DE64AC114C7 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:41:56] 663*2^1507487-1 is not prime. Res64: FCC412BACD450000 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:41:57] 711*2^1507487-1 is not prime. Res64: 4E93F60F3265E8C0 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:41:57] 759*2^1507487-1 is not prime. Res64: 9E0234C28F5DD9C7 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:41:58] 781*2^1507487-1 is not prime. Res64: C0ED33409CD06732 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:41:58] 955*2^1507487-1 is not prime. Res64: 2455810C30D1574A Time : 0.0 sec. user=mdettweiler [2018-04-19 00:50:50] 979*2^1507487-1 is not prime. Res64: 858A103C368DA0DA Time : 0.0 sec. user=mdettweiler [2018-04-19 00:50:50] 981*2^1507487-1 is not prime. Res64: E32FE69E400C3669 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:50:51] 993*2^1507487-1 is not prime. Res64: E5C32FF5F4223BC2 Time : 0.0 sec. user=mdettweiler [2018-04-19 00:50:51] 713*2^1507488-1 is not prime. Res64: B5A416024B3B94AE Time : 0.0 sec. user=mdettweiler [2018-04-19 00:50:51] 797*2^1507488-1 is not prime. Res64: 142A54607107DBB8 Time : 0.0 sec. user=mdettweiler [2018-04-19 01:08:58] 751*2^1507489-1 is not prime. Res64: A0FDC55C5878153F Time : 0.0 sec. user=mdettweiler [2018-04-19 01:08:59] 817*2^1507489-1 is not prime. Res64: 50AE95368D8AEA84 Time : 0.0 sec. user=mdettweiler [2018-04-19 01:08:59] 831*2^1507489-1 is not prime. Res64: 0FD2595FD28B7CEA Time : 0.0 sec. user=mdettweiler [2018-04-19 01:09:00] 603*2^1507490-1 is not prime. Res64: 55DD8FB64E95A1AB Time : 0.0 sec. user=mdettweiler [2018-04-19 01:09:00] 645*2^1507490-1 is not prime. Res64: E63BEAFC05692BE1 Time : 0.0 sec. user=mdettweiler [2018-04-19 01:09:53] 819*2^1507488-1 is not prime. Res64: C040DE806A2F853F Time : 0.0 sec. user=mdettweiler [2018-04-19 01:09:54] 893*2^1507488-1 is not prime. Res64: 24419D1FA0CA3ABB Time : 0.0 sec. user=mdettweiler [2018-04-19 01:09:54] 899*2^1507488-1 is not prime. Res64: 7C90FAEC9A401AFD Time : 0.0 sec. user=mdettweiler [2018-04-19 01:09:55] 625*2^1507489-1 is not prime. Res64: 12C59C99D82DF135 Time : 0.0 sec. user=mdettweiler [2018-04-19 01:09:55] 745*2^1507489-1 is not prime. Res64: 5E1632BE31DA7E8D Time : 0.0 sec. user=mdettweiler [2018-04-19 01:32:10] 687*2^1507490-1 is not prime. Res64: 1AB6850C39A67CB4 Time : 0.0 sec. user=mdettweiler [2018-04-19 01:32:12] 741*2^1507490-1 is not prime. Res64: 76FACF1D5B03058D Time : 0.0 sec. user=mdettweiler [2018-04-19 01:32:13] 703*2^1507491-1 is not prime. Res64: F8D75ED9B4FB0A5D Time : 0.0 sec. user=mdettweiler [2018-04-19 01:32:14] 745*2^1507491-1 is not prime. Res64: 96708390CF022773 Time : 0.0 sec. user=mdettweiler [2018-04-19 01:32:17] 823*2^1507491-1 is not prime. Res64: 5134F85947039875 Time : 0.0 sec. user=mdettweiler [2018-04-19 01:40:51] 871*2^1507491-1 is not prime. Res64: 487CF8876D919EB7 Time : 0.0 sec. user=mdettweiler [2018-04-19 01:40:51] 951*2^1507491-1 is not prime. Res64: 44393AC57587A82D Time : 0.0 sec. user=mdettweiler [2018-04-19 01:40:52] 615*2^1507492-1 is not prime. Res64: E001F18FEC4C715B Time : 0.0 sec. user=mdettweiler [2018-04-19 01:40:52] 647*2^1507492-1 is not prime. Res64: E7B8CE750B428300 Time : 0.0 sec. user=mdettweiler [2018-04-19 01:40:53] 719*2^1507492-1 is not prime. Res64: 014309825075E925 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:00:11] 749*2^1507492-1 is not prime. Res64: AF9E5ECA7F2C87BC Time : 0.0 sec. user=mdettweiler [2018-04-19 02:00:12] 819*2^1507492-1 is not prime. Res64: 0231F08F6251BCAA Time : 0.0 sec. user=mdettweiler [2018-04-19 02:00:12] 669*2^1507493-1 is not prime. Res64: B2E145C20E190976 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:00:14] 721*2^1507493-1 is not prime. Res64: A59AE5F770B5B938 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:00:14] 787*2^1507493-1 is not prime. Res64: 68CAA6AC4C95EFCB Time : 0.0 sec. user=mdettweiler [2018-04-19 02:01:12] 897*2^1507493-1 is not prime. Res64: 475E664557DD1EED Time : 0.0 sec. user=mdettweiler [2018-04-19 02:01:13] 949*2^1507493-1 is not prime. Res64: DE9328FA01DEFA8C Time : 0.0 sec. user=mdettweiler [2018-04-19 02:01:14] 957*2^1507493-1 is not prime. Res64: D57D112CF4B6D194 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:01:15] 981*2^1507493-1 is not prime. Res64: F34BBE8107AADD3E Time : 0.0 sec. user=mdettweiler [2018-04-19 02:01:16] 677*2^1507494-1 is not prime. Res64: 9FC21E199285F9F5 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:24:06] 975*2^1507494-1 is not prime. Res64: 3FCAFDE305A8153F Time : 0.0 sec. user=mdettweiler [2018-04-19 02:24:06] 993*2^1507494-1 is not prime. Res64: 9F7ED667C82C48AB Time : 0.0 sec. user=mdettweiler [2018-04-19 02:24:07] 1001*2^1507494-1 is not prime. Res64: 6A80BD95E7D1A182 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:24:08] 619*2^1507495-1 is not prime. Res64: 9F2E97442AC18EB2 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:24:08] 723*2^1507495-1 is not prime. Res64: D70CD11359F0416B Time : 0.0 sec. user=mdettweiler [2018-04-19 02:33:26] 763*2^1507495-1 is not prime. Res64: 502CA9D7FE9F2DD3 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:33:26] 861*2^1507495-1 is not prime. Res64: 3F5667A5EB4B5011 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:33:27] 913*2^1507495-1 is not prime. Res64: 95AAC8107E773AF7 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:33:27] 943*2^1507495-1 is not prime. Res64: 648F9D2F67ECDCCD Time : 0.0 sec. user=mdettweiler [2018-04-19 02:33:28] 635*2^1507496-1 is not prime. Res64: F087C6995BBB45A2 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:50:33] 663*2^1507496-1 is not prime. Res64: 3C289D8FF45AB9C1 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:50:34] 669*2^1507496-1 is not prime. Res64: 7B7DCA263EA57AF0 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:50:34] 963*2^1507496-1 is not prime. Res64: E0F97BD3D404D0BA Time : 0.0 sec. user=mdettweiler [2018-04-19 02:50:35] 615*2^1507497-1 is not prime. Res64: C5A13E7F04309755 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:50:36] 625*2^1507497-1 is not prime. Res64: 3D086BE0CEB151F2 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:52:51] 699*2^1507497-1 is not prime. Res64: 44C7BEC95FD80FBA Time : 0.0 sec. user=mdettweiler [2018-04-19 02:52:52] 769*2^1507497-1 is not prime. Res64: 7DD391138BED79ED Time : 0.0 sec. user=mdettweiler [2018-04-19 02:52:52] 819*2^1507497-1 is not prime. Res64: 6D595E89A88E8177 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:52:53] 867*2^1507497-1 is not prime. Res64: 81C320D1B288B405 Time : 0.0 sec. user=mdettweiler [2018-04-19 02:52:53] 871*2^1507497-1 is not prime. Res64: 5DD7BB016602FD6F Time : 0.0 sec. user=mdettweiler [2018-04-19 03:14:11] 945*2^1507497-1 is not prime. Res64: 13C1B10DEC0A69EC Time : 0.0 sec. user=mdettweiler [2018-04-19 03:14:11] 991*2^1507497-1 is not prime. Res64: B142160CF364E840 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:14:12] 999*2^1507497-1 is not prime. Res64: 1009356FBACE7D63 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:14:12] 611*2^1507498-1 is not prime. Res64: 9E0F58D56EED3753 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:14:13] 657*2^1507498-1 is not prime. Res64: E0B25EE6B7D78116 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:23:39] 681*2^1507498-1 is not prime. Res64: A0DFFD2427CB8317 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:23:40] 687*2^1507498-1 is not prime. Res64: A911CF4DE9F4E440 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:23:40] 723*2^1507498-1 is not prime. Res64: FEA7CC0BBAF1AE8C Time : 0.0 sec. user=mdettweiler [2018-04-19 03:23:40] 735*2^1507498-1 is not prime. Res64: 37D250A0130702BE Time : 0.0 sec. user=mdettweiler [2018-04-19 03:23:41] 777*2^1507498-1 is not prime. Res64: C55E1A06F5378E60 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:41:47] 823*2^1507499-1 is not prime. Res64: 17561151505345C6 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:41:48] 931*2^1507499-1 is not prime. Res64: 888871FE64511CE1 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:41:50] 669*2^1507500-1 is not prime. Res64: 902A98BEE2DD2318 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:41:51] 689*2^1507500-1 is not prime. Res64: 36237DAD62E7CD8B Time : 0.0 sec. user=mdettweiler [2018-04-19 03:41:52] 825*2^1507500-1 is not prime. Res64: A162825E7264252A Time : 0.0 sec. user=mdettweiler [2018-04-19 03:43:23] 863*2^1507500-1 is not prime. Res64: 6B082258300FD347 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:43:25] 983*2^1507500-1 is not prime. Res64: 7E30A0FC2756DE71 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:43:26] 987*2^1507500-1 is not prime. Res64: 66197C37B533CE85 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:43:28] 619*2^1507501-1 is not prime. Res64: C4C1E7668C6193F4 Time : 0.0 sec. user=mdettweiler [2018-04-19 03:43:29] 727*2^1507501-1 is not prime. Res64: AB5AB7D7B0532153 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:06:00] 801*2^1507501-1 is not prime. Res64: 5480B43E0CE295D0 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:06:03] 895*2^1507501-1 is not prime. Res64: 556DC5E0E8593B30 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:06:05] 931*2^1507501-1 is not prime. Res64: 3E3E9071F8316ACD Time : 0.0 sec. user=mdettweiler [2018-04-19 04:06:08] 961*2^1507501-1 is not prime. Res64: E8C062F29748E962 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:06:08] 741*2^1507502-1 is not prime. Res64: 080BC8CB6FC9C526 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:14:33] 615*2^1507503-1 is not prime. Res64: 65A7CF16C8AFDBC3 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:14:35] 669*2^1507503-1 is not prime. Res64: 0143F7F464ED3F02 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:14:37] 679*2^1507503-1 is not prime. Res64: BAA7E31E1AD56634 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:14:42] 765*2^1507503-1 is not prime. Res64: 3D2117BC6F3AAF76 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:14:44] 781*2^1507503-1 is not prime. Res64: 7A20004A115A4D3C Time : 0.0 sec. user=mdettweiler [2018-04-19 04:33:38] 933*2^1507503-1 is not prime. Res64: F1DCCB66C35A3141 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:33:39] 615*2^1507504-1 is not prime. Res64: A52174BC9E0F3B59 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:33:40] 645*2^1507504-1 is not prime. Res64: B8C25C0928E9D094 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:33:41] 677*2^1507504-1 is not prime. Res64: 6754A1AA7E857601 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:33:41] 825*2^1507504-1 is not prime. Res64: 101B2ADA782D21C7 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:35:42] 833*2^1507504-1 is not prime. Res64: 3285563D6621E8EE Time : 0.0 sec. user=mdettweiler [2018-04-19 04:35:43] 869*2^1507504-1 is not prime. Res64: B7F1CBE85577738C Time : 0.0 sec. user=mdettweiler [2018-04-19 04:35:44] 887*2^1507504-1 is not prime. Res64: 406FDE774C1E2E1F Time : 0.0 sec. user=mdettweiler [2018-04-19 04:35:44] 905*2^1507504-1 is not prime. Res64: C36931761ADD0BE6 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:35:46] 929*2^1507504-1 is not prime. Res64: BD4D22FC87DBE49C Time : 0.0 sec. user=mdettweiler [2018-04-19 04:57:18] 711*2^1507505-1 is not prime. Res64: 5D58A696721F23AA Time : 0.0 sec. user=mdettweiler [2018-04-19 04:57:18] 721*2^1507505-1 is not prime. Res64: A41359937B169EB4 Time : 0.0 sec. user=mdettweiler [2018-04-19 04:57:18] 831*2^1507505-1 is not prime. Res64: 32A07C7D7DD4605C Time : 0.0 sec. user=mdettweiler [2018-04-19 04:57:19] 747*2^1507506-1 is not prime. Res64: 9232C6C96C6A225A Time : 0.0 sec. user=mdettweiler [2018-04-19 04:57:20] 821*2^1507506-1 is not prime. Res64: 8AA23120C900A002 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:05:23] 833*2^1507506-1 is not prime. Res64: 0E4836C6F8AA0A48 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:05:24] 971*2^1507506-1 is not prime. Res64: B94D172BB1647981 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:05:25] 983*2^1507506-1 is not prime. Res64: DE835CE21213815C Time : 0.0 sec. user=mdettweiler [2018-04-19 05:05:26] 649*2^1507507-1 is not prime. Res64: FB801881FDC92F10 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:05:27] 673*2^1507507-1 is not prime. Res64: FFB4B1B02D1729E2 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:24:25] 805*2^1507507-1 is not prime. Res64: 283C212DC76DACD9 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:24:26] 819*2^1507507-1 is not prime. Res64: D37A7F960DD18B3B Time : 0.0 sec. user=mdettweiler [2018-04-19 05:24:26] 829*2^1507507-1 is not prime. Res64: 0C5EB143ADA0E5F9 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:24:27] 945*2^1507507-1 is not prime. Res64: 0E5159DF91C2D552 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:24:27] 603*2^1507508-1 is not prime. Res64: 039526509F74B092 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:26:35] 677*2^1507508-1 is not prime. Res64: BC9DC89CF3B02DEB Time : 0.0 sec. user=mdettweiler [2018-04-19 05:26:36] 753*2^1507508-1 is not prime. Res64: B422D6EDD451B9D9 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:26:37] 795*2^1507508-1 is not prime. Res64: DA93E28A52EA3394 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:26:37] 825*2^1507508-1 is not prime. Res64: A46016F4EDD4A9FD Time : 0.0 sec. user=mdettweiler [2018-04-19 05:26:37] 945*2^1507508-1 is not prime. Res64: 3CF2A0393E1DB29E Time : 0.0 sec. user=mdettweiler [2018-04-19 05:47:06] 977*2^1507508-1 is not prime. Res64: 03B39738A9B6E844 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:47:06] 615*2^1507509-1 is not prime. Res64: B0735815C63FC87F Time : 0.0 sec. user=mdettweiler [2018-04-19 05:47:06] 625*2^1507509-1 is not prime. Res64: 017AE3215FEDC675 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:47:07] 657*2^1507509-1 is not prime. Res64: A2B724ACD6CBE7AB Time : 0.0 sec. user=mdettweiler [2018-04-19 05:47:07] 727*2^1507509-1 is not prime. Res64: 2003F157B199B147 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:56:28] 741*2^1507509-1 is not prime. Res64: BB202FEC246B2D22 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:56:28] 867*2^1507509-1 is not prime. Res64: 4210098DE092661E Time : 0.0 sec. user=mdettweiler [2018-04-19 05:56:29] 927*2^1507509-1 is not prime. Res64: 8F831A889C524908 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:56:29] 945*2^1507509-1 is not prime. Res64: 1122EA3293571DE1 Time : 0.0 sec. user=mdettweiler [2018-04-19 05:56:29] 603*2^1507510-1 is not prime. Res64: B0C4A7879D3ECCC3 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:15:37] 747*2^1507510-1 is not prime. Res64: 240ABDF2EECAF108 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:15:37] 761*2^1507510-1 is not prime. Res64: D723FDB572554D0E Time : 0.0 sec. user=mdettweiler [2018-04-19 06:15:38] 783*2^1507510-1 is not prime. Res64: CA3475E979B43977 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:15:38] 833*2^1507510-1 is not prime. Res64: 98C87BCA440AA84B Time : 0.0 sec. user=mdettweiler [2018-04-19 06:15:39] 843*2^1507510-1 is not prime. Res64: 0D1C2C4238347B6F Time : 0.0 sec. user=mdettweiler [2018-04-19 06:16:44] 885*2^1507510-1 is not prime. Res64: A1557D2E7B172795 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:16:44] 941*2^1507510-1 is not prime. Res64: D4441F6D791D166C Time : 0.0 sec. user=mdettweiler [2018-04-19 06:16:44] 673*2^1507511-1 is not prime. Res64: FAAA6E59BAF214B5 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:16:45] 693*2^1507511-1 is not prime. Res64: E25B1A4F6302D819 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:16:45] 705*2^1507511-1 is not prime. Res64: 934339C9E760622C Time : 0.0 sec. user=mdettweiler [2018-04-19 06:38:36] 811*2^1507511-1 is not prime. Res64: 79D629280E05C54E Time : 0.0 sec. user=mdettweiler [2018-04-19 06:38:36] 859*2^1507511-1 is not prime. Res64: 59D71DD94E20453D Time : 0.0 sec. user=mdettweiler [2018-04-19 06:38:37] 901*2^1507511-1 is not prime. Res64: 3C3F481FBFD0439E Time : 0.0 sec. user=mdettweiler [2018-04-19 06:38:37] 913*2^1507511-1 is not prime. Res64: 507A3752CFE5983D Time : 0.0 sec. user=mdettweiler [2018-04-19 06:38:37] 943*2^1507511-1 is not prime. Res64: C81267C4372AC4D0 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:47:24] 981*2^1507511-1 is not prime. Res64: 660DEEB706FE7366 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:47:24] 857*2^1507512-1 is not prime. Res64: 9CB7BFB8A156C1E7 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:47:24] 909*2^1507512-1 is not prime. Res64: 5A2895A85E141CC2 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:47:25] 651*2^1507513-1 is not prime. Res64: C6FC75AF5260CAF5 Time : 0.0 sec. user=mdettweiler [2018-04-19 06:47:25] 691*2^1507513-1 is not prime. Res64: 60B99B8A839409C3 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:07:58] 705*2^1507513-1 is not prime. Res64: 6F51FEDE75B63149 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:07:58] 741*2^1507513-1 is not prime. Res64: CDEE4AA389A4AB3F Time : 0.0 sec. user=mdettweiler [2018-04-19 07:07:59] 789*2^1507513-1 is not prime. Res64: 0B887BB55858AE75 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:07:59] 801*2^1507513-1 is not prime. Res64: 45239AB914101AAA Time : 0.0 sec. user=mdettweiler [2018-04-19 07:08:00] 937*2^1507513-1 is not prime. Res64: 4BEC44934E40086A Time : 0.0 sec. user=mdettweiler [2018-04-19 07:08:19] 755*2^1507514-1 is not prime. Res64: 4CF5954A459962AE Time : 0.0 sec. user=mdettweiler [2018-04-19 07:08:19] 785*2^1507514-1 is not prime. Res64: A750CCB10F105225 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:08:20] 825*2^1507514-1 is not prime. Res64: 89290397021BE7C9 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:08:20] 885*2^1507514-1 is not prime. Res64: 98C6CACD47FDFAA3 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:08:21] 935*2^1507514-1 is not prime. Res64: 1DDE206900B4FA3F Time : 0.0 sec. user=mdettweiler [2018-04-19 07:29:57] 981*2^1507514-1 is not prime. Res64: EA761F52D778DA26 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:29:57] 1001*2^1507514-1 is not prime. Res64: 899707DA2874A8BC Time : 0.0 sec. user=mdettweiler [2018-04-19 07:29:58] 739*2^1507515-1 is not prime. Res64: 420141C9CDF31B4D Time : 0.0 sec. user=mdettweiler [2018-04-19 07:29:58] 775*2^1507515-1 is not prime. Res64: 4153989A897A5E9B Time : 0.0 sec. user=mdettweiler [2018-04-19 07:29:58] 783*2^1507515-1 is not prime. Res64: F00C76888E7BE36E Time : 0.0 sec. user=mdettweiler [2018-04-19 07:42:08] 903*2^1507515-1 is not prime. Res64: 28D85D3693961C27 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:42:09] 969*2^1507515-1 is not prime. Res64: CAC58C64959BB600 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:42:09] 617*2^1507516-1 is not prime. Res64: 136A65A401503920 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:42:09] 875*2^1507516-1 is not prime. Res64: 807B5CF883B8E2F4 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:42:10] 887*2^1507516-1 is not prime. Res64: 5B6FFC631F732DA1 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:59:09] 991*2^1507517-1 is not prime. Res64: 8141517855BE32D1 Time : 0.0 sec. user=mdettweiler [2018-04-19 07:59:10] 605*2^1507518-1 is not prime. Res64: 80F96612B1D8EADC Time : 0.0 sec. user=mdettweiler [2018-04-19 07:59:10] 621*2^1507518-1 is not prime. Res64: 053F58F0F3217E8F Time : 0.0 sec. user=mdettweiler [2018-04-19 07:59:11] 681*2^1507518-1 is not prime. Res64: 8FF37A320571464D Time : 0.0 sec. user=mdettweiler [2018-04-19 07:59:11] 963*2^1507518-1 is not prime. Res64: 2E3E37D975B91A7C Time : 0.0 sec. user=mdettweiler [2018-04-19 08:00:31] 989*2^1507516-1 is not prime. Res64: F9E2DD65921B6B7A Time : 0.0 sec. user=mdettweiler [2018-04-19 08:00:32] 999*2^1507516-1 is not prime. Res64: 3654DB9E1F8DF554 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:00:32] 655*2^1507517-1 is not prime. Res64: 5EA1C40B7DE289FC Time : 0.0 sec. user=mdettweiler [2018-04-19 08:00:33] 741*2^1507517-1 is not prime. Res64: C2CD06111BC4A2D3 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:00:34] 945*2^1507517-1 is not prime. Res64: EBBCCF03281D8671 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:20:39] 609*2^1507519-1 is not prime. Res64: E66926E9CA7CEE6E Time : 0.0 sec. user=mdettweiler [2018-04-19 08:20:39] 769*2^1507519-1 is not prime. Res64: D2B2D3C0F20A0179 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:20:40] 615*2^1507520-1 is not prime. Res64: FDA1E7C04DB303CD Time : 0.0 sec. user=mdettweiler [2018-04-19 08:20:41] 725*2^1507520-1 is not prime. Res64: E8735E0A81EC0603 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:20:41] 767*2^1507520-1 is not prime. Res64: 3D5084B14CFB4F81 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:35:35] 819*2^1507520-1 is not prime. Res64: BD181B81558A50B3 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:35:35] 843*2^1507520-1 is not prime. Res64: A17DA1E9725FE3ED Time : 0.0 sec. user=mdettweiler [2018-04-19 08:35:35] 857*2^1507520-1 is not prime. Res64: 037444D594048CF7 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:35:36] 875*2^1507520-1 is not prime. Res64: E8D674540D0C7D3E Time : 0.0 sec. user=mdettweiler [2018-04-19 08:35:36] 909*2^1507520-1 is not prime. Res64: 2EF3FFBC4624BCFF Time : 0.0 sec. user=mdettweiler [2018-04-19 08:51:41] 901*2^1507521-1 is not prime. Res64: E06AC1236D11C830 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:51:41] 999*2^1507521-1 is not prime. Res64: 82B1E164C0C3F863 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:51:42] 645*2^1507522-1 is not prime. Res64: BF37E9A617719336 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:51:42] 705*2^1507522-1 is not prime. Res64: A3F7DA400933C00F Time : 0.0 sec. user=mdettweiler [2018-04-19 08:51:43] 735*2^1507522-1 is not prime. Res64: 21797C2E31F3D54F Time : 0.0 sec. user=mdettweiler [2018-04-19 08:51:56] 935*2^1507520-1 is not prime. Res64: 4377A295FAE08D3D Time : 0.0 sec. user=mdettweiler [2018-04-19 08:51:57] 959*2^1507520-1 is not prime. Res64: F754DB97B1099288 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:51:57] 625*2^1507521-1 is not prime. Res64: 85D0F3B2F3BF9AE7 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:51:57] 739*2^1507521-1 is not prime. Res64: 3951CD17B8F14798 Time : 0.0 sec. user=mdettweiler [2018-04-19 08:51:58] 805*2^1507521-1 is not prime. Res64: 078DD31A147ECDB2 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:11:41] 855*2^1507522-1 is not prime. Res64: C65ADF4A3F952385 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:11:41] 885*2^1507522-1 is not prime. Res64: 4C3477B9AD9B483F Time : 0.0 sec. user=mdettweiler [2018-04-19 09:11:42] 945*2^1507522-1 is not prime. Res64: 1CE429F8DE1F232B Time : 0.0 sec. user=mdettweiler [2018-04-19 09:11:42] 679*2^1507523-1 is not prime. Res64: D353CD2AF9A25121 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:11:43] 685*2^1507523-1 is not prime. Res64: B4DBA6757F472D7F Time : 0.0 sec. user=mdettweiler [2018-04-19 09:26:33] 771*2^1507523-1 is not prime. Res64: 5E40B45542A388F0 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:26:33] 775*2^1507523-1 is not prime. Res64: BC19F8D7EDD8CCDC Time : 0.0 sec. user=mdettweiler [2018-04-19 09:26:34] 781*2^1507523-1 is not prime. Res64: 302D2D099F3816E6 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:26:34] 855*2^1507523-1 is not prime. Res64: 10A0CD35425A23F5 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:26:34] 885*2^1507523-1 is not prime. Res64: F52CC2706D86956D Time : 0.0 sec. user=mdettweiler [2018-04-19 09:41:44] 825*2^1507524-1 is not prime. Res64: 2FA32E28C50BA59E Time : 0.0 sec. user=mdettweiler [2018-04-19 09:41:44] 875*2^1507524-1 is not prime. Res64: C0F64399275C6B18 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:41:45] 609*2^1507525-1 is not prime. Res64: C71B19B5407245D3 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:41:45] 649*2^1507525-1 is not prime. Res64: 99DDF88AAFA1909D Time : 0.0 sec. user=mdettweiler [2018-04-19 09:41:45] 729*2^1507525-1 is not prime. Res64: 299E3D9FAFF890B9 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:42:19] 913*2^1507523-1 is not prime. Res64: 7B64045157BE2785 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:42:19] 943*2^1507523-1 is not prime. Res64: 68AAF995CCD8A9F1 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:42:20] 675*2^1507524-1 is not prime. Res64: 8C09127ADAE7D493 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:42:20] 689*2^1507524-1 is not prime. Res64: 9C8160D34FEA1E52 Time : 0.0 sec. user=mdettweiler [2018-04-19 09:42:21] 783*2^1507524-1 is not prime. Res64: 1DBA287EC2AAC30C Time : 0.0 sec. user=mdettweiler [2018-04-19 10:03:55] 741*2^1507525-1 is not prime. Res64: 0C65E6560CCCD6E0 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:03:57] 759*2^1507525-1 is not prime. Res64: 8D8801AF67EB4680 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:03:58] 819*2^1507525-1 is not prime. Res64: 8B4A553FD7E26EFD Time : 0.0 sec. user=mdettweiler [2018-04-19 10:03:59] 919*2^1507525-1 is not prime. Res64: DFF830252580CFE0 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:03:59] 979*2^1507525-1 is not prime. Res64: C1867931BC7011DE Time : 0.0 sec. user=mdettweiler [2018-04-19 10:22:43] 999*2^1507525-1 is not prime. Res64: 8757F0AF9660A04E Time : 0.0 sec. user=mdettweiler [2018-04-19 10:22:43] 711*2^1507526-1 is not prime. Res64: 9574D06A6276BE24 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:22:44] 743*2^1507526-1 is not prime. Res64: 2C7173B0DF85ED50 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:22:44] 773*2^1507526-1 is not prime. Res64: D492DFF1C56F1E53 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:22:44] 827*2^1507526-1 is not prime. Res64: D07B5B98708B3CF5 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:41:58] 643*2^1507527-1 is not prime. Res64: D99FECA1C9506736 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:41:59] 849*2^1507527-1 is not prime. Res64: F583A772C3315398 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:41:59] 865*2^1507527-1 is not prime. Res64: 93B40A19A8FCB0C8 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:41:59] 947*2^1507528-1 is not prime. Res64: B4D368676C2619A0 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:42:00] 989*2^1507528-1 is not prime. Res64: A68D5BD2B09F5656 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:48:12] 897*2^1507526-1 is not prime. Res64: E9A072ACE93EC99E Time : 0.0 sec. user=mdettweiler [2018-04-19 10:48:12] 923*2^1507526-1 is not prime. Res64: 0075DC515FBDC4C3 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:48:13] 941*2^1507526-1 is not prime. Res64: 64B6831C5B714781 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:48:13] 953*2^1507526-1 is not prime. Res64: FEF4731F4A6FBBB4 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:48:14] 971*2^1507526-1 is not prime. Res64: D00C42C4BBEB7E03 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:56:59] 615*2^1507529-1 is not prime. Res64: D0E1449F25F753FA Time : 0.0 sec. user=mdettweiler [2018-04-19 10:57:00] 645*2^1507529-1 is not prime. Res64: D88D592A760FAB56 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:57:00] 727*2^1507529-1 is not prime. Res64: 3C61B1F67598E3D9 Time : 0.0 sec. user=mdettweiler [2018-04-19 10:57:01] 735*2^1507529-1 is not prime. Res64: 7C04C097F624652D Time : 0.0 sec. user=mdettweiler [2018-04-19 10:57:01] 741*2^1507529-1 is not prime. Res64: 8A98134FD233A11E Time : 0.0 sec. user=mdettweiler [2018-04-19 11:16:18] 747*2^1507529-1 is not prime. Res64: 93A06A5D99721393 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:16:19] 819*2^1507529-1 is not prime. Res64: 0C826BF3FE44CDB0 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:16:19] 671*2^1507530-1 is not prime. Res64: 4FD114EF6E0FDBB0 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:16:20] 887*2^1507530-1 is not prime. Res64: F70035F3C1995155 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:16:20] 945*2^1507530-1 is not prime. Res64: EE4F243407A93742 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:32:19] 639*2^1507531-1 is not prime. Res64: 193F83E8F363370B Time : 0.0 sec. user=mdettweiler [2018-04-19 11:32:19] 673*2^1507531-1 is not prime. Res64: 8F3AD07BCF331AF9 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:32:19] 829*2^1507531-1 is not prime. Res64: A3F264C3468A1097 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:32:20] 675*2^1507532-1 is not prime. Res64: 4DD16033CC15A8CC Time : 0.0 sec. user=mdettweiler [2018-04-19 11:32:20] 767*2^1507532-1 is not prime. Res64: 59D56D987B00C9A6 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:39:27] 885*2^1507532-1 is not prime. Res64: 29EFFB96467CD4B8 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:39:28] 957*2^1507532-1 is not prime. Res64: 4C316EB85B04A7F7 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:39:28] 959*2^1507532-1 is not prime. Res64: 1C164302E7430EF0 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:39:29] 651*2^1507533-1 is not prime. Res64: 59A49A3FA1BA492D Time : 0.0 sec. user=mdettweiler [2018-04-19 11:39:29] 795*2^1507533-1 is not prime. Res64: 52D6E45A6FD92353 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:47:56] 805*2^1507533-1 is not prime. Res64: C2D561308153334D Time : 0.0 sec. user=mdettweiler [2018-04-19 11:47:56] 847*2^1507533-1 is not prime. Res64: 0BA752DD7B5B5C4D Time : 0.0 sec. user=mdettweiler [2018-04-19 11:47:56] 621*2^1507534-1 is not prime. Res64: B332A336727E5AA7 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:47:57] 681*2^1507534-1 is not prime. Res64: 376EA9040FE6A203 Time : 0.0 sec. user=mdettweiler [2018-04-19 11:47:57] 785*2^1507534-1 is not prime. Res64: 51ECD6C5C09EC154 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:09:11] 831*2^1507534-1 is not prime. Res64: 273C79D4848D8E99 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:09:16] 885*2^1507534-1 is not prime. Res64: 97D354C29026388C Time : 0.0 sec. user=mdettweiler [2018-04-19 12:09:17] 891*2^1507534-1 is not prime. Res64: E76C59BAF40E620A Time : 0.0 sec. user=mdettweiler [2018-04-19 12:09:18] 987*2^1507534-1 is not prime. Res64: C4D50CEC2289CBE0 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:09:19] 993*2^1507534-1 is not prime. Res64: 0F02D8AAAFB13A02 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:22:45] 601*2^1507535-1 is not prime. Res64: 36080360BBE36615 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:22:45] 655*2^1507535-1 is not prime. Res64: 63423A8669E3BBAC Time : 0.0 sec. user=mdettweiler [2018-04-19 12:22:46] 673*2^1507535-1 is not prime. Res64: 602FA8D5B330CF0A Time : 0.0 sec. user=mdettweiler [2018-04-19 12:22:46] 789*2^1507535-1 is not prime. Res64: 3D8EA9B4E8A3303B Time : 0.0 sec. user=mdettweiler [2018-04-19 12:22:46] 871*2^1507535-1 is not prime. Res64: 599228249DC8B511 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:30:08] 883*2^1507535-1 is not prime. Res64: F4747DAF25E04981 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:30:09] 889*2^1507535-1 is not prime. Res64: 2C45318C044FEFE8 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:30:09] 623*2^1507536-1 is not prime. Res64: 1B3640070EC1CFB5 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:30:09] 633*2^1507536-1 is not prime. Res64: 83AF51F1E7220C9D Time : 0.0 sec. user=mdettweiler [2018-04-19 12:30:10] 653*2^1507536-1 is not prime. Res64: D81ED3A079E4BB99 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:39:08] 689*2^1507536-1 is not prime. Res64: 1C97E34E14C09376 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:39:09] 707*2^1507536-1 is not prime. Res64: 6CBBBE08F13170F2 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:39:09] 717*2^1507536-1 is not prime. Res64: 3ADF26D9E93C4D7E Time : 0.0 sec. user=mdettweiler [2018-04-19 12:39:10] 759*2^1507536-1 is not prime. Res64: 7E199ED2824344E9 Time : 0.0 sec. user=mdettweiler [2018-04-19 12:39:10] 765*2^1507536-1 is not prime. Res64: 61501A87BACFBB16 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:02:42] 803*2^1507536-1 is not prime. Res64: A02A3EB769C264D8 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:02:44] 909*2^1507536-1 is not prime. Res64: 0590DAF31ABFA076 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:02:45] 927*2^1507536-1 is not prime. Res64: F886763D8E82BD3E Time : 0.0 sec. user=mdettweiler [2018-04-19 13:02:46] 607*2^1507537-1 is not prime. Res64: C2D9AFB1A9A5227C Time : 0.0 sec. user=mdettweiler [2018-04-19 13:02:48] 727*2^1507537-1 is not prime. Res64: ABE84E936931DF09 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:16:33] 799*2^1507537-1 is not prime. Res64: 86B448ED0564169D Time : 0.0 sec. user=mdettweiler [2018-04-19 13:16:33] 919*2^1507537-1 is not prime. Res64: F58376AB79FA52F7 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:16:34] 955*2^1507537-1 is not prime. Res64: A6C3070C9FCE4596 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:16:34] 957*2^1507537-1 is not prime. Res64: AB4A7F380B098E9F Time : 0.0 sec. user=mdettweiler [2018-04-19 13:16:34] 813*2^1507538-1 is not prime. Res64: 13CBA9189A474CB7 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:25:15] 837*2^1507538-1 is not prime. Res64: D98352457F4D0043 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:25:16] 843*2^1507538-1 is not prime. Res64: 3AF12DF3A6DDAF66 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:25:16] 927*2^1507538-1 is not prime. Res64: CA31644C50F5CC4C Time : 0.0 sec. user=mdettweiler [2018-04-19 13:25:17] 963*2^1507538-1 is not prime. Res64: 2E32FFF73174005A Time : 0.0 sec. user=mdettweiler [2018-04-19 13:25:17] 971*2^1507538-1 is not prime. Res64: 34F069A895DAA13B Time : 0.0 sec. user=mdettweiler [2018-04-19 13:32:05] 675*2^1507539-1 is not prime. Res64: 4584650E95C9D423 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:32:05] 711*2^1507539-1 is not prime. Res64: 97C649C78E16C492 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:32:06] 795*2^1507539-1 is not prime. Res64: 1AA47616A7AC424E Time : 0.0 sec. user=mdettweiler [2018-04-19 13:32:06] 895*2^1507539-1 is not prime. Res64: 12EAC3304EB987CC Time : 0.0 sec. user=mdettweiler [2018-04-19 13:32:06] 955*2^1507539-1 is not prime. Res64: FCE3D3D631C4EA69 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:57:42] 991*2^1507539-1 is not prime. Res64: 7AE7ABC5A184C787 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:57:42] 813*2^1507540-1 is not prime. Res64: 5885E2E02FDC4D54 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:57:42] 905*2^1507540-1 is not prime. Res64: 927CB2CC6C685522 Time : 0.0 sec. user=mdettweiler [2018-04-19 13:57:42] 927*2^1507540-1 is not prime. Res64: 3065A786F1AE9F9B Time : 0.0 sec. user=mdettweiler [2018-04-19 13:57:43] 957*2^1507540-1 is not prime. Res64: 37B034341BCFFC3B Time : 0.0 sec. user=mdettweiler [2018-04-19 14:09:41] 995*2^1507540-1 is not prime. Res64: 58E2E8255675BA33 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:09:42] 615*2^1507541-1 is not prime. Res64: 6D70C9C473B5C2F9 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:09:43] 645*2^1507541-1 is not prime. Res64: 0CE74C21FB194C4A Time : 0.0 sec. user=mdettweiler [2018-04-19 14:09:43] 789*2^1507541-1 is not prime. Res64: DE7A5550D246D767 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:09:44] 805*2^1507541-1 is not prime. Res64: 0F2BB45E6BFD3001 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:19:45] 907*2^1507541-1 is not prime. Res64: 50FC339150D3BF1D Time : 0.0 sec. user=mdettweiler [2018-04-19 14:19:46] 925*2^1507541-1 is not prime. Res64: 6C605F3BFE76CF94 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:19:46] 927*2^1507541-1 is not prime. Res64: C14E43DD5CA6BCB3 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:19:47] 939*2^1507541-1 is not prime. Res64: 3FC413B323551364 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:19:47] 981*2^1507541-1 is not prime. Res64: D1D7864E7A4231C7 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:25:03] 651*2^1507542-1 is not prime. Res64: 72B91FA439DBEDA7 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:25:04] 711*2^1507542-1 is not prime. Res64: BA074225B4EFA5BD Time : 0.0 sec. user=mdettweiler [2018-04-19 14:25:04] 777*2^1507542-1 is not prime. Res64: 9F23811CF958C9B0 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:25:04] 891*2^1507542-1 is not prime. Res64: FDB404CF52187C0A Time : 0.0 sec. user=mdettweiler [2018-04-19 14:25:05] 915*2^1507542-1 is not prime. Res64: A5A8B61D2CE9A5E5 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:52:52] 917*2^1507542-1 is not prime. Res64: DA7ADFDBE1468DD5 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:52:52] 941*2^1507542-1 is not prime. Res64: EE35655D051B4E8B Time : 0.0 sec. user=mdettweiler [2018-04-19 14:52:53] 951*2^1507542-1 is not prime. Res64: 4C00BDBB338E9E4D Time : 0.0 sec. user=mdettweiler [2018-04-19 14:52:53] 633*2^1507543-1 is not prime. Res64: 3A03E4AEECC649B1 Time : 0.0 sec. user=mdettweiler [2018-04-19 14:52:53] 685*2^1507543-1 is not prime. Res64: C13A42BD8CE0AC7B Time : 0.0 sec. user=mdettweiler [2018-04-19 15:07:19] 771*2^1507543-1 is not prime. Res64: C9C63B656E23C8FE Time : 0.0 sec. user=mdettweiler [2018-04-19 15:07:23] 969*2^1507543-1 is not prime. Res64: D19917675FE7A76C Time : 0.0 sec. user=mdettweiler [2018-04-19 15:07:26] 755*2^1507544-1 is not prime. Res64: CF3530E0FED4D5DA Time : 0.0 sec. user=mdettweiler [2018-04-19 15:07:29] 903*2^1507544-1 is not prime. Res64: D642D19A2C26512D Time : 0.0 sec. user=mdettweiler [2018-04-19 15:07:32] 917*2^1507544-1 is not prime. Res64: E5E358626BD44A0D Time : 0.0 sec. user=mdettweiler [2018-04-19 15:17:00] 935*2^1507544-1 is not prime. Res64: 519AA923F1F22708 Time : 0.0 sec. user=mdettweiler [2018-04-19 15:17:00] 993*2^1507544-1 is not prime. Res64: 709706E5E7D52374 Time : 0.0 sec. user=mdettweiler [2018-04-19 15:17:00] 685*2^1507545-1 is not prime. Res64: 8C25A267AA1B20F3 Time : 0.0 sec. user=mdettweiler [2018-04-19 15:17:01] 741*2^1507545-1 is not prime. Res64: 3342D51DCB8C7081 Time : 0.0 sec. user=mdettweiler [2018-04-19 15:17:01] 777*2^1507545-1 is not prime. Res64: 2E3AB2689527A18C Time : 0.0 sec. user=mdettweiler [2018-04-19 15:21:35] 787*2^1507545-1 is not prime. Res64: 5A99B704C688DAAF Time : 0.0 sec. user=mdettweiler [2018-04-19 15:21:36] 817*2^1507545-1 is not prime. Res64: 1DE3F3A980D24DA2 Time : 0.0 sec. user=mdettweiler [2018-04-19 15:21:36] 915*2^1507545-1 is not prime. Res64: 2AE896B3DC4C9283 Time : 0.0 sec. user=mdettweiler [2018-04-19 15:21:36] 919*2^1507545-1 is not prime. Res64: 5AE5943793658C3E Time : 0.0 sec. user=mdettweiler [2018-04-19 15:21:37] 633*2^1507546-1 is not prime. Res64: 06F0D458EF55495C Time : 0.0 sec. user=mdettweiler [2018-04-19 15:44:49] 647*2^1507546-1 is not prime. Res64: F5157CD857A31638 Time : 0.0 sec. user=mdettweiler [2018-04-19 15:44:49] 677*2^1507546-1 is not prime. Res64: DFA21D4868EE0E8C Time : 0.0 sec. user=mdettweiler [2018-04-19 15:44:50] 695*2^1507546-1 is not prime. Res64: D6FDB38C5336DF17 Time : 0.0 sec. user=mdettweiler [2018-04-19 15:44:50] 747*2^1507546-1 is not prime. Res64: 1E25E12F99CEDACB Time : 0.0 sec. user=mdettweiler [2018-04-19 15:44:51] 777*2^1507546-1 is not prime. Res64: 74A65E2D63E87EC1 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:05:52] 911*2^1507546-1 is not prime. Res64: D6A599EE3FC73445 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:05:54] 957*2^1507546-1 is not prime. Res64: 70502F808D152175 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:05:55] 601*2^1507547-1 is not prime. Res64: 23F4BDE5AD50ABE3 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:05:56] 781*2^1507547-1 is not prime. Res64: 832381D0206A9EAD Time : 0.0 sec. user=mdettweiler [2018-04-19 16:05:57] 883*2^1507547-1 is not prime. Res64: 96F299FCF6726A0A Time : 0.0 sec. user=mdettweiler [2018-04-19 16:12:27] 909*2^1507547-1 is not prime. Res64: DF519B170C3A6979 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:12:27] 963*2^1507547-1 is not prime. Res64: F0575881E7C95463 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:12:28] 979*2^1507547-1 is not prime. Res64: 8B2823E9B1E8183B Time : 0.0 sec. user=mdettweiler [2018-04-19 16:12:28] 665*2^1507548-1 is not prime. Res64: F3507FF31D2CD524 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:12:29] 753*2^1507548-1 is not prime. Res64: CB2F496594876378 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:15:28] 795*2^1507548-1 is not prime. Res64: A820FB2E37C6801A Time : 0.0 sec. user=mdettweiler [2018-04-19 16:15:29] 975*2^1507548-1 is not prime. Res64: E3EC43329768FE55 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:15:30] 999*2^1507548-1 is not prime. Res64: 9C5565B51EE2436B Time : 0.0 sec. user=mdettweiler [2018-04-19 16:15:31] 619*2^1507549-1 is not prime. Res64: 11D9093025064A7A Time : 0.0 sec. user=mdettweiler [2018-04-19 16:15:32] 679*2^1507549-1 is not prime. Res64: 108E94F9C33E6463 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:39:50] 741*2^1507549-1 is not prime. Res64: 18B0DE48C555D531 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:39:50] 757*2^1507549-1 is not prime. Res64: E3CDC5CFC9893420 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:39:51] 801*2^1507549-1 is not prime. Res64: AA1FE0E6CA661D06 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:39:51] 855*2^1507549-1 is not prime. Res64: C93F8B2315C76106 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:39:51] 877*2^1507549-1 is not prime. Res64: 80482CB3D8F628EB Time : 0.0 sec. user=mdettweiler [2018-04-19 16:59:09] 997*2^1507549-1 is not prime. Res64: 989266F1D823F661 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:59:09] 791*2^1507550-1 is not prime. Res64: 8421B6413BA169D9 Time : 0.0 sec. user=mdettweiler [2018-04-19 16:59:10] 851*2^1507550-1 is not prime. Res64: 145FB7C5B9921E7C Time : 0.0 sec. user=mdettweiler [2018-04-19 16:59:10] 861*2^1507550-1 is not prime. Res64: 106882A60258272B Time : 0.0 sec. user=mdettweiler [2018-04-19 16:59:10] 897*2^1507550-1 is not prime. Res64: 5A8B48F7E946A224 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:08:23] 1001*2^1507550-1 is not prime. Res64: 4231B642C94B50F9 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:08:25] 601*2^1507551-1 is not prime. Res64: 2B7E82AA39A78F3B Time : 0.0 sec. user=mdettweiler [2018-04-19 17:08:27] 669*2^1507551-1 is not prime. Res64: EF0A13D7B532B7BE Time : 0.0 sec. user=mdettweiler [2018-04-19 17:08:29] 675*2^1507551-1 is not prime. Res64: 59A19E1C5E8CECDE Time : 0.0 sec. user=mdettweiler [2018-04-19 17:08:30] 745*2^1507551-1 is not prime. Res64: 06A40A70B7CA6FB0 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:09:10] 829*2^1507551-1 is not prime. Res64: 1EFF59B179F99597 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:09:11] 865*2^1507551-1 is not prime. Res64: 6D8A979A7362A224 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:09:12] 913*2^1507551-1 is not prime. Res64: F6A69E191BE82A69 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:09:12] 949*2^1507551-1 is not prime. Res64: F69328819AD1FCAB Time : 0.0 sec. user=mdettweiler [2018-04-19 17:09:13] 975*2^1507551-1 is not prime. Res64: FAEF58A14ADF2694 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:32:55] 623*2^1507552-1 is not prime. Res64: 747FB6D1C79A1093 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:32:55] 657*2^1507552-1 is not prime. Res64: E609C9BA8392DEBD Time : 0.0 sec. user=mdettweiler [2018-04-19 17:32:56] 689*2^1507552-1 is not prime. Res64: 66EF476BBB06A3B6 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:32:56] 713*2^1507552-1 is not prime. Res64: 518F51A877BAE5D4 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:32:56] 735*2^1507552-1 is not prime. Res64: B6CAEA96D4240B90 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:52:36] 825*2^1507552-1 is not prime. Res64: 83656186861BBF34 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:52:36] 827*2^1507552-1 is not prime. Res64: 30FAF8F974056E87 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:52:36] 933*2^1507552-1 is not prime. Res64: C483CB279579A73B Time : 0.0 sec. user=mdettweiler [2018-04-19 17:52:37] 965*2^1507552-1 is not prime. Res64: 121E3DFD890B5474 Time : 0.0 sec. user=mdettweiler [2018-04-19 17:52:37] 691*2^1507553-1 is not prime. Res64: 17AD47ECB63126D9 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:01:30] 695*2^1507554-1 is not prime. Res64: CA9EEDD30C2E600F Time : 0.0 sec. user=mdettweiler [2018-04-19 18:01:31] 947*2^1507554-1 is not prime. Res64: BFD2C805521DD2FF Time : 0.0 sec. user=mdettweiler [2018-04-19 18:01:32] 631*2^1507555-1 is not prime. Res64: E49102DD078F1CE9 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:01:33] 645*2^1507555-1 is not prime. Res64: 9BA4D42005A8D5CB Time : 0.0 sec. user=mdettweiler [2018-04-19 18:01:34] 709*2^1507555-1 is not prime. Res64: 8C9CC9584FE010C2 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:02:08] 721*2^1507553-1 is not prime. Res64: BD0D22F1B4D0013B Time : 0.0 sec. user=mdettweiler [2018-04-19 18:02:09] 741*2^1507553-1 is not prime. Res64: 97388899292BC5CB Time : 0.0 sec. user=mdettweiler [2018-04-19 18:02:09] 945*2^1507553-1 is not prime. Res64: 921B50217ED8D902 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:02:10] 987*2^1507553-1 is not prime. Res64: FCD4D63B10B7C809 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:02:11] 663*2^1507554-1 is not prime. Res64: 6B19C22AF6AF939C Time : 0.0 sec. user=mdettweiler [2018-04-19 18:18:39] 891*2^1507558-1 is not prime. Res64: B1C70E5ECE5DDF2F Time : 0.0 sec. user=mdettweiler [2018-04-19 18:25:48] 741*2^1507555-1 is not prime. Res64: 38D4BC60E360E048 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:25:49] 843*2^1507555-1 is not prime. Res64: BD496154380538AE Time : 0.0 sec. user=mdettweiler [2018-04-19 18:25:49] 885*2^1507555-1 is not prime. Res64: E514D61304C35A84 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:25:50] 617*2^1507556-1 is not prime. Res64: 9E6664F0A44879F7 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:25:50] 659*2^1507556-1 is not prime. Res64: 25136E7777B89911 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:45:32] 693*2^1507556-1 is not prime. Res64: 6766405B1FE4EF1E Time : 0.0 sec. user=mdettweiler [2018-04-19 18:45:32] 743*2^1507556-1 is not prime. Res64: 24CF3C95EDA9CD58 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:45:32] 957*2^1507556-1 is not prime. Res64: EB4D5FB03AF24C6A Time : 0.0 sec. user=mdettweiler [2018-04-19 18:45:33] 999*2^1507556-1 is not prime. Res64: 4F719237D769ABB9 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:45:33] 669*2^1507557-1 is not prime. Res64: 5576B070FE8364DF Time : 0.0 sec. user=mdettweiler [2018-04-19 18:57:05] 699*2^1507557-1 is not prime. Res64: 8A48C5844E5E8D1C Time : 0.0 sec. user=mdettweiler [2018-04-19 18:57:06] 717*2^1507557-1 is not prime. Res64: F662B166B5C0FA49 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:57:06] 835*2^1507557-1 is not prime. Res64: 4F63D47B65862252 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:57:06] 677*2^1507558-1 is not prime. Res64: E7036B5838330A98 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:57:07] 681*2^1507558-1 is not prime. Res64: 3ED59F02EB0D712C Time : 0.0 sec. user=mdettweiler [2018-04-19 18:57:57] 743*2^1507558-1 is not prime. Res64: 7B01A7F0AFF1D91D Time : 0.0 sec. user=mdettweiler [2018-04-19 18:57:57] 755*2^1507558-1 is not prime. Res64: E1BAA833DD843C95 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:57:57] 761*2^1507558-1 is not prime. Res64: 9F25FD4BAFACC367 Time : 0.0 sec. user=mdettweiler [2018-04-19 18:57:58] 791*2^1507558-1 is not prime. Res64: 32B0DAA99EB9C24C Time : 0.0 sec. user=mdettweiler [2018-04-19 18:57:58] 801*2^1507558-1 is not prime. Res64: 6E37E882EEB9963E Time : 0.0 sec. user=mdettweiler [2018-04-19 19:17:17] 911*2^1507558-1 is not prime. Res64: 57E2BBEB1B258AFE Time : 0.0 sec. user=mdettweiler [2018-04-19 19:17:18] 603*2^1507559-1 is not prime. Res64: 943F886C81E1B71B Time : 0.0 sec. user=mdettweiler [2018-04-19 19:17:18] 789*2^1507559-1 is not prime. Res64: C1402997A53527B7 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:17:19] 799*2^1507559-1 is not prime. Res64: 71F8CF5F223D58E6 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:17:19] 853*2^1507559-1 is not prime. Res64: 33DB353012212A81 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:37:54] 689*2^1507560-1 is not prime. Res64: 9098D7CAB07F1439 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:37:55] 773*2^1507560-1 is not prime. Res64: DFFF7AEE7316806B Time : 0.0 sec. user=mdettweiler [2018-04-19 19:37:55] 797*2^1507560-1 is not prime. Res64: A96D21A4E611DB70 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:37:56] 651*2^1507561-1 is not prime. Res64: E662C1AE9F5760F3 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:37:56] 745*2^1507561-1 is not prime. Res64: 6C43B8666780BA25 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:49:06] 877*2^1507561-1 is not prime. Res64: E58A26B203DD065E Time : 0.0 sec. user=mdettweiler [2018-04-19 19:49:06] 895*2^1507561-1 is not prime. Res64: 1011E6CCA65A1830 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:49:07] 937*2^1507561-1 is not prime. Res64: 5F23E509F641FDE3 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:49:07] 645*2^1507562-1 is not prime. Res64: 9BEF2FC80C4EA801 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:49:07] 711*2^1507562-1 is not prime. Res64: CBE94E9DD1F3E851 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:49:36] 731*2^1507562-1 is not prime. Res64: 1861731265B84AA0 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:49:36] 735*2^1507562-1 is not prime. Res64: E09245DB7C54EBE4 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:49:36] 791*2^1507562-1 is not prime. Res64: 8D05C793CBC66846 Time : 0.0 sec. user=mdettweiler [2018-04-19 19:49:37] 911*2^1507562-1 is not prime. Res64: CC32002A49CD119E Time : 0.0 sec. user=mdettweiler [2018-04-19 19:49:37] 613*2^1507563-1 is not prime. Res64: DD4724A3957E0D39 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:08:55] 783*2^1507563-1 is not prime. Res64: 55B81ECB81FCBCF8 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:08:56] 789*2^1507563-1 is not prime. Res64: 4CCA2A20543329E1 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:08:56] 973*2^1507563-1 is not prime. Res64: 169E9324BDDD8FC5 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:08:57] 609*2^1507564-1 is not prime. Res64: 751A303820240791 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:08:58] 675*2^1507564-1 is not prime. Res64: EDB8726EA7F6FE40 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:29:58] 723*2^1507564-1 is not prime. Res64: 9FF2DED2687B086B Time : 0.0 sec. user=mdettweiler [2018-04-19 20:29:59] 773*2^1507564-1 is not prime. Res64: 973379836600F3BE Time : 0.0 sec. user=mdettweiler [2018-04-19 20:29:59] 899*2^1507564-1 is not prime. Res64: 95ACCC42C5746F8C Time : 0.0 sec. user=mdettweiler [2018-04-19 20:29:59] 905*2^1507564-1 is not prime. Res64: 028D0C12A26F5846 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:30:00] 909*2^1507564-1 is not prime. Res64: 9A18916CFD93B142 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:41:24] 975*2^1507564-1 is not prime. Res64: 931545DAAE224B94 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:41:25] 607*2^1507565-1 is not prime. Res64: BA44B40BF4B66B47 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:41:25] 711*2^1507565-1 is not prime. Res64: 9159A13B7BB2FB96 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:41:25] 721*2^1507565-1 is not prime. Res64: 13A5883F71AA3802 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:41:26] 729*2^1507565-1 is not prime. Res64: 5A09BE1FE98B837B Time : 0.0 sec. user=mdettweiler [2018-04-19 20:41:56] 855*2^1507565-1 is not prime. Res64: C966F523A59C6B25 Time : 0.0 sec. user=mdettweiler [2018-04-19 20:41:56] 925*2^1507565-1 is not prime. Res64: 58117A1E7CB4DBAF Time : 0.0 sec. user=mdettweiler [2018-04-19 20:41:56] 937*2^1507565-1 is not prime. Res64: D83FF445B82C403E Time : 0.0 sec. user=mdettweiler [2018-04-19 20:41:57] 893*2^1507566-1 is not prime. Res64: 77FBA9993C732B0F Time : 0.0 sec. user=mdettweiler [2018-04-19 20:41:57] 615*2^1507567-1 is not prime. Res64: 62875FA1BDC28294 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:01:37] 649*2^1507567-1 is not prime. Res64: 433630A32E1018A9 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:01:39] 685*2^1507567-1 is not prime. Res64: AC96DB2E1B191DA1 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:01:39] 841*2^1507567-1 is not prime. Res64: 6F11D0C40F290F34 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:01:40] 961*2^1507567-1 is not prime. Res64: 989A39B3FB5B4069 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:01:40] 973*2^1507567-1 is not prime. Res64: C79D681AFE01FE35 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:26:55] 657*2^1507568-1 is not prime. Res64: C1275B64C1F27414 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:26:55] 669*2^1507568-1 is not prime. Res64: 61EE5ADFB28A6BCD Time : 0.0 sec. user=mdettweiler [2018-04-19 21:26:56] 687*2^1507568-1 is not prime. Res64: 9F46703C1E36B90E Time : 0.0 sec. user=mdettweiler [2018-04-19 21:26:56] 713*2^1507568-1 is not prime. Res64: 1D3926D48D4B76D4 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:26:57] 845*2^1507568-1 is not prime. Res64: FC2107D0A6532B0B Time : 0.0 sec. user=mdettweiler [2018-04-19 21:36:29] 963*2^1507568-1 is not prime. Res64: 051C2E1A934A46EC Time : 0.0 sec. user=mdettweiler [2018-04-19 21:36:30] 999*2^1507568-1 is not prime. Res64: FBA59A7D080E5F6A Time : 0.0 sec. user=mdettweiler [2018-04-19 21:36:30] 681*2^1507569-1 is not prime. Res64: AE9E31436EAE1236 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:36:30] 705*2^1507569-1 is not prime. Res64: A14859E933BC4150 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:36:31] 727*2^1507569-1 is not prime. Res64: 4F44AECABC430EC9 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:36:41] 817*2^1507569-1 is not prime. Res64: 59F71B37DAC4C8FB Time : 0.0 sec. user=mdettweiler [2018-04-19 21:36:42] 861*2^1507569-1 is not prime. Res64: 208B302365683534 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:36:42] 865*2^1507569-1 is not prime. Res64: 07BFE0705AE30A42 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:36:42] 889*2^1507569-1 is not prime. Res64: 8320E3E5D5D123F1 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:36:43] 907*2^1507569-1 is not prime. Res64: 774DF2A692337479 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:55:39] 909*2^1507569-1 is not prime. Res64: A8F07F48F63CCF16 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:55:39] 645*2^1507570-1 is not prime. Res64: 0B49005BA9A3EE38 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:55:39] 653*2^1507570-1 is not prime. Res64: 3C2A8FAB24807DB6 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:55:40] 777*2^1507570-1 is not prime. Res64: 74641DA69C5B3024 Time : 0.0 sec. user=mdettweiler [2018-04-19 21:55:40] 801*2^1507570-1 is not prime. Res64: 12AA9AB654CEFE97 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:23:37] 833*2^1507570-1 is not prime. Res64: F99DB0A1A1E8E0DA Time : 0.0 sec. user=mdettweiler [2018-04-19 22:23:38] 885*2^1507570-1 is not prime. Res64: 97DDDA2854B59994 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:23:38] 933*2^1507570-1 is not prime. Res64: 4DD9863BFF55835D Time : 0.0 sec. user=mdettweiler [2018-04-19 22:23:39] 941*2^1507570-1 is not prime. Res64: 0A0243EB9C73D95E Time : 0.0 sec. user=mdettweiler [2018-04-19 22:23:39] 995*2^1507570-1 is not prime. Res64: 4EC2B74B35402FEB Time : 0.0 sec. user=mdettweiler [2018-04-19 22:28:09] 999*2^1507571-1 is not prime. Res64: 62E4EE9D629ECF67 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:28:09] 635*2^1507572-1 is not prime. Res64: E83E42D2FC586180 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:28:10] 675*2^1507572-1 is not prime. Res64: BA9B91E0447A0A07 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:28:10] 719*2^1507572-1 is not prime. Res64: B311B98C238EDF27 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:28:11] 777*2^1507572-1 is not prime. Res64: 990AD7B12927D8D7 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:28:12] 609*2^1507571-1 is not prime. Res64: E38F9F7911B02459 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:28:12] 673*2^1507571-1 is not prime. Res64: 529BDB786945EAE4 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:28:13] 741*2^1507571-1 is not prime. Res64: 20B10F52FBCD755C Time : 0.0 sec. user=mdettweiler [2018-04-19 22:28:13] 879*2^1507571-1 is not prime. Res64: 75E256700DDEA483 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:28:14] 969*2^1507571-1 is not prime. Res64: C792AC5DE594D072 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:47:38] 945*2^1507572-1 is not prime. Res64: 77E4493387F39BC2 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:47:38] 965*2^1507572-1 is not prime. Res64: FA791560BFA37B5C Time : 0.0 sec. user=mdettweiler [2018-04-19 22:47:38] 615*2^1507573-1 is not prime. Res64: F85807F02FE16064 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:47:39] 741*2^1507573-1 is not prime. Res64: AA42BE9055340895 Time : 0.0 sec. user=mdettweiler [2018-04-19 22:47:39] 855*2^1507573-1 is not prime. Res64: 93CB6DD6FB1734A2 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:16:36] 861*2^1507573-1 is not prime. Res64: 38F271789741A405 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:16:36] 919*2^1507573-1 is not prime. Res64: 580DC6F0208609FC Time : 0.0 sec. user=mdettweiler [2018-04-19 23:16:37] 937*2^1507573-1 is not prime. Res64: 21FDDF7C2E8D04E8 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:16:37] 605*2^1507574-1 is not prime. Res64: AB6954F0A6C886A3 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:16:38] 617*2^1507574-1 is not prime. Res64: 63EE476734D721F6 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:20:16] 641*2^1507574-1 is not prime. Res64: 9496A1043FA9D26D Time : 0.0 sec. user=mdettweiler [2018-04-19 23:20:16] 743*2^1507574-1 is not prime. Res64: DA4EA186AFCAB25D Time : 0.0 sec. user=mdettweiler [2018-04-19 23:20:17] 797*2^1507574-1 is not prime. Res64: FAEAAFAC9A683993 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:20:17] 825*2^1507574-1 is not prime. Res64: 5DF02CECAFB13566 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:20:18] 861*2^1507574-1 is not prime. Res64: BA9FD4B9EF7B419C Time : 0.0 sec. user=mdettweiler [2018-04-19 23:20:46] 941*2^1507574-1 is not prime. Res64: 3E6DABC8FC1C09F5 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:20:46] 965*2^1507574-1 is not prime. Res64: E1BA8EA75B47DE3E Time : 0.0 sec. user=mdettweiler [2018-04-19 23:20:47] 625*2^1507575-1 is not prime. Res64: D601EC71AC2E2659 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:20:47] 765*2^1507575-1 is not prime. Res64: 6A6E897A2D5C774E Time : 0.0 sec. user=mdettweiler [2018-04-19 23:20:48] 859*2^1507575-1 is not prime. Res64: BFC730B90BC37315 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:41:56] 933*2^1507575-1 is not prime. Res64: AC4CDB85E4EC9532 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:41:56] 955*2^1507575-1 is not prime. Res64: 486F42C1B83B4C62 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:41:57] 961*2^1507575-1 is not prime. Res64: E11FEF1ED2799AD3 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:41:57] 707*2^1507576-1 is not prime. Res64: FB0AC3F7DB8A6230 Time : 0.0 sec. user=mdettweiler [2018-04-19 23:41:57] 807*2^1507576-1 is not prime. Res64: BD1014C60CDCA919 Time : 0.0 sec.