user=mdettweiler [2017-04-11 00:09:33] 677*2^1451214-1 is not prime. Res64: FAFCF16B60AC5E34 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:09:34] 681*2^1451214-1 is not prime. Res64: C9F0B839523816CC Time : 0.0 sec. user=mdettweiler [2017-04-11 00:09:34] 765*2^1451214-1 is not prime. Res64: 6E06DD32430F97DE Time : 0.0 sec. user=mdettweiler [2017-04-11 00:09:35] 767*2^1451214-1 is not prime. Res64: 8327F5A4C07F7C07 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:09:35] 795*2^1451214-1 is not prime. Res64: 1C245FCB34204074 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:09:36] 715*2^1451213-1 is not prime. Res64: 0DEFA9D71FF3B11C Time : 0.0 sec. user=mdettweiler [2017-04-11 00:09:37] 729*2^1451213-1 is not prime. Res64: FEC9E5A5D5316064 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:09:38] 741*2^1451213-1 is not prime. Res64: E2494FCBCCC6846A Time : 0.0 sec. user=mdettweiler [2017-04-11 00:09:38] 771*2^1451213-1 is not prime. Res64: EE8CE17BEB6E7DA7 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:09:39] 801*2^1451213-1 is not prime. Res64: 8F32A3322B3007C1 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:42:27] 807*2^1451214-1 is not prime. Res64: 410A0353BC160C86 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:42:27] 861*2^1451214-1 is not prime. Res64: B40A3F60453F1879 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:42:28] 927*2^1451214-1 is not prime. Res64: D256C6607BEA435A Time : 0.0 sec. user=mdettweiler [2017-04-11 00:42:28] 945*2^1451214-1 is not prime. Res64: 905624F291C6A046 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:42:29] 619*2^1451215-1 is not prime. Res64: 7590EA09D8DB313C Time : 0.0 sec. user=mdettweiler [2017-04-11 00:42:54] 633*2^1451215-1 is not prime. Res64: 02B6EA6A06A2A891 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:42:55] 661*2^1451215-1 is not prime. Res64: 2F0D2D8F85C4495D Time : 0.0 sec. user=mdettweiler [2017-04-11 00:42:55] 685*2^1451215-1 is not prime. Res64: 914D171741CD4B17 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:42:55] 693*2^1451215-1 is not prime. Res64: E253C6E4D9A6E390 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:42:56] 861*2^1451215-1 is not prime. Res64: D0F3F16C3599C27F Time : 0.0 sec. user=mdettweiler [2017-04-11 00:55:00] 885*2^1451215-1 is not prime. Res64: 665F4935DD2F76D2 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:55:00] 915*2^1451215-1 is not prime. Res64: 647E994135E3B3CB Time : 0.0 sec. user=mdettweiler [2017-04-11 00:55:00] 623*2^1451216-1 is not prime. Res64: A1D1DECA765CB8B9 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:55:01] 677*2^1451216-1 is not prime. Res64: 056D4D9037130B0B Time : 0.0 sec. user=mdettweiler [2017-04-11 00:55:01] 735*2^1451216-1 is not prime. Res64: 351A8D2FDE40CEDF Time : 0.0 sec. user=mdettweiler [2017-04-11 00:55:07] 747*2^1451216-1 is not prime. Res64: 145A3BA681C6AA78 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:55:07] 759*2^1451216-1 is not prime. Res64: 07414FC39EC0E46A Time : 0.0 sec. user=mdettweiler [2017-04-11 00:55:08] 789*2^1451216-1 is not prime. Res64: C6CCF011BF5E8212 Time : 0.0 sec. user=mdettweiler [2017-04-11 00:55:08] 825*2^1451216-1 is not prime. Res64: 22334D95F8D27CEC Time : 0.0 sec. user=mdettweiler [2017-04-11 00:55:08] 893*2^1451216-1 is not prime. Res64: 2C3D0408784B3DDC Time : 0.0 sec. user=mdettweiler [2017-04-11 01:27:32] 909*2^1451216-1 is not prime. Res64: 0260449B97ED8872 Time : 0.0 sec. user=mdettweiler [2017-04-11 01:27:34] 935*2^1451216-1 is not prime. Res64: BF40CCE489747D3B Time : 0.0 sec. user=mdettweiler [2017-04-11 01:27:35] 681*2^1451217-1 is not prime. Res64: 42F08F1CD6538780 Time : 0.0 sec. user=mdettweiler [2017-04-11 01:27:38] 741*2^1451217-1 is not prime. Res64: 178618010B8E59A1 Time : 0.0 sec. user=mdettweiler [2017-04-11 01:27:39] 795*2^1451217-1 is not prime. Res64: 04BA65FD43F96D8F Time : 0.0 sec. user=mdettweiler [2017-04-11 01:27:55] 895*2^1451217-1 is not prime. Res64: 5A32764B3800757C Time : 0.0 sec. user=mdettweiler [2017-04-11 01:28:00] 937*2^1451217-1 is not prime. Res64: C7A2D21774879AFE Time : 0.0 sec. user=mdettweiler [2017-04-11 01:28:02] 997*2^1451217-1 is not prime. Res64: EE5480E14951A864 Time : 0.0 sec. user=mdettweiler [2017-04-11 01:28:04] 695*2^1451218-1 is not prime. Res64: 18D8A675ECC16A46 Time : 0.0 sec. user=mdettweiler [2017-04-11 01:28:05] 737*2^1451218-1 is not prime. Res64: FD718AC7A9A545FC Time : 0.0 sec. user=mdettweiler [2017-04-11 01:40:05] 755*2^1451218-1 is not prime. Res64: A20E127ECA1456A8 Time : 0.0 sec. user=mdettweiler [2017-04-11 01:40:06] 885*2^1451218-1 is not prime. Res64: BAEA7DD75DDD90E9 Time : 0.0 sec. user=mdettweiler [2017-04-11 01:40:06] 619*2^1451219-1 is not prime. Res64: C9A420ACB204CC41 Time : 0.0 sec. user=mdettweiler [2017-04-11 01:40:07] 675*2^1451219-1 is not prime. Res64: 60DA366C130ABF9B Time : 0.0 sec. user=mdettweiler [2017-04-11 01:40:07] 745*2^1451219-1 is not prime. Res64: BC63901CB270CCD3 Time : 0.0 sec. user=mdettweiler [2017-04-11 01:40:15] 813*2^1451219-1 is not prime. Res64: E9BFC36364E5A9AC Time : 0.0 sec. user=mdettweiler [2017-04-11 01:40:15] 753*2^1451220-1 is not prime. Res64: 9AE9882DB49F4BAC Time : 0.0 sec. user=mdettweiler [2017-04-11 01:40:16] 773*2^1451220-1 is not prime. Res64: DE62441799D796C7 Time : 0.0 sec. user=mdettweiler [2017-04-11 01:40:16] 927*2^1451220-1 is not prime. Res64: 70F9B53AD440391E Time : 0.0 sec. user=mdettweiler [2017-04-11 01:40:17] 649*2^1451221-1 is not prime. Res64: 5B725139CAEF34FF Time : 0.0 sec. user=juhehe [2017-04-11 01:51:25] 675*2^1451221-1 is not prime. Res64: 5FEC092D76763EB5 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:13:12] 691*2^1451221-1 is not prime. Res64: F5BD4F3644DEDC74 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:13:13] 829*2^1451221-1 is not prime. Res64: C0784175C1BA6695 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:13:13] 877*2^1451221-1 is not prime. Res64: 8A060535DF34163D Time : 0.0 sec. user=mdettweiler [2017-04-11 02:13:13] 931*2^1451221-1 is not prime. Res64: 0A2038C484E4091E Time : 0.0 sec. user=mdettweiler [2017-04-11 02:13:14] 945*2^1451221-1 is not prime. Res64: B2C3F1E0504E843D Time : 0.0 sec. user=mdettweiler [2017-04-11 02:13:21] 687*2^1451221-1 is not prime. Res64: 15096F50AD57DB88 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:13:21] 961*2^1451221-1 is not prime. Res64: 8DD5046C209EF31E Time : 0.0 sec. user=mdettweiler [2017-04-11 02:13:22] 997*2^1451221-1 is not prime. Res64: 4F2C7F7447C06BAD Time : 0.0 sec. user=mdettweiler [2017-04-11 02:13:22] 623*2^1451222-1 is not prime. Res64: 18CC1A007E346AED Time : 0.0 sec. user=mdettweiler [2017-04-11 02:13:22] 743*2^1451222-1 is not prime. Res64: 422B1717463449C9 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:25:18] 735*2^1451223-1 is not prime. Res64: F062C50F0CA93335 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:25:18] 829*2^1451223-1 is not prime. Res64: FF1DC01370BDE44A Time : 0.0 sec. user=mdettweiler [2017-04-11 02:25:18] 853*2^1451223-1 is not prime. Res64: B639C15E8B442F0D Time : 0.0 sec. user=mdettweiler [2017-04-11 02:25:19] 973*2^1451223-1 is not prime. Res64: 642C16589F4CD740 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:25:19] 609*2^1451224-1 is not prime. Res64: E7FA84208EC149D2 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:25:27] 827*2^1451222-1 is not prime. Res64: EB04A4F7623342AB Time : 0.0 sec. user=mdettweiler [2017-04-11 02:25:28] 887*2^1451222-1 is not prime. Res64: 9C739839724896B8 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:25:28] 917*2^1451222-1 is not prime. Res64: B10B306F6C414A46 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:25:29] 693*2^1451223-1 is not prime. Res64: 1A30994781ED4723 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:25:29] 723*2^1451223-1 is not prime. Res64: DB696D726DA151BB Time : 0.0 sec. user=juhehe [2017-04-11 02:43:29] 705*2^1451224-1 is not prime. Res64: CF86750203ACDF11 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:58:15] 765*2^1451224-1 is not prime. Res64: D5071583B7525B5E Time : 0.0 sec. user=mdettweiler [2017-04-11 02:58:15] 785*2^1451224-1 is not prime. Res64: 47E8BE6C5AEA271F Time : 0.0 sec. user=mdettweiler [2017-04-11 02:58:16] 975*2^1451224-1 is not prime. Res64: 5494ABC333EE0F23 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:58:16] 627*2^1451225-1 is not prime. Res64: 09A5469D2311FEB5 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:58:17] 645*2^1451225-1 is not prime. Res64: 9394DAF75E44AEE8 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:58:20] 759*2^1451225-1 is not prime. Res64: C0155266951A9902 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:58:20] 771*2^1451225-1 is not prime. Res64: CE81E24FC710CFE4 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:58:21] 871*2^1451225-1 is not prime. Res64: 5260C3081FF8121E Time : 0.0 sec. user=mdettweiler [2017-04-11 02:58:21] 647*2^1451226-1 is not prime. Res64: 508885E622A70997 Time : 0.0 sec. user=mdettweiler [2017-04-11 02:58:22] 657*2^1451226-1 is not prime. Res64: 9B8AC0CBF098EFD2 Time : 0.0 sec. user=juhehe [2017-04-11 03:09:17] 871*2^1451227-1 is not prime. Res64: 0188108671761F99 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:10:27] 735*2^1451226-1 is not prime. Res64: 06631CD32E5AAA15 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:10:28] 741*2^1451226-1 is not prime. Res64: F6585D6F2D27401C Time : 0.0 sec. user=mdettweiler [2017-04-11 03:10:28] 971*2^1451226-1 is not prime. Res64: 5D10DC1F8B419552 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:10:29] 601*2^1451227-1 is not prime. Res64: 83C1E735CE127A15 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:10:29] 619*2^1451227-1 is not prime. Res64: B90293A060D64EAB Time : 0.0 sec. user=mdettweiler [2017-04-11 03:10:42] 625*2^1451227-1 is not prime. Res64: 33B8CC9BC6D692A5 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:10:43] 645*2^1451227-1 is not prime. Res64: 35C240CC8ECB1E95 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:10:43] 685*2^1451227-1 is not prime. Res64: ABEEAEBF2FC42C61 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:10:43] 733*2^1451227-1 is not prime. Res64: A8CA8A1E832DC5EF Time : 0.0 sec. user=mdettweiler [2017-04-11 03:10:44] 793*2^1451227-1 is not prime. Res64: DE39A4D8DF094E0A Time : 0.0 sec. user=mdettweiler [2017-04-11 03:43:29] 879*2^1451228-1 is not prime. Res64: A4CBA963CA9156AE Time : 0.0 sec. user=mdettweiler [2017-04-11 03:43:33] 977*2^1451228-1 is not prime. Res64: 447C49A9268F6ABB Time : 0.0 sec. user=mdettweiler [2017-04-11 03:43:34] 655*2^1451229-1 is not prime. Res64: 0646F1D1594A7B4C Time : 0.0 sec. user=mdettweiler [2017-04-11 03:43:40] 691*2^1451229-1 is not prime. Res64: 13F1E99DA26E7E3D Time : 0.0 sec. user=mdettweiler [2017-04-11 03:43:41] 901*2^1451227-1 is not prime. Res64: FE76CCC8BA548C28 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:43:44] 747*2^1451229-1 is not prime. Res64: F1E4ECDA5F7398D1 Time : 0.0 sec. user=juhehe [2017-04-11 03:50:16] 759*2^1451229-1 is not prime. Res64: A7E3DB8A8AECA0B0 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:55:58] 877*2^1451229-1 is not prime. Res64: 905C0B157DC8DF25 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:55:59] 999*2^1451229-1 is not prime. Res64: 1FBC28FB5A2153B9 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:55:59] 603*2^1451230-1 is not prime. Res64: 2CF68A5172551240 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:56:00] 611*2^1451230-1 is not prime. Res64: FA12B040202B864A Time : 0.0 sec. user=mdettweiler [2017-04-11 03:56:00] 827*2^1451230-1 is not prime. Res64: C9181D921DCF82AB Time : 0.0 sec. user=mdettweiler [2017-04-11 03:56:16] 867*2^1451230-1 is not prime. Res64: 6E7AC4B687E8768A Time : 0.0 sec. user=mdettweiler [2017-04-11 03:56:17] 885*2^1451230-1 is not prime. Res64: 94F140B97B4C3B91 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:56:17] 643*2^1451231-1 is not prime. Res64: 02D2C7E473E7F097 Time : 0.0 sec. user=mdettweiler [2017-04-11 03:56:18] 645*2^1451231-1 is not prime. Res64: AFCCDC81CA106F1B Time : 0.0 sec. user=mdettweiler [2017-04-11 03:56:18] 649*2^1451231-1 is not prime. Res64: 931E707964C15DA1 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:30:32] 669*2^1451231-1 is not prime. Res64: 5E9E48A0CCE49ABD Time : 0.0 sec. user=mdettweiler [2017-04-11 04:30:32] 745*2^1451231-1 is not prime. Res64: 23959E0DD053A513 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:30:33] 759*2^1451231-1 is not prime. Res64: CC2B00409F377856 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:30:33] 901*2^1451231-1 is not prime. Res64: 7D6A5D5E3F10F13B Time : 0.0 sec. user=mdettweiler [2017-04-11 04:30:34] 939*2^1451231-1 is not prime. Res64: E5144F17D84767A5 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:42:11] 605*2^1451232-1 is not prime. Res64: 55588C26C816C951 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:42:11] 683*2^1451232-1 is not prime. Res64: D4BCCAAB71866551 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:42:11] 809*2^1451232-1 is not prime. Res64: A81BCA87930E0F5E Time : 0.0 sec. user=mdettweiler [2017-04-11 04:42:12] 863*2^1451232-1 is not prime. Res64: 1F023350FE14EC27 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:42:12] 975*2^1451232-1 is not prime. Res64: 6C683A041164B562 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:42:14] 977*2^1451232-1 is not prime. Res64: BFC7998CF6F43D87 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:42:15] 619*2^1451233-1 is not prime. Res64: 15BC0D8325C49014 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:42:15] 651*2^1451233-1 is not prime. Res64: 2D458295F45D78D7 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:42:15] 745*2^1451233-1 is not prime. Res64: C4AECF281457D445 Time : 0.0 sec. user=mdettweiler [2017-04-11 04:42:16] 775*2^1451233-1 is not prime. Res64: A9ED1DBF73A58359 Time : 0.0 sec. user=juhehe [2017-04-11 05:13:40] 945*2^1451234-1 is not prime. Res64: 925714DB830D20C7 Time : 0.0 sec. user=mdettweiler [2017-04-11 05:16:25] 861*2^1451233-1 is not prime. Res64: 5B43A89377BD2393 Time : 0.0 sec. user=mdettweiler [2017-04-11 05:16:26] 985*2^1451233-1 is not prime. Res64: 851DDEDBB7091CBC Time : 0.0 sec. user=mdettweiler [2017-04-11 05:16:26] 677*2^1451234-1 is not prime. Res64: 8DB9AF17EC14EDB6 Time : 0.0 sec. user=mdettweiler [2017-04-11 05:16:27] 815*2^1451234-1 is not prime. Res64: C7EAA71F8CFA704E Time : 0.0 sec. user=mdettweiler [2017-04-11 05:16:27] 837*2^1451234-1 is not prime. Res64: 38A43C177E0BDC2B Time : 0.0 sec. user=mdettweiler [2017-04-11 05:28:09] 853*2^1451235-1 is not prime. Res64: 6B6CC531BDCC535F Time : 0.0 sec. user=mdettweiler [2017-04-11 05:28:10] 885*2^1451235-1 is not prime. Res64: 1731D27D5F46AD16 Time : 0.0 sec. user=mdettweiler [2017-04-11 05:28:10] 909*2^1451235-1 is not prime. Res64: 056DA80029EBF06B Time : 0.0 sec. user=mdettweiler [2017-04-11 05:28:10] 615*2^1451236-1 is not prime. Res64: 1EF0E56ACA926B4F Time : 0.0 sec. user=mdettweiler [2017-04-11 05:28:11] 657*2^1451236-1 is not prime. Res64: C55C70373F0044D8 Time : 0.0 sec. user=mdettweiler [2017-04-11 05:28:18] 957*2^1451234-1 is not prime. Res64: 7820063F047D8DD9 Time : 0.0 sec. user=mdettweiler [2017-04-11 05:28:18] 679*2^1451235-1 is not prime. Res64: C099C6E4ED790081 Time : 0.0 sec. user=mdettweiler [2017-04-11 05:28:18] 711*2^1451235-1 is not prime. Res64: FCB46331486746AA Time : 0.0 sec. user=mdettweiler [2017-04-11 05:28:19] 741*2^1451235-1 is not prime. Res64: 044E1C9B4F1AB326 Time : 0.0 sec. user=mdettweiler [2017-04-11 05:28:19] 819*2^1451235-1 is not prime. Res64: 7C8FF6249B8E3922 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:02:17] 723*2^1451236-1 is not prime. Res64: 8BF042860B1D1BAA Time : 0.0 sec. user=mdettweiler [2017-04-11 06:02:18] 735*2^1451236-1 is not prime. Res64: 505A3A6E5474692C Time : 0.0 sec. user=mdettweiler [2017-04-11 06:02:19] 779*2^1451236-1 is not prime. Res64: E2A9DCEA5C89A32F Time : 0.0 sec. user=mdettweiler [2017-04-11 06:02:20] 845*2^1451236-1 is not prime. Res64: CB41F7E3B2683601 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:02:21] 759*2^1451237-1 is not prime. Res64: 6EEFC46790C4D937 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:13:56] 771*2^1451237-1 is not prime. Res64: 12D6D71C8E9E4BE4 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:13:57] 831*2^1451237-1 is not prime. Res64: E519EA502E71422D Time : 0.0 sec. user=mdettweiler [2017-04-11 06:13:57] 871*2^1451237-1 is not prime. Res64: C85F5BD77391429E Time : 0.0 sec. user=mdettweiler [2017-04-11 06:13:58] 889*2^1451237-1 is not prime. Res64: 9507F2C06C1AFF70 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:13:58] 981*2^1451237-1 is not prime. Res64: 025144699341C7B6 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:14:20] 705*2^1451238-1 is not prime. Res64: 448E9080B3367DBC Time : 0.0 sec. user=mdettweiler [2017-04-11 06:14:20] 737*2^1451238-1 is not prime. Res64: 0FC72F45DBA86472 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:14:21] 765*2^1451238-1 is not prime. Res64: A3457CD1D9D90E49 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:14:21] 875*2^1451238-1 is not prime. Res64: 7E066116749B2375 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:14:21] 933*2^1451238-1 is not prime. Res64: 2263A0999B86587C Time : 0.0 sec. user=mdettweiler [2017-04-11 06:40:07] 633*2^1451228-1 is not prime. Res64: 8E02B6CB233A4592 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:40:07] 659*2^1451228-1 is not prime. Res64: 8978617C5D596478 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:40:08] 665*2^1451228-1 is not prime. Res64: 40E65859F71454ED Time : 0.0 sec. user=mdettweiler [2017-04-11 06:40:08] 827*2^1451228-1 is not prime. Res64: AE912AEC85CD005B Time : 0.0 sec. user=mdettweiler [2017-04-11 06:48:21] 729*2^1451239-1 is not prime. Res64: BD36E6293A7D570F Time : 0.0 sec. user=mdettweiler [2017-04-11 06:48:21] 933*2^1451239-1 is not prime. Res64: 6CA8EC1A4A577ACE Time : 0.0 sec. user=mdettweiler [2017-04-11 06:48:22] 943*2^1451239-1 is not prime. Res64: 8B72D725BF95629B Time : 0.0 sec. user=mdettweiler [2017-04-11 06:48:22] 717*2^1451240-1 is not prime. Res64: 280A071A8CD4BCF7 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:48:22] 797*2^1451240-1 is not prime. Res64: 99B607075884B8B9 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:59:52] 855*2^1451240-1 is not prime. Res64: B5287C61E89FB9B8 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:59:52] 601*2^1451241-1 is not prime. Res64: AE3C250DC62BD22C Time : 0.0 sec. user=mdettweiler [2017-04-11 06:59:53] 661*2^1451241-1 is not prime. Res64: 481FF066AA7D09E2 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:59:53] 739*2^1451241-1 is not prime. Res64: 9EBD224D94036A09 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:59:54] 789*2^1451241-1 is not prime. Res64: 3B9577CE53796672 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:59:58] 837*2^1451241-1 is not prime. Res64: F6E7159A1D35C60F Time : 0.0 sec. user=mdettweiler [2017-04-11 06:59:59] 849*2^1451241-1 is not prime. Res64: F3D48859E1F259C1 Time : 0.0 sec. user=mdettweiler [2017-04-11 06:59:59] 889*2^1451241-1 is not prime. Res64: EDE9B4D337C78F8C Time : 0.0 sec. user=mdettweiler [2017-04-11 07:00:00] 909*2^1451241-1 is not prime. Res64: E12491A301CBB207 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:00:00] 975*2^1451241-1 is not prime. Res64: B4755773CC7E239D Time : 0.0 sec. user=mdettweiler [2017-04-11 07:25:11] 611*2^1451242-1 is not prime. Res64: DEAE8DE5CFECA125 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:25:11] 623*2^1451242-1 is not prime. Res64: F75C7944F912D6DC Time : 0.0 sec. user=mdettweiler [2017-04-11 07:25:12] 681*2^1451242-1 is not prime. Res64: 59E31A4F0053F9C1 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:25:12] 713*2^1451242-1 is not prime. Res64: C05C4E99539273F0 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:25:12] 717*2^1451242-1 is not prime. Res64: 33BD12CDE8239921 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:33:28] 737*2^1451242-1 is not prime. Res64: 57E87B92F8826BC5 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:33:29] 777*2^1451242-1 is not prime. Res64: 6A02036BDCB61DAC Time : 0.0 sec. user=mdettweiler [2017-04-11 07:33:29] 983*2^1451242-1 is not prime. Res64: 9C985DF074D61D96 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:33:29] 995*2^1451242-1 is not prime. Res64: CAB569C89CA9157A Time : 0.0 sec. user=mdettweiler [2017-04-11 07:33:30] 621*2^1451243-1 is not prime. Res64: 9916E91AF597CFD4 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:44:51] 643*2^1451243-1 is not prime. Res64: 2010047178B0F289 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:44:51] 813*2^1451243-1 is not prime. Res64: 9D649D79AE7EEE7B Time : 0.0 sec. user=mdettweiler [2017-04-11 07:44:51] 819*2^1451243-1 is not prime. Res64: BAD3AD3259C6D1F4 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:44:52] 901*2^1451243-1 is not prime. Res64: 2A65B6F99037ADDB Time : 0.0 sec. user=mdettweiler [2017-04-11 07:44:52] 913*2^1451243-1 is not prime. Res64: 16445A4BC0A45B04 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:44:59] 985*2^1451243-1 is not prime. Res64: B64622B4BA04A36B Time : 0.0 sec. user=mdettweiler [2017-04-11 07:45:00] 663*2^1451244-1 is not prime. Res64: 4177C8BDABBAFE45 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:45:00] 737*2^1451244-1 is not prime. Res64: 832A590D74AF5245 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:45:00] 795*2^1451244-1 is not prime. Res64: B51FD7444B4E6CE6 Time : 0.0 sec. user=mdettweiler [2017-04-11 07:45:01] 825*2^1451244-1 is not prime. Res64: 8731B17263F06FD0 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:10:18] 857*2^1451244-1 is not prime. Res64: F5A486A7550320A6 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:10:18] 863*2^1451244-1 is not prime. Res64: B74F299DDAF479CB Time : 0.0 sec. user=mdettweiler [2017-04-11 08:10:18] 893*2^1451244-1 is not prime. Res64: 45E69599DFC1FA46 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:10:19] 607*2^1451245-1 is not prime. Res64: BCACB3DBD0271016 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:10:19] 667*2^1451245-1 is not prime. Res64: 8620B7D609F29780 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:18:34] 687*2^1451245-1 is not prime. Res64: 25BB2B3D5886B6CD Time : 0.0 sec. user=mdettweiler [2017-04-11 08:18:34] 831*2^1451245-1 is not prime. Res64: 9E11F2954AC27D61 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:18:34] 855*2^1451245-1 is not prime. Res64: 9775D74F4CA07FF2 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:18:35] 885*2^1451245-1 is not prime. Res64: B3E8084A6EE6F061 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:18:35] 895*2^1451245-1 is not prime. Res64: 5555160017DEBACA Time : 0.0 sec. user=mdettweiler [2017-04-11 08:29:45] 831*2^1451246-1 is not prime. Res64: F8D9D4CCCFE7BFCD Time : 0.0 sec. user=mdettweiler [2017-04-11 08:29:45] 843*2^1451246-1 is not prime. Res64: 5F20912D94893E27 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:29:45] 917*2^1451246-1 is not prime. Res64: A37F4F6D5624139B Time : 0.0 sec. user=mdettweiler [2017-04-11 08:29:46] 923*2^1451246-1 is not prime. Res64: 509619C06E7B23DA Time : 0.0 sec. user=mdettweiler [2017-04-11 08:29:46] 941*2^1451246-1 is not prime. Res64: ED4C07DE5D425976 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:29:57] 619*2^1451247-1 is not prime. Res64: 9EB885E367459C48 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:29:57] 669*2^1451247-1 is not prime. Res64: CF149D68C946E6FD Time : 0.0 sec. user=mdettweiler [2017-04-11 08:29:57] 741*2^1451247-1 is not prime. Res64: F35782718706BD3B Time : 0.0 sec. user=mdettweiler [2017-04-11 08:29:58] 781*2^1451247-1 is not prime. Res64: BA8D69094277E63D Time : 0.0 sec. user=mdettweiler [2017-04-11 08:29:58] 793*2^1451247-1 is not prime. Res64: 4E6EF5E0B826AE90 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:55:18] 615*2^1451248-1 is not prime. Res64: B3633C86D64CBA05 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:55:18] 663*2^1451248-1 is not prime. Res64: A4317FF58D99D4F7 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:55:19] 687*2^1451248-1 is not prime. Res64: 0085C00BBB7A4638 Time : 0.0 sec. user=mdettweiler [2017-04-11 08:55:19] 735*2^1451248-1 is not prime. Res64: 204E0597669694AA Time : 0.0 sec. user=mdettweiler [2017-04-11 08:55:19] 803*2^1451248-1 is not prime. Res64: 5827D1FEC93F985A Time : 0.0 sec. user=mdettweiler [2017-04-11 09:03:50] 869*2^1451248-1 is not prime. Res64: 24A713457DCDC226 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:03:51] 947*2^1451248-1 is not prime. Res64: 8B37DBCD0DBCD35A Time : 0.0 sec. user=mdettweiler [2017-04-11 09:03:52] 975*2^1451248-1 is not prime. Res64: 0F09E400AC9F4F9B Time : 0.0 sec. user=mdettweiler [2017-04-11 09:03:53] 619*2^1451249-1 is not prime. Res64: 75B672896894FB5D Time : 0.0 sec. user=mdettweiler [2017-04-11 09:03:54] 645*2^1451249-1 is not prime. Res64: FC21730F341A0EA2 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:14:57] 657*2^1451249-1 is not prime. Res64: 19D55FEF0BAFA216 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:14:57] 711*2^1451249-1 is not prime. Res64: 1A6B695F142D3BCF Time : 0.0 sec. user=mdettweiler [2017-04-11 09:14:58] 735*2^1451249-1 is not prime. Res64: CA9D6A045A680360 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:14:58] 795*2^1451249-1 is not prime. Res64: 26ECD31F4F1EEDDB Time : 0.0 sec. user=mdettweiler [2017-04-11 09:14:59] 841*2^1451249-1 is not prime. Res64: 90C09A0012E6F6AA Time : 0.0 sec. user=mdettweiler [2017-04-11 09:14:59] 885*2^1451249-1 is not prime. Res64: E390610F334CADA9 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:14:59] 889*2^1451249-1 is not prime. Res64: 74057772E0CF234D Time : 0.0 sec. user=mdettweiler [2017-04-11 09:15:00] 897*2^1451249-1 is not prime. Res64: CDEC8B578D71B8E9 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:15:00] 949*2^1451249-1 is not prime. Res64: BE8F4E399EAD0E44 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:15:01] 713*2^1451250-1 is not prime. Res64: BB0F6E5498C310A0 Time : 0.0 sec. user=juhehe [2017-04-11 09:17:15] 741*2^1451250-1 is not prime. Res64: 08F57842385A4564 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:40:40] 803*2^1451250-1 is not prime. Res64: A4625EF8714F1E79 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:40:41] 861*2^1451250-1 is not prime. Res64: 2866E30250D33934 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:40:41] 609*2^1451251-1 is not prime. Res64: 758975FE60A7DD27 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:40:41] 709*2^1451251-1 is not prime. Res64: 7D0348D992BC6BCD Time : 0.0 sec. user=mdettweiler [2017-04-11 09:40:42] 733*2^1451251-1 is not prime. Res64: 18C9CA9F12354099 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:49:25] 769*2^1451251-1 is not prime. Res64: 307F8588D2E34510 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:49:25] 805*2^1451251-1 is not prime. Res64: 3902471B23BDFEA6 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:49:25] 909*2^1451251-1 is not prime. Res64: 260501022393F7B0 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:49:26] 925*2^1451251-1 is not prime. Res64: 76D9EAA6DE137920 Time : 0.0 sec. user=mdettweiler [2017-04-11 09:49:26] 939*2^1451251-1 is not prime. Res64: 21E0D9D88F5F2F81 Time : 0.0 sec. user=juhehe [2017-04-11 09:56:39] 949*2^1451253-1 is not prime. Res64: 88E17F2A7FCB7257 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:00:19] 975*2^1451251-1 is not prime. Res64: 7DAC6D814D6CE542 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:00:20] 669*2^1451252-1 is not prime. Res64: C21117A936D86C4A Time : 0.0 sec. user=mdettweiler [2017-04-11 10:00:21] 945*2^1451252-1 is not prime. Res64: 11723432D93C79DC Time : 0.0 sec. user=mdettweiler [2017-04-11 10:00:21] 873*2^1451252-1 is not prime. Res64: 9BB9F8A8B03F693E Time : 0.0 sec. user=mdettweiler [2017-04-11 10:00:22] 657*2^1451253-1 is not prime. Res64: AB915A211164A764 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:00:22] 903*2^1451252-1 is not prime. Res64: 3A6980FDFFED044B Time : 0.0 sec. user=mdettweiler [2017-04-11 10:00:22] 747*2^1451253-1 is not prime. Res64: 3822DF7ABDA953C1 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:00:23] 923*2^1451252-1 is not prime. Res64: D14DBC3B2D4DAF42 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:00:23] 795*2^1451253-1 is not prime. Res64: 08E6E8746B2B613F Time : 0.0 sec. user=mdettweiler [2017-04-11 10:00:24] 945*2^1451253-1 is not prime. Res64: B02F9490D6F806E4 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:25:45] 605*2^1451254-1 is not prime. Res64: A9B8DF5D58C9A43D Time : 0.0 sec. user=mdettweiler [2017-04-11 10:25:46] 773*2^1451254-1 is not prime. Res64: D091108BD0EE8B2A Time : 0.0 sec. user=mdettweiler [2017-04-11 10:25:46] 917*2^1451254-1 is not prime. Res64: E252BE95AA8B5351 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:25:46] 923*2^1451254-1 is not prime. Res64: 20889F0FDE20C8BA Time : 0.0 sec. user=mdettweiler [2017-04-11 10:25:47] 603*2^1451255-1 is not prime. Res64: 9305A4517E08E33C Time : 0.0 sec. user=mdettweiler [2017-04-11 10:34:44] 643*2^1451255-1 is not prime. Res64: 4AF8EB179C9C0A5C Time : 0.0 sec. user=mdettweiler [2017-04-11 10:34:45] 783*2^1451255-1 is not prime. Res64: 2D2F1D341726125E Time : 0.0 sec. user=mdettweiler [2017-04-11 10:34:45] 799*2^1451255-1 is not prime. Res64: 0B117A767A383785 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:34:45] 805*2^1451255-1 is not prime. Res64: D9033C95BE0A6C94 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:34:46] 859*2^1451255-1 is not prime. Res64: A039C7B4E1BFD307 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:45:34] 601*2^1451257-1 is not prime. Res64: A42C7EAFE1D1A81F Time : 0.0 sec. user=mdettweiler [2017-04-11 10:45:34] 921*2^1451255-1 is not prime. Res64: 9BDE16B9D909AC9C Time : 0.0 sec. user=mdettweiler [2017-04-11 10:45:34] 607*2^1451257-1 is not prime. Res64: 41E4AA5EE9BB7708 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:45:34] 979*2^1451255-1 is not prime. Res64: 49804F16F6438D7E Time : 0.0 sec. user=mdettweiler [2017-04-11 10:45:35] 667*2^1451257-1 is not prime. Res64: 6F75E0E82F0069F7 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:45:35] 707*2^1451256-1 is not prime. Res64: D5E1F5DAC597528E Time : 0.0 sec. user=mdettweiler [2017-04-11 10:45:35] 675*2^1451257-1 is not prime. Res64: 65B405C44928FA71 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:45:35] 815*2^1451256-1 is not prime. Res64: BD82DC04EAAB63E2 Time : 0.0 sec. user=mdettweiler [2017-04-11 10:45:35] 741*2^1451257-1 is not prime. Res64: 00C4CF4A5F7EA8BE Time : 0.0 sec. user=mdettweiler [2017-04-11 10:45:35] 845*2^1451256-1 is not prime. Res64: 982D1CFA70F0C938 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:10:50] 819*2^1451257-1 is not prime. Res64: 322A7E6BBB742292 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:10:51] 897*2^1451257-1 is not prime. Res64: 562A68C4EB8524E2 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:10:51] 945*2^1451257-1 is not prime. Res64: 4B79767A8CBCF6AE Time : 0.0 sec. user=mdettweiler [2017-04-11 11:10:52] 605*2^1451258-1 is not prime. Res64: 63E5FE6F6F710312 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:10:52] 743*2^1451258-1 is not prime. Res64: 26BAB0D1DD021814 Time : 0.0 sec. user=juhehe [2017-04-11 11:14:28] 941*2^1451258-1 is not prime. Res64: 0F746A118C5EE57C Time : 0.0 sec. user=mdettweiler [2017-04-11 11:19:45] 767*2^1451258-1 is not prime. Res64: E6504219921509AE Time : 0.0 sec. user=mdettweiler [2017-04-11 11:19:45] 797*2^1451258-1 is not prime. Res64: F9E4ACC7413DCF04 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:19:46] 825*2^1451258-1 is not prime. Res64: 17DA2DEAB4AD8C92 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:19:46] 845*2^1451258-1 is not prime. Res64: CB480F374DEC250D Time : 0.0 sec. user=mdettweiler [2017-04-11 11:19:46] 923*2^1451258-1 is not prime. Res64: C2857F4FB3A3986E Time : 0.0 sec. user=mdettweiler [2017-04-11 11:30:40] 635*2^1451260-1 is not prime. Res64: A9CB4CC8682358EE Time : 0.0 sec. user=mdettweiler [2017-04-11 11:30:40] 665*2^1451260-1 is not prime. Res64: 23FEFAA597331303 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:30:40] 689*2^1451260-1 is not prime. Res64: 9DCB9B2D084B4FEB Time : 0.0 sec. user=mdettweiler [2017-04-11 11:30:41] 717*2^1451260-1 is not prime. Res64: 44CD2474FC58670A Time : 0.0 sec. user=mdettweiler [2017-04-11 11:30:41] 735*2^1451260-1 is not prime. Res64: E81EEA2A4702AABD Time : 0.0 sec. user=mdettweiler [2017-04-11 11:30:43] 861*2^1451259-1 is not prime. Res64: 152E20B73E908417 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:30:43] 909*2^1451259-1 is not prime. Res64: E0E93B6BD1252238 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:30:43] 973*2^1451259-1 is not prime. Res64: 41954F29441DD021 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:30:44] 975*2^1451259-1 is not prime. Res64: FEF29B7F908DB2CF Time : 0.0 sec. user=mdettweiler [2017-04-11 11:30:44] 609*2^1451260-1 is not prime. Res64: 2289E79E607138E0 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:56:27] 819*2^1451260-1 is not prime. Res64: A27FDB685A30666A Time : 0.0 sec. user=mdettweiler [2017-04-11 11:56:28] 897*2^1451260-1 is not prime. Res64: 10403A1C5872EE1F Time : 0.0 sec. user=mdettweiler [2017-04-11 11:56:28] 909*2^1451260-1 is not prime. Res64: C703296896F2E58A Time : 0.0 sec. user=mdettweiler [2017-04-11 11:56:28] 727*2^1451261-1 is not prime. Res64: 7EA5D48668999D59 Time : 0.0 sec. user=mdettweiler [2017-04-11 11:56:29] 735*2^1451261-1 is not prime. Res64: A15A385A5DCE438E Time : 0.0 sec. user=mdettweiler [2017-04-11 12:05:22] 879*2^1451261-1 is not prime. Res64: F0B0FAB8B40595D1 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:05:25] 723*2^1451262-1 is not prime. Res64: DE3D99515123EACC Time : 0.0 sec. user=mdettweiler [2017-04-11 12:05:26] 741*2^1451262-1 is not prime. Res64: B5DEAEA2772D8323 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:05:27] 777*2^1451262-1 is not prime. Res64: 37D2423A11584861 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:05:29] 625*2^1451263-1 is not prime. Res64: 770AAAFE6A719C51 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:16:15] 649*2^1451263-1 is not prime. Res64: D5A5B865776BAB67 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:16:15] 663*2^1451263-1 is not prime. Res64: 31B75E32827E2311 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:16:16] 679*2^1451263-1 is not prime. Res64: A16A716CE079819B Time : 0.0 sec. user=mdettweiler [2017-04-11 12:16:16] 685*2^1451263-1 is not prime. Res64: CAF9C87B98C04348 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:16:17] 723*2^1451263-1 is not prime. Res64: C7699ECADD613EE4 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:16:28] 765*2^1451263-1 is not prime. Res64: 54D77205AC63180F Time : 0.0 sec. user=mdettweiler [2017-04-11 12:16:28] 889*2^1451263-1 is not prime. Res64: 0841C2E031D77892 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:16:29] 951*2^1451263-1 is not prime. Res64: 9D1F00793D3BCCED Time : 0.0 sec. user=mdettweiler [2017-04-11 12:16:29] 999*2^1451263-1 is not prime. Res64: 422C80CBDAF54F26 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:16:29] 825*2^1451264-1 is not prime. Res64: 2BFBC78488881EE6 Time : 0.0 sec. user=juhehe [2017-04-11 12:33:12] 923*2^1451264-1 is not prime. Res64: F898EC28ED2C6E78 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:41:34] 685*2^1451265-1 is not prime. Res64: 5E9B1A6956FCC0D3 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:41:34] 717*2^1451265-1 is not prime. Res64: AA8E7189399F7BDC Time : 0.0 sec. user=mdettweiler [2017-04-11 12:41:34] 751*2^1451265-1 is not prime. Res64: 978FEB71777A870E Time : 0.0 sec. user=mdettweiler [2017-04-11 12:41:35] 969*2^1451265-1 is not prime. Res64: 7A3B124CD5100F90 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:41:35] 985*2^1451265-1 is not prime. Res64: 08501A2F5A3AAE22 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:50:57] 991*2^1451265-1 is not prime. Res64: AD069E8C352C85A0 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:50:57] 651*2^1451266-1 is not prime. Res64: 89730C045D1A53A1 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:50:58] 663*2^1451266-1 is not prime. Res64: 7BDB651E7C9584A9 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:50:58] 695*2^1451266-1 is not prime. Res64: 9BC8AC86A1449AE8 Time : 0.0 sec. user=mdettweiler [2017-04-11 12:50:58] 765*2^1451266-1 is not prime. Res64: CA461187850CF031 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:01:37] 813*2^1451266-1 is not prime. Res64: 896A0D2FB6ADAD1B Time : 0.0 sec. user=mdettweiler [2017-04-11 13:01:39] 663*2^1451267-1 is not prime. Res64: 1D656F9F7C72C6ED Time : 0.0 sec. user=mdettweiler [2017-04-11 13:01:39] 825*2^1451266-1 is not prime. Res64: FE87C9CA1D2AEB95 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:01:41] 823*2^1451267-1 is not prime. Res64: 2C33CBDC5EAE8CFD Time : 0.0 sec. user=mdettweiler [2017-04-11 13:01:41] 833*2^1451266-1 is not prime. Res64: 72B299239B8A4954 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:01:43] 909*2^1451267-1 is not prime. Res64: EDAC4BFD8B563570 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:01:44] 945*2^1451266-1 is not prime. Res64: F121FF516912E145 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:01:44] 663*2^1451268-1 is not prime. Res64: D5D942FF20C0C6F0 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:01:45] 975*2^1451266-1 is not prime. Res64: ED48F65A84EAE02E Time : 0.0 sec. user=mdettweiler [2017-04-11 13:01:47] 665*2^1451268-1 is not prime. Res64: 74B0879C6D746B75 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:26:47] 839*2^1451268-1 is not prime. Res64: 80F82BD356D8DA03 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:26:48] 933*2^1451268-1 is not prime. Res64: C92A48CB5D5FC402 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:26:48] 993*2^1451268-1 is not prime. Res64: 661E03B3D064F290 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:26:49] 615*2^1451269-1 is not prime. Res64: 1B0643137256D81A Time : 0.0 sec. user=mdettweiler [2017-04-11 13:26:49] 639*2^1451269-1 is not prime. Res64: BE19BE8A82250A0C Time : 0.0 sec. user=mdettweiler [2017-04-11 13:36:01] 691*2^1451269-1 is not prime. Res64: 662EFDBB3CD926AB Time : 0.0 sec. user=mdettweiler [2017-04-11 13:36:01] 775*2^1451269-1 is not prime. Res64: 703C741686DCA38D Time : 0.0 sec. user=mdettweiler [2017-04-11 13:36:02] 801*2^1451269-1 is not prime. Res64: DC3278ADE81F68C9 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:36:02] 861*2^1451269-1 is not prime. Res64: C9654086303F4F35 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:36:03] 967*2^1451269-1 is not prime. Res64: 9C8DB4EDAFE4C4A2 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:48:01] 935*2^1451270-1 is not prime. Res64: F907502C20F3E135 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:48:01] 965*2^1451270-1 is not prime. Res64: 7DF537B9B8FECB3B Time : 0.0 sec. user=mdettweiler [2017-04-11 13:48:02] 1001*2^1451270-1 is not prime. Res64: 1DB68A1240D5945E Time : 0.0 sec. user=mdettweiler [2017-04-11 13:48:02] 619*2^1451271-1 is not prime. Res64: 48A93A4CD258E5F0 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:48:02] 621*2^1451271-1 is not prime. Res64: 2DEEC0C826ED6B3A Time : 0.0 sec. user=mdettweiler [2017-04-11 13:48:10] 999*2^1451269-1 is not prime. Res64: C229A5E197D785BB Time : 0.0 sec. user=mdettweiler [2017-04-11 13:48:10] 641*2^1451270-1 is not prime. Res64: 777554B935BF2645 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:48:10] 755*2^1451270-1 is not prime. Res64: 5BC986378863FF4A Time : 0.0 sec. user=mdettweiler [2017-04-11 13:48:11] 791*2^1451270-1 is not prime. Res64: FFE309628E6DF0F5 Time : 0.0 sec. user=mdettweiler [2017-04-11 13:48:11] 827*2^1451270-1 is not prime. Res64: 42C3DD77F1F47642 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:13:26] 693*2^1451271-1 is not prime. Res64: FD7A4BDA533E7BEC Time : 0.0 sec. user=mdettweiler [2017-04-11 14:13:27] 703*2^1451271-1 is not prime. Res64: BEC1802C8E33EDAA Time : 0.0 sec. user=mdettweiler [2017-04-11 14:13:27] 739*2^1451271-1 is not prime. Res64: CFF55F2D5EDB935B Time : 0.0 sec. user=mdettweiler [2017-04-11 14:13:28] 793*2^1451271-1 is not prime. Res64: F0349C0C3851C8D8 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:13:28] 795*2^1451271-1 is not prime. Res64: 7FC5958842D3BE53 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:22:23] 805*2^1451271-1 is not prime. Res64: 6C840B41A1A8782F Time : 0.0 sec. user=mdettweiler [2017-04-11 14:22:23] 743*2^1451272-1 is not prime. Res64: AD14AF191BDC27AF Time : 0.0 sec. user=mdettweiler [2017-04-11 14:22:24] 755*2^1451272-1 is not prime. Res64: 6BFCA63C1BF312C9 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:22:24] 779*2^1451272-1 is not prime. Res64: 00B57BD7C1FFBBDE Time : 0.0 sec. user=mdettweiler [2017-04-11 14:22:25] 827*2^1451272-1 is not prime. Res64: AE9FADC5AC85F148 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:33:29] 843*2^1451272-1 is not prime. Res64: FB8E51FE4C15A690 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:33:29] 909*2^1451272-1 is not prime. Res64: E2B4E6116C8014EE Time : 0.0 sec. user=mdettweiler [2017-04-11 14:33:30] 933*2^1451272-1 is not prime. Res64: E6BCBD19B4EC4EA0 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:33:30] 939*2^1451272-1 is not prime. Res64: 73A2E15B186B7EE9 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:33:31] 889*2^1451273-1 is not prime. Res64: A25373B3CCE309A7 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:33:55] 901*2^1451273-1 is not prime. Res64: A60763F7CF60C885 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:33:56] 915*2^1451274-1 is not prime. Res64: B8C5228A89625A2B Time : 0.0 sec. user=mdettweiler [2017-04-11 14:33:56] 993*2^1451274-1 is not prime. Res64: 513468410A8C03B5 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:33:56] 715*2^1451275-1 is not prime. Res64: 32D19123DB0F511D Time : 0.0 sec. user=mdettweiler [2017-04-11 14:33:57] 751*2^1451275-1 is not prime. Res64: ECABFB0A5D6AB8B4 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:58:42] 793*2^1451275-1 is not prime. Res64: 1C1AD7A697F5B3FF Time : 0.0 sec. user=mdettweiler [2017-04-11 14:58:42] 939*2^1451275-1 is not prime. Res64: 5BD67059DE3C1517 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:58:43] 999*2^1451275-1 is not prime. Res64: C02834D2DF84D2E5 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:58:43] 617*2^1451276-1 is not prime. Res64: E33359A49934E789 Time : 0.0 sec. user=mdettweiler [2017-04-11 14:58:44] 647*2^1451276-1 is not prime. Res64: D1CDEF4171A2979B Time : 0.0 sec. user=mdettweiler [2017-04-11 15:07:48] 725*2^1451276-1 is not prime. Res64: F2ECFBFA5AF0F167 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:07:49] 867*2^1451276-1 is not prime. Res64: E4BAF9A457884D4C Time : 0.0 sec. user=mdettweiler [2017-04-11 15:07:49] 935*2^1451276-1 is not prime. Res64: 57BE75ABD33DB5FD Time : 0.0 sec. user=mdettweiler [2017-04-11 15:07:50] 817*2^1451277-1 is not prime. Res64: 10EEAADE5F02023F Time : 0.0 sec. user=mdettweiler [2017-04-11 15:07:50] 885*2^1451277-1 is not prime. Res64: 6A2884AB5E027CB4 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:18:46] 895*2^1451277-1 is not prime. Res64: 4C0F1B5EA3D9C75B Time : 0.0 sec. user=mdettweiler [2017-04-11 15:18:46] 761*2^1451278-1 is not prime. Res64: A1C7482B68A2FC88 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:18:47] 813*2^1451278-1 is not prime. Res64: 1385AE9AC9A7F5AF Time : 0.0 sec. user=mdettweiler [2017-04-11 15:18:47] 867*2^1451278-1 is not prime. Res64: 550DE6F9D63716D5 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:18:47] 615*2^1451279-1 is not prime. Res64: 12561EFC4528C86F Time : 0.0 sec. user=mdettweiler [2017-04-11 15:19:21] 703*2^1451279-1 is not prime. Res64: D2C66AEB04F81621 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:19:21] 711*2^1451279-1 is not prime. Res64: 408DEEA34F84DC82 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:19:22] 729*2^1451279-1 is not prime. Res64: 8236D0D1A05456C6 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:19:22] 789*2^1451279-1 is not prime. Res64: 9F0D16DE081AAAEE Time : 0.0 sec. user=mdettweiler [2017-04-11 15:19:22] 813*2^1451279-1 is not prime. Res64: 8DC9861A90C0F996 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:43:55] 883*2^1451279-1 is not prime. Res64: 4DA7D17A42889C8F Time : 0.0 sec. user=mdettweiler [2017-04-11 15:43:56] 889*2^1451279-1 is not prime. Res64: 8F61345CDA9D5DD0 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:43:56] 665*2^1451280-1 is not prime. Res64: 2F748B857C692D4E Time : 0.0 sec. user=mdettweiler [2017-04-11 15:43:57] 717*2^1451280-1 is not prime. Res64: 6086427239A139BC Time : 0.0 sec. user=mdettweiler [2017-04-11 15:43:57] 725*2^1451280-1 is not prime. Res64: A1771DCD81B299CC Time : 0.0 sec. user=mdettweiler [2017-04-11 15:53:06] 753*2^1451280-1 is not prime. Res64: 0988DD239E5B9DE7 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:53:06] 795*2^1451280-1 is not prime. Res64: EEB7E55421DAA0E5 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:53:07] 983*2^1451280-1 is not prime. Res64: AADD6F46731AD1CA Time : 0.0 sec. user=mdettweiler [2017-04-11 15:53:07] 615*2^1451281-1 is not prime. Res64: 6BB6860DFE0F9705 Time : 0.0 sec. user=mdettweiler [2017-04-11 15:53:07] 651*2^1451281-1 is not prime. Res64: 917AFEA929BADC87 Time : 0.0 sec. user=juhehe [2017-04-11 16:03:30] 981*2^1451282-1 is not prime. Res64: BF8EBDA0B48ED92B Time : 0.0 sec. user=mdettweiler [2017-04-11 16:03:57] 687*2^1451281-1 is not prime. Res64: E88922241156AD46 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:03:58] 847*2^1451281-1 is not prime. Res64: C86757944C3A003C Time : 0.0 sec. user=mdettweiler [2017-04-11 16:03:59] 855*2^1451281-1 is not prime. Res64: FD87A11CC62B8A42 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:04:00] 861*2^1451281-1 is not prime. Res64: C01DA8761409F05C Time : 0.0 sec. user=mdettweiler [2017-04-11 16:04:01] 931*2^1451281-1 is not prime. Res64: 6C6A05D2C98B9172 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:04:29] 939*2^1451281-1 is not prime. Res64: 519413D6F8098236 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:04:31] 997*2^1451281-1 is not prime. Res64: F98C9B617213C3D6 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:04:31] 615*2^1451282-1 is not prime. Res64: BE81513F04AFB318 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:04:32] 887*2^1451282-1 is not prime. Res64: 225955F19753272E Time : 0.0 sec. user=mdettweiler [2017-04-11 16:04:34] 915*2^1451282-1 is not prime. Res64: 4237468E1569607F Time : 0.0 sec. user=juhehe [2017-04-11 16:28:14] 829*2^1451283-1 is not prime. Res64: 3ACCFEBEF3B521F3 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:29:02] 615*2^1451283-1 is not prime. Res64: EE4DEB8343A4A2F5 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:29:02] 675*2^1451283-1 is not prime. Res64: 4E2A11E8DFFCC31B Time : 0.0 sec. user=mdettweiler [2017-04-11 16:29:03] 705*2^1451283-1 is not prime. Res64: 4F911310AE07F171 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:29:03] 721*2^1451283-1 is not prime. Res64: FCB160030471E304 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:29:04] 765*2^1451283-1 is not prime. Res64: 8965186AAF4104C1 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:38:14] 853*2^1451283-1 is not prime. Res64: EAE6C94EC3602E5D Time : 0.0 sec. user=mdettweiler [2017-04-11 16:38:14] 895*2^1451283-1 is not prime. Res64: 1910C879279E26E8 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:38:14] 919*2^1451283-1 is not prime. Res64: 7C072335B0E213CB Time : 0.0 sec. user=mdettweiler [2017-04-11 16:38:15] 945*2^1451283-1 is not prime. Res64: 3164405485054734 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:38:15] 949*2^1451283-1 is not prime. Res64: 9E51068868F2B20E Time : 0.0 sec. user=mdettweiler [2017-04-11 16:49:22] 605*2^1451284-1 is not prime. Res64: 0B055CE0BA078391 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:49:23] 657*2^1451284-1 is not prime. Res64: 9E5AEFEC28D52FF7 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:49:23] 665*2^1451284-1 is not prime. Res64: 72745BA38DB3B99A Time : 0.0 sec. user=mdettweiler [2017-04-11 16:49:23] 677*2^1451284-1 is not prime. Res64: CB5C269080A89EC4 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:49:24] 687*2^1451284-1 is not prime. Res64: EB3406B6CBC2B64F Time : 0.0 sec. user=mdettweiler [2017-04-11 16:49:49] 705*2^1451284-1 is not prime. Res64: 53C887EB58E23EC8 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:49:50] 717*2^1451284-1 is not prime. Res64: B58DBA778BBED7D6 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:49:50] 743*2^1451284-1 is not prime. Res64: AE834EBB8D9AD891 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:49:50] 749*2^1451284-1 is not prime. Res64: 02F2AECF9ED88228 Time : 0.0 sec. user=mdettweiler [2017-04-11 16:49:51] 827*2^1451284-1 is not prime. Res64: 511E123D32384FD5 Time : 0.0 sec. user=juhehe [2017-04-11 17:09:44] 965*2^1451284-1 is not prime. Res64: 12DAFDB098F5FC54 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:14:06] 989*2^1451284-1 is not prime. Res64: C59C01E72923A53D Time : 0.0 sec. user=mdettweiler [2017-04-11 17:14:07] 699*2^1451285-1 is not prime. Res64: 37B1A19F376257E4 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:14:07] 717*2^1451285-1 is not prime. Res64: 63C9204CE2FABFD2 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:14:08] 721*2^1451285-1 is not prime. Res64: DDFDAB77ECCA9FEE Time : 0.0 sec. user=mdettweiler [2017-04-11 17:14:08] 741*2^1451285-1 is not prime. Res64: 016892F34E596546 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:23:26] 757*2^1451285-1 is not prime. Res64: 31FE2A3CF1831A43 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:23:26] 759*2^1451285-1 is not prime. Res64: 21793BD6BAB66712 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:23:26] 789*2^1451285-1 is not prime. Res64: 2E57F5FAE2470E30 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:23:27] 837*2^1451285-1 is not prime. Res64: EE75784F53F2F6E0 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:23:27] 765*2^1451286-1 is not prime. Res64: A6950839BC9A781B Time : 0.0 sec. user=mdettweiler [2017-04-11 17:34:35] 783*2^1451286-1 is not prime. Res64: C024A01D4BCDF73F Time : 0.0 sec. user=mdettweiler [2017-04-11 17:34:35] 815*2^1451286-1 is not prime. Res64: 6EB206BFE725F306 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:34:35] 933*2^1451286-1 is not prime. Res64: 73619862E86A391C Time : 0.0 sec. user=mdettweiler [2017-04-11 17:34:36] 681*2^1451287-1 is not prime. Res64: 130EF946BB50EFFB Time : 0.0 sec. user=mdettweiler [2017-04-11 17:34:36] 735*2^1451287-1 is not prime. Res64: C8FFA06AAD7D9E4F Time : 0.0 sec. user=mdettweiler [2017-04-11 17:34:58] 873*2^1451287-1 is not prime. Res64: E7B2BE99483BCBD1 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:34:59] 973*2^1451287-1 is not prime. Res64: FB1667A52CBBABD6 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:34:59] 663*2^1451288-1 is not prime. Res64: F3025DF837AA8752 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:34:59] 699*2^1451288-1 is not prime. Res64: 495D2FAEE58B894F Time : 0.0 sec. user=mdettweiler [2017-04-11 17:35:00] 743*2^1451288-1 is not prime. Res64: 87583CD6B01B6074 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:59:15] 747*2^1451288-1 is not prime. Res64: 24443240D9CF7A0D Time : 0.0 sec. user=mdettweiler [2017-04-11 17:59:15] 753*2^1451288-1 is not prime. Res64: 9D9B48BCE07E24A3 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:59:15] 797*2^1451288-1 is not prime. Res64: 7960C0C83623F79E Time : 0.0 sec. user=mdettweiler [2017-04-11 17:59:16] 827*2^1451288-1 is not prime. Res64: BF7FE95282854A03 Time : 0.0 sec. user=mdettweiler [2017-04-11 17:59:16] 915*2^1451288-1 is not prime. Res64: 6F3DEAC880B7083B Time : 0.0 sec. user=mdettweiler [2017-04-11 18:08:32] 935*2^1451288-1 is not prime. Res64: 8264BF6AFC23CE53 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:08:32] 957*2^1451288-1 is not prime. Res64: C57539129E789101 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:08:33] 977*2^1451288-1 is not prime. Res64: F938E6974C79E7E0 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:08:33] 681*2^1451289-1 is not prime. Res64: DF3C933EBB11D19F Time : 0.0 sec. user=mdettweiler [2017-04-11 18:08:34] 705*2^1451289-1 is not prime. Res64: DAD35E25C6194F9D Time : 0.0 sec. user=mdettweiler [2017-04-11 18:19:36] 787*2^1451289-1 is not prime. Res64: 1623FCD8BEEB1E81 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:19:37] 885*2^1451289-1 is not prime. Res64: D70826543C1528FA Time : 0.0 sec. user=mdettweiler [2017-04-11 18:19:37] 895*2^1451289-1 is not prime. Res64: DA5BB330611405E8 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:19:38] 603*2^1451290-1 is not prime. Res64: EE8E38BBF2CC334B Time : 0.0 sec. user=mdettweiler [2017-04-11 18:19:38] 653*2^1451290-1 is not prime. Res64: D61998D2345193E4 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:20:05] 675*2^1451290-1 is not prime. Res64: EF0E0E0B895E2168 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:20:05] 677*2^1451290-1 is not prime. Res64: E378A83FF78BBBF7 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:20:05] 701*2^1451290-1 is not prime. Res64: BB39099205149F97 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:20:06] 827*2^1451290-1 is not prime. Res64: CC911F2E3C9711D4 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:20:06] 845*2^1451290-1 is not prime. Res64: 7BABAAB861BDAA15 Time : 0.0 sec. user=juhehe [2017-04-11 18:30:54] 891*2^1451290-1 is not prime. Res64: 41418B14BCD6B4C5 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:46:16] 911*2^1451290-1 is not prime. Res64: 5C671C459A0F3A17 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:46:16] 621*2^1451291-1 is not prime. Res64: 06A5B8E72CA37954 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:46:16] 741*2^1451291-1 is not prime. Res64: B22EED542D4CAA23 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:46:16] 783*2^1451291-1 is not prime. Res64: 989659CAE9E65B1C Time : 0.0 sec. user=mdettweiler [2017-04-11 18:46:17] 969*2^1451291-1 is not prime. Res64: 6E2FFBB0460592AB Time : 0.0 sec. user=mdettweiler [2017-04-11 18:56:03] 797*2^1451292-1 is not prime. Res64: 5339B5F45F427E6E Time : 0.0 sec. user=mdettweiler [2017-04-11 18:56:04] 837*2^1451292-1 is not prime. Res64: 395732DA4E509A32 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:56:04] 887*2^1451292-1 is not prime. Res64: A86AD161951573A0 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:56:04] 909*2^1451292-1 is not prime. Res64: 419F1EEEC4D98A05 Time : 0.0 sec. user=mdettweiler [2017-04-11 18:56:05] 965*2^1451292-1 is not prime. Res64: 9B38BE58E3233BD3 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:06:09] 987*2^1451292-1 is not prime. Res64: 5F04B2623AEAEE9D Time : 0.0 sec. user=mdettweiler [2017-04-11 19:06:10] 609*2^1451293-1 is not prime. Res64: C3BB7F352DB4FA5F Time : 0.0 sec. user=mdettweiler [2017-04-11 19:06:11] 771*2^1451293-1 is not prime. Res64: D96020A2FD4AE41A Time : 0.0 sec. user=mdettweiler [2017-04-11 19:06:11] 847*2^1451293-1 is not prime. Res64: 860901FA38CA2119 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:06:11] 877*2^1451293-1 is not prime. Res64: 1EFF8FC48FA34F09 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:07:00] 895*2^1451293-1 is not prime. Res64: 59056DF56C0F3EDB Time : 0.0 sec. user=mdettweiler [2017-04-11 19:07:01] 981*2^1451293-1 is not prime. Res64: 3C5E8E4051BD0EF3 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:07:01] 985*2^1451293-1 is not prime. Res64: 05A99F5D8F30FCF4 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:07:02] 623*2^1451294-1 is not prime. Res64: 4AD357E14C670880 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:07:02] 641*2^1451294-1 is not prime. Res64: 3CF357A1EC835FEF Time : 0.0 sec. user=mdettweiler [2017-04-11 19:31:36] 791*2^1451294-1 is not prime. Res64: 2D2F7D0664F67518 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:31:36] 827*2^1451294-1 is not prime. Res64: CBB3FB3ABD3A35ED Time : 0.0 sec. user=mdettweiler [2017-04-11 19:31:37] 831*2^1451294-1 is not prime. Res64: 91C83F6C55808EB9 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:31:37] 873*2^1451294-1 is not prime. Res64: 8B3B066E8D0C8DFD Time : 0.0 sec. user=mdettweiler [2017-04-11 19:31:38] 965*2^1451294-1 is not prime. Res64: 0869166833DC122F Time : 0.0 sec. user=mdettweiler [2017-04-11 19:41:05] 649*2^1451295-1 is not prime. Res64: 6056CCA188030652 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:41:06] 691*2^1451295-1 is not prime. Res64: D6949E91E2247A25 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:41:06] 693*2^1451295-1 is not prime. Res64: 8E99A9415E2967F5 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:41:07] 751*2^1451295-1 is not prime. Res64: 5415E14631F5A5CD Time : 0.0 sec. user=mdettweiler [2017-04-11 19:41:10] 825*2^1451295-1 is not prime. Res64: D87F22A2149FFAAF Time : 0.0 sec. user=mdettweiler [2017-04-11 19:51:13] 951*2^1451295-1 is not prime. Res64: 9CC6897E83E451BC Time : 0.0 sec. user=mdettweiler [2017-04-11 19:51:13] 963*2^1451295-1 is not prime. Res64: FAE044DA50C31355 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:51:13] 653*2^1451296-1 is not prime. Res64: 7410B0D717760226 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:51:14] 657*2^1451296-1 is not prime. Res64: 503217FCE58688CC Time : 0.0 sec. user=mdettweiler [2017-04-11 19:51:14] 777*2^1451296-1 is not prime. Res64: C18F083CB1CDBCFC Time : 0.0 sec. user=mdettweiler [2017-04-11 19:52:03] 825*2^1451296-1 is not prime. Res64: 69A7474702168715 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:52:03] 855*2^1451296-1 is not prime. Res64: 86E5B0E6AA42C2E5 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:52:04] 869*2^1451296-1 is not prime. Res64: 8885C3D55C5539C5 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:52:04] 873*2^1451296-1 is not prime. Res64: 9AB15DAC61A849A6 Time : 0.0 sec. user=mdettweiler [2017-04-11 19:52:05] 983*2^1451296-1 is not prime. Res64: 87D09E6FC684C76A Time : 0.0 sec. user=mdettweiler [2017-04-11 20:16:43] 627*2^1451297-1 is not prime. Res64: 02204EFB21D764A5 Time : 0.0 sec. user=mdettweiler [2017-04-11 20:16:44] 685*2^1451297-1 is not prime. Res64: 5D6A5CCDF28EBDAA Time : 0.0 sec. user=mdettweiler [2017-04-11 20:16:44] 847*2^1451297-1 is not prime. Res64: ECB5F764D0581DF1 Time : 0.0 sec. user=mdettweiler [2017-04-11 20:16:45] 861*2^1451297-1 is not prime. Res64: D5B0EFF47827FA26 Time : 0.0 sec. user=mdettweiler [2017-04-11 20:16:45] 867*2^1451297-1 is not prime. Res64: 573DEDA793F94E38 Time : 0.0 sec. user=mdettweiler [2017-04-11 20:26:18] 621*2^1451298-1 is not prime. Res64: 59F401FBC61CFC4C Time : 0.0 sec. user=mdettweiler [2017-04-11 20:26:18] 837*2^1451298-1 is not prime. Res64: 35E42DC41821105A Time : 0.0 sec. user=mdettweiler [2017-04-11 20:26:19] 923*2^1451298-1 is not prime. Res64: BB2A5A87F02DD2CE Time : 0.0 sec. user=mdettweiler [2017-04-11 20:26:19] 933*2^1451298-1 is not prime. Res64: 06BD1271FA8EB65F Time : 0.0 sec. user=mdettweiler [2017-04-11 20:26:20] 691*2^1451299-1 is not prime. Res64: 56E8B815F7E6FA6D Time : 0.0 sec. user=juhehe [2017-04-11 20:34:16] 911*2^1451302-1 is not prime. Res64: 8E1CB16F09691843 Time : 0.0 sec. user=mdettweiler [2017-04-11 20:36:16] 741*2^1451299-1 is not prime. Res64: B7CCB55487BFAE2A Time : 0.0 sec. user=mdettweiler [2017-04-11 20:36:17] 633*2^1451300-1 is not prime. Res64: 784DFC0CC7240F4D Time : 0.0 sec. user=mdettweiler [2017-04-11 20:36:17] 677*2^1451300-1 is not prime. Res64: D38A955AC37F77E4 Time : 0.0 sec. user=mdettweiler [2017-04-11 20:36:17] 825*2^1451300-1 is not prime. Res64: C4AB36019B1A8F4C Time : 0.0 sec. user=mdettweiler [2017-04-11 20:36:18] 983*2^1451300-1 is not prime. Res64: 68E2DABF6314B12D Time : 0.0 sec. user=mdettweiler [2017-04-11 20:37:10] 691*2^1451301-1 is not prime. Res64: 2C5D33E1B7738F0C Time : 0.0 sec. user=mdettweiler [2017-04-11 20:37:11] 819*2^1451301-1 is not prime. Res64: 431E3848AB15CB78 Time : 0.0 sec. user=mdettweiler [2017-04-11 20:37:11] 861*2^1451301-1 is not prime. Res64: DB21BDC787447F39 Time : 0.0 sec. user=mdettweiler [2017-04-11 20:37:11] 937*2^1451301-1 is not prime. Res64: 4ADFA525D2AD63B7 Time : 0.0 sec. user=mdettweiler [2017-04-11 20:37:12] 945*2^1451301-1 is not prime. Res64: 556A8F7633086376 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:01:50] 965*2^1451302-1 is not prime. Res64: D1767B6C2C1A7D47 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:01:51] 1001*2^1451302-1 is not prime. Res64: 59E6B6AB758729FC Time : 0.0 sec. user=mdettweiler [2017-04-11 21:01:52] 609*2^1451303-1 is not prime. Res64: C5AB88C3E06A3F40 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:01:53] 621*2^1451303-1 is not prime. Res64: 9156517FDB0BB3C2 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:01:54] 715*2^1451303-1 is not prime. Res64: 518A5B8A940D0730 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:11:37] 741*2^1451303-1 is not prime. Res64: F0781E4E38CB1009 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:11:38] 921*2^1451303-1 is not prime. Res64: BEB083F0F1ED5365 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:11:38] 955*2^1451303-1 is not prime. Res64: 2BA74A81D20E2BF0 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:11:38] 973*2^1451303-1 is not prime. Res64: 34410CA3CA21D74C Time : 0.0 sec. user=mdettweiler [2017-04-11 21:11:39] 991*2^1451303-1 is not prime. Res64: 499C64A8E8A79E8C Time : 0.0 sec. user=mdettweiler [2017-04-11 21:21:33] 635*2^1451304-1 is not prime. Res64: 89C2BCE94DE7EF8A Time : 0.0 sec. user=mdettweiler [2017-04-11 21:21:33] 693*2^1451304-1 is not prime. Res64: 88E3D3C7D34D49A6 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:21:34] 915*2^1451304-1 is not prime. Res64: 3E789AE0C689929D Time : 0.0 sec. user=mdettweiler [2017-04-11 21:21:34] 741*2^1451305-1 is not prime. Res64: BE9D3979A72DD8D3 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:21:35] 765*2^1451305-1 is not prime. Res64: C7524828A6CC84E9 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:22:21] 775*2^1451305-1 is not prime. Res64: 8D99F7759A2ADC92 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:22:22] 819*2^1451305-1 is not prime. Res64: 41ED139969B4E805 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:22:22] 937*2^1451305-1 is not prime. Res64: A90431F0BAEBA52C Time : 0.0 sec. user=mdettweiler [2017-04-11 21:22:23] 999*2^1451305-1 is not prime. Res64: E43A2CEFA35EB5AE Time : 0.0 sec. user=mdettweiler [2017-04-11 21:22:23] 711*2^1451306-1 is not prime. Res64: E3220F3EA7EABDD0 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:47:29] 755*2^1451306-1 is not prime. Res64: 26010EC7E54D4926 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:47:29] 983*2^1451306-1 is not prime. Res64: BBA5C1894630B4C1 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:47:30] 625*2^1451307-1 is not prime. Res64: 40123858CFA9BB7C Time : 0.0 sec. user=mdettweiler [2017-04-11 21:47:30] 685*2^1451307-1 is not prime. Res64: C0F7CC09C7A6A17A Time : 0.0 sec. user=mdettweiler [2017-04-11 21:47:30] 711*2^1451307-1 is not prime. Res64: 9C120E274F4F4203 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:57:08] 895*2^1451307-1 is not prime. Res64: B3F8DD56256E49B8 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:57:08] 955*2^1451307-1 is not prime. Res64: F7FFB47C09BA3451 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:57:09] 961*2^1451307-1 is not prime. Res64: E1B050CE63A436CC Time : 0.0 sec. user=mdettweiler [2017-04-11 21:57:09] 963*2^1451307-1 is not prime. Res64: 268E44F1CBD297C9 Time : 0.0 sec. user=mdettweiler [2017-04-11 21:57:09] 647*2^1451308-1 is not prime. Res64: 04AB9E75499BCE5E Time : 0.0 sec. user=mdettweiler [2017-04-11 22:10:46] 677*2^1451308-1 is not prime. Res64: 5EF314D58A39DFD1 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:10:47] 897*2^1451308-1 is not prime. Res64: F3BF85F48910A327 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:10:47] 699*2^1451308-1 is not prime. Res64: 15FCBFDC7627FFE2 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:10:47] 905*2^1451308-1 is not prime. Res64: 5420EFFCC2FF04C3 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:10:47] 783*2^1451308-1 is not prime. Res64: FFC1B263FF431EFB Time : 0.0 sec. user=mdettweiler [2017-04-11 22:10:48] 923*2^1451308-1 is not prime. Res64: 41677EB847A1B64C Time : 0.0 sec. user=mdettweiler [2017-04-11 22:10:48] 813*2^1451308-1 is not prime. Res64: A70D0750633AA541 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:10:48] 825*2^1451308-1 is not prime. Res64: B863C447A32D1D0F Time : 0.0 sec. user=mdettweiler [2017-04-11 22:10:48] 957*2^1451308-1 is not prime. Res64: 8509F093F9F8653F Time : 0.0 sec. user=mdettweiler [2017-04-11 22:10:49] 771*2^1451309-1 is not prime. Res64: E6C6B609F15164C1 Time : 0.0 sec. user=juhehe [2017-04-11 22:33:14] 887*2^1451310-1 is not prime. Res64: A4D5749DEE0E731A Time : 0.0 sec. user=mdettweiler [2017-04-11 22:35:36] 879*2^1451309-1 is not prime. Res64: 1EA71377921C7AE6 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:35:36] 755*2^1451310-1 is not prime. Res64: 0B1108ECE64B9F1F Time : 0.0 sec. user=mdettweiler [2017-04-11 22:35:36] 783*2^1451310-1 is not prime. Res64: 7D359FF6F6E4C4A1 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:35:37] 797*2^1451310-1 is not prime. Res64: 46589C91B13EF87A Time : 0.0 sec. user=mdettweiler [2017-04-11 22:35:37] 851*2^1451310-1 is not prime. Res64: 3084884BC54A77E8 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:44:49] 941*2^1451310-1 is not prime. Res64: B570B4DDDCA8ED52 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:44:50] 679*2^1451311-1 is not prime. Res64: EA61A7573C4FAEF2 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:44:50] 685*2^1451311-1 is not prime. Res64: 70C2AFD2CCAEA3CF Time : 0.0 sec. user=mdettweiler [2017-04-11 22:44:51] 705*2^1451311-1 is not prime. Res64: 8E1152A6E45A9B1C Time : 0.0 sec. user=mdettweiler [2017-04-11 22:44:51] 849*2^1451311-1 is not prime. Res64: 7F65A228CDDEAB71 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:55:35] 909*2^1451312-1 is not prime. Res64: 93CC5759A74CC5E5 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:55:35] 665*2^1451312-1 is not prime. Res64: 139D847BC5C0C9F4 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:55:36] 983*2^1451312-1 is not prime. Res64: C1594F1E8A33FB59 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:55:36] 713*2^1451312-1 is not prime. Res64: E839403598B14949 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:55:36] 871*2^1451313-1 is not prime. Res64: 5C66A7E3F9785945 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:55:36] 755*2^1451312-1 is not prime. Res64: 03693F77BFB73722 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:55:36] 891*2^1451313-1 is not prime. Res64: 2443F9F355CD0FF2 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:55:37] 803*2^1451312-1 is not prime. Res64: AFA9EFA96CB78153 Time : 0.0 sec. user=mdettweiler [2017-04-11 22:55:37] 895*2^1451313-1 is not prime. Res64: DE1BC71EC87D2D0A Time : 0.0 sec. user=mdettweiler [2017-04-11 22:55:37] 875*2^1451312-1 is not prime. Res64: EBFE7E8BA7CA2949 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:20:56] 919*2^1451313-1 is not prime. Res64: 03D636C8F8683CF9 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:20:57] 937*2^1451313-1 is not prime. Res64: EE4C3BAD92AF8F80 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:20:57] 985*2^1451313-1 is not prime. Res64: 533D399FD159C717 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:20:58] 605*2^1451314-1 is not prime. Res64: BA092056A074959A Time : 0.0 sec. user=mdettweiler [2017-04-11 23:20:58] 755*2^1451314-1 is not prime. Res64: 2176E54BA1131653 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:30:05] 765*2^1451314-1 is not prime. Res64: 1E04DA0000931F5A Time : 0.0 sec. user=mdettweiler [2017-04-11 23:30:05] 783*2^1451314-1 is not prime. Res64: 0412ACE328B597FB Time : 0.0 sec. user=mdettweiler [2017-04-11 23:30:06] 813*2^1451314-1 is not prime. Res64: 897D439657420851 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:30:06] 815*2^1451314-1 is not prime. Res64: 22485B1DA94A667D Time : 0.0 sec. user=mdettweiler [2017-04-11 23:30:06] 1001*2^1451314-1 is not prime. Res64: 80B6889C2608A8F7 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:40:52] 765*2^1451316-1 is not prime. Res64: 5928C5FE298B9577 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:40:53] 845*2^1451316-1 is not prime. Res64: 02B3058184CE0002 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:40:53] 945*2^1451316-1 is not prime. Res64: A780E9665950B79E Time : 0.0 sec. user=mdettweiler [2017-04-11 23:40:53] 649*2^1451317-1 is not prime. Res64: 07FC3674F7D5284B Time : 0.0 sec. user=mdettweiler [2017-04-11 23:40:54] 651*2^1451317-1 is not prime. Res64: D5FCFB70A9BBFC79 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:40:54] 651*2^1451315-1 is not prime. Res64: 0ABF52D5C98BFC21 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:40:54] 825*2^1451315-1 is not prime. Res64: 23B674274610825E Time : 0.0 sec. user=mdettweiler [2017-04-11 23:40:55] 939*2^1451315-1 is not prime. Res64: 8490ACE30E486A87 Time : 0.0 sec. user=mdettweiler [2017-04-11 23:40:55] 675*2^1451316-1 is not prime. Res64: 0EE234E64219A55E Time : 0.0 sec. user=mdettweiler [2017-04-11 23:40:56] 759*2^1451316-1 is not prime. Res64: 7F621C24B35FA113 Time : 0.0 sec.