user=MiHost [2018-12-26 00:20:35] 90646*2^5683860+1 is not prime. Res64: 14AF107071DE4F8D Time : 0.0 sec. user=mdettweiler [2018-12-26 00:29:21] 163503*2^5683851-1 is not prime. Res64: 87806FD9B60D7741 Time : 0.0 sec. user=mdettweiler [2018-12-26 00:38:00] 351134*2^5683648-1 is not prime. Res64: DEF0700349D11521 Time : 0.0 sec. user=MiHost [2018-12-26 00:45:34] 101746*2^5683912+1 is not prime. Res64: 44AFD8BBB2A7A7B6 Time : 0.0 sec. user=MiHost [2018-12-26 00:54:34] 478214*2^5683896-1 is not prime. Res64: 179C58D9DDBA7879 Time : 0.0 sec. user=MiHost [2018-12-26 01:00:38] 163503*2^5684007-1 is not prime. Res64: 5CF563DC16BAB61A Time : 0.0 sec. user=mdettweiler [2018-12-26 01:03:24] 154317*2^5684001-1 is not prime. Res64: 163A82124671B07E Time : 0.0 sec. user=mdettweiler [2018-12-26 01:14:40] 14361*2^5682950-1 is not prime. Res64: 56EA1ADC3646C443 Time : 0.0 sec. user=mdettweiler [2018-12-26 01:24:33] 32247*2^5684043+1 is not prime. Res64: 0FC35141929FC975 Time : 0.0 sec. user=MiHost [2018-12-26 01:32:19] 14361*2^5684094-1 is not prime. Res64: 728B433224A63A28 Time : 0.0 sec. user=MiHost [2018-12-26 01:36:24] 53133*2^5684109+1 is not prime. Res64: DD2D0C5B1A7C3BBB Time : 0.0 sec. user=MiHost [2018-12-26 01:59:19] 351134*2^5684096-1 is not prime. Res64: B912754FE929A25E Time : 0.0 sec. user=mdettweiler [2018-12-26 02:10:47] 154317*2^5684145-1 is not prime. Res64: AF775D25123FE50C Time : 0.0 sec. user=MiHost [2018-12-26 02:11:21] 32247*2^5684307+1 is not prime. Res64: 582D9F4F9FA12324 Time : 0.0 sec. user=mdettweiler [2018-12-26 02:20:49] 101746*2^5684280+1 is not prime. Res64: 13F48231036E2C5A Time : 0.0 sec. user=MiHost [2018-12-26 02:25:00] 90646*2^5684304+1 is not prime. Res64: CA4D45B81DB409A4 Time : 0.0 sec. user=MiHost [2018-12-26 02:51:05] 478214*2^5684400-1 is not prime. Res64: 5B8A8A56C2852FCC Time : 0.0 sec. user=MiHost [2018-12-26 02:57:43] 53133*2^5684349+1 is not prime. Res64: 8CF04C186F66EDA6 Time : 0.0 sec. user=mdettweiler [2018-12-26 03:08:02] 103947*2^5684381-1 is not prime. Res64: 2FB07822D89DC640 Time : 0.0 sec. user=mdettweiler [2018-12-26 03:14:26] 103947*2^5684069-1 is not prime. Res64: 8916592E02D15830 Time : 0.0 sec. user=mdettweiler [2018-12-26 03:15:00] 103947*2^5684405-1 is not prime. Res64: E1B65ED6ABA37257 Time : 0.0 sec. user=MiHost [2018-12-26 03:18:39] 53133*2^5684421+1 is not prime. Res64: 8C2E82E2CF88589A Time : 0.0 sec. user=MiHost [2018-12-26 03:20:05] 19464*2^5684424-1 is not prime. Res64: A3797625256A8576 Time : 0.0 sec. user=MiHost [2018-12-26 03:52:17] 103947*2^5684445-1 is not prime. Res64: BEC3CAA2F228E224 Time : 0.0 sec. user=MiHost [2018-12-26 03:59:49] 163503*2^5684607-1 is not prime. Res64: 5744848048FC8201 Time : 0.0 sec. user=mdettweiler [2018-12-26 04:05:55] 101746*2^5684464+1 is not prime. Res64: 0DFB59CEA03B5456 Time : 0.0 sec. user=mdettweiler [2018-12-26 04:09:24] 103947*2^5684501-1 is not prime. Res64: 0F89B6F07D9FBD5D Time : 0.0 sec. user=MiHost [2018-12-26 04:18:20] 478214*2^5684508-1 is not prime. Res64: 38018EEC6308CA94 Time : 0.0 sec. user=MiHost [2018-12-26 04:39:35] 351134*2^5684640-1 is not prime. Res64: 85AB8B04F65816C7 Time : 0.0 sec. user=MiHost [2018-12-26 04:56:51] 478214*2^5684616-1 is not prime. Res64: DCC728B71B866D1E Time : 0.0 sec. user=mdettweiler [2018-12-26 05:03:13] 103947*2^5684645-1 is not prime. Res64: D0C5FC0E68704A10 Time : 0.0 sec. user=mdettweiler [2018-12-26 05:05:38] 101746*2^5684672+1 is not prime. Res64: 2463A48F86E90A1D Time : 0.0 sec. user=MiHost [2018-12-26 05:11:01] 53133*2^5684709+1 is not prime. Res64: 1092CE92534904EA Time : 0.0 sec. user=MiHost [2018-12-26 05:19:14] 351134*2^5684720-1 is not prime. Res64: 8649311CBE4358AF Time : 0.0 sec. user=mdettweiler [2018-12-26 05:52:21] 32247*2^5684475+1 is not prime. Res64: 730243C2CA23EDE0 Time : 0.0 sec. user=MiHost [2018-12-26 05:54:57] 101746*2^5684832+1 is not prime. Res64: 3D6AFF2781BE560A Time : 0.0 sec. user=MiHost [2018-12-26 05:55:22] 90646*2^5684784+1 is not prime. Res64: 8B014070EE00262F Time : 0.0 sec. user=mdettweiler [2018-12-26 06:00:10] 103947*2^5684805-1 is not prime. Res64: 928D88373BB3F23F Time : 0.0 sec. user=MiHost [2018-12-26 06:00:23] 39687*2^5684829-1 is not prime. Res64: D6B0EDE0BE773CAD Time : 0.0 sec. user=mdettweiler [2018-12-26 06:02:09] 90646*2^5684820+1 is not prime. Res64: 09609977643DC4D2 Time : 0.0 sec. user=mdettweiler [2018-12-26 06:03:51] 90646*2^5683692+1 is not prime. Res64: 28D80A2E29CFD3ED Time : 0.0 sec. user=MiHost [2018-12-26 06:30:42] 90646*2^5684844+1 is not prime. Res64: 4BCCCF254ABDFC8C Time : 0.0 sec. user=MiHost [2018-12-26 06:52:20] 32247*2^5684859+1 is not prime. Res64: 835A67A03BAE8CA0 Time : 0.0 sec. user=MiHost [2018-12-26 06:53:00] 101746*2^5684880+1 is not prime. Res64: E5B2BB7588EF5406 Time : 0.0 sec. user=mdettweiler [2018-12-26 06:56:31] 39687*2^5684877-1 is not prime. Res64: 9D753F55E961E0CC Time : 0.0 sec. user=mdettweiler [2018-12-26 06:58:52] 32247*2^5684883+1 is not prime. Res64: 3F7B6AFE4B18602F Time : 0.0 sec. user=MiHost [2018-12-26 07:06:29] 90646*2^5684928+1 is not prime. Res64: 174AC40CF34F1DEF Time : 0.0 sec. user=mdettweiler [2018-12-26 07:23:40] 103947*2^5683829-1 is not prime. Res64: 28011F9C57261BCE Time : 0.0 sec. user=MiHost [2018-12-26 07:42:19] 101746*2^5685072+1 is not prime. Res64: 6C737CDFAC65ABBA Time : 0.0 sec. user=MiHost [2018-12-26 07:46:41] 103947*2^5684981-1 is not prime. Res64: E3D5DEB577F96274 Time : 0.0 sec. user=MiHost [2018-12-26 07:52:12] 351134*2^5685048-1 is not prime. Res64: 97EF9E90D2D0EB1F Time : 0.0 sec. user=mdettweiler [2018-12-26 07:54:59] 101746*2^5685064+1 is not prime. Res64: C80B5A04D085B367 Time : 0.0 sec. user=mdettweiler [2018-12-26 07:59:25] 19464*2^5684832-1 is not prime. Res64: CD870157992567E1 Time : 0.0 sec. user=mdettweiler [2018-12-26 08:03:04] 163503*2^5685051-1 is not prime. Res64: 372863DE49F7A9AA Time : 0.0 sec. user=MiHost [2018-12-26 08:21:46] 351134*2^5685080-1 is not prime. Res64: 08883132AB3E1015 Time : 0.0 sec. user=MiHost [2018-12-26 08:41:43] 103947*2^5685149-1 is not prime. Res64: BB18AEC8FE1E2F9D Time : 0.0 sec. user=mdettweiler [2018-12-26 08:44:22] 14361*2^5685150-1 is not prime. Res64: 9A7FF36DD27727B5 Time : 0.0 sec. user=MiHost [2018-12-26 08:50:33] 351134*2^5685128-1 is not prime. Res64: 1EF407C4B10D8D3D Time : 0.0 sec. user=MiHost [2018-12-26 09:01:28] 351134*2^5685224-1 is not prime. Res64: 12F1415B8DA10E21 Time : 0.0 sec. user=mdettweiler [2018-12-26 09:01:36] 101746*2^5685192+1 is not prime. Res64: C676950E99813A95 Time : 0.0 sec. user=MiHost [2018-12-26 09:34:16] 90646*2^5685240+1 is not prime. Res64: 33073C93BEE66F00 Time : 0.0 sec. user=mdettweiler [2018-12-26 09:39:54] 32247*2^5685243+1 is not prime. Res64: 9D488A7C7CB82E1A Time : 0.0 sec. user=MiHost [2018-12-26 09:40:55] 351134*2^5685296-1 is not prime. Res64: 7A049754E1901EC1 Time : 0.0 sec. user=MiHost [2018-12-26 09:46:47] 32247*2^5685267+1 is not prime. Res64: EB760EA2DE71D468 Time : 0.0 sec. user=mdettweiler [2018-12-26 10:00:31] 53133*2^5685309+1 is not prime. Res64: FEC22FF8E26D6E60 Time : 0.0 sec. user=MiHost [2018-12-26 10:20:39] 478214*2^5685336-1 is not prime. Res64: B49278896A48A57E Time : 0.0 sec. user=MiHost [2018-12-26 10:21:02] 14361*2^5685318-1 is not prime. Res64: 7E6C49FB686E4C42 Time : 0.0 sec. user=mdettweiler [2018-12-26 10:29:50] 39687*2^5685189-1 is not prime. Res64: 0F3EBC91D9B21133 Time : 0.0 sec. user=mdettweiler [2018-12-26 10:30:51] 351134*2^5684240-1 is not prime. Res64: 1E08C5BC20F88310 Time : 0.0 sec. user=mdettweiler [2018-12-26 10:42:13] 351134*2^5685328-1 is not prime. Res64: D1206055A9C2355B Time : 0.0 sec. user=MiHost [2018-12-26 10:51:19] 351134*2^5685344-1 is not prime. Res64: 6A8C48B5612E9419 Time : 0.0 sec. user=MiHost [2018-12-26 11:00:26] 351134*2^5685400-1 is not prime. Res64: B9FF7E866E0A124E Time : 0.0 sec. user=mdettweiler [2018-12-26 11:05:12] 351134*2^5685376-1 is not prime. Res64: 289B6AEFDC42A837 Time : 0.0 sec. user=MiHost [2018-12-26 11:13:35] 90646*2^5685408+1 is not prime. Res64: 64FA455EAC0F8AD8 Time : 0.0 sec. user=MiHost [2018-12-26 11:36:13] 101746*2^5685504+1 is not prime. Res64: 0CA97018332E6BE5 Time : 0.0 sec. user=mdettweiler [2018-12-26 11:42:50] 351134*2^5685488-1 is not prime. Res64: 1285B17083DA159D Time : 0.0 sec. user=MiHost [2018-12-26 11:48:22] 90646*2^5685492+1 is not prime. Res64: 22AB73372F1DAB8E Time : 0.0 sec. user=mdettweiler [2018-12-26 12:09:18] 478214*2^5685516-1 is not prime. Res64: 5EB054ACE2087DD4 Time : 0.0 sec. user=MiHost [2018-12-26 12:12:31] 90646*2^5685564+1 is not prime. Res64: 8B0B3A2258F836C3 Time : 0.0 sec. user=MiHost [2018-12-26 12:12:56] 163503*2^5685519-1 is not prime. Res64: B5113E1FABC4C08A Time : 0.0 sec. user=mdettweiler [2018-12-26 12:33:38] 14361*2^5684886-1 is not prime. Res64: 40741ED37A3104E7 Time : 0.0 sec. user=mdettweiler [2018-12-26 12:44:47] 351134*2^5685616-1 is not prime. Res64: DF5A5C158841D007 Time : 0.0 sec. user=MiHost [2018-12-26 12:49:07] 101746*2^5685640+1 is not prime. Res64: A53DB1CD3B0796F8 Time : 0.0 sec. user=MiHost [2018-12-26 12:53:47] 351134*2^5685624-1 is not prime. Res64: 2FE5E3B0F4BE9247 Time : 0.0 sec. user=MiHost [2018-12-26 13:00:17] 14361*2^5685630-1 is not prime. Res64: 8E8BFACADB1E5979 Time : 0.0 sec. user=mdettweiler [2018-12-26 13:07:19] 90646*2^5685624+1 is not prime. Res64: FAB32AA76110E2D7 Time : 0.0 sec. user=mdettweiler [2018-12-26 13:08:05] 39687*2^5685453-1 is not prime. Res64: EECADCD4DE044788 Time : 0.0 sec. user=MiHost [2018-12-26 13:22:33] 103947*2^5685765-1 is not prime. Res64: 1737DB330BDE6CC1 Time : 0.0 sec. user=MiHost [2018-12-26 13:48:20] 14361*2^5685830-1 is not prime. Res64: 49738D1AF9C308A5 Time : 0.0 sec. user=mdettweiler [2018-12-26 13:49:55] 351134*2^5685704-1 is not prime. Res64: 224912ADCD2508F0 Time : 0.0 sec. user=MiHost [2018-12-26 13:51:29] 19464*2^5685888-1 is not prime. Res64: 49ABA7FF19176813 Time : 0.0 sec. user=MiHost [2018-12-26 13:52:10] 53133*2^5685789+1 is not prime. Res64: 9A0D73A885D1F7DB Time : 0.0 sec. user=mdettweiler [2018-12-26 13:59:34] 14361*2^5685846-1 is not prime. Res64: 20F0F85EB15454F0 Time : 0.0 sec. user=MiHost [2018-12-26 14:31:14] 478214*2^5685984-1 is not prime. Res64: BF1AE7794BAC7D31 Time : 0.0 sec. user=mdettweiler [2018-12-26 14:46:12] 101746*2^5685952+1 is not prime. Res64: 82903A6CDC409468 Time : 0.0 sec. user=MiHost [2018-12-26 14:48:26] 351134*2^5685920-1 is not prime. Res64: AE8EEA0834654D98 Time : 0.0 sec. user=MiHost [2018-12-26 14:56:36] 163503*2^5685987-1 is not prime. Res64: CAEEAC8704ED0817 Time : 0.0 sec. user=mdettweiler [2018-12-26 15:06:29] 351134*2^5670688-1 is not prime. Res64: BB4D22DCC4D5656A Time : 0.0 sec. user=mdettweiler [2018-12-26 15:06:32] 90646*2^5685072+1 is not prime. Res64: 7E3CD9719B169089 Time : 0.0 sec. user=MiHost [2018-12-26 15:06:56] 90646*2^5686068+1 is not prime. Res64: 7156FEF46CB45DB5 Time : 0.0 sec. user=mdettweiler [2018-12-26 15:30:59] 19464*2^5686080-1 is not prime. Res64: 48513B5021879BBC Time : 0.0 sec. user=MiHost [2018-12-26 15:38:49] 14361*2^5686158-1 is not prime. Res64: F40A20EF41BE7607 Time : 0.0 sec. user=MiHost [2018-12-26 15:47:45] 351134*2^5686096-1 is not prime. Res64: 538827F8A2C49804 Time : 0.0 sec. user=MiHost [2018-12-26 15:54:23] 90646*2^5686104+1 is not prime. Res64: C5DB5E5F28E1B764 Time : 0.0 sec. user=mdettweiler [2018-12-26 16:04:52] 101746*2^5686152+1 is not prime. Res64: D0A016C19DEFBF57 Time : 0.0 sec. user=mdettweiler [2018-12-26 16:13:11] 163503*2^5685879-1 is not prime. Res64: F4686C5C01209BCE Time : 0.0 sec. user=MiHost [2018-12-26 16:18:19] 154317*2^5686185-1 is not prime. Res64: 72A3D3DE6AEA9E81 Time : 0.0 sec. user=mdettweiler [2018-12-26 16:28:54] 90646*2^5686164+1 is not prime. Res64: 4B32E947E241E949 Time : 0.0 sec. user=MiHost [2018-12-26 16:34:33] 14361*2^5686190-1 is not prime. Res64: C2084AD60E6FDE8E Time : 0.0 sec. user=MiHost [2018-12-26 16:47:19] 19464*2^5686248-1 is not prime. Res64: C391A56F78834949 Time : 0.0 sec. user=MiHost [2018-12-26 16:52:25] 101746*2^5686192+1 is not prime. Res64: A8BBE9E39AB6F942 Time : 0.0 sec. user=mdettweiler [2018-12-26 17:08:48] 163503*2^5686227-1 is not prime. Res64: 852BAEDA05FE1139 Time : 0.0 sec. user=MiHost [2018-12-26 17:23:14] 101746*2^5686312+1 is not prime. Res64: 3E119BE61D55F270 Time : 0.0 sec. user=mdettweiler [2018-12-26 17:26:07] 90646*2^5686248+1 is not prime. Res64: 167908E071BE3F56 Time : 0.0 sec. user=MiHost [2018-12-26 17:28:30] 53133*2^5686269+1 is not prime. Res64: F01AB63C0C83FA9F Time : 0.0 sec. user=MiHost [2018-12-26 17:50:41] 90646*2^5686320+1 is not prime. Res64: AB9EC6FBB2688319 Time : 0.0 sec. user=mdettweiler [2018-12-26 18:00:23] 14361*2^5686326-1 is not prime. Res64: 7D09B9A2AA660C64 Time : 0.0 sec. user=MiHost [2018-12-26 18:02:59] 163503*2^5686347-1 is not prime. Res64: C24472483BA9F090 Time : 0.0 sec. user=MiHost [2018-12-26 18:15:39] 14361*2^5686398-1 is not prime. Res64: 3A258D09E0942242 Time : 0.0 sec. user=mdettweiler [2018-12-26 18:20:36] 103947*2^5686389-1 is not prime. Res64: 09B5131280BDA822 Time : 0.0 sec. user=MiHost [2018-12-26 18:42:48] 163503*2^5686491-1 is not prime. Res64: F45EB245869CBCFB Time : 0.0 sec. user=mdettweiler [2018-12-26 18:42:58] 14361*2^5686230-1 is not prime. Res64: 211E11F02C6CC38D Time : 0.0 sec. user=MiHost [2018-12-26 18:48:41] 101746*2^5686400+1 is not prime. Res64: 1797BBCA61FFA03C Time : 0.0 sec. user=mdettweiler [2018-12-26 18:58:38] 101746*2^5686472+1 is not prime. Res64: 62450458A5D9BE29 Time : 0.0 sec. user=MiHost [2018-12-26 19:15:03] 351134*2^5686496-1 is not prime. Res64: EFDE07FD8989484A Time : 0.0 sec. user=MiHost [2018-12-26 19:17:51] 32247*2^5686515+1 is not prime. Res64: 839BA4B64BFD35BC Time : 0.0 sec. user=mdettweiler [2018-12-26 19:18:18] 101746*2^5686512+1 is not prime. Res64: 583832D79FABDC83 Time : 0.0 sec. user=MiHost [2018-12-26 19:46:36] 19464*2^5686632-1 is not prime. Res64: 65D961D858B93012 Time : 0.0 sec. user=MiHost [2018-12-26 19:48:02] 32247*2^5686563+1 is not prime. Res64: 6BFFBF6BA9116F83 Time : 0.0 sec. user=mdettweiler [2018-12-26 19:54:32] 351134*2^5685480-1 is not prime. Res64: 90EABF5BE47602F9 Time : 0.0 sec. user=mdettweiler [2018-12-26 19:55:54] 103947*2^5686565-1 is not prime. Res64: E821CADA882FEA2B Time : 0.0 sec. user=MiHost [2018-12-26 20:02:32] 14361*2^5686590-1 is not prime. Res64: 8E6C37B34C890B27 Time : 0.0 sec. user=mdettweiler [2018-12-26 20:14:13] 90646*2^5686644+1 is not prime. Res64: 6820AF0546BB3DC1 Time : 0.0 sec. user=MiHost [2018-12-26 20:21:36] 32247*2^5686659+1 is not prime. Res64: 3A6A4305963114FD Time : 0.0 sec. user=mdettweiler [2018-12-26 20:27:23] 101746*2^5685680+1 is not prime. Res64: AB5EA1DC9E47FECD Time : 0.0 sec. user=MiHost [2018-12-26 20:50:28] 19464*2^5686752-1 is not prime. Res64: 865F9265B68C84FB Time : 0.0 sec. user=MiHost [2018-12-26 20:53:09] 103947*2^5686709-1 is not prime. Res64: 8A01376ED77C61A1 Time : 0.0 sec. user=MiHost [2018-12-26 20:53:32] 351134*2^5686664-1 is not prime. Res64: 70F5B7E8D346417B Time : 0.0 sec. user=mdettweiler [2018-12-26 21:03:07] 351134*2^5686704-1 is not prime. Res64: C37077E3AF65FCCD Time : 0.0 sec. user=mdettweiler [2018-12-26 21:10:22] 90646*2^5686740+1 is not prime. Res64: 59D7B53F25288382 Time : 0.0 sec. user=MiHost [2018-12-26 21:23:32] 103947*2^5686869-1 is not prime. Res64: 7AC54761BEBDCD75 Time : 0.0 sec. user=MiHost [2018-12-26 21:45:48] 14361*2^5686910-1 is not prime. Res64: 218B8075BDBCA5E5 Time : 0.0 sec. user=MiHost [2018-12-26 21:52:56] 351134*2^5686880-1 is not prime. Res64: 5D5A575D263609B2 Time : 0.0 sec. user=MiHost [2018-12-26 21:57:30] 103947*2^5686949-1 is not prime. Res64: FBEEB489A49D0C0C Time : 0.0 sec. user=mdettweiler [2018-12-26 21:58:12] 351134*2^5686544-1 is not prime. Res64: 9596686BF56C5562 Time : 0.0 sec. user=mdettweiler [2018-12-26 22:06:47] 90646*2^5686944+1 is not prime. Res64: 160380BA452FCC87 Time : 0.0 sec. user=mdettweiler [2018-12-26 22:11:28] 351134*2^5686928-1 is not prime. Res64: 72AAC8BC0FD98F0D Time : 0.0 sec. user=MiHost [2018-12-26 22:37:16] 163503*2^5687031-1 is not prime. Res64: 7EED216E43B27243 Time : 0.0 sec. user=MiHost [2018-12-26 22:43:58] 53133*2^5686989+1 is not prime. Res64: A97EE190B878D8B6 Time : 0.0 sec. user=MiHost [2018-12-26 22:52:29] 351134*2^5687024-1 is not prime. Res64: F49179111762BCF4 Time : 0.0 sec. user=mdettweiler [2018-12-26 22:54:12] 90646*2^5686152+1 is not prime. Res64: 5A9AD97701D2FE84 Time : 0.0 sec. user=mdettweiler [2018-12-26 23:08:05] 478214*2^5687100-1 is not prime. Res64: 172B0967949B11EB Time : 0.0 sec. user=mdettweiler [2018-12-26 23:08:42] 101746*2^5687160+1 is not prime. Res64: 3BA948C8D3B947EB Time : 0.0 sec. user=MiHost [2018-12-26 23:16:53] 351134*2^5687160-1 is not prime. Res64: DBF8B51C910DD5A4 Time : 0.0 sec. user=MiHost [2018-12-26 23:45:56] 101746*2^5687232+1 is not prime. Res64: 2CB873AA719F4AB7 Time : 0.0 sec. user=MiHost [2018-12-26 23:49:19] 351134*2^5687176-1 is not prime. Res64: 4D9B9009B8672902 Time : 0.0 sec. user=MiHost [2018-12-26 23:59:38] 351134*2^5687280-1 is not prime. Res64: 16B67E7CC5817DA2 Time : 0.0 sec.