user=mdettweiler [2016-09-02 00:01:54] 899*2^1438572-1 is not prime. Res64: 5F1DACFFBD426F84 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:01:54] 915*2^1438572-1 is not prime. Res64: 5409C6F6107B94B4 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:01:55] 929*2^1438572-1 is not prime. Res64: 8144B4D72E9B2C06 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:01:56] 977*2^1438572-1 is not prime. Res64: 4B3611F0B4FC0354 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:01:57] 721*2^1438573-1 is not prime. Res64: 6ED0DABF2B89EDF8 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:02:17] 727*2^1438573-1 is not prime. Res64: A6C77F4BC582E91F Time : 0.0 sec. user=mdettweiler [2016-09-02 00:02:18] 915*2^1438573-1 is not prime. Res64: 5A0CC746CB73D84D Time : 0.0 sec. user=mdettweiler [2016-09-02 00:02:19] 937*2^1438573-1 is not prime. Res64: B70C043BEE56631D Time : 0.0 sec. user=mdettweiler [2016-09-02 00:02:20] 955*2^1438573-1 is not prime. Res64: 5E44509BB1817B28 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:02:20] 623*2^1438574-1 is not prime. Res64: 561F0068124C914E Time : 0.0 sec. user=mdettweiler [2016-09-02 00:07:46] 657*2^1438574-1 is not prime. Res64: 8D0D3D8EE5C2C01E Time : 0.0 sec. user=mdettweiler [2016-09-02 00:07:49] 873*2^1438574-1 is not prime. Res64: EFD1CE476B1E4DE5 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:07:50] 885*2^1438574-1 is not prime. Res64: AFE19576B7328CB2 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:07:51] 887*2^1438574-1 is not prime. Res64: 2D5A55525AA13AF6 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:07:53] 649*2^1438575-1 is not prime. Res64: D55C2EA630DE821F Time : 0.0 sec. user=mdettweiler [2016-09-02 00:25:41] 873*2^1438575-1 is not prime. Res64: EF0F66B51A4FB166 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:25:41] 645*2^1438576-1 is not prime. Res64: C2CE0B01270CD87B Time : 0.0 sec. user=mdettweiler [2016-09-02 00:25:42] 689*2^1438576-1 is not prime. Res64: 6DF69593D311A83F Time : 0.0 sec. user=mdettweiler [2016-09-02 00:25:42] 735*2^1438576-1 is not prime. Res64: 5D84BCA5EB773881 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:25:43] 825*2^1438576-1 is not prime. Res64: DD726C15225007B1 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:47:09] 839*2^1438576-1 is not prime. Res64: 4E347D8C92A37D2B Time : 0.0 sec. user=mdettweiler [2016-09-02 00:47:09] 845*2^1438576-1 is not prime. Res64: 6E497C7D2E31467C Time : 0.0 sec. user=mdettweiler [2016-09-02 00:47:10] 619*2^1438577-1 is not prime. Res64: A3B26E9777389F7B Time : 0.0 sec. user=mdettweiler [2016-09-02 00:47:10] 651*2^1438577-1 is not prime. Res64: 575508402C52C9E3 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:47:10] 711*2^1438577-1 is not prime. Res64: 23AF0B73A4728CE6 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:47:31] 727*2^1438577-1 is not prime. Res64: 6D644E3C76FDACD8 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:47:31] 729*2^1438577-1 is not prime. Res64: 861E8E5B887AC72E Time : 0.0 sec. user=mdettweiler [2016-09-02 00:47:32] 801*2^1438577-1 is not prime. Res64: 3F251D895BCB5C74 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:47:32] 865*2^1438577-1 is not prime. Res64: E33F58A12131E5E8 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:47:32] 915*2^1438577-1 is not prime. Res64: 8F3A7ECD9F12258E Time : 0.0 sec. user=mdettweiler [2016-09-02 00:53:22] 931*2^1438577-1 is not prime. Res64: 91622FEEFC108AF6 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:53:22] 949*2^1438577-1 is not prime. Res64: F635032038189EAA Time : 0.0 sec. user=mdettweiler [2016-09-02 00:53:22] 657*2^1438578-1 is not prime. Res64: 1033DD991930C6A2 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:53:23] 735*2^1438578-1 is not prime. Res64: 5A823C0A63E84656 Time : 0.0 sec. user=mdettweiler [2016-09-02 00:53:23] 767*2^1438578-1 is not prime. Res64: 4DBABBF531C6A565 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:10:48] 833*2^1438578-1 is not prime. Res64: 825AC4E6E5186056 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:10:49] 843*2^1438578-1 is not prime. Res64: BD2065EF2144D56B Time : 0.0 sec. user=mdettweiler [2016-09-02 01:10:49] 861*2^1438578-1 is not prime. Res64: AC0B72CDAF8161EA Time : 0.0 sec. user=mdettweiler [2016-09-02 01:10:49] 619*2^1438579-1 is not prime. Res64: 9FEEC1D45A2F3711 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:10:50] 631*2^1438579-1 is not prime. Res64: 5D3E08C6E8E4EF1F Time : 0.0 sec. user=mdettweiler [2016-09-02 01:32:10] 861*2^1438579-1 is not prime. Res64: C51B5F4054B7B331 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:32:12] 647*2^1438580-1 is not prime. Res64: 346335912719C219 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:32:12] 669*2^1438580-1 is not prime. Res64: 717017F8F906A77A Time : 0.0 sec. user=mdettweiler [2016-09-02 01:32:13] 677*2^1438580-1 is not prime. Res64: 715A0138697960FC Time : 0.0 sec. user=mdettweiler [2016-09-02 01:32:14] 759*2^1438580-1 is not prime. Res64: B0C10D95525AFE40 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:32:26] 773*2^1438580-1 is not prime. Res64: AF927AF8EC207DC2 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:32:27] 819*2^1438580-1 is not prime. Res64: ADBDBCE3890222A6 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:32:28] 625*2^1438581-1 is not prime. Res64: 858F8EB2D49216E3 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:32:30] 627*2^1438581-1 is not prime. Res64: 434A176440B372F5 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:32:31] 717*2^1438581-1 is not prime. Res64: C1D70A776D7EBAF1 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:38:12] 741*2^1438581-1 is not prime. Res64: DBA627945581AE92 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:38:12] 811*2^1438581-1 is not prime. Res64: 777A64B5AF2EFFCB Time : 0.0 sec. user=mdettweiler [2016-09-02 01:38:12] 937*2^1438581-1 is not prime. Res64: 3CF72BFC645A0D69 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:38:13] 951*2^1438581-1 is not prime. Res64: 5342781464080A80 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:38:13] 611*2^1438582-1 is not prime. Res64: DDB8D9BD05E9407B Time : 0.0 sec. user=mdettweiler [2016-09-02 01:55:45] 621*2^1438582-1 is not prime. Res64: A74814FB7C1CD885 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:55:45] 651*2^1438582-1 is not prime. Res64: DDC1C214A64B40E3 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:55:45] 713*2^1438582-1 is not prime. Res64: 43A27CE25AB4B1B6 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:55:46] 833*2^1438582-1 is not prime. Res64: 7B918DF219A5AF36 Time : 0.0 sec. user=mdettweiler [2016-09-02 01:55:46] 855*2^1438582-1 is not prime. Res64: A5CCCA137FC66E88 Time : 0.0 sec. user=mdettweiler [2016-09-02 02:18:30] 859*2^1438583-1 is not prime. Res64: 9A6B29A482C111C5 Time : 0.0 sec. user=mdettweiler [2016-09-02 02:18:30] 939*2^1438583-1 is not prime. Res64: F5A3D434820A233E Time : 0.0 sec. user=mdettweiler [2016-09-02 02:18:31] 949*2^1438583-1 is not prime. Res64: D81A6C851A31F825 Time : 0.0 sec. user=mdettweiler [2016-09-02 02:18:31] 623*2^1438584-1 is not prime. Res64: DFEB92382381213B Time : 0.0 sec. user=mdettweiler [2016-09-02 02:18:31] 663*2^1438584-1 is not prime. Res64: 6FA7575D64C32981 Time : 0.0 sec. user=mdettweiler [2016-09-02 02:19:14] 987*2^1438582-1 is not prime. Res64: 87257B82C57B86FF Time : 0.0 sec. user=mdettweiler [2016-09-02 02:19:15] 619*2^1438583-1 is not prime. Res64: 771B86B493C4D97E Time : 0.0 sec. user=mdettweiler [2016-09-02 02:19:15] 633*2^1438583-1 is not prime. Res64: 456D3A9F8D023B8B Time : 0.0 sec. user=mdettweiler [2016-09-02 02:19:16] 675*2^1438583-1 is not prime. Res64: 8327F8DA3C94EF63 Time : 0.0 sec. user=mdettweiler [2016-09-02 02:19:16] 759*2^1438583-1 is not prime. Res64: E4F73ACEA68B8DDC Time : 0.0 sec. user=mdettweiler [2016-09-02 02:25:13] 719*2^1438584-1 is not prime. Res64: 092ACCBD6FC1A9A0 Time : 0.0 sec. user=mdettweiler [2016-09-02 02:25:14] 725*2^1438584-1 is not prime. Res64: 1DAA17A29E03DF1E Time : 0.0 sec. user=mdettweiler [2016-09-02 02:25:14] 765*2^1438584-1 is not prime. Res64: 5C210BC955038650 Time : 0.0 sec. user=mdettweiler [2016-09-02 02:25:15] 917*2^1438584-1 is not prime. Res64: D8DC32E711D85986 Time : 0.0 sec. user=mdettweiler [2016-09-02 02:25:15] 601*2^1438585-1 is not prime. Res64: 9A7BFA50867073AB Time : 0.0 sec. user=mdettweiler [2016-09-02 02:43:17] 705*2^1438585-1 is not prime. Res64: E7DE831DF6488C3E Time : 0.0 sec. user=mdettweiler [2016-09-02 02:43:17] 771*2^1438585-1 is not prime. Res64: 3523FFB66C60B45C Time : 0.0 sec. user=mdettweiler [2016-09-02 02:43:17] 811*2^1438585-1 is not prime. Res64: FC142CAE8D08B6C0 Time : 0.0 sec. user=mdettweiler [2016-09-02 02:43:18] 867*2^1438585-1 is not prime. Res64: 755284E0F3A02E38 Time : 0.0 sec. user=mdettweiler [2016-09-02 02:43:18] 895*2^1438585-1 is not prime. Res64: 1D3CCC85170ECCE0 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:03:32] 939*2^1438585-1 is not prime. Res64: 01ECEB976D66024F Time : 0.0 sec. user=mdettweiler [2016-09-02 03:03:34] 955*2^1438585-1 is not prime. Res64: 7E94A00ED4449CA3 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:03:36] 603*2^1438586-1 is not prime. Res64: 22F2FB8D95522FF4 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:03:39] 657*2^1438586-1 is not prime. Res64: A9774A72DA1C0074 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:03:41] 873*2^1438586-1 is not prime. Res64: 5915F1B60DDB86E7 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:04:38] 923*2^1438586-1 is not prime. Res64: 0942BA2EB5918D6C Time : 0.0 sec. user=mdettweiler [2016-09-02 03:04:41] 953*2^1438586-1 is not prime. Res64: 68F7790BDF931908 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:04:43] 861*2^1438587-1 is not prime. Res64: 0BA7FE75E60214B5 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:04:44] 783*2^1438588-1 is not prime. Res64: F6D7F7B7761394F2 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:04:45] 797*2^1438588-1 is not prime. Res64: 2FCA86D21E11B569 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:10:14] 825*2^1438588-1 is not prime. Res64: 5051BB5D8C74897D Time : 0.0 sec. user=mdettweiler [2016-09-02 03:10:18] 875*2^1438588-1 is not prime. Res64: 71B21D60E66DC304 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:10:20] 899*2^1438588-1 is not prime. Res64: 8D9A2BD69C986249 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:10:26] 909*2^1438588-1 is not prime. Res64: D527B67A9E24D5D7 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:10:27] 697*2^1438589-1 is not prime. Res64: 4C60540C6649C575 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:28:16] 699*2^1438589-1 is not prime. Res64: 51B9E60264D167E6 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:28:17] 741*2^1438589-1 is not prime. Res64: 4E4FC2F43B2F866C Time : 0.0 sec. user=mdettweiler [2016-09-02 03:28:18] 745*2^1438589-1 is not prime. Res64: 604B53FBB183A5AD Time : 0.0 sec. user=mdettweiler [2016-09-02 03:28:19] 759*2^1438589-1 is not prime. Res64: 86BBAE8607066158 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:28:20] 769*2^1438589-1 is not prime. Res64: BEC89CA4E72986F0 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:49:20] 825*2^1438589-1 is not prime. Res64: CFF58FC13CA9A7DB Time : 0.0 sec. user=mdettweiler [2016-09-02 03:49:22] 861*2^1438589-1 is not prime. Res64: 98B06329D717858F Time : 0.0 sec. user=mdettweiler [2016-09-02 03:49:24] 987*2^1438589-1 is not prime. Res64: 063605D3511DF812 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:49:27] 657*2^1438590-1 is not prime. Res64: 97DDB75C41A5D083 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:49:28] 665*2^1438590-1 is not prime. Res64: 305B74888ECFC1CF Time : 0.0 sec. user=mdettweiler [2016-09-02 03:50:23] 765*2^1438590-1 is not prime. Res64: D5653469CE9F4687 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:50:24] 801*2^1438590-1 is not prime. Res64: F71B6160D3E392FF Time : 0.0 sec. user=mdettweiler [2016-09-02 03:50:26] 893*2^1438590-1 is not prime. Res64: 8638F10B916D931D Time : 0.0 sec. user=mdettweiler [2016-09-02 03:50:26] 615*2^1438591-1 is not prime. Res64: 06CE04F1CF2781D6 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:50:27] 649*2^1438591-1 is not prime. Res64: 2BDE5AD09ADDD0FB Time : 0.0 sec. user=mdettweiler [2016-09-02 03:55:51] 651*2^1438591-1 is not prime. Res64: 7E0A8B1D1F99108D Time : 0.0 sec. user=mdettweiler [2016-09-02 03:55:52] 709*2^1438591-1 is not prime. Res64: 77EB3B201E511540 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:55:53] 843*2^1438591-1 is not prime. Res64: 1538DA4919D282AD Time : 0.0 sec. user=mdettweiler [2016-09-02 03:55:54] 871*2^1438591-1 is not prime. Res64: EF5513E6E9FF0544 Time : 0.0 sec. user=mdettweiler [2016-09-02 03:55:55] 895*2^1438591-1 is not prime. Res64: 3B595334E6B88783 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:13:32] 979*2^1438591-1 is not prime. Res64: FEE004B0879D60E5 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:13:32] 917*2^1438592-1 is not prime. Res64: BFCB0555C9CF2251 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:13:33] 977*2^1438592-1 is not prime. Res64: 8578F4B775946127 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:13:33] 995*2^1438592-1 is not prime. Res64: 6033D89C57D1ED7C Time : 0.0 sec. user=mdettweiler [2016-09-02 04:13:34] 607*2^1438593-1 is not prime. Res64: 07C7F03C0EBA1347 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:34:38] 625*2^1438593-1 is not prime. Res64: 981C626C053328AB Time : 0.0 sec. user=mdettweiler [2016-09-02 04:34:39] 721*2^1438593-1 is not prime. Res64: 35DF3BC8CA7BA02F Time : 0.0 sec. user=mdettweiler [2016-09-02 04:34:39] 747*2^1438593-1 is not prime. Res64: BEC449C4CF604FAE Time : 0.0 sec. user=mdettweiler [2016-09-02 04:34:39] 781*2^1438593-1 is not prime. Res64: 9E695C8ACEFC8070 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:34:40] 789*2^1438593-1 is not prime. Res64: 048574384C22E436 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:35:42] 795*2^1438593-1 is not prime. Res64: 6C0C5B52A738F099 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:35:43] 829*2^1438593-1 is not prime. Res64: B5EA0F0C0DC09702 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:35:43] 837*2^1438593-1 is not prime. Res64: 2D079C199EA20F9F Time : 0.0 sec. user=mdettweiler [2016-09-02 04:35:43] 919*2^1438593-1 is not prime. Res64: 82093B3C2130DECA Time : 0.0 sec. user=mdettweiler [2016-09-02 04:35:44] 937*2^1438593-1 is not prime. Res64: B70B5DC8FD8E66C7 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:41:01] 635*2^1438594-1 is not prime. Res64: F9FEEFC372704A20 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:41:02] 717*2^1438594-1 is not prime. Res64: 2283CCA3A06C1F15 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:41:02] 723*2^1438594-1 is not prime. Res64: 724E6757D39ABF7D Time : 0.0 sec. user=mdettweiler [2016-09-02 04:41:03] 791*2^1438594-1 is not prime. Res64: 19CC885022514D79 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:41:03] 827*2^1438594-1 is not prime. Res64: F89B5C887A81D75B Time : 0.0 sec. user=mdettweiler [2016-09-02 04:58:51] 885*2^1438594-1 is not prime. Res64: FDD60794ED51E937 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:58:52] 947*2^1438594-1 is not prime. Res64: 83436C019BC1BEC6 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:58:52] 971*2^1438594-1 is not prime. Res64: 82ADF17CAFE79FDA Time : 0.0 sec. user=mdettweiler [2016-09-02 04:58:52] 975*2^1438594-1 is not prime. Res64: 800DDB7B2BF457C6 Time : 0.0 sec. user=mdettweiler [2016-09-02 04:58:53] 685*2^1438595-1 is not prime. Res64: B43D74558B8FA59C Time : 0.0 sec. user=mdettweiler [2016-09-02 05:19:51] 693*2^1438595-1 is not prime. Res64: 4D6A8BBB1792D18F Time : 0.0 sec. user=mdettweiler [2016-09-02 05:19:51] 715*2^1438595-1 is not prime. Res64: 9315D83089380ED0 Time : 0.0 sec. user=mdettweiler [2016-09-02 05:19:52] 771*2^1438595-1 is not prime. Res64: EB9FF10318CD15CE Time : 0.0 sec. user=mdettweiler [2016-09-02 05:19:52] 823*2^1438595-1 is not prime. Res64: 3DABCEBC47326DFD Time : 0.0 sec. user=mdettweiler [2016-09-02 05:19:53] 843*2^1438595-1 is not prime. Res64: 4EEA24F6814FE93B Time : 0.0 sec. user=mdettweiler [2016-09-02 05:20:47] 627*2^1438596-1 is not prime. Res64: 5DB27F3559A682B1 Time : 0.0 sec. user=mdettweiler [2016-09-02 05:20:48] 683*2^1438596-1 is not prime. Res64: A12077DDB63EC1B0 Time : 0.0 sec. user=mdettweiler [2016-09-02 05:20:48] 699*2^1438596-1 is not prime. Res64: A9A008702897717E Time : 0.0 sec. user=mdettweiler [2016-09-02 05:20:48] 749*2^1438596-1 is not prime. Res64: 9A4DEC6C18FC8C7F Time : 0.0 sec. user=mdettweiler [2016-09-02 05:20:49] 825*2^1438596-1 is not prime. Res64: 2212D03D01DF4D43 Time : 0.0 sec. user=mdettweiler [2016-09-02 05:26:20] 843*2^1438596-1 is not prime. Res64: E7C7FEFF5122E19B Time : 0.0 sec. user=mdettweiler [2016-09-02 05:26:21] 905*2^1438596-1 is not prime. Res64: 1E1C1DB4087483D2 Time : 0.0 sec. user=mdettweiler [2016-09-02 05:26:21] 619*2^1438597-1 is not prime. Res64: D3DA2F0FF0C337A2 Time : 0.0 sec. user=mdettweiler [2016-09-02 05:26:21] 667*2^1438597-1 is not prime. Res64: 3967CA4DC781C10B Time : 0.0 sec. user=mdettweiler [2016-09-02 05:26:22] 727*2^1438597-1 is not prime. Res64: 04961D08E7CCB866 Time : 0.0 sec. user=mdettweiler [2016-09-02 05:44:21] 747*2^1438597-1 is not prime. Res64: 703FBD69477A11BF Time : 0.0 sec. user=mdettweiler [2016-09-02 05:44:21] 765*2^1438597-1 is not prime. Res64: E9798048047A41E6 Time : 0.0 sec. user=mdettweiler [2016-09-02 05:44:21] 829*2^1438597-1 is not prime. Res64: 8753CE43DA31ECA2 Time : 0.0 sec. user=mdettweiler [2016-09-02 05:44:22] 871*2^1438597-1 is not prime. Res64: E5E789EB0D472673 Time : 0.0 sec. user=mdettweiler [2016-09-02 05:44:22] 889*2^1438597-1 is not prime. Res64: C80A7B8A6FA13F83 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:05:01] 937*2^1438597-1 is not prime. Res64: 7D25B51AE0DC0D27 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:05:03] 671*2^1438598-1 is not prime. Res64: 132C5AEE8D2AAE3C Time : 0.0 sec. user=mdettweiler [2016-09-02 06:05:04] 687*2^1438598-1 is not prime. Res64: C7F2BD34635B9BF1 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:05:05] 693*2^1438598-1 is not prime. Res64: E0DFE5658875FC3F Time : 0.0 sec. user=mdettweiler [2016-09-02 06:05:06] 707*2^1438598-1 is not prime. Res64: 8C7FD52589208C83 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:06:03] 795*2^1438598-1 is not prime. Res64: 4818880DFEF5C937 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:06:04] 897*2^1438598-1 is not prime. Res64: 8082160A1245D1AE Time : 0.0 sec. user=mdettweiler [2016-09-02 06:06:05] 613*2^1438599-1 is not prime. Res64: 893CAB55C9496AFF Time : 0.0 sec. user=mdettweiler [2016-09-02 06:06:06] 679*2^1438599-1 is not prime. Res64: CE9593F2F5CB7094 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:06:07] 763*2^1438599-1 is not prime. Res64: 20F142CD94F08EE3 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:11:34] 789*2^1438599-1 is not prime. Res64: 8DB863BAF3E2B933 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:11:35] 793*2^1438599-1 is not prime. Res64: 08917223F46E0F81 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:11:36] 909*2^1438599-1 is not prime. Res64: 944397FDE70FE43E Time : 0.0 sec. user=mdettweiler [2016-09-02 06:11:37] 955*2^1438599-1 is not prime. Res64: 8677C1005E7F383C Time : 0.0 sec. user=mdettweiler [2016-09-02 06:11:37] 973*2^1438599-1 is not prime. Res64: DC93DBCBFEA1EB43 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:29:42] 979*2^1438599-1 is not prime. Res64: BE8992491D6D77F0 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:29:42] 765*2^1438600-1 is not prime. Res64: B18B7F223D83FDA6 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:29:42] 933*2^1438600-1 is not prime. Res64: 45647CE66A70405F Time : 0.0 sec. user=mdettweiler [2016-09-02 06:29:43] 741*2^1438601-1 is not prime. Res64: CF310F9C6F15F27A Time : 0.0 sec. user=mdettweiler [2016-09-02 06:29:43] 777*2^1438601-1 is not prime. Res64: 6620DB21FC3EEF3B Time : 0.0 sec. user=mdettweiler [2016-09-02 06:50:26] 789*2^1438601-1 is not prime. Res64: 20F7EA6DC4CF6F2A Time : 0.0 sec. user=mdettweiler [2016-09-02 06:50:27] 951*2^1438601-1 is not prime. Res64: 16E8F2BA4DDF235C Time : 0.0 sec. user=mdettweiler [2016-09-02 06:50:27] 711*2^1438602-1 is not prime. Res64: 2AA64BD08E82CB0C Time : 0.0 sec. user=mdettweiler [2016-09-02 06:50:27] 767*2^1438602-1 is not prime. Res64: 8755568D039E68A0 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:50:28] 797*2^1438602-1 is not prime. Res64: 445B090652B1920B Time : 0.0 sec. user=mdettweiler [2016-09-02 06:51:25] 963*2^1438602-1 is not prime. Res64: C067AA0658240DB8 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:51:26] 603*2^1438603-1 is not prime. Res64: D35A45C2BE86DD63 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:51:26] 751*2^1438603-1 is not prime. Res64: 79AE7F7A98A2CBFA Time : 0.0 sec. user=mdettweiler [2016-09-02 06:51:26] 789*2^1438603-1 is not prime. Res64: 945BBF9048DED48C Time : 0.0 sec. user=mdettweiler [2016-09-02 06:51:27] 819*2^1438603-1 is not prime. Res64: 0476413A4ED71415 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:56:48] 885*2^1438603-1 is not prime. Res64: CA9B0575FA9E6D7E Time : 0.0 sec. user=mdettweiler [2016-09-02 06:56:48] 993*2^1438603-1 is not prime. Res64: 09336A5515E97B2B Time : 0.0 sec. user=mdettweiler [2016-09-02 06:56:49] 609*2^1438604-1 is not prime. Res64: 3A3D0C83EFC5C748 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:56:49] 623*2^1438604-1 is not prime. Res64: 06A493887E26B2F6 Time : 0.0 sec. user=mdettweiler [2016-09-02 06:56:49] 725*2^1438604-1 is not prime. Res64: ECCC2053CB62EED5 Time : 0.0 sec. user=mdettweiler [2016-09-02 07:15:00] 825*2^1438604-1 is not prime. Res64: D24E5611A3724638 Time : 0.0 sec. user=mdettweiler [2016-09-02 07:15:01] 945*2^1438604-1 is not prime. Res64: 619BB832F5A839AC Time : 0.0 sec. user=mdettweiler [2016-09-02 07:15:02] 667*2^1438605-1 is not prime. Res64: BCE33E1FB8A4145E Time : 0.0 sec. user=mdettweiler [2016-09-02 07:15:06] 735*2^1438605-1 is not prime. Res64: BF12573943429D5C Time : 0.0 sec. user=mdettweiler [2016-09-02 07:15:10] 889*2^1438605-1 is not prime. Res64: 0B596221B342BFED Time : 0.0 sec. user=mdettweiler [2016-09-02 07:35:33] 777*2^1438606-1 is not prime. Res64: 6E757932159DE8FE Time : 0.0 sec. user=mdettweiler [2016-09-02 07:35:33] 783*2^1438606-1 is not prime. Res64: 2B6D9D0D2EE05185 Time : 0.0 sec. user=mdettweiler [2016-09-02 07:35:33] 801*2^1438606-1 is not prime. Res64: 1AC079AA9DF752F6 Time : 0.0 sec. user=mdettweiler [2016-09-02 07:35:34] 861*2^1438606-1 is not prime. Res64: 658BF16938DA84C2 Time : 0.0 sec. user=mdettweiler [2016-09-02 07:35:34] 975*2^1438606-1 is not prime. Res64: 7226CB7D5D03487F Time : 0.0 sec. user=mdettweiler [2016-09-02 07:36:30] 615*2^1438607-1 is not prime. Res64: B63B4AA5CB8177EF Time : 0.0 sec. user=mdettweiler [2016-09-02 07:36:31] 643*2^1438607-1 is not prime. Res64: 80741C6AB633F14D Time : 0.0 sec. user=mdettweiler [2016-09-02 07:36:31] 651*2^1438607-1 is not prime. Res64: 51E9EDA46ACF5F77 Time : 0.0 sec. user=mdettweiler [2016-09-02 07:36:31] 703*2^1438607-1 is not prime. Res64: 6EACF60BC4900C76 Time : 0.0 sec. user=mdettweiler [2016-09-02 07:36:32] 843*2^1438607-1 is not prime. Res64: B04963551BBF0977 Time : 0.0 sec. user=mdettweiler [2016-09-02 07:41:49] 949*2^1438607-1 is not prime. Res64: 05127B4B8E1F30FD Time : 0.0 sec. user=mdettweiler [2016-09-02 07:41:49] 981*2^1438607-1 is not prime. Res64: EF95155C52EC4A21 Time : 0.0 sec. user=mdettweiler [2016-09-02 07:41:50] 663*2^1438608-1 is not prime. Res64: DE831ABF97B09A48 Time : 0.0 sec. user=mdettweiler [2016-09-02 07:41:50] 689*2^1438608-1 is not prime. Res64: D75A54D796F1146C Time : 0.0 sec. user=mdettweiler [2016-09-02 07:41:51] 723*2^1438608-1 is not prime. Res64: 0FF1D0329EE1572C Time : 0.0 sec. user=mdettweiler [2016-09-02 08:00:17] 737*2^1438608-1 is not prime. Res64: B86E5BBDB8D3CA78 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:00:18] 809*2^1438608-1 is not prime. Res64: B310815EF65C1E05 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:00:19] 839*2^1438608-1 is not prime. Res64: D5012B16E61BD87F Time : 0.0 sec. user=mdettweiler [2016-09-02 08:00:19] 947*2^1438608-1 is not prime. Res64: C925B2488EF18F25 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:00:20] 993*2^1438608-1 is not prime. Res64: 5D2BFE1BE4CC66E0 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:20:42] 705*2^1438609-1 is not prime. Res64: 2E8926B79113BF58 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:20:42] 759*2^1438609-1 is not prime. Res64: 18E10698336A7279 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:20:43] 807*2^1438609-1 is not prime. Res64: 351E7B3C839141D1 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:20:43] 895*2^1438609-1 is not prime. Res64: ABD656D9DEB1A877 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:20:44] 909*2^1438609-1 is not prime. Res64: 61FA873860BAA458 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:21:47] 939*2^1438609-1 is not prime. Res64: 7FF2A82783C85750 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:21:47] 797*2^1438610-1 is not prime. Res64: 9C49F51AFC61614E Time : 0.0 sec. user=mdettweiler [2016-09-02 08:21:48] 857*2^1438610-1 is not prime. Res64: 6A989A3451778683 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:21:48] 601*2^1438611-1 is not prime. Res64: 14F43709398760B0 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:21:49] 639*2^1438611-1 is not prime. Res64: 933060CF6A0952F4 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:26:49] 775*2^1438611-1 is not prime. Res64: E3F50A3A03C72CF2 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:26:49] 873*2^1438611-1 is not prime. Res64: 277F87C1FB185420 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:26:49] 969*2^1438611-1 is not prime. Res64: DE3CF2C93A95F197 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:26:50] 617*2^1438612-1 is not prime. Res64: 4FFA47318C0EE33A Time : 0.0 sec. user=mdettweiler [2016-09-02 08:26:50] 693*2^1438612-1 is not prime. Res64: 0B5E661860018373 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:45:36] 735*2^1438612-1 is not prime. Res64: 76242AC375A7FFA2 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:45:36] 863*2^1438612-1 is not prime. Res64: BDD3CFC64126ADE3 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:45:37] 615*2^1438613-1 is not prime. Res64: FE9F5B795626A9AB Time : 0.0 sec. user=mdettweiler [2016-09-02 08:45:37] 621*2^1438613-1 is not prime. Res64: E368C84A3FAEB533 Time : 0.0 sec. user=mdettweiler [2016-09-02 08:45:38] 631*2^1438613-1 is not prime. Res64: BEE5B75C5FDF3CB5 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:06:10] 727*2^1438613-1 is not prime. Res64: 720E141A7CB30FDF Time : 0.0 sec. user=mdettweiler [2016-09-02 09:06:11] 759*2^1438613-1 is not prime. Res64: B09A595226831D25 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:06:12] 771*2^1438613-1 is not prime. Res64: 9C957ED3E5A6EC16 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:06:15] 795*2^1438613-1 is not prime. Res64: 53E6854A9EC0D3F9 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:06:16] 867*2^1438613-1 is not prime. Res64: 0BD6ACEDFF17E326 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:07:17] 915*2^1438613-1 is not prime. Res64: C92115AE3117F892 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:07:18] 927*2^1438613-1 is not prime. Res64: 34B42492A8641EB1 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:07:21] 949*2^1438613-1 is not prime. Res64: 4D8807EDB5661B27 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:07:22] 991*2^1438613-1 is not prime. Res64: 5736DA01A4CF62EB Time : 0.0 sec. user=mdettweiler [2016-09-02 09:07:24] 657*2^1438614-1 is not prime. Res64: 6E5A9AF894D7C01B Time : 0.0 sec. user=mdettweiler [2016-09-02 09:12:23] 619*2^1438615-1 is not prime. Res64: 71E20FA14C5A2F45 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:12:24] 693*2^1438615-1 is not prime. Res64: 12EF1B2767A23F70 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:12:25] 723*2^1438615-1 is not prime. Res64: 37CD8109647C8009 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:12:26] 763*2^1438615-1 is not prime. Res64: BCD77CA86D54AAC9 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:12:26] 819*2^1438615-1 is not prime. Res64: E76C1E5D1066B6AE Time : 0.0 sec. user=mdettweiler [2016-09-02 09:30:54] 925*2^1438615-1 is not prime. Res64: AC962E104DB77146 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:30:55] 635*2^1438616-1 is not prime. Res64: D2C1BDC334163942 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:30:55] 825*2^1438616-1 is not prime. Res64: E2093DDB4F0CC471 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:30:55] 649*2^1438617-1 is not prime. Res64: C34623EC80B899E2 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:30:56] 681*2^1438617-1 is not prime. Res64: 803E5DDCAE02292C Time : 0.0 sec. user=mdettweiler [2016-09-02 09:51:53] 685*2^1438617-1 is not prime. Res64: 74514013DCC3BA31 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:51:53] 805*2^1438617-1 is not prime. Res64: FCBB976EFEE44F9B Time : 0.0 sec. user=mdettweiler [2016-09-02 09:51:54] 835*2^1438617-1 is not prime. Res64: 07789BD4636F8FAF Time : 0.0 sec. user=mdettweiler [2016-09-02 09:51:54] 885*2^1438617-1 is not prime. Res64: 086CE59B1B893221 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:51:55] 603*2^1438618-1 is not prime. Res64: 3F25A43A1632A8CA Time : 0.0 sec. user=mdettweiler [2016-09-02 09:52:51] 611*2^1438618-1 is not prime. Res64: E00CD8A917F571EB Time : 0.0 sec. user=mdettweiler [2016-09-02 09:52:51] 651*2^1438618-1 is not prime. Res64: 826393DF87BD5403 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:52:51] 677*2^1438618-1 is not prime. Res64: 684A3E6EE51D39CB Time : 0.0 sec. user=mdettweiler [2016-09-02 09:52:52] 735*2^1438618-1 is not prime. Res64: 89C6185B15B45460 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:52:52] 743*2^1438618-1 is not prime. Res64: 8C7820CD678B5AB9 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:58:01] 755*2^1438618-1 is not prime. Res64: 6CFCD0995C7DBAC6 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:58:02] 813*2^1438618-1 is not prime. Res64: A4180A1C205D23CC Time : 0.0 sec. user=mdettweiler [2016-09-02 09:58:02] 885*2^1438618-1 is not prime. Res64: 482DC1AA9A1B808C Time : 0.0 sec. user=mdettweiler [2016-09-02 09:58:02] 945*2^1438618-1 is not prime. Res64: 96CE495C955336C6 Time : 0.0 sec. user=mdettweiler [2016-09-02 09:58:03] 993*2^1438618-1 is not prime. Res64: 91E394FCCADBCBCF Time : 0.0 sec. user=mdettweiler [2016-09-02 10:17:27] 603*2^1438619-1 is not prime. Res64: A35B242916BEA0F7 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:17:27] 645*2^1438619-1 is not prime. Res64: 14A5990059DDE3F2 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:17:27] 675*2^1438619-1 is not prime. Res64: 68813319523201D9 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:17:28] 685*2^1438619-1 is not prime. Res64: B7CF343CDB611CD4 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:17:28] 711*2^1438619-1 is not prime. Res64: 19CE399214715ADF Time : 0.0 sec. user=mdettweiler [2016-09-02 10:39:05] 913*2^1438619-1 is not prime. Res64: 26D0F477053D2B9D Time : 0.0 sec. user=mdettweiler [2016-09-02 10:39:05] 949*2^1438619-1 is not prime. Res64: A9790E6042F4ED9D Time : 0.0 sec. user=mdettweiler [2016-09-02 10:39:05] 635*2^1438620-1 is not prime. Res64: B4B7D90C160A21A3 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:39:05] 689*2^1438620-1 is not prime. Res64: BCDB89B7480D740C Time : 0.0 sec. user=mdettweiler [2016-09-02 10:39:06] 723*2^1438620-1 is not prime. Res64: BC04CB2BE053B23F Time : 0.0 sec. user=mdettweiler [2016-09-02 10:40:09] 753*2^1438620-1 is not prime. Res64: 276F7DEE9700B3B7 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:40:09] 767*2^1438620-1 is not prime. Res64: 4372BA5A96316D42 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:40:09] 789*2^1438620-1 is not prime. Res64: F7F6FEA7BF37FB08 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:40:09] 987*2^1438620-1 is not prime. Res64: 58BE8901B105F8E1 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:40:09] 619*2^1438621-1 is not prime. Res64: F7A2D459390B938A Time : 0.0 sec. user=mdettweiler [2016-09-02 10:46:04] 621*2^1438621-1 is not prime. Res64: 6694F973AD9A2F1B Time : 0.0 sec. user=mdettweiler [2016-09-02 10:46:04] 625*2^1438621-1 is not prime. Res64: 9C585D4E4A6F0B65 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:46:04] 645*2^1438621-1 is not prime. Res64: E5786D6554576B10 Time : 0.0 sec. user=mdettweiler [2016-09-02 10:46:05] 651*2^1438621-1 is not prime. Res64: 7F9A77FBD337383A Time : 0.0 sec. user=mdettweiler [2016-09-02 10:46:05] 681*2^1438621-1 is not prime. Res64: E836A12379F7A9C1 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:04:46] 685*2^1438621-1 is not prime. Res64: FE39CF83F10ADA39 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:04:47] 727*2^1438621-1 is not prime. Res64: 206988BD5FD30A65 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:04:48] 747*2^1438621-1 is not prime. Res64: BFDFD44C91BBFF1D Time : 0.0 sec. user=mdettweiler [2016-09-02 11:04:48] 825*2^1438621-1 is not prime. Res64: A1264F4701B07B70 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:04:49] 847*2^1438621-1 is not prime. Res64: FC5F5AF0922C7C38 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:25:47] 855*2^1438621-1 is not prime. Res64: 9D132D41BB27DD22 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:25:47] 861*2^1438621-1 is not prime. Res64: 1CCDF14CBEC9F926 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:25:48] 615*2^1438622-1 is not prime. Res64: F8E603A1A9E7C48B Time : 0.0 sec. user=mdettweiler [2016-09-02 11:25:48] 623*2^1438622-1 is not prime. Res64: 4F08C41FDF90E595 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:25:48] 635*2^1438622-1 is not prime. Res64: 952BBAD050911F63 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:26:22] 713*2^1438622-1 is not prime. Res64: 7676EC6EC41AC647 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:26:23] 731*2^1438622-1 is not prime. Res64: 1C484F641B440691 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:26:23] 813*2^1438622-1 is not prime. Res64: 2B9AB240B34049E1 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:26:23] 977*2^1438622-1 is not prime. Res64: 62F3C956E9DA5E81 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:26:24] 679*2^1438623-1 is not prime. Res64: 79F2D2A4EC0B79E1 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:32:04] 705*2^1438623-1 is not prime. Res64: 6F7294685E2EA1F1 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:32:04] 765*2^1438623-1 is not prime. Res64: 215D17CECE01EBC3 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:32:05] 789*2^1438623-1 is not prime. Res64: 5B1B3742C647BC5A Time : 0.0 sec. user=mdettweiler [2016-09-02 11:32:05] 859*2^1438623-1 is not prime. Res64: 0F8664FAF3DFFA54 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:32:05] 951*2^1438623-1 is not prime. Res64: E564024FFF317BD0 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:50:31] 629*2^1438624-1 is not prime. Res64: 3B56EBF5BC3AC11A Time : 0.0 sec. user=mdettweiler [2016-09-02 11:50:31] 677*2^1438624-1 is not prime. Res64: 7060B25CBC7A3694 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:50:32] 773*2^1438624-1 is not prime. Res64: 0367A7AA346ED1B7 Time : 0.0 sec. user=mdettweiler [2016-09-02 11:50:32] 819*2^1438624-1 is not prime. Res64: 964CB3AD8C76B07E Time : 0.0 sec. user=mdettweiler [2016-09-02 11:50:32] 669*2^1438625-1 is not prime. Res64: 6D46A32A900B05A4 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:10:55] 675*2^1438625-1 is not prime. Res64: 154FA9A1BDF3B9B0 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:10:55] 721*2^1438625-1 is not prime. Res64: 3C56EAEF9A519D58 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:10:56] 727*2^1438625-1 is not prime. Res64: E6939A7209ED443F Time : 0.0 sec. user=mdettweiler [2016-09-02 12:10:57] 811*2^1438625-1 is not prime. Res64: F78CDA16A5EEF7DC Time : 0.0 sec. user=mdettweiler [2016-09-02 12:10:58] 841*2^1438625-1 is not prime. Res64: 357D009BC261C8C1 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:11:40] 711*2^1438626-1 is not prime. Res64: 1D974E8A3A17AFF5 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:11:42] 807*2^1438626-1 is not prime. Res64: 85EC3F38639191E4 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:11:43] 873*2^1438626-1 is not prime. Res64: DFEF8169687F4928 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:11:44] 905*2^1438626-1 is not prime. Res64: D090F38382184AFF Time : 0.0 sec. user=mdettweiler [2016-09-02 12:11:45] 921*2^1438626-1 is not prime. Res64: 95574A57D6F97185 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:17:35] 945*2^1438626-1 is not prime. Res64: 104CF6D2592DCCDE Time : 0.0 sec. user=mdettweiler [2016-09-02 12:17:35] 975*2^1438626-1 is not prime. Res64: D63833948EE535E9 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:17:35] 983*2^1438626-1 is not prime. Res64: 686E814F21EFB623 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:17:36] 663*2^1438627-1 is not prime. Res64: 2F4242A0CAB3299E Time : 0.0 sec. user=mdettweiler [2016-09-02 12:17:36] 673*2^1438627-1 is not prime. Res64: 29B404699E7C8A77 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:35:38] 691*2^1438627-1 is not prime. Res64: 7A367C6C8115DDDF Time : 0.0 sec. user=mdettweiler [2016-09-02 12:35:39] 733*2^1438627-1 is not prime. Res64: 3F088983DB3A6328 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:35:39] 885*2^1438627-1 is not prime. Res64: C71DE529DAC5C182 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:35:39] 919*2^1438627-1 is not prime. Res64: 5DEEB49533C2CDAE Time : 0.0 sec. user=mdettweiler [2016-09-02 12:35:40] 647*2^1438628-1 is not prime. Res64: 86C77F96FC9A66E8 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:56:09] 777*2^1438628-1 is not prime. Res64: 83A188AA91650B2B Time : 0.0 sec. user=mdettweiler [2016-09-02 12:56:09] 855*2^1438628-1 is not prime. Res64: D37E3981FB5812C6 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:56:10] 869*2^1438628-1 is not prime. Res64: 469CFB0AA294FFBA Time : 0.0 sec. user=mdettweiler [2016-09-02 12:56:10] 897*2^1438628-1 is not prime. Res64: DB0746D4E7CCF851 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:56:10] 945*2^1438628-1 is not prime. Res64: 873CA450580472EC Time : 0.0 sec. user=mdettweiler [2016-09-02 12:56:49] 655*2^1438629-1 is not prime. Res64: 596AC3E9832FA35D Time : 0.0 sec. user=mdettweiler [2016-09-02 12:56:49] 667*2^1438629-1 is not prime. Res64: A5955C62D92F1608 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:56:49] 679*2^1438629-1 is not prime. Res64: 06E854CE1AE16BDC Time : 0.0 sec. user=mdettweiler [2016-09-02 12:56:50] 745*2^1438629-1 is not prime. Res64: 97D821CE32A6C818 Time : 0.0 sec. user=mdettweiler [2016-09-02 12:56:50] 663*2^1438630-1 is not prime. Res64: 1FAD75D5B1550F2B Time : 0.0 sec. user=mdettweiler [2016-09-02 13:02:46] 731*2^1438630-1 is not prime. Res64: 5EA90973A3B811A7 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:02:48] 765*2^1438630-1 is not prime. Res64: CFB32FF631B7874F Time : 0.0 sec. user=mdettweiler [2016-09-02 13:02:48] 831*2^1438630-1 is not prime. Res64: F842D8987DF4AD23 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:02:49] 923*2^1438630-1 is not prime. Res64: DE518B959AA81A71 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:02:50] 971*2^1438630-1 is not prime. Res64: CB07597E5CACD19A Time : 0.0 sec. user=mdettweiler [2016-09-02 13:20:50] 987*2^1438630-1 is not prime. Res64: 600FECD0D3C7433A Time : 0.0 sec. user=mdettweiler [2016-09-02 13:20:50] 1001*2^1438630-1 is not prime. Res64: 66A8F4FB2965A86A Time : 0.0 sec. user=mdettweiler [2016-09-02 13:20:51] 649*2^1438631-1 is not prime. Res64: C31813041B6FC84C Time : 0.0 sec. user=mdettweiler [2016-09-02 13:20:51] 679*2^1438631-1 is not prime. Res64: BBCE7F8E1BC5BEC8 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:20:51] 711*2^1438631-1 is not prime. Res64: 72939DE5BAAB1423 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:41:21] 945*2^1438631-1 is not prime. Res64: 74857E4B9C8BAF95 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:41:22] 635*2^1438632-1 is not prime. Res64: 9013C9C3BDE2D221 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:41:22] 665*2^1438632-1 is not prime. Res64: ADDF9539D4859776 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:41:23] 693*2^1438632-1 is not prime. Res64: 9060A6C940818702 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:41:23] 713*2^1438632-1 is not prime. Res64: B840A4BF0DAC589B Time : 0.0 sec. user=mdettweiler [2016-09-02 13:42:03] 917*2^1438632-1 is not prime. Res64: DD177D6D11080845 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:42:03] 959*2^1438632-1 is not prime. Res64: 929CE845B245F3CA Time : 0.0 sec. user=mdettweiler [2016-09-02 13:42:04] 771*2^1438633-1 is not prime. Res64: A92754CB1558F9D3 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:42:04] 951*2^1438633-1 is not prime. Res64: 13AB5F7D78A13338 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:42:05] 999*2^1438633-1 is not prime. Res64: 31917917C2EBA2EB Time : 0.0 sec. user=mdettweiler [2016-09-02 13:48:11] 665*2^1438634-1 is not prime. Res64: BB37693EB149ADB8 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:48:11] 675*2^1438634-1 is not prime. Res64: 9C3503EC2FB1D3D9 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:48:12] 701*2^1438634-1 is not prime. Res64: 1B383FF62E273513 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:48:12] 743*2^1438634-1 is not prime. Res64: E3CF01764623C968 Time : 0.0 sec. user=mdettweiler [2016-09-02 13:48:12] 753*2^1438634-1 is not prime. Res64: DA455E0F4A79E106 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:06:07] 755*2^1438634-1 is not prime. Res64: 14553EC72D9A0A36 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:06:08] 791*2^1438634-1 is not prime. Res64: 8F33BAE4136375D5 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:06:09] 833*2^1438634-1 is not prime. Res64: 0343830C2C6A74A9 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:06:10] 685*2^1438635-1 is not prime. Res64: DB464FAED4245271 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:06:11] 789*2^1438635-1 is not prime. Res64: 70D42A07965E5638 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:26:25] 755*2^1438636-1 is not prime. Res64: F350251980E46275 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:26:25] 773*2^1438636-1 is not prime. Res64: 928414E8CB566F8C Time : 0.0 sec. user=mdettweiler [2016-09-02 14:26:26] 813*2^1438636-1 is not prime. Res64: 9BBACC588A33D368 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:26:26] 957*2^1438636-1 is not prime. Res64: 983A6480D3AFE676 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:26:26] 619*2^1438637-1 is not prime. Res64: B98037690012BC71 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:27:21] 669*2^1438637-1 is not prime. Res64: 64838CCAB9E602B5 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:27:21] 711*2^1438637-1 is not prime. Res64: 2C2DB3F5430B2A13 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:27:22] 715*2^1438637-1 is not prime. Res64: 117100D25A2068A0 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:27:22] 795*2^1438637-1 is not prime. Res64: 34372186CCECB5B8 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:27:22] 985*2^1438637-1 is not prime. Res64: E9C77CE9D2FE6CF1 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:33:32] 681*2^1438638-1 is not prime. Res64: 0B42E22A8E2DA710 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:33:32] 725*2^1438638-1 is not prime. Res64: 0B73CF79ABB5914B Time : 0.0 sec. user=mdettweiler [2016-09-02 14:33:32] 747*2^1438638-1 is not prime. Res64: A69C0CB58319DA13 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:33:33] 891*2^1438638-1 is not prime. Res64: 5CB0B07CD425FBF8 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:33:33] 971*2^1438638-1 is not prime. Res64: 2E5D2AF5673C2BEB Time : 0.0 sec. user=mdettweiler [2016-09-02 14:51:52] 619*2^1438639-1 is not prime. Res64: 5633B53EBDF0D87D Time : 0.0 sec. user=mdettweiler [2016-09-02 14:51:52] 633*2^1438639-1 is not prime. Res64: 01EA80A96E38C66B Time : 0.0 sec. user=mdettweiler [2016-09-02 14:51:52] 645*2^1438639-1 is not prime. Res64: 703070511C9BD686 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:51:53] 663*2^1438639-1 is not prime. Res64: 1782E8D746B79AF1 Time : 0.0 sec. user=mdettweiler [2016-09-02 14:51:53] 745*2^1438639-1 is not prime. Res64: E0D0A54A4550B19D Time : 0.0 sec. user=mdettweiler [2016-09-02 15:11:46] 759*2^1438639-1 is not prime. Res64: 580473CFAFC77DB4 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:11:47] 931*2^1438639-1 is not prime. Res64: B74D11450D6EF7C6 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:11:48] 969*2^1438639-1 is not prime. Res64: 23E04E3802FE1E05 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:11:49] 717*2^1438640-1 is not prime. Res64: 9D277AEC5EC27E1C Time : 0.0 sec. user=mdettweiler [2016-09-02 15:11:50] 797*2^1438640-1 is not prime. Res64: 7BC8A537D16FC296 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:12:29] 999*2^1438640-1 is not prime. Res64: 20FEA84619A329D3 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:12:31] 681*2^1438641-1 is not prime. Res64: 081D053A4ADB285F Time : 0.0 sec. user=mdettweiler [2016-09-02 15:12:32] 741*2^1438641-1 is not prime. Res64: 41F867E4CE037310 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:12:33] 781*2^1438641-1 is not prime. Res64: CC89F9B89A00E9E0 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:12:34] 805*2^1438641-1 is not prime. Res64: 6963559C74A34E5E Time : 0.0 sec. user=mdettweiler [2016-09-02 15:18:39] 811*2^1438641-1 is not prime. Res64: 3BF4E6420E1C2846 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:18:39] 865*2^1438641-1 is not prime. Res64: 1D27F4A78AAD3CB2 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:18:39] 867*2^1438641-1 is not prime. Res64: 0A46A6ED72F0FAF2 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:18:40] 909*2^1438641-1 is not prime. Res64: 740F62B29F56A454 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:18:40] 801*2^1438642-1 is not prime. Res64: 29695BFF58E0EB07 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:37:02] 825*2^1438642-1 is not prime. Res64: BEAA8D46BB012A09 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:37:03] 975*2^1438642-1 is not prime. Res64: B883497259984BBE Time : 0.0 sec. user=mdettweiler [2016-09-02 15:37:03] 741*2^1438643-1 is not prime. Res64: 02E81503A4324275 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:37:03] 879*2^1438643-1 is not prime. Res64: 1FFC3F347748493C Time : 0.0 sec. user=mdettweiler [2016-09-02 15:37:04] 969*2^1438643-1 is not prime. Res64: C3E96702400A66E8 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:57:13] 773*2^1438644-1 is not prime. Res64: EB6A982122AC3949 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:57:14] 899*2^1438644-1 is not prime. Res64: 5B746BB612CE215E Time : 0.0 sec. user=mdettweiler [2016-09-02 15:57:14] 927*2^1438644-1 is not prime. Res64: EA4121C189398359 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:57:15] 969*2^1438644-1 is not prime. Res64: BFA891A26DD766F5 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:57:15] 645*2^1438645-1 is not prime. Res64: 5B0D200EA51CE81E Time : 0.0 sec. user=mdettweiler [2016-09-02 15:57:34] 729*2^1438645-1 is not prime. Res64: 700089243AABB9F7 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:57:34] 751*2^1438645-1 is not prime. Res64: 9961E3A1C221491C Time : 0.0 sec. user=mdettweiler [2016-09-02 15:57:35] 773*2^1438646-1 is not prime. Res64: 82C50CC57417006B Time : 0.0 sec. user=mdettweiler [2016-09-02 15:57:35] 825*2^1438646-1 is not prime. Res64: 6AFDF80762D11767 Time : 0.0 sec. user=mdettweiler [2016-09-02 15:57:36] 911*2^1438646-1 is not prime. Res64: 330F4E6C7BD6A445 Time : 0.0 sec. user=mdettweiler [2016-09-02 16:04:10] 953*2^1438646-1 is not prime. Res64: 53883FFC5981FF76 Time : 0.0 sec. user=mdettweiler [2016-09-02 16:04:11] 625*2^1438647-1 is not prime. Res64: 56C1C3D061475152 Time : 0.0 sec. user=mdettweiler [2016-09-02 16:04:12] 739*2^1438647-1 is not prime. Res64: 9EA3D89D466E81DB Time : 0.0 sec. user=mdettweiler [2016-09-02 16:04:13] 751*2^1438647-1 is not prime. Res64: B29078B733C07846 Time : 0.0 sec. user=mdettweiler [2016-09-02 16:04:14] 865*2^1438647-1 is not prime. Res64: 3BCBEAB5AC302FEF Time : 0.0 sec. user=mdettweiler [2016-09-02 16:22:31] 873*2^1438647-1 is not prime. Res64: 9AE750EC2779271B Time : 0.0 sec. user=mdettweiler [2016-09-02 16:22:31] 895*2^1438647-1 is not prime. Res64: 652884452C3A7441 Time : 0.0 sec. user=mdettweiler [2016-09-02 16:22:32] 931*2^1438647-1 is not prime. Res64: 009F57AA9E7CA46D Time : 0.0 sec. user=mdettweiler [2016-09-02 16:22:32] 735*2^1438648-1 is not prime. Res64: 7DE281C14D105CAC Time : 0.0 sec. user=mdettweiler [2016-09-02 16:22:33] 743*2^1438648-1 is not prime. Res64: 16399D4722933C2D Time : 0.0 sec. user=mdettweiler [2016-09-02 16:42:24] 875*2^1438648-1 is not prime. Res64: C721FEE52BFE4C8F Time : 0.0 sec. user=mdettweiler [2016-09-02 16:42:24] 947*2^1438648-1 is not prime. Res64: 1FB2B1475D76980C Time : 0.0 sec. user=mdettweiler [2016-09-02 16:42:25] 679*2^1438649-1 is not prime. Res64: 5A228D8F6C12CF8C Time : 0.0 sec. user=mdettweiler [2016-09-02 16:42:25] 699*2^1438649-1 is not prime. Res64: 6C2C3E56BAAEC9FD Time : 0.0 sec. user=mdettweiler [2016-09-02 16:42:25] 727*2^1438649-1 is not prime. Res64: C39298C807699E6C Time : 0.0 sec. user=mdettweiler [2016-09-02 16:42:37] 861*2^1438649-1 is not prime. Res64: 634CE4866602B0C0 Time : 0.0 sec. user=mdettweiler [2016-09-02 16:42:37] 931*2^1438649-1 is not prime. Res64: C78AFC11B83D638C Time : 0.0 sec. user=mdettweiler [2016-09-02 16:42:38] 641*2^1438650-1 is not prime. Res64: 549EAB56B1C02846 Time : 0.0 sec. user=mdettweiler [2016-09-02 16:42:38] 681*2^1438650-1 is not prime. Res64: 4B10ED111625CE88 Time : 0.0 sec. user=mdettweiler [2016-09-02 16:42:39] 695*2^1438650-1 is not prime. Res64: DB5DD9B4E5990A2A Time : 0.0 sec. user=mdettweiler [2016-09-02 16:49:47] 797*2^1438650-1 is not prime. Res64: 6873FF59E923994A Time : 0.0 sec. user=mdettweiler [2016-09-02 16:49:48] 851*2^1438650-1 is not prime. Res64: CBA31710D0EB3D9B Time : 0.0 sec. user=mdettweiler [2016-09-02 16:49:48] 885*2^1438650-1 is not prime. Res64: 45F7AD5734F6DD04 Time : 0.0 sec. user=mdettweiler [2016-09-02 16:49:48] 957*2^1438650-1 is not prime. Res64: 586B0CEC3EBE71AA Time : 0.0 sec. user=mdettweiler [2016-09-02 16:49:49] 625*2^1438651-1 is not prime. Res64: 1569BBB77448CB62 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:08:17] 681*2^1438651-1 is not prime. Res64: 25DD4668E1EFDC9B Time : 0.0 sec. user=mdettweiler [2016-09-02 17:08:18] 813*2^1438651-1 is not prime. Res64: 0C6ACFA009E28B74 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:08:19] 841*2^1438651-1 is not prime. Res64: 886006065E86F7A3 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:08:20] 883*2^1438651-1 is not prime. Res64: 59C7131FA7971B8C Time : 0.0 sec. user=mdettweiler [2016-09-02 17:08:21] 951*2^1438651-1 is not prime. Res64: 41244E3320C1721A Time : 0.0 sec. user=mdettweiler [2016-09-02 17:29:13] 885*2^1438652-1 is not prime. Res64: F0EA2F47DFF20A25 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:29:13] 903*2^1438652-1 is not prime. Res64: 0BD8272FFD695677 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:29:14] 987*2^1438652-1 is not prime. Res64: C3C8385C7521D8AA Time : 0.0 sec. user=mdettweiler [2016-09-02 17:29:14] 759*2^1438653-1 is not prime. Res64: 69D3B2FA47563A2E Time : 0.0 sec. user=mdettweiler [2016-09-02 17:29:14] 915*2^1438653-1 is not prime. Res64: 87C250DFBC54FB4E Time : 0.0 sec. user=mdettweiler [2016-09-02 17:29:27] 683*2^1438652-1 is not prime. Res64: 862E955BC8C9410A Time : 0.0 sec. user=mdettweiler [2016-09-02 17:29:27] 759*2^1438652-1 is not prime. Res64: 5DE54D4DCD233C03 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:29:27] 767*2^1438652-1 is not prime. Res64: 23F50F6A2BAF92F9 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:29:27] 843*2^1438652-1 is not prime. Res64: D56C9790132CECE7 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:29:28] 873*2^1438652-1 is not prime. Res64: 582CF2F4333E30DE Time : 0.0 sec. user=mdettweiler [2016-09-02 17:37:14] 949*2^1438653-1 is not prime. Res64: C4328C1C1D92C1C3 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:37:14] 951*2^1438653-1 is not prime. Res64: 3A58B7077114729E Time : 0.0 sec. user=mdettweiler [2016-09-02 17:37:14] 969*2^1438653-1 is not prime. Res64: 0F260054F6720A90 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:37:15] 737*2^1438654-1 is not prime. Res64: 5DFAC55CF32E4E22 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:37:15] 857*2^1438654-1 is not prime. Res64: F6F7D186A5AFF8B8 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:56:56] 917*2^1438654-1 is not prime. Res64: 79C24D4B2118885C Time : 0.0 sec. user=mdettweiler [2016-09-02 17:56:56] 971*2^1438654-1 is not prime. Res64: B9A4C7614091DC96 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:56:56] 603*2^1438655-1 is not prime. Res64: 1351705E813887E5 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:56:56] 735*2^1438655-1 is not prime. Res64: 5C0B14EE4537AD45 Time : 0.0 sec. user=mdettweiler [2016-09-02 17:56:57] 771*2^1438655-1 is not prime. Res64: 041DBC0EDC74E7AC Time : 0.0 sec. user=mdettweiler [2016-09-02 18:16:13] 969*2^1438655-1 is not prime. Res64: 2A76F4490C7DACA5 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:16:14] 973*2^1438655-1 is not prime. Res64: 7EE0CA4DEE6D6AA8 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:16:15] 627*2^1438656-1 is not prime. Res64: 54A629E3F61CBCE0 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:16:15] 767*2^1438656-1 is not prime. Res64: 0658086DDC3A3792 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:16:16] 845*2^1438656-1 is not prime. Res64: AFF1C51A7BF7AFD0 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:16:36] 873*2^1438656-1 is not prime. Res64: 667E5F44491FFA05 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:16:37] 607*2^1438657-1 is not prime. Res64: 32CF77A339A14B6F Time : 0.0 sec. user=mdettweiler [2016-09-02 18:16:37] 615*2^1438657-1 is not prime. Res64: D3587397E3AC72FE Time : 0.0 sec. user=mdettweiler [2016-09-02 18:16:39] 841*2^1438657-1 is not prime. Res64: 3791F7A10807EACA Time : 0.0 sec. user=mdettweiler [2016-09-02 18:16:39] 937*2^1438657-1 is not prime. Res64: 4799A6DD53365D20 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:24:14] 939*2^1438657-1 is not prime. Res64: E3AE0F3D9037822A Time : 0.0 sec. user=mdettweiler [2016-09-02 18:24:15] 955*2^1438657-1 is not prime. Res64: B14B0411583197D0 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:24:15] 623*2^1438658-1 is not prime. Res64: 37F0AFEAD925806E Time : 0.0 sec. user=mdettweiler [2016-09-02 18:24:15] 735*2^1438658-1 is not prime. Res64: A468CA817A898B0A Time : 0.0 sec. user=mdettweiler [2016-09-02 18:24:15] 753*2^1438658-1 is not prime. Res64: 6B9886F4549689F6 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:44:03] 755*2^1438658-1 is not prime. Res64: 07B322648B5B1987 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:44:03] 773*2^1438658-1 is not prime. Res64: DD0E52B72034C3C2 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:44:04] 893*2^1438658-1 is not prime. Res64: 215704396C86F9A7 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:44:04] 993*2^1438658-1 is not prime. Res64: A452E432736FD2A8 Time : 0.0 sec. user=mdettweiler [2016-09-02 18:44:04] 685*2^1438659-1 is not prime. Res64: CEBDD7DBA365E570 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:02:59] 609*2^1438660-1 is not prime. Res64: 901FCCB694D79A1A Time : 0.0 sec. user=mdettweiler [2016-09-02 19:02:59] 677*2^1438660-1 is not prime. Res64: AC6A68EA34CBA140 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:02:59] 687*2^1438660-1 is not prime. Res64: 436952BE249F1DB1 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:03:00] 699*2^1438660-1 is not prime. Res64: 78C6FEFFB7BB7842 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:03:00] 723*2^1438660-1 is not prime. Res64: E81EB9F8BA78B936 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:03:00] 723*2^1438659-1 is not prime. Res64: 6FE7BD6CD8203DBB Time : 0.0 sec. user=mdettweiler [2016-09-02 19:03:00] 769*2^1438659-1 is not prime. Res64: 65522D21FD03742D Time : 0.0 sec. user=mdettweiler [2016-09-02 19:03:01] 795*2^1438659-1 is not prime. Res64: B8285E3481116F92 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:03:01] 885*2^1438659-1 is not prime. Res64: 370B0495DA1597DC Time : 0.0 sec. user=mdettweiler [2016-09-02 19:03:02] 931*2^1438659-1 is not prime. Res64: FC1FBD24E4BA913A Time : 0.0 sec. user=mdettweiler [2016-09-02 19:10:36] 819*2^1438660-1 is not prime. Res64: 721B85DF449521F7 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:10:36] 975*2^1438660-1 is not prime. Res64: 653B8E95CB402A91 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:10:38] 649*2^1438661-1 is not prime. Res64: AB32B54950454169 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:10:41] 789*2^1438661-1 is not prime. Res64: A4B5ECF93E767487 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:29:50] 861*2^1438661-1 is not prime. Res64: B96A281036C1E6F3 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:29:51] 867*2^1438661-1 is not prime. Res64: CE54F71725309E35 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:29:51] 951*2^1438661-1 is not prime. Res64: 6F9CCB1117768CBF Time : 0.0 sec. user=mdettweiler [2016-09-02 19:29:52] 657*2^1438662-1 is not prime. Res64: 9B447FE831149D0C Time : 0.0 sec. user=mdettweiler [2016-09-02 19:29:52] 825*2^1438662-1 is not prime. Res64: 4CA983C44C96B0F3 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:49:16] 875*2^1438662-1 is not prime. Res64: 47689B8D8E5D27D5 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:49:17] 885*2^1438662-1 is not prime. Res64: 6ED4A0A59DBB9B78 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:49:17] 921*2^1438662-1 is not prime. Res64: F0D3CB0F90454FAD Time : 0.0 sec. user=mdettweiler [2016-09-02 19:49:18] 615*2^1438663-1 is not prime. Res64: 96EDE87EEB21DF2B Time : 0.0 sec. user=mdettweiler [2016-09-02 19:49:18] 703*2^1438663-1 is not prime. Res64: F9E303EDAF16D304 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:49:38] 741*2^1438663-1 is not prime. Res64: E11BC9E1ABFDA36D Time : 0.0 sec. user=mdettweiler [2016-09-02 19:49:39] 831*2^1438663-1 is not prime. Res64: CCC9E7EBB975FE6B Time : 0.0 sec. user=mdettweiler [2016-09-02 19:49:39] 943*2^1438663-1 is not prime. Res64: AB79E7B84D2551CC Time : 0.0 sec. user=mdettweiler [2016-09-02 19:49:40] 961*2^1438663-1 is not prime. Res64: 32D50BE9AE6B0875 Time : 0.0 sec. user=mdettweiler [2016-09-02 19:49:40] 677*2^1438664-1 is not prime. Res64: F447F495A62CEB17 Time : 0.0 sec. user=mdettweiler [2016-09-02 20:16:32] 743*2^1438664-1 is not prime. Res64: 19A2A523F5AB0568 Time : 0.0 sec. user=mdettweiler [2016-09-02 20:16:33] 767*2^1438664-1 is not prime. Res64: B58C80C5D5485A02 Time : 0.0 sec. user=mdettweiler [2016-09-02 20:16:34] 813*2^1438664-1 is not prime. Res64: 1D12A1A4A0F6B57E Time : 0.0 sec. user=mdettweiler [2016-09-02 20:16:35] 899*2^1438664-1 is not prime. Res64: AC25C4FD3CB44B64 Time : 0.0 sec. user=mdettweiler [2016-09-02 20:16:36] 657*2^1438665-1 is not prime. Res64: 4C7526935D7A0A9E Time : 0.0 sec. user=mdettweiler [2016-09-02 20:35:41] 877*2^1438665-1 is not prime. Res64: 82C3352321104645 Time : 0.0 sec. user=mdettweiler [2016-09-02 20:35:43] 885*2^1438665-1 is not prime. Res64: 6D9F760CFEE715AC Time : 0.0 sec. user=mdettweiler [2016-09-02 20:35:43] 979*2^1438665-1 is not prime. Res64: F724C222CA3C4C99 Time : 0.0 sec. user=mdettweiler [2016-09-02 20:35:44] 999*2^1438665-1 is not prime. Res64: 70D4363A498274DB Time : 0.0 sec. user=mdettweiler [2016-09-02 20:36:06] 881*2^1438666-1 is not prime. Res64: FFF9C8E4D42FD08C Time : 0.0 sec. user=mdettweiler [2016-09-02 20:36:11] 971*2^1438666-1 is not prime. Res64: D7620D85B3DAD578 Time : 0.0 sec. user=mdettweiler [2016-09-02 20:36:11] 609*2^1438667-1 is not prime. Res64: 50790584B00A96DD Time : 0.0 sec. user=mdettweiler [2016-09-02 20:36:12] 621*2^1438667-1 is not prime. Res64: F62709F61E94E996 Time : 0.0 sec. user=mdettweiler [2016-09-02 20:36:13] 703*2^1438667-1 is not prime. Res64: 270583359508EE4E Time : 0.0 sec. user=mdettweiler [2016-09-02 21:05:03] 813*2^1438667-1 is not prime. Res64: 141FAB8B15B3F501 Time : 0.0 sec. user=mdettweiler [2016-09-02 21:05:04] 825*2^1438667-1 is not prime. Res64: 8AB52A372C7C86DD Time : 0.0 sec. user=mdettweiler [2016-09-02 21:05:04] 909*2^1438667-1 is not prime. Res64: 008FC57B1CFCA38A Time : 0.0 sec. user=mdettweiler [2016-09-02 21:05:04] 985*2^1438667-1 is not prime. Res64: 4DBCA1F62BD8D5B9 Time : 0.0 sec. user=mdettweiler [2016-09-02 21:05:05] 633*2^1438668-1 is not prime. Res64: 7532C1CDCCAAAFAD Time : 0.0 sec. user=mdettweiler [2016-09-02 21:27:15] 683*2^1438668-1 is not prime. Res64: 8959E4282A36BA41 Time : 0.0 sec. user=mdettweiler [2016-09-02 21:27:16] 725*2^1438668-1 is not prime. Res64: 3A8C36D968601038 Time : 0.0 sec. user=mdettweiler [2016-09-02 21:27:16] 839*2^1438668-1 is not prime. Res64: 1305EC983A463567 Time : 0.0 sec. user=mdettweiler [2016-09-02 21:27:17] 915*2^1438668-1 is not prime. Res64: 90FB0A6733BEBE26 Time : 0.0 sec. user=mdettweiler [2016-09-02 21:27:17] 969*2^1438668-1 is not prime. Res64: 124FFB118A7968B1 Time : 0.0 sec. user=mdettweiler [2016-09-02 21:55:20] 975*2^1438668-1 is not prime. Res64: 1D720AD2BEA07081 Time : 0.0 sec. user=mdettweiler [2016-09-02 21:55:20] 625*2^1438669-1 is not prime. Res64: 5428E844C0F66E44 Time : 0.0 sec. user=mdettweiler [2016-09-02 21:55:21] 801*2^1438669-1 is not prime. Res64: F3FF866919A66C2B Time : 0.0 sec. user=mdettweiler [2016-09-02 21:55:21] 829*2^1438669-1 is not prime. Res64: BCC2E785AFB78679 Time : 0.0 sec. user=mdettweiler [2016-09-02 21:55:21] 855*2^1438669-1 is not prime. Res64: 8FF036459BD15504 Time : 0.0 sec. user=mdettweiler [2016-09-02 22:17:57] 755*2^1438670-1 is not prime. Res64: F3734ACBB47CEC91 Time : 0.0 sec. user=mdettweiler [2016-09-02 22:17:58] 773*2^1438670-1 is not prime. Res64: CBE54F54E393009C Time : 0.0 sec. user=mdettweiler [2016-09-02 22:17:59] 831*2^1438670-1 is not prime. Res64: 4C0A099384CAA6AE Time : 0.0 sec. user=mdettweiler [2016-09-02 22:18:00] 887*2^1438670-1 is not prime. Res64: 6B18D2322C722E4A Time : 0.0 sec. user=mdettweiler [2016-09-02 22:18:01] 965*2^1438670-1 is not prime. Res64: A7D213107808F6C6 Time : 0.0 sec. user=mdettweiler [2016-09-02 22:45:09] 981*2^1438670-1 is not prime. Res64: 0C5D028B6E4839B0 Time : 0.0 sec. user=mdettweiler [2016-09-02 22:45:10] 619*2^1438671-1 is not prime. Res64: E48963E9B9B74957 Time : 0.0 sec. user=mdettweiler [2016-09-02 22:45:12] 837*2^1438661-1 is not prime. Res64: A71EC318B69906FD Time : 0.0 sec. user=mdettweiler [2016-09-02 22:45:12] 675*2^1438671-1 is not prime. Res64: 13DFF470AFF7923F Time : 0.0 sec. user=mdettweiler [2016-09-02 22:45:12] 745*2^1438671-1 is not prime. Res64: 9392B62C7E60BFF0 Time : 0.0 sec. user=mdettweiler [2016-09-02 22:45:13] 861*2^1438671-1 is not prime. Res64: 6BAD9E74E12429C0 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:06:31] 885*2^1438671-1 is not prime. Res64: 184B0BFE6974606E Time : 0.0 sec. user=mdettweiler [2016-09-02 23:06:31] 901*2^1438671-1 is not prime. Res64: DC706BB36438D6D5 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:06:32] 921*2^1438671-1 is not prime. Res64: 9F0B5CAF7EB78AAC Time : 0.0 sec. user=mdettweiler [2016-09-02 23:06:32] 945*2^1438671-1 is not prime. Res64: 001D80549E83757F Time : 0.0 sec. user=mdettweiler [2016-09-02 23:06:33] 605*2^1438672-1 is not prime. Res64: 3DF2F748A0B93CA0 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:31:47] 813*2^1438672-1 is not prime. Res64: 27E143A1F8623E71 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:31:49] 819*2^1438672-1 is not prime. Res64: 4D8E1C1A115CA200 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:31:49] 849*2^1438672-1 is not prime. Res64: AD0B92F16F65475B Time : 0.0 sec. user=mdettweiler [2016-09-02 23:31:50] 657*2^1438673-1 is not prime. Res64: 771C145E89CD4FA5 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:31:51] 691*2^1438673-1 is not prime. Res64: F924F89B66FDCD33 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:32:02] 831*2^1438673-1 is not prime. Res64: 75C514D269647612 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:32:03] 879*2^1438673-1 is not prime. Res64: 0AA92D829C9F9930 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:32:04] 725*2^1438674-1 is not prime. Res64: 9F79827E91985E07 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:32:05] 767*2^1438674-1 is not prime. Res64: A6807AC9D4A4C050 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:32:06] 803*2^1438674-1 is not prime. Res64: 1390066560CB62F5 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:53:11] 821*2^1438674-1 is not prime. Res64: E39E36A9D2D4B266 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:53:11] 983*2^1438674-1 is not prime. Res64: B05DBDC753ACDED1 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:53:12] 645*2^1438675-1 is not prime. Res64: 2A01C08374C946ED Time : 0.0 sec. user=mdettweiler [2016-09-02 23:53:12] 691*2^1438675-1 is not prime. Res64: 3152170E06035A49 Time : 0.0 sec. user=mdettweiler [2016-09-02 23:53:12] 709*2^1438675-1 is not prime. Res64: 6933D010A7D51C96 Time : 0.0 sec.