user=mdettweiler [2015-12-19 00:12:16] 895*2^1417725-1 is not prime. Res64: 08506EE850944F74 Time : 0.0 sec. user=mdettweiler [2015-12-19 00:12:17] 979*2^1417725-1 is not prime. Res64: 9907897BCB96D3DE Time : 0.0 sec. user=mdettweiler [2015-12-19 00:12:18] 717*2^1417726-1 is not prime. Res64: 5CA57394C83A37EA Time : 0.0 sec. user=mdettweiler [2015-12-19 00:12:19] 821*2^1417726-1 is not prime. Res64: EFE3D589820AE207 Time : 0.0 sec. user=mdettweiler [2015-12-19 00:29:49] 825*2^1417726-1 is not prime. Res64: 7FA9C8A11FAF1140 Time : 0.0 sec. user=mdettweiler [2015-12-19 00:29:50] 861*2^1417726-1 is not prime. Res64: 560FE73A562D952E Time : 0.0 sec. user=mdettweiler [2015-12-19 00:29:51] 663*2^1417727-1 is not prime. Res64: 0EFAB0C2795695BA Time : 0.0 sec. user=mdettweiler [2015-12-19 00:29:51] 729*2^1417727-1 is not prime. Res64: BFAA8F0D03984D38 Time : 0.0 sec. user=mdettweiler [2015-12-19 00:47:17] 781*2^1417727-1 is not prime. Res64: 9B81782CB584E3A7 Time : 0.0 sec. user=mdettweiler [2015-12-19 00:47:17] 915*2^1417727-1 is not prime. Res64: 218221AB4BE9FE79 Time : 0.0 sec. user=mdettweiler [2015-12-19 00:47:17] 861*2^1417727-1 is not prime. Res64: 1FFB000CB6311EF4 Time : 0.0 sec. user=mdettweiler [2015-12-19 00:47:18] 845*2^1417728-1 is not prime. Res64: 4BABDEE82E803C92 Time : 0.0 sec. user=mdettweiler [2015-12-19 01:04:46] 771*2^1417729-1 is not prime. Res64: DDBED70D0192BD5D Time : 0.0 sec. user=mdettweiler [2015-12-19 01:04:48] 905*2^1417728-1 is not prime. Res64: 29489EE7F55AA3B1 Time : 0.0 sec. user=mdettweiler [2015-12-19 01:04:49] 831*2^1417729-1 is not prime. Res64: 000F1A55E1ECB4DE Time : 0.0 sec. user=mdettweiler [2015-12-19 01:04:50] 915*2^1417728-1 is not prime. Res64: 29BDC7FCA2BAF89E Time : 0.0 sec. user=mdettweiler [2015-12-19 01:22:46] 847*2^1417729-1 is not prime. Res64: 1D5191655344F0BA Time : 0.0 sec. user=mdettweiler [2015-12-19 01:22:47] 861*2^1417729-1 is not prime. Res64: 464015F67EBA6243 Time : 0.0 sec. user=mdettweiler [2015-12-19 01:22:47] 987*2^1417729-1 is not prime. Res64: 1D87F68596944E37 Time : 0.0 sec. user=mdettweiler [2015-12-19 01:22:47] 627*2^1417730-1 is not prime. Res64: 6847C51AA5434377 Time : 0.0 sec. user=mdettweiler [2015-12-19 01:40:18] 755*2^1417730-1 is not prime. Res64: AD3D79D6E8F10A4C Time : 0.0 sec. user=mdettweiler [2015-12-19 01:40:19] 645*2^1417730-1 is not prime. Res64: 904A67F744479E81 Time : 0.0 sec. user=mdettweiler [2015-12-19 01:40:23] 711*2^1417730-1 is not prime. Res64: 5F926EEC2057D554 Time : 0.0 sec. user=mdettweiler [2015-12-19 01:40:26] 867*2^1417730-1 is not prime. Res64: D1DA756DA5BBDD5C Time : 0.0 sec. user=mdettweiler [2015-12-19 01:58:14] 679*2^1417731-1 is not prime. Res64: B4CBA2AC4E2E92D3 Time : 0.0 sec. user=mdettweiler [2015-12-19 01:58:14] 609*2^1417732-1 is not prime. Res64: E4CCFD49FFD23385 Time : 0.0 sec. user=mdettweiler [2015-12-19 01:58:14] 793*2^1417731-1 is not prime. Res64: 1C376818C9B6E848 Time : 0.0 sec. user=mdettweiler [2015-12-19 01:58:14] 617*2^1417732-1 is not prime. Res64: C544389227DE89DD Time : 0.0 sec. user=mdettweiler [2015-12-19 02:15:49] 863*2^1417732-1 is not prime. Res64: 0CCB2865F67F3F12 Time : 0.0 sec. user=mdettweiler [2015-12-19 02:15:49] 665*2^1417732-1 is not prime. Res64: 7AC6DE74EA3EF5DC Time : 0.0 sec. user=mdettweiler [2015-12-19 02:15:50] 855*2^1417732-1 is not prime. Res64: F3D699894AA07E06 Time : 0.0 sec. user=mdettweiler [2015-12-19 02:15:50] 869*2^1417732-1 is not prime. Res64: EEF00121318F7766 Time : 0.0 sec. user=mdettweiler [2015-12-19 02:33:18] 965*2^1417732-1 is not prime. Res64: 1EC43C9C11C01FAE Time : 0.0 sec. user=mdettweiler [2015-12-19 02:33:18] 923*2^1417732-1 is not prime. Res64: C945BE21305CD38E Time : 0.0 sec. user=mdettweiler [2015-12-19 02:33:19] 651*2^1417733-1 is not prime. Res64: 2B03074E1C9ED699 Time : 0.0 sec. user=mdettweiler [2015-12-19 02:33:19] 939*2^1417732-1 is not prime. Res64: B9D7237F80F584C9 Time : 0.0 sec. user=mdettweiler [2015-12-19 02:50:50] 717*2^1417734-1 is not prime. Res64: B4222CC8DD2A2EBF Time : 0.0 sec. user=mdettweiler [2015-12-19 02:50:51] 697*2^1417733-1 is not prime. Res64: E08EC36ECA27BFE1 Time : 0.0 sec. user=mdettweiler [2015-12-19 02:50:51] 863*2^1417734-1 is not prime. Res64: DD4C94765DF3A59C Time : 0.0 sec. user=mdettweiler [2015-12-19 02:50:51] 987*2^1417733-1 is not prime. Res64: AD54CA4A590C309A Time : 0.0 sec. user=mdettweiler [2015-12-19 03:08:18] 793*2^1417735-1 is not prime. Res64: EAFEDD3A837D3A71 Time : 0.0 sec. user=mdettweiler [2015-12-19 03:08:19] 609*2^1417735-1 is not prime. Res64: F232FE106409E40E Time : 0.0 sec. user=mdettweiler [2015-12-19 03:08:20] 841*2^1417735-1 is not prime. Res64: 10639EF850895FEC Time : 0.0 sec. user=mdettweiler [2015-12-19 03:08:20] 619*2^1417735-1 is not prime. Res64: 915730AEC6B7EAF2 Time : 0.0 sec. user=mdettweiler [2015-12-19 03:25:52] 855*2^1417735-1 is not prime. Res64: 42BC603B07EB6D2D Time : 0.0 sec. user=mdettweiler [2015-12-19 03:25:53] 883*2^1417735-1 is not prime. Res64: D73BA6836CDC8821 Time : 0.0 sec. user=mdettweiler [2015-12-19 03:25:53] 693*2^1417736-1 is not prime. Res64: DC586ED7275C471D Time : 0.0 sec. user=mdettweiler [2015-12-19 03:25:54] 767*2^1417736-1 is not prime. Res64: E75989888CA40DCA Time : 0.0 sec. user=mdettweiler [2015-12-19 03:43:22] 667*2^1417737-1 is not prime. Res64: 75470D5ADBFC4FC6 Time : 0.0 sec. user=mdettweiler [2015-12-19 03:43:22] 843*2^1417736-1 is not prime. Res64: 036C585300F8E5E6 Time : 0.0 sec. user=mdettweiler [2015-12-19 03:43:24] 669*2^1417737-1 is not prime. Res64: 13BA709EAAE79765 Time : 0.0 sec. user=mdettweiler [2015-12-19 03:43:25] 923*2^1417736-1 is not prime. Res64: 0F4106215FF48F75 Time : 0.0 sec. user=mdettweiler [2015-12-19 04:01:08] 717*2^1417737-1 is not prime. Res64: 58531F8A022030AE Time : 0.0 sec. user=mdettweiler [2015-12-19 04:01:09] 741*2^1417737-1 is not prime. Res64: 03F1BD1CF6A9363E Time : 0.0 sec. user=mdettweiler [2015-12-19 04:01:10] 759*2^1417737-1 is not prime. Res64: 299B9E136D5D3690 Time : 0.0 sec. user=mdettweiler [2015-12-19 04:01:11] 835*2^1417737-1 is not prime. Res64: ED134F8E3EF6665B Time : 0.0 sec. user=mdettweiler [2015-12-19 04:18:55] 901*2^1417737-1 is not prime. Res64: 2C78963EAD3B2B66 Time : 0.0 sec. user=mdettweiler [2015-12-19 04:18:56] 979*2^1417737-1 is not prime. Res64: 3FD9D1183095EBA2 Time : 0.0 sec. user=mdettweiler [2015-12-19 04:18:56] 605*2^1417738-1 is not prime. Res64: 65AA62E9FE3F7C95 Time : 0.0 sec. user=mdettweiler [2015-12-19 04:18:56] 735*2^1417738-1 is not prime. Res64: DA1DCB74CF6BB6AB Time : 0.0 sec. user=mdettweiler [2015-12-19 04:36:24] 857*2^1417738-1 is not prime. Res64: 674071D8209AF802 Time : 0.0 sec. user=mdettweiler [2015-12-19 04:36:24] 609*2^1417739-1 is not prime. Res64: 13F019B62885A87B Time : 0.0 sec. user=mdettweiler [2015-12-19 04:36:24] 633*2^1417739-1 is not prime. Res64: 7A007BDBB86E3AB8 Time : 0.0 sec. user=mdettweiler [2015-12-19 04:36:25] 685*2^1417739-1 is not prime. Res64: C1CDAA939EC23673 Time : 0.0 sec. user=mdettweiler [2015-12-19 04:53:56] 789*2^1417739-1 is not prime. Res64: 7F3413351C9122BD Time : 0.0 sec. user=mdettweiler [2015-12-19 04:53:56] 879*2^1417739-1 is not prime. Res64: 46BD7EFA2B05B39E Time : 0.0 sec. user=mdettweiler [2015-12-19 04:53:57] 949*2^1417739-1 is not prime. Res64: 0B9311EAE51D81CB Time : 0.0 sec. user=mdettweiler [2015-12-19 04:53:57] 813*2^1417739-1 is not prime. Res64: 85B983C6EB09966D Time : 0.0 sec. user=mdettweiler [2015-12-19 05:11:33] 627*2^1417740-1 is not prime. Res64: 71DCDBE4758CF536 Time : 0.0 sec. user=mdettweiler [2015-12-19 05:11:33] 707*2^1417740-1 is not prime. Res64: E13769E456A9816F Time : 0.0 sec. user=mdettweiler [2015-12-19 05:11:34] 737*2^1417740-1 is not prime. Res64: 4A4AB67565C109AD Time : 0.0 sec. user=mdettweiler [2015-12-19 05:11:34] 635*2^1417740-1 is not prime. Res64: 65CD398869EB85C3 Time : 0.0 sec. user=mdettweiler [2015-12-19 05:29:12] 879*2^1417740-1 is not prime. Res64: 71DF967C01280B7D Time : 0.0 sec. user=mdettweiler [2015-12-19 05:29:13] 905*2^1417740-1 is not prime. Res64: 00998647E0220495 Time : 0.0 sec. user=mdettweiler [2015-12-19 05:29:14] 753*2^1417740-1 is not prime. Res64: 07D6950C16D41381 Time : 0.0 sec. user=mdettweiler [2015-12-19 05:29:15] 789*2^1417740-1 is not prime. Res64: CBF241A32A16F178 Time : 0.0 sec. user=mdettweiler [2015-12-19 05:46:48] 929*2^1417740-1 is not prime. Res64: 89C760E7464ECB88 Time : 0.0 sec. user=mdettweiler [2015-12-19 05:46:49] 621*2^1417741-1 is not prime. Res64: FE2952FFE61B9440 Time : 0.0 sec. user=mdettweiler [2015-12-19 05:46:52] 675*2^1417741-1 is not prime. Res64: ED93DD3F1D059B0C Time : 0.0 sec. user=mdettweiler [2015-12-19 05:46:53] 747*2^1417741-1 is not prime. Res64: 3235AE2FA32CBC5D Time : 0.0 sec. user=mdettweiler [2015-12-19 06:04:27] 751*2^1417741-1 is not prime. Res64: 83E4E9ADB341219D Time : 0.0 sec. user=mdettweiler [2015-12-19 06:04:28] 847*2^1417741-1 is not prime. Res64: F3D782345ECE2240 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:04:30] 829*2^1417741-1 is not prime. Res64: 81FEA9F1983F0454 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:04:31] 937*2^1417741-1 is not prime. Res64: 8AC94D106C78B257 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:22:19] 957*2^1417741-1 is not prime. Res64: E1870656E6AB37E1 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:22:19] 657*2^1417742-1 is not prime. Res64: D8D12A2DDC62021A Time : 0.0 sec. user=mdettweiler [2015-12-19 06:22:20] 961*2^1417741-1 is not prime. Res64: 3D35FB5CDB6AA9E8 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:22:20] 665*2^1417742-1 is not prime. Res64: 7E37D8A698F1A568 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:39:55] 903*2^1417742-1 is not prime. Res64: AB667FB3CB002DB0 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:39:55] 741*2^1417742-1 is not prime. Res64: 62C75321137E77C6 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:39:56] 935*2^1417742-1 is not prime. Res64: 6970728D87A52060 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:39:56] 893*2^1417742-1 is not prime. Res64: 91ECEBE999FA45F1 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:57:32] 751*2^1417743-1 is not prime. Res64: 809741CD47341046 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:57:33] 765*2^1417743-1 is not prime. Res64: 158F2776608119C1 Time : 0.0 sec. user=mdettweiler [2015-12-19 06:57:33] 775*2^1417743-1 is not prime. Res64: 4C8CCE7AB094786E Time : 0.0 sec. user=mdettweiler [2015-12-19 06:57:34] 819*2^1417743-1 is not prime. Res64: 6D14D0C0A91C1B0C Time : 0.0 sec. user=mdettweiler [2015-12-19 07:15:09] 963*2^1417743-1 is not prime. Res64: DF4218AB506D0E72 Time : 0.0 sec. user=mdettweiler [2015-12-19 07:15:10] 895*2^1417743-1 is not prime. Res64: 0730B04875911CD1 Time : 0.0 sec. user=mdettweiler [2015-12-19 07:15:10] 695*2^1417744-1 is not prime. Res64: C8C0746A9EFF576A Time : 0.0 sec. user=mdettweiler [2015-12-19 07:15:11] 961*2^1417743-1 is not prime. Res64: D8DB5ABF03542B87 Time : 0.0 sec. user=mdettweiler [2015-12-19 07:32:45] 819*2^1417744-1 is not prime. Res64: FCBBB7FC54564A4B Time : 0.0 sec. user=mdettweiler [2015-12-19 07:32:47] 833*2^1417744-1 is not prime. Res64: 58784C886F72A14F Time : 0.0 sec. user=mdettweiler [2015-12-19 07:32:48] 899*2^1417744-1 is not prime. Res64: 523597B91A1CA364 Time : 0.0 sec. user=mdettweiler [2015-12-19 07:32:48] 827*2^1417744-1 is not prime. Res64: 3E46D1B14A003525 Time : 0.0 sec. user=mdettweiler [2015-12-19 07:50:23] 915*2^1417744-1 is not prime. Res64: 879F0966B2BCDC74 Time : 0.0 sec. user=mdettweiler [2015-12-19 07:50:23] 645*2^1417745-1 is not prime. Res64: 8EE41CC24EDB0BAF Time : 0.0 sec. user=mdettweiler [2015-12-19 07:50:24] 627*2^1417745-1 is not prime. Res64: F69B07A137D6F819 Time : 0.0 sec. user=mdettweiler [2015-12-19 07:50:25] 727*2^1417745-1 is not prime. Res64: A7729BE563266CAB Time : 0.0 sec. user=mdettweiler [2015-12-19 08:07:59] 885*2^1417745-1 is not prime. Res64: 1BE8AEA32A180518 Time : 0.0 sec. user=mdettweiler [2015-12-19 08:08:00] 611*2^1417746-1 is not prime. Res64: F4E6D4BE28CE04A1 Time : 0.0 sec. user=mdettweiler [2015-12-19 08:08:00] 819*2^1417745-1 is not prime. Res64: 9A1006E5C67CCA12 Time : 0.0 sec. user=mdettweiler [2015-12-19 08:08:01] 847*2^1417745-1 is not prime. Res64: 55C223FB3562CC61 Time : 0.0 sec. user=mdettweiler [2015-12-19 08:25:40] 755*2^1417746-1 is not prime. Res64: FFD3CAAC8526512E Time : 0.0 sec. user=mdettweiler [2015-12-19 08:25:41] 635*2^1417746-1 is not prime. Res64: 97CE4E67A0083DFC Time : 0.0 sec. user=mdettweiler [2015-12-19 08:25:41] 807*2^1417746-1 is not prime. Res64: 872C18F9C0610033 Time : 0.0 sec. user=mdettweiler [2015-12-19 08:25:41] 717*2^1417746-1 is not prime. Res64: 68677E5075CC62BA Time : 0.0 sec. user=mdettweiler [2015-12-19 08:43:17] 603*2^1417747-1 is not prime. Res64: EAC2B853BCE6EE53 Time : 0.0 sec. user=mdettweiler [2015-12-19 08:43:18] 693*2^1417747-1 is not prime. Res64: 1AEB07614B59B037 Time : 0.0 sec. user=mdettweiler [2015-12-19 08:43:23] 833*2^1417746-1 is not prime. Res64: D2AA2C77C21338CE Time : 0.0 sec. user=mdettweiler [2015-12-19 08:43:24] 837*2^1417746-1 is not prime. Res64: AE843ACA750D2A3E Time : 0.0 sec. user=mdettweiler [2015-12-19 09:00:54] 765*2^1417747-1 is not prime. Res64: 4A03ABF54C4A830C Time : 0.0 sec. user=mdettweiler [2015-12-19 09:00:55] 769*2^1417747-1 is not prime. Res64: 29D4E5433256F8B6 Time : 0.0 sec. user=mdettweiler [2015-12-19 09:01:01] 805*2^1417747-1 is not prime. Res64: A9E17E2052C77F24 Time : 0.0 sec. user=mdettweiler [2015-12-19 09:01:02] 919*2^1417747-1 is not prime. Res64: 4B397FC01E91653F Time : 0.0 sec. user=mdettweiler [2015-12-19 09:18:33] 993*2^1417747-1 is not prime. Res64: 41742661C275F0CB Time : 0.0 sec. user=mdettweiler [2015-12-19 09:18:34] 767*2^1417748-1 is not prime. Res64: B687ECBC4452CEAC Time : 0.0 sec. user=mdettweiler [2015-12-19 09:18:41] 879*2^1417748-1 is not prime. Res64: 19DDC05DB4A79CD5 Time : 0.0 sec. user=mdettweiler [2015-12-19 09:18:42] 885*2^1417748-1 is not prime. Res64: 29885784BED092EC Time : 0.0 sec. user=mdettweiler [2015-12-19 09:36:20] 953*2^1417748-1 is not prime. Res64: DCB5C0F47E3F876E Time : 0.0 sec. user=mdettweiler [2015-12-19 09:36:21] 627*2^1417749-1 is not prime. Res64: C200FE20C43E29C6 Time : 0.0 sec. user=mdettweiler [2015-12-19 09:36:21] 993*2^1417748-1 is not prime. Res64: 86C10F82E73D2081 Time : 0.0 sec. user=mdettweiler [2015-12-19 09:36:21] 649*2^1417749-1 is not prime. Res64: 216DB02CDCF20B7D Time : 0.0 sec. user=mdettweiler [2015-12-19 09:53:59] 667*2^1417749-1 is not prime. Res64: ED74A6750A8E6744 Time : 0.0 sec. user=mdettweiler [2015-12-19 09:53:59] 663*2^1417750-1 is not prime. Res64: FD4634A59C035434 Time : 0.0 sec. user=mdettweiler [2015-12-19 09:54:00] 847*2^1417749-1 is not prime. Res64: C079D45B7759F654 Time : 0.0 sec. user=mdettweiler [2015-12-19 09:54:00] 695*2^1417750-1 is not prime. Res64: 2687482B6A348122 Time : 0.0 sec. user=mdettweiler [2015-12-19 10:11:34] 761*2^1417750-1 is not prime. Res64: 17F395247DDF905E Time : 0.0 sec. user=mdettweiler [2015-12-19 10:11:35] 831*2^1417750-1 is not prime. Res64: D493FAC1F8FE66EF Time : 0.0 sec. user=mdettweiler [2015-12-19 10:11:35] 861*2^1417750-1 is not prime. Res64: DEC38D557F053D4B Time : 0.0 sec. user=mdettweiler [2015-12-19 10:11:35] 923*2^1417750-1 is not prime. Res64: 2562A608A04B0645 Time : 0.0 sec. user=mdettweiler [2015-12-19 10:29:03] 763*2^1417751-1 is not prime. Res64: 2F2D3F2426FBEDB5 Time : 0.0 sec. user=mdettweiler [2015-12-19 10:29:04] 971*2^1417750-1 is not prime. Res64: 5279D70A12C9D7D2 Time : 0.0 sec. user=mdettweiler [2015-12-19 10:29:04] 789*2^1417751-1 is not prime. Res64: 01D7125F92CE6BA4 Time : 0.0 sec. user=mdettweiler [2015-12-19 10:29:04] 981*2^1417750-1 is not prime. Res64: E1C1029FCB0BE83F Time : 0.0 sec. user=mdettweiler [2015-12-19 10:46:32] 683*2^1417752-1 is not prime. Res64: 981ACDD79F403DB6 Time : 0.0 sec. user=mdettweiler [2015-12-19 10:46:33] 777*2^1417752-1 is not prime. Res64: 6E5676B3F23C51B8 Time : 0.0 sec. user=mdettweiler [2015-12-19 10:46:33] 813*2^1417751-1 is not prime. Res64: 1C0EDD9C6ACAABD6 Time : 0.0 sec. user=mdettweiler [2015-12-19 10:46:33] 909*2^1417751-1 is not prime. Res64: 1C2AA0850B5F5D12 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:04:01] 959*2^1417752-1 is not prime. Res64: 8AB451ADBE574347 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:04:01] 615*2^1417753-1 is not prime. Res64: 25F99C6F661BBD95 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:04:03] 977*2^1417752-1 is not prime. Res64: 2A4EA96C5AFDF9C2 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:04:03] 705*2^1417753-1 is not prime. Res64: 9F8EE84A8065B3A0 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:21:49] 747*2^1417753-1 is not prime. Res64: 0ADA1FC13D971533 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:21:49] 811*2^1417753-1 is not prime. Res64: 013BBF7981349561 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:21:51] 855*2^1417753-1 is not prime. Res64: C3E6E45609BE7097 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:21:52] 617*2^1417754-1 is not prime. Res64: AB50D9642651A63E Time : 0.0 sec. user=mdettweiler [2015-12-19 11:39:20] 815*2^1417754-1 is not prime. Res64: 436FD3F43CD36FAB Time : 0.0 sec. user=mdettweiler [2015-12-19 11:39:20] 945*2^1417754-1 is not prime. Res64: F349F87E007E1F4B Time : 0.0 sec. user=mdettweiler [2015-12-19 11:39:22] 623*2^1417754-1 is not prime. Res64: DB848DAEAEA3E813 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:39:22] 773*2^1417754-1 is not prime. Res64: 809B56CF311A666E Time : 0.0 sec. user=mdettweiler [2015-12-19 11:56:46] 705*2^1417755-1 is not prime. Res64: 64C0FDFB0D37C467 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:56:47] 741*2^1417755-1 is not prime. Res64: 9B563D6953C6C04F Time : 0.0 sec. user=mdettweiler [2015-12-19 11:56:50] 795*2^1417755-1 is not prime. Res64: D0C0A7150FC7F5A3 Time : 0.0 sec. user=mdettweiler [2015-12-19 11:56:50] 909*2^1417755-1 is not prime. Res64: 6685B4B08E3A4A38 Time : 0.0 sec. user=mdettweiler [2015-12-19 12:14:15] 961*2^1417755-1 is not prime. Res64: 3C72E410544C5869 Time : 0.0 sec. user=mdettweiler [2015-12-19 12:14:15] 985*2^1417755-1 is not prime. Res64: 555F98B84FD9025F Time : 0.0 sec. user=mdettweiler [2015-12-19 12:14:16] 735*2^1417756-1 is not prime. Res64: D4F83317878787B5 Time : 0.0 sec. user=mdettweiler [2015-12-19 12:14:17] 873*2^1417756-1 is not prime. Res64: BFADFF936E909F7D Time : 0.0 sec. user=mdettweiler [2015-12-19 12:31:46] 825*2^1417757-1 is not prime. Res64: D666F1294A5CBD4E Time : 0.0 sec. user=mdettweiler [2015-12-19 12:31:47] 949*2^1417757-1 is not prime. Res64: B4D766D8F413320D Time : 0.0 sec. user=mdettweiler [2015-12-19 12:31:47] 923*2^1417756-1 is not prime. Res64: 8D8F176C5AC3C9A2 Time : 0.0 sec. user=mdettweiler [2015-12-19 12:31:48] 757*2^1417757-1 is not prime. Res64: 41E2F935BF3C7C61 Time : 0.0 sec. user=mdettweiler [2015-12-19 12:49:13] 693*2^1417758-1 is not prime. Res64: 7E643DD03D164714 Time : 0.0 sec. user=mdettweiler [2015-12-19 12:49:14] 737*2^1417758-1 is not prime. Res64: EE1C671A22643927 Time : 0.0 sec. user=mdettweiler [2015-12-19 12:49:16] 663*2^1417758-1 is not prime. Res64: 6D3A10A1AAF162EA Time : 0.0 sec. user=mdettweiler [2015-12-19 12:49:16] 683*2^1417758-1 is not prime. Res64: 26D15A271C9DADED Time : 0.0 sec. user=mdettweiler [2015-12-19 13:06:41] 767*2^1417758-1 is not prime. Res64: 4CFCB47E67EDD0F2 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:06:42] 777*2^1417758-1 is not prime. Res64: 9D3A704E9D28E2DC Time : 0.0 sec. user=mdettweiler [2015-12-19 13:06:43] 833*2^1417758-1 is not prime. Res64: 6C192C9FBDE0F036 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:06:44] 887*2^1417758-1 is not prime. Res64: 131BC455D6177EB0 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:24:17] 679*2^1417759-1 is not prime. Res64: 9B851D9C6A42A4D7 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:24:17] 681*2^1417759-1 is not prime. Res64: 7E63E1D5F699257F Time : 0.0 sec. user=mdettweiler [2015-12-19 13:24:17] 709*2^1417759-1 is not prime. Res64: 3A65BC3F20D64C64 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:24:18] 789*2^1417759-1 is not prime. Res64: 3CDFE7F908312720 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:41:47] 951*2^1417759-1 is not prime. Res64: E5A9A8AE9E3BB10E Time : 0.0 sec. user=mdettweiler [2015-12-19 13:41:47] 773*2^1417760-1 is not prime. Res64: 4B92A39CE303053F Time : 0.0 sec. user=mdettweiler [2015-12-19 13:41:47] 969*2^1417759-1 is not prime. Res64: 75306FD486C57417 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:41:47] 825*2^1417760-1 is not prime. Res64: AFAE6DEA76BE39F3 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:59:13] 857*2^1417760-1 is not prime. Res64: 5CA30AACA9498273 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:59:14] 875*2^1417760-1 is not prime. Res64: DC7E1BBD809DF764 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:59:15] 909*2^1417760-1 is not prime. Res64: 945BE8D3D7FA5017 Time : 0.0 sec. user=mdettweiler [2015-12-19 13:59:15] 983*2^1417760-1 is not prime. Res64: A9CA658AD172FB4F Time : 0.0 sec. user=mdettweiler [2015-12-19 14:16:41] 995*2^1417760-1 is not prime. Res64: 9A72F8DFFE4A0751 Time : 0.0 sec. user=mdettweiler [2015-12-19 14:16:41] 615*2^1417761-1 is not prime. Res64: 1D6DB6B2486159E0 Time : 0.0 sec. user=mdettweiler [2015-12-19 14:16:42] 625*2^1417761-1 is not prime. Res64: 8588B0C0DEECB30C Time : 0.0 sec. user=mdettweiler [2015-12-19 14:16:43] 685*2^1417761-1 is not prime. Res64: C4A35AE5AE267BE9 Time : 0.0 sec. user=mdettweiler [2015-12-19 14:34:09] 745*2^1417761-1 is not prime. Res64: A3D92358080432A8 Time : 0.0 sec. user=mdettweiler [2015-12-19 14:34:10] 829*2^1417761-1 is not prime. Res64: 21F82CA42224538D Time : 0.0 sec. user=mdettweiler [2015-12-19 14:34:10] 955*2^1417761-1 is not prime. Res64: 4C1F995865D95AB1 Time : 0.0 sec. user=mdettweiler [2015-12-19 14:34:10] 999*2^1417761-1 is not prime. Res64: 77ABAE44E35D1477 Time : 0.0 sec. user=mdettweiler [2015-12-19 14:51:37] 675*2^1417762-1 is not prime. Res64: 3C7ECEF59CF8D755 Time : 0.0 sec. user=mdettweiler [2015-12-19 14:51:38] 785*2^1417762-1 is not prime. Res64: 6091ED4852BD953F Time : 0.0 sec. user=mdettweiler [2015-12-19 14:51:38] 603*2^1417762-1 is not prime. Res64: FBB235B2AA2F9682 Time : 0.0 sec. user=mdettweiler [2015-12-19 14:51:38] 645*2^1417762-1 is not prime. Res64: A3A90ECBDE89E72B Time : 0.0 sec. user=mdettweiler [2015-12-19 15:09:05] 983*2^1417762-1 is not prime. Res64: AA6D8D9451E6B7E3 Time : 0.0 sec. user=mdettweiler [2015-12-19 15:09:05] 827*2^1417762-1 is not prime. Res64: E9BAED24F3064E93 Time : 0.0 sec. user=mdettweiler [2015-12-19 15:09:05] 621*2^1417763-1 is not prime. Res64: 9DBD877CCC3738DB Time : 0.0 sec. user=mdettweiler [2015-12-19 15:09:05] 947*2^1417762-1 is not prime. Res64: 1EC7200735D3E142 Time : 0.0 sec. user=mdettweiler [2015-12-19 15:26:34] 991*2^1417763-1 is not prime. Res64: 41E3531DC9651BFB Time : 0.0 sec. user=mdettweiler [2015-12-19 15:26:34] 609*2^1417764-1 is not prime. Res64: DB5E947FD103FC23 Time : 0.0 sec. user=mdettweiler [2015-12-19 15:26:35] 631*2^1417763-1 is not prime. Res64: F7197BA641D85442 Time : 0.0 sec. user=mdettweiler [2015-12-19 15:26:35] 805*2^1417763-1 is not prime. Res64: 4A40A34807C89A81 Time : 0.0 sec. user=mdettweiler [2015-12-19 15:44:01] 657*2^1417764-1 is not prime. Res64: DF02BBBD369F9878 Time : 0.0 sec. user=mdettweiler [2015-12-19 15:44:02] 737*2^1417764-1 is not prime. Res64: 17EFA052E39DF4DD Time : 0.0 sec. user=mdettweiler [2015-12-19 15:44:03] 629*2^1417764-1 is not prime. Res64: 125E488B5E06F5CA Time : 0.0 sec. user=mdettweiler [2015-12-19 15:44:03] 635*2^1417764-1 is not prime. Res64: 4D8EEE24094B40A2 Time : 0.0 sec. user=mdettweiler [2015-12-19 16:01:30] 749*2^1417764-1 is not prime. Res64: 98A1E98246495B81 Time : 0.0 sec. user=mdettweiler [2015-12-19 16:01:31] 899*2^1417764-1 is not prime. Res64: 2F676E8E274F912D Time : 0.0 sec. user=mdettweiler [2015-12-19 16:01:32] 873*2^1417764-1 is not prime. Res64: 7275D3189D2DC230 Time : 0.0 sec. user=mdettweiler [2015-12-19 16:01:32] 927*2^1417764-1 is not prime. Res64: FC77FF06E1A809CF Time : 0.0 sec. user=mdettweiler [2015-12-19 16:19:14] 945*2^1417764-1 is not prime. Res64: 33E63EC399C1DA8E Time : 0.0 sec. user=mdettweiler [2015-12-19 16:19:14] 699*2^1417765-1 is not prime. Res64: 4193762D465C5855 Time : 0.0 sec. user=mdettweiler [2015-12-19 16:19:15] 983*2^1417764-1 is not prime. Res64: E44768CAB6B566F0 Time : 0.0 sec. user=mdettweiler [2015-12-19 16:19:15] 751*2^1417765-1 is not prime. Res64: 579638A278299510 Time : 0.0 sec. user=mdettweiler [2015-12-19 16:36:45] 961*2^1417765-1 is not prime. Res64: 9B8609E4964AC6D5 Time : 0.0 sec. user=mdettweiler [2015-12-19 16:36:46] 985*2^1417765-1 is not prime. Res64: FDD9A689026703FC Time : 0.0 sec. user=mdettweiler [2015-12-19 16:36:46] 765*2^1417765-1 is not prime. Res64: D1B98A3623B7D3EF Time : 0.0 sec. user=mdettweiler [2015-12-19 16:36:46] 861*2^1417765-1 is not prime. Res64: 167B51956AAE2F73 Time : 0.0 sec. user=mdettweiler [2015-12-19 16:54:14] 693*2^1417767-1 is not prime. Res64: 5C367294D15AA558 Time : 0.0 sec. user=mdettweiler [2015-12-19 16:54:14] 645*2^1417766-1 is not prime. Res64: DEFAC6BC4D865580 Time : 0.0 sec. user=mdettweiler [2015-12-19 16:54:14] 741*2^1417767-1 is not prime. Res64: 312AD6C09B1B66AB Time : 0.0 sec. user=mdettweiler [2015-12-19 16:54:14] 619*2^1417767-1 is not prime. Res64: DEE37F0967F72CA2 Time : 0.0 sec. user=mdettweiler [2015-12-19 17:11:43] 985*2^1417767-1 is not prime. Res64: C55C00280757914F Time : 0.0 sec. user=mdettweiler [2015-12-19 17:11:43] 885*2^1417767-1 is not prime. Res64: 7D2AB03F4D2B9384 Time : 0.0 sec. user=mdettweiler [2015-12-19 17:11:43] 689*2^1417768-1 is not prime. Res64: B75402504A6B5A43 Time : 0.0 sec. user=mdettweiler [2015-12-19 17:11:43] 963*2^1417767-1 is not prime. Res64: 05B5F72D0F92C043 Time : 0.0 sec. user=mdettweiler [2015-12-19 17:29:11] 747*2^1417768-1 is not prime. Res64: DDEDCA95CA89B651 Time : 0.0 sec. user=mdettweiler [2015-12-19 17:29:12] 691*2^1417769-1 is not prime. Res64: 661A19742C4250C5 Time : 0.0 sec. user=mdettweiler [2015-12-19 17:29:12] 975*2^1417768-1 is not prime. Res64: F3CC94C61C790B5E Time : 0.0 sec. user=mdettweiler [2015-12-19 17:29:12] 795*2^1417769-1 is not prime. Res64: 3E148C3F654E7C25 Time : 0.0 sec. user=mdettweiler [2015-12-19 17:46:40] 945*2^1417769-1 is not prime. Res64: 2B7658A416E3C3B7 Time : 0.0 sec. user=mdettweiler [2015-12-19 17:46:40] 967*2^1417769-1 is not prime. Res64: 07C4E5D9D2B26E6C Time : 0.0 sec. user=mdettweiler [2015-12-19 17:46:40] 861*2^1417769-1 is not prime. Res64: 964D1B2548953DB1 Time : 0.0 sec. user=mdettweiler [2015-12-19 17:46:41] 925*2^1417769-1 is not prime. Res64: 5EDF0FCE7DF38ECF Time : 0.0 sec. user=mdettweiler [2015-12-19 18:04:09] 611*2^1417770-1 is not prime. Res64: 58EDA6C69A644D41 Time : 0.0 sec. user=mdettweiler [2015-12-19 18:04:09] 783*2^1417770-1 is not prime. Res64: 89326170450BC807 Time : 0.0 sec. user=mdettweiler [2015-12-19 18:04:11] 635*2^1417770-1 is not prime. Res64: 7CBFFF5AFA5CF510 Time : 0.0 sec. user=mdettweiler [2015-12-19 18:04:11] 803*2^1417770-1 is not prime. Res64: A999FAF338F71177 Time : 0.0 sec. user=mdettweiler [2015-12-19 18:21:57] 873*2^1417770-1 is not prime. Res64: CDCBEC88C4383127 Time : 0.0 sec. user=mdettweiler [2015-12-19 18:21:57] 927*2^1417770-1 is not prime. Res64: 3BB9394E0ED390D4 Time : 0.0 sec. user=mdettweiler [2015-12-19 18:22:01] 1001*2^1417770-1 is not prime. Res64: 3DC1DDA9D296307F Time : 0.0 sec. user=mdettweiler [2015-12-19 18:22:02] 735*2^1417771-1 is not prime. Res64: F87972AFFA3BE929 Time : 0.0 sec. user=mdettweiler [2015-12-19 18:39:26] 775*2^1417771-1 is not prime. Res64: 705770925C06C14B Time : 0.0 sec. user=mdettweiler [2015-12-19 18:39:27] 835*2^1417771-1 is not prime. Res64: C71102EF9BE96FBD Time : 0.0 sec. user=mdettweiler [2015-12-19 18:39:28] 849*2^1417771-1 is not prime. Res64: 0A65317183830C9E Time : 0.0 sec. user=mdettweiler [2015-12-19 18:39:29] 859*2^1417771-1 is not prime. Res64: 40E5A83CAB379AAB Time : 0.0 sec. user=mdettweiler [2015-12-19 18:56:55] 683*2^1417772-1 is not prime. Res64: D79AF3D80534A321 Time : 0.0 sec. user=mdettweiler [2015-12-19 18:56:55] 833*2^1417772-1 is not prime. Res64: C040C7C51C641989 Time : 0.0 sec. user=mdettweiler [2015-12-19 18:56:55] 885*2^1417771-1 is not prime. Res64: 1EE5091C0CF48050 Time : 0.0 sec. user=mdettweiler [2015-12-19 18:56:56] 999*2^1417771-1 is not prime. Res64: DBD41B95FF3F02E0 Time : 0.0 sec. user=mdettweiler [2015-12-19 19:14:21] 607*2^1417773-1 is not prime. Res64: 93A0BB5BAB17FD82 Time : 0.0 sec. user=mdettweiler [2015-12-19 19:14:22] 867*2^1417772-1 is not prime. Res64: 92E12FA256E5BE90 Time : 0.0 sec. user=mdettweiler [2015-12-19 19:14:22] 627*2^1417773-1 is not prime. Res64: 2A60B4685BDCF8F2 Time : 0.0 sec. user=mdettweiler [2015-12-19 19:14:22] 909*2^1417772-1 is not prime. Res64: 9CEA35FB6948E355 Time : 0.0 sec. user=mdettweiler [2015-12-19 19:31:48] 745*2^1417773-1 is not prime. Res64: AB3A88513327AFF7 Time : 0.0 sec. user=mdettweiler [2015-12-19 19:31:48] 669*2^1417773-1 is not prime. Res64: F7CA53FBEB3670B6 Time : 0.0 sec. user=mdettweiler [2015-12-19 19:31:49] 769*2^1417773-1 is not prime. Res64: D058690141B97B90 Time : 0.0 sec. user=mdettweiler [2015-12-19 19:31:49] 699*2^1417773-1 is not prime. Res64: 3F17A2E6B8C56E3A Time : 0.0 sec. user=mdettweiler [2015-12-19 19:49:16] 805*2^1417773-1 is not prime. Res64: 766B902B1A612BEE Time : 0.0 sec. user=mdettweiler [2015-12-19 19:49:17] 923*2^1417774-1 is not prime. Res64: B894B935AC88E0C0 Time : 0.0 sec. user=mdettweiler [2015-12-19 19:49:17] 635*2^1417774-1 is not prime. Res64: 9A2D455FB615F541 Time : 0.0 sec. user=mdettweiler [2015-12-19 19:49:17] 971*2^1417774-1 is not prime. Res64: 9BD314D6B12E9EF1 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:06:43] 741*2^1417775-1 is not prime. Res64: 31F2AF8B8062B561 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:06:44] 661*2^1417775-1 is not prime. Res64: 5A888757D7675C94 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:06:45] 783*2^1417775-1 is not prime. Res64: 79D834EC3A7D6AF6 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:06:46] 693*2^1417775-1 is not prime. Res64: 1578448ECA64CFB2 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:24:48] 759*2^1417776-1 is not prime. Res64: 49E80B5EE2889EF2 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:24:48] 969*2^1417775-1 is not prime. Res64: A2619468F7266AE5 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:24:49] 867*2^1417776-1 is not prime. Res64: 91AC88DDAC5ABCED Time : 0.0 sec. user=mdettweiler [2015-12-19 20:24:49] 639*2^1417776-1 is not prime. Res64: D4A3F48491212C81 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:42:17] 607*2^1417777-1 is not prime. Res64: 88182659F56C9777 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:42:18] 879*2^1417776-1 is not prime. Res64: 4434060A4CB0D12C Time : 0.0 sec. user=mdettweiler [2015-12-19 20:42:18] 831*2^1417777-1 is not prime. Res64: BCAA8E16A2C8A788 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:42:18] 893*2^1417776-1 is not prime. Res64: 4753D9BFDC9C63A0 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:59:45] 835*2^1417777-1 is not prime. Res64: CBBAC6ABEE6F4BDD Time : 0.0 sec. user=mdettweiler [2015-12-19 20:59:45] 967*2^1417777-1 is not prime. Res64: 733084EB1AB11FE6 Time : 0.0 sec. user=mdettweiler [2015-12-19 20:59:46] 979*2^1417777-1 is not prime. Res64: 121C5188E5B7F3FD Time : 0.0 sec. user=mdettweiler [2015-12-19 20:59:46] 665*2^1417778-1 is not prime. Res64: F35245CA0880A7E5 Time : 0.0 sec. user=mdettweiler [2015-12-19 21:17:12] 797*2^1417778-1 is not prime. Res64: BD3BCAA2AA6E1B43 Time : 0.0 sec. user=mdettweiler [2015-12-19 21:17:13] 813*2^1417778-1 is not prime. Res64: BBB90280072E13E6 Time : 0.0 sec. user=mdettweiler [2015-12-19 21:17:14] 861*2^1417778-1 is not prime. Res64: 48FB75EA26A30E81 Time : 0.0 sec. user=mdettweiler [2015-12-19 21:17:15] 923*2^1417778-1 is not prime. Res64: 010D08DB115BD60D Time : 0.0 sec. user=mdettweiler [2015-12-19 21:34:42] 639*2^1417779-1 is not prime. Res64: 94FAC5A646789945 Time : 0.0 sec. user=mdettweiler [2015-12-19 21:34:43] 615*2^1417779-1 is not prime. Res64: 44C4F72B07BCA277 Time : 0.0 sec. user=mdettweiler [2015-12-19 21:34:43] 675*2^1417779-1 is not prime. Res64: 1537DCE6992BF9A5 Time : 0.0 sec. user=mdettweiler [2015-12-19 21:34:43] 625*2^1417779-1 is not prime. Res64: 361CDC5EBD1ECA5B Time : 0.0 sec. user=mdettweiler [2015-12-19 21:52:12] 711*2^1417779-1 is not prime. Res64: 720417267AF4EFCF Time : 0.0 sec. user=mdettweiler [2015-12-19 21:52:12] 745*2^1417779-1 is not prime. Res64: 2A01C291F87F0562 Time : 0.0 sec. user=mdettweiler [2015-12-19 21:52:13] 895*2^1417779-1 is not prime. Res64: AA90ECE8D94986ED Time : 0.0 sec. user=mdettweiler [2015-12-19 21:52:13] 961*2^1417779-1 is not prime. Res64: AF7F5ADC5DE089AD Time : 0.0 sec. user=mdettweiler [2015-12-19 22:09:40] 985*2^1417779-1 is not prime. Res64: 83F7B87EA3EEA8D0 Time : 0.0 sec. user=mdettweiler [2015-12-19 22:09:40] 695*2^1417780-1 is not prime. Res64: 7AC25BF45466EBD8 Time : 0.0 sec. user=mdettweiler [2015-12-19 22:09:41] 623*2^1417780-1 is not prime. Res64: 3A3E077370C42EC5 Time : 0.0 sec. user=mdettweiler [2015-12-19 22:09:41] 719*2^1417780-1 is not prime. Res64: 57C437BD57D2C133 Time : 0.0 sec. user=mdettweiler [2015-12-19 22:27:12] 825*2^1417780-1 is not prime. Res64: D7FB0044C120DFAB Time : 0.0 sec. user=mdettweiler [2015-12-19 22:27:12] 833*2^1417780-1 is not prime. Res64: B18DC37661E03595 Time : 0.0 sec. user=mdettweiler [2015-12-19 22:27:12] 839*2^1417780-1 is not prime. Res64: 45ACBA4895D4B7FC Time : 0.0 sec. user=mdettweiler [2015-12-19 22:27:12] 827*2^1417780-1 is not prime. Res64: EDCA6E7D7FC5BB0B Time : 0.0 sec. user=mdettweiler [2015-12-19 22:44:40] 843*2^1417780-1 is not prime. Res64: EC97D94397DF17CA Time : 0.0 sec. user=mdettweiler [2015-12-19 22:44:41] 939*2^1417780-1 is not prime. Res64: B247760218B76D93 Time : 0.0 sec. user=mdettweiler [2015-12-19 22:44:41] 957*2^1417780-1 is not prime. Res64: F4978776C4A57ED0 Time : 0.0 sec. user=mdettweiler [2015-12-19 22:44:41] 607*2^1417781-1 is not prime. Res64: D9DA3259BD30DF11 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:02:09] 927*2^1417781-1 is not prime. Res64: 092B6E2D1FEAB603 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:02:09] 795*2^1417781-1 is not prime. Res64: 4AB1C43618CB7E35 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:02:10] 819*2^1417781-1 is not prime. Res64: 7C961BC4D7D92ACE Time : 0.0 sec. user=mdettweiler [2015-12-19 23:02:10] 987*2^1417781-1 is not prime. Res64: 1EC18800B4C5FAB8 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:19:56] 677*2^1417782-1 is not prime. Res64: C0DD47CBF3D7D10A Time : 0.0 sec. user=mdettweiler [2015-12-19 23:19:56] 681*2^1417782-1 is not prime. Res64: B0496B88729CD562 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:19:56] 917*2^1417782-1 is not prime. Res64: D56E3062F8247AF2 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:19:57] 977*2^1417782-1 is not prime. Res64: 56FCEDBE073649ED Time : 0.0 sec. user=mdettweiler [2015-12-19 23:37:25] 983*2^1417782-1 is not prime. Res64: 56BC7F6B8B922E51 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:37:25] 705*2^1417783-1 is not prime. Res64: D75E4B1582CB6EB1 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:37:25] 723*2^1417783-1 is not prime. Res64: 356D7487A6FD23E5 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:37:25] 745*2^1417783-1 is not prime. Res64: 47D69DB7697FA640 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:54:51] 775*2^1417783-1 is not prime. Res64: 2D60D22F5AAB6DE1 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:54:52] 805*2^1417783-1 is not prime. Res64: CDCE44B1A1B434BC Time : 0.0 sec. user=mdettweiler [2015-12-19 23:54:54] 813*2^1417783-1 is not prime. Res64: F131EB8DB28CD027 Time : 0.0 sec. user=mdettweiler [2015-12-19 23:54:55] 901*2^1417783-1 is not prime. Res64: 1B6621BABACB3677 Time : 0.0 sec.