user=mdettweiler [2015-11-22 00:04:49] 741*2^1415699-1 is not prime. Res64: E8C04E4CAFB651DF Time : 0.0 sec. user=mdettweiler [2015-11-22 00:04:50] 759*2^1415699-1 is not prime. Res64: CAC0BE48135568E3 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:05:22] 823*2^1415699-1 is not prime. Res64: 1B6EEB547959E4A3 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:05:23] 825*2^1415699-1 is not prime. Res64: E41BEA4AF4633A4F Time : 0.0 sec. user=mdettweiler [2015-11-22 00:10:43] 859*2^1415699-1 is not prime. Res64: AE3EAB7BE3EAA495 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:10:44] 943*2^1415699-1 is not prime. Res64: 524F88BC0251CFFF Time : 0.0 sec. user=mdettweiler [2015-11-22 00:11:23] 949*2^1415699-1 is not prime. Res64: DC00EC49BD1D709A Time : 0.0 sec. user=mdettweiler [2015-11-22 00:11:24] 623*2^1415700-1 is not prime. Res64: FDCE45BBD12ADA81 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:23:17] 699*2^1415700-1 is not prime. Res64: C006E122F15DD027 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:23:17] 707*2^1415700-1 is not prime. Res64: 997DD7046860B792 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:23:32] 719*2^1415700-1 is not prime. Res64: 78900FEBBB96AED4 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:23:32] 735*2^1415700-1 is not prime. Res64: F52824EC8D13F171 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:29:10] 779*2^1415700-1 is not prime. Res64: 02496C77DA1B07A7 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:29:11] 789*2^1415700-1 is not prime. Res64: 00DD0C89D3D39B89 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:29:37] 909*2^1415700-1 is not prime. Res64: 5C346E296C2DE0F5 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:29:38] 935*2^1415700-1 is not prime. Res64: 61F8F330439B97AC Time : 0.0 sec. user=mdettweiler [2015-11-22 00:41:33] 957*2^1415700-1 is not prime. Res64: 2F479073973A6CCC Time : 0.0 sec. user=mdettweiler [2015-11-22 00:41:33] 645*2^1415701-1 is not prime. Res64: 348EF7F0A003BBE9 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:41:38] 715*2^1415701-1 is not prime. Res64: 117533A61EEDD5CC Time : 0.0 sec. user=mdettweiler [2015-11-22 00:41:38] 805*2^1415701-1 is not prime. Res64: 009D3B010E86599E Time : 0.0 sec. user=mdettweiler [2015-11-22 00:47:31] 635*2^1415702-1 is not prime. Res64: 2F0AC8E343821104 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:47:31] 671*2^1415702-1 is not prime. Res64: 59142D44B6314FAF Time : 0.0 sec. user=mdettweiler [2015-11-22 00:47:53] 675*2^1415702-1 is not prime. Res64: 3F29ED82997E2D53 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:47:54] 771*2^1415702-1 is not prime. Res64: 0C7F4DDF46A19A94 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:59:54] 791*2^1415702-1 is not prime. Res64: 014C3CB058A9CCCC Time : 0.0 sec. user=mdettweiler [2015-11-22 00:59:55] 801*2^1415702-1 is not prime. Res64: 4DB316D3C6FD861D Time : 0.0 sec. user=mdettweiler [2015-11-22 00:59:59] 867*2^1415702-1 is not prime. Res64: DCC554AEA2A5CAF2 Time : 0.0 sec. user=mdettweiler [2015-11-22 00:59:59] 873*2^1415702-1 is not prime. Res64: 174C597FCED331A4 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:05:46] 983*2^1415702-1 is not prime. Res64: 7D8C032F2D3E4BB6 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:05:47] 751*2^1415703-1 is not prime. Res64: 990ACB2A6DF53995 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:06:00] 891*2^1415703-1 is not prime. Res64: 386012951B991A1F Time : 0.0 sec. user=mdettweiler [2015-11-22 01:06:00] 933*2^1415703-1 is not prime. Res64: 29C281B0D7B1F7FE Time : 0.0 sec. user=mdettweiler [2015-11-22 01:18:09] 609*2^1415704-1 is not prime. Res64: 669B37BD5EDA2CBB Time : 0.0 sec. user=mdettweiler [2015-11-22 01:18:09] 635*2^1415704-1 is not prime. Res64: F4F253CFF82DCC59 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:18:20] 675*2^1415704-1 is not prime. Res64: 54E909005319456A Time : 0.0 sec. user=mdettweiler [2015-11-22 01:18:20] 849*2^1415704-1 is not prime. Res64: 6D6A4C4E0569CAC5 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:23:57] 875*2^1415704-1 is not prime. Res64: 8D117A242D594C35 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:23:57] 917*2^1415704-1 is not prime. Res64: A376044DFD22DFFD Time : 0.0 sec. user=mdettweiler [2015-11-22 01:24:11] 995*2^1415704-1 is not prime. Res64: ECC8F6582632719B Time : 0.0 sec. user=mdettweiler [2015-11-22 01:24:11] 627*2^1415705-1 is not prime. Res64: CC987FE4B031AA7F Time : 0.0 sec. user=mdettweiler [2015-11-22 01:36:14] 645*2^1415705-1 is not prime. Res64: 538B01829933B057 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:36:15] 759*2^1415705-1 is not prime. Res64: 755210E8CE5F9CE8 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:36:35] 925*2^1415705-1 is not prime. Res64: 658687EDDC224E02 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:36:36] 937*2^1415705-1 is not prime. Res64: 875B6A99D0744C78 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:42:19] 955*2^1415705-1 is not prime. Res64: 7AEBEB91B65B782B Time : 0.0 sec. user=mdettweiler [2015-11-22 01:42:20] 633*2^1415706-1 is not prime. Res64: B25B6E3FF002F5A2 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:42:26] 755*2^1415706-1 is not prime. Res64: 24A36F5BE005E626 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:42:26] 875*2^1415706-1 is not prime. Res64: 44638E8F586FCF65 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:54:31] 917*2^1415706-1 is not prime. Res64: C4761892729685E6 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:54:31] 601*2^1415707-1 is not prime. Res64: 48E06E2E8E6A1C45 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:54:45] 619*2^1415707-1 is not prime. Res64: F4DB07BFD0F0ECC6 Time : 0.0 sec. user=mdettweiler [2015-11-22 01:54:45] 633*2^1415707-1 is not prime. Res64: 41C0A0D2E8C2DCC7 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:00:37] 663*2^1415707-1 is not prime. Res64: DDEB0C0CCBC21598 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:00:38] 691*2^1415707-1 is not prime. Res64: FB58430FE658159D Time : 0.0 sec. user=mdettweiler [2015-11-22 02:00:44] 841*2^1415707-1 is not prime. Res64: E4B5F50D392C3D01 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:00:45] 861*2^1415707-1 is not prime. Res64: 70999FDFC71A7D5D Time : 0.0 sec. user=mdettweiler [2015-11-22 02:12:53] 951*2^1415707-1 is not prime. Res64: 2207C5E59AF1D904 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:12:54] 961*2^1415707-1 is not prime. Res64: 2590A33A70073A9A Time : 0.0 sec. user=mdettweiler [2015-11-22 02:13:04] 975*2^1415707-1 is not prime. Res64: 6719C928922CF694 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:13:05] 985*2^1415707-1 is not prime. Res64: 6EFB2D6A67F4A871 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:18:43] 647*2^1415708-1 is not prime. Res64: 7219E02B05052C26 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:18:43] 665*2^1415708-1 is not prime. Res64: A184CFBF857C55E3 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:18:56] 753*2^1415708-1 is not prime. Res64: 16C0A31BE6BE3548 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:18:57] 837*2^1415708-1 is not prime. Res64: CD46E740887C2867 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:31:13] 915*2^1415708-1 is not prime. Res64: E044FBD9085D6413 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:31:14] 945*2^1415708-1 is not prime. Res64: 415F8FC25135A646 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:31:22] 885*2^1415708-1 is not prime. Res64: E98969446DABD1E6 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:31:23] 893*2^1415708-1 is not prime. Res64: 797892EC19BB4034 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:36:49] 957*2^1415708-1 is not prime. Res64: 8183175F5E30BC51 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:36:49] 963*2^1415708-1 is not prime. Res64: 75B3BAE4C769AA01 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:37:08] 999*2^1415708-1 is not prime. Res64: B591EE1B94F25C06 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:37:08] 781*2^1415709-1 is not prime. Res64: 7F640D375CAC256A Time : 0.0 sec. user=mdettweiler [2015-11-22 02:49:19] 867*2^1415709-1 is not prime. Res64: F0DF7232D09A3879 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:49:20] 927*2^1415709-1 is not prime. Res64: DD82722EB9F81DE1 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:49:25] 975*2^1415709-1 is not prime. Res64: 30E0C57876F23452 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:49:26] 603*2^1415710-1 is not prime. Res64: F6C8459A366B56AC Time : 0.0 sec. user=mdettweiler [2015-11-22 02:54:59] 645*2^1415710-1 is not prime. Res64: B98056447A611B10 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:54:59] 765*2^1415710-1 is not prime. Res64: 39C55F05FF01A1E3 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:55:08] 821*2^1415710-1 is not prime. Res64: 989AA37E66150B46 Time : 0.0 sec. user=mdettweiler [2015-11-22 02:55:08] 843*2^1415710-1 is not prime. Res64: 9E2077529F8BE09C Time : 0.0 sec. user=mdettweiler [2015-11-22 03:07:22] 861*2^1415710-1 is not prime. Res64: EB211EA7B476B976 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:07:22] 941*2^1415710-1 is not prime. Res64: DEE39C98228F739F Time : 0.0 sec. user=mdettweiler [2015-11-22 03:07:28] 609*2^1415711-1 is not prime. Res64: B938F84FE61DAF1E Time : 0.0 sec. user=mdettweiler [2015-11-22 03:07:29] 669*2^1415711-1 is not prime. Res64: 5C0F894F8AF527EE Time : 0.0 sec. user=mdettweiler [2015-11-22 03:13:10] 735*2^1415711-1 is not prime. Res64: 5F0D3EB1B6869EBD Time : 0.0 sec. user=mdettweiler [2015-11-22 03:13:11] 753*2^1415711-1 is not prime. Res64: CE55936E5DA72C78 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:13:43] 789*2^1415711-1 is not prime. Res64: D60B8DC4A926AD2F Time : 0.0 sec. user=mdettweiler [2015-11-22 03:13:44] 841*2^1415711-1 is not prime. Res64: B0AA5D6C51F39D66 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:26:06] 855*2^1415711-1 is not prime. Res64: A3E1D69F9073957B Time : 0.0 sec. user=mdettweiler [2015-11-22 03:26:07] 889*2^1415711-1 is not prime. Res64: 826069FE6B51BE1D Time : 0.0 sec. user=mdettweiler [2015-11-22 03:26:42] 909*2^1415711-1 is not prime. Res64: E6C454751E451958 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:26:43] 979*2^1415711-1 is not prime. Res64: 0DD931238A6CDF2E Time : 0.0 sec. user=mdettweiler [2015-11-22 03:31:47] 669*2^1415712-1 is not prime. Res64: E94C640EBB1E9738 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:31:48] 759*2^1415712-1 is not prime. Res64: 4A06CC97B45A27B1 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:32:55] 751*2^1415713-1 is not prime. Res64: 50FFD5605299F79A Time : 0.0 sec. user=mdettweiler [2015-11-22 03:32:55] 889*2^1415713-1 is not prime. Res64: 0D33D470FBBF0194 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:44:29] 665*2^1415714-1 is not prime. Res64: 0DE10925356854A2 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:44:31] 773*2^1415714-1 is not prime. Res64: 374808CA960D9C57 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:44:59] 813*2^1415714-1 is not prime. Res64: 854C4C27B492CBEB Time : 0.0 sec. user=mdettweiler [2015-11-22 03:45:01] 827*2^1415714-1 is not prime. Res64: 765C9EFF47868703 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:50:00] 851*2^1415714-1 is not prime. Res64: 5CDEB870003777E0 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:50:01] 861*2^1415714-1 is not prime. Res64: 41E43BC55096029C Time : 0.0 sec. user=mdettweiler [2015-11-22 03:51:07] 1001*2^1415714-1 is not prime. Res64: B1F0210D57913AD5 Time : 0.0 sec. user=mdettweiler [2015-11-22 03:51:08] 699*2^1415715-1 is not prime. Res64: EC01859C1A0BF2C4 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:02:56] 765*2^1415715-1 is not prime. Res64: 8FAE362BC93540CA Time : 0.0 sec. user=mdettweiler [2015-11-22 04:02:57] 801*2^1415715-1 is not prime. Res64: 3E1E44BA9289A3AB Time : 0.0 sec. user=mdettweiler [2015-11-22 04:03:05] 805*2^1415715-1 is not prime. Res64: 1E8E5B36E2682BA5 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:03:05] 873*2^1415715-1 is not prime. Res64: F41EFD0606B5A7AE Time : 0.0 sec. user=mdettweiler [2015-11-22 04:08:28] 943*2^1415715-1 is not prime. Res64: 8C5A21578618598B Time : 0.0 sec. user=mdettweiler [2015-11-22 04:08:29] 949*2^1415715-1 is not prime. Res64: 1B14B9EDDAD34193 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:09:43] 955*2^1415715-1 is not prime. Res64: 2D7467AED2D54AF8 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:09:43] 969*2^1415715-1 is not prime. Res64: 32948CBC53B4A385 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:21:49] 629*2^1415716-1 is not prime. Res64: 4D8F4DFAA4A446DC Time : 0.0 sec. user=mdettweiler [2015-11-22 04:21:50] 663*2^1415716-1 is not prime. Res64: EECE42D6359BA14B Time : 0.0 sec. user=mdettweiler [2015-11-22 04:22:00] 749*2^1415716-1 is not prime. Res64: 1C6CA6911EBCA57D Time : 0.0 sec. user=mdettweiler [2015-11-22 04:22:01] 779*2^1415716-1 is not prime. Res64: 68FE7F4F4C08CA0B Time : 0.0 sec. user=mdettweiler [2015-11-22 04:27:56] 813*2^1415716-1 is not prime. Res64: 94A8BA682546EF0F Time : 0.0 sec. user=mdettweiler [2015-11-22 04:27:56] 903*2^1415716-1 is not prime. Res64: 65ED78E64D946E45 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:28:45] 905*2^1415716-1 is not prime. Res64: 11D8AC6F53EEB49F Time : 0.0 sec. user=mdettweiler [2015-11-22 04:28:45] 933*2^1415716-1 is not prime. Res64: FE0A20A25FA1BF23 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:40:34] 999*2^1415716-1 is not prime. Res64: 43CEA0351599D295 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:40:34] 631*2^1415717-1 is not prime. Res64: B58FD4CF46FDFDCF Time : 0.0 sec. user=mdettweiler [2015-11-22 04:40:43] 691*2^1415717-1 is not prime. Res64: D303854444B66148 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:40:43] 735*2^1415717-1 is not prime. Res64: 579AE6D113390084 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:46:35] 801*2^1415717-1 is not prime. Res64: DF970BC96922389E Time : 0.0 sec. user=mdettweiler [2015-11-22 04:46:35] 865*2^1415717-1 is not prime. Res64: 6C50B9F23E9CDFA6 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:47:24] 981*2^1415717-1 is not prime. Res64: 0FF3591322103075 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:47:24] 615*2^1415718-1 is not prime. Res64: 2CBFBCAEC65A253C Time : 0.0 sec. user=mdettweiler [2015-11-22 04:58:57] 635*2^1415718-1 is not prime. Res64: 3200E07F26E6A507 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:58:58] 705*2^1415718-1 is not prime. Res64: 0CF6750BD2B98E84 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:59:03] 773*2^1415718-1 is not prime. Res64: 1FDE7A71EECE95F3 Time : 0.0 sec. user=mdettweiler [2015-11-22 04:59:03] 791*2^1415718-1 is not prime. Res64: 9F0FFCED4B1F0ACD Time : 0.0 sec. user=mdettweiler [2015-11-22 05:04:53] 797*2^1415718-1 is not prime. Res64: EEE6819F477DBF81 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:04:53] 885*2^1415718-1 is not prime. Res64: AA367C94936A9FD9 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:05:41] 993*2^1415718-1 is not prime. Res64: 196193E45782066E Time : 0.0 sec. user=mdettweiler [2015-11-22 05:05:43] 633*2^1415719-1 is not prime. Res64: 62FA9271F8B02C41 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:17:04] 645*2^1415719-1 is not prime. Res64: 0CE961DC11AD8880 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:17:04] 661*2^1415719-1 is not prime. Res64: D9C3122DDD0D6D66 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:17:12] 735*2^1415719-1 is not prime. Res64: 4D5462EAC9687179 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:17:12] 765*2^1415719-1 is not prime. Res64: 4FA7B37982F0D76D Time : 0.0 sec. user=mdettweiler [2015-11-22 05:23:10] 829*2^1415719-1 is not prime. Res64: D476DB316116DF9E Time : 0.0 sec. user=mdettweiler [2015-11-22 05:23:11] 843*2^1415719-1 is not prime. Res64: 2770CD6A432556BF Time : 0.0 sec. user=mdettweiler [2015-11-22 05:23:46] 919*2^1415719-1 is not prime. Res64: CA531AFDB693C805 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:23:46] 747*2^1415720-1 is not prime. Res64: 397AA10F6ADA4462 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:35:12] 759*2^1415720-1 is not prime. Res64: 939AF603E39F652D Time : 0.0 sec. user=mdettweiler [2015-11-22 05:35:12] 833*2^1415720-1 is not prime. Res64: 475CB63919F4861A Time : 0.0 sec. user=mdettweiler [2015-11-22 05:35:13] 963*2^1415720-1 is not prime. Res64: 8A370B2F2B8ED79E Time : 0.0 sec. user=mdettweiler [2015-11-22 05:35:13] 977*2^1415720-1 is not prime. Res64: 79C355C71A1DA158 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:41:26] 711*2^1415721-1 is not prime. Res64: E4622F6BE0F6A6D9 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:41:26] 805*2^1415721-1 is not prime. Res64: 17839CA7C5574706 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:42:10] 817*2^1415721-1 is not prime. Res64: EA0745CA70F9EE6F Time : 0.0 sec. user=mdettweiler [2015-11-22 05:42:10] 835*2^1415721-1 is not prime. Res64: CCC0BF95A8C4C135 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:53:28] 653*2^1415722-1 is not prime. Res64: 83C7DB84EB3D6F9D Time : 0.0 sec. user=mdettweiler [2015-11-22 05:53:28] 657*2^1415722-1 is not prime. Res64: 0B922A7227F3193B Time : 0.0 sec. user=mdettweiler [2015-11-22 05:53:34] 865*2^1415721-1 is not prime. Res64: 3E24587DDDED457C Time : 0.0 sec. user=mdettweiler [2015-11-22 05:53:34] 969*2^1415721-1 is not prime. Res64: B05CB6D8C5B1298E Time : 0.0 sec. user=mdettweiler [2015-11-22 05:59:27] 701*2^1415722-1 is not prime. Res64: 6F032BFAD28D9D39 Time : 0.0 sec. user=mdettweiler [2015-11-22 05:59:28] 815*2^1415722-1 is not prime. Res64: 17B9072BBFC301BA Time : 0.0 sec. user=mdettweiler [2015-11-22 06:00:12] 867*2^1415722-1 is not prime. Res64: EA1991EACB28EA67 Time : 0.0 sec. user=mdettweiler [2015-11-22 06:00:13] 915*2^1415722-1 is not prime. Res64: 19816CBE22D73459 Time : 0.0 sec. user=mdettweiler [2015-11-22 06:11:45] 923*2^1415722-1 is not prime. Res64: 05DE63FDF354670C Time : 0.0 sec. user=mdettweiler [2015-11-22 06:11:46] 603*2^1415723-1 is not prime. Res64: EE1C222492F1C23F Time : 0.0 sec. user=mdettweiler [2015-11-22 06:11:46] 957*2^1415722-1 is not prime. Res64: 1EF7C75C443930F6 Time : 0.0 sec. user=mdettweiler [2015-11-22 06:11:46] 615*2^1415723-1 is not prime. Res64: 0A2FC23AF7B635DA Time : 0.0 sec. user=mdettweiler [2015-11-22 06:17:36] 619*2^1415723-1 is not prime. Res64: C31312606CBF985D Time : 0.0 sec. user=mdettweiler [2015-11-22 06:17:37] 669*2^1415723-1 is not prime. Res64: 7589B2AA15B9C3DC Time : 0.0 sec. user=mdettweiler [2015-11-22 06:18:26] 735*2^1415723-1 is not prime. Res64: E31434534FD2802A Time : 0.0 sec. user=mdettweiler [2015-11-22 06:18:26] 813*2^1415723-1 is not prime. Res64: F366FA18287E405E Time : 0.0 sec. user=mdettweiler [2015-11-22 06:29:53] 825*2^1415723-1 is not prime. Res64: 1F28E7B7F96A326B Time : 0.0 sec. user=mdettweiler [2015-11-22 06:29:53] 901*2^1415723-1 is not prime. Res64: 01E568A85249F6CF Time : 0.0 sec. user=mdettweiler [2015-11-22 06:29:55] 969*2^1415723-1 is not prime. Res64: 16D53B33D6CB2A68 Time : 0.0 sec. user=mdettweiler [2015-11-22 06:29:55] 623*2^1415724-1 is not prime. Res64: 1F8D404F6CEFE859 Time : 0.0 sec. user=mdettweiler [2015-11-22 06:35:51] 705*2^1415724-1 is not prime. Res64: 6EAA5E34BF81A938 Time : 0.0 sec. user=mdettweiler [2015-11-22 06:35:51] 753*2^1415724-1 is not prime. Res64: 7A419AA2EBF54809 Time : 0.0 sec. user=mdettweiler [2015-11-22 06:36:45] 837*2^1415724-1 is not prime. Res64: 028AC0DEE209EA09 Time : 0.0 sec. user=mdettweiler [2015-11-22 06:36:46] 843*2^1415724-1 is not prime. Res64: 2AE4A2EFCCA35DE3 Time : 0.0 sec. user=mdettweiler [2015-11-22 06:47:59] 975*2^1415724-1 is not prime. Res64: D23640D1A36AB19E Time : 0.0 sec. user=mdettweiler [2015-11-22 06:47:59] 675*2^1415725-1 is not prime. Res64: B36C0CCC63681C5F Time : 0.0 sec. user=mdettweiler [2015-11-22 06:48:13] 909*2^1415724-1 is not prime. Res64: E4E022AEC047AD75 Time : 0.0 sec. user=mdettweiler [2015-11-22 06:48:13] 915*2^1415724-1 is not prime. Res64: 9A0FB40CF43378FC Time : 0.0 sec. user=mdettweiler [2015-11-22 06:54:06] 811*2^1415725-1 is not prime. Res64: 05516F7152E8573D Time : 0.0 sec. user=mdettweiler [2015-11-22 06:54:06] 847*2^1415725-1 is not prime. Res64: 6DD147755078B9AC Time : 0.0 sec. user=mdettweiler [2015-11-22 06:55:03] 987*2^1415725-1 is not prime. Res64: 1CCE9D60DE654B3B Time : 0.0 sec. user=mdettweiler [2015-11-22 06:55:03] 651*2^1415726-1 is not prime. Res64: B71ED9702F1AA2B7 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:06:09] 671*2^1415726-1 is not prime. Res64: AA4EC36296A6E170 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:06:09] 677*2^1415726-1 is not prime. Res64: 0E0607E2EB68D28F Time : 0.0 sec. user=mdettweiler [2015-11-22 07:06:32] 711*2^1415726-1 is not prime. Res64: 912C664389589493 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:06:33] 713*2^1415726-1 is not prime. Res64: 22D2C710AECA13B4 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:12:17] 717*2^1415726-1 is not prime. Res64: 88337C223A2158C5 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:12:18] 773*2^1415726-1 is not prime. Res64: 064F70D0239BDDF2 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:13:22] 825*2^1415726-1 is not prime. Res64: 10BA71544FBE82D6 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:13:23] 833*2^1415726-1 is not prime. Res64: 4C6C9C942D919EC3 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:24:25] 935*2^1415726-1 is not prime. Res64: 59870A013C662D09 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:24:26] 769*2^1415727-1 is not prime. Res64: 93A9F5E4D4C3B42F Time : 0.0 sec. user=mdettweiler [2015-11-22 07:24:46] 829*2^1415727-1 is not prime. Res64: 822FE73A94D681F4 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:24:47] 859*2^1415727-1 is not prime. Res64: 6DE943797167224B Time : 0.0 sec. user=mdettweiler [2015-11-22 07:30:27] 871*2^1415727-1 is not prime. Res64: BC443A66700CAE13 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:30:28] 963*2^1415727-1 is not prime. Res64: 477B10CDCE5F9EB9 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:31:30] 979*2^1415727-1 is not prime. Res64: 9C172499EF3D39A1 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:31:31] 695*2^1415728-1 is not prime. Res64: 36C9B5F167FE4A1A Time : 0.0 sec. user=mdettweiler [2015-11-22 07:42:35] 747*2^1415728-1 is not prime. Res64: 0DA17AB613721867 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:42:36] 765*2^1415728-1 is not prime. Res64: BAFE3C0327ECAE92 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:42:47] 819*2^1415728-1 is not prime. Res64: AF9F5D3E2E9CAA7F Time : 0.0 sec. user=mdettweiler [2015-11-22 07:42:48] 909*2^1415728-1 is not prime. Res64: 71DEB20E8BDFD3F3 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:48:35] 927*2^1415728-1 is not prime. Res64: 09BA29AD0E18B7A6 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:48:36] 957*2^1415728-1 is not prime. Res64: 680D99B80BDE86D0 Time : 0.0 sec. user=mdettweiler [2015-11-22 07:49:43] 969*2^1415728-1 is not prime. Res64: 6672743E467E6D2E Time : 0.0 sec. user=mdettweiler [2015-11-22 07:49:43] 615*2^1415729-1 is not prime. Res64: 0EFD54D3C19798F4 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:00:54] 619*2^1415729-1 is not prime. Res64: 8D2E677535C13A2C Time : 0.0 sec. user=mdettweiler [2015-11-22 08:00:54] 711*2^1415729-1 is not prime. Res64: D01E536BDAE156EE Time : 0.0 sec. user=mdettweiler [2015-11-22 08:01:02] 781*2^1415729-1 is not prime. Res64: ACB4D60ED59C4ECC Time : 0.0 sec. user=mdettweiler [2015-11-22 08:01:03] 801*2^1415729-1 is not prime. Res64: 2F80660A266A8234 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:06:53] 837*2^1415729-1 is not prime. Res64: 8C8F11B136D8E0AA Time : 0.0 sec. user=mdettweiler [2015-11-22 08:06:54] 861*2^1415729-1 is not prime. Res64: 774B2BB515818CDA Time : 0.0 sec. user=mdettweiler [2015-11-22 08:08:00] 897*2^1415729-1 is not prime. Res64: BD66E17C257C2C1D Time : 0.0 sec. user=mdettweiler [2015-11-22 08:08:00] 861*2^1415730-1 is not prime. Res64: D01A5379968391A7 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:19:00] 887*2^1415730-1 is not prime. Res64: 5DA9F70CC4AB477F Time : 0.0 sec. user=mdettweiler [2015-11-22 08:19:01] 923*2^1415730-1 is not prime. Res64: 298DCAD7892EC5C0 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:19:19] 615*2^1415731-1 is not prime. Res64: 9E7C59DF4017E8CF Time : 0.0 sec. user=mdettweiler [2015-11-22 08:19:20] 673*2^1415731-1 is not prime. Res64: 277A9260640CE666 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:25:21] 681*2^1415731-1 is not prime. Res64: 2D4495EB01EEF8FD Time : 0.0 sec. user=mdettweiler [2015-11-22 08:25:21] 871*2^1415731-1 is not prime. Res64: 60D55B64CA96C8A0 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:26:14] 889*2^1415731-1 is not prime. Res64: 47AA2EE612F3C79C Time : 0.0 sec. user=mdettweiler [2015-11-22 08:26:14] 961*2^1415731-1 is not prime. Res64: 823CCF9D64857644 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:37:06] 609*2^1415732-1 is not prime. Res64: 4820C8BF60A00BD6 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:37:07] 665*2^1415732-1 is not prime. Res64: 54F75E8701758188 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:37:38] 677*2^1415732-1 is not prime. Res64: 89FA62C647FCB31D Time : 0.0 sec. user=mdettweiler [2015-11-22 08:37:38] 813*2^1415732-1 is not prime. Res64: 893366D8FF2C14F9 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:43:30] 843*2^1415732-1 is not prime. Res64: 923331F39EF91AB0 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:43:30] 627*2^1415733-1 is not prime. Res64: 5241EAB3017ED88C Time : 0.0 sec. user=mdettweiler [2015-11-22 08:44:19] 727*2^1415733-1 is not prime. Res64: 32694C9245F5641B Time : 0.0 sec. user=mdettweiler [2015-11-22 08:44:20] 781*2^1415733-1 is not prime. Res64: F034735C7F9EACA7 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:55:23] 837*2^1415733-1 is not prime. Res64: 4142098AEFA00735 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:55:23] 861*2^1415733-1 is not prime. Res64: 5CE7ADC9ABC154D6 Time : 0.0 sec. user=mdettweiler [2015-11-22 08:55:45] 915*2^1415733-1 is not prime. Res64: EFF85BF74D1CE20E Time : 0.0 sec. user=mdettweiler [2015-11-22 08:55:45] 623*2^1415734-1 is not prime. Res64: 252E6B5F5BD2A72E Time : 0.0 sec. user=mdettweiler [2015-11-22 09:01:44] 663*2^1415734-1 is not prime. Res64: B66E93588593259B Time : 0.0 sec. user=mdettweiler [2015-11-22 09:01:45] 731*2^1415734-1 is not prime. Res64: CF9D27ADFA19356A Time : 0.0 sec. user=mdettweiler [2015-11-22 09:02:40] 737*2^1415734-1 is not prime. Res64: 0C45B13D115F12A3 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:02:41] 827*2^1415734-1 is not prime. Res64: 19500FD94080E7C6 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:13:38] 987*2^1415734-1 is not prime. Res64: 89DB6530B9336DA2 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:13:39] 649*2^1415735-1 is not prime. Res64: AEB2BD5038779428 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:13:42] 831*2^1415734-1 is not prime. Res64: 589C376D9E2B4FC4 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:13:43] 957*2^1415734-1 is not prime. Res64: 43019E5EE890E9CE Time : 0.0 sec. user=mdettweiler [2015-11-22 09:19:57] 715*2^1415735-1 is not prime. Res64: EF4B6282A129F7E9 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:19:57] 783*2^1415735-1 is not prime. Res64: 240657002CDAF9EF Time : 0.0 sec. user=mdettweiler [2015-11-22 09:20:53] 623*2^1415736-1 is not prime. Res64: BCFB3539ACA6A49E Time : 0.0 sec. user=mdettweiler [2015-11-22 09:20:54] 683*2^1415736-1 is not prime. Res64: 7E6725E8E7D0AE0C Time : 0.0 sec. user=mdettweiler [2015-11-22 09:31:43] 699*2^1415736-1 is not prime. Res64: 24A0BF72E13920F4 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:31:43] 777*2^1415736-1 is not prime. Res64: ECFC2DF2DAE3D4A1 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:31:58] 789*2^1415736-1 is not prime. Res64: A854A767E5EEC7ED Time : 0.0 sec. user=mdettweiler [2015-11-22 09:31:58] 903*2^1415736-1 is not prime. Res64: 42AEC51D91D54557 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:38:04] 607*2^1415737-1 is not prime. Res64: 7764601C5845C6F4 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:38:04] 741*2^1415737-1 is not prime. Res64: C6F34CDDE05EE9AB Time : 0.0 sec. user=mdettweiler [2015-11-22 09:38:59] 817*2^1415737-1 is not prime. Res64: BFFB19D0B75E2EAE Time : 0.0 sec. user=mdettweiler [2015-11-22 09:38:59] 939*2^1415737-1 is not prime. Res64: B4B435D7AF35AA13 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:49:51] 997*2^1415737-1 is not prime. Res64: 8157E877FBAE65A8 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:49:51] 767*2^1415738-1 is not prime. Res64: CCE3A2CD7EF59F1B Time : 0.0 sec. user=mdettweiler [2015-11-22 09:50:10] 857*2^1415738-1 is not prime. Res64: A3AC2714391CC403 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:50:11] 935*2^1415738-1 is not prime. Res64: A3AFD7D7F09E9ADA Time : 0.0 sec. user=mdettweiler [2015-11-22 09:56:10] 769*2^1415739-1 is not prime. Res64: ED0163AE1349D1FC Time : 0.0 sec. user=mdettweiler [2015-11-22 09:56:10] 879*2^1415739-1 is not prime. Res64: 8AF8A6BBDBE415A3 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:57:06] 921*2^1415739-1 is not prime. Res64: 8436A7E35257F7C1 Time : 0.0 sec. user=mdettweiler [2015-11-22 09:57:06] 961*2^1415739-1 is not prime. Res64: 1FCC932646391781 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:08:03] 985*2^1415739-1 is not prime. Res64: 89C7F66F65A79778 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:08:04] 677*2^1415740-1 is not prime. Res64: BC199CB1CBB357CB Time : 0.0 sec. user=mdettweiler [2015-11-22 10:08:15] 695*2^1415740-1 is not prime. Res64: D01B2182C4749D57 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:08:16] 735*2^1415740-1 is not prime. Res64: CA7F7E7C91BC7A06 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:14:19] 873*2^1415740-1 is not prime. Res64: BA7EB9483B5C1F32 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:14:19] 885*2^1415740-1 is not prime. Res64: 3DDAFC17394B307C Time : 0.0 sec. user=mdettweiler [2015-11-22 10:15:16] 905*2^1415740-1 is not prime. Res64: 29628F96FCA5F6C7 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:15:17] 983*2^1415740-1 is not prime. Res64: ADE9D8BFA04E7786 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:26:11] 669*2^1415741-1 is not prime. Res64: 0E4D10D42F9094C1 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:26:11] 679*2^1415741-1 is not prime. Res64: 510E10676F31E784 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:26:21] 745*2^1415741-1 is not prime. Res64: C2EFCCFD23D5B46F Time : 0.0 sec. user=mdettweiler [2015-11-22 10:26:21] 757*2^1415741-1 is not prime. Res64: D1BC35CAA4C0784F Time : 0.0 sec. user=mdettweiler [2015-11-22 10:32:30] 825*2^1415741-1 is not prime. Res64: 2E0FC4B211F2D772 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:32:31] 907*2^1415741-1 is not prime. Res64: 786B493F1B2986B8 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:33:24] 937*2^1415741-1 is not prime. Res64: 735511146E179C02 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:33:25] 711*2^1415742-1 is not prime. Res64: 1DCC0FC208091B08 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:44:24] 747*2^1415742-1 is not prime. Res64: 433F4CDCAB6F5C58 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:44:24] 755*2^1415742-1 is not prime. Res64: 562007150CAF8CC8 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:44:37] 863*2^1415742-1 is not prime. Res64: 999E42CEAE7ADA5A Time : 0.0 sec. user=mdettweiler [2015-11-22 10:44:37] 609*2^1415743-1 is not prime. Res64: D53EC9B24042953A Time : 0.0 sec. user=mdettweiler [2015-11-22 10:50:46] 633*2^1415743-1 is not prime. Res64: 2778AF9F4EB8EF72 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:50:47] 673*2^1415743-1 is not prime. Res64: C2B0E5648F2BBC74 Time : 0.0 sec. user=mdettweiler [2015-11-22 10:51:35] 735*2^1415743-1 is not prime. Res64: C1FED1FD2EBF4BFE Time : 0.0 sec. user=mdettweiler [2015-11-22 10:51:36] 783*2^1415743-1 is not prime. Res64: BF9A845152A1B777 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:02:43] 901*2^1415743-1 is not prime. Res64: FDFBCBBD0BF9075A Time : 0.0 sec. user=mdettweiler [2015-11-22 11:02:44] 913*2^1415743-1 is not prime. Res64: 790C9DE7BC78F127 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:02:48] 915*2^1415743-1 is not prime. Res64: A35D2F3A08E638B9 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:02:49] 961*2^1415743-1 is not prime. Res64: D81A99A40979E6BB Time : 0.0 sec. user=mdettweiler [2015-11-22 11:08:57] 605*2^1415744-1 is not prime. Res64: A1386636415CAAE4 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:08:58] 675*2^1415744-1 is not prime. Res64: D043D55EA1008726 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:09:50] 803*2^1415744-1 is not prime. Res64: 4B09109E88D92089 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:09:51] 855*2^1415744-1 is not prime. Res64: 3769A02E85CAE3CD Time : 0.0 sec. user=mdettweiler [2015-11-22 11:21:08] 765*2^1415745-1 is not prime. Res64: 01CC26ACBBBE5D6E Time : 0.0 sec. user=mdettweiler [2015-11-22 11:21:08] 831*2^1415745-1 is not prime. Res64: F8E70242F2005905 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:21:15] 927*2^1415744-1 is not prime. Res64: A035FAA7250B7DA5 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:21:15] 601*2^1415745-1 is not prime. Res64: 24D2D2C68879948C Time : 0.0 sec. user=mdettweiler [2015-11-22 11:27:04] 889*2^1415745-1 is not prime. Res64: 29097140A3D853BE Time : 0.0 sec. user=mdettweiler [2015-11-22 11:27:05] 975*2^1415745-1 is not prime. Res64: ACB9D7BC18D7FAC1 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:28:01] 999*2^1415745-1 is not prime. Res64: 67A3322F7BE2BCF7 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:28:02] 623*2^1415746-1 is not prime. Res64: 4A1CFC98BD5881C5 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:39:20] 663*2^1415746-1 is not prime. Res64: FE4ED8D9EF5F3855 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:39:20] 717*2^1415746-1 is not prime. Res64: 62885D7B899A5DFC Time : 0.0 sec. user=mdettweiler [2015-11-22 11:39:28] 813*2^1415746-1 is not prime. Res64: B6E7577E4BE42782 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:39:28] 821*2^1415746-1 is not prime. Res64: 80122EE27F2570B5 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:45:22] 911*2^1415746-1 is not prime. Res64: 4B5C78A16FCD4418 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:45:22] 983*2^1415746-1 is not prime. Res64: E2AC62CB3D54E094 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:46:10] 987*2^1415746-1 is not prime. Res64: 18991CE7568940BB Time : 0.0 sec. user=mdettweiler [2015-11-22 11:46:10] 655*2^1415747-1 is not prime. Res64: 1F3EBC67E4CBF067 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:57:29] 663*2^1415747-1 is not prime. Res64: 6D6E38CCB76BFD82 Time : 0.0 sec. user=mdettweiler [2015-11-22 11:57:29] 829*2^1415747-1 is not prime. Res64: F88C98C90F8F6E5B Time : 0.0 sec. user=mdettweiler [2015-11-22 11:57:35] 889*2^1415747-1 is not prime. Res64: CD5314EBB32EAD4D Time : 0.0 sec. user=mdettweiler [2015-11-22 11:57:35] 895*2^1415747-1 is not prime. Res64: F7AF44D727536144 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:03:28] 909*2^1415747-1 is not prime. Res64: D9C9B24F671C316E Time : 0.0 sec. user=mdettweiler [2015-11-22 12:03:29] 913*2^1415747-1 is not prime. Res64: 6FE49F77248EF41A Time : 0.0 sec. user=mdettweiler [2015-11-22 12:04:15] 689*2^1415748-1 is not prime. Res64: F8B686912708C29E Time : 0.0 sec. user=mdettweiler [2015-11-22 12:04:16] 825*2^1415748-1 is not prime. Res64: CA69641B48A59E38 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:15:39] 615*2^1415749-1 is not prime. Res64: BC98E7A7B1271804 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:15:39] 691*2^1415749-1 is not prime. Res64: C45D08AE24AA9EAE Time : 0.0 sec. user=mdettweiler [2015-11-22 12:15:47] 875*2^1415748-1 is not prime. Res64: 525521B8587164CF Time : 0.0 sec. user=mdettweiler [2015-11-22 12:15:48] 879*2^1415748-1 is not prime. Res64: 4B7F9816BC1D300B Time : 0.0 sec. user=mdettweiler [2015-11-22 12:21:58] 771*2^1415749-1 is not prime. Res64: 1862F9735D16E871 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:21:59] 799*2^1415749-1 is not prime. Res64: C0432A3B121C9149 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:22:26] 985*2^1415749-1 is not prime. Res64: 7575021FAE0E399D Time : 0.0 sec. user=mdettweiler [2015-11-22 12:22:26] 987*2^1415749-1 is not prime. Res64: DA99DFDC7EB99039 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:33:49] 797*2^1415750-1 is not prime. Res64: 346D410EC524E787 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:33:49] 813*2^1415750-1 is not prime. Res64: CD187D79BC7949E1 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:34:01] 825*2^1415750-1 is not prime. Res64: 5AC826E581B98797 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:34:02] 831*2^1415750-1 is not prime. Res64: 93C78D13F6F4A081 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:39:59] 867*2^1415750-1 is not prime. Res64: E666D5F39F1C3F51 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:39:59] 945*2^1415750-1 is not prime. Res64: C344350B7D9495F7 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:40:38] 685*2^1415751-1 is not prime. Res64: F22482EAE93BA14D Time : 0.0 sec. user=mdettweiler [2015-11-22 12:40:38] 705*2^1415751-1 is not prime. Res64: 6C9EDBC0DA95761A Time : 0.0 sec. user=mdettweiler [2015-11-22 12:52:07] 805*2^1415751-1 is not prime. Res64: F900B636E30E20C9 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:52:07] 609*2^1415752-1 is not prime. Res64: 95D0F7D5F36D16CC Time : 0.0 sec. user=mdettweiler [2015-11-22 12:52:31] 723*2^1415752-1 is not prime. Res64: D7B9C457574369A5 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:52:31] 933*2^1415752-1 is not prime. Res64: 437365E7E4234728 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:58:05] 939*2^1415752-1 is not prime. Res64: A1FBBAB42A4396F5 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:58:06] 789*2^1415753-1 is not prime. Res64: 2F0E200D660C2DF0 Time : 0.0 sec. user=mdettweiler [2015-11-22 12:58:55] 795*2^1415753-1 is not prime. Res64: B8903506FDD5087A Time : 0.0 sec. user=mdettweiler [2015-11-22 12:58:56] 957*2^1415753-1 is not prime. Res64: C081673F7CED60B4 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:10:16] 635*2^1415754-1 is not prime. Res64: 5E09E0D6F4AD9A36 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:10:17] 747*2^1415754-1 is not prime. Res64: C43B0018923ABBE9 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:10:43] 975*2^1415754-1 is not prime. Res64: CA1BE5266444544D Time : 0.0 sec. user=mdettweiler [2015-11-22 13:10:44] 983*2^1415754-1 is not prime. Res64: D42C6319BEEC5F85 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:16:11] 1001*2^1415754-1 is not prime. Res64: 0D94D65232BBD32B Time : 0.0 sec. user=mdettweiler [2015-11-22 13:16:12] 649*2^1415755-1 is not prime. Res64: A5CBB6A0F8D0991D Time : 0.0 sec. user=mdettweiler [2015-11-22 13:17:08] 723*2^1415755-1 is not prime. Res64: AB0227F920DF29ED Time : 0.0 sec. user=mdettweiler [2015-11-22 13:17:08] 853*2^1415755-1 is not prime. Res64: B55143DE3CF66D02 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:28:29] 895*2^1415755-1 is not prime. Res64: 3AE346E7D4719558 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:28:30] 973*2^1415755-1 is not prime. Res64: 5D96D54806ABB601 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:28:41] 999*2^1415755-1 is not prime. Res64: DE0A4AAEC1DB2CF1 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:28:42] 773*2^1415756-1 is not prime. Res64: 371CEDE4DEC66290 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:34:30] 833*2^1415756-1 is not prime. Res64: 05A1D4D8BB4F8DF2 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:34:31] 843*2^1415756-1 is not prime. Res64: DDC519EA87AE03F6 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:35:22] 609*2^1415757-1 is not prime. Res64: 72ED1E09351199FF Time : 0.0 sec. user=mdettweiler [2015-11-22 13:35:22] 667*2^1415757-1 is not prime. Res64: 678944207D77253A Time : 0.0 sec. user=mdettweiler [2015-11-22 13:46:43] 711*2^1415757-1 is not prime. Res64: 84DBA2DDBE6FE915 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:46:43] 717*2^1415757-1 is not prime. Res64: F0958A2596BA675D Time : 0.0 sec. user=mdettweiler [2015-11-22 13:46:47] 617*2^1415758-1 is not prime. Res64: E288D691548BFCBC Time : 0.0 sec. user=mdettweiler [2015-11-22 13:46:48] 621*2^1415758-1 is not prime. Res64: 9632473C380CBC73 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:52:41] 743*2^1415758-1 is not prime. Res64: 44D83F3F4860CCCC Time : 0.0 sec. user=mdettweiler [2015-11-22 13:52:42] 765*2^1415758-1 is not prime. Res64: ABCA1483DCA2858D Time : 0.0 sec. user=mdettweiler [2015-11-22 13:53:30] 845*2^1415758-1 is not prime. Res64: 6A82225D48E3BFB6 Time : 0.0 sec. user=mdettweiler [2015-11-22 13:53:30] 885*2^1415758-1 is not prime. Res64: 046CA55C55896042 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:04:56] 655*2^1415759-1 is not prime. Res64: 8EE0332689893E12 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:04:57] 771*2^1415759-1 is not prime. Res64: 381ADC2468B12808 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:05:01] 897*2^1415758-1 is not prime. Res64: 51EF2D57BB506726 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:05:02] 945*2^1415758-1 is not prime. Res64: 607B3A36379D432D Time : 0.0 sec. user=mdettweiler [2015-11-22 14:10:55] 633*2^1415760-1 is not prime. Res64: 50D6FFC539D60507 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:10:55] 653*2^1415760-1 is not prime. Res64: 5B873AAE3D4EB176 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:11:47] 773*2^1415760-1 is not prime. Res64: 0631A91021F96A64 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:11:47] 779*2^1415760-1 is not prime. Res64: BF8B5E04738E52D5 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:23:11] 797*2^1415760-1 is not prime. Res64: DD3947EACF8FD666 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:23:11] 887*2^1415760-1 is not prime. Res64: 263BE89E7BCD6649 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:23:27] 899*2^1415760-1 is not prime. Res64: CAD3F1AD65139905 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:23:27] 927*2^1415760-1 is not prime. Res64: 37326149CC506F51 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:29:17] 975*2^1415760-1 is not prime. Res64: DB9BFA07CBC7E92F Time : 0.0 sec. user=mdettweiler [2015-11-22 14:29:17] 625*2^1415761-1 is not prime. Res64: A7993C190FBF46A6 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:29:54] 751*2^1415761-1 is not prime. Res64: B356324E5232A57C Time : 0.0 sec. user=mdettweiler [2015-11-22 14:29:55] 855*2^1415761-1 is not prime. Res64: 6E922DE33CFCFCFB Time : 0.0 sec. user=mdettweiler [2015-11-22 14:41:19] 867*2^1415761-1 is not prime. Res64: 306886D4593801BE Time : 0.0 sec. user=mdettweiler [2015-11-22 14:41:19] 925*2^1415761-1 is not prime. Res64: 893EB1B784D4132E Time : 0.0 sec. user=mdettweiler [2015-11-22 14:41:32] 939*2^1415761-1 is not prime. Res64: 63471C1F8F7DB0FE Time : 0.0 sec. user=mdettweiler [2015-11-22 14:41:32] 999*2^1415761-1 is not prime. Res64: 6BD7B135E46CB258 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:47:24] 633*2^1415762-1 is not prime. Res64: 08AFEFA9306C9CE5 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:47:25] 743*2^1415762-1 is not prime. Res64: 80B8367CA36BAA3F Time : 0.0 sec. user=mdettweiler [2015-11-22 14:48:12] 857*2^1415762-1 is not prime. Res64: 0B166B95943E79FE Time : 0.0 sec. user=mdettweiler [2015-11-22 14:48:12] 963*2^1415762-1 is not prime. Res64: A0CB5AAE07E98DD3 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:59:43] 649*2^1415763-1 is not prime. Res64: CD9CE53101B2CC2B Time : 0.0 sec. user=mdettweiler [2015-11-22 14:59:44] 663*2^1415763-1 is not prime. Res64: 528E54CAC7A7A300 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:59:48] 751*2^1415763-1 is not prime. Res64: 20229DCE657618A5 Time : 0.0 sec. user=mdettweiler [2015-11-22 14:59:48] 849*2^1415763-1 is not prime. Res64: D514DE865DCC646D Time : 0.0 sec. user=mdettweiler [2015-11-22 15:05:55] 963*2^1415763-1 is not prime. Res64: FBA051F04CFFF9BC Time : 0.0 sec. user=mdettweiler [2015-11-22 15:05:57] 985*2^1415763-1 is not prime. Res64: 98BA7853DC99A226 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:06:40] 635*2^1415764-1 is not prime. Res64: 3358113B1DBA9EC6 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:06:41] 665*2^1415764-1 is not prime. Res64: 910670CD3D9F2671 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:17:58] 863*2^1415764-1 is not prime. Res64: 6DA79D67AE5363A6 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:17:59] 909*2^1415764-1 is not prime. Res64: B1D39320F35EAA87 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:18:02] 723*2^1415764-1 is not prime. Res64: 7FE48659296A9531 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:18:02] 827*2^1415764-1 is not prime. Res64: CB25DB5CCCA55C35 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:24:09] 657*2^1415765-1 is not prime. Res64: B1E2E4A564524947 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:24:10] 759*2^1415765-1 is not prime. Res64: DA52AF245CB9A84C Time : 0.0 sec. user=mdettweiler [2015-11-22 15:24:53] 859*2^1415765-1 is not prime. Res64: C5291C623D0E0B19 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:24:53] 889*2^1415765-1 is not prime. Res64: 7BCB0CD67271B12B Time : 0.0 sec. user=mdettweiler [2015-11-22 15:36:04] 611*2^1415766-1 is not prime. Res64: E8436D1072D73845 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:36:04] 627*2^1415766-1 is not prime. Res64: DDFD1D8CB2948027 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:36:13] 683*2^1415766-1 is not prime. Res64: 12F34AD01FC183E2 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:36:13] 741*2^1415766-1 is not prime. Res64: D796FDD7D9693F8D Time : 0.0 sec. user=mdettweiler [2015-11-22 15:42:18] 887*2^1415766-1 is not prime. Res64: 8BB7B2DCBB0E978C Time : 0.0 sec. user=mdettweiler [2015-11-22 15:42:19] 923*2^1415766-1 is not prime. Res64: F973DDDF8E631D87 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:43:01] 971*2^1415766-1 is not prime. Res64: 2B4786D7A9783504 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:43:02] 675*2^1415767-1 is not prime. Res64: 2E7DDEFF670142CC Time : 0.0 sec. user=mdettweiler [2015-11-22 15:54:16] 741*2^1415767-1 is not prime. Res64: FA433A602501868D Time : 0.0 sec. user=mdettweiler [2015-11-22 15:54:16] 873*2^1415767-1 is not prime. Res64: 1BDEF9CEB1A1F079 Time : 0.0 sec. user=mdettweiler [2015-11-22 15:54:24] 891*2^1415767-1 is not prime. Res64: A489ECFEC965431E Time : 0.0 sec. user=mdettweiler [2015-11-22 15:54:25] 913*2^1415767-1 is not prime. Res64: 5E3A8FCF7357433D Time : 0.0 sec. user=mdettweiler [2015-11-22 16:00:37] 931*2^1415767-1 is not prime. Res64: 7768E3F89B9AD2D4 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:00:38] 951*2^1415767-1 is not prime. Res64: DDFCAB6F53ED1231 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:01:22] 743*2^1415768-1 is not prime. Res64: 651DFB138CAA37FF Time : 0.0 sec. user=mdettweiler [2015-11-22 16:01:24] 773*2^1415768-1 is not prime. Res64: 8685498115C0B274 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:12:34] 813*2^1415768-1 is not prime. Res64: 52BB476D868BC5F8 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:12:35] 839*2^1415768-1 is not prime. Res64: F3449E540A435EC8 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:12:44] 879*2^1415768-1 is not prime. Res64: 1D797E31FF49A870 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:12:45] 935*2^1415768-1 is not prime. Res64: 4752AD5BC0674142 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:18:55] 747*2^1415769-1 is not prime. Res64: 6649F6FE28B17D4A Time : 0.0 sec. user=mdettweiler [2015-11-22 16:18:55] 769*2^1415769-1 is not prime. Res64: 81D36E81617A84B3 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:19:52] 795*2^1415769-1 is not prime. Res64: C9260866BD577E9B Time : 0.0 sec. user=mdettweiler [2015-11-22 16:19:52] 847*2^1415769-1 is not prime. Res64: 5DFD62AD04DB84C7 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:30:49] 975*2^1415769-1 is not prime. Res64: EF5BDC57A3CC1AE1 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:30:49] 603*2^1415770-1 is not prime. Res64: 58D87663921CAC9C Time : 0.0 sec. user=mdettweiler [2015-11-22 16:30:50] 647*2^1415770-1 is not prime. Res64: 26C7ADCE73BA7444 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:30:50] 845*2^1415770-1 is not prime. Res64: 5E777A10F5F096C7 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:37:06] 905*2^1415770-1 is not prime. Res64: B04716F5E55AC8EE Time : 0.0 sec. user=mdettweiler [2015-11-22 16:37:06] 917*2^1415770-1 is not prime. Res64: FEE7B048445A2D66 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:37:58] 981*2^1415770-1 is not prime. Res64: 051A17AF763EE3A3 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:37:59] 615*2^1415771-1 is not prime. Res64: EE5282C5FBB0BF78 Time : 0.0 sec. user=mdettweiler [2015-11-22 16:48:58] 711*2^1415771-1 is not prime. Res64: EBB671EA04D6897C Time : 0.0 sec. user=mdettweiler [2015-11-22 16:48:58] 753*2^1415771-1 is not prime. Res64: 700EB7B5D511F81D Time : 0.0 sec. user=mdettweiler [2015-11-22 16:49:10] 759*2^1415771-1 is not prime. Res64: F71A4B919C08E43D Time : 0.0 sec. user=mdettweiler [2015-11-22 16:49:11] 783*2^1415771-1 is not prime. Res64: D82186633F1B9EAB Time : 0.0 sec. user=mdettweiler [2015-11-22 16:55:21] 955*2^1415771-1 is not prime. Res64: B20E2B164F6855AB Time : 0.0 sec. user=mdettweiler [2015-11-22 16:55:21] 993*2^1415771-1 is not prime. Res64: A0E15379412262DC Time : 0.0 sec. user=mdettweiler [2015-11-22 16:56:12] 767*2^1415772-1 is not prime. Res64: EF230B4C403B7F8D Time : 0.0 sec. user=mdettweiler [2015-11-22 16:56:12] 803*2^1415772-1 is not prime. Res64: C37EF241C1F447EC Time : 0.0 sec. user=mdettweiler [2015-11-22 17:07:05] 619*2^1415773-1 is not prime. Res64: E96587F228019ACA Time : 0.0 sec. user=mdettweiler [2015-11-22 17:07:07] 625*2^1415773-1 is not prime. Res64: 0F2069A857523CE8 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:07:14] 651*2^1415773-1 is not prime. Res64: 15763A46EC8A2806 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:07:15] 831*2^1415773-1 is not prime. Res64: 10C48BADE9E0C271 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:13:30] 847*2^1415773-1 is not prime. Res64: 0C0C7968FB9A23DF Time : 0.0 sec. user=mdettweiler [2015-11-22 17:13:30] 885*2^1415773-1 is not prime. Res64: 899F2FAA9E828F1F Time : 0.0 sec. user=mdettweiler [2015-11-22 17:14:35] 955*2^1415773-1 is not prime. Res64: CF047153E76F1660 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:14:36] 987*2^1415773-1 is not prime. Res64: 29077DB8EDC8E1DE Time : 0.0 sec. user=mdettweiler [2015-11-22 17:25:26] 743*2^1415774-1 is not prime. Res64: 0F04A58598B1987C Time : 0.0 sec. user=mdettweiler [2015-11-22 17:25:26] 755*2^1415774-1 is not prime. Res64: 5FB1A2251FABDB08 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:25:35] 915*2^1415774-1 is not prime. Res64: BAEB3E4BA4C8730C Time : 0.0 sec. user=mdettweiler [2015-11-22 17:25:35] 971*2^1415774-1 is not prime. Res64: 823C8A483043C0CA Time : 0.0 sec. user=mdettweiler [2015-11-22 17:31:48] 685*2^1415775-1 is not prime. Res64: EFE143EF585CB851 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:31:49] 711*2^1415775-1 is not prime. Res64: F3279E6BFC36FF43 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:32:57] 781*2^1415775-1 is not prime. Res64: 023EB7F155080501 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:32:58] 819*2^1415775-1 is not prime. Res64: B0734C0127CEB8CD Time : 0.0 sec. user=mdettweiler [2015-11-22 17:43:36] 849*2^1415775-1 is not prime. Res64: 806C61F1347815C2 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:43:37] 955*2^1415775-1 is not prime. Res64: 26CACC54AECD6C5B Time : 0.0 sec. user=mdettweiler [2015-11-22 17:43:42] 973*2^1415775-1 is not prime. Res64: 1BF50E5B4796C9B1 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:43:42] 677*2^1415776-1 is not prime. Res64: E69C68FCB5E2AA1D Time : 0.0 sec. user=mdettweiler [2015-11-22 17:50:04] 717*2^1415776-1 is not prime. Res64: D2F24595EBA9E639 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:50:05] 857*2^1415776-1 is not prime. Res64: 870300F46BE6F888 Time : 0.0 sec. user=mdettweiler [2015-11-22 17:51:01] 675*2^1415777-1 is not prime. Res64: 3F4E74D6E7B4FC7C Time : 0.0 sec. user=mdettweiler [2015-11-22 17:51:02] 711*2^1415777-1 is not prime. Res64: B538640E795E1951 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:01:46] 769*2^1415777-1 is not prime. Res64: FA88C33D755135E9 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:01:47] 909*2^1415777-1 is not prime. Res64: E04576EFA31EAE6F Time : 0.0 sec. user=mdettweiler [2015-11-22 18:01:58] 671*2^1415778-1 is not prime. Res64: 2AEB89F9DB68F30C Time : 0.0 sec. user=mdettweiler [2015-11-22 18:02:00] 777*2^1415778-1 is not prime. Res64: F96D47860787B506 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:08:23] 933*2^1415778-1 is not prime. Res64: A0692660A6C47570 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:08:24] 993*2^1415778-1 is not prime. Res64: A7CDCC53D6E986F9 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:09:18] 679*2^1415779-1 is not prime. Res64: C4AC28BAAEABC483 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:09:19] 693*2^1415779-1 is not prime. Res64: 25E7CA6D54867C64 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:20:04] 939*2^1415779-1 is not prime. Res64: F7D201276BDDA688 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:20:05] 633*2^1415780-1 is not prime. Res64: 130EC446162992A4 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:20:08] 745*2^1415779-1 is not prime. Res64: A4D1296232A90243 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:20:08] 861*2^1415779-1 is not prime. Res64: D32864F20D7450AA Time : 0.0 sec. user=mdettweiler [2015-11-22 18:26:39] 675*2^1415780-1 is not prime. Res64: D2E7B2BCE31C592F Time : 0.0 sec. user=mdettweiler [2015-11-22 18:26:40] 677*2^1415780-1 is not prime. Res64: 8DF69175B641BE4F Time : 0.0 sec. user=mdettweiler [2015-11-22 18:27:39] 753*2^1415780-1 is not prime. Res64: 08C43BF04FC27D95 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:27:39] 885*2^1415780-1 is not prime. Res64: 978D94205F0E6493 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:38:11] 953*2^1415780-1 is not prime. Res64: 8781E867CE50C952 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:38:11] 609*2^1415781-1 is not prime. Res64: FE34045AEE19E5DC Time : 0.0 sec. user=mdettweiler [2015-11-22 18:38:26] 625*2^1415781-1 is not prime. Res64: EFA8CC5EE1BB2025 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:38:26] 777*2^1415781-1 is not prime. Res64: 5A38B3877826E125 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:44:45] 829*2^1415781-1 is not prime. Res64: 441E90C94D415FBC Time : 0.0 sec. user=mdettweiler [2015-11-22 18:44:46] 901*2^1415781-1 is not prime. Res64: 8E3B9FAC29F79725 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:45:51] 955*2^1415781-1 is not prime. Res64: 7E9D9741AE1FAE77 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:45:51] 665*2^1415782-1 is not prime. Res64: 864B133E7EAFBC4A Time : 0.0 sec. user=mdettweiler [2015-11-22 18:56:37] 801*2^1415782-1 is not prime. Res64: D4C38A5E1982FCB4 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:56:37] 827*2^1415782-1 is not prime. Res64: FD2392046E573136 Time : 0.0 sec. user=mdettweiler [2015-11-22 18:56:37] 885*2^1415782-1 is not prime. Res64: D05B819A2C3CFEFA Time : 0.0 sec. user=mdettweiler [2015-11-22 18:56:38] 947*2^1415782-1 is not prime. Res64: E235F6F5579BB664 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:03:03] 675*2^1415783-1 is not prime. Res64: 9192217788E946AC Time : 0.0 sec. user=mdettweiler [2015-11-22 19:03:04] 703*2^1415783-1 is not prime. Res64: F37F4E53B4C81661 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:04:05] 819*2^1415783-1 is not prime. Res64: 02511AA1EB56E553 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:04:06] 879*2^1415783-1 is not prime. Res64: 6A4B97486962FCDB Time : 0.0 sec. user=mdettweiler [2015-11-22 19:15:02] 663*2^1415784-1 is not prime. Res64: DC3E9CA9516B4447 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:15:04] 803*2^1415784-1 is not prime. Res64: 4456A4C056AC6061 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:15:08] 623*2^1415784-1 is not prime. Res64: 8BBB397BD126CCB5 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:15:08] 629*2^1415784-1 is not prime. Res64: E3202C6522C2CE49 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:21:53] 863*2^1415784-1 is not prime. Res64: DDA55B0FA4FA1268 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:21:53] 929*2^1415784-1 is not prime. Res64: 8EC268DD2E558914 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:22:44] 607*2^1415785-1 is not prime. Res64: 364E649C6EFE4DAC Time : 0.0 sec. user=mdettweiler [2015-11-22 19:22:44] 715*2^1415785-1 is not prime. Res64: CC9841A11825B4B1 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:34:00] 889*2^1415785-1 is not prime. Res64: F61F8D36D177960B Time : 0.0 sec. user=mdettweiler [2015-11-22 19:34:00] 939*2^1415785-1 is not prime. Res64: C9C56D0602BE3AEB Time : 0.0 sec. user=mdettweiler [2015-11-22 19:34:15] 771*2^1415785-1 is not prime. Res64: 5BD621D4FDB47446 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:34:15] 817*2^1415785-1 is not prime. Res64: 8D96B0F60CF9E987 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:40:36] 999*2^1415785-1 is not prime. Res64: B78DBC026732C77C Time : 0.0 sec. user=mdettweiler [2015-11-22 19:40:37] 617*2^1415786-1 is not prime. Res64: 1EE8B4A3FDA872DB Time : 0.0 sec. user=mdettweiler [2015-11-22 19:41:15] 785*2^1415786-1 is not prime. Res64: 6CEF9A401841B913 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:41:16] 857*2^1415786-1 is not prime. Res64: 3525564AB826E661 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:52:17] 941*2^1415786-1 is not prime. Res64: 53B4A44F9D9AC128 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:52:17] 971*2^1415786-1 is not prime. Res64: B2DF1C43621BAE69 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:52:18] 873*2^1415786-1 is not prime. Res64: 2745CFD34C49E37A Time : 0.0 sec. user=mdettweiler [2015-11-22 19:52:18] 903*2^1415786-1 is not prime. Res64: BC01D21C8E391B22 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:58:45] 619*2^1415787-1 is not prime. Res64: A06F27736777C273 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:58:45] 649*2^1415787-1 is not prime. Res64: DD772AAC7E012083 Time : 0.0 sec. user=mdettweiler [2015-11-22 19:59:28] 651*2^1415787-1 is not prime. Res64: D96C825EF9D78BDA Time : 0.0 sec. user=mdettweiler [2015-11-22 19:59:29] 709*2^1415787-1 is not prime. Res64: 2B28506A4AE1BDC8 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:10:22] 741*2^1415787-1 is not prime. Res64: 097AF43413440E1B Time : 0.0 sec. user=mdettweiler [2015-11-22 20:10:22] 751*2^1415787-1 is not prime. Res64: 0DE56FECFEA771BA Time : 0.0 sec. user=mdettweiler [2015-11-22 20:10:33] 753*2^1415787-1 is not prime. Res64: B33CB385929A6FFE Time : 0.0 sec. user=mdettweiler [2015-11-22 20:10:33] 871*2^1415787-1 is not prime. Res64: 991354232EC04073 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:16:59] 879*2^1415787-1 is not prime. Res64: 9785071A84319971 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:17:01] 909*2^1415787-1 is not prime. Res64: 8D8466E49F2D37C8 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:17:29] 961*2^1415787-1 is not prime. Res64: F6476C2846F6DD19 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:17:29] 985*2^1415787-1 is not prime. Res64: 57E545A6FDBEE88E Time : 0.0 sec. user=mdettweiler [2015-11-22 20:28:25] 687*2^1415788-1 is not prime. Res64: A456F91B71BDC973 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:28:25] 735*2^1415788-1 is not prime. Res64: 5EF10674CB398545 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:28:47] 743*2^1415788-1 is not prime. Res64: 270F54F57A72207A Time : 0.0 sec. user=mdettweiler [2015-11-22 20:28:47] 845*2^1415788-1 is not prime. Res64: 2D34EFA0F9B1F114 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:35:11] 855*2^1415788-1 is not prime. Res64: 07AC21CAB0401E4B Time : 0.0 sec. user=mdettweiler [2015-11-22 20:35:12] 615*2^1415789-1 is not prime. Res64: A31F57157E17F386 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:35:46] 741*2^1415789-1 is not prime. Res64: 51ECB6B5D450D41B Time : 0.0 sec. user=mdettweiler [2015-11-22 20:35:46] 837*2^1415789-1 is not prime. Res64: CAF918F04FDFA84B Time : 0.0 sec. user=mdettweiler [2015-11-22 20:46:44] 861*2^1415789-1 is not prime. Res64: 140EB8B243BFD374 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:46:44] 939*2^1415789-1 is not prime. Res64: F556F767B781D38E Time : 0.0 sec. user=mdettweiler [2015-11-22 20:46:58] 957*2^1415789-1 is not prime. Res64: D93D9D59E7A3C50E Time : 0.0 sec. user=mdettweiler [2015-11-22 20:46:58] 969*2^1415789-1 is not prime. Res64: CAB449C079B0FC62 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:53:18] 611*2^1415790-1 is not prime. Res64: A28B25B4B172BFDD Time : 0.0 sec. user=mdettweiler [2015-11-22 20:53:18] 741*2^1415790-1 is not prime. Res64: 7FD4F8A7314910BE Time : 0.0 sec. user=mdettweiler [2015-11-22 20:54:08] 747*2^1415790-1 is not prime. Res64: DB85B1029BF52F75 Time : 0.0 sec. user=mdettweiler [2015-11-22 20:54:09] 825*2^1415790-1 is not prime. Res64: 5C15C9575D55AC2E Time : 0.0 sec. user=mdettweiler [2015-11-22 21:05:00] 645*2^1415791-1 is not prime. Res64: DED61BEBC13770FA Time : 0.0 sec. user=mdettweiler [2015-11-22 21:05:01] 917*2^1415790-1 is not prime. Res64: 0CAED14ABABD5D63 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:05:01] 775*2^1415791-1 is not prime. Res64: 08335833C1800CFC Time : 0.0 sec. user=mdettweiler [2015-11-22 21:05:02] 963*2^1415790-1 is not prime. Res64: 81706D420366546A Time : 0.0 sec. user=mdettweiler [2015-11-22 21:11:31] 841*2^1415791-1 is not prime. Res64: B5FC88BAF5308CC8 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:11:31] 871*2^1415791-1 is not prime. Res64: 4C158E8889C17B11 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:12:13] 939*2^1415791-1 is not prime. Res64: DDBED39F5B25F74F Time : 0.0 sec. user=mdettweiler [2015-11-22 21:12:14] 635*2^1415792-1 is not prime. Res64: BA0632E2C36905DC Time : 0.0 sec. user=mdettweiler [2015-11-22 21:23:10] 649*2^1415793-1 is not prime. Res64: D1DC73BB4C6B400F Time : 0.0 sec. user=mdettweiler [2015-11-22 21:23:10] 765*2^1415793-1 is not prime. Res64: 5E9A24C1FDF3DCAE Time : 0.0 sec. user=mdettweiler [2015-11-22 21:23:11] 719*2^1415792-1 is not prime. Res64: 32A0AD08606A26E5 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:23:11] 797*2^1415792-1 is not prime. Res64: 7EA91652CA6BFF12 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:29:42] 787*2^1415793-1 is not prime. Res64: 4F1119653180A608 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:29:42] 805*2^1415793-1 is not prime. Res64: BA3D2379D6F80A67 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:30:18] 849*2^1415793-1 is not prime. Res64: B95EA707754291B5 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:30:19] 663*2^1415794-1 is not prime. Res64: A3C84C5C7DD7458B Time : 0.0 sec. user=mdettweiler [2015-11-22 21:41:18] 655*2^1415795-1 is not prime. Res64: FEAB1B7EA8C0DA95 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:41:19] 759*2^1415795-1 is not prime. Res64: 2EC29B6220D0A180 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:41:20] 831*2^1415794-1 is not prime. Res64: 14EB90022DC46E4A Time : 0.0 sec. user=mdettweiler [2015-11-22 21:41:21] 855*2^1415794-1 is not prime. Res64: 8C8847D3D99CE439 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:48:15] 843*2^1415795-1 is not prime. Res64: 16672EABE1E478A3 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:48:15] 979*2^1415795-1 is not prime. Res64: E44AF6FA9957E947 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:48:59] 981*2^1415795-1 is not prime. Res64: 44073E9B681DECF6 Time : 0.0 sec. user=mdettweiler [2015-11-22 21:48:59] 985*2^1415795-1 is not prime. Res64: E29E33010A9C0516 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:00:44] 693*2^1415796-1 is not prime. Res64: 45323BAC41243FAA Time : 0.0 sec. user=mdettweiler [2015-11-22 22:00:45] 783*2^1415796-1 is not prime. Res64: 12E65D5FFFA644A8 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:00:53] 633*2^1415796-1 is not prime. Res64: A3A30B0F1FB58245 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:00:54] 635*2^1415796-1 is not prime. Res64: 16E0343EC450382D Time : 0.0 sec. user=mdettweiler [2015-11-22 22:07:46] 845*2^1415796-1 is not prime. Res64: C96803F28248026D Time : 0.0 sec. user=mdettweiler [2015-11-22 22:07:47] 899*2^1415796-1 is not prime. Res64: 4E06CB5F652ABC66 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:08:50] 607*2^1415797-1 is not prime. Res64: 7C926F5F44A85302 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:08:51] 649*2^1415797-1 is not prime. Res64: 4DD3479B0FB47126 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:19:34] 667*2^1415797-1 is not prime. Res64: FCCA822434E31CE0 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:19:35] 751*2^1415797-1 is not prime. Res64: D605A54E568B1746 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:19:44] 635*2^1415798-1 is not prime. Res64: FEFBCB5FC23DDD35 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:19:44] 705*2^1415798-1 is not prime. Res64: AA56D575194C69CF Time : 0.0 sec. user=mdettweiler [2015-11-22 22:26:25] 885*2^1415798-1 is not prime. Res64: 405F53FBEC59942B Time : 0.0 sec. user=mdettweiler [2015-11-22 22:26:25] 661*2^1415799-1 is not prime. Res64: 6BE3E5B9E579F116 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:27:32] 745*2^1415799-1 is not prime. Res64: 67FE35F10E98D166 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:27:32] 793*2^1415799-1 is not prime. Res64: 52AD95BF589CA7A9 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:37:47] 955*2^1415799-1 is not prime. Res64: A6954B84BBD8E0B3 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:37:47] 615*2^1415800-1 is not prime. Res64: 1ACC88139D6D34D7 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:38:05] 677*2^1415800-1 is not prime. Res64: B98861B906FDD6B1 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:38:05] 747*2^1415800-1 is not prime. Res64: 8A0E078FE23B4942 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:44:38] 765*2^1415800-1 is not prime. Res64: 7E4EADAE6B2AB83D Time : 0.0 sec. user=mdettweiler [2015-11-22 22:44:38] 825*2^1415800-1 is not prime. Res64: 0CE93E31BEB8A2E3 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:45:45] 899*2^1415800-1 is not prime. Res64: 908F74DA96A23D8D Time : 0.0 sec. user=mdettweiler [2015-11-22 22:45:46] 615*2^1415801-1 is not prime. Res64: 37EA8F6249711D62 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:55:59] 649*2^1415801-1 is not prime. Res64: 59589F1219F772F7 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:56:00] 741*2^1415801-1 is not prime. Res64: 5368562632E68523 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:56:17] 775*2^1415801-1 is not prime. Res64: A88654300538D2E2 Time : 0.0 sec. user=mdettweiler [2015-11-22 22:56:18] 725*2^1415802-1 is not prime. Res64: C9E9BDA7C9F80E95 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:02:53] 755*2^1415802-1 is not prime. Res64: F080005A6C08D78E Time : 0.0 sec. user=mdettweiler [2015-11-22 23:02:55] 873*2^1415802-1 is not prime. Res64: A05A4E95284AE9C4 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:04:01] 983*2^1415802-1 is not prime. Res64: 6764DC2D8E2A0511 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:04:05] 603*2^1415803-1 is not prime. Res64: 3D9F84A0EB41095F Time : 0.0 sec. user=mdettweiler [2015-11-22 23:14:04] 871*2^1415803-1 is not prime. Res64: 819C7829FECE7649 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:14:05] 951*2^1415803-1 is not prime. Res64: 54CD4390697EF568 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:14:24] 993*2^1415803-1 is not prime. Res64: 428B2CE65058C139 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:14:25] 609*2^1415804-1 is not prime. Res64: B3DE6D3DFED2A7D7 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:21:08] 677*2^1415804-1 is not prime. Res64: 7E5AC42D023BE7CF Time : 0.0 sec. user=mdettweiler [2015-11-22 23:21:08] 749*2^1415804-1 is not prime. Res64: 138886FC4B57270A Time : 0.0 sec. user=mdettweiler [2015-11-22 23:22:21] 803*2^1415804-1 is not prime. Res64: BFC29AC1A93E9048 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:22:21] 875*2^1415804-1 is not prime. Res64: 1181601E2806479C Time : 0.0 sec. user=mdettweiler [2015-11-22 23:32:45] 871*2^1415805-1 is not prime. Res64: 2ECA5E7653D67576 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:32:45] 877*2^1415805-1 is not prime. Res64: F7B3B2A33A6DDE39 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:33:08] 609*2^1415805-1 is not prime. Res64: DFF070F463DC9DA1 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:33:08] 639*2^1415805-1 is not prime. Res64: 6BE43447CFB76C34 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:39:40] 951*2^1415805-1 is not prime. Res64: CEE6784468853474 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:39:41] 979*2^1415805-1 is not prime. Res64: 7286BE2464C2DAFD Time : 0.0 sec. user=mdettweiler [2015-11-22 23:41:06] 999*2^1415805-1 is not prime. Res64: 8A4FF00AA4FCB04F Time : 0.0 sec. user=mdettweiler [2015-11-22 23:41:07] 635*2^1415806-1 is not prime. Res64: 7631547471F995EF Time : 0.0 sec. user=mdettweiler [2015-11-22 23:50:54] 761*2^1415806-1 is not prime. Res64: 77CFD463B1F7431C Time : 0.0 sec. user=mdettweiler [2015-11-22 23:50:54] 765*2^1415806-1 is not prime. Res64: 7A312C1EE9F38F03 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:51:21] 873*2^1415806-1 is not prime. Res64: F89D1F64809D12A6 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:51:21] 881*2^1415806-1 is not prime. Res64: 4B719102F5D1753E Time : 0.0 sec. user=mdettweiler [2015-11-22 23:57:56] 975*2^1415806-1 is not prime. Res64: F6C381BF7B1B509B Time : 0.0 sec. user=mdettweiler [2015-11-22 23:57:56] 661*2^1415807-1 is not prime. Res64: 43920C008B00A3FF Time : 0.0 sec. user=mdettweiler [2015-11-22 23:59:30] 669*2^1415807-1 is not prime. Res64: 0290AFDF8A7E9AC0 Time : 0.0 sec. user=mdettweiler [2015-11-22 23:59:30] 861*2^1415807-1 is not prime. Res64: 567F5D78541989D3 Time : 0.0 sec.