user=mdettweiler [2015-08-06 00:05:08] 935*2^1405440-1 is not prime. Res64: F13C5D6A7578113F Time : 0.0 sec. user=mdettweiler [2015-08-06 00:05:09] 959*2^1405440-1 is not prime. Res64: BA6A3E7E423F78A9 Time : 0.0 sec. user=mdettweiler [2015-08-06 00:06:14] 609*2^1405441-1 is not prime. Res64: 59EF9971ECD80039 Time : 0.0 sec. user=mdettweiler [2015-08-06 00:06:15] 619*2^1405441-1 is not prime. Res64: EE918ADF1227702C Time : 0.0 sec. user=mdettweiler [2015-08-06 00:16:10] 625*2^1405441-1 is not prime. Res64: A2EE59A5D2F984DB Time : 0.0 sec. user=mdettweiler [2015-08-06 00:16:11] 745*2^1405441-1 is not prime. Res64: E78ABAA91522AEEE Time : 0.0 sec. user=mdettweiler [2015-08-06 00:26:10] 997*2^1405441-1 is not prime. Res64: 08A421A1F5050505 Time : 0.0 sec. user=mdettweiler [2015-08-06 00:26:10] 617*2^1405442-1 is not prime. Res64: 6CA2F3FC3EDED742 Time : 0.0 sec. user=mdettweiler [2015-08-06 00:27:30] 743*2^1405442-1 is not prime. Res64: D6867FDDAC3E1707 Time : 0.0 sec. user=mdettweiler [2015-08-06 00:27:30] 791*2^1405442-1 is not prime. Res64: 0F6C2AEA947AEC4D Time : 0.0 sec. user=mdettweiler [2015-08-06 00:36:41] 797*2^1405442-1 is not prime. Res64: 5C88D21D7D60D995 Time : 0.0 sec. user=mdettweiler [2015-08-06 00:36:41] 813*2^1405442-1 is not prime. Res64: 93B4707C79756825 Time : 0.0 sec. user=mdettweiler [2015-08-06 00:46:01] 843*2^1405442-1 is not prime. Res64: B24B60A657326BB6 Time : 0.0 sec. user=mdettweiler [2015-08-06 00:46:02] 921*2^1405442-1 is not prime. Res64: 7B2828FC882EA2EC Time : 0.0 sec. user=mdettweiler [2015-08-06 00:47:37] 977*2^1405442-1 is not prime. Res64: 7CBFD8371FA90749 Time : 0.0 sec. user=mdettweiler [2015-08-06 00:47:37] 663*2^1405443-1 is not prime. Res64: C3E9544B8239EBFF Time : 0.0 sec. user=mdettweiler [2015-08-06 00:57:18] 669*2^1405443-1 is not prime. Res64: 20B9D126524CBD7B Time : 0.0 sec. user=mdettweiler [2015-08-06 00:57:18] 679*2^1405443-1 is not prime. Res64: D4B565894D395F44 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:06:38] 751*2^1405443-1 is not prime. Res64: 9F3E9999E1DB0D43 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:06:39] 795*2^1405443-1 is not prime. Res64: E72BFE4F248BE679 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:08:00] 835*2^1405443-1 is not prime. Res64: 9D3213ACF1662185 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:08:01] 961*2^1405443-1 is not prime. Res64: F29FDEE96CE0B71E Time : 0.0 sec. user=mdettweiler [2015-08-06 01:17:43] 617*2^1405444-1 is not prime. Res64: 0D398627FA8885FF Time : 0.0 sec. user=mdettweiler [2015-08-06 01:17:44] 677*2^1405444-1 is not prime. Res64: C5BA7EDDD253A02F Time : 0.0 sec. user=mdettweiler [2015-08-06 01:26:48] 687*2^1405444-1 is not prime. Res64: EC43C4C253D31C93 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:26:49] 717*2^1405444-1 is not prime. Res64: 5261EE2FAB1ABEBF Time : 0.0 sec. user=mdettweiler [2015-08-06 01:28:18] 923*2^1405444-1 is not prime. Res64: AE4AF3B47C17E0B1 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:28:19] 735*2^1405445-1 is not prime. Res64: 0EC9CE679142181B Time : 0.0 sec. user=mdettweiler [2015-08-06 01:39:08] 777*2^1405445-1 is not prime. Res64: DE25387094AFA903 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:39:08] 907*2^1405445-1 is not prime. Res64: C7BFC5F3F0796AC3 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:47:17] 747*2^1405446-1 is not prime. Res64: A951C96EDD319CD0 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:47:17] 755*2^1405446-1 is not prime. Res64: 29D5FFCF67619F83 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:48:33] 765*2^1405446-1 is not prime. Res64: 23F2E40375299027 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:48:33] 815*2^1405446-1 is not prime. Res64: 23EBC8EFE42ECA5D Time : 0.0 sec. user=mdettweiler [2015-08-06 01:59:53] 921*2^1405446-1 is not prime. Res64: 92E7801F6DD1D716 Time : 0.0 sec. user=mdettweiler [2015-08-06 01:59:53] 601*2^1405447-1 is not prime. Res64: B41056F493A3B945 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:07:33] 651*2^1405447-1 is not prime. Res64: D122BF63A405D800 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:07:33] 729*2^1405447-1 is not prime. Res64: B47193DD8B71D92E Time : 0.0 sec. user=mdettweiler [2015-08-06 02:08:29] 759*2^1405447-1 is not prime. Res64: 201CD5F4E7E90AB4 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:08:29] 871*2^1405447-1 is not prime. Res64: BEF504B2084880BA Time : 0.0 sec. user=mdettweiler [2015-08-06 02:19:29] 919*2^1405447-1 is not prime. Res64: 78544FB3C1FFD791 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:19:30] 993*2^1405447-1 is not prime. Res64: 1DA2CFFB1E66CBCD Time : 0.0 sec. user=mdettweiler [2015-08-06 02:27:01] 629*2^1405448-1 is not prime. Res64: FBED75BE663B889E Time : 0.0 sec. user=mdettweiler [2015-08-06 02:27:01] 657*2^1405448-1 is not prime. Res64: 5697039CF0D83EFE Time : 0.0 sec. user=mdettweiler [2015-08-06 02:27:49] 747*2^1405448-1 is not prime. Res64: 8E76F6052D5E759F Time : 0.0 sec. user=mdettweiler [2015-08-06 02:27:50] 803*2^1405448-1 is not prime. Res64: 2CA227EBE71CC903 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:31:54] 979*2^1405425-1 is not prime. Res64: FAB3B91E3BF01FD6 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:31:55] 611*2^1405426-1 is not prime. Res64: 7D72AD9FB3971DC6 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:39:51] 609*2^1405449-1 is not prime. Res64: D22ACEC24ECCD391 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:39:51] 649*2^1405449-1 is not prime. Res64: 1C6056F6FDE67D51 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:47:18] 691*2^1405449-1 is not prime. Res64: B990A6C39D592F3D Time : 0.0 sec. user=mdettweiler [2015-08-06 02:47:18] 727*2^1405449-1 is not prime. Res64: 3BC0CBF8AED1F5EE Time : 0.0 sec. user=mdettweiler [2015-08-06 02:47:54] 837*2^1405449-1 is not prime. Res64: 630C15E2EE5EF590 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:47:54] 997*2^1405449-1 is not prime. Res64: 29021415B1BB8DEA Time : 0.0 sec. user=mdettweiler [2015-08-06 02:51:06] 635*2^1405450-1 is not prime. Res64: 9F7C491464B356AB Time : 0.0 sec. user=mdettweiler [2015-08-06 02:51:07] 861*2^1405450-1 is not prime. Res64: 005307D3A9BEBDAA Time : 0.0 sec. user=mdettweiler [2015-08-06 02:58:41] 905*2^1405450-1 is not prime. Res64: 2E7B5D4C111DA7F7 Time : 0.0 sec. user=mdettweiler [2015-08-06 02:58:42] 933*2^1405450-1 is not prime. Res64: AC0564736C8D49ED Time : 0.0 sec. user=mdettweiler [2015-08-06 03:05:48] 673*2^1405451-1 is not prime. Res64: 648F67692B6F0379 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:05:50] 735*2^1405451-1 is not prime. Res64: 74ECB40CBE4AF99B Time : 0.0 sec. user=mdettweiler [2015-08-06 03:06:24] 781*2^1405451-1 is not prime. Res64: 96712C860468E5EC Time : 0.0 sec. user=mdettweiler [2015-08-06 03:06:24] 801*2^1405451-1 is not prime. Res64: 0CA2DAEC2C3E427A Time : 0.0 sec. user=mdettweiler [2015-08-06 03:09:24] 913*2^1405451-1 is not prime. Res64: 4D82C23F4D990481 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:09:25] 623*2^1405452-1 is not prime. Res64: 267B074999459A08 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:16:42] 803*2^1405452-1 is not prime. Res64: C15456A139B5A543 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:16:42] 875*2^1405452-1 is not prime. Res64: E936F650FAFFF828 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:23:37] 893*2^1405452-1 is not prime. Res64: 88A597F1172312F3 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:23:38] 999*2^1405452-1 is not prime. Res64: F84E5C75329FA7A6 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:23:56] 615*2^1405453-1 is not prime. Res64: DFB6030B680BB270 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:23:56] 801*2^1405453-1 is not prime. Res64: 28783593B1F4EB1E Time : 0.0 sec. user=mdettweiler [2015-08-06 03:26:54] 939*2^1405453-1 is not prime. Res64: FD63C3EB32BF7012 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:26:55] 999*2^1405453-1 is not prime. Res64: D601600FF20F76C8 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:34:25] 671*2^1405454-1 is not prime. Res64: AA615A98E6924B47 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:34:26] 743*2^1405454-1 is not prime. Res64: DB027FC4D43B690A Time : 0.0 sec. user=mdettweiler [2015-08-06 03:41:59] 915*2^1405454-1 is not prime. Res64: 2C507A23F4327FC8 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:42:00] 1001*2^1405454-1 is not prime. Res64: 3CDF14D4D4AC7C1B Time : 0.0 sec. user=mdettweiler [2015-08-06 03:42:21] 825*2^1405454-1 is not prime. Res64: E5ED48DA45067E2F Time : 0.0 sec. user=mdettweiler [2015-08-06 03:42:22] 885*2^1405454-1 is not prime. Res64: 507F30336A97700E Time : 0.0 sec. user=mdettweiler [2015-08-06 03:46:07] 649*2^1405455-1 is not prime. Res64: C28A0170B92038DD Time : 0.0 sec. user=mdettweiler [2015-08-06 03:46:09] 685*2^1405455-1 is not prime. Res64: 942D97E69D1F4770 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:52:49] 705*2^1405455-1 is not prime. Res64: 5CDE859C4E131616 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:52:50] 751*2^1405455-1 is not prime. Res64: EDA2C86EEC4722D5 Time : 0.0 sec. user=mdettweiler [2015-08-06 03:59:39] 895*2^1405455-1 is not prime. Res64: FAB051C2485F67AA Time : 0.0 sec. user=mdettweiler [2015-08-06 03:59:40] 919*2^1405455-1 is not prime. Res64: 4CF78B49B612E2FA Time : 0.0 sec. user=mdettweiler [2015-08-06 04:00:03] 979*2^1405455-1 is not prime. Res64: 3A685DCD69934386 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:00:03] 855*2^1405456-1 is not prime. Res64: 7A2C09855E445A98 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:03:45] 899*2^1405456-1 is not prime. Res64: 2C8A3D25E29CA969 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:03:45] 917*2^1405456-1 is not prime. Res64: 1A107A661349E897 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:10:31] 969*2^1405456-1 is not prime. Res64: CD26CC89A1E44CEA Time : 0.0 sec. user=mdettweiler [2015-08-06 04:10:31] 983*2^1405456-1 is not prime. Res64: 5614853E694183E9 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:17:12] 993*2^1405456-1 is not prime. Res64: 17BEEC9C1A268663 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:17:13] 615*2^1405457-1 is not prime. Res64: 7A903ACF375DD2B4 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:17:37] 637*2^1405457-1 is not prime. Res64: A29A997C434F49A4 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:17:38] 669*2^1405457-1 is not prime. Res64: 3897033B335945FF Time : 0.0 sec. user=mdettweiler [2015-08-06 04:21:27] 729*2^1405457-1 is not prime. Res64: C9C911E254C4B982 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:21:27] 741*2^1405457-1 is not prime. Res64: 68C3E4D6F5515E5C Time : 0.0 sec. user=mdettweiler [2015-08-06 04:28:05] 861*2^1405457-1 is not prime. Res64: B3E37E85E335D76B Time : 0.0 sec. user=mdettweiler [2015-08-06 04:28:05] 867*2^1405457-1 is not prime. Res64: 8672FB0C9AF5EAE3 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:34:45] 945*2^1405457-1 is not prime. Res64: 988FE50A018B55CB Time : 0.0 sec. user=mdettweiler [2015-08-06 04:34:45] 967*2^1405457-1 is not prime. Res64: F379A1AD9F37F87C Time : 0.0 sec. user=mdettweiler [2015-08-06 04:35:05] 635*2^1405458-1 is not prime. Res64: 133D494802C3A828 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:35:05] 755*2^1405458-1 is not prime. Res64: 53ED9A3188AE0652 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:39:07] 797*2^1405458-1 is not prime. Res64: 586DD0B1C8D54E7B Time : 0.0 sec. user=mdettweiler [2015-08-06 04:39:08] 881*2^1405458-1 is not prime. Res64: 093216550A7003B8 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:45:34] 885*2^1405458-1 is not prime. Res64: 36BC9DE84516DB4C Time : 0.0 sec. user=mdettweiler [2015-08-06 04:45:34] 975*2^1405459-1 is not prime. Res64: BA033F3858083462 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:52:20] 687*2^1405460-1 is not prime. Res64: 633C0B39C1B3F41F Time : 0.0 sec. user=mdettweiler [2015-08-06 04:52:20] 773*2^1405460-1 is not prime. Res64: AC466C4A9587FA47 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:52:37] 797*2^1405460-1 is not prime. Res64: C21C95DA03AD8385 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:52:37] 819*2^1405460-1 is not prime. Res64: 2927B3D041593E3A Time : 0.0 sec. user=mdettweiler [2015-08-06 04:56:43] 875*2^1405460-1 is not prime. Res64: 726B063756865D14 Time : 0.0 sec. user=mdettweiler [2015-08-06 04:56:43] 625*2^1405461-1 is not prime. Res64: 4F99BF177E49F9CB Time : 0.0 sec. user=mdettweiler [2015-08-06 05:03:04] 649*2^1405461-1 is not prime. Res64: CD9367B30EFC20AF Time : 0.0 sec. user=mdettweiler [2015-08-06 05:03:05] 685*2^1405461-1 is not prime. Res64: 21D9968B5FCA387F Time : 0.0 sec. user=mdettweiler [2015-08-06 05:09:59] 709*2^1405461-1 is not prime. Res64: 784F76EEAAF6272C Time : 0.0 sec. user=mdettweiler [2015-08-06 05:10:00] 825*2^1405461-1 is not prime. Res64: 4779CDA72B5EA4B9 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:10:11] 937*2^1405461-1 is not prime. Res64: DB0E3EE86D5AE555 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:10:12] 969*2^1405461-1 is not prime. Res64: 3F145F496C73804A Time : 0.0 sec. user=mdettweiler [2015-08-06 05:14:22] 987*2^1405461-1 is not prime. Res64: D7D8AF64A2ED7600 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:14:23] 651*2^1405462-1 is not prime. Res64: 1E857A0F94B55051 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:20:42] 717*2^1405462-1 is not prime. Res64: 4062AE528D9FFBD7 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:20:43] 821*2^1405462-1 is not prime. Res64: CFEA51E82F93E043 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:27:40] 833*2^1405462-1 is not prime. Res64: 38743377B9F1945A Time : 0.0 sec. user=mdettweiler [2015-08-06 05:27:40] 873*2^1405462-1 is not prime. Res64: 790C2867BB7B4E1D Time : 0.0 sec. user=mdettweiler [2015-08-06 05:27:46] 615*2^1405463-1 is not prime. Res64: 8546DC3BBD1AEEE5 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:27:46] 775*2^1405463-1 is not prime. Res64: 8FDD881BADAD155B Time : 0.0 sec. user=mdettweiler [2015-08-06 05:32:02] 943*2^1405463-1 is not prime. Res64: 8D25E7C94D9B2517 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:32:02] 627*2^1405464-1 is not prime. Res64: 30C5F070F52F34C4 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:38:20] 705*2^1405464-1 is not prime. Res64: 1A1350600D38F4CA Time : 0.0 sec. user=mdettweiler [2015-08-06 05:38:20] 765*2^1405464-1 is not prime. Res64: 4183443B1A608D79 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:45:23] 601*2^1405465-1 is not prime. Res64: 1B607DEBB4420421 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:45:24] 831*2^1405465-1 is not prime. Res64: B0AEC84748B5783B Time : 0.0 sec. user=mdettweiler [2015-08-06 05:45:30] 863*2^1405464-1 is not prime. Res64: 08980219FCE775BF Time : 0.0 sec. user=mdettweiler [2015-08-06 05:45:30] 887*2^1405464-1 is not prime. Res64: 87EB410F441C0440 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:49:43] 895*2^1405465-1 is not prime. Res64: B20BB0F07B1FC3E2 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:49:44] 987*2^1405465-1 is not prime. Res64: 883E68EEDA64D26D Time : 0.0 sec. user=mdettweiler [2015-08-06 05:55:59] 603*2^1405466-1 is not prime. Res64: 8C2C4A87E708D8D8 Time : 0.0 sec. user=mdettweiler [2015-08-06 05:55:59] 825*2^1405466-1 is not prime. Res64: 9E1A25B36A78E2CC Time : 0.0 sec. user=mdettweiler [2015-08-06 06:02:59] 843*2^1405466-1 is not prime. Res64: 4D74B1FE7B72F886 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:03:00] 851*2^1405466-1 is not prime. Res64: 20438905273CC992 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:03:02] 833*2^1405466-1 is not prime. Res64: 51BD39653A988BB6 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:03:03] 837*2^1405466-1 is not prime. Res64: 8AEDA9DA8E78695C Time : 0.0 sec. user=mdettweiler [2015-08-06 06:07:27] 945*2^1405466-1 is not prime. Res64: A32689EEAA02CE36 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:07:27] 963*2^1405466-1 is not prime. Res64: 1D7360B5FA208617 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:13:36] 983*2^1405466-1 is not prime. Res64: E1958D0249594701 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:13:36] 1001*2^1405466-1 is not prime. Res64: A2841C388356B4E1 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:20:37] 703*2^1405467-1 is not prime. Res64: 0F79CC8B0328E3BE Time : 0.0 sec. user=mdettweiler [2015-08-06 06:20:38] 711*2^1405467-1 is not prime. Res64: A780D7F701112260 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:20:43] 751*2^1405467-1 is not prime. Res64: C05D6D0B27FA862A Time : 0.0 sec. user=mdettweiler [2015-08-06 06:20:43] 793*2^1405467-1 is not prime. Res64: 39C320A1940C9959 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:25:03] 795*2^1405467-1 is not prime. Res64: C1E447B8FDA5370E Time : 0.0 sec. user=mdettweiler [2015-08-06 06:25:04] 871*2^1405467-1 is not prime. Res64: FAC4F2E489DA9EDC Time : 0.0 sec. user=mdettweiler [2015-08-06 06:31:19] 615*2^1405468-1 is not prime. Res64: 2493404C723CAD63 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:31:19] 639*2^1405468-1 is not prime. Res64: 7F8BC79965926BA1 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:38:15] 975*2^1405468-1 is not prime. Res64: 43356F760500BAC4 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:38:16] 999*2^1405468-1 is not prime. Res64: B3EED63CFB41C63C Time : 0.0 sec. user=mdettweiler [2015-08-06 06:38:20] 749*2^1405468-1 is not prime. Res64: DE9AA59D7F5F3615 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:38:20] 905*2^1405468-1 is not prime. Res64: B0B1582D74444E74 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:42:32] 621*2^1405469-1 is not prime. Res64: CBEE86B5C06E454C Time : 0.0 sec. user=mdettweiler [2015-08-06 06:42:32] 735*2^1405469-1 is not prime. Res64: 629D7FBFB72A745C Time : 0.0 sec. user=mdettweiler [2015-08-06 06:48:54] 955*2^1405469-1 is not prime. Res64: 1066385B6CA9774E Time : 0.0 sec. user=mdettweiler [2015-08-06 06:48:54] 647*2^1405470-1 is not prime. Res64: 6AA13F835E2AEAC0 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:55:50] 801*2^1405470-1 is not prime. Res64: A1179CEA328BFCF0 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:55:51] 861*2^1405470-1 is not prime. Res64: 234BA5E50DE0F385 Time : 0.0 sec. user=mdettweiler [2015-08-06 06:56:06] 933*2^1405470-1 is not prime. Res64: 82B698D44860C5BF Time : 0.0 sec. user=mdettweiler [2015-08-06 06:56:07] 945*2^1405470-1 is not prime. Res64: D3C40F1ED5984EFF Time : 0.0 sec. user=mdettweiler [2015-08-06 07:00:07] 651*2^1405471-1 is not prime. Res64: A907A46CBC4DD745 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:00:07] 703*2^1405471-1 is not prime. Res64: 1F284DDEF6220BFD Time : 0.0 sec. user=mdettweiler [2015-08-06 07:06:52] 741*2^1405471-1 is not prime. Res64: F877CAB7339C6DE5 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:06:52] 855*2^1405471-1 is not prime. Res64: E7ED0ABA79D98168 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:13:24] 683*2^1405472-1 is not prime. Res64: 11B1F18771944856 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:13:25] 689*2^1405472-1 is not prime. Res64: 883657A029D78138 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:13:49] 693*2^1405472-1 is not prime. Res64: FCC1726CA84A3E80 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:13:50] 767*2^1405472-1 is not prime. Res64: 3BCB8891992FEF2B Time : 0.0 sec. user=mdettweiler [2015-08-06 07:17:45] 785*2^1405472-1 is not prime. Res64: D335931D395AC23C Time : 0.0 sec. user=mdettweiler [2015-08-06 07:17:46] 815*2^1405472-1 is not prime. Res64: 17635054180CDD97 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:24:41] 679*2^1405473-1 is not prime. Res64: AA6B3D371E902163 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:24:41] 681*2^1405473-1 is not prime. Res64: B672271C263FEAC6 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:30:58] 721*2^1405473-1 is not prime. Res64: B411FCB109398F50 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:30:58] 759*2^1405473-1 is not prime. Res64: A99EC8E01C3E879A Time : 0.0 sec. user=mdettweiler [2015-08-06 07:31:26] 805*2^1405473-1 is not prime. Res64: 3892988D12E01A4C Time : 0.0 sec. user=mdettweiler [2015-08-06 07:31:26] 835*2^1405473-1 is not prime. Res64: D1242E458C0D2652 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:35:24] 867*2^1405473-1 is not prime. Res64: 891850646A559F6A Time : 0.0 sec. user=mdettweiler [2015-08-06 07:35:25] 871*2^1405473-1 is not prime. Res64: 391580188863C69C Time : 0.0 sec. user=mdettweiler [2015-08-06 07:42:15] 717*2^1405474-1 is not prime. Res64: FCBBD8BEF0D0DC5B Time : 0.0 sec. user=mdettweiler [2015-08-06 07:42:16] 723*2^1405474-1 is not prime. Res64: DCC19BFB0816D31F Time : 0.0 sec. user=mdettweiler [2015-08-06 07:48:32] 923*2^1405474-1 is not prime. Res64: 62A11E2E0C545FB8 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:48:33] 981*2^1405474-1 is not prime. Res64: 237413C627B7C932 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:49:00] 633*2^1405475-1 is not prime. Res64: FE57A113C2F58EF5 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:49:01] 643*2^1405475-1 is not prime. Res64: 82EA49DE9136931C Time : 0.0 sec. user=mdettweiler [2015-08-06 07:53:00] 649*2^1405475-1 is not prime. Res64: 7FD5BFCECBF2C14B Time : 0.0 sec. user=mdettweiler [2015-08-06 07:53:00] 663*2^1405475-1 is not prime. Res64: 2AD1DF393DAAB86D Time : 0.0 sec. user=mdettweiler [2015-08-06 07:59:58] 673*2^1405475-1 is not prime. Res64: 188D1CD50A77FFB7 Time : 0.0 sec. user=mdettweiler [2015-08-06 07:59:59] 735*2^1405475-1 is not prime. Res64: 227D9783DDF1DEFB Time : 0.0 sec. user=mdettweiler [2015-08-06 08:06:10] 759*2^1405475-1 is not prime. Res64: DA38EAE93D1DC4E9 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:06:12] 889*2^1405475-1 is not prime. Res64: D9E56DC499343360 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:06:38] 909*2^1405475-1 is not prime. Res64: CBDEC081C20A112A Time : 0.0 sec. user=mdettweiler [2015-08-06 08:06:40] 633*2^1405476-1 is not prime. Res64: BED864CD9B2A1FD8 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:10:33] 635*2^1405476-1 is not prime. Res64: 3D046C4AFCF855A6 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:10:34] 669*2^1405476-1 is not prime. Res64: 7521EACC3D7D939A Time : 0.0 sec. user=mdettweiler [2015-08-06 08:17:42] 693*2^1405476-1 is not prime. Res64: F4D4F85C3377AD85 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:17:43] 719*2^1405476-1 is not prime. Res64: EE326E8D9BBDB969 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:23:58] 857*2^1405476-1 is not prime. Res64: C09616D315BCA664 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:23:58] 879*2^1405476-1 is not prime. Res64: 313DFD36B02FA77C Time : 0.0 sec. user=mdettweiler [2015-08-06 08:24:19] 899*2^1405476-1 is not prime. Res64: 6D63A80C10C70223 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:24:19] 903*2^1405476-1 is not prime. Res64: 0CC88AA36FFF1549 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:28:19] 923*2^1405476-1 is not prime. Res64: CA198A0BFA349D7F Time : 0.0 sec. user=mdettweiler [2015-08-06 08:28:19] 727*2^1405477-1 is not prime. Res64: 0E496F8DB1BAC260 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:35:19] 765*2^1405477-1 is not prime. Res64: 93560D12C5719906 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:35:19] 771*2^1405477-1 is not prime. Res64: 50E0FDF8CB6A4759 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:41:28] 871*2^1405477-1 is not prime. Res64: 63CD22821732F7F6 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:41:28] 895*2^1405477-1 is not prime. Res64: 22D5B04ADAC7D48E Time : 0.0 sec. user=mdettweiler [2015-08-06 08:41:49] 985*2^1405477-1 is not prime. Res64: 3D8F2FB924F9DA62 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:41:49] 999*2^1405477-1 is not prime. Res64: CDA1E7B4DC68F927 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:45:48] 743*2^1405478-1 is not prime. Res64: DC3133B84A0A68FD Time : 0.0 sec. user=mdettweiler [2015-08-06 08:45:48] 747*2^1405478-1 is not prime. Res64: FFFE6324D3C7BD3C Time : 0.0 sec. user=mdettweiler [2015-08-06 08:52:52] 753*2^1405478-1 is not prime. Res64: FDE45C5170C33DFD Time : 0.0 sec. user=mdettweiler [2015-08-06 08:52:53] 761*2^1405478-1 is not prime. Res64: 34ECA965B60C0753 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:59:07] 867*2^1405478-1 is not prime. Res64: 1CD41DA18890EEE0 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:59:07] 893*2^1405478-1 is not prime. Res64: DB2573F350CFE6C0 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:59:19] 915*2^1405478-1 is not prime. Res64: FDEA0B4D55CE2B21 Time : 0.0 sec. user=mdettweiler [2015-08-06 08:59:20] 963*2^1405478-1 is not prime. Res64: 7561C537F8A01A1C Time : 0.0 sec. user=mdettweiler [2015-08-06 09:03:23] 615*2^1405479-1 is not prime. Res64: 9EF7A7F182353961 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:03:24] 661*2^1405479-1 is not prime. Res64: B5CEB17A6DEA0F74 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:10:29] 735*2^1405479-1 is not prime. Res64: 6628E56E9324720D Time : 0.0 sec. user=mdettweiler [2015-08-06 09:10:29] 741*2^1405479-1 is not prime. Res64: DA4B1335330278C0 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:16:41] 949*2^1405479-1 is not prime. Res64: 34A58E39026BD98A Time : 0.0 sec. user=mdettweiler [2015-08-06 09:16:41] 955*2^1405479-1 is not prime. Res64: BA6F8B75E480AA05 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:16:56] 609*2^1405480-1 is not prime. Res64: 319C14C3FD985E47 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:16:57] 765*2^1405480-1 is not prime. Res64: FF5B11F43C37D618 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:21:11] 777*2^1405480-1 is not prime. Res64: F4EB6B03325D000B Time : 0.0 sec. user=mdettweiler [2015-08-06 09:21:11] 675*2^1405481-1 is not prime. Res64: DE079AD8A65F4675 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:28:05] 741*2^1405481-1 is not prime. Res64: 50393D3213D41D03 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:28:05] 747*2^1405481-1 is not prime. Res64: 3418853DACD5065B Time : 0.0 sec. user=mdettweiler [2015-08-06 09:34:15] 765*2^1405482-1 is not prime. Res64: 4F13131706656DB3 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:34:15] 767*2^1405482-1 is not prime. Res64: 8BDD776F768CC7B7 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:34:33] 777*2^1405482-1 is not prime. Res64: 3C6524F014C9A406 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:34:34] 915*2^1405482-1 is not prime. Res64: A9AD89E2688337B2 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:38:46] 951*2^1405482-1 is not prime. Res64: EC272A35C557E501 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:38:46] 975*2^1405482-1 is not prime. Res64: 624D149065615251 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:45:40] 983*2^1405482-1 is not prime. Res64: 0BD0E308215A555A Time : 0.0 sec. user=mdettweiler [2015-08-06 09:45:41] 639*2^1405483-1 is not prime. Res64: 1BD100D059CD5F6D Time : 0.0 sec. user=mdettweiler [2015-08-06 09:51:54] 805*2^1405483-1 is not prime. Res64: D9F435C777748BAC Time : 0.0 sec. user=mdettweiler [2015-08-06 09:51:54] 835*2^1405483-1 is not prime. Res64: 478853493CEDD1A2 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:52:06] 855*2^1405483-1 is not prime. Res64: E4723B1827C254FC Time : 0.0 sec. user=mdettweiler [2015-08-06 09:52:06] 871*2^1405483-1 is not prime. Res64: 066A7C0CF678CB35 Time : 0.0 sec. user=mdettweiler [2015-08-06 09:56:21] 945*2^1405483-1 is not prime. Res64: 24EF16DCC82A0DCF Time : 0.0 sec. user=mdettweiler [2015-08-06 09:56:21] 609*2^1405484-1 is not prime. Res64: 6AD79468680C7047 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:03:18] 767*2^1405484-1 is not prime. Res64: 4D77C47B5FE5C644 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:03:20] 825*2^1405484-1 is not prime. Res64: 5E0F2354CE802747 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:09:30] 627*2^1405485-1 is not prime. Res64: 5C4B57C015E86D79 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:09:30] 847*2^1405485-1 is not prime. Res64: 4C7CE1070D9596CA Time : 0.0 sec. user=mdettweiler [2015-08-06 10:09:36] 919*2^1405485-1 is not prime. Res64: 11EE88131C0581FD Time : 0.0 sec. user=mdettweiler [2015-08-06 10:09:37] 951*2^1405485-1 is not prime. Res64: 7826ECCBCDA92B7C Time : 0.0 sec. user=mdettweiler [2015-08-06 10:13:56] 969*2^1405485-1 is not prime. Res64: F863B8CAE34893CD Time : 0.0 sec. user=mdettweiler [2015-08-06 10:13:57] 975*2^1405485-1 is not prime. Res64: 6E6E6CD0F89DADA9 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:21:02] 651*2^1405486-1 is not prime. Res64: F7585131E982B3B4 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:21:03] 675*2^1405486-1 is not prime. Res64: 5661FEAB898A0B9E Time : 0.0 sec. user=mdettweiler [2015-08-06 10:27:08] 755*2^1405486-1 is not prime. Res64: 44DD50C05985F189 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:27:09] 783*2^1405486-1 is not prime. Res64: 2776FE34D96CB7C5 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:27:10] 857*2^1405486-1 is not prime. Res64: E43838DA30B38F7E Time : 0.0 sec. user=mdettweiler [2015-08-06 10:27:10] 941*2^1405486-1 is not prime. Res64: AFC9A3E47B20A9CF Time : 0.0 sec. user=mdettweiler [2015-08-06 10:31:34] 975*2^1405486-1 is not prime. Res64: 52E3AE90503FAF5E Time : 0.0 sec. user=mdettweiler [2015-08-06 10:31:35] 615*2^1405487-1 is not prime. Res64: 642C69A8F600826B Time : 0.0 sec. user=mdettweiler [2015-08-06 10:38:38] 633*2^1405487-1 is not prime. Res64: CF1E6435698A8974 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:38:38] 651*2^1405487-1 is not prime. Res64: 2CF4597EC3C10A67 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:44:44] 885*2^1405487-1 is not prime. Res64: 54EDD14A4DF74C99 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:44:44] 999*2^1405487-1 is not prime. Res64: DAB8866B6EEC6CFE Time : 0.0 sec. user=mdettweiler [2015-08-06 10:44:49] 773*2^1405488-1 is not prime. Res64: 7FCD4462CA9B8768 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:44:49] 893*2^1405488-1 is not prime. Res64: 4ED7E3F2BD74F438 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:49:08] 679*2^1405489-1 is not prime. Res64: 2DCC704FD0B7A682 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:49:08] 771*2^1405489-1 is not prime. Res64: E0A9ED1436B641E0 Time : 0.0 sec. user=mdettweiler [2015-08-06 10:56:13] 855*2^1405489-1 is not prime. Res64: BE72E31DB5DBD6DB Time : 0.0 sec. user=mdettweiler [2015-08-06 10:56:14] 897*2^1405489-1 is not prime. Res64: 17A0B990E55E6774 Time : 0.0 sec. user=S_K_ [2015-08-06 11:00:33] 705*2^1405426-1 is not prime. Res64: 9CF964C32250050B Time : 0.0 sec. user=mdettweiler [2015-08-06 11:02:28] 753*2^1405490-1 is not prime. Res64: AA742D5B72F27C76 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:02:28] 791*2^1405490-1 is not prime. Res64: A8A03023255423F1 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:02:29] 767*2^1405490-1 is not prime. Res64: EB6504B385C7EB33 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:02:29] 857*2^1405490-1 is not prime. Res64: 7771CCCEF0C609DD Time : 0.0 sec. user=mdettweiler [2015-08-06 11:06:52] 867*2^1405490-1 is not prime. Res64: F4CCA5BA1254A73E Time : 0.0 sec. user=mdettweiler [2015-08-06 11:06:52] 941*2^1405490-1 is not prime. Res64: F90CA1F7B5C4F04C Time : 0.0 sec. user=mdettweiler [2015-08-06 11:13:47] 977*2^1405490-1 is not prime. Res64: 1E31144F043E3B15 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:13:48] 995*2^1405490-1 is not prime. Res64: BF56667F6D332370 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:20:24] 601*2^1405491-1 is not prime. Res64: 97BA5B6AE0B5E719 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:20:24] 783*2^1405491-1 is not prime. Res64: 3AD2881F1E9450B0 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:20:27] 805*2^1405491-1 is not prime. Res64: 76D456513F6D485A Time : 0.0 sec. user=mdettweiler [2015-08-06 11:20:27] 819*2^1405491-1 is not prime. Res64: 12C906502D4FA71E Time : 0.0 sec. user=mdettweiler [2015-08-06 11:24:30] 871*2^1405491-1 is not prime. Res64: 8D06AA2BDB569BD8 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:24:30] 891*2^1405491-1 is not prime. Res64: F3D8AB299AB07E0F Time : 0.0 sec. user=mdettweiler [2015-08-06 11:31:35] 603*2^1405492-1 is not prime. Res64: CA90B3CBBB025141 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:31:35] 689*2^1405492-1 is not prime. Res64: 5AD06952774CD586 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:38:05] 693*2^1405492-1 is not prime. Res64: 22F307AF3698F9A7 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:38:05] 869*2^1405492-1 is not prime. Res64: AD46C9F6F66C3C71 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:38:13] 873*2^1405492-1 is not prime. Res64: 2CDD73A1D144ACA8 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:38:14] 899*2^1405492-1 is not prime. Res64: 83873A43909F739C Time : 0.0 sec. user=mdettweiler [2015-08-06 11:42:07] 965*2^1405492-1 is not prime. Res64: D0E370D96078F271 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:42:07] 649*2^1405493-1 is not prime. Res64: 8244E1891B07F6E2 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:49:14] 685*2^1405493-1 is not prime. Res64: 4587660E6D069DBE Time : 0.0 sec. user=mdettweiler [2015-08-06 11:49:14] 721*2^1405493-1 is not prime. Res64: 468D84CDAF10A200 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:55:46] 811*2^1405493-1 is not prime. Res64: FCBCE1AB0501B183 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:55:46] 867*2^1405493-1 is not prime. Res64: 37417CD6D1CD683C Time : 0.0 sec. user=mdettweiler [2015-08-06 11:55:53] 693*2^1405494-1 is not prime. Res64: 3FC2ADCEA3BA07C1 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:55:53] 773*2^1405494-1 is not prime. Res64: 46F25BCE6E448FFA Time : 0.0 sec. user=mdettweiler [2015-08-06 11:59:43] 873*2^1405494-1 is not prime. Res64: 00DF31F09D71ECA0 Time : 0.0 sec. user=mdettweiler [2015-08-06 11:59:44] 927*2^1405494-1 is not prime. Res64: 0E32CB3D2DCDEE4E Time : 0.0 sec. user=mdettweiler [2015-08-06 12:06:52] 993*2^1405494-1 is not prime. Res64: 0A83E4E8FF6B8056 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:06:53] 603*2^1405495-1 is not prime. Res64: 41EC715A2039E705 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:13:29] 645*2^1405495-1 is not prime. Res64: B51588827353B72B Time : 0.0 sec. user=mdettweiler [2015-08-06 12:13:30] 715*2^1405495-1 is not prime. Res64: 4EE017ECF62FFBE6 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:13:31] 735*2^1405495-1 is not prime. Res64: 78C58FFCF4517071 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:13:32] 775*2^1405495-1 is not prime. Res64: F5C697D9398917A0 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:17:21] 919*2^1405495-1 is not prime. Res64: 44F939267FA88C98 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:17:21] 999*2^1405495-1 is not prime. Res64: A9ED3AB31ED27089 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:24:30] 717*2^1405496-1 is not prime. Res64: 062384293B0D1142 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:24:31] 747*2^1405496-1 is not prime. Res64: 8A22870B25AC191D Time : 0.0 sec. user=mdettweiler [2015-08-06 12:31:32] 875*2^1405496-1 is not prime. Res64: 4F8C4778BD432B09 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:31:33] 675*2^1405497-1 is not prime. Res64: 24C21F9EDA9EADAE Time : 0.0 sec. user=mdettweiler [2015-08-06 12:31:34] 781*2^1405497-1 is not prime. Res64: 010A595BB05C4513 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:31:34] 817*2^1405497-1 is not prime. Res64: 90A10F262A034DCB Time : 0.0 sec. user=mdettweiler [2015-08-06 12:35:27] 885*2^1405497-1 is not prime. Res64: BA12645056547EF8 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:35:28] 895*2^1405497-1 is not prime. Res64: C9B207BD7F9E6BD9 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:43:28] 991*2^1405497-1 is not prime. Res64: 4C8F45C4DAF4FD4C Time : 0.0 sec. user=mdettweiler [2015-08-06 12:43:28] 743*2^1405498-1 is not prime. Res64: C71A158C42786370 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:50:13] 843*2^1405498-1 is not prime. Res64: DEDABCF5E5B182E1 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:50:14] 845*2^1405498-1 is not prime. Res64: 20E01253A0864D30 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:50:16] 857*2^1405498-1 is not prime. Res64: C34C8A2F707E8705 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:50:17] 933*2^1405498-1 is not prime. Res64: AE507C85A8FC9DA4 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:53:44] 987*2^1405498-1 is not prime. Res64: 78152CB7BF9BA5E9 Time : 0.0 sec. user=mdettweiler [2015-08-06 12:53:44] 619*2^1405499-1 is not prime. Res64: F303F40C831910A7 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:01:04] 645*2^1405499-1 is not prime. Res64: B055FF16D5D10435 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:01:05] 759*2^1405499-1 is not prime. Res64: 06C4B10DC9B18162 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:07:50] 873*2^1405500-1 is not prime. Res64: 5AF62D67170C8946 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:07:50] 909*2^1405500-1 is not prime. Res64: 4FF63232827970F6 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:07:50] 725*2^1405500-1 is not prime. Res64: DFAC96DE6FBAEBA3 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:07:51] 737*2^1405500-1 is not prime. Res64: 9FBE5136810A4734 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:11:14] 615*2^1405501-1 is not prime. Res64: ABBB57C62E3C62AD Time : 0.0 sec. user=mdettweiler [2015-08-06 13:11:15] 745*2^1405501-1 is not prime. Res64: 47B9B17346E390F2 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:18:38] 777*2^1405501-1 is not prime. Res64: 9BA59E2FE45EFDC4 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:18:38] 835*2^1405501-1 is not prime. Res64: 8FABCA708C3A9A9C Time : 0.0 sec. user=mdettweiler [2015-08-06 13:25:22] 627*2^1405502-1 is not prime. Res64: 91FEC98FDD5B214B Time : 0.0 sec. user=mdettweiler [2015-08-06 13:25:22] 675*2^1405502-1 is not prime. Res64: DF50835079168FE0 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:25:25] 937*2^1405501-1 is not prime. Res64: 132092E4D532C77C Time : 0.0 sec. user=mdettweiler [2015-08-06 13:25:26] 945*2^1405501-1 is not prime. Res64: B181B1A2881324C4 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:28:52] 767*2^1405502-1 is not prime. Res64: 35C0D4151DDE66D7 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:28:53] 801*2^1405502-1 is not prime. Res64: 550E6E963BE5B2CE Time : 0.0 sec. user=mdettweiler [2015-08-06 13:36:17] 833*2^1405502-1 is not prime. Res64: 8188A7CA738ABD40 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:36:17] 885*2^1405502-1 is not prime. Res64: 87FDA3D5EC5EC4B6 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:42:55] 887*2^1405502-1 is not prime. Res64: F7E8979A582BB91E Time : 0.0 sec. user=mdettweiler [2015-08-06 13:42:55] 893*2^1405502-1 is not prime. Res64: 5F4DFDD394359343 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:42:58] 911*2^1405502-1 is not prime. Res64: 5C4BD11E9DBCA7CB Time : 0.0 sec. user=mdettweiler [2015-08-06 13:42:58] 957*2^1405502-1 is not prime. Res64: 8967B591DED0D74A Time : 0.0 sec. user=mdettweiler [2015-08-06 13:46:25] 625*2^1405503-1 is not prime. Res64: 270C871DB84B8DCF Time : 0.0 sec. user=mdettweiler [2015-08-06 13:46:26] 723*2^1405503-1 is not prime. Res64: B2D421A1E1E3B1F1 Time : 0.0 sec. user=mdettweiler [2015-08-06 13:53:51] 735*2^1405503-1 is not prime. Res64: A4BFA6CE6FE501ED Time : 0.0 sec. user=mdettweiler [2015-08-06 13:53:51] 765*2^1405503-1 is not prime. Res64: 2C7551E0A8A85493 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:00:30] 635*2^1405504-1 is not prime. Res64: C5077DE549C5680A Time : 0.0 sec. user=mdettweiler [2015-08-06 14:00:31] 755*2^1405504-1 is not prime. Res64: B9A00B0C6D4F3602 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:00:38] 805*2^1405503-1 is not prime. Res64: CAE343C6FCF8B9A4 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:00:39] 985*2^1405503-1 is not prime. Res64: 5B272C794CECCB75 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:04:05] 813*2^1405504-1 is not prime. Res64: CC298B353654065F Time : 0.0 sec. user=mdettweiler [2015-08-06 14:04:06] 843*2^1405504-1 is not prime. Res64: 660FA1584F21FEF3 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:11:25] 855*2^1405504-1 is not prime. Res64: DE09EBF5C8795EC9 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:11:25] 899*2^1405504-1 is not prime. Res64: D545D5F4433B463E Time : 0.0 sec. user=mdettweiler [2015-08-06 14:18:02] 903*2^1405504-1 is not prime. Res64: F4B7F2DD5D4AD675 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:18:02] 649*2^1405505-1 is not prime. Res64: 69B85532E84163F6 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:18:19] 699*2^1405505-1 is not prime. Res64: E3C55D2ABF00D1E5 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:18:19] 861*2^1405505-1 is not prime. Res64: C4D7ED7F917462C2 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:21:45] 657*2^1405506-1 is not prime. Res64: 8FFFB4C670E67FD6 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:21:45] 755*2^1405506-1 is not prime. Res64: 3734F8B7BFDED813 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:29:01] 837*2^1405506-1 is not prime. Res64: 7EFC2B7654DEF99D Time : 0.0 sec. user=mdettweiler [2015-08-06 14:29:01] 851*2^1405506-1 is not prime. Res64: 0C2F907F834E2279 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:35:42] 891*2^1405506-1 is not prime. Res64: CB15057D37AACE17 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:35:43] 1001*2^1405506-1 is not prime. Res64: EC498CC9B7B85738 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:35:57] 615*2^1405507-1 is not prime. Res64: D115A27BDBB9A352 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:35:58] 843*2^1405507-1 is not prime. Res64: E00B05CA7E0A1B56 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:39:18] 859*2^1405507-1 is not prime. Res64: 7599886623AF1877 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:39:19] 873*2^1405507-1 is not prime. Res64: 38C2BBC10CD337A0 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:46:38] 909*2^1405507-1 is not prime. Res64: 5C92785994AA82AA Time : 0.0 sec. user=mdettweiler [2015-08-06 14:46:38] 913*2^1405507-1 is not prime. Res64: 2B67DAF699E1F0DD Time : 0.0 sec. user=mdettweiler [2015-08-06 14:53:17] 915*2^1405507-1 is not prime. Res64: 3B425192648DD76A Time : 0.0 sec. user=mdettweiler [2015-08-06 14:53:17] 725*2^1405508-1 is not prime. Res64: 0BD5ACEBFAC805E0 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:53:33] 879*2^1405508-1 is not prime. Res64: C793F24DA4D32E07 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:53:33] 669*2^1405509-1 is not prime. Res64: 637E674F98E68992 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:56:50] 741*2^1405509-1 is not prime. Res64: 9BB53C40FCFF22B4 Time : 0.0 sec. user=mdettweiler [2015-08-06 14:56:51] 747*2^1405509-1 is not prime. Res64: 90757CC4F7990D58 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:04:20] 831*2^1405509-1 is not prime. Res64: 42B7E7D7B3B2A9B3 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:04:22] 951*2^1405509-1 is not prime. Res64: D6BCC33032377EBA Time : 0.0 sec. user=mdettweiler [2015-08-06 15:10:56] 987*2^1405509-1 is not prime. Res64: E025473CB73EE89F Time : 0.0 sec. user=mdettweiler [2015-08-06 15:10:56] 645*2^1405510-1 is not prime. Res64: F88D9DF065AD9332 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:11:07] 657*2^1405510-1 is not prime. Res64: 213011183D55BBAC Time : 0.0 sec. user=mdettweiler [2015-08-06 15:11:08] 677*2^1405510-1 is not prime. Res64: 9EFAEEE5421B7651 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:14:24] 765*2^1405510-1 is not prime. Res64: C80D5DEBCB1421AA Time : 0.0 sec. user=mdettweiler [2015-08-06 15:14:24] 777*2^1405510-1 is not prime. Res64: 93AE65683D181B14 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:22:24] 833*2^1405510-1 is not prime. Res64: 2538474AF3A69AE8 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:22:24] 1001*2^1405510-1 is not prime. Res64: 5EF8F02D6F891098 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:28:41] 651*2^1405511-1 is not prime. Res64: 19BA13BC6E1D3140 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:28:41] 703*2^1405511-1 is not prime. Res64: 4A5FE666EE648350 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:28:44] 745*2^1405511-1 is not prime. Res64: 7B4D9E126971AA2E Time : 0.0 sec. user=mdettweiler [2015-08-06 15:28:44] 783*2^1405511-1 is not prime. Res64: EC9D9E33C8621760 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:32:05] 789*2^1405511-1 is not prime. Res64: 4AA2E507BDA56BD3 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:32:06] 811*2^1405511-1 is not prime. Res64: 98B80FEE3E4C6E73 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:40:14] 829*2^1405511-1 is not prime. Res64: A2475B3D1BAE4859 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:40:14] 855*2^1405511-1 is not prime. Res64: A37400FADC951829 Time : 0.0 sec. user=S_K_ [2015-08-06 15:42:02] 885*2^1405507-1 is not prime. Res64: 666FBE40F3C18CE4 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:46:48] 939*2^1405511-1 is not prime. Res64: 7A4CDDDA3627AC69 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:46:49] 979*2^1405511-1 is not prime. Res64: E87AA793FD10BF96 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:46:56] 993*2^1405511-1 is not prime. Res64: 848B23FBC3536499 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:46:56] 999*2^1405511-1 is not prime. Res64: 29EFF0C8EDAD443A Time : 0.0 sec. user=mdettweiler [2015-08-06 15:50:05] 639*2^1405512-1 is not prime. Res64: 9BBD909AF6BD8CE0 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:50:06] 665*2^1405512-1 is not prime. Res64: 731E64708BEC614C Time : 0.0 sec. user=mdettweiler [2015-08-06 15:58:14] 719*2^1405512-1 is not prime. Res64: B248F9286B36C846 Time : 0.0 sec. user=mdettweiler [2015-08-06 15:58:14] 753*2^1405512-1 is not prime. Res64: 84E60A58F70F2AA4 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:04:23] 923*2^1405512-1 is not prime. Res64: E4CC06B85D57AC16 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:04:24] 615*2^1405513-1 is not prime. Res64: CE3AFD73CE038D43 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:04:31] 687*2^1405513-1 is not prime. Res64: 4F449CE240CD4F41 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:04:32] 699*2^1405513-1 is not prime. Res64: 162900DE53166EC5 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:07:43] 745*2^1405513-1 is not prime. Res64: C7D9F320CCDCA3F6 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:07:43] 939*2^1405513-1 is not prime. Res64: 8FB0C00A002DDA5A Time : 0.0 sec. user=mdettweiler [2015-08-06 16:15:51] 951*2^1405513-1 is not prime. Res64: 1DF9441A1CDFE93A Time : 0.0 sec. user=mdettweiler [2015-08-06 16:15:52] 687*2^1405514-1 is not prime. Res64: 2C1A0A304DD53D76 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:21:59] 767*2^1405514-1 is not prime. Res64: 5D39FA98CE50E16C Time : 0.0 sec. user=mdettweiler [2015-08-06 16:22:00] 915*2^1405514-1 is not prime. Res64: 02CBB35D2CE46B62 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:22:04] 935*2^1405514-1 is not prime. Res64: 74CDF1DDA7C7EABF Time : 0.0 sec. user=mdettweiler [2015-08-06 16:22:04] 941*2^1405514-1 is not prime. Res64: D0184CDF9E55D730 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:25:19] 651*2^1405515-1 is not prime. Res64: 4C569B276E296207 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:25:20] 853*2^1405515-1 is not prime. Res64: 27DAF07107B0388E Time : 0.0 sec. user=mdettweiler [2015-08-06 16:33:30] 861*2^1405515-1 is not prime. Res64: 4C89BA6E484D3861 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:33:31] 903*2^1405515-1 is not prime. Res64: 96DC23F4EA45D01D Time : 0.0 sec. user=mdettweiler [2015-08-06 16:39:44] 961*2^1405515-1 is not prime. Res64: 6A835F998948A693 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:39:44] 973*2^1405515-1 is not prime. Res64: 300249C924DBCBB7 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:39:53] 623*2^1405516-1 is not prime. Res64: 6100F1A2F3B1BD98 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:39:53] 983*2^1405516-1 is not prime. Res64: 8222E5AFFF2BEBDD Time : 0.0 sec. user=mdettweiler [2015-08-06 16:43:04] 999*2^1405516-1 is not prime. Res64: 2866274E2D6B5CD5 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:43:04] 607*2^1405517-1 is not prime. Res64: AA55B44547A21F58 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:51:16] 619*2^1405517-1 is not prime. Res64: 556B3F3365F4A5A9 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:51:16] 631*2^1405517-1 is not prime. Res64: 7FEC4A92B7874F61 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:57:20] 741*2^1405517-1 is not prime. Res64: 6E3B1EC7D9EEC6DF Time : 0.0 sec. user=mdettweiler [2015-08-06 16:57:21] 795*2^1405517-1 is not prime. Res64: 12A0444ACAC5B039 Time : 0.0 sec. user=mdettweiler [2015-08-06 16:57:30] 937*2^1405517-1 is not prime. Res64: 7B77CE42D4E6ED8C Time : 0.0 sec. user=mdettweiler [2015-08-06 16:57:30] 955*2^1405517-1 is not prime. Res64: 7CE5AD18711DE400 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:00:37] 647*2^1405518-1 is not prime. Res64: A4D51FCB966FB872 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:00:38] 651*2^1405518-1 is not prime. Res64: AE338190523FD335 Time : 0.0 sec. user=S_K_ [2015-08-06 17:02:19] 779*2^1405512-1 is not prime. Res64: AD2F6AA262F6B50C Time : 0.0 sec. user=mdettweiler [2015-08-06 17:09:19] 663*2^1405518-1 is not prime. Res64: F24F40F5C18FA383 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:09:19] 761*2^1405518-1 is not prime. Res64: 63F2D11437630AB5 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:15:34] 833*2^1405518-1 is not prime. Res64: F1CACE2FEFC105D0 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:15:34] 663*2^1405519-1 is not prime. Res64: 2F07D6ED83C22418 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:15:36] 681*2^1405519-1 is not prime. Res64: A2E30AE494001F44 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:15:36] 709*2^1405519-1 is not prime. Res64: 5D56D53F401BF3C8 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:18:49] 763*2^1405519-1 is not prime. Res64: 3AB96D91D1827E52 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:18:50] 829*2^1405519-1 is not prime. Res64: E1BE1226A1EEBF6B Time : 0.0 sec. user=mdettweiler [2015-08-06 17:27:07] 919*2^1405519-1 is not prime. Res64: 5FC0C0419BDFCF86 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:27:07] 925*2^1405519-1 is not prime. Res64: 2A5F4F73C251D2FD Time : 0.0 sec. user=mdettweiler [2015-08-06 17:33:09] 603*2^1405520-1 is not prime. Res64: 52FD309A09F73083 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:33:10] 635*2^1405520-1 is not prime. Res64: C3B6A8AF0E6C87C6 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:33:10] 689*2^1405520-1 is not prime. Res64: 8860ADB2AF10C611 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:33:10] 843*2^1405520-1 is not prime. Res64: EA0232BED0ABFD58 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:36:18] 917*2^1405520-1 is not prime. Res64: D682D01384B0633F Time : 0.0 sec. user=mdettweiler [2015-08-06 17:36:19] 963*2^1405520-1 is not prime. Res64: 78D45E7AC7C8A1A7 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:44:47] 625*2^1405521-1 is not prime. Res64: F057A2727AD1A87E Time : 0.0 sec. user=mdettweiler [2015-08-06 17:44:47] 681*2^1405521-1 is not prime. Res64: 01808B86E95F14B5 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:50:42] 677*2^1405522-1 is not prime. Res64: 5E345F29D1665DD2 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:50:42] 801*2^1405522-1 is not prime. Res64: 31E270FEE1AC9BB7 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:50:46] 717*2^1405521-1 is not prime. Res64: 10289249D8A7F20B Time : 0.0 sec. user=mdettweiler [2015-08-06 17:50:46] 777*2^1405521-1 is not prime. Res64: CA999B6089AAED81 Time : 0.0 sec. user=mdettweiler [2015-08-06 17:53:50] 803*2^1405522-1 is not prime. Res64: EBE3CDEE0EE3348A Time : 0.0 sec. user=mdettweiler [2015-08-06 17:53:51] 821*2^1405522-1 is not prime. Res64: 69E0F96304F7A7CE Time : 0.0 sec. user=mdettweiler [2015-08-06 18:02:34] 843*2^1405522-1 is not prime. Res64: 556530D050A7D4BB Time : 0.0 sec. user=mdettweiler [2015-08-06 18:02:35] 917*2^1405522-1 is not prime. Res64: 35413E0E06FA2F1D Time : 0.0 sec. user=mdettweiler [2015-08-06 18:08:18] 983*2^1405522-1 is not prime. Res64: 5C740BB23CCE77EF Time : 0.0 sec. user=mdettweiler [2015-08-06 18:08:19] 1001*2^1405522-1 is not prime. Res64: CFF412284A67D97C Time : 0.0 sec. user=mdettweiler [2015-08-06 18:08:28] 609*2^1405523-1 is not prime. Res64: 373F734EB2476385 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:08:29] 699*2^1405523-1 is not prime. Res64: 1D684D9B21AF01F7 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:11:29] 783*2^1405523-1 is not prime. Res64: C92B3CF3A7FF91DC Time : 0.0 sec. user=mdettweiler [2015-08-06 18:11:29] 825*2^1405523-1 is not prime. Res64: AC033FF04C43A393 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:20:19] 861*2^1405523-1 is not prime. Res64: 069312752249FCD9 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:20:20] 789*2^1405524-1 is not prime. Res64: 0D3141DFC2CC3403 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:25:52] 825*2^1405524-1 is not prime. Res64: 17A91F001F88FF23 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:25:53] 873*2^1405524-1 is not prime. Res64: 9560C5AE53BD2746 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:26:06] 915*2^1405524-1 is not prime. Res64: C69A752A0B2902AD Time : 0.0 sec. user=mdettweiler [2015-08-06 18:26:07] 817*2^1405525-1 is not prime. Res64: CA84C5EB3F8BE035 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:29:09] 855*2^1405525-1 is not prime. Res64: B9C6BF5A0582FFC7 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:29:10] 895*2^1405525-1 is not prime. Res64: 0F61487D19871898 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:37:52] 961*2^1405525-1 is not prime. Res64: 0BF8851CF690EF12 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:37:53] 997*2^1405525-1 is not prime. Res64: 707729552CF594B8 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:43:21] 635*2^1405526-1 is not prime. Res64: BF7E2FD734415C98 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:43:21] 887*2^1405526-1 is not prime. Res64: AECCE823F49D1609 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:43:41] 917*2^1405526-1 is not prime. Res64: 745184D684899904 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:43:42] 981*2^1405526-1 is not prime. Res64: 6742612520217E84 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:46:38] 625*2^1405527-1 is not prime. Res64: DBED7D8C6A9DD3CD Time : 0.0 sec. user=mdettweiler [2015-08-06 18:46:39] 675*2^1405527-1 is not prime. Res64: F1575B5287A4D5A3 Time : 0.0 sec. user=mdettweiler [2015-08-06 18:55:24] 691*2^1405527-1 is not prime. Res64: FCA4014A151484BE Time : 0.0 sec. user=mdettweiler [2015-08-06 18:55:24] 795*2^1405527-1 is not prime. Res64: CA149508D86132C6 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:00:59] 805*2^1405527-1 is not prime. Res64: DD447CABB2468BB8 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:01:00] 829*2^1405527-1 is not prime. Res64: 07149803CE122FFA Time : 0.0 sec. user=mdettweiler [2015-08-06 19:01:10] 859*2^1405527-1 is not prime. Res64: 49674A03A0101343 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:01:11] 961*2^1405527-1 is not prime. Res64: 6F9A84EA5EDB298A Time : 0.0 sec. user=mdettweiler [2015-08-06 19:04:19] 657*2^1405528-1 is not prime. Res64: 92415E761B773557 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:04:20] 845*2^1405528-1 is not prime. Res64: AF8CEAF263BA4462 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:13:05] 849*2^1405528-1 is not prime. Res64: ED1FD3E015838CD5 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:13:05] 855*2^1405528-1 is not prime. Res64: 78F0C0C565CFE018 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:18:53] 947*2^1405528-1 is not prime. Res64: F81769C014828ED4 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:18:53] 675*2^1405529-1 is not prime. Res64: 4208AA6FD89CE721 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:19:03] 685*2^1405529-1 is not prime. Res64: A3DE7371C847CC14 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:19:03] 721*2^1405529-1 is not prime. Res64: C28C91F1EB7D7DEB Time : 0.0 sec. user=mdettweiler [2015-08-06 19:21:56] 727*2^1405529-1 is not prime. Res64: 84C84DDE177FADEB Time : 0.0 sec. user=mdettweiler [2015-08-06 19:21:56] 847*2^1405529-1 is not prime. Res64: F3E63D79B032FAA3 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:30:42] 861*2^1405529-1 is not prime. Res64: 89AFA14828179A6F Time : 0.0 sec. user=mdettweiler [2015-08-06 19:30:43] 889*2^1405529-1 is not prime. Res64: DDEB8F608FB72A2A Time : 0.0 sec. user=mdettweiler [2015-08-06 19:36:32] 611*2^1405530-1 is not prime. Res64: EB8CF864F2F73057 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:36:32] 949*2^1405529-1 is not prime. Res64: 2E822D41D7996C26 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:36:33] 707*2^1405530-1 is not prime. Res64: E5AB85FB792E15CE Time : 0.0 sec. user=mdettweiler [2015-08-06 19:36:33] 985*2^1405529-1 is not prime. Res64: 41C56BB6B6C414DF Time : 0.0 sec. user=mdettweiler [2015-08-06 19:39:32] 725*2^1405530-1 is not prime. Res64: 4C8F77B8195D1BC7 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:39:32] 797*2^1405530-1 is not prime. Res64: 1303037425C2E566 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:48:17] 905*2^1405530-1 is not prime. Res64: 1F3C84F65AC2118E Time : 0.0 sec. user=mdettweiler [2015-08-06 19:48:17] 693*2^1405531-1 is not prime. Res64: DD511F9F4E173F5D Time : 0.0 sec. user=mdettweiler [2015-08-06 19:54:02] 861*2^1405531-1 is not prime. Res64: 81936DF3EF4CACA5 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:54:02] 871*2^1405531-1 is not prime. Res64: 32264C460CCDBC4F Time : 0.0 sec. user=mdettweiler [2015-08-06 19:54:09] 775*2^1405531-1 is not prime. Res64: 0D9E6FC05BF41401 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:54:10] 829*2^1405531-1 is not prime. Res64: 2E244A50F92FAEF7 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:57:12] 665*2^1405532-1 is not prime. Res64: 518EC222396574A7 Time : 0.0 sec. user=mdettweiler [2015-08-06 19:57:12] 669*2^1405532-1 is not prime. Res64: 57C7C6EE6337FF55 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:05:54] 693*2^1405532-1 is not prime. Res64: 325144760B2D2929 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:05:54] 719*2^1405532-1 is not prime. Res64: A049093C5F349151 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:11:46] 777*2^1405532-1 is not prime. Res64: 8429A245F5183CDB Time : 0.0 sec. user=mdettweiler [2015-08-06 20:11:46] 909*2^1405532-1 is not prime. Res64: A4923A7CE9C642DD Time : 0.0 sec. user=mdettweiler [2015-08-06 20:11:46] 893*2^1405532-1 is not prime. Res64: C0DC1F880141521E Time : 0.0 sec. user=mdettweiler [2015-08-06 20:11:46] 923*2^1405532-1 is not prime. Res64: FCAA8C6AFA9B0069 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:14:58] 929*2^1405532-1 is not prime. Res64: 25328932EEE83B37 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:14:59] 983*2^1405532-1 is not prime. Res64: CD0F58DB9BB1937C Time : 0.0 sec. user=mdettweiler [2015-08-06 20:23:41] 625*2^1405533-1 is not prime. Res64: 2EBDD3FC26E9C3C6 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:23:41] 657*2^1405533-1 is not prime. Res64: A86BE3296D97B2C3 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:29:40] 919*2^1405533-1 is not prime. Res64: 215BDD819DCC2B1D Time : 0.0 sec. user=mdettweiler [2015-08-06 20:29:41] 937*2^1405533-1 is not prime. Res64: 0BFC2382BDC2ADDD Time : 0.0 sec. user=mdettweiler [2015-08-06 20:29:49] 819*2^1405533-1 is not prime. Res64: ACA4814F0EA34DB1 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:29:50] 885*2^1405533-1 is not prime. Res64: 0D688F458D75A859 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:33:03] 955*2^1405533-1 is not prime. Res64: C08CD00FB33EE6EB Time : 0.0 sec. user=mdettweiler [2015-08-06 20:33:03] 961*2^1405533-1 is not prime. Res64: FAD5C36E75463470 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:42:07] 663*2^1405534-1 is not prime. Res64: 4501DDA6D8B96148 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:42:07] 707*2^1405534-1 is not prime. Res64: C29CCFD4851D1091 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:47:53] 827*2^1405534-1 is not prime. Res64: 73E1C23664100BCC Time : 0.0 sec. user=mdettweiler [2015-08-06 20:47:53] 957*2^1405534-1 is not prime. Res64: F7CC6E68B8486A09 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:48:00] 603*2^1405535-1 is not prime. Res64: 999EB5B4393A4FE5 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:48:01] 753*2^1405535-1 is not prime. Res64: E5003B94BB45F902 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:51:17] 771*2^1405535-1 is not prime. Res64: 3116B0B5C787B360 Time : 0.0 sec. user=mdettweiler [2015-08-06 20:51:17] 789*2^1405535-1 is not prime. Res64: 63A065605071490B Time : 0.0 sec. user=mdettweiler [2015-08-06 21:00:17] 823*2^1405535-1 is not prime. Res64: 9EA3705435BB6E01 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:00:18] 913*2^1405535-1 is not prime. Res64: E9E55B81DE2CF452 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:06:01] 939*2^1405535-1 is not prime. Res64: 0FB63AC7B0232A7F Time : 0.0 sec. user=mdettweiler [2015-08-06 21:06:02] 963*2^1405535-1 is not prime. Res64: 806A4D9EA2273B46 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:06:07] 609*2^1405536-1 is not prime. Res64: 024F8FD1BA828840 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:06:08] 615*2^1405536-1 is not prime. Res64: 35B01DD1B7E1A218 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:09:17] 623*2^1405536-1 is not prime. Res64: 145F84E9F03A6DB9 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:09:17] 675*2^1405536-1 is not prime. Res64: E0EAD51E855F3A0D Time : 0.0 sec. user=mdettweiler [2015-08-06 21:18:47] 725*2^1405536-1 is not prime. Res64: D83B1C8F9BB205C2 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:18:47] 735*2^1405536-1 is not prime. Res64: B43691AF35BD7B06 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:25:15] 849*2^1405536-1 is not prime. Res64: 74E5FD566BF8D6B9 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:25:15] 867*2^1405536-1 is not prime. Res64: 37CAAEEBBDBE33D0 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:25:20] 825*2^1405536-1 is not prime. Res64: 6BF463CBFB6D7093 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:25:20] 843*2^1405536-1 is not prime. Res64: 5F1F8F175DFE75EC Time : 0.0 sec. user=mdettweiler [2015-08-06 21:28:10] 947*2^1405536-1 is not prime. Res64: 337021DDC84813D6 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:28:10] 609*2^1405537-1 is not prime. Res64: 3E0136615546D402 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:37:51] 619*2^1405537-1 is not prime. Res64: B013D91DA121AB53 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:37:51] 645*2^1405537-1 is not prime. Res64: 3A539BBBEA72CF02 Time : 0.0 sec. user=mdettweiler [2015-08-06 21:43:58] 649*2^1405537-1 is not prime. Res64: 08C988D7F8BBA57F Time : 0.0 sec. user=mdettweiler [2015-08-06 21:43:58] 691*2^1405537-1 is not prime. Res64: 52CAF0E7EA1F35BC Time : 0.0 sec. user=mdettweiler [2015-08-06 21:44:02] 751*2^1405537-1 is not prime. Res64: 1AF0F764AEE8555B Time : 0.0 sec. user=mdettweiler [2015-08-06 21:44:03] 895*2^1405537-1 is not prime. Res64: 9E7DAC7A4B97EE1C Time : 0.0 sec. user=mdettweiler [2015-08-06 21:46:58] 897*2^1405537-1 is not prime. Res64: E61327425D06909B Time : 0.0 sec. user=mdettweiler [2015-08-06 21:46:59] 931*2^1405537-1 is not prime. Res64: 3D285853A514EEBB Time : 0.0 sec. user=mdettweiler [2015-08-06 21:56:37] 981*2^1405537-1 is not prime. Res64: 2069D1F496D3027B Time : 0.0 sec. user=mdettweiler [2015-08-06 21:56:37] 671*2^1405538-1 is not prime. Res64: A1D678056D288721 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:02:50] 837*2^1405538-1 is not prime. Res64: 09304CE50B346DCD Time : 0.0 sec. user=mdettweiler [2015-08-06 22:02:51] 845*2^1405538-1 is not prime. Res64: F38C7BF129BE8145 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:03:01] 773*2^1405538-1 is not prime. Res64: AF96198B08AA4870 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:03:02] 825*2^1405538-1 is not prime. Res64: 29D838EB54B8476B Time : 0.0 sec. user=mdettweiler [2015-08-06 22:06:02] 945*2^1405538-1 is not prime. Res64: 8ECA2C1283C6877D Time : 0.0 sec. user=mdettweiler [2015-08-06 22:06:03] 615*2^1405539-1 is not prime. Res64: 19699CEA09748B68 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:15:33] 625*2^1405539-1 is not prime. Res64: 9F2A691028C8767A Time : 0.0 sec. user=mdettweiler [2015-08-06 22:15:33] 691*2^1405539-1 is not prime. Res64: 1B4B31B22A44BD80 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:21:43] 705*2^1405539-1 is not prime. Res64: 632A2A3AA690377A Time : 0.0 sec. user=mdettweiler [2015-08-06 22:21:43] 735*2^1405539-1 is not prime. Res64: 4A11D93174F8AE8B Time : 0.0 sec. user=mdettweiler [2015-08-06 22:21:51] 973*2^1405539-1 is not prime. Res64: 6EB59A6956ACD083 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:21:52] 603*2^1405540-1 is not prime. Res64: E8493F65E5064F08 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:24:59] 629*2^1405540-1 is not prime. Res64: E29A4E58C93027FC Time : 0.0 sec. user=mdettweiler [2015-08-06 22:24:59] 675*2^1405540-1 is not prime. Res64: 7E9075298D11D13E Time : 0.0 sec. user=mdettweiler [2015-08-06 22:35:12] 677*2^1405540-1 is not prime. Res64: 7A03C127161B6EC3 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:35:13] 843*2^1405540-1 is not prime. Res64: 8E9CAFFA5F9DA075 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:41:02] 923*2^1405540-1 is not prime. Res64: 701FB53EE1D65235 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:41:03] 691*2^1405541-1 is not prime. Res64: B032EE2224946FB8 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:41:20] 657*2^1405542-1 is not prime. Res64: 8B047C8B530D6711 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:41:20] 717*2^1405542-1 is not prime. Res64: E17F9A95255D7F7C Time : 0.0 sec. user=mdettweiler [2015-08-06 22:43:49] 731*2^1405542-1 is not prime. Res64: 367C61F2255132E2 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:43:49] 741*2^1405542-1 is not prime. Res64: 4282109F8252BC47 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:53:15] 923*2^1405542-1 is not prime. Res64: 5D17F64A0B644C18 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:53:16] 941*2^1405542-1 is not prime. Res64: CE2AB82503478D50 Time : 0.0 sec. user=mdettweiler [2015-08-06 22:59:09] 945*2^1405542-1 is not prime. Res64: 239B42C38124DEFE Time : 0.0 sec. user=mdettweiler [2015-08-06 22:59:09] 951*2^1405542-1 is not prime. Res64: 97C7B3B96D9E05BB Time : 0.0 sec. user=mdettweiler [2015-08-06 22:59:26] 619*2^1405543-1 is not prime. Res64: F5CF6C2D767AF57C Time : 0.0 sec. user=mdettweiler [2015-08-06 22:59:26] 679*2^1405543-1 is not prime. Res64: 6B4C3E4D44BDED93 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:02:17] 693*2^1405543-1 is not prime. Res64: A1D5F7A8A9A645CF Time : 0.0 sec. user=mdettweiler [2015-08-06 23:02:18] 895*2^1405543-1 is not prime. Res64: ADADD000D9717F3B Time : 0.0 sec. user=mdettweiler [2015-08-06 23:12:00] 951*2^1405543-1 is not prime. Res64: 75C5F9BCA61ED3E1 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:12:01] 609*2^1405544-1 is not prime. Res64: 4BEC906F1EDFD0A8 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:17:58] 663*2^1405544-1 is not prime. Res64: 43D19528C9AB90ED Time : 0.0 sec. user=mdettweiler [2015-08-06 23:17:59] 789*2^1405544-1 is not prime. Res64: 2A81E16FC7DE6CC5 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:18:16] 957*2^1405544-1 is not prime. Res64: 5F97DE31E30437C2 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:18:16] 983*2^1405544-1 is not prime. Res64: 2746D9FEF99D7A4D Time : 0.0 sec. user=mdettweiler [2015-08-06 23:21:04] 995*2^1405544-1 is not prime. Res64: 8E4348E4F5A84F81 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:21:04] 727*2^1405545-1 is not prime. Res64: B3B2D2E76D3AA994 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:30:47] 751*2^1405545-1 is not prime. Res64: FED040EC4737799A Time : 0.0 sec. user=mdettweiler [2015-08-06 23:30:47] 837*2^1405545-1 is not prime. Res64: 681FC58780EDA7FC Time : 0.0 sec. user=mdettweiler [2015-08-06 23:36:21] 937*2^1405545-1 is not prime. Res64: 40B9CFFEFB2B16CB Time : 0.0 sec. user=mdettweiler [2015-08-06 23:36:21] 951*2^1405545-1 is not prime. Res64: 1206CE3F060583F1 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:37:01] 647*2^1405546-1 is not prime. Res64: CB2722DE7AD48A5A Time : 0.0 sec. user=mdettweiler [2015-08-06 23:37:01] 873*2^1405546-1 is not prime. Res64: 983F1BECF4F7D627 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:39:54] 971*2^1405546-1 is not prime. Res64: 148ACAB902D2D8CC Time : 0.0 sec. user=mdettweiler [2015-08-06 23:39:54] 619*2^1405547-1 is not prime. Res64: 9BF002FAC508D605 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:49:21] 621*2^1405547-1 is not prime. Res64: DADF649E8B229F44 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:49:21] 693*2^1405547-1 is not prime. Res64: 9B547F4C2A8A3388 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:54:50] 753*2^1405547-1 is not prime. Res64: 641DEB11F8CB5814 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:54:50] 903*2^1405547-1 is not prime. Res64: B5D08EB3A18392CB Time : 0.0 sec. user=mdettweiler [2015-08-06 23:55:39] 825*2^1405548-1 is not prime. Res64: 70A3D665201210CC Time : 0.0 sec. user=mdettweiler [2015-08-06 23:55:40] 839*2^1405548-1 is not prime. Res64: 86A5C84D57EBDE85 Time : 0.0 sec. user=mdettweiler [2015-08-06 23:58:37] 887*2^1405548-1 is not prime. Res64: FD8B639716B0C55C Time : 0.0 sec. user=mdettweiler [2015-08-06 23:58:37] 927*2^1405548-1 is not prime. Res64: C8339ECF214066E2 Time : 0.0 sec.