user=mdettweiler [2016-07-18 00:17:39] 611*2^1435558-1 is not prime. Res64: 280F22432AC567C2 Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:39] 953*2^1435556-1 is not prime. Res64: FC07269FDD70CA8E Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:39] 657*2^1435558-1 is not prime. Res64: 70F0A48406BC75FC Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:40] 727*2^1435557-1 is not prime. Res64: 5F308D81FC733D09 Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:40] 681*2^1435558-1 is not prime. Res64: B1286F7EA26BABF6 Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:40] 795*2^1435557-1 is not prime. Res64: 52890459B9DBE2D8 Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:40] 705*2^1435558-1 is not prime. Res64: 23CDCE66E21DF449 Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:44] 891*2^1435557-1 is not prime. Res64: 93D90B3B7D42D06C Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:44] 971*2^1435558-1 is not prime. Res64: C36A0666FDB5F46C Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:45] 927*2^1435557-1 is not prime. Res64: E2DE486F12635C28 Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:50] 1001*2^1435558-1 is not prime. Res64: CE49B9199D5318CA Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:51] 621*2^1435559-1 is not prime. Res64: A3A8F4296E39B119 Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:51] 645*2^1435559-1 is not prime. Res64: A7F2670A234C098D Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:52] 711*2^1435559-1 is not prime. Res64: EAE52B9780BCFC28 Time : 0.0 sec. user=mdettweiler [2016-07-18 00:17:52] 741*2^1435559-1 is not prime. Res64: 8BF3C2F8133C7DBE Time : 0.0 sec. user=mdettweiler [2016-07-18 01:01:54] 745*2^1435559-1 is not prime. Res64: 8F65722533D8F6B3 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:01:54] 797*2^1435560-1 is not prime. Res64: 18CCD6D07AD6EABA Time : 0.0 sec. user=mdettweiler [2016-07-18 01:01:55] 985*2^1435559-1 is not prime. Res64: 6C6DB12546FB10A1 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:01:55] 983*2^1435560-1 is not prime. Res64: 9FA1B44D9A01A914 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:01:56] 627*2^1435560-1 is not prime. Res64: B88C840E689DA986 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:01:56] 777*2^1435561-1 is not prime. Res64: 49CDF05B2DB3F39A Time : 0.0 sec. user=mdettweiler [2016-07-18 01:01:57] 633*2^1435560-1 is not prime. Res64: 0514D694D2FE33B8 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:02:01] 635*2^1435562-1 is not prime. Res64: 52A148BE75E43299 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:02:02] 753*2^1435560-1 is not prime. Res64: 6092847326ED4AB7 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:02:02] 799*2^1435561-1 is not prime. Res64: 3C63776FBC9249B3 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:02:03] 837*2^1435562-1 is not prime. Res64: D2EC4F086FB57448 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:02:03] 931*2^1435561-1 is not prime. Res64: 86A2DC8333C7C008 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:02:04] 685*2^1435563-1 is not prime. Res64: 5D32728B410B4ADD Time : 0.0 sec. user=mdettweiler [2016-07-18 01:02:04] 703*2^1435563-1 is not prime. Res64: 8DE87F849FA39A6A Time : 0.0 sec. user=mdettweiler [2016-07-18 01:02:10] 781*2^1435563-1 is not prime. Res64: F242E85FDF020856 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:15] 849*2^1435563-1 is not prime. Res64: 28106326E5393DB1 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:15] 961*2^1435563-1 is not prime. Res64: 027BD38DDF698CAC Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:19] 963*2^1435563-1 is not prime. Res64: F6CF97214F26E29F Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:19] 793*2^1435563-1 is not prime. Res64: FF6ADEE3B9864C13 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:20] 615*2^1435564-1 is not prime. Res64: 4397287E1FD8EE6A Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:20] 705*2^1435564-1 is not prime. Res64: C85959C28581E222 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:20] 657*2^1435564-1 is not prime. Res64: 5C8E17BD788DF7E4 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:20] 833*2^1435564-1 is not prime. Res64: AD941441EF46956B Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:21] 843*2^1435564-1 is not prime. Res64: EEF2FD9A05D9F789 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:21] 857*2^1435564-1 is not prime. Res64: 59808CABDB721CC4 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:25] 969*2^1435564-1 is not prime. Res64: E6B0FE4CAD5ACC77 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:26] 601*2^1435565-1 is not prime. Res64: 12CAEE6A87C3DC71 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:26] 711*2^1435565-1 is not prime. Res64: 67B0CAC72E426F36 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:27] 795*2^1435565-1 is not prime. Res64: 9C96F0F4C80A80D5 Time : 0.0 sec. user=mdettweiler [2016-07-18 01:46:27] 811*2^1435565-1 is not prime. Res64: 3FFA4FE56A479CB8 Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:27] 855*2^1435565-1 is not prime. Res64: B8A5A0760B6A3A97 Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:28] 741*2^1435567-1 is not prime. Res64: 0C54009E2A21A744 Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:28] 769*2^1435567-1 is not prime. Res64: DF8B1D6B8A0AD9C4 Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:28] 865*2^1435565-1 is not prime. Res64: 5391B246B3C5B21B Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:28] 805*2^1435567-1 is not prime. Res64: 2C06C1BA1D33E686 Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:33] 931*2^1435567-1 is not prime. Res64: 5679C774C3A3CF5D Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:34] 897*2^1435565-1 is not prime. Res64: 6F8016EE81C5195C Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:34] 885*2^1435567-1 is not prime. Res64: 747D9CA6355268DE Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:34] 933*2^1435567-1 is not prime. Res64: 6DB4228E08F0F6FB Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:34] 949*2^1435565-1 is not prime. Res64: BAEDA33FD85832E0 Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:34] 939*2^1435567-1 is not prime. Res64: 9D7CB544CD619F7D Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:35] 951*2^1435565-1 is not prime. Res64: B85AAE548F70FB0F Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:35] 993*2^1435567-1 is not prime. Res64: 5C2BBDDA69BFC6C9 Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:35] 945*2^1435566-1 is not prime. Res64: 86196D44E980B626 Time : 0.0 sec. user=mdettweiler [2016-07-18 02:30:35] 827*2^1435568-1 is not prime. Res64: 46AD64D6F1B5ED5C Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:41] 993*2^1435568-1 is not prime. Res64: BFA9347AB6513E64 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:41] 625*2^1435569-1 is not prime. Res64: 10CB7FAE6AFD88D0 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:42] 657*2^1435569-1 is not prime. Res64: 5EF8EFBEC23AB280 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:42] 721*2^1435569-1 is not prime. Res64: 047FA30C7AA716CC Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:42] 835*2^1435569-1 is not prime. Res64: 5D8EF190B74076C4 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:46] 865*2^1435569-1 is not prime. Res64: 4B3DFEF2D4C03ED9 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:47] 891*2^1435569-1 is not prime. Res64: 2455306737A7FE23 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:47] 895*2^1435569-1 is not prime. Res64: 4DCA7FDD4DCED0C6 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:48] 647*2^1435570-1 is not prime. Res64: 9173CEA4DBC10EF7 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:48] 955*2^1435569-1 is not prime. Res64: 644978858FDBF264 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:48] 663*2^1435570-1 is not prime. Res64: 1C545EFE45C6378F Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:48] 999*2^1435569-1 is not prime. Res64: 61EDBDF5DA3EB94C Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:48] 671*2^1435570-1 is not prime. Res64: F6F93DDC95CDA90C Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:52] 677*2^1435570-1 is not prime. Res64: 8FC38E31AE0042D5 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:14:53] 731*2^1435570-1 is not prime. Res64: 572052C7B20792C6 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:58:54] 765*2^1435570-1 is not prime. Res64: D91A3C32112ADE69 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:58:55] 995*2^1435570-1 is not prime. Res64: 00DC2F8DCC8EA1E2 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:58:55] 673*2^1435571-1 is not prime. Res64: 66B06052F03F02EF Time : 0.0 sec. user=mdettweiler [2016-07-18 03:58:56] 693*2^1435571-1 is not prime. Res64: AA1A92248193379A Time : 0.0 sec. user=mdettweiler [2016-07-18 03:58:57] 733*2^1435571-1 is not prime. Res64: 1A5E1F45423EAE2D Time : 0.0 sec. user=mdettweiler [2016-07-18 03:58:57] 735*2^1435571-1 is not prime. Res64: E726C03F4B914C6D Time : 0.0 sec. user=mdettweiler [2016-07-18 03:58:58] 759*2^1435571-1 is not prime. Res64: 001586761FD9D72D Time : 0.0 sec. user=mdettweiler [2016-07-18 03:58:59] 801*2^1435571-1 is not prime. Res64: F5F88C9F7026898E Time : 0.0 sec. user=mdettweiler [2016-07-18 03:59:00] 841*2^1435571-1 is not prime. Res64: 5B125FCE1D899927 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:59:01] 879*2^1435571-1 is not prime. Res64: A61F28265F6441C9 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:59:04] 903*2^1435571-1 is not prime. Res64: CD59013323FFD210 Time : 0.0 sec. user=mdettweiler [2016-07-18 03:59:04] 979*2^1435571-1 is not prime. Res64: 5F512D8B1C2A394E Time : 0.0 sec. user=mdettweiler [2016-07-18 03:59:05] 991*2^1435571-1 is not prime. Res64: 3ABA573C67A99C0D Time : 0.0 sec. user=mdettweiler [2016-07-18 03:59:06] 635*2^1435572-1 is not prime. Res64: 1BB92886D985F2EA Time : 0.0 sec. user=mdettweiler [2016-07-18 03:59:06] 695*2^1435572-1 is not prime. Res64: 10F1B0D6E33B8912 Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:05] 717*2^1435572-1 is not prime. Res64: 0D8CC88F242D072C Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:05] 625*2^1435573-1 is not prime. Res64: 6A2790826A2300EF Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:05] 819*2^1435572-1 is not prime. Res64: 2BF9596777BE48EE Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:05] 765*2^1435573-1 is not prime. Res64: 3BA33C036B9177C7 Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:06] 887*2^1435572-1 is not prime. Res64: C90AEB12BF51A15B Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:06] 805*2^1435573-1 is not prime. Res64: C233324D649547AC Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:06] 923*2^1435572-1 is not prime. Res64: D1C11AF9912FCAD0 Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:06] 849*2^1435573-1 is not prime. Res64: BFCEEB31808E7753 Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:06] 999*2^1435572-1 is not prime. Res64: 3653A0EFECCA2487 Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:06] 861*2^1435573-1 is not prime. Res64: C0C6D96969F09039 Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:14] 645*2^1435574-1 is not prime. Res64: C42BFC48F399DB06 Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:15] 663*2^1435574-1 is not prime. Res64: 61A69208491E4C6A Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:15] 711*2^1435574-1 is not prime. Res64: 967495522DCF31B8 Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:15] 857*2^1435574-1 is not prime. Res64: 59CA5C64708775E5 Time : 0.0 sec. user=mdettweiler [2016-07-18 04:43:16] 923*2^1435574-1 is not prime. Res64: 686CBDE54068EF35 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:14] 711*2^1435575-1 is not prime. Res64: 3D8F348B3BA50F06 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:14] 957*2^1435574-1 is not prime. Res64: 5C772F9A33D5F4C3 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:14] 965*2^1435574-1 is not prime. Res64: 8DACB080DF835B61 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:14] 735*2^1435575-1 is not prime. Res64: 63CF8D7C05F30CA8 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:15] 971*2^1435574-1 is not prime. Res64: 85509C8BAE61E035 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:15] 853*2^1435575-1 is not prime. Res64: A477358F15AE5C63 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:15] 663*2^1435575-1 is not prime. Res64: 4979FF8A755D9134 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:15] 891*2^1435575-1 is not prime. Res64: BB6FC42C1F5894E1 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:16] 685*2^1435575-1 is not prime. Res64: C5BF6AC38437A58F Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:16] 895*2^1435575-1 is not prime. Res64: 2E4525FF6F63A076 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:24] 705*2^1435576-1 is not prime. Res64: 1D9B8DCEF8701883 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:25] 759*2^1435576-1 is not prime. Res64: AAA1CB9D12E8FAEB Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:25] 833*2^1435576-1 is not prime. Res64: 74F6BD7BE86E5A7A Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:26] 873*2^1435576-1 is not prime. Res64: D2B99F28317532F6 Time : 0.0 sec. user=mdettweiler [2016-07-18 05:27:26] 887*2^1435576-1 is not prime. Res64: 756A28F4DCA75213 Time : 0.0 sec. user=juhehe [2016-07-18 05:53:31] 675*2^1435577-1 is not prime. Res64: FBCE63719271918C Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:28] 955*2^1435577-1 is not prime. Res64: F8DC648B6074DC82 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:28] 699*2^1435577-1 is not prime. Res64: 94C6294218138D15 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:29] 635*2^1435578-1 is not prime. Res64: 968589AB76E5CBDC Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:29] 729*2^1435577-1 is not prime. Res64: 9B39CF8DC66CF2B8 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:29] 671*2^1435578-1 is not prime. Res64: 9A9FC34F599854FA Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:29] 771*2^1435577-1 is not prime. Res64: F61DEC7E2B920BD7 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:30] 681*2^1435578-1 is not prime. Res64: 08EEBED493E8A244 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:30] 841*2^1435577-1 is not prime. Res64: F17B83F6403220E4 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:30] 711*2^1435578-1 is not prime. Res64: 31884C6FEA877358 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:30] 949*2^1435577-1 is not prime. Res64: DF795E1CAC90FE2D Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:39] 713*2^1435578-1 is not prime. Res64: E963820B64254E45 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:40] 777*2^1435578-1 is not prime. Res64: 5073B2498F3AF9F2 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:41] 803*2^1435578-1 is not prime. Res64: 7D5A4D9798D51F9B Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:41] 843*2^1435578-1 is not prime. Res64: E33FFDB11ABF7BF3 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:11:42] 881*2^1435578-1 is not prime. Res64: 1291D31050AA4273 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:44] 887*2^1435578-1 is not prime. Res64: E0F529B669849999 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:44] 663*2^1435579-1 is not prime. Res64: 13D2FD6825AA5E27 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:44] 893*2^1435578-1 is not prime. Res64: 986B6C096F20B518 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:44] 709*2^1435579-1 is not prime. Res64: 40AD46F622B75896 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:45] 859*2^1435579-1 is not prime. Res64: 25700884AD3E8123 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:45] 977*2^1435578-1 is not prime. Res64: 276D35BC388FF90A Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:45] 861*2^1435579-1 is not prime. Res64: C3187AABA1D96F75 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:45] 631*2^1435579-1 is not prime. Res64: 3FBE956CC367C7B4 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:45] 919*2^1435579-1 is not prime. Res64: 79CB34C4DC1D4C69 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:45] 633*2^1435579-1 is not prime. Res64: 0CA4BFFA7C744B7A Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:53] 961*2^1435579-1 is not prime. Res64: 75370687B6E537E1 Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:54] 687*2^1435580-1 is not prime. Res64: 6E794CEB1B156E7F Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:54] 707*2^1435580-1 is not prime. Res64: 8A794D418C6FEADC Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:54] 717*2^1435580-1 is not prime. Res64: 260931421021C0CD Time : 0.0 sec. user=mdettweiler [2016-07-18 06:55:55] 735*2^1435580-1 is not prime. Res64: BCB615FD2A92BE3F Time : 0.0 sec. user=mdettweiler [2016-07-18 07:39:52] 829*2^1435581-1 is not prime. Res64: 0B08E7201D690E37 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:39:53] 847*2^1435581-1 is not prime. Res64: 13D117FE58BF1349 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:39:53] 849*2^1435581-1 is not prime. Res64: 3ECC04E5FB95C0B8 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:39:54] 885*2^1435581-1 is not prime. Res64: 1A31AD4BC05C5AB7 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:39:54] 755*2^1435580-1 is not prime. Res64: 81F4FE63FF8ABB80 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:39:54] 975*2^1435581-1 is not prime. Res64: 0C31D7209A27AE3A Time : 0.0 sec. user=mdettweiler [2016-07-18 07:39:54] 759*2^1435580-1 is not prime. Res64: E74D495947289661 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:39:55] 977*2^1435580-1 is not prime. Res64: 6EAE39901CADB589 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:39:55] 995*2^1435580-1 is not prime. Res64: 82EE03F6DA5FE782 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:40:02] 691*2^1435581-1 is not prime. Res64: C637F7CD696DF509 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:40:02] 657*2^1435582-1 is not prime. Res64: 7BFAE8FCB558365A Time : 0.0 sec. user=mdettweiler [2016-07-18 07:40:02] 713*2^1435582-1 is not prime. Res64: F82B9A7431C68A91 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:40:03] 755*2^1435582-1 is not prime. Res64: A4439C3B45F65A36 Time : 0.0 sec. user=mdettweiler [2016-07-18 07:40:03] 873*2^1435582-1 is not prime. Res64: 6883D28C35920C4D Time : 0.0 sec. user=mdettweiler [2016-07-18 07:40:04] 897*2^1435582-1 is not prime. Res64: A75EDC10CAD5001B Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:01] 941*2^1435582-1 is not prime. Res64: 75B1269999D67C60 Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:01] 855*2^1435583-1 is not prime. Res64: EEA0B9E5C8600CD4 Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:02] 957*2^1435582-1 is not prime. Res64: E6EEAC1C00C25667 Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:02] 889*2^1435583-1 is not prime. Res64: 804405BFA372EC80 Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:02] 735*2^1435583-1 is not prime. Res64: 14E6CF9665F6E7C4 Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:02] 663*2^1435584-1 is not prime. Res64: B599F1F68AF97A1D Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:03] 781*2^1435583-1 is not prime. Res64: BD73D308710CBF95 Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:07] 947*2^1435584-1 is not prime. Res64: E3D60EBF96CA7C5C Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:07] 717*2^1435584-1 is not prime. Res64: 31E496B237908135 Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:07] 825*2^1435583-1 is not prime. Res64: 871CE74FB3DC8389 Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:07] 729*2^1435585-1 is not prime. Res64: 38E98EA39DCB7A39 Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:07] 815*2^1435584-1 is not prime. Res64: BC1C05672113668F Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:07] 775*2^1435585-1 is not prime. Res64: EA0756064ECE5918 Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:08] 841*2^1435585-1 is not prime. Res64: F8CD786ADDECE54B Time : 0.0 sec. user=mdettweiler [2016-07-18 08:24:08] 871*2^1435585-1 is not prime. Res64: 1501FBCB01D9F9D0 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:07] 713*2^1435586-1 is not prime. Res64: 945D1BCEE0553E1A Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:08] 783*2^1435586-1 is not prime. Res64: 14259103AEE8F619 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:08] 825*2^1435586-1 is not prime. Res64: E307D05AC11B7F53 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:09] 857*2^1435586-1 is not prime. Res64: AA0DE07C3381BABD Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:09] 981*2^1435586-1 is not prime. Res64: B0891FEFEFE7B055 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:13] 601*2^1435587-1 is not prime. Res64: 30B59B32F942534A Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:14] 955*2^1435587-1 is not prime. Res64: 1E5ACFFFC45CFD0D Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:14] 633*2^1435587-1 is not prime. Res64: BF6903491C78BB0D Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:14] 961*2^1435587-1 is not prime. Res64: 3EB8B7009FB98D60 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:14] 691*2^1435587-1 is not prime. Res64: 0039B6BAF19BEE82 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:14] 975*2^1435587-1 is not prime. Res64: 350D39A2612D28BF Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:15] 703*2^1435587-1 is not prime. Res64: 7257CF813D47C154 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:15] 687*2^1435588-1 is not prime. Res64: 15507A4F69120371 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:15] 765*2^1435587-1 is not prime. Res64: CB4419C4FCF836E2 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:08:15] 729*2^1435588-1 is not prime. Res64: A1D0661AC11B3B08 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:13] 869*2^1435588-1 is not prime. Res64: 09D5F6D7D535B3C8 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:13] 927*2^1435588-1 is not prime. Res64: 8B2C6334E9EA5324 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:14] 721*2^1435589-1 is not prime. Res64: ABEA7791371D36A4 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:14] 741*2^1435589-1 is not prime. Res64: 8BA56B84D0392629 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:15] 801*2^1435589-1 is not prime. Res64: 5F129A95B16CABAA Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:21] 837*2^1435589-1 is not prime. Res64: CCC2A1A98474A4F2 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:21] 717*2^1435590-1 is not prime. Res64: BAFE707F2B2F4D54 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:21] 833*2^1435590-1 is not prime. Res64: 349C61D6350BCD28 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:22] 851*2^1435590-1 is not prime. Res64: FA6E1AB055165F5B Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:22] 915*2^1435590-1 is not prime. Res64: C4E9DFADF1D299EA Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:22] 963*2^1435590-1 is not prime. Res64: 63574F793430D6A3 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:23] 971*2^1435590-1 is not prime. Res64: E4822A6F8DEF479A Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:23] 673*2^1435591-1 is not prime. Res64: 44F740F6C329A6A4 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:23] 679*2^1435591-1 is not prime. Res64: B16EE71702E98D00 Time : 0.0 sec. user=mdettweiler [2016-07-18 09:52:30] 745*2^1435591-1 is not prime. Res64: 0CD7EE956D4A23B3 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:20] 759*2^1435591-1 is not prime. Res64: 37AA87C1E0107503 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:21] 813*2^1435591-1 is not prime. Res64: D740F0FD00FFAB37 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:21] 843*2^1435591-1 is not prime. Res64: 217722058B5EC092 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:21] 975*2^1435591-1 is not prime. Res64: AE55DBCE7D915FB0 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:21] 871*2^1435591-1 is not prime. Res64: 44869C82AB83F496 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:22] 603*2^1435592-1 is not prime. Res64: DCABE5BA3B99F2D7 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:22] 925*2^1435591-1 is not prime. Res64: 59121A22FDBE21A9 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:26] 623*2^1435592-1 is not prime. Res64: 68889ADA96816EF6 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:26] 957*2^1435592-1 is not prime. Res64: 66CF5873DFB10167 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:27] 699*2^1435593-1 is not prime. Res64: A5A5A11D887A0730 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:28] 747*2^1435593-1 is not prime. Res64: 9CD5BD7BCF08234C Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:28] 769*2^1435593-1 is not prime. Res64: 8683E53EDFF0F262 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:32] 919*2^1435593-1 is not prime. Res64: 3C166430C4D6A388 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:33] 949*2^1435593-1 is not prime. Res64: F930AB9615EDB905 Time : 0.0 sec. user=mdettweiler [2016-07-18 10:36:34] 611*2^1435594-1 is not prime. Res64: E394E80B539E98F0 Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:26] 621*2^1435594-1 is not prime. Res64: 4A7F9C0905C8532B Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:27] 675*2^1435594-1 is not prime. Res64: 09DEED4DE8BE3155 Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:27] 707*2^1435594-1 is not prime. Res64: C46EF679D73C55DF Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:28] 731*2^1435594-1 is not prime. Res64: B1D8A77C836333AA Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:28] 737*2^1435594-1 is not prime. Res64: 28CEE8C7113F8102 Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:36] 917*2^1435594-1 is not prime. Res64: 43E9CD5799143E4F Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:36] 941*2^1435594-1 is not prime. Res64: CF19C3B8CBE8EB19 Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:37] 759*2^1435595-1 is not prime. Res64: FBEE3EDF12DA66A3 Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:37] 957*2^1435594-1 is not prime. Res64: E5C77BFF493B2680 Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:37] 781*2^1435595-1 is not prime. Res64: 6C52C0A7899B92FD Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:37] 619*2^1435595-1 is not prime. Res64: 4D2C04A27E43E699 Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:38] 825*2^1435595-1 is not prime. Res64: 86820937B18F280F Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:38] 669*2^1435595-1 is not prime. Res64: D6ABDBBF7666D6E0 Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:38] 871*2^1435595-1 is not prime. Res64: CE183B79BFA6CE7B Time : 0.0 sec. user=mdettweiler [2016-07-18 11:20:44] 895*2^1435595-1 is not prime. Res64: BC159F3154268BDF Time : 0.0 sec. user=mdettweiler [2016-07-18 12:04:40] 909*2^1435595-1 is not prime. Res64: 097F779CFE60756B Time : 0.0 sec. user=mdettweiler [2016-07-18 12:04:41] 999*2^1435595-1 is not prime. Res64: 54C4F1AF9BFC3F93 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:04:47] 647*2^1435596-1 is not prime. Res64: 487277A9E98CB5F1 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:04:49] 669*2^1435596-1 is not prime. Res64: 7E5AD1B807B332F7 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:04:50] 689*2^1435596-1 is not prime. Res64: B6719A080837C75B Time : 0.0 sec. user=mdettweiler [2016-07-18 12:04:56] 705*2^1435596-1 is not prime. Res64: 3BEE25C5E8F4E2D0 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:04:57] 729*2^1435597-1 is not prime. Res64: 1FD76C02880F0606 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:05:05] 735*2^1435596-1 is not prime. Res64: 7D882EB4C7EC08FF Time : 0.0 sec. user=mdettweiler [2016-07-18 12:05:05] 825*2^1435597-1 is not prime. Res64: 3A11101917FBB466 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:05:06] 861*2^1435597-1 is not prime. Res64: 6010A356D20690D2 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:05:07] 759*2^1435596-1 is not prime. Res64: 19DBCD8FA39FC4A2 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:05:12] 897*2^1435597-1 is not prime. Res64: 0E7DC74C5F6A9D52 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:05:13] 789*2^1435596-1 is not prime. Res64: 98FB954DA8318B63 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:05:14] 997*2^1435597-1 is not prime. Res64: 9029B7AA4A12F779 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:05:21] 727*2^1435597-1 is not prime. Res64: B876934388B0ACDD Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:09] 603*2^1435598-1 is not prime. Res64: A52A782C5AC953F4 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:13] 627*2^1435598-1 is not prime. Res64: 9B47056369D41D46 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:13] 693*2^1435598-1 is not prime. Res64: 1C9F1845CDAD08FF Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:14] 705*2^1435598-1 is not prime. Res64: 89643F3881A7338B Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:14] 771*2^1435598-1 is not prime. Res64: 15254A3323E5B949 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:37] 867*2^1435598-1 is not prime. Res64: 6D907DD5C1BB5E1E Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:37] 887*2^1435598-1 is not prime. Res64: 96AA8D367BBF6B5B Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:38] 927*2^1435598-1 is not prime. Res64: DB7412A50591F05D Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:39] 977*2^1435598-1 is not prime. Res64: 859ABC9EC6DDAC8C Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:43] 711*2^1435599-1 is not prime. Res64: 296F09E10EED4BBA Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:43] 663*2^1435599-1 is not prime. Res64: 54B325E21C2975D9 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:43] 831*2^1435599-1 is not prime. Res64: 1FCD4E67B8EBC976 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:44] 931*2^1435599-1 is not prime. Res64: 5D02D75672578507 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:44] 985*2^1435599-1 is not prime. Res64: E822101748353D98 Time : 0.0 sec. user=mdettweiler [2016-07-18 12:49:44] 991*2^1435599-1 is not prime. Res64: BFC82F9E50CED5F9 Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:30] 743*2^1435600-1 is not prime. Res64: 615CF3523E2A4FCB Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:30] 873*2^1435600-1 is not prime. Res64: B83B827405FF73AB Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:44] 957*2^1435600-1 is prime! Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:54] 855*2^1435601-1 is not prime. Res64: 821197EDB7468527 Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:54] 861*2^1435601-1 is not prime. Res64: 6320CECFB578A4CB Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:54] 937*2^1435601-1 is not prime. Res64: 38B47B51CB1731E0 Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:55] 723*2^1435602-1 is not prime. Res64: 6A852604BA8EF23E Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:55] 635*2^1435602-1 is not prime. Res64: 33EE670E011C7B66 Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:55] 731*2^1435602-1 is not prime. Res64: BD5479010DB02F41 Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:55] 713*2^1435602-1 is not prime. Res64: 2D7C42741491FB2C Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:55] 755*2^1435602-1 is not prime. Res64: D5F8400B813AEA61 Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:56] 807*2^1435602-1 is not prime. Res64: 72480688A8F910FC Time : 0.0 sec. user=mdettweiler [2016-07-18 13:33:56] 833*2^1435602-1 is not prime. Res64: BA7DF12C42FE8F02 Time : 0.0 sec. user=mdettweiler [2016-07-18 14:19:30] 893*2^1435602-1 is not prime. Res64: 8550BC8BB4F94C9F Time : 0.0 sec. user=mdettweiler [2016-07-18 14:19:32] 723*2^1435603-1 is not prime. Res64: 3F470835F3328149 Time : 0.0 sec. user=mdettweiler [2016-07-18 14:19:32] 917*2^1435602-1 is not prime. Res64: A51C199B69596FFA Time : 0.0 sec. user=mdettweiler [2016-07-18 14:19:35] 941*2^1435602-1 is not prime. Res64: D7BBCC6114DA7DAD Time : 0.0 sec. user=mdettweiler [2016-07-18 14:19:35] 665*2^1435604-1 is not prime. Res64: 40ED2046A3481A1F Time : 0.0 sec. user=mdettweiler [2016-07-18 14:19:37] 619*2^1435603-1 is not prime. Res64: 864C525FA4887AE2 Time : 0.0 sec. user=mdettweiler [2016-07-18 14:19:37] 689*2^1435604-1 is not prime. Res64: 807941F04F5D08EC Time : 0.0 sec. user=mdettweiler [2016-07-18 14:19:39] 631*2^1435603-1 is not prime. Res64: 7DA4EA3C92217F00 Time : 0.0 sec. user=mdettweiler [2016-07-18 14:19:39] 707*2^1435604-1 is not prime. Res64: 50A6DE095E2F3A89 Time : 0.0 sec. user=mdettweiler [2016-07-18 14:19:41] 743*2^1435604-1 is not prime. Res64: EBD06BF73621201D Time : 0.0 sec. user=mdettweiler [2016-07-18 15:06:01] 749*2^1435604-1 is not prime. Res64: 981AFAB104F88CE6 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:06:02] 759*2^1435604-1 is not prime. Res64: 67FE5EB8EDB639E3 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:06:02] 767*2^1435604-1 is not prime. Res64: 4E4111C822234F51 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:06:03] 855*2^1435604-1 is not prime. Res64: 2008E36B7AC44C0C Time : 0.0 sec. user=mdettweiler [2016-07-18 15:06:03] 875*2^1435604-1 is not prime. Res64: FAB6EEA633174058 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:06:08] 959*2^1435604-1 is not prime. Res64: 00254FE334CCE3D3 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:06:08] 639*2^1435605-1 is not prime. Res64: 17502B956456FE30 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:06:09] 675*2^1435605-1 is not prime. Res64: 93E630FC1573DF86 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:06:09] 727*2^1435605-1 is not prime. Res64: F2D233CD76D50A82 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:06:10] 735*2^1435605-1 is not prime. Res64: E43652713C530EFA Time : 0.0 sec. user=mdettweiler [2016-07-18 15:50:24] 889*2^1435605-1 is not prime. Res64: 6FF5C8A2FD84294D Time : 0.0 sec. user=mdettweiler [2016-07-18 15:50:27] 951*2^1435605-1 is not prime. Res64: FB8EE5472313D411 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:50:30] 997*2^1435605-1 is not prime. Res64: B99BDD286E9391BE Time : 0.0 sec. user=mdettweiler [2016-07-18 15:50:33] 623*2^1435606-1 is not prime. Res64: F06F231637710F83 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:50:33] 743*2^1435606-1 is not prime. Res64: 0FB3F9AE2BA49E8F Time : 0.0 sec. user=mdettweiler [2016-07-18 15:50:33] 635*2^1435606-1 is not prime. Res64: 44F4461FBE4830F2 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:50:37] 777*2^1435606-1 is not prime. Res64: CC5C3F931EC4DCDC Time : 0.0 sec. user=mdettweiler [2016-07-18 15:50:40] 815*2^1435606-1 is not prime. Res64: A4818E8E0DC53831 Time : 0.0 sec. user=mdettweiler [2016-07-18 15:50:43] 825*2^1435606-1 is not prime. Res64: 1D7CD6EF07D04A9F Time : 0.0 sec. user=mdettweiler [2016-07-18 15:50:46] 881*2^1435606-1 is not prime. Res64: 3728D5D444CE8168 Time : 0.0 sec. user=mdettweiler [2016-07-18 16:16:02] 619*2^1435601-1 is not prime. Res64: AA2766F7F4E0066A Time : 0.0 sec. user=mdettweiler [2016-07-18 16:16:05] 705*2^1435601-1 is not prime. Res64: C4B61C8644DBFDA6 Time : 0.0 sec. user=mdettweiler [2016-07-18 16:34:44] 917*2^1435606-1 is not prime. Res64: F41C4429BEF12AAF Time : 0.0 sec. user=mdettweiler [2016-07-18 16:34:45] 923*2^1435606-1 is not prime. Res64: 2DABBB2907D8FA0E Time : 0.0 sec. user=mdettweiler [2016-07-18 16:34:45] 633*2^1435607-1 is not prime. Res64: B4367DEA3160D530 Time : 0.0 sec. user=mdettweiler [2016-07-18 16:34:45] 913*2^1435607-1 is not prime. Res64: F3A72EFA9E5804A5 Time : 0.0 sec. user=mdettweiler [2016-07-18 16:34:46] 825*2^1435608-1 is not prime. Res64: 403D56F677515CBF Time : 0.0 sec. user=mdettweiler [2016-07-18 16:34:58] 843*2^1435608-1 is not prime. Res64: EB398C41565D6096 Time : 0.0 sec. user=mdettweiler [2016-07-18 16:34:58] 845*2^1435608-1 is not prime. Res64: 8838B74119788351 Time : 0.0 sec. user=mdettweiler [2016-07-18 16:34:59] 705*2^1435609-1 is not prime. Res64: 71D48CB4743A51BF Time : 0.0 sec. user=mdettweiler [2016-07-18 16:34:59] 819*2^1435609-1 is not prime. Res64: 24D673BA5D4015A9 Time : 0.0 sec. user=mdettweiler [2016-07-18 16:34:59] 847*2^1435609-1 is not prime. Res64: BC286987E54E5FED Time : 0.0 sec. user=mdettweiler [2016-07-18 17:00:05] 801*2^1435610-1 is not prime. Res64: 641BBB5F95DD1A39 Time : 0.0 sec. user=mdettweiler [2016-07-18 17:00:05] 813*2^1435610-1 is not prime. Res64: A3B2C7B9FCC91394 Time : 0.0 sec. user=mdettweiler [2016-07-18 17:00:06] 861*2^1435610-1 is not prime. Res64: DBC3AB09F02C1B4C Time : 0.0 sec. user=mdettweiler [2016-07-18 17:00:06] 867*2^1435610-1 is not prime. Res64: 203636C59D0107AD Time : 0.0 sec. user=mdettweiler [2016-07-18 17:00:06] 893*2^1435610-1 is not prime. Res64: 015CE514307B7B5D Time : 0.0 sec. user=mdettweiler [2016-07-18 17:18:49] 957*2^1435610-1 is not prime. Res64: F71B3AB4EC899D6F Time : 0.0 sec. user=mdettweiler [2016-07-18 17:18:51] 977*2^1435610-1 is not prime. Res64: B1B3278BB2501D2D Time : 0.0 sec. user=mdettweiler [2016-07-18 17:18:53] 859*2^1435611-1 is not prime. Res64: 9F25653C2A5A46F5 Time : 0.0 sec. user=mdettweiler [2016-07-18 17:18:54] 879*2^1435611-1 is not prime. Res64: A1C6450F941B1345 Time : 0.0 sec. user=mdettweiler [2016-07-18 17:18:56] 973*2^1435611-1 is not prime. Res64: B2CEEF14E7D86D91 Time : 0.0 sec. user=mdettweiler [2016-07-18 17:19:00] 603*2^1435612-1 is not prime. Res64: 06303427F507F89D Time : 0.0 sec. user=mdettweiler [2016-07-18 17:19:02] 605*2^1435612-1 is not prime. Res64: F766047C34DAFD6A Time : 0.0 sec. user=mdettweiler [2016-07-18 17:19:04] 609*2^1435612-1 is not prime. Res64: B3BC0F9D68297C6A Time : 0.0 sec. user=mdettweiler [2016-07-18 17:19:07] 639*2^1435612-1 is not prime. Res64: 4D3E56B4D33F86D8 Time : 0.0 sec. user=mdettweiler [2016-07-18 17:19:09] 677*2^1435612-1 is not prime. Res64: F7C9C6EB129A58FF Time : 0.0 sec. user=mdettweiler [2016-07-18 17:44:11] 693*2^1435612-1 is not prime. Res64: AA6FA04FF796DB11 Time : 0.0 sec. user=mdettweiler [2016-07-18 17:44:13] 759*2^1435612-1 is not prime. Res64: 6762B99DF1E063E7 Time : 0.0 sec. user=mdettweiler [2016-07-18 17:44:15] 983*2^1435612-1 is not prime. Res64: 398801C41CFCE85D Time : 0.0 sec. user=mdettweiler [2016-07-18 17:44:17] 699*2^1435613-1 is not prime. Res64: 6633D6CDA87D8F56 Time : 0.0 sec. user=mdettweiler [2016-07-18 17:44:19] 745*2^1435613-1 is not prime. Res64: D02CD1214F03FB50 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:02:57] 757*2^1435613-1 is not prime. Res64: 8EF4034C8BB93461 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:02:58] 901*2^1435613-1 is not prime. Res64: 8C5A8B666EBCBE84 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:02:59] 927*2^1435613-1 is not prime. Res64: AC3EFAF28350529C Time : 0.0 sec. user=mdettweiler [2016-07-18 18:03:00] 873*2^1435614-1 is not prime. Res64: 60D9DEB74C59B43F Time : 0.0 sec. user=mdettweiler [2016-07-18 18:03:01] 927*2^1435614-1 is not prime. Res64: C39DAFC61DCC1671 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:03:12] 675*2^1435615-1 is not prime. Res64: C6ADBEBC3905CB0F Time : 0.0 sec. user=mdettweiler [2016-07-18 18:03:15] 783*2^1435615-1 is not prime. Res64: F38AB480DC470888 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:03:16] 925*2^1435615-1 is not prime. Res64: C5BED9CE982917D8 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:03:17] 719*2^1435616-1 is not prime. Res64: CF26A3DBD9F5A0EF Time : 0.0 sec. user=mdettweiler [2016-07-18 18:03:18] 893*2^1435616-1 is not prime. Res64: 5285DEF19BF1D6E6 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:28:22] 935*2^1435616-1 is not prime. Res64: 409BDF70921CA277 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:28:23] 691*2^1435617-1 is not prime. Res64: 44AE792FF4068BD1 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:28:23] 819*2^1435617-1 is not prime. Res64: 1D88D607D58F61BF Time : 0.0 sec. user=mdettweiler [2016-07-18 18:28:24] 831*2^1435617-1 is not prime. Res64: E540720574A3FF3C Time : 0.0 sec. user=mdettweiler [2016-07-18 18:28:24] 937*2^1435617-1 is not prime. Res64: 3372830A3BF400B2 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:47:14] 945*2^1435617-1 is not prime. Res64: 0CA4384B931B7ED6 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:47:14] 955*2^1435617-1 is not prime. Res64: 96DD38DB5BBB2300 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:47:15] 979*2^1435617-1 is not prime. Res64: 59B4E4C11C800706 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:47:15] 665*2^1435618-1 is not prime. Res64: B12EFA0F146F8B1E Time : 0.0 sec. user=mdettweiler [2016-07-18 18:47:15] 765*2^1435618-1 is not prime. Res64: 41FCBF8132300FEF Time : 0.0 sec. user=mdettweiler [2016-07-18 18:47:21] 867*2^1435618-1 is not prime. Res64: 02F165FD3B1C46C7 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:47:22] 911*2^1435618-1 is not prime. Res64: 6ACBBBD9C6CFCD12 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:47:22] 945*2^1435618-1 is not prime. Res64: 6AD83A056B42E716 Time : 0.0 sec. user=mdettweiler [2016-07-18 18:47:22] 971*2^1435618-1 is not prime. Res64: D0FE7D8395F420ED Time : 0.0 sec. user=mdettweiler [2016-07-18 18:47:23] 1001*2^1435618-1 is not prime. Res64: C0EEA65B712A2149 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:12:30] 703*2^1435619-1 is not prime. Res64: CA90F673DF46E554 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:12:32] 753*2^1435619-1 is not prime. Res64: 07492B43A7E2B408 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:12:34] 759*2^1435619-1 is not prime. Res64: 04E3035F71956903 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:12:37] 771*2^1435619-1 is not prime. Res64: 354B240B6C4E4AB4 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:12:39] 811*2^1435619-1 is not prime. Res64: F477E13FD827D4C1 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:31:13] 819*2^1435619-1 is not prime. Res64: 1848A83A2088858C Time : 0.0 sec. user=mdettweiler [2016-07-18 19:31:14] 885*2^1435619-1 is not prime. Res64: 35BD756B3E29B2DC Time : 0.0 sec. user=mdettweiler [2016-07-18 19:31:14] 609*2^1435620-1 is not prime. Res64: 9E397568DA5961D5 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:31:15] 689*2^1435620-1 is not prime. Res64: F662F7AFEDF458A4 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:31:15] 717*2^1435620-1 is not prime. Res64: C0E3BAB21E16625A Time : 0.0 sec. user=mdettweiler [2016-07-18 19:31:18] 737*2^1435620-1 is not prime. Res64: 2C219C27A613409E Time : 0.0 sec. user=mdettweiler [2016-07-18 19:31:19] 789*2^1435620-1 is not prime. Res64: A4E284A8C55E2326 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:31:20] 905*2^1435620-1 is not prime. Res64: 6B0A8EBBA565478A Time : 0.0 sec. user=mdettweiler [2016-07-18 19:31:20] 965*2^1435620-1 is not prime. Res64: FB0C3CB7AA621A93 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:31:21] 601*2^1435621-1 is not prime. Res64: DE3B1F3A2EE46DFC Time : 0.0 sec. user=mdettweiler [2016-07-18 19:56:37] 607*2^1435621-1 is not prime. Res64: 55AF80E1C54EE0D4 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:56:38] 681*2^1435621-1 is not prime. Res64: 1B849910DFD02079 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:56:38] 855*2^1435621-1 is not prime. Res64: DC75671AEDE7D8FF Time : 0.0 sec. user=mdettweiler [2016-07-18 19:56:38] 877*2^1435621-1 is not prime. Res64: D97E8F8A29809197 Time : 0.0 sec. user=mdettweiler [2016-07-18 19:56:39] 603*2^1435622-1 is not prime. Res64: C575909DA274E6CC Time : 0.0 sec. user=mdettweiler [2016-07-18 20:15:17] 785*2^1435622-1 is not prime. Res64: 83D723811922EC99 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:15:18] 893*2^1435622-1 is not prime. Res64: D284A7F3BBBA82D9 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:15:19] 615*2^1435623-1 is not prime. Res64: 657F280535CE0769 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:15:19] 649*2^1435623-1 is not prime. Res64: 5E36C350CB6D7EB0 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:15:19] 679*2^1435623-1 is not prime. Res64: 82D2FA796A76C4AB Time : 0.0 sec. user=mdettweiler [2016-07-18 20:15:22] 709*2^1435623-1 is not prime. Res64: 1D59BD42B973283F Time : 0.0 sec. user=mdettweiler [2016-07-18 20:15:23] 885*2^1435623-1 is not prime. Res64: 8A0410C10168B78E Time : 0.0 sec. user=mdettweiler [2016-07-18 20:15:23] 895*2^1435623-1 is not prime. Res64: CD93CBA830E3B1CD Time : 0.0 sec. user=mdettweiler [2016-07-18 20:15:24] 963*2^1435623-1 is not prime. Res64: EC978B67CA334288 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:15:24] 969*2^1435623-1 is not prime. Res64: 8A9A7A0ED2B3C3E7 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:40:41] 615*2^1435624-1 is not prime. Res64: 05051179918DAEF4 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:40:41] 635*2^1435624-1 is not prime. Res64: 0AE121257F1437A9 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:40:42] 677*2^1435624-1 is not prime. Res64: B0EDADE71FC683B1 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:40:42] 825*2^1435624-1 is not prime. Res64: 3461C864D5B5C67F Time : 0.0 sec. user=mdettweiler [2016-07-18 20:40:43] 917*2^1435624-1 is not prime. Res64: F3B6819C2CF96B46 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:59:24] 685*2^1435625-1 is not prime. Res64: B74F57228D2502B4 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:59:26] 711*2^1435625-1 is not prime. Res64: D55113FC796A1984 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:59:28] 907*2^1435625-1 is not prime. Res64: FA1DE981AC776B84 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:59:28] 721*2^1435625-1 is not prime. Res64: A57FB397B2F6A80E Time : 0.0 sec. user=mdettweiler [2016-07-18 20:59:30] 991*2^1435625-1 is not prime. Res64: B234F3ED35B56E30 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:59:30] 735*2^1435625-1 is not prime. Res64: 4C87954A97297E94 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:59:32] 611*2^1435626-1 is not prime. Res64: 035A1AB5CD111ABB Time : 0.0 sec. user=mdettweiler [2016-07-18 20:59:33] 861*2^1435625-1 is not prime. Res64: AD7045D9ED032547 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:59:35] 807*2^1435626-1 is not prime. Res64: 4BB34B01E69F14E0 Time : 0.0 sec. user=mdettweiler [2016-07-18 20:59:37] 881*2^1435626-1 is not prime. Res64: 66CE849FA5431528 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:24:41] 917*2^1435626-1 is not prime. Res64: 2ABDF65F1D7D6062 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:24:43] 921*2^1435626-1 is not prime. Res64: 21A4A8A03129C889 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:24:46] 957*2^1435626-1 is not prime. Res64: 1E1CA905E92C63AA Time : 0.0 sec. user=mdettweiler [2016-07-18 21:24:48] 609*2^1435627-1 is not prime. Res64: 6441542B676E4A90 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:24:50] 849*2^1435627-1 is not prime. Res64: 67E54C93B51A6A86 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:43:33] 871*2^1435627-1 is not prime. Res64: 89B4EEEF913D4E07 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:43:33] 945*2^1435627-1 is not prime. Res64: C60E1D46E20B3063 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:43:33] 833*2^1435628-1 is not prime. Res64: B76CBFBCAF3133E2 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:43:33] 635*2^1435628-1 is not prime. Res64: AB1908B50F2D5454 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:43:33] 987*2^1435628-1 is not prime. Res64: CB92A8DC5CD51247 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:43:34] 665*2^1435628-1 is not prime. Res64: 815551A708F69971 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:43:34] 655*2^1435629-1 is not prime. Res64: 7B401EF53A7DD5FF Time : 0.0 sec. user=mdettweiler [2016-07-18 21:43:34] 725*2^1435628-1 is not prime. Res64: 694A8B1CE5B8CEC0 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:43:34] 667*2^1435629-1 is not prime. Res64: 67F7711CCE3061D4 Time : 0.0 sec. user=mdettweiler [2016-07-18 21:43:35] 769*2^1435629-1 is not prime. Res64: 1C0E2AAEB528E588 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:08:51] 795*2^1435629-1 is not prime. Res64: CACBEA859D0CCE89 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:08:52] 969*2^1435629-1 is not prime. Res64: 70F31E0200DB0208 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:08:53] 975*2^1435629-1 is not prime. Res64: 3EC7B9D376DF22D4 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:08:53] 675*2^1435630-1 is not prime. Res64: 005F6D3C1E939F07 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:08:54] 773*2^1435630-1 is not prime. Res64: 07921A2CA40DD025 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:27:32] 679*2^1435631-1 is not prime. Res64: A3F34237142C87CA Time : 0.0 sec. user=mdettweiler [2016-07-18 22:27:33] 777*2^1435630-1 is not prime. Res64: 5CE4477BBCA0E814 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:27:33] 745*2^1435631-1 is not prime. Res64: 2E8D0CFE80ADACBE Time : 0.0 sec. user=mdettweiler [2016-07-18 22:27:33] 857*2^1435630-1 is not prime. Res64: 642555937F324FBF Time : 0.0 sec. user=mdettweiler [2016-07-18 22:27:34] 813*2^1435631-1 is not prime. Res64: 597DFD7529C8B2F0 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:27:34] 911*2^1435630-1 is not prime. Res64: A9FC85F690B7B9C8 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:27:34] 843*2^1435631-1 is not prime. Res64: 6ECA922A0FB9CCB2 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:27:34] 619*2^1435631-1 is not prime. Res64: CFFC38B1E44232B3 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:27:34] 767*2^1435632-1 is not prime. Res64: C67415D2116F510B Time : 0.0 sec. user=mdettweiler [2016-07-18 22:27:35] 663*2^1435631-1 is not prime. Res64: 782A1E1B96CBBDEA Time : 0.0 sec. user=mdettweiler [2016-07-18 22:52:55] 867*2^1435632-1 is not prime. Res64: 4B0FBA62D565DBBD Time : 0.0 sec. user=mdettweiler [2016-07-18 22:52:56] 893*2^1435632-1 is not prime. Res64: F8CAABF19242EA9F Time : 0.0 sec. user=mdettweiler [2016-07-18 22:52:58] 929*2^1435632-1 is not prime. Res64: 7FEB689DE9BD1CF4 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:53:01] 649*2^1435633-1 is not prime. Res64: F69AE44344E45187 Time : 0.0 sec. user=mdettweiler [2016-07-18 22:53:01] 691*2^1435633-1 is not prime. Res64: E9DB57F6A0A02D43 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:11:32] 981*2^1435633-1 is not prime. Res64: BC744CAE9FDD6B2F Time : 0.0 sec. user=mdettweiler [2016-07-18 23:11:34] 671*2^1435634-1 is not prime. Res64: C64EA3241A01E392 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:11:37] 743*2^1435634-1 is not prime. Res64: 61CB3266B2C7EAD9 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:11:37] 683*2^1435634-1 is not prime. Res64: 2F05EC85407679C8 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:11:39] 785*2^1435634-1 is not prime. Res64: 02270D12EE38092B Time : 0.0 sec. user=mdettweiler [2016-07-18 23:11:39] 731*2^1435634-1 is not prime. Res64: 7044DB457A8684F6 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:11:41] 741*2^1435634-1 is not prime. Res64: 3DB5C90AF74E9A84 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:11:41] 791*2^1435634-1 is not prime. Res64: 6F9214E4E8C94AE3 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:11:43] 833*2^1435634-1 is not prime. Res64: E4ED20E5A7C437F1 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:11:46] 873*2^1435634-1 is not prime. Res64: 93B64D3A59C92E91 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:37:05] 875*2^1435634-1 is not prime. Res64: B40188CD6C1B4C26 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:37:07] 923*2^1435634-1 is not prime. Res64: 195F06D3F33C644C Time : 0.0 sec. user=mdettweiler [2016-07-18 23:37:09] 941*2^1435634-1 is not prime. Res64: BCCF5E2AB3EAFC85 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:37:11] 993*2^1435634-1 is not prime. Res64: 72F128349D1F0088 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:37:13] 613*2^1435635-1 is not prime. Res64: CFEF7E02EB9FD368 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:55:36] 765*2^1435635-1 is not prime. Res64: C158850D8992B582 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:55:37] 775*2^1435635-1 is not prime. Res64: 042BFB9C6A8BEA56 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:55:37] 789*2^1435635-1 is not prime. Res64: 41F9DEF4C29BE7C5 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:55:37] 871*2^1435635-1 is not prime. Res64: 24ADD823066DFFBB Time : 0.0 sec. user=mdettweiler [2016-07-18 23:55:38] 615*2^1435636-1 is not prime. Res64: 1F1158FB5AAD2A24 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:55:41] 689*2^1435636-1 is not prime. Res64: A017F33EA4759085 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:55:42] 705*2^1435636-1 is not prime. Res64: 226E502C4F2EDEEA Time : 0.0 sec. user=mdettweiler [2016-07-18 23:55:42] 813*2^1435636-1 is not prime. Res64: 4DB5585463E1D9ED Time : 0.0 sec. user=mdettweiler [2016-07-18 23:55:43] 909*2^1435636-1 is not prime. Res64: F75338500A482FC7 Time : 0.0 sec. user=mdettweiler [2016-07-18 23:55:43] 999*2^1435636-1 is not prime. Res64: 4E910D09B3E4E140 Time : 0.0 sec.