user=mdettweiler [2015-03-11 00:03:24] 675*2^1395132-1 is not prime. Res64: C9D187149DB5B61C Time : 0.0 sec. user=mdettweiler [2015-03-11 00:03:25] 737*2^1395132-1 is not prime. Res64: 89884FCC63FE709C Time : 0.0 sec. user=mdettweiler [2015-03-11 00:06:03] 819*2^1395132-1 is not prime. Res64: A7640FB4A4183682 Time : 0.0 sec. user=mdettweiler [2015-03-11 00:06:04] 769*2^1395133-1 is not prime. Res64: BA3E3701740E0052 Time : 0.0 sec. user=mdettweiler [2015-03-11 00:14:31] 817*2^1395133-1 is not prime. Res64: 61169C796C0649EB Time : 0.0 sec. user=mdettweiler [2015-03-11 00:14:31] 847*2^1395133-1 is not prime. Res64: 87CCC6FAC9FBCD08 Time : 0.0 sec. user=mdettweiler [2015-03-11 00:32:46] 897*2^1395133-1 is not prime. Res64: 90FF5B61E11C96FB Time : 0.0 sec. user=mdettweiler [2015-03-11 00:32:47] 675*2^1395134-1 is not prime. Res64: 611CACEB90D77AA4 Time : 0.0 sec. user=mdettweiler [2015-03-11 00:36:43] 683*2^1395134-1 is not prime. Res64: 0AA6C3A08746FEE1 Time : 0.0 sec. user=mdettweiler [2015-03-11 00:36:43] 731*2^1395134-1 is not prime. Res64: 38099259686D1BB7 Time : 0.0 sec. user=mdettweiler [2015-03-11 00:38:09] 785*2^1395134-1 is not prime. Res64: 7D7CBAAEEB7E89DE Time : 0.0 sec. user=mdettweiler [2015-03-11 00:38:09] 851*2^1395134-1 is not prime. Res64: EF8E685C014BD43A Time : 0.0 sec. user=mdettweiler [2015-03-11 00:44:49] 971*2^1395134-1 is not prime. Res64: E827520F452BB867 Time : 0.0 sec. user=mdettweiler [2015-03-11 00:44:49] 983*2^1395134-1 is not prime. Res64: DB4B2D6AC74EEC2B Time : 0.0 sec. user=mdettweiler [2015-03-11 01:00:07] 1001*2^1395134-1 is not prime. Res64: 9D0F4C61A19DE73D Time : 0.0 sec. user=mdettweiler [2015-03-11 01:00:07] 613*2^1395135-1 is not prime. Res64: 881047A3D1602F68 Time : 0.0 sec. user=mdettweiler [2015-03-11 01:04:10] 669*2^1395135-1 is not prime. Res64: BFC012EC153E30A0 Time : 0.0 sec. user=mdettweiler [2015-03-11 01:04:12] 723*2^1395135-1 is not prime. Res64: 0B1986237413772C Time : 0.0 sec. user=mdettweiler [2015-03-11 01:05:26] 781*2^1395135-1 is not prime. Res64: AB1FDBCBC4203FF9 Time : 0.0 sec. user=mdettweiler [2015-03-11 01:05:26] 825*2^1395135-1 is not prime. Res64: 6F3CC4079333907A Time : 0.0 sec. user=mdettweiler [2015-03-11 01:12:00] 913*2^1395135-1 is not prime. Res64: 63DDD09BE312342F Time : 0.0 sec. user=mdettweiler [2015-03-11 01:12:01] 629*2^1395136-1 is not prime. Res64: 3C93B8448372DEFA Time : 0.0 sec. user=mdettweiler [2015-03-11 01:27:02] 677*2^1395136-1 is not prime. Res64: E093A8E4FB535E72 Time : 0.0 sec. user=mdettweiler [2015-03-11 01:27:04] 773*2^1395136-1 is not prime. Res64: 42086AE7BF6E77B7 Time : 0.0 sec. user=mdettweiler [2015-03-11 01:31:52] 857*2^1395136-1 is not prime. Res64: 5BE42A4EEF2F6503 Time : 0.0 sec. user=mdettweiler [2015-03-11 01:31:54] 957*2^1395136-1 is not prime. Res64: D6486ABBB3DA8042 Time : 0.0 sec. user=mdettweiler [2015-03-11 01:32:56] 795*2^1395137-1 is not prime. Res64: F6ECAF341056BAFD Time : 0.0 sec. user=mdettweiler [2015-03-11 01:32:56] 885*2^1395137-1 is not prime. Res64: 31A693CBB7914D11 Time : 0.0 sec. user=mdettweiler [2015-03-11 01:40:27] 889*2^1395137-1 is not prime. Res64: 4E258289CB507149 Time : 0.0 sec. user=mdettweiler [2015-03-11 01:40:27] 991*2^1395137-1 is not prime. Res64: 7DC644460408A83C Time : 0.0 sec. user=mdettweiler [2015-03-11 01:55:50] 997*2^1395137-1 is not prime. Res64: 9EFE3B51A3A7C8F6 Time : 0.0 sec. user=mdettweiler [2015-03-11 01:55:51] 633*2^1395138-1 is not prime. Res64: 85E14D6FCE2D2E36 Time : 0.0 sec. user=mdettweiler [2015-03-11 02:00:35] 657*2^1395138-1 is not prime. Res64: 185D603FA5DB78EB Time : 0.0 sec. user=mdettweiler [2015-03-11 02:00:37] 683*2^1395138-1 is not prime. Res64: AC780DEEE6F5F820 Time : 0.0 sec. user=mdettweiler [2015-03-11 02:01:38] 705*2^1395138-1 is not prime. Res64: AD86B3A58E47605C Time : 0.0 sec. user=mdettweiler [2015-03-11 02:01:39] 893*2^1395138-1 is not prime. Res64: BCFBB2730B752C66 Time : 0.0 sec. user=mdettweiler [2015-03-11 02:09:27] 971*2^1395138-1 is not prime. Res64: 555171E55DBC5387 Time : 0.0 sec. user=mdettweiler [2015-03-11 02:09:27] 977*2^1395138-1 is not prime. Res64: 23DE65254528E79F Time : 0.0 sec. user=mdettweiler [2015-03-11 02:27:38] 603*2^1395139-1 is not prime. Res64: 5DB32B26C05F6133 Time : 0.0 sec. user=mdettweiler [2015-03-11 02:27:38] 615*2^1395139-1 is not prime. Res64: 88DEA885E78756CA Time : 0.0 sec. user=mdettweiler [2015-03-11 02:31:59] 633*2^1395139-1 is not prime. Res64: 3C89309AF4529DC8 Time : 0.0 sec. user=mdettweiler [2015-03-11 02:32:03] 709*2^1395139-1 is not prime. Res64: 1267370DE887A43F Time : 0.0 sec. user=mdettweiler [2015-03-11 02:49:42] 723*2^1395139-1 is not prime. Res64: E60A5790038B2866 Time : 0.0 sec. user=mdettweiler [2015-03-11 02:49:42] 741*2^1395139-1 is not prime. Res64: 1DA87FF4C36DF71B Time : 0.0 sec. user=mdettweiler [2015-03-11 02:49:49] 745*2^1395139-1 is not prime. Res64: 7B66DFDE2EA23BE1 Time : 0.0 sec. user=mdettweiler [2015-03-11 02:49:49] 859*2^1395139-1 is not prime. Res64: C5E937D4DE736D95 Time : 0.0 sec. user=mdettweiler [2015-03-11 03:03:11] 919*2^1395139-1 is not prime. Res64: A96FFCEA5F288D6F Time : 0.0 sec. user=mdettweiler [2015-03-11 03:03:12] 975*2^1395139-1 is not prime. Res64: 8111B193F296E94A Time : 0.0 sec. user=mdettweiler [2015-03-11 03:16:31] 725*2^1395140-1 is not prime. Res64: 0870B3EC56CC2646 Time : 0.0 sec. user=mdettweiler [2015-03-11 03:16:32] 843*2^1395140-1 is not prime. Res64: D59D3B7F946CFAC5 Time : 0.0 sec. user=mdettweiler [2015-03-11 03:16:36] 879*2^1395140-1 is not prime. Res64: 748FEA823AD83D6F Time : 0.0 sec. user=mdettweiler [2015-03-11 03:16:36] 897*2^1395140-1 is not prime. Res64: A42E5B62A4891655 Time : 0.0 sec. user=juhehe [2015-03-11 03:29:45] 923*2^1395140-1 is not prime. Res64: FA135D9E83067A60 Time : 0.0 sec. user=mdettweiler [2015-03-11 03:30:19] 995*2^1395140-1 is not prime. Res64: 02FF0D1AEA34AAD3 Time : 0.0 sec. user=mdettweiler [2015-03-11 03:30:21] 615*2^1395141-1 is not prime. Res64: F402A1130BDF318A Time : 0.0 sec. user=mdettweiler [2015-03-11 03:43:06] 685*2^1395141-1 is not prime. Res64: 0F9E56D3E3A91672 Time : 0.0 sec. user=mdettweiler [2015-03-11 03:43:08] 717*2^1395141-1 is not prime. Res64: 623E1886A0057286 Time : 0.0 sec. user=mdettweiler [2015-03-11 03:43:35] 727*2^1395141-1 is not prime. Res64: BEFCF334046F818F Time : 0.0 sec. user=mdettweiler [2015-03-11 03:43:37] 795*2^1395141-1 is not prime. Res64: 03F96E7A6C760CDB Time : 0.0 sec. user=mdettweiler [2015-03-11 03:57:06] 961*2^1395141-1 is not prime. Res64: 4646BF30BE0C8F0B Time : 0.0 sec. user=mdettweiler [2015-03-11 03:57:07] 681*2^1395142-1 is not prime. Res64: A271109D78300298 Time : 0.0 sec. user=juhehe [2015-03-11 03:58:34] 877*2^1395141-1 is not prime. Res64: BA42226535F774E2 Time : 0.0 sec. user=mdettweiler [2015-03-11 04:09:49] 731*2^1395142-1 is not prime. Res64: 0015E80188D494B6 Time : 0.0 sec. user=mdettweiler [2015-03-11 04:09:50] 827*2^1395142-1 is not prime. Res64: 6A5C7EB62FF63101 Time : 0.0 sec. user=mdettweiler [2015-03-11 04:10:12] 891*2^1395142-1 is not prime. Res64: E270BD3E3ECA4E20 Time : 0.0 sec. user=mdettweiler [2015-03-11 04:10:12] 619*2^1395143-1 is not prime. Res64: CC356918124EF51F Time : 0.0 sec. user=mdettweiler [2015-03-11 04:23:54] 685*2^1395143-1 is not prime. Res64: 5914742E0239F00F Time : 0.0 sec. user=mdettweiler [2015-03-11 04:23:55] 735*2^1395143-1 is not prime. Res64: B02E464ABAE9109E Time : 0.0 sec. user=mdettweiler [2015-03-11 04:35:50] 633*2^1395140-1 is not prime. Res64: 86BE5127DB86FEE0 Time : 0.0 sec. user=mdettweiler [2015-03-11 04:35:50] 665*2^1395140-1 is not prime. Res64: AAD356F55672A231 Time : 0.0 sec. user=mdettweiler [2015-03-11 04:36:23] 763*2^1395143-1 is not prime. Res64: 34170D61AEB22D38 Time : 0.0 sec. user=mdettweiler [2015-03-11 04:36:23] 889*2^1395143-1 is not prime. Res64: 7C661F440A78F8C2 Time : 0.0 sec. user=mdettweiler [2015-03-11 04:36:45] 963*2^1395143-1 is not prime. Res64: 6BF76EDC249EAE07 Time : 0.0 sec. user=mdettweiler [2015-03-11 04:36:46] 993*2^1395143-1 is not prime. Res64: 44AEA6761932F3AF Time : 0.0 sec. user=mdettweiler [2015-03-11 04:50:20] 999*2^1395143-1 is not prime. Res64: 7588FDBFE8A54D5A Time : 0.0 sec. user=mdettweiler [2015-03-11 04:50:21] 623*2^1395144-1 is not prime. Res64: 28C6EA093A07B518 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:02:05] 635*2^1395144-1 is not prime. Res64: D0614770CC5247A4 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:02:06] 707*2^1395144-1 is not prime. Res64: 1A7DD8C3D5543405 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:02:36] 737*2^1395144-1 is not prime. Res64: 2BA96AC3D5DF03AC Time : 0.0 sec. user=mdettweiler [2015-03-11 05:02:37] 759*2^1395144-1 is not prime. Res64: 8DB38B9901E4373F Time : 0.0 sec. user=mdettweiler [2015-03-11 05:03:01] 809*2^1395144-1 is not prime. Res64: 09B73BDA60B1F08D Time : 0.0 sec. user=mdettweiler [2015-03-11 05:03:03] 887*2^1395144-1 is not prime. Res64: 4CF8F45C86F69BB9 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:16:27] 909*2^1395144-1 is not prime. Res64: 13365654F1751BB9 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:16:27] 645*2^1395145-1 is not prime. Res64: D942F3721D01390B Time : 0.0 sec. user=mdettweiler [2015-03-11 05:28:29] 661*2^1395145-1 is not prime. Res64: C446EA98314497F3 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:28:30] 667*2^1395145-1 is not prime. Res64: 81AC45B9B0E058A1 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:28:42] 729*2^1395145-1 is not prime. Res64: 24B32F264A3BF204 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:28:43] 817*2^1395145-1 is not prime. Res64: 00CCD633BC185227 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:29:07] 909*2^1395145-1 is not prime. Res64: 8F80A43C9A9B22D6 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:29:07] 951*2^1395145-1 is not prime. Res64: 68F3DBAFCE7B6D08 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:42:41] 623*2^1395146-1 is not prime. Res64: 16FA9E365B448A9D Time : 0.0 sec. user=mdettweiler [2015-03-11 05:42:42] 671*2^1395146-1 is not prime. Res64: D21226ABC7A85FAB Time : 0.0 sec. user=mdettweiler [2015-03-11 05:54:29] 677*2^1395146-1 is not prime. Res64: 2CA2E8AC3B03B391 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:54:30] 735*2^1395146-1 is not prime. Res64: 78D265335A990736 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:54:45] 773*2^1395146-1 is not prime. Res64: B12C86A8169935DB Time : 0.0 sec. user=mdettweiler [2015-03-11 05:54:46] 903*2^1395146-1 is not prime. Res64: 7478F5ADF6887C30 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:55:15] 935*2^1395146-1 is not prime. Res64: AD76E446F02D8F53 Time : 0.0 sec. user=mdettweiler [2015-03-11 05:55:15] 705*2^1395147-1 is not prime. Res64: 9AC70A2BC0E2C32D Time : 0.0 sec. user=mdettweiler [2015-03-11 06:08:51] 711*2^1395147-1 is not prime. Res64: DEE4BCC850F5972A Time : 0.0 sec. user=mdettweiler [2015-03-11 06:08:51] 909*2^1395147-1 is not prime. Res64: 15DA238B52FC9051 Time : 0.0 sec. user=mdettweiler [2015-03-11 06:20:32] 663*2^1395148-1 is not prime. Res64: 76E6F9082B4F51FF Time : 0.0 sec. user=mdettweiler [2015-03-11 06:20:33] 687*2^1395148-1 is not prime. Res64: 7A35FD312D486687 Time : 0.0 sec. user=mdettweiler [2015-03-11 06:20:43] 695*2^1395148-1 is not prime. Res64: 39CEFEDF7A30FFB9 Time : 0.0 sec. user=mdettweiler [2015-03-11 06:20:44] 707*2^1395148-1 is not prime. Res64: 38A97B53E0FD3C6A Time : 0.0 sec. user=mdettweiler [2015-03-11 06:21:17] 735*2^1395148-1 is not prime. Res64: D57214FBA164A4ED Time : 0.0 sec. user=mdettweiler [2015-03-11 06:21:18] 765*2^1395148-1 is not prime. Res64: 264143C27D9953F4 Time : 0.0 sec. user=mdettweiler [2015-03-11 06:34:56] 773*2^1395148-1 is not prime. Res64: BC38AEE64893C586 Time : 0.0 sec. user=mdettweiler [2015-03-11 06:34:57] 777*2^1395148-1 is not prime. Res64: 73830D98F1F5425B Time : 0.0 sec. user=mdettweiler [2015-03-11 06:46:39] 813*2^1395148-1 is not prime. Res64: 3F4978B744EC8797 Time : 0.0 sec. user=mdettweiler [2015-03-11 06:46:39] 845*2^1395148-1 is not prime. Res64: 02C7D097155AAA6E Time : 0.0 sec. user=mdettweiler [2015-03-11 06:46:47] 915*2^1395148-1 is not prime. Res64: 7FDA8544182265DB Time : 0.0 sec. user=mdettweiler [2015-03-11 06:46:47] 645*2^1395149-1 is not prime. Res64: BD8AA11071ED06D2 Time : 0.0 sec. user=mdettweiler [2015-03-11 06:47:23] 657*2^1395149-1 is not prime. Res64: CD585AD12FBFAC20 Time : 0.0 sec. user=mdettweiler [2015-03-11 06:47:23] 685*2^1395149-1 is not prime. Res64: 2AD51A573CBD3811 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:01:10] 697*2^1395149-1 is not prime. Res64: BE0B5C82523CFE9F Time : 0.0 sec. user=mdettweiler [2015-03-11 07:01:11] 747*2^1395149-1 is not prime. Res64: 68CCCBC803149DFF Time : 0.0 sec. user=mdettweiler [2015-03-11 07:12:36] 957*2^1395149-1 is not prime. Res64: F9A375800F6D026A Time : 0.0 sec. user=mdettweiler [2015-03-11 07:12:36] 979*2^1395149-1 is not prime. Res64: 48FDA4412C6A1CB1 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:12:52] 693*2^1395150-1 is not prime. Res64: 04D3D59AE05EE006 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:12:53] 765*2^1395150-1 is not prime. Res64: 9EB67A0FF5C08395 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:13:25] 767*2^1395150-1 is not prime. Res64: 3FA6F2D3C39FE268 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:13:25] 845*2^1395150-1 is not prime. Res64: A3F77E68374138D8 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:27:15] 921*2^1395150-1 is not prime. Res64: E816B98ED2703854 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:27:15] 645*2^1395151-1 is not prime. Res64: BDA94E54F26A1DCC Time : 0.0 sec. user=mdettweiler [2015-03-11 07:38:30] 673*2^1395151-1 is not prime. Res64: E9B2B287405D83E2 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:38:31] 693*2^1395151-1 is not prime. Res64: C097097EA3B1BA25 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:38:51] 735*2^1395151-1 is not prime. Res64: 381CB1DFD512754C Time : 0.0 sec. user=mdettweiler [2015-03-11 07:38:51] 741*2^1395151-1 is not prime. Res64: EE2BBC70B829F1E1 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:39:25] 751*2^1395151-1 is not prime. Res64: 6F2093FC965B597D Time : 0.0 sec. user=mdettweiler [2015-03-11 07:39:26] 843*2^1395151-1 is not prime. Res64: 2EBA3D75BD3CCE67 Time : 0.0 sec. user=mdettweiler [2015-03-11 07:53:17] 861*2^1395151-1 is not prime. Res64: A475ECD1C34F266A Time : 0.0 sec. user=mdettweiler [2015-03-11 07:53:17] 969*2^1395151-1 is not prime. Res64: 13EE93C18173362D Time : 0.0 sec. user=mdettweiler [2015-03-11 08:04:30] 973*2^1395151-1 is not prime. Res64: 7C311FAB741EBC59 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:04:31] 999*2^1395151-1 is not prime. Res64: 0629ACECCA7CEB2F Time : 0.0 sec. user=mdettweiler [2015-03-11 08:04:47] 633*2^1395152-1 is not prime. Res64: F701FC9B10637C53 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:04:48] 693*2^1395152-1 is not prime. Res64: 84AA3B293780FF9B Time : 0.0 sec. user=mdettweiler [2015-03-11 08:05:17] 699*2^1395152-1 is not prime. Res64: C46CC038DFB24FD2 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:05:18] 719*2^1395152-1 is not prime. Res64: FAEC1595A08F1D79 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:19:13] 743*2^1395152-1 is not prime. Res64: 7940EE2BAD528175 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:19:14] 825*2^1395152-1 is not prime. Res64: E33E65C24F9A203B Time : 0.0 sec. user=mdettweiler [2015-03-11 08:30:41] 873*2^1395152-1 is not prime. Res64: CFE53A10B809ED90 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:30:42] 899*2^1395152-1 is not prime. Res64: B6451B18FBB4A755 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:30:46] 909*2^1395152-1 is not prime. Res64: 576194CF7E0A94C4 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:30:47] 959*2^1395152-1 is not prime. Res64: AC6E1E486F03055F Time : 0.0 sec. user=mdettweiler [2015-03-11 08:31:11] 995*2^1395152-1 is not prime. Res64: 6702C85FF0241E1D Time : 0.0 sec. user=mdettweiler [2015-03-11 08:31:12] 637*2^1395153-1 is not prime. Res64: 6A27AF68D9871C7E Time : 0.0 sec. user=mdettweiler [2015-03-11 08:45:08] 705*2^1395153-1 is not prime. Res64: A064DFEAC95678A0 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:45:09] 751*2^1395153-1 is not prime. Res64: FCAB07647A28FA79 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:56:33] 889*2^1395153-1 is not prime. Res64: C966A8BCD250E037 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:56:34] 915*2^1395153-1 is not prime. Res64: 2D34F1220C5AC1EF Time : 0.0 sec. user=mdettweiler [2015-03-11 08:56:46] 985*2^1395153-1 is not prime. Res64: 1EAB8E2F396E2F40 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:56:46] 611*2^1395154-1 is not prime. Res64: 289E486F75D8421E Time : 0.0 sec. user=mdettweiler [2015-03-11 08:57:06] 623*2^1395154-1 is not prime. Res64: 4CAE3E56642E6268 Time : 0.0 sec. user=mdettweiler [2015-03-11 08:57:06] 665*2^1395154-1 is not prime. Res64: FEB45B0328718172 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:11:04] 717*2^1395154-1 is not prime. Res64: CBF059CEEA7C0B76 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:11:05] 741*2^1395154-1 is not prime. Res64: AB5B940AC6B486D0 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:22:25] 755*2^1395154-1 is not prime. Res64: D0E6BEA133625246 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:22:25] 815*2^1395154-1 is not prime. Res64: 3C06F30196856DB1 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:22:51] 885*2^1395154-1 is not prime. Res64: 2B52FB085CCCA852 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:22:51] 983*2^1395154-1 is not prime. Res64: D840B207A6C96A6B Time : 0.0 sec. user=mdettweiler [2015-03-11 09:23:03] 645*2^1395155-1 is not prime. Res64: 1DE8E09CBC6508C0 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:23:04] 651*2^1395155-1 is not prime. Res64: 0C707985F40C81FB Time : 0.0 sec. user=mdettweiler [2015-03-11 09:37:00] 699*2^1395155-1 is not prime. Res64: 30C38AFCA1900DA2 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:37:01] 735*2^1395155-1 is not prime. Res64: 081CDA9BEE125FE4 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:48:21] 781*2^1395155-1 is not prime. Res64: 719BB6C185A39300 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:48:21] 885*2^1395155-1 is not prime. Res64: 4C35BC44A759A897 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:48:47] 921*2^1395155-1 is not prime. Res64: BC7C6F0DF478C07E Time : 0.0 sec. user=mdettweiler [2015-03-11 09:48:47] 623*2^1395156-1 is not prime. Res64: C7A12EDE695C9772 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:48:55] 779*2^1395156-1 is not prime. Res64: 70B55D1BD4B44175 Time : 0.0 sec. user=mdettweiler [2015-03-11 09:48:56] 809*2^1395156-1 is not prime. Res64: ECD43DDD94FEF76F Time : 0.0 sec. user=mdettweiler [2015-03-11 10:03:06] 839*2^1395156-1 is not prime. Res64: 42A3318084B33E14 Time : 0.0 sec. user=mdettweiler [2015-03-11 10:03:07] 903*2^1395156-1 is not prime. Res64: 586996D93EA81F8E Time : 0.0 sec. user=mdettweiler [2015-03-11 10:14:23] 983*2^1395156-1 is not prime. Res64: E40E5D7D657BE6C7 Time : 0.0 sec. user=mdettweiler [2015-03-11 10:14:24] 999*2^1395156-1 is not prime. Res64: 38D294C7E52D0545 Time : 0.0 sec. user=mdettweiler [2015-03-11 10:14:38] 607*2^1395157-1 is not prime. Res64: 7AA2C277BE733068 Time : 0.0 sec. user=mdettweiler [2015-03-11 10:14:39] 741*2^1395157-1 is not prime. Res64: 7967B9812B21086A Time : 0.0 sec. user=mdettweiler [2015-03-11 10:14:48] 759*2^1395157-1 is not prime. Res64: 4F501E0E979AC4CA Time : 0.0 sec. user=mdettweiler [2015-03-11 10:14:48] 817*2^1395157-1 is not prime. Res64: ED4C048E1B6601CD Time : 0.0 sec. user=mdettweiler [2015-03-11 10:29:13] 937*2^1395157-1 is not prime. Res64: 1717A3645686613E Time : 0.0 sec. user=mdettweiler [2015-03-11 10:29:13] 955*2^1395157-1 is not prime. Res64: 1AA53840F4C2D7A8 Time : 0.0 sec. user=mdettweiler [2015-03-11 10:40:19] 997*2^1395157-1 is not prime. Res64: 21C974536CBAE74C Time : 0.0 sec. user=mdettweiler [2015-03-11 10:40:20] 705*2^1395158-1 is not prime. Res64: 2CF91A938F21D5A6 Time : 0.0 sec. user=mdettweiler [2015-03-11 10:40:39] 827*2^1395158-1 is not prime. Res64: A8B1D58167B0B89E Time : 0.0 sec. user=mdettweiler [2015-03-11 10:40:40] 867*2^1395158-1 is not prime. Res64: E299FC5518D6CCDB Time : 0.0 sec. user=mdettweiler [2015-03-11 10:40:43] 987*2^1395158-1 is not prime. Res64: 04340B37A7BE6956 Time : 0.0 sec. user=mdettweiler [2015-03-11 10:40:43] 619*2^1395159-1 is not prime. Res64: A98082BA323B7969 Time : 0.0 sec. user=mdettweiler [2015-03-11 10:55:09] 661*2^1395159-1 is not prime. Res64: 7AF4581BC8EE38F4 Time : 0.0 sec. user=mdettweiler [2015-03-11 10:55:10] 663*2^1395159-1 is not prime. Res64: 3F0F150043FCC665 Time : 0.0 sec. user=mdettweiler [2015-03-11 11:06:36] 735*2^1395159-1 is not prime. Res64: 2A24F80FD77FE2B2 Time : 0.0 sec. user=mdettweiler [2015-03-11 11:06:36] 853*2^1395159-1 is not prime. Res64: 904C41E5E3C7E8DC Time : 0.0 sec. user=mdettweiler [2015-03-11 11:07:05] 885*2^1395159-1 is not prime. Res64: 0C89FA6D9308AD68 Time : 0.0 sec. user=mdettweiler [2015-03-11 11:07:05] 933*2^1395159-1 is not prime. Res64: 96E4485E467D3D5D Time : 0.0 sec. user=mdettweiler [2015-03-11 11:07:07] 949*2^1395159-1 is not prime. Res64: 9A05E7CFFA78BF7A Time : 0.0 sec. user=mdettweiler [2015-03-11 11:07:07] 955*2^1395159-1 is not prime. Res64: 10AB6ED087C733EB Time : 0.0 sec. user=mdettweiler [2015-03-11 11:22:01] 605*2^1395160-1 is not prime. Res64: 7895A4AEC2A5C675 Time : 0.0 sec. user=mdettweiler [2015-03-11 11:22:01] 645*2^1395160-1 is not prime. Res64: 490E826875168688 Time : 0.0 sec. user=mdettweiler [2015-03-11 11:33:33] 663*2^1395160-1 is not prime. Res64: 3B6113700973AE0E Time : 0.0 sec. user=mdettweiler [2015-03-11 11:33:34] 677*2^1395160-1 is not prime. Res64: 5E43C4AD98C6011C Time : 0.0 sec. user=mdettweiler [2015-03-11 11:33:49] 713*2^1395160-1 is not prime. Res64: ACCE1248DC3EBBD1 Time : 0.0 sec. user=mdettweiler [2015-03-11 11:33:49] 827*2^1395160-1 is not prime. Res64: AB1B152422E9A91B Time : 0.0 sec. user=mdettweiler [2015-03-11 11:33:53] 839*2^1395160-1 is not prime. Res64: F1F62E8246A2697B Time : 0.0 sec. user=mdettweiler [2015-03-11 11:33:54] 857*2^1395160-1 is not prime. Res64: FC339E5DEA2A56BA Time : 0.0 sec. user=mdettweiler [2015-03-11 11:51:53] 909*2^1395160-1 is not prime. Res64: FBB992983A81B08C Time : 0.0 sec. user=mdettweiler [2015-03-11 11:51:54] 601*2^1395161-1 is not prime. Res64: 64350DE963B62838 Time : 0.0 sec. user=mdettweiler [2015-03-11 12:05:12] 645*2^1395161-1 is not prime. Res64: AF131D7A8D90CC3E Time : 0.0 sec. user=mdettweiler [2015-03-11 12:05:13] 691*2^1395161-1 is not prime. Res64: E29DA69F86BBB5D9 Time : 0.0 sec. user=mdettweiler [2015-03-11 12:05:57] 795*2^1395161-1 is not prime. Res64: 9B09847EA7117412 Time : 0.0 sec. user=mdettweiler [2015-03-11 12:05:58] 879*2^1395161-1 is not prime. Res64: A46C394856D45D73 Time : 0.0 sec. user=mdettweiler [2015-03-11 12:06:50] 697*2^1395161-1 is not prime. Res64: E73A8FA35583171D Time : 0.0 sec. user=mdettweiler [2015-03-11 12:06:51] 741*2^1395161-1 is not prime. Res64: 52BCDF28E732E9A5 Time : 0.0 sec. user=mdettweiler [2015-03-11 12:22:02] 991*2^1395161-1 is not prime. Res64: 6558E2652301354C Time : 0.0 sec. user=mdettweiler [2015-03-11 12:22:02] 633*2^1395162-1 is not prime. Res64: B6B8117BE6617265 Time : 0.0 sec. user=mdettweiler [2015-03-11 12:33:47] 983*2^1395162-1 is not prime. Res64: 964AF23203A83937 Time : 0.0 sec. user=mdettweiler [2015-03-11 12:33:47] 631*2^1395163-1 is not prime. Res64: C4E4E5657804EBF9 Time : 0.0 sec. user=mdettweiler [2015-03-11 12:34:14] 679*2^1395163-1 is not prime. Res64: A4811A3FBD189C6D Time : 0.0 sec. user=mdettweiler [2015-03-11 12:34:15] 813*2^1395163-1 is not prime. Res64: 493B55A5FCBAC841 Time : 0.0 sec. user=mdettweiler [2015-03-11 12:34:59] 853*2^1395163-1 is not prime. Res64: 918C125A2955E7FA Time : 0.0 sec. user=mdettweiler [2015-03-11 12:34:59] 873*2^1395163-1 is not prime. Res64: 6713B221BA9A6A70 Time : 0.0 sec. user=mdettweiler [2015-03-11 12:49:14] 883*2^1395163-1 is not prime. Res64: EA16AAD7EF5489BD Time : 0.0 sec. user=mdettweiler [2015-03-11 12:49:15] 635*2^1395164-1 is not prime. Res64: 35DFF7296CA8DB20 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:00:29] 687*2^1395164-1 is not prime. Res64: D7EC56761B4A6A8E Time : 0.0 sec. user=mdettweiler [2015-03-11 13:00:30] 753*2^1395164-1 is not prime. Res64: CA00628D38A45BEA Time : 0.0 sec. user=mdettweiler [2015-03-11 13:00:59] 819*2^1395164-1 is not prime. Res64: 6F1A8ACFD33AA966 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:01:00] 855*2^1395164-1 is not prime. Res64: B1E927EB2F1979FA Time : 0.0 sec. user=mdettweiler [2015-03-11 13:01:30] 923*2^1395164-1 is not prime. Res64: EC16782512F1A2CF Time : 0.0 sec. user=mdettweiler [2015-03-11 13:01:31] 929*2^1395164-1 is not prime. Res64: 2717B68B1307ED5A Time : 0.0 sec. user=mdettweiler [2015-03-11 13:15:26] 699*2^1395165-1 is not prime. Res64: B55B74BA4B67C4CF Time : 0.0 sec. user=mdettweiler [2015-03-11 13:15:26] 727*2^1395165-1 is not prime. Res64: 7850A6482C1363CC Time : 0.0 sec. user=juhehe [2015-03-11 13:17:21] 657*2^1395165-1 is not prime. Res64: 57284E0431826595 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:26:32] 787*2^1395165-1 is not prime. Res64: B8CF1B982A42DEC8 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:26:32] 859*2^1395165-1 is not prime. Res64: 0FF44AF19EA72136 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:27:14] 891*2^1395165-1 is not prime. Res64: 8D7DD0E3476B1596 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:27:14] 895*2^1395165-1 is not prime. Res64: 13CE945310B4AE99 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:27:34] 919*2^1395165-1 is not prime. Res64: 6A8AE3207BE12ADE Time : 0.0 sec. user=mdettweiler [2015-03-11 13:27:34] 979*2^1395165-1 is not prime. Res64: 74A65248E0FCAC61 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:41:33] 695*2^1395166-1 is not prime. Res64: 25E6E085DDAB6D63 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:41:34] 741*2^1395166-1 is not prime. Res64: 2540AE842E9D182B Time : 0.0 sec. user=mdettweiler [2015-03-11 13:52:39] 887*2^1395166-1 is not prime. Res64: 9A559E73B5E3DBCA Time : 0.0 sec. user=mdettweiler [2015-03-11 13:52:39] 903*2^1395166-1 is not prime. Res64: 18E9FA59051161D8 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:53:12] 917*2^1395166-1 is not prime. Res64: 85B39F662B0ECBD9 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:53:13] 947*2^1395166-1 is not prime. Res64: 4F1AFBB7F2FCF99E Time : 0.0 sec. user=mdettweiler [2015-03-11 13:53:39] 603*2^1395167-1 is not prime. Res64: 895470CC06C07437 Time : 0.0 sec. user=mdettweiler [2015-03-11 13:53:40] 729*2^1395167-1 is not prime. Res64: 04C022226383D4C6 Time : 0.0 sec. user=mdettweiler [2015-03-11 14:07:40] 741*2^1395167-1 is not prime. Res64: 1BF5B8C586EA4FC8 Time : 0.0 sec. user=mdettweiler [2015-03-11 14:07:40] 895*2^1395167-1 is not prime. Res64: 0915E6310CEA0BF7 Time : 0.0 sec. user=mdettweiler [2015-03-11 14:19:14] 629*2^1395168-1 is not prime. Res64: 80444684E1647F6C Time : 0.0 sec. user=mdettweiler [2015-03-11 14:19:15] 713*2^1395168-1 is not prime. Res64: 70CA613F6573DCD9 Time : 0.0 sec. user=mdettweiler [2015-03-11 14:19:49] 845*2^1395168-1 is not prime. Res64: 501349CD5D25F869 Time : 0.0 sec. user=mdettweiler [2015-03-11 14:19:49] 875*2^1395168-1 is not prime. Res64: 46DFD2E25D5F0F93 Time : 0.0 sec. user=mdettweiler [2015-03-11 14:20:15] 619*2^1395169-1 is not prime. Res64: D7E4F13436134C3F Time : 0.0 sec. user=mdettweiler [2015-03-11 14:20:15] 835*2^1395169-1 is not prime. Res64: A5B3128F192175BB Time : 0.0 sec. user=mdettweiler [2015-03-11 14:35:05] 885*2^1395169-1 is not prime. Res64: F587CB1155E92A5B Time : 0.0 sec. user=mdettweiler [2015-03-11 14:35:06] 997*2^1395169-1 is not prime. Res64: 85DD9077C8D2F67D Time : 0.0 sec. user=mdettweiler [2015-03-11 14:46:16] 615*2^1395170-1 is not prime. Res64: A8A9218FED541721 Time : 0.0 sec. user=mdettweiler [2015-03-11 14:46:16] 665*2^1395170-1 is not prime. Res64: 146BF4188A6EFA34 Time : 0.0 sec. user=mdettweiler [2015-03-11 14:46:30] 741*2^1395170-1 is not prime. Res64: 8E016B2FCD9ED4F6 Time : 0.0 sec. user=mdettweiler [2015-03-11 14:46:30] 743*2^1395170-1 is not prime. Res64: 26663A62DE7A51FC Time : 0.0 sec. user=mdettweiler [2015-03-11 14:47:24] 783*2^1395170-1 is not prime. Res64: BBCFC14F44F99FC0 Time : 0.0 sec. user=mdettweiler [2015-03-11 14:47:24] 845*2^1395170-1 is not prime. Res64: D448C244BD3A22D2 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:02:08] 619*2^1395171-1 is not prime. Res64: EAFDC39586B92EAE Time : 0.0 sec. user=mdettweiler [2015-03-11 15:02:09] 625*2^1395171-1 is not prime. Res64: B0916E40A4A02182 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:12:52] 649*2^1395171-1 is not prime. Res64: C3262EBF8C8B2FAB Time : 0.0 sec. user=mdettweiler [2015-03-11 15:12:53] 805*2^1395171-1 is not prime. Res64: 9F078A3B6A2E4C04 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:13:09] 829*2^1395171-1 is not prime. Res64: 0D190BB296EAE990 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:13:10] 975*2^1395171-1 is not prime. Res64: 2134A7F42F919AAA Time : 0.0 sec. user=mdettweiler [2015-03-11 15:13:58] 991*2^1395171-1 is not prime. Res64: D37553742248B3D0 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:13:58] 665*2^1395172-1 is not prime. Res64: BC309F75E80B65A0 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:29:04] 723*2^1395172-1 is not prime. Res64: 885086FBBE22ED97 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:29:05] 873*2^1395172-1 is not prime. Res64: D44373693CB86F78 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:39:58] 903*2^1395172-1 is not prime. Res64: 6D94DB75A734E1CE Time : 0.0 sec. user=mdettweiler [2015-03-11 15:39:59] 929*2^1395172-1 is not prime. Res64: D464E43A6D7A7A09 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:40:18] 619*2^1395173-1 is not prime. Res64: 96E18DEA938ADB70 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:40:18] 691*2^1395173-1 is not prime. Res64: 4FFFD5BB0088F795 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:41:20] 769*2^1395173-1 is not prime. Res64: F6DAEA625E3FE705 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:41:20] 787*2^1395173-1 is not prime. Res64: 25C52A06FAC44E60 Time : 0.0 sec. user=mdettweiler [2015-03-11 15:56:25] 837*2^1395173-1 is not prime. Res64: 2439C2268623EFBD Time : 0.0 sec. user=mdettweiler [2015-03-11 15:56:25] 879*2^1395173-1 is not prime. Res64: 4B3032FD4A5FD814 Time : 0.0 sec. user=mdettweiler [2015-03-11 16:06:59] 795*2^1395174-1 is not prime. Res64: 60D98FB1C7556DCE Time : 0.0 sec. user=mdettweiler [2015-03-11 16:07:00] 851*2^1395174-1 is not prime. Res64: FBC7E01181FB633D Time : 0.0 sec. user=mdettweiler [2015-03-11 16:07:17] 903*2^1395174-1 is not prime. Res64: 18D3C6372EAA852A Time : 0.0 sec. user=mdettweiler [2015-03-11 16:07:18] 941*2^1395174-1 is not prime. Res64: 26F73716546031D1 Time : 0.0 sec. user=mdettweiler [2015-03-11 16:08:23] 601*2^1395175-1 is not prime. Res64: F8F22719C7CEE6C3 Time : 0.0 sec. user=mdettweiler [2015-03-11 16:08:24] 759*2^1395175-1 is not prime. Res64: C5B2918B58618D6D Time : 0.0 sec. user=mdettweiler [2015-03-11 16:23:21] 793*2^1395175-1 is not prime. Res64: 48AE8F5AC6295BD1 Time : 0.0 sec. user=mdettweiler [2015-03-11 16:23:21] 841*2^1395175-1 is not prime. Res64: 58058F1FF28C70F5 Time : 0.0 sec. user=mdettweiler [2015-03-11 16:34:13] 895*2^1395175-1 is not prime. Res64: 04B3FDDDCB87EB0A Time : 0.0 sec. user=mdettweiler [2015-03-11 16:34:13] 913*2^1395175-1 is not prime. Res64: F51F9FCF54683D63 Time : 0.0 sec. user=mdettweiler [2015-03-11 16:34:25] 915*2^1395175-1 is not prime. Res64: F27A090E9FFF02C0 Time : 0.0 sec. user=mdettweiler [2015-03-11 16:34:25] 969*2^1395175-1 is not prime. Res64: 15A7A6AFDF82FA8F Time : 0.0 sec. user=mdettweiler [2015-03-11 16:35:28] 717*2^1395176-1 is not prime. Res64: 579D72B5F6E00AD3 Time : 0.0 sec. user=mdettweiler [2015-03-11 16:35:28] 785*2^1395176-1 is not prime. Res64: 696D47987776A74F Time : 0.0 sec. user=mdettweiler [2015-03-11 16:50:21] 803*2^1395176-1 is not prime. Res64: ACB4B3BA4A019525 Time : 0.0 sec. user=mdettweiler [2015-03-11 16:50:22] 827*2^1395176-1 is not prime. Res64: AC3E7D893F59D41E Time : 0.0 sec. user=mdettweiler [2015-03-11 17:01:25] 835*2^1395177-1 is not prime. Res64: 710C3E82AD4C7AC0 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:01:26] 843*2^1395176-1 is not prime. Res64: 74A73AF7C43DFF56 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:01:27] 681*2^1395177-1 is not prime. Res64: E7F4104A8F7145E5 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:01:27] 871*2^1395177-1 is not prime. Res64: 3D5B88296F117721 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:02:19] 915*2^1395177-1 is not prime. Res64: F0653F6659B11B42 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:02:20] 605*2^1395178-1 is not prime. Res64: 2A2F75B94B82DACC Time : 0.0 sec. user=mdettweiler [2015-03-11 17:16:54] 681*2^1395178-1 is not prime. Res64: D0AFCF37E0C39FB6 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:16:55] 801*2^1395178-1 is not prime. Res64: 5E4FE0E6F80B6D65 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:28:08] 845*2^1395178-1 is not prime. Res64: 544A03EFB1F298A6 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:28:09] 941*2^1395178-1 is not prime. Res64: 8ACD4BDEAC5BF316 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:28:19] 813*2^1395178-1 is not prime. Res64: 0C9F6180F91424AA Time : 0.0 sec. user=mdettweiler [2015-03-11 17:28:19] 945*2^1395178-1 is not prime. Res64: 21D45E245BFFE3CE Time : 0.0 sec. user=mdettweiler [2015-03-11 17:28:42] 981*2^1395178-1 is not prime. Res64: 1B4AF9467E3CD11C Time : 0.0 sec. user=mdettweiler [2015-03-11 17:28:42] 615*2^1395179-1 is not prime. Res64: 7B18D2058B066BD5 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:43:04] 663*2^1395179-1 is not prime. Res64: 259C88B414CF1CB8 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:43:05] 675*2^1395179-1 is not prime. Res64: 8E5C54DDF8229F98 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:54:19] 711*2^1395179-1 is not prime. Res64: 5AF5019EC8C6B40F Time : 0.0 sec. user=mdettweiler [2015-03-11 17:54:19] 735*2^1395179-1 is not prime. Res64: 0A5681A939C5D0D8 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:54:28] 753*2^1395179-1 is not prime. Res64: 2CF25E166F46BADC Time : 0.0 sec. user=mdettweiler [2015-03-11 17:54:28] 943*2^1395179-1 is not prime. Res64: B2A04A0632573A80 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:54:55] 979*2^1395179-1 is not prime. Res64: 0B4225EDD5D4E7F0 Time : 0.0 sec. user=mdettweiler [2015-03-11 17:54:55] 629*2^1395180-1 is not prime. Res64: D90654E69953A917 Time : 0.0 sec. user=mdettweiler [2015-03-11 18:09:35] 695*2^1395180-1 is not prime. Res64: 078205563426107D Time : 0.0 sec. user=mdettweiler [2015-03-11 18:09:36] 795*2^1395180-1 is not prime. Res64: 0E622E12EFE3F1EA Time : 0.0 sec. user=mdettweiler [2015-03-11 18:20:30] 845*2^1395180-1 is not prime. Res64: DF485C945498828A Time : 0.0 sec. user=mdettweiler [2015-03-11 18:20:31] 983*2^1395180-1 is not prime. Res64: 3049957FE34FAE76 Time : 0.0 sec. user=mdettweiler [2015-03-11 18:20:39] 987*2^1395180-1 is not prime. Res64: F824E32CEA9056DE Time : 0.0 sec. user=mdettweiler [2015-03-11 18:20:40] 679*2^1395181-1 is not prime. Res64: 6AF7DEAD769416D7 Time : 0.0 sec. user=mdettweiler [2015-03-11 18:21:04] 717*2^1395181-1 is not prime. Res64: C632185343A32512 Time : 0.0 sec. user=mdettweiler [2015-03-11 18:21:05] 861*2^1395181-1 is not prime. Res64: 8EDE90B18E1E08CE Time : 0.0 sec. user=mdettweiler [2015-03-11 18:37:14] 945*2^1395181-1 is not prime. Res64: 1AC9BEF6C31CAE65 Time : 0.0 sec. user=mdettweiler [2015-03-11 18:37:14] 987*2^1395181-1 is not prime. Res64: 50D3BE074A09D285 Time : 0.0 sec. user=mdettweiler [2015-03-11 18:48:47] 711*2^1395182-1 is not prime. Res64: 904CCE2D768A62EA Time : 0.0 sec. user=mdettweiler [2015-03-11 18:48:47] 713*2^1395182-1 is not prime. Res64: 78FD7DB8CEAD3454 Time : 0.0 sec. user=mdettweiler [2015-03-11 18:48:49] 741*2^1395182-1 is not prime. Res64: C8F3CA283B65E5A6 Time : 0.0 sec. user=mdettweiler [2015-03-11 18:48:49] 801*2^1395182-1 is not prime. Res64: B24414FEF917EABA Time : 0.0 sec. user=mdettweiler [2015-03-11 18:49:16] 887*2^1395182-1 is not prime. Res64: 6B6C742A158B8406 Time : 0.0 sec. user=mdettweiler [2015-03-11 18:49:17] 705*2^1395183-1 is not prime. Res64: 8DED7CCD579FB2D1 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:04:06] 735*2^1395183-1 is not prime. Res64: 8541BD2ED10BC12E Time : 0.0 sec. user=mdettweiler [2015-03-11 19:04:07] 765*2^1395183-1 is not prime. Res64: B835C52F953F9FC7 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:15:39] 853*2^1395183-1 is not prime. Res64: 39E0D3A62AA9C80D Time : 0.0 sec. user=mdettweiler [2015-03-11 19:15:39] 951*2^1395183-1 is not prime. Res64: B677CF896480788A Time : 0.0 sec. user=mdettweiler [2015-03-11 19:15:42] 961*2^1395183-1 is not prime. Res64: 07934BD0989F4EF9 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:15:42] 985*2^1395183-1 is not prime. Res64: F5499C5DB738112E Time : 0.0 sec. user=mdettweiler [2015-03-11 19:16:10] 645*2^1395184-1 is not prime. Res64: 0BA03942C60A5BCE Time : 0.0 sec. user=mdettweiler [2015-03-11 19:16:11] 657*2^1395184-1 is not prime. Res64: D002E1609A5F48E3 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:31:21] 695*2^1395184-1 is not prime. Res64: 672347847EDDA9D1 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:31:22] 717*2^1395184-1 is not prime. Res64: 07779D8385E90353 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:42:23] 855*2^1395184-1 is not prime. Res64: 766B91694BAD99DB Time : 0.0 sec. user=mdettweiler [2015-03-11 19:42:23] 887*2^1395184-1 is not prime. Res64: 275830FD4399D993 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:42:23] 773*2^1395184-1 is not prime. Res64: 302C5D769E5DD812 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:42:24] 825*2^1395184-1 is not prime. Res64: BDF0E5385E288A6A Time : 0.0 sec. user=mdettweiler [2015-03-11 19:43:03] 993*2^1395184-1 is not prime. Res64: 59833CCC707B3643 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:43:03] 805*2^1395185-1 is not prime. Res64: 626B2ADEB2D2BBE9 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:58:15] 847*2^1395185-1 is not prime. Res64: 430AEE5FC2518487 Time : 0.0 sec. user=mdettweiler [2015-03-11 19:58:15] 641*2^1395186-1 is not prime. Res64: FA1C3BF68B8F3802 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:09:10] 815*2^1395186-1 is not prime. Res64: EF5742729156F9D3 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:09:10] 837*2^1395186-1 is not prime. Res64: 32A399E5BF1F9BE4 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:09:12] 755*2^1395186-1 is not prime. Res64: AC5A1E7A2A892AE7 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:09:12] 803*2^1395186-1 is not prime. Res64: 8006763EEFE0C1A6 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:10:02] 867*2^1395186-1 is not prime. Res64: 8EE228CDD48A9638 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:10:02] 873*2^1395186-1 is not prime. Res64: F6275053CDCDF18A Time : 0.0 sec. user=mdettweiler [2015-03-11 20:25:01] 887*2^1395186-1 is not prime. Res64: 37449A7954598B45 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:25:02] 893*2^1395186-1 is not prime. Res64: 8CAD21C96D98CA5C Time : 0.0 sec. user=mdettweiler [2015-03-11 20:36:02] 971*2^1395186-1 is not prime. Res64: 07A0698D985D1ACB Time : 0.0 sec. user=mdettweiler [2015-03-11 20:36:03] 639*2^1395187-1 is not prime. Res64: 9F04B006CF79B361 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:36:07] 675*2^1395187-1 is not prime. Res64: EFAB1547C1F703E2 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:36:08] 691*2^1395187-1 is not prime. Res64: EB7B0A7F7B684C7A Time : 0.0 sec. user=mdettweiler [2015-03-11 20:36:56] 843*2^1395187-1 is not prime. Res64: 51B184BE0A6057B6 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:36:57] 883*2^1395187-1 is not prime. Res64: AE65B5A7CC29013B Time : 0.0 sec. user=mdettweiler [2015-03-11 20:51:28] 885*2^1395187-1 is not prime. Res64: 684C378AC28F3FE4 Time : 0.0 sec. user=mdettweiler [2015-03-11 20:51:28] 901*2^1395187-1 is not prime. Res64: 0ED9D00879DF4BE1 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:02:16] 961*2^1395187-1 is not prime. Res64: D9031B4E7D4769DF Time : 0.0 sec. user=mdettweiler [2015-03-11 21:02:17] 975*2^1395187-1 is not prime. Res64: 84F7885618C434E8 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:02:29] 669*2^1395188-1 is not prime. Res64: 4E9EAB0FB97E25E2 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:02:30] 725*2^1395188-1 is not prime. Res64: FBF6A9F862C1197C Time : 0.0 sec. user=mdettweiler [2015-03-11 21:02:57] 885*2^1395188-1 is not prime. Res64: 5404E4F7C5A114DD Time : 0.0 sec. user=mdettweiler [2015-03-11 21:02:58] 963*2^1395188-1 is not prime. Res64: 2793AF19D3C3ABA5 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:17:33] 655*2^1395189-1 is not prime. Res64: 8FA798658118D6A2 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:17:33] 711*2^1395189-1 is not prime. Res64: C95CA0F75F514D29 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:28:45] 945*2^1395189-1 is not prime. Res64: 37A4AA16E4B429E6 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:28:45] 975*2^1395189-1 is not prime. Res64: 7B90BCD1861E5EEA Time : 0.0 sec. user=mdettweiler [2015-03-11 21:28:51] 611*2^1395190-1 is not prime. Res64: B4430C5E9A57FF0C Time : 0.0 sec. user=mdettweiler [2015-03-11 21:28:51] 695*2^1395190-1 is not prime. Res64: 9DE179821FD86D17 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:29:02] 755*2^1395190-1 is not prime. Res64: C8EE5FD4CF4955E8 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:29:03] 801*2^1395190-1 is not prime. Res64: D500280FB86349BE Time : 0.0 sec. user=mdettweiler [2015-03-11 21:43:43] 861*2^1395190-1 is not prime. Res64: CD767D83BE3F56B8 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:43:43] 863*2^1395190-1 is not prime. Res64: E9E855BF76486DD1 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:54:54] 619*2^1395191-1 is not prime. Res64: E6C488178C4E7D42 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:54:55] 669*2^1395191-1 is not prime. Res64: 00CCFC5AC6A563A0 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:54:56] 813*2^1395191-1 is not prime. Res64: C27179236E6A5F5E Time : 0.0 sec. user=mdettweiler [2015-03-11 21:54:56] 901*2^1395191-1 is not prime. Res64: BC0367DC8EB6FD01 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:55:09] 981*2^1395191-1 is not prime. Res64: 11C570F4FE957FF5 Time : 0.0 sec. user=mdettweiler [2015-03-11 21:55:09] 629*2^1395192-1 is not prime. Res64: 0A14FB2E37EEEFBB Time : 0.0 sec. user=mdettweiler [2015-03-11 22:09:47] 635*2^1395192-1 is not prime. Res64: 49C40B80205AE732 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:09:47] 675*2^1395192-1 is not prime. Res64: 45431E135D9939F0 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:20:56] 747*2^1395192-1 is not prime. Res64: 123EAA6C16B0A062 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:20:56] 923*2^1395192-1 is not prime. Res64: 4B66DB4E325CD798 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:20:57] 687*2^1395193-1 is not prime. Res64: 972568901E1D0BD1 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:20:58] 747*2^1395193-1 is not prime. Res64: 3B0673A6B028A155 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:21:08] 765*2^1395193-1 is not prime. Res64: B46914EAC1162DA2 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:21:09] 847*2^1395193-1 is not prime. Res64: 9F9244A3DBBD96D4 Time : 0.0 sec. user=juhehe [2015-03-11 22:32:17] 895*2^1395193-1 is not prime. Res64: D62C62CA71FABC0C Time : 0.0 sec. user=mdettweiler [2015-03-11 22:36:22] 957*2^1395193-1 is not prime. Res64: 6EE6E17E0E954D41 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:36:22] 641*2^1395194-1 is not prime. Res64: 941AA9191DBDFF2D Time : 0.0 sec. user=mdettweiler [2015-03-11 22:47:08] 731*2^1395194-1 is not prime. Res64: 5BD8B0B29CAC4AB7 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:47:08] 755*2^1395194-1 is not prime. Res64: DE882EAD981C86C3 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:47:25] 773*2^1395194-1 is not prime. Res64: BA289EE513C54527 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:47:25] 797*2^1395194-1 is not prime. Res64: 31233D1E1A9832DB Time : 0.0 sec. user=mdettweiler [2015-03-11 22:47:44] 827*2^1395194-1 is not prime. Res64: FCD46A885820DB61 Time : 0.0 sec. user=mdettweiler [2015-03-11 22:47:44] 831*2^1395194-1 is not prime. Res64: EF32E65232B9907C Time : 0.0 sec. user=mdettweiler [2015-03-11 23:02:23] 851*2^1395194-1 is not prime. Res64: 9161DB2636A33B91 Time : 0.0 sec. user=mdettweiler [2015-03-11 23:02:24] 885*2^1395194-1 is not prime. Res64: B88564B0FAF542BB Time : 0.0 sec. user=mdettweiler [2015-03-11 23:13:09] 915*2^1395194-1 is not prime. Res64: BEE29D1183B97D79 Time : 0.0 sec. user=mdettweiler [2015-03-11 23:13:09] 921*2^1395194-1 is not prime. Res64: E0203D836DB01A6C Time : 0.0 sec. user=mdettweiler [2015-03-11 23:13:26] 951*2^1395194-1 is not prime. Res64: FD2A20C03BFAFF0D Time : 0.0 sec. user=mdettweiler [2015-03-11 23:13:26] 619*2^1395195-1 is not prime. Res64: F94AE0A2AB12B161 Time : 0.0 sec. user=mdettweiler [2015-03-11 23:13:42] 765*2^1395195-1 is not prime. Res64: AAC5D02C35963E3C Time : 0.0 sec. user=mdettweiler [2015-03-11 23:13:43] 819*2^1395195-1 is not prime. Res64: ED76743D7356E940 Time : 0.0 sec. user=mdettweiler [2015-03-11 23:28:46] 849*2^1395195-1 is not prime. Res64: 4D3C65250663405E Time : 0.0 sec. user=mdettweiler [2015-03-11 23:28:46] 859*2^1395195-1 is not prime. Res64: 51442EA10A775B9D Time : 0.0 sec. user=mdettweiler [2015-03-11 23:39:06] 693*2^1395196-1 is not prime. Res64: C3128BCF1799DD49 Time : 0.0 sec. user=mdettweiler [2015-03-11 23:39:07] 825*2^1395196-1 is not prime. Res64: C7180772982388F9 Time : 0.0 sec. user=mdettweiler [2015-03-11 23:39:21] 867*2^1395197-1 is not prime. Res64: CC9AA9E79A1CF35A Time : 0.0 sec. user=mdettweiler [2015-03-11 23:39:21] 635*2^1395198-1 is not prime. Res64: 6873346C053443C2 Time : 0.0 sec. user=mdettweiler [2015-03-11 23:39:46] 657*2^1395198-1 is not prime. Res64: BB49A3FA152DC95E Time : 0.0 sec. user=mdettweiler [2015-03-11 23:39:46] 663*2^1395198-1 is not prime. Res64: 9B01E005B89E22E7 Time : 0.0 sec. user=mdettweiler [2015-03-11 23:58:07] 693*2^1395198-1 is not prime. Res64: AAE6BB10DBC0B243 Time : 0.0 sec. user=mdettweiler [2015-03-11 23:58:07] 867*2^1395198-1 is not prime. Res64: F3CF04BD3F827A9F Time : 0.0 sec.