user=mdettweiler [2018-04-17 00:04:18] 651*2^1507311-1 is not prime. Res64: 5CEA954038C3F269 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:04:19] 705*2^1507311-1 is not prime. Res64: D6939DED7B185AFA Time : 0.0 sec. user=mdettweiler [2018-04-17 00:04:22] 735*2^1507311-1 is not prime. Res64: 4DBF3297B814EFF9 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:04:25] 795*2^1507311-1 is not prime. Res64: 1177DF7450B0ECF0 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:04:27] 865*2^1507311-1 is not prime. Res64: D7C81F5F221E215C Time : 0.0 sec. user=mdettweiler [2018-04-17 00:25:36] 991*2^1507311-1 is not prime. Res64: B025BA5896BFD6D6 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:25:37] 849*2^1507312-1 is not prime. Res64: 6E1AE7957672F236 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:25:37] 965*2^1507312-1 is not prime. Res64: C7BB14D0D1801D6B Time : 0.0 sec. user=mdettweiler [2018-04-17 00:25:38] 989*2^1507312-1 is not prime. Res64: B9860B16E41E7788 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:25:38] 819*2^1507313-1 is not prime. Res64: 607A649B099D1590 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:26:09] 871*2^1507313-1 is not prime. Res64: 1822191C914BE7E0 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:26:09] 885*2^1507313-1 is not prime. Res64: EE5B21A73D75111D Time : 0.0 sec. user=mdettweiler [2018-04-17 00:26:10] 717*2^1507314-1 is not prime. Res64: A5A900ACD08737AE Time : 0.0 sec. user=mdettweiler [2018-04-17 00:26:10] 803*2^1507314-1 is not prime. Res64: 9C970DC6D86F1F6C Time : 0.0 sec. user=mdettweiler [2018-04-17 00:26:10] 851*2^1507314-1 is not prime. Res64: D00B969FC49E8EC4 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:26:41] 903*2^1507314-1 is not prime. Res64: D0BC8724CE39B879 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:26:41] 945*2^1507314-1 is not prime. Res64: 628B99C744201F2C Time : 0.0 sec. user=mdettweiler [2018-04-17 00:26:42] 951*2^1507314-1 is not prime. Res64: 910D3F707D4C744B Time : 0.0 sec. user=mdettweiler [2018-04-17 00:26:42] 691*2^1507315-1 is not prime. Res64: 1490095426F0688F Time : 0.0 sec. user=mdettweiler [2018-04-17 00:26:42] 895*2^1507315-1 is not prime. Res64: 0A4C9D53E638D844 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:55:30] 919*2^1507315-1 is not prime. Res64: EE68D445F5480F5E Time : 0.0 sec. user=mdettweiler [2018-04-17 00:55:30] 683*2^1507316-1 is not prime. Res64: 6A03F53CE7DD8A46 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:55:31] 693*2^1507316-1 is not prime. Res64: 31E44B3947D324C0 Time : 0.0 sec. user=mdettweiler [2018-04-17 00:55:31] 725*2^1507316-1 is not prime. Res64: F1BC9E990003B08F Time : 0.0 sec. user=mdettweiler [2018-04-17 00:55:31] 845*2^1507316-1 is not prime. Res64: 6E41B22AE7767AB3 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:16:33] 969*2^1507316-1 is not prime. Res64: 50B3278C2C532833 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:16:33] 999*2^1507316-1 is not prime. Res64: 52A3DF1EAF4D626C Time : 0.0 sec. user=mdettweiler [2018-04-17 01:16:33] 655*2^1507317-1 is not prime. Res64: 94A82C58BA137BE7 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:16:34] 867*2^1507317-1 is not prime. Res64: ED5037809A391DCA Time : 0.0 sec. user=mdettweiler [2018-04-17 01:16:34] 955*2^1507317-1 is not prime. Res64: 5EACA732DD2F4A60 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:16:40] 655*2^1507319-1 is not prime. Res64: DD36A7EC840F0637 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:16:41] 685*2^1507319-1 is not prime. Res64: 2785536B1D56FA4C Time : 0.0 sec. user=mdettweiler [2018-04-17 01:16:41] 693*2^1507319-1 is not prime. Res64: 5A7BC0720BDB79B0 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:16:42] 889*2^1507319-1 is not prime. Res64: DA87166E61B2DD13 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:16:43] 979*2^1507319-1 is not prime. Res64: F6F0FDCC06BA6694 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:17:26] 743*2^1507318-1 is not prime. Res64: EA8CC86B7A9A3800 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:17:26] 833*2^1507318-1 is not prime. Res64: B890DE442880DE9C Time : 0.0 sec. user=mdettweiler [2018-04-17 01:17:27] 867*2^1507318-1 is not prime. Res64: CB4F9320903ABCF5 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:17:27] 957*2^1507318-1 is not prime. Res64: 08BF505FABD3C201 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:17:27] 619*2^1507319-1 is not prime. Res64: 57EC2BD84766B500 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:47:32] 991*2^1507319-1 is not prime. Res64: 7791D282A41BAA21 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:47:33] 623*2^1507320-1 is not prime. Res64: 04AB4F5EFDBDFBA8 Time : 0.0 sec. user=mdettweiler [2018-04-17 01:47:33] 627*2^1507320-1 is not prime. Res64: 845B9207AB7325CD Time : 0.0 sec. user=mdettweiler [2018-04-17 01:47:34] 665*2^1507320-1 is not prime. Res64: 3D52971238A18CBA Time : 0.0 sec. user=mdettweiler [2018-04-17 01:47:35] 719*2^1507320-1 is not prime. Res64: 80283FF511DB759A Time : 0.0 sec. user=mdettweiler [2018-04-17 02:07:57] 737*2^1507320-1 is not prime. Res64: E1192932DC7A7292 Time : 0.0 sec. user=mdettweiler [2018-04-17 02:08:00] 767*2^1507320-1 is not prime. Res64: DC597AFE6FD509ED Time : 0.0 sec. user=mdettweiler [2018-04-17 02:08:02] 777*2^1507320-1 is not prime. Res64: 6DFDFCA00D97E48A Time : 0.0 sec. user=mdettweiler [2018-04-17 02:08:04] 843*2^1507320-1 is not prime. Res64: C7059148508311AF Time : 0.0 sec. user=mdettweiler [2018-04-17 02:08:05] 845*2^1507320-1 is not prime. Res64: 15E3DB9F4CFE15D7 Time : 0.0 sec. user=mdettweiler [2018-04-17 02:08:08] 639*2^1507321-1 is not prime. Res64: 63BB54628166851D Time : 0.0 sec. user=mdettweiler [2018-04-17 02:08:09] 649*2^1507321-1 is not prime. Res64: AE2A205D624AA9FB Time : 0.0 sec. user=mdettweiler [2018-04-17 02:08:10] 705*2^1507321-1 is not prime. Res64: B221D3C0B2BD4A74 Time : 0.0 sec. user=mdettweiler [2018-04-17 02:08:12] 861*2^1507321-1 is not prime. Res64: B5364D373FB6B467 Time : 0.0 sec. user=mdettweiler [2018-04-17 02:08:13] 617*2^1507322-1 is not prime. Res64: F7ECFAF59F478C34 Time : 0.0 sec. user=mdettweiler [2018-04-17 02:09:21] 923*2^1507320-1 is not prime. Res64: E6CAB1DB842D5E13 Time : 0.0 sec. user=mdettweiler [2018-04-17 02:09:23] 933*2^1507320-1 is not prime. Res64: D60E431D7C88A25E Time : 0.0 sec. user=mdettweiler [2018-04-17 02:09:24] 957*2^1507320-1 is not prime. Res64: 3DE6BF923EF29B2F Time : 0.0 sec. user=mdettweiler [2018-04-17 02:09:25] 959*2^1507320-1 is not prime. Res64: 1039D634AF00D407 Time : 0.0 sec. user=mdettweiler [2018-04-17 02:09:26] 983*2^1507320-1 is not prime. Res64: B82F835DF99ADBDB Time : 0.0 sec. user=mdettweiler [2018-04-17 02:39:56] 623*2^1507322-1 is not prime. Res64: 8D8F2E7CBC7091E4 Time : 0.0 sec. user=mdettweiler [2018-04-17 02:39:57] 885*2^1507322-1 is not prime. Res64: A04A2425153D1629 Time : 0.0 sec. user=mdettweiler [2018-04-17 02:39:57] 963*2^1507322-1 is not prime. Res64: 49C0EA69C9EA1F5B Time : 0.0 sec. user=mdettweiler [2018-04-17 02:39:58] 981*2^1507322-1 is not prime. Res64: 0596E1AADEFF4747 Time : 0.0 sec. user=mdettweiler [2018-04-17 02:39:59] 615*2^1507323-1 is not prime. Res64: 40CABA85578023C7 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:01:25] 619*2^1507323-1 is not prime. Res64: 6E682CBED1D29ABA Time : 0.0 sec. user=mdettweiler [2018-04-17 03:01:28] 663*2^1507323-1 is not prime. Res64: 9B481D285B539ED0 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:01:32] 961*2^1507323-1 is not prime. Res64: D09A70ACF832D239 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:01:35] 663*2^1507324-1 is not prime. Res64: 38FF2DEDD90A40D6 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:01:37] 685*2^1507323-1 is not prime. Res64: B3FD603AA01F9FA7 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:01:38] 827*2^1507324-1 is not prime. Res64: C2A82842AA3A0F70 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:01:42] 765*2^1507323-1 is not prime. Res64: 2EE3114DAE1F3B83 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:01:44] 859*2^1507323-1 is not prime. Res64: 2020952F9D317B5B Time : 0.0 sec. user=mdettweiler [2018-04-17 03:01:47] 895*2^1507323-1 is not prime. Res64: 749170C43903C6F9 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:01:49] 955*2^1507323-1 is not prime. Res64: 3D36B0E3F767F3B2 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:02:24] 833*2^1507324-1 is not prime. Res64: 5F5861407CA65F02 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:02:28] 857*2^1507324-1 is not prime. Res64: 531E691919C84128 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:02:30] 953*2^1507324-1 is not prime. Res64: EEF67622BFD3D36F Time : 0.0 sec. user=mdettweiler [2018-04-17 03:02:36] 759*2^1507325-1 is not prime. Res64: 2A47FAF65CA13A62 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:02:38] 777*2^1507325-1 is not prime. Res64: 52FEE2405F6D8EA3 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:31:02] 781*2^1507325-1 is not prime. Res64: 173FEA966FD7C52A Time : 0.0 sec. user=mdettweiler [2018-04-17 03:31:04] 805*2^1507325-1 is not prime. Res64: 193A91AA0E3CF907 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:31:05] 825*2^1507325-1 is not prime. Res64: 33CFA5B64AD0CF75 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:31:07] 867*2^1507325-1 is not prime. Res64: 66AA5D20B15DB6CC Time : 0.0 sec. user=mdettweiler [2018-04-17 03:31:08] 635*2^1507326-1 is not prime. Res64: 231B36190DF4C94C Time : 0.0 sec. user=mdettweiler [2018-04-17 03:53:52] 641*2^1507326-1 is not prime. Res64: 4FBBE726DDBEEA3C Time : 0.0 sec. user=mdettweiler [2018-04-17 03:53:53] 707*2^1507326-1 is not prime. Res64: 9D6781CBDDC6DC78 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:53:53] 755*2^1507326-1 is not prime. Res64: B60F722C711B5A3E Time : 0.0 sec. user=mdettweiler [2018-04-17 03:53:55] 765*2^1507326-1 is not prime. Res64: 256C32A8F7EA1D8D Time : 0.0 sec. user=mdettweiler [2018-04-17 03:53:56] 915*2^1507328-1 is not prime. Res64: 53C10493D193CB42 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:54:34] 843*2^1507326-1 is not prime. Res64: 094047DFF4FB4639 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:54:39] 861*2^1507326-1 is not prime. Res64: 178D14B097D8FFA2 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:54:41] 945*2^1507326-1 is not prime. Res64: C0F740909319203B Time : 0.0 sec. user=mdettweiler [2018-04-17 03:54:46] 735*2^1507327-1 is not prime. Res64: 4C901A8ED118F98F Time : 0.0 sec. user=mdettweiler [2018-04-17 03:54:53] 759*2^1507327-1 is not prime. Res64: ABA3E253A1E262E2 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:54:58] 881*2^1507326-1 is not prime. Res64: 836C5CAD101E7D8C Time : 0.0 sec. user=mdettweiler [2018-04-17 03:55:02] 891*2^1507327-1 is not prime. Res64: 4EA8980C338F9D36 Time : 0.0 sec. user=mdettweiler [2018-04-17 03:55:11] 999*2^1507327-1 is not prime. Res64: 41DCCACF1B77976F Time : 0.0 sec. user=mdettweiler [2018-04-17 04:23:43] 999*2^1507328-1 is not prime. Res64: 78EDF0E5526E9E4E Time : 0.0 sec. user=mdettweiler [2018-04-17 04:23:45] 789*2^1507329-1 is not prime. Res64: 62F53F44EAA02435 Time : 0.0 sec. user=mdettweiler [2018-04-17 04:23:46] 889*2^1507329-1 is not prime. Res64: 2622DF6202DA51AD Time : 0.0 sec. user=mdettweiler [2018-04-17 04:23:47] 907*2^1507329-1 is not prime. Res64: 1621DEDB0BF2D909 Time : 0.0 sec. user=mdettweiler [2018-04-17 04:23:48] 999*2^1507329-1 is not prime. Res64: 72F175BAFC9CF42A Time : 0.0 sec. user=mdettweiler [2018-04-17 04:46:05] 675*2^1507330-1 is not prime. Res64: 33DB2C4DCED25878 Time : 0.0 sec. user=mdettweiler [2018-04-17 04:46:06] 687*2^1507330-1 is not prime. Res64: A4E68B8862DD316F Time : 0.0 sec. user=mdettweiler [2018-04-17 04:46:06] 741*2^1507330-1 is not prime. Res64: 06DBE0FE56068BDF Time : 0.0 sec. user=mdettweiler [2018-04-17 04:46:07] 803*2^1507330-1 is not prime. Res64: 6AA66790B498E42F Time : 0.0 sec. user=mdettweiler [2018-04-17 04:46:08] 827*2^1507330-1 is not prime. Res64: C5F6FB0DC481C6FB Time : 0.0 sec. user=mdettweiler [2018-04-17 04:46:50] 843*2^1507330-1 is not prime. Res64: 7576CE4AAD5B0B34 Time : 0.0 sec. user=mdettweiler [2018-04-17 04:46:51] 923*2^1507330-1 is not prime. Res64: 24CC492573D2D05E Time : 0.0 sec. user=mdettweiler [2018-04-17 04:46:51] 971*2^1507330-1 is not prime. Res64: 72ED8D80B90F9F9D Time : 0.0 sec. user=mdettweiler [2018-04-17 04:46:51] 975*2^1507330-1 is not prime. Res64: C676EE64D0459CEE Time : 0.0 sec. user=mdettweiler [2018-04-17 04:46:52] 657*2^1507332-1 is not prime. Res64: 2B99887BE154775C Time : 0.0 sec. user=mdettweiler [2018-04-17 05:15:31] 675*2^1507332-1 is not prime. Res64: 4116F023FB6071AD Time : 0.0 sec. user=mdettweiler [2018-04-17 05:15:32] 723*2^1507332-1 is not prime. Res64: 58EE13BD5268282F Time : 0.0 sec. user=mdettweiler [2018-04-17 05:15:32] 819*2^1507332-1 is not prime. Res64: C70CC6B5F72BFD81 Time : 0.0 sec. user=mdettweiler [2018-04-17 05:15:33] 899*2^1507332-1 is not prime. Res64: DB1A69E94550E908 Time : 0.0 sec. user=mdettweiler [2018-04-17 05:15:34] 923*2^1507332-1 is not prime. Res64: 49EDB4876BDBE435 Time : 0.0 sec. user=mdettweiler [2018-04-17 05:36:53] 619*2^1507333-1 is not prime. Res64: AF366C9BB1C37D03 Time : 0.0 sec. user=mdettweiler [2018-04-17 05:36:55] 639*2^1507333-1 is not prime. Res64: 6594298700802AE2 Time : 0.0 sec. user=mdettweiler [2018-04-17 05:36:59] 715*2^1507333-1 is not prime. Res64: AEF74A071C3AC065 Time : 0.0 sec. user=mdettweiler [2018-04-17 05:36:59] 757*2^1507333-1 is not prime. Res64: EE3D5D238820F211 Time : 0.0 sec. user=mdettweiler [2018-04-17 05:36:59] 765*2^1507333-1 is not prime. Res64: 10D4924A9D7E0CC9 Time : 0.0 sec. user=mdettweiler [2018-04-17 05:38:09] 805*2^1507333-1 is not prime. Res64: 481E739F3681F669 Time : 0.0 sec. user=mdettweiler [2018-04-17 05:38:09] 665*2^1507334-1 is not prime. Res64: 1B24ACD8727C5D5B Time : 0.0 sec. user=mdettweiler [2018-04-17 05:38:10] 791*2^1507334-1 is not prime. Res64: C92ECD65F3DB8033 Time : 0.0 sec. user=mdettweiler [2018-04-17 05:38:10] 813*2^1507334-1 is not prime. Res64: 90485A9EEAB293AE Time : 0.0 sec. user=mdettweiler [2018-04-17 05:38:11] 861*2^1507334-1 is not prime. Res64: 2271996407EDF67A Time : 0.0 sec. user=mdettweiler [2018-04-17 06:06:47] 923*2^1507334-1 is not prime. Res64: B2E9233DBF3C1E0E Time : 0.0 sec. user=mdettweiler [2018-04-17 06:06:51] 945*2^1507334-1 is not prime. Res64: E6A00B71349E57C9 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:06:52] 995*2^1507334-1 is not prime. Res64: 4C3A7D9CFD09E642 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:06:53] 633*2^1507335-1 is not prime. Res64: 7D0F7D096B31F2D6 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:06:53] 751*2^1507335-1 is not prime. Res64: 4A044C39754F19D6 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:27:56] 849*2^1507335-1 is not prime. Res64: B7BA83EA756C6F11 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:27:57] 979*2^1507335-1 is not prime. Res64: 9385E93C8D127562 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:27:57] 609*2^1507336-1 is not prime. Res64: 517563090E19DA32 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:27:57] 623*2^1507336-1 is not prime. Res64: 9ECEE20F854C5E0F Time : 0.0 sec. user=mdettweiler [2018-04-17 06:27:58] 845*2^1507336-1 is not prime. Res64: 9B03A24DF7038A3B Time : 0.0 sec. user=mdettweiler [2018-04-17 06:29:34] 899*2^1507336-1 is not prime. Res64: 1F8E6A09C3EB986B Time : 0.0 sec. user=mdettweiler [2018-04-17 06:29:34] 957*2^1507336-1 is not prime. Res64: B67247833A4F6708 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:29:34] 965*2^1507336-1 is not prime. Res64: 6C64A8D691FE24D9 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:29:35] 969*2^1507336-1 is not prime. Res64: 19222548BB9C332B Time : 0.0 sec. user=mdettweiler [2018-04-17 06:29:35] 999*2^1507336-1 is not prime. Res64: 6D6B2B3210E2F780 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:57:28] 649*2^1507337-1 is not prime. Res64: 0024DDB3ED4BACFF Time : 0.0 sec. user=mdettweiler [2018-04-17 06:57:29] 669*2^1507337-1 is not prime. Res64: A3F5070F8E1E0FC0 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:57:29] 685*2^1507337-1 is not prime. Res64: A255537121628930 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:57:29] 735*2^1507337-1 is not prime. Res64: DFA82B61B42DF339 Time : 0.0 sec. user=mdettweiler [2018-04-17 06:57:30] 759*2^1507337-1 is not prime. Res64: 0658E05A3A23AF4F Time : 0.0 sec. user=mdettweiler [2018-04-17 07:19:20] 771*2^1507337-1 is not prime. Res64: 05DADCB23EC96C9D Time : 0.0 sec. user=mdettweiler [2018-04-17 07:19:20] 889*2^1507337-1 is not prime. Res64: 212653DC9650E4BA Time : 0.0 sec. user=mdettweiler [2018-04-17 07:19:21] 937*2^1507337-1 is not prime. Res64: 48B095207DF1237B Time : 0.0 sec. user=mdettweiler [2018-04-17 07:19:21] 949*2^1507337-1 is not prime. Res64: 0EFBDD33C75977C3 Time : 0.0 sec. user=mdettweiler [2018-04-17 07:19:22] 981*2^1507337-1 is not prime. Res64: BB6B73B52545D571 Time : 0.0 sec. user=mdettweiler [2018-04-17 07:20:57] 705*2^1507338-1 is not prime. Res64: 7F0EC14476813842 Time : 0.0 sec. user=mdettweiler [2018-04-17 07:20:57] 773*2^1507338-1 is not prime. Res64: 288109A7812E433C Time : 0.0 sec. user=mdettweiler [2018-04-17 07:20:58] 801*2^1507338-1 is not prime. Res64: 22971C8CD0D14DDF Time : 0.0 sec. user=mdettweiler [2018-04-17 07:20:58] 843*2^1507338-1 is not prime. Res64: EA913DB6E03B1952 Time : 0.0 sec. user=mdettweiler [2018-04-17 07:20:58] 867*2^1507338-1 is not prime. Res64: DB16036F6168EC9A Time : 0.0 sec. user=mdettweiler [2018-04-17 07:23:48] 755*2^1507328-1 is not prime. Res64: 2DE39619852AB493 Time : 0.0 sec. user=mdettweiler [2018-04-17 07:23:49] 845*2^1507328-1 is not prime. Res64: 39D7151D152028F7 Time : 0.0 sec. user=mdettweiler [2018-04-17 07:47:00] 923*2^1507338-1 is not prime. Res64: 95B974FEB3177DC8 Time : 0.0 sec. user=mdettweiler [2018-04-17 07:47:01] 603*2^1507339-1 is not prime. Res64: F525CFA48FC5C21B Time : 0.0 sec. user=mdettweiler [2018-04-17 07:47:01] 609*2^1507339-1 is not prime. Res64: 0DEFC0D8957037AA Time : 0.0 sec. user=mdettweiler [2018-04-17 07:47:01] 619*2^1507339-1 is not prime. Res64: 58C8C514CC6268D9 Time : 0.0 sec. user=mdettweiler [2018-04-17 07:47:02] 775*2^1507339-1 is not prime. Res64: 1A974283CB72399B Time : 0.0 sec. user=mdettweiler [2018-04-17 08:10:03] 813*2^1507339-1 is not prime. Res64: D15324B27669D1F0 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:10:07] 883*2^1507339-1 is not prime. Res64: 79DBA05FD420420A Time : 0.0 sec. user=mdettweiler [2018-04-17 08:10:10] 891*2^1507339-1 is not prime. Res64: 0C178C82F17A9FF3 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:10:12] 635*2^1507340-1 is not prime. Res64: CE194CD7EF40E84B Time : 0.0 sec. user=mdettweiler [2018-04-17 08:10:14] 895*2^1507339-1 is not prime. Res64: 04438BC2DBEF5559 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:10:15] 707*2^1507340-1 is not prime. Res64: CC0D9F82F9BA091B Time : 0.0 sec. user=mdettweiler [2018-04-17 08:10:17] 931*2^1507339-1 is not prime. Res64: 2C136C369AD83185 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:10:18] 719*2^1507340-1 is not prime. Res64: E1E67445606BD4D5 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:10:20] 729*2^1507340-1 is not prime. Res64: 785ED4B8D2B402FA Time : 0.0 sec. user=mdettweiler [2018-04-17 08:10:21] 767*2^1507340-1 is not prime. Res64: 58382237EDCC13A4 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:14:40] 795*2^1507340-1 is not prime. Res64: 8AB70A2F4BE01A24 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:14:40] 909*2^1507340-1 is not prime. Res64: 09B6BAE4BA0C3F63 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:14:41] 923*2^1507340-1 is not prime. Res64: 65916C385D48BCF0 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:14:41] 953*2^1507340-1 is not prime. Res64: 387F0B05D694E8D2 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:14:41] 607*2^1507341-1 is not prime. Res64: 679262F51779B9A7 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:37:33] 625*2^1507341-1 is not prime. Res64: 582034939F9394A6 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:37:34] 649*2^1507341-1 is not prime. Res64: 5E8B56D05679F3DC Time : 0.0 sec. user=mdettweiler [2018-04-17 08:37:34] 709*2^1507341-1 is not prime. Res64: 3ACE319302A56885 Time : 0.0 sec. user=mdettweiler [2018-04-17 08:37:34] 717*2^1507341-1 is not prime. Res64: 415A471621DD1BEE Time : 0.0 sec. user=mdettweiler [2018-04-17 08:37:35] 861*2^1507341-1 is not prime. Res64: 296A7D198B909A01 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:01:20] 927*2^1507341-1 is not prime. Res64: 444EC6EF49F9D0DB Time : 0.0 sec. user=mdettweiler [2018-04-17 09:01:21] 979*2^1507341-1 is not prime. Res64: A306C464A4F25903 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:01:22] 603*2^1507342-1 is not prime. Res64: 31C450E2F4960DA4 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:01:23] 713*2^1507342-1 is not prime. Res64: 948F92647942C8A6 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:01:24] 731*2^1507342-1 is not prime. Res64: E6D50E6535D5DF8A Time : 0.0 sec. user=mdettweiler [2018-04-17 09:01:56] 741*2^1507342-1 is not prime. Res64: 928168777B0E50CD Time : 0.0 sec. user=mdettweiler [2018-04-17 09:01:57] 791*2^1507342-1 is not prime. Res64: 1891193745ADF0B9 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:01:58] 815*2^1507342-1 is not prime. Res64: BAD4EDF429797108 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:01:59] 609*2^1507343-1 is not prime. Res64: C7043A2590777570 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:01:59] 705*2^1507343-1 is not prime. Res64: 2020E692D427C624 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:05:31] 745*2^1507343-1 is not prime. Res64: ED5535611AEF3696 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:05:31] 615*2^1507344-1 is not prime. Res64: 7B49A076384C5E62 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:05:32] 635*2^1507344-1 is not prime. Res64: 6FC5A50F67304484 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:05:33] 893*2^1507344-1 is not prime. Res64: FC8D8F3081F8CF29 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:05:34] 909*2^1507344-1 is not prime. Res64: 41303CC324AA75C5 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:26:45] 929*2^1507344-1 is not prime. Res64: F853E946E3A8FBD8 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:26:45] 975*2^1507344-1 is not prime. Res64: D884DD91C549A0BF Time : 0.0 sec. user=mdettweiler [2018-04-17 09:26:45] 607*2^1507345-1 is not prime. Res64: 2A6DE02119E204E9 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:26:46] 721*2^1507345-1 is not prime. Res64: C56929F4C7D1D332 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:26:46] 729*2^1507345-1 is not prime. Res64: 5CA17D7483F76B12 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:51:25] 903*2^1507346-1 is not prime. Res64: FCD65963A0A58CC6 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:51:26] 917*2^1507346-1 is not prime. Res64: 8A7911A2679ED09D Time : 0.0 sec. user=mdettweiler [2018-04-17 09:51:26] 601*2^1507347-1 is not prime. Res64: 47D44BDDB7E6FF4F Time : 0.0 sec. user=mdettweiler [2018-04-17 09:51:26] 675*2^1507347-1 is not prime. Res64: 1D3EBE46B07AEB36 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:51:27] 709*2^1507347-1 is not prime. Res64: 846E4617B948CCB8 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:52:21] 759*2^1507345-1 is not prime. Res64: EA9F78FE0EA266F8 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:52:22] 847*2^1507345-1 is not prime. Res64: 5019C37B9A173915 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:52:22] 897*2^1507345-1 is not prime. Res64: 016C7FA0333B29BB Time : 0.0 sec. user=mdettweiler [2018-04-17 09:52:22] 833*2^1507346-1 is not prime. Res64: 4635784506BB727A Time : 0.0 sec. user=mdettweiler [2018-04-17 09:52:23] 875*2^1507346-1 is not prime. Res64: 82EA2816BB0EE7A1 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:55:34] 741*2^1507347-1 is not prime. Res64: DC1044B7EAB0AA3B Time : 0.0 sec. user=mdettweiler [2018-04-17 09:55:34] 765*2^1507347-1 is not prime. Res64: 2B89D78249B231A3 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:55:35] 805*2^1507347-1 is not prime. Res64: F8926C386FA22E24 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:55:35] 903*2^1507347-1 is not prime. Res64: BC62D3FCCB1EDCF0 Time : 0.0 sec. user=mdettweiler [2018-04-17 09:55:35] 603*2^1507348-1 is not prime. Res64: D84F66A8BC290F62 Time : 0.0 sec. user=mdettweiler [2018-04-17 10:16:58] 657*2^1507348-1 is not prime. Res64: 08D8CC9620A16711 Time : 0.0 sec. user=mdettweiler [2018-04-17 10:16:58] 677*2^1507348-1 is not prime. Res64: 4241C149FA40D492 Time : 0.0 sec. user=mdettweiler [2018-04-17 10:16:59] 689*2^1507348-1 is not prime. Res64: 565E3C88C5DBDE4C Time : 0.0 sec. user=mdettweiler [2018-04-17 10:16:59] 777*2^1507348-1 is not prime. Res64: 599C29A4820E269E Time : 0.0 sec. user=mdettweiler [2018-04-17 10:17:00] 797*2^1507348-1 is not prime. Res64: 2606BE6D1B3A0804 Time : 0.0 sec. user=mdettweiler [2018-04-17 10:42:14] 711*2^1507349-1 is not prime. Res64: FFD5A7F52F30FD3E Time : 0.0 sec. user=mdettweiler [2018-04-17 10:42:15] 727*2^1507349-1 is not prime. Res64: C773BCF8BB416F4F Time : 0.0 sec. user=mdettweiler [2018-04-17 10:42:15] 771*2^1507349-1 is not prime. Res64: ECDBFE0293FE5507 Time : 0.0 sec. user=mdettweiler [2018-04-17 10:42:16] 885*2^1507349-1 is not prime. Res64: C4D381D90FA7F147 Time : 0.0 sec. user=mdettweiler [2018-04-17 10:42:16] 647*2^1507350-1 is not prime. Res64: C97C251A5243C6FD Time : 0.0 sec. user=mdettweiler [2018-04-17 10:43:37] 819*2^1507348-1 is not prime. Res64: 2192A899C337865D Time : 0.0 sec. user=mdettweiler [2018-04-17 10:43:37] 969*2^1507348-1 is not prime. Res64: CA5D111C07103E48 Time : 0.0 sec. user=mdettweiler [2018-04-17 10:43:37] 993*2^1507348-1 is not prime. Res64: 29B2E19789DD227C Time : 0.0 sec. user=mdettweiler [2018-04-17 10:43:38] 621*2^1507349-1 is not prime. Res64: 291FE027276A2A0E Time : 0.0 sec. user=mdettweiler [2018-04-17 10:43:38] 649*2^1507349-1 is not prime. Res64: 28D96A3DE201FFBD Time : 0.0 sec. user=mdettweiler [2018-04-17 10:46:35] 977*2^1507350-1 is not prime. Res64: D61D6B83AB26ECE9 Time : 0.0 sec. user=mdettweiler [2018-04-17 10:46:35] 639*2^1507351-1 is not prime. Res64: 48CAF69161966135 Time : 0.0 sec. user=mdettweiler [2018-04-17 10:46:36] 693*2^1507351-1 is not prime. Res64: 853A31E1F7E79FAA Time : 0.0 sec. user=mdettweiler [2018-04-17 10:46:36] 759*2^1507351-1 is not prime. Res64: CB834A548682F390 Time : 0.0 sec. user=mdettweiler [2018-04-17 10:46:36] 763*2^1507351-1 is not prime. Res64: 02967E0B643A6365 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:07:14] 771*2^1507351-1 is not prime. Res64: 1EA198A7D1E10DAA Time : 0.0 sec. user=mdettweiler [2018-04-17 11:07:14] 873*2^1507351-1 is not prime. Res64: 18CB997E79561458 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:07:15] 665*2^1507352-1 is not prime. Res64: A0391BE5D9EEAF11 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:07:15] 687*2^1507352-1 is not prime. Res64: F92719D4D20B2FBB Time : 0.0 sec. user=mdettweiler [2018-04-17 11:07:16] 717*2^1507352-1 is not prime. Res64: A596B3558F0580B3 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:34:10] 977*2^1507352-1 is not prime. Res64: D182399BB756D8B6 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:34:11] 625*2^1507353-1 is not prime. Res64: 4DC17AF5FE99923F Time : 0.0 sec. user=mdettweiler [2018-04-17 11:34:11] 681*2^1507353-1 is not prime. Res64: F23385FEB84E8692 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:34:12] 829*2^1507353-1 is not prime. Res64: E25F48F94133378D Time : 0.0 sec. user=mdettweiler [2018-04-17 11:34:12] 847*2^1507353-1 is not prime. Res64: 4F43C63CD2B2F581 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:34:35] 861*2^1507353-1 is not prime. Res64: AB7EF613548FE3E7 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:34:35] 919*2^1507353-1 is not prime. Res64: 956518A1A21B1344 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:34:35] 945*2^1507353-1 is not prime. Res64: 287812E5D9E6BD82 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:34:36] 731*2^1507354-1 is not prime. Res64: 8717074E9564F269 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:34:36] 803*2^1507354-1 is not prime. Res64: C4E5182B2261C4DF Time : 0.0 sec. user=mdettweiler [2018-04-17 11:37:07] 981*2^1507354-1 is not prime. Res64: A0ED960AAE52CC14 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:37:08] 645*2^1507355-1 is not prime. Res64: D6434D0F3893933F Time : 0.0 sec. user=mdettweiler [2018-04-17 11:37:08] 679*2^1507355-1 is not prime. Res64: 901242FDEB25648F Time : 0.0 sec. user=mdettweiler [2018-04-17 11:37:09] 699*2^1507355-1 is not prime. Res64: 6E1B7A6A62D6C1E2 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:37:09] 771*2^1507355-1 is not prime. Res64: 65159EB75E1068E9 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:58:40] 775*2^1507355-1 is not prime. Res64: 0ED88DDB97F9B21E Time : 0.0 sec. user=mdettweiler [2018-04-17 11:58:40] 841*2^1507355-1 is not prime. Res64: 4D915359BFFE7CC1 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:58:41] 861*2^1507355-1 is not prime. Res64: 1ACB1DFA5852D9B5 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:58:41] 883*2^1507355-1 is not prime. Res64: D11B254BDB5871A9 Time : 0.0 sec. user=mdettweiler [2018-04-17 11:58:42] 903*2^1507356-1 is not prime. Res64: EF5D15187C3468DE Time : 0.0 sec. user=mdettweiler [2018-04-17 12:26:08] 909*2^1507356-1 is not prime. Res64: 05AC5358AF2CC475 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:26:08] 957*2^1507356-1 is not prime. Res64: 148FB29B0D4E677F Time : 0.0 sec. user=mdettweiler [2018-04-17 12:26:09] 975*2^1507356-1 is not prime. Res64: 52218FC8B41DABE6 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:26:09] 699*2^1507357-1 is not prime. Res64: 238C1662A91CCCCC Time : 0.0 sec. user=mdettweiler [2018-04-17 12:26:09] 769*2^1507357-1 is not prime. Res64: 3B74A5FF42EDF2EC Time : 0.0 sec. user=mdettweiler [2018-04-17 12:26:19] 825*2^1507357-1 is not prime. Res64: 72941B33C01CAD41 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:26:20] 847*2^1507357-1 is not prime. Res64: 0E555E4D14FB51F8 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:26:20] 885*2^1507357-1 is not prime. Res64: 4078D622059395A5 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:26:20] 901*2^1507357-1 is not prime. Res64: 4DE88AAE1C5719DC Time : 0.0 sec. user=mdettweiler [2018-04-17 12:26:21] 945*2^1507357-1 is not prime. Res64: F537803FCB56A382 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:29:11] 683*2^1507358-1 is not prime. Res64: 2E10FD4A4B7A28F3 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:29:12] 687*2^1507358-1 is not prime. Res64: 58261B46F76C4E1C Time : 0.0 sec. user=mdettweiler [2018-04-17 12:29:12] 857*2^1507358-1 is not prime. Res64: FFFB114AA9496BA5 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:29:12] 893*2^1507358-1 is not prime. Res64: 1F8D7493A09BED36 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:29:13] 945*2^1507358-1 is not prime. Res64: 4E16EA88238EBF13 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:50:14] 619*2^1507359-1 is not prime. Res64: 3B6A0541CEDCDD4F Time : 0.0 sec. user=mdettweiler [2018-04-17 12:50:15] 649*2^1507359-1 is not prime. Res64: E1AC424E43326B9D Time : 0.0 sec. user=mdettweiler [2018-04-17 12:50:15] 685*2^1507359-1 is not prime. Res64: EDC597DF78AD1016 Time : 0.0 sec. user=mdettweiler [2018-04-17 12:50:15] 741*2^1507359-1 is not prime. Res64: 91D389279A15A4BE Time : 0.0 sec. user=mdettweiler [2018-04-17 12:50:16] 769*2^1507359-1 is not prime. Res64: 15E99E2883768AFC Time : 0.0 sec. user=mdettweiler [2018-04-17 13:18:10] 615*2^1507361-1 is not prime. Res64: BA4B94D9160151FF Time : 0.0 sec. user=mdettweiler [2018-04-17 13:18:11] 691*2^1507361-1 is not prime. Res64: 9F5386C5ADC0F53F Time : 0.0 sec. user=mdettweiler [2018-04-17 13:18:11] 705*2^1507361-1 is not prime. Res64: 02F52F7E85D015F8 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:18:12] 711*2^1507361-1 is not prime. Res64: 0B7C5A6162155EB8 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:18:12] 781*2^1507361-1 is not prime. Res64: 3D22F534ED8DF553 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:18:52] 961*2^1507359-1 is not prime. Res64: 746790A3AF33DFE0 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:18:52] 973*2^1507359-1 is not prime. Res64: 01592422A5E4FA4D Time : 0.0 sec. user=mdettweiler [2018-04-17 13:18:53] 765*2^1507360-1 is not prime. Res64: 17716186B81E18D1 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:18:53] 803*2^1507360-1 is not prime. Res64: 3AE02C07759D400D Time : 0.0 sec. user=mdettweiler [2018-04-17 13:18:54] 855*2^1507360-1 is not prime. Res64: 124EC0FB32F5C077 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:21:18] 945*2^1507361-1 is not prime. Res64: C3CA064135279999 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:21:18] 951*2^1507361-1 is not prime. Res64: F21C746515F0334C Time : 0.0 sec. user=mdettweiler [2018-04-17 13:21:19] 723*2^1507362-1 is not prime. Res64: ADBB8E600A852A2D Time : 0.0 sec. user=mdettweiler [2018-04-17 13:21:19] 755*2^1507362-1 is not prime. Res64: 7912FDA9681DCD30 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:21:19] 777*2^1507362-1 is not prime. Res64: 186D506E654D0F34 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:42:41] 843*2^1507362-1 is not prime. Res64: 127BD08D59B6DBA2 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:42:41] 891*2^1507362-1 is not prime. Res64: 1E6DEC06C406B1B2 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:42:42] 893*2^1507362-1 is not prime. Res64: 29B5979DA09B9455 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:42:42] 977*2^1507362-1 is not prime. Res64: F1AC867E5B9F9260 Time : 0.0 sec. user=mdettweiler [2018-04-17 13:42:42] 751*2^1507363-1 is not prime. Res64: EC0C79B75F11DA5C Time : 0.0 sec. user=mdettweiler [2018-04-17 14:10:24] 699*2^1507364-1 is not prime. Res64: 61324D9ED57798BD Time : 0.0 sec. user=mdettweiler [2018-04-17 14:10:25] 717*2^1507364-1 is not prime. Res64: EC6C8EB574883489 Time : 0.0 sec. user=mdettweiler [2018-04-17 14:10:26] 743*2^1507364-1 is not prime. Res64: 15F920B76D7C4736 Time : 0.0 sec. user=mdettweiler [2018-04-17 14:10:27] 813*2^1507364-1 is not prime. Res64: EC28A4DC403EDB3E Time : 0.0 sec. user=mdettweiler [2018-04-17 14:10:27] 843*2^1507364-1 is not prime. Res64: F408A27873760FEE Time : 0.0 sec. user=mdettweiler [2018-04-17 14:10:50] 769*2^1507363-1 is not prime. Res64: 6CFA87C5A08DF901 Time : 0.0 sec. user=mdettweiler [2018-04-17 14:10:50] 805*2^1507363-1 is not prime. Res64: 7CC3B02A3D829821 Time : 0.0 sec. user=mdettweiler [2018-04-17 14:10:50] 849*2^1507363-1 is not prime. Res64: A5904E5245C7D99F Time : 0.0 sec. user=mdettweiler [2018-04-17 14:10:51] 973*2^1507363-1 is not prime. Res64: B4C5B39C657AF2E4 Time : 0.0 sec. user=mdettweiler [2018-04-17 14:10:51] 687*2^1507364-1 is not prime. Res64: 244A4327D8F1AEE7 Time : 0.0 sec. user=mdettweiler [2018-04-17 14:13:37] 873*2^1507364-1 is not prime. Res64: 2F9F4EDB9E7145BB Time : 0.0 sec. user=mdettweiler [2018-04-17 14:13:38] 923*2^1507364-1 is not prime. Res64: 3FED702F6CD95EBF Time : 0.0 sec. user=mdettweiler [2018-04-17 14:13:38] 609*2^1507365-1 is not prime. Res64: C31DB0B21D211134 Time : 0.0 sec. user=mdettweiler [2018-04-17 14:13:38] 625*2^1507365-1 is not prime. Res64: 856026EFFC4B52C4 Time : 0.0 sec. user=mdettweiler [2018-04-17 14:13:39] 639*2^1507365-1 is not prime. Res64: B269DA484BA6BB0C Time : 0.0 sec. user=mdettweiler [2018-04-17 14:34:03] 675*2^1507365-1 is not prime. Res64: 3965FBFD3C6B494F Time : 0.0 sec. user=mdettweiler [2018-04-17 14:34:03] 795*2^1507365-1 is not prime. Res64: E1D973951DF1CC88 Time : 0.0 sec. user=mdettweiler [2018-04-17 14:34:03] 915*2^1507365-1 is not prime. Res64: 0901970285F59CDF Time : 0.0 sec. user=mdettweiler [2018-04-17 14:34:04] 663*2^1507366-1 is not prime. Res64: FE90B092307EA259 Time : 0.0 sec. user=mdettweiler [2018-04-17 14:34:04] 723*2^1507366-1 is not prime. Res64: E4F892E6036A5E52 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:02:35] 887*2^1507366-1 is not prime. Res64: E474D230DC43EAB9 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:02:36] 945*2^1507366-1 is not prime. Res64: 0BBF938C00B2237B Time : 0.0 sec. user=mdettweiler [2018-04-17 15:02:38] 975*2^1507366-1 is not prime. Res64: 8F213831248E551F Time : 0.0 sec. user=mdettweiler [2018-04-17 15:02:39] 655*2^1507367-1 is not prime. Res64: DBBB93F3DA591E0D Time : 0.0 sec. user=mdettweiler [2018-04-17 15:02:40] 661*2^1507367-1 is not prime. Res64: 71E3CBC4EC1CFF00 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:02:58] 747*2^1507366-1 is not prime. Res64: 5924BA50D70B2533 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:02:59] 761*2^1507366-1 is not prime. Res64: CEC2FA0561CA865F Time : 0.0 sec. user=mdettweiler [2018-04-17 15:03:00] 821*2^1507366-1 is not prime. Res64: CA10EA0EBBC4757E Time : 0.0 sec. user=mdettweiler [2018-04-17 15:03:01] 873*2^1507366-1 is not prime. Res64: DD97CA75F06750CD Time : 0.0 sec. user=mdettweiler [2018-04-17 15:03:03] 881*2^1507366-1 is not prime. Res64: 3934CE118AE8F38F Time : 0.0 sec. user=mdettweiler [2018-04-17 15:05:02] 663*2^1507367-1 is not prime. Res64: 1D82715E351FC548 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:05:04] 711*2^1507367-1 is not prime. Res64: 5C67040233867FD8 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:05:05] 741*2^1507367-1 is not prime. Res64: 12149CA4E9D09B2E Time : 0.0 sec. user=mdettweiler [2018-04-17 15:05:06] 963*2^1507367-1 is not prime. Res64: 1DE98A27F5B8CD11 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:05:07] 663*2^1507368-1 is not prime. Res64: 4C9A37DF3E12978A Time : 0.0 sec. user=mdettweiler [2018-04-17 15:24:14] 705*2^1507368-1 is not prime. Res64: A0659DE3D3087C1F Time : 0.0 sec. user=mdettweiler [2018-04-17 15:24:15] 723*2^1507368-1 is not prime. Res64: 847B5FE345C7B7E0 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:24:15] 909*2^1507368-1 is not prime. Res64: C565599BDBB0E269 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:24:16] 601*2^1507369-1 is not prime. Res64: 1645F4840B194209 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:24:16] 615*2^1507369-1 is not prime. Res64: 68D97E5AB69F7776 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:54:51] 639*2^1507369-1 is not prime. Res64: 84136190BACF6E67 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:54:52] 681*2^1507369-1 is not prime. Res64: E460AC1D49BA308B Time : 0.0 sec. user=mdettweiler [2018-04-17 15:54:52] 687*2^1507369-1 is not prime. Res64: 4BB9F60F5E03FF0C Time : 0.0 sec. user=mdettweiler [2018-04-17 15:54:52] 807*2^1507369-1 is not prime. Res64: BC2604523B7B6321 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:54:53] 855*2^1507369-1 is not prime. Res64: 6FFDA189D1D40E56 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:55:31] 895*2^1507369-1 is not prime. Res64: A0B801B1F0EB1290 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:55:31] 897*2^1507369-1 is not prime. Res64: A69DC4F7A98DBD1B Time : 0.0 sec. user=mdettweiler [2018-04-17 15:55:32] 713*2^1507370-1 is not prime. Res64: 0B75B8D39E6896C8 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:55:32] 731*2^1507370-1 is not prime. Res64: F69AE8AA68BFAD59 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:55:33] 785*2^1507370-1 is not prime. Res64: 8482D4DEF91D8458 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:57:03] 791*2^1507370-1 is not prime. Res64: 982F9D39D9A5607B Time : 0.0 sec. user=mdettweiler [2018-04-17 15:57:04] 827*2^1507370-1 is not prime. Res64: AFA17BAE1F2D6A62 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:57:04] 915*2^1507370-1 is not prime. Res64: CCBB01F11D146B23 Time : 0.0 sec. user=mdettweiler [2018-04-17 15:57:05] 649*2^1507371-1 is not prime. Res64: F50B6BDE1694239C Time : 0.0 sec. user=mdettweiler [2018-04-17 15:57:05] 669*2^1507371-1 is not prime. Res64: C0F388893BCBD06E Time : 0.0 sec. user=mdettweiler [2018-04-17 16:16:39] 679*2^1507371-1 is not prime. Res64: F2DE0F88BCCEDF53 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:16:43] 709*2^1507371-1 is not prime. Res64: 2A1F24AA9CB663DB Time : 0.0 sec. user=mdettweiler [2018-04-17 16:16:44] 741*2^1507371-1 is not prime. Res64: DC935F2D5B00E102 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:16:46] 753*2^1507371-1 is not prime. Res64: EF021100D42501EF Time : 0.0 sec. user=mdettweiler [2018-04-17 16:16:48] 783*2^1507371-1 is not prime. Res64: A1E41AE33765E3AC Time : 0.0 sec. user=mdettweiler [2018-04-17 16:46:42] 617*2^1507372-1 is not prime. Res64: 07A942D2C0CD6006 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:46:42] 647*2^1507372-1 is not prime. Res64: A586653259D930BA Time : 0.0 sec. user=mdettweiler [2018-04-17 16:46:43] 657*2^1507372-1 is not prime. Res64: FB6090B9D39DB23F Time : 0.0 sec. user=mdettweiler [2018-04-17 16:46:43] 675*2^1507372-1 is not prime. Res64: FFBE53409FF59BC7 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:46:43] 833*2^1507372-1 is not prime. Res64: 95D76ED70EB03D3E Time : 0.0 sec. user=mdettweiler [2018-04-17 16:47:02] 789*2^1507371-1 is not prime. Res64: 917782DB904F2B05 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:47:03] 805*2^1507371-1 is not prime. Res64: 3E08085C0F649640 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:47:03] 909*2^1507371-1 is not prime. Res64: D8EBBF4B785E75A9 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:47:03] 969*2^1507371-1 is not prime. Res64: C64171DC460E72D8 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:47:04] 605*2^1507372-1 is not prime. Res64: A921C38065CFC89C Time : 0.0 sec. user=mdettweiler [2018-04-17 16:49:45] 869*2^1507372-1 is not prime. Res64: D3730BC392E21609 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:49:46] 929*2^1507372-1 is not prime. Res64: A9445708842F498E Time : 0.0 sec. user=mdettweiler [2018-04-17 16:49:46] 745*2^1507373-1 is not prime. Res64: 3BCF64BDEC527D10 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:49:46] 757*2^1507373-1 is not prime. Res64: 7E30520490A67D44 Time : 0.0 sec. user=mdettweiler [2018-04-17 16:49:47] 885*2^1507373-1 is not prime. Res64: DB9AC85A24F598E9 Time : 0.0 sec. user=mdettweiler [2018-04-17 17:08:53] 889*2^1507373-1 is not prime. Res64: 52748FB5F99B98BE Time : 0.0 sec. user=mdettweiler [2018-04-17 17:08:56] 987*2^1507373-1 is not prime. Res64: A56A4FBE692A98DD Time : 0.0 sec. user=mdettweiler [2018-04-17 17:08:57] 621*2^1507374-1 is not prime. Res64: C90518DE9811DAF9 Time : 0.0 sec. user=mdettweiler [2018-04-17 17:08:58] 717*2^1507374-1 is not prime. Res64: A06CD0D1A19261D0 Time : 0.0 sec. user=mdettweiler [2018-04-17 17:09:01] 765*2^1507374-1 is not prime. Res64: 1019A3C4E2EB9985 Time : 0.0 sec. user=mdettweiler [2018-04-17 17:38:55] 645*2^1507376-1 is not prime. Res64: 7A60BF7A9DD6B64E Time : 0.0 sec. user=mdettweiler [2018-04-17 17:38:55] 735*2^1507376-1 is not prime. Res64: 3DDC39E9527F003B Time : 0.0 sec. user=mdettweiler [2018-04-17 17:38:55] 815*2^1507376-1 is not prime. Res64: 10A9781185214BC3 Time : 0.0 sec. user=mdettweiler [2018-04-17 17:38:56] 825*2^1507376-1 is not prime. Res64: C83BD0FFD80C0F0C Time : 0.0 sec. user=mdettweiler [2018-04-17 17:38:56] 855*2^1507376-1 is not prime. Res64: 9E60272313D65147 Time : 0.0 sec. user=mdettweiler [2018-04-17 17:39:10] 927*2^1507374-1 is not prime. Res64: F02C9E97F3DBB35B Time : 0.0 sec. user=mdettweiler [2018-04-17 17:39:10] 945*2^1507374-1 is not prime. Res64: 8EFFB79BDDE1264C Time : 0.0 sec. user=mdettweiler [2018-04-17 17:39:10] 983*2^1507374-1 is not prime. Res64: 92D10ED39C3464A7 Time : 0.0 sec. user=mdettweiler [2018-04-17 17:39:11] 775*2^1507375-1 is not prime. Res64: 032828C5F48529ED Time : 0.0 sec. user=mdettweiler [2018-04-17 17:39:11] 999*2^1507375-1 is not prime. Res64: 1EF8CDFE520D0275 Time : 0.0 sec. user=mdettweiler [2018-04-17 17:40:31] 935*2^1507376-1 is not prime. Res64: 1EB17B3716849A42 Time : 0.0 sec. user=mdettweiler [2018-04-17 17:40:31] 607*2^1507377-1 is not prime. Res64: 24DA4CB0E29647BE Time : 0.0 sec. user=mdettweiler [2018-04-17 17:40:31] 681*2^1507377-1 is not prime. Res64: 9FC87A19230DAFD5 Time : 0.0 sec. user=mdettweiler [2018-04-17 17:40:32] 717*2^1507377-1 is not prime. Res64: 03D7CE984E32830B Time : 0.0 sec. user=mdettweiler [2018-04-17 17:40:32] 795*2^1507377-1 is not prime. Res64: 6D83B19DE9C3D598 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:01:14] 915*2^1507377-1 is not prime. Res64: 58EEFD95EFD5905F Time : 0.0 sec. user=mdettweiler [2018-04-17 18:01:15] 949*2^1507377-1 is not prime. Res64: AB6FC03BA9858C11 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:01:16] 603*2^1507378-1 is not prime. Res64: 4EDD322ABAEBCEC1 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:01:17] 663*2^1507378-1 is not prime. Res64: AD95BA084D481E51 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:01:18] 713*2^1507378-1 is not prime. Res64: ABB86E6E6FBDFE6C Time : 0.0 sec. user=mdettweiler [2018-04-17 18:32:24] 863*2^1507380-1 is not prime. Res64: 25C19BBBD952AA9A Time : 0.0 sec. user=mdettweiler [2018-04-17 18:32:24] 867*2^1507380-1 is not prime. Res64: 016E6978F8EDED6C Time : 0.0 sec. user=mdettweiler [2018-04-17 18:32:25] 615*2^1507381-1 is not prime. Res64: 7D4C966880EC5F02 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:32:25] 619*2^1507381-1 is not prime. Res64: 1BAA1EE23A6BA3ED Time : 0.0 sec. user=mdettweiler [2018-04-17 18:32:26] 745*2^1507381-1 is not prime. Res64: F9CF45B3528A843F Time : 0.0 sec. user=mdettweiler [2018-04-17 18:32:39] 743*2^1507378-1 is not prime. Res64: F2D02E5B79BFEB44 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:32:39] 827*2^1507378-1 is not prime. Res64: 35B670A79F28367A Time : 0.0 sec. user=mdettweiler [2018-04-17 18:32:39] 971*2^1507378-1 is not prime. Res64: 9592287851F35196 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:32:40] 1001*2^1507378-1 is not prime. Res64: 721948DF48C6FFE6 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:32:40] 855*2^1507379-1 is not prime. Res64: 0EA37283AC9806C2 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:34:22] 939*2^1507379-1 is not prime. Res64: F8C4BCD318C48479 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:34:23] 993*2^1507379-1 is not prime. Res64: 00CEA62CB85C8741 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:34:23] 719*2^1507380-1 is not prime. Res64: 657A906FDFA6A5EB Time : 0.0 sec. user=mdettweiler [2018-04-17 18:34:23] 765*2^1507380-1 is not prime. Res64: 24CDD0C01ECD03DA Time : 0.0 sec. user=mdettweiler [2018-04-17 18:34:24] 819*2^1507380-1 is not prime. Res64: C9F656C6B2E93BD1 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:54:43] 751*2^1507381-1 is not prime. Res64: D080E7DB0003F7A3 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:54:44] 825*2^1507381-1 is not prime. Res64: 063E47D2F05D94B8 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:54:44] 871*2^1507381-1 is not prime. Res64: 53D816BBAC3C941A Time : 0.0 sec. user=mdettweiler [2018-04-17 18:54:44] 957*2^1507381-1 is not prime. Res64: 5B06A59778789A23 Time : 0.0 sec. user=mdettweiler [2018-04-17 18:54:45] 623*2^1507382-1 is not prime. Res64: 98E410DC54E521E4 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:24:58] 635*2^1507382-1 is not prime. Res64: 964CF8438A05CFD9 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:24:59] 693*2^1507382-1 is not prime. Res64: CEB1572B01048122 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:24:59] 791*2^1507382-1 is not prime. Res64: 8C668BFCA49157C8 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:25:00] 1001*2^1507382-1 is not prime. Res64: 8058E390470C5A24 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:25:00] 691*2^1507383-1 is not prime. Res64: CFCB08805AF99F8F Time : 0.0 sec. user=mdettweiler [2018-04-17 19:26:46] 781*2^1507383-1 is not prime. Res64: FD08A7881D43A4C7 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:26:46] 795*2^1507383-1 is not prime. Res64: 38271C79D77169AE Time : 0.0 sec. user=mdettweiler [2018-04-17 19:26:46] 879*2^1507383-1 is not prime. Res64: 49CB6833CF61DF23 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:26:47] 963*2^1507383-1 is not prime. Res64: 6CDC8A520B1FCF22 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:26:47] 605*2^1507384-1 is not prime. Res64: 6ECC11E41DC833BD Time : 0.0 sec. user=mdettweiler [2018-04-17 19:27:44] 615*2^1507384-1 is not prime. Res64: 92B796BEE435A107 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:27:44] 717*2^1507384-1 is not prime. Res64: 67C1B4E6B808764F Time : 0.0 sec. user=mdettweiler [2018-04-17 19:27:45] 747*2^1507384-1 is not prime. Res64: A1D324BFE7C216A1 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:27:45] 759*2^1507384-1 is not prime. Res64: 04C6B036B7A810F8 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:27:45] 765*2^1507384-1 is not prime. Res64: ED17CC8A8D083DA7 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:48:42] 909*2^1507384-1 is not prime. Res64: 3F306495B7F165CA Time : 0.0 sec. user=mdettweiler [2018-04-17 19:48:42] 969*2^1507384-1 is not prime. Res64: 7F14BB7D0388B8DE Time : 0.0 sec. user=mdettweiler [2018-04-17 19:48:42] 995*2^1507384-1 is not prime. Res64: 211B2B1551ACAF8F Time : 0.0 sec. user=mdettweiler [2018-04-17 19:48:43] 627*2^1507385-1 is not prime. Res64: 904480A1EB91AD29 Time : 0.0 sec. user=mdettweiler [2018-04-17 19:48:43] 657*2^1507385-1 is not prime. Res64: 0B4FE46C943671A1 Time : 0.0 sec. user=mdettweiler [2018-04-17 20:16:24] 699*2^1507385-1 is not prime. Res64: 7FDD7E576DA04B5A Time : 0.0 sec. user=mdettweiler [2018-04-17 20:16:25] 715*2^1507385-1 is not prime. Res64: E81FB0E11BF93251 Time : 0.0 sec. user=mdettweiler [2018-04-17 20:16:25] 819*2^1507385-1 is not prime. Res64: F7CC782D5471EA2C Time : 0.0 sec. user=mdettweiler [2018-04-17 20:16:26] 837*2^1507385-1 is not prime. Res64: F78652B2201DFACD Time : 0.0 sec. user=mdettweiler [2018-04-17 20:16:26] 937*2^1507385-1 is not prime. Res64: 132BB1E3B23F5F43 Time : 0.0 sec. user=mdettweiler [2018-04-17 20:18:19] 677*2^1507386-1 is not prime. Res64: CE003F5D81B2792B Time : 0.0 sec. user=mdettweiler [2018-04-17 20:18:19] 707*2^1507386-1 is not prime. Res64: 0A042BCCDF00557F Time : 0.0 sec. user=mdettweiler [2018-04-17 20:18:19] 723*2^1507386-1 is not prime. Res64: E5FB8CB2B3FD2FDB Time : 0.0 sec. user=mdettweiler [2018-04-17 20:18:20] 747*2^1507386-1 is not prime. Res64: 66353C82A00C9033 Time : 0.0 sec. user=mdettweiler [2018-04-17 20:18:20] 801*2^1507386-1 is not prime. Res64: 36837FF833296DC8 Time : 0.0 sec. user=mdettweiler [2018-04-17 20:19:56] 821*2^1507386-1 is not prime. Res64: 4F8AB55C7D6F3CFE Time : 0.0 sec. user=mdettweiler [2018-04-17 20:19:56] 833*2^1507386-1 is not prime. Res64: 8688CE6566AEF8FC Time : 0.0 sec. user=mdettweiler [2018-04-17 20:19:56] 837*2^1507386-1 is not prime. Res64: 45AA18AFAC7CABFC Time : 0.0 sec. user=mdettweiler [2018-04-17 20:19:57] 893*2^1507386-1 is not prime. Res64: A74EE865640D6A8E Time : 0.0 sec. user=mdettweiler [2018-04-17 20:19:57] 945*2^1507386-1 is not prime. Res64: BF23F9FD7F68062C Time : 0.0 sec. user=mdettweiler [2018-04-17 20:38:17] 651*2^1507387-1 is not prime. Res64: 883AA6ED23960DEB Time : 0.0 sec. user=mdettweiler [2018-04-17 20:38:18] 681*2^1507387-1 is not prime. Res64: 5EA5338FFA012380 Time : 0.0 sec. user=mdettweiler [2018-04-17 20:38:18] 693*2^1507387-1 is not prime. Res64: C0D9F2D916552127 Time : 0.0 sec. user=mdettweiler [2018-04-17 20:38:18] 775*2^1507387-1 is not prime. Res64: 54B17FEA1CB6D6CE Time : 0.0 sec. user=mdettweiler [2018-04-17 20:38:19] 841*2^1507387-1 is not prime. Res64: 84BA2FD70BFE99EB Time : 0.0 sec. user=mdettweiler [2018-04-17 21:07:13] 843*2^1507387-1 is not prime. Res64: 7EDD4C9A98CAC028 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:07:15] 895*2^1507387-1 is not prime. Res64: 2911DC1264974913 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:07:16] 931*2^1507387-1 is not prime. Res64: 9856B9C01D055740 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:07:17] 975*2^1507387-1 is not prime. Res64: 4F869F473736588B Time : 0.0 sec. user=mdettweiler [2018-04-17 21:07:19] 985*2^1507387-1 is not prime. Res64: BEE4225CC0500A3E Time : 0.0 sec. user=mdettweiler [2018-04-17 21:09:25] 813*2^1507388-1 is not prime. Res64: A449EC94D394085A Time : 0.0 sec. user=mdettweiler [2018-04-17 21:09:26] 843*2^1507388-1 is not prime. Res64: 499130421A514E5E Time : 0.0 sec. user=mdettweiler [2018-04-17 21:09:26] 957*2^1507388-1 is not prime. Res64: 1472DB66B58FCC31 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:09:26] 987*2^1507388-1 is not prime. Res64: 472850AF150DD0AA Time : 0.0 sec. user=mdettweiler [2018-04-17 21:09:27] 745*2^1507389-1 is not prime. Res64: 12766994BF71C2C1 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:10:36] 789*2^1507389-1 is not prime. Res64: A3948F93559B1C30 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:10:36] 829*2^1507389-1 is not prime. Res64: 4AEB5F7539785539 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:10:37] 877*2^1507389-1 is not prime. Res64: 0EDA2376D57D8B35 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:10:37] 891*2^1507389-1 is not prime. Res64: 8585F1CC452F269B Time : 0.0 sec. user=mdettweiler [2018-04-17 21:10:38] 975*2^1507389-1 is not prime. Res64: 6E77A6A7BA14E5CF Time : 0.0 sec. user=mdettweiler [2018-04-17 21:27:50] 605*2^1507390-1 is not prime. Res64: 4F588C8F1CB44123 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:27:51] 663*2^1507390-1 is not prime. Res64: BA8522F5A8A52D58 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:27:51] 867*2^1507390-1 is not prime. Res64: AFA36FD81A7A5E27 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:27:52] 911*2^1507390-1 is not prime. Res64: 6CAD2060640134A8 Time : 0.0 sec. user=mdettweiler [2018-04-17 21:27:52] 933*2^1507390-1 is not prime. Res64: 0547E515BB4A8F48 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:00:48] 945*2^1507390-1 is not prime. Res64: C40EB036B10CF523 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:00:50] 965*2^1507390-1 is not prime. Res64: C14A55CE06A970DF Time : 0.0 sec. user=mdettweiler [2018-04-17 22:00:51] 615*2^1507391-1 is not prime. Res64: 2F4CBC8A6287E984 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:00:52] 645*2^1507391-1 is not prime. Res64: 1A47A252B7211DC9 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:00:53] 663*2^1507391-1 is not prime. Res64: 7C1A33A4317DB536 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:05:24] 735*2^1507391-1 is not prime. Res64: 602D249D6F7BE47A Time : 0.0 sec. user=mdettweiler [2018-04-17 22:05:26] 829*2^1507391-1 is not prime. Res64: A73F6D48D04AD018 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:05:28] 859*2^1507391-1 is not prime. Res64: BFD3F70F8BC9311F Time : 0.0 sec. user=mdettweiler [2018-04-17 22:05:29] 865*2^1507391-1 is not prime. Res64: 30248780E963B9B0 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:05:32] 909*2^1507391-1 is not prime. Res64: 3A0801EC668A8BB1 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:06:07] 931*2^1507391-1 is not prime. Res64: BD6FAE757DF91217 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:06:10] 675*2^1507392-1 is not prime. Res64: 06C6EA13BB6D0711 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:06:12] 753*2^1507392-1 is not prime. Res64: DDA0B9F05B915259 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:06:14] 935*2^1507392-1 is not prime. Res64: DA3291EBEF65E348 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:06:18] 983*2^1507392-1 is not prime. Res64: EB3CF5F5D680BA95 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:25:07] 855*2^1507393-1 is not prime. Res64: 7A84BFF4E22DEF8A Time : 0.0 sec. user=mdettweiler [2018-04-17 22:25:08] 885*2^1507393-1 is not prime. Res64: FC5D85E59733E923 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:25:08] 957*2^1507393-1 is not prime. Res64: CE91E4FA4244FC06 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:25:08] 985*2^1507393-1 is not prime. Res64: 0F4E43F2D9272814 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:25:09] 705*2^1507394-1 is not prime. Res64: A3D5459C8681C94B Time : 0.0 sec. user=mdettweiler [2018-04-17 22:55:03] 837*2^1507394-1 is not prime. Res64: 76DA6ABE9D66A960 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:55:03] 873*2^1507394-1 is not prime. Res64: 5B7026731898E2B7 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:55:04] 923*2^1507394-1 is not prime. Res64: DBBBE5EDD9BBA8A8 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:55:04] 945*2^1507394-1 is not prime. Res64: 3958C2F4BFE54D0A Time : 0.0 sec. user=mdettweiler [2018-04-17 22:55:04] 613*2^1507395-1 is not prime. Res64: 079C4AA0DCACE466 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:59:06] 717*2^1507396-1 is not prime. Res64: A2CDE77C5A33FCD4 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:59:07] 987*2^1507396-1 is not prime. Res64: A4A94FA517F9E929 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:59:07] 999*2^1507396-1 is not prime. Res64: D788BF90EB798BC7 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:59:08] 619*2^1507397-1 is not prime. Res64: 1AA34F42320963BF Time : 0.0 sec. user=mdettweiler [2018-04-17 22:59:08] 631*2^1507397-1 is not prime. Res64: 4A10880487D48ABE Time : 0.0 sec. user=mdettweiler [2018-04-17 22:59:22] 961*2^1507395-1 is not prime. Res64: 16797FE9D83616F3 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:59:22] 615*2^1507396-1 is not prime. Res64: 52C9F4FEDD317132 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:59:23] 695*2^1507396-1 is not prime. Res64: 3A9DF6BBDABD0986 Time : 0.0 sec. user=mdettweiler [2018-04-17 22:59:23] 735*2^1507396-1 is not prime. Res64: 5F505EB8C4542B9B Time : 0.0 sec. user=mdettweiler [2018-04-17 22:59:24] 825*2^1507396-1 is not prime. Res64: 4C5D5B727266DB3F Time : 0.0 sec. user=mdettweiler [2018-04-17 23:16:24] 645*2^1507397-1 is not prime. Res64: 994AD81C86C5C614 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:16:25] 697*2^1507397-1 is not prime. Res64: CC4055DF003B62A8 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:16:25] 727*2^1507397-1 is not prime. Res64: 91A24621BD83AF56 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:16:26] 871*2^1507397-1 is not prime. Res64: 4A2E95C305E93191 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:16:26] 979*2^1507397-1 is not prime. Res64: 843ABDD0089ED340 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:46:30] 621*2^1507398-1 is not prime. Res64: CB03930411C7F18D Time : 0.0 sec. user=mdettweiler [2018-04-17 23:46:32] 725*2^1507398-1 is not prime. Res64: 1BD1D11B6A3994DD Time : 0.0 sec. user=mdettweiler [2018-04-17 23:46:32] 737*2^1507398-1 is not prime. Res64: 89A24B3A55A2FA84 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:46:33] 755*2^1507398-1 is not prime. Res64: 8412719324738736 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:46:33] 881*2^1507398-1 is not prime. Res64: 434667C2905265C2 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:50:43] 971*2^1507398-1 is not prime. Res64: 3534543324282BAD Time : 0.0 sec. user=mdettweiler [2018-04-17 23:50:43] 633*2^1507399-1 is not prime. Res64: E76B7557E6489444 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:50:44] 679*2^1507399-1 is not prime. Res64: C765769477E84815 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:50:45] 745*2^1507399-1 is not prime. Res64: 9CE6CDA21E0B764E Time : 0.0 sec. user=mdettweiler [2018-04-17 23:50:46] 859*2^1507399-1 is not prime. Res64: 8A36276BCC79AA87 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:52:08] 925*2^1507399-1 is not prime. Res64: 76A493149875DE6C Time : 0.0 sec. user=mdettweiler [2018-04-17 23:52:08] 813*2^1507400-1 is not prime. Res64: 5D9FB17A4F24EE84 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:52:09] 819*2^1507400-1 is not prime. Res64: 882E3FF07A9F5FA2 Time : 0.0 sec. user=mdettweiler [2018-04-17 23:52:09] 833*2^1507400-1 is not prime. Res64: 462AD7E0F0D5877E Time : 0.0 sec. user=mdettweiler [2018-04-17 23:52:09] 879*2^1507400-1 is not prime. Res64: 979041D0D9453012 Time : 0.0 sec.