user=mdettweiler [2016-06-06 00:09:49] 919*2^1431523-1 is not prime. Res64: 680EEEDCDAB53654 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:09:51] 617*2^1431524-1 is not prime. Res64: 0D045C5AFCB0E7E2 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:09:52] 795*2^1431524-1 is not prime. Res64: 5B5DFBB9DA11FB5F Time : 0.0 sec. user=mdettweiler [2016-06-06 00:09:54] 869*2^1431524-1 is not prime. Res64: E4B618B529B38FED Time : 0.0 sec. user=mdettweiler [2016-06-06 00:09:55] 875*2^1431524-1 is not prime. Res64: F8A2126F6BA01DCD Time : 0.0 sec. user=mdettweiler [2016-06-06 00:24:24] 927*2^1431524-1 is not prime. Res64: AE62BBC5963197CB Time : 0.0 sec. user=mdettweiler [2016-06-06 00:24:25] 957*2^1431524-1 is not prime. Res64: A3BA3C6AE48B3AB2 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:24:25] 625*2^1431525-1 is not prime. Res64: 3093C00D5ADA9450 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:24:25] 651*2^1431525-1 is not prime. Res64: 6A64AE30E68CB080 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:24:25] 685*2^1431525-1 is not prime. Res64: C20829E086732D06 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:36:31] 815*2^1431526-1 is not prime. Res64: C0D03D46D398BE63 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:36:31] 833*2^1431526-1 is not prime. Res64: E10B4FFF504E9BA3 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:36:31] 933*2^1431526-1 is not prime. Res64: E02A624D21286DFB Time : 0.0 sec. user=mdettweiler [2016-06-06 00:36:32] 971*2^1431526-1 is not prime. Res64: 12E02BDC43404564 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:36:32] 615*2^1431527-1 is not prime. Res64: A03FD45FDDDDE4ED Time : 0.0 sec. user=mdettweiler [2016-06-06 00:37:22] 735*2^1431525-1 is not prime. Res64: 1A6C93B3B2BFFBFF Time : 0.0 sec. user=mdettweiler [2016-06-06 00:37:22] 751*2^1431525-1 is not prime. Res64: 49A78FDBECEAA0D2 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:37:22] 759*2^1431525-1 is not prime. Res64: BA0DF56CCB673F07 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:37:22] 789*2^1431525-1 is not prime. Res64: 15578A14362C4A1E Time : 0.0 sec. user=mdettweiler [2016-06-06 00:37:23] 979*2^1431525-1 is not prime. Res64: 70258DE716B6DD39 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:57:59] 693*2^1431527-1 is not prime. Res64: 7BDDE229576C5424 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:57:59] 735*2^1431527-1 is not prime. Res64: AAA8B3CC1EC55891 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:57:59] 973*2^1431527-1 is not prime. Res64: A74751177DF5840D Time : 0.0 sec. user=mdettweiler [2016-06-06 00:57:59] 999*2^1431527-1 is not prime. Res64: 38FB1F19C674C1A8 Time : 0.0 sec. user=mdettweiler [2016-06-06 00:57:59] 615*2^1431528-1 is not prime. Res64: 3B7C3BBED79EFB2A Time : 0.0 sec. user=mdettweiler [2016-06-06 01:11:19] 627*2^1431528-1 is not prime. Res64: 39B14A2811180BB2 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:11:20] 725*2^1431528-1 is not prime. Res64: 974AA876E0C46C2A Time : 0.0 sec. user=mdettweiler [2016-06-06 01:11:20] 887*2^1431528-1 is not prime. Res64: 69E66CB7E40525C7 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:11:21] 625*2^1431529-1 is not prime. Res64: E1D2449B5D13F776 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:11:22] 705*2^1431529-1 is not prime. Res64: B1406EE2BA8271ED Time : 0.0 sec. user=mdettweiler [2016-06-06 01:23:16] 741*2^1431529-1 is not prime. Res64: E1BD7C6CC1C6C172 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:23:17] 745*2^1431529-1 is not prime. Res64: 4FD03D1BA49B5D3E Time : 0.0 sec. user=mdettweiler [2016-06-06 01:23:17] 747*2^1431529-1 is not prime. Res64: B078AA882D44EFB7 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:23:17] 765*2^1431529-1 is not prime. Res64: 7B33AC9BA20DA0BE Time : 0.0 sec. user=mdettweiler [2016-06-06 01:23:17] 801*2^1431529-1 is not prime. Res64: AD19EEC7F6B871B5 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:25:24] 945*2^1431529-1 is not prime. Res64: 047B0540936B8A30 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:25:25] 955*2^1431529-1 is not prime. Res64: A88FF10D31783164 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:25:26] 957*2^1431529-1 is not prime. Res64: 5D1B80C3AEDA066B Time : 0.0 sec. user=mdettweiler [2016-06-06 01:25:27] 665*2^1431530-1 is not prime. Res64: 6074DCCFCFC23C04 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:25:27] 731*2^1431530-1 is not prime. Res64: 5A3E3F0D2364653D Time : 0.0 sec. user=mdettweiler [2016-06-06 01:44:30] 773*2^1431530-1 is not prime. Res64: 75B091CEEB4E8027 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:44:30] 827*2^1431530-1 is not prime. Res64: 80CA3E690718F183 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:44:31] 971*2^1431530-1 is not prime. Res64: 5874671558533DFA Time : 0.0 sec. user=mdettweiler [2016-06-06 01:44:31] 619*2^1431531-1 is not prime. Res64: DE36050CACA77F87 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:44:31] 669*2^1431531-1 is not prime. Res64: 7015569A20ABFE85 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:58:27] 685*2^1431531-1 is not prime. Res64: 5C75F4C9870096E7 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:58:28] 775*2^1431531-1 is not prime. Res64: 5229EFC49DE23429 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:58:28] 849*2^1431531-1 is not prime. Res64: 0DF6AF6FB797C1F8 Time : 0.0 sec. user=mdettweiler [2016-06-06 01:58:28] 859*2^1431531-1 is not prime. Res64: E86731650B3DA72C Time : 0.0 sec. user=mdettweiler [2016-06-06 01:58:28] 861*2^1431531-1 is not prime. Res64: 87110B58FD50B5B8 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:10:47] 943*2^1431531-1 is not prime. Res64: F2627B455A4BB7D4 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:10:47] 603*2^1431532-1 is not prime. Res64: 296820F2B733A325 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:10:47] 615*2^1431532-1 is not prime. Res64: 29FDA42E2F7973E4 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:10:48] 623*2^1431532-1 is not prime. Res64: EBD6AE484296FE4C Time : 0.0 sec. user=mdettweiler [2016-06-06 02:10:48] 665*2^1431532-1 is not prime. Res64: A416DB3D2D1FD6DA Time : 0.0 sec. user=mdettweiler [2016-06-06 02:13:01] 705*2^1431532-1 is not prime. Res64: 6CB55F3EAC10EAC5 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:13:01] 819*2^1431532-1 is not prime. Res64: 2E9BE8655A34F14E Time : 0.0 sec. user=mdettweiler [2016-06-06 02:13:01] 833*2^1431532-1 is not prime. Res64: 4A0C265A7DAFF76C Time : 0.0 sec. user=mdettweiler [2016-06-06 02:13:02] 855*2^1431532-1 is not prime. Res64: AB0CEC8D8C259A02 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:13:02] 899*2^1431532-1 is not prime. Res64: 752818936CC0066D Time : 0.0 sec. user=mdettweiler [2016-06-06 02:31:56] 631*2^1431533-1 is not prime. Res64: E0DDF58E0A750C54 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:31:59] 691*2^1431533-1 is not prime. Res64: 7A1C3BDA7DA85924 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:31:59] 699*2^1431533-1 is not prime. Res64: 9004064BEF372EDE Time : 0.0 sec. user=mdettweiler [2016-06-06 02:32:00] 729*2^1431533-1 is not prime. Res64: 720CD471308B8BB5 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:32:02] 775*2^1431533-1 is not prime. Res64: B444262C2C111321 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:45:31] 819*2^1431533-1 is not prime. Res64: B5BD1AC5819553C3 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:45:31] 705*2^1431534-1 is not prime. Res64: E7B732FF2B172AB4 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:45:32] 795*2^1431534-1 is not prime. Res64: E2E94B47C5D267C9 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:45:32] 917*2^1431534-1 is not prime. Res64: C3660AE4DDFC2A8B Time : 0.0 sec. user=mdettweiler [2016-06-06 02:45:32] 625*2^1431535-1 is not prime. Res64: 411D7C6B2E3B25AE Time : 0.0 sec. user=mdettweiler [2016-06-06 02:58:05] 639*2^1431535-1 is not prime. Res64: 7E5C4354CCA46A19 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:58:05] 651*2^1431535-1 is not prime. Res64: 25A8EBE51E3F5DF8 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:58:05] 709*2^1431535-1 is not prime. Res64: BDCDAFE0E10FF650 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:58:06] 775*2^1431535-1 is not prime. Res64: 79BB215F1A348A56 Time : 0.0 sec. user=mdettweiler [2016-06-06 02:58:06] 805*2^1431535-1 is not prime. Res64: 7801F6E8323A2295 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:00:03] 871*2^1431535-1 is not prime. Res64: 5AA33A198176030B Time : 0.0 sec. user=mdettweiler [2016-06-06 03:00:03] 895*2^1431535-1 is not prime. Res64: CF891C9FD678DE29 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:00:03] 933*2^1431535-1 is not prime. Res64: 93317DDF16FA9C66 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:00:04] 633*2^1431536-1 is not prime. Res64: 27F98031CA89445A Time : 0.0 sec. user=mdettweiler [2016-06-06 03:00:04] 725*2^1431536-1 is not prime. Res64: EDED5809BFE4466D Time : 0.0 sec. user=mdettweiler [2016-06-06 03:20:11] 813*2^1431536-1 is not prime. Res64: CCA44F7794875B13 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:20:12] 857*2^1431536-1 is not prime. Res64: 611A874626C49819 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:20:12] 875*2^1431536-1 is not prime. Res64: B4673BE5FD6101C8 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:20:12] 685*2^1431537-1 is not prime. Res64: 39925035C1A2ACFD Time : 0.0 sec. user=mdettweiler [2016-06-06 03:20:13] 727*2^1431537-1 is not prime. Res64: 666140F380042894 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:34:23] 741*2^1431537-1 is not prime. Res64: 2857E72F0FE2FF2D Time : 0.0 sec. user=mdettweiler [2016-06-06 03:34:25] 747*2^1431537-1 is not prime. Res64: 352C03A3BFD949E4 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:34:25] 835*2^1431537-1 is not prime. Res64: 2210A86498A654B6 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:34:25] 865*2^1431537-1 is not prime. Res64: 21A012A839777982 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:34:26] 647*2^1431538-1 is not prime. Res64: CDE405501DD17BFE Time : 0.0 sec. user=mdettweiler [2016-06-06 03:45:44] 695*2^1431538-1 is not prime. Res64: 456F88A1CD5D3410 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:45:45] 773*2^1431538-1 is not prime. Res64: 6477D7B88F5D7414 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:45:46] 791*2^1431538-1 is not prime. Res64: DDD60C6D33811216 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:45:47] 645*2^1431539-1 is not prime. Res64: C0AB310ADBAD0391 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:45:48] 733*2^1431539-1 is not prime. Res64: 54ED2D6DF71D746D Time : 0.0 sec. user=mdettweiler [2016-06-06 03:47:50] 745*2^1431539-1 is not prime. Res64: 858B969C6EB733DE Time : 0.0 sec. user=mdettweiler [2016-06-06 03:47:51] 801*2^1431539-1 is not prime. Res64: 73448C5CD0C30ED8 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:47:53] 841*2^1431539-1 is not prime. Res64: 6CE2365842992299 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:47:55] 903*2^1431539-1 is not prime. Res64: 8F205C7F4DA95447 Time : 0.0 sec. user=mdettweiler [2016-06-06 03:47:56] 931*2^1431539-1 is not prime. Res64: 90567A735E0D26B9 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:08:28] 969*2^1431539-1 is not prime. Res64: CF1F8F8FBB743200 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:08:28] 973*2^1431539-1 is not prime. Res64: 6E37291759A27F8B Time : 0.0 sec. user=mdettweiler [2016-06-06 04:08:29] 675*2^1431540-1 is not prime. Res64: 2DF51F05F4A0F5E2 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:08:29] 803*2^1431540-1 is not prime. Res64: 5C8F52DFD9CD7A33 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:08:29] 809*2^1431540-1 is not prime. Res64: 8C210079FF2FBF64 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:21:54] 899*2^1431540-1 is not prime. Res64: 8D0B8C2916787D1C Time : 0.0 sec. user=mdettweiler [2016-06-06 04:21:54] 933*2^1431540-1 is not prime. Res64: A98B765AC255C147 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:21:55] 825*2^1431541-1 is not prime. Res64: C7A9229202953434 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:21:55] 889*2^1431541-1 is not prime. Res64: 8D84AF3280B610A4 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:21:55] 975*2^1431541-1 is not prime. Res64: 99AA756C2A2D9324 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:33:12] 615*2^1431542-1 is not prime. Res64: 713D35169F8871D0 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:33:12] 761*2^1431542-1 is not prime. Res64: CF44098B917DDCEB Time : 0.0 sec. user=mdettweiler [2016-06-06 04:33:13] 911*2^1431542-1 is not prime. Res64: F79AD1768521AD65 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:33:13] 963*2^1431542-1 is not prime. Res64: 6F50F57992371078 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:33:13] 965*2^1431542-1 is not prime. Res64: A050C33D22765F82 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:35:19] 615*2^1431543-1 is not prime. Res64: F1DB410D4323A182 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:35:19] 625*2^1431543-1 is not prime. Res64: 726C4421786BC770 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:35:19] 679*2^1431543-1 is not prime. Res64: AFD81A33E0446739 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:35:19] 823*2^1431543-1 is not prime. Res64: 729BFD028209511F Time : 0.0 sec. user=mdettweiler [2016-06-06 04:35:19] 895*2^1431543-1 is not prime. Res64: D735E444ECFEF439 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:55:17] 687*2^1431544-1 is not prime. Res64: D21A43C8D477FF7A Time : 0.0 sec. user=mdettweiler [2016-06-06 04:55:17] 743*2^1431544-1 is not prime. Res64: 5C05476CB9D98EB2 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:55:17] 773*2^1431544-1 is not prime. Res64: 895F25FC7961E907 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:55:18] 869*2^1431544-1 is not prime. Res64: B38738DC6E100268 Time : 0.0 sec. user=mdettweiler [2016-06-06 04:55:18] 875*2^1431544-1 is not prime. Res64: 25EDAF4E3A011FD2 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:08:56] 705*2^1431545-1 is not prime. Res64: 9CE1AA5005321BDD Time : 0.0 sec. user=mdettweiler [2016-06-06 05:08:56] 759*2^1431545-1 is not prime. Res64: 687E517F8282A77B Time : 0.0 sec. user=mdettweiler [2016-06-06 05:08:57] 775*2^1431545-1 is not prime. Res64: 880DAEA26E5C5377 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:08:57] 907*2^1431545-1 is not prime. Res64: 04765AB0FFC17C80 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:08:57] 909*2^1431545-1 is not prime. Res64: 440E3FAEBCF132D1 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:20:16] 633*2^1431546-1 is not prime. Res64: 47CF3EB15D5FB33F Time : 0.0 sec. user=mdettweiler [2016-06-06 05:20:17] 801*2^1431546-1 is not prime. Res64: 91158B2A360B373C Time : 0.0 sec. user=mdettweiler [2016-06-06 05:20:17] 921*2^1431546-1 is not prime. Res64: 25F45ED79C459191 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:20:17] 945*2^1431546-1 is not prime. Res64: 53F318F624EA718B Time : 0.0 sec. user=mdettweiler [2016-06-06 05:20:18] 603*2^1431547-1 is not prime. Res64: 47FC737DD7C1DB9C Time : 0.0 sec. user=mdettweiler [2016-06-06 05:22:37] 631*2^1431547-1 is not prime. Res64: 2A7AB6672C79C7EE Time : 0.0 sec. user=mdettweiler [2016-06-06 05:22:37] 693*2^1431547-1 is not prime. Res64: 2C1E932A4526781F Time : 0.0 sec. user=mdettweiler [2016-06-06 05:22:37] 819*2^1431547-1 is not prime. Res64: D9A5508686685D26 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:22:37] 841*2^1431547-1 is not prime. Res64: 059022F0C672D545 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:22:38] 859*2^1431547-1 is not prime. Res64: 4B9A6FD0536ACE5C Time : 0.0 sec. user=mdettweiler [2016-06-06 05:42:11] 945*2^1431547-1 is not prime. Res64: 105C02EDAE0E038A Time : 0.0 sec. user=mdettweiler [2016-06-06 05:42:11] 993*2^1431547-1 is not prime. Res64: 20B1798A1B40C7A9 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:42:11] 603*2^1431548-1 is not prime. Res64: 1E264FB679B348A1 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:42:12] 665*2^1431548-1 is not prime. Res64: 4DD168F2775C9DEB Time : 0.0 sec. user=mdettweiler [2016-06-06 05:42:12] 677*2^1431548-1 is not prime. Res64: 512A006BA8D50901 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:55:52] 759*2^1431548-1 is not prime. Res64: BD52415C14F0F2B4 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:55:52] 819*2^1431548-1 is not prime. Res64: 8CA685BEF904810A Time : 0.0 sec. user=mdettweiler [2016-06-06 05:55:52] 885*2^1431548-1 is not prime. Res64: BB6D876E0CCD5983 Time : 0.0 sec. user=mdettweiler [2016-06-06 05:55:52] 899*2^1431548-1 is not prime. Res64: 356EDEBB3B6D9CBF Time : 0.0 sec. user=mdettweiler [2016-06-06 05:55:53] 915*2^1431548-1 is not prime. Res64: 7CA39655A2AB3541 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:07:38] 639*2^1431549-1 is not prime. Res64: EFCE74E0E6057567 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:07:39] 657*2^1431549-1 is not prime. Res64: C182683D15274BDC Time : 0.0 sec. user=mdettweiler [2016-06-06 06:07:40] 751*2^1431549-1 is not prime. Res64: 7159327FA90F66E2 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:07:40] 765*2^1431549-1 is not prime. Res64: B5C20DE1FE667C1B Time : 0.0 sec. user=mdettweiler [2016-06-06 06:07:41] 825*2^1431549-1 is not prime. Res64: 2D8C91A3DA807641 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:10:16] 865*2^1431549-1 is not prime. Res64: FA5F27FFEACE4113 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:10:16] 955*2^1431549-1 is not prime. Res64: C1741BEABE6E7C43 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:10:17] 747*2^1431550-1 is not prime. Res64: 50D2F10C8A9B0BB7 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:10:17] 741*2^1431551-1 is not prime. Res64: 10EE49A83666A423 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:10:17] 759*2^1431551-1 is not prime. Res64: B0CDD55BA1946600 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:29:43] 775*2^1431551-1 is not prime. Res64: 48CFA0CD597862D9 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:29:43] 885*2^1431551-1 is not prime. Res64: 153070C42D90D6A9 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:29:43] 969*2^1431551-1 is not prime. Res64: C9ED668BC55645B9 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:29:43] 605*2^1431552-1 is not prime. Res64: B947CFDA92CEBB01 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:29:44] 723*2^1431552-1 is not prime. Res64: 7A74688FB82E369D Time : 0.0 sec. user=mdettweiler [2016-06-06 06:43:45] 815*2^1431552-1 is not prime. Res64: 6C39EF5169F48AE2 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:43:46] 875*2^1431552-1 is not prime. Res64: CEF6D50BED674A62 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:43:46] 977*2^1431552-1 is not prime. Res64: 3F7AC5BE85599D93 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:43:46] 751*2^1431553-1 is not prime. Res64: 8CD70C01D4B69488 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:43:46] 789*2^1431553-1 is not prime. Res64: B8D009113C0869AD Time : 0.0 sec. user=mdettweiler [2016-06-06 06:55:22] 829*2^1431553-1 is not prime. Res64: 3AE7B650300EE351 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:55:22] 877*2^1431553-1 is not prime. Res64: 88463F7FB757EA68 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:55:23] 919*2^1431553-1 is not prime. Res64: F3CAC497489D845A Time : 0.0 sec. user=mdettweiler [2016-06-06 06:55:23] 683*2^1431554-1 is not prime. Res64: 4FE3A2956A4CCE3C Time : 0.0 sec. user=mdettweiler [2016-06-06 06:55:23] 741*2^1431554-1 is not prime. Res64: 6D7533DA2A953454 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:57:55] 773*2^1431554-1 is not prime. Res64: 31088C1C30058BE5 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:57:56] 941*2^1431554-1 is not prime. Res64: AF5B8B132FA36B93 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:57:56] 601*2^1431555-1 is not prime. Res64: 3C040D9094958A93 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:57:56] 649*2^1431555-1 is not prime. Res64: 8F6C12A8B419C833 Time : 0.0 sec. user=mdettweiler [2016-06-06 06:57:56] 663*2^1431555-1 is not prime. Res64: 4747EE8CB3E62533 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:16:43] 961*2^1431555-1 is not prime. Res64: 8140B7BF1505B216 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:16:43] 985*2^1431555-1 is not prime. Res64: 28F0F41935B642FF Time : 0.0 sec. user=mdettweiler [2016-06-06 07:16:43] 609*2^1431556-1 is not prime. Res64: 507EE96947FE63D2 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:16:44] 719*2^1431556-1 is not prime. Res64: EA30A8B7C294A68D Time : 0.0 sec. user=mdettweiler [2016-06-06 07:16:44] 735*2^1431556-1 is not prime. Res64: 15F437C9B6F9FAFF Time : 0.0 sec. user=mdettweiler [2016-06-06 07:31:00] 765*2^1431556-1 is not prime. Res64: 42F1A8742EB12C83 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:31:01] 779*2^1431556-1 is not prime. Res64: 0C67C7C65B35E9D7 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:31:01] 855*2^1431556-1 is not prime. Res64: 244AB84F5E55A975 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:31:01] 923*2^1431556-1 is not prime. Res64: BDCBE8736B7E4AC1 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:31:02] 965*2^1431556-1 is not prime. Res64: 27094A32A3A38E0B Time : 0.0 sec. user=mdettweiler [2016-06-06 07:43:14] 601*2^1431557-1 is not prime. Res64: E61135835B830C48 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:43:14] 759*2^1431557-1 is not prime. Res64: 1369F4DE6707CD72 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:43:15] 889*2^1431557-1 is not prime. Res64: 918AB33E281EDB5B Time : 0.0 sec. user=mdettweiler [2016-06-06 07:43:15] 945*2^1431557-1 is not prime. Res64: EA2F891BB35E4199 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:43:15] 621*2^1431558-1 is not prime. Res64: CDF8B5A7D548F9BC Time : 0.0 sec. user=mdettweiler [2016-06-06 07:45:28] 713*2^1431558-1 is not prime. Res64: B88A04B28963B68F Time : 0.0 sec. user=mdettweiler [2016-06-06 07:45:28] 755*2^1431558-1 is not prime. Res64: 24A2607E293DE467 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:45:28] 791*2^1431558-1 is not prime. Res64: C0A462645F9AE999 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:45:29] 795*2^1431558-1 is not prime. Res64: DE68EBD69D324E70 Time : 0.0 sec. user=mdettweiler [2016-06-06 07:45:29] 801*2^1431558-1 is not prime. Res64: FE33B642E7CED11B Time : 0.0 sec. user=mdettweiler [2016-06-06 08:03:55] 815*2^1431558-1 is not prime. Res64: 417CBD56188EF2B4 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:03:56] 945*2^1431558-1 is not prime. Res64: 540E5AA26D3E2C33 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:03:57] 971*2^1431558-1 is not prime. Res64: 8BB0722B683BD182 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:03:58] 975*2^1431558-1 is not prime. Res64: 084B02D5EE6BCE06 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:03:59] 601*2^1431559-1 is not prime. Res64: E3264874B03A7AD0 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:18:07] 619*2^1431559-1 is not prime. Res64: 8EA5F5507CE7243C Time : 0.0 sec. user=mdettweiler [2016-06-06 08:18:07] 873*2^1431559-1 is not prime. Res64: E8287DC0733A1B34 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:18:07] 883*2^1431559-1 is not prime. Res64: 5C2DA4E3724B7875 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:18:08] 931*2^1431559-1 is not prime. Res64: 8529CD5814D50711 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:18:08] 609*2^1431560-1 is not prime. Res64: 779210E263AE34A0 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:31:03] 635*2^1431560-1 is not prime. Res64: EA5B4B976D7017D7 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:31:04] 663*2^1431560-1 is not prime. Res64: 5603CD5D0AC51E07 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:31:04] 729*2^1431560-1 is not prime. Res64: 660578BB42669CE0 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:31:04] 795*2^1431560-1 is not prime. Res64: 7C9603DA1EBF0F27 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:31:04] 827*2^1431560-1 is not prime. Res64: F82A37D9111A64B0 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:32:33] 865*2^1431561-1 is not prime. Res64: FC6AB6114B3AC44C Time : 0.0 sec. user=mdettweiler [2016-06-06 08:32:33] 603*2^1431562-1 is not prime. Res64: 95C671887623DB86 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:32:34] 651*2^1431562-1 is not prime. Res64: 07A9F20CF7F69210 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:32:34] 657*2^1431562-1 is not prime. Res64: 4AF28CDFC437CE28 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:32:34] 803*2^1431562-1 is not prime. Res64: EB7A8CB6243E8FDF Time : 0.0 sec. user=mdettweiler [2016-06-06 08:52:16] 855*2^1431562-1 is not prime. Res64: 9B31E85DC5909649 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:52:17] 885*2^1431562-1 is not prime. Res64: 0350D9EF01A45849 Time : 0.0 sec. user=mdettweiler [2016-06-06 08:52:17] 609*2^1431563-1 is not prime. Res64: 1017AD46FB16813C Time : 0.0 sec. user=mdettweiler [2016-06-06 08:52:17] 675*2^1431563-1 is not prime. Res64: 0D6727E33FDECD8E Time : 0.0 sec. user=mdettweiler [2016-06-06 08:52:17] 739*2^1431563-1 is not prime. Res64: 2240F73BC3173BF7 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:06:12] 775*2^1431563-1 is not prime. Res64: E2B36A284F7C8E89 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:06:13] 939*2^1431563-1 is not prime. Res64: EFFCB94BBBB64FF9 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:06:14] 635*2^1431564-1 is not prime. Res64: FA1506DFA340886B Time : 0.0 sec. user=mdettweiler [2016-06-06 09:06:15] 663*2^1431564-1 is not prime. Res64: F7B651FD679C115F Time : 0.0 sec. user=mdettweiler [2016-06-06 09:06:17] 737*2^1431564-1 is not prime. Res64: 953A1AFA5E22EA5E Time : 0.0 sec. user=mdettweiler [2016-06-06 09:18:30] 837*2^1431564-1 is not prime. Res64: 48690ED629673F7A Time : 0.0 sec. user=mdettweiler [2016-06-06 09:18:30] 843*2^1431564-1 is not prime. Res64: 3E80D06DD4627DE9 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:18:31] 863*2^1431564-1 is not prime. Res64: A82D6032D49090D1 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:18:31] 909*2^1431564-1 is not prime. Res64: 381FABB3D202E8CA Time : 0.0 sec. user=mdettweiler [2016-06-06 09:18:31] 927*2^1431564-1 is not prime. Res64: 2C531104680AA8C3 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:20:30] 969*2^1431564-1 is not prime. Res64: 57FB85890DFBFF74 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:20:30] 983*2^1431564-1 is not prime. Res64: B4868E81413888FC Time : 0.0 sec. user=mdettweiler [2016-06-06 09:20:31] 727*2^1431565-1 is not prime. Res64: 4723F2A8E3DA99C2 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:20:31] 729*2^1431565-1 is not prime. Res64: 9A92781BEE88C5AF Time : 0.0 sec. user=mdettweiler [2016-06-06 09:20:31] 811*2^1431565-1 is not prime. Res64: D6A4258526325B13 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:40:15] 819*2^1431565-1 is not prime. Res64: 9897362E639F31BF Time : 0.0 sec. user=mdettweiler [2016-06-06 09:40:16] 885*2^1431565-1 is not prime. Res64: 55488D76A9B284E0 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:40:16] 897*2^1431565-1 is not prime. Res64: 49D0B3AA7E572A99 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:40:16] 951*2^1431565-1 is not prime. Res64: 58C085D68656DE02 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:40:16] 961*2^1431565-1 is not prime. Res64: 2E0926F9E9503A70 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:53:32] 987*2^1431565-1 is not prime. Res64: 291F94FA2938D8EB Time : 0.0 sec. user=mdettweiler [2016-06-06 09:53:33] 999*2^1431565-1 is not prime. Res64: D8553F1223794517 Time : 0.0 sec. user=mdettweiler [2016-06-06 09:53:33] 693*2^1431566-1 is not prime. Res64: 8D265899928F7A0A Time : 0.0 sec. user=mdettweiler [2016-06-06 09:53:33] 717*2^1431566-1 is not prime. Res64: D25FEBF3D81E4F7D Time : 0.0 sec. user=mdettweiler [2016-06-06 09:53:33] 741*2^1431566-1 is not prime. Res64: 4BE0BFE8313793CF Time : 0.0 sec. user=mdettweiler [2016-06-06 10:05:46] 867*2^1431566-1 is not prime. Res64: 685B10A1B1644D73 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:05:48] 911*2^1431566-1 is not prime. Res64: C16C68CC8C9495FB Time : 0.0 sec. user=mdettweiler [2016-06-06 10:05:48] 953*2^1431566-1 is not prime. Res64: A824D01CFF94A05E Time : 0.0 sec. user=mdettweiler [2016-06-06 10:05:49] 971*2^1431566-1 is not prime. Res64: 8F111907ACF8BC73 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:05:51] 993*2^1431566-1 is not prime. Res64: 29B2497E21746E74 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:07:40] 651*2^1431567-1 is not prime. Res64: 3B1EC36C35D65EFC Time : 0.0 sec. user=mdettweiler [2016-06-06 10:07:41] 669*2^1431567-1 is not prime. Res64: A23BFDFD5BA88970 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:07:41] 691*2^1431567-1 is not prime. Res64: BE837954BF38597B Time : 0.0 sec. user=mdettweiler [2016-06-06 10:07:42] 693*2^1431567-1 is not prime. Res64: 1B81B323EDC2FC40 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:07:42] 829*2^1431567-1 is not prime. Res64: 68AD5ECD26FA930F Time : 0.0 sec. user=mdettweiler [2016-06-06 10:27:43] 849*2^1431567-1 is not prime. Res64: 0C55320BA2B0235A Time : 0.0 sec. user=mdettweiler [2016-06-06 10:27:43] 657*2^1431568-1 is not prime. Res64: 1EE24FF274EAD224 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:27:44] 777*2^1431568-1 is not prime. Res64: AA9FD7A19ED29571 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:27:44] 849*2^1431568-1 is not prime. Res64: 19968299EF7D3727 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:27:44] 899*2^1431568-1 is not prime. Res64: 0D088E4ABD39DF53 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:40:41] 957*2^1431568-1 is not prime. Res64: 9089304F35559CF9 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:40:41] 969*2^1431568-1 is not prime. Res64: FDCEF9A24779905B Time : 0.0 sec. user=mdettweiler [2016-06-06 10:40:42] 995*2^1431568-1 is not prime. Res64: 7CEF92D41C3D978B Time : 0.0 sec. user=mdettweiler [2016-06-06 10:40:42] 627*2^1431570-1 is not prime. Res64: 58DBA3A76836F007 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:40:42] 641*2^1431570-1 is not prime. Res64: A998521E592F9F42 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:53:09] 723*2^1431570-1 is not prime. Res64: 5B2D83976CA4CC24 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:53:09] 735*2^1431570-1 is not prime. Res64: 1B8B8D6221B5D524 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:53:09] 893*2^1431570-1 is not prime. Res64: BB11BB16E60EB5CD Time : 0.0 sec. user=mdettweiler [2016-06-06 10:53:10] 709*2^1431571-1 is not prime. Res64: 3A9C7BF04D74B8CB Time : 0.0 sec. user=mdettweiler [2016-06-06 10:53:10] 723*2^1431571-1 is not prime. Res64: 9E3DA52C9F7AFF46 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:55:56] 745*2^1431571-1 is not prime. Res64: 4613D67E0DEFBAEC Time : 0.0 sec. user=mdettweiler [2016-06-06 10:55:56] 771*2^1431571-1 is not prime. Res64: 2E8E8987BBAFA403 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:55:56] 793*2^1431571-1 is not prime. Res64: 299135CE0A138186 Time : 0.0 sec. user=mdettweiler [2016-06-06 10:55:56] 859*2^1431571-1 is not prime. Res64: BD8B0C796BCA3EAF Time : 0.0 sec. user=mdettweiler [2016-06-06 10:55:56] 891*2^1431571-1 is not prime. Res64: AFECD840E4E9785B Time : 0.0 sec. user=mdettweiler [2016-06-06 11:14:38] 969*2^1431571-1 is not prime. Res64: 46A0FD5B0D30FBE6 Time : 0.0 sec. user=mdettweiler [2016-06-06 11:14:39] 975*2^1431571-1 is not prime. Res64: 3CBEE5F2DAB0108C Time : 0.0 sec. user=mdettweiler [2016-06-06 11:14:39] 633*2^1431572-1 is not prime. Res64: 65A5DE6157A8499A Time : 0.0 sec. user=mdettweiler [2016-06-06 11:14:39] 675*2^1431572-1 is not prime. Res64: 1EB7705C7B5AFD0E Time : 0.0 sec. user=mdettweiler [2016-06-06 11:14:40] 797*2^1431572-1 is not prime. Res64: 432C2016D11107BE Time : 0.0 sec. user=mdettweiler [2016-06-06 11:28:07] 999*2^1431572-1 is not prime. Res64: CFD99E59D0D5FCCB Time : 0.0 sec. user=mdettweiler [2016-06-06 11:28:07] 607*2^1431573-1 is not prime. Res64: D72AF62B898ED10A Time : 0.0 sec. user=mdettweiler [2016-06-06 11:28:08] 609*2^1431573-1 is not prime. Res64: CD445D5AFB7AA268 Time : 0.0 sec. user=mdettweiler [2016-06-06 11:28:09] 649*2^1431573-1 is not prime. Res64: A74AD843FF3A47D6 Time : 0.0 sec. user=mdettweiler [2016-06-06 11:40:52] 927*2^1431573-1 is not prime. Res64: D22A09DA2EDD1F0A Time : 0.0 sec. user=mdettweiler [2016-06-06 11:40:53] 951*2^1431573-1 is not prime. Res64: 45E128B6C23E09FB Time : 0.0 sec. user=mdettweiler [2016-06-06 11:40:53] 611*2^1431574-1 is not prime. Res64: 31DD14EBC7644D92 Time : 0.0 sec. user=mdettweiler [2016-06-06 11:40:53] 623*2^1431574-1 is not prime. Res64: 1B74DD78F396326C Time : 0.0 sec. user=mdettweiler [2016-06-06 11:40:54] 731*2^1431574-1 is not prime. Res64: 611E028D92727401 Time : 0.0 sec. user=mdettweiler [2016-06-06 11:44:24] 861*2^1431574-1 is not prime. Res64: 9162E716EBAAC956 Time : 0.0 sec. user=mdettweiler [2016-06-06 11:44:25] 941*2^1431574-1 is not prime. Res64: 1510784479FCC9BD Time : 0.0 sec. user=mdettweiler [2016-06-06 11:44:26] 987*2^1431574-1 is not prime. Res64: 511B8AE03DE9C06C Time : 0.0 sec. user=mdettweiler [2016-06-06 11:44:27] 643*2^1431575-1 is not prime. Res64: D8092E7B1A4C909A Time : 0.0 sec. user=mdettweiler [2016-06-06 11:44:27] 721*2^1431575-1 is not prime. Res64: 03FAE9D6317B987B Time : 0.0 sec. user=mdettweiler [2016-06-06 12:04:13] 739*2^1431575-1 is not prime. Res64: 2907E2784D79F0A2 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:04:16] 759*2^1431575-1 is not prime. Res64: 027B581EF0B6835C Time : 0.0 sec. user=mdettweiler [2016-06-06 12:04:17] 841*2^1431575-1 is not prime. Res64: C182E934CD15DB01 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:04:19] 915*2^1431575-1 is not prime. Res64: 236AC4B382C1408A Time : 0.0 sec. user=mdettweiler [2016-06-06 12:04:21] 991*2^1431575-1 is not prime. Res64: B77D13C3E4BC5741 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:31:26] 707*2^1431576-1 is not prime. Res64: F6795C187CED9537 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:31:27] 777*2^1431576-1 is not prime. Res64: 8CBEDE2F40794531 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:31:27] 779*2^1431576-1 is not prime. Res64: ADC50BF1C213858E Time : 0.0 sec. user=mdettweiler [2016-06-06 12:31:28] 905*2^1431576-1 is not prime. Res64: DBC62638B4FC1C2E Time : 0.0 sec. user=mdettweiler [2016-06-06 12:31:29] 691*2^1431577-1 is not prime. Res64: 2F9F06D19A1407E3 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:34:24] 831*2^1431577-1 is not prime. Res64: 65EC279315C9A2C2 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:34:24] 889*2^1431577-1 is not prime. Res64: 522D3F04C53ED392 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:34:25] 915*2^1431577-1 is not prime. Res64: EA83AB729F2DAFF7 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:34:26] 985*2^1431577-1 is not prime. Res64: 7F752093C4BF8498 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:34:26] 633*2^1431578-1 is not prime. Res64: 42B8729DDC211933 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:55:04] 767*2^1431578-1 is not prime. Res64: 9FDAF3BAB17F63ED Time : 0.0 sec. user=mdettweiler [2016-06-06 12:55:05] 771*2^1431578-1 is not prime. Res64: 74AB22C34A4EC254 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:55:05] 837*2^1431578-1 is not prime. Res64: 97A7DCB5051893A9 Time : 0.0 sec. user=mdettweiler [2016-06-06 12:55:05] 977*2^1431578-1 is not prime. Res64: 37FBE351CB59C40F Time : 0.0 sec. user=mdettweiler [2016-06-06 12:55:05] 987*2^1431578-1 is not prime. Res64: F8F8EFCB48B8F1F3 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:22:12] 1001*2^1431578-1 is not prime. Res64: E2387F026926D464 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:22:12] 621*2^1431579-1 is not prime. Res64: 11D157861163D532 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:22:12] 663*2^1431579-1 is not prime. Res64: B0C2BDAB58A2B26B Time : 0.0 sec. user=mdettweiler [2016-06-06 13:22:12] 769*2^1431579-1 is not prime. Res64: E4F435377A0510AD Time : 0.0 sec. user=mdettweiler [2016-06-06 13:22:13] 793*2^1431579-1 is not prime. Res64: 6D855554E84DFA26 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:25:31] 909*2^1431579-1 is not prime. Res64: B5FDA3875E587469 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:25:31] 919*2^1431579-1 is not prime. Res64: 6BCF4670CE15F3B4 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:25:31] 605*2^1431580-1 is not prime. Res64: 0FB7855B468E0E42 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:25:31] 647*2^1431580-1 is not prime. Res64: 8882155E7D320008 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:25:32] 717*2^1431580-1 is not prime. Res64: 323A1C87F4607309 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:47:17] 863*2^1431580-1 is not prime. Res64: E050AB5BCA872CA7 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:47:17] 957*2^1431580-1 is not prime. Res64: D98F4B0E01DDB831 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:47:18] 645*2^1431581-1 is not prime. Res64: 885107EB35B76098 Time : 0.0 sec. user=mdettweiler [2016-06-06 13:47:18] 669*2^1431581-1 is not prime. Res64: B8ABA9B8295C20AA Time : 0.0 sec. user=mdettweiler [2016-06-06 13:47:18] 717*2^1431581-1 is not prime. Res64: FC587737FA6390E0 Time : 0.0 sec. user=mdettweiler [2016-06-06 14:13:20] 811*2^1431581-1 is not prime. Res64: CE1623AAEB965350 Time : 0.0 sec. user=mdettweiler [2016-06-06 14:13:20] 931*2^1431581-1 is not prime. Res64: DCC32F3C1A97DD5D Time : 0.0 sec. user=mdettweiler [2016-06-06 14:13:21] 615*2^1431582-1 is not prime. Res64: F3272638F85386B4 Time : 0.0 sec. user=mdettweiler [2016-06-06 14:13:21] 693*2^1431582-1 is not prime. Res64: D6A55B17E61C7D8A Time : 0.0 sec. user=mdettweiler [2016-06-06 14:13:21] 723*2^1431582-1 is not prime. Res64: EBBDC541D5ED258C Time : 0.0 sec. user=mdettweiler [2016-06-06 14:16:36] 725*2^1431582-1 is not prime. Res64: F817B6A801F9C5D7 Time : 0.0 sec. user=mdettweiler [2016-06-06 14:16:36] 767*2^1431582-1 is not prime. Res64: B5D7F60C67C970BA Time : 0.0 sec. user=mdettweiler [2016-06-06 14:16:36] 801*2^1431582-1 is not prime. Res64: CB4B3310B4153B2F Time : 0.0 sec. user=mdettweiler [2016-06-06 14:16:37] 945*2^1431582-1 is not prime. Res64: D068FE71C8A91468 Time : 0.0 sec. user=mdettweiler [2016-06-06 14:16:37] 977*2^1431582-1 is not prime. Res64: AE91D9DEBFFA80B5 Time : 0.0 sec. user=mdettweiler [2016-06-06 14:36:19] 657*2^1431573-1 is not prime. Res64: 291ED4B301DD6927 Time : 0.0 sec. user=mdettweiler [2016-06-06 14:39:20] 649*2^1431583-1 is not prime. Res64: 8947BE43A2B31E04 Time : 0.0 sec. user=mdettweiler [2016-06-06 14:39:20] 693*2^1431583-1 is not prime. Res64: 9761B5FE19410B4F Time : 0.0 sec. user=mdettweiler [2016-06-06 14:39:21] 873*2^1431583-1 is not prime. Res64: 0016E83CB19A6687 Time : 0.0 sec. user=mdettweiler [2016-06-06 14:39:21] 913*2^1431583-1 is not prime. Res64: 2E9DA300CBE37A7F Time : 0.0 sec. user=mdettweiler [2016-06-06 14:39:21] 657*2^1431584-1 is not prime. Res64: 203D8920C026AF0D Time : 0.0 sec. user=mdettweiler [2016-06-06 15:03:29] 665*2^1431584-1 is not prime. Res64: 814AFDAEA3F28CD3 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:03:30] 683*2^1431584-1 is not prime. Res64: 72CAEC1EAF96A3C9 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:03:31] 753*2^1431584-1 is not prime. Res64: 929A6ADE18C4902F Time : 0.0 sec. user=mdettweiler [2016-06-06 15:03:32] 785*2^1431584-1 is not prime. Res64: F2E67C729B39A89A Time : 0.0 sec. user=mdettweiler [2016-06-06 15:03:33] 915*2^1431584-1 is not prime. Res64: 60F59B35FFA21F58 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:06:30] 657*2^1431585-1 is not prime. Res64: 70ABB50DA1C8AF3C Time : 0.0 sec. user=mdettweiler [2016-06-06 15:06:32] 805*2^1431585-1 is not prime. Res64: C54BD2644AB0E5B4 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:06:33] 991*2^1431585-1 is not prime. Res64: E17A16CA425B6AF7 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:06:35] 623*2^1431586-1 is not prime. Res64: 75E231E06B9F36D7 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:06:37] 633*2^1431586-1 is not prime. Res64: E8ABF0F20F96DB1C Time : 0.0 sec. user=mdettweiler [2016-06-06 15:24:45] 701*2^1431586-1 is not prime. Res64: 8B2E6D3B8B34854F Time : 0.0 sec. user=mdettweiler [2016-06-06 15:24:46] 825*2^1431586-1 is not prime. Res64: BD9B3B39D859E13D Time : 0.0 sec. user=mdettweiler [2016-06-06 15:24:46] 887*2^1431586-1 is not prime. Res64: 5DE6EBE9403893A6 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:24:46] 917*2^1431586-1 is not prime. Res64: A436E23920D5428E Time : 0.0 sec. user=mdettweiler [2016-06-06 15:24:47] 619*2^1431587-1 is not prime. Res64: D05F0432E8874C5A Time : 0.0 sec. user=mdettweiler [2016-06-06 15:27:38] 621*2^1431587-1 is not prime. Res64: 1F12949AC9C3D90B Time : 0.0 sec. user=mdettweiler [2016-06-06 15:27:39] 675*2^1431587-1 is not prime. Res64: 1445E1E6A87C5F8F Time : 0.0 sec. user=mdettweiler [2016-06-06 15:27:39] 735*2^1431587-1 is not prime. Res64: 6017A92C4AB80A06 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:27:39] 753*2^1431587-1 is not prime. Res64: 824A51726C6A1D93 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:27:40] 909*2^1431587-1 is not prime. Res64: 48B5B66852A15A30 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:51:28] 993*2^1431587-1 is not prime. Res64: 2E037DD803B0877C Time : 0.0 sec. user=mdettweiler [2016-06-06 15:51:28] 605*2^1431588-1 is not prime. Res64: 8022FF33B50C0311 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:51:28] 669*2^1431588-1 is not prime. Res64: 0B55351DB1BADDB4 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:51:29] 689*2^1431588-1 is not prime. Res64: 8D999EECC2B7BE16 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:51:29] 875*2^1431588-1 is not prime. Res64: 1FF719D8B4E2568A Time : 0.0 sec. user=mdettweiler [2016-06-06 15:55:11] 969*2^1431588-1 is not prime. Res64: 9B1688BC435B1870 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:55:11] 609*2^1431589-1 is not prime. Res64: D96252B831DC9A9B Time : 0.0 sec. user=mdettweiler [2016-06-06 15:55:12] 747*2^1431589-1 is not prime. Res64: DBD07C9505BADB1C Time : 0.0 sec. user=mdettweiler [2016-06-06 15:55:12] 759*2^1431589-1 is not prime. Res64: 6191EC076B514587 Time : 0.0 sec. user=mdettweiler [2016-06-06 15:55:12] 765*2^1431589-1 is not prime. Res64: 2BCE65BCEC1A6A8A Time : 0.0 sec. user=mdettweiler [2016-06-06 16:12:28] 867*2^1431589-1 is not prime. Res64: 42D83352164B389D Time : 0.0 sec. user=mdettweiler [2016-06-06 16:12:28] 645*2^1431590-1 is not prime. Res64: 6D28D2921196934E Time : 0.0 sec. user=mdettweiler [2016-06-06 16:12:28] 657*2^1431590-1 is not prime. Res64: 3D33D1F0E546A851 Time : 0.0 sec. user=mdettweiler [2016-06-06 16:12:29] 717*2^1431590-1 is not prime. Res64: 4995CE166D1EFFB5 Time : 0.0 sec. user=mdettweiler [2016-06-06 16:12:29] 741*2^1431590-1 is not prime. Res64: 86A8A4460231BBDF Time : 0.0 sec. user=mdettweiler [2016-06-06 16:15:50] 867*2^1431590-1 is not prime. Res64: C8DCF5EFEB668B19 Time : 0.0 sec. user=mdettweiler [2016-06-06 16:15:51] 977*2^1431590-1 is not prime. Res64: 6887319E8A5C4047 Time : 0.0 sec. user=mdettweiler [2016-06-06 16:15:52] 995*2^1431590-1 is not prime. Res64: C4B27950C489F26F Time : 0.0 sec. user=mdettweiler [2016-06-06 16:15:52] 649*2^1431591-1 is not prime. Res64: A22D957F5B7F6A5E Time : 0.0 sec. user=mdettweiler [2016-06-06 16:15:53] 861*2^1431591-1 is not prime. Res64: 8851368BA6FD0302 Time : 0.0 sec. user=mdettweiler [2016-06-06 16:38:38] 865*2^1431591-1 is not prime. Res64: 94DA6964D191A9C4 Time : 0.0 sec. user=mdettweiler [2016-06-06 16:38:38] 909*2^1431591-1 is not prime. Res64: 733DA173F89D253E Time : 0.0 sec. user=mdettweiler [2016-06-06 16:38:38] 961*2^1431591-1 is not prime. Res64: B7C1B897D587AC97 Time : 0.0 sec. user=mdettweiler [2016-06-06 16:38:38] 635*2^1431592-1 is not prime. Res64: 0A0C0D096C6EDA6F Time : 0.0 sec. user=mdettweiler [2016-06-06 16:38:39] 785*2^1431592-1 is not prime. Res64: 18FEFE3A7223EC63 Time : 0.0 sec. user=mdettweiler [2016-06-06 16:42:45] 863*2^1431592-1 is not prime. Res64: 86C348F3A23F95AE Time : 0.0 sec. user=mdettweiler [2016-06-06 16:42:46] 887*2^1431592-1 is not prime. Res64: 0EDF22D8296466CF Time : 0.0 sec. user=mdettweiler [2016-06-06 16:42:46] 909*2^1431592-1 is not prime. Res64: F90D520EF0D6A44C Time : 0.0 sec. user=mdettweiler [2016-06-06 16:42:46] 959*2^1431592-1 is not prime. Res64: 4EA2B28AA6359EBA Time : 0.0 sec. user=mdettweiler [2016-06-06 16:42:46] 983*2^1431592-1 is not prime. Res64: B4722B501147B042 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:00:54] 637*2^1431593-1 is not prime. Res64: C3B1143C3815EF22 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:00:55] 651*2^1431593-1 is not prime. Res64: BF891E5616E9A95E Time : 0.0 sec. user=mdettweiler [2016-06-06 17:00:56] 697*2^1431593-1 is not prime. Res64: 03DFF60E4850487A Time : 0.0 sec. user=mdettweiler [2016-06-06 17:00:57] 811*2^1431593-1 is not prime. Res64: C53DF5784C4099B1 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:00:57] 831*2^1431593-1 is not prime. Res64: 9E957F573BDC6291 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:03:43] 861*2^1431593-1 is not prime. Res64: D66CCA22BB873604 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:03:43] 945*2^1431593-1 is not prime. Res64: FF1650A0F8959F06 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:03:44] 981*2^1431593-1 is not prime. Res64: BD8C1BEA62E49AEC Time : 0.0 sec. user=mdettweiler [2016-06-06 17:03:45] 755*2^1431594-1 is not prime. Res64: FB1A8515871C7570 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:03:46] 783*2^1431594-1 is not prime. Res64: 7D2FC064445C1E07 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:26:43] 821*2^1431594-1 is not prime. Res64: FE86892026CFE2DA Time : 0.0 sec. user=mdettweiler [2016-06-06 17:26:44] 851*2^1431594-1 is not prime. Res64: 777DFDBEC49B083A Time : 0.0 sec. user=mdettweiler [2016-06-06 17:26:44] 903*2^1431594-1 is not prime. Res64: 09B54BD54B2EAA32 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:26:44] 993*2^1431594-1 is not prime. Res64: 91A00838FD17359A Time : 0.0 sec. user=mdettweiler [2016-06-06 17:26:44] 679*2^1431595-1 is not prime. Res64: 472D7336E276C539 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:29:57] 805*2^1431595-1 is not prime. Res64: 5B8D80F182A9C3D0 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:29:57] 925*2^1431595-1 is not prime. Res64: 1DB1C2FA56EB3C62 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:29:58] 707*2^1431596-1 is not prime. Res64: 226285B9FF6014F4 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:29:58] 789*2^1431596-1 is not prime. Res64: 29B686C987C71053 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:29:58] 827*2^1431596-1 is not prime. Res64: C30CF5A7B5759105 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:49:29] 869*2^1431596-1 is not prime. Res64: 5D34E54B605542C4 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:49:30] 903*2^1431596-1 is not prime. Res64: 424C7A72AB340150 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:49:30] 923*2^1431596-1 is not prime. Res64: B82E9716CCCFD197 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:49:30] 945*2^1431596-1 is not prime. Res64: D832AA3B75D5C375 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:49:30] 685*2^1431597-1 is not prime. Res64: EB253C284F833653 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:51:42] 817*2^1431597-1 is not prime. Res64: 6EC4D3DA2AE7EFE5 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:51:42] 865*2^1431597-1 is not prime. Res64: 42064956D053D9E1 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:51:43] 707*2^1431598-1 is not prime. Res64: 1A2732437DE29E23 Time : 0.0 sec. user=mdettweiler [2016-06-06 17:51:43] 737*2^1431598-1 is not prime. Res64: E6722EBF06CAAF5F Time : 0.0 sec. user=mdettweiler [2016-06-06 17:51:43] 885*2^1431598-1 is not prime. Res64: 70E8B3899B04DB9C Time : 0.0 sec. user=mdettweiler [2016-06-06 18:14:17] 915*2^1431598-1 is not prime. Res64: E2A7EF7D9C96F664 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:14:18] 933*2^1431598-1 is not prime. Res64: 3095D137A9C4236C Time : 0.0 sec. user=mdettweiler [2016-06-06 18:14:18] 945*2^1431598-1 is not prime. Res64: 018436AB9C010219 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:14:18] 957*2^1431598-1 is not prime. Res64: 7EBF68F972C93FCE Time : 0.0 sec. user=mdettweiler [2016-06-06 18:14:18] 619*2^1431599-1 is not prime. Res64: 7A21EE461E3A9B95 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:18:10] 705*2^1431599-1 is not prime. Res64: 41246BC7D0B3AC11 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:18:10] 711*2^1431599-1 is not prime. Res64: 2B727C9960D73D03 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:18:10] 859*2^1431599-1 is not prime. Res64: 41BF70454B764616 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:18:10] 879*2^1431599-1 is not prime. Res64: 13457B696D5C03E0 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:18:11] 921*2^1431599-1 is not prime. Res64: 6698E72F671EBB38 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:38:21] 615*2^1431600-1 is not prime. Res64: 0059B42EF4A2A2AD Time : 0.0 sec. user=mdettweiler [2016-06-06 18:38:21] 689*2^1431600-1 is not prime. Res64: 645CE2811A33C074 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:38:21] 753*2^1431600-1 is not prime. Res64: D62B29CF44DACEE2 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:38:21] 767*2^1431600-1 is not prime. Res64: C13DF31125ACE8DB Time : 0.0 sec. user=mdettweiler [2016-06-06 18:38:22] 789*2^1431600-1 is not prime. Res64: E02C9B3BA0E30920 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:40:54] 839*2^1431600-1 is not prime. Res64: FF9885234659ACFE Time : 0.0 sec. user=mdettweiler [2016-06-06 18:40:54] 849*2^1431600-1 is not prime. Res64: 9CAF21B682D7D24C Time : 0.0 sec. user=mdettweiler [2016-06-06 18:40:55] 615*2^1431601-1 is not prime. Res64: A3CA3EB77CB99B64 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:40:55] 789*2^1431601-1 is not prime. Res64: 7149869F6284CE99 Time : 0.0 sec. user=mdettweiler [2016-06-06 18:40:55] 861*2^1431601-1 is not prime. Res64: E7A939791FFFF349 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:02:28] 867*2^1431601-1 is not prime. Res64: 52274CBC26336C9D Time : 0.0 sec. user=mdettweiler [2016-06-06 19:02:28] 937*2^1431601-1 is not prime. Res64: 122872B91577BCAC Time : 0.0 sec. user=mdettweiler [2016-06-06 19:02:29] 951*2^1431601-1 is not prime. Res64: B70DC13613CCDB6E Time : 0.0 sec. user=mdettweiler [2016-06-06 19:02:29] 997*2^1431601-1 is not prime. Res64: 029784604B1A3E5F Time : 0.0 sec. user=mdettweiler [2016-06-06 19:02:30] 635*2^1431602-1 is not prime. Res64: D660C9CF0766C79D Time : 0.0 sec. user=mdettweiler [2016-06-06 19:06:34] 675*2^1431602-1 is not prime. Res64: FD6E24121A985A41 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:06:35] 825*2^1431602-1 is not prime. Res64: F93C98B4BF3D6FE1 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:06:36] 843*2^1431602-1 is not prime. Res64: 0F920C893BBDE2F1 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:06:36] 923*2^1431602-1 is not prime. Res64: EC878692E91C16FB Time : 0.0 sec. user=mdettweiler [2016-06-06 19:06:37] 941*2^1431602-1 is not prime. Res64: 3A1532401FF406BB Time : 0.0 sec. user=mdettweiler [2016-06-06 19:26:22] 751*2^1431603-1 is not prime. Res64: F238D81BAEF15BC1 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:26:22] 913*2^1431603-1 is not prime. Res64: 5927418DD88A6194 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:26:22] 963*2^1431603-1 is not prime. Res64: 12C1107F8F1216B5 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:26:22] 605*2^1431604-1 is not prime. Res64: E3C2ABA06600427A Time : 0.0 sec. user=mdettweiler [2016-06-06 19:26:23] 623*2^1431604-1 is not prime. Res64: AE1A4BD1F987A026 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:28:44] 833*2^1431604-1 is not prime. Res64: 936A34DE6E168154 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:28:44] 903*2^1431604-1 is not prime. Res64: 4D1591CAD2B8985F Time : 0.0 sec. user=mdettweiler [2016-06-06 19:28:44] 939*2^1431604-1 is not prime. Res64: CA8719235A6BCB82 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:28:44] 989*2^1431604-1 is not prime. Res64: C25AB43FD1E591A5 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:28:45] 627*2^1431605-1 is not prime. Res64: 984B534866D47D63 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:51:00] 655*2^1431605-1 is not prime. Res64: F71F06F703471FFF Time : 0.0 sec. user=mdettweiler [2016-06-06 19:51:00] 657*2^1431605-1 is not prime. Res64: 9AA2226F08906E32 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:51:00] 721*2^1431605-1 is not prime. Res64: 6BCDFBC0C949E720 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:51:00] 897*2^1431605-1 is not prime. Res64: A144BFB686F63B63 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:51:01] 951*2^1431605-1 is not prime. Res64: 7C10A9AEBD49C42A Time : 0.0 sec. user=mdettweiler [2016-06-06 19:53:56] 707*2^1431606-1 is not prime. Res64: 0E0EDAACDB7B40B3 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:53:56] 711*2^1431606-1 is not prime. Res64: C879EADBF2CCD527 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:53:56] 801*2^1431606-1 is not prime. Res64: 573D43E4B99EF935 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:53:56] 833*2^1431606-1 is not prime. Res64: EFD3CFAB9EC550D6 Time : 0.0 sec. user=mdettweiler [2016-06-06 19:53:57] 873*2^1431606-1 is not prime. Res64: 42F804CEEFEEBAD9 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:13:57] 903*2^1431606-1 is not prime. Res64: 9987A94084FA02AF Time : 0.0 sec. user=mdettweiler [2016-06-06 20:13:58] 993*2^1431606-1 is not prime. Res64: 0EB6BBFDF4131144 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:13:58] 639*2^1431607-1 is not prime. Res64: DC71CD2DF3BFCB05 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:13:58] 715*2^1431607-1 is not prime. Res64: 10424FB2DC34520B Time : 0.0 sec. user=mdettweiler [2016-06-06 20:13:58] 603*2^1431608-1 is not prime. Res64: 5ACE5A8076951119 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:17:11] 663*2^1431608-1 is not prime. Res64: 32BC2C172F58EB2A Time : 0.0 sec. user=mdettweiler [2016-06-06 20:17:11] 753*2^1431608-1 is not prime. Res64: 7A9A4AFA35226547 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:17:12] 759*2^1431608-1 is not prime. Res64: 01BC492009DC2A73 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:17:12] 797*2^1431608-1 is not prime. Res64: 1EAAB096DF0C659F Time : 0.0 sec. user=mdettweiler [2016-06-06 20:17:12] 625*2^1431609-1 is not prime. Res64: EC29108D6C33996D Time : 0.0 sec. user=mdettweiler [2016-06-06 20:38:57] 741*2^1431609-1 is not prime. Res64: D438FC816E3E764D Time : 0.0 sec. user=mdettweiler [2016-06-06 20:38:57] 751*2^1431609-1 is not prime. Res64: 0EFE61499C66714C Time : 0.0 sec. user=mdettweiler [2016-06-06 20:38:57] 795*2^1431609-1 is not prime. Res64: 2E32E9CC889FBCC4 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:38:58] 817*2^1431609-1 is not prime. Res64: 6AB47C544EC88BA7 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:38:58] 835*2^1431609-1 is not prime. Res64: 2A7257AFF70E63DB Time : 0.0 sec. user=mdettweiler [2016-06-06 20:41:47] 865*2^1431609-1 is not prime. Res64: 7C8F1C742AAEB96F Time : 0.0 sec. user=mdettweiler [2016-06-06 20:41:47] 635*2^1431610-1 is not prime. Res64: F26DCB6D79887E4F Time : 0.0 sec. user=mdettweiler [2016-06-06 20:41:47] 647*2^1431610-1 is not prime. Res64: 7E945BBE57FF6ED6 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:41:47] 651*2^1431610-1 is not prime. Res64: 38B9F053CBA5F3D1 Time : 0.0 sec. user=mdettweiler [2016-06-06 20:41:48] 675*2^1431610-1 is not prime. Res64: 0C9331E999415686 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:02:32] 717*2^1431610-1 is not prime. Res64: 733DA608E2C4B10D Time : 0.0 sec. user=mdettweiler [2016-06-06 21:02:33] 723*2^1431610-1 is not prime. Res64: 7F11099673DD5A06 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:02:34] 765*2^1431610-1 is not prime. Res64: B44F590B455CFC58 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:02:35] 773*2^1431610-1 is not prime. Res64: B83338F45B0BB97B Time : 0.0 sec. user=mdettweiler [2016-06-06 21:02:35] 621*2^1431611-1 is not prime. Res64: 6DDA482ED38FA196 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:05:03] 651*2^1431611-1 is not prime. Res64: 891F7B23A3EEE8F5 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:05:04] 703*2^1431611-1 is not prime. Res64: 916C7D30A0982264 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:05:06] 943*2^1431611-1 is not prime. Res64: 67DFECF6DE6541B8 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:05:08] 979*2^1431611-1 is not prime. Res64: 736F4E31100BAF39 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:05:09] 999*2^1431611-1 is not prime. Res64: F076FE60772412E8 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:29:23] 665*2^1431612-1 is not prime. Res64: 84550E11C3DAC96D Time : 0.0 sec. user=mdettweiler [2016-06-06 21:29:24] 749*2^1431612-1 is not prime. Res64: 68001C1F9BADF7CD Time : 0.0 sec. user=mdettweiler [2016-06-06 21:29:24] 777*2^1431612-1 is not prime. Res64: 6340164E2C3BB239 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:29:24] 965*2^1431612-1 is not prime. Res64: 703612F3248D813A Time : 0.0 sec. user=mdettweiler [2016-06-06 21:29:25] 679*2^1431613-1 is not prime. Res64: AA4D72C380AEF6F9 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:31:15] 745*2^1431613-1 is not prime. Res64: 778728D2C4CC335C Time : 0.0 sec. user=mdettweiler [2016-06-06 21:31:16] 835*2^1431613-1 is not prime. Res64: 79EC4F511A932CE1 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:31:17] 859*2^1431613-1 is not prime. Res64: C37821F569A1B59C Time : 0.0 sec. user=mdettweiler [2016-06-06 21:31:17] 901*2^1431613-1 is not prime. Res64: A459C8107598E09A Time : 0.0 sec. user=mdettweiler [2016-06-06 21:31:18] 915*2^1431613-1 is not prime. Res64: CDAABFDE2A3C6617 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:52:22] 937*2^1431613-1 is not prime. Res64: CAD12054C0B2BEB7 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:52:22] 945*2^1431613-1 is not prime. Res64: E6EDDBC9313800BE Time : 0.0 sec. user=mdettweiler [2016-06-06 21:52:22] 951*2^1431613-1 is not prime. Res64: 8185CE339CF0CAA5 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:52:23] 615*2^1431614-1 is not prime. Res64: 9BC0B2ACF259CBF8 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:52:23] 665*2^1431614-1 is not prime. Res64: C4BF2EA795042F9B Time : 0.0 sec. user=mdettweiler [2016-06-06 21:55:22] 711*2^1431614-1 is not prime. Res64: 887F2946170793CA Time : 0.0 sec. user=mdettweiler [2016-06-06 21:55:22] 753*2^1431614-1 is not prime. Res64: E9FD8E92E3F74DB9 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:55:23] 851*2^1431614-1 is not prime. Res64: E2EF1ADC3FD99D28 Time : 0.0 sec. user=mdettweiler [2016-06-06 21:55:23] 885*2^1431614-1 is not prime. Res64: 3C9637FB4048FDCA Time : 0.0 sec. user=mdettweiler [2016-06-06 21:55:23] 897*2^1431614-1 is not prime. Res64: 5D451A6BC494CD7E Time : 0.0 sec. user=mdettweiler [2016-06-06 22:18:18] 983*2^1431614-1 is not prime. Res64: 15F8D9294DE4BA39 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:18:19] 609*2^1431615-1 is not prime. Res64: 2552AB5AFC2F275B Time : 0.0 sec. user=mdettweiler [2016-06-06 22:18:19] 685*2^1431615-1 is not prime. Res64: 084BF8D4FA4658A5 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:18:19] 693*2^1431615-1 is not prime. Res64: EBA8431E03109237 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:18:20] 819*2^1431615-1 is not prime. Res64: C6796C776F2A39E2 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:20:49] 825*2^1431615-1 is not prime. Res64: 231C33BD8D4FD8E9 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:20:49] 859*2^1431615-1 is not prime. Res64: 5098290D52F71163 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:20:50] 979*2^1431615-1 is not prime. Res64: 76761D541ECDCFDA Time : 0.0 sec. user=mdettweiler [2016-06-06 22:20:50] 695*2^1431616-1 is not prime. Res64: A7EB9C1014DEE07D Time : 0.0 sec. user=mdettweiler [2016-06-06 22:20:50] 765*2^1431616-1 is not prime. Res64: CDFCFED534EC7F2F Time : 0.0 sec. user=mdettweiler [2016-06-06 22:40:19] 845*2^1431616-1 is not prime. Res64: E71A8BF2A51CD115 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:40:19] 855*2^1431616-1 is not prime. Res64: FC86B2FC56A4814A Time : 0.0 sec. user=mdettweiler [2016-06-06 22:40:19] 999*2^1431616-1 is not prime. Res64: 4D89E1E76CBE300B Time : 0.0 sec. user=mdettweiler [2016-06-06 22:40:20] 697*2^1431617-1 is not prime. Res64: 1CB2C5B9C30E6971 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:40:20] 711*2^1431617-1 is not prime. Res64: E0239655304DD4EE Time : 0.0 sec. user=mdettweiler [2016-06-06 22:43:07] 715*2^1431617-1 is not prime. Res64: CE8E391B3893E9B7 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:43:08] 681*2^1431618-1 is not prime. Res64: 3F8E8DAFA5C2F155 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:43:08] 765*2^1431618-1 is not prime. Res64: 9669175A16073746 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:43:08] 951*2^1431618-1 is not prime. Res64: EDBF626CD3001B01 Time : 0.0 sec. user=mdettweiler [2016-06-06 22:43:09] 975*2^1431618-1 is not prime. Res64: 80D6B54058368A11 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:03:39] 977*2^1431618-1 is not prime. Res64: 2950BF94F9A3EB14 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:03:40] 609*2^1431619-1 is not prime. Res64: 6E30DA36B8D3E197 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:03:41] 619*2^1431619-1 is not prime. Res64: D7A0DAB4C1409B9C Time : 0.0 sec. user=mdettweiler [2016-06-06 23:03:42] 703*2^1431619-1 is not prime. Res64: E4851090566BF3F8 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:03:43] 759*2^1431619-1 is not prime. Res64: 18086B209D0822D3 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:05:58] 925*2^1431619-1 is not prime. Res64: 7B0CEEAC5A90809C Time : 0.0 sec. user=mdettweiler [2016-06-06 23:05:59] 999*2^1431619-1 is not prime. Res64: 159B8EF27BA8D603 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:06:00] 675*2^1431620-1 is not prime. Res64: 8DC8DEDCF44656C3 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:06:01] 813*2^1431620-1 is not prime. Res64: C7B02442ED0E106E Time : 0.0 sec. user=mdettweiler [2016-06-06 23:06:02] 899*2^1431620-1 is not prime. Res64: 43E4F7DDB6E06265 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:25:26] 915*2^1431620-1 is not prime. Res64: 04AAEDD4858E82BC Time : 0.0 sec. user=mdettweiler [2016-06-06 23:25:26] 999*2^1431620-1 is not prime. Res64: D9E416F0AF7C273C Time : 0.0 sec. user=mdettweiler [2016-06-06 23:25:27] 601*2^1431621-1 is not prime. Res64: 22440402A9C88132 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:25:27] 609*2^1431621-1 is not prime. Res64: 84087D709EA19082 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:25:28] 649*2^1431621-1 is not prime. Res64: FC4A4E5E3E1D4E6B Time : 0.0 sec. user=mdettweiler [2016-06-06 23:28:08] 675*2^1431621-1 is not prime. Res64: DA54870A93A791B5 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:28:09] 691*2^1431621-1 is not prime. Res64: 877E71C6677DA6BF Time : 0.0 sec. user=mdettweiler [2016-06-06 23:28:09] 717*2^1431621-1 is not prime. Res64: 07AB6A123685CDA2 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:28:10] 735*2^1431621-1 is not prime. Res64: 0984242265FC87CA Time : 0.0 sec. user=mdettweiler [2016-06-06 23:28:10] 741*2^1431621-1 is not prime. Res64: 9C90F414FF14DC9F Time : 0.0 sec. user=mdettweiler [2016-06-06 23:48:57] 837*2^1431621-1 is not prime. Res64: 3B8BD74E8902CDA5 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:48:57] 603*2^1431622-1 is not prime. Res64: 76331798D91D147A Time : 0.0 sec. user=mdettweiler [2016-06-06 23:48:57] 623*2^1431622-1 is not prime. Res64: FBB6D957E9977151 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:48:58] 665*2^1431622-1 is not prime. Res64: 4EFB31504F928977 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:48:58] 695*2^1431622-1 is not prime. Res64: 4B1A039A0CF6406C Time : 0.0 sec. user=mdettweiler [2016-06-06 23:51:15] 951*2^1431622-1 is not prime. Res64: DC72F8E7E8BF0E33 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:51:15] 981*2^1431622-1 is not prime. Res64: 6536AB8461D86307 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:51:16] 609*2^1431623-1 is not prime. Res64: DA84B4AAFF7C8EE2 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:51:16] 669*2^1431623-1 is not prime. Res64: 42C1F90B2BC9FF45 Time : 0.0 sec. user=mdettweiler [2016-06-06 23:51:16] 805*2^1431623-1 is not prime. Res64: 9F96503CA9FA8DA4 Time : 0.0 sec.