user=mdettweiler [2016-10-06 00:30:11] 861*2^1441829-1 is not prime. Res64: 9F9C7BA27FFA569D Time : 0.0 sec. user=mdettweiler [2016-10-06 00:30:11] 951*2^1441829-1 is not prime. Res64: 032BA3641DA14229 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:30:12] 969*2^1441829-1 is not prime. Res64: 9913E6E7AA1D7392 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:30:13] 723*2^1441830-1 is not prime. Res64: B823E63235923876 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:30:13] 765*2^1441830-1 is not prime. Res64: 64527C407722304A Time : 0.0 sec. user=mdettweiler [2016-10-06 00:35:08] 783*2^1441830-1 is not prime. Res64: 56F1F6F685D66C70 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:35:09] 825*2^1441830-1 is not prime. Res64: 0E593AEBD27521C4 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:35:09] 863*2^1441830-1 is not prime. Res64: A164FD2FE48046C5 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:35:10] 875*2^1441830-1 is not prime. Res64: 9E03B2A6788BBF5B Time : 0.0 sec. user=mdettweiler [2016-10-06 00:35:10] 619*2^1441831-1 is not prime. Res64: 608601C6E535A207 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:43:52] 651*2^1441831-1 is not prime. Res64: BFF89B5C20B60B90 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:43:53] 675*2^1441831-1 is not prime. Res64: F3CE2FD00619E490 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:43:53] 979*2^1441831-1 is not prime. Res64: 12E2DBBAF91F94FA Time : 0.0 sec. user=mdettweiler [2016-10-06 00:43:54] 609*2^1441832-1 is not prime. Res64: 3965BFD083C4BA8E Time : 0.0 sec. user=mdettweiler [2016-10-06 00:43:54] 629*2^1441832-1 is not prime. Res64: 8A1D31AD1DEE8D5D Time : 0.0 sec. user=mdettweiler [2016-10-06 00:44:20] 675*2^1441832-1 is not prime. Res64: 52507314BEAB47F7 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:44:21] 803*2^1441832-1 is not prime. Res64: 615CA8B63270FC63 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:44:21] 825*2^1441832-1 is not prime. Res64: A61C24BAFF3A9726 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:44:21] 827*2^1441832-1 is not prime. Res64: D3E074221A9CA139 Time : 0.0 sec. user=mdettweiler [2016-10-06 00:44:22] 897*2^1441832-1 is not prime. Res64: B5CC19D5F71F3782 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:15:41] 977*2^1441832-1 is not prime. Res64: 670D2D52B61AB198 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:15:42] 627*2^1441833-1 is not prime. Res64: 74EB33E683794353 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:15:42] 649*2^1441833-1 is not prime. Res64: F680E38A3390BB3E Time : 0.0 sec. user=mdettweiler [2016-10-06 01:15:43] 657*2^1441833-1 is not prime. Res64: 5D20E2AB97CEB3D7 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:15:43] 985*2^1441833-1 is not prime. Res64: A5DC41100A328378 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:20:19] 623*2^1441834-1 is not prime. Res64: AE5C343867E7FA51 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:20:20] 665*2^1441834-1 is not prime. Res64: A766E0998808C060 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:20:21] 861*2^1441834-1 is not prime. Res64: 3EAC637E386B510B Time : 0.0 sec. user=mdettweiler [2016-10-06 01:20:21] 923*2^1441834-1 is not prime. Res64: AAABB4D208A9A225 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:20:22] 975*2^1441834-1 is not prime. Res64: 1DD5A6C89F061257 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:29:18] 601*2^1441835-1 is not prime. Res64: B1563AA91D5E7779 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:29:19] 783*2^1441835-1 is not prime. Res64: F119713A12A26B24 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:29:20] 789*2^1441835-1 is not prime. Res64: 0866760F0DED1FEB Time : 0.0 sec. user=mdettweiler [2016-10-06 01:29:21] 855*2^1441835-1 is not prime. Res64: 77736A6BA29B6253 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:29:22] 861*2^1441835-1 is not prime. Res64: 88F757C0501AA885 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:29:41] 913*2^1441835-1 is not prime. Res64: 750D6EFFE4E79FAE Time : 0.0 sec. user=mdettweiler [2016-10-06 01:29:42] 969*2^1441835-1 is not prime. Res64: 59D6CA65085D698E Time : 0.0 sec. user=mdettweiler [2016-10-06 01:29:44] 695*2^1441836-1 is not prime. Res64: 675276046686EA90 Time : 0.0 sec. user=mdettweiler [2016-10-06 01:29:45] 867*2^1441836-1 is not prime. Res64: 67A2552735F9853A Time : 0.0 sec. user=mdettweiler [2016-10-06 01:29:46] 909*2^1441836-1 is not prime. Res64: 749012B5A414AC85 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:01:15] 849*2^1441837-1 is not prime. Res64: 8543834EBF5845B1 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:01:16] 861*2^1441837-1 is not prime. Res64: A2D40AEC94D9BFE3 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:01:17] 871*2^1441837-1 is not prime. Res64: 7911138C7A54182F Time : 0.0 sec. user=mdettweiler [2016-10-06 02:01:18] 975*2^1441837-1 is not prime. Res64: C74194E3162FE950 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:01:19] 713*2^1441838-1 is not prime. Res64: 63CCCB37566B1A10 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:05:50] 885*2^1441838-1 is not prime. Res64: 94E2F2E45E1F7004 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:05:53] 893*2^1441838-1 is not prime. Res64: 5C23C809FF2A8F0A Time : 0.0 sec. user=mdettweiler [2016-10-06 02:05:54] 923*2^1441838-1 is not prime. Res64: AB06101F51440325 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:05:55] 927*2^1441838-1 is not prime. Res64: C931426FA87E2367 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:05:59] 625*2^1441839-1 is not prime. Res64: 30C2F166B98F81FA Time : 0.0 sec. user=mdettweiler [2016-10-06 02:14:53] 939*2^1441840-1 is not prime. Res64: 6DD7E61D5AD483B1 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:14:53] 789*2^1441841-1 is not prime. Res64: 1101C9F066139A93 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:14:53] 829*2^1441841-1 is not prime. Res64: A307320F91BCEA43 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:14:54] 871*2^1441841-1 is not prime. Res64: 753DD3FF0EDD968D Time : 0.0 sec. user=mdettweiler [2016-10-06 02:14:54] 955*2^1441841-1 is not prime. Res64: BB3A830DD4B6D768 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:15:04] 703*2^1441839-1 is not prime. Res64: DB48D3C4C2804B47 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:15:04] 789*2^1441839-1 is not prime. Res64: A3DE12120EDBA5EB Time : 0.0 sec. user=mdettweiler [2016-10-06 02:15:05] 895*2^1441839-1 is not prime. Res64: C1540971BB07F1B8 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:15:05] 765*2^1441840-1 is not prime. Res64: 2CD3758826014E6B Time : 0.0 sec. user=mdettweiler [2016-10-06 02:15:05] 897*2^1441840-1 is not prime. Res64: D0F2158CD6E3548E Time : 0.0 sec. user=mdettweiler [2016-10-06 02:46:51] 633*2^1441842-1 is not prime. Res64: 485D7A4A35C5B623 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:46:52] 723*2^1441842-1 is not prime. Res64: ADD28B757189C2CF Time : 0.0 sec. user=mdettweiler [2016-10-06 02:46:52] 777*2^1441842-1 is not prime. Res64: 1EC43240C5D24767 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:46:53] 797*2^1441842-1 is not prime. Res64: 752FD8372695AB82 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:46:53] 803*2^1441842-1 is not prime. Res64: 4DBDFCA71B2705D8 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:51:38] 891*2^1441842-1 is not prime. Res64: 4604FB1A9E80BD35 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:51:38] 947*2^1441842-1 is not prime. Res64: E620F03CBEB7052D Time : 0.0 sec. user=mdettweiler [2016-10-06 02:51:38] 615*2^1441843-1 is not prime. Res64: AAE7572EB41CD033 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:51:39] 649*2^1441843-1 is not prime. Res64: 3B383B1FF78AF2C0 Time : 0.0 sec. user=mdettweiler [2016-10-06 02:51:39] 691*2^1441843-1 is not prime. Res64: FF150943A5916B9B Time : 0.0 sec. user=mdettweiler [2016-10-06 03:00:11] 769*2^1441843-1 is not prime. Res64: 8D2D1A3E88609A01 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:00:12] 789*2^1441843-1 is not prime. Res64: D0CDB79DAE9A50F0 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:00:13] 805*2^1441843-1 is not prime. Res64: 6AE7AD6279C03924 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:00:14] 835*2^1441843-1 is not prime. Res64: 31E78F33247DB314 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:00:16] 853*2^1441843-1 is not prime. Res64: 9BD6D32E11779528 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:00:38] 861*2^1441843-1 is not prime. Res64: 17B06301F6423928 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:00:40] 943*2^1441843-1 is not prime. Res64: DC75EAF6EEFB964D Time : 0.0 sec. user=mdettweiler [2016-10-06 03:00:40] 999*2^1441843-1 is not prime. Res64: 9BAC37A3A786A19E Time : 0.0 sec. user=mdettweiler [2016-10-06 03:00:41] 617*2^1441844-1 is not prime. Res64: 9983BAEA91EB53E6 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:00:42] 785*2^1441844-1 is not prime. Res64: 1615C7044DDEEBCE Time : 0.0 sec. user=mdettweiler [2016-10-06 03:32:14] 833*2^1441844-1 is not prime. Res64: EA5133D562DFFEC8 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:32:17] 899*2^1441844-1 is not prime. Res64: B496FE7147812107 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:32:19] 903*2^1441844-1 is not prime. Res64: 7CC45DFDBD60EFDC Time : 0.0 sec. user=mdettweiler [2016-10-06 03:32:22] 651*2^1441845-1 is not prime. Res64: DCD074254B3E1719 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:32:24] 735*2^1441845-1 is not prime. Res64: 6E324DF49B8F855C Time : 0.0 sec. user=mdettweiler [2016-10-06 03:36:51] 751*2^1441845-1 is not prime. Res64: A638FD01427D3FC5 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:36:53] 847*2^1441845-1 is not prime. Res64: 9CD2C5C3A72EAFB2 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:36:56] 895*2^1441845-1 is not prime. Res64: D2D096FA99D5555D Time : 0.0 sec. user=mdettweiler [2016-10-06 03:36:57] 985*2^1441845-1 is not prime. Res64: 0EC001C172067866 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:36:59] 997*2^1441845-1 is not prime. Res64: 5C5EE87630958382 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:45:50] 657*2^1441846-1 is not prime. Res64: 5170C1571D86BC0E Time : 0.0 sec. user=mdettweiler [2016-10-06 03:45:51] 671*2^1441846-1 is not prime. Res64: B01B58599122DC0B Time : 0.0 sec. user=mdettweiler [2016-10-06 03:45:51] 713*2^1441846-1 is not prime. Res64: 1D7AF618D73D07D3 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:45:52] 747*2^1441846-1 is not prime. Res64: 7D10AA9C318F432D Time : 0.0 sec. user=mdettweiler [2016-10-06 03:45:52] 785*2^1441846-1 is not prime. Res64: 162A68EEE3FC4F32 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:46:19] 843*2^1441846-1 is not prime. Res64: CFA95BB76B08FC4F Time : 0.0 sec. user=mdettweiler [2016-10-06 03:46:19] 873*2^1441846-1 is not prime. Res64: 8C3AEC9BC26673D3 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:46:20] 923*2^1441846-1 is not prime. Res64: 529B9BFD898CE483 Time : 0.0 sec. user=mdettweiler [2016-10-06 03:46:21] 983*2^1441846-1 is not prime. Res64: 710B8AE68A76088E Time : 0.0 sec. user=mdettweiler [2016-10-06 03:46:22] 619*2^1441847-1 is not prime. Res64: EBFA97215EC68BA9 Time : 0.0 sec. user=mdettweiler [2016-10-06 04:18:29] 735*2^1441847-1 is not prime. Res64: EE8FA77AAC294FCA Time : 0.0 sec. user=mdettweiler [2016-10-06 04:18:29] 781*2^1441847-1 is not prime. Res64: 70C08E02EDE90E8E Time : 0.0 sec. user=mdettweiler [2016-10-06 04:18:30] 859*2^1441847-1 is not prime. Res64: 32DF80FF2ADE8D42 Time : 0.0 sec. user=mdettweiler [2016-10-06 04:18:30] 895*2^1441847-1 is not prime. Res64: 44C0EB8C2DB31AFE Time : 0.0 sec. user=mdettweiler [2016-10-06 04:18:31] 991*2^1441847-1 is not prime. Res64: 0F7F8C1A5632CBCC Time : 0.0 sec. user=mdettweiler [2016-10-06 04:23:04] 765*2^1441848-1 is not prime. Res64: CB1E1017EAA92774 Time : 0.0 sec. user=mdettweiler [2016-10-06 04:23:05] 845*2^1441848-1 is not prime. Res64: 2BD8E2783C09EDEE Time : 0.0 sec. user=mdettweiler [2016-10-06 04:23:05] 849*2^1441848-1 is not prime. Res64: 3485A1A36078D155 Time : 0.0 sec. user=mdettweiler [2016-10-06 04:23:06] 947*2^1441848-1 is not prime. Res64: F7B4F28AC78F7CEC Time : 0.0 sec. user=mdettweiler [2016-10-06 04:23:06] 691*2^1441849-1 is not prime. Res64: 8232A5959E09695B Time : 0.0 sec. user=mdettweiler [2016-10-06 04:31:34] 721*2^1441849-1 is not prime. Res64: 412CCFF174770387 Time : 0.0 sec. user=mdettweiler [2016-10-06 04:31:34] 741*2^1441849-1 is not prime. Res64: A21288E219DECF17 Time : 0.0 sec. user=mdettweiler [2016-10-06 04:31:34] 861*2^1441849-1 is not prime. Res64: 3D9FAEF2603E00DE Time : 0.0 sec. user=mdettweiler [2016-10-06 04:31:34] 951*2^1441849-1 is not prime. Res64: EE4BFD19082B34BA Time : 0.0 sec. user=mdettweiler [2016-10-06 04:31:35] 651*2^1441850-1 is not prime. Res64: 1898B23656B12372 Time : 0.0 sec. user=mdettweiler [2016-10-06 04:32:14] 767*2^1441850-1 is not prime. Res64: 5C43EE5FE50B3F52 Time : 0.0 sec. user=mdettweiler [2016-10-06 04:32:14] 797*2^1441850-1 is not prime. Res64: 0E5729E9DA5ED1A2 Time : 0.0 sec. user=mdettweiler [2016-10-06 04:32:15] 843*2^1441850-1 is not prime. Res64: DCA20C329B87E65B Time : 0.0 sec. user=mdettweiler [2016-10-06 04:32:15] 845*2^1441850-1 is not prime. Res64: DB565EC9791A3CF9 Time : 0.0 sec. user=mdettweiler [2016-10-06 04:32:15] 917*2^1441850-1 is not prime. Res64: A60C9E4A4E82A6E3 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:04:18] 987*2^1441850-1 is not prime. Res64: 245FF4D090F9AA7B Time : 0.0 sec. user=mdettweiler [2016-10-06 05:04:19] 619*2^1441851-1 is not prime. Res64: 4DD6325E483B158D Time : 0.0 sec. user=mdettweiler [2016-10-06 05:04:20] 643*2^1441851-1 is not prime. Res64: 24C33DFBDFAE450C Time : 0.0 sec. user=mdettweiler [2016-10-06 05:04:20] 709*2^1441851-1 is not prime. Res64: C0060E583E04CEDA Time : 0.0 sec. user=mdettweiler [2016-10-06 05:04:21] 735*2^1441851-1 is not prime. Res64: CD6960E390DA6B72 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:08:28] 783*2^1441851-1 is not prime. Res64: 3BF19226ABC17ADD Time : 0.0 sec. user=mdettweiler [2016-10-06 05:08:28] 801*2^1441851-1 is not prime. Res64: 13C34A336C720A42 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:08:29] 819*2^1441851-1 is not prime. Res64: 02720B296A60F7D7 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:08:29] 931*2^1441851-1 is not prime. Res64: FE0390B38ECE7CDF Time : 0.0 sec. user=mdettweiler [2016-10-06 05:08:30] 949*2^1441851-1 is not prime. Res64: 1106A5DCBB97DFE2 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:17:01] 617*2^1441852-1 is not prime. Res64: F66799FCD01C452A Time : 0.0 sec. user=mdettweiler [2016-10-06 05:17:02] 653*2^1441852-1 is not prime. Res64: B59783811766C4C6 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:17:03] 743*2^1441852-1 is not prime. Res64: C8CDC33B475A9C3B Time : 0.0 sec. user=mdettweiler [2016-10-06 05:17:04] 755*2^1441852-1 is not prime. Res64: 6524814174ECEEB4 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:17:04] 933*2^1441852-1 is not prime. Res64: 1D7A73B56F9D25B3 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:17:41] 939*2^1441852-1 is not prime. Res64: D97CA8B77AA33746 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:17:41] 747*2^1441853-1 is not prime. Res64: F8B245EFD27853FB Time : 0.0 sec. user=mdettweiler [2016-10-06 05:17:42] 759*2^1441853-1 is not prime. Res64: A221421B7495C457 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:17:42] 801*2^1441853-1 is not prime. Res64: E364B5BFE0CF8DAF Time : 0.0 sec. user=mdettweiler [2016-10-06 05:17:43] 831*2^1441853-1 is not prime. Res64: 5B7ECE713E1AA64B Time : 0.0 sec. user=mdettweiler [2016-10-06 05:49:53] 889*2^1441853-1 is not prime. Res64: 09BC33E78CAE6132 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:49:53] 925*2^1441853-1 is not prime. Res64: 874C9C94DD9FD358 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:49:53] 991*2^1441853-1 is not prime. Res64: FA6195AEBEE2C3C6 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:49:54] 621*2^1441854-1 is not prime. Res64: 078C950D2B32830C Time : 0.0 sec. user=mdettweiler [2016-10-06 05:49:54] 677*2^1441854-1 is not prime. Res64: 08E73D2CD8686CE5 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:53:53] 717*2^1441854-1 is not prime. Res64: 6C8A01D6E2E8B5F7 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:53:54] 747*2^1441854-1 is not prime. Res64: A07612DBF07C2016 Time : 0.0 sec. user=mdettweiler [2016-10-06 05:53:54] 893*2^1441854-1 is not prime. Res64: B0FCAA7A43FB6F3C Time : 0.0 sec. user=mdettweiler [2016-10-06 05:53:54] 1001*2^1441854-1 is not prime. Res64: 4FA7D8604CBF754B Time : 0.0 sec. user=mdettweiler [2016-10-06 05:53:55] 609*2^1441855-1 is not prime. Res64: CC8E50B8E12C1571 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:02:28] 625*2^1441855-1 is not prime. Res64: 21924E79093EFF8C Time : 0.0 sec. user=mdettweiler [2016-10-06 06:02:30] 685*2^1441855-1 is not prime. Res64: DC08B04634DABF27 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:02:32] 829*2^1441855-1 is not prime. Res64: 56E8BFF1A78D6E5A Time : 0.0 sec. user=mdettweiler [2016-10-06 06:02:33] 841*2^1441855-1 is not prime. Res64: C50AC7D93FFA68E5 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:02:34] 843*2^1441855-1 is not prime. Res64: AB26F27EB52C6879 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:03:05] 871*2^1441855-1 is not prime. Res64: 7C9CA68C551EFE9B Time : 0.0 sec. user=mdettweiler [2016-10-06 06:03:06] 909*2^1441855-1 is not prime. Res64: 3F911E2961E02AC2 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:03:07] 933*2^1441855-1 is not prime. Res64: F5B132776231508A Time : 0.0 sec. user=mdettweiler [2016-10-06 06:03:08] 603*2^1441856-1 is not prime. Res64: DE608F6E65A9AAA1 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:03:09] 657*2^1441856-1 is not prime. Res64: FC2068DBE1C1A432 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:35:18] 669*2^1441856-1 is not prime. Res64: C93E4AE9885482EA Time : 0.0 sec. user=mdettweiler [2016-10-06 06:35:19] 893*2^1441856-1 is not prime. Res64: 8FF3CE7D7D9AB972 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:35:19] 909*2^1441856-1 is not prime. Res64: 9433ACFF15C897B8 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:35:20] 609*2^1441857-1 is not prime. Res64: AE8A1113807490B7 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:35:20] 667*2^1441857-1 is not prime. Res64: 4C9CF616A1F8ADC2 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:39:21] 759*2^1441857-1 is not prime. Res64: 2E4F80A814435CA5 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:39:21] 781*2^1441857-1 is not prime. Res64: 9B9F0B3B54F0956D Time : 0.0 sec. user=mdettweiler [2016-10-06 06:39:21] 635*2^1441858-1 is not prime. Res64: 4C508602CB45B51E Time : 0.0 sec. user=mdettweiler [2016-10-06 06:39:22] 647*2^1441858-1 is not prime. Res64: 87925A6EE4A45C29 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:39:22] 723*2^1441858-1 is not prime. Res64: 52136CE1F83B95AD Time : 0.0 sec. user=mdettweiler [2016-10-06 06:48:11] 743*2^1441858-1 is not prime. Res64: 7A5CF3002A456018 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:48:12] 801*2^1441858-1 is not prime. Res64: F49716EBC9318104 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:48:12] 813*2^1441858-1 is not prime. Res64: 6AF5B74243A3A70D Time : 0.0 sec. user=mdettweiler [2016-10-06 06:48:12] 843*2^1441858-1 is not prime. Res64: CB171330B16D643B Time : 0.0 sec. user=mdettweiler [2016-10-06 06:48:13] 857*2^1441858-1 is not prime. Res64: 5F55DD4F40C71E80 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:48:36] 945*2^1441858-1 is not prime. Res64: 161CC653279A7A35 Time : 0.0 sec. user=mdettweiler [2016-10-06 06:48:36] 987*2^1441858-1 is not prime. Res64: 7F035E364A417E9E Time : 0.0 sec. user=mdettweiler [2016-10-06 06:48:37] 703*2^1441859-1 is not prime. Res64: F1F6EB9785B0AEFD Time : 0.0 sec. user=mdettweiler [2016-10-06 06:48:37] 711*2^1441859-1 is not prime. Res64: 46417EEA3551F40A Time : 0.0 sec. user=mdettweiler [2016-10-06 06:48:37] 813*2^1441859-1 is not prime. Res64: C7DF09EC8DCD5898 Time : 0.0 sec. user=mdettweiler [2016-10-06 07:20:37] 859*2^1441859-1 is not prime. Res64: 9585AC72746F4C2B Time : 0.0 sec. user=mdettweiler [2016-10-06 07:20:37] 913*2^1441859-1 is not prime. Res64: 7DABC7F986572BBF Time : 0.0 sec. user=mdettweiler [2016-10-06 07:20:38] 973*2^1441859-1 is not prime. Res64: B3FF95361A9BEF7A Time : 0.0 sec. user=mdettweiler [2016-10-06 07:20:39] 737*2^1441860-1 is not prime. Res64: E3889F0398294A90 Time : 0.0 sec. user=mdettweiler [2016-10-06 07:20:39] 753*2^1441860-1 is not prime. Res64: 1BC9E379B42E6C6A Time : 0.0 sec. user=mdettweiler [2016-10-06 07:24:25] 797*2^1441860-1 is not prime. Res64: 07E87AECB509035A Time : 0.0 sec. user=mdettweiler [2016-10-06 07:24:26] 607*2^1441861-1 is not prime. Res64: 133F3D82B26C2B6A Time : 0.0 sec. user=mdettweiler [2016-10-06 07:24:26] 649*2^1441861-1 is not prime. Res64: F47F3EEAAC50196E Time : 0.0 sec. user=mdettweiler [2016-10-06 07:24:27] 777*2^1441861-1 is not prime. Res64: A2A0609E3B57BE26 Time : 0.0 sec. user=mdettweiler [2016-10-06 07:24:27] 801*2^1441861-1 is not prime. Res64: A13A8E217705325E Time : 0.0 sec. user=mdettweiler [2016-10-06 07:33:28] 805*2^1441861-1 is not prime. Res64: 055E5C9CA9F3947A Time : 0.0 sec. user=mdettweiler [2016-10-06 07:33:28] 895*2^1441861-1 is not prime. Res64: 0273B6D474B85374 Time : 0.0 sec. user=mdettweiler [2016-10-06 07:33:29] 987*2^1441861-1 is not prime. Res64: 941EF717D8FB4C6A Time : 0.0 sec. user=mdettweiler [2016-10-06 07:33:29] 801*2^1441862-1 is not prime. Res64: D51D7ACA91963E7B Time : 0.0 sec. user=mdettweiler [2016-10-06 07:33:29] 813*2^1441862-1 is not prime. Res64: A9A03E4798C1495B Time : 0.0 sec. user=mdettweiler [2016-10-06 07:33:55] 843*2^1441862-1 is not prime. Res64: CFF120047C14845A Time : 0.0 sec. user=mdettweiler [2016-10-06 07:33:55] 903*2^1441862-1 is not prime. Res64: 81CA4B7B3C2CF7CD Time : 0.0 sec. user=mdettweiler [2016-10-06 07:33:56] 917*2^1441862-1 is not prime. Res64: A421C87C740DE3E1 Time : 0.0 sec. user=mdettweiler [2016-10-06 07:33:56] 995*2^1441862-1 is not prime. Res64: 3B38B89F6FE146E2 Time : 0.0 sec. user=mdettweiler [2016-10-06 07:33:56] 705*2^1441863-1 is not prime. Res64: C1DE5721AF43C77D Time : 0.0 sec. user=mdettweiler [2016-10-06 08:06:10] 781*2^1441863-1 is not prime. Res64: BA6F065A06014AE5 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:06:12] 829*2^1441863-1 is not prime. Res64: 8DB2F0967A135364 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:06:13] 677*2^1441864-1 is not prime. Res64: E718E5EC18211A99 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:06:14] 765*2^1441864-1 is not prime. Res64: 82A3626B93026D3A Time : 0.0 sec. user=mdettweiler [2016-10-06 08:06:15] 875*2^1441864-1 is not prime. Res64: FFF2719906275F4B Time : 0.0 sec. user=mdettweiler [2016-10-06 08:09:41] 939*2^1441864-1 is not prime. Res64: 740D509CD63E24C0 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:09:42] 983*2^1441864-1 is not prime. Res64: CD97EEFF91D725D9 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:09:43] 607*2^1441865-1 is not prime. Res64: BC299A91EA7F8DCE Time : 0.0 sec. user=mdettweiler [2016-10-06 08:09:43] 787*2^1441865-1 is not prime. Res64: C5617FA4D8AD2609 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:09:44] 765*2^1441866-1 is not prime. Res64: DD01734DDFB3771A Time : 0.0 sec. user=mdettweiler [2016-10-06 08:18:49] 893*2^1441866-1 is not prime. Res64: D7BD0A3F80179F18 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:18:49] 631*2^1441867-1 is not prime. Res64: 26619717A23685C5 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:18:49] 871*2^1441867-1 is not prime. Res64: 946202220C11ECE3 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:18:50] 797*2^1441868-1 is not prime. Res64: BFAD446C9C4B82DD Time : 0.0 sec. user=mdettweiler [2016-10-06 08:18:50] 845*2^1441868-1 is not prime. Res64: C2D40B1F09973214 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:19:09] 915*2^1441868-1 is not prime. Res64: CDE095DDBF189726 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:19:10] 987*2^1441868-1 is not prime. Res64: D1FD195FE94F998C Time : 0.0 sec. user=mdettweiler [2016-10-06 08:19:10] 661*2^1441869-1 is not prime. Res64: B8AEA36AC0A39268 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:19:10] 709*2^1441869-1 is not prime. Res64: FF40D39F430EB3AD Time : 0.0 sec. user=mdettweiler [2016-10-06 08:19:11] 721*2^1441869-1 is not prime. Res64: E3670D4E24DB5D58 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:51:39] 747*2^1441869-1 is not prime. Res64: 49C8316444C5066B Time : 0.0 sec. user=mdettweiler [2016-10-06 08:51:39] 889*2^1441869-1 is not prime. Res64: 8EB116B82A614BE6 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:51:40] 919*2^1441869-1 is not prime. Res64: B5AF3F18E0762C2D Time : 0.0 sec. user=mdettweiler [2016-10-06 08:51:40] 687*2^1441870-1 is not prime. Res64: DB1EBFF10AC8682D Time : 0.0 sec. user=mdettweiler [2016-10-06 08:51:40] 695*2^1441870-1 is not prime. Res64: AF8C60755776E940 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:54:54] 713*2^1441870-1 is not prime. Res64: B0BBE19C55878C9E Time : 0.0 sec. user=mdettweiler [2016-10-06 08:54:54] 761*2^1441870-1 is not prime. Res64: 5D4AAAB319E94E40 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:54:55] 867*2^1441870-1 is not prime. Res64: 2A24965FFCF138E2 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:54:55] 915*2^1441870-1 is not prime. Res64: 2590005ABC928FB6 Time : 0.0 sec. user=mdettweiler [2016-10-06 08:54:55] 975*2^1441870-1 is not prime. Res64: 9A345362CE4B6390 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:04:27] 939*2^1441871-1 is not prime. Res64: DD974B90F4AEAD80 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:04:28] 665*2^1441872-1 is not prime. Res64: C7735506A68FA073 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:04:29] 603*2^1441871-1 is not prime. Res64: 5055D39F7B85A9C3 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:04:29] 699*2^1441872-1 is not prime. Res64: ED4181D8F9D9ABB6 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:04:31] 737*2^1441872-1 is not prime. Res64: 3B65F869C2EEABB2 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:04:32] 661*2^1441871-1 is not prime. Res64: C8E7ACEFFDD2455D Time : 0.0 sec. user=mdettweiler [2016-10-06 09:04:33] 803*2^1441872-1 is not prime. Res64: E57E34138B90832A Time : 0.0 sec. user=mdettweiler [2016-10-06 09:04:35] 669*2^1441871-1 is not prime. Res64: DE28CDE37EC60A50 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:04:37] 693*2^1441871-1 is not prime. Res64: 8B93E90D5BADBDA1 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:04:40] 931*2^1441871-1 is not prime. Res64: 6DA5A0281DDEB174 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:36:49] 843*2^1441872-1 is not prime. Res64: 29B52420ECAE7DC5 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:36:50] 857*2^1441872-1 is not prime. Res64: 62A4C11A29AD8548 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:36:50] 863*2^1441872-1 is not prime. Res64: B97E06F3AAF11AC3 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:36:50] 887*2^1441872-1 is not prime. Res64: 1D777C303ECC0F50 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:36:51] 975*2^1441872-1 is not prime. Res64: C01F2C10446249C2 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:40:05] 615*2^1441873-1 is not prime. Res64: 09DBA572297A97E4 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:40:06] 639*2^1441873-1 is not prime. Res64: 82102DE589A203E0 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:40:06] 699*2^1441873-1 is not prime. Res64: E3C0530C5138B5C3 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:40:07] 765*2^1441873-1 is not prime. Res64: F2FEF8E92A10E702 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:40:08] 861*2^1441873-1 is not prime. Res64: 27F164E7B03701E2 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:49:51] 867*2^1441873-1 is not prime. Res64: 598E494320965F65 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:49:51] 967*2^1441873-1 is not prime. Res64: 405B5CB8671B8919 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:49:52] 985*2^1441873-1 is not prime. Res64: 5FA0E55F6E9A99D1 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:49:52] 665*2^1441874-1 is not prime. Res64: F51222E77028AD40 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:49:52] 701*2^1441874-1 is not prime. Res64: 8D388C31AF210DE0 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:50:00] 773*2^1441874-1 is not prime. Res64: F1400135A0EDFF34 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:50:00] 783*2^1441874-1 is not prime. Res64: F8BDD30683F74570 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:50:01] 935*2^1441874-1 is not prime. Res64: 85A33A380D112533 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:50:01] 651*2^1441875-1 is not prime. Res64: 07A77811DBBE0280 Time : 0.0 sec. user=mdettweiler [2016-10-06 09:50:01] 775*2^1441875-1 is not prime. Res64: 6754DA0265AA8B4C Time : 0.0 sec. user=mdettweiler [2016-10-06 10:22:23] 825*2^1441875-1 is not prime. Res64: B0CADC59CE2076FB Time : 0.0 sec. user=mdettweiler [2016-10-06 10:22:23] 951*2^1441875-1 is not prime. Res64: E2C5E8518133A632 Time : 0.0 sec. user=mdettweiler [2016-10-06 10:22:23] 617*2^1441876-1 is not prime. Res64: FEFCEEF92CB80643 Time : 0.0 sec. user=mdettweiler [2016-10-06 10:22:24] 707*2^1441876-1 is not prime. Res64: 53254117D4DB8DC0 Time : 0.0 sec. user=mdettweiler [2016-10-06 10:22:24] 759*2^1441876-1 is not prime. Res64: 34B4E48589EF163D Time : 0.0 sec. user=mdettweiler [2016-10-06 10:25:28] 777*2^1441876-1 is not prime. Res64: E9A202F3ADF7D067 Time : 0.0 sec. user=mdettweiler [2016-10-06 10:25:28] 843*2^1441876-1 is not prime. Res64: 486C9DD90D31833B Time : 0.0 sec. user=mdettweiler [2016-10-06 10:25:28] 987*2^1441876-1 is not prime. Res64: 95155736535E76BC Time : 0.0 sec. user=mdettweiler [2016-10-06 10:25:29] 735*2^1441877-1 is not prime. Res64: AD86A31239E1BB0E Time : 0.0 sec. user=mdettweiler [2016-10-06 10:25:29] 757*2^1441877-1 is not prime. Res64: 70B4358350F98499 Time : 0.0 sec. user=mdettweiler [2016-10-06 10:35:15] 871*2^1441877-1 is not prime. Res64: D68B4E57D26275ED Time : 0.0 sec. user=mdettweiler [2016-10-06 10:35:16] 949*2^1441877-1 is not prime. Res64: F4B7733B15A7366E Time : 0.0 sec. user=mdettweiler [2016-10-06 10:35:16] 957*2^1441877-1 is not prime. Res64: 281E2CAA5B63955A Time : 0.0 sec. user=mdettweiler [2016-10-06 10:35:16] 663*2^1441878-1 is not prime. Res64: F33247D6DDA6A417 Time : 0.0 sec. user=mdettweiler [2016-10-06 10:35:17] 693*2^1441878-1 is not prime. Res64: CC597CAD0C9FC845 Time : 0.0 sec. user=mdettweiler [2016-10-06 10:35:17] 759*2^1441877-1 is not prime. Res64: 4AA86A26EFC96140 Time : 0.0 sec. user=mdettweiler [2016-10-06 10:35:18] 771*2^1441877-1 is not prime. Res64: 5B4DBD80DF3239C2 Time : 0.0 sec. user=mdettweiler [2016-10-06 10:35:18] 825*2^1441877-1 is not prime. Res64: 64979FED8CE75DFA Time : 0.0 sec. user=mdettweiler [2016-10-06 10:35:19] 837*2^1441877-1 is not prime. Res64: B4AE83128CC7FD8F Time : 0.0 sec. user=mdettweiler [2016-10-06 10:35:19] 847*2^1441877-1 is not prime. Res64: 3C9603C3C0A63E3F Time : 0.0 sec. user=mdettweiler [2016-10-06 11:07:39] 713*2^1441878-1 is not prime. Res64: 7ED4CB93B02E9F21 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:07:40] 867*2^1441878-1 is not prime. Res64: 086CE0EEBB22C089 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:07:41] 875*2^1441878-1 is not prime. Res64: 694216450C094504 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:07:42] 881*2^1441878-1 is not prime. Res64: BD447FC6E38D1249 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:07:43] 893*2^1441878-1 is not prime. Res64: 9F4F64630807977D Time : 0.0 sec. user=mdettweiler [2016-10-06 11:10:46] 927*2^1441878-1 is not prime. Res64: 50F141700733897E Time : 0.0 sec. user=mdettweiler [2016-10-06 11:10:47] 975*2^1441878-1 is not prime. Res64: 9256DDC5DECA98D7 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:10:47] 621*2^1441879-1 is not prime. Res64: 0F8257E1B2C786B5 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:10:47] 693*2^1441879-1 is not prime. Res64: B9314188953C344E Time : 0.0 sec. user=mdettweiler [2016-10-06 11:10:48] 765*2^1441879-1 is not prime. Res64: 5D06215172C8170B Time : 0.0 sec. user=mdettweiler [2016-10-06 11:20:23] 885*2^1441879-1 is not prime. Res64: E807DAD388100C01 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:20:24] 943*2^1441879-1 is not prime. Res64: 22B7F45E3618C3F3 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:20:24] 629*2^1441880-1 is not prime. Res64: 2BDC59DF80951F73 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:20:24] 687*2^1441880-1 is not prime. Res64: E4027D94946EE953 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:20:25] 819*2^1441880-1 is not prime. Res64: 375D2E56B7C971AA Time : 0.0 sec. user=mdettweiler [2016-10-06 11:20:25] 855*2^1441880-1 is not prime. Res64: E784A489A09E0BBC Time : 0.0 sec. user=mdettweiler [2016-10-06 11:20:26] 879*2^1441880-1 is not prime. Res64: 1107CF614CE9640A Time : 0.0 sec. user=mdettweiler [2016-10-06 11:20:26] 963*2^1441880-1 is not prime. Res64: F3D9B029FE58557A Time : 0.0 sec. user=mdettweiler [2016-10-06 11:20:26] 637*2^1441881-1 is not prime. Res64: 8692D18CC3633DC8 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:20:27] 657*2^1441881-1 is not prime. Res64: DAFD207226468118 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:53:08] 747*2^1441881-1 is not prime. Res64: 882C1EF593E76FF0 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:53:08] 781*2^1441881-1 is not prime. Res64: 5420BBBF614C5541 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:53:09] 895*2^1441881-1 is not prime. Res64: 1F23F6AE02DD1D8F Time : 0.0 sec. user=mdettweiler [2016-10-06 11:53:09] 921*2^1441881-1 is not prime. Res64: 7114B18006EE2DC8 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:53:10] 975*2^1441881-1 is not prime. Res64: 561AA35DAE041521 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:56:02] 653*2^1441882-1 is not prime. Res64: C1EBAC0228372F4F Time : 0.0 sec. user=mdettweiler [2016-10-06 11:56:03] 675*2^1441882-1 is not prime. Res64: 2FA5F2A1C8C17DC8 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:56:03] 747*2^1441882-1 is not prime. Res64: 82EFF2E089216882 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:56:03] 755*2^1441882-1 is not prime. Res64: AFD20993E92103A6 Time : 0.0 sec. user=mdettweiler [2016-10-06 11:56:04] 867*2^1441882-1 is not prime. Res64: 398DB0701579EAF3 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:05:54] 801*2^1441883-1 is not prime. Res64: 096DA256B44C626C Time : 0.0 sec. user=mdettweiler [2016-10-06 12:05:55] 855*2^1441883-1 is not prime. Res64: CE0D77A6C407BE92 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:05:57] 955*2^1441883-1 is not prime. Res64: CE246D3EA445153A Time : 0.0 sec. user=mdettweiler [2016-10-06 12:05:58] 885*2^1441882-1 is not prime. Res64: BEB75DA02818E158 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:05:58] 985*2^1441883-1 is not prime. Res64: A05DD0FD96F661CA Time : 0.0 sec. user=mdettweiler [2016-10-06 12:05:59] 1001*2^1441882-1 is not prime. Res64: 398EDF4AA39F850A Time : 0.0 sec. user=mdettweiler [2016-10-06 12:06:00] 623*2^1441884-1 is not prime. Res64: 0ED6993F7CE8C671 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:06:01] 633*2^1441883-1 is not prime. Res64: 6E8E114A906AED9C Time : 0.0 sec. user=mdettweiler [2016-10-06 12:06:02] 669*2^1441883-1 is not prime. Res64: 836F2735912AC6D9 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:06:05] 673*2^1441883-1 is not prime. Res64: 37E60E3EAA1F1DCF Time : 0.0 sec. user=mdettweiler [2016-10-06 12:38:43] 665*2^1441884-1 is not prime. Res64: E88BF9B24808586C Time : 0.0 sec. user=mdettweiler [2016-10-06 12:38:43] 689*2^1441884-1 is not prime. Res64: DCDEB0D26B18E23A Time : 0.0 sec. user=mdettweiler [2016-10-06 12:38:44] 705*2^1441884-1 is not prime. Res64: 6120937EEA203774 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:38:44] 717*2^1441884-1 is not prime. Res64: E8FEAF73B175423A Time : 0.0 sec. user=mdettweiler [2016-10-06 12:38:44] 923*2^1441884-1 is not prime. Res64: 14EEFC2CA2AED9C9 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:41:36] 945*2^1441884-1 is not prime. Res64: 17DBDD3E8C6761C4 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:41:36] 645*2^1441885-1 is not prime. Res64: F177297D46849D32 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:41:36] 831*2^1441885-1 is not prime. Res64: 70029ACDC6BEA74D Time : 0.0 sec. user=mdettweiler [2016-10-06 12:41:37] 975*2^1441885-1 is not prime. Res64: 9B9E826630D2AEBD Time : 0.0 sec. user=mdettweiler [2016-10-06 12:41:37] 603*2^1441886-1 is not prime. Res64: 51EAA2E2B75AFBC1 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:52:09] 1001*2^1441886-1 is not prime. Res64: FDC022EAF035105B Time : 0.0 sec. user=mdettweiler [2016-10-06 12:52:09] 663*2^1441886-1 is not prime. Res64: 62AB47E3426A7142 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:52:10] 735*2^1441887-1 is not prime. Res64: 8A12856EF6DEE2F4 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:52:10] 741*2^1441886-1 is not prime. Res64: 524C44B6A97F61E8 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:52:10] 765*2^1441887-1 is not prime. Res64: 3AA5EEBA3F08587A Time : 0.0 sec. user=mdettweiler [2016-10-06 12:52:10] 773*2^1441886-1 is not prime. Res64: FDFE09937DF79F91 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:52:10] 823*2^1441887-1 is not prime. Res64: D83C4C03D405B667 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:52:11] 861*2^1441886-1 is not prime. Res64: E5FC9D0F5AC4CDB6 Time : 0.0 sec. user=mdettweiler [2016-10-06 12:52:11] 859*2^1441887-1 is not prime. Res64: 6B23476B766554DD Time : 0.0 sec. user=mdettweiler [2016-10-06 12:52:11] 911*2^1441886-1 is not prime. Res64: 29969B8F216572CC Time : 0.0 sec. user=mdettweiler [2016-10-06 13:27:13] 871*2^1441887-1 is not prime. Res64: F889E9B511AAEEFF Time : 0.0 sec. user=mdettweiler [2016-10-06 13:27:13] 945*2^1441887-1 is not prime. Res64: 4EB2490AAD7FD4C3 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:27:13] 961*2^1441887-1 is not prime. Res64: 80BB6D6125905EC9 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:27:14] 677*2^1441888-1 is not prime. Res64: 70F45C9BA06E3623 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:27:14] 927*2^1441888-1 is not prime. Res64: 305C6CAA25CD9758 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:29:46] 993*2^1441888-1 is not prime. Res64: BC7F847C81D72171 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:29:46] 727*2^1441889-1 is not prime. Res64: 9F8A04A481A46EB7 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:29:47] 747*2^1441889-1 is not prime. Res64: 14887AF91F2D6DE5 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:29:47] 801*2^1441889-1 is not prime. Res64: 85C81AF1FFA2390E Time : 0.0 sec. user=mdettweiler [2016-10-06 13:29:47] 811*2^1441889-1 is not prime. Res64: 8FB19C0F5B7C238A Time : 0.0 sec. user=mdettweiler [2016-10-06 13:42:06] 829*2^1441889-1 is not prime. Res64: 6AC14D76683130B3 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:42:07] 865*2^1441889-1 is not prime. Res64: 484974DBE43F1F18 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:42:07] 879*2^1441889-1 is not prime. Res64: 29354028915097B8 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:42:07] 711*2^1441890-1 is not prime. Res64: 7DB10D2EC0C2E3C5 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:42:08] 755*2^1441890-1 is not prime. Res64: 7BE787F073D5FBE4 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:43:34] 783*2^1441890-1 is not prime. Res64: B27E97E85B2EFF7A Time : 0.0 sec. user=mdettweiler [2016-10-06 13:43:34] 873*2^1441890-1 is not prime. Res64: 672F8AC29108FDA4 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:43:35] 915*2^1441890-1 is not prime. Res64: 4E1D3EB83141B128 Time : 0.0 sec. user=mdettweiler [2016-10-06 13:43:35] 609*2^1441891-1 is not prime. Res64: 3515871C39BEBB8C Time : 0.0 sec. user=mdettweiler [2016-10-06 13:43:35] 625*2^1441891-1 is not prime. Res64: B5547065BE3009F2 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:19:33] 685*2^1441891-1 is not prime. Res64: D82ED57AA66BD4D4 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:19:33] 931*2^1441891-1 is not prime. Res64: DDA726BB3F1574A3 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:19:33] 605*2^1441892-1 is not prime. Res64: 0A29A63D88707EB2 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:19:34] 767*2^1441892-1 is not prime. Res64: EA1588CFFBC9DF94 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:19:34] 813*2^1441892-1 is not prime. Res64: 1BD9E6249C737FAE Time : 0.0 sec. user=mdettweiler [2016-10-06 14:21:55] 873*2^1441892-1 is not prime. Res64: 171141F1608C5968 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:21:55] 903*2^1441892-1 is not prime. Res64: AC084391A6EDD30C Time : 0.0 sec. user=mdettweiler [2016-10-06 14:21:56] 685*2^1441893-1 is not prime. Res64: DE6E8CBEEB441EE4 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:21:56] 741*2^1441893-1 is not prime. Res64: ED9325E321274C6C Time : 0.0 sec. user=mdettweiler [2016-10-06 14:21:56] 747*2^1441893-1 is not prime. Res64: 1D3ADCD244FEFD72 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:31:41] 787*2^1441893-1 is not prime. Res64: A4626260D8837149 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:31:41] 891*2^1441893-1 is not prime. Res64: E4EFC7E600445336 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:31:41] 919*2^1441893-1 is not prime. Res64: 51967E4B2A624F5F Time : 0.0 sec. user=mdettweiler [2016-10-06 14:31:42] 951*2^1441893-1 is not prime. Res64: 25FC2F937869BAD6 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:31:42] 605*2^1441894-1 is not prime. Res64: 38CA26827C50CCF8 Time : 0.0 sec. user=mdettweiler [2016-10-06 14:33:06] 617*2^1441894-1 is not prime. Res64: B51E2C71DB0689DB Time : 0.0 sec. user=mdettweiler [2016-10-06 14:33:06] 825*2^1441894-1 is not prime. Res64: 5476F322FC88EE9A Time : 0.0 sec. user=mdettweiler [2016-10-06 14:33:06] 857*2^1441894-1 is not prime. Res64: 7098B0676B4F898A Time : 0.0 sec. user=mdettweiler [2016-10-06 14:33:07] 863*2^1441894-1 is not prime. Res64: 24EBFDF300D51B5E Time : 0.0 sec. user=mdettweiler [2016-10-06 14:33:07] 887*2^1441894-1 is not prime. Res64: 49D993C4C11415BE Time : 0.0 sec. user=mdettweiler [2016-10-06 15:06:32] 897*2^1441894-1 is not prime. Res64: FDAA4DE6362C1B7C Time : 0.0 sec. user=mdettweiler [2016-10-06 15:06:33] 721*2^1441895-1 is not prime. Res64: ECF0F860298AFBB2 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:06:34] 823*2^1441895-1 is not prime. Res64: F69F9DB1E64DEC2E Time : 0.0 sec. user=mdettweiler [2016-10-06 15:06:36] 973*2^1441895-1 is not prime. Res64: 6E1D2BD96AAB5CED Time : 0.0 sec. user=mdettweiler [2016-10-06 15:06:36] 683*2^1441896-1 is not prime. Res64: F01000B3474499BA Time : 0.0 sec. user=mdettweiler [2016-10-06 15:09:13] 693*2^1441896-1 is not prime. Res64: 16803B981AFC0371 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:09:13] 735*2^1441896-1 is not prime. Res64: 87723139330168AC Time : 0.0 sec. user=mdettweiler [2016-10-06 15:09:14] 765*2^1441896-1 is not prime. Res64: AB91AD74AAD76F82 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:09:14] 637*2^1441897-1 is not prime. Res64: 8E69D85C9535DF2E Time : 0.0 sec. user=mdettweiler [2016-10-06 15:09:14] 639*2^1441897-1 is not prime. Res64: 8CE7087FA883B32A Time : 0.0 sec. user=mdettweiler [2016-10-06 15:20:28] 717*2^1441897-1 is not prime. Res64: 199A0692D1311309 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:20:28] 729*2^1441897-1 is not prime. Res64: 321812AFDBAE9014 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:20:29] 777*2^1441897-1 is not prime. Res64: 8DAD77283C24C4C5 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:20:29] 861*2^1441897-1 is not prime. Res64: 3457C943CD491701 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:20:29] 895*2^1441897-1 is not prime. Res64: 52B9B4A3786CEB12 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:22:22] 937*2^1441897-1 is not prime. Res64: 5060A08A8D91D135 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:22:23] 945*2^1441897-1 is not prime. Res64: 0DF6292EC1B10D82 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:22:23] 955*2^1441897-1 is not prime. Res64: A9BDFE16C4E70B7D Time : 0.0 sec. user=mdettweiler [2016-10-06 15:22:23] 627*2^1441898-1 is not prime. Res64: 9F88F5A7FE730845 Time : 0.0 sec. user=mdettweiler [2016-10-06 15:22:24] 677*2^1441898-1 is not prime. Res64: E51BF6DA20628CD0 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:02:03] 801*2^1441898-1 is not prime. Res64: 185A15D917A3DB64 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:02:05] 921*2^1441898-1 is not prime. Res64: 03AAE45D0744B2DF Time : 0.0 sec. user=mdettweiler [2016-10-06 16:02:07] 613*2^1441899-1 is not prime. Res64: 7838E6F136F2D5EC Time : 0.0 sec. user=mdettweiler [2016-10-06 16:02:08] 823*2^1441899-1 is not prime. Res64: 86C8C09A320BB85B Time : 0.0 sec. user=mdettweiler [2016-10-06 16:02:10] 921*2^1441899-1 is not prime. Res64: DD53D457EBA6FC92 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:04:23] 969*2^1441899-1 is not prime. Res64: 74515D3F28DB4D95 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:04:24] 615*2^1441900-1 is not prime. Res64: E736FEC2082E2E6F Time : 0.0 sec. user=mdettweiler [2016-10-06 16:04:25] 825*2^1441900-1 is not prime. Res64: DB59576248BF4260 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:04:25] 915*2^1441900-1 is not prime. Res64: BDA4FECDC0235C52 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:04:26] 927*2^1441900-1 is not prime. Res64: D54FDA628EC1B447 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:14:18] 645*2^1441901-1 is not prime. Res64: 8FD54CF764B9526A Time : 0.0 sec. user=mdettweiler [2016-10-06 16:14:19] 691*2^1441901-1 is not prime. Res64: F07FDD706EC74C94 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:14:19] 735*2^1441901-1 is not prime. Res64: E0C6923844071663 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:14:19] 801*2^1441901-1 is not prime. Res64: 096D2231EA56A118 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:14:20] 829*2^1441901-1 is not prime. Res64: 18EF68030154E36C Time : 0.0 sec. user=mdettweiler [2016-10-06 16:16:02] 861*2^1441901-1 is not prime. Res64: 0D34DF7801E8063F Time : 0.0 sec. user=mdettweiler [2016-10-06 16:16:02] 885*2^1441901-1 is not prime. Res64: 67F415AAA56D9576 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:16:02] 939*2^1441901-1 is not prime. Res64: 2E39565E448B2E45 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:16:03] 665*2^1441902-1 is not prime. Res64: 19B08E1E38A208B6 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:16:03] 747*2^1441902-1 is not prime. Res64: 93A133AD96D5E91D Time : 0.0 sec. user=mdettweiler [2016-10-06 16:51:26] 983*2^1441902-1 is not prime. Res64: BEC00DDF6574C356 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:51:26] 619*2^1441903-1 is not prime. Res64: 197BA8AFFF40FDC9 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:51:26] 673*2^1441903-1 is not prime. Res64: 3713857DCA6C82A8 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:51:26] 675*2^1441903-1 is not prime. Res64: 5CD6342CF9957E5D Time : 0.0 sec. user=mdettweiler [2016-10-06 16:51:27] 685*2^1441903-1 is not prime. Res64: 1705C549CBC198AA Time : 0.0 sec. user=mdettweiler [2016-10-06 16:53:53] 705*2^1441903-1 is not prime. Res64: 1675465AD0173A8B Time : 0.0 sec. user=mdettweiler [2016-10-06 16:53:53] 751*2^1441903-1 is not prime. Res64: 2CA42ACF19AAE503 Time : 0.0 sec. user=mdettweiler [2016-10-06 16:53:53] 769*2^1441903-1 is not prime. Res64: 1E63BC8302BDDE6E Time : 0.0 sec. user=mdettweiler [2016-10-06 16:53:53] 853*2^1441903-1 is not prime. Res64: 7055967A8605F36C Time : 0.0 sec. user=mdettweiler [2016-10-06 16:53:54] 915*2^1441903-1 is not prime. Res64: D71E098994024B72 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:03:30] 973*2^1441903-1 is not prime. Res64: 66C7318EBD49CD95 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:03:31] 999*2^1441903-1 is not prime. Res64: 5CBFBB9B441610B3 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:03:32] 659*2^1441904-1 is not prime. Res64: 730F0FE627E7D460 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:03:33] 683*2^1441904-1 is not prime. Res64: 51439EE8A33DFF07 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:03:34] 689*2^1441904-1 is not prime. Res64: 335C009DA4416C12 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:05:10] 743*2^1441904-1 is not prime. Res64: 23DA0C43B578A84D Time : 0.0 sec. user=mdettweiler [2016-10-06 17:05:11] 767*2^1441904-1 is not prime. Res64: 70BCEBE718BBB3FF Time : 0.0 sec. user=mdettweiler [2016-10-06 17:05:11] 773*2^1441904-1 is not prime. Res64: C7D639DA35825973 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:05:12] 803*2^1441904-1 is not prime. Res64: 867B5BF460CECBBA Time : 0.0 sec. user=mdettweiler [2016-10-06 17:05:13] 929*2^1441904-1 is not prime. Res64: EFD266D98A965230 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:38:50] 657*2^1441905-1 is not prime. Res64: 43151B5A986F0BCA Time : 0.0 sec. user=mdettweiler [2016-10-06 17:38:50] 675*2^1441905-1 is not prime. Res64: C304E1FD65F9571D Time : 0.0 sec. user=mdettweiler [2016-10-06 17:38:51] 699*2^1441905-1 is not prime. Res64: E8C98E12481F48D2 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:38:51] 741*2^1441905-1 is not prime. Res64: 6E1275F81699F63D Time : 0.0 sec. user=mdettweiler [2016-10-06 17:38:51] 871*2^1441905-1 is not prime. Res64: DF72702C7BD0E713 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:40:58] 885*2^1441905-1 is not prime. Res64: 7D421FD432B5E447 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:40:58] 921*2^1441905-1 is not prime. Res64: 39AB85CEC8203E5A Time : 0.0 sec. user=mdettweiler [2016-10-06 17:40:58] 937*2^1441905-1 is not prime. Res64: 7790DEEFAA784A0D Time : 0.0 sec. user=mdettweiler [2016-10-06 17:40:58] 999*2^1441905-1 is not prime. Res64: 3D0862B49A0A5C63 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:40:59] 603*2^1441906-1 is not prime. Res64: 5CE79398D9542328 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:50:08] 623*2^1441906-1 is not prime. Res64: CADDEA2631304F3C Time : 0.0 sec. user=mdettweiler [2016-10-06 17:50:08] 717*2^1441906-1 is not prime. Res64: 747FBA2BB4B3FA78 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:50:09] 813*2^1441906-1 is not prime. Res64: 6FCDBA1A3D8DFD86 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:50:09] 881*2^1441906-1 is not prime. Res64: CB56233B8707A945 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:50:09] 917*2^1441906-1 is not prime. Res64: 1ECAAC8B309F78B1 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:51:21] 957*2^1441906-1 is not prime. Res64: 6C8895F01D6906EC Time : 0.0 sec. user=mdettweiler [2016-10-06 17:51:21] 663*2^1441907-1 is not prime. Res64: B983000140A49D40 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:51:22] 675*2^1441907-1 is not prime. Res64: 588C0DAB9039AA72 Time : 0.0 sec. user=mdettweiler [2016-10-06 17:51:22] 693*2^1441907-1 is not prime. Res64: C2C29398554C5A4B Time : 0.0 sec. user=mdettweiler [2016-10-06 17:51:22] 711*2^1441907-1 is not prime. Res64: E53D85D55948B7AB Time : 0.0 sec. user=mdettweiler [2016-10-06 18:24:31] 733*2^1441907-1 is not prime. Res64: 840951A4345DDB2D Time : 0.0 sec. user=mdettweiler [2016-10-06 18:24:31] 735*2^1441907-1 is not prime. Res64: EB56AFE6EADA90D2 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:24:31] 949*2^1441907-1 is not prime. Res64: 74A3290F8E95C022 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:24:32] 979*2^1441907-1 is not prime. Res64: D279530CB4939F7C Time : 0.0 sec. user=mdettweiler [2016-10-06 18:24:32] 767*2^1441908-1 is not prime. Res64: C8D49D499CB7EAC6 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:26:49] 803*2^1441908-1 is not prime. Res64: 0A0AA98B3ADA12D4 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:26:50] 879*2^1441908-1 is not prime. Res64: C2FB9C43C5AFB74E Time : 0.0 sec. user=mdettweiler [2016-10-06 18:26:50] 915*2^1441908-1 is not prime. Res64: D88C5801000C0A73 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:26:50] 615*2^1441909-1 is not prime. Res64: D924AE7D7AEBB922 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:26:50] 661*2^1441909-1 is not prime. Res64: 293C93530FAB6647 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:36:17] 829*2^1441909-1 is not prime. Res64: DF3F7A85C4181CD7 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:36:18] 951*2^1441909-1 is not prime. Res64: 134917707D6AF530 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:36:18] 961*2^1441909-1 is not prime. Res64: 44A344EFCB650797 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:36:18] 997*2^1441909-1 is not prime. Res64: 5E0E5A7D4B6ABC0B Time : 0.0 sec. user=mdettweiler [2016-10-06 18:36:18] 663*2^1441910-1 is not prime. Res64: 15F3C26DD501BFCB Time : 0.0 sec. user=mdettweiler [2016-10-06 18:37:52] 677*2^1441910-1 is not prime. Res64: 959D2B0D19389F39 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:37:53] 707*2^1441910-1 is not prime. Res64: EC3E8ED93C81975F Time : 0.0 sec. user=mdettweiler [2016-10-06 18:37:53] 741*2^1441910-1 is not prime. Res64: A993E746C53A7E44 Time : 0.0 sec. user=mdettweiler [2016-10-06 18:37:53] 833*2^1441910-1 is not prime. Res64: 725024DE4BBE178A Time : 0.0 sec. user=mdettweiler [2016-10-06 18:37:53] 897*2^1441910-1 is not prime. Res64: E9E6C67FC17C256E Time : 0.0 sec. user=mdettweiler [2016-10-06 19:10:45] 945*2^1441910-1 is not prime. Res64: 6E7E6FEF0127E9CA Time : 0.0 sec. user=mdettweiler [2016-10-06 19:10:45] 613*2^1441911-1 is not prime. Res64: F6EC6A068DF66C29 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:10:46] 615*2^1441911-1 is not prime. Res64: 8EC10B05574335C3 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:10:46] 621*2^1441911-1 is not prime. Res64: 95FD592BA8A74C1F Time : 0.0 sec. user=mdettweiler [2016-10-06 19:10:46] 739*2^1441911-1 is not prime. Res64: 6178ECA9FA3B133D Time : 0.0 sec. user=mdettweiler [2016-10-06 19:13:06] 775*2^1441911-1 is not prime. Res64: EC40BBEBB57E57BF Time : 0.0 sec. user=mdettweiler [2016-10-06 19:13:06] 793*2^1441911-1 is not prime. Res64: F31A93E47F5651E1 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:13:06] 825*2^1441911-1 is not prime. Res64: 0F48FF06798C7EA9 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:13:07] 871*2^1441911-1 is not prime. Res64: 735228F5A408A7CE Time : 0.0 sec. user=mdettweiler [2016-10-06 19:13:07] 933*2^1441911-1 is not prime. Res64: 4FE41A601F0EEAE8 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:21:51] 951*2^1441911-1 is not prime. Res64: B453133CC110CDC5 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:21:51] 973*2^1441911-1 is not prime. Res64: 656EEE119C4FAFC1 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:21:51] 999*2^1441911-1 is not prime. Res64: B96A4B2851F561DB Time : 0.0 sec. user=mdettweiler [2016-10-06 19:21:52] 609*2^1441912-1 is not prime. Res64: E171C2C96B6A4DB6 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:21:52] 687*2^1441912-1 is not prime. Res64: FACB32799C97DA88 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:23:27] 713*2^1441912-1 is not prime. Res64: 116FA5D189032AF7 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:23:28] 917*2^1441912-1 is not prime. Res64: DF0F6F3FDBCBF0BA Time : 0.0 sec. user=mdettweiler [2016-10-06 19:23:28] 965*2^1441912-1 is not prime. Res64: 7B7F2767C09AE498 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:23:28] 607*2^1441913-1 is not prime. Res64: 1D63777BC8819128 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:23:29] 697*2^1441913-1 is not prime. Res64: 658D7F017063DBF4 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:56:10] 735*2^1441913-1 is not prime. Res64: 83E5AABD93E678BB Time : 0.0 sec. user=mdettweiler [2016-10-06 19:56:10] 745*2^1441913-1 is not prime. Res64: 30399A6A51062AE4 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:56:11] 759*2^1441913-1 is not prime. Res64: CB70BD5CB5B71612 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:56:11] 811*2^1441913-1 is not prime. Res64: 57E42E2F4AC0F118 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:56:11] 831*2^1441913-1 is not prime. Res64: E104974AFEDF7572 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:58:18] 985*2^1441913-1 is not prime. Res64: 11AE3574425D0CE7 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:58:19] 611*2^1441914-1 is not prime. Res64: BE469D5C4DF6F2A8 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:58:19] 747*2^1441914-1 is not prime. Res64: 5C973B7C3FA81E01 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:58:19] 755*2^1441914-1 is not prime. Res64: 048F75344C3FE828 Time : 0.0 sec. user=mdettweiler [2016-10-06 19:58:19] 851*2^1441914-1 is not prime. Res64: 0F28B5E201FAA5EA Time : 0.0 sec. user=mdettweiler [2016-10-06 20:07:25] 887*2^1441914-1 is not prime. Res64: DAC3B5905E52BED8 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:07:27] 951*2^1441914-1 is not prime. Res64: 36CCFE36A4772872 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:07:29] 651*2^1441915-1 is not prime. Res64: B4FEE06442215F4B Time : 0.0 sec. user=mdettweiler [2016-10-06 20:07:31] 685*2^1441915-1 is not prime. Res64: CE4EA17807A89DB2 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:07:32] 709*2^1441915-1 is not prime. Res64: 9952D5016AA78DD6 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:09:00] 759*2^1441915-1 is not prime. Res64: 66657145F989BE50 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:09:00] 789*2^1441915-1 is not prime. Res64: 95ED43855B13EB23 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:09:01] 805*2^1441915-1 is not prime. Res64: 147BBEBEFAA91CF0 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:09:01] 853*2^1441915-1 is not prime. Res64: 68E4A75DD8D2B5E0 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:09:02] 859*2^1441915-1 is not prime. Res64: 5E7FA37160BD3164 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:41:14] 915*2^1441915-1 is not prime. Res64: C68DF9A2E224AC93 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:41:15] 939*2^1441915-1 is not prime. Res64: 7B08D41EAD8AE0A0 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:41:15] 699*2^1441916-1 is not prime. Res64: FD7BB2D531FE7377 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:41:15] 773*2^1441916-1 is not prime. Res64: A9F73931473D28BF Time : 0.0 sec. user=mdettweiler [2016-10-06 20:41:16] 869*2^1441916-1 is not prime. Res64: 7497364CBC5423B9 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:43:36] 963*2^1441916-1 is not prime. Res64: 2130B324114A6E80 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:43:37] 627*2^1441917-1 is not prime. Res64: 487DFF3DEC248309 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:43:37] 639*2^1441917-1 is not prime. Res64: 26C564B53917E726 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:43:38] 717*2^1441917-1 is not prime. Res64: DF3D08DECE560B91 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:43:38] 765*2^1441917-1 is not prime. Res64: 0B7D910D047ABAAC Time : 0.0 sec. user=mdettweiler [2016-10-06 20:52:51] 825*2^1441917-1 is not prime. Res64: 02F4C0C4659CD795 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:52:52] 847*2^1441917-1 is not prime. Res64: 13E624EF65D7AD40 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:52:52] 849*2^1441917-1 is not prime. Res64: 73D26B927839B66C Time : 0.0 sec. user=mdettweiler [2016-10-06 20:52:52] 919*2^1441917-1 is not prime. Res64: 72C68CD70D92C3AC Time : 0.0 sec. user=mdettweiler [2016-10-06 20:52:53] 937*2^1441917-1 is not prime. Res64: B846696242D2887F Time : 0.0 sec. user=mdettweiler [2016-10-06 20:54:07] 603*2^1441918-1 is not prime. Res64: 36009950E8F27C38 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:54:07] 611*2^1441918-1 is not prime. Res64: CBBB354792292A36 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:54:08] 681*2^1441918-1 is not prime. Res64: F98EBA36E5C09223 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:54:08] 707*2^1441918-1 is not prime. Res64: 12405034D50E7F91 Time : 0.0 sec. user=mdettweiler [2016-10-06 20:54:08] 755*2^1441918-1 is not prime. Res64: A91A539373B21D16 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:26:30] 765*2^1441918-1 is not prime. Res64: E1292DD79CF22D5F Time : 0.0 sec. user=mdettweiler [2016-10-06 21:26:30] 813*2^1441918-1 is not prime. Res64: 7587B4AC32111260 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:26:31] 941*2^1441918-1 is not prime. Res64: D9A4A2411CC5AE01 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:26:31] 981*2^1441918-1 is not prime. Res64: E5C1C680E7D1CF9E Time : 0.0 sec. user=mdettweiler [2016-10-06 21:26:31] 1001*2^1441918-1 is not prime. Res64: BA76845FF9A06352 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:28:45] 633*2^1441919-1 is not prime. Res64: C187846BBF28644D Time : 0.0 sec. user=mdettweiler [2016-10-06 21:28:45] 693*2^1441919-1 is not prime. Res64: E1178BC0198C2EFA Time : 0.0 sec. user=mdettweiler [2016-10-06 21:28:45] 705*2^1441919-1 is not prime. Res64: F5BC30215F2198B4 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:28:46] 735*2^1441919-1 is not prime. Res64: 7714EE9CADAE245E Time : 0.0 sec. user=mdettweiler [2016-10-06 21:28:46] 799*2^1441919-1 is not prime. Res64: 96A72323259E46E6 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:37:59] 889*2^1441919-1 is not prime. Res64: 78CB795FF6213108 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:37:59] 635*2^1441920-1 is not prime. Res64: 470F1A533AB1E862 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:38:00] 693*2^1441920-1 is not prime. Res64: B99BD4942C7B5910 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:38:00] 759*2^1441920-1 is not prime. Res64: 84641AA2ACFE40BC Time : 0.0 sec. user=mdettweiler [2016-10-06 21:38:00] 789*2^1441920-1 is not prime. Res64: 22531AD8F561A02E Time : 0.0 sec. user=mdettweiler [2016-10-06 21:39:11] 845*2^1441920-1 is not prime. Res64: 3D1A7BFF0DE54A3A Time : 0.0 sec. user=mdettweiler [2016-10-06 21:39:11] 879*2^1441920-1 is not prime. Res64: 502D6FA6F7715B30 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:39:11] 607*2^1441921-1 is not prime. Res64: 0FA06B7ADF148945 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:39:12] 651*2^1441921-1 is not prime. Res64: D8F2EE8B61D2D604 Time : 0.0 sec. user=mdettweiler [2016-10-06 21:39:12] 685*2^1441921-1 is not prime. Res64: C846B636FE9B2EBD Time : 0.0 sec. user=mdettweiler [2016-10-06 22:12:01] 747*2^1441921-1 is not prime. Res64: 990CC7CF20AFF150 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:12:02] 799*2^1441921-1 is not prime. Res64: 7E8E36E035574B59 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:12:03] 817*2^1441921-1 is not prime. Res64: 4712B2C3D2F83AA1 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:12:04] 901*2^1441921-1 is not prime. Res64: BF9D5807A3E1519B Time : 0.0 sec. user=mdettweiler [2016-10-06 22:12:05] 939*2^1441921-1 is not prime. Res64: 44CEEB525EA88444 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:14:01] 975*2^1441921-1 is not prime. Res64: C42997870F27D026 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:14:02] 623*2^1441922-1 is not prime. Res64: 4DF66AEFD9B69576 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:14:02] 677*2^1441922-1 is not prime. Res64: F94610C304770904 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:14:02] 735*2^1441922-1 is not prime. Res64: EDD520CD1F6A6C81 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:14:03] 755*2^1441922-1 is not prime. Res64: C25B4D10FF4728DD Time : 0.0 sec. user=mdettweiler [2016-10-06 22:23:09] 767*2^1441922-1 is not prime. Res64: 08D935090CB77F00 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:23:09] 801*2^1441922-1 is not prime. Res64: B122554CA8C1BEEE Time : 0.0 sec. user=mdettweiler [2016-10-06 22:23:09] 831*2^1441922-1 is not prime. Res64: DFB895435893BC65 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:23:10] 843*2^1441922-1 is not prime. Res64: 7FBA1688B518556C Time : 0.0 sec. user=mdettweiler [2016-10-06 22:23:10] 953*2^1441922-1 is not prime. Res64: 541D2758E9963683 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:24:32] 615*2^1441923-1 is not prime. Res64: D00FD2288AE5F53A Time : 0.0 sec. user=mdettweiler [2016-10-06 22:24:32] 709*2^1441923-1 is not prime. Res64: EB87707C6A700CAD Time : 0.0 sec. user=mdettweiler [2016-10-06 22:24:32] 753*2^1441923-1 is not prime. Res64: F85C540278169BB2 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:24:32] 765*2^1441923-1 is not prime. Res64: FA8969476811F059 Time : 0.0 sec. user=mdettweiler [2016-10-06 22:24:33] 873*2^1441923-1 is not prime. Res64: B19738562C9C9912 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:03:39] 913*2^1441923-1 is not prime. Res64: 746D0A90F1D542E1 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:03:40] 615*2^1441924-1 is not prime. Res64: 285FB3BB6C56CA34 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:03:40] 657*2^1441924-1 is not prime. Res64: 4A6370A027AA2FD2 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:03:41] 869*2^1441924-1 is not prime. Res64: E4EC4EA7B583537A Time : 0.0 sec. user=mdettweiler [2016-10-06 23:03:42] 885*2^1441924-1 is not prime. Res64: 32A166734489AFB2 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:05:27] 607*2^1441925-1 is not prime. Res64: CB98DFF74FFD429D Time : 0.0 sec. user=mdettweiler [2016-10-06 23:05:28] 619*2^1441925-1 is not prime. Res64: F55151654880AAD4 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:05:29] 717*2^1441925-1 is not prime. Res64: 5BB84E3951CBF88C Time : 0.0 sec. user=mdettweiler [2016-10-06 23:05:30] 837*2^1441925-1 is not prime. Res64: ABACCA47FE51AB57 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:05:31] 957*2^1441925-1 is not prime. Res64: 5F67676D98F4B45D Time : 0.0 sec. user=mdettweiler [2016-10-06 23:14:37] 683*2^1441926-1 is not prime. Res64: 52A2CEE2124A5DE2 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:14:38] 801*2^1441926-1 is not prime. Res64: DF87B840B0B50E5D Time : 0.0 sec. user=mdettweiler [2016-10-06 23:14:38] 881*2^1441926-1 is not prime. Res64: F165D743E235F7D3 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:14:38] 917*2^1441926-1 is not prime. Res64: 6AA066BC786DA0B5 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:14:38] 923*2^1441926-1 is not prime. Res64: 3ED81D5E1EA6D695 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:16:38] 933*2^1441926-1 is not prime. Res64: FC8BA0DEF7AC3141 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:16:38] 993*2^1441926-1 is not prime. Res64: 6C54C21504DBF095 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:16:39] 741*2^1441927-1 is not prime. Res64: C112DABB84F00267 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:16:39] 793*2^1441927-1 is not prime. Res64: 77C494C213AF04F8 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:16:39] 813*2^1441927-1 is not prime. Res64: B40E533A540C408C Time : 0.0 sec. user=mdettweiler [2016-10-06 23:52:21] 871*2^1441927-1 is not prime. Res64: 4354CC6342C57072 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:52:21] 939*2^1441927-1 is not prime. Res64: E4502243B52DF8B9 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:52:21] 617*2^1441928-1 is not prime. Res64: 58B36B80C30552E6 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:52:22] 623*2^1441928-1 is not prime. Res64: 9482008C37339DBC Time : 0.0 sec. user=mdettweiler [2016-10-06 23:52:22] 633*2^1441928-1 is not prime. Res64: 770E720C06B7ABDA Time : 0.0 sec. user=mdettweiler [2016-10-06 23:53:40] 687*2^1441928-1 is not prime. Res64: 05F94762FA815B14 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:53:41] 815*2^1441928-1 is not prime. Res64: 8E87E02BA75EC7A5 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:53:41] 825*2^1441928-1 is not prime. Res64: BDA76A95FEA0EBF4 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:53:41] 867*2^1441928-1 is not prime. Res64: 2BAD3492057E4978 Time : 0.0 sec. user=mdettweiler [2016-10-06 23:53:42] 765*2^1441929-1 is not prime. Res64: 59ABB59CF72F7EE3 Time : 0.0 sec.