user=mdettweiler [2015-10-21 00:01:06] 693*2^1412779-1 is not prime. Res64: 8F063F5B457D2D05 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:01:06] 741*2^1412779-1 is not prime. Res64: 4C61FB2E28E6B0E7 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:03:12] 759*2^1412779-1 is not prime. Res64: 3335673C88EA0BA3 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:03:13] 801*2^1412779-1 is not prime. Res64: 37168C1A0EF89EA4 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:17:03] 889*2^1412779-1 is not prime. Res64: B78A063118EC727E Time : 0.0 sec. user=mdettweiler [2015-10-21 00:17:04] 913*2^1412779-1 is not prime. Res64: D93D3C83DADA81ED Time : 0.0 sec. user=mdettweiler [2015-10-21 00:17:22] 609*2^1412780-1 is not prime. Res64: EFA8CD440E9E30D1 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:17:22] 677*2^1412780-1 is not prime. Res64: 788E1DA3B87CA956 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:19:13] 755*2^1412780-1 is not prime. Res64: 56FC38B7E48FD242 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:19:14] 963*2^1412780-1 is not prime. Res64: 5DB883D24B8D43DE Time : 0.0 sec. user=mdettweiler [2015-10-21 00:21:18] 669*2^1412781-1 is not prime. Res64: BC232755D4E5A997 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:21:18] 709*2^1412781-1 is not prime. Res64: A667BE91FD104428 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:35:04] 795*2^1412781-1 is not prime. Res64: 5DBD2519EF1C6A77 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:35:04] 837*2^1412781-1 is not prime. Res64: 4366092AF3C83A47 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:35:23] 847*2^1412781-1 is not prime. Res64: 77C6C203BA721BBF Time : 0.0 sec. user=mdettweiler [2015-10-21 00:35:23] 907*2^1412781-1 is not prime. Res64: EB8933D2A6F76758 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:37:19] 949*2^1412781-1 is not prime. Res64: 3974FD9EF057B9E2 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:37:19] 951*2^1412781-1 is not prime. Res64: 8633C83833158A36 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:39:21] 979*2^1412781-1 is not prime. Res64: 34E3FFE75735FE79 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:39:22] 635*2^1412782-1 is not prime. Res64: 6806F2454E2913FF Time : 0.0 sec. user=mdettweiler [2015-10-21 00:52:57] 681*2^1412782-1 is not prime. Res64: FD888D608DC94691 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:52:57] 737*2^1412782-1 is not prime. Res64: 40DFB37ABBCAB7AA Time : 0.0 sec. user=mdettweiler [2015-10-21 00:53:13] 741*2^1412782-1 is not prime. Res64: F620805197EA8C48 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:53:13] 915*2^1412782-1 is not prime. Res64: 48817FDE1A4BD85E Time : 0.0 sec. user=mdettweiler [2015-10-21 00:55:06] 957*2^1412782-1 is not prime. Res64: 932D62AE70D44919 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:55:07] 983*2^1412782-1 is not prime. Res64: 9B1B39044357CFAB Time : 0.0 sec. user=mdettweiler [2015-10-21 00:57:11] 603*2^1412783-1 is not prime. Res64: 4CD15CDF69E55894 Time : 0.0 sec. user=mdettweiler [2015-10-21 00:57:11] 663*2^1412783-1 is not prime. Res64: 8029526F074D0C26 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:10:52] 673*2^1412783-1 is not prime. Res64: 23B99327F002B4B2 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:10:53] 943*2^1412783-1 is not prime. Res64: EE8656335DD03EF2 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:11:04] 969*2^1412783-1 is not prime. Res64: 1350F172A91F82BD Time : 0.0 sec. user=mdettweiler [2015-10-21 01:11:05] 985*2^1412783-1 is not prime. Res64: 18468185D12FC807 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:12:57] 999*2^1412783-1 is not prime. Res64: 7297B1D2E20D1EC0 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:12:58] 663*2^1412784-1 is not prime. Res64: 9B45587930055596 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:15:06] 717*2^1412784-1 is not prime. Res64: 9840B0293A9BA9B1 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:15:11] 789*2^1412784-1 is not prime. Res64: 8A19A3C7458AE1BB Time : 0.0 sec. user=mdettweiler [2015-10-21 01:28:54] 905*2^1412784-1 is not prime. Res64: F4D582E5BBF8FD87 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:28:55] 601*2^1412785-1 is not prime. Res64: 03F112AC590279F6 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:29:20] 687*2^1412785-1 is not prime. Res64: 797514A5C4DD8BBA Time : 0.0 sec. user=mdettweiler [2015-10-21 01:29:21] 721*2^1412785-1 is not prime. Res64: 8C62054F299AE213 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:31:14] 729*2^1412785-1 is not prime. Res64: 0C8AE346CFF1DC9A Time : 0.0 sec. user=mdettweiler [2015-10-21 01:31:15] 811*2^1412785-1 is not prime. Res64: 5596BAD9019286D6 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:33:49] 841*2^1412785-1 is not prime. Res64: C025C70DB31B6AC4 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:33:50] 997*2^1412785-1 is not prime. Res64: 0455BDBEB11817E3 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:47:33] 683*2^1412786-1 is not prime. Res64: 94767111FC735520 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:47:33] 735*2^1412786-1 is not prime. Res64: 36DC1A1763CF730F Time : 0.0 sec. user=mdettweiler [2015-10-21 01:47:49] 747*2^1412786-1 is not prime. Res64: 5FA94AD8E695ED94 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:47:50] 801*2^1412786-1 is not prime. Res64: 8F3F3BDC11EAE121 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:49:38] 815*2^1412786-1 is not prime. Res64: AEC047F8E4BF39E1 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:49:39] 831*2^1412786-1 is not prime. Res64: DB2536C5EB653F25 Time : 0.0 sec. user=mdettweiler [2015-10-21 01:52:17] 861*2^1412786-1 is not prime. Res64: F61E0D3FEFA6B98E Time : 0.0 sec. user=mdettweiler [2015-10-21 01:52:18] 615*2^1412787-1 is not prime. Res64: 8DF665231C82F7F2 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:06:58] 805*2^1412787-1 is not prime. Res64: F9E73CE1446EB003 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:06:59] 945*2^1412787-1 is not prime. Res64: 375A2C99F3918F5F Time : 0.0 sec. user=mdettweiler [2015-10-21 02:07:22] 621*2^1412787-1 is not prime. Res64: 887C6768DED5574D Time : 0.0 sec. user=mdettweiler [2015-10-21 02:07:22] 709*2^1412787-1 is not prime. Res64: DC37345B91CE0A79 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:09:44] 955*2^1412787-1 is not prime. Res64: E69E514909493CB2 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:09:45] 979*2^1412787-1 is not prime. Res64: FE7A7ED807E8295E Time : 0.0 sec. user=mdettweiler [2015-10-21 02:11:12] 657*2^1412788-1 is not prime. Res64: 57EEC5C67C774944 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:11:12] 773*2^1412788-1 is not prime. Res64: AF255B760D1DC693 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:24:50] 783*2^1412788-1 is not prime. Res64: CC9C3F189D6B9F02 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:24:50] 819*2^1412788-1 is not prime. Res64: 933ACDE88706C046 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:25:22] 845*2^1412788-1 is not prime. Res64: 3B3143684AF97EFB Time : 0.0 sec. user=mdettweiler [2015-10-21 02:25:22] 855*2^1412788-1 is not prime. Res64: D74DFD5EEFAFBED7 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:27:41] 619*2^1412789-1 is not prime. Res64: B879D0DE2DD578EC Time : 0.0 sec. user=mdettweiler [2015-10-21 02:27:41] 645*2^1412789-1 is not prime. Res64: 48D4D545C6872009 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:29:03] 721*2^1412789-1 is not prime. Res64: CC7855E5864A41C9 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:29:03] 729*2^1412789-1 is not prime. Res64: EC708023435A368A Time : 0.0 sec. user=mdettweiler [2015-10-21 02:42:45] 787*2^1412789-1 is not prime. Res64: C1E8BDFD11DD42B4 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:42:45] 789*2^1412789-1 is not prime. Res64: 6A88F261BFA1149D Time : 0.0 sec. user=mdettweiler [2015-10-21 02:43:19] 925*2^1412789-1 is not prime. Res64: 4E50396B3A5E5894 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:43:20] 927*2^1412789-1 is not prime. Res64: 15281A649E85D3F0 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:45:39] 611*2^1412790-1 is not prime. Res64: 78D54467783640BB Time : 0.0 sec. user=mdettweiler [2015-10-21 02:45:40] 635*2^1412790-1 is not prime. Res64: 9C61A5982F76B709 Time : 0.0 sec. user=mdettweiler [2015-10-21 02:47:03] 651*2^1412790-1 is not prime. Res64: 395C54433D8858ED Time : 0.0 sec. user=mdettweiler [2015-10-21 02:47:03] 725*2^1412790-1 is not prime. Res64: 45C156445850763E Time : 0.0 sec. user=mdettweiler [2015-10-21 03:00:40] 761*2^1412790-1 is not prime. Res64: 7559F8684C9037D6 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:00:41] 833*2^1412790-1 is not prime. Res64: 80A69FDFBF766882 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:01:13] 851*2^1412790-1 is not prime. Res64: A44AE0F84C6D7B26 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:01:14] 875*2^1412790-1 is not prime. Res64: D346464CA5A8E5E4 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:03:37] 921*2^1412790-1 is not prime. Res64: 4D0B8A7939FA1412 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:03:38] 927*2^1412790-1 is not prime. Res64: 1D1DD82A1F576534 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:05:03] 1001*2^1412790-1 is not prime. Res64: 588108F4135C05D7 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:05:05] 619*2^1412791-1 is not prime. Res64: E65B4110971E265C Time : 0.0 sec. user=mdettweiler [2015-10-21 03:18:26] 723*2^1412791-1 is not prime. Res64: 9E508CB87FFD7B6F Time : 0.0 sec. user=mdettweiler [2015-10-21 03:18:27] 969*2^1412791-1 is not prime. Res64: BB7BCC42B2764F52 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:19:12] 623*2^1412792-1 is not prime. Res64: FD6E0836605641AB Time : 0.0 sec. user=mdettweiler [2015-10-21 03:19:12] 827*2^1412792-1 is not prime. Res64: CBDE19C605C0E768 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:21:31] 627*2^1412793-1 is not prime. Res64: 8B9ECF04ECEDA21E Time : 0.0 sec. user=mdettweiler [2015-10-21 03:21:32] 699*2^1412793-1 is not prime. Res64: 239927E015366C8C Time : 0.0 sec. user=mdettweiler [2015-10-21 03:22:55] 705*2^1412793-1 is not prime. Res64: B6C4CE6D51E97A84 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:22:55] 789*2^1412793-1 is not prime. Res64: 5943FBDE2F528976 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:36:09] 919*2^1412793-1 is not prime. Res64: 3D32650BAEE7224D Time : 0.0 sec. user=mdettweiler [2015-10-21 03:36:10] 773*2^1412794-1 is not prime. Res64: 35AD8D18D4AD42B0 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:37:08] 945*2^1412794-1 is not prime. Res64: C6A09497CCC0EA3F Time : 0.0 sec. user=mdettweiler [2015-10-21 03:37:09] 601*2^1412795-1 is not prime. Res64: 72047448B0EA1687 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:39:35] 655*2^1412795-1 is not prime. Res64: 9223C67EC7871349 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:39:37] 883*2^1412795-1 is not prime. Res64: C884CFC679CC7C31 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:54:42] 647*2^1412796-1 is not prime. Res64: 8E0872C47851A931 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:54:43] 759*2^1412796-1 is not prime. Res64: 85A518F082444471 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:55:30] 777*2^1412796-1 is not prime. Res64: 29BEAF4ADE81EFC9 Time : 0.0 sec. user=mdettweiler [2015-10-21 03:55:31] 837*2^1412796-1 is not prime. Res64: AED6B3F22039950B Time : 0.0 sec. user=mdettweiler [2015-10-21 03:57:57] 993*2^1412796-1 is not prime. Res64: F7149850DFB7972E Time : 0.0 sec. user=mdettweiler [2015-10-21 03:57:58] 625*2^1412797-1 is not prime. Res64: 4F3207D938614275 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:12:43] 639*2^1412797-1 is not prime. Res64: 6B7090A5A5839BFA Time : 0.0 sec. user=mdettweiler [2015-10-21 04:12:44] 661*2^1412797-1 is not prime. Res64: A4062400A7193CF3 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:13:36] 751*2^1412797-1 is not prime. Res64: 569D88B230E7D9D3 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:13:37] 825*2^1412797-1 is not prime. Res64: 9E4229610BF73A4B Time : 0.0 sec. user=mdettweiler [2015-10-21 04:15:56] 975*2^1412797-1 is not prime. Res64: B33516085B33E568 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:15:56] 641*2^1412798-1 is not prime. Res64: 2D2CF66A75C8ABBC Time : 0.0 sec. user=mdettweiler [2015-10-21 04:30:45] 619*2^1412799-1 is not prime. Res64: 6396022B320E406F Time : 0.0 sec. user=mdettweiler [2015-10-21 04:30:46] 633*2^1412799-1 is not prime. Res64: 7224719368DDBCA6 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:31:39] 703*2^1412799-1 is not prime. Res64: 78424D83BA94FA54 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:31:39] 741*2^1412799-1 is not prime. Res64: 4CE70CC12FCE3584 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:34:01] 933*2^1412799-1 is not prime. Res64: 5D4006B04662297A Time : 0.0 sec. user=mdettweiler [2015-10-21 04:34:01] 603*2^1412800-1 is not prime. Res64: 837A30CCB740E0DE Time : 0.0 sec. user=mdettweiler [2015-10-21 04:48:52] 605*2^1412800-1 is not prime. Res64: 7538A06C024DF727 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:48:52] 665*2^1412800-1 is not prime. Res64: 51E3B688A2A7C308 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:49:53] 675*2^1412800-1 is not prime. Res64: 8BE2188CAFB2A7F1 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:49:53] 695*2^1412800-1 is not prime. Res64: 1FFF51C32041AFFC Time : 0.0 sec. user=mdettweiler [2015-10-21 04:52:05] 777*2^1412800-1 is not prime. Res64: 80DA089EC2E63D76 Time : 0.0 sec. user=mdettweiler [2015-10-21 04:52:06] 845*2^1412800-1 is not prime. Res64: 151085D7CB99069E Time : 0.0 sec. user=mdettweiler [2015-10-21 05:00:50] 895*2^1412795-1 is not prime. Res64: FA37AC851DBE3746 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:00:51] 921*2^1412795-1 is not prime. Res64: 530D1E78F8FF41FB Time : 0.0 sec. user=mdettweiler [2015-10-21 05:06:55] 863*2^1412800-1 is not prime. Res64: FB2DA0B89972A035 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:06:56] 975*2^1412800-1 is not prime. Res64: 6CEF433B93771444 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:07:51] 989*2^1412800-1 is not prime. Res64: 67FA34B72E62953E Time : 0.0 sec. user=mdettweiler [2015-10-21 05:07:53] 747*2^1412801-1 is not prime. Res64: 1FE5C8349D1E2175 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:09:59] 789*2^1412801-1 is not prime. Res64: A5F07ACE33D0AF54 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:09:59] 635*2^1412802-1 is not prime. Res64: 5A1814B14D34E2DF Time : 0.0 sec. user=mdettweiler [2015-10-21 05:18:52] 717*2^1412802-1 is not prime. Res64: D6557129120B37E8 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:18:52] 765*2^1412802-1 is not prime. Res64: 3F08063FD27BF419 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:24:54] 777*2^1412802-1 is not prime. Res64: EFB0B79E561E60D0 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:24:54] 1001*2^1412802-1 is not prime. Res64: 25655129C680E8B5 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:25:48] 619*2^1412803-1 is not prime. Res64: DE3FFD536DFC05B2 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:25:49] 703*2^1412803-1 is not prime. Res64: 78E8ED7DF610DAF8 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:27:50] 783*2^1412803-1 is not prime. Res64: 4E9BC5967B51CD24 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:27:50] 853*2^1412803-1 is not prime. Res64: 89B82F7EA1BC8F5E Time : 0.0 sec. user=mdettweiler [2015-10-21 05:36:47] 855*2^1412803-1 is not prime. Res64: DECD03D1018E8A43 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:36:47] 873*2^1412803-1 is not prime. Res64: F3253E2C24B93F8A Time : 0.0 sec. user=mdettweiler [2015-10-21 05:42:40] 883*2^1412803-1 is not prime. Res64: BF371F9934B4AC78 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:42:41] 895*2^1412803-1 is not prime. Res64: 0692DD9FED3E74D0 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:43:39] 951*2^1412803-1 is not prime. Res64: 801BE80D04BB183D Time : 0.0 sec. user=mdettweiler [2015-10-21 05:43:40] 677*2^1412804-1 is not prime. Res64: F070DA7A8FE86D6A Time : 0.0 sec. user=mdettweiler [2015-10-21 05:45:40] 885*2^1412804-1 is not prime. Res64: 54D2E3633A4E00A7 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:45:40] 903*2^1412804-1 is not prime. Res64: 713BC17BC5501334 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:54:33] 657*2^1412805-1 is not prime. Res64: 79F1A6BCAACD0BD2 Time : 0.0 sec. user=mdettweiler [2015-10-21 05:54:34] 709*2^1412805-1 is not prime. Res64: CA7A27A0139AB002 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:00:21] 727*2^1412805-1 is not prime. Res64: F9E0885D4A7B6DED Time : 0.0 sec. user=mdettweiler [2015-10-21 06:00:22] 877*2^1412805-1 is not prime. Res64: BFF42CD65FB5295E Time : 0.0 sec. user=mdettweiler [2015-10-21 06:01:27] 895*2^1412805-1 is not prime. Res64: D120941B1736DC29 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:01:27] 937*2^1412805-1 is not prime. Res64: 8B00B311E59EF50E Time : 0.0 sec. user=mdettweiler [2015-10-21 06:03:27] 961*2^1412805-1 is not prime. Res64: 7B1CE6468F32C367 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:03:28] 979*2^1412805-1 is not prime. Res64: B0A0D1964C2B9DFD Time : 0.0 sec. user=mdettweiler [2015-10-21 06:12:22] 611*2^1412806-1 is not prime. Res64: 9E2BEE8807DB16F2 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:12:22] 635*2^1412806-1 is not prime. Res64: 5EB605710E6C3C5A Time : 0.0 sec. user=mdettweiler [2015-10-21 06:18:09] 657*2^1412806-1 is not prime. Res64: 894EC4F572C271EA Time : 0.0 sec. user=mdettweiler [2015-10-21 06:18:09] 821*2^1412806-1 is not prime. Res64: E414FCE6B39266A6 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:19:18] 867*2^1412806-1 is not prime. Res64: A368190DC1879D14 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:19:18] 887*2^1412806-1 is not prime. Res64: F51929CC14E7D218 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:21:22] 903*2^1412806-1 is not prime. Res64: 8BC0891374767845 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:21:23] 917*2^1412806-1 is not prime. Res64: A3915E9BF46C5B07 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:30:07] 933*2^1412806-1 is not prime. Res64: F404964E53EF7B0D Time : 0.0 sec. user=mdettweiler [2015-10-21 06:30:07] 971*2^1412806-1 is not prime. Res64: 312CF450261E4B38 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:36:00] 685*2^1412807-1 is not prime. Res64: B40185552F3EC34A Time : 0.0 sec. user=mdettweiler [2015-10-21 06:36:01] 735*2^1412807-1 is not prime. Res64: 966F215909730199 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:37:03] 813*2^1412807-1 is not prime. Res64: 6AAE3ED4F75CCCC0 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:37:03] 913*2^1412807-1 is not prime. Res64: 8936B244A49319D3 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:39:13] 669*2^1412808-1 is not prime. Res64: 874C193F317573F4 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:39:13] 699*2^1412808-1 is not prime. Res64: 2449070E147913B1 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:47:55] 705*2^1412808-1 is not prime. Res64: F8DA8325025A2B6B Time : 0.0 sec. user=mdettweiler [2015-10-21 06:47:55] 713*2^1412808-1 is not prime. Res64: FC0270358909D4A1 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:53:46] 767*2^1412808-1 is not prime. Res64: 1382A88002077CEF Time : 0.0 sec. user=mdettweiler [2015-10-21 06:53:46] 845*2^1412808-1 is not prime. Res64: EA8C6D3E73AE80C0 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:54:49] 915*2^1412808-1 is not prime. Res64: 880E1E63C199053C Time : 0.0 sec. user=mdettweiler [2015-10-21 06:54:49] 675*2^1412809-1 is not prime. Res64: 824502A2FFE2DDE3 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:56:56] 831*2^1412809-1 is not prime. Res64: B7CED8E787BDE0D8 Time : 0.0 sec. user=mdettweiler [2015-10-21 06:56:57] 895*2^1412809-1 is not prime. Res64: ABCD9186F11977A7 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:05:46] 713*2^1412810-1 is not prime. Res64: 9060D5F7D99C0D62 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:05:48] 731*2^1412810-1 is not prime. Res64: 8E6496863B49AA6F Time : 0.0 sec. user=mdettweiler [2015-10-21 07:11:37] 743*2^1412810-1 is not prime. Res64: 5F09E1F3CD63A4B7 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:11:37] 801*2^1412810-1 is not prime. Res64: ECF5AE659A15B070 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:12:46] 827*2^1412810-1 is not prime. Res64: E3B345559AC2B385 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:12:47] 867*2^1412810-1 is not prime. Res64: 3124B9E1AC1CA129 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:14:48] 875*2^1412810-1 is not prime. Res64: F23422FFA1DB0B10 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:14:48] 917*2^1412810-1 is not prime. Res64: 4276EAA71ED6B27A Time : 0.0 sec. user=mdettweiler [2015-10-21 07:23:57] 981*2^1412810-1 is not prime. Res64: 49B4DA2F99504F46 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:23:57] 609*2^1412811-1 is not prime. Res64: B508FD5667F99A06 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:29:30] 615*2^1412811-1 is not prime. Res64: 8C2CA6128AE718BF Time : 0.0 sec. user=mdettweiler [2015-10-21 07:29:30] 639*2^1412811-1 is not prime. Res64: CEE4A3195F9A2CB1 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:30:38] 643*2^1412811-1 is not prime. Res64: 1D1EC854A6A06CB7 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:30:39] 723*2^1412811-1 is not prime. Res64: 9F246AC5E4683599 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:32:39] 735*2^1412811-1 is not prime. Res64: 331E29E347EF606F Time : 0.0 sec. user=mdettweiler [2015-10-21 07:32:39] 769*2^1412811-1 is not prime. Res64: E2205C9B4A812F9F Time : 0.0 sec. user=mdettweiler [2015-10-21 07:41:53] 879*2^1412811-1 is not prime. Res64: E36F68789305B241 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:41:53] 903*2^1412811-1 is not prime. Res64: 2D320B3EEFCE3EAD Time : 0.0 sec. user=mdettweiler [2015-10-21 07:47:16] 943*2^1412811-1 is not prime. Res64: 40818AFCE0AECCC7 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:47:16] 623*2^1412812-1 is not prime. Res64: 852E625CE59F9380 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:48:22] 675*2^1412812-1 is not prime. Res64: 0F72B56A5D08D15F Time : 0.0 sec. user=mdettweiler [2015-10-21 07:48:23] 735*2^1412812-1 is not prime. Res64: D77FAA12A3067FB9 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:50:34] 759*2^1412812-1 is not prime. Res64: B791D272F0FC3BD3 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:50:35] 765*2^1412812-1 is not prime. Res64: 5BD96DE4A376EE92 Time : 0.0 sec. user=mdettweiler [2015-10-21 07:59:41] 797*2^1412812-1 is not prime. Res64: B5D9907FB5CBBD3F Time : 0.0 sec. user=mdettweiler [2015-10-21 07:59:42] 855*2^1412812-1 is not prime. Res64: 6D121F01B59CAAFE Time : 0.0 sec. user=mdettweiler [2015-10-21 08:05:07] 863*2^1412812-1 is not prime. Res64: 0B4A00ECBDE54FE9 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:05:09] 939*2^1412812-1 is not prime. Res64: 71DF53FB2552259F Time : 0.0 sec. user=mdettweiler [2015-10-21 08:06:12] 787*2^1412813-1 is not prime. Res64: E4CDB1F30344740A Time : 0.0 sec. user=mdettweiler [2015-10-21 08:06:13] 897*2^1412813-1 is not prime. Res64: 9DC1A542D0E96365 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:08:20] 901*2^1412813-1 is not prime. Res64: 496DA36358504DDD Time : 0.0 sec. user=mdettweiler [2015-10-21 08:08:20] 939*2^1412813-1 is not prime. Res64: A7EA3AEF32E7A008 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:17:31] 717*2^1412814-1 is not prime. Res64: 917ADE7302114814 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:17:32] 773*2^1412814-1 is not prime. Res64: C8CE62B371D62333 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:23:20] 807*2^1412814-1 is not prime. Res64: D37BFA4F0954A7BC Time : 0.0 sec. user=mdettweiler [2015-10-21 08:23:20] 863*2^1412814-1 is not prime. Res64: 2C8A128BF000C6CE Time : 0.0 sec. user=mdettweiler [2015-10-21 08:24:04] 903*2^1412814-1 is not prime. Res64: A75DCDF717DCEA08 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:24:04] 945*2^1412814-1 is not prime. Res64: 7EBE3BBC4A03BB22 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:26:16] 983*2^1412814-1 is not prime. Res64: 83EA5A6601C5D15B Time : 0.0 sec. user=mdettweiler [2015-10-21 08:26:16] 601*2^1412815-1 is not prime. Res64: F2C3BA601890A6BB Time : 0.0 sec. user=mdettweiler [2015-10-21 08:35:33] 673*2^1412815-1 is not prime. Res64: 7DBEE95CC5D92746 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:35:33] 679*2^1412815-1 is not prime. Res64: 92D306ECB6DE14C2 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:41:08] 741*2^1412815-1 is not prime. Res64: 8425D88DF80645BC Time : 0.0 sec. user=mdettweiler [2015-10-21 08:41:08] 775*2^1412815-1 is not prime. Res64: C1417FA95604DE5A Time : 0.0 sec. user=mdettweiler [2015-10-21 08:41:54] 789*2^1412815-1 is not prime. Res64: 3B647F05B73DC9BA Time : 0.0 sec. user=mdettweiler [2015-10-21 08:41:55] 861*2^1412815-1 is not prime. Res64: 523626C96101629A Time : 0.0 sec. user=mdettweiler [2015-10-21 08:44:03] 873*2^1412815-1 is not prime. Res64: 5D46AD28DDB5A097 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:44:04] 933*2^1412815-1 is not prime. Res64: A84BDF0890B1F9F5 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:53:20] 939*2^1412815-1 is not prime. Res64: A66FC741D5EF0627 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:53:20] 669*2^1412816-1 is not prime. Res64: 322423918C0C0FF2 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:59:02] 773*2^1412816-1 is not prime. Res64: 6FCD129D50644F46 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:59:02] 777*2^1412816-1 is not prime. Res64: 6C347BED11CCA6F0 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:59:43] 825*2^1412816-1 is not prime. Res64: D871A3D66CC10414 Time : 0.0 sec. user=mdettweiler [2015-10-21 08:59:44] 827*2^1412816-1 is not prime. Res64: 3B7A765FD239A4A4 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:01:51] 903*2^1412816-1 is not prime. Res64: 00D39DECA951044D Time : 0.0 sec. user=mdettweiler [2015-10-21 09:01:52] 999*2^1412816-1 is not prime. Res64: DF914CFEEF8740E4 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:11:06] 651*2^1412817-1 is not prime. Res64: 5007285261B531E7 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:11:07] 735*2^1412817-1 is not prime. Res64: 11D0CBFD321B9AEA Time : 0.0 sec. user=mdettweiler [2015-10-21 09:16:49] 831*2^1412817-1 is not prime. Res64: 31DBDDBCFC1B901B Time : 0.0 sec. user=mdettweiler [2015-10-21 09:16:50] 849*2^1412817-1 is not prime. Res64: DF6D8648028EA569 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:17:32] 867*2^1412817-1 is not prime. Res64: AF70A61E05361F7F Time : 0.0 sec. user=mdettweiler [2015-10-21 09:17:33] 889*2^1412817-1 is not prime. Res64: 6B7C4E5C13ADC38B Time : 0.0 sec. user=mdettweiler [2015-10-21 09:19:40] 891*2^1412817-1 is not prime. Res64: 5151B73076A73C85 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:19:40] 671*2^1412818-1 is not prime. Res64: EB3F6A3C74B6E220 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:28:56] 801*2^1412818-1 is not prime. Res64: C4D43A1A8220FC5D Time : 0.0 sec. user=mdettweiler [2015-10-21 09:28:56] 815*2^1412818-1 is not prime. Res64: BBDC183C911C16D4 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:34:40] 827*2^1412818-1 is not prime. Res64: 2541749F2A6301F1 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:34:41] 933*2^1412818-1 is not prime. Res64: 9F850303B90E5F32 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:35:18] 987*2^1412818-1 is not prime. Res64: 05DB862A9E44F0B6 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:35:18] 643*2^1412819-1 is not prime. Res64: 69335F4577B85AC5 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:37:29] 645*2^1412819-1 is not prime. Res64: 2B6F3B1F73F1E6CC Time : 0.0 sec. user=mdettweiler [2015-10-21 09:37:30] 675*2^1412819-1 is not prime. Res64: 5AECC1F30E3EFD35 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:46:45] 811*2^1412819-1 is not prime. Res64: E8F332A462722071 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:46:46] 889*2^1412819-1 is not prime. Res64: 07B1F393FFF16F29 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:52:28] 999*2^1412819-1 is not prime. Res64: B65408EB0692502C Time : 0.0 sec. user=mdettweiler [2015-10-21 09:52:28] 693*2^1412820-1 is not prime. Res64: 5A072A4E1A3241F1 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:53:08] 695*2^1412820-1 is not prime. Res64: 63222DF8F78B0513 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:53:09] 699*2^1412820-1 is not prime. Res64: F4553BD53E576646 Time : 0.0 sec. user=mdettweiler [2015-10-21 09:55:23] 803*2^1412820-1 is not prime. Res64: 3D07BE186028022F Time : 0.0 sec. user=mdettweiler [2015-10-21 09:55:23] 927*2^1412820-1 is not prime. Res64: DDBB7A40DA755AAC Time : 0.0 sec. user=mdettweiler [2015-10-21 10:04:33] 959*2^1412820-1 is not prime. Res64: 3D1B871643EB107D Time : 0.0 sec. user=mdettweiler [2015-10-21 10:04:35] 987*2^1412820-1 is not prime. Res64: DFF4321F0AF50608 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:10:19] 609*2^1412821-1 is not prime. Res64: 611F30BD7DC3D9B2 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:10:19] 619*2^1412821-1 is not prime. Res64: 5E72100BD3CEBD28 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:10:50] 687*2^1412821-1 is not prime. Res64: 4C7C7F7E22877AB0 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:10:50] 691*2^1412821-1 is not prime. Res64: BECD041A2B6D2EE4 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:13:06] 775*2^1412821-1 is not prime. Res64: F41554135D5A0D73 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:13:07] 835*2^1412821-1 is not prime. Res64: 198B9CEE8596BE2B Time : 0.0 sec. user=mdettweiler [2015-10-21 10:22:43] 859*2^1412821-1 is not prime. Res64: 3B8EFE568C4D4C98 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:22:43] 871*2^1412821-1 is not prime. Res64: CBD66D016952ECD8 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:28:09] 955*2^1412821-1 is not prime. Res64: 839B99462850E87C Time : 0.0 sec. user=mdettweiler [2015-10-21 10:28:10] 753*2^1412822-1 is not prime. Res64: 4D2D69F4C7BC53FB Time : 0.0 sec. user=mdettweiler [2015-10-21 10:28:44] 755*2^1412822-1 is not prime. Res64: 3FD499DDA48E54D7 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:28:44] 897*2^1412822-1 is not prime. Res64: CBF8072F53B214D5 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:30:59] 963*2^1412822-1 is not prime. Res64: 8DB399C2BF6FF34E Time : 0.0 sec. user=mdettweiler [2015-10-21 10:31:00] 983*2^1412822-1 is not prime. Res64: D4943E5EE5120820 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:40:44] 691*2^1412823-1 is not prime. Res64: F9BCEAF8B861570D Time : 0.0 sec. user=mdettweiler [2015-10-21 10:40:44] 693*2^1412823-1 is not prime. Res64: D462FC6CA1020153 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:46:04] 703*2^1412823-1 is not prime. Res64: A3F7115298AB4C7D Time : 0.0 sec. user=mdettweiler [2015-10-21 10:46:05] 735*2^1412823-1 is not prime. Res64: 0C658A29C36F7DE8 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:46:39] 775*2^1412823-1 is not prime. Res64: A95D7E0C09F50D91 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:46:40] 781*2^1412823-1 is not prime. Res64: A6BA74B724AF9B71 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:48:52] 873*2^1412823-1 is not prime. Res64: 66AAE304535CE0A4 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:48:52] 879*2^1412823-1 is not prime. Res64: A9F4421712B6A970 Time : 0.0 sec. user=mdettweiler [2015-10-21 10:58:29] 885*2^1412823-1 is not prime. Res64: 6FA79CCAFE292FFE Time : 0.0 sec. user=mdettweiler [2015-10-21 10:58:29] 949*2^1412823-1 is not prime. Res64: A5F5D7EC0700006E Time : 0.0 sec. user=mdettweiler [2015-10-21 11:03:50] 951*2^1412823-1 is not prime. Res64: 9053E116B65CF0E7 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:03:51] 657*2^1412824-1 is not prime. Res64: 48A9E04D5E5AB33E Time : 0.0 sec. user=mdettweiler [2015-10-21 11:04:29] 719*2^1412824-1 is not prime. Res64: B881C07462A09539 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:04:30] 743*2^1412824-1 is not prime. Res64: D407624060B9098C Time : 0.0 sec. user=mdettweiler [2015-10-21 11:06:37] 855*2^1412824-1 is not prime. Res64: 82F8A95F1D426852 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:06:38] 909*2^1412824-1 is not prime. Res64: B88578143EDCCCEC Time : 0.0 sec. user=mdettweiler [2015-10-21 11:16:20] 619*2^1412825-1 is not prime. Res64: F4ECFC4962407DC4 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:16:20] 691*2^1412825-1 is not prime. Res64: CCE66EE977D39E42 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:21:43] 717*2^1412825-1 is not prime. Res64: 6B44B400D3A46685 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:21:43] 805*2^1412825-1 is not prime. Res64: D51F64C7A98B2F94 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:22:27] 951*2^1412825-1 is not prime. Res64: EA6F8C22F22DD71F Time : 0.0 sec. user=mdettweiler [2015-10-21 11:22:27] 735*2^1412826-1 is not prime. Res64: 48E7DBB02DC7B0D1 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:24:27] 755*2^1412826-1 is not prime. Res64: 6CD85813A6FC18D6 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:24:27] 941*2^1412826-1 is not prime. Res64: 2F2CC7BC5C38DD66 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:34:08] 1001*2^1412826-1 is not prime. Res64: 44FB12FDD4D61798 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:34:08] 685*2^1412827-1 is not prime. Res64: 916184D6E4EE9CD4 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:39:28] 703*2^1412827-1 is not prime. Res64: 6D9D1BCC98F67514 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:39:28] 849*2^1412827-1 is not prime. Res64: FF155B71B3DE3743 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:40:11] 885*2^1412827-1 is not prime. Res64: 33087535E8664A3A Time : 0.0 sec. user=mdettweiler [2015-10-21 11:40:11] 749*2^1412828-1 is not prime. Res64: 713E254A80759563 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:42:13] 959*2^1412828-1 is not prime. Res64: 9EEB1731407A8DE8 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:42:13] 609*2^1412829-1 is not prime. Res64: E5ADB234E18BF243 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:51:57] 621*2^1412829-1 is not prime. Res64: E3A22DA350A02EFE Time : 0.0 sec. user=mdettweiler [2015-10-21 11:51:58] 625*2^1412829-1 is not prime. Res64: 7F7CB3881069434C Time : 0.0 sec. user=mdettweiler [2015-10-21 11:57:13] 657*2^1412829-1 is not prime. Res64: 760D7D1CE9ED371A Time : 0.0 sec. user=mdettweiler [2015-10-21 11:57:13] 741*2^1412829-1 is not prime. Res64: A7FEA1260E266A95 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:57:57] 847*2^1412829-1 is not prime. Res64: E9E972E108F42518 Time : 0.0 sec. user=mdettweiler [2015-10-21 11:57:57] 865*2^1412829-1 is not prime. Res64: 50298BD1B558E79B Time : 0.0 sec. user=mdettweiler [2015-10-21 12:00:00] 961*2^1412829-1 is not prime. Res64: 7B937AB3AC16FDB2 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:00:00] 999*2^1412829-1 is not prime. Res64: 87E1C1A9BB85C0C8 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:09:43] 663*2^1412830-1 is not prime. Res64: 6A6A34A5050749D3 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:09:44] 681*2^1412830-1 is not prime. Res64: F01B29C1C49DD65E Time : 0.0 sec. user=mdettweiler [2015-10-21 12:15:01] 785*2^1412830-1 is not prime. Res64: A3B0EAAE69B2FCA9 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:15:02] 801*2^1412830-1 is not prime. Res64: 4A8BE2895DCDC2FA Time : 0.0 sec. user=mdettweiler [2015-10-21 12:15:42] 843*2^1412830-1 is not prime. Res64: 944882028C32E3D7 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:15:43] 897*2^1412830-1 is not prime. Res64: 02FB71E99108298E Time : 0.0 sec. user=mdettweiler [2015-10-21 12:17:47] 923*2^1412830-1 is not prime. Res64: B35FDAF55B27D5CE Time : 0.0 sec. user=mdettweiler [2015-10-21 12:17:48] 619*2^1412831-1 is not prime. Res64: AED5D28D7B6D954F Time : 0.0 sec. user=mdettweiler [2015-10-21 12:27:31] 885*2^1412831-1 is not prime. Res64: 8AEB5F36BEAF8311 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:27:31] 747*2^1412832-1 is not prime. Res64: CB89D12A1AFBE3D8 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:32:51] 809*2^1412832-1 is not prime. Res64: 5981E007F726E0E9 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:32:51] 825*2^1412832-1 is not prime. Res64: 3D12AF825B15C694 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:33:33] 857*2^1412832-1 is not prime. Res64: F6D076A44FB17C51 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:33:33] 903*2^1412832-1 is not prime. Res64: BCAB6BB42E1FE72F Time : 0.0 sec. user=mdettweiler [2015-10-21 12:35:39] 639*2^1412833-1 is not prime. Res64: B48989CBBCB0EF9E Time : 0.0 sec. user=mdettweiler [2015-10-21 12:35:39] 687*2^1412833-1 is not prime. Res64: EDD62DB6E0E52A86 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:45:36] 765*2^1412833-1 is not prime. Res64: 64FE51BE923B8A00 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:45:36] 771*2^1412833-1 is not prime. Res64: 4B3591B1D41A3FE5 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:50:43] 939*2^1412833-1 is not prime. Res64: F2257E147225CE70 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:50:44] 615*2^1412834-1 is not prime. Res64: 38109B6D3C2B009E Time : 0.0 sec. user=mdettweiler [2015-10-21 12:51:25] 641*2^1412834-1 is not prime. Res64: E3474CB04C837215 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:51:25] 705*2^1412834-1 is not prime. Res64: 0AB1244B3534BA74 Time : 0.0 sec. user=mdettweiler [2015-10-21 12:53:32] 815*2^1412834-1 is not prime. Res64: 72C67D7FF316EE6C Time : 0.0 sec. user=mdettweiler [2015-10-21 12:53:33] 873*2^1412834-1 is not prime. Res64: FFB855F314275DA6 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:03:29] 971*2^1412834-1 is not prime. Res64: 391287192671D8C2 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:03:30] 873*2^1412835-1 is not prime. Res64: 6C0238403E14A3C7 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:08:30] 963*2^1412835-1 is not prime. Res64: 0B4AB315D6F4B789 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:08:30] 843*2^1412836-1 is not prime. Res64: 5755F23FCDDCFF05 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:09:12] 857*2^1412836-1 is not prime. Res64: D24D50428E577B03 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:09:12] 735*2^1412837-1 is not prime. Res64: 9DD557760E4F6F06 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:11:16] 757*2^1412837-1 is not prime. Res64: 7C94529359A4C404 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:11:17] 771*2^1412837-1 is not prime. Res64: CE762901C92C5C0A Time : 0.0 sec. user=mdettweiler [2015-10-21 13:21:30] 795*2^1412837-1 is not prime. Res64: 8D0364E552CD6128 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:21:31] 831*2^1412837-1 is not prime. Res64: F29EA2235C134D15 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:26:29] 837*2^1412837-1 is not prime. Res64: BAD3C4AD86527F6A Time : 0.0 sec. user=mdettweiler [2015-10-21 13:26:30] 867*2^1412837-1 is not prime. Res64: 8192E2D0086DC1C0 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:26:56] 879*2^1412837-1 is not prime. Res64: D8AFC50C3C473610 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:26:57] 657*2^1412838-1 is not prime. Res64: 0E5E29C49C1470FB Time : 0.0 sec. user=mdettweiler [2015-10-21 13:28:58] 663*2^1412838-1 is not prime. Res64: 505D5A50ED588445 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:28:59] 893*2^1412838-1 is not prime. Res64: 10B6EB613B2F6C25 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:39:16] 619*2^1412839-1 is not prime. Res64: AB3BEFC4832DD986 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:39:16] 633*2^1412839-1 is not prime. Res64: C65526FE7E5DABB8 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:44:18] 661*2^1412839-1 is not prime. Res64: 6D8051E8C2471774 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:44:19] 859*2^1412839-1 is not prime. Res64: 18B9715A2DAEFEAC Time : 0.0 sec. user=mdettweiler [2015-10-21 13:44:59] 885*2^1412839-1 is not prime. Res64: 2D7DD9040F2ABDFB Time : 0.0 sec. user=mdettweiler [2015-10-21 13:44:59] 891*2^1412839-1 is not prime. Res64: 2D059B1E220FFBF9 Time : 0.0 sec. user=mdettweiler [2015-10-21 13:46:54] 975*2^1412839-1 is not prime. Res64: 59ED3F8223C66CEB Time : 0.0 sec. user=mdettweiler [2015-10-21 13:46:54] 719*2^1412840-1 is not prime. Res64: 974D0F296C648BD1 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:02:03] 759*2^1412840-1 is not prime. Res64: 0405C4AC26AB520B Time : 0.0 sec. user=mdettweiler [2015-10-21 14:02:04] 827*2^1412840-1 is not prime. Res64: EF246CC8F9AE3E2F Time : 0.0 sec. user=mdettweiler [2015-10-21 14:06:15] 857*2^1412840-1 is not prime. Res64: 60135E84B2FC8F05 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:06:16] 995*2^1412840-1 is not prime. Res64: BCB9A35ECC7119F6 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:06:51] 999*2^1412840-1 is not prime. Res64: 0585ED96476B3232 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:06:52] 637*2^1412841-1 is not prime. Res64: C8AACA0E9C9256A2 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:09:21] 657*2^1412841-1 is not prime. Res64: EEAD798BE0B80486 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:09:22] 661*2^1412841-1 is not prime. Res64: 9ECA0A82A2B8D3D0 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:24:22] 709*2^1412841-1 is not prime. Res64: 5689186EAD6DA454 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:24:23] 735*2^1412841-1 is not prime. Res64: 3EA8BD5EE6EB8801 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:28:29] 811*2^1412841-1 is not prime. Res64: B3B175C84D9364B0 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:28:29] 921*2^1412841-1 is not prime. Res64: 8585E2EE09F3F162 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:29:35] 713*2^1412842-1 is not prime. Res64: 03D1BC581E9E3AD9 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:29:35] 737*2^1412842-1 is not prime. Res64: 6D4C2B8FD7095938 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:32:09] 813*2^1412842-1 is not prime. Res64: 7E73B810A3CF78D0 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:32:09] 831*2^1412842-1 is not prime. Res64: 8854DD59A1943EE1 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:48:17] 887*2^1412842-1 is not prime. Res64: C253BD2BBA3ECB68 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:48:17] 923*2^1412842-1 is not prime. Res64: 2BF3CBC3B73E1D99 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:52:41] 947*2^1412842-1 is not prime. Res64: 88EBC0277E3DF2A4 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:52:41] 951*2^1412842-1 is not prime. Res64: A1526F979158B3D1 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:54:22] 987*2^1412842-1 is not prime. Res64: 6F5C5C64D4B0EAFB Time : 0.0 sec. user=mdettweiler [2015-10-21 14:54:22] 663*2^1412843-1 is not prime. Res64: 1F503506A14B9719 Time : 0.0 sec. user=mdettweiler [2015-10-21 14:56:38] 685*2^1412843-1 is not prime. Res64: 9CDD4BD6DE3EDCCF Time : 0.0 sec. user=mdettweiler [2015-10-21 14:56:39] 699*2^1412843-1 is not prime. Res64: 23C5405D43D2B584 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:08:48] 825*2^1412843-1 is not prime. Res64: 8E1805FFD4070478 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:08:50] 885*2^1412843-1 is not prime. Res64: 6833EC3AD8148670 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:11:44] 981*2^1412843-1 is not prime. Res64: 70090899F1F271DF Time : 0.0 sec. user=mdettweiler [2015-10-21 15:11:44] 737*2^1412844-1 is not prime. Res64: DA256A7D551DF889 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:13:45] 765*2^1412844-1 is not prime. Res64: 6D14DAA37C5E4EA8 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:13:45] 825*2^1412844-1 is not prime. Res64: 95E69BDF1E3D753E Time : 0.0 sec. user=mdettweiler [2015-10-21 15:15:43] 863*2^1412844-1 is not prime. Res64: 5D2AB412B960807F Time : 0.0 sec. user=mdettweiler [2015-10-21 15:15:44] 915*2^1412844-1 is not prime. Res64: 156DCAE9B10EDA5E Time : 0.0 sec. user=mdettweiler [2015-10-21 15:26:58] 965*2^1412844-1 is not prime. Res64: A981BD474E264CB6 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:26:59] 625*2^1412845-1 is not prime. Res64: 93998354F03857E1 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:29:33] 715*2^1412845-1 is not prime. Res64: 1C4224D76AE4EED2 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:29:34] 759*2^1412845-1 is not prime. Res64: DCD99277ED8C45A1 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:31:41] 861*2^1412845-1 is not prime. Res64: 7DF03151061ED6BB Time : 0.0 sec. user=mdettweiler [2015-10-21 15:31:41] 871*2^1412845-1 is not prime. Res64: AF8B1695686BE77C Time : 0.0 sec. user=mdettweiler [2015-10-21 15:33:33] 999*2^1412845-1 is not prime. Res64: 39FDF92E7B6AF4E8 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:33:34] 635*2^1412846-1 is not prime. Res64: 97F25D49E5A71EFF Time : 0.0 sec. user=mdettweiler [2015-10-21 15:44:46] 641*2^1412846-1 is not prime. Res64: 87ADB6B8DDA58456 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:44:46] 671*2^1412846-1 is not prime. Res64: C0242FDEF5E71211 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:47:14] 711*2^1412846-1 is not prime. Res64: 275A799EF5E6FBDF Time : 0.0 sec. user=mdettweiler [2015-10-21 15:47:14] 831*2^1412846-1 is not prime. Res64: 5CE33EBA7DB1EA43 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:49:25] 601*2^1412847-1 is not prime. Res64: 43F575A5FCCD31A4 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:49:25] 649*2^1412847-1 is not prime. Res64: A59B3EF12DECED37 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:51:17] 765*2^1412847-1 is not prime. Res64: 808EBAC8B4D0A454 Time : 0.0 sec. user=mdettweiler [2015-10-21 15:51:17] 825*2^1412847-1 is not prime. Res64: 34265568E9C96A6F Time : 0.0 sec. user=mdettweiler [2015-10-21 16:02:37] 831*2^1412847-1 is not prime. Res64: 993E5929298B9729 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:02:38] 865*2^1412847-1 is not prime. Res64: 0D7078725F68B435 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:04:58] 871*2^1412847-1 is not prime. Res64: 6ECEF82EA0212609 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:04:59] 973*2^1412847-1 is not prime. Res64: F1DB86F9D185058B Time : 0.0 sec. user=mdettweiler [2015-10-21 16:07:07] 699*2^1412848-1 is not prime. Res64: 7EC2D60FDCF84EBD Time : 0.0 sec. user=mdettweiler [2015-10-21 16:07:08] 705*2^1412848-1 is not prime. Res64: FD94927B2507202F Time : 0.0 sec. user=mdettweiler [2015-10-21 16:09:11] 875*2^1412848-1 is not prime. Res64: 5754AE9815A0D1BE Time : 0.0 sec. user=mdettweiler [2015-10-21 16:09:12] 711*2^1412849-1 is not prime. Res64: 9D794068905E5663 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:20:31] 747*2^1412849-1 is not prime. Res64: 96F15A43B3184CB5 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:20:32] 955*2^1412849-1 is not prime. Res64: F566B7E38E9BA4C5 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:22:56] 627*2^1412850-1 is not prime. Res64: BB9073DE76330A15 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:22:57] 773*2^1412850-1 is not prime. Res64: C27AE1A42372CC4E Time : 0.0 sec. user=mdettweiler [2015-10-21 16:25:14] 791*2^1412850-1 is not prime. Res64: 83793FED86380E22 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:25:14] 921*2^1412850-1 is not prime. Res64: D514A712D1BD6A2E Time : 0.0 sec. user=mdettweiler [2015-10-21 16:27:13] 951*2^1412850-1 is not prime. Res64: 4660A741CE53FCAA Time : 0.0 sec. user=mdettweiler [2015-10-21 16:27:14] 601*2^1412851-1 is not prime. Res64: EBF16F80F4099731 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:38:53] 741*2^1412851-1 is not prime. Res64: 1B7CEE005D10CD57 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:38:54] 751*2^1412851-1 is not prime. Res64: 6E4276737016FA8D Time : 0.0 sec. user=mdettweiler [2015-10-21 16:41:08] 759*2^1412851-1 is not prime. Res64: B8AF5EFC5E0D4BEB Time : 0.0 sec. user=mdettweiler [2015-10-21 16:41:08] 813*2^1412851-1 is not prime. Res64: F04404A31FFA3242 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:43:27] 939*2^1412851-1 is not prime. Res64: 3694B668F35B344A Time : 0.0 sec. user=mdettweiler [2015-10-21 16:43:27] 961*2^1412851-1 is not prime. Res64: 973FCCDD95698EF2 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:45:29] 767*2^1412852-1 is not prime. Res64: EE4B0858734797F2 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:45:30] 785*2^1412852-1 is not prime. Res64: 3ADB3258ADFAE33D Time : 0.0 sec. user=mdettweiler [2015-10-21 16:57:10] 873*2^1412852-1 is not prime. Res64: F48B91EC73A1451D Time : 0.0 sec. user=mdettweiler [2015-10-21 16:57:11] 945*2^1412852-1 is not prime. Res64: AFB34E9D8257ECFD Time : 0.0 sec. user=mdettweiler [2015-10-21 16:59:00] 995*2^1412852-1 is not prime. Res64: 2A9B0D2EE0116927 Time : 0.0 sec. user=mdettweiler [2015-10-21 16:59:01] 721*2^1412853-1 is not prime. Res64: 038E9C9CE58E62C8 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:01:14] 759*2^1412853-1 is not prime. Res64: 7B7D41EBF5A2F287 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:01:15] 979*2^1412853-1 is not prime. Res64: 0399A224CBC731DA Time : 0.0 sec. user=mdettweiler [2015-10-21 17:03:21] 999*2^1412853-1 is not prime. Res64: D86199B4C787241F Time : 0.0 sec. user=mdettweiler [2015-10-21 17:03:23] 605*2^1412854-1 is not prime. Res64: 1933E4CA27EEB4B6 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:14:54] 611*2^1412854-1 is not prime. Res64: C4E27F3E35670043 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:14:54] 677*2^1412854-1 is not prime. Res64: B4000DB7009C956A Time : 0.0 sec. user=mdettweiler [2015-10-21 17:16:43] 731*2^1412854-1 is not prime. Res64: 1887CD98CA69AEAC Time : 0.0 sec. user=mdettweiler [2015-10-21 17:16:44] 737*2^1412854-1 is not prime. Res64: 1882AD08DF953490 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:19:05] 741*2^1412854-1 is not prime. Res64: 56EC698BA24FC648 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:19:06] 825*2^1412854-1 is not prime. Res64: FE1EEA5C2D19BBD5 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:21:06] 951*2^1412854-1 is not prime. Res64: 13515CEF962A857E Time : 0.0 sec. user=mdettweiler [2015-10-21 17:21:06] 965*2^1412854-1 is not prime. Res64: 02843305735EC67A Time : 0.0 sec. user=mdettweiler [2015-10-21 17:32:39] 975*2^1412854-1 is not prime. Res64: B0F7056B69E69AD4 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:32:39] 643*2^1412855-1 is not prime. Res64: 4E4C7F725BF79A8D Time : 0.0 sec. user=mdettweiler [2015-10-21 17:34:29] 663*2^1412855-1 is not prime. Res64: 5AD10E6C8896874D Time : 0.0 sec. user=mdettweiler [2015-10-21 17:34:29] 739*2^1412855-1 is not prime. Res64: 3D619A216EB9220C Time : 0.0 sec. user=mdettweiler [2015-10-21 17:36:49] 825*2^1412855-1 is not prime. Res64: 07B08685F158BEDA Time : 0.0 sec. user=mdettweiler [2015-10-21 17:36:49] 963*2^1412855-1 is not prime. Res64: 0541CF90E9CB84DA Time : 0.0 sec. user=mdettweiler [2015-10-21 17:38:47] 635*2^1412856-1 is not prime. Res64: 7A84FB6DBA23F189 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:38:47] 899*2^1412856-1 is not prime. Res64: E6524255302DD5EE Time : 0.0 sec. user=mdettweiler [2015-10-21 17:50:22] 909*2^1412856-1 is not prime. Res64: D8418957B281FF90 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:50:22] 917*2^1412856-1 is not prime. Res64: 46C5D42B980F1DAD Time : 0.0 sec. user=mdettweiler [2015-10-21 17:52:06] 975*2^1412856-1 is not prime. Res64: 84200D5383C1EA4F Time : 0.0 sec. user=mdettweiler [2015-10-21 17:52:06] 993*2^1412856-1 is not prime. Res64: CE9472E4D633B013 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:54:28] 835*2^1412857-1 is not prime. Res64: B7A939C5F7D8D443 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:54:29] 861*2^1412857-1 is not prime. Res64: 8E92425FA8990CD7 Time : 0.0 sec. user=mdettweiler [2015-10-21 17:56:31] 895*2^1412857-1 is not prime. Res64: 815DE73CEF7FAAAA Time : 0.0 sec. user=mdettweiler [2015-10-21 17:56:31] 931*2^1412857-1 is not prime. Res64: 792FB0EDE6015A33 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:08:26] 945*2^1412857-1 is not prime. Res64: 469CC669FC1BE733 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:08:26] 605*2^1412858-1 is not prime. Res64: 8B681F03E5525B4B Time : 0.0 sec. user=mdettweiler [2015-10-21 18:10:23] 623*2^1412858-1 is not prime. Res64: 014D2FDA849FA9F2 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:10:23] 635*2^1412858-1 is not prime. Res64: 5DCCCC902D67625D Time : 0.0 sec. user=mdettweiler [2015-10-21 18:12:38] 641*2^1412858-1 is not prime. Res64: 04B48E07449F6B5E Time : 0.0 sec. user=mdettweiler [2015-10-21 18:12:38] 711*2^1412858-1 is not prime. Res64: F4703B6D5B97D1F8 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:15:29] 743*2^1412858-1 is not prime. Res64: 28C9FBB4DF556E42 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:15:29] 945*2^1412858-1 is not prime. Res64: D0D211F597FC4E80 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:28:00] 957*2^1412858-1 is not prime. Res64: D20450FFBB715312 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:28:01] 971*2^1412858-1 is not prime. Res64: 3435819025FF5C2D Time : 0.0 sec. user=mdettweiler [2015-10-21 18:29:36] 633*2^1412859-1 is not prime. Res64: 54FDC3ECF4CAFF74 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:29:36] 703*2^1412859-1 is not prime. Res64: 9C54BDFF554AF252 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:31:52] 843*2^1412859-1 is not prime. Res64: 35F5F35D9AB0952B Time : 0.0 sec. user=mdettweiler [2015-10-21 18:31:52] 895*2^1412859-1 is not prime. Res64: 31F33689EE212368 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:33:59] 955*2^1412859-1 is not prime. Res64: 66FA28645D46E1F1 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:33:59] 973*2^1412859-1 is not prime. Res64: 949CA5A0B1521494 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:45:50] 999*2^1412859-1 is not prime. Res64: 6CF02BC3EE9CDA17 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:45:50] 635*2^1412860-1 is not prime. Res64: 2E41A153E6D3C25B Time : 0.0 sec. user=mdettweiler [2015-10-21 18:47:25] 897*2^1412860-1 is not prime. Res64: 42960218E8A36CAA Time : 0.0 sec. user=mdettweiler [2015-10-21 18:47:26] 929*2^1412860-1 is not prime. Res64: 6BBBE0679FF27BBF Time : 0.0 sec. user=mdettweiler [2015-10-21 18:49:41] 939*2^1412860-1 is not prime. Res64: 9BCEE93EA5AC4E46 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:49:42] 987*2^1412860-1 is not prime. Res64: 8993ECACF445CB10 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:51:45] 999*2^1412860-1 is not prime. Res64: 1A3345731A574551 Time : 0.0 sec. user=mdettweiler [2015-10-21 18:51:45] 601*2^1412861-1 is not prime. Res64: DE7A6EC9885C3269 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:03:43] 631*2^1412861-1 is not prime. Res64: BADC57E0A4A929B5 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:03:45] 679*2^1412861-1 is not prime. Res64: D7DE8287EACA0FC8 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:05:27] 697*2^1412861-1 is not prime. Res64: B5307AC5D57817F6 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:05:29] 711*2^1412861-1 is not prime. Res64: 579EB7EC22FDDFDC Time : 0.0 sec. user=mdettweiler [2015-10-21 19:07:52] 747*2^1412861-1 is not prime. Res64: 82E2A140001696EA Time : 0.0 sec. user=mdettweiler [2015-10-21 19:07:53] 757*2^1412861-1 is not prime. Res64: F6A4F1A15265D6C4 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:10:11] 829*2^1412861-1 is not prime. Res64: 6DA2304A16DB9B56 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:10:13] 871*2^1412861-1 is not prime. Res64: 601420C76A9C5526 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:23:40] 949*2^1412861-1 is not prime. Res64: 7C5C000F780325DF Time : 0.0 sec. user=mdettweiler [2015-10-21 19:23:40] 723*2^1412862-1 is not prime. Res64: 9564DD4CD9C30DB3 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:25:03] 867*2^1412862-1 is not prime. Res64: 4E6668646D0E3ECB Time : 0.0 sec. user=mdettweiler [2015-10-21 19:25:04] 947*2^1412862-1 is not prime. Res64: C4B762B0C97EA37F Time : 0.0 sec. user=mdettweiler [2015-10-21 19:27:49] 603*2^1412863-1 is not prime. Res64: CFF37908B67FA07E Time : 0.0 sec. user=mdettweiler [2015-10-21 19:27:50] 675*2^1412863-1 is not prime. Res64: 90501AFB2D863416 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:29:59] 769*2^1412863-1 is not prime. Res64: 1345ECEE63B2B6EE Time : 0.0 sec. user=mdettweiler [2015-10-21 19:30:00] 793*2^1412863-1 is not prime. Res64: 4489285AFAE37522 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:42:57] 933*2^1412863-1 is not prime. Res64: CF06EF7655179A30 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:42:58] 945*2^1412863-1 is not prime. Res64: 76E1E6AC88D6AE19 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:44:28] 609*2^1412864-1 is not prime. Res64: 499B4E2A6F19A569 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:44:29] 635*2^1412864-1 is not prime. Res64: 097622B5BE40B57D Time : 0.0 sec. user=mdettweiler [2015-10-21 19:47:09] 683*2^1412864-1 is not prime. Res64: BC0E3B1F0FE62F4D Time : 0.0 sec. user=mdettweiler [2015-10-21 19:47:10] 825*2^1412864-1 is not prime. Res64: B9281A10EC0C4DDE Time : 0.0 sec. user=mdettweiler [2015-10-21 19:49:24] 827*2^1412864-1 is not prime. Res64: 4AD6EB87B68789E8 Time : 0.0 sec. user=mdettweiler [2015-10-21 19:49:25] 873*2^1412864-1 is not prime. Res64: 0CDEAE29E70F805A Time : 0.0 sec. user=mdettweiler [2015-10-21 20:02:40] 909*2^1412864-1 is not prime. Res64: DB93F6455230844C Time : 0.0 sec. user=mdettweiler [2015-10-21 20:02:42] 927*2^1412864-1 is not prime. Res64: 5E7FD5D7F81AC68E Time : 0.0 sec. user=mdettweiler [2015-10-21 20:03:55] 657*2^1412865-1 is not prime. Res64: 2BCA545F4DC44A32 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:03:56] 675*2^1412865-1 is not prime. Res64: 46CBD0A1FA35054E Time : 0.0 sec. user=mdettweiler [2015-10-21 20:06:30] 705*2^1412865-1 is not prime. Res64: 425AA70749F2BE14 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:06:31] 711*2^1412865-1 is not prime. Res64: 80A27E41822BC87C Time : 0.0 sec. user=mdettweiler [2015-10-21 20:08:39] 735*2^1412865-1 is not prime. Res64: B11F23BAF62DCD88 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:08:40] 811*2^1412865-1 is not prime. Res64: 6B15635D3021C1C1 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:22:32] 837*2^1412865-1 is not prime. Res64: FA9DBF96A66E1B7F Time : 0.0 sec. user=mdettweiler [2015-10-21 20:22:33] 985*2^1412865-1 is not prime. Res64: 9795224087B02D39 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:23:29] 651*2^1412866-1 is not prime. Res64: 0714EC5226BEF6E8 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:23:29] 663*2^1412866-1 is not prime. Res64: 483E7617A7A8268C Time : 0.0 sec. user=mdettweiler [2015-10-21 20:26:18] 755*2^1412866-1 is not prime. Res64: 6A5A8213309E22D9 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:26:19] 783*2^1412866-1 is not prime. Res64: E64BCA935FEE67B0 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:28:22] 821*2^1412866-1 is not prime. Res64: 3CB5007BE2877654 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:28:23] 857*2^1412866-1 is not prime. Res64: B068C65DDBC24014 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:42:06] 923*2^1412866-1 is not prime. Res64: C4308564EE783699 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:42:07] 957*2^1412866-1 is not prime. Res64: 5141C68E6B341A11 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:42:49] 615*2^1412867-1 is not prime. Res64: 11C399F9A84CE467 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:42:51] 733*2^1412867-1 is not prime. Res64: BED8E781F9CA5310 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:45:44] 801*2^1412867-1 is not prime. Res64: 6CDD6A5DB20969DA Time : 0.0 sec. user=mdettweiler [2015-10-21 20:45:45] 819*2^1412867-1 is not prime. Res64: 4877FE0FD4A0CF89 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:47:44] 861*2^1412867-1 is not prime. Res64: 2AB834981EE78D60 Time : 0.0 sec. user=mdettweiler [2015-10-21 20:47:44] 949*2^1412867-1 is not prime. Res64: 62CFFAD31EA9AFE9 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:00:23] 973*2^1412867-1 is not prime. Res64: 01584C907180073D Time : 0.0 sec. user=mdettweiler [2015-10-21 21:00:24] 695*2^1412868-1 is not prime. Res64: 9AF498420976727E Time : 0.0 sec. user=mdettweiler [2015-10-21 21:01:01] 765*2^1412868-1 is not prime. Res64: AE3ED1E3353DBC6B Time : 0.0 sec. user=mdettweiler [2015-10-21 21:01:02] 789*2^1412868-1 is not prime. Res64: 24C14D9E6E117D77 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:03:44] 845*2^1412868-1 is not prime. Res64: D8E2768EF5649A74 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:03:46] 915*2^1412868-1 is not prime. Res64: 16964DDC726AD476 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:05:39] 987*2^1412868-1 is not prime. Res64: ED90BE993DAFD201 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:05:41] 609*2^1412869-1 is not prime. Res64: 58C0A4CE81424F3C Time : 0.0 sec. user=mdettweiler [2015-10-21 21:18:27] 931*2^1412869-1 is not prime. Res64: 4CE22FC0CE0F6595 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:18:28] 663*2^1412870-1 is not prime. Res64: E4CD3C1527ADA125 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:19:00] 717*2^1412870-1 is not prime. Res64: 35CDC4101638899C Time : 0.0 sec. user=mdettweiler [2015-10-21 21:19:01] 753*2^1412870-1 is not prime. Res64: ACEC29CFE61FBD9B Time : 0.0 sec. user=mdettweiler [2015-10-21 21:22:11] 827*2^1412870-1 is not prime. Res64: 8D2D786F42F5ACC4 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:22:12] 845*2^1412870-1 is not prime. Res64: 991726399AAB1D7B Time : 0.0 sec. user=mdettweiler [2015-10-21 21:23:33] 917*2^1412870-1 is not prime. Res64: B6BC309038D3B72F Time : 0.0 sec. user=mdettweiler [2015-10-21 21:23:34] 651*2^1412871-1 is not prime. Res64: BD71119D8F41430B Time : 0.0 sec. user=mdettweiler [2015-10-21 21:36:20] 669*2^1412871-1 is not prime. Res64: CB88363DB326D2AB Time : 0.0 sec. user=mdettweiler [2015-10-21 21:36:21] 703*2^1412871-1 is not prime. Res64: 7D00628B98E511B7 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:36:47] 735*2^1412871-1 is not prime. Res64: C68CA78F7D2AA8AF Time : 0.0 sec. user=mdettweiler [2015-10-21 21:36:48] 739*2^1412871-1 is not prime. Res64: 87C300E5281D66E4 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:40:05] 829*2^1412871-1 is not prime. Res64: 275BC1C44F7B4908 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:40:06] 885*2^1412871-1 is not prime. Res64: 06A792FD61E69B1E Time : 0.0 sec. user=mdettweiler [2015-10-21 21:41:22] 891*2^1412871-1 is not prime. Res64: F19BDF84F55ABE40 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:41:23] 955*2^1412871-1 is not prime. Res64: 30056989339654DD Time : 0.0 sec. user=mdettweiler [2015-10-21 21:54:15] 961*2^1412871-1 is not prime. Res64: EB100BD63B1D1883 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:54:16] 999*2^1412871-1 is not prime. Res64: F4E9C624AF00A615 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:54:35] 635*2^1412872-1 is not prime. Res64: C64A8DF6099A7EDA Time : 0.0 sec. user=mdettweiler [2015-10-21 21:54:35] 675*2^1412872-1 is not prime. Res64: 52292AAE06DDBDE6 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:57:57] 689*2^1412872-1 is not prime. Res64: 0FA4B4423050B82C Time : 0.0 sec. user=mdettweiler [2015-10-21 21:57:58] 833*2^1412872-1 is not prime. Res64: F247026B2B1BD17E Time : 0.0 sec. user=mdettweiler [2015-10-21 21:59:16] 849*2^1412872-1 is not prime. Res64: 05B4DC7A8B3F95B2 Time : 0.0 sec. user=mdettweiler [2015-10-21 21:59:17] 863*2^1412872-1 is not prime. Res64: 881F597E554E03A9 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:12:17] 875*2^1412872-1 is not prime. Res64: AF1360EFE911EC56 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:12:18] 847*2^1412873-1 is not prime. Res64: 8AFFFFA626181740 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:12:34] 861*2^1412873-1 is not prime. Res64: 7BA07FEAB8BE9111 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:12:35] 867*2^1412873-1 is not prime. Res64: FCB8B58617D061D2 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:15:52] 981*2^1412873-1 is not prime. Res64: 0995E2EB52EDE345 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:15:53] 985*2^1412873-1 is not prime. Res64: A9C042CDBBCB2853 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:17:24] 621*2^1412874-1 is not prime. Res64: 8E52CC15FF4FB3CF Time : 0.0 sec. user=mdettweiler [2015-10-21 22:17:25] 635*2^1412874-1 is not prime. Res64: 17CB9389F515E227 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:30:32] 657*2^1412874-1 is not prime. Res64: 42CE8DCA55BB4C0B Time : 0.0 sec. user=mdettweiler [2015-10-21 22:30:33] 683*2^1412874-1 is not prime. Res64: 23DC73B91DA37E55 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:30:37] 707*2^1412874-1 is not prime. Res64: B5A59885CCF8297B Time : 0.0 sec. user=mdettweiler [2015-10-21 22:30:38] 765*2^1412874-1 is not prime. Res64: 6990ED8A58337D0E Time : 0.0 sec. user=mdettweiler [2015-10-21 22:34:01] 821*2^1412874-1 is not prime. Res64: E16A9A2242219359 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:34:02] 861*2^1412874-1 is not prime. Res64: 10D47B06190B3F4B Time : 0.0 sec. user=mdettweiler [2015-10-21 22:35:33] 903*2^1412874-1 is not prime. Res64: C581FA26F97D8D49 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:35:34] 625*2^1412875-1 is not prime. Res64: D1A4EA0A164C0B3A Time : 0.0 sec. user=mdettweiler [2015-10-21 22:48:32] 783*2^1412875-1 is not prime. Res64: 94092849CF57F49A Time : 0.0 sec. user=mdettweiler [2015-10-21 22:48:32] 651*2^1412875-1 is not prime. Res64: CEA6F528C450DF7B Time : 0.0 sec. user=mdettweiler [2015-10-21 22:48:33] 723*2^1412875-1 is not prime. Res64: 5B1D620630983BB5 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:48:33] 891*2^1412875-1 is not prime. Res64: 7E37196F60CB8A38 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:51:56] 895*2^1412875-1 is not prime. Res64: 4FB894DFF37DBF7D Time : 0.0 sec. user=mdettweiler [2015-10-21 22:51:56] 925*2^1412875-1 is not prime. Res64: 5C1A49BE89FCE9F3 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:53:33] 869*2^1412876-1 is not prime. Res64: 12AAB09772266AC0 Time : 0.0 sec. user=mdettweiler [2015-10-21 22:53:34] 987*2^1412876-1 is not prime. Res64: EDC9C726F31062BC Time : 0.0 sec. user=mdettweiler [2015-10-21 23:06:22] 727*2^1412877-1 is not prime. Res64: 5140F0AE35E463EC Time : 0.0 sec. user=mdettweiler [2015-10-21 23:06:23] 765*2^1412877-1 is not prime. Res64: F96DF108101E2C1E Time : 0.0 sec. user=mdettweiler [2015-10-21 23:06:27] 999*2^1412876-1 is not prime. Res64: 40BEC936E3F9DFBA Time : 0.0 sec. user=mdettweiler [2015-10-21 23:06:29] 661*2^1412877-1 is not prime. Res64: CC1AF7D1D5585D8B Time : 0.0 sec. user=mdettweiler [2015-10-21 23:09:52] 777*2^1412877-1 is not prime. Res64: 4D7519D15E15B20D Time : 0.0 sec. user=mdettweiler [2015-10-21 23:09:52] 865*2^1412877-1 is not prime. Res64: B38F2340DC3DA464 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:11:24] 871*2^1412877-1 is not prime. Res64: 15ED1E7D19ABA133 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:11:25] 605*2^1412878-1 is not prime. Res64: 3942F982F72DDE9C Time : 0.0 sec. user=mdettweiler [2015-10-21 23:24:19] 705*2^1412878-1 is not prime. Res64: D70BA70956C1BF95 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:24:20] 707*2^1412878-1 is not prime. Res64: FB45B06FEACC31E7 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:24:20] 833*2^1412878-1 is not prime. Res64: 5801B04268BE2466 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:24:21] 951*2^1412878-1 is not prime. Res64: 816263800E9A8F15 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:27:39] 957*2^1412878-1 is not prime. Res64: F9E489D938EE2E55 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:27:40] 615*2^1412879-1 is not prime. Res64: A1CD0A5A9F361AE3 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:29:23] 741*2^1412879-1 is not prime. Res64: D8A3B634E9DA57BF Time : 0.0 sec. user=mdettweiler [2015-10-21 23:29:24] 841*2^1412879-1 is not prime. Res64: E816E8629B5267DA Time : 0.0 sec. user=mdettweiler [2015-10-21 23:42:16] 859*2^1412879-1 is not prime. Res64: B69E5FC9301F82BB Time : 0.0 sec. user=mdettweiler [2015-10-21 23:42:16] 985*2^1412879-1 is not prime. Res64: A0F0985C6450A213 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:42:17] 979*2^1412879-1 is not prime. Res64: 85AC12D344E0A599 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:42:17] 615*2^1412880-1 is not prime. Res64: B8644D0AF20699C6 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:45:28] 713*2^1412880-1 is not prime. Res64: 2EAF7268596F7EE2 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:45:29] 747*2^1412880-1 is not prime. Res64: 3FCF64CC5660C71F Time : 0.0 sec. user=mdettweiler [2015-10-21 23:47:20] 899*2^1412880-1 is not prime. Res64: 518BDD3055BC65D0 Time : 0.0 sec. user=mdettweiler [2015-10-21 23:47:23] 625*2^1412881-1 is not prime. Res64: 0261F559B56741EE Time : 0.0 sec. user=mdettweiler [2015-10-22 00:00:11] 639*2^1412881-1 is not prime. Res64: 9A8D8B67DAA0AA85 Time : 0.0 sec. user=mdettweiler [2015-10-22 00:00:12] 645*2^1412881-1 is not prime. Res64: 0DD5C74A10BBDF4D Time : 0.0 sec. user=mdettweiler [2015-10-22 00:00:13] 633*2^1412882-1 is not prime. Res64: D9BAB30FF77DB5CE Time : 0.0 sec. user=mdettweiler [2015-10-22 00:00:13] 677*2^1412882-1 is not prime. Res64: 916ED5AB07AD6A5E Time : 0.0 sec.