user=mdettweiler [2015-12-08 00:07:00] 889*2^1417085-1 is not prime. Res64: D7C1DFA303B86DA3 Time : 0.0 sec. user=mdettweiler [2015-12-08 00:07:00] 907*2^1417085-1 is not prime. Res64: AE9B6E1A8DEA79FC Time : 0.0 sec. user=mdettweiler [2015-12-08 00:07:02] 897*2^1417085-1 is not prime. Res64: C99650423B2ACAF1 Time : 0.0 sec. user=mdettweiler [2015-12-08 00:07:02] 635*2^1417086-1 is not prime. Res64: 521785FA1F94859D Time : 0.0 sec. user=mdettweiler [2015-12-08 00:07:27] 765*2^1417086-1 is not prime. Res64: 0E754ECED40EC156 Time : 0.0 sec. user=mdettweiler [2015-12-08 00:07:28] 777*2^1417086-1 is not prime. Res64: 96EBFC0592E2F6D2 Time : 0.0 sec. user=mdettweiler [2015-12-08 00:25:12] 793*2^1417087-1 is not prime. Res64: 3200C9B4D56FB78A Time : 0.0 sec. user=mdettweiler [2015-12-08 00:25:14] 861*2^1417087-1 is not prime. Res64: 4BF088590F31B0E9 Time : 0.0 sec. user=mdettweiler [2015-12-08 00:25:16] 893*2^1417086-1 is not prime. Res64: 162D8DE782B6DA73 Time : 0.0 sec. user=mdettweiler [2015-12-08 00:25:21] 645*2^1417087-1 is not prime. Res64: FC517F6A06BBB9C3 Time : 0.0 sec. user=mdettweiler [2015-12-08 00:25:26] 973*2^1417087-1 is not prime. Res64: 5EE3BBB4A145CC9B Time : 0.0 sec. user=mdettweiler [2015-12-08 00:25:26] 725*2^1417088-1 is not prime. Res64: C8BD8252ED36616F Time : 0.0 sec. user=mdettweiler [2015-12-08 00:42:58] 743*2^1417088-1 is not prime. Res64: 0D9D5717A743C85E Time : 0.0 sec. user=mdettweiler [2015-12-08 00:42:59] 845*2^1417088-1 is not prime. Res64: 39CD6F38BCC2C14B Time : 0.0 sec. user=mdettweiler [2015-12-08 00:42:59] 875*2^1417088-1 is not prime. Res64: A4E30655796F6BC4 Time : 0.0 sec. user=mdettweiler [2015-12-08 00:43:00] 915*2^1417088-1 is not prime. Res64: 092D5A9D39347BB1 Time : 0.0 sec. user=mdettweiler [2015-12-08 00:43:05] 945*2^1417088-1 is not prime. Res64: BE1DA8BC82D83B85 Time : 0.0 sec. user=mdettweiler [2015-12-08 00:43:05] 963*2^1417088-1 is not prime. Res64: 6A305146AA81EA0F Time : 0.0 sec. user=mdettweiler [2015-12-08 01:00:35] 627*2^1417089-1 is not prime. Res64: 5CE11073025561C2 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:00:35] 637*2^1417089-1 is not prime. Res64: 1F318A182A73E5AB Time : 0.0 sec. user=mdettweiler [2015-12-08 01:00:36] 685*2^1417089-1 is not prime. Res64: EA3BC32A2F2BA88F Time : 0.0 sec. user=mdettweiler [2015-12-08 01:00:36] 741*2^1417089-1 is not prime. Res64: DA1AF4E1B3B53CBD Time : 0.0 sec. user=mdettweiler [2015-12-08 01:00:41] 745*2^1417089-1 is not prime. Res64: 14EAC851C28D70A3 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:00:42] 847*2^1417089-1 is not prime. Res64: F0FAC5C53DA50BBD Time : 0.0 sec. user=mdettweiler [2015-12-08 01:18:12] 889*2^1417089-1 is not prime. Res64: 159E7BB723C4118A Time : 0.0 sec. user=mdettweiler [2015-12-08 01:18:13] 907*2^1417089-1 is not prime. Res64: 643A7BE40BCF0F04 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:18:14] 635*2^1417090-1 is not prime. Res64: 7A3F4D765C9E938E Time : 0.0 sec. user=mdettweiler [2015-12-08 01:18:15] 713*2^1417090-1 is not prime. Res64: 7432E5E887833AB4 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:18:19] 603*2^1417091-1 is not prime. Res64: 056011232C5E2016 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:18:20] 645*2^1417091-1 is not prime. Res64: D75163F48D1D4522 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:35:52] 705*2^1417091-1 is not prime. Res64: C4BC25DD87778653 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:35:52] 921*2^1417091-1 is not prime. Res64: 09BDDCACFFB74CF6 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:35:52] 843*2^1417091-1 is not prime. Res64: A58B335C418AB6F3 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:35:53] 627*2^1417092-1 is not prime. Res64: 6AF45C8300EC0EB8 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:35:56] 909*2^1417092-1 is not prime. Res64: 0717DDE8DEA95102 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:35:56] 625*2^1417093-1 is not prime. Res64: C85DDA1A0C2872AD Time : 0.0 sec. user=mdettweiler [2015-12-08 01:53:31] 649*2^1417093-1 is not prime. Res64: EEA52BA11F8B203E Time : 0.0 sec. user=mdettweiler [2015-12-08 01:53:32] 685*2^1417093-1 is not prime. Res64: D17B1973D9927E7E Time : 0.0 sec. user=mdettweiler [2015-12-08 01:53:33] 691*2^1417093-1 is not prime. Res64: 3255E5B66AD73260 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:53:33] 765*2^1417093-1 is not prime. Res64: 75D999E779CC1A50 Time : 0.0 sec. user=mdettweiler [2015-12-08 01:53:34] 855*2^1417093-1 is not prime. Res64: 78DD4E8D0FFD6A5F Time : 0.0 sec. user=mdettweiler [2015-12-08 01:53:34] 727*2^1417093-1 is not prime. Res64: 8CD7F1E55B8A9C5E Time : 0.0 sec. user=mdettweiler [2015-12-08 02:11:09] 967*2^1417093-1 is not prime. Res64: EFEB80D98C17C66E Time : 0.0 sec. user=mdettweiler [2015-12-08 02:11:10] 645*2^1417094-1 is not prime. Res64: 6871FC2D630E4D6E Time : 0.0 sec. user=mdettweiler [2015-12-08 02:11:10] 857*2^1417094-1 is not prime. Res64: 94224E3BF42DDD8B Time : 0.0 sec. user=mdettweiler [2015-12-08 02:11:10] 887*2^1417094-1 is not prime. Res64: BF73EA4E75EA9CDA Time : 0.0 sec. user=mdettweiler [2015-12-08 02:11:11] 687*2^1417094-1 is not prime. Res64: 57C70A7A9E902CF4 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:11:11] 717*2^1417094-1 is not prime. Res64: 38CABAD21BF27552 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:28:47] 675*2^1417095-1 is not prime. Res64: DC440690FFAE7207 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:28:47] 935*2^1417094-1 is not prime. Res64: 50692489EF9C2BB9 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:28:48] 685*2^1417095-1 is not prime. Res64: 71158814B677D551 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:28:49] 981*2^1417094-1 is not prime. Res64: 04DDFDA852174434 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:28:51] 765*2^1417095-1 is not prime. Res64: 5A99EECCD2F2D03A Time : 0.0 sec. user=mdettweiler [2015-12-08 02:28:53] 819*2^1417095-1 is not prime. Res64: 4C5D93DABAD73363 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:46:39] 853*2^1417095-1 is not prime. Res64: CA38256B14DE69A9 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:46:39] 943*2^1417095-1 is not prime. Res64: C70C2777C31A9D34 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:46:39] 885*2^1417095-1 is not prime. Res64: 80EB5CB75FDE3F2D Time : 0.0 sec. user=mdettweiler [2015-12-08 02:46:39] 963*2^1417095-1 is not prime. Res64: 8DE6DE8594407874 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:46:39] 955*2^1417095-1 is not prime. Res64: AEBA01479FDF86A8 Time : 0.0 sec. user=mdettweiler [2015-12-08 02:46:39] 973*2^1417095-1 is not prime. Res64: 0C11F5716371AC68 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:04:17] 999*2^1417095-1 is not prime. Res64: AD332726BD5D74C9 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:04:17] 677*2^1417096-1 is not prime. Res64: 09CE909485CE64F2 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:04:17] 639*2^1417096-1 is not prime. Res64: BC7D7A344A627329 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:04:19] 603*2^1417096-1 is not prime. Res64: 22BD31228C4FFC52 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:04:21] 779*2^1417096-1 is not prime. Res64: F31F5555EF052D66 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:04:22] 653*2^1417096-1 is not prime. Res64: DFFF984377855EF0 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:22:18] 933*2^1417096-1 is not prime. Res64: EF5EA710271F759A Time : 0.0 sec. user=mdettweiler [2015-12-08 03:22:18] 939*2^1417096-1 is not prime. Res64: 96203184323DDC9F Time : 0.0 sec. user=mdettweiler [2015-12-08 03:22:19] 727*2^1417097-1 is not prime. Res64: BF60C034BB7FB2EE Time : 0.0 sec. user=mdettweiler [2015-12-08 03:22:20] 847*2^1417097-1 is not prime. Res64: 8D701032DF8EA5A4 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:22:20] 969*2^1417096-1 is not prime. Res64: 3C5FFB12F2C2B744 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:22:20] 697*2^1417097-1 is not prime. Res64: 8E34FEE02B2F0E33 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:40:02] 949*2^1417097-1 is not prime. Res64: 31F82F90BF958A15 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:40:03] 861*2^1417097-1 is not prime. Res64: 509EE63A612FF306 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:40:14] 955*2^1417097-1 is not prime. Res64: 207E39BDA98AC6CA Time : 0.0 sec. user=mdettweiler [2015-12-08 03:40:14] 663*2^1417098-1 is not prime. Res64: 0793A1876122C767 Time : 0.0 sec. user=mdettweiler [2015-12-08 03:58:44] 735*2^1417098-1 is not prime. Res64: FF7F1002CF7EC57C Time : 0.0 sec. user=mdettweiler [2015-12-08 03:58:45] 755*2^1417098-1 is not prime. Res64: DFCE72078D61D6CE Time : 0.0 sec. user=mdettweiler [2015-12-08 04:17:02] 765*2^1417098-1 is not prime. Res64: 515EFA5924ABB8E9 Time : 0.0 sec. user=mdettweiler [2015-12-08 04:17:03] 631*2^1417099-1 is not prime. Res64: 079DE3F1D1CC1490 Time : 0.0 sec. user=mdettweiler [2015-12-08 04:35:21] 691*2^1417099-1 is not prime. Res64: 3969E9E978349BF9 Time : 0.0 sec. user=mdettweiler [2015-12-08 04:35:22] 793*2^1417099-1 is not prime. Res64: 5A3C1F56D7A57936 Time : 0.0 sec. user=mdettweiler [2015-12-08 04:53:41] 801*2^1417099-1 is not prime. Res64: 67C250F37D72F3F7 Time : 0.0 sec. user=mdettweiler [2015-12-08 04:53:42] 939*2^1417099-1 is not prime. Res64: 1E015C67BC957675 Time : 0.0 sec. user=mdettweiler [2015-12-08 04:59:32] 865*2^1417097-1 is not prime. Res64: C50245C7FB97DA80 Time : 0.0 sec. user=mdettweiler [2015-12-08 05:04:36] 677*2^1417098-1 is not prime. Res64: D5D545BB2A602311 Time : 0.0 sec. user=mdettweiler [2015-12-08 05:11:35] 951*2^1417099-1 is not prime. Res64: E818DF5C174A5A07 Time : 0.0 sec. user=mdettweiler [2015-12-08 05:11:35] 999*2^1417099-1 is not prime. Res64: 09847E4FFE795A98 Time : 0.0 sec. user=mdettweiler [2015-12-08 05:17:13] 603*2^1417100-1 is not prime. Res64: 40B95AB63C210621 Time : 0.0 sec. user=mdettweiler [2015-12-08 05:17:14] 615*2^1417100-1 is not prime. Res64: B794A9DDD29DDDA2 Time : 0.0 sec. user=mdettweiler [2015-12-08 05:22:17] 699*2^1417100-1 is not prime. Res64: 3F676374676100AB Time : 0.0 sec. user=mdettweiler [2015-12-08 05:22:17] 735*2^1417100-1 is not prime. Res64: 2C2F81F825788770 Time : 0.0 sec. user=mdettweiler [2015-12-08 05:29:11] 767*2^1417100-1 is not prime. Res64: CE3F5D00A9571034 Time : 0.0 sec. user=mdettweiler [2015-12-08 05:29:11] 789*2^1417100-1 is not prime. Res64: 4E740D27AB77E60F Time : 0.0 sec. user=mdettweiler [2015-12-08 05:34:58] 857*2^1417100-1 is not prime. Res64: 09C672907A2D4340 Time : 0.0 sec. user=mdettweiler [2015-12-08 05:34:58] 875*2^1417100-1 is not prime. Res64: 3F70C6078730F36E Time : 0.0 sec. user=mdettweiler [2015-12-08 05:39:52] 639*2^1417101-1 is not prime. Res64: 7D82CBCA1B0DD8A8 Time : 0.0 sec. user=mdettweiler [2015-12-08 05:39:53] 661*2^1417101-1 is not prime. Res64: 7D5996F9D82798AC Time : 0.0 sec. user=mdettweiler [2015-12-08 05:46:48] 727*2^1417101-1 is not prime. Res64: 09CC85629522B90B Time : 0.0 sec. user=mdettweiler [2015-12-08 05:46:49] 747*2^1417101-1 is not prime. Res64: FDC278E1C87C188C Time : 0.0 sec. user=mdettweiler [2015-12-08 05:52:33] 861*2^1417101-1 is not prime. Res64: BA53B83FB14DD30A Time : 0.0 sec. user=mdettweiler [2015-12-08 05:52:33] 895*2^1417101-1 is not prime. Res64: 7E24D58FA805238B Time : 0.0 sec. user=mdettweiler [2015-12-08 05:57:28] 927*2^1417101-1 is not prime. Res64: 271131BD0C820F6B Time : 0.0 sec. user=mdettweiler [2015-12-08 05:57:28] 975*2^1417101-1 is not prime. Res64: 482C77492A2FEF03 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:04:27] 671*2^1417102-1 is not prime. Res64: 6ED21E3AB103C262 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:04:28] 705*2^1417102-1 is not prime. Res64: 8CCE7049D3A82F91 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:10:12] 791*2^1417102-1 is not prime. Res64: 530E4773C7F1E524 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:10:13] 827*2^1417102-1 is not prime. Res64: D7A43FE563D53584 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:15:07] 833*2^1417102-1 is not prime. Res64: 0BC8A6FEDAEF2B40 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:15:07] 863*2^1417102-1 is not prime. Res64: 36B2E0073656F483 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:22:07] 945*2^1417102-1 is not prime. Res64: A0CF0056E23E118F Time : 0.0 sec. user=mdettweiler [2015-12-08 06:22:07] 947*2^1417102-1 is not prime. Res64: B36B767BA6BA84D4 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:27:58] 981*2^1417102-1 is not prime. Res64: B77213E559A3394C Time : 0.0 sec. user=mdettweiler [2015-12-08 06:27:58] 987*2^1417102-1 is not prime. Res64: 30BE8D64D67D8220 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:32:45] 615*2^1417103-1 is not prime. Res64: 502A0C7405B38AA1 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:32:46] 669*2^1417103-1 is not prime. Res64: 34541A1DBDD68F7C Time : 0.0 sec. user=mdettweiler [2015-12-08 06:39:44] 859*2^1417103-1 is not prime. Res64: 4412CE50273FF8F0 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:39:45] 969*2^1417103-1 is not prime. Res64: 0106A8262E88E4AA Time : 0.0 sec. user=mdettweiler [2015-12-08 06:45:34] 605*2^1417104-1 is not prime. Res64: 59D3B9F4A6A83092 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:45:34] 675*2^1417104-1 is not prime. Res64: 50174855FB4880EC Time : 0.0 sec. user=mdettweiler [2015-12-08 06:50:21] 707*2^1417104-1 is not prime. Res64: 533CF9AD2FC2E61F Time : 0.0 sec. user=mdettweiler [2015-12-08 06:50:22] 789*2^1417104-1 is not prime. Res64: 364DD0821FD7EB67 Time : 0.0 sec. user=mdettweiler [2015-12-08 06:57:24] 825*2^1417104-1 is not prime. Res64: E8F4A7FBD78FDFFD Time : 0.0 sec. user=mdettweiler [2015-12-08 06:57:24] 843*2^1417104-1 is not prime. Res64: B40159B35B94BC8B Time : 0.0 sec. user=mdettweiler [2015-12-08 07:03:19] 927*2^1417104-1 is not prime. Res64: 6D89C7327DC2B343 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:03:20] 945*2^1417104-1 is not prime. Res64: 4BE6F5E007D0FB73 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:08:04] 607*2^1417105-1 is not prime. Res64: 2BE111EB16C2DDC9 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:08:05] 687*2^1417105-1 is not prime. Res64: 52DAD4C7DFE7CA1E Time : 0.0 sec. user=mdettweiler [2015-12-08 07:15:17] 771*2^1417105-1 is not prime. Res64: 4EAFDFA54425D845 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:15:17] 777*2^1417105-1 is not prime. Res64: 48AF786BF99D3005 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:21:12] 805*2^1417105-1 is not prime. Res64: DE6669EAAE407907 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:21:12] 831*2^1417105-1 is not prime. Res64: 817F36338A8210A3 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:25:49] 861*2^1417105-1 is not prime. Res64: A952C78325C6F92F Time : 0.0 sec. user=mdettweiler [2015-12-08 07:25:49] 773*2^1417106-1 is not prime. Res64: 0A3AA23C6768270F Time : 0.0 sec. user=mdettweiler [2015-12-08 07:32:55] 801*2^1417106-1 is not prime. Res64: D25FA58DD4A8E5EA Time : 0.0 sec. user=mdettweiler [2015-12-08 07:32:55] 833*2^1417106-1 is not prime. Res64: 80342FB9B42BC744 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:38:50] 945*2^1417106-1 is not prime. Res64: CC5C065034695C35 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:38:51] 971*2^1417106-1 is not prime. Res64: BB11AFEF53C4A1B4 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:43:27] 981*2^1417106-1 is not prime. Res64: 39829CEE06194DFB Time : 0.0 sec. user=mdettweiler [2015-12-08 07:43:27] 751*2^1417107-1 is not prime. Res64: D794A3A59031BDF1 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:50:32] 849*2^1417107-1 is not prime. Res64: 77A6D28E967DB549 Time : 0.0 sec. user=mdettweiler [2015-12-08 07:50:32] 903*2^1417107-1 is not prime. Res64: A90A3A13CD9FA82C Time : 0.0 sec. user=mdettweiler [2015-12-08 07:56:28] 955*2^1417107-1 is not prime. Res64: F6197F0B4331BB2F Time : 0.0 sec. user=mdettweiler [2015-12-08 07:56:29] 963*2^1417107-1 is not prime. Res64: 7050C0B40EDA1946 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:01:05] 885*2^1417108-1 is not prime. Res64: D2E135C724DDF2F7 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:01:06] 685*2^1417109-1 is not prime. Res64: 6FB2FF0B1EE88462 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:08:09] 727*2^1417109-1 is not prime. Res64: AE86DB8247D763F0 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:08:11] 861*2^1417109-1 is not prime. Res64: FF5A236632E4CA8F Time : 0.0 sec. user=mdettweiler [2015-12-08 08:14:06] 865*2^1417109-1 is not prime. Res64: 5D09CF180CA8A4B2 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:14:07] 889*2^1417109-1 is not prime. Res64: B68539E14D6D4328 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:18:44] 897*2^1417109-1 is not prime. Res64: 5C62127CFCCDDB02 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:18:45] 951*2^1417109-1 is not prime. Res64: 144D4F3F89B1EE23 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:25:59] 647*2^1417110-1 is not prime. Res64: 8239343B7417D417 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:25:59] 725*2^1417110-1 is not prime. Res64: B2B751A59266D121 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:31:48] 777*2^1417110-1 is not prime. Res64: 4BA6B3149B8F197E Time : 0.0 sec. user=mdettweiler [2015-12-08 08:31:48] 845*2^1417110-1 is not prime. Res64: 87E2DB44EA4A5430 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:36:24] 851*2^1417110-1 is not prime. Res64: 4FEDE56B50AFF051 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:36:25] 891*2^1417110-1 is not prime. Res64: 8144CCD312245052 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:43:41] 945*2^1417110-1 is not prime. Res64: 99CF77C6E859D3AD Time : 0.0 sec. user=mdettweiler [2015-12-08 08:43:41] 951*2^1417110-1 is not prime. Res64: B26C1801539CAF9C Time : 0.0 sec. user=mdettweiler [2015-12-08 08:49:28] 625*2^1417111-1 is not prime. Res64: EC49FFFCCC089DB8 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:49:28] 763*2^1417111-1 is not prime. Res64: 888794E1A4EB7B2C Time : 0.0 sec. user=mdettweiler [2015-12-08 08:54:03] 841*2^1417111-1 is not prime. Res64: EFBF6BE4B4191B38 Time : 0.0 sec. user=mdettweiler [2015-12-08 08:54:03] 951*2^1417111-1 is not prime. Res64: E983B328BEBBAA15 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:01:20] 961*2^1417111-1 is not prime. Res64: A8EC4FBCCBFD3C17 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:01:21] 975*2^1417111-1 is not prime. Res64: FEF1897895EEA193 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:07:05] 675*2^1417112-1 is not prime. Res64: 5E52555F16AA8082 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:07:07] 677*2^1417112-1 is not prime. Res64: 9A086FD74D57A711 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:11:39] 699*2^1417112-1 is not prime. Res64: 784FA96AAF53E943 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:11:40] 855*2^1417112-1 is not prime. Res64: 40D8AF2563A35FBB Time : 0.0 sec. user=mdettweiler [2015-12-08 09:19:10] 893*2^1417112-1 is not prime. Res64: 5A7D9FB870E232BB Time : 0.0 sec. user=mdettweiler [2015-12-08 09:19:10] 945*2^1417112-1 is not prime. Res64: 6A7257883013A0E3 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:24:59] 959*2^1417112-1 is not prime. Res64: 99104227E44EE542 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:24:59] 745*2^1417113-1 is not prime. Res64: 35C87EFF23C0A285 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:29:18] 765*2^1417113-1 is not prime. Res64: 5A78F23D246D4FED Time : 0.0 sec. user=mdettweiler [2015-12-08 09:29:18] 781*2^1417113-1 is not prime. Res64: A2F4160803367E34 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:36:50] 605*2^1417114-1 is not prime. Res64: BB15C750C5011426 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:36:50] 677*2^1417114-1 is not prime. Res64: EFCBC197B3222000 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:42:35] 915*2^1417114-1 is not prime. Res64: 8A17ADB50DB9322A Time : 0.0 sec. user=mdettweiler [2015-12-08 09:42:35] 917*2^1417114-1 is not prime. Res64: FC7BB84286465E6B Time : 0.0 sec. user=mdettweiler [2015-12-08 09:46:54] 981*2^1417114-1 is not prime. Res64: C7106600992A9852 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:46:54] 633*2^1417115-1 is not prime. Res64: F19A6E7E87131B57 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:54:27] 699*2^1417115-1 is not prime. Res64: DEDDEDAC0D8D9CE9 Time : 0.0 sec. user=mdettweiler [2015-12-08 09:54:28] 825*2^1417115-1 is not prime. Res64: 2BAD5519813CF615 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:00:14] 841*2^1417115-1 is not prime. Res64: 83633A2AAA29F20B Time : 0.0 sec. user=mdettweiler [2015-12-08 10:00:15] 939*2^1417115-1 is not prime. Res64: 4AFD0EC8CC0CD9AD Time : 0.0 sec. user=mdettweiler [2015-12-08 10:04:34] 609*2^1417116-1 is not prime. Res64: 96BD1A0FD3D1E217 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:04:36] 683*2^1417116-1 is not prime. Res64: 590F77920E8C66DE Time : 0.0 sec. user=mdettweiler [2015-12-08 10:12:06] 695*2^1417116-1 is not prime. Res64: B95DBD987062453F Time : 0.0 sec. user=mdettweiler [2015-12-08 10:12:07] 789*2^1417116-1 is not prime. Res64: EB0B6BED29871F64 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:17:52] 803*2^1417116-1 is not prime. Res64: 8BE6E84828FF404B Time : 0.0 sec. user=mdettweiler [2015-12-08 10:17:52] 909*2^1417116-1 is not prime. Res64: 06DBF30F05DC747A Time : 0.0 sec. user=mdettweiler [2015-12-08 10:22:11] 923*2^1417116-1 is not prime. Res64: C859C9104AF0C93B Time : 0.0 sec. user=mdettweiler [2015-12-08 10:22:12] 609*2^1417117-1 is not prime. Res64: 0FAB1D04673AA847 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:29:50] 715*2^1417117-1 is not prime. Res64: 43BDFB8712C58165 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:29:50] 729*2^1417117-1 is not prime. Res64: EC5EEF8477421DE3 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:35:29] 825*2^1417117-1 is not prime. Res64: 2F2F69F2C3E5EBD4 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:35:29] 885*2^1417117-1 is not prime. Res64: 9F7C643F3D8C9663 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:39:48] 931*2^1417117-1 is not prime. Res64: 2CF3B5218786ED88 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:39:48] 617*2^1417118-1 is not prime. Res64: 4407A6A942B25A18 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:47:26] 773*2^1417118-1 is not prime. Res64: D05D0B12352E8DEE Time : 0.0 sec. user=mdettweiler [2015-12-08 10:47:26] 875*2^1417118-1 is not prime. Res64: 2CF52A505AB3C38A Time : 0.0 sec. user=mdettweiler [2015-12-08 10:53:03] 885*2^1417118-1 is not prime. Res64: 5A474129F500495F Time : 0.0 sec. user=mdettweiler [2015-12-08 10:53:04] 893*2^1417118-1 is not prime. Res64: 90BD37544D32F7A0 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:57:28] 971*2^1417118-1 is not prime. Res64: A77816848E495F98 Time : 0.0 sec. user=mdettweiler [2015-12-08 10:57:29] 615*2^1417119-1 is not prime. Res64: 13107AF04AF75AE6 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:05:03] 663*2^1417119-1 is not prime. Res64: 15711EEFDE84A7F1 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:05:05] 675*2^1417119-1 is not prime. Res64: DBA12F072D234ED6 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:10:42] 685*2^1417119-1 is not prime. Res64: A30F79A25CB74259 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:10:43] 721*2^1417119-1 is not prime. Res64: DA996D171A1D4EFA Time : 0.0 sec. user=mdettweiler [2015-12-08 11:15:08] 741*2^1417119-1 is not prime. Res64: B7540CE527E57BEF Time : 0.0 sec. user=mdettweiler [2015-12-08 11:15:08] 751*2^1417119-1 is not prime. Res64: 22C9CBC2ADE0BB52 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:22:42] 861*2^1417119-1 is not prime. Res64: 3FD9BD12B94FF5C4 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:22:43] 985*2^1417119-1 is not prime. Res64: F89A067726E104CE Time : 0.0 sec. user=mdettweiler [2015-12-08 11:28:30] 609*2^1417120-1 is not prime. Res64: E28B8B61A590C51D Time : 0.0 sec. user=mdettweiler [2015-12-08 11:28:30] 629*2^1417120-1 is not prime. Res64: F624BD0FAA788432 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:32:46] 653*2^1417120-1 is not prime. Res64: F72B686BC4930D55 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:32:46] 713*2^1417120-1 is not prime. Res64: 9A63578D51109B86 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:40:25] 743*2^1417120-1 is not prime. Res64: 79B54AEFF1377365 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:40:26] 765*2^1417120-1 is not prime. Res64: 3750F22FF388E604 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:46:13] 813*2^1417120-1 is not prime. Res64: 85583610381A1106 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:46:13] 845*2^1417120-1 is not prime. Res64: 0E44AD1FFB7613C2 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:50:27] 855*2^1417120-1 is not prime. Res64: 470A0BDF7DAD69D5 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:50:27] 657*2^1417121-1 is not prime. Res64: 687EBAA32F0E2EB7 Time : 0.0 sec. user=mdettweiler [2015-12-08 11:58:05] 717*2^1417121-1 is not prime. Res64: 877D156FC070C0FF Time : 0.0 sec. user=mdettweiler [2015-12-08 11:58:05] 799*2^1417121-1 is not prime. Res64: 1BF0EA9E93F95258 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:03:54] 837*2^1417121-1 is not prime. Res64: 21182519283612DF Time : 0.0 sec. user=mdettweiler [2015-12-08 12:03:56] 937*2^1417121-1 is not prime. Res64: 6A34D9FB6A1BC38E Time : 0.0 sec. user=mdettweiler [2015-12-08 12:08:08] 945*2^1417121-1 is not prime. Res64: DA770E771055B096 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:08:10] 987*2^1417121-1 is not prime. Res64: 4B25CAC6AD690148 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:15:43] 681*2^1417122-1 is not prime. Res64: 31AFB5653D9BC6A8 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:15:44] 893*2^1417122-1 is not prime. Res64: 513AA3A5C3541E96 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:21:42] 921*2^1417122-1 is not prime. Res64: B8AB0D4B30FEA185 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:21:42] 615*2^1417123-1 is not prime. Res64: 5FD0FEB91843EE8D Time : 0.0 sec. user=mdettweiler [2015-12-08 12:26:10] 673*2^1417123-1 is not prime. Res64: F0D38A671F566093 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:26:10] 679*2^1417123-1 is not prime. Res64: 7580DE8179DBA17E Time : 0.0 sec. user=mdettweiler [2015-12-08 12:34:21] 691*2^1417123-1 is not prime. Res64: 596CF5EC5C3432AC Time : 0.0 sec. user=mdettweiler [2015-12-08 12:34:22] 813*2^1417123-1 is not prime. Res64: 293C1BE2DF5CE108 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:40:28] 871*2^1417123-1 is not prime. Res64: 0B13E8BE58D74175 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:40:28] 883*2^1417123-1 is not prime. Res64: 32296A54C1EC2E34 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:44:59] 885*2^1417123-1 is not prime. Res64: CB973E4B5C8ACE9D Time : 0.0 sec. user=mdettweiler [2015-12-08 12:44:59] 939*2^1417123-1 is not prime. Res64: 64D30AB40E549E17 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:52:27] 945*2^1417123-1 is not prime. Res64: B89C641EBEE01798 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:52:27] 773*2^1417124-1 is not prime. Res64: 5A8CFFE8416A7B3C Time : 0.0 sec. user=mdettweiler [2015-12-08 12:58:32] 855*2^1417124-1 is not prime. Res64: 1316E240565D0435 Time : 0.0 sec. user=mdettweiler [2015-12-08 12:58:33] 741*2^1417125-1 is not prime. Res64: 2E874A867F8E2325 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:03:03] 787*2^1417125-1 is not prime. Res64: F0C37445DDAE6B20 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:03:04] 889*2^1417125-1 is not prime. Res64: E8750C6EA8E134CE Time : 0.0 sec. user=mdettweiler [2015-12-08 13:10:21] 915*2^1417125-1 is not prime. Res64: 6A9DCD9D1A86E3E6 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:10:22] 999*2^1417125-1 is not prime. Res64: 65C171155B00499A Time : 0.0 sec. user=mdettweiler [2015-12-08 13:16:17] 645*2^1417126-1 is not prime. Res64: 563E65561217D57A Time : 0.0 sec. user=mdettweiler [2015-12-08 13:16:17] 713*2^1417126-1 is not prime. Res64: C59A71A878A86159 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:20:42] 737*2^1417126-1 is not prime. Res64: FC5568C90F373606 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:20:43] 741*2^1417126-1 is not prime. Res64: 08AF9788FF6181E9 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:28:09] 761*2^1417126-1 is not prime. Res64: DAEEACB912D8521E Time : 0.0 sec. user=mdettweiler [2015-12-08 13:28:09] 773*2^1417126-1 is not prime. Res64: 073FB9ADE00D918F Time : 0.0 sec. user=mdettweiler [2015-12-08 13:33:54] 815*2^1417126-1 is not prime. Res64: 7B20EDAD713215C5 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:33:55] 775*2^1417127-1 is not prime. Res64: BADC8A61F7BC0ECF Time : 0.0 sec. user=mdettweiler [2015-12-08 13:38:20] 823*2^1417127-1 is not prime. Res64: 1EDA6337E3378077 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:38:21] 841*2^1417127-1 is not prime. Res64: 5373D989D9DE488B Time : 0.0 sec. user=mdettweiler [2015-12-08 13:45:47] 879*2^1417127-1 is not prime. Res64: 2C5705BB91FD20E6 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:45:48] 895*2^1417127-1 is not prime. Res64: 8A95BE7684FB0BE7 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:51:32] 979*2^1417127-1 is not prime. Res64: A373566185053150 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:51:32] 629*2^1417128-1 is not prime. Res64: 8F6D7EF4F84024B4 Time : 0.0 sec. user=mdettweiler [2015-12-08 13:56:00] 839*2^1417128-1 is not prime. Res64: BD7BF6874A6D0F1E Time : 0.0 sec. user=mdettweiler [2015-12-08 13:56:00] 849*2^1417128-1 is not prime. Res64: 952596D41D54183B Time : 0.0 sec. user=mdettweiler [2015-12-08 14:03:24] 905*2^1417128-1 is not prime. Res64: 968D23E8506C36F8 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:03:26] 977*2^1417128-1 is not prime. Res64: 3437A9525BDD05F5 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:09:09] 619*2^1417129-1 is not prime. Res64: E9B0951A598E62C3 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:09:10] 649*2^1417129-1 is not prime. Res64: E4FDD95722D8727C Time : 0.0 sec. user=mdettweiler [2015-12-08 14:13:36] 741*2^1417129-1 is not prime. Res64: 932FF251D1976734 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:13:37] 745*2^1417129-1 is not prime. Res64: D40B568318B6F3A5 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:21:17] 747*2^1417129-1 is not prime. Res64: AE1088772B742707 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:21:17] 751*2^1417129-1 is not prime. Res64: D3CDE3C93670FB93 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:27:12] 799*2^1417129-1 is not prime. Res64: 52A6145CD1C2F046 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:27:12] 867*2^1417129-1 is not prime. Res64: 0D0D32AAA1F9E920 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:31:16] 939*2^1417129-1 is not prime. Res64: 1594E2D34D9FC721 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:31:16] 987*2^1417129-1 is not prime. Res64: 22541DED15ADE430 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:38:56] 657*2^1417130-1 is not prime. Res64: 4DF647A0A4E11354 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:38:57] 735*2^1417130-1 is not prime. Res64: FC65144D83B47501 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:44:51] 753*2^1417130-1 is not prime. Res64: 0E6106D6250F88D6 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:44:51] 785*2^1417130-1 is not prime. Res64: BE961B8AC47CD851 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:48:54] 791*2^1417130-1 is not prime. Res64: 050F3DAD64A29346 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:48:54] 861*2^1417130-1 is not prime. Res64: 6F4C0ED467CDA927 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:56:35] 911*2^1417130-1 is not prime. Res64: 775276B87F0BE5B1 Time : 0.0 sec. user=mdettweiler [2015-12-08 14:56:35] 917*2^1417130-1 is not prime. Res64: 271D04DBB3907042 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:02:29] 613*2^1417131-1 is not prime. Res64: F3C57701BFB0A2E7 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:02:30] 711*2^1417131-1 is not prime. Res64: 662B0BBC0E566CB7 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:06:30] 723*2^1417131-1 is not prime. Res64: 7F5157D63AAB93C9 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:06:33] 735*2^1417131-1 is not prime. Res64: E058B406AC46DE6F Time : 0.0 sec. user=mdettweiler [2015-12-08 15:14:11] 793*2^1417131-1 is not prime. Res64: 5C708F5863D80D9B Time : 0.0 sec. user=mdettweiler [2015-12-08 15:14:12] 829*2^1417131-1 is not prime. Res64: DF4ACC560EE857FE Time : 0.0 sec. user=mdettweiler [2015-12-08 15:20:07] 945*2^1417131-1 is not prime. Res64: 5EFAFD2A1A149914 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:20:07] 961*2^1417131-1 is not prime. Res64: 2A2171BD900299A5 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:24:20] 999*2^1417131-1 is not prime. Res64: 1FF5D43F1731A557 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:24:21] 675*2^1417132-1 is not prime. Res64: 0FF78CD5978F2DA1 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:31:49] 735*2^1417132-1 is not prime. Res64: 4D8DE70E44868502 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:31:50] 749*2^1417132-1 is not prime. Res64: 3B490E1F07319CC5 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:37:53] 721*2^1417133-1 is not prime. Res64: AF762AC60F5EB7A3 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:37:53] 819*2^1417133-1 is not prime. Res64: FCBD9F6E12702B79 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:42:06] 937*2^1417133-1 is not prime. Res64: 15238DDBA2942AF9 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:42:06] 665*2^1417134-1 is not prime. Res64: BB9A44C5C5A82E98 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:49:34] 927*2^1417134-1 is not prime. Res64: 8E53007C35D05746 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:49:34] 947*2^1417134-1 is not prime. Res64: DB2FE342879A34B1 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:55:33] 603*2^1417135-1 is not prime. Res64: C193F0C42C401E84 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:55:34] 609*2^1417135-1 is not prime. Res64: 5458EC7F62FF8E7B Time : 0.0 sec. user=mdettweiler [2015-12-08 15:59:49] 625*2^1417135-1 is not prime. Res64: C8039ECD6F9F9D63 Time : 0.0 sec. user=mdettweiler [2015-12-08 15:59:49] 715*2^1417135-1 is not prime. Res64: 7654078E83AB6AE3 Time : 0.0 sec. user=mdettweiler [2015-12-08 16:07:17] 765*2^1417135-1 is not prime. Res64: 9F8AC00D97353BF5 Time : 0.0 sec. user=mdettweiler [2015-12-08 16:07:18] 775*2^1417135-1 is not prime. Res64: 0070121B2D012F63 Time : 0.0 sec. user=mdettweiler [2015-12-08 16:13:18] 831*2^1417135-1 is not prime. Res64: B224500722D0EA3A Time : 0.0 sec. user=mdettweiler [2015-12-08 16:13:18] 871*2^1417135-1 is not prime. Res64: 8B6E407D961AA265 Time : 0.0 sec. user=mdettweiler [2015-12-08 16:17:28] 895*2^1417135-1 is not prime. Res64: 71A2BDCF09C963FB Time : 0.0 sec. user=mdettweiler [2015-12-08 16:17:29] 913*2^1417135-1 is not prime. Res64: B5FE196CDB445950 Time : 0.0 sec. user=mdettweiler [2015-12-08 16:25:06] 623*2^1417136-1 is not prime. Res64: 221A0DE3E599214E Time : 0.0 sec. user=mdettweiler [2015-12-08 16:25:06] 633*2^1417136-1 is not prime. Res64: 64295D782DE9088E Time : 0.0 sec. user=mdettweiler [2015-12-08 16:31:02] 743*2^1417136-1 is not prime. Res64: 64E37336E7005998 Time : 0.0 sec. user=mdettweiler [2015-12-08 16:31:02] 773*2^1417136-1 is not prime. Res64: E5BBC0CE405B3CC7 Time : 0.0 sec. user=mdettweiler [2015-12-08 16:35:05] 845*2^1417136-1 is not prime. Res64: 6BEA930BD087CF3A Time : 0.0 sec. user=mdettweiler [2015-12-08 16:35:06] 879*2^1417136-1 is not prime. Res64: 0B258B7F2BDD118D Time : 0.0 sec. user=mdettweiler [2015-12-08 16:42:44] 903*2^1417136-1 is not prime. Res64: F56245DE0607D05F Time : 0.0 sec. user=mdettweiler [2015-12-08 16:42:45] 999*2^1417136-1 is not prime. Res64: 8A6831E083DA1DBC Time : 0.0 sec. user=mdettweiler [2015-12-08 16:48:38] 615*2^1417137-1 is not prime. Res64: 20ADC8CB219A78EA Time : 0.0 sec. user=mdettweiler [2015-12-08 16:48:39] 691*2^1417137-1 is not prime. Res64: 65CBD7904FF60885 Time : 0.0 sec. user=mdettweiler [2015-12-08 16:52:42] 891*2^1417137-1 is not prime. Res64: 383A58763C993C16 Time : 0.0 sec. user=mdettweiler [2015-12-08 16:52:42] 937*2^1417137-1 is not prime. Res64: 4FA1D24642163D90 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:00:21] 677*2^1417138-1 is not prime. Res64: A471C671CDE12AD1 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:00:22] 687*2^1417138-1 is not prime. Res64: 96159BDF932D7186 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:06:17] 815*2^1417138-1 is not prime. Res64: E627F1FCDC9564B0 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:06:21] 975*2^1417138-1 is not prime. Res64: EC9AD452A0FDF1B8 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:10:22] 645*2^1417139-1 is not prime. Res64: B26268245DA8A06C Time : 0.0 sec. user=mdettweiler [2015-12-08 17:10:23] 663*2^1417139-1 is not prime. Res64: 64329E3FE002C303 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:18:05] 669*2^1417139-1 is not prime. Res64: EEBEB9FB085C6272 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:18:05] 693*2^1417139-1 is not prime. Res64: 836CC4441D220932 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:24:13] 811*2^1417139-1 is not prime. Res64: 665C7C82E02ED6E3 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:24:13] 859*2^1417139-1 is not prime. Res64: 23316C3D2BB8D961 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:28:10] 861*2^1417139-1 is not prime. Res64: 9E317BE79C0F2ECD Time : 0.0 sec. user=mdettweiler [2015-12-08 17:28:10] 931*2^1417139-1 is not prime. Res64: 532D1E52D921B743 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:35:41] 979*2^1417139-1 is not prime. Res64: 876BF1BA2B5B9422 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:35:42] 633*2^1417140-1 is not prime. Res64: 4EADC49E1AF7865B Time : 0.0 sec. user=mdettweiler [2015-12-08 17:41:52] 753*2^1417140-1 is not prime. Res64: 7084160DEB0A440F Time : 0.0 sec. user=mdettweiler [2015-12-08 17:41:53] 777*2^1417140-1 is not prime. Res64: EE3A13EFCB57EA9E Time : 0.0 sec. user=mdettweiler [2015-12-08 17:45:46] 783*2^1417140-1 is not prime. Res64: B18CA41FA6AF56DB Time : 0.0 sec. user=mdettweiler [2015-12-08 17:45:47] 905*2^1417140-1 is not prime. Res64: A538850D5ABEF10C Time : 0.0 sec. user=mdettweiler [2015-12-08 17:53:18] 957*2^1417140-1 is not prime. Res64: BB0E97EF0DB245FD Time : 0.0 sec. user=mdettweiler [2015-12-08 17:53:18] 741*2^1417141-1 is not prime. Res64: 5E3D5B36F0DF628B Time : 0.0 sec. user=mdettweiler [2015-12-08 17:59:29] 757*2^1417141-1 is not prime. Res64: B73D8A3B9BBCE484 Time : 0.0 sec. user=mdettweiler [2015-12-08 17:59:30] 777*2^1417141-1 is not prime. Res64: FB3ABF754DDCAE78 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:03:27] 799*2^1417141-1 is not prime. Res64: 1FC0AD9824913A35 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:03:29] 811*2^1417141-1 is not prime. Res64: 01CD0F386A124119 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:11:26] 877*2^1417141-1 is not prime. Res64: D015AE3915DAD54E Time : 0.0 sec. user=mdettweiler [2015-12-08 18:11:27] 961*2^1417141-1 is not prime. Res64: 9BF1BF934BD57C6A Time : 0.0 sec. user=mdettweiler [2015-12-08 18:18:05] 997*2^1417141-1 is not prime. Res64: BE4111F018DD6EB6 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:18:05] 747*2^1417142-1 is not prime. Res64: D7AA758FFC3D996F Time : 0.0 sec. user=mdettweiler [2015-12-08 18:22:18] 951*2^1417142-1 is not prime. Res64: 3EF0390D74043AC6 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:22:18] 619*2^1417143-1 is not prime. Res64: FBADCB7482C6F30D Time : 0.0 sec. user=mdettweiler [2015-12-08 18:29:59] 649*2^1417143-1 is not prime. Res64: DC05C89E6F2BE3B4 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:29:59] 741*2^1417143-1 is not prime. Res64: F06556E15AFD5930 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:36:00] 775*2^1417143-1 is not prime. Res64: 49B40B4CF1D89907 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:36:00] 901*2^1417143-1 is not prime. Res64: ECDE6F4F8B6431D8 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:39:56] 961*2^1417143-1 is not prime. Res64: E85A01BFD08C8AAF Time : 0.0 sec. user=mdettweiler [2015-12-08 18:39:56] 645*2^1417144-1 is not prime. Res64: 4E3B276803BAC122 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:47:43] 663*2^1417144-1 is not prime. Res64: DA6F5A3064C21A7A Time : 0.0 sec. user=mdettweiler [2015-12-08 18:47:43] 695*2^1417144-1 is not prime. Res64: C8299C4EFD067030 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:53:48] 819*2^1417144-1 is not prime. Res64: 0FFCE99A179EBBA8 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:53:48] 959*2^1417144-1 is not prime. Res64: 83CB173B578439C6 Time : 0.0 sec. user=mdettweiler [2015-12-08 18:57:48] 601*2^1417145-1 is not prime. Res64: 0954E9700053524B Time : 0.0 sec. user=mdettweiler [2015-12-08 18:57:48] 715*2^1417145-1 is not prime. Res64: 6AE87DE169396B30 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:05:35] 735*2^1417145-1 is not prime. Res64: 3CCCDF90513B65B9 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:05:35] 805*2^1417145-1 is not prime. Res64: 21D686F0B30F4982 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:11:54] 885*2^1417145-1 is not prime. Res64: B7E856C3D80A6BF0 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:11:55] 711*2^1417146-1 is not prime. Res64: 61A4B226434D53A8 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:15:33] 741*2^1417146-1 is not prime. Res64: B48993858B60D892 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:15:34] 803*2^1417146-1 is not prime. Res64: EC6E126E43ECD876 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:23:20] 887*2^1417146-1 is not prime. Res64: 48D6527DA528993E Time : 0.0 sec. user=mdettweiler [2015-12-08 19:23:20] 891*2^1417146-1 is not prime. Res64: 088CE01A54200351 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:29:40] 633*2^1417147-1 is not prime. Res64: 3A8D92685165440A Time : 0.0 sec. user=mdettweiler [2015-12-08 19:29:41] 663*2^1417147-1 is not prime. Res64: DFD5C4351D40BDBA Time : 0.0 sec. user=mdettweiler [2015-12-08 19:33:12] 675*2^1417147-1 is not prime. Res64: D45BCC682C41EC44 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:33:12] 871*2^1417147-1 is not prime. Res64: 96A65D9CDA07F159 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:40:58] 885*2^1417147-1 is not prime. Res64: E808673E8CE59275 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:40:59] 951*2^1417147-1 is not prime. Res64: 2782F454572CFB49 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:47:19] 993*2^1417147-1 is not prime. Res64: F875D38D07A45C93 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:47:20] 647*2^1417148-1 is not prime. Res64: 637942AE64CB97F2 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:50:50] 767*2^1417148-1 is not prime. Res64: 1994CC142027BF02 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:50:50] 795*2^1417148-1 is not prime. Res64: 3BD3D7B1C1A2EF65 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:58:37] 869*2^1417148-1 is not prime. Res64: 62C9A54EB3B116F9 Time : 0.0 sec. user=mdettweiler [2015-12-08 19:58:38] 625*2^1417149-1 is not prime. Res64: F8FB477FE20AFF4C Time : 0.0 sec. user=mdettweiler [2015-12-08 20:04:59] 685*2^1417149-1 is not prime. Res64: B0D6773DB8F5C08F Time : 0.0 sec. user=mdettweiler [2015-12-08 20:05:01] 829*2^1417149-1 is not prime. Res64: 9624D252F2E670A9 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:08:28] 961*2^1417149-1 is not prime. Res64: FFE1C0DB8A8E1696 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:08:30] 813*2^1417150-1 is not prime. Res64: 4CD7AFC9F3B6A96A Time : 0.0 sec. user=mdettweiler [2015-12-08 20:16:19] 843*2^1417150-1 is not prime. Res64: 48A7444206012FDC Time : 0.0 sec. user=mdettweiler [2015-12-08 20:16:20] 911*2^1417150-1 is not prime. Res64: D35BFEA30FCBC919 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:22:56] 609*2^1417151-1 is not prime. Res64: A568C29BE5952050 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:22:57] 645*2^1417151-1 is not prime. Res64: A03C696ABFB7B387 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:26:20] 663*2^1417151-1 is not prime. Res64: D224242432741F04 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:26:21] 693*2^1417151-1 is not prime. Res64: FC7B12F3C29529D0 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:34:05] 775*2^1417151-1 is not prime. Res64: 31ABE161A68B7BAE Time : 0.0 sec. user=mdettweiler [2015-12-08 20:34:05] 859*2^1417151-1 is not prime. Res64: 993446C53C1C6F14 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:40:45] 665*2^1417152-1 is not prime. Res64: 305F512191E85E11 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:40:45] 669*2^1417152-1 is not prime. Res64: 4DD5CDA020CB24F5 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:44:07] 747*2^1417152-1 is not prime. Res64: E31C18B03E4C3FEC Time : 0.0 sec. user=mdettweiler [2015-12-08 20:44:08] 759*2^1417152-1 is not prime. Res64: DADCDE026834F1D2 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:51:54] 765*2^1417152-1 is not prime. Res64: 8575423247C3424C Time : 0.0 sec. user=mdettweiler [2015-12-08 20:51:54] 625*2^1417153-1 is not prime. Res64: 00CA2023EE47356C Time : 0.0 sec. user=mdettweiler [2015-12-08 20:59:04] 807*2^1417153-1 is not prime. Res64: EAF3BB6DD5C0A385 Time : 0.0 sec. user=mdettweiler [2015-12-08 20:59:05] 831*2^1417153-1 is not prime. Res64: 0854E7BA15E06334 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:02:41] 847*2^1417153-1 is not prime. Res64: 055F08AF7784F61F Time : 0.0 sec. user=mdettweiler [2015-12-08 21:02:42] 999*2^1417153-1 is not prime. Res64: ECB9C89EEAA97537 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:10:40] 641*2^1417154-1 is not prime. Res64: AAFF1D2D18AF4F36 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:10:41] 677*2^1417154-1 is not prime. Res64: 05396AD5931B81B5 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:17:39] 711*2^1417154-1 is not prime. Res64: F6E148166B2C43C4 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:17:39] 791*2^1417154-1 is not prime. Res64: 3CD67460702993D3 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:21:07] 813*2^1417154-1 is not prime. Res64: 05BBB9FAA536A417 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:21:08] 837*2^1417154-1 is not prime. Res64: ADE5E80A680A97C0 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:29:21] 851*2^1417154-1 is not prime. Res64: 9049DDAA0E7629EB Time : 0.0 sec. user=mdettweiler [2015-12-08 21:29:22] 885*2^1417154-1 is not prime. Res64: 1E8A5150D2008C32 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:36:22] 887*2^1417154-1 is not prime. Res64: 692D03499563CA01 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:36:22] 609*2^1417155-1 is not prime. Res64: E46C5745C721F032 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:39:47] 663*2^1417155-1 is not prime. Res64: 5D4E72FB6FBC713A Time : 0.0 sec. user=mdettweiler [2015-12-08 21:39:47] 735*2^1417155-1 is not prime. Res64: BB1CA3BD5DA09CAA Time : 0.0 sec. user=mdettweiler [2015-12-08 21:48:40] 793*2^1417155-1 is not prime. Res64: E6177AB0B310777B Time : 0.0 sec. user=mdettweiler [2015-12-08 21:48:40] 871*2^1417155-1 is not prime. Res64: 227860DDA06FC139 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:55:04] 955*2^1417155-1 is not prime. Res64: D0B6A1FBB8D45D87 Time : 0.0 sec. user=mdettweiler [2015-12-08 21:55:05] 609*2^1417156-1 is not prime. Res64: B0FF2EA05756BD5E Time : 0.0 sec. user=mdettweiler [2015-12-08 21:58:27] 675*2^1417156-1 is not prime. Res64: 246A2A8FE962853C Time : 0.0 sec. user=mdettweiler [2015-12-08 21:58:27] 689*2^1417156-1 is not prime. Res64: A7C457755A897682 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:06:23] 765*2^1417156-1 is not prime. Res64: 66C06FD9D441EB80 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:06:24] 839*2^1417156-1 is not prime. Res64: C12354C4E44645B4 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:12:46] 651*2^1417157-1 is not prime. Res64: 90BF0A0A9DAD1E8C Time : 0.0 sec. user=mdettweiler [2015-12-08 22:12:46] 669*2^1417157-1 is not prime. Res64: 0E936F70643F3494 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:16:13] 697*2^1417157-1 is not prime. Res64: B21A4F645CFBB438 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:16:13] 771*2^1417157-1 is not prime. Res64: CB6E4CF9E6C7617B Time : 0.0 sec. user=mdettweiler [2015-12-08 22:24:05] 799*2^1417157-1 is not prime. Res64: 35EBA9AFCC213AFD Time : 0.0 sec. user=mdettweiler [2015-12-08 22:24:06] 861*2^1417157-1 is not prime. Res64: 214F0716547A3CE6 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:30:36] 871*2^1417157-1 is not prime. Res64: 0C279B4E868FFE5F Time : 0.0 sec. user=mdettweiler [2015-12-08 22:30:36] 889*2^1417157-1 is not prime. Res64: DC1E46E4C1684B6B Time : 0.0 sec. user=mdettweiler [2015-12-08 22:33:59] 901*2^1417157-1 is not prime. Res64: 2B064D192E9DEB9D Time : 0.0 sec. user=mdettweiler [2015-12-08 22:33:59] 925*2^1417157-1 is not prime. Res64: 1DFF1EC8D39CE739 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:41:49] 681*2^1417158-1 is not prime. Res64: 9DDEB08DF4D10D5D Time : 0.0 sec. user=mdettweiler [2015-12-08 22:41:49] 801*2^1417158-1 is not prime. Res64: C7F3C8AD60E356DB Time : 0.0 sec. user=mdettweiler [2015-12-08 22:48:19] 825*2^1417158-1 is not prime. Res64: 97643434B61B8659 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:48:19] 921*2^1417158-1 is not prime. Res64: D46E88F293632C2D Time : 0.0 sec. user=mdettweiler [2015-12-08 22:51:40] 945*2^1417158-1 is not prime. Res64: C03E14FCD070ED84 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:51:40] 705*2^1417159-1 is not prime. Res64: BFAA0B51183A8C36 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:59:34] 861*2^1417159-1 is not prime. Res64: 22AFC930D03887A0 Time : 0.0 sec. user=mdettweiler [2015-12-08 22:59:34] 895*2^1417159-1 is not prime. Res64: A7AD28763525FE3B Time : 0.0 sec. user=mdettweiler [2015-12-08 23:06:04] 933*2^1417159-1 is not prime. Res64: F5DBC85C69B85813 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:06:07] 973*2^1417159-1 is not prime. Res64: 98EB411F8DCFD380 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:09:21] 975*2^1417159-1 is not prime. Res64: 8AC59FAB1C61B354 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:09:22] 999*2^1417159-1 is not prime. Res64: 74C822CF4B96AC61 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:17:17] 659*2^1417160-1 is not prime. Res64: E0E6880890A58D1F Time : 0.0 sec. user=mdettweiler [2015-12-08 23:17:18] 789*2^1417160-1 is not prime. Res64: F1DD8FD74E4D8F74 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:23:58] 839*2^1417160-1 is not prime. Res64: 68695BC592FFF206 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:23:59] 875*2^1417160-1 is not prime. Res64: 7D3A0442EAC90E3F Time : 0.0 sec. user=mdettweiler [2015-12-08 23:27:13] 927*2^1417160-1 is not prime. Res64: E74571522B0984F7 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:27:13] 735*2^1417161-1 is not prime. Res64: 13D21D0957F58379 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:35:01] 777*2^1417161-1 is not prime. Res64: B3B1F78DCEB71FC1 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:35:01] 807*2^1417161-1 is not prime. Res64: 6E7A8BFC23B81073 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:41:39] 877*2^1417161-1 is not prime. Res64: CE06D44281E21FA9 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:41:40] 909*2^1417161-1 is not prime. Res64: 34D361F865E12F4D Time : 0.0 sec. user=mdettweiler [2015-12-08 23:44:52] 937*2^1417161-1 is not prime. Res64: 2C54A4EB2A4EAD47 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:44:53] 955*2^1417161-1 is not prime. Res64: 6BDE9CDFB1E7300D Time : 0.0 sec. user=mdettweiler [2015-12-08 23:52:42] 969*2^1417161-1 is not prime. Res64: D909AE0530FAD973 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:52:43] 617*2^1417162-1 is not prime. Res64: C790D5A61B55FF25 Time : 0.0 sec. user=mdettweiler [2015-12-08 23:59:21] 657*2^1417162-1 is not prime. Res64: D944DB4215FA578B Time : 0.0 sec. user=mdettweiler [2015-12-08 23:59:22] 677*2^1417162-1 is not prime. Res64: B9259C7624244D32 Time : 0.0 sec.