user=mdettweiler [2015-07-31 00:17:37] 607*2^1404813-1 is not prime. Res64: CAD2D85A78DF435A Time : 0.0 sec. user=mdettweiler [2015-07-31 00:17:37] 657*2^1404813-1 is not prime. Res64: 5EB3FEB8443A6B11 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:17:56] 795*2^1404813-1 is not prime. Res64: 84A4315F07EB1670 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:17:57] 895*2^1404813-1 is not prime. Res64: BD9A33C56337A032 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:18:05] 727*2^1404813-1 is not prime. Res64: E11805DA5A9A9FEC Time : 0.0 sec. user=mdettweiler [2015-07-31 00:18:06] 765*2^1404813-1 is not prime. Res64: F91621E34F4C54D9 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:18:10] 949*2^1404813-1 is not prime. Res64: 4184080F4DDD7028 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:18:10] 987*2^1404813-1 is not prime. Res64: EFEEB537FAA06219 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:35:59] 999*2^1404813-1 is not prime. Res64: A7B58EF754E8230D Time : 0.0 sec. user=mdettweiler [2015-07-31 00:35:59] 705*2^1404814-1 is not prime. Res64: 74BE45BB8CC66753 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:36:16] 923*2^1404814-1 is not prime. Res64: 57A2BD1B1E7520AA Time : 0.0 sec. user=mdettweiler [2015-07-31 00:36:16] 945*2^1404814-1 is not prime. Res64: 498602A9E77B0131 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:36:32] 773*2^1404814-1 is not prime. Res64: E667F94A62B2028C Time : 0.0 sec. user=mdettweiler [2015-07-31 00:36:33] 791*2^1404814-1 is not prime. Res64: 916B20BE31F6C78A Time : 0.0 sec. user=mdettweiler [2015-07-31 00:36:38] 603*2^1404815-1 is not prime. Res64: 41EE1446CE83F01D Time : 0.0 sec. user=mdettweiler [2015-07-31 00:36:38] 715*2^1404815-1 is not prime. Res64: 5D5054CB554F911D Time : 0.0 sec. user=mdettweiler [2015-07-31 00:53:48] 921*2^1404815-1 is not prime. Res64: 1B542B5F41AA8FFF Time : 0.0 sec. user=mdettweiler [2015-07-31 00:53:49] 943*2^1404815-1 is not prime. Res64: C67DD893FC1C143D Time : 0.0 sec. user=mdettweiler [2015-07-31 00:54:05] 973*2^1404815-1 is not prime. Res64: 38AD8A4294AFCDAC Time : 0.0 sec. user=mdettweiler [2015-07-31 00:54:05] 725*2^1404816-1 is not prime. Res64: 5BAFDA0700FC1975 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:54:14] 735*2^1404816-1 is not prime. Res64: B9A5E0B5975EB790 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:54:15] 873*2^1404816-1 is not prime. Res64: 22EA53388A63A94B Time : 0.0 sec. user=mdettweiler [2015-07-31 00:54:26] 903*2^1404816-1 is not prime. Res64: 49189EE990C11985 Time : 0.0 sec. user=mdettweiler [2015-07-31 00:54:27] 601*2^1404817-1 is not prime. Res64: 97B560E73CA8BC7B Time : 0.0 sec. user=mdettweiler [2015-07-31 01:11:48] 747*2^1404817-1 is not prime. Res64: B42D1FA4C4C675E3 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:11:49] 861*2^1404817-1 is not prime. Res64: 3F1A3D6030748EC9 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:12:03] 871*2^1404817-1 is not prime. Res64: 29BF40C87E8CC013 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:12:03] 919*2^1404817-1 is not prime. Res64: 32B778E324E2ED46 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:12:24] 955*2^1404817-1 is not prime. Res64: EE3BD407B9E64425 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:12:24] 985*2^1404817-1 is not prime. Res64: 4CCBD2225553B8C6 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:12:30] 603*2^1404818-1 is not prime. Res64: 041798F22B427D29 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:12:30] 605*2^1404818-1 is not prime. Res64: ABB991DF72BCC901 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:30:32] 743*2^1404818-1 is not prime. Res64: FA94E04B8A064FCB Time : 0.0 sec. user=mdettweiler [2015-07-31 01:30:33] 1001*2^1404818-1 is not prime. Res64: 242D9F23FAE92BBD Time : 0.0 sec. user=mdettweiler [2015-07-31 01:30:42] 711*2^1404819-1 is not prime. Res64: DE07736356765B59 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:30:42] 769*2^1404819-1 is not prime. Res64: CACD001D3798B1B5 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:31:07] 639*2^1404819-1 is not prime. Res64: 00AC516D56CF0445 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:31:07] 669*2^1404819-1 is not prime. Res64: 50B38876921ABACA Time : 0.0 sec. user=mdettweiler [2015-07-31 01:31:27] 913*2^1404819-1 is not prime. Res64: 871D8FA88B45D03A Time : 0.0 sec. user=mdettweiler [2015-07-31 01:31:27] 873*2^1404820-1 is not prime. Res64: 76EECBEC354D3F27 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:48:29] 621*2^1404821-1 is not prime. Res64: 324975B2CBA732CB Time : 0.0 sec. user=mdettweiler [2015-07-31 01:48:29] 915*2^1404820-1 is not prime. Res64: 5D69BE602EBD628F Time : 0.0 sec. user=mdettweiler [2015-07-31 01:48:29] 649*2^1404821-1 is not prime. Res64: 7A0022DB4222B8B9 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:48:29] 939*2^1404820-1 is not prime. Res64: 4FFB48C4897E0B9F Time : 0.0 sec. user=mdettweiler [2015-07-31 01:49:00] 669*2^1404821-1 is not prime. Res64: 25BCE7982BD56076 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:49:00] 715*2^1404821-1 is not prime. Res64: 94B0EB91D267F731 Time : 0.0 sec. user=mdettweiler [2015-07-31 01:49:03] 769*2^1404821-1 is not prime. Res64: 45EEEC5B355D151B Time : 0.0 sec. user=mdettweiler [2015-07-31 01:49:03] 859*2^1404821-1 is not prime. Res64: B9FC2BB96A720482 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:06:13] 885*2^1404821-1 is not prime. Res64: FBBAA09D14C68690 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:06:13] 695*2^1404822-1 is not prime. Res64: 5EC3C95FF5602A45 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:06:15] 765*2^1404822-1 is not prime. Res64: ED6A96D7AEE5BA58 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:06:15] 825*2^1404822-1 is not prime. Res64: 5BFC033580429009 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:06:36] 887*2^1404822-1 is not prime. Res64: D331E8280F6C3A6E Time : 0.0 sec. user=mdettweiler [2015-07-31 02:06:37] 639*2^1404823-1 is not prime. Res64: 61EC8C02B36FA285 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:06:41] 675*2^1404823-1 is not prime. Res64: ACBCD33858AD7103 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:06:42] 723*2^1404823-1 is not prime. Res64: 28C16758A37A1FE4 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:23:55] 913*2^1404823-1 is not prime. Res64: B8490E7159D692A9 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:23:55] 939*2^1404823-1 is not prime. Res64: AF0B7D7ED72AC301 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:23:56] 853*2^1404823-1 is not prime. Res64: 26B53BCCF601F1BC Time : 0.0 sec. user=mdettweiler [2015-07-31 02:23:56] 871*2^1404823-1 is not prime. Res64: 6E7D23BEF7E391E3 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:24:10] 951*2^1404823-1 is not prime. Res64: EC1333CB8AB777E5 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:24:11] 961*2^1404823-1 is not prime. Res64: E450A27F39854AAE Time : 0.0 sec. user=mdettweiler [2015-07-31 02:24:21] 969*2^1404823-1 is not prime. Res64: CF5727E823D43979 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:24:21] 999*2^1404823-1 is not prime. Res64: 5334996E79487045 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:41:34] 663*2^1404824-1 is not prime. Res64: BECFABCE67CEEF4B Time : 0.0 sec. user=mdettweiler [2015-07-31 02:41:34] 675*2^1404824-1 is not prime. Res64: D5551A57449AB395 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:41:40] 615*2^1404824-1 is not prime. Res64: EAAB19D270E7ED5B Time : 0.0 sec. user=mdettweiler [2015-07-31 02:41:41] 617*2^1404824-1 is not prime. Res64: 3873C121CA72C5A5 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:41:48] 743*2^1404824-1 is not prime. Res64: C7945A762B7FEFFD Time : 0.0 sec. user=mdettweiler [2015-07-31 02:41:48] 899*2^1404824-1 is not prime. Res64: 76727F7DF5143394 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:42:00] 903*2^1404824-1 is not prime. Res64: 758F905D68BD9338 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:42:00] 917*2^1404824-1 is not prime. Res64: 2C23CC5F8CD8A77E Time : 0.0 sec. user=mdettweiler [2015-07-31 02:59:10] 983*2^1404824-1 is not prime. Res64: 9328C6BFE5AEB363 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:59:11] 679*2^1404825-1 is not prime. Res64: EE08E31EE03F5984 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:59:22] 819*2^1404825-1 is not prime. Res64: 14979102A3CAC7D8 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:59:22] 727*2^1404825-1 is not prime. Res64: 09094A7C86F1FBC6 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:59:22] 861*2^1404825-1 is not prime. Res64: 30BBC5AA264208E8 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:59:22] 781*2^1404825-1 is not prime. Res64: BE1897F8B9EDDFC7 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:59:37] 885*2^1404825-1 is not prime. Res64: B541F174E50B1202 Time : 0.0 sec. user=mdettweiler [2015-07-31 02:59:37] 915*2^1404825-1 is not prime. Res64: 3AAE5F0B761C92FE Time : 0.0 sec. user=mdettweiler [2015-07-31 03:16:50] 645*2^1404826-1 is not prime. Res64: DBE25EDA73289B21 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:16:50] 701*2^1404826-1 is not prime. Res64: 04D6C6FBFB04E806 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:16:59] 713*2^1404826-1 is not prime. Res64: 6121A4094ED3AF9E Time : 0.0 sec. user=mdettweiler [2015-07-31 03:17:00] 993*2^1404826-1 is not prime. Res64: 9BC044589C6E152C Time : 0.0 sec. user=mdettweiler [2015-07-31 03:17:01] 603*2^1404827-1 is not prime. Res64: 836CEDB565D144E2 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:17:02] 663*2^1404827-1 is not prime. Res64: A209198CE38B5D1A Time : 0.0 sec. user=mdettweiler [2015-07-31 03:17:17] 741*2^1404827-1 is not prime. Res64: 896B0DD5C0544E81 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:17:17] 909*2^1404827-1 is not prime. Res64: 718C1FB1A9A5DE92 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:34:41] 669*2^1404828-1 is not prime. Res64: 1455631EA8010400 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:34:42] 749*2^1404828-1 is not prime. Res64: 9DC1BBCFD86D42C8 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:34:47] 929*2^1404828-1 is not prime. Res64: 54C220F24968E18B Time : 0.0 sec. user=mdettweiler [2015-07-31 03:34:49] 811*2^1404829-1 is not prime. Res64: 09A5B17D79BD2164 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:34:55] 803*2^1404828-1 is not prime. Res64: A24BC592D59CE41E Time : 0.0 sec. user=mdettweiler [2015-07-31 03:34:56] 819*2^1404828-1 is not prime. Res64: 39F01A43C03DE949 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:35:08] 975*2^1404829-1 is not prime. Res64: C9C55D618A0F1E52 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:35:10] 663*2^1404830-1 is not prime. Res64: 3949E701723A7AAF Time : 0.0 sec. user=mdettweiler [2015-07-31 03:52:33] 665*2^1404830-1 is not prime. Res64: 9CFF747078093263 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:52:33] 761*2^1404830-1 is not prime. Res64: C24FD5029A7BF489 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:52:35] 831*2^1404830-1 is not prime. Res64: 49ED97C3FAC98DAB Time : 0.0 sec. user=mdettweiler [2015-07-31 03:52:36] 857*2^1404830-1 is not prime. Res64: 1C4DC8C77C2FBFC8 Time : 0.0 sec. user=mdettweiler [2015-07-31 03:52:42] 887*2^1404830-1 is not prime. Res64: EFBD1A81B460638C Time : 0.0 sec. user=mdettweiler [2015-07-31 03:52:43] 679*2^1404831-1 is not prime. Res64: 4C09C4B79511B2DF Time : 0.0 sec. user=mdettweiler [2015-07-31 03:52:58] 711*2^1404831-1 is not prime. Res64: FD82EF39DE7C883C Time : 0.0 sec. user=mdettweiler [2015-07-31 03:52:59] 723*2^1404831-1 is not prime. Res64: 77B1DBEF828BC3C3 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:10:17] 879*2^1404831-1 is not prime. Res64: E1B76520CC97E3C6 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:10:18] 901*2^1404831-1 is not prime. Res64: FE6549FB35FFEBBA Time : 0.0 sec. user=mdettweiler [2015-07-31 04:10:23] 909*2^1404831-1 is not prime. Res64: FEA04B09AFF2BDB9 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:10:24] 921*2^1404831-1 is not prime. Res64: 677F43976590B00C Time : 0.0 sec. user=mdettweiler [2015-07-31 04:10:24] 783*2^1404831-1 is not prime. Res64: AE264C043B46625B Time : 0.0 sec. user=mdettweiler [2015-07-31 04:10:25] 859*2^1404831-1 is not prime. Res64: 4ADBEBDB53CDEBD0 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:10:52] 949*2^1404831-1 is not prime. Res64: EC38E7FD0F96CB70 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:10:53] 969*2^1404831-1 is not prime. Res64: 05FE7CF84188C2E5 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:28:02] 605*2^1404832-1 is not prime. Res64: 3AE2AAC5C9A32754 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:28:02] 609*2^1404832-1 is not prime. Res64: FCBFDE0B744C21CE Time : 0.0 sec. user=mdettweiler [2015-07-31 04:28:12] 665*2^1404832-1 is not prime. Res64: 735263FA0921F5AF Time : 0.0 sec. user=mdettweiler [2015-07-31 04:28:13] 929*2^1404832-1 is not prime. Res64: 4A266C1E794CE576 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:28:14] 933*2^1404832-1 is not prime. Res64: CFD679016AF6EA19 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:28:14] 965*2^1404832-1 is not prime. Res64: 19E7509B51B5D8C0 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:28:38] 607*2^1404833-1 is not prime. Res64: 0D16DFA3DF84715B Time : 0.0 sec. user=mdettweiler [2015-07-31 04:28:38] 631*2^1404833-1 is not prime. Res64: B86BD83A16F88309 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:45:39] 705*2^1404833-1 is not prime. Res64: 8196528E8B8C321C Time : 0.0 sec. user=mdettweiler [2015-07-31 04:45:39] 651*2^1404834-1 is not prime. Res64: 25245AC55A852E14 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:45:51] 773*2^1404834-1 is not prime. Res64: B5339B8CB6E497D4 Time : 0.0 sec. user=mdettweiler [2015-07-31 04:45:52] 875*2^1404834-1 is not prime. Res64: 1EAD62D00DA65B6A Time : 0.0 sec. user=mdettweiler [2015-07-31 04:45:52] 711*2^1404834-1 is not prime. Res64: A25557DCDF9C269B Time : 0.0 sec. user=mdettweiler [2015-07-31 04:45:52] 731*2^1404834-1 is not prime. Res64: 605B666CDAD4330E Time : 0.0 sec. user=mdettweiler [2015-07-31 04:46:16] 927*2^1404834-1 is not prime. Res64: 181BF5B02A07745D Time : 0.0 sec. user=mdettweiler [2015-07-31 04:46:16] 1001*2^1404834-1 is not prime. Res64: 4D183E9B0B0F2A08 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:03:28] 619*2^1404835-1 is not prime. Res64: 74E97DE45A0FEE2A Time : 0.0 sec. user=mdettweiler [2015-07-31 05:03:30] 651*2^1404835-1 is not prime. Res64: 124833F16C06F5C5 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:03:35] 705*2^1404835-1 is not prime. Res64: FAC685127AD41FC7 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:03:36] 733*2^1404835-1 is not prime. Res64: 46A12F1FB156FA06 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:03:39] 735*2^1404835-1 is not prime. Res64: 22C1E0B54C2FD072 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:03:40] 741*2^1404835-1 is not prime. Res64: 07E0E54E9113678B Time : 0.0 sec. user=mdettweiler [2015-07-31 05:04:00] 859*2^1404835-1 is not prime. Res64: 6CC6E60CAF8C8A84 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:04:01] 951*2^1404835-1 is not prime. Res64: 264DF9C6995838F2 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:21:32] 961*2^1404835-1 is not prime. Res64: B0E2F2DCC551C702 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:21:32] 773*2^1404836-1 is not prime. Res64: 534B0939D1FAE721 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:21:39] 615*2^1404836-1 is not prime. Res64: EF3AB57D6A77E458 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:21:39] 837*2^1404836-1 is not prime. Res64: 0A4619695E4EF7D0 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:21:45] 803*2^1404836-1 is not prime. Res64: E0FD4EB323801940 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:21:45] 813*2^1404836-1 is not prime. Res64: BEC1F1B19E390939 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:21:55] 839*2^1404836-1 is not prime. Res64: A41D8A6B15B504BA Time : 0.0 sec. user=mdettweiler [2015-07-31 05:21:56] 879*2^1404836-1 is not prime. Res64: 95CC95A131A75B53 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:39:16] 963*2^1404836-1 is not prime. Res64: F4ED0BB53227B058 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:39:16] 969*2^1404836-1 is not prime. Res64: BAA6223C66765C45 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:39:21] 903*2^1404836-1 is not prime. Res64: 8A254D6BDC1ED679 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:39:22] 953*2^1404836-1 is not prime. Res64: 77731CF6B71965DA Time : 0.0 sec. user=mdettweiler [2015-07-31 05:39:27] 983*2^1404836-1 is not prime. Res64: A4E1EF05530DAA77 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:39:27] 649*2^1404837-1 is not prime. Res64: 7998F99736734827 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:39:35] 669*2^1404837-1 is not prime. Res64: E508B8B767661ABF Time : 0.0 sec. user=mdettweiler [2015-07-31 05:39:35] 711*2^1404837-1 is not prime. Res64: ED950149EF8F6FF6 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:56:56] 717*2^1404837-1 is not prime. Res64: 2FF366C7CBA10C76 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:56:57] 837*2^1404837-1 is not prime. Res64: 171EA2B5BF076D7F Time : 0.0 sec. user=mdettweiler [2015-07-31 05:57:03] 849*2^1404837-1 is not prime. Res64: 078EC422F97553D5 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:57:03] 871*2^1404837-1 is not prime. Res64: 737BB1FA355F97F4 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:57:08] 955*2^1404837-1 is not prime. Res64: 8DEC16F6812629C1 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:57:08] 635*2^1404838-1 is not prime. Res64: DF3A12510F2B237F Time : 0.0 sec. user=mdettweiler [2015-07-31 05:57:10] 647*2^1404838-1 is not prime. Res64: 9DF3E5C4CB989393 Time : 0.0 sec. user=mdettweiler [2015-07-31 05:57:10] 801*2^1404838-1 is not prime. Res64: 427337BF92314A5B Time : 0.0 sec. user=mdettweiler [2015-07-31 06:14:39] 831*2^1404838-1 is not prime. Res64: EA0654B0648C45E5 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:14:40] 861*2^1404838-1 is not prime. Res64: 1C3EF8A0F834F1F7 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:14:40] 867*2^1404838-1 is not prime. Res64: FE370CD99B11B0DF Time : 0.0 sec. user=mdettweiler [2015-07-31 06:14:41] 601*2^1404839-1 is not prime. Res64: BDBC3278976C6FEA Time : 0.0 sec. user=mdettweiler [2015-07-31 06:14:48] 669*2^1404839-1 is not prime. Res64: 37890F5527CE77D4 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:14:48] 735*2^1404839-1 is not prime. Res64: 263DA7260D7E37C0 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:14:48] 627*2^1404840-1 is not prime. Res64: E6CEF6D8C366D091 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:14:48] 723*2^1404840-1 is not prime. Res64: FEBE67EFFF7FD621 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:32:22] 999*2^1404840-1 is not prime. Res64: 406F09E6B32C744C Time : 0.0 sec. user=mdettweiler [2015-07-31 06:32:22] 607*2^1404841-1 is not prime. Res64: 263CDEC1FF7C6E19 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:32:25] 737*2^1404840-1 is not prime. Res64: 5103897A74D59C05 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:32:26] 825*2^1404840-1 is not prime. Res64: 0A981EB3E3C454D9 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:32:28] 741*2^1404841-1 is not prime. Res64: 60763F3408F9AD13 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:32:28] 747*2^1404841-1 is not prime. Res64: 5D4C5EEE7D5452E5 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:32:35] 615*2^1404841-1 is not prime. Res64: E489A042BA239CD8 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:32:36] 687*2^1404841-1 is not prime. Res64: FA0FEC10C353183F Time : 0.0 sec. user=mdettweiler [2015-07-31 06:50:05] 777*2^1404841-1 is not prime. Res64: C511D0A51ECF5AD7 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:50:05] 807*2^1404841-1 is not prime. Res64: 42B06B0853476CC8 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:50:10] 955*2^1404841-1 is not prime. Res64: 725102FFE07180ED Time : 0.0 sec. user=mdettweiler [2015-07-31 06:50:11] 987*2^1404841-1 is not prime. Res64: 4DD006749CBAA951 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:50:13] 711*2^1404842-1 is not prime. Res64: AB988FDBA2F7A018 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:50:13] 743*2^1404842-1 is not prime. Res64: 7594AD6810C947D4 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:50:24] 977*2^1404842-1 is not prime. Res64: 7F880ED60E60A250 Time : 0.0 sec. user=mdettweiler [2015-07-31 06:50:25] 995*2^1404842-1 is not prime. Res64: 175EFE5D8ADF060E Time : 0.0 sec. user=mdettweiler [2015-07-31 07:07:46] 663*2^1404843-1 is not prime. Res64: 2060DB00A3E2BC8E Time : 0.0 sec. user=mdettweiler [2015-07-31 07:07:47] 705*2^1404843-1 is not prime. Res64: 7CFA331D1F77172D Time : 0.0 sec. user=mdettweiler [2015-07-31 07:07:56] 795*2^1404843-1 is not prime. Res64: 3FAEFBF99AAE48E5 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:07:57] 823*2^1404843-1 is not prime. Res64: 575C12550FD95C9A Time : 0.0 sec. user=mdettweiler [2015-07-31 07:08:02] 849*2^1404843-1 is not prime. Res64: CAA5424D53180ECD Time : 0.0 sec. user=mdettweiler [2015-07-31 07:08:02] 861*2^1404843-1 is not prime. Res64: F52AE9C2AA99B5D5 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:08:06] 721*2^1404843-1 is not prime. Res64: 2E34DC23DC3C968C Time : 0.0 sec. user=mdettweiler [2015-07-31 07:08:06] 735*2^1404843-1 is not prime. Res64: 696F8AAFDAE998BE Time : 0.0 sec. user=mdettweiler [2015-07-31 07:25:37] 617*2^1404844-1 is not prime. Res64: C57B6F009DF9642B Time : 0.0 sec. user=mdettweiler [2015-07-31 07:25:38] 677*2^1404844-1 is not prime. Res64: 28DE1F6C052CE2E0 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:25:41] 695*2^1404844-1 is not prime. Res64: DCCB23C82AF1D407 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:25:41] 719*2^1404844-1 is not prime. Res64: 366B890E29E739CE Time : 0.0 sec. user=mdettweiler [2015-07-31 07:25:48] 855*2^1404844-1 is not prime. Res64: 9C43FE7CF46D32F6 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:25:48] 903*2^1404844-1 is not prime. Res64: 75FD9D96240477AB Time : 0.0 sec. user=mdettweiler [2015-07-31 07:25:55] 927*2^1404844-1 is not prime. Res64: 8185FD6EE78BDAD7 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:25:56] 983*2^1404844-1 is not prime. Res64: 1B4E4D8F75E9E0C8 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:43:21] 655*2^1404845-1 is not prime. Res64: DF2E67055350F4EA Time : 0.0 sec. user=mdettweiler [2015-07-31 07:43:21] 865*2^1404845-1 is not prime. Res64: 9403781B032D8779 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:43:21] 717*2^1404845-1 is not prime. Res64: 8B60E871D5E911F1 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:43:21] 897*2^1404845-1 is not prime. Res64: 908913A6B0A78D72 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:43:30] 737*2^1404846-1 is not prime. Res64: 8CD048E6C5623752 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:43:30] 783*2^1404846-1 is not prime. Res64: 8ECC46483489DFE9 Time : 0.0 sec. user=mdettweiler [2015-07-31 07:43:32] 903*2^1404846-1 is not prime. Res64: 8F842EBD8F7B3A5E Time : 0.0 sec. user=mdettweiler [2015-07-31 07:43:32] 615*2^1404847-1 is not prime. Res64: 147D8F6FE672890E Time : 0.0 sec. user=mdettweiler [2015-07-31 08:01:39] 625*2^1404847-1 is not prime. Res64: 0CC1812E75CE3C52 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:01:40] 741*2^1404847-1 is not prime. Res64: AC88D9E649D20109 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:01:48] 753*2^1404848-1 is not prime. Res64: A55CB5955D776F37 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:01:49] 797*2^1404848-1 is not prime. Res64: 8336D274DC02C6E4 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:01:52] 635*2^1404848-1 is not prime. Res64: 248C78B6473A6DEE Time : 0.0 sec. user=mdettweiler [2015-07-31 08:01:52] 819*2^1404847-1 is not prime. Res64: B8F77A5AC3E830FE Time : 0.0 sec. user=mdettweiler [2015-07-31 08:01:53] 659*2^1404848-1 is not prime. Res64: A30753929D554B0B Time : 0.0 sec. user=mdettweiler [2015-07-31 08:01:53] 603*2^1404848-1 is not prime. Res64: DC4CC451C3E913B4 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:19:37] 625*2^1404849-1 is not prime. Res64: 7A9F67FB0DD6BF29 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:19:37] 637*2^1404849-1 is not prime. Res64: CF4E856FFE4016FC Time : 0.0 sec. user=mdettweiler [2015-07-31 08:19:38] 995*2^1404848-1 is not prime. Res64: 22A5F5658C30361C Time : 0.0 sec. user=mdettweiler [2015-07-31 08:19:38] 999*2^1404848-1 is not prime. Res64: 89572CF044FBA886 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:19:38] 789*2^1404849-1 is not prime. Res64: 101CE9C7CDBB45D5 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:19:38] 681*2^1404849-1 is not prime. Res64: B38392FEC96661E0 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:19:39] 653*2^1404850-1 is not prime. Res64: ABBF830BEFDFB533 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:19:39] 759*2^1404849-1 is not prime. Res64: 1BF971EF69F6AF5C Time : 0.0 sec. user=mdettweiler [2015-07-31 08:37:25] 923*2^1404850-1 is not prime. Res64: 8CE7846504D001EE Time : 0.0 sec. user=mdettweiler [2015-07-31 08:37:25] 651*2^1404851-1 is not prime. Res64: 92FB0D5B5379804E Time : 0.0 sec. user=mdettweiler [2015-07-31 08:37:25] 971*2^1404850-1 is not prime. Res64: B429662E7E99C2B6 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:37:26] 669*2^1404851-1 is not prime. Res64: 221171C2225050C0 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:37:30] 731*2^1404850-1 is not prime. Res64: 9CEB755B336A1BB7 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:37:30] 801*2^1404850-1 is not prime. Res64: B3AA70055C3DB7F9 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:37:30] 603*2^1404851-1 is not prime. Res64: A2AFE085C5FB5823 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:37:31] 609*2^1404851-1 is not prime. Res64: A8EECE0BFBC97B29 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:55:07] 647*2^1404852-1 is not prime. Res64: FEF9650DE70EF551 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:55:08] 669*2^1404852-1 is not prime. Res64: 6AF40DC0EE45EF89 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:55:10] 841*2^1404851-1 is not prime. Res64: 4AEF6A57E00F21AB Time : 0.0 sec. user=mdettweiler [2015-07-31 08:55:10] 855*2^1404851-1 is not prime. Res64: 4E443A2F3E939F14 Time : 0.0 sec. user=mdettweiler [2015-07-31 08:55:11] 883*2^1404851-1 is not prime. Res64: 901E53AC384245BA Time : 0.0 sec. user=mdettweiler [2015-07-31 08:55:11] 993*2^1404851-1 is not prime. Res64: F8F4980559826AAD Time : 0.0 sec. user=mdettweiler [2015-07-31 08:55:19] 765*2^1404852-1 is not prime. Res64: F974BA97F95BA1DC Time : 0.0 sec. user=mdettweiler [2015-07-31 08:55:19] 767*2^1404852-1 is not prime. Res64: FE1658192D3376FD Time : 0.0 sec. user=mdettweiler [2015-07-31 09:13:05] 825*2^1404852-1 is not prime. Res64: 51CE1EDB99BBBF57 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:13:06] 903*2^1404852-1 is not prime. Res64: 90A10187FDA2E8E6 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:13:08] 987*2^1404852-1 is not prime. Res64: 5DF9B864F14472BD Time : 0.0 sec. user=mdettweiler [2015-07-31 09:13:09] 649*2^1404853-1 is not prime. Res64: F230335D8EE50C41 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:13:16] 687*2^1404853-1 is not prime. Res64: 046CBAF7A59CCDFD Time : 0.0 sec. user=mdettweiler [2015-07-31 09:13:16] 877*2^1404853-1 is not prime. Res64: 45270862900F1541 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:13:36] 909*2^1404852-1 is not prime. Res64: DB3ECBE007219748 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:13:36] 977*2^1404852-1 is not prime. Res64: 9FBD2E54A51BA99F Time : 0.0 sec. user=mdettweiler [2015-07-31 09:30:59] 885*2^1404853-1 is not prime. Res64: 5A505C7E6A5F5F91 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:30:59] 955*2^1404853-1 is not prime. Res64: 82EA61091120F754 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:31:20] 623*2^1404854-1 is not prime. Res64: 4B393C5ED0CD34F2 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:31:21] 627*2^1404854-1 is not prime. Res64: 4079AE509D908DA6 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:31:28] 665*2^1404854-1 is not prime. Res64: 0D3D2BA4B13C8614 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:31:29] 711*2^1404854-1 is not prime. Res64: C2BA68AE280393A8 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:31:29] 717*2^1404854-1 is not prime. Res64: 2345406D1D8D7B41 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:31:29] 945*2^1404854-1 is not prime. Res64: CAF0FB6A0EB9A45B Time : 0.0 sec. user=mdettweiler [2015-07-31 09:48:36] 965*2^1404854-1 is not prime. Res64: AD4F5F24F5FC519C Time : 0.0 sec. user=mdettweiler [2015-07-31 09:48:36] 649*2^1404855-1 is not prime. Res64: 805141EA39A78AA2 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:48:58] 741*2^1404855-1 is not prime. Res64: C56B4706207E78D8 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:48:58] 781*2^1404855-1 is not prime. Res64: E4D722AB8E7AB73A Time : 0.0 sec. user=mdettweiler [2015-07-31 09:49:06] 829*2^1404855-1 is not prime. Res64: 8FDCE2E18CEA5508 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:49:07] 895*2^1404855-1 is not prime. Res64: 5A12E75B99E6B2E5 Time : 0.0 sec. user=mdettweiler [2015-07-31 09:49:12] 969*2^1404855-1 is not prime. Res64: 6CC1D5BF6D35BF0B Time : 0.0 sec. user=mdettweiler [2015-07-31 09:49:12] 699*2^1404856-1 is not prime. Res64: 75385B5B72CAEBBC Time : 0.0 sec. user=mdettweiler [2015-07-31 10:06:19] 803*2^1404856-1 is not prime. Res64: 5714CA3937879AE7 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:06:20] 813*2^1404856-1 is not prime. Res64: 0F1B285BC6B90340 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:06:33] 999*2^1404856-1 is not prime. Res64: 96FD5B89A151D09D Time : 0.0 sec. user=mdettweiler [2015-07-31 10:06:34] 619*2^1404857-1 is not prime. Res64: A43ADBDEBE472D5E Time : 0.0 sec. user=mdettweiler [2015-07-31 10:06:51] 631*2^1404857-1 is not prime. Res64: 24B3845E4F8255D4 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:06:51] 649*2^1404857-1 is not prime. Res64: E5286576194ABA5B Time : 0.0 sec. user=mdettweiler [2015-07-31 10:06:52] 715*2^1404857-1 is not prime. Res64: 856AB75104B4FB00 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:06:52] 805*2^1404857-1 is not prime. Res64: 8BF903DE1F7211F4 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:24:05] 901*2^1404857-1 is not prime. Res64: DB170F626F6B18E1 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:24:05] 605*2^1404858-1 is not prime. Res64: 105BC100019D5F1B Time : 0.0 sec. user=mdettweiler [2015-07-31 10:24:17] 647*2^1404858-1 is not prime. Res64: 0C2E848FEB6CAC9B Time : 0.0 sec. user=mdettweiler [2015-07-31 10:24:17] 663*2^1404858-1 is not prime. Res64: 2D3CDA5607B12478 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:24:34] 731*2^1404858-1 is not prime. Res64: 573B419F877DB04B Time : 0.0 sec. user=mdettweiler [2015-07-31 10:24:34] 625*2^1404859-1 is not prime. Res64: 84704E7F42C6968A Time : 0.0 sec. user=mdettweiler [2015-07-31 10:24:45] 663*2^1404859-1 is not prime. Res64: 8F8AF61BAA1B3A4B Time : 0.0 sec. user=mdettweiler [2015-07-31 10:24:45] 691*2^1404859-1 is not prime. Res64: 0895B6818FF79864 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:41:43] 723*2^1404859-1 is not prime. Res64: DDE10D47BFCBCE83 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:41:44] 841*2^1404859-1 is not prime. Res64: 729A42C5AF4386A4 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:42:05] 889*2^1404859-1 is not prime. Res64: 9C082C940AE1AEB5 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:42:05] 939*2^1404859-1 is not prime. Res64: 14B95303CE44D71E Time : 0.0 sec. user=mdettweiler [2015-07-31 10:42:24] 951*2^1404859-1 is not prime. Res64: 47EC9C81673C68C5 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:42:25] 773*2^1404860-1 is not prime. Res64: E059EF31E71872B7 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:42:30] 803*2^1404860-1 is not prime. Res64: 7D4EB7B4A0BD9A78 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:42:31] 923*2^1404860-1 is not prime. Res64: CB9FB7F36B659932 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:59:23] 963*2^1404860-1 is not prime. Res64: F4559B61F4C4EDED Time : 0.0 sec. user=mdettweiler [2015-07-31 10:59:23] 987*2^1404860-1 is not prime. Res64: 338A78E14B7309C5 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:59:48] 789*2^1404861-1 is not prime. Res64: 8D34D016DF7B6913 Time : 0.0 sec. user=mdettweiler [2015-07-31 10:59:48] 907*2^1404861-1 is not prime. Res64: D62585DFEBF73544 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:00:08] 921*2^1404861-1 is not prime. Res64: 986AEE33EA4C2739 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:00:08] 949*2^1404861-1 is not prime. Res64: 2F435B53E9F1EFA7 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:00:17] 999*2^1404861-1 is not prime. Res64: 29C07EFB183F051C Time : 0.0 sec. user=mdettweiler [2015-07-31 11:00:18] 657*2^1404862-1 is not prime. Res64: AD5901CD92138DF2 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:17:12] 671*2^1404862-1 is not prime. Res64: 2FB692B896BF54CC Time : 0.0 sec. user=mdettweiler [2015-07-31 11:17:13] 827*2^1404862-1 is not prime. Res64: B57BE7A8B1C376CB Time : 0.0 sec. user=mdettweiler [2015-07-31 11:17:43] 703*2^1404863-1 is not prime. Res64: 9A56722223259A35 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:17:43] 739*2^1404863-1 is not prime. Res64: 2CE04FFEC115FECB Time : 0.0 sec. user=mdettweiler [2015-07-31 11:17:52] 871*2^1404863-1 is not prime. Res64: D7CD77A769733755 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:17:52] 945*2^1404863-1 is not prime. Res64: 9511D766E7CFB2C2 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:18:07] 991*2^1404863-1 is not prime. Res64: 81880CE7D4F87DA4 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:18:08] 665*2^1404864-1 is not prime. Res64: 866E285E12318128 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:34:53] 675*2^1404864-1 is not prime. Res64: 4A25477BAAFABBF9 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:34:54] 699*2^1404864-1 is not prime. Res64: BAA5829AFE15BECA Time : 0.0 sec. user=mdettweiler [2015-07-31 11:35:23] 705*2^1404864-1 is not prime. Res64: 22C825B6B6295B47 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:35:24] 795*2^1404864-1 is not prime. Res64: F45C54E8E146C1EA Time : 0.0 sec. user=mdettweiler [2015-07-31 11:35:30] 909*2^1404864-1 is not prime. Res64: 562C8B20542D2795 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:35:30] 975*2^1404864-1 is not prime. Res64: 9B9AFC811C190CE7 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:35:48] 661*2^1404865-1 is not prime. Res64: 561C874D73968127 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:35:49] 699*2^1404865-1 is not prime. Res64: 9072CF553ABB62C7 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:52:38] 727*2^1404865-1 is not prime. Res64: 7A03590B7E7864A7 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:52:38] 831*2^1404865-1 is not prime. Res64: 285CEC15F6100F8E Time : 0.0 sec. user=mdettweiler [2015-07-31 11:53:09] 871*2^1404865-1 is not prime. Res64: 1AFFFEE3599D6B6D Time : 0.0 sec. user=mdettweiler [2015-07-31 11:53:09] 915*2^1404865-1 is not prime. Res64: C968792D30FC7953 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:53:12] 945*2^1404866-1 is not prime. Res64: E7B4B48853936399 Time : 0.0 sec. user=mdettweiler [2015-07-31 11:53:12] 609*2^1404867-1 is not prime. Res64: 1C48351F5FCF46BE Time : 0.0 sec. user=mdettweiler [2015-07-31 11:53:42] 615*2^1404867-1 is not prime. Res64: 654867290DF3BF3B Time : 0.0 sec. user=mdettweiler [2015-07-31 11:53:42] 621*2^1404867-1 is not prime. Res64: 31C627DB1FEC0232 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:10:20] 649*2^1404867-1 is not prime. Res64: 95A130C6EB089D39 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:10:21] 703*2^1404867-1 is not prime. Res64: 8C39042B18243DF1 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:10:50] 991*2^1404867-1 is not prime. Res64: E0A05D1422A82CF5 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:10:50] 709*2^1404867-1 is not prime. Res64: 1CD536C1D369BA03 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:10:51] 617*2^1404868-1 is not prime. Res64: 3848E2EBAD693CCE Time : 0.0 sec. user=mdettweiler [2015-07-31 12:10:51] 885*2^1404867-1 is not prime. Res64: AD51FB2DA4CD8948 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:11:26] 623*2^1404868-1 is not prime. Res64: F239A765AE9FB346 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:11:26] 773*2^1404868-1 is not prime. Res64: A0F5C441E9EC5983 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:28:07] 601*2^1404869-1 is not prime. Res64: BAD04B2CF57F0803 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:28:07] 631*2^1404869-1 is not prime. Res64: 8CDAD9091A8F0A24 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:28:27] 735*2^1404869-1 is not prime. Res64: F37126FD3C86D055 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:28:28] 879*2^1404869-1 is not prime. Res64: BD69906E76DE748A Time : 0.0 sec. user=mdettweiler [2015-07-31 12:28:33] 927*2^1404869-1 is not prime. Res64: 54D235C73AE184B6 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:28:34] 951*2^1404869-1 is not prime. Res64: 2399C3B6A7F124C4 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:29:07] 985*2^1404869-1 is not prime. Res64: 6C0F71BAB06DF591 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:29:08] 653*2^1404870-1 is not prime. Res64: FFC4D0EF59B80F78 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:45:42] 717*2^1404870-1 is not prime. Res64: AA6F562FE7C7F73D Time : 0.0 sec. user=mdettweiler [2015-07-31 12:45:42] 791*2^1404870-1 is not prime. Res64: 94D8BF198E5D2424 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:46:04] 851*2^1404870-1 is not prime. Res64: 4AB6FA20375B69BC Time : 0.0 sec. user=mdettweiler [2015-07-31 12:46:04] 873*2^1404870-1 is not prime. Res64: 686FFB1F3E3D2C71 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:46:11] 875*2^1404870-1 is not prime. Res64: 9EE8D00EE5085ED6 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:46:11] 963*2^1404870-1 is not prime. Res64: 5BA86365F1043420 Time : 0.0 sec. user=mdettweiler [2015-07-31 12:46:49] 971*2^1404870-1 is not prime. Res64: 675EAC65EC610A1E Time : 0.0 sec. user=mdettweiler [2015-07-31 12:46:50] 625*2^1404871-1 is not prime. Res64: 52D4748843748605 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:03:25] 645*2^1404871-1 is not prime. Res64: 87F7DF620AD76F65 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:03:26] 703*2^1404871-1 is not prime. Res64: 5920E2C3D158AB6A Time : 0.0 sec. user=mdettweiler [2015-07-31 13:03:48] 705*2^1404871-1 is not prime. Res64: FE69D872648797DB Time : 0.0 sec. user=mdettweiler [2015-07-31 13:03:49] 709*2^1404871-1 is not prime. Res64: D9328FD4E2C8AB78 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:03:56] 735*2^1404871-1 is not prime. Res64: 9C7CA9A53A96F40F Time : 0.0 sec. user=mdettweiler [2015-07-31 13:03:58] 811*2^1404871-1 is not prime. Res64: 93F3611AD4FC6481 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:04:37] 841*2^1404871-1 is not prime. Res64: 928BA0D067FD764F Time : 0.0 sec. user=mdettweiler [2015-07-31 13:04:37] 871*2^1404871-1 is not prime. Res64: 0EA165CE5E0FBC6E Time : 0.0 sec. user=mdettweiler [2015-07-31 13:21:21] 925*2^1404871-1 is not prime. Res64: AC829821218DF208 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:21:21] 629*2^1404872-1 is not prime. Res64: 94EE03207BE78559 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:21:36] 633*2^1404872-1 is not prime. Res64: 842B02FFEA7DA2C8 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:21:36] 675*2^1404872-1 is not prime. Res64: 10AE05237B1414E1 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:21:40] 687*2^1404872-1 is not prime. Res64: 5B579A22C674CA0E Time : 0.0 sec. user=mdettweiler [2015-07-31 13:21:40] 725*2^1404872-1 is not prime. Res64: 0E709C0713F5A93A Time : 0.0 sec. user=mdettweiler [2015-07-31 13:22:20] 743*2^1404872-1 is not prime. Res64: A67EF35E0CE1318D Time : 0.0 sec. user=mdettweiler [2015-07-31 13:22:21] 759*2^1404872-1 is not prime. Res64: 2EC6BA5ECABADBE2 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:39:09] 803*2^1404872-1 is not prime. Res64: CA9457F02694B877 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:39:09] 819*2^1404872-1 is not prime. Res64: 2E46586718AEA7CE Time : 0.0 sec. user=mdettweiler [2015-07-31 13:39:17] 899*2^1404872-1 is not prime. Res64: 75612575A8ACAA02 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:39:18] 627*2^1404873-1 is not prime. Res64: 819F780DBF440E86 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:39:22] 895*2^1404873-1 is not prime. Res64: A34B09B764FF9275 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:39:22] 991*2^1404873-1 is not prime. Res64: 9D1E4F29C67FB3E4 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:40:02] 657*2^1404874-1 is not prime. Res64: BDA76DFB6DB6F2DC Time : 0.0 sec. user=mdettweiler [2015-07-31 13:40:02] 705*2^1404874-1 is not prime. Res64: 34C62AD55B88182D Time : 0.0 sec. user=mdettweiler [2015-07-31 13:56:56] 833*2^1404874-1 is not prime. Res64: 261F217B410CE759 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:56:56] 905*2^1404874-1 is not prime. Res64: 601441C5E02A4A79 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:57:13] 645*2^1404875-1 is not prime. Res64: 4F380B3A31A9BAE6 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:57:14] 655*2^1404875-1 is not prime. Res64: 3362E9BBA7C6278B Time : 0.0 sec. user=mdettweiler [2015-07-31 13:57:15] 987*2^1404874-1 is not prime. Res64: DA2B7D82484477FE Time : 0.0 sec. user=mdettweiler [2015-07-31 13:57:16] 601*2^1404875-1 is not prime. Res64: C956CDBCA8542CB4 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:57:56] 673*2^1404875-1 is not prime. Res64: CF91B5A16E2ED6D6 Time : 0.0 sec. user=mdettweiler [2015-07-31 13:57:56] 675*2^1404875-1 is not prime. Res64: A8C000EB98875B90 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:14:43] 733*2^1404875-1 is not prime. Res64: 2C5F00334D477D15 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:14:43] 855*2^1404875-1 is not prime. Res64: 7FED444C8A0ADD85 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:14:55] 859*2^1404875-1 is not prime. Res64: 55ADD9D5F028EBE3 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:14:56] 861*2^1404875-1 is not prime. Res64: 95DDF77D2B5AC6BE Time : 0.0 sec. user=mdettweiler [2015-07-31 14:15:03] 979*2^1404875-1 is not prime. Res64: 89D360E04B686B3B Time : 0.0 sec. user=mdettweiler [2015-07-31 14:15:04] 623*2^1404876-1 is not prime. Res64: 785E4EC85C90F865 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:15:39] 635*2^1404876-1 is not prime. Res64: 8DDD2777B599FE4F Time : 0.0 sec. user=mdettweiler [2015-07-31 14:15:39] 725*2^1404876-1 is not prime. Res64: 22AD9ACEEBE2EDF3 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:32:25] 765*2^1404876-1 is not prime. Res64: A264D7989E9D8272 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:32:26] 773*2^1404876-1 is not prime. Res64: 683890293E7CA9E1 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:32:33] 777*2^1404876-1 is not prime. Res64: 72D9C693AE6B1546 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:32:33] 845*2^1404876-1 is not prime. Res64: 940D56F71C9EDB82 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:32:48] 615*2^1404877-1 is not prime. Res64: 76E0EBBCB5848E5C Time : 0.0 sec. user=mdettweiler [2015-07-31 14:32:49] 651*2^1404877-1 is not prime. Res64: F541C8D5BDFACE19 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:33:16] 741*2^1404877-1 is not prime. Res64: 9B59AC227C9D4CEE Time : 0.0 sec. user=mdettweiler [2015-07-31 14:33:16] 805*2^1404877-1 is not prime. Res64: 6A868F056B43D73E Time : 0.0 sec. user=mdettweiler [2015-07-31 14:50:11] 825*2^1404877-1 is not prime. Res64: F291B3BFF82F321C Time : 0.0 sec. user=mdettweiler [2015-07-31 14:50:11] 867*2^1404877-1 is not prime. Res64: 9C2ECC55ABBE37FD Time : 0.0 sec. user=mdettweiler [2015-07-31 14:50:11] 871*2^1404877-1 is not prime. Res64: 7D8C492E709646CA Time : 0.0 sec. user=mdettweiler [2015-07-31 14:50:12] 901*2^1404877-1 is not prime. Res64: 13A86C62053B44D9 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:50:35] 927*2^1404877-1 is not prime. Res64: EB080A708699D97F Time : 0.0 sec. user=mdettweiler [2015-07-31 14:50:35] 997*2^1404877-1 is not prime. Res64: F4D5CB7DA2C94903 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:51:02] 603*2^1404878-1 is not prime. Res64: F60808C30CFA2F59 Time : 0.0 sec. user=mdettweiler [2015-07-31 14:51:02] 617*2^1404878-1 is not prime. Res64: 32AF78341940CFDE Time : 0.0 sec. user=mdettweiler [2015-07-31 15:07:52] 665*2^1404878-1 is not prime. Res64: 13728EB03448E940 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:07:53] 693*2^1404878-1 is not prime. Res64: 3128A5139A05E7AF Time : 0.0 sec. user=mdettweiler [2015-07-31 15:07:53] 813*2^1404878-1 is not prime. Res64: F6FB9D4E36FB9D94 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:07:54] 843*2^1404878-1 is not prime. Res64: 228A4BA204D063B8 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:08:17] 897*2^1404878-1 is not prime. Res64: 5920FDE7F83D8B66 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:08:18] 953*2^1404878-1 is not prime. Res64: CEBCD62EA1B60EA5 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:08:48] 971*2^1404878-1 is not prime. Res64: EB45B8423CDC849A Time : 0.0 sec. user=mdettweiler [2015-07-31 15:08:48] 1001*2^1404878-1 is not prime. Res64: B3ACBA6883D917B6 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:25:39] 685*2^1404879-1 is not prime. Res64: BC886AE42DB8F3CB Time : 0.0 sec. user=mdettweiler [2015-07-31 15:25:39] 691*2^1404879-1 is not prime. Res64: 0B554B4521549A8C Time : 0.0 sec. user=mdettweiler [2015-07-31 15:25:40] 619*2^1404879-1 is not prime. Res64: 3E3A9812955F8ADD Time : 0.0 sec. user=mdettweiler [2015-07-31 15:25:40] 661*2^1404879-1 is not prime. Res64: 8771D2094D7B564F Time : 0.0 sec. user=mdettweiler [2015-07-31 15:26:04] 709*2^1404879-1 is not prime. Res64: FED9F34DA985C6E1 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:26:04] 919*2^1404879-1 is not prime. Res64: 3FADDBBC1EF06944 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:26:27] 951*2^1404879-1 is not prime. Res64: FC34215A10C90FFB Time : 0.0 sec. user=mdettweiler [2015-07-31 15:26:28] 985*2^1404879-1 is not prime. Res64: A0BA41A99FE3305E Time : 0.0 sec. user=mdettweiler [2015-07-31 15:43:17] 609*2^1404880-1 is not prime. Res64: 3432F69C0171CBD6 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:43:18] 653*2^1404880-1 is not prime. Res64: 59EEE5C15D95AF68 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:43:20] 747*2^1404880-1 is not prime. Res64: 47B738172EA428CE Time : 0.0 sec. user=mdettweiler [2015-07-31 15:43:21] 797*2^1404880-1 is not prime. Res64: 4CD6CE6C8D503C56 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:43:39] 839*2^1404880-1 is not prime. Res64: 9DE548E9B20BA277 Time : 0.0 sec. user=mdettweiler [2015-07-31 15:43:39] 927*2^1404880-1 is not prime. Res64: EAA9DDD85A92C51C Time : 0.0 sec. user=mdettweiler [2015-07-31 15:44:02] 975*2^1404880-1 is not prime. Res64: 00A53CED5F766BDF Time : 0.0 sec. user=mdettweiler [2015-07-31 15:44:03] 637*2^1404881-1 is not prime. Res64: 1DFC05D659108A68 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:00:54] 715*2^1404881-1 is not prime. Res64: E437A452F82C8255 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:00:55] 747*2^1404881-1 is not prime. Res64: CF2D4D55FFA989CA Time : 0.0 sec. user=mdettweiler [2015-07-31 16:01:05] 801*2^1404881-1 is not prime. Res64: A48A5164AEBE435A Time : 0.0 sec. user=mdettweiler [2015-07-31 16:01:06] 861*2^1404881-1 is not prime. Res64: 4D2886512A4BAD4A Time : 0.0 sec. user=mdettweiler [2015-07-31 16:01:20] 885*2^1404881-1 is not prime. Res64: 201494E565B6A252 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:01:21] 931*2^1404881-1 is not prime. Res64: 41AC00364225D3AA Time : 0.0 sec. user=mdettweiler [2015-07-31 16:01:43] 945*2^1404881-1 is not prime. Res64: 4A053C55893855F9 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:01:44] 949*2^1404881-1 is not prime. Res64: E8FE00CADCDB1DD4 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:18:45] 957*2^1404881-1 is not prime. Res64: A273E18A15863796 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:18:45] 967*2^1404881-1 is not prime. Res64: 384089B12AFC9711 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:18:48] 677*2^1404882-1 is not prime. Res64: B77E7A938194F976 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:18:48] 807*2^1404882-1 is not prime. Res64: C007152BC6DEB435 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:19:02] 903*2^1404882-1 is not prime. Res64: 679E6CCF2320B192 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:19:02] 921*2^1404882-1 is not prime. Res64: 7C24835CD3415271 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:19:25] 977*2^1404882-1 is not prime. Res64: 79478FB469AAE6AB Time : 0.0 sec. user=mdettweiler [2015-07-31 16:19:26] 609*2^1404883-1 is not prime. Res64: 4218C113351CA613 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:36:26] 649*2^1404883-1 is not prime. Res64: 86460F8A5581B917 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:36:26] 685*2^1404883-1 is not prime. Res64: 881FD01455BA9DAC Time : 0.0 sec. user=mdettweiler [2015-07-31 16:36:33] 769*2^1404883-1 is not prime. Res64: 80653F44E6C062F7 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:36:33] 819*2^1404883-1 is not prime. Res64: 706B109DE458D7F5 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:36:43] 939*2^1404883-1 is not prime. Res64: 9887B10DB25D5CF7 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:36:44] 973*2^1404883-1 is not prime. Res64: 2AF1AB1E7DA621D9 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:37:09] 659*2^1404884-1 is not prime. Res64: 8C1F612DBB359B41 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:37:09] 665*2^1404884-1 is not prime. Res64: 49294583B9E4D0A5 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:54:08] 667*2^1404885-1 is not prime. Res64: 505212CE8CCA1E21 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:54:08] 759*2^1404885-1 is not prime. Res64: F3349292E54F7C4D Time : 0.0 sec. user=mdettweiler [2015-07-31 16:54:09] 909*2^1404884-1 is not prime. Res64: D6F97CF50A2DDF29 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:54:09] 927*2^1404884-1 is not prime. Res64: 333736DFE1AEBA34 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:54:19] 795*2^1404885-1 is not prime. Res64: 4C27C8D8EC1F6A7E Time : 0.0 sec. user=mdettweiler [2015-07-31 16:54:19] 811*2^1404885-1 is not prime. Res64: 9FAFFFD987012F36 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:54:49] 849*2^1404885-1 is not prime. Res64: 95E1842ECB691194 Time : 0.0 sec. user=mdettweiler [2015-07-31 16:54:49] 969*2^1404885-1 is not prime. Res64: 5018053BB72592A6 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:11:45] 783*2^1404886-1 is not prime. Res64: 3B36B7B4E0D6B69D Time : 0.0 sec. user=mdettweiler [2015-07-31 17:11:45] 801*2^1404886-1 is not prime. Res64: BE615A625A413034 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:11:57] 741*2^1404886-1 is not prime. Res64: 07188FFA674DC915 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:11:57] 765*2^1404886-1 is not prime. Res64: A5A5B1A17B9009EB Time : 0.0 sec. user=mdettweiler [2015-07-31 17:12:00] 615*2^1404887-1 is not prime. Res64: 51076C7384BE0A6F Time : 0.0 sec. user=mdettweiler [2015-07-31 17:12:00] 669*2^1404887-1 is not prime. Res64: EF98C02D467DC808 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:12:28] 703*2^1404887-1 is not prime. Res64: B9C3452A781176C1 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:12:29] 805*2^1404887-1 is not prime. Res64: 814035F584DAD5E4 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:29:26] 831*2^1404887-1 is not prime. Res64: EAF3A820C8209B25 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:29:26] 909*2^1404887-1 is not prime. Res64: B4BBC69205A8C726 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:29:45] 993*2^1404887-1 is not prime. Res64: 89C26933FBDF5E94 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:29:46] 689*2^1404888-1 is not prime. Res64: 094019FC068C5339 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:29:47] 963*2^1404887-1 is not prime. Res64: 575791134EEC2E24 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:29:47] 981*2^1404887-1 is not prime. Res64: 20912E45599911DC Time : 0.0 sec. user=mdettweiler [2015-07-31 17:30:11] 929*2^1404888-1 is not prime. Res64: F976EE8F8479045D Time : 0.0 sec. user=mdettweiler [2015-07-31 17:30:12] 615*2^1404889-1 is not prime. Res64: EEB456EB2D812EA4 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:47:02] 687*2^1404889-1 is not prime. Res64: EA01D08A0D51E315 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:47:02] 817*2^1404889-1 is not prime. Res64: 0BAFC53DF034CA5F Time : 0.0 sec. user=mdettweiler [2015-07-31 17:47:26] 939*2^1404889-1 is not prime. Res64: 022C859ADCD24326 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:47:26] 671*2^1404890-1 is not prime. Res64: 723EB5D2FF15E372 Time : 0.0 sec. user=mdettweiler [2015-07-31 17:47:27] 855*2^1404889-1 is not prime. Res64: 25F0A45E4CC9D6BD Time : 0.0 sec. user=mdettweiler [2015-07-31 17:47:28] 867*2^1404889-1 is not prime. Res64: E1129611A39BDEBA Time : 0.0 sec. user=mdettweiler [2015-07-31 17:48:01] 945*2^1404890-1 is not prime. Res64: 523CDBDE1CA131FB Time : 0.0 sec. user=mdettweiler [2015-07-31 17:48:01] 601*2^1404891-1 is not prime. Res64: EF62A9055711C7D7 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:04:53] 789*2^1404891-1 is not prime. Res64: 5D9F97E0ECDE77C5 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:04:55] 801*2^1404891-1 is not prime. Res64: 15AD0AB76F332792 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:05:02] 823*2^1404891-1 is not prime. Res64: 7EA234639C76EB8D Time : 0.0 sec. user=mdettweiler [2015-07-31 18:05:03] 755*2^1404892-1 is not prime. Res64: DAE79F46B0794C62 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:05:10] 785*2^1404892-1 is not prime. Res64: 6D4EC34E38BE11F1 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:05:11] 827*2^1404892-1 is not prime. Res64: F9FAAD9999529E7A Time : 0.0 sec. user=mdettweiler [2015-07-31 18:05:50] 843*2^1404892-1 is not prime. Res64: 6E472D688EC8BCFB Time : 0.0 sec. user=mdettweiler [2015-07-31 18:05:51] 999*2^1404892-1 is not prime. Res64: 9513B046CB0941F8 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:22:37] 721*2^1404893-1 is not prime. Res64: 2FAD7B632A271838 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:22:37] 735*2^1404893-1 is not prime. Res64: EEA40D2B21C96757 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:22:48] 871*2^1404893-1 is not prime. Res64: FAD372A2029EDBE1 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:22:48] 771*2^1404893-1 is not prime. Res64: 0AE13745BB03015C Time : 0.0 sec. user=mdettweiler [2015-07-31 18:22:48] 897*2^1404893-1 is not prime. Res64: 31EA6327D3CC99D1 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:22:48] 819*2^1404893-1 is not prime. Res64: D09EB1DB78716550 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:23:29] 927*2^1404893-1 is not prime. Res64: B131D83074A9E570 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:23:29] 949*2^1404893-1 is not prime. Res64: 35300053929B983C Time : 0.0 sec. user=mdettweiler [2015-07-31 18:40:20] 967*2^1404893-1 is not prime. Res64: C261A53D09905165 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:40:20] 605*2^1404894-1 is not prime. Res64: F22410D6AA5ADCDE Time : 0.0 sec. user=mdettweiler [2015-07-31 18:40:27] 755*2^1404894-1 is not prime. Res64: 10089FA98B0B0842 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:40:28] 797*2^1404894-1 is not prime. Res64: 53598AF422560E23 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:40:30] 627*2^1404894-1 is not prime. Res64: 29C60E949A59028C Time : 0.0 sec. user=mdettweiler [2015-07-31 18:40:31] 681*2^1404894-1 is not prime. Res64: 30B22D92F4C184F9 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:41:12] 851*2^1404894-1 is not prime. Res64: F83B7F3307D1FD94 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:41:13] 885*2^1404894-1 is not prime. Res64: 2313BD9CDA6E8E23 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:58:02] 887*2^1404894-1 is not prime. Res64: 8F73B8D5D127527E Time : 0.0 sec. user=mdettweiler [2015-07-31 18:58:03] 903*2^1404894-1 is not prime. Res64: D432B9914C9A2938 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:58:10] 1001*2^1404894-1 is not prime. Res64: C1D61EEEC4D275EF Time : 0.0 sec. user=mdettweiler [2015-07-31 18:58:10] 645*2^1404895-1 is not prime. Res64: 5306B4B8494B3D83 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:58:22] 941*2^1404894-1 is not prime. Res64: 0717CD94DB28690B Time : 0.0 sec. user=mdettweiler [2015-07-31 18:58:22] 971*2^1404894-1 is not prime. Res64: 11D091BD98FD3A02 Time : 0.0 sec. user=mdettweiler [2015-07-31 18:58:56] 651*2^1404895-1 is not prime. Res64: 78E5CA335DBC7DCC Time : 0.0 sec. user=mdettweiler [2015-07-31 18:58:56] 741*2^1404895-1 is not prime. Res64: 733550F6A3F47A61 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:15:44] 751*2^1404895-1 is not prime. Res64: 1E974A7D5817D1A0 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:15:44] 775*2^1404895-1 is not prime. Res64: DF61DC83BEE517E6 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:15:46] 789*2^1404895-1 is not prime. Res64: 51E820CE865EBE16 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:15:46] 793*2^1404895-1 is not prime. Res64: 2280860B11A6F31E Time : 0.0 sec. user=mdettweiler [2015-07-31 19:16:05] 861*2^1404895-1 is not prime. Res64: DA48593DC1C08BE9 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:16:06] 939*2^1404895-1 is not prime. Res64: ACFF3B8073B93C56 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:16:34] 623*2^1404896-1 is not prime. Res64: 6E5CD27DAEDE4E85 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:16:34] 635*2^1404896-1 is not prime. Res64: 56FD70E09B6F1451 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:33:23] 675*2^1404896-1 is not prime. Res64: 08BDDAD157035C83 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:33:23] 677*2^1404896-1 is not prime. Res64: 39999B77F091A566 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:33:29] 825*2^1404896-1 is not prime. Res64: C3FF31D484FF4F78 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:33:29] 827*2^1404896-1 is not prime. Res64: 235F80CB607A9A41 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:33:49] 869*2^1404896-1 is not prime. Res64: 8A07365C4F8E67DA Time : 0.0 sec. user=mdettweiler [2015-07-31 19:33:49] 873*2^1404896-1 is not prime. Res64: 0740CFDBAD56C5C1 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:34:14] 903*2^1404896-1 is not prime. Res64: 0DBE4D1FA69B1B9D Time : 0.0 sec. user=mdettweiler [2015-07-31 19:34:14] 777*2^1404897-1 is not prime. Res64: 5B25FC17665D5E58 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:51:04] 847*2^1404897-1 is not prime. Res64: 667A6BDA43C7085F Time : 0.0 sec. user=mdettweiler [2015-07-31 19:51:05] 889*2^1404897-1 is not prime. Res64: 35BB0AE48D02FC70 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:51:07] 895*2^1404897-1 is not prime. Res64: CEBE44D0050C643E Time : 0.0 sec. user=mdettweiler [2015-07-31 19:51:07] 909*2^1404897-1 is not prime. Res64: D8F6F123245739CA Time : 0.0 sec. user=mdettweiler [2015-07-31 19:51:30] 985*2^1404897-1 is not prime. Res64: 67AA76D609FD7415 Time : 0.0 sec. user=mdettweiler [2015-07-31 19:51:31] 617*2^1404898-1 is not prime. Res64: 5D7D729660BDE41C Time : 0.0 sec. user=mdettweiler [2015-07-31 19:51:52] 651*2^1404898-1 is not prime. Res64: 5F25BC979761B8FF Time : 0.0 sec. user=mdettweiler [2015-07-31 19:51:52] 681*2^1404898-1 is not prime. Res64: 12B32D23FC45C1AD Time : 0.0 sec. user=mdettweiler [2015-07-31 20:08:50] 643*2^1404899-1 is not prime. Res64: 6C4988C9B00B6C4F Time : 0.0 sec. user=mdettweiler [2015-07-31 20:08:50] 645*2^1404899-1 is not prime. Res64: B250E907E7C40885 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:08:59] 843*2^1404898-1 is not prime. Res64: D6998F68441D5DE1 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:08:59] 1001*2^1404898-1 is not prime. Res64: 0214F0661D0E1B12 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:09:15] 675*2^1404899-1 is not prime. Res64: 1F25FDA2FF844766 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:09:15] 711*2^1404899-1 is not prime. Res64: AFF8DFBD80E1814B Time : 0.0 sec. user=mdettweiler [2015-07-31 20:09:33] 735*2^1404899-1 is not prime. Res64: 52EB73065C3EA21D Time : 0.0 sec. user=mdettweiler [2015-07-31 20:09:34] 811*2^1404899-1 is not prime. Res64: F2D7B9C74D8BFDCE Time : 0.0 sec. user=mdettweiler [2015-07-31 20:26:29] 629*2^1404900-1 is not prime. Res64: 500425DDB596DDEB Time : 0.0 sec. user=mdettweiler [2015-07-31 20:26:29] 783*2^1404900-1 is not prime. Res64: 103698EAA9372497 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:26:43] 789*2^1404900-1 is not prime. Res64: 55716BBBA1FA18F6 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:26:43] 797*2^1404900-1 is not prime. Res64: DD2DBFB06BB5D737 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:26:57] 923*2^1404900-1 is not prime. Res64: 27A0A6D15D55D843 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:26:57] 609*2^1404901-1 is not prime. Res64: 9CD08077AA693C16 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:27:19] 619*2^1404901-1 is not prime. Res64: E77E77531497E548 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:27:19] 757*2^1404901-1 is not prime. Res64: 2C43945B8E3D83FB Time : 0.0 sec. user=mdettweiler [2015-07-31 20:44:09] 849*2^1404901-1 is not prime. Res64: C7F07D755337EC3E Time : 0.0 sec. user=mdettweiler [2015-07-31 20:44:10] 871*2^1404901-1 is not prime. Res64: 68B8ED1698141BEF Time : 0.0 sec. user=mdettweiler [2015-07-31 20:44:26] 603*2^1404902-1 is not prime. Res64: 14685D3A32D0C29C Time : 0.0 sec. user=mdettweiler [2015-07-31 20:44:27] 671*2^1404902-1 is not prime. Res64: 5C5CA777D5D34586 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:44:43] 675*2^1404902-1 is not prime. Res64: 941E448811ADBD94 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:44:43] 711*2^1404902-1 is not prime. Res64: D72B797095EF3FFA Time : 0.0 sec. user=mdettweiler [2015-07-31 20:45:10] 885*2^1404902-1 is not prime. Res64: A236B3A7973830A3 Time : 0.0 sec. user=mdettweiler [2015-07-31 20:45:10] 775*2^1404903-1 is not prime. Res64: DF2D07429C30AF0E Time : 0.0 sec. user=mdettweiler [2015-07-31 21:01:50] 849*2^1404903-1 is not prime. Res64: D56A1EEBAE34621D Time : 0.0 sec. user=mdettweiler [2015-07-31 21:01:50] 901*2^1404903-1 is not prime. Res64: 61BC8A94392E571C Time : 0.0 sec. user=mdettweiler [2015-07-31 21:02:10] 677*2^1404904-1 is not prime. Res64: EF1F0C68A4D7C511 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:02:11] 887*2^1404904-1 is not prime. Res64: 7CB02BFD4597C902 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:02:25] 905*2^1404904-1 is not prime. Res64: CDAB4CEECCDB8E13 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:02:26] 915*2^1404904-1 is not prime. Res64: 759361710FAE32A3 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:02:57] 983*2^1404904-1 is not prime. Res64: 2AF2DFB27E830086 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:02:58] 771*2^1404905-1 is not prime. Res64: 34D936D89D88B462 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:19:51] 897*2^1404905-1 is not prime. Res64: 0E3640DC913844A3 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:19:52] 635*2^1404906-1 is not prime. Res64: 7EAB086343C5F762 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:19:57] 811*2^1404905-1 is not prime. Res64: FFC0D0AE6EF8EE95 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:19:57] 841*2^1404905-1 is not prime. Res64: 91FB1508BC65A96E Time : 0.0 sec. user=mdettweiler [2015-07-31 21:20:10] 683*2^1404906-1 is not prime. Res64: C383C714EFE4CC07 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:20:11] 723*2^1404906-1 is not prime. Res64: 255A416AEA9B700F Time : 0.0 sec. user=mdettweiler [2015-07-31 21:20:45] 843*2^1404906-1 is not prime. Res64: E7B0EA7331B37EE0 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:20:46] 917*2^1404906-1 is not prime. Res64: AD324D373212F4EB Time : 0.0 sec. user=mdettweiler [2015-07-31 21:37:33] 941*2^1404906-1 is not prime. Res64: D872858231328FB6 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:37:33] 603*2^1404907-1 is not prime. Res64: D53CA26CDB4D47B4 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:37:36] 631*2^1404907-1 is not prime. Res64: 16CACB1F87321A57 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:37:36] 769*2^1404907-1 is not prime. Res64: 2E041918CFBC1F9B Time : 0.0 sec. user=mdettweiler [2015-07-31 21:37:50] 885*2^1404907-1 is not prime. Res64: 8031165A379A0EF7 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:37:50] 891*2^1404907-1 is not prime. Res64: 3D714375020D5FF1 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:38:28] 915*2^1404907-1 is not prime. Res64: FF1A687D86D6D977 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:38:28] 951*2^1404907-1 is not prime. Res64: DBCC47ACFF18D92B Time : 0.0 sec. user=mdettweiler [2015-07-31 21:55:13] 843*2^1404908-1 is not prime. Res64: 4E46EA0A1ADABE0C Time : 0.0 sec. user=mdettweiler [2015-07-31 21:55:14] 845*2^1404908-1 is not prime. Res64: 9E7590E714D446FD Time : 0.0 sec. user=mdettweiler [2015-07-31 21:55:15] 617*2^1404908-1 is not prime. Res64: 022F6ADFBC8A9680 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:55:15] 767*2^1404908-1 is not prime. Res64: 3EF81B87E3F4F48E Time : 0.0 sec. user=mdettweiler [2015-07-31 21:55:27] 993*2^1404908-1 is not prime. Res64: 1108312721BEA9C1 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:55:28] 995*2^1404908-1 is not prime. Res64: 164C7CE7250B2F06 Time : 0.0 sec. user=mdettweiler [2015-07-31 21:56:09] 745*2^1404909-1 is not prime. Res64: E6135ED3D776B11A Time : 0.0 sec. user=mdettweiler [2015-07-31 21:56:10] 747*2^1404909-1 is not prime. Res64: 59162CA2A3FDE909 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:12:45] 781*2^1404909-1 is not prime. Res64: 6DA3043BDB8F75DA Time : 0.0 sec. user=mdettweiler [2015-07-31 22:12:46] 907*2^1404909-1 is not prime. Res64: 81C089522827C3E6 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:12:58] 991*2^1404909-1 is not prime. Res64: 66F10C4045E03C73 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:12:58] 623*2^1404910-1 is not prime. Res64: 68382A577CC09396 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:13:03] 653*2^1404910-1 is not prime. Res64: F115736A98A9B7C2 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:13:03] 681*2^1404910-1 is not prime. Res64: 203DDF6BF8AD28C0 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:14:07] 695*2^1404910-1 is not prime. Res64: 2ACD20065A09A9C5 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:14:07] 723*2^1404910-1 is not prime. Res64: 8CDEFDE187C668F6 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:30:19] 765*2^1404910-1 is not prime. Res64: 3A02863303A0CFDF Time : 0.0 sec. user=mdettweiler [2015-07-31 22:30:19] 777*2^1404910-1 is not prime. Res64: 16D763525F541924 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:30:36] 827*2^1404910-1 is not prime. Res64: 23EAFB8B67928688 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:30:37] 831*2^1404910-1 is not prime. Res64: 806636A0466C25BF Time : 0.0 sec. user=mdettweiler [2015-07-31 22:30:37] 923*2^1404910-1 is not prime. Res64: BA53D3C3CC88B831 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:30:37] 663*2^1404911-1 is not prime. Res64: C689D28D151F3618 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:31:45] 669*2^1404911-1 is not prime. Res64: AEB74BBDA95608C3 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:31:45] 693*2^1404911-1 is not prime. Res64: AAE3A1799E70B752 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:48:05] 819*2^1404911-1 is not prime. Res64: C2B92FBD6081D38B Time : 0.0 sec. user=mdettweiler [2015-07-31 22:48:05] 889*2^1404911-1 is not prime. Res64: D7BF861615204538 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:48:20] 901*2^1404911-1 is not prime. Res64: 22965CB9BC658466 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:48:21] 939*2^1404911-1 is not prime. Res64: 738B7D2F99A1641D Time : 0.0 sec. user=mdettweiler [2015-07-31 22:48:26] 943*2^1404911-1 is not prime. Res64: E2C112779B426218 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:48:26] 955*2^1404911-1 is not prime. Res64: 818889D94F634536 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:49:32] 633*2^1404912-1 is not prime. Res64: A3F6D695C94F03F4 Time : 0.0 sec. user=mdettweiler [2015-07-31 22:49:32] 689*2^1404912-1 is not prime. Res64: CE0174FDFB016641 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:05:51] 737*2^1404912-1 is not prime. Res64: EE4441E845E1E4A6 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:05:53] 857*2^1404912-1 is not prime. Res64: 24EE82382DE7588F Time : 0.0 sec. user=mdettweiler [2015-07-31 23:06:06] 909*2^1404912-1 is not prime. Res64: E5CD51B7D7ECA15D Time : 0.0 sec. user=mdettweiler [2015-07-31 23:06:08] 999*2^1404912-1 is not prime. Res64: 226322EB3BF18D77 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:06:30] 769*2^1404913-1 is not prime. Res64: 3E8408BE262CE93F Time : 0.0 sec. user=mdettweiler [2015-07-31 23:06:30] 633*2^1404914-1 is not prime. Res64: 45FC99081FFAA7B9 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:07:20] 635*2^1404914-1 is not prime. Res64: E3A1205BF817DD23 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:07:20] 641*2^1404914-1 is not prime. Res64: 8DD52D1EC4F3926A Time : 0.0 sec. user=mdettweiler [2015-07-31 23:23:45] 701*2^1404914-1 is not prime. Res64: D3178AB0CEC76625 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:23:45] 773*2^1404914-1 is not prime. Res64: 30F4015F2E92275B Time : 0.0 sec. user=mdettweiler [2015-07-31 23:23:57] 813*2^1404914-1 is not prime. Res64: 0BC74104C362E505 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:23:58] 921*2^1404914-1 is not prime. Res64: 5C54525070214E07 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:24:12] 995*2^1404914-1 is not prime. Res64: 216367A80A1CD396 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:24:12] 1001*2^1404914-1 is not prime. Res64: B18CE3C25D2E5EB9 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:25:00] 793*2^1404915-1 is not prime. Res64: 7AABAC4E231A18BA Time : 0.0 sec. user=mdettweiler [2015-07-31 23:25:00] 801*2^1404915-1 is not prime. Res64: A169F9F69561DA40 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:41:23] 853*2^1404915-1 is not prime. Res64: 490F1F64D24AB6AA Time : 0.0 sec. user=mdettweiler [2015-07-31 23:41:23] 873*2^1404915-1 is not prime. Res64: B205D1937471BDB2 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:41:35] 891*2^1404915-1 is not prime. Res64: 046F7C9506C31B26 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:41:36] 895*2^1404915-1 is not prime. Res64: E78F17840C0AE9FC Time : 0.0 sec. user=mdettweiler [2015-07-31 23:41:54] 979*2^1404915-1 is not prime. Res64: 7E894EC0799CE006 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:41:54] 689*2^1404916-1 is not prime. Res64: DD76EFCA463BEFB2 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:42:36] 705*2^1404916-1 is not prime. Res64: 48DC0544836E7AFA Time : 0.0 sec. user=mdettweiler [2015-07-31 23:42:36] 765*2^1404916-1 is not prime. Res64: C183F807FC6AAB0A Time : 0.0 sec. user=mdettweiler [2015-07-31 23:59:06] 843*2^1404916-1 is not prime. Res64: AFFDCC63EBD36B90 Time : 0.0 sec. user=mdettweiler [2015-07-31 23:59:06] 939*2^1404916-1 is not prime. Res64: 2CD824CF447BFBBE Time : 0.0 sec. user=mdettweiler [2015-07-31 23:59:15] 777*2^1404917-1 is not prime. Res64: BC03A6C7B8B0198E Time : 0.0 sec. user=mdettweiler [2015-07-31 23:59:15] 831*2^1404917-1 is not prime. Res64: 0F822F7076D181AC Time : 0.0 sec. user=mdettweiler [2015-07-31 23:59:32] 925*2^1404917-1 is not prime. Res64: ADB60660E4C9E12E Time : 0.0 sec. user=mdettweiler [2015-07-31 23:59:33] 621*2^1404918-1 is not prime. Res64: C96824B917BB8CE0 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:00:19] 651*2^1404918-1 is not prime. Res64: DB295478F03557F7 Time : 0.0 sec. user=mdettweiler [2015-08-01 00:00:20] 713*2^1404918-1 is not prime. Res64: DEB12734FBA1A6CC Time : 0.0 sec.