user=mdettweiler [2016-04-13 00:02:51] 705*2^1426081-1 is not prime. Res64: 8AB814E26C199940 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:02:52] 855*2^1426081-1 is not prime. Res64: D3967C9614B5EAC1 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:02:53] 901*2^1426081-1 is not prime. Res64: 56722C93EA421644 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:02:53] 937*2^1426081-1 is not prime. Res64: A71D0711EBDE0044 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:02:54] 979*2^1426081-1 is not prime. Res64: 8A69E9110B69CB86 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:17:28] 711*2^1426082-1 is not prime. Res64: B54A97EBFF43B1FC Time : 0.0 sec. user=mdettweiler [2016-04-13 00:17:29] 893*2^1426082-1 is not prime. Res64: 12A12AEA53555C34 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:17:29] 911*2^1426082-1 is not prime. Res64: 8266CD2BDA95E07C Time : 0.0 sec. user=mdettweiler [2016-04-13 00:17:29] 995*2^1426082-1 is not prime. Res64: DF575AE1504A7A1B Time : 0.0 sec. user=mdettweiler [2016-04-13 00:17:30] 613*2^1426083-1 is not prime. Res64: B78AF60FEF5A569E Time : 0.0 sec. user=mdettweiler [2016-04-13 00:20:43] 765*2^1426083-1 is not prime. Res64: 1B4B34B3956ABC5E Time : 0.0 sec. user=mdettweiler [2016-04-13 00:20:44] 775*2^1426083-1 is not prime. Res64: 9477EC78C980B228 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:20:44] 801*2^1426083-1 is not prime. Res64: A615795327EAC316 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:20:44] 871*2^1426083-1 is not prime. Res64: F3777B3FC200701E Time : 0.0 sec. user=mdettweiler [2016-04-13 00:20:44] 895*2^1426083-1 is not prime. Res64: 0917EFDC9D8C84D7 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:24:33] 969*2^1426083-1 is not prime. Res64: 808C94F3748C667E Time : 0.0 sec. user=mdettweiler [2016-04-13 00:24:33] 605*2^1426084-1 is not prime. Res64: 0C7B2322890191A9 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:24:33] 639*2^1426084-1 is not prime. Res64: 63E1C0FF6913DC6F Time : 0.0 sec. user=mdettweiler [2016-04-13 00:24:33] 719*2^1426084-1 is not prime. Res64: 740C44E2F086361E Time : 0.0 sec. user=mdettweiler [2016-04-13 00:24:34] 827*2^1426084-1 is not prime. Res64: 22D64868A5CB9B0C Time : 0.0 sec. user=mdettweiler [2016-04-13 00:55:27] 885*2^1426084-1 is not prime. Res64: 15988F90E7ABDD6A Time : 0.0 sec. user=mdettweiler [2016-04-13 00:55:28] 915*2^1426084-1 is not prime. Res64: A6AFBBC610BC4E80 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:55:28] 927*2^1426084-1 is not prime. Res64: B4310530ECEB369E Time : 0.0 sec. user=mdettweiler [2016-04-13 00:55:28] 975*2^1426084-1 is not prime. Res64: 4836F9CDC82AEF29 Time : 0.0 sec. user=mdettweiler [2016-04-13 00:55:28] 697*2^1426085-1 is not prime. Res64: BC27441F909404CF Time : 0.0 sec. user=mdettweiler [2016-04-13 01:12:49] 925*2^1426085-1 is not prime. Res64: 890ED39BCEB50623 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:12:50] 611*2^1426086-1 is not prime. Res64: 2FE79FC7080053FE Time : 0.0 sec. user=mdettweiler [2016-04-13 01:12:50] 671*2^1426086-1 is not prime. Res64: 4D15CE90AB623320 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:12:51] 707*2^1426086-1 is not prime. Res64: E27E5CFE8BAFCF9A Time : 0.0 sec. user=mdettweiler [2016-04-13 01:12:51] 737*2^1426086-1 is not prime. Res64: F6D84DE171337A69 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:16:21] 825*2^1426086-1 is not prime. Res64: 17902D3BF15D9821 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:16:21] 843*2^1426086-1 is not prime. Res64: FF69916ECBE77BDF Time : 0.0 sec. user=mdettweiler [2016-04-13 01:16:21] 867*2^1426086-1 is not prime. Res64: 0B92535223D55B2F Time : 0.0 sec. user=mdettweiler [2016-04-13 01:16:21] 923*2^1426086-1 is not prime. Res64: B138B07303DB8285 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:16:22] 947*2^1426086-1 is not prime. Res64: 43BC7987F4667B47 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:20:29] 993*2^1426086-1 is not prime. Res64: 08881FAC17B70EEB Time : 0.0 sec. user=mdettweiler [2016-04-13 01:20:30] 645*2^1426087-1 is not prime. Res64: 1B85063D7B9D52DE Time : 0.0 sec. user=mdettweiler [2016-04-13 01:20:30] 729*2^1426087-1 is not prime. Res64: 11A678773CB1F347 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:20:30] 849*2^1426087-1 is not prime. Res64: 4A565888469500B2 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:20:30] 915*2^1426087-1 is not prime. Res64: A40D8BA9DB9D7C58 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:44:01] 919*2^1426087-1 is not prime. Res64: 538645AA9606F8A9 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:44:01] 933*2^1426087-1 is not prime. Res64: FDA8B7B8256BF110 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:44:01] 617*2^1426088-1 is not prime. Res64: C224FCDA9FB43F9C Time : 0.0 sec. user=mdettweiler [2016-04-13 01:44:02] 869*2^1426088-1 is not prime. Res64: E3FA2A477A2F8BC2 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:44:02] 945*2^1426088-1 is not prime. Res64: CA92BC002D8E4D64 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:59:42] 769*2^1426089-1 is not prime. Res64: 44AA93010F7728CF Time : 0.0 sec. user=mdettweiler [2016-04-13 01:59:42] 861*2^1426089-1 is not prime. Res64: BC66C5CD5C45FFC9 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:59:43] 991*2^1426089-1 is not prime. Res64: 1234362175E52DA1 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:59:43] 999*2^1426089-1 is not prime. Res64: CDBD26F7347D15A5 Time : 0.0 sec. user=mdettweiler [2016-04-13 01:59:43] 611*2^1426090-1 is not prime. Res64: FB9F29F4C96F7CA0 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:02:47] 755*2^1426090-1 is not prime. Res64: F9B5962FC4394C0C Time : 0.0 sec. user=mdettweiler [2016-04-13 02:02:47] 831*2^1426090-1 is not prime. Res64: 94B0EDED471B100C Time : 0.0 sec. user=mdettweiler [2016-04-13 02:02:48] 933*2^1426090-1 is not prime. Res64: EB5CFE6EE5992C18 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:02:48] 995*2^1426090-1 is not prime. Res64: 33CE55DF55B981CC Time : 0.0 sec. user=mdettweiler [2016-04-13 02:02:49] 711*2^1426091-1 is not prime. Res64: 87BE0B6758DBB0BD Time : 0.0 sec. user=mdettweiler [2016-04-13 02:06:43] 623*2^1426092-1 is not prime. Res64: 8EBD39D04F58CD88 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:06:43] 779*2^1426092-1 is not prime. Res64: B2A03B9529C1D9B3 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:06:44] 825*2^1426092-1 is not prime. Res64: D89E8FED516C5112 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:06:44] 843*2^1426092-1 is not prime. Res64: AB8D2F65C3A7CF5D Time : 0.0 sec. user=mdettweiler [2016-04-13 02:06:44] 875*2^1426092-1 is not prime. Res64: E56F8B8CB65EC958 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:34:03] 903*2^1426092-1 is not prime. Res64: 1BC6669CE1F95D99 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:34:04] 933*2^1426092-1 is not prime. Res64: 5C5CB6E887CEF617 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:34:04] 965*2^1426092-1 is not prime. Res64: B323FE339B455AB6 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:34:05] 607*2^1426093-1 is not prime. Res64: A77ED1504F5F066E Time : 0.0 sec. user=mdettweiler [2016-04-13 02:34:07] 615*2^1426093-1 is not prime. Res64: 2A3B47479F4E3945 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:59:11] 847*2^1426093-1 is not prime. Res64: 371107ABF17ACA65 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:59:12] 861*2^1426093-1 is not prime. Res64: 8F17762C0EA357E1 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:59:12] 877*2^1426093-1 is not prime. Res64: 991882354AAF5EFA Time : 0.0 sec. user=mdettweiler [2016-04-13 02:59:13] 683*2^1426094-1 is not prime. Res64: C6B477A8A95CC441 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:59:13] 885*2^1426094-1 is not prime. Res64: AD324AA6665D4B18 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:59:20] 619*2^1426093-1 is not prime. Res64: D3831C00BFF0280C Time : 0.0 sec. user=mdettweiler [2016-04-13 02:59:21] 621*2^1426093-1 is not prime. Res64: 81066969DEB480E3 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:59:21] 715*2^1426093-1 is not prime. Res64: DFFCC057149F574E Time : 0.0 sec. user=mdettweiler [2016-04-13 02:59:22] 721*2^1426093-1 is not prime. Res64: AA842B1B2E32CC01 Time : 0.0 sec. user=mdettweiler [2016-04-13 02:59:22] 789*2^1426093-1 is not prime. Res64: 676CC31441712627 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:07:59] 983*2^1426094-1 is not prime. Res64: FC914131A2D34A20 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:07:59] 601*2^1426095-1 is not prime. Res64: D0EF8E5604C3FB7F Time : 0.0 sec. user=mdettweiler [2016-04-13 03:08:00] 651*2^1426095-1 is not prime. Res64: 98EA5AF2504D5A47 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:08:00] 685*2^1426095-1 is not prime. Res64: FFD16794978F4F43 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:08:01] 751*2^1426095-1 is not prime. Res64: 0D2A26304FF884FC Time : 0.0 sec. user=mdettweiler [2016-04-13 03:26:07] 615*2^1426096-1 is not prime. Res64: 981ECD584CC941B4 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:26:09] 657*2^1426096-1 is not prime. Res64: C20C886859C8ED4D Time : 0.0 sec. user=mdettweiler [2016-04-13 03:26:09] 675*2^1426096-1 is not prime. Res64: 562A30B94ADE3AE3 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:26:10] 873*2^1426096-1 is not prime. Res64: 66BD1512D2AB9739 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:26:11] 903*2^1426096-1 is not prime. Res64: 364D182BB5C19946 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:44:11] 991*2^1426097-1 is not prime. Res64: A8CCCD9F190F5405 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:44:14] 791*2^1426098-1 is not prime. Res64: 217D11AAFA8D849B Time : 0.0 sec. user=mdettweiler [2016-04-13 03:44:15] 951*2^1426098-1 is not prime. Res64: 52F18B0280E56714 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:44:17] 619*2^1426099-1 is not prime. Res64: 1EE91AD66260A781 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:44:18] 771*2^1426099-1 is not prime. Res64: 672347E152687478 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:44:34] 675*2^1426097-1 is not prime. Res64: E7D372C06D12157D Time : 0.0 sec. user=mdettweiler [2016-04-13 03:44:35] 781*2^1426097-1 is not prime. Res64: 89395F5725BD6902 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:44:37] 841*2^1426097-1 is not prime. Res64: A0A55991053C54F4 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:44:39] 867*2^1426097-1 is not prime. Res64: B3DA2B3CBE13B273 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:44:41] 915*2^1426097-1 is not prime. Res64: 3DE0C57ECBD5D0B1 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:52:53] 891*2^1426099-1 is not prime. Res64: C4003FD6E1FAA9B6 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:52:54] 895*2^1426099-1 is not prime. Res64: 6719F51D27D7525A Time : 0.0 sec. user=mdettweiler [2016-04-13 03:52:55] 969*2^1426099-1 is not prime. Res64: D8896E20C3B294A4 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:52:56] 675*2^1426100-1 is not prime. Res64: A6C84500929FBCD4 Time : 0.0 sec. user=mdettweiler [2016-04-13 03:52:56] 753*2^1426100-1 is not prime. Res64: 3A9A4AEA7F727D8B Time : 0.0 sec. user=mdettweiler [2016-04-13 04:11:45] 797*2^1426100-1 is not prime. Res64: C2882C7B183B1AB2 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:11:46] 839*2^1426100-1 is not prime. Res64: F2119979E24279F4 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:11:46] 843*2^1426100-1 is not prime. Res64: BB3965B7853A4133 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:11:47] 621*2^1426101-1 is not prime. Res64: 750369A7F0F89175 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:11:47] 679*2^1426101-1 is not prime. Res64: 8717E0421D89B299 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:29:29] 645*2^1426102-1 is not prime. Res64: 75C2A1081A1B37D1 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:29:29] 647*2^1426102-1 is not prime. Res64: A93B6CBF5407CCF3 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:29:30] 731*2^1426102-1 is not prime. Res64: 4DF3AE6400D32C16 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:29:30] 741*2^1426102-1 is not prime. Res64: 53C99EF6DB882554 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:29:31] 777*2^1426102-1 is not prime. Res64: 4F4D783DF8BF6639 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:29:44] 747*2^1426101-1 is not prime. Res64: 20CFD27577621CA2 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:29:45] 795*2^1426101-1 is not prime. Res64: 2840F72B9C6E076E Time : 0.0 sec. user=mdettweiler [2016-04-13 04:29:45] 889*2^1426101-1 is not prime. Res64: C9765A7FA958DACF Time : 0.0 sec. user=mdettweiler [2016-04-13 04:29:46] 927*2^1426101-1 is not prime. Res64: 3D6E237EFF64C75B Time : 0.0 sec. user=mdettweiler [2016-04-13 04:29:46] 987*2^1426101-1 is not prime. Res64: C885E2A84E441494 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:37:37] 881*2^1426102-1 is not prime. Res64: DEF0C300D2F47FB9 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:37:37] 923*2^1426102-1 is not prime. Res64: 9532C471E186078B Time : 0.0 sec. user=mdettweiler [2016-04-13 04:37:38] 975*2^1426102-1 is not prime. Res64: 7F5E1BA5809B3A83 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:37:38] 739*2^1426103-1 is not prime. Res64: 6DFEC6642369E11A Time : 0.0 sec. user=mdettweiler [2016-04-13 04:37:39] 811*2^1426103-1 is not prime. Res64: D434E47741E1445A Time : 0.0 sec. user=mdettweiler [2016-04-13 04:55:49] 861*2^1426103-1 is not prime. Res64: 6FF88561EA91C21C Time : 0.0 sec. user=mdettweiler [2016-04-13 04:55:50] 885*2^1426103-1 is not prime. Res64: 07C6CB8E632B5010 Time : 0.0 sec. user=mdettweiler [2016-04-13 04:55:50] 949*2^1426103-1 is not prime. Res64: 0BE2D12AC2D1C91E Time : 0.0 sec. user=mdettweiler [2016-04-13 04:55:51] 981*2^1426103-1 is not prime. Res64: F6C52FA35FF8C3FA Time : 0.0 sec. user=mdettweiler [2016-04-13 04:55:51] 689*2^1426104-1 is not prime. Res64: CCBEB84C08A33E50 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:13:59] 699*2^1426105-1 is not prime. Res64: 5BC4C43D418ACB45 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:14:00] 775*2^1426105-1 is not prime. Res64: 5E58AAA7983F27D5 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:14:01] 677*2^1426106-1 is not prime. Res64: 0DC545224D8425AF Time : 0.0 sec. user=mdettweiler [2016-04-13 05:14:01] 755*2^1426106-1 is not prime. Res64: 1D7411DBB417342A Time : 0.0 sec. user=mdettweiler [2016-04-13 05:14:02] 773*2^1426106-1 is not prime. Res64: 6D182E47AFF5E077 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:14:03] 707*2^1426104-1 is not prime. Res64: C45EE5E429B22645 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:14:05] 765*2^1426104-1 is not prime. Res64: 41F91BB83F701B73 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:14:05] 843*2^1426104-1 is not prime. Res64: 6E197CE7C5D445DE Time : 0.0 sec. user=mdettweiler [2016-04-13 05:14:06] 903*2^1426104-1 is not prime. Res64: 001CF6DC6AD42958 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:14:07] 959*2^1426104-1 is not prime. Res64: B70BDEAEBABD53B3 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:21:53] 815*2^1426106-1 is not prime. Res64: E01ACCC5CE1AEE5C Time : 0.0 sec. user=mdettweiler [2016-04-13 05:21:53] 827*2^1426106-1 is not prime. Res64: 27AA50297EF187A6 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:21:54] 831*2^1426106-1 is not prime. Res64: A77EF8B944186BD5 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:21:55] 857*2^1426106-1 is not prime. Res64: 5FC21A7FD2D98A7D Time : 0.0 sec. user=mdettweiler [2016-04-13 05:21:55] 887*2^1426106-1 is not prime. Res64: 1DC31EABF20395B7 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:40:03] 923*2^1426106-1 is not prime. Res64: 32ED48E36336D680 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:40:03] 705*2^1426107-1 is not prime. Res64: 954C63D1810EB2DD Time : 0.0 sec. user=mdettweiler [2016-04-13 05:40:04] 765*2^1426107-1 is not prime. Res64: 9226C47E922BDCAD Time : 0.0 sec. user=mdettweiler [2016-04-13 05:40:04] 819*2^1426107-1 is not prime. Res64: D89D807029EECFD7 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:40:05] 859*2^1426107-1 is not prime. Res64: 23B8A94F51572F6E Time : 0.0 sec. user=mdettweiler [2016-04-13 05:58:05] 619*2^1426109-1 is not prime. Res64: 84A6D9A483560A7D Time : 0.0 sec. user=mdettweiler [2016-04-13 05:58:06] 691*2^1426109-1 is not prime. Res64: A1FD179049A7B2FA Time : 0.0 sec. user=mdettweiler [2016-04-13 05:58:06] 795*2^1426109-1 is not prime. Res64: EE50B4EFFC51814F Time : 0.0 sec. user=mdettweiler [2016-04-13 05:58:06] 847*2^1426109-1 is not prime. Res64: 0A2DB7FC0C11B0C4 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:58:07] 653*2^1426110-1 is not prime. Res64: 6D7FD154DD7CEBE8 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:58:08] 963*2^1426107-1 is not prime. Res64: C60144030DC8FD06 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:58:09] 723*2^1426108-1 is not prime. Res64: 1E92A84F3F01D3D8 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:58:09] 777*2^1426108-1 is not prime. Res64: E7E14D0BF684F966 Time : 0.0 sec. user=mdettweiler [2016-04-13 05:58:10] 855*2^1426108-1 is not prime. Res64: 50C9566DFC5BFAFB Time : 0.0 sec. user=mdettweiler [2016-04-13 05:58:10] 869*2^1426108-1 is not prime. Res64: 87A139239A4B3BDF Time : 0.0 sec. user=mdettweiler [2016-04-13 06:06:01] 693*2^1426110-1 is not prime. Res64: 0D28612C5FE64B33 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:06:05] 843*2^1426110-1 is not prime. Res64: E0DA33D81F326F32 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:06:07] 851*2^1426110-1 is not prime. Res64: F649FFA7E2047C62 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:06:08] 863*2^1426110-1 is not prime. Res64: D940487856266DAC Time : 0.0 sec. user=mdettweiler [2016-04-13 06:06:09] 921*2^1426110-1 is not prime. Res64: 8CCB8E41B9151DEA Time : 0.0 sec. user=mdettweiler [2016-04-13 06:24:07] 723*2^1426111-1 is not prime. Res64: 4379094BF0741373 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:24:08] 783*2^1426111-1 is not prime. Res64: 3DAEDCF49DF9DE50 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:24:08] 871*2^1426111-1 is not prime. Res64: 7F69D60D1A3BE919 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:24:09] 951*2^1426111-1 is not prime. Res64: 3DB7B7DDDE83C699 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:24:09] 979*2^1426111-1 is not prime. Res64: 7138F3D3B2A93489 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:42:13] 605*2^1426112-1 is not prime. Res64: 6C11D905FCDF9505 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:42:13] 687*2^1426112-1 is not prime. Res64: AFB8377388CE4140 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:42:14] 689*2^1426112-1 is not prime. Res64: A5C0572F00A4920E Time : 0.0 sec. user=mdettweiler [2016-04-13 06:42:14] 743*2^1426112-1 is not prime. Res64: 6272FB98A782E904 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:42:15] 753*2^1426112-1 is not prime. Res64: 52FB8135A6920189 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:42:19] 827*2^1426112-1 is not prime. Res64: 8305FBB196A04700 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:42:19] 843*2^1426112-1 is not prime. Res64: B19F702501C2C563 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:42:20] 909*2^1426112-1 is not prime. Res64: CA94176AD97F3789 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:42:20] 977*2^1426112-1 is not prime. Res64: 748A57D78FDA6CFA Time : 0.0 sec. user=mdettweiler [2016-04-13 06:42:21] 745*2^1426113-1 is not prime. Res64: 1A22904FD4133FE6 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:50:21] 787*2^1426113-1 is not prime. Res64: 5150084024AE1F74 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:50:22] 677*2^1426114-1 is not prime. Res64: 81891F8F3F32F451 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:50:22] 681*2^1426114-1 is not prime. Res64: 12B9454294ACA5D2 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:50:23] 687*2^1426114-1 is not prime. Res64: F84A4E0332A70E19 Time : 0.0 sec. user=mdettweiler [2016-04-13 06:50:23] 701*2^1426114-1 is not prime. Res64: 68B1D152C5388069 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:08:09] 791*2^1426114-1 is not prime. Res64: 91A36F12A20F13C8 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:08:10] 945*2^1426114-1 is not prime. Res64: 3C73B7D8ADE7E174 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:08:11] 971*2^1426114-1 is not prime. Res64: 8C4DF158F60FD003 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:08:11] 975*2^1426114-1 is not prime. Res64: 20766AF37A5CFE49 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:08:12] 983*2^1426114-1 is not prime. Res64: D69CA2201994FE29 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:26:12] 609*2^1426115-1 is not prime. Res64: 97FAE30E62092C9F Time : 0.0 sec. user=mdettweiler [2016-04-13 07:26:12] 643*2^1426115-1 is not prime. Res64: D9B387D71381B642 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:26:13] 669*2^1426115-1 is not prime. Res64: 7A8B047FD9B18EEC Time : 0.0 sec. user=mdettweiler [2016-04-13 07:26:13] 693*2^1426115-1 is not prime. Res64: F5E2F76FB037825D Time : 0.0 sec. user=mdettweiler [2016-04-13 07:26:14] 741*2^1426115-1 is not prime. Res64: 2EB522BED1CC029F Time : 0.0 sec. user=mdettweiler [2016-04-13 07:26:23] 859*2^1426115-1 is not prime. Res64: 7B3B7C7655289C31 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:26:24] 963*2^1426115-1 is not prime. Res64: 14775F248A31DCAC Time : 0.0 sec. user=mdettweiler [2016-04-13 07:26:24] 991*2^1426115-1 is not prime. Res64: 417A3808C1EAC944 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:26:25] 657*2^1426116-1 is not prime. Res64: 1301B9F14BBBC829 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:26:25] 683*2^1426116-1 is not prime. Res64: 6646A97B1EAA55D2 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:34:26] 875*2^1426116-1 is not prime. Res64: BE64085C0A94DF4C Time : 0.0 sec. user=mdettweiler [2016-04-13 07:34:26] 909*2^1426116-1 is not prime. Res64: F650FCF43BD9C8F1 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:34:27] 975*2^1426116-1 is not prime. Res64: 4D27A20937F40FF4 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:34:27] 651*2^1426117-1 is not prime. Res64: 24761FD64533D1C8 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:34:28] 675*2^1426117-1 is not prime. Res64: 1C5A8EFB6B427C8E Time : 0.0 sec. user=mdettweiler [2016-04-13 07:52:10] 751*2^1426117-1 is not prime. Res64: F8019FE4C73EBA28 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:52:10] 831*2^1426117-1 is not prime. Res64: F9CDDFA635A00E25 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:52:11] 867*2^1426117-1 is not prime. Res64: 5F4F112A05A68B0F Time : 0.0 sec. user=mdettweiler [2016-04-13 07:52:11] 895*2^1426117-1 is not prime. Res64: 8DF9CD8D704DE154 Time : 0.0 sec. user=mdettweiler [2016-04-13 07:52:12] 665*2^1426118-1 is not prime. Res64: 2FE14113CA04CF73 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:10:18] 773*2^1426118-1 is not prime. Res64: CCB2FF72478763FA Time : 0.0 sec. user=mdettweiler [2016-04-13 08:10:18] 797*2^1426118-1 is not prime. Res64: 16E682B7869BF51E Time : 0.0 sec. user=mdettweiler [2016-04-13 08:10:19] 827*2^1426118-1 is not prime. Res64: 56B336295F19127F Time : 0.0 sec. user=mdettweiler [2016-04-13 08:10:19] 867*2^1426118-1 is not prime. Res64: B0816E2E09882951 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:10:20] 893*2^1426118-1 is not prime. Res64: 163C1F911FD61309 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:10:25] 971*2^1426118-1 is not prime. Res64: A878FFFE7A051B1F Time : 0.0 sec. user=mdettweiler [2016-04-13 08:10:25] 615*2^1426119-1 is not prime. Res64: 0773646CE12D89D8 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:10:26] 625*2^1426119-1 is not prime. Res64: 12DB50822A44A96E Time : 0.0 sec. user=mdettweiler [2016-04-13 08:10:26] 859*2^1426119-1 is not prime. Res64: DD1DB732B9CBC073 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:10:27] 885*2^1426119-1 is not prime. Res64: 58B2C5C3BF0E2657 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:18:24] 615*2^1426120-1 is not prime. Res64: C4DAA57C4E4554BC Time : 0.0 sec. user=mdettweiler [2016-04-13 08:18:24] 663*2^1426120-1 is not prime. Res64: DE465725B80D825A Time : 0.0 sec. user=mdettweiler [2016-04-13 08:18:25] 719*2^1426120-1 is not prime. Res64: 2E7521124C158EE2 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:18:25] 797*2^1426120-1 is not prime. Res64: 90EAA8D3EEA312F9 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:18:26] 855*2^1426120-1 is not prime. Res64: 15AA7957226E3464 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:36:18] 983*2^1426120-1 is not prime. Res64: 0FDE84705134F3AC Time : 0.0 sec. user=mdettweiler [2016-04-13 08:36:19] 669*2^1426121-1 is not prime. Res64: 4C2A4177F251E677 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:36:19] 769*2^1426121-1 is not prime. Res64: 0E2395EFA1A3924E Time : 0.0 sec. user=mdettweiler [2016-04-13 08:36:20] 777*2^1426121-1 is not prime. Res64: A40FEFF138462EA8 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:36:20] 925*2^1426121-1 is not prime. Res64: D5474362C2CC1802 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:54:27] 713*2^1426122-1 is not prime. Res64: A0AB2CB8D7C834B1 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:54:27] 791*2^1426122-1 is not prime. Res64: 746424253E5F75E5 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:54:28] 803*2^1426122-1 is not prime. Res64: B481DFF7DAA8FF68 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:54:28] 825*2^1426122-1 is not prime. Res64: 622C3F934E71D258 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:54:29] 957*2^1426122-1 is not prime. Res64: 70175186661A555F Time : 0.0 sec. user=mdettweiler [2016-04-13 08:54:34] 983*2^1426122-1 is not prime. Res64: 0978A1C957CC4423 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:54:35] 1001*2^1426122-1 is not prime. Res64: 11359B1EE24317DE Time : 0.0 sec. user=mdettweiler [2016-04-13 08:54:35] 603*2^1426123-1 is not prime. Res64: B1E4AEA1C1B7A47D Time : 0.0 sec. user=mdettweiler [2016-04-13 08:54:36] 679*2^1426123-1 is not prime. Res64: DC0E04FBB3F03F24 Time : 0.0 sec. user=mdettweiler [2016-04-13 08:54:36] 693*2^1426123-1 is not prime. Res64: DCDBF9A0F1E5C80F Time : 0.0 sec. user=mdettweiler [2016-04-13 09:02:35] 723*2^1426123-1 is not prime. Res64: EB7A4B5737DE8814 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:02:37] 765*2^1426123-1 is not prime. Res64: 31DFC7529A88E770 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:02:38] 775*2^1426123-1 is not prime. Res64: C3279300F19A105B Time : 0.0 sec. user=mdettweiler [2016-04-13 09:02:40] 813*2^1426123-1 is not prime. Res64: D5BF4BD4787353F5 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:02:41] 985*2^1426123-1 is not prime. Res64: 5975CEF0B51204D2 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:20:36] 759*2^1426124-1 is not prime. Res64: A5D7663553FA6AA0 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:20:36] 833*2^1426124-1 is not prime. Res64: 49482EA335A8D353 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:20:37] 885*2^1426124-1 is not prime. Res64: 918CA7E2E751356F Time : 0.0 sec. user=mdettweiler [2016-04-13 09:20:37] 953*2^1426124-1 is not prime. Res64: E8A03310E7111FD0 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:20:38] 983*2^1426124-1 is not prime. Res64: 9E721913CAF0A0CD Time : 0.0 sec. user=mdettweiler [2016-04-13 09:38:36] 627*2^1426125-1 is not prime. Res64: DDE733376A1E8196 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:38:36] 651*2^1426125-1 is not prime. Res64: CD38E45D7291AB9E Time : 0.0 sec. user=mdettweiler [2016-04-13 09:38:37] 847*2^1426125-1 is not prime. Res64: 43B7D06EAA814E3E Time : 0.0 sec. user=mdettweiler [2016-04-13 09:38:37] 861*2^1426125-1 is not prime. Res64: AF066C2C4270F783 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:38:38] 889*2^1426125-1 is not prime. Res64: 1852DEF58B728B8D Time : 0.0 sec. user=mdettweiler [2016-04-13 09:38:42] 919*2^1426125-1 is not prime. Res64: 73C87E3185EF956A Time : 0.0 sec. user=mdettweiler [2016-04-13 09:38:43] 991*2^1426125-1 is not prime. Res64: A5B8FDF2C2CA7EE0 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:38:43] 723*2^1426126-1 is not prime. Res64: CECD1E5D52822D56 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:38:44] 773*2^1426126-1 is not prime. Res64: CC93CFB36AEA4B4C Time : 0.0 sec. user=mdettweiler [2016-04-13 09:38:44] 887*2^1426126-1 is not prime. Res64: F60A5BE110349EF0 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:47:23] 897*2^1426126-1 is not prime. Res64: C2C21E41D62CBDC3 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:47:23] 911*2^1426126-1 is not prime. Res64: 08E38C9D3624800C Time : 0.0 sec. user=mdettweiler [2016-04-13 09:47:24] 987*2^1426126-1 is not prime. Res64: F850C4D86FB26A23 Time : 0.0 sec. user=mdettweiler [2016-04-13 09:47:24] 621*2^1426127-1 is not prime. Res64: 9F7AF1CC2F51350C Time : 0.0 sec. user=mdettweiler [2016-04-13 09:47:24] 805*2^1426127-1 is not prime. Res64: 969980C8A03CC2EE Time : 0.0 sec. user=mdettweiler [2016-04-13 10:04:46] 831*2^1426127-1 is not prime. Res64: 90086B0386F46AA3 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:04:48] 865*2^1426127-1 is not prime. Res64: E8DF36DD82AEDA64 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:04:50] 871*2^1426127-1 is not prime. Res64: 7A42DB1EFD470ADC Time : 0.0 sec. user=mdettweiler [2016-04-13 10:04:51] 909*2^1426127-1 is not prime. Res64: FE4AE379C7DCFF7D Time : 0.0 sec. user=mdettweiler [2016-04-13 10:04:53] 979*2^1426127-1 is not prime. Res64: C9F9FDD7643324A2 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:22:29] 993*2^1426127-1 is not prime. Res64: 388239590D2E0606 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:22:29] 639*2^1426128-1 is not prime. Res64: AD85EDFF500E7C92 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:22:30] 825*2^1426128-1 is not prime. Res64: D8BC78C1FB215869 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:22:30] 843*2^1426128-1 is not prime. Res64: 07E6249217A36D4E Time : 0.0 sec. user=mdettweiler [2016-04-13 10:22:31] 993*2^1426128-1 is not prime. Res64: D18FFFFDC018A084 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:22:49] 925*2^1426129-1 is not prime. Res64: B51A0342EF00635E Time : 0.0 sec. user=mdettweiler [2016-04-13 10:22:50] 717*2^1426130-1 is not prime. Res64: 05B2AAE07A900736 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:22:50] 741*2^1426130-1 is not prime. Res64: C4326F60BB2BBBD8 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:22:51] 825*2^1426130-1 is not prime. Res64: DE83A8AA216F2BE0 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:22:51] 935*2^1426130-1 is not prime. Res64: 15E2D330F30D6A09 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:31:28] 613*2^1426131-1 is not prime. Res64: E8FD8CBA2C6CFD59 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:31:28] 781*2^1426131-1 is not prime. Res64: E9BBB3F569206F0D Time : 0.0 sec. user=mdettweiler [2016-04-13 10:31:29] 903*2^1426131-1 is not prime. Res64: 2DB917501A032D6F Time : 0.0 sec. user=mdettweiler [2016-04-13 10:31:29] 921*2^1426131-1 is not prime. Res64: CDA8DED16A07608C Time : 0.0 sec. user=mdettweiler [2016-04-13 10:31:30] 677*2^1426132-1 is not prime. Res64: CD57E3AA00A04D18 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:49:07] 705*2^1426132-1 is not prime. Res64: AB0BD16AFA406AED Time : 0.0 sec. user=mdettweiler [2016-04-13 10:49:07] 855*2^1426132-1 is not prime. Res64: C108D3839D57AF6A Time : 0.0 sec. user=mdettweiler [2016-04-13 10:49:08] 875*2^1426132-1 is not prime. Res64: 8FD4252E2F4EC419 Time : 0.0 sec. user=mdettweiler [2016-04-13 10:49:08] 983*2^1426132-1 is not prime. Res64: EBB1A0BA8CA8EF4A Time : 0.0 sec. user=mdettweiler [2016-04-13 10:49:09] 729*2^1426133-1 is not prime. Res64: D19FA8F731668620 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:06:28] 855*2^1426133-1 is not prime. Res64: 2C067DF12E8CDE2B Time : 0.0 sec. user=mdettweiler [2016-04-13 11:06:30] 861*2^1426133-1 is not prime. Res64: EDA8025B28B5F2F7 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:06:32] 723*2^1426134-1 is not prime. Res64: 4676272AC4DCBCF1 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:06:33] 861*2^1426134-1 is not prime. Res64: C6042D6E72CEAFC2 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:06:35] 873*2^1426134-1 is not prime. Res64: 9C172C44F0307450 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:06:57] 887*2^1426134-1 is not prime. Res64: 7D9F5C3C38B76CE6 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:06:59] 651*2^1426135-1 is not prime. Res64: 252138EFF632E014 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:07:01] 675*2^1426135-1 is not prime. Res64: A3F70CC0C13CB673 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:07:02] 741*2^1426135-1 is not prime. Res64: 68C24F710F775401 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:07:05] 831*2^1426135-1 is not prime. Res64: A696E09A140355D4 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:15:38] 909*2^1426135-1 is not prime. Res64: 68733B5B3BC18AC9 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:15:39] 815*2^1426136-1 is not prime. Res64: BD31151EC068D4E1 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:15:39] 839*2^1426136-1 is not prime. Res64: 225DA6474AB70DDD Time : 0.0 sec. user=mdettweiler [2016-04-13 11:15:40] 857*2^1426136-1 is not prime. Res64: A2BFC21BC727CBFC Time : 0.0 sec. user=mdettweiler [2016-04-13 11:15:40] 927*2^1426136-1 is not prime. Res64: 1CDD6C0499F24823 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:33:15] 909*2^1426137-1 is not prime. Res64: 6EF855CFBD9CCBBA Time : 0.0 sec. user=mdettweiler [2016-04-13 11:33:15] 937*2^1426137-1 is not prime. Res64: 12109333F391D69A Time : 0.0 sec. user=mdettweiler [2016-04-13 11:33:16] 945*2^1426137-1 is not prime. Res64: EF06A670AA39AA2C Time : 0.0 sec. user=mdettweiler [2016-04-13 11:33:16] 611*2^1426138-1 is not prime. Res64: 17B92A5F267B297E Time : 0.0 sec. user=mdettweiler [2016-04-13 11:33:17] 705*2^1426138-1 is not prime. Res64: BF52C72FCB7BEDB1 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:51:07] 713*2^1426138-1 is not prime. Res64: 1F0FF7D3070A9438 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:51:08] 723*2^1426138-1 is not prime. Res64: 49DCBC34AD98197E Time : 0.0 sec. user=mdettweiler [2016-04-13 11:51:09] 735*2^1426138-1 is not prime. Res64: 8827B49A63CF2A80 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:51:09] 747*2^1426138-1 is not prime. Res64: DBA6D1F13B298A3B Time : 0.0 sec. user=mdettweiler [2016-04-13 11:51:10] 843*2^1426138-1 is not prime. Res64: 708F7E0CD557FC0A Time : 0.0 sec. user=mdettweiler [2016-04-13 11:51:15] 911*2^1426138-1 is not prime. Res64: 32F6797F3F485D4C Time : 0.0 sec. user=mdettweiler [2016-04-13 11:51:16] 923*2^1426138-1 is not prime. Res64: 788A98CD8C51312F Time : 0.0 sec. user=mdettweiler [2016-04-13 11:51:16] 971*2^1426138-1 is not prime. Res64: 569A0A2F1EBB447D Time : 0.0 sec. user=mdettweiler [2016-04-13 11:51:17] 655*2^1426139-1 is not prime. Res64: A20F986A8E6F8597 Time : 0.0 sec. user=mdettweiler [2016-04-13 11:51:17] 693*2^1426139-1 is not prime. Res64: 929E38F001D2B286 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:00:30] 775*2^1426139-1 is not prime. Res64: B2AA2EBBEF1D9978 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:00:31] 903*2^1426139-1 is not prime. Res64: 5A7465F822480578 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:00:31] 973*2^1426139-1 is not prime. Res64: 8F0B5595140EC02F Time : 0.0 sec. user=mdettweiler [2016-04-13 12:00:32] 675*2^1426140-1 is not prime. Res64: B1D7DF89B0E0EC6B Time : 0.0 sec. user=mdettweiler [2016-04-13 12:00:32] 695*2^1426140-1 is not prime. Res64: 60D05BE09A2DEA02 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:20:59] 753*2^1426140-1 is not prime. Res64: 97794D5C3FDDC525 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:21:00] 767*2^1426140-1 is not prime. Res64: 004DA51010CE4AC4 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:21:00] 777*2^1426140-1 is not prime. Res64: 0990AB87CB1294AE Time : 0.0 sec. user=mdettweiler [2016-04-13 12:21:00] 803*2^1426140-1 is not prime. Res64: 9A3630BE10D263EB Time : 0.0 sec. user=mdettweiler [2016-04-13 12:21:01] 867*2^1426140-1 is not prime. Res64: 91540431FC413325 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:40:20] 777*2^1426141-1 is not prime. Res64: 7312EE52A319B409 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:40:21] 847*2^1426141-1 is not prime. Res64: 7EDC3BDF9AF4E5BB Time : 0.0 sec. user=mdettweiler [2016-04-13 12:40:21] 861*2^1426141-1 is not prime. Res64: 8154ADF77DC72FCA Time : 0.0 sec. user=mdettweiler [2016-04-13 12:40:21] 901*2^1426141-1 is not prime. Res64: 8BAC6A13AA471946 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:40:22] 937*2^1426141-1 is not prime. Res64: 1002B733471D34EE Time : 0.0 sec. user=mdettweiler [2016-04-13 12:40:30] 927*2^1426140-1 is not prime. Res64: 5AB288CE8CD5107D Time : 0.0 sec. user=mdettweiler [2016-04-13 12:40:31] 933*2^1426140-1 is not prime. Res64: D37CCF4466936ED6 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:40:31] 607*2^1426141-1 is not prime. Res64: 5449B99E6EB3606E Time : 0.0 sec. user=mdettweiler [2016-04-13 12:40:31] 645*2^1426141-1 is not prime. Res64: 6E0EB34D9077EA86 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:40:31] 771*2^1426141-1 is not prime. Res64: 9D7D9C90785A9337 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:50:17] 967*2^1426141-1 is not prime. Res64: A965FAFA27BEA087 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:50:17] 997*2^1426141-1 is not prime. Res64: 7582A8B5971CBF30 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:50:17] 603*2^1426142-1 is not prime. Res64: D9342B784B1BBDA0 Time : 0.0 sec. user=mdettweiler [2016-04-13 12:50:18] 615*2^1426142-1 is not prime. Res64: 5978C1DFACF5F0FF Time : 0.0 sec. user=mdettweiler [2016-04-13 12:50:18] 617*2^1426142-1 is not prime. Res64: 7F18877D7C5B6D4E Time : 0.0 sec. user=mdettweiler [2016-04-13 13:08:34] 675*2^1426142-1 is not prime. Res64: 8CE838E1063EEA1F Time : 0.0 sec. user=mdettweiler [2016-04-13 13:08:35] 713*2^1426142-1 is not prime. Res64: 273C430D4043250E Time : 0.0 sec. user=mdettweiler [2016-04-13 13:08:35] 815*2^1426142-1 is not prime. Res64: D43C21CCECAED4F7 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:08:35] 873*2^1426142-1 is not prime. Res64: 4F4090B369276AFF Time : 0.0 sec. user=mdettweiler [2016-04-13 13:08:35] 885*2^1426142-1 is not prime. Res64: 71B262B8F772C219 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:29:29] 887*2^1426142-1 is not prime. Res64: CC6AF3AB64A4DCBA Time : 0.0 sec. user=mdettweiler [2016-04-13 13:29:29] 915*2^1426142-1 is not prime. Res64: 1DCEA1467B3579E9 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:29:30] 921*2^1426142-1 is not prime. Res64: 86FAA8692FD76AEE Time : 0.0 sec. user=mdettweiler [2016-04-13 13:29:30] 613*2^1426143-1 is not prime. Res64: 63A015C574284D75 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:29:30] 615*2^1426143-1 is not prime. Res64: 66DF8A6CF5EE716F Time : 0.0 sec. user=mdettweiler [2016-04-13 13:29:59] 745*2^1426143-1 is not prime. Res64: 89FD190614294121 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:29:59] 823*2^1426143-1 is not prime. Res64: 71CB995F3B979179 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:30:00] 853*2^1426143-1 is not prime. Res64: A638C076255E0F33 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:30:00] 879*2^1426143-1 is not prime. Res64: A68E0C04121368B3 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:30:00] 891*2^1426143-1 is not prime. Res64: 94EAEA17CFB99463 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:39:10] 901*2^1426143-1 is not prime. Res64: E980283AEDFA7C33 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:39:10] 609*2^1426144-1 is not prime. Res64: 98BC4C6E1B871690 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:39:11] 615*2^1426144-1 is not prime. Res64: 3B181A237631DBF0 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:39:11] 629*2^1426144-1 is not prime. Res64: EC1CE28F908439FA Time : 0.0 sec. user=mdettweiler [2016-04-13 13:39:11] 819*2^1426144-1 is not prime. Res64: BBECC58FE04F34AB Time : 0.0 sec. user=mdettweiler [2016-04-13 13:58:58] 825*2^1426144-1 is not prime. Res64: C2E824BE1128F372 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:58:58] 843*2^1426144-1 is not prime. Res64: 9C7750121B43DC33 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:58:59] 857*2^1426144-1 is not prime. Res64: 7D86C8619786E0EA Time : 0.0 sec. user=mdettweiler [2016-04-13 13:58:59] 903*2^1426144-1 is not prime. Res64: 0A7C03E898494E36 Time : 0.0 sec. user=mdettweiler [2016-04-13 13:58:59] 917*2^1426144-1 is not prime. Res64: 5FBD2563064C31FE Time : 0.0 sec. user=mdettweiler [2016-04-13 14:18:52] 669*2^1426145-1 is not prime. Res64: 943E7F33819BFC49 Time : 0.0 sec. user=mdettweiler [2016-04-13 14:18:53] 685*2^1426145-1 is not prime. Res64: 86993ACE5A04449E Time : 0.0 sec. user=mdettweiler [2016-04-13 14:18:53] 717*2^1426145-1 is not prime. Res64: 02DE1C2020E2A1EF Time : 0.0 sec. user=mdettweiler [2016-04-13 14:18:54] 805*2^1426145-1 is not prime. Res64: E6816B00C9CD8FE8 Time : 0.0 sec. user=mdettweiler [2016-04-13 14:18:54] 867*2^1426145-1 is not prime. Res64: 5C2FE43A8E83C32F Time : 0.0 sec. user=mdettweiler [2016-04-13 14:19:28] 871*2^1426145-1 is not prime. Res64: BFEAD7A82F33B0CD Time : 0.0 sec. user=mdettweiler [2016-04-13 14:19:28] 889*2^1426145-1 is not prime. Res64: E61F489BBDBA580F Time : 0.0 sec. user=mdettweiler [2016-04-13 14:19:29] 671*2^1426146-1 is not prime. Res64: E2A8B4F1E49DDB62 Time : 0.0 sec. user=mdettweiler [2016-04-13 14:19:29] 711*2^1426146-1 is not prime. Res64: 8C9617A7ED8C8AC9 Time : 0.0 sec. user=mdettweiler [2016-04-13 14:19:29] 725*2^1426146-1 is not prime. Res64: 8F0EAA7194F6D9FD Time : 0.0 sec. user=mdettweiler [2016-04-13 14:30:22] 741*2^1426146-1 is not prime. Res64: F53D94959BB85000 Time : 0.0 sec. user=mdettweiler [2016-04-13 14:30:22] 649*2^1426147-1 is not prime. Res64: 007879CDDD0D16BC Time : 0.0 sec. user=mdettweiler [2016-04-13 14:30:22] 705*2^1426147-1 is not prime. Res64: 9055918A0EBE2299 Time : 0.0 sec. user=mdettweiler [2016-04-13 14:30:22] 883*2^1426147-1 is not prime. Res64: D15B802F70DA4DD9 Time : 0.0 sec. user=mdettweiler [2016-04-13 14:30:23] 975*2^1426147-1 is not prime. Res64: 4F6ADF8562A59A0D Time : 0.0 sec. user=mdettweiler [2016-04-13 14:54:47] 615*2^1426148-1 is not prime. Res64: 3F7E85F8797C222D Time : 0.0 sec. user=mdettweiler [2016-04-13 14:54:48] 635*2^1426148-1 is not prime. Res64: 1715DA179DD3ABA6 Time : 0.0 sec. user=mdettweiler [2016-04-13 14:54:48] 999*2^1426148-1 is not prime. Res64: 98E464F0D69FD79C Time : 0.0 sec. user=mdettweiler [2016-04-13 14:54:48] 621*2^1426149-1 is not prime. Res64: 81B6A12218BEA28E Time : 0.0 sec. user=mdettweiler [2016-04-13 14:54:49] 781*2^1426149-1 is not prime. Res64: D8BFA85C6E273709 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:15:56] 787*2^1426149-1 is not prime. Res64: A7D3E6E773946646 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:15:57] 635*2^1426150-1 is not prime. Res64: 614020DBAF4111F1 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:15:57] 657*2^1426150-1 is not prime. Res64: 1E9B4E69BFB048CC Time : 0.0 sec. user=mdettweiler [2016-04-13 15:15:57] 755*2^1426150-1 is not prime. Res64: A8729B03899BD514 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:15:58] 887*2^1426150-1 is not prime. Res64: 1F472F774ECD1058 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:17:33] 951*2^1426150-1 is not prime. Res64: 684DF32FA96325B7 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:17:33] 971*2^1426150-1 is not prime. Res64: 30944872254E6424 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:17:33] 645*2^1426151-1 is not prime. Res64: 9FD40ABDA85268B7 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:17:34] 663*2^1426151-1 is not prime. Res64: 74324973C864AEB8 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:17:34] 693*2^1426151-1 is not prime. Res64: 9B31EEBA45A1AFA1 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:34:23] 735*2^1426151-1 is not prime. Res64: 287ED5009519AE64 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:34:23] 823*2^1426151-1 is not prime. Res64: 6E9B35B09DB4D6E7 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:34:23] 999*2^1426151-1 is not prime. Res64: C2C8B66B11B2FBC4 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:34:24] 605*2^1426152-1 is not prime. Res64: 5B008DDE6B081976 Time : 0.0 sec. user=mdettweiler [2016-04-13 15:34:24] 623*2^1426152-1 is not prime. Res64: F3D29444F23FB955 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:00:04] 723*2^1426152-1 is not prime. Res64: 28F966A9608A5D97 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:00:04] 809*2^1426152-1 is not prime. Res64: 8B8AD8813A85606A Time : 0.0 sec. user=mdettweiler [2016-04-13 16:00:05] 837*2^1426152-1 is not prime. Res64: 2D294FC530E3994F Time : 0.0 sec. user=mdettweiler [2016-04-13 16:00:05] 619*2^1426153-1 is not prime. Res64: 849DCC2910BFE13B Time : 0.0 sec. user=mdettweiler [2016-04-13 16:00:05] 651*2^1426153-1 is not prime. Res64: 4DB581CCD67790D2 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:22:30] 687*2^1426153-1 is not prime. Res64: FD5785AE8267FD89 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:22:30] 691*2^1426153-1 is not prime. Res64: 335127A8E075F95B Time : 0.0 sec. user=mdettweiler [2016-04-13 16:22:31] 829*2^1426153-1 is not prime. Res64: 08C56FEB491ED04E Time : 0.0 sec. user=mdettweiler [2016-04-13 16:22:31] 955*2^1426153-1 is not prime. Res64: E8C5933E0AB95B4B Time : 0.0 sec. user=mdettweiler [2016-04-13 16:22:31] 641*2^1426154-1 is not prime. Res64: 0B47E4DA191861E9 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:24:21] 701*2^1426154-1 is not prime. Res64: 573364C5902DC631 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:24:22] 705*2^1426154-1 is not prime. Res64: C3D50A16BBC91C31 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:24:22] 755*2^1426154-1 is not prime. Res64: 1AE0600DB69ADCF2 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:24:22] 815*2^1426154-1 is not prime. Res64: 227A91E6424979DE Time : 0.0 sec. user=mdettweiler [2016-04-13 16:24:23] 825*2^1426154-1 is not prime. Res64: 1367E90A869CEB9A Time : 0.0 sec. user=mdettweiler [2016-04-13 16:39:06] 995*2^1426154-1 is not prime. Res64: 1E5CD70863F11297 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:39:06] 601*2^1426155-1 is not prime. Res64: A849ABF1F2B69B43 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:39:07] 805*2^1426155-1 is not prime. Res64: 646F46AF2E6362F0 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:39:07] 639*2^1426156-1 is not prime. Res64: 3B4AC3F87FA33F28 Time : 0.0 sec. user=mdettweiler [2016-04-13 16:39:07] 717*2^1426156-1 is not prime. Res64: 32445E6229B816DD Time : 0.0 sec. user=mdettweiler [2016-04-13 17:01:11] 749*2^1426156-1 is not prime. Res64: 6A9D20C8E527055B Time : 0.0 sec. user=mdettweiler [2016-04-13 17:01:12] 813*2^1426156-1 is not prime. Res64: CA83FC12AD8EF9DA Time : 0.0 sec. user=mdettweiler [2016-04-13 17:01:13] 843*2^1426156-1 is not prime. Res64: 1E73BE6D802EE3AD Time : 0.0 sec. user=mdettweiler [2016-04-13 17:01:14] 903*2^1426156-1 is not prime. Res64: B9E2B38745C95911 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:01:14] 927*2^1426156-1 is not prime. Res64: 73E57254331C70A4 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:18:57] 945*2^1426157-1 is not prime. Res64: 039E78959577F691 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:18:58] 611*2^1426158-1 is not prime. Res64: 4B7B84F9F46C9009 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:18:58] 627*2^1426158-1 is not prime. Res64: 0B444440F2D14DA4 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:18:58] 711*2^1426158-1 is not prime. Res64: A40343CF956A6F93 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:18:59] 795*2^1426158-1 is not prime. Res64: F31B1B10BFEDCA91 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:19:43] 987*2^1426156-1 is not prime. Res64: CDA9754DDF90B3EF Time : 0.0 sec. user=mdettweiler [2016-04-13 17:19:43] 993*2^1426156-1 is not prime. Res64: 79A799556D91AFAE Time : 0.0 sec. user=mdettweiler [2016-04-13 17:19:43] 741*2^1426157-1 is not prime. Res64: 75D2C8CA9E11F148 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:19:44] 757*2^1426157-1 is not prime. Res64: 57FB15839F34A784 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:19:44] 871*2^1426157-1 is not prime. Res64: B66B88F19CD35A21 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:32:28] 821*2^1426158-1 is not prime. Res64: 81771620F82FD485 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:32:28] 915*2^1426158-1 is not prime. Res64: 478C8A5F035A6221 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:32:29] 957*2^1426158-1 is not prime. Res64: 0A10E4F025C347EB Time : 0.0 sec. user=mdettweiler [2016-04-13 17:32:29] 639*2^1426159-1 is not prime. Res64: 1D9643446BEB7213 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:32:29] 745*2^1426159-1 is not prime. Res64: DB8C6C605DC9C765 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:50:33] 841*2^1426159-1 is not prime. Res64: E5DB87C22224B0E8 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:50:33] 975*2^1426159-1 is not prime. Res64: 3DFC0E7906B053D5 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:50:33] 999*2^1426159-1 is not prime. Res64: 3665288111A676DB Time : 0.0 sec. user=mdettweiler [2016-04-13 17:50:33] 843*2^1426160-1 is not prime. Res64: 8F811C26819C92F2 Time : 0.0 sec. user=mdettweiler [2016-04-13 17:50:34] 845*2^1426160-1 is not prime. Res64: D3E2BF4A5985854E Time : 0.0 sec. user=mdettweiler [2016-04-13 18:06:56] 999*2^1426160-1 is not prime. Res64: C1732C050DB8F027 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:06:57] 609*2^1426161-1 is not prime. Res64: 7448107578636010 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:06:57] 637*2^1426161-1 is not prime. Res64: 25DA874EE7D3BBFF Time : 0.0 sec. user=mdettweiler [2016-04-13 18:06:58] 675*2^1426161-1 is not prime. Res64: 8201D4CED0D5E7E6 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:06:58] 727*2^1426161-1 is not prime. Res64: 27BF5362EC8012F2 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:07:58] 747*2^1426161-1 is not prime. Res64: FB10BBDD46B44C29 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:07:59] 811*2^1426161-1 is not prime. Res64: 4BE3AC4E41347057 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:07:59] 955*2^1426161-1 is not prime. Res64: E1480C978B4FD563 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:08:00] 997*2^1426161-1 is not prime. Res64: C773511B15C0AAA0 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:08:00] 653*2^1426162-1 is not prime. Res64: C0496FDB5806F945 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:19:29] 675*2^1426162-1 is not prime. Res64: 9CD16EB5FAA133EB Time : 0.0 sec. user=mdettweiler [2016-04-13 18:19:29] 735*2^1426162-1 is not prime. Res64: 7679171DE9D1F9B5 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:19:30] 803*2^1426162-1 is not prime. Res64: 82810DBAAD6B9269 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:19:30] 815*2^1426162-1 is not prime. Res64: 65EF8ED1172947CC Time : 0.0 sec. user=mdettweiler [2016-04-13 18:19:31] 951*2^1426162-1 is not prime. Res64: 1B53CAE7C7F510D6 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:36:04] 987*2^1426162-1 is not prime. Res64: CD96465297745F1A Time : 0.0 sec. user=mdettweiler [2016-04-13 18:36:05] 853*2^1426163-1 is not prime. Res64: 52A02BDA4D31F59E Time : 0.0 sec. user=mdettweiler [2016-04-13 18:36:05] 871*2^1426163-1 is not prime. Res64: 3FBC51A11817F3A2 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:36:05] 943*2^1426163-1 is not prime. Res64: D7A753A22A1E4AC2 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:36:06] 609*2^1426164-1 is not prime. Res64: 9F497C2D0537A842 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:51:47] 705*2^1426164-1 is not prime. Res64: 6047AEC1397A9981 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:51:48] 795*2^1426164-1 is not prime. Res64: 934388006C55486E Time : 0.0 sec. user=mdettweiler [2016-04-13 18:51:48] 927*2^1426164-1 is not prime. Res64: 4BC779CC0015F919 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:51:48] 929*2^1426164-1 is not prime. Res64: CE52A94B128183AB Time : 0.0 sec. user=mdettweiler [2016-04-13 18:51:49] 619*2^1426165-1 is not prime. Res64: 55D297C3814386AF Time : 0.0 sec. user=mdettweiler [2016-04-13 18:52:50] 717*2^1426165-1 is not prime. Res64: 96FEAF33155AFDE3 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:52:51] 771*2^1426165-1 is not prime. Res64: FA36D94F662EEBE6 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:52:51] 825*2^1426165-1 is not prime. Res64: 9669B8D57D2C6DE2 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:52:51] 861*2^1426165-1 is not prime. Res64: 64F0741828D6EE27 Time : 0.0 sec. user=mdettweiler [2016-04-13 18:52:52] 877*2^1426165-1 is not prime. Res64: 4E32EAA10413CC43 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:03:59] 939*2^1426165-1 is not prime. Res64: 68FE95D4008A1B51 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:04:00] 997*2^1426165-1 is not prime. Res64: 9DAB2898A8F8789E Time : 0.0 sec. user=mdettweiler [2016-04-13 19:04:02] 671*2^1426166-1 is not prime. Res64: 9EDB7FCA1040F10C Time : 0.0 sec. user=mdettweiler [2016-04-13 19:04:02] 873*2^1426166-1 is not prime. Res64: 429A5554B5E8369B Time : 0.0 sec. user=mdettweiler [2016-04-13 19:04:03] 917*2^1426166-1 is not prime. Res64: D3C65984F9F731C1 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:20:53] 957*2^1426166-1 is not prime. Res64: 34538ECD2E703BC9 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:20:53] 993*2^1426166-1 is not prime. Res64: 896156A51B4E4E12 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:20:54] 661*2^1426167-1 is not prime. Res64: 9FE0203398F26D25 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:20:54] 735*2^1426167-1 is not prime. Res64: 65ADAD0780FFFF93 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:20:54] 751*2^1426167-1 is not prime. Res64: 862BC9E10C80CB2F Time : 0.0 sec. user=mdettweiler [2016-04-13 19:36:29] 819*2^1426167-1 is not prime. Res64: 5581DD55092E865F Time : 0.0 sec. user=mdettweiler [2016-04-13 19:36:29] 985*2^1426167-1 is not prime. Res64: BD5F2EB4DA9B7EC3 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:36:30] 605*2^1426168-1 is not prime. Res64: DD56AE4F6690BDE4 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:36:30] 773*2^1426168-1 is not prime. Res64: 7F903404589FEC82 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:36:30] 797*2^1426168-1 is not prime. Res64: C5764ACB279CB37F Time : 0.0 sec. user=mdettweiler [2016-04-13 19:37:39] 905*2^1426168-1 is not prime. Res64: EF75F9E2BBFE16FC Time : 0.0 sec. user=mdettweiler [2016-04-13 19:37:40] 909*2^1426168-1 is not prime. Res64: 6F485A45CB94CEAA Time : 0.0 sec. user=mdettweiler [2016-04-13 19:37:40] 637*2^1426169-1 is not prime. Res64: C25E98496E89901D Time : 0.0 sec. user=mdettweiler [2016-04-13 19:37:40] 657*2^1426169-1 is not prime. Res64: CB306F90341AC784 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:37:41] 711*2^1426169-1 is not prime. Res64: 230AE5CDBE2F47AE Time : 0.0 sec. user=mdettweiler [2016-04-13 19:49:08] 759*2^1426169-1 is not prime. Res64: BFF05C48DDDA5D69 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:49:08] 795*2^1426169-1 is not prime. Res64: C3407114E1E2DCB7 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:49:09] 885*2^1426169-1 is not prime. Res64: 5E4311697E56320D Time : 0.0 sec. user=mdettweiler [2016-04-13 19:49:09] 665*2^1426170-1 is not prime. Res64: E985513ED0974D73 Time : 0.0 sec. user=mdettweiler [2016-04-13 19:49:10] 725*2^1426170-1 is not prime. Res64: C867E7E2B74CE6FD Time : 0.0 sec. user=mdettweiler [2016-04-13 20:05:39] 873*2^1426170-1 is not prime. Res64: 9A2219491DD8870D Time : 0.0 sec. user=mdettweiler [2016-04-13 20:05:42] 679*2^1426171-1 is not prime. Res64: 4FDEA7753C843A3F Time : 0.0 sec. user=mdettweiler [2016-04-13 20:05:43] 691*2^1426171-1 is not prime. Res64: 077DB4E29EEDA588 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:05:44] 745*2^1426171-1 is not prime. Res64: B9A0B237E4C5A17A Time : 0.0 sec. user=mdettweiler [2016-04-13 20:05:46] 805*2^1426171-1 is not prime. Res64: 281735C76331C9E8 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:21:14] 841*2^1426171-1 is not prime. Res64: 3B7AA84CD8B0C078 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:21:15] 735*2^1426172-1 is not prime. Res64: F96EF13BF08ADD55 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:21:15] 743*2^1426172-1 is not prime. Res64: 6CBE902CF5EFA692 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:21:15] 813*2^1426172-1 is not prime. Res64: 5800FADD488A3964 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:21:16] 825*2^1426172-1 is not prime. Res64: C05B30E57F43EB72 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:22:35] 879*2^1426172-1 is not prime. Res64: 6495BAD8861AFE12 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:22:36] 903*2^1426172-1 is not prime. Res64: 6CE93007902CD6CE Time : 0.0 sec. user=mdettweiler [2016-04-13 20:22:36] 945*2^1426172-1 is not prime. Res64: 9629C10FEEDB6FCB Time : 0.0 sec. user=mdettweiler [2016-04-13 20:22:36] 691*2^1426173-1 is not prime. Res64: 764E3AA085D8CAB8 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:22:37] 781*2^1426173-1 is not prime. Res64: BA8ACB01A8C67C76 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:34:01] 791*2^1426174-1 is not prime. Res64: B4F1A13B9AC876D9 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:34:01] 827*2^1426174-1 is not prime. Res64: 69DE2B7482CAB09E Time : 0.0 sec. user=mdettweiler [2016-04-13 20:34:02] 975*2^1426174-1 is not prime. Res64: FC6AFDCC277E659E Time : 0.0 sec. user=mdettweiler [2016-04-13 20:34:02] 645*2^1426175-1 is not prime. Res64: CE544DD34D3528E5 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:34:02] 663*2^1426175-1 is not prime. Res64: 513F715E32C08F88 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:50:50] 783*2^1426175-1 is not prime. Res64: E9784D2E1DD24157 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:50:50] 825*2^1426175-1 is not prime. Res64: 9E98005F345317EE Time : 0.0 sec. user=mdettweiler [2016-04-13 20:50:50] 855*2^1426175-1 is not prime. Res64: E3C84E1E66F330B9 Time : 0.0 sec. user=mdettweiler [2016-04-13 20:50:51] 963*2^1426175-1 is not prime. Res64: 37059D4CE39454AA Time : 0.0 sec. user=mdettweiler [2016-04-13 20:50:51] 653*2^1426176-1 is not prime. Res64: C846EE3CC66C36DC Time : 0.0 sec. user=mdettweiler [2016-04-13 21:06:18] 669*2^1426176-1 is not prime. Res64: ABAB83E8330731E9 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:06:20] 717*2^1426176-1 is not prime. Res64: B995E590C7487C30 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:06:21] 735*2^1426176-1 is not prime. Res64: 47912CFC999F3EAF Time : 0.0 sec. user=mdettweiler [2016-04-13 21:06:22] 809*2^1426176-1 is not prime. Res64: 10E97CEA6FD92C95 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:06:23] 879*2^1426176-1 is not prime. Res64: BD9539BE6D0D83CB Time : 0.0 sec. user=mdettweiler [2016-04-13 21:07:43] 893*2^1426176-1 is not prime. Res64: C2F0A5F6ACA57C89 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:07:43] 903*2^1426176-1 is not prime. Res64: B1B5077D88DE61F9 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:07:44] 601*2^1426177-1 is not prime. Res64: 869F44080B8CAF60 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:07:44] 649*2^1426177-1 is not prime. Res64: 7422DE40F6D7913A Time : 0.0 sec. user=mdettweiler [2016-04-13 21:07:45] 775*2^1426177-1 is not prime. Res64: DAD664C92DA0EB38 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:19:02] 805*2^1426177-1 is not prime. Res64: 0A3EF180FC0FA547 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:19:02] 847*2^1426177-1 is not prime. Res64: 8D14B7F6ADFB68C7 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:19:03] 985*2^1426177-1 is not prime. Res64: EE8A830D6FE4944E Time : 0.0 sec. user=mdettweiler [2016-04-13 21:19:03] 633*2^1426178-1 is not prime. Res64: A985CC4900526E07 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:19:04] 705*2^1426178-1 is not prime. Res64: 260EB1811F293DBF Time : 0.0 sec. user=mdettweiler [2016-04-13 21:37:47] 767*2^1426178-1 is not prime. Res64: 0BC9DB4F124D1DE6 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:37:47] 875*2^1426178-1 is not prime. Res64: EBC7D8FD301A3200 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:37:47] 923*2^1426178-1 is not prime. Res64: 552858F0B0500676 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:37:48] 741*2^1426179-1 is not prime. Res64: 527FA108D84CE0A2 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:37:48] 789*2^1426179-1 is not prime. Res64: 2A12A64E7AFF4A35 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:53:47] 835*2^1426179-1 is not prime. Res64: 589372FDBB7E879C Time : 0.0 sec. user=mdettweiler [2016-04-13 21:53:48] 949*2^1426179-1 is not prime. Res64: E318F3B98656800F Time : 0.0 sec. user=mdettweiler [2016-04-13 21:53:48] 969*2^1426179-1 is not prime. Res64: DCAE4F23A3E8DEAB Time : 0.0 sec. user=mdettweiler [2016-04-13 21:53:48] 623*2^1426180-1 is not prime. Res64: 86DF5E2E9C648210 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:53:49] 677*2^1426180-1 is not prime. Res64: 6F6A7190E2EF462A Time : 0.0 sec. user=mdettweiler [2016-04-13 21:54:45] 695*2^1426180-1 is not prime. Res64: A6045A4BFC7050AF Time : 0.0 sec. user=mdettweiler [2016-04-13 21:54:46] 825*2^1426180-1 is not prime. Res64: 04050E90D1B20955 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:54:46] 827*2^1426180-1 is not prime. Res64: C9FB33E8BA8E1A23 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:54:46] 915*2^1426180-1 is not prime. Res64: 0D69892E5990C6F8 Time : 0.0 sec. user=mdettweiler [2016-04-13 21:54:47] 657*2^1426181-1 is not prime. Res64: FD522BE0EE716543 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:06:19] 865*2^1426181-1 is not prime. Res64: 1857A0846BCD2B4C Time : 0.0 sec. user=mdettweiler [2016-04-13 22:06:20] 951*2^1426181-1 is not prime. Res64: FFB76ACE119D5FF9 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:06:21] 955*2^1426181-1 is not prime. Res64: 453D91D2024EF5BF Time : 0.0 sec. user=mdettweiler [2016-04-13 22:06:23] 651*2^1426182-1 is not prime. Res64: 54D1476548E0E530 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:06:24] 653*2^1426182-1 is not prime. Res64: 685D149374BF4025 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:23:20] 683*2^1426182-1 is not prime. Res64: E9B86DD79BDC5819 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:23:20] 711*2^1426182-1 is not prime. Res64: 4E9593F16A08A1DE Time : 0.0 sec. user=mdettweiler [2016-04-13 22:23:20] 791*2^1426182-1 is not prime. Res64: 4FBCA1E0D314F31E Time : 0.0 sec. user=mdettweiler [2016-04-13 22:23:20] 833*2^1426182-1 is not prime. Res64: F50C18A74D997767 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:23:21] 843*2^1426182-1 is not prime. Res64: 76A5477190136E87 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:39:01] 893*2^1426182-1 is not prime. Res64: 3F72060FC64DAECB Time : 0.0 sec. user=mdettweiler [2016-04-13 22:39:01] 951*2^1426182-1 is not prime. Res64: 49DAD1146FFA8A18 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:39:02] 615*2^1426183-1 is not prime. Res64: 12E661FC188F7833 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:39:02] 673*2^1426183-1 is not prime. Res64: D47D407AD502CCC9 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:39:02] 675*2^1426183-1 is not prime. Res64: 422BC8364B82D07B Time : 0.0 sec. user=mdettweiler [2016-04-13 22:39:56] 685*2^1426183-1 is not prime. Res64: E1F50EE6E1D70601 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:39:56] 693*2^1426183-1 is not prime. Res64: 9D0EB3F460DBC164 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:39:57] 805*2^1426183-1 is not prime. Res64: D1FDF3A9934F0C58 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:39:57] 811*2^1426183-1 is not prime. Res64: 09C93853783426E5 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:39:58] 859*2^1426183-1 is not prime. Res64: D990B42EAA2FCCC7 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:51:52] 871*2^1426183-1 is not prime. Res64: 14E9893FCD6B4DF0 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:51:52] 609*2^1426184-1 is not prime. Res64: 79E15B02266E148A Time : 0.0 sec. user=mdettweiler [2016-04-13 22:51:53] 743*2^1426184-1 is not prime. Res64: 52F2D6F3D8F369A6 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:51:53] 785*2^1426184-1 is not prime. Res64: D796F78306F69EA1 Time : 0.0 sec. user=mdettweiler [2016-04-13 22:51:53] 855*2^1426184-1 is not prime. Res64: 49534FE228D16D07 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:08:28] 903*2^1426184-1 is not prime. Res64: C5A0646D3E466236 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:08:29] 917*2^1426184-1 is not prime. Res64: 4173BCCE5B58083D Time : 0.0 sec. user=mdettweiler [2016-04-13 23:08:29] 669*2^1426185-1 is not prime. Res64: 59B9A1841BB0B87C Time : 0.0 sec. user=mdettweiler [2016-04-13 23:08:30] 817*2^1426185-1 is not prime. Res64: A33826C9D66A479D Time : 0.0 sec. user=mdettweiler [2016-04-13 23:08:30] 997*2^1426185-1 is not prime. Res64: 4D7CCE7A3601F1F5 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:24:07] 675*2^1426186-1 is not prime. Res64: 48E4B3B50142DD2D Time : 0.0 sec. user=mdettweiler [2016-04-13 23:24:07] 713*2^1426186-1 is not prime. Res64: 653D77F3ACE6782B Time : 0.0 sec. user=mdettweiler [2016-04-13 23:24:08] 723*2^1426186-1 is not prime. Res64: 08B4C237FECB4134 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:24:08] 741*2^1426186-1 is not prime. Res64: BB50064A41374F75 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:24:09] 755*2^1426186-1 is not prime. Res64: B1008AA97074C47A Time : 0.0 sec. user=mdettweiler [2016-04-13 23:24:59] 941*2^1426186-1 is not prime. Res64: 5AB70B95020FD6C2 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:25:00] 615*2^1426187-1 is not prime. Res64: 54992006763132BA Time : 0.0 sec. user=mdettweiler [2016-04-13 23:25:00] 631*2^1426187-1 is not prime. Res64: 0C06B4AA74A6AD5E Time : 0.0 sec. user=mdettweiler [2016-04-13 23:25:00] 699*2^1426187-1 is not prime. Res64: 04F5BB5235DB4067 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:25:01] 775*2^1426187-1 is not prime. Res64: 6C86E1E559631E1D Time : 0.0 sec. user=mdettweiler [2016-04-13 23:37:15] 915*2^1426187-1 is not prime. Res64: BC3413B180E6028D Time : 0.0 sec. user=mdettweiler [2016-04-13 23:37:15] 991*2^1426187-1 is not prime. Res64: 050CF500338060C0 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:37:15] 669*2^1426188-1 is not prime. Res64: 6EFD3E7973C6BD79 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:37:16] 723*2^1426188-1 is not prime. Res64: 0F2FA689CA3B35E0 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:37:16] 765*2^1426188-1 is not prime. Res64: 299D1B4DB18F29B8 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:53:37] 789*2^1426188-1 is not prime. Res64: 3E3D5DEA9ABDAC52 Time : 0.0 sec. user=mdettweiler [2016-04-13 23:53:37] 887*2^1426188-1 is not prime. Res64: 0E3387623052CFDF Time : 0.0 sec. user=mdettweiler [2016-04-13 23:53:38] 945*2^1426188-1 is not prime. Res64: 5905B0747D0D3E8F Time : 0.0 sec. user=mdettweiler [2016-04-13 23:53:38] 975*2^1426188-1 is not prime. Res64: 9FE0EC3769D0D82C Time : 0.0 sec. user=mdettweiler [2016-04-13 23:53:38] 999*2^1426188-1 is not prime. Res64: 44FFA60BBB75606A Time : 0.0 sec.