user=mdettweiler [2016-08-13 00:14:59] 899*2^1437364-1 is not prime. Res64: 5B12F6AEC60DB520 Time : 0.0 sec. user=mdettweiler [2016-08-13 00:15:02] 929*2^1437364-1 is not prime. Res64: E06325544D3EA414 Time : 0.0 sec. user=mdettweiler [2016-08-13 00:15:05] 975*2^1437364-1 is not prime. Res64: D4FD577E22405E12 Time : 0.0 sec. user=mdettweiler [2016-08-13 00:15:08] 983*2^1437364-1 is not prime. Res64: 0687D16502C54141 Time : 0.0 sec. user=mdettweiler [2016-08-13 00:15:08] 995*2^1437364-1 is not prime. Res64: 5E545E1851B90222 Time : 0.0 sec. user=mdettweiler [2016-08-13 00:28:30] 619*2^1437365-1 is not prime. Res64: 5E5E3DA93BB67788 Time : 0.0 sec. user=mdettweiler [2016-08-13 00:28:31] 657*2^1437365-1 is not prime. Res64: BD34D7D9EFAE7E76 Time : 0.0 sec. user=mdettweiler [2016-08-13 00:28:31] 855*2^1437365-1 is not prime. Res64: 839789FB05721EB3 Time : 0.0 sec. user=mdettweiler [2016-08-13 00:28:31] 885*2^1437365-1 is not prime. Res64: 848ABF319EACFE91 Time : 0.0 sec. user=mdettweiler [2016-08-13 00:28:32] 783*2^1437366-1 is not prime. Res64: C5FB59F8FD37F9AC Time : 0.0 sec. user=mdettweiler [2016-08-13 00:42:24] 807*2^1437366-1 is not prime. Res64: AD5004ACC6A8605A Time : 0.0 sec. user=mdettweiler [2016-08-13 00:42:26] 841*2^1437367-1 is not prime. Res64: E2A0521E4E82F117 Time : 0.0 sec. user=mdettweiler [2016-08-13 00:42:29] 939*2^1437367-1 is not prime. Res64: 516579787E7A9A1A Time : 0.0 sec. user=mdettweiler [2016-08-13 00:42:32] 973*2^1437367-1 is not prime. Res64: 33595213540C5AEA Time : 0.0 sec. user=mdettweiler [2016-08-13 00:42:32] 979*2^1437367-1 is not prime. Res64: 79F0823532B079F6 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:00:44] 603*2^1437368-1 is not prime. Res64: 465EA3F4D5BBB5A1 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:00:45] 623*2^1437368-1 is not prime. Res64: 7A152326CFB60128 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:00:46] 629*2^1437368-1 is not prime. Res64: DC4D52407700DA16 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:00:46] 767*2^1437368-1 is not prime. Res64: 4492ECB606EECDF6 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:00:47] 815*2^1437368-1 is not prime. Res64: F976D053021CBE73 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:15:00] 959*2^1437368-1 is not prime. Res64: 1A3D17AB033EAC6E Time : 0.0 sec. user=mdettweiler [2016-08-13 01:15:03] 963*2^1437368-1 is not prime. Res64: D8911BB44FB6E02A Time : 0.0 sec. user=mdettweiler [2016-08-13 01:15:07] 969*2^1437368-1 is not prime. Res64: 3A7AA0C96770B838 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:15:08] 995*2^1437368-1 is not prime. Res64: A0A1F53DECF11344 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:15:11] 601*2^1437369-1 is not prime. Res64: 8CB47155176AB2B8 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:28:07] 609*2^1437369-1 is not prime. Res64: C45D5557FD76F0BA Time : 0.0 sec. user=mdettweiler [2016-08-13 01:28:08] 675*2^1437369-1 is not prime. Res64: A7DC12699225F0B5 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:28:09] 889*2^1437369-1 is not prime. Res64: 353B8C6D97A3D9C3 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:28:09] 985*2^1437369-1 is not prime. Res64: CE7168F458E9A987 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:28:10] 999*2^1437369-1 is not prime. Res64: 28A8B0EB24AD8492 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:46:33] 603*2^1437370-1 is not prime. Res64: 1DD1FBC7114AE705 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:46:36] 605*2^1437370-1 is not prime. Res64: 319FCBE3178ABF0D Time : 0.0 sec. user=mdettweiler [2016-08-13 01:46:39] 611*2^1437370-1 is not prime. Res64: DB4DE05377CA6732 Time : 0.0 sec. user=mdettweiler [2016-08-13 01:46:42] 651*2^1437370-1 is not prime. Res64: 27FC6EC092DF7F0A Time : 0.0 sec. user=mdettweiler [2016-08-13 01:46:45] 687*2^1437370-1 is not prime. Res64: 5F997672710AF42E Time : 0.0 sec. user=mdettweiler [2016-08-13 02:00:47] 717*2^1437370-1 is not prime. Res64: D210DAF82CDCBB16 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:00:49] 755*2^1437370-1 is not prime. Res64: 0468646AE3F8DF91 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:00:50] 845*2^1437370-1 is not prime. Res64: 0100F157F651CCEC Time : 0.0 sec. user=mdettweiler [2016-08-13 02:00:52] 857*2^1437370-1 is not prime. Res64: 0041CE7153437CA3 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:00:53] 861*2^1437370-1 is not prime. Res64: 3257EFF0C858559A Time : 0.0 sec. user=mdettweiler [2016-08-13 02:14:00] 923*2^1437370-1 is not prime. Res64: 698AE6AD6A915D67 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:14:02] 933*2^1437370-1 is not prime. Res64: 4209E45A626723A9 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:14:03] 975*2^1437370-1 is not prime. Res64: 40BED8C0A96F7232 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:14:05] 693*2^1437371-1 is not prime. Res64: 4B55C293F27A9DB6 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:14:08] 783*2^1437371-1 is not prime. Res64: F312AF9F86493608 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:32:38] 943*2^1437371-1 is not prime. Res64: 4A276F92333423BA Time : 0.0 sec. user=mdettweiler [2016-08-13 02:32:39] 979*2^1437371-1 is not prime. Res64: 4F490EAAC976F996 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:32:39] 605*2^1437372-1 is not prime. Res64: 7AD3E280584AF3BC Time : 0.0 sec. user=mdettweiler [2016-08-13 02:32:40] 669*2^1437372-1 is not prime. Res64: 6096FD62D91B81F2 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:32:40] 909*2^1437372-1 is not prime. Res64: 49C03975F3F18139 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:47:07] 929*2^1437372-1 is not prime. Res64: CB5A91A8F0EFFC1B Time : 0.0 sec. user=mdettweiler [2016-08-13 02:47:08] 983*2^1437372-1 is not prime. Res64: 5C059C0C4C949E22 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:47:11] 805*2^1437373-1 is not prime. Res64: F4DBDA24D496C910 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:47:15] 885*2^1437373-1 is not prime. Res64: 2CEF05D2F6B02302 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:47:18] 951*2^1437373-1 is not prime. Res64: 13BACF8690B4DC63 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:59:51] 967*2^1437373-1 is not prime. Res64: ADD4DF9726A40F5E Time : 0.0 sec. user=mdettweiler [2016-08-13 02:59:52] 635*2^1437374-1 is not prime. Res64: 64610944CEA963A0 Time : 0.0 sec. user=mdettweiler [2016-08-13 02:59:52] 671*2^1437374-1 is not prime. Res64: D3D5EB3F3AC959BA Time : 0.0 sec. user=mdettweiler [2016-08-13 02:59:52] 851*2^1437374-1 is not prime. Res64: 74A8CD7B284C872A Time : 0.0 sec. user=mdettweiler [2016-08-13 02:59:53] 927*2^1437374-1 is not prime. Res64: 741391786BA3F97B Time : 0.0 sec. user=mdettweiler [2016-08-13 03:18:16] 909*2^1437375-1 is not prime. Res64: CB8325E11C3699C3 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:18:18] 933*2^1437375-1 is not prime. Res64: A61C9B3C624DAA72 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:18:20] 603*2^1437376-1 is not prime. Res64: 124D2F6AB4AD6257 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:18:23] 657*2^1437376-1 is not prime. Res64: 4AD85A9970A80555 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:18:25] 735*2^1437376-1 is not prime. Res64: B87F174FE8C13DD2 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:35:40] 759*2^1437376-1 is not prime. Res64: 0A15ECC076B20DE7 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:35:42] 803*2^1437376-1 is not prime. Res64: E0CDEAA74163EE8E Time : 0.0 sec. user=mdettweiler [2016-08-13 03:35:43] 957*2^1437376-1 is not prime. Res64: D85827DB7DC46802 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:35:44] 631*2^1437377-1 is not prime. Res64: FE5947C9A81A7AAD Time : 0.0 sec. user=mdettweiler [2016-08-13 03:35:45] 669*2^1437377-1 is not prime. Res64: BC39CC106A828873 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:46:46] 697*2^1437377-1 is not prime. Res64: 846A88055D5687BD Time : 0.0 sec. user=mdettweiler [2016-08-13 03:46:50] 717*2^1437377-1 is not prime. Res64: 5CF5F25A18115167 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:46:51] 771*2^1437377-1 is not prime. Res64: 7BC9348814820351 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:46:53] 847*2^1437377-1 is not prime. Res64: 7AC19BACCA4D6214 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:46:55] 871*2^1437377-1 is not prime. Res64: 4F4C239C9431C68A Time : 0.0 sec. user=mdettweiler [2016-08-13 03:59:12] 855*2^1437359-1 is not prime. Res64: 827009393C8612FA Time : 0.0 sec. user=mdettweiler [2016-08-13 03:59:13] 767*2^1437360-1 is not prime. Res64: 711ECE761070D871 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:59:14] 867*2^1437360-1 is not prime. Res64: DC102FBFE9F19EB9 Time : 0.0 sec. user=mdettweiler [2016-08-13 03:59:15] 879*2^1437360-1 is not prime. Res64: 0C0321DE644209DD Time : 0.0 sec. user=mdettweiler [2016-08-13 04:05:02] 885*2^1437377-1 is not prime. Res64: 5486946C3F806AD3 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:05:03] 981*2^1437377-1 is not prime. Res64: 4B04FC77159A4FC0 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:05:03] 633*2^1437378-1 is not prime. Res64: 5D6B3107500367FC Time : 0.0 sec. user=mdettweiler [2016-08-13 04:05:05] 711*2^1437378-1 is not prime. Res64: EC9133B661973A8D Time : 0.0 sec. user=mdettweiler [2016-08-13 04:05:06] 843*2^1437378-1 is not prime. Res64: C89EC39974B62AD9 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:21:46] 867*2^1437378-1 is not prime. Res64: 2047E5F27C19CF23 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:21:50] 619*2^1437379-1 is not prime. Res64: 910A692546FD7691 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:21:54] 811*2^1437379-1 is not prime. Res64: DA939122C2FC9DBE Time : 0.0 sec. user=mdettweiler [2016-08-13 04:21:57] 853*2^1437379-1 is not prime. Res64: 19FE5C180AA7AC92 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:21:58] 883*2^1437379-1 is not prime. Res64: A8C72199E72F1E25 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:32:26] 919*2^1437379-1 is not prime. Res64: 86321110378924CD Time : 0.0 sec. user=mdettweiler [2016-08-13 04:32:26] 975*2^1437379-1 is not prime. Res64: D20C7406C1FACA24 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:32:26] 609*2^1437380-1 is not prime. Res64: 5024858EBC2F30C2 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:32:27] 615*2^1437380-1 is not prime. Res64: F71998168B55CAEE Time : 0.0 sec. user=mdettweiler [2016-08-13 04:32:27] 633*2^1437380-1 is not prime. Res64: 7A5916C987B7A644 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:44:28] 675*2^1437380-1 is not prime. Res64: 4F3D56DB45908F4D Time : 0.0 sec. user=mdettweiler [2016-08-13 04:44:29] 833*2^1437380-1 is not prime. Res64: AA7FA680868EB1E7 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:44:34] 879*2^1437380-1 is not prime. Res64: A0E75AC21FC67E39 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:44:38] 923*2^1437380-1 is not prime. Res64: 78809A1E6D1DB281 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:44:41] 935*2^1437380-1 is not prime. Res64: 8B0DE2C056D6692E Time : 0.0 sec. user=mdettweiler [2016-08-13 04:50:04] 639*2^1437381-1 is not prime. Res64: 547985EFD06DFB8A Time : 0.0 sec. user=mdettweiler [2016-08-13 04:50:06] 681*2^1437381-1 is not prime. Res64: 4C9442BB52DD9759 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:50:09] 745*2^1437381-1 is not prime. Res64: 5FA1F674B36A47C8 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:50:11] 789*2^1437381-1 is not prime. Res64: 89221E4EE6B61926 Time : 0.0 sec. user=mdettweiler [2016-08-13 04:50:13] 795*2^1437381-1 is not prime. Res64: 5ABE85CAF0BEA186 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:06:57] 811*2^1437381-1 is not prime. Res64: C3115CB857922BCB Time : 0.0 sec. user=mdettweiler [2016-08-13 05:06:59] 867*2^1437381-1 is not prime. Res64: DEBF438E64384A7B Time : 0.0 sec. user=mdettweiler [2016-08-13 05:07:00] 945*2^1437381-1 is not prime. Res64: BBBBACD10675A8AD Time : 0.0 sec. user=mdettweiler [2016-08-13 05:07:02] 955*2^1437381-1 is not prime. Res64: C71FF0B5BFCCC13D Time : 0.0 sec. user=mdettweiler [2016-08-13 05:07:03] 647*2^1437382-1 is not prime. Res64: 61EBF6F85B3ED930 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:17:22] 665*2^1437382-1 is not prime. Res64: F9C5B2F66BFBC1A5 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:17:24] 705*2^1437382-1 is not prime. Res64: BD056E8F787545E2 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:17:26] 761*2^1437382-1 is not prime. Res64: 1C01236EB0D864CB Time : 0.0 sec. user=mdettweiler [2016-08-13 05:17:29] 821*2^1437382-1 is not prime. Res64: 65A4389CFA813738 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:17:31] 833*2^1437382-1 is not prime. Res64: E30DD33BE158FE18 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:29:36] 897*2^1437382-1 is not prime. Res64: 8F824137FD9B8418 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:29:37] 775*2^1437383-1 is not prime. Res64: 06AEF740EF3A8178 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:29:37] 889*2^1437383-1 is not prime. Res64: C8DF57EDA42E9F78 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:29:37] 985*2^1437383-1 is not prime. Res64: 992BFF0D1258C9D6 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:29:38] 657*2^1437384-1 is not prime. Res64: F4AD2574B49402AC Time : 0.0 sec. user=mdettweiler [2016-08-13 05:35:08] 663*2^1437384-1 is not prime. Res64: 1964EC1D6247F37A Time : 0.0 sec. user=mdettweiler [2016-08-13 05:35:08] 665*2^1437384-1 is not prime. Res64: 528830B03EF03253 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:35:09] 737*2^1437384-1 is not prime. Res64: 5AB59460F5EBE850 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:35:09] 753*2^1437384-1 is not prime. Res64: 40C16F163B3E1E39 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:35:10] 873*2^1437384-1 is not prime. Res64: D832EB4A3391996C Time : 0.0 sec. user=mdettweiler [2016-08-13 05:52:30] 983*2^1437384-1 is not prime. Res64: 3FE59789C7D62BFF Time : 0.0 sec. user=mdettweiler [2016-08-13 05:52:30] 601*2^1437385-1 is not prime. Res64: 697AB739F674FACA Time : 0.0 sec. user=mdettweiler [2016-08-13 05:52:31] 667*2^1437385-1 is not prime. Res64: 7163C84AB6221B48 Time : 0.0 sec. user=mdettweiler [2016-08-13 05:52:31] 675*2^1437385-1 is not prime. Res64: 4848B9B2FA240CCD Time : 0.0 sec. user=mdettweiler [2016-08-13 05:52:31] 855*2^1437385-1 is not prime. Res64: 7F37F83E0A938971 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:02:18] 861*2^1437385-1 is not prime. Res64: 97B7438048BEAA60 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:02:20] 867*2^1437385-1 is not prime. Res64: AAB439238A1DC0A8 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:02:21] 871*2^1437385-1 is not prime. Res64: B4A9E26C8D8903FC Time : 0.0 sec. user=mdettweiler [2016-08-13 06:02:22] 877*2^1437385-1 is not prime. Res64: 5D0AC53F611EC6BF Time : 0.0 sec. user=mdettweiler [2016-08-13 06:02:22] 951*2^1437385-1 is not prime. Res64: 095242F1D0F41A0C Time : 0.0 sec. user=mdettweiler [2016-08-13 06:14:31] 975*2^1437385-1 is not prime. Res64: 181D7993DEAC6CC4 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:14:31] 987*2^1437385-1 is not prime. Res64: B3C9CE459E877C43 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:14:35] 627*2^1437386-1 is not prime. Res64: 52A27E028582BA4B Time : 0.0 sec. user=mdettweiler [2016-08-13 06:14:38] 677*2^1437386-1 is not prime. Res64: 477BDF2820021A2C Time : 0.0 sec. user=mdettweiler [2016-08-13 06:14:42] 735*2^1437386-1 is not prime. Res64: B5BDD71A0785D100 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:20:10] 857*2^1437386-1 is not prime. Res64: 2D3F6F91F632AF86 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:20:12] 873*2^1437386-1 is not prime. Res64: 33C89E5020E2A0DC Time : 0.0 sec. user=mdettweiler [2016-08-13 06:20:14] 609*2^1437387-1 is not prime. Res64: 657A09D1B0755231 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:20:16] 703*2^1437387-1 is not prime. Res64: FFFDB137A657C2BE Time : 0.0 sec. user=mdettweiler [2016-08-13 06:20:18] 735*2^1437387-1 is not prime. Res64: 44FDEEF6AC163303 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:37:33] 765*2^1437387-1 is not prime. Res64: 4F6D5725E9230BEE Time : 0.0 sec. user=mdettweiler [2016-08-13 06:37:34] 793*2^1437387-1 is not prime. Res64: 9EA40DB0A0914D69 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:37:34] 795*2^1437387-1 is not prime. Res64: 1CBDB430D15E7643 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:37:35] 949*2^1437387-1 is not prime. Res64: F02CB843E4AE7110 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:37:35] 663*2^1437388-1 is not prime. Res64: 3D1F579938891B35 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:47:22] 665*2^1437388-1 is not prime. Res64: 230BA1FC1C268949 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:47:22] 735*2^1437388-1 is not prime. Res64: F2B5690DAF7BD4F4 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:47:23] 845*2^1437388-1 is not prime. Res64: 1300762740067F5C Time : 0.0 sec. user=mdettweiler [2016-08-13 06:47:23] 989*2^1437388-1 is not prime. Res64: 5818017EF1E92430 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:47:23] 645*2^1437389-1 is not prime. Res64: D2B8136047B0F075 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:59:44] 745*2^1437389-1 is not prime. Res64: E0056BD2E524FA83 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:59:45] 787*2^1437389-1 is not prime. Res64: 681DC79088CB6E5E Time : 0.0 sec. user=mdettweiler [2016-08-13 06:59:45] 799*2^1437389-1 is not prime. Res64: 967E1CF4BB9D3282 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:59:45] 811*2^1437389-1 is not prime. Res64: 7066E2D4915EC106 Time : 0.0 sec. user=mdettweiler [2016-08-13 06:59:46] 855*2^1437389-1 is not prime. Res64: 24C5D1272B3D3D6A Time : 0.0 sec. user=mdettweiler [2016-08-13 07:05:08] 991*2^1437389-1 is not prime. Res64: 26028FF56298BB17 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:05:08] 615*2^1437390-1 is not prime. Res64: FA7713115F48A8C7 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:05:10] 677*2^1437390-1 is not prime. Res64: 8A040D4470AD883A Time : 0.0 sec. user=mdettweiler [2016-08-13 07:05:11] 695*2^1437390-1 is not prime. Res64: D4F72054941CFCAC Time : 0.0 sec. user=mdettweiler [2016-08-13 07:05:12] 713*2^1437390-1 is not prime. Res64: 883C848CF085EC22 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:22:34] 725*2^1437390-1 is not prime. Res64: 1C4CF37302604391 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:22:34] 797*2^1437390-1 is not prime. Res64: E9B759270E4AFF9B Time : 0.0 sec. user=mdettweiler [2016-08-13 07:22:34] 801*2^1437390-1 is not prime. Res64: 8E5BCD13F31C524C Time : 0.0 sec. user=mdettweiler [2016-08-13 07:22:35] 639*2^1437391-1 is not prime. Res64: 0C8A9A4CDD649F96 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:22:35] 673*2^1437391-1 is not prime. Res64: 8BC860A4D040A311 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:32:15] 793*2^1437391-1 is not prime. Res64: 967645E511CC043E Time : 0.0 sec. user=mdettweiler [2016-08-13 07:32:15] 819*2^1437391-1 is not prime. Res64: D49CEBE0C25EF9C9 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:32:15] 849*2^1437391-1 is not prime. Res64: 026A4D9106B3AC9E Time : 0.0 sec. user=mdettweiler [2016-08-13 07:32:16] 871*2^1437391-1 is not prime. Res64: FBD988C0BA2A54EC Time : 0.0 sec. user=mdettweiler [2016-08-13 07:32:16] 969*2^1437391-1 is not prime. Res64: 7219A761A87692F3 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:44:32] 993*2^1437391-1 is not prime. Res64: BE1DCCC3F1B40EFF Time : 0.0 sec. user=mdettweiler [2016-08-13 07:44:36] 617*2^1437392-1 is not prime. Res64: 4EE05EBF06E5F426 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:44:39] 665*2^1437392-1 is not prime. Res64: F6640C84639E9258 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:44:43] 753*2^1437392-1 is not prime. Res64: 31FBFF513C0B5FEC Time : 0.0 sec. user=mdettweiler [2016-08-13 07:44:47] 767*2^1437392-1 is not prime. Res64: 5EABC80B8D236D89 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:50:14] 833*2^1437392-1 is not prime. Res64: F87EC609AA089F8A Time : 0.0 sec. user=mdettweiler [2016-08-13 07:50:15] 669*2^1437393-1 is not prime. Res64: 38872C0151E54583 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:50:15] 681*2^1437393-1 is not prime. Res64: D6EB29E3DFD45EE8 Time : 0.0 sec. user=mdettweiler [2016-08-13 07:50:15] 759*2^1437393-1 is not prime. Res64: C6615D242F8F187F Time : 0.0 sec. user=mdettweiler [2016-08-13 07:50:16] 811*2^1437393-1 is not prime. Res64: 11CE130FE1037777 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:07:15] 849*2^1437393-1 is not prime. Res64: 32E3EE06DB4D6AB4 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:07:16] 871*2^1437393-1 is not prime. Res64: EE9333668D512437 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:07:18] 915*2^1437393-1 is not prime. Res64: 6082F3C54951889D Time : 0.0 sec. user=mdettweiler [2016-08-13 08:07:19] 645*2^1437394-1 is not prime. Res64: 7AAEEACD8207D279 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:07:22] 783*2^1437394-1 is not prime. Res64: 289DC86D0D596B3D Time : 0.0 sec. user=juhehe [2016-08-13 08:15:37] 609*2^1437395-1 is not prime. Res64: B12EB71C027B0006 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:17:07] 813*2^1437394-1 is not prime. Res64: B72FD232D73E4560 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:17:07] 831*2^1437394-1 is not prime. Res64: 0E6F618E420F44D8 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:17:09] 833*2^1437394-1 is not prime. Res64: FDC25AF26A39AA7C Time : 0.0 sec. user=mdettweiler [2016-08-13 08:17:11] 951*2^1437394-1 is not prime. Res64: 6325E0A84C9B5784 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:17:14] 1001*2^1437394-1 is not prime. Res64: 60556186ED8FC69A Time : 0.0 sec. user=mdettweiler [2016-08-13 08:29:54] 669*2^1437395-1 is not prime. Res64: 8759FE7961B40DF5 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:29:54] 733*2^1437395-1 is not prime. Res64: 7FCEB67EDC03D407 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:29:54] 981*2^1437395-1 is not prime. Res64: C0E8BC28F9103AFC Time : 0.0 sec. user=mdettweiler [2016-08-13 08:29:55] 623*2^1437396-1 is not prime. Res64: F6D9EBCAAA55AB5E Time : 0.0 sec. user=mdettweiler [2016-08-13 08:29:55] 639*2^1437396-1 is not prime. Res64: 3D6DD33D83D4FCED Time : 0.0 sec. user=mdettweiler [2016-08-13 08:35:16] 675*2^1437396-1 is not prime. Res64: F39BF30B716FE357 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:35:16] 707*2^1437396-1 is not prime. Res64: 92A6C85D25A67602 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:35:17] 765*2^1437396-1 is not prime. Res64: 0D521E5C761EEE30 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:35:17] 839*2^1437396-1 is not prime. Res64: 696523DB4FB2860E Time : 0.0 sec. user=mdettweiler [2016-08-13 08:35:18] 879*2^1437396-1 is not prime. Res64: 27BF489078DD44FE Time : 0.0 sec. user=mdettweiler [2016-08-13 08:52:32] 717*2^1437397-1 is not prime. Res64: 4902520309C0E818 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:52:32] 897*2^1437397-1 is not prime. Res64: C3C8FED018845A78 Time : 0.0 sec. user=mdettweiler [2016-08-13 08:52:32] 979*2^1437397-1 is not prime. Res64: 31B5E31D78866F1F Time : 0.0 sec. user=mdettweiler [2016-08-13 08:52:33] 693*2^1437398-1 is not prime. Res64: 65FA068E713A3FBD Time : 0.0 sec. user=mdettweiler [2016-08-13 08:52:33] 731*2^1437398-1 is not prime. Res64: 82620FC2364734A4 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:02:03] 825*2^1437398-1 is not prime. Res64: 84882BC7482368BB Time : 0.0 sec. user=mdettweiler [2016-08-13 09:02:06] 843*2^1437398-1 is not prime. Res64: A73FD28D9C8DEED0 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:02:08] 893*2^1437398-1 is not prime. Res64: D0B5E98D137A3365 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:02:10] 649*2^1437399-1 is not prime. Res64: EB6AF3A056E9F94E Time : 0.0 sec. user=mdettweiler [2016-08-13 09:02:13] 663*2^1437399-1 is not prime. Res64: B5A4F019451DCDED Time : 0.0 sec. user=mdettweiler [2016-08-13 09:14:35] 685*2^1437399-1 is not prime. Res64: 29F1D0EBD3179AC8 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:14:36] 703*2^1437399-1 is not prime. Res64: E70499E736DFFB06 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:14:36] 795*2^1437399-1 is not prime. Res64: CD3916A87C8E27C3 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:14:37] 865*2^1437399-1 is not prime. Res64: B0D1C76A44276054 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:14:37] 933*2^1437399-1 is not prime. Res64: E01A5A6E554CBF2C Time : 0.0 sec. user=mdettweiler [2016-08-13 09:20:01] 645*2^1437400-1 is not prime. Res64: 6615E39CF6EFB0AF Time : 0.0 sec. user=mdettweiler [2016-08-13 09:20:01] 713*2^1437400-1 is not prime. Res64: C88261E3876DBE10 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:20:02] 863*2^1437400-1 is not prime. Res64: 6F6D80F1BFC4A840 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:20:02] 875*2^1437400-1 is not prime. Res64: 83201CCC60877C04 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:20:03] 899*2^1437400-1 is not prime. Res64: F5471665F91514C0 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:37:23] 933*2^1437400-1 is not prime. Res64: 728E8FC8257E0E15 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:37:23] 715*2^1437401-1 is not prime. Res64: 758027BE0F5603D1 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:37:24] 909*2^1437401-1 is not prime. Res64: 8C17E4080CD40723 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:37:24] 937*2^1437401-1 is not prime. Res64: 9B8C470F8A20017A Time : 0.0 sec. user=mdettweiler [2016-08-13 09:37:24] 981*2^1437401-1 is not prime. Res64: D400F865894866AE Time : 0.0 sec. user=mdettweiler [2016-08-13 09:47:08] 677*2^1437402-1 is not prime. Res64: 1512BDF417DDE859 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:47:08] 723*2^1437402-1 is not prime. Res64: C56D8DA07CEA3521 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:47:09] 747*2^1437402-1 is not prime. Res64: AA7CE8B32DA22B77 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:47:09] 765*2^1437402-1 is not prime. Res64: 7F078F4FA4B37E30 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:47:09] 797*2^1437402-1 is not prime. Res64: E9031446F0D20591 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:59:46] 875*2^1437402-1 is not prime. Res64: F4F8C4A15F4071B0 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:59:49] 885*2^1437402-1 is not prime. Res64: 64E79586823EF851 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:59:53] 917*2^1437402-1 is not prime. Res64: BCB2553D68181738 Time : 0.0 sec. user=mdettweiler [2016-08-13 09:59:56] 619*2^1437403-1 is not prime. Res64: 307E4EC5D6A258D1 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:00:00] 769*2^1437403-1 is not prime. Res64: F0164BC8588D71A5 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:05:08] 853*2^1437403-1 is not prime. Res64: 5CD594E45CB6D6EB Time : 0.0 sec. user=mdettweiler [2016-08-13 10:05:09] 855*2^1437403-1 is not prime. Res64: ED748FF54F7711B8 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:05:10] 895*2^1437403-1 is not prime. Res64: B2C416041A3209D8 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:05:11] 961*2^1437403-1 is not prime. Res64: 1BEC4E87D9ADEDAD Time : 0.0 sec. user=mdettweiler [2016-08-13 10:05:12] 675*2^1437404-1 is not prime. Res64: 8C01815ECB95F438 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:33:07] 625*2^1437405-1 is not prime. Res64: 40AC552B095C1D90 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:33:07] 699*2^1437405-1 is not prime. Res64: 9749C6F1CAF953A9 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:33:08] 867*2^1437405-1 is not prime. Res64: 975E333425B4194C Time : 0.0 sec. user=mdettweiler [2016-08-13 10:33:08] 885*2^1437405-1 is not prime. Res64: 704CBFF48A529DAA Time : 0.0 sec. user=mdettweiler [2016-08-13 10:33:09] 889*2^1437405-1 is not prime. Res64: E11FC5EE3768C67F Time : 0.0 sec. user=mdettweiler [2016-08-13 10:46:03] 895*2^1437405-1 is not prime. Res64: F545D051C02BD9E4 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:46:03] 947*2^1437406-1 is not prime. Res64: 1B2AD9333FA218A0 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:46:03] 965*2^1437406-1 is not prime. Res64: A5F8C5999E383C20 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:46:04] 649*2^1437407-1 is not prime. Res64: B5DC45472ED484B7 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:46:04] 673*2^1437407-1 is not prime. Res64: 52BEE3F956F9EEAD Time : 0.0 sec. user=mdettweiler [2016-08-13 10:51:33] 861*2^1437407-1 is not prime. Res64: 4F6C529E1C282F28 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:51:36] 915*2^1437407-1 is not prime. Res64: E77FF90DA6D434A8 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:51:38] 973*2^1437407-1 is not prime. Res64: 0881D71B34BE7495 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:51:40] 725*2^1437408-1 is not prime. Res64: 8B8F2367B4D6A177 Time : 0.0 sec. user=mdettweiler [2016-08-13 10:51:43] 819*2^1437408-1 is not prime. Res64: CFC9C83682F6F6AE Time : 0.0 sec. user=mdettweiler [2016-08-13 11:18:49] 843*2^1437408-1 is not prime. Res64: FC76D009F267E086 Time : 0.0 sec. user=mdettweiler [2016-08-13 11:18:51] 933*2^1437408-1 is not prime. Res64: BDDD7C8981CEBB58 Time : 0.0 sec. user=mdettweiler [2016-08-13 11:18:53] 957*2^1437408-1 is not prime. Res64: 260A2E8B45D3C4F1 Time : 0.0 sec. user=mdettweiler [2016-08-13 11:18:55] 959*2^1437408-1 is not prime. Res64: 15073787DEB401BB Time : 0.0 sec. user=mdettweiler [2016-08-13 11:18:57] 625*2^1437409-1 is not prime. Res64: D1F5BBD966CE852E Time : 0.0 sec. user=mdettweiler [2016-08-13 11:32:02] 801*2^1437409-1 is not prime. Res64: 29B6CE2ACFFE83F9 Time : 0.0 sec. user=mdettweiler [2016-08-13 11:32:02] 841*2^1437409-1 is not prime. Res64: 94E97D232F151398 Time : 0.0 sec. user=mdettweiler [2016-08-13 11:32:03] 861*2^1437409-1 is not prime. Res64: 6DD2A462CA476544 Time : 0.0 sec. user=mdettweiler [2016-08-13 11:32:03] 875*2^1437410-1 is not prime. Res64: A2E39E992DE68E2E Time : 0.0 sec. user=mdettweiler [2016-08-13 11:32:04] 945*2^1437410-1 is not prime. Res64: 1436454C0090F370 Time : 0.0 sec. user=mdettweiler [2016-08-13 11:37:28] 741*2^1437411-1 is not prime. Res64: 6069ABBF409600AB Time : 0.0 sec. user=mdettweiler [2016-08-13 11:37:28] 789*2^1437411-1 is not prime. Res64: 6290DD86096A05DB Time : 0.0 sec. user=mdettweiler [2016-08-13 11:37:29] 903*2^1437411-1 is not prime. Res64: 9CB1540C02321DBF Time : 0.0 sec. user=mdettweiler [2016-08-13 11:37:29] 605*2^1437412-1 is not prime. Res64: 5D475D675CD1574F Time : 0.0 sec. user=mdettweiler [2016-08-13 11:37:29] 609*2^1437412-1 is not prime. Res64: 2BA22CBBD5AFD96F Time : 0.0 sec. user=mdettweiler [2016-08-13 12:04:53] 657*2^1437412-1 is not prime. Res64: FA14B5A87340E400 Time : 0.0 sec. user=mdettweiler [2016-08-13 12:04:54] 677*2^1437412-1 is not prime. Res64: DD3621BAEF4A0B10 Time : 0.0 sec. user=mdettweiler [2016-08-13 12:04:55] 693*2^1437412-1 is not prime. Res64: C5FD72B155970BAB Time : 0.0 sec. user=mdettweiler [2016-08-13 12:04:56] 807*2^1437412-1 is not prime. Res64: FA13587E918EE17C Time : 0.0 sec. user=mdettweiler [2016-08-13 12:04:57] 857*2^1437412-1 is not prime. Res64: AEEBA04ECD4FF51F Time : 0.0 sec. user=mdettweiler [2016-08-13 12:23:29] 675*2^1437413-1 is not prime. Res64: B6168BF6FE94F37E Time : 0.0 sec. user=mdettweiler [2016-08-13 12:23:29] 729*2^1437413-1 is not prime. Res64: EC803EB64977736B Time : 0.0 sec. user=mdettweiler [2016-08-13 12:23:30] 747*2^1437413-1 is not prime. Res64: E29FCDEA9D9C3B63 Time : 0.0 sec. user=mdettweiler [2016-08-13 12:23:30] 805*2^1437413-1 is not prime. Res64: 51AF784540C1ECB2 Time : 0.0 sec. user=mdettweiler [2016-08-13 12:23:31] 861*2^1437413-1 is not prime. Res64: E72EEBCA416F279C Time : 0.0 sec. user=mdettweiler [2016-08-13 12:53:04] 885*2^1437413-1 is not prime. Res64: 447B6874D9C82753 Time : 0.0 sec. user=mdettweiler [2016-08-13 12:53:04] 969*2^1437413-1 is not prime. Res64: 1B3ECA4C771B6557 Time : 0.0 sec. user=mdettweiler [2016-08-13 12:53:05] 693*2^1437414-1 is not prime. Res64: 1ED541CA4E42A6FE Time : 0.0 sec. user=mdettweiler [2016-08-13 12:53:05] 723*2^1437414-1 is not prime. Res64: FC4BCCF9F38C1DA9 Time : 0.0 sec. user=mdettweiler [2016-08-13 12:53:05] 755*2^1437414-1 is not prime. Res64: 23462B312A9FED68 Time : 0.0 sec. user=mdettweiler [2016-08-13 13:44:12] 625*2^1437415-1 is not prime. Res64: 7AC01A18B2A3F176 Time : 0.0 sec. user=mdettweiler [2016-08-13 13:44:16] 675*2^1437415-1 is not prime. Res64: F998A5328A8FC2F3 Time : 0.0 sec. user=mdettweiler [2016-08-13 13:44:20] 841*2^1437415-1 is not prime. Res64: 51294C11FBB7CC95 Time : 0.0 sec. user=mdettweiler [2016-08-13 13:44:23] 873*2^1437415-1 is not prime. Res64: 8A4D0F2AE79103B4 Time : 0.0 sec. user=mdettweiler [2016-08-13 13:44:28] 885*2^1437415-1 is not prime. Res64: 0CDCDA00AE2DB8CC Time : 0.0 sec. user=mdettweiler [2016-08-13 14:36:00] 925*2^1437415-1 is not prime. Res64: 4E23EC81A642AB37 Time : 0.0 sec. user=mdettweiler [2016-08-13 14:36:00] 735*2^1437416-1 is not prime. Res64: 7D6C5DC3119587AE Time : 0.0 sec. user=mdettweiler [2016-08-13 14:36:01] 755*2^1437416-1 is not prime. Res64: 77978D33FA3DFF86 Time : 0.0 sec. user=mdettweiler [2016-08-13 14:36:01] 609*2^1437417-1 is not prime. Res64: 41AF516C398658C2 Time : 0.0 sec. user=mdettweiler [2016-08-13 14:36:02] 615*2^1437417-1 is not prime. Res64: DA24FF25045D7897 Time : 0.0 sec. user=mdettweiler [2016-08-13 15:28:26] 699*2^1437417-1 is not prime. Res64: FEAA33AB78D11211 Time : 0.0 sec. user=mdettweiler [2016-08-13 15:28:27] 847*2^1437417-1 is not prime. Res64: AF33310F019BE9F9 Time : 0.0 sec. user=mdettweiler [2016-08-13 15:28:27] 623*2^1437418-1 is not prime. Res64: 5A1EEFBB2BCB6130 Time : 0.0 sec. user=mdettweiler [2016-08-13 15:28:27] 723*2^1437418-1 is not prime. Res64: BE359739731A7F80 Time : 0.0 sec. user=mdettweiler [2016-08-13 15:28:28] 803*2^1437418-1 is not prime. Res64: AC28571738BA6E78 Time : 0.0 sec. user=mdettweiler [2016-08-13 16:20:27] 831*2^1437418-1 is not prime. Res64: 49810A36BB810214 Time : 0.0 sec. user=mdettweiler [2016-08-13 16:20:28] 857*2^1437418-1 is not prime. Res64: 62C23737FAEF77EB Time : 0.0 sec. user=mdettweiler [2016-08-13 16:20:28] 993*2^1437418-1 is not prime. Res64: 9939BB73B9CCB68D Time : 0.0 sec. user=mdettweiler [2016-08-13 16:20:28] 633*2^1437419-1 is not prime. Res64: E1558A8C6427C1CF Time : 0.0 sec. user=mdettweiler [2016-08-13 16:20:29] 711*2^1437419-1 is not prime. Res64: C182CF1914E3AD9D Time : 0.0 sec. user=mdettweiler [2016-08-13 17:12:28] 733*2^1437419-1 is not prime. Res64: 0A774E604EFB08A1 Time : 0.0 sec. user=mdettweiler [2016-08-13 19:51:26] 707*2^1437404-1 is not prime. Res64: 6E27FE61E4498F88 Time : 0.0 sec. user=mdettweiler [2016-08-13 19:51:26] 767*2^1437404-1 is not prime. Res64: EE59199A2ECAAB6B Time : 0.0 sec. user=mdettweiler [2016-08-13 19:51:27] 869*2^1437404-1 is not prime. Res64: 431465F8AD8C57FA Time : 0.0 sec. user=mdettweiler [2016-08-13 19:51:28] 893*2^1437404-1 is not prime. Res64: B06FC7F9C607DC72 Time : 0.0 sec. user=mdettweiler [2016-08-13 19:51:28] 995*2^1437404-1 is not prime. Res64: D84B97143C02A7D8 Time : 0.0 sec. user=mdettweiler [2016-08-13 20:43:29] 839*2^1437420-1 is not prime. Res64: 6D2E72670FFD374B Time : 0.0 sec. user=mdettweiler [2016-08-13 20:43:31] 651*2^1437421-1 is not prime. Res64: 37F8043FF7798BC3 Time : 0.0 sec. user=mdettweiler [2016-08-13 20:43:33] 717*2^1437421-1 is not prime. Res64: E4C96993CC47B470 Time : 0.0 sec. user=mdettweiler [2016-08-13 20:43:36] 927*2^1437421-1 is not prime. Res64: 546E01293D3708CF Time : 0.0 sec. user=mdettweiler [2016-08-13 20:43:38] 931*2^1437421-1 is not prime. Res64: F34339DFB4ADDF05 Time : 0.0 sec. user=juhehe [2016-08-13 20:47:29] 999*2^1437421-1 is not prime. Res64: B2BBD6CDBF042639 Time : 0.0 sec. user=mdettweiler [2016-08-13 21:35:46] 937*2^1437421-1 is not prime. Res64: B0335D01C957E3F8 Time : 0.0 sec. user=mdettweiler [2016-08-13 21:35:46] 961*2^1437421-1 is not prime. Res64: 29F6288CBA63782E Time : 0.0 sec. user=mdettweiler [2016-08-13 21:35:47] 731*2^1437422-1 is not prime. Res64: BBEECC08D4769B1F Time : 0.0 sec. user=mdettweiler [2016-08-13 21:35:47] 815*2^1437422-1 is not prime. Res64: EF9F81C8625E045F Time : 0.0 sec. user=mdettweiler [2016-08-13 21:35:48] 893*2^1437422-1 is not prime. Res64: B970F460E18A38D5 Time : 0.0 sec. user=mdettweiler [2016-08-13 22:27:44] 945*2^1437422-1 is not prime. Res64: 10E3EAF2A3F266D3 Time : 0.0 sec. user=mdettweiler [2016-08-13 22:27:44] 1001*2^1437422-1 is not prime. Res64: EE248BF6F4744841 Time : 0.0 sec. user=mdettweiler [2016-08-13 22:27:44] 663*2^1437423-1 is not prime. Res64: E2D9DD3300911AA0 Time : 0.0 sec. user=mdettweiler [2016-08-13 22:27:45] 675*2^1437423-1 is not prime. Res64: B0A77D41A3BFA11B Time : 0.0 sec. user=mdettweiler [2016-08-13 22:27:45] 741*2^1437423-1 is not prime. Res64: 5579910DF4B38663 Time : 0.0 sec. user=mdettweiler [2016-08-13 23:20:22] 831*2^1437423-1 is not prime. Res64: 7719A96F1E3D889A Time : 0.0 sec. user=mdettweiler [2016-08-13 23:20:22] 871*2^1437423-1 is not prime. Res64: B9CB477FFE48E9FE Time : 0.0 sec. user=mdettweiler [2016-08-13 23:20:23] 919*2^1437423-1 is not prime. Res64: 505887B95D64CF1B Time : 0.0 sec. user=mdettweiler [2016-08-13 23:20:23] 955*2^1437423-1 is not prime. Res64: 0B63A9F8024BBECD Time : 0.0 sec. user=mdettweiler [2016-08-13 23:20:24] 609*2^1437424-1 is not prime. Res64: 4CF1786343FF1886 Time : 0.0 sec. user=mdettweiler [2016-08-13 23:45:32] 843*2^1437419-1 is not prime. Res64: 93C6E6300AB64A62 Time : 0.0 sec. user=mdettweiler [2016-08-13 23:45:32] 855*2^1437419-1 is not prime. Res64: FC07426E9F828CB3 Time : 0.0 sec. user=mdettweiler [2016-08-13 23:45:33] 693*2^1437420-1 is not prime. Res64: 986C687F0E588628 Time : 0.0 sec. user=mdettweiler [2016-08-13 23:45:33] 777*2^1437420-1 is not prime. Res64: F776162884580E11 Time : 0.0 sec.