user=mdettweiler [2017-05-27 00:06:04] 889*2^1455105-1 is not prime. Res64: AE10ADC581F0926E Time : 0.0 sec. user=mdettweiler [2017-05-27 00:06:05] 891*2^1455105-1 is not prime. Res64: A343C3EBA324A1E9 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:06:06] 951*2^1455105-1 is not prime. Res64: 646EC3E3E127BFBA Time : 0.0 sec. user=mdettweiler [2017-05-27 00:06:06] 991*2^1455105-1 is not prime. Res64: 75984727628D498F Time : 0.0 sec. user=mdettweiler [2017-05-27 00:06:07] 999*2^1455105-1 is not prime. Res64: B2939402644C92DF Time : 0.0 sec. user=mdettweiler [2017-05-27 00:18:31] 617*2^1455106-1 is not prime. Res64: 2AD6511713A04E87 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:18:31] 677*2^1455106-1 is not prime. Res64: 70E1BD12C8F73C8F Time : 0.0 sec. user=mdettweiler [2017-05-27 00:18:31] 741*2^1455106-1 is not prime. Res64: 21B9B2DEA38C6EFE Time : 0.0 sec. user=mdettweiler [2017-05-27 00:18:31] 743*2^1455106-1 is not prime. Res64: FE7CE80F22B0E00E Time : 0.0 sec. user=mdettweiler [2017-05-27 00:18:32] 643*2^1455107-1 is not prime. Res64: 186B0CD9BE152C23 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:37:50] 733*2^1455107-1 is not prime. Res64: 4422AB09482AB260 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:37:50] 799*2^1455107-1 is not prime. Res64: ABB035545E957E04 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:37:50] 955*2^1455107-1 is not prime. Res64: E2404B25B963005E Time : 0.0 sec. user=mdettweiler [2017-05-27 00:37:50] 663*2^1455108-1 is not prime. Res64: 3B34B4FE76F556C1 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:37:51] 735*2^1455108-1 is not prime. Res64: 89B24FC2EE6508BC Time : 0.0 sec. user=mdettweiler [2017-05-27 00:42:05] 753*2^1455108-1 is not prime. Res64: 42E2EBF069740F90 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:42:06] 875*2^1455108-1 is not prime. Res64: CD0B3B64D0E4F51A Time : 0.0 sec. user=mdettweiler [2017-05-27 00:42:07] 899*2^1455108-1 is not prime. Res64: 4624B921BEFB0C21 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:42:10] 751*2^1455109-1 is not prime. Res64: 454AF3178110525B Time : 0.0 sec. user=mdettweiler [2017-05-27 00:42:11] 895*2^1455109-1 is not prime. Res64: 6B7863AF170E76BF Time : 0.0 sec. user=mdettweiler [2017-05-27 00:52:07] 951*2^1455109-1 is not prime. Res64: FB4AB58637244D5E Time : 0.0 sec. user=mdettweiler [2017-05-27 00:52:08] 645*2^1455110-1 is not prime. Res64: 12BEC06F7F5C65C0 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:52:08] 711*2^1455110-1 is not prime. Res64: DFF0260B563F99D4 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:52:08] 941*2^1455110-1 is not prime. Res64: 5C4EB0A4506534C5 Time : 0.0 sec. user=mdettweiler [2017-05-27 00:52:08] 971*2^1455110-1 is not prime. Res64: CC8A8773486DA32F Time : 0.0 sec. user=mdettweiler [2017-05-27 01:04:06] 651*2^1455111-1 is not prime. Res64: CDC942915169C8B6 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:04:07] 751*2^1455111-1 is not prime. Res64: 05C634B5BA0205FA Time : 0.0 sec. user=mdettweiler [2017-05-27 01:04:09] 775*2^1455111-1 is not prime. Res64: 5B613083EC9E8271 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:04:11] 819*2^1455111-1 is not prime. Res64: 5668F2FCC6C5F910 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:04:12] 895*2^1455111-1 is not prime. Res64: E9300C661BA2B283 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:23:25] 615*2^1455112-1 is not prime. Res64: D64BE947A511F644 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:23:25] 657*2^1455112-1 is not prime. Res64: 19EF16E44D1CBEBA Time : 0.0 sec. user=mdettweiler [2017-05-27 01:23:25] 755*2^1455112-1 is not prime. Res64: 45C06A2ED68C29D3 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:23:26] 825*2^1455112-1 is not prime. Res64: 74411EF7DFF8F9AC Time : 0.0 sec. user=mdettweiler [2017-05-27 01:23:26] 873*2^1455112-1 is not prime. Res64: 58003B14CF65C515 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:27:48] 989*2^1455112-1 is not prime. Res64: 82DB0225CF597299 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:27:49] 747*2^1455113-1 is not prime. Res64: 6B2FA604146745B7 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:27:50] 949*2^1455113-1 is not prime. Res64: D56F12192386A014 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:27:51] 663*2^1455114-1 is not prime. Res64: 03825BC1ED3AD600 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:27:52] 683*2^1455114-1 is not prime. Res64: C04CC71476BBC459 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:37:43] 717*2^1455114-1 is not prime. Res64: E93C948D8973B3D1 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:37:44] 791*2^1455114-1 is not prime. Res64: D816C6A2B2573A4A Time : 0.0 sec. user=mdettweiler [2017-05-27 01:37:44] 903*2^1455114-1 is not prime. Res64: 573A7E8C77A87545 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:37:44] 975*2^1455114-1 is not prime. Res64: AFDD881B4AE79CD9 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:37:45] 631*2^1455115-1 is not prime. Res64: 6AC17897A0C5A929 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:59:57] 633*2^1455115-1 is not prime. Res64: 95C8A36691D863F7 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:59:58] 873*2^1455115-1 is not prime. Res64: F4935DEE489270D6 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:59:58] 889*2^1455115-1 is not prime. Res64: 5E9C6C7AF43D08EE Time : 0.0 sec. user=mdettweiler [2017-05-27 01:59:58] 813*2^1455116-1 is not prime. Res64: 43A8AA839A6FE458 Time : 0.0 sec. user=mdettweiler [2017-05-27 01:59:58] 843*2^1455116-1 is not prime. Res64: C26307C7434D0A79 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:08:55] 899*2^1455116-1 is not prime. Res64: E60B078909F31AE0 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:08:55] 927*2^1455116-1 is not prime. Res64: 9B07F34697A238FF Time : 0.0 sec. user=mdettweiler [2017-05-27 02:08:55] 945*2^1455116-1 is not prime. Res64: E67D649A02FCE37C Time : 0.0 sec. user=mdettweiler [2017-05-27 02:08:56] 987*2^1455116-1 is not prime. Res64: 2BE163AB7B286715 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:08:56] 741*2^1455117-1 is not prime. Res64: 6E7996DF6EAE25C7 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:13:34] 837*2^1455117-1 is not prime. Res64: BE5302B91400148C Time : 0.0 sec. user=mdettweiler [2017-05-27 02:13:34] 889*2^1455117-1 is not prime. Res64: BF3DADB73AE3FB81 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:13:35] 915*2^1455117-1 is not prime. Res64: 7D9008100A60A53C Time : 0.0 sec. user=mdettweiler [2017-05-27 02:13:35] 919*2^1455117-1 is not prime. Res64: 6D00F075F006E3AA Time : 0.0 sec. user=mdettweiler [2017-05-27 02:13:35] 611*2^1455118-1 is not prime. Res64: 7F330B47085813AB Time : 0.0 sec. user=mdettweiler [2017-05-27 02:23:13] 671*2^1455118-1 is not prime. Res64: 95FDC41480450AB3 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:23:13] 755*2^1455118-1 is not prime. Res64: 1D4752417674AB1F Time : 0.0 sec. user=mdettweiler [2017-05-27 02:23:14] 773*2^1455118-1 is not prime. Res64: 1A04258C72D578A9 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:23:14] 801*2^1455118-1 is not prime. Res64: 66645F0766A78C44 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:23:14] 857*2^1455118-1 is not prime. Res64: AD8C5768B42E87DB Time : 0.0 sec. user=mdettweiler [2017-05-27 02:46:09] 891*2^1455118-1 is not prime. Res64: 68E7B8E6DC0EFB0A Time : 0.0 sec. user=mdettweiler [2017-05-27 02:46:09] 933*2^1455118-1 is not prime. Res64: 75AA8512595EDF60 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:46:09] 609*2^1455119-1 is not prime. Res64: 95D965620CEF5027 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:46:09] 643*2^1455119-1 is not prime. Res64: 6AE652A0FB1C983D Time : 0.0 sec. user=mdettweiler [2017-05-27 02:46:10] 771*2^1455119-1 is not prime. Res64: F52BB5DD5DB6CE30 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:55:07] 813*2^1455119-1 is not prime. Res64: FCFEED4A82600D33 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:55:08] 843*2^1455119-1 is not prime. Res64: 5370AB8E7A00F75E Time : 0.0 sec. user=mdettweiler [2017-05-27 02:55:08] 653*2^1455120-1 is not prime. Res64: 374488E40EAE21A1 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:55:08] 737*2^1455120-1 is not prime. Res64: DDC326A2F3BD3324 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:55:08] 797*2^1455120-1 is not prime. Res64: 12D7DF9E8EB3542B Time : 0.0 sec. user=mdettweiler [2017-05-27 02:59:56] 615*2^1455121-1 is not prime. Res64: 9E2DA1DD07D7F1C0 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:59:56] 625*2^1455121-1 is not prime. Res64: 326D172657E0A6F1 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:59:57] 681*2^1455121-1 is not prime. Res64: 68FF782D0E036382 Time : 0.0 sec. user=mdettweiler [2017-05-27 02:59:57] 717*2^1455121-1 is not prime. Res64: EDC1C50B164CB4CC Time : 0.0 sec. user=mdettweiler [2017-05-27 02:59:57] 819*2^1455121-1 is not prime. Res64: DEF32222DF8CD4B4 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:09:30] 877*2^1455121-1 is not prime. Res64: 7ED72E0B805BDF5F Time : 0.0 sec. user=mdettweiler [2017-05-27 03:09:30] 999*2^1455121-1 is not prime. Res64: D18EA793EE2859C6 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:09:30] 633*2^1455122-1 is not prime. Res64: B742140DE140B940 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:09:31] 677*2^1455122-1 is not prime. Res64: D023CD3ADF1896F3 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:09:31] 711*2^1455122-1 is not prime. Res64: 7B1F4F5E7D0C48F5 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:31:50] 815*2^1455122-1 is not prime. Res64: 52BEF5AFD3AB997F Time : 0.0 sec. user=mdettweiler [2017-05-27 03:31:52] 827*2^1455122-1 is not prime. Res64: 14B14E74AE791F26 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:31:53] 857*2^1455122-1 is not prime. Res64: 7F0B10CF304B0C4C Time : 0.0 sec. user=mdettweiler [2017-05-27 03:31:54] 867*2^1455122-1 is not prime. Res64: A4CC7CD13B65FC8B Time : 0.0 sec. user=mdettweiler [2017-05-27 03:31:55] 903*2^1455122-1 is not prime. Res64: 04F44FD616333159 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:41:06] 935*2^1455122-1 is not prime. Res64: 49042E86280DB64A Time : 0.0 sec. user=mdettweiler [2017-05-27 03:41:08] 951*2^1455122-1 is not prime. Res64: 96DFC002DA2799F9 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:41:08] 619*2^1455123-1 is not prime. Res64: 6E2FFA03FA2EC462 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:41:09] 691*2^1455123-1 is not prime. Res64: 34028776B1F66B15 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:41:09] 699*2^1455123-1 is not prime. Res64: EFE7ED6360F0563D Time : 0.0 sec. user=mdettweiler [2017-05-27 03:45:51] 703*2^1455123-1 is not prime. Res64: 8F1A6AAFAB248610 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:45:51] 801*2^1455123-1 is not prime. Res64: E30846904DFCA38B Time : 0.0 sec. user=mdettweiler [2017-05-27 03:45:52] 879*2^1455123-1 is not prime. Res64: EA4956276D4AA485 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:45:52] 629*2^1455124-1 is not prime. Res64: DE5A67FD49A86860 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:45:53] 657*2^1455124-1 is not prime. Res64: B9379FD40063C179 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:55:13] 677*2^1455124-1 is not prime. Res64: 94B708FDDC15CF83 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:55:13] 813*2^1455124-1 is not prime. Res64: 50B54CDCEF90DE22 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:55:14] 885*2^1455124-1 is not prime. Res64: 3B53D4E7A16D2C99 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:55:14] 903*2^1455124-1 is not prime. Res64: D9D2B57B8FB65129 Time : 0.0 sec. user=mdettweiler [2017-05-27 03:55:15] 607*2^1455125-1 is not prime. Res64: 19053E355CB59405 Time : 0.0 sec. user=mdettweiler [2017-05-27 04:18:00] 627*2^1455125-1 is not prime. Res64: 2748A8539C809EC4 Time : 0.0 sec. user=mdettweiler [2017-05-27 04:18:00] 675*2^1455125-1 is not prime. Res64: 8EBF480F136E80BA Time : 0.0 sec. user=mdettweiler [2017-05-27 04:18:00] 699*2^1455125-1 is not prime. Res64: 22237A0B92E1AD1A Time : 0.0 sec. user=mdettweiler [2017-05-27 04:18:01] 729*2^1455125-1 is not prime. Res64: 3C3AE02A199C76F0 Time : 0.0 sec. user=mdettweiler [2017-05-27 04:18:01] 789*2^1455125-1 is not prime. Res64: 3B877A0DC2D66E5B Time : 0.0 sec. user=mdettweiler [2017-05-27 04:26:45] 957*2^1455125-1 is not prime. Res64: 4738F0BE9A6F5C02 Time : 0.0 sec. user=mdettweiler [2017-05-27 04:26:45] 641*2^1455126-1 is not prime. Res64: E872FF475D644D14 Time : 0.0 sec. user=mdettweiler [2017-05-27 04:26:45] 777*2^1455126-1 is not prime. Res64: FA4046911082B4AD Time : 0.0 sec. user=mdettweiler [2017-05-27 04:26:45] 861*2^1455126-1 is not prime. Res64: EBC3BABF40908C66 Time : 0.0 sec. user=mdettweiler [2017-05-27 04:26:46] 947*2^1455126-1 is not prime. Res64: C43D1173A671AA06 Time : 0.0 sec. user=mdettweiler [2017-05-27 04:31:41] 793*2^1455127-1 is not prime. Res64: 53A553A2D8A1ABA2 Time : 0.0 sec. user=mdettweiler [2017-05-27 04:31:41] 885*2^1455127-1 is not prime. Res64: A6CDDC269E6D0CFD Time : 0.0 sec. user=mdettweiler [2017-05-27 04:31:41] 909*2^1455127-1 is not prime. Res64: ADA544353D13E5AE Time : 0.0 sec. user=mdettweiler [2017-05-27 04:31:42] 665*2^1455128-1 is not prime. Res64: 798C8D9467B6FF9A Time : 0.0 sec. user=mdettweiler [2017-05-27 04:31:42] 753*2^1455128-1 is not prime. Res64: 4CEFEAAF3B1C5FAE Time : 0.0 sec. user=mdettweiler [2017-05-27 04:41:14] 759*2^1455128-1 is not prime. Res64: A7D673418F83A8FD Time : 0.0 sec. user=mdettweiler [2017-05-27 04:41:14] 797*2^1455128-1 is not prime. Res64: 9BBCF25DDA6866AC Time : 0.0 sec. user=mdettweiler [2017-05-27 04:41:14] 819*2^1455128-1 is not prime. Res64: 3F5D4C0F4528586D Time : 0.0 sec. user=mdettweiler [2017-05-27 04:41:15] 637*2^1455129-1 is not prime. Res64: 5A913A1C11F067E6 Time : 0.0 sec. user=mdettweiler [2017-05-27 04:41:15] 727*2^1455129-1 is not prime. Res64: 5A34FE4E2A3BFBBD Time : 0.0 sec. user=mdettweiler [2017-05-27 05:03:33] 735*2^1455129-1 is not prime. Res64: 68F2DF5F7028C1FC Time : 0.0 sec. user=mdettweiler [2017-05-27 05:03:34] 817*2^1455129-1 is not prime. Res64: C67F67BC136B793F Time : 0.0 sec. user=mdettweiler [2017-05-27 05:03:35] 603*2^1455130-1 is not prime. Res64: 634D6D610D8E3DF8 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:03:35] 701*2^1455130-1 is not prime. Res64: CF8416BDBA35CC34 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:03:36] 723*2^1455130-1 is not prime. Res64: 2EF44782B9AE7E86 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:12:16] 765*2^1455130-1 is not prime. Res64: 91091917DE527D51 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:12:16] 843*2^1455130-1 is not prime. Res64: E8933C2174BE5AFB Time : 0.0 sec. user=mdettweiler [2017-05-27 05:12:16] 857*2^1455130-1 is not prime. Res64: BD1E1B18F158C917 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:12:17] 887*2^1455130-1 is not prime. Res64: 6EAF282B45D528CE Time : 0.0 sec. user=mdettweiler [2017-05-27 05:12:17] 923*2^1455130-1 is not prime. Res64: 8977F0E6CA572148 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:17:09] 745*2^1455131-1 is not prime. Res64: A8512A464495C7B6 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:17:10] 781*2^1455131-1 is not prime. Res64: CBF680F530B11A21 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:17:10] 921*2^1455131-1 is not prime. Res64: A9D631928171B002 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:17:10] 723*2^1455132-1 is not prime. Res64: 4D1929A0FA830BAA Time : 0.0 sec. user=mdettweiler [2017-05-27 05:17:10] 619*2^1455133-1 is not prime. Res64: 404938E76F3A4938 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:26:48] 771*2^1455133-1 is not prime. Res64: B0F4CD27C3E72FAC Time : 0.0 sec. user=mdettweiler [2017-05-27 05:26:48] 927*2^1455133-1 is not prime. Res64: A4D19A5C359AB844 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:26:49] 937*2^1455133-1 is not prime. Res64: 105E488BDF55BBAB Time : 0.0 sec. user=mdettweiler [2017-05-27 05:26:49] 705*2^1455134-1 is not prime. Res64: 86CF16105E021590 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:26:49] 731*2^1455134-1 is not prime. Res64: 75A91DF527BF8545 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:50:06] 827*2^1455134-1 is not prime. Res64: E70DDC5A586F3CE2 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:50:06] 885*2^1455134-1 is not prime. Res64: E3705FABE06E800F Time : 0.0 sec. user=mdettweiler [2017-05-27 05:50:07] 887*2^1455134-1 is not prime. Res64: 5CACDFFDC3B054B1 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:50:07] 951*2^1455134-1 is not prime. Res64: 7C333EB233565E9E Time : 0.0 sec. user=mdettweiler [2017-05-27 05:50:07] 971*2^1455134-1 is not prime. Res64: 5F05DC787F9562EA Time : 0.0 sec. user=mdettweiler [2017-05-27 05:58:18] 993*2^1455134-1 is not prime. Res64: 9D3BEFC8DFC9FED9 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:58:18] 609*2^1455135-1 is not prime. Res64: 11C1A22B0BCD3A71 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:58:18] 619*2^1455135-1 is not prime. Res64: F050CF9A65C96F27 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:58:18] 871*2^1455135-1 is not prime. Res64: 87A3F7ABBD33BE00 Time : 0.0 sec. user=mdettweiler [2017-05-27 05:58:19] 873*2^1455135-1 is not prime. Res64: 7B81685C20EB00E8 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:03:29] 609*2^1455136-1 is not prime. Res64: 70CF07E159EBA79F Time : 0.0 sec. user=mdettweiler [2017-05-27 06:03:30] 657*2^1455136-1 is not prime. Res64: 94DBA844C303673A Time : 0.0 sec. user=mdettweiler [2017-05-27 06:03:31] 689*2^1455136-1 is not prime. Res64: BD364BCCAD2F20B5 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:03:32] 743*2^1455136-1 is not prime. Res64: 338C027921BB518B Time : 0.0 sec. user=mdettweiler [2017-05-27 06:03:32] 765*2^1455136-1 is not prime. Res64: B6DE3FB36166B1FD Time : 0.0 sec. user=mdettweiler [2017-05-27 06:12:47] 777*2^1455136-1 is not prime. Res64: 454B0AB052A3E519 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:12:48] 869*2^1455136-1 is not prime. Res64: ECC0A6636868EC79 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:12:48] 923*2^1455136-1 is not prime. Res64: D0068DAB191E557E Time : 0.0 sec. user=mdettweiler [2017-05-27 06:12:48] 927*2^1455136-1 is not prime. Res64: 05E5E2DD8EA5BCA2 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:12:48] 939*2^1455136-1 is not prime. Res64: BDFF1F1116917D0F Time : 0.0 sec. user=mdettweiler [2017-05-27 06:35:31] 965*2^1455136-1 is not prime. Res64: 77876F1E4CC794E9 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:35:31] 969*2^1455136-1 is not prime. Res64: 63A054B8EB2E3718 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:35:31] 649*2^1455137-1 is not prime. Res64: 3CB3C30EC49F5B9A Time : 0.0 sec. user=mdettweiler [2017-05-27 06:35:31] 675*2^1455137-1 is not prime. Res64: 9AFFC6945D525585 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:35:32] 729*2^1455137-1 is not prime. Res64: E40232777480F2E5 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:43:49] 769*2^1455137-1 is not prime. Res64: 2E425D618DE0937F Time : 0.0 sec. user=mdettweiler [2017-05-27 06:43:49] 799*2^1455137-1 is not prime. Res64: 344A410184754C56 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:43:49] 879*2^1455137-1 is not prime. Res64: 6DF1E7860E0FC6E5 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:43:50] 937*2^1455137-1 is not prime. Res64: 1F0CBEEC4B01E0E4 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:43:50] 991*2^1455137-1 is not prime. Res64: 8A73EF000138633C Time : 0.0 sec. user=mdettweiler [2017-05-27 06:49:11] 737*2^1455138-1 is not prime. Res64: 9A5970F0B7083D68 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:49:11] 767*2^1455138-1 is not prime. Res64: EB67431374D1A6D5 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:49:11] 881*2^1455138-1 is not prime. Res64: 898898F6E1C9665B Time : 0.0 sec. user=mdettweiler [2017-05-27 06:49:11] 893*2^1455138-1 is not prime. Res64: B50C5176623501FE Time : 0.0 sec. user=mdettweiler [2017-05-27 06:49:12] 927*2^1455138-1 is not prime. Res64: 5B1AB38F76125C98 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:58:25] 633*2^1455139-1 is not prime. Res64: 14CBB6C33779BB9F Time : 0.0 sec. user=mdettweiler [2017-05-27 06:58:25] 685*2^1455139-1 is not prime. Res64: F3C5FF8B2600993E Time : 0.0 sec. user=mdettweiler [2017-05-27 06:58:25] 861*2^1455139-1 is not prime. Res64: 1A9FAF5797732F90 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:58:25] 885*2^1455139-1 is not prime. Res64: 300728C2B17D4260 Time : 0.0 sec. user=mdettweiler [2017-05-27 06:58:26] 925*2^1455139-1 is not prime. Res64: 47A7559030DB251B Time : 0.0 sec. user=mdettweiler [2017-05-27 07:21:02] 961*2^1455139-1 is not prime. Res64: E5BA3DFE487AB506 Time : 0.0 sec. user=mdettweiler [2017-05-27 07:21:02] 605*2^1455140-1 is not prime. Res64: 59D9F1E341CCE97A Time : 0.0 sec. user=mdettweiler [2017-05-27 07:21:02] 759*2^1455140-1 is not prime. Res64: 42A05C9AC4D6BF80 Time : 0.0 sec. user=mdettweiler [2017-05-27 07:21:03] 855*2^1455140-1 is not prime. Res64: E0D3A5280644C78F Time : 0.0 sec. user=mdettweiler [2017-05-27 07:21:03] 875*2^1455140-1 is not prime. Res64: D89A77ECA37A4567 Time : 0.0 sec. user=mdettweiler [2017-05-27 07:29:29] 609*2^1455141-1 is not prime. Res64: 704273DC1ACDB79B Time : 0.0 sec. user=mdettweiler [2017-05-27 07:29:29] 709*2^1455141-1 is not prime. Res64: 2BF9E82F92D47D65 Time : 0.0 sec. user=mdettweiler [2017-05-27 07:29:30] 711*2^1455141-1 is not prime. Res64: 795506A31058D782 Time : 0.0 sec. user=mdettweiler [2017-05-27 07:29:30] 727*2^1455141-1 is not prime. Res64: 0059808D134A08ED Time : 0.0 sec. user=mdettweiler [2017-05-27 07:29:30] 741*2^1455141-1 is not prime. Res64: 0C99E55104F237E8 Time : 0.0 sec. user=mdettweiler [2017-05-27 07:34:35] 825*2^1455141-1 is not prime. Res64: 72671D369CF105D3 Time : 0.0 sec. user=mdettweiler [2017-05-27 07:34:36] 647*2^1455142-1 is not prime. Res64: E10256F1BADA4E1A Time : 0.0 sec. user=mdettweiler [2017-05-27 07:34:36] 755*2^1455142-1 is not prime. Res64: CFEFDEFCC47D8381 Time : 0.0 sec. user=mdettweiler [2017-05-27 07:34:36] 827*2^1455142-1 is not prime. Res64: A3B3768028F7B12E Time : 0.0 sec. user=mdettweiler [2017-05-27 07:34:36] 911*2^1455142-1 is not prime. Res64: D6D5144E2577BA95 Time : 0.0 sec. user=mdettweiler [2017-05-27 07:44:05] 633*2^1455143-1 is not prime. Res64: DFDAE228A7953AAD Time : 0.0 sec. user=mdettweiler [2017-05-27 07:44:05] 693*2^1455143-1 is not prime. Res64: B3A678CC609AEAFD Time : 0.0 sec. user=mdettweiler [2017-05-27 07:44:05] 705*2^1455143-1 is not prime. Res64: 03EFCE96B36C7E08 Time : 0.0 sec. user=mdettweiler [2017-05-27 07:44:05] 753*2^1455143-1 is not prime. Res64: BD266D944435354C Time : 0.0 sec. user=mdettweiler [2017-05-27 07:44:06] 805*2^1455143-1 is not prime. Res64: B2C9C95E96072268 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:06:32] 921*2^1455143-1 is not prime. Res64: C5E77B0C66FF216A Time : 0.0 sec. user=mdettweiler [2017-05-27 08:06:32] 725*2^1455144-1 is not prime. Res64: 176DB1D42BFD049E Time : 0.0 sec. user=mdettweiler [2017-05-27 08:06:32] 789*2^1455144-1 is not prime. Res64: 6DA1AB7A60460BB9 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:06:33] 795*2^1455144-1 is not prime. Res64: 6F49E5D08EDEC2E1 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:06:33] 863*2^1455144-1 is not prime. Res64: F4696821DA1B317F Time : 0.0 sec. user=mdettweiler [2017-05-27 08:14:55] 873*2^1455144-1 is not prime. Res64: C61DB683AA1750F2 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:14:55] 909*2^1455144-1 is not prime. Res64: 89E5FE052EFB9345 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:14:55] 601*2^1455145-1 is not prime. Res64: 8ACA4AD668F04956 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:14:55] 609*2^1455145-1 is not prime. Res64: 5A8474CB2102A65F Time : 0.0 sec. user=mdettweiler [2017-05-27 08:14:55] 645*2^1455145-1 is not prime. Res64: 43831C618FA00667 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:19:49] 691*2^1455145-1 is not prime. Res64: 54D78A8224B4AD09 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:19:49] 799*2^1455145-1 is not prime. Res64: 37B548955060D916 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:19:49] 805*2^1455145-1 is not prime. Res64: E76E62B0790C4ADA Time : 0.0 sec. user=mdettweiler [2017-05-27 08:19:50] 871*2^1455145-1 is not prime. Res64: AEAD5E0A534CE274 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:19:50] 919*2^1455145-1 is not prime. Res64: BA479D34C1F5AD42 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:29:29] 675*2^1455146-1 is not prime. Res64: 626304E9B21354AD Time : 0.0 sec. user=mdettweiler [2017-05-27 08:29:29] 837*2^1455146-1 is not prime. Res64: 33E23C3449488EEE Time : 0.0 sec. user=mdettweiler [2017-05-27 08:29:29] 873*2^1455146-1 is not prime. Res64: F488CC68304E1452 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:29:29] 971*2^1455146-1 is not prime. Res64: 232EFAB38369F2FD Time : 0.0 sec. user=mdettweiler [2017-05-27 08:29:30] 1001*2^1455146-1 is not prime. Res64: 02D8836DF87B59A8 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:52:05] 601*2^1455147-1 is not prime. Res64: 5D04B83F18B8DC70 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:52:05] 615*2^1455147-1 is not prime. Res64: FEDC1CDD4878AE18 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:52:05] 649*2^1455147-1 is not prime. Res64: 66E1A7159BE82279 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:52:06] 703*2^1455147-1 is not prime. Res64: 3176463C81C35C56 Time : 0.0 sec. user=mdettweiler [2017-05-27 08:52:06] 801*2^1455147-1 is not prime. Res64: 68948CF16B4DBE13 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:00:23] 891*2^1455147-1 is not prime. Res64: 09B164CD5F7E879E Time : 0.0 sec. user=mdettweiler [2017-05-27 09:00:23] 951*2^1455147-1 is not prime. Res64: 327D1127DA9D333C Time : 0.0 sec. user=mdettweiler [2017-05-27 09:00:24] 623*2^1455148-1 is not prime. Res64: 7F17B8DF8954042F Time : 0.0 sec. user=mdettweiler [2017-05-27 09:00:24] 833*2^1455148-1 is not prime. Res64: 5A953758A8D6FD9F Time : 0.0 sec. user=mdettweiler [2017-05-27 09:00:25] 969*2^1455148-1 is not prime. Res64: F8EDD4142670D693 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:05:17] 631*2^1455149-1 is not prime. Res64: BAFC5E1E88E29467 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:05:17] 721*2^1455149-1 is not prime. Res64: 1C0915BAFCADCA8B Time : 0.0 sec. user=mdettweiler [2017-05-27 09:05:18] 775*2^1455149-1 is not prime. Res64: 2942FFDC33ACDF8F Time : 0.0 sec. user=mdettweiler [2017-05-27 09:05:19] 781*2^1455149-1 is not prime. Res64: FD01DFFE6BDF1B3F Time : 0.0 sec. user=mdettweiler [2017-05-27 09:05:19] 861*2^1455149-1 is not prime. Res64: A58AF324470682A9 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:14:52] 865*2^1455149-1 is not prime. Res64: 4662BA2691AEBB81 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:14:52] 997*2^1455149-1 is not prime. Res64: 7BD80F519570A3B3 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:14:53] 651*2^1455150-1 is not prime. Res64: AE69F2CE10586A6D Time : 0.0 sec. user=mdettweiler [2017-05-27 09:14:53] 725*2^1455150-1 is not prime. Res64: A2BFA306CBEA8B85 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:14:53] 755*2^1455150-1 is not prime. Res64: 4BD88367D68F8887 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:37:31] 765*2^1455150-1 is not prime. Res64: 68D864541F596575 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:37:32] 773*2^1455150-1 is not prime. Res64: C7761B01CF16C7F7 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:37:32] 873*2^1455150-1 is not prime. Res64: 784402B94C757316 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:37:32] 945*2^1455150-1 is not prime. Res64: 9A8BBE93AFC9D923 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:37:32] 951*2^1455150-1 is not prime. Res64: FCA35EBC9970DA51 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:46:10] 963*2^1455150-1 is not prime. Res64: 89C5C61316EFAF78 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:46:11] 965*2^1455150-1 is not prime. Res64: A3EF4C6B617B00E4 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:46:11] 703*2^1455151-1 is not prime. Res64: 82B9E5FCF9234A3C Time : 0.0 sec. user=mdettweiler [2017-05-27 09:46:11] 709*2^1455151-1 is not prime. Res64: 678106EB86DA4628 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:46:11] 775*2^1455151-1 is not prime. Res64: BD33C398BE2B1787 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:50:41] 783*2^1455151-1 is not prime. Res64: 4580093CEEE1D14D Time : 0.0 sec. user=mdettweiler [2017-05-27 09:50:41] 873*2^1455151-1 is not prime. Res64: 0918B14780FD82DC Time : 0.0 sec. user=mdettweiler [2017-05-27 09:50:41] 895*2^1455151-1 is not prime. Res64: EE2308A30C0C1899 Time : 0.0 sec. user=mdettweiler [2017-05-27 09:50:42] 939*2^1455151-1 is not prime. Res64: BE18E5F3774F1B4A Time : 0.0 sec. user=mdettweiler [2017-05-27 09:50:42] 973*2^1455151-1 is not prime. Res64: 3BDECAB75C942563 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:00:30] 617*2^1455152-1 is not prime. Res64: 272A7B60E02689C5 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:00:31] 629*2^1455152-1 is not prime. Res64: 60FB3265333902ED Time : 0.0 sec. user=mdettweiler [2017-05-27 10:00:31] 689*2^1455152-1 is not prime. Res64: 210AAE3597E70648 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:00:32] 843*2^1455152-1 is not prime. Res64: 33FBFC63237B4848 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:00:33] 903*2^1455152-1 is not prime. Res64: B45098E572489A14 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:23:09] 957*2^1455152-1 is not prime. Res64: 4BF962CCD78F5F1B Time : 0.0 sec. user=mdettweiler [2017-05-27 10:23:09] 741*2^1455153-1 is not prime. Res64: 271F7CE88AC71DE9 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:23:09] 837*2^1455153-1 is not prime. Res64: E4C86FAFEBD97608 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:23:10] 861*2^1455153-1 is not prime. Res64: C0770E4A6B8911D9 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:23:10] 937*2^1455153-1 is not prime. Res64: C13404113072DF2E Time : 0.0 sec. user=mdettweiler [2017-05-27 10:31:53] 991*2^1455153-1 is not prime. Res64: DA16ABA6D1DFFCDE Time : 0.0 sec. user=mdettweiler [2017-05-27 10:31:53] 677*2^1455154-1 is not prime. Res64: BA575BE0BA412718 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:31:54] 681*2^1455154-1 is not prime. Res64: E7573C2B5646AC8E Time : 0.0 sec. user=mdettweiler [2017-05-27 10:31:54] 741*2^1455154-1 is not prime. Res64: 37938EDF9506C7C1 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:31:54] 765*2^1455154-1 is not prime. Res64: 2A61EE9056815424 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:36:15] 785*2^1455154-1 is not prime. Res64: FDA584E12F092B5C Time : 0.0 sec. user=mdettweiler [2017-05-27 10:36:16] 825*2^1455154-1 is not prime. Res64: 8CE7899712F776C2 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:36:16] 655*2^1455155-1 is not prime. Res64: 6E6F267BD888196D Time : 0.0 sec. user=mdettweiler [2017-05-27 10:36:16] 685*2^1455155-1 is not prime. Res64: EFC46C23623F997B Time : 0.0 sec. user=mdettweiler [2017-05-27 10:36:16] 783*2^1455155-1 is not prime. Res64: 54C884FEC30FE69E Time : 0.0 sec. user=mdettweiler [2017-05-27 10:46:16] 903*2^1455155-1 is not prime. Res64: ACB402B3C1C2E103 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:46:16] 913*2^1455155-1 is not prime. Res64: 989D1C0FAD271DBD Time : 0.0 sec. user=mdettweiler [2017-05-27 10:46:16] 915*2^1455155-1 is not prime. Res64: AF1B8E92166235A4 Time : 0.0 sec. user=mdettweiler [2017-05-27 10:46:16] 943*2^1455155-1 is not prime. Res64: E98235C04D374D7F Time : 0.0 sec. user=mdettweiler [2017-05-27 10:46:17] 675*2^1455156-1 is not prime. Res64: 4412739A22C3DF88 Time : 0.0 sec. user=mdettweiler [2017-05-27 11:09:37] 693*2^1455156-1 is not prime. Res64: D62EC89C0D79FC7C Time : 0.0 sec. user=mdettweiler [2017-05-27 11:09:38] 705*2^1455156-1 is not prime. Res64: 8076B89CB590D91F Time : 0.0 sec. user=mdettweiler [2017-05-27 11:09:38] 765*2^1455156-1 is not prime. Res64: 9B495833A4B49C6C Time : 0.0 sec. user=mdettweiler [2017-05-27 11:09:38] 789*2^1455156-1 is not prime. Res64: 95E7C4A2DC73BD1C Time : 0.0 sec. user=mdettweiler [2017-05-27 11:09:39] 903*2^1455156-1 is not prime. Res64: FA6337432184C6D6 Time : 0.0 sec. user=mdettweiler [2017-05-27 11:18:22] 615*2^1455157-1 is not prime. Res64: 5D664B86D994508F Time : 0.0 sec. user=mdettweiler [2017-05-27 11:18:22] 625*2^1455157-1 is not prime. Res64: 43B9B31541C93905 Time : 0.0 sec. user=mdettweiler [2017-05-27 11:18:22] 687*2^1455157-1 is not prime. Res64: D9F1D948FC9D3A27 Time : 0.0 sec. user=mdettweiler [2017-05-27 11:18:22] 831*2^1455157-1 is not prime. Res64: 25227565BFEA6EA6 Time : 0.0 sec. user=mdettweiler [2017-05-27 11:18:23] 889*2^1455157-1 is not prime. Res64: 243DD43D77758441 Time : 0.0 sec. user=mdettweiler [2017-05-27 11:23:02] 623*2^1455158-1 is not prime. Res64: CF004BF4D72F40DA Time : 0.0 sec. user=mdettweiler [2017-05-27 11:23:02] 713*2^1455158-1 is not prime. Res64: 6F74DA1C2CEF8DD2 Time : 0.0 sec. user=mdettweiler [2017-05-27 11:23:02] 857*2^1455158-1 is not prime. Res64: 559253A0FCC9829A Time : 0.0 sec. user=mdettweiler [2017-05-27 11:23:03] 885*2^1455158-1 is not prime. Res64: 29C6FEE45EA498DF Time : 0.0 sec. user=mdettweiler [2017-05-27 11:23:03] 921*2^1455158-1 is not prime. Res64: CD4819555D6815EC Time : 0.0 sec. user=mdettweiler [2017-05-27 11:33:31] 873*2^1455159-1 is not prime. Res64: 64D23ABD0F43230E Time : 0.0 sec. user=mdettweiler [2017-05-27 11:33:31] 895*2^1455159-1 is not prime. Res64: A210E6D9113E0DBC Time : 0.0 sec. user=mdettweiler [2017-05-27 11:33:31] 921*2^1455159-1 is not prime. Res64: CA121F091676DA6C Time : 0.0 sec. user=mdettweiler [2017-05-27 11:33:32] 645*2^1455160-1 is not prime. Res64: B68BA78F87EE63E3 Time : 0.0 sec. user=mdettweiler [2017-05-27 11:33:32] 699*2^1455160-1 is not prime. Res64: 8C7DDD603FA627F7 Time : 0.0 sec. user=mdettweiler [2017-05-27 11:57:13] 773*2^1455160-1 is not prime. Res64: 23C768090E1FDA6B Time : 0.0 sec. user=mdettweiler [2017-05-27 11:57:13] 983*2^1455160-1 is not prime. Res64: 87AC76689946196E Time : 0.0 sec. user=mdettweiler [2017-05-27 11:57:14] 999*2^1455160-1 is not prime. Res64: F97AD74702131E6C Time : 0.0 sec. user=mdettweiler [2017-05-27 11:57:14] 705*2^1455161-1 is not prime. Res64: 34DD3345BD442294 Time : 0.0 sec. user=mdettweiler [2017-05-27 11:57:14] 741*2^1455161-1 is not prime. Res64: 1695FD7C304C79D1 Time : 0.0 sec. user=juhehe [2017-05-27 12:04:00] 949*2^1455161-1 is not prime. Res64: 0A867692720F07F7 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:05:35] 777*2^1455161-1 is not prime. Res64: 4C4599DDFCB024AA Time : 0.0 sec. user=mdettweiler [2017-05-27 12:05:36] 781*2^1455161-1 is not prime. Res64: 7F8D5E4575FDD94A Time : 0.0 sec. user=mdettweiler [2017-05-27 12:05:37] 805*2^1455161-1 is not prime. Res64: 87B69F63AD0EF7C7 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:05:38] 871*2^1455161-1 is not prime. Res64: 8E60CEFEF34FA3A1 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:05:39] 879*2^1455161-1 is not prime. Res64: B25A6B5CC49439F8 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:10:14] 711*2^1455162-1 is not prime. Res64: C9CAB6B11E9F84CF Time : 0.0 sec. user=mdettweiler [2017-05-27 12:10:14] 797*2^1455162-1 is not prime. Res64: 1331AF6C923826B4 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:10:15] 893*2^1455162-1 is not prime. Res64: 1EA26426136938C0 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:10:15] 977*2^1455162-1 is not prime. Res64: 5D65C656CA0763DC Time : 0.0 sec. user=mdettweiler [2017-05-27 12:10:15] 603*2^1455163-1 is not prime. Res64: 084155B484A4DA72 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:20:08] 709*2^1455163-1 is not prime. Res64: 190CC47FFC7124A0 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:20:08] 635*2^1455164-1 is not prime. Res64: FFCD384B5C4BBAD1 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:20:08] 717*2^1455164-1 is not prime. Res64: 70B4BC4F5EAF71BD Time : 0.0 sec. user=mdettweiler [2017-05-27 12:20:09] 855*2^1455164-1 is not prime. Res64: D1D7BF130748CBF3 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:20:09] 909*2^1455164-1 is not prime. Res64: 1F06A5E75BF0FEB7 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:43:26] 969*2^1455164-1 is not prime. Res64: 92906DA3D7C70BBE Time : 0.0 sec. user=mdettweiler [2017-05-27 12:43:27] 983*2^1455164-1 is not prime. Res64: F293ADA4F28BCC40 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:43:27] 625*2^1455165-1 is not prime. Res64: 41FBD69745C3FB50 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:43:27] 669*2^1455165-1 is not prime. Res64: C69FF8369CDEF2B0 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:43:28] 711*2^1455165-1 is not prime. Res64: 01298F6230449C83 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:52:34] 741*2^1455165-1 is not prime. Res64: 959E560DD126368D Time : 0.0 sec. user=mdettweiler [2017-05-27 12:52:35] 765*2^1455165-1 is not prime. Res64: 6329E0F1E41FFC73 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:52:35] 817*2^1455165-1 is not prime. Res64: 76E41E37B2BE62B8 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:52:35] 831*2^1455165-1 is not prime. Res64: AFF402148F315CEF Time : 0.0 sec. user=mdettweiler [2017-05-27 12:52:35] 891*2^1455165-1 is not prime. Res64: 091DBFFCAF709CA7 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:57:08] 895*2^1455165-1 is not prime. Res64: D0B933AFA99113CA Time : 0.0 sec. user=mdettweiler [2017-05-27 12:57:08] 921*2^1455165-1 is not prime. Res64: F15DBEF851DC7A6C Time : 0.0 sec. user=mdettweiler [2017-05-27 12:57:09] 975*2^1455165-1 is not prime. Res64: 17F4D7189395FC05 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:57:09] 999*2^1455165-1 is not prime. Res64: 39D7D033D6EC4634 Time : 0.0 sec. user=mdettweiler [2017-05-27 12:57:09] 647*2^1455166-1 is not prime. Res64: D2FB30AFDD21E509 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:07:21] 713*2^1455166-1 is not prime. Res64: 3B424496D76EA6CC Time : 0.0 sec. user=mdettweiler [2017-05-27 13:07:22] 747*2^1455166-1 is not prime. Res64: C568C8946D13AC00 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:07:22] 813*2^1455166-1 is not prime. Res64: BEE878FBBF3B97C9 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:07:22] 917*2^1455166-1 is not prime. Res64: 4941FF6EBC7E6BE3 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:07:22] 923*2^1455166-1 is not prime. Res64: 3D830F49680A346D Time : 0.0 sec. user=mdettweiler [2017-05-27 13:30:31] 619*2^1455167-1 is not prime. Res64: 19BA6E57582B2FFE Time : 0.0 sec. user=mdettweiler [2017-05-27 13:30:31] 621*2^1455167-1 is not prime. Res64: BEE34F71026541ED Time : 0.0 sec. user=mdettweiler [2017-05-27 13:30:31] 661*2^1455167-1 is not prime. Res64: 163720A0220DC032 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:30:32] 693*2^1455167-1 is not prime. Res64: 17BAE0BBAE9A1FCD Time : 0.0 sec. user=mdettweiler [2017-05-27 13:30:32] 759*2^1455167-1 is not prime. Res64: FF85E94DE84A418B Time : 0.0 sec. user=mdettweiler [2017-05-27 13:38:48] 865*2^1455167-1 is not prime. Res64: 247D90FEEB6C4AFB Time : 0.0 sec. user=mdettweiler [2017-05-27 13:38:48] 949*2^1455167-1 is not prime. Res64: D19292C8E4CCD834 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:38:48] 669*2^1455168-1 is not prime. Res64: FB08E955D5159BFB Time : 0.0 sec. user=mdettweiler [2017-05-27 13:38:48] 759*2^1455168-1 is not prime. Res64: 3D32D2E2057F6BB3 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:38:49] 765*2^1455168-1 is not prime. Res64: E51014D1164DD77A Time : 0.0 sec. user=mdettweiler [2017-05-27 13:43:10] 803*2^1455168-1 is not prime. Res64: FF20764BA2751258 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:43:10] 879*2^1455168-1 is not prime. Res64: 3C144553BE08AAE3 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:43:11] 905*2^1455168-1 is not prime. Res64: BF28906753C65A37 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:43:11] 915*2^1455168-1 is not prime. Res64: DF257B0359CB52DE Time : 0.0 sec. user=mdettweiler [2017-05-27 13:43:11] 947*2^1455168-1 is not prime. Res64: B8438C1761A27B31 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:53:19] 969*2^1455168-1 is not prime. Res64: 1C2B91C510312425 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:53:19] 615*2^1455169-1 is not prime. Res64: 7D1ABF7F72110B81 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:53:19] 675*2^1455169-1 is not prime. Res64: FB31C970A050197D Time : 0.0 sec. user=mdettweiler [2017-05-27 13:53:20] 681*2^1455169-1 is not prime. Res64: E5DCEC6A36D23364 Time : 0.0 sec. user=mdettweiler [2017-05-27 13:53:20] 829*2^1455169-1 is not prime. Res64: BDBB2F4EF52B70DA Time : 0.0 sec. user=mdettweiler [2017-05-27 14:16:04] 877*2^1455169-1 is not prime. Res64: 712D6DBD7418AA72 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:16:04] 939*2^1455169-1 is not prime. Res64: 7A0E68C8D4B7D08E Time : 0.0 sec. user=mdettweiler [2017-05-27 14:16:04] 957*2^1455169-1 is not prime. Res64: 45E3D26D1D916487 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:16:05] 645*2^1455170-1 is not prime. Res64: FF78323118B5AB02 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:16:05] 657*2^1455170-1 is not prime. Res64: 5894D1E15E27C28B Time : 0.0 sec. user=mdettweiler [2017-05-27 14:24:23] 753*2^1455170-1 is not prime. Res64: E396C098D409B6DD Time : 0.0 sec. user=mdettweiler [2017-05-27 14:24:23] 911*2^1455170-1 is not prime. Res64: 990775D304146D8B Time : 0.0 sec. user=mdettweiler [2017-05-27 14:24:24] 935*2^1455170-1 is not prime. Res64: 69F45BF1D1E46108 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:24:24] 981*2^1455170-1 is not prime. Res64: 73EF0D19F48E138A Time : 0.0 sec. user=mdettweiler [2017-05-27 14:24:24] 639*2^1455171-1 is not prime. Res64: F7AED519338B9046 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:28:33] 751*2^1455171-1 is not prime. Res64: C25FBFD9FCB9E9B7 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:28:33] 859*2^1455171-1 is not prime. Res64: DE31420DB1895590 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:28:33] 909*2^1455171-1 is not prime. Res64: 7D76090C1459A530 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:28:34] 961*2^1455171-1 is not prime. Res64: B8B8D5698938FA82 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:28:34] 863*2^1455172-1 is not prime. Res64: 9DCCE03FA7145963 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:38:48] 875*2^1455172-1 is not prime. Res64: E9215D1D83461EFE Time : 0.0 sec. user=mdettweiler [2017-05-27 14:38:48] 649*2^1455173-1 is not prime. Res64: A7BB58DAC579252A Time : 0.0 sec. user=mdettweiler [2017-05-27 14:38:49] 741*2^1455173-1 is not prime. Res64: B42F0DFBC3755CD4 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:38:49] 801*2^1455173-1 is not prime. Res64: C89F13792C7B15D2 Time : 0.0 sec. user=mdettweiler [2017-05-27 14:38:49] 855*2^1455173-1 is not prime. Res64: 6BA79702AC8979E6 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:01:40] 925*2^1455173-1 is not prime. Res64: 1D5D6719860F9ECB Time : 0.0 sec. user=mdettweiler [2017-05-27 15:01:40] 969*2^1455173-1 is not prime. Res64: C70ECD60F2B09169 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:01:41] 663*2^1455174-1 is not prime. Res64: 9B74C9E047DF73C4 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:01:41] 705*2^1455174-1 is not prime. Res64: BA8E5F26D75A0D50 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:01:42] 661*2^1455175-1 is not prime. Res64: 00CFB87489A17BF0 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:09:57] 663*2^1455175-1 is not prime. Res64: 84581083906B0DDD Time : 0.0 sec. user=mdettweiler [2017-05-27 15:09:57] 741*2^1455175-1 is not prime. Res64: 8B760E626456B99A Time : 0.0 sec. user=mdettweiler [2017-05-27 15:09:58] 849*2^1455175-1 is not prime. Res64: 7F3764D496BBBB3D Time : 0.0 sec. user=mdettweiler [2017-05-27 15:09:58] 885*2^1455175-1 is not prime. Res64: E4F4E4E2A695F941 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:09:58] 895*2^1455175-1 is not prime. Res64: 2B9C53AC67C3B4CF Time : 0.0 sec. user=mdettweiler [2017-05-27 15:14:03] 915*2^1455175-1 is not prime. Res64: 85FCCE3132C9DDBD Time : 0.0 sec. user=mdettweiler [2017-05-27 15:14:03] 973*2^1455175-1 is not prime. Res64: 49C8A82DAFD91A03 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:14:04] 717*2^1455176-1 is not prime. Res64: AE164AC5D9AEDE6C Time : 0.0 sec. user=mdettweiler [2017-05-27 15:14:04] 735*2^1455176-1 is not prime. Res64: 96522A19007435E1 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:14:04] 747*2^1455176-1 is not prime. Res64: 6C2A7F96ECD2C160 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:24:21] 751*2^1455177-1 is not prime. Res64: 4FA095A35DCCB293 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:24:21] 795*2^1455177-1 is not prime. Res64: D19B629265750F01 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:24:22] 603*2^1455178-1 is not prime. Res64: 4A0DB40A99B4668E Time : 0.0 sec. user=mdettweiler [2017-05-27 15:24:22] 845*2^1455178-1 is not prime. Res64: 8707B63C154A8347 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:24:22] 609*2^1455179-1 is not prime. Res64: BAB3C1AE7F218EC5 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:47:35] 615*2^1455179-1 is not prime. Res64: EDF370FDF82C5A08 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:47:35] 621*2^1455179-1 is not prime. Res64: 9B0C5999823D1D02 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:47:35] 853*2^1455179-1 is not prime. Res64: 0FA0CE5D289C9DB7 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:47:35] 719*2^1455180-1 is not prime. Res64: 03D6A8C51188689E Time : 0.0 sec. user=mdettweiler [2017-05-27 15:47:36] 893*2^1455180-1 is not prime. Res64: 5C756C28BF39AA56 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:55:36] 983*2^1455180-1 is not prime. Res64: 74F7E1354B74DF7F Time : 0.0 sec. user=mdettweiler [2017-05-27 15:55:36] 685*2^1455181-1 is not prime. Res64: 2EB4810B49CE9A78 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:55:37] 741*2^1455181-1 is not prime. Res64: 925DB42DB8098DF1 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:55:37] 751*2^1455181-1 is not prime. Res64: 3BEB918FD7499205 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:55:37] 829*2^1455181-1 is not prime. Res64: 9B00D77C33385323 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:59:38] 867*2^1455181-1 is not prime. Res64: 5DA9BCF61AC5D0FC Time : 0.0 sec. user=mdettweiler [2017-05-27 15:59:38] 955*2^1455181-1 is not prime. Res64: 4154C4276F8FEC87 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:59:39] 961*2^1455181-1 is not prime. Res64: 419C487E0046DE38 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:59:39] 603*2^1455182-1 is not prime. Res64: AAD68885CCF896E7 Time : 0.0 sec. user=mdettweiler [2017-05-27 15:59:39] 671*2^1455182-1 is not prime. Res64: 4813BFC7A97AA609 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:09:51] 711*2^1455182-1 is not prime. Res64: 3D11830A224B8EC7 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:09:52] 753*2^1455182-1 is not prime. Res64: 8528E8CCDBAA4ECB Time : 0.0 sec. user=mdettweiler [2017-05-27 16:09:52] 827*2^1455182-1 is not prime. Res64: C66864BBA82575AF Time : 0.0 sec. user=mdettweiler [2017-05-27 16:09:52] 615*2^1455183-1 is not prime. Res64: 80F543BDA4E40297 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:09:53] 663*2^1455183-1 is not prime. Res64: EADF510F77D89431 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:33:17] 669*2^1455183-1 is not prime. Res64: DA56D4F1D1657BC5 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:33:17] 739*2^1455183-1 is not prime. Res64: 2CBC8E9F08E68A26 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:33:17] 805*2^1455183-1 is not prime. Res64: B3780A3117610377 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:33:18] 853*2^1455183-1 is not prime. Res64: 63980AF9AA05F8F2 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:33:18] 871*2^1455183-1 is not prime. Res64: C4F6B89A2EFB4077 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:41:19] 895*2^1455183-1 is not prime. Res64: D2CDB21586302E76 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:41:20] 961*2^1455183-1 is not prime. Res64: EC9235B736B8579F Time : 0.0 sec. user=mdettweiler [2017-05-27 16:41:20] 991*2^1455183-1 is not prime. Res64: 0487FAB6EB0257F6 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:41:20] 605*2^1455184-1 is not prime. Res64: C29E9C3E9B62FAFF Time : 0.0 sec. user=mdettweiler [2017-05-27 16:41:20] 615*2^1455184-1 is not prime. Res64: FA8130298BAFC0A4 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:45:16] 665*2^1455184-1 is not prime. Res64: F47C7385658BDE4F Time : 0.0 sec. user=mdettweiler [2017-05-27 16:45:16] 675*2^1455184-1 is not prime. Res64: CAB0DFAE6474E702 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:45:17] 743*2^1455184-1 is not prime. Res64: 307FCCCB8BFC8E59 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:45:17] 803*2^1455184-1 is not prime. Res64: C50AB75785D001E1 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:45:17] 849*2^1455184-1 is not prime. Res64: 63FA184CCAD4506D Time : 0.0 sec. user=mdettweiler [2017-05-27 16:55:21] 929*2^1455184-1 is not prime. Res64: 872F09038D8015D5 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:55:21] 965*2^1455184-1 is not prime. Res64: 7271AFF5B1BE8275 Time : 0.0 sec. user=mdettweiler [2017-05-27 16:55:22] 627*2^1455185-1 is not prime. Res64: A7D3553856EE60CE Time : 0.0 sec. user=mdettweiler [2017-05-27 16:55:22] 729*2^1455185-1 is not prime. Res64: 06F984D2A79EABCB Time : 0.0 sec. user=mdettweiler [2017-05-27 16:55:22] 909*2^1455185-1 is not prime. Res64: 5E77C89BDA0A529A Time : 0.0 sec. user=mdettweiler [2017-05-27 17:19:07] 949*2^1455185-1 is not prime. Res64: 52FC3CAA3BEDC25E Time : 0.0 sec. user=mdettweiler [2017-05-27 17:19:08] 717*2^1455186-1 is not prime. Res64: 8E83D2F4BB57BE14 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:19:08] 765*2^1455186-1 is not prime. Res64: 972C9362C533BA5F Time : 0.0 sec. user=mdettweiler [2017-05-27 17:19:08] 777*2^1455186-1 is not prime. Res64: 147291B8D191F7E3 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:19:09] 833*2^1455186-1 is not prime. Res64: 8DD37AC163A699F1 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:26:54] 905*2^1455186-1 is not prime. Res64: 9CA326E197352B10 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:26:55] 1001*2^1455186-1 is not prime. Res64: 17A31292A04DCD3D Time : 0.0 sec. user=mdettweiler [2017-05-27 17:26:55] 645*2^1455187-1 is not prime. Res64: C1966901879BDAD7 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:26:55] 673*2^1455187-1 is not prime. Res64: 22000B9F6E511035 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:26:55] 759*2^1455187-1 is not prime. Res64: E4DB53FEDC1560D0 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:30:41] 885*2^1455187-1 is not prime. Res64: 5B0EFF12493AF992 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:30:41] 945*2^1455187-1 is not prime. Res64: 80249DED68A79C0C Time : 0.0 sec. user=mdettweiler [2017-05-27 17:30:41] 665*2^1455188-1 is not prime. Res64: 7759A79788567853 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:30:41] 743*2^1455188-1 is not prime. Res64: CE6ABD282FBDFFAA Time : 0.0 sec. user=mdettweiler [2017-05-27 17:30:41] 777*2^1455188-1 is not prime. Res64: A9FFB555668CF59A Time : 0.0 sec. user=mdettweiler [2017-05-27 17:41:11] 825*2^1455188-1 is not prime. Res64: 7F217EA1385394EC Time : 0.0 sec. user=mdettweiler [2017-05-27 17:41:12] 879*2^1455188-1 is not prime. Res64: B8CBB37DFDEFFA7C Time : 0.0 sec. user=mdettweiler [2017-05-27 17:41:12] 923*2^1455188-1 is not prime. Res64: 4AE0CA43D96A32D2 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:41:12] 963*2^1455188-1 is not prime. Res64: 0DE3775D607FE029 Time : 0.0 sec. user=mdettweiler [2017-05-27 17:41:12] 639*2^1455189-1 is not prime. Res64: 0CF2D915B1C44E6C Time : 0.0 sec. user=mdettweiler [2017-05-27 18:04:52] 679*2^1455189-1 is not prime. Res64: B7D8B7020B61C5BC Time : 0.0 sec. user=mdettweiler [2017-05-27 18:04:52] 727*2^1455189-1 is not prime. Res64: 60D48CABA8B559AC Time : 0.0 sec. user=mdettweiler [2017-05-27 18:04:53] 861*2^1455189-1 is not prime. Res64: 3A3D7675590F9F4D Time : 0.0 sec. user=mdettweiler [2017-05-27 18:04:54] 951*2^1455189-1 is not prime. Res64: 44ACC66A79BE090C Time : 0.0 sec. user=mdettweiler [2017-05-27 18:04:55] 741*2^1455190-1 is not prime. Res64: 6F655A6C7CF5820C Time : 0.0 sec. user=mdettweiler [2017-05-27 18:12:28] 755*2^1455190-1 is not prime. Res64: A127B3E163649AE1 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:12:28] 861*2^1455190-1 is not prime. Res64: 26412F77A2A5E9FE Time : 0.0 sec. user=mdettweiler [2017-05-27 18:12:28] 867*2^1455190-1 is not prime. Res64: ADC240FB58A1DD4D Time : 0.0 sec. user=mdettweiler [2017-05-27 18:12:29] 945*2^1455190-1 is not prime. Res64: 53A088AD4DC76A82 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:12:29] 965*2^1455190-1 is not prime. Res64: E44C6AE6B984A375 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:16:09] 975*2^1455190-1 is not prime. Res64: 433DCC3E59E9BCD9 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:16:09] 693*2^1455191-1 is not prime. Res64: 16F4DCCD635A1707 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:16:09] 703*2^1455191-1 is not prime. Res64: 880611295E56325D Time : 0.0 sec. user=mdettweiler [2017-05-27 18:16:10] 753*2^1455191-1 is not prime. Res64: 1B0186EA5518A193 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:16:10] 783*2^1455191-1 is not prime. Res64: 8C9FDD9B4B457443 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:26:48] 829*2^1455191-1 is not prime. Res64: 54C600D5AE14BD72 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:26:48] 633*2^1455192-1 is not prime. Res64: 3F8505C7728E7DD0 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:26:49] 669*2^1455192-1 is not prime. Res64: 2FA710D0CA64F944 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:26:49] 675*2^1455192-1 is not prime. Res64: F7BAC51AC9A0A817 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:26:50] 699*2^1455192-1 is not prime. Res64: 16D0F9E909511F19 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:50:50] 797*2^1455192-1 is not prime. Res64: EE94FFB793F15F80 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:50:50] 915*2^1455192-1 is not prime. Res64: 24582849FE246749 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:50:50] 917*2^1455192-1 is not prime. Res64: A8C6D8BBE2396946 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:50:51] 923*2^1455192-1 is not prime. Res64: F00A344D1C0034B5 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:50:51] 945*2^1455192-1 is not prime. Res64: 6EC73A8D895CCC15 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:58:06] 959*2^1455192-1 is not prime. Res64: 8F2A882B91E62333 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:58:06] 775*2^1455193-1 is not prime. Res64: 426BB10D45FECC1E Time : 0.0 sec. user=mdettweiler [2017-05-27 18:58:07] 847*2^1455193-1 is not prime. Res64: 27A9B7DA36A4D377 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:58:07] 951*2^1455193-1 is not prime. Res64: 92618A73EA39AD74 Time : 0.0 sec. user=mdettweiler [2017-05-27 18:58:07] 675*2^1455194-1 is not prime. Res64: 3984A3F55B17DE69 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:01:45] 747*2^1455194-1 is not prime. Res64: 5EE8426BB350D8AD Time : 0.0 sec. user=mdettweiler [2017-05-27 19:01:46] 797*2^1455194-1 is not prime. Res64: 64921E31D29204F7 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:01:46] 833*2^1455194-1 is not prime. Res64: E68F8420C354A8D6 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:01:47] 885*2^1455194-1 is not prime. Res64: ED178BFEFCF403D3 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:01:47] 1001*2^1455194-1 is not prime. Res64: 7DBC56F832666D87 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:12:24] 723*2^1455195-1 is not prime. Res64: 892934231AB37E7D Time : 0.0 sec. user=mdettweiler [2017-05-27 19:12:24] 765*2^1455195-1 is not prime. Res64: FF5A062053B6B3EE Time : 0.0 sec. user=mdettweiler [2017-05-27 19:12:25] 805*2^1455195-1 is not prime. Res64: 42C13CF4F76CFBF1 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:12:25] 861*2^1455195-1 is not prime. Res64: 8CEECE8D4B4C6493 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:12:25] 921*2^1455195-1 is not prime. Res64: 149F4704F24F82E0 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:36:31] 999*2^1455195-1 is not prime. Res64: 842F4791C91E739F Time : 0.0 sec. user=mdettweiler [2017-05-27 19:36:31] 663*2^1455196-1 is not prime. Res64: 2EE9BC543F73428C Time : 0.0 sec. user=mdettweiler [2017-05-27 19:36:31] 749*2^1455196-1 is not prime. Res64: 722299BB6C3412E2 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:36:32] 887*2^1455196-1 is not prime. Res64: 94E8EAB1A51DDF95 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:36:32] 905*2^1455196-1 is not prime. Res64: CEB313A8149D38AE Time : 0.0 sec. user=mdettweiler [2017-05-27 19:43:23] 645*2^1455197-1 is not prime. Res64: 211C9026126A1251 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:43:23] 711*2^1455197-1 is not prime. Res64: 8FEC450A49E2133F Time : 0.0 sec. user=mdettweiler [2017-05-27 19:43:24] 735*2^1455197-1 is not prime. Res64: 0E7BBA6020FECD1F Time : 0.0 sec. user=mdettweiler [2017-05-27 19:43:24] 747*2^1455197-1 is not prime. Res64: E8AE1C7D26832379 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:43:24] 831*2^1455197-1 is not prime. Res64: FCE10AE8DBB9B6FB Time : 0.0 sec. user=mdettweiler [2017-05-27 19:47:21] 847*2^1455197-1 is not prime. Res64: 11904CCEB1238B0A Time : 0.0 sec. user=mdettweiler [2017-05-27 19:47:22] 901*2^1455197-1 is not prime. Res64: A6CB78432C4C2592 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:47:22] 955*2^1455197-1 is not prime. Res64: 5CC78E641E50159E Time : 0.0 sec. user=mdettweiler [2017-05-27 19:47:22] 627*2^1455198-1 is not prime. Res64: 1B218E93FFA084B9 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:47:22] 635*2^1455198-1 is not prime. Res64: 7BFEB85218C92E44 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:58:00] 755*2^1455198-1 is not prime. Res64: 82FE30A316D1E232 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:58:00] 797*2^1455198-1 is not prime. Res64: B714A24A5456CEE3 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:58:01] 927*2^1455198-1 is not prime. Res64: 0062AD603902DA91 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:58:01] 703*2^1455199-1 is not prime. Res64: 44FF0445A208EBA2 Time : 0.0 sec. user=mdettweiler [2017-05-27 19:58:01] 745*2^1455199-1 is not prime. Res64: BD048C80D04104FA Time : 0.0 sec. user=mdettweiler [2017-05-27 20:22:00] 751*2^1455199-1 is not prime. Res64: E562E0E628E8C70D Time : 0.0 sec. user=mdettweiler [2017-05-27 20:22:01] 853*2^1455199-1 is not prime. Res64: 62FED176C88EDCA1 Time : 0.0 sec. user=mdettweiler [2017-05-27 20:22:01] 939*2^1455199-1 is not prime. Res64: 58675E22063F3B20 Time : 0.0 sec. user=mdettweiler [2017-05-27 20:22:01] 951*2^1455199-1 is not prime. Res64: 6FF2F98F2E04EA03 Time : 0.0 sec. user=mdettweiler [2017-05-27 20:22:01] 985*2^1455199-1 is not prime. Res64: 4041341973BD846A Time : 0.0 sec. user=mdettweiler [2017-05-27 20:28:52] 609*2^1455200-1 is not prime. Res64: 8C57B83E58F642DA Time : 0.0 sec. user=mdettweiler [2017-05-27 20:28:52] 635*2^1455200-1 is not prime. Res64: DF0B2D441272BA07 Time : 0.0 sec. user=mdettweiler [2017-05-27 20:28:53] 725*2^1455200-1 is not prime. Res64: F34581F4AD584EFD Time : 0.0 sec. user=mdettweiler [2017-05-27 20:28:53] 825*2^1455200-1 is not prime. Res64: 851265107FFCB4F0 Time : 0.0 sec. user=mdettweiler [2017-05-27 20:28:53] 999*2^1455200-1 is not prime. Res64: 47182F9AED53EC01 Time : 0.0 sec. user=mdettweiler [2017-05-27 20:32:51] 601*2^1455201-1 is not prime. Res64: 112063C37D86EBEF Time : 0.0 sec. user=mdettweiler [2017-05-27 20:32:51] 705*2^1455201-1 is not prime. Res64: 2A44EF13CC82A513 Time : 0.0 sec. user=mdettweiler [2017-05-27 20:32:52] 717*2^1455201-1 is not prime. Res64: A84156BD35D8D0D4 Time : 0.0 sec. user=mdettweiler [2017-05-27 20:32:52] 895*2^1455201-1 is not prime. Res64: 7486B19BA220FA3D Time : 0.0 sec. user=mdettweiler [2017-05-27 20:32:52] 975*2^1455201-1 is not prime. Res64: 4F69C4EDBF8908E8 Time : 0.0 sec. user=mdettweiler [2017-05-27 20:43:34] 999*2^1455201-1 is not prime. Res64: 73537A89B9F446BB Time : 0.0 sec. user=mdettweiler [2017-05-27 20:43:34] 611*2^1455202-1 is not prime. Res64: 4BEC06D2C2CE19BE Time : 0.0 sec. user=mdettweiler [2017-05-27 20:43:34] 647*2^1455202-1 is not prime. Res64: 6D9DC2A4CBCE12BE Time : 0.0 sec. user=mdettweiler [2017-05-27 20:43:34] 737*2^1455202-1 is not prime. Res64: ABEA9CCAB1BE9B55 Time : 0.0 sec. user=mdettweiler [2017-05-27 20:43:35] 785*2^1455202-1 is not prime. Res64: 78D07D3B158707D1 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:07:42] 815*2^1455202-1 is not prime. Res64: FDC4AE9695ADC2E4 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:07:42] 885*2^1455202-1 is not prime. Res64: D2002DEE3653BBEA Time : 0.0 sec. user=mdettweiler [2017-05-27 21:07:43] 915*2^1455202-1 is not prime. Res64: 1DBA2A461554CDDB Time : 0.0 sec. user=mdettweiler [2017-05-27 21:07:43] 945*2^1455202-1 is not prime. Res64: 60E89980535A306D Time : 0.0 sec. user=mdettweiler [2017-05-27 21:07:44] 675*2^1455203-1 is not prime. Res64: 622F4786B46AF8C0 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:14:20] 781*2^1455203-1 is not prime. Res64: AC3724F2E0449FA0 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:14:21] 783*2^1455203-1 is not prime. Res64: 02BF8CF91A4B4BF1 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:14:21] 889*2^1455203-1 is not prime. Res64: BBBDD12FEC830F74 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:14:21] 973*2^1455203-1 is not prime. Res64: FBA05F9A425FF9D6 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:14:22] 999*2^1455203-1 is not prime. Res64: 9F8B35BCC7C21CF4 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:18:28] 609*2^1455204-1 is not prime. Res64: 5E0E5E749220B634 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:18:28] 629*2^1455204-1 is not prime. Res64: 8570280E74ABDEE0 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:18:29] 783*2^1455204-1 is not prime. Res64: F0FFD2CCEE012491 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:18:29] 909*2^1455204-1 is not prime. Res64: B51CCE00D20BC1F9 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:18:29] 721*2^1455205-1 is not prime. Res64: 82A484F588862F50 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:29:06] 775*2^1455205-1 is not prime. Res64: 55EB845D60B9C6FF Time : 0.0 sec. user=mdettweiler [2017-05-27 21:29:07] 877*2^1455205-1 is not prime. Res64: AB419B455C7D1F6B Time : 0.0 sec. user=mdettweiler [2017-05-27 21:29:07] 951*2^1455205-1 is not prime. Res64: 87D3393269C1D25A Time : 0.0 sec. user=mdettweiler [2017-05-27 21:29:07] 957*2^1455205-1 is not prime. Res64: 96BC528DF1620CEE Time : 0.0 sec. user=mdettweiler [2017-05-27 21:29:08] 985*2^1455205-1 is not prime. Res64: CB9756635A745391 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:53:21] 999*2^1455205-1 is not prime. Res64: D21B1BF26FAC768F Time : 0.0 sec. user=mdettweiler [2017-05-27 21:53:21] 603*2^1455206-1 is not prime. Res64: B2A27124EA5D6B9B Time : 0.0 sec. user=mdettweiler [2017-05-27 21:53:22] 615*2^1455206-1 is not prime. Res64: 1508B58456987931 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:53:22] 623*2^1455206-1 is not prime. Res64: 8792CD8DEF0298C2 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:53:22] 677*2^1455206-1 is not prime. Res64: B2ABEC40E45ACFB2 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:59:50] 743*2^1455206-1 is not prime. Res64: 9CD60EF6CD41481C Time : 0.0 sec. user=mdettweiler [2017-05-27 21:59:50] 843*2^1455206-1 is not prime. Res64: 8B83EF5A4CF443D0 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:59:51] 893*2^1455206-1 is not prime. Res64: E6ED8AFFA36D4100 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:59:51] 921*2^1455206-1 is not prime. Res64: 918787C46A6401B0 Time : 0.0 sec. user=mdettweiler [2017-05-27 21:59:51] 923*2^1455206-1 is not prime. Res64: E291A90903F338CD Time : 0.0 sec. user=mdettweiler [2017-05-27 22:04:02] 945*2^1455206-1 is not prime. Res64: E9419884761DBEF8 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:04:03] 615*2^1455207-1 is not prime. Res64: DEDB6CD9FAFBB0EF Time : 0.0 sec. user=mdettweiler [2017-05-27 22:04:04] 649*2^1455207-1 is not prime. Res64: 5FB3FCE4A65F52FF Time : 0.0 sec. user=mdettweiler [2017-05-27 22:04:05] 669*2^1455207-1 is not prime. Res64: CB83B452FA5F60DD Time : 0.0 sec. user=mdettweiler [2017-05-27 22:04:07] 741*2^1455207-1 is not prime. Res64: 3FB11722593F0012 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:14:36] 781*2^1455207-1 is not prime. Res64: 32DBFB9BC7EB3F70 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:14:36] 793*2^1455207-1 is not prime. Res64: AEEF9A6CB8340D78 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:14:37] 871*2^1455207-1 is not prime. Res64: E648763921B4EDF3 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:14:37] 895*2^1455207-1 is not prime. Res64: 62E814DB407F24CC Time : 0.0 sec. user=mdettweiler [2017-05-27 22:14:37] 961*2^1455207-1 is not prime. Res64: 3DACCDDE72E4E946 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:39:04] 603*2^1455208-1 is not prime. Res64: B165B0ABE156BA1B Time : 0.0 sec. user=mdettweiler [2017-05-27 22:39:04] 617*2^1455208-1 is not prime. Res64: 74E549B7C0AD9046 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:39:04] 657*2^1455208-1 is not prime. Res64: 4C21CB265FD84051 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:39:05] 677*2^1455208-1 is not prime. Res64: 7F76BEFA0AFA0FE8 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:39:05] 747*2^1455208-1 is not prime. Res64: 669934CBB7105B54 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:45:33] 855*2^1455208-1 is not prime. Res64: 23E114D8F7A1C8DE Time : 0.0 sec. user=mdettweiler [2017-05-27 22:45:34] 869*2^1455208-1 is not prime. Res64: 54846863B6ED800F Time : 0.0 sec. user=mdettweiler [2017-05-27 22:45:34] 875*2^1455208-1 is not prime. Res64: 76AEC559DE255053 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:45:34] 915*2^1455208-1 is not prime. Res64: C2305C24582DD214 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:45:35] 745*2^1455209-1 is not prime. Res64: C767189EE6048FA8 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:49:52] 811*2^1455209-1 is not prime. Res64: F47ADEB75E527A88 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:49:52] 885*2^1455209-1 is not prime. Res64: 2AFB57E057C72CAF Time : 0.0 sec. user=mdettweiler [2017-05-27 22:49:52] 909*2^1455209-1 is not prime. Res64: A0A01288A37915FD Time : 0.0 sec. user=mdettweiler [2017-05-27 22:49:53] 925*2^1455209-1 is not prime. Res64: 13C4859DCD874D82 Time : 0.0 sec. user=mdettweiler [2017-05-27 22:49:53] 635*2^1455210-1 is not prime. Res64: 8F59CB48834ECFA1 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:00:17] 677*2^1455210-1 is not prime. Res64: 0B1EDBF61DF228F8 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:00:17] 695*2^1455210-1 is not prime. Res64: 7BCD83F0CE85062B Time : 0.0 sec. user=mdettweiler [2017-05-27 23:00:18] 801*2^1455210-1 is not prime. Res64: 99901575F98CC168 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:00:19] 821*2^1455210-1 is not prime. Res64: F351636A41FF5B64 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:00:20] 825*2^1455210-1 is not prime. Res64: 48750C643C0C7189 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:24:41] 927*2^1455210-1 is not prime. Res64: 5DD1786220BBD739 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:24:42] 1001*2^1455210-1 is not prime. Res64: 13DEBC0A2812255C Time : 0.0 sec. user=mdettweiler [2017-05-27 23:24:42] 603*2^1455211-1 is not prime. Res64: 8FAF76475FF7D856 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:24:42] 619*2^1455211-1 is not prime. Res64: DC4A6D549CBC5D93 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:24:42] 693*2^1455211-1 is not prime. Res64: 475E4EE707078146 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:31:02] 769*2^1455211-1 is not prime. Res64: D0220C824BFE023D Time : 0.0 sec. user=mdettweiler [2017-05-27 23:31:02] 775*2^1455211-1 is not prime. Res64: 2D4F6516ABF59260 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:31:03] 859*2^1455211-1 is not prime. Res64: 4EA4A406330BD8EF Time : 0.0 sec. user=mdettweiler [2017-05-27 23:31:03] 629*2^1455212-1 is not prime. Res64: F1AA49781B99121A Time : 0.0 sec. user=mdettweiler [2017-05-27 23:31:03] 699*2^1455212-1 is not prime. Res64: 60FEAFB6533AEA1E Time : 0.0 sec. user=mdettweiler [2017-05-27 23:35:29] 827*2^1455212-1 is not prime. Res64: 25B61F7B9EF1EB57 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:35:29] 843*2^1455212-1 is not prime. Res64: F5B1A6E7E0E05EB0 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:35:29] 885*2^1455212-1 is not prime. Res64: F36C18CACBF6F9EF Time : 0.0 sec. user=mdettweiler [2017-05-27 23:35:29] 893*2^1455212-1 is not prime. Res64: 73B82CC31877C26E Time : 0.0 sec. user=mdettweiler [2017-05-27 23:35:30] 657*2^1455213-1 is not prime. Res64: C3783053DDDAEC3E Time : 0.0 sec. user=mdettweiler [2017-05-27 23:45:57] 685*2^1455213-1 is not prime. Res64: D75D331EAA8922B2 Time : 0.0 sec. user=mdettweiler [2017-05-27 23:45:58] 691*2^1455213-1 is not prime. Res64: 45B81AE83009D2AD Time : 0.0 sec. user=mdettweiler [2017-05-27 23:45:58] 699*2^1455213-1 is not prime. Res64: 3BA5CF2CDD064D3A Time : 0.0 sec. user=mdettweiler [2017-05-27 23:45:58] 759*2^1455213-1 is not prime. Res64: C27B0F7F97ABAF8C Time : 0.0 sec. user=mdettweiler [2017-05-27 23:45:58] 847*2^1455213-1 is not prime. Res64: 93D2436BFE691C5D Time : 0.0 sec.