user=mdettweiler [2015-11-08 00:13:25] 855*2^1414304-1 is not prime. Res64: FC36C0B2E3345116 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:13:26] 831*2^1414305-1 is not prime. Res64: F4F008B96ECF0DD0 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:13:26] 741*2^1414305-1 is not prime. Res64: 7EF544B52B76CB59 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:13:26] 889*2^1414305-1 is not prime. Res64: 3AF424CE7F7B8EA1 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:13:30] 915*2^1414305-1 is not prime. Res64: A7CCEC588D365186 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:13:31] 991*2^1414305-1 is not prime. Res64: A385F13BE9C7F7DB Time : 0.0 sec. user=mdettweiler [2015-11-08 00:31:02] 643*2^1414307-1 is not prime. Res64: 24977EE00390E2C3 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:31:02] 711*2^1414307-1 is not prime. Res64: B7FBFEB77FC75763 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:31:03] 705*2^1414306-1 is not prime. Res64: 951CBB2FCB61FBB4 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:31:03] 783*2^1414306-1 is not prime. Res64: 2D37F64532E0AB92 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:31:04] 717*2^1414306-1 is not prime. Res64: 30DC18A295B17E9F Time : 0.0 sec. user=mdettweiler [2015-11-08 00:31:04] 1001*2^1414306-1 is not prime. Res64: 0DF9664150ED8440 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:48:33] 861*2^1414307-1 is not prime. Res64: AC60FC73E4309F44 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:48:33] 627*2^1414308-1 is not prime. Res64: 71FD22D5E6F2AF04 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:48:34] 885*2^1414307-1 is not prime. Res64: FD344A6D873E44DB Time : 0.0 sec. user=mdettweiler [2015-11-08 00:48:34] 647*2^1414308-1 is not prime. Res64: 1406229CD862311E Time : 0.0 sec. user=mdettweiler [2015-11-08 00:48:34] 915*2^1414307-1 is not prime. Res64: 68B36BB203511D39 Time : 0.0 sec. user=mdettweiler [2015-11-08 00:48:35] 985*2^1414307-1 is not prime. Res64: 916CB18A4AAD5FDF Time : 0.0 sec. user=mdettweiler [2015-11-08 01:06:05] 803*2^1414308-1 is not prime. Res64: 22BC9E1FFBA2C203 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:06:06] 999*2^1414308-1 is not prime. Res64: FC481C891089EFCA Time : 0.0 sec. user=mdettweiler [2015-11-08 01:06:07] 663*2^1414308-1 is not prime. Res64: 61030DF344AAF344 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:06:07] 969*2^1414308-1 is not prime. Res64: B10BC9F2A82CAB7C Time : 0.0 sec. user=mdettweiler [2015-11-08 01:06:08] 609*2^1414309-1 is not prime. Res64: 6497EAA1DFC07BB0 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:06:09] 753*2^1414308-1 is not prime. Res64: A9FADDE540A36A6D Time : 0.0 sec. user=mdettweiler [2015-11-08 01:24:02] 687*2^1414309-1 is not prime. Res64: E9D65E845B544F1C Time : 0.0 sec. user=mdettweiler [2015-11-08 01:24:03] 799*2^1414309-1 is not prime. Res64: B9FF58E5453C0EDC Time : 0.0 sec. user=mdettweiler [2015-11-08 01:24:03] 771*2^1414309-1 is not prime. Res64: 13983B68C94BE9C8 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:24:03] 861*2^1414309-1 is not prime. Res64: 23566B12596C09D6 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:24:04] 645*2^1414310-1 is not prime. Res64: 9D8A0FFA26155229 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:24:04] 931*2^1414309-1 is not prime. Res64: 1949BB013CB7C4D4 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:41:33] 755*2^1414310-1 is not prime. Res64: 91AD8E7E1F0F55C6 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:41:33] 665*2^1414310-1 is not prime. Res64: BD36A03224108AFA Time : 0.0 sec. user=mdettweiler [2015-11-08 01:41:33] 911*2^1414310-1 is not prime. Res64: 7598071AA8EC3BF5 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:41:33] 843*2^1414310-1 is not prime. Res64: 63ED841464E0CDCD Time : 0.0 sec. user=mdettweiler [2015-11-08 01:41:33] 741*2^1414310-1 is not prime. Res64: 0CCB58A9469AB30E Time : 0.0 sec. user=mdettweiler [2015-11-08 01:41:33] 953*2^1414310-1 is not prime. Res64: 734F61A0FF6728DF Time : 0.0 sec. user=mdettweiler [2015-11-08 01:59:12] 971*2^1414310-1 is not prime. Res64: 8FC09202D3B4C8B5 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:59:13] 977*2^1414310-1 is not prime. Res64: 64F09295A9EBC899 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:59:14] 601*2^1414311-1 is not prime. Res64: 372CE9F09BD449D3 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:59:15] 693*2^1414311-1 is not prime. Res64: 60941CD4723F319C Time : 0.0 sec. user=mdettweiler [2015-11-08 01:59:18] 705*2^1414311-1 is not prime. Res64: D71F56F6D1383977 Time : 0.0 sec. user=mdettweiler [2015-11-08 01:59:18] 735*2^1414311-1 is not prime. Res64: 8E6D37EE70F88646 Time : 0.0 sec. user=mdettweiler [2015-11-08 02:16:43] 751*2^1414311-1 is not prime. Res64: 9574E80AB7082FDB Time : 0.0 sec. user=mdettweiler [2015-11-08 02:16:43] 819*2^1414311-1 is not prime. Res64: 116300077AB129CB Time : 0.0 sec. user=mdettweiler [2015-11-08 02:16:44] 849*2^1414311-1 is not prime. Res64: 721F2BFC701BFDA2 Time : 0.0 sec. user=mdettweiler [2015-11-08 02:16:44] 873*2^1414311-1 is not prime. Res64: 866374DFAA39284D Time : 0.0 sec. user=mdettweiler [2015-11-08 02:16:48] 909*2^1414311-1 is not prime. Res64: D151388B221D8795 Time : 0.0 sec. user=mdettweiler [2015-11-08 02:16:48] 609*2^1414312-1 is not prime. Res64: AB31C09CE0674F33 Time : 0.0 sec. user=mdettweiler [2015-11-08 02:34:17] 615*2^1414312-1 is not prime. Res64: C209DDDF1E3A51DF Time : 0.0 sec. user=mdettweiler [2015-11-08 02:34:17] 657*2^1414312-1 is not prime. Res64: C9226649C250D519 Time : 0.0 sec. user=mdettweiler [2015-11-08 02:34:18] 623*2^1414312-1 is not prime. Res64: 833E1982EB03552F Time : 0.0 sec. user=mdettweiler [2015-11-08 02:34:18] 735*2^1414312-1 is not prime. Res64: 287EE59D4F9A378A Time : 0.0 sec. user=mdettweiler [2015-11-08 02:34:19] 827*2^1414312-1 is not prime. Res64: AC8FEEB55CD3720E Time : 0.0 sec. user=mdettweiler [2015-11-08 02:34:20] 899*2^1414312-1 is not prime. Res64: C7F9E08B7D9B6BBB Time : 0.0 sec. user=mdettweiler [2015-11-08 02:51:50] 651*2^1414314-1 is not prime. Res64: C366E9E9D8C9E717 Time : 0.0 sec. user=mdettweiler [2015-11-08 02:51:51] 747*2^1414314-1 is not prime. Res64: 12EBF7301E19AE46 Time : 0.0 sec. user=mdettweiler [2015-11-08 02:51:51] 607*2^1414313-1 is not prime. Res64: EE0C507A6E3CEC0E Time : 0.0 sec. user=mdettweiler [2015-11-08 02:51:51] 855*2^1414313-1 is not prime. Res64: E555D660CC74FF7B Time : 0.0 sec. user=mdettweiler [2015-11-08 02:51:51] 903*2^1414312-1 is not prime. Res64: 3346275865E969EA Time : 0.0 sec. user=mdettweiler [2015-11-08 02:51:52] 923*2^1414312-1 is not prime. Res64: 892E73219573B701 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:09:20] 903*2^1414314-1 is not prime. Res64: 26BB0D737B3B1798 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:09:20] 983*2^1414314-1 is not prime. Res64: B1F772F430E3B8EE Time : 0.0 sec. user=mdettweiler [2015-11-08 03:09:21] 645*2^1414315-1 is not prime. Res64: DAEF65064FDD7C15 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:09:21] 871*2^1414315-1 is not prime. Res64: 06AE079CD20AC7E6 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:09:21] 805*2^1414315-1 is not prime. Res64: 7707014D16F49BBB Time : 0.0 sec. user=mdettweiler [2015-11-08 03:09:22] 919*2^1414315-1 is not prime. Res64: 3144A94EA6C1571A Time : 0.0 sec. user=mdettweiler [2015-11-08 03:26:53] 973*2^1414315-1 is not prime. Res64: 003322EF1513761D Time : 0.0 sec. user=mdettweiler [2015-11-08 03:26:54] 711*2^1414317-1 is not prime. Res64: F78C7656D63E80F9 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:26:54] 843*2^1414316-1 is not prime. Res64: 9D65FCF38926FB16 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:26:55] 805*2^1414317-1 is not prime. Res64: BAD4A326FDC36192 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:26:55] 945*2^1414316-1 is not prime. Res64: 4E7F7144987F112A Time : 0.0 sec. user=mdettweiler [2015-11-08 03:26:56] 669*2^1414317-1 is not prime. Res64: CCF9091A38D559F6 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:44:43] 871*2^1414317-1 is not prime. Res64: CCB8C26594096200 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:44:44] 885*2^1414317-1 is not prime. Res64: 3C49DDD86EE340F4 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:44:46] 949*2^1414317-1 is not prime. Res64: ECF75FC0C7920D45 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:44:47] 955*2^1414317-1 is not prime. Res64: A5C78896E2FD7225 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:44:47] 895*2^1414317-1 is not prime. Res64: 548BABF34AC034F1 Time : 0.0 sec. user=mdettweiler [2015-11-08 03:44:48] 997*2^1414317-1 is not prime. Res64: 48F2B3167877C6B8 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:02:29] 647*2^1414318-1 is not prime. Res64: 8C976688E29093DF Time : 0.0 sec. user=mdettweiler [2015-11-08 04:02:30] 821*2^1414318-1 is not prime. Res64: EFA12B28780FCCEC Time : 0.0 sec. user=mdettweiler [2015-11-08 04:02:30] 915*2^1414318-1 is not prime. Res64: 451941640FCA4FD9 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:02:31] 957*2^1414318-1 is not prime. Res64: D68E623796AF7B06 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:02:32] 993*2^1414318-1 is not prime. Res64: B4E305F9E6E443FA Time : 0.0 sec. user=mdettweiler [2015-11-08 04:02:33] 603*2^1414319-1 is not prime. Res64: DFE15CF4EB3F5074 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:20:25] 633*2^1414319-1 is not prime. Res64: 910A1FA41F9091F6 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:20:26] 895*2^1414319-1 is not prime. Res64: A17447C2712234FF Time : 0.0 sec. user=mdettweiler [2015-11-08 04:20:26] 741*2^1414319-1 is not prime. Res64: 22B38C2BC36CA697 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:20:26] 645*2^1414319-1 is not prime. Res64: 702DAEFC3B2C1503 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:20:26] 913*2^1414319-1 is not prime. Res64: C4DAE935E856D050 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:20:26] 789*2^1414319-1 is not prime. Res64: F9175D6559BF6FF9 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:38:03] 819*2^1414320-1 is not prime. Res64: 00A6E4ECB3F716FA Time : 0.0 sec. user=mdettweiler [2015-11-08 04:38:03] 737*2^1414320-1 is not prime. Res64: F76758AFFD89F9B0 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:38:03] 863*2^1414320-1 is not prime. Res64: 42011598A67C3A5D Time : 0.0 sec. user=mdettweiler [2015-11-08 04:38:04] 797*2^1414320-1 is not prime. Res64: C00FEFE2EA838D91 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:38:04] 939*2^1414319-1 is not prime. Res64: A9FB7E08D9AE9C38 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:38:04] 955*2^1414319-1 is not prime. Res64: 234360181E1B1D93 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:55:36] 867*2^1414320-1 is not prime. Res64: 8A48D1C19633BF8D Time : 0.0 sec. user=mdettweiler [2015-11-08 04:55:37] 917*2^1414320-1 is not prime. Res64: 3C88285AA39D6E81 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:55:38] 601*2^1414321-1 is not prime. Res64: EA8449A977DA0A81 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:55:38] 691*2^1414321-1 is not prime. Res64: 61E7677F091C115B Time : 0.0 sec. user=mdettweiler [2015-11-08 04:55:38] 705*2^1414321-1 is not prime. Res64: BC59C9286C6DC011 Time : 0.0 sec. user=mdettweiler [2015-11-08 04:55:39] 751*2^1414321-1 is not prime. Res64: D214C587F98E0259 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:13:08] 747*2^1414322-1 is not prime. Res64: 63B284338D25CD15 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:13:08] 769*2^1414321-1 is not prime. Res64: 715290C475EAAC8C Time : 0.0 sec. user=mdettweiler [2015-11-08 05:13:09] 825*2^1414322-1 is not prime. Res64: 7426DCC26B287A74 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:13:09] 999*2^1414321-1 is not prime. Res64: F0E1346D361499CA Time : 0.0 sec. user=mdettweiler [2015-11-08 05:13:09] 829*2^1414321-1 is not prime. Res64: 0F680757AF300D85 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:13:09] 743*2^1414322-1 is not prime. Res64: A8E2DBF29CF51E24 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:30:44] 837*2^1414322-1 is not prime. Res64: 68ACF0A21009FEDE Time : 0.0 sec. user=mdettweiler [2015-11-08 05:30:44] 873*2^1414322-1 is not prime. Res64: 811FA9C46305F33E Time : 0.0 sec. user=mdettweiler [2015-11-08 05:30:44] 691*2^1414323-1 is not prime. Res64: BB3A0A84843C5CC8 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:30:45] 745*2^1414323-1 is not prime. Res64: 71409658BE23B71C Time : 0.0 sec. user=mdettweiler [2015-11-08 05:30:46] 935*2^1414322-1 is not prime. Res64: E80F60B958A49A21 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:30:47] 983*2^1414322-1 is not prime. Res64: 6D4818D83401FD00 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:48:16] 879*2^1414323-1 is not prime. Res64: 9A780DD7C02B3755 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:48:16] 951*2^1414323-1 is not prime. Res64: 7D49F2ECC98F5E34 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:48:17] 969*2^1414323-1 is not prime. Res64: 534044FE49101C33 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:48:17] 675*2^1414324-1 is not prime. Res64: 9A5D36AE6AFF409A Time : 0.0 sec. user=mdettweiler [2015-11-08 05:48:18] 823*2^1414323-1 is not prime. Res64: 032A6AFD34133769 Time : 0.0 sec. user=mdettweiler [2015-11-08 05:48:19] 853*2^1414323-1 is not prime. Res64: 666200EA3E4E799D Time : 0.0 sec. user=mdettweiler [2015-11-08 06:05:48] 875*2^1414324-1 is not prime. Res64: 323481DED3CA1630 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:05:48] 939*2^1414324-1 is not prime. Res64: A6DF2872F3AB8537 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:05:49] 995*2^1414324-1 is not prime. Res64: 49D77E5A4EE457CF Time : 0.0 sec. user=mdettweiler [2015-11-08 06:05:49] 975*2^1414324-1 is not prime. Res64: FA138B28B02FEC5A Time : 0.0 sec. user=mdettweiler [2015-11-08 06:05:50] 909*2^1414324-1 is not prime. Res64: 3252E33E723A5B4A Time : 0.0 sec. user=mdettweiler [2015-11-08 06:05:51] 735*2^1414325-1 is not prime. Res64: 2DAFC5CFC1327A69 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:23:47] 927*2^1414325-1 is not prime. Res64: E524D159B110F203 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:23:48] 657*2^1414326-1 is not prime. Res64: 5AB447DC9E2F5BCE Time : 0.0 sec. user=mdettweiler [2015-11-08 06:23:50] 837*2^1414325-1 is not prime. Res64: 7A0A2D51C3BA89FE Time : 0.0 sec. user=mdettweiler [2015-11-08 06:23:50] 867*2^1414325-1 is not prime. Res64: 2DD1975B4905AD29 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:23:54] 683*2^1414326-1 is not prime. Res64: B77FC6F0014E50BD Time : 0.0 sec. user=mdettweiler [2015-11-08 06:23:55] 761*2^1414326-1 is not prime. Res64: 3A3743958D74FF8E Time : 0.0 sec. user=mdettweiler [2015-11-08 06:41:18] 887*2^1414326-1 is not prime. Res64: E9ED10EEBC6EA187 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:41:18] 923*2^1414326-1 is not prime. Res64: E53CA3720ACB2A34 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:41:20] 963*2^1414326-1 is not prime. Res64: AFCD14975FADB2FF Time : 0.0 sec. user=mdettweiler [2015-11-08 06:41:21] 663*2^1414327-1 is not prime. Res64: A43DAA5ACDA84303 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:41:24] 793*2^1414327-1 is not prime. Res64: D3E24F2CEAA4DBDF Time : 0.0 sec. user=mdettweiler [2015-11-08 06:41:24] 829*2^1414327-1 is not prime. Res64: D8AADFA0D7BF0E08 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:58:48] 919*2^1414327-1 is not prime. Res64: 7591FF2D76354781 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:58:49] 931*2^1414327-1 is not prime. Res64: AD1C3D784378E069 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:58:50] 933*2^1414327-1 is not prime. Res64: 776E383E43EF9750 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:58:51] 973*2^1414327-1 is not prime. Res64: 0C127CF837CA5945 Time : 0.0 sec. user=mdettweiler [2015-11-08 06:58:55] 999*2^1414327-1 is not prime. Res64: F65E6F3641238A1B Time : 0.0 sec. user=mdettweiler [2015-11-08 06:58:56] 669*2^1414328-1 is not prime. Res64: 365DE44FD60D0825 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:16:19] 683*2^1414328-1 is not prime. Res64: 290A4675109B8BE4 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:16:20] 743*2^1414328-1 is not prime. Res64: AAB4B7A1840FD2A0 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:16:22] 927*2^1414328-1 is not prime. Res64: 5466F919CB7E2DB9 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:16:23] 945*2^1414328-1 is not prime. Res64: 70C80C9C6E0C03C2 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:16:25] 959*2^1414328-1 is not prime. Res64: A52BF14B470564E1 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:16:26] 977*2^1414328-1 is not prime. Res64: 8C68C026320DF7DB Time : 0.0 sec. user=mdettweiler [2015-11-08 07:33:51] 999*2^1414328-1 is not prime. Res64: 587C3CD9434F5BA3 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:33:51] 721*2^1414329-1 is not prime. Res64: F9B6CB3A555FDD9F Time : 0.0 sec. user=mdettweiler [2015-11-08 07:33:52] 727*2^1414329-1 is not prime. Res64: DC066E16C4C6CB12 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:33:52] 759*2^1414329-1 is not prime. Res64: 4262F16AD8EEAC01 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:33:55] 765*2^1414329-1 is not prime. Res64: FB3D2328B084FCBE Time : 0.0 sec. user=mdettweiler [2015-11-08 07:33:56] 907*2^1414329-1 is not prime. Res64: E9578B644066626B Time : 0.0 sec. user=mdettweiler [2015-11-08 07:51:22] 991*2^1414329-1 is not prime. Res64: 29F84A2317D7DF7D Time : 0.0 sec. user=mdettweiler [2015-11-08 07:51:23] 647*2^1414330-1 is not prime. Res64: 6FD9E4841D5027E8 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:51:23] 665*2^1414330-1 is not prime. Res64: 3A8CACF39AADF782 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:51:24] 675*2^1414330-1 is not prime. Res64: 7B83843F07E1916F Time : 0.0 sec. user=mdettweiler [2015-11-08 07:51:29] 741*2^1414330-1 is not prime. Res64: E73CDC9B8E9B27E6 Time : 0.0 sec. user=mdettweiler [2015-11-08 07:51:29] 791*2^1414330-1 is not prime. Res64: 62652351A0B155CB Time : 0.0 sec. user=mdettweiler [2015-11-08 08:08:54] 861*2^1414330-1 is not prime. Res64: 904783D4D3A5C123 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:08:54] 831*2^1414330-1 is not prime. Res64: 6B1AEA7D3A7A7051 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:08:54] 643*2^1414331-1 is not prime. Res64: 12C5E1DFB5978A84 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:08:54] 833*2^1414330-1 is not prime. Res64: 60DF18B418FFD4D8 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:08:59] 789*2^1414331-1 is not prime. Res64: 90F62468151A52C4 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:09:00] 825*2^1414331-1 is not prime. Res64: 51AAB5A1ECEC536D Time : 0.0 sec. user=mdettweiler [2015-11-08 08:26:29] 949*2^1414331-1 is not prime. Res64: 48862209500346D2 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:26:29] 627*2^1414332-1 is not prime. Res64: 5F0BF13185513ACB Time : 0.0 sec. user=mdettweiler [2015-11-08 08:26:30] 979*2^1414331-1 is not prime. Res64: 712D9D7B2DFCD263 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:26:30] 923*2^1414332-1 is not prime. Res64: F9811A6F38744904 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:26:31] 945*2^1414332-1 is not prime. Res64: 620D3C877120B5E9 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:26:31] 965*2^1414332-1 is not prime. Res64: 4D0B725BB18431C9 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:44:00] 741*2^1414333-1 is not prime. Res64: 8870818518ED1D2A Time : 0.0 sec. user=mdettweiler [2015-11-08 08:44:01] 775*2^1414333-1 is not prime. Res64: 79CAB60FB3CAD43A Time : 0.0 sec. user=mdettweiler [2015-11-08 08:44:02] 687*2^1414333-1 is not prime. Res64: 8E6F19A1300C25CD Time : 0.0 sec. user=mdettweiler [2015-11-08 08:44:03] 729*2^1414333-1 is not prime. Res64: 107B717629C12BBA Time : 0.0 sec. user=mdettweiler [2015-11-08 08:44:05] 811*2^1414333-1 is not prime. Res64: 967A44D59ADA4C33 Time : 0.0 sec. user=mdettweiler [2015-11-08 08:44:05] 847*2^1414333-1 is not prime. Res64: EC75D7DDAE4E30F0 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:01:34] 615*2^1414334-1 is not prime. Res64: 0803BD53C9DB1105 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:01:35] 635*2^1414334-1 is not prime. Res64: A513C5BF7AA81524 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:01:36] 867*2^1414333-1 is not prime. Res64: FF76AF956D231DBC Time : 0.0 sec. user=mdettweiler [2015-11-08 09:01:36] 663*2^1414334-1 is not prime. Res64: 692FA8E69D296F8D Time : 0.0 sec. user=mdettweiler [2015-11-08 09:01:37] 605*2^1414334-1 is not prime. Res64: AA4B6DFF1FE7D1E0 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:01:37] 665*2^1414334-1 is not prime. Res64: 43F6D1592CF17203 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:19:19] 693*2^1414334-1 is not prime. Res64: FDC59711D32B6DA7 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:19:20] 755*2^1414334-1 is not prime. Res64: 8240ABD6B3550426 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:19:21] 813*2^1414334-1 is not prime. Res64: B18CD56EA1ED0E7F Time : 0.0 sec. user=mdettweiler [2015-11-08 09:19:22] 827*2^1414334-1 is not prime. Res64: 0A2B6F24D4711DD8 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:19:22] 873*2^1414334-1 is not prime. Res64: 45BCFA670A55341D Time : 0.0 sec. user=mdettweiler [2015-11-08 09:19:22] 923*2^1414334-1 is not prime. Res64: E4715FF2A7AC8424 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:36:59] 763*2^1414335-1 is not prime. Res64: A7E3F185E25056DD Time : 0.0 sec. user=mdettweiler [2015-11-08 09:37:00] 871*2^1414335-1 is not prime. Res64: 0BE62D00B94CCF37 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:37:02] 649*2^1414335-1 is not prime. Res64: 47AD38FF6BC8A2F7 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:37:03] 675*2^1414335-1 is not prime. Res64: 8CD0EE54B8152AC2 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:37:04] 935*2^1414334-1 is not prime. Res64: 516780FC5A061F7F Time : 0.0 sec. user=mdettweiler [2015-11-08 09:37:04] 951*2^1414334-1 is not prime. Res64: E6BA5FA3CA6C0274 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:54:28] 919*2^1414335-1 is not prime. Res64: B08EAC184F374CD2 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:54:29] 663*2^1414336-1 is not prime. Res64: A3FBA76BE1CA60AC Time : 0.0 sec. user=mdettweiler [2015-11-08 09:54:33] 825*2^1414336-1 is not prime. Res64: 627CE3559A3EBB5F Time : 0.0 sec. user=mdettweiler [2015-11-08 09:54:33] 843*2^1414336-1 is not prime. Res64: F0D6A04BD2A34367 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:54:34] 777*2^1414336-1 is not prime. Res64: 90025D8650617716 Time : 0.0 sec. user=mdettweiler [2015-11-08 09:54:35] 803*2^1414336-1 is not prime. Res64: EE5F303C73D2E2FC Time : 0.0 sec. user=mdettweiler [2015-11-08 10:12:01] 903*2^1414336-1 is not prime. Res64: 4565B55A5DE4AB83 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:12:02] 965*2^1414336-1 is not prime. Res64: 1E526659E89D1565 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:12:04] 983*2^1414336-1 is not prime. Res64: A9D094E5C9CCA062 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:12:05] 993*2^1414336-1 is not prime. Res64: EAC6ED13989794DA Time : 0.0 sec. user=mdettweiler [2015-11-08 10:12:06] 631*2^1414337-1 is not prime. Res64: C39418EDDB828338 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:12:07] 691*2^1414337-1 is not prime. Res64: 01F68E71D6A86F85 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:29:37] 759*2^1414337-1 is not prime. Res64: 76F525BEBCAF7E4F Time : 0.0 sec. user=mdettweiler [2015-11-08 10:29:38] 781*2^1414337-1 is not prime. Res64: F58F7D8D112330A8 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:29:38] 621*2^1414338-1 is not prime. Res64: B86BFC0222D35E02 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:29:38] 635*2^1414338-1 is not prime. Res64: 72AE978E1A283D2A Time : 0.0 sec. user=mdettweiler [2015-11-08 10:29:39] 647*2^1414338-1 is not prime. Res64: 9D57145EC3C805C0 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:29:39] 683*2^1414338-1 is not prime. Res64: 47D80C2D115A8D49 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:47:06] 767*2^1414338-1 is not prime. Res64: 0B843117B8E65D71 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:47:06] 861*2^1414338-1 is not prime. Res64: 9285799D10F357CF Time : 0.0 sec. user=mdettweiler [2015-11-08 10:47:07] 927*2^1414338-1 is not prime. Res64: B4E39BB6483B3014 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:47:08] 1001*2^1414338-1 is not prime. Res64: 6555955558987B93 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:47:08] 703*2^1414339-1 is not prime. Res64: E15622C6321A32D2 Time : 0.0 sec. user=mdettweiler [2015-11-08 10:47:08] 843*2^1414339-1 is not prime. Res64: D6E5C91CD592B5F7 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:04:37] 853*2^1414339-1 is not prime. Res64: 45FB35BA1C3CCA86 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:04:38] 961*2^1414339-1 is not prime. Res64: 4AD167243AFA5105 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:04:41] 885*2^1414340-1 is not prime. Res64: 73D20B63D0091935 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:04:42] 627*2^1414341-1 is not prime. Res64: 4487FF9F1818BD3E Time : 0.0 sec. user=mdettweiler [2015-11-08 11:04:43] 893*2^1414340-1 is not prime. Res64: F12B0BB4312B7774 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:04:44] 747*2^1414341-1 is not prime. Res64: B0F08174F7F5CC02 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:22:25] 795*2^1414341-1 is not prime. Res64: AA1C70A1BB858BF3 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:22:25] 861*2^1414341-1 is not prime. Res64: 67D72E0C1DD00744 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:22:26] 921*2^1414341-1 is not prime. Res64: F55B459B5A905A84 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:22:26] 945*2^1414341-1 is not prime. Res64: ED2FEE42BCE2C848 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:22:28] 975*2^1414341-1 is not prime. Res64: D0934208B9DDCC52 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:22:28] 979*2^1414341-1 is not prime. Res64: B77F51AAE64650A6 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:39:56] 681*2^1414342-1 is not prime. Res64: 9CE9AF1420ACE38E Time : 0.0 sec. user=mdettweiler [2015-11-08 11:39:56] 785*2^1414342-1 is not prime. Res64: 3D831FA0D2DAB9AC Time : 0.0 sec. user=mdettweiler [2015-11-08 11:39:56] 657*2^1414342-1 is not prime. Res64: E4C147CF64D81E76 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:39:57] 867*2^1414342-1 is not prime. Res64: FE71441AC0CD1005 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:39:57] 671*2^1414342-1 is not prime. Res64: F90A373C3AB51D8F Time : 0.0 sec. user=mdettweiler [2015-11-08 11:39:57] 885*2^1414342-1 is not prime. Res64: D1F6B922706AC9CC Time : 0.0 sec. user=mdettweiler [2015-11-08 11:57:26] 783*2^1414343-1 is not prime. Res64: 7780C53838E0C2C3 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:57:27] 825*2^1414343-1 is not prime. Res64: BDFB1D2ADF85E959 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:57:28] 957*2^1414342-1 is not prime. Res64: 148F0313D273B277 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:57:28] 633*2^1414343-1 is not prime. Res64: BE8CEBEF600A9BC0 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:57:30] 669*2^1414343-1 is not prime. Res64: 9DB4C3D500D4C149 Time : 0.0 sec. user=mdettweiler [2015-11-08 11:57:31] 693*2^1414343-1 is not prime. Res64: 4F36552D1355B39D Time : 0.0 sec. user=mdettweiler [2015-11-08 12:14:56] 921*2^1414343-1 is not prime. Res64: 62FEF0461353C7FB Time : 0.0 sec. user=mdettweiler [2015-11-08 12:14:56] 993*2^1414343-1 is not prime. Res64: D9F3C3A6DC6AA062 Time : 0.0 sec. user=mdettweiler [2015-11-08 12:14:57] 725*2^1414344-1 is not prime. Res64: 533466554EA544D4 Time : 0.0 sec. user=mdettweiler [2015-11-08 12:14:57] 857*2^1414344-1 is not prime. Res64: 71239E3C36DE063E Time : 0.0 sec. user=mdettweiler [2015-11-08 12:14:59] 875*2^1414344-1 is not prime. Res64: AAE2E68F06333CFD Time : 0.0 sec. user=mdettweiler [2015-11-08 12:15:00] 923*2^1414344-1 is not prime. Res64: 178CBED5E7C32796 Time : 0.0 sec. user=mdettweiler [2015-11-08 12:32:26] 983*2^1414344-1 is not prime. Res64: FA678C2E79847861 Time : 0.0 sec. user=mdettweiler [2015-11-08 12:32:26] 993*2^1414344-1 is not prime. Res64: 8073814422387202 Time : 0.0 sec. user=mdettweiler [2015-11-08 12:32:26] 609*2^1414345-1 is not prime. Res64: 1C630057CD542021 Time : 0.0 sec. user=mdettweiler [2015-11-08 12:32:27] 957*2^1414345-1 is not prime. Res64: 8A567796E4C64CD7 Time : 0.0 sec. user=mdettweiler [2015-11-08 12:32:29] 987*2^1414345-1 is not prime. Res64: FB50CF5F795CE1EE Time : 0.0 sec. user=mdettweiler [2015-11-08 12:32:29] 633*2^1414346-1 is not prime. Res64: E355ECE50C0FE5D4 Time : 0.0 sec. user=mdettweiler [2015-11-08 12:49:58] 773*2^1414346-1 is not prime. Res64: 461AE84A29DDD63E Time : 0.0 sec. user=mdettweiler [2015-11-08 12:49:58] 815*2^1414346-1 is not prime. Res64: 2CDA55593F052CBC Time : 0.0 sec. user=mdettweiler [2015-11-08 12:50:00] 831*2^1414346-1 is not prime. Res64: FF7F98C57416AD63 Time : 0.0 sec. user=mdettweiler [2015-11-08 12:50:01] 837*2^1414346-1 is not prime. Res64: 06D2F3EF9B83A1E9 Time : 0.0 sec. user=mdettweiler [2015-11-08 12:50:04] 867*2^1414346-1 is not prime. Res64: 2D58218A6D7AD60B Time : 0.0 sec. user=mdettweiler [2015-11-08 12:50:05] 675*2^1414347-1 is not prime. Res64: 84B2AEA8824FE5CE Time : 0.0 sec. user=mdettweiler [2015-11-08 13:07:29] 793*2^1414347-1 is not prime. Res64: DAD25076199A3093 Time : 0.0 sec. user=mdettweiler [2015-11-08 13:07:30] 849*2^1414347-1 is not prime. Res64: E16F73C2CD06E7C4 Time : 0.0 sec. user=mdettweiler [2015-11-08 13:07:31] 617*2^1414348-1 is not prime. Res64: 754A8561BF1B7D73 Time : 0.0 sec. user=mdettweiler [2015-11-08 13:07:31] 647*2^1414348-1 is not prime. Res64: EFF708DEDA5D45FC Time : 0.0 sec. user=mdettweiler [2015-11-08 13:07:34] 723*2^1414348-1 is not prime. Res64: 45F88F728DCB7367 Time : 0.0 sec. user=mdettweiler [2015-11-08 13:07:35] 765*2^1414348-1 is not prime. Res64: 0127B328FE679B76 Time : 0.0 sec. user=mdettweiler [2015-11-08 13:25:01] 855*2^1414348-1 is not prime. Res64: ED5835BFE111BFA7 Time : 0.0 sec. user=mdettweiler [2015-11-08 13:25:01] 915*2^1414348-1 is not prime. Res64: 9A553D0AA5C72DE3 Time : 0.0 sec. user=mdettweiler [2015-11-08 13:25:02] 777*2^1414348-1 is not prime. Res64: F1ED8DCFC3A4A129 Time : 0.0 sec. user=mdettweiler [2015-11-08 13:25:02] 839*2^1414348-1 is not prime. Res64: 603F366545F40FFC Time : 0.0 sec. user=mdettweiler [2015-11-08 13:25:04] 959*2^1414348-1 is not prime. Res64: 0C653DEA91040DAC Time : 0.0 sec. user=mdettweiler [2015-11-08 13:25:04] 631*2^1414349-1 is not prime. Res64: E37260C307310EDE Time : 0.0 sec. user=mdettweiler [2015-11-08 13:42:32] 645*2^1414349-1 is not prime. Res64: 9F9BFEB07353227E Time : 0.0 sec. user=mdettweiler [2015-11-08 13:42:33] 655*2^1414349-1 is not prime. Res64: B5263CC85C188706 Time : 0.0 sec. user=mdettweiler [2015-11-08 13:42:34] 675*2^1414349-1 is not prime. Res64: E2A205E8F0821A32 Time : 0.0 sec. user=mdettweiler [2015-11-08 13:42:34] 861*2^1414349-1 is not prime. Res64: 9983A06D3B514B6F Time : 0.0 sec. user=mdettweiler [2015-11-08 13:42:34] 729*2^1414349-1 is not prime. Res64: 86742DEDAA724DCF Time : 0.0 sec. user=mdettweiler [2015-11-08 13:42:34] 773*2^1414350-1 is not prime. Res64: D225DFAB0E0AC43E Time : 0.0 sec. user=mdettweiler [2015-11-08 14:00:07] 801*2^1414350-1 is not prime. Res64: 9D9742C31E620E54 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:00:07] 639*2^1414351-1 is not prime. Res64: 8D24174DA25374B0 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:00:07] 851*2^1414350-1 is not prime. Res64: 031B69B6DF86D021 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:00:07] 661*2^1414351-1 is not prime. Res64: BDCC513A1FC2ED64 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:00:08] 867*2^1414350-1 is not prime. Res64: 76BED4727BDDBE47 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:00:08] 885*2^1414350-1 is not prime. Res64: E81689B3FA9833E3 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:17:44] 693*2^1414351-1 is not prime. Res64: 035AEAE295BD3CD7 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:17:44] 735*2^1414351-1 is not prime. Res64: 36977B47930A82F4 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:17:45] 745*2^1414351-1 is not prime. Res64: 14047AFD9283D548 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:17:45] 759*2^1414351-1 is not prime. Res64: B05E53D774185349 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:17:45] 775*2^1414351-1 is not prime. Res64: 5E69A3665BBC76EC Time : 0.0 sec. user=mdettweiler [2015-11-08 14:17:46] 861*2^1414351-1 is not prime. Res64: 04ED390835C4099E Time : 0.0 sec. user=mdettweiler [2015-11-08 14:35:25] 931*2^1414351-1 is not prime. Res64: 21C996987B9D9C9D Time : 0.0 sec. user=mdettweiler [2015-11-08 14:35:25] 973*2^1414351-1 is not prime. Res64: 765B928C4D46E482 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:35:26] 843*2^1414352-1 is not prime. Res64: 468D176B1C64E009 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:35:26] 855*2^1414352-1 is not prime. Res64: E0E1D82A8957D128 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:35:26] 719*2^1414352-1 is not prime. Res64: C1BA1A9894A2DE17 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:35:26] 735*2^1414352-1 is not prime. Res64: 692C6F235D71A4A3 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:52:59] 727*2^1414353-1 is not prime. Res64: E42E488A2DC0DF3C Time : 0.0 sec. user=mdettweiler [2015-11-08 14:53:00] 769*2^1414353-1 is not prime. Res64: 324C10F4084F3ADF Time : 0.0 sec. user=mdettweiler [2015-11-08 14:53:00] 909*2^1414352-1 is not prime. Res64: FEC08FFBE7959869 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:53:00] 963*2^1414352-1 is not prime. Res64: B65AB0AF8AB09759 Time : 0.0 sec. user=mdettweiler [2015-11-08 14:53:00] 999*2^1414352-1 is not prime. Res64: 5A46661A6C48C3EF Time : 0.0 sec. user=mdettweiler [2015-11-08 14:53:01] 691*2^1414353-1 is not prime. Res64: C8B6FE123C213AF7 Time : 0.0 sec. user=mdettweiler [2015-11-08 15:10:34] 877*2^1414353-1 is not prime. Res64: B09CEA3A6D9741A3 Time : 0.0 sec. user=mdettweiler [2015-11-08 15:10:35] 891*2^1414353-1 is not prime. Res64: 8B167D4A925E9D49 Time : 0.0 sec. user=mdettweiler [2015-11-08 15:10:38] 921*2^1414353-1 is not prime. Res64: 53B31990BE99281F Time : 0.0 sec. user=mdettweiler [2015-11-08 15:10:39] 787*2^1414353-1 is not prime. Res64: 855CE64992B2C98F Time : 0.0 sec. user=mdettweiler [2015-11-08 15:10:39] 937*2^1414353-1 is not prime. Res64: 679D96D6AFE98ADE Time : 0.0 sec. user=mdettweiler [2015-11-08 15:10:40] 811*2^1414353-1 is not prime. Res64: AC7379B7DA0C9280 Time : 0.0 sec. user=mdettweiler [2015-11-08 15:28:16] 831*2^1414354-1 is not prime. Res64: 7D788BC846E925DF Time : 0.0 sec. user=mdettweiler [2015-11-08 15:28:16] 999*2^1414353-1 is not prime. Res64: B42151D6B8B48BBE Time : 0.0 sec. user=mdettweiler [2015-11-08 15:28:16] 915*2^1414354-1 is not prime. Res64: 855F7A56ED3C3ACC Time : 0.0 sec. user=mdettweiler [2015-11-08 15:28:16] 657*2^1414354-1 is not prime. Res64: 32AD2B2B7C7C1825 Time : 0.0 sec. user=mdettweiler [2015-11-08 15:28:16] 663*2^1414354-1 is not prime. Res64: BCF8211C6284A016 Time : 0.0 sec. user=mdettweiler [2015-11-08 15:28:17] 741*2^1414354-1 is not prime. Res64: 8426D6A2E44FC40D Time : 0.0 sec. user=mdettweiler [2015-11-08 15:45:59] 741*2^1414355-1 is not prime. Res64: 03D9BA8BD977A8CA Time : 0.0 sec. user=mdettweiler [2015-11-08 15:45:59] 841*2^1414355-1 is not prime. Res64: 66C45E3A31B135A6 Time : 0.0 sec. user=mdettweiler [2015-11-08 15:46:00] 861*2^1414355-1 is not prime. Res64: 3819BB58A9DD757B Time : 0.0 sec. user=mdettweiler [2015-11-08 15:46:00] 883*2^1414355-1 is not prime. Res64: ED77D882E186B99E Time : 0.0 sec. user=mdettweiler [2015-11-08 15:46:02] 1001*2^1414354-1 is not prime. Res64: 4EFFB33F713486EC Time : 0.0 sec. user=mdettweiler [2015-11-08 15:46:03] 651*2^1414355-1 is not prime. Res64: 94C2EE824B6ADD3D Time : 0.0 sec. user=mdettweiler [2015-11-08 16:03:34] 653*2^1414356-1 is not prime. Res64: C334F19FA412AC4B Time : 0.0 sec. user=mdettweiler [2015-11-08 16:03:35] 615*2^1414356-1 is not prime. Res64: AAF5572321E30736 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:03:37] 647*2^1414356-1 is not prime. Res64: 6341227B349B5BA5 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:03:38] 719*2^1414356-1 is not prime. Res64: 71A6FBAB08547D0F Time : 0.0 sec. user=mdettweiler [2015-11-08 16:03:41] 845*2^1414356-1 is not prime. Res64: 9B38892BB96A20AC Time : 0.0 sec. user=mdettweiler [2015-11-08 16:03:43] 705*2^1414356-1 is not prime. Res64: 78FB7713DD57B715 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:21:33] 639*2^1414357-1 is not prime. Res64: 4FB75349D729EBCB Time : 0.0 sec. user=mdettweiler [2015-11-08 16:21:33] 857*2^1414356-1 is not prime. Res64: A0785A0BA6334039 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:21:34] 757*2^1414357-1 is not prime. Res64: EF798A1B10C67E68 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:21:34] 945*2^1414356-1 is not prime. Res64: 71B4C2DDC25DFF53 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:21:34] 817*2^1414357-1 is not prime. Res64: DC32143718D56B6C Time : 0.0 sec. user=mdettweiler [2015-11-08 16:21:34] 897*2^1414357-1 is not prime. Res64: 57F5AE0510D622F8 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:39:06] 601*2^1414359-1 is not prime. Res64: 4ACFF9273E5F374A Time : 0.0 sec. user=mdettweiler [2015-11-08 16:39:06] 761*2^1414358-1 is not prime. Res64: A3E2FC1FD7DD11A8 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:39:07] 639*2^1414359-1 is not prime. Res64: FFEC5491E3972DB8 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:39:07] 801*2^1414358-1 is not prime. Res64: C7CAAFC3A4DAB420 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:39:09] 743*2^1414358-1 is not prime. Res64: C3989C3B2AF4C9C7 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:39:10] 827*2^1414358-1 is not prime. Res64: 2C90065872533077 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:56:43] 711*2^1414359-1 is not prime. Res64: 66C1C7B970A83842 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:56:44] 973*2^1414359-1 is not prime. Res64: 3FD1DD5099D55D09 Time : 0.0 sec. user=mdettweiler [2015-11-08 16:56:44] 609*2^1414360-1 is not prime. Res64: E47758F3C810366F Time : 0.0 sec. user=mdettweiler [2015-11-08 16:56:45] 675*2^1414360-1 is not prime. Res64: 736104547BCCF68E Time : 0.0 sec. user=mdettweiler [2015-11-08 16:56:47] 687*2^1414360-1 is not prime. Res64: BBE2BCBEA015FDDC Time : 0.0 sec. user=mdettweiler [2015-11-08 16:56:47] 839*2^1414360-1 is not prime. Res64: F5FE15106E29F18E Time : 0.0 sec. user=mdettweiler [2015-11-08 17:14:54] 649*2^1414361-1 is not prime. Res64: 3C2B3ADA7A1CFA85 Time : 0.0 sec. user=mdettweiler [2015-11-08 17:14:54] 685*2^1414361-1 is not prime. Res64: C2598DAA24FC6565 Time : 0.0 sec. user=mdettweiler [2015-11-08 17:14:55] 619*2^1414361-1 is not prime. Res64: 5AA5F5F4346A5D44 Time : 0.0 sec. user=mdettweiler [2015-11-08 17:14:56] 627*2^1414361-1 is not prime. Res64: 87D9C2BDFFC268C1 Time : 0.0 sec. user=mdettweiler [2015-11-08 17:14:58] 899*2^1414360-1 is not prime. Res64: E6AFC6B6B6E97EEA Time : 0.0 sec. user=mdettweiler [2015-11-08 17:14:59] 923*2^1414360-1 is not prime. Res64: B8303C5606BBF669 Time : 0.0 sec. user=mdettweiler [2015-11-08 17:36:22] 633*2^1414363-1 is not prime. Res64: 705A3F5C810BE46C Time : 0.0 sec. user=mdettweiler [2015-11-08 17:36:22] 681*2^1414363-1 is not prime. Res64: D4EC4E250DDF9364 Time : 0.0 sec. user=mdettweiler [2015-11-08 17:36:23] 695*2^1414362-1 is not prime. Res64: 92E797D845E815AB Time : 0.0 sec. user=mdettweiler [2015-11-08 17:36:24] 947*2^1414362-1 is not prime. Res64: 2377C9F8A029579A Time : 0.0 sec. user=mdettweiler [2015-11-08 17:36:32] 829*2^1414363-1 is not prime. Res64: D3919C9E2546545F Time : 0.0 sec. user=mdettweiler [2015-11-08 17:36:32] 895*2^1414363-1 is not prime. Res64: 3305D4A21B3AFEB3 Time : 0.0 sec. user=mdettweiler [2015-11-08 17:56:07] 919*2^1414363-1 is not prime. Res64: 98B3CDFEF32D38DC Time : 0.0 sec. user=mdettweiler [2015-11-08 17:56:07] 943*2^1414363-1 is not prime. Res64: 28908EB8F1FCB8B2 Time : 0.0 sec. user=mdettweiler [2015-11-08 17:56:09] 985*2^1414363-1 is not prime. Res64: 9BE6EDDB6964ABB8 Time : 0.0 sec. user=mdettweiler [2015-11-08 17:56:10] 999*2^1414363-1 is not prime. Res64: A575EA16DFBFFCDF Time : 0.0 sec. user=mdettweiler [2015-11-08 17:56:13] 617*2^1414364-1 is not prime. Res64: BA0ACB5C9524D66E Time : 0.0 sec. user=mdettweiler [2015-11-08 17:56:13] 635*2^1414364-1 is not prime. Res64: 078B863C38DB70C9 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:14:18] 721*2^1414365-1 is not prime. Res64: E7F54C821E41D560 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:14:18] 751*2^1414365-1 is not prime. Res64: 6E25797B144F24B3 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:14:19] 969*2^1414364-1 is not prime. Res64: 5802ED8E076746B8 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:14:19] 685*2^1414365-1 is not prime. Res64: DF08BE2F6C2DABE4 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:14:21] 753*2^1414364-1 is not prime. Res64: D3115909DCDADD6D Time : 0.0 sec. user=mdettweiler [2015-11-08 18:14:21] 935*2^1414364-1 is not prime. Res64: 9075CEFE1120F002 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:31:51] 815*2^1414366-1 is not prime. Res64: CFC1504DE8182809 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:31:51] 915*2^1414365-1 is not prime. Res64: 2FC1EEF525823AFD Time : 0.0 sec. user=mdettweiler [2015-11-08 18:31:51] 623*2^1414366-1 is not prime. Res64: 7A57933A618B5674 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:31:52] 825*2^1414366-1 is not prime. Res64: 1ADE0752077936A7 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:31:52] 937*2^1414365-1 is not prime. Res64: 7438EEB42D32DFC0 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:31:52] 705*2^1414366-1 is not prime. Res64: DF757697A6DAF0EB Time : 0.0 sec. user=mdettweiler [2015-11-08 18:49:22] 867*2^1414366-1 is not prime. Res64: 8F5E6745EFC3CDDE Time : 0.0 sec. user=mdettweiler [2015-11-08 18:49:22] 619*2^1414367-1 is not prime. Res64: 2415AE34F10FFD35 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:49:23] 881*2^1414366-1 is not prime. Res64: 83FADCB528732B44 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:49:23] 887*2^1414366-1 is not prime. Res64: 68F867987BB7A549 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:49:23] 711*2^1414367-1 is not prime. Res64: 0E70D21DF0038848 Time : 0.0 sec. user=mdettweiler [2015-11-08 18:49:23] 941*2^1414366-1 is not prime. Res64: 9868A57D0BF64256 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:06:52] 841*2^1414367-1 is not prime. Res64: 5646C384C5EB2A25 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:06:52] 747*2^1414368-1 is not prime. Res64: 2BB51A88A8ABCD54 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:06:53] 931*2^1414367-1 is not prime. Res64: 57DB77679FDF77F6 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:06:54] 845*2^1414368-1 is not prime. Res64: FFF1216982132A02 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:06:58] 627*2^1414368-1 is not prime. Res64: A469C583E7775CDC Time : 0.0 sec. user=mdettweiler [2015-11-08 19:06:59] 713*2^1414368-1 is not prime. Res64: 3D42C4374B31CCCB Time : 0.0 sec. user=mdettweiler [2015-11-08 19:24:26] 885*2^1414369-1 is not prime. Res64: AAD7E381001AE6F1 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:24:27] 895*2^1414369-1 is not prime. Res64: 825EDDAC04A1005F Time : 0.0 sec. user=mdettweiler [2015-11-08 19:24:27] 675*2^1414370-1 is not prime. Res64: 9666F911BCE95120 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:24:27] 797*2^1414370-1 is not prime. Res64: A8C25F1188BE382D Time : 0.0 sec. user=mdettweiler [2015-11-08 19:24:29] 999*2^1414368-1 is not prime. Res64: 223D2DF97763C61E Time : 0.0 sec. user=mdettweiler [2015-11-08 19:24:29] 771*2^1414369-1 is not prime. Res64: 825DEA4A07CE76DA Time : 0.0 sec. user=mdettweiler [2015-11-08 19:41:55] 893*2^1414370-1 is not prime. Res64: 4D547F05CEA95BBE Time : 0.0 sec. user=mdettweiler [2015-11-08 19:41:55] 995*2^1414370-1 is not prime. Res64: 6206892375881479 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:41:55] 921*2^1414370-1 is not prime. Res64: 5C9961E9F280BAEF Time : 0.0 sec. user=mdettweiler [2015-11-08 19:41:56] 609*2^1414371-1 is not prime. Res64: 85374DA412C27D17 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:41:56] 669*2^1414371-1 is not prime. Res64: A9CC7953BF001175 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:41:57] 705*2^1414371-1 is not prime. Res64: D0B9C4D44FAF9297 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:59:25] 901*2^1414371-1 is not prime. Res64: 10CF43CDDCC08461 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:59:25] 769*2^1414371-1 is not prime. Res64: 682A876C43E69A0C Time : 0.0 sec. user=mdettweiler [2015-11-08 19:59:25] 735*2^1414372-1 is not prime. Res64: EFE2A74CFA969DC0 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:59:25] 879*2^1414371-1 is not prime. Res64: 120B930AD50C1581 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:59:25] 743*2^1414372-1 is not prime. Res64: DBB45436C746D322 Time : 0.0 sec. user=mdettweiler [2015-11-08 19:59:26] 765*2^1414372-1 is not prime. Res64: 1D4CF204FE3EEC8F Time : 0.0 sec. user=mdettweiler [2015-11-08 20:16:55] 825*2^1414372-1 is not prime. Res64: 0768A367793208C6 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:16:55] 929*2^1414372-1 is not prime. Res64: 8899F501F91F9783 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:16:55] 855*2^1414372-1 is not prime. Res64: 2C61D27838503A6F Time : 0.0 sec. user=mdettweiler [2015-11-08 20:16:55] 827*2^1414372-1 is not prime. Res64: F537FF080F39B734 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:16:56] 863*2^1414372-1 is not prime. Res64: B04530C260A99204 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:16:56] 957*2^1414372-1 is not prime. Res64: C9D4599CB96242D7 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:34:25] 615*2^1414373-1 is not prime. Res64: AFBDB507F3D8A2F4 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:34:25] 699*2^1414373-1 is not prime. Res64: EBCE24CCB6CB7045 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:34:26] 889*2^1414373-1 is not prime. Res64: B2E255765E9E087B Time : 0.0 sec. user=mdettweiler [2015-11-08 20:34:26] 981*2^1414373-1 is not prime. Res64: D11D1E9702DE578B Time : 0.0 sec. user=mdettweiler [2015-11-08 20:34:28] 757*2^1414373-1 is not prime. Res64: 48C6B0600708C4EC Time : 0.0 sec. user=mdettweiler [2015-11-08 20:34:28] 885*2^1414373-1 is not prime. Res64: 0D3272A0D5FCA2CF Time : 0.0 sec. user=mdettweiler [2015-11-08 20:51:55] 797*2^1414374-1 is not prime. Res64: 2DF0B93EDEBF96AB Time : 0.0 sec. user=mdettweiler [2015-11-08 20:51:55] 861*2^1414374-1 is not prime. Res64: CB5BB83B3101A650 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:51:56] 851*2^1414374-1 is not prime. Res64: 69A63F3E9EFC1EA0 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:51:56] 893*2^1414374-1 is not prime. Res64: 9B913A217FD0D413 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:51:59] 673*2^1414375-1 is not prime. Res64: 7362DAFF15149AB4 Time : 0.0 sec. user=mdettweiler [2015-11-08 20:51:59] 675*2^1414375-1 is not prime. Res64: 5225C26D739FCF03 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:09:26] 915*2^1414375-1 is not prime. Res64: F8BC756F5CD00349 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:09:26] 939*2^1414375-1 is not prime. Res64: BD5763AFED033837 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:09:28] 759*2^1414375-1 is not prime. Res64: FFEE1CEF18EA1663 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:09:28] 829*2^1414375-1 is not prime. Res64: C98B535E31C7B36E Time : 0.0 sec. user=mdettweiler [2015-11-08 21:09:32] 979*2^1414375-1 is not prime. Res64: 0718C1F79E4195BF Time : 0.0 sec. user=mdettweiler [2015-11-08 21:09:32] 999*2^1414375-1 is not prime. Res64: A7B93BCB699B3B97 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:26:59] 633*2^1414376-1 is not prime. Res64: F723307EAE87030A Time : 0.0 sec. user=mdettweiler [2015-11-08 21:26:59] 855*2^1414376-1 is not prime. Res64: EB083015A8A901B3 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:26:59] 873*2^1414376-1 is not prime. Res64: 36ED45A444E49D1C Time : 0.0 sec. user=mdettweiler [2015-11-08 21:27:00] 999*2^1414376-1 is not prime. Res64: C6BF50D368C4B359 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:27:01] 661*2^1414377-1 is not prime. Res64: E1504F000CA2FDE8 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:27:01] 681*2^1414377-1 is not prime. Res64: BCB5909D3FA33B66 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:44:30] 605*2^1414378-1 is not prime. Res64: 551982111855F465 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:44:30] 635*2^1414378-1 is not prime. Res64: DF2629024049E9F4 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:44:32] 807*2^1414377-1 is not prime. Res64: E65170F3B2A16C59 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:44:33] 901*2^1414377-1 is not prime. Res64: 6BC634D8742C8291 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:44:33] 657*2^1414378-1 is not prime. Res64: 79447361F4226E74 Time : 0.0 sec. user=mdettweiler [2015-11-08 21:44:34] 815*2^1414378-1 is not prime. Res64: 4B39DEE23292A4AE Time : 0.0 sec. user=mdettweiler [2015-11-08 22:02:01] 843*2^1414378-1 is not prime. Res64: 94708A34698F6FD4 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:02:02] 915*2^1414378-1 is not prime. Res64: 141888C136004124 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:02:03] 941*2^1414378-1 is not prime. Res64: 8AEE5017FA29A43B Time : 0.0 sec. user=mdettweiler [2015-11-08 22:02:04] 945*2^1414378-1 is not prime. Res64: AD3D3E22BCBEA0DC Time : 0.0 sec. user=mdettweiler [2015-11-08 22:02:06] 951*2^1414378-1 is not prime. Res64: 1F2DF948A149CB1E Time : 0.0 sec. user=mdettweiler [2015-11-08 22:02:07] 971*2^1414378-1 is not prime. Res64: C5F30C9A40DA7710 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:19:48] 975*2^1414378-1 is not prime. Res64: 1042E9C80BD24DDA Time : 0.0 sec. user=mdettweiler [2015-11-08 22:19:48] 609*2^1414379-1 is not prime. Res64: 4B681D1295BC5B23 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:19:49] 693*2^1414379-1 is not prime. Res64: 4DA2C5CDD71D2CFC Time : 0.0 sec. user=mdettweiler [2015-11-08 22:19:49] 741*2^1414379-1 is not prime. Res64: 94B39F44A03A4B56 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:19:50] 799*2^1414379-1 is not prime. Res64: 0BC3F2F126997288 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:19:50] 811*2^1414379-1 is not prime. Res64: A8889A07EAFE2C6D Time : 0.0 sec. user=mdettweiler [2015-11-08 22:37:21] 639*2^1414381-1 is not prime. Res64: 52E5447C1CE5C62C Time : 0.0 sec. user=mdettweiler [2015-11-08 22:37:21] 649*2^1414381-1 is not prime. Res64: 2FA089EACD589EA0 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:37:22] 841*2^1414379-1 is not prime. Res64: 428098F853F69B25 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:37:22] 797*2^1414380-1 is not prime. Res64: F5639A13C332ED04 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:37:23] 647*2^1414380-1 is not prime. Res64: 25454CD6D4D71B37 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:37:23] 999*2^1414380-1 is not prime. Res64: 41CBA65FC6891F30 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:54:50] 687*2^1414381-1 is not prime. Res64: BA389ABB52069A49 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:54:50] 799*2^1414381-1 is not prime. Res64: 4884593957739725 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:54:51] 603*2^1414382-1 is not prime. Res64: CFA209F55C45C552 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:54:51] 731*2^1414382-1 is not prime. Res64: C1FFCBFA52C47EAC Time : 0.0 sec. user=mdettweiler [2015-11-08 22:54:52] 711*2^1414382-1 is not prime. Res64: 3BC0C843A06D1678 Time : 0.0 sec. user=mdettweiler [2015-11-08 22:54:52] 827*2^1414382-1 is not prime. Res64: AE74DC4178232769 Time : 0.0 sec. user=mdettweiler [2015-11-08 23:12:19] 867*2^1414382-1 is not prime. Res64: 30FF7E052950A78F Time : 0.0 sec. user=mdettweiler [2015-11-08 23:12:19] 953*2^1414382-1 is not prime. Res64: 6ECD8E1456E57667 Time : 0.0 sec. user=mdettweiler [2015-11-08 23:12:20] 1001*2^1414382-1 is not prime. Res64: 42BA8625522F21A8 Time : 0.0 sec. user=mdettweiler [2015-11-08 23:12:21] 679*2^1414383-1 is not prime. Res64: CCF63F78B24C8CE7 Time : 0.0 sec. user=mdettweiler [2015-11-08 23:12:21] 765*2^1414383-1 is not prime. Res64: AD1B70144806C180 Time : 0.0 sec. user=mdettweiler [2015-11-08 23:12:21] 775*2^1414383-1 is not prime. Res64: 83AD4F2C5BD265A6 Time : 0.0 sec. user=mdettweiler [2015-11-08 23:29:51] 945*2^1414383-1 is not prime. Res64: 3357A7A4BEC930E7 Time : 0.0 sec. user=mdettweiler [2015-11-08 23:29:51] 623*2^1414384-1 is not prime. Res64: 37550AE116466BA7 Time : 0.0 sec. user=mdettweiler [2015-11-08 23:29:51] 829*2^1414383-1 is not prime. Res64: ECBC20BEE5EC33AC Time : 0.0 sec. user=mdettweiler [2015-11-08 23:29:51] 605*2^1414384-1 is not prime. Res64: 740C46C6547DA02D Time : 0.0 sec. user=mdettweiler [2015-11-08 23:29:51] 629*2^1414384-1 is not prime. Res64: 8D89B6FF6526D00E Time : 0.0 sec. user=mdettweiler [2015-11-08 23:29:51] 891*2^1414383-1 is not prime. Res64: BBC288B647D0EFF7 Time : 0.0 sec. user=mdettweiler [2015-11-08 23:47:21] 635*2^1414384-1 is not prime. Res64: 6D34949162AC9EF9 Time : 0.0 sec. user=mdettweiler [2015-11-08 23:47:21] 875*2^1414384-1 is not prime. Res64: 7CB2F3EECA6F53AC Time : 0.0 sec. user=mdettweiler [2015-11-08 23:47:21] 765*2^1414384-1 is not prime. Res64: 468AE1B9DC3CF4EF Time : 0.0 sec. user=mdettweiler [2015-11-08 23:47:21] 719*2^1414384-1 is not prime. Res64: BD33AAEDD347BBDA Time : 0.0 sec. user=mdettweiler [2015-11-08 23:47:21] 899*2^1414384-1 is not prime. Res64: 08ED779694562AFE Time : 0.0 sec. user=mdettweiler [2015-11-08 23:47:21] 869*2^1414384-1 is not prime. Res64: 5AA55230B86F5A08 Time : 0.0 sec.