user=juhehe [2015-06-11 03:12:16] 887*2^1399960-1 is not prime. Res64: 1F5B025BC15E3B69 Time : 0.0 sec. user=mdettweiler [2015-06-11 10:19:55] 663*2^1399959-1 is not prime. Res64: 80B74E4C70B9E0D4 Time : 0.0 sec. user=mdettweiler [2015-06-11 10:19:56] 675*2^1399959-1 is not prime. Res64: C5E3D4BAFABA6104 Time : 0.0 sec. user=mdettweiler [2015-06-11 10:39:43] 927*2^1399960-1 is not prime. Res64: 1877DE0778CE86AE Time : 0.0 sec. user=mdettweiler [2015-06-11 10:39:43] 607*2^1399961-1 is not prime. Res64: C8B2478F0810750C Time : 0.0 sec. user=mdettweiler [2015-06-11 10:40:58] 825*2^1399959-1 is not prime. Res64: 24ED89A7BABD8160 Time : 0.0 sec. user=mdettweiler [2015-06-11 10:40:58] 885*2^1399959-1 is not prime. Res64: 12C88E75F57B5A8F Time : 0.0 sec. user=mdettweiler [2015-06-11 10:45:37] 943*2^1399959-1 is not prime. Res64: 9BD239AE77CE84C9 Time : 0.0 sec. user=mdettweiler [2015-06-11 10:45:37] 713*2^1399960-1 is not prime. Res64: D02BB5690515A285 Time : 0.0 sec. user=mdettweiler [2015-06-11 10:49:02] 849*2^1399960-1 is not prime. Res64: 08B3D4395B150103 Time : 0.0 sec. user=mdettweiler [2015-06-11 10:49:02] 855*2^1399960-1 is not prime. Res64: 609664907DCCEF05 Time : 0.0 sec. user=mdettweiler [2015-06-11 10:57:55] 675*2^1399961-1 is not prime. Res64: DB5956D7CAD0D0CC Time : 0.0 sec. user=mdettweiler [2015-06-11 10:57:55] 795*2^1399961-1 is not prime. Res64: 011F9479B7E5BE1E Time : 0.0 sec. user=mdettweiler [2015-06-11 10:59:02] 819*2^1399961-1 is not prime. Res64: F875B0EF249B5ED8 Time : 0.0 sec. user=mdettweiler [2015-06-11 10:59:02] 861*2^1399961-1 is not prime. Res64: A5753C1F4613E81D Time : 0.0 sec. user=mdettweiler [2015-06-11 11:03:19] 665*2^1399962-1 is not prime. Res64: 1FA5F1800D67D59A Time : 0.0 sec. user=mdettweiler [2015-06-11 11:03:20] 683*2^1399962-1 is not prime. Res64: 05751C5B75143BAE Time : 0.0 sec. user=mdettweiler [2015-06-11 11:06:39] 711*2^1399962-1 is not prime. Res64: F67696A8A5F1F304 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:06:40] 725*2^1399962-1 is not prime. Res64: 29E55A524BFF744A Time : 0.0 sec. user=mdettweiler [2015-06-11 11:16:09] 791*2^1399962-1 is not prime. Res64: 661BBD247F50FFF7 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:16:09] 893*2^1399962-1 is not prime. Res64: A8AFC6D876D21B80 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:17:03] 631*2^1399963-1 is not prime. Res64: 6195B4C98FA218C0 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:17:03] 691*2^1399963-1 is not prime. Res64: 828A6A00E792BDF7 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:21:06] 765*2^1399963-1 is not prime. Res64: 2A8385B648FC882D Time : 0.0 sec. user=mdettweiler [2015-06-11 11:21:06] 853*2^1399963-1 is not prime. Res64: 4D4BD6932DAD5CCF Time : 0.0 sec. user=mdettweiler [2015-06-11 11:24:49] 861*2^1399963-1 is not prime. Res64: EA4CBEAFC465F4DD Time : 0.0 sec. user=mdettweiler [2015-06-11 11:24:50] 657*2^1399964-1 is not prime. Res64: CF70175C7D01E4B2 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:33:51] 743*2^1399964-1 is not prime. Res64: 43802BE6CBAA7372 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:33:51] 759*2^1399964-1 is not prime. Res64: 30E9F149060A2C12 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:34:45] 899*2^1399964-1 is not prime. Res64: ED7532E654AFC102 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:34:45] 953*2^1399964-1 is not prime. Res64: 48AC0034FBA5ED3B Time : 0.0 sec. user=mdettweiler [2015-06-11 11:38:43] 995*2^1399964-1 is not prime. Res64: ABD3B4148C5375E0 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:38:44] 651*2^1399965-1 is not prime. Res64: 097710C31DBC56FD Time : 0.0 sec. user=mdettweiler [2015-06-11 11:42:21] 777*2^1399965-1 is not prime. Res64: 832F6C74A7A0B75B Time : 0.0 sec. user=mdettweiler [2015-06-11 11:42:21] 781*2^1399965-1 is not prime. Res64: 04074228C38F2345 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:51:32] 895*2^1399965-1 is not prime. Res64: DE0F5AD113157CB1 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:51:33] 951*2^1399965-1 is not prime. Res64: 72CAE3346B7E05ED Time : 0.0 sec. user=mdettweiler [2015-06-11 11:52:16] 955*2^1399965-1 is not prime. Res64: 86B7F1FF824B3178 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:52:16] 635*2^1399966-1 is not prime. Res64: A7C690F3875222B6 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:56:22] 663*2^1399966-1 is not prime. Res64: E86D308ADA54CB17 Time : 0.0 sec. user=mdettweiler [2015-06-11 11:56:22] 755*2^1399966-1 is not prime. Res64: 508B6A572E186F8C Time : 0.0 sec. user=mdettweiler [2015-06-11 11:59:52] 615*2^1399967-1 is not prime. Res64: CF96600B54F7427B Time : 0.0 sec. user=mdettweiler [2015-06-11 11:59:53] 885*2^1399967-1 is not prime. Res64: 9EED4DEC9FA0FF2B Time : 0.0 sec. user=mdettweiler [2015-06-11 12:09:06] 945*2^1399967-1 is not prime. Res64: 7BBD38BB36F80947 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:09:07] 979*2^1399967-1 is not prime. Res64: FE64BAE3E69B7263 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:09:46] 605*2^1399968-1 is not prime. Res64: 56959BABA2421B17 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:09:46] 635*2^1399968-1 is not prime. Res64: EF24ADFC9D275148 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:13:56] 945*2^1399968-1 is not prime. Res64: 5B4DDD291E08EBA3 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:13:56] 601*2^1399969-1 is not prime. Res64: 5E88B9D0197D53B9 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:17:25] 639*2^1399969-1 is not prime. Res64: B853B7852CD7420A Time : 0.0 sec. user=mdettweiler [2015-06-11 12:17:26] 765*2^1399969-1 is not prime. Res64: 1ED3D5F4AAFF1707 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:26:47] 769*2^1399969-1 is not prime. Res64: 6CAB502407496499 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:26:48] 819*2^1399969-1 is not prime. Res64: 1B5710237D5B0A4A Time : 0.0 sec. user=mdettweiler [2015-06-11 12:27:16] 985*2^1399969-1 is not prime. Res64: 5E55C99018FB4DC5 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:27:17] 665*2^1399970-1 is not prime. Res64: DAD1288DD9FFB06F Time : 0.0 sec. user=mdettweiler [2015-06-11 12:31:26] 813*2^1399970-1 is not prime. Res64: EA37DE90CC57DDD9 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:31:26] 857*2^1399970-1 is not prime. Res64: 87592DC1C4272FD1 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:35:03] 861*2^1399970-1 is not prime. Res64: 09A577484BAF89E8 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:35:04] 887*2^1399970-1 is not prime. Res64: 59CCF53A7F4373DB Time : 0.0 sec. user=mdettweiler [2015-06-11 12:44:26] 915*2^1399970-1 is not prime. Res64: E17BBBFE85F75D67 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:44:27] 981*2^1399970-1 is not prime. Res64: 8B225C06E3EE4E46 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:44:51] 675*2^1399971-1 is not prime. Res64: A4D8B91DCBD307BC Time : 0.0 sec. user=mdettweiler [2015-06-11 12:44:52] 769*2^1399971-1 is not prime. Res64: FD41DAB52DADCAB8 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:48:56] 879*2^1399971-1 is not prime. Res64: 47BF7371BB8B06A1 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:48:56] 885*2^1399971-1 is not prime. Res64: C41582EBEBB45709 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:52:38] 903*2^1399971-1 is not prime. Res64: A524FB85E2F520A8 Time : 0.0 sec. user=mdettweiler [2015-06-11 12:52:38] 999*2^1399971-1 is not prime. Res64: 447B8C738999550C Time : 0.0 sec. user=mdettweiler [2015-06-11 13:02:06] 615*2^1399972-1 is not prime. Res64: 9A84AED7F9D73CBE Time : 0.0 sec. user=mdettweiler [2015-06-11 13:02:11] 617*2^1399972-1 is not prime. Res64: D6017A2721481887 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:02:24] 677*2^1399972-1 is not prime. Res64: E37394757DE7176A Time : 0.0 sec. user=mdettweiler [2015-06-11 13:02:26] 693*2^1399972-1 is not prime. Res64: 85E93C13CA5AC111 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:06:27] 735*2^1399972-1 is not prime. Res64: 7E1E40EB94856D93 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:06:28] 875*2^1399972-1 is not prime. Res64: 132E853F79618C51 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:10:11] 697*2^1399973-1 is not prime. Res64: 81E660892C46376E Time : 0.0 sec. user=mdettweiler [2015-06-11 13:10:12] 795*2^1399973-1 is not prime. Res64: 714431BD8A2A9AF6 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:20:06] 859*2^1399973-1 is not prime. Res64: 72AE5DDE620C6AF2 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:20:07] 955*2^1399973-1 is not prime. Res64: 775717A48DEA1CE3 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:20:11] 979*2^1399973-1 is not prime. Res64: 7D80B24828FBE01A Time : 0.0 sec. user=mdettweiler [2015-06-11 13:20:12] 605*2^1399974-1 is not prime. Res64: D4805D131E65F7F0 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:23:56] 663*2^1399974-1 is not prime. Res64: 7135F36ADA0F685A Time : 0.0 sec. user=mdettweiler [2015-06-11 13:23:56] 681*2^1399974-1 is not prime. Res64: 8788DB988C1E8AF9 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:27:47] 711*2^1399974-1 is not prime. Res64: F52521BB7BD40256 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:27:47] 717*2^1399974-1 is not prime. Res64: 2875889512B83E52 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:37:49] 763*2^1399975-1 is not prime. Res64: DAD13436E30212EF Time : 0.0 sec. user=mdettweiler [2015-06-11 13:37:49] 771*2^1399975-1 is not prime. Res64: 40E2685E1E908FD4 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:37:50] 941*2^1399974-1 is not prime. Res64: CE9D4A9755AA82B0 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:37:50] 645*2^1399975-1 is not prime. Res64: 37E75A4CAD62EC92 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:41:35] 859*2^1399975-1 is not prime. Res64: 217FD4E2CE72D3BE Time : 0.0 sec. user=mdettweiler [2015-06-11 13:41:36] 999*2^1399975-1 is not prime. Res64: 4390777FD0C952CF Time : 0.0 sec. user=juhehe [2015-06-11 13:42:53] 755*2^1399974-1 is not prime. Res64: DB2D5BD4963C0A2C Time : 0.0 sec. user=mdettweiler [2015-06-11 13:45:21] 623*2^1399976-1 is not prime. Res64: 12CD4E2979A90772 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:45:22] 773*2^1399976-1 is not prime. Res64: 95F3A06F51EF8682 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:55:20] 829*2^1399977-1 is not prime. Res64: C469500494CF0E85 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:55:20] 979*2^1399977-1 is not prime. Res64: A0932FCB897292D0 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:55:22] 857*2^1399976-1 is not prime. Res64: DA7977FFA07EFC5D Time : 0.0 sec. user=mdettweiler [2015-06-11 13:55:22] 685*2^1399977-1 is not prime. Res64: 5381B9B7F7E008D5 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:59:10] 677*2^1399978-1 is not prime. Res64: 595C15E2A5C45AC8 Time : 0.0 sec. user=mdettweiler [2015-06-11 13:59:10] 713*2^1399978-1 is not prime. Res64: 1A5DA5CFC1E1EF16 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:02:51] 755*2^1399978-1 is not prime. Res64: 7181AF4EF5FEC03F Time : 0.0 sec. user=mdettweiler [2015-06-11 14:02:52] 843*2^1399978-1 is not prime. Res64: 4168D658F573B631 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:12:54] 945*2^1399978-1 is not prime. Res64: 4C6D062001050D27 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:12:55] 643*2^1399979-1 is not prime. Res64: BC9FBEA195D6E0B8 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:13:00] 861*2^1399978-1 is not prime. Res64: 6338AA5454F22618 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:13:00] 867*2^1399978-1 is not prime. Res64: DF1C189380BC57F5 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:16:47] 693*2^1399979-1 is not prime. Res64: 18E51230B3F2DF36 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:16:47] 819*2^1399979-1 is not prime. Res64: 80D89D9532AEC0B6 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:20:33] 913*2^1399979-1 is not prime. Res64: DC5B1BFE7B198ECE Time : 0.0 sec. user=mdettweiler [2015-06-11 14:20:33] 939*2^1399979-1 is not prime. Res64: 00AC4757D46B4B53 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:30:33] 647*2^1399980-1 is not prime. Res64: 812314315ADA7006 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:30:34] 809*2^1399980-1 is not prime. Res64: CD61A0F69409E3A6 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:30:37] 973*2^1399979-1 is not prime. Res64: 98B67F04AD34B2DF Time : 0.0 sec. user=mdettweiler [2015-06-11 14:30:37] 633*2^1399980-1 is not prime. Res64: 3020797C81F04262 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:34:17] 839*2^1399980-1 is not prime. Res64: C7A2BCF04018DC76 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:34:17] 845*2^1399980-1 is not prime. Res64: F150FBE11EA0A73E Time : 0.0 sec. user=mdettweiler [2015-06-11 14:38:03] 873*2^1399980-1 is not prime. Res64: 4E76F3D8C5F52BE9 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:38:03] 909*2^1399980-1 is not prime. Res64: 18FD7829496D6A2C Time : 0.0 sec. user=mdettweiler [2015-06-11 14:48:05] 681*2^1399981-1 is not prime. Res64: D069A6D8599A502A Time : 0.0 sec. user=mdettweiler [2015-06-11 14:48:05] 789*2^1399981-1 is not prime. Res64: 2E9B74E66B7E70B8 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:48:17] 847*2^1399981-1 is not prime. Res64: 09D35A7C3C419D33 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:48:17] 877*2^1399981-1 is not prime. Res64: F4D15D85AC75219D Time : 0.0 sec. user=mdettweiler [2015-06-11 14:51:56] 955*2^1399981-1 is not prime. Res64: 25EA40E64BBD5268 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:51:56] 665*2^1399982-1 is not prime. Res64: 1F7EBF0AE248DCFB Time : 0.0 sec. user=mdettweiler [2015-06-11 14:55:38] 731*2^1399982-1 is not prime. Res64: FF17F703F7321215 Time : 0.0 sec. user=mdettweiler [2015-06-11 14:55:39] 753*2^1399982-1 is not prime. Res64: 04E3BE8451DBC06F Time : 0.0 sec. user=mdettweiler [2015-06-11 15:05:45] 827*2^1399982-1 is not prime. Res64: 4E50DAD243A32356 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:05:46] 873*2^1399982-1 is not prime. Res64: 4BE52DAB34EA5696 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:05:55] 887*2^1399982-1 is not prime. Res64: 9DBA15274B7FA306 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:05:56] 953*2^1399982-1 is not prime. Res64: 4358FB0EAAC9D9CE Time : 0.0 sec. user=mdettweiler [2015-06-11 15:09:37] 977*2^1399982-1 is not prime. Res64: 3DAE46F0A8C0DDA8 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:09:37] 609*2^1399983-1 is not prime. Res64: 28AF6A8247B6FD65 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:13:19] 615*2^1399983-1 is not prime. Res64: F417A4C91B48F14A Time : 0.0 sec. user=mdettweiler [2015-06-11 15:13:19] 619*2^1399983-1 is not prime. Res64: D6597D928D3768A8 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:23:22] 639*2^1399983-1 is not prime. Res64: 55E40C1589675D21 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:23:22] 685*2^1399983-1 is not prime. Res64: 5EB01BFE986F8A65 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:23:33] 693*2^1399983-1 is not prime. Res64: 3AE48E73A81D99A8 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:23:34] 763*2^1399983-1 is not prime. Res64: D08B5A8D3F112837 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:27:09] 795*2^1399983-1 is not prime. Res64: 8769967500F3082A Time : 0.0 sec. user=mdettweiler [2015-06-11 15:27:09] 831*2^1399983-1 is not prime. Res64: 8477C87B8A67B9E2 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:30:58] 629*2^1399984-1 is not prime. Res64: 124E348250A41A3E Time : 0.0 sec. user=mdettweiler [2015-06-11 15:30:59] 675*2^1399984-1 is not prime. Res64: AA71A2C82600F80A Time : 0.0 sec. user=mdettweiler [2015-06-11 15:41:00] 723*2^1399984-1 is not prime. Res64: CDE17538400A9E03 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:41:00] 827*2^1399984-1 is not prime. Res64: A8A4AA5955275C55 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:41:13] 899*2^1399984-1 is not prime. Res64: 2FFE2B82B55B6181 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:41:13] 903*2^1399984-1 is not prime. Res64: 8012DEB1259817DB Time : 0.0 sec. user=mdettweiler [2015-06-11 15:44:56] 959*2^1399984-1 is not prime. Res64: 3CE6F5FDFA11DE61 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:44:56] 965*2^1399984-1 is not prime. Res64: C6EF9E6DAEDAC2CE Time : 0.0 sec. user=mdettweiler [2015-06-11 15:48:47] 691*2^1399985-1 is not prime. Res64: E41EF0EBA71FB9E7 Time : 0.0 sec. user=mdettweiler [2015-06-11 15:48:47] 721*2^1399985-1 is not prime. Res64: 842855D330CDAF2B Time : 0.0 sec. user=mdettweiler [2015-06-11 15:59:28] 981*2^1399985-1 is not prime. Res64: C70B49A589292F6F Time : 0.0 sec. user=mdettweiler [2015-06-11 15:59:29] 657*2^1399986-1 is not prime. Res64: 54A7E0140A1A7F4D Time : 0.0 sec. user=mdettweiler [2015-06-11 15:59:33] 861*2^1399985-1 is not prime. Res64: 82BA0B98CE7B928B Time : 0.0 sec. user=mdettweiler [2015-06-11 15:59:33] 867*2^1399985-1 is not prime. Res64: 9637D384BE2B1226 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:03:30] 705*2^1399986-1 is not prime. Res64: 069A68FA9708F14C Time : 0.0 sec. user=mdettweiler [2015-06-11 16:03:32] 803*2^1399986-1 is not prime. Res64: 54793020C759BE3F Time : 0.0 sec. user=mdettweiler [2015-06-11 16:07:28] 651*2^1399987-1 is not prime. Res64: DB77002078F7B6D6 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:07:28] 691*2^1399987-1 is not prime. Res64: C795682FD0BE9B07 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:17:57] 801*2^1399987-1 is not prime. Res64: D56F851C852E0183 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:17:58] 871*2^1399987-1 is not prime. Res64: 50F93ECE3B786BB1 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:18:03] 759*2^1399987-1 is not prime. Res64: D9BF5AB5C083FAC5 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:18:03] 775*2^1399987-1 is not prime. Res64: 8D9A14D2CA106080 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:22:16] 629*2^1399988-1 is not prime. Res64: FA6F509D31B0A2CA Time : 0.0 sec. user=mdettweiler [2015-06-11 16:22:16] 647*2^1399988-1 is not prime. Res64: E4A0E494BC21278D Time : 0.0 sec. user=mdettweiler [2015-06-11 16:26:57] 797*2^1399988-1 is not prime. Res64: 505F523FDAA97490 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:26:58] 875*2^1399988-1 is not prime. Res64: 0CCECB40C3DDDD32 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:37:29] 909*2^1399988-1 is not prime. Res64: 20D4CF6995338939 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:37:29] 709*2^1399989-1 is not prime. Res64: 92F59CBE93AB4FAF Time : 0.0 sec. user=mdettweiler [2015-06-11 16:38:16] 741*2^1399989-1 is not prime. Res64: 3D190B2F94DA7361 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:38:16] 861*2^1399989-1 is not prime. Res64: 85313C821F7C570D Time : 0.0 sec. user=mdettweiler [2015-06-11 16:42:36] 891*2^1399989-1 is not prime. Res64: 2D7CCFD0A2AB698F Time : 0.0 sec. user=mdettweiler [2015-06-11 16:42:36] 919*2^1399989-1 is not prime. Res64: B3DC83C86C4E2D5F Time : 0.0 sec. user=mdettweiler [2015-06-11 16:47:09] 949*2^1399989-1 is not prime. Res64: 43764434A10627FF Time : 0.0 sec. user=mdettweiler [2015-06-11 16:47:09] 651*2^1399990-1 is not prime. Res64: 26F0627B5FACA27F Time : 0.0 sec. user=mdettweiler [2015-06-11 16:58:05] 665*2^1399990-1 is not prime. Res64: 11AC85B9C7E952FF Time : 0.0 sec. user=mdettweiler [2015-06-11 16:58:05] 801*2^1399990-1 is not prime. Res64: 455D4282B757AAC1 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:58:33] 825*2^1399990-1 is not prime. Res64: 75AC2BCD474158F0 Time : 0.0 sec. user=mdettweiler [2015-06-11 16:58:33] 843*2^1399990-1 is not prime. Res64: 6016BF0754E50AAB Time : 0.0 sec. user=mdettweiler [2015-06-11 17:02:12] 845*2^1399990-1 is not prime. Res64: F1B1E0ACBB2CE965 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:02:13] 891*2^1399990-1 is not prime. Res64: ECA6776389707367 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:06:50] 609*2^1399991-1 is not prime. Res64: 3AF367AAE51FEE89 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:06:50] 619*2^1399991-1 is not prime. Res64: A076ACD817C5FE76 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:16:05] 811*2^1399991-1 is not prime. Res64: 037F66619E07E24F Time : 0.0 sec. user=mdettweiler [2015-06-11 17:16:05] 823*2^1399991-1 is not prime. Res64: DD9C720E0E8D3E94 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:16:44] 909*2^1399991-1 is not prime. Res64: 2D0A74131E47659D Time : 0.0 sec. user=mdettweiler [2015-06-11 17:16:44] 939*2^1399991-1 is not prime. Res64: 3F665A7F090C1A55 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:20:18] 955*2^1399991-1 is not prime. Res64: FA50BFD6C0E97ED4 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:20:18] 999*2^1399991-1 is not prime. Res64: A338E6677C473217 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:25:06] 623*2^1399992-1 is not prime. Res64: 754F807FEE115A6E Time : 0.0 sec. user=mdettweiler [2015-06-11 17:25:06] 635*2^1399992-1 is not prime. Res64: 5560B18D97D84771 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:34:00] 675*2^1399992-1 is not prime. Res64: 043F249516B22660 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:34:01] 699*2^1399992-1 is not prime. Res64: 223771BD8A564E9B Time : 0.0 sec. user=mdettweiler [2015-06-11 17:34:36] 825*2^1399992-1 is not prime. Res64: 7857D54BDFD64E68 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:34:36] 863*2^1399992-1 is not prime. Res64: 80A75137D31B36F1 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:38:27] 947*2^1399992-1 is not prime. Res64: 40CBD8B9C46A4C8A Time : 0.0 sec. user=mdettweiler [2015-06-11 17:38:28] 801*2^1399993-1 is not prime. Res64: 73A0B5703F91F019 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:43:19] 811*2^1399993-1 is not prime. Res64: E9F96DCD39B9D0F7 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:43:20] 885*2^1399993-1 is not prime. Res64: 7BF923114CA67843 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:52:10] 985*2^1399993-1 is not prime. Res64: 89E626E58B9F3F7D Time : 0.0 sec. user=mdettweiler [2015-06-11 17:52:10] 641*2^1399994-1 is not prime. Res64: EF43696D245D60FF Time : 0.0 sec. user=mdettweiler [2015-06-11 17:52:47] 651*2^1399994-1 is not prime. Res64: 4B8ED828CB8144EC Time : 0.0 sec. user=mdettweiler [2015-06-11 17:52:47] 677*2^1399994-1 is not prime. Res64: E768AEEBDADD3C48 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:56:39] 741*2^1399994-1 is not prime. Res64: C3EF14DB7B570D26 Time : 0.0 sec. user=mdettweiler [2015-06-11 17:56:40] 831*2^1399994-1 is not prime. Res64: B2B4507AE90BE8CD Time : 0.0 sec. user=mdettweiler [2015-06-11 18:01:12] 837*2^1399994-1 is not prime. Res64: B98BC7E130A1D0F2 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:01:12] 851*2^1399994-1 is not prime. Res64: B7A7415EAE5DA072 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:09:59] 917*2^1399994-1 is not prime. Res64: B31669AEF70740E0 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:10:00] 609*2^1399995-1 is not prime. Res64: 01C657D21157A577 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:10:52] 625*2^1399995-1 is not prime. Res64: 62BAAE6B385BD1F5 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:10:52] 669*2^1399995-1 is not prime. Res64: 8595C54F312FDA8D Time : 0.0 sec. user=mdettweiler [2015-06-11 18:14:42] 795*2^1399995-1 is not prime. Res64: 33C68DF9D09E9F49 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:14:43] 853*2^1399995-1 is not prime. Res64: 120993F4F023B607 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:19:30] 603*2^1399996-1 is not prime. Res64: C9B0ED79372B94D5 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:19:30] 689*2^1399996-1 is not prime. Res64: 2B321FC8AF962218 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:28:19] 705*2^1399996-1 is not prime. Res64: D7A8C94221182938 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:28:19] 707*2^1399996-1 is not prime. Res64: 6F624004A90E2897 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:28:53] 719*2^1399996-1 is not prime. Res64: 35B740CB5897DE05 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:28:53] 785*2^1399996-1 is not prime. Res64: DAF165F7B30620D4 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:32:37] 855*2^1399996-1 is not prime. Res64: 140B1AAE18B322B2 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:32:38] 983*2^1399996-1 is not prime. Res64: 4C8C02103218F31E Time : 0.0 sec. user=mdettweiler [2015-06-11 18:37:20] 987*2^1399996-1 is not prime. Res64: E5E9D319E2F113DB Time : 0.0 sec. user=mdettweiler [2015-06-11 18:37:20] 699*2^1399997-1 is not prime. Res64: BBA611DAF65685B4 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:46:01] 747*2^1399997-1 is not prime. Res64: 9147F9C31CD3F7AE Time : 0.0 sec. user=mdettweiler [2015-06-11 18:46:01] 867*2^1399997-1 is not prime. Res64: 4F1228A014C194DD Time : 0.0 sec. user=mdettweiler [2015-06-11 18:46:35] 937*2^1399997-1 is not prime. Res64: 3375FA9122D9C192 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:46:35] 939*2^1399997-1 is not prime. Res64: DF938AE275D6F91A Time : 0.0 sec. user=mdettweiler [2015-06-11 18:50:16] 985*2^1399997-1 is not prime. Res64: 50DDD1B085B59392 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:50:16] 647*2^1399998-1 is not prime. Res64: 6835281294DC9041 Time : 0.0 sec. user=mdettweiler [2015-06-11 18:55:00] 755*2^1399998-1 is not prime. Res64: 33CD2EA2E07DAF8E Time : 0.0 sec. user=mdettweiler [2015-06-11 18:55:01] 777*2^1399998-1 is not prime. Res64: EE4678D05BE54DCD Time : 0.0 sec. user=mdettweiler [2015-06-11 19:03:42] 797*2^1399998-1 is not prime. Res64: 8D8413EAD5DB932F Time : 0.0 sec. user=mdettweiler [2015-06-11 19:03:43] 801*2^1399998-1 is not prime. Res64: 82B95F1595F00A21 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:04:18] 887*2^1399998-1 is not prime. Res64: 4688E6D1FBCB16E1 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:04:19] 945*2^1399998-1 is not prime. Res64: DF104AEC92EE715E Time : 0.0 sec. user=mdettweiler [2015-06-11 19:07:46] 645*2^1399999-1 is not prime. Res64: 0899D3B375DB7A77 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:07:47] 663*2^1399999-1 is not prime. Res64: F6C72F9BBDB84548 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:12:35] 763*2^1399999-1 is not prime. Res64: 93D61FEBDD851DB9 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:12:36] 765*2^1399999-1 is not prime. Res64: FFD48FC895DC2409 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:21:44] 919*2^1399999-1 is not prime. Res64: 194D6EBB458B59A5 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:21:44] 961*2^1399999-1 is not prime. Res64: 9763DBA4CC602AF4 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:21:59] 609*2^1400000-1 is not prime. Res64: A33E4BD8B00C8EDF Time : 0.0 sec. user=mdettweiler [2015-06-11 19:21:59] 735*2^1400000-1 is not prime. Res64: 2512828067548CB6 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:25:21] 845*2^1400000-1 is not prime. Res64: 73ACD3DB4336833D Time : 0.0 sec. user=mdettweiler [2015-06-11 19:25:21] 857*2^1400000-1 is not prime. Res64: C37332D505B68C6D Time : 0.0 sec. user=mdettweiler [2015-06-11 19:30:19] 945*2^1400000-1 is not prime. Res64: C6B5AA5A988BF3E3 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:30:19] 957*2^1400000-1 is not prime. Res64: C45F1619A267B4F2 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:39:36] 963*2^1400000-1 is not prime. Res64: FBF4E0173B9971B9 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:39:36] 681*2^1400001-1 is not prime. Res64: AC557E19236EBE27 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:39:53] 739*2^1400001-1 is not prime. Res64: 10809CBA5AF2617F Time : 0.0 sec. user=mdettweiler [2015-06-11 19:39:53] 781*2^1400001-1 is not prime. Res64: A11179ED85225C07 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:43:11] 847*2^1400001-1 is not prime. Res64: 8A6865013B469796 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:43:11] 895*2^1400001-1 is not prime. Res64: BC19BCB217182DF5 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:48:19] 907*2^1400001-1 is not prime. Res64: 5067466FACC82994 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:48:19] 975*2^1400001-1 is not prime. Res64: 29A8BA912AF64C35 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:58:19] 979*2^1400001-1 is not prime. Res64: 5A2F2BF291B6E89E Time : 0.0 sec. user=mdettweiler [2015-06-11 19:58:19] 651*2^1400002-1 is not prime. Res64: 200D7964E5C2698C Time : 0.0 sec. user=mdettweiler [2015-06-11 19:58:41] 671*2^1400002-1 is not prime. Res64: A379BDA39C9E4833 Time : 0.0 sec. user=mdettweiler [2015-06-11 19:58:42] 737*2^1400002-1 is not prime. Res64: 621D821FC02DFF4E Time : 0.0 sec. user=mdettweiler [2015-06-11 20:01:43] 833*2^1400002-1 is not prime. Res64: 1C4F0277FD637A09 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:01:44] 857*2^1400002-1 is not prime. Res64: 5B7FED410C6AA331 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:07:08] 873*2^1400002-1 is not prime. Res64: 9F2E8058305758E1 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:07:11] 881*2^1400002-1 is not prime. Res64: 87C0BDA216DB1726 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:16:43] 887*2^1400002-1 is not prime. Res64: 66963753BE48E966 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:16:44] 917*2^1400002-1 is not prime. Res64: C3CA72EBAE8064EC Time : 0.0 sec. user=mdettweiler [2015-06-11 20:17:06] 673*2^1400003-1 is not prime. Res64: 3D67123E821EF2D8 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:17:06] 771*2^1400003-1 is not prime. Res64: 30D64E19420DDC7B Time : 0.0 sec. user=mdettweiler [2015-06-11 20:20:28] 813*2^1400003-1 is not prime. Res64: 815FACDFB0D99425 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:20:28] 945*2^1400003-1 is not prime. Res64: 4540F5304BFBF38B Time : 0.0 sec. user=mdettweiler [2015-06-11 20:26:26] 993*2^1400003-1 is not prime. Res64: B84846272918B622 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:26:26] 999*2^1400003-1 is not prime. Res64: 3D6C43BD03EB429B Time : 0.0 sec. user=mdettweiler [2015-06-11 20:36:03] 635*2^1400004-1 is not prime. Res64: AE07F37331EAA72F Time : 0.0 sec. user=mdettweiler [2015-06-11 20:36:04] 795*2^1400004-1 is not prime. Res64: 55526D5FFDFD3C1F Time : 0.0 sec. user=mdettweiler [2015-06-11 20:36:25] 923*2^1400004-1 is not prime. Res64: 926D17BDAAA3662E Time : 0.0 sec. user=mdettweiler [2015-06-11 20:36:26] 947*2^1400004-1 is not prime. Res64: 8D23D42940694291 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:39:35] 607*2^1400005-1 is not prime. Res64: CE8256692369B0E1 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:39:36] 715*2^1400005-1 is not prime. Res64: 25B5748A9D910D39 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:45:21] 741*2^1400005-1 is not prime. Res64: DF9F944FE869CA32 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:45:22] 849*2^1400005-1 is not prime. Res64: 939A1A0F4449C241 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:54:54] 859*2^1400005-1 is not prime. Res64: C4AE2F2D606BDA95 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:54:54] 867*2^1400005-1 is not prime. Res64: 10AA966961D41F0F Time : 0.0 sec. user=mdettweiler [2015-06-11 20:55:06] 937*2^1400005-1 is not prime. Res64: D6A3A90A2205C356 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:55:07] 683*2^1400006-1 is not prime. Res64: 550D4A16B205D9DF Time : 0.0 sec. user=mdettweiler [2015-06-11 20:58:34] 813*2^1400006-1 is not prime. Res64: 9E32D49719AF4FD4 Time : 0.0 sec. user=mdettweiler [2015-06-11 20:58:35] 887*2^1400006-1 is not prime. Res64: 8477DC67EF6358F8 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:04:12] 945*2^1400006-1 is not prime. Res64: 2EEC3F57D4EFBA37 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:04:13] 957*2^1400006-1 is not prime. Res64: 79D06EF7A7B10B5B Time : 0.0 sec. user=mdettweiler [2015-06-11 21:13:43] 691*2^1400007-1 is not prime. Res64: 79DA45662B58F4CE Time : 0.0 sec. user=mdettweiler [2015-06-11 21:13:44] 741*2^1400007-1 is not prime. Res64: FF96DD16E265C1BA Time : 0.0 sec. user=mdettweiler [2015-06-11 21:14:46] 973*2^1400007-1 is not prime. Res64: D9399BE2E42E64C3 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:14:47] 713*2^1400008-1 is not prime. Res64: 39BC6CDDD239BD25 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:18:00] 849*2^1400008-1 is not prime. Res64: 2B165E5B8D9D3B96 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:18:00] 863*2^1400008-1 is not prime. Res64: 82EF9C528BE64C2F Time : 0.0 sec. user=mdettweiler [2015-06-11 21:24:18] 887*2^1400008-1 is not prime. Res64: 5D9AB708C13BF1B0 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:24:18] 989*2^1400008-1 is not prime. Res64: 8E4F78B7B0F631B7 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:33:28] 847*2^1400009-1 is not prime. Res64: 8B761542FB232A4B Time : 0.0 sec. user=mdettweiler [2015-06-11 21:33:28] 949*2^1400009-1 is not prime. Res64: 58115AE7E8DBC6F3 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:34:19] 967*2^1400009-1 is not prime. Res64: A519344ABD0192EA Time : 0.0 sec. user=mdettweiler [2015-06-11 21:34:19] 843*2^1400010-1 is not prime. Res64: 2E4C6E62D0D50539 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:37:14] 875*2^1400010-1 is not prime. Res64: 0079A88088CE6919 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:37:14] 887*2^1400010-1 is not prime. Res64: 654D36118A581546 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:42:51] 945*2^1400010-1 is not prime. Res64: 1C0717D8CB15D6F3 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:42:51] 603*2^1400011-1 is not prime. Res64: AC94CEC252EC125B Time : 0.0 sec. user=mdettweiler [2015-06-11 21:51:30] 663*2^1400011-1 is not prime. Res64: 6AE98F35633A3C80 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:51:30] 685*2^1400011-1 is not prime. Res64: D4239200D8122A65 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:52:13] 693*2^1400011-1 is not prime. Res64: 1486DAC40BD379CB Time : 0.0 sec. user=mdettweiler [2015-06-11 21:52:13] 805*2^1400011-1 is not prime. Res64: F226778E45E10B37 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:55:09] 819*2^1400011-1 is not prime. Res64: 4EA8A31E91E4AD45 Time : 0.0 sec. user=mdettweiler [2015-06-11 21:55:09] 843*2^1400011-1 is not prime. Res64: 8D8259E4DE5FD31C Time : 0.0 sec. user=mdettweiler [2015-06-11 22:00:52] 615*2^1400012-1 is not prime. Res64: 46329EF9CB1CD604 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:00:53] 825*2^1400012-1 is not prime. Res64: A0572618C43DCF02 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:09:43] 827*2^1400012-1 is not prime. Res64: 8EA084C35D897927 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:09:43] 843*2^1400012-1 is not prime. Res64: 42F6A2D43469BD03 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:10:15] 885*2^1400012-1 is not prime. Res64: BDEE07050C3C8806 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:10:16] 899*2^1400012-1 is not prime. Res64: 92A4A2A4560AD686 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:13:12] 915*2^1400012-1 is not prime. Res64: 30018627861D4431 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:13:13] 627*2^1400013-1 is not prime. Res64: F43AF1C898B4C533 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:19:11] 675*2^1400013-1 is not prime. Res64: 11879B4E0F4329D8 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:19:12] 679*2^1400013-1 is not prime. Res64: 9388A6A73E40E74D Time : 0.0 sec. user=mdettweiler [2015-06-11 22:29:26] 787*2^1400013-1 is not prime. Res64: 474905EDC5B2487E Time : 0.0 sec. user=mdettweiler [2015-06-11 22:29:26] 811*2^1400013-1 is not prime. Res64: E5075A92D7E20C37 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:29:54] 837*2^1400013-1 is not prime. Res64: 383711821307A994 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:29:55] 885*2^1400013-1 is not prime. Res64: B15B8DF7F8D25946 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:33:11] 951*2^1400013-1 is not prime. Res64: 6BD13A26A1D8E8AA Time : 0.0 sec. user=mdettweiler [2015-06-11 22:33:11] 815*2^1400014-1 is not prime. Res64: 5E9CC38B1115C4A7 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:39:54] 881*2^1400014-1 is not prime. Res64: E8B324E1EAFE22CE Time : 0.0 sec. user=mdettweiler [2015-06-11 22:39:55] 981*2^1400014-1 is not prime. Res64: 73AF26A3B236F58D Time : 0.0 sec. user=mdettweiler [2015-06-11 22:50:01] 609*2^1400015-1 is not prime. Res64: B1A36B330937FACA Time : 0.0 sec. user=mdettweiler [2015-06-11 22:50:01] 619*2^1400015-1 is not prime. Res64: 098F9CD7C510B81B Time : 0.0 sec. user=mdettweiler [2015-06-11 22:50:06] 705*2^1400015-1 is not prime. Res64: C65C53E7F24D738E Time : 0.0 sec. user=mdettweiler [2015-06-11 22:50:07] 735*2^1400015-1 is not prime. Res64: FFD43DAB4EFD5377 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:53:23] 741*2^1400015-1 is not prime. Res64: 3E7C18992A258F7B Time : 0.0 sec. user=mdettweiler [2015-06-11 22:53:24] 775*2^1400015-1 is not prime. Res64: 0214080357308BF6 Time : 0.0 sec. user=mdettweiler [2015-06-11 22:59:20] 843*2^1400015-1 is not prime. Res64: 6A2BC3763C6149FF Time : 0.0 sec. user=mdettweiler [2015-06-11 22:59:20] 889*2^1400015-1 is not prime. Res64: F811F0F231914146 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:08:24] 895*2^1400015-1 is not prime. Res64: F4BF6B5CF9558487 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:08:24] 657*2^1400016-1 is not prime. Res64: AADC65D2C2619B2F Time : 0.0 sec. user=mdettweiler [2015-06-11 23:08:24] 981*2^1400015-1 is not prime. Res64: 0B2B0F91289B376E Time : 0.0 sec. user=mdettweiler [2015-06-11 23:08:24] 845*2^1400016-1 is not prime. Res64: DE51574114CB5D52 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:11:31] 649*2^1400017-1 is not prime. Res64: 851B755D6C77E7B0 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:11:31] 691*2^1400017-1 is not prime. Res64: A6C32F3691BD5AE9 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:17:18] 727*2^1400017-1 is not prime. Res64: D150E0C2F795D3C1 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:17:18] 895*2^1400017-1 is not prime. Res64: EBAF6FDA5BB93185 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:26:03] 979*2^1400017-1 is not prime. Res64: C5FFF751675165D8 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:26:03] 671*2^1400018-1 is not prime. Res64: AFE37072B67CE3B1 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:26:05] 735*2^1400018-1 is not prime. Res64: E811BBDA41065B68 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:26:06] 993*2^1400018-1 is not prime. Res64: 159C24227E40F3D2 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:29:11] 615*2^1400019-1 is not prime. Res64: AF33070A8D0E9D5D Time : 0.0 sec. user=mdettweiler [2015-06-11 23:29:11] 735*2^1400019-1 is not prime. Res64: 49728CB6ADAE68B6 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:34:52] 891*2^1400019-1 is not prime. Res64: 5F196AB9A4BBC248 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:34:52] 623*2^1400020-1 is not prime. Res64: 757F18E2F131A6A1 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:43:38] 689*2^1400020-1 is not prime. Res64: 7C6CEED62B7B6FAD Time : 0.0 sec. user=mdettweiler [2015-06-11 23:43:38] 695*2^1400020-1 is not prime. Res64: A4D2395524CC52AE Time : 0.0 sec. user=mdettweiler [2015-06-11 23:43:43] 635*2^1400020-1 is not prime. Res64: 59128327D68C0440 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:43:43] 675*2^1400020-1 is not prime. Res64: D13CFF1B77F32707 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:46:47] 723*2^1400020-1 is not prime. Res64: DBA7CC937B39D604 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:46:47] 735*2^1400020-1 is not prime. Res64: FED6D930CF81FE9D Time : 0.0 sec. user=mdettweiler [2015-06-11 23:52:26] 905*2^1400020-1 is not prime. Res64: 1F150B97F6D6F406 Time : 0.0 sec. user=mdettweiler [2015-06-11 23:52:26] 927*2^1400020-1 is not prime. Res64: E6E39B98E2F777C4 Time : 0.0 sec.