user=mdettweiler [2017-05-28 00:10:14] 651*2^1455214-1 is not prime. Res64: B210C1730FE9F184 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:10:14] 663*2^1455214-1 is not prime. Res64: A76EB36559B3AA2A Time : 0.0 sec. user=mdettweiler [2017-05-28 00:10:14] 687*2^1455214-1 is not prime. Res64: F81239BC0FFCF9B3 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:10:15] 885*2^1455214-1 is not prime. Res64: 9DD878561BA5A518 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:10:15] 983*2^1455214-1 is not prime. Res64: 73DCAB8ED6575FE3 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:16:37] 603*2^1455215-1 is not prime. Res64: 82CC55BDACDAD9D1 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:16:37] 655*2^1455215-1 is not prime. Res64: B794CA55C72CC0B8 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:16:37] 715*2^1455215-1 is not prime. Res64: D660E342C2BE2823 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:16:38] 841*2^1455215-1 is not prime. Res64: C92EB7245DA9C817 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:16:38] 939*2^1455215-1 is not prime. Res64: D67124D10ACDC153 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:21:05] 635*2^1455216-1 is not prime. Res64: F9C707AFB04BDCF1 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:21:05] 779*2^1455216-1 is not prime. Res64: 9B4FBED03E8555CE Time : 0.0 sec. user=mdettweiler [2017-05-28 00:21:05] 903*2^1455216-1 is not prime. Res64: 4C1A9B33D7B30AE4 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:21:06] 931*2^1455217-1 is not prime. Res64: 4E217F837108CC71 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:21:06] 937*2^1455217-1 is not prime. Res64: 5E7511AF0FFFB7D6 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:31:34] 997*2^1455217-1 is not prime. Res64: BA5B4ACF9736F5B5 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:31:34] 603*2^1455218-1 is not prime. Res64: B0C8D2C4D79A10E5 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:31:34] 605*2^1455218-1 is not prime. Res64: 446A54741E42260E Time : 0.0 sec. user=mdettweiler [2017-05-28 00:31:35] 665*2^1455218-1 is not prime. Res64: 6E9DAE442EE00426 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:31:35] 687*2^1455218-1 is not prime. Res64: E151A48C4D44BA73 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:55:39] 711*2^1455218-1 is not prime. Res64: 3E022AE8295652FF Time : 0.0 sec. user=mdettweiler [2017-05-28 00:55:39] 753*2^1455218-1 is not prime. Res64: 40793545FB1EA85C Time : 0.0 sec. user=mdettweiler [2017-05-28 00:55:40] 825*2^1455218-1 is not prime. Res64: 1148559E5C2680A9 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:55:40] 845*2^1455218-1 is not prime. Res64: 36129462550620E9 Time : 0.0 sec. user=mdettweiler [2017-05-28 00:55:40] 867*2^1455218-1 is not prime. Res64: 2609E0D4BE86B215 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:02:03] 923*2^1455218-1 is not prime. Res64: BE7216910D149A04 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:02:04] 619*2^1455219-1 is not prime. Res64: 7B547E2D9D6F9454 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:02:05] 633*2^1455219-1 is not prime. Res64: 50DE4E98F8C9B1FF Time : 0.0 sec. user=mdettweiler [2017-05-28 01:02:06] 663*2^1455219-1 is not prime. Res64: BF9A2B8BDEE2AFBC Time : 0.0 sec. user=mdettweiler [2017-05-28 01:02:07] 829*2^1455219-1 is not prime. Res64: 28472605EEDF1F83 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:06:24] 879*2^1455219-1 is not prime. Res64: 86324AC18D5CBDE0 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:06:24] 955*2^1455219-1 is not prime. Res64: B3A2D9C6F8EC4E1A Time : 0.0 sec. user=mdettweiler [2017-05-28 01:06:25] 975*2^1455219-1 is not prime. Res64: C9CA7B6237163902 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:06:26] 603*2^1455220-1 is not prime. Res64: EE91203897825844 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:06:27] 615*2^1455220-1 is not prime. Res64: 038209F4623E4553 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:17:18] 825*2^1455220-1 is not prime. Res64: 05D44DD4325563AC Time : 0.0 sec. user=mdettweiler [2017-05-28 01:17:18] 857*2^1455220-1 is not prime. Res64: D981070881B8A289 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:17:18] 873*2^1455220-1 is not prime. Res64: 9DAFB14C22198550 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:17:19] 927*2^1455220-1 is not prime. Res64: D9D1F068B82B7549 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:17:19] 939*2^1455220-1 is not prime. Res64: A9A50857141F01FA Time : 0.0 sec. user=mdettweiler [2017-05-28 01:40:59] 975*2^1455220-1 is not prime. Res64: 8A442397BA4B2E0E Time : 0.0 sec. user=mdettweiler [2017-05-28 01:40:59] 983*2^1455220-1 is not prime. Res64: D1F6CDA95288A85D Time : 0.0 sec. user=mdettweiler [2017-05-28 01:40:59] 631*2^1455221-1 is not prime. Res64: 6BC0DA077FEB0D49 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:41:00] 651*2^1455221-1 is not prime. Res64: FD619665B860EBC4 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:41:00] 799*2^1455221-1 is not prime. Res64: 76A14F995A944E54 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:47:57] 865*2^1455221-1 is not prime. Res64: 119A2970D98F3400 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:47:57] 927*2^1455221-1 is not prime. Res64: 4543C14AFF506D74 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:47:57] 937*2^1455221-1 is not prime. Res64: 5880A44D072264B1 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:47:58] 731*2^1455222-1 is not prime. Res64: 1509E120421041A1 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:47:58] 963*2^1455222-1 is not prime. Res64: 018F5267346ACA8B Time : 0.0 sec. user=mdettweiler [2017-05-28 01:52:18] 983*2^1455222-1 is not prime. Res64: 3494BCC23E58095B Time : 0.0 sec. user=mdettweiler [2017-05-28 01:52:18] 741*2^1455223-1 is not prime. Res64: B4F9417BA23C0934 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:52:18] 813*2^1455223-1 is not prime. Res64: 34E4888096483952 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:52:18] 853*2^1455223-1 is not prime. Res64: 4DF841A5C4F3B3A4 Time : 0.0 sec. user=mdettweiler [2017-05-28 01:52:19] 913*2^1455223-1 is not prime. Res64: C30E8514057B7300 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:02:58] 951*2^1455223-1 is not prime. Res64: A678CCF5BA932731 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:02:59] 961*2^1455223-1 is not prime. Res64: 3E6A44F278D0F2E3 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:03:00] 659*2^1455224-1 is not prime. Res64: DF9C6C398137B984 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:03:01] 903*2^1455224-1 is not prime. Res64: 3086DCB81C83411E Time : 0.0 sec. user=mdettweiler [2017-05-28 02:03:02] 923*2^1455224-1 is not prime. Res64: 1E6A45B1241809F8 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:26:28] 625*2^1455225-1 is not prime. Res64: A5DA11B944574964 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:26:29] 639*2^1455225-1 is not prime. Res64: F0BED3A680E1A1C5 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:26:29] 739*2^1455225-1 is not prime. Res64: 4E11CB270790F71A Time : 0.0 sec. user=mdettweiler [2017-05-28 02:26:29] 781*2^1455225-1 is not prime. Res64: 1581CD40229B53FE Time : 0.0 sec. user=mdettweiler [2017-05-28 02:26:30] 837*2^1455225-1 is not prime. Res64: 2D529D9F8C41290C Time : 0.0 sec. user=mdettweiler [2017-05-28 02:33:50] 969*2^1455225-1 is not prime. Res64: 2F254E2EBB15B14C Time : 0.0 sec. user=mdettweiler [2017-05-28 02:33:51] 657*2^1455226-1 is not prime. Res64: C229777B43FF2216 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:33:51] 717*2^1455226-1 is not prime. Res64: 9A614821A6C059ED Time : 0.0 sec. user=mdettweiler [2017-05-28 02:33:51] 723*2^1455226-1 is not prime. Res64: B025B9C85CCAF2BF Time : 0.0 sec. user=mdettweiler [2017-05-28 02:33:51] 813*2^1455226-1 is not prime. Res64: D8A6802F212B05B3 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:37:54] 867*2^1455226-1 is not prime. Res64: F848B8BF5D324AF0 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:37:55] 903*2^1455226-1 is not prime. Res64: 3901DC04E11BC5E8 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:37:55] 933*2^1455226-1 is not prime. Res64: 4824CA66C14CA057 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:37:55] 693*2^1455227-1 is not prime. Res64: 94CE2CED7353EE84 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:37:56] 741*2^1455227-1 is not prime. Res64: F495F3B8506E53AC Time : 0.0 sec. user=mdettweiler [2017-05-28 02:49:43] 801*2^1455227-1 is not prime. Res64: 0154B56410A75CC8 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:49:43] 871*2^1455227-1 is not prime. Res64: 952D91AB5DFBD34E Time : 0.0 sec. user=mdettweiler [2017-05-28 02:49:43] 909*2^1455227-1 is not prime. Res64: 8B60EFCC897A4B46 Time : 0.0 sec. user=mdettweiler [2017-05-28 02:49:43] 939*2^1455227-1 is not prime. Res64: BBF827112A5667CF Time : 0.0 sec. user=mdettweiler [2017-05-28 02:49:44] 955*2^1455227-1 is not prime. Res64: 00E965B6A90AC4BD Time : 0.0 sec. user=juhehe [2017-05-28 03:12:00] 825*2^1455228-1 is not prime. Res64: 5494820DF5231176 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:12:52] 669*2^1455228-1 is not prime. Res64: D4DE5D6CF2361D7C Time : 0.0 sec. user=mdettweiler [2017-05-28 03:12:53] 707*2^1455228-1 is not prime. Res64: 2DB797436C6310F3 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:12:53] 765*2^1455228-1 is not prime. Res64: 06248DEFDE5D2D4F Time : 0.0 sec. user=mdettweiler [2017-05-28 03:12:53] 795*2^1455228-1 is not prime. Res64: E269F072773903AF Time : 0.0 sec. user=mdettweiler [2017-05-28 03:12:54] 803*2^1455228-1 is not prime. Res64: 3A2D94F74311FB15 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:20:06] 839*2^1455228-1 is not prime. Res64: 28966D0EDAAA0E03 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:20:06] 923*2^1455228-1 is not prime. Res64: 26AD0D0306C069C5 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:20:06] 945*2^1455228-1 is not prime. Res64: 1D62C7CFF28F680D Time : 0.0 sec. user=mdettweiler [2017-05-28 03:20:06] 975*2^1455228-1 is not prime. Res64: 8E447BF3C25D4CEC Time : 0.0 sec. user=mdettweiler [2017-05-28 03:20:07] 619*2^1455229-1 is not prime. Res64: AAFCE523F84D6E73 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:24:31] 639*2^1455229-1 is not prime. Res64: FEE6B42030CDA07B Time : 0.0 sec. user=mdettweiler [2017-05-28 03:24:31] 679*2^1455229-1 is not prime. Res64: 3A109C1B4941B42B Time : 0.0 sec. user=mdettweiler [2017-05-28 03:24:31] 687*2^1455229-1 is not prime. Res64: A4C93F678053139D Time : 0.0 sec. user=mdettweiler [2017-05-28 03:24:32] 741*2^1455229-1 is not prime. Res64: E8A591E65EEB8C20 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:24:32] 825*2^1455229-1 is not prime. Res64: 872C56F49FFAE6F2 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:35:21] 641*2^1455230-1 is not prime. Res64: B4EC4DC874DA3464 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:35:23] 831*2^1455230-1 is not prime. Res64: 9F2A1EB6508F7726 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:35:24] 957*2^1455230-1 is not prime. Res64: F2CB86F9AC671B3F Time : 0.0 sec. user=mdettweiler [2017-05-28 03:35:25] 987*2^1455230-1 is not prime. Res64: BB2D2A7AB36559A5 Time : 0.0 sec. user=mdettweiler [2017-05-28 03:35:26] 1001*2^1455230-1 is not prime. Res64: D9FFD23A478DB27E Time : 0.0 sec. user=mdettweiler [2017-05-28 03:58:24] 693*2^1455231-1 is not prime. Res64: 702C14F4F12574F4 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:05:58] 693*2^1455232-1 is not prime. Res64: BE314CDE2ED02752 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:06:01] 713*2^1455232-1 is not prime. Res64: 694A2B90278BA3B1 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:06:02] 755*2^1455232-1 is not prime. Res64: E2DD8FDB196F88E6 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:06:03] 813*2^1455232-1 is not prime. Res64: 731A88F1AB089311 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:06:04] 843*2^1455232-1 is not prime. Res64: 4A0AD8726414B1F9 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:11:09] 909*2^1455232-1 is not prime. Res64: C062AD46BC311EE1 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:11:10] 615*2^1455233-1 is not prime. Res64: 4766AD14884B368E Time : 0.0 sec. user=mdettweiler [2017-05-28 04:11:10] 675*2^1455233-1 is not prime. Res64: DD52715F5D16433F Time : 0.0 sec. user=mdettweiler [2017-05-28 04:11:10] 747*2^1455233-1 is not prime. Res64: FB0C3EB313C81C6F Time : 0.0 sec. user=mdettweiler [2017-05-28 04:11:10] 795*2^1455233-1 is not prime. Res64: 23F3229A43A63863 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:24:09] 605*2^1455234-1 is not prime. Res64: 62BE789F08F06D66 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:24:09] 641*2^1455234-1 is not prime. Res64: 2C8069AF9080D877 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:24:09] 741*2^1455234-1 is not prime. Res64: DCF79B3AF623D2EE Time : 0.0 sec. user=mdettweiler [2017-05-28 04:24:09] 791*2^1455234-1 is not prime. Res64: 3CC92B1BD671CC7D Time : 0.0 sec. user=mdettweiler [2017-05-28 04:24:10] 797*2^1455234-1 is not prime. Res64: 3930A06DACA901E7 Time : 0.0 sec. user=juhehe [2017-05-28 04:29:05] 741*2^1455134-1 is not prime. Res64: 3983722BDE3046DA Time : 0.0 sec. user=mdettweiler [2017-05-28 04:55:02] 941*2^1455234-1 is not prime. Res64: D35F58D8C05840E7 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:55:02] 945*2^1455234-1 is not prime. Res64: 9EBE0DD72C64449D Time : 0.0 sec. user=mdettweiler [2017-05-28 04:55:02] 947*2^1455234-1 is not prime. Res64: 9186770A6592DED8 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:55:02] 975*2^1455234-1 is not prime. Res64: 558DF5CDE6358EA4 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:55:03] 603*2^1455235-1 is not prime. Res64: B82C04843786C710 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:59:40] 693*2^1455235-1 is not prime. Res64: 7E44E95A81742F61 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:59:40] 861*2^1455235-1 is not prime. Res64: 863438DE84185598 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:59:40] 603*2^1455236-1 is not prime. Res64: 3817F6370B672FD3 Time : 0.0 sec. user=mdettweiler [2017-05-28 04:59:40] 609*2^1455236-1 is not prime. Res64: FB2D51A839C5428F Time : 0.0 sec. user=mdettweiler [2017-05-28 04:59:41] 693*2^1455236-1 is not prime. Res64: E9F2E0A3EAB2B695 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:10:55] 759*2^1455236-1 is not prime. Res64: D28D94C38C8A343A Time : 0.0 sec. user=mdettweiler [2017-05-28 05:10:56] 845*2^1455236-1 is not prime. Res64: 3CC93B4CDEDAD77C Time : 0.0 sec. user=mdettweiler [2017-05-28 05:10:56] 639*2^1455237-1 is not prime. Res64: F5B00FC744884D8E Time : 0.0 sec. user=mdettweiler [2017-05-28 05:10:56] 667*2^1455237-1 is not prime. Res64: 01EF5937DA8013C7 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:10:56] 681*2^1455237-1 is not prime. Res64: 7F66AF968E0A5116 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:41:49] 747*2^1455237-1 is not prime. Res64: 9070BADA2FE7D9A5 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:41:49] 777*2^1455237-1 is not prime. Res64: 832233825AF31250 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:41:49] 915*2^1455237-1 is not prime. Res64: 175C8CD6B99B3AB5 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:41:50] 961*2^1455237-1 is not prime. Res64: 1F542FCCE21BCBDC Time : 0.0 sec. user=mdettweiler [2017-05-28 05:41:50] 975*2^1455237-1 is not prime. Res64: BEA81F5BE543B47C Time : 0.0 sec. user=mdettweiler [2017-05-28 05:46:36] 979*2^1455237-1 is not prime. Res64: 6B032A81E6CC5D06 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:46:36] 761*2^1455238-1 is not prime. Res64: F32BC9D44BF6BD0C Time : 0.0 sec. user=mdettweiler [2017-05-28 05:46:37] 801*2^1455238-1 is not prime. Res64: 3583D1CA6809C219 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:46:37] 821*2^1455238-1 is not prime. Res64: 6494BA23BCE55022 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:46:37] 885*2^1455238-1 is not prime. Res64: EF64F4C2BAFDB725 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:57:47] 941*2^1455238-1 is not prime. Res64: CF935D8FAF593754 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:57:47] 975*2^1455238-1 is not prime. Res64: 1A5DC3CE05943AD6 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:57:48] 643*2^1455239-1 is not prime. Res64: C77E7A492378F82E Time : 0.0 sec. user=mdettweiler [2017-05-28 05:57:48] 645*2^1455239-1 is not prime. Res64: 2016CB09FE3CABA9 Time : 0.0 sec. user=mdettweiler [2017-05-28 05:57:48] 663*2^1455239-1 is not prime. Res64: 0B3938B0A17D84AD Time : 0.0 sec. user=mdettweiler [2017-05-28 06:22:53] 805*2^1455231-1 is not prime. Res64: 814E4CF1AF8095AB Time : 0.0 sec. user=mdettweiler [2017-05-28 06:22:53] 861*2^1455231-1 is not prime. Res64: 8566BB8B1E9B6145 Time : 0.0 sec. user=mdettweiler [2017-05-28 06:22:53] 891*2^1455231-1 is not prime. Res64: 656AABDCA9593E8B Time : 0.0 sec. user=mdettweiler [2017-05-28 06:22:54] 975*2^1455231-1 is not prime. Res64: C895F9097FC72887 Time : 0.0 sec. user=mdettweiler [2017-05-28 06:28:18] 735*2^1455239-1 is not prime. Res64: 39194956A9B865FA Time : 0.0 sec. user=mdettweiler [2017-05-28 06:28:18] 799*2^1455239-1 is not prime. Res64: F947E26631DB2B80 Time : 0.0 sec. user=mdettweiler [2017-05-28 06:28:18] 843*2^1455239-1 is not prime. Res64: A55925DE7DB5D530 Time : 0.0 sec. user=mdettweiler [2017-05-28 06:28:19] 885*2^1455239-1 is not prime. Res64: 84F0DD422779EAFA Time : 0.0 sec. user=mdettweiler [2017-05-28 06:28:19] 973*2^1455239-1 is not prime. Res64: 4B89448D59E3EDAB Time : 0.0 sec. user=mdettweiler [2017-05-28 06:33:07] 633*2^1455240-1 is not prime. Res64: D9FA7511023E9EAE Time : 0.0 sec. user=mdettweiler [2017-05-28 06:33:07] 635*2^1455240-1 is not prime. Res64: 26FC6E5C0023A723 Time : 0.0 sec. user=mdettweiler [2017-05-28 06:33:08] 675*2^1455240-1 is not prime. Res64: 651D528E7AF7F903 Time : 0.0 sec. user=mdettweiler [2017-05-28 06:33:08] 689*2^1455240-1 is not prime. Res64: 43EE8E021147A075 Time : 0.0 sec. user=mdettweiler [2017-05-28 06:33:08] 717*2^1455240-1 is not prime. Res64: 9F3EF5AF2C3FFC3F Time : 0.0 sec. user=mdettweiler [2017-05-28 06:43:52] 753*2^1455240-1 is not prime. Res64: A6BCB4C5E67A8399 Time : 0.0 sec. user=mdettweiler [2017-05-28 06:43:52] 765*2^1455240-1 is not prime. Res64: DA84CDA1B15F82D5 Time : 0.0 sec. user=mdettweiler [2017-05-28 06:43:52] 809*2^1455240-1 is not prime. Res64: 27DAC072E7FA9D2A Time : 0.0 sec. user=mdettweiler [2017-05-28 06:43:53] 999*2^1455240-1 is not prime. Res64: 9405B2C66FB672DC Time : 0.0 sec. user=mdettweiler [2017-05-28 06:43:53] 889*2^1455241-1 is not prime. Res64: 21DEADC1226931D3 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:08:27] 937*2^1455241-1 is not prime. Res64: F8EE19FF3FB8FCB2 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:08:27] 939*2^1455241-1 is not prime. Res64: BC81EF29466484E2 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:08:28] 951*2^1455241-1 is not prime. Res64: 25BBB7E903BE6C70 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:08:28] 705*2^1455242-1 is not prime. Res64: 3556D226770FDF9E Time : 0.0 sec. user=mdettweiler [2017-05-28 07:08:28] 713*2^1455242-1 is not prime. Res64: F568D05B4D48EB4B Time : 0.0 sec. user=mdettweiler [2017-05-28 07:13:53] 731*2^1455242-1 is not prime. Res64: 35A425BC69022BB5 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:13:53] 741*2^1455242-1 is not prime. Res64: 065126C27621EE96 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:13:53] 753*2^1455242-1 is not prime. Res64: 0F6B4F44289A9897 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:13:54] 791*2^1455242-1 is not prime. Res64: B0BC3CB4797637C8 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:13:54] 957*2^1455242-1 is not prime. Res64: D5099687A48D11B4 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:18:28] 963*2^1455242-1 is not prime. Res64: 2A4B5C7C5F5A92B2 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:18:28] 709*2^1455243-1 is not prime. Res64: 862DC608E0609E45 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:18:28] 741*2^1455243-1 is not prime. Res64: 6F7967FADD15037C Time : 0.0 sec. user=mdettweiler [2017-05-28 07:18:29] 751*2^1455243-1 is not prime. Res64: CFFAE3425323E15C Time : 0.0 sec. user=mdettweiler [2017-05-28 07:18:29] 919*2^1455243-1 is not prime. Res64: 87D4B4CA32A4E91B Time : 0.0 sec. user=mdettweiler [2017-05-28 07:29:19] 955*2^1455243-1 is not prime. Res64: 50D30B45C10B21F1 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:29:19] 985*2^1455243-1 is not prime. Res64: 66D8DF5F3673907B Time : 0.0 sec. user=mdettweiler [2017-05-28 07:29:20] 785*2^1455244-1 is not prime. Res64: E71EC7B33A4E6B1A Time : 0.0 sec. user=mdettweiler [2017-05-28 07:29:20] 857*2^1455244-1 is not prime. Res64: 2E412A59A919BD72 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:29:20] 885*2^1455244-1 is not prime. Res64: F176DF25A938C2A8 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:54:41] 927*2^1455244-1 is not prime. Res64: DAFBE9B9DD3CDCFC Time : 0.0 sec. user=mdettweiler [2017-05-28 07:54:41] 865*2^1455245-1 is not prime. Res64: 4FFFC6DC9845FB53 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:54:41] 981*2^1455245-1 is not prime. Res64: DA9A0B08555F3256 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:54:42] 991*2^1455245-1 is not prime. Res64: 1858B472239CDD80 Time : 0.0 sec. user=mdettweiler [2017-05-28 07:54:42] 611*2^1455246-1 is not prime. Res64: 5ECC832578DA3694 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:00:08] 755*2^1455246-1 is not prime. Res64: A012AB93146A6027 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:00:08] 821*2^1455246-1 is not prime. Res64: B371A420636D3AB7 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:00:08] 833*2^1455246-1 is not prime. Res64: FB7F9BA636E95385 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:00:09] 881*2^1455246-1 is not prime. Res64: 91049607809A0C3B Time : 0.0 sec. user=mdettweiler [2017-05-28 08:00:09] 975*2^1455246-1 is not prime. Res64: 51BF7FDCAF1B16E4 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:05:32] 615*2^1455247-1 is not prime. Res64: D94CDDA6D23190D7 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:05:33] 705*2^1455247-1 is not prime. Res64: 92F619F09C360752 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:05:34] 775*2^1455247-1 is not prime. Res64: D2952DCE24F74CE1 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:05:35] 859*2^1455247-1 is not prime. Res64: E71063163DFF3556 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:05:36] 871*2^1455247-1 is not prime. Res64: F0497B8A9C485567 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:18:26] 885*2^1455247-1 is not prime. Res64: 1837799C478B9D21 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:18:27] 933*2^1455247-1 is not prime. Res64: 671212E0E6F2B58C Time : 0.0 sec. user=mdettweiler [2017-05-28 08:18:27] 945*2^1455247-1 is not prime. Res64: 1D4494F0FC8397F4 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:18:27] 975*2^1455247-1 is not prime. Res64: 7271B51D47D50D38 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:18:27] 985*2^1455247-1 is not prime. Res64: CDB15AA3AB93A1EF Time : 0.0 sec. user=mdettweiler [2017-05-28 08:43:37] 713*2^1455248-1 is not prime. Res64: 78125E45C953A8F6 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:43:38] 729*2^1455248-1 is not prime. Res64: 371AC147A6C1A6FC Time : 0.0 sec. user=mdettweiler [2017-05-28 08:43:38] 735*2^1455248-1 is not prime. Res64: AEC2143C8A1955B2 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:43:38] 747*2^1455248-1 is not prime. Res64: 646B2BF929DB5ED2 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:43:39] 813*2^1455248-1 is not prime. Res64: 42A995083387EBAA Time : 0.0 sec. user=mdettweiler [2017-05-28 08:48:53] 815*2^1455248-1 is not prime. Res64: E3389979F4F67F2D Time : 0.0 sec. user=mdettweiler [2017-05-28 08:48:54] 893*2^1455248-1 is not prime. Res64: 2FC3DC37BD32508D Time : 0.0 sec. user=mdettweiler [2017-05-28 08:48:54] 995*2^1455248-1 is not prime. Res64: FADA8DFA29597B6C Time : 0.0 sec. user=mdettweiler [2017-05-28 08:48:54] 999*2^1455248-1 is not prime. Res64: 860D52B2BEE88ACB Time : 0.0 sec. user=mdettweiler [2017-05-28 08:48:55] 691*2^1455249-1 is not prime. Res64: CCCF4384196D1A48 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:53:58] 919*2^1455249-1 is not prime. Res64: E521BA14E301947D Time : 0.0 sec. user=mdettweiler [2017-05-28 08:53:59] 723*2^1455250-1 is not prime. Res64: E9A22E72CD6FD8B2 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:53:59] 741*2^1455250-1 is not prime. Res64: 20B9F2B5698B2630 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:53:59] 755*2^1455250-1 is not prime. Res64: 7225383FD1697643 Time : 0.0 sec. user=mdettweiler [2017-05-28 08:53:59] 765*2^1455250-1 is not prime. Res64: F236600DB9292B23 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:04:26] 773*2^1455250-1 is not prime. Res64: 15DD9362D5E19D89 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:04:27] 827*2^1455250-1 is not prime. Res64: 4A30E44DF0A3ADE0 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:04:28] 867*2^1455250-1 is not prime. Res64: AAD4F7D6A13A6DC2 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:04:29] 951*2^1455250-1 is not prime. Res64: 3B52DD3955ECC0B4 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:04:29] 615*2^1455251-1 is not prime. Res64: 74D36EC7E59B058F Time : 0.0 sec. user=mdettweiler [2017-05-28 09:29:13] 621*2^1455251-1 is not prime. Res64: 93B60E8C0025FE2A Time : 0.0 sec. user=mdettweiler [2017-05-28 09:29:14] 651*2^1455251-1 is not prime. Res64: 2340FBC703A77433 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:29:14] 675*2^1455251-1 is not prime. Res64: C345D59385F738A2 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:29:14] 823*2^1455251-1 is not prime. Res64: B529E9C0359B5709 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:29:14] 913*2^1455251-1 is not prime. Res64: 98D7B346B24A9DA0 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:34:44] 955*2^1455251-1 is not prime. Res64: B0AC555208623714 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:34:44] 981*2^1455251-1 is not prime. Res64: FDECE6FC6D6AB567 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:34:44] 609*2^1455252-1 is not prime. Res64: 9C33613C11FFE73D Time : 0.0 sec. user=mdettweiler [2017-05-28 09:34:45] 669*2^1455252-1 is not prime. Res64: A4827C0F1F081CE3 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:34:45] 689*2^1455252-1 is not prime. Res64: 7406D425ED675C0D Time : 0.0 sec. user=mdettweiler [2017-05-28 09:39:26] 609*2^1455253-1 is not prime. Res64: AFA1125DD7566E19 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:39:27] 615*2^1455253-1 is not prime. Res64: 53BE7E68C42500D7 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:39:27] 885*2^1455253-1 is not prime. Res64: 9834F951A09E9B8D Time : 0.0 sec. user=mdettweiler [2017-05-28 09:39:27] 937*2^1455253-1 is not prime. Res64: 388AE5870F3E4B76 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:39:27] 957*2^1455253-1 is not prime. Res64: 6EE074530CF0BB01 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:50:20] 967*2^1455253-1 is not prime. Res64: 0800310226BC8968 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:50:21] 635*2^1455254-1 is not prime. Res64: ECB0F756AFE5AC45 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:50:21] 827*2^1455254-1 is not prime. Res64: B2F5DD0574DEA6FD Time : 0.0 sec. user=mdettweiler [2017-05-28 09:50:21] 857*2^1455254-1 is not prime. Res64: 3DF8FDB28D08C532 Time : 0.0 sec. user=mdettweiler [2017-05-28 09:50:21] 923*2^1455254-1 is not prime. Res64: BEDA47B169CE4838 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:14:44] 981*2^1455254-1 is not prime. Res64: 6B3519E3E20791D5 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:14:44] 649*2^1455255-1 is not prime. Res64: 0FFFCBA418DD6240 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:14:44] 679*2^1455255-1 is not prime. Res64: 982287D87FC20B55 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:14:45] 723*2^1455255-1 is not prime. Res64: B36F753F7ED9524C Time : 0.0 sec. user=mdettweiler [2017-05-28 10:14:45] 741*2^1455255-1 is not prime. Res64: 73BC3E958804B5DC Time : 0.0 sec. user=mdettweiler [2017-05-28 10:20:19] 819*2^1455255-1 is not prime. Res64: 33002BDF723FFEBC Time : 0.0 sec. user=mdettweiler [2017-05-28 10:20:19] 985*2^1455255-1 is not prime. Res64: 3F8AFCDD60B525FC Time : 0.0 sec. user=mdettweiler [2017-05-28 10:20:19] 705*2^1455256-1 is not prime. Res64: 4BD68FCFC6DA357D Time : 0.0 sec. user=mdettweiler [2017-05-28 10:20:19] 723*2^1455256-1 is not prime. Res64: 0031156ABFA5CA37 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:20:20] 857*2^1455256-1 is not prime. Res64: E34AF56B636B3245 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:24:55] 869*2^1455256-1 is not prime. Res64: 8D97F7BD2C8DA786 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:24:56] 903*2^1455256-1 is not prime. Res64: 37C8266158A0DC2C Time : 0.0 sec. user=mdettweiler [2017-05-28 10:24:56] 669*2^1455257-1 is not prime. Res64: C5A0B9265AA0DCA3 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:24:56] 691*2^1455257-1 is not prime. Res64: 5ACE25AD883F98A3 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:24:56] 741*2^1455257-1 is not prime. Res64: E0997BEC731084BE Time : 0.0 sec. user=mdettweiler [2017-05-28 10:35:56] 889*2^1455257-1 is not prime. Res64: 50B9291CECF2A067 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:35:56] 949*2^1455257-1 is not prime. Res64: 02EBBD7D5F5A08BA Time : 0.0 sec. user=mdettweiler [2017-05-28 10:35:56] 985*2^1455257-1 is not prime. Res64: 1C139157E2D0A1EE Time : 0.0 sec. user=mdettweiler [2017-05-28 10:35:56] 683*2^1455258-1 is not prime. Res64: 50476916737F6D56 Time : 0.0 sec. user=mdettweiler [2017-05-28 10:35:57] 705*2^1455258-1 is not prime. Res64: 8519007DA08928EF Time : 0.0 sec. user=mdettweiler [2017-05-28 11:00:24] 713*2^1455258-1 is not prime. Res64: 189CD4F1EEE4FB0D Time : 0.0 sec. user=mdettweiler [2017-05-28 11:00:25] 755*2^1455258-1 is not prime. Res64: F88D8E4F60AF1659 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:00:25] 875*2^1455258-1 is not prime. Res64: B858E50F076F95CA Time : 0.0 sec. user=mdettweiler [2017-05-28 11:00:25] 885*2^1455258-1 is not prime. Res64: ED7A488DF2B1329D Time : 0.0 sec. user=mdettweiler [2017-05-28 11:00:26] 921*2^1455258-1 is not prime. Res64: C0FC479CDB499F4E Time : 0.0 sec. user=mdettweiler [2017-05-28 11:06:12] 793*2^1455259-1 is not prime. Res64: 903BF056CC149C38 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:06:13] 861*2^1455259-1 is not prime. Res64: D8DD33D551E42B4E Time : 0.0 sec. user=mdettweiler [2017-05-28 11:06:14] 909*2^1455259-1 is not prime. Res64: 87436CE818E4BEDA Time : 0.0 sec. user=mdettweiler [2017-05-28 11:06:15] 919*2^1455259-1 is not prime. Res64: FB19F53048B54E9D Time : 0.0 sec. user=mdettweiler [2017-05-28 11:06:17] 687*2^1455260-1 is not prime. Res64: 182F5F4C60975613 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:10:28] 759*2^1455260-1 is not prime. Res64: CCC0CEAD4FDB6128 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:10:28] 963*2^1455260-1 is not prime. Res64: 7333000AB2579F89 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:10:28] 977*2^1455260-1 is not prime. Res64: 94A4597775EF10B4 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:10:28] 621*2^1455261-1 is not prime. Res64: 57A30EEEFDA45A8A Time : 0.0 sec. user=mdettweiler [2017-05-28 11:10:29] 691*2^1455261-1 is not prime. Res64: 48629C95CBFA599A Time : 0.0 sec. user=mdettweiler [2017-05-28 11:21:40] 849*2^1455261-1 is not prime. Res64: 5F1F7DE4569F248A Time : 0.0 sec. user=mdettweiler [2017-05-28 11:21:40] 867*2^1455261-1 is not prime. Res64: BB9208614C9BC3F1 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:21:41] 907*2^1455261-1 is not prime. Res64: C94DCD67191D8A01 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:21:41] 681*2^1455262-1 is not prime. Res64: E011134A34579BFE Time : 0.0 sec. user=mdettweiler [2017-05-28 11:21:41] 743*2^1455262-1 is not prime. Res64: 05AF01C525C534CF Time : 0.0 sec. user=mdettweiler [2017-05-28 11:46:45] 785*2^1455262-1 is not prime. Res64: 26908FD19DE5072D Time : 0.0 sec. user=mdettweiler [2017-05-28 11:46:45] 739*2^1455263-1 is not prime. Res64: 12C4F8E553B97396 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:46:45] 759*2^1455263-1 is not prime. Res64: 9B8A3396F585A2D8 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:46:46] 829*2^1455263-1 is not prime. Res64: 2CC92D0B2F1156E2 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:46:46] 879*2^1455263-1 is not prime. Res64: 7335D842D7CF1BF3 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:55:55] 849*2^1455264-1 is not prime. Res64: DF971EF9147F24FD Time : 0.0 sec. user=mdettweiler [2017-05-28 11:55:56] 927*2^1455264-1 is not prime. Res64: D2C541C332CA8AF3 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:55:56] 929*2^1455264-1 is not prime. Res64: F63ABB70FBE48A0D Time : 0.0 sec. user=mdettweiler [2017-05-28 11:55:56] 983*2^1455264-1 is not prime. Res64: B515B64BEF5C5FA1 Time : 0.0 sec. user=mdettweiler [2017-05-28 11:55:56] 705*2^1455265-1 is not prime. Res64: 28614B937081EA62 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:07:27] 765*2^1455265-1 is not prime. Res64: EBEA5B9790915272 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:07:28] 775*2^1455265-1 is not prime. Res64: 8E6EED7C17A7264F Time : 0.0 sec. user=mdettweiler [2017-05-28 12:07:29] 861*2^1455265-1 is not prime. Res64: 5711F2B7C2EC5DBE Time : 0.0 sec. user=mdettweiler [2017-05-28 12:07:29] 877*2^1455265-1 is not prime. Res64: 355F86FD97108BA0 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:07:30] 885*2^1455265-1 is not prime. Res64: 5FCBCAB3F5DED5D1 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:16:34] 949*2^1455263-1 is not prime. Res64: 45BE9333F55641BB Time : 0.0 sec. user=mdettweiler [2017-05-28 12:16:34] 657*2^1455264-1 is not prime. Res64: 99BB9CEAE739729A Time : 0.0 sec. user=mdettweiler [2017-05-28 12:16:35] 665*2^1455264-1 is not prime. Res64: DA79E013092E4281 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:16:35] 759*2^1455264-1 is not prime. Res64: C54ADFEC34688A0F Time : 0.0 sec. user=mdettweiler [2017-05-28 12:16:35] 843*2^1455264-1 is not prime. Res64: 88ACDF6A3CF1F3B9 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:32:53] 895*2^1455265-1 is not prime. Res64: 8C375AE7241CF8E1 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:32:53] 641*2^1455266-1 is not prime. Res64: D4AD5F14034DE76C Time : 0.0 sec. user=mdettweiler [2017-05-28 12:32:53] 711*2^1455266-1 is not prime. Res64: A93B4DEC2CC43EF8 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:32:54] 621*2^1455267-1 is not prime. Res64: 1A63ED055B36A189 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:32:54] 649*2^1455267-1 is not prime. Res64: FAEAA0E8124CD03D Time : 0.0 sec. user=mdettweiler [2017-05-28 12:42:36] 675*2^1455267-1 is not prime. Res64: 4323955EE5DDCCA8 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:42:37] 781*2^1455267-1 is not prime. Res64: 3B91E27B4C73DA6B Time : 0.0 sec. user=mdettweiler [2017-05-28 12:42:37] 801*2^1455267-1 is not prime. Res64: 98E84CD0AB5FE4B3 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:42:37] 901*2^1455267-1 is not prime. Res64: 77AC0806C539C007 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:42:37] 949*2^1455267-1 is not prime. Res64: A9D4E10695E032E1 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:53:20] 617*2^1455268-1 is not prime. Res64: E3948794D447F19B Time : 0.0 sec. user=mdettweiler [2017-05-28 12:53:20] 707*2^1455268-1 is not prime. Res64: 49270E4AACD44E5C Time : 0.0 sec. user=mdettweiler [2017-05-28 12:53:20] 735*2^1455268-1 is not prime. Res64: FC0C9AA5E73005C9 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:53:21] 743*2^1455268-1 is not prime. Res64: 0EBEF195821DED13 Time : 0.0 sec. user=mdettweiler [2017-05-28 12:53:21] 783*2^1455268-1 is not prime. Res64: C5AEB5AA949A4811 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:02:16] 819*2^1455268-1 is not prime. Res64: 9C881BAD341DDC30 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:02:17] 855*2^1455268-1 is not prime. Res64: C6C3F53BC90D3029 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:02:17] 869*2^1455268-1 is not prime. Res64: F00516D18FB0921C Time : 0.0 sec. user=mdettweiler [2017-05-28 13:02:18] 631*2^1455269-1 is not prime. Res64: BC38FF42920CAF78 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:02:18] 645*2^1455269-1 is not prime. Res64: 00C5FB56A2ABC7D2 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:18:46] 729*2^1455269-1 is not prime. Res64: 2B87B5BDB09E1D5D Time : 0.0 sec. user=mdettweiler [2017-05-28 13:18:46] 735*2^1455269-1 is not prime. Res64: 2DFD2926B186A451 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:18:47] 969*2^1455269-1 is not prime. Res64: FA3700A78FFB449D Time : 0.0 sec. user=mdettweiler [2017-05-28 13:18:47] 987*2^1455269-1 is not prime. Res64: 7021DE32B323F0C4 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:18:47] 843*2^1455270-1 is not prime. Res64: 5F8A6F6B1D9459B7 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:29:04] 887*2^1455270-1 is not prime. Res64: 14789AC49626B946 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:29:05] 917*2^1455270-1 is not prime. Res64: 1AD80BB3B0F46DF0 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:29:05] 971*2^1455270-1 is not prime. Res64: 4E0DFC2406EF27AF Time : 0.0 sec. user=mdettweiler [2017-05-28 13:29:05] 619*2^1455271-1 is not prime. Res64: E7C536D7F51250E8 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:29:05] 673*2^1455271-1 is not prime. Res64: 075DF08A8D731AA5 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:40:19] 735*2^1455271-1 is not prime. Res64: 3AE523F9E01DDDCD Time : 0.0 sec. user=mdettweiler [2017-05-28 13:40:20] 745*2^1455271-1 is not prime. Res64: 7CE2640C132BCABE Time : 0.0 sec. user=mdettweiler [2017-05-28 13:40:20] 759*2^1455271-1 is not prime. Res64: 1C7509172A06EDDB Time : 0.0 sec. user=mdettweiler [2017-05-28 13:40:20] 829*2^1455271-1 is not prime. Res64: 7CD67B2F03BD3787 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:40:20] 873*2^1455271-1 is not prime. Res64: C6357CE22A7F1F2E Time : 0.0 sec. user=mdettweiler [2017-05-28 13:49:11] 973*2^1455271-1 is not prime. Res64: B44D36DA4FA6DB69 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:49:12] 675*2^1455272-1 is not prime. Res64: 3F9B3C3CE40121BD Time : 0.0 sec. user=mdettweiler [2017-05-28 13:49:12] 759*2^1455272-1 is not prime. Res64: B1622C695EB8B2DD Time : 0.0 sec. user=mdettweiler [2017-05-28 13:49:12] 785*2^1455272-1 is not prime. Res64: 8A884AA73BE1D527 Time : 0.0 sec. user=mdettweiler [2017-05-28 13:49:13] 819*2^1455272-1 is not prime. Res64: 1A0843BAACDCC796 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:05:22] 855*2^1455272-1 is not prime. Res64: 3D22D7C3EB06812D Time : 0.0 sec. user=mdettweiler [2017-05-28 14:05:23] 899*2^1455272-1 is not prime. Res64: D9B4295DB809F16F Time : 0.0 sec. user=mdettweiler [2017-05-28 14:05:24] 805*2^1455273-1 is not prime. Res64: 59E712A105640AD2 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:05:26] 861*2^1455273-1 is not prime. Res64: 97AEBE34AF512DA0 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:05:27] 901*2^1455273-1 is not prime. Res64: 2D0BDE4210B6ED0C Time : 0.0 sec. user=mdettweiler [2017-05-28 14:14:48] 921*2^1455273-1 is not prime. Res64: 84CFF54DB1695067 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:14:49] 945*2^1455273-1 is not prime. Res64: 68270C3E81EF2186 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:14:49] 951*2^1455273-1 is not prime. Res64: 8AB149B9945E826A Time : 0.0 sec. user=mdettweiler [2017-05-28 14:14:49] 955*2^1455273-1 is not prime. Res64: D8CEF0D122DF5B34 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:14:49] 969*2^1455273-1 is not prime. Res64: D30EE8BA8E86DE7E Time : 0.0 sec. user=mdettweiler [2017-05-28 14:25:55] 633*2^1455274-1 is not prime. Res64: 54DFB22845643689 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:25:55] 651*2^1455274-1 is not prime. Res64: 0DE26A234DE5E776 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:25:55] 813*2^1455274-1 is not prime. Res64: 12A9BD7E7A01D349 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:25:56] 815*2^1455274-1 is not prime. Res64: DD465F1001589963 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:25:56] 881*2^1455274-1 is not prime. Res64: C006D797D55FC6B9 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:34:50] 945*2^1455274-1 is not prime. Res64: 128ADFB7E08FB263 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:34:50] 971*2^1455274-1 is not prime. Res64: D106F736E5665C25 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:34:51] 975*2^1455274-1 is not prime. Res64: 7E0BA839C390B632 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:34:51] 981*2^1455274-1 is not prime. Res64: 3517B284541617A7 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:34:51] 633*2^1455275-1 is not prime. Res64: EEC63DF0287A4E0C Time : 0.0 sec. user=mdettweiler [2017-05-28 14:51:23] 699*2^1455275-1 is not prime. Res64: 337A003D78E4448C Time : 0.0 sec. user=mdettweiler [2017-05-28 14:51:23] 883*2^1455275-1 is not prime. Res64: AD4214CEF5D31426 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:51:24] 609*2^1455276-1 is not prime. Res64: D4C3CC6E05BD2859 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:51:24] 623*2^1455276-1 is not prime. Res64: 94BCDE717DFADEB0 Time : 0.0 sec. user=mdettweiler [2017-05-28 14:51:24] 693*2^1455276-1 is not prime. Res64: EA9C557CAF54683C Time : 0.0 sec. user=mdettweiler [2017-05-28 15:00:26] 707*2^1455276-1 is not prime. Res64: 04C9733777ADB785 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:00:26] 719*2^1455276-1 is not prime. Res64: E0FC83F5B8E4338E Time : 0.0 sec. user=mdettweiler [2017-05-28 15:00:27] 725*2^1455276-1 is not prime. Res64: 50B99D62F632E2C6 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:00:27] 735*2^1455276-1 is not prime. Res64: 5518A01CBC29480D Time : 0.0 sec. user=mdettweiler [2017-05-28 15:00:28] 905*2^1455276-1 is not prime. Res64: D07BEBE985BED51E Time : 0.0 sec. user=mdettweiler [2017-05-28 15:11:56] 927*2^1455276-1 is not prime. Res64: F78E26E4F8DE2EA1 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:11:57] 645*2^1455277-1 is not prime. Res64: 763A0FAEA74A92CC Time : 0.0 sec. user=mdettweiler [2017-05-28 15:11:57] 757*2^1455277-1 is not prime. Res64: 13F360A15C229EFA Time : 0.0 sec. user=mdettweiler [2017-05-28 15:11:57] 805*2^1455277-1 is not prime. Res64: F8A04CE117ED3795 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:11:57] 825*2^1455277-1 is not prime. Res64: 7A01AC67850328E4 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:20:33] 867*2^1455277-1 is not prime. Res64: FC648C843A2DFA7C Time : 0.0 sec. user=mdettweiler [2017-05-28 15:20:33] 871*2^1455277-1 is not prime. Res64: 1A931A9A94FC8400 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:20:34] 997*2^1455277-1 is not prime. Res64: 0827E125D750B46A Time : 0.0 sec. user=mdettweiler [2017-05-28 15:20:34] 627*2^1455278-1 is not prime. Res64: CF61AFD90C8FC17D Time : 0.0 sec. user=mdettweiler [2017-05-28 15:20:34] 677*2^1455278-1 is not prime. Res64: 52D29CE70F668A1A Time : 0.0 sec. user=mdettweiler [2017-05-28 15:38:18] 711*2^1455278-1 is not prime. Res64: C54F94A17B800AF9 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:38:19] 753*2^1455278-1 is not prime. Res64: 0EFA429EBCAA7991 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:38:19] 857*2^1455278-1 is not prime. Res64: 08D5A5D1C9A5A9F8 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:38:19] 911*2^1455278-1 is not prime. Res64: 749D7B77CDC9BC62 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:38:19] 915*2^1455278-1 is not prime. Res64: F7C2933C03121CBB Time : 0.0 sec. user=mdettweiler [2017-05-28 15:47:45] 613*2^1455279-1 is not prime. Res64: 0423BFBDBEF28A13 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:47:45] 755*2^1455280-1 is not prime. Res64: 5C6A45E649D1AE9A Time : 0.0 sec. user=mdettweiler [2017-05-28 15:47:45] 785*2^1455280-1 is not prime. Res64: 91F7997496BA68B2 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:47:46] 825*2^1455280-1 is not prime. Res64: E1B9A4FED61BD891 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:47:46] 827*2^1455280-1 is not prime. Res64: 35F063B0D93573DB Time : 0.0 sec. user=mdettweiler [2017-05-28 15:59:16] 923*2^1455280-1 is not prime. Res64: 3C6D7D86FCDFE447 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:59:16] 975*2^1455280-1 is not prime. Res64: 40EA42D292071376 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:59:17] 657*2^1455281-1 is not prime. Res64: 34790C5BE3C42B56 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:59:17] 955*2^1455281-1 is not prime. Res64: 3F3595B8A95B3D75 Time : 0.0 sec. user=mdettweiler [2017-05-28 15:59:17] 957*2^1455281-1 is not prime. Res64: 1EEF6CE008059102 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:07:38] 681*2^1455282-1 is not prime. Res64: 4AD33F3FBEC5B6A5 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:07:38] 803*2^1455282-1 is not prime. Res64: B12F790A6944593E Time : 0.0 sec. user=mdettweiler [2017-05-28 16:07:39] 821*2^1455282-1 is not prime. Res64: 408849409553B98E Time : 0.0 sec. user=mdettweiler [2017-05-28 16:07:39] 915*2^1455282-1 is not prime. Res64: 5AE34B317F5C60F8 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:07:39] 625*2^1455283-1 is not prime. Res64: BD6E324576582B97 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:23:56] 633*2^1455283-1 is not prime. Res64: 95AF4C2358550127 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:23:57] 693*2^1455283-1 is not prime. Res64: 58603CCE1245A0D5 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:23:57] 723*2^1455283-1 is not prime. Res64: 9497616FE823F5B8 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:23:57] 745*2^1455283-1 is not prime. Res64: 58AC65BEDA71D90B Time : 0.0 sec. user=mdettweiler [2017-05-28 16:23:57] 769*2^1455283-1 is not prime. Res64: F05F0E58A498C450 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:33:22] 793*2^1455283-1 is not prime. Res64: BC7B9290ABC62BEB Time : 0.0 sec. user=mdettweiler [2017-05-28 16:33:22] 859*2^1455283-1 is not prime. Res64: 6527354B94C69515 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:33:22] 871*2^1455283-1 is not prime. Res64: 689EBA57E4B026F4 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:33:22] 895*2^1455283-1 is not prime. Res64: 468A74C5291FAE7A Time : 0.0 sec. user=mdettweiler [2017-05-28 16:33:23] 945*2^1455283-1 is not prime. Res64: C05F245AD8FB72D4 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:44:43] 677*2^1455284-1 is not prime. Res64: D521A28A75818F35 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:44:44] 773*2^1455284-1 is not prime. Res64: 1F21BBEE6E45EAEB Time : 0.0 sec. user=mdettweiler [2017-05-28 16:44:44] 789*2^1455284-1 is not prime. Res64: 99A2C2D71B2C753D Time : 0.0 sec. user=mdettweiler [2017-05-28 16:44:44] 869*2^1455284-1 is not prime. Res64: 8291B0ED7C426138 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:44:44] 959*2^1455284-1 is not prime. Res64: 05E90DA2B01624C2 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:53:21] 627*2^1455285-1 is not prime. Res64: 44B20E6BBFDF9DAE Time : 0.0 sec. user=mdettweiler [2017-05-28 16:53:21] 727*2^1455285-1 is not prime. Res64: F7F113440E32E712 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:53:22] 795*2^1455285-1 is not prime. Res64: DCF2A57A42770A3E Time : 0.0 sec. user=mdettweiler [2017-05-28 16:53:22] 861*2^1455285-1 is not prime. Res64: 521F525A7D2C1489 Time : 0.0 sec. user=mdettweiler [2017-05-28 16:53:22] 919*2^1455285-1 is not prime. Res64: 7B9E89B01907D6BB Time : 0.0 sec. user=mdettweiler [2017-05-28 17:09:33] 649*2^1454965-1 is not prime. Res64: 30CA84BA7DDBF3B9 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:09:33] 825*2^1454965-1 is not prime. Res64: F0FAD0003678482C Time : 0.0 sec. user=mdettweiler [2017-05-28 17:09:33] 867*2^1454965-1 is not prime. Res64: 5BE39F2CAE25C49B Time : 0.0 sec. user=mdettweiler [2017-05-28 17:09:34] 897*2^1454965-1 is not prime. Res64: E39E181BA71268AA Time : 0.0 sec. user=mdettweiler [2017-05-28 17:09:34] 653*2^1455286-1 is not prime. Res64: D9E46CFCB0BDEE02 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:19:19] 843*2^1455286-1 is not prime. Res64: 618F746DDBE128D7 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:19:19] 873*2^1455286-1 is not prime. Res64: 18E4F3906DE83ECE Time : 0.0 sec. user=mdettweiler [2017-05-28 17:19:19] 887*2^1455286-1 is not prime. Res64: 5AF352132E4440A4 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:19:20] 993*2^1455286-1 is not prime. Res64: D6752AD46F3F1D34 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:19:20] 759*2^1455287-1 is not prime. Res64: BC97E0C975E74984 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:30:28] 799*2^1455287-1 is not prime. Res64: 4E43E27B477093FB Time : 0.0 sec. user=mdettweiler [2017-05-28 17:30:28] 825*2^1455287-1 is not prime. Res64: 4A1DFE8D58275C77 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:30:28] 861*2^1455287-1 is not prime. Res64: AB2C1F818418A4A0 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:30:28] 885*2^1455287-1 is not prime. Res64: 786C97D3983DE051 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:30:29] 931*2^1455287-1 is not prime. Res64: F09AA274E5EBEB9F Time : 0.0 sec. user=mdettweiler [2017-05-28 17:39:26] 615*2^1455288-1 is not prime. Res64: E1535E7EC00EC6E8 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:39:26] 663*2^1455288-1 is not prime. Res64: 74EB581152A1F89D Time : 0.0 sec. user=mdettweiler [2017-05-28 17:39:26] 689*2^1455288-1 is not prime. Res64: 589E018359F3314E Time : 0.0 sec. user=mdettweiler [2017-05-28 17:39:26] 707*2^1455288-1 is not prime. Res64: 084824E36A9F68A7 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:39:27] 765*2^1455288-1 is not prime. Res64: 191E9D233DB138A4 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:55:23] 867*2^1455288-1 is not prime. Res64: C9C2EEA15CDFD963 Time : 0.0 sec. user=mdettweiler [2017-05-28 17:55:23] 933*2^1455288-1 is not prime. Res64: F1C8C783A6C7984C Time : 0.0 sec. user=mdettweiler [2017-05-28 17:55:24] 649*2^1455289-1 is not prime. Res64: 94BEE83A437455FC Time : 0.0 sec. user=mdettweiler [2017-05-28 17:55:24] 771*2^1455289-1 is not prime. Res64: BFBBD40E22EF299B Time : 0.0 sec. user=mdettweiler [2017-05-28 17:55:24] 867*2^1455289-1 is not prime. Res64: A841AFA5ADD12968 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:04:58] 877*2^1455289-1 is not prime. Res64: 2CB6789C3655C652 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:04:59] 931*2^1455289-1 is not prime. Res64: 149AB3D781F71387 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:05:00] 605*2^1455290-1 is not prime. Res64: A302F2A081049355 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:05:01] 707*2^1455290-1 is not prime. Res64: E8E1228776919864 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:05:03] 747*2^1455290-1 is not prime. Res64: FFF57069C404D975 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:16:07] 801*2^1455290-1 is not prime. Res64: EB68362D979A3A1F Time : 0.0 sec. user=mdettweiler [2017-05-28 18:16:07] 867*2^1455290-1 is not prime. Res64: C4C95A8CC4A8383D Time : 0.0 sec. user=mdettweiler [2017-05-28 18:16:08] 887*2^1455290-1 is not prime. Res64: 2D07B3ACD03A64DB Time : 0.0 sec. user=mdettweiler [2017-05-28 18:16:08] 917*2^1455290-1 is not prime. Res64: 282614A76F67AA39 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:16:09] 651*2^1455291-1 is not prime. Res64: 0FF338FBFE012B26 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:25:04] 795*2^1455291-1 is not prime. Res64: 9E53F3635F075338 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:25:04] 801*2^1455291-1 is not prime. Res64: 16F70621BA467E08 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:25:04] 859*2^1455291-1 is not prime. Res64: 70414058AD6A7228 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:25:04] 955*2^1455291-1 is not prime. Res64: BBF8CFD5110FC9E9 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:25:05] 979*2^1455291-1 is not prime. Res64: 801A5F3B12B0639E Time : 0.0 sec. user=mdettweiler [2017-05-28 18:40:56] 609*2^1455292-1 is not prime. Res64: DB676119C99A4090 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:40:56] 855*2^1455292-1 is not prime. Res64: D56B122249486FCD Time : 0.0 sec. user=mdettweiler [2017-05-28 18:40:57] 897*2^1455292-1 is not prime. Res64: BC04B52AA7FD4D1D Time : 0.0 sec. user=mdettweiler [2017-05-28 18:40:57] 903*2^1455292-1 is not prime. Res64: E8BEFBB7000D8C30 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:40:57] 975*2^1455292-1 is not prime. Res64: 4A3AC7E85EF405DE Time : 0.0 sec. user=mdettweiler [2017-05-28 18:51:09] 989*2^1455292-1 is not prime. Res64: DC61FB18253CBFF5 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:51:09] 995*2^1455292-1 is not prime. Res64: 49C57642499FA183 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:51:09] 999*2^1455292-1 is not prime. Res64: 8A241FB72ABCCE7F Time : 0.0 sec. user=mdettweiler [2017-05-28 18:51:09] 861*2^1455293-1 is not prime. Res64: 2263F0EE4ECAF257 Time : 0.0 sec. user=mdettweiler [2017-05-28 18:51:10] 635*2^1455294-1 is not prime. Res64: 0019C6ED08838584 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:01:43] 723*2^1455294-1 is not prime. Res64: C8C36530F04523A0 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:01:44] 873*2^1455294-1 is not prime. Res64: 302EAFAA67B60221 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:01:45] 893*2^1455294-1 is not prime. Res64: 745DD53DCD0A4366 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:01:46] 903*2^1455294-1 is not prime. Res64: 04AABD04401D6E20 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:01:48] 917*2^1455294-1 is not prime. Res64: A6EB41D7C723215A Time : 0.0 sec. user=mdettweiler [2017-05-28 19:10:45] 609*2^1455295-1 is not prime. Res64: 2E4431F6D948C860 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:10:45] 859*2^1455295-1 is not prime. Res64: A072A63EDFA7BBEA Time : 0.0 sec. user=mdettweiler [2017-05-28 19:10:47] 889*2^1455295-1 is not prime. Res64: C9EC1394D972A78B Time : 0.0 sec. user=mdettweiler [2017-05-28 19:10:47] 603*2^1455296-1 is not prime. Res64: 36E8C11E6D71866D Time : 0.0 sec. user=mdettweiler [2017-05-28 19:10:47] 623*2^1455296-1 is not prime. Res64: D5B9B2AE2A2CA4B9 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:26:31] 759*2^1455296-1 is not prime. Res64: E3D322A65C708D5C Time : 0.0 sec. user=mdettweiler [2017-05-28 19:26:31] 839*2^1455296-1 is not prime. Res64: 4F2A362DD2B7CB26 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:26:31] 855*2^1455296-1 is not prime. Res64: 904678B9658E5D64 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:26:32] 873*2^1455296-1 is not prime. Res64: 6FB22F4AF2ED7975 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:26:32] 927*2^1455296-1 is not prime. Res64: 05F9FDD617A7D1CC Time : 0.0 sec. user=mdettweiler [2017-05-28 19:37:00] 607*2^1455297-1 is not prime. Res64: 517DFD83E67D0A15 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:37:01] 615*2^1455297-1 is not prime. Res64: 50B850A84C0D267C Time : 0.0 sec. user=mdettweiler [2017-05-28 19:37:01] 735*2^1455297-1 is not prime. Res64: A910C7F178A0B5E2 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:37:01] 919*2^1455297-1 is not prime. Res64: D3AEB63D3227C436 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:37:01] 955*2^1455297-1 is not prime. Res64: 92A10195E204E9F8 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:47:35] 731*2^1455298-1 is not prime. Res64: 91B87AA7A9FD0236 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:47:36] 737*2^1455298-1 is not prime. Res64: C44298DDDED41CED Time : 0.0 sec. user=mdettweiler [2017-05-28 19:47:36] 743*2^1455298-1 is not prime. Res64: CF31D5AC056C1985 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:47:36] 747*2^1455298-1 is not prime. Res64: 06D4F2215E037CCF Time : 0.0 sec. user=mdettweiler [2017-05-28 19:47:36] 777*2^1455298-1 is not prime. Res64: 18A21571D6463252 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:56:12] 833*2^1455298-1 is not prime. Res64: E51FEF3ABCBE93A7 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:56:12] 867*2^1455298-1 is not prime. Res64: 549C54D48F1A3B91 Time : 0.0 sec. user=mdettweiler [2017-05-28 19:56:12] 881*2^1455298-1 is not prime. Res64: 0C65F109EB1F615B Time : 0.0 sec. user=mdettweiler [2017-05-28 19:56:13] 933*2^1455298-1 is not prime. Res64: F37FB27214A1CB2E Time : 0.0 sec. user=mdettweiler [2017-05-28 19:56:13] 981*2^1455298-1 is not prime. Res64: 7E0BE73038E96DEC Time : 0.0 sec. user=mdettweiler [2017-05-28 20:12:18] 601*2^1455299-1 is not prime. Res64: 0214F150DDBDAB8E Time : 0.0 sec. user=mdettweiler [2017-05-28 20:12:19] 643*2^1455299-1 is not prime. Res64: A10D95EA39F2DC37 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:12:19] 675*2^1455299-1 is not prime. Res64: 2279F4C373EE01AE Time : 0.0 sec. user=mdettweiler [2017-05-28 20:12:19] 679*2^1455299-1 is not prime. Res64: 378D71A6EE7A18C8 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:12:20] 889*2^1455299-1 is not prime. Res64: 9EA29B9749A2317C Time : 0.0 sec. user=mdettweiler [2017-05-28 20:22:44] 707*2^1455300-1 is not prime. Res64: 3D87E8F06676588F Time : 0.0 sec. user=mdettweiler [2017-05-28 20:22:44] 999*2^1455300-1 is not prime. Res64: 2E7E7E734A982A29 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:22:45] 717*2^1455301-1 is not prime. Res64: 397BEFFC7D2B345C Time : 0.0 sec. user=mdettweiler [2017-05-28 20:22:45] 799*2^1455301-1 is not prime. Res64: A1C9705B6D7C0E27 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:22:45] 849*2^1455301-1 is not prime. Res64: C2CF91DFE1AB0410 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:33:14] 931*2^1455301-1 is not prime. Res64: 11C93DCAF11BF8E1 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:33:14] 945*2^1455301-1 is not prime. Res64: 8E1876FC1C858C23 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:33:14] 999*2^1455301-1 is not prime. Res64: E31802A84080F228 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:33:15] 665*2^1455302-1 is not prime. Res64: 14E95E1ED9EF80B2 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:33:15] 671*2^1455302-1 is not prime. Res64: 725F2DBFB92B6963 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:42:06] 815*2^1455302-1 is not prime. Res64: AE2F47C84BD99211 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:42:06] 831*2^1455302-1 is not prime. Res64: C0120EEB2FD8E7B2 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:42:07] 873*2^1455302-1 is not prime. Res64: 106B926897A58457 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:42:07] 1001*2^1455302-1 is not prime. Res64: BDF264F93A1F1824 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:42:07] 663*2^1455303-1 is not prime. Res64: 508AE0C66E6A082A Time : 0.0 sec. user=mdettweiler [2017-05-28 20:58:05] 679*2^1455303-1 is not prime. Res64: 89356E81D643646B Time : 0.0 sec. user=mdettweiler [2017-05-28 20:58:05] 945*2^1455303-1 is not prime. Res64: A50FD3CC835D4410 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:58:05] 963*2^1455303-1 is not prime. Res64: 10A289F257F3D2CC Time : 0.0 sec. user=mdettweiler [2017-05-28 20:58:05] 615*2^1455304-1 is not prime. Res64: 3C5C5EAB20D533E2 Time : 0.0 sec. user=mdettweiler [2017-05-28 20:58:06] 645*2^1455304-1 is not prime. Res64: F5BD3FC5D6146343 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:08:21] 705*2^1455304-1 is not prime. Res64: A4BB5533FF0BB4EB Time : 0.0 sec. user=mdettweiler [2017-05-28 21:08:21] 843*2^1455304-1 is not prime. Res64: 50477BC92F5C2C57 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:08:21] 903*2^1455304-1 is not prime. Res64: 4A6640FB7739DF2C Time : 0.0 sec. user=mdettweiler [2017-05-28 21:08:22] 691*2^1455305-1 is not prime. Res64: 9D70CF04311D6035 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:08:22] 699*2^1455305-1 is not prime. Res64: 30E3FA337A80DB75 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:18:45] 831*2^1455305-1 is not prime. Res64: BA66D2F6E005685B Time : 0.0 sec. user=mdettweiler [2017-05-28 21:18:45] 841*2^1455305-1 is not prime. Res64: 3381F660F7516D43 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:18:46] 867*2^1455305-1 is not prime. Res64: 748A12C00069129C Time : 0.0 sec. user=mdettweiler [2017-05-28 21:18:46] 889*2^1455305-1 is not prime. Res64: 4D1F61C2046267C1 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:18:46] 937*2^1455305-1 is not prime. Res64: 6510F648AC8D1AB0 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:27:46] 987*2^1455305-1 is not prime. Res64: 9F4181F3FC86108A Time : 0.0 sec. user=mdettweiler [2017-05-28 21:27:46] 725*2^1455306-1 is not prime. Res64: BC30FF58BE478EA0 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:27:47] 807*2^1455306-1 is not prime. Res64: B6853D689099AF50 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:27:47] 843*2^1455306-1 is not prime. Res64: DCB74EF360699EFC Time : 0.0 sec. user=mdettweiler [2017-05-28 21:27:47] 631*2^1455307-1 is not prime. Res64: A992A825BE0A15DB Time : 0.0 sec. user=mdettweiler [2017-05-28 21:43:43] 633*2^1455307-1 is not prime. Res64: C34A6B64FC949A93 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:43:44] 685*2^1455307-1 is not prime. Res64: 3604466FAD0EC6DC Time : 0.0 sec. user=mdettweiler [2017-05-28 21:43:44] 741*2^1455307-1 is not prime. Res64: CF631295EF8DBAA6 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:43:44] 759*2^1455307-1 is not prime. Res64: 94F3764C40872A3F Time : 0.0 sec. user=mdettweiler [2017-05-28 21:43:45] 885*2^1455307-1 is not prime. Res64: 571291AE4E0FA475 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:53:57] 891*2^1455307-1 is not prime. Res64: 77BDD89C87A87E68 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:53:58] 979*2^1455307-1 is not prime. Res64: 50F68A6D963034DF Time : 0.0 sec. user=mdettweiler [2017-05-28 21:53:58] 993*2^1455307-1 is not prime. Res64: D2C80D9E6410C30E Time : 0.0 sec. user=mdettweiler [2017-05-28 21:53:58] 615*2^1455308-1 is not prime. Res64: CFC3FF5554578E64 Time : 0.0 sec. user=mdettweiler [2017-05-28 21:53:59] 669*2^1455308-1 is not prime. Res64: 005E74631CE8EA82 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:04:32] 707*2^1455308-1 is not prime. Res64: 36A11D9CB2468A4A Time : 0.0 sec. user=mdettweiler [2017-05-28 22:04:33] 825*2^1455308-1 is not prime. Res64: A4774C0DE4982655 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:04:34] 845*2^1455308-1 is not prime. Res64: 195F711A714B802E Time : 0.0 sec. user=mdettweiler [2017-05-28 22:04:35] 963*2^1455308-1 is not prime. Res64: 348C03E375660B43 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:04:36] 621*2^1455309-1 is not prime. Res64: 506773DDD0D6117A Time : 0.0 sec. user=mdettweiler [2017-05-28 22:13:39] 789*2^1455309-1 is not prime. Res64: 7E4D07EB0056E57A Time : 0.0 sec. user=mdettweiler [2017-05-28 22:13:40] 861*2^1455309-1 is not prime. Res64: 1D5F7A4C6E5ACF3B Time : 0.0 sec. user=mdettweiler [2017-05-28 22:13:40] 865*2^1455309-1 is not prime. Res64: 3C1C7A1A347AB7C5 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:13:40] 889*2^1455309-1 is not prime. Res64: E66AC2A4B1C64C58 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:13:40] 717*2^1455310-1 is not prime. Res64: A9C5314403DE5EDC Time : 0.0 sec. user=mdettweiler [2017-05-28 22:29:23] 777*2^1455310-1 is not prime. Res64: 2DD1291A5839CA59 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:29:24] 785*2^1455310-1 is not prime. Res64: A0005B18C23BDC25 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:29:24] 621*2^1455311-1 is not prime. Res64: 014497F478D369AA Time : 0.0 sec. user=mdettweiler [2017-05-28 22:29:24] 669*2^1455311-1 is not prime. Res64: 7AF02117D5B3E9F4 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:29:24] 865*2^1455311-1 is not prime. Res64: BEF0F1DDE79CA0FD Time : 0.0 sec. user=mdettweiler [2017-05-28 22:40:15] 991*2^1455311-1 is not prime. Res64: CDB4611CE83271FF Time : 0.0 sec. user=mdettweiler [2017-05-28 22:40:15] 977*2^1455312-1 is not prime. Res64: 02CA5DFFD638CEC3 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:40:15] 649*2^1455313-1 is not prime. Res64: A430B5C3E4A6BC7D Time : 0.0 sec. user=mdettweiler [2017-05-28 22:40:15] 651*2^1455313-1 is not prime. Res64: E1BDDAD14FA3652C Time : 0.0 sec. user=mdettweiler [2017-05-28 22:40:16] 729*2^1455313-1 is not prime. Res64: 0551ACED6AF85EB4 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:51:05] 805*2^1455313-1 is not prime. Res64: 11A77289EADCE173 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:51:05] 807*2^1455313-1 is not prime. Res64: 057BAD05CF74C678 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:51:06] 919*2^1455313-1 is not prime. Res64: 4D6B26DCA1C4160B Time : 0.0 sec. user=mdettweiler [2017-05-28 22:51:06] 633*2^1455314-1 is not prime. Res64: DD988E4B6BF8A894 Time : 0.0 sec. user=mdettweiler [2017-05-28 22:51:06] 981*2^1455314-1 is not prime. Res64: 5111B8305C7A0DCA Time : 0.0 sec. user=mdettweiler [2017-05-28 23:00:07] 663*2^1455315-1 is not prime. Res64: 4D32D3918E33D782 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:00:07] 723*2^1455315-1 is not prime. Res64: 1B6ADDD62B20AE32 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:00:07] 735*2^1455315-1 is not prime. Res64: B2DAD5D2EC35EF78 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:00:07] 801*2^1455315-1 is not prime. Res64: 5453C13B18305A98 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:00:08] 849*2^1455315-1 is not prime. Res64: DEF11A975F2A0CD5 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:15:59] 921*2^1455315-1 is not prime. Res64: 24EF9086FE0E6133 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:16:00] 985*2^1455315-1 is not prime. Res64: AB83BB1BFDE455C1 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:16:00] 609*2^1455316-1 is not prime. Res64: B75E794C3C36A31F Time : 0.0 sec. user=mdettweiler [2017-05-28 23:16:00] 615*2^1455316-1 is not prime. Res64: 038AEEE7C2645A40 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:16:01] 617*2^1455316-1 is not prime. Res64: 8F09F20C18D28C16 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:25:58] 629*2^1455316-1 is not prime. Res64: 122A4905E63F227C Time : 0.0 sec. user=mdettweiler [2017-05-28 23:25:58] 843*2^1455316-1 is not prime. Res64: F1A51C0265BF5CDA Time : 0.0 sec. user=mdettweiler [2017-05-28 23:25:58] 619*2^1455317-1 is not prime. Res64: AF8B3E3F713C6C13 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:25:59] 799*2^1455317-1 is not prime. Res64: EC1CF60C98E00AA0 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:25:59] 981*2^1455317-1 is not prime. Res64: 9585C4AFDA349EA0 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:36:46] 681*2^1455318-1 is not prime. Res64: 9DC2624C9130C6D4 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:36:46] 755*2^1455318-1 is not prime. Res64: B1B3BD6CAA5BD1B8 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:36:47] 791*2^1455318-1 is not prime. Res64: 1EF6D445ED7C4BCB Time : 0.0 sec. user=mdettweiler [2017-05-28 23:36:47] 815*2^1455318-1 is not prime. Res64: 6951BAEB2CBA429A Time : 0.0 sec. user=mdettweiler [2017-05-28 23:36:47] 843*2^1455318-1 is not prime. Res64: BDC1FE010145F95A Time : 0.0 sec. user=mdettweiler [2017-05-28 23:46:03] 861*2^1455318-1 is not prime. Res64: 6A83FF2A06887B25 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:46:03] 915*2^1455318-1 is not prime. Res64: 3A9B39E5FE8529A5 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:46:03] 957*2^1455318-1 is not prime. Res64: CA6441908E8C1244 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:46:04] 609*2^1455319-1 is not prime. Res64: 7AAF56E9B7CE78B6 Time : 0.0 sec. user=mdettweiler [2017-05-28 23:46:04] 681*2^1455319-1 is not prime. Res64: 3A65732B5BA9A850 Time : 0.0 sec.