user=mdettweiler [2015-07-02 00:01:26] 605*2^1401934-1 is not prime. Res64: 1D5CE32500E1220F Time : 0.0 sec. user=mdettweiler [2015-07-02 00:01:26] 675*2^1401934-1 is not prime. Res64: CBA5A71FE781BEEB Time : 0.0 sec. user=mdettweiler [2015-07-02 00:01:29] 695*2^1401934-1 is not prime. Res64: 200080FE73F7813B Time : 0.0 sec. user=mdettweiler [2015-07-02 00:01:29] 723*2^1401934-1 is not prime. Res64: 8FB73CA21A34CFCA Time : 0.0 sec. user=mdettweiler [2015-07-02 00:12:26] 737*2^1401934-1 is not prime. Res64: 94B7BFAF12BAFBB8 Time : 0.0 sec. user=mdettweiler [2015-07-02 00:12:27] 669*2^1401935-1 is not prime. Res64: 90938A1244197F5C Time : 0.0 sec. user=mdettweiler [2015-07-02 00:18:45] 679*2^1401935-1 is not prime. Res64: 736876D7B42C8493 Time : 0.0 sec. user=mdettweiler [2015-07-02 00:18:45] 693*2^1401935-1 is not prime. Res64: 89C90C987D640F23 Time : 0.0 sec. user=mdettweiler [2015-07-02 00:18:48] 781*2^1401935-1 is not prime. Res64: B2EEA59527718656 Time : 0.0 sec. user=mdettweiler [2015-07-02 00:18:49] 859*2^1401935-1 is not prime. Res64: 639480C38087D182 Time : 0.0 sec. user=mdettweiler [2015-07-02 00:29:49] 627*2^1401936-1 is not prime. Res64: D009CE8225911287 Time : 0.0 sec. user=mdettweiler [2015-07-02 00:29:49] 639*2^1401936-1 is not prime. Res64: 0E594B750B077450 Time : 0.0 sec. user=mdettweiler [2015-07-02 00:36:04] 699*2^1401936-1 is not prime. Res64: DBBBB4EB2B2F0E2F Time : 0.0 sec. user=mdettweiler [2015-07-02 00:36:04] 867*2^1401936-1 is not prime. Res64: 175E0FF3274B093D Time : 0.0 sec. user=mdettweiler [2015-07-02 00:36:07] 899*2^1401936-1 is not prime. Res64: DB5791BE21CBE2B6 Time : 0.0 sec. user=mdettweiler [2015-07-02 00:36:07] 645*2^1401937-1 is not prime. Res64: E76393249D357DF9 Time : 0.0 sec. user=mdettweiler [2015-07-02 00:47:07] 691*2^1401937-1 is not prime. Res64: 2CF07E06FA898E2E Time : 0.0 sec. user=mdettweiler [2015-07-02 00:47:07] 759*2^1401937-1 is not prime. Res64: 86BB9C56C17986DB Time : 0.0 sec. user=mdettweiler [2015-07-02 00:53:22] 915*2^1401937-1 is not prime. Res64: 0FEBF47954EC81FD Time : 0.0 sec. user=mdettweiler [2015-07-02 00:53:23] 945*2^1401937-1 is not prime. Res64: 5A84AC41E049C7BF Time : 0.0 sec. user=mdettweiler [2015-07-02 00:53:25] 635*2^1401938-1 is not prime. Res64: E6E3D73F743DC52B Time : 0.0 sec. user=mdettweiler [2015-07-02 00:53:25] 657*2^1401938-1 is not prime. Res64: B374E4455160F68F Time : 0.0 sec. user=mdettweiler [2015-07-02 01:04:27] 687*2^1401938-1 is not prime. Res64: 67C58CA7C8E8B7B7 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:04:30] 767*2^1401938-1 is not prime. Res64: D8A23B5ADAFA0D5B Time : 0.0 sec. user=mdettweiler [2015-07-02 01:10:40] 977*2^1401938-1 is not prime. Res64: 095A115622905602 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:10:41] 649*2^1401939-1 is not prime. Res64: E735568EBE949ED6 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:10:43] 741*2^1401939-1 is not prime. Res64: 77426EB98D1B09B3 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:10:44] 961*2^1401939-1 is not prime. Res64: F3E0FDE2A227AC32 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:22:04] 973*2^1401939-1 is not prime. Res64: A9D9786983B24325 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:22:05] 689*2^1401940-1 is not prime. Res64: 02383D238143B140 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:28:01] 929*2^1401940-1 is not prime. Res64: 549F25AEEF7359CC Time : 0.0 sec. user=mdettweiler [2015-07-02 01:28:01] 995*2^1401940-1 is not prime. Res64: EF439F70C970F960 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:28:02] 965*2^1401940-1 is not prime. Res64: 64327147810429EE Time : 0.0 sec. user=mdettweiler [2015-07-02 01:28:02] 619*2^1401941-1 is not prime. Res64: DF9402F9ED8E2117 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:39:22] 735*2^1401941-1 is not prime. Res64: 98FF627E07D84E24 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:39:22] 741*2^1401941-1 is not prime. Res64: C4B52B275E1ED247 Time : 0.0 sec. user=juhehe [2015-07-02 01:40:40] 791*2^1401938-1 is not prime. Res64: 12622D0630B67644 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:45:23] 745*2^1401941-1 is not prime. Res64: 209BF3D64158D36E Time : 0.0 sec. user=mdettweiler [2015-07-02 01:45:23] 981*2^1401941-1 is not prime. Res64: 50470CB68E39C6A9 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:45:23] 789*2^1401941-1 is not prime. Res64: 620049CEE870B45B Time : 0.0 sec. user=mdettweiler [2015-07-02 01:45:23] 865*2^1401941-1 is not prime. Res64: 086583480E8D9C4E Time : 0.0 sec. user=mdettweiler [2015-07-02 01:56:40] 891*2^1401942-1 is not prime. Res64: 61646BACAF067A16 Time : 0.0 sec. user=mdettweiler [2015-07-02 01:56:40] 945*2^1401942-1 is not prime. Res64: 6E287183A2EC58D9 Time : 0.0 sec. user=S_K_ [2015-07-02 01:58:30] 669*2^1401941-1 is not prime. Res64: F290BC1C9F90C90E Time : 0.0 sec. user=mdettweiler [2015-07-02 02:02:41] 705*2^1401943-1 is not prime. Res64: DC073CCF2829CE7F Time : 0.0 sec. user=mdettweiler [2015-07-02 02:02:42] 819*2^1401943-1 is not prime. Res64: AFBE97F03E000291 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:02:43] 859*2^1401943-1 is not prime. Res64: EDCF0BCC990CF3A6 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:02:44] 871*2^1401943-1 is not prime. Res64: E47F11F1BF9FA151 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:13:58] 913*2^1401943-1 is not prime. Res64: 8ECBD242B8CB84CF Time : 0.0 sec. user=mdettweiler [2015-07-02 02:13:59] 939*2^1401943-1 is not prime. Res64: C6F0B40A67A192F3 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:20:15] 635*2^1401944-1 is not prime. Res64: 5C172C88560336C6 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:20:15] 929*2^1401944-1 is not prime. Res64: 63F84A3337A95D24 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:20:16] 935*2^1401944-1 is not prime. Res64: A5A2E9164E77EB07 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:20:16] 959*2^1401944-1 is not prime. Res64: 38A607E3E4F06EFF Time : 0.0 sec. user=mdettweiler [2015-07-02 02:31:20] 649*2^1401945-1 is not prime. Res64: B6DA7A02D3119AC7 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:31:21] 735*2^1401945-1 is not prime. Res64: 7D9BD05D9B385456 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:37:34] 817*2^1401945-1 is not prime. Res64: BD02660C591CB70B Time : 0.0 sec. user=mdettweiler [2015-07-02 02:37:35] 623*2^1401946-1 is not prime. Res64: 34C9717D38724CCA Time : 0.0 sec. user=mdettweiler [2015-07-02 02:37:35] 657*2^1401946-1 is not prime. Res64: 4BACC93DFCDF54C8 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:37:35] 713*2^1401946-1 is not prime. Res64: 0E6BC4311254138C Time : 0.0 sec. user=mdettweiler [2015-07-02 02:48:46] 733*2^1401947-1 is not prime. Res64: A94864DCABAFE09B Time : 0.0 sec. user=mdettweiler [2015-07-02 02:48:47] 775*2^1401947-1 is not prime. Res64: EAF1717775647645 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:54:56] 749*2^1401948-1 is not prime. Res64: 143B90380778B6F3 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:54:56] 767*2^1401948-1 is not prime. Res64: 27281127AA979A06 Time : 0.0 sec. user=mdettweiler [2015-07-02 02:54:57] 883*2^1401947-1 is not prime. Res64: 359E34E3D05D1ECB Time : 0.0 sec. user=mdettweiler [2015-07-02 02:54:57] 695*2^1401948-1 is not prime. Res64: BA92786FB4ED8E97 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:06:07] 923*2^1401948-1 is not prime. Res64: 26ADDA4DD56B6C8E Time : 0.0 sec. user=mdettweiler [2015-07-02 03:06:08] 975*2^1401948-1 is not prime. Res64: 0DC112DCBC9525FE Time : 0.0 sec. user=mdettweiler [2015-07-02 03:12:15] 987*2^1401948-1 is not prime. Res64: AFA1320AA8CB24EB Time : 0.0 sec. user=mdettweiler [2015-07-02 03:12:15] 885*2^1401949-1 is not prime. Res64: 78176EBEC4D34E83 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:12:16] 967*2^1401949-1 is not prime. Res64: E7AC43B90F17647C Time : 0.0 sec. user=mdettweiler [2015-07-02 03:12:17] 997*2^1401949-1 is not prime. Res64: F40AE4CB2B975419 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:23:30] 675*2^1401950-1 is not prime. Res64: 52788A7C8B313495 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:23:30] 711*2^1401950-1 is not prime. Res64: AD36AEA5DAD85D0E Time : 0.0 sec. user=mdettweiler [2015-07-02 03:29:33] 827*2^1401950-1 is not prime. Res64: 4563CB39E271E951 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:29:34] 851*2^1401950-1 is not prime. Res64: 5D7E0502EF82B4A2 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:29:35] 893*2^1401950-1 is not prime. Res64: F4A6B70FC1D3D779 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:29:36] 923*2^1401950-1 is not prime. Res64: 687887B35577F521 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:40:48] 927*2^1401950-1 is not prime. Res64: DBE9693E73B13089 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:40:56] 941*2^1401950-1 is not prime. Res64: 15AD28A02028E300 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:46:55] 965*2^1401950-1 is not prime. Res64: F13BE9013ACB8EB3 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:46:56] 619*2^1401951-1 is not prime. Res64: 8B7CA12B332D4B84 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:46:57] 691*2^1401951-1 is not prime. Res64: 53D978937BC967EF Time : 0.0 sec. user=mdettweiler [2015-07-02 03:46:58] 805*2^1401951-1 is not prime. Res64: 2E69467664FB4BF4 Time : 0.0 sec. user=juhehe [2015-07-02 03:52:58] 795*2^1401950-1 is not prime. Res64: 53B054D92507A539 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:58:51] 735*2^1401952-1 is not prime. Res64: 0B8B49AF65FC19A6 Time : 0.0 sec. user=mdettweiler [2015-07-02 03:58:52] 875*2^1401952-1 is not prime. Res64: C4E5D059AB7FE4B2 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:04:34] 959*2^1401952-1 is not prime. Res64: FADA08394B1A5117 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:04:35] 607*2^1401953-1 is not prime. Res64: 3BCACA52E7FB644A Time : 0.0 sec. user=mdettweiler [2015-07-02 04:04:37] 909*2^1401952-1 is not prime. Res64: 2A7514F9EACA534B Time : 0.0 sec. user=mdettweiler [2015-07-02 04:04:38] 933*2^1401952-1 is not prime. Res64: F86470C74FD561D0 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:16:15] 631*2^1401953-1 is not prime. Res64: 37BBEA2A10566705 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:16:16] 675*2^1401953-1 is not prime. Res64: 41CF89BFA995A078 Time : 0.0 sec. user=S_K_ [2015-07-02 04:17:13] 699*2^1401952-1 is not prime. Res64: 36F4DD2DF214DCA3 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:21:56] 735*2^1401953-1 is not prime. Res64: 6544044227F1A418 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:21:56] 805*2^1401953-1 is not prime. Res64: 22EC5D7028432355 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:21:59] 811*2^1401953-1 is not prime. Res64: F02FCEEB9DD25902 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:21:59] 981*2^1401953-1 is not prime. Res64: 7A626683B80E5A24 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:33:33] 627*2^1401954-1 is not prime. Res64: 66DF946F436882F5 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:33:33] 711*2^1401954-1 is not prime. Res64: 51950BB8A7993CB5 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:39:13] 725*2^1401954-1 is not prime. Res64: 5C73920D2DC62706 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:39:13] 791*2^1401954-1 is not prime. Res64: AD12D19B1F5ADB04 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:39:16] 875*2^1401954-1 is not prime. Res64: 5EF7731DD477712B Time : 0.0 sec. user=mdettweiler [2015-07-02 04:39:17] 915*2^1401954-1 is not prime. Res64: 72CC9DF3325E2406 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:50:51] 603*2^1401955-1 is not prime. Res64: C564F93CB8F4F7DE Time : 0.0 sec. user=mdettweiler [2015-07-02 04:50:51] 709*2^1401955-1 is not prime. Res64: CCAF87AECE614B41 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:56:30] 843*2^1401955-1 is not prime. Res64: B5F861A1955D5918 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:56:31] 861*2^1401955-1 is not prime. Res64: 88AEDC20F8C4D7D1 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:56:34] 871*2^1401955-1 is not prime. Res64: 08370BB4F6D2E2A5 Time : 0.0 sec. user=mdettweiler [2015-07-02 04:56:35] 909*2^1401955-1 is not prime. Res64: 5D5019320B72DEB5 Time : 0.0 sec. user=mdettweiler [2015-07-02 05:08:09] 925*2^1401955-1 is not prime. Res64: E23DC2D59DEA3B43 Time : 0.0 sec. user=mdettweiler [2015-07-02 05:08:09] 669*2^1401956-1 is not prime. Res64: 83505EE563283A68 Time : 0.0 sec. user=mdettweiler [2015-07-02 05:13:48] 867*2^1401956-1 is not prime. Res64: 280B3FB1771297F0 Time : 0.0 sec. user=mdettweiler [2015-07-02 05:13:48] 953*2^1401956-1 is not prime. Res64: A12537A423323B8F Time : 0.0 sec. user=mdettweiler [2015-07-02 05:13:54] 999*2^1401956-1 is not prime. Res64: 5A9E7292E08B4B42 Time : 0.0 sec. user=mdettweiler [2015-07-02 05:13:55] 655*2^1401957-1 is not prime. Res64: D3ADD34764FBEE08 Time : 0.0 sec. user=mdettweiler [2015-07-02 05:25:35] 685*2^1401957-1 is not prime. Res64: CE2ACFE1DFF038AD Time : 0.0 sec. user=mdettweiler [2015-07-02 05:25:36] 727*2^1401957-1 is not prime. Res64: F9A4A7E0B55E1DCD Time : 0.0 sec. user=juhehe [2015-07-02 05:28:53] 783*2^1401955-1 is not prime. Res64: 85025A1C06FE05AA Time : 0.0 sec. user=mdettweiler [2015-07-02 05:31:08] 751*2^1401957-1 is not prime. Res64: C17BE414BCA821CC Time : 0.0 sec. user=mdettweiler [2015-07-02 05:31:09] 777*2^1401957-1 is not prime. Res64: 425CD483FD6492C9 Time : 0.0 sec. user=mdettweiler [2015-07-02 05:31:13] 859*2^1401957-1 is not prime. Res64: 6AA38B1EF533641E Time : 0.0 sec. user=mdettweiler [2015-07-02 05:31:13] 889*2^1401957-1 is not prime. Res64: 2DF84FCAAB2A449A Time : 0.0 sec. user=mdettweiler [2015-07-02 05:42:55] 657*2^1401958-1 is not prime. Res64: 164B2C21AF3AB79B Time : 0.0 sec. user=mdettweiler [2015-07-02 05:42:55] 711*2^1401959-1 is not prime. Res64: E742EED5AA55BC21 Time : 0.0 sec. user=mdettweiler [2015-07-02 05:48:25] 735*2^1401959-1 is not prime. Res64: 832694465162854E Time : 0.0 sec. user=mdettweiler [2015-07-02 05:48:25] 841*2^1401959-1 is not prime. Res64: 634E4F7B4DA23E0E Time : 0.0 sec. user=mdettweiler [2015-07-02 05:48:30] 633*2^1401960-1 is not prime. Res64: 33569C2EA77E3F88 Time : 0.0 sec. user=mdettweiler [2015-07-02 05:48:31] 725*2^1401960-1 is not prime. Res64: 22D35406ED7F8824 Time : 0.0 sec. user=S_K_ [2015-07-02 05:49:18] 707*2^1401956-1 is not prime. Res64: 9EC15217612D0B08 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:00:13] 765*2^1401960-1 is not prime. Res64: D7AE4788273F31C9 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:00:14] 779*2^1401960-1 is not prime. Res64: B1A8523025748D3D Time : 0.0 sec. user=mdettweiler [2015-07-02 06:05:43] 839*2^1401960-1 is not prime. Res64: 2347FB7A341D87F7 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:05:43] 873*2^1401960-1 is not prime. Res64: CC91503F62366D91 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:05:47] 887*2^1401960-1 is not prime. Res64: 2406378CD6E6DED8 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:05:48] 649*2^1401961-1 is not prime. Res64: 382B4015E36512D1 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:17:34] 681*2^1401961-1 is not prime. Res64: CBC6C9CEC8953137 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:17:34] 945*2^1401961-1 is not prime. Res64: DA64E11EF6196F09 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:23:02] 671*2^1401962-1 is not prime. Res64: 1B8361F360920DB0 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:23:02] 753*2^1401962-1 is not prime. Res64: CAAC77CFA230F426 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:23:05] 755*2^1401962-1 is not prime. Res64: 9252173AEB6B17B5 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:23:06] 801*2^1401962-1 is not prime. Res64: AC28E573D42C6B65 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:34:52] 893*2^1401962-1 is not prime. Res64: 9A063DF791F4BE4C Time : 0.0 sec. user=mdettweiler [2015-07-02 06:34:53] 953*2^1401962-1 is not prime. Res64: 97A462E42DB3B108 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:40:20] 977*2^1401962-1 is not prime. Res64: 38F9275A34B6662B Time : 0.0 sec. user=mdettweiler [2015-07-02 06:40:20] 891*2^1401963-1 is not prime. Res64: 3912CA44775A60A6 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:40:23] 635*2^1401964-1 is not prime. Res64: 5FF9C89294D50C94 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:40:23] 695*2^1401964-1 is not prime. Res64: 4DF93F21960D411E Time : 0.0 sec. user=mdettweiler [2015-07-02 06:52:12] 983*2^1401964-1 is not prime. Res64: 4B6A83C2D5D7ABFD Time : 0.0 sec. user=mdettweiler [2015-07-02 06:52:12] 607*2^1401965-1 is not prime. Res64: 251B4F904F1BC474 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:57:40] 729*2^1401965-1 is not prime. Res64: 9B2A636158CEAEDE Time : 0.0 sec. user=mdettweiler [2015-07-02 06:57:41] 759*2^1401965-1 is not prime. Res64: BFC75E2A0D20414E Time : 0.0 sec. user=mdettweiler [2015-07-02 06:57:41] 777*2^1401965-1 is not prime. Res64: ED6DB0085F3EFC83 Time : 0.0 sec. user=mdettweiler [2015-07-02 06:57:41] 789*2^1401965-1 is not prime. Res64: 46834C2CF07E9D79 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:09:31] 799*2^1401965-1 is not prime. Res64: F966ACAE7C123D14 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:09:31] 855*2^1401965-1 is not prime. Res64: CF0DE9DE7DE65F4E Time : 0.0 sec. user=mdettweiler [2015-07-02 07:15:00] 885*2^1401965-1 is not prime. Res64: 2DB5B18E411142CE Time : 0.0 sec. user=mdettweiler [2015-07-02 07:15:01] 683*2^1401966-1 is not prime. Res64: 38A74DFE8A0F7A99 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:15:01] 713*2^1401966-1 is not prime. Res64: 70AD8B58E4CA1236 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:15:01] 767*2^1401966-1 is not prime. Res64: C5839B95035CFE9E Time : 0.0 sec. user=mdettweiler [2015-07-02 07:26:52] 851*2^1401966-1 is not prime. Res64: 381B1A94F98AB6D7 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:26:52] 947*2^1401966-1 is not prime. Res64: EA7ED099CD342688 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:32:19] 819*2^1401967-1 is not prime. Res64: C97A283F1133A9A9 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:32:20] 873*2^1401967-1 is not prime. Res64: 9C837E39BF5CA0A8 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:32:21] 983*2^1401966-1 is not prime. Res64: 2FEA4212B543D1C6 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:32:22] 705*2^1401967-1 is not prime. Res64: FB3462F09F740C47 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:44:10] 973*2^1401967-1 is not prime. Res64: 304CF4BDBDE7D665 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:44:11] 615*2^1401968-1 is not prime. Res64: 06021C843CC75884 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:49:36] 663*2^1401968-1 is not prime. Res64: C53E9462EDA12E24 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:49:37] 743*2^1401968-1 is not prime. Res64: B014F43E5738A281 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:49:42] 789*2^1401968-1 is not prime. Res64: 6B2E76381D06F3B8 Time : 0.0 sec. user=mdettweiler [2015-07-02 07:49:42] 945*2^1401968-1 is not prime. Res64: 85BFFAEAD5AB1DB2 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:01:29] 957*2^1401968-1 is not prime. Res64: 6F6CFC45BD74352A Time : 0.0 sec. user=mdettweiler [2015-07-02 08:01:31] 999*2^1401968-1 is not prime. Res64: FB5285000B8D344C Time : 0.0 sec. user=mdettweiler [2015-07-02 08:06:54] 625*2^1401969-1 is not prime. Res64: 2184458E4D2B566D Time : 0.0 sec. user=mdettweiler [2015-07-02 08:06:55] 681*2^1401969-1 is not prime. Res64: 301F7A640A285464 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:07:01] 781*2^1401969-1 is not prime. Res64: F7B3599748A9A8CD Time : 0.0 sec. user=mdettweiler [2015-07-02 08:07:02] 789*2^1401969-1 is not prime. Res64: 22FB1EC358147D06 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:19:02] 807*2^1401969-1 is not prime. Res64: E7DA929E354A0225 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:19:03] 835*2^1401969-1 is not prime. Res64: EE83AB3EC24CDF6F Time : 0.0 sec. user=mdettweiler [2015-07-02 08:24:12] 885*2^1401969-1 is not prime. Res64: 30BE7D7E6105BDB5 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:24:12] 945*2^1401969-1 is not prime. Res64: B2ED1190BBB2D5CE Time : 0.0 sec. user=mdettweiler [2015-07-02 08:24:18] 887*2^1401970-1 is not prime. Res64: 3A5BF131DD2F4A7B Time : 0.0 sec. user=mdettweiler [2015-07-02 08:24:19] 995*2^1401970-1 is not prime. Res64: 5258B344BB2EA0D7 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:36:22] 621*2^1401971-1 is not prime. Res64: 1154AF1AE149A955 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:36:22] 703*2^1401971-1 is not prime. Res64: 1CD5E18DBFB85B43 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:41:31] 753*2^1401971-1 is not prime. Res64: 8641829764BE714C Time : 0.0 sec. user=mdettweiler [2015-07-02 08:41:32] 909*2^1401971-1 is not prime. Res64: 80B4AF4E6B47E2AF Time : 0.0 sec. user=mdettweiler [2015-07-02 08:41:37] 913*2^1401971-1 is not prime. Res64: 4376C7643C4BA036 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:41:37] 955*2^1401971-1 is not prime. Res64: E153A1BFB06AF491 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:53:41] 979*2^1401971-1 is not prime. Res64: 957FEA6D8576F03D Time : 0.0 sec. user=mdettweiler [2015-07-02 08:53:42] 675*2^1401972-1 is not prime. Res64: A85FF282014D2C10 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:58:50] 683*2^1401972-1 is not prime. Res64: 8DC721D7E3E8A616 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:58:50] 689*2^1401972-1 is not prime. Res64: D3ECA72AE741B61C Time : 0.0 sec. user=mdettweiler [2015-07-02 08:58:56] 797*2^1401972-1 is not prime. Res64: C88CD52163396A57 Time : 0.0 sec. user=mdettweiler [2015-07-02 08:58:56] 857*2^1401972-1 is not prime. Res64: 68C76BDE06CF640E Time : 0.0 sec. user=mdettweiler [2015-07-02 09:11:05] 959*2^1401972-1 is not prime. Res64: C302CAB29C76F199 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:11:06] 975*2^1401972-1 is not prime. Res64: 18A5548CAECCECE6 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:16:08] 615*2^1401973-1 is not prime. Res64: EA62CA56A7203A1F Time : 0.0 sec. user=mdettweiler [2015-07-02 09:16:09] 639*2^1401973-1 is not prime. Res64: AEF3D334AE775BF8 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:16:14] 685*2^1401973-1 is not prime. Res64: F83C42708F0A9C39 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:16:15] 687*2^1401973-1 is not prime. Res64: B74756EB1CF6F56F Time : 0.0 sec. user=mdettweiler [2015-07-02 09:28:24] 715*2^1401973-1 is not prime. Res64: C671051E2546F2FE Time : 0.0 sec. user=mdettweiler [2015-07-02 09:28:25] 811*2^1401973-1 is not prime. Res64: BE735D078947F9A0 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:33:28] 939*2^1401973-1 is not prime. Res64: 07F83B1450426B34 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:33:29] 985*2^1401973-1 is not prime. Res64: E245DD0422BC62C7 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:33:33] 999*2^1401973-1 is not prime. Res64: 201C569BFA5EB421 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:33:34] 641*2^1401974-1 is not prime. Res64: 43A4CE6DFA6C05B7 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:45:43] 651*2^1401974-1 is not prime. Res64: BF34E187A7E1A5AB Time : 0.0 sec. user=mdettweiler [2015-07-02 09:45:44] 671*2^1401974-1 is not prime. Res64: 016281F3ABFF61B2 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:50:47] 707*2^1401974-1 is not prime. Res64: 2937D5CEFD6AD59B Time : 0.0 sec. user=mdettweiler [2015-07-02 09:50:48] 981*2^1401974-1 is not prime. Res64: E6D6AE0DA1A7FFB8 Time : 0.0 sec. user=mdettweiler [2015-07-02 09:50:53] 993*2^1401974-1 is not prime. Res64: 5B30DCF34F48FDEA Time : 0.0 sec. user=mdettweiler [2015-07-02 09:50:54] 781*2^1401975-1 is not prime. Res64: 329C00A4B5BEA38A Time : 0.0 sec. user=mdettweiler [2015-07-02 10:03:05] 825*2^1401975-1 is not prime. Res64: 980918F8513F64FD Time : 0.0 sec. user=mdettweiler [2015-07-02 10:03:06] 909*2^1401975-1 is not prime. Res64: 764F80859655A3CF Time : 0.0 sec. user=mdettweiler [2015-07-02 10:08:06] 961*2^1401975-1 is not prime. Res64: D668BA1432664B12 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:08:06] 963*2^1401975-1 is not prime. Res64: 454E4955327F9F84 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:08:10] 695*2^1401976-1 is not prime. Res64: B54999BAAC482454 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:08:11] 707*2^1401976-1 is not prime. Res64: 814EB58BCA19B6E5 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:20:39] 899*2^1401976-1 is not prime. Res64: FA8FEDAC413EF201 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:20:40] 917*2^1401976-1 is not prime. Res64: C254221F9A0AAF1D Time : 0.0 sec. user=mdettweiler [2015-07-02 10:25:24] 975*2^1401976-1 is not prime. Res64: A347FAB98CB8BF56 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:25:24] 637*2^1401977-1 is not prime. Res64: F089F91520592F7D Time : 0.0 sec. user=mdettweiler [2015-07-02 10:25:27] 727*2^1401977-1 is not prime. Res64: F2CAB0B6AD6503BE Time : 0.0 sec. user=mdettweiler [2015-07-02 10:25:28] 799*2^1401977-1 is not prime. Res64: 506A36BCFC6E3CD3 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:37:57] 847*2^1401977-1 is not prime. Res64: 065FD2B5490039EB Time : 0.0 sec. user=mdettweiler [2015-07-02 10:37:58] 939*2^1401977-1 is not prime. Res64: 1E6517557EB4D833 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:42:41] 627*2^1401978-1 is not prime. Res64: 851144DA3ED3BE23 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:42:42] 707*2^1401978-1 is not prime. Res64: 101970E142A3AA39 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:42:45] 735*2^1401978-1 is not prime. Res64: AABAC31A032A45C6 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:42:45] 875*2^1401978-1 is not prime. Res64: 0177E17DDC47B429 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:55:17] 941*2^1401978-1 is not prime. Res64: 9093634CCD031B0D Time : 0.0 sec. user=mdettweiler [2015-07-02 10:55:17] 619*2^1401979-1 is not prime. Res64: 022FD16CFEFF883F Time : 0.0 sec. user=mdettweiler [2015-07-02 10:59:58] 723*2^1401979-1 is not prime. Res64: D0DC189029989757 Time : 0.0 sec. user=mdettweiler [2015-07-02 10:59:59] 759*2^1401979-1 is not prime. Res64: 33FADFB472F5F783 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:00:02] 859*2^1401979-1 is not prime. Res64: CC53A4F99AE1BCF5 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:00:02] 873*2^1401979-1 is not prime. Res64: 9DA52C5FAEF71B2A Time : 0.0 sec. user=mdettweiler [2015-07-02 11:12:36] 975*2^1401979-1 is not prime. Res64: BF68DADBBFB105C6 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:12:37] 635*2^1401980-1 is not prime. Res64: 154F9CAF7C41077B Time : 0.0 sec. user=mdettweiler [2015-07-02 11:17:18] 855*2^1401980-1 is not prime. Res64: 4CAE65DC7E4B0C83 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:17:18] 983*2^1401980-1 is not prime. Res64: 9F3CA8454AAFB6B0 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:17:22] 995*2^1401980-1 is not prime. Res64: DCF43510A025AF38 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:17:22] 607*2^1401981-1 is not prime. Res64: 4BE506338DD20CFC Time : 0.0 sec. user=mdettweiler [2015-07-02 11:29:58] 735*2^1401981-1 is not prime. Res64: 5F77B04143019E07 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:29:58] 781*2^1401981-1 is not prime. Res64: E9B1B570180FECE6 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:34:37] 955*2^1401981-1 is not prime. Res64: 2FFDBA3A67B35750 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:34:37] 975*2^1401981-1 is not prime. Res64: 5899F64C51824189 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:34:39] 997*2^1401981-1 is not prime. Res64: A7AEE3EE14D177FF Time : 0.0 sec. user=mdettweiler [2015-07-02 11:34:39] 747*2^1401982-1 is not prime. Res64: 49EBC335686281C2 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:47:17] 755*2^1401982-1 is not prime. Res64: 53098572C249253F Time : 0.0 sec. user=mdettweiler [2015-07-02 11:47:17] 801*2^1401982-1 is not prime. Res64: A201633B5B6075E5 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:51:54] 815*2^1401982-1 is not prime. Res64: 6E03F283E32727C6 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:51:55] 915*2^1401982-1 is not prime. Res64: 40CB420E465435B2 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:51:59] 621*2^1401983-1 is not prime. Res64: 17239A9AA28DCFD0 Time : 0.0 sec. user=mdettweiler [2015-07-02 11:52:00] 703*2^1401983-1 is not prime. Res64: 04C7D5173748346E Time : 0.0 sec. user=mdettweiler [2015-07-02 12:04:40] 813*2^1401983-1 is not prime. Res64: 25C0E07C2E9BE682 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:04:41] 605*2^1401984-1 is not prime. Res64: 000A5BB46A989AEA Time : 0.0 sec. user=mdettweiler [2015-07-02 12:09:25] 615*2^1401984-1 is not prime. Res64: 7E141A622DC6815E Time : 0.0 sec. user=mdettweiler [2015-07-02 12:09:26] 663*2^1401984-1 is not prime. Res64: D9927E7A68736202 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:09:31] 717*2^1401984-1 is not prime. Res64: 19B2FE92FE3D2126 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:09:32] 753*2^1401984-1 is not prime. Res64: 56C80DF1E7752993 Time : 0.0 sec. user=juhehe [2015-07-02 12:12:52] 865*2^1401981-1 is not prime. Res64: D51F151009244C02 Time : 0.0 sec. user=S_K_ [2015-07-02 12:14:46] 739*2^1401983-1 is not prime. Res64: 47330CABE7691107 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:22:36] 843*2^1401984-1 is not prime. Res64: 2F1AB169868697FA Time : 0.0 sec. user=mdettweiler [2015-07-02 12:22:37] 887*2^1401984-1 is not prime. Res64: B3EADABD59DD7809 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:26:49] 927*2^1401984-1 is not prime. Res64: CE49599A552F95EF Time : 0.0 sec. user=mdettweiler [2015-07-02 12:26:49] 667*2^1401985-1 is not prime. Res64: 74FCDD685FCDD17A Time : 0.0 sec. user=mdettweiler [2015-07-02 12:26:56] 721*2^1401985-1 is not prime. Res64: A3DE057FCDA0825E Time : 0.0 sec. user=mdettweiler [2015-07-02 12:26:56] 847*2^1401985-1 is not prime. Res64: 5FF7BFE16AAC57AA Time : 0.0 sec. user=mdettweiler [2015-07-02 12:39:57] 877*2^1401985-1 is not prime. Res64: 94F98D2F7F32B34C Time : 0.0 sec. user=mdettweiler [2015-07-02 12:39:57] 711*2^1401986-1 is not prime. Res64: 03F6BBC40E6FFEC9 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:44:15] 873*2^1401986-1 is not prime. Res64: 1F6B7F581B649157 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:44:15] 971*2^1401986-1 is not prime. Res64: 3BAE03984A5CB808 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:44:16] 615*2^1401987-1 is not prime. Res64: 74A5738CB1D3E3C8 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:44:16] 619*2^1401987-1 is not prime. Res64: 56419A57DB547C50 Time : 0.0 sec. user=S_K_ [2015-07-02 12:53:31] 861*2^1401985-1 is not prime. Res64: 5BC7AB0BCD525569 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:57:17] 651*2^1401987-1 is not prime. Res64: 3317029B8ED616A2 Time : 0.0 sec. user=mdettweiler [2015-07-02 12:57:17] 691*2^1401987-1 is not prime. Res64: D4DD55136C5CCB7A Time : 0.0 sec. user=mdettweiler [2015-07-02 13:01:36] 805*2^1401987-1 is not prime. Res64: AE83BAA5BC3C2151 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:01:36] 769*2^1401987-1 is not prime. Res64: 94E5042144E378A9 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:01:37] 835*2^1401987-1 is not prime. Res64: 31A43CA4E1138086 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:01:37] 781*2^1401987-1 is not prime. Res64: DCEBC0DA1348A798 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:14:37] 903*2^1401987-1 is not prime. Res64: E33DD8D5FB0D1E27 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:14:37] 909*2^1401987-1 is not prime. Res64: 7D5BDEF3FD1144A8 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:19:00] 955*2^1401987-1 is not prime. Res64: 5D28287C68FB732E Time : 0.0 sec. user=mdettweiler [2015-07-02 13:19:00] 647*2^1401988-1 is not prime. Res64: 9B7CC0CBCE70541C Time : 0.0 sec. user=mdettweiler [2015-07-02 13:19:01] 657*2^1401988-1 is not prime. Res64: 05733EE035CF47D9 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:19:01] 663*2^1401988-1 is not prime. Res64: 039D33162A7C92C4 Time : 0.0 sec. user=S_K_ [2015-07-02 13:31:44] 879*2^1401987-1 is not prime. Res64: FEC488F426BCF8FB Time : 0.0 sec. user=mdettweiler [2015-07-02 13:32:00] 699*2^1401988-1 is not prime. Res64: B42AF121175FCB41 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:32:00] 827*2^1401988-1 is not prime. Res64: 53CCF8698BEDC639 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:36:21] 885*2^1401988-1 is not prime. Res64: 0E8D28A41713D4AB Time : 0.0 sec. user=mdettweiler [2015-07-02 13:36:21] 923*2^1401988-1 is not prime. Res64: 3D9DAFB9D187144E Time : 0.0 sec. user=mdettweiler [2015-07-02 13:36:22] 855*2^1401988-1 is not prime. Res64: 8C8A2C56DB76D438 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:36:22] 863*2^1401988-1 is not prime. Res64: 034B90E38C90D901 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:49:19] 993*2^1401988-1 is not prime. Res64: 179D7EB746CA7212 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:49:19] 627*2^1401989-1 is not prime. Res64: A1CA71A68FB66C0F Time : 0.0 sec. user=mdettweiler [2015-07-02 13:53:41] 781*2^1401989-1 is not prime. Res64: 3B29E722E1F1DCF7 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:53:42] 945*2^1401989-1 is not prime. Res64: 292052C3BFA1B982 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:53:42] 985*2^1401989-1 is not prime. Res64: D5F4DD74EB3D95B5 Time : 0.0 sec. user=mdettweiler [2015-07-02 13:53:43] 765*2^1401990-1 is not prime. Res64: E66D2E76412663B0 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:06:39] 795*2^1401990-1 is not prime. Res64: C14955AD6B3994D9 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:06:40] 833*2^1401990-1 is not prime. Res64: 125DD70D38528E37 Time : 0.0 sec. user=S_K_ [2015-07-02 14:09:46] 933*2^1401988-1 is not prime. Res64: C22E4AD8E3D32C7A Time : 0.0 sec. user=mdettweiler [2015-07-02 14:11:01] 965*2^1401990-1 is not prime. Res64: ADC2D43800DE51FF Time : 0.0 sec. user=mdettweiler [2015-07-02 14:11:02] 971*2^1401990-1 is not prime. Res64: 24405FB76A015493 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:11:04] 625*2^1401991-1 is not prime. Res64: 223E4003080B63BB Time : 0.0 sec. user=mdettweiler [2015-07-02 14:11:04] 675*2^1401992-1 is not prime. Res64: 1DE50EC87BFF8A86 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:24:05] 785*2^1401992-1 is not prime. Res64: 30EECB30C08E1A81 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:24:06] 957*2^1401992-1 is not prime. Res64: F2E56FBA458F8829 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:28:22] 681*2^1401993-1 is not prime. Res64: 6C481A27AAC5295A Time : 0.0 sec. user=mdettweiler [2015-07-02 14:28:23] 805*2^1401993-1 is not prime. Res64: EE621AFE0B89F0A6 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:28:24] 819*2^1401993-1 is not prime. Res64: C8D519844F6672ED Time : 0.0 sec. user=mdettweiler [2015-07-02 14:28:24] 901*2^1401993-1 is not prime. Res64: 3ED6ABD7A29D2F2A Time : 0.0 sec. user=mdettweiler [2015-07-02 14:41:26] 705*2^1401994-1 is not prime. Res64: 988C319CC438C337 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:41:26] 755*2^1401994-1 is not prime. Res64: 76AA2DBDE6B81BFD Time : 0.0 sec. user=mdettweiler [2015-07-02 14:45:43] 803*2^1401994-1 is not prime. Res64: E07B63AFD660D718 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:45:44] 957*2^1401994-1 is not prime. Res64: CCA28233BF057C2C Time : 0.0 sec. user=mdettweiler [2015-07-02 14:45:45] 669*2^1401995-1 is not prime. Res64: 09DA012C1A83D017 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:45:46] 673*2^1401995-1 is not prime. Res64: EF070266D3C3C397 Time : 0.0 sec. user=mdettweiler [2015-07-02 14:58:49] 693*2^1401995-1 is not prime. Res64: 8EA0901F8C3BBC4D Time : 0.0 sec. user=mdettweiler [2015-07-02 14:58:50] 783*2^1401995-1 is not prime. Res64: E685E242CE16778B Time : 0.0 sec. user=mdettweiler [2015-07-02 15:03:07] 979*2^1401995-1 is not prime. Res64: 4B1297018D5BB276 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:03:07] 939*2^1401995-1 is not prime. Res64: 907D2BB473E12135 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:03:08] 683*2^1401996-1 is not prime. Res64: 5A0ACFC96A1B8065 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:03:09] 949*2^1401995-1 is not prime. Res64: EF8CC40C31F107CD Time : 0.0 sec. user=mdettweiler [2015-07-02 15:16:13] 749*2^1401996-1 is not prime. Res64: 3577E84364C67A85 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:16:14] 825*2^1401996-1 is not prime. Res64: 47406A937F87F69C Time : 0.0 sec. user=mdettweiler [2015-07-02 15:21:02] 927*2^1401996-1 is not prime. Res64: AAF5BCD3A38FDB8C Time : 0.0 sec. user=mdettweiler [2015-07-02 15:21:02] 933*2^1401996-1 is not prime. Res64: 96FEF54D5F47CC13 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:21:04] 875*2^1401996-1 is not prime. Res64: 8CA5F0FD2FB70049 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:21:05] 923*2^1401996-1 is not prime. Res64: B02A2295E2C03395 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:33:38] 987*2^1401996-1 is not prime. Res64: 2DF4312FC8793D36 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:33:38] 625*2^1401997-1 is not prime. Res64: 875F2F5BFD60AA2A Time : 0.0 sec. user=mdettweiler [2015-07-02 15:38:26] 889*2^1401997-1 is not prime. Res64: 4852BE243FD4DAAD Time : 0.0 sec. user=mdettweiler [2015-07-02 15:38:26] 895*2^1401997-1 is not prime. Res64: CED325C2F494556A Time : 0.0 sec. user=mdettweiler [2015-07-02 15:38:27] 805*2^1401997-1 is not prime. Res64: ABA41F8FBBA47D76 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:38:27] 825*2^1401997-1 is not prime. Res64: E86BF6EA812824DC Time : 0.0 sec. user=mdettweiler [2015-07-02 15:50:59] 939*2^1401997-1 is not prime. Res64: 29005D9C52F570CE Time : 0.0 sec. user=mdettweiler [2015-07-02 15:50:59] 945*2^1401997-1 is not prime. Res64: B8EF7389D2A3AB21 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:55:47] 641*2^1401998-1 is not prime. Res64: 52EC8A52F54F2552 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:55:48] 645*2^1401998-1 is not prime. Res64: EB6B2E746F730F09 Time : 0.0 sec. user=mdettweiler [2015-07-02 15:55:52] 693*2^1401998-1 is not prime. Res64: 63759867EEB78DCD Time : 0.0 sec. user=mdettweiler [2015-07-02 15:55:52] 705*2^1401998-1 is not prime. Res64: 7D77EDFA01B3966B Time : 0.0 sec. user=mdettweiler [2015-07-02 16:08:19] 897*2^1401998-1 is not prime. Res64: 3342BAF7B415AB3F Time : 0.0 sec. user=mdettweiler [2015-07-02 16:08:19] 691*2^1401999-1 is not prime. Res64: B46E49480BD9130F Time : 0.0 sec. user=mdettweiler [2015-07-02 16:13:09] 921*2^1401999-1 is not prime. Res64: 678678832240BAA9 Time : 0.0 sec. user=mdettweiler [2015-07-02 16:13:10] 931*2^1401999-1 is not prime. Res64: 452F0A67A9FD1730 Time : 0.0 sec. user=mdettweiler [2015-07-02 16:13:14] 975*2^1401999-1 is not prime. Res64: E0D930AB7E1465D3 Time : 0.0 sec. user=mdettweiler [2015-07-02 16:13:14] 629*2^1402000-1 is not prime. Res64: CCBA5EB3D8B6D34E Time : 0.0 sec. user=mdettweiler [2015-07-02 16:25:41] 689*2^1402000-1 is not prime. Res64: A2C50C6BDB3DFEBF Time : 0.0 sec. user=mdettweiler [2015-07-02 16:25:41] 797*2^1402000-1 is not prime. Res64: 637F3AA8E2FE7970 Time : 0.0 sec. user=mdettweiler [2015-07-02 16:30:32] 819*2^1402000-1 is not prime. Res64: E61A5200F3748E2F Time : 0.0 sec. user=mdettweiler [2015-07-02 16:30:32] 845*2^1402000-1 is not prime. Res64: 566C4D88E067E8E4 Time : 0.0 sec. user=mdettweiler [2015-07-02 16:30:35] 849*2^1402000-1 is not prime. Res64: 9B1790DDAB78ECAA Time : 0.0 sec. user=mdettweiler [2015-07-02 16:30:36] 875*2^1402000-1 is not prime. Res64: E0B11B10FF2B87B1 Time : 0.0 sec. user=S_K_ [2015-07-02 16:38:01] 999*2^1401997-1 is not prime. Res64: 8F54D94AA43AE2BE Time : 0.0 sec. user=mdettweiler [2015-07-02 16:43:05] 905*2^1402000-1 is not prime. Res64: 420ECF7FBEF3F6DA Time : 0.0 sec. user=mdettweiler [2015-07-02 16:43:06] 965*2^1402000-1 is not prime. Res64: 8EA0951286746173 Time : 0.0 sec. user=mdettweiler [2015-07-02 16:47:55] 679*2^1402001-1 is not prime. Res64: A95BAFF540F56C7C Time : 0.0 sec. user=mdettweiler [2015-07-02 16:47:56] 697*2^1402001-1 is not prime. Res64: 15F9213C2A8E707D Time : 0.0 sec. user=mdettweiler [2015-07-02 16:47:57] 727*2^1402001-1 is not prime. Res64: 58E91227180506A2 Time : 0.0 sec. user=mdettweiler [2015-07-02 16:47:57] 949*2^1402001-1 is not prime. Res64: EE27AD38FC762240 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:00:26] 627*2^1402002-1 is not prime. Res64: 483DE5A8BE53976C Time : 0.0 sec. user=mdettweiler [2015-07-02 17:00:27] 711*2^1402002-1 is not prime. Res64: 21D4333029CB3D52 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:05:17] 741*2^1402002-1 is not prime. Res64: CB3D7D91AB303DE6 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:05:19] 945*2^1402002-1 is not prime. Res64: 1049144B3A313922 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:05:20] 885*2^1402002-1 is not prime. Res64: E3674DC0388F75DA Time : 0.0 sec. user=mdettweiler [2015-07-02 17:05:21] 1001*2^1402002-1 is not prime. Res64: B8601A35E6131F37 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:17:55] 603*2^1402003-1 is not prime. Res64: 735DE12F03A984FF Time : 0.0 sec. user=mdettweiler [2015-07-02 17:17:55] 609*2^1402003-1 is not prime. Res64: ED20B945391917D1 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:23:25] 945*2^1402003-1 is not prime. Res64: 12B116F8B4913BDB Time : 0.0 sec. user=mdettweiler [2015-07-02 17:23:26] 753*2^1402004-1 is not prime. Res64: C99E876C585F809A Time : 0.0 sec. user=mdettweiler [2015-07-02 17:23:26] 783*2^1402003-1 is not prime. Res64: D2EF2DED849FAADD Time : 0.0 sec. user=mdettweiler [2015-07-02 17:23:26] 889*2^1402003-1 is not prime. Res64: A8D5FC43E4CE020E Time : 0.0 sec. user=mdettweiler [2015-07-02 17:35:17] 825*2^1402004-1 is not prime. Res64: D36E5303C73BF230 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:35:17] 837*2^1402004-1 is not prime. Res64: 7A5E9F859548DD88 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:40:45] 709*2^1402005-1 is not prime. Res64: 32D148167B01B557 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:40:46] 735*2^1402005-1 is not prime. Res64: E948CB85565605EE Time : 0.0 sec. user=mdettweiler [2015-07-02 17:40:46] 741*2^1402005-1 is not prime. Res64: 2484272CB0346D38 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:40:46] 787*2^1402005-1 is not prime. Res64: 268893750C19A57C Time : 0.0 sec. user=mdettweiler [2015-07-02 17:52:37] 789*2^1402005-1 is not prime. Res64: 298624DA29664A02 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:52:38] 861*2^1402005-1 is not prime. Res64: EDEDC3511142AF15 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:58:07] 645*2^1402006-1 is not prime. Res64: 340E390A4ADDC86E Time : 0.0 sec. user=mdettweiler [2015-07-02 17:58:08] 755*2^1402006-1 is not prime. Res64: CF16BBFA7C42C274 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:58:10] 617*2^1402006-1 is not prime. Res64: 4B7D11044BE7DE80 Time : 0.0 sec. user=mdettweiler [2015-07-02 17:58:11] 623*2^1402006-1 is not prime. Res64: 6589949D73346CE1 Time : 0.0 sec. user=mdettweiler [2015-07-02 18:09:59] 815*2^1402006-1 is not prime. Res64: 89B282FB939F45AF Time : 0.0 sec. user=mdettweiler [2015-07-02 18:09:59] 833*2^1402006-1 is not prime. Res64: BD999B973CE729EA Time : 0.0 sec. user=mdettweiler [2015-07-02 18:15:28] 947*2^1402006-1 is not prime. Res64: F0FA38F838BA933D Time : 0.0 sec. user=mdettweiler [2015-07-02 18:15:28] 643*2^1402007-1 is not prime. Res64: 62A7A3154A5A0063 Time : 0.0 sec. user=mdettweiler [2015-07-02 18:15:30] 931*2^1402007-1 is not prime. Res64: 9A85558F6ECCE53F Time : 0.0 sec. user=mdettweiler [2015-07-02 18:15:31] 615*2^1402008-1 is not prime. Res64: A847E3278760FA54 Time : 0.0 sec. user=mdettweiler [2015-07-02 18:27:26] 699*2^1402008-1 is not prime. Res64: 15CE80EB6EF8C35E Time : 0.0 sec. user=mdettweiler [2015-07-02 18:27:26] 819*2^1402008-1 is not prime. Res64: 5EE5C6A22CF3086C Time : 0.0 sec. user=mdettweiler [2015-07-02 18:32:49] 867*2^1402008-1 is not prime. Res64: BA7FD97D72BFF88B Time : 0.0 sec. user=mdettweiler [2015-07-02 18:32:49] 977*2^1402008-1 is not prime. Res64: D473283714F4DA9C Time : 0.0 sec. user=mdettweiler [2015-07-02 18:32:52] 625*2^1402009-1 is not prime. Res64: 81583170874254D0 Time : 0.0 sec. user=mdettweiler [2015-07-02 18:32:53] 667*2^1402009-1 is not prime. Res64: A99EC653D2A9114A Time : 0.0 sec. user=mdettweiler [2015-07-02 18:44:45] 729*2^1402009-1 is not prime. Res64: CDB49785DE123E87 Time : 0.0 sec. user=mdettweiler [2015-07-02 18:44:46] 829*2^1402009-1 is not prime. Res64: 8509D6233A2C2B65 Time : 0.0 sec. user=mdettweiler [2015-07-02 18:50:09] 931*2^1402009-1 is not prime. Res64: 9E88F849470B9394 Time : 0.0 sec. user=mdettweiler [2015-07-02 18:50:10] 985*2^1402009-1 is not prime. Res64: 043C834EF6D3307C Time : 0.0 sec. user=mdettweiler [2015-07-02 18:50:13] 605*2^1402010-1 is not prime. Res64: 850F7EFC2D811114 Time : 0.0 sec. user=mdettweiler [2015-07-02 18:50:13] 633*2^1402010-1 is not prime. Res64: DE5FA82B700A9EFF Time : 0.0 sec. user=mdettweiler [2015-07-02 19:02:06] 753*2^1402010-1 is not prime. Res64: C2FAA7678715B2E3 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:02:07] 755*2^1402010-1 is not prime. Res64: 1643B231E142127A Time : 0.0 sec. user=mdettweiler [2015-07-02 19:07:28] 945*2^1402010-1 is not prime. Res64: 1B14BF2DE69313B5 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:07:29] 995*2^1402010-1 is not prime. Res64: B96FE6FA4F35A172 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:07:32] 643*2^1402011-1 is not prime. Res64: CD2022FE01DAF843 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:07:33] 705*2^1402011-1 is not prime. Res64: C6B8A01A5B2513A5 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:19:42] 709*2^1402011-1 is not prime. Res64: 155DCA432FFBE878 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:19:43] 723*2^1402011-1 is not prime. Res64: 7CB0FD39654C9C04 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:24:52] 741*2^1402011-1 is not prime. Res64: 934F60AD693A6777 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:24:53] 859*2^1402011-1 is not prime. Res64: 5A54EACF850E320F Time : 0.0 sec. user=mdettweiler [2015-07-02 19:24:58] 647*2^1402012-1 is not prime. Res64: E40F7C7B4CF77C98 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:24:58] 665*2^1402012-1 is not prime. Res64: C6F6611889BE4E6E Time : 0.0 sec. user=mdettweiler [2015-07-02 19:37:04] 755*2^1402012-1 is not prime. Res64: 0F0F89AECE3D79AD Time : 0.0 sec. user=mdettweiler [2015-07-02 19:37:04] 779*2^1402012-1 is not prime. Res64: 1F09A9BC3FAE9A6D Time : 0.0 sec. user=S_K_ [2015-07-02 19:38:28] 635*2^1402008-1 is not prime. Res64: E0BC3FC640098118 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:42:16] 813*2^1402012-1 is not prime. Res64: 62D0526EFB9874A6 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:42:17] 619*2^1402013-1 is not prime. Res64: F97D011D0E8D6D6E Time : 0.0 sec. user=mdettweiler [2015-07-02 19:42:20] 801*2^1402013-1 is not prime. Res64: 241B2CC708735410 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:42:20] 885*2^1402013-1 is not prime. Res64: B2DFCB067D2B3772 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:54:27] 901*2^1402013-1 is not prime. Res64: 5770AC87E61D2E59 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:54:28] 939*2^1402013-1 is not prime. Res64: FF55B4F167E14810 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:59:38] 967*2^1402013-1 is not prime. Res64: AF8BDBEDC9007619 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:59:39] 657*2^1402014-1 is not prime. Res64: 7848E40783A3E8C7 Time : 0.0 sec. user=mdettweiler [2015-07-02 19:59:47] 723*2^1402014-1 is not prime. Res64: C8864715142796CA Time : 0.0 sec. user=mdettweiler [2015-07-02 19:59:48] 737*2^1402014-1 is not prime. Res64: 77BFB84208001642 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:11:49] 741*2^1402014-1 is not prime. Res64: 9C38B12289A06174 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:11:49] 825*2^1402014-1 is not prime. Res64: D26B2BCC0C20FFE5 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:16:58] 861*2^1402014-1 is not prime. Res64: A034F21274559BF1 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:16:59] 875*2^1402014-1 is not prime. Res64: DB5E144BBFF3B513 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:17:07] 951*2^1402014-1 is not prime. Res64: C9382A77C2AFC3E4 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:17:08] 645*2^1402015-1 is not prime. Res64: 64DFEF9CECD973CA Time : 0.0 sec. user=mdettweiler [2015-07-02 20:29:10] 673*2^1402015-1 is not prime. Res64: 12B86430D2B2421E Time : 0.0 sec. user=mdettweiler [2015-07-02 20:29:10] 679*2^1402015-1 is not prime. Res64: F7AAA93D6D27EB24 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:34:23] 763*2^1402015-1 is not prime. Res64: A511920518A4CF48 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:34:24] 789*2^1402015-1 is not prime. Res64: AB734D10D16131F5 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:34:29] 841*2^1402015-1 is not prime. Res64: 3A57200F63C5F575 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:34:29] 873*2^1402015-1 is not prime. Res64: D4A6BD6FE5AFE0C4 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:46:30] 913*2^1402015-1 is not prime. Res64: C153FDF5E95B9686 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:46:31] 915*2^1402015-1 is not prime. Res64: 97361A4F0FCDCD76 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:51:43] 933*2^1402015-1 is not prime. Res64: E6329DB68B933C00 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:51:44] 973*2^1402015-1 is not prime. Res64: 93463DBFF101C5A9 Time : 0.0 sec. user=mdettweiler [2015-07-02 20:51:50] 669*2^1402016-1 is not prime. Res64: D5C7F19BCD6E8CFA Time : 0.0 sec. user=mdettweiler [2015-07-02 20:51:50] 717*2^1402016-1 is not prime. Res64: 853EEADC59185F82 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:03:53] 869*2^1402016-1 is not prime. Res64: 22632CE4BAA7DFE2 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:03:53] 739*2^1402017-1 is not prime. Res64: FC8C972E480B6089 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:09:05] 759*2^1402017-1 is not prime. Res64: 35CBAD341A395F73 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:09:06] 781*2^1402017-1 is not prime. Res64: 118A0D87662EB24E Time : 0.0 sec. user=mdettweiler [2015-07-02 21:09:13] 865*2^1402017-1 is not prime. Res64: 544E4E0D472774C1 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:09:15] 937*2^1402017-1 is not prime. Res64: C8E83EF543E59CDB Time : 0.0 sec. user=mdettweiler [2015-07-02 21:21:30] 605*2^1402018-1 is not prime. Res64: F0CCEF0691721510 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:21:30] 681*2^1402018-1 is not prime. Res64: 73222B315B02E61B Time : 0.0 sec. user=mdettweiler [2015-07-02 21:26:35] 687*2^1402018-1 is not prime. Res64: C2B143E6F2D3388A Time : 0.0 sec. user=mdettweiler [2015-07-02 21:26:35] 755*2^1402018-1 is not prime. Res64: 41B16D2A2E2844CD Time : 0.0 sec. user=mdettweiler [2015-07-02 21:26:36] 825*2^1402018-1 is not prime. Res64: AA49F42154A0D9D8 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:26:36] 827*2^1402018-1 is not prime. Res64: 7872905F0AC0C677 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:38:50] 833*2^1402018-1 is not prime. Res64: 2A75B3F3FCCE2FBE Time : 0.0 sec. user=mdettweiler [2015-07-02 21:38:51] 843*2^1402018-1 is not prime. Res64: BF01CEF12DEBC037 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:43:55] 941*2^1402018-1 is not prime. Res64: 78E2A5BBB13171D9 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:43:56] 951*2^1402018-1 is not prime. Res64: 82C8D58DFAF18329 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:43:58] 987*2^1402018-1 is not prime. Res64: 6172F57B1D866BC5 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:43:58] 655*2^1402019-1 is not prime. Res64: 1B8FB2E65D492289 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:56:12] 663*2^1402019-1 is not prime. Res64: A3436D2B73E21851 Time : 0.0 sec. user=mdettweiler [2015-07-02 21:56:12] 931*2^1402019-1 is not prime. Res64: 303DB0C2137C756E Time : 0.0 sec. user=mdettweiler [2015-07-02 22:01:17] 955*2^1402019-1 is not prime. Res64: BF3C7B9B90054155 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:01:18] 719*2^1402020-1 is not prime. Res64: DE8397EFC7091199 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:01:21] 759*2^1402020-1 is not prime. Res64: DD448E6725541D38 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:01:22] 765*2^1402020-1 is not prime. Res64: A81BB55D1D0D1CB5 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:13:33] 681*2^1402021-1 is not prime. Res64: D4430A6F5840DFE3 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:13:34] 901*2^1402021-1 is not prime. Res64: AA349830325C3C05 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:18:54] 617*2^1402022-1 is not prime. Res64: 08B7E9D37098AB2C Time : 0.0 sec. user=mdettweiler [2015-07-02 22:18:54] 711*2^1402022-1 is not prime. Res64: C97F7ACA03E8ECBC Time : 0.0 sec. user=mdettweiler [2015-07-02 22:18:56] 939*2^1402021-1 is not prime. Res64: 367DAD9B70981A42 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:18:56] 945*2^1402021-1 is not prime. Res64: D191F40D8CA7ACE7 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:31:01] 743*2^1402022-1 is not prime. Res64: B59F5E1872A76275 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:31:02] 755*2^1402022-1 is not prime. Res64: B33B08555214E611 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:36:18] 797*2^1402022-1 is not prime. Res64: EB6F7007C0E7E0C7 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:36:19] 813*2^1402022-1 is not prime. Res64: 7C8AC4BA13A49218 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:36:19] 825*2^1402022-1 is not prime. Res64: E321E86D7BF52145 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:36:19] 935*2^1402022-1 is not prime. Res64: A78D235686CEDA97 Time : 0.0 sec. user=juhehe [2015-07-02 22:37:46] 863*2^1402020-1 is not prime. Res64: 24E3B5DA6B8EFC9E Time : 0.0 sec. user=mdettweiler [2015-07-02 22:48:22] 977*2^1402022-1 is not prime. Res64: DEA6F01E8CB0D180 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:48:23] 613*2^1402023-1 is not prime. Res64: 35C7BC39E5429DC5 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:53:40] 619*2^1402023-1 is not prime. Res64: 24FC7E4A25692382 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:53:41] 621*2^1402023-1 is not prime. Res64: 0FAE1A4A74EA8E27 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:53:41] 703*2^1402023-1 is not prime. Res64: 8711B86F280F01D3 Time : 0.0 sec. user=mdettweiler [2015-07-02 22:53:42] 709*2^1402023-1 is not prime. Res64: 4BC33CEE27A12778 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:05:45] 825*2^1402023-1 is not prime. Res64: 50037E739B6D13B8 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:05:45] 831*2^1402023-1 is not prime. Res64: E4CC4A9FD1AB4B18 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:11:04] 885*2^1402023-1 is not prime. Res64: 578D15D3A1261C33 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:11:05] 963*2^1402023-1 is not prime. Res64: 567E411CA160BD3D Time : 0.0 sec. user=mdettweiler [2015-07-02 23:11:05] 891*2^1402023-1 is not prime. Res64: B850094404F40DF5 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:11:05] 755*2^1402024-1 is not prime. Res64: 5B2DA7750B9BCBB8 Time : 0.0 sec. user=juhehe [2015-07-02 23:18:10] 739*2^1402023-1 is not prime. Res64: 6DFF295BB71FF271 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:23:05] 833*2^1402024-1 is not prime. Res64: DF9A3A3069A48F0A Time : 0.0 sec. user=mdettweiler [2015-07-02 23:23:06] 855*2^1402024-1 is not prime. Res64: 269D28B71B762065 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:28:30] 645*2^1402025-1 is not prime. Res64: 40D1412B86CE0BD1 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:28:30] 685*2^1402025-1 is not prime. Res64: 484A9B91F9A837AE Time : 0.0 sec. user=mdettweiler [2015-07-02 23:28:30] 771*2^1402025-1 is not prime. Res64: F0D10D69DF2BCABD Time : 0.0 sec. user=mdettweiler [2015-07-02 23:28:31] 871*2^1402025-1 is not prime. Res64: 02E6D8EB8F9DB887 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:40:25] 653*2^1402026-1 is not prime. Res64: 3619D37EAC0278ED Time : 0.0 sec. user=mdettweiler [2015-07-02 23:40:26] 705*2^1402026-1 is not prime. Res64: 15564BE3731320B7 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:45:50] 707*2^1402026-1 is not prime. Res64: E3685B5232B0FED6 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:45:51] 837*2^1402026-1 is not prime. Res64: 6607ED58A13C4E58 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:45:51] 875*2^1402026-1 is not prime. Res64: F60A6A57B4521F53 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:45:52] 891*2^1402026-1 is not prime. Res64: 2A7D3FCC427790BA Time : 0.0 sec. user=juhehe [2015-07-02 23:56:37] 647*2^1402026-1 is not prime. Res64: A179819B9E236B5C Time : 0.0 sec. user=mdettweiler [2015-07-02 23:57:46] 983*2^1402026-1 is not prime. Res64: A58DE52AB94287D6 Time : 0.0 sec. user=mdettweiler [2015-07-02 23:57:46] 649*2^1402027-1 is not prime. Res64: B6E7111A61AD04FE Time : 0.0 sec.