user=mdettweiler [2016-11-07 00:18:56] 691*2^1445179-1 is not prime. Res64: 5982EF0343A3E9F2 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:18:57] 741*2^1445179-1 is not prime. Res64: 38EBF628DFA711A1 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:18:58] 813*2^1445179-1 is not prime. Res64: DEADD1A0E6C89B52 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:18:58] 841*2^1445179-1 is not prime. Res64: 85E0F9E351EF7234 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:18:59] 919*2^1445179-1 is not prime. Res64: B1B784654AC4E257 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:20:55] 943*2^1445179-1 is not prime. Res64: 0E04AB5D8E445B9A Time : 0.0 sec. user=mdettweiler [2016-11-07 00:20:55] 675*2^1445180-1 is not prime. Res64: 05DF523CB16AA42E Time : 0.0 sec. user=mdettweiler [2016-11-07 00:20:56] 687*2^1445180-1 is not prime. Res64: 4E5FAAB66B985EED Time : 0.0 sec. user=mdettweiler [2016-11-07 00:20:56] 743*2^1445180-1 is not prime. Res64: A8F49086A66D9DD5 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:20:57] 767*2^1445180-1 is not prime. Res64: A6DDB058A0B70E02 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:24:26] 855*2^1445180-1 is not prime. Res64: 2C9CCF403E7FFC17 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:24:26] 945*2^1445180-1 is not prime. Res64: 943B1EDC2CA57DC8 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:24:27] 987*2^1445180-1 is not prime. Res64: 37827D8D1ED3CB8D Time : 0.0 sec. user=mdettweiler [2016-11-07 00:24:27] 615*2^1445181-1 is not prime. Res64: 3CF39CE99FF30EC3 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:24:27] 625*2^1445181-1 is not prime. Res64: B3CF6A999D09CC8B Time : 0.0 sec. user=mdettweiler [2016-11-07 00:46:56] 727*2^1445181-1 is not prime. Res64: 7C7D26BDA19FC0F0 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:46:56] 751*2^1445181-1 is not prime. Res64: 8765BCDBB20A2AD5 Time : 0.0 sec. user=mdettweiler [2016-11-07 00:46:57] 795*2^1445181-1 is not prime. Res64: 0829E2E78DD8924D Time : 0.0 sec. user=mdettweiler [2016-11-07 00:46:57] 861*2^1445181-1 is not prime. Res64: B293FC1473B08A8C Time : 0.0 sec. user=mdettweiler [2016-11-07 00:46:57] 937*2^1445181-1 is not prime. Res64: 22C35BAA8520AB22 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:09:03] 801*2^1445182-1 is not prime. Res64: 438BBDED5794C71D Time : 0.0 sec. user=mdettweiler [2016-11-07 01:09:04] 833*2^1445182-1 is not prime. Res64: 86D99B4F434077E6 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:09:04] 619*2^1445183-1 is not prime. Res64: 05ABE7BD967876AF Time : 0.0 sec. user=mdettweiler [2016-11-07 01:09:04] 633*2^1445183-1 is not prime. Res64: 3FABD6B9DD491A44 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:09:05] 669*2^1445183-1 is not prime. Res64: F046FBAFEE38A712 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:11:39] 721*2^1445183-1 is not prime. Res64: ECE28518CDB4E860 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:11:39] 735*2^1445183-1 is not prime. Res64: 6C986308655027CD Time : 0.0 sec. user=mdettweiler [2016-11-07 01:11:40] 741*2^1445183-1 is not prime. Res64: C7FB763A52F00759 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:11:40] 901*2^1445183-1 is not prime. Res64: 710ADD8D9DAED306 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:11:41] 949*2^1445183-1 is not prime. Res64: 11A6069A7A13BFCC Time : 0.0 sec. user=mdettweiler [2016-11-07 01:14:17] 973*2^1445183-1 is not prime. Res64: 4D9E5510BEE36F71 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:14:17] 639*2^1445184-1 is not prime. Res64: 22200E58C7142A8C Time : 0.0 sec. user=mdettweiler [2016-11-07 01:14:18] 683*2^1445184-1 is not prime. Res64: 165D7AAB04DAF252 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:14:18] 699*2^1445184-1 is not prime. Res64: 81657B3A5407C3D6 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:14:19] 765*2^1445184-1 is not prime. Res64: C42DE251FA4CC44A Time : 0.0 sec. user=mdettweiler [2016-11-07 01:37:20] 863*2^1445184-1 is not prime. Res64: F3A76B6036CF241F Time : 0.0 sec. user=mdettweiler [2016-11-07 01:37:20] 607*2^1445185-1 is not prime. Res64: 2205805B11C12B84 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:37:21] 715*2^1445185-1 is not prime. Res64: E81011CCA0CF120A Time : 0.0 sec. user=mdettweiler [2016-11-07 01:37:21] 801*2^1445185-1 is not prime. Res64: C50E423E492ECD13 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:37:22] 641*2^1445186-1 is not prime. Res64: E93A21272C27076D Time : 0.0 sec. user=mdettweiler [2016-11-07 01:59:33] 767*2^1445186-1 is not prime. Res64: DF05C40C22723F85 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:59:33] 625*2^1445187-1 is not prime. Res64: F811B2E1F8911C56 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:59:34] 685*2^1445187-1 is not prime. Res64: 4961356B8F50466D Time : 0.0 sec. user=mdettweiler [2016-11-07 01:59:34] 885*2^1445187-1 is not prime. Res64: 15BB7113620D7D58 Time : 0.0 sec. user=mdettweiler [2016-11-07 01:59:35] 949*2^1445187-1 is not prime. Res64: 554479E3E189FE88 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:01:28] 961*2^1445187-1 is not prime. Res64: DDD2D195885FD4ED Time : 0.0 sec. user=mdettweiler [2016-11-07 02:01:29] 603*2^1445188-1 is not prime. Res64: 5BEB2911B80692BB Time : 0.0 sec. user=mdettweiler [2016-11-07 02:01:30] 635*2^1445188-1 is not prime. Res64: B2540E372A35AD8D Time : 0.0 sec. user=mdettweiler [2016-11-07 02:01:31] 665*2^1445188-1 is not prime. Res64: 720CFC8DB2F2BEA7 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:01:32] 677*2^1445188-1 is not prime. Res64: 2F0B5AB8E4723DB2 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:04:11] 783*2^1445188-1 is not prime. Res64: 2A16B2B390CC39D2 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:04:16] 923*2^1445188-1 is not prime. Res64: 2A263C0F99E9193B Time : 0.0 sec. user=mdettweiler [2016-11-07 02:04:24] 631*2^1445189-1 is not prime. Res64: F555E9705E8BAF61 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:30:50] 861*2^1445189-1 is not prime. Res64: D21C01D702DA84C9 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:30:51] 927*2^1445189-1 is not prime. Res64: 110174C6EC141253 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:30:52] 647*2^1445190-1 is not prime. Res64: 8FCE73A82C6B7D4D Time : 0.0 sec. user=mdettweiler [2016-11-07 02:30:52] 711*2^1445190-1 is not prime. Res64: AE964F51D696D0C4 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:30:53] 755*2^1445190-1 is not prime. Res64: 61EA8FD50D677083 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:56:03] 971*2^1445190-1 is not prime. Res64: C6E5882FA252CF42 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:56:04] 601*2^1445191-1 is not prime. Res64: C340C1A81377605F Time : 0.0 sec. user=mdettweiler [2016-11-07 02:56:04] 625*2^1445191-1 is not prime. Res64: 9CEABABCF3484436 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:56:05] 663*2^1445191-1 is not prime. Res64: F7F20307980AF6AF Time : 0.0 sec. user=mdettweiler [2016-11-07 02:56:05] 675*2^1445191-1 is not prime. Res64: FCB51C3D1BADBAFA Time : 0.0 sec. user=mdettweiler [2016-11-07 02:57:21] 709*2^1445191-1 is not prime. Res64: A498159325095799 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:57:22] 841*2^1445191-1 is not prime. Res64: F9F1D7254EC8C2D3 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:57:22] 939*2^1445191-1 is not prime. Res64: 89DA9207F47D5EE7 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:57:22] 665*2^1445192-1 is not prime. Res64: 1BEE43993F3DE214 Time : 0.0 sec. user=mdettweiler [2016-11-07 02:57:23] 693*2^1445192-1 is not prime. Res64: EC3EE330FF24F2EC Time : 0.0 sec. user=mdettweiler [2016-11-07 03:26:33] 797*2^1445192-1 is not prime. Res64: 6E53D13492ED0CD3 Time : 0.0 sec. user=mdettweiler [2016-11-07 03:26:34] 833*2^1445192-1 is not prime. Res64: 941DD3072A5263CF Time : 0.0 sec. user=mdettweiler [2016-11-07 03:26:35] 893*2^1445192-1 is not prime. Res64: A2E5F9BEB1B64154 Time : 0.0 sec. user=mdettweiler [2016-11-07 03:26:36] 917*2^1445192-1 is not prime. Res64: ADC9CB0F16ED0B0B Time : 0.0 sec. user=mdettweiler [2016-11-07 03:26:36] 977*2^1445192-1 is not prime. Res64: 48A494C182F4F482 Time : 0.0 sec. user=mdettweiler [2016-11-07 03:51:12] 633*2^1445194-1 is not prime. Res64: FA18BFD85FC31293 Time : 0.0 sec. user=mdettweiler [2016-11-07 03:51:14] 635*2^1445194-1 is not prime. Res64: D2D576B78062A4C5 Time : 0.0 sec. user=mdettweiler [2016-11-07 03:51:15] 677*2^1445194-1 is not prime. Res64: 775250A7CEF1420E Time : 0.0 sec. user=mdettweiler [2016-11-07 03:51:16] 741*2^1445194-1 is not prime. Res64: 18D434C38F7B2DC9 Time : 0.0 sec. user=mdettweiler [2016-11-07 03:51:16] 755*2^1445194-1 is not prime. Res64: 1CC4F32B057D4E9E Time : 0.0 sec. user=mdettweiler [2016-11-07 03:51:36] 625*2^1445193-1 is not prime. Res64: 98C7B2814080AA35 Time : 0.0 sec. user=mdettweiler [2016-11-07 03:51:36] 649*2^1445193-1 is not prime. Res64: E727D202083BAF1F Time : 0.0 sec. user=mdettweiler [2016-11-07 03:51:37] 681*2^1445193-1 is not prime. Res64: 978DE47318E41336 Time : 0.0 sec. user=mdettweiler [2016-11-07 03:51:37] 915*2^1445193-1 is not prime. Res64: D6654A7407462297 Time : 0.0 sec. user=mdettweiler [2016-11-07 03:51:38] 623*2^1445194-1 is not prime. Res64: D9C4E82F9C362EE5 Time : 0.0 sec. user=mdettweiler [2016-11-07 04:22:21] 783*2^1445194-1 is not prime. Res64: 21663AF00256880A Time : 0.0 sec. user=mdettweiler [2016-11-07 04:22:22] 983*2^1445194-1 is not prime. Res64: 93AA00168C59D50A Time : 0.0 sec. user=mdettweiler [2016-11-07 04:22:22] 753*2^1445195-1 is not prime. Res64: C597148013A02B77 Time : 0.0 sec. user=mdettweiler [2016-11-07 04:22:22] 861*2^1445195-1 is not prime. Res64: 0386A94560AF3B47 Time : 0.0 sec. user=mdettweiler [2016-11-07 04:22:23] 949*2^1445195-1 is not prime. Res64: 31DE8663E0B2634E Time : 0.0 sec. user=mdettweiler [2016-11-07 04:46:12] 623*2^1445196-1 is not prime. Res64: B6B09B2A531765FF Time : 0.0 sec. user=mdettweiler [2016-11-07 04:46:12] 627*2^1445196-1 is not prime. Res64: 27236AF686FE5A2E Time : 0.0 sec. user=mdettweiler [2016-11-07 04:46:13] 633*2^1445196-1 is not prime. Res64: 29C8BF3265D11441 Time : 0.0 sec. user=mdettweiler [2016-11-07 04:46:13] 717*2^1445196-1 is not prime. Res64: A2A540A03539FB4B Time : 0.0 sec. user=mdettweiler [2016-11-07 04:46:13] 719*2^1445196-1 is not prime. Res64: 0A5E1824B4C1D011 Time : 0.0 sec. user=mdettweiler [2016-11-07 04:46:28] 773*2^1445196-1 is not prime. Res64: 87964BA3BF89245B Time : 0.0 sec. user=mdettweiler [2016-11-07 04:46:28] 789*2^1445196-1 is not prime. Res64: 7B61720C02261DFC Time : 0.0 sec. user=mdettweiler [2016-11-07 04:46:29] 975*2^1445196-1 is not prime. Res64: C1B1ABE26A8334D9 Time : 0.0 sec. user=mdettweiler [2016-11-07 04:46:29] 649*2^1445197-1 is not prime. Res64: F2CA76D37B4E9051 Time : 0.0 sec. user=mdettweiler [2016-11-07 04:46:29] 661*2^1445197-1 is not prime. Res64: 92272053A6BA801B Time : 0.0 sec. user=mdettweiler [2016-11-07 05:16:59] 655*2^1445189-1 is not prime. Res64: 6DDB3BBB870EA20B Time : 0.0 sec. user=mdettweiler [2016-11-07 05:16:59] 837*2^1445189-1 is not prime. Res64: E7F54E1DECA09491 Time : 0.0 sec. user=mdettweiler [2016-11-07 05:18:27] 675*2^1445197-1 is not prime. Res64: EBEA1E93738E7D42 Time : 0.0 sec. user=mdettweiler [2016-11-07 05:18:27] 817*2^1445197-1 is not prime. Res64: 54FCCEF9AB1EF216 Time : 0.0 sec. user=mdettweiler [2016-11-07 05:18:28] 617*2^1445198-1 is not prime. Res64: 99CBC26EC86EF919 Time : 0.0 sec. user=mdettweiler [2016-11-07 05:18:28] 641*2^1445198-1 is not prime. Res64: 014028FBCBBF7294 Time : 0.0 sec. user=mdettweiler [2016-11-07 05:18:29] 657*2^1445198-1 is not prime. Res64: D6BA2E970A807EAC Time : 0.0 sec. user=mdettweiler [2016-11-07 05:38:51] 827*2^1445198-1 is not prime. Res64: C078DBC33F34C162 Time : 0.0 sec. user=mdettweiler [2016-11-07 05:38:51] 843*2^1445198-1 is not prime. Res64: 67320DF87070C4D1 Time : 0.0 sec. user=mdettweiler [2016-11-07 05:38:52] 897*2^1445198-1 is not prime. Res64: 25E4C77B7919FE9B Time : 0.0 sec. user=mdettweiler [2016-11-07 05:38:52] 923*2^1445198-1 is not prime. Res64: 231AEF52B7CAF5B8 Time : 0.0 sec. user=mdettweiler [2016-11-07 05:38:52] 963*2^1445198-1 is not prime. Res64: 0A7D58C91AB20035 Time : 0.0 sec. user=mdettweiler [2016-11-07 05:39:55] 685*2^1445199-1 is not prime. Res64: F53222FBFF39DACC Time : 0.0 sec. user=mdettweiler [2016-11-07 05:39:55] 793*2^1445199-1 is not prime. Res64: 8D468C44BFEB965C Time : 0.0 sec. user=mdettweiler [2016-11-07 05:39:56] 919*2^1445199-1 is not prime. Res64: 59C6EDB17709D243 Time : 0.0 sec. user=mdettweiler [2016-11-07 05:39:56] 933*2^1445199-1 is not prime. Res64: 332FE3E8EFA448BD Time : 0.0 sec. user=mdettweiler [2016-11-07 05:39:57] 645*2^1445200-1 is not prime. Res64: C04B774EF5B825F8 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:07:51] 675*2^1445200-1 is not prime. Res64: E1A079C3F4D22A5B Time : 0.0 sec. user=mdettweiler [2016-11-07 06:07:53] 695*2^1445200-1 is not prime. Res64: 197E70088AA9C4FE Time : 0.0 sec. user=mdettweiler [2016-11-07 06:07:55] 723*2^1445200-1 is not prime. Res64: B9AF404DC8701BEA Time : 0.0 sec. user=mdettweiler [2016-11-07 06:07:56] 785*2^1445200-1 is not prime. Res64: 20198E86BCBA7337 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:07:58] 813*2^1445200-1 is not prime. Res64: CCAD9F387690AB60 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:08:58] 827*2^1445200-1 is not prime. Res64: 4DDD7EBC4008FDED Time : 0.0 sec. user=mdettweiler [2016-11-07 06:08:59] 863*2^1445200-1 is not prime. Res64: 39066CAECBA3D04A Time : 0.0 sec. user=mdettweiler [2016-11-07 06:08:59] 615*2^1445201-1 is not prime. Res64: 5705FC1DAE447D84 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:09:00] 631*2^1445201-1 is not prime. Res64: 5AF1E2036F779A16 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:09:00] 637*2^1445201-1 is not prime. Res64: 30FE12F15CA0E00C Time : 0.0 sec. user=mdettweiler [2016-11-07 06:30:12] 769*2^1445201-1 is not prime. Res64: A8C50A8480833AB3 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:30:12] 855*2^1445201-1 is not prime. Res64: D5ECADCA0EEF46D7 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:30:12] 871*2^1445201-1 is not prime. Res64: 5447DD3B3D22952E Time : 0.0 sec. user=mdettweiler [2016-11-07 06:30:13] 657*2^1445202-1 is not prime. Res64: 02A1B27593E3B087 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:30:13] 677*2^1445202-1 is not prime. Res64: A20AC3B5ABC851B9 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:31:32] 711*2^1445202-1 is not prime. Res64: F3FE325F6064A847 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:31:33] 735*2^1445202-1 is not prime. Res64: 1276B0B0DC484614 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:31:33] 777*2^1445202-1 is not prime. Res64: C52C85CB3464D747 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:31:33] 801*2^1445202-1 is not prime. Res64: 310D2839F86A03D8 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:31:34] 803*2^1445202-1 is not prime. Res64: 29B46C24B19D7158 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:59:19] 821*2^1445202-1 is not prime. Res64: 640B1AD0045FC50F Time : 0.0 sec. user=mdettweiler [2016-11-07 06:59:19] 735*2^1445203-1 is not prime. Res64: CB6CEC53220CBDCE Time : 0.0 sec. user=mdettweiler [2016-11-07 06:59:20] 901*2^1445203-1 is not prime. Res64: A5413B30FE9F7563 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:59:20] 609*2^1445204-1 is not prime. Res64: FE648864B6623656 Time : 0.0 sec. user=mdettweiler [2016-11-07 06:59:20] 623*2^1445204-1 is not prime. Res64: F57227CD0C6C74B6 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:00:53] 629*2^1445204-1 is not prime. Res64: 86286124A8EBD1B3 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:00:54] 635*2^1445204-1 is not prime. Res64: C44A387A1F8033F1 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:00:55] 743*2^1445204-1 is not prime. Res64: 73B3B3AF11285AD3 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:00:57] 813*2^1445204-1 is not prime. Res64: C9D1404CFFDFC7B5 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:00:58] 959*2^1445204-1 is not prime. Res64: 0872F6FDEC5B333A Time : 0.0 sec. user=mdettweiler [2016-11-07 07:20:39] 685*2^1445205-1 is not prime. Res64: 1631ACD013831196 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:20:40] 727*2^1445205-1 is not prime. Res64: D84113F385132C7F Time : 0.0 sec. user=mdettweiler [2016-11-07 07:20:40] 777*2^1445205-1 is not prime. Res64: 15B9DB446B876C19 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:20:41] 787*2^1445205-1 is not prime. Res64: F7504210B656B66C Time : 0.0 sec. user=mdettweiler [2016-11-07 07:20:41] 825*2^1445205-1 is not prime. Res64: B30C9474D20BB00B Time : 0.0 sec. user=mdettweiler [2016-11-07 07:22:15] 927*2^1445205-1 is not prime. Res64: F763E9FE63287E00 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:22:16] 961*2^1445205-1 is not prime. Res64: F6AC5A34DD5841A7 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:22:18] 617*2^1445206-1 is not prime. Res64: 9110F84771C5242A Time : 0.0 sec. user=mdettweiler [2016-11-07 07:22:18] 821*2^1445206-1 is not prime. Res64: 92060F928B039EF0 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:22:18] 867*2^1445206-1 is not prime. Res64: C533855EEE074DDD Time : 0.0 sec. user=mdettweiler [2016-11-07 07:50:30] 603*2^1445207-1 is not prime. Res64: 1A7E4F7078A48EDF Time : 0.0 sec. user=mdettweiler [2016-11-07 07:50:30] 655*2^1445207-1 is not prime. Res64: 1E015A7E567B40E8 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:50:30] 661*2^1445207-1 is not prime. Res64: 4ED24D33AA6883B7 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:50:31] 703*2^1445207-1 is not prime. Res64: 61B7F3689BD218E4 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:50:31] 775*2^1445207-1 is not prime. Res64: C9E32880AB1FA69C Time : 0.0 sec. user=mdettweiler [2016-11-07 07:51:33] 813*2^1445207-1 is not prime. Res64: FA7D6EDB06D517EF Time : 0.0 sec. user=mdettweiler [2016-11-07 07:51:33] 949*2^1445207-1 is not prime. Res64: A944792006A15B58 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:51:34] 605*2^1445208-1 is not prime. Res64: E03D0612FCBBD839 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:51:34] 627*2^1445208-1 is not prime. Res64: 69787AA73F8B9488 Time : 0.0 sec. user=mdettweiler [2016-11-07 07:51:35] 633*2^1445208-1 is not prime. Res64: D0E306CB2065C97E Time : 0.0 sec. user=mdettweiler [2016-11-07 08:11:21] 705*2^1445208-1 is not prime. Res64: 75E7D17B45433BF7 Time : 0.0 sec. user=mdettweiler [2016-11-07 08:11:22] 789*2^1445208-1 is not prime. Res64: 418C0437D719F326 Time : 0.0 sec. user=mdettweiler [2016-11-07 08:11:22] 797*2^1445208-1 is not prime. Res64: C1BA78E838034B22 Time : 0.0 sec. user=mdettweiler [2016-11-07 08:11:23] 815*2^1445208-1 is not prime. Res64: EC8746BD946F7C4F Time : 0.0 sec. user=mdettweiler [2016-11-07 08:11:23] 843*2^1445208-1 is not prime. Res64: 1057DCE1BF7FCE71 Time : 0.0 sec. user=mdettweiler [2016-11-07 08:12:58] 909*2^1445208-1 is not prime. Res64: 20FC06DD38410D8F Time : 0.0 sec. user=mdettweiler [2016-11-07 08:12:58] 615*2^1445209-1 is not prime. Res64: 9015B9EE40ADB62C Time : 0.0 sec. user=mdettweiler [2016-11-07 08:12:58] 691*2^1445209-1 is not prime. Res64: 2277446454A5DC26 Time : 0.0 sec. user=mdettweiler [2016-11-07 08:12:58] 705*2^1445209-1 is not prime. Res64: 0184033E77226502 Time : 0.0 sec. user=mdettweiler [2016-11-07 08:12:59] 759*2^1445209-1 is not prime. Res64: B2186449F1475D22 Time : 0.0 sec. user=mdettweiler [2016-11-07 08:42:06] 811*2^1445209-1 is not prime. Res64: F3B547AE3E72B641 Time : 0.0 sec. user=mdettweiler [2016-11-07 08:42:06] 885*2^1445209-1 is not prime. Res64: 7FEDAC02757407BE Time : 0.0 sec. user=mdettweiler [2016-11-07 08:42:07] 957*2^1445209-1 is not prime. Res64: 4E89A72C06EF7BCD Time : 0.0 sec. user=mdettweiler [2016-11-07 08:42:07] 985*2^1445209-1 is not prime. Res64: 09A3F015D0D6A399 Time : 0.0 sec. user=mdettweiler [2016-11-07 08:42:07] 987*2^1445209-1 is not prime. Res64: 6F206A97C459A813 Time : 0.0 sec. user=mdettweiler [2016-11-07 08:43:20] 633*2^1445210-1 is not prime. Res64: 2010C67622DA635D Time : 0.0 sec. user=mdettweiler [2016-11-07 08:43:20] 677*2^1445210-1 is not prime. Res64: 6F36AA960961CACD Time : 0.0 sec. user=mdettweiler [2016-11-07 08:43:21] 711*2^1445210-1 is not prime. Res64: 79E17A4E2143FBCA Time : 0.0 sec. user=mdettweiler [2016-11-07 08:43:21] 755*2^1445210-1 is not prime. Res64: AD1A944D8A48A27C Time : 0.0 sec. user=mdettweiler [2016-11-07 08:43:22] 783*2^1445210-1 is not prime. Res64: 8A156D810E42D0EF Time : 0.0 sec. user=mdettweiler [2016-11-07 09:03:07] 785*2^1445210-1 is not prime. Res64: 24052780C2D691A8 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:03:08] 825*2^1445210-1 is not prime. Res64: 628CE3384EE6B759 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:03:10] 861*2^1445210-1 is not prime. Res64: F6E600695649B5B4 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:03:11] 887*2^1445210-1 is not prime. Res64: FE8A8DF444F5C8D7 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:03:11] 893*2^1445210-1 is not prime. Res64: A8DF6E3CE54B3DE9 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:04:42] 685*2^1445211-1 is not prime. Res64: EB0241BEAE300DBF Time : 0.0 sec. user=mdettweiler [2016-11-07 09:04:43] 739*2^1445211-1 is not prime. Res64: 74A39A61744D6F11 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:04:44] 829*2^1445211-1 is not prime. Res64: C98719100DBA0F5E Time : 0.0 sec. user=mdettweiler [2016-11-07 09:04:45] 909*2^1445211-1 is not prime. Res64: 826C58B122C39F37 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:04:46] 699*2^1445212-1 is not prime. Res64: F027D06185C525D0 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:33:16] 719*2^1445212-1 is not prime. Res64: 5E31826CEBF98EED Time : 0.0 sec. user=mdettweiler [2016-11-07 09:33:17] 735*2^1445212-1 is not prime. Res64: F45E4B97EFA4E1B9 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:33:17] 779*2^1445212-1 is not prime. Res64: 898046CC5C07264A Time : 0.0 sec. user=mdettweiler [2016-11-07 09:33:18] 827*2^1445212-1 is not prime. Res64: 2F3FF0CAEAE59DF1 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:33:18] 915*2^1445212-1 is not prime. Res64: 3621BAFCCD644B4F Time : 0.0 sec. user=mdettweiler [2016-11-07 09:33:45] 933*2^1445212-1 is not prime. Res64: 2D1B3DBDDDD340EC Time : 0.0 sec. user=mdettweiler [2016-11-07 09:33:45] 975*2^1445212-1 is not prime. Res64: 37FC3DC7FFF323ED Time : 0.0 sec. user=mdettweiler [2016-11-07 09:33:45] 983*2^1445212-1 is not prime. Res64: 8F81C37A73850BE9 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:33:46] 627*2^1445213-1 is not prime. Res64: 41AE4FAD4A48ACA3 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:33:46] 781*2^1445213-1 is not prime. Res64: 4DDB2050F8CC18F7 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:55:13] 847*2^1445213-1 is not prime. Res64: 40EBAC889786EE1B Time : 0.0 sec. user=mdettweiler [2016-11-07 09:55:13] 937*2^1445213-1 is not prime. Res64: DB43C34CAFE59738 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:55:13] 755*2^1445214-1 is not prime. Res64: B7BEAD5FA550EC1F Time : 0.0 sec. user=mdettweiler [2016-11-07 09:55:13] 773*2^1445214-1 is not prime. Res64: DD9A20D7CE76ADA8 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:55:14] 797*2^1445214-1 is not prime. Res64: CFC03012E95CF5A5 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:56:02] 825*2^1445214-1 is not prime. Res64: FA1711C9D64860A7 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:56:02] 715*2^1445215-1 is not prime. Res64: A7E3F0A218139FE0 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:56:02] 885*2^1445215-1 is not prime. Res64: BADB33187E481215 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:56:03] 919*2^1445215-1 is not prime. Res64: DF4A60423AAA2DF2 Time : 0.0 sec. user=mdettweiler [2016-11-07 09:56:03] 617*2^1445216-1 is not prime. Res64: 292E84E44166DA2D Time : 0.0 sec. user=mdettweiler [2016-11-07 10:25:20] 899*2^1445216-1 is not prime. Res64: 238B776CAF537107 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:25:21] 957*2^1445216-1 is not prime. Res64: 4C83239EB4EE2070 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:25:21] 607*2^1445217-1 is not prime. Res64: 2BB968CEDB3371EE Time : 0.0 sec. user=mdettweiler [2016-11-07 10:25:21] 691*2^1445217-1 is not prime. Res64: 0589E4469E944FEF Time : 0.0 sec. user=mdettweiler [2016-11-07 10:25:22] 699*2^1445217-1 is not prime. Res64: F99600B8AC7D5588 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:25:34] 633*2^1445216-1 is not prime. Res64: 557F14F8EDC8B38B Time : 0.0 sec. user=mdettweiler [2016-11-07 10:25:35] 635*2^1445216-1 is not prime. Res64: 8E498EC5863653D5 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:25:35] 803*2^1445216-1 is not prime. Res64: FBDF98B4F0B9D864 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:25:35] 827*2^1445216-1 is not prime. Res64: 1FEEC785F2C0A592 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:25:36] 875*2^1445216-1 is not prime. Res64: 940C79D479FA8B8C Time : 0.0 sec. user=mdettweiler [2016-11-07 10:47:40] 717*2^1445217-1 is not prime. Res64: BA4916272E6F99B2 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:47:40] 817*2^1445217-1 is not prime. Res64: 7F49B0B3958568EC Time : 0.0 sec. user=mdettweiler [2016-11-07 10:47:40] 867*2^1445217-1 is not prime. Res64: EB8F5CD21B3EE566 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:47:41] 955*2^1445217-1 is not prime. Res64: 6849DDDEA2FF0719 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:47:41] 621*2^1445218-1 is not prime. Res64: C40ADE8266186375 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:47:45] 651*2^1445218-1 is not prime. Res64: AB0586A2AA1FDA20 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:47:46] 755*2^1445218-1 is not prime. Res64: 342853364D3C9678 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:47:46] 813*2^1445218-1 is not prime. Res64: C7E2747E2F00EE84 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:47:46] 887*2^1445218-1 is not prime. Res64: 736F1B3E29EEBD41 Time : 0.0 sec. user=mdettweiler [2016-11-07 10:47:47] 911*2^1445218-1 is not prime. Res64: 8D0794DB59AC806C Time : 0.0 sec. user=mdettweiler [2016-11-07 11:16:38] 945*2^1445218-1 is not prime. Res64: F33690D9DB92B04D Time : 0.0 sec. user=mdettweiler [2016-11-07 11:16:39] 951*2^1445218-1 is not prime. Res64: 28F5F8C85D0CCC84 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:16:39] 603*2^1445219-1 is not prime. Res64: CED33F5C6495A0C1 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:16:39] 609*2^1445219-1 is not prime. Res64: FF288F94BA3FEA8C Time : 0.0 sec. user=mdettweiler [2016-11-07 11:16:39] 735*2^1445219-1 is not prime. Res64: 8CF1EA86992D2F9F Time : 0.0 sec. user=mdettweiler [2016-11-07 11:17:14] 799*2^1445219-1 is not prime. Res64: CBF98B8AF19F0693 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:17:15] 903*2^1445219-1 is not prime. Res64: F11A0076A32EEC55 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:17:15] 909*2^1445219-1 is not prime. Res64: 10CD5DEC7A8CC438 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:17:15] 913*2^1445219-1 is not prime. Res64: 239D6AAC57F38CE3 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:17:16] 939*2^1445219-1 is not prime. Res64: 0D45C96159DBB77E Time : 0.0 sec. user=mdettweiler [2016-11-07 11:38:50] 949*2^1445219-1 is not prime. Res64: DB60BD2019C4B452 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:38:50] 979*2^1445219-1 is not prime. Res64: 04756EF2306686C4 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:38:51] 629*2^1445220-1 is not prime. Res64: DB12C48295A9F885 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:38:51] 669*2^1445220-1 is not prime. Res64: 5C43B0A3C0ADDE64 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:38:51] 693*2^1445220-1 is not prime. Res64: 1B9D0570174B3B54 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:39:34] 765*2^1445220-1 is not prime. Res64: 5E9DB56D372000DE Time : 0.0 sec. user=mdettweiler [2016-11-07 11:39:35] 779*2^1445220-1 is not prime. Res64: B27FE595E87C0DBD Time : 0.0 sec. user=mdettweiler [2016-11-07 11:39:35] 795*2^1445220-1 is not prime. Res64: F04C1D32B05A4550 Time : 0.0 sec. user=mdettweiler [2016-11-07 11:39:35] 797*2^1445220-1 is not prime. Res64: F9B15C255E80E18A Time : 0.0 sec. user=mdettweiler [2016-11-07 11:39:35] 803*2^1445220-1 is not prime. Res64: C99BD5C35C5F4D1C Time : 0.0 sec. user=mdettweiler [2016-11-07 12:08:17] 819*2^1445220-1 is not prime. Res64: 3B36792FA117A838 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:08:21] 825*2^1445220-1 is not prime. Res64: C0442C74C0A705AD Time : 0.0 sec. user=mdettweiler [2016-11-07 12:08:22] 957*2^1445220-1 is not prime. Res64: 2A6B70E0AEFE1441 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:08:24] 607*2^1445221-1 is not prime. Res64: 7DD19A9C4E97E649 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:08:25] 681*2^1445221-1 is not prime. Res64: 207E0E797018EBCF Time : 0.0 sec. user=mdettweiler [2016-11-07 12:08:44] 687*2^1445221-1 is not prime. Res64: 0B424A1CEDB0A316 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:08:45] 799*2^1445221-1 is not prime. Res64: 73D9B54DF5851A72 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:08:46] 801*2^1445221-1 is not prime. Res64: 9697FD288AD19234 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:08:49] 819*2^1445221-1 is not prime. Res64: 009FD87E78E4DE87 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:08:52] 867*2^1445221-1 is not prime. Res64: 589C61D3885D7FEE Time : 0.0 sec. user=mdettweiler [2016-11-07 12:30:28] 877*2^1445221-1 is not prime. Res64: 5E371A745E515063 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:30:28] 939*2^1445221-1 is not prime. Res64: 0FDE95C00BD82DC5 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:30:30] 945*2^1445221-1 is not prime. Res64: 2770F16CDC0EB648 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:30:30] 999*2^1445221-1 is not prime. Res64: B67756A02C2BBF5E Time : 0.0 sec. user=mdettweiler [2016-11-07 12:30:30] 665*2^1445222-1 is not prime. Res64: AA74F69E1579006A Time : 0.0 sec. user=mdettweiler [2016-11-07 12:31:20] 711*2^1445222-1 is not prime. Res64: B382B3BDD0AD80E4 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:31:20] 815*2^1445222-1 is not prime. Res64: 40E6F96F9153AF84 Time : 0.0 sec. user=mdettweiler [2016-11-07 12:31:21] 831*2^1445222-1 is not prime. Res64: C1564BEADA47295B Time : 0.0 sec. user=mdettweiler [2016-11-07 12:31:21] 843*2^1445222-1 is not prime. Res64: DEB7E7F35D4AABAF Time : 0.0 sec. user=mdettweiler [2016-11-07 12:31:21] 887*2^1445222-1 is not prime. Res64: 15E1457F5668E15E Time : 0.0 sec. user=mdettweiler [2016-11-07 13:01:00] 763*2^1445223-1 is not prime. Res64: A3CAB1831CAF29FD Time : 0.0 sec. user=mdettweiler [2016-11-07 13:01:01] 963*2^1445223-1 is not prime. Res64: E165FDDB497C638C Time : 0.0 sec. user=mdettweiler [2016-11-07 13:01:02] 985*2^1445223-1 is not prime. Res64: 36B8CD3D11164DF0 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:01:03] 759*2^1445224-1 is not prime. Res64: 05A545409F9DF42F Time : 0.0 sec. user=mdettweiler [2016-11-07 13:01:03] 765*2^1445224-1 is not prime. Res64: E15B1D44D1532FFC Time : 0.0 sec. user=mdettweiler [2016-11-07 13:01:06] 951*2^1445222-1 is not prime. Res64: E4DFF93A683C700E Time : 0.0 sec. user=mdettweiler [2016-11-07 13:01:08] 981*2^1445222-1 is not prime. Res64: DFF441171B915BFC Time : 0.0 sec. user=mdettweiler [2016-11-07 13:01:08] 615*2^1445223-1 is not prime. Res64: 7EC4EC85E9972516 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:01:11] 723*2^1445223-1 is not prime. Res64: 9A41F342687E6D0F Time : 0.0 sec. user=mdettweiler [2016-11-07 13:01:13] 745*2^1445223-1 is not prime. Res64: DC0F740E0439449D Time : 0.0 sec. user=mdettweiler [2016-11-07 13:21:50] 711*2^1445225-1 is not prime. Res64: 0996487F243B9D26 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:21:51] 787*2^1445225-1 is not prime. Res64: 9EA10E117E9E78B2 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:21:51] 789*2^1445225-1 is not prime. Res64: 6E2105431443318C Time : 0.0 sec. user=mdettweiler [2016-11-07 13:21:52] 841*2^1445225-1 is not prime. Res64: 73D9C53938CDDC2F Time : 0.0 sec. user=mdettweiler [2016-11-07 13:21:52] 867*2^1445225-1 is not prime. Res64: B0D2893578A384E7 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:22:28] 711*2^1445226-1 is not prime. Res64: EBEB9C53EA4DBF8B Time : 0.0 sec. user=mdettweiler [2016-11-07 13:22:28] 723*2^1445226-1 is not prime. Res64: 07C7C9E245D7FC5B Time : 0.0 sec. user=mdettweiler [2016-11-07 13:22:29] 747*2^1445226-1 is not prime. Res64: B0F1744EA1063EAB Time : 0.0 sec. user=mdettweiler [2016-11-07 13:22:29] 767*2^1445226-1 is not prime. Res64: EFF92B2AA7BF7483 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:22:29] 921*2^1445226-1 is not prime. Res64: 4998B5C7F3D8EFFF Time : 0.0 sec. user=mdettweiler [2016-11-07 13:52:37] 891*2^1445227-1 is not prime. Res64: 4B74DFCC0D397E4D Time : 0.0 sec. user=mdettweiler [2016-11-07 13:52:37] 993*2^1445227-1 is not prime. Res64: 4E2F7F5B231882F6 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:52:38] 647*2^1445228-1 is not prime. Res64: 74A3BC3D729FF499 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:52:38] 683*2^1445228-1 is not prime. Res64: 3F6C87726441A1DA Time : 0.0 sec. user=mdettweiler [2016-11-07 13:52:39] 707*2^1445228-1 is not prime. Res64: 32CE4E9B0B27A267 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:52:45] 983*2^1445226-1 is not prime. Res64: ADE3BCF4D562D04A Time : 0.0 sec. user=mdettweiler [2016-11-07 13:52:45] 603*2^1445227-1 is not prime. Res64: 9F12C4C0F4A741D6 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:52:46] 751*2^1445227-1 is not prime. Res64: 0208DE68BDC8B118 Time : 0.0 sec. user=mdettweiler [2016-11-07 13:52:46] 793*2^1445227-1 is not prime. Res64: E5D7E99B3DA3036E Time : 0.0 sec. user=mdettweiler [2016-11-07 13:52:46] 861*2^1445227-1 is not prime. Res64: 43864729BCA80B57 Time : 0.0 sec. user=mdettweiler [2016-11-07 14:13:27] 855*2^1445228-1 is not prime. Res64: 08A58E6ACF877228 Time : 0.0 sec. user=mdettweiler [2016-11-07 14:13:27] 867*2^1445228-1 is not prime. Res64: E01AE380CC24318B Time : 0.0 sec. user=mdettweiler [2016-11-07 14:13:27] 627*2^1445229-1 is not prime. Res64: 935D257ECFE1F475 Time : 0.0 sec. user=mdettweiler [2016-11-07 14:13:28] 675*2^1445229-1 is not prime. Res64: 001D5FF9AF276F2C Time : 0.0 sec. user=mdettweiler [2016-11-07 14:13:28] 735*2^1445229-1 is not prime. Res64: 8E110D1DE7F31525 Time : 0.0 sec. user=mdettweiler [2016-11-07 14:14:18] 795*2^1445229-1 is not prime. Res64: C92A63FE7F57A03D Time : 0.0 sec. user=mdettweiler [2016-11-07 14:14:19] 975*2^1445229-1 is not prime. Res64: 96BA0F657B5A1416 Time : 0.0 sec. user=mdettweiler [2016-11-07 14:14:19] 671*2^1445230-1 is not prime. Res64: 0322B5AB31FBBC0A Time : 0.0 sec. user=mdettweiler [2016-11-07 14:14:19] 723*2^1445230-1 is not prime. Res64: 4ED21F0D7F40816C Time : 0.0 sec. user=mdettweiler [2016-11-07 14:14:20] 813*2^1445230-1 is not prime. Res64: D774CDE984367CB5 Time : 0.0 sec. user=mdettweiler [2016-11-07 14:45:15] 873*2^1445230-1 is not prime. Res64: 19B77D5851B1758E Time : 0.0 sec. user=mdettweiler [2016-11-07 14:45:15] 887*2^1445230-1 is not prime. Res64: 72EC085E45C8E37E Time : 0.0 sec. user=mdettweiler [2016-11-07 14:45:15] 661*2^1445231-1 is not prime. Res64: 80D70849E9A96781 Time : 0.0 sec. user=mdettweiler [2016-11-07 14:45:16] 693*2^1445231-1 is not prime. Res64: D5F44A19C372EDDE Time : 0.0 sec. user=mdettweiler [2016-11-07 14:45:16] 753*2^1445231-1 is not prime. Res64: 9A84601934EEA3BB Time : 0.0 sec. user=mdettweiler [2016-11-07 14:45:26] 813*2^1445231-1 is not prime. Res64: F151DCD18FE762E0 Time : 0.0 sec. user=mdettweiler [2016-11-07 14:45:26] 819*2^1445231-1 is not prime. Res64: 0A860BA7C79F2885 Time : 0.0 sec. user=mdettweiler [2016-11-07 14:45:26] 657*2^1445232-1 is not prime. Res64: 485E7849000DF79F Time : 0.0 sec. user=mdettweiler [2016-11-07 14:45:27] 665*2^1445232-1 is not prime. Res64: B587DCC84AC97788 Time : 0.0 sec. user=mdettweiler [2016-11-07 14:45:27] 689*2^1445232-1 is not prime. Res64: 9FBD90A89C969502 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:06:10] 693*2^1445232-1 is not prime. Res64: 2F6218EF2B1D5769 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:06:11] 717*2^1445232-1 is not prime. Res64: C3A0F8BB1BA28141 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:06:12] 857*2^1445232-1 is not prime. Res64: E326E582438FF11A Time : 0.0 sec. user=mdettweiler [2016-11-07 15:06:13] 879*2^1445232-1 is not prime. Res64: 49719175FC67A8A6 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:06:15] 887*2^1445232-1 is not prime. Res64: 0A8E34D6B8170A8E Time : 0.0 sec. user=mdettweiler [2016-11-07 15:06:20] 923*2^1445232-1 is not prime. Res64: B8B9FDC8FB51DB7D Time : 0.0 sec. user=mdettweiler [2016-11-07 15:06:24] 747*2^1445233-1 is not prime. Res64: 56CD6561A2B3A8AF Time : 0.0 sec. user=mdettweiler [2016-11-07 15:06:30] 765*2^1445233-1 is not prime. Res64: E69862C1B808EB95 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:06:33] 877*2^1445233-1 is not prime. Res64: 1342CAB684C970AE Time : 0.0 sec. user=mdettweiler [2016-11-07 15:06:35] 957*2^1445233-1 is not prime. Res64: 7C2A5F75469ACCB7 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:36:45] 987*2^1445234-1 is not prime. Res64: AED32DBF5119E38A Time : 0.0 sec. user=mdettweiler [2016-11-07 15:36:45] 993*2^1445234-1 is not prime. Res64: 5C5021C87AB66D55 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:36:45] 649*2^1445235-1 is not prime. Res64: 12DAEC09C82493DD Time : 0.0 sec. user=mdettweiler [2016-11-07 15:36:45] 685*2^1445235-1 is not prime. Res64: DC655D3D46F1CB71 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:36:46] 849*2^1445235-1 is not prime. Res64: B543562093DB23F8 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:37:32] 999*2^1445233-1 is not prime. Res64: F833BFB4BC669BE2 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:37:33] 705*2^1445234-1 is not prime. Res64: 1B320926CF24971C Time : 0.0 sec. user=mdettweiler [2016-11-07 15:37:33] 711*2^1445234-1 is not prime. Res64: 704164E6A114E867 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:37:33] 815*2^1445234-1 is not prime. Res64: A0D03C38FDFC0147 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:37:34] 875*2^1445234-1 is not prime. Res64: B6953A693657564D Time : 0.0 sec. user=mdettweiler [2016-11-07 15:57:50] 955*2^1445235-1 is not prime. Res64: 56E78BD067CF9FD0 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:57:51] 985*2^1445235-1 is not prime. Res64: ADF8F8B5B870F4F7 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:57:51] 623*2^1445236-1 is not prime. Res64: 68E712C669937F16 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:57:51] 693*2^1445236-1 is not prime. Res64: 2828D63405021374 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:57:51] 705*2^1445236-1 is not prime. Res64: 4B6792F3D3DDC679 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:58:17] 723*2^1445236-1 is not prime. Res64: 5412066C765616F9 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:58:17] 777*2^1445236-1 is not prime. Res64: D7C17AA5E9EBDB95 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:58:18] 747*2^1445237-1 is not prime. Res64: DAA698FF3F067A38 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:58:18] 799*2^1445237-1 is not prime. Res64: 31FCC269B391BAF7 Time : 0.0 sec. user=mdettweiler [2016-11-07 15:58:18] 825*2^1445237-1 is not prime. Res64: B253CB011BBF63C1 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:29:20] 867*2^1445237-1 is not prime. Res64: 349597B277F07B4D Time : 0.0 sec. user=mdettweiler [2016-11-07 16:29:21] 885*2^1445237-1 is not prime. Res64: 8EA71B5BC02AD805 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:29:21] 937*2^1445237-1 is not prime. Res64: 8C532C70A33A5335 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:29:21] 955*2^1445237-1 is not prime. Res64: 0CA0117F1C287239 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:29:22] 985*2^1445237-1 is not prime. Res64: CF1AD759A106CD99 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:29:58] 991*2^1445237-1 is not prime. Res64: 35B10E2A4362AF20 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:29:58] 635*2^1445238-1 is not prime. Res64: 00578BCB13487042 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:29:58] 677*2^1445238-1 is not prime. Res64: DDA1DF8BAC979288 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:29:58] 707*2^1445238-1 is not prime. Res64: 161E2B205C9976A8 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:29:59] 843*2^1445238-1 is not prime. Res64: C162069AD647EDCE Time : 0.0 sec. user=mdettweiler [2016-11-07 16:50:28] 891*2^1445238-1 is not prime. Res64: 0929030C8E2B5115 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:50:28] 927*2^1445238-1 is not prime. Res64: 1EB1E9F1786DAAFA Time : 0.0 sec. user=mdettweiler [2016-11-07 16:50:29] 957*2^1445238-1 is not prime. Res64: 5013732A33C2272A Time : 0.0 sec. user=mdettweiler [2016-11-07 16:50:29] 619*2^1445239-1 is not prime. Res64: A381EE5B9B3A2E65 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:50:29] 645*2^1445239-1 is not prime. Res64: B288E31BFAEB1A17 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:51:00] 729*2^1445239-1 is not prime. Res64: 85C14F621CFEA208 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:51:01] 735*2^1445239-1 is not prime. Res64: 9B3F9B7CF4C35BF8 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:51:01] 861*2^1445239-1 is not prime. Res64: 4BCF636583FA86D7 Time : 0.0 sec. user=mdettweiler [2016-11-07 16:51:01] 735*2^1445240-1 is not prime. Res64: D350581E4D9F5EDB Time : 0.0 sec. user=mdettweiler [2016-11-07 16:51:02] 825*2^1445240-1 is not prime. Res64: BCCDF91F3E13AC8D Time : 0.0 sec. user=mdettweiler [2016-11-07 17:20:34] 845*2^1445240-1 is not prime. Res64: 5CC280D5D9DCF41A Time : 0.0 sec. user=mdettweiler [2016-11-07 17:20:35] 977*2^1445240-1 is not prime. Res64: ABEEF5F1943FC367 Time : 0.0 sec. user=mdettweiler [2016-11-07 17:20:35] 999*2^1445240-1 is not prime. Res64: 324342DB38923073 Time : 0.0 sec. user=mdettweiler [2016-11-07 17:20:35] 661*2^1445241-1 is not prime. Res64: 0EC10E35124B7D7D Time : 0.0 sec. user=mdettweiler [2016-11-07 17:20:36] 847*2^1445241-1 is not prime. Res64: 788CCFB6ED90EA71 Time : 0.0 sec. user=mdettweiler [2016-11-07 17:22:06] 909*2^1445241-1 is not prime. Res64: DCD7ADC923BA2CF9 Time : 0.0 sec. user=mdettweiler [2016-11-07 17:22:07] 951*2^1445241-1 is not prime. Res64: 35E16C5850EB5FD8 Time : 0.0 sec. user=mdettweiler [2016-11-07 17:22:07] 647*2^1445242-1 is not prime. Res64: 678ED275E2DE681D Time : 0.0 sec. user=mdettweiler [2016-11-07 17:22:07] 743*2^1445242-1 is not prime. Res64: 1C070C5A75E62C6D Time : 0.0 sec. user=mdettweiler [2016-11-07 17:22:07] 891*2^1445242-1 is not prime. Res64: BBCB95E2E5742A7B Time : 0.0 sec. user=mdettweiler [2016-11-07 17:42:52] 745*2^1445243-1 is not prime. Res64: FF2D490382EE4E8B Time : 0.0 sec. user=mdettweiler [2016-11-07 17:42:52] 775*2^1445243-1 is not prime. Res64: 3216937CCCDE2F3A Time : 0.0 sec. user=mdettweiler [2016-11-07 17:42:52] 949*2^1445243-1 is not prime. Res64: BBD2F8CCA17B3A77 Time : 0.0 sec. user=mdettweiler [2016-11-07 17:42:53] 985*2^1445243-1 is not prime. Res64: C95FA6FAE832C49C Time : 0.0 sec. user=mdettweiler [2016-11-07 17:42:53] 993*2^1445243-1 is not prime. Res64: 6A1D6E2CDB1C3E27 Time : 0.0 sec. user=mdettweiler [2016-11-07 17:43:04] 917*2^1445242-1 is not prime. Res64: FB129412836B6600 Time : 0.0 sec. user=mdettweiler [2016-11-07 17:43:05] 941*2^1445242-1 is not prime. Res64: 2A5B2D60946F0E6C Time : 0.0 sec. user=mdettweiler [2016-11-07 17:43:05] 603*2^1445243-1 is not prime. Res64: D7EF10CFEABD41BA Time : 0.0 sec. user=mdettweiler [2016-11-07 17:43:05] 609*2^1445243-1 is not prime. Res64: 1BA962E4FB4EF203 Time : 0.0 sec. user=mdettweiler [2016-11-07 17:43:06] 615*2^1445243-1 is not prime. Res64: 449E3DFE83139F94 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:12:37] 635*2^1445244-1 is not prime. Res64: 88432103CF0C7542 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:12:37] 753*2^1445244-1 is not prime. Res64: 2AE5EE201EEE5297 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:12:37] 843*2^1445244-1 is not prime. Res64: 6CD6BB6881A309C8 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:12:38] 863*2^1445244-1 is not prime. Res64: 653BABBC8EEC3E00 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:12:38] 887*2^1445244-1 is not prime. Res64: E1B436025D3D5C2D Time : 0.0 sec. user=mdettweiler [2016-11-07 18:14:28] 959*2^1445244-1 is not prime. Res64: 82FA5340D7C4F451 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:14:29] 965*2^1445244-1 is not prime. Res64: 96DDDCAB727119E5 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:14:29] 975*2^1445244-1 is not prime. Res64: 09BB98DBDD9EC962 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:14:29] 987*2^1445244-1 is not prime. Res64: 97E46D3635C41183 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:14:29] 867*2^1445245-1 is not prime. Res64: 6222C9E73306B6E6 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:35:22] 843*2^1445246-1 is not prime. Res64: 9074C4825AE88A78 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:35:22] 851*2^1445246-1 is not prime. Res64: C7504D5CD9D8F8B8 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:35:24] 887*2^1445246-1 is not prime. Res64: 2CB19DD4BBBEFC13 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:35:25] 953*2^1445246-1 is not prime. Res64: 2EFF26F35E0337E9 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:35:25] 965*2^1445246-1 is not prime. Res64: 2FF6F1F45381D28D Time : 0.0 sec. user=mdettweiler [2016-11-07 18:36:04] 979*2^1445245-1 is not prime. Res64: DF374024011119D3 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:36:04] 987*2^1445245-1 is not prime. Res64: 94F30DCBB1C99AF5 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:36:05] 747*2^1445246-1 is not prime. Res64: CD24D2B4658BA3E3 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:36:05] 773*2^1445246-1 is not prime. Res64: 8261CAD2A5BDAA95 Time : 0.0 sec. user=mdettweiler [2016-11-07 18:36:05] 833*2^1445246-1 is not prime. Res64: 2ADA962FDBF4DA83 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:06:05] 971*2^1445246-1 is not prime. Res64: B32226681B4665B2 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:06:06] 619*2^1445247-1 is not prime. Res64: 5AD3E7626ED12C46 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:06:08] 685*2^1445247-1 is not prime. Res64: F92FF94B7DE03879 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:06:10] 739*2^1445247-1 is not prime. Res64: CCBCD1EC327BBF53 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:06:13] 773*2^1445248-1 is not prime. Res64: 3CE8D979FBC24FF2 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:06:53] 777*2^1445248-1 is not prime. Res64: 8663AF3F386C4E20 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:06:53] 863*2^1445248-1 is not prime. Res64: 4B74E98850522CD9 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:06:55] 887*2^1445248-1 is not prime. Res64: DC7BE7A1A130D1FA Time : 0.0 sec. user=mdettweiler [2016-11-07 19:06:57] 619*2^1445249-1 is not prime. Res64: 0A5E1D940C8B354E Time : 0.0 sec. user=mdettweiler [2016-11-07 19:06:58] 657*2^1445249-1 is not prime. Res64: 9C5DCA6B165236CE Time : 0.0 sec. user=mdettweiler [2016-11-07 19:27:26] 729*2^1445249-1 is not prime. Res64: 95DE3B276AEAF7DE Time : 0.0 sec. user=mdettweiler [2016-11-07 19:27:26] 811*2^1445249-1 is not prime. Res64: 64AA5BC565F265C9 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:27:26] 985*2^1445249-1 is not prime. Res64: 0DE76CB03C2160E6 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:27:27] 647*2^1445250-1 is not prime. Res64: 01F1EF02CE7DF58F Time : 0.0 sec. user=mdettweiler [2016-11-07 19:27:27] 717*2^1445250-1 is not prime. Res64: 14532A0905665590 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:27:58] 791*2^1445250-1 is not prime. Res64: 5954B0DFC1947626 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:27:59] 875*2^1445250-1 is not prime. Res64: CEE0DFCFBD3CFAC9 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:27:59] 977*2^1445250-1 is not prime. Res64: ACA77E67F783D357 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:27:59] 741*2^1445251-1 is not prime. Res64: CFCC074D24BC0C20 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:28:00] 759*2^1445251-1 is not prime. Res64: 14C82831F362F2C1 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:57:29] 793*2^1445251-1 is not prime. Res64: D2D9A5084CDFB0C6 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:57:29] 843*2^1445251-1 is not prime. Res64: 51F53C45EF69C9B6 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:57:30] 861*2^1445251-1 is not prime. Res64: 35412C0EA7E3DD90 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:57:30] 889*2^1445251-1 is not prime. Res64: 4CC84B8F59486665 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:57:30] 999*2^1445251-1 is not prime. Res64: 7EFD232D6689C7F4 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:59:37] 623*2^1445252-1 is not prime. Res64: D425E3DB7CAFDBF8 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:59:38] 675*2^1445252-1 is not prime. Res64: E998A21C15E81D10 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:59:38] 693*2^1445252-1 is not prime. Res64: 6EF9F948987973B9 Time : 0.0 sec. user=mdettweiler [2016-11-07 19:59:38] 743*2^1445252-1 is not prime. Res64: 15C71F149E0D553D Time : 0.0 sec. user=mdettweiler [2016-11-07 19:59:39] 749*2^1445252-1 is not prime. Res64: 0759DB2D0BDAB354 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:20:06] 767*2^1445252-1 is not prime. Res64: D357800E765F947F Time : 0.0 sec. user=mdettweiler [2016-11-07 20:20:07] 899*2^1445252-1 is not prime. Res64: 4A6660CD19B131A7 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:20:07] 959*2^1445252-1 is not prime. Res64: 6AAC3F06527BA94F Time : 0.0 sec. user=mdettweiler [2016-11-07 20:20:08] 987*2^1445252-1 is not prime. Res64: 1B6B63D7F1424E30 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:20:08] 679*2^1445253-1 is not prime. Res64: 776369AEA2DCB56B Time : 0.0 sec. user=mdettweiler [2016-11-07 20:20:24] 751*2^1445253-1 is not prime. Res64: 9638360FAD1766DB Time : 0.0 sec. user=mdettweiler [2016-11-07 20:20:25] 795*2^1445253-1 is not prime. Res64: C9A0965553121D1F Time : 0.0 sec. user=mdettweiler [2016-11-07 20:20:25] 819*2^1445253-1 is not prime. Res64: 0AD40642F0BB6DBA Time : 0.0 sec. user=mdettweiler [2016-11-07 20:20:25] 915*2^1445253-1 is not prime. Res64: 26C4982A6E878BC4 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:20:25] 951*2^1445253-1 is not prime. Res64: 0C9C958F7F3E2A80 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:50:54] 605*2^1445254-1 is not prime. Res64: F088243CF79458C6 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:50:54] 665*2^1445254-1 is not prime. Res64: 29FE7D8F422CD144 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:50:54] 833*2^1445254-1 is not prime. Res64: 68E66C57F94CCC38 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:50:55] 887*2^1445254-1 is not prime. Res64: 53B4C5277B7D591E Time : 0.0 sec. user=mdettweiler [2016-11-07 20:50:55] 941*2^1445254-1 is not prime. Res64: 15E3BC5688194176 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:52:34] 947*2^1445254-1 is not prime. Res64: 2C462882BDAA45DC Time : 0.0 sec. user=mdettweiler [2016-11-07 20:52:35] 783*2^1445255-1 is not prime. Res64: CFBBFC020945D923 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:52:35] 789*2^1445255-1 is not prime. Res64: D6B04557643460EE Time : 0.0 sec. user=mdettweiler [2016-11-07 20:52:36] 831*2^1445255-1 is not prime. Res64: F86D52DC2922D6F6 Time : 0.0 sec. user=mdettweiler [2016-11-07 20:52:36] 633*2^1445256-1 is not prime. Res64: BF1F48881219DA97 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:13:22] 639*2^1445256-1 is not prime. Res64: 2A8DB42C44368C34 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:13:23] 653*2^1445256-1 is not prime. Res64: 90D2D4B8E4C313B9 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:13:23] 993*2^1445256-1 is not prime. Res64: B217E8A2B34557D8 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:13:23] 717*2^1445256-1 is not prime. Res64: 2731483283D0F8DB Time : 0.0 sec. user=mdettweiler [2016-11-07 21:13:23] 699*2^1445257-1 is not prime. Res64: 31C3583066AD2181 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:13:23] 737*2^1445256-1 is not prime. Res64: D66EF201CE3C5DD2 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:13:24] 801*2^1445257-1 is not prime. Res64: 9215ABE9E52392D2 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:13:24] 905*2^1445256-1 is not prime. Res64: 8594DB7A114BF8C1 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:13:24] 955*2^1445257-1 is not prime. Res64: 605E8E1005551E1F Time : 0.0 sec. user=mdettweiler [2016-11-07 21:13:25] 687*2^1445258-1 is not prime. Res64: 912CE77C4066E54D Time : 0.0 sec. user=mdettweiler [2016-11-07 21:43:12] 815*2^1445258-1 is not prime. Res64: 0B73AAFB212B8D8C Time : 0.0 sec. user=mdettweiler [2016-11-07 21:43:12] 837*2^1445258-1 is not prime. Res64: C6E43CB1D54FF5E6 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:43:12] 867*2^1445258-1 is not prime. Res64: C4C7E1B692893821 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:43:12] 887*2^1445258-1 is not prime. Res64: BBB211831AF80725 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:43:13] 893*2^1445258-1 is not prime. Res64: E43CE968AE535DA3 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:44:51] 963*2^1445258-1 is not prime. Res64: C07040486759E9BC Time : 0.0 sec. user=mdettweiler [2016-11-07 21:44:51] 745*2^1445259-1 is not prime. Res64: 44541FD72F84EF84 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:44:53] 789*2^1445259-1 is not prime. Res64: 4A0037E6D2D6D1CA Time : 0.0 sec. user=mdettweiler [2016-11-07 21:44:54] 801*2^1445259-1 is not prime. Res64: 5BA5911A0B915FB2 Time : 0.0 sec. user=mdettweiler [2016-11-07 21:44:54] 951*2^1445259-1 is not prime. Res64: 9E805CFB8F344F6B Time : 0.0 sec. user=mdettweiler [2016-11-07 22:05:09] 695*2^1445260-1 is not prime. Res64: 7938E365E0A56DD5 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:05:11] 707*2^1445260-1 is not prime. Res64: 5B963E709CFD77FC Time : 0.0 sec. user=mdettweiler [2016-11-07 22:05:12] 755*2^1445260-1 is not prime. Res64: CA848C6A4A7FE8C5 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:05:12] 759*2^1445260-1 is not prime. Res64: 5FC5E3CEC2EE12F3 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:05:14] 813*2^1445260-1 is not prime. Res64: CE042CB346B8B043 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:05:40] 855*2^1445260-1 is not prime. Res64: FF1A3325130B27FC Time : 0.0 sec. user=mdettweiler [2016-11-07 22:05:41] 933*2^1445260-1 is not prime. Res64: E387FF712AE354AE Time : 0.0 sec. user=mdettweiler [2016-11-07 22:05:43] 965*2^1445260-1 is not prime. Res64: 348E6D26C08B7352 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:05:44] 645*2^1445261-1 is not prime. Res64: 3AD3C5D533FE5CFD Time : 0.0 sec. user=mdettweiler [2016-11-07 22:05:46] 715*2^1445261-1 is not prime. Res64: 66166F705EB8451D Time : 0.0 sec. user=mdettweiler [2016-11-07 22:36:06] 745*2^1445261-1 is not prime. Res64: E3CE74B2C0A33EC2 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:36:06] 683*2^1445262-1 is not prime. Res64: 578EFB75D4405869 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:36:06] 711*2^1445262-1 is not prime. Res64: 3EEFB32FAB61E2DF Time : 0.0 sec. user=mdettweiler [2016-11-07 22:36:06] 917*2^1445262-1 is not prime. Res64: 6CE819395CBAF95F Time : 0.0 sec. user=mdettweiler [2016-11-07 22:36:07] 975*2^1445262-1 is not prime. Res64: 739F404CBAA6DEF9 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:37:33] 679*2^1445263-1 is not prime. Res64: 7F309BFDA7FB217A Time : 0.0 sec. user=mdettweiler [2016-11-07 22:37:34] 771*2^1445263-1 is not prime. Res64: E29473C1A1CEC0C5 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:37:34] 859*2^1445263-1 is not prime. Res64: 76E0C3FA7E5AE4BE Time : 0.0 sec. user=mdettweiler [2016-11-07 22:37:35] 933*2^1445263-1 is not prime. Res64: 57F0F872F5F78FBA Time : 0.0 sec. user=mdettweiler [2016-11-07 22:37:35] 951*2^1445263-1 is not prime. Res64: 3A145479E34C8158 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:58:31] 639*2^1445265-1 is not prime. Res64: 0888429CC03C0D17 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:58:32] 705*2^1445265-1 is not prime. Res64: A37BFAD6094E8EBB Time : 0.0 sec. user=mdettweiler [2016-11-07 22:58:32] 711*2^1445265-1 is not prime. Res64: 96164B18C1B8E857 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:58:33] 787*2^1445265-1 is not prime. Res64: BE1BCF09F327CDFD Time : 0.0 sec. user=mdettweiler [2016-11-07 22:58:33] 871*2^1445265-1 is not prime. Res64: 6071EC50025BF25C Time : 0.0 sec. user=mdettweiler [2016-11-07 22:58:43] 605*2^1445264-1 is not prime. Res64: 2001F88EFAB30965 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:58:43] 629*2^1445264-1 is not prime. Res64: 376A5228FAC70A73 Time : 0.0 sec. user=mdettweiler [2016-11-07 22:58:44] 635*2^1445264-1 is not prime. Res64: DD558F6547D8043B Time : 0.0 sec. user=mdettweiler [2016-11-07 22:58:44] 747*2^1445264-1 is not prime. Res64: FF7CFAAAA156726D Time : 0.0 sec. user=mdettweiler [2016-11-07 22:58:45] 945*2^1445264-1 is not prime. Res64: A1E9C5B0306B70C9 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:28:58] 921*2^1445265-1 is not prime. Res64: D58E4A5ED679CF49 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:28:58] 985*2^1445265-1 is not prime. Res64: E441799FE69A6E37 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:28:58] 999*2^1445265-1 is not prime. Res64: 6591198562FADE59 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:28:59] 645*2^1445266-1 is not prime. Res64: 49F947E33D6881A0 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:28:59] 713*2^1445266-1 is not prime. Res64: 9D9B50FCA03DB778 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:30:37] 735*2^1445266-1 is not prime. Res64: 77D943FF45D3FC14 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:30:37] 861*2^1445266-1 is not prime. Res64: 42911027D7A0A816 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:30:37] 933*2^1445266-1 is not prime. Res64: ED7EF6678B410448 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:30:38] 945*2^1445266-1 is not prime. Res64: 80EABB8BBFC026F9 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:30:38] 601*2^1445267-1 is not prime. Res64: 6C2BB6BA2956DD34 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:53:19] 619*2^1445267-1 is not prime. Res64: 8CFC2FE043BCEFCA Time : 0.0 sec. user=mdettweiler [2016-11-07 23:53:19] 673*2^1445267-1 is not prime. Res64: A9BCE13C06E03411 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:53:20] 741*2^1445267-1 is not prime. Res64: A0BA947037898791 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:53:20] 859*2^1445267-1 is not prime. Res64: 1343FF2738AB3DE7 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:53:20] 669*2^1445268-1 is not prime. Res64: B2F854EF5C5D60E0 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:54:49] 803*2^1445268-1 is not prime. Res64: 72945F84A0099809 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:54:52] 947*2^1445268-1 is not prime. Res64: 27F40AEA73A57AD8 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:54:52] 993*2^1445268-1 is not prime. Res64: F89DB16272E5DFE5 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:54:52] 615*2^1445269-1 is not prime. Res64: 6B76929EBB5D06A6 Time : 0.0 sec. user=mdettweiler [2016-11-07 23:54:53] 985*2^1445269-1 is not prime. Res64: 8BD9A3F603B4BA31 Time : 0.0 sec.