user=mdettweiler [2016-12-10 00:15:25] 917*2^1448182-1 is not prime. Res64: 0B5000CEBF3E4B86 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:15:25] 923*2^1448182-1 is not prime. Res64: 6C002B86F7A7B913 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:15:26] 975*2^1448182-1 is not prime. Res64: 0F6A8048CB2D9EC2 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:15:26] 995*2^1448182-1 is not prime. Res64: CF1F66E1B2FB3BBE Time : 0.0 sec. user=mdettweiler [2016-12-10 00:15:27] 705*2^1448183-1 is not prime. Res64: 51E149A118039936 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:32:43] 721*2^1448183-1 is not prime. Res64: FF800E05B3CD3AB0 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:32:43] 813*2^1448183-1 is not prime. Res64: CDBAA0C5F4AF2257 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:32:44] 825*2^1448183-1 is not prime. Res64: F31FB7092F911991 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:32:44] 859*2^1448183-1 is not prime. Res64: 3F8FDD1ECCD7C0C8 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:32:45] 629*2^1448184-1 is not prime. Res64: 7B363F7A0EF07265 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:41:06] 645*2^1448185-1 is not prime. Res64: 7A0F585CB7A0EB6F Time : 0.0 sec. user=mdettweiler [2016-12-10 00:41:07] 649*2^1448185-1 is not prime. Res64: D5ED9E95283655ED Time : 0.0 sec. user=mdettweiler [2016-12-10 00:41:07] 841*2^1448185-1 is not prime. Res64: E3538D957FEFCA5D Time : 0.0 sec. user=mdettweiler [2016-12-10 00:41:08] 885*2^1448185-1 is not prime. Res64: FDCE6222453D1DC8 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:41:08] 999*2^1448185-1 is not prime. Res64: E8D2309B2739424E Time : 0.0 sec. user=mdettweiler [2016-12-10 00:59:48] 633*2^1448186-1 is not prime. Res64: 8ECF2E9A1DEB9DE2 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:59:49] 677*2^1448186-1 is not prime. Res64: 06C7B2E52BB2EC4A Time : 0.0 sec. user=mdettweiler [2016-12-10 00:59:49] 707*2^1448186-1 is not prime. Res64: FC96A0E1CD088330 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:59:50] 741*2^1448186-1 is not prime. Res64: 8DD731FD1AF413A4 Time : 0.0 sec. user=mdettweiler [2016-12-10 00:59:50] 837*2^1448186-1 is not prime. Res64: EABB302760B1C14E Time : 0.0 sec. user=mdettweiler [2016-12-10 01:17:01] 861*2^1448186-1 is not prime. Res64: 4F62272D33E42F08 Time : 0.0 sec. user=mdettweiler [2016-12-10 01:17:02] 875*2^1448186-1 is not prime. Res64: D9FFA2BCBF060FD0 Time : 0.0 sec. user=mdettweiler [2016-12-10 01:17:02] 705*2^1448187-1 is not prime. Res64: 762A694EAA8B7A79 Time : 0.0 sec. user=mdettweiler [2016-12-10 01:17:03] 735*2^1448187-1 is not prime. Res64: 42FF70E15C44C085 Time : 0.0 sec. user=mdettweiler [2016-12-10 01:17:03] 739*2^1448187-1 is not prime. Res64: FACB2ECFB23FD2C7 Time : 0.0 sec. user=mdettweiler [2016-12-10 01:25:24] 805*2^1448187-1 is not prime. Res64: DB45716D2B0A99AD Time : 0.0 sec. user=mdettweiler [2016-12-10 01:25:25] 903*2^1448187-1 is not prime. Res64: 2E14775651FAE166 Time : 0.0 sec. user=mdettweiler [2016-12-10 01:25:26] 647*2^1448188-1 is not prime. Res64: F219140A804F3E2B Time : 0.0 sec. user=mdettweiler [2016-12-10 01:25:26] 875*2^1448188-1 is not prime. Res64: 77E2FBE94BE8520E Time : 0.0 sec. user=mdettweiler [2016-12-10 01:25:27] 993*2^1448188-1 is not prime. Res64: B68CD3B5A8619A26 Time : 0.0 sec. user=mdettweiler [2016-12-10 01:44:06] 601*2^1448189-1 is not prime. Res64: 8AC1C0DF36055AD1 Time : 0.0 sec. user=mdettweiler [2016-12-10 01:44:06] 729*2^1448189-1 is not prime. Res64: 1D0EB81BEC4EE8A6 Time : 0.0 sec. user=mdettweiler [2016-12-10 01:44:07] 795*2^1448189-1 is not prime. Res64: 5F2447214EAB3CDF Time : 0.0 sec. user=mdettweiler [2016-12-10 01:44:07] 825*2^1448189-1 is not prime. Res64: 12C5519381DBCAC2 Time : 0.0 sec. user=mdettweiler [2016-12-10 01:44:08] 847*2^1448189-1 is not prime. Res64: D185C0A5FAC50F2F Time : 0.0 sec. user=mdettweiler [2016-12-10 02:01:24] 657*2^1448190-1 is not prime. Res64: 8F749AEC36E345F4 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:01:25] 713*2^1448190-1 is not prime. Res64: F865613C856C3D68 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:01:25] 755*2^1448190-1 is not prime. Res64: FE03A310CC742C94 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:01:26] 767*2^1448190-1 is not prime. Res64: 81B512119B35B4F3 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:01:28] 833*2^1448190-1 is not prime. Res64: 92CE27C385ECE18E Time : 0.0 sec. user=mdettweiler [2016-12-10 02:09:46] 917*2^1448190-1 is not prime. Res64: 0EEBDCA57BCC52F3 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:09:48] 693*2^1448191-1 is not prime. Res64: 4712F55750042903 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:09:49] 841*2^1448191-1 is not prime. Res64: BE6F58B1D8D419F1 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:09:51] 861*2^1448191-1 is not prime. Res64: 0636488CAD01EA30 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:09:54] 871*2^1448191-1 is not prime. Res64: 252DC0BBC2F23792 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:28:25] 889*2^1448191-1 is not prime. Res64: 48FB5E837552D41F Time : 0.0 sec. user=mdettweiler [2016-12-10 02:28:25] 901*2^1448191-1 is not prime. Res64: FF316BE31017863A Time : 0.0 sec. user=mdettweiler [2016-12-10 02:28:26] 925*2^1448191-1 is not prime. Res64: 60483A218AEA0088 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:28:26] 931*2^1448191-1 is not prime. Res64: 395BC092DF7DD357 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:28:27] 999*2^1448191-1 is not prime. Res64: 7A7E5909D82299A4 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:45:49] 617*2^1448192-1 is not prime. Res64: ED87202469294EF0 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:45:49] 743*2^1448192-1 is not prime. Res64: AD98496754BF8C0E Time : 0.0 sec. user=mdettweiler [2016-12-10 02:45:49] 767*2^1448192-1 is not prime. Res64: D5D13D881ED572F0 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:45:50] 815*2^1448192-1 is not prime. Res64: 72F9BFBB2F2CDCEE Time : 0.0 sec. user=mdettweiler [2016-12-10 02:45:50] 843*2^1448192-1 is not prime. Res64: CCE33242DC835C41 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:54:32] 875*2^1448192-1 is not prime. Res64: E14F5B07775EA175 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:54:33] 957*2^1448192-1 is not prime. Res64: F403C02B947D2EE1 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:54:33] 959*2^1448192-1 is not prime. Res64: 94FEC18EED948B54 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:54:34] 609*2^1448193-1 is not prime. Res64: 603C4C146583B4F5 Time : 0.0 sec. user=mdettweiler [2016-12-10 02:54:34] 681*2^1448193-1 is not prime. Res64: 8A76F3877AB9CA01 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:12:50] 739*2^1448193-1 is not prime. Res64: 4A7452476FAE500D Time : 0.0 sec. user=mdettweiler [2016-12-10 03:12:50] 759*2^1448193-1 is not prime. Res64: 1518B22EE5ED433C Time : 0.0 sec. user=mdettweiler [2016-12-10 03:12:51] 889*2^1448193-1 is not prime. Res64: C6C3665E9A3C1280 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:12:51] 955*2^1448193-1 is not prime. Res64: CD23EF76A2B9268F Time : 0.0 sec. user=mdettweiler [2016-12-10 03:12:52] 605*2^1448194-1 is not prime. Res64: 0C2A733BAF0FD408 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:30:11] 657*2^1448194-1 is not prime. Res64: 05B8344B62CD4FDA Time : 0.0 sec. user=mdettweiler [2016-12-10 03:30:18] 695*2^1448194-1 is not prime. Res64: A42D0C0952999EC9 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:30:21] 717*2^1448194-1 is not prime. Res64: BF0003201BC3B4D6 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:30:27] 773*2^1448194-1 is not prime. Res64: 647A1745855431E2 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:30:31] 827*2^1448194-1 is not prime. Res64: 26196F0662E0A817 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:38:55] 915*2^1448194-1 is not prime. Res64: 4B33C69288BD19FF Time : 0.0 sec. user=mdettweiler [2016-12-10 03:38:56] 945*2^1448194-1 is not prime. Res64: BF9A5EAA00290D58 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:38:57] 947*2^1448194-1 is not prime. Res64: DA22700A3959B265 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:38:58] 823*2^1448195-1 is not prime. Res64: 2FDEFCDC8B61B13C Time : 0.0 sec. user=mdettweiler [2016-12-10 03:38:59] 883*2^1448195-1 is not prime. Res64: 1BBF4AC4B10EDD29 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:57:17] 943*2^1448195-1 is not prime. Res64: 822C989AC1A27E19 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:57:19] 689*2^1448196-1 is not prime. Res64: C659EC8E4481B11F Time : 0.0 sec. user=mdettweiler [2016-12-10 03:57:20] 725*2^1448196-1 is not prime. Res64: C67890BF38407D71 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:57:21] 837*2^1448196-1 is not prime. Res64: E39600F97E308D23 Time : 0.0 sec. user=mdettweiler [2016-12-10 03:57:22] 873*2^1448196-1 is not prime. Res64: 5B0DB391D3B9ECB2 Time : 0.0 sec. user=mdettweiler [2016-12-10 04:15:35] 947*2^1448196-1 is not prime. Res64: FDDC7ED6C1AD87CA Time : 0.0 sec. user=mdettweiler [2016-12-10 04:15:35] 969*2^1448196-1 is not prime. Res64: 825053CA14BFAE61 Time : 0.0 sec. user=mdettweiler [2016-12-10 04:15:36] 619*2^1448197-1 is not prime. Res64: A023817A5D46B54C Time : 0.0 sec. user=mdettweiler [2016-12-10 04:15:36] 757*2^1448197-1 is not prime. Res64: 178D0228B67443AD Time : 0.0 sec. user=mdettweiler [2016-12-10 04:15:36] 769*2^1448197-1 is not prime. Res64: DACFF7B7E10F7390 Time : 0.0 sec. user=mdettweiler [2016-12-10 04:23:23] 819*2^1448197-1 is not prime. Res64: A53499CAA42F2C67 Time : 0.0 sec. user=mdettweiler [2016-12-10 04:23:24] 829*2^1448197-1 is not prime. Res64: 6E8E6296947D6B4E Time : 0.0 sec. user=mdettweiler [2016-12-10 04:23:24] 919*2^1448197-1 is not prime. Res64: 60500A2ED0645001 Time : 0.0 sec. user=mdettweiler [2016-12-10 04:23:25] 635*2^1448198-1 is not prime. Res64: 3DBB90E7A9DF9E59 Time : 0.0 sec. user=mdettweiler [2016-12-10 04:23:25] 687*2^1448198-1 is not prime. Res64: AEC892D74E2E4A4C Time : 0.0 sec. user=mdettweiler [2016-12-10 04:41:43] 731*2^1448198-1 is not prime. Res64: 16E1A9D7B7C7A733 Time : 0.0 sec. user=mdettweiler [2016-12-10 04:41:43] 935*2^1448198-1 is not prime. Res64: 8C4144A3329D63DD Time : 0.0 sec. user=mdettweiler [2016-12-10 04:41:44] 971*2^1448198-1 is not prime. Res64: 55CC80AE1C4F75DB Time : 0.0 sec. user=mdettweiler [2016-12-10 04:41:44] 735*2^1448199-1 is not prime. Res64: 9423430EB37DAF64 Time : 0.0 sec. user=mdettweiler [2016-12-10 04:41:44] 751*2^1448199-1 is not prime. Res64: BF6AA42EC946CDBE Time : 0.0 sec. user=mdettweiler [2016-12-10 04:59:56] 763*2^1448199-1 is not prime. Res64: FF2CC9C7E6A2F70D Time : 0.0 sec. user=mdettweiler [2016-12-10 04:59:56] 913*2^1448199-1 is not prime. Res64: 7716C13FB0619466 Time : 0.0 sec. user=mdettweiler [2016-12-10 04:59:56] 931*2^1448199-1 is not prime. Res64: 7B84850A6C6E1668 Time : 0.0 sec. user=mdettweiler [2016-12-10 04:59:57] 623*2^1448200-1 is not prime. Res64: 10C0C4CAE4BFDAFE Time : 0.0 sec. user=mdettweiler [2016-12-10 04:59:57] 675*2^1448200-1 is not prime. Res64: 94FEBEF5C559E80C Time : 0.0 sec. user=mdettweiler [2016-12-10 05:07:50] 773*2^1448200-1 is not prime. Res64: 33E517ECB10FE89F Time : 0.0 sec. user=mdettweiler [2016-12-10 05:07:50] 905*2^1448200-1 is not prime. Res64: BE46FA370754DD63 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:07:51] 939*2^1448200-1 is not prime. Res64: 7E1DB29FD068756C Time : 0.0 sec. user=mdettweiler [2016-12-10 05:07:51] 631*2^1448201-1 is not prime. Res64: 4A1CF7CF11292F52 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:07:51] 711*2^1448201-1 is not prime. Res64: 351B3CDB97D3E2F8 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:26:05] 747*2^1448201-1 is not prime. Res64: EB220C869E1C6569 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:26:06] 829*2^1448201-1 is not prime. Res64: FFCA1D36E0AA3D7B Time : 0.0 sec. user=mdettweiler [2016-12-10 05:26:06] 711*2^1448202-1 is not prime. Res64: 6EB36D742E2864F0 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:26:06] 791*2^1448202-1 is not prime. Res64: 7718F788044AFFE9 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:26:07] 833*2^1448202-1 is not prime. Res64: 1FB88BC545E1A519 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:44:15] 873*2^1448202-1 is not prime. Res64: 2ACAAC4B84F8A7E2 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:44:15] 893*2^1448202-1 is not prime. Res64: AB572DC8EC04DA89 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:44:15] 619*2^1448203-1 is not prime. Res64: A5C25A716B667F77 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:44:16] 673*2^1448203-1 is not prime. Res64: E995F50868506DC2 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:44:16] 685*2^1448203-1 is not prime. Res64: F320AB1216CED07C Time : 0.0 sec. user=mdettweiler [2016-12-10 05:52:09] 693*2^1448203-1 is not prime. Res64: 95154921C3B772AE Time : 0.0 sec. user=mdettweiler [2016-12-10 05:52:09] 703*2^1448203-1 is not prime. Res64: 72936B99823460DF Time : 0.0 sec. user=mdettweiler [2016-12-10 05:52:10] 723*2^1448203-1 is not prime. Res64: 767313AA5010E205 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:52:10] 741*2^1448203-1 is not prime. Res64: 184B7598E6755A35 Time : 0.0 sec. user=mdettweiler [2016-12-10 05:52:10] 769*2^1448203-1 is not prime. Res64: C53EDC150772BB5B Time : 0.0 sec. user=mdettweiler [2016-12-10 06:10:24] 861*2^1448203-1 is not prime. Res64: 855C96926CACC8DE Time : 0.0 sec. user=mdettweiler [2016-12-10 06:10:25] 891*2^1448203-1 is not prime. Res64: B6B2FEB7D45F1391 Time : 0.0 sec. user=mdettweiler [2016-12-10 06:10:25] 939*2^1448203-1 is not prime. Res64: 6C723888C5B9A013 Time : 0.0 sec. user=mdettweiler [2016-12-10 06:10:26] 973*2^1448203-1 is not prime. Res64: FA65522547DF5360 Time : 0.0 sec. user=mdettweiler [2016-12-10 06:10:26] 657*2^1448204-1 is not prime. Res64: 5F9516A822D9B26F Time : 0.0 sec. user=mdettweiler [2016-12-10 06:28:33] 659*2^1448204-1 is not prime. Res64: 1B1BBED0E8537E7F Time : 0.0 sec. user=mdettweiler [2016-12-10 06:28:33] 753*2^1448204-1 is not prime. Res64: A258610CF793D09A Time : 0.0 sec. user=mdettweiler [2016-12-10 06:28:33] 759*2^1448204-1 is not prime. Res64: 57EA7EBD2A0BF69D Time : 0.0 sec. user=mdettweiler [2016-12-10 06:28:34] 929*2^1448204-1 is not prime. Res64: 94A828267F9F5522 Time : 0.0 sec. user=mdettweiler [2016-12-10 06:28:34] 639*2^1448205-1 is not prime. Res64: 7786B39BEA5F8B1D Time : 0.0 sec. user=mdettweiler [2016-12-10 06:36:26] 699*2^1448205-1 is not prime. Res64: ABD3610994FA9108 Time : 0.0 sec. user=mdettweiler [2016-12-10 06:36:26] 727*2^1448205-1 is not prime. Res64: EA929C4D73A528BF Time : 0.0 sec. user=mdettweiler [2016-12-10 06:36:27] 819*2^1448205-1 is not prime. Res64: 261EC47AA20DA264 Time : 0.0 sec. user=mdettweiler [2016-12-10 06:36:27] 847*2^1448205-1 is not prime. Res64: 77B144ABAF889811 Time : 0.0 sec. user=mdettweiler [2016-12-10 06:36:28] 849*2^1448205-1 is not prime. Res64: E7406AC48B22F0F9 Time : 0.0 sec. user=mdettweiler [2016-12-10 06:54:42] 885*2^1448205-1 is not prime. Res64: FDB633D31D64F4E5 Time : 0.0 sec. user=mdettweiler [2016-12-10 06:54:42] 919*2^1448205-1 is not prime. Res64: CF9661B183CAAFBD Time : 0.0 sec. user=mdettweiler [2016-12-10 06:54:42] 603*2^1448206-1 is not prime. Res64: F16037DC14871BAA Time : 0.0 sec. user=mdettweiler [2016-12-10 06:54:43] 651*2^1448206-1 is not prime. Res64: 773C8D8962DBA931 Time : 0.0 sec. user=mdettweiler [2016-12-10 06:54:43] 663*2^1448206-1 is not prime. Res64: 6DD517C14BB45716 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:12:51] 777*2^1448206-1 is not prime. Res64: 8C8077481A332989 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:12:52] 813*2^1448206-1 is not prime. Res64: F6F833B2BBDAD924 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:12:52] 833*2^1448206-1 is not prime. Res64: 80CC43215F911F54 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:12:53] 843*2^1448206-1 is not prime. Res64: 43E0214D539CA96F Time : 0.0 sec. user=mdettweiler [2016-12-10 07:12:53] 917*2^1448206-1 is not prime. Res64: 75392B1C3CCCB5B5 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:20:45] 945*2^1448206-1 is not prime. Res64: 92505D8CBA197EBB Time : 0.0 sec. user=mdettweiler [2016-12-10 07:20:45] 603*2^1448207-1 is not prime. Res64: E2D0FE92EEB1E923 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:20:46] 981*2^1448207-1 is not prime. Res64: A023690997B3F09B Time : 0.0 sec. user=mdettweiler [2016-12-10 07:20:46] 803*2^1448208-1 is not prime. Res64: 66BE07FEF96CB43F Time : 0.0 sec. user=mdettweiler [2016-12-10 07:20:47] 845*2^1448208-1 is not prime. Res64: A576FC7BC5D76274 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:39:00] 849*2^1448208-1 is not prime. Res64: 6A47338FF8A96B46 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:39:00] 893*2^1448208-1 is not prime. Res64: 3C44AFD1328024B5 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:39:01] 929*2^1448208-1 is not prime. Res64: C6C06CE838FAB915 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:39:01] 933*2^1448208-1 is not prime. Res64: 6C727E7185FFFFB0 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:39:01] 639*2^1448209-1 is not prime. Res64: EF2C524F02600EAF Time : 0.0 sec. user=mdettweiler [2016-12-10 07:57:11] 799*2^1448209-1 is not prime. Res64: 0BE71DD48F3811BB Time : 0.0 sec. user=mdettweiler [2016-12-10 07:57:11] 855*2^1448209-1 is not prime. Res64: FB93B5C4D0EDD461 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:57:11] 641*2^1448210-1 is not prime. Res64: 803547FCA2F4E95A Time : 0.0 sec. user=mdettweiler [2016-12-10 07:57:12] 645*2^1448210-1 is not prime. Res64: 54C36BD225FA50B8 Time : 0.0 sec. user=mdettweiler [2016-12-10 07:57:12] 755*2^1448210-1 is not prime. Res64: 86F01D37C816B891 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:05:08] 791*2^1448210-1 is not prime. Res64: CA7498B57399726A Time : 0.0 sec. user=mdettweiler [2016-12-10 08:05:09] 833*2^1448210-1 is not prime. Res64: DA04D9095E59A82F Time : 0.0 sec. user=mdettweiler [2016-12-10 08:05:10] 751*2^1448211-1 is not prime. Res64: 30D0EEEBBBDFA7F2 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:05:11] 769*2^1448211-1 is not prime. Res64: 1FA46F0C3D619CE1 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:05:12] 783*2^1448211-1 is not prime. Res64: 9F986EF749EF40A5 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:23:21] 801*2^1448211-1 is not prime. Res64: E35D5422FF0B1D7F Time : 0.0 sec. user=mdettweiler [2016-12-10 08:23:21] 871*2^1448211-1 is not prime. Res64: A2F74C3879FB9531 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:23:22] 903*2^1448211-1 is not prime. Res64: C6C1DE79D0C22D23 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:23:22] 825*2^1448212-1 is not prime. Res64: 4701E76AF8B875C7 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:23:22] 679*2^1448213-1 is not prime. Res64: 55AB26590841440C Time : 0.0 sec. user=mdettweiler [2016-12-10 08:41:36] 727*2^1448213-1 is not prime. Res64: AB0912553AAA32C7 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:41:37] 771*2^1448213-1 is not prime. Res64: ECA4B9D22198BF7B Time : 0.0 sec. user=mdettweiler [2016-12-10 08:41:37] 847*2^1448213-1 is not prime. Res64: A43461CF54FDD0FE Time : 0.0 sec. user=mdettweiler [2016-12-10 08:41:38] 879*2^1448213-1 is not prime. Res64: 77BA031F20950CD6 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:41:38] 663*2^1448214-1 is not prime. Res64: 267772AA66728453 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:49:31] 683*2^1448214-1 is not prime. Res64: 4B075AC1707E8CCC Time : 0.0 sec. user=mdettweiler [2016-12-10 08:49:31] 723*2^1448214-1 is not prime. Res64: 98F39F28E8C502D2 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:49:32] 737*2^1448214-1 is not prime. Res64: 79CF51575D91D60A Time : 0.0 sec. user=mdettweiler [2016-12-10 08:49:32] 783*2^1448214-1 is not prime. Res64: C3C9627CC02DF997 Time : 0.0 sec. user=mdettweiler [2016-12-10 08:49:32] 791*2^1448214-1 is not prime. Res64: F92545FB710DC026 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:07:40] 873*2^1448214-1 is not prime. Res64: AF815A2B1CE56BD4 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:07:41] 875*2^1448214-1 is not prime. Res64: 9AB283FE78D53E32 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:07:43] 927*2^1448214-1 is not prime. Res64: 0E89264696DA8335 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:07:45] 941*2^1448214-1 is not prime. Res64: 2B071FB6030B4AAE Time : 0.0 sec. user=mdettweiler [2016-12-10 09:07:46] 945*2^1448214-1 is not prime. Res64: 7F1238A992326D7C Time : 0.0 sec. user=mdettweiler [2016-12-10 09:25:54] 971*2^1448214-1 is not prime. Res64: D8187EF37E658005 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:25:54] 693*2^1448215-1 is not prime. Res64: 1C48FF5FCBBD4627 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:25:55] 859*2^1448215-1 is not prime. Res64: 940AD123CFC3EF84 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:25:55] 961*2^1448215-1 is not prime. Res64: 0C5D776B1F2910A7 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:25:56] 979*2^1448215-1 is not prime. Res64: 26B60147DB2BA099 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:33:48] 985*2^1448215-1 is not prime. Res64: 3F4CBB06BEBE05F8 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:33:48] 617*2^1448216-1 is not prime. Res64: 9D88F8A6B74179D6 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:33:49] 767*2^1448216-1 is not prime. Res64: 6EE54F796859237E Time : 0.0 sec. user=mdettweiler [2016-12-10 09:33:49] 873*2^1448216-1 is not prime. Res64: A589098FE2E6A540 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:33:50] 917*2^1448216-1 is not prime. Res64: 1B713359D318971A Time : 0.0 sec. user=mdettweiler [2016-12-10 09:52:17] 927*2^1448216-1 is not prime. Res64: 8F9F2C193C4AA4D7 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:52:17] 957*2^1448216-1 is not prime. Res64: 9A721FD006962C6C Time : 0.0 sec. user=mdettweiler [2016-12-10 09:52:17] 993*2^1448216-1 is not prime. Res64: 7DD0814299DD8643 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:52:18] 765*2^1448217-1 is not prime. Res64: 330085A62B63CB12 Time : 0.0 sec. user=mdettweiler [2016-12-10 09:52:18] 777*2^1448217-1 is not prime. Res64: 9E6C5AD9872EB2A2 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:10:13] 795*2^1448217-1 is not prime. Res64: EBC73715908298A9 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:10:14] 945*2^1448217-1 is not prime. Res64: 7646E5AA6917D08D Time : 0.0 sec. user=mdettweiler [2016-12-10 10:10:14] 633*2^1448218-1 is not prime. Res64: D58F27EEA2B2DC6C Time : 0.0 sec. user=mdettweiler [2016-12-10 10:10:14] 635*2^1448218-1 is not prime. Res64: 2F1A2758BC25EB80 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:10:15] 647*2^1448218-1 is not prime. Res64: 89EECE72D7F1038F Time : 0.0 sec. user=mdettweiler [2016-12-10 10:18:12] 723*2^1448218-1 is not prime. Res64: 5A972EB80DF0DC36 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:18:12] 777*2^1448218-1 is not prime. Res64: 7AB8AEB15C050BAE Time : 0.0 sec. user=mdettweiler [2016-12-10 10:18:13] 801*2^1448218-1 is not prime. Res64: 157FBDB3A383992A Time : 0.0 sec. user=mdettweiler [2016-12-10 10:18:13] 859*2^1448219-1 is not prime. Res64: C1AC5417AE3AFEA4 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:18:13] 895*2^1448219-1 is not prime. Res64: CEF38DD2C22C65B7 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:36:36] 921*2^1448219-1 is not prime. Res64: B0885DA555411D63 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:36:36] 955*2^1448219-1 is not prime. Res64: AF6D29614930D45C Time : 0.0 sec. user=mdettweiler [2016-12-10 10:36:36] 979*2^1448219-1 is not prime. Res64: BA674CCFE94976B6 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:36:37] 627*2^1448220-1 is not prime. Res64: 6C496CD42A6B0AE6 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:36:37] 719*2^1448220-1 is not prime. Res64: 8DE8EF843ED5CCB4 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:54:33] 759*2^1448220-1 is not prime. Res64: D5B45CF1E4A12436 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:54:33] 765*2^1448220-1 is not prime. Res64: 10F4FE5CF2A035E1 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:54:33] 959*2^1448220-1 is not prime. Res64: 2074E5E5A98D2DB8 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:54:34] 965*2^1448220-1 is not prime. Res64: 031E1F7643A01C40 Time : 0.0 sec. user=mdettweiler [2016-12-10 10:54:34] 987*2^1448220-1 is not prime. Res64: 8DCB34D1C2FEE4DD Time : 0.0 sec. user=mdettweiler [2016-12-10 11:02:35] 691*2^1448221-1 is not prime. Res64: D3B6C862C55E9EC2 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:02:36] 817*2^1448221-1 is not prime. Res64: 12CED10188759177 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:02:36] 855*2^1448221-1 is not prime. Res64: B0C3178A2B3B88FD Time : 0.0 sec. user=mdettweiler [2016-12-10 11:02:37] 859*2^1448221-1 is not prime. Res64: A7E0270FFE850191 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:02:38] 871*2^1448221-1 is not prime. Res64: 94739E55E1E98B8D Time : 0.0 sec. user=mdettweiler [2016-12-10 11:20:55] 927*2^1448221-1 is not prime. Res64: 7ED662A054643FD9 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:20:55] 945*2^1448221-1 is not prime. Res64: 3C48B977E9DAB637 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:20:56] 615*2^1448222-1 is not prime. Res64: 27EC19AD9E4C4851 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:20:56] 743*2^1448222-1 is not prime. Res64: 9702DC863D9A0DD8 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:20:56] 785*2^1448222-1 is not prime. Res64: 99B99FE15BB34A01 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:38:54] 825*2^1448222-1 is not prime. Res64: 636D9FDE92A99348 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:38:55] 857*2^1448222-1 is not prime. Res64: E6A9EB0F5F8E2606 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:38:55] 911*2^1448222-1 is not prime. Res64: 68287770940C12CC Time : 0.0 sec. user=mdettweiler [2016-12-10 11:38:55] 941*2^1448222-1 is not prime. Res64: BDE52906EA4EF9B6 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:38:56] 649*2^1448223-1 is not prime. Res64: 1355BDF338736D56 Time : 0.0 sec. user=mdettweiler [2016-12-10 11:46:56] 691*2^1448223-1 is not prime. Res64: 7C11E17E2868807F Time : 0.0 sec. user=mdettweiler [2016-12-10 11:46:57] 693*2^1448223-1 is not prime. Res64: 10BFC80F4743263C Time : 0.0 sec. user=mdettweiler [2016-12-10 11:46:57] 739*2^1448223-1 is not prime. Res64: 05CC65B4D0489F0A Time : 0.0 sec. user=mdettweiler [2016-12-10 11:46:57] 741*2^1448223-1 is not prime. Res64: D00F59784BFDE50C Time : 0.0 sec. user=mdettweiler [2016-12-10 11:46:58] 789*2^1448223-1 is not prime. Res64: 32448F4516DF72A4 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:05:25] 873*2^1448223-1 is not prime. Res64: AB37F5F4663D89DD Time : 0.0 sec. user=mdettweiler [2016-12-10 12:05:28] 879*2^1448223-1 is not prime. Res64: 92B3787E179FE9FF Time : 0.0 sec. user=mdettweiler [2016-12-10 12:05:29] 919*2^1448223-1 is not prime. Res64: DC842D5E8C23F620 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:05:31] 609*2^1448224-1 is not prime. Res64: BCCE6CFCE8B01F82 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:05:33] 693*2^1448224-1 is not prime. Res64: C4CD5A8ED9081586 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:23:32] 755*2^1448224-1 is not prime. Res64: 67ED622A06B7B716 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:23:33] 765*2^1448224-1 is not prime. Res64: 813E9A831A167435 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:23:33] 869*2^1448224-1 is not prime. Res64: 5818004F13DEE9F8 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:23:33] 969*2^1448224-1 is not prime. Res64: 7D1C653F700073EE Time : 0.0 sec. user=mdettweiler [2016-12-10 12:23:34] 721*2^1448225-1 is not prime. Res64: E0CFE70950FFC461 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:31:43] 735*2^1448225-1 is not prime. Res64: 49607D1EEA9D5AED Time : 0.0 sec. user=mdettweiler [2016-12-10 12:31:43] 777*2^1448225-1 is not prime. Res64: ED8646220061397E Time : 0.0 sec. user=mdettweiler [2016-12-10 12:31:43] 907*2^1448225-1 is not prime. Res64: 6E8D4DC6DFD64872 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:31:44] 969*2^1448225-1 is not prime. Res64: D9FC546A28D8AE7C Time : 0.0 sec. user=mdettweiler [2016-12-10 12:31:44] 705*2^1448226-1 is not prime. Res64: D48B95555CB11339 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:50:28] 717*2^1448226-1 is not prime. Res64: 4705FD98C734C0C5 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:50:28] 777*2^1448226-1 is not prime. Res64: 57642F8AAFFE2109 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:50:29] 843*2^1448226-1 is not prime. Res64: 55535FA7AC23FAD2 Time : 0.0 sec. user=mdettweiler [2016-12-10 12:50:29] 861*2^1448226-1 is not prime. Res64: 94A4E61FE627655D Time : 0.0 sec. user=mdettweiler [2016-12-10 12:50:29] 867*2^1448226-1 is not prime. Res64: EC8B0D16F6C8D191 Time : 0.0 sec. user=mdettweiler [2016-12-10 13:08:20] 933*2^1448226-1 is not prime. Res64: AFE76B00C2A312F8 Time : 0.0 sec. user=mdettweiler [2016-12-10 13:08:20] 963*2^1448226-1 is not prime. Res64: 377C3A8B164F40DC Time : 0.0 sec. user=mdettweiler [2016-12-10 13:08:21] 625*2^1448227-1 is not prime. Res64: A720BB1E5C1A16CD Time : 0.0 sec. user=mdettweiler [2016-12-10 13:08:21] 651*2^1448227-1 is not prime. Res64: BA93AB8EED9482CD Time : 0.0 sec. user=mdettweiler [2016-12-10 13:08:22] 703*2^1448227-1 is not prime. Res64: 4004C1B7825515FB Time : 0.0 sec. user=mdettweiler [2016-12-10 13:16:24] 861*2^1448227-1 is not prime. Res64: 448D0823E67BC50F Time : 0.0 sec. user=mdettweiler [2016-12-10 13:16:25] 895*2^1448227-1 is not prime. Res64: 9FB640701755D0BA Time : 0.0 sec. user=mdettweiler [2016-12-10 13:16:25] 985*2^1448227-1 is not prime. Res64: CE656D9A6D162A87 Time : 0.0 sec. user=mdettweiler [2016-12-10 13:16:25] 617*2^1448228-1 is not prime. Res64: E92DDED810A26267 Time : 0.0 sec. user=mdettweiler [2016-12-10 13:16:26] 669*2^1448228-1 is not prime. Res64: 04951F798198BB5C Time : 0.0 sec. user=mdettweiler [2016-12-10 13:35:13] 687*2^1448228-1 is not prime. Res64: FBFB45400EB1D7E3 Time : 0.0 sec. user=mdettweiler [2016-12-10 13:35:13] 819*2^1448228-1 is not prime. Res64: 017D5351C3771E31 Time : 0.0 sec. user=mdettweiler [2016-12-10 13:35:14] 839*2^1448228-1 is not prime. Res64: BCA6D02A2968FB7E Time : 0.0 sec. user=mdettweiler [2016-12-10 13:35:14] 959*2^1448228-1 is not prime. Res64: 8FC7E26A1F316572 Time : 0.0 sec. user=mdettweiler [2016-12-10 13:35:14] 621*2^1448229-1 is not prime. Res64: 12D17CC79FF603CF Time : 0.0 sec. user=mdettweiler [2016-12-10 13:52:52] 735*2^1448229-1 is not prime. Res64: 87D81430AD60E93C Time : 0.0 sec. user=mdettweiler [2016-12-10 13:52:53] 787*2^1448229-1 is not prime. Res64: 4FC0026DBA981E4C Time : 0.0 sec. user=mdettweiler [2016-12-10 13:52:53] 927*2^1448229-1 is not prime. Res64: 450167F5FA3991A5 Time : 0.0 sec. user=mdettweiler [2016-12-10 13:52:54] 975*2^1448229-1 is not prime. Res64: BDF86166D35CB226 Time : 0.0 sec. user=mdettweiler [2016-12-10 13:52:54] 997*2^1448229-1 is not prime. Res64: 253D679C7997C8D4 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:00:53] 783*2^1448230-1 is not prime. Res64: 5D08548A0945D8EB Time : 0.0 sec. user=mdettweiler [2016-12-10 14:00:54] 917*2^1448230-1 is not prime. Res64: C658BE848F841A74 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:00:54] 971*2^1448230-1 is not prime. Res64: 99205DE4237FE1D2 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:00:55] 603*2^1448231-1 is not prime. Res64: 6AEBEF5FF3F6406D Time : 0.0 sec. user=mdettweiler [2016-12-10 14:00:56] 879*2^1448231-1 is not prime. Res64: 4BD222E64A358064 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:19:31] 895*2^1448231-1 is not prime. Res64: 764F85966E3143C7 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:19:32] 939*2^1448231-1 is not prime. Res64: 3AD85F1B16B11744 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:19:32] 689*2^1448232-1 is not prime. Res64: 692057AE876873AC Time : 0.0 sec. user=mdettweiler [2016-12-10 14:19:33] 693*2^1448232-1 is not prime. Res64: 1A4C78E02151B541 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:19:33] 879*2^1448232-1 is not prime. Res64: 5A0F4BD97351E7C6 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:37:09] 887*2^1448232-1 is not prime. Res64: C0DAD0C10601CF74 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:37:10] 893*2^1448232-1 is not prime. Res64: D80C48C96C31AA03 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:37:10] 637*2^1448233-1 is not prime. Res64: FD2708C76B1B0DC9 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:37:10] 675*2^1448233-1 is not prime. Res64: 03768EACD2F0350D Time : 0.0 sec. user=mdettweiler [2016-12-10 14:37:11] 789*2^1448233-1 is not prime. Res64: 8FD0CC2ED1ED960A Time : 0.0 sec. user=mdettweiler [2016-12-10 14:45:16] 731*2^1448234-1 is not prime. Res64: FAEF8BFAF104E1B0 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:45:16] 755*2^1448234-1 is not prime. Res64: DE3055198F55A4DC Time : 0.0 sec. user=mdettweiler [2016-12-10 14:45:16] 785*2^1448234-1 is not prime. Res64: 1047823F07BB0EDF Time : 0.0 sec. user=mdettweiler [2016-12-10 14:45:17] 857*2^1448234-1 is not prime. Res64: F422783FC33E8805 Time : 0.0 sec. user=mdettweiler [2016-12-10 14:45:17] 1001*2^1448234-1 is not prime. Res64: 93A9ABF514B7A0D9 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:03:53] 651*2^1448235-1 is not prime. Res64: 4A0386624CB8AB04 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:03:54] 723*2^1448235-1 is not prime. Res64: EFD8A57C1CFA9EF3 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:03:55] 741*2^1448235-1 is not prime. Res64: 972462ACDBD1AD00 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:03:56] 765*2^1448235-1 is not prime. Res64: 707C7473EFD468B1 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:03:57] 853*2^1448235-1 is not prime. Res64: 3E13C36602815E8F Time : 0.0 sec. user=mdettweiler [2016-12-10 15:21:30] 861*2^1448235-1 is not prime. Res64: 5C080AB14420F387 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:21:31] 609*2^1448236-1 is not prime. Res64: 285E6DA7896C0F3E Time : 0.0 sec. user=mdettweiler [2016-12-10 15:21:31] 705*2^1448236-1 is not prime. Res64: 480F62653A95AF79 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:21:32] 735*2^1448236-1 is not prime. Res64: 18536ADE6D48B9B9 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:21:32] 905*2^1448236-1 is not prime. Res64: 7303C55948096C16 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:29:37] 989*2^1448236-1 is not prime. Res64: 8A55162C62D06433 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:29:38] 675*2^1448237-1 is not prime. Res64: 51F1FE4749C75EE7 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:29:38] 759*2^1448237-1 is not prime. Res64: 95670E3E8B9E00A0 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:29:39] 799*2^1448237-1 is not prime. Res64: 6678B64B51E52912 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:29:39] 805*2^1448237-1 is not prime. Res64: 4E012F40F61CB7BB Time : 0.0 sec. user=mdettweiler [2016-12-10 15:48:21] 889*2^1448237-1 is not prime. Res64: D9AA7434DB28D4F2 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:48:22] 901*2^1448237-1 is not prime. Res64: E3288A970F60A1E3 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:48:22] 695*2^1448238-1 is not prime. Res64: 7283CDA7DCD284B1 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:48:22] 705*2^1448238-1 is not prime. Res64: AD13B36F139399E3 Time : 0.0 sec. user=mdettweiler [2016-12-10 15:48:23] 927*2^1448238-1 is not prime. Res64: E70BB0198BADE84E Time : 0.0 sec. user=mdettweiler [2016-12-10 16:05:55] 603*2^1448239-1 is not prime. Res64: 12E2FA927D80C799 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:05:56] 625*2^1448239-1 is not prime. Res64: B68528AF10167E90 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:05:56] 843*2^1448239-1 is not prime. Res64: 28CD9DC5CA9197F0 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:05:57] 979*2^1448239-1 is not prime. Res64: FE82FCEBB871AA8C Time : 0.0 sec. user=mdettweiler [2016-12-10 16:05:58] 735*2^1448240-1 is not prime. Res64: 70029595D11E3858 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:13:57] 657*2^1448241-1 is not prime. Res64: F8E3AA9D9C94AE66 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:13:57] 691*2^1448241-1 is not prime. Res64: E56FDD26293413BB Time : 0.0 sec. user=mdettweiler [2016-12-10 16:13:58] 705*2^1448241-1 is not prime. Res64: 58BF98B01F56C3C1 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:13:58] 709*2^1448241-1 is not prime. Res64: 72037DCA8B2166FA Time : 0.0 sec. user=mdettweiler [2016-12-10 16:13:59] 745*2^1448241-1 is not prime. Res64: 01C90BF5D12F0FBE Time : 0.0 sec. user=mdettweiler [2016-12-10 16:32:41] 795*2^1448241-1 is not prime. Res64: D70529A621CFC2BC Time : 0.0 sec. user=mdettweiler [2016-12-10 16:32:41] 865*2^1448241-1 is not prime. Res64: C76013053D656AC4 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:32:42] 999*2^1448241-1 is not prime. Res64: D0340BE24EB3E262 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:32:42] 603*2^1448242-1 is not prime. Res64: 0CA1FBADA59AC311 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:32:43] 681*2^1448242-1 is not prime. Res64: C66301AF582B7AF3 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:50:18] 701*2^1448242-1 is not prime. Res64: 2C95FD92E13A1065 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:50:19] 815*2^1448242-1 is not prime. Res64: 34F7B8AED305C5D6 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:50:19] 885*2^1448242-1 is not prime. Res64: 39C8B43B7423177D Time : 0.0 sec. user=mdettweiler [2016-12-10 16:50:20] 947*2^1448242-1 is not prime. Res64: 80F7BAA0B4721614 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:50:20] 615*2^1448243-1 is not prime. Res64: A48B1AB2672EA05C Time : 0.0 sec. user=mdettweiler [2016-12-10 16:58:17] 759*2^1448243-1 is not prime. Res64: 5B0AB203B60AD471 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:58:17] 813*2^1448243-1 is not prime. Res64: 27FACA0E6765C434 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:58:18] 767*2^1448244-1 is not prime. Res64: AF4244D76B7C7A91 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:58:18] 923*2^1448244-1 is not prime. Res64: 523424A55EF94491 Time : 0.0 sec. user=mdettweiler [2016-12-10 16:58:19] 959*2^1448244-1 is not prime. Res64: DE1A45AA999F2B98 Time : 0.0 sec. user=mdettweiler [2016-12-10 17:17:01] 983*2^1448244-1 is not prime. Res64: BAAFFDC9B7BC3BAA Time : 0.0 sec. user=mdettweiler [2016-12-10 17:17:02] 757*2^1448245-1 is not prime. Res64: C21D07D8E0E39D4B Time : 0.0 sec. user=mdettweiler [2016-12-10 17:17:02] 859*2^1448245-1 is not prime. Res64: 608E3896CFFCEC6F Time : 0.0 sec. user=mdettweiler [2016-12-10 17:17:03] 997*2^1448245-1 is not prime. Res64: 130733DE4DE1E645 Time : 0.0 sec. user=mdettweiler [2016-12-10 17:17:03] 623*2^1448246-1 is not prime. Res64: 3E0A7266D8E2A0CA Time : 0.0 sec. user=mdettweiler [2016-12-10 17:34:40] 641*2^1448246-1 is not prime. Res64: 83601183ADC9189F Time : 0.0 sec. user=mdettweiler [2016-12-10 17:34:41] 711*2^1448246-1 is not prime. Res64: 024E3BD09B637D90 Time : 0.0 sec. user=mdettweiler [2016-12-10 17:34:41] 741*2^1448246-1 is not prime. Res64: 1623CD4A7276CD0A Time : 0.0 sec. user=mdettweiler [2016-12-10 17:34:42] 1001*2^1448246-1 is not prime. Res64: 342A2444C6267C5D Time : 0.0 sec. user=mdettweiler [2016-12-10 17:34:42] 703*2^1448247-1 is not prime. Res64: 45EEF20D538016AE Time : 0.0 sec. user=mdettweiler [2016-12-10 17:42:40] 735*2^1448247-1 is not prime. Res64: 52FD5C9FAE5403B4 Time : 0.0 sec. user=mdettweiler [2016-12-10 17:42:40] 843*2^1448247-1 is not prime. Res64: 51BE5924DCB6FD12 Time : 0.0 sec. user=mdettweiler [2016-12-10 17:42:40] 849*2^1448247-1 is not prime. Res64: 5172DAFEA8F6565E Time : 0.0 sec. user=mdettweiler [2016-12-10 17:42:41] 859*2^1448247-1 is not prime. Res64: CCDC84C31A035C7F Time : 0.0 sec. user=mdettweiler [2016-12-10 17:42:41] 955*2^1448247-1 is not prime. Res64: DD2544B5FCD79C4D Time : 0.0 sec. user=mdettweiler [2016-12-10 18:01:22] 979*2^1448247-1 is not prime. Res64: E042FA6925E6E247 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:01:23] 617*2^1448248-1 is not prime. Res64: A9F5BB35D5FD6ED2 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:01:24] 707*2^1448248-1 is not prime. Res64: E9C687851CF4ED14 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:01:25] 863*2^1448248-1 is not prime. Res64: CB50DDCE4DCFC9C2 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:01:27] 875*2^1448248-1 is not prime. Res64: 84AFFB8FDB4E9F8D Time : 0.0 sec. user=mdettweiler [2016-12-10 18:18:59] 657*2^1448249-1 is not prime. Res64: BDDA48483F8DF247 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:19:00] 759*2^1448249-1 is not prime. Res64: 8DD6607C4E593D2C Time : 0.0 sec. user=mdettweiler [2016-12-10 18:19:00] 841*2^1448249-1 is not prime. Res64: DAC5DE474C2AB021 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:19:00] 955*2^1448249-1 is not prime. Res64: E0D1EA257B7FCC9A Time : 0.0 sec. user=mdettweiler [2016-12-10 18:19:01] 783*2^1448250-1 is not prime. Res64: F21D94E39C74DE90 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:27:00] 893*2^1448250-1 is not prime. Res64: 4071D028F2C9271B Time : 0.0 sec. user=mdettweiler [2016-12-10 18:27:00] 685*2^1448251-1 is not prime. Res64: BC9DE2BBA12C6B14 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:27:01] 709*2^1448251-1 is not prime. Res64: 3E476D4A6FCDECAA Time : 0.0 sec. user=mdettweiler [2016-12-10 18:27:01] 759*2^1448251-1 is not prime. Res64: 9DE4274F1BD6597A Time : 0.0 sec. user=mdettweiler [2016-12-10 18:27:02] 805*2^1448251-1 is not prime. Res64: 0970291887C2EE84 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:45:51] 819*2^1448251-1 is not prime. Res64: 56A05078253CD1E2 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:45:52] 849*2^1448251-1 is not prime. Res64: D88EEE04CC89B505 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:45:52] 861*2^1448251-1 is not prime. Res64: 89F193533D8E15DF Time : 0.0 sec. user=mdettweiler [2016-12-10 18:45:53] 999*2^1448251-1 is not prime. Res64: 57AC499A1CE43DD7 Time : 0.0 sec. user=mdettweiler [2016-12-10 18:45:53] 677*2^1448252-1 is not prime. Res64: 9850E2274665ACD5 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:03:21] 717*2^1448252-1 is not prime. Res64: 10F9D9362A852C8C Time : 0.0 sec. user=mdettweiler [2016-12-10 19:03:23] 725*2^1448252-1 is not prime. Res64: 32364647A81E8424 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:03:25] 755*2^1448252-1 is not prime. Res64: B479513B373577CC Time : 0.0 sec. user=mdettweiler [2016-12-10 19:03:26] 837*2^1448252-1 is not prime. Res64: 9DE6AD0DEC0C6F7A Time : 0.0 sec. user=mdettweiler [2016-12-10 19:03:27] 983*2^1448252-1 is not prime. Res64: A31A168BFF031BB3 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:11:29] 999*2^1448252-1 is not prime. Res64: AC5CF5FCE8762E3C Time : 0.0 sec. user=mdettweiler [2016-12-10 19:11:30] 627*2^1448253-1 is not prime. Res64: 1C4AFDE2702746A6 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:11:30] 735*2^1448253-1 is not prime. Res64: 7D6CEEE2515AAD21 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:11:31] 745*2^1448253-1 is not prime. Res64: A99F68F317F6B731 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:11:31] 781*2^1448253-1 is not prime. Res64: 4D0DB4E0B8EBDEF1 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:30:12] 817*2^1448253-1 is not prime. Res64: 22A20F733AA660EA Time : 0.0 sec. user=mdettweiler [2016-12-10 19:30:12] 829*2^1448253-1 is not prime. Res64: 6F4C5CF6FC8776DC Time : 0.0 sec. user=mdettweiler [2016-12-10 19:30:13] 889*2^1448253-1 is not prime. Res64: 26B8B2710FD15327 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:30:13] 891*2^1448253-1 is not prime. Res64: 689939FFF49E50C2 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:30:14] 919*2^1448253-1 is not prime. Res64: E49B8756088B4316 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:47:59] 681*2^1448254-1 is not prime. Res64: EC0A6B0C18BCCC53 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:47:59] 897*2^1448254-1 is not prime. Res64: 55E5CE1AE97F0CDA Time : 0.0 sec. user=mdettweiler [2016-12-10 19:47:59] 917*2^1448254-1 is not prime. Res64: ED53FAB06A5AA952 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:48:00] 663*2^1448255-1 is not prime. Res64: 38883A493CF714E7 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:48:00] 741*2^1448255-1 is not prime. Res64: DE53F9140B05FAA2 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:55:48] 753*2^1448255-1 is not prime. Res64: 49403C3A038E9721 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:55:48] 805*2^1448255-1 is not prime. Res64: 9434F53A227518EE Time : 0.0 sec. user=mdettweiler [2016-12-10 19:55:48] 963*2^1448255-1 is not prime. Res64: DC6DC07E071F5801 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:55:49] 979*2^1448255-1 is not prime. Res64: 8C9CB399B2B06981 Time : 0.0 sec. user=mdettweiler [2016-12-10 19:55:49] 839*2^1448256-1 is not prime. Res64: E4E7509F83E46EA3 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:14:35] 899*2^1448256-1 is not prime. Res64: 3553E76E3B3FC8B0 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:14:35] 947*2^1448256-1 is not prime. Res64: 108BCC297F80E309 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:14:36] 975*2^1448256-1 is not prime. Res64: BC64D5007478A16D Time : 0.0 sec. user=mdettweiler [2016-12-10 20:14:36] 999*2^1448256-1 is not prime. Res64: 42403793B35E4141 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:14:37] 601*2^1448257-1 is not prime. Res64: FE1C71109B383D72 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:32:20] 615*2^1448257-1 is not prime. Res64: 53EDF8387FB5EA60 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:32:21] 715*2^1448257-1 is not prime. Res64: 249FF46D50F2C53E Time : 0.0 sec. user=mdettweiler [2016-12-10 20:32:21] 765*2^1448257-1 is not prime. Res64: B38BF431B9DE2805 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:32:22] 771*2^1448257-1 is not prime. Res64: 691BF48F54BAD16A Time : 0.0 sec. user=mdettweiler [2016-12-10 20:32:22] 777*2^1448257-1 is not prime. Res64: 8A227DCDC44E0E73 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:40:06] 829*2^1448257-1 is not prime. Res64: 0EB2B03D1FC22E53 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:40:07] 919*2^1448257-1 is not prime. Res64: 1852F920CF476487 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:40:07] 979*2^1448257-1 is not prime. Res64: 31323E30A21A1190 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:40:08] 617*2^1448258-1 is not prime. Res64: 350BB838E71BEAD9 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:40:08] 645*2^1448258-1 is not prime. Res64: 86FF0F5FD1DB1E73 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:58:52] 755*2^1448258-1 is not prime. Res64: 5323AD83D5993B28 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:58:53] 813*2^1448258-1 is not prime. Res64: D399026EAB264A75 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:58:53] 825*2^1448258-1 is not prime. Res64: DE1AF5427AA17381 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:58:54] 887*2^1448258-1 is not prime. Res64: 7F3A15C228832D88 Time : 0.0 sec. user=mdettweiler [2016-12-10 20:58:54] 923*2^1448258-1 is not prime. Res64: 3AE76F453955E430 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:16:44] 935*2^1448258-1 is not prime. Res64: 5A354F2B49FDCC78 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:16:44] 609*2^1448259-1 is not prime. Res64: 7797DF2088D3AFD3 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:16:45] 721*2^1448259-1 is not prime. Res64: B7CB258C278CD870 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:16:45] 723*2^1448259-1 is not prime. Res64: E4A423AFEFAC77A7 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:16:46] 741*2^1448259-1 is not prime. Res64: CEACA4F5BC40287E Time : 0.0 sec. user=mdettweiler [2016-12-10 21:24:26] 789*2^1448259-1 is not prime. Res64: 42D1106AE5FDE302 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:24:26] 793*2^1448259-1 is not prime. Res64: 5A4136341D96E268 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:24:27] 885*2^1448259-1 is not prime. Res64: BBC2B36ABC28E440 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:24:27] 903*2^1448259-1 is not prime. Res64: A63DAA17B4BDFA42 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:24:27] 949*2^1448259-1 is not prime. Res64: 6B67E65F7BAEF0A8 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:43:13] 955*2^1448259-1 is not prime. Res64: 4726E109C0F1A008 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:43:13] 969*2^1448259-1 is not prime. Res64: B1D03B109BC6F887 Time : 0.0 sec. user=mdettweiler [2016-12-10 21:43:13] 647*2^1448260-1 is not prime. Res64: 05998B6F453D3C1F Time : 0.0 sec. user=mdettweiler [2016-12-10 21:43:14] 653*2^1448260-1 is not prime. Res64: 8A658312D6CB306B Time : 0.0 sec. user=mdettweiler [2016-12-10 21:43:14] 777*2^1448260-1 is not prime. Res64: B95D89B81675E3A4 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:02:32] 797*2^1448260-1 is not prime. Res64: 4ACA70F171BD85AF Time : 0.0 sec. user=mdettweiler [2016-12-10 22:02:33] 825*2^1448260-1 is not prime. Res64: EA87AA4D36F0E8F2 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:02:33] 939*2^1448260-1 is not prime. Res64: 692BAF60A287785F Time : 0.0 sec. user=mdettweiler [2016-12-10 22:02:34] 965*2^1448260-1 is not prime. Res64: 95CAA6AC5A32F881 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:02:35] 735*2^1448261-1 is not prime. Res64: 1BB2160C5A2C662B Time : 0.0 sec. user=mdettweiler [2016-12-10 22:10:20] 855*2^1448261-1 is not prime. Res64: 68C09701AC92B425 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:10:20] 945*2^1448261-1 is not prime. Res64: 0BEE1C3735786B9F Time : 0.0 sec. user=mdettweiler [2016-12-10 22:10:20] 681*2^1448262-1 is not prime. Res64: 3F4E6823A8901D83 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:10:21] 725*2^1448262-1 is not prime. Res64: F7625106FDD92DA0 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:10:21] 737*2^1448262-1 is not prime. Res64: B360A5FFD35F8290 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:29:18] 797*2^1448262-1 is not prime. Res64: AC9493BFB403AA6C Time : 0.0 sec. user=mdettweiler [2016-12-10 22:29:18] 705*2^1448263-1 is not prime. Res64: D7234CE96BCAA51E Time : 0.0 sec. user=mdettweiler [2016-12-10 22:29:19] 723*2^1448263-1 is not prime. Res64: 726A6767B5E81621 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:29:19] 741*2^1448263-1 is not prime. Res64: 7E2DE48FD2A10522 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:29:19] 763*2^1448263-1 is not prime. Res64: 0B8C426EC8FABD2F Time : 0.0 sec. user=mdettweiler [2016-12-10 22:47:36] 811*2^1448263-1 is not prime. Res64: 7F217AA56F6A7A14 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:47:36] 925*2^1448263-1 is not prime. Res64: F3CD6732DE6722CA Time : 0.0 sec. user=mdettweiler [2016-12-10 22:47:37] 677*2^1448264-1 is not prime. Res64: 4BFB53B9C98FFBC2 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:47:37] 747*2^1448264-1 is not prime. Res64: E70CF792F1A4AC10 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:47:37] 833*2^1448264-1 is not prime. Res64: 8A0602CD35FD4D04 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:55:23] 855*2^1448264-1 is not prime. Res64: 3DC80AA8E7CCA4A1 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:55:24] 625*2^1448265-1 is not prime. Res64: 0652B3539B9A60DB Time : 0.0 sec. user=mdettweiler [2016-12-10 22:55:24] 699*2^1448265-1 is not prime. Res64: E6362AA221CED637 Time : 0.0 sec. user=mdettweiler [2016-12-10 22:55:24] 709*2^1448265-1 is not prime. Res64: 9D55A73A8149186F Time : 0.0 sec. user=mdettweiler [2016-12-10 22:55:25] 727*2^1448265-1 is not prime. Res64: 5DF43A2D5D8F753E Time : 0.0 sec. user=mdettweiler [2016-12-10 23:14:22] 735*2^1448265-1 is not prime. Res64: 9CDF8A5A22A58415 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:14:23] 975*2^1448265-1 is not prime. Res64: D9DE7844D095CDCB Time : 0.0 sec. user=mdettweiler [2016-12-10 23:14:23] 645*2^1448266-1 is not prime. Res64: DC9C64F05DE28DB0 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:14:24] 657*2^1448266-1 is not prime. Res64: 657C47EC6DFEA457 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:14:24] 713*2^1448266-1 is not prime. Res64: 7CF6B2A5A082CEFE Time : 0.0 sec. user=mdettweiler [2016-12-10 23:32:10] 735*2^1448266-1 is not prime. Res64: A09FCEF9735B498F Time : 0.0 sec. user=mdettweiler [2016-12-10 23:32:10] 783*2^1448266-1 is not prime. Res64: 6D18A6C25B3BB1EC Time : 0.0 sec. user=mdettweiler [2016-12-10 23:32:11] 891*2^1448266-1 is not prime. Res64: ED592476CF0C23E2 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:32:11] 987*2^1448266-1 is not prime. Res64: C8AE1ADCAE2C2431 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:32:12] 615*2^1448267-1 is not prime. Res64: 5BCA0A8E27954561 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:39:52] 619*2^1448267-1 is not prime. Res64: 20EA2743A94AEC58 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:39:52] 631*2^1448267-1 is not prime. Res64: 6529D0863CA17C69 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:39:53] 643*2^1448267-1 is not prime. Res64: 4AE07A26362222B7 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:39:53] 759*2^1448267-1 is not prime. Res64: 8C292DEDD4BAF835 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:39:53] 781*2^1448267-1 is not prime. Res64: 14D687CDAD61F83F Time : 0.0 sec. user=mdettweiler [2016-12-10 23:58:50] 895*2^1448267-1 is not prime. Res64: DD08F6E3A5EC3499 Time : 0.0 sec. user=mdettweiler [2016-12-10 23:58:50] 963*2^1448267-1 is not prime. Res64: A0873B70A558A3FF Time : 0.0 sec. user=mdettweiler [2016-12-10 23:58:51] 981*2^1448267-1 is not prime. Res64: 83791B022F05899F Time : 0.0 sec. user=mdettweiler [2016-12-10 23:58:51] 639*2^1448268-1 is not prime. Res64: 4107383A34B109DF Time : 0.0 sec. user=mdettweiler [2016-12-10 23:58:52] 705*2^1448268-1 is not prime. Res64: 3D0BF4C87BCF780A Time : 0.0 sec.