user=mdettweiler [2016-05-06 00:27:29] 735*2^1428336-1 is not prime. Res64: E17DD5157EA6B3E4 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:27:30] 601*2^1428337-1 is not prime. Res64: 8B932B7D2C199C40 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:27:30] 619*2^1428337-1 is not prime. Res64: A9A0729ACE027608 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:27:31] 729*2^1428337-1 is not prime. Res64: 96D5AD428C8833E3 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:27:31] 775*2^1428337-1 is not prime. Res64: FCFC0278F65D7988 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:29:37] 801*2^1428337-1 is not prime. Res64: 1511363281CA0B54 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:29:38] 819*2^1428337-1 is not prime. Res64: 95732A33E165708B Time : 0.0 sec. user=mdettweiler [2016-05-06 00:29:38] 677*2^1428338-1 is not prime. Res64: A0C7015BC52E17EE Time : 0.0 sec. user=mdettweiler [2016-05-06 00:29:39] 791*2^1428338-1 is not prime. Res64: 95A5C4720C2C2C10 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:29:39] 837*2^1428338-1 is not prime. Res64: BC61F2DB615CE734 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:41:13] 885*2^1428338-1 is not prime. Res64: 8A9DC5206728751C Time : 0.0 sec. user=mdettweiler [2016-05-06 00:41:14] 951*2^1428338-1 is not prime. Res64: CBF3A88457D7404D Time : 0.0 sec. user=mdettweiler [2016-05-06 00:41:14] 987*2^1428338-1 is not prime. Res64: C76811293ED5D34D Time : 0.0 sec. user=mdettweiler [2016-05-06 00:41:14] 995*2^1428338-1 is not prime. Res64: C57A6601E74227D4 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:41:15] 675*2^1428339-1 is not prime. Res64: F4FC6E85146D2294 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:41:21] 685*2^1428339-1 is not prime. Res64: BD6E40716C78692D Time : 0.0 sec. user=mdettweiler [2016-05-06 00:41:21] 705*2^1428339-1 is not prime. Res64: 4FDEF7EBB14F7F02 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:41:22] 745*2^1428339-1 is not prime. Res64: E6BE7827351E8464 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:41:22] 769*2^1428339-1 is not prime. Res64: 19D40781081378C4 Time : 0.0 sec. user=mdettweiler [2016-05-06 00:41:23] 895*2^1428339-1 is not prime. Res64: B6AD2441EC4875F0 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:13:18] 991*2^1428339-1 is not prime. Res64: 062D951021F75FB3 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:13:19] 609*2^1428340-1 is not prime. Res64: 228529A6B58C605C Time : 0.0 sec. user=mdettweiler [2016-05-06 01:13:19] 647*2^1428340-1 is not prime. Res64: 75916ED1CC4555AA Time : 0.0 sec. user=mdettweiler [2016-05-06 01:13:20] 797*2^1428340-1 is not prime. Res64: 3CA56D1FB0708DE8 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:13:20] 843*2^1428340-1 is not prime. Res64: 9A5D2E36CE70327B Time : 0.0 sec. user=mdettweiler [2016-05-06 01:15:25] 875*2^1428340-1 is not prime. Res64: E5C6C6A614DCAEDC Time : 0.0 sec. user=mdettweiler [2016-05-06 01:15:26] 715*2^1428341-1 is not prime. Res64: 17A4366D56127C33 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:15:26] 907*2^1428341-1 is not prime. Res64: D0E3DC20C34DB2F1 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:15:26] 987*2^1428341-1 is not prime. Res64: CE5CF5DD1B05509C Time : 0.0 sec. user=mdettweiler [2016-05-06 01:15:27] 997*2^1428341-1 is not prime. Res64: 0550AB45FCB3BD0C Time : 0.0 sec. user=mdettweiler [2016-05-06 01:26:58] 765*2^1428343-1 is not prime. Res64: 2308B7289EE4637E Time : 0.0 sec. user=mdettweiler [2016-05-06 01:26:59] 891*2^1428343-1 is not prime. Res64: B8BC06574845A90E Time : 0.0 sec. user=mdettweiler [2016-05-06 01:27:00] 681*2^1428342-1 is not prime. Res64: 4DDC772F5DC59AF0 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:27:01] 723*2^1428342-1 is not prime. Res64: EAAF3878C1EBCF63 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:27:01] 985*2^1428343-1 is not prime. Res64: 901BBC0D68861D78 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:27:02] 833*2^1428342-1 is not prime. Res64: 3141E0CC7F5153D6 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:27:02] 875*2^1428344-1 is not prime. Res64: 99DA342D16C7DCC6 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:27:03] 915*2^1428342-1 is not prime. Res64: B0E83CF5DA6457DD Time : 0.0 sec. user=mdettweiler [2016-05-06 01:27:03] 903*2^1428344-1 is not prime. Res64: 523665DEB1272000 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:27:04] 965*2^1428342-1 is not prime. Res64: B2A4A23E3DD9D623 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:59:09] 957*2^1428344-1 is not prime. Res64: 52DAE1A8F753C128 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:59:09] 969*2^1428344-1 is not prime. Res64: 8443D4C78C4B2416 Time : 0.0 sec. user=mdettweiler [2016-05-06 01:59:10] 679*2^1428345-1 is not prime. Res64: BCEA02223C919B5D Time : 0.0 sec. user=mdettweiler [2016-05-06 01:59:10] 831*2^1428345-1 is not prime. Res64: E68CF41ECA89C98A Time : 0.0 sec. user=mdettweiler [2016-05-06 01:59:10] 889*2^1428345-1 is not prime. Res64: A3B2FA08FDC1DC68 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:01:42] 623*2^1428346-1 is not prime. Res64: D70EA5F7A53AF315 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:01:44] 653*2^1428346-1 is not prime. Res64: F3DCC659A92FC04F Time : 0.0 sec. user=mdettweiler [2016-05-06 02:01:45] 671*2^1428346-1 is not prime. Res64: E0A4B6EFFE527204 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:01:46] 675*2^1428346-1 is not prime. Res64: B71BF477A27B9899 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:01:48] 801*2^1428346-1 is not prime. Res64: C89058B773BEE694 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:13:38] 887*2^1428346-1 is not prime. Res64: 471B7D15AE21B6EB Time : 0.0 sec. user=mdettweiler [2016-05-06 02:13:38] 685*2^1428347-1 is not prime. Res64: 096179C1D4E4AD0F Time : 0.0 sec. user=mdettweiler [2016-05-06 02:13:38] 903*2^1428346-1 is not prime. Res64: 11462F6193D99A57 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:13:38] 735*2^1428347-1 is not prime. Res64: B02148517FADCBA0 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:13:39] 923*2^1428346-1 is not prime. Res64: E5610B773A80EC4E Time : 0.0 sec. user=mdettweiler [2016-05-06 02:13:39] 753*2^1428347-1 is not prime. Res64: 2AB5F3E55441AD5D Time : 0.0 sec. user=mdettweiler [2016-05-06 02:13:39] 933*2^1428346-1 is not prime. Res64: F610308A457178A1 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:13:40] 841*2^1428347-1 is not prime. Res64: 63696440302C3A0E Time : 0.0 sec. user=mdettweiler [2016-05-06 02:13:40] 945*2^1428346-1 is not prime. Res64: 4270EDD7CC44784F Time : 0.0 sec. user=mdettweiler [2016-05-06 02:13:40] 915*2^1428347-1 is not prime. Res64: 25DF5891D55A9F03 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:45:41] 985*2^1428347-1 is not prime. Res64: 79BA8F00FA382112 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:45:42] 991*2^1428347-1 is not prime. Res64: 1D92970305EE2F3F Time : 0.0 sec. user=mdettweiler [2016-05-06 02:45:42] 635*2^1428348-1 is not prime. Res64: 76A7CE6F6C27941E Time : 0.0 sec. user=mdettweiler [2016-05-06 02:45:43] 695*2^1428348-1 is not prime. Res64: 58CA0BD021ADE499 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:45:43] 783*2^1428348-1 is not prime. Res64: B6EF1F30FB2752D9 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:47:59] 675*2^1428349-1 is not prime. Res64: D2693E02C7B3993D Time : 0.0 sec. user=mdettweiler [2016-05-06 02:48:00] 687*2^1428349-1 is not prime. Res64: 963BE4FBD3A0F30F Time : 0.0 sec. user=mdettweiler [2016-05-06 02:48:00] 721*2^1428349-1 is not prime. Res64: D376F86EEBD7A3B9 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:48:00] 769*2^1428349-1 is not prime. Res64: 4AEA980B7814F473 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:48:01] 831*2^1428349-1 is not prime. Res64: 6BACD0C26F7BF124 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:59:31] 731*2^1428350-1 is not prime. Res64: 62B2B00D3FDDE2FC Time : 0.0 sec. user=mdettweiler [2016-05-06 02:59:31] 975*2^1428349-1 is not prime. Res64: 1D68FB7A231C92C3 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:59:32] 785*2^1428350-1 is not prime. Res64: A30D78FF6D9505ED Time : 0.0 sec. user=mdettweiler [2016-05-06 02:59:32] 979*2^1428349-1 is not prime. Res64: 19CFF4D025C39C09 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:59:32] 867*2^1428350-1 is not prime. Res64: 8D1362E4F44F0628 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:59:33] 987*2^1428349-1 is not prime. Res64: 88F8FEEF4C4F05EE Time : 0.0 sec. user=mdettweiler [2016-05-06 02:59:33] 945*2^1428350-1 is not prime. Res64: 36E6797F62FFF0F7 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:59:34] 623*2^1428350-1 is not prime. Res64: 8C189B619748039C Time : 0.0 sec. user=mdettweiler [2016-05-06 02:59:34] 977*2^1428350-1 is not prime. Res64: 2DF2E625A59A6101 Time : 0.0 sec. user=mdettweiler [2016-05-06 02:59:35] 663*2^1428350-1 is not prime. Res64: 06E68E8866D1CA1B Time : 0.0 sec. user=mdettweiler [2016-05-06 03:31:29] 615*2^1428351-1 is not prime. Res64: 18364DE0BB187102 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:31:30] 661*2^1428351-1 is not prime. Res64: C11E775847B19896 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:31:31] 763*2^1428351-1 is not prime. Res64: 926F5F63B6E2E6AC Time : 0.0 sec. user=mdettweiler [2016-05-06 03:31:32] 829*2^1428351-1 is not prime. Res64: 07552AB2790AF61D Time : 0.0 sec. user=mdettweiler [2016-05-06 03:31:33] 933*2^1428351-1 is not prime. Res64: 95D574ED4A42854A Time : 0.0 sec. user=mdettweiler [2016-05-06 03:33:46] 635*2^1428352-1 is not prime. Res64: 57922ADD516624D2 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:33:47] 639*2^1428352-1 is not prime. Res64: 06A9DA25BF51FC70 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:33:48] 695*2^1428352-1 is not prime. Res64: 8297511CCF2669B5 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:33:49] 843*2^1428352-1 is not prime. Res64: E4F05CC6884E8045 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:33:50] 873*2^1428352-1 is not prime. Res64: 8524CBBE71819AC4 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:45:15] 915*2^1428353-1 is not prime. Res64: 7E18B50427DD2B83 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:45:16] 621*2^1428354-1 is not prime. Res64: 6353BE6C4D15DF60 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:45:17] 671*2^1428354-1 is not prime. Res64: F8015E017993FA5B Time : 0.0 sec. user=mdettweiler [2016-05-06 03:45:18] 681*2^1428354-1 is not prime. Res64: AAF6DE88F869B5AD Time : 0.0 sec. user=mdettweiler [2016-05-06 03:45:19] 717*2^1428354-1 is not prime. Res64: A7BC3133D911B55E Time : 0.0 sec. user=mdettweiler [2016-05-06 03:45:36] 939*2^1428352-1 is not prime. Res64: 74BF588A23D9A1B0 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:45:37] 619*2^1428353-1 is not prime. Res64: FB4826575AC90F10 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:45:38] 727*2^1428353-1 is not prime. Res64: AE1751AD60040CCA Time : 0.0 sec. user=mdettweiler [2016-05-06 03:45:40] 789*2^1428353-1 is not prime. Res64: 78D15E0BA0DA6165 Time : 0.0 sec. user=mdettweiler [2016-05-06 03:45:41] 811*2^1428353-1 is not prime. Res64: 3192F36FBDCCAB1F Time : 0.0 sec. user=mdettweiler [2016-05-06 04:18:50] 741*2^1428354-1 is not prime. Res64: 5B91FD3FA3B029BA Time : 0.0 sec. user=mdettweiler [2016-05-06 04:18:51] 905*2^1428354-1 is not prime. Res64: F2E672027DCBD8C0 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:18:52] 921*2^1428354-1 is not prime. Res64: 8EC6786386E85FC4 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:18:53] 993*2^1428354-1 is not prime. Res64: 87CD3FFFF70D3CD9 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:18:54] 601*2^1428355-1 is not prime. Res64: 956C14F58B935B1F Time : 0.0 sec. user=mdettweiler [2016-05-06 04:20:50] 631*2^1428355-1 is not prime. Res64: 6E454AB233A1F999 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:20:51] 793*2^1428355-1 is not prime. Res64: EA490A41E2A7793C Time : 0.0 sec. user=mdettweiler [2016-05-06 04:20:51] 871*2^1428355-1 is not prime. Res64: CDAA6EB78B667338 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:20:52] 909*2^1428355-1 is not prime. Res64: 74F8CB02D8695485 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:20:52] 919*2^1428355-1 is not prime. Res64: 5DB361F51BB889FA Time : 0.0 sec. user=mdettweiler [2016-05-06 04:32:46] 625*2^1428357-1 is not prime. Res64: 0BFB237E7D9EC8BE Time : 0.0 sec. user=mdettweiler [2016-05-06 04:32:46] 669*2^1428357-1 is not prime. Res64: 235342FF61335B8F Time : 0.0 sec. user=mdettweiler [2016-05-06 04:32:47] 681*2^1428357-1 is not prime. Res64: A9712F4D5F816999 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:32:47] 741*2^1428357-1 is not prime. Res64: 9DE7CE5613352FF6 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:32:47] 765*2^1428357-1 is not prime. Res64: 1A0D19A8376515E8 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:33:04] 615*2^1428356-1 is not prime. Res64: 796DA1CCCF5B0055 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:33:04] 617*2^1428356-1 is not prime. Res64: DAF0A77558AE15BC Time : 0.0 sec. user=mdettweiler [2016-05-06 04:33:05] 623*2^1428356-1 is not prime. Res64: FCA85EC842BE253F Time : 0.0 sec. user=mdettweiler [2016-05-06 04:33:05] 839*2^1428356-1 is not prime. Res64: 638D445AD9BA8338 Time : 0.0 sec. user=mdettweiler [2016-05-06 04:33:05] 869*2^1428356-1 is not prime. Res64: 9AEB0B502A7EE484 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:04:39] 847*2^1428357-1 is not prime. Res64: 0327E503A6423BD7 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:04:40] 885*2^1428357-1 is not prime. Res64: 03436288CD519654 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:04:41] 657*2^1428358-1 is not prime. Res64: 74DBF6590357984C Time : 0.0 sec. user=mdettweiler [2016-05-06 05:04:42] 821*2^1428358-1 is not prime. Res64: F17D1E2A390B1A3A Time : 0.0 sec. user=mdettweiler [2016-05-06 05:04:43] 827*2^1428358-1 is not prime. Res64: AED4896C0EA51DB5 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:06:24] 863*2^1428358-1 is not prime. Res64: AF9B7041B22CAFAC Time : 0.0 sec. user=mdettweiler [2016-05-06 05:06:24] 891*2^1428358-1 is not prime. Res64: BD0B3899BF052230 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:06:24] 933*2^1428358-1 is not prime. Res64: 35723FBEC1005CCF Time : 0.0 sec. user=mdettweiler [2016-05-06 05:06:25] 645*2^1428359-1 is not prime. Res64: 84278E3646117A4C Time : 0.0 sec. user=mdettweiler [2016-05-06 05:06:25] 661*2^1428359-1 is not prime. Res64: E46F2F1212130A68 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:18:59] 721*2^1428359-1 is not prime. Res64: A6FC3D60B6312C5C Time : 0.0 sec. user=mdettweiler [2016-05-06 05:19:00] 775*2^1428359-1 is not prime. Res64: 3CC144C6E5CB02C8 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:19:01] 943*2^1428359-1 is not prime. Res64: CBFA32533E339117 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:19:01] 969*2^1428359-1 is not prime. Res64: 356217F460636AA5 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:19:02] 609*2^1428360-1 is not prime. Res64: DF250D9AE777BAF4 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:19:16] 629*2^1428360-1 is not prime. Res64: 9E518F422DF52B48 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:19:17] 693*2^1428360-1 is not prime. Res64: 58CB6C7EAAA9851E Time : 0.0 sec. user=mdettweiler [2016-05-06 05:19:18] 759*2^1428360-1 is not prime. Res64: CD921CAA1DCD83C3 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:19:18] 767*2^1428360-1 is not prime. Res64: 64BAB21F99C5FB50 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:19:19] 825*2^1428360-1 is not prime. Res64: B6346E8E312150B3 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:51:27] 843*2^1428360-1 is not prime. Res64: E560C316E809498C Time : 0.0 sec. user=mdettweiler [2016-05-06 05:51:27] 875*2^1428360-1 is not prime. Res64: E7B1AFA04AF1516B Time : 0.0 sec. user=mdettweiler [2016-05-06 05:51:27] 879*2^1428360-1 is not prime. Res64: 02D4D761AD1020C1 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:51:28] 909*2^1428360-1 is not prime. Res64: DE63C3C70FB0C776 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:51:28] 917*2^1428360-1 is not prime. Res64: D0F91135E979BFDD Time : 0.0 sec. user=mdettweiler [2016-05-06 05:52:40] 705*2^1428361-1 is not prime. Res64: BD48EB09EEEBE9D6 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:52:40] 751*2^1428361-1 is not prime. Res64: 405422FF97B0603E Time : 0.0 sec. user=mdettweiler [2016-05-06 05:52:41] 835*2^1428361-1 is not prime. Res64: B449D6AC7AD34727 Time : 0.0 sec. user=mdettweiler [2016-05-06 05:52:41] 847*2^1428361-1 is not prime. Res64: 25DC94FAB557FCCA Time : 0.0 sec. user=mdettweiler [2016-05-06 05:52:41] 855*2^1428361-1 is not prime. Res64: E726994122901883 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:05:08] 945*2^1428361-1 is not prime. Res64: FE059AA7A05DEF0D Time : 0.0 sec. user=mdettweiler [2016-05-06 06:05:09] 955*2^1428361-1 is not prime. Res64: 01EB9861A3EE298E Time : 0.0 sec. user=mdettweiler [2016-05-06 06:05:10] 957*2^1428361-1 is not prime. Res64: F2614DD6EE746ED4 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:05:11] 711*2^1428362-1 is not prime. Res64: 79F7FDEFDFE11273 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:05:12] 801*2^1428362-1 is not prime. Res64: 7A9E6FCA6EE3FD04 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:05:14] 813*2^1428362-1 is not prime. Res64: 332E34AB0282DDEF Time : 0.0 sec. user=mdettweiler [2016-05-06 06:05:15] 963*2^1428362-1 is not prime. Res64: BC9E0C6FE6D3A319 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:05:16] 983*2^1428362-1 is not prime. Res64: 6AF1C301D3AA2C4C Time : 0.0 sec. user=mdettweiler [2016-05-06 06:05:17] 613*2^1428363-1 is not prime. Res64: 64370817F95BC699 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:05:18] 625*2^1428363-1 is not prime. Res64: 994E53E870360917 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:37:03] 663*2^1428363-1 is not prime. Res64: 0F3EF4A5A22B10BE Time : 0.0 sec. user=mdettweiler [2016-05-06 06:37:04] 859*2^1428363-1 is not prime. Res64: CAC3A87FB88987EE Time : 0.0 sec. user=mdettweiler [2016-05-06 06:37:04] 615*2^1428364-1 is not prime. Res64: AE0F4F6E56322641 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:37:05] 827*2^1428364-1 is not prime. Res64: 12086A29F5A6BDF3 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:37:05] 875*2^1428364-1 is not prime. Res64: ADE88E0FA1193E69 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:38:20] 975*2^1428364-1 is not prime. Res64: BEC14ADEF46F2943 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:38:21] 685*2^1428365-1 is not prime. Res64: DD3418FA9960C297 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:38:21] 741*2^1428365-1 is not prime. Res64: 53051B785C11A16C Time : 0.0 sec. user=mdettweiler [2016-05-06 06:38:22] 781*2^1428365-1 is not prime. Res64: 3AAD3BE7CE91CEF6 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:38:22] 867*2^1428365-1 is not prime. Res64: 86BEC85C1D08FF58 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:50:54] 889*2^1428365-1 is not prime. Res64: D778B8E6387FD005 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:50:54] 627*2^1428366-1 is not prime. Res64: 993C741F4BBF4F01 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:50:54] 711*2^1428366-1 is not prime. Res64: 8A706414BC92394A Time : 0.0 sec. user=mdettweiler [2016-05-06 06:50:55] 795*2^1428366-1 is not prime. Res64: F78B745D27F7A3FA Time : 0.0 sec. user=mdettweiler [2016-05-06 06:50:55] 917*2^1428366-1 is not prime. Res64: D8D3A63614C9973A Time : 0.0 sec. user=mdettweiler [2016-05-06 06:51:10] 971*2^1428366-1 is not prime. Res64: B0D82219E50A449E Time : 0.0 sec. user=mdettweiler [2016-05-06 06:51:11] 639*2^1428367-1 is not prime. Res64: AD9769EAA8F06AF7 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:51:11] 763*2^1428367-1 is not prime. Res64: 6EAAC6A8A0CF8961 Time : 0.0 sec. user=mdettweiler [2016-05-06 06:51:11] 805*2^1428367-1 is not prime. Res64: 1B39F7CC07A86AAF Time : 0.0 sec. user=mdettweiler [2016-05-06 06:51:12] 873*2^1428367-1 is not prime. Res64: E73DFDD87C8D07DE Time : 0.0 sec. user=mdettweiler [2016-05-06 07:22:53] 951*2^1428367-1 is not prime. Res64: C0B984D228B16B5C Time : 0.0 sec. user=mdettweiler [2016-05-06 07:22:54] 985*2^1428367-1 is not prime. Res64: 9EDC1F55954B535D Time : 0.0 sec. user=mdettweiler [2016-05-06 07:22:54] 773*2^1428368-1 is not prime. Res64: 528BB0F57F79E8E2 Time : 0.0 sec. user=mdettweiler [2016-05-06 07:22:54] 777*2^1428368-1 is not prime. Res64: ABCBA8F40A9EC9A9 Time : 0.0 sec. user=mdettweiler [2016-05-06 07:22:55] 797*2^1428368-1 is not prime. Res64: 52A207C0CF405602 Time : 0.0 sec. user=mdettweiler [2016-05-06 07:24:24] 601*2^1428369-1 is not prime. Res64: 80239B98E0903909 Time : 0.0 sec. user=mdettweiler [2016-05-06 07:24:25] 685*2^1428369-1 is not prime. Res64: 0D1C84CE7E8A8EE7 Time : 0.0 sec. user=mdettweiler [2016-05-06 07:24:25] 891*2^1428369-1 is not prime. Res64: DCAAB2A2763FA82D Time : 0.0 sec. user=mdettweiler [2016-05-06 07:24:25] 919*2^1428369-1 is not prime. Res64: 1809887FFDDC0FA8 Time : 0.0 sec. user=mdettweiler [2016-05-06 07:24:25] 955*2^1428369-1 is not prime. Res64: A909E694FBE55DCA Time : 0.0 sec. user=mdettweiler [2016-05-06 07:37:08] 611*2^1428370-1 is not prime. Res64: D28B4031D27EC87B Time : 0.0 sec. user=mdettweiler [2016-05-06 07:37:08] 645*2^1428370-1 is not prime. Res64: AA5F824DBCE9F964 Time : 0.0 sec. user=mdettweiler [2016-05-06 07:37:09] 663*2^1428370-1 is not prime. Res64: 038614B713C56C8C Time : 0.0 sec. user=mdettweiler [2016-05-06 07:37:09] 791*2^1428370-1 is not prime. Res64: D54B78E77F09DD3A Time : 0.0 sec. user=mdettweiler [2016-05-06 07:37:10] 833*2^1428370-1 is not prime. Res64: 76AD52D4FF8128C2 Time : 0.0 sec. user=mdettweiler [2016-05-06 07:37:49] 915*2^1428370-1 is not prime. Res64: 98B1D65D793F3523 Time : 0.0 sec. user=mdettweiler [2016-05-06 07:37:50] 609*2^1428371-1 is not prime. Res64: CCA5FCAB5C3B960A Time : 0.0 sec. user=mdettweiler [2016-05-06 07:37:50] 621*2^1428371-1 is not prime. Res64: 2DCE5611C828E88A Time : 0.0 sec. user=mdettweiler [2016-05-06 07:37:51] 675*2^1428371-1 is not prime. Res64: A3954E5FFAEBC015 Time : 0.0 sec. user=mdettweiler [2016-05-06 07:37:52] 759*2^1428371-1 is not prime. Res64: 7884B1358C29AEAC Time : 0.0 sec. user=mdettweiler [2016-05-06 08:10:14] 775*2^1428371-1 is not prime. Res64: D678619D8061D31B Time : 0.0 sec. user=mdettweiler [2016-05-06 08:10:15] 855*2^1428371-1 is not prime. Res64: 0CB98F5CB3CF1291 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:10:15] 993*2^1428371-1 is not prime. Res64: 4E5CCB97508319E0 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:10:16] 615*2^1428372-1 is not prime. Res64: 68041E4859705464 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:10:16] 627*2^1428372-1 is not prime. Res64: FFF45AB73F834E4A Time : 0.0 sec. user=mdettweiler [2016-05-06 08:11:10] 629*2^1428372-1 is not prime. Res64: 96CF15029E23880D Time : 0.0 sec. user=mdettweiler [2016-05-06 08:11:10] 867*2^1428372-1 is not prime. Res64: C5AADF670A32747D Time : 0.0 sec. user=mdettweiler [2016-05-06 08:11:10] 915*2^1428372-1 is not prime. Res64: 82CB9AB386A7DE27 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:11:11] 965*2^1428372-1 is not prime. Res64: A6CBA99432156244 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:11:11] 975*2^1428372-1 is not prime. Res64: 3846E441ACD54AF8 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:24:25] 609*2^1428373-1 is not prime. Res64: 6EA0C2D72BC79733 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:24:25] 745*2^1428373-1 is not prime. Res64: 48FEB066D41FBA6F Time : 0.0 sec. user=mdettweiler [2016-05-06 08:24:25] 775*2^1428373-1 is not prime. Res64: FADF0098AF7D9D17 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:24:26] 819*2^1428373-1 is not prime. Res64: 7F68610D4B588CFF Time : 0.0 sec. user=mdettweiler [2016-05-06 08:24:26] 987*2^1428373-1 is not prime. Res64: E0916FC2C4D87C24 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:25:06] 623*2^1428374-1 is not prime. Res64: 384118FC4E4C08A2 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:25:06] 923*2^1428374-1 is not prime. Res64: FE44DEB5368795B6 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:25:06] 987*2^1428374-1 is not prime. Res64: 1138825D102546D5 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:25:07] 763*2^1428375-1 is not prime. Res64: BB4F0CD95BC353A7 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:25:07] 795*2^1428375-1 is not prime. Res64: 70ACC7FA6F45DB2E Time : 0.0 sec. user=mdettweiler [2016-05-06 08:57:27] 823*2^1428375-1 is not prime. Res64: 7E2818CF2E689DC0 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:57:27] 861*2^1428375-1 is not prime. Res64: 60FF7218152E6B52 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:57:28] 955*2^1428375-1 is not prime. Res64: BB91993072DF02D9 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:57:28] 973*2^1428375-1 is not prime. Res64: 0E6EA6F58DE4EC73 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:57:29] 603*2^1428376-1 is not prime. Res64: 447E0CDCA7C6F77B Time : 0.0 sec. user=mdettweiler [2016-05-06 08:58:25] 707*2^1428376-1 is not prime. Res64: 5822E0225A965384 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:58:25] 645*2^1428377-1 is not prime. Res64: DCA6CD884D0A1F2E Time : 0.0 sec. user=mdettweiler [2016-05-06 08:58:26] 691*2^1428377-1 is not prime. Res64: 995EA0516015FDEE Time : 0.0 sec. user=mdettweiler [2016-05-06 08:58:26] 741*2^1428377-1 is not prime. Res64: 4985EBB387AE7826 Time : 0.0 sec. user=mdettweiler [2016-05-06 08:58:26] 615*2^1428378-1 is not prime. Res64: E2A0FFCFDAE8CBDE Time : 0.0 sec. user=mdettweiler [2016-05-06 09:11:28] 641*2^1428378-1 is not prime. Res64: 4463986E527637A1 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:11:28] 705*2^1428378-1 is not prime. Res64: 9EDA59FC4A72B49E Time : 0.0 sec. user=mdettweiler [2016-05-06 09:11:29] 725*2^1428378-1 is not prime. Res64: 761BEC1229D5D53E Time : 0.0 sec. user=mdettweiler [2016-05-06 09:11:29] 773*2^1428378-1 is not prime. Res64: 35D51F158B4A2A69 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:11:29] 843*2^1428378-1 is not prime. Res64: 5CF455C5214B2D6A Time : 0.0 sec. user=mdettweiler [2016-05-06 09:11:36] 945*2^1428378-1 is not prime. Res64: 5670210294CAE9EB Time : 0.0 sec. user=mdettweiler [2016-05-06 09:11:36] 963*2^1428378-1 is not prime. Res64: 5DBD4895A657CAFE Time : 0.0 sec. user=mdettweiler [2016-05-06 09:11:37] 649*2^1428379-1 is not prime. Res64: 2E5B7856A500A51C Time : 0.0 sec. user=mdettweiler [2016-05-06 09:11:37] 751*2^1428379-1 is not prime. Res64: 259E4CAF8B6035B7 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:11:38] 939*2^1428379-1 is not prime. Res64: 8DA3538CE700554B Time : 0.0 sec. user=mdettweiler [2016-05-06 09:42:57] 969*2^1428379-1 is not prime. Res64: 3D34E2BC15E27804 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:42:58] 615*2^1428380-1 is not prime. Res64: 68323ECBF08FC063 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:42:58] 633*2^1428380-1 is not prime. Res64: 3F9C2ECB8DCE7B55 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:42:58] 725*2^1428380-1 is not prime. Res64: 3BC694B34D53301C Time : 0.0 sec. user=mdettweiler [2016-05-06 09:42:59] 743*2^1428380-1 is not prime. Res64: DF566598481D56E5 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:44:16] 773*2^1428380-1 is not prime. Res64: 3259E551885A44DC Time : 0.0 sec. user=mdettweiler [2016-05-06 09:44:16] 825*2^1428380-1 is not prime. Res64: 52CCCA2EB73A6841 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:44:16] 879*2^1428380-1 is not prime. Res64: 91309C5B06E761B1 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:44:17] 983*2^1428380-1 is not prime. Res64: 14CC0D407975BA9B Time : 0.0 sec. user=mdettweiler [2016-05-06 09:44:17] 657*2^1428381-1 is not prime. Res64: 72E3EC2774EFE6D2 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:57:24] 829*2^1428381-1 is not prime. Res64: 2805F7AE7813EFA6 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:57:24] 861*2^1428381-1 is not prime. Res64: 631BF6F2E456E22A Time : 0.0 sec. user=mdettweiler [2016-05-06 09:57:25] 889*2^1428381-1 is not prime. Res64: 775517D7456EC71A Time : 0.0 sec. user=mdettweiler [2016-05-06 09:57:25] 895*2^1428381-1 is not prime. Res64: E7C8D2C6AE12B297 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:57:26] 999*2^1428381-1 is not prime. Res64: BE92AF2C7A53438C Time : 0.0 sec. user=mdettweiler [2016-05-06 09:57:36] 665*2^1428382-1 is not prime. Res64: AA08F08F87FBAA4E Time : 0.0 sec. user=mdettweiler [2016-05-06 09:57:37] 777*2^1428382-1 is not prime. Res64: 78ABA563FE625CE1 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:57:37] 827*2^1428382-1 is not prime. Res64: 7DD239242BED7E43 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:57:38] 881*2^1428382-1 is not prime. Res64: B2D76DB308874361 Time : 0.0 sec. user=mdettweiler [2016-05-06 09:57:38] 885*2^1428382-1 is not prime. Res64: 16F21E38C0211705 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:28:30] 745*2^1428383-1 is not prime. Res64: D986DF17A306AAC1 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:28:31] 819*2^1428383-1 is not prime. Res64: 8F651D72719FC4B8 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:28:32] 861*2^1428383-1 is not prime. Res64: 93331F0E987E1389 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:28:32] 885*2^1428383-1 is not prime. Res64: 33C8976325FBFC8F Time : 0.0 sec. user=mdettweiler [2016-05-06 10:28:33] 991*2^1428383-1 is not prime. Res64: 9CB9E0B840C4BDE5 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:30:14] 993*2^1428383-1 is not prime. Res64: 70F9A68335BBD728 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:30:14] 635*2^1428384-1 is not prime. Res64: 142A448BE4776861 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:30:15] 683*2^1428384-1 is not prime. Res64: 47A133CEA1900AB5 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:30:15] 789*2^1428384-1 is not prime. Res64: 5A6EE4FBD35F9BAF Time : 0.0 sec. user=mdettweiler [2016-05-06 10:30:15] 875*2^1428384-1 is not prime. Res64: 91A4F33DA834F41A Time : 0.0 sec. user=mdettweiler [2016-05-06 10:42:52] 887*2^1428384-1 is not prime. Res64: 7D9DDB57966B780C Time : 0.0 sec. user=mdettweiler [2016-05-06 10:42:52] 777*2^1428385-1 is not prime. Res64: 9CB9CBA5E898221A Time : 0.0 sec. user=mdettweiler [2016-05-06 10:42:53] 841*2^1428385-1 is not prime. Res64: 6C00AEB61C059DD8 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:42:53] 871*2^1428385-1 is not prime. Res64: F25FD35D58830706 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:42:53] 939*2^1428385-1 is not prime. Res64: A81E08E7E42C35D1 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:43:10] 975*2^1428385-1 is not prime. Res64: E93F0003A9F8BC79 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:43:10] 617*2^1428386-1 is not prime. Res64: EA132A612BDC7833 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:43:10] 671*2^1428386-1 is not prime. Res64: 1157067525292A80 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:43:11] 711*2^1428386-1 is not prime. Res64: 9AF14825D8A38473 Time : 0.0 sec. user=mdettweiler [2016-05-06 10:43:11] 857*2^1428386-1 is not prime. Res64: 711D8AAD3FD99297 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:14:03] 921*2^1428386-1 is not prime. Res64: C47D8DEAB3EABABE Time : 0.0 sec. user=mdettweiler [2016-05-06 11:14:04] 993*2^1428386-1 is not prime. Res64: A4B6F45FB1A416AB Time : 0.0 sec. user=mdettweiler [2016-05-06 11:14:04] 601*2^1428387-1 is not prime. Res64: 36705CD61C3F2DE2 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:14:05] 651*2^1428387-1 is not prime. Res64: 284F2C7FC6775F09 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:14:05] 685*2^1428387-1 is not prime. Res64: 137C1109FB751D33 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:15:42] 895*2^1428387-1 is not prime. Res64: B3D278FBAF499F68 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:15:43] 945*2^1428387-1 is not prime. Res64: 29D472578740F96A Time : 0.0 sec. user=mdettweiler [2016-05-06 11:15:44] 951*2^1428387-1 is not prime. Res64: 5A382073F7A89701 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:15:45] 647*2^1428388-1 is not prime. Res64: B5812C9AAAF89A50 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:15:45] 735*2^1428388-1 is not prime. Res64: CF0DCB893C1E354B Time : 0.0 sec. user=mdettweiler [2016-05-06 11:28:24] 797*2^1428388-1 is not prime. Res64: 10236E02DBEBE7D1 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:28:24] 803*2^1428388-1 is not prime. Res64: 1EDAA1982C270E01 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:28:24] 855*2^1428388-1 is not prime. Res64: C8D53D5E3DE03793 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:28:25] 929*2^1428388-1 is not prime. Res64: CE4F0F2EBA4F4126 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:28:25] 933*2^1428388-1 is not prime. Res64: E063B55FE625FC83 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:28:36] 957*2^1428388-1 is not prime. Res64: DD808CBC8754BC83 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:28:37] 969*2^1428388-1 is not prime. Res64: 4597E8FCC7C0BDDF Time : 0.0 sec. user=mdettweiler [2016-05-06 11:28:37] 759*2^1428389-1 is not prime. Res64: 30883818523FD4A5 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:28:37] 927*2^1428389-1 is not prime. Res64: A52387BECDFA0E65 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:28:38] 955*2^1428389-1 is not prime. Res64: 7544A797E255AC3C Time : 0.0 sec. user=mdettweiler [2016-05-06 11:59:40] 987*2^1428389-1 is not prime. Res64: 032749688EA70A76 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:59:40] 635*2^1428390-1 is not prime. Res64: D18CC51BEE8DB01E Time : 0.0 sec. user=mdettweiler [2016-05-06 11:59:41] 825*2^1428390-1 is not prime. Res64: CBCC382B6291F763 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:59:41] 851*2^1428390-1 is not prime. Res64: 310A2BA442404EC6 Time : 0.0 sec. user=mdettweiler [2016-05-06 11:59:41] 849*2^1428391-1 is not prime. Res64: A414EE6FDBB83D9D Time : 0.0 sec. user=mdettweiler [2016-05-06 12:01:24] 855*2^1428391-1 is not prime. Res64: F265DEDE17F8B783 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:01:25] 861*2^1428391-1 is not prime. Res64: 871E72D9025C17B9 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:01:26] 999*2^1428391-1 is not prime. Res64: 721796CABD7303D5 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:01:26] 617*2^1428392-1 is not prime. Res64: E12EF47A8855D355 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:01:27] 635*2^1428392-1 is not prime. Res64: A6F118D790D673D5 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:13:44] 669*2^1428392-1 is not prime. Res64: 87BB2E5C343DA970 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:13:44] 875*2^1428392-1 is not prime. Res64: 2ABEBD4AE9C81B73 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:13:45] 679*2^1428393-1 is not prime. Res64: BEA157F8CE146015 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:13:45] 727*2^1428393-1 is not prime. Res64: DA8B2D68E4DDD426 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:13:46] 759*2^1428393-1 is not prime. Res64: 374D9D675771F56F Time : 0.0 sec. user=mdettweiler [2016-05-06 12:14:06] 805*2^1428393-1 is not prime. Res64: 98587769E21D9A7B Time : 0.0 sec. user=mdettweiler [2016-05-06 12:14:06] 817*2^1428393-1 is not prime. Res64: 46A0C368BA912BED Time : 0.0 sec. user=mdettweiler [2016-05-06 12:14:06] 861*2^1428393-1 is not prime. Res64: E29CF07AD6265EB4 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:14:07] 969*2^1428393-1 is not prime. Res64: FE15B28AA07AABC6 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:14:07] 605*2^1428394-1 is not prime. Res64: E97F1E10CF36ABD9 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:45:29] 663*2^1428394-1 is not prime. Res64: 86D77F03FD448580 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:45:30] 677*2^1428394-1 is not prime. Res64: 0D6FA3037075571E Time : 0.0 sec. user=mdettweiler [2016-05-06 12:45:30] 723*2^1428394-1 is not prime. Res64: AD6E39BB5FF0A59A Time : 0.0 sec. user=mdettweiler [2016-05-06 12:45:30] 815*2^1428394-1 is not prime. Res64: D77828727FFDEDAE Time : 0.0 sec. user=mdettweiler [2016-05-06 12:45:31] 887*2^1428394-1 is not prime. Res64: 438C3172669E506D Time : 0.0 sec. user=mdettweiler [2016-05-06 12:47:22] 915*2^1428394-1 is not prime. Res64: 2D696D2BC23CE8C0 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:47:23] 603*2^1428395-1 is not prime. Res64: 8845BAE9D60787F2 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:47:23] 645*2^1428395-1 is not prime. Res64: B8FB206908F44610 Time : 0.0 sec. user=mdettweiler [2016-05-06 12:47:23] 699*2^1428395-1 is not prime. Res64: 8EF8AE635135A92D Time : 0.0 sec. user=mdettweiler [2016-05-06 12:47:24] 753*2^1428395-1 is not prime. Res64: B60A2C3B4F9C0CEE Time : 0.0 sec. user=mdettweiler [2016-05-06 13:00:08] 633*2^1428396-1 is not prime. Res64: CDBAB15756181C8D Time : 0.0 sec. user=mdettweiler [2016-05-06 13:00:08] 693*2^1428396-1 is not prime. Res64: 59954535A7D8EE04 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:00:08] 699*2^1428396-1 is not prime. Res64: 8ED59D380F6C0FF0 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:00:09] 749*2^1428396-1 is not prime. Res64: 92727FDA001C217D Time : 0.0 sec. user=mdettweiler [2016-05-06 13:00:09] 777*2^1428396-1 is not prime. Res64: C4C9BA6D337A3488 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:00:24] 783*2^1428396-1 is not prime. Res64: ABF16A18F46F365B Time : 0.0 sec. user=mdettweiler [2016-05-06 13:00:25] 825*2^1428396-1 is not prime. Res64: B40F7588670F880E Time : 0.0 sec. user=mdettweiler [2016-05-06 13:00:26] 947*2^1428396-1 is not prime. Res64: C0A823AB2BB8D926 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:00:27] 975*2^1428396-1 is not prime. Res64: F1CBB994E9DDE706 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:00:28] 621*2^1428397-1 is not prime. Res64: 8E077FF3BA23B141 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:34:38] 667*2^1428397-1 is not prime. Res64: D1669E5AC5E6C968 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:34:38] 769*2^1428397-1 is not prime. Res64: CED32D03E5733B06 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:34:39] 805*2^1428397-1 is not prime. Res64: 1970AC0A01450BC1 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:34:39] 861*2^1428397-1 is not prime. Res64: 18ABCF204CBDF722 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:34:39] 939*2^1428397-1 is not prime. Res64: C0A2DF0ACBFAC3E9 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:36:42] 999*2^1428397-1 is not prime. Res64: 73D7FDEFA4455AE9 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:36:43] 603*2^1428398-1 is not prime. Res64: 7DA17DDD6FBBAB34 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:36:43] 683*2^1428398-1 is not prime. Res64: 009ECBF7E1B0A5E4 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:36:43] 687*2^1428398-1 is not prime. Res64: 599BBF46EAEAA88F Time : 0.0 sec. user=mdettweiler [2016-05-06 13:36:43] 731*2^1428398-1 is not prime. Res64: 034629E611257778 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:51:33] 773*2^1428398-1 is not prime. Res64: CC0F1C01B9EFB313 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:51:33] 813*2^1428398-1 is not prime. Res64: 2084E0E2EAB790C4 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:51:33] 625*2^1428399-1 is not prime. Res64: F981BCBD97916655 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:51:34] 679*2^1428399-1 is not prime. Res64: 46DB30566C2FABA6 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:51:34] 703*2^1428399-1 is not prime. Res64: ADF45A4329B73A6D Time : 0.0 sec. user=mdettweiler [2016-05-06 13:52:03] 831*2^1428399-1 is not prime. Res64: 4A19726D27D4EB07 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:52:03] 843*2^1428399-1 is not prime. Res64: B7F24FFA29DAE55C Time : 0.0 sec. user=mdettweiler [2016-05-06 13:52:04] 853*2^1428399-1 is not prime. Res64: 24EA9D40F99EB746 Time : 0.0 sec. user=mdettweiler [2016-05-06 13:52:04] 973*2^1428399-1 is not prime. Res64: 63843CF90E8C759C Time : 0.0 sec. user=mdettweiler [2016-05-06 13:52:04] 717*2^1428400-1 is not prime. Res64: 5CB7E0FAD2AAF0A2 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:24:30] 723*2^1428400-1 is not prime. Res64: E71CB2098BEDEDBF Time : 0.0 sec. user=mdettweiler [2016-05-06 14:24:30] 747*2^1428400-1 is not prime. Res64: E57EAD04E0CAC0E6 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:24:31] 819*2^1428400-1 is not prime. Res64: 418C8216CB081042 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:24:31] 827*2^1428400-1 is not prime. Res64: A900CC1474CE2F6E Time : 0.0 sec. user=mdettweiler [2016-05-06 14:24:31] 923*2^1428400-1 is not prime. Res64: 9F0D292DDC4F6BF0 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:27:36] 995*2^1428400-1 is not prime. Res64: FF552A498978FABB Time : 0.0 sec. user=mdettweiler [2016-05-06 14:27:37] 675*2^1428401-1 is not prime. Res64: 9B7BA8D6D26145C8 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:27:37] 777*2^1428401-1 is not prime. Res64: 13B7688B9CD69EFB Time : 0.0 sec. user=mdettweiler [2016-05-06 14:27:37] 819*2^1428401-1 is not prime. Res64: 10D4652EC9F977D6 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:27:38] 981*2^1428401-1 is not prime. Res64: 491C674E4CC5F016 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:39:59] 633*2^1428402-1 is not prime. Res64: 7E460E840BAA653B Time : 0.0 sec. user=mdettweiler [2016-05-06 14:40:00] 635*2^1428402-1 is not prime. Res64: CF540BB4352C1134 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:40:00] 671*2^1428402-1 is not prime. Res64: E3067326619386D5 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:40:01] 713*2^1428402-1 is not prime. Res64: 8B8E461BFBED0C9E Time : 0.0 sec. user=mdettweiler [2016-05-06 14:40:01] 765*2^1428402-1 is not prime. Res64: 39C72B41A0B173CD Time : 0.0 sec. user=mdettweiler [2016-05-06 14:40:38] 873*2^1428402-1 is not prime. Res64: 39C139FE4C7378C8 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:40:38] 875*2^1428402-1 is not prime. Res64: CA8980B522E7F6D1 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:40:38] 675*2^1428403-1 is not prime. Res64: 2E1849A557C91073 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:40:39] 691*2^1428403-1 is not prime. Res64: E0D0F3904E8CF658 Time : 0.0 sec. user=mdettweiler [2016-05-06 14:40:39] 693*2^1428403-1 is not prime. Res64: D143E685698DAB92 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:11:29] 789*2^1428403-1 is not prime. Res64: B4009BB29A06FBEF Time : 0.0 sec. user=mdettweiler [2016-05-06 15:11:29] 889*2^1428403-1 is not prime. Res64: 5AB0D0326303B188 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:11:30] 939*2^1428403-1 is not prime. Res64: D8C6DC6733F3E4FA Time : 0.0 sec. user=mdettweiler [2016-05-06 15:11:30] 999*2^1428403-1 is not prime. Res64: B2A745E1479C80B4 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:11:30] 615*2^1428404-1 is not prime. Res64: CE369F4A2A839D62 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:14:38] 699*2^1428404-1 is not prime. Res64: 525B7947AF665A71 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:14:38] 743*2^1428404-1 is not prime. Res64: 4FA4A186B98B3888 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:14:39] 767*2^1428404-1 is not prime. Res64: 5246A42F84C0E519 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:14:39] 789*2^1428404-1 is not prime. Res64: C3471CE6084B4E67 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:14:39] 875*2^1428404-1 is not prime. Res64: E8D75C3548040C4D Time : 0.0 sec. user=mdettweiler [2016-05-06 15:27:19] 929*2^1428404-1 is not prime. Res64: 40905204F98D2E1B Time : 0.0 sec. user=mdettweiler [2016-05-06 15:27:20] 959*2^1428404-1 is not prime. Res64: 260EBD4ED101367A Time : 0.0 sec. user=mdettweiler [2016-05-06 15:27:20] 987*2^1428404-1 is not prime. Res64: DE34927A8DF71734 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:27:20] 657*2^1428405-1 is not prime. Res64: 9819F866F5664F4C Time : 0.0 sec. user=mdettweiler [2016-05-06 15:27:20] 667*2^1428405-1 is not prime. Res64: B96B6B9C8CB62215 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:27:46] 717*2^1428405-1 is not prime. Res64: 314E6D9366456F40 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:27:46] 795*2^1428405-1 is not prime. Res64: 8AFE07C6D0C7B773 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:27:47] 979*2^1428405-1 is not prime. Res64: 4AC6E27A2D9D58EF Time : 0.0 sec. user=mdettweiler [2016-05-06 15:27:47] 611*2^1428406-1 is not prime. Res64: B72A22A1DF3161F0 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:27:48] 647*2^1428406-1 is not prime. Res64: 4BDC4FDE6267D5C6 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:58:53] 657*2^1428406-1 is not prime. Res64: 3ABAB9F20C7E01B3 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:58:53] 705*2^1428406-1 is not prime. Res64: 1BBC2225AD8F00B8 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:58:54] 761*2^1428406-1 is not prime. Res64: 77E8DE1E00ECB019 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:58:54] 777*2^1428406-1 is not prime. Res64: 5C335C74FE4332C0 Time : 0.0 sec. user=mdettweiler [2016-05-06 15:58:55] 891*2^1428406-1 is not prime. Res64: A2ED5FD0BFA5825F Time : 0.0 sec. user=mdettweiler [2016-05-06 16:01:53] 917*2^1428406-1 is not prime. Res64: DF9A3AB63B47F8C4 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:01:54] 965*2^1428406-1 is not prime. Res64: 848336983E351657 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:01:55] 655*2^1428407-1 is not prime. Res64: D7525401264C9A2F Time : 0.0 sec. user=mdettweiler [2016-05-06 16:01:55] 711*2^1428407-1 is not prime. Res64: EE26EF494C9B93BA Time : 0.0 sec. user=mdettweiler [2016-05-06 16:01:56] 813*2^1428407-1 is not prime. Res64: E19583676B82530D Time : 0.0 sec. user=mdettweiler [2016-05-06 16:14:20] 843*2^1428407-1 is not prime. Res64: 22AA878474A0E7B6 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:14:21] 915*2^1428407-1 is not prime. Res64: F85C61E525B8ED49 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:14:21] 939*2^1428407-1 is not prime. Res64: 89810EF0783418A3 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:14:22] 707*2^1428408-1 is not prime. Res64: CEDB4783F85BFB8C Time : 0.0 sec. user=mdettweiler [2016-05-06 16:14:22] 713*2^1428408-1 is not prime. Res64: 2EDF6A4F94F7632D Time : 0.0 sec. user=mdettweiler [2016-05-06 16:15:00] 795*2^1428408-1 is not prime. Res64: 063133F11EE00FE3 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:15:01] 797*2^1428408-1 is not prime. Res64: D143250C74A6AC34 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:15:01] 845*2^1428408-1 is not prime. Res64: 5CB3064C959051D1 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:15:02] 899*2^1428408-1 is not prime. Res64: A6BB7304DFB140F6 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:15:04] 945*2^1428408-1 is not prime. Res64: 7FAFF9CAE7E7A642 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:49:03] 977*2^1428408-1 is not prime. Res64: F86C36CEB6E41FB6 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:49:03] 999*2^1428408-1 is not prime. Res64: 987A219C8BB1866C Time : 0.0 sec. user=mdettweiler [2016-05-06 16:49:03] 721*2^1428409-1 is not prime. Res64: 9844156A574CA64E Time : 0.0 sec. user=mdettweiler [2016-05-06 16:49:04] 729*2^1428409-1 is not prime. Res64: D77302CF01957A70 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:49:04] 925*2^1428409-1 is not prime. Res64: 859619DE52D67EC5 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:52:24] 939*2^1428409-1 is not prime. Res64: 10202189418F5905 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:52:25] 985*2^1428409-1 is not prime. Res64: E0E63029C41BB6FB Time : 0.0 sec. user=mdettweiler [2016-05-06 16:52:25] 997*2^1428409-1 is not prime. Res64: 80C713B26C39D131 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:52:25] 633*2^1428410-1 is not prime. Res64: B9D3D927FC8A2339 Time : 0.0 sec. user=mdettweiler [2016-05-06 16:52:26] 801*2^1428410-1 is not prime. Res64: E931F634899423FB Time : 0.0 sec. user=mdettweiler [2016-05-06 17:04:10] 893*2^1428410-1 is not prime. Res64: 9B2690D7FF71F722 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:04:12] 921*2^1428410-1 is not prime. Res64: 39499C8722C5BE44 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:04:13] 957*2^1428410-1 is not prime. Res64: 3085D61BF05F0D2E Time : 0.0 sec. user=mdettweiler [2016-05-06 17:04:14] 669*2^1428411-1 is not prime. Res64: 9E7834FCE6279BC3 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:04:15] 751*2^1428411-1 is not prime. Res64: 6CC562665F3ED77E Time : 0.0 sec. user=mdettweiler [2016-05-06 17:05:14] 775*2^1428411-1 is not prime. Res64: BCE1AF41427516F7 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:05:15] 825*2^1428411-1 is not prime. Res64: DBFE153CDF39A5CC Time : 0.0 sec. user=mdettweiler [2016-05-06 17:05:16] 873*2^1428411-1 is not prime. Res64: 26E74C0BEE5D5201 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:05:18] 945*2^1428411-1 is not prime. Res64: 39CBC1C02B241172 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:05:19] 949*2^1428411-1 is not prime. Res64: 706C211217098048 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:34:45] 609*2^1428412-1 is not prime. Res64: 92BBF92A3F985CCB Time : 0.0 sec. user=mdettweiler [2016-05-06 17:34:45] 719*2^1428412-1 is not prime. Res64: 0E82819ED0A23F8D Time : 0.0 sec. user=mdettweiler [2016-05-06 17:34:46] 813*2^1428412-1 is not prime. Res64: 86D1B32C7C7C348D Time : 0.0 sec. user=mdettweiler [2016-05-06 17:34:46] 819*2^1428412-1 is not prime. Res64: 9BE0408F1D40669C Time : 0.0 sec. user=mdettweiler [2016-05-06 17:34:47] 843*2^1428412-1 is not prime. Res64: 9E8A8DD47D07C4A5 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:38:00] 863*2^1428412-1 is not prime. Res64: 70901CCDE6B918D8 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:38:00] 727*2^1428413-1 is not prime. Res64: 1187ACE6BA8D29B1 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:38:01] 747*2^1428413-1 is not prime. Res64: 322C8893DF26FF01 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:38:01] 759*2^1428413-1 is not prime. Res64: 5049C4EBD1EEA21D Time : 0.0 sec. user=mdettweiler [2016-05-06 17:38:02] 769*2^1428413-1 is not prime. Res64: 8DDD974DF867CC4B Time : 0.0 sec. user=mdettweiler [2016-05-06 17:50:02] 771*2^1428413-1 is not prime. Res64: B085C8CF4DADA0CE Time : 0.0 sec. user=mdettweiler [2016-05-06 17:50:03] 837*2^1428413-1 is not prime. Res64: D3FF279CE06E28D7 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:50:03] 747*2^1428414-1 is not prime. Res64: 86D40C56912A8233 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:50:03] 765*2^1428414-1 is not prime. Res64: 63C9B4D3ACA412FD Time : 0.0 sec. user=mdettweiler [2016-05-06 17:50:04] 807*2^1428414-1 is not prime. Res64: 39D1C7D95C032B02 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:50:58] 815*2^1428414-1 is not prime. Res64: 8716E9855DC5793C Time : 0.0 sec. user=mdettweiler [2016-05-06 17:50:58] 927*2^1428414-1 is not prime. Res64: 234D55C896BF8B88 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:50:58] 675*2^1428415-1 is not prime. Res64: 79606FB6B716485C Time : 0.0 sec. user=mdettweiler [2016-05-06 17:50:59] 723*2^1428415-1 is not prime. Res64: 471616220D6CA7E0 Time : 0.0 sec. user=mdettweiler [2016-05-06 17:50:59] 741*2^1428415-1 is not prime. Res64: 497C5E8E1E6C6560 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:20:17] 789*2^1428415-1 is not prime. Res64: D8015BE98FCE4DFD Time : 0.0 sec. user=mdettweiler [2016-05-06 18:20:17] 819*2^1428415-1 is not prime. Res64: EF17BED430640FD4 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:20:18] 855*2^1428415-1 is not prime. Res64: 9CBD784BA3491B78 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:20:18] 919*2^1428415-1 is not prime. Res64: CDFBA981C8D92E44 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:20:19] 969*2^1428415-1 is not prime. Res64: 8A227B0D8F94AC72 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:23:35] 985*2^1428415-1 is not prime. Res64: BFD91FDA06F9AF7A Time : 0.0 sec. user=mdettweiler [2016-05-06 18:23:35] 609*2^1428416-1 is not prime. Res64: 751C0AB4D44E2069 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:23:36] 855*2^1428416-1 is not prime. Res64: 052421DB0AC5F48B Time : 0.0 sec. user=mdettweiler [2016-05-06 18:23:36] 993*2^1428416-1 is not prime. Res64: 59BD435C7ADBCDE1 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:23:37] 625*2^1428417-1 is not prime. Res64: 773317B832866222 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:35:22] 681*2^1428417-1 is not prime. Res64: DADA277CDAEC063A Time : 0.0 sec. user=mdettweiler [2016-05-06 18:35:23] 699*2^1428417-1 is not prime. Res64: 35E4AA84EA8A5458 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:35:23] 751*2^1428417-1 is not prime. Res64: 9FF49B86866C3ACF Time : 0.0 sec. user=mdettweiler [2016-05-06 18:35:24] 837*2^1428417-1 is not prime. Res64: DDFE36F8FA47378D Time : 0.0 sec. user=mdettweiler [2016-05-06 18:35:25] 861*2^1428417-1 is not prime. Res64: 82E4C16E68D6B8B9 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:36:26] 889*2^1428417-1 is not prime. Res64: 8EFAC874C8C740E9 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:36:26] 991*2^1428417-1 is not prime. Res64: FC7735B88B5C4ACA Time : 0.0 sec. user=mdettweiler [2016-05-06 18:36:27] 747*2^1428418-1 is not prime. Res64: A613ECE482359EE7 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:36:27] 755*2^1428418-1 is not prime. Res64: AC2B8B5DE0CD9647 Time : 0.0 sec. user=mdettweiler [2016-05-06 18:36:28] 791*2^1428418-1 is not prime. Res64: E33812E07196969F Time : 0.0 sec. user=mdettweiler [2016-05-06 19:05:48] 815*2^1428418-1 is not prime. Res64: 023ABE1472C6A4F5 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:05:50] 827*2^1428418-1 is not prime. Res64: 13A9C410F0462097 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:05:51] 833*2^1428418-1 is not prime. Res64: 1F8E0F26D07A25B7 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:05:53] 951*2^1428418-1 is not prime. Res64: 301ADDE5B077F826 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:05:54] 1001*2^1428418-1 is not prime. Res64: 67FE1A0FE58F0A67 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:09:02] 609*2^1428419-1 is not prime. Res64: A662B5F80E812E30 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:09:03] 735*2^1428419-1 is not prime. Res64: 70DA57FD8308DFBB Time : 0.0 sec. user=mdettweiler [2016-05-06 19:09:03] 825*2^1428419-1 is not prime. Res64: 6980574818663646 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:09:04] 829*2^1428419-1 is not prime. Res64: B181CDDA69CF9E0D Time : 0.0 sec. user=mdettweiler [2016-05-06 19:09:04] 859*2^1428419-1 is not prime. Res64: EBAF07733CE8F2B5 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:20:43] 895*2^1428419-1 is not prime. Res64: 1C6C23B8AF8D18C6 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:20:43] 913*2^1428419-1 is not prime. Res64: 06365E7C3468F0C6 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:20:43] 955*2^1428419-1 is not prime. Res64: 774B463F3D9A66C8 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:20:44] 623*2^1428420-1 is not prime. Res64: 40EC9D2FE448AAC7 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:20:44] 723*2^1428420-1 is not prime. Res64: 7920333042D951E2 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:21:55] 789*2^1428420-1 is not prime. Res64: A6C336DF8BAF44B3 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:21:56] 825*2^1428420-1 is not prime. Res64: F8602055B39F99D9 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:21:56] 879*2^1428420-1 is not prime. Res64: B21C07FA80AAB45C Time : 0.0 sec. user=mdettweiler [2016-05-06 19:21:56] 909*2^1428420-1 is not prime. Res64: 848F365BC89A1FB5 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:21:57] 945*2^1428420-1 is not prime. Res64: 0F5BC3DFB260FFB9 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:51:34] 747*2^1428421-1 is not prime. Res64: CCCC7E6E524E3140 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:51:34] 805*2^1428421-1 is not prime. Res64: F910E016C6DD3695 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:51:34] 603*2^1428422-1 is not prime. Res64: E91FBF98437FD2BE Time : 0.0 sec. user=mdettweiler [2016-05-06 19:51:35] 797*2^1428422-1 is not prime. Res64: 7AC623919FBEBB92 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:51:35] 873*2^1428422-1 is not prime. Res64: E5255AEBEF200E74 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:54:32] 885*2^1428422-1 is not prime. Res64: E403169CDB43F032 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:54:32] 953*2^1428422-1 is not prime. Res64: B0E8E36AAC76EFC3 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:54:33] 995*2^1428422-1 is not prime. Res64: BB5580C3D4E75852 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:54:33] 685*2^1428423-1 is not prime. Res64: 54998CB87E17DB75 Time : 0.0 sec. user=mdettweiler [2016-05-06 19:54:34] 691*2^1428423-1 is not prime. Res64: 176814F19471B7C3 Time : 0.0 sec. user=mdettweiler [2016-05-06 20:06:15] 693*2^1428423-1 is not prime. Res64: EE15CF84B5774477 Time : 0.0 sec. user=mdettweiler [2016-05-06 20:06:16] 739*2^1428423-1 is not prime. Res64: 3D088883EB216CC5 Time : 0.0 sec. user=mdettweiler [2016-05-06 20:06:16] 751*2^1428423-1 is not prime. Res64: E7B0FF17D587988B Time : 0.0 sec. user=mdettweiler [2016-05-06 20:06:17] 849*2^1428423-1 is not prime. Res64: BF8156DA62624C44 Time : 0.0 sec. user=mdettweiler [2016-05-06 20:06:17] 853*2^1428423-1 is not prime. Res64: 8E29C99A99820EBD Time : 0.0 sec. user=mdettweiler [2016-05-06 20:37:41] 819*2^1428424-1 is not prime. Res64: 483FC39BFB09048F Time : 0.0 sec. user=mdettweiler [2016-05-06 20:37:41] 825*2^1428424-1 is not prime. Res64: ACF2F622BC8D09F8 Time : 0.0 sec. user=mdettweiler [2016-05-06 20:37:42] 849*2^1428424-1 is not prime. Res64: 4C0391FAE8D5AE04 Time : 0.0 sec. user=mdettweiler [2016-05-06 20:37:42] 975*2^1428424-1 is not prime. Res64: 5591AF2E5602570D Time : 0.0 sec. user=mdettweiler [2016-05-06 20:37:42] 651*2^1428425-1 is not prime. Res64: C5A4C2902DD37F01 Time : 0.0 sec. user=mdettweiler [2016-05-06 20:40:51] 789*2^1428425-1 is not prime. Res64: A90EECFEBB325691 Time : 0.0 sec. user=mdettweiler [2016-05-06 20:40:52] 831*2^1428425-1 is not prime. Res64: BABB23EA199CC5D4 Time : 0.0 sec. user=mdettweiler [2016-05-06 20:40:52] 937*2^1428425-1 is not prime. Res64: 579FBA36BC663DE1 Time : 0.0 sec. user=mdettweiler [2016-05-06 20:40:53] 969*2^1428425-1 is not prime. Res64: 0C3557CD566C374F Time : 0.0 sec. user=mdettweiler [2016-05-06 20:40:53] 981*2^1428425-1 is not prime. Res64: 9922F10C5366F58B Time : 0.0 sec. user=mdettweiler [2016-05-06 20:52:45] 695*2^1428426-1 is not prime. Res64: 95BAC411C60D52AA Time : 0.0 sec. user=mdettweiler [2016-05-06 20:52:45] 707*2^1428426-1 is not prime. Res64: 7194C08B1D86948A Time : 0.0 sec. user=mdettweiler [2016-05-06 20:52:45] 821*2^1428426-1 is not prime. Res64: A82B2543B317DE4B Time : 0.0 sec. user=mdettweiler [2016-05-06 20:52:46] 843*2^1428426-1 is not prime. Res64: AAFC393365AB117B Time : 0.0 sec. user=mdettweiler [2016-05-06 20:52:46] 861*2^1428426-1 is not prime. Res64: EC6D32E9D97C6156 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:23:52] 893*2^1428426-1 is not prime. Res64: 94DCD342AF140517 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:23:53] 917*2^1428426-1 is not prime. Res64: 98DED17AB949AAD9 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:23:53] 693*2^1428427-1 is not prime. Res64: 1610641231978C5F Time : 0.0 sec. user=mdettweiler [2016-05-06 21:23:53] 699*2^1428427-1 is not prime. Res64: 0B2C89A350587293 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:23:54] 849*2^1428427-1 is not prime. Res64: ED442E26D2C9D860 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:27:27] 883*2^1428427-1 is not prime. Res64: E2359E7239441D31 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:27:27] 973*2^1428427-1 is not prime. Res64: CE871231D5309839 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:27:27] 617*2^1428428-1 is not prime. Res64: D5E12102DE173D94 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:27:28] 635*2^1428428-1 is not prime. Res64: C2DF91B403B895A4 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:27:28] 665*2^1428428-1 is not prime. Res64: 8A1AE1E6605EC2A0 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:39:21] 707*2^1428428-1 is not prime. Res64: 787016A76C48E76E Time : 0.0 sec. user=mdettweiler [2016-05-06 21:39:21] 825*2^1428428-1 is not prime. Res64: 800B6E27AD055A43 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:39:22] 833*2^1428428-1 is not prime. Res64: 0EA17B020BDFE039 Time : 0.0 sec. user=mdettweiler [2016-05-06 21:39:22] 995*2^1428428-1 is not prime. Res64: C27BBAD692032ADD Time : 0.0 sec. user=mdettweiler [2016-05-06 21:39:22] 609*2^1428429-1 is not prime. Res64: 44255D55F5C7C72F Time : 0.0 sec. user=mdettweiler [2016-05-06 22:10:23] 685*2^1428429-1 is not prime. Res64: 793FAAC2E45D4DC1 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:10:23] 741*2^1428429-1 is not prime. Res64: 5A093ECBAB07BABB Time : 0.0 sec. user=mdettweiler [2016-05-06 22:10:24] 919*2^1428429-1 is not prime. Res64: 871DCBB896544C87 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:10:24] 927*2^1428429-1 is not prime. Res64: 9EEB0A81B3BE3802 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:10:24] 979*2^1428429-1 is not prime. Res64: 98483CCEB72EACBE Time : 0.0 sec. user=mdettweiler [2016-05-06 22:13:52] 645*2^1428430-1 is not prime. Res64: 5DA689492C787349 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:13:53] 791*2^1428430-1 is not prime. Res64: 222F0A187A0D97D1 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:13:53] 813*2^1428430-1 is not prime. Res64: 0070934A2A781D44 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:13:54] 933*2^1428430-1 is not prime. Res64: 194F22A3ADC7E14E Time : 0.0 sec. user=mdettweiler [2016-05-06 22:13:54] 987*2^1428430-1 is not prime. Res64: DCF24970C48919CC Time : 0.0 sec. user=mdettweiler [2016-05-06 22:24:15] 885*2^1428423-1 is not prime. Res64: BBD44F64DA901726 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:24:15] 945*2^1428423-1 is not prime. Res64: 9F90AD23B2EB847D Time : 0.0 sec. user=mdettweiler [2016-05-06 22:24:16] 961*2^1428423-1 is not prime. Res64: 5A0C35A963DBE9C1 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:24:16] 663*2^1428424-1 is not prime. Res64: 393C5BFE39AAB4D5 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:24:17] 665*2^1428424-1 is not prime. Res64: 84B28FD53D14CFC3 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:26:22] 615*2^1428431-1 is not prime. Res64: B5C1527BB6EC399A Time : 0.0 sec. user=mdettweiler [2016-05-06 22:26:23] 745*2^1428431-1 is not prime. Res64: B31737EDEDB68A29 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:26:23] 813*2^1428431-1 is not prime. Res64: EB164C4CBABD2B48 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:26:23] 859*2^1428431-1 is not prime. Res64: F05E538211DA89D8 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:26:24] 895*2^1428431-1 is not prime. Res64: E7104860A1F875B8 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:59:29] 913*2^1428431-1 is not prime. Res64: 09AC6E96F9689A23 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:59:30] 921*2^1428431-1 is not prime. Res64: 11E45C955B5A6659 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:59:31] 713*2^1428432-1 is not prime. Res64: 8D1D13ED32176B95 Time : 0.0 sec. user=mdettweiler [2016-05-06 22:59:32] 843*2^1428432-1 is not prime. Res64: 6EF5A2DEE5B90B6E Time : 0.0 sec. user=mdettweiler [2016-05-06 22:59:32] 879*2^1428432-1 is not prime. Res64: 5524AE7207226A4D Time : 0.0 sec. user=mdettweiler [2016-05-06 23:03:27] 685*2^1428433-1 is not prime. Res64: B1D5D73BB03EC6ED Time : 0.0 sec. user=mdettweiler [2016-05-06 23:03:28] 705*2^1428433-1 is not prime. Res64: 2811CAAA480EE0C6 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:03:29] 741*2^1428433-1 is not prime. Res64: 80572167393E2C8F Time : 0.0 sec. user=mdettweiler [2016-05-06 23:03:31] 765*2^1428433-1 is not prime. Res64: 0B22F876B4428388 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:03:32] 885*2^1428433-1 is not prime. Res64: 87DE1408E37B39F1 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:15:20] 915*2^1428433-1 is not prime. Res64: DA0B065CE92EEA85 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:15:22] 951*2^1428433-1 is not prime. Res64: 7C0D7C3A1A3DA4D4 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:15:23] 605*2^1428434-1 is not prime. Res64: 7ACBF8FCFFB05138 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:15:24] 641*2^1428434-1 is not prime. Res64: 2367D68AEFDFDA56 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:15:25] 665*2^1428434-1 is not prime. Res64: 3CD9B43ABA3DB8FD Time : 0.0 sec. user=mdettweiler [2016-05-06 23:17:31] 857*2^1428434-1 is not prime. Res64: 32738E24BBA10FBE Time : 0.0 sec. user=mdettweiler [2016-05-06 23:17:33] 941*2^1428434-1 is not prime. Res64: 00B1CBE664710B22 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:17:33] 601*2^1428435-1 is not prime. Res64: 52D9E8A4FC836636 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:17:34] 649*2^1428435-1 is not prime. Res64: 7882A52B11B7A9F0 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:17:35] 849*2^1428435-1 is not prime. Res64: 1D531CAA3940ED94 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:47:41] 871*2^1428435-1 is not prime. Res64: 01B11C16632FB292 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:47:41] 921*2^1428435-1 is not prime. Res64: 45072EA2746F911A Time : 0.0 sec. user=mdettweiler [2016-05-06 23:47:42] 961*2^1428435-1 is not prime. Res64: BAEB1BD661F59654 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:47:42] 969*2^1428435-1 is not prime. Res64: 502470A4C57CE2A8 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:47:43] 657*2^1428436-1 is not prime. Res64: 5E516BCD763013C6 Time : 0.0 sec. user=mdettweiler [2016-05-06 23:50:18] 719*2^1428436-1 is not prime. Res64: 3177CD14B0FC366A Time : 0.0 sec. user=mdettweiler [2016-05-06 23:50:19] 723*2^1428436-1 is not prime. Res64: B0CDED140BBCA9FE Time : 0.0 sec. user=mdettweiler [2016-05-06 23:50:19] 735*2^1428436-1 is not prime. Res64: F7F2AEF1657F6DAF Time : 0.0 sec. user=mdettweiler [2016-05-06 23:50:19] 749*2^1428436-1 is not prime. Res64: 949FCE4AECFACE3B Time : 0.0 sec. user=mdettweiler [2016-05-06 23:50:20] 777*2^1428436-1 is not prime. Res64: 5FDBC6C05F6E0BC2 Time : 0.0 sec.