user=y-omori
[2025-07-17 00:01:06]
1803054860655*2^1700000-1 is not prime.  Res64: C76E4ECC6D9FE097  Time : 0.0 sec.
user=odicin
[2025-07-17 00:17:50]
1803056132265*2^1700000-1 is not prime.  Res64: EDE731733EEE97B4  Time : 0.0 sec.
user=y-omori
[2025-07-17 00:26:11]
1803059323065*2^1700000-1 is not prime.  Res64: 74F77ADBC3380833  Time : 0.0 sec.
user=odicin
[2025-07-17 00:48:02]
1803061055235*2^1700000-1 is not prime.  Res64: C4A105B4D8C68C5A  Time : 0.0 sec.
user=y-omori
[2025-07-17 00:51:17]
1803061066275*2^1700000-1 is not prime.  Res64: A6D18053D0980651  Time : 0.0 sec.
user=y-omori
[2025-07-17 01:16:14]
1803065238135*2^1700000-1 is not prime.  Res64: C683570F54076293  Time : 0.0 sec.
user=odicin
[2025-07-17 01:18:00]
1803061289445*2^1700000-1 is not prime.  Res64: E44DA726B7EA3EFA  Time : 0.0 sec.
user=y-omori
[2025-07-17 01:41:18]
1803067036665*2^1700000-1 is not prime.  Res64: F9B141B7BB5BA96E  Time : 0.0 sec.
user=odicin
[2025-07-17 01:49:12]
1803075673395*2^1700000-1 is not prime.  Res64: 5261692FF6431F39  Time : 0.0 sec.
user=y-omori
[2025-07-17 02:06:34]
1803076571355*2^1700000-1 is not prime.  Res64: D6B27BADBCAED9D3  Time : 0.0 sec.
user=odicin
[2025-07-17 02:18:55]
1803077565855*2^1700000-1 is not prime.  Res64: 881FA27EE1C32FED  Time : 0.0 sec.
user=y-omori
[2025-07-17 02:32:02]
1803078668985*2^1700000-1 is not prime.  Res64: 213C3346A04538B7  Time : 0.0 sec.
user=odicin
[2025-07-17 02:48:05]
1803079968255*2^1700000-1 is not prime.  Res64: D077A460020AB3D9  Time : 0.0 sec.
user=y-omori
[2025-07-17 02:56:57]
1803081510195*2^1700000-1 is not prime.  Res64: 1DCED126A7A70FAC  Time : 0.0 sec.
user=odicin
[2025-07-17 03:24:11]
1803081595605*2^1700000-1 is not prime.  Res64: 0A9E5FF089415A49  Time : 0.0 sec.
user=y-omori
[2025-07-17 03:25:05]
1803082093575*2^1700000-1 is not prime.  Res64: 3DE1F3A6089679BF  Time : 0.0 sec.
user=y-omori
[2025-07-17 03:52:15]
1803089504685*2^1700000-1 is not prime.  Res64: E6E29FCDFC7A1AD2  Time : 0.0 sec.
user=odicin
[2025-07-17 03:53:45]
1803088784385*2^1700000-1 is not prime.  Res64: 7F6ED68C3654A428  Time : 0.0 sec.
user=y-omori
[2025-07-17 04:17:18]
1803097753065*2^1700000-1 is not prime.  Res64: 43ADBB40CA49B748  Time : 0.0 sec.
user=odicin
[2025-07-17 04:23:51]
1803100287855*2^1700000-1 is not prime.  Res64: 72929515AE4F66AD  Time : 0.0 sec.
user=y-omori
[2025-07-17 04:42:14]
1803102295245*2^1700000-1 is not prime.  Res64: B3689B4810AE0330  Time : 0.0 sec.
user=odicin
[2025-07-17 04:53:51]
1803108804255*2^1700000-1 is not prime.  Res64: FD0EDA45C3384CB5  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:07:09]
1803110897805*2^1700000-1 is not prime.  Res64: 89858FDDC4F15C44  Time : 0.0 sec.
user=odicin
[2025-07-17 05:23:33]
1803113682345*2^1700000-1 is not prime.  Res64: 80F1C518327D6782  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:32:02]
1803118810485*2^1700000-1 is not prime.  Res64: F51011151A1F4DB3  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:37]
1802842118055*2^1700000-1 is not prime.  Res64: C9DBB03CB929A9E8  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:38]
1802845834335*2^1700000-1 is not prime.  Res64: 00DCA985E1A601CB  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:38]
1802848835175*2^1700000-1 is not prime.  Res64: CEC288152D8DEB0D  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:39]
1802850861405*2^1700000-1 is not prime.  Res64: 7B7E78BA5BA1C793  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:39]
1802852010855*2^1700000-1 is not prime.  Res64: 0F10D72C7E84C147  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:40]
1802857941135*2^1700000-1 is not prime.  Res64: EA2F1BC7DADA03AE  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:41]
1802866900575*2^1700000-1 is not prime.  Res64: 0C75186D033A90E2  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:41]
1802868205515*2^1700000-1 is not prime.  Res64: BBE0A9CAEC7E2512  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:42]
1802869793805*2^1700000-1 is not prime.  Res64: 0EAD9F8755194C2E  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:42]
1802875111785*2^1700000-1 is not prime.  Res64: 25437E9C83A6D23A  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:43]
1802878809795*2^1700000-1 is not prime.  Res64: 7227A156800B44C9  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:43]
1802881081455*2^1700000-1 is not prime.  Res64: 1AF5CB91699B553E  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:44]
1802887286955*2^1700000-1 is not prime.  Res64: 2E755141D7AB0F7A  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:45]
1802890288065*2^1700000-1 is not prime.  Res64: 3996BAAAAF1161FF  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:45]
1802890517505*2^1700000-1 is not prime.  Res64: 675539502524E6A9  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:46]
1802895577455*2^1700000-1 is not prime.  Res64: 586B586E42F08C77  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:46]
1802896222935*2^1700000-1 is not prime.  Res64: F7B675DB66194641  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:47]
1802901344205*2^1700000-1 is not prime.  Res64: 516DDDDF0530D046  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:47]
1802913779835*2^1700000-1 is not prime.  Res64: 309BF30864B9410F  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:47:48]
1802913951705*2^1700000-1 is not prime.  Res64: 87F852CA7536185E  Time : 0.0 sec.
user=odicin
[2025-07-17 05:52:55]
1803120934125*2^1700000-1 is not prime.  Res64: 9702B0BE7DAB9175  Time : 0.0 sec.
user=y-omori
[2025-07-17 05:57:02]
1803124306515*2^1700000-1 is not prime.  Res64: 28A67EF7A051B087  Time : 0.0 sec.
user=y-omori
[2025-07-17 06:21:52]
1803129136725*2^1700000-1 is not prime.  Res64: 8E4E54A35368D538  Time : 0.0 sec.
user=odicin
[2025-07-17 06:21:54]
1803128824605*2^1700000-1 is not prime.  Res64: 262769B896D822A2  Time : 0.0 sec.
user=y-omori
[2025-07-17 06:47:29]
1803129144165*2^1700000-1 is not prime.  Res64: EF0355A658A4C490  Time : 0.0 sec.
user=odicin
[2025-07-17 06:51:54]
1803133751415*2^1700000-1 is not prime.  Res64: 71F9E2F04CA348F8  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:13:52]
1803134946885*2^1700000-1 is not prime.  Res64: C24008A244497F94  Time : 0.0 sec.
user=odicin
[2025-07-17 07:20:50]
1803145371705*2^1700000-1 is not prime.  Res64: 62ECC18AF6843EFD  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:39:13]
1803150095145*2^1700000-1 is not prime.  Res64: 3115EB7AD5375E31  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:42:56]
1802936231235*2^1700000-1 is not prime.  Res64: 38FCA6C0CC12A548  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:42:57]
1802937815805*2^1700000-1 is not prime.  Res64: E6BA63A1846A46CB  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:42:57]
1802946004275*2^1700000-1 is not prime.  Res64: 9018ABCA7B6C445B  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:42:58]
1802951464845*2^1700000-1 is not prime.  Res64: 00B976BBB1CDC1F8  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:42:59]
1802959453245*2^1700000-1 is not prime.  Res64: 71FB8CFEE9328F71  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:42:59]
1802959962405*2^1700000-1 is not prime.  Res64: 5F52465F585D5CE2  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:00]
1802963487345*2^1700000-1 is not prime.  Res64: 2E9A2CA21DC39CA1  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:00]
1802963554455*2^1700000-1 is not prime.  Res64: A26959BA8130B1E6  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:01]
1802963986575*2^1700000-1 is not prime.  Res64: CE3F33971C67FC7B  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:01]
1802969360415*2^1700000-1 is not prime.  Res64: 0FDB8846E91E9FD7  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:02]
1802969609175*2^1700000-1 is not prime.  Res64: 3B21232FA3E54FD7  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:03]
1802974332225*2^1700000-1 is not prime.  Res64: A4249D125B15B1CB  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:03]
1802977385775*2^1700000-1 is not prime.  Res64: DD964B57A45E0A03  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:04]
1802978524185*2^1700000-1 is not prime.  Res64: 14FB5C7686479C56  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:04]
1802984283765*2^1700000-1 is not prime.  Res64: 4AB99946B68372B3  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:05]
1802985221085*2^1700000-1 is not prime.  Res64: 369E74A4FCCC3CF1  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:05]
1802987873445*2^1700000-1 is not prime.  Res64: BECBC47D0C57F499  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:06]
1802989240485*2^1700000-1 is not prime.  Res64: 99C64962FA696D8B  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:06]
1802990281365*2^1700000-1 is not prime.  Res64: DAAB4C6A49BD1C93  Time : 0.0 sec.
user=y-omori
[2025-07-17 07:43:07]
1802991513375*2^1700000-1 is not prime.  Res64: B88629AC3413F4B1  Time : 0.0 sec.
user=odicin
[2025-07-17 07:50:55]
1803150376065*2^1700000-1 is not prime.  Res64: 8352D4CAEBF4C74F  Time : 0.0 sec.
user=y-omori
[2025-07-17 08:04:18]
1803151957515*2^1700000-1 is not prime.  Res64: A4AC0FC3D54FFC22  Time : 0.0 sec.
user=odicin
[2025-07-17 08:21:01]
1803163772865*2^1700000-1 is not prime.  Res64: E7DFE0FCBD0B50A9  Time : 0.0 sec.
user=y-omori
[2025-07-17 08:29:17]
1803164154225*2^1700000-1 is not prime.  Res64: B810992BD4F4EA94  Time : 0.0 sec.
user=odicin
[2025-07-17 08:50:01]
1803168544065*2^1700000-1 is not prime.  Res64: B2ACDDB29860FA89  Time : 0.0 sec.
user=y-omori
[2025-07-17 08:54:18]
1803169447065*2^1700000-1 is not prime.  Res64: 2C3F77DC8CB541B8  Time : 0.0 sec.
user=y-omori
[2025-07-17 09:19:16]
1803170618865*2^1700000-1 is not prime.  Res64: 4580BD44B45FC2ED  Time : 0.0 sec.
user=odicin
[2025-07-17 09:20:54]
1803169777395*2^1700000-1 is not prime.  Res64: CFD0E1EA9522B3E9  Time : 0.0 sec.
user=y-omori
[2025-07-17 09:44:20]
1803174613485*2^1700000-1 is not prime.  Res64: 32D45F223D869F62  Time : 0.0 sec.
user=odicin
[2025-07-17 09:50:55]
1803180551445*2^1700000-1 is not prime.  Res64: 73D30FE38859C9E7  Time : 0.0 sec.
user=y-omori
[2025-07-17 10:09:22]
1803182203245*2^1700000-1 is not prime.  Res64: 93CD3A0645A461A4  Time : 0.0 sec.
user=odicin
[2025-07-17 10:20:43]
1803186347235*2^1700000-1 is not prime.  Res64: D210E6CAB9BE463A  Time : 0.0 sec.
user=y-omori
[2025-07-17 10:34:24]
1803192313065*2^1700000-1 is not prime.  Res64: C1C03DF4F7D1E297  Time : 0.0 sec.
user=odicin
[2025-07-17 10:50:57]
1803198028155*2^1700000-1 is not prime.  Res64: 62D454869C2FEB85  Time : 0.0 sec.
user=y-omori
[2025-07-17 10:59:28]
1803202081215*2^1700000-1 is not prime.  Res64: 6C210199B91D5D98  Time : 0.0 sec.
user=odicin
[2025-07-17 11:20:47]
1803219669975*2^1700000-1 is not prime.  Res64: 24F865E7C098A49A  Time : 0.0 sec.
user=y-omori
[2025-07-17 11:24:31]
1803227705145*2^1700000-1 is not prime.  Res64: 810E6E9034D027C2  Time : 0.0 sec.
user=y-omori
[2025-07-17 11:49:34]
1803230085495*2^1700000-1 is not prime.  Res64: A3E0E0B9611FB9C2  Time : 0.0 sec.
user=odicin
[2025-07-17 11:50:12]
1803228481635*2^1700000-1 is not prime.  Res64: 88C845C3F0535374  Time : 0.0 sec.
user=y-omori
[2025-07-17 12:14:38]
1803231994815*2^1700000-1 is not prime.  Res64: 849F6883CD381DBA  Time : 0.0 sec.
user=odicin
[2025-07-17 12:19:44]
1803234104895*2^1700000-1 is not prime.  Res64: 8F322EA5D7C0DD33  Time : 0.0 sec.
user=y-omori
[2025-07-17 12:39:35]
1803234380325*2^1700000-1 is not prime.  Res64: 313E61FBA9E16C27  Time : 0.0 sec.
user=odicin
[2025-07-17 12:50:11]
1803235279905*2^1700000-1 is not prime.  Res64: 76AAC6E0B6BA4B2E  Time : 0.0 sec.
user=y-omori
[2025-07-17 13:04:37]
1803235345365*2^1700000-1 is not prime.  Res64: 96A227BF0E85AB9C  Time : 0.0 sec.
user=odicin
[2025-07-17 13:20:11]
1803236789865*2^1700000-1 is not prime.  Res64: 78AD01DDB5644201  Time : 0.0 sec.
user=y-omori
[2025-07-17 13:29:47]
1803242304405*2^1700000-1 is not prime.  Res64: 853D750D993A88C8  Time : 0.0 sec.
user=odicin
[2025-07-17 13:50:02]
1803243633645*2^1700000-1 is not prime.  Res64: 1F0C4ADCCDABBD5C  Time : 0.0 sec.
user=y-omori
[2025-07-17 13:54:49]
1803246694095*2^1700000-1 is not prime.  Res64: 61497586B0B1332E  Time : 0.0 sec.
user=odicin
[2025-07-17 14:19:02]
1803254073075*2^1700000-1 is not prime.  Res64: 32C122C3CCA89C32  Time : 0.0 sec.
user=y-omori
[2025-07-17 14:19:51]
1803258963975*2^1700000-1 is not prime.  Res64: F1D8F9E6EEE6879F  Time : 0.0 sec.
user=y-omori
[2025-07-17 14:46:32]
1803262117965*2^1700000-1 is not prime.  Res64: F0A61739D54698F8  Time : 0.0 sec.
user=odicin
[2025-07-17 14:47:32]
1803261274395*2^1700000-1 is not prime.  Res64: A99335E119085C1A  Time : 0.0 sec.
user=y-omori
[2025-07-17 15:11:34]
1803264373365*2^1700000-1 is not prime.  Res64: 85BE8B4E7C2A5BE4  Time : 0.0 sec.
user=odicin
[2025-07-17 15:16:48]
1803264666465*2^1700000-1 is not prime.  Res64: 0BE73CB8EB879796  Time : 0.0 sec.
user=y-omori
[2025-07-17 15:36:44]
1803265041795*2^1700000-1 is not prime.  Res64: C584238E3C10843D  Time : 0.0 sec.
user=odicin
[2025-07-17 15:46:58]
1803268933035*2^1700000-1 is not prime.  Res64: 45A30B2DAC92D72D  Time : 0.0 sec.
user=y-omori
[2025-07-17 16:01:53]
1803276764985*2^1700000-1 is not prime.  Res64: 93F97D5918F0662B  Time : 0.0 sec.
user=odicin
[2025-07-17 16:15:40]
1803279794385*2^1700000-1 is not prime.  Res64: E0D14BA5FEBE0EBD  Time : 0.0 sec.
user=y-omori
[2025-07-17 16:26:56]
1803282203085*2^1700000-1 is not prime.  Res64: 8EDF2B2DF7C47F77  Time : 0.0 sec.
user=odicin
[2025-07-17 16:45:53]
1803282799695*2^1700000-1 is not prime.  Res64: E3F2846C54996013  Time : 0.0 sec.
user=y-omori
[2025-07-17 16:51:54]
1803284208795*2^1700000-1 is not prime.  Res64: 29FCB7C3826D0A53  Time : 0.0 sec.
user=y-omori
[2025-07-17 17:16:56]
1803285445815*2^1700000-1 is not prime.  Res64: 39FE6A03C34DCBA2  Time : 0.0 sec.
user=odicin
[2025-07-17 17:17:51]
1803284733915*2^1700000-1 is not prime.  Res64: 22060E19557DB2F2  Time : 0.0 sec.
user=y-omori
[2025-07-17 17:43:01]
1803286374645*2^1700000-1 is not prime.  Res64: 809B4D1C7F899E9B  Time : 0.0 sec.
user=odicin
[2025-07-17 17:47:08]
1803288811695*2^1700000-1 is not prime.  Res64: FF43E1D3A8411EBD  Time : 0.0 sec.
user=y-omori
[2025-07-17 18:08:26]
1803296328105*2^1700000-1 is not prime.  Res64: 4199CDE0E93304E3  Time : 0.0 sec.
user=odicin
[2025-07-17 18:16:04]
1803298026165*2^1700000-1 is not prime.  Res64: 2BBF772FE6DD8D0C  Time : 0.0 sec.
user=y-omori
[2025-07-17 18:33:30]
1803302701605*2^1700000-1 is not prime.  Res64: FBF945C7CA1C0764  Time : 0.0 sec.
user=odicin
[2025-07-17 18:46:30]
1803308392875*2^1700000-1 is not prime.  Res64: AEC8A8671C138E37  Time : 0.0 sec.
user=y-omori
[2025-07-17 18:58:28]
1803308780265*2^1700000-1 is not prime.  Res64: 2EB12010D4F07251  Time : 0.0 sec.
user=odicin
[2025-07-17 19:16:51]
1803308972535*2^1700000-1 is not prime.  Res64: 612F0C18A58E3F30  Time : 0.0 sec.
user=y-omori
[2025-07-17 19:23:33]
1803315141375*2^1700000-1 is not prime.  Res64: CF0DAC7ED3C0A325  Time : 0.0 sec.
user=odicin
[2025-07-17 19:48:01]
1803319084125*2^1700000-1 is not prime.  Res64: 80AB40B4975FC5B9  Time : 0.0 sec.
user=y-omori
[2025-07-17 19:48:45]
1803324267825*2^1700000-1 is not prime.  Res64: D40CC6659E564836  Time : 0.0 sec.
user=y-omori
[2025-07-17 20:13:47]
1803332259315*2^1700000-1 is not prime.  Res64: 583FB13590ADD7BF  Time : 0.0 sec.
user=odicin
[2025-07-17 20:17:54]
1803327311505*2^1700000-1 is not prime.  Res64: F46803E01A86F0FD  Time : 0.0 sec.
user=y-omori
[2025-07-17 20:38:44]
1803332499345*2^1700000-1 is not prime.  Res64: 1F2E859357EFC0A3  Time : 0.0 sec.
user=odicin
[2025-07-17 20:48:00]
1803332765745*2^1700000-1 is not prime.  Res64: F4F9654B347F636A  Time : 0.0 sec.
user=y-omori
[2025-07-17 21:03:47]
1803340931055*2^1700000-1 is not prime.  Res64: BFE0B1D6872C7C83  Time : 0.0 sec.
user=odicin
[2025-07-17 21:18:26]
1803353150595*2^1700000-1 is not prime.  Res64: 5067AA02D38E994B  Time : 0.0 sec.
user=y-omori
[2025-07-17 21:28:55]
1803353364435*2^1700000-1 is not prime.  Res64: 15068D61794A7AC4  Time : 0.0 sec.
user=odicin
[2025-07-17 21:48:23]
1803355257165*2^1700000-1 is not prime.  Res64: FE34B4A0618B99AF  Time : 0.0 sec.
user=y-omori
[2025-07-17 21:53:57]
1803361900875*2^1700000-1 is not prime.  Res64: 1E6366092A31A459  Time : 0.0 sec.
user=y-omori
[2025-07-17 22:19:00]
1803364956525*2^1700000-1 is not prime.  Res64: D2F2F3ADFD54DE38  Time : 0.0 sec.
user=odicin
[2025-07-17 22:19:50]
1803364114215*2^1700000-1 is not prime.  Res64: 91F2EAF26904B273  Time : 0.0 sec.
user=y-omori
[2025-07-17 22:44:32]
1803366277005*2^1700000-1 is not prime.  Res64: 888D05DB7B7072E9  Time : 0.0 sec.
user=odicin
[2025-07-17 22:49:18]
1803366652395*2^1700000-1 is not prime.  Res64: 3634D8EBB6E0F088  Time : 0.0 sec.
user=y-omori
[2025-07-17 23:10:38]
1803369039135*2^1700000-1 is not prime.  Res64: BCCFC2FE2EA999E4  Time : 0.0 sec.
user=odicin
[2025-07-17 23:18:20]
1803376377075*2^1700000-1 is not prime.  Res64: 54044DDB077C1099  Time : 0.0 sec.
user=y-omori
[2025-07-17 23:35:47]
1803377758245*2^1700000-1 is not prime.  Res64: 32E7E912A3D04C0D  Time : 0.0 sec.
user=odicin
[2025-07-17 23:48:23]
1803379969905*2^1700000-1 is not prime.  Res64: E6EA0C1B17824E9D  Time : 0.0 sec.