user=mdettweiler [2016-10-13 00:16:22] 957*2^1442570-1 is not prime. Res64: 1FAAA5FAE8B78B64 Time : 0.0 sec. user=mdettweiler [2016-10-13 00:16:22] 705*2^1442571-1 is not prime. Res64: 256BE3DE5FA976D5 Time : 0.0 sec. user=mdettweiler [2016-10-13 00:16:23] 709*2^1442571-1 is not prime. Res64: 252D261328836BB6 Time : 0.0 sec. user=mdettweiler [2016-10-13 00:16:23] 751*2^1442571-1 is not prime. Res64: D6A054A10DF1FE2D Time : 0.0 sec. user=mdettweiler [2016-10-13 00:16:24] 823*2^1442571-1 is not prime. Res64: 9405DC093B66AC2A Time : 0.0 sec. user=mdettweiler [2016-10-13 00:27:32] 861*2^1442571-1 is not prime. Res64: 8E6205025BA0CAA3 Time : 0.0 sec. user=mdettweiler [2016-10-13 00:27:32] 913*2^1442571-1 is not prime. Res64: 8D8E258DE7DFC241 Time : 0.0 sec. user=mdettweiler [2016-10-13 00:27:32] 603*2^1442572-1 is not prime. Res64: 779BD658A3C9106F Time : 0.0 sec. user=mdettweiler [2016-10-13 00:27:33] 675*2^1442572-1 is not prime. Res64: 211B0503CDD55DF7 Time : 0.0 sec. user=mdettweiler [2016-10-13 00:27:33] 677*2^1442572-1 is not prime. Res64: 0A0A152EA403852F Time : 0.0 sec. user=mdettweiler [2016-10-13 00:47:45] 825*2^1442572-1 is not prime. Res64: 1045C288A1241274 Time : 0.0 sec. user=mdettweiler [2016-10-13 00:47:45] 929*2^1442572-1 is not prime. Res64: 36A2B6F1B73BB62D Time : 0.0 sec. user=mdettweiler [2016-10-13 00:47:46] 975*2^1442572-1 is not prime. Res64: EC4332716CC2B588 Time : 0.0 sec. user=mdettweiler [2016-10-13 00:47:46] 651*2^1442573-1 is not prime. Res64: 671698AC56B8AC6E Time : 0.0 sec. user=mdettweiler [2016-10-13 00:47:46] 741*2^1442573-1 is not prime. Res64: F7DC397F34F5AE05 Time : 0.0 sec. user=mdettweiler [2016-10-13 00:57:27] 819*2^1442563-1 is not prime. Res64: 8E25668C5960491C Time : 0.0 sec. user=mdettweiler [2016-10-13 00:57:28] 891*2^1442563-1 is not prime. Res64: 84F785D141371A9C Time : 0.0 sec. user=mdettweiler [2016-10-13 00:57:28] 943*2^1442563-1 is not prime. Res64: EAA511A2B7D50A47 Time : 0.0 sec. user=mdettweiler [2016-10-13 00:57:28] 665*2^1442564-1 is not prime. Res64: E2445DDEB928B09B Time : 0.0 sec. user=mdettweiler [2016-10-13 00:57:29] 683*2^1442564-1 is not prime. Res64: E9FB670E0A68E119 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:03:14] 771*2^1442573-1 is not prime. Res64: 511759B75AC902E2 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:03:15] 811*2^1442573-1 is not prime. Res64: C73AC03ABDEAFB89 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:03:16] 885*2^1442573-1 is not prime. Res64: BF7D7CC0F3743786 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:03:17] 927*2^1442573-1 is not prime. Res64: 3445F99FD6E1433A Time : 0.0 sec. user=mdettweiler [2016-10-13 01:03:17] 605*2^1442574-1 is not prime. Res64: 1F5CF206B3AD5CDD Time : 0.0 sec. user=mdettweiler [2016-10-13 01:13:55] 705*2^1442574-1 is not prime. Res64: 9960459002C5E3FF Time : 0.0 sec. user=mdettweiler [2016-10-13 01:13:56] 737*2^1442574-1 is not prime. Res64: C873D4CC5D324085 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:13:57] 765*2^1442574-1 is not prime. Res64: DFE6C2BDFC2861D0 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:13:58] 791*2^1442574-1 is not prime. Res64: 1B0AA6F3F40862C2 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:13:58] 833*2^1442574-1 is not prime. Res64: 9BE9D653DC7D4D98 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:33:58] 851*2^1442574-1 is not prime. Res64: 741C4FFC6D60D4A0 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:34:00] 893*2^1442574-1 is not prime. Res64: 52E59AC570CB3971 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:34:01] 941*2^1442574-1 is not prime. Res64: 4DA574C5804B77B2 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:34:03] 639*2^1442575-1 is not prime. Res64: CD72997BD4A80A0F Time : 0.0 sec. user=mdettweiler [2016-10-13 01:34:04] 723*2^1442575-1 is not prime. Res64: 979895FB55302DEE Time : 0.0 sec. user=mdettweiler [2016-10-13 01:43:30] 819*2^1442575-1 is not prime. Res64: 28E0F73BC77C5F68 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:43:30] 871*2^1442575-1 is not prime. Res64: 6EFE77DF99ACD2D3 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:43:30] 889*2^1442575-1 is not prime. Res64: D914F328B4C278A6 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:43:30] 895*2^1442575-1 is not prime. Res64: EB64441582540519 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:43:31] 603*2^1442576-1 is not prime. Res64: E77BF08CD26BCE97 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:49:58] 629*2^1442576-1 is not prime. Res64: 41CDEE1460221F99 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:49:58] 777*2^1442576-1 is not prime. Res64: 81854759F3F5394D Time : 0.0 sec. user=mdettweiler [2016-10-13 01:49:58] 843*2^1442576-1 is not prime. Res64: D765CCDF29CB68F6 Time : 0.0 sec. user=mdettweiler [2016-10-13 01:49:59] 875*2^1442576-1 is not prime. Res64: 5D68ACE9E105224E Time : 0.0 sec. user=mdettweiler [2016-10-13 01:49:59] 893*2^1442576-1 is not prime. Res64: 51B352414BA6BF5F Time : 0.0 sec. user=mdettweiler [2016-10-13 02:02:40] 909*2^1442576-1 is not prime. Res64: E88801C1A14BB8DC Time : 0.0 sec. user=mdettweiler [2016-10-13 02:02:41] 667*2^1442577-1 is not prime. Res64: 6A16290B8A29B1AE Time : 0.0 sec. user=mdettweiler [2016-10-13 02:02:43] 669*2^1442577-1 is not prime. Res64: BD0FFBA31AB0A839 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:02:44] 849*2^1442577-1 is not prime. Res64: 50BD3B0264D8E484 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:02:46] 865*2^1442577-1 is not prime. Res64: D68E4857FE535861 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:24:00] 997*2^1442577-1 is not prime. Res64: BE3D6CECA12FFC38 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:24:00] 611*2^1442578-1 is not prime. Res64: 47245BBB1D52CA49 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:24:00] 623*2^1442578-1 is not prime. Res64: FB2DDE560A521EF1 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:24:00] 651*2^1442578-1 is not prime. Res64: 43B97B5ED427AF2E Time : 0.0 sec. user=mdettweiler [2016-10-13 02:24:01] 743*2^1442578-1 is not prime. Res64: 46851E52EE2AB83E Time : 0.0 sec. user=mdettweiler [2016-10-13 02:33:05] 773*2^1442578-1 is not prime. Res64: 5C33172A9077D054 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:33:07] 633*2^1442579-1 is not prime. Res64: 0E61E798E46E3CB5 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:33:09] 685*2^1442579-1 is not prime. Res64: 9E06BADDFFEAEDE2 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:33:11] 705*2^1442579-1 is not prime. Res64: 6D5870B7FA61A9D5 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:33:12] 771*2^1442579-1 is not prime. Res64: 5EB114645B6B1BB9 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:38:18] 843*2^1442579-1 is not prime. Res64: ED398C63FD878D5A Time : 0.0 sec. user=mdettweiler [2016-10-13 02:38:19] 979*2^1442579-1 is not prime. Res64: 95A7B69F2EA0FF7A Time : 0.0 sec. user=mdettweiler [2016-10-13 02:38:20] 635*2^1442580-1 is not prime. Res64: 0E3ED8AD787338BD Time : 0.0 sec. user=mdettweiler [2016-10-13 02:38:21] 707*2^1442580-1 is not prime. Res64: 12A347264B58706F Time : 0.0 sec. user=mdettweiler [2016-10-13 02:38:22] 723*2^1442580-1 is not prime. Res64: D9EFE367F5C87063 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:50:55] 737*2^1442580-1 is not prime. Res64: BACF09A21C84CF5D Time : 0.0 sec. user=mdettweiler [2016-10-13 02:50:55] 795*2^1442580-1 is not prime. Res64: 0F828AC9BF5442D6 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:50:56] 983*2^1442580-1 is not prime. Res64: 1DAEC28429AE94F3 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:50:56] 619*2^1442581-1 is not prime. Res64: B99241788460BDF0 Time : 0.0 sec. user=mdettweiler [2016-10-13 02:50:57] 649*2^1442581-1 is not prime. Res64: 1350492929DD21FA Time : 0.0 sec. user=mdettweiler [2016-10-13 03:10:11] 715*2^1442581-1 is not prime. Res64: 898B8EA7FB152792 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:10:12] 811*2^1442581-1 is not prime. Res64: 5C1220A41749706B Time : 0.0 sec. user=mdettweiler [2016-10-13 03:10:12] 819*2^1442581-1 is not prime. Res64: 5FF2FA73226E8E45 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:10:13] 847*2^1442581-1 is not prime. Res64: 42FA3A4FFBB0D711 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:10:13] 855*2^1442581-1 is not prime. Res64: 129D5714A7115C26 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:19:36] 867*2^1442581-1 is not prime. Res64: 3D4161395B671B96 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:19:36] 955*2^1442581-1 is not prime. Res64: BEB42CE3D744F401 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:19:37] 967*2^1442581-1 is not prime. Res64: D0B0240891634CF2 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:19:37] 635*2^1442582-1 is not prime. Res64: CD4F92325A5F9C26 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:19:37] 657*2^1442582-1 is not prime. Res64: E78F4991F7C348BC Time : 0.0 sec. user=mdettweiler [2016-10-13 03:24:23] 705*2^1442582-1 is not prime. Res64: DAC983861C998242 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:24:23] 791*2^1442582-1 is not prime. Res64: 5EF7EF4903F7A1EA Time : 0.0 sec. user=mdettweiler [2016-10-13 03:24:24] 827*2^1442582-1 is not prime. Res64: 05EC71EA75AA61C0 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:24:25] 921*2^1442582-1 is not prime. Res64: 6CFF3607AC2CCD71 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:24:25] 619*2^1442583-1 is not prime. Res64: FC36F82BD6820C1A Time : 0.0 sec. user=mdettweiler [2016-10-13 03:36:38] 745*2^1442583-1 is not prime. Res64: 58F85A1AC0560F57 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:36:39] 719*2^1442584-1 is not prime. Res64: A947185564DAD4CF Time : 0.0 sec. user=mdettweiler [2016-10-13 03:36:40] 765*2^1442584-1 is not prime. Res64: 29711299AB843ABC Time : 0.0 sec. user=mdettweiler [2016-10-13 03:36:41] 785*2^1442584-1 is not prime. Res64: 9CDD91F3C0E978D4 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:36:42] 827*2^1442584-1 is not prime. Res64: 053DA642CCB0022B Time : 0.0 sec. user=mdettweiler [2016-10-13 03:55:52] 939*2^1442584-1 is not prime. Res64: 6FDC9D622C475A31 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:55:56] 969*2^1442584-1 is not prime. Res64: 9B98931B5180C735 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:55:57] 993*2^1442584-1 is not prime. Res64: 66EB25BF48E29AB9 Time : 0.0 sec. user=mdettweiler [2016-10-13 03:56:01] 995*2^1442584-1 is not prime. Res64: 5D7913D6E255023B Time : 0.0 sec. user=mdettweiler [2016-10-13 03:56:03] 691*2^1442585-1 is not prime. Res64: 4825153530D464B9 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:05:14] 939*2^1442585-1 is not prime. Res64: 73DDEE42B1E750EB Time : 0.0 sec. user=mdettweiler [2016-10-13 04:05:20] 969*2^1442585-1 is not prime. Res64: D9D2CC36600EBEB9 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:05:24] 611*2^1442586-1 is not prime. Res64: A6959C1D4E634100 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:05:30] 633*2^1442586-1 is not prime. Res64: 43D66AE6B1DF1F0E Time : 0.0 sec. user=mdettweiler [2016-10-13 04:05:34] 723*2^1442586-1 is not prime. Res64: 411FB3438C8E410F Time : 0.0 sec. user=mdettweiler [2016-10-13 04:10:09] 755*2^1442586-1 is not prime. Res64: 0D20F884F2EA3254 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:10:11] 807*2^1442586-1 is not prime. Res64: A10E2F0AC2E80B87 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:10:13] 905*2^1442586-1 is not prime. Res64: D44557FB37DBC203 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:10:16] 933*2^1442586-1 is not prime. Res64: 4243643DE9DFA68C Time : 0.0 sec. user=mdettweiler [2016-10-13 04:10:20] 945*2^1442586-1 is not prime. Res64: 19D7D479A3549584 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:22:14] 649*2^1442587-1 is not prime. Res64: FDD94B43F6517FBB Time : 0.0 sec. user=mdettweiler [2016-10-13 04:22:15] 703*2^1442587-1 is not prime. Res64: 21B4A1113DD62ACC Time : 0.0 sec. user=mdettweiler [2016-10-13 04:22:15] 715*2^1442587-1 is not prime. Res64: 27CD5B62E63EF646 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:22:16] 769*2^1442587-1 is not prime. Res64: B9395488C01E09CE Time : 0.0 sec. user=mdettweiler [2016-10-13 04:22:16] 775*2^1442587-1 is not prime. Res64: 4DC8141C6CC4CEB8 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:42:02] 919*2^1442587-1 is not prime. Res64: 614E34606B359599 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:42:03] 687*2^1442588-1 is not prime. Res64: C798AAD9E1053118 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:42:03] 735*2^1442588-1 is not prime. Res64: B7B998888281C5AB Time : 0.0 sec. user=mdettweiler [2016-10-13 04:42:03] 839*2^1442588-1 is not prime. Res64: 97E36598B8F83D77 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:42:04] 875*2^1442588-1 is not prime. Res64: 89E4098B1BEEE65D Time : 0.0 sec. user=mdettweiler [2016-10-13 04:51:40] 963*2^1442588-1 is not prime. Res64: 68EA438BB1E47D2C Time : 0.0 sec. user=mdettweiler [2016-10-13 04:51:41] 977*2^1442588-1 is not prime. Res64: 1C84634B9F2B4FA3 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:51:41] 999*2^1442588-1 is not prime. Res64: CD1B28E48C489356 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:51:41] 627*2^1442589-1 is not prime. Res64: 18A900D85FACF2FB Time : 0.0 sec. user=mdettweiler [2016-10-13 04:51:42] 709*2^1442589-1 is not prime. Res64: CED586F06A007CF9 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:56:32] 781*2^1442589-1 is not prime. Res64: 42F586474EA89382 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:56:33] 795*2^1442589-1 is not prime. Res64: 19945ABD441A827C Time : 0.0 sec. user=mdettweiler [2016-10-13 04:56:33] 861*2^1442589-1 is not prime. Res64: D19FCF1D72B975A3 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:56:34] 889*2^1442589-1 is not prime. Res64: CDE393F2AA48DC60 Time : 0.0 sec. user=mdettweiler [2016-10-13 04:56:34] 919*2^1442589-1 is not prime. Res64: 7F64252788DE27D3 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:07:51] 921*2^1442589-1 is not prime. Res64: 74A9B6A08DEE67BB Time : 0.0 sec. user=mdettweiler [2016-10-13 05:07:52] 955*2^1442589-1 is not prime. Res64: 95177F18BC8B3167 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:07:52] 657*2^1442590-1 is not prime. Res64: C18CB6F5A1776E00 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:07:53] 713*2^1442590-1 is not prime. Res64: D34E4325134C83E2 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:07:53] 717*2^1442590-1 is not prime. Res64: AB134B7729F752F7 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:27:44] 761*2^1442590-1 is not prime. Res64: 5F156488541ACDB5 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:27:45] 765*2^1442590-1 is not prime. Res64: C633D1FF251A52CC Time : 0.0 sec. user=mdettweiler [2016-10-13 05:27:45] 825*2^1442590-1 is not prime. Res64: FDCCA9C7C747A84E Time : 0.0 sec. user=mdettweiler [2016-10-13 05:27:45] 843*2^1442590-1 is not prime. Res64: 1C1B29A504F281E9 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:27:46] 887*2^1442590-1 is not prime. Res64: A4EAB08795831135 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:37:24] 915*2^1442590-1 is not prime. Res64: F40297A5D272D674 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:37:24] 965*2^1442590-1 is not prime. Res64: 725D40039E838A9C Time : 0.0 sec. user=mdettweiler [2016-10-13 05:37:24] 971*2^1442590-1 is not prime. Res64: 21AADFFB44271826 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:37:25] 987*2^1442590-1 is not prime. Res64: 84E45D268209F623 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:37:25] 669*2^1442591-1 is not prime. Res64: D8DF8121A632C0DF Time : 0.0 sec. user=mdettweiler [2016-10-13 05:42:14] 685*2^1442591-1 is not prime. Res64: 50802D78E3DBE10A Time : 0.0 sec. user=mdettweiler [2016-10-13 05:42:15] 693*2^1442591-1 is not prime. Res64: EA865CD83611EA29 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:42:15] 735*2^1442591-1 is not prime. Res64: 3557EF5EE4304375 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:42:15] 811*2^1442591-1 is not prime. Res64: 6484F57751FC0436 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:42:16] 859*2^1442591-1 is not prime. Res64: CACE8595618A7455 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:53:37] 979*2^1442591-1 is not prime. Res64: 8098D54ADCC502FD Time : 0.0 sec. user=mdettweiler [2016-10-13 05:53:37] 623*2^1442592-1 is not prime. Res64: CB0E7BA90D9CFD3B Time : 0.0 sec. user=mdettweiler [2016-10-13 05:53:38] 753*2^1442592-1 is not prime. Res64: 0AFFD19997ADE9FC Time : 0.0 sec. user=mdettweiler [2016-10-13 05:53:38] 899*2^1442592-1 is not prime. Res64: 254D22D4DA1D8EC0 Time : 0.0 sec. user=mdettweiler [2016-10-13 05:53:39] 917*2^1442592-1 is not prime. Res64: 4214572119B4C27C Time : 0.0 sec. user=mdettweiler [2016-10-13 06:13:21] 957*2^1442592-1 is not prime. Res64: CB13AFF92B8F1FFF Time : 0.0 sec. user=mdettweiler [2016-10-13 06:13:22] 983*2^1442592-1 is not prime. Res64: D2836FBF0677CF85 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:13:23] 861*2^1442593-1 is not prime. Res64: 13318109FBEE778E Time : 0.0 sec. user=mdettweiler [2016-10-13 06:13:24] 895*2^1442593-1 is not prime. Res64: DB51944AEDB87811 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:13:25] 999*2^1442593-1 is not prime. Res64: 7F5BB05590A01EC2 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:23:08] 635*2^1442594-1 is not prime. Res64: FD83B29FE09F337F Time : 0.0 sec. user=mdettweiler [2016-10-13 06:23:09] 705*2^1442594-1 is not prime. Res64: D5DBD8364DA55F13 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:23:09] 773*2^1442594-1 is not prime. Res64: 4B16DFC714D68D5A Time : 0.0 sec. user=mdettweiler [2016-10-13 06:23:10] 861*2^1442594-1 is not prime. Res64: 8DFAB64F9D7BD92B Time : 0.0 sec. user=mdettweiler [2016-10-13 06:23:10] 983*2^1442594-1 is not prime. Res64: F74E68EAA153C1E2 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:28:09] 651*2^1442595-1 is not prime. Res64: 944A343798722877 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:28:09] 679*2^1442595-1 is not prime. Res64: 457A32B11502EC2B Time : 0.0 sec. user=mdettweiler [2016-10-13 06:28:09] 819*2^1442595-1 is not prime. Res64: 26A432629BBD78F0 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:28:10] 885*2^1442595-1 is not prime. Res64: 16AD64ACD870A75B Time : 0.0 sec. user=mdettweiler [2016-10-13 06:28:10] 949*2^1442595-1 is not prime. Res64: 742E75E8326E83A2 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:39:07] 963*2^1442595-1 is not prime. Res64: BD3B17811705A0B1 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:39:07] 973*2^1442595-1 is not prime. Res64: E9D034EE3C08628A Time : 0.0 sec. user=mdettweiler [2016-10-13 06:39:08] 985*2^1442595-1 is not prime. Res64: 3E0C59B645CEA3AD Time : 0.0 sec. user=mdettweiler [2016-10-13 06:39:08] 749*2^1442596-1 is not prime. Res64: 8A0FEAF696F19F89 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:39:08] 887*2^1442596-1 is not prime. Res64: 8593E3C228F982C6 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:59:05] 903*2^1442596-1 is not prime. Res64: 2CAF89300E98CA13 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:59:05] 615*2^1442597-1 is not prime. Res64: B2A3E1BA656C5844 Time : 0.0 sec. user=mdettweiler [2016-10-13 06:59:05] 631*2^1442597-1 is not prime. Res64: 647D555AB20C4BFD Time : 0.0 sec. user=mdettweiler [2016-10-13 06:59:06] 645*2^1442597-1 is not prime. Res64: 8505F5C9BB889C8E Time : 0.0 sec. user=mdettweiler [2016-10-13 06:59:06] 699*2^1442597-1 is not prime. Res64: 32381EB5ABFA9842 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:08:41] 717*2^1442597-1 is not prime. Res64: 062A63C816FFEB84 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:08:41] 837*2^1442597-1 is not prime. Res64: CD3183E9332BDDB8 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:08:42] 901*2^1442597-1 is not prime. Res64: 067D41CC7E5C109D Time : 0.0 sec. user=mdettweiler [2016-10-13 07:08:42] 979*2^1442597-1 is not prime. Res64: 46E660D43A7AE650 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:08:42] 615*2^1442598-1 is not prime. Res64: 6EDE2E56C4A5EE41 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:13:34] 713*2^1442598-1 is not prime. Res64: AECA215CD6C2CD11 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:13:35] 801*2^1442598-1 is not prime. Res64: 63BF0E45E4F0635D Time : 0.0 sec. user=mdettweiler [2016-10-13 07:13:35] 881*2^1442598-1 is not prime. Res64: 37E40A0A7B15A096 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:13:36] 893*2^1442598-1 is not prime. Res64: A70462F6F9650F95 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:13:37] 975*2^1442598-1 is not prime. Res64: 4758D6DBEB377CAB Time : 0.0 sec. user=mdettweiler [2016-10-13 07:24:21] 663*2^1442599-1 is not prime. Res64: DFFA9844D9859B47 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:24:21] 729*2^1442599-1 is not prime. Res64: 41C3605F78883F14 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:24:22] 793*2^1442599-1 is not prime. Res64: CBCFA77FBC19FE5A Time : 0.0 sec. user=mdettweiler [2016-10-13 07:24:22] 853*2^1442599-1 is not prime. Res64: A9EFFCF2EE38E636 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:24:22] 883*2^1442599-1 is not prime. Res64: BD96D496078EC962 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:44:29] 931*2^1442599-1 is not prime. Res64: D784712A92DF3CAA Time : 0.0 sec. user=mdettweiler [2016-10-13 07:44:30] 609*2^1442600-1 is not prime. Res64: AFE47AE22C6D65FF Time : 0.0 sec. user=mdettweiler [2016-10-13 07:44:30] 633*2^1442600-1 is not prime. Res64: E5D0FE8370A4E859 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:44:30] 713*2^1442600-1 is not prime. Res64: DE8DE6F9144906C4 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:44:31] 825*2^1442600-1 is not prime. Res64: 4591E30C426A3BA0 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:54:00] 625*2^1442601-1 is not prime. Res64: 7F703DD13C357833 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:54:01] 735*2^1442601-1 is not prime. Res64: 4A844B2363E06DB3 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:54:01] 777*2^1442601-1 is not prime. Res64: 9369E175B60E8C76 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:54:01] 937*2^1442601-1 is not prime. Res64: 718F1890FB6AC7BE Time : 0.0 sec. user=mdettweiler [2016-10-13 07:54:02] 635*2^1442602-1 is not prime. Res64: 73D2D776181436FA Time : 0.0 sec. user=mdettweiler [2016-10-13 07:59:06] 647*2^1442602-1 is not prime. Res64: DF943666EF799487 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:59:06] 671*2^1442602-1 is not prime. Res64: 8BA537EFA21B1650 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:59:06] 681*2^1442602-1 is not prime. Res64: 21DA6E1C09282CAF Time : 0.0 sec. user=mdettweiler [2016-10-13 07:59:07] 701*2^1442602-1 is not prime. Res64: BECF96EF719E0062 Time : 0.0 sec. user=mdettweiler [2016-10-13 07:59:07] 713*2^1442602-1 is not prime. Res64: A8FB04FAFD232111 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:09:45] 735*2^1442602-1 is not prime. Res64: CF9B0956D6A6332E Time : 0.0 sec. user=mdettweiler [2016-10-13 08:09:46] 917*2^1442602-1 is not prime. Res64: C5BF1A013BD0EC83 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:09:46] 715*2^1442603-1 is not prime. Res64: F493536E03370F60 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:09:46] 885*2^1442603-1 is not prime. Res64: 0D32D332BE3BEEA3 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:09:47] 955*2^1442603-1 is not prime. Res64: F9D8843A00E438B3 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:30:07] 991*2^1442603-1 is not prime. Res64: CC7C8F432AF2A6A3 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:30:07] 665*2^1442604-1 is not prime. Res64: 7F642B1491B39094 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:30:07] 675*2^1442604-1 is not prime. Res64: 5A77F7A3CF90DBF4 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:30:08] 683*2^1442604-1 is not prime. Res64: DFB70C8CCCD0D14F Time : 0.0 sec. user=mdettweiler [2016-10-13 08:30:08] 749*2^1442604-1 is not prime. Res64: 7438B6704D8DD888 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:39:35] 825*2^1442604-1 is not prime. Res64: 8C6B1535DED31786 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:39:35] 675*2^1442605-1 is not prime. Res64: 9105C5827F5C25AB Time : 0.0 sec. user=mdettweiler [2016-10-13 08:39:35] 751*2^1442605-1 is not prime. Res64: 7A0AB1AF46EBC162 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:39:36] 775*2^1442605-1 is not prime. Res64: 163500496A25E2FE Time : 0.0 sec. user=mdettweiler [2016-10-13 08:39:36] 817*2^1442605-1 is not prime. Res64: 6CF44C894B3BB267 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:44:43] 871*2^1442605-1 is not prime. Res64: 2DB3E6C88B0ED5AA Time : 0.0 sec. user=mdettweiler [2016-10-13 08:44:43] 623*2^1442606-1 is not prime. Res64: 48688D6A3C4FCF95 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:44:43] 711*2^1442606-1 is not prime. Res64: D8D545B9F109ABEB Time : 0.0 sec. user=mdettweiler [2016-10-13 08:44:44] 743*2^1442606-1 is not prime. Res64: 6621550F6FEFDEC9 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:44:44] 813*2^1442606-1 is not prime. Res64: B5C8705EC9373046 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:55:08] 825*2^1442606-1 is not prime. Res64: 72398C23A429E79E Time : 0.0 sec. user=mdettweiler [2016-10-13 08:55:08] 843*2^1442606-1 is not prime. Res64: 25C888E466AA534D Time : 0.0 sec. user=mdettweiler [2016-10-13 08:55:08] 873*2^1442606-1 is not prime. Res64: 54C496CF77E385F5 Time : 0.0 sec. user=mdettweiler [2016-10-13 08:55:09] 893*2^1442606-1 is not prime. Res64: 4A925552214EB3EC Time : 0.0 sec. user=mdettweiler [2016-10-13 08:55:09] 945*2^1442606-1 is not prime. Res64: 203FCE5A4E5F14F1 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:15:28] 987*2^1442606-1 is not prime. Res64: 373370CFBAD79151 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:15:29] 1001*2^1442606-1 is not prime. Res64: 5A154AEFEF53EFF0 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:15:29] 675*2^1442607-1 is not prime. Res64: 81E5603233C0F422 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:15:29] 751*2^1442607-1 is not prime. Res64: 09051382E4C27FB5 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:15:30] 775*2^1442607-1 is not prime. Res64: 22E7614A5D5D7B21 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:24:55] 805*2^1442607-1 is not prime. Res64: 7E7BD5C1C565A38E Time : 0.0 sec. user=mdettweiler [2016-10-13 09:24:55] 871*2^1442607-1 is not prime. Res64: CA4731284A13EDD5 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:24:55] 933*2^1442607-1 is not prime. Res64: CB938D15B27535DB Time : 0.0 sec. user=mdettweiler [2016-10-13 09:24:56] 963*2^1442607-1 is not prime. Res64: F94C44302A50141F Time : 0.0 sec. user=mdettweiler [2016-10-13 09:24:56] 723*2^1442608-1 is not prime. Res64: 2ACACA65A9D42ABA Time : 0.0 sec. user=mdettweiler [2016-10-13 09:30:12] 755*2^1442608-1 is not prime. Res64: 5A54280B30FDD4C7 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:30:12] 899*2^1442608-1 is not prime. Res64: F307F386235F90A7 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:30:13] 933*2^1442608-1 is not prime. Res64: 5AD2A88D73A853AD Time : 0.0 sec. user=mdettweiler [2016-10-13 09:30:13] 969*2^1442608-1 is not prime. Res64: DDEBDC88D1D565A8 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:30:13] 989*2^1442608-1 is not prime. Res64: 7DE03EC04AE0739A Time : 0.0 sec. user=mdettweiler [2016-10-13 09:40:25] 685*2^1442609-1 is not prime. Res64: D593C84A63E1684A Time : 0.0 sec. user=mdettweiler [2016-10-13 09:40:26] 799*2^1442609-1 is not prime. Res64: EFA98803CAE3EDBD Time : 0.0 sec. user=mdettweiler [2016-10-13 09:40:26] 641*2^1442610-1 is not prime. Res64: FD7C9FC05DF089B8 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:40:27] 891*2^1442610-1 is not prime. Res64: 333287CE0C3D5109 Time : 0.0 sec. user=mdettweiler [2016-10-13 09:40:27] 923*2^1442610-1 is not prime. Res64: E07E7E21936C3C92 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:51] 673*2^1442611-1 is not prime. Res64: 1FB7603ED5D230AF Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:51] 991*2^1442613-1 is not prime. Res64: 14652B1898B72AAE Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:53] 925*2^1442611-1 is not prime. Res64: 50ED55ACDE86EC99 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:53] 707*2^1442614-1 is not prime. Res64: 821373E4065781DE Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:55] 615*2^1442612-1 is not prime. Res64: 623D9C9BA7E90503 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:55] 679*2^1442611-1 is not prime. Res64: 24FC7EBC8660F3E9 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:56] 657*2^1442613-1 is not prime. Res64: 12620AB0F2FD78DB Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:57] 731*2^1442614-1 is not prime. Res64: 4B0421CE722CF594 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:58] 727*2^1442613-1 is not prime. Res64: CF4F05962E541842 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:58] 753*2^1442612-1 is not prime. Res64: 649BABBB37543E13 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:07:59] 691*2^1442611-1 is not prime. Res64: 78E4DBD8F5D55CF5 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:08:00] 765*2^1442613-1 is not prime. Res64: FF7A3DC3996259A6 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:08:00] 755*2^1442614-1 is not prime. Res64: 9F3315761618CD04 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:08:00] 855*2^1442612-1 is not prime. Res64: 9982A1F24C733B26 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:08:01] 819*2^1442613-1 is not prime. Res64: 578C2759D38F8147 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:08:01] 915*2^1442613-1 is not prime. Res64: 5B5CE39E2DF83590 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:08:01] 915*2^1442614-1 is not prime. Res64: B08CA5A02647A197 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:08:02] 957*2^1442612-1 is not prime. Res64: F2E3102D86374CE5 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:08:02] 733*2^1442611-1 is not prime. Res64: FE4164D50F7FF95B Time : 0.0 sec. user=mdettweiler [2016-10-13 13:08:04] 883*2^1442611-1 is not prime. Res64: 8A2B1E39A07BD6BE Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:15] 739*2^1442615-1 is not prime. Res64: AE3CCA08B8DC0C63 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:15] 775*2^1442615-1 is not prime. Res64: C50199EAAFD01F15 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:15] 859*2^1442615-1 is not prime. Res64: 9B40E6753E7D3B87 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:16] 635*2^1442616-1 is not prime. Res64: 346B18F81E27921B Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:16] 887*2^1442616-1 is not prime. Res64: 6BC570472D3A77F2 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:26] 941*2^1442614-1 is not prime. Res64: BCE99591A6AF9750 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:26] 705*2^1442615-1 is not prime. Res64: 335E8147A1E663D0 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:26] 909*2^1442616-1 is not prime. Res64: 1B0A9777E8F5901A Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:26] 615*2^1442617-1 is not prime. Res64: B283E0C46D2864D7 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:26] 687*2^1442617-1 is not prime. Res64: 7D6CF0704E621868 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:55] 945*2^1442614-1 is not prime. Res64: 804F1491D8628CE4 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:55] 947*2^1442614-1 is not prime. Res64: F14CC74B90B116D4 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:55] 957*2^1442614-1 is not prime. Res64: 3896214A32C603FB Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:56] 601*2^1442615-1 is not prime. Res64: 752B51A9D010F824 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:58:56] 655*2^1442615-1 is not prime. Res64: 24AEC6D89551AA40 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:59:01] 747*2^1442617-1 is not prime. Res64: E37F08200D52D471 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:59:01] 751*2^1442617-1 is not prime. Res64: E5812C6313185EF4 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:59:01] 895*2^1442617-1 is not prime. Res64: B66851A7F9ACAA5E Time : 0.0 sec. user=mdettweiler [2016-10-13 13:59:01] 939*2^1442617-1 is not prime. Res64: CC9BD161459D35C1 Time : 0.0 sec. user=mdettweiler [2016-10-13 13:59:01] 955*2^1442617-1 is not prime. Res64: 3A4AE2EBC088C506 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:51:17] 997*2^1442617-1 is not prime. Res64: 411B84D855E1B635 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:51:17] 603*2^1442618-1 is not prime. Res64: EEBCAB1E372E2D22 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:51:17] 683*2^1442618-1 is not prime. Res64: B29A10EDB443F2F7 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:51:18] 833*2^1442618-1 is not prime. Res64: AC8283D1CB67CC32 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:51:18] 845*2^1442618-1 is not prime. Res64: F2BBBD1FB09B9AAD Time : 0.0 sec. user=mdettweiler [2016-10-13 14:51:23] 769*2^1442619-1 is not prime. Res64: A734B8B815556F40 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:51:23] 843*2^1442619-1 is not prime. Res64: 815E9EAA444DB72E Time : 0.0 sec. user=mdettweiler [2016-10-13 14:51:23] 853*2^1442619-1 is not prime. Res64: 8680EB85D1CC4ED7 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:51:24] 891*2^1442619-1 is not prime. Res64: A4A0EFCBB610D14F Time : 0.0 sec. user=mdettweiler [2016-10-13 14:51:24] 675*2^1442620-1 is not prime. Res64: 58F943296DF1576B Time : 0.0 sec. user=mdettweiler [2016-10-13 14:52:04] 861*2^1442618-1 is not prime. Res64: AD00A72C4586607D Time : 0.0 sec. user=mdettweiler [2016-10-13 14:52:04] 941*2^1442618-1 is not prime. Res64: CB79502BFCEDDAAA Time : 0.0 sec. user=mdettweiler [2016-10-13 14:52:04] 699*2^1442620-1 is not prime. Res64: 5BC51A08AC234769 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:52:04] 977*2^1442618-1 is not prime. Res64: F05B43A237329493 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:52:05] 833*2^1442620-1 is not prime. Res64: F090EDF240A392DC Time : 0.0 sec. user=mdettweiler [2016-10-13 14:52:05] 615*2^1442619-1 is not prime. Res64: B19DECD7F02B11A5 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:52:05] 839*2^1442620-1 is not prime. Res64: 8C40A28E994F9C22 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:52:05] 675*2^1442619-1 is not prime. Res64: 40537C3CC537CB7B Time : 0.0 sec. user=mdettweiler [2016-10-13 14:52:05] 899*2^1442620-1 is not prime. Res64: D763EBCFD4D8DBA4 Time : 0.0 sec. user=mdettweiler [2016-10-13 14:52:06] 957*2^1442620-1 is not prime. Res64: 660E54BD379A40DF Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:14] 859*2^1442621-1 is not prime. Res64: 11D361D2C6DCEC2D Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:14] 901*2^1442621-1 is not prime. Res64: 18D47A2DFAEBC9EC Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:15] 991*2^1442621-1 is not prime. Res64: 99B5713121C4A195 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:15] 723*2^1442622-1 is not prime. Res64: EB36ADDFA8E04003 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:16] 821*2^1442622-1 is not prime. Res64: 922A177DE75FC44B Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:28] 999*2^1442620-1 is not prime. Res64: 2EDA1EC2EAA43338 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:28] 607*2^1442621-1 is not prime. Res64: 6C61DA3762715CB6 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:29] 691*2^1442621-1 is not prime. Res64: 32E0AAE2A0187EA1 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:29] 747*2^1442621-1 is not prime. Res64: B862AB85DF006697 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:29] 855*2^1442621-1 is not prime. Res64: E263AC52551A6204 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:56] 885*2^1442622-1 is not prime. Res64: 5543E2829F209967 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:57] 887*2^1442622-1 is not prime. Res64: 3A3193EBF3D21869 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:57] 917*2^1442622-1 is not prime. Res64: 917D3FA491577EFB Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:57] 945*2^1442622-1 is not prime. Res64: 4576C13E51C23CD3 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:43:58] 951*2^1442622-1 is not prime. Res64: F72AA8C8D07655EC Time : 0.0 sec. user=mdettweiler [2016-10-13 15:44:06] 977*2^1442622-1 is not prime. Res64: 8B4CF0E522B9A822 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:44:06] 685*2^1442623-1 is not prime. Res64: 9BE3F59D3749F5D8 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:44:07] 709*2^1442623-1 is not prime. Res64: D5A0D131558A3206 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:44:07] 913*2^1442623-1 is not prime. Res64: 10204BDF4A5D1F33 Time : 0.0 sec. user=mdettweiler [2016-10-13 15:44:08] 939*2^1442623-1 is not prime. Res64: 467768F80AF28374 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:29:32] 961*2^1442623-1 is not prime. Res64: 808012369CE584B0 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:29:33] 985*2^1442623-1 is not prime. Res64: 869BFDC9D918311F Time : 0.0 sec. user=mdettweiler [2016-10-13 16:29:33] 725*2^1442624-1 is not prime. Res64: B09F507896806D6A Time : 0.0 sec. user=mdettweiler [2016-10-13 16:29:33] 759*2^1442624-1 is not prime. Res64: 3268D098BC3D1CDD Time : 0.0 sec. user=mdettweiler [2016-10-13 16:29:34] 813*2^1442624-1 is not prime. Res64: 1C71546EED6FE028 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:05] 805*2^1442625-1 is not prime. Res64: 2AF47D01713DA3FC Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:06] 817*2^1442625-1 is not prime. Res64: 2F596A70E48AF9DB Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:06] 617*2^1442626-1 is not prime. Res64: B018EDE7A9663CA9 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:07] 675*2^1442626-1 is not prime. Res64: 61297E259E6D521E Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:07] 723*2^1442626-1 is not prime. Res64: A72E8D3EF2036CA2 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:30] 737*2^1442626-1 is not prime. Res64: 2423312F6EFEDAA5 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:31] 813*2^1442626-1 is not prime. Res64: E7F2E41B6EE990B6 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:31] 891*2^1442626-1 is not prime. Res64: FD800FFB2D22A7CF Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:31] 621*2^1442627-1 is not prime. Res64: 1CD59BE073237C83 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:32] 645*2^1442627-1 is not prime. Res64: 9494F8D4B1B40C82 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:36] 741*2^1442627-1 is not prime. Res64: 1FF61D3807778C66 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:36] 753*2^1442627-1 is not prime. Res64: 3F1F5295845B18A4 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:37] 759*2^1442627-1 is not prime. Res64: 2FF95D3226D9957D Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:37] 993*2^1442627-1 is not prime. Res64: 2FA8988B0B8F8CC6 Time : 0.0 sec. user=mdettweiler [2016-10-13 16:30:37] 999*2^1442627-1 is not prime. Res64: 84A179F31CF160B5 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:14:59] 695*2^1442628-1 is not prime. Res64: 1CD764122D4130AE Time : 0.0 sec. user=mdettweiler [2016-10-13 17:14:59] 699*2^1442628-1 is not prime. Res64: 1E1ABAEA402B6AD1 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:00] 765*2^1442628-1 is not prime. Res64: BD6BB821391DE479 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:00] 789*2^1442628-1 is not prime. Res64: EEBD6EE2F4D77758 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:01] 843*2^1442628-1 is not prime. Res64: 66C7A18EAA06D22C Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:37] 663*2^1442630-1 is not prime. Res64: 0E52990D340348F0 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:38] 743*2^1442630-1 is not prime. Res64: 9E9FBBDF2A63844C Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:38] 977*2^1442628-1 is not prime. Res64: B638DE658A69F55C Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:38] 843*2^1442630-1 is not prime. Res64: 0188FD647FA6DC99 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:38] 741*2^1442629-1 is not prime. Res64: F9592109FB353EBA Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:38] 921*2^1442630-1 is not prime. Res64: 612E913AD5CA20A5 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:38] 855*2^1442629-1 is not prime. Res64: A6B14F53DB861B99 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:39] 941*2^1442630-1 is not prime. Res64: 54181DF364E7036A Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:39] 967*2^1442629-1 is not prime. Res64: 8165D979921695AE Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:39] 615*2^1442630-1 is not prime. Res64: B311DBCD9F054298 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:46] 977*2^1442630-1 is not prime. Res64: 6477DEC70ED610DE Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:46] 981*2^1442630-1 is not prime. Res64: 9DAD28A6252A6682 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:46] 1001*2^1442630-1 is not prime. Res64: 54682872274722F8 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:47] 711*2^1442631-1 is not prime. Res64: DABCEEB386E40BF7 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:15:47] 723*2^1442631-1 is not prime. Res64: 7BFF785F82CBBC17 Time : 0.0 sec. user=mdettweiler [2016-10-13 17:59:59] 901*2^1442631-1 is not prime. Res64: 6A3AC6DBF81DDFCE Time : 0.0 sec. user=mdettweiler [2016-10-13 17:59:59] 921*2^1442631-1 is not prime. Res64: CC5256F0262A8AFC Time : 0.0 sec. user=mdettweiler [2016-10-13 17:59:59] 961*2^1442631-1 is not prime. Res64: 0C8C2DDD44C1569A Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:00] 975*2^1442631-1 is not prime. Res64: 89812A1D4A35EC9B Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:00] 979*2^1442631-1 is not prime. Res64: 75495E67E5F662F6 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:38] 639*2^1442632-1 is not prime. Res64: 67374EFAFE0AD7B5 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:40] 665*2^1442632-1 is not prime. Res64: A8683045A0C7FC05 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:41] 811*2^1442633-1 is not prime. Res64: 137518E6C2ABD04F Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:42] 779*2^1442632-1 is not prime. Res64: 1B9A33D909C2A5F4 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:42] 831*2^1442633-1 is not prime. Res64: 3A66D75456B5A79C Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:43] 797*2^1442632-1 is not prime. Res64: 3C274196CB70C5BB Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:43] 885*2^1442633-1 is not prime. Res64: 6A83AFC5C4AB6FA8 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:43] 803*2^1442632-1 is not prime. Res64: 6F84621C09E75C45 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:44] 889*2^1442633-1 is not prime. Res64: E427774E0FF415F5 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:44] 949*2^1442633-1 is not prime. Res64: 2655A26B2CB5C60E Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:48] 827*2^1442632-1 is not prime. Res64: 6FD52FDCAC3E70CD Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:48] 843*2^1442632-1 is not prime. Res64: FE190925717881D0 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:49] 923*2^1442632-1 is not prime. Res64: 5C93875BBFD63355 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:50] 745*2^1442633-1 is not prime. Res64: 163E9143C1724F4E Time : 0.0 sec. user=mdettweiler [2016-10-13 18:00:50] 747*2^1442633-1 is not prime. Res64: 7D28882E3063B35E Time : 0.0 sec. user=mdettweiler [2016-10-13 18:44:53] 731*2^1442634-1 is not prime. Res64: DD892E1BCF7C40E4 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:44:53] 803*2^1442634-1 is not prime. Res64: AC58C2A4A3A87734 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:44:54] 807*2^1442634-1 is not prime. Res64: 59DFAD823CA2D38C Time : 0.0 sec. user=mdettweiler [2016-10-13 18:44:54] 851*2^1442634-1 is not prime. Res64: D8A11B1F9B37A26D Time : 0.0 sec. user=mdettweiler [2016-10-13 18:44:54] 861*2^1442634-1 is not prime. Res64: 95FA972919DCB138 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:25] 855*2^1442636-1 is not prime. Res64: 07155BE700207FAF Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:25] 873*2^1442636-1 is not prime. Res64: 4EB7A8F32991B7A0 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:26] 879*2^1442636-1 is not prime. Res64: 95E6ACDDCCB89FB6 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:26] 909*2^1442636-1 is not prime. Res64: AD8A8791C198378E Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:26] 649*2^1442637-1 is not prime. Res64: B777038E5E903ED3 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:37] 661*2^1442637-1 is not prime. Res64: 9F443DCEED4E4534 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:37] 741*2^1442637-1 is not prime. Res64: 220502DAB15CBA81 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:38] 847*2^1442637-1 is not prime. Res64: C46FD2EAEC9AB9E3 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:38] 895*2^1442637-1 is not prime. Res64: 5DCA40C03877821C Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:38] 955*2^1442637-1 is not prime. Res64: 368A18D47FA44183 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:44] 993*2^1442634-1 is not prime. Res64: 1B20A8E704BEA408 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:44] 723*2^1442635-1 is not prime. Res64: F0F61DA924E538AD Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:45] 805*2^1442635-1 is not prime. Res64: 9594B2CD2869D40F Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:45] 951*2^1442635-1 is not prime. Res64: 5612F9F5B5117E47 Time : 0.0 sec. user=mdettweiler [2016-10-13 18:45:46] 603*2^1442636-1 is not prime. Res64: E801241E660C1CA0 Time : 0.0 sec. user=mdettweiler [2016-10-13 19:29:31] 997*2^1442637-1 is not prime. Res64: 5BF0FF489C585D5D Time : 0.0 sec. user=mdettweiler [2016-10-13 19:29:32] 671*2^1442638-1 is not prime. Res64: 00F74F65105A5508 Time : 0.0 sec. user=mdettweiler [2016-10-13 19:29:32] 821*2^1442638-1 is not prime. Res64: B406EFA4BBE5F28E Time : 0.0 sec. user=mdettweiler [2016-10-13 19:29:33] 609*2^1442639-1 is not prime. Res64: 8266CE91B3770E4A Time : 0.0 sec. user=mdettweiler [2016-10-13 19:29:33] 615*2^1442639-1 is not prime. Res64: 240143921A953FA2 Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:00] 711*2^1442639-1 is not prime. Res64: 50197B1768223ABB Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:01] 771*2^1442639-1 is not prime. Res64: AD1A26E3923EC9B9 Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:01] 895*2^1442639-1 is not prime. Res64: 1AC6FE541236EE5C Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:03] 999*2^1442639-1 is not prime. Res64: 2D5BD9B7D9BBC18F Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:04] 723*2^1442640-1 is not prime. Res64: 4E2DE75CAFDE7CAC Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:23] 867*2^1442641-1 is not prime. Res64: CC1FC2D55D2F208F Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:23] 895*2^1442641-1 is not prime. Res64: BD9E4FF5A153F18D Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:23] 909*2^1442641-1 is not prime. Res64: E3C6157423AA84D0 Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:24] 931*2^1442641-1 is not prime. Res64: 1FE164E6F6BAA0D5 Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:24] 651*2^1442642-1 is not prime. Res64: A8876D32A1C98D6C Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:38] 849*2^1442640-1 is not prime. Res64: B5E83D8871CD0622 Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:39] 929*2^1442640-1 is not prime. Res64: A50A5D69E427BD7A Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:40] 945*2^1442640-1 is not prime. Res64: 004209157ABFFAA9 Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:40] 999*2^1442640-1 is not prime. Res64: 10D516085555F231 Time : 0.0 sec. user=mdettweiler [2016-10-13 19:30:41] 751*2^1442641-1 is not prime. Res64: 23196CA4BC6213F4 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:10] 753*2^1442642-1 is not prime. Res64: 13694B23241D3C08 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:11] 767*2^1442642-1 is not prime. Res64: 6C588DC08A566FCF Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:11] 825*2^1442642-1 is not prime. Res64: 5F59F25C13316FD6 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:11] 843*2^1442642-1 is not prime. Res64: 89026CD454392D7B Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:12] 995*2^1442642-1 is not prime. Res64: 3DBE4A4F3EE62F44 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:32] 679*2^1442643-1 is not prime. Res64: 989298612F9BC9D2 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:32] 721*2^1442643-1 is not prime. Res64: D8C9BC29E418698D Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:33] 805*2^1442643-1 is not prime. Res64: 6B5DA399BCB3103F Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:33] 823*2^1442643-1 is not prime. Res64: 4A0FB7D24C4CB8F1 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:33] 895*2^1442643-1 is not prime. Res64: 33B2F552BCA038A6 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:50] 913*2^1442643-1 is not prime. Res64: 133726ABE3FE9129 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:50] 961*2^1442643-1 is not prime. Res64: 9F198CD13AB08824 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:51] 605*2^1442644-1 is not prime. Res64: 43A23AD97DEA752B Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:51] 657*2^1442644-1 is not prime. Res64: 0B6A2948E6CA1CA7 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:15:51] 675*2^1442644-1 is not prime. Res64: 9236BF264E99C4AA Time : 0.0 sec. user=mdettweiler [2016-10-13 20:16:21] 927*2^1442644-1 is not prime. Res64: C2545297381718A9 Time : 0.0 sec. user=mdettweiler [2016-10-13 20:16:21] 959*2^1442644-1 is not prime. Res64: 610624E530160ADD Time : 0.0 sec. user=mdettweiler [2016-10-13 20:16:22] 969*2^1442644-1 is not prime. Res64: 27997E1DE8DD3C7E Time : 0.0 sec. user=mdettweiler [2016-10-13 20:16:22] 825*2^1442645-1 is not prime. Res64: 923196E41173FF7F Time : 0.0 sec. user=mdettweiler [2016-10-13 20:16:22] 847*2^1442645-1 is not prime. Res64: CCC0F275505FA480 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:02:57] 867*2^1442645-1 is not prime. Res64: E33A3A8A948ACE44 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:02:59] 671*2^1442646-1 is not prime. Res64: 3EC9355DD758D018 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:00] 695*2^1442646-1 is not prime. Res64: E97E921FE273735A Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:01] 705*2^1442646-1 is not prime. Res64: 3B4A5FE820382534 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:02] 737*2^1442646-1 is not prime. Res64: 130B7C82BE6FD5DC Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:10] 881*2^1442646-1 is not prime. Res64: 235B93FDCF2E87EF Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:11] 917*2^1442646-1 is not prime. Res64: 418C2B1897E49402 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:13] 983*2^1442646-1 is not prime. Res64: 0CC27D20AF5664EB Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:14] 775*2^1442647-1 is not prime. Res64: 47F5A669A2C95CF3 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:15] 961*2^1442647-1 is not prime. Res64: 8E36FDC94D6EC276 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:56] 959*2^1442648-1 is not prime. Res64: 56684006AE876A51 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:57] 963*2^1442648-1 is not prime. Res64: 3D4D8F7F4CC49EF6 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:03:58] 709*2^1442649-1 is not prime. Res64: FBDF3F515D622438 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:04:00] 747*2^1442649-1 is not prime. Res64: C9BA33E16EEF10A8 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:04:01] 885*2^1442649-1 is not prime. Res64: E0B3B1F87E0F8BC2 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:04:03] 623*2^1442648-1 is not prime. Res64: 7B234C8429C09C21 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:04:04] 677*2^1442648-1 is not prime. Res64: 5276220BC43BE697 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:04:05] 725*2^1442648-1 is not prime. Res64: 1D7C967557D982AF Time : 0.0 sec. user=mdettweiler [2016-10-13 21:04:07] 777*2^1442648-1 is not prime. Res64: 8A1600C44A162488 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:04:08] 837*2^1442648-1 is not prime. Res64: 8FA949FEC1C520E3 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:48:14] 777*2^1442650-1 is not prime. Res64: 8A833DC9BC755068 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:48:14] 873*2^1442650-1 is not prime. Res64: 3BB039965D361061 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:48:15] 887*2^1442650-1 is not prime. Res64: 4031D30E04468B71 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:48:15] 911*2^1442650-1 is not prime. Res64: 6BB026B0EC088EEC Time : 0.0 sec. user=mdettweiler [2016-10-13 21:48:15] 957*2^1442650-1 is not prime. Res64: E72B6AD07044FA22 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:48:34] 623*2^1442650-1 is not prime. Res64: 1B4A98885A862F5B Time : 0.0 sec. user=mdettweiler [2016-10-13 21:48:34] 647*2^1442650-1 is not prime. Res64: 722B88BB98BD56AE Time : 0.0 sec. user=mdettweiler [2016-10-13 21:48:34] 687*2^1442650-1 is not prime. Res64: 51DA5E738ED05BD5 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:48:35] 707*2^1442650-1 is not prime. Res64: 4EA9B3945DBD15CB Time : 0.0 sec. user=mdettweiler [2016-10-13 21:48:35] 773*2^1442650-1 is not prime. Res64: 442A3D2F96FB4D45 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:49:09] 775*2^1442651-1 is not prime. Res64: AD5F1732B249A5AD Time : 0.0 sec. user=mdettweiler [2016-10-13 21:49:09] 811*2^1442651-1 is not prime. Res64: 4A99AC9E64C6808E Time : 0.0 sec. user=mdettweiler [2016-10-13 21:49:10] 921*2^1442651-1 is not prime. Res64: 6D05C75E094021BC Time : 0.0 sec. user=mdettweiler [2016-10-13 21:49:10] 723*2^1442652-1 is not prime. Res64: 7FC87994E0D2C3FC Time : 0.0 sec. user=mdettweiler [2016-10-13 21:49:10] 749*2^1442652-1 is not prime. Res64: 0D6278BCB3D6D4B0 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:49:16] 863*2^1442652-1 is not prime. Res64: 2C5791256B7E1B65 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:49:17] 983*2^1442652-1 is not prime. Res64: 9D8A621FED8BC1B8 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:49:17] 727*2^1442653-1 is not prime. Res64: C925BB5A9720843C Time : 0.0 sec. user=mdettweiler [2016-10-13 21:49:17] 835*2^1442653-1 is not prime. Res64: 4511B05837736020 Time : 0.0 sec. user=mdettweiler [2016-10-13 21:49:18] 855*2^1442653-1 is not prime. Res64: 09888F6FF610038D Time : 0.0 sec. user=mdettweiler [2016-10-13 22:34:01] 861*2^1442653-1 is not prime. Res64: 079ED2A76728DF8F Time : 0.0 sec. user=mdettweiler [2016-10-13 22:34:01] 981*2^1442653-1 is not prime. Res64: 7359953821B8DF67 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:34:02] 999*2^1442653-1 is not prime. Res64: 0D2E1F8BE17A17A6 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:34:02] 641*2^1442654-1 is not prime. Res64: B5E3CC337D61DCE1 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:34:02] 677*2^1442654-1 is not prime. Res64: D08C8CAD854AB8E3 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:34:23] 687*2^1442654-1 is not prime. Res64: C42AF2830BD39BA4 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:34:23] 741*2^1442654-1 is not prime. Res64: BDD552B845FCE4F1 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:34:23] 785*2^1442654-1 is not prime. Res64: 978242EAA452FD98 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:34:23] 827*2^1442654-1 is not prime. Res64: D405A93EEFC3DD5A Time : 0.0 sec. user=mdettweiler [2016-10-13 22:34:23] 861*2^1442654-1 is not prime. Res64: E22CACFBA4ABBC49 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:35:17] 707*2^1442656-1 is not prime. Res64: 6C65F774B24A782D Time : 0.0 sec. user=mdettweiler [2016-10-13 22:35:17] 777*2^1442656-1 is not prime. Res64: C8C15289B9E77EBD Time : 0.0 sec. user=mdettweiler [2016-10-13 22:35:17] 649*2^1442657-1 is not prime. Res64: E0CDDA7990EA5797 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:35:17] 759*2^1442657-1 is not prime. Res64: FB670283B0985001 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:35:18] 879*2^1442657-1 is not prime. Res64: C816A966ADBE359D Time : 0.0 sec. user=mdettweiler [2016-10-13 22:35:18] 923*2^1442654-1 is not prime. Res64: B1FF7F670432D72D Time : 0.0 sec. user=mdettweiler [2016-10-13 22:35:18] 945*2^1442654-1 is not prime. Res64: 3ECCA33AAF1F9A84 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:35:18] 691*2^1442655-1 is not prime. Res64: 6FD57DF2317EC4A6 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:35:18] 693*2^1442655-1 is not prime. Res64: 7256C45677BFCE46 Time : 0.0 sec. user=mdettweiler [2016-10-13 22:35:19] 909*2^1442655-1 is not prime. Res64: EFE2BE6A1C18F2C0 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:20:25] 833*2^1442658-1 is not prime. Res64: 84D233ABEE5A6008 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:20:25] 893*2^1442658-1 is not prime. Res64: CE724D23B30F5C57 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:20:26] 609*2^1442659-1 is not prime. Res64: A99577556AC9307B Time : 0.0 sec. user=mdettweiler [2016-10-13 23:20:26] 615*2^1442659-1 is not prime. Res64: A706743DE29D1C59 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:20:27] 645*2^1442659-1 is not prime. Res64: 6AAA36F7F0FF3C1E Time : 0.0 sec. user=mdettweiler [2016-10-13 23:20:27] 981*2^1442657-1 is not prime. Res64: E3A3AE25AEF48EF7 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:20:27] 621*2^1442658-1 is not prime. Res64: 955471DD6D187209 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:20:28] 657*2^1442658-1 is not prime. Res64: 7E82109BA60D85DB Time : 0.0 sec. user=mdettweiler [2016-10-13 23:20:28] 683*2^1442658-1 is not prime. Res64: 195E017AC9677E7D Time : 0.0 sec. user=mdettweiler [2016-10-13 23:20:28] 737*2^1442658-1 is not prime. Res64: FA52153B91A6C854 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:21:19] 759*2^1442659-1 is not prime. Res64: 0B128EAD2E4CD01F Time : 0.0 sec. user=mdettweiler [2016-10-13 23:21:20] 861*2^1442659-1 is not prime. Res64: 5E97395805127DE9 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:21:20] 909*2^1442659-1 is not prime. Res64: 7D49C6140B550655 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:21:21] 919*2^1442659-1 is not prime. Res64: BF3168A1ECCB6B2E Time : 0.0 sec. user=mdettweiler [2016-10-13 23:21:21] 973*2^1442659-1 is not prime. Res64: 2C5E6582C2E2D9C2 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:21:22] 985*2^1442659-1 is not prime. Res64: B4CA02100B791CCE Time : 0.0 sec. user=mdettweiler [2016-10-13 23:21:23] 789*2^1442660-1 is not prime. Res64: 93C9805B3551215C Time : 0.0 sec. user=mdettweiler [2016-10-13 23:21:24] 893*2^1442660-1 is not prime. Res64: 5D0F73F112E0BF92 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:21:25] 953*2^1442660-1 is not prime. Res64: AC9BE884519BA766 Time : 0.0 sec. user=mdettweiler [2016-10-13 23:21:26] 999*2^1442660-1 is not prime. Res64: B01887B701B860F7 Time : 0.0 sec.