user=mdettweiler [2016-07-29 00:20:15] 663*2^1436147-1 is not prime. Res64: 85CDE63A3F674A65 Time : 0.0 sec. user=mdettweiler [2016-07-29 00:20:15] 735*2^1436147-1 is not prime. Res64: 87A1D2485F6EB102 Time : 0.0 sec. user=mdettweiler [2016-07-29 00:20:16] 939*2^1436147-1 is not prime. Res64: 2A794F6FC7220C16 Time : 0.0 sec. user=mdettweiler [2016-07-29 00:20:16] 633*2^1436148-1 is not prime. Res64: 03D18D1771055AA3 Time : 0.0 sec. user=mdettweiler [2016-07-29 00:20:17] 749*2^1436148-1 is not prime. Res64: 55B3388923D8794A Time : 0.0 sec. user=mdettweiler [2016-07-29 00:30:19] 969*2^1436148-1 is not prime. Res64: E7553A4FAD5E4189 Time : 0.0 sec. user=mdettweiler [2016-07-29 00:30:19] 993*2^1436148-1 is not prime. Res64: D9E976EE88BA8E9B Time : 0.0 sec. user=mdettweiler [2016-07-29 00:30:22] 601*2^1436149-1 is not prime. Res64: 00F7582FE787070C Time : 0.0 sec. user=mdettweiler [2016-07-29 00:30:26] 625*2^1436149-1 is not prime. Res64: FCF3EECD137DDF79 Time : 0.0 sec. user=mdettweiler [2016-07-29 00:30:29] 661*2^1436149-1 is not prime. Res64: 368C6D0064A36B7A Time : 0.0 sec. user=mdettweiler [2016-07-29 00:35:29] 817*2^1436149-1 is not prime. Res64: 99FE466BF5046C35 Time : 0.0 sec. user=mdettweiler [2016-07-29 00:35:29] 855*2^1436149-1 is not prime. Res64: 5A981403A80B7C72 Time : 0.0 sec. user=mdettweiler [2016-07-29 00:35:30] 895*2^1436149-1 is not prime. Res64: D3BCD3930564D17F Time : 0.0 sec. user=mdettweiler [2016-07-29 00:35:30] 761*2^1436150-1 is not prime. Res64: CFDF95D60308B1DA Time : 0.0 sec. user=mdettweiler [2016-07-29 00:35:30] 773*2^1436150-1 is not prime. Res64: 255FD2D8FDEC27EE Time : 0.0 sec. user=mdettweiler [2016-07-29 01:04:25] 791*2^1436150-1 is not prime. Res64: 3E993A14CBFC1DA8 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:04:27] 795*2^1436150-1 is not prime. Res64: 6AE367972773C3A1 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:04:28] 945*2^1436150-1 is not prime. Res64: 9ECBA62D97224411 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:04:29] 995*2^1436150-1 is not prime. Res64: 0068CDC6D227B888 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:04:30] 625*2^1436151-1 is not prime. Res64: 859F27917E3F435F Time : 0.0 sec. user=mdettweiler [2016-07-29 01:14:41] 691*2^1436151-1 is not prime. Res64: 22FBB5682BF7D7BF Time : 0.0 sec. user=mdettweiler [2016-07-29 01:14:41] 693*2^1436151-1 is not prime. Res64: ADFABF5F936F184C Time : 0.0 sec. user=mdettweiler [2016-07-29 01:14:42] 703*2^1436151-1 is not prime. Res64: B4B8ACF99BC2E65A Time : 0.0 sec. user=mdettweiler [2016-07-29 01:14:43] 763*2^1436151-1 is not prime. Res64: B50729E2A9C42814 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:14:43] 775*2^1436151-1 is not prime. Res64: 9D19D4C875B31EB3 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:19:41] 933*2^1436151-1 is not prime. Res64: 0F3BCBD2B7FFE610 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:19:44] 961*2^1436151-1 is not prime. Res64: 793B2A851EBD69E1 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:19:46] 605*2^1436152-1 is not prime. Res64: 009980152168AE20 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:19:48] 615*2^1436152-1 is not prime. Res64: 9D9353DF6943510E Time : 0.0 sec. user=mdettweiler [2016-07-29 01:19:50] 779*2^1436152-1 is not prime. Res64: 0C24A30B04188D9D Time : 0.0 sec. user=mdettweiler [2016-07-29 01:48:40] 863*2^1436152-1 is not prime. Res64: 385E9C7760CC8268 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:48:44] 675*2^1436153-1 is not prime. Res64: 11521A1426DBA2D7 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:48:46] 705*2^1436153-1 is not prime. Res64: 42C8F4D10D1505E8 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:48:49] 715*2^1436153-1 is not prime. Res64: 7D0273ABB3BEF326 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:48:51] 771*2^1436153-1 is not prime. Res64: E7843D2397726F48 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:59:01] 847*2^1436153-1 is not prime. Res64: AEFC18EA36063B92 Time : 0.0 sec. user=mdettweiler [2016-07-29 01:59:02] 889*2^1436153-1 is not prime. Res64: C711A3CEAE58C52B Time : 0.0 sec. user=mdettweiler [2016-07-29 01:59:02] 969*2^1436153-1 is not prime. Res64: 74BD594A7449D22A Time : 0.0 sec. user=mdettweiler [2016-07-29 01:59:02] 651*2^1436154-1 is not prime. Res64: 0A92F6398AFF456B Time : 0.0 sec. user=mdettweiler [2016-07-29 01:59:03] 711*2^1436154-1 is not prime. Res64: 4D8A3FEA3D47FB02 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:04:07] 765*2^1436154-1 is not prime. Res64: 1124D8AA267C4CB9 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:04:09] 773*2^1436154-1 is not prime. Res64: E082F4602C94792D Time : 0.0 sec. user=mdettweiler [2016-07-29 02:04:10] 797*2^1436154-1 is not prime. Res64: 0814F46D38372399 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:04:11] 861*2^1436154-1 is not prime. Res64: 73E800FB0849D3F9 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:04:13] 893*2^1436154-1 is not prime. Res64: 5C806947BF0477EB Time : 0.0 sec. user=mdettweiler [2016-07-29 02:33:10] 917*2^1436154-1 is not prime. Res64: A8A5D1B322E664BC Time : 0.0 sec. user=mdettweiler [2016-07-29 02:33:12] 983*2^1436154-1 is not prime. Res64: B47359C3930725FD Time : 0.0 sec. user=mdettweiler [2016-07-29 02:33:13] 939*2^1436155-1 is not prime. Res64: 303712B2321D5DF8 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:33:13] 615*2^1436156-1 is not prime. Res64: 876EF28CFC2A30A0 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:33:14] 647*2^1436156-1 is not prime. Res64: A976F04C6881BEF4 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:43:19] 803*2^1436156-1 is not prime. Res64: 130105A89E950CAD Time : 0.0 sec. user=mdettweiler [2016-07-29 02:43:22] 825*2^1436156-1 is not prime. Res64: B86D25F7A9FC2042 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:43:25] 899*2^1436156-1 is not prime. Res64: 7212276B013F9573 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:43:29] 923*2^1436156-1 is not prime. Res64: 4B1D509B1CBF8146 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:43:32] 957*2^1436156-1 is not prime. Res64: 2151D8A381AD48C1 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:48:39] 987*2^1436156-1 is not prime. Res64: A028A5F954FBE518 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:48:39] 993*2^1436156-1 is not prime. Res64: C164E22AB3D0436A Time : 0.0 sec. user=mdettweiler [2016-07-29 02:48:40] 999*2^1436156-1 is not prime. Res64: C62E27816D9BA522 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:48:40] 621*2^1436157-1 is not prime. Res64: 37FB87468FDF34C4 Time : 0.0 sec. user=mdettweiler [2016-07-29 02:48:40] 625*2^1436157-1 is not prime. Res64: 332495DE06F8652E Time : 0.0 sec. user=mdettweiler [2016-07-29 03:17:24] 781*2^1436157-1 is not prime. Res64: DCA118BAFA93874D Time : 0.0 sec. user=mdettweiler [2016-07-29 03:17:24] 663*2^1436158-1 is not prime. Res64: 23313CF2D071B4FD Time : 0.0 sec. user=mdettweiler [2016-07-29 03:17:25] 713*2^1436158-1 is not prime. Res64: A6A166FFF50DEDB9 Time : 0.0 sec. user=mdettweiler [2016-07-29 03:17:25] 737*2^1436158-1 is not prime. Res64: 3C0FE9C2E166A57C Time : 0.0 sec. user=mdettweiler [2016-07-29 03:17:26] 987*2^1436158-1 is not prime. Res64: FC17FDC5C8806D26 Time : 0.0 sec. user=mdettweiler [2016-07-29 03:27:45] 661*2^1436159-1 is not prime. Res64: 2CF79DB734B4C300 Time : 0.0 sec. user=mdettweiler [2016-07-29 03:27:46] 693*2^1436159-1 is not prime. Res64: 8946D91A6D549A86 Time : 0.0 sec. user=mdettweiler [2016-07-29 03:27:47] 711*2^1436159-1 is not prime. Res64: DCC476905F074849 Time : 0.0 sec. user=mdettweiler [2016-07-29 03:27:48] 741*2^1436159-1 is not prime. Res64: 7D727A98E368DD9F Time : 0.0 sec. user=mdettweiler [2016-07-29 03:27:48] 745*2^1436159-1 is not prime. Res64: D00F24C80590412C Time : 0.0 sec. user=mdettweiler [2016-07-29 03:32:45] 879*2^1436159-1 is not prime. Res64: 5878C65E9696C239 Time : 0.0 sec. user=mdettweiler [2016-07-29 03:32:46] 973*2^1436159-1 is not prime. Res64: 902DB8A1486D3BDF Time : 0.0 sec. user=mdettweiler [2016-07-29 03:32:46] 609*2^1436160-1 is not prime. Res64: CD5C075410A7BE50 Time : 0.0 sec. user=mdettweiler [2016-07-29 03:32:47] 789*2^1436160-1 is not prime. Res64: 09C9D068B73FA9E4 Time : 0.0 sec. user=mdettweiler [2016-07-29 03:32:48] 615*2^1436161-1 is not prime. Res64: 99DB122AF3FC0DE1 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:01:27] 691*2^1436161-1 is not prime. Res64: 84D703EE12F5E938 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:01:29] 715*2^1436161-1 is not prime. Res64: E877BEC8A424FB2A Time : 0.0 sec. user=mdettweiler [2016-07-29 04:01:30] 877*2^1436161-1 is not prime. Res64: FF3D262FC722C2F3 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:01:30] 657*2^1436162-1 is not prime. Res64: ED371E456910F3A2 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:01:31] 665*2^1436162-1 is not prime. Res64: 114FF5AA6062A5FD Time : 0.0 sec. user=mdettweiler [2016-07-29 04:11:56] 675*2^1436162-1 is not prime. Res64: CD2A45C5C7AF81CF Time : 0.0 sec. user=mdettweiler [2016-07-29 04:12:01] 701*2^1436162-1 is not prime. Res64: 988543D52097EF14 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:12:05] 801*2^1436162-1 is not prime. Res64: B271C248B1DC240E Time : 0.0 sec. user=mdettweiler [2016-07-29 04:12:08] 893*2^1436162-1 is not prime. Res64: 740513F0444BFC78 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:12:12] 911*2^1436162-1 is not prime. Res64: F52D855680B2480B Time : 0.0 sec. user=mdettweiler [2016-07-29 04:16:58] 977*2^1436162-1 is not prime. Res64: 37D0650D1C6B4F16 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:16:58] 987*2^1436162-1 is not prime. Res64: D09753F5B3B74737 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:17:02] 663*2^1436163-1 is not prime. Res64: 3D7010B93DEC3C3C Time : 0.0 sec. user=mdettweiler [2016-07-29 04:17:06] 859*2^1436163-1 is not prime. Res64: 7ECB67E3F57963FD Time : 0.0 sec. user=mdettweiler [2016-07-29 04:17:09] 895*2^1436163-1 is not prime. Res64: 331E2DD6C67E6387 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:45:49] 945*2^1436163-1 is not prime. Res64: 727D3310AAB511FC Time : 0.0 sec. user=mdettweiler [2016-07-29 04:45:52] 951*2^1436163-1 is not prime. Res64: AE28D933C1F1364B Time : 0.0 sec. user=mdettweiler [2016-07-29 04:45:56] 605*2^1436164-1 is not prime. Res64: 63B0A239290AFD08 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:45:59] 663*2^1436164-1 is not prime. Res64: 290B07277DAA458C Time : 0.0 sec. user=mdettweiler [2016-07-29 04:46:02] 717*2^1436164-1 is not prime. Res64: 9C27F92EB56EFE4B Time : 0.0 sec. user=mdettweiler [2016-07-29 04:56:20] 723*2^1436164-1 is not prime. Res64: 1B21F96F401DC66C Time : 0.0 sec. user=mdettweiler [2016-07-29 04:56:21] 899*2^1436164-1 is not prime. Res64: DF741FF1BD37223D Time : 0.0 sec. user=mdettweiler [2016-07-29 04:56:21] 975*2^1436164-1 is not prime. Res64: 7137E6563D85C41F Time : 0.0 sec. user=mdettweiler [2016-07-29 04:56:22] 607*2^1436165-1 is not prime. Res64: F97F0CA10F787105 Time : 0.0 sec. user=mdettweiler [2016-07-29 04:56:22] 655*2^1436165-1 is not prime. Res64: 5B2AE1D124A77638 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:01:14] 925*2^1436165-1 is not prime. Res64: C9353D64C9968431 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:01:15] 991*2^1436165-1 is not prime. Res64: F89F935AFA6F72B3 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:01:16] 671*2^1436166-1 is not prime. Res64: 7664BD1624C6EA64 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:01:16] 713*2^1436166-1 is not prime. Res64: D8C4FEB2012A18DE Time : 0.0 sec. user=mdettweiler [2016-07-29 05:01:17] 755*2^1436166-1 is not prime. Res64: 569E9FD9550B6CB0 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:30:05] 825*2^1436166-1 is not prime. Res64: E1E7798D1090E284 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:30:05] 843*2^1436166-1 is not prime. Res64: D36A074A380905A0 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:30:05] 851*2^1436166-1 is not prime. Res64: 284AA16C4282F73B Time : 0.0 sec. user=mdettweiler [2016-07-29 05:30:06] 861*2^1436166-1 is not prime. Res64: 5D89F940A196EF37 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:30:06] 933*2^1436166-1 is not prime. Res64: 84F4C34238892418 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:40:28] 957*2^1436166-1 is not prime. Res64: 4541FECF725A7FDF Time : 0.0 sec. user=mdettweiler [2016-07-29 05:40:32] 663*2^1436167-1 is not prime. Res64: 76C7884006F06A6A Time : 0.0 sec. user=mdettweiler [2016-07-29 05:40:35] 849*2^1436167-1 is not prime. Res64: 10B68EA4D5648EDD Time : 0.0 sec. user=mdettweiler [2016-07-29 05:40:39] 909*2^1436167-1 is not prime. Res64: F67B2AB14A2AAA7C Time : 0.0 sec. user=mdettweiler [2016-07-29 05:40:43] 603*2^1436168-1 is not prime. Res64: CC3E39D8E664BBC1 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:45:26] 617*2^1436168-1 is not prime. Res64: B3D9FAE0372D419A Time : 0.0 sec. user=mdettweiler [2016-07-29 05:45:29] 669*2^1436168-1 is not prime. Res64: 9FC3C78E93DE2C63 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:45:33] 683*2^1436168-1 is not prime. Res64: 2082510C2F550DA9 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:45:36] 753*2^1436168-1 is not prime. Res64: FA4B9FF9CF07D805 Time : 0.0 sec. user=mdettweiler [2016-07-29 05:45:40] 773*2^1436168-1 is not prime. Res64: 048493B4A2F2F509 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:14:10] 781*2^1436169-1 is not prime. Res64: CCC4BD0657FD0EC1 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:14:14] 861*2^1436169-1 is not prime. Res64: 05944923D88AB6B6 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:14:17] 645*2^1436170-1 is not prime. Res64: FC825329AADF078D Time : 0.0 sec. user=mdettweiler [2016-07-29 06:14:20] 651*2^1436170-1 is not prime. Res64: F5352CA1093C6B85 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:14:23] 675*2^1436170-1 is not prime. Res64: 20180323BE9DD123 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:24:47] 873*2^1436170-1 is not prime. Res64: 062E148204F70542 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:24:47] 609*2^1436171-1 is not prime. Res64: 145C2766F0261629 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:24:47] 621*2^1436171-1 is not prime. Res64: 57AA99AC5AE26DA7 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:24:48] 631*2^1436171-1 is not prime. Res64: 5CD2F624F3C2F136 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:24:48] 909*2^1436171-1 is not prime. Res64: 308B5BEA6EF3EB63 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:29:43] 979*2^1436171-1 is not prime. Res64: 5D49AA9E7479244D Time : 0.0 sec. user=mdettweiler [2016-07-29 06:29:43] 993*2^1436171-1 is not prime. Res64: 8BDD1CCE27A18AE5 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:29:44] 623*2^1436172-1 is not prime. Res64: 1FF5CF0CCBA8722B Time : 0.0 sec. user=mdettweiler [2016-07-29 06:29:44] 737*2^1436172-1 is not prime. Res64: BD27E4F93D42CE59 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:29:44] 759*2^1436172-1 is not prime. Res64: 22DEC04FB258EC02 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:58:27] 767*2^1436172-1 is not prime. Res64: EDA57FD0973E897D Time : 0.0 sec. user=mdettweiler [2016-07-29 06:58:28] 777*2^1436172-1 is not prime. Res64: 27F42D6497320641 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:58:28] 825*2^1436172-1 is not prime. Res64: 2F82EAA78CF612E8 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:58:28] 977*2^1436172-1 is not prime. Res64: F33D41787F51FE22 Time : 0.0 sec. user=mdettweiler [2016-07-29 06:58:29] 625*2^1436173-1 is not prime. Res64: C80B2E811583CDDE Time : 0.0 sec. user=mdettweiler [2016-07-29 07:13:53] 615*2^1436174-1 is not prime. Res64: D02D329741C8843E Time : 0.0 sec. user=mdettweiler [2016-07-29 07:13:55] 635*2^1436174-1 is not prime. Res64: 9EC5DC0F250CD437 Time : 0.0 sec. user=mdettweiler [2016-07-29 07:13:58] 675*2^1436174-1 is not prime. Res64: BE044DB2D5487ACA Time : 0.0 sec. user=mdettweiler [2016-07-29 07:14:00] 743*2^1436174-1 is not prime. Res64: FFAE141C8A9622B2 Time : 0.0 sec. user=mdettweiler [2016-07-29 07:14:02] 857*2^1436174-1 is not prime. Res64: A762E2DC7B7D296D Time : 0.0 sec. user=mdettweiler [2016-07-29 07:42:57] 887*2^1436174-1 is not prime. Res64: C15FF5F2EA9F8143 Time : 0.0 sec. user=mdettweiler [2016-07-29 07:42:59] 1001*2^1436174-1 is not prime. Res64: 6016439125781830 Time : 0.0 sec. user=mdettweiler [2016-07-29 07:43:02] 741*2^1436175-1 is not prime. Res64: 667093A6A83264A1 Time : 0.0 sec. user=mdettweiler [2016-07-29 07:43:04] 871*2^1436175-1 is not prime. Res64: 1479A275E1F2836B Time : 0.0 sec. user=mdettweiler [2016-07-29 07:43:06] 913*2^1436175-1 is not prime. Res64: 42657588AFC99F01 Time : 0.0 sec. user=mdettweiler [2016-07-29 07:58:43] 969*2^1436175-1 is not prime. Res64: 9B6B6B653B65DD79 Time : 0.0 sec. user=mdettweiler [2016-07-29 07:58:43] 999*2^1436175-1 is not prime. Res64: 52BE905FB5B6EBAC Time : 0.0 sec. user=mdettweiler [2016-07-29 07:58:43] 699*2^1436176-1 is not prime. Res64: 3380ABC2DC021D47 Time : 0.0 sec. user=mdettweiler [2016-07-29 07:58:44] 765*2^1436176-1 is not prime. Res64: F61F793204206D82 Time : 0.0 sec. user=mdettweiler [2016-07-29 07:58:44] 773*2^1436176-1 is not prime. Res64: 3F9F4BB3BD5F1C37 Time : 0.0 sec. user=mdettweiler [2016-07-29 08:27:47] 873*2^1436176-1 is not prime. Res64: 7A738C61CB346B3B Time : 0.0 sec. user=mdettweiler [2016-07-29 08:27:48] 903*2^1436176-1 is not prime. Res64: 44360C0E826B7F7B Time : 0.0 sec. user=mdettweiler [2016-07-29 08:27:48] 685*2^1436177-1 is not prime. Res64: BB3FC429592DEEF6 Time : 0.0 sec. user=mdettweiler [2016-07-29 08:27:48] 691*2^1436177-1 is not prime. Res64: 87A2ED30EDBE3AFE Time : 0.0 sec. user=mdettweiler [2016-07-29 08:27:49] 771*2^1436177-1 is not prime. Res64: F900CEA576E43897 Time : 0.0 sec. user=mdettweiler [2016-07-29 08:43:37] 847*2^1436177-1 is not prime. Res64: B803C439E9FE20CC Time : 0.0 sec. user=mdettweiler [2016-07-29 08:43:38] 647*2^1436178-1 is not prime. Res64: DADB45546AB1007C Time : 0.0 sec. user=mdettweiler [2016-07-29 08:43:42] 875*2^1436178-1 is not prime. Res64: 9E5FD2C6ABE2F024 Time : 0.0 sec. user=mdettweiler [2016-07-29 08:43:45] 619*2^1436179-1 is not prime. Res64: EE6A07DDEBED9AE0 Time : 0.0 sec. user=mdettweiler [2016-07-29 08:43:48] 703*2^1436179-1 is not prime. Res64: 1C4F0ACA0321F91B Time : 0.0 sec. user=mdettweiler [2016-07-29 09:13:16] 723*2^1436179-1 is not prime. Res64: F06B684E75F14528 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:13:19] 873*2^1436179-1 is not prime. Res64: EC8984451818129C Time : 0.0 sec. user=mdettweiler [2016-07-29 09:13:21] 699*2^1436180-1 is not prime. Res64: 8017AB325B5B64B4 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:13:21] 929*2^1436180-1 is not prime. Res64: 7E55AFD7EB4F780F Time : 0.0 sec. user=mdettweiler [2016-07-29 09:13:23] 601*2^1436181-1 is not prime. Res64: E05CDEC9200B2A32 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:29:16] 709*2^1436181-1 is not prime. Res64: 16449C02A477E461 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:29:17] 717*2^1436181-1 is not prime. Res64: B56BB9F80C46C326 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:29:17] 747*2^1436181-1 is not prime. Res64: 56A8A3864B484F02 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:29:17] 937*2^1436181-1 is not prime. Res64: C8ED6A13ED409343 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:29:17] 955*2^1436181-1 is not prime. Res64: F082E24D30223D21 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:57:08] 741*2^1436173-1 is not prime. Res64: 4035AE45A0686BBE Time : 0.0 sec. user=mdettweiler [2016-07-29 09:57:09] 771*2^1436173-1 is not prime. Res64: 8E46F053B98FD406 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:57:09] 835*2^1436173-1 is not prime. Res64: 7827D4DC54951CB1 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:57:10] 861*2^1436173-1 is not prime. Res64: 0E71E74FE55E37C8 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:57:10] 981*2^1436173-1 is not prime. Res64: BCF3D6E3355EFF1F Time : 0.0 sec. user=mdettweiler [2016-07-29 09:59:32] 999*2^1436181-1 is not prime. Res64: 1A14B2EDE87B43DB Time : 0.0 sec. user=mdettweiler [2016-07-29 09:59:34] 623*2^1436182-1 is not prime. Res64: 779B6BE33CDCF6EC Time : 0.0 sec. user=mdettweiler [2016-07-29 09:59:36] 635*2^1436182-1 is not prime. Res64: A35AB69CCA405D46 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:59:39] 717*2^1436182-1 is not prime. Res64: 7687534CBB510684 Time : 0.0 sec. user=mdettweiler [2016-07-29 09:59:41] 765*2^1436182-1 is not prime. Res64: AAA4828957B5C551 Time : 0.0 sec. user=mdettweiler [2016-07-29 10:15:23] 813*2^1436182-1 is not prime. Res64: A4FD7869135EE97E Time : 0.0 sec. user=mdettweiler [2016-07-29 10:15:24] 941*2^1436182-1 is not prime. Res64: 19FBC659FA86A646 Time : 0.0 sec. user=mdettweiler [2016-07-29 10:15:24] 643*2^1436183-1 is not prime. Res64: F461CAFFC7087EA8 Time : 0.0 sec. user=mdettweiler [2016-07-29 10:15:24] 879*2^1436183-1 is not prime. Res64: F68CC54CD3A94F27 Time : 0.0 sec. user=mdettweiler [2016-07-29 10:15:25] 963*2^1436183-1 is not prime. Res64: 9565C1DCFAD029E9 Time : 0.0 sec. user=mdettweiler [2016-07-29 10:41:54] 629*2^1436184-1 is not prime. Res64: D48286BB8693C1BA Time : 0.0 sec. user=mdettweiler [2016-07-29 10:41:54] 639*2^1436184-1 is not prime. Res64: 3A7AF90932293202 Time : 0.0 sec. user=mdettweiler [2016-07-29 10:41:55] 675*2^1436184-1 is not prime. Res64: 9965E97101CC812E Time : 0.0 sec. user=mdettweiler [2016-07-29 10:41:55] 747*2^1436184-1 is not prime. Res64: 80F07227DE2ADF8E Time : 0.0 sec. user=mdettweiler [2016-07-29 10:41:55] 759*2^1436184-1 is not prime. Res64: 0A1B99706F76E4D1 Time : 0.0 sec. user=mdettweiler [2016-07-29 10:44:27] 789*2^1436184-1 is not prime. Res64: D560BBA4123D83EA Time : 0.0 sec. user=mdettweiler [2016-07-29 10:44:28] 863*2^1436184-1 is not prime. Res64: C82A14249BABC3A2 Time : 0.0 sec. user=mdettweiler [2016-07-29 10:44:28] 905*2^1436184-1 is not prime. Res64: 03AB45F9BAA1391B Time : 0.0 sec. user=mdettweiler [2016-07-29 10:44:28] 915*2^1436184-1 is not prime. Res64: EEFE70ED57B1E604 Time : 0.0 sec. user=mdettweiler [2016-07-29 10:44:28] 927*2^1436184-1 is not prime. Res64: 7F82094B5FCAEBF6 Time : 0.0 sec. user=mdettweiler [2016-07-29 11:00:05] 983*2^1436184-1 is not prime. Res64: 0D82929C18ADB450 Time : 0.0 sec. user=mdettweiler [2016-07-29 11:00:08] 649*2^1436185-1 is not prime. Res64: 9044F501CED8F86D Time : 0.0 sec. user=mdettweiler [2016-07-29 11:00:12] 679*2^1436185-1 is not prime. Res64: 527E88F82F67C079 Time : 0.0 sec. user=mdettweiler [2016-07-29 11:00:14] 715*2^1436185-1 is not prime. Res64: DA6FAF34A1297701 Time : 0.0 sec. user=mdettweiler [2016-07-29 11:00:18] 717*2^1436185-1 is not prime. Res64: 91036616E29AC1BE Time : 0.0 sec. user=mdettweiler [2016-07-29 11:26:13] 729*2^1436185-1 is not prime. Res64: 60EB884EEF6A9D54 Time : 0.0 sec. user=mdettweiler [2016-07-29 11:26:13] 951*2^1436185-1 is not prime. Res64: 75678B62515FBAA1 Time : 0.0 sec. user=mdettweiler [2016-07-29 11:26:14] 615*2^1436186-1 is not prime. Res64: 5713423159F7CDB6 Time : 0.0 sec. user=mdettweiler [2016-07-29 11:26:14] 617*2^1436186-1 is not prime. Res64: 660CC8263B184A3F Time : 0.0 sec. user=mdettweiler [2016-07-29 11:26:14] 671*2^1436186-1 is not prime. Res64: 1B24885E862B3332 Time : 0.0 sec. user=mdettweiler [2016-07-29 11:28:43] 677*2^1436186-1 is not prime. Res64: D45B21298812948E Time : 0.0 sec. user=mdettweiler [2016-07-29 11:28:43] 683*2^1436186-1 is not prime. Res64: 2EC342E7F52EC98B Time : 0.0 sec. user=mdettweiler [2016-07-29 11:28:43] 711*2^1436186-1 is not prime. Res64: 69F97DDAE066AB7C Time : 0.0 sec. user=mdettweiler [2016-07-29 11:28:44] 813*2^1436186-1 is not prime. Res64: 6C7074CE06F0D210 Time : 0.0 sec. user=mdettweiler [2016-07-29 11:28:44] 963*2^1436186-1 is not prime. Res64: 64F4FFE820825C5F Time : 0.0 sec. user=juhehe [2016-07-29 11:42:07] 819*2^1436188-1 is not prime. Res64: 9314520D112830BD Time : 0.0 sec. user=mdettweiler [2016-07-29 11:44:24] 651*2^1436187-1 is not prime. Res64: 2DABA7C6A6194D8B Time : 0.0 sec. user=mdettweiler [2016-07-29 11:44:26] 769*2^1436187-1 is not prime. Res64: BCCD42048CC9C6FB Time : 0.0 sec. user=mdettweiler [2016-07-29 11:44:28] 955*2^1436187-1 is not prime. Res64: EE62CB4FCE5E9DE3 Time : 0.0 sec. user=mdettweiler [2016-07-29 11:44:30] 979*2^1436187-1 is not prime. Res64: D4A139685CB0927E Time : 0.0 sec. user=mdettweiler [2016-07-29 11:44:33] 687*2^1436188-1 is not prime. Res64: 814A4A82006EDCC2 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:10:18] 915*2^1436188-1 is not prime. Res64: FA7BC905929A09D8 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:10:20] 957*2^1436188-1 is not prime. Res64: B0FD33A736DF71A5 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:10:23] 645*2^1436189-1 is not prime. Res64: 9B0837DD553F6036 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:10:25] 655*2^1436189-1 is not prime. Res64: A4B0839BEBD52F31 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:10:27] 679*2^1436189-1 is not prime. Res64: 3DA1E2F986315D4D Time : 0.0 sec. user=mdettweiler [2016-07-29 12:12:50] 825*2^1436189-1 is not prime. Res64: 35355803E7CDF08E Time : 0.0 sec. user=mdettweiler [2016-07-29 12:12:53] 861*2^1436189-1 is not prime. Res64: 03E3EDBE4B8F9A92 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:12:56] 987*2^1436189-1 is not prime. Res64: DB7E6029773F9CB3 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:12:59] 611*2^1436190-1 is not prime. Res64: 28CD371940F6D1B5 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:13:01] 615*2^1436190-1 is not prime. Res64: 6CC744430BBB7C2A Time : 0.0 sec. user=mdettweiler [2016-07-29 12:28:33] 651*2^1436190-1 is not prime. Res64: DF12A1D620232D0E Time : 0.0 sec. user=mdettweiler [2016-07-29 12:28:33] 671*2^1436190-1 is not prime. Res64: 7D1B41227D1FBDF0 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:28:34] 741*2^1436190-1 is not prime. Res64: 833120FF20F41D19 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:28:34] 761*2^1436190-1 is not prime. Res64: 7A38D6B9E6C67854 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:28:34] 875*2^1436190-1 is not prime. Res64: F3C7E7973FB0DC27 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:54:30] 893*2^1436190-1 is not prime. Res64: 55940C4CC10514E2 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:54:31] 645*2^1436191-1 is not prime. Res64: BF893546E2EEA6BC Time : 0.0 sec. user=mdettweiler [2016-07-29 12:54:31] 693*2^1436191-1 is not prime. Res64: 4D3E94C74BF7C39E Time : 0.0 sec. user=mdettweiler [2016-07-29 12:54:32] 771*2^1436191-1 is not prime. Res64: AE087123DD4F3709 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:54:32] 793*2^1436191-1 is not prime. Res64: 95F0CC22C1FB5882 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:57:07] 909*2^1436191-1 is not prime. Res64: 7292D34DF60743A1 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:57:07] 939*2^1436191-1 is not prime. Res64: 2CEF25136D794F12 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:57:07] 973*2^1436191-1 is not prime. Res64: A9321F2A31B786E2 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:57:08] 603*2^1436192-1 is not prime. Res64: 93FC6A0CF5171C37 Time : 0.0 sec. user=mdettweiler [2016-07-29 12:57:08] 605*2^1436192-1 is not prime. Res64: E41D0F04DF72EF9B Time : 0.0 sec. user=mdettweiler [2016-07-29 13:12:34] 767*2^1436192-1 is not prime. Res64: 6D53AD96F90B7384 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:12:34] 797*2^1436192-1 is not prime. Res64: 1BD7F0E07F3B0FD0 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:12:35] 855*2^1436192-1 is not prime. Res64: CE3BBA09CE838ED3 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:12:35] 873*2^1436192-1 is not prime. Res64: A1221BCADEDB6CF6 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:12:35] 983*2^1436192-1 is not prime. Res64: D4016FB5B606A2AB Time : 0.0 sec. user=mdettweiler [2016-07-29 13:38:33] 789*2^1436193-1 is not prime. Res64: 79015350D2084B3D Time : 0.0 sec. user=mdettweiler [2016-07-29 13:38:34] 605*2^1436194-1 is not prime. Res64: F3A7279E9EFA6701 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:38:34] 675*2^1436194-1 is not prime. Res64: 4040095321BD4386 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:38:34] 941*2^1436194-1 is not prime. Res64: 39D4AFB82160307C Time : 0.0 sec. user=mdettweiler [2016-07-29 13:38:35] 975*2^1436194-1 is not prime. Res64: 160026E1DE00E185 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:41:09] 987*2^1436194-1 is not prime. Res64: 5C2BEAEC59FC67BB Time : 0.0 sec. user=mdettweiler [2016-07-29 13:41:09] 685*2^1436195-1 is not prime. Res64: 99CF92EAF55B9775 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:41:09] 759*2^1436195-1 is not prime. Res64: 00B758B9E6BA4578 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:41:10] 781*2^1436195-1 is not prime. Res64: B29F7F8415CFCD67 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:41:10] 823*2^1436195-1 is not prime. Res64: 73EF030CAE465879 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:56:39] 855*2^1436195-1 is not prime. Res64: E7E95A6184A971A5 Time : 0.0 sec. user=mdettweiler [2016-07-29 13:56:41] 779*2^1436196-1 is not prime. Res64: 63A026BA782B7BAF Time : 0.0 sec. user=mdettweiler [2016-07-29 13:56:43] 909*2^1436196-1 is not prime. Res64: 47B8BAB2D28E245F Time : 0.0 sec. user=mdettweiler [2016-07-29 13:56:45] 975*2^1436196-1 is not prime. Res64: 23FB3011F9DF006C Time : 0.0 sec. user=mdettweiler [2016-07-29 13:56:48] 685*2^1436197-1 is not prime. Res64: E80ADE9B2A6E5A7E Time : 0.0 sec. user=mdettweiler [2016-07-29 14:22:38] 691*2^1436197-1 is not prime. Res64: DAAE2DB745828037 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:22:40] 777*2^1436197-1 is not prime. Res64: 44C47DF180927B98 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:22:42] 799*2^1436197-1 is not prime. Res64: 4EF6C40477E658B4 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:22:43] 937*2^1436197-1 is not prime. Res64: 06260427F38B7AF6 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:22:45] 957*2^1436197-1 is not prime. Res64: 1910F04CF9B6E5BB Time : 0.0 sec. user=mdettweiler [2016-07-29 14:25:11] 961*2^1436197-1 is not prime. Res64: 4D1FAA458C6E5A00 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:25:14] 663*2^1436198-1 is not prime. Res64: FDA797FDB891CF46 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:25:16] 771*2^1436198-1 is not prime. Res64: 2B0FE53D20652D40 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:25:18] 797*2^1436198-1 is not prime. Res64: FF35D76C37ECF2C4 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:25:20] 815*2^1436198-1 is not prime. Res64: 1243442A90E044BD Time : 0.0 sec. user=mdettweiler [2016-07-29 14:40:49] 825*2^1436198-1 is not prime. Res64: 0582DF69D56CCF8A Time : 0.0 sec. user=mdettweiler [2016-07-29 14:40:49] 987*2^1436198-1 is not prime. Res64: 86A93C1BB8FBD814 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:40:49] 613*2^1436199-1 is not prime. Res64: 7FE421CB4B22DC68 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:40:50] 663*2^1436199-1 is not prime. Res64: DE34A650F55376E3 Time : 0.0 sec. user=mdettweiler [2016-07-29 14:40:50] 669*2^1436199-1 is not prime. Res64: D26EF074EBDA294D Time : 0.0 sec. user=mdettweiler [2016-07-29 15:06:50] 693*2^1436199-1 is not prime. Res64: 2766A76649134FED Time : 0.0 sec. user=mdettweiler [2016-07-29 15:06:50] 703*2^1436199-1 is not prime. Res64: 7A03A1275E0E6138 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:06:51] 891*2^1436199-1 is not prime. Res64: E0C79CEB29DC6B60 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:06:51] 913*2^1436199-1 is not prime. Res64: 7F7714ACD3E7D6FF Time : 0.0 sec. user=mdettweiler [2016-07-29 15:06:52] 985*2^1436199-1 is not prime. Res64: CF323E7505EB7660 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:09:21] 603*2^1436200-1 is not prime. Res64: ABA78BD9D6DC043E Time : 0.0 sec. user=mdettweiler [2016-07-29 15:09:22] 609*2^1436200-1 is not prime. Res64: 28C6476B98BD632F Time : 0.0 sec. user=mdettweiler [2016-07-29 15:09:22] 785*2^1436200-1 is not prime. Res64: 01E3C66A5A790317 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:09:23] 797*2^1436200-1 is not prime. Res64: 69231419BA1AA744 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:09:23] 825*2^1436200-1 is not prime. Res64: C57E7D11C0C6A2BE Time : 0.0 sec. user=mdettweiler [2016-07-29 15:24:51] 615*2^1436201-1 is not prime. Res64: 324FFB374045B927 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:24:52] 669*2^1436201-1 is not prime. Res64: 2D2FC138438FD730 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:24:52] 717*2^1436201-1 is not prime. Res64: 1CFED185FF330FD9 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:24:52] 789*2^1436201-1 is not prime. Res64: 5C567AC26B6B3F16 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:24:53] 855*2^1436201-1 is not prime. Res64: 6AA2C9D8C5F22E56 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:50:58] 611*2^1436202-1 is not prime. Res64: 7F31BE5DF7883F0A Time : 0.0 sec. user=mdettweiler [2016-07-29 15:50:59] 635*2^1436202-1 is not prime. Res64: 8A48773E28C6A6B1 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:50:59] 657*2^1436202-1 is not prime. Res64: C53E46E2FFA34A31 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:51:00] 725*2^1436202-1 is not prime. Res64: 1EDD1AAC45E0E0DD Time : 0.0 sec. user=mdettweiler [2016-07-29 15:51:00] 741*2^1436202-1 is not prime. Res64: 8780CD322F80D47C Time : 0.0 sec. user=mdettweiler [2016-07-29 15:53:28] 797*2^1436202-1 is not prime. Res64: 307D9D1A883A7F44 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:53:29] 915*2^1436202-1 is not prime. Res64: 50334C9D1AD8F120 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:53:29] 615*2^1436203-1 is not prime. Res64: B2FAE5C87F064E56 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:53:29] 673*2^1436203-1 is not prime. Res64: 33F881D59503C857 Time : 0.0 sec. user=mdettweiler [2016-07-29 15:53:30] 703*2^1436203-1 is not prime. Res64: C45257C1288E54F0 Time : 0.0 sec. user=mdettweiler [2016-07-29 16:09:20] 709*2^1436203-1 is not prime. Res64: 6320161B282A5A81 Time : 0.0 sec. user=mdettweiler [2016-07-29 16:35:21] 953*2^1436204-1 is not prime. Res64: 499CFE9F6C727003 Time : 0.0 sec. user=mdettweiler [2016-07-29 16:35:21] 983*2^1436204-1 is not prime. Res64: BFED7082B3E7BF09 Time : 0.0 sec. user=mdettweiler [2016-07-29 16:35:22] 607*2^1436205-1 is not prime. Res64: C1378F1858D46DB9 Time : 0.0 sec. user=mdettweiler [2016-07-29 16:35:22] 765*2^1436205-1 is not prime. Res64: C49A0B8525C467B1 Time : 0.0 sec. user=mdettweiler [2016-07-29 16:35:22] 777*2^1436205-1 is not prime. Res64: 43B467CB302C4F7E Time : 0.0 sec. user=mdettweiler [2016-07-29 16:37:50] 937*2^1436205-1 is not prime. Res64: 6D500100051635BB Time : 0.0 sec. user=mdettweiler [2016-07-29 16:37:50] 951*2^1436205-1 is not prime. Res64: B31FFB2F928473D8 Time : 0.0 sec. user=mdettweiler [2016-07-29 16:37:53] 617*2^1436206-1 is not prime. Res64: 4C9677C03834CC21 Time : 0.0 sec. user=mdettweiler [2016-07-29 16:37:56] 713*2^1436206-1 is not prime. Res64: 67613A4C16DA2BB6 Time : 0.0 sec. user=mdettweiler [2016-07-29 16:37:59] 723*2^1436206-1 is not prime. Res64: A9C4AE677867DA23 Time : 0.0 sec. user=mdettweiler [2016-07-29 17:20:06] 755*2^1436206-1 is not prime. Res64: D234145298F9CF7C Time : 0.0 sec. user=mdettweiler [2016-07-29 17:20:06] 801*2^1436206-1 is not prime. Res64: B81595E71760795C Time : 0.0 sec. user=mdettweiler [2016-07-29 17:20:07] 833*2^1436206-1 is not prime. Res64: BB067FB2608CC131 Time : 0.0 sec. user=mdettweiler [2016-07-29 17:20:07] 841*2^1436207-1 is not prime. Res64: 391886C86A709E56 Time : 0.0 sec. user=mdettweiler [2016-07-29 17:20:08] 981*2^1436207-1 is not prime. Res64: EDE788B814B48A8A Time : 0.0 sec. user=mdettweiler [2016-07-29 17:22:29] 605*2^1436208-1 is not prime. Res64: 7A86541BB1329776 Time : 0.0 sec. user=mdettweiler [2016-07-29 17:22:29] 639*2^1436208-1 is not prime. Res64: B85A923DDF951A9D Time : 0.0 sec. user=mdettweiler [2016-07-29 17:22:30] 705*2^1436208-1 is not prime. Res64: D5A1C70C30723452 Time : 0.0 sec. user=mdettweiler [2016-07-29 17:22:30] 737*2^1436208-1 is not prime. Res64: ECD4DD4AB1C7BC69 Time : 0.0 sec. user=mdettweiler [2016-07-29 17:22:30] 759*2^1436208-1 is not prime. Res64: 776F256EC58C40DE Time : 0.0 sec. user=mdettweiler [2016-07-29 18:07:03] 771*2^1436209-1 is not prime. Res64: B0416C108F3D2C66 Time : 0.0 sec. user=mdettweiler [2016-07-29 18:07:04] 829*2^1436209-1 is not prime. Res64: 16779F25483492A7 Time : 0.0 sec. user=mdettweiler [2016-07-29 18:07:07] 895*2^1436209-1 is not prime. Res64: 42789AD2486B116D Time : 0.0 sec. user=mdettweiler [2016-07-29 18:07:12] 897*2^1436209-1 is not prime. Res64: B2D5C2944EF6C094 Time : 0.0 sec. user=mdettweiler [2016-07-29 18:07:15] 741*2^1436210-1 is not prime. Res64: 6EC55633998E190C Time : 0.0 sec. user=mdettweiler [2016-07-29 18:55:19] 755*2^1436210-1 is not prime. Res64: C9109A5875256B61 Time : 0.0 sec. user=mdettweiler [2016-07-29 18:55:19] 773*2^1436210-1 is not prime. Res64: D4D98BABA2CA861D Time : 0.0 sec. user=mdettweiler [2016-07-29 18:55:19] 851*2^1436210-1 is not prime. Res64: 48EDB25107C04BED Time : 0.0 sec. user=mdettweiler [2016-07-29 18:55:19] 857*2^1436210-1 is not prime. Res64: F75D8E78E786DBC0 Time : 0.0 sec. user=mdettweiler [2016-07-29 18:55:20] 887*2^1436210-1 is not prime. Res64: 90726ACC7193FEBB Time : 0.0 sec. user=mdettweiler [2016-07-29 19:42:14] 917*2^1436210-1 is not prime. Res64: 3BF7348CDD5E9081 Time : 0.0 sec. user=mdettweiler [2016-07-29 19:42:16] 981*2^1436210-1 is not prime. Res64: 8A64DF1BCA217618 Time : 0.0 sec. user=mdettweiler [2016-07-29 19:42:18] 795*2^1436211-1 is not prime. Res64: 238FB66B7DD83F90 Time : 0.0 sec. user=mdettweiler [2016-07-29 19:42:20] 819*2^1436211-1 is not prime. Res64: 757E9FB0957E83B9 Time : 0.0 sec. user=mdettweiler [2016-07-29 19:42:22] 909*2^1436211-1 is not prime. Res64: 35C30EA0C17D14D6 Time : 0.0 sec. user=mdettweiler [2016-07-29 20:27:40] 921*2^1436211-1 is not prime. Res64: 4282FCFC8C242972 Time : 0.0 sec. user=mdettweiler [2016-07-29 20:27:41] 961*2^1436211-1 is not prime. Res64: 0AB35D8FC099F2DB Time : 0.0 sec. user=mdettweiler [2016-07-29 20:27:41] 647*2^1436212-1 is not prime. Res64: C2F0B4D142AFDB95 Time : 0.0 sec. user=mdettweiler [2016-07-29 20:27:42] 785*2^1436212-1 is not prime. Res64: 7014144D2A173E45 Time : 0.0 sec. user=mdettweiler [2016-07-29 20:27:42] 797*2^1436212-1 is not prime. Res64: F7A620BF82A0DAB7 Time : 0.0 sec. user=mdettweiler [2016-07-29 20:42:17] 849*2^1436208-1 is not prime. Res64: 2CCAD10114C0E771 Time : 0.0 sec. user=mdettweiler [2016-07-29 20:42:17] 867*2^1436208-1 is not prime. Res64: B22E151E8A91F127 Time : 0.0 sec. user=mdettweiler [2016-07-29 20:42:18] 945*2^1436208-1 is not prime. Res64: 5DB349862B2650BA Time : 0.0 sec. user=mdettweiler [2016-07-29 20:42:18] 615*2^1436209-1 is not prime. Res64: BF1D968A0B3BD90C Time : 0.0 sec. user=mdettweiler [2016-07-29 20:42:18] 681*2^1436209-1 is not prime. Res64: A84058018858E3A3 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:13:41] 857*2^1436212-1 is not prime. Res64: A94E2F63737527A5 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:13:41] 929*2^1436212-1 is not prime. Res64: F89F6B06C3F603E7 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:13:42] 933*2^1436212-1 is not prime. Res64: D99B6F69A93DE86C Time : 0.0 sec. user=mdettweiler [2016-07-29 21:13:42] 957*2^1436212-1 is not prime. Res64: 3E1E06C890461C76 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:13:43] 975*2^1436212-1 is not prime. Res64: 9BEF60056ECBD9E1 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:28:00] 999*2^1436212-1 is not prime. Res64: 5E6A36C75DAACF46 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:28:02] 631*2^1436213-1 is not prime. Res64: BD37AADDA5B8F67C Time : 0.0 sec. user=mdettweiler [2016-07-29 21:28:04] 669*2^1436213-1 is not prime. Res64: 28CF95C1DE4FFC2A Time : 0.0 sec. user=mdettweiler [2016-07-29 21:28:06] 685*2^1436213-1 is not prime. Res64: 21920AB7BC6375FD Time : 0.0 sec. user=mdettweiler [2016-07-29 21:28:08] 697*2^1436213-1 is not prime. Res64: C3E6A8B695FA148D Time : 0.0 sec. user=mdettweiler [2016-07-29 21:31:18] 801*2^1436203-1 is not prime. Res64: EECB4A0780714C88 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:31:19] 699*2^1436204-1 is not prime. Res64: 7DE246FF4C4894FF Time : 0.0 sec. user=mdettweiler [2016-07-29 21:31:19] 743*2^1436204-1 is not prime. Res64: 5F4B009E5ECCF736 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:31:19] 903*2^1436204-1 is not prime. Res64: 3A6F65B0DC2E2897 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:58:03] 745*2^1436213-1 is not prime. Res64: 13BB274404E2DC96 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:58:04] 897*2^1436213-1 is not prime. Res64: 4202D47E051F62F3 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:58:04] 915*2^1436213-1 is not prime. Res64: D16E07F0861CEA80 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:58:05] 773*2^1436214-1 is not prime. Res64: F8B20285C95025B2 Time : 0.0 sec. user=mdettweiler [2016-07-29 21:58:05] 861*2^1436214-1 is not prime. Res64: E28403E84D96D48D Time : 0.0 sec. user=mdettweiler [2016-07-29 22:12:14] 863*2^1436214-1 is not prime. Res64: 2C753CF1EFBA9452 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:12:15] 875*2^1436214-1 is not prime. Res64: 4867C6F3F7C39F6A Time : 0.0 sec. user=mdettweiler [2016-07-29 22:12:15] 975*2^1436214-1 is not prime. Res64: 5D78B4ABB0CCF23A Time : 0.0 sec. user=mdettweiler [2016-07-29 22:12:15] 679*2^1436215-1 is not prime. Res64: E8506BA1D9275951 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:12:16] 693*2^1436215-1 is not prime. Res64: 961934774BC07FE4 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:15:33] 789*2^1436215-1 is not prime. Res64: 2C19B1760BB516D6 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:15:35] 843*2^1436215-1 is not prime. Res64: 423569428F7F6624 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:15:37] 635*2^1436216-1 is not prime. Res64: DA5BE0B87EBA9B4B Time : 0.0 sec. user=mdettweiler [2016-07-29 22:15:39] 659*2^1436216-1 is not prime. Res64: 3B7D160D06821748 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:15:42] 827*2^1436216-1 is not prime. Res64: FEA546E9BCFACFDB Time : 0.0 sec. user=mdettweiler [2016-07-29 22:42:08] 843*2^1436216-1 is not prime. Res64: 8BFD4D490C1F55A2 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:42:11] 869*2^1436216-1 is not prime. Res64: 27C9346D27F75050 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:42:12] 923*2^1436216-1 is not prime. Res64: 805E63C8249C69AC Time : 0.0 sec. user=mdettweiler [2016-07-29 22:42:15] 651*2^1436217-1 is not prime. Res64: 77BB70FC6F5DFDEF Time : 0.0 sec. user=mdettweiler [2016-07-29 22:42:18] 849*2^1436217-1 is not prime. Res64: 1E8DA12885D7D3FB Time : 0.0 sec. user=mdettweiler [2016-07-29 22:56:16] 937*2^1436217-1 is not prime. Res64: A87DC30A05598912 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:56:17] 617*2^1436218-1 is not prime. Res64: C7C7743F74856E5A Time : 0.0 sec. user=mdettweiler [2016-07-29 22:56:17] 731*2^1436218-1 is not prime. Res64: 712C0E9FA5EEE45F Time : 0.0 sec. user=mdettweiler [2016-07-29 22:56:17] 791*2^1436218-1 is not prime. Res64: 715A600F01B9AE44 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:56:18] 845*2^1436218-1 is not prime. Res64: 1637860325900BB0 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:59:42] 867*2^1436218-1 is not prime. Res64: C2B7E1E3EEEC5B5B Time : 0.0 sec. user=mdettweiler [2016-07-29 22:59:42] 885*2^1436218-1 is not prime. Res64: 74DB80698EFD4D50 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:59:43] 905*2^1436218-1 is not prime. Res64: 42C3B7C86F275EBD Time : 0.0 sec. user=mdettweiler [2016-07-29 22:59:43] 603*2^1436219-1 is not prime. Res64: E71003023D040FA8 Time : 0.0 sec. user=mdettweiler [2016-07-29 22:59:43] 643*2^1436219-1 is not prime. Res64: 60442A182A323CDB Time : 0.0 sec. user=juhehe [2016-07-29 23:22:09] 663*2^1436219-1 is not prime. Res64: 7BB856901D65E698 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:26:22] 685*2^1436219-1 is not prime. Res64: 1E3290902D862617 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:26:23] 735*2^1436219-1 is not prime. Res64: 76886CFAE9DD8567 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:26:23] 741*2^1436219-1 is not prime. Res64: EE71D79EFDF996F1 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:26:23] 879*2^1436219-1 is not prime. Res64: E1452A39C051FDE7 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:26:24] 955*2^1436219-1 is not prime. Res64: B0E1AE0550A082C2 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:40:21] 693*2^1436220-1 is not prime. Res64: 95B9F60ABA495E4F Time : 0.0 sec. user=mdettweiler [2016-07-29 23:40:23] 773*2^1436220-1 is not prime. Res64: 6767F384F68849B9 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:40:26] 857*2^1436220-1 is not prime. Res64: ADB9309E5C803597 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:40:28] 899*2^1436220-1 is not prime. Res64: 6ED944AAF7774229 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:40:30] 909*2^1436220-1 is not prime. Res64: 7BFE5AB904B894A3 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:43:45] 929*2^1436220-1 is not prime. Res64: 8B9330B693BB6C99 Time : 0.0 sec. user=mdettweiler [2016-07-29 23:43:45] 987*2^1436220-1 is not prime. Res64: FA9DC0A25A52122B Time : 0.0 sec. user=mdettweiler [2016-07-29 23:43:45] 691*2^1436221-1 is not prime. Res64: CBC68B9CE5E1256C Time : 0.0 sec. user=mdettweiler [2016-07-29 23:43:46] 747*2^1436221-1 is not prime. Res64: 543E6128A9614BFD Time : 0.0 sec. user=mdettweiler [2016-07-29 23:43:46] 757*2^1436221-1 is not prime. Res64: 229B13C65C3178E3 Time : 0.0 sec.