user=mdettweiler [2015-07-12 00:08:57] 941*2^1402766-1 is not prime. Res64: 5A02470456C375A6 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:08:57] 965*2^1402766-1 is not prime. Res64: E79FE21FC53C4590 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:13:57] 649*2^1402767-1 is not prime. Res64: 7BED85D0C7C07EBD Time : 0.0 sec. user=mdettweiler [2015-07-12 00:13:57] 669*2^1402767-1 is not prime. Res64: D93BB0EE8B857088 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:17:33] 691*2^1402767-1 is not prime. Res64: 4D747D7BD0C09D53 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:17:34] 741*2^1402767-1 is not prime. Res64: 9CEF1F1C98985F27 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:26:40] 775*2^1402767-1 is not prime. Res64: A298C54192634365 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:26:40] 781*2^1402767-1 is not prime. Res64: C2348838494CBA67 Time : 0.0 sec. user=juhehe [2015-07-12 00:31:43] 993*2^1402766-1 is not prime. Res64: 451E8A0EE9C6AF0B Time : 0.0 sec. user=mdettweiler [2015-07-12 00:31:45] 891*2^1402767-1 is not prime. Res64: 990E926134983C82 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:31:45] 687*2^1402768-1 is not prime. Res64: FA22ECEEB5DD110D Time : 0.0 sec. user=mdettweiler [2015-07-12 00:35:36] 723*2^1402768-1 is not prime. Res64: 51947B6DF393DBE4 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:35:36] 743*2^1402768-1 is not prime. Res64: AE0D3A8820AE0FAA Time : 0.0 sec. user=mdettweiler [2015-07-12 00:44:46] 755*2^1402768-1 is not prime. Res64: D34E43F5D4CC96CC Time : 0.0 sec. user=mdettweiler [2015-07-12 00:44:46] 777*2^1402768-1 is not prime. Res64: 145C2AE5F06DAD35 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:49:40] 797*2^1402768-1 is not prime. Res64: 8E3CDE79A8368852 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:49:41] 819*2^1402768-1 is not prime. Res64: 0852897596CA8A24 Time : 0.0 sec. user=mdettweiler [2015-07-12 00:53:27] 869*2^1402768-1 is not prime. Res64: C8D40444AB00088A Time : 0.0 sec. user=mdettweiler [2015-07-12 00:53:27] 899*2^1402768-1 is not prime. Res64: 90C31FFCB1D07D7E Time : 0.0 sec. user=mdettweiler [2015-07-12 01:02:43] 957*2^1402768-1 is not prime. Res64: B595957006FA9233 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:02:44] 771*2^1402769-1 is not prime. Res64: E11E02D54E6C4A25 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:07:41] 841*2^1402769-1 is not prime. Res64: 21BE6ADE6062CFCD Time : 0.0 sec. user=mdettweiler [2015-07-12 01:07:41] 879*2^1402769-1 is not prime. Res64: 17F9F46E16325899 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:11:25] 635*2^1402770-1 is not prime. Res64: 282202A063617D5B Time : 0.0 sec. user=mdettweiler [2015-07-12 01:11:25] 647*2^1402770-1 is not prime. Res64: E09F1847E8AC8A4E Time : 0.0 sec. user=mdettweiler [2015-07-12 01:21:09] 657*2^1402770-1 is not prime. Res64: 0010F1A32221C9F3 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:21:10] 681*2^1402770-1 is not prime. Res64: 3D6F86E5348BE1C2 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:26:00] 713*2^1402770-1 is not prime. Res64: AA3DEC1A165E967E Time : 0.0 sec. user=mdettweiler [2015-07-12 01:26:00] 851*2^1402770-1 is not prime. Res64: 4BE6EF433C6CFD0F Time : 0.0 sec. user=mdettweiler [2015-07-12 01:29:36] 631*2^1402771-1 is not prime. Res64: 77739A7BEAF2675B Time : 0.0 sec. user=mdettweiler [2015-07-12 01:29:37] 651*2^1402771-1 is not prime. Res64: F3CD532C0D271558 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:39:11] 705*2^1402771-1 is not prime. Res64: 1821EC95560050C4 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:39:11] 769*2^1402771-1 is not prime. Res64: 76CA1EEEFFC48B73 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:43:51] 783*2^1402771-1 is not prime. Res64: 9503A2179EC10732 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:43:51] 805*2^1402771-1 is not prime. Res64: CD77C57E36C0D015 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:47:29] 973*2^1402771-1 is not prime. Res64: B0F72074692ABE05 Time : 0.0 sec. user=mdettweiler [2015-07-12 01:47:29] 725*2^1402772-1 is not prime. Res64: 7460EE4DC6C3B534 Time : 0.0 sec. user=juhehe [2015-07-12 01:49:07] 1001*2^1402770-1 is not prime. Res64: EF7A9E8CD3A3082B Time : 0.0 sec. user=mdettweiler [2015-07-12 01:56:36] 743*2^1402772-1 is not prime. Res64: 0F16DE52DDF8097A Time : 0.0 sec. user=mdettweiler [2015-07-12 01:56:37] 899*2^1402772-1 is not prime. Res64: 815D2A09F56C15A3 Time : 0.0 sec. user=mdettweiler [2015-07-12 02:01:13] 935*2^1402772-1 is not prime. Res64: 85BB2A34ACA1DFDB Time : 0.0 sec. user=mdettweiler [2015-07-12 02:01:14] 639*2^1402773-1 is not prime. Res64: AA94ED3CB921D67C Time : 0.0 sec. user=mdettweiler [2015-07-12 02:04:51] 649*2^1402773-1 is not prime. Res64: 8700CFB6DFBF5BC4 Time : 0.0 sec. user=mdettweiler [2015-07-12 02:04:53] 751*2^1402773-1 is not prime. Res64: 0B3A282D862430BA Time : 0.0 sec. user=mdettweiler [2015-07-12 02:14:00] 795*2^1402773-1 is not prime. Res64: 1491D616F208E6FD Time : 0.0 sec. user=mdettweiler [2015-07-12 02:14:00] 955*2^1402773-1 is not prime. Res64: A1157DFABA0ABF4A Time : 0.0 sec. user=mdettweiler [2015-07-12 02:18:41] 987*2^1402773-1 is not prime. Res64: D608FD674BCB34F5 Time : 0.0 sec. user=mdettweiler [2015-07-12 02:18:41] 621*2^1402774-1 is not prime. Res64: 34D707165100DF5D Time : 0.0 sec. user=mdettweiler [2015-07-12 02:22:20] 671*2^1402774-1 is not prime. Res64: 84D86658172530BC Time : 0.0 sec. user=mdettweiler [2015-07-12 02:22:20] 723*2^1402774-1 is not prime. Res64: 653BA200FD76C603 Time : 0.0 sec. user=juhehe [2015-07-12 02:27:41] 765*2^1402773-1 is not prime. Res64: EB57FE660CB25AB6 Time : 0.0 sec. user=mdettweiler [2015-07-12 02:31:25] 737*2^1402774-1 is not prime. Res64: 5CBA19A12C10EC3E Time : 0.0 sec. user=mdettweiler [2015-07-12 02:31:26] 825*2^1402774-1 is not prime. Res64: 8B692FC4A3F53555 Time : 0.0 sec. user=mdettweiler [2015-07-12 02:36:03] 987*2^1402774-1 is not prime. Res64: CD98D35A7B4D1004 Time : 0.0 sec. user=mdettweiler [2015-07-12 02:36:04] 669*2^1402775-1 is not prime. Res64: 9F71F33ED8B85A04 Time : 0.0 sec. user=mdettweiler [2015-07-12 02:39:45] 763*2^1402775-1 is not prime. Res64: 60FB37994A6EC63F Time : 0.0 sec. user=mdettweiler [2015-07-12 02:39:45] 775*2^1402775-1 is not prime. Res64: 092568826829FDCC Time : 0.0 sec. user=mdettweiler [2015-07-12 02:49:00] 831*2^1402775-1 is not prime. Res64: 9A42E71BF7654BAD Time : 0.0 sec. user=mdettweiler [2015-07-12 02:49:00] 859*2^1402775-1 is not prime. Res64: 68C1B359320158EF Time : 0.0 sec. user=mdettweiler [2015-07-12 02:53:31] 889*2^1402775-1 is not prime. Res64: 303AFB8C16623150 Time : 0.0 sec. user=mdettweiler [2015-07-12 02:53:32] 915*2^1402775-1 is not prime. Res64: 04342A6012C603ED Time : 0.0 sec. user=mdettweiler [2015-07-12 02:57:13] 985*2^1402775-1 is not prime. Res64: C4B45CC41CA14035 Time : 0.0 sec. user=mdettweiler [2015-07-12 02:57:14] 717*2^1402776-1 is not prime. Res64: 24D427CC0E516C65 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:06:22] 737*2^1402776-1 is not prime. Res64: 6298022ACD5CA98B Time : 0.0 sec. user=mdettweiler [2015-07-12 03:06:22] 759*2^1402776-1 is not prime. Res64: 1DB1AD0D27F285E3 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:10:53] 905*2^1402776-1 is not prime. Res64: BD1FA7648A94C7C9 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:10:53] 947*2^1402776-1 is not prime. Res64: 2E60777FB976F1DA Time : 0.0 sec. user=mdettweiler [2015-07-12 03:14:34] 957*2^1402776-1 is not prime. Res64: DA0665CA5BC3E7E1 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:14:35] 983*2^1402776-1 is not prime. Res64: E4BF53F8A415DB43 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:23:47] 999*2^1402776-1 is not prime. Res64: 283455E5578E56E3 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:23:47] 625*2^1402777-1 is not prime. Res64: 3B6469B2EC9A7256 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:28:15] 849*2^1402777-1 is not prime. Res64: 5CDAC5608DBC34D8 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:28:17] 885*2^1402777-1 is not prime. Res64: 4AC7FAF3A520884C Time : 0.0 sec. user=mdettweiler [2015-07-12 03:31:59] 955*2^1402777-1 is not prime. Res64: 1CDE19606F87390A Time : 0.0 sec. user=mdettweiler [2015-07-12 03:32:00] 997*2^1402777-1 is not prime. Res64: 75A57C6D28BA16EA Time : 0.0 sec. user=mdettweiler [2015-07-12 03:41:10] 605*2^1402778-1 is not prime. Res64: D49C6B0A04C35128 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:41:12] 617*2^1402778-1 is not prime. Res64: AF96789263C86987 Time : 0.0 sec. user=juhehe [2015-07-12 03:45:35] 807*2^1402777-1 is not prime. Res64: FEB52084815E20B4 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:45:42] 833*2^1402778-1 is not prime. Res64: 7A2B605B30606A85 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:45:44] 951*2^1402778-1 is not prime. Res64: 08E2CBA0926A512F Time : 0.0 sec. user=mdettweiler [2015-07-12 03:49:27] 957*2^1402778-1 is not prime. Res64: D0168AE1AC7DC53C Time : 0.0 sec. user=mdettweiler [2015-07-12 03:49:28] 1001*2^1402778-1 is not prime. Res64: AE90EBED2E0D1C4D Time : 0.0 sec. user=mdettweiler [2015-07-12 03:58:46] 619*2^1402779-1 is not prime. Res64: D39AA1F690CE8079 Time : 0.0 sec. user=mdettweiler [2015-07-12 03:58:47] 621*2^1402779-1 is not prime. Res64: F71DB68C00D0F718 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:03:17] 741*2^1402779-1 is not prime. Res64: 65344B8CA657F3B9 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:03:18] 823*2^1402779-1 is not prime. Res64: 10AD702214B696F3 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:07:07] 969*2^1402779-1 is not prime. Res64: 8FD7CA5C5AE0219B Time : 0.0 sec. user=mdettweiler [2015-07-12 04:07:08] 653*2^1402780-1 is not prime. Res64: F8644289E4FD38FA Time : 0.0 sec. user=mdettweiler [2015-07-12 04:16:15] 875*2^1402780-1 is not prime. Res64: 3C87CF60AB41AB65 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:16:15] 933*2^1402780-1 is not prime. Res64: 23384366DDF2D5B7 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:20:52] 889*2^1402781-1 is not prime. Res64: 22A9BA6638EF7F2B Time : 0.0 sec. user=mdettweiler [2015-07-12 04:20:53] 711*2^1402782-1 is not prime. Res64: 88E5133319A95582 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:24:41] 717*2^1402782-1 is not prime. Res64: B20188B3676BD37B Time : 0.0 sec. user=mdettweiler [2015-07-12 04:24:41] 863*2^1402782-1 is not prime. Res64: E34FBA76486A74D5 Time : 0.0 sec. user=juhehe [2015-07-12 04:25:22] 723*2^1402779-1 is not prime. Res64: 5ADFEEB454482798 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:33:47] 921*2^1402782-1 is not prime. Res64: D2FAB01193161466 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:33:47] 793*2^1402783-1 is not prime. Res64: 5002306E799EC23E Time : 0.0 sec. user=mdettweiler [2015-07-12 04:38:30] 853*2^1402783-1 is not prime. Res64: 6D48567C892254D8 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:38:30] 871*2^1402783-1 is not prime. Res64: 5A6A6208376DC538 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:42:21] 617*2^1402784-1 is not prime. Res64: 18BDB27E88416CC9 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:42:21] 635*2^1402784-1 is not prime. Res64: 1FFD7EF4929C7C6E Time : 0.0 sec. user=mdettweiler [2015-07-12 04:54:08] 675*2^1402784-1 is not prime. Res64: AAD138E0F65BAB7E Time : 0.0 sec. user=mdettweiler [2015-07-12 04:54:08] 743*2^1402784-1 is not prime. Res64: CA62FD43E4B972D4 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:56:38] 827*2^1402784-1 is not prime. Res64: 437E73D0D468C889 Time : 0.0 sec. user=mdettweiler [2015-07-12 04:56:38] 945*2^1402784-1 is not prime. Res64: 4F26880E48D43807 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:00:29] 959*2^1402784-1 is not prime. Res64: 3A45A61A30885523 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:00:29] 847*2^1402785-1 is not prime. Res64: EE11DF1906DA0EF4 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:11:44] 885*2^1402785-1 is not prime. Res64: 14DFB8618D61EC13 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:11:44] 919*2^1402785-1 is not prime. Res64: 9EEA9A7FB9C0E1FF Time : 0.0 sec. user=mdettweiler [2015-07-12 05:14:11] 937*2^1402785-1 is not prime. Res64: 55428E96CC7257E4 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:14:11] 623*2^1402786-1 is not prime. Res64: 141C43F7B2C6EA72 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:18:01] 635*2^1402786-1 is not prime. Res64: 41F2E207B02D4444 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:18:02] 821*2^1402786-1 is not prime. Res64: FF33881E94F897FB Time : 0.0 sec. user=mdettweiler [2015-07-12 05:29:18] 975*2^1402786-1 is not prime. Res64: 48B7EBDD87758BBA Time : 0.0 sec. user=mdettweiler [2015-07-12 05:29:19] 983*2^1402786-1 is not prime. Res64: 7FFAF6EFD9599EA4 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:31:50] 775*2^1402787-1 is not prime. Res64: AF5D95A3C9FF29CB Time : 0.0 sec. user=mdettweiler [2015-07-12 05:31:50] 799*2^1402787-1 is not prime. Res64: 2470E18C09BB2295 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:35:37] 963*2^1402787-1 is not prime. Res64: 632652956675204A Time : 0.0 sec. user=mdettweiler [2015-07-12 05:35:38] 665*2^1402788-1 is not prime. Res64: 1702445CAAABDA7E Time : 0.0 sec. user=juhehe [2015-07-12 05:45:00] 941*2^1402786-1 is not prime. Res64: A979D6EFBBEB0B25 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:46:50] 723*2^1402788-1 is not prime. Res64: F9F0A83BC4CC15AB Time : 0.0 sec. user=mdettweiler [2015-07-12 05:46:50] 725*2^1402788-1 is not prime. Res64: CECD6284BA873D14 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:49:21] 753*2^1402788-1 is not prime. Res64: 9D76BFB1DBF1D33B Time : 0.0 sec. user=mdettweiler [2015-07-12 05:49:21] 905*2^1402788-1 is not prime. Res64: E1A2305844ADC61F Time : 0.0 sec. user=mdettweiler [2015-07-12 05:53:09] 969*2^1402788-1 is not prime. Res64: D31BAFF1B68FFB95 Time : 0.0 sec. user=mdettweiler [2015-07-12 05:53:10] 639*2^1402789-1 is not prime. Res64: 907B44F5FB477F1C Time : 0.0 sec. user=mdettweiler [2015-07-12 06:04:23] 741*2^1402789-1 is not prime. Res64: 0A886D0C8078EC74 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:04:24] 757*2^1402789-1 is not prime. Res64: F07F90A84BE03FBF Time : 0.0 sec. user=mdettweiler [2015-07-12 06:06:53] 829*2^1402789-1 is not prime. Res64: FB4575925FEA114E Time : 0.0 sec. user=mdettweiler [2015-07-12 06:06:54] 861*2^1402789-1 is not prime. Res64: A746EC9E9E47F330 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:10:41] 885*2^1402789-1 is not prime. Res64: 818C2A8C406D7784 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:10:42] 951*2^1402789-1 is not prime. Res64: 3A0ED5BCB8DC1187 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:22:24] 955*2^1402789-1 is not prime. Res64: B8582B85AAE163F3 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:22:24] 707*2^1402790-1 is not prime. Res64: D92ADEFA535F4AD1 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:24:27] 741*2^1402790-1 is not prime. Res64: BFB355C3C0120F9F Time : 0.0 sec. user=mdettweiler [2015-07-12 06:24:27] 753*2^1402790-1 is not prime. Res64: 203153A50AD016A9 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:28:16] 801*2^1402790-1 is not prime. Res64: D4A73C1F468FCD93 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:28:16] 825*2^1402790-1 is not prime. Res64: FC5295CC20B4137C Time : 0.0 sec. user=mdettweiler [2015-07-12 06:39:55] 857*2^1402790-1 is not prime. Res64: 853B16C127BE5DA0 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:39:55] 875*2^1402790-1 is not prime. Res64: 7B418365DFAA4F01 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:41:54] 781*2^1402791-1 is not prime. Res64: D124233741195F99 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:41:54] 783*2^1402791-1 is not prime. Res64: ED4996077C686E0D Time : 0.0 sec. user=mdettweiler [2015-07-12 06:45:39] 871*2^1402791-1 is not prime. Res64: 15E600BBFB0D62F8 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:45:39] 945*2^1402791-1 is not prime. Res64: BC8098BD3A26E947 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:57:14] 999*2^1402791-1 is not prime. Res64: 885E41EC4D693FCD Time : 0.0 sec. user=mdettweiler [2015-07-12 06:57:15] 609*2^1402792-1 is not prime. Res64: FF60B61F37802815 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:59:14] 687*2^1402792-1 is not prime. Res64: BC2E50BBC40ADCE4 Time : 0.0 sec. user=mdettweiler [2015-07-12 06:59:14] 827*2^1402792-1 is not prime. Res64: 57615CAAA4F18FF9 Time : 0.0 sec. user=juhehe [2015-07-12 07:02:49] 693*2^1402791-1 is not prime. Res64: 3B069F38E0EE1AE9 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:03:01] 855*2^1402792-1 is not prime. Res64: 53ADC87DF3F8BA04 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:03:02] 915*2^1402792-1 is not prime. Res64: E6F2BDE6EE954F18 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:14:35] 939*2^1402792-1 is not prime. Res64: E9FA3BA9119B6D95 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:14:35] 615*2^1402793-1 is not prime. Res64: 49CD2A1E210739A1 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:16:33] 685*2^1402793-1 is not prime. Res64: 1F7403A32F00B2BE Time : 0.0 sec. user=mdettweiler [2015-07-12 07:16:33] 759*2^1402793-1 is not prime. Res64: 37A6E29839676A50 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:20:26] 897*2^1402793-1 is not prime. Res64: D7A0738F9E79D060 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:20:26] 901*2^1402793-1 is not prime. Res64: B2D4A00B568F14F5 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:31:58] 695*2^1402794-1 is not prime. Res64: E062DB2EB359AEA8 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:31:59] 705*2^1402794-1 is not prime. Res64: F372C09EC699EB35 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:33:52] 725*2^1402794-1 is not prime. Res64: 4306BD61E944937E Time : 0.0 sec. user=mdettweiler [2015-07-12 07:33:52] 747*2^1402794-1 is not prime. Res64: 59B82FAE76CC3F14 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:37:46] 803*2^1402794-1 is not prime. Res64: CD14F194B33E4388 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:37:46] 815*2^1402794-1 is not prime. Res64: 2C64A7264096A1AA Time : 0.0 sec. user=juhehe [2015-07-12 07:41:40] 939*2^1402793-1 is not prime. Res64: 2C8EF3D92E7D4F32 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:49:20] 873*2^1402794-1 is not prime. Res64: 5DE0923741591CD6 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:49:20] 891*2^1402794-1 is not prime. Res64: 08C1B9DAA40B0251 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:51:11] 1001*2^1402794-1 is not prime. Res64: A5995B9B424EB0C4 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:51:12] 601*2^1402795-1 is not prime. Res64: D210CCB9ECD912C5 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:55:07] 801*2^1402795-1 is not prime. Res64: F3CEEE001E4F3914 Time : 0.0 sec. user=mdettweiler [2015-07-12 07:55:07] 843*2^1402795-1 is not prime. Res64: 657F21794897C512 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:06:41] 629*2^1402796-1 is not prime. Res64: C52FE868B0F96E52 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:06:42] 633*2^1402796-1 is not prime. Res64: 051ABBB5921F6472 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:08:35] 657*2^1402796-1 is not prime. Res64: 717C6900E1628CB8 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:08:36] 707*2^1402796-1 is not prime. Res64: FD5A361CD0B7B70A Time : 0.0 sec. user=mdettweiler [2015-07-12 08:12:26] 759*2^1402796-1 is not prime. Res64: DCD823CA0AD9C69D Time : 0.0 sec. user=mdettweiler [2015-07-12 08:12:27] 825*2^1402796-1 is not prime. Res64: FB6E4F1856712857 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:24:02] 867*2^1402796-1 is not prime. Res64: 7151719E9C1C587E Time : 0.0 sec. user=mdettweiler [2015-07-12 08:24:03] 987*2^1402796-1 is not prime. Res64: 7C21702B04426320 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:25:54] 747*2^1402797-1 is not prime. Res64: FAE1B2A4794DB8FC Time : 0.0 sec. user=mdettweiler [2015-07-12 08:25:54] 871*2^1402797-1 is not prime. Res64: 03C6647976E51E02 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:29:50] 621*2^1402798-1 is not prime. Res64: A166AE4CA03EAB48 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:29:50] 713*2^1402798-1 is not prime. Res64: 64945DABF2EBE8E4 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:41:22] 867*2^1402798-1 is not prime. Res64: FBB5B7F8C4065FF0 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:41:23] 891*2^1402798-1 is not prime. Res64: 802AD192293AED7A Time : 0.0 sec. user=mdettweiler [2015-07-12 08:43:14] 923*2^1402798-1 is not prime. Res64: A12192FD2ABDFFF2 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:43:14] 745*2^1402799-1 is not prime. Res64: D772AAAD7B520F62 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:47:11] 771*2^1402799-1 is not prime. Res64: 454903BBD1D2D9A4 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:47:11] 799*2^1402799-1 is not prime. Res64: 84000DE75A575288 Time : 0.0 sec. user=mdettweiler [2015-07-12 08:58:42] 955*2^1402799-1 is not prime. Res64: 6F0B05012A14816C Time : 0.0 sec. user=mdettweiler [2015-07-12 08:58:42] 633*2^1402800-1 is not prime. Res64: 739638BECE8A33AF Time : 0.0 sec. user=juhehe [2015-07-12 08:59:20] 843*2^1402798-1 is not prime. Res64: 701F9FFE2FCBE5A4 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:00:35] 699*2^1402800-1 is not prime. Res64: 819ABC06237ED24B Time : 0.0 sec. user=mdettweiler [2015-07-12 09:00:36] 759*2^1402800-1 is not prime. Res64: FDA5A7F4AA6BAD00 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:04:32] 839*2^1402800-1 is not prime. Res64: E875A76EBD2140A8 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:04:36] 867*2^1402800-1 is not prime. Res64: 149D2453AE21D263 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:16:04] 887*2^1402800-1 is not prime. Res64: 231CF477F50BBA3D Time : 0.0 sec. user=mdettweiler [2015-07-12 09:16:05] 915*2^1402800-1 is not prime. Res64: 99EEBD55E38354CD Time : 0.0 sec. user=mdettweiler [2015-07-12 09:17:58] 819*2^1402801-1 is not prime. Res64: D120196B35D1D31D Time : 0.0 sec. user=mdettweiler [2015-07-12 09:17:59] 861*2^1402801-1 is not prime. Res64: 224CB58F0889925E Time : 0.0 sec. user=mdettweiler [2015-07-12 09:22:30] 867*2^1402801-1 is not prime. Res64: 2173AE5C24D6E394 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:22:31] 999*2^1402801-1 is not prime. Res64: 8C1F64C4E6A168FA Time : 0.0 sec. user=mdettweiler [2015-07-12 09:33:24] 603*2^1402802-1 is not prime. Res64: 468219C4B26B57AC Time : 0.0 sec. user=mdettweiler [2015-07-12 09:33:24] 635*2^1402802-1 is not prime. Res64: D6E9099527935B7F Time : 0.0 sec. user=mdettweiler [2015-07-12 09:35:17] 767*2^1402802-1 is not prime. Res64: 2EA0B4FAEC92DE70 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:35:18] 843*2^1402802-1 is not prime. Res64: 46EE2748A9636454 Time : 0.0 sec. user=juhehe [2015-07-12 09:37:52] 705*2^1402801-1 is not prime. Res64: 8C86D8DCD4CA3D9F Time : 0.0 sec. user=mdettweiler [2015-07-12 09:39:50] 953*2^1402802-1 is not prime. Res64: 967C0C402919D432 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:39:51] 995*2^1402802-1 is not prime. Res64: 450991BD4A9F6DC8 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:50:45] 613*2^1402803-1 is not prime. Res64: A9E552B1ACA91CBE Time : 0.0 sec. user=mdettweiler [2015-07-12 09:50:46] 639*2^1402803-1 is not prime. Res64: EDDBD4DA20285107 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:52:38] 679*2^1402803-1 is not prime. Res64: ED1B5DCBD1A86DF3 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:52:38] 735*2^1402803-1 is not prime. Res64: 8248EFAF44D711D6 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:57:10] 789*2^1402803-1 is not prime. Res64: 3842E5217B6035A7 Time : 0.0 sec. user=mdettweiler [2015-07-12 09:57:11] 805*2^1402803-1 is not prime. Res64: 7677F40085781B90 Time : 0.0 sec. user=S_K_ [2015-07-12 10:07:57] 985*2^1402795-1 is not prime. Res64: 6EB1DC0269E14D4D Time : 0.0 sec. user=mdettweiler [2015-07-12 10:08:05] 955*2^1402803-1 is not prime. Res64: D193BCA6BE21708A Time : 0.0 sec. user=mdettweiler [2015-07-12 10:08:05] 961*2^1402803-1 is not prime. Res64: 95642C7D649DB569 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:09:57] 963*2^1402803-1 is not prime. Res64: D304B2B2165EE2E5 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:09:57] 991*2^1402803-1 is not prime. Res64: 4A78D3FAA4849F23 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:14:31] 609*2^1402804-1 is not prime. Res64: F70E4C414F9312E1 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:14:31] 863*2^1402804-1 is not prime. Res64: 54657E6DE2CACE29 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:25:25] 939*2^1402804-1 is not prime. Res64: FB5564209A0BF866 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:25:25] 697*2^1402805-1 is not prime. Res64: EE4DD3B6EC4301A8 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:27:17] 775*2^1402805-1 is not prime. Res64: 67272393B736C851 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:27:17] 795*2^1402805-1 is not prime. Res64: 8AD78CCC9BF2F5C3 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:31:50] 847*2^1402805-1 is not prime. Res64: 2F8204416047199E Time : 0.0 sec. user=mdettweiler [2015-07-12 10:31:50] 871*2^1402805-1 is not prime. Res64: DC634CC4443B1D57 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:42:44] 949*2^1402805-1 is not prime. Res64: 084684B53E8554A7 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:42:45] 647*2^1402806-1 is not prime. Res64: 7748D9157CCD9EA2 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:44:38] 657*2^1402806-1 is not prime. Res64: E016C0082893519D Time : 0.0 sec. user=mdettweiler [2015-07-12 10:44:38] 677*2^1402806-1 is not prime. Res64: 9FD3FBE27AEE417C Time : 0.0 sec. user=mdettweiler [2015-07-12 10:49:10] 705*2^1402806-1 is not prime. Res64: 116FC48BD1143A47 Time : 0.0 sec. user=mdettweiler [2015-07-12 10:49:10] 711*2^1402806-1 is not prime. Res64: CAED4D86F35D7EB0 Time : 0.0 sec. user=juhehe [2015-07-12 10:56:00] 889*2^1402805-1 is not prime. Res64: 52A0EE40A3E42ED4 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:00:04] 713*2^1402806-1 is not prime. Res64: 31F3855DE65C6EB3 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:00:05] 795*2^1402806-1 is not prime. Res64: A1F89B9E989B25AF Time : 0.0 sec. user=mdettweiler [2015-07-12 11:01:57] 887*2^1402806-1 is not prime. Res64: 6F34A201BF212878 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:01:58] 893*2^1402806-1 is not prime. Res64: 1E8C01E9043B2D72 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:06:34] 921*2^1402806-1 is not prime. Res64: E2A67AD7E35EB939 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:06:35] 639*2^1402807-1 is not prime. Res64: 366E7DFC96C5E484 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:17:24] 775*2^1402807-1 is not prime. Res64: 9BF09AEF708DD77C Time : 0.0 sec. user=mdettweiler [2015-07-12 11:17:24] 813*2^1402807-1 is not prime. Res64: C0E2DAC7546A810B Time : 0.0 sec. user=mdettweiler [2015-07-12 11:19:21] 843*2^1402807-1 is not prime. Res64: CA6DB599F158830D Time : 0.0 sec. user=mdettweiler [2015-07-12 11:19:21] 913*2^1402807-1 is not prime. Res64: D5129FC18E197DC5 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:23:53] 635*2^1402808-1 is not prime. Res64: 49AE143C0C9043F1 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:23:53] 659*2^1402808-1 is not prime. Res64: C1A8BA531BF6DED7 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:34:45] 759*2^1402808-1 is not prime. Res64: F6DACC39C97617FD Time : 0.0 sec. user=mdettweiler [2015-07-12 11:34:45] 789*2^1402808-1 is not prime. Res64: 2BE3EFD6F04D81DE Time : 0.0 sec. user=mdettweiler [2015-07-12 11:36:40] 827*2^1402808-1 is not prime. Res64: E7D51ED5B253B779 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:36:40] 837*2^1402808-1 is not prime. Res64: 315135FE8B83CFD5 Time : 0.0 sec. user=juhehe [2015-07-12 11:37:41] 703*2^1402807-1 is not prime. Res64: 77031AE53585335D Time : 0.0 sec. user=mdettweiler [2015-07-12 11:41:14] 923*2^1402808-1 is not prime. Res64: C97B39579730CEAB Time : 0.0 sec. user=mdettweiler [2015-07-12 11:41:15] 957*2^1402808-1 is not prime. Res64: 96CB271A505CD4D5 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:52:05] 615*2^1402809-1 is not prime. Res64: 6602A7AE3C7974A2 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:52:05] 705*2^1402809-1 is not prime. Res64: 039ABE8591B8287A Time : 0.0 sec. user=mdettweiler [2015-07-12 11:54:02] 807*2^1402809-1 is not prime. Res64: A9B70DB9F7605BCD Time : 0.0 sec. user=mdettweiler [2015-07-12 11:54:02] 885*2^1402809-1 is not prime. Res64: A5AE8C5F1800DC1A Time : 0.0 sec. user=mdettweiler [2015-07-12 11:58:38] 919*2^1402809-1 is not prime. Res64: E779CCD07A671AA9 Time : 0.0 sec. user=mdettweiler [2015-07-12 11:58:38] 951*2^1402809-1 is not prime. Res64: 0FC269FE17983BDC Time : 0.0 sec. user=mdettweiler [2015-07-12 12:09:45] 731*2^1402810-1 is not prime. Res64: D3DF1CFC5136C338 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:09:45] 773*2^1402810-1 is not prime. Res64: F5E5992DE5458F9B Time : 0.0 sec. user=mdettweiler [2015-07-12 12:11:44] 831*2^1402810-1 is not prime. Res64: 0D8736D88B7B7ECA Time : 0.0 sec. user=mdettweiler [2015-07-12 12:11:44] 891*2^1402810-1 is not prime. Res64: EA5747C7C067FAD2 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:16:26] 975*2^1402810-1 is not prime. Res64: 3DC94833A77D7159 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:16:27] 981*2^1402810-1 is not prime. Res64: 50DD8267BA59EC35 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:27:52] 609*2^1402811-1 is not prime. Res64: 850FC0BB0A51E984 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:27:52] 811*2^1402811-1 is not prime. Res64: ECB54DF34E512474 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:29:50] 813*2^1402811-1 is not prime. Res64: F915B2B231B1E6DB Time : 0.0 sec. user=mdettweiler [2015-07-12 12:29:50] 843*2^1402811-1 is not prime. Res64: B042601DAD7CEA65 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:34:27] 921*2^1402811-1 is not prime. Res64: 32A717582284E678 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:34:27] 993*2^1402811-1 is not prime. Res64: 387E32225EEBF74F Time : 0.0 sec. user=mdettweiler [2015-07-12 12:45:12] 689*2^1402812-1 is not prime. Res64: 0EAF85B48B9413FD Time : 0.0 sec. user=mdettweiler [2015-07-12 12:45:13] 695*2^1402812-1 is not prime. Res64: 18F4B52F7DEA89B3 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:47:12] 725*2^1402812-1 is not prime. Res64: 9033F68D8A361FC9 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:47:13] 819*2^1402812-1 is not prime. Res64: 0B85FCFD1165AD1A Time : 0.0 sec. user=mdettweiler [2015-07-12 12:51:47] 863*2^1402812-1 is not prime. Res64: 2AD34FE7422BC472 Time : 0.0 sec. user=mdettweiler [2015-07-12 12:51:48] 817*2^1402813-1 is not prime. Res64: 39855A79074A25B9 Time : 0.0 sec. user=juhehe [2015-07-12 12:57:54] 629*2^1402812-1 is not prime. Res64: C1AACB8826F2F317 Time : 0.0 sec. user=mdettweiler [2015-07-12 13:02:35] 885*2^1402813-1 is not prime. Res64: 5E02113DDC39679B Time : 0.0 sec. user=mdettweiler [2015-07-12 13:02:36] 683*2^1402814-1 is not prime. Res64: 9AD946EB82349E73 Time : 0.0 sec. user=mdettweiler [2015-07-12 13:04:35] 851*2^1402814-1 is not prime. Res64: 9D5AB2F165EE1D6A Time : 0.0 sec. user=mdettweiler [2015-07-12 13:04:37] 885*2^1402814-1 is not prime. Res64: 1F9DB621A3BB8BC2 Time : 0.0 sec. user=mdettweiler [2015-07-12 13:09:09] 915*2^1402814-1 is not prime. Res64: 6EE1033C9E03D091 Time : 0.0 sec. user=mdettweiler [2015-07-12 13:09:09] 923*2^1402814-1 is not prime. Res64: 41FB9A39FE496667 Time : 0.0 sec. user=juhehe [2015-07-12 13:15:42] 849*2^1402813-1 is not prime. Res64: EA3D707D24A9BBAB Time : 0.0 sec. user=mdettweiler [2015-07-12 13:20:06] 987*2^1402814-1 is not prime. Res64: 697126A668E1D759 Time : 0.0 sec. user=mdettweiler [2015-07-12 13:20:06] 609*2^1402815-1 is not prime. Res64: 4362CE056AEF2765 Time : 0.0 sec. user=mdettweiler [2015-07-12 13:22:19] 685*2^1402815-1 is not prime. Res64: 61C7632B6EA602BE Time : 0.0 sec. user=mdettweiler [2015-07-12 13:22:20] 825*2^1402815-1 is not prime. Res64: E11D4CE2EE64A98C Time : 0.0 sec. user=mdettweiler [2015-07-12 13:26:35] 919*2^1402815-1 is not prime. Res64: 3D60C13B11D64E81 Time : 0.0 sec. user=mdettweiler [2015-07-12 13:26:35] 963*2^1402815-1 is not prime. Res64: F888961B5025D866 Time : 0.0 sec. user=juhehe [2015-07-12 13:35:41] 965*2^1402814-1 is not prime. Res64: ED3FA312956AE20F Time : 0.0 sec. user=mdettweiler [2015-07-12 13:37:26] 695*2^1402816-1 is not prime. Res64: 7F57C13EDD92CA05 Time : 0.0 sec. user=mdettweiler [2015-07-12 13:37:27] 707*2^1402816-1 is not prime. Res64: 4A74574D55D5EDF8 Time : 0.0 sec. user=mdettweiler [2015-07-12 13:39:40] 719*2^1402816-1 is not prime. Res64: 794E9D5A69A52BFE Time : 0.0 sec. user=mdettweiler [2015-07-12 13:39:40] 755*2^1402816-1 is not prime. Res64: C0D2142D5C270D2A Time : 0.0 sec. user=mdettweiler [2015-07-12 13:43:56] 777*2^1402816-1 is not prime. Res64: 4E4F1295E02C22AB Time : 0.0 sec. user=mdettweiler [2015-07-12 13:43:56] 833*2^1402816-1 is not prime. Res64: 8B6F15312C47F5FE Time : 0.0 sec. user=mdettweiler [2015-07-12 13:54:50] 903*2^1402816-1 is not prime. Res64: F76A4C28C682AE10 Time : 0.0 sec. user=mdettweiler [2015-07-12 13:54:50] 939*2^1402816-1 is not prime. Res64: F27EB0BD13D5827B Time : 0.0 sec. user=mdettweiler [2015-07-12 13:57:01] 989*2^1402816-1 is not prime. Res64: 9FEA0EE0FEEE387E Time : 0.0 sec. user=mdettweiler [2015-07-12 13:57:02] 631*2^1402817-1 is not prime. Res64: 63405068F4312CA4 Time : 0.0 sec. user=mdettweiler [2015-07-12 14:01:16] 711*2^1402817-1 is not prime. Res64: DF74BAE59F27A493 Time : 0.0 sec. user=mdettweiler [2015-07-12 14:01:17] 771*2^1402817-1 is not prime. Res64: BC37F8DAEA47C961 Time : 0.0 sec. user=mdettweiler [2015-07-12 14:12:11] 955*2^1402817-1 is not prime. Res64: BEFDEC75E0AC891B Time : 0.0 sec. user=mdettweiler [2015-07-12 14:12:12] 933*2^1402818-1 is not prime. Res64: 46E629C42598B72B Time : 0.0 sec. user=mdettweiler [2015-07-12 14:14:23] 649*2^1402819-1 is not prime. Res64: 269658CCAAE9D7DE Time : 0.0 sec. user=mdettweiler [2015-07-12 14:14:24] 733*2^1402819-1 is not prime. Res64: 24598E598310B54C Time : 0.0 sec. user=mdettweiler [2015-07-12 14:18:51] 771*2^1402819-1 is not prime. Res64: 9312D655EB02B57D Time : 0.0 sec. user=mdettweiler [2015-07-12 14:18:52] 843*2^1402819-1 is not prime. Res64: 81CB60ABBA30E037 Time : 0.0 sec. user=mdettweiler [2015-07-12 14:29:35] 859*2^1402819-1 is not prime. Res64: 467CB59B6B0CA1F5 Time : 0.0 sec. user=mdettweiler [2015-07-12 14:29:36] 861*2^1402819-1 is not prime. Res64: A67CB716D602F5C4 Time : 0.0 sec. user=mdettweiler [2015-07-12 14:31:44] 913*2^1402819-1 is not prime. Res64: 235C77AF0863C21A Time : 0.0 sec. user=mdettweiler [2015-07-12 14:31:44] 969*2^1402819-1 is not prime. Res64: A1D90F1EC4DD2387 Time : 0.0 sec. user=mdettweiler [2015-07-12 14:36:14] 975*2^1402819-1 is not prime. Res64: 322A8E1B0F4EF66A Time : 0.0 sec. user=mdettweiler [2015-07-12 14:36:14] 699*2^1402820-1 is not prime. Res64: 9EB6BE039AD5B126 Time : 0.0 sec. user=mdettweiler [2015-07-12 14:46:57] 753*2^1402820-1 is not prime. Res64: 531FFACA0940E0DD Time : 0.0 sec. user=mdettweiler [2015-07-12 14:46:57] 759*2^1402820-1 is not prime. Res64: F2809353ED3CBF6A Time : 0.0 sec. user=mdettweiler [2015-07-12 14:49:09] 773*2^1402820-1 is not prime. Res64: 11972411ABF0CA0F Time : 0.0 sec. user=mdettweiler [2015-07-12 14:49:09] 845*2^1402820-1 is not prime. Res64: 79FF11141EB8BABF Time : 0.0 sec. user=juhehe [2015-07-12 14:51:50] 885*2^1402819-1 is not prime. Res64: E7B9383063222419 Time : 0.0 sec. user=mdettweiler [2015-07-12 14:53:40] 875*2^1402820-1 is not prime. Res64: 7A61E74C786CFAE3 Time : 0.0 sec. user=mdettweiler [2015-07-12 14:53:41] 897*2^1402820-1 is not prime. Res64: 67746CA1AAFC012B Time : 0.0 sec. user=mdettweiler [2015-07-12 15:04:22] 661*2^1402821-1 is not prime. Res64: C39442A5C2934B9D Time : 0.0 sec. user=mdettweiler [2015-07-12 15:04:23] 717*2^1402821-1 is not prime. Res64: 8661D804C5468F96 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:06:37] 727*2^1402821-1 is not prime. Res64: 18BA4F17F8E946A5 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:06:37] 745*2^1402821-1 is not prime. Res64: 195A45AE2EC2A206 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:11:11] 849*2^1402821-1 is not prime. Res64: E994B63C97016746 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:11:11] 921*2^1402821-1 is not prime. Res64: 2E43DD03A4856C13 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:22:46] 961*2^1402821-1 is not prime. Res64: FC5E9FFEA1B6A833 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:22:46] 825*2^1402822-1 is not prime. Res64: 8B542CA7180CBB6E Time : 0.0 sec. user=mdettweiler [2015-07-12 15:24:39] 863*2^1402822-1 is not prime. Res64: 22570E75CF7B829B Time : 0.0 sec. user=mdettweiler [2015-07-12 15:24:39] 867*2^1402822-1 is not prime. Res64: 91DFA0D5CF3E341D Time : 0.0 sec. user=mdettweiler [2015-07-12 15:29:16] 897*2^1402822-1 is not prime. Res64: 2A5BD590ED400806 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:29:16] 917*2^1402822-1 is not prime. Res64: 973DB6BD19566F71 Time : 0.0 sec. user=juhehe [2015-07-12 15:29:36] 805*2^1402821-1 is not prime. Res64: 73405C37A01CDFF9 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:40:55] 941*2^1402822-1 is not prime. Res64: 9DDC1BE36B7457F3 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:40:56] 621*2^1402823-1 is not prime. Res64: 11A4D4D8C8A31DBF Time : 0.0 sec. user=mdettweiler [2015-07-12 15:42:47] 745*2^1402823-1 is not prime. Res64: 0E045E5FFC93BA09 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:42:47] 855*2^1402823-1 is not prime. Res64: 69B5054FD7235204 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:47:31] 859*2^1402823-1 is not prime. Res64: 19060E5D7F5318F9 Time : 0.0 sec. user=mdettweiler [2015-07-12 15:47:31] 889*2^1402823-1 is not prime. Res64: D346FBD3369F895D Time : 0.0 sec. user=mdettweiler [2015-07-12 15:59:03] 915*2^1402823-1 is not prime. Res64: 5EBCF18A23F98E3C Time : 0.0 sec. user=mdettweiler [2015-07-12 15:59:04] 665*2^1402824-1 is not prime. Res64: 788FE425756A7723 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:00:55] 707*2^1402824-1 is not prime. Res64: 11A9DFE51D950343 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:00:56] 803*2^1402824-1 is not prime. Res64: 8D8002AE850D29E3 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:05:29] 809*2^1402824-1 is not prime. Res64: 3F2CF0D663B55F02 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:05:30] 899*2^1402824-1 is not prime. Res64: B83EA1244490C18E Time : 0.0 sec. user=mdettweiler [2015-07-12 16:16:40] 929*2^1402824-1 is not prime. Res64: D16A2E1F2D27AA1F Time : 0.0 sec. user=mdettweiler [2015-07-12 16:16:40] 947*2^1402824-1 is not prime. Res64: 4BCBFB7F579651AE Time : 0.0 sec. user=mdettweiler [2015-07-12 16:18:31] 993*2^1402824-1 is not prime. Res64: 82870764D02B6DDC Time : 0.0 sec. user=mdettweiler [2015-07-12 16:18:32] 651*2^1402825-1 is not prime. Res64: E1BAE3A51F96AA46 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:23:06] 679*2^1402825-1 is not prime. Res64: 84202C6AD391C780 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:23:06] 751*2^1402825-1 is not prime. Res64: 9FA69A04C6D1AE64 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:34:14] 841*2^1402825-1 is not prime. Res64: 7FD7A0FB4C11A805 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:34:15] 889*2^1402825-1 is not prime. Res64: 9560258E68685A04 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:36:02] 895*2^1402825-1 is not prime. Res64: 351CA9CD0879CFFF Time : 0.0 sec. user=mdettweiler [2015-07-12 16:36:03] 937*2^1402825-1 is not prime. Res64: 5F8199592A88306A Time : 0.0 sec. user=mdettweiler [2015-07-12 16:40:35] 999*2^1402825-1 is not prime. Res64: BF9E5405BB75A445 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:40:36] 617*2^1402826-1 is not prime. Res64: 61885139343FD0AE Time : 0.0 sec. user=juhehe [2015-07-12 16:46:38] 771*2^1402825-1 is not prime. Res64: 7EB9496825021AB0 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:51:55] 641*2^1402826-1 is not prime. Res64: 1D4ACF2C2D4236CB Time : 0.0 sec. user=mdettweiler [2015-07-12 16:51:55] 675*2^1402826-1 is not prime. Res64: 7049F584AC49D290 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:53:48] 707*2^1402826-1 is not prime. Res64: 1F489C6C1F0D44B5 Time : 0.0 sec. user=mdettweiler [2015-07-12 16:53:48] 711*2^1402826-1 is not prime. Res64: 4FD14DB8A017250D Time : 0.0 sec. user=mdettweiler [2015-07-12 16:58:27] 713*2^1402826-1 is not prime. Res64: D4E1C20C3BD1B39B Time : 0.0 sec. user=mdettweiler [2015-07-12 16:58:27] 987*2^1402826-1 is not prime. Res64: 462FD5F77495A0A1 Time : 0.0 sec. user=S_K_ [2015-07-12 16:58:55] 915*2^1402804-1 is not prime. Res64: 7B46DA17A5BEEE3D Time : 0.0 sec. user=mdettweiler [2015-07-12 17:16:04] 685*2^1402827-1 is not prime. Res64: 60A432A511ADC0C6 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:16:05] 699*2^1402827-1 is not prime. Res64: 6E3233979EA7B9A1 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:16:19] 751*2^1402827-1 is not prime. Res64: 96DB2A0DEEAD4EAC Time : 0.0 sec. user=mdettweiler [2015-07-12 17:16:19] 765*2^1402827-1 is not prime. Res64: C339FCC8D70916A7 Time : 0.0 sec. user=juhehe [2015-07-12 17:24:30] 643*2^1402827-1 is not prime. Res64: 00B21DC191D2E4B3 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:25:30] 795*2^1402827-1 is not prime. Res64: C707F654A8C41356 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:25:31] 919*2^1402827-1 is not prime. Res64: 5121BA85CF9635B3 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:25:47] 961*2^1402827-1 is not prime. Res64: A60F2CA5441E9382 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:25:47] 963*2^1402827-1 is not prime. Res64: 0672364A380CD171 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:34:44] 647*2^1402828-1 is not prime. Res64: 10F4A66E3DA21A80 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:34:44] 665*2^1402828-1 is not prime. Res64: 70E524FB83F67CB3 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:34:58] 797*2^1402828-1 is not prime. Res64: 58209262097A9C1F Time : 0.0 sec. user=mdettweiler [2015-07-12 17:34:58] 869*2^1402828-1 is not prime. Res64: 29B7B57AD05F2FF8 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:43:50] 969*2^1402828-1 is not prime. Res64: 5434445E78ABCBB9 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:43:50] 649*2^1402829-1 is not prime. Res64: 2A95DAEFABDB3938 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:43:59] 745*2^1402829-1 is not prime. Res64: 6D5B5E0D98FEDE7F Time : 0.0 sec. user=mdettweiler [2015-07-12 17:43:59] 771*2^1402829-1 is not prime. Res64: ACDC30EF54C7428B Time : 0.0 sec. user=mdettweiler [2015-07-12 17:53:21] 799*2^1402829-1 is not prime. Res64: 4C1D9CF725CEA79F Time : 0.0 sec. user=mdettweiler [2015-07-12 17:53:21] 889*2^1402829-1 is not prime. Res64: CC7E087E20BC378B Time : 0.0 sec. user=mdettweiler [2015-07-12 17:53:29] 927*2^1402829-1 is not prime. Res64: 49D7C68F378DAA01 Time : 0.0 sec. user=mdettweiler [2015-07-12 17:53:30] 985*2^1402829-1 is not prime. Res64: EFD4D5FCF3AE0893 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:02:25] 821*2^1402830-1 is not prime. Res64: 9A316A5657FEA265 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:02:27] 861*2^1402830-1 is not prime. Res64: DB9374FFAD609340 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:02:51] 873*2^1402830-1 is not prime. Res64: 0FA06595522EFFAE Time : 0.0 sec. user=mdettweiler [2015-07-12 18:02:52] 885*2^1402830-1 is not prime. Res64: 9D4E6EA4DB4E1881 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:12:01] 971*2^1402830-1 is not prime. Res64: 7AB0A595EECFA9F7 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:12:01] 977*2^1402830-1 is not prime. Res64: 2AAD1DD9804BB772 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:12:14] 1001*2^1402830-1 is not prime. Res64: F0FA5362560FAE7C Time : 0.0 sec. user=mdettweiler [2015-07-12 18:12:15] 615*2^1402831-1 is not prime. Res64: E1806F0DA394475A Time : 0.0 sec. user=mdettweiler [2015-07-12 18:21:31] 681*2^1402831-1 is not prime. Res64: 6E7843F24FBD027E Time : 0.0 sec. user=mdettweiler [2015-07-12 18:21:31] 705*2^1402831-1 is not prime. Res64: 7929C3896956072D Time : 0.0 sec. user=mdettweiler [2015-07-12 18:21:40] 775*2^1402831-1 is not prime. Res64: DBB5951F97D0E069 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:21:41] 901*2^1402831-1 is not prime. Res64: D45E681370EED987 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:30:31] 797*2^1402832-1 is not prime. Res64: D1F8F7E922115FF8 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:30:32] 873*2^1402832-1 is not prime. Res64: F092DBA9D858A3E3 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:30:40] 627*2^1402833-1 is not prime. Res64: EB3FEFDDBC0CD4DF Time : 0.0 sec. user=mdettweiler [2015-07-12 18:30:40] 637*2^1402833-1 is not prime. Res64: 28FF9C56BA8FA15D Time : 0.0 sec. user=mdettweiler [2015-07-12 18:39:51] 847*2^1402833-1 is not prime. Res64: D3AEED9A02990EB4 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:39:51] 745*2^1402833-1 is not prime. Res64: 7CF2F28EACE41109 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:39:52] 937*2^1402833-1 is not prime. Res64: A5B601287DC6E13B Time : 0.0 sec. user=mdettweiler [2015-07-12 18:39:52] 787*2^1402833-1 is not prime. Res64: 662394F3E5A5273C Time : 0.0 sec. user=juhehe [2015-07-12 18:40:55] 969*2^1402831-1 is not prime. Res64: C97EE47A424A275C Time : 0.0 sec. user=mdettweiler [2015-07-12 18:48:42] 949*2^1402833-1 is not prime. Res64: FBEBA3A3C108FC3C Time : 0.0 sec. user=mdettweiler [2015-07-12 18:48:42] 621*2^1402834-1 is not prime. Res64: 8FD581A4C132E446 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:48:50] 695*2^1402834-1 is not prime. Res64: 6CA3C8E8F9F3F344 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:48:50] 717*2^1402834-1 is not prime. Res64: 6977BF401DF2FCCF Time : 0.0 sec. user=mdettweiler [2015-07-12 18:58:48] 723*2^1402834-1 is not prime. Res64: BAC686F9ED9DE6CB Time : 0.0 sec. user=mdettweiler [2015-07-12 18:58:49] 651*2^1402835-1 is not prime. Res64: 17687BB0094D3B30 Time : 0.0 sec. user=mdettweiler [2015-07-12 18:58:51] 715*2^1402835-1 is not prime. Res64: 0E4F50F61055A48C Time : 0.0 sec. user=mdettweiler [2015-07-12 18:58:52] 943*2^1402835-1 is not prime. Res64: BD67258A92C6F70D Time : 0.0 sec. user=mdettweiler [2015-07-12 19:07:54] 707*2^1402836-1 is not prime. Res64: E26609ECCDC610E3 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:07:55] 845*2^1402836-1 is not prime. Res64: 5871F8D9E684BC20 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:07:58] 857*2^1402836-1 is not prime. Res64: D9CA5D0FDBE054CB Time : 0.0 sec. user=mdettweiler [2015-07-12 19:07:58] 873*2^1402836-1 is not prime. Res64: AC4C95EBAFA11868 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:17:38] 875*2^1402836-1 is not prime. Res64: A24F3A831D2A25FB Time : 0.0 sec. user=mdettweiler [2015-07-12 19:17:38] 945*2^1402836-1 is not prime. Res64: 579E25B535F575BC Time : 0.0 sec. user=mdettweiler [2015-07-12 19:17:50] 607*2^1402837-1 is not prime. Res64: 8223486EA998A408 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:17:50] 645*2^1402837-1 is not prime. Res64: 3D0B08831D5EA682 Time : 0.0 sec. user=juhehe [2015-07-12 19:23:22] 999*2^1402835-1 is not prime. Res64: 127EBC1868CDB2B0 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:26:32] 675*2^1402837-1 is not prime. Res64: E21DB119673089AC Time : 0.0 sec. user=mdettweiler [2015-07-12 19:26:32] 747*2^1402837-1 is not prime. Res64: 96A7A8B14E53B36B Time : 0.0 sec. user=mdettweiler [2015-07-12 19:26:40] 871*2^1402837-1 is not prime. Res64: 13AFC2F94A1DA06F Time : 0.0 sec. user=mdettweiler [2015-07-12 19:26:40] 955*2^1402837-1 is not prime. Res64: 733609071CE23F1E Time : 0.0 sec. user=mdettweiler [2015-07-12 19:36:31] 605*2^1402838-1 is not prime. Res64: 135FC2CEBD23F246 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:36:31] 677*2^1402838-1 is not prime. Res64: 758F6B023C0208DF Time : 0.0 sec. user=mdettweiler [2015-07-12 19:36:57] 795*2^1402838-1 is not prime. Res64: C90C428394B050E7 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:36:57] 845*2^1402838-1 is not prime. Res64: 48FDAA50052D0D43 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:45:12] 867*2^1402838-1 is not prime. Res64: 64BC37A38B9FBCB5 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:45:12] 885*2^1402838-1 is not prime. Res64: A4F1A70F09A18C01 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:45:32] 921*2^1402838-1 is not prime. Res64: 18BC1023CE159CC7 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:45:32] 923*2^1402838-1 is not prime. Res64: 448C09888A44E6B9 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:55:41] 691*2^1402839-1 is not prime. Res64: B073BFCDB974DC1D Time : 0.0 sec. user=mdettweiler [2015-07-12 19:55:41] 703*2^1402839-1 is not prime. Res64: A404158D6287963B Time : 0.0 sec. user=mdettweiler [2015-07-12 19:56:26] 829*2^1402839-1 is not prime. Res64: F4FC804BF62B9E69 Time : 0.0 sec. user=mdettweiler [2015-07-12 19:56:26] 843*2^1402839-1 is not prime. Res64: EAA9E9C3569DF6A8 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:04:24] 861*2^1402839-1 is not prime. Res64: 63481974FB00DC40 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:04:26] 879*2^1402839-1 is not prime. Res64: 5B49700E9DA350EC Time : 0.0 sec. user=mdettweiler [2015-07-12 20:05:04] 951*2^1402839-1 is not prime. Res64: B7F9FA91306F9146 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:05:05] 687*2^1402840-1 is not prime. Res64: DAA68B4F8F860C43 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:14:26] 765*2^1402840-1 is not prime. Res64: 6A4091F6C8CE515B Time : 0.0 sec. user=mdettweiler [2015-07-12 20:14:27] 875*2^1402840-1 is not prime. Res64: EDEA7396CBBA1C28 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:15:27] 887*2^1402840-1 is not prime. Res64: 8D8BE06D6E436278 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:15:28] 927*2^1402840-1 is not prime. Res64: C18B04D104AA83F9 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:23:46] 657*2^1402841-1 is not prime. Res64: 7EF9D38B217C9036 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:23:46] 675*2^1402841-1 is not prime. Res64: C7CD9B95E500548A Time : 0.0 sec. user=mdettweiler [2015-07-12 20:24:12] 727*2^1402841-1 is not prime. Res64: 9C090153B888587F Time : 0.0 sec. user=mdettweiler [2015-07-12 20:24:12] 745*2^1402841-1 is not prime. Res64: 44A8D8C738B7DCF8 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:33:54] 747*2^1402841-1 is not prime. Res64: 64CFEF89B76296CD Time : 0.0 sec. user=mdettweiler [2015-07-12 20:33:55] 769*2^1402841-1 is not prime. Res64: A4E758922B7D4D8E Time : 0.0 sec. user=mdettweiler [2015-07-12 20:34:31] 837*2^1402841-1 is not prime. Res64: EE6D99E1F21775C8 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:34:32] 871*2^1402841-1 is not prime. Res64: D89B1BDB56914FD1 Time : 0.0 sec. user=juhehe [2015-07-12 20:40:11] 627*2^1402841-1 is not prime. Res64: E3BC515001563091 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:42:34] 889*2^1402841-1 is not prime. Res64: 395909858B0E109E Time : 0.0 sec. user=mdettweiler [2015-07-12 20:42:34] 925*2^1402841-1 is not prime. Res64: C5169C1DA363A9C8 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:43:21] 949*2^1402841-1 is not prime. Res64: 31E9FF37B77831B7 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:43:22] 981*2^1402841-1 is not prime. Res64: E713D52333EDFE1F Time : 0.0 sec. user=mdettweiler [2015-07-12 20:53:19] 621*2^1402842-1 is not prime. Res64: A51461C35268189B Time : 0.0 sec. user=mdettweiler [2015-07-12 20:53:19] 635*2^1402842-1 is not prime. Res64: 8D4600D10BB0C6C9 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:54:14] 681*2^1402842-1 is not prime. Res64: 9CE4D75D0FEF6EA0 Time : 0.0 sec. user=mdettweiler [2015-07-12 20:54:14] 717*2^1402842-1 is not prime. Res64: F63D28CB47EAA152 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:03:31] 765*2^1402842-1 is not prime. Res64: 37EE2E7DE5F85017 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:03:32] 887*2^1402842-1 is not prime. Res64: D2E3E3F9BBA9B3A3 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:03:43] 923*2^1402842-1 is not prime. Res64: 9D5D8E686A8CCE3C Time : 0.0 sec. user=mdettweiler [2015-07-12 21:03:44] 945*2^1402842-1 is not prime. Res64: 91346483BDC61196 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:13:54] 615*2^1402843-1 is not prime. Res64: 45CB98EE758273F8 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:13:54] 939*2^1402843-1 is not prime. Res64: FD8258A440FD7033 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:14:38] 951*2^1402843-1 is not prime. Res64: B7E42832F2E7488D Time : 0.0 sec. user=mdettweiler [2015-07-12 21:14:38] 623*2^1402844-1 is not prime. Res64: 64F803E5FD4D0FDA Time : 0.0 sec. user=juhehe [2015-07-12 21:17:59] 755*2^1402842-1 is not prime. Res64: 8EE1B4263DBF5042 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:22:37] 855*2^1402844-1 is not prime. Res64: 696167043AC790E0 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:22:38] 897*2^1402844-1 is not prime. Res64: F9685232D4CDC614 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:22:42] 789*2^1402844-1 is not prime. Res64: A6ECD9A82F83BD85 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:22:43] 827*2^1402844-1 is not prime. Res64: BA6D53710E12F543 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:32:43] 639*2^1402845-1 is not prime. Res64: 54E427399836B272 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:32:43] 649*2^1402845-1 is not prime. Res64: 482C139681430055 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:33:13] 923*2^1402846-1 is not prime. Res64: BA508E72B12A8527 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:33:14] 957*2^1402846-1 is not prime. Res64: 6BD54549AE8EC2A1 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:42:03] 993*2^1402846-1 is not prime. Res64: 60B58E49A88CD1D8 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:42:04] 673*2^1402847-1 is not prime. Res64: 6C117E7E810AACB3 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:42:10] 759*2^1402847-1 is not prime. Res64: AE44090416A8A657 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:42:10] 871*2^1402847-1 is not prime. Res64: 7E4757717A975698 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:52:09] 931*2^1402847-1 is not prime. Res64: 1DA7F63402318CA7 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:52:10] 973*2^1402847-1 is not prime. Res64: 86AA76F065FB0322 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:52:50] 759*2^1402848-1 is not prime. Res64: 9B2031548A29AA66 Time : 0.0 sec. user=mdettweiler [2015-07-12 21:52:50] 809*2^1402848-1 is not prime. Res64: FF05F620F6518FB6 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:01:31] 893*2^1402848-1 is not prime. Res64: 65FC96BECD3F5634 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:01:32] 927*2^1402848-1 is not prime. Res64: F11D086EE29340BA Time : 0.0 sec. user=mdettweiler [2015-07-12 22:01:42] 977*2^1402848-1 is not prime. Res64: A29B7438045875AB Time : 0.0 sec. user=mdettweiler [2015-07-12 22:01:43] 667*2^1402849-1 is not prime. Res64: 60F4012E2006443D Time : 0.0 sec. user=mdettweiler [2015-07-12 22:11:00] 729*2^1402849-1 is not prime. Res64: 2E5CD4128E4EB8C4 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:11:01] 741*2^1402849-1 is not prime. Res64: 85C897FCA5FA6FDD Time : 0.0 sec. user=mdettweiler [2015-07-12 22:11:46] 819*2^1402849-1 is not prime. Res64: 1C80BB7F97EA617A Time : 0.0 sec. user=mdettweiler [2015-07-12 22:11:46] 829*2^1402849-1 is not prime. Res64: 35F7DCD5A9CF4FD7 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:20:02] 861*2^1402850-1 is not prime. Res64: 1EC99430357C6846 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:20:03] 941*2^1402850-1 is not prime. Res64: 7DCC7B3DC183F683 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:20:10] 813*2^1402850-1 is not prime. Res64: FD28A1CFEC45134F Time : 0.0 sec. user=mdettweiler [2015-07-12 22:20:10] 851*2^1402850-1 is not prime. Res64: E733F31EC57D3BFC Time : 0.0 sec. user=mdettweiler [2015-07-12 22:29:14] 679*2^1402851-1 is not prime. Res64: BEDE38B87E6F6BBB Time : 0.0 sec. user=mdettweiler [2015-07-12 22:29:14] 705*2^1402851-1 is not prime. Res64: 62258043D35CDAF0 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:30:03] 711*2^1402851-1 is not prime. Res64: F0D384F2B26C68AA Time : 0.0 sec. user=mdettweiler [2015-07-12 22:30:04] 723*2^1402851-1 is not prime. Res64: 3ED90BCA8FC9E625 Time : 0.0 sec. user=juhehe [2015-07-12 22:34:41] 897*2^1402849-1 is not prime. Res64: B078FFD78D4295C7 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:38:41] 793*2^1402851-1 is not prime. Res64: 4B308CAE0F2D7CA4 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:38:42] 777*2^1402852-1 is not prime. Res64: CDBCDE68537F4A2F Time : 0.0 sec. user=mdettweiler [2015-07-12 22:38:47] 745*2^1402851-1 is not prime. Res64: BD91E78FA4EB0EC4 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:38:47] 781*2^1402851-1 is not prime. Res64: 433C0F4B80EBA37C Time : 0.0 sec. user=mdettweiler [2015-07-12 22:48:04] 803*2^1402852-1 is not prime. Res64: 8DA0FB1AACD57C91 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:48:04] 819*2^1402852-1 is not prime. Res64: 80B8B93D262517E9 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:49:03] 863*2^1402852-1 is not prime. Res64: B109CB8365B46223 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:49:03] 903*2^1402852-1 is not prime. Res64: 78426FEFAEC6F393 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:58:06] 901*2^1402853-1 is not prime. Res64: C57C5DB11BEA68E4 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:58:06] 939*2^1402853-1 is not prime. Res64: 9DEDC7BD64C7B17F Time : 0.0 sec. user=mdettweiler [2015-07-12 22:58:14] 983*2^1402852-1 is not prime. Res64: 4FFFA4AFC6F44CF6 Time : 0.0 sec. user=mdettweiler [2015-07-12 22:58:14] 789*2^1402853-1 is not prime. Res64: 16E703960D0A7C33 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:07:02] 951*2^1402853-1 is not prime. Res64: B99946A12D5205B7 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:07:02] 605*2^1402854-1 is not prime. Res64: 91873602AB3B605C Time : 0.0 sec. user=mdettweiler [2015-07-12 23:08:02] 725*2^1402854-1 is not prime. Res64: C8F22C1A4291C731 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:08:02] 791*2^1402854-1 is not prime. Res64: 67BC5FA6BB749CE1 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:15:59] 863*2^1402854-1 is not prime. Res64: 5196D88B529164DE Time : 0.0 sec. user=mdettweiler [2015-07-12 23:15:59] 679*2^1402855-1 is not prime. Res64: 825FE0CDB210E83B Time : 0.0 sec. user=mdettweiler [2015-07-12 23:16:00] 705*2^1402855-1 is not prime. Res64: D87C6BF4B3934572 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:16:01] 741*2^1402855-1 is not prime. Res64: 44F0AED4455F464E Time : 0.0 sec. user=mdettweiler [2015-07-12 23:24:43] 789*2^1402855-1 is not prime. Res64: 0DD3DA53799C3980 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:24:44] 805*2^1402855-1 is not prime. Res64: B07340554E0D98C7 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:25:48] 859*2^1402855-1 is not prime. Res64: 0870F6BF7807786F Time : 0.0 sec. user=mdettweiler [2015-07-12 23:25:48] 909*2^1402855-1 is not prime. Res64: 779090514787D986 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:33:42] 615*2^1402856-1 is not prime. Res64: FD6D6DFCF3B77350 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:33:43] 669*2^1402856-1 is not prime. Res64: D590CC324608BA9C Time : 0.0 sec. user=mdettweiler [2015-07-12 23:33:43] 803*2^1402856-1 is not prime. Res64: A4BFBFBCD2D3D272 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:33:44] 827*2^1402856-1 is not prime. Res64: 829937AD3A7B0C7C Time : 0.0 sec. user=mdettweiler [2015-07-12 23:42:36] 837*2^1402856-1 is not prime. Res64: 7E336AC6AB9D7D0F Time : 0.0 sec. user=mdettweiler [2015-07-12 23:42:36] 839*2^1402856-1 is not prime. Res64: 0D50D0240E1BE5FE Time : 0.0 sec. user=mdettweiler [2015-07-12 23:43:58] 869*2^1402856-1 is not prime. Res64: BFCFFAE779E0AB4B Time : 0.0 sec. user=mdettweiler [2015-07-12 23:43:58] 897*2^1402856-1 is not prime. Res64: 28B2B08D5D295640 Time : 0.0 sec. user=juhehe [2015-07-12 23:50:51] 925*2^1402855-1 is not prime. Res64: E61B642FB74B892D Time : 0.0 sec. user=mdettweiler [2015-07-12 23:52:00] 945*2^1402856-1 is not prime. Res64: 44253C7071998494 Time : 0.0 sec. user=mdettweiler [2015-07-12 23:52:00] 601*2^1402857-1 is not prime. Res64: 8223B6608966A9BC Time : 0.0 sec. user=mdettweiler [2015-07-12 23:52:04] 669*2^1402857-1 is not prime. Res64: EA81CFE22533FC3F Time : 0.0 sec. user=mdettweiler [2015-07-12 23:52:04] 817*2^1402857-1 is not prime. Res64: 9142CE1B4FCEED66 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:00:55] 975*2^1402857-1 is not prime. Res64: 93869D07098F9227 Time : 0.0 sec. user=mdettweiler [2015-07-13 00:00:55] 655*2^1402859-1 is not prime. Res64: D22713FE7679E8C2 Time : 0.0 sec.