user=mdettweiler [2016-07-17 00:43:53] 915*2^1435474-1 is not prime. Res64: 572EE70B5FC6896D Time : 0.0 sec. user=mdettweiler [2016-07-17 00:43:53] 941*2^1435474-1 is not prime. Res64: 707E9DE4F45C69A1 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:43:54] 945*2^1435474-1 is not prime. Res64: 87D515AD7D991AFD Time : 0.0 sec. user=mdettweiler [2016-07-17 00:43:58] 951*2^1435474-1 is not prime. Res64: 006C5B671F2D3C78 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:43:58] 983*2^1435474-1 is not prime. Res64: AF91837A3F1B03D6 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:44:04] 643*2^1435475-1 is not prime. Res64: C06470E61427F444 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:44:04] 651*2^1435475-1 is not prime. Res64: E966E371EC9772A1 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:44:05] 663*2^1435475-1 is not prime. Res64: 2737CB6B72F310A9 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:44:05] 693*2^1435475-1 is not prime. Res64: 28BF2C816951EA06 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:44:05] 781*2^1435475-1 is not prime. Res64: 481ABA7B1713A445 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:44:22] 805*2^1435475-1 is not prime. Res64: 40548BFBF41480C6 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:44:22] 885*2^1435475-1 is not prime. Res64: 3248138DBD987290 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:44:23] 609*2^1435476-1 is not prime. Res64: 5AFD017BC0FDF923 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:44:23] 705*2^1435476-1 is not prime. Res64: 1E2D9FAF9DF6D298 Time : 0.0 sec. user=mdettweiler [2016-07-17 00:44:27] 719*2^1435476-1 is not prime. Res64: BF7100431DC57CCF Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:08] 779*2^1435476-1 is not prime. Res64: 42A4BE4BAE35E918 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:10] 783*2^1435476-1 is not prime. Res64: 792EC0686779D1E6 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:11] 789*2^1435476-1 is not prime. Res64: 31B5E01DAECCCFAC Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:12] 909*2^1435476-1 is not prime. Res64: 9DFFBDAAAF5BAF04 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:16] 661*2^1435477-1 is not prime. Res64: 5B7DF45070E01D93 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:16] 675*2^1435477-1 is not prime. Res64: 8503E01E6EF47734 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:18] 775*2^1435477-1 is not prime. Res64: 868F5FBE3458B539 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:24] 665*2^1435478-1 is not prime. Res64: AFA2EC19C3FE7808 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:31] 711*2^1435478-1 is not prime. Res64: 701F48D01223C436 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:31] 671*2^1435478-1 is not prime. Res64: A7E853ECECF9FD43 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:32] 773*2^1435478-1 is not prime. Res64: 01AEC5BDAA8D39FE Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:37] 801*2^1435478-1 is not prime. Res64: C020ED74BF8C2CEB Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:38] 893*2^1435478-1 is not prime. Res64: 48DF88D5F0BBCAC9 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:38] 693*2^1435478-1 is not prime. Res64: 89ABEF9A74E31681 Time : 0.0 sec. user=mdettweiler [2016-07-17 01:28:44] 935*2^1435478-1 is not prime. Res64: 934B250B2F29F066 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:26] 615*2^1435479-1 is not prime. Res64: 55A8BE4F32714B21 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:27] 669*2^1435479-1 is not prime. Res64: 5E30E35E878656C2 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:27] 723*2^1435479-1 is not prime. Res64: E6B1126B8B01BABE Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:28] 763*2^1435479-1 is not prime. Res64: D343C93C74164E92 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:28] 975*2^1435479-1 is not prime. Res64: A97C1D90DACF4DE0 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:49] 645*2^1435480-1 is not prime. Res64: 76073CAFC9DD93C7 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:49] 813*2^1435480-1 is not prime. Res64: 1382B381A0C748D7 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:50] 863*2^1435480-1 is not prime. Res64: C34D9FE7CA06E8AB Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:50] 691*2^1435481-1 is not prime. Res64: 5723B725F8FC3512 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:51] 717*2^1435481-1 is not prime. Res64: A8C0707E4CF88865 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:12:59] 741*2^1435481-1 is not prime. Res64: 6CFA7C2526389676 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:13:00] 769*2^1435481-1 is not prime. Res64: 1C00DECBBCB5CC6F Time : 0.0 sec. user=mdettweiler [2016-07-17 02:13:00] 789*2^1435481-1 is not prime. Res64: 491276DA99D8C8E4 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:13:00] 865*2^1435481-1 is not prime. Res64: 43AD7E995F9A1107 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:13:01] 803*2^1435482-1 is not prime. Res64: 9EADB5C1F2F506F2 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:56:48] 873*2^1435482-1 is not prime. Res64: 5B53CFDBCA053C61 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:56:48] 893*2^1435482-1 is not prime. Res64: BEBE408332936569 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:56:49] 923*2^1435482-1 is not prime. Res64: 093C3E52BAC2F5B6 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:56:49] 977*2^1435482-1 is not prime. Res64: 0B56F29E71C620DC Time : 0.0 sec. user=mdettweiler [2016-07-17 02:56:50] 615*2^1435483-1 is not prime. Res64: 3398B297FE0657DC Time : 0.0 sec. user=mdettweiler [2016-07-17 02:56:57] 649*2^1435483-1 is not prime. Res64: 215F580AAB58DE8B Time : 0.0 sec. user=mdettweiler [2016-07-17 02:56:58] 801*2^1435483-1 is not prime. Res64: 8BC36182C1695980 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:56:58] 813*2^1435483-1 is not prime. Res64: AF743A61E4D090CE Time : 0.0 sec. user=mdettweiler [2016-07-17 02:56:59] 835*2^1435483-1 is not prime. Res64: 59A158EA21021111 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:56:59] 925*2^1435483-1 is not prime. Res64: 2FE2EBAAFEBA1911 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:57:16] 677*2^1435484-1 is not prime. Res64: 320D2326E7435A64 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:57:17] 725*2^1435484-1 is not prime. Res64: 56D0639136B0D3FF Time : 0.0 sec. user=mdettweiler [2016-07-17 02:57:17] 873*2^1435484-1 is not prime. Res64: 30EA1266FFB9AF73 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:57:18] 875*2^1435484-1 is not prime. Res64: 9ECB1952D0FBFB57 Time : 0.0 sec. user=mdettweiler [2016-07-17 02:57:18] 903*2^1435484-1 is not prime. Res64: 0F9FA9E8CB8EE3CA Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:02] 867*2^1435246-1 is not prime. Res64: 42629B760EE30FF1 Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:03] 603*2^1435247-1 is not prime. Res64: 6B1B35541FB0EF92 Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:04] 651*2^1435247-1 is not prime. Res64: B34E6D1C6A003344 Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:05] 825*2^1435247-1 is not prime. Res64: AB1A8064580ABB62 Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:13] 923*2^1435484-1 is not prime. Res64: 7BF1DAA8FB96D34B Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:13] 831*2^1435247-1 is not prime. Res64: 5735771FB016508A Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:14] 935*2^1435484-1 is not prime. Res64: E1A946DFAAE2207B Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:15] 679*2^1435485-1 is not prime. Res64: B804AD163BDCC8D4 Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:16] 691*2^1435485-1 is not prime. Res64: 43CFC10BEECAC979 Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:17] 711*2^1435485-1 is not prime. Res64: 84FCC207FA33D5BE Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:26] 787*2^1435485-1 is not prime. Res64: 78A2C28222CE84DE Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:28] 789*2^1435485-1 is not prime. Res64: 6C2B310599E458AA Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:28] 805*2^1435485-1 is not prime. Res64: F0EFE8D8E486554B Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:29] 871*2^1435485-1 is not prime. Res64: D3C3E1E4585EC203 Time : 0.0 sec. user=mdettweiler [2016-07-17 03:41:30] 877*2^1435485-1 is not prime. Res64: 5A87A207528B0BB4 Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:33] 889*2^1435485-1 is not prime. Res64: E9C9EC1A64078197 Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:34] 895*2^1435485-1 is not prime. Res64: C83F21322DEA1EBF Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:34] 927*2^1435485-1 is not prime. Res64: 6959DB2DBCE55139 Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:35] 951*2^1435485-1 is not prime. Res64: 5AA52B29C4E51A51 Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:35] 611*2^1435486-1 is not prime. Res64: FB1127A7873222E2 Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:43] 695*2^1435486-1 is not prime. Res64: AFDECC961596A24D Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:43] 717*2^1435486-1 is not prime. Res64: D693B2CA7026D03C Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:43] 777*2^1435486-1 is not prime. Res64: 762F541D9AC64906 Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:44] 783*2^1435486-1 is not prime. Res64: 114B116067B230FE Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:44] 911*2^1435486-1 is not prime. Res64: 0A7846DBAD29C492 Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:52] 965*2^1435486-1 is not prime. Res64: 3C0144B3E0B98BB4 Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:53] 645*2^1435487-1 is not prime. Res64: E9BEFBE8DF1424FB Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:53] 703*2^1435487-1 is not prime. Res64: 5212DA56066FF899 Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:54] 741*2^1435487-1 is not prime. Res64: FBBFE5CA4969B681 Time : 0.0 sec. user=mdettweiler [2016-07-17 04:25:54] 753*2^1435487-1 is not prime. Res64: 09EDB9C4E07535AA Time : 0.0 sec. user=mdettweiler [2016-07-17 05:09:53] 823*2^1435487-1 is not prime. Res64: 11F45F0616682BE2 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:09:55] 885*2^1435487-1 is not prime. Res64: F742503A17BAFCAB Time : 0.0 sec. user=mdettweiler [2016-07-17 05:09:56] 635*2^1435488-1 is not prime. Res64: F66BBE823524436E Time : 0.0 sec. user=mdettweiler [2016-07-17 05:09:57] 707*2^1435488-1 is not prime. Res64: 8AE09288D6B570CF Time : 0.0 sec. user=mdettweiler [2016-07-17 05:09:57] 737*2^1435488-1 is not prime. Res64: 31A516B3754D9DCA Time : 0.0 sec. user=mdettweiler [2016-07-17 05:09:58] 767*2^1435488-1 is not prime. Res64: 85DCC8668FD3C9E0 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:09:58] 815*2^1435488-1 is not prime. Res64: D2FEF14D91785EEC Time : 0.0 sec. user=mdettweiler [2016-07-17 05:09:59] 839*2^1435488-1 is not prime. Res64: 4E7A71ABEAD2A8FD Time : 0.0 sec. user=mdettweiler [2016-07-17 05:10:00] 875*2^1435488-1 is not prime. Res64: 9664966A059C1254 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:10:01] 879*2^1435488-1 is not prime. Res64: FB35012B2D0D1FF4 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:10:09] 959*2^1435488-1 is not prime. Res64: 769DF697C0B1DB4D Time : 0.0 sec. user=mdettweiler [2016-07-17 05:10:10] 615*2^1435489-1 is not prime. Res64: 72888D2853E1A7B1 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:10:10] 623*2^1435490-1 is not prime. Res64: 97C5E956D992786F Time : 0.0 sec. user=mdettweiler [2016-07-17 05:10:11] 735*2^1435490-1 is not prime. Res64: DEDA01F28C5D9198 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:10:11] 743*2^1435490-1 is not prime. Res64: ABD271F20AC43F23 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:53:59] 813*2^1435490-1 is not prime. Res64: C8A434ABBF73A4D5 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:00] 851*2^1435490-1 is not prime. Res64: 98407EA1CC06F599 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:00] 875*2^1435490-1 is not prime. Res64: 750C3C25FE7632EF Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:00] 885*2^1435490-1 is not prime. Res64: AE9D4C46C08E2DF1 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:01] 893*2^1435490-1 is not prime. Res64: C7A2A90FB98BFE27 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:03] 945*2^1435490-1 is not prime. Res64: 218DD8205ED4FEE9 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:03] 789*2^1435491-1 is not prime. Res64: 34BAFDD38B09EF7F Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:03] 801*2^1435491-1 is not prime. Res64: 02268BEDD23452E6 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:04] 823*2^1435491-1 is not prime. Res64: 6C910A7EEBFF6334 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:04] 979*2^1435491-1 is not prime. Res64: 42C0C699E5B235CB Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:09] 623*2^1435492-1 is not prime. Res64: 2F0ADCD58B56DAFA Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:09] 635*2^1435492-1 is not prime. Res64: 9ED8C5644FECC669 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:09] 717*2^1435492-1 is not prime. Res64: B24F80D25DA39014 Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:10] 719*2^1435492-1 is not prime. Res64: 683130C4094BB8EA Time : 0.0 sec. user=mdettweiler [2016-07-17 05:54:10] 743*2^1435492-1 is not prime. Res64: 061A202C74587756 Time : 0.0 sec. user=mdettweiler [2016-07-17 06:37:59] 797*2^1435492-1 is not prime. Res64: 749702BF1A5F6BF0 Time : 0.0 sec. user=mdettweiler [2016-07-17 06:37:59] 873*2^1435492-1 is not prime. Res64: 6A305FBC0A577570 Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:00] 929*2^1435492-1 is not prime. Res64: 9CDE07207A37666D Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:00] 621*2^1435493-1 is not prime. Res64: 5395FFF2B639E18F Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:01] 631*2^1435493-1 is not prime. Res64: 2B0349006E715D26 Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:05] 847*2^1435493-1 is not prime. Res64: F97836D09B904F31 Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:05] 867*2^1435493-1 is not prime. Res64: C414F50918A83AFF Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:06] 927*2^1435493-1 is not prime. Res64: A20CC01E773AC5E5 Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:06] 871*2^1435493-1 is not prime. Res64: 9AF6AE309EDBB42E Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:06] 663*2^1435494-1 is not prime. Res64: BEEB773660A861CF Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:06] 885*2^1435493-1 is not prime. Res64: 33C4E3EF6F134FE1 Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:07] 717*2^1435494-1 is not prime. Res64: 137B4B2627ACB163 Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:07] 925*2^1435493-1 is not prime. Res64: FFDFFBB8E8CFB9B6 Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:07] 887*2^1435494-1 is not prime. Res64: A191EEB368D6B33C Time : 0.0 sec. user=mdettweiler [2016-07-17 06:38:11] 941*2^1435494-1 is not prime. Res64: 8AD8D62CAF74F23E Time : 0.0 sec. user=mdettweiler [2016-07-17 07:21:59] 971*2^1435494-1 is not prime. Res64: B53309F6C1458920 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:00] 741*2^1435495-1 is not prime. Res64: EF0783DD4FA66580 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:01] 789*2^1435495-1 is not prime. Res64: 35FCF4084DFB35A6 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:02] 853*2^1435495-1 is not prime. Res64: 987565C16C5B3B14 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:03] 689*2^1435496-1 is not prime. Res64: D3395A290B873F42 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:06] 777*2^1435496-1 is not prime. Res64: 244BADB17EFBE973 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:07] 803*2^1435496-1 is not prime. Res64: 5829E4AF13961977 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:07] 699*2^1435497-1 is not prime. Res64: 22B71DEA4176194F Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:10] 741*2^1435497-1 is not prime. Res64: C70B6080CE9CF7DA Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:13] 817*2^1435497-1 is not prime. Res64: 55E352565AD78AD6 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:13] 839*2^1435496-1 is not prime. Res64: E716FEFA2FACD8B3 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:15] 849*2^1435497-1 is not prime. Res64: 4C2864FD76A694C5 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:16] 607*2^1435497-1 is not prime. Res64: D834E3B813401772 Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:16] 955*2^1435497-1 is not prime. Res64: 26970257D625CC8B Time : 0.0 sec. user=mdettweiler [2016-07-17 07:22:17] 681*2^1435497-1 is not prime. Res64: A5D5508CA4AC6B66 Time : 0.0 sec. user=juhehe [2016-07-17 07:28:43] 603*2^1435498-1 is not prime. Res64: 02CCDEB4630CBA3F Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:10] 651*2^1435498-1 is not prime. Res64: A358EAE242234F88 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:11] 657*2^1435498-1 is not prime. Res64: A92DE795D374334B Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:11] 737*2^1435498-1 is not prime. Res64: FCC8B244D89D80B5 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:12] 747*2^1435498-1 is not prime. Res64: 1CE8AC0D29D56D51 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:12] 827*2^1435498-1 is not prime. Res64: DB6AAE94262A9E37 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:13] 833*2^1435498-1 is not prime. Res64: AEF5CF9C40EFB05D Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:14] 887*2^1435498-1 is not prime. Res64: 8B0C53DC00E52A66 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:14] 891*2^1435498-1 is not prime. Res64: 3CF0995AE1D79714 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:15] 621*2^1435499-1 is not prime. Res64: 9D96E39F52807693 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:15] 655*2^1435499-1 is not prime. Res64: E866A5E3E9300561 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:15] 649*2^1435499-1 is not prime. Res64: 16EDCA5AD75211FA Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:16] 735*2^1435499-1 is not prime. Res64: E09BE669FF2C4B34 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:16] 859*2^1435499-1 is not prime. Res64: 9CE8930EE4B0E6CD Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:16] 861*2^1435499-1 is not prime. Res64: 16229F321BA1493B Time : 0.0 sec. user=mdettweiler [2016-07-17 08:06:17] 913*2^1435499-1 is not prime. Res64: ACBEDDB4E80D6A58 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:18] 959*2^1435500-1 is not prime. Res64: 4377C59B644118A9 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:19] 691*2^1435501-1 is not prime. Res64: 2BB456319F5E54F0 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:19] 745*2^1435501-1 is not prime. Res64: 7829CCA6528CEB45 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:19] 801*2^1435501-1 is not prime. Res64: A7083783D30C23DC Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:20] 855*2^1435501-1 is not prime. Res64: ACB9B9C490C868FC Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:23] 803*2^1435500-1 is not prime. Res64: 83F75A2FE3915924 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:24] 839*2^1435500-1 is not prime. Res64: C664609F8C4ADC73 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:24] 877*2^1435501-1 is not prime. Res64: 123C35F92A16C7E5 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:24] 843*2^1435500-1 is not prime. Res64: B3E9DECB87C63B72 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:24] 951*2^1435501-1 is not prime. Res64: 5B26A68A188F7D49 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:24] 893*2^1435500-1 is not prime. Res64: 1E958875CCC02275 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:25] 705*2^1435502-1 is not prime. Res64: 97E4A43F5DF995A5 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:25] 923*2^1435500-1 is not prime. Res64: D8E7ED2E9B6F65FC Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:25] 755*2^1435502-1 is not prime. Res64: 123E892966D89B38 Time : 0.0 sec. user=mdettweiler [2016-07-17 08:50:25] 815*2^1435502-1 is not prime. Res64: 5C50F0C1BE27B9C6 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:19] 885*2^1435502-1 is not prime. Res64: 987489A45BD77E56 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:20] 911*2^1435502-1 is not prime. Res64: EF1FAD976C1FEC22 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:20] 935*2^1435502-1 is not prime. Res64: A13D63EEA8919897 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:21] 987*2^1435502-1 is not prime. Res64: 677671850E9B94C6 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:21] 795*2^1435503-1 is not prime. Res64: F0F699F19AE17B77 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:26] 861*2^1435503-1 is not prime. Res64: 7E2CA2170106459E Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:26] 871*2^1435503-1 is not prime. Res64: AA4103EA37F750C5 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:27] 645*2^1435504-1 is not prime. Res64: DCE70DFD7DA397E2 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:27] 707*2^1435504-1 is not prime. Res64: 841500A675D68919 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:27] 723*2^1435504-1 is not prime. Res64: A8F4E88953944181 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:29] 773*2^1435504-1 is not prime. Res64: 759ABD88B32A6116 Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:29] 803*2^1435504-1 is not prime. Res64: 4F7ED747C17AA73C Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:30] 869*2^1435504-1 is not prime. Res64: 164AE73B2C3F137C Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:30] 927*2^1435504-1 is not prime. Res64: 291C51602B906FBC Time : 0.0 sec. user=mdettweiler [2016-07-17 09:34:31] 679*2^1435505-1 is not prime. Res64: 3A31680E11360651 Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:20] 715*2^1435505-1 is not prime. Res64: 3992D5F728193CB9 Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:20] 847*2^1435505-1 is not prime. Res64: 31875647CDB9672A Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:21] 897*2^1435505-1 is not prime. Res64: A4689C464F8969C8 Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:21] 981*2^1435505-1 is not prime. Res64: D8CE22964F239D12 Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:22] 725*2^1435506-1 is not prime. Res64: 2B7220A95075ADF1 Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:28] 741*2^1435506-1 is not prime. Res64: 6C354EBE4A2FE69F Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:28] 821*2^1435506-1 is not prime. Res64: 53F3B37F4BE189FF Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:29] 873*2^1435506-1 is not prime. Res64: 9D78ABF86570522F Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:29] 903*2^1435506-1 is not prime. Res64: 31107A1914C89DAA Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:30] 963*2^1435506-1 is not prime. Res64: E48A79E8BCB0D921 Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:34] 619*2^1435507-1 is not prime. Res64: 9D7BD9A8E1B92D44 Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:35] 861*2^1435507-1 is not prime. Res64: DB1F1F0C7C32BBEA Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:35] 871*2^1435507-1 is not prime. Res64: 798C536A255E8018 Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:36] 909*2^1435507-1 is not prime. Res64: 82576B204A067E86 Time : 0.0 sec. user=mdettweiler [2016-07-17 10:18:36] 603*2^1435508-1 is not prime. Res64: 70682E205CCFD226 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:26] 735*2^1435508-1 is not prime. Res64: 003CBCF95164146D Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:27] 855*2^1435508-1 is not prime. Res64: 8FC722FC93E2E28B Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:27] 969*2^1435508-1 is not prime. Res64: 213C431B94AFB905 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:28] 999*2^1435508-1 is not prime. Res64: DEEDB412BC27E198 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:29] 601*2^1435509-1 is not prime. Res64: CB7690F187A4B37C Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:30] 675*2^1435509-1 is not prime. Res64: 0225213A78173A6E Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:30] 789*2^1435509-1 is not prime. Res64: 114366E96C5F0261 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:31] 795*2^1435509-1 is not prime. Res64: 1AF29838B0D8B4E3 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:33] 829*2^1435509-1 is not prime. Res64: 142C752138CFAAF1 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:34] 831*2^1435509-1 is not prime. Res64: 2975791934ADE586 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:38] 919*2^1435509-1 is not prime. Res64: 6B65971D83ABE16F Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:39] 955*2^1435509-1 is not prime. Res64: AC39FEB20754F5E6 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:40] 765*2^1435510-1 is not prime. Res64: 3E5C5733B2448411 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:41] 827*2^1435510-1 is not prime. Res64: B0878AEBA6AD91F2 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:02:42] 885*2^1435510-1 is not prime. Res64: 2190E5CE0507A57D Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:45] 609*2^1435511-1 is not prime. Res64: A76A2A31D92034E1 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:46] 703*2^1435511-1 is not prime. Res64: 120C2F120F880048 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:46] 815*2^1435512-1 is not prime. Res64: D931B0E62D0F59FC Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:46] 955*2^1435511-1 is not prime. Res64: FB124B8F44350ABF Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:46] 873*2^1435512-1 is not prime. Res64: DF2B9C09B57CDCEA Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:46] 973*2^1435511-1 is not prime. Res64: 499E4D558F7B42A3 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:46] 609*2^1435513-1 is not prime. Res64: FC4CAE6F1577BB07 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:47] 637*2^1435513-1 is not prime. Res64: 1397F509095BF5FF Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:47] 683*2^1435512-1 is not prime. Res64: 73FFFE2EB557A8AC Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:47] 649*2^1435513-1 is not prime. Res64: 15EDDAA2694246CF Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:51] 775*2^1435513-1 is not prime. Res64: EF4788678089CE86 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:52] 987*2^1435513-1 is not prime. Res64: AADC63B8E69D7A86 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:52] 665*2^1435514-1 is not prime. Res64: 3A560CC3AD072D41 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:52] 837*2^1435514-1 is not prime. Res64: 49630385A73F8305 Time : 0.0 sec. user=mdettweiler [2016-07-17 11:46:53] 857*2^1435514-1 is not prime. Res64: 655298B9C56DD7F8 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:30:54] 913*2^1435515-1 is not prime. Res64: 8F2CA3DE425E7E88 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:30:54] 613*2^1435515-1 is not prime. Res64: 60A93A3600B17622 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:30:54] 619*2^1435515-1 is not prime. Res64: F1E0C94B1AF37A0D Time : 0.0 sec. user=mdettweiler [2016-07-17 12:30:54] 617*2^1435516-1 is not prime. Res64: 703F72A25A20FA85 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:30:55] 741*2^1435515-1 is not prime. Res64: 8178B92CF94BF76E Time : 0.0 sec. user=mdettweiler [2016-07-17 12:30:55] 749*2^1435516-1 is not prime. Res64: C3F935E8C3A0FC08 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:30:55] 843*2^1435516-1 is not prime. Res64: FB018AD4E7F4E973 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:30:55] 861*2^1435515-1 is not prime. Res64: E0E3428BC198FFB8 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:30:56] 909*2^1435515-1 is not prime. Res64: 30C376604490FAB2 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:30:56] 857*2^1435516-1 is not prime. Res64: B1333D3ACE743511 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:31:00] 909*2^1435516-1 is not prime. Res64: E6EDA01AF8A0F18A Time : 0.0 sec. user=mdettweiler [2016-07-17 12:31:00] 983*2^1435516-1 is not prime. Res64: E3D8B6A587AFB37D Time : 0.0 sec. user=mdettweiler [2016-07-17 12:31:01] 675*2^1435517-1 is not prime. Res64: 108A62DE445BBE07 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:31:01] 691*2^1435517-1 is not prime. Res64: 872BC9004FC1F477 Time : 0.0 sec. user=mdettweiler [2016-07-17 12:31:02] 711*2^1435517-1 is not prime. Res64: DE665539E591E2C9 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:00] 759*2^1435517-1 is not prime. Res64: 652B5EA9E548F1BB Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:00] 773*2^1435518-1 is not prime. Res64: 38AA6E3165EDCEA9 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:01] 879*2^1435517-1 is not prime. Res64: 38C4A061C121D239 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:01] 795*2^1435518-1 is not prime. Res64: 3198E1CE84CFC6CA Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:01] 885*2^1435517-1 is not prime. Res64: F894FAEF9B405BD6 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:02] 801*2^1435518-1 is not prime. Res64: 201D136279A09CA6 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:02] 901*2^1435517-1 is not prime. Res64: 69059C17CFE1C32A Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:07] 921*2^1435518-1 is not prime. Res64: F6EBBDC0FF701912 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:07] 737*2^1435518-1 is not prime. Res64: 056979EB9CC383A8 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:07] 971*2^1435518-1 is not prime. Res64: C9AE4F54BA0DADA3 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:07] 963*2^1435518-1 is not prime. Res64: 5BE7B7CF9FBD33D0 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:07] 625*2^1435519-1 is not prime. Res64: FC95FA360127D6C9 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:08] 639*2^1435519-1 is not prime. Res64: 70919D9AE6613BCC Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:08] 661*2^1435519-1 is not prime. Res64: C9FDC494F46E9E7C Time : 0.0 sec. user=mdettweiler [2016-07-17 13:15:08] 873*2^1435519-1 is not prime. Res64: 800D3E47D5785B4B Time : 0.0 sec. user=juhehe [2016-07-17 13:37:53] 635*2^1435520-1 is not prime. Res64: D6B772599568C601 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:06] 797*2^1435520-1 is not prime. Res64: 071D145BDD937ABE Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:06] 909*2^1435520-1 is not prime. Res64: D38B9F1116E4403B Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:06] 945*2^1435520-1 is not prime. Res64: 7A5A8A007C938AB7 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:07] 995*2^1435520-1 is not prime. Res64: B6B90CFD433D4517 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:07] 709*2^1435521-1 is not prime. Res64: 8F9835C4B566D84C Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:12] 717*2^1435521-1 is not prime. Res64: 4B65213A80D32DBE Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:12] 735*2^1435521-1 is not prime. Res64: 5EF53E6725058D27 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:12] 741*2^1435521-1 is not prime. Res64: 569212DDB4114666 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:13] 849*2^1435521-1 is not prime. Res64: 7E2DB0809518A5D2 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:13] 937*2^1435521-1 is not prime. Res64: BCDE166E2DD1EC98 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:18] 665*2^1435522-1 is not prime. Res64: 0F9BC9DEAAC892DE Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:18] 701*2^1435522-1 is not prime. Res64: 2AB9BB270EBB55DC Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:19] 741*2^1435522-1 is not prime. Res64: D2E4B353E52E0532 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:19] 765*2^1435522-1 is not prime. Res64: 9A5B7D8401A7E400 Time : 0.0 sec. user=mdettweiler [2016-07-17 13:59:20] 801*2^1435522-1 is not prime. Res64: 829897A51A19DB8B Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:10] 917*2^1435522-1 is not prime. Res64: 6EB6440089AC6E2F Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:10] 947*2^1435522-1 is not prime. Res64: 6DED8F38A57A8183 Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:11] 603*2^1435523-1 is not prime. Res64: DEC4D24261D9254E Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:15] 619*2^1435523-1 is not prime. Res64: EC64D3D238EB4206 Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:15] 663*2^1435523-1 is not prime. Res64: 0BDF5E614CFBB24E Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:15] 693*2^1435523-1 is not prime. Res64: 59DDA868BCF15BB5 Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:16] 735*2^1435523-1 is not prime. Res64: 2437C29BFD1D7B68 Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:16] 745*2^1435523-1 is not prime. Res64: 4725682C38CD3236 Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:17] 783*2^1435523-1 is not prime. Res64: B9A1ECD640D3ACA8 Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:21] 635*2^1435524-1 is not prime. Res64: F7D990ECE6380736 Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:21] 887*2^1435524-1 is not prime. Res64: B02ACFD0BFADF836 Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:22] 625*2^1435525-1 is not prime. Res64: BB622CA715C5C0CC Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:22] 729*2^1435525-1 is not prime. Res64: 61741BF24FAB72C6 Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:27] 741*2^1435525-1 is not prime. Res64: 48E14F627821738C Time : 0.0 sec. user=mdettweiler [2016-07-17 14:43:27] 985*2^1435525-1 is not prime. Res64: 69D70B93FBB2FBFC Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:19] 603*2^1435526-1 is not prime. Res64: 0780EE2321D54C17 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:25] 747*2^1435526-1 is not prime. Res64: 80937804940F7FC3 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:25] 911*2^1435526-1 is not prime. Res64: EE1A0F582947D0F0 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:26] 831*2^1435526-1 is not prime. Res64: C7C9B2F77CB14260 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:26] 921*2^1435526-1 is not prime. Res64: B100D2086CF089B4 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:27] 897*2^1435526-1 is not prime. Res64: F09D3B7420CC7294 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:33] 693*2^1435527-1 is not prime. Res64: 20C983C4AB508177 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:33] 923*2^1435526-1 is not prime. Res64: 299A044B2B1EAF01 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:33] 903*2^1435526-1 is not prime. Res64: 55F7AD74E71BE101 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:33] 739*2^1435527-1 is not prime. Res64: DEDBE82653C2992D Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:33] 981*2^1435526-1 is not prime. Res64: E85B58D94AF28338 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:33] 795*2^1435527-1 is not prime. Res64: E864977A2CE316FE Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:34] 1001*2^1435526-1 is not prime. Res64: 40CC76D663032218 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:34] 895*2^1435527-1 is not prime. Res64: 6360DCBC416DF626 Time : 0.0 sec. user=mdettweiler [2016-07-17 15:27:34] 615*2^1435528-1 is not prime. Res64: A93FDA7BAA135C41 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:33] 629*2^1435528-1 is not prime. Res64: ADB9E2F6860C216C Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:34] 635*2^1435528-1 is not prime. Res64: 3B0F57E869361C22 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:34] 639*2^1435528-1 is not prime. Res64: 45D34C815543EA88 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:35] 657*2^1435528-1 is not prime. Res64: 3BE2BF144D069693 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:35] 677*2^1435528-1 is not prime. Res64: EAA6E5D181E07D98 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:41] 695*2^1435528-1 is not prime. Res64: 4DF3923A479B3DCB Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:42] 803*2^1435528-1 is not prime. Res64: F68CB76EEE34F3AC Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:42] 869*2^1435528-1 is not prime. Res64: E563E162351A85D0 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:42] 887*2^1435528-1 is not prime. Res64: 1BF054DE2578B1DC Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:43] 909*2^1435529-1 is not prime. Res64: F9B6811AE4A80F4F Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:43] 885*2^1435529-1 is not prime. Res64: A41B40116DE2EC37 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:43] 633*2^1435530-1 is not prime. Res64: 055F6EC854712C7D Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:43] 635*2^1435530-1 is not prime. Res64: 5AD48B1B35FB9924 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:44] 725*2^1435530-1 is not prime. Res64: EA919759409B7E0C Time : 0.0 sec. user=mdettweiler [2016-07-17 16:11:50] 773*2^1435530-1 is not prime. Res64: A6BDA9947182BD95 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:45] 923*2^1435530-1 is not prime. Res64: 2A72FC447E9870E1 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:45] 631*2^1435531-1 is not prime. Res64: 194270DCDC9F0406 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:46] 651*2^1435531-1 is not prime. Res64: 674B0CD695108735 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:46] 961*2^1435531-1 is not prime. Res64: FA3AA567A93C1164 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:46] 629*2^1435532-1 is not prime. Res64: 9C96253DF997D66D Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:55] 675*2^1435532-1 is not prime. Res64: ABAD4E1A3827F221 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:55] 825*2^1435532-1 is not prime. Res64: D4004B6287654CEC Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:55] 885*2^1435532-1 is not prime. Res64: D393AC611FBDF032 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:55] 683*2^1435532-1 is not prime. Res64: BA42DEF0083CF55F Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:56] 687*2^1435532-1 is not prime. Res64: 626BCB3D104D39D5 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:56] 983*2^1435532-1 is not prime. Res64: 72AA19299DDE25BE Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:56] 693*2^1435532-1 is not prime. Res64: 2288F6E9F5827C94 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:56] 625*2^1435533-1 is not prime. Res64: 465611AB31226E3A Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:56] 717*2^1435532-1 is not prime. Res64: BB2CBA616D1B99F9 Time : 0.0 sec. user=mdettweiler [2016-07-17 16:55:56] 639*2^1435533-1 is not prime. Res64: 01A457E0601581BF Time : 0.0 sec. user=mdettweiler [2016-07-17 17:39:55] 685*2^1435533-1 is not prime. Res64: 56D863BA8D43AFDF Time : 0.0 sec. user=mdettweiler [2016-07-17 17:39:56] 721*2^1435533-1 is not prime. Res64: 3AC2A4988FE86C87 Time : 0.0 sec. user=mdettweiler [2016-07-17 17:39:56] 745*2^1435533-1 is not prime. Res64: 8DD156C6F2B3FC9C Time : 0.0 sec. user=mdettweiler [2016-07-17 17:39:56] 687*2^1435534-1 is not prime. Res64: A4B35BA88F6D16CF Time : 0.0 sec. user=mdettweiler [2016-07-17 17:39:57] 737*2^1435534-1 is not prime. Res64: EFA16E39DF019190 Time : 0.0 sec. user=mdettweiler [2016-07-17 17:40:05] 755*2^1435534-1 is not prime. Res64: 2121CD781298FD4A Time : 0.0 sec. user=mdettweiler [2016-07-17 17:40:05] 827*2^1435534-1 is not prime. Res64: BA1543DF76700344 Time : 0.0 sec. user=mdettweiler [2016-07-17 17:40:06] 915*2^1435534-1 is not prime. Res64: A5C9FF6DA641BEDC Time : 0.0 sec. user=mdettweiler [2016-07-17 17:40:06] 923*2^1435534-1 is not prime. Res64: 2C41077B42162CC0 Time : 0.0 sec. user=mdettweiler [2016-07-17 17:40:06] 975*2^1435534-1 is not prime. Res64: 6ED86DDEF9CACA27 Time : 0.0 sec. user=mdettweiler [2016-07-17 17:40:07] 993*2^1435534-1 is not prime. Res64: ACEAFEF3D771CEAA Time : 0.0 sec. user=mdettweiler [2016-07-17 17:40:08] 603*2^1435535-1 is not prime. Res64: BE5B63BC94B8702E Time : 0.0 sec. user=mdettweiler [2016-07-17 17:40:08] 645*2^1435535-1 is not prime. Res64: B6CA6BE74CDA6788 Time : 0.0 sec. user=mdettweiler [2016-07-17 17:40:08] 753*2^1435535-1 is not prime. Res64: 31BB0669F8819B66 Time : 0.0 sec. user=mdettweiler [2016-07-17 17:40:16] 825*2^1435535-1 is not prime. Res64: 52041793369D8903 Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:06] 735*2^1435536-1 is not prime. Res64: 3FC3EC65C394058D Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:06] 889*2^1435535-1 is not prime. Res64: 6666D5EC1AB67A6E Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:07] 759*2^1435536-1 is not prime. Res64: D2C52D40D4131AD7 Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:07] 913*2^1435535-1 is not prime. Res64: 960D60BFF384ED3E Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:07] 779*2^1435536-1 is not prime. Res64: 0FF98DD226A87CD6 Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:07] 969*2^1435535-1 is not prime. Res64: CBF452E7422F8322 Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:08] 905*2^1435536-1 is not prime. Res64: 49EB571CE522E843 Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:08] 979*2^1435535-1 is not prime. Res64: 13408F16EE846C0D Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:08] 909*2^1435536-1 is not prime. Res64: 5518A954C70917C2 Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:08] 657*2^1435536-1 is not prime. Res64: 4A538FAE1BAF9386 Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:25] 835*2^1435537-1 is not prime. Res64: D216C6A649DB6ED8 Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:25] 955*2^1435537-1 is not prime. Res64: 6C0FDA4061651D82 Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:26] 997*2^1435537-1 is not prime. Res64: 83DFE4AE186644AE Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:26] 605*2^1435538-1 is not prime. Res64: E35E59291CD5D207 Time : 0.0 sec. user=mdettweiler [2016-07-17 18:24:27] 671*2^1435538-1 is not prime. Res64: ABA9DF215F374FAB Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:20] 711*2^1435538-1 is not prime. Res64: 2CF59C8354977277 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:20] 873*2^1435539-1 is not prime. Res64: 7BB6C3C36FC3948E Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:23] 735*2^1435538-1 is not prime. Res64: 56345B73EB528465 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:24] 969*2^1435539-1 is not prime. Res64: 71E6806204518986 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:25] 857*2^1435538-1 is not prime. Res64: 9DCAFFE67858CBBD Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:26] 991*2^1435539-1 is not prime. Res64: 3FAFDDF6921F9642 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:26] 619*2^1435539-1 is not prime. Res64: BA0F6A17CA265AED Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:27] 999*2^1435539-1 is not prime. Res64: 81E07567ABAFBBFC Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:28] 691*2^1435539-1 is not prime. Res64: 5A51C5F28634C4E5 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:28] 813*2^1435540-1 is not prime. Res64: EF1CBB315F753E99 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:38] 923*2^1435540-1 is not prime. Res64: 3544146F15AADBAD Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:39] 933*2^1435540-1 is not prime. Res64: 575B81B632C48F20 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:40] 615*2^1435541-1 is not prime. Res64: 4686738A391A83DD Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:41] 685*2^1435541-1 is not prime. Res64: 9B358419E2073B1F Time : 0.0 sec. user=mdettweiler [2016-07-17 19:08:42] 717*2^1435541-1 is not prime. Res64: B304960B4797CF87 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:43] 781*2^1435541-1 is not prime. Res64: B1690EE25EC1FEF5 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:43] 861*2^1435541-1 is not prime. Res64: 424226CF280708E1 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:43] 843*2^1435542-1 is not prime. Res64: 2195DA3823380AC0 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:43] 865*2^1435541-1 is not prime. Res64: 1B12C3A4F9B70C49 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:44] 977*2^1435542-1 is not prime. Res64: E4EFDDD3F7DC1A2F Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:44] 931*2^1435541-1 is not prime. Res64: 7CEF3E8A1D45A9D5 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:44] 603*2^1435543-1 is not prime. Res64: 7B9D40421257C4A0 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:44] 615*2^1435542-1 is not prime. Res64: 662BEB3BA508CAE6 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:45] 829*2^1435543-1 is not prime. Res64: DE613450D5BBBC17 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:45] 705*2^1435542-1 is not prime. Res64: CC72A668473EA7ED Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:45] 943*2^1435543-1 is not prime. Res64: 9B81D55AD1EF47D1 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:46] 699*2^1435544-1 is not prime. Res64: EF5252EF6E8A610D Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:46] 813*2^1435544-1 is not prime. Res64: B8987B22943EBD3A Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:47] 917*2^1435544-1 is not prime. Res64: 483D2D03B7D09638 Time : 0.0 sec. user=mdettweiler [2016-07-17 19:52:47] 705*2^1435545-1 is not prime. Res64: ED12A283271EE4D8 Time : 0.0 sec. user=juhehe [2016-07-17 20:28:29] 635*2^1435548-1 is not prime. Res64: 651EAC68B2F16A51 Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:47] 861*2^1435547-1 is not prime. Res64: 41090B45779F29F9 Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:47] 861*2^1435545-1 is not prime. Res64: 1D0822533B171D62 Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:47] 909*2^1435547-1 is not prime. Res64: 0914CCEF878BE87C Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:48] 915*2^1435545-1 is not prime. Res64: 819124DDF1AE2E6D Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:48] 963*2^1435547-1 is not prime. Res64: E841F0895CC175BB Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:48] 647*2^1435546-1 is not prime. Res64: C75AABA597D9336C Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:48] 979*2^1435547-1 is not prime. Res64: D2015B3958773E03 Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:48] 723*2^1435546-1 is not prime. Res64: 46F52D41A1BA0986 Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:49] 633*2^1435548-1 is not prime. Res64: 0A1FDE9499C824FA Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:49] 803*2^1435546-1 is not prime. Res64: 9EF5A59125366C32 Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:53] 1001*2^1435546-1 is not prime. Res64: EDCD8CDE47E21A62 Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:53] 673*2^1435547-1 is not prime. Res64: 2D9ED4CFEEEC9593 Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:54] 703*2^1435547-1 is not prime. Res64: 61E1A5EFBECF3D4D Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:54] 741*2^1435547-1 is not prime. Res64: 3A7D80E1668BE463 Time : 0.0 sec. user=mdettweiler [2016-07-17 20:36:54] 781*2^1435547-1 is not prime. Res64: E5782E2EE1500751 Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:51] 705*2^1435548-1 is not prime. Res64: D16EEBA49DB399CF Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:52] 803*2^1435548-1 is not prime. Res64: DA061EDF04481D1B Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:52] 923*2^1435548-1 is not prime. Res64: A7A999EBB37AD0FE Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:52] 945*2^1435548-1 is not prime. Res64: D96623E16CA1FD7D Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:53] 947*2^1435548-1 is not prime. Res64: 2EBF6D086E0DECAD Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:55] 615*2^1435549-1 is not prime. Res64: E1B979F9C97FC0AA Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:55] 649*2^1435549-1 is not prime. Res64: 45F417AE7B5BCC1D Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:56] 741*2^1435549-1 is not prime. Res64: 97EA6D0F1223DA9B Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:56] 751*2^1435549-1 is not prime. Res64: DD784527B8B919E9 Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:57] 789*2^1435549-1 is not prime. Res64: B54B12D72ABBFE25 Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:58] 799*2^1435549-1 is not prime. Res64: 3D99F714887BF3D8 Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:58] 817*2^1435549-1 is not prime. Res64: 5A0A5D3BCA9069D2 Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:59] 895*2^1435549-1 is not prime. Res64: DC67C008A1A9C696 Time : 0.0 sec. user=mdettweiler [2016-07-17 21:20:59] 939*2^1435549-1 is not prime. Res64: AE701E8AAF43FDB0 Time : 0.0 sec. user=mdettweiler [2016-07-17 21:21:00] 987*2^1435549-1 is not prime. Res64: D3FAB2A68CC7A40E Time : 0.0 sec. user=mdettweiler [2016-07-17 22:04:54] 645*2^1435550-1 is not prime. Res64: D212E9E923D0C1DE Time : 0.0 sec. user=mdettweiler [2016-07-17 22:04:56] 657*2^1435550-1 is not prime. Res64: 5BFC6AB4AEE71BEF Time : 0.0 sec. user=mdettweiler [2016-07-17 22:04:57] 677*2^1435550-1 is not prime. Res64: 1F29BBFE5593737A Time : 0.0 sec. user=mdettweiler [2016-07-17 22:04:58] 711*2^1435550-1 is not prime. Res64: C0C34800774D18C5 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:04:59] 767*2^1435550-1 is not prime. Res64: A2EFDD7C5906C6F1 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:05:00] 741*2^1435550-1 is not prime. Res64: 39E4E838CB933E76 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:05:01] 825*2^1435550-1 is not prime. Res64: FC8B73CB18331F57 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:05:02] 851*2^1435550-1 is not prime. Res64: 478D73D21F9621FC Time : 0.0 sec. user=mdettweiler [2016-07-17 22:05:03] 679*2^1435551-1 is not prime. Res64: C7936646E2C8DE86 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:05:05] 867*2^1435550-1 is not prime. Res64: 72110D5F2A75DD49 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:05:06] 783*2^1435551-1 is not prime. Res64: BC203300526B2795 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:05:07] 941*2^1435550-1 is not prime. Res64: B47DCB6F67466F04 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:05:08] 859*2^1435551-1 is not prime. Res64: 80500A54656E4DF0 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:05:09] 885*2^1435551-1 is not prime. Res64: 9AD3C9CCADECCCB1 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:05:10] 945*2^1435551-1 is not prime. Res64: 52D6150FFB17B14A Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:23] 955*2^1435551-1 is not prime. Res64: C125D432D36A8D60 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:24] 735*2^1435552-1 is not prime. Res64: 6CA90F8F9988CC10 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:25] 825*2^1435552-1 is not prime. Res64: 02F83B6593322DDD Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:25] 827*2^1435552-1 is not prime. Res64: FC17BE4FC5C89308 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:25] 857*2^1435552-1 is not prime. Res64: 2638D0E4A84DE556 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:27] 869*2^1435552-1 is not prime. Res64: 3F5BCC06EF79AD0D Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:28] 903*2^1435552-1 is not prime. Res64: AF9946066E267EDE Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:28] 957*2^1435552-1 is not prime. Res64: B944C6C801A82C4D Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:28] 637*2^1435553-1 is not prime. Res64: E8B38727146954FE Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:29] 999*2^1435552-1 is not prime. Res64: 3DA090607BD697DF Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:29] 657*2^1435553-1 is not prime. Res64: 2AC048E63992A6CC Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:29] 619*2^1435553-1 is not prime. Res64: B457227F10DE0358 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:29] 861*2^1435553-1 is not prime. Res64: 0F97D51975C43897 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:30] 605*2^1435554-1 is not prime. Res64: 0B8C8953D684B182 Time : 0.0 sec. user=mdettweiler [2016-07-17 22:49:30] 621*2^1435554-1 is not prime. Res64: 98F80BAE1A622EA0 Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:33] 633*2^1435554-1 is not prime. Res64: 927408B55670F255 Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:33] 927*2^1435554-1 is not prime. Res64: 380558E359ECB1D7 Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:34] 983*2^1435554-1 is not prime. Res64: 0397C46635F7A6D3 Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:34] 677*2^1435554-1 is not prime. Res64: 855B76FA393FB5FC Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:34] 649*2^1435555-1 is not prime. Res64: 6FA30316158BC8E5 Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:34] 767*2^1435554-1 is not prime. Res64: 4493B22A55F2A6C9 Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:34] 617*2^1435556-1 is not prime. Res64: 0271E8AB10BB669B Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:35] 709*2^1435555-1 is not prime. Res64: BD2185DB159A7D16 Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:35] 815*2^1435554-1 is not prime. Res64: A31A111630E4B045 Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:35] 735*2^1435556-1 is not prime. Res64: 47CF748077B47720 Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:35] 961*2^1435555-1 is not prime. Res64: 340AA97985A4524F Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:35] 821*2^1435554-1 is not prime. Res64: 2480C92BD37FB69D Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:35] 813*2^1435556-1 is not prime. Res64: 1FBE008ED6A11A17 Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:39] 875*2^1435556-1 is not prime. Res64: E95B9AE532A61F2D Time : 0.0 sec. user=mdettweiler [2016-07-17 23:33:40] 893*2^1435556-1 is not prime. Res64: 08D4D34946A858A2 Time : 0.0 sec.