user=mdettweiler [2015-07-14 00:02:05] 657*2^1402961-1 is not prime. Res64: 24B27AA090CA9CC5 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:02:06] 789*2^1402961-1 is not prime. Res64: A7F96D41E7DF3AD8 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:03:19] 901*2^1402961-1 is not prime. Res64: 5525B22577FC7037 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:03:20] 925*2^1402961-1 is not prime. Res64: C530A3144349B439 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:09:39] 955*2^1402961-1 is not prime. Res64: BDFDD7951B9E19C8 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:09:40] 987*2^1402961-1 is not prime. Res64: 09F149E64D074018 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:09:45] 627*2^1402962-1 is not prime. Res64: 405444A181FB427F Time : 0.0 sec. user=mdettweiler [2015-07-14 00:09:45] 635*2^1402962-1 is not prime. Res64: 39E970A702B72B29 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:20:03] 765*2^1402962-1 is not prime. Res64: 5F70F5D0D6D0B5F3 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:20:03] 767*2^1402962-1 is not prime. Res64: A03311774F9DD072 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:21:21] 801*2^1402962-1 is not prime. Res64: 301F39EB6EEF21D1 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:21:21] 833*2^1402962-1 is not prime. Res64: D32D166203DFFE05 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:27:25] 621*2^1402963-1 is not prime. Res64: 99CAB17841120269 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:27:26] 631*2^1402963-1 is not prime. Res64: 49C74F551CD4F59A Time : 0.0 sec. user=mdettweiler [2015-07-14 00:27:37] 649*2^1402963-1 is not prime. Res64: 761CE7EC84563CB3 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:27:38] 675*2^1402963-1 is not prime. Res64: DCE14004C0B643EC Time : 0.0 sec. user=mdettweiler [2015-07-14 00:37:46] 741*2^1402963-1 is not prime. Res64: 8EA167586775F5A7 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:37:47] 745*2^1402963-1 is not prime. Res64: 1854727C10AEE64F Time : 0.0 sec. user=mdettweiler [2015-07-14 00:39:04] 819*2^1402963-1 is not prime. Res64: 3374B995E70F0105 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:39:05] 829*2^1402963-1 is not prime. Res64: 49883D5173572CC2 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:45:13] 859*2^1402963-1 is not prime. Res64: 877E186281EFCFFE Time : 0.0 sec. user=mdettweiler [2015-07-14 00:45:13] 913*2^1402963-1 is not prime. Res64: 06FD4B9C809ECD51 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:45:17] 945*2^1402963-1 is not prime. Res64: 409964F26E6BC2BF Time : 0.0 sec. user=mdettweiler [2015-07-14 00:45:17] 951*2^1402963-1 is not prime. Res64: 6DECB15958F3664D Time : 0.0 sec. user=mdettweiler [2015-07-14 00:55:38] 969*2^1402963-1 is not prime. Res64: C46C88C144700019 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:55:38] 725*2^1402964-1 is not prime. Res64: B84E02D68F6241F5 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:56:51] 767*2^1402964-1 is not prime. Res64: 791D36F084A0D738 Time : 0.0 sec. user=mdettweiler [2015-07-14 00:56:51] 803*2^1402964-1 is not prime. Res64: F11E0F0C3700E850 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:03:00] 935*2^1402964-1 is not prime. Res64: F639DDADD352759C Time : 0.0 sec. user=mdettweiler [2015-07-14 01:03:01] 667*2^1402965-1 is not prime. Res64: 79221C5FEB92E962 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:03:04] 837*2^1402964-1 is not prime. Res64: F8B95AFEAA2651DA Time : 0.0 sec. user=mdettweiler [2015-07-14 01:03:05] 855*2^1402964-1 is not prime. Res64: 57864A4F99156546 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:13:33] 751*2^1402965-1 is not prime. Res64: 32C2BE452D7E74D4 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:13:34] 705*2^1402966-1 is not prime. Res64: CF753DF5FD10291B Time : 0.0 sec. user=mdettweiler [2015-07-14 01:14:46] 747*2^1402966-1 is not prime. Res64: F95372DD7DCBBB60 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:14:46] 785*2^1402966-1 is not prime. Res64: 9F4714F2ABFEEBA3 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:20:49] 813*2^1402966-1 is not prime. Res64: 68AE6CD04AAC2130 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:20:50] 911*2^1402966-1 is not prime. Res64: D8FDFDE53CC33FC9 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:20:55] 971*2^1402966-1 is not prime. Res64: 6869939E9FEB4569 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:20:55] 615*2^1402967-1 is not prime. Res64: FC977A6A2F0F1A64 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:31:26] 643*2^1402967-1 is not prime. Res64: 5CC2BFE580739C60 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:31:27] 693*2^1402967-1 is not prime. Res64: E8303CF2385CDEAD Time : 0.0 sec. user=juhehe [2015-07-14 01:32:25] 711*2^1402965-1 is not prime. Res64: 4858EB0C16957042 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:32:32] 963*2^1402967-1 is not prime. Res64: EC6B0C4C4BDAD9F6 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:32:32] 985*2^1402967-1 is not prime. Res64: E7DC7A62FD5170E9 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:38:38] 695*2^1402968-1 is not prime. Res64: 5659D9D8C7F8F7F1 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:38:38] 705*2^1402968-1 is not prime. Res64: 0130195B3884E92C Time : 0.0 sec. user=mdettweiler [2015-07-14 01:38:47] 723*2^1402968-1 is not prime. Res64: 9033CA7418D326F4 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:38:48] 777*2^1402968-1 is not prime. Res64: 81F5BC0AD07EA77B Time : 0.0 sec. user=mdettweiler [2015-07-14 01:49:09] 819*2^1402968-1 is not prime. Res64: DA2D0CFC946F4DB5 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:49:10] 927*2^1402968-1 is not prime. Res64: C0F69EE37AD4A38E Time : 0.0 sec. user=mdettweiler [2015-07-14 01:50:21] 747*2^1402969-1 is not prime. Res64: E57E3EFB4EE00829 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:50:22] 799*2^1402969-1 is not prime. Res64: 84054CDEEB0F68DB Time : 0.0 sec. user=mdettweiler [2015-07-14 01:56:28] 807*2^1402969-1 is not prime. Res64: CA16D7D599FDC2BC Time : 0.0 sec. user=mdettweiler [2015-07-14 01:56:28] 895*2^1402969-1 is not prime. Res64: 689070B5D26C0823 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:56:33] 635*2^1402970-1 is not prime. Res64: 723FD0A4E93095B7 Time : 0.0 sec. user=mdettweiler [2015-07-14 01:56:33] 743*2^1402970-1 is not prime. Res64: 3102BA7048C3FCEE Time : 0.0 sec. user=juhehe [2015-07-14 02:01:25] 803*2^1402968-1 is not prime. Res64: 0DEC61F72069C54D Time : 0.0 sec. user=mdettweiler [2015-07-14 02:06:57] 827*2^1402970-1 is not prime. Res64: 71F2D1C3D37408E2 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:06:59] 831*2^1402970-1 is not prime. Res64: C3C7021B009E12E2 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:08:08] 935*2^1402970-1 is not prime. Res64: 2DA293570407453E Time : 0.0 sec. user=mdettweiler [2015-07-14 02:08:09] 793*2^1402971-1 is not prime. Res64: 2B85B028D504D41F Time : 0.0 sec. user=mdettweiler [2015-07-14 02:14:20] 849*2^1402971-1 is not prime. Res64: BD26452F09B7F628 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:14:21] 861*2^1402971-1 is not prime. Res64: D6D59D4ED308B181 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:14:26] 949*2^1402971-1 is not prime. Res64: 2C539441B4CECDDC Time : 0.0 sec. user=mdettweiler [2015-07-14 02:14:26] 961*2^1402971-1 is not prime. Res64: DFF27940812D3AF1 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:25:15] 603*2^1402972-1 is not prime. Res64: 146164A9E62CC9F0 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:25:15] 677*2^1402972-1 is not prime. Res64: 7C5A4DC16FB85E8B Time : 0.0 sec. user=mdettweiler [2015-07-14 02:25:57] 689*2^1402972-1 is not prime. Res64: CB0F213906CEDA3B Time : 0.0 sec. user=mdettweiler [2015-07-14 02:25:57] 705*2^1402972-1 is not prime. Res64: AD8C7DEEA7D15B26 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:32:09] 749*2^1402972-1 is not prime. Res64: 54CBAAC9AB9C288C Time : 0.0 sec. user=mdettweiler [2015-07-14 02:32:10] 777*2^1402972-1 is not prime. Res64: AE1520D741F973A0 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:32:12] 857*2^1402972-1 is not prime. Res64: B52AE84D1F9985BB Time : 0.0 sec. user=mdettweiler [2015-07-14 02:32:13] 885*2^1402972-1 is not prime. Res64: EB698537943D01A4 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:43:10] 915*2^1402973-1 is not prime. Res64: 2AE94360B43981E5 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:43:10] 939*2^1402973-1 is not prime. Res64: 816920DF755B8A26 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:43:43] 981*2^1402973-1 is not prime. Res64: F3D05FC09FE14947 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:43:43] 991*2^1402973-1 is not prime. Res64: D9A7C48EDEA3C60B Time : 0.0 sec. user=mdettweiler [2015-07-14 02:50:08] 711*2^1402974-1 is not prime. Res64: 6C924AE65A194CE5 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:50:09] 737*2^1402974-1 is not prime. Res64: 56F521B579986EF7 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:50:16] 681*2^1402974-1 is not prime. Res64: 0E439C5A87F41323 Time : 0.0 sec. user=mdettweiler [2015-07-14 02:50:17] 693*2^1402974-1 is not prime. Res64: AAE75973210071C4 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:01:03] 767*2^1402974-1 is not prime. Res64: 7CB48EAD15D77295 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:01:04] 797*2^1402974-1 is not prime. Res64: 78D0B3905BDB670F Time : 0.0 sec. user=mdettweiler [2015-07-14 03:01:38] 609*2^1402975-1 is not prime. Res64: 50A100393E86312D Time : 0.0 sec. user=mdettweiler [2015-07-14 03:01:41] 625*2^1402975-1 is not prime. Res64: 7453A993E79D8E47 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:08:00] 679*2^1402975-1 is not prime. Res64: FCC254B48F607401 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:08:01] 685*2^1402975-1 is not prime. Res64: BCAD3C8138502EA7 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:08:10] 735*2^1402975-1 is not prime. Res64: 0D5C009937EE798A Time : 0.0 sec. user=mdettweiler [2015-07-14 03:08:13] 873*2^1402975-1 is not prime. Res64: D380995CECCC3AC0 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:18:56] 925*2^1402975-1 is not prime. Res64: D3C66050AB477F80 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:18:57] 815*2^1402976-1 is not prime. Res64: 6FAA029640861AF6 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:19:25] 839*2^1402976-1 is not prime. Res64: 2A3127D94BAEDDD9 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:19:25] 869*2^1402976-1 is not prime. Res64: 08BE16033C1D8E67 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:25:55] 875*2^1402976-1 is not prime. Res64: B9D2D2DA5D8F74CA Time : 0.0 sec. user=mdettweiler [2015-07-14 03:25:56] 999*2^1402976-1 is not prime. Res64: 364E463D8B8FC7B2 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:25:56] 685*2^1402977-1 is not prime. Res64: FBBB486D1C96E9D9 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:25:57] 765*2^1402977-1 is not prime. Res64: 7E6E94CC55A76FC5 Time : 0.0 sec. user=juhehe [2015-07-14 03:28:02] 723*2^1402975-1 is not prime. Res64: BA45B19B5C0446C5 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:36:48] 915*2^1402977-1 is not prime. Res64: 0565874B9139B7D5 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:36:49] 603*2^1402978-1 is not prime. Res64: 456E288B2CF986B2 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:37:17] 867*2^1402978-1 is not prime. Res64: 823888D43266ECCA Time : 0.0 sec. user=mdettweiler [2015-07-14 03:37:18] 923*2^1402978-1 is not prime. Res64: 9B54F645FB8DF57D Time : 0.0 sec. user=mdettweiler [2015-07-14 03:43:53] 685*2^1402979-1 is not prime. Res64: E21BABEC5EBC5818 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:43:54] 753*2^1402979-1 is not prime. Res64: 37E795B37DFA6D5D Time : 0.0 sec. user=mdettweiler [2015-07-14 03:43:59] 971*2^1402978-1 is not prime. Res64: 7A2284D578CC88FE Time : 0.0 sec. user=mdettweiler [2015-07-14 03:44:01] 621*2^1402979-1 is not prime. Res64: 9E94CA4CEDC77251 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:55:19] 759*2^1402979-1 is not prime. Res64: 7D54097409D9AC19 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:55:20] 841*2^1402979-1 is not prime. Res64: 1C2A79F387B7E7D5 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:55:57] 859*2^1402979-1 is not prime. Res64: F4506311005530E6 Time : 0.0 sec. user=mdettweiler [2015-07-14 03:55:57] 895*2^1402979-1 is not prime. Res64: 7508BB8E9F088719 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:02:45] 719*2^1402980-1 is not prime. Res64: C8DFB52E8F2BF6B8 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:02:46] 915*2^1402980-1 is not prime. Res64: EF0B6645A89BD96D Time : 0.0 sec. user=mdettweiler [2015-07-14 04:03:00] 627*2^1402980-1 is not prime. Res64: 239847DC9BA504F2 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:03:02] 635*2^1402980-1 is not prime. Res64: A0BF6522F4627FD9 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:13:54] 769*2^1402981-1 is not prime. Res64: 0D6F162839E81517 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:13:55] 777*2^1402981-1 is not prime. Res64: 4BFD3C0CF859E51C Time : 0.0 sec. user=mdettweiler [2015-07-14 04:14:10] 601*2^1402981-1 is not prime. Res64: 893C1E2D4846A2D6 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:14:10] 745*2^1402981-1 is not prime. Res64: 403FECB5FE292B2A Time : 0.0 sec. user=mdettweiler [2015-07-14 04:20:46] 945*2^1402981-1 is not prime. Res64: F7D4EDBC7100A009 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:20:46] 957*2^1402981-1 is not prime. Res64: 35F2184780F3802B Time : 0.0 sec. user=mdettweiler [2015-07-14 04:20:59] 855*2^1402981-1 is not prime. Res64: 32C60DFC63014FD1 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:20:59] 931*2^1402981-1 is not prime. Res64: F7922F3C2A341416 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:31:48] 675*2^1402982-1 is not prime. Res64: BF5969EDE1156E9E Time : 0.0 sec. user=mdettweiler [2015-07-14 04:31:49] 731*2^1402982-1 is not prime. Res64: AE1F3FE5BFCA60CD Time : 0.0 sec. user=mdettweiler [2015-07-14 04:31:57] 911*2^1402982-1 is not prime. Res64: F2DB3390E6917703 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:31:57] 977*2^1402982-1 is not prime. Res64: E954B7F8A39C6891 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:38:28] 643*2^1402983-1 is not prime. Res64: FFCF0A66348EF7CF Time : 0.0 sec. user=mdettweiler [2015-07-14 04:38:28] 693*2^1402983-1 is not prime. Res64: 850BF4683BC11D0A Time : 0.0 sec. user=mdettweiler [2015-07-14 04:38:46] 789*2^1402983-1 is not prime. Res64: E9F20FD968DFCE27 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:38:47] 823*2^1402983-1 is not prime. Res64: 6E33EE89BE552BAC Time : 0.0 sec. user=juhehe [2015-07-14 04:44:18] 979*2^1402981-1 is not prime. Res64: 8478F25D7C08EBA3 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:49:39] 849*2^1402983-1 is not prime. Res64: 6E7E3CB8A39E1F48 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:49:40] 891*2^1402983-1 is not prime. Res64: 78818368FC6ADBF2 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:49:44] 609*2^1402984-1 is not prime. Res64: 8E163E5E79FF881B Time : 0.0 sec. user=mdettweiler [2015-07-14 04:49:45] 657*2^1402984-1 is not prime. Res64: BA35542B0F3FF1DA Time : 0.0 sec. user=mdettweiler [2015-07-14 04:56:19] 677*2^1402984-1 is not prime. Res64: 7FD5019AAE80BF84 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:56:20] 747*2^1402984-1 is not prime. Res64: A23B06892FD66A59 Time : 0.0 sec. user=mdettweiler [2015-07-14 04:56:46] 899*2^1402984-1 is not prime. Res64: C3D5A5517845813C Time : 0.0 sec. user=mdettweiler [2015-07-14 04:56:46] 905*2^1402984-1 is not prime. Res64: F2C5988AB5CD99C3 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:07:28] 735*2^1402985-1 is not prime. Res64: 73BC9385D8591593 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:07:29] 789*2^1402985-1 is not prime. Res64: 77E656FADFA378FC Time : 0.0 sec. user=mdettweiler [2015-07-14 05:07:31] 927*2^1402984-1 is not prime. Res64: 48B557D35437758D Time : 0.0 sec. user=mdettweiler [2015-07-14 05:07:31] 649*2^1402985-1 is not prime. Res64: 25ECCAB1046B7264 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:14:03] 925*2^1402985-1 is not prime. Res64: CBB49C52E130B99B Time : 0.0 sec. user=mdettweiler [2015-07-14 05:14:04] 825*2^1402986-1 is not prime. Res64: 84509AC17FB19C54 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:14:27] 837*2^1402986-1 is not prime. Res64: C1A62FA070355050 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:14:27] 873*2^1402986-1 is not prime. Res64: 670AEE2B077D3292 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:25:17] 887*2^1402986-1 is not prime. Res64: 169E54F360A05EE3 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:25:17] 893*2^1402986-1 is not prime. Res64: 5599D8E88731E2DA Time : 0.0 sec. user=mdettweiler [2015-07-14 05:25:18] 945*2^1402986-1 is not prime. Res64: EEC88A19A11CD164 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:25:19] 1001*2^1402986-1 is not prime. Res64: 78495B9B1DB95487 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:31:53] 603*2^1402987-1 is not prime. Res64: 275ED14A0E6BE9C2 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:31:53] 775*2^1402987-1 is not prime. Res64: 0F59E848FE40526E Time : 0.0 sec. user=mdettweiler [2015-07-14 05:32:20] 859*2^1402987-1 is not prime. Res64: 6EECA15C042C8D5C Time : 0.0 sec. user=mdettweiler [2015-07-14 05:32:20] 919*2^1402987-1 is not prime. Res64: 56DC08F6E36A6BC4 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:43:13] 615*2^1402988-1 is not prime. Res64: 79794A66E5555DE6 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:43:14] 699*2^1402988-1 is not prime. Res64: A762D414789531B9 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:43:23] 999*2^1402987-1 is not prime. Res64: EECE16915C8DD6B0 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:43:23] 603*2^1402988-1 is not prime. Res64: 8F573715617FB4BD Time : 0.0 sec. user=mdettweiler [2015-07-14 05:49:53] 825*2^1402988-1 is not prime. Res64: B976F68F44261901 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:49:53] 839*2^1402988-1 is not prime. Res64: 5732B55BAEEC8C90 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:50:30] 897*2^1402988-1 is not prime. Res64: 940E74984D63BE35 Time : 0.0 sec. user=mdettweiler [2015-07-14 05:50:30] 993*2^1402988-1 is not prime. Res64: E5B56E0C9A772EEB Time : 0.0 sec. user=mdettweiler [2015-07-14 06:01:06] 627*2^1402989-1 is not prime. Res64: 8810FF814C2A639F Time : 0.0 sec. user=mdettweiler [2015-07-14 06:01:07] 727*2^1402989-1 is not prime. Res64: E8DA9412F7B021AA Time : 0.0 sec. user=mdettweiler [2015-07-14 06:01:14] 741*2^1402989-1 is not prime. Res64: B134A7A8EA9074E3 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:01:15] 835*2^1402989-1 is not prime. Res64: 761999B7177FD8F9 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:07:38] 837*2^1402989-1 is not prime. Res64: 08509D7DDECD76A1 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:07:39] 861*2^1402989-1 is not prime. Res64: 80260B82763B7E1E Time : 0.0 sec. user=mdettweiler [2015-07-14 06:08:18] 885*2^1402989-1 is not prime. Res64: 1B27CA187F477D0B Time : 0.0 sec. user=mdettweiler [2015-07-14 06:08:18] 891*2^1402989-1 is not prime. Res64: 78A995CADB8FAB4C Time : 0.0 sec. user=mdettweiler [2015-07-14 06:19:17] 895*2^1402989-1 is not prime. Res64: 484529E74B36787A Time : 0.0 sec. user=mdettweiler [2015-07-14 06:19:17] 955*2^1402989-1 is not prime. Res64: FD43CED4EB19CEA7 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:19:18] 991*2^1402989-1 is not prime. Res64: 988A04E5F1E8C044 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:19:18] 717*2^1402990-1 is not prime. Res64: E504431FD7B01486 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:25:57] 873*2^1402990-1 is not prime. Res64: 54C52273FCB961FB Time : 0.0 sec. user=mdettweiler [2015-07-14 06:25:58] 887*2^1402990-1 is not prime. Res64: C98394CCECA944C4 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:26:20] 995*2^1402990-1 is not prime. Res64: FA17D01C575DB22F Time : 0.0 sec. user=mdettweiler [2015-07-14 06:26:20] 619*2^1402991-1 is not prime. Res64: 690F5C87C4CF3927 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:37:11] 703*2^1402991-1 is not prime. Res64: 2C528A571379C2AF Time : 0.0 sec. user=mdettweiler [2015-07-14 06:37:11] 783*2^1402991-1 is not prime. Res64: F5CF5E23B30C1E05 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:37:17] 813*2^1402991-1 is not prime. Res64: C257E1F9F91ABF07 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:37:17] 889*2^1402991-1 is not prime. Res64: 0EA8BAE928A7683D Time : 0.0 sec. user=juhehe [2015-07-14 06:39:20] 861*2^1402990-1 is not prime. Res64: 39FBE45E4123FCA5 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:43:50] 939*2^1402991-1 is not prime. Res64: 1A5EF83B891D80B9 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:43:50] 979*2^1402991-1 is not prime. Res64: 2D2AC3802E7732D3 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:44:15] 639*2^1402992-1 is not prime. Res64: 48A0CC75189DFDF2 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:44:15] 689*2^1402992-1 is not prime. Res64: 826B022DD26EAD6D Time : 0.0 sec. user=mdettweiler [2015-07-14 06:54:58] 797*2^1402992-1 is not prime. Res64: B57E5DDDCACF851E Time : 0.0 sec. user=mdettweiler [2015-07-14 06:54:58] 879*2^1402992-1 is not prime. Res64: AC937AADFD35199C Time : 0.0 sec. user=mdettweiler [2015-07-14 06:55:04] 893*2^1402992-1 is not prime. Res64: 6131232AB6B8A5D0 Time : 0.0 sec. user=mdettweiler [2015-07-14 06:55:04] 977*2^1402992-1 is not prime. Res64: 158684B5ACDEB7D4 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:01:42] 775*2^1402993-1 is not prime. Res64: 8195A39DDD69D17B Time : 0.0 sec. user=mdettweiler [2015-07-14 07:01:43] 895*2^1402993-1 is not prime. Res64: B2C548A44C4AC8A5 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:01:56] 915*2^1402993-1 is not prime. Res64: 072459FDDD0F84B3 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:01:57] 999*2^1402993-1 is not prime. Res64: A355324563A75243 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:12:44] 641*2^1402994-1 is not prime. Res64: 6930703C7D5ADC4E Time : 0.0 sec. user=mdettweiler [2015-07-14 07:12:45] 743*2^1402994-1 is not prime. Res64: BB60133FBC4B6A24 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:12:56] 887*2^1402994-1 is not prime. Res64: D861BBF1CE0B55F9 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:12:56] 927*2^1402994-1 is not prime. Res64: A451ED538D6E601A Time : 0.0 sec. user=mdettweiler [2015-07-14 07:19:28] 625*2^1402995-1 is not prime. Res64: 342AC7FA4B538456 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:19:29] 949*2^1402995-1 is not prime. Res64: F9903D478FFA2AD4 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:19:48] 623*2^1402996-1 is not prime. Res64: 4BAE427F37EB8BDF Time : 0.0 sec. user=mdettweiler [2015-07-14 07:19:49] 647*2^1402996-1 is not prime. Res64: 71FA6E50D510F4F6 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:30:31] 653*2^1402996-1 is not prime. Res64: D505B6B42BDC4BCF Time : 0.0 sec. user=mdettweiler [2015-07-14 07:30:31] 765*2^1402996-1 is not prime. Res64: 6A77BCCFD3DC4539 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:30:40] 869*2^1402996-1 is not prime. Res64: 0AABEBD257CC72C7 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:30:40] 873*2^1402996-1 is not prime. Res64: 367E3EAB14BF742D Time : 0.0 sec. user=mdettweiler [2015-07-14 07:37:12] 923*2^1402996-1 is not prime. Res64: 260221EF6D9A08F1 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:37:12] 933*2^1402996-1 is not prime. Res64: B4B3951721497BE9 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:37:43] 771*2^1402997-1 is not prime. Res64: F9A221B309634DAD Time : 0.0 sec. user=mdettweiler [2015-07-14 07:37:44] 861*2^1402997-1 is not prime. Res64: 8B6CA0EE32BA654D Time : 0.0 sec. user=mdettweiler [2015-07-14 07:48:27] 867*2^1402997-1 is not prime. Res64: 3E00C88CB5BDDFB0 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:48:28] 931*2^1402997-1 is not prime. Res64: A65925456E44EC6D Time : 0.0 sec. user=mdettweiler [2015-07-14 07:48:30] 627*2^1402998-1 is not prime. Res64: 64823171E3A3A068 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:48:30] 671*2^1402998-1 is not prime. Res64: 460DC9623E5436E1 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:54:59] 725*2^1402998-1 is not prime. Res64: C1AF4EF2DC112407 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:55:00] 795*2^1402998-1 is not prime. Res64: B6C1DE8191B45FA9 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:55:40] 887*2^1402998-1 is not prime. Res64: 14176EFED9845B30 Time : 0.0 sec. user=mdettweiler [2015-07-14 07:55:40] 893*2^1402998-1 is not prime. Res64: 910AD683440281A5 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:06:16] 625*2^1402999-1 is not prime. Res64: 65DA8D7E395BABFF Time : 0.0 sec. user=mdettweiler [2015-07-14 08:06:17] 789*2^1402999-1 is not prime. Res64: 07FD09E7252C4D2E Time : 0.0 sec. user=mdettweiler [2015-07-14 08:06:17] 933*2^1402998-1 is not prime. Res64: F75104AAB3060196 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:06:18] 977*2^1402998-1 is not prime. Res64: 5758367D0A482757 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:12:45] 873*2^1402999-1 is not prime. Res64: 7A748786DCE33C21 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:12:46] 985*2^1402999-1 is not prime. Res64: ACBCDA0499E919F4 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:13:27] 797*2^1403000-1 is not prime. Res64: 3D14C624EA2A7F92 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:13:27] 857*2^1403000-1 is not prime. Res64: 12697962C588CD52 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:24:00] 935*2^1403000-1 is not prime. Res64: 12BBB1B5C19433BE Time : 0.0 sec. user=mdettweiler [2015-07-14 08:24:00] 945*2^1403000-1 is not prime. Res64: 796DCD05063E577E Time : 0.0 sec. user=mdettweiler [2015-07-14 08:24:02] 893*2^1403000-1 is not prime. Res64: 9E92BA9632C7F2FA Time : 0.0 sec. user=mdettweiler [2015-07-14 08:24:03] 899*2^1403000-1 is not prime. Res64: 1976B33852438522 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:30:29] 675*2^1403001-1 is not prime. Res64: 99A6CFACD758640D Time : 0.0 sec. user=mdettweiler [2015-07-14 08:30:29] 681*2^1403001-1 is not prime. Res64: 24585D175CADF171 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:31:09] 739*2^1403001-1 is not prime. Res64: F1E8F8AF760F1821 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:31:10] 921*2^1403001-1 is not prime. Res64: E75D7AB72AFDC958 Time : 0.0 sec. user=juhehe [2015-07-14 08:33:05] 633*2^1403000-1 is not prime. Res64: 963C31DB30933A81 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:41:54] 645*2^1403002-1 is not prime. Res64: 3D66F0C9B75376AD Time : 0.0 sec. user=mdettweiler [2015-07-14 08:41:55] 681*2^1403002-1 is not prime. Res64: 3FE035DAE02E20A0 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:41:56] 737*2^1403002-1 is not prime. Res64: DEC7BA86944F7140 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:41:56] 827*2^1403002-1 is not prime. Res64: 21614527459A73C9 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:48:09] 947*2^1403002-1 is not prime. Res64: FE397D8522BED5C9 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:48:09] 957*2^1403002-1 is not prime. Res64: C969C38D124C82BF Time : 0.0 sec. user=mdettweiler [2015-07-14 08:48:56] 975*2^1403002-1 is not prime. Res64: 7445D2B365B619F0 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:48:56] 621*2^1403003-1 is not prime. Res64: 0A303A98AD8FF904 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:59:41] 693*2^1403003-1 is not prime. Res64: E78E9A26C7D89C1E Time : 0.0 sec. user=mdettweiler [2015-07-14 08:59:42] 703*2^1403003-1 is not prime. Res64: DC0DF5F3F2ED2A26 Time : 0.0 sec. user=mdettweiler [2015-07-14 08:59:46] 895*2^1403003-1 is not prime. Res64: 76B825D72238D13A Time : 0.0 sec. user=mdettweiler [2015-07-14 08:59:46] 939*2^1403003-1 is not prime. Res64: A6554793C7810081 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:05:59] 605*2^1403004-1 is not prime. Res64: F2AFD344F6BACBC7 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:06:00] 665*2^1403004-1 is not prime. Res64: 9F0704BBF0C6816E Time : 0.0 sec. user=mdettweiler [2015-07-14 09:06:40] 683*2^1403004-1 is not prime. Res64: CC8F20F3BF602851 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:06:41] 783*2^1403004-1 is not prime. Res64: F463BFDFEBD1A0F5 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:17:22] 803*2^1403004-1 is not prime. Res64: 0DFB7212A9F2A815 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:17:22] 927*2^1403004-1 is not prime. Res64: 73BFBFEBA0A3781E Time : 0.0 sec. user=mdettweiler [2015-07-14 09:17:34] 959*2^1403004-1 is not prime. Res64: 953FFB1A0B8CB7ED Time : 0.0 sec. user=mdettweiler [2015-07-14 09:17:35] 969*2^1403004-1 is not prime. Res64: B328C929E582E57B Time : 0.0 sec. user=mdettweiler [2015-07-14 09:23:43] 607*2^1403005-1 is not prime. Res64: FA902173535D70F9 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:23:43] 661*2^1403005-1 is not prime. Res64: FA9534E6C77D8117 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:24:27] 679*2^1403005-1 is not prime. Res64: 61101114762944FA Time : 0.0 sec. user=mdettweiler [2015-07-14 09:24:28] 687*2^1403005-1 is not prime. Res64: 9C3471B3FB16D59C Time : 0.0 sec. user=mdettweiler [2015-07-14 09:35:09] 825*2^1403005-1 is not prime. Res64: 2F1A7F4D7B30C89D Time : 0.0 sec. user=mdettweiler [2015-07-14 09:35:10] 897*2^1403005-1 is not prime. Res64: 72F023635EE4D133 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:35:19] 915*2^1403005-1 is not prime. Res64: 8BEA9FF9A746DC74 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:35:19] 603*2^1403006-1 is not prime. Res64: 562C57C49B9011AB Time : 0.0 sec. user=mdettweiler [2015-07-14 09:41:28] 615*2^1403006-1 is not prime. Res64: FCA84C929D1535B8 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:41:28] 663*2^1403006-1 is not prime. Res64: EBE70E93E37E351A Time : 0.0 sec. user=mdettweiler [2015-07-14 09:42:11] 705*2^1403006-1 is not prime. Res64: 9C5022AFE5261503 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:42:12] 815*2^1403006-1 is not prime. Res64: E6B16CB09DE4E109 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:52:54] 843*2^1403006-1 is not prime. Res64: D8F2BD81C5CEB4DD Time : 0.0 sec. user=mdettweiler [2015-07-14 09:52:54] 887*2^1403006-1 is not prime. Res64: 7BF3B07AB50CDDEF Time : 0.0 sec. user=mdettweiler [2015-07-14 09:53:16] 897*2^1403006-1 is not prime. Res64: A769DCF1796604EF Time : 0.0 sec. user=mdettweiler [2015-07-14 09:53:17] 923*2^1403006-1 is not prime. Res64: 4EBE146FEE02063C Time : 0.0 sec. user=mdettweiler [2015-07-14 09:59:16] 945*2^1403006-1 is not prime. Res64: C6465BFAB30B58D4 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:59:17] 993*2^1403006-1 is not prime. Res64: F9D6F81FAD25C41F Time : 0.0 sec. user=mdettweiler [2015-07-14 09:59:57] 609*2^1403007-1 is not prime. Res64: 2166CF139485C0D4 Time : 0.0 sec. user=mdettweiler [2015-07-14 09:59:58] 675*2^1403007-1 is not prime. Res64: AEF5D30E894DBFD4 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:10:38] 765*2^1403007-1 is not prime. Res64: 842628A81BD85C75 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:10:38] 961*2^1403007-1 is not prime. Res64: 283A800A4292E29B Time : 0.0 sec. user=mdettweiler [2015-07-14 10:11:05] 985*2^1403007-1 is not prime. Res64: 17056E7E3A7DD1E1 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:11:05] 603*2^1403008-1 is not prime. Res64: 3AFD00DCFD39DF38 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:16:56] 665*2^1403008-1 is not prime. Res64: AF4581B41E794A89 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:16:56] 723*2^1403008-1 is not prime. Res64: 04F94947DAC5CDAE Time : 0.0 sec. user=mdettweiler [2015-07-14 10:17:44] 743*2^1403008-1 is not prime. Res64: 7A8D243599149C5F Time : 0.0 sec. user=mdettweiler [2015-07-14 10:17:44] 827*2^1403008-1 is not prime. Res64: FA47324EAE1F9A6B Time : 0.0 sec. user=juhehe [2015-07-14 10:27:33] 685*2^1403007-1 is not prime. Res64: EB0F6D79D81200A3 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:28:23] 833*2^1403008-1 is not prime. Res64: C70D18971685377B Time : 0.0 sec. user=mdettweiler [2015-07-14 10:28:24] 863*2^1403008-1 is not prime. Res64: 8F9DCFA38B5276DE Time : 0.0 sec. user=mdettweiler [2015-07-14 10:28:49] 685*2^1403009-1 is not prime. Res64: CC6979D738760A2C Time : 0.0 sec. user=mdettweiler [2015-07-14 10:28:50] 801*2^1403009-1 is not prime. Res64: EFC0D9C9DC988BE9 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:34:41] 855*2^1403009-1 is not prime. Res64: 9BFF7D4B474E5A38 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:34:42] 861*2^1403009-1 is not prime. Res64: 1AFC8C2146D5FB6A Time : 0.0 sec. user=mdettweiler [2015-07-14 10:35:24] 931*2^1403009-1 is not prime. Res64: 0564E5F429B1953F Time : 0.0 sec. user=mdettweiler [2015-07-14 10:35:24] 641*2^1403010-1 is not prime. Res64: D2B2E382C97DE495 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:46:13] 741*2^1403010-1 is not prime. Res64: CB25372969183314 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:46:13] 801*2^1403010-1 is not prime. Res64: 6FB5DF2C0E6FF932 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:46:41] 833*2^1403010-1 is not prime. Res64: C900532675B5F2EB Time : 0.0 sec. user=mdettweiler [2015-07-14 10:46:42] 893*2^1403010-1 is not prime. Res64: 22369F9E93CE421E Time : 0.0 sec. user=mdettweiler [2015-07-14 10:52:22] 603*2^1403011-1 is not prime. Res64: 18810B4730EA2B60 Time : 0.0 sec. user=mdettweiler [2015-07-14 10:52:23] 693*2^1403011-1 is not prime. Res64: ECB6193C1BED132C Time : 0.0 sec. user=mdettweiler [2015-07-14 10:53:12] 723*2^1403011-1 is not prime. Res64: 0325FD00C4A9501F Time : 0.0 sec. user=mdettweiler [2015-07-14 10:53:12] 735*2^1403011-1 is not prime. Res64: 3304A514351208AD Time : 0.0 sec. user=mdettweiler [2015-07-14 11:03:52] 769*2^1403011-1 is not prime. Res64: F7D918FEA7E2197E Time : 0.0 sec. user=mdettweiler [2015-07-14 11:03:53] 793*2^1403011-1 is not prime. Res64: 0902EEFFCA6D43D2 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:04:22] 615*2^1403012-1 is not prime. Res64: EEC13E179C18FCB7 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:04:23] 623*2^1403012-1 is not prime. Res64: E639C6F1EC3EA4CB Time : 0.0 sec. user=mdettweiler [2015-07-14 11:10:13] 677*2^1403012-1 is not prime. Res64: 22EC3B980C7C3C98 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:10:13] 903*2^1403012-1 is not prime. Res64: B676AAC627101EBC Time : 0.0 sec. user=mdettweiler [2015-07-14 11:10:52] 915*2^1403012-1 is not prime. Res64: 276906E3F18B838A Time : 0.0 sec. user=mdettweiler [2015-07-14 11:10:53] 923*2^1403012-1 is not prime. Res64: FDFA4E67E6640FCD Time : 0.0 sec. user=mdettweiler [2015-07-14 11:22:04] 609*2^1403013-1 is not prime. Res64: 3530DF55362BC38B Time : 0.0 sec. user=mdettweiler [2015-07-14 11:22:05] 741*2^1403013-1 is not prime. Res64: AEA7F1ED79699FE4 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:22:07] 759*2^1403013-1 is not prime. Res64: DE7C34C15086BE25 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:22:07] 819*2^1403013-1 is not prime. Res64: BD015FF49A7A9B5F Time : 0.0 sec. user=mdettweiler [2015-07-14 11:28:01] 657*2^1403014-1 is not prime. Res64: A9C4B8ED2BE8028A Time : 0.0 sec. user=mdettweiler [2015-07-14 11:28:02] 677*2^1403014-1 is not prime. Res64: 9C6275694F78E020 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:28:37] 791*2^1403014-1 is not prime. Res64: 56D6E4BE7526655B Time : 0.0 sec. user=mdettweiler [2015-07-14 11:28:38] 857*2^1403014-1 is not prime. Res64: B07488F359EE3324 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:39:47] 957*2^1403014-1 is not prime. Res64: 20E7589AC4615CEB Time : 0.0 sec. user=mdettweiler [2015-07-14 11:39:47] 705*2^1403015-1 is not prime. Res64: 84DC275CC84BED35 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:39:51] 949*2^1403015-1 is not prime. Res64: F1E1F583D73F2F9A Time : 0.0 sec. user=mdettweiler [2015-07-14 11:39:52] 649*2^1403017-1 is not prime. Res64: CDF82E1753CA395F Time : 0.0 sec. user=mdettweiler [2015-07-14 11:45:46] 805*2^1403017-1 is not prime. Res64: 1310255101024903 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:45:47] 641*2^1403018-1 is not prime. Res64: 9995C46A0A0A8E03 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:46:24] 671*2^1403018-1 is not prime. Res64: 69280B4749A5D17A Time : 0.0 sec. user=mdettweiler [2015-07-14 11:46:24] 683*2^1403018-1 is not prime. Res64: D8B9898F46EAA97E Time : 0.0 sec. user=mdettweiler [2015-07-14 11:57:40] 747*2^1403018-1 is not prime. Res64: 429076934CF2260D Time : 0.0 sec. user=mdettweiler [2015-07-14 11:57:40] 669*2^1403019-1 is not prime. Res64: B0AFE85F76615EB9 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:57:46] 687*2^1403018-1 is not prime. Res64: F7AC2C7237296FC6 Time : 0.0 sec. user=mdettweiler [2015-07-14 11:57:47] 707*2^1403018-1 is not prime. Res64: B5775C6DC560FBFE Time : 0.0 sec. user=mdettweiler [2015-07-14 12:03:43] 703*2^1403019-1 is not prime. Res64: FEA2817A3EC12244 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:03:44] 751*2^1403019-1 is not prime. Res64: BD069E7D1223012D Time : 0.0 sec. user=mdettweiler [2015-07-14 12:04:14] 969*2^1403019-1 is not prime. Res64: 7F18A53ED5468F74 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:04:15] 615*2^1403020-1 is not prime. Res64: ABB09A11A6FA14EC Time : 0.0 sec. user=mdettweiler [2015-07-14 12:15:50] 717*2^1403020-1 is not prime. Res64: BA1F09686CD04DD3 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:15:50] 719*2^1403020-1 is not prime. Res64: D27365950070FAE0 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:15:54] 887*2^1403020-1 is not prime. Res64: 4796E6B16E37732B Time : 0.0 sec. user=mdettweiler [2015-07-14 12:15:54] 899*2^1403020-1 is not prime. Res64: 33FF284A3521F84D Time : 0.0 sec. user=juhehe [2015-07-14 12:21:40] 679*2^1403019-1 is not prime. Res64: 6E98E6E65774F260 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:22:27] 627*2^1403021-1 is not prime. Res64: BC881C0B9CCB754A Time : 0.0 sec. user=mdettweiler [2015-07-14 12:22:27] 801*2^1403021-1 is not prime. Res64: 9B847AC123D411CE Time : 0.0 sec. user=mdettweiler [2015-07-14 12:22:32] 867*2^1403021-1 is not prime. Res64: 30E974FCFDF17219 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:22:32] 889*2^1403021-1 is not prime. Res64: 9AB1BB861152FD0D Time : 0.0 sec. user=mdettweiler [2015-07-14 12:34:20] 967*2^1403021-1 is not prime. Res64: 6E9F3E5FA4098E65 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:34:20] 621*2^1403022-1 is not prime. Res64: 64B74C874CF0B1C3 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:34:35] 713*2^1403022-1 is not prime. Res64: DAD137272BCBC54B Time : 0.0 sec. user=mdettweiler [2015-07-14 12:34:35] 737*2^1403022-1 is not prime. Res64: 166D3A451B83DE8C Time : 0.0 sec. user=mdettweiler [2015-07-14 12:41:12] 977*2^1403022-1 is not prime. Res64: D67815154E900106 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:41:12] 615*2^1403023-1 is not prime. Res64: 71C48944905A1DDB Time : 0.0 sec. user=mdettweiler [2015-07-14 12:41:25] 741*2^1403023-1 is not prime. Res64: 44E44B3CF413D3AC Time : 0.0 sec. user=mdettweiler [2015-07-14 12:41:26] 813*2^1403023-1 is not prime. Res64: 2BB6F42F352797F8 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:52:47] 859*2^1403023-1 is not prime. Res64: 7C3EE0BAD35DABD5 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:52:47] 961*2^1403023-1 is not prime. Res64: B3E808CBAF7909CF Time : 0.0 sec. user=mdettweiler [2015-07-14 12:53:07] 617*2^1403024-1 is not prime. Res64: 2B2994A8DAB601CD Time : 0.0 sec. user=mdettweiler [2015-07-14 12:53:08] 825*2^1403024-1 is not prime. Res64: 01E1261C0B9A7B67 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:59:53] 873*2^1403024-1 is not prime. Res64: 62642B3A3F3681A9 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:59:53] 927*2^1403024-1 is not prime. Res64: 8FCB27486DE41895 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:59:55] 855*2^1403024-1 is not prime. Res64: A7DCD0BCDE4FA593 Time : 0.0 sec. user=mdettweiler [2015-07-14 12:59:55] 857*2^1403024-1 is not prime. Res64: 7D5DEF9CE9D08E4B Time : 0.0 sec. user=mdettweiler [2015-07-14 13:11:29] 727*2^1403025-1 is not prime. Res64: D95B5F036E0CE6AC Time : 0.0 sec. user=mdettweiler [2015-07-14 13:11:30] 739*2^1403025-1 is not prime. Res64: 77EC463CECB95854 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:12:01] 819*2^1403025-1 is not prime. Res64: 93F97ED16B55CF28 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:12:02] 623*2^1403026-1 is not prime. Res64: 8AC586CC0158482B Time : 0.0 sec. user=mdettweiler [2015-07-14 13:18:18] 881*2^1403026-1 is not prime. Res64: B8DEFDC58A4DF4F4 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:18:18] 911*2^1403026-1 is not prime. Res64: 0E88E5CF07574B91 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:18:26] 801*2^1403026-1 is not prime. Res64: D8DAC81942C320C0 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:18:27] 873*2^1403026-1 is not prime. Res64: A7AF126147066CF4 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:30:16] 615*2^1403027-1 is not prime. Res64: A91EAE25C84A0CF7 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:30:17] 813*2^1403027-1 is not prime. Res64: DC0AE112C8592326 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:30:37] 859*2^1403027-1 is not prime. Res64: 4C085EF5DD3A6E0D Time : 0.0 sec. user=mdettweiler [2015-07-14 13:30:38] 633*2^1403028-1 is not prime. Res64: FAE8662149401325 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:37:05] 689*2^1403028-1 is not prime. Res64: 060C7DC794005200 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:37:06] 789*2^1403028-1 is not prime. Res64: C901CDB38E338BF2 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:37:22] 899*2^1403028-1 is not prime. Res64: 8DF9D817DC7D0490 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:37:22] 957*2^1403028-1 is not prime. Res64: 1624A9033060AE06 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:48:59] 975*2^1403028-1 is not prime. Res64: AFFD86A87C383314 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:48:59] 691*2^1403029-1 is not prime. Res64: 50D4348B4D6CF851 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:49:27] 897*2^1403029-1 is not prime. Res64: 3397DADD2B68950D Time : 0.0 sec. user=mdettweiler [2015-07-14 13:49:27] 925*2^1403029-1 is not prime. Res64: F3CCD42EBFA537AF Time : 0.0 sec. user=mdettweiler [2015-07-14 13:56:15] 797*2^1403030-1 is not prime. Res64: 1FEDCB33F1C400FE Time : 0.0 sec. user=mdettweiler [2015-07-14 13:56:16] 885*2^1403030-1 is not prime. Res64: A6A838E5E4ECEEC9 Time : 0.0 sec. user=mdettweiler [2015-07-14 13:56:17] 665*2^1403030-1 is not prime. Res64: 5EA18438D669A66F Time : 0.0 sec. user=mdettweiler [2015-07-14 13:56:17] 717*2^1403030-1 is not prime. Res64: E191104C352B365A Time : 0.0 sec. user=mdettweiler [2015-07-14 14:08:17] 965*2^1403030-1 is not prime. Res64: 9A6BF79A2643A051 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:08:18] 613*2^1403031-1 is not prime. Res64: 3EC8F9191F03AF86 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:09:24] 703*2^1403031-1 is not prime. Res64: 528A92AB7F2A97FF Time : 0.0 sec. user=mdettweiler [2015-07-14 14:09:25] 781*2^1403031-1 is not prime. Res64: 4887963CA76C163E Time : 0.0 sec. user=mdettweiler [2015-07-14 14:15:37] 901*2^1403031-1 is not prime. Res64: D47BF627CE931C07 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:15:37] 933*2^1403031-1 is not prime. Res64: A7224428C29504A8 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:16:15] 793*2^1403031-1 is not prime. Res64: 2C99BFFD2958AB9E Time : 0.0 sec. user=mdettweiler [2015-07-14 14:16:15] 823*2^1403031-1 is not prime. Res64: F5FBF019E3748807 Time : 0.0 sec. user=juhehe [2015-07-14 14:16:22] 897*2^1403030-1 is not prime. Res64: FDC46BFD4412670E Time : 0.0 sec. user=mdettweiler [2015-07-14 14:26:55] 975*2^1403031-1 is not prime. Res64: CA9664A1D224A966 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:26:55] 717*2^1403032-1 is not prime. Res64: 27E1082E1CE6C0D3 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:28:06] 917*2^1403032-1 is not prime. Res64: CC28D8A1C25D19C7 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:28:07] 957*2^1403032-1 is not prime. Res64: 12621DB420FF40C3 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:34:05] 995*2^1403032-1 is not prime. Res64: AD0A973A64BA2C2D Time : 0.0 sec. user=mdettweiler [2015-07-14 14:34:05] 885*2^1403033-1 is not prime. Res64: 2CDDB65EB721FE47 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:34:25] 945*2^1403033-1 is not prime. Res64: BAA17651C6810DDD Time : 0.0 sec. user=mdettweiler [2015-07-14 14:34:25] 671*2^1403034-1 is not prime. Res64: 2F92F47DC90F4005 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:46:07] 681*2^1403034-1 is not prime. Res64: 44D984E006BD8DE6 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:46:07] 707*2^1403034-1 is not prime. Res64: 83B48ED44E95339C Time : 0.0 sec. user=mdettweiler [2015-07-14 14:47:07] 873*2^1403034-1 is not prime. Res64: 3FE60EC83E77E693 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:47:08] 917*2^1403034-1 is not prime. Res64: 3486CC8333FAEB43 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:53:29] 993*2^1403034-1 is not prime. Res64: DA414202E5BC7F80 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:53:30] 679*2^1403035-1 is not prime. Res64: 7B145EB81ED693F8 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:54:19] 693*2^1403035-1 is not prime. Res64: BADF8665F6AE2271 Time : 0.0 sec. user=mdettweiler [2015-07-14 14:54:20] 709*2^1403035-1 is not prime. Res64: E6E3F29D387E7AA4 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:05:33] 841*2^1403035-1 is not prime. Res64: C1606AF94954C13E Time : 0.0 sec. user=mdettweiler [2015-07-14 15:05:35] 853*2^1403035-1 is not prime. Res64: 67B516F393B3DB2F Time : 0.0 sec. user=mdettweiler [2015-07-14 15:06:15] 859*2^1403035-1 is not prime. Res64: B4387C435B708037 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:06:16] 603*2^1403036-1 is not prime. Res64: 6CEB5C071168127F Time : 0.0 sec. user=mdettweiler [2015-07-14 15:11:52] 647*2^1403036-1 is not prime. Res64: 50B56E8A68FC8A41 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:11:52] 845*2^1403036-1 is not prime. Res64: F8726758D70DA230 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:12:41] 899*2^1403036-1 is not prime. Res64: 222448DF603B29A5 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:12:42] 983*2^1403036-1 is not prime. Res64: 93710DCFDB99F942 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:24:27] 711*2^1403037-1 is not prime. Res64: 85DFC5404469963D Time : 0.0 sec. user=mdettweiler [2015-07-14 15:24:27] 795*2^1403037-1 is not prime. Res64: 757E5BB48C62D8E9 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:24:38] 945*2^1403037-1 is not prime. Res64: F7B0A06196792713 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:24:38] 777*2^1403038-1 is not prime. Res64: 6CB0FAE3BB3DD167 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:30:24] 825*2^1403038-1 is not prime. Res64: 3447A69E6A2B447D Time : 0.0 sec. user=mdettweiler [2015-07-14 15:30:25] 831*2^1403038-1 is not prime. Res64: C74EB1561A7EB7C1 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:31:17] 885*2^1403038-1 is not prime. Res64: 37728E7924966621 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:31:17] 897*2^1403038-1 is not prime. Res64: 332B71C88733B8FA Time : 0.0 sec. user=juhehe [2015-07-14 15:33:04] 685*2^1403037-1 is not prime. Res64: 2A60A6EBFEA1EDFE Time : 0.0 sec. user=mdettweiler [2015-07-14 15:42:48] 661*2^1403039-1 is not prime. Res64: FE229BEF0227DFC6 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:42:48] 693*2^1403039-1 is not prime. Res64: C88CFF7A84E096BB Time : 0.0 sec. user=mdettweiler [2015-07-14 15:42:53] 745*2^1403039-1 is not prime. Res64: C328BD159786DCED Time : 0.0 sec. user=mdettweiler [2015-07-14 15:42:53] 775*2^1403039-1 is not prime. Res64: 45EF6322F6EF242B Time : 0.0 sec. user=juhehe [2015-07-14 15:48:04] 815*2^1403038-1 is not prime. Res64: D0F2D7C253B70329 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:48:29] 843*2^1403039-1 is not prime. Res64: 7417A588EEAC19E6 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:48:30] 861*2^1403039-1 is not prime. Res64: 64ECDAC4B86E2892 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:49:37] 943*2^1403039-1 is not prime. Res64: 7CFA34CD53E2BC35 Time : 0.0 sec. user=mdettweiler [2015-07-14 15:49:37] 955*2^1403039-1 is not prime. Res64: 0EAA9BE380A21100 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:00:51] 623*2^1403040-1 is not prime. Res64: 54EF4FAB97ED24EC Time : 0.0 sec. user=mdettweiler [2015-07-14 16:00:52] 669*2^1403040-1 is not prime. Res64: 65024DF931B7799C Time : 0.0 sec. user=mdettweiler [2015-07-14 16:00:53] 979*2^1403039-1 is not prime. Res64: ADAC5E5DF1EAE912 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:00:54] 993*2^1403039-1 is not prime. Res64: EBCE680A6922D7AC Time : 0.0 sec. user=mdettweiler [2015-07-14 16:06:40] 607*2^1403041-1 is not prime. Res64: 58321DB73A65BDB2 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:06:40] 807*2^1403041-1 is not prime. Res64: FCE8B33B4EB0C38D Time : 0.0 sec. user=mdettweiler [2015-07-14 16:07:47] 861*2^1403041-1 is not prime. Res64: AF874BCCCFBDD8B0 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:07:47] 867*2^1403041-1 is not prime. Res64: 94528E6AFD21F127 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:19:28] 617*2^1403042-1 is not prime. Res64: 6A07EA5F57CCA2D2 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:19:28] 623*2^1403042-1 is not prime. Res64: 11DCCAE347F2E456 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:19:31] 871*2^1403041-1 is not prime. Res64: 69C6EE09753DB3AB Time : 0.0 sec. user=mdettweiler [2015-07-14 16:19:31] 931*2^1403041-1 is not prime. Res64: C704DD5663D4FA61 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:24:31] 645*2^1403042-1 is not prime. Res64: 1477EF1B19DC4CF4 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:24:32] 665*2^1403042-1 is not prime. Res64: 2E9960B110BFC86A Time : 0.0 sec. user=mdettweiler [2015-07-14 16:25:40] 671*2^1403042-1 is not prime. Res64: 9EEADC8885FD565E Time : 0.0 sec. user=mdettweiler [2015-07-14 16:25:40] 771*2^1403042-1 is not prime. Res64: 843ABE99C7AF1527 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:37:25] 649*2^1403043-1 is not prime. Res64: E49E0642BB6F318A Time : 0.0 sec. user=mdettweiler [2015-07-14 16:37:26] 675*2^1403043-1 is not prime. Res64: 8403847039784E2F Time : 0.0 sec. user=mdettweiler [2015-07-14 16:37:29] 953*2^1403042-1 is not prime. Res64: C3EAB572F486A5A8 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:37:30] 609*2^1403043-1 is not prime. Res64: 7C49E4B435147946 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:42:14] 677*2^1403044-1 is not prime. Res64: 9BB5159BD867062B Time : 0.0 sec. user=mdettweiler [2015-07-14 16:42:14] 719*2^1403044-1 is not prime. Res64: B20662EE418B4745 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:43:21] 813*2^1403044-1 is not prime. Res64: 7F34BE8D7D02B896 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:43:21] 885*2^1403044-1 is not prime. Res64: B5F4F4BCFB21945E Time : 0.0 sec. user=mdettweiler [2015-07-14 16:55:21] 903*2^1403044-1 is not prime. Res64: 6092FB97E2A61541 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:55:21] 905*2^1403044-1 is not prime. Res64: 6BCD5E5A7754A43E Time : 0.0 sec. user=mdettweiler [2015-07-14 16:55:24] 927*2^1403044-1 is not prime. Res64: 7879AC1D108B0828 Time : 0.0 sec. user=mdettweiler [2015-07-14 16:55:25] 619*2^1403045-1 is not prime. Res64: 2300F15E88B5B4BF Time : 0.0 sec. user=mdettweiler [2015-07-14 17:00:07] 649*2^1403045-1 is not prime. Res64: 382B38F4CC5B26F9 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:00:07] 771*2^1403045-1 is not prime. Res64: 437473E46F850CC9 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:01:30] 787*2^1403045-1 is not prime. Res64: C7F95A87A40CE623 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:01:31] 949*2^1403045-1 is not prime. Res64: E3F84533DFE50929 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:13:12] 693*2^1403047-1 is not prime. Res64: 6A9D1CBB17FD60D1 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:13:12] 759*2^1403047-1 is not prime. Res64: 9C08946E6165A2E7 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:13:13] 807*2^1403046-1 is not prime. Res64: 1F6DB233DE80770A Time : 0.0 sec. user=mdettweiler [2015-07-14 17:13:13] 633*2^1403047-1 is not prime. Res64: 27F3AEC91CF3F382 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:17:56] 895*2^1403047-1 is not prime. Res64: 1E95AF7AD012FC22 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:17:56] 925*2^1403047-1 is not prime. Res64: 8E58363E4D41C95F Time : 0.0 sec. user=mdettweiler [2015-07-14 17:19:24] 975*2^1403047-1 is not prime. Res64: 70C4B0D71A0B4E6F Time : 0.0 sec. user=mdettweiler [2015-07-14 17:19:24] 603*2^1403048-1 is not prime. Res64: A60E75D13203FF24 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:30:59] 617*2^1403048-1 is not prime. Res64: AA0FB0AA286CB2DA Time : 0.0 sec. user=mdettweiler [2015-07-14 17:31:00] 629*2^1403048-1 is not prime. Res64: 05DF342001AC53F0 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:31:04] 669*2^1403048-1 is not prime. Res64: 7BD10CF9A41FD963 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:31:05] 735*2^1403048-1 is not prime. Res64: 9FDE3328237533E2 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:35:49] 837*2^1403048-1 is not prime. Res64: E8FBD34223F97328 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:35:51] 959*2^1403048-1 is not prime. Res64: 8E7946BB56A4498B Time : 0.0 sec. user=mdettweiler [2015-07-14 17:37:17] 969*2^1403048-1 is not prime. Res64: DAE8407DF7B9B1C1 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:37:19] 759*2^1403049-1 is not prime. Res64: 0864DA8039F71D10 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:48:51] 811*2^1403049-1 is not prime. Res64: DB485ACCFD6D836B Time : 0.0 sec. user=mdettweiler [2015-07-14 17:48:52] 817*2^1403049-1 is not prime. Res64: EB34A4164DCEF42E Time : 0.0 sec. user=mdettweiler [2015-07-14 17:48:56] 835*2^1403049-1 is not prime. Res64: 761DB6287912B1C1 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:48:57] 889*2^1403049-1 is not prime. Res64: 14798D91C5BB9082 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:53:48] 611*2^1403050-1 is not prime. Res64: 661A67FA7B2A2285 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:53:49] 647*2^1403050-1 is not prime. Res64: 94D13EE979B32457 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:55:15] 723*2^1403050-1 is not prime. Res64: 6DA77D3EE9F44661 Time : 0.0 sec. user=mdettweiler [2015-07-14 17:55:15] 743*2^1403050-1 is not prime. Res64: 88B0AC95DAFB7E4D Time : 0.0 sec. user=mdettweiler [2015-07-14 18:06:43] 813*2^1403050-1 is not prime. Res64: 85A3A942EE527B78 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:06:43] 923*2^1403050-1 is not prime. Res64: EE1A3B959DEBDBA4 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:06:51] 951*2^1403050-1 is not prime. Res64: 690ABEB92AA4A3DF Time : 0.0 sec. user=mdettweiler [2015-07-14 18:06:51] 957*2^1403050-1 is not prime. Res64: EDDBB2F42A8B7F53 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:11:32] 643*2^1403051-1 is not prime. Res64: B57DF4184E23A6F8 Time : 0.0 sec. user=juhehe [2015-07-14 18:11:33] 949*2^1403049-1 is not prime. Res64: 4DD8FDB3CC6E488A Time : 0.0 sec. user=mdettweiler [2015-07-14 18:11:33] 645*2^1403051-1 is not prime. Res64: 9125E0AC58852A70 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:12:56] 855*2^1403051-1 is not prime. Res64: 14959968C2E55571 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:12:56] 895*2^1403051-1 is not prime. Res64: 5E6D0C2AECD0458F Time : 0.0 sec. user=mdettweiler [2015-07-14 18:24:23] 939*2^1403051-1 is not prime. Res64: 7CEE7D4DE2EFBEAB Time : 0.0 sec. user=mdettweiler [2015-07-14 18:24:23] 949*2^1403051-1 is not prime. Res64: 111EBC9C763C0AFB Time : 0.0 sec. user=mdettweiler [2015-07-14 18:24:24] 999*2^1403051-1 is not prime. Res64: A8C5AA9E5326B505 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:24:25] 725*2^1403052-1 is not prime. Res64: E9CC685EEA9C0A95 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:29:06] 873*2^1403052-1 is not prime. Res64: F8C31F212C682C20 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:29:06] 959*2^1403052-1 is not prime. Res64: 0A940E1C290A8478 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:30:32] 745*2^1403053-1 is not prime. Res64: CD3B1CECDD8FCDAD Time : 0.0 sec. user=mdettweiler [2015-07-14 18:30:32] 861*2^1403053-1 is not prime. Res64: B2DE426F87C587F4 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:42:03] 939*2^1403053-1 is not prime. Res64: 137D02D1B479A9A0 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:42:04] 957*2^1403053-1 is not prime. Res64: 451E811649ABE56A Time : 0.0 sec. user=mdettweiler [2015-07-14 18:42:11] 979*2^1403053-1 is not prime. Res64: C69B5C702E5EE18A Time : 0.0 sec. user=mdettweiler [2015-07-14 18:42:12] 987*2^1403053-1 is not prime. Res64: 03BD3B18E2A128C0 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:46:56] 999*2^1403053-1 is not prime. Res64: 3E4F46F117CF3F5F Time : 0.0 sec. user=mdettweiler [2015-07-14 18:46:56] 651*2^1403054-1 is not prime. Res64: DDA84FD5862BEC61 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:48:12] 683*2^1403054-1 is not prime. Res64: 858512FDAB0816CC Time : 0.0 sec. user=mdettweiler [2015-07-14 18:48:12] 797*2^1403054-1 is not prime. Res64: 3583D9A7688F9926 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:59:46] 885*2^1403054-1 is not prime. Res64: 7CED7BE526ABCD92 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:59:47] 953*2^1403054-1 is not prime. Res64: DCE3F7494EC6B944 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:59:59] 625*2^1403055-1 is not prime. Res64: 97A1E6B73DC6C3B9 Time : 0.0 sec. user=mdettweiler [2015-07-14 18:59:59] 663*2^1403055-1 is not prime. Res64: D7B69903384096D4 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:04:39] 739*2^1403055-1 is not prime. Res64: FA0BA06FDBCC30FC Time : 0.0 sec. user=mdettweiler [2015-07-14 19:04:40] 775*2^1403055-1 is not prime. Res64: 61452BC354102261 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:05:50] 783*2^1403055-1 is not prime. Res64: F3F6F790744F5381 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:05:51] 891*2^1403055-1 is not prime. Res64: 3ED6A672579F7481 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:17:46] 639*2^1403056-1 is not prime. Res64: D9AE0193BB64DE65 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:17:46] 717*2^1403056-1 is not prime. Res64: 8789B0780923F0E0 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:17:58] 785*2^1403056-1 is not prime. Res64: 7FE82D8371736A5A Time : 0.0 sec. user=mdettweiler [2015-07-14 19:17:58] 843*2^1403056-1 is not prime. Res64: C25D809567E94586 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:23:34] 899*2^1403056-1 is not prime. Res64: 857D59137D2368BB Time : 0.0 sec. user=mdettweiler [2015-07-14 19:23:34] 917*2^1403056-1 is not prime. Res64: 55BDAAFB97CE3B24 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:24:28] 923*2^1403056-1 is not prime. Res64: 174888D5875CBA11 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:24:28] 601*2^1403057-1 is not prime. Res64: CFE3D28B46564878 Time : 0.0 sec. user=juhehe [2015-07-14 19:31:41] 955*2^1403055-1 is not prime. Res64: ABEC3E4E58BD4BC2 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:37:19] 607*2^1403057-1 is not prime. Res64: 6AFDA00768FA92C7 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:37:19] 691*2^1403057-1 is not prime. Res64: B26D2B15C4C00DDF Time : 0.0 sec. user=mdettweiler [2015-07-14 19:37:27] 697*2^1403057-1 is not prime. Res64: 17652DABB9828B1C Time : 0.0 sec. user=mdettweiler [2015-07-14 19:37:27] 747*2^1403057-1 is not prime. Res64: 62CA565364CE83B2 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:42:36] 769*2^1403057-1 is not prime. Res64: 2C6E14CF8FCD9661 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:42:37] 771*2^1403057-1 is not prime. Res64: 3904788FD824BB0C Time : 0.0 sec. user=mdettweiler [2015-07-14 19:43:23] 819*2^1403057-1 is not prime. Res64: C68A2866FF221871 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:43:24] 841*2^1403057-1 is not prime. Res64: 9EDDD890A1756936 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:55:59] 871*2^1403057-1 is not prime. Res64: FC6BAA60006D0725 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:55:59] 925*2^1403057-1 is not prime. Res64: AF6851A9397E62D5 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:56:04] 861*2^1403057-1 is not prime. Res64: 01AC0A3A6276D898 Time : 0.0 sec. user=mdettweiler [2015-07-14 19:56:04] 865*2^1403057-1 is not prime. Res64: 354E4E0CB2B72510 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:02:06] 773*2^1403058-1 is not prime. Res64: F6A43615D7614E86 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:02:06] 923*2^1403058-1 is not prime. Res64: A53221A06BDC313B Time : 0.0 sec. user=mdettweiler [2015-07-14 20:02:49] 945*2^1403058-1 is not prime. Res64: 44976BE7F81CCCA2 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:02:50] 639*2^1403059-1 is not prime. Res64: 7AA3368647B5E214 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:15:20] 709*2^1403059-1 is not prime. Res64: 1E1F38A8B831E5B1 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:15:20] 751*2^1403059-1 is not prime. Res64: 190E3C3C0B426593 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:15:30] 939*2^1403059-1 is not prime. Res64: 97201895A349851E Time : 0.0 sec. user=mdettweiler [2015-07-14 20:15:31] 951*2^1403059-1 is not prime. Res64: A0B8F369C361E5F8 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:21:03] 961*2^1403059-1 is not prime. Res64: 8DBDC10606C91102 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:21:03] 647*2^1403060-1 is not prime. Res64: 8128876014B0FDA2 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:21:25] 825*2^1403060-1 is not prime. Res64: F91013041E93A82A Time : 0.0 sec. user=mdettweiler [2015-07-14 20:21:25] 855*2^1403060-1 is not prime. Res64: C7AA68EB20B4E6F1 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:33:03] 977*2^1403060-1 is not prime. Res64: CADFB21CE03C12C3 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:33:03] 681*2^1403061-1 is not prime. Res64: 1BAEA3D6F1014A42 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:33:10] 685*2^1403061-1 is not prime. Res64: 1669E61B385B06BB Time : 0.0 sec. user=mdettweiler [2015-07-14 20:33:10] 781*2^1403061-1 is not prime. Res64: CA44019E4CCFB9CB Time : 0.0 sec. user=mdettweiler [2015-07-14 20:39:18] 647*2^1403062-1 is not prime. Res64: CC213724B72A03F5 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:39:18] 681*2^1403062-1 is not prime. Res64: 4199624680DDFC3C Time : 0.0 sec. user=mdettweiler [2015-07-14 20:39:53] 761*2^1403062-1 is not prime. Res64: 28E212852683105F Time : 0.0 sec. user=mdettweiler [2015-07-14 20:39:53] 881*2^1403062-1 is not prime. Res64: 11997E1B10E23595 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:52:24] 987*2^1403062-1 is not prime. Res64: B95893DC3EE81503 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:52:24] 615*2^1403063-1 is not prime. Res64: 4102BD93CC8212BE Time : 0.0 sec. user=mdettweiler [2015-07-14 20:52:25] 885*2^1403062-1 is not prime. Res64: 0EF0D28E516A1AEC Time : 0.0 sec. user=mdettweiler [2015-07-14 20:52:25] 887*2^1403062-1 is not prime. Res64: 5FC4DD359096EF90 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:58:27] 621*2^1403063-1 is not prime. Res64: EB3DBAB996AFE859 Time : 0.0 sec. user=mdettweiler [2015-07-14 20:58:27] 649*2^1403063-1 is not prime. Res64: 777DDC724544082A Time : 0.0 sec. user=mdettweiler [2015-07-14 20:58:55] 703*2^1403063-1 is not prime. Res64: 9E48DA5CA742151E Time : 0.0 sec. user=mdettweiler [2015-07-14 20:58:55] 715*2^1403063-1 is not prime. Res64: 5691DD28C747042C Time : 0.0 sec. user=mdettweiler [2015-07-14 21:11:30] 789*2^1403063-1 is not prime. Res64: FA2348388C8E0ADC Time : 0.0 sec. user=mdettweiler [2015-07-14 21:11:31] 913*2^1403063-1 is not prime. Res64: 1338F6302D2A1551 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:11:45] 981*2^1403063-1 is not prime. Res64: 0A99AACE38E3C788 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:11:45] 615*2^1403064-1 is not prime. Res64: AC49C07312946611 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:17:27] 665*2^1403064-1 is not prime. Res64: 972C99E67FD76F65 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:17:28] 747*2^1403064-1 is not prime. Res64: 1829A8F68C0E1BF7 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:17:58] 795*2^1403064-1 is not prime. Res64: F872316FB4815604 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:17:59] 863*2^1403064-1 is not prime. Res64: FCCCA8DD98C66208 Time : 0.0 sec. user=juhehe [2015-07-14 21:26:22] 745*2^1403063-1 is not prime. Res64: 7E7D0019FF50504D Time : 0.0 sec. user=mdettweiler [2015-07-14 21:29:37] 909*2^1403064-1 is not prime. Res64: 655187A9284C8435 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:29:38] 935*2^1403064-1 is not prime. Res64: FE17A4A06D2BFB68 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:29:42] 619*2^1403065-1 is not prime. Res64: E32CD8EF051E4531 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:29:42] 765*2^1403065-1 is not prime. Res64: 4210E14B98C943AB Time : 0.0 sec. user=mdettweiler [2015-07-14 21:35:05] 849*2^1403065-1 is not prime. Res64: A004C106C390F9B2 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:35:06] 861*2^1403065-1 is not prime. Res64: 74B85A9684A338AD Time : 0.0 sec. user=mdettweiler [2015-07-14 21:35:32] 885*2^1403065-1 is not prime. Res64: 6EE2632CDB7596C8 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:35:32] 957*2^1403065-1 is not prime. Res64: 0BEDD91599AD5921 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:47:23] 755*2^1403066-1 is not prime. Res64: D18D9428C1BAC721 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:47:24] 767*2^1403066-1 is not prime. Res64: D7C4786C3B1DDA28 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:47:25] 783*2^1403066-1 is not prime. Res64: 942F194A8C60EA2F Time : 0.0 sec. user=mdettweiler [2015-07-14 21:47:26] 813*2^1403066-1 is not prime. Res64: DE229DFE823E7CF5 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:52:55] 875*2^1403066-1 is not prime. Res64: FBE145FDD825B3D6 Time : 0.0 sec. user=mdettweiler [2015-07-14 21:52:56] 935*2^1403066-1 is not prime. Res64: 2CF9D6B2ACE72D8A Time : 0.0 sec. user=mdettweiler [2015-07-14 21:53:17] 1001*2^1403066-1 is not prime. Res64: 990638FD6B9797FF Time : 0.0 sec. user=mdettweiler [2015-07-14 21:53:18] 651*2^1403067-1 is not prime. Res64: 8C008B3087B0E614 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:05:07] 861*2^1403067-1 is not prime. Res64: F1150F54BF56FB06 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:05:09] 871*2^1403067-1 is not prime. Res64: 09BBD409AEB1B3E9 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:05:11] 735*2^1403067-1 is not prime. Res64: 38FBA4C844DF35FB Time : 0.0 sec. user=mdettweiler [2015-07-14 22:05:12] 825*2^1403067-1 is not prime. Res64: B36A16694D3463E5 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:10:35] 873*2^1403067-1 is not prime. Res64: 81789717C3CB8015 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:10:36] 955*2^1403067-1 is not prime. Res64: 581893027E71B84D Time : 0.0 sec. user=mdettweiler [2015-07-14 22:11:00] 635*2^1403068-1 is not prime. Res64: B6BE5E9F861A47ED Time : 0.0 sec. user=mdettweiler [2015-07-14 22:11:00] 657*2^1403069-1 is not prime. Res64: 91671856FB27F917 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:23:15] 831*2^1403069-1 is not prime. Res64: C0A67F6E2A947A7B Time : 0.0 sec. user=mdettweiler [2015-07-14 22:23:16] 867*2^1403069-1 is not prime. Res64: 5A206E660FC421F2 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:23:16] 711*2^1403069-1 is not prime. Res64: 65919D01AD9FB769 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:23:16] 811*2^1403069-1 is not prime. Res64: 48B0302023E5C179 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:28:17] 879*2^1403069-1 is not prime. Res64: 81BAF9A69E9C807B Time : 0.0 sec. user=mdettweiler [2015-07-14 22:28:17] 955*2^1403069-1 is not prime. Res64: 0E57C04E1B71E988 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:28:48] 967*2^1403069-1 is not prime. Res64: F70D6F5ADD2F1675 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:28:48] 713*2^1403070-1 is not prime. Res64: A14489AF2D621F3B Time : 0.0 sec. user=mdettweiler [2015-07-14 22:41:15] 833*2^1403070-1 is not prime. Res64: 25F1A2A1B506FEE9 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:41:15] 863*2^1403070-1 is not prime. Res64: 3EA126FC187F231D Time : 0.0 sec. user=mdettweiler [2015-07-14 22:41:18] 867*2^1403070-1 is not prime. Res64: A22ED990146A417F Time : 0.0 sec. user=mdettweiler [2015-07-14 22:41:18] 873*2^1403070-1 is not prime. Res64: D46D29F67EB93F7D Time : 0.0 sec. user=mdettweiler [2015-07-14 22:46:42] 927*2^1403070-1 is not prime. Res64: 0B3238B57709CC99 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:46:43] 963*2^1403070-1 is not prime. Res64: 55CCE7DF0DA095A2 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:46:56] 887*2^1403070-1 is not prime. Res64: 52E176E19D0FA1DF Time : 0.0 sec. user=mdettweiler [2015-07-14 22:46:56] 921*2^1403070-1 is not prime. Res64: 8FFF6EB42FCCA75B Time : 0.0 sec. user=mdettweiler [2015-07-14 22:58:57] 1001*2^1403070-1 is not prime. Res64: 04465089D86FB059 Time : 0.0 sec. user=mdettweiler [2015-07-14 22:58:57] 703*2^1403071-1 is not prime. Res64: 50F94968C637D4DD Time : 0.0 sec. user=mdettweiler [2015-07-14 22:59:04] 723*2^1403071-1 is not prime. Res64: 69BC492EBAAE023E Time : 0.0 sec. user=mdettweiler [2015-07-14 22:59:04] 771*2^1403071-1 is not prime. Res64: 8BD1409B59BC01CC Time : 0.0 sec. user=mdettweiler [2015-07-14 23:04:36] 861*2^1403071-1 is not prime. Res64: 9C60E6C42EF4D4B5 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:04:37] 603*2^1403072-1 is not prime. Res64: 5BE9B491ECED9DF3 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:04:44] 689*2^1403072-1 is not prime. Res64: FB9E3ABC9E57E6FF Time : 0.0 sec. user=mdettweiler [2015-07-14 23:04:45] 735*2^1403072-1 is not prime. Res64: A4D989E69D4D1855 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:16:41] 827*2^1403072-1 is not prime. Res64: EE53E64EA36F1862 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:16:41] 855*2^1403072-1 is not prime. Res64: 2680B6CE6C153485 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:16:48] 873*2^1403072-1 is not prime. Res64: 2B5A1B8CB001CAF6 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:16:48] 699*2^1403073-1 is not prime. Res64: 85B12C661534EFB7 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:22:17] 745*2^1403073-1 is not prime. Res64: C7821179982CDAE0 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:22:18] 765*2^1403073-1 is not prime. Res64: 7B72A791BD6E1003 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:22:23] 807*2^1403073-1 is not prime. Res64: 98CA7E6C907C2E01 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:22:24] 847*2^1403073-1 is not prime. Res64: 33549975234C1B07 Time : 0.0 sec. user=juhehe [2015-07-14 23:24:11] 855*2^1403071-1 is not prime. Res64: E9D21BB9D9BB1322 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:34:24] 867*2^1403073-1 is not prime. Res64: C2CCB96D52C10856 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:34:24] 605*2^1403074-1 is not prime. Res64: 71C7384F79FB6165 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:34:24] 645*2^1403074-1 is not prime. Res64: 49CB031971595BD5 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:34:25] 885*2^1403074-1 is not prime. Res64: 253CE0F84972942D Time : 0.0 sec. user=mdettweiler [2015-07-14 23:39:57] 947*2^1403074-1 is not prime. Res64: 6CB756A0E9D592CF Time : 0.0 sec. user=mdettweiler [2015-07-14 23:39:57] 975*2^1403074-1 is not prime. Res64: 000F4F6A389C964F Time : 0.0 sec. user=mdettweiler [2015-07-14 23:40:05] 993*2^1403074-1 is not prime. Res64: F6B9A3FC098D5E61 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:40:05] 643*2^1403075-1 is not prime. Res64: FBBB7F36DDCEA27B Time : 0.0 sec. user=mdettweiler [2015-07-14 23:51:58] 829*2^1403075-1 is not prime. Res64: 7EBD41FC460A1C90 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:51:58] 843*2^1403075-1 is not prime. Res64: 62E3FFE4C2A5E3CC Time : 0.0 sec. user=mdettweiler [2015-07-14 23:51:58] 715*2^1403075-1 is not prime. Res64: C61C29A8CD0C234F Time : 0.0 sec. user=mdettweiler [2015-07-14 23:51:59] 825*2^1403075-1 is not prime. Res64: D4EBAAACDE5FB6D9 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:57:33] 859*2^1403075-1 is not prime. Res64: 947DE12EBB0BF417 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:57:34] 885*2^1403075-1 is not prime. Res64: 7F10BE2A9F8C32D3 Time : 0.0 sec. user=mdettweiler [2015-07-14 23:57:41] 913*2^1403075-1 is not prime. Res64: E61658A2F20F478C Time : 0.0 sec. user=mdettweiler [2015-07-14 23:57:41] 647*2^1403076-1 is not prime. Res64: 2728D2ACC7CA817C Time : 0.0 sec.