user=mdettweiler [2016-06-10 00:03:39] 853*2^1431915-1 is not prime. Res64: BC510013DEE033E5 Time : 0.0 sec. user=mdettweiler [2016-06-10 00:03:40] 859*2^1431915-1 is not prime. Res64: 62316C05195FE249 Time : 0.0 sec. user=mdettweiler [2016-06-10 00:03:41] 895*2^1431915-1 is not prime. Res64: B4EAF9C51348517A Time : 0.0 sec. user=mdettweiler [2016-06-10 00:03:41] 623*2^1431916-1 is not prime. Res64: 7ABB9DDF6973493A Time : 0.0 sec. user=mdettweiler [2016-06-10 00:03:42] 855*2^1431916-1 is not prime. Res64: CA116905241E968F Time : 0.0 sec. user=mdettweiler [2016-06-10 00:43:15] 975*2^1431916-1 is not prime. Res64: 4CB295A55EC3BCE3 Time : 0.0 sec. user=mdettweiler [2016-06-10 00:43:15] 983*2^1431916-1 is not prime. Res64: BA23158686FFC29F Time : 0.0 sec. user=mdettweiler [2016-06-10 00:43:15] 757*2^1431917-1 is not prime. Res64: 2D694C68E1137F45 Time : 0.0 sec. user=mdettweiler [2016-06-10 00:43:15] 989*2^1431916-1 is not prime. Res64: 8A94706D94862E12 Time : 0.0 sec. user=mdettweiler [2016-06-10 00:43:16] 769*2^1431917-1 is not prime. Res64: 951000CBAF79E145 Time : 0.0 sec. user=mdettweiler [2016-06-10 00:43:16] 717*2^1431917-1 is not prime. Res64: 35B056F71A915D4B Time : 0.0 sec. user=mdettweiler [2016-06-10 00:43:16] 837*2^1431917-1 is not prime. Res64: 31E23813328DBD9A Time : 0.0 sec. user=mdettweiler [2016-06-10 00:43:16] 747*2^1431917-1 is not prime. Res64: 2F29F8FF5016B8D8 Time : 0.0 sec. user=mdettweiler [2016-06-10 00:43:17] 861*2^1431917-1 is not prime. Res64: F6C1776E8C805D8F Time : 0.0 sec. user=mdettweiler [2016-06-10 00:43:17] 901*2^1431917-1 is not prime. Res64: EF9F1DF70B380CBF Time : 0.0 sec. user=mdettweiler [2016-06-10 00:49:44] 939*2^1431917-1 is not prime. Res64: 5133E03015A99E59 Time : 0.0 sec. user=mdettweiler [2016-06-10 00:49:44] 683*2^1431918-1 is not prime. Res64: 3E16AD2954751C8B Time : 0.0 sec. user=mdettweiler [2016-06-10 00:49:45] 695*2^1431918-1 is not prime. Res64: 62D5CCA5E72FAF6F Time : 0.0 sec. user=mdettweiler [2016-06-10 00:49:45] 711*2^1431918-1 is not prime. Res64: DE95C1EF96E7D2D6 Time : 0.0 sec. user=mdettweiler [2016-06-10 00:49:46] 747*2^1431918-1 is not prime. Res64: 139960857C83F63D Time : 0.0 sec. user=mdettweiler [2016-06-10 01:29:03] 741*2^1431919-1 is not prime. Res64: 14AA732819C78409 Time : 0.0 sec. user=mdettweiler [2016-06-10 01:29:08] 919*2^1431919-1 is not prime. Res64: A5E86737E2FBCA8B Time : 0.0 sec. user=mdettweiler [2016-06-10 01:29:10] 985*2^1431919-1 is not prime. Res64: DA2609DF77630D73 Time : 0.0 sec. user=mdettweiler [2016-06-10 01:29:11] 663*2^1431920-1 is not prime. Res64: F6D79632291B9761 Time : 0.0 sec. user=mdettweiler [2016-06-10 01:29:13] 713*2^1431920-1 is not prime. Res64: AF0CAE394B36CDF6 Time : 0.0 sec. user=mdettweiler [2016-06-10 01:29:19] 843*2^1431918-1 is not prime. Res64: 2F74773572DE7ADE Time : 0.0 sec. user=mdettweiler [2016-06-10 01:29:23] 881*2^1431918-1 is not prime. Res64: E045846BEF311F44 Time : 0.0 sec. user=mdettweiler [2016-06-10 01:29:33] 705*2^1431919-1 is not prime. Res64: DD14F92B05003D6F Time : 0.0 sec. user=mdettweiler [2016-06-10 01:29:39] 709*2^1431919-1 is not prime. Res64: CEB17A4E88AF0E9E Time : 0.0 sec. user=mdettweiler [2016-06-10 01:29:40] 729*2^1431919-1 is not prime. Res64: 6E408A0D5CB70032 Time : 0.0 sec. user=mdettweiler [2016-06-10 01:35:34] 843*2^1431920-1 is not prime. Res64: A963E2352115E272 Time : 0.0 sec. user=mdettweiler [2016-06-10 01:35:39] 957*2^1431920-1 is not prime. Res64: D1C6B3B3743F6389 Time : 0.0 sec. user=mdettweiler [2016-06-10 01:35:44] 977*2^1431920-1 is not prime. Res64: C40E16EA6EC8E274 Time : 0.0 sec. user=mdettweiler [2016-06-10 01:35:47] 705*2^1431921-1 is not prime. Res64: C853CD337D286A5D Time : 0.0 sec. user=mdettweiler [2016-06-10 01:35:49] 745*2^1431921-1 is not prime. Res64: C9B85F18304BED67 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:15:37] 777*2^1431921-1 is not prime. Res64: 3F88DF83368309B8 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:15:38] 849*2^1431921-1 is not prime. Res64: 0DB8E25D2E7D7593 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:15:39] 871*2^1431921-1 is not prime. Res64: D554ADB7097E7323 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:15:39] 979*2^1431921-1 is not prime. Res64: FEB1F91095CA36F8 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:15:40] 611*2^1431922-1 is not prime. Res64: ECA982A339D71AE1 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:15:53] 621*2^1431922-1 is not prime. Res64: 9FD236DF27266DD4 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:15:54] 635*2^1431922-1 is not prime. Res64: 932DC7E90632629C Time : 0.0 sec. user=mdettweiler [2016-06-10 02:15:55] 651*2^1431922-1 is not prime. Res64: 296500EE98B457BA Time : 0.0 sec. user=mdettweiler [2016-06-10 02:15:55] 701*2^1431922-1 is not prime. Res64: 563305ADD330E19E Time : 0.0 sec. user=mdettweiler [2016-06-10 02:15:56] 717*2^1431922-1 is not prime. Res64: 4039B4D751A1A7F6 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:22:15] 821*2^1431922-1 is not prime. Res64: BE562E9477BE7DA2 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:22:15] 833*2^1431922-1 is not prime. Res64: EC1FA1DC406C0BF4 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:22:16] 891*2^1431922-1 is not prime. Res64: 4C5B7CA0FFE2871F Time : 0.0 sec. user=mdettweiler [2016-06-10 02:22:16] 619*2^1431923-1 is not prime. Res64: AD766C67A1049823 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:22:16] 675*2^1431923-1 is not prime. Res64: 31745C9909C78EEA Time : 0.0 sec. user=mdettweiler [2016-06-10 02:37:30] 847*2^1431909-1 is not prime. Res64: 915ACBA264EA0199 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:37:31] 885*2^1431909-1 is not prime. Res64: 6067A487A609536D Time : 0.0 sec. user=mdettweiler [2016-06-10 02:37:31] 921*2^1431909-1 is not prime. Res64: 6D30692E465E9A7A Time : 0.0 sec. user=mdettweiler [2016-06-10 02:37:32] 605*2^1431910-1 is not prime. Res64: 1CCE33E6A1441504 Time : 0.0 sec. user=mdettweiler [2016-06-10 02:37:32] 657*2^1431910-1 is not prime. Res64: 3CC51D9823CFCB62 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:01:09] 703*2^1431923-1 is not prime. Res64: F040D7CF67D4AC56 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:01:10] 775*2^1431923-1 is not prime. Res64: AE31D1561879E51E Time : 0.0 sec. user=mdettweiler [2016-06-10 03:01:11] 859*2^1431923-1 is not prime. Res64: 8F48F02686A1B6EE Time : 0.0 sec. user=mdettweiler [2016-06-10 03:01:11] 879*2^1431923-1 is not prime. Res64: DDB925405DF847EE Time : 0.0 sec. user=mdettweiler [2016-06-10 03:01:12] 921*2^1431923-1 is not prime. Res64: BF2FF147D38303C8 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:01:31] 773*2^1431924-1 is not prime. Res64: C5A5F0690E7B3DFD Time : 0.0 sec. user=mdettweiler [2016-06-10 03:01:32] 965*2^1431924-1 is not prime. Res64: 0FA5AA9A5DFCB90E Time : 0.0 sec. user=mdettweiler [2016-06-10 03:01:33] 609*2^1431925-1 is not prime. Res64: EA27594E809691EF Time : 0.0 sec. user=mdettweiler [2016-06-10 03:01:35] 825*2^1431925-1 is not prime. Res64: 26ADFFA34069AC70 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:01:36] 859*2^1431925-1 is not prime. Res64: 6B0D1C740560C885 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:07:44] 915*2^1431925-1 is not prime. Res64: 0226C9F01170334B Time : 0.0 sec. user=mdettweiler [2016-06-10 03:07:45] 919*2^1431925-1 is not prime. Res64: 5E10BC9E9BD04236 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:07:46] 925*2^1431925-1 is not prime. Res64: F5CA46C9A065C42B Time : 0.0 sec. user=mdettweiler [2016-06-10 03:07:46] 937*2^1431925-1 is not prime. Res64: 647816C4316F82CF Time : 0.0 sec. user=mdettweiler [2016-06-10 03:07:47] 743*2^1431926-1 is not prime. Res64: F22ED5F1AFD03C13 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:23:52] 801*2^1431926-1 is not prime. Res64: 0046188A40D9D83F Time : 0.0 sec. user=mdettweiler [2016-06-10 03:23:52] 843*2^1431926-1 is not prime. Res64: A5936D52CCBCD4A8 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:23:53] 851*2^1431926-1 is not prime. Res64: 812BA98C07CE7B1C Time : 0.0 sec. user=mdettweiler [2016-06-10 03:23:53] 887*2^1431926-1 is not prime. Res64: 974B2150F6D3AE9D Time : 0.0 sec. user=mdettweiler [2016-06-10 03:23:53] 893*2^1431926-1 is not prime. Res64: 3A11DE3981E078FD Time : 0.0 sec. user=mdettweiler [2016-06-10 03:46:59] 965*2^1431926-1 is not prime. Res64: 73F388A58D7D6377 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:47:01] 741*2^1431927-1 is not prime. Res64: DFF0F47D71AD3A5A Time : 0.0 sec. user=mdettweiler [2016-06-10 03:47:03] 819*2^1431927-1 is not prime. Res64: 5DBBA5C8DDC7B974 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:47:04] 861*2^1431927-1 is not prime. Res64: E033420126BF0AEB Time : 0.0 sec. user=mdettweiler [2016-06-10 03:47:05] 871*2^1431927-1 is not prime. Res64: 311B928E7CBC81B1 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:48:53] 605*2^1431928-1 is not prime. Res64: B9CE73D923DDD8F5 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:48:55] 629*2^1431928-1 is not prime. Res64: D029E577603E717B Time : 0.0 sec. user=mdettweiler [2016-06-10 03:48:57] 707*2^1431928-1 is not prime. Res64: 6D010223E34D2865 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:49:00] 839*2^1431928-1 is not prime. Res64: 92440F8B661A8314 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:49:02] 915*2^1431928-1 is not prime. Res64: 3D442AFC106B440E Time : 0.0 sec. user=mdettweiler [2016-06-10 03:54:05] 699*2^1431929-1 is not prime. Res64: 8FD5B4475F02B272 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:54:06] 781*2^1431929-1 is not prime. Res64: 950EA6C0A16FC2B8 Time : 0.0 sec. user=mdettweiler [2016-06-10 03:54:07] 789*2^1431929-1 is not prime. Res64: E690572D949FA0CF Time : 0.0 sec. user=mdettweiler [2016-06-10 03:54:08] 829*2^1431929-1 is not prime. Res64: 87D5E0A8500BD15D Time : 0.0 sec. user=mdettweiler [2016-06-10 03:54:09] 885*2^1431929-1 is not prime. Res64: B3FD757134C8BB15 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:09:16] 949*2^1431929-1 is not prime. Res64: AE31A9D78D861D1C Time : 0.0 sec. user=mdettweiler [2016-06-10 04:09:16] 997*2^1431929-1 is not prime. Res64: F00D1984F1117BD9 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:09:17] 681*2^1431930-1 is not prime. Res64: 031EAF46855B5333 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:09:17] 741*2^1431930-1 is not prime. Res64: 7F4AF3E8672A78EC Time : 0.0 sec. user=mdettweiler [2016-06-10 04:09:18] 803*2^1431930-1 is not prime. Res64: A86E5DAF51026D54 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:32:22] 821*2^1431930-1 is not prime. Res64: 7E66536FFD3C3CE8 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:32:22] 845*2^1431930-1 is not prime. Res64: C9130DA77EEC4BC2 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:32:22] 887*2^1431930-1 is not prime. Res64: 9557CAF7BC8CA5DC Time : 0.0 sec. user=mdettweiler [2016-06-10 04:32:23] 951*2^1431930-1 is not prime. Res64: FCB410ABB4C97D52 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:32:23] 971*2^1431930-1 is not prime. Res64: 0902B4BAFB4FE4B0 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:34:05] 793*2^1431931-1 is not prime. Res64: 9D437B71923AE80C Time : 0.0 sec. user=mdettweiler [2016-06-10 04:34:05] 841*2^1431931-1 is not prime. Res64: 376B64292BE55F03 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:34:06] 859*2^1431931-1 is not prime. Res64: 65EBAAB67ABF2B2F Time : 0.0 sec. user=mdettweiler [2016-06-10 04:34:06] 871*2^1431931-1 is not prime. Res64: 64EFA780B4BC9419 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:34:06] 885*2^1431931-1 is not prime. Res64: 557C7CD8E63E49E5 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:39:27] 895*2^1431931-1 is not prime. Res64: F3FD39D2C17D006B Time : 0.0 sec. user=mdettweiler [2016-06-10 04:39:27] 993*2^1431931-1 is not prime. Res64: 98F41F5F41872E9C Time : 0.0 sec. user=mdettweiler [2016-06-10 04:39:27] 813*2^1431932-1 is not prime. Res64: 6C1AC13D1B676423 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:39:28] 915*2^1431932-1 is not prime. Res64: 8E9FD3270A012782 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:39:28] 983*2^1431932-1 is not prime. Res64: DA27FA4AB5A739CB Time : 0.0 sec. user=mdettweiler [2016-06-10 04:54:19] 805*2^1431933-1 is not prime. Res64: AD5D90E59D290385 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:54:19] 837*2^1431933-1 is not prime. Res64: 6D6F80450BBD94B6 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:54:20] 847*2^1431933-1 is not prime. Res64: C1BEF67C3AE945E2 Time : 0.0 sec. user=mdettweiler [2016-06-10 04:54:20] 927*2^1431933-1 is not prime. Res64: 155D2E1ADD21EF3B Time : 0.0 sec. user=mdettweiler [2016-06-10 04:54:20] 979*2^1431933-1 is not prime. Res64: B5A7CE9773460BA8 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:17:21] 605*2^1431934-1 is not prime. Res64: 561BFF9C29854008 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:17:22] 623*2^1431934-1 is not prime. Res64: 5328D0CB7A2F5094 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:17:22] 635*2^1431934-1 is not prime. Res64: 79A72DB864517EA5 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:17:23] 681*2^1431934-1 is not prime. Res64: 409122071D4AC5CD Time : 0.0 sec. user=mdettweiler [2016-06-10 05:17:23] 705*2^1431934-1 is not prime. Res64: 5D8C39E3F49A7930 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:19:04] 747*2^1431934-1 is not prime. Res64: 13F8702CCF5F3CB9 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:19:04] 891*2^1431934-1 is not prime. Res64: B2CF562D5A0A0CDF Time : 0.0 sec. user=mdettweiler [2016-06-10 05:19:05] 981*2^1431934-1 is not prime. Res64: FD3D5847E7B4F940 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:19:05] 987*2^1431934-1 is not prime. Res64: A982A493494AF219 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:19:05] 859*2^1431935-1 is not prime. Res64: 8C58618AA7C0B39D Time : 0.0 sec. user=mdettweiler [2016-06-10 05:24:29] 943*2^1431935-1 is not prime. Res64: B21582027A30B2CF Time : 0.0 sec. user=mdettweiler [2016-06-10 05:24:29] 999*2^1431935-1 is not prime. Res64: 297085229DECD66E Time : 0.0 sec. user=mdettweiler [2016-06-10 05:24:30] 765*2^1431936-1 is not prime. Res64: 7C89D919E90F0312 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:24:30] 945*2^1431936-1 is not prime. Res64: 3C76F2DBEF2B1D15 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:24:30] 609*2^1431937-1 is not prime. Res64: F57ADD149C24D9E7 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:39:25] 645*2^1431937-1 is not prime. Res64: 2033F30C7A760D28 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:39:26] 729*2^1431937-1 is not prime. Res64: 1D2D44A0FF4049F2 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:39:26] 775*2^1431937-1 is not prime. Res64: 0ACA33060F1D6AC6 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:39:26] 819*2^1431937-1 is not prime. Res64: 029B4E04C435A188 Time : 0.0 sec. user=mdettweiler [2016-06-10 05:39:27] 885*2^1431937-1 is not prime. Res64: 6834FA451B6D080F Time : 0.0 sec. user=mdettweiler [2016-06-10 06:02:23] 939*2^1431937-1 is not prime. Res64: A99E533AB2265221 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:02:24] 967*2^1431937-1 is not prime. Res64: F2A67F7F65E6A7EA Time : 0.0 sec. user=mdettweiler [2016-06-10 06:02:25] 603*2^1431938-1 is not prime. Res64: A0AB4AEA4BA27F11 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:02:26] 641*2^1431938-1 is not prime. Res64: 798F5827094C7069 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:02:26] 711*2^1431938-1 is not prime. Res64: 7D948B52683ADE71 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:04:12] 735*2^1431938-1 is not prime. Res64: 1910DA409702001F Time : 0.0 sec. user=mdettweiler [2016-06-10 06:04:13] 813*2^1431938-1 is not prime. Res64: 9D4797E5BF0F6C5F Time : 0.0 sec. user=mdettweiler [2016-06-10 06:04:14] 837*2^1431938-1 is not prime. Res64: E7FA9E34BD494722 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:04:15] 843*2^1431938-1 is not prime. Res64: 1122A37C3433686E Time : 0.0 sec. user=mdettweiler [2016-06-10 06:04:16] 867*2^1431938-1 is not prime. Res64: 489A1CC1F004A71D Time : 0.0 sec. user=mdettweiler [2016-06-10 06:09:41] 887*2^1431938-1 is not prime. Res64: 98615BBD34A0760A Time : 0.0 sec. user=mdettweiler [2016-06-10 06:09:42] 921*2^1431938-1 is not prime. Res64: FF48541715873F99 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:09:42] 945*2^1431938-1 is not prime. Res64: 26D7924341E57637 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:09:43] 1001*2^1431938-1 is not prime. Res64: 6EB813CB88D63E77 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:09:43] 615*2^1431939-1 is not prime. Res64: 8C4BB0A4E4AD9D93 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:24:34] 685*2^1431939-1 is not prime. Res64: 9C5567D1EF3C8035 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:24:35] 741*2^1431939-1 is not prime. Res64: 0717FFC5D4B9BDF0 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:24:35] 795*2^1431939-1 is not prime. Res64: 2D630A23B8EB7FDC Time : 0.0 sec. user=mdettweiler [2016-06-10 06:24:35] 975*2^1431939-1 is not prime. Res64: E492A14CD221EE3E Time : 0.0 sec. user=mdettweiler [2016-06-10 06:24:36] 623*2^1431940-1 is not prime. Res64: 42FE53F1BE848A07 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:47:37] 687*2^1431940-1 is not prime. Res64: 3DCD9415D5911714 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:47:37] 699*2^1431940-1 is not prime. Res64: CC3E91C96AA56AA1 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:47:38] 719*2^1431940-1 is not prime. Res64: E82B4FC10C9CD94F Time : 0.0 sec. user=mdettweiler [2016-06-10 06:47:38] 723*2^1431940-1 is not prime. Res64: D34254F20B583F19 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:47:38] 833*2^1431940-1 is not prime. Res64: 4046AEAE6E7B23FB Time : 0.0 sec. user=mdettweiler [2016-06-10 06:49:15] 915*2^1431940-1 is not prime. Res64: E37BE96A243AE1B1 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:49:15] 999*2^1431940-1 is not prime. Res64: 7310C85E87881C2A Time : 0.0 sec. user=mdettweiler [2016-06-10 06:49:15] 711*2^1431941-1 is not prime. Res64: B0072803CBA156C1 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:49:16] 861*2^1431941-1 is not prime. Res64: ADAC3BCC06253BDE Time : 0.0 sec. user=mdettweiler [2016-06-10 06:49:16] 885*2^1431941-1 is not prime. Res64: 712E86F25DA54584 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:54:53] 939*2^1431941-1 is not prime. Res64: 0D8943BBDCE7B159 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:54:54] 711*2^1431942-1 is not prime. Res64: B091FB61E885A156 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:54:54] 777*2^1431942-1 is not prime. Res64: 57B105ADE5948ED0 Time : 0.0 sec. user=mdettweiler [2016-06-10 06:54:54] 807*2^1431942-1 is not prime. Res64: A505784946BB044F Time : 0.0 sec. user=mdettweiler [2016-06-10 06:54:55] 867*2^1431942-1 is not prime. Res64: F0AB0E535197AC56 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:09:43] 947*2^1431942-1 is not prime. Res64: 1A27BCBC69121223 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:09:44] 977*2^1431942-1 is not prime. Res64: ED6F0E85D704E810 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:09:45] 603*2^1431943-1 is not prime. Res64: 1BCCC3A3DF5EE75E Time : 0.0 sec. user=mdettweiler [2016-06-10 07:09:45] 649*2^1431943-1 is not prime. Res64: B576E3810C95599E Time : 0.0 sec. user=mdettweiler [2016-06-10 07:09:46] 723*2^1431943-1 is not prime. Res64: BD2698FBAF583E6B Time : 0.0 sec. user=mdettweiler [2016-06-10 07:32:48] 933*2^1431943-1 is not prime. Res64: 15FC88DFC4FD038E Time : 0.0 sec. user=mdettweiler [2016-06-10 07:32:48] 943*2^1431943-1 is not prime. Res64: 07E95822147984E5 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:32:49] 677*2^1431944-1 is not prime. Res64: BCBE714530A8C08F Time : 0.0 sec. user=mdettweiler [2016-06-10 07:32:49] 743*2^1431944-1 is not prime. Res64: ECBBAF4DD6ED6C24 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:32:49] 855*2^1431944-1 is not prime. Res64: 2635332C3D95DFA2 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:34:22] 873*2^1431944-1 is not prime. Res64: 2B84FEDED71CCAC1 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:34:23] 691*2^1431945-1 is not prime. Res64: C9FDC06DCC28F680 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:34:23] 915*2^1431945-1 is not prime. Res64: 1ED9A24A755CFEA0 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:34:23] 921*2^1431945-1 is not prime. Res64: B4FE6610D2860489 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:34:24] 603*2^1431946-1 is not prime. Res64: ACC4A8CAB86F69F2 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:40:06] 737*2^1431946-1 is not prime. Res64: 054445C458ECCC79 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:40:07] 843*2^1431946-1 is not prime. Res64: 19EA9EFE18C3E204 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:40:07] 911*2^1431946-1 is not prime. Res64: 0422413B94522832 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:40:07] 675*2^1431947-1 is not prime. Res64: 91476FB893876F87 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:40:08] 693*2^1431947-1 is not prime. Res64: 476110146832728A Time : 0.0 sec. user=mdettweiler [2016-06-10 07:55:05] 705*2^1431947-1 is not prime. Res64: E2F5ED7D4E976701 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:55:05] 741*2^1431947-1 is not prime. Res64: AA24B2816EFF1CFA Time : 0.0 sec. user=mdettweiler [2016-06-10 07:55:06] 963*2^1431947-1 is not prime. Res64: 5632251DC5713679 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:55:06] 759*2^1431948-1 is not prime. Res64: 57B1711D094F35E7 Time : 0.0 sec. user=mdettweiler [2016-06-10 07:55:06] 765*2^1431948-1 is not prime. Res64: 10091255D4428D44 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:17:59] 809*2^1431948-1 is not prime. Res64: EB1CD18DCDE63A13 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:18:00] 915*2^1431948-1 is not prime. Res64: 3B8DE98CB02A690A Time : 0.0 sec. user=mdettweiler [2016-06-10 08:18:00] 625*2^1431949-1 is not prime. Res64: 18461D5EE2DBD33D Time : 0.0 sec. user=mdettweiler [2016-06-10 08:18:01] 661*2^1431949-1 is not prime. Res64: 735299878D1BBF2B Time : 0.0 sec. user=mdettweiler [2016-06-10 08:18:01] 675*2^1431949-1 is not prime. Res64: 39545CD5DDDDA9A3 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:19:39] 721*2^1431949-1 is not prime. Res64: B637FD014627E568 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:19:40] 757*2^1431949-1 is not prime. Res64: F015682A5C9B3DF5 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:19:40] 801*2^1431949-1 is not prime. Res64: 23BC990151E68CCE Time : 0.0 sec. user=mdettweiler [2016-06-10 08:19:40] 997*2^1431949-1 is not prime. Res64: 93A4332DF85B3745 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:19:41] 731*2^1431950-1 is not prime. Res64: EB53B525790CB539 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:25:26] 755*2^1431950-1 is not prime. Res64: B4671621522EC633 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:25:26] 801*2^1431950-1 is not prime. Res64: 6085A5DCBE02A907 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:25:27] 827*2^1431950-1 is not prime. Res64: 8960891D5D699728 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:25:28] 861*2^1431950-1 is not prime. Res64: C9C2C410EFCA7C4E Time : 0.0 sec. user=mdettweiler [2016-06-10 08:25:29] 951*2^1431950-1 is not prime. Res64: 80F14D4A327D86AB Time : 0.0 sec. user=mdettweiler [2016-06-10 08:40:16] 981*2^1431950-1 is not prime. Res64: C7C87E7D7495C297 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:40:16] 601*2^1431951-1 is not prime. Res64: 7947D115FD837E5E Time : 0.0 sec. user=mdettweiler [2016-06-10 08:40:17] 625*2^1431951-1 is not prime. Res64: 02E31D7D783E1E00 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:40:17] 685*2^1431951-1 is not prime. Res64: DDDCF1DBCF452609 Time : 0.0 sec. user=mdettweiler [2016-06-10 08:40:17] 763*2^1431951-1 is not prime. Res64: 580F4B7A522DE10C Time : 0.0 sec. user=mdettweiler [2016-06-10 09:03:20] 861*2^1431951-1 is not prime. Res64: A1059352A13796B6 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:03:22] 865*2^1431951-1 is not prime. Res64: 665AE4A9B804CBBE Time : 0.0 sec. user=mdettweiler [2016-06-10 09:03:23] 921*2^1431951-1 is not prime. Res64: 37659EFBC9EC94F8 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:03:24] 931*2^1431951-1 is not prime. Res64: 3CE6083138161347 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:03:25] 609*2^1431952-1 is not prime. Res64: 02AEE359B30316FF Time : 0.0 sec. user=mdettweiler [2016-06-10 09:05:12] 615*2^1431952-1 is not prime. Res64: 2326DF70A655642B Time : 0.0 sec. user=mdettweiler [2016-06-10 09:05:13] 689*2^1431952-1 is not prime. Res64: 4A2FF7261FE60EFA Time : 0.0 sec. user=mdettweiler [2016-06-10 09:05:15] 695*2^1431952-1 is not prime. Res64: 086AC057A5B4DBE9 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:05:17] 735*2^1431952-1 is not prime. Res64: 6AA4ABB182852767 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:05:20] 875*2^1431952-1 is not prime. Res64: F936BB402FD69E1A Time : 0.0 sec. user=mdettweiler [2016-06-10 09:10:54] 887*2^1431952-1 is not prime. Res64: 044628DFF68C67B0 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:10:55] 899*2^1431952-1 is not prime. Res64: 59120875E1571F8B Time : 0.0 sec. user=mdettweiler [2016-06-10 09:10:56] 957*2^1431952-1 is not prime. Res64: 3EFB56B1513D9DAD Time : 0.0 sec. user=mdettweiler [2016-06-10 09:10:57] 975*2^1431952-1 is not prime. Res64: A5C948CCB3B0E2C2 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:10:58] 983*2^1431952-1 is not prime. Res64: DC1B375F926FC6D4 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:25:43] 615*2^1431953-1 is not prime. Res64: 7AE66945A8F4F1E6 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:25:43] 649*2^1431953-1 is not prime. Res64: 614C248E53C3FD8A Time : 0.0 sec. user=mdettweiler [2016-06-10 09:25:43] 691*2^1431953-1 is not prime. Res64: 9404478FF285E17B Time : 0.0 sec. user=mdettweiler [2016-06-10 09:25:44] 811*2^1431953-1 is not prime. Res64: D1DB074CC6FC6832 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:25:44] 829*2^1431953-1 is not prime. Res64: 5B2EBB90EC2F61A6 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:48:45] 879*2^1431953-1 is not prime. Res64: 2CF83730405483A5 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:48:46] 861*2^1431954-1 is not prime. Res64: D43E38DE5ABD0F9B Time : 0.0 sec. user=mdettweiler [2016-06-10 09:48:46] 893*2^1431954-1 is not prime. Res64: A54E8C8B5ADA9AFA Time : 0.0 sec. user=mdettweiler [2016-06-10 09:48:46] 903*2^1431954-1 is not prime. Res64: BE6DAB86A3D46E5C Time : 0.0 sec. user=mdettweiler [2016-06-10 09:48:47] 983*2^1431954-1 is not prime. Res64: D687A503608D5F4D Time : 0.0 sec. user=mdettweiler [2016-06-10 09:50:57] 625*2^1431955-1 is not prime. Res64: 77FF967685B9C709 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:50:57] 961*2^1431955-1 is not prime. Res64: 00A039282FB3858E Time : 0.0 sec. user=mdettweiler [2016-06-10 09:50:57] 633*2^1431956-1 is not prime. Res64: B219829F4CA28955 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:50:58] 875*2^1431956-1 is not prime. Res64: D5565172699FC5D7 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:50:58] 747*2^1431957-1 is not prime. Res64: 51DB8278BC93C9AD Time : 0.0 sec. user=mdettweiler [2016-06-10 09:56:34] 817*2^1431957-1 is not prime. Res64: 55102008A56907A2 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:56:34] 889*2^1431957-1 is not prime. Res64: 8E1295EE38982E97 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:56:34] 891*2^1431957-1 is not prime. Res64: D9F19620E45A52F0 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:56:35] 895*2^1431957-1 is not prime. Res64: 92A27FFA19197239 Time : 0.0 sec. user=mdettweiler [2016-06-10 09:56:35] 919*2^1431957-1 is not prime. Res64: D2215ABE463AAC8E Time : 0.0 sec. user=mdettweiler [2016-06-10 10:11:12] 997*2^1431957-1 is not prime. Res64: 5838867D83ECD71A Time : 0.0 sec. user=mdettweiler [2016-06-10 10:11:13] 647*2^1431958-1 is not prime. Res64: 999561A10C13ECE5 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:11:13] 845*2^1431958-1 is not prime. Res64: 727E43BF6D3B877F Time : 0.0 sec. user=mdettweiler [2016-06-10 10:11:14] 663*2^1431959-1 is not prime. Res64: B8A740AF1CCB6CB2 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:11:14] 711*2^1431959-1 is not prime. Res64: A06A95378C40FFE1 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:34:16] 843*2^1431959-1 is not prime. Res64: 54AFDCC5F3624861 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:34:16] 859*2^1431959-1 is not prime. Res64: 454E3DA75E156C03 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:34:17] 861*2^1431959-1 is not prime. Res64: F4410640D67DC40F Time : 0.0 sec. user=mdettweiler [2016-06-10 10:34:17] 693*2^1431960-1 is not prime. Res64: DEE188D6352ECA21 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:34:17] 699*2^1431960-1 is not prime. Res64: 58F688BB33E0D3C5 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:36:11] 753*2^1431960-1 is not prime. Res64: FF3B0587F98908CD Time : 0.0 sec. user=mdettweiler [2016-06-10 10:36:12] 867*2^1431960-1 is not prime. Res64: F0E8E3BE268B840F Time : 0.0 sec. user=mdettweiler [2016-06-10 10:36:12] 927*2^1431960-1 is not prime. Res64: 08D7C552BE66EFA9 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:36:12] 619*2^1431961-1 is not prime. Res64: 68B5904E3EB26A2F Time : 0.0 sec. user=mdettweiler [2016-06-10 10:36:13] 687*2^1431961-1 is not prime. Res64: 1728966C77B5CE15 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:41:39] 805*2^1431961-1 is not prime. Res64: 2B308BF813798C1F Time : 0.0 sec. user=mdettweiler [2016-06-10 10:41:39] 895*2^1431961-1 is not prime. Res64: 7365DF05FDDF541A Time : 0.0 sec. user=mdettweiler [2016-06-10 10:41:40] 925*2^1431961-1 is not prime. Res64: 453F972499C466A6 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:41:40] 987*2^1431961-1 is not prime. Res64: E8D19DC8A3EFD2AD Time : 0.0 sec. user=mdettweiler [2016-06-10 10:41:41] 675*2^1431962-1 is not prime. Res64: 82A6E0C790650485 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:56:29] 731*2^1431962-1 is not prime. Res64: 299AFC88A220E34E Time : 0.0 sec. user=mdettweiler [2016-06-10 10:56:30] 813*2^1431962-1 is not prime. Res64: A215D895D5554D6E Time : 0.0 sec. user=mdettweiler [2016-06-10 10:56:31] 833*2^1431962-1 is not prime. Res64: D3593919DE0810DE Time : 0.0 sec. user=mdettweiler [2016-06-10 10:56:31] 917*2^1431962-1 is not prime. Res64: CFFAA96D65D32337 Time : 0.0 sec. user=mdettweiler [2016-06-10 10:56:32] 649*2^1431963-1 is not prime. Res64: 1F87273ED7050169 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:19:29] 703*2^1431963-1 is not prime. Res64: 3739DDB4526F9C39 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:19:30] 705*2^1431963-1 is not prime. Res64: F0501253873A9F91 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:19:30] 709*2^1431963-1 is not prime. Res64: A6D32D217E56EFD0 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:19:30] 765*2^1431963-1 is not prime. Res64: 8A25B3BF43A670E8 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:19:31] 789*2^1431963-1 is not prime. Res64: 16BFBEAC8F176E28 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:21:24] 879*2^1431963-1 is not prime. Res64: 95AEB3FDC224A30F Time : 0.0 sec. user=mdettweiler [2016-06-10 11:21:25] 891*2^1431963-1 is not prime. Res64: 05AD48D88B492115 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:21:25] 969*2^1431963-1 is not prime. Res64: EA860DA4C39A4A9C Time : 0.0 sec. user=mdettweiler [2016-06-10 11:21:26] 973*2^1431963-1 is not prime. Res64: A0536A33467D5EFC Time : 0.0 sec. user=mdettweiler [2016-06-10 11:21:26] 639*2^1431964-1 is not prime. Res64: D4D482B1B26CBC0C Time : 0.0 sec. user=mdettweiler [2016-06-10 11:27:04] 657*2^1431964-1 is not prime. Res64: E1814B96D16E2112 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:27:05] 675*2^1431964-1 is not prime. Res64: F2D64BFA62A27B05 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:27:05] 707*2^1431964-1 is not prime. Res64: 51990A308A6886FB Time : 0.0 sec. user=mdettweiler [2016-06-10 11:27:05] 749*2^1431964-1 is not prime. Res64: 0B845F7895B5B4EE Time : 0.0 sec. user=mdettweiler [2016-06-10 11:27:06] 897*2^1431964-1 is not prime. Res64: 7B2320F009FB3E59 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:41:49] 983*2^1431964-1 is not prime. Res64: 1A29F0FDC8845181 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:41:49] 781*2^1431965-1 is not prime. Res64: 4315D39AFA007B20 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:41:50] 795*2^1431965-1 is not prime. Res64: D8AC6DBD7ABE2C34 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:41:50] 641*2^1431966-1 is not prime. Res64: BD07226524F2A607 Time : 0.0 sec. user=mdettweiler [2016-06-10 11:41:50] 783*2^1431966-1 is not prime. Res64: 3A055C6EB2B777C3 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:04:46] 703*2^1431967-1 is not prime. Res64: 890CE521DC82F5CA Time : 0.0 sec. user=mdettweiler [2016-06-10 12:04:48] 729*2^1431967-1 is not prime. Res64: 4139A54CBC308E4C Time : 0.0 sec. user=mdettweiler [2016-06-10 12:04:51] 769*2^1431967-1 is not prime. Res64: 09AB8F5FB5259790 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:04:52] 793*2^1431967-1 is not prime. Res64: F65CC4B71E24D66D Time : 0.0 sec. user=mdettweiler [2016-06-10 12:04:53] 819*2^1431967-1 is not prime. Res64: 6D323D6CEFDDB71C Time : 0.0 sec. user=mdettweiler [2016-06-10 12:06:40] 861*2^1431967-1 is not prime. Res64: 2C445E962CB7E605 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:06:42] 895*2^1431967-1 is not prime. Res64: DAC7D9E04EA0F0E2 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:06:42] 973*2^1431967-1 is not prime. Res64: F857B65D69F873A9 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:06:43] 725*2^1431968-1 is not prime. Res64: 59FC3EB60EAA8FFF Time : 0.0 sec. user=mdettweiler [2016-06-10 12:06:44] 935*2^1431968-1 is not prime. Res64: B973A985856359E5 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:12:23] 957*2^1431968-1 is not prime. Res64: E61AAE692CBDFD03 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:12:23] 639*2^1431969-1 is not prime. Res64: D3C40650D0799386 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:12:24] 807*2^1431969-1 is not prime. Res64: DDC498818A1C5FDB Time : 0.0 sec. user=mdettweiler [2016-06-10 12:12:24] 847*2^1431969-1 is not prime. Res64: 7B7E3E78CE68DA76 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:12:24] 951*2^1431969-1 is not prime. Res64: 1BA53916D6A5BAA8 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:27:06] 991*2^1431969-1 is not prime. Res64: 416EC90A1AA56B63 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:27:06] 717*2^1431970-1 is not prime. Res64: D7B974C36196DDF6 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:27:07] 995*2^1431970-1 is not prime. Res64: 3C527C029F1BA798 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:27:07] 675*2^1431971-1 is not prime. Res64: 4EA0F9A5185091BB Time : 0.0 sec. user=mdettweiler [2016-06-10 12:27:07] 711*2^1431971-1 is not prime. Res64: D9420A9B9E2045F5 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:50:22] 741*2^1431971-1 is not prime. Res64: 24356F7D84E08BED Time : 0.0 sec. user=mdettweiler [2016-06-10 12:50:23] 745*2^1431971-1 is not prime. Res64: FCDF4C1DCD97CC48 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:50:23] 801*2^1431971-1 is not prime. Res64: BE8C5F9C801C0F79 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:50:23] 813*2^1431971-1 is not prime. Res64: ED7238E3EC2D1CAB Time : 0.0 sec. user=mdettweiler [2016-06-10 12:50:24] 885*2^1431971-1 is not prime. Res64: F83235E925828EF2 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:52:00] 993*2^1431971-1 is not prime. Res64: BA0C213306960B9E Time : 0.0 sec. user=mdettweiler [2016-06-10 12:52:00] 719*2^1431972-1 is not prime. Res64: B553AE460B7F57A0 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:52:01] 777*2^1431972-1 is not prime. Res64: 92FF623D10C370B3 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:52:01] 893*2^1431972-1 is not prime. Res64: D1630B0B89A5C243 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:52:01] 929*2^1431972-1 is not prime. Res64: A0540D2600C9492F Time : 0.0 sec. user=mdettweiler [2016-06-10 12:57:37] 957*2^1431972-1 is not prime. Res64: 32E8EE1B095C9625 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:57:38] 983*2^1431972-1 is not prime. Res64: 791BB340CA230C0A Time : 0.0 sec. user=mdettweiler [2016-06-10 12:57:38] 607*2^1431973-1 is not prime. Res64: 163C7D977CD3FF1B Time : 0.0 sec. user=mdettweiler [2016-06-10 12:57:38] 625*2^1431973-1 is not prime. Res64: 5161DBAC5927EF14 Time : 0.0 sec. user=mdettweiler [2016-06-10 12:57:39] 687*2^1431973-1 is not prime. Res64: 90E63EA495B4F686 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:12:32] 741*2^1431973-1 is not prime. Res64: 4655BFDF99F2AB8D Time : 0.0 sec. user=mdettweiler [2016-06-10 13:12:33] 775*2^1431973-1 is not prime. Res64: 836A5B9C19872C7D Time : 0.0 sec. user=mdettweiler [2016-06-10 13:12:34] 829*2^1431973-1 is not prime. Res64: 50E96BA9C7242DC8 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:12:35] 831*2^1431973-1 is not prime. Res64: 53D1197E0EE5ACB9 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:12:36] 859*2^1431973-1 is not prime. Res64: A9AD566D6BE68735 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:35:37] 831*2^1431974-1 is not prime. Res64: 7A258C26C868234B Time : 0.0 sec. user=mdettweiler [2016-06-10 13:35:38] 833*2^1431974-1 is not prime. Res64: F846111471C88AD6 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:35:38] 861*2^1431974-1 is not prime. Res64: 4EAD0D34A9CF254D Time : 0.0 sec. user=mdettweiler [2016-06-10 13:35:38] 981*2^1431974-1 is not prime. Res64: A43EA890491B1C1D Time : 0.0 sec. user=mdettweiler [2016-06-10 13:35:39] 983*2^1431974-1 is not prime. Res64: 55AB2C11B1AF6B47 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:37:11] 685*2^1431975-1 is not prime. Res64: 04BC4BC91F797991 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:37:11] 711*2^1431975-1 is not prime. Res64: FE73AE7BD5D3C241 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:37:11] 739*2^1431975-1 is not prime. Res64: 291A8DF12CFD4346 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:37:12] 859*2^1431975-1 is not prime. Res64: E49541F84421FCD4 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:37:12] 873*2^1431975-1 is not prime. Res64: 2F52B7BB059E0934 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:42:48] 885*2^1431975-1 is not prime. Res64: E562D6BD20B78130 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:42:49] 973*2^1431975-1 is not prime. Res64: 626B05A28D444261 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:42:49] 873*2^1431976-1 is not prime. Res64: C24F96D4027A9B64 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:42:49] 983*2^1431976-1 is not prime. Res64: 3D24D37B53559F50 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:42:50] 669*2^1431977-1 is not prime. Res64: 363C40552832A927 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:57:58] 685*2^1431977-1 is not prime. Res64: 59627FDEE6EB6A9C Time : 0.0 sec. user=mdettweiler [2016-06-10 13:57:58] 727*2^1431977-1 is not prime. Res64: 08ECB892B0A6B7C6 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:57:58] 729*2^1431977-1 is not prime. Res64: 0211C1235847D3D7 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:57:59] 741*2^1431977-1 is not prime. Res64: 202266578AE9DFE9 Time : 0.0 sec. user=mdettweiler [2016-06-10 13:57:59] 805*2^1431977-1 is not prime. Res64: 1D87C934FC8D08BD Time : 0.0 sec. user=mdettweiler [2016-06-10 14:20:45] 611*2^1431978-1 is not prime. Res64: C0D2D38F701D0B3D Time : 0.0 sec. user=mdettweiler [2016-06-10 14:20:46] 765*2^1431978-1 is not prime. Res64: 10C50D453FE6EE04 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:20:46] 887*2^1431978-1 is not prime. Res64: 983035E3DAA1821E Time : 0.0 sec. user=mdettweiler [2016-06-10 14:20:47] 933*2^1431978-1 is not prime. Res64: 42088A7D54995171 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:20:47] 951*2^1431978-1 is not prime. Res64: 4D4D441AB05CFF91 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:22:33] 1001*2^1431978-1 is not prime. Res64: 7FBD0E47C0573832 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:22:34] 679*2^1431979-1 is not prime. Res64: FE1BEA5356575C95 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:22:34] 745*2^1431979-1 is not prime. Res64: F3953E5C94B47818 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:22:34] 751*2^1431979-1 is not prime. Res64: 4B9D225A4DBB9248 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:22:35] 771*2^1431979-1 is not prime. Res64: 09A96BAEF91FFD3D Time : 0.0 sec. user=mdettweiler [2016-06-10 14:28:11] 859*2^1431979-1 is not prime. Res64: A848DD5F92E66B96 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:28:11] 885*2^1431979-1 is not prime. Res64: 79A0EC9931148283 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:28:12] 909*2^1431979-1 is not prime. Res64: A9C8EB0A97684EDA Time : 0.0 sec. user=mdettweiler [2016-06-10 14:28:12] 975*2^1431979-1 is not prime. Res64: 5259FDCD898AE307 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:28:13] 633*2^1431980-1 is not prime. Res64: 63E10377747D951E Time : 0.0 sec. user=mdettweiler [2016-06-10 14:43:14] 677*2^1431980-1 is not prime. Res64: DBF885A183061C27 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:43:14] 773*2^1431980-1 is not prime. Res64: 222094FFD9B17E02 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:43:14] 785*2^1431980-1 is not prime. Res64: D81A39D08378A026 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:43:15] 879*2^1431980-1 is not prime. Res64: 0219CE277FD9D590 Time : 0.0 sec. user=mdettweiler [2016-06-10 14:43:15] 899*2^1431980-1 is not prime. Res64: 62096564F330A2A3 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:06:10] 983*2^1431980-1 is not prime. Res64: 32D6CD42F7274197 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:06:12] 621*2^1431981-1 is not prime. Res64: 2DE15EFAB705921A Time : 0.0 sec. user=mdettweiler [2016-06-10 15:06:13] 669*2^1431981-1 is not prime. Res64: 0D804504E75339DC Time : 0.0 sec. user=mdettweiler [2016-06-10 15:06:14] 717*2^1431981-1 is not prime. Res64: 567C6C557EBE3FA2 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:06:15] 795*2^1431981-1 is not prime. Res64: B96B354B927A4CCB Time : 0.0 sec. user=mdettweiler [2016-06-10 15:07:46] 819*2^1431981-1 is not prime. Res64: 29CAB44B6A4D28EB Time : 0.0 sec. user=mdettweiler [2016-06-10 15:07:47] 907*2^1431981-1 is not prime. Res64: C7BF5B8074FEC450 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:07:47] 927*2^1431981-1 is not prime. Res64: 578719B736D61353 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:07:48] 979*2^1431981-1 is not prime. Res64: 8431CC16E6AEA325 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:07:49] 991*2^1431981-1 is not prime. Res64: 438BBFEC933C8ADA Time : 0.0 sec. user=mdettweiler [2016-06-10 15:13:19] 999*2^1431981-1 is not prime. Res64: 1FEB7E50E9FAC378 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:13:19] 653*2^1431982-1 is not prime. Res64: 4585CCD65AEAECAB Time : 0.0 sec. user=mdettweiler [2016-06-10 15:13:20] 657*2^1431982-1 is not prime. Res64: 2E1A62148F6C5BA0 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:13:20] 755*2^1431982-1 is not prime. Res64: 0E9D7EA601F4C3E8 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:13:20] 821*2^1431982-1 is not prime. Res64: 948F13D0167C616B Time : 0.0 sec. user=mdettweiler [2016-06-10 15:28:33] 885*2^1431982-1 is not prime. Res64: A4A987A8F418BAB0 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:28:33] 911*2^1431982-1 is not prime. Res64: B8AF669C4A9620B8 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:28:34] 947*2^1431982-1 is not prime. Res64: 4127484D299DE087 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:28:34] 951*2^1431982-1 is not prime. Res64: 1A38E53960355D70 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:28:34] 975*2^1431982-1 is not prime. Res64: 8276409275F75DA5 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:51:37] 1001*2^1431982-1 is not prime. Res64: 45C6C9213DA3FB48 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:51:37] 661*2^1431983-1 is not prime. Res64: 2F84140A9BC2BC05 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:51:38] 721*2^1431983-1 is not prime. Res64: 615F6F89E05640D9 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:51:38] 729*2^1431983-1 is not prime. Res64: EDDF285DEDEE353E Time : 0.0 sec. user=mdettweiler [2016-06-10 15:51:38] 823*2^1431983-1 is not prime. Res64: 2B30E7A1702E4F62 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:53:01] 861*2^1431983-1 is not prime. Res64: 6155D0FF97A77613 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:53:01] 921*2^1431983-1 is not prime. Res64: 5B3A7E333A528ADE Time : 0.0 sec. user=mdettweiler [2016-06-10 15:53:02] 939*2^1431983-1 is not prime. Res64: F7F20BAF2D0F52B9 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:53:02] 707*2^1431984-1 is not prime. Res64: DD98FB77847FBAE3 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:53:02] 759*2^1431984-1 is not prime. Res64: 53B0AE4DEAB37AEE Time : 0.0 sec. user=mdettweiler [2016-06-10 15:58:21] 825*2^1431984-1 is not prime. Res64: 3A75DCD5F14FBC25 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:58:22] 863*2^1431984-1 is not prime. Res64: 77C68200BF91DC48 Time : 0.0 sec. user=mdettweiler [2016-06-10 15:58:22] 923*2^1431984-1 is not prime. Res64: C005573569D00DEF Time : 0.0 sec. user=mdettweiler [2016-06-10 15:58:23] 947*2^1431984-1 is not prime. Res64: 16699BEF9FA77A9B Time : 0.0 sec. user=mdettweiler [2016-06-10 15:58:23] 601*2^1431985-1 is not prime. Res64: 641342EEF112008A Time : 0.0 sec. user=mdettweiler [2016-06-10 16:13:55] 679*2^1431985-1 is not prime. Res64: 4AA8904D10D0F047 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:13:56] 727*2^1431985-1 is not prime. Res64: 0D4759348D7B4698 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:13:56] 741*2^1431985-1 is not prime. Res64: 69EC1F534DD0F28E Time : 0.0 sec. user=mdettweiler [2016-06-10 16:13:57] 861*2^1431985-1 is not prime. Res64: 7A21A6A58B1EDE09 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:13:57] 979*2^1431985-1 is not prime. Res64: 28B94E4BF92029C4 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:36:51] 683*2^1431986-1 is not prime. Res64: 3B0BFC8D6FB3BBE0 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:36:52] 785*2^1431986-1 is not prime. Res64: 8ECB7849B92C1A2D Time : 0.0 sec. user=mdettweiler [2016-06-10 16:36:52] 843*2^1431986-1 is not prime. Res64: 07F3A4120321FBEF Time : 0.0 sec. user=mdettweiler [2016-06-10 16:36:52] 851*2^1431986-1 is not prime. Res64: 983A09838516F991 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:36:53] 709*2^1431987-1 is not prime. Res64: 2FCC6096C815F47C Time : 0.0 sec. user=mdettweiler [2016-06-10 16:38:14] 741*2^1431987-1 is not prime. Res64: 2189B68584B7EB79 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:38:14] 871*2^1431987-1 is not prime. Res64: 94DC15BEA113763A Time : 0.0 sec. user=mdettweiler [2016-06-10 16:38:14] 885*2^1431987-1 is not prime. Res64: 8A068E5D67B50C9E Time : 0.0 sec. user=mdettweiler [2016-06-10 16:38:15] 963*2^1431987-1 is not prime. Res64: 2959546420B892F3 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:38:15] 603*2^1431988-1 is not prime. Res64: E9C19D2706C3356F Time : 0.0 sec. user=mdettweiler [2016-06-10 16:43:33] 623*2^1431988-1 is not prime. Res64: F98424E5DE62F97C Time : 0.0 sec. user=mdettweiler [2016-06-10 16:43:33] 677*2^1431988-1 is not prime. Res64: B66F7BF47B7F3EE2 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:43:33] 695*2^1431988-1 is not prime. Res64: 870571EBFCB5FB33 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:43:34] 777*2^1431988-1 is not prime. Res64: FD504D7B93753FB4 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:43:34] 863*2^1431988-1 is not prime. Res64: 88D0846D182248D3 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:59:20] 885*2^1431988-1 is not prime. Res64: 3EE690B51A9E173B Time : 0.0 sec. user=mdettweiler [2016-06-10 16:59:20] 915*2^1431988-1 is not prime. Res64: 9D4D0C61302E309F Time : 0.0 sec. user=mdettweiler [2016-06-10 16:59:21] 929*2^1431988-1 is not prime. Res64: 3575E4A0C6AC5120 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:59:21] 933*2^1431988-1 is not prime. Res64: 6F9E581058C22318 Time : 0.0 sec. user=mdettweiler [2016-06-10 16:59:21] 957*2^1431988-1 is not prime. Res64: CD17F1DC5208540A Time : 0.0 sec. user=mdettweiler [2016-06-10 17:22:03] 959*2^1431988-1 is not prime. Res64: 0C8D3D7FAC22EFF2 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:22:04] 989*2^1431988-1 is not prime. Res64: 42A9E301F44F0E85 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:22:04] 999*2^1431988-1 is not prime. Res64: 49592AE798DF547A Time : 0.0 sec. user=mdettweiler [2016-06-10 17:22:04] 631*2^1431989-1 is not prime. Res64: DAD39292452A1C5E Time : 0.0 sec. user=mdettweiler [2016-06-10 17:22:05] 649*2^1431989-1 is not prime. Res64: 1B8FEE7CEDD639C4 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:23:21] 655*2^1431989-1 is not prime. Res64: 777C202CA7FC4482 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:23:22] 787*2^1431989-1 is not prime. Res64: BB8462A279D99279 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:23:22] 865*2^1431989-1 is not prime. Res64: A80EB3E04B59885C Time : 0.0 sec. user=mdettweiler [2016-06-10 17:23:23] 931*2^1431989-1 is not prime. Res64: C820EBB8095B75A5 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:23:23] 611*2^1431990-1 is not prime. Res64: 3D4220917FCB0E51 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:29:00] 627*2^1431990-1 is not prime. Res64: 74C2E88AAFB39825 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:29:01] 635*2^1431990-1 is not prime. Res64: 852929A9498BEFFC Time : 0.0 sec. user=mdettweiler [2016-06-10 17:29:01] 713*2^1431990-1 is not prime. Res64: 9CF4E59272B74EC9 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:29:02] 777*2^1431990-1 is not prime. Res64: 12E20F1AF175D04C Time : 0.0 sec. user=mdettweiler [2016-06-10 17:29:02] 821*2^1431990-1 is not prime. Res64: 8F953365CFA09EBE Time : 0.0 sec. user=mdettweiler [2016-06-10 17:44:42] 965*2^1431990-1 is not prime. Res64: 9BC2CB18878DC708 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:44:42] 859*2^1431991-1 is not prime. Res64: 39E87AD5DA7BDD45 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:44:42] 861*2^1431991-1 is not prime. Res64: 728112D147CDDFC4 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:44:43] 961*2^1431991-1 is not prime. Res64: 0743A06512403DA0 Time : 0.0 sec. user=mdettweiler [2016-06-10 17:44:43] 969*2^1431991-1 is not prime. Res64: 0DFBB161B67F399F Time : 0.0 sec. user=mdettweiler [2016-06-10 18:07:43] 975*2^1431991-1 is not prime. Res64: A4DC5F56B4B3F7C9 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:07:44] 605*2^1431992-1 is not prime. Res64: 04633B30A9B8CA20 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:07:44] 635*2^1431992-1 is not prime. Res64: FDAD1650C8D98523 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:07:45] 665*2^1431992-1 is not prime. Res64: 7ECCC32DF70F64D4 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:07:45] 753*2^1431992-1 is not prime. Res64: D74B85E3310D217D Time : 0.0 sec. user=mdettweiler [2016-06-10 18:08:57] 755*2^1431992-1 is not prime. Res64: 178E4BAAB4A25F26 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:08:57] 825*2^1431992-1 is not prime. Res64: 5BCBD00F66BB608C Time : 0.0 sec. user=mdettweiler [2016-06-10 18:08:58] 833*2^1431992-1 is not prime. Res64: 099B5C4CA315DF7C Time : 0.0 sec. user=mdettweiler [2016-06-10 18:08:58] 867*2^1431992-1 is not prime. Res64: 8481FBBD6B7C7E2D Time : 0.0 sec. user=mdettweiler [2016-06-10 18:08:58] 999*2^1431992-1 is not prime. Res64: 9872FEBE368F3A05 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:14:27] 637*2^1431993-1 is not prime. Res64: D45137A72F552A41 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:14:28] 649*2^1431993-1 is not prime. Res64: 94D7E3630F517456 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:14:28] 657*2^1431993-1 is not prime. Res64: 4D3AB36891A41FF6 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:14:29] 691*2^1431993-1 is not prime. Res64: EBB34D83B2585FAC Time : 0.0 sec. user=mdettweiler [2016-06-10 18:14:29] 759*2^1431993-1 is not prime. Res64: 0EE7C28526036812 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:30:08] 807*2^1431993-1 is not prime. Res64: 283E43AB74DA63A5 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:30:09] 895*2^1431993-1 is not prime. Res64: 557A61CAB9569BC9 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:30:09] 937*2^1431993-1 is not prime. Res64: 9B6B95053F450E0E Time : 0.0 sec. user=mdettweiler [2016-06-10 18:30:09] 987*2^1431993-1 is not prime. Res64: 468361FCB84EC08E Time : 0.0 sec. user=mdettweiler [2016-06-10 18:30:10] 991*2^1431993-1 is not prime. Res64: 810EF9319C0C37CD Time : 0.0 sec. user=mdettweiler [2016-06-10 18:52:50] 999*2^1431993-1 is not prime. Res64: 5892D92C34E5E57C Time : 0.0 sec. user=mdettweiler [2016-06-10 18:52:50] 621*2^1431994-1 is not prime. Res64: D52E8906F3EDFB39 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:52:51] 657*2^1431994-1 is not prime. Res64: 945D1C0BA3817C27 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:52:51] 663*2^1431994-1 is not prime. Res64: EC531B938E39261F Time : 0.0 sec. user=mdettweiler [2016-06-10 18:52:52] 681*2^1431994-1 is not prime. Res64: D38B8141CE42AA1E Time : 0.0 sec. user=mdettweiler [2016-06-10 18:54:14] 707*2^1431994-1 is not prime. Res64: 902DEA5BCE43B292 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:54:15] 737*2^1431994-1 is not prime. Res64: 593FB803E1C76C1C Time : 0.0 sec. user=mdettweiler [2016-06-10 18:54:15] 755*2^1431994-1 is not prime. Res64: 7261DBE83C318B52 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:54:15] 791*2^1431994-1 is not prime. Res64: 3E9171093EC21E6D Time : 0.0 sec. user=mdettweiler [2016-06-10 18:54:16] 887*2^1431994-1 is not prime. Res64: 612CD4C19D8A1FEE Time : 0.0 sec. user=mdettweiler [2016-06-10 18:59:52] 987*2^1431994-1 is not prime. Res64: AF9FE19B555551B4 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:59:52] 645*2^1431995-1 is not prime. Res64: 6247BF343F4CE293 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:59:53] 733*2^1431995-1 is not prime. Res64: DD0EA5D4C15EE941 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:59:53] 771*2^1431995-1 is not prime. Res64: C2C6072A2CB3DDF7 Time : 0.0 sec. user=mdettweiler [2016-06-10 18:59:53] 789*2^1431995-1 is not prime. Res64: 2A60B1CB79CA9F93 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:15:31] 883*2^1431995-1 is not prime. Res64: 5071F1130A3AD2C6 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:15:32] 895*2^1431995-1 is not prime. Res64: F7A7647EC63CA279 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:15:32] 969*2^1431995-1 is not prime. Res64: D481B638804F0F36 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:15:32] 653*2^1431996-1 is not prime. Res64: 483AC888F4020BA7 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:15:33] 707*2^1431996-1 is not prime. Res64: 327F60F85EA83EE5 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:37:56] 615*2^1431997-1 is not prime. Res64: 5C6E78C28FFDAE31 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:37:56] 741*2^1431997-1 is not prime. Res64: 840BA2DF80B1F740 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:37:56] 801*2^1431997-1 is not prime. Res64: 08BE9525F87C08B6 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:37:56] 831*2^1431997-1 is not prime. Res64: F4D8D13BF0B4FC7A Time : 0.0 sec. user=mdettweiler [2016-06-10 19:37:57] 895*2^1431997-1 is not prime. Res64: C7AAE93436E68B9B Time : 0.0 sec. user=mdettweiler [2016-06-10 19:39:27] 937*2^1431997-1 is not prime. Res64: 28529A88DC9BF237 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:39:27] 687*2^1431998-1 is not prime. Res64: EC4C581F33DE54EB Time : 0.0 sec. user=mdettweiler [2016-06-10 19:39:27] 747*2^1431998-1 is not prime. Res64: 04DBEA08A8F3AC76 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:39:27] 773*2^1431998-1 is not prime. Res64: DD80B884419AA7D5 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:39:28] 893*2^1431998-1 is not prime. Res64: 14D6B64737F440C9 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:45:01] 927*2^1431998-1 is not prime. Res64: 3458266FD71625CD Time : 0.0 sec. user=mdettweiler [2016-06-10 19:45:01] 945*2^1431998-1 is not prime. Res64: D51024C69B1B5696 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:45:02] 769*2^1431999-1 is not prime. Res64: 9D85C2C0A118701D Time : 0.0 sec. user=mdettweiler [2016-06-10 19:45:02] 789*2^1431999-1 is not prime. Res64: CDCBAD4B43F300A5 Time : 0.0 sec. user=mdettweiler [2016-06-10 19:45:02] 793*2^1431999-1 is not prime. Res64: 5999AEC7606221DD Time : 0.0 sec. user=mdettweiler [2016-06-10 20:00:46] 843*2^1431999-1 is not prime. Res64: 8BD11198D2E52BC2 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:00:47] 861*2^1431999-1 is not prime. Res64: 130D81CFF2F28498 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:00:47] 891*2^1431999-1 is not prime. Res64: 76B815121B7B3422 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:00:47] 605*2^1432000-1 is not prime. Res64: D085F3FD01FA7411 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:00:48] 645*2^1432000-1 is not prime. Res64: 939926222F59B6ED Time : 0.0 sec. user=mdettweiler [2016-06-10 20:23:13] 699*2^1432000-1 is not prime. Res64: DBF994C7FCE19551 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:23:13] 707*2^1432000-1 is not prime. Res64: 2A96F616EB79649C Time : 0.0 sec. user=mdettweiler [2016-06-10 20:23:13] 759*2^1432000-1 is not prime. Res64: 6DA2844CA6E5FA6D Time : 0.0 sec. user=mdettweiler [2016-06-10 20:23:14] 777*2^1432000-1 is not prime. Res64: C77AC8585E421FCC Time : 0.0 sec. user=mdettweiler [2016-06-10 20:23:14] 887*2^1432000-1 is not prime. Res64: 4252A5CAB017A27E Time : 0.0 sec. user=mdettweiler [2016-06-10 20:24:31] 957*2^1432000-1 is not prime. Res64: 276B16B8B952472C Time : 0.0 sec. user=mdettweiler [2016-06-10 20:24:31] 601*2^1432001-1 is not prime. Res64: 7616D4B034BE7DE5 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:24:32] 637*2^1432001-1 is not prime. Res64: 1D552435F4C485BF Time : 0.0 sec. user=mdettweiler [2016-06-10 20:24:32] 649*2^1432001-1 is not prime. Res64: 5C4B8E5DD4C858FF Time : 0.0 sec. user=mdettweiler [2016-06-10 20:24:32] 769*2^1432001-1 is not prime. Res64: 9DDEFEAAF9AFC4B3 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:30:13] 795*2^1432001-1 is not prime. Res64: F7D778CFBBEEA29D Time : 0.0 sec. user=mdettweiler [2016-06-10 20:30:14] 837*2^1432001-1 is not prime. Res64: BBC9998C6F654DCE Time : 0.0 sec. user=mdettweiler [2016-06-10 20:30:15] 865*2^1432001-1 is not prime. Res64: 2CADE8EDDB6A83F0 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:30:17] 867*2^1432001-1 is not prime. Res64: 8C266307FA10B2AA Time : 0.0 sec. user=mdettweiler [2016-06-10 20:30:18] 967*2^1432001-1 is not prime. Res64: A6DCB6DEE36B7885 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:46:05] 651*2^1432002-1 is not prime. Res64: 360BB75DC68D7DED Time : 0.0 sec. user=mdettweiler [2016-06-10 20:46:05] 705*2^1432002-1 is not prime. Res64: F8D560649BC5B6A4 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:46:05] 723*2^1432002-1 is not prime. Res64: 564FF73B8FDE5B3C Time : 0.0 sec. user=mdettweiler [2016-06-10 20:46:05] 619*2^1432003-1 is not prime. Res64: E5A5A1A64FBF2298 Time : 0.0 sec. user=mdettweiler [2016-06-10 20:46:06] 631*2^1432003-1 is not prime. Res64: 8B9CCF3FA460A2FF Time : 0.0 sec. user=mdettweiler [2016-06-10 21:08:24] 703*2^1432003-1 is not prime. Res64: 02258EDF9A5B44F8 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:08:25] 765*2^1432003-1 is not prime. Res64: 80534DAA799343D3 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:08:25] 889*2^1432003-1 is not prime. Res64: 640EDAB2FFFD4649 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:08:26] 961*2^1432003-1 is not prime. Res64: F26143074E9D8493 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:08:27] 999*2^1432003-1 is not prime. Res64: 9087D159A0F01DD3 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:09:38] 725*2^1432004-1 is not prime. Res64: E7AEBF49D278D6AF Time : 0.0 sec. user=mdettweiler [2016-06-10 21:09:38] 785*2^1432004-1 is not prime. Res64: 4F3A0198207D871E Time : 0.0 sec. user=mdettweiler [2016-06-10 21:09:39] 897*2^1432004-1 is not prime. Res64: 4E51F1C1D99AB573 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:09:40] 899*2^1432004-1 is not prime. Res64: 1197B33749D9C0E2 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:09:41] 915*2^1432004-1 is not prime. Res64: A96385678088B1BC Time : 0.0 sec. user=mdettweiler [2016-06-10 21:15:26] 969*2^1432004-1 is not prime. Res64: D54CED6583F8DFCE Time : 0.0 sec. user=mdettweiler [2016-06-10 21:15:26] 993*2^1432004-1 is not prime. Res64: B5FE2871FCD7BF43 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:15:27] 625*2^1432005-1 is not prime. Res64: 7F00C2645E563029 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:15:27] 805*2^1432005-1 is not prime. Res64: 05EFE62E1D5E2093 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:15:27] 817*2^1432005-1 is not prime. Res64: 9B7281E86D0A5653 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:31:20] 871*2^1432005-1 is not prime. Res64: D364B02B6082E63D Time : 0.0 sec. user=mdettweiler [2016-06-10 21:31:21] 919*2^1432005-1 is not prime. Res64: 19BC005B6252C345 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:31:21] 955*2^1432005-1 is not prime. Res64: 26D5B4E462ABFBB0 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:31:22] 603*2^1432006-1 is not prime. Res64: 4DD869AFC4356FBB Time : 0.0 sec. user=mdettweiler [2016-06-10 21:31:22] 623*2^1432006-1 is not prime. Res64: A8DB2243E387CDF9 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:53:28] 695*2^1432006-1 is not prime. Res64: 5D359102CA5AE22D Time : 0.0 sec. user=mdettweiler [2016-06-10 21:53:32] 705*2^1432006-1 is not prime. Res64: 74A54C9E2959E4B2 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:53:33] 801*2^1432006-1 is not prime. Res64: E7F8BA3171AEE385 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:53:33] 975*2^1432006-1 is not prime. Res64: CAD5E67598B3C4D0 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:53:34] 1001*2^1432006-1 is not prime. Res64: 014BDA4EDF05E5B2 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:54:43] 643*2^1432007-1 is not prime. Res64: 48D48F203E0EA31D Time : 0.0 sec. user=mdettweiler [2016-06-10 21:54:43] 655*2^1432007-1 is not prime. Res64: FB1D7CD4DBF2E823 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:54:43] 741*2^1432007-1 is not prime. Res64: B5F59CB6C23CFD09 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:54:44] 759*2^1432007-1 is not prime. Res64: 36D3FAD530961964 Time : 0.0 sec. user=mdettweiler [2016-06-10 21:54:44] 825*2^1432007-1 is not prime. Res64: EDC45379A2175A7A Time : 0.0 sec. user=mdettweiler [2016-06-10 22:00:30] 859*2^1432007-1 is not prime. Res64: 21D65156BB068B2E Time : 0.0 sec. user=mdettweiler [2016-06-10 22:00:31] 883*2^1432007-1 is not prime. Res64: 141B84F5C115A747 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:00:32] 885*2^1432007-1 is not prime. Res64: DE2F87794DE157A6 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:00:33] 963*2^1432007-1 is not prime. Res64: 4FC0B9D1C6F26895 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:00:33] 605*2^1432008-1 is not prime. Res64: AE6ED8B08FBC8C3D Time : 0.0 sec. user=mdettweiler [2016-06-10 22:16:35] 635*2^1432008-1 is not prime. Res64: 391DCBA9670A3FA0 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:16:36] 689*2^1432008-1 is not prime. Res64: 1F82445AD9AABAFB Time : 0.0 sec. user=mdettweiler [2016-06-10 22:16:36] 735*2^1432008-1 is not prime. Res64: DE3C046EAFA4AAF9 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:16:36] 843*2^1432008-1 is not prime. Res64: 687A792E801273E1 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:16:37] 993*2^1432008-1 is not prime. Res64: 30BF93BAEC3E1F6F Time : 0.0 sec. user=mdettweiler [2016-06-10 22:39:05] 747*2^1432009-1 is not prime. Res64: 6919C80FACFBA329 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:39:05] 765*2^1432009-1 is not prime. Res64: CDD299978059891E Time : 0.0 sec. user=mdettweiler [2016-06-10 22:39:05] 769*2^1432009-1 is not prime. Res64: 5DE192C6103CC12F Time : 0.0 sec. user=mdettweiler [2016-06-10 22:39:06] 771*2^1432009-1 is not prime. Res64: FC72C0D22B53D147 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:39:06] 951*2^1432009-1 is not prime. Res64: FF710798AD3FD2D1 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:39:59] 955*2^1432009-1 is not prime. Res64: B738B984B9A46871 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:40:00] 987*2^1432009-1 is not prime. Res64: 66758C8F1189BF93 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:40:00] 645*2^1432010-1 is not prime. Res64: AD48FE4D61D25236 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:40:01] 677*2^1432010-1 is not prime. Res64: A41ED3555FE2DF01 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:40:01] 741*2^1432010-1 is not prime. Res64: F1418B2943C3F7B7 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:46:07] 743*2^1432010-1 is not prime. Res64: 059EE50CD75E783E Time : 0.0 sec. user=mdettweiler [2016-06-10 22:46:08] 755*2^1432010-1 is not prime. Res64: 882378163B793AFE Time : 0.0 sec. user=mdettweiler [2016-06-10 22:46:08] 797*2^1432010-1 is not prime. Res64: 40A391D62F3DCC51 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:46:08] 833*2^1432010-1 is not prime. Res64: D006935C704E0B48 Time : 0.0 sec. user=mdettweiler [2016-06-10 22:46:09] 851*2^1432010-1 is not prime. Res64: F2E9AB612FC6A720 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:01:53] 927*2^1432010-1 is not prime. Res64: 3DEA993223A619E9 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:01:55] 703*2^1432011-1 is not prime. Res64: EC3B459CC7CF0391 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:01:57] 879*2^1432011-1 is not prime. Res64: A928AF7172EC3B85 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:01:59] 931*2^1432011-1 is not prime. Res64: 075BF8D9B4E2C541 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:02:01] 657*2^1432012-1 is not prime. Res64: 5928D6521973850D Time : 0.0 sec. user=mdettweiler [2016-06-10 23:24:11] 693*2^1432012-1 is not prime. Res64: 7188E9F9FEEA65E9 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:24:12] 735*2^1432012-1 is not prime. Res64: E871FFBFB34167C6 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:24:12] 755*2^1432012-1 is not prime. Res64: 2D4B0DB7F79FA493 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:24:12] 873*2^1432012-1 is not prime. Res64: 09CF778C218B1359 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:24:13] 897*2^1432012-1 is not prime. Res64: 59DB4DEF887AB970 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:25:05] 903*2^1432012-1 is not prime. Res64: 17B1D85C744A9A23 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:25:05] 915*2^1432012-1 is not prime. Res64: BA61505ACE0ED3D2 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:25:05] 999*2^1432012-1 is not prime. Res64: 07070CB82721018B Time : 0.0 sec. user=mdettweiler [2016-06-10 23:25:06] 607*2^1432013-1 is not prime. Res64: F55BF25D81F73CE2 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:25:06] 627*2^1432013-1 is not prime. Res64: 30772B27D57A1094 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:31:10] 631*2^1432013-1 is not prime. Res64: 11A50C19946DE727 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:31:10] 657*2^1432013-1 is not prime. Res64: 5F273A7B0D0C984A Time : 0.0 sec. user=mdettweiler [2016-06-10 23:31:10] 771*2^1432013-1 is not prime. Res64: FEB5A3FC6A5A7717 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:31:11] 781*2^1432013-1 is not prime. Res64: AFDA55992180B596 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:31:11] 795*2^1432013-1 is not prime. Res64: 483B3E66C786C519 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:47:29] 847*2^1432013-1 is not prime. Res64: A3589EBC819D14B6 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:47:29] 885*2^1432013-1 is not prime. Res64: 9109D1951817CBAD Time : 0.0 sec. user=mdettweiler [2016-06-10 23:47:30] 939*2^1432013-1 is not prime. Res64: 66A0A24E6379C181 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:47:30] 683*2^1432014-1 is not prime. Res64: D8F5855AD2E87360 Time : 0.0 sec. user=mdettweiler [2016-06-10 23:47:31] 707*2^1432014-1 is not prime. Res64: 4B8B76A8CEBC5646 Time : 0.0 sec.