user=mdettweiler [2016-02-12 00:02:35] 681*2^1421941-1 is not prime. Res64: 9827E0EE91131268 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:02:36] 747*2^1421941-1 is not prime. Res64: 6D834A74BCD52EAC Time : 0.0 sec. user=mdettweiler [2016-02-12 00:02:36] 789*2^1421941-1 is not prime. Res64: B64ECFBE19A07FE1 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:02:37] 895*2^1421941-1 is not prime. Res64: 117E33EC3B1A2E7D Time : 0.0 sec. user=mdettweiler [2016-02-12 00:02:38] 797*2^1421942-1 is not prime. Res64: 9731E164F6D740CF Time : 0.0 sec. user=mdettweiler [2016-02-12 00:02:39] 813*2^1421942-1 is not prime. Res64: 2EEBDFA4F6429A19 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:20:17] 1001*2^1421942-1 is not prime. Res64: 18AECC8C3FA5A79B Time : 0.0 sec. user=mdettweiler [2016-02-12 00:20:17] 735*2^1421943-1 is not prime. Res64: AD6B0A3BEBBFF949 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:20:18] 933*2^1421943-1 is not prime. Res64: 0E37932A6CF7B86C Time : 0.0 sec. user=mdettweiler [2016-02-12 00:20:18] 955*2^1421943-1 is not prime. Res64: AE9BE0038CBA788D Time : 0.0 sec. user=mdettweiler [2016-02-12 00:20:20] 741*2^1421943-1 is not prime. Res64: 1587224ADDFD373D Time : 0.0 sec. user=mdettweiler [2016-02-12 00:20:21] 793*2^1421943-1 is not prime. Res64: 0648B9972CEB2331 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:37:57] 645*2^1421944-1 is not prime. Res64: CA38C8131CD0B90A Time : 0.0 sec. user=mdettweiler [2016-02-12 00:37:57] 609*2^1421944-1 is not prime. Res64: 7173D50A13E4302B Time : 0.0 sec. user=mdettweiler [2016-02-12 00:37:57] 695*2^1421944-1 is not prime. Res64: 6FC2EF81218FD55F Time : 0.0 sec. user=mdettweiler [2016-02-12 00:37:57] 629*2^1421944-1 is not prime. Res64: 29FC80E9BAB17089 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:37:58] 849*2^1421944-1 is not prime. Res64: 2AAEE8E4FC095A74 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:37:58] 729*2^1421945-1 is not prime. Res64: A991328AF53F1BC2 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:55:35] 957*2^1421945-1 is not prime. Res64: 944EAAEC8C90FB1A Time : 0.0 sec. user=mdettweiler [2016-02-12 00:55:35] 915*2^1421945-1 is not prime. Res64: 51EA6AABC89F09AB Time : 0.0 sec. user=mdettweiler [2016-02-12 00:55:35] 633*2^1421946-1 is not prime. Res64: C98DC84BF0F1CCE1 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:55:35] 955*2^1421945-1 is not prime. Res64: 04C6EC132C76E3E5 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:55:36] 755*2^1421946-1 is not prime. Res64: 6891CC428D1321C5 Time : 0.0 sec. user=mdettweiler [2016-02-12 00:55:37] 825*2^1421946-1 is not prime. Res64: EDC30A31960CB59C Time : 0.0 sec. user=mdettweiler [2016-02-12 01:13:12] 891*2^1421946-1 is not prime. Res64: 43C13AF2C1B5C999 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:13:13] 903*2^1421946-1 is not prime. Res64: EA7C9B8444FC7DCC Time : 0.0 sec. user=mdettweiler [2016-02-12 01:13:13] 917*2^1421946-1 is not prime. Res64: B7CB82710FFAD024 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:13:13] 923*2^1421946-1 is not prime. Res64: C6B465D2859E8F38 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:13:14] 921*2^1421946-1 is not prime. Res64: 251FDF0E6BFDD9D9 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:13:14] 971*2^1421946-1 is not prime. Res64: 9AFA494AF5E83518 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:30:54] 775*2^1421947-1 is not prime. Res64: E011177D468BEE39 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:30:55] 703*2^1421947-1 is not prime. Res64: BF2E8807C4EC0AD0 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:30:55] 835*2^1421947-1 is not prime. Res64: CF262311EAE537C3 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:30:56] 975*2^1421946-1 is not prime. Res64: 9529C1CCCE2A497B Time : 0.0 sec. user=mdettweiler [2016-02-12 01:30:58] 633*2^1421947-1 is not prime. Res64: 8A68A4474AD85B00 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:30:59] 735*2^1421947-1 is not prime. Res64: 967E170949C839AF Time : 0.0 sec. user=mdettweiler [2016-02-12 01:48:57] 629*2^1421948-1 is not prime. Res64: F8E6231B20A7D394 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:48:57] 647*2^1421948-1 is not prime. Res64: 9B0AE4036A96D0F2 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:48:58] 677*2^1421948-1 is not prime. Res64: 28760867B12BAFDD Time : 0.0 sec. user=mdettweiler [2016-02-12 01:48:58] 725*2^1421948-1 is not prime. Res64: DC7AE2CDF338C987 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:49:01] 841*2^1421947-1 is not prime. Res64: E49AE2421C5CC984 Time : 0.0 sec. user=mdettweiler [2016-02-12 01:49:01] 975*2^1421947-1 is not prime. Res64: 9D75F4EF3FBBD13A Time : 0.0 sec. user=mdettweiler [2016-02-12 02:06:39] 743*2^1421948-1 is not prime. Res64: 186F4B3ED88C0AB0 Time : 0.0 sec. user=mdettweiler [2016-02-12 02:06:39] 869*2^1421948-1 is not prime. Res64: 2DBE5C2ED9F0D3F5 Time : 0.0 sec. user=mdettweiler [2016-02-12 02:06:42] 777*2^1421948-1 is not prime. Res64: 538820E54630FC79 Time : 0.0 sec. user=mdettweiler [2016-02-12 02:06:42] 959*2^1421948-1 is not prime. Res64: AA4616EE933FBD3A Time : 0.0 sec. user=mdettweiler [2016-02-12 02:06:43] 661*2^1421949-1 is not prime. Res64: 4678FF675845CC5D Time : 0.0 sec. user=mdettweiler [2016-02-12 02:06:44] 691*2^1421949-1 is not prime. Res64: 0FA6ECB400D6BE08 Time : 0.0 sec. user=mdettweiler [2016-02-12 02:25:03] 727*2^1421949-1 is not prime. Res64: 86E8B764C700D027 Time : 0.0 sec. user=mdettweiler [2016-02-12 02:25:04] 741*2^1421949-1 is not prime. Res64: 2FAC47043580900D Time : 0.0 sec. user=mdettweiler [2016-02-12 02:25:05] 969*2^1421949-1 is not prime. Res64: 2E81938FB4FBEEE5 Time : 0.0 sec. user=mdettweiler [2016-02-12 02:25:05] 889*2^1421949-1 is not prime. Res64: 44BF075A53C5831A Time : 0.0 sec. user=mdettweiler [2016-02-12 02:25:06] 979*2^1421949-1 is not prime. Res64: 398A599AF49215FA Time : 0.0 sec. user=mdettweiler [2016-02-12 02:25:06] 927*2^1421949-1 is not prime. Res64: DB52EE62C964760E Time : 0.0 sec. user=mdettweiler [2016-02-12 02:42:47] 687*2^1421950-1 is not prime. Res64: 79DF022542E0077D Time : 0.0 sec. user=mdettweiler [2016-02-12 02:42:47] 675*2^1421950-1 is not prime. Res64: C1A36A888F65D871 Time : 0.0 sec. user=mdettweiler [2016-02-12 02:42:47] 825*2^1421950-1 is not prime. Res64: 17F7598A24E78222 Time : 0.0 sec. user=mdettweiler [2016-02-12 02:42:47] 731*2^1421950-1 is not prime. Res64: D7CF413806CB023B Time : 0.0 sec. user=mdettweiler [2016-02-12 02:42:53] 843*2^1421950-1 is not prime. Res64: C18E24C6E8793A45 Time : 0.0 sec. user=mdettweiler [2016-02-12 02:42:54] 923*2^1421950-1 is not prime. Res64: 4C5454EB9CEA3722 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:00:30] 945*2^1421950-1 is not prime. Res64: 72DEFDF355CB6E8A Time : 0.0 sec. user=mdettweiler [2016-02-12 03:00:31] 1001*2^1421950-1 is not prime. Res64: FABA5CACBD867070 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:00:32] 825*2^1421951-1 is not prime. Res64: D9AE7EE02A987B5B Time : 0.0 sec. user=mdettweiler [2016-02-12 03:00:33] 621*2^1421951-1 is not prime. Res64: 54CEE36BF64172A5 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:00:34] 979*2^1421951-1 is not prime. Res64: D006B9B0E63ABDCB Time : 0.0 sec. user=mdettweiler [2016-02-12 03:00:35] 661*2^1421951-1 is not prime. Res64: 7787F0A227DA1FA2 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:18:17] 765*2^1421952-1 is not prime. Res64: AE54595B5F285937 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:18:18] 625*2^1421953-1 is not prime. Res64: C7BB9EA56863D5F3 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:18:18] 649*2^1421953-1 is not prime. Res64: 5F86412B37A3D521 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:18:18] 727*2^1421953-1 is not prime. Res64: F52AC4FCC47C6D6A Time : 0.0 sec. user=mdettweiler [2016-02-12 03:18:19] 675*2^1421953-1 is not prime. Res64: 30B3D156BE27EFD8 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:18:19] 747*2^1421953-1 is not prime. Res64: 2E01C67FA6BC4127 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:35:57] 789*2^1421953-1 is not prime. Res64: 1B3BDF023BEA4DD8 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:35:58] 999*2^1421953-1 is not prime. Res64: 0BE8CAD58C81FC5B Time : 0.0 sec. user=mdettweiler [2016-02-12 03:35:58] 847*2^1421953-1 is not prime. Res64: FDEF3322E68C8A36 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:35:59] 955*2^1421953-1 is not prime. Res64: 7E3C242F90D1EF50 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:35:59] 645*2^1421954-1 is not prime. Res64: 501FC377E4D2BEE9 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:36:00] 979*2^1421953-1 is not prime. Res64: 61D99401C432835A Time : 0.0 sec. user=mdettweiler [2016-02-12 03:53:53] 677*2^1421954-1 is not prime. Res64: A12CB8BF45ADC3DF Time : 0.0 sec. user=mdettweiler [2016-02-12 03:53:53] 687*2^1421954-1 is not prime. Res64: 9F6493604F0E1FFE Time : 0.0 sec. user=mdettweiler [2016-02-12 03:53:54] 657*2^1421954-1 is not prime. Res64: EF74BD5D18676477 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:53:54] 675*2^1421954-1 is not prime. Res64: 25F300A77FD67F22 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:53:57] 711*2^1421954-1 is not prime. Res64: 45C908FD226DE7C9 Time : 0.0 sec. user=mdettweiler [2016-02-12 03:53:57] 731*2^1421954-1 is not prime. Res64: 2D91C3676497CEF5 Time : 0.0 sec. user=mdettweiler [2016-02-12 04:11:39] 609*2^1421955-1 is not prime. Res64: E7933C2344A984FF Time : 0.0 sec. user=mdettweiler [2016-02-12 04:11:39] 753*2^1421954-1 is not prime. Res64: 604A06B858910201 Time : 0.0 sec. user=mdettweiler [2016-02-12 04:11:39] 851*2^1421954-1 is not prime. Res64: DF3BBAA9F8D5EB0D Time : 0.0 sec. user=mdettweiler [2016-02-12 04:11:40] 619*2^1421955-1 is not prime. Res64: F8D6B8DF1619F263 Time : 0.0 sec. user=mdettweiler [2016-02-12 04:11:40] 663*2^1421955-1 is not prime. Res64: A14CAB11E8499E0D Time : 0.0 sec. user=mdettweiler [2016-02-12 04:11:41] 699*2^1421955-1 is not prime. Res64: 8911B9F4077EA72D Time : 0.0 sec. user=mdettweiler [2016-02-12 04:29:20] 869*2^1421956-1 is not prime. Res64: 219FF5E1F766985A Time : 0.0 sec. user=mdettweiler [2016-02-12 04:29:21] 859*2^1421955-1 is not prime. Res64: B7A2ECD5BFECEBA1 Time : 0.0 sec. user=mdettweiler [2016-02-12 04:29:21] 899*2^1421956-1 is not prime. Res64: 4C2ED2ABE430E10E Time : 0.0 sec. user=mdettweiler [2016-02-12 04:29:21] 699*2^1421956-1 is not prime. Res64: A63EF98F9843F608 Time : 0.0 sec. user=mdettweiler [2016-02-12 04:29:21] 753*2^1421955-1 is not prime. Res64: A7E9D0DD224CE4EF Time : 0.0 sec. user=mdettweiler [2016-02-12 04:29:22] 829*2^1421955-1 is not prime. Res64: 7E27ECECC2C55B5D Time : 0.0 sec. user=mdettweiler [2016-02-12 04:46:59] 903*2^1421956-1 is not prime. Res64: 4590385B5BC92652 Time : 0.0 sec. user=mdettweiler [2016-02-12 04:47:00] 651*2^1421957-1 is not prime. Res64: 77DD618CBEA20621 Time : 0.0 sec. user=mdettweiler [2016-02-12 04:47:00] 983*2^1421956-1 is not prime. Res64: E297496E72C6C179 Time : 0.0 sec. user=mdettweiler [2016-02-12 04:47:00] 675*2^1421957-1 is not prime. Res64: 7C37D5027C290757 Time : 0.0 sec. user=mdettweiler [2016-02-12 04:47:09] 699*2^1421957-1 is not prime. Res64: 52A6B09FDFE237C8 Time : 0.0 sec. user=mdettweiler [2016-02-12 04:47:10] 795*2^1421957-1 is not prime. Res64: 0580667EA7546BDE Time : 0.0 sec. user=mdettweiler [2016-02-12 05:04:41] 711*2^1421958-1 is not prime. Res64: DD4B3E6EE21C149C Time : 0.0 sec. user=mdettweiler [2016-02-12 05:04:43] 801*2^1421957-1 is not prime. Res64: CC5F4E0B0B68A52A Time : 0.0 sec. user=mdettweiler [2016-02-12 05:04:44] 863*2^1421958-1 is not prime. Res64: 5D4FF6634D88A5E3 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:04:45] 819*2^1421957-1 is not prime. Res64: 66292989B364C3C8 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:04:51] 975*2^1421958-1 is not prime. Res64: 89935D17A1897E92 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:04:53] 993*2^1421958-1 is not prime. Res64: 41962DA2A531A4CE Time : 0.0 sec. user=mdettweiler [2016-02-12 05:22:50] 625*2^1421959-1 is not prime. Res64: EDAB6CC6C905369B Time : 0.0 sec. user=mdettweiler [2016-02-12 05:22:51] 831*2^1421959-1 is not prime. Res64: 5971873F17DE87B5 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:22:52] 705*2^1421959-1 is not prime. Res64: FA5C1E6AB7C7F7BD Time : 0.0 sec. user=mdettweiler [2016-02-12 05:22:52] 841*2^1421959-1 is not prime. Res64: 3DA5B41A04837146 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:22:53] 931*2^1421959-1 is not prime. Res64: 43AC28CB171BB49B Time : 0.0 sec. user=mdettweiler [2016-02-12 05:22:54] 665*2^1421960-1 is not prime. Res64: 3137D9F2DE1913FF Time : 0.0 sec. user=mdettweiler [2016-02-12 05:40:37] 759*2^1421960-1 is not prime. Res64: D270E907440EFE67 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:40:38] 797*2^1421960-1 is not prime. Res64: E1F539AEAA4D9FC5 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:40:38] 813*2^1421960-1 is not prime. Res64: 37A7C4DE788A3F38 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:40:39] 705*2^1421961-1 is not prime. Res64: D1E9626834B2F115 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:40:40] 899*2^1421960-1 is not prime. Res64: C6CA3EBBFA9374C9 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:40:41] 685*2^1421961-1 is not prime. Res64: 653059E4A7528D9B Time : 0.0 sec. user=mdettweiler [2016-02-12 05:58:19] 781*2^1421961-1 is not prime. Res64: 26FE7289AD573A62 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:58:20] 861*2^1421961-1 is not prime. Res64: 26E114E42A591AE9 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:58:22] 987*2^1421961-1 is not prime. Res64: 96E2DB38ABA39E76 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:58:23] 657*2^1421962-1 is not prime. Res64: 68AC1FC2B19679C0 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:58:25] 895*2^1421961-1 is not prime. Res64: 02E47B851B6DDF19 Time : 0.0 sec. user=mdettweiler [2016-02-12 05:58:26] 979*2^1421961-1 is not prime. Res64: FE480C24F72CB48A Time : 0.0 sec. user=mdettweiler [2016-02-12 06:15:59] 717*2^1421962-1 is not prime. Res64: F32E641A24C69909 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:16:00] 723*2^1421962-1 is not prime. Res64: 0CBA2A9C79C17FFE Time : 0.0 sec. user=mdettweiler [2016-02-12 06:16:06] 815*2^1421962-1 is not prime. Res64: 536AFBF8CB88122B Time : 0.0 sec. user=mdettweiler [2016-02-12 06:16:07] 881*2^1421962-1 is not prime. Res64: 836A8DA9D942FC56 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:16:08] 867*2^1421962-1 is not prime. Res64: 9AEEF2627D2779D6 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:16:08] 957*2^1421962-1 is not prime. Res64: 79127AFC59FCF162 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:33:49] 861*2^1421963-1 is not prime. Res64: 72F9C03EA5D024A8 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:33:50] 685*2^1421963-1 is not prime. Res64: 096BB2CAF6216D17 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:33:50] 683*2^1421964-1 is not prime. Res64: 5B80F6915E14127F Time : 0.0 sec. user=mdettweiler [2016-02-12 06:33:51] 921*2^1421963-1 is not prime. Res64: AE1EB35A3945BB08 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:33:52] 717*2^1421964-1 is not prime. Res64: E5C5D987C1CA7C86 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:33:52] 771*2^1421963-1 is not prime. Res64: 956980537AF35C91 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:51:31] 983*2^1421964-1 is not prime. Res64: 4761CFAC4BE49B64 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:51:32] 661*2^1421965-1 is not prime. Res64: 5105002252A68236 Time : 0.0 sec. user=mdettweiler [2016-02-12 06:51:32] 809*2^1421964-1 is not prime. Res64: 818C42FE9D5E222A Time : 0.0 sec. user=mdettweiler [2016-02-12 06:51:33] 929*2^1421964-1 is not prime. Res64: 94E13D8BE31B00F8 Time : 0.0 sec. user=mdettweiler [2016-02-12 07:09:09] 721*2^1421965-1 is not prime. Res64: 7DD3E230726D2A03 Time : 0.0 sec. user=mdettweiler [2016-02-12 07:09:10] 861*2^1421965-1 is not prime. Res64: BB052BE3570DF026 Time : 0.0 sec. user=mdettweiler [2016-02-12 07:09:12] 877*2^1421965-1 is not prime. Res64: A92B87F1C2D70541 Time : 0.0 sec. user=mdettweiler [2016-02-12 07:09:13] 937*2^1421965-1 is not prime. Res64: A8244A6F87A86439 Time : 0.0 sec. user=mdettweiler [2016-02-12 07:26:55] 893*2^1421966-1 is not prime. Res64: 184FB3901F7890A7 Time : 0.0 sec. user=mdettweiler [2016-02-12 07:26:55] 923*2^1421966-1 is not prime. Res64: 367A66129C26D13E Time : 0.0 sec. user=mdettweiler [2016-02-12 07:26:55] 911*2^1421966-1 is not prime. Res64: FA4775E763EFC314 Time : 0.0 sec. user=mdettweiler [2016-02-12 07:26:56] 945*2^1421966-1 is not prime. Res64: AA8E258B347EC0BD Time : 0.0 sec. user=mdettweiler [2016-02-12 07:44:33] 987*2^1421966-1 is not prime. Res64: 11566750D7918D72 Time : 0.0 sec. user=mdettweiler [2016-02-12 07:44:34] 1001*2^1421966-1 is not prime. Res64: D10CCAEB73469CE8 Time : 0.0 sec. user=mdettweiler [2016-02-12 07:44:34] 957*2^1421966-1 is not prime. Res64: F5BAAB2F01AA2568 Time : 0.0 sec. user=mdettweiler [2016-02-12 07:44:35] 983*2^1421966-1 is not prime. Res64: AF6B21D22D39686B Time : 0.0 sec. user=mdettweiler [2016-02-12 08:02:12] 669*2^1421967-1 is not prime. Res64: 68D8DE58BB14C19A Time : 0.0 sec. user=mdettweiler [2016-02-12 08:02:14] 825*2^1421967-1 is not prime. Res64: 4E310F292DC5943F Time : 0.0 sec. user=mdettweiler [2016-02-12 08:02:14] 895*2^1421967-1 is not prime. Res64: 6F93D0733C6E5F14 Time : 0.0 sec. user=mdettweiler [2016-02-12 08:02:16] 901*2^1421967-1 is not prime. Res64: 5C50A5539F61B83F Time : 0.0 sec. user=mdettweiler [2016-02-12 08:20:06] 813*2^1421968-1 is not prime. Res64: B6D39BE0E60F69C0 Time : 0.0 sec. user=mdettweiler [2016-02-12 08:20:07] 727*2^1421969-1 is not prime. Res64: 68670AC1DD9D158B Time : 0.0 sec. user=mdettweiler [2016-02-12 08:20:07] 721*2^1421969-1 is not prime. Res64: F3A4BBB5BAA86E2C Time : 0.0 sec. user=mdettweiler [2016-02-12 08:20:08] 735*2^1421969-1 is not prime. Res64: 100ED16E12CC6E5C Time : 0.0 sec. user=mdettweiler [2016-02-12 08:37:52] 781*2^1421969-1 is not prime. Res64: 629649ED5799FFF5 Time : 0.0 sec. user=mdettweiler [2016-02-12 08:37:52] 955*2^1421969-1 is not prime. Res64: D3A776679B19B4B5 Time : 0.0 sec. user=mdettweiler [2016-02-12 08:37:53] 931*2^1421969-1 is not prime. Res64: E733A2676009CE22 Time : 0.0 sec. user=mdettweiler [2016-02-12 08:37:53] 985*2^1421969-1 is not prime. Res64: 680AE9EF140637B7 Time : 0.0 sec. user=mdettweiler [2016-02-12 08:55:31] 635*2^1421970-1 is not prime. Res64: E04159174FFA93A2 Time : 0.0 sec. user=mdettweiler [2016-02-12 08:55:32] 735*2^1421970-1 is not prime. Res64: A6551891091016AE Time : 0.0 sec. user=mdettweiler [2016-02-12 08:55:33] 611*2^1421970-1 is not prime. Res64: 366C0906E99111EB Time : 0.0 sec. user=mdettweiler [2016-02-12 08:55:34] 627*2^1421970-1 is not prime. Res64: 473EC9E5200ECF1B Time : 0.0 sec. user=mdettweiler [2016-02-12 09:13:11] 887*2^1421970-1 is not prime. Res64: B2229C730E455CFE Time : 0.0 sec. user=mdettweiler [2016-02-12 09:13:12] 905*2^1421970-1 is not prime. Res64: 31B420B81AA542FD Time : 0.0 sec. user=mdettweiler [2016-02-12 09:13:13] 741*2^1421970-1 is not prime. Res64: 5D5A103E6B95FBF1 Time : 0.0 sec. user=mdettweiler [2016-02-12 09:13:14] 861*2^1421970-1 is not prime. Res64: DD2604EA9BFAD768 Time : 0.0 sec. user=mdettweiler [2016-02-12 09:30:50] 609*2^1421971-1 is not prime. Res64: 622A81218CAD750F Time : 0.0 sec. user=mdettweiler [2016-02-12 09:30:51] 681*2^1421971-1 is not prime. Res64: B775DDB588EB8ED0 Time : 0.0 sec. user=mdettweiler [2016-02-12 09:30:55] 769*2^1421971-1 is not prime. Res64: 2CA34AFA0F30552B Time : 0.0 sec. user=mdettweiler [2016-02-12 09:30:55] 861*2^1421971-1 is not prime. Res64: 938F30920C0C4727 Time : 0.0 sec. user=mdettweiler [2016-02-12 09:48:31] 873*2^1421971-1 is not prime. Res64: 4D57A0C3EDC9E07C Time : 0.0 sec. user=mdettweiler [2016-02-12 09:48:34] 999*2^1421971-1 is not prime. Res64: DD293B4C7F4D1558 Time : 0.0 sec. user=mdettweiler [2016-02-12 09:48:35] 615*2^1421972-1 is not prime. Res64: F6FAB0B86119F2B8 Time : 0.0 sec. user=mdettweiler [2016-02-12 09:48:36] 665*2^1421972-1 is not prime. Res64: 9021B08CC6FD90DA Time : 0.0 sec. user=mdettweiler [2016-02-12 10:06:11] 813*2^1421972-1 is not prime. Res64: A2A51E1F1A50AA53 Time : 0.0 sec. user=mdettweiler [2016-02-12 10:06:11] 699*2^1421972-1 is not prime. Res64: 4D0DAC43CBDB84EF Time : 0.0 sec. user=mdettweiler [2016-02-12 10:06:11] 767*2^1421972-1 is not prime. Res64: E958FA47FCF4B65F Time : 0.0 sec. user=mdettweiler [2016-02-12 10:06:12] 909*2^1421972-1 is not prime. Res64: C104682F7BE94DFB Time : 0.0 sec. user=mdettweiler [2016-02-12 10:23:48] 769*2^1421973-1 is not prime. Res64: 4D1AF7E172BEBE55 Time : 0.0 sec. user=mdettweiler [2016-02-12 10:23:48] 805*2^1421973-1 is not prime. Res64: EDA128C598CE4563 Time : 0.0 sec. user=mdettweiler [2016-02-12 10:23:49] 685*2^1421973-1 is not prime. Res64: D920EA3B9533F0A8 Time : 0.0 sec. user=mdettweiler [2016-02-12 10:23:49] 691*2^1421973-1 is not prime. Res64: 84733A452C1110EC Time : 0.0 sec. user=mdettweiler [2016-02-12 10:41:26] 901*2^1421973-1 is not prime. Res64: A02E723CDD61BD51 Time : 0.0 sec. user=mdettweiler [2016-02-12 10:41:26] 663*2^1421974-1 is not prime. Res64: E60A10ABFA3F5149 Time : 0.0 sec. user=mdettweiler [2016-02-12 10:41:27] 861*2^1421973-1 is not prime. Res64: AE56819646EC698E Time : 0.0 sec. user=mdettweiler [2016-02-12 10:41:27] 891*2^1421973-1 is not prime. Res64: 1659EF0C26166F7F Time : 0.0 sec. user=mdettweiler [2016-02-12 10:59:05] 681*2^1421974-1 is not prime. Res64: F0437B375D57FAAF Time : 0.0 sec. user=mdettweiler [2016-02-12 10:59:05] 783*2^1421974-1 is not prime. Res64: 8CEAA572355F8CEA Time : 0.0 sec. user=mdettweiler [2016-02-12 10:59:05] 723*2^1421974-1 is not prime. Res64: 147F0EBD8795A1D1 Time : 0.0 sec. user=mdettweiler [2016-02-12 10:59:05] 831*2^1421974-1 is not prime. Res64: 292B01FE16C30D43 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:16:42] 655*2^1421975-1 is not prime. Res64: 8F2437E73CEE0748 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:16:42] 669*2^1421975-1 is not prime. Res64: 6F2A7B8EE0FDB6C8 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:16:42] 885*2^1421974-1 is not prime. Res64: 967F7B91C9EB7194 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:16:42] 923*2^1421974-1 is not prime. Res64: 11ED9E8975CA103F Time : 0.0 sec. user=mdettweiler [2016-02-12 11:34:16] 675*2^1421975-1 is not prime. Res64: 5AF9CB14EC890BB4 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:34:16] 739*2^1421975-1 is not prime. Res64: 034A45269880E330 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:34:17] 771*2^1421975-1 is not prime. Res64: 2BAFBA02A75372F3 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:34:18] 799*2^1421975-1 is not prime. Res64: D1095C0B87B2AFC5 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:51:53] 943*2^1421975-1 is not prime. Res64: BB92936A6265E145 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:51:53] 991*2^1421975-1 is not prime. Res64: 29A8C35C2ED5EF25 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:51:54] 623*2^1421976-1 is not prime. Res64: 6319133DCEDC6992 Time : 0.0 sec. user=mdettweiler [2016-02-12 11:51:54] 629*2^1421976-1 is not prime. Res64: 343DC762755A5E6B Time : 0.0 sec. user=mdettweiler [2016-02-12 12:09:28] 873*2^1421976-1 is not prime. Res64: E6D6BADC07439374 Time : 0.0 sec. user=mdettweiler [2016-02-12 12:09:28] 689*2^1421976-1 is not prime. Res64: 8AD67B5A21DDF520 Time : 0.0 sec. user=mdettweiler [2016-02-12 12:09:29] 909*2^1421976-1 is not prime. Res64: DDE158926EF48182 Time : 0.0 sec. user=mdettweiler [2016-02-12 12:09:29] 839*2^1421976-1 is not prime. Res64: F4633ABE1FE570F9 Time : 0.0 sec. user=mdettweiler [2016-02-12 12:27:09] 687*2^1421977-1 is not prime. Res64: ECE807749772DC29 Time : 0.0 sec. user=mdettweiler [2016-02-12 12:27:09] 945*2^1421976-1 is not prime. Res64: 8922F3FEFC697BA7 Time : 0.0 sec. user=mdettweiler [2016-02-12 12:27:09] 691*2^1421977-1 is not prime. Res64: E03D83A2911879FC Time : 0.0 sec. user=mdettweiler [2016-02-12 12:27:10] 601*2^1421977-1 is not prime. Res64: ACFEDBF56AFC1E17 Time : 0.0 sec. user=mdettweiler [2016-02-12 12:45:00] 901*2^1421977-1 is not prime. Res64: FFB661D9B6313B57 Time : 0.0 sec. user=mdettweiler [2016-02-12 12:45:00] 769*2^1421977-1 is not prime. Res64: EB378C52A15E5E8A Time : 0.0 sec. user=mdettweiler [2016-02-12 12:45:00] 939*2^1421977-1 is not prime. Res64: 0A3A26A9DF8A6362 Time : 0.0 sec. user=mdettweiler [2016-02-12 12:45:00] 805*2^1421977-1 is not prime. Res64: 662CA7AC9C204D0C Time : 0.0 sec. user=mdettweiler [2016-02-12 13:02:39] 693*2^1421759-1 is not prime. Res64: 07507988FE033B4F Time : 0.0 sec. user=mdettweiler [2016-02-12 13:02:40] 957*2^1421977-1 is not prime. Res64: F23B4C7D42517EB3 Time : 0.0 sec. user=mdettweiler [2016-02-12 13:02:41] 627*2^1421978-1 is not prime. Res64: 81B164925BD0CFBC Time : 0.0 sec. user=mdettweiler [2016-02-12 13:02:42] 703*2^1421759-1 is not prime. Res64: BC21ED4CE5B418F5 Time : 0.0 sec. user=mdettweiler [2016-02-12 13:20:40] 815*2^1421978-1 is not prime. Res64: C2DA12250BBD25E9 Time : 0.0 sec. user=mdettweiler [2016-02-12 13:20:40] 831*2^1421978-1 is not prime. Res64: 39254C53BCCF4DAD Time : 0.0 sec. user=mdettweiler [2016-02-12 13:20:41] 837*2^1421978-1 is not prime. Res64: 8DACBA567BB23DD6 Time : 0.0 sec. user=mdettweiler [2016-02-12 13:20:41] 915*2^1421978-1 is not prime. Res64: 3963B33569B810F5 Time : 0.0 sec. user=mdettweiler [2016-02-12 13:38:22] 663*2^1421979-1 is not prime. Res64: 438122911CA18DAD Time : 0.0 sec. user=mdettweiler [2016-02-12 13:38:22] 745*2^1421979-1 is not prime. Res64: 46C958D88123A256 Time : 0.0 sec. user=mdettweiler [2016-02-12 13:38:23] 971*2^1421978-1 is not prime. Res64: 0D3956A8E05BF8FF Time : 0.0 sec. user=mdettweiler [2016-02-12 13:38:24] 615*2^1421979-1 is not prime. Res64: 884520DABB0A603F Time : 0.0 sec. user=mdettweiler [2016-02-12 13:55:59] 921*2^1421979-1 is not prime. Res64: 2574C87E53AB2EE2 Time : 0.0 sec. user=mdettweiler [2016-02-12 13:55:59] 961*2^1421979-1 is not prime. Res64: 5ACEA70153BAE6E0 Time : 0.0 sec. user=mdettweiler [2016-02-12 13:56:01] 687*2^1421980-1 is not prime. Res64: 43515DA0960E133D Time : 0.0 sec. user=mdettweiler [2016-02-12 13:56:01] 915*2^1421980-1 is not prime. Res64: 9A0C9FC479449569 Time : 0.0 sec. user=mdettweiler [2016-02-12 14:13:35] 927*2^1421980-1 is not prime. Res64: 1D34CA31392CE5AB Time : 0.0 sec. user=mdettweiler [2016-02-12 14:13:35] 959*2^1421980-1 is not prime. Res64: 59A2A444288D331F Time : 0.0 sec. user=mdettweiler [2016-02-12 14:13:36] 607*2^1421981-1 is not prime. Res64: 95234DAA1BE60F18 Time : 0.0 sec. user=mdettweiler [2016-02-12 14:13:36] 657*2^1421981-1 is not prime. Res64: 676694C2D285EDBD Time : 0.0 sec. user=mdettweiler [2016-02-12 14:31:15] 855*2^1421981-1 is not prime. Res64: 5B04588ECB727CFA Time : 0.0 sec. user=mdettweiler [2016-02-12 14:31:15] 715*2^1421981-1 is not prime. Res64: FAC7196EE6D9A110 Time : 0.0 sec. user=mdettweiler [2016-02-12 14:31:15] 745*2^1421981-1 is not prime. Res64: EC9E7E5B9399D792 Time : 0.0 sec. user=mdettweiler [2016-02-12 14:31:15] 867*2^1421981-1 is not prime. Res64: C53BF4922F277642 Time : 0.0 sec. user=mdettweiler [2016-02-12 14:48:54] 677*2^1421982-1 is not prime. Res64: ECDDB7F2A14F2983 Time : 0.0 sec. user=mdettweiler [2016-02-12 14:48:54] 939*2^1421981-1 is not prime. Res64: E56AEEBB57700087 Time : 0.0 sec. user=mdettweiler [2016-02-12 14:48:55] 711*2^1421982-1 is not prime. Res64: 978964663C29470C Time : 0.0 sec. user=mdettweiler [2016-02-12 14:48:55] 621*2^1421982-1 is not prime. Res64: 32745354AD75BCF7 Time : 0.0 sec. user=mdettweiler [2016-02-12 15:06:26] 717*2^1421982-1 is not prime. Res64: 1F12BC3A212770F3 Time : 0.0 sec. user=mdettweiler [2016-02-12 15:06:26] 755*2^1421982-1 is not prime. Res64: BA471492A6EF5E50 Time : 0.0 sec. user=mdettweiler [2016-02-12 15:06:30] 777*2^1421982-1 is not prime. Res64: 6369F9D6B6D289FF Time : 0.0 sec. user=mdettweiler [2016-02-12 15:06:31] 833*2^1421982-1 is not prime. Res64: BD7FC73A53E11500 Time : 0.0 sec. user=mdettweiler [2016-02-12 15:24:07] 885*2^1421982-1 is not prime. Res64: 26FCA4D32D5AE795 Time : 0.0 sec. user=mdettweiler [2016-02-12 15:24:07] 625*2^1421983-1 is not prime. Res64: BD4295169807D636 Time : 0.0 sec. user=mdettweiler [2016-02-12 15:24:08] 963*2^1421982-1 is not prime. Res64: B437A36C66A8F19D Time : 0.0 sec. user=mdettweiler [2016-02-12 15:24:08] 633*2^1421983-1 is not prime. Res64: CCB4291F9934E7F5 Time : 0.0 sec. user=mdettweiler [2016-02-12 15:41:50] 849*2^1421983-1 is not prime. Res64: 06906E9B682EDE82 Time : 0.0 sec. user=mdettweiler [2016-02-12 16:56:18] 723*2^1421983-1 is not prime. Res64: F47AA92FA5134EB1 Time : 0.0 sec. user=mdettweiler [2016-02-12 16:56:18] 745*2^1421983-1 is not prime. Res64: C410FD2B4F39937B Time : 0.0 sec. user=mdettweiler [2016-02-12 17:07:00] 859*2^1421983-1 is not prime. Res64: 33880BEF41695ABF Time : 0.0 sec. user=mdettweiler [2016-02-12 17:13:51] 901*2^1421983-1 is not prime. Res64: 29A9921E0F47FE91 Time : 0.0 sec. user=mdettweiler [2016-02-12 17:13:52] 993*2^1421983-1 is not prime. Res64: EB5502E3D4569E20 Time : 0.0 sec. user=mdettweiler [2016-02-12 17:24:34] 623*2^1421984-1 is not prime. Res64: 5E68366235A70B69 Time : 0.0 sec. user=mdettweiler [2016-02-12 17:24:34] 665*2^1421984-1 is not prime. Res64: 42EAA9ED6AF6B69D Time : 0.0 sec. user=mdettweiler [2016-02-12 17:31:24] 743*2^1421984-1 is not prime. Res64: CAEDC2874EBF68B4 Time : 0.0 sec. user=mdettweiler [2016-02-12 17:31:24] 767*2^1421984-1 is not prime. Res64: 39592B76AE6BA998 Time : 0.0 sec. user=mdettweiler [2016-02-12 17:42:06] 843*2^1421984-1 is not prime. Res64: 4D2308686E085D16 Time : 0.0 sec. user=mdettweiler [2016-02-12 17:42:06] 903*2^1421984-1 is not prime. Res64: 6950C02581C0DC7E Time : 0.0 sec. user=mdettweiler [2016-02-12 17:48:56] 929*2^1421984-1 is not prime. Res64: 202B368BEC678DA2 Time : 0.0 sec. user=mdettweiler [2016-02-12 17:48:56] 935*2^1421984-1 is not prime. Res64: F6EA2EFCC66CAC79 Time : 0.0 sec. user=mdettweiler [2016-02-12 17:59:38] 995*2^1421984-1 is not prime. Res64: FFACADCEC11F376D Time : 0.0 sec. user=mdettweiler [2016-02-12 17:59:38] 679*2^1421985-1 is not prime. Res64: 8D1A0CA39AE137D6 Time : 0.0 sec. user=mdettweiler [2016-02-12 18:06:29] 685*2^1421985-1 is not prime. Res64: B97B699F2DFD6203 Time : 0.0 sec. user=mdettweiler [2016-02-12 18:06:35] 789*2^1421985-1 is not prime. Res64: 91AB846ED9598D0C Time : 0.0 sec. user=mdettweiler [2016-02-12 18:17:10] 805*2^1421985-1 is not prime. Res64: 574A248C42080F59 Time : 0.0 sec. user=mdettweiler [2016-02-12 18:17:10] 819*2^1421985-1 is not prime. Res64: 6FFBF966751EEC64 Time : 0.0 sec. user=mdettweiler [2016-02-12 18:24:37] 921*2^1421985-1 is not prime. Res64: 6912980ACC07DE45 Time : 0.0 sec. user=mdettweiler [2016-02-12 18:24:37] 675*2^1421986-1 is not prime. Res64: 76833047CE37908C Time : 0.0 sec. user=mdettweiler [2016-02-12 18:34:43] 735*2^1421986-1 is not prime. Res64: 9DC9E3647E7468F9 Time : 0.0 sec. user=mdettweiler [2016-02-12 18:34:43] 737*2^1421986-1 is not prime. Res64: E1901B97419775F0 Time : 0.0 sec. user=mdettweiler [2016-02-12 18:42:11] 755*2^1421986-1 is not prime. Res64: D933EC0ED0E870E8 Time : 0.0 sec. user=mdettweiler [2016-02-12 18:42:11] 855*2^1421986-1 is not prime. Res64: 8D1B4BD1D372C9BA Time : 0.0 sec. user=mdettweiler [2016-02-12 18:52:15] 609*2^1421987-1 is not prime. Res64: 55664F38A112F115 Time : 0.0 sec. user=mdettweiler [2016-02-12 18:52:15] 631*2^1421987-1 is not prime. Res64: 761D9B9CE56275E9 Time : 0.0 sec. user=mdettweiler [2016-02-12 18:59:42] 675*2^1421987-1 is not prime. Res64: 3D635149DC13A05E Time : 0.0 sec. user=mdettweiler [2016-02-12 18:59:42] 775*2^1421987-1 is not prime. Res64: 0F7AB78E84958FC5 Time : 0.0 sec. user=mdettweiler [2016-02-12 19:09:46] 841*2^1421987-1 is not prime. Res64: D5ADE83AE5EB6488 Time : 0.0 sec. user=mdettweiler [2016-02-12 19:09:46] 843*2^1421987-1 is not prime. Res64: 004EF5B17348341F Time : 0.0 sec. user=mdettweiler [2016-02-12 19:17:14] 895*2^1421987-1 is not prime. Res64: 12B9B1BAC50031E2 Time : 0.0 sec. user=mdettweiler [2016-02-12 19:17:15] 931*2^1421987-1 is not prime. Res64: 7A179A11749F3299 Time : 0.0 sec. user=mdettweiler [2016-02-12 19:27:20] 979*2^1421987-1 is not prime. Res64: E0CEE293D797BDC7 Time : 0.0 sec. user=mdettweiler [2016-02-12 19:27:20] 707*2^1421988-1 is not prime. Res64: 2E1A2F10C3EEE339 Time : 0.0 sec. user=mdettweiler [2016-02-12 19:34:46] 875*2^1421988-1 is not prime. Res64: F984BEFE0633A63F Time : 0.0 sec. user=mdettweiler [2016-02-12 19:34:46] 621*2^1421989-1 is not prime. Res64: 4E040C42764151B5 Time : 0.0 sec. user=mdettweiler [2016-02-12 19:44:51] 649*2^1421989-1 is not prime. Res64: DB123142B99CC06F Time : 0.0 sec. user=mdettweiler [2016-02-12 19:44:51] 685*2^1421989-1 is not prime. Res64: 16F88A4AB1950237 Time : 0.0 sec. user=mdettweiler [2016-02-12 19:52:18] 765*2^1421989-1 is not prime. Res64: D73B08FBF075712A Time : 0.0 sec. user=mdettweiler [2016-02-12 19:52:18] 769*2^1421989-1 is not prime. Res64: AD246135332CAEF6 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:02:24] 801*2^1421989-1 is not prime. Res64: 63DA87D79E2C1707 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:02:25] 817*2^1421989-1 is not prime. Res64: D8C23EE61C4819DD Time : 0.0 sec. user=mdettweiler [2016-02-12 20:09:55] 831*2^1421989-1 is not prime. Res64: 210D3A80E95483F2 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:09:55] 861*2^1421989-1 is not prime. Res64: 9612B8FC6F3E8BF7 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:20:03] 919*2^1421989-1 is not prime. Res64: E2BDA4A01FAF1F3E Time : 0.0 sec. user=mdettweiler [2016-02-12 20:20:04] 999*2^1421989-1 is not prime. Res64: B5B68593A4C587C2 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:28:25] 675*2^1421990-1 is not prime. Res64: BDA15A2629446987 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:28:26] 677*2^1421990-1 is not prime. Res64: 7F6E3CFD0AEC9FA8 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:39:24] 743*2^1421990-1 is not prime. Res64: B8916B7BC01CD642 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:39:25] 797*2^1421990-1 is not prime. Res64: 4F769177778F59C6 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:48:01] 827*2^1421990-1 is not prime. Res64: 730BA34D7C2CBE84 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:48:01] 935*2^1421990-1 is not prime. Res64: 4605639E59E740AF Time : 0.0 sec. user=mdettweiler [2016-02-12 20:59:41] 675*2^1421991-1 is not prime. Res64: EC30DD028A9A0018 Time : 0.0 sec. user=mdettweiler [2016-02-12 20:59:41] 781*2^1421991-1 is not prime. Res64: 1667677273FDC77C Time : 0.0 sec. user=mdettweiler [2016-02-12 21:08:12] 793*2^1421991-1 is not prime. Res64: EE8AF9552E68062D Time : 0.0 sec. user=mdettweiler [2016-02-12 21:08:13] 955*2^1421991-1 is not prime. Res64: 3F0A47AE74133D05 Time : 0.0 sec. user=mdettweiler [2016-02-12 21:19:28] 665*2^1421992-1 is not prime. Res64: 8646D7706E02AD8F Time : 0.0 sec. user=mdettweiler [2016-02-12 21:19:28] 677*2^1421992-1 is not prime. Res64: 723D5B3C8F23D338 Time : 0.0 sec. user=mdettweiler [2016-02-12 21:27:13] 687*2^1421992-1 is not prime. Res64: E86B5746B487D9BF Time : 0.0 sec. user=mdettweiler [2016-02-12 21:27:14] 717*2^1421992-1 is not prime. Res64: BB870ADC3E95CE9E Time : 0.0 sec. user=mdettweiler [2016-02-12 21:37:50] 657*2^1421993-1 is not prime. Res64: 0A5B19F04C5279FE Time : 0.0 sec. user=mdettweiler [2016-02-12 21:37:50] 691*2^1421993-1 is not prime. Res64: 00A0573BAA9DB395 Time : 0.0 sec. user=mdettweiler [2016-02-12 21:45:34] 699*2^1421993-1 is not prime. Res64: BC76484CEA4A9711 Time : 0.0 sec. user=mdettweiler [2016-02-12 21:45:35] 721*2^1421993-1 is not prime. Res64: D0014DF220C18D90 Time : 0.0 sec. user=mdettweiler [2016-02-12 21:56:03] 747*2^1421993-1 is not prime. Res64: ACCA8D6E8733EB52 Time : 0.0 sec. user=mdettweiler [2016-02-12 21:56:03] 939*2^1421993-1 is not prime. Res64: B285CE2BDD3C2297 Time : 0.0 sec. user=mdettweiler [2016-02-12 22:03:45] 951*2^1421993-1 is not prime. Res64: BB4EDA750DC55C35 Time : 0.0 sec. user=mdettweiler [2016-02-12 22:03:47] 985*2^1421993-1 is not prime. Res64: ADD84EF287004626 Time : 0.0 sec. user=mdettweiler [2016-02-12 22:14:19] 605*2^1421994-1 is not prime. Res64: 3D505E0CEF73E3A5 Time : 0.0 sec. user=mdettweiler [2016-02-12 22:14:19] 635*2^1421994-1 is not prime. Res64: 943DB6F3AF50981C Time : 0.0 sec. user=mdettweiler [2016-02-12 22:22:16] 663*2^1421994-1 is not prime. Res64: FCE295D0561FA60D Time : 0.0 sec. user=mdettweiler [2016-02-12 22:22:16] 833*2^1421994-1 is not prime. Res64: A05AA5CD032A35F1 Time : 0.0 sec. user=mdettweiler [2016-02-12 22:32:36] 921*2^1421994-1 is not prime. Res64: EF55B3184F11A88C Time : 0.0 sec. user=mdettweiler [2016-02-12 22:32:36] 649*2^1421995-1 is not prime. Res64: 382C8AC110BFF241 Time : 0.0 sec. user=mdettweiler [2016-02-12 22:40:33] 685*2^1421995-1 is not prime. Res64: E83A5FC6642A4A9E Time : 0.0 sec. user=mdettweiler [2016-02-12 22:40:33] 909*2^1421995-1 is not prime. Res64: 357BAF017E7E9515 Time : 0.0 sec. user=mdettweiler [2016-02-12 22:50:51] 633*2^1421996-1 is not prime. Res64: D851CB2826737958 Time : 0.0 sec. user=mdettweiler [2016-02-12 22:50:51] 707*2^1421996-1 is not prime. Res64: F7D92CEF85F9A761 Time : 0.0 sec. user=mdettweiler [2016-02-12 22:58:38] 725*2^1421996-1 is not prime. Res64: 7F13C92412842271 Time : 0.0 sec. user=mdettweiler [2016-02-12 22:58:39] 773*2^1421996-1 is not prime. Res64: A4A8F6C0934ECF8D Time : 0.0 sec. user=mdettweiler [2016-02-12 23:08:34] 857*2^1421996-1 is not prime. Res64: 030F29C5A2FFFBE1 Time : 0.0 sec. user=mdettweiler [2016-02-12 23:08:35] 969*2^1421996-1 is not prime. Res64: 2E6D4EE1FD8E755E Time : 0.0 sec. user=mdettweiler [2016-02-12 23:16:10] 709*2^1421997-1 is not prime. Res64: E4F865A5296CCF08 Time : 0.0 sec. user=mdettweiler [2016-02-12 23:16:11] 751*2^1421997-1 is not prime. Res64: B43F51F680E6E73E Time : 0.0 sec. user=mdettweiler [2016-02-12 23:26:11] 765*2^1421997-1 is not prime. Res64: 78BF70805C5C3826 Time : 0.0 sec. user=mdettweiler [2016-02-12 23:26:11] 847*2^1421997-1 is not prime. Res64: A5FE0D1DF36B58E0 Time : 0.0 sec. user=mdettweiler [2016-02-12 23:33:43] 861*2^1421997-1 is not prime. Res64: 00EAA0CE22944176 Time : 0.0 sec. user=mdettweiler [2016-02-12 23:33:43] 891*2^1421997-1 is not prime. Res64: 94505A236124B361 Time : 0.0 sec. user=mdettweiler [2016-02-12 23:43:43] 979*2^1421997-1 is not prime. Res64: A85BBA5E1CA8C1D0 Time : 0.0 sec. user=mdettweiler [2016-02-12 23:43:44] 603*2^1421998-1 is not prime. Res64: 87E9058C65D235EB Time : 0.0 sec. user=mdettweiler [2016-02-12 23:51:15] 663*2^1421998-1 is not prime. Res64: 2B3AAF3C83E21FA9 Time : 0.0 sec. user=mdettweiler [2016-02-12 23:51:15] 671*2^1421998-1 is not prime. Res64: 7219FFE93DBB2C3D Time : 0.0 sec.