user=mdettweiler [2017-04-25 00:23:59] 825*2^1452551-1 is not prime. Res64: 1BBD04D8EF2164EC Time : 0.0 sec. user=mdettweiler [2017-04-25 00:23:59] 843*2^1452551-1 is not prime. Res64: 80F245D0285A22C1 Time : 0.0 sec. user=mdettweiler [2017-04-25 00:24:00] 883*2^1452551-1 is not prime. Res64: 43B960201EBB24A0 Time : 0.0 sec. user=mdettweiler [2017-04-25 00:24:00] 993*2^1452551-1 is not prime. Res64: 88ABEC8370D3FC0A Time : 0.0 sec. user=mdettweiler [2017-04-25 00:24:00] 999*2^1452551-1 is not prime. Res64: 6F78E9AA6CCD0E5D Time : 0.0 sec. user=mdettweiler [2017-04-25 00:28:33] 615*2^1452552-1 is not prime. Res64: 62628C0C8E7B9975 Time : 0.0 sec. user=mdettweiler [2017-04-25 00:28:33] 669*2^1452552-1 is not prime. Res64: 10D6B2B62D299E47 Time : 0.0 sec. user=mdettweiler [2017-04-25 00:28:33] 777*2^1452552-1 is not prime. Res64: D72EA5EBDFAE60F6 Time : 0.0 sec. user=mdettweiler [2017-04-25 00:28:33] 819*2^1452552-1 is not prime. Res64: C7A6FE9BE002C006 Time : 0.0 sec. user=mdettweiler [2017-04-25 00:28:34] 825*2^1452552-1 is not prime. Res64: 094F27DC90E26DF3 Time : 0.0 sec. user=juhehe [2017-04-25 00:56:31] 843*2^1452552-1 is not prime. Res64: 71CCD807C0BCFADB Time : 0.0 sec. user=mdettweiler [2017-04-25 01:08:24] 607*2^1452553-1 is not prime. Res64: A13DF6198AD5ECE1 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:08:24] 639*2^1452553-1 is not prime. Res64: C3651B04AEA9B9AA Time : 0.0 sec. user=mdettweiler [2017-04-25 01:08:25] 721*2^1452553-1 is not prime. Res64: B826B355AEAB022F Time : 0.0 sec. user=mdettweiler [2017-04-25 01:08:25] 801*2^1452553-1 is not prime. Res64: 1B6AD2F1F81F5867 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:08:26] 945*2^1452553-1 is not prime. Res64: 6EDCAE5FB1568AB6 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:12:56] 955*2^1452553-1 is not prime. Res64: 2FCDFDAC1DAC4EA1 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:12:57] 797*2^1452554-1 is not prime. Res64: 950DFE2354E95670 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:12:57] 857*2^1452554-1 is not prime. Res64: 6BFE9DF65B8C099E Time : 0.0 sec. user=mdettweiler [2017-04-25 01:12:57] 921*2^1452554-1 is not prime. Res64: 99C50B1C5389BDB8 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:12:57] 923*2^1452554-1 is not prime. Res64: BAF5CFCF2AFD1AD4 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:52:57] 953*2^1452554-1 is not prime. Res64: F34F117B69CCDB3A Time : 0.0 sec. user=mdettweiler [2017-04-25 01:52:58] 1001*2^1452554-1 is not prime. Res64: 67B63C1CDA6FEA41 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:52:58] 675*2^1452555-1 is not prime. Res64: 4702F66A206E5AFA Time : 0.0 sec. user=mdettweiler [2017-04-25 01:52:58] 801*2^1452555-1 is not prime. Res64: C3E9B788FC1DE852 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:52:58] 871*2^1452555-1 is not prime. Res64: 663BC901D590793C Time : 0.0 sec. user=mdettweiler [2017-04-25 01:57:20] 955*2^1452555-1 is not prime. Res64: EEF36BD2F05E63B6 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:57:20] 985*2^1452555-1 is not prime. Res64: 82BE69254FD18F04 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:57:21] 869*2^1452556-1 is not prime. Res64: A29EA33125900BB4 Time : 0.0 sec. user=mdettweiler [2017-04-25 01:57:21] 897*2^1452556-1 is not prime. Res64: 44BCE75D28DBBE2F Time : 0.0 sec. user=mdettweiler [2017-04-25 01:57:21] 923*2^1452556-1 is not prime. Res64: C966D83FE449D3A4 Time : 0.0 sec. user=mdettweiler [2017-04-25 02:37:22] 939*2^1452556-1 is not prime. Res64: 335BF49C6D9AD017 Time : 0.0 sec. user=mdettweiler [2017-04-25 02:37:23] 957*2^1452556-1 is not prime. Res64: 0A6457886EF47C0E Time : 0.0 sec. user=mdettweiler [2017-04-25 02:37:23] 989*2^1452556-1 is not prime. Res64: D7900CAB1EF5D963 Time : 0.0 sec. user=mdettweiler [2017-04-25 02:37:23] 621*2^1452557-1 is not prime. Res64: 4AAC6539371CDBCA Time : 0.0 sec. user=mdettweiler [2017-04-25 02:37:24] 715*2^1452557-1 is not prime. Res64: 4FC45B6C1C0C9A72 Time : 0.0 sec. user=mdettweiler [2017-04-25 02:41:48] 847*2^1452557-1 is not prime. Res64: 20655160383E24AF Time : 0.0 sec. user=mdettweiler [2017-04-25 02:41:48] 657*2^1452558-1 is not prime. Res64: 27951E5B1987E863 Time : 0.0 sec. user=mdettweiler [2017-04-25 02:41:48] 707*2^1452558-1 is not prime. Res64: 5D145698D220EC2D Time : 0.0 sec. user=mdettweiler [2017-04-25 02:41:49] 801*2^1452558-1 is not prime. Res64: 9F31E7B3488708DD Time : 0.0 sec. user=mdettweiler [2017-04-25 02:41:49] 887*2^1452558-1 is not prime. Res64: B5131417AA293DB6 Time : 0.0 sec. user=juhehe [2017-04-25 02:55:50] 639*2^1452559-1 is not prime. Res64: 191A07890B4D03CD Time : 0.0 sec. user=mdettweiler [2017-04-25 03:21:55] 723*2^1452559-1 is not prime. Res64: 33EE5B72B7959B71 Time : 0.0 sec. user=mdettweiler [2017-04-25 03:21:56] 729*2^1452559-1 is not prime. Res64: A3CFFC806EC2BB30 Time : 0.0 sec. user=mdettweiler [2017-04-25 03:21:56] 751*2^1452559-1 is not prime. Res64: 06756EA677F35AAA Time : 0.0 sec. user=mdettweiler [2017-04-25 03:21:56] 853*2^1452559-1 is not prime. Res64: 8A00B978EE226508 Time : 0.0 sec. user=mdettweiler [2017-04-25 03:21:57] 999*2^1452559-1 is not prime. Res64: C371E96E8C049216 Time : 0.0 sec. user=mdettweiler [2017-04-25 03:26:22] 665*2^1452560-1 is not prime. Res64: 49081814D758E3CA Time : 0.0 sec. user=mdettweiler [2017-04-25 03:26:23] 689*2^1452560-1 is not prime. Res64: A8BFC11C773A4047 Time : 0.0 sec. user=mdettweiler [2017-04-25 03:26:24] 755*2^1452560-1 is not prime. Res64: 4D295290CF778956 Time : 0.0 sec. user=mdettweiler [2017-04-25 03:26:24] 767*2^1452560-1 is not prime. Res64: E3D4782B12B202E9 Time : 0.0 sec. user=mdettweiler [2017-04-25 03:26:25] 797*2^1452560-1 is not prime. Res64: F442CE136EC28E60 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:06:23] 879*2^1452560-1 is not prime. Res64: 89A28455A80E393B Time : 0.0 sec. user=mdettweiler [2017-04-25 04:06:23] 959*2^1452560-1 is not prime. Res64: 2277A431B972196E Time : 0.0 sec. user=mdettweiler [2017-04-25 04:06:23] 601*2^1452561-1 is not prime. Res64: EBF9B945465093C5 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:06:24] 837*2^1452561-1 is not prime. Res64: 6B9C5E5F57C31A64 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:06:24] 847*2^1452561-1 is not prime. Res64: 26DE223767EE6F09 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:10:50] 621*2^1452562-1 is not prime. Res64: 2096C216A2342C79 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:10:51] 695*2^1452562-1 is not prime. Res64: 61D6FFE188E0B3CD Time : 0.0 sec. user=mdettweiler [2017-04-25 04:10:51] 777*2^1452562-1 is not prime. Res64: C0A84869C40716A7 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:10:51] 833*2^1452562-1 is not prime. Res64: 330AC61E74A9B090 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:10:51] 941*2^1452562-1 is not prime. Res64: 0893F2522E11D7C5 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:50:48] 951*2^1452562-1 is not prime. Res64: 2BD1A9F1524C487F Time : 0.0 sec. user=mdettweiler [2017-04-25 04:50:49] 619*2^1452563-1 is not prime. Res64: D1972069CDEF6774 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:50:49] 633*2^1452563-1 is not prime. Res64: BBA62ECB39D6C925 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:50:49] 963*2^1452563-1 is not prime. Res64: 61F7EF7926FE5244 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:50:49] 981*2^1452563-1 is not prime. Res64: C26C6CA71E10CE90 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:55:16] 903*2^1452564-1 is not prime. Res64: 5BDA0DE11BB380DC Time : 0.0 sec. user=mdettweiler [2017-04-25 04:55:16] 927*2^1452564-1 is not prime. Res64: 2DA4E9D16F27BF0C Time : 0.0 sec. user=mdettweiler [2017-04-25 04:55:16] 619*2^1452565-1 is not prime. Res64: C69E710BADDEB3A6 Time : 0.0 sec. user=mdettweiler [2017-04-25 04:55:16] 699*2^1452565-1 is not prime. Res64: 8B72A89C596D5B8C Time : 0.0 sec. user=mdettweiler [2017-04-25 04:55:17] 741*2^1452565-1 is not prime. Res64: A17D84332229913B Time : 0.0 sec. user=juhehe [2017-04-25 04:56:13] 915*2^1452565-1 is not prime. Res64: D6ED1E7ECC0EDC46 Time : 0.0 sec. user=mdettweiler [2017-04-25 05:35:13] 937*2^1452565-1 is not prime. Res64: 8E2A34EF9303A39B Time : 0.0 sec. user=mdettweiler [2017-04-25 05:35:13] 999*2^1452565-1 is not prime. Res64: 98BBE93E4DDA2126 Time : 0.0 sec. user=mdettweiler [2017-04-25 05:35:13] 741*2^1452566-1 is not prime. Res64: 99DB5EECB1D3CD7F Time : 0.0 sec. user=mdettweiler [2017-04-25 05:35:14] 983*2^1452566-1 is not prime. Res64: DCC5D8FF9A317522 Time : 0.0 sec. user=mdettweiler [2017-04-25 05:35:14] 621*2^1452567-1 is not prime. Res64: 9B73D70F6B75C5DB Time : 0.0 sec. user=mdettweiler [2017-04-25 05:39:39] 625*2^1452567-1 is not prime. Res64: AFE7820EE5A40A86 Time : 0.0 sec. user=mdettweiler [2017-04-25 05:39:39] 793*2^1452567-1 is not prime. Res64: 8C7274C7D5F3E6F2 Time : 0.0 sec. user=mdettweiler [2017-04-25 05:39:39] 795*2^1452567-1 is not prime. Res64: B57F0448DC8366F4 Time : 0.0 sec. user=mdettweiler [2017-04-25 05:39:39] 895*2^1452567-1 is not prime. Res64: E2670B22F0667F9D Time : 0.0 sec. user=mdettweiler [2017-04-25 05:39:40] 901*2^1452567-1 is not prime. Res64: D748D3E272F70056 Time : 0.0 sec. user=mdettweiler [2017-04-25 06:19:38] 909*2^1452567-1 is not prime. Res64: CD7EABF1B8F76298 Time : 0.0 sec. user=mdettweiler [2017-04-25 06:19:38] 919*2^1452567-1 is not prime. Res64: E8357B1A6E35858F Time : 0.0 sec. user=mdettweiler [2017-04-25 06:19:38] 603*2^1452568-1 is not prime. Res64: 77446ED65B3B3653 Time : 0.0 sec. user=mdettweiler [2017-04-25 06:19:39] 657*2^1452568-1 is not prime. Res64: 27E0D34DB1B3A426 Time : 0.0 sec. user=mdettweiler [2017-04-25 06:19:39] 797*2^1452568-1 is not prime. Res64: 7D9A5E4A72FED0EC Time : 0.0 sec. user=mdettweiler [2017-04-25 06:24:01] 833*2^1452568-1 is not prime. Res64: 0379B44845396BF6 Time : 0.0 sec. user=mdettweiler [2017-04-25 06:24:02] 957*2^1452568-1 is not prime. Res64: 59BBA50186D33894 Time : 0.0 sec. user=mdettweiler [2017-04-25 06:24:02] 989*2^1452568-1 is not prime. Res64: DC2A119ADA6FC2E7 Time : 0.0 sec. user=mdettweiler [2017-04-25 06:24:02] 619*2^1452569-1 is not prime. Res64: 58C4731AE8ACD5AE Time : 0.0 sec. user=mdettweiler [2017-04-25 06:24:02] 837*2^1452569-1 is not prime. Res64: BD8C71430C90480F Time : 0.0 sec. user=juhehe [2017-04-25 06:54:36] 865*2^1452569-1 is not prime. Res64: 88921452FBE85A22 Time : 0.0 sec. user=juhehe [2017-04-25 07:03:46] 873*2^1452571-1 is not prime. Res64: FC0D66B76FE192C2 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:04:02] 755*2^1452570-1 is not prime. Res64: 643194F330571924 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:04:03] 783*2^1452570-1 is not prime. Res64: 031DD8768358176A Time : 0.0 sec. user=mdettweiler [2017-04-25 07:04:04] 791*2^1452570-1 is not prime. Res64: FB344F425A48CA05 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:04:06] 867*2^1452570-1 is not prime. Res64: CDA9439831E40633 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:04:07] 875*2^1452570-1 is not prime. Res64: C432D3E994FDC6B8 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:08:25] 893*2^1452570-1 is not prime. Res64: 3205043B5537766C Time : 0.0 sec. user=mdettweiler [2017-04-25 07:08:25] 915*2^1452570-1 is not prime. Res64: 9E4580033FFF4D5F Time : 0.0 sec. user=mdettweiler [2017-04-25 07:08:26] 921*2^1452570-1 is not prime. Res64: BD6CC998F29FDD0D Time : 0.0 sec. user=mdettweiler [2017-04-25 07:08:26] 651*2^1452571-1 is not prime. Res64: 2E3E4590F7ACC71C Time : 0.0 sec. user=mdettweiler [2017-04-25 07:08:26] 859*2^1452571-1 is not prime. Res64: 3F5BB87DB797E693 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:48:53] 979*2^1452571-1 is not prime. Res64: B0B1A79C18A54C10 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:48:53] 605*2^1452572-1 is not prime. Res64: 9C8CE32594A5D95D Time : 0.0 sec. user=mdettweiler [2017-04-25 07:48:53] 615*2^1452572-1 is not prime. Res64: B69DE42AA42B4836 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:48:54] 633*2^1452572-1 is not prime. Res64: C9ADFA8C87B3CA9A Time : 0.0 sec. user=mdettweiler [2017-04-25 07:48:54] 665*2^1452572-1 is not prime. Res64: 888AADD57E3ADD8D Time : 0.0 sec. user=mdettweiler [2017-04-25 07:52:49] 687*2^1452572-1 is not prime. Res64: 7CA42CC722D4B0A3 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:52:50] 749*2^1452572-1 is not prime. Res64: 7FBD9E72F5B380C3 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:52:50] 759*2^1452572-1 is not prime. Res64: 45ABB74FB2A4BBE8 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:52:50] 803*2^1452572-1 is not prime. Res64: 08DC434841EB03F3 Time : 0.0 sec. user=mdettweiler [2017-04-25 07:52:50] 867*2^1452572-1 is not prime. Res64: 0F40CB895A7FD499 Time : 0.0 sec. user=mdettweiler [2017-04-25 08:33:19] 987*2^1452572-1 is not prime. Res64: A73C32E234971971 Time : 0.0 sec. user=mdettweiler [2017-04-25 08:33:19] 999*2^1452572-1 is not prime. Res64: 43E7A8B86AFA4444 Time : 0.0 sec. user=mdettweiler [2017-04-25 08:33:20] 699*2^1452573-1 is not prime. Res64: CC57A08191785ECE Time : 0.0 sec. user=mdettweiler [2017-04-25 08:33:20] 751*2^1452573-1 is not prime. Res64: 30E4C8F41D721878 Time : 0.0 sec. user=mdettweiler [2017-04-25 08:33:20] 847*2^1452573-1 is not prime. Res64: FB28B2027D69AA9F Time : 0.0 sec. user=mdettweiler [2017-04-25 08:37:12] 915*2^1452573-1 is not prime. Res64: 5C910CF9D5A722D0 Time : 0.0 sec. user=mdettweiler [2017-04-25 08:37:13] 999*2^1452573-1 is not prime. Res64: 714E742CE9D46ECB Time : 0.0 sec. user=mdettweiler [2017-04-25 08:37:13] 645*2^1452574-1 is not prime. Res64: C6B2033132DE2FC1 Time : 0.0 sec. user=mdettweiler [2017-04-25 08:37:13] 741*2^1452574-1 is not prime. Res64: 20FDA075A6CB730A Time : 0.0 sec. user=mdettweiler [2017-04-25 08:37:13] 825*2^1452574-1 is not prime. Res64: 4C0ED9953ADD284B Time : 0.0 sec. user=juhehe [2017-04-25 08:54:07] 855*2^1452574-1 is not prime. Res64: F7304C43F3AAA090 Time : 0.0 sec. user=mdettweiler [2017-04-25 09:17:43] 881*2^1452574-1 is not prime. Res64: 486F4FC994D71ABC Time : 0.0 sec. user=mdettweiler [2017-04-25 09:17:43] 885*2^1452574-1 is not prime. Res64: 587BE293F3EF7112 Time : 0.0 sec. user=mdettweiler [2017-04-25 09:17:43] 923*2^1452574-1 is not prime. Res64: 54A5DB2F1C7F9EB4 Time : 0.0 sec. user=mdettweiler [2017-04-25 09:17:44] 947*2^1452574-1 is not prime. Res64: 1CB9CF3D7C7FC1EA Time : 0.0 sec. user=mdettweiler [2017-04-25 09:17:44] 685*2^1452575-1 is not prime. Res64: 0E75AD4736865FB2 Time : 0.0 sec. user=mdettweiler [2017-04-25 09:21:36] 741*2^1452575-1 is not prime. Res64: C68681EBCC48F939 Time : 0.0 sec. user=mdettweiler [2017-04-25 09:21:36] 759*2^1452575-1 is not prime. Res64: 590DD06D5262C135 Time : 0.0 sec. user=mdettweiler [2017-04-25 09:21:37] 771*2^1452575-1 is not prime. Res64: F094A2323BF82E32 Time : 0.0 sec. user=mdettweiler [2017-04-25 09:21:37] 843*2^1452575-1 is not prime. Res64: 929EE7ABBE56512A Time : 0.0 sec. user=mdettweiler [2017-04-25 09:21:37] 973*2^1452575-1 is not prime. Res64: 48F84C597F8D8E72 Time : 0.0 sec. user=mdettweiler [2017-04-25 10:02:19] 669*2^1452576-1 is not prime. Res64: 0C4A77D70DC20A6D Time : 0.0 sec. user=mdettweiler [2017-04-25 10:02:21] 765*2^1452576-1 is not prime. Res64: 57BD0D79FD695A93 Time : 0.0 sec. user=mdettweiler [2017-04-25 10:02:21] 779*2^1452576-1 is not prime. Res64: 703648213E418BE6 Time : 0.0 sec. user=mdettweiler [2017-04-25 10:02:22] 837*2^1452576-1 is not prime. Res64: 664811EFB21F7AB4 Time : 0.0 sec. user=mdettweiler [2017-04-25 10:02:23] 893*2^1452576-1 is not prime. Res64: B9301E6CA941A917 Time : 0.0 sec. user=mdettweiler [2017-04-25 10:06:08] 969*2^1452576-1 is not prime. Res64: 8F25EEFA24950523 Time : 0.0 sec. user=mdettweiler [2017-04-25 10:06:08] 975*2^1452576-1 is not prime. Res64: F5DE28B862BC8BD3 Time : 0.0 sec. user=mdettweiler [2017-04-25 10:06:09] 747*2^1452577-1 is not prime. Res64: 6EB4A1079D260E2E Time : 0.0 sec. user=mdettweiler [2017-04-25 10:06:09] 847*2^1452577-1 is not prime. Res64: 64C81F9BEDFCF0C5 Time : 0.0 sec. user=mdettweiler [2017-04-25 10:06:09] 889*2^1452577-1 is not prime. Res64: DE81BE1777D11C1C Time : 0.0 sec. user=mdettweiler [2017-04-25 10:47:06] 901*2^1452577-1 is not prime. Res64: 9532FFB5364D1C61 Time : 0.0 sec. user=mdettweiler [2017-04-25 10:47:06] 937*2^1452577-1 is not prime. Res64: E3BEBCE4DFA0D2EB Time : 0.0 sec. user=mdettweiler [2017-04-25 10:47:07] 955*2^1452577-1 is not prime. Res64: DF465994A19E293F Time : 0.0 sec. user=mdettweiler [2017-04-25 10:47:07] 975*2^1452577-1 is not prime. Res64: 80E11EB17C6267EC Time : 0.0 sec. user=mdettweiler [2017-04-25 10:47:07] 645*2^1452578-1 is not prime. Res64: 555C4F96DD698049 Time : 0.0 sec. user=mdettweiler [2017-04-25 10:50:32] 671*2^1452578-1 is not prime. Res64: 331E80B8018AA18A Time : 0.0 sec. user=mdettweiler [2017-04-25 10:50:32] 771*2^1452578-1 is not prime. Res64: C1C907DDD74F1C3B Time : 0.0 sec. user=mdettweiler [2017-04-25 10:50:33] 815*2^1452578-1 is not prime. Res64: 63757BFA56EDEA2B Time : 0.0 sec. user=mdettweiler [2017-04-25 10:50:33] 843*2^1452578-1 is not prime. Res64: B32F15C76F65938A Time : 0.0 sec. user=mdettweiler [2017-04-25 10:50:33] 845*2^1452578-1 is not prime. Res64: 0F07DFFA75087DBA Time : 0.0 sec. user=juhehe [2017-04-25 10:54:11] 887*2^1452578-1 is not prime. Res64: DE4A207DF214ED77 Time : 0.0 sec. user=mdettweiler [2017-04-25 11:31:31] 893*2^1452578-1 is not prime. Res64: 12F8FEBC3B9AE009 Time : 0.0 sec. user=mdettweiler [2017-04-25 11:31:31] 957*2^1452578-1 is not prime. Res64: D65A8C2D056C9D6E Time : 0.0 sec. user=mdettweiler [2017-04-25 11:31:31] 971*2^1452578-1 is not prime. Res64: 334F88BED60B1D75 Time : 0.0 sec. user=mdettweiler [2017-04-25 11:31:32] 679*2^1452579-1 is not prime. Res64: ADE058016CAC05C3 Time : 0.0 sec. user=mdettweiler [2017-04-25 11:31:32] 735*2^1452579-1 is not prime. Res64: E18B5CA07BE3196A Time : 0.0 sec. user=mdettweiler [2017-04-25 11:34:56] 751*2^1452579-1 is not prime. Res64: 70BCEAF53E2EBDD5 Time : 0.0 sec. user=mdettweiler [2017-04-25 11:34:56] 753*2^1452579-1 is not prime. Res64: C0BDE5A5AA534585 Time : 0.0 sec. user=mdettweiler [2017-04-25 11:34:56] 795*2^1452579-1 is not prime. Res64: 1DEFE0EEE4F037C3 Time : 0.0 sec. user=mdettweiler [2017-04-25 11:34:57] 919*2^1452579-1 is not prime. Res64: 308D012B0AD59D30 Time : 0.0 sec. user=mdettweiler [2017-04-25 11:34:57] 623*2^1452580-1 is not prime. Res64: BD802F70CBB26621 Time : 0.0 sec. user=mdettweiler [2017-04-25 12:15:55] 665*2^1452580-1 is not prime. Res64: 0A534417F606F6D0 Time : 0.0 sec. user=mdettweiler [2017-04-25 12:15:55] 723*2^1452580-1 is not prime. Res64: C7E22D31C661B947 Time : 0.0 sec. user=mdettweiler [2017-04-25 12:15:56] 743*2^1452580-1 is not prime. Res64: 200024D5FC0B45CA Time : 0.0 sec. user=mdettweiler [2017-04-25 12:15:56] 803*2^1452580-1 is not prime. Res64: 87528D99709B8264 Time : 0.0 sec. user=mdettweiler [2017-04-25 12:15:56] 887*2^1452580-1 is not prime. Res64: 71171A2A4366B2CF Time : 0.0 sec. user=mdettweiler [2017-04-25 12:19:19] 975*2^1452580-1 is not prime. Res64: CEF10140086F7D8C Time : 0.0 sec. user=mdettweiler [2017-04-25 12:19:19] 983*2^1452580-1 is not prime. Res64: 3BF3AB34E2F7D927 Time : 0.0 sec. user=mdettweiler [2017-04-25 12:19:20] 619*2^1452581-1 is not prime. Res64: 13AE8FFB4CD0AE00 Time : 0.0 sec. user=mdettweiler [2017-04-25 12:19:20] 735*2^1452581-1 is not prime. Res64: 4F016D089740A8B8 Time : 0.0 sec. user=mdettweiler [2017-04-25 12:19:20] 777*2^1452581-1 is not prime. Res64: 030368390189C067 Time : 0.0 sec. user=juhehe [2017-04-25 12:54:02] 795*2^1452581-1 is not prime. Res64: 4286AF83F703FF15 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:00:18] 829*2^1452581-1 is not prime. Res64: E2B921C8F5695627 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:00:19] 931*2^1452581-1 is not prime. Res64: E0A4AA1F88303082 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:00:20] 725*2^1452582-1 is not prime. Res64: 77F47E8103E2E746 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:00:20] 791*2^1452582-1 is not prime. Res64: DD5F7AB3A06EFFC4 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:00:21] 801*2^1452582-1 is not prime. Res64: BB2AEA8DA636A9D6 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:03:44] 815*2^1452582-1 is not prime. Res64: BD30F041C808CE76 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:03:45] 625*2^1452583-1 is not prime. Res64: 415E1964E9EDEFD5 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:03:46] 763*2^1452583-1 is not prime. Res64: 81A6D0084BB353F3 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:03:47] 765*2^1452583-1 is not prime. Res64: 1A6AABC3AA50E5D3 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:03:49] 813*2^1452583-1 is not prime. Res64: 3D0A1DBDE7C2DC72 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:44:47] 617*2^1452584-1 is not prime. Res64: 3FDE9022A235F47D Time : 0.0 sec. user=mdettweiler [2017-04-25 13:44:47] 635*2^1452584-1 is not prime. Res64: 9669338C5DDB3185 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:44:47] 743*2^1452584-1 is not prime. Res64: 33F635B0A4BCCD11 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:44:47] 969*2^1452584-1 is not prime. Res64: 68503E675430A363 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:44:48] 909*2^1452585-1 is not prime. Res64: 7012717F75882937 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:48:19] 975*2^1452585-1 is not prime. Res64: DCE008EC1F93E148 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:48:20] 675*2^1452586-1 is not prime. Res64: 573D3D8F48C14573 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:48:20] 773*2^1452586-1 is not prime. Res64: F8FC63A8EE7F4869 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:48:20] 821*2^1452586-1 is not prime. Res64: 93B1E15DDA6CFD34 Time : 0.0 sec. user=mdettweiler [2017-04-25 13:48:20] 945*2^1452586-1 is not prime. Res64: 70216CC1F8292F5F Time : 0.0 sec. user=mdettweiler [2017-04-25 14:29:11] 669*2^1452587-1 is not prime. Res64: C46384F193129C40 Time : 0.0 sec. user=mdettweiler [2017-04-25 14:29:11] 753*2^1452587-1 is not prime. Res64: 9ED5C2921BFEDD8B Time : 0.0 sec. user=mdettweiler [2017-04-25 14:29:11] 813*2^1452587-1 is not prime. Res64: 8F015D232FBD9E3B Time : 0.0 sec. user=mdettweiler [2017-04-25 14:29:12] 843*2^1452587-1 is not prime. Res64: 852EB7A6E777E223 Time : 0.0 sec. user=mdettweiler [2017-04-25 14:29:12] 931*2^1452587-1 is not prime. Res64: 9B58962B135DE42D Time : 0.0 sec. user=mdettweiler [2017-04-25 14:32:43] 949*2^1452587-1 is not prime. Res64: D79A613874D01813 Time : 0.0 sec. user=mdettweiler [2017-04-25 14:32:43] 669*2^1452588-1 is not prime. Res64: FEC3CB9344AC0486 Time : 0.0 sec. user=mdettweiler [2017-04-25 14:32:43] 767*2^1452588-1 is not prime. Res64: D8C99AE1D7B36DC9 Time : 0.0 sec. user=mdettweiler [2017-04-25 14:32:43] 795*2^1452588-1 is not prime. Res64: 9E7214D9F3F5E01F Time : 0.0 sec. user=mdettweiler [2017-04-25 14:32:44] 797*2^1452588-1 is not prime. Res64: 5A98CD3CE7C36944 Time : 0.0 sec. user=mdettweiler [2017-04-25 15:13:38] 845*2^1452588-1 is not prime. Res64: 821CB8047DE0A5E0 Time : 0.0 sec. user=mdettweiler [2017-04-25 15:13:38] 927*2^1452588-1 is not prime. Res64: 797F373AA48F30C5 Time : 0.0 sec. user=mdettweiler [2017-04-25 15:13:39] 621*2^1452589-1 is not prime. Res64: 8E1466156810DA0D Time : 0.0 sec. user=mdettweiler [2017-04-25 15:13:39] 649*2^1452589-1 is not prime. Res64: 4BD7EA0A6FE4F082 Time : 0.0 sec. user=mdettweiler [2017-04-25 15:13:39] 771*2^1452589-1 is not prime. Res64: 755CFFF8CF133E7E Time : 0.0 sec. user=mdettweiler [2017-04-25 15:17:07] 885*2^1452589-1 is not prime. Res64: 5256B7E7FE5A908C Time : 0.0 sec. user=mdettweiler [2017-04-25 15:17:07] 897*2^1452589-1 is not prime. Res64: A3DC37676787C392 Time : 0.0 sec. user=mdettweiler [2017-04-25 15:17:08] 979*2^1452589-1 is not prime. Res64: 6BF2F3FF38EB8078 Time : 0.0 sec. user=mdettweiler [2017-04-25 15:17:08] 641*2^1452590-1 is not prime. Res64: C37F30378EEF5237 Time : 0.0 sec. user=mdettweiler [2017-04-25 15:17:08] 645*2^1452590-1 is not prime. Res64: 141F04EBFC33B52C Time : 0.0 sec. user=mdettweiler [2017-04-25 15:58:02] 711*2^1452590-1 is not prime. Res64: 20C2FB4369390502 Time : 0.0 sec. user=mdettweiler [2017-04-25 15:58:03] 743*2^1452590-1 is not prime. Res64: 01EA36B9AFF4B394 Time : 0.0 sec. user=mdettweiler [2017-04-25 15:58:03] 785*2^1452590-1 is not prime. Res64: F3B06BC466ED37A9 Time : 0.0 sec. user=mdettweiler [2017-04-25 15:58:03] 797*2^1452590-1 is not prime. Res64: 7118CA8619A90A9E Time : 0.0 sec. user=mdettweiler [2017-04-25 15:58:03] 801*2^1452590-1 is not prime. Res64: 8423E472C2DBE707 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:01:30] 1001*2^1452590-1 is not prime. Res64: 985FD0D412A2BE56 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:01:31] 615*2^1452591-1 is not prime. Res64: 3CB8F5EF9F9980E6 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:01:32] 639*2^1452591-1 is not prime. Res64: 2387396A912D4029 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:01:32] 669*2^1452591-1 is not prime. Res64: 50805A702FDC4B4B Time : 0.0 sec. user=mdettweiler [2017-04-25 16:01:33] 819*2^1452591-1 is not prime. Res64: 38D8FC902B2729D3 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:42:26] 871*2^1452591-1 is not prime. Res64: FE96ED9E5A3F96D4 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:42:26] 891*2^1452591-1 is not prime. Res64: 2A211462EC90F7EF Time : 0.0 sec. user=mdettweiler [2017-04-25 16:42:26] 909*2^1452591-1 is not prime. Res64: 2DAC788474BED640 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:42:27] 615*2^1452592-1 is not prime. Res64: EA2293DD04D50C95 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:42:27] 665*2^1452592-1 is not prime. Res64: 7E11446038A7A048 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:45:56] 713*2^1452592-1 is not prime. Res64: 68EE391EE602587A Time : 0.0 sec. user=mdettweiler [2017-04-25 16:45:56] 803*2^1452592-1 is not prime. Res64: 235F9F9926E27EF5 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:45:57] 819*2^1452592-1 is not prime. Res64: BE7CD3B35C2FE1A1 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:45:57] 915*2^1452592-1 is not prime. Res64: 438459C171D2AB81 Time : 0.0 sec. user=mdettweiler [2017-04-25 16:45:57] 923*2^1452592-1 is not prime. Res64: FBFDA73A4EF7BAA3 Time : 0.0 sec. user=mdettweiler [2017-04-25 17:26:48] 975*2^1452592-1 is not prime. Res64: 700AF638C7D1D74F Time : 0.0 sec. user=mdettweiler [2017-04-25 17:26:49] 727*2^1452593-1 is not prime. Res64: 4DBA6C507340EACD Time : 0.0 sec. user=mdettweiler [2017-04-25 17:26:49] 879*2^1452593-1 is not prime. Res64: 324D77518BE383A6 Time : 0.0 sec. user=mdettweiler [2017-04-25 17:26:49] 969*2^1452593-1 is not prime. Res64: BF1048DF9AA4520B Time : 0.0 sec. user=mdettweiler [2017-04-25 17:26:49] 705*2^1452594-1 is not prime. Res64: 8DE00A829D31EA02 Time : 0.0 sec. user=mdettweiler [2017-04-25 17:30:21] 731*2^1452594-1 is not prime. Res64: BC44BF20ACFD0957 Time : 0.0 sec. user=mdettweiler [2017-04-25 17:30:21] 815*2^1452594-1 is not prime. Res64: 8B865B079106E1CE Time : 0.0 sec. user=mdettweiler [2017-04-25 17:30:22] 885*2^1452594-1 is not prime. Res64: 2C38ED88CA16C112 Time : 0.0 sec. user=mdettweiler [2017-04-25 17:30:22] 971*2^1452594-1 is not prime. Res64: 90F5F29A7953951A Time : 0.0 sec. user=mdettweiler [2017-04-25 17:30:22] 993*2^1452594-1 is not prime. Res64: 3673D2BA876C2359 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:11:18] 649*2^1452595-1 is not prime. Res64: A26C9163588DA2A7 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:11:18] 651*2^1452595-1 is not prime. Res64: 236191F20171AD65 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:11:18] 691*2^1452595-1 is not prime. Res64: 724A99917F74E914 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:11:19] 819*2^1452595-1 is not prime. Res64: 7A57F53F4C84EDFB Time : 0.0 sec. user=mdettweiler [2017-04-25 18:11:19] 871*2^1452595-1 is not prime. Res64: 99787C026F78FC63 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:14:51] 603*2^1452596-1 is not prime. Res64: 20208A0F27758755 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:14:51] 659*2^1452596-1 is not prime. Res64: DFAEBAE8E0FFFAA8 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:14:51] 785*2^1452596-1 is not prime. Res64: EB8E6DC39D269506 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:14:51] 803*2^1452596-1 is not prime. Res64: 79B8ED6E5067993F Time : 0.0 sec. user=mdettweiler [2017-04-25 18:14:52] 927*2^1452596-1 is not prime. Res64: 82B4CF5792E30A60 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:55:42] 717*2^1452597-1 is not prime. Res64: 4D2744E5AA2816FE Time : 0.0 sec. user=mdettweiler [2017-04-25 18:55:43] 747*2^1452597-1 is not prime. Res64: 3241D281F3EE4552 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:55:43] 835*2^1452597-1 is not prime. Res64: 7BB86D50FB3C60BC Time : 0.0 sec. user=mdettweiler [2017-04-25 18:55:43] 847*2^1452597-1 is not prime. Res64: 8ADED7CEEE6B8B8A Time : 0.0 sec. user=mdettweiler [2017-04-25 18:55:43] 915*2^1452597-1 is not prime. Res64: 459BA59663080105 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:59:16] 937*2^1452597-1 is not prime. Res64: 99B50B2DE67F5D8E Time : 0.0 sec. user=mdettweiler [2017-04-25 18:59:16] 997*2^1452597-1 is not prime. Res64: F29173B0C631680F Time : 0.0 sec. user=mdettweiler [2017-04-25 18:59:16] 621*2^1452598-1 is not prime. Res64: 4A67D5B3A60AA6E4 Time : 0.0 sec. user=mdettweiler [2017-04-25 18:59:16] 723*2^1452598-1 is not prime. Res64: 5D38013AB256295C Time : 0.0 sec. user=mdettweiler [2017-04-25 18:59:17] 765*2^1452598-1 is not prime. Res64: 54B2DF96400ADFB6 Time : 0.0 sec. user=mdettweiler [2017-04-25 19:40:07] 773*2^1452598-1 is not prime. Res64: 44F6E83F20EF39BF Time : 0.0 sec. user=mdettweiler [2017-04-25 19:40:07] 777*2^1452598-1 is not prime. Res64: 7D7652A666388D40 Time : 0.0 sec. user=mdettweiler [2017-04-25 19:40:08] 975*2^1452598-1 is not prime. Res64: E91F66D1AD1EA4FD Time : 0.0 sec. user=mdettweiler [2017-04-25 19:40:08] 987*2^1452598-1 is not prime. Res64: 0F09252A8AC2C044 Time : 0.0 sec. user=mdettweiler [2017-04-25 19:40:08] 655*2^1452599-1 is not prime. Res64: 990D7F569B557CA9 Time : 0.0 sec. user=mdettweiler [2017-04-25 19:43:40] 745*2^1452599-1 is not prime. Res64: 3885240B7EB1113E Time : 0.0 sec. user=mdettweiler [2017-04-25 19:43:40] 811*2^1452599-1 is not prime. Res64: D22D35E6F00691D9 Time : 0.0 sec. user=mdettweiler [2017-04-25 19:43:40] 909*2^1452599-1 is not prime. Res64: 71B948048CF61510 Time : 0.0 sec. user=mdettweiler [2017-04-25 19:43:40] 921*2^1452599-1 is not prime. Res64: D4EF9B91890D158D Time : 0.0 sec. user=mdettweiler [2017-04-25 19:43:41] 931*2^1452599-1 is not prime. Res64: 6379BAD857AEC2EA Time : 0.0 sec. user=mdettweiler [2017-04-25 20:24:32] 969*2^1452599-1 is not prime. Res64: B03F558979225CA8 Time : 0.0 sec. user=mdettweiler [2017-04-25 20:24:32] 615*2^1452600-1 is not prime. Res64: A2B88A4866F0E4DA Time : 0.0 sec. user=mdettweiler [2017-04-25 20:24:33] 789*2^1452600-1 is not prime. Res64: D1DCDDB0469436FA Time : 0.0 sec. user=mdettweiler [2017-04-25 20:24:33] 927*2^1452600-1 is not prime. Res64: CD01BEB0BFEA7368 Time : 0.0 sec. user=mdettweiler [2017-04-25 20:24:33] 615*2^1452601-1 is not prime. Res64: AC78D3C077067C64 Time : 0.0 sec. user=mdettweiler [2017-04-25 20:28:05] 705*2^1452601-1 is not prime. Res64: 92A5E273F45E630C Time : 0.0 sec. user=mdettweiler [2017-04-25 20:28:05] 717*2^1452601-1 is not prime. Res64: FE718837796D6DCE Time : 0.0 sec. user=mdettweiler [2017-04-25 20:28:06] 741*2^1452601-1 is not prime. Res64: 4A1EA1FDBBD71EE6 Time : 0.0 sec. user=mdettweiler [2017-04-25 20:28:06] 747*2^1452601-1 is not prime. Res64: BC5A80FBF7C2BC35 Time : 0.0 sec. user=mdettweiler [2017-04-25 20:28:06] 849*2^1452601-1 is not prime. Res64: 0D5597D6ECB1AE81 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:08:56] 895*2^1452601-1 is not prime. Res64: 9F4019DFDE7BA557 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:08:57] 997*2^1452601-1 is not prime. Res64: EB5C45393A8C5B56 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:08:57] 677*2^1452602-1 is not prime. Res64: 2BBDBFC407AFC728 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:08:57] 791*2^1452602-1 is not prime. Res64: EC3CAD1BFE70D657 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:08:58] 797*2^1452602-1 is not prime. Res64: B7A0C31FC6C2E3E1 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:12:28] 941*2^1452602-1 is not prime. Res64: EDEF13A96D1AD76A Time : 0.0 sec. user=mdettweiler [2017-04-25 21:12:29] 963*2^1452602-1 is not prime. Res64: 8181565CCE85D69B Time : 0.0 sec. user=mdettweiler [2017-04-25 21:12:29] 615*2^1452603-1 is not prime. Res64: DFF8A23D07B6606E Time : 0.0 sec. user=mdettweiler [2017-04-25 21:12:29] 853*2^1452603-1 is not prime. Res64: FA9803BDD9F25710 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:12:29] 617*2^1452604-1 is not prime. Res64: 6E16BA10F3917763 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:53:25] 897*2^1452604-1 is not prime. Res64: 5E2AFA16324C0490 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:53:25] 905*2^1452604-1 is not prime. Res64: B365E8D075CFDAD8 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:53:26] 909*2^1452604-1 is not prime. Res64: C273C29869B4743D Time : 0.0 sec. user=mdettweiler [2017-04-25 21:53:26] 915*2^1452604-1 is not prime. Res64: 6489BD157C8EDE90 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:53:26] 657*2^1452605-1 is not prime. Res64: 79854F6CD60BE92E Time : 0.0 sec. user=mdettweiler [2017-04-25 21:56:53] 697*2^1452605-1 is not prime. Res64: F37E235E1942F211 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:56:53] 729*2^1452605-1 is not prime. Res64: 43F36EAC9FCDF2A5 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:56:54] 757*2^1452605-1 is not prime. Res64: 183E3B1A45C882A0 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:56:54] 789*2^1452605-1 is not prime. Res64: DEDBDE2C14FD9131 Time : 0.0 sec. user=mdettweiler [2017-04-25 21:56:54] 825*2^1452605-1 is not prime. Res64: 0B7CFC5989579EB3 Time : 0.0 sec. user=mdettweiler [2017-04-25 22:37:52] 885*2^1452605-1 is not prime. Res64: CB445BEE730E50E7 Time : 0.0 sec. user=mdettweiler [2017-04-25 22:37:52] 889*2^1452605-1 is not prime. Res64: 6B516009B89FE7F1 Time : 0.0 sec. user=mdettweiler [2017-04-25 22:37:52] 925*2^1452605-1 is not prime. Res64: 6C9B033B605026FC Time : 0.0 sec. user=mdettweiler [2017-04-25 22:37:53] 641*2^1452606-1 is not prime. Res64: 5B9793F6E253FD90 Time : 0.0 sec. user=mdettweiler [2017-04-25 22:37:53] 647*2^1452606-1 is not prime. Res64: 022923E7B8B51641 Time : 0.0 sec. user=mdettweiler [2017-04-25 22:41:16] 717*2^1452606-1 is not prime. Res64: 945BFB1F6BD2BE44 Time : 0.0 sec. user=mdettweiler [2017-04-25 22:41:16] 903*2^1452606-1 is not prime. Res64: DAA4304DA1590963 Time : 0.0 sec. user=mdettweiler [2017-04-25 22:41:16] 993*2^1452606-1 is not prime. Res64: F0FDBD0174F19F9B Time : 0.0 sec. user=mdettweiler [2017-04-25 22:41:17] 651*2^1452607-1 is not prime. Res64: F5BE79CF74CDE886 Time : 0.0 sec. user=mdettweiler [2017-04-25 22:41:17] 675*2^1452607-1 is not prime. Res64: 75B078C1E23107B1 Time : 0.0 sec. user=mdettweiler [2017-04-25 23:22:15] 685*2^1452607-1 is not prime. Res64: 23003C9BC0390353 Time : 0.0 sec. user=mdettweiler [2017-04-25 23:22:16] 703*2^1452607-1 is not prime. Res64: 1C55DF4E87E25EFD Time : 0.0 sec. user=mdettweiler [2017-04-25 23:22:16] 729*2^1452607-1 is not prime. Res64: CC2201BA5574C8D3 Time : 0.0 sec. user=mdettweiler [2017-04-25 23:22:16] 951*2^1452607-1 is not prime. Res64: 660A3FBD39A9FAA0 Time : 0.0 sec. user=mdettweiler [2017-04-25 23:22:17] 623*2^1452608-1 is not prime. Res64: 81E8D601D110F7D3 Time : 0.0 sec. user=mdettweiler [2017-04-25 23:25:39] 759*2^1452608-1 is not prime. Res64: 4C54890E9936D72F Time : 0.0 sec. user=mdettweiler [2017-04-25 23:25:39] 803*2^1452608-1 is not prime. Res64: 42C8FB0992646CF7 Time : 0.0 sec. user=mdettweiler [2017-04-25 23:25:39] 909*2^1452608-1 is not prime. Res64: AF82C7E0CCB1EFC8 Time : 0.0 sec. user=mdettweiler [2017-04-25 23:25:39] 685*2^1452609-1 is not prime. Res64: 0DA3527983F70312 Time : 0.0 sec. user=mdettweiler [2017-04-25 23:25:40] 727*2^1452609-1 is not prime. Res64: 5030DD73ED5D92D0 Time : 0.0 sec.