user=mdettweiler [2016-10-11 00:21:08] 765*2^1442359-1 is not prime. Res64: 20AEEAFACF974F53 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:21:08] 895*2^1442359-1 is not prime. Res64: 5B0BFFDBADB6622B Time : 0.0 sec. user=mdettweiler [2016-10-11 00:21:09] 909*2^1442359-1 is not prime. Res64: 9E98A20DF2C19FA5 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:21:09] 951*2^1442359-1 is not prime. Res64: 2BA25C6CB68521B1 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:21:09] 969*2^1442359-1 is not prime. Res64: 616E6E6E4CB693D9 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:22:51] 767*2^1442360-1 is not prime. Res64: E9BA598026B43152 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:22:51] 843*2^1442360-1 is not prime. Res64: 24348C58389A1FF4 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:22:52] 669*2^1442361-1 is not prime. Res64: 4729E85CAA5AB196 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:22:52] 795*2^1442361-1 is not prime. Res64: A923708B00F37788 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:22:53] 811*2^1442361-1 is not prime. Res64: EE2D0516FFDD1F7C Time : 0.0 sec. user=mdettweiler [2016-10-11 00:30:46] 979*2^1442361-1 is not prime. Res64: F486F9BB097AD1E1 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:30:47] 991*2^1442361-1 is not prime. Res64: 2DFB07435313C6A0 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:30:47] 617*2^1442362-1 is not prime. Res64: 55E7ABE90487EE51 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:30:47] 755*2^1442362-1 is not prime. Res64: BF3F6F72CBC92918 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:30:47] 831*2^1442362-1 is not prime. Res64: 9B1322F83DBA7D21 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:34:59] 833*2^1442362-1 is not prime. Res64: C5B96BD3458291B7 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:35:00] 887*2^1442362-1 is not prime. Res64: 71B117B4A17ED9A9 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:35:00] 941*2^1442362-1 is not prime. Res64: D1236E4D8955BA2E Time : 0.0 sec. user=mdettweiler [2016-10-11 00:35:01] 957*2^1442362-1 is not prime. Res64: 816D2387CD04CA11 Time : 0.0 sec. user=mdettweiler [2016-10-11 00:35:01] 609*2^1442363-1 is not prime. Res64: 16E3D0A6B21846D0 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:06:34] 741*2^1442363-1 is not prime. Res64: 35DDE5A8FB5C553C Time : 0.0 sec. user=mdettweiler [2016-10-11 01:06:35] 811*2^1442363-1 is not prime. Res64: B0348F675FD945AA Time : 0.0 sec. user=mdettweiler [2016-10-11 01:06:36] 823*2^1442363-1 is not prime. Res64: EAD93AE999864029 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:06:38] 861*2^1442363-1 is not prime. Res64: F98641CE894684CC Time : 0.0 sec. user=mdettweiler [2016-10-11 01:06:40] 949*2^1442363-1 is not prime. Res64: E181F88B21A1A21E Time : 0.0 sec. user=mdettweiler [2016-10-11 01:08:25] 623*2^1442364-1 is not prime. Res64: A5954410297E192E Time : 0.0 sec. user=mdettweiler [2016-10-11 01:08:26] 767*2^1442364-1 is not prime. Res64: 81398C4EB33457E4 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:08:26] 909*2^1442364-1 is not prime. Res64: A17BE3A156FCBF3C Time : 0.0 sec. user=mdettweiler [2016-10-11 01:08:26] 945*2^1442364-1 is not prime. Res64: 33728708E6A80A1A Time : 0.0 sec. user=mdettweiler [2016-10-11 01:08:26] 965*2^1442364-1 is not prime. Res64: FA8F5959D28F6169 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:16:00] 691*2^1442365-1 is not prime. Res64: C3C27C9670CA8F73 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:16:02] 717*2^1442365-1 is not prime. Res64: E03CC7A77FA29F46 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:16:02] 805*2^1442365-1 is not prime. Res64: DB95D6206BAA7FD5 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:16:03] 819*2^1442365-1 is not prime. Res64: 37DA8A1F1000624E Time : 0.0 sec. user=mdettweiler [2016-10-11 01:16:04] 855*2^1442365-1 is not prime. Res64: 8DA2DBE6BAF6F0E1 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:20:34] 871*2^1442365-1 is not prime. Res64: DC70C28A878AC6E9 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:20:34] 895*2^1442365-1 is not prime. Res64: D5EDEC5DA2D1B827 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:20:34] 987*2^1442365-1 is not prime. Res64: 1D530E7D6918E0AE Time : 0.0 sec. user=mdettweiler [2016-10-11 01:20:35] 623*2^1442366-1 is not prime. Res64: 9177653D5BBEED68 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:20:35] 657*2^1442366-1 is not prime. Res64: B3385A064F87DAD0 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:52:21] 671*2^1442366-1 is not prime. Res64: 0C9F21496143E5B3 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:52:22] 713*2^1442366-1 is not prime. Res64: 302A5DE16E921B81 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:52:22] 917*2^1442366-1 is not prime. Res64: 6DC99EE00086A0CD Time : 0.0 sec. user=mdettweiler [2016-10-11 01:52:22] 963*2^1442366-1 is not prime. Res64: 5E3E091EDAA2B6A4 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:52:22] 865*2^1442367-1 is not prime. Res64: 5B91205340B85BAB Time : 0.0 sec. user=mdettweiler [2016-10-11 01:53:56] 895*2^1442367-1 is not prime. Res64: 176F82C0278E95D5 Time : 0.0 sec. user=mdettweiler [2016-10-11 01:53:56] 615*2^1442368-1 is not prime. Res64: D5CD702A649CF9BF Time : 0.0 sec. user=mdettweiler [2016-10-11 01:53:56] 623*2^1442368-1 is not prime. Res64: E8360C5F21CE423E Time : 0.0 sec. user=mdettweiler [2016-10-11 01:53:57] 699*2^1442368-1 is not prime. Res64: A435A492335AF37B Time : 0.0 sec. user=mdettweiler [2016-10-11 01:53:57] 843*2^1442368-1 is not prime. Res64: 4D5E5111F09462E8 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:01:29] 863*2^1442368-1 is not prime. Res64: E51252950591A3E6 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:01:30] 869*2^1442368-1 is not prime. Res64: 27CDD4F44B0A6720 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:01:30] 969*2^1442368-1 is not prime. Res64: 8038D33D8D28EAAF Time : 0.0 sec. user=mdettweiler [2016-10-11 02:01:31] 999*2^1442368-1 is not prime. Res64: 87A4775F7069CC0E Time : 0.0 sec. user=mdettweiler [2016-10-11 02:01:31] 627*2^1442369-1 is not prime. Res64: B8B11E777E386128 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:06:06] 631*2^1442369-1 is not prime. Res64: C8891EFB4FD84C34 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:06:08] 649*2^1442369-1 is not prime. Res64: 9BD3FBD9A93239F1 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:06:09] 675*2^1442369-1 is not prime. Res64: 5A1D1C167FDDC264 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:06:10] 691*2^1442369-1 is not prime. Res64: 38078736310A28DC Time : 0.0 sec. user=mdettweiler [2016-10-11 02:06:13] 705*2^1442369-1 is not prime. Res64: 0576DFF0426DFB94 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:37:43] 775*2^1442369-1 is not prime. Res64: A8D3C0A2375B75B3 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:37:43] 801*2^1442369-1 is not prime. Res64: 590189100932FFCE Time : 0.0 sec. user=mdettweiler [2016-10-11 02:37:44] 885*2^1442369-1 is not prime. Res64: 00D21B6FD09C5EDE Time : 0.0 sec. user=mdettweiler [2016-10-11 02:37:45] 889*2^1442369-1 is not prime. Res64: 18927A7EE2DB065D Time : 0.0 sec. user=mdettweiler [2016-10-11 02:37:46] 949*2^1442369-1 is not prime. Res64: 223D9EE1D3382AFA Time : 0.0 sec. user=mdettweiler [2016-10-11 02:39:23] 723*2^1442370-1 is not prime. Res64: 93ED3F3049E4C76D Time : 0.0 sec. user=mdettweiler [2016-10-11 02:39:24] 797*2^1442370-1 is not prime. Res64: BDA7943EDC0347A6 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:39:24] 971*2^1442370-1 is not prime. Res64: 4DF75451E9D965A1 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:39:25] 649*2^1442371-1 is not prime. Res64: 2D7DE12186062FC4 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:39:25] 651*2^1442371-1 is not prime. Res64: A25872EDED22F9E5 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:47:02] 691*2^1442371-1 is not prime. Res64: D5C2DB0D48807DE5 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:47:02] 769*2^1442371-1 is not prime. Res64: BA47BEDFA9619172 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:47:02] 783*2^1442371-1 is not prime. Res64: 19D2ECA509E1CFCA Time : 0.0 sec. user=mdettweiler [2016-10-11 02:47:03] 801*2^1442371-1 is not prime. Res64: 72F23A3BE9429542 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:47:03] 895*2^1442371-1 is not prime. Res64: 9526E87215298BFB Time : 0.0 sec. user=mdettweiler [2016-10-11 02:51:52] 617*2^1442372-1 is not prime. Res64: 6639F6175EB472A2 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:51:53] 693*2^1442372-1 is not prime. Res64: 1C5F98C9ED608DB0 Time : 0.0 sec. user=mdettweiler [2016-10-11 02:51:53] 735*2^1442372-1 is not prime. Res64: 5CF642668091C24D Time : 0.0 sec. user=mdettweiler [2016-10-11 02:51:53] 803*2^1442372-1 is not prime. Res64: 4E8B80366D616D5E Time : 0.0 sec. user=mdettweiler [2016-10-11 02:51:53] 855*2^1442372-1 is not prime. Res64: E28858430E5885B1 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:23:29] 873*2^1442372-1 is not prime. Res64: 2D451B80ED072730 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:23:30] 995*2^1442372-1 is not prime. Res64: B1BB4E3F90A9A8ED Time : 0.0 sec. user=mdettweiler [2016-10-11 03:23:30] 685*2^1442373-1 is not prime. Res64: AACB1480A835792E Time : 0.0 sec. user=mdettweiler [2016-10-11 03:23:30] 829*2^1442373-1 is not prime. Res64: 395DCF7DC15EC575 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:23:31] 891*2^1442373-1 is not prime. Res64: DAF404F5B13974C5 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:24:58] 895*2^1442373-1 is not prime. Res64: F673A5AE886BF954 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:24:59] 951*2^1442373-1 is not prime. Res64: E24AFEB565F56484 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:24:59] 955*2^1442373-1 is not prime. Res64: 9DFBBFC4F2FF7625 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:24:59] 999*2^1442373-1 is not prime. Res64: DABD36DD727EAD3C Time : 0.0 sec. user=mdettweiler [2016-10-11 03:24:59] 947*2^1442374-1 is not prime. Res64: A068C16DB5CCB80D Time : 0.0 sec. user=mdettweiler [2016-10-11 03:32:20] 649*2^1442375-1 is not prime. Res64: 9278DC7C59F137F6 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:32:21] 661*2^1442375-1 is not prime. Res64: 7B5E2CFC004F233F Time : 0.0 sec. user=mdettweiler [2016-10-11 03:32:22] 735*2^1442375-1 is not prime. Res64: F4DB292E82796C73 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:32:23] 741*2^1442375-1 is not prime. Res64: FDCCD8ED1A6B53E5 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:32:24] 981*2^1442375-1 is not prime. Res64: C5A5BCC952D6012F Time : 0.0 sec. user=mdettweiler [2016-10-11 03:37:08] 623*2^1442376-1 is not prime. Res64: 41D0036752E59277 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:37:11] 705*2^1442376-1 is not prime. Res64: 73A51DDCA0DB7CA8 Time : 0.0 sec. user=mdettweiler [2016-10-11 03:37:14] 717*2^1442376-1 is not prime. Res64: 5681F58F8A32C69F Time : 0.0 sec. user=mdettweiler [2016-10-11 03:37:17] 747*2^1442376-1 is not prime. Res64: 2DFDCA25861ECB8B Time : 0.0 sec. user=mdettweiler [2016-10-11 03:37:19] 767*2^1442376-1 is not prime. Res64: 03C1C23FA27541C4 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:08:44] 825*2^1442376-1 is not prime. Res64: AB3133629D8819EC Time : 0.0 sec. user=mdettweiler [2016-10-11 04:08:46] 945*2^1442376-1 is not prime. Res64: 775BFF799FB896FD Time : 0.0 sec. user=mdettweiler [2016-10-11 04:08:49] 999*2^1442376-1 is not prime. Res64: FF9FF1A097D66989 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:08:52] 715*2^1442377-1 is not prime. Res64: 8751DDA8D0491B36 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:10:24] 835*2^1442377-1 is not prime. Res64: 7C00E1C778F43994 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:10:27] 847*2^1442377-1 is not prime. Res64: 6FEF9B69C735D344 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:10:30] 867*2^1442377-1 is not prime. Res64: 36CFEBFFF77D1352 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:10:32] 889*2^1442377-1 is not prime. Res64: 527EFC392C28937C Time : 0.0 sec. user=mdettweiler [2016-10-11 04:10:34] 605*2^1442378-1 is not prime. Res64: 65E2F39D96083146 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:17:56] 671*2^1442378-1 is not prime. Res64: A0F70BB9EC9B14E6 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:17:56] 977*2^1442378-1 is not prime. Res64: A711DF268A811B05 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:17:57] 609*2^1442379-1 is not prime. Res64: E9123CB1021F625E Time : 0.0 sec. user=mdettweiler [2016-10-11 04:17:57] 835*2^1442379-1 is not prime. Res64: 6E964598E3BAC0CA Time : 0.0 sec. user=mdettweiler [2016-10-11 04:17:57] 843*2^1442379-1 is not prime. Res64: 5B880D47FC2CFDA1 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:23:14] 891*2^1442379-1 is not prime. Res64: 44292C7F52EAEC4C Time : 0.0 sec. user=mdettweiler [2016-10-11 04:23:14] 909*2^1442379-1 is not prime. Res64: 679304989B5A577A Time : 0.0 sec. user=mdettweiler [2016-10-11 04:23:14] 949*2^1442379-1 is not prime. Res64: D3EF3D6DC3BF6A25 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:23:15] 759*2^1442380-1 is not prime. Res64: E2A296EC98690F11 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:23:15] 783*2^1442380-1 is not prime. Res64: 11FF9DADCA456FC1 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:57:19] 863*2^1442380-1 is not prime. Res64: 561CA536D9D32E5E Time : 0.0 sec. user=mdettweiler [2016-10-11 04:57:19] 909*2^1442380-1 is not prime. Res64: 454C5D769CBC102D Time : 0.0 sec. user=mdettweiler [2016-10-11 04:57:19] 929*2^1442380-1 is not prime. Res64: FEDDBB309E7A82B4 Time : 0.0 sec. user=mdettweiler [2016-10-11 04:57:19] 601*2^1442381-1 is not prime. Res64: 2A4EAA85A4C5483C Time : 0.0 sec. user=mdettweiler [2016-10-11 04:57:19] 669*2^1442381-1 is not prime. Res64: 84B08A083C09B26C Time : 0.0 sec. user=mdettweiler [2016-10-11 05:04:09] 697*2^1442381-1 is not prime. Res64: 4FD7795F15DB842C Time : 0.0 sec. user=mdettweiler [2016-10-11 05:04:10] 717*2^1442381-1 is not prime. Res64: BF09477C47D7BEEF Time : 0.0 sec. user=mdettweiler [2016-10-11 05:04:12] 741*2^1442381-1 is not prime. Res64: C962CA2282AAA834 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:04:13] 775*2^1442381-1 is not prime. Res64: 75AE2D826C58B805 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:04:16] 901*2^1442381-1 is not prime. Res64: A3C5259ED449474F Time : 0.0 sec. user=mdettweiler [2016-10-11 05:09:35] 621*2^1442382-1 is not prime. Res64: 9F11F651002E4E38 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:09:36] 713*2^1442382-1 is not prime. Res64: A68712104723BB58 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:09:36] 777*2^1442382-1 is not prime. Res64: 14AECC87DA44275C Time : 0.0 sec. user=mdettweiler [2016-10-11 05:09:36] 815*2^1442382-1 is not prime. Res64: 71B9C608606CC669 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:09:37] 893*2^1442382-1 is not prime. Res64: 2B1423616114A8FC Time : 0.0 sec. user=mdettweiler [2016-10-11 05:44:37] 915*2^1442382-1 is not prime. Res64: 38EDFB17344B0A75 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:44:38] 965*2^1442382-1 is not prime. Res64: 9006BB40A1AD49D2 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:44:38] 705*2^1442383-1 is not prime. Res64: A18260F685318357 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:44:38] 793*2^1442383-1 is not prime. Res64: 49F67F3F8D7874ED Time : 0.0 sec. user=mdettweiler [2016-10-11 05:44:38] 811*2^1442383-1 is not prime. Res64: F404E84C27A7412C Time : 0.0 sec. user=mdettweiler [2016-10-11 05:51:44] 853*2^1442383-1 is not prime. Res64: 4C2911CC4ABB9499 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:51:44] 891*2^1442383-1 is not prime. Res64: 241A73C040801564 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:51:45] 617*2^1442384-1 is not prime. Res64: C6BADDCE926EF40C Time : 0.0 sec. user=mdettweiler [2016-10-11 05:51:45] 665*2^1442384-1 is not prime. Res64: E125D31E4995E45B Time : 0.0 sec. user=mdettweiler [2016-10-11 05:51:45] 677*2^1442384-1 is not prime. Res64: 8FA825EA9C2E0884 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:56:21] 743*2^1442384-1 is not prime. Res64: 6D7F17A4551BC3FA Time : 0.0 sec. user=mdettweiler [2016-10-11 05:56:22] 899*2^1442384-1 is not prime. Res64: A6524A7AF8E176CC Time : 0.0 sec. user=mdettweiler [2016-10-11 05:56:23] 915*2^1442384-1 is not prime. Res64: C4501702EB934A10 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:56:24] 717*2^1442385-1 is not prime. Res64: DB6CF8D44B3C03B6 Time : 0.0 sec. user=mdettweiler [2016-10-11 05:56:24] 735*2^1442385-1 is not prime. Res64: A378DF6F6978572F Time : 0.0 sec. user=mdettweiler [2016-10-11 06:31:13] 831*2^1442385-1 is not prime. Res64: 4F9FA6FBB537C3CF Time : 0.0 sec. user=mdettweiler [2016-10-11 06:31:14] 861*2^1442385-1 is not prime. Res64: B5F720663BF1AF67 Time : 0.0 sec. user=mdettweiler [2016-10-11 06:31:14] 885*2^1442385-1 is not prime. Res64: 637EA9655B7FCDC9 Time : 0.0 sec. user=mdettweiler [2016-10-11 06:31:14] 889*2^1442385-1 is not prime. Res64: 0CE024630D2007DE Time : 0.0 sec. user=mdettweiler [2016-10-11 06:31:14] 979*2^1442385-1 is not prime. Res64: 0AF0156B0EE30D3F Time : 0.0 sec. user=mdettweiler [2016-10-11 06:37:57] 735*2^1442386-1 is not prime. Res64: 006DAAE6B3D73E62 Time : 0.0 sec. user=mdettweiler [2016-10-11 06:37:57] 857*2^1442386-1 is not prime. Res64: 0DB8420AC53819D0 Time : 0.0 sec. user=mdettweiler [2016-10-11 06:37:57] 911*2^1442386-1 is not prime. Res64: 95F209747A03ED3E Time : 0.0 sec. user=mdettweiler [2016-10-11 06:37:58] 981*2^1442386-1 is not prime. Res64: B0708ADDCF2971DF Time : 0.0 sec. user=mdettweiler [2016-10-11 06:37:58] 609*2^1442387-1 is not prime. Res64: 031F14223FF0212F Time : 0.0 sec. user=mdettweiler [2016-10-11 06:43:03] 663*2^1442387-1 is not prime. Res64: 4EB0423BE61C6930 Time : 0.0 sec. user=mdettweiler [2016-10-11 06:43:03] 715*2^1442387-1 is not prime. Res64: 9A4AD460EC93B792 Time : 0.0 sec. user=mdettweiler [2016-10-11 06:43:03] 735*2^1442387-1 is not prime. Res64: 31E54169342FCF0C Time : 0.0 sec. user=mdettweiler [2016-10-11 06:43:03] 741*2^1442387-1 is not prime. Res64: DCBFD11C5756D8B6 Time : 0.0 sec. user=mdettweiler [2016-10-11 06:43:04] 829*2^1442387-1 is not prime. Res64: 80039908A97FA546 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:06:11] 831*2^1442377-1 is not prime. Res64: 7099979D8A326646 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:17:29] 841*2^1442387-1 is not prime. Res64: E61425A9D0990449 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:17:30] 879*2^1442387-1 is not prime. Res64: D934D89C187F3BD8 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:17:31] 635*2^1442388-1 is not prime. Res64: 59B28538EE45C577 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:17:31] 647*2^1442388-1 is not prime. Res64: ABF0C68153853154 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:17:32] 663*2^1442388-1 is not prime. Res64: 7C82D20BA98779C6 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:23:47] 689*2^1442388-1 is not prime. Res64: CCF9E490B5B303B1 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:23:47] 695*2^1442388-1 is not prime. Res64: 9FBD37CBE637BF96 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:23:47] 797*2^1442388-1 is not prime. Res64: CF46E2A7D81746B4 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:23:47] 809*2^1442388-1 is not prime. Res64: 3F284D1F3812B966 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:23:47] 649*2^1442389-1 is not prime. Res64: D95C569EE0306327 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:28:57] 661*2^1442389-1 is not prime. Res64: 240739CDB60132FB Time : 0.0 sec. user=mdettweiler [2016-10-11 07:28:57] 931*2^1442389-1 is not prime. Res64: 905D2B9BF009270F Time : 0.0 sec. user=mdettweiler [2016-10-11 07:28:57] 627*2^1442390-1 is not prime. Res64: D0BB9E3F3FC50A16 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:28:57] 635*2^1442390-1 is not prime. Res64: D3ABD536FF4ABBD7 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:28:57] 663*2^1442390-1 is not prime. Res64: 4475B22EE871CFDD Time : 0.0 sec. user=mdettweiler [2016-10-11 07:51:36] 843*2^1442390-1 is not prime. Res64: B8E6907166020C31 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:51:36] 885*2^1442390-1 is not prime. Res64: 3411C523BB546918 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:51:37] 693*2^1442391-1 is not prime. Res64: 2794A791729A2CAD Time : 0.0 sec. user=mdettweiler [2016-10-11 07:51:37] 741*2^1442391-1 is not prime. Res64: BD5B22B0CDB48477 Time : 0.0 sec. user=mdettweiler [2016-10-11 07:51:37] 895*2^1442391-1 is not prime. Res64: 87CE54A8ECFD6F44 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:02:52] 999*2^1442391-1 is not prime. Res64: 04D6FDF90B49A894 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:02:53] 675*2^1442392-1 is not prime. Res64: BD3E4667E936F1EE Time : 0.0 sec. user=mdettweiler [2016-10-11 08:02:54] 669*2^1442393-1 is not prime. Res64: 52D62264CE42AEAF Time : 0.0 sec. user=mdettweiler [2016-10-11 08:02:54] 937*2^1442393-1 is not prime. Res64: D9167DB14510A661 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:02:55] 955*2^1442393-1 is not prime. Res64: 0B8E288D1F491683 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:08:58] 991*2^1442393-1 is not prime. Res64: 205641FD2F22D032 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:08:58] 627*2^1442394-1 is not prime. Res64: 8A97E1234A8B5187 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:08:58] 651*2^1442394-1 is not prime. Res64: 4210720487BE82F1 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:08:58] 663*2^1442394-1 is not prime. Res64: 70A4D5BED29F7930 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:08:59] 711*2^1442394-1 is not prime. Res64: 4475E5D6D0587AD7 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:14:08] 773*2^1442394-1 is not prime. Res64: 4C2D4C66157B1487 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:14:08] 941*2^1442394-1 is not prime. Res64: C0473B55FEE9C697 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:14:09] 975*2^1442394-1 is not prime. Res64: D7F7F477DEAAEDDD Time : 0.0 sec. user=mdettweiler [2016-10-11 08:14:09] 639*2^1442395-1 is not prime. Res64: D8A89F6E15E77EBC Time : 0.0 sec. user=mdettweiler [2016-10-11 08:14:09] 685*2^1442395-1 is not prime. Res64: 1B3F8B5A7B0ADFFC Time : 0.0 sec. user=mdettweiler [2016-10-11 08:36:44] 699*2^1442395-1 is not prime. Res64: 2F23382D7A22F6DF Time : 0.0 sec. user=mdettweiler [2016-10-11 08:36:44] 849*2^1442395-1 is not prime. Res64: 6BA9D6AF01AF8703 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:36:44] 861*2^1442395-1 is not prime. Res64: 7673FEA5A2F8B32D Time : 0.0 sec. user=mdettweiler [2016-10-11 08:36:44] 873*2^1442395-1 is not prime. Res64: 506A14BE065A6143 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:36:45] 635*2^1442396-1 is not prime. Res64: F21564DBFA070027 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:48:24] 707*2^1442396-1 is not prime. Res64: 9CA43816E69E2306 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:48:24] 759*2^1442396-1 is not prime. Res64: 7FD2AE0151C2B636 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:48:24] 767*2^1442396-1 is not prime. Res64: 8FA9C94F86485820 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:48:25] 843*2^1442396-1 is not prime. Res64: 80FA2FC130DF2869 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:48:25] 903*2^1442396-1 is not prime. Res64: E58F331D44D7F7EF Time : 0.0 sec. user=mdettweiler [2016-10-11 08:54:03] 953*2^1442396-1 is not prime. Res64: 3CA105458C397512 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:54:03] 741*2^1442397-1 is not prime. Res64: BA24D0A5DDC257F3 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:54:03] 861*2^1442397-1 is not prime. Res64: 8858FB3F77F5EE86 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:54:04] 889*2^1442397-1 is not prime. Res64: F650B12CEC8D6D9A Time : 0.0 sec. user=mdettweiler [2016-10-11 08:54:04] 945*2^1442397-1 is not prime. Res64: F3E58E679D63FFDF Time : 0.0 sec. user=mdettweiler [2016-10-11 08:59:27] 949*2^1442397-1 is not prime. Res64: 2C9F065DB3034A73 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:59:28] 647*2^1442398-1 is not prime. Res64: 380969E1C8615566 Time : 0.0 sec. user=mdettweiler [2016-10-11 08:59:28] 657*2^1442398-1 is not prime. Res64: 147942E37BDC756A Time : 0.0 sec. user=mdettweiler [2016-10-11 08:59:28] 713*2^1442398-1 is not prime. Res64: 0FB2DEA479C89BAF Time : 0.0 sec. user=mdettweiler [2016-10-11 08:59:28] 773*2^1442398-1 is not prime. Res64: 941E156F1F73EC4D Time : 0.0 sec. user=mdettweiler [2016-10-11 09:21:58] 867*2^1442398-1 is not prime. Res64: DD099F1AD71F29C8 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:21:59] 911*2^1442398-1 is not prime. Res64: 6CCDCBCF2E3D0F37 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:21:59] 923*2^1442398-1 is not prime. Res64: 7809B0FA90E946A4 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:22:00] 995*2^1442398-1 is not prime. Res64: 62FB445D04588237 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:22:00] 643*2^1442399-1 is not prime. Res64: 2DD42F9689ACA5B6 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:33:41] 703*2^1442399-1 is not prime. Res64: 191AEC5671756015 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:33:41] 853*2^1442399-1 is not prime. Res64: 4746D45AB7C3B103 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:33:41] 913*2^1442399-1 is not prime. Res64: ADA123FEF4E952B2 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:33:41] 747*2^1442400-1 is not prime. Res64: 25ED8DA23681112F Time : 0.0 sec. user=mdettweiler [2016-10-11 09:33:42] 909*2^1442400-1 is not prime. Res64: 915D5D09BE15180A Time : 0.0 sec. user=mdettweiler [2016-10-11 09:39:38] 607*2^1442401-1 is not prime. Res64: D7F8343994A9668C Time : 0.0 sec. user=mdettweiler [2016-10-11 09:39:38] 639*2^1442401-1 is not prime. Res64: C805B8CB09B7B789 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:39:38] 715*2^1442401-1 is not prime. Res64: DC0C99C33C3A93CA Time : 0.0 sec. user=mdettweiler [2016-10-11 09:39:39] 819*2^1442401-1 is not prime. Res64: 663C5E00C2BD45F4 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:39:39] 871*2^1442401-1 is not prime. Res64: 46FBEBD455E97284 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:44:41] 895*2^1442401-1 is not prime. Res64: 1BE1097A6F771E46 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:44:42] 909*2^1442401-1 is not prime. Res64: 424074DEA9624AC9 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:44:42] 945*2^1442401-1 is not prime. Res64: E766F1216622F16E Time : 0.0 sec. user=mdettweiler [2016-10-11 09:44:42] 987*2^1442401-1 is not prime. Res64: 1A537DF82687CA29 Time : 0.0 sec. user=mdettweiler [2016-10-11 09:44:42] 997*2^1442401-1 is not prime. Res64: FBEEFC8564E32BF5 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:07:34] 615*2^1442402-1 is not prime. Res64: AB12C1C1CA619A2A Time : 0.0 sec. user=mdettweiler [2016-10-11 10:07:35] 665*2^1442402-1 is not prime. Res64: DB9F916C4E8CBC76 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:07:36] 675*2^1442402-1 is not prime. Res64: FEC65243F6CAAFC8 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:07:36] 771*2^1442402-1 is not prime. Res64: 72B6A7362434DA24 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:07:37] 843*2^1442402-1 is not prime. Res64: D6B43241476DD694 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:18:59] 893*2^1442402-1 is not prime. Res64: 116DB814D4EA0DE1 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:19:00] 921*2^1442402-1 is not prime. Res64: F269F6028D9E14AE Time : 0.0 sec. user=mdettweiler [2016-10-11 10:19:00] 963*2^1442402-1 is not prime. Res64: 4DD25C46F105CF49 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:19:01] 613*2^1442403-1 is not prime. Res64: 9AF380958630963E Time : 0.0 sec. user=mdettweiler [2016-10-11 10:19:01] 691*2^1442403-1 is not prime. Res64: 59E1EFA8952349B5 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:24:46] 703*2^1442403-1 is not prime. Res64: 8E970EC677BDB271 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:24:46] 705*2^1442403-1 is not prime. Res64: 58F7196848576CF3 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:24:47] 723*2^1442403-1 is not prime. Res64: 60C174A82F9D7153 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:24:47] 753*2^1442403-1 is not prime. Res64: A371864C29D3189A Time : 0.0 sec. user=mdettweiler [2016-10-11 10:24:47] 781*2^1442403-1 is not prime. Res64: 307EA4A08788193E Time : 0.0 sec. user=mdettweiler [2016-10-11 10:29:56] 795*2^1442403-1 is not prime. Res64: 9DE8098F3A4216AA Time : 0.0 sec. user=mdettweiler [2016-10-11 10:29:57] 819*2^1442403-1 is not prime. Res64: 5133B2E980661336 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:29:57] 921*2^1442403-1 is not prime. Res64: 544EF53208BDA63B Time : 0.0 sec. user=mdettweiler [2016-10-11 10:29:57] 615*2^1442404-1 is not prime. Res64: 412424453A459C19 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:29:57] 833*2^1442404-1 is not prime. Res64: B5CC322383D7A952 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:53:08] 939*2^1442404-1 is not prime. Res64: 44E354149CE24AB6 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:53:08] 987*2^1442404-1 is not prime. Res64: 24EA0DD2B573182D Time : 0.0 sec. user=mdettweiler [2016-10-11 10:53:09] 759*2^1442405-1 is not prime. Res64: 12BF1BB862E36CAD Time : 0.0 sec. user=mdettweiler [2016-10-11 10:53:09] 771*2^1442405-1 is not prime. Res64: A1F2D13325417FE1 Time : 0.0 sec. user=mdettweiler [2016-10-11 10:53:09] 847*2^1442405-1 is not prime. Res64: 9A7E19A04A1D1DB4 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:04:39] 707*2^1442406-1 is not prime. Res64: 96577282FB5B521D Time : 0.0 sec. user=mdettweiler [2016-10-11 11:04:40] 747*2^1442406-1 is not prime. Res64: 76D33768D794916C Time : 0.0 sec. user=mdettweiler [2016-10-11 11:04:41] 777*2^1442406-1 is not prime. Res64: 65981F7094696668 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:04:41] 783*2^1442406-1 is not prime. Res64: A831D30461A2CA99 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:04:42] 917*2^1442406-1 is not prime. Res64: 1A29037ED244D11E Time : 0.0 sec. user=mdettweiler [2016-10-11 11:10:10] 971*2^1442406-1 is not prime. Res64: 114CA5DE1E7F9998 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:10:10] 693*2^1442407-1 is not prime. Res64: ADA12E39824A7B40 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:10:10] 841*2^1442407-1 is not prime. Res64: 8CAC46A780CBBF56 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:10:11] 891*2^1442407-1 is not prime. Res64: 372D6FF83E1F66C5 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:10:11] 901*2^1442407-1 is not prime. Res64: BF695E7D0601EB99 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:15:13] 915*2^1442407-1 is not prime. Res64: 8208EAFDC0967D03 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:15:13] 961*2^1442407-1 is not prime. Res64: D6417B40954C8DE0 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:15:14] 669*2^1442408-1 is not prime. Res64: F39460FC41FC4668 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:15:14] 753*2^1442408-1 is not prime. Res64: 06BF8A348B439C19 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:15:14] 825*2^1442408-1 is not prime. Res64: 3B0433483EC71222 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:38:18] 945*2^1442408-1 is not prime. Res64: 0E3812C20BBC225F Time : 0.0 sec. user=mdettweiler [2016-10-11 11:38:18] 963*2^1442408-1 is not prime. Res64: FB98542921D287E1 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:38:18] 675*2^1442409-1 is not prime. Res64: 479F0067195D1A00 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:38:19] 847*2^1442409-1 is not prime. Res64: 94F4C218B5BFCA10 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:38:19] 861*2^1442409-1 is not prime. Res64: E7D4D32BE31A7DD9 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:49:57] 945*2^1442409-1 is not prime. Res64: 268C16A2193C451C Time : 0.0 sec. user=mdettweiler [2016-10-11 11:49:58] 605*2^1442410-1 is not prime. Res64: 1172544AA43E0EC1 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:49:58] 701*2^1442410-1 is not prime. Res64: 759BA7AD1F5C1F6A Time : 0.0 sec. user=mdettweiler [2016-10-11 11:49:58] 891*2^1442410-1 is not prime. Res64: E2A24820E6A70CCC Time : 0.0 sec. user=mdettweiler [2016-10-11 11:49:58] 905*2^1442410-1 is not prime. Res64: E8BF93103D0B2E9B Time : 0.0 sec. user=mdettweiler [2016-10-11 11:55:45] 615*2^1442411-1 is not prime. Res64: B00FBD8C67260CC5 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:55:45] 619*2^1442411-1 is not prime. Res64: 04D0F43715A10906 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:55:45] 643*2^1442411-1 is not prime. Res64: 245F5B9DA8ED8FA9 Time : 0.0 sec. user=mdettweiler [2016-10-11 11:55:45] 679*2^1442411-1 is not prime. Res64: BE87A8584D66B48A Time : 0.0 sec. user=mdettweiler [2016-10-11 11:55:46] 871*2^1442411-1 is not prime. Res64: DA866DBEECE0BDD8 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:00:50] 973*2^1442411-1 is not prime. Res64: E2DDD6B4DA724EDD Time : 0.0 sec. user=mdettweiler [2016-10-11 12:00:51] 629*2^1442412-1 is not prime. Res64: 6A461681327B3991 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:00:52] 809*2^1442412-1 is not prime. Res64: 83488A79B8BD4555 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:00:52] 879*2^1442412-1 is not prime. Res64: 5613D6307CEB9920 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:00:53] 947*2^1442412-1 is not prime. Res64: 3D464706A2EF211A Time : 0.0 sec. user=mdettweiler [2016-10-11 12:24:27] 745*2^1442413-1 is not prime. Res64: E334B4259013251E Time : 0.0 sec. user=mdettweiler [2016-10-11 12:24:27] 805*2^1442413-1 is not prime. Res64: ED82EE26EAA61A2B Time : 0.0 sec. user=mdettweiler [2016-10-11 12:24:27] 835*2^1442413-1 is not prime. Res64: 7D31E6ACCA35B259 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:24:28] 889*2^1442413-1 is not prime. Res64: 814D7B37B86DD3C1 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:24:28] 895*2^1442413-1 is not prime. Res64: 4497096B45C98088 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:36:32] 717*2^1442414-1 is not prime. Res64: 9F658212F871E397 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:36:32] 743*2^1442414-1 is not prime. Res64: C1CA1243C67179E6 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:36:32] 755*2^1442414-1 is not prime. Res64: 028A5FF14F48C60F Time : 0.0 sec. user=mdettweiler [2016-10-11 12:36:32] 797*2^1442414-1 is not prime. Res64: 5B7F4EF96F073E36 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:36:33] 815*2^1442414-1 is not prime. Res64: 51923C68B8BBD800 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:42:19] 851*2^1442414-1 is not prime. Res64: 9CA7F3FC12FE0124 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:42:19] 873*2^1442414-1 is not prime. Res64: 31E7128E04C2973F Time : 0.0 sec. user=mdettweiler [2016-10-11 12:42:19] 935*2^1442414-1 is not prime. Res64: 9ACBBED1D6D1D0CB Time : 0.0 sec. user=mdettweiler [2016-10-11 12:42:20] 941*2^1442414-1 is not prime. Res64: AD06D56C52E68B03 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:42:20] 669*2^1442415-1 is not prime. Res64: 7C818E53329FD0BE Time : 0.0 sec. user=mdettweiler [2016-10-11 12:47:10] 691*2^1442415-1 is not prime. Res64: 0D7421CE08B6324C Time : 0.0 sec. user=mdettweiler [2016-10-11 12:47:11] 853*2^1442415-1 is not prime. Res64: 8541434404CC0711 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:47:11] 871*2^1442415-1 is not prime. Res64: 9B94CF88FACB9861 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:47:11] 895*2^1442415-1 is not prime. Res64: 802E9A095BAC4FE1 Time : 0.0 sec. user=mdettweiler [2016-10-11 12:47:11] 919*2^1442415-1 is not prime. Res64: 7794C8FBB24D7F01 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:16:39] 999*2^1442415-1 is not prime. Res64: 2CA8DDF86686BF7E Time : 0.0 sec. user=mdettweiler [2016-10-11 13:16:39] 693*2^1442416-1 is not prime. Res64: A9840727D252BF9F Time : 0.0 sec. user=mdettweiler [2016-10-11 13:16:40] 699*2^1442416-1 is not prime. Res64: 1C85A4168E7BAB70 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:16:40] 735*2^1442416-1 is not prime. Res64: 606006E0104054C0 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:16:40] 855*2^1442416-1 is not prime. Res64: 2D5101752EBAA88E Time : 0.0 sec. user=mdettweiler [2016-10-11 13:28:57] 727*2^1442417-1 is not prime. Res64: 1D24A33DA6A6D645 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:28:58] 729*2^1442417-1 is not prime. Res64: 09B25DD155C0A882 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:28:59] 871*2^1442417-1 is not prime. Res64: 4D6E198F5E1A6916 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:28:59] 967*2^1442417-1 is not prime. Res64: C3DCC431CD41AD62 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:29:00] 631*2^1442419-1 is not prime. Res64: 3AF85A2FF80297E4 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:34:16] 639*2^1442419-1 is not prime. Res64: 7F858E53455B967B Time : 0.0 sec. user=mdettweiler [2016-10-11 13:34:16] 663*2^1442419-1 is not prime. Res64: 9CA6844650DDB7A8 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:34:16] 723*2^1442419-1 is not prime. Res64: 553CDB4F65B843B6 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:34:17] 759*2^1442419-1 is not prime. Res64: 94B7AA78419C7635 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:34:17] 859*2^1442419-1 is not prime. Res64: A95D3C5FA5A551C0 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:38:48] 985*2^1442419-1 is not prime. Res64: 35B3D2AD23509E41 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:38:49] 677*2^1442420-1 is not prime. Res64: 8D17953E2603670A Time : 0.0 sec. user=mdettweiler [2016-10-11 13:38:49] 773*2^1442420-1 is not prime. Res64: 125CF67782EA6150 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:38:49] 795*2^1442420-1 is not prime. Res64: 557EB0401213FA12 Time : 0.0 sec. user=mdettweiler [2016-10-11 13:38:49] 927*2^1442420-1 is not prime. Res64: 51AA1DA33B5DBD6E Time : 0.0 sec. user=mdettweiler [2016-10-11 14:02:00] 977*2^1442420-1 is not prime. Res64: 4DE3AA90B7116E0E Time : 0.0 sec. user=mdettweiler [2016-10-11 14:02:00] 639*2^1442421-1 is not prime. Res64: ED749BD30B00859E Time : 0.0 sec. user=mdettweiler [2016-10-11 14:02:01] 727*2^1442421-1 is not prime. Res64: DCAEDC17AA7CAD56 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:02:01] 789*2^1442421-1 is not prime. Res64: 39197860E23F725C Time : 0.0 sec. user=mdettweiler [2016-10-11 14:02:02] 889*2^1442421-1 is not prime. Res64: 9FF4A2FCE50D90A9 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:14:11] 921*2^1442421-1 is not prime. Res64: DCED0EFEEA4D8319 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:14:13] 937*2^1442421-1 is not prime. Res64: 3F735B0E1008E01A Time : 0.0 sec. user=mdettweiler [2016-10-11 14:14:14] 979*2^1442421-1 is not prime. Res64: CA43C3442A78E915 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:14:15] 695*2^1442422-1 is not prime. Res64: D1DEBCD4D08CCC7C Time : 0.0 sec. user=mdettweiler [2016-10-11 14:14:15] 713*2^1442422-1 is not prime. Res64: 282388F9203FC0D4 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:19:46] 609*2^1442423-1 is not prime. Res64: 5B403661994EC126 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:19:46] 735*2^1442423-1 is not prime. Res64: 5E33D0D80FBDB5A2 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:19:46] 775*2^1442423-1 is not prime. Res64: 709C21A3DD6CDD8C Time : 0.0 sec. user=mdettweiler [2016-10-11 14:19:46] 943*2^1442423-1 is not prime. Res64: CC1AC7880EC61315 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:19:47] 663*2^1442424-1 is not prime. Res64: BEECC3193FF1B915 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:24:18] 665*2^1442424-1 is not prime. Res64: 710620987A4753E1 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:24:18] 753*2^1442424-1 is not prime. Res64: C7465EF6408EF77B Time : 0.0 sec. user=mdettweiler [2016-10-11 14:24:19] 837*2^1442424-1 is not prime. Res64: FE6B96DB8465C729 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:24:19] 873*2^1442424-1 is not prime. Res64: 1300EE82511B3806 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:24:19] 899*2^1442424-1 is not prime. Res64: 5109B705F86D3E6F Time : 0.0 sec. user=mdettweiler [2016-10-11 14:47:25] 983*2^1442424-1 is not prime. Res64: 3AB1BA37B2B81E59 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:47:25] 651*2^1442425-1 is not prime. Res64: 9FEBD24806B6C6B8 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:47:25] 679*2^1442425-1 is not prime. Res64: ECCA1C54FFFC47CD Time : 0.0 sec. user=mdettweiler [2016-10-11 14:47:26] 685*2^1442425-1 is not prime. Res64: 68A7C9322A4C93D1 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:47:26] 687*2^1442425-1 is not prime. Res64: AC1CDC49E3CA9497 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:59:45] 889*2^1442425-1 is not prime. Res64: B5C39C55EEA39801 Time : 0.0 sec. user=mdettweiler [2016-10-11 14:59:45] 955*2^1442425-1 is not prime. Res64: 225E4DC5BD2D413C Time : 0.0 sec. user=mdettweiler [2016-10-11 14:59:45] 997*2^1442425-1 is not prime. Res64: 07D57BFB2C39683A Time : 0.0 sec. user=mdettweiler [2016-10-11 14:59:45] 675*2^1442426-1 is not prime. Res64: 611DB5706B05ACCA Time : 0.0 sec. user=mdettweiler [2016-10-11 14:59:46] 711*2^1442426-1 is not prime. Res64: C99197F1FB77B1A1 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:05:20] 773*2^1442426-1 is not prime. Res64: 0385B7DB6CBE6D9B Time : 0.0 sec. user=mdettweiler [2016-10-11 15:05:21] 825*2^1442426-1 is not prime. Res64: F1D52218F01F70A9 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:05:22] 857*2^1442426-1 is not prime. Res64: 34CFC5673DCE2FF8 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:05:23] 921*2^1442426-1 is not prime. Res64: DE17253EF66887BE Time : 0.0 sec. user=mdettweiler [2016-10-11 15:05:24] 923*2^1442426-1 is not prime. Res64: 1FC467B5F952873C Time : 0.0 sec. user=mdettweiler [2016-10-11 15:09:52] 953*2^1442426-1 is not prime. Res64: 05FC96660904191A Time : 0.0 sec. user=mdettweiler [2016-10-11 15:09:53] 981*2^1442426-1 is not prime. Res64: ADD0278402037319 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:09:54] 615*2^1442427-1 is not prime. Res64: D1BD13BA07A87B53 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:09:55] 669*2^1442427-1 is not prime. Res64: 89FC724D9D6A0B59 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:09:55] 775*2^1442427-1 is not prime. Res64: E70295B213AC6118 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:32:46] 823*2^1442427-1 is not prime. Res64: 45641D71A9889C1B Time : 0.0 sec. user=mdettweiler [2016-10-11 15:32:46] 849*2^1442427-1 is not prime. Res64: D135F61A29E01DF8 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:32:46] 891*2^1442427-1 is not prime. Res64: 201CD894B448AE44 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:32:46] 705*2^1442428-1 is not prime. Res64: 51A38B59A2918F42 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:32:47] 755*2^1442428-1 is not prime. Res64: 7184A286BADA3F27 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:45:23] 845*2^1442428-1 is not prime. Res64: BF95D2A636705C06 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:45:23] 915*2^1442428-1 is not prime. Res64: BBB28E79D0699945 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:45:23] 927*2^1442428-1 is not prime. Res64: 24E055F608640B8D Time : 0.0 sec. user=mdettweiler [2016-10-11 15:45:24] 615*2^1442429-1 is not prime. Res64: 66A2D246BD056E14 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:45:24] 631*2^1442429-1 is not prime. Res64: 33CA92016DDABC8D Time : 0.0 sec. user=mdettweiler [2016-10-11 15:51:12] 657*2^1442429-1 is not prime. Res64: D48E61FA97883C79 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:51:12] 691*2^1442429-1 is not prime. Res64: B1E0C988B7B86B4F Time : 0.0 sec. user=mdettweiler [2016-10-11 15:51:12] 711*2^1442429-1 is not prime. Res64: 7B2CD213CA2C8C9D Time : 0.0 sec. user=mdettweiler [2016-10-11 15:51:12] 811*2^1442429-1 is not prime. Res64: F892FC3493428088 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:51:13] 885*2^1442429-1 is not prime. Res64: D310ABFCC1E76BF0 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:55:29] 969*2^1442429-1 is not prime. Res64: BBECD2CE149F8A25 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:55:29] 615*2^1442430-1 is not prime. Res64: 64A6B076A2D2A1EB Time : 0.0 sec. user=mdettweiler [2016-10-11 15:55:29] 657*2^1442430-1 is not prime. Res64: 09AC6070186143C8 Time : 0.0 sec. user=mdettweiler [2016-10-11 15:55:30] 695*2^1442430-1 is not prime. Res64: 1B39F240C40975BF Time : 0.0 sec. user=mdettweiler [2016-10-11 15:55:30] 773*2^1442430-1 is not prime. Res64: 7FD02E1E6A650052 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:18:28] 791*2^1442430-1 is not prime. Res64: 682EDB44768EB1C6 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:18:28] 851*2^1442430-1 is not prime. Res64: 16ADD1091B41E359 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:18:29] 861*2^1442430-1 is not prime. Res64: 2E4085EA3ED4DCDF Time : 0.0 sec. user=mdettweiler [2016-10-11 16:18:29] 963*2^1442430-1 is not prime. Res64: DE4A38004D1FBC27 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:18:29] 977*2^1442430-1 is not prime. Res64: 8550D53FD54CBA15 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:31:27] 619*2^1442431-1 is not prime. Res64: DEA01159ACD56134 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:31:27] 693*2^1442431-1 is not prime. Res64: 922AEE4F6805FAF6 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:31:27] 829*2^1442431-1 is not prime. Res64: DD70AD78BEDC43DC Time : 0.0 sec. user=mdettweiler [2016-10-11 16:31:28] 859*2^1442431-1 is not prime. Res64: 22773BAEFFC33674 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:31:28] 645*2^1442432-1 is not prime. Res64: ED40AC0419B9E3CC Time : 0.0 sec. user=mdettweiler [2016-10-11 16:36:39] 867*2^1442432-1 is not prime. Res64: 770F0F44CF89FB20 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:36:40] 875*2^1442432-1 is not prime. Res64: 3E982450333E09CB Time : 0.0 sec. user=mdettweiler [2016-10-11 16:36:40] 945*2^1442432-1 is not prime. Res64: E756495A20048333 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:36:40] 735*2^1442433-1 is not prime. Res64: 28F72A41F1CB8575 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:36:40] 765*2^1442433-1 is not prime. Res64: BC5B472F3F847FB8 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:41:06] 937*2^1442433-1 is not prime. Res64: 23D683D537351F87 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:41:06] 987*2^1442433-1 is not prime. Res64: 698377D6538639D6 Time : 0.0 sec. user=mdettweiler [2016-10-11 16:41:06] 651*2^1442434-1 is not prime. Res64: 6E1498E1A0A7D3AB Time : 0.0 sec. user=mdettweiler [2016-10-11 16:41:07] 681*2^1442434-1 is not prime. Res64: 469C25A2A6A683EA Time : 0.0 sec. user=mdettweiler [2016-10-11 16:41:07] 687*2^1442434-1 is not prime. Res64: 37BD9317A2B91B3A Time : 0.0 sec. user=mdettweiler [2016-10-11 17:03:36] 803*2^1442434-1 is not prime. Res64: C0E796017576685B Time : 0.0 sec. user=mdettweiler [2016-10-11 17:03:37] 993*2^1442434-1 is not prime. Res64: 46F41B7CB385CA02 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:03:38] 609*2^1442435-1 is not prime. Res64: C6B24AAA86A7958E Time : 0.0 sec. user=mdettweiler [2016-10-11 17:03:38] 741*2^1442435-1 is not prime. Res64: D182CE22A8E06F58 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:03:39] 775*2^1442435-1 is not prime. Res64: 97E6D07C494F9409 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:16:33] 909*2^1442435-1 is not prime. Res64: AF08491A2C0BC97E Time : 0.0 sec. user=mdettweiler [2016-10-11 17:16:35] 725*2^1442436-1 is not prime. Res64: 7A25F324EB142067 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:16:35] 749*2^1442436-1 is not prime. Res64: 4A0CC5D181C8E404 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:16:36] 773*2^1442436-1 is not prime. Res64: 39A76E8DB1372468 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:16:37] 927*2^1442436-1 is not prime. Res64: D62FBFC78A321CE3 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:21:35] 931*2^1442437-1 is not prime. Res64: 0FEFFB271F3F81B8 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:21:35] 945*2^1442437-1 is not prime. Res64: 61F7987AA7D295B8 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:21:35] 967*2^1442437-1 is not prime. Res64: 0B32D2C7FBEC87EB Time : 0.0 sec. user=mdettweiler [2016-10-11 17:21:36] 641*2^1442438-1 is not prime. Res64: 6DF836B4967DC87B Time : 0.0 sec. user=mdettweiler [2016-10-11 17:21:36] 747*2^1442438-1 is not prime. Res64: D10E8DFA77044714 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:26:15] 771*2^1442438-1 is not prime. Res64: FDE30E8481AD4CDB Time : 0.0 sec. user=mdettweiler [2016-10-11 17:26:15] 867*2^1442438-1 is not prime. Res64: 57D35E77DE67BBB3 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:26:15] 601*2^1442439-1 is not prime. Res64: 703F4CADF043E65C Time : 0.0 sec. user=mdettweiler [2016-10-11 17:26:15] 735*2^1442439-1 is not prime. Res64: E9154C55BCBCA49F Time : 0.0 sec. user=mdettweiler [2016-10-11 17:26:16] 745*2^1442439-1 is not prime. Res64: 96DFD2D1A85468B9 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:48:53] 961*2^1442439-1 is not prime. Res64: 1699E842CE250494 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:48:53] 973*2^1442439-1 is not prime. Res64: 48115C154E7A2AE3 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:48:53] 975*2^1442439-1 is not prime. Res64: 873F53E19FAFD116 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:48:54] 609*2^1442440-1 is not prime. Res64: 1E2C361A9430ADE1 Time : 0.0 sec. user=mdettweiler [2016-10-11 17:48:54] 695*2^1442440-1 is not prime. Res64: 556A97CE1793A20E Time : 0.0 sec. user=mdettweiler [2016-10-11 18:01:50] 719*2^1442440-1 is not prime. Res64: 2F67BF55508EC613 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:01:51] 813*2^1442440-1 is not prime. Res64: 2E0F211C3BC4E20B Time : 0.0 sec. user=mdettweiler [2016-10-11 18:01:52] 839*2^1442440-1 is not prime. Res64: A683B8178085519D Time : 0.0 sec. user=mdettweiler [2016-10-11 18:01:53] 849*2^1442440-1 is not prime. Res64: 02225922D2391CD3 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:01:54] 917*2^1442440-1 is not prime. Res64: AEC905BFE95F9A21 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:06:55] 965*2^1442440-1 is not prime. Res64: C1CF7B0129072DF4 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:06:57] 619*2^1442441-1 is not prime. Res64: 029E5D7E426A10D9 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:06:58] 669*2^1442441-1 is not prime. Res64: 97FBE886ED9401A4 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:07:00] 799*2^1442441-1 is not prime. Res64: C4ECCCAA0B6702E4 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:07:00] 717*2^1442442-1 is not prime. Res64: E2CEC1F6ED434AC1 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:11:32] 891*2^1442442-1 is not prime. Res64: 004B14D197AF868B Time : 0.0 sec. user=mdettweiler [2016-10-11 18:11:32] 917*2^1442442-1 is not prime. Res64: BB16FCCF8768110B Time : 0.0 sec. user=mdettweiler [2016-10-11 18:11:32] 923*2^1442442-1 is not prime. Res64: B88744550F8E4057 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:11:33] 945*2^1442442-1 is not prime. Res64: 32CE644623780D4C Time : 0.0 sec. user=mdettweiler [2016-10-11 18:11:33] 675*2^1442443-1 is not prime. Res64: 56D48002E28367F7 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:34:08] 793*2^1442443-1 is not prime. Res64: 4C7C88B7D513B0FB Time : 0.0 sec. user=mdettweiler [2016-10-11 18:34:08] 805*2^1442443-1 is not prime. Res64: 9FE28FB91A30151F Time : 0.0 sec. user=mdettweiler [2016-10-11 18:34:08] 891*2^1442443-1 is not prime. Res64: 8EB794EB085FD5AF Time : 0.0 sec. user=mdettweiler [2016-10-11 18:34:08] 943*2^1442443-1 is not prime. Res64: A98FCCD9CCA9F630 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:34:08] 961*2^1442443-1 is not prime. Res64: B64CECEC5050BF4A Time : 0.0 sec. user=mdettweiler [2016-10-11 18:47:18] 985*2^1442443-1 is not prime. Res64: FB154636B7627970 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:47:18] 687*2^1442444-1 is not prime. Res64: 60ED077EE53BEAF6 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:47:19] 743*2^1442444-1 is not prime. Res64: F98D8E9672A88C13 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:47:19] 897*2^1442444-1 is not prime. Res64: D307EFD9846A3A7C Time : 0.0 sec. user=mdettweiler [2016-10-11 18:47:19] 927*2^1442444-1 is not prime. Res64: 00CE8C5A9EB25408 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:52:32] 935*2^1442444-1 is not prime. Res64: BB19CBE86311E12A Time : 0.0 sec. user=mdettweiler [2016-10-11 18:52:32] 627*2^1442445-1 is not prime. Res64: 0941CDD44A40E726 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:52:32] 651*2^1442445-1 is not prime. Res64: D0584F46B8307D35 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:52:32] 735*2^1442445-1 is not prime. Res64: FA8DC4FF95D43379 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:52:32] 741*2^1442445-1 is not prime. Res64: 0F8A22F7F55CA7B2 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:56:46] 653*2^1442446-1 is not prime. Res64: FEE6021B98BEFAB2 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:56:46] 743*2^1442446-1 is not prime. Res64: D73641F3DFF60242 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:56:46] 813*2^1442446-1 is not prime. Res64: B6E5D46D9C9D3080 Time : 0.0 sec. user=mdettweiler [2016-10-11 18:56:47] 833*2^1442446-1 is not prime. Res64: 8BB5B0ECB836D83E Time : 0.0 sec. user=mdettweiler [2016-10-11 18:56:47] 923*2^1442446-1 is not prime. Res64: 630CA9FF832D7544 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:19:11] 933*2^1442446-1 is not prime. Res64: E8584C366BC25A04 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:19:11] 1001*2^1442446-1 is not prime. Res64: 059CD9F864D94F20 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:19:12] 643*2^1442447-1 is not prime. Res64: AA862D1FDC66D10B Time : 0.0 sec. user=mdettweiler [2016-10-11 19:19:12] 649*2^1442447-1 is not prime. Res64: BCB3FA8A992D1BEF Time : 0.0 sec. user=mdettweiler [2016-10-11 19:19:13] 729*2^1442447-1 is not prime. Res64: 23D29FB4AD59EFC2 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:32:26] 735*2^1442447-1 is not prime. Res64: E844ABBE97CA23CC Time : 0.0 sec. user=mdettweiler [2016-10-11 19:32:26] 741*2^1442447-1 is not prime. Res64: 34AD24D9B5006B52 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:32:26] 931*2^1442447-1 is not prime. Res64: 9E40A9109AA633E7 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:32:27] 629*2^1442448-1 is not prime. Res64: 3C314A8A9FB2A2E7 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:32:27] 635*2^1442448-1 is not prime. Res64: 93EFA4271FE68DFE Time : 0.0 sec. user=mdettweiler [2016-10-11 19:37:33] 669*2^1442448-1 is not prime. Res64: A8CB0D28F3FBBAC8 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:37:34] 795*2^1442448-1 is not prime. Res64: 17DDDFF94F6FD1E1 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:37:34] 615*2^1442449-1 is not prime. Res64: C292FD64B138A2CE Time : 0.0 sec. user=mdettweiler [2016-10-11 19:37:35] 679*2^1442449-1 is not prime. Res64: 0DD4D239BCCCD623 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:37:35] 771*2^1442449-1 is not prime. Res64: 888438F614345BF3 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:42:04] 807*2^1442449-1 is not prime. Res64: 4DBB27F48128E1CF Time : 0.0 sec. user=mdettweiler [2016-10-11 19:42:05] 861*2^1442449-1 is not prime. Res64: 5B0992DBBDACB34D Time : 0.0 sec. user=mdettweiler [2016-10-11 19:42:05] 919*2^1442449-1 is not prime. Res64: CBCFC23388F8B02D Time : 0.0 sec. user=mdettweiler [2016-10-11 19:42:05] 939*2^1442449-1 is not prime. Res64: 5DB85F2F630E6150 Time : 0.0 sec. user=mdettweiler [2016-10-11 19:42:05] 985*2^1442449-1 is not prime. Res64: F2F253FBC4CD4B99 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:04:49] 755*2^1442450-1 is not prime. Res64: 7821ECF41A4D8124 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:04:50] 801*2^1442450-1 is not prime. Res64: 1BDD41EF0E63DA21 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:04:50] 827*2^1442450-1 is not prime. Res64: 9E215A7E906B1316 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:04:51] 857*2^1442450-1 is not prime. Res64: BAC7CDED92ED8BD1 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:04:52] 915*2^1442450-1 is not prime. Res64: C8BC73E755D7CB87 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:17:47] 679*2^1442451-1 is not prime. Res64: 09CAE7EBDA78492D Time : 0.0 sec. user=mdettweiler [2016-10-11 20:17:49] 805*2^1442451-1 is not prime. Res64: FAC1AA37D6FDF384 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:17:50] 873*2^1442451-1 is not prime. Res64: 8A470748A3B87848 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:17:51] 975*2^1442451-1 is not prime. Res64: 682C2C67AB9A7A4D Time : 0.0 sec. user=mdettweiler [2016-10-11 20:17:52] 603*2^1442452-1 is not prime. Res64: 475F6B06AD433BAB Time : 0.0 sec. user=mdettweiler [2016-10-11 20:23:10] 693*2^1442452-1 is not prime. Res64: A9A9B031A804B381 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:23:10] 695*2^1442452-1 is not prime. Res64: 5CD7392413B46858 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:23:11] 813*2^1442452-1 is not prime. Res64: B30163947A4729D2 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:23:11] 983*2^1442452-1 is not prime. Res64: C9F19E28C9FBBD56 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:23:11] 621*2^1442453-1 is not prime. Res64: A9D31737A87DB8CC Time : 0.0 sec. user=mdettweiler [2016-10-11 20:27:23] 627*2^1442453-1 is not prime. Res64: 578646CA279FA7D6 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:27:23] 675*2^1442453-1 is not prime. Res64: E585FFD79A33898B Time : 0.0 sec. user=mdettweiler [2016-10-11 20:27:24] 715*2^1442453-1 is not prime. Res64: F93DCDF5A65E1EDD Time : 0.0 sec. user=mdettweiler [2016-10-11 20:27:24] 831*2^1442453-1 is not prime. Res64: AD3AF6F4A62613B4 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:27:24] 693*2^1442454-1 is not prime. Res64: 6EE64D1B67730F70 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:50:41] 747*2^1442454-1 is not prime. Res64: 542F43495B48EE93 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:50:42] 807*2^1442454-1 is not prime. Res64: 29F9128A7CD17481 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:50:42] 873*2^1442454-1 is not prime. Res64: D522834F43AA996C Time : 0.0 sec. user=mdettweiler [2016-10-11 20:50:42] 679*2^1442455-1 is not prime. Res64: 58108FF09C824F07 Time : 0.0 sec. user=mdettweiler [2016-10-11 20:50:42] 723*2^1442455-1 is not prime. Res64: B525F2D785C09955 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:04:09] 805*2^1442455-1 is not prime. Res64: 28EB3A4E5B16473E Time : 0.0 sec. user=mdettweiler [2016-10-11 21:04:13] 915*2^1442455-1 is not prime. Res64: 1BA1622476490D41 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:04:15] 979*2^1442455-1 is not prime. Res64: B14C684DFE905103 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:04:15] 985*2^1442455-1 is not prime. Res64: 924080A38F07264D Time : 0.0 sec. user=mdettweiler [2016-10-11 21:04:16] 693*2^1442456-1 is not prime. Res64: A07D97EC725DCD06 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:09:11] 747*2^1442456-1 is not prime. Res64: 41A2BCF40033D57F Time : 0.0 sec. user=mdettweiler [2016-10-11 21:09:11] 869*2^1442456-1 is not prime. Res64: 746D57CA10550FD1 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:09:12] 875*2^1442456-1 is not prime. Res64: 9C8E2CDCFF3BB51F Time : 0.0 sec. user=mdettweiler [2016-10-11 21:09:12] 999*2^1442456-1 is not prime. Res64: 0DBB935BE83E0DC6 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:09:12] 637*2^1442457-1 is not prime. Res64: BA22D9DBFC1C0AA6 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:13:28] 699*2^1442457-1 is not prime. Res64: D9392B2A4211648B Time : 0.0 sec. user=mdettweiler [2016-10-11 21:13:29] 769*2^1442457-1 is not prime. Res64: EBA710C8F8E20818 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:13:29] 829*2^1442457-1 is not prime. Res64: 0C33DA2FB5D9A6A2 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:13:29] 909*2^1442457-1 is not prime. Res64: 4466930001413124 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:13:30] 937*2^1442457-1 is not prime. Res64: 358A8A371A9879DE Time : 0.0 sec. user=mdettweiler [2016-10-11 21:35:57] 991*2^1442457-1 is not prime. Res64: EF4965A664E06595 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:35:59] 831*2^1442458-1 is not prime. Res64: 9A8C1A965F0EF215 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:36:00] 915*2^1442458-1 is not prime. Res64: 2C8469B86051DE86 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:36:00] 923*2^1442458-1 is not prime. Res64: 77A8A032FBDCD8F1 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:36:00] 957*2^1442458-1 is not prime. Res64: 6B0700F0BC898766 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:51:13] 981*2^1442458-1 is not prime. Res64: D6E34F3758B84380 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:51:14] 615*2^1442459-1 is not prime. Res64: FA3FCEAA524A1094 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:51:14] 663*2^1442459-1 is not prime. Res64: D8A33DB038141FAE Time : 0.0 sec. user=mdettweiler [2016-10-11 21:51:14] 711*2^1442459-1 is not prime. Res64: 3F6BD06723C8C0F5 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:51:15] 819*2^1442459-1 is not prime. Res64: 9002F7823BA91C3F Time : 0.0 sec. user=mdettweiler [2016-10-11 21:57:09] 943*2^1442459-1 is not prime. Res64: 9BD958F6CAE455B8 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:57:09] 955*2^1442459-1 is not prime. Res64: E2B87881B9D09B58 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:57:09] 973*2^1442459-1 is not prime. Res64: 2E2101AB8856FA6E Time : 0.0 sec. user=mdettweiler [2016-10-11 21:57:10] 999*2^1442459-1 is not prime. Res64: 4ECC11B5D5373614 Time : 0.0 sec. user=mdettweiler [2016-10-11 21:57:10] 627*2^1442460-1 is not prime. Res64: BD0F170CD8204EEE Time : 0.0 sec. user=mdettweiler [2016-10-11 22:02:10] 765*2^1442460-1 is not prime. Res64: 70B34C253830DA02 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:02:11] 875*2^1442460-1 is not prime. Res64: F6201323955F33C6 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:02:11] 929*2^1442460-1 is not prime. Res64: 29CBD5439FE41F3B Time : 0.0 sec. user=mdettweiler [2016-10-11 22:02:12] 715*2^1442461-1 is not prime. Res64: 9AE4F248B7C18D09 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:02:12] 799*2^1442461-1 is not prime. Res64: 9391FCBA9243E39D Time : 0.0 sec. user=mdettweiler [2016-10-11 22:29:46] 801*2^1442461-1 is not prime. Res64: D4854E62A0D1DA29 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:29:46] 889*2^1442461-1 is not prime. Res64: C74BB1F7D8DFF212 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:29:46] 957*2^1442461-1 is not prime. Res64: 7FC49F1C020798F2 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:29:46] 651*2^1442462-1 is not prime. Res64: 9DDD34253C2C4E81 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:29:47] 705*2^1442462-1 is not prime. Res64: F75037EE56A71396 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:46:00] 731*2^1442462-1 is not prime. Res64: DB0C55F4C227D7C8 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:46:01] 755*2^1442462-1 is not prime. Res64: AA7E4C2DE1A351F1 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:46:01] 791*2^1442462-1 is not prime. Res64: 334B9903799D8172 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:46:01] 843*2^1442462-1 is not prime. Res64: AA215E0EC36E7040 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:46:01] 873*2^1442462-1 is not prime. Res64: AADF5A7F874840B1 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:52:44] 893*2^1442462-1 is not prime. Res64: 12C3DF103D20AF04 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:52:44] 915*2^1442462-1 is not prime. Res64: B51D8DE20157D2E2 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:52:44] 941*2^1442462-1 is not prime. Res64: 2436C869751ADD46 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:52:45] 613*2^1442463-1 is not prime. Res64: 151B40EE4A98D9E4 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:52:45] 675*2^1442463-1 is not prime. Res64: 17C8EE473547B45E Time : 0.0 sec. user=mdettweiler [2016-10-11 22:56:15] 871*2^1442463-1 is not prime. Res64: 967D64A6D4F4AFAE Time : 0.0 sec. user=mdettweiler [2016-10-11 22:56:15] 945*2^1442463-1 is not prime. Res64: C6C2722F54380772 Time : 0.0 sec. user=mdettweiler [2016-10-11 22:56:15] 639*2^1442464-1 is not prime. Res64: E4394D4EE2233B2A Time : 0.0 sec. user=mdettweiler [2016-10-11 22:56:15] 869*2^1442464-1 is not prime. Res64: 998B6ED31775BF2C Time : 0.0 sec. user=mdettweiler [2016-10-11 22:56:16] 975*2^1442464-1 is not prime. Res64: E96D9A6E9D0A03B0 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:19:30] 983*2^1442464-1 is not prime. Res64: 4B3CC88EDB46F59B Time : 0.0 sec. user=mdettweiler [2016-10-11 23:19:30] 989*2^1442464-1 is not prime. Res64: D2364F0A8461FAD1 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:19:30] 717*2^1442465-1 is not prime. Res64: 11629DEACB2D0888 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:19:31] 789*2^1442465-1 is not prime. Res64: 5A2B9F6F7F90362F Time : 0.0 sec. user=mdettweiler [2016-10-11 23:19:31] 867*2^1442465-1 is not prime. Res64: 57BE2F7E37B1CCB1 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:33:09] 981*2^1442465-1 is not prime. Res64: E08928B85312E049 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:33:09] 741*2^1442466-1 is not prime. Res64: BFA3ED1E23DFF3AA Time : 0.0 sec. user=mdettweiler [2016-10-11 23:33:10] 983*2^1442466-1 is not prime. Res64: E2C47FA9D78DB9C4 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:33:10] 645*2^1442467-1 is not prime. Res64: E1AE229470404F92 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:33:10] 651*2^1442467-1 is not prime. Res64: DA4CB51FA83E8A38 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:40:52] 691*2^1442467-1 is not prime. Res64: A65AE278B5B57F5B Time : 0.0 sec. user=mdettweiler [2016-10-11 23:40:52] 735*2^1442467-1 is not prime. Res64: 4BE7BFDD2051B485 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:40:52] 793*2^1442467-1 is not prime. Res64: 4F7827CBBA9E4818 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:40:53] 835*2^1442467-1 is not prime. Res64: D73FEDA72BB42469 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:40:53] 859*2^1442467-1 is not prime. Res64: 44FC1BFF06D8F8E4 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:44:26] 871*2^1442467-1 is not prime. Res64: CE140099CB0DC6A2 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:44:26] 883*2^1442467-1 is not prime. Res64: 4BBE90B12966355B Time : 0.0 sec. user=mdettweiler [2016-10-11 23:44:27] 951*2^1442467-1 is not prime. Res64: E5BF0B69801548B3 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:44:27] 669*2^1442468-1 is not prime. Res64: AF5CCB12B56B6281 Time : 0.0 sec. user=mdettweiler [2016-10-11 23:44:27] 699*2^1442468-1 is not prime. Res64: 26A0F7FA3FC9B87F Time : 0.0 sec.