user=mdettweiler [2017-05-11 00:22:12] 789*2^1453489-1 is not prime. Res64: F89489D8BDAD1683 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:22:12] 817*2^1453489-1 is not prime. Res64: A6E08047DC54AD00 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:22:13] 819*2^1453489-1 is not prime. Res64: 71AC4FFE4D55FB97 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:22:13] 831*2^1453489-1 is not prime. Res64: 7CEB03597945DFB3 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:22:13] 861*2^1453489-1 is not prime. Res64: E127D271A460B69D Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:03] 931*2^1453489-1 is not prime. Res64: 81A6F30E859F5AD0 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:03] 605*2^1453490-1 is not prime. Res64: 324421867DD2E7AC Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:03] 797*2^1453490-1 is not prime. Res64: 8411B38A67DD835C Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:04] 665*2^1453490-1 is not prime. Res64: B7457679ACB78121 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:04] 953*2^1453490-1 is not prime. Res64: EC2C7F2B2E2C81E4 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:04] 671*2^1453490-1 is not prime. Res64: 708448DC4997710D Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:04] 795*2^1453491-1 is not prime. Res64: F7A5D129C8926371 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:04] 639*2^1453491-1 is not prime. Res64: 76E910CB646CF9CB Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:05] 741*2^1453490-1 is not prime. Res64: 7428BAF70401FE25 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:05] 979*2^1453491-1 is not prime. Res64: 6F2BF0F900179A03 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:05] 669*2^1453491-1 is not prime. Res64: 38ED66F068FA2B46 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:05] 991*2^1453491-1 is not prime. Res64: 87F6469C63E01285 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:05] 753*2^1453491-1 is not prime. Res64: FCFD03B9ED6CDA09 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:06] 609*2^1453492-1 is not prime. Res64: 0E65747E195975C6 Time : 0.0 sec. user=mdettweiler [2017-05-11 00:23:06] 687*2^1453492-1 is not prime. Res64: CF5FC26D9D86E531 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:07:11] 689*2^1453492-1 is not prime. Res64: 773AEFBBFA69ABCA Time : 0.0 sec. user=mdettweiler [2017-05-11 01:07:12] 777*2^1453492-1 is not prime. Res64: D45AD265592DF746 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:07:12] 933*2^1453492-1 is not prime. Res64: 7ADE74653823BB28 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:07:12] 939*2^1453492-1 is not prime. Res64: 6D856008D0920E60 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:07:13] 975*2^1453492-1 is not prime. Res64: 1869E673F8535721 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:09] 887*2^1453494-1 is not prime. Res64: 0531446176E6C6A1 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:10] 639*2^1453495-1 is not prime. Res64: 4B16C6DC1BC2BE78 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:10] 723*2^1453495-1 is not prime. Res64: 7E7955093A7ECE22 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:11] 885*2^1453495-1 is not prime. Res64: FA473C773845A94F Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:11] 915*2^1453495-1 is not prime. Res64: B5F78CFD9D73B53D Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:12] 801*2^1453493-1 is not prime. Res64: C4CE148B6690E31D Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:12] 847*2^1453493-1 is not prime. Res64: 56C4481A8409B069 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:13] 871*2^1453493-1 is not prime. Res64: 4E9929E83DE95386 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:13] 621*2^1453494-1 is not prime. Res64: 2586D0A369AFE9F2 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:14] 705*2^1453494-1 is not prime. Res64: EA7A6F34C34992D9 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:19] 621*2^1453493-1 is not prime. Res64: B4FF3E4EBA58D2FC Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:19] 651*2^1453493-1 is not prime. Res64: 3B6EE89B2D639892 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:20] 685*2^1453493-1 is not prime. Res64: 6B50050F1187278D Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:21] 727*2^1453493-1 is not prime. Res64: C6FAB89244E7770B Time : 0.0 sec. user=mdettweiler [2017-05-11 01:08:22] 771*2^1453493-1 is not prime. Res64: 16E8E4642568932D Time : 0.0 sec. user=juhehe [2017-05-11 01:12:46] 615*2^1453496-1 is not prime. Res64: CD3D33EC15222AD3 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:52:21] 633*2^1453496-1 is not prime. Res64: 9D942710A68E191F Time : 0.0 sec. user=mdettweiler [2017-05-11 01:52:22] 837*2^1453496-1 is not prime. Res64: 899E5B82EB445B5D Time : 0.0 sec. user=mdettweiler [2017-05-11 01:52:22] 625*2^1453497-1 is not prime. Res64: FF89A88F0B7E0528 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:52:23] 667*2^1453497-1 is not prime. Res64: 473A46997943A366 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:52:23] 739*2^1453497-1 is not prime. Res64: 1043EBB12F86F5A9 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:20] 681*2^1453498-1 is not prime. Res64: 878E3AB31769C43E Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:21] 831*2^1453498-1 is not prime. Res64: 75835654E87C1060 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:21] 881*2^1453498-1 is not prime. Res64: 895074360EA206B8 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:22] 741*2^1453497-1 is not prime. Res64: A9E4F32A9844E361 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:22] 891*2^1453498-1 is not prime. Res64: 65C86DAC302FE1CA Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:22] 751*2^1453497-1 is not prime. Res64: A915614C522D7D16 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:23] 933*2^1453498-1 is not prime. Res64: 6B1E96B51B9EF7B8 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:23] 831*2^1453497-1 is not prime. Res64: 8E3A17A1030541DB Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:23] 979*2^1453497-1 is not prime. Res64: 6E5A9F8910F744C5 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:24] 671*2^1453498-1 is not prime. Res64: 116F3DEF5A7386F6 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:28] 975*2^1453498-1 is not prime. Res64: AFB3DE1BB1D80E30 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:28] 655*2^1453499-1 is not prime. Res64: 81674CFAACF19B04 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:29] 801*2^1453499-1 is not prime. Res64: 57023E8DD3A016C5 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:29] 669*2^1453500-1 is not prime. Res64: 17E072A7A8BD4EB4 Time : 0.0 sec. user=mdettweiler [2017-05-11 01:53:30] 843*2^1453500-1 is not prime. Res64: 1F4216BF1D3F4145 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:37:22] 935*2^1453500-1 is not prime. Res64: 99E01550663D6257 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:37:23] 957*2^1453500-1 is not prime. Res64: E6226DAD1B5A18EE Time : 0.0 sec. user=mdettweiler [2017-05-11 02:37:24] 745*2^1453501-1 is not prime. Res64: A601A25BE3FBF659 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:37:24] 819*2^1453501-1 is not prime. Res64: 683566A9834BFB76 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:37:25] 847*2^1453501-1 is not prime. Res64: C82A4CD42B96813D Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:26] 957*2^1453501-1 is not prime. Res64: 8B61A6674A1E717D Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:27] 617*2^1453502-1 is not prime. Res64: 71CA20935A397B12 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:27] 671*2^1453502-1 is not prime. Res64: CD9301AD341C33DA Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:28] 677*2^1453502-1 is not prime. Res64: 912B9CBCFCF69F41 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:28] 831*2^1453502-1 is not prime. Res64: CE794E56597F6BE9 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:29] 903*2^1453502-1 is not prime. Res64: 941D07EDB32181DA Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:29] 801*2^1453502-1 is not prime. Res64: E21A8EBA1D055A3E Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:29] 977*2^1453502-1 is not prime. Res64: 295BA422EEDA71B9 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:30] 983*2^1453502-1 is not prime. Res64: 0867751A498AE698 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:30] 649*2^1453503-1 is not prime. Res64: 0CD51ACDD18A7DE1 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:35] 663*2^1453503-1 is not prime. Res64: 78B529B867355FD7 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:36] 679*2^1453503-1 is not prime. Res64: 1CF1FEF0158FED98 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:36] 789*2^1453503-1 is not prime. Res64: 52810F198B8D6034 Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:37] 861*2^1453503-1 is not prime. Res64: 33B2B8A8FE63827D Time : 0.0 sec. user=mdettweiler [2017-05-11 02:38:37] 961*2^1453503-1 is not prime. Res64: B716D224436751D4 Time : 0.0 sec. user=juhehe [2017-05-11 03:09:52] 605*2^1453504-1 is not prime. Res64: 66F51AA439C65C54 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:23:09] 645*2^1453504-1 is not prime. Res64: 0D08FB76BCB22EDD Time : 0.0 sec. user=mdettweiler [2017-05-11 03:23:10] 693*2^1453504-1 is not prime. Res64: 8BCD03445B0CE5F1 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:23:10] 707*2^1453504-1 is not prime. Res64: 6C72B4753443C166 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:23:11] 717*2^1453504-1 is not prime. Res64: 7452D92070D5633F Time : 0.0 sec. user=mdettweiler [2017-05-11 03:23:11] 765*2^1453504-1 is not prime. Res64: 85A2DFD5060B52F9 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:17] 721*2^1453505-1 is not prime. Res64: 92896C8C69A7EEC8 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:18] 735*2^1453505-1 is not prime. Res64: F264834FB1EE620E Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:18] 771*2^1453505-1 is not prime. Res64: 071924F0A89A304F Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:19] 787*2^1453505-1 is not prime. Res64: 245974429001A9BB Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:19] 863*2^1453504-1 is not prime. Res64: D91B0CF625D34497 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:19] 847*2^1453505-1 is not prime. Res64: 3529B0781F1AFADE Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:19] 897*2^1453504-1 is not prime. Res64: D9EB7795EC451044 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:20] 965*2^1453504-1 is not prime. Res64: B4CAA12760030EE2 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:20] 699*2^1453505-1 is not prime. Res64: 9AEE6FAD0F237A14 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:21] 711*2^1453505-1 is not prime. Res64: CE38EA625980EFA2 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:52] 861*2^1453505-1 is not prime. Res64: DB61FBCFD661A0A6 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:52] 925*2^1453505-1 is not prime. Res64: AE674F097BBED881 Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:53] 957*2^1453505-1 is not prime. Res64: EBA0D579B94910CE Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:54] 627*2^1453506-1 is not prime. Res64: A6EF2E7ED29532CA Time : 0.0 sec. user=mdettweiler [2017-05-11 03:24:54] 747*2^1453506-1 is not prime. Res64: 157EBED0C64058E5 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:08:31] 851*2^1453506-1 is not prime. Res64: A49CE14D3637AC46 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:08:32] 971*2^1453506-1 is not prime. Res64: FC794EC0B7A471EB Time : 0.0 sec. user=mdettweiler [2017-05-11 04:08:32] 983*2^1453506-1 is not prime. Res64: 0562ECD98769298C Time : 0.0 sec. user=mdettweiler [2017-05-11 04:08:33] 617*2^1453508-1 is not prime. Res64: B06002EC082F47DB Time : 0.0 sec. user=mdettweiler [2017-05-11 04:08:33] 635*2^1453508-1 is not prime. Res64: B573AB5CBDA18F06 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:09:36] 959*2^1453508-1 is not prime. Res64: 589AC2991F49C905 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:09:37] 993*2^1453508-1 is not prime. Res64: CE893C0E7522CF0A Time : 0.0 sec. user=mdettweiler [2017-05-11 04:09:37] 609*2^1453509-1 is not prime. Res64: 3C3EC22905B51D83 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:09:37] 661*2^1453509-1 is not prime. Res64: 45AB61987E08080E Time : 0.0 sec. user=mdettweiler [2017-05-11 04:09:38] 681*2^1453509-1 is not prime. Res64: 324F392D668E2DED Time : 0.0 sec. user=mdettweiler [2017-05-11 04:09:48] 687*2^1453508-1 is not prime. Res64: EB9CB10B6CD1CF8C Time : 0.0 sec. user=mdettweiler [2017-05-11 04:09:48] 743*2^1453508-1 is not prime. Res64: 514DE9ECA5AE4674 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:09:49] 795*2^1453508-1 is not prime. Res64: 4C64FE82F3CAF9D8 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:09:49] 837*2^1453508-1 is not prime. Res64: 8EA1778BA4BEE1C1 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:09:50] 879*2^1453508-1 is not prime. Res64: C44324523E0AF340 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:10:13] 691*2^1453509-1 is not prime. Res64: 156E0A0EE7643DDC Time : 0.0 sec. user=mdettweiler [2017-05-11 04:10:14] 795*2^1453509-1 is not prime. Res64: 1CF2A6FF41D60A24 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:10:14] 927*2^1453509-1 is not prime. Res64: 1E44F3751293CB4E Time : 0.0 sec. user=mdettweiler [2017-05-11 04:10:14] 945*2^1453509-1 is not prime. Res64: A9A3DD2FE85DC2C0 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:10:15] 985*2^1453509-1 is not prime. Res64: DFE6ACA0363FFCD5 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:53:53] 999*2^1453509-1 is not prime. Res64: B240065A65BE8C43 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:53:53] 605*2^1453510-1 is not prime. Res64: 822EAB31299268E3 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:53:54] 687*2^1453510-1 is not prime. Res64: 4AE14829D346286F Time : 0.0 sec. user=mdettweiler [2017-05-11 04:53:54] 695*2^1453510-1 is not prime. Res64: 4E38D5B87DEF8EA2 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:53:54] 713*2^1453510-1 is not prime. Res64: 64AFA825884EDDC1 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:54:45] 861*2^1453510-1 is not prime. Res64: 3CCDF92B04778BBE Time : 0.0 sec. user=mdettweiler [2017-05-11 04:54:45] 887*2^1453510-1 is not prime. Res64: F45B143FB4F39689 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:54:46] 741*2^1453510-1 is not prime. Res64: 2FFEEE8F0DE36835 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:54:46] 941*2^1453510-1 is not prime. Res64: B3D69C3084AC1490 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:54:46] 773*2^1453510-1 is not prime. Res64: A31719B639B76554 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:54:46] 601*2^1453511-1 is not prime. Res64: DEEEC829760F08C7 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:54:46] 777*2^1453510-1 is not prime. Res64: BA8F09047D286EA0 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:54:47] 645*2^1453511-1 is not prime. Res64: 99F5F9144A71716F Time : 0.0 sec. user=mdettweiler [2017-05-11 04:54:47] 833*2^1453510-1 is not prime. Res64: 2631AAAC50AF6119 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:54:47] 843*2^1453510-1 is not prime. Res64: 6A7FA4DC87E4870B Time : 0.0 sec. user=mdettweiler [2017-05-11 04:55:24] 661*2^1453511-1 is not prime. Res64: 9656D22B786CA1F8 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:55:24] 759*2^1453511-1 is not prime. Res64: DEF5A53A842EA3AD Time : 0.0 sec. user=mdettweiler [2017-05-11 04:55:24] 921*2^1453511-1 is not prime. Res64: C04DAEF5EFFA94C0 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:55:25] 623*2^1453512-1 is not prime. Res64: 65744CEBB8152FD9 Time : 0.0 sec. user=mdettweiler [2017-05-11 04:55:25] 633*2^1453512-1 is not prime. Res64: 640D6C4E6ACECA3F Time : 0.0 sec. user=juhehe [2017-05-11 05:07:20] 737*2^1453512-1 is not prime. Res64: 2FEA2A2FD895954D Time : 0.0 sec. user=mdettweiler [2017-05-11 05:38:48] 819*2^1453512-1 is not prime. Res64: CFACC7AD69D684DF Time : 0.0 sec. user=mdettweiler [2017-05-11 05:38:49] 825*2^1453512-1 is not prime. Res64: 34DDC958D1D0E327 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:38:49] 873*2^1453512-1 is not prime. Res64: 49A1E7CCA5BF06C9 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:38:49] 999*2^1453512-1 is not prime. Res64: 362858ACB50BB48D Time : 0.0 sec. user=mdettweiler [2017-05-11 05:38:50] 687*2^1453513-1 is not prime. Res64: 3A62191216CE89D6 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:39:43] 919*2^1453513-1 is not prime. Res64: BF88E9CAA44857D3 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:39:44] 999*2^1453513-1 is not prime. Res64: 71A097BE725A26E0 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:39:44] 827*2^1453514-1 is not prime. Res64: 32AA16CCECB80EE9 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:39:44] 917*2^1453514-1 is not prime. Res64: 0CBA1F1FB5018EF6 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:39:45] 643*2^1453515-1 is not prime. Res64: 9DAA162888AC479F Time : 0.0 sec. user=mdettweiler [2017-05-11 05:39:48] 705*2^1453513-1 is not prime. Res64: C3B9D9B48AEB0586 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:39:48] 747*2^1453513-1 is not prime. Res64: 0B2236AD53FE4669 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:39:48] 847*2^1453513-1 is not prime. Res64: 755757F469F9E7E2 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:39:49] 861*2^1453513-1 is not prime. Res64: 95296DC59C9BE6FF Time : 0.0 sec. user=mdettweiler [2017-05-11 05:39:49] 895*2^1453513-1 is not prime. Res64: 421BAD70374DF3D0 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:40:28] 649*2^1453515-1 is not prime. Res64: 7D1A977AFD045D23 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:40:29] 651*2^1453515-1 is not prime. Res64: AC3826777112B583 Time : 0.0 sec. user=mdettweiler [2017-05-11 05:40:29] 705*2^1453515-1 is not prime. Res64: 9EB97BA7580D66BA Time : 0.0 sec. user=mdettweiler [2017-05-11 05:40:29] 709*2^1453515-1 is not prime. Res64: 94A70C48A1D93D2D Time : 0.0 sec. user=mdettweiler [2017-05-11 05:40:30] 735*2^1453515-1 is not prime. Res64: 0AEE06F20141D8A4 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:23:57] 849*2^1453515-1 is not prime. Res64: 948149728EDD97B4 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:23:57] 861*2^1453515-1 is not prime. Res64: E073AF5753E0E094 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:23:57] 919*2^1453515-1 is not prime. Res64: 43CAC12A82CB1BC1 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:23:58] 921*2^1453515-1 is not prime. Res64: 81437C2ECEB22454 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:23:58] 943*2^1453515-1 is not prime. Res64: 7CD7F43DC8032191 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:24:34] 825*2^1453516-1 is not prime. Res64: 11C635E51C12D065 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:24:34] 833*2^1453516-1 is not prime. Res64: C46E46400F15DAA3 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:24:35] 905*2^1453516-1 is not prime. Res64: 61CAB548D4AE7B94 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:24:35] 939*2^1453516-1 is not prime. Res64: 998401ECCD84FB78 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:24:36] 987*2^1453516-1 is not prime. Res64: 5AE058BA7925C012 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:24:36] 975*2^1453516-1 is not prime. Res64: 84A8FAAA04BB65D0 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:24:36] 615*2^1453517-1 is not prime. Res64: 79E1A9EF300D4D5F Time : 0.0 sec. user=mdettweiler [2017-05-11 06:24:36] 619*2^1453517-1 is not prime. Res64: FC12D59AB2D288FE Time : 0.0 sec. user=mdettweiler [2017-05-11 06:24:37] 631*2^1453517-1 is not prime. Res64: 003C482EC803F6B5 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:24:37] 729*2^1453517-1 is not prime. Res64: 0F8E744579E29829 Time : 0.0 sec. user=juhehe [2017-05-11 06:25:21] 711*2^1453518-1 is not prime. Res64: 3545A201B30FF765 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:25:30] 735*2^1453517-1 is not prime. Res64: 21F278858126E57C Time : 0.0 sec. user=mdettweiler [2017-05-11 06:25:30] 801*2^1453517-1 is not prime. Res64: 92BD21ED7EC24C10 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:25:30] 831*2^1453517-1 is not prime. Res64: B25CB697E2F476A5 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:25:31] 901*2^1453517-1 is not prime. Res64: 3BE5DC2B33BDED33 Time : 0.0 sec. user=mdettweiler [2017-05-11 06:25:31] 605*2^1453518-1 is not prime. Res64: 46481318B74D04C2 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:08:57] 765*2^1453518-1 is not prime. Res64: AC2200182E2F6105 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:08:58] 801*2^1453518-1 is not prime. Res64: FB0924550B78E113 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:08:58] 993*2^1453518-1 is not prime. Res64: 95A4C0B5501CB827 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:08:59] 625*2^1453519-1 is not prime. Res64: 5A7206140FBD293B Time : 0.0 sec. user=mdettweiler [2017-05-11 07:08:59] 661*2^1453519-1 is not prime. Res64: BFB0B768D68CBA29 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:09:38] 751*2^1453521-1 is not prime. Res64: CC79ADFB7372D64B Time : 0.0 sec. user=mdettweiler [2017-05-11 07:09:38] 849*2^1453521-1 is not prime. Res64: 64CF78805DDBAA54 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:09:38] 937*2^1453521-1 is not prime. Res64: 72433B61D7D5E492 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:09:39] 621*2^1453522-1 is not prime. Res64: 479AB0083F273E65 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:09:39] 735*2^1453522-1 is not prime. Res64: BD1FC1C4B792F1B3 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:09:40] 723*2^1453519-1 is not prime. Res64: 03063C77DF4B750C Time : 0.0 sec. user=mdettweiler [2017-05-11 07:09:40] 861*2^1453519-1 is not prime. Res64: 4E45902DBB30EE6A Time : 0.0 sec. user=mdettweiler [2017-05-11 07:09:41] 923*2^1453520-1 is not prime. Res64: 86DE1DD422BE969C Time : 0.0 sec. user=mdettweiler [2017-05-11 07:09:41] 609*2^1453521-1 is not prime. Res64: 9D24070DB0D3C402 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:09:42] 651*2^1453521-1 is not prime. Res64: A7C8177E43E21CE6 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:10:36] 737*2^1453522-1 is not prime. Res64: A52C4C09D94AA567 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:10:37] 765*2^1453522-1 is not prime. Res64: 140BB43BE334307F Time : 0.0 sec. user=mdettweiler [2017-05-11 07:10:37] 801*2^1453522-1 is not prime. Res64: 770CE453AC138C75 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:10:38] 803*2^1453522-1 is not prime. Res64: 51CBEDEFB4E79C77 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:10:38] 827*2^1453522-1 is not prime. Res64: 168B843096EF7A9C Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:02] 885*2^1453522-1 is not prime. Res64: 63B0D76FDBD2EA45 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:02] 917*2^1453522-1 is not prime. Res64: AD1942DBDF794B60 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:02] 951*2^1453522-1 is not prime. Res64: 26E6524E1DF2AF20 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:03] 615*2^1453523-1 is not prime. Res64: 6DD503F6BBB80D2B Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:03] 669*2^1453523-1 is not prime. Res64: 5DC83EB10097269D Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:39] 609*2^1453524-1 is not prime. Res64: E16FCC1D532216ED Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:40] 629*2^1453524-1 is not prime. Res64: 7266C798FFF76B93 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:40] 639*2^1453524-1 is not prime. Res64: 4059B1BABCB62932 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:40] 737*2^1453524-1 is not prime. Res64: 8C47FF4EC68B0314 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:41] 783*2^1453524-1 is not prime. Res64: F0FC3BB9ECCA8F7C Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:50] 741*2^1453523-1 is not prime. Res64: DF15CE310E9B763F Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:50] 921*2^1453523-1 is not prime. Res64: DF1CA5285E51D0B7 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:50] 939*2^1453523-1 is not prime. Res64: 6833C7169AE4E22F Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:51] 955*2^1453523-1 is not prime. Res64: 94B83E76A40DEEFD Time : 0.0 sec. user=mdettweiler [2017-05-11 07:54:51] 963*2^1453523-1 is not prime. Res64: 17B8EA5A83F167F0 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:55:37] 843*2^1453524-1 is not prime. Res64: 965BF0A59ACB4A01 Time : 0.0 sec. user=mdettweiler [2017-05-11 07:55:38] 947*2^1453524-1 is not prime. Res64: 1F40B3540491571F Time : 0.0 sec. user=mdettweiler [2017-05-11 07:55:38] 965*2^1453524-1 is not prime. Res64: CB16EBCFAED56F7A Time : 0.0 sec. user=mdettweiler [2017-05-11 07:55:39] 717*2^1453525-1 is not prime. Res64: 8711FDEFEE6D718B Time : 0.0 sec. user=mdettweiler [2017-05-11 07:55:39] 915*2^1453525-1 is not prime. Res64: 0B7038C330977B44 Time : 0.0 sec. user=juhehe [2017-05-11 08:22:53] 961*2^1453525-1 is not prime. Res64: 8873CA82435B0649 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:01] 987*2^1453525-1 is not prime. Res64: 0CEDD5CC74D6358C Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:02] 603*2^1453526-1 is not prime. Res64: 980D0DBF22B78D52 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:02] 683*2^1453526-1 is not prime. Res64: 117BC8DBF61CAA3C Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:02] 707*2^1453526-1 is not prime. Res64: 5EE1D995665CA3DB Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:03] 717*2^1453526-1 is not prime. Res64: BBCF033ADD9C647D Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:38] 773*2^1453526-1 is not prime. Res64: D57CAB29F4585666 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:38] 875*2^1453526-1 is not prime. Res64: 3E4EBD82A3156AB4 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:38] 893*2^1453526-1 is not prime. Res64: CF512EB6CDF4D99A Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:39] 921*2^1453526-1 is not prime. Res64: A15EF4D39EA17103 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:39] 619*2^1453527-1 is not prime. Res64: B3ED171651479619 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:53] 711*2^1453527-1 is not prime. Res64: 2065EEB2F7F7F9BF Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:53] 793*2^1453527-1 is not prime. Res64: EDD3C4FBB6E3B021 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:54] 913*2^1453527-1 is not prime. Res64: F0D40B6069FC1978 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:54] 951*2^1453527-1 is not prime. Res64: 67A8FCF2C7C03859 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:39:54] 603*2^1453528-1 is not prime. Res64: 0B0B6CF6398BB9C6 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:40:46] 665*2^1453528-1 is not prime. Res64: 1C795FBB1CFAB159 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:40:47] 707*2^1453528-1 is not prime. Res64: AB353C6C60CBB9D0 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:40:47] 755*2^1453528-1 is not prime. Res64: 801C989FFDCD0F2C Time : 0.0 sec. user=mdettweiler [2017-05-11 08:40:47] 849*2^1453528-1 is not prime. Res64: F74BE93D32A9E187 Time : 0.0 sec. user=mdettweiler [2017-05-11 08:40:48] 869*2^1453528-1 is not prime. Res64: B1EDA6A77656663A Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:01] 789*2^1453529-1 is not prime. Res64: 671F2866350AC91A Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:01] 955*2^1453529-1 is not prime. Res64: 36AC6E3E7DEBE834 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:02] 681*2^1453530-1 is not prime. Res64: 76EB8053949E588F Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:02] 711*2^1453530-1 is not prime. Res64: 1C46BF8C88C031DC Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:03] 833*2^1453530-1 is not prime. Res64: C05902D6D6635B13 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:31] 861*2^1453530-1 is not prime. Res64: C91DBC64C98CE6C0 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:32] 873*2^1453530-1 is not prime. Res64: C1913AA7E868A3B4 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:32] 921*2^1453530-1 is not prime. Res64: 2A7F38C2F7B39C67 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:32] 923*2^1453530-1 is not prime. Res64: 656169F6AE43A423 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:33] 625*2^1453531-1 is not prime. Res64: 1700D23C7A65A26E Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:49] 639*2^1453531-1 is not prime. Res64: 4E229C4B1B375035 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:50] 801*2^1453531-1 is not prime. Res64: D0F656B58DC9BFB4 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:50] 859*2^1453531-1 is not prime. Res64: CD1557FE1AEFCCFA Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:50] 615*2^1453532-1 is not prime. Res64: 73305D5CB88C8C50 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:24:51] 699*2^1453532-1 is not prime. Res64: A91BE853A07EE62E Time : 0.0 sec. user=mdettweiler [2017-05-11 09:25:43] 767*2^1453532-1 is not prime. Res64: FFFD26CC9A983233 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:25:44] 825*2^1453532-1 is not prime. Res64: E220ADB0C40C361A Time : 0.0 sec. user=mdettweiler [2017-05-11 09:25:44] 885*2^1453532-1 is not prime. Res64: 612894D32D46B1C6 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:25:45] 957*2^1453532-1 is not prime. Res64: 7A2D45808C819377 Time : 0.0 sec. user=mdettweiler [2017-05-11 09:25:45] 607*2^1453533-1 is not prime. Res64: DA2F9016CC25DC82 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:09:40] 699*2^1453533-1 is not prime. Res64: 71892714AB17C7DC Time : 0.0 sec. user=mdettweiler [2017-05-11 10:09:40] 745*2^1453533-1 is not prime. Res64: 6F2E9CE716534A20 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:09:41] 835*2^1453533-1 is not prime. Res64: 8C60FC5E8668A789 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:09:41] 847*2^1453533-1 is not prime. Res64: 37F9FD4A56D6CA09 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:09:41] 877*2^1453533-1 is not prime. Res64: F9C76B4D17D45A7C Time : 0.0 sec. user=mdettweiler [2017-05-11 10:10:10] 949*2^1453533-1 is not prime. Res64: 95F9BEBC317DE8EE Time : 0.0 sec. user=mdettweiler [2017-05-11 10:10:11] 663*2^1453534-1 is not prime. Res64: 8FD02410AB2D4819 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:10:11] 791*2^1453534-1 is not prime. Res64: C810FFEF2DA57EB9 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:10:12] 947*2^1453534-1 is not prime. Res64: 2D62603F32CE27D0 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:10:12] 645*2^1453535-1 is not prime. Res64: 132CE35C8FAC5425 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:11:00] 739*2^1453535-1 is not prime. Res64: FF1F7B839A94DBB4 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:11:00] 825*2^1453535-1 is not prime. Res64: A53393F0FB21214F Time : 0.0 sec. user=mdettweiler [2017-05-11 10:11:01] 829*2^1453535-1 is not prime. Res64: 20941AE7DF121020 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:11:01] 841*2^1453535-1 is not prime. Res64: 4B79C26E06A16A53 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:11:01] 985*2^1453535-1 is not prime. Res64: 311E74A3A6F427BF Time : 0.0 sec. user=mdettweiler [2017-05-11 10:11:41] 737*2^1453536-1 is not prime. Res64: 74DC1DE598D45ADE Time : 0.0 sec. user=mdettweiler [2017-05-11 10:11:42] 845*2^1453536-1 is not prime. Res64: 8D35A1328CA7748B Time : 0.0 sec. user=mdettweiler [2017-05-11 10:11:42] 917*2^1453536-1 is not prime. Res64: 54848532D3F649EC Time : 0.0 sec. user=mdettweiler [2017-05-11 10:11:42] 945*2^1453536-1 is not prime. Res64: DF8037134D65A72B Time : 0.0 sec. user=mdettweiler [2017-05-11 10:11:42] 609*2^1453537-1 is not prime. Res64: 0B07B2BB20084556 Time : 0.0 sec. user=juhehe [2017-05-11 10:20:28] 639*2^1453537-1 is not prime. Res64: 0E3CAB52633EC82C Time : 0.0 sec. user=mdettweiler [2017-05-11 10:57:01] 649*2^1453537-1 is not prime. Res64: 48DCC025185CB4B4 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:57:01] 687*2^1453537-1 is not prime. Res64: 0473266F2A0976A1 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:57:02] 777*2^1453537-1 is not prime. Res64: 52CC41E73072E583 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:57:02] 801*2^1453537-1 is not prime. Res64: 62FEDCE43C32F088 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:57:02] 849*2^1453537-1 is not prime. Res64: 479969001EBF658E Time : 0.0 sec. user=mdettweiler [2017-05-11 10:57:35] 915*2^1453537-1 is not prime. Res64: 2707BE6327970A96 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:57:35] 713*2^1453538-1 is not prime. Res64: 7BDEF6ACEBBE86D2 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:57:35] 735*2^1453538-1 is not prime. Res64: 9E79A15167F2822C Time : 0.0 sec. user=mdettweiler [2017-05-11 10:57:36] 773*2^1453538-1 is not prime. Res64: 062B625B08E62C70 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:57:36] 813*2^1453538-1 is not prime. Res64: D93A9053039606AA Time : 0.0 sec. user=mdettweiler [2017-05-11 10:58:10] 825*2^1453538-1 is not prime. Res64: 157F1B578C7D8235 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:58:10] 831*2^1453538-1 is not prime. Res64: DDCFF3274099C025 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:58:11] 867*2^1453538-1 is not prime. Res64: 9841254D0EEAC5B4 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:58:11] 923*2^1453538-1 is not prime. Res64: 8DAEED1CFDA07AB7 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:58:12] 971*2^1453538-1 is not prime. Res64: 64191BE1121F9C1F Time : 0.0 sec. user=mdettweiler [2017-05-11 10:58:55] 675*2^1453539-1 is not prime. Res64: 536E496E4B96473A Time : 0.0 sec. user=mdettweiler [2017-05-11 10:58:56] 769*2^1453539-1 is not prime. Res64: C86BB4B94732CDFE Time : 0.0 sec. user=mdettweiler [2017-05-11 10:58:56] 835*2^1453539-1 is not prime. Res64: 8745CB5152144940 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:58:57] 909*2^1453539-1 is not prime. Res64: 6B67954CB92AC513 Time : 0.0 sec. user=mdettweiler [2017-05-11 10:58:57] 609*2^1453540-1 is not prime. Res64: 159288419847B7A6 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:42:18] 623*2^1453540-1 is not prime. Res64: 8D08F473BDC88774 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:42:18] 797*2^1453540-1 is not prime. Res64: FF403C6AFAF1512E Time : 0.0 sec. user=mdettweiler [2017-05-11 11:42:19] 989*2^1453540-1 is not prime. Res64: 9582DC3C7DB6E14C Time : 0.0 sec. user=mdettweiler [2017-05-11 11:42:19] 621*2^1453541-1 is not prime. Res64: C8E5083ABE7B5706 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:42:19] 669*2^1453541-1 is not prime. Res64: B6D7776F2AF620AE Time : 0.0 sec. user=mdettweiler [2017-05-11 11:42:46] 711*2^1453541-1 is not prime. Res64: 6E7F36F71D39B95B Time : 0.0 sec. user=mdettweiler [2017-05-11 11:42:46] 769*2^1453541-1 is not prime. Res64: 35B1CE72A7E7E11A Time : 0.0 sec. user=mdettweiler [2017-05-11 11:42:47] 789*2^1453541-1 is not prime. Res64: 753701A4FA5FE7E5 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:42:47] 811*2^1453541-1 is not prime. Res64: 7ED04C861FFC1F01 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:42:48] 865*2^1453541-1 is not prime. Res64: 1B0E62E35910F687 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:43:41] 879*2^1453541-1 is not prime. Res64: BD22E3355E2EAC5E Time : 0.0 sec. user=mdettweiler [2017-05-11 11:43:41] 939*2^1453541-1 is not prime. Res64: 0F9A6079755F75EA Time : 0.0 sec. user=mdettweiler [2017-05-11 11:43:41] 951*2^1453541-1 is not prime. Res64: E3A36D3701BFEED7 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:43:42] 979*2^1453541-1 is not prime. Res64: 128B8052AE1DB8C4 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:43:42] 747*2^1453542-1 is not prime. Res64: 41DBE96F01E05D31 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:44:15] 867*2^1453542-1 is not prime. Res64: 4612FF6FFC6039BA Time : 0.0 sec. user=mdettweiler [2017-05-11 11:44:15] 975*2^1453542-1 is not prime. Res64: AA032021ABCBFAC3 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:44:15] 675*2^1453543-1 is not prime. Res64: 60FD9730953D6AB2 Time : 0.0 sec. user=mdettweiler [2017-05-11 11:44:16] 735*2^1453543-1 is not prime. Res64: B991ED85E7BEF63B Time : 0.0 sec. user=mdettweiler [2017-05-11 11:44:16] 745*2^1453543-1 is not prime. Res64: 48FB14E9053925E5 Time : 0.0 sec. user=juhehe [2017-05-11 12:17:58] 783*2^1453543-1 is not prime. Res64: 42BB2D787218467A Time : 0.0 sec. user=mdettweiler [2017-05-11 12:27:20] 855*2^1453543-1 is not prime. Res64: 73226358DBD05916 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:27:21] 629*2^1453544-1 is not prime. Res64: 5DAEAEF09D78B69C Time : 0.0 sec. user=mdettweiler [2017-05-11 12:27:21] 687*2^1453544-1 is not prime. Res64: 6FA2BB33B3E21D1D Time : 0.0 sec. user=mdettweiler [2017-05-11 12:27:21] 837*2^1453544-1 is not prime. Res64: 024FF91A69325802 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:27:22] 601*2^1453545-1 is not prime. Res64: 9E75CEE238182132 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:27:49] 609*2^1453545-1 is not prime. Res64: A940E0B93C82FE80 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:27:50] 625*2^1453545-1 is not prime. Res64: D6E59243EC3E56FC Time : 0.0 sec. user=mdettweiler [2017-05-11 12:27:50] 711*2^1453545-1 is not prime. Res64: 43D5595D2AF70771 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:27:51] 795*2^1453545-1 is not prime. Res64: 43A4CE9793968005 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:27:51] 895*2^1453545-1 is not prime. Res64: 80149EF17777E109 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:28:40] 937*2^1453545-1 is not prime. Res64: 32D5CB29C966287D Time : 0.0 sec. user=mdettweiler [2017-05-11 12:28:41] 803*2^1453546-1 is not prime. Res64: 9B581A875FFE7328 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:28:41] 855*2^1453546-1 is not prime. Res64: 63F2A055F7764054 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:28:42] 857*2^1453546-1 is not prime. Res64: 8A8484A782491A4D Time : 0.0 sec. user=mdettweiler [2017-05-11 12:28:42] 881*2^1453546-1 is not prime. Res64: 17218ABDEAE505B4 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:29:19] 903*2^1453546-1 is not prime. Res64: 409229B690EF9C51 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:29:20] 933*2^1453546-1 is not prime. Res64: E2F8031641963024 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:29:20] 957*2^1453546-1 is not prime. Res64: 3E5857AAEFACFD56 Time : 0.0 sec. user=mdettweiler [2017-05-11 12:29:20] 981*2^1453546-1 is not prime. Res64: 918754B8AF03C24B Time : 0.0 sec. user=mdettweiler [2017-05-11 12:29:21] 615*2^1453547-1 is not prime. Res64: 51CAE625CB11DE17 Time : 0.0 sec. user=juhehe [2017-05-11 12:57:52] 673*2^1453547-1 is not prime. Res64: CFDA54B10DC7B11F Time : 0.0 sec. user=mdettweiler [2017-05-11 13:13:02] 705*2^1453547-1 is not prime. Res64: CCB955CA80A1A768 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:13:03] 999*2^1453547-1 is not prime. Res64: 69D5F9FC529B69DD Time : 0.0 sec. user=mdettweiler [2017-05-11 13:13:03] 665*2^1453548-1 is not prime. Res64: 72C8C65DA2D665C3 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:13:04] 789*2^1453548-1 is not prime. Res64: 426AD11D1477B49A Time : 0.0 sec. user=mdettweiler [2017-05-11 13:13:04] 803*2^1453548-1 is not prime. Res64: 43CBCDCEB01ABABC Time : 0.0 sec. user=mdettweiler [2017-05-11 13:13:24] 819*2^1453548-1 is not prime. Res64: E820696620FC9923 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:13:24] 751*2^1453549-1 is not prime. Res64: BC312BAD8CB29117 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:13:25] 919*2^1453549-1 is not prime. Res64: C1240CC12C2DFB65 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:13:25] 975*2^1453549-1 is not prime. Res64: 4E938AB131661538 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:13:25] 999*2^1453549-1 is not prime. Res64: AADF318B6CAC600E Time : 0.0 sec. user=mdettweiler [2017-05-11 13:14:35] 657*2^1453550-1 is not prime. Res64: FD1935D9432EF978 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:14:35] 731*2^1453550-1 is not prime. Res64: 8DFA51BF48C39C26 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:14:36] 785*2^1453550-1 is not prime. Res64: EE5058E32503202B Time : 0.0 sec. user=mdettweiler [2017-05-11 13:14:36] 791*2^1453550-1 is not prime. Res64: D9B5BC2FE6E5C9D9 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:14:36] 875*2^1453550-1 is not prime. Res64: 523DFBABA8FDBCD7 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:15:11] 893*2^1453550-1 is not prime. Res64: FF48C5A18AA15EAA Time : 0.0 sec. user=mdettweiler [2017-05-11 13:15:11] 915*2^1453550-1 is not prime. Res64: 1EC585CB3CCE4F75 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:15:12] 643*2^1453551-1 is not prime. Res64: DA47F216BE4AB5D9 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:15:12] 693*2^1453551-1 is not prime. Res64: 23500603DB54BDB0 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:15:13] 709*2^1453551-1 is not prime. Res64: D005A90330472BA9 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:58:18] 675*2^1453552-1 is not prime. Res64: 0920D4EE2E4BCA69 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:58:18] 861*2^1453551-1 is not prime. Res64: 5E7BA741DD53E4C5 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:58:18] 813*2^1453552-1 is not prime. Res64: 639ADB8A972260A6 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:58:18] 895*2^1453551-1 is not prime. Res64: D6C63DF18DB7B552 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:58:18] 933*2^1453552-1 is not prime. Res64: B49E61E01783F4F3 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:58:19] 939*2^1453552-1 is not prime. Res64: B80D86B1FFC89A34 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:58:19] 909*2^1453551-1 is not prime. Res64: CA7835D4DC122843 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:58:19] 947*2^1453552-1 is not prime. Res64: 8CC66C7DCD0F10A5 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:58:20] 975*2^1453551-1 is not prime. Res64: 8678D2B04CF7852D Time : 0.0 sec. user=mdettweiler [2017-05-11 13:58:20] 979*2^1453551-1 is not prime. Res64: DE74701FE3F170D8 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:59:53] 607*2^1453553-1 is not prime. Res64: 5F2CBEB4F8388B01 Time : 0.0 sec. user=mdettweiler [2017-05-11 13:59:54] 619*2^1453553-1 is not prime. Res64: E4D260E874B7EBDA Time : 0.0 sec. user=mdettweiler [2017-05-11 13:59:54] 649*2^1453553-1 is not prime. Res64: AA9AC2E478091ABD Time : 0.0 sec. user=mdettweiler [2017-05-11 13:59:54] 741*2^1453553-1 is not prime. Res64: B360322E862A2F2A Time : 0.0 sec. user=mdettweiler [2017-05-11 13:59:55] 771*2^1453553-1 is not prime. Res64: 42C076406A988338 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:00:20] 789*2^1453553-1 is not prime. Res64: E8F23112952940B2 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:00:21] 855*2^1453553-1 is not prime. Res64: BF0882F882F27ABA Time : 0.0 sec. user=mdettweiler [2017-05-11 14:00:22] 885*2^1453553-1 is not prime. Res64: 3C14847B6D429432 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:00:23] 955*2^1453553-1 is not prime. Res64: DAD197B206E0182D Time : 0.0 sec. user=mdettweiler [2017-05-11 14:00:24] 967*2^1453553-1 is not prime. Res64: F661D56DD1DF11E9 Time : 0.0 sec. user=juhehe [2017-05-11 14:15:21] 657*2^1453554-1 is not prime. Res64: 45C243589BA4EB94 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:43:20] 783*2^1453554-1 is not prime. Res64: EB7F4CB661B0F474 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:43:20] 891*2^1453554-1 is not prime. Res64: 968369A77EDE3144 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:43:21] 917*2^1453554-1 is not prime. Res64: C72D67E1F1F6022A Time : 0.0 sec. user=mdettweiler [2017-05-11 14:43:21] 651*2^1453555-1 is not prime. Res64: 23C88F27447963C6 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:43:21] 673*2^1453555-1 is not prime. Res64: 8056004DA136FB86 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:43:30] 733*2^1453555-1 is not prime. Res64: 0885D2312B706C3E Time : 0.0 sec. user=mdettweiler [2017-05-11 14:43:30] 915*2^1453555-1 is not prime. Res64: FEE87545DFF0C49E Time : 0.0 sec. user=mdettweiler [2017-05-11 14:43:31] 603*2^1453556-1 is not prime. Res64: 3665C98573AD47A6 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:43:31] 669*2^1453556-1 is not prime. Res64: 01103D94D13E03ED Time : 0.0 sec. user=mdettweiler [2017-05-11 14:43:32] 735*2^1453556-1 is not prime. Res64: 4C2487964FA8B3C2 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:44:54] 825*2^1453556-1 is not prime. Res64: 934C720C7AFC1026 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:44:54] 969*2^1453556-1 is not prime. Res64: 8B1CA2A0742C4F7E Time : 0.0 sec. user=mdettweiler [2017-05-11 14:44:55] 669*2^1453557-1 is not prime. Res64: EC3ED9F1439C241E Time : 0.0 sec. user=mdettweiler [2017-05-11 14:44:55] 871*2^1453557-1 is not prime. Res64: 6A34A523AD141603 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:44:56] 885*2^1453557-1 is not prime. Res64: 7750DB1F416BBF6F Time : 0.0 sec. user=mdettweiler [2017-05-11 14:45:17] 891*2^1453557-1 is not prime. Res64: 55CD214C11BF3636 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:45:18] 927*2^1453557-1 is not prime. Res64: 1DB5745A14E64B74 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:45:18] 955*2^1453557-1 is not prime. Res64: 0253755F664967B5 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:45:18] 617*2^1453558-1 is not prime. Res64: 295DC40AF892BED7 Time : 0.0 sec. user=mdettweiler [2017-05-11 14:45:19] 645*2^1453558-1 is not prime. Res64: AC5D9DA46E6DB0A5 Time : 0.0 sec. user=mdettweiler [2017-05-11 15:28:16] 687*2^1453558-1 is not prime. Res64: 49212A72F73BFF6B Time : 0.0 sec. user=mdettweiler [2017-05-11 15:28:17] 713*2^1453558-1 is not prime. Res64: 9A753AE4CE697417 Time : 0.0 sec. user=mdettweiler [2017-05-11 15:28:17] 723*2^1453558-1 is not prime. Res64: 379E138A273838CC Time : 0.0 sec. user=mdettweiler [2017-05-11 15:28:18] 765*2^1453558-1 is not prime. Res64: 95DCD7F1D01EEE97 Time : 0.0 sec. user=mdettweiler [2017-05-11 15:28:18] 911*2^1453558-1 is not prime. Res64: 47C33214469FE1DC Time : 0.0 sec. user=mdettweiler [2017-05-11 15:28:37] 663*2^1453559-1 is not prime. Res64: 47E2E5192C8E4EC1 Time : 0.0 sec. user=mdettweiler [2017-05-11 15:28:37] 669*2^1453559-1 is not prime. Res64: 2F8FC4186938D1DE Time : 0.0 sec. user=mdettweiler [2017-05-11 15:28:38] 759*2^1453559-1 is not prime. Res64: F785AD9C0B3893E8 Time : 0.0 sec. user=mdettweiler [2017-05-11 15:28:38] 825*2^1453559-1 is not prime. Res64: D4BBD064FDCF7544 Time : 0.0 sec. user=mdettweiler [2017-05-11 15:28:39] 831*2^1453559-1 is not prime. Res64: 5EDEE9F6B4E333EF Time : 0.0 sec. user=mdettweiler [2017-05-11 15:30:04] 843*2^1453559-1 is not prime. Res64: E60C602B08B01D77 Time : 0.0 sec. user=mdettweiler [2017-05-11 15:30:05] 693*2^1453560-1 is not prime. Res64: E3672E0A40756E81 Time : 0.0 sec. user=mdettweiler [2017-05-11 15:30:05] 713*2^1453560-1 is not prime. Res64: 3D4C7B79617A763A Time : 0.0 sec. user=mdettweiler [2017-05-11 15:30:05] 725*2^1453560-1 is not prime. Res64: B1F11C40474EB42C Time : 0.0 sec. user=mdettweiler [2017-05-11 15:30:06] 795*2^1453560-1 is not prime. Res64: 0BCB0F348499DC7D Time : 0.0 sec. user=mdettweiler [2017-05-11 15:30:29] 819*2^1453560-1 is not prime. Res64: EAE96BF5AF2AA41F Time : 0.0 sec. user=mdettweiler [2017-05-11 15:30:29] 825*2^1453560-1 is not prime. Res64: 307FEE3141D4285C Time : 0.0 sec. user=mdettweiler [2017-05-11 15:30:29] 927*2^1453560-1 is not prime. Res64: B008A604F72E069C Time : 0.0 sec. user=mdettweiler [2017-05-11 15:30:30] 615*2^1453561-1 is not prime. Res64: 8B622D0BCFAD186D Time : 0.0 sec. user=mdettweiler [2017-05-11 15:30:30] 681*2^1453561-1 is not prime. Res64: F5B8AF3233396102 Time : 0.0 sec. user=juhehe [2017-05-11 16:12:38] 699*2^1453564-1 is not prime. Res64: 65F8A50BA801ED31 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:13:27] 687*2^1453561-1 is not prime. Res64: 4F46314D42E9FC50 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:13:27] 867*2^1453561-1 is not prime. Res64: E5564D7C6A296346 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:13:28] 925*2^1453561-1 is not prime. Res64: 6D8198658379C423 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:13:28] 999*2^1453561-1 is not prime. Res64: D85FE28E78A40F0D Time : 0.0 sec. user=mdettweiler [2017-05-11 16:13:29] 633*2^1453562-1 is not prime. Res64: 766467C2ED29EA62 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:13:39] 651*2^1453562-1 is not prime. Res64: FBD444CD93A8BF65 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:13:40] 741*2^1453562-1 is not prime. Res64: 33C8E25A255E3989 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:13:40] 785*2^1453562-1 is not prime. Res64: 4183EF4911348C3C Time : 0.0 sec. user=mdettweiler [2017-05-11 16:13:41] 837*2^1453562-1 is not prime. Res64: 94FA7443EE35B215 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:13:41] 923*2^1453562-1 is not prime. Res64: 13BF7D8225CCBA06 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:15:10] 935*2^1453562-1 is not prime. Res64: 479C9F5A7DA002DF Time : 0.0 sec. user=mdettweiler [2017-05-11 16:15:10] 941*2^1453562-1 is not prime. Res64: 4663CB04B9F95E22 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:15:11] 957*2^1453562-1 is not prime. Res64: 24CE61E93C591DCC Time : 0.0 sec. user=mdettweiler [2017-05-11 16:15:11] 723*2^1453563-1 is not prime. Res64: EAB5CB62AA88FA4E Time : 0.0 sec. user=mdettweiler [2017-05-11 16:15:12] 795*2^1453563-1 is not prime. Res64: 5D4D88B64CFEF60B Time : 0.0 sec. user=mdettweiler [2017-05-11 16:15:35] 801*2^1453563-1 is not prime. Res64: B8204213172B4D11 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:15:35] 825*2^1453563-1 is not prime. Res64: 8498AA0FDDB2BA70 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:15:36] 961*2^1453563-1 is not prime. Res64: CCB21962D8CD303A Time : 0.0 sec. user=mdettweiler [2017-05-11 16:15:36] 605*2^1453564-1 is not prime. Res64: 6932544305B87DC1 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:15:36] 675*2^1453564-1 is not prime. Res64: F7FD7097B850F8C9 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:58:40] 749*2^1453564-1 is not prime. Res64: 80DBBA7F12DDBD38 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:58:41] 803*2^1453564-1 is not prime. Res64: 0F5C87DF507C1CAA Time : 0.0 sec. user=mdettweiler [2017-05-11 16:58:41] 843*2^1453564-1 is not prime. Res64: AF05BBEB0C345599 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:58:41] 965*2^1453564-1 is not prime. Res64: B81AFA57FF8421E7 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:58:41] 685*2^1453565-1 is not prime. Res64: 2DEE1AB4628A1B9D Time : 0.0 sec. user=mdettweiler [2017-05-11 16:58:46] 715*2^1453565-1 is not prime. Res64: FD443C8DA461E163 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:58:46] 729*2^1453565-1 is not prime. Res64: F1FB2CCD4649D20B Time : 0.0 sec. user=mdettweiler [2017-05-11 16:58:46] 741*2^1453565-1 is not prime. Res64: FD4AFA18F4F55F91 Time : 0.0 sec. user=mdettweiler [2017-05-11 16:58:46] 771*2^1453565-1 is not prime. Res64: 9E7777DCF7325B6D Time : 0.0 sec. user=mdettweiler [2017-05-11 16:58:47] 927*2^1453565-1 is not prime. Res64: E53AD119876F90A7 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:00:15] 939*2^1453565-1 is not prime. Res64: 40FD9156803A2D73 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:00:16] 635*2^1453566-1 is not prime. Res64: 29C69EE3878CD7DE Time : 0.0 sec. user=mdettweiler [2017-05-11 17:00:17] 695*2^1453566-1 is not prime. Res64: 8A4DBF5CCEEEADA9 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:00:18] 705*2^1453566-1 is not prime. Res64: B391AA0ED7528654 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:00:19] 815*2^1453566-1 is not prime. Res64: 48FED5F39A187EF8 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:00:55] 821*2^1453566-1 is not prime. Res64: 141A66DE697AB696 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:00:56] 893*2^1453566-1 is not prime. Res64: 44E1A391C822651D Time : 0.0 sec. user=mdettweiler [2017-05-11 17:00:57] 945*2^1453566-1 is not prime. Res64: 248AB9697E38DA9A Time : 0.0 sec. user=mdettweiler [2017-05-11 17:00:58] 975*2^1453566-1 is not prime. Res64: FBEF3547C3FA4F9C Time : 0.0 sec. user=mdettweiler [2017-05-11 17:00:59] 633*2^1453567-1 is not prime. Res64: 3DC81AF7A8784923 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:45:25] 985*2^1453567-1 is not prime. Res64: 3ED27BDF31B0D570 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:45:26] 623*2^1453568-1 is not prime. Res64: C3C05826B58AECB1 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:45:26] 773*2^1453568-1 is not prime. Res64: F6A5EE8178D8859E Time : 0.0 sec. user=mdettweiler [2017-05-11 17:45:26] 797*2^1453568-1 is not prime. Res64: 0465FF59A86A7E53 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:45:26] 815*2^1453568-1 is not prime. Res64: 350931500269AB5E Time : 0.0 sec. user=mdettweiler [2017-05-11 17:45:42] 729*2^1453567-1 is not prime. Res64: 04E2F9C4D972B884 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:45:43] 763*2^1453567-1 is not prime. Res64: AF50BF1CCAAFBE31 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:45:43] 841*2^1453567-1 is not prime. Res64: 6CC6DBE68A234384 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:45:43] 913*2^1453567-1 is not prime. Res64: 88D828BB5644F89F Time : 0.0 sec. user=mdettweiler [2017-05-11 17:45:43] 931*2^1453567-1 is not prime. Res64: 3C576C2DA8C71EA3 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:47:15] 839*2^1453568-1 is not prime. Res64: 6690A3B1B58C2E15 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:47:15] 845*2^1453568-1 is not prime. Res64: 0179F3A847678250 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:47:15] 893*2^1453568-1 is not prime. Res64: ED07AD0BF6BA8D50 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:47:16] 705*2^1453569-1 is not prime. Res64: D9BFB2D17EFDCEC8 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:47:16] 837*2^1453569-1 is not prime. Res64: DB3F2FBBC9689626 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:48:17] 945*2^1453569-1 is not prime. Res64: 75C11F942CDA9340 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:48:17] 951*2^1453569-1 is not prime. Res64: 060B376246CBC42B Time : 0.0 sec. user=mdettweiler [2017-05-11 17:48:17] 657*2^1453570-1 is not prime. Res64: 6E8F823FEFFB753A Time : 0.0 sec. user=mdettweiler [2017-05-11 17:48:18] 713*2^1453570-1 is not prime. Res64: E21E7DFE92BD6969 Time : 0.0 sec. user=mdettweiler [2017-05-11 17:48:18] 785*2^1453570-1 is not prime. Res64: E84F7D8B0AA1413D Time : 0.0 sec. user=juhehe [2017-05-11 18:10:27] 803*2^1453570-1 is not prime. Res64: 5A869E1CBAE691DC Time : 0.0 sec. user=mdettweiler [2017-05-11 18:32:23] 941*2^1453570-1 is not prime. Res64: 8C2F851D4BBC2141 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:32:24] 975*2^1453570-1 is not prime. Res64: 3723E4ED9AEF78C7 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:32:24] 615*2^1453571-1 is not prime. Res64: C63D258A71B4597E Time : 0.0 sec. user=mdettweiler [2017-05-11 18:32:25] 651*2^1453571-1 is not prime. Res64: 75F826ED2862F375 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:32:25] 813*2^1453571-1 is not prime. Res64: 60F0184E9815D0F9 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:32:32] 841*2^1453571-1 is not prime. Res64: B31CDB7115278A78 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:32:32] 913*2^1453571-1 is not prime. Res64: 98E454F875128585 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:32:33] 943*2^1453571-1 is not prime. Res64: 8314345E297F006C Time : 0.0 sec. user=mdettweiler [2017-05-11 18:32:33] 605*2^1453572-1 is not prime. Res64: 566AA19EF6A17E04 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:32:33] 765*2^1453572-1 is not prime. Res64: BA31BA3D3B393308 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:33:51] 767*2^1453572-1 is not prime. Res64: 40180D09C267A5AD Time : 0.0 sec. user=mdettweiler [2017-05-11 18:33:51] 779*2^1453572-1 is not prime. Res64: BAF2B75E67C0977A Time : 0.0 sec. user=mdettweiler [2017-05-11 18:33:52] 797*2^1453572-1 is not prime. Res64: C6CA457516A7A7E6 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:33:52] 609*2^1453573-1 is not prime. Res64: 164D2D9145DB9D07 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:33:53] 951*2^1453573-1 is not prime. Res64: 076FDBFA6AEDFFA1 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:35:18] 987*2^1453573-1 is not prime. Res64: 572AC57CC40487FF Time : 0.0 sec. user=mdettweiler [2017-05-11 18:35:19] 641*2^1453574-1 is not prime. Res64: 495830F066BCCDA5 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:35:19] 687*2^1453574-1 is not prime. Res64: 180A88F31EBF3B73 Time : 0.0 sec. user=mdettweiler [2017-05-11 18:35:20] 693*2^1453574-1 is not prime. Res64: 3F7006C3E387731B Time : 0.0 sec. user=mdettweiler [2017-05-11 18:35:20] 875*2^1453574-1 is not prime. Res64: 1106686BDCC47CB8 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:17:34] 921*2^1453574-1 is not prime. Res64: A8DB111EEB5D6C2F Time : 0.0 sec. user=mdettweiler [2017-05-11 19:17:34] 923*2^1453574-1 is not prime. Res64: 5FD622D674E328C4 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:17:35] 965*2^1453574-1 is not prime. Res64: 205EC4F2D3C3341A Time : 0.0 sec. user=mdettweiler [2017-05-11 19:17:35] 987*2^1453574-1 is not prime. Res64: 5A2F0A3E95163BD4 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:17:35] 691*2^1453575-1 is not prime. Res64: 3A5626354765FF64 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:17:39] 781*2^1453575-1 is not prime. Res64: 1EEFA993A8DDB0B7 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:17:40] 861*2^1453575-1 is not prime. Res64: 22055A571BD852FD Time : 0.0 sec. user=mdettweiler [2017-05-11 19:17:41] 951*2^1453575-1 is not prime. Res64: 2076249622EAD151 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:17:41] 623*2^1453576-1 is not prime. Res64: 0F980BFBFFFBDBFD Time : 0.0 sec. user=mdettweiler [2017-05-11 19:17:42] 645*2^1453576-1 is not prime. Res64: F90137C5C20B5577 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:19:02] 705*2^1453576-1 is not prime. Res64: 807554151A1F672F Time : 0.0 sec. user=mdettweiler [2017-05-11 19:19:03] 765*2^1453576-1 is not prime. Res64: 4DBEC52A623A117D Time : 0.0 sec. user=mdettweiler [2017-05-11 19:19:03] 773*2^1453576-1 is not prime. Res64: 53BDFFCD10D9BB7A Time : 0.0 sec. user=mdettweiler [2017-05-11 19:19:04] 833*2^1453576-1 is not prime. Res64: AA384593D0266328 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:19:04] 855*2^1453576-1 is not prime. Res64: D723ACB66A7F0741 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:20:38] 875*2^1453576-1 is not prime. Res64: 7C357DDB50F946E5 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:20:38] 927*2^1453576-1 is not prime. Res64: 7CCC493D197E7A14 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:20:39] 715*2^1453577-1 is not prime. Res64: 24E721B6B6AC25B7 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:20:39] 769*2^1453577-1 is not prime. Res64: 84D58DF51E908307 Time : 0.0 sec. user=mdettweiler [2017-05-11 19:20:39] 885*2^1453577-1 is not prime. Res64: EE85FC7AD79F6135 Time : 0.0 sec. user=juhehe [2017-05-11 19:30:39] 901*2^1453577-1 is not prime. Res64: EFF12D0AD3090E51 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:02:29] 641*2^1453578-1 is not prime. Res64: 7B532177844EB268 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:02:30] 735*2^1453578-1 is not prime. Res64: 775CEE068543A2BB Time : 0.0 sec. user=mdettweiler [2017-05-11 20:02:31] 773*2^1453578-1 is not prime. Res64: 402CACAFBA9549A4 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:02:32] 685*2^1453579-1 is not prime. Res64: E900F049CDF2AB50 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:02:33] 735*2^1453579-1 is not prime. Res64: A5ACB2EA7EEE5DBE Time : 0.0 sec. user=mdettweiler [2017-05-11 20:02:46] 751*2^1453579-1 is not prime. Res64: 976E37ECED04BCBD Time : 0.0 sec. user=mdettweiler [2017-05-11 20:02:47] 829*2^1453579-1 is not prime. Res64: 544A7D1024DE8A2E Time : 0.0 sec. user=mdettweiler [2017-05-11 20:02:48] 885*2^1453579-1 is not prime. Res64: 090E7D18B8F9B868 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:02:49] 603*2^1453580-1 is not prime. Res64: 914AA9C0AFAA308D Time : 0.0 sec. user=mdettweiler [2017-05-11 20:02:50] 647*2^1453580-1 is not prime. Res64: 0D8DF19DEB720710 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:04:10] 707*2^1453580-1 is not prime. Res64: 1A2BE4C270FFFD93 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:04:11] 725*2^1453580-1 is not prime. Res64: 95D8E2BB81F3FB54 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:04:13] 735*2^1453580-1 is not prime. Res64: 5D9AD44EB5879FF3 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:04:14] 795*2^1453580-1 is not prime. Res64: 567AC6B71808F94F Time : 0.0 sec. user=mdettweiler [2017-05-11 20:04:16] 711*2^1453581-1 is not prime. Res64: BDC3DEFBBA99F726 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:05:48] 741*2^1453581-1 is not prime. Res64: 681AEFF1823C900A Time : 0.0 sec. user=mdettweiler [2017-05-11 20:05:49] 811*2^1453581-1 is not prime. Res64: 51BBF3A835C0FA93 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:05:51] 895*2^1453581-1 is not prime. Res64: F2CCE060AC75F2D6 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:05:52] 979*2^1453581-1 is not prime. Res64: 5F74F4547993EE06 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:05:53] 603*2^1453582-1 is not prime. Res64: 712CFF3A36CB5703 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:47:56] 623*2^1453582-1 is not prime. Res64: 1C14C66B13E5EF57 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:47:56] 825*2^1453582-1 is not prime. Res64: CF07405F63002788 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:47:56] 873*2^1453582-1 is not prime. Res64: 21CEC2951A09AA9F Time : 0.0 sec. user=mdettweiler [2017-05-11 20:47:57] 917*2^1453582-1 is not prime. Res64: F0613D7B7CE71D6C Time : 0.0 sec. user=mdettweiler [2017-05-11 20:47:58] 615*2^1453583-1 is not prime. Res64: 73563E0A8EA3713D Time : 0.0 sec. user=mdettweiler [2017-05-11 20:48:05] 663*2^1453583-1 is not prime. Res64: B19EF6AB944D2A3B Time : 0.0 sec. user=mdettweiler [2017-05-11 20:48:06] 703*2^1453583-1 is not prime. Res64: 0FF251FAA0E2EA33 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:48:06] 735*2^1453583-1 is not prime. Res64: C7E9304044DC5A1F Time : 0.0 sec. user=mdettweiler [2017-05-11 20:48:07] 825*2^1453583-1 is not prime. Res64: A5F223769EA3884A Time : 0.0 sec. user=mdettweiler [2017-05-11 20:48:07] 915*2^1453583-1 is not prime. Res64: D9A416E47EECA271 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:49:31] 623*2^1453584-1 is not prime. Res64: C1611636F3C57B3F Time : 0.0 sec. user=mdettweiler [2017-05-11 20:49:32] 675*2^1453584-1 is not prime. Res64: B1BCE3C15D9C55ED Time : 0.0 sec. user=mdettweiler [2017-05-11 20:49:32] 765*2^1453584-1 is not prime. Res64: 022BEAD10AB78809 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:49:32] 803*2^1453584-1 is not prime. Res64: E190E34B2577D43D Time : 0.0 sec. user=mdettweiler [2017-05-11 20:49:33] 893*2^1453584-1 is not prime. Res64: 3F975A78494A6DB7 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:50:58] 899*2^1453584-1 is not prime. Res64: 82D09E0805F4FEE0 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:50:58] 905*2^1453584-1 is not prime. Res64: 56EF89D0BDB32CC4 Time : 0.0 sec. user=mdettweiler [2017-05-11 20:50:58] 909*2^1453584-1 is not prime. Res64: A0D390B90BA32A4A Time : 0.0 sec. user=mdettweiler [2017-05-11 20:50:59] 685*2^1453585-1 is not prime. Res64: 55E3101D3A2800AB Time : 0.0 sec. user=mdettweiler [2017-05-11 20:50:59] 717*2^1453585-1 is not prime. Res64: 48D014D30ADAA0D3 Time : 0.0 sec. user=juhehe [2017-05-11 21:28:40] 805*2^1453587-1 is not prime. Res64: 5187C862D48AEB70 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:33:05] 741*2^1453585-1 is not prime. Res64: C54EA79CA6B24ADA Time : 0.0 sec. user=mdettweiler [2017-05-11 21:33:06] 789*2^1453585-1 is not prime. Res64: 7F42545B921F22E8 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:33:06] 801*2^1453585-1 is not prime. Res64: 9F5E03D36C202585 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:33:07] 617*2^1453586-1 is not prime. Res64: 37C57C63D350A8DD Time : 0.0 sec. user=mdettweiler [2017-05-11 21:33:07] 705*2^1453586-1 is not prime. Res64: D558AF08510C0B57 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:33:11] 711*2^1453586-1 is not prime. Res64: 22110D58E904D3F2 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:33:12] 713*2^1453586-1 is not prime. Res64: A243B5110F2D5D30 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:33:12] 813*2^1453586-1 is not prime. Res64: 022E61D32439904E Time : 0.0 sec. user=mdettweiler [2017-05-11 21:33:13] 825*2^1453586-1 is not prime. Res64: C32288E12215C1CB Time : 0.0 sec. user=mdettweiler [2017-05-11 21:33:13] 917*2^1453586-1 is not prime. Res64: 0D0D24E32A858ECE Time : 0.0 sec. user=mdettweiler [2017-05-11 21:34:40] 981*2^1453586-1 is not prime. Res64: 99733A55144355D7 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:34:40] 993*2^1453586-1 is not prime. Res64: B135398D6C7DDCC7 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:34:40] 1001*2^1453586-1 is not prime. Res64: 2D09BA723D1EC5FA Time : 0.0 sec. user=mdettweiler [2017-05-11 21:34:41] 651*2^1453587-1 is not prime. Res64: 6A24164781BB697D Time : 0.0 sec. user=mdettweiler [2017-05-11 21:34:41] 751*2^1453587-1 is not prime. Res64: 58CF8B119B49CDCC Time : 0.0 sec. user=mdettweiler [2017-05-11 21:36:07] 647*2^1453588-1 is not prime. Res64: 6F970A2EC2139841 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:36:07] 743*2^1453588-1 is not prime. Res64: EA5CDCC2566DF808 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:36:08] 797*2^1453588-1 is not prime. Res64: 05E1832C1F77C3B6 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:36:08] 827*2^1453588-1 is not prime. Res64: AE83066727DF1095 Time : 0.0 sec. user=mdettweiler [2017-05-11 21:36:08] 845*2^1453588-1 is not prime. Res64: 9FCD1A8A61E46F5A Time : 0.0 sec. user=mdettweiler [2017-05-11 22:19:02] 741*2^1453589-1 is not prime. Res64: A3C6FD5C140F22BD Time : 0.0 sec. user=mdettweiler [2017-05-11 22:19:03] 847*2^1453589-1 is not prime. Res64: 524928B76D766844 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:19:03] 861*2^1453589-1 is not prime. Res64: 0F0F41CCEC01E929 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:19:03] 939*2^1453589-1 is not prime. Res64: 02321CDA630FC72F Time : 0.0 sec. user=mdettweiler [2017-05-11 22:19:04] 635*2^1453590-1 is not prime. Res64: 2FF6D1690E979590 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:20:24] 875*2^1453588-1 is not prime. Res64: 3EF7F947A32C9094 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:20:24] 885*2^1453588-1 is not prime. Res64: 7E88483F10F2337D Time : 0.0 sec. user=mdettweiler [2017-05-11 22:20:25] 975*2^1453588-1 is not prime. Res64: D1DEAA84AF4BAB55 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:20:25] 645*2^1453589-1 is not prime. Res64: 50E55A4C71566824 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:20:25] 721*2^1453589-1 is not prime. Res64: 690151C464E288DF Time : 0.0 sec. user=mdettweiler [2017-05-11 22:20:29] 711*2^1453590-1 is not prime. Res64: 67AFEEC1303FD38D Time : 0.0 sec. user=mdettweiler [2017-05-11 22:20:29] 725*2^1453590-1 is not prime. Res64: 33AB677220717AF8 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:20:30] 777*2^1453590-1 is not prime. Res64: 655FA5C3417BE42A Time : 0.0 sec. user=mdettweiler [2017-05-11 22:20:30] 915*2^1453590-1 is not prime. Res64: 7C389D2818182F71 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:20:30] 619*2^1453591-1 is not prime. Res64: 0678AE348B1887CB Time : 0.0 sec. user=mdettweiler [2017-05-11 22:22:02] 673*2^1453591-1 is not prime. Res64: 7934CF66299D06B8 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:22:02] 685*2^1453591-1 is not prime. Res64: D83012A43BA0A655 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:22:03] 783*2^1453591-1 is not prime. Res64: F992A85109AC8E61 Time : 0.0 sec. user=mdettweiler [2017-05-11 22:22:03] 849*2^1453591-1 is not prime. Res64: A0100EB656F269EA Time : 0.0 sec. user=mdettweiler [2017-05-11 22:22:03] 895*2^1453591-1 is not prime. Res64: 4AB0666071A96D12 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:04:08] 909*2^1453591-1 is not prime. Res64: B63336A6FA10A6B2 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:04:10] 969*2^1453591-1 is not prime. Res64: 7D13C47D6A4C13A7 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:04:12] 609*2^1453592-1 is not prime. Res64: 46CCA336B048D7B7 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:04:14] 633*2^1453592-1 is not prime. Res64: E6445266F3C99F9A Time : 0.0 sec. user=mdettweiler [2017-05-11 23:04:17] 683*2^1453592-1 is not prime. Res64: 7C19F3045EED779E Time : 0.0 sec. user=mdettweiler [2017-05-11 23:05:27] 719*2^1453592-1 is not prime. Res64: 728A93667E0982DB Time : 0.0 sec. user=mdettweiler [2017-05-11 23:05:30] 743*2^1453592-1 is not prime. Res64: 9BB1AAE5B990FCD4 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:05:32] 759*2^1453592-1 is not prime. Res64: 22A15E73D093AB5A Time : 0.0 sec. user=mdettweiler [2017-05-11 23:05:35] 777*2^1453592-1 is not prime. Res64: 9104262AE163B390 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:05:37] 855*2^1453592-1 is not prime. Res64: 52D8E88A83FC6106 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:05:41] 875*2^1453592-1 is not prime. Res64: A151A837AE9194C0 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:05:46] 903*2^1453592-1 is not prime. Res64: 2C88666CA1DB937D Time : 0.0 sec. user=mdettweiler [2017-05-11 23:05:51] 923*2^1453592-1 is not prime. Res64: B51A68467ED72C52 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:05:56] 983*2^1453592-1 is not prime. Res64: 893389FF2B0ECAE4 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:06:01] 675*2^1453593-1 is not prime. Res64: D0535E23727D6C6E Time : 0.0 sec. user=mdettweiler [2017-05-11 23:07:14] 685*2^1453593-1 is not prime. Res64: 5A86C941FEAB8D34 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:07:16] 847*2^1453593-1 is not prime. Res64: 305E1826FDFF09FD Time : 0.0 sec. user=mdettweiler [2017-05-11 23:07:17] 951*2^1453593-1 is not prime. Res64: 5EBC734C36924A95 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:07:20] 969*2^1453593-1 is not prime. Res64: B97ED771C55EB703 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:07:22] 723*2^1453594-1 is not prime. Res64: E0A37DCE7CD800B0 Time : 0.0 sec. user=juhehe [2017-05-11 23:26:01] 731*2^1453594-1 is not prime. Res64: 6BDC8345CEC3A5F9 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:49:57] 813*2^1453594-1 is not prime. Res64: E3D3AF896987BE3C Time : 0.0 sec. user=mdettweiler [2017-05-11 23:49:58] 815*2^1453594-1 is not prime. Res64: C07766AD127BC2EF Time : 0.0 sec. user=mdettweiler [2017-05-11 23:49:58] 903*2^1453594-1 is not prime. Res64: 83FFC9DB520EE6B0 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:49:59] 993*2^1453594-1 is not prime. Res64: B40D198DDC5DA52D Time : 0.0 sec. user=mdettweiler [2017-05-11 23:49:59] 655*2^1453595-1 is not prime. Res64: 7E0238B3BC6A623A Time : 0.0 sec. user=mdettweiler [2017-05-11 23:51:27] 675*2^1453595-1 is not prime. Res64: 8233C5AC04010212 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:51:28] 693*2^1453595-1 is not prime. Res64: 22095C52808C745B Time : 0.0 sec. user=mdettweiler [2017-05-11 23:51:28] 699*2^1453595-1 is not prime. Res64: F099490E6B237148 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:51:28] 741*2^1453595-1 is not prime. Res64: EB2DB42600229397 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:51:29] 885*2^1453595-1 is not prime. Res64: 57EB56A50B598ADD Time : 0.0 sec. user=mdettweiler [2017-05-11 23:51:33] 913*2^1453595-1 is not prime. Res64: 59CB386A42680AA0 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:51:33] 979*2^1453595-1 is not prime. Res64: 9AD83023448B5CD8 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:51:34] 981*2^1453595-1 is not prime. Res64: 7A3F8BDC94417678 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:51:34] 675*2^1453596-1 is not prime. Res64: A86D28EFDAAD0427 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:51:34] 845*2^1453596-1 is not prime. Res64: 28BF281D5CA8DA5B Time : 0.0 sec. user=mdettweiler [2017-05-11 23:52:37] 867*2^1453596-1 is not prime. Res64: 24E95E8DDB661094 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:52:37] 873*2^1453596-1 is not prime. Res64: 7C4F72158E561E68 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:52:37] 729*2^1453597-1 is not prime. Res64: 69E710FDB55FB7F0 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:52:38] 757*2^1453597-1 is not prime. Res64: FB182C68888904D7 Time : 0.0 sec. user=mdettweiler [2017-05-11 23:52:38] 819*2^1453597-1 is not prime. Res64: E108CE5203B4C986 Time : 0.0 sec.