user=mdettweiler [2016-02-05 00:02:35] 619*2^1421407-1 is not prime. Res64: EBBDC94E53725533 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:02:36] 963*2^1421406-1 is not prime. Res64: F68268BB9641B1CB Time : 0.0 sec. user=mdettweiler [2016-02-05 00:02:37] 971*2^1421406-1 is not prime. Res64: 086641212B43388B Time : 0.0 sec. user=mdettweiler [2016-02-05 00:02:39] 729*2^1421407-1 is not prime. Res64: 8BD5100E76D43FAE Time : 0.0 sec. user=mdettweiler [2016-02-05 00:02:54] 759*2^1421407-1 is not prime. Res64: 76794895A4E1B152 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:02:55] 769*2^1421407-1 is not prime. Res64: 288CCB40F66E843E Time : 0.0 sec. user=mdettweiler [2016-02-05 00:23:05] 829*2^1421407-1 is not prime. Res64: 5E23E5FB8E44CCA7 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:23:06] 891*2^1421407-1 is not prime. Res64: E9405B2237856963 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:23:07] 919*2^1421407-1 is not prime. Res64: 257464BEC67058F8 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:23:08] 615*2^1421408-1 is not prime. Res64: 64B73C8E8CD39002 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:23:22] 743*2^1421408-1 is not prime. Res64: A6DEE493BA63A593 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:23:23] 797*2^1421408-1 is not prime. Res64: 0789C86DF4CECA0E Time : 0.0 sec. user=mdettweiler [2016-02-05 00:43:52] 711*2^1421409-1 is not prime. Res64: 5848BFA24BD78651 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:43:53] 807*2^1421409-1 is not prime. Res64: D98912212E573967 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:43:55] 609*2^1421409-1 is not prime. Res64: 767264CEB8FF8E93 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:43:56] 709*2^1421409-1 is not prime. Res64: 8231932A19839C3B Time : 0.0 sec. user=mdettweiler [2016-02-05 00:44:07] 991*2^1421409-1 is not prime. Res64: A969E64E239A6273 Time : 0.0 sec. user=mdettweiler [2016-02-05 00:44:08] 945*2^1421410-1 is not prime. Res64: 8993EF0278D0CBB0 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:01:34] 609*2^1421411-1 is not prime. Res64: 6720466ECAA73ABD Time : 0.0 sec. user=mdettweiler [2016-02-05 01:01:35] 823*2^1421411-1 is not prime. Res64: 5181249C64C3839D Time : 0.0 sec. user=mdettweiler [2016-02-05 01:01:35] 735*2^1421411-1 is not prime. Res64: FF8AA6D29D45068F Time : 0.0 sec. user=mdettweiler [2016-02-05 01:01:35] 939*2^1421411-1 is not prime. Res64: D55D7A75697B06EE Time : 0.0 sec. user=mdettweiler [2016-02-05 01:01:44] 969*2^1421411-1 is not prime. Res64: DBFF20EB25904F45 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:01:45] 629*2^1421412-1 is not prime. Res64: AA2DADE84AD25D47 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:19:28] 683*2^1421412-1 is not prime. Res64: 995D37D5CD52081B Time : 0.0 sec. user=mdettweiler [2016-02-05 01:19:28] 689*2^1421412-1 is not prime. Res64: 121A2CC6BA82A2F8 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:19:28] 765*2^1421412-1 is not prime. Res64: 66CFF59770ADEA5D Time : 0.0 sec. user=mdettweiler [2016-02-05 01:19:28] 857*2^1421412-1 is not prime. Res64: 52730701188A60E6 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:19:31] 915*2^1421412-1 is not prime. Res64: 5F011146E8693883 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:19:31] 639*2^1421413-1 is not prime. Res64: 186F232E85CDAA02 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:37:07] 855*2^1421413-1 is not prime. Res64: 7ACE123C542038A8 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:37:07] 885*2^1421413-1 is not prime. Res64: 6B007A4393975971 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:37:08] 657*2^1421414-1 is not prime. Res64: 2F9836CD5590A285 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:37:09] 857*2^1421414-1 is not prime. Res64: 323311865230C27F Time : 0.0 sec. user=mdettweiler [2016-02-05 01:37:10] 987*2^1421413-1 is not prime. Res64: C9F468CB6BD25A91 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:37:11] 635*2^1421414-1 is not prime. Res64: 48C607D41CE2175C Time : 0.0 sec. user=mdettweiler [2016-02-05 01:54:48] 669*2^1421415-1 is not prime. Res64: 7F1ABA81B53EA439 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:54:49] 691*2^1421415-1 is not prime. Res64: 993968AB40865361 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:54:49] 861*2^1421414-1 is not prime. Res64: C7CD1688DDFEAC9E Time : 0.0 sec. user=mdettweiler [2016-02-05 01:54:49] 957*2^1421414-1 is not prime. Res64: AA3A13C799F9D692 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:54:49] 885*2^1421414-1 is not prime. Res64: AD198364D2109332 Time : 0.0 sec. user=mdettweiler [2016-02-05 01:54:49] 1001*2^1421414-1 is not prime. Res64: CA050ABAD8ED4D17 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:12:28] 969*2^1421415-1 is not prime. Res64: CD46E92E63EEF411 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:12:28] 603*2^1421416-1 is not prime. Res64: 33E829ECAD180751 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:12:31] 717*2^1421416-1 is not prime. Res64: 28916016FE27B84D Time : 0.0 sec. user=mdettweiler [2016-02-05 02:12:32] 723*2^1421416-1 is not prime. Res64: 98572610EFCE1CA3 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:12:32] 795*2^1421415-1 is not prime. Res64: 03F3ED0BEAA629D0 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:12:33] 909*2^1421415-1 is not prime. Res64: 156BF0ADD13A5F53 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:30:12] 873*2^1421416-1 is not prime. Res64: 6E8C739EBBD76389 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:30:13] 779*2^1421416-1 is not prime. Res64: CE997E8B1CDD12AA Time : 0.0 sec. user=mdettweiler [2016-02-05 02:30:14] 975*2^1421416-1 is not prime. Res64: 24E6A99BABF26AF1 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:30:14] 813*2^1421416-1 is not prime. Res64: DF9CF06083038A1B Time : 0.0 sec. user=mdettweiler [2016-02-05 02:30:15] 999*2^1421416-1 is not prime. Res64: C9DFC8D6CF89E325 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:30:16] 685*2^1421417-1 is not prime. Res64: 892444F3E8DC05DB Time : 0.0 sec. user=mdettweiler [2016-02-05 02:48:02] 955*2^1421417-1 is not prime. Res64: 2663EFE54187D0F9 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:48:02] 711*2^1421417-1 is not prime. Res64: E1D3308791AA2E5F Time : 0.0 sec. user=mdettweiler [2016-02-05 02:48:02] 633*2^1421418-1 is not prime. Res64: 5A52015B88AFBE77 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:48:02] 657*2^1421418-1 is not prime. Res64: 6C686B8A01C12FC7 Time : 0.0 sec. user=mdettweiler [2016-02-05 02:48:03] 841*2^1421417-1 is not prime. Res64: 5746F115C79CEFEC Time : 0.0 sec. user=mdettweiler [2016-02-05 02:48:03] 713*2^1421418-1 is not prime. Res64: 451C4913B2D88653 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:05:41] 941*2^1421418-1 is not prime. Res64: C7648DC00DF0D7C4 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:05:42] 725*2^1421418-1 is not prime. Res64: 69E7E51F57128FDE Time : 0.0 sec. user=mdettweiler [2016-02-05 03:05:43] 601*2^1421419-1 is not prime. Res64: 1190B0F5AD7204EC Time : 0.0 sec. user=mdettweiler [2016-02-05 03:05:43] 1001*2^1421418-1 is not prime. Res64: 5ABA4380F1AC1728 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:05:45] 801*2^1421418-1 is not prime. Res64: EF400AE5620886C9 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:05:46] 751*2^1421419-1 is not prime. Res64: A90CD0CDCDD5B3F0 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:23:43] 789*2^1421419-1 is not prime. Res64: FE07967902F70273 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:23:44] 855*2^1421419-1 is not prime. Res64: 5C8F39D4391A85C6 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:23:44] 993*2^1421419-1 is not prime. Res64: 2BB7FBCE49D77752 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:23:45] 767*2^1421420-1 is not prime. Res64: 0FBFA4CAE3A70EDD Time : 0.0 sec. user=mdettweiler [2016-02-05 03:23:45] 859*2^1421419-1 is not prime. Res64: 6AFAE2EA0F8A7D38 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:23:45] 873*2^1421419-1 is not prime. Res64: 7A8A90E37336172D Time : 0.0 sec. user=mdettweiler [2016-02-05 03:41:22] 785*2^1421420-1 is not prime. Res64: D68AF8625B9C9F9A Time : 0.0 sec. user=mdettweiler [2016-02-05 03:41:22] 843*2^1421420-1 is not prime. Res64: A30E51A78A2816C1 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:41:24] 627*2^1421421-1 is not prime. Res64: 89E946A5C9592A84 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:41:24] 825*2^1421420-1 is not prime. Res64: 8A418B328CC24D8E Time : 0.0 sec. user=mdettweiler [2016-02-05 03:41:24] 963*2^1421420-1 is not prime. Res64: 2A2C6A796B8FBD35 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:41:25] 717*2^1421421-1 is not prime. Res64: 8CC4B33164E400AC Time : 0.0 sec. user=mdettweiler [2016-02-05 03:59:36] 865*2^1421421-1 is not prime. Res64: CF091EE9A22BB24C Time : 0.0 sec. user=mdettweiler [2016-02-05 03:59:37] 945*2^1421421-1 is not prime. Res64: BA07B07A4BFF4A49 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:59:37] 871*2^1421421-1 is not prime. Res64: EB4002EF9E5ED3C0 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:59:37] 665*2^1421422-1 is not prime. Res64: 5441D708DA6C8B9F Time : 0.0 sec. user=mdettweiler [2016-02-05 03:59:38] 741*2^1421421-1 is not prime. Res64: BA1063F879113491 Time : 0.0 sec. user=mdettweiler [2016-02-05 03:59:39] 777*2^1421421-1 is not prime. Res64: 952BB7CFEDCD1002 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:17:18] 915*2^1421422-1 is not prime. Res64: B64CC571815607B5 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:17:19] 663*2^1421423-1 is not prime. Res64: 7F72254E53032A71 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:17:19] 1001*2^1421422-1 is not prime. Res64: 11B14ABD81562396 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:17:19] 815*2^1421422-1 is not prime. Res64: 16141AB3FF99C4D6 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:17:19] 679*2^1421423-1 is not prime. Res64: 819AB6D11028E5E6 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:17:19] 873*2^1421422-1 is not prime. Res64: 058D6B41D9045F2D Time : 0.0 sec. user=mdettweiler [2016-02-05 04:34:59] 789*2^1421423-1 is not prime. Res64: 6E478F8D9B50BF23 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:34:59] 885*2^1421423-1 is not prime. Res64: 5B63F5921D215380 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:35:00] 685*2^1421423-1 is not prime. Res64: 82E1BB4A3F3F8C33 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:35:00] 745*2^1421423-1 is not prime. Res64: FD185633E3D42AE4 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:35:01] 889*2^1421423-1 is not prime. Res64: EA3D434FDA648BC8 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:35:01] 623*2^1421424-1 is not prime. Res64: A3E415F5E5AA0BB2 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:52:37] 675*2^1421424-1 is not prime. Res64: FF8644EA4F810E2A Time : 0.0 sec. user=mdettweiler [2016-02-05 04:52:37] 789*2^1421424-1 is not prime. Res64: DACB87F4180029D6 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:52:37] 667*2^1421425-1 is not prime. Res64: E17D3FCB3DD76431 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:52:37] 767*2^1421424-1 is not prime. Res64: 8CC55A3EFC230B9A Time : 0.0 sec. user=mdettweiler [2016-02-05 04:52:37] 947*2^1421424-1 is not prime. Res64: 24485258FFB599B3 Time : 0.0 sec. user=mdettweiler [2016-02-05 04:52:37] 841*2^1421425-1 is not prime. Res64: 969379B357116ACC Time : 0.0 sec. user=mdettweiler [2016-02-05 05:10:14] 861*2^1421425-1 is not prime. Res64: 9C11EC01FFCDCCB1 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:10:15] 937*2^1421425-1 is not prime. Res64: 56C80E7E73E601C3 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:10:15] 975*2^1421425-1 is not prime. Res64: EC929B687C049915 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:10:15] 713*2^1421426-1 is not prime. Res64: 15FA840C0FE0D151 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:10:16] 633*2^1421426-1 is not prime. Res64: D71E969C0C307679 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:10:16] 735*2^1421426-1 is not prime. Res64: 11965A59BCCF8D52 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:28:00] 921*2^1421426-1 is not prime. Res64: 965E855C25BADCF1 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:28:00] 957*2^1421426-1 is not prime. Res64: E7BA5909E8A4DEF6 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:28:01] 843*2^1421426-1 is not prime. Res64: 2A90E0409C06651B Time : 0.0 sec. user=mdettweiler [2016-02-05 05:28:01] 903*2^1421426-1 is not prime. Res64: 234DC5188E669DD2 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:28:01] 971*2^1421426-1 is not prime. Res64: 69E958F9B2D83A4A Time : 0.0 sec. user=mdettweiler [2016-02-05 05:28:02] 819*2^1421427-1 is not prime. Res64: 741735F215FEF7F2 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:45:36] 825*2^1421427-1 is not prime. Res64: 007C26C9DF192BA4 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:45:37] 931*2^1421427-1 is not prime. Res64: 8D53354839EC9125 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:45:37] 961*2^1421427-1 is not prime. Res64: 04401BA0B6BDEA23 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:45:37] 963*2^1421427-1 is not prime. Res64: 52D68CA3B493D48C Time : 0.0 sec. user=mdettweiler [2016-02-05 05:45:38] 707*2^1421428-1 is not prime. Res64: 7DBDED2865FCFD97 Time : 0.0 sec. user=mdettweiler [2016-02-05 05:45:38] 891*2^1421427-1 is not prime. Res64: BC87EE3352E23F47 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:03:16] 765*2^1421428-1 is not prime. Res64: 974BF6B4487F7354 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:03:16] 653*2^1421430-1 is not prime. Res64: 8A30168415BC3B88 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:03:16] 837*2^1421429-1 is not prime. Res64: 7C915F94B28FD52F Time : 0.0 sec. user=mdettweiler [2016-02-05 06:03:19] 735*2^1421429-1 is not prime. Res64: C68E2AC6F5D74626 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:03:19] 931*2^1421429-1 is not prime. Res64: 6DD3E97C8B360417 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:03:19] 707*2^1421430-1 is not prime. Res64: 5A470D2ED5308CD3 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:21:21] 795*2^1421430-1 is not prime. Res64: EF60661BA1FBAFE1 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:21:22] 921*2^1421430-1 is not prime. Res64: B20E94081973CA1D Time : 0.0 sec. user=mdettweiler [2016-02-05 06:21:22] 801*2^1421430-1 is not prime. Res64: 751F656E948092CC Time : 0.0 sec. user=mdettweiler [2016-02-05 06:21:23] 965*2^1421430-1 is not prime. Res64: CC79350335BF064C Time : 0.0 sec. user=mdettweiler [2016-02-05 06:21:23] 763*2^1421431-1 is not prime. Res64: C199567DCA35CC46 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:21:23] 693*2^1421431-1 is not prime. Res64: 179550225A08885C Time : 0.0 sec. user=mdettweiler [2016-02-05 06:38:58] 859*2^1421431-1 is not prime. Res64: EDAF70E8DA9C6E01 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:38:58] 933*2^1421431-1 is not prime. Res64: AFB6572332A261EF Time : 0.0 sec. user=mdettweiler [2016-02-05 06:38:58] 871*2^1421431-1 is not prime. Res64: 6E1ED8049F17EE04 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:38:58] 961*2^1421431-1 is not prime. Res64: BB7A7904D5013585 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:38:59] 615*2^1421432-1 is not prime. Res64: AD9297ABCA970BC0 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:38:59] 617*2^1421432-1 is not prime. Res64: 82872B29EEE92DB9 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:56:34] 873*2^1421432-1 is not prime. Res64: 1C3847863E01BEB8 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:56:34] 687*2^1421432-1 is not prime. Res64: 3F6BAB765A53F648 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:56:34] 669*2^1421432-1 is not prime. Res64: 72ABDBE3D6985CD4 Time : 0.0 sec. user=mdettweiler [2016-02-05 06:56:34] 681*2^1421433-1 is not prime. Res64: 6DBD99147343BA3A Time : 0.0 sec. user=mdettweiler [2016-02-05 06:56:34] 755*2^1421432-1 is not prime. Res64: F7E63F225731D12A Time : 0.0 sec. user=mdettweiler [2016-02-05 06:56:34] 683*2^1421432-1 is not prime. Res64: DED616FE4BA9EEE1 Time : 0.0 sec. user=mdettweiler [2016-02-05 07:14:10] 737*2^1421434-1 is not prime. Res64: EC26B785CC17C19A Time : 0.0 sec. user=mdettweiler [2016-02-05 07:14:11] 985*2^1421433-1 is not prime. Res64: BF81052EA1739AB9 Time : 0.0 sec. user=mdettweiler [2016-02-05 07:14:11] 837*2^1421433-1 is not prime. Res64: 70D33AE0F85BB0EE Time : 0.0 sec. user=mdettweiler [2016-02-05 07:14:11] 687*2^1421434-1 is not prime. Res64: 76C81C000B962D16 Time : 0.0 sec. user=mdettweiler [2016-02-05 07:14:11] 791*2^1421434-1 is not prime. Res64: 0D12FEF0CF37F1DE Time : 0.0 sec. user=mdettweiler [2016-02-05 07:14:11] 945*2^1421433-1 is not prime. Res64: 2B5EBD8BB35A21DB Time : 0.0 sec. user=mdettweiler [2016-02-05 07:31:52] 735*2^1421435-1 is not prime. Res64: F60F9D4698B1E9AC Time : 0.0 sec. user=mdettweiler [2016-02-05 07:31:52] 855*2^1421434-1 is not prime. Res64: 10B9047E159617DE Time : 0.0 sec. user=mdettweiler [2016-02-05 07:31:52] 843*2^1421435-1 is not prime. Res64: B43319C1A66DA387 Time : 0.0 sec. user=mdettweiler [2016-02-05 07:31:52] 905*2^1421434-1 is not prime. Res64: 9F9551C76AB80996 Time : 0.0 sec. user=mdettweiler [2016-02-05 07:31:56] 917*2^1421434-1 is not prime. Res64: A7820E5BA5FD1B84 Time : 0.0 sec. user=mdettweiler [2016-02-05 07:31:56] 645*2^1421435-1 is not prime. Res64: 9FA5F579EE63535D Time : 0.0 sec. user=mdettweiler [2016-02-05 07:49:29] 963*2^1421435-1 is not prime. Res64: B9CF668838B76C42 Time : 0.0 sec. user=mdettweiler [2016-02-05 07:49:29] 627*2^1421436-1 is not prime. Res64: B44E48336594FDB1 Time : 0.0 sec. user=mdettweiler [2016-02-05 07:49:29] 689*2^1421436-1 is not prime. Res64: 0721B7CD30CE74F0 Time : 0.0 sec. user=mdettweiler [2016-02-05 07:49:30] 749*2^1421436-1 is not prime. Res64: 16E88C4190FEBDB0 Time : 0.0 sec. user=mdettweiler [2016-02-05 07:49:32] 839*2^1421436-1 is not prime. Res64: 4A5DEE3DB201FD1B Time : 0.0 sec. user=mdettweiler [2016-02-05 07:49:32] 845*2^1421436-1 is not prime. Res64: 2FF2B6046122A6B3 Time : 0.0 sec. user=mdettweiler [2016-02-05 08:07:07] 799*2^1421437-1 is not prime. Res64: DD7EDDFBC8F5C13F Time : 0.0 sec. user=mdettweiler [2016-02-05 08:07:07] 609*2^1421437-1 is not prime. Res64: 646D51E93FCDBFA0 Time : 0.0 sec. user=mdettweiler [2016-02-05 08:07:07] 871*2^1421437-1 is not prime. Res64: A7D57C95045CEAAB Time : 0.0 sec. user=mdettweiler [2016-02-05 08:07:07] 727*2^1421437-1 is not prime. Res64: 9E204814F2A44FFE Time : 0.0 sec. user=mdettweiler [2016-02-05 08:07:09] 961*2^1421437-1 is not prime. Res64: 66FA1B65249E3B67 Time : 0.0 sec. user=mdettweiler [2016-02-05 08:07:10] 663*2^1421438-1 is not prime. Res64: D50F08A3806833D3 Time : 0.0 sec. user=mdettweiler [2016-02-05 08:24:51] 693*2^1421438-1 is not prime. Res64: 7B62D68F921630CC Time : 0.0 sec. user=mdettweiler [2016-02-05 08:24:52] 711*2^1421438-1 is not prime. Res64: E528C1B8D34D794C Time : 0.0 sec. user=mdettweiler [2016-02-05 08:24:57] 801*2^1421438-1 is not prime. Res64: 22BFC1230FE812EE Time : 0.0 sec. user=mdettweiler [2016-02-05 08:24:58] 615*2^1421439-1 is not prime. Res64: 88451DCB53123379 Time : 0.0 sec. user=mdettweiler [2016-02-05 08:24:59] 685*2^1421439-1 is not prime. Res64: F49A4BAD31A54103 Time : 0.0 sec. user=mdettweiler [2016-02-05 08:24:59] 763*2^1421439-1 is not prime. Res64: DBCDA94BF8C441BA Time : 0.0 sec. user=mdettweiler [2016-02-05 08:42:28] 801*2^1421210-1 is not prime. Res64: B7C3355C6396B56E Time : 0.0 sec. user=mdettweiler [2016-02-05 08:42:28] 887*2^1421210-1 is not prime. Res64: 8310A920BAC898EA Time : 0.0 sec. user=mdettweiler [2016-02-05 08:42:34] 829*2^1421439-1 is not prime. Res64: 2ABAA2CCB31A79DE Time : 0.0 sec. user=mdettweiler [2016-02-05 08:42:35] 891*2^1421439-1 is not prime. Res64: E2B32C3CD2AB9428 Time : 0.0 sec. user=mdettweiler [2016-02-05 08:42:38] 609*2^1421440-1 is not prime. Res64: 6B9FABC66AAC567F Time : 0.0 sec. user=mdettweiler [2016-02-05 08:42:38] 665*2^1421440-1 is not prime. Res64: 6E867FADC70A9EB8 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:00:12] 735*2^1421440-1 is not prime. Res64: 89CB56D73D4183AA Time : 0.0 sec. user=mdettweiler [2016-02-05 09:00:13] 833*2^1421440-1 is not prime. Res64: 6A360FB6D3EBE71D Time : 0.0 sec. user=mdettweiler [2016-02-05 09:00:14] 909*2^1421440-1 is not prime. Res64: 4705112FE828B201 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:00:15] 989*2^1421440-1 is not prime. Res64: 389D89F97FB43F81 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:00:20] 717*2^1421441-1 is not prime. Res64: 4ABCA60DF2153840 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:00:21] 727*2^1421441-1 is not prime. Res64: E0D9DE14FAB1D4D6 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:17:52] 901*2^1421441-1 is not prime. Res64: C03928F68DF770CC Time : 0.0 sec. user=mdettweiler [2016-02-05 09:17:53] 611*2^1421442-1 is not prime. Res64: 4703BF761E71986B Time : 0.0 sec. user=mdettweiler [2016-02-05 09:17:53] 937*2^1421441-1 is not prime. Res64: 2E18DFB24469F230 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:17:54] 677*2^1421442-1 is not prime. Res64: A063E04DC1BF7E74 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:17:58] 741*2^1421442-1 is not prime. Res64: 7F3DA49FB7DF065D Time : 0.0 sec. user=mdettweiler [2016-02-05 09:17:58] 765*2^1421442-1 is not prime. Res64: 9546D55DBBBD2D1A Time : 0.0 sec. user=mdettweiler [2016-02-05 09:35:31] 609*2^1421443-1 is not prime. Res64: D3CC0DB36CDD5881 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:35:31] 915*2^1421442-1 is not prime. Res64: 47A34D2925A61932 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:35:31] 673*2^1421443-1 is not prime. Res64: 49DEF37978C8F9A1 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:35:31] 983*2^1421442-1 is not prime. Res64: 67C5C51D80950D92 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:35:34] 691*2^1421443-1 is not prime. Res64: 4AE6B63561F8D240 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:35:35] 745*2^1421443-1 is not prime. Res64: 355F1FC93E5944C2 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:53:09] 973*2^1421443-1 is not prime. Res64: CFE68279AB05A671 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:53:09] 801*2^1421443-1 is not prime. Res64: C325616DEEDF2641 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:53:10] 753*2^1421444-1 is not prime. Res64: 5DE998E626791BDC Time : 0.0 sec. user=mdettweiler [2016-02-05 09:53:10] 939*2^1421443-1 is not prime. Res64: 74EA8D622F9B9200 Time : 0.0 sec. user=mdettweiler [2016-02-05 09:53:11] 885*2^1421444-1 is not prime. Res64: 37449A4ED840017E Time : 0.0 sec. user=mdettweiler [2016-02-05 09:53:12] 953*2^1421444-1 is not prime. Res64: DBDB42EB13C6FEDA Time : 0.0 sec. user=mdettweiler [2016-02-05 10:10:46] 625*2^1421445-1 is not prime. Res64: 415D55703AADF295 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:10:47] 709*2^1421445-1 is not prime. Res64: 408C7202029DDD41 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:10:48] 751*2^1421445-1 is not prime. Res64: E4502B48A93431AC Time : 0.0 sec. user=mdettweiler [2016-02-05 10:10:48] 805*2^1421445-1 is not prime. Res64: 8AFCFC01D0B2A212 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:10:49] 969*2^1421444-1 is not prime. Res64: 9CFC6E456C02ED1E Time : 0.0 sec. user=mdettweiler [2016-02-05 10:10:50] 987*2^1421444-1 is not prime. Res64: 287D21D51D89F4EE Time : 0.0 sec. user=mdettweiler [2016-02-05 10:29:13] 911*2^1421446-1 is not prime. Res64: 18C5A74DDDEE194C Time : 0.0 sec. user=mdettweiler [2016-02-05 10:29:13] 917*2^1421446-1 is not prime. Res64: 24946A3DE26748F2 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:29:18] 743*2^1421446-1 is not prime. Res64: C8E274CB73215289 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:29:18] 773*2^1421446-1 is not prime. Res64: 2AF16965267DBD16 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:29:38] 891*2^1421445-1 is not prime. Res64: A57C49F744E206E2 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:29:38] 991*2^1421445-1 is not prime. Res64: 9DD1810E04111696 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:46:49] 957*2^1421446-1 is not prime. Res64: 7369EAD214D61E32 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:46:49] 633*2^1421447-1 is not prime. Res64: BBDC1ECC97F809A7 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:46:54] 651*2^1421447-1 is not prime. Res64: 44D5A5261B289A50 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:46:54] 655*2^1421447-1 is not prime. Res64: 71883884D5B78F90 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:47:14] 663*2^1421447-1 is not prime. Res64: 4474C0BDB602B066 Time : 0.0 sec. user=mdettweiler [2016-02-05 10:47:14] 705*2^1421447-1 is not prime. Res64: 7F935C10B59BBDBD Time : 0.0 sec. user=mdettweiler [2016-02-05 11:04:27] 735*2^1421447-1 is not prime. Res64: 65FEDEBC4D378949 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:04:28] 759*2^1421447-1 is not prime. Res64: 684C83444821D225 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:04:31] 931*2^1421447-1 is not prime. Res64: 71CB5C5ECBB29DE2 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:04:32] 979*2^1421447-1 is not prime. Res64: 450BE34EC5C46960 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:04:52] 629*2^1421448-1 is not prime. Res64: 1B2D23F7EABA3674 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:04:54] 649*2^1421449-1 is not prime. Res64: 5A395DB54ED4FAA2 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:22:21] 751*2^1421449-1 is not prime. Res64: E4278B612CDBA23E Time : 0.0 sec. user=mdettweiler [2016-02-05 11:22:21] 687*2^1421449-1 is not prime. Res64: 14BF6BE62FE77DDC Time : 0.0 sec. user=mdettweiler [2016-02-05 11:22:22] 759*2^1421449-1 is not prime. Res64: A22CBD352F39A7FE Time : 0.0 sec. user=mdettweiler [2016-02-05 11:22:22] 721*2^1421449-1 is not prime. Res64: 623226A4187BF02B Time : 0.0 sec. user=mdettweiler [2016-02-05 11:22:31] 765*2^1421449-1 is not prime. Res64: 6E7DC6E18C898EAD Time : 0.0 sec. user=mdettweiler [2016-02-05 11:22:32] 861*2^1421449-1 is not prime. Res64: 3E78DC2B444F7C43 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:40:00] 717*2^1421450-1 is not prime. Res64: 1E0CD0A0ED57AF51 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:40:00] 783*2^1421450-1 is not prime. Res64: 56750A1EF9D76C6B Time : 0.0 sec. user=mdettweiler [2016-02-05 11:40:03] 939*2^1421449-1 is not prime. Res64: B1B8B47FC13803C5 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:40:03] 955*2^1421449-1 is not prime. Res64: B21EF2B70135A768 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:40:08] 825*2^1421450-1 is not prime. Res64: ECF3FEB4D26488F0 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:40:09] 831*2^1421450-1 is not prime. Res64: 8E4E0F35B52CFCE1 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:57:37] 845*2^1421450-1 is not prime. Res64: 93171C664449B33B Time : 0.0 sec. user=mdettweiler [2016-02-05 11:57:37] 857*2^1421450-1 is not prime. Res64: AB5B454930A100CE Time : 0.0 sec. user=mdettweiler [2016-02-05 11:57:39] 861*2^1421450-1 is not prime. Res64: A4B923AFF74DF383 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:57:39] 885*2^1421450-1 is not prime. Res64: B2C190EF5D222317 Time : 0.0 sec. user=mdettweiler [2016-02-05 11:57:45] 923*2^1421450-1 is not prime. Res64: 166051BAACDDD37E Time : 0.0 sec. user=mdettweiler [2016-02-05 11:57:45] 981*2^1421450-1 is not prime. Res64: 41D0C6DBFCC4989A Time : 0.0 sec. user=mdettweiler [2016-02-05 12:15:15] 675*2^1421451-1 is not prime. Res64: 910F0B5BFDC94FAB Time : 0.0 sec. user=mdettweiler [2016-02-05 12:15:16] 769*2^1421451-1 is not prime. Res64: 76F99DCF85CF2116 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:15:17] 849*2^1421451-1 is not prime. Res64: DF4145A2F715DEE9 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:15:18] 931*2^1421451-1 is not prime. Res64: C07639D02DB3B12B Time : 0.0 sec. user=mdettweiler [2016-02-05 12:15:25] 961*2^1421451-1 is not prime. Res64: 4A37808923049F17 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:15:25] 689*2^1421452-1 is not prime. Res64: C868358F0A5E7CD6 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:32:56] 875*2^1421452-1 is not prime. Res64: BFC8E88FEFD7124A Time : 0.0 sec. user=mdettweiler [2016-02-05 12:32:56] 939*2^1421452-1 is not prime. Res64: 387A3D87D77C920B Time : 0.0 sec. user=mdettweiler [2016-02-05 12:32:57] 827*2^1421452-1 is not prime. Res64: 9CA3A6F19880684C Time : 0.0 sec. user=mdettweiler [2016-02-05 12:32:57] 863*2^1421452-1 is not prime. Res64: A3615228275DDE53 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:33:02] 995*2^1421452-1 is not prime. Res64: 8911E756295A8D24 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:33:03] 715*2^1421453-1 is not prime. Res64: 628DD9F0A66B7792 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:50:35] 855*2^1421453-1 is not prime. Res64: 59B9E277973013C0 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:50:36] 937*2^1421453-1 is not prime. Res64: 7C2AFC4ED65F5281 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:50:39] 775*2^1421453-1 is not prime. Res64: C3974819495B2EBF Time : 0.0 sec. user=mdettweiler [2016-02-05 12:50:39] 801*2^1421453-1 is not prime. Res64: 4ED0057CE12C2911 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:50:40] 981*2^1421453-1 is not prime. Res64: 5534101DCBDD3164 Time : 0.0 sec. user=mdettweiler [2016-02-05 12:50:41] 651*2^1421454-1 is not prime. Res64: CB06A14C794E4641 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:08:12] 663*2^1421454-1 is not prime. Res64: 1A6CBCA67099EA1E Time : 0.0 sec. user=mdettweiler [2016-02-05 13:08:13] 873*2^1421454-1 is not prime. Res64: 8F3AAF5B200AF454 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:08:16] 917*2^1421454-1 is not prime. Res64: 3288AEF73287E569 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:08:17] 993*2^1421454-1 is not prime. Res64: 96F02FFA1D69E60D Time : 0.0 sec. user=mdettweiler [2016-02-05 13:08:18] 705*2^1421455-1 is not prime. Res64: 4671DE448DF92F3E Time : 0.0 sec. user=mdettweiler [2016-02-05 13:08:18] 715*2^1421455-1 is not prime. Res64: ECFD1E52F5A2D7C4 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:25:52] 895*2^1421455-1 is not prime. Res64: 39F16B1EDFD30681 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:25:52] 913*2^1421455-1 is not prime. Res64: EB27F8147F1D78FB Time : 0.0 sec. user=mdettweiler [2016-02-05 13:25:54] 939*2^1421455-1 is not prime. Res64: B8B79025E7BBE729 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:25:55] 635*2^1421456-1 is not prime. Res64: 25498E8B80922D37 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:25:56] 683*2^1421456-1 is not prime. Res64: FE94E351126C8FDD Time : 0.0 sec. user=mdettweiler [2016-02-05 13:25:57] 747*2^1421456-1 is not prime. Res64: 6B2162B87D00D587 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:43:32] 825*2^1421456-1 is not prime. Res64: 570EFCFC3AD51170 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:43:32] 827*2^1421456-1 is not prime. Res64: 78EF20711DBBBF3E Time : 0.0 sec. user=mdettweiler [2016-02-05 13:43:33] 845*2^1421456-1 is not prime. Res64: 8AFB1E8F9E439FB9 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:43:34] 945*2^1421456-1 is not prime. Res64: 640718A0156FBB40 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:43:35] 649*2^1421457-1 is not prime. Res64: BAAB93B0833E97B6 Time : 0.0 sec. user=mdettweiler [2016-02-05 13:43:36] 669*2^1421457-1 is not prime. Res64: B9C0B8433BBD6863 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:01:07] 675*2^1421457-1 is not prime. Res64: B877EAB0B43FE124 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:01:08] 819*2^1421457-1 is not prime. Res64: 4F78CF741DF1AC10 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:01:12] 861*2^1421457-1 is not prime. Res64: 7DDC75A7B7993644 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:01:14] 909*2^1421457-1 is not prime. Res64: 3F3886E1B756D9E6 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:01:15] 937*2^1421457-1 is not prime. Res64: 14F15B86DA2BCA34 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:01:16] 945*2^1421457-1 is not prime. Res64: 4ECC8E11E6DF7365 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:18:51] 955*2^1421457-1 is not prime. Res64: BEBA4B0938323A96 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:18:52] 975*2^1421457-1 is not prime. Res64: BF832F3F0826790A Time : 0.0 sec. user=mdettweiler [2016-02-05 14:18:53] 997*2^1421457-1 is not prime. Res64: 1541636636AAA87F Time : 0.0 sec. user=mdettweiler [2016-02-05 14:18:54] 665*2^1421458-1 is not prime. Res64: 4776F2E7321C6A78 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:18:54] 611*2^1421458-1 is not prime. Res64: 7C4CB677771A39C2 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:18:55] 657*2^1421458-1 is not prime. Res64: 494343DFF01E9234 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:36:32] 773*2^1421458-1 is not prime. Res64: 73CF173F5EA3AB7C Time : 0.0 sec. user=mdettweiler [2016-02-05 14:36:32] 803*2^1421458-1 is not prime. Res64: A4387FE5BC24DAA6 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:36:34] 813*2^1421458-1 is not prime. Res64: B25BEDC678817742 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:36:34] 671*2^1421458-1 is not prime. Res64: C3C4FF3C13DB2C8E Time : 0.0 sec. user=mdettweiler [2016-02-05 14:36:34] 857*2^1421458-1 is not prime. Res64: 78D4D878C8E215E6 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:36:35] 735*2^1421458-1 is not prime. Res64: 76415A171A5BB6B2 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:54:09] 867*2^1421458-1 is not prime. Res64: 5B5AF75B5EEA0ABE Time : 0.0 sec. user=mdettweiler [2016-02-05 14:54:09] 621*2^1421459-1 is not prime. Res64: F627701E4F56851C Time : 0.0 sec. user=mdettweiler [2016-02-05 14:54:09] 669*2^1421459-1 is not prime. Res64: EED0DBEE00C43EA4 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:54:10] 675*2^1421459-1 is not prime. Res64: 1782CEBB31497BF5 Time : 0.0 sec. user=mdettweiler [2016-02-05 14:54:10] 741*2^1421459-1 is not prime. Res64: 796AA069C9B6FF8D Time : 0.0 sec. user=mdettweiler [2016-02-05 14:54:10] 753*2^1421459-1 is not prime. Res64: 8F908BD6E9A9E07A Time : 0.0 sec. user=mdettweiler [2016-02-05 15:11:46] 801*2^1421459-1 is not prime. Res64: 75B337CB398A900B Time : 0.0 sec. user=mdettweiler [2016-02-05 15:11:47] 811*2^1421459-1 is not prime. Res64: 719AACD486D98F85 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:11:47] 889*2^1421459-1 is not prime. Res64: 07C4CDA78E2B54F9 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:11:48] 627*2^1421460-1 is not prime. Res64: 34B9430977C68964 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:11:49] 669*2^1421460-1 is not prime. Res64: 6387C567A79539C7 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:11:49] 753*2^1421460-1 is not prime. Res64: A4D0C2FBABD7E390 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:29:27] 765*2^1421460-1 is not prime. Res64: D8AEB2BAFE2F456D Time : 0.0 sec. user=mdettweiler [2016-02-05 15:29:27] 899*2^1421460-1 is not prime. Res64: 39E5E557E60D16E3 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:29:27] 809*2^1421460-1 is not prime. Res64: 551DF545C86989D7 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:29:27] 909*2^1421460-1 is not prime. Res64: 0287A87E233A9297 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:29:30] 965*2^1421460-1 is not prime. Res64: 39475C70789DB785 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:29:30] 983*2^1421460-1 is not prime. Res64: 2C1620F1ABB110C6 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:47:05] 889*2^1421461-1 is not prime. Res64: B4D1DC119F40CABA Time : 0.0 sec. user=mdettweiler [2016-02-05 15:47:06] 687*2^1421461-1 is not prime. Res64: 3D321A23647675ED Time : 0.0 sec. user=mdettweiler [2016-02-05 15:47:06] 625*2^1421461-1 is not prime. Res64: 974A2F6FF75BA48D Time : 0.0 sec. user=mdettweiler [2016-02-05 15:47:06] 797*2^1421462-1 is not prime. Res64: FD5F27FE97CCBF1B Time : 0.0 sec. user=mdettweiler [2016-02-05 15:47:06] 855*2^1421461-1 is not prime. Res64: F9EC085E0E244D49 Time : 0.0 sec. user=mdettweiler [2016-02-05 15:47:06] 681*2^1421461-1 is not prime. Res64: 0B707291498AAC99 Time : 0.0 sec. user=mdettweiler [2016-02-05 16:05:03] 813*2^1421462-1 is not prime. Res64: 9A9979192F40DC47 Time : 0.0 sec. user=mdettweiler [2016-02-05 16:05:04] 915*2^1421462-1 is not prime. Res64: 59F75ED1FBB347E0 Time : 0.0 sec. user=mdettweiler [2016-02-05 16:05:07] 893*2^1421462-1 is not prime. Res64: 17361FA9BEC90DBB Time : 0.0 sec. user=mdettweiler [2016-02-05 16:05:08] 723*2^1421463-1 is not prime. Res64: 9A8E05CF18059DFD Time : 0.0 sec. user=mdettweiler [2016-02-05 16:05:09] 981*2^1421462-1 is not prime. Res64: 5EA1B172F23B549F Time : 0.0 sec. user=mdettweiler [2016-02-05 16:05:09] 735*2^1421463-1 is not prime. Res64: 7EE41BD8A3B03FCC Time : 0.0 sec. user=mdettweiler [2016-02-05 16:23:43] 745*2^1421463-1 is not prime. Res64: 57937F1D642E1001 Time : 0.0 sec. user=mdettweiler [2016-02-05 16:23:43] 789*2^1421463-1 is not prime. Res64: F047F5387E32E6B8 Time : 0.0 sec. user=mdettweiler [2016-02-05 16:23:44] 793*2^1421463-1 is not prime. Res64: EAE0E6C7DC2F829E Time : 0.0 sec. user=mdettweiler [2016-02-05 16:23:44] 805*2^1421463-1 is not prime. Res64: CFABB0FE3FE22671 Time : 0.0 sec. user=mdettweiler [2016-02-05 16:23:46] 831*2^1421463-1 is not prime. Res64: 1775417D7E9F7EB2 Time : 0.0 sec. user=mdettweiler [2016-02-05 16:23:46] 949*2^1421463-1 is not prime. Res64: 3B196701BBD60339 Time : 0.0 sec. user=mdettweiler [2016-02-05 16:43:44] 615*2^1421464-1 is not prime. Res64: 1870AE8200049F8E Time : 0.0 sec. user=mdettweiler [2016-02-05 16:43:45] 629*2^1421464-1 is not prime. Res64: B5A41B1D13756F20 Time : 0.0 sec. user=mdettweiler [2016-02-05 16:43:47] 639*2^1421464-1 is not prime. Res64: BF663C3443B258AF Time : 0.0 sec. user=mdettweiler [2016-02-05 16:43:47] 677*2^1421464-1 is not prime. Res64: 5E1895BAC0290352 Time : 0.0 sec. user=mdettweiler [2016-02-05 16:43:47] 675*2^1421464-1 is not prime. Res64: 0A14942F494FB15D Time : 0.0 sec. user=mdettweiler [2016-02-05 16:43:47] 723*2^1421464-1 is not prime. Res64: 845AC97C23D2DB17 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:06:17] 965*2^1421464-1 is not prime. Res64: C347421E39C5F406 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:06:17] 983*2^1421464-1 is not prime. Res64: A5D0DD4D8A616AA9 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:06:23] 765*2^1421464-1 is not prime. Res64: 12019BA0B0C86069 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:06:23] 843*2^1421464-1 is not prime. Res64: 98C59F85B6EE35D3 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:06:24] 869*2^1421464-1 is not prime. Res64: A5CD9D5C9299B644 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:06:25] 897*2^1421464-1 is not prime. Res64: E35B5C81E2C28E8F Time : 0.0 sec. user=mdettweiler [2016-02-05 17:24:03] 675*2^1421465-1 is not prime. Res64: F04DA1DE400278D9 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:24:03] 729*2^1421465-1 is not prime. Res64: 8CD771875013A5FE Time : 0.0 sec. user=mdettweiler [2016-02-05 17:24:08] 871*2^1421465-1 is not prime. Res64: 4C62BA921F8E9C3B Time : 0.0 sec. user=mdettweiler [2016-02-05 17:24:09] 951*2^1421465-1 is not prime. Res64: EA37C28737E80EA9 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:24:09] 837*2^1421465-1 is not prime. Res64: 70F26E2CD5DB6691 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:24:10] 867*2^1421465-1 is not prime. Res64: 7935DC415037BB83 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:41:40] 843*2^1421466-1 is not prime. Res64: CFF143469C0BE2DE Time : 0.0 sec. user=mdettweiler [2016-02-05 17:41:41] 921*2^1421466-1 is not prime. Res64: D1F4A001F4EADA43 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:41:45] 651*2^1421467-1 is not prime. Res64: C32340292573C26C Time : 0.0 sec. user=mdettweiler [2016-02-05 17:41:46] 673*2^1421467-1 is not prime. Res64: 2398B75AB53B1440 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:41:49] 983*2^1421466-1 is not prime. Res64: D52F688321CBF0C6 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:41:49] 645*2^1421467-1 is not prime. Res64: 902A403134C48769 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:59:17] 733*2^1421467-1 is not prime. Res64: A24B4D2ABF5BBFB1 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:59:17] 975*2^1421467-1 is not prime. Res64: 6E80A67E5FCF2DF0 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:59:21] 993*2^1421467-1 is not prime. Res64: E4773279DE9E95A3 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:59:22] 647*2^1421468-1 is not prime. Res64: 98B3AF93CF06348A Time : 0.0 sec. user=mdettweiler [2016-02-05 17:59:26] 683*2^1421468-1 is not prime. Res64: 04CF790F5713DF69 Time : 0.0 sec. user=mdettweiler [2016-02-05 17:59:26] 759*2^1421468-1 is not prime. Res64: B5493868CE96404C Time : 0.0 sec. user=mdettweiler [2016-02-05 18:16:54] 867*2^1421468-1 is not prime. Res64: 013D602A2ED7BB98 Time : 0.0 sec. user=mdettweiler [2016-02-05 18:16:54] 875*2^1421468-1 is not prime. Res64: 1D96CD94A2611842 Time : 0.0 sec. user=mdettweiler [2016-02-05 18:16:58] 879*2^1421468-1 is not prime. Res64: 55619F62F740BC0F Time : 0.0 sec. user=mdettweiler [2016-02-05 18:16:59] 897*2^1421468-1 is not prime. Res64: A9C51CA8EA051352 Time : 0.0 sec. user=mdettweiler [2016-02-05 18:17:02] 727*2^1421469-1 is not prime. Res64: 4B52F9F30C5F430E Time : 0.0 sec. user=mdettweiler [2016-02-05 18:17:02] 745*2^1421469-1 is not prime. Res64: 6A24A63D65E4C4F0 Time : 0.0 sec. user=mdettweiler [2016-02-05 18:34:31] 765*2^1421469-1 is not prime. Res64: C606D41848EFDBBF Time : 0.0 sec. user=mdettweiler [2016-02-05 18:34:32] 785*2^1421470-1 is not prime. Res64: 3C59B15133C6A5F8 Time : 0.0 sec. user=mdettweiler [2016-02-05 18:34:34] 813*2^1421470-1 is not prime. Res64: A5B207FD949810E3 Time : 0.0 sec. user=mdettweiler [2016-02-05 18:34:35] 861*2^1421470-1 is not prime. Res64: A597A4DA37D7144C Time : 0.0 sec. user=mdettweiler [2016-02-05 18:34:38] 911*2^1421470-1 is not prime. Res64: 83AB0140F80848CE Time : 0.0 sec. user=mdettweiler [2016-02-05 18:34:38] 915*2^1421470-1 is not prime. Res64: 974F14293D100098 Time : 0.0 sec. user=mdettweiler [2016-02-05 18:52:08] 661*2^1421471-1 is not prime. Res64: 315BFABB496C4A64 Time : 0.0 sec. user=mdettweiler [2016-02-05 18:52:08] 685*2^1421471-1 is not prime. Res64: 9E5FE8ACBBC92D4F Time : 0.0 sec. user=mdettweiler [2016-02-05 18:52:10] 703*2^1421471-1 is not prime. Res64: 89CBC58C0B16BE97 Time : 0.0 sec. user=mdettweiler [2016-02-05 18:52:10] 711*2^1421471-1 is not prime. Res64: B740E8085EED059D Time : 0.0 sec. user=mdettweiler [2016-02-05 18:52:14] 741*2^1421471-1 is not prime. Res64: AEAF5177F40B0180 Time : 0.0 sec. user=mdettweiler [2016-02-05 18:52:14] 745*2^1421471-1 is not prime. Res64: C9C897C5E490C380 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:09:44] 753*2^1421471-1 is not prime. Res64: EE347B57F7166331 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:09:45] 901*2^1421471-1 is not prime. Res64: 3983AB1656D393AE Time : 0.0 sec. user=mdettweiler [2016-02-05 19:09:46] 969*2^1421471-1 is not prime. Res64: 50B773C7238EC5D5 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:09:47] 981*2^1421471-1 is not prime. Res64: CEC04D036C05E314 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:09:52] 991*2^1421471-1 is not prime. Res64: 311F45AD30FB0830 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:09:53] 623*2^1421472-1 is not prime. Res64: CEB0460E6C3F45C5 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:27:28] 879*2^1421472-1 is not prime. Res64: F288E5D7E7A23647 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:27:29] 903*2^1421472-1 is not prime. Res64: 5F175D149FF52167 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:27:29] 665*2^1421472-1 is not prime. Res64: CF8936D54735A820 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:27:29] 737*2^1421472-1 is not prime. Res64: 2B93C663CDBBB7A2 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:27:35] 945*2^1421472-1 is not prime. Res64: A7F74DF3D09C47E3 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:27:35] 999*2^1421472-1 is not prime. Res64: A1F35C6456AE9FEE Time : 0.0 sec. user=mdettweiler [2016-02-05 19:45:06] 937*2^1421473-1 is not prime. Res64: AACF94036E76EA24 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:45:06] 665*2^1421474-1 is not prime. Res64: 7B5A09BEB09BE6F6 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:45:11] 797*2^1421474-1 is not prime. Res64: BA87AE61084317F3 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:45:11] 813*2^1421474-1 is not prime. Res64: 87B8561F3299CB59 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:45:14] 637*2^1421473-1 is not prime. Res64: A5E44136DB064A41 Time : 0.0 sec. user=mdettweiler [2016-02-05 19:45:14] 715*2^1421473-1 is not prime. Res64: 071934FF48DA1364 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:02:44] 831*2^1421474-1 is not prime. Res64: EE89E935F751F471 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:02:46] 857*2^1421474-1 is not prime. Res64: BE959256CBF951D2 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:02:48] 927*2^1421474-1 is not prime. Res64: 3C7215E97E241B86 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:02:49] 987*2^1421474-1 is not prime. Res64: A1430AE8BE7E7EEB Time : 0.0 sec. user=mdettweiler [2016-02-05 20:02:53] 1001*2^1421474-1 is not prime. Res64: 5EB5B349BDC80606 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:02:55] 613*2^1421475-1 is not prime. Res64: 4A9253E14E8CA885 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:21:38] 751*2^1421475-1 is not prime. Res64: 0DB33C3E4BEBA531 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:21:39] 849*2^1421475-1 is not prime. Res64: A48F05743B16546E Time : 0.0 sec. user=mdettweiler [2016-02-05 20:21:41] 885*2^1421475-1 is not prime. Res64: 73F2535D0D512211 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:21:41] 895*2^1421475-1 is not prime. Res64: 909713D98C1BC4FC Time : 0.0 sec. user=mdettweiler [2016-02-05 20:21:43] 619*2^1421475-1 is not prime. Res64: 9A78382F05395437 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:21:44] 615*2^1421476-1 is not prime. Res64: 89E92C10CFB0CD68 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:39:35] 623*2^1421476-1 is not prime. Res64: 19CABB91EA9D6CA7 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:39:36] 717*2^1421476-1 is not prime. Res64: 41DA468AEFB70EFE Time : 0.0 sec. user=mdettweiler [2016-02-05 20:39:37] 923*2^1421476-1 is not prime. Res64: 89C940DD1CCC854B Time : 0.0 sec. user=mdettweiler [2016-02-05 20:39:37] 927*2^1421476-1 is not prime. Res64: AA66720069903290 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:39:39] 839*2^1421476-1 is not prime. Res64: BC995B8D3B8E33D3 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:39:39] 845*2^1421476-1 is not prime. Res64: 39B0339A4F65B2FF Time : 0.0 sec. user=mdettweiler [2016-02-05 20:57:14] 939*2^1421476-1 is not prime. Res64: 76341358F00E3EB5 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:57:14] 619*2^1421477-1 is not prime. Res64: ABED80117D3B567A Time : 0.0 sec. user=mdettweiler [2016-02-05 20:57:16] 915*2^1421477-1 is not prime. Res64: 92FD9B2AD09C3776 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:57:16] 931*2^1421477-1 is not prime. Res64: 8202644FA2F66D6F Time : 0.0 sec. user=mdettweiler [2016-02-05 20:57:17] 955*2^1421477-1 is not prime. Res64: 78D473AA5FC267C7 Time : 0.0 sec. user=mdettweiler [2016-02-05 20:57:18] 663*2^1421478-1 is not prime. Res64: B481BCE03CD50DDD Time : 0.0 sec. user=mdettweiler [2016-02-05 21:14:54] 755*2^1421478-1 is not prime. Res64: 9AEAAA3D1C3A4E1D Time : 0.0 sec. user=mdettweiler [2016-02-05 21:14:55] 791*2^1421478-1 is not prime. Res64: 8A93E675C7628E8C Time : 0.0 sec. user=mdettweiler [2016-02-05 21:14:55] 681*2^1421478-1 is not prime. Res64: 94FF4AF7C5FEA947 Time : 0.0 sec. user=mdettweiler [2016-02-05 21:14:55] 975*2^1421478-1 is not prime. Res64: 205D0DDFA8F26232 Time : 0.0 sec. user=mdettweiler [2016-02-05 21:14:56] 713*2^1421478-1 is not prime. Res64: F33B2B88EE6FE76C Time : 0.0 sec. user=mdettweiler [2016-02-05 21:14:56] 601*2^1421479-1 is not prime. Res64: A021A85EEAD305DA Time : 0.0 sec. user=mdettweiler [2016-02-05 21:32:34] 661*2^1421479-1 is not prime. Res64: 0CE3DDA031C5DF4D Time : 0.0 sec. user=mdettweiler [2016-02-05 21:32:35] 735*2^1421479-1 is not prime. Res64: D5C71D0220A54A98 Time : 0.0 sec. user=mdettweiler [2016-02-05 21:32:35] 759*2^1421479-1 is not prime. Res64: 72631927C2BB78E2 Time : 0.0 sec. user=mdettweiler [2016-02-05 21:32:35] 763*2^1421479-1 is not prime. Res64: EAF0EB854F54CFE1 Time : 0.0 sec. user=mdettweiler [2016-02-05 21:32:36] 609*2^1421479-1 is not prime. Res64: 9B16853F1DBFF2BA Time : 0.0 sec. user=mdettweiler [2016-02-05 21:32:36] 639*2^1421479-1 is not prime. Res64: 4B142DEABC91376A Time : 0.0 sec. user=mdettweiler [2016-02-05 21:50:13] 771*2^1421479-1 is not prime. Res64: 350780B988AA6858 Time : 0.0 sec. user=mdettweiler [2016-02-05 21:50:14] 659*2^1421480-1 is not prime. Res64: 04EF0047C29A2F6E Time : 0.0 sec. user=mdettweiler [2016-02-05 21:50:14] 855*2^1421479-1 is not prime. Res64: 6B6F5306D7514236 Time : 0.0 sec. user=mdettweiler [2016-02-05 21:50:14] 713*2^1421480-1 is not prime. Res64: BD0635EEB05B2B88 Time : 0.0 sec. user=mdettweiler [2016-02-05 21:50:15] 825*2^1421480-1 is not prime. Res64: A18AFE4C0E6E8491 Time : 0.0 sec. user=mdettweiler [2016-02-05 21:50:16] 875*2^1421480-1 is not prime. Res64: D29DC459DA23057C Time : 0.0 sec. user=mdettweiler [2016-02-05 22:07:57] 861*2^1421481-1 is not prime. Res64: C69D29CC6B55FDB6 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:07:57] 669*2^1421481-1 is not prime. Res64: C2617C1269A3E505 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:07:58] 877*2^1421481-1 is not prime. Res64: 7A401B1FAB12D806 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:07:58] 935*2^1421480-1 is not prime. Res64: 588FA0550039A734 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:07:58] 681*2^1421481-1 is not prime. Res64: F2A05B73303675EA Time : 0.0 sec. user=mdettweiler [2016-02-05 22:07:58] 649*2^1421481-1 is not prime. Res64: 01C5B758A5D9B2AA Time : 0.0 sec. user=mdettweiler [2016-02-05 22:25:38] 969*2^1421481-1 is not prime. Res64: 6C072E6D1E316F01 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:25:38] 617*2^1421482-1 is not prime. Res64: F2785AFA77351712 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:25:39] 831*2^1421482-1 is not prime. Res64: 75F35F1D68F25EF3 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:25:39] 777*2^1421482-1 is not prime. Res64: 2D279C9EB11B1957 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:25:40] 705*2^1421483-1 is not prime. Res64: A4438A74990CE94E Time : 0.0 sec. user=mdettweiler [2016-02-05 22:25:40] 827*2^1421482-1 is not prime. Res64: 7BB4A50C91135C0B Time : 0.0 sec. user=mdettweiler [2016-02-05 22:43:17] 741*2^1421483-1 is not prime. Res64: AF98143423CC46C0 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:43:17] 985*2^1421483-1 is not prime. Res64: 519D48A5477B8438 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:43:17] 895*2^1421483-1 is not prime. Res64: 37041AE7DF027061 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:43:17] 759*2^1421483-1 is not prime. Res64: 3695EA50829AFEC0 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:43:17] 723*2^1421484-1 is not prime. Res64: C7824F93B5B069C4 Time : 0.0 sec. user=mdettweiler [2016-02-05 22:43:17] 969*2^1421483-1 is not prime. Res64: 884CDF6F56374E2C Time : 0.0 sec. user=mdettweiler [2016-02-05 23:00:55] 945*2^1421484-1 is not prime. Res64: 37B0504F0244F868 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:00:56] 975*2^1421484-1 is not prime. Res64: 088133F83E1631F0 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:00:56] 905*2^1421484-1 is not prime. Res64: 0EE01F02DF8D8CFB Time : 0.0 sec. user=mdettweiler [2016-02-05 23:00:57] 909*2^1421484-1 is not prime. Res64: 26DD3352F1E82690 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:00:58] 857*2^1421484-1 is not prime. Res64: 6EA4EB36FAB22DBD Time : 0.0 sec. user=mdettweiler [2016-02-05 23:01:00] 887*2^1421484-1 is not prime. Res64: 56399C5BA81D3D28 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:18:36] 727*2^1421485-1 is not prime. Res64: A0DB7AB2A26F3A38 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:18:37] 825*2^1421485-1 is not prime. Res64: E87E376BF7EC2A53 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:18:40] 961*2^1421485-1 is not prime. Res64: 5F195B69532EC54B Time : 0.0 sec. user=mdettweiler [2016-02-05 23:18:41] 979*2^1421485-1 is not prime. Res64: 3D087EB3B0285318 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:18:41] 885*2^1421485-1 is not prime. Res64: 73029EBA0D43C8C9 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:18:42] 951*2^1421485-1 is not prime. Res64: FDCB79593D06C245 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:36:17] 603*2^1421486-1 is not prime. Res64: 98BF01BC79B22DA4 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:36:18] 623*2^1421486-1 is not prime. Res64: B81CE40D5AC82B77 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:36:18] 627*2^1421486-1 is not prime. Res64: 5DD8601961826317 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:36:19] 657*2^1421486-1 is not prime. Res64: 0F8F9D383AC127A3 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:36:20] 717*2^1421486-1 is not prime. Res64: 162FB2F20607F1DA Time : 0.0 sec. user=mdettweiler [2016-02-05 23:36:20] 867*2^1421486-1 is not prime. Res64: 225EE8B269F4E06D Time : 0.0 sec. user=mdettweiler [2016-02-05 23:53:58] 625*2^1421487-1 is not prime. Res64: C027AC5F62C635E5 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:53:58] 705*2^1421487-1 is not prime. Res64: E70FE800021208D2 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:54:00] 887*2^1421486-1 is not prime. Res64: ABF3419FD09817A7 Time : 0.0 sec. user=mdettweiler [2016-02-05 23:54:00] 945*2^1421486-1 is not prime. Res64: 874D697B2ECC708E Time : 0.0 sec. user=mdettweiler [2016-02-05 23:54:00] 911*2^1421486-1 is not prime. Res64: 39083C821B9D097D Time : 0.0 sec. user=mdettweiler [2016-02-05 23:54:00] 983*2^1421486-1 is not prime. Res64: 49CE91E457C732ED Time : 0.0 sec.