user=Mathew_Steine [2012-07-28 00:18:00] 1520*61^186805-1 is not prime. Res64: E79FB4DCE5CB2BEA Time : 0.0 sec. user=Mathew_Steine [2012-07-28 00:29:20] 2145*100^186806+1 is not prime. Res64: 01FA3A06208B19F8 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 00:35:09] 387*172^186804-1 is not prime. Res64: 5708178D0FFED898 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 00:53:05] 5468*70^186803-1 is not prime. Res64: 780B6B6E194CDA99 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 00:55:03] 3327*112^186800-1 is not prime. Res64: 337EEEB0EA14A8C9 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 01:01:15] 254*163^186807-1 is not prime. Res64: 1594076EC15F6862 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 01:02:36] 22*173^186807-1 is not prime. Res64: 9E57C9FA3BE3E5DA Time : 0.0 sec. user=Mathew_Steine [2012-07-28 01:15:41] 44*158^186804-1 is not prime. Res64: F40377D2050D0038 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 01:19:44] 254*191^186808-1 is not prime. Res64: D2CBFF74CB989293 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 01:34:21] 5468*70^186811-1 is not prime. Res64: 0E2A491A1817151F Time : 0.0 sec. user=Mathew_Steine [2012-07-28 01:46:57] 172*191^186810+1 is not prime. Res64: 92753F067B180B93 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 02:13:21] 43*182^186811-1 is not prime. Res64: B187687ABA80B191 Time : 0.0 sec. user=Aillas [2012-07-28 02:13:34] 16*140^186778+1 is not prime. Res64: 744152F779C05AA5 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 02:17:06] 1486*165^186811+1 is not prime. Res64: 17D57AAFE3B32EAF Time : 0.0 sec. user=Mathew_Steine [2012-07-28 02:30:39] 1662*112^186812-1 is not prime. Res64: D1406FC62712BAE3 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 02:45:22] 9642*61^186813-1 is not prime. Res64: 286E77D7793735BC Time : 0.0 sec. user=Mathew_Steine [2012-07-28 02:54:09] 62*107^186811+1 is not prime. Res64: 52B01ACE4BC89F28 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 03:00:40] 3303*112^186813+1 is not prime. Res64: AF4851C921C79318 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 03:10:02] 47*158^186814-1 is not prime. Res64: 7286C15C81BD8DA1 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 03:14:58] 766*135^186810+1 is not prime. Res64: 8D3EBE581F744DB8 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 03:20:28] 866*183^186809+1 is not prime. Res64: B7C07D65700B4A38 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 03:25:44] 1274*67^186816-1 is not prime. Res64: D0635628B130D45E Time : 0.0 sec. user=Mathew_Steine [2012-07-28 03:37:07] 1520*61^186817-1 is not prime. Res64: 986CF2F8730FF3FA Time : 0.0 sec. user=Mathew_Steine [2012-07-28 03:43:22] 2841*162^186815-1 is not prime. Res64: ADB51E1E0FF3C9D9 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 04:09:46] 43*182^186819-1 is not prime. Res64: 02C2CDD372A34F25 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 04:12:54] 10572*61^186821-1 is not prime. Res64: DF982EB43816683A Time : 0.0 sec. user=Mathew_Steine [2012-07-28 04:22:57] 236*102^186821+1 is not prime. Res64: 87CFD81C2436A812 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 04:34:58] 1140*172^186815-1 is not prime. Res64: 5512D05B49BC481E Time : 0.0 sec. user=Mathew_Steine [2012-07-28 04:58:45] 43*182^186823-1 is not prime. Res64: 8246A21A8DC39974 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 05:01:23] 1312*75^186824+1 is not prime. Res64: CE8AFD8A7284F99D Time : 0.0 sec. user=Mathew_Steine [2012-07-28 05:08:42] 1252*165^186823+1 is not prime. Res64: DCF8BFA0047C41AE Time : 0.0 sec. user=Aillas [2012-07-28 05:23:34] 24*123^186823-1 is not prime. Res64: 852E428B5E4149CD Time : 0.0 sec. user=Aillas [2012-07-28 05:31:06] 62*107^186823+1 is not prime. Res64: 4562DDD734932295 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 05:32:34] 10572*61^186827-1 is not prime. Res64: 5F95B2946A8EA38D Time : 0.0 sec. user=Mathew_Steine [2012-07-28 05:36:31] 254*163^186819-1 is not prime. Res64: 2C7412F41D108B1B Time : 0.0 sec. user=Mathew_Steine [2012-07-28 05:38:27] 2145*100^186827+1 is not prime. Res64: A08766F5CCF58A86 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 05:57:00] 486*187^186827+1 is not prime. Res64: 86681EA8822E474C Time : 0.0 sec. user=Mathew_Steine [2012-07-28 06:02:56] 2841*162^186819-1 is not prime. Res64: 26AFF7294C022819 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 06:06:20] 9231*70^186828+1 is not prime. Res64: 6C991E12693C6DD4 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 06:06:35] 2202*70^186829-1 is not prime. Res64: 93086524560300CC Time : 0.0 sec. user=Aillas [2012-07-28 06:15:31] 1776*70^186827-1 is not prime. Res64: 190D71A619CEAE5D Time : 0.0 sec. user=Mathew_Steine [2012-07-28 06:44:28] 1138*133^186831+1 is not prime. Res64: C6FF84AC8C04F88C Time : 0.0 sec. user=Mathew_Steine [2012-07-28 06:51:09] 3303*112^186832+1 is not prime. Res64: DDC259FDF0874889 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 06:52:34] 10*185^186834+1 is not prime. Res64: 35FE5C48075B0DEB Time : 0.0 sec. user=Aillas [2012-07-28 06:53:10] 204*191^186826-1 is not prime. Res64: 2BB7CB62C3DC89A8 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 06:57:28] 486*187^186824+1 is not prime. Res64: 2959C9D4F6B1B783 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 07:15:02] 88*133^186828+1 is not prime. Res64: 287D9A5E81876380 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 07:27:41] 734*135^186835+1 is not prime. Res64: D2139D7741A3AC5F Time : 0.0 sec. user=Mathew_Steine [2012-07-28 07:29:48] 2145*100^186836+1 is not prime. Res64: 9B443B14CCDC8644 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 07:47:48] 1486*165^186835+1 is not prime. Res64: BC4D9A22C983ECD4 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 08:05:32] 68*107^186837+1 is not prime. Res64: A92070F3234ADCBB Time : 0.0 sec. user=Mathew_Steine [2012-07-28 08:10:03] 254*163^186837-1 is not prime. Res64: 1FD6CFD565FF8138 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 08:26:20] 47*158^186838-1 is not prime. Res64: 67E2F7AFBDA2868B Time : 0.0 sec. user=Mathew_Steine [2012-07-28 08:33:23] 10572*61^186839-1 is not prime. Res64: 398BE983A1329366 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 08:37:07] 1140*172^186831-1 is not prime. Res64: 1E7C2A952A7D175E Time : 0.0 sec. user=Mathew_Steine [2012-07-28 08:41:07] 5468*70^186839-1 is not prime. Res64: A350800330DBE576 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 08:42:52] 178*102^186837+1 is not prime. Res64: 20AF526FAF41C097 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 09:12:28] 1696*112^186840+1 is not prime. Res64: F0A77ED3928214DA Time : 0.0 sec. user=Mathew_Steine [2012-07-28 09:20:35] 52*191^186840+1 is not prime. Res64: 8484850FAF13DF4F Time : 0.0 sec. user=Mathew_Steine [2012-07-28 09:22:45] 866*183^186839+1 is not prime. Res64: 322E88FEC4EEF910 Time : 0.0 sec. user=Aillas [2012-07-28 09:48:09] 204*191^186838-1 is not prime. Res64: 74BC5DE62C6009B0 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 09:48:37] 2361*148^186836+1 is not prime. Res64: FB9B2708707A915F Time : 0.0 sec. user=Mathew_Steine [2012-07-28 09:53:42] 1662*112^186842-1 is not prime. Res64: 98BF8D257AEA0EB2 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 10:04:00] 766*135^186842+1 is not prime. Res64: FD81855F1EA9F105 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 10:18:49] 2118*162^186842-1 is not prime. Res64: 70422158B764A959 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 10:42:31] 16*140^186846+1 is not prime. Res64: 3E69B508D580A57B Time : 0.0 sec. user=Mathew_Steine [2012-07-28 10:50:39] 1228*157^186840+1 is not prime. Res64: 39C54C11D476D92E Time : 0.0 sec. user=Mathew_Steine [2012-07-28 10:52:02] 1140*172^186845-1 is not prime. Res64: 00809CAF5A7EC544 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 11:06:28] 486*187^186847+1 is not prime. Res64: 80064D57482A23BE Time : 0.0 sec. user=Mathew_Steine [2012-07-28 11:07:51] 1274*67^186848-1 is not prime. Res64: F737E9EBB8DCA7C0 Time : 0.0 sec. user=Aillas [2012-07-28 11:14:09] 64*100^186845+1 is not prime. Res64: 378EA942ABF69701 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 11:21:41] 172*191^186840+1 is not prime. Res64: 5CA0B44B9C1EE984 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 11:24:20] 24*123^186845-1 is not prime. Res64: 115A16177744D95D Time : 0.0 sec. user=Mathew_Steine [2012-07-28 11:39:18] 3762*70^186851+1 is not prime. Res64: FE44A4F5C7E1F61A Time : 0.0 sec. user=Aillas [2012-07-28 11:41:53] 1140*172^186843-1 is not prime. Res64: 0705BDF4EEA2DA44 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 11:47:56] 866*183^186849+1 is not prime. Res64: 5D4E0F8F35D7F307 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 12:01:42] 2118*162^186850-1 is not prime. Res64: 6A6EF3549FB5F3B5 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 12:03:50] 1520*61^186849-1 is not prime. Res64: 3CE5342C2C66E9A5 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 12:20:04] 3303*112^186852+1 is not prime. Res64: CF55C2E3A42808B2 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 12:25:25] 222*135^186852+1 is not prime. Res64: 5170EE86A0BB6DFC Time : 0.0 sec. user=Aillas [2012-07-28 12:33:57] 47*158^186850-1 is not prime. Res64: 0D4E5EA91E5D9649 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 12:46:44] 168*181^186852-1 is not prime. Res64: 26E77806D0B1EAD5 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 12:56:21] 64*177^186851-1 is not prime. Res64: 78F025CFD2E4303A Time : 0.0 sec. user=Mathew_Steine [2012-07-28 13:10:14] 926*133^186853-1 is not prime. Res64: 273C745C8636C026 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 13:26:29] 2841*162^186853-1 is not prime. Res64: 2C9C0121AC4C922A Time : 0.0 sec. user=Mathew_Steine [2012-07-28 13:36:28] 64*100^186851+1 is not prime. Res64: D74E0B8DDB90A087 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 13:41:58] 29*158^186856-1 is not prime. Res64: 74CED33DAE516208 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 13:44:51] 2018*162^186854-1 is not prime. Res64: 46104D50B14F17E1 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 14:08:03] 194*165^186857+1 is not prime. Res64: EDDC6A6AD97A9212 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 14:13:04] 5608*70^186859+1 is not prime. Res64: 42199657352C7DC1 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 14:28:52] 1336*133^186859+1 is not prime. Res64: 6F77C3B947FBCD72 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 14:30:44] 194*165^186854+1 is not prime. Res64: B9F4578D1D3A3B27 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 14:48:35] 219*172^186860-1 is not prime. Res64: 2D5A6199266F06E8 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 14:54:25] 168*181^186860-1 is not prime. Res64: 48C1BA4149C44228 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 15:03:25] 10438*70^186858+1 is not prime. Res64: 85D3F83557DA6D80 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 15:18:11] 1520*61^186863-1 is not prime. Res64: 931DAFC633AE023D Time : 0.0 sec. user=Mathew_Steine [2012-07-28 15:20:39] 254*191^186852-1 is not prime. Res64: 826FCFB73798728A Time : 0.0 sec. user=Mathew_Steine [2012-07-28 15:25:12] 1486*165^186861+1 is not prime. Res64: B4D3ED42A571A538 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 15:44:04] 1486*165^186862+1 is not prime. Res64: 59E2ACD7EF00314B Time : 0.0 sec. user=Mathew_Steine [2012-07-28 15:56:21] 24*123^186867-1 is not prime. Res64: 103F9920AEA63DED Time : 0.0 sec. user=Mathew_Steine [2012-07-28 15:59:25] 64*177^186863-1 is not prime. Res64: 518F8A1A602F80C2 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 16:26:25] 1662*112^186862-1 is not prime. Res64: 05A7E709E15360CF Time : 0.0 sec. user=Mathew_Steine [2012-07-28 16:43:00] 24*123^186863-1 is not prime. Res64: D4B0FFC021926E84 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 16:43:53] 1486*165^186867+1 is not prime. Res64: 7FF3BB1A009A6E5B Time : 0.0 sec. user=Mathew_Steine [2012-07-28 16:45:03] 3327*112^186868-1 is not prime. Res64: 38E414D5158C40F4 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 16:59:24] 1140*172^186867-1 is not prime. Res64: 1BEB270DE15F59C0 Time : 0.0 sec. user=Aillas [2012-07-28 16:59:45] 178*102^186865+1 is not prime. Res64: 2AE8D1FCD994BE8D Time : 0.0 sec. user=Mathew_Steine [2012-07-28 17:01:11] 168*181^186864-1 is not prime. Res64: A2A7C1DDF4197381 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 17:25:35] 2228*67^186875-1 is not prime. Res64: 8B6EFEDE8D6BDAF5 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 17:32:49] 486*187^186872+1 is not prime. Res64: 929A643D4CC65CB4 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 17:39:47] 2361*148^186873+1 is not prime. Res64: E164B4FD8E7EE029 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 17:58:16] 178*102^186876+1 is not prime. Res64: CE31097907418B3E Time : 0.0 sec. user=Mathew_Steine [2012-07-28 18:01:48] 1520*61^186879-1 is not prime. Res64: 0D72AF227BF0A438 Time : 0.0 sec. user=Aillas [2012-07-28 18:10:25] 178*102^186870+1 is not prime. Res64: E6076A257DD5F890 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 18:22:40] 1798*165^186877+1 is not prime. Res64: D52F2FF7CE6DFB4C Time : 0.0 sec. user=Mathew_Steine [2012-07-28 18:22:54] 236*102^186869+1 is not prime. Res64: 2A5866838667B92F Time : 0.0 sec. user=Mathew_Steine [2012-07-28 18:39:57] 43*182^186879-1 is not prime. Res64: C42C87AB0537E9E3 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 18:40:46] 88*133^186880+1 is not prime. Res64: 4875F7F8E00BBFCE Time : 0.0 sec. user=Mathew_Steine [2012-07-28 18:59:27] 734*135^186880+1 is not prime. Res64: 55DD3CC290E84DE5 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 19:02:08] 236*102^186881+1 is not prime. Res64: E46C85A533BA2282 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 19:10:29] 1174*157^186871+1 is not prime. Res64: 9B614236C578253E Time : 0.0 sec. user=Mathew_Steine [2012-07-28 19:26:26] 1138*133^186883+1 is not prime. Res64: 7327C11C18421B23 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 19:28:44] 734*135^186883+1 is not prime. Res64: A9523CCC9E7247A1 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 19:29:09] 486*187^186875+1 is not prime. Res64: 0009549C46CF5952 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 19:35:49] 22*173^186883-1 is not prime. Res64: 1FC073707E157B26 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 19:47:43] 52*191^186884+1 is not prime. Res64: 64E27E49BA189119 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 20:09:01] 68*107^186885+1 is not prime. Res64: 8FCFD45FE5861BD9 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 20:15:36] 684*100^186886+1 is not prime. Res64: B7AA166529AEEBAC Time : 0.0 sec. user=Mathew_Steine [2012-07-28 20:17:27] 926*133^186885-1 is not prime. Res64: E8156DE907EE4F04 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 20:19:39] 1662*112^186881-1 is not prime. Res64: 946F2C01B84F0973 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 20:35:09] 1520*61^186885-1 is not prime. Res64: 2BAD24EBA1E9C7A9 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 20:35:59] 2118*162^186886-1 is not prime. Res64: F20F62229B58E2D8 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 20:53:12] 172*191^186886+1 is not prime. Res64: D1902EFD12E5FFC1 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 20:59:07] 1252*165^186886+1 is not prime. Res64: F98EC559819B4B89 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 21:03:00] 1696*112^186888+1 is not prime. Res64: A38D963E2358B7A4 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 21:25:34] 47*158^186888-1 is not prime. Res64: 14105AEA34B5F337 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 21:29:59] 10*185^186888+1 is not prime. Res64: 174B5791876E15F9 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 21:40:56] 172*191^186888+1 is not prime. Res64: 8907A393A404E522 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 21:55:03] 734*135^186890+1 is not prime. Res64: 8A1265E12840D5F1 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 21:58:54] 5608*70^186891+1 is not prime. Res64: 4326189EEBBE5F88 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 22:05:05] 24*123^186891-1 is not prime. Res64: 7D3ED70771980C7B Time : 0.0 sec. user=Mathew_Steine [2012-07-28 22:10:00] 866*183^186885+1 is not prime. Res64: FA8E83E4A304F3C8 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 22:20:13] 2145*100^186887+1 is not prime. Res64: D6B6CFCC0DC3D865 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 22:25:39] 254*163^186891-1 is not prime. Res64: 531F090133624B81 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 22:27:13] 88*133^186891+1 is not prime. Res64: C7167396BACEA09D Time : 0.0 sec. user=Mathew_Steine [2012-07-28 22:38:17] 9231*70^186888+1 is not prime. Res64: 6C955B1D33CAF79F Time : 0.0 sec. user=Mathew_Steine [2012-07-28 22:42:29] 486*187^186891+1 is not prime. Res64: 78FBACC3B34BAE16 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 22:55:23] 194*165^186893+1 is not prime. Res64: E807BA6697C17B28 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 22:56:32] 684*100^186895+1 is not prime. Res64: 005572077FE6FC1E Time : 0.0 sec. user=Mathew_Steine [2012-07-28 23:19:13] 1662*112^186896-1 is not prime. Res64: 4359944C1452D797 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 23:31:12] 924*103^186897-1 is not prime. Res64: C86A5781E231CA6F Time : 0.0 sec. user=Mathew_Steine [2012-07-28 23:31:38] 2361*148^186896+1 is not prime. Res64: 3062782DE34FEFFE Time : 0.0 sec. user=Mathew_Steine [2012-07-28 23:42:51] 88*133^186892+1 is not prime. Res64: 679A7F7DCFBBC545 Time : 0.0 sec. user=Mathew_Steine [2012-07-28 23:57:13] 1662*112^186897-1 is not prime. Res64: 614CCCEF444E6963 Time : 0.0 sec.