user=mdettweiler [2016-01-06 00:17:17] 889*2^1418725-1 is not prime. Res64: AA2078F89A69E7CF Time : 0.0 sec. user=mdettweiler [2016-01-06 00:17:18] 895*2^1418725-1 is not prime. Res64: 37D02F6F239A8899 Time : 0.0 sec. user=mdettweiler [2016-01-06 00:17:18] 985*2^1418725-1 is not prime. Res64: 515A5C7A6A64995A Time : 0.0 sec. user=mdettweiler [2016-01-06 00:17:19] 999*2^1418725-1 is not prime. Res64: 28834BE8353C5755 Time : 0.0 sec. user=mdettweiler [2016-01-06 00:34:52] 815*2^1418726-1 is not prime. Res64: E89A15F67407913E Time : 0.0 sec. user=mdettweiler [2016-01-06 00:34:53] 825*2^1418726-1 is not prime. Res64: 7E6E53F413AB3629 Time : 0.0 sec. user=mdettweiler [2016-01-06 00:34:53] 945*2^1418726-1 is not prime. Res64: AC3AA7EB860659B4 Time : 0.0 sec. user=mdettweiler [2016-01-06 00:34:53] 973*2^1418727-1 is not prime. Res64: 8F4A7E9EA00A9865 Time : 0.0 sec. user=mdettweiler [2016-01-06 00:52:23] 777*2^1418728-1 is not prime. Res64: 8297B1C39522F996 Time : 0.0 sec. user=mdettweiler [2016-01-06 00:52:24] 797*2^1418728-1 is not prime. Res64: 0DCDB073DD154F89 Time : 0.0 sec. user=mdettweiler [2016-01-06 00:52:25] 617*2^1418728-1 is not prime. Res64: 0FD4B0AC275FF714 Time : 0.0 sec. user=mdettweiler [2016-01-06 00:52:25] 773*2^1418728-1 is not prime. Res64: 332AC55ABEB5F2CE Time : 0.0 sec. user=mdettweiler [2016-01-06 01:09:57] 813*2^1418728-1 is not prime. Res64: 04FDC98975E79293 Time : 0.0 sec. user=mdettweiler [2016-01-06 01:09:57] 845*2^1418728-1 is not prime. Res64: 4B9911219CAB2C42 Time : 0.0 sec. user=mdettweiler [2016-01-06 01:09:57] 827*2^1418728-1 is not prime. Res64: 28EDCC9B4993CDD9 Time : 0.0 sec. user=mdettweiler [2016-01-06 01:09:58] 855*2^1418728-1 is not prime. Res64: 2439CB89DEA3E4CA Time : 0.0 sec. user=mdettweiler [2016-01-06 01:27:33] 711*2^1418729-1 is not prime. Res64: 9DF103CBB2382F34 Time : 0.0 sec. user=mdettweiler [2016-01-06 01:27:33] 887*2^1418728-1 is not prime. Res64: A78305CA97F66816 Time : 0.0 sec. user=mdettweiler [2016-01-06 01:27:35] 729*2^1418729-1 is not prime. Res64: 99B9F584D8E58FDE Time : 0.0 sec. user=mdettweiler [2016-01-06 01:27:36] 627*2^1418729-1 is not prime. Res64: 7DEEB85D0446E9EC Time : 0.0 sec. user=mdettweiler [2016-01-06 01:45:32] 741*2^1418729-1 is not prime. Res64: 5A543012D91A7A71 Time : 0.0 sec. user=mdettweiler [2016-01-06 01:45:32] 939*2^1418729-1 is not prime. Res64: A9E73B9332DF7D59 Time : 0.0 sec. user=mdettweiler [2016-01-06 01:45:33] 787*2^1418729-1 is not prime. Res64: 2E7834C41DFEFACB Time : 0.0 sec. user=mdettweiler [2016-01-06 01:45:33] 633*2^1418730-1 is not prime. Res64: EE094B2313888072 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:03:09] 767*2^1418730-1 is not prime. Res64: F01F1B6EAF9DECA0 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:03:10] 867*2^1418730-1 is not prime. Res64: C5FD0E7C16DF7434 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:03:11] 851*2^1418730-1 is not prime. Res64: 2F50C8B6765219C5 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:03:12] 941*2^1418730-1 is not prime. Res64: 9AC347C16E5CBE0A Time : 0.0 sec. user=mdettweiler [2016-01-06 02:21:13] 631*2^1418731-1 is not prime. Res64: 96E3EF45C0E85FE2 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:21:14] 673*2^1418731-1 is not prime. Res64: D1E670FF69A7CCFA Time : 0.0 sec. user=mdettweiler [2016-01-06 02:21:14] 651*2^1418731-1 is not prime. Res64: 568E94C64FB88047 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:21:14] 759*2^1418731-1 is not prime. Res64: 69AAE49B872EA246 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:38:47] 913*2^1418731-1 is not prime. Res64: 656C7EA10694E24E Time : 0.0 sec. user=mdettweiler [2016-01-06 02:38:47] 615*2^1418732-1 is not prime. Res64: D78DEAD3603D9427 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:38:49] 789*2^1418731-1 is not prime. Res64: 6F4D61DB7F74525D Time : 0.0 sec. user=mdettweiler [2016-01-06 02:38:49] 885*2^1418731-1 is not prime. Res64: 0CC65CECDEBF7877 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:56:21] 675*2^1418732-1 is not prime. Res64: 1753BBD034CED314 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:56:21] 743*2^1418732-1 is not prime. Res64: 4AC455B4CD1836B3 Time : 0.0 sec. user=mdettweiler [2016-01-06 02:56:21] 873*2^1418732-1 is not prime. Res64: A957CB701D0460FC Time : 0.0 sec. user=mdettweiler [2016-01-06 02:56:22] 893*2^1418732-1 is not prime. Res64: 8C64E41502430BAE Time : 0.0 sec. user=mdettweiler [2016-01-06 03:13:54] 649*2^1418733-1 is not prime. Res64: BE337CA43ABFCE90 Time : 0.0 sec. user=mdettweiler [2016-01-06 03:13:54] 923*2^1418732-1 is not prime. Res64: D973D6D0F24365F5 Time : 0.0 sec. user=mdettweiler [2016-01-06 03:13:55] 609*2^1418733-1 is not prime. Res64: 3772F2AAC4F4D83C Time : 0.0 sec. user=mdettweiler [2016-01-06 03:13:55] 651*2^1418733-1 is not prime. Res64: 0437C186E1258927 Time : 0.0 sec. user=mdettweiler [2016-01-06 03:31:31] 679*2^1418733-1 is not prime. Res64: FDA643F7A3E38C47 Time : 0.0 sec. user=mdettweiler [2016-01-06 03:31:33] 751*2^1418733-1 is not prime. Res64: F638545471D40551 Time : 0.0 sec. user=mdettweiler [2016-01-06 03:31:33] 685*2^1418733-1 is not prime. Res64: 66F9C4D4A783D0BF Time : 0.0 sec. user=mdettweiler [2016-01-06 03:31:33] 765*2^1418733-1 is not prime. Res64: 532A635F0C4D1BBC Time : 0.0 sec. user=mdettweiler [2016-01-06 03:49:25] 787*2^1418733-1 is not prime. Res64: FB09556BB87060C4 Time : 0.0 sec. user=mdettweiler [2016-01-06 03:49:26] 889*2^1418733-1 is not prime. Res64: 3E83542015912792 Time : 0.0 sec. user=mdettweiler [2016-01-06 03:49:27] 937*2^1418733-1 is not prime. Res64: 0B1C496A3067DAB4 Time : 0.0 sec. user=mdettweiler [2016-01-06 03:49:28] 861*2^1418733-1 is not prime. Res64: C247AE280A8D6981 Time : 0.0 sec. user=mdettweiler [2016-01-06 04:07:25] 999*2^1418733-1 is not prime. Res64: E76C4C37302E396E Time : 0.0 sec. user=mdettweiler [2016-01-06 04:07:25] 833*2^1418734-1 is not prime. Res64: 3AE5F90806E1B534 Time : 0.0 sec. user=mdettweiler [2016-01-06 04:07:25] 605*2^1418734-1 is not prime. Res64: 657D3124DCC796A0 Time : 0.0 sec. user=mdettweiler [2016-01-06 04:07:26] 945*2^1418734-1 is not prime. Res64: A6DE63AE97996929 Time : 0.0 sec. user=mdettweiler [2016-01-06 04:25:01] 981*2^1418734-1 is not prime. Res64: A71144E2831BC117 Time : 0.0 sec. user=mdettweiler [2016-01-06 04:25:02] 759*2^1418735-1 is not prime. Res64: 297A63C336C87DFD Time : 0.0 sec. user=mdettweiler [2016-01-06 04:25:03] 909*2^1418735-1 is not prime. Res64: E04EFE13C0B90F15 Time : 0.0 sec. user=mdettweiler [2016-01-06 04:25:03] 999*2^1418735-1 is not prime. Res64: FCCE86BA851D95CE Time : 0.0 sec. user=mdettweiler [2016-01-06 04:42:34] 675*2^1418736-1 is not prime. Res64: A960794457662ECD Time : 0.0 sec. user=mdettweiler [2016-01-06 04:42:35] 683*2^1418736-1 is not prime. Res64: 4EC96DD922318A03 Time : 0.0 sec. user=mdettweiler [2016-01-06 04:42:35] 759*2^1418736-1 is not prime. Res64: FAAFC3AA083CB6EC Time : 0.0 sec. user=mdettweiler [2016-01-06 04:42:35] 779*2^1418736-1 is not prime. Res64: A7059D98026EB6CC Time : 0.0 sec. user=mdettweiler [2016-01-06 05:00:11] 815*2^1418736-1 is not prime. Res64: 35CEE77AEDF6294F Time : 0.0 sec. user=mdettweiler [2016-01-06 05:00:11] 905*2^1418736-1 is not prime. Res64: 4D434E80E50F2D12 Time : 0.0 sec. user=mdettweiler [2016-01-06 05:00:12] 993*2^1418736-1 is not prime. Res64: 23BA55903EF4967F Time : 0.0 sec. user=mdettweiler [2016-01-06 05:00:13] 601*2^1418737-1 is not prime. Res64: 045598A118FFABBE Time : 0.0 sec. user=mdettweiler [2016-01-06 05:17:46] 615*2^1418737-1 is not prime. Res64: B7C73DE13E63978A Time : 0.0 sec. user=mdettweiler [2016-01-06 05:17:46] 765*2^1418737-1 is not prime. Res64: DD6E47C41F8198CA Time : 0.0 sec. user=mdettweiler [2016-01-06 05:17:47] 895*2^1418737-1 is not prime. Res64: 4CAA341193423B8D Time : 0.0 sec. user=mdettweiler [2016-01-06 05:17:48] 919*2^1418737-1 is not prime. Res64: A6AE07851F9134A1 Time : 0.0 sec. user=mdettweiler [2016-01-06 05:35:18] 945*2^1418737-1 is not prime. Res64: FF29667663B83758 Time : 0.0 sec. user=mdettweiler [2016-01-06 05:35:19] 623*2^1418738-1 is not prime. Res64: CEC8C637838EDE94 Time : 0.0 sec. user=mdettweiler [2016-01-06 05:35:19] 771*2^1418738-1 is not prime. Res64: 2D2873A4681627CB Time : 0.0 sec. user=mdettweiler [2016-01-06 05:35:20] 773*2^1418738-1 is not prime. Res64: 7FE17FE6DC2E578D Time : 0.0 sec. user=mdettweiler [2016-01-06 05:52:51] 797*2^1418738-1 is not prime. Res64: 7DE9D52128E18956 Time : 0.0 sec. user=mdettweiler [2016-01-06 05:52:51] 843*2^1418738-1 is not prime. Res64: C184C4D7E3BFDD6A Time : 0.0 sec. user=mdettweiler [2016-01-06 05:52:51] 801*2^1418738-1 is not prime. Res64: B35E20A1EDB8734F Time : 0.0 sec. user=mdettweiler [2016-01-06 05:52:51] 911*2^1418738-1 is not prime. Res64: A98A127064E7C7C5 Time : 0.0 sec. user=mdettweiler [2016-01-06 06:10:23] 613*2^1418739-1 is not prime. Res64: 2FC5A964850652EF Time : 0.0 sec. user=mdettweiler [2016-01-06 06:10:23] 927*2^1418738-1 is not prime. Res64: BC2BF1084DCBE635 Time : 0.0 sec. user=mdettweiler [2016-01-06 06:10:23] 633*2^1418739-1 is not prime. Res64: E0BC7032DADCBF41 Time : 0.0 sec. user=mdettweiler [2016-01-06 06:10:23] 951*2^1418738-1 is not prime. Res64: 0E472E23CF89705C Time : 0.0 sec. user=mdettweiler [2016-01-06 06:27:58] 639*2^1418739-1 is not prime. Res64: A3AD17D74A8AB64C Time : 0.0 sec. user=mdettweiler [2016-01-06 06:27:58] 685*2^1418739-1 is not prime. Res64: FF6B9FA18F8D2272 Time : 0.0 sec. user=mdettweiler [2016-01-06 06:27:59] 705*2^1418739-1 is not prime. Res64: 8EDB47162FDBC0BC Time : 0.0 sec. user=mdettweiler [2016-01-06 06:27:59] 789*2^1418739-1 is not prime. Res64: 432A5CFF1A253585 Time : 0.0 sec. user=mdettweiler [2016-01-06 06:45:31] 951*2^1418739-1 is not prime. Res64: 38FAFACC79122049 Time : 0.0 sec. user=mdettweiler [2016-01-06 06:45:32] 615*2^1418740-1 is not prime. Res64: BA99B2B55DC6B0E6 Time : 0.0 sec. user=mdettweiler [2016-01-06 06:45:32] 903*2^1418739-1 is not prime. Res64: B9C02809153D027B Time : 0.0 sec. user=mdettweiler [2016-01-06 06:45:32] 921*2^1418739-1 is not prime. Res64: F995E7A8A33B58B8 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:03:05] 635*2^1418740-1 is not prime. Res64: 41093409D2001D7B Time : 0.0 sec. user=mdettweiler [2016-01-06 07:03:05] 689*2^1418740-1 is not prime. Res64: 942A5B6ADDD86461 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:03:06] 647*2^1418740-1 is not prime. Res64: A2CCC6974BC82113 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:03:07] 717*2^1418740-1 is not prime. Res64: 99FBA8DCBF9168F7 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:21:01] 785*2^1418740-1 is not prime. Res64: 83FC3F863F6F8FF4 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:21:01] 875*2^1418740-1 is not prime. Res64: 3578B5235C7B641A Time : 0.0 sec. user=mdettweiler [2016-01-06 07:21:02] 601*2^1418741-1 is not prime. Res64: 4081A06D3CC697D5 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:21:03] 669*2^1418741-1 is not prime. Res64: C5C48D3C84175298 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:38:34] 769*2^1418741-1 is not prime. Res64: 4FFF2BEE8CA25934 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:38:35] 789*2^1418741-1 is not prime. Res64: 26A5C10BB350601C Time : 0.0 sec. user=mdettweiler [2016-01-06 07:38:37] 727*2^1418741-1 is not prime. Res64: 909F04227A4F726D Time : 0.0 sec. user=mdettweiler [2016-01-06 07:38:38] 741*2^1418741-1 is not prime. Res64: CB93CC0B6D20C07F Time : 0.0 sec. user=mdettweiler [2016-01-06 07:56:06] 825*2^1418741-1 is not prime. Res64: AAA34C96C1CA9B37 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:56:07] 855*2^1418741-1 is not prime. Res64: F9810F4DE4E009C2 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:56:09] 859*2^1418741-1 is not prime. Res64: 2A92C6CA4B4DBC10 Time : 0.0 sec. user=mdettweiler [2016-01-06 07:56:10] 777*2^1418742-1 is not prime. Res64: AAA0DDAC09B8F0FF Time : 0.0 sec. user=mdettweiler [2016-01-06 08:13:38] 885*2^1418742-1 is not prime. Res64: 04ECAD7C7BA10496 Time : 0.0 sec. user=mdettweiler [2016-01-06 08:13:39] 965*2^1418742-1 is not prime. Res64: 18CF31E558C04CC4 Time : 0.0 sec. user=mdettweiler [2016-01-06 08:13:40] 763*2^1418743-1 is not prime. Res64: ED42271304429AC6 Time : 0.0 sec. user=mdettweiler [2016-01-06 08:13:41] 861*2^1418743-1 is not prime. Res64: 3C5C511A3E9A22CF Time : 0.0 sec. user=mdettweiler [2016-01-06 08:31:13] 929*2^1418744-1 is not prime. Res64: 886B7D935BCB9679 Time : 0.0 sec. user=mdettweiler [2016-01-06 08:31:14] 935*2^1418744-1 is not prime. Res64: 8C021D7AEB81F29C Time : 0.0 sec. user=mdettweiler [2016-01-06 08:31:14] 699*2^1418744-1 is not prime. Res64: CF0453ECDD803AEA Time : 0.0 sec. user=mdettweiler [2016-01-06 08:31:14] 857*2^1418744-1 is not prime. Res64: B6A4F542E3E950AA Time : 0.0 sec. user=mdettweiler [2016-01-06 08:48:46] 957*2^1418744-1 is not prime. Res64: C93CB7A66A297C47 Time : 0.0 sec. user=mdettweiler [2016-01-06 08:48:46] 969*2^1418744-1 is not prime. Res64: 5029772CF7B44664 Time : 0.0 sec. user=mdettweiler [2016-01-06 08:48:47] 995*2^1418744-1 is not prime. Res64: FFCDDED92FE5A62B Time : 0.0 sec. user=mdettweiler [2016-01-06 08:48:47] 657*2^1418745-1 is not prime. Res64: 461940D886348232 Time : 0.0 sec. user=mdettweiler [2016-01-06 09:06:19] 739*2^1418745-1 is not prime. Res64: 1EFA913A16C5B704 Time : 0.0 sec. user=mdettweiler [2016-01-06 09:06:19] 817*2^1418745-1 is not prime. Res64: 44433C23BD77A00F Time : 0.0 sec. user=mdettweiler [2016-01-06 09:06:19] 795*2^1418745-1 is not prime. Res64: 117FAA24D54FE229 Time : 0.0 sec. user=mdettweiler [2016-01-06 09:06:20] 849*2^1418745-1 is not prime. Res64: F2D5C1A0493F3AF7 Time : 0.0 sec. user=mdettweiler [2016-01-06 09:23:54] 979*2^1418745-1 is not prime. Res64: 2B121ED963A46246 Time : 0.0 sec. user=mdettweiler [2016-01-06 09:23:54] 645*2^1418746-1 is not prime. Res64: 3D96020BC25790D2 Time : 0.0 sec. user=mdettweiler [2016-01-06 09:23:54] 895*2^1418745-1 is not prime. Res64: F3C6244163A3DF7C Time : 0.0 sec. user=mdettweiler [2016-01-06 09:23:55] 951*2^1418745-1 is not prime. Res64: F1B5FF83A515A067 Time : 0.0 sec. user=mdettweiler [2016-01-06 09:41:26] 801*2^1418746-1 is not prime. Res64: EE52395CA5404E7C Time : 0.0 sec. user=mdettweiler [2016-01-06 09:41:26] 813*2^1418746-1 is not prime. Res64: 775577CF7BE26E61 Time : 0.0 sec. user=mdettweiler [2016-01-06 09:41:27] 723*2^1418746-1 is not prime. Res64: 59F66E4730CA0DF7 Time : 0.0 sec. user=mdettweiler [2016-01-06 09:41:27] 743*2^1418746-1 is not prime. Res64: 8C71422976C2D99E Time : 0.0 sec. user=mdettweiler [2016-01-06 09:58:58] 857*2^1418746-1 is not prime. Res64: FDD4128B521EBD6A Time : 0.0 sec. user=mdettweiler [2016-01-06 09:58:59] 867*2^1418746-1 is not prime. Res64: 72A883F71F1D8AF1 Time : 0.0 sec. user=mdettweiler [2016-01-06 09:58:59] 905*2^1418746-1 is not prime. Res64: 40FC23B4314F679C Time : 0.0 sec. user=mdettweiler [2016-01-06 09:59:00] 601*2^1418747-1 is not prime. Res64: D8B64FD7079E27E1 Time : 0.0 sec. user=mdettweiler [2016-01-06 10:16:32] 813*2^1418747-1 is not prime. Res64: 2728E24DE10ED0B9 Time : 0.0 sec. user=mdettweiler [2016-01-06 10:16:32] 999*2^1418747-1 is not prime. Res64: BF1B5E710A78075C Time : 0.0 sec. user=mdettweiler [2016-01-06 10:16:32] 823*2^1418747-1 is not prime. Res64: B7A26627437E3507 Time : 0.0 sec. user=mdettweiler [2016-01-06 10:16:33] 773*2^1418748-1 is not prime. Res64: 10FB5E28EB529FA7 Time : 0.0 sec. user=mdettweiler [2016-01-06 10:34:08] 615*2^1418749-1 is not prime. Res64: 108C871EE658128E Time : 0.0 sec. user=mdettweiler [2016-01-06 10:34:08] 839*2^1418748-1 is not prime. Res64: 92BC9BBE4844636E Time : 0.0 sec. user=mdettweiler [2016-01-06 10:34:08] 759*2^1418749-1 is not prime. Res64: 3F33EBF36DAE2344 Time : 0.0 sec. user=mdettweiler [2016-01-06 10:34:08] 609*2^1418749-1 is not prime. Res64: 9A669D9BA2074F6A Time : 0.0 sec. user=mdettweiler [2016-01-06 10:51:40] 945*2^1418749-1 is not prime. Res64: B461877E6708D740 Time : 0.0 sec. user=mdettweiler [2016-01-06 10:51:40] 847*2^1418749-1 is not prime. Res64: CA1E7166BBAD2713 Time : 0.0 sec. user=mdettweiler [2016-01-06 10:51:40] 615*2^1418750-1 is not prime. Res64: D872B590A4DDFB73 Time : 0.0 sec. user=mdettweiler [2016-01-06 10:51:41] 867*2^1418749-1 is not prime. Res64: CBC069C8E9B63065 Time : 0.0 sec. user=mdettweiler [2016-01-06 11:09:13] 677*2^1418750-1 is not prime. Res64: 7E352D901BAB6B00 Time : 0.0 sec. user=mdettweiler [2016-01-06 11:09:13] 761*2^1418750-1 is not prime. Res64: 454B4E9E5D8D79FD Time : 0.0 sec. user=mdettweiler [2016-01-06 11:09:14] 795*2^1418750-1 is not prime. Res64: 201592CA5EA4C969 Time : 0.0 sec. user=mdettweiler [2016-01-06 11:09:14] 851*2^1418750-1 is not prime. Res64: F9DF16143B847314 Time : 0.0 sec. user=mdettweiler [2016-01-06 11:26:49] 887*2^1418750-1 is not prime. Res64: C37D29E660F1ED3E Time : 0.0 sec. user=mdettweiler [2016-01-06 11:26:49] 857*2^1418750-1 is not prime. Res64: FE97EBDECFF509D7 Time : 0.0 sec. user=mdettweiler [2016-01-06 11:26:49] 941*2^1418750-1 is not prime. Res64: 64FF60292BB76B3A Time : 0.0 sec. user=mdettweiler [2016-01-06 11:26:49] 861*2^1418750-1 is not prime. Res64: 92851E9192D49CD6 Time : 0.0 sec. user=mdettweiler [2016-01-06 11:44:21] 613*2^1418751-1 is not prime. Res64: E0D6A13F7745EFB8 Time : 0.0 sec. user=mdettweiler [2016-01-06 11:44:21] 823*2^1418751-1 is not prime. Res64: 67B6ACA2E4C8E4BE Time : 0.0 sec. user=mdettweiler [2016-01-06 11:44:21] 789*2^1418751-1 is not prime. Res64: 3E4E0FE0B3B55697 Time : 0.0 sec. user=mdettweiler [2016-01-06 11:44:21] 825*2^1418752-1 is not prime. Res64: 31FA20F2EA1583FE Time : 0.0 sec. user=mdettweiler [2016-01-06 12:01:55] 903*2^1418752-1 is not prime. Res64: 5E1E5CF1DB807838 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:01:55] 855*2^1418752-1 is not prime. Res64: 34E8A2277A470355 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:01:56] 863*2^1418752-1 is not prime. Res64: AAC4AEF1E83F8D90 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:01:56] 965*2^1418752-1 is not prime. Res64: 769F5C83E3F7915E Time : 0.0 sec. user=mdettweiler [2016-01-06 12:19:49] 705*2^1418753-1 is not prime. Res64: 060E331E8DE005D2 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:19:49] 627*2^1418753-1 is not prime. Res64: EBB13B371F4C0B22 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:19:49] 729*2^1418753-1 is not prime. Res64: 1B84F8FBC8C8F574 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:19:49] 691*2^1418753-1 is not prime. Res64: 7A67E74278C8C480 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:37:22] 741*2^1418753-1 is not prime. Res64: FEB6A9CFAD6F8558 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:37:22] 787*2^1418753-1 is not prime. Res64: B407937F898C47E6 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:37:22] 801*2^1418753-1 is not prime. Res64: 8D71B8568B911F84 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:37:23] 889*2^1418753-1 is not prime. Res64: C3A1F5E80A0B9D08 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:54:54] 605*2^1418754-1 is not prime. Res64: 51F539BC03504F59 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:54:55] 621*2^1418754-1 is not prime. Res64: D750D2945773CFA7 Time : 0.0 sec. user=mdettweiler [2016-01-06 12:54:55] 633*2^1418754-1 is not prime. Res64: E45E83AA2A80A6FF Time : 0.0 sec. user=mdettweiler [2016-01-06 12:54:56] 737*2^1418754-1 is not prime. Res64: FAF886002B657C45 Time : 0.0 sec. user=mdettweiler [2016-01-06 13:12:30] 885*2^1418754-1 is not prime. Res64: 855D3869C88A967B Time : 0.0 sec. user=mdettweiler [2016-01-06 13:12:31] 765*2^1418754-1 is not prime. Res64: 7934DFFE34B61306 Time : 0.0 sec. user=mdettweiler [2016-01-06 13:12:31] 873*2^1418754-1 is not prime. Res64: CA90D45CA53F1FA4 Time : 0.0 sec. user=mdettweiler [2016-01-06 13:12:31] 893*2^1418754-1 is not prime. Res64: 6F8341D346BB4FA6 Time : 0.0 sec. user=mdettweiler [2016-01-06 13:30:04] 993*2^1418754-1 is not prime. Res64: 117CA88DD3DAA8B6 Time : 0.0 sec. user=mdettweiler [2016-01-06 13:30:04] 639*2^1418755-1 is not prime. Res64: 71A1D861CD1B51BC Time : 0.0 sec. user=mdettweiler [2016-01-06 13:30:05] 903*2^1418754-1 is not prime. Res64: EB8669EF606F5E26 Time : 0.0 sec. user=mdettweiler [2016-01-06 13:30:05] 983*2^1418754-1 is not prime. Res64: 859F30F54E9D75AE Time : 0.0 sec. user=mdettweiler [2016-01-06 13:47:38] 649*2^1418755-1 is not prime. Res64: 207BE8465950FEB3 Time : 0.0 sec. user=mdettweiler [2016-01-06 13:47:38] 673*2^1418755-1 is not prime. Res64: D0998C2ABE17BF6B Time : 0.0 sec. user=mdettweiler [2016-01-06 13:47:39] 759*2^1418755-1 is not prime. Res64: 601AA163114E79D2 Time : 0.0 sec. user=mdettweiler [2016-01-06 13:47:39] 829*2^1418755-1 is not prime. Res64: FD26BF843EFE6949 Time : 0.0 sec. user=mdettweiler [2016-01-06 14:05:11] 617*2^1418756-1 is not prime. Res64: 00C8677A09116C6D Time : 0.0 sec. user=mdettweiler [2016-01-06 14:05:11] 939*2^1418755-1 is not prime. Res64: 0D4F1E0CD7EC4325 Time : 0.0 sec. user=mdettweiler [2016-01-06 14:05:12] 943*2^1418755-1 is not prime. Res64: 014B34D7E1291BFC Time : 0.0 sec. user=mdettweiler [2016-01-06 14:05:13] 773*2^1418756-1 is not prime. Res64: E21F0FA23FA9235C Time : 0.0 sec. user=mdettweiler [2016-01-06 14:23:01] 869*2^1418756-1 is not prime. Res64: 344C60881EC81ABD Time : 0.0 sec. user=mdettweiler [2016-01-06 14:23:01] 893*2^1418756-1 is not prime. Res64: 6D39F2CA1121D64E Time : 0.0 sec. user=mdettweiler [2016-01-06 14:23:02] 903*2^1418756-1 is not prime. Res64: 9A9932234A7E4F4F Time : 0.0 sec. user=mdettweiler [2016-01-06 14:23:02] 649*2^1418757-1 is not prime. Res64: 01E1D1BEC698C266 Time : 0.0 sec. user=mdettweiler [2016-01-06 14:40:42] 699*2^1418757-1 is not prime. Res64: E0805075827B5DCC Time : 0.0 sec. user=mdettweiler [2016-01-06 14:40:42] 747*2^1418757-1 is not prime. Res64: 7D536EBA94DEC5F2 Time : 0.0 sec. user=mdettweiler [2016-01-06 14:40:42] 735*2^1418757-1 is not prime. Res64: 8E43A87862502DC4 Time : 0.0 sec. user=mdettweiler [2016-01-06 14:40:42] 769*2^1418757-1 is not prime. Res64: B6E1A0E7642E1CC7 Time : 0.0 sec. user=mdettweiler [2016-01-06 14:58:19] 835*2^1418757-1 is not prime. Res64: 620AAD2A2261C168 Time : 0.0 sec. user=mdettweiler [2016-01-06 14:58:19] 985*2^1418757-1 is not prime. Res64: 83A6E9C8F5BA4F49 Time : 0.0 sec. user=mdettweiler [2016-01-06 14:58:20] 871*2^1418757-1 is not prime. Res64: 59C38914CF26D313 Time : 0.0 sec. user=mdettweiler [2016-01-06 14:58:20] 791*2^1418758-1 is not prime. Res64: 66E2C7EBD7730E22 Time : 0.0 sec. user=mdettweiler [2016-01-06 15:16:00] 813*2^1418758-1 is not prime. Res64: 71AB1CD20CBEA4FB Time : 0.0 sec. user=mdettweiler [2016-01-06 15:16:00] 711*2^1418759-1 is not prime. Res64: 0FE669E410A6A4D2 Time : 0.0 sec. user=mdettweiler [2016-01-06 15:16:00] 861*2^1418758-1 is not prime. Res64: 55B23F53AE6AC11F Time : 0.0 sec. user=mdettweiler [2016-01-06 15:16:00] 885*2^1418759-1 is not prime. Res64: E8BAA8AC83C56544 Time : 0.0 sec. user=mdettweiler [2016-01-06 15:33:49] 999*2^1418759-1 is not prime. Res64: 52A07AC79FD04A43 Time : 0.0 sec. user=mdettweiler [2016-01-06 15:33:49] 665*2^1418760-1 is not prime. Res64: BB7F59CA31AC7343 Time : 0.0 sec. user=mdettweiler [2016-01-06 15:33:49] 753*2^1418760-1 is not prime. Res64: F402CBED111ED5EF Time : 0.0 sec. user=mdettweiler [2016-01-06 15:33:49] 795*2^1418760-1 is not prime. Res64: BB10274C166E2543 Time : 0.0 sec. user=mdettweiler [2016-01-06 15:51:39] 923*2^1418760-1 is not prime. Res64: 0BAEBF76C5DA40F3 Time : 0.0 sec. user=mdettweiler [2016-01-06 15:51:39] 681*2^1418761-1 is not prime. Res64: 658584EEDB45B540 Time : 0.0 sec. user=mdettweiler [2016-01-06 15:51:40] 705*2^1418761-1 is not prime. Res64: 83ABFB6E4415148A Time : 0.0 sec. user=mdettweiler [2016-01-06 15:51:40] 927*2^1418760-1 is not prime. Res64: F950D0D1C739F910 Time : 0.0 sec. user=mdettweiler [2016-01-06 16:09:34] 747*2^1418761-1 is not prime. Res64: A46C781618D92EA7 Time : 0.0 sec. user=mdettweiler [2016-01-06 16:09:34] 889*2^1418761-1 is not prime. Res64: A068C0B01A567B69 Time : 0.0 sec. user=mdettweiler [2016-01-06 16:09:34] 909*2^1418761-1 is not prime. Res64: 7D31360E7752CD5D Time : 0.0 sec. user=mdettweiler [2016-01-06 16:09:35] 945*2^1418761-1 is not prime. Res64: 02D379275B03106C Time : 0.0 sec. user=mdettweiler [2016-01-06 16:27:14] 741*2^1418762-1 is not prime. Res64: 312D42C5AFC8E6EB Time : 0.0 sec. user=mdettweiler [2016-01-06 16:27:14] 771*2^1418762-1 is not prime. Res64: 46A89F7BD12FA77C Time : 0.0 sec. user=mdettweiler [2016-01-06 16:27:15] 997*2^1418761-1 is not prime. Res64: 56C571AA3A011505 Time : 0.0 sec. user=mdettweiler [2016-01-06 16:27:15] 645*2^1418762-1 is not prime. Res64: F66CF97654C4B09D Time : 0.0 sec. user=mdettweiler [2016-01-06 16:44:51] 893*2^1418762-1 is not prime. Res64: C110648FFD37E6BF Time : 0.0 sec. user=mdettweiler [2016-01-06 16:44:52] 903*2^1418762-1 is not prime. Res64: 0222E3F2203D79C9 Time : 0.0 sec. user=mdettweiler [2016-01-06 16:44:52] 963*2^1418762-1 is not prime. Res64: 49823513AF727859 Time : 0.0 sec. user=mdettweiler [2016-01-06 16:44:53] 625*2^1418763-1 is not prime. Res64: 403ED58A904B4B7C Time : 0.0 sec. user=mdettweiler [2016-01-06 17:02:28] 919*2^1418763-1 is not prime. Res64: 0E0ED7E9791B0CA7 Time : 0.0 sec. user=mdettweiler [2016-01-06 17:02:29] 705*2^1418763-1 is not prime. Res64: 06A7F0D8F1421B80 Time : 0.0 sec. user=mdettweiler [2016-01-06 17:02:30] 835*2^1418763-1 is not prime. Res64: 4D92C6B24F3D5C53 Time : 0.0 sec. user=mdettweiler [2016-01-06 17:02:30] 635*2^1418764-1 is not prime. Res64: 5C468BCAA38A68C0 Time : 0.0 sec. user=mdettweiler [2016-01-06 17:20:24] 663*2^1418764-1 is not prime. Res64: 2C2C887A051A10A5 Time : 0.0 sec. user=mdettweiler [2016-01-06 17:20:25] 717*2^1418764-1 is not prime. Res64: 5326E3213E9A8582 Time : 0.0 sec. user=mdettweiler [2016-01-06 17:20:25] 719*2^1418764-1 is not prime. Res64: 7AED6131BFDF7F55 Time : 0.0 sec. user=mdettweiler [2016-01-06 17:20:25] 813*2^1418764-1 is not prime. Res64: 5404A0DC77DC7ABF Time : 0.0 sec. user=mdettweiler [2016-01-06 17:38:03] 699*2^1418765-1 is not prime. Res64: 811B6C1401E7A7CB Time : 0.0 sec. user=mdettweiler [2016-01-06 17:38:03] 783*2^1418766-1 is not prime. Res64: 812ABC66D76F140B Time : 0.0 sec. user=mdettweiler [2016-01-06 17:38:03] 711*2^1418765-1 is not prime. Res64: E4A525EDEF75C102 Time : 0.0 sec. user=mdettweiler [2016-01-06 17:38:03] 759*2^1418767-1 is not prime. Res64: 9082EB3B4533BE3C Time : 0.0 sec. user=mdettweiler [2016-01-06 17:55:45] 849*2^1418767-1 is not prime. Res64: BA0AF3A96A144577 Time : 0.0 sec. user=mdettweiler [2016-01-06 17:55:45] 883*2^1418767-1 is not prime. Res64: 5BC60A8F58E86C63 Time : 0.0 sec. user=mdettweiler [2016-01-06 17:55:46] 765*2^1418767-1 is not prime. Res64: 9C054F5720704F3D Time : 0.0 sec. user=mdettweiler [2016-01-06 17:55:46] 841*2^1418767-1 is not prime. Res64: DAFC542D7E4D18BB Time : 0.0 sec. user=mdettweiler [2016-01-06 18:13:23] 919*2^1418767-1 is not prime. Res64: 7F6687DCB89D7F5D Time : 0.0 sec. user=mdettweiler [2016-01-06 18:13:23] 747*2^1418768-1 is not prime. Res64: 5DCFA5FB41C92D45 Time : 0.0 sec. user=mdettweiler [2016-01-06 18:13:24] 755*2^1418768-1 is not prime. Res64: 2B9ECE273FDEE555 Time : 0.0 sec. user=mdettweiler [2016-01-06 18:13:24] 767*2^1418768-1 is not prime. Res64: 88081A2869B3DFE7 Time : 0.0 sec. user=mdettweiler [2016-01-06 18:30:57] 843*2^1418768-1 is not prime. Res64: D3B2A288AE5D7650 Time : 0.0 sec. user=mdettweiler [2016-01-06 18:30:57] 657*2^1418769-1 is not prime. Res64: C53AA68505114B65 Time : 0.0 sec. user=mdettweiler [2016-01-06 18:30:58] 679*2^1418769-1 is not prime. Res64: D7E27AA3CE2FAC4A Time : 0.0 sec. user=mdettweiler [2016-01-06 18:30:58] 649*2^1418769-1 is not prime. Res64: 0B96EAD4E8CE180A Time : 0.0 sec. user=mdettweiler [2016-01-06 18:48:33] 789*2^1418769-1 is not prime. Res64: D5339706AFCE629E Time : 0.0 sec. user=mdettweiler [2016-01-06 18:48:33] 817*2^1418769-1 is not prime. Res64: 877AB79EAD639A65 Time : 0.0 sec. user=mdettweiler [2016-01-06 18:48:33] 885*2^1418769-1 is not prime. Res64: E4D37FB639EDF017 Time : 0.0 sec. user=mdettweiler [2016-01-06 18:48:34] 889*2^1418769-1 is not prime. Res64: FB8153CDAD450EEF Time : 0.0 sec. user=mdettweiler [2016-01-06 19:06:07] 969*2^1418769-1 is not prime. Res64: AE86355DB94C8D2A Time : 0.0 sec. user=mdettweiler [2016-01-06 19:06:07] 991*2^1418769-1 is not prime. Res64: 4F0C7F279B56BC2A Time : 0.0 sec. user=mdettweiler [2016-01-06 19:06:07] 975*2^1418769-1 is not prime. Res64: E83D55391A8F7588 Time : 0.0 sec. user=mdettweiler [2016-01-06 19:06:08] 603*2^1418770-1 is not prime. Res64: C0680DB51D5EB6CC Time : 0.0 sec. user=mdettweiler [2016-01-06 19:23:42] 717*2^1418770-1 is not prime. Res64: 5EEAEC210B9D9ECA Time : 0.0 sec. user=mdettweiler [2016-01-06 19:23:43] 723*2^1418770-1 is not prime. Res64: B48830E2DAA3B658 Time : 0.0 sec. user=mdettweiler [2016-01-06 19:23:44] 665*2^1418770-1 is not prime. Res64: F8B264AD85B07B11 Time : 0.0 sec. user=mdettweiler [2016-01-06 19:23:44] 681*2^1418770-1 is not prime. Res64: 8A1EE75E4F3F27F6 Time : 0.0 sec. user=mdettweiler [2016-01-06 19:41:17] 783*2^1418770-1 is not prime. Res64: 53FF4F8B8469B95C Time : 0.0 sec. user=mdettweiler [2016-01-06 19:41:17] 785*2^1418770-1 is not prime. Res64: 90A1B9516BA5124B Time : 0.0 sec. user=mdettweiler [2016-01-06 19:41:18] 813*2^1418770-1 is not prime. Res64: B862939FDB7F9BF3 Time : 0.0 sec. user=mdettweiler [2016-01-06 19:41:18] 843*2^1418770-1 is not prime. Res64: 70B803E2117AFB62 Time : 0.0 sec. user=mdettweiler [2016-01-06 19:58:49] 705*2^1418771-1 is not prime. Res64: 9BABD63D524F34D4 Time : 0.0 sec. user=mdettweiler [2016-01-06 19:58:49] 945*2^1418770-1 is not prime. Res64: ACBEE6B08037ACE2 Time : 0.0 sec. user=mdettweiler [2016-01-06 19:58:49] 733*2^1418771-1 is not prime. Res64: 266A30FC8D02B931 Time : 0.0 sec. user=mdettweiler [2016-01-06 19:58:50] 669*2^1418771-1 is not prime. Res64: E6FF5A43A9661DA3 Time : 0.0 sec. user=mdettweiler [2016-01-06 20:16:22] 781*2^1418771-1 is not prime. Res64: 76DFBA2E2056B979 Time : 0.0 sec. user=mdettweiler [2016-01-06 20:16:22] 979*2^1418771-1 is not prime. Res64: 7DB0A56FF672F0C7 Time : 0.0 sec. user=mdettweiler [2016-01-06 20:16:23] 819*2^1418771-1 is not prime. Res64: E2A25A1D1BD0B1E6 Time : 0.0 sec. user=mdettweiler [2016-01-06 20:16:23] 623*2^1418772-1 is not prime. Res64: F9D32C5A298D887A Time : 0.0 sec. user=mdettweiler [2016-01-06 20:33:55] 689*2^1418772-1 is not prime. Res64: 5CEB46096E5C8E6B Time : 0.0 sec. user=mdettweiler [2016-01-06 20:33:55] 717*2^1418772-1 is not prime. Res64: 68F406165F83692C Time : 0.0 sec. user=mdettweiler [2016-01-06 20:33:56] 635*2^1418772-1 is not prime. Res64: 89F6028E6D248736 Time : 0.0 sec. user=mdettweiler [2016-01-06 20:33:56] 665*2^1418772-1 is not prime. Res64: 67187DC0EEF89CAD Time : 0.0 sec. user=mdettweiler [2016-01-06 20:51:27] 725*2^1418772-1 is not prime. Res64: 98E1767E7AD1F998 Time : 0.0 sec. user=mdettweiler [2016-01-06 20:51:27] 615*2^1418773-1 is not prime. Res64: 8292C337C35B08E8 Time : 0.0 sec. user=mdettweiler [2016-01-06 20:51:27] 825*2^1418772-1 is not prime. Res64: 7B63891C730F4E8D Time : 0.0 sec. user=mdettweiler [2016-01-06 20:51:28] 679*2^1418773-1 is not prime. Res64: 001AB1CA9B9EFDBB Time : 0.0 sec. user=mdettweiler [2016-01-06 21:09:00] 685*2^1418773-1 is not prime. Res64: 0E163DCF6D90ADF3 Time : 0.0 sec. user=mdettweiler [2016-01-06 21:09:01] 687*2^1418773-1 is not prime. Res64: 49F66112939EA764 Time : 0.0 sec. user=mdettweiler [2016-01-06 21:09:02] 699*2^1418773-1 is not prime. Res64: 967DEA4326A4E633 Time : 0.0 sec. user=mdettweiler [2016-01-06 21:09:04] 757*2^1418773-1 is not prime. Res64: 6BC4D7C8F06E409B Time : 0.0 sec. user=mdettweiler [2016-01-06 21:26:42] 847*2^1418773-1 is not prime. Res64: 39A8E9BEF58DFF00 Time : 0.0 sec. user=mdettweiler [2016-01-06 21:26:42] 769*2^1418773-1 is not prime. Res64: 0BA932ECF1EE984C Time : 0.0 sec. user=mdettweiler [2016-01-06 21:26:42] 951*2^1418773-1 is not prime. Res64: 30923A520034BBAB Time : 0.0 sec. user=mdettweiler [2016-01-06 21:26:43] 805*2^1418773-1 is not prime. Res64: 45CDA7EBBCEBCE9F Time : 0.0 sec. user=mdettweiler [2016-01-06 21:44:14] 615*2^1418774-1 is not prime. Res64: F7C63CBAF6E2C0D2 Time : 0.0 sec. user=mdettweiler [2016-01-06 21:44:14] 971*2^1418774-1 is not prime. Res64: AC342BBC89733446 Time : 0.0 sec. user=mdettweiler [2016-01-06 21:44:14] 953*2^1418774-1 is not prime. Res64: 1BAD19941CF5DAD1 Time : 0.0 sec. user=mdettweiler [2016-01-06 21:44:15] 633*2^1418775-1 is not prime. Res64: 7CF42AFAA43590E6 Time : 0.0 sec. user=mdettweiler [2016-01-06 22:01:45] 751*2^1418775-1 is not prime. Res64: 5DC31B4087264878 Time : 0.0 sec. user=mdettweiler [2016-01-06 22:01:46] 793*2^1418775-1 is not prime. Res64: 57347681F6430CD3 Time : 0.0 sec. user=mdettweiler [2016-01-06 22:01:47] 643*2^1418775-1 is not prime. Res64: 58978265165BBFE0 Time : 0.0 sec. user=mdettweiler [2016-01-06 22:01:47] 735*2^1418775-1 is not prime. Res64: 2676E70ECA3B7099 Time : 0.0 sec. user=mdettweiler [2016-01-06 22:19:31] 949*2^1418775-1 is not prime. Res64: 79CAD1A50A5BF233 Time : 0.0 sec. user=mdettweiler [2016-01-06 22:19:31] 999*2^1418775-1 is not prime. Res64: 07461CBBFB82535D Time : 0.0 sec. user=mdettweiler [2016-01-06 22:19:32] 861*2^1418775-1 is not prime. Res64: 6CCB8E519CFFF55C Time : 0.0 sec. user=mdettweiler [2016-01-06 22:19:32] 909*2^1418775-1 is not prime. Res64: EEAE1CF18729616F Time : 0.0 sec. user=mdettweiler [2016-01-06 22:37:03] 755*2^1418776-1 is not prime. Res64: FFC74C786B8825CE Time : 0.0 sec. user=mdettweiler [2016-01-06 22:37:03] 765*2^1418776-1 is not prime. Res64: 12C80E3A7230A7E7 Time : 0.0 sec. user=mdettweiler [2016-01-06 22:37:04] 657*2^1418776-1 is not prime. Res64: FE24CFA4625C3A3C Time : 0.0 sec. user=mdettweiler [2016-01-06 22:37:04] 693*2^1418776-1 is not prime. Res64: 3D8BA137D5C5172B Time : 0.0 sec. user=mdettweiler [2016-01-06 22:54:36] 869*2^1418776-1 is not prime. Res64: 8CFA0550BA9307F1 Time : 0.0 sec. user=mdettweiler [2016-01-06 22:54:36] 939*2^1418776-1 is not prime. Res64: F59F23661C087491 Time : 0.0 sec. user=mdettweiler [2016-01-06 22:54:37] 887*2^1418776-1 is not prime. Res64: E192E2A72F0635BE Time : 0.0 sec. user=mdettweiler [2016-01-06 22:54:37] 619*2^1418777-1 is not prime. Res64: 379C7CBB20EA0650 Time : 0.0 sec. user=mdettweiler [2016-01-06 23:12:15] 645*2^1418777-1 is not prime. Res64: 5E91BA67474F1A04 Time : 0.0 sec. user=mdettweiler [2016-01-06 23:12:15] 729*2^1418777-1 is not prime. Res64: CE91F1898971F848 Time : 0.0 sec. user=mdettweiler [2016-01-06 23:12:15] 669*2^1418777-1 is not prime. Res64: 99E3D9875F0AECD4 Time : 0.0 sec. user=mdettweiler [2016-01-06 23:12:15] 747*2^1418777-1 is not prime. Res64: 1B92121836AA5CD4 Time : 0.0 sec. user=mdettweiler [2016-01-06 23:29:54] 957*2^1418777-1 is not prime. Res64: 781B3D5F34DFF5B0 Time : 0.0 sec. user=mdettweiler [2016-01-06 23:29:54] 765*2^1418778-1 is not prime. Res64: FA08AAFB34E6EB73 Time : 0.0 sec. user=mdettweiler [2016-01-06 23:29:54] 695*2^1418778-1 is not prime. Res64: A902B04170784413 Time : 0.0 sec. user=mdettweiler [2016-01-06 23:29:55] 815*2^1418778-1 is not prime. Res64: 9E7938DF4A2768E5 Time : 0.0 sec. user=mdettweiler [2016-01-06 23:47:33] 691*2^1418779-1 is not prime. Res64: B273660E9DCBE5C5 Time : 0.0 sec. user=mdettweiler [2016-01-06 23:47:34] 601*2^1418779-1 is not prime. Res64: 2923C7167ED6289C Time : 0.0 sec. user=mdettweiler [2016-01-06 23:47:34] 771*2^1418779-1 is not prime. Res64: FC310BF0EDA013EB Time : 0.0 sec. user=mdettweiler [2016-01-06 23:47:34] 663*2^1418779-1 is not prime. Res64: 7FCE7C00E59DAC58 Time : 0.0 sec.