user=mdettweiler [2016-07-07 00:19:05] 987*2^1434565-1 is not prime. Res64: 7CAB85441CB5885F Time : 0.0 sec. user=mdettweiler [2016-07-07 00:19:05] 827*2^1434566-1 is not prime. Res64: 5E8862ECB475B8E9 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:19:06] 887*2^1434566-1 is not prime. Res64: E378C2BBCBD5D8A8 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:19:06] 987*2^1434566-1 is not prime. Res64: CD2E4FD34E778492 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:19:07] 619*2^1434567-1 is not prime. Res64: C8D658716348226B Time : 0.0 sec. user=mdettweiler [2016-07-07 00:29:46] 651*2^1434567-1 is not prime. Res64: 499E24C3ED2E0497 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:29:47] 685*2^1434567-1 is not prime. Res64: B586CF008BFDD7DD Time : 0.0 sec. user=mdettweiler [2016-07-07 00:29:47] 705*2^1434567-1 is not prime. Res64: BCC40F2F2103C4B7 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:29:47] 709*2^1434567-1 is not prime. Res64: 0EEC795A3D547CC4 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:29:52] 891*2^1434567-1 is not prime. Res64: F2DBCAAA0435D726 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:39:13] 933*2^1434567-1 is not prime. Res64: 53BDCE401C35EC98 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:39:14] 945*2^1434567-1 is not prime. Res64: 9DA055197D74E7DD Time : 0.0 sec. user=mdettweiler [2016-07-07 00:39:14] 635*2^1434568-1 is not prime. Res64: 0B7D557E2287FFFC Time : 0.0 sec. user=mdettweiler [2016-07-07 00:39:15] 825*2^1434568-1 is not prime. Res64: 5A6D07BB388F0870 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:39:15] 843*2^1434568-1 is not prime. Res64: ECE7818B1704B7D8 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:39:57] 697*2^1434569-1 is not prime. Res64: B27F874F36CDEE50 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:39:58] 847*2^1434569-1 is not prime. Res64: F6E60F304E9D5C1C Time : 0.0 sec. user=mdettweiler [2016-07-07 00:39:58] 897*2^1434569-1 is not prime. Res64: 4786868B7C07CBE0 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:39:58] 949*2^1434569-1 is not prime. Res64: ED815B1FB3F80B62 Time : 0.0 sec. user=mdettweiler [2016-07-07 00:39:59] 611*2^1434570-1 is not prime. Res64: 76A6CAA89981C462 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:04:29] 767*2^1434570-1 is not prime. Res64: 8C9A218DE58DB2B5 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:04:30] 905*2^1434570-1 is not prime. Res64: 17D0B66AE54B19D5 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:04:31] 917*2^1434570-1 is not prime. Res64: D8CDC09E320005FC Time : 0.0 sec. user=mdettweiler [2016-07-07 01:04:39] 601*2^1434571-1 is not prime. Res64: 97037F723430BBFF Time : 0.0 sec. user=mdettweiler [2016-07-07 01:04:41] 619*2^1434571-1 is not prime. Res64: 7BDFB5FB005A5F49 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:15:20] 663*2^1434571-1 is not prime. Res64: 976A8A64A1947726 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:15:21] 675*2^1434571-1 is not prime. Res64: D2955A47855AD816 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:15:21] 691*2^1434571-1 is not prime. Res64: D6D8FE9BB9D60692 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:15:22] 861*2^1434571-1 is not prime. Res64: 6D76F814819C0950 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:15:22] 939*2^1434571-1 is not prime. Res64: B949B6F85C5D5950 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:24:26] 617*2^1434572-1 is not prime. Res64: 4DDEF54D220366D3 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:24:26] 623*2^1434572-1 is not prime. Res64: DAE1A52B1CC553DD Time : 0.0 sec. user=mdettweiler [2016-07-07 01:24:27] 629*2^1434572-1 is not prime. Res64: 17857FC12A6F3632 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:24:27] 657*2^1434572-1 is not prime. Res64: 4F3AE2F4A15A561F Time : 0.0 sec. user=mdettweiler [2016-07-07 01:24:28] 855*2^1434572-1 is not prime. Res64: 733675588A3974AF Time : 0.0 sec. user=mdettweiler [2016-07-07 01:25:05] 899*2^1434572-1 is not prime. Res64: 212FB21FE071E93C Time : 0.0 sec. user=mdettweiler [2016-07-07 01:25:06] 909*2^1434572-1 is not prime. Res64: 2C56B1DF1C0F7F8B Time : 0.0 sec. user=mdettweiler [2016-07-07 01:25:07] 963*2^1434572-1 is not prime. Res64: F83B0E567D6FD47F Time : 0.0 sec. user=mdettweiler [2016-07-07 01:25:08] 639*2^1434573-1 is not prime. Res64: D758FB1C11576ED1 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:25:09] 727*2^1434573-1 is not prime. Res64: 4A1C96C0DD9C1B2B Time : 0.0 sec. user=mdettweiler [2016-07-07 01:49:59] 741*2^1434573-1 is not prime. Res64: 31844807119B35F2 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:49:59] 805*2^1434573-1 is not prime. Res64: BEC6DC7FCBECE500 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:50:00] 849*2^1434573-1 is not prime. Res64: E1942AB132AE6490 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:50:00] 871*2^1434573-1 is not prime. Res64: 31851116260436F0 Time : 0.0 sec. user=mdettweiler [2016-07-07 01:50:00] 891*2^1434573-1 is not prime. Res64: 79F536085CAA737A Time : 0.0 sec. user=mdettweiler [2016-07-07 02:00:27] 611*2^1434574-1 is not prime. Res64: E579CADBDED8F0E6 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:00:27] 791*2^1434574-1 is not prime. Res64: 5AC8BE4655217639 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:00:28] 833*2^1434574-1 is not prime. Res64: E45729A06D661FC8 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:00:28] 857*2^1434574-1 is not prime. Res64: 2B1E354332AFB9BB Time : 0.0 sec. user=mdettweiler [2016-07-07 02:00:28] 915*2^1434574-1 is not prime. Res64: EA086AC06D00A217 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:09:39] 945*2^1434574-1 is not prime. Res64: B70CE3027BC79F51 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:09:39] 951*2^1434574-1 is not prime. Res64: E7013C6CF63EEF94 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:09:40] 957*2^1434574-1 is not prime. Res64: 73385F524BCB32AD Time : 0.0 sec. user=mdettweiler [2016-07-07 02:09:40] 633*2^1434575-1 is not prime. Res64: D4E241EC570B4517 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:09:40] 759*2^1434575-1 is not prime. Res64: 0B54904952311615 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:10:16] 799*2^1434575-1 is not prime. Res64: D5DFF03F1813979F Time : 0.0 sec. user=mdettweiler [2016-07-07 02:10:16] 969*2^1434575-1 is not prime. Res64: 1405F8586A796379 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:10:17] 669*2^1434576-1 is not prime. Res64: 40C8B268811785B0 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:10:17] 719*2^1434576-1 is not prime. Res64: C8463650E41F5041 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:10:17] 725*2^1434576-1 is not prime. Res64: D4BC0248B2AC2DB0 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:35:23] 789*2^1434576-1 is not prime. Res64: 6660F2086345F671 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:35:23] 837*2^1434576-1 is not prime. Res64: 9D9F89542DA68F2E Time : 0.0 sec. user=mdettweiler [2016-07-07 02:35:24] 903*2^1434576-1 is not prime. Res64: 4D1306B6094A5B20 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:35:25] 619*2^1434577-1 is not prime. Res64: 09F81F172DB2A328 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:35:25] 699*2^1434577-1 is not prime. Res64: 6CBEF934A322C401 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:45:56] 741*2^1434577-1 is not prime. Res64: 053F8F93DB5EA774 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:45:56] 777*2^1434577-1 is not prime. Res64: 8FA6FF051F045594 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:45:56] 635*2^1434578-1 is not prime. Res64: 13F130314C23DE12 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:45:57] 651*2^1434578-1 is not prime. Res64: 7EBE02D64079B0DB Time : 0.0 sec. user=mdettweiler [2016-07-07 02:45:57] 657*2^1434578-1 is not prime. Res64: 134684D6F70199CE Time : 0.0 sec. user=mdettweiler [2016-07-07 02:54:49] 705*2^1434578-1 is not prime. Res64: A017AAA4EB2D91A3 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:54:49] 875*2^1434578-1 is not prime. Res64: 52C979BB44F036BC Time : 0.0 sec. user=mdettweiler [2016-07-07 02:54:50] 945*2^1434578-1 is not prime. Res64: 711F1237DAEFFFE7 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:54:50] 615*2^1434579-1 is not prime. Res64: D1110A440482779D Time : 0.0 sec. user=mdettweiler [2016-07-07 02:54:51] 723*2^1434579-1 is not prime. Res64: C2F2E6726853EB75 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:55:29] 745*2^1434579-1 is not prime. Res64: 1617858E6AE58D55 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:55:29] 829*2^1434579-1 is not prime. Res64: DBCAC872B8912FFA Time : 0.0 sec. user=mdettweiler [2016-07-07 02:55:29] 665*2^1434580-1 is not prime. Res64: 465082606C25A1FD Time : 0.0 sec. user=mdettweiler [2016-07-07 02:55:30] 819*2^1434580-1 is not prime. Res64: 7339A40D7441E770 Time : 0.0 sec. user=mdettweiler [2016-07-07 02:55:30] 843*2^1434580-1 is not prime. Res64: EFD5EB9B7971FEBF Time : 0.0 sec. user=mdettweiler [2016-07-07 03:20:38] 857*2^1434580-1 is not prime. Res64: 995B085971F62181 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:20:45] 915*2^1434580-1 is not prime. Res64: 041B44FED3E9126B Time : 0.0 sec. user=mdettweiler [2016-07-07 03:20:51] 965*2^1434580-1 is not prime. Res64: 147BF204DB0A4F92 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:20:58] 607*2^1434581-1 is not prime. Res64: 0DABBB3C6ACA2912 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:21:04] 679*2^1434581-1 is not prime. Res64: B205B0453571E974 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:31:00] 715*2^1434581-1 is not prime. Res64: E1405BB1B63ACCC2 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:31:01] 801*2^1434581-1 is not prime. Res64: 24A675074D6FE7B7 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:31:02] 949*2^1434581-1 is not prime. Res64: 95397956E9D24984 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:31:03] 713*2^1434582-1 is not prime. Res64: 69A3EEC0D05E20D5 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:31:04] 717*2^1434582-1 is not prime. Res64: AD22DFC5DAFFD9FC Time : 0.0 sec. user=mdettweiler [2016-07-07 03:40:07] 609*2^1434583-1 is not prime. Res64: C9D796FE5C35D08F Time : 0.0 sec. user=mdettweiler [2016-07-07 03:40:10] 619*2^1434583-1 is not prime. Res64: B8417A46642CBA32 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:40:11] 663*2^1434583-1 is not prime. Res64: 56282F47CC017B29 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:40:11] 703*2^1434583-1 is not prime. Res64: B34927C8CDFEB86E Time : 0.0 sec. user=mdettweiler [2016-07-07 03:40:12] 605*2^1434584-1 is not prime. Res64: 4897B51D12409768 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:40:34] 623*2^1434584-1 is not prime. Res64: 02EF25DE25AC6DCC Time : 0.0 sec. user=mdettweiler [2016-07-07 03:40:34] 743*2^1434584-1 is not prime. Res64: 8F7359A997441893 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:40:35] 893*2^1434584-1 is not prime. Res64: 4C60E20E46CC3F0B Time : 0.0 sec. user=mdettweiler [2016-07-07 03:40:36] 685*2^1434585-1 is not prime. Res64: 9BB505E239570C35 Time : 0.0 sec. user=mdettweiler [2016-07-07 03:40:36] 819*2^1434585-1 is not prime. Res64: 84893E4C372D35E9 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:06:24] 877*2^1434585-1 is not prime. Res64: 878BE3A9BCE25892 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:06:25] 969*2^1434585-1 is not prime. Res64: 3F4BB0725A797B71 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:06:26] 975*2^1434585-1 is not prime. Res64: 434DA497688F6BE5 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:06:27] 617*2^1434586-1 is not prime. Res64: 1858388E9C26E679 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:06:28] 645*2^1434586-1 is not prime. Res64: 0C40AA0ED3E4431D Time : 0.0 sec. user=mdettweiler [2016-07-07 04:16:25] 677*2^1434586-1 is not prime. Res64: 9A40213BB8F7BA8F Time : 0.0 sec. user=mdettweiler [2016-07-07 04:16:26] 695*2^1434586-1 is not prime. Res64: 3F66632BF5914C6B Time : 0.0 sec. user=mdettweiler [2016-07-07 04:16:26] 631*2^1434587-1 is not prime. Res64: 6BCE7B3E87833DFF Time : 0.0 sec. user=mdettweiler [2016-07-07 04:16:26] 651*2^1434587-1 is not prime. Res64: 9B8A4FE5032A5C07 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:16:27] 739*2^1434587-1 is not prime. Res64: F960554A0F68DACF Time : 0.0 sec. user=mdettweiler [2016-07-07 04:25:52] 883*2^1434587-1 is not prime. Res64: 01854B94FCEEC776 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:26:00] 885*2^1434587-1 is not prime. Res64: F981E872155F8D27 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:26:07] 783*2^1434588-1 is not prime. Res64: F289B69C2EFA03EC Time : 0.0 sec. user=mdettweiler [2016-07-07 04:26:07] 973*2^1434587-1 is not prime. Res64: 93DB56A1F3E2EF49 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:26:14] 683*2^1434588-1 is not prime. Res64: 0B0CC8D9D060E4C3 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:26:14] 929*2^1434588-1 is not prime. Res64: 7E8800EC1A46275F Time : 0.0 sec. user=mdettweiler [2016-07-07 04:26:21] 933*2^1434588-1 is not prime. Res64: 3D76D547CA260A96 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:26:21] 767*2^1434588-1 is not prime. Res64: 0B1D1D31D77DE7BE Time : 0.0 sec. user=mdettweiler [2016-07-07 04:26:21] 993*2^1434588-1 is not prime. Res64: 0C40850C46347584 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:26:28] 615*2^1434589-1 is not prime. Res64: 32899364213260FA Time : 0.0 sec. user=mdettweiler [2016-07-07 04:53:58] 675*2^1434589-1 is not prime. Res64: 2B48888D3D765452 Time : 0.0 sec. user=mdettweiler [2016-07-07 04:53:59] 691*2^1434589-1 is not prime. Res64: CABB77878BE6495F Time : 0.0 sec. user=mdettweiler [2016-07-07 04:53:59] 831*2^1434589-1 is not prime. Res64: DF9C3F796355502F Time : 0.0 sec. user=mdettweiler [2016-07-07 04:54:00] 671*2^1434590-1 is not prime. Res64: 88AB302C44D09FDB Time : 0.0 sec. user=mdettweiler [2016-07-07 04:54:00] 717*2^1434590-1 is not prime. Res64: B419C2C6B297C85D Time : 0.0 sec. user=mdettweiler [2016-07-07 05:02:21] 741*2^1434590-1 is not prime. Res64: 40CF1DA20078DAD3 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:02:26] 827*2^1434590-1 is not prime. Res64: 922F9426ECCE8024 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:02:30] 851*2^1434590-1 is not prime. Res64: 708C40073250B48F Time : 0.0 sec. user=mdettweiler [2016-07-07 05:02:34] 921*2^1434590-1 is not prime. Res64: E4D5D0B832E9ABE5 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:02:38] 711*2^1434591-1 is not prime. Res64: E71A1CB7A0AA92C8 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:12:25] 705*2^1434592-1 is not prime. Res64: 23E3A8969B999FA1 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:12:25] 713*2^1434592-1 is not prime. Res64: A488483C9E8C7B9A Time : 0.0 sec. user=mdettweiler [2016-07-07 05:12:25] 723*2^1434592-1 is not prime. Res64: 1A91B0838AB295E4 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:12:26] 755*2^1434592-1 is not prime. Res64: E0E988A63F0A1EB7 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:12:26] 873*2^1434592-1 is not prime. Res64: 09E9F43E5CAA8AD7 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:13:26] 745*2^1434591-1 is not prime. Res64: E96879701F1D6544 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:13:26] 781*2^1434591-1 is not prime. Res64: 35ECD05B23BF3419 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:13:26] 829*2^1434591-1 is not prime. Res64: 8733A0D55ADDC63F Time : 0.0 sec. user=mdettweiler [2016-07-07 05:13:27] 921*2^1434591-1 is not prime. Res64: 34F9AA21921A82D1 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:13:27] 615*2^1434592-1 is not prime. Res64: C8C17B5C1788189D Time : 0.0 sec. user=mdettweiler [2016-07-07 05:39:05] 903*2^1434592-1 is not prime. Res64: 3C7922F0C5C789EE Time : 0.0 sec. user=mdettweiler [2016-07-07 05:39:11] 929*2^1434592-1 is not prime. Res64: 825BF7B6F9D3924B Time : 0.0 sec. user=mdettweiler [2016-07-07 05:39:17] 983*2^1434592-1 is not prime. Res64: F076E8F683EEE49F Time : 0.0 sec. user=mdettweiler [2016-07-07 05:39:24] 619*2^1434593-1 is not prime. Res64: 06CAC8581B4AC4BD Time : 0.0 sec. user=mdettweiler [2016-07-07 05:39:31] 649*2^1434593-1 is not prime. Res64: 24038550FA46DE6C Time : 0.0 sec. user=mdettweiler [2016-07-07 05:48:02] 705*2^1434593-1 is not prime. Res64: F19EF9F172124CC6 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:48:03] 735*2^1434593-1 is not prime. Res64: E686D52555AE2B88 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:48:03] 915*2^1434593-1 is not prime. Res64: BFC83FDCD1B7EA4E Time : 0.0 sec. user=mdettweiler [2016-07-07 05:48:04] 621*2^1434594-1 is not prime. Res64: BDCDDA41A2151497 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:48:04] 641*2^1434594-1 is not prime. Res64: 8A39E727916C738E Time : 0.0 sec. user=mdettweiler [2016-07-07 05:57:36] 711*2^1434594-1 is not prime. Res64: D0E1F1EACBC1EB5D Time : 0.0 sec. user=mdettweiler [2016-07-07 05:57:36] 791*2^1434594-1 is not prime. Res64: D376C48E04D7A913 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:57:36] 833*2^1434594-1 is not prime. Res64: 8531B0F8D75EBC5E Time : 0.0 sec. user=mdettweiler [2016-07-07 05:57:37] 893*2^1434594-1 is not prime. Res64: F3D324237784BA87 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:57:37] 983*2^1434594-1 is not prime. Res64: FD3EFA8DBC9E6AAF Time : 0.0 sec. user=mdettweiler [2016-07-07 05:58:47] 771*2^1434595-1 is not prime. Res64: 884A604D67C47AC3 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:58:47] 801*2^1434595-1 is not prime. Res64: F316CF9356698F36 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:58:47] 871*2^1434595-1 is not prime. Res64: 6DD731744A49DE68 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:58:48] 909*2^1434595-1 is not prime. Res64: 769B566CCCA3C410 Time : 0.0 sec. user=mdettweiler [2016-07-07 05:58:48] 943*2^1434595-1 is not prime. Res64: 61227EB9B3BE7A4E Time : 0.0 sec. user=mdettweiler [2016-07-07 06:24:51] 999*2^1434595-1 is not prime. Res64: 78B1EE9ADCB9DDE5 Time : 0.0 sec. user=mdettweiler [2016-07-07 06:24:55] 725*2^1434596-1 is not prime. Res64: BE910545D3D87C1E Time : 0.0 sec. user=mdettweiler [2016-07-07 06:24:59] 813*2^1434596-1 is not prime. Res64: 4960BFC84EC4D20B Time : 0.0 sec. user=mdettweiler [2016-07-07 06:25:03] 839*2^1434596-1 is not prime. Res64: 86D496D4B50AD21C Time : 0.0 sec. user=mdettweiler [2016-07-07 06:25:07] 897*2^1434596-1 is not prime. Res64: A8EEAA7E3E4C5449 Time : 0.0 sec. user=mdettweiler [2016-07-07 06:33:23] 615*2^1434597-1 is not prime. Res64: 46F87D5C723F1F0C Time : 0.0 sec. user=mdettweiler [2016-07-07 06:33:24] 741*2^1434597-1 is not prime. Res64: 3708D7BDC1AEDD45 Time : 0.0 sec. user=mdettweiler [2016-07-07 06:33:24] 949*2^1434597-1 is not prime. Res64: 889349EE65C88802 Time : 0.0 sec. user=mdettweiler [2016-07-07 06:33:25] 663*2^1434598-1 is not prime. Res64: 68D86287D213B252 Time : 0.0 sec. user=mdettweiler [2016-07-07 06:33:25] 731*2^1434598-1 is not prime. Res64: 47289D9F8D1AC04F Time : 0.0 sec. user=mdettweiler [2016-07-07 06:42:31] 825*2^1434598-1 is not prime. Res64: F738D148110F402C Time : 0.0 sec. user=mdettweiler [2016-07-07 06:42:32] 827*2^1434598-1 is not prime. Res64: 810F07DBCF354A9A Time : 0.0 sec. user=mdettweiler [2016-07-07 06:42:32] 621*2^1434599-1 is not prime. Res64: 04FAF62CBF09A1E3 Time : 0.0 sec. user=mdettweiler [2016-07-07 06:42:33] 649*2^1434599-1 is not prime. Res64: B3A9CFE54B70C599 Time : 0.0 sec. user=mdettweiler [2016-07-07 06:42:33] 741*2^1434599-1 is not prime. Res64: F85AFDD24EFE9957 Time : 0.0 sec. user=mdettweiler [2016-07-07 06:43:59] 775*2^1434599-1 is not prime. Res64: DB7CFA2FEF1B9FBC Time : 0.0 sec. user=mdettweiler [2016-07-07 06:44:00] 843*2^1434599-1 is not prime. Res64: C2CF08965CE60A2D Time : 0.0 sec. user=mdettweiler [2016-07-07 06:44:00] 949*2^1434599-1 is not prime. Res64: AF7300071F4EA86C Time : 0.0 sec. user=mdettweiler [2016-07-07 06:44:00] 979*2^1434599-1 is not prime. Res64: 0F3659C1A88147C1 Time : 0.0 sec. user=mdettweiler [2016-07-07 06:44:01] 795*2^1434600-1 is not prime. Res64: BA532CFD06585E5D Time : 0.0 sec. user=mdettweiler [2016-07-07 07:10:09] 863*2^1434600-1 is not prime. Res64: CED6D4285799C805 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:10:09] 705*2^1434601-1 is not prime. Res64: EDB56AA8E508A1D9 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:10:10] 799*2^1434601-1 is not prime. Res64: ECBD7B14394C35A4 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:10:10] 861*2^1434601-1 is not prime. Res64: 8FC9BDFDA139974D Time : 0.0 sec. user=mdettweiler [2016-07-07 07:10:11] 909*2^1434601-1 is not prime. Res64: CFAC212BD914400F Time : 0.0 sec. user=mdettweiler [2016-07-07 07:18:32] 671*2^1434602-1 is not prime. Res64: 0C12A057C100C31B Time : 0.0 sec. user=mdettweiler [2016-07-07 07:18:36] 735*2^1434602-1 is not prime. Res64: 422A1303F87B26A8 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:18:40] 885*2^1434602-1 is not prime. Res64: 6E627C68BD20DBF5 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:18:44] 935*2^1434602-1 is not prime. Res64: 8D92EAB427D50A4D Time : 0.0 sec. user=mdettweiler [2016-07-07 07:18:48] 723*2^1434603-1 is not prime. Res64: 2C3F749F96A3866E Time : 0.0 sec. user=mdettweiler [2016-07-07 07:27:36] 741*2^1434603-1 is not prime. Res64: 032CE7F2C9EBFC3C Time : 0.0 sec. user=mdettweiler [2016-07-07 07:27:44] 805*2^1434603-1 is not prime. Res64: 530FF7D035C09CF6 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:27:51] 825*2^1434603-1 is not prime. Res64: 1E0BBCE6721CE70E Time : 0.0 sec. user=mdettweiler [2016-07-07 07:27:58] 859*2^1434603-1 is not prime. Res64: B2DA66DA5032C38D Time : 0.0 sec. user=mdettweiler [2016-07-07 07:27:58] 945*2^1434603-1 is not prime. Res64: 4E8EECE95E994BEE Time : 0.0 sec. user=mdettweiler [2016-07-07 07:29:31] 609*2^1434604-1 is not prime. Res64: 6DE01014382EF96D Time : 0.0 sec. user=mdettweiler [2016-07-07 07:29:37] 875*2^1434604-1 is not prime. Res64: 680AF02FC75C7480 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:29:38] 993*2^1434604-1 is not prime. Res64: CF7E2B1D46D35DFF Time : 0.0 sec. user=mdettweiler [2016-07-07 07:29:44] 607*2^1434605-1 is not prime. Res64: EA5364C80D117D25 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:29:51] 685*2^1434605-1 is not prime. Res64: 7DAEA7FB09B0B268 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:55:13] 717*2^1434605-1 is not prime. Res64: 2F00E27F8BC2EAD8 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:55:19] 777*2^1434605-1 is not prime. Res64: A2E876B25AC6AB43 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:55:25] 781*2^1434605-1 is not prime. Res64: 3D054A26D22ED22F Time : 0.0 sec. user=mdettweiler [2016-07-07 07:55:31] 861*2^1434605-1 is not prime. Res64: E40D0BF533B8D0D4 Time : 0.0 sec. user=mdettweiler [2016-07-07 07:55:37] 653*2^1434606-1 is not prime. Res64: 058F820E6727B562 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:03:56] 707*2^1434606-1 is not prime. Res64: CF1CD37D3FB167E1 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:04:02] 711*2^1434606-1 is not prime. Res64: A0076E5D6B780CEE Time : 0.0 sec. user=mdettweiler [2016-07-07 08:04:06] 747*2^1434606-1 is not prime. Res64: DF8963C3049F08ED Time : 0.0 sec. user=mdettweiler [2016-07-07 08:04:11] 807*2^1434606-1 is not prime. Res64: E46A3B396357E951 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:04:16] 815*2^1434606-1 is not prime. Res64: ECC8FFAB4776B7DC Time : 0.0 sec. user=mdettweiler [2016-07-07 08:13:05] 851*2^1434606-1 is not prime. Res64: 3D93D4CC7FED9121 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:13:06] 971*2^1434606-1 is not prime. Res64: 8E7B703960D8D580 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:13:06] 693*2^1434607-1 is not prime. Res64: CACCA35375A02B36 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:13:06] 703*2^1434607-1 is not prime. Res64: F73CFD89FC41BBA5 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:13:07] 885*2^1434607-1 is not prime. Res64: C2430FCA927B3DDB Time : 0.0 sec. user=mdettweiler [2016-07-07 08:15:10] 629*2^1434608-1 is not prime. Res64: 04C7AEA6CFD45855 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:15:11] 687*2^1434608-1 is not prime. Res64: F6F948A13E6D8CF1 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:15:11] 825*2^1434608-1 is not prime. Res64: ED6299DA003CCDED Time : 0.0 sec. user=mdettweiler [2016-07-07 08:15:12] 935*2^1434608-1 is not prime. Res64: 1B094532D9F2366F Time : 0.0 sec. user=mdettweiler [2016-07-07 08:15:12] 963*2^1434608-1 is not prime. Res64: 08597CE5DC7A4DEF Time : 0.0 sec. user=mdettweiler [2016-07-07 08:41:09] 615*2^1434609-1 is not prime. Res64: B8F933961CD8A519 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:41:13] 637*2^1434609-1 is not prime. Res64: 0F7785E3EA1C0CC8 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:41:17] 681*2^1434609-1 is not prime. Res64: 5A1C99EE0E477A3F Time : 0.0 sec. user=mdettweiler [2016-07-07 08:41:21] 747*2^1434609-1 is not prime. Res64: 4E246A30F0457148 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:41:25] 787*2^1434609-1 is not prime. Res64: 8351E8EE5A2BDD68 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:50:02] 907*2^1434609-1 is not prime. Res64: 4D3790D7A19A0FB8 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:50:02] 997*2^1434609-1 is not prime. Res64: 9FAED908CD909D38 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:50:03] 605*2^1434610-1 is not prime. Res64: B77BD649FB213130 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:50:03] 653*2^1434610-1 is not prime. Res64: 07C1982FBAF719C4 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:50:03] 665*2^1434610-1 is not prime. Res64: 22AE8CFD871604E7 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:59:37] 783*2^1434610-1 is not prime. Res64: 6DF3AA81A8CE96B0 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:59:37] 857*2^1434610-1 is not prime. Res64: 0CFA838719C17445 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:59:38] 917*2^1434610-1 is not prime. Res64: C683C2203CEDE947 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:59:38] 945*2^1434610-1 is not prime. Res64: 016D7B45D23C97B8 Time : 0.0 sec. user=mdettweiler [2016-07-07 08:59:38] 615*2^1434611-1 is not prime. Res64: D1E9766384062BA6 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:01:41] 619*2^1434611-1 is not prime. Res64: 88C443A1EEE4109A Time : 0.0 sec. user=mdettweiler [2016-07-07 09:01:42] 669*2^1434611-1 is not prime. Res64: 839902D54453A4A4 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:01:43] 711*2^1434611-1 is not prime. Res64: E823F857441856D2 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:01:43] 979*2^1434611-1 is not prime. Res64: 55C2D096803B0249 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:01:44] 981*2^1434611-1 is not prime. Res64: 7D0B554EA1B14D04 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:33:25] 635*2^1434612-1 is not prime. Res64: 1DC73542AF03E63C Time : 0.0 sec. user=mdettweiler [2016-07-07 09:33:25] 779*2^1434612-1 is not prime. Res64: 311FD6AE3465B6BC Time : 0.0 sec. user=mdettweiler [2016-07-07 09:33:26] 837*2^1434612-1 is not prime. Res64: 6951914E5C7032BF Time : 0.0 sec. user=mdettweiler [2016-07-07 09:33:26] 903*2^1434612-1 is not prime. Res64: 29C4B0F93F2168E1 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:33:27] 959*2^1434612-1 is not prime. Res64: B9EA66AB3B4396FA Time : 0.0 sec. user=mdettweiler [2016-07-07 09:45:20] 609*2^1434613-1 is not prime. Res64: 63C057C9B49578DD Time : 0.0 sec. user=mdettweiler [2016-07-07 09:45:24] 615*2^1434613-1 is not prime. Res64: 41B709F6DAC2A868 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:45:29] 805*2^1434613-1 is not prime. Res64: 251E4434D25742E4 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:45:33] 829*2^1434613-1 is not prime. Res64: EEFD43032238107D Time : 0.0 sec. user=mdettweiler [2016-07-07 09:45:37] 855*2^1434613-1 is not prime. Res64: D14AF7C7C172BF12 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:53:55] 937*2^1434613-1 is not prime. Res64: 58517FA3D1D66DA5 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:53:59] 945*2^1434613-1 is not prime. Res64: AE10625E4355682D Time : 0.0 sec. user=mdettweiler [2016-07-07 09:54:03] 651*2^1434614-1 is not prime. Res64: 7CA29EEB8C7DD533 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:54:07] 851*2^1434614-1 is not prime. Res64: A6843CA41700208A Time : 0.0 sec. user=mdettweiler [2016-07-07 09:54:11] 903*2^1434614-1 is not prime. Res64: D557F012E7D1E131 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:54:51] 679*2^1434615-1 is not prime. Res64: A40646882AE6C9B6 Time : 0.0 sec. user=mdettweiler [2016-07-07 09:54:55] 795*2^1434615-1 is not prime. Res64: 73F3F601411DDE1D Time : 0.0 sec. user=mdettweiler [2016-07-07 09:54:59] 805*2^1434615-1 is not prime. Res64: FF1A5280B215393B Time : 0.0 sec. user=mdettweiler [2016-07-07 09:55:03] 831*2^1434615-1 is not prime. Res64: 4E15D1573CA4F68C Time : 0.0 sec. user=mdettweiler [2016-07-07 09:55:07] 891*2^1434615-1 is not prime. Res64: ECF161A6EE1EA1A2 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:23:25] 963*2^1434615-1 is not prime. Res64: 963F960C185EDD85 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:23:31] 979*2^1434615-1 is not prime. Res64: 90F03B87535CF031 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:23:31] 985*2^1434615-1 is not prime. Res64: 0A0181C146B94659 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:23:38] 609*2^1434616-1 is not prime. Res64: 594210D90E3127E4 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:23:44] 663*2^1434616-1 is not prime. Res64: 965D252D99179C9A Time : 0.0 sec. user=mdettweiler [2016-07-07 10:32:49] 689*2^1434616-1 is not prime. Res64: 6EB3A3BC63F840D7 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:32:55] 755*2^1434616-1 is not prime. Res64: AA5C872748DD873E Time : 0.0 sec. user=mdettweiler [2016-07-07 10:32:56] 849*2^1434616-1 is not prime. Res64: 6464623FDC99D7B5 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:33:01] 933*2^1434616-1 is not prime. Res64: 2E1E2693768B4F1D Time : 0.0 sec. user=mdettweiler [2016-07-07 10:33:08] 607*2^1434617-1 is not prime. Res64: EA3AD53CF70B2152 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:40:55] 651*2^1434617-1 is not prime. Res64: 2EBB90464EC0CFC6 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:40:55] 741*2^1434617-1 is not prime. Res64: B684D3EC1DEDF6F7 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:40:56] 847*2^1434617-1 is not prime. Res64: F827B134CD61236F Time : 0.0 sec. user=mdettweiler [2016-07-07 10:40:56] 861*2^1434617-1 is not prime. Res64: 9F8A2A738EDB3CEE Time : 0.0 sec. user=mdettweiler [2016-07-07 10:40:56] 909*2^1434617-1 is not prime. Res64: 086E84EE3B209E3C Time : 0.0 sec. user=mdettweiler [2016-07-07 10:41:40] 657*2^1434618-1 is not prime. Res64: 7CF506AC368C55B4 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:41:40] 681*2^1434618-1 is not prime. Res64: 3E764AF07D24A122 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:41:41] 683*2^1434618-1 is not prime. Res64: 0436905912A6C1D0 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:41:41] 603*2^1434619-1 is not prime. Res64: 4D8E7810B5CFA445 Time : 0.0 sec. user=mdettweiler [2016-07-07 10:41:42] 649*2^1434619-1 is not prime. Res64: 2D2ACEE7B70DF796 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:09:17] 663*2^1434619-1 is not prime. Res64: 8393CA0262FAE6D2 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:09:24] 841*2^1434619-1 is not prime. Res64: 52A43914534EC9B0 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:09:30] 919*2^1434619-1 is not prime. Res64: D21889F6CACAB8A7 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:09:36] 961*2^1434619-1 is not prime. Res64: A359496FBA7E86AA Time : 0.0 sec. user=mdettweiler [2016-07-07 11:09:43] 767*2^1434620-1 is not prime. Res64: 1DBE9A17ED7CF891 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:18:36] 797*2^1434620-1 is not prime. Res64: EB6BF50C454AD264 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:18:36] 843*2^1434620-1 is not prime. Res64: 98FE088EA57E9DC4 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:18:37] 845*2^1434620-1 is not prime. Res64: 24BED5CAD2AD25C8 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:18:37] 909*2^1434620-1 is not prime. Res64: 8BB26AE13DBB21C7 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:18:37] 923*2^1434620-1 is not prime. Res64: A1DC55B61F980029 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:26:13] 657*2^1434621-1 is not prime. Res64: 3CA438F80FE6C6D2 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:26:13] 685*2^1434621-1 is not prime. Res64: 0DE80D21243B1A6A Time : 0.0 sec. user=mdettweiler [2016-07-07 11:26:13] 741*2^1434621-1 is not prime. Res64: F3FECBFF7B708833 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:26:14] 877*2^1434621-1 is not prime. Res64: 63A2DA1498247774 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:26:14] 873*2^1434622-1 is not prime. Res64: 3EBA3FE92A3C4939 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:26:58] 891*2^1434622-1 is not prime. Res64: EC6B0B95F6A337BD Time : 0.0 sec. user=mdettweiler [2016-07-07 11:26:58] 987*2^1434622-1 is not prime. Res64: 370CCFE0466692CA Time : 0.0 sec. user=mdettweiler [2016-07-07 11:26:59] 669*2^1434623-1 is not prime. Res64: A0795E9003C1B729 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:26:59] 993*2^1434623-1 is not prime. Res64: A9DABF92327A0F68 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:26:59] 627*2^1434624-1 is not prime. Res64: 06D81290D0858519 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:55:24] 683*2^1434624-1 is not prime. Res64: 36BDC0795DFA5A19 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:55:24] 875*2^1434624-1 is not prime. Res64: 0188BC77FC4A4F55 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:55:24] 959*2^1434624-1 is not prime. Res64: 5B50082B135BD885 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:55:25] 609*2^1434625-1 is not prime. Res64: 09A0D3233E962E48 Time : 0.0 sec. user=mdettweiler [2016-07-07 11:55:25] 729*2^1434625-1 is not prime. Res64: 3D93790EA597D3F1 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:04:12] 741*2^1434625-1 is not prime. Res64: 250BF67E82198CC9 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:04:14] 867*2^1434625-1 is not prime. Res64: 9D5187D3D41FDCCE Time : 0.0 sec. user=mdettweiler [2016-07-07 12:04:16] 871*2^1434625-1 is not prime. Res64: 1F7E44A10DF082F7 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:04:17] 623*2^1434626-1 is not prime. Res64: C98EFE91A52AF4B8 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:04:18] 683*2^1434626-1 is not prime. Res64: C4969465A401AC48 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:12:33] 713*2^1434626-1 is not prime. Res64: 0B67BCB5C5319D8D Time : 0.0 sec. user=mdettweiler [2016-07-07 12:12:39] 755*2^1434626-1 is not prime. Res64: 061A2847434CAF29 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:12:45] 773*2^1434626-1 is not prime. Res64: C48D01E7FA8D4091 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:12:51] 921*2^1434626-1 is not prime. Res64: F6402DBC364F395C Time : 0.0 sec. user=mdettweiler [2016-07-07 12:12:57] 935*2^1434626-1 is not prime. Res64: CB19A85C5DC9AB1D Time : 0.0 sec. user=mdettweiler [2016-07-07 12:13:23] 945*2^1434626-1 is not prime. Res64: F0F0833CADE34FD5 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:13:24] 983*2^1434626-1 is not prime. Res64: 84C37C4447EC2CE3 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:13:30] 1001*2^1434626-1 is not prime. Res64: F8DE0B5D381B28BB Time : 0.0 sec. user=mdettweiler [2016-07-07 12:13:37] 751*2^1434627-1 is not prime. Res64: BB2E92C1E39C7387 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:13:43] 781*2^1434627-1 is not prime. Res64: 8AE1D4D927287C09 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:41:56] 859*2^1434627-1 is not prime. Res64: 91CD617B0A557E43 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:41:56] 871*2^1434627-1 is not prime. Res64: 3236D88942C8C347 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:41:57] 931*2^1434627-1 is not prime. Res64: 51BBD1D2633D3024 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:41:57] 623*2^1434628-1 is not prime. Res64: DC2A5ED5E4A4B6EC Time : 0.0 sec. user=mdettweiler [2016-07-07 12:41:57] 695*2^1434628-1 is not prime. Res64: EED0DE40C9AD985D Time : 0.0 sec. user=mdettweiler [2016-07-07 12:51:36] 699*2^1434628-1 is not prime. Res64: 9076E8E65A4DDB9E Time : 0.0 sec. user=mdettweiler [2016-07-07 12:51:41] 819*2^1434628-1 is not prime. Res64: 76082DB682CC6AA5 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:51:45] 863*2^1434628-1 is not prime. Res64: B6D8117D042B6DDF Time : 0.0 sec. user=mdettweiler [2016-07-07 12:51:48] 929*2^1434628-1 is not prime. Res64: 11E2FB7459A1C158 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:51:53] 995*2^1434628-1 is not prime. Res64: 6DC032FAD0043C6C Time : 0.0 sec. user=mdettweiler [2016-07-07 12:59:44] 619*2^1434629-1 is not prime. Res64: 049F8069C49B9FAB Time : 0.0 sec. user=mdettweiler [2016-07-07 12:59:44] 631*2^1434629-1 is not prime. Res64: B6DE95B00B3A8545 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:59:45] 655*2^1434629-1 is not prime. Res64: 5A4A8F3B91364917 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:59:45] 691*2^1434629-1 is not prime. Res64: FF53D913F9784564 Time : 0.0 sec. user=mdettweiler [2016-07-07 12:59:45] 697*2^1434629-1 is not prime. Res64: F2652262CE2DEBF2 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:00:40] 789*2^1434629-1 is not prime. Res64: 99A983BB0DDE2758 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:00:40] 801*2^1434629-1 is not prime. Res64: 00F9D2D35F93F715 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:00:41] 825*2^1434629-1 is not prime. Res64: 2A9C7589F1D4781C Time : 0.0 sec. user=mdettweiler [2016-07-07 13:00:42] 927*2^1434629-1 is not prime. Res64: 9766F266FA5C2CF6 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:00:43] 641*2^1434630-1 is not prime. Res64: E8126C0F0635A639 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:29:46] 677*2^1434630-1 is not prime. Res64: 0EBED652D452DC5A Time : 0.0 sec. user=mdettweiler [2016-07-07 13:29:51] 747*2^1434630-1 is not prime. Res64: E401DAB29387DB85 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:29:58] 797*2^1434630-1 is not prime. Res64: 0152F73F4CEA4F05 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:30:04] 917*2^1434630-1 is not prime. Res64: 3BF9FE193F21D605 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:30:09] 685*2^1434631-1 is not prime. Res64: 760AB2F86EC53736 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:39:01] 861*2^1434631-1 is not prime. Res64: A22B32F4B9A36BB1 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:39:01] 943*2^1434631-1 is not prime. Res64: 10A570386CE99F5E Time : 0.0 sec. user=mdettweiler [2016-07-07 13:39:01] 999*2^1434631-1 is not prime. Res64: EB5500C3D3D9DC83 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:39:01] 603*2^1434632-1 is not prime. Res64: 110EB9F60E288A16 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:39:02] 617*2^1434632-1 is not prime. Res64: 8B4C9A6981F5EEB3 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:47:48] 657*2^1434632-1 is not prime. Res64: 512889B3C52EDF8D Time : 0.0 sec. user=mdettweiler [2016-07-07 13:47:49] 735*2^1434632-1 is not prime. Res64: C41A238F8E822F22 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:47:49] 743*2^1434632-1 is not prime. Res64: 2253831DD9E7C7F4 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:47:49] 767*2^1434632-1 is not prime. Res64: 7F7D895B39A87334 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:47:49] 797*2^1434632-1 is not prime. Res64: 80CF35EDB30C41AD Time : 0.0 sec. user=mdettweiler [2016-07-07 13:48:45] 945*2^1434632-1 is not prime. Res64: F8ED10AB6CF42C5B Time : 0.0 sec. user=mdettweiler [2016-07-07 13:48:45] 639*2^1434633-1 is not prime. Res64: 8A34F34E728F9518 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:48:46] 721*2^1434633-1 is not prime. Res64: 5E080D436FC5EC3F Time : 0.0 sec. user=mdettweiler [2016-07-07 13:48:46] 805*2^1434633-1 is not prime. Res64: 722A5B1432CD1195 Time : 0.0 sec. user=mdettweiler [2016-07-07 13:48:46] 861*2^1434633-1 is not prime. Res64: 752C82E49E99B652 Time : 0.0 sec. user=mdettweiler [2016-07-07 14:17:35] 945*2^1434633-1 is not prime. Res64: 13A256171FAE202B Time : 0.0 sec. user=mdettweiler [2016-07-07 14:17:35] 979*2^1434633-1 is not prime. Res64: 9A5D5B210C6F582C Time : 0.0 sec. user=mdettweiler [2016-07-07 14:17:36] 617*2^1434634-1 is not prime. Res64: 9AC37E8C3A8BA548 Time : 0.0 sec. user=mdettweiler [2016-07-07 14:17:36] 621*2^1434634-1 is not prime. Res64: 43ECA29AD3AE2A93 Time : 0.0 sec. user=mdettweiler [2016-07-07 14:17:36] 651*2^1434634-1 is not prime. Res64: 39993021BF50373A Time : 0.0 sec. user=mdettweiler [2016-07-07 14:25:47] 755*2^1434634-1 is not prime. Res64: 55DCCECBF251A50B Time : 0.0 sec. user=mdettweiler [2016-07-07 14:25:47] 945*2^1434634-1 is not prime. Res64: 8D0D8828C95C3319 Time : 0.0 sec. user=mdettweiler [2016-07-07 14:25:47] 971*2^1434634-1 is not prime. Res64: 555EB25B07285A41 Time : 0.0 sec. user=mdettweiler [2016-07-07 14:25:48] 609*2^1434635-1 is not prime. Res64: AEE745C74D1F2BBA Time : 0.0 sec. user=mdettweiler [2016-07-07 14:25:48] 739*2^1434635-1 is not prime. Res64: 8C37032E50662814 Time : 0.0 sec. user=mdettweiler [2016-07-07 14:34:08] 799*2^1434635-1 is not prime. Res64: CBF88A2DB8BF818F Time : 0.0 sec. user=mdettweiler [2016-07-07 14:34:14] 921*2^1434635-1 is not prime. Res64: F6CF66993B62A371 Time : 0.0 sec. user=mdettweiler [2016-07-07 14:34:21] 627*2^1434636-1 is not prime. Res64: 8AACC250AA5F6CBD Time : 0.0 sec. user=mdettweiler [2016-07-07 14:34:27] 767*2^1434636-1 is not prime. Res64: 4F787DAAB5594C3C Time : 0.0 sec. user=mdettweiler [2016-07-07 14:34:34] 867*2^1434636-1 is not prime. Res64: E7C8786E2D65F727 Time : 0.0 sec. user=mdettweiler [2016-07-07 14:35:28] 893*2^1434636-1 is not prime. Res64: 11BBE0F7CAB854CE Time : 0.0 sec. user=mdettweiler [2016-07-07 14:35:32] 645*2^1434637-1 is not prime. Res64: 1AA9BA12223A6942 Time : 0.0 sec. user=mdettweiler [2016-07-07 14:35:37] 717*2^1434637-1 is not prime. Res64: 864630614F74AF49 Time : 0.0 sec. user=mdettweiler [2016-07-07 14:35:40] 747*2^1434637-1 is not prime. Res64: 253751981E57BE9A Time : 0.0 sec. user=mdettweiler [2016-07-07 14:35:45] 799*2^1434637-1 is not prime. Res64: 1B48CD1C83D5D675 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:02:54] 831*2^1434637-1 is not prime. Res64: A6CC41FB315425F1 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:02:58] 871*2^1434637-1 is not prime. Res64: CBEEDFDDC7AE054C Time : 0.0 sec. user=mdettweiler [2016-07-07 15:03:02] 901*2^1434637-1 is not prime. Res64: 8BE87B9D0C1114BA Time : 0.0 sec. user=mdettweiler [2016-07-07 15:03:06] 997*2^1434637-1 is not prime. Res64: 573B6FCC4E1F489E Time : 0.0 sec. user=mdettweiler [2016-07-07 15:03:11] 693*2^1434638-1 is not prime. Res64: A993E36E1BFED6A5 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:11:07] 755*2^1434638-1 is not prime. Res64: D09FE7711F3EBF7B Time : 0.0 sec. user=mdettweiler [2016-07-07 15:11:11] 857*2^1434638-1 is not prime. Res64: 3E7B24BEF01FA1E4 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:11:16] 613*2^1434639-1 is not prime. Res64: F9B272C3BBC851B6 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:11:20] 625*2^1434639-1 is not prime. Res64: 339B5EE3ECF4458C Time : 0.0 sec. user=mdettweiler [2016-07-07 15:11:24] 669*2^1434639-1 is not prime. Res64: 6847E75B1676B367 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:19:54] 685*2^1434639-1 is not prime. Res64: 26065A8BB8368CFC Time : 0.0 sec. user=mdettweiler [2016-07-07 15:19:55] 709*2^1434639-1 is not prime. Res64: B082835876F8ADB1 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:19:55] 763*2^1434639-1 is not prime. Res64: A857E7D7DC751C78 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:19:56] 891*2^1434639-1 is not prime. Res64: 88A0719D3E735F18 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:19:56] 933*2^1434639-1 is not prime. Res64: EFBABB0FFB1D612A Time : 0.0 sec. user=mdettweiler [2016-07-07 15:21:08] 609*2^1434640-1 is not prime. Res64: A81D78528C8D1751 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:21:09] 713*2^1434640-1 is not prime. Res64: B1A45549E26C11E3 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:21:09] 777*2^1434640-1 is not prime. Res64: 40A4DBD9CEA9AE8B Time : 0.0 sec. user=mdettweiler [2016-07-07 15:21:10] 905*2^1434640-1 is not prime. Res64: 6742183398A450FD Time : 0.0 sec. user=mdettweiler [2016-07-07 15:21:10] 995*2^1434640-1 is not prime. Res64: 0F5FDA5EA529423A Time : 0.0 sec. user=mdettweiler [2016-07-07 15:48:34] 675*2^1434641-1 is not prime. Res64: 1EFF9954D555716B Time : 0.0 sec. user=mdettweiler [2016-07-07 15:48:34] 711*2^1434641-1 is not prime. Res64: 0968A6891FB19DF8 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:48:41] 717*2^1434641-1 is not prime. Res64: 4788205EF82B3BC7 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:48:47] 741*2^1434641-1 is not prime. Res64: 93BC1D6ECF69DD37 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:48:53] 775*2^1434641-1 is not prime. Res64: B2012155DF74EE6F Time : 0.0 sec. user=mdettweiler [2016-07-07 15:56:26] 805*2^1434641-1 is not prime. Res64: 033140270C1FF079 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:56:26] 879*2^1434641-1 is not prime. Res64: AD8B53011D21E414 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:56:27] 949*2^1434641-1 is not prime. Res64: BC624638D50B9D36 Time : 0.0 sec. user=mdettweiler [2016-07-07 15:56:27] 635*2^1434642-1 is not prime. Res64: 4E6A9C205EA1E56B Time : 0.0 sec. user=mdettweiler [2016-07-07 15:56:27] 705*2^1434642-1 is not prime. Res64: BBF2179F369D0CC9 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:05:39] 741*2^1434642-1 is not prime. Res64: B28B4F179B53C2C6 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:05:40] 797*2^1434642-1 is not prime. Res64: 41AA484567AD82FE Time : 0.0 sec. user=mdettweiler [2016-07-07 16:05:40] 837*2^1434642-1 is not prime. Res64: 4667EC609E182B62 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:05:41] 893*2^1434642-1 is not prime. Res64: AADC0B9047795DBA Time : 0.0 sec. user=mdettweiler [2016-07-07 16:05:41] 1001*2^1434642-1 is not prime. Res64: 2287FFC107683FBA Time : 0.0 sec. user=mdettweiler [2016-07-07 16:06:48] 615*2^1434643-1 is not prime. Res64: B8A8EE27413091E3 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:06:48] 723*2^1434643-1 is not prime. Res64: 1B0E4A9BA988953C Time : 0.0 sec. user=mdettweiler [2016-07-07 16:06:48] 853*2^1434643-1 is not prime. Res64: CF49BF2AA0C43390 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:06:48] 743*2^1434644-1 is not prime. Res64: BCDF6C0968B8D6CF Time : 0.0 sec. user=mdettweiler [2016-07-07 16:06:49] 813*2^1434644-1 is not prime. Res64: DBFA11287EF87D68 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:35:22] 819*2^1434644-1 is not prime. Res64: D4357E35ED400721 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:35:22] 827*2^1434644-1 is not prime. Res64: A5D66A179A1D8069 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:35:22] 869*2^1434644-1 is not prime. Res64: A3047FF5DEF42EB9 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:35:23] 679*2^1434645-1 is not prime. Res64: 332D417AB80C28AF Time : 0.0 sec. user=mdettweiler [2016-07-07 16:35:23] 741*2^1434645-1 is not prime. Res64: 9FBC58F182A01CFA Time : 0.0 sec. user=mdettweiler [2016-07-07 16:43:36] 795*2^1434645-1 is not prime. Res64: 35CDAFDD6CEB21B3 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:43:36] 671*2^1434646-1 is not prime. Res64: D54A9E21B0B29335 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:43:37] 945*2^1434646-1 is not prime. Res64: 42E3C6C75ABA5B6E Time : 0.0 sec. user=mdettweiler [2016-07-07 16:43:37] 615*2^1434647-1 is not prime. Res64: 66C73E9D263660C8 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:43:37] 621*2^1434647-1 is not prime. Res64: D3FE26DEA92B43DD Time : 0.0 sec. user=mdettweiler [2016-07-07 16:52:25] 655*2^1434647-1 is not prime. Res64: F1FF51A6392297B7 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:52:29] 669*2^1434647-1 is not prime. Res64: 8F0FC93023813D51 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:52:33] 729*2^1434647-1 is not prime. Res64: 964746FCC4628EA5 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:52:37] 843*2^1434647-1 is not prime. Res64: AD5CB00D31F4EA65 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:52:41] 859*2^1434647-1 is not prime. Res64: 52740EB5718A6D45 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:53:17] 979*2^1434647-1 is not prime. Res64: BC1C1545A8ACFE1F Time : 0.0 sec. user=mdettweiler [2016-07-07 16:53:21] 633*2^1434648-1 is not prime. Res64: F16BE9D4E14AE12E Time : 0.0 sec. user=mdettweiler [2016-07-07 16:53:25] 689*2^1434648-1 is not prime. Res64: EE943E14D73DB0B2 Time : 0.0 sec. user=mdettweiler [2016-07-07 16:53:29] 707*2^1434648-1 is not prime. Res64: 8239FD7083E4F30F Time : 0.0 sec. user=mdettweiler [2016-07-07 16:53:33] 723*2^1434648-1 is not prime. Res64: F3A0E8B803F725F2 Time : 0.0 sec. user=mdettweiler [2016-07-07 17:20:56] 815*2^1434648-1 is not prime. Res64: C5676AD95FFFE9E0 Time : 0.0 sec. user=mdettweiler [2016-07-07 17:20:56] 977*2^1434648-1 is not prime. Res64: 36DD6BDEBB9C6DB3 Time : 0.0 sec. user=mdettweiler [2016-07-07 17:20:57] 601*2^1434649-1 is not prime. Res64: CF3D9FA7E8FE5FDA Time : 0.0 sec. user=mdettweiler [2016-07-07 17:20:57] 609*2^1434649-1 is not prime. Res64: 79BF12F285CC1D2D Time : 0.0 sec. user=mdettweiler [2016-07-07 17:20:58] 675*2^1434649-1 is not prime. Res64: DD2E0BAE9F78CE88 Time : 0.0 sec. user=mdettweiler [2016-07-07 17:28:52] 741*2^1434649-1 is not prime. Res64: 71F6394F5DE3788C Time : 0.0 sec. user=mdettweiler [2016-07-07 17:28:58] 747*2^1434649-1 is not prime. Res64: 6EB6FB7905117E85 Time : 0.0 sec. user=mdettweiler [2016-07-07 17:28:58] 931*2^1434649-1 is not prime. Res64: AC00CCC6D682ACF0 Time : 0.0 sec. user=mdettweiler [2016-07-07 17:29:03] 951*2^1434649-1 is not prime. Res64: E61F0AA42AB87EFC Time : 0.0 sec. user=mdettweiler [2016-07-07 17:29:09] 979*2^1434649-1 is not prime. Res64: 2950E1A2B577C95F Time : 0.0 sec. user=mdettweiler [2016-07-07 17:38:10] 997*2^1434649-1 is not prime. Res64: FB349F67E713069A Time : 0.0 sec. user=mdettweiler [2016-07-07 17:38:14] 627*2^1434650-1 is not prime. Res64: AA718BA194E77114 Time : 0.0 sec. user=mdettweiler [2016-07-07 17:38:18] 651*2^1434650-1 is not prime. Res64: C40EE42583E2DBCB Time : 0.0 sec. user=mdettweiler [2016-07-07 17:38:22] 741*2^1434650-1 is not prime. Res64: 59F4F576FB9AF2BE Time : 0.0 sec. user=mdettweiler [2016-07-07 17:38:26] 743*2^1434650-1 is not prime. Res64: 560DB9869EE3C0EC Time : 0.0 sec. user=mdettweiler [2016-07-07 17:38:58] 857*2^1434650-1 is not prime. Res64: 39C9FF6259863F0A Time : 0.0 sec. user=mdettweiler [2016-07-07 17:39:02] 911*2^1434650-1 is not prime. Res64: 5AD3895D4825BB28 Time : 0.0 sec. user=mdettweiler [2016-07-07 17:39:06] 895*2^1434651-1 is not prime. Res64: DD057C3F610C0FF6 Time : 0.0 sec. user=mdettweiler [2016-07-07 17:39:10] 617*2^1434652-1 is not prime. Res64: 8E36CDF92CBB2A9D Time : 0.0 sec. user=mdettweiler [2016-07-07 17:39:14] 743*2^1434652-1 is not prime. Res64: 00718BA01915BB18 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:06:25] 887*2^1434652-1 is not prime. Res64: 717DE9BBE11841EB Time : 0.0 sec. user=mdettweiler [2016-07-07 18:06:29] 929*2^1434652-1 is not prime. Res64: 50D640DF9C14FB2B Time : 0.0 sec. user=mdettweiler [2016-07-07 18:06:33] 983*2^1434652-1 is not prime. Res64: 9093B0334558489E Time : 0.0 sec. user=mdettweiler [2016-07-07 18:06:37] 987*2^1434652-1 is not prime. Res64: 5A3FE385D845A080 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:06:41] 621*2^1434653-1 is not prime. Res64: FB671902BE8D30B0 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:14:33] 697*2^1434653-1 is not prime. Res64: 0D0D70284FAAF806 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:14:33] 771*2^1434653-1 is not prime. Res64: 4D62D1AF8CBA3E4C Time : 0.0 sec. user=mdettweiler [2016-07-07 18:14:34] 811*2^1434653-1 is not prime. Res64: 526D9D3635A2E00A Time : 0.0 sec. user=mdettweiler [2016-07-07 18:14:34] 867*2^1434653-1 is not prime. Res64: 8807E09B38A088F5 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:14:35] 897*2^1434653-1 is not prime. Res64: F655A66F5829E4FB Time : 0.0 sec. user=mdettweiler [2016-07-07 18:23:41] 605*2^1434654-1 is not prime. Res64: 7478BA4837612B99 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:23:42] 641*2^1434654-1 is not prime. Res64: 85309F07B904D7CE Time : 0.0 sec. user=mdettweiler [2016-07-07 18:23:42] 681*2^1434654-1 is not prime. Res64: B1E83582120DBDDD Time : 0.0 sec. user=mdettweiler [2016-07-07 18:23:43] 695*2^1434654-1 is not prime. Res64: 30D140E531C0CFAB Time : 0.0 sec. user=mdettweiler [2016-07-07 18:23:43] 747*2^1434654-1 is not prime. Res64: 76537881079920D8 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:24:40] 773*2^1434654-1 is not prime. Res64: 13A81254C0A4FCD8 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:24:41] 921*2^1434654-1 is not prime. Res64: 1A9C96ECE991E1CB Time : 0.0 sec. user=mdettweiler [2016-07-07 18:24:41] 965*2^1434654-1 is not prime. Res64: F030EA7157ED8FFF Time : 0.0 sec. user=mdettweiler [2016-07-07 18:24:42] 993*2^1434654-1 is not prime. Res64: 015EF624888B64FD Time : 0.0 sec. user=mdettweiler [2016-07-07 18:24:42] 619*2^1434655-1 is not prime. Res64: B48F07F31DBA8DD5 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:52:00] 661*2^1434655-1 is not prime. Res64: F730332E9939787B Time : 0.0 sec. user=mdettweiler [2016-07-07 18:52:00] 705*2^1434655-1 is not prime. Res64: EAFC1171AB444591 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:52:01] 783*2^1434655-1 is not prime. Res64: 463BEA62983602D8 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:52:01] 925*2^1434655-1 is not prime. Res64: 971D154B3889485D Time : 0.0 sec. user=mdettweiler [2016-07-07 18:52:02] 973*2^1434655-1 is not prime. Res64: E3BEE167D99A11B0 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:59:57] 725*2^1434656-1 is not prime. Res64: BF868CAF9D4AB077 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:59:58] 735*2^1434656-1 is not prime. Res64: 7B8899CE9D437C51 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:59:58] 743*2^1434656-1 is not prime. Res64: CDD9761ECED59080 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:59:59] 983*2^1434656-1 is not prime. Res64: 48E74393E3A20D05 Time : 0.0 sec. user=mdettweiler [2016-07-07 18:59:59] 607*2^1434657-1 is not prime. Res64: 94A231181ACC1237 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:09:05] 739*2^1434657-1 is not prime. Res64: C54E79BB06D46AB6 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:09:09] 741*2^1434657-1 is not prime. Res64: D3EC01DD4965ACAC Time : 0.0 sec. user=mdettweiler [2016-07-07 19:09:13] 747*2^1434657-1 is not prime. Res64: 11C394C9032AB92E Time : 0.0 sec. user=mdettweiler [2016-07-07 19:09:17] 769*2^1434657-1 is not prime. Res64: C30D52F59BCB9A6D Time : 0.0 sec. user=mdettweiler [2016-07-07 19:09:21] 805*2^1434657-1 is not prime. Res64: F6B5CB9912EEC1E6 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:10:17] 819*2^1434657-1 is not prime. Res64: 1C75462C0C254F22 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:10:22] 865*2^1434657-1 is not prime. Res64: 1E9B25BED5767FF4 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:10:28] 603*2^1434658-1 is not prime. Res64: 6FF47EA44268D1CA Time : 0.0 sec. user=mdettweiler [2016-07-07 19:10:34] 735*2^1434658-1 is not prime. Res64: D7C668813F2F2330 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:10:40] 867*2^1434658-1 is not prime. Res64: A26C25AC3CC6CD6A Time : 0.0 sec. user=mdettweiler [2016-07-07 19:38:13] 957*2^1434658-1 is not prime. Res64: F363FE11C4486046 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:38:13] 995*2^1434658-1 is not prime. Res64: 54F388A6B668B72D Time : 0.0 sec. user=mdettweiler [2016-07-07 19:38:13] 601*2^1434659-1 is not prime. Res64: 5050160E1D8FC7DF Time : 0.0 sec. user=mdettweiler [2016-07-07 19:38:14] 633*2^1434659-1 is not prime. Res64: 161074B0DE7BB236 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:38:14] 741*2^1434659-1 is not prime. Res64: 9D9998D643D530CC Time : 0.0 sec. user=mdettweiler [2016-07-07 19:46:05] 799*2^1434659-1 is not prime. Res64: E4ECC42AFA88F110 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:46:11] 811*2^1434659-1 is not prime. Res64: 3737EC6F0BC70561 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:46:17] 855*2^1434659-1 is not prime. Res64: 0D935C1FD865ABC2 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:46:24] 609*2^1434660-1 is not prime. Res64: E749504156768371 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:46:31] 629*2^1434660-1 is not prime. Res64: E313E34A7F49FADC Time : 0.0 sec. user=mdettweiler [2016-07-07 19:55:28] 719*2^1434660-1 is not prime. Res64: BC6C820E64830894 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:55:32] 893*2^1434660-1 is not prime. Res64: 940FB8E6F208B406 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:55:35] 899*2^1434660-1 is not prime. Res64: 1FFCC237901447A7 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:55:40] 645*2^1434661-1 is not prime. Res64: FF0A59BE569BB834 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:55:45] 715*2^1434661-1 is not prime. Res64: 26D7A375ABB8D54F Time : 0.0 sec. user=mdettweiler [2016-07-07 19:56:47] 745*2^1434661-1 is not prime. Res64: 6CCC69B9F527BDEF Time : 0.0 sec. user=mdettweiler [2016-07-07 19:56:51] 855*2^1434661-1 is not prime. Res64: E08A350E0E8FFB37 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:56:55] 867*2^1434661-1 is not prime. Res64: 85B1447738A218F7 Time : 0.0 sec. user=mdettweiler [2016-07-07 19:56:59] 623*2^1434662-1 is not prime. Res64: F9DF358BE439268C Time : 0.0 sec. user=mdettweiler [2016-07-07 19:57:03] 753*2^1434662-1 is not prime. Res64: F046A9D0FEA31C78 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:23:39] 755*2^1434662-1 is not prime. Res64: 7C07B2D528C5B757 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:23:43] 771*2^1434662-1 is not prime. Res64: AE39008113674E76 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:23:47] 875*2^1434662-1 is not prime. Res64: C85655716AA7B7DB Time : 0.0 sec. user=mdettweiler [2016-07-07 20:23:51] 613*2^1434663-1 is not prime. Res64: A45C30002E402E81 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:23:55] 615*2^1434663-1 is not prime. Res64: 4E7FA67CF7D935BA Time : 0.0 sec. user=mdettweiler [2016-07-07 20:31:49] 739*2^1434663-1 is not prime. Res64: 64E5AF271A4623CB Time : 0.0 sec. user=mdettweiler [2016-07-07 20:32:01] 765*2^1434663-1 is not prime. Res64: 7A6255AD898A9407 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:40:55] 623*2^1434664-1 is not prime. Res64: 03F03CE0262CA6F9 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:40:56] 827*2^1434664-1 is not prime. Res64: 98E5156D787F2EEB Time : 0.0 sec. user=mdettweiler [2016-07-07 20:40:56] 843*2^1434664-1 is not prime. Res64: 41193CBCC5B63EA7 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:40:56] 855*2^1434664-1 is not prime. Res64: 1006280E632359F0 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:40:57] 903*2^1434664-1 is not prime. Res64: F9728C5C5DE05060 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:42:38] 939*2^1434664-1 is not prime. Res64: 75A41A331F073F66 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:42:38] 969*2^1434664-1 is not prime. Res64: 35814DCA7FFA0C64 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:42:38] 627*2^1434665-1 is not prime. Res64: C391E2078D297179 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:42:39] 865*2^1434665-1 is not prime. Res64: D50F7AC153ACAFC0 Time : 0.0 sec. user=mdettweiler [2016-07-07 20:42:39] 873*2^1434666-1 is not prime. Res64: 7FA13498B5351033 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:09:45] 619*2^1434667-1 is not prime. Res64: FDD7DC826FBB411B Time : 0.0 sec. user=mdettweiler [2016-07-07 21:09:45] 775*2^1434667-1 is not prime. Res64: B47D0263A8CFCAB6 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:09:46] 859*2^1434667-1 is not prime. Res64: B63473EAF213DB19 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:09:46] 861*2^1434667-1 is not prime. Res64: 622675E50B270DAA Time : 0.0 sec. user=mdettweiler [2016-07-07 21:09:46] 871*2^1434667-1 is not prime. Res64: BEDC3DA18C176796 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:27:18] 885*2^1434667-1 is not prime. Res64: F2B27B9276DC6217 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:27:19] 985*2^1434667-1 is not prime. Res64: 4ACEC79992B974AA Time : 0.0 sec. user=mdettweiler [2016-07-07 21:27:25] 993*2^1434667-1 is not prime. Res64: FB349D05CF72A5DC Time : 0.0 sec. user=mdettweiler [2016-07-07 21:27:30] 735*2^1434668-1 is not prime. Res64: A787BEF3AADBB5A9 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:27:36] 773*2^1434668-1 is not prime. Res64: 1C96A36DAFCAE899 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:28:58] 843*2^1434668-1 is not prime. Res64: 4A71DD7228CF76A2 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:29:03] 875*2^1434668-1 is not prime. Res64: DC1747E499A7CBF6 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:29:08] 959*2^1434668-1 is not prime. Res64: 3F68FDEC4907BF04 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:29:13] 649*2^1434669-1 is not prime. Res64: C46422CBEE5D189F Time : 0.0 sec. user=mdettweiler [2016-07-07 21:29:19] 765*2^1434669-1 is not prime. Res64: FD6EE039F28B6107 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:56:11] 817*2^1434669-1 is not prime. Res64: 60C5A4B3CC8195A5 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:56:12] 885*2^1434669-1 is not prime. Res64: C8A94F7FD4878B07 Time : 0.0 sec. user=mdettweiler [2016-07-07 21:56:12] 919*2^1434669-1 is not prime. Res64: F76D64454BB16A3E Time : 0.0 sec. user=mdettweiler [2016-07-07 21:56:13] 955*2^1434669-1 is not prime. Res64: BECFDE8E8F4AEF2D Time : 0.0 sec. user=mdettweiler [2016-07-07 21:56:13] 645*2^1434670-1 is not prime. Res64: EFCB8B042C621A1E Time : 0.0 sec. user=mdettweiler [2016-07-07 22:15:42] 831*2^1434670-1 is not prime. Res64: 83C5BFAF0A0B7EEA Time : 0.0 sec. user=mdettweiler [2016-07-07 22:15:48] 885*2^1434670-1 is not prime. Res64: D856CCD3989DBE3C Time : 0.0 sec. user=mdettweiler [2016-07-07 22:15:54] 911*2^1434670-1 is not prime. Res64: D8206864D5473958 Time : 0.0 sec. user=mdettweiler [2016-07-07 22:16:00] 945*2^1434670-1 is not prime. Res64: 2881303E95C5DC56 Time : 0.0 sec. user=mdettweiler [2016-07-07 22:16:07] 735*2^1434671-1 is not prime. Res64: B824C39698AFA4BE Time : 0.0 sec. user=mdettweiler [2016-07-07 22:16:39] 865*2^1434671-1 is not prime. Res64: 732F0ECF0128EBFA Time : 0.0 sec. user=mdettweiler [2016-07-07 22:16:45] 901*2^1434671-1 is not prime. Res64: 8AC8F5E5EE97BB4C Time : 0.0 sec. user=mdettweiler [2016-07-07 22:16:51] 943*2^1434671-1 is not prime. Res64: 96D34C8B63CB474C Time : 0.0 sec. user=mdettweiler [2016-07-07 22:16:56] 979*2^1434671-1 is not prime. Res64: 5BF6EE9E991C89D4 Time : 0.0 sec. user=mdettweiler [2016-07-07 22:17:01] 689*2^1434672-1 is not prime. Res64: 2FC7DFA43CB1E56D Time : 0.0 sec. user=mdettweiler [2016-07-07 22:43:47] 759*2^1434672-1 is not prime. Res64: 45CF1F6046B1529E Time : 0.0 sec. user=mdettweiler [2016-07-07 22:43:54] 819*2^1434672-1 is not prime. Res64: 41FE13BAB4BF1E62 Time : 0.0 sec. user=mdettweiler [2016-07-07 22:43:55] 843*2^1434672-1 is not prime. Res64: 31A8B3FE4B01A51C Time : 0.0 sec. user=mdettweiler [2016-07-07 22:44:02] 923*2^1434672-1 is not prime. Res64: 6FE45F0B2803BC4E Time : 0.0 sec. user=mdettweiler [2016-07-07 22:44:08] 959*2^1434672-1 is not prime. Res64: 6C5CAB56662D7C02 Time : 0.0 sec. user=mdettweiler [2016-07-07 22:49:53] 781*2^1434663-1 is not prime. Res64: C462699F31BC5043 Time : 0.0 sec. user=mdettweiler [2016-07-07 22:49:54] 805*2^1434663-1 is not prime. Res64: 654BC4CECC400294 Time : 0.0 sec. user=mdettweiler [2016-07-07 22:49:58] 943*2^1434663-1 is not prime. Res64: B1BCE7385DCC44F1 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:02:35] 999*2^1434672-1 is not prime. Res64: 432040CBA72F3B70 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:02:36] 691*2^1434673-1 is not prime. Res64: 1B1E30F10858DAF0 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:02:36] 861*2^1434673-1 is not prime. Res64: 4D4090AD808D9E9F Time : 0.0 sec. user=mdettweiler [2016-07-07 23:02:37] 783*2^1434674-1 is not prime. Res64: D4AB37D75EE45669 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:02:38] 791*2^1434674-1 is not prime. Res64: B4EA8703FBC9C1F5 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:03:47] 813*2^1434674-1 is not prime. Res64: 296F7EE5DE7706E7 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:03:48] 613*2^1434675-1 is not prime. Res64: 64960E0A65521DDF Time : 0.0 sec. user=mdettweiler [2016-07-07 23:03:49] 663*2^1434675-1 is not prime. Res64: 4D62D7755F97477A Time : 0.0 sec. user=mdettweiler [2016-07-07 23:03:50] 801*2^1434675-1 is not prime. Res64: 9E1CD708761D606E Time : 0.0 sec. user=mdettweiler [2016-07-07 23:03:51] 819*2^1434675-1 is not prime. Res64: 26F4D313EEC3EA27 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:29:44] 963*2^1434675-1 is not prime. Res64: 170A869A6E688EBD Time : 0.0 sec. user=mdettweiler [2016-07-07 23:29:51] 979*2^1434675-1 is not prime. Res64: 17982CF175F95A5C Time : 0.0 sec. user=mdettweiler [2016-07-07 23:29:58] 985*2^1434675-1 is not prime. Res64: 669294BE9DA4BCFC Time : 0.0 sec. user=mdettweiler [2016-07-07 23:30:04] 783*2^1434676-1 is not prime. Res64: 94991E94294FB533 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:30:05] 989*2^1434676-1 is not prime. Res64: 2D0F02DEF1E3FF91 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:35:19] 619*2^1434677-1 is not prime. Res64: 1FCDC7F77A7B33B8 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:35:19] 777*2^1434677-1 is not prime. Res64: F72D4DFDCC60DED8 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:35:20] 829*2^1434677-1 is not prime. Res64: 3324CD35AF9AA6C7 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:35:20] 859*2^1434677-1 is not prime. Res64: E587AE9BF814173C Time : 0.0 sec. user=mdettweiler [2016-07-07 23:35:20] 867*2^1434677-1 is not prime. Res64: 688DBDFE1C64A8FF Time : 0.0 sec. user=mdettweiler [2016-07-07 23:47:42] 879*2^1434677-1 is not prime. Res64: 6CF0157D95BED144 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:47:42] 885*2^1434677-1 is not prime. Res64: 87F6C34234C9CEDE Time : 0.0 sec. user=mdettweiler [2016-07-07 23:47:43] 681*2^1434678-1 is not prime. Res64: 8355BC9CF0526C7A Time : 0.0 sec. user=mdettweiler [2016-07-07 23:47:43] 725*2^1434678-1 is not prime. Res64: FD4B9DFCD40547D0 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:47:43] 867*2^1434678-1 is not prime. Res64: 9890DC71A934F6EB Time : 0.0 sec. user=mdettweiler [2016-07-07 23:49:10] 887*2^1434678-1 is not prime. Res64: DD11A0E552438D09 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:49:14] 945*2^1434678-1 is not prime. Res64: 22F80661DFCA7092 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:49:18] 975*2^1434678-1 is not prime. Res64: DDC5FE67FE39ADB0 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:49:22] 601*2^1434679-1 is not prime. Res64: 5FF3958E015927F9 Time : 0.0 sec. user=mdettweiler [2016-07-07 23:49:26] 615*2^1434679-1 is not prime. Res64: EBDE88A0ECEE242E Time : 0.0 sec.