user=mdettweiler [2016-09-11 00:25:04] 685*2^1439449-1 is not prime. Res64: 4824B17ED64B7979 Time : 0.0 sec. user=mdettweiler [2016-09-11 00:25:06] 729*2^1439449-1 is not prime. Res64: 29556C19578957FF Time : 0.0 sec. user=mdettweiler [2016-09-11 00:25:07] 741*2^1439449-1 is not prime. Res64: 0B72B71B83540B04 Time : 0.0 sec. user=mdettweiler [2016-09-11 00:25:12] 771*2^1439449-1 is not prime. Res64: 16E35BB13C012D8A Time : 0.0 sec. user=mdettweiler [2016-09-11 00:25:13] 801*2^1439449-1 is not prime. Res64: 5430A41B5142B062 Time : 0.0 sec. user=mdettweiler [2016-09-11 00:27:18] 847*2^1439449-1 is not prime. Res64: 447325C4E009B8B3 Time : 0.0 sec. user=mdettweiler [2016-09-11 00:27:19] 867*2^1439449-1 is not prime. Res64: D4DAD0A533B7F863 Time : 0.0 sec. user=mdettweiler [2016-09-11 00:27:19] 885*2^1439449-1 is not prime. Res64: 4D626E58A1B695FC Time : 0.0 sec. user=mdettweiler [2016-09-11 00:27:20] 615*2^1439450-1 is not prime. Res64: 29DE40E988838231 Time : 0.0 sec. user=mdettweiler [2016-09-11 00:27:20] 731*2^1439450-1 is not prime. Res64: F730512C9A18F87A Time : 0.0 sec. user=mdettweiler [2016-09-11 00:35:34] 755*2^1439450-1 is not prime. Res64: 483A298699C3874C Time : 0.0 sec. user=mdettweiler [2016-09-11 00:35:34] 797*2^1439450-1 is not prime. Res64: AC46E1A94F8E5BF9 Time : 0.0 sec. user=mdettweiler [2016-09-11 00:35:35] 827*2^1439450-1 is not prime. Res64: 2348DFF0E6611BE2 Time : 0.0 sec. user=mdettweiler [2016-09-11 00:35:35] 851*2^1439450-1 is not prime. Res64: 67299DA9BE9310A5 Time : 0.0 sec. user=mdettweiler [2016-09-11 00:35:35] 917*2^1439450-1 is not prime. Res64: 2452D4667919766A Time : 0.0 sec. user=mdettweiler [2016-09-11 01:09:35] 921*2^1439450-1 is not prime. Res64: 85D471675C30A4D6 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:09:35] 971*2^1439450-1 is not prime. Res64: 3E8E67B8D6AD46C2 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:09:36] 705*2^1439451-1 is not prime. Res64: CFAA56DC78200BE5 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:09:36] 769*2^1439451-1 is not prime. Res64: 7DACD0ED9CB902FF Time : 0.0 sec. user=mdettweiler [2016-09-11 01:09:36] 781*2^1439451-1 is not prime. Res64: EEF8515E76A82FCE Time : 0.0 sec. user=mdettweiler [2016-09-11 01:11:37] 859*2^1439451-1 is not prime. Res64: A2AB844568144641 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:11:37] 871*2^1439451-1 is not prime. Res64: A806B2856112BD5A Time : 0.0 sec. user=mdettweiler [2016-09-11 01:11:38] 975*2^1439451-1 is not prime. Res64: 4906DF8521FAC173 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:11:38] 657*2^1439452-1 is not prime. Res64: 4D375EBC9480BB53 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:11:39] 687*2^1439452-1 is not prime. Res64: 7F5AAF9C4C2A630C Time : 0.0 sec. user=mdettweiler [2016-09-11 01:19:57] 723*2^1439452-1 is not prime. Res64: B098D5CD7D3BFC5E Time : 0.0 sec. user=mdettweiler [2016-09-11 01:19:58] 819*2^1439452-1 is not prime. Res64: C7F3CE2F6C3B74CA Time : 0.0 sec. user=mdettweiler [2016-09-11 01:19:58] 843*2^1439452-1 is not prime. Res64: E14230F3A34AD0F6 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:19:58] 875*2^1439452-1 is not prime. Res64: 847CF96E416ADA9A Time : 0.0 sec. user=mdettweiler [2016-09-11 01:19:59] 965*2^1439452-1 is not prime. Res64: F85184006D089B63 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:54:05] 619*2^1439453-1 is not prime. Res64: 8C052A6BE8ACFE9D Time : 0.0 sec. user=mdettweiler [2016-09-11 01:54:06] 631*2^1439453-1 is not prime. Res64: 63EA140E3F2B4E01 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:54:06] 685*2^1439453-1 is not prime. Res64: 7CFC92D3DE2F8B08 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:54:06] 721*2^1439453-1 is not prime. Res64: F76CCDB11A40AC04 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:54:07] 801*2^1439453-1 is not prime. Res64: C7BF4F49203300E6 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:56:04] 847*2^1439453-1 is not prime. Res64: 6B853DF7042FB490 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:56:05] 621*2^1439454-1 is not prime. Res64: 3DDF67903599A4B9 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:56:05] 741*2^1439454-1 is not prime. Res64: 2AC2F49212432B44 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:56:05] 773*2^1439454-1 is not prime. Res64: 212CC650CCD807F8 Time : 0.0 sec. user=mdettweiler [2016-09-11 01:56:06] 807*2^1439454-1 is not prime. Res64: C0FF72F524220D9A Time : 0.0 sec. user=mdettweiler [2016-09-11 02:04:33] 947*2^1439454-1 is not prime. Res64: 880F218C7E797CBD Time : 0.0 sec. user=mdettweiler [2016-09-11 02:04:36] 993*2^1439454-1 is not prime. Res64: 5924FF9A4A769A2B Time : 0.0 sec. user=mdettweiler [2016-09-11 02:04:37] 645*2^1439455-1 is not prime. Res64: 354C00267F91B556 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:04:38] 675*2^1439455-1 is not prime. Res64: 2B78ABB8197359B8 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:04:39] 685*2^1439455-1 is not prime. Res64: 21CCAD1B189EF00E Time : 0.0 sec. user=mdettweiler [2016-09-11 02:38:45] 723*2^1439455-1 is not prime. Res64: B2A78D82F97E3311 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:38:46] 793*2^1439455-1 is not prime. Res64: B990DF816BDAF7E3 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:38:46] 841*2^1439455-1 is not prime. Res64: 9A7D285F404A7984 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:38:46] 919*2^1439455-1 is not prime. Res64: 745D42501AAA6220 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:38:47] 961*2^1439455-1 is not prime. Res64: 6D25CC6E97344178 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:40:44] 985*2^1439455-1 is not prime. Res64: 8404234E4868278B Time : 0.0 sec. user=mdettweiler [2016-09-11 02:40:45] 609*2^1439456-1 is not prime. Res64: C7E5D046A68DAB20 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:40:45] 615*2^1439456-1 is not prime. Res64: CC1CCFACE524F1A4 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:40:46] 617*2^1439456-1 is not prime. Res64: 43F99483F7A94DB7 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:40:46] 735*2^1439456-1 is not prime. Res64: F571FDA20F47688E Time : 0.0 sec. user=mdettweiler [2016-09-11 02:49:24] 651*2^1439457-1 is not prime. Res64: 7DEAF0B9BF486E31 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:49:26] 759*2^1439457-1 is not prime. Res64: C8204F48C71F0596 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:49:27] 795*2^1439457-1 is not prime. Res64: 3273BE434E01B43C Time : 0.0 sec. user=mdettweiler [2016-09-11 02:49:29] 867*2^1439457-1 is not prime. Res64: 7919F8E422C0E033 Time : 0.0 sec. user=mdettweiler [2016-09-11 02:49:31] 885*2^1439457-1 is not prime. Res64: 6FD866C2627274E5 Time : 0.0 sec. user=mdettweiler [2016-09-11 03:22:54] 945*2^1439457-1 is not prime. Res64: 9AEF69BF6117D832 Time : 0.0 sec. user=mdettweiler [2016-09-11 03:22:55] 991*2^1439457-1 is not prime. Res64: E5736E7F92F77E2C Time : 0.0 sec. user=mdettweiler [2016-09-11 03:22:55] 645*2^1439458-1 is not prime. Res64: C3FE53EE478619CF Time : 0.0 sec. user=mdettweiler [2016-09-11 03:22:56] 681*2^1439458-1 is not prime. Res64: 487F322B0864425D Time : 0.0 sec. user=mdettweiler [2016-09-11 03:22:56] 731*2^1439458-1 is not prime. Res64: 82015993AC710F33 Time : 0.0 sec. user=mdettweiler [2016-09-11 03:24:53] 747*2^1439458-1 is not prime. Res64: BD7469CE282EDA71 Time : 0.0 sec. user=mdettweiler [2016-09-11 03:24:53] 827*2^1439458-1 is not prime. Res64: F3CC262BE96BEEDF Time : 0.0 sec. user=mdettweiler [2016-09-11 03:24:54] 603*2^1439459-1 is not prime. Res64: EA330F5FB423C6CF Time : 0.0 sec. user=mdettweiler [2016-09-11 03:24:54] 609*2^1439459-1 is not prime. Res64: C7C8A4C59DF2F866 Time : 0.0 sec. user=mdettweiler [2016-09-11 03:24:55] 741*2^1439459-1 is not prime. Res64: 3E01B9850810FD77 Time : 0.0 sec. user=mdettweiler [2016-09-11 03:33:51] 759*2^1439459-1 is not prime. Res64: 31BE2F63770283B3 Time : 0.0 sec. user=mdettweiler [2016-09-11 03:33:52] 909*2^1439459-1 is not prime. Res64: 57B42E40BEE130E5 Time : 0.0 sec. user=mdettweiler [2016-09-11 03:33:54] 633*2^1439460-1 is not prime. Res64: 86B636B506A61D59 Time : 0.0 sec. user=mdettweiler [2016-09-11 03:33:56] 789*2^1439460-1 is not prime. Res64: 0AD0E558C45C5C8F Time : 0.0 sec. user=mdettweiler [2016-09-11 03:33:58] 859*2^1439461-1 is not prime. Res64: 9B03DEB45E905976 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:07:12] 901*2^1439461-1 is not prime. Res64: 1CA748944D368367 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:07:14] 815*2^1439462-1 is not prime. Res64: 856D153809C13581 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:07:15] 625*2^1439463-1 is not prime. Res64: 2C152C790DC9C3F9 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:07:15] 669*2^1439463-1 is not prime. Res64: 5656BC69FFBB9830 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:07:16] 703*2^1439463-1 is not prime. Res64: 5B07B2854B4706B9 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:09:11] 745*2^1439463-1 is not prime. Res64: CE16ADEB3B0E73C7 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:09:13] 861*2^1439463-1 is not prime. Res64: 13F4481F32FE7022 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:09:14] 955*2^1439463-1 is not prime. Res64: 5F02E2E77F77FBD2 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:09:16] 963*2^1439463-1 is not prime. Res64: AE2A08CB078150EA Time : 0.0 sec. user=mdettweiler [2016-09-11 04:09:18] 675*2^1439464-1 is not prime. Res64: AC99AF271B106103 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:18:37] 705*2^1439464-1 is not prime. Res64: 0275999585AC997F Time : 0.0 sec. user=mdettweiler [2016-09-11 04:18:38] 723*2^1439464-1 is not prime. Res64: 45B1BDB1D795CB15 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:18:38] 803*2^1439464-1 is not prime. Res64: 329CF2A7CE83A229 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:18:39] 843*2^1439464-1 is not prime. Res64: C6F59F854FCF1B26 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:18:39] 863*2^1439464-1 is not prime. Res64: 5EC6C02395B29422 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:52:11] 905*2^1439464-1 is not prime. Res64: AA5760E8DB47AF92 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:52:11] 909*2^1439464-1 is not prime. Res64: DE7E7C5AF073D0D3 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:52:12] 601*2^1439465-1 is not prime. Res64: A6604BF28A00F9C1 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:52:12] 657*2^1439465-1 is not prime. Res64: 686C3649A4436DCC Time : 0.0 sec. user=mdettweiler [2016-09-11 04:52:12] 831*2^1439465-1 is not prime. Res64: 9F174345D4B06DFA Time : 0.0 sec. user=mdettweiler [2016-09-11 04:54:05] 871*2^1439465-1 is not prime. Res64: D9B306D2D9DEBBEC Time : 0.0 sec. user=mdettweiler [2016-09-11 04:54:05] 633*2^1439466-1 is not prime. Res64: C2988B42DFA09391 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:54:05] 725*2^1439466-1 is not prime. Res64: 193170E58C77C678 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:54:06] 747*2^1439466-1 is not prime. Res64: 0101A6A459833261 Time : 0.0 sec. user=mdettweiler [2016-09-11 04:54:06] 783*2^1439466-1 is not prime. Res64: 690788A1D22625F1 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:03:12] 881*2^1439466-1 is not prime. Res64: 38F1D1B6AC6247E3 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:03:13] 887*2^1439466-1 is not prime. Res64: C289017353DC516C Time : 0.0 sec. user=mdettweiler [2016-09-11 05:03:14] 1001*2^1439466-1 is not prime. Res64: BF738F21AB8FE481 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:03:14] 649*2^1439467-1 is not prime. Res64: D8C8256746986670 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:03:15] 691*2^1439467-1 is not prime. Res64: 4E3653F85365787C Time : 0.0 sec. user=mdettweiler [2016-09-11 05:36:32] 715*2^1439467-1 is not prime. Res64: B2F11C57BA9E6510 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:36:33] 849*2^1439467-1 is not prime. Res64: 2F3C79AAA8463494 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:36:33] 891*2^1439467-1 is not prime. Res64: 16806B74D685FCD2 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:36:33] 919*2^1439467-1 is not prime. Res64: E533D0954A6231FA Time : 0.0 sec. user=mdettweiler [2016-09-11 05:36:34] 985*2^1439467-1 is not prime. Res64: 27993CB6CA778607 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:38:25] 993*2^1439467-1 is not prime. Res64: CA17D9AE5BD95A13 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:38:26] 665*2^1439468-1 is not prime. Res64: 8D1C984917440F30 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:38:26] 753*2^1439468-1 is not prime. Res64: E3691C9EF78F8255 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:38:26] 845*2^1439468-1 is not prime. Res64: B62131A074924761 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:38:27] 875*2^1439468-1 is not prime. Res64: 63D943DE0F404FAE Time : 0.0 sec. user=mdettweiler [2016-09-11 05:47:35] 999*2^1439468-1 is not prime. Res64: DDB453B8142DE3B0 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:47:35] 615*2^1439469-1 is not prime. Res64: C9A5E6BAEF4732E0 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:47:36] 661*2^1439469-1 is not prime. Res64: 26E497F894C08D78 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:47:36] 667*2^1439469-1 is not prime. Res64: AD336BBA925DB599 Time : 0.0 sec. user=mdettweiler [2016-09-11 05:47:36] 675*2^1439469-1 is not prime. Res64: 3762C5B469856202 Time : 0.0 sec. user=mdettweiler [2016-09-11 06:20:54] 691*2^1439469-1 is not prime. Res64: C0710B82CF2E3262 Time : 0.0 sec. user=mdettweiler [2016-09-11 06:20:54] 745*2^1439469-1 is not prime. Res64: D403E2B0832A742F Time : 0.0 sec. user=mdettweiler [2016-09-11 06:20:55] 769*2^1439469-1 is not prime. Res64: 8E2E1183DC9C11B8 Time : 0.0 sec. user=mdettweiler [2016-09-11 06:20:55] 781*2^1439469-1 is not prime. Res64: 28E260B92C869808 Time : 0.0 sec. user=mdettweiler [2016-09-11 06:20:57] 831*2^1439469-1 is not prime. Res64: 6E202F65BC41613A Time : 0.0 sec. user=mdettweiler [2016-09-11 06:22:43] 979*2^1439469-1 is not prime. Res64: BC4B6983D890A5E1 Time : 0.0 sec. user=mdettweiler [2016-09-11 06:22:44] 611*2^1439470-1 is not prime. Res64: 47CC800AFD4C7988 Time : 0.0 sec. user=mdettweiler [2016-09-11 06:22:44] 717*2^1439470-1 is not prime. Res64: 743468F680F06843 Time : 0.0 sec. user=mdettweiler [2016-09-11 06:22:44] 747*2^1439470-1 is not prime. Res64: D717FAF4266F5CA5 Time : 0.0 sec. user=mdettweiler [2016-09-11 06:22:45] 801*2^1439470-1 is not prime. Res64: 1665C17BABBB0D38 Time : 0.0 sec. user=mdettweiler [2016-09-11 06:31:57] 857*2^1439470-1 is not prime. Res64: F14908EF65E831DE Time : 0.0 sec. user=mdettweiler [2016-09-11 06:31:57] 863*2^1439470-1 is not prime. Res64: B5E7084B01713D0E Time : 0.0 sec. user=mdettweiler [2016-09-11 06:31:58] 941*2^1439470-1 is not prime. Res64: B42C8D456066886F Time : 0.0 sec. user=mdettweiler [2016-09-11 06:31:58] 975*2^1439470-1 is not prime. Res64: E74F6FCA5096AF04 Time : 0.0 sec. user=mdettweiler [2016-09-11 06:31:59] 609*2^1439471-1 is not prime. Res64: 716EDB95C6D453B7 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:05:18] 621*2^1439471-1 is not prime. Res64: B2E4D67F79427EF9 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:05:20] 673*2^1439471-1 is not prime. Res64: 6AD6EA96CACFED02 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:05:21] 735*2^1439471-1 is not prime. Res64: 471C4BF7AD48B949 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:05:23] 745*2^1439471-1 is not prime. Res64: E1C8704A652A0291 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:05:24] 789*2^1439471-1 is not prime. Res64: B1FFFA7E21E0056D Time : 0.0 sec. user=mdettweiler [2016-09-11 07:07:06] 805*2^1439471-1 is not prime. Res64: 1736CEC644C650CF Time : 0.0 sec. user=mdettweiler [2016-09-11 07:07:06] 855*2^1439471-1 is not prime. Res64: 9653CED75CEBF7C8 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:07:06] 865*2^1439471-1 is not prime. Res64: F97654876F8B00E4 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:07:07] 879*2^1439471-1 is not prime. Res64: 7C4E1E8D895E30BE Time : 0.0 sec. user=mdettweiler [2016-09-11 07:07:07] 991*2^1439471-1 is not prime. Res64: 3123499CC40EF939 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:16:23] 629*2^1439472-1 is not prime. Res64: 46BA825CB126F3EE Time : 0.0 sec. user=mdettweiler [2016-09-11 07:16:26] 849*2^1439472-1 is not prime. Res64: 1461559B909EF364 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:16:30] 857*2^1439472-1 is not prime. Res64: 1F65418F4E730A1C Time : 0.0 sec. user=mdettweiler [2016-09-11 07:16:31] 929*2^1439472-1 is not prime. Res64: C33CB8EF40EDE2C2 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:16:34] 705*2^1439473-1 is not prime. Res64: 93FAA2FEFE0CC0BD Time : 0.0 sec. user=mdettweiler [2016-09-11 07:50:00] 955*2^1439473-1 is not prime. Res64: AC0467F571974969 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:50:01] 675*2^1439474-1 is not prime. Res64: 5C5FA03AFFAACA50 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:50:01] 683*2^1439474-1 is not prime. Res64: FA93474F0E718563 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:50:01] 773*2^1439474-1 is not prime. Res64: 5294449AE0383E5E Time : 0.0 sec. user=mdettweiler [2016-09-11 07:50:02] 837*2^1439474-1 is not prime. Res64: 9C7E651E69A8D9F9 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:51:25] 887*2^1439474-1 is not prime. Res64: 3979C0CC30D5DD98 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:51:25] 639*2^1439475-1 is not prime. Res64: 095F826270B758D5 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:51:25] 691*2^1439475-1 is not prime. Res64: C0D9F0B6287140B5 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:51:26] 789*2^1439475-1 is not prime. Res64: C5B225E615F61091 Time : 0.0 sec. user=mdettweiler [2016-09-11 07:51:26] 829*2^1439475-1 is not prime. Res64: 546591B920B9F3C6 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:01:08] 871*2^1439475-1 is not prime. Res64: F13A24A6D2FE26F5 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:01:10] 949*2^1439475-1 is not prime. Res64: 5ACAE92926ABACAA Time : 0.0 sec. user=mdettweiler [2016-09-11 08:01:11] 963*2^1439475-1 is not prime. Res64: B6C4AF2CC74F6439 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:01:13] 609*2^1439476-1 is not prime. Res64: D84D7891E01DC039 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:01:13] 617*2^1439476-1 is not prime. Res64: 99E2E3D570E2DA7E Time : 0.0 sec. user=mdettweiler [2016-09-11 08:34:26] 693*2^1439476-1 is not prime. Res64: EFF9D50B6F3029D9 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:34:26] 873*2^1439476-1 is not prime. Res64: 7A69BC641C86794A Time : 0.0 sec. user=mdettweiler [2016-09-11 08:34:27] 631*2^1439477-1 is not prime. Res64: BF81B0BDFEFFC9FC Time : 0.0 sec. user=mdettweiler [2016-09-11 08:34:27] 741*2^1439477-1 is not prime. Res64: B66F8EEAF0455857 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:34:27] 889*2^1439477-1 is not prime. Res64: D7AF09836AE80268 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:35:45] 937*2^1439477-1 is not prime. Res64: 53359B19BA593B7F Time : 0.0 sec. user=mdettweiler [2016-09-11 08:35:46] 945*2^1439477-1 is not prime. Res64: A9D60C145BBB2A37 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:35:46] 957*2^1439477-1 is not prime. Res64: C7979814414D9E54 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:35:46] 681*2^1439478-1 is not prime. Res64: 9C21BA9BF7F208A7 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:35:47] 711*2^1439478-1 is not prime. Res64: 1C0042548DC2F8DB Time : 0.0 sec. user=mdettweiler [2016-09-11 08:45:39] 713*2^1439478-1 is not prime. Res64: 67CEA83D63176E1C Time : 0.0 sec. user=mdettweiler [2016-09-11 08:45:39] 725*2^1439478-1 is not prime. Res64: 0A4507B148A82F4D Time : 0.0 sec. user=mdettweiler [2016-09-11 08:45:40] 737*2^1439478-1 is not prime. Res64: 5D982F808B577BCD Time : 0.0 sec. user=mdettweiler [2016-09-11 08:45:40] 921*2^1439478-1 is not prime. Res64: 97FC31C151B26C21 Time : 0.0 sec. user=mdettweiler [2016-09-11 08:45:41] 923*2^1439478-1 is not prime. Res64: 60F08C317E985A30 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:18:50] 957*2^1439478-1 is not prime. Res64: D982C75C9C9C46EA Time : 0.0 sec. user=mdettweiler [2016-09-11 09:18:50] 633*2^1439479-1 is not prime. Res64: 4869AB4A695F02F5 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:18:51] 639*2^1439479-1 is not prime. Res64: 4BAC0E440CB2D6BF Time : 0.0 sec. user=mdettweiler [2016-09-11 09:18:51] 885*2^1439479-1 is not prime. Res64: 70D9C9AEC199A9EF Time : 0.0 sec. user=mdettweiler [2016-09-11 09:18:51] 609*2^1439480-1 is not prime. Res64: DE15DF06ABCD0981 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:20:11] 635*2^1439480-1 is not prime. Res64: D1E09BF5C4BE6D89 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:20:11] 645*2^1439480-1 is not prime. Res64: 892A115ECD158ED4 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:20:11] 699*2^1439480-1 is not prime. Res64: D4DF9871E7EA905E Time : 0.0 sec. user=mdettweiler [2016-09-11 09:20:12] 795*2^1439480-1 is not prime. Res64: 9CCD51AC93645588 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:20:12] 839*2^1439480-1 is not prime. Res64: 5EEC774BDEED4077 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:30:00] 923*2^1439480-1 is not prime. Res64: 94E0156D509E70A8 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:30:00] 679*2^1439481-1 is not prime. Res64: 5A1032DE2722CA79 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:30:00] 847*2^1439481-1 is not prime. Res64: 890D8DB9FC48DEC4 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:30:01] 951*2^1439481-1 is not prime. Res64: 4F4EF6BF6689BD66 Time : 0.0 sec. user=mdettweiler [2016-09-11 09:30:01] 617*2^1439482-1 is not prime. Res64: 309B19BDECAE3D31 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:03:13] 765*2^1439482-1 is not prime. Res64: 0DD3DCDF21F485D8 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:03:14] 821*2^1439482-1 is not prime. Res64: 37167F0C18357CB7 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:03:16] 825*2^1439482-1 is not prime. Res64: DAC85F966711885B Time : 0.0 sec. user=mdettweiler [2016-09-11 10:03:18] 855*2^1439482-1 is not prime. Res64: E6763D39DCAD18B2 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:03:19] 1001*2^1439482-1 is not prime. Res64: FE10CE7A7A7F6618 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:04:39] 615*2^1439483-1 is not prime. Res64: 4343E3CDBAF3A8CF Time : 0.0 sec. user=mdettweiler [2016-09-11 10:04:40] 619*2^1439483-1 is not prime. Res64: 0A76AF40EDC5E9BB Time : 0.0 sec. user=mdettweiler [2016-09-11 10:04:40] 631*2^1439483-1 is not prime. Res64: F7A1D1BBD1AAA11C Time : 0.0 sec. user=mdettweiler [2016-09-11 10:04:41] 759*2^1439483-1 is not prime. Res64: 726C2DC3695E618E Time : 0.0 sec. user=mdettweiler [2016-09-11 10:04:42] 775*2^1439483-1 is not prime. Res64: 36D82E4D78A414F6 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:14:20] 813*2^1439483-1 is not prime. Res64: 85B810C9FFDC97A9 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:14:23] 707*2^1439484-1 is not prime. Res64: DA146CB35B844A95 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:14:23] 783*2^1439484-1 is not prime. Res64: C99ACFA1E58F1E7A Time : 0.0 sec. user=mdettweiler [2016-09-11 10:14:24] 843*2^1439484-1 is not prime. Res64: 3C058F3CC6DDF033 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:14:24] 915*2^1439484-1 is not prime. Res64: 1C378C8C5F171518 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:47:55] 927*2^1439484-1 is not prime. Res64: 98B35FDBC0FE7485 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:47:56] 675*2^1439485-1 is not prime. Res64: 1091AA98133529C8 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:47:56] 721*2^1439485-1 is not prime. Res64: 9872B5DFBF774B44 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:47:56] 757*2^1439485-1 is not prime. Res64: 15EC8DAB3AE6B893 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:47:57] 811*2^1439485-1 is not prime. Res64: F6E37A5EEB9375FB Time : 0.0 sec. user=mdettweiler [2016-09-11 10:49:05] 861*2^1439485-1 is not prime. Res64: 093BDAD338ADA4E7 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:49:05] 979*2^1439485-1 is not prime. Res64: 55891FD73E05728F Time : 0.0 sec. user=mdettweiler [2016-09-11 10:49:05] 997*2^1439485-1 is not prime. Res64: EBB7090DB41EC645 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:49:06] 999*2^1439485-1 is not prime. Res64: A31961A729588387 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:49:06] 831*2^1439486-1 is not prime. Res64: 7039B1111907A701 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:58:44] 857*2^1439486-1 is not prime. Res64: 66B31FA9DC1FA2C3 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:58:44] 903*2^1439486-1 is not prime. Res64: CE1183892F76C4F2 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:58:44] 921*2^1439486-1 is not prime. Res64: 6F8B2CF03D308FD4 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:58:45] 941*2^1439486-1 is not prime. Res64: 866116AFE8020B78 Time : 0.0 sec. user=mdettweiler [2016-09-11 10:58:45] 963*2^1439486-1 is not prime. Res64: B48472B33E12F6F7 Time : 0.0 sec. user=mdettweiler [2016-09-11 11:32:16] 649*2^1439487-1 is not prime. Res64: B3B577A515C668B0 Time : 0.0 sec. user=mdettweiler [2016-09-11 11:32:17] 651*2^1439487-1 is not prime. Res64: 39ED064482484AA3 Time : 0.0 sec. user=mdettweiler [2016-09-11 11:32:17] 669*2^1439487-1 is not prime. Res64: C347051C420D350E Time : 0.0 sec. user=mdettweiler [2016-09-11 11:32:17] 709*2^1439487-1 is not prime. Res64: 8941AB8B27D6DFC9 Time : 0.0 sec. user=mdettweiler [2016-09-11 11:32:18] 735*2^1439487-1 is not prime. Res64: 8500BEDB977D367F Time : 0.0 sec. user=mdettweiler [2016-09-11 11:33:26] 605*2^1439488-1 is not prime. Res64: 1C630213F162F227 Time : 0.0 sec. user=mdettweiler [2016-09-11 11:33:27] 933*2^1439488-1 is not prime. Res64: 9834AA0138682D4C Time : 0.0 sec. user=mdettweiler [2016-09-11 11:33:27] 947*2^1439488-1 is not prime. Res64: BE0682852588E617 Time : 0.0 sec. user=mdettweiler [2016-09-11 11:33:28] 685*2^1439489-1 is not prime. Res64: 6964E56A264EC8AA Time : 0.0 sec. user=mdettweiler [2016-09-11 11:33:29] 957*2^1439489-1 is not prime. Res64: 4F3962B10D1733BC Time : 0.0 sec. user=mdettweiler [2016-09-11 11:43:06] 611*2^1439490-1 is not prime. Res64: 4935D71D4DDADD35 Time : 0.0 sec. user=mdettweiler [2016-09-11 11:43:06] 657*2^1439490-1 is not prime. Res64: 31873EE9E96075C3 Time : 0.0 sec. user=mdettweiler [2016-09-11 11:43:06] 677*2^1439490-1 is not prime. Res64: 6FDBCF16E2049DA1 Time : 0.0 sec. user=mdettweiler [2016-09-11 11:43:07] 723*2^1439490-1 is not prime. Res64: D00ABDDF8D40F5BD Time : 0.0 sec. user=mdettweiler [2016-09-11 11:43:07] 921*2^1439490-1 is not prime. Res64: 586FB2D87F0A782C Time : 0.0 sec. user=mdettweiler [2016-09-11 12:17:14] 977*2^1439490-1 is not prime. Res64: 0A54F7C78A10F0CB Time : 0.0 sec. user=mdettweiler [2016-09-11 12:17:15] 615*2^1439491-1 is not prime. Res64: 1A06C8A0B014B64D Time : 0.0 sec. user=mdettweiler [2016-09-11 12:17:15] 631*2^1439491-1 is not prime. Res64: 0C4D9EBFEA03C235 Time : 0.0 sec. user=mdettweiler [2016-09-11 12:17:15] 663*2^1439491-1 is not prime. Res64: 9851E2639B71EF48 Time : 0.0 sec. user=mdettweiler [2016-09-11 12:17:16] 939*2^1439491-1 is not prime. Res64: 1EC3925C2C70BE6C Time : 0.0 sec. user=mdettweiler [2016-09-11 12:18:31] 943*2^1439491-1 is not prime. Res64: 23ADB8D153BFBC7F Time : 0.0 sec. user=mdettweiler [2016-09-11 12:18:31] 677*2^1439492-1 is not prime. Res64: 2DD5903AEE85A304 Time : 0.0 sec. user=mdettweiler [2016-09-11 12:18:31] 725*2^1439492-1 is not prime. Res64: 5CD1C4E767178721 Time : 0.0 sec. user=mdettweiler [2016-09-11 12:18:32] 759*2^1439492-1 is not prime. Res64: 1529A373094FA872 Time : 0.0 sec. user=mdettweiler [2016-09-11 12:18:32] 873*2^1439492-1 is not prime. Res64: 676C3D44A076BD2E Time : 0.0 sec. user=mdettweiler [2016-09-11 12:28:05] 897*2^1439492-1 is not prime. Res64: 8EB3666E33A6DF3C Time : 0.0 sec. user=mdettweiler [2016-09-11 12:28:05] 609*2^1439493-1 is not prime. Res64: 22A5CD7358DEF4D3 Time : 0.0 sec. user=mdettweiler [2016-09-11 12:28:05] 685*2^1439493-1 is not prime. Res64: 5BCCD0861C6995C7 Time : 0.0 sec. user=mdettweiler [2016-09-11 12:28:06] 805*2^1439493-1 is not prime. Res64: 3D04CD186DF45A50 Time : 0.0 sec. user=mdettweiler [2016-09-11 12:28:06] 817*2^1439493-1 is not prime. Res64: 880965D55A898629 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:01:35] 969*2^1439493-1 is not prime. Res64: 89D07F31630E81AA Time : 0.0 sec. user=mdettweiler [2016-09-11 13:01:35] 611*2^1439494-1 is not prime. Res64: 659922E1F719DE17 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:01:36] 663*2^1439494-1 is not prime. Res64: 75F636449EA3A528 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:01:37] 741*2^1439494-1 is not prime. Res64: A1EC66F088C3593D Time : 0.0 sec. user=mdettweiler [2016-09-11 13:01:38] 773*2^1439494-1 is not prime. Res64: 174CE2E8BB6FCDD1 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:02:49] 813*2^1439494-1 is not prime. Res64: 9CE988428DF817F8 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:02:49] 983*2^1439494-1 is not prime. Res64: 89001799CC4FE558 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:02:50] 993*2^1439494-1 is not prime. Res64: 9E8A33ACAA9BFDE2 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:02:51] 603*2^1439495-1 is not prime. Res64: 0F50B046A514296C Time : 0.0 sec. user=mdettweiler [2016-09-11 13:02:51] 693*2^1439495-1 is not prime. Res64: D2A605FA04082D26 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:12:23] 859*2^1439495-1 is not prime. Res64: 911AB95EB57F0822 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:12:24] 985*2^1439495-1 is not prime. Res64: 0EBB4C9C1A2865BA Time : 0.0 sec. user=mdettweiler [2016-09-11 13:12:24] 999*2^1439495-1 is not prime. Res64: 54543B04C7D5353F Time : 0.0 sec. user=mdettweiler [2016-09-11 13:12:25] 635*2^1439496-1 is not prime. Res64: 6B792459CA4788B5 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:12:25] 657*2^1439496-1 is not prime. Res64: E5DAA3EB9491EE74 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:45:59] 669*2^1439496-1 is not prime. Res64: C0A342F79C580227 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:45:59] 719*2^1439496-1 is not prime. Res64: D1D0C59323FCC8FC Time : 0.0 sec. user=mdettweiler [2016-09-11 13:45:59] 747*2^1439496-1 is not prime. Res64: 587447332FDE69EC Time : 0.0 sec. user=mdettweiler [2016-09-11 13:46:00] 767*2^1439496-1 is not prime. Res64: B648BB155F9FF802 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:46:00] 845*2^1439496-1 is not prime. Res64: 7AC601767B7D5572 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:47:15] 909*2^1439496-1 is not prime. Res64: 842BF9C49FD96330 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:47:16] 687*2^1439497-1 is not prime. Res64: 9A8D5097F8AD2FFE Time : 0.0 sec. user=mdettweiler [2016-09-11 13:47:16] 741*2^1439497-1 is not prime. Res64: 045BD07B48DFAEB3 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:47:17] 831*2^1439497-1 is not prime. Res64: 0AB4B102C76C05C2 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:47:17] 849*2^1439497-1 is not prime. Res64: BFDC3A5A19B611D4 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:56:49] 889*2^1439497-1 is not prime. Res64: 58111736A220EE2A Time : 0.0 sec. user=mdettweiler [2016-09-11 13:56:49] 937*2^1439497-1 is not prime. Res64: 814AFD6D2DCB3584 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:56:49] 955*2^1439497-1 is not prime. Res64: 33D28598EB5F6BD9 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:56:50] 967*2^1439497-1 is not prime. Res64: 683BFF8E700CF010 Time : 0.0 sec. user=mdettweiler [2016-09-11 13:56:50] 753*2^1439498-1 is not prime. Res64: E4BA37BF49FBACF8 Time : 0.0 sec. user=mdettweiler [2016-09-11 14:30:15] 767*2^1439498-1 is not prime. Res64: C2058ED96717F870 Time : 0.0 sec. user=mdettweiler [2016-09-11 14:30:16] 867*2^1439498-1 is not prime. Res64: 19D4931B8CAEDDB9 Time : 0.0 sec. user=mdettweiler [2016-09-11 14:30:16] 875*2^1439498-1 is not prime. Res64: F02A4E609CD4AC25 Time : 0.0 sec. user=mdettweiler [2016-09-11 14:30:17] 885*2^1439498-1 is not prime. Res64: BCF60AA4C494DB8B Time : 0.0 sec. user=mdettweiler [2016-09-11 14:30:17] 921*2^1439498-1 is not prime. Res64: 7264465CE8759C58 Time : 0.0 sec. user=mdettweiler [2016-09-11 14:31:29] 977*2^1439498-1 is not prime. Res64: 330227F5178FB69C Time : 0.0 sec. user=mdettweiler [2016-09-11 14:31:29] 987*2^1439498-1 is not prime. Res64: 0BBCB54538490249 Time : 0.0 sec. user=mdettweiler [2016-09-11 14:31:30] 669*2^1439499-1 is not prime. Res64: E2CCEBC5CB00DAF3 Time : 0.0 sec. user=mdettweiler [2016-09-11 14:31:30] 703*2^1439499-1 is not prime. Res64: 99B51EF47EA74DAA Time : 0.0 sec. user=mdettweiler [2016-09-11 14:31:30] 795*2^1439499-1 is not prime. Res64: 331568D5206AB80E Time : 0.0 sec. user=mdettweiler [2016-09-11 14:41:12] 823*2^1439499-1 is not prime. Res64: D0DEB93775B069E2 Time : 0.0 sec. user=mdettweiler [2016-09-11 14:41:13] 825*2^1439499-1 is not prime. Res64: 2611F8959D668113 Time : 0.0 sec. user=mdettweiler [2016-09-11 14:41:13] 843*2^1439499-1 is not prime. Res64: 852E533CC4E85AAF Time : 0.0 sec. user=mdettweiler [2016-09-11 14:41:13] 853*2^1439499-1 is not prime. Res64: B10587274DF8A0EE Time : 0.0 sec. user=mdettweiler [2016-09-11 14:41:14] 861*2^1439499-1 is not prime. Res64: 430F7B2910D3BB88 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:14:38] 951*2^1439499-1 is not prime. Res64: 514A9E197D66F774 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:14:38] 955*2^1439499-1 is not prime. Res64: E21208CE9A6F175E Time : 0.0 sec. user=mdettweiler [2016-09-11 15:14:39] 675*2^1439500-1 is not prime. Res64: 7B380A538C49F913 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:14:39] 677*2^1439500-1 is not prime. Res64: D95975E888FF78E5 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:14:40] 863*2^1439500-1 is not prime. Res64: 40F75DDDEA6999A7 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:15:49] 909*2^1439500-1 is not prime. Res64: 4B215C5F559455BA Time : 0.0 sec. user=mdettweiler [2016-09-11 15:15:49] 933*2^1439500-1 is not prime. Res64: 826181971EB96A37 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:15:50] 939*2^1439500-1 is not prime. Res64: D0D3E68F1F1B829E Time : 0.0 sec. user=mdettweiler [2016-09-11 15:15:50] 615*2^1439501-1 is not prime. Res64: 7C73207483FA6704 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:15:50] 627*2^1439501-1 is not prime. Res64: 08DBDEA37292BEFC Time : 0.0 sec. user=mdettweiler [2016-09-11 15:25:36] 717*2^1439501-1 is not prime. Res64: FAB8EC59BF28798A Time : 0.0 sec. user=mdettweiler [2016-09-11 15:25:37] 805*2^1439501-1 is not prime. Res64: C2FE1735B6E77BCA Time : 0.0 sec. user=mdettweiler [2016-09-11 15:25:37] 861*2^1439501-1 is not prime. Res64: C5DE196654FBA2EA Time : 0.0 sec. user=mdettweiler [2016-09-11 15:25:37] 949*2^1439501-1 is not prime. Res64: 2B4E5626364755E8 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:25:38] 957*2^1439501-1 is not prime. Res64: F41D2A1A89F409DE Time : 0.0 sec. user=mdettweiler [2016-09-11 15:58:58] 651*2^1439502-1 is not prime. Res64: 9FC1E337BF6CA705 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:58:58] 761*2^1439502-1 is not prime. Res64: 905EB5999E38E857 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:58:59] 797*2^1439502-1 is not prime. Res64: 9363C409318098C0 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:58:59] 975*2^1439502-1 is not prime. Res64: CD8733455E9FEE46 Time : 0.0 sec. user=mdettweiler [2016-09-11 15:58:59] 609*2^1439503-1 is not prime. Res64: 04766BBDE4856E8F Time : 0.0 sec. user=mdettweiler [2016-09-11 16:00:08] 615*2^1439503-1 is not prime. Res64: 61305592AB2261D7 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:00:09] 663*2^1439503-1 is not prime. Res64: 54EEAB00618F1572 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:00:10] 751*2^1439503-1 is not prime. Res64: 60E7EDE999D83D3B Time : 0.0 sec. user=mdettweiler [2016-09-11 16:00:10] 769*2^1439503-1 is not prime. Res64: 9FAAF95F6D198F9B Time : 0.0 sec. user=mdettweiler [2016-09-11 16:00:11] 829*2^1439503-1 is not prime. Res64: DD6B2E846BC575F8 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:09:58] 871*2^1439503-1 is not prime. Res64: A8244633C46050B4 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:09:58] 961*2^1439503-1 is not prime. Res64: F098D90CCFE17954 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:09:59] 973*2^1439503-1 is not prime. Res64: 2F1D2CEF8826A0AF Time : 0.0 sec. user=mdettweiler [2016-09-11 16:09:59] 993*2^1439503-1 is not prime. Res64: 79B952145B685F04 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:09:59] 635*2^1439504-1 is not prime. Res64: DE5F8B8FC8A19543 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:43:17] 725*2^1439504-1 is not prime. Res64: B15E11BEF4CEA7BB Time : 0.0 sec. user=mdettweiler [2016-09-11 16:43:17] 753*2^1439504-1 is not prime. Res64: 98722EF4E82031AB Time : 0.0 sec. user=mdettweiler [2016-09-11 16:43:18] 767*2^1439504-1 is not prime. Res64: 7209F639CC9A4549 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:43:18] 855*2^1439504-1 is not prime. Res64: 19D08BF686E7C727 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:43:18] 893*2^1439504-1 is not prime. Res64: 79A3279DC556CDB6 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:44:36] 903*2^1439504-1 is not prime. Res64: BADFC58C1101D527 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:44:37] 917*2^1439504-1 is not prime. Res64: 85E1EC1980069CDA Time : 0.0 sec. user=mdettweiler [2016-09-11 16:44:37] 705*2^1439505-1 is not prime. Res64: 5963FBC1FCA6ED89 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:44:37] 787*2^1439505-1 is not prime. Res64: 171D55B737C28C7E Time : 0.0 sec. user=mdettweiler [2016-09-11 16:44:38] 819*2^1439505-1 is not prime. Res64: 0A953C5C407F21AF Time : 0.0 sec. user=mdettweiler [2016-09-11 16:54:22] 867*2^1439505-1 is not prime. Res64: 66615E42FE200204 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:54:22] 885*2^1439505-1 is not prime. Res64: A7EB70A0614090F9 Time : 0.0 sec. user=mdettweiler [2016-09-11 16:54:23] 891*2^1439505-1 is not prime. Res64: 837A926AFACE4C1A Time : 0.0 sec. user=mdettweiler [2016-09-11 16:54:23] 975*2^1439505-1 is not prime. Res64: 551A81A063E3BC5A Time : 0.0 sec. user=mdettweiler [2016-09-11 16:54:24] 991*2^1439505-1 is not prime. Res64: 247D42CAB191C6F0 Time : 0.0 sec. user=mdettweiler [2016-09-11 17:27:37] 705*2^1439506-1 is not prime. Res64: 35BD53AF84980476 Time : 0.0 sec. user=mdettweiler [2016-09-11 17:27:37] 723*2^1439506-1 is not prime. Res64: 2058B189CAA81531 Time : 0.0 sec. user=mdettweiler [2016-09-11 17:27:37] 747*2^1439506-1 is not prime. Res64: B28C9E71D3FEF95B Time : 0.0 sec. user=mdettweiler [2016-09-11 17:27:38] 843*2^1439506-1 is not prime. Res64: B6B14746B010E400 Time : 0.0 sec. user=mdettweiler [2016-09-11 17:27:38] 887*2^1439506-1 is not prime. Res64: 168CFB9F822DCB6A Time : 0.0 sec. user=mdettweiler [2016-09-11 17:28:55] 945*2^1439506-1 is not prime. Res64: B3B3BC6668A422EF Time : 0.0 sec. user=mdettweiler [2016-09-11 17:28:55] 983*2^1439506-1 is not prime. Res64: 60EECE224421D09E Time : 0.0 sec. user=mdettweiler [2016-09-11 17:28:55] 643*2^1439507-1 is not prime. Res64: F8A4AF0E84991742 Time : 0.0 sec. user=mdettweiler [2016-09-11 17:28:56] 711*2^1439507-1 is not prime. Res64: 83842B2E4D0480D0 Time : 0.0 sec. user=mdettweiler [2016-09-11 17:28:56] 799*2^1439507-1 is not prime. Res64: C7DD2544A5106D00 Time : 0.0 sec. user=mdettweiler [2016-09-11 17:38:45] 801*2^1439507-1 is not prime. Res64: B6E8E703394C9824 Time : 0.0 sec. user=mdettweiler [2016-09-11 17:38:45] 889*2^1439507-1 is not prime. Res64: 96DC4B6709E005E9 Time : 0.0 sec. user=mdettweiler [2016-09-11 17:38:46] 949*2^1439507-1 is not prime. Res64: AE4D61BDA3C8461B Time : 0.0 sec. user=mdettweiler [2016-09-11 17:38:46] 981*2^1439507-1 is not prime. Res64: 49672EE8F4CFADA3 Time : 0.0 sec. user=mdettweiler [2016-09-11 17:38:47] 773*2^1439508-1 is not prime. Res64: 4A4810B3B6DDC685 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:12:00] 819*2^1439508-1 is not prime. Res64: F6294DB18826A388 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:12:01] 879*2^1439508-1 is not prime. Res64: 51ACE701B6E103F7 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:12:02] 927*2^1439508-1 is not prime. Res64: 03558A102733F7EE Time : 0.0 sec. user=mdettweiler [2016-09-11 18:12:03] 993*2^1439508-1 is not prime. Res64: 216EC5977077F05E Time : 0.0 sec. user=mdettweiler [2016-09-11 18:12:04] 771*2^1439509-1 is not prime. Res64: 0FF7B04B929B273E Time : 0.0 sec. user=mdettweiler [2016-09-11 18:13:15] 801*2^1439509-1 is not prime. Res64: 96045BCE07411E32 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:13:15] 927*2^1439509-1 is not prime. Res64: A89DD6A50E52F7D8 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:13:16] 997*2^1439509-1 is not prime. Res64: 482E505BA7F03D03 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:13:16] 999*2^1439509-1 is not prime. Res64: 26A00AB081CF4961 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:13:16] 657*2^1439510-1 is not prime. Res64: F68BB0C770E41E37 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:23:07] 713*2^1439510-1 is not prime. Res64: 85AD7FFF08F8DB02 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:23:08] 843*2^1439510-1 is not prime. Res64: 37529757ED4FACE6 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:23:08] 845*2^1439510-1 is not prime. Res64: E36A753C26605458 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:23:09] 875*2^1439510-1 is not prime. Res64: 96EF8B5708633FDD Time : 0.0 sec. user=mdettweiler [2016-09-11 18:23:09] 897*2^1439510-1 is not prime. Res64: 36887C1A2C8A62DB Time : 0.0 sec. user=mdettweiler [2016-09-11 18:56:55] 953*2^1439510-1 is not prime. Res64: 5F3A5B262EFF89D1 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:56:55] 613*2^1439511-1 is not prime. Res64: FC0DAB166C909424 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:56:55] 703*2^1439511-1 is not prime. Res64: 4FA88A6667BE14BA Time : 0.0 sec. user=mdettweiler [2016-09-11 18:56:55] 741*2^1439511-1 is not prime. Res64: 9D10C6FAEFD6F9B7 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:56:56] 751*2^1439511-1 is not prime. Res64: A179F41D4F1639E0 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:57:59] 861*2^1439511-1 is not prime. Res64: D729645C71356F30 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:57:59] 871*2^1439511-1 is not prime. Res64: FEBD5CECD4C4F900 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:58:00] 879*2^1439511-1 is not prime. Res64: 1E55F3331A568612 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:58:00] 909*2^1439511-1 is not prime. Res64: 7A54646008820410 Time : 0.0 sec. user=mdettweiler [2016-09-11 18:58:01] 605*2^1439512-1 is not prime. Res64: 49A1D3F84E9C1DFA Time : 0.0 sec. user=mdettweiler [2016-09-11 19:08:04] 677*2^1439512-1 is not prime. Res64: 79831D6DF8789897 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:08:07] 735*2^1439512-1 is not prime. Res64: 462A67B31F1D1CCA Time : 0.0 sec. user=mdettweiler [2016-09-11 19:08:08] 863*2^1439512-1 is not prime. Res64: 84B47FE44EC923CA Time : 0.0 sec. user=mdettweiler [2016-09-11 19:08:09] 899*2^1439512-1 is not prime. Res64: D0343BF92E066873 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:08:10] 691*2^1439513-1 is not prime. Res64: 7B7FB786214DDE79 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:41:24] 741*2^1439513-1 is not prime. Res64: 6A020898F7EF5092 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:41:25] 871*2^1439513-1 is not prime. Res64: C847B310BC43A599 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:41:25] 981*2^1439513-1 is not prime. Res64: AE67C0B599624EEF Time : 0.0 sec. user=mdettweiler [2016-09-11 19:41:25] 717*2^1439514-1 is not prime. Res64: DD1C0E6A5D84CA93 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:41:26] 755*2^1439514-1 is not prime. Res64: D8EF9047DD72C436 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:42:30] 767*2^1439514-1 is not prime. Res64: 0978BE19284EA7D1 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:42:30] 791*2^1439514-1 is not prime. Res64: 5BCF28A1AC6D637A Time : 0.0 sec. user=mdettweiler [2016-09-11 19:42:31] 941*2^1439514-1 is not prime. Res64: 513F4B5E83ECDA28 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:42:31] 957*2^1439514-1 is not prime. Res64: A1D1E3BA2266FC8A Time : 0.0 sec. user=mdettweiler [2016-09-11 19:42:31] 639*2^1439515-1 is not prime. Res64: 2EFBC5136A57AA99 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:53:01] 649*2^1439515-1 is not prime. Res64: FBAB93DE7A511C70 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:53:01] 651*2^1439515-1 is not prime. Res64: 27D027A519E8CA58 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:53:01] 673*2^1439515-1 is not prime. Res64: 494B4641A640260E Time : 0.0 sec. user=mdettweiler [2016-09-11 19:53:02] 693*2^1439515-1 is not prime. Res64: 9301A4DB76E48C92 Time : 0.0 sec. user=mdettweiler [2016-09-11 19:53:02] 741*2^1439515-1 is not prime. Res64: AA697861DB11CB98 Time : 0.0 sec. user=mdettweiler [2016-09-11 20:26:33] 755*2^1439516-1 is not prime. Res64: 6C7832ECA6BBAA60 Time : 0.0 sec. user=mdettweiler [2016-09-11 20:26:33] 869*2^1439516-1 is not prime. Res64: 0CFF11AF0FB0616D Time : 0.0 sec. user=mdettweiler [2016-09-11 20:26:34] 923*2^1439516-1 is not prime. Res64: 8DB7DFB62B5D7CB5 Time : 0.0 sec. user=mdettweiler [2016-09-11 20:26:34] 987*2^1439516-1 is not prime. Res64: CD7252805B6EFBA4 Time : 0.0 sec. user=mdettweiler [2016-09-11 20:26:35] 999*2^1439516-1 is not prime. Res64: AAEFE46846412A33 Time : 0.0 sec. user=mdettweiler [2016-09-11 20:27:35] 691*2^1439517-1 is not prime. Res64: DB09FE1376BD4A2E Time : 0.0 sec. user=mdettweiler [2016-09-11 20:27:36] 817*2^1439517-1 is not prime. Res64: 0058D1710F429D3A Time : 0.0 sec. user=mdettweiler [2016-09-11 20:27:36] 611*2^1439518-1 is not prime. Res64: 86F129FB19434ECC Time : 0.0 sec. user=mdettweiler [2016-09-11 20:27:36] 617*2^1439518-1 is not prime. Res64: 6957B9160EC1315E Time : 0.0 sec. user=mdettweiler [2016-09-11 20:27:37] 657*2^1439518-1 is not prime. Res64: F54E87C93C3D06C2 Time : 0.0 sec. user=mdettweiler [2016-09-11 20:37:50] 681*2^1439518-1 is not prime. Res64: BC89FF63A34C6EA2 Time : 0.0 sec. user=mdettweiler [2016-09-11 20:37:51] 707*2^1439518-1 is not prime. Res64: B50721132C90C651 Time : 0.0 sec. user=mdettweiler [2016-09-11 20:37:51] 755*2^1439518-1 is not prime. Res64: AB5A336DE2E3D5B9 Time : 0.0 sec. user=mdettweiler [2016-09-11 20:37:52] 765*2^1439518-1 is not prime. Res64: C9A5485A8FBF2B14 Time : 0.0 sec. user=mdettweiler [2016-09-11 20:37:53] 773*2^1439518-1 is not prime. Res64: F95887D5A73DD8A1 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:10:58] 815*2^1439518-1 is not prime. Res64: FABD7F29662DFE5F Time : 0.0 sec. user=mdettweiler [2016-09-11 21:11:01] 821*2^1439518-1 is not prime. Res64: 7D638F72FE5BE5E7 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:11:04] 813*2^1439519-1 is not prime. Res64: 9B1C0E22F2DB760D Time : 0.0 sec. user=mdettweiler [2016-09-11 21:11:06] 823*2^1439519-1 is not prime. Res64: A4FFFED987A15255 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:11:07] 859*2^1439519-1 is not prime. Res64: 280A61D307EE3482 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:12:01] 895*2^1439519-1 is not prime. Res64: FA54CEEBDBCF00CE Time : 0.0 sec. user=mdettweiler [2016-09-11 21:12:03] 943*2^1439519-1 is not prime. Res64: 1E63EC296031A5F9 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:12:06] 669*2^1439520-1 is not prime. Res64: BF5F816FC68D5039 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:12:07] 719*2^1439520-1 is not prime. Res64: 1065A0B8BC21914D Time : 0.0 sec. user=mdettweiler [2016-09-11 21:12:10] 753*2^1439520-1 is not prime. Res64: DCD5613E1FD0D32F Time : 0.0 sec. user=mdettweiler [2016-09-11 21:22:15] 759*2^1439520-1 is not prime. Res64: 02928BFCBEB1AC03 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:22:16] 825*2^1439520-1 is not prime. Res64: ACDE0A3DB6E749BB Time : 0.0 sec. user=mdettweiler [2016-09-11 21:22:16] 899*2^1439520-1 is not prime. Res64: E9EF2246B7D1EE8F Time : 0.0 sec. user=mdettweiler [2016-09-11 21:22:17] 917*2^1439520-1 is not prime. Res64: B36D4BE8E3D670C3 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:22:17] 927*2^1439520-1 is not prime. Res64: 29C00D28586FDD21 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:55:52] 601*2^1439521-1 is not prime. Res64: A2CA43E5BD91A674 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:55:53] 639*2^1439521-1 is not prime. Res64: 58CC54293C0112DD Time : 0.0 sec. user=mdettweiler [2016-09-11 21:55:53] 645*2^1439521-1 is not prime. Res64: 5B9C2E286720D7F2 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:55:53] 685*2^1439521-1 is not prime. Res64: B600D88EA94B13D7 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:55:54] 717*2^1439521-1 is not prime. Res64: 1541A24D98D52F4B Time : 0.0 sec. user=mdettweiler [2016-09-11 21:56:37] 777*2^1439521-1 is not prime. Res64: 79D7CB0EB3489CCF Time : 0.0 sec. user=mdettweiler [2016-09-11 21:56:38] 829*2^1439521-1 is not prime. Res64: 4EE93978BDAEFD0F Time : 0.0 sec. user=mdettweiler [2016-09-11 21:56:38] 867*2^1439521-1 is not prime. Res64: 1BD3777EB65E22B2 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:56:38] 957*2^1439521-1 is not prime. Res64: 84D71FE2F6D93F64 Time : 0.0 sec. user=mdettweiler [2016-09-11 21:56:39] 705*2^1439522-1 is not prime. Res64: B031B66D79806864 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:06:40] 731*2^1439522-1 is not prime. Res64: 73F99AC23C1199C5 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:06:44] 735*2^1439522-1 is not prime. Res64: DF04758F5169BF3D Time : 0.0 sec. user=mdettweiler [2016-09-11 22:06:45] 921*2^1439522-1 is not prime. Res64: 046C8BB4B3D5ACCF Time : 0.0 sec. user=mdettweiler [2016-09-11 22:06:47] 923*2^1439522-1 is not prime. Res64: 9523C6CA1909CF25 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:06:48] 981*2^1439522-1 is not prime. Res64: DECBEDF35156BC00 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:40:21] 643*2^1439523-1 is not prime. Res64: E5FCE20C31A4E6F2 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:40:22] 765*2^1439523-1 is not prime. Res64: D58242499EAFD71A Time : 0.0 sec. user=mdettweiler [2016-09-11 22:40:23] 789*2^1439523-1 is not prime. Res64: 06AF16F25E93284A Time : 0.0 sec. user=mdettweiler [2016-09-11 22:40:24] 871*2^1439523-1 is not prime. Res64: 1D28AE35EC7FB4FB Time : 0.0 sec. user=mdettweiler [2016-09-11 22:40:25] 901*2^1439523-1 is not prime. Res64: DE24AF64EFD69A53 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:41:04] 921*2^1439523-1 is not prime. Res64: 0FCB9B81DD020CC1 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:41:05] 985*2^1439523-1 is not prime. Res64: 10630DCA8FEF683F Time : 0.0 sec. user=mdettweiler [2016-09-11 22:41:06] 719*2^1439524-1 is not prime. Res64: 06EDBFEEDE6E1A06 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:41:07] 873*2^1439524-1 is not prime. Res64: 4CB74A5B0C688E71 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:41:08] 909*2^1439524-1 is not prime. Res64: C0B059275EB80218 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:51:36] 923*2^1439524-1 is not prime. Res64: 0ED36E3F85A30746 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:51:36] 969*2^1439524-1 is not prime. Res64: EAEFA1D2F93525CD Time : 0.0 sec. user=mdettweiler [2016-09-11 22:51:36] 975*2^1439524-1 is not prime. Res64: A42003AFD169F1C7 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:51:37] 987*2^1439524-1 is not prime. Res64: 9ADE188D521A96A2 Time : 0.0 sec. user=mdettweiler [2016-09-11 22:51:37] 601*2^1439525-1 is not prime. Res64: 16BCC0145E0353B7 Time : 0.0 sec. user=mdettweiler [2016-09-11 23:24:52] 607*2^1439525-1 is not prime. Res64: 21FA94A9C2409D1C Time : 0.0 sec. user=mdettweiler [2016-09-11 23:24:52] 649*2^1439525-1 is not prime. Res64: 02B948B24671AF41 Time : 0.0 sec. user=mdettweiler [2016-09-11 23:24:53] 721*2^1439525-1 is not prime. Res64: 19EE2537AF2F9DCA Time : 0.0 sec. user=mdettweiler [2016-09-11 23:24:53] 735*2^1439525-1 is not prime. Res64: EAD5DDA90D7F57B4 Time : 0.0 sec. user=mdettweiler [2016-09-11 23:24:54] 819*2^1439525-1 is not prime. Res64: 2BC9D4321F106598 Time : 0.0 sec. user=mdettweiler [2016-09-11 23:25:33] 871*2^1439525-1 is not prime. Res64: 7588B3596D279FC1 Time : 0.0 sec. user=mdettweiler [2016-09-11 23:25:34] 889*2^1439525-1 is not prime. Res64: 4705DB6AB77095BC Time : 0.0 sec. user=mdettweiler [2016-09-11 23:25:34] 677*2^1439526-1 is not prime. Res64: 32B62C8CCA0C6A5E Time : 0.0 sec. user=mdettweiler [2016-09-11 23:25:34] 833*2^1439526-1 is not prime. Res64: EAFC2A1371CB07CA Time : 0.0 sec. user=mdettweiler [2016-09-11 23:25:35] 603*2^1439527-1 is not prime. Res64: 2BA8977BF064EFE6 Time : 0.0 sec. user=mdettweiler [2016-09-11 23:36:03] 693*2^1439527-1 is not prime. Res64: 6649894D03CC4326 Time : 0.0 sec. user=mdettweiler [2016-09-11 23:36:04] 703*2^1439527-1 is not prime. Res64: 605BC929888E8204 Time : 0.0 sec. user=mdettweiler [2016-09-11 23:36:05] 763*2^1439527-1 is not prime. Res64: 4C7034451B206F92 Time : 0.0 sec. user=mdettweiler [2016-09-11 23:36:06] 891*2^1439527-1 is not prime. Res64: 25D3ADF02C899B36 Time : 0.0 sec. user=mdettweiler [2016-09-11 23:36:07] 901*2^1439527-1 is not prime. Res64: 2FF6CC27B86C83D1 Time : 0.0 sec.