Received: from localhost ([::1]:58926 helo=stodi.digitalkingdom.org) by stodi.digitalkingdom.org with esmtp (Exim 4.80.1) (envelope-from ) id 1WnvaJ-00070i-Gc; Fri, 23 May 2014 12:56:55 -0700 Received: from 173-13-139-235-sfba.hfc.comcastbusiness.net ([173.13.139.235]:34794 helo=jukni.digitalkingdom.org) by stodi.digitalkingdom.org with smtp (Exim 4.80.1) (envelope-from ) id 1WnvaC-00070a-JX for wikineurotic@lojban.org; Fri, 23 May 2014 12:56:54 -0700 Received: by jukni.digitalkingdom.org (sSMTP sendmail emulation); Fri, 23 May 2014 12:56:48 -0700 From: "Apache" Date: Fri, 23 May 2014 12:56:48 -0700 To: wikineurotic@lojban.org X-PHP-Originating-Script: 48:htmlMimeMail.php MIME-Version: 1.0 Message-ID: X-Spam-Score: 2.0 (++) X-Spam_score: 2.0 X-Spam_score_int: 20 X-Spam_bar: ++ X-Spam-Report: Spam detection software, running on the system "stodi.digitalkingdom.org", has identified this incoming email as possible spam. The original message has been attached to this so you can view it (if it isn't spam) or label similar future email. If you have any questions, see the administrator of that system for details. Content preview: The page BPFK Section: Non-logical Connectives was changed by Ilmen at 21:56 CEST Comment: Replacing the formal definitions with better ones. You can view the page by following this link: http://www.lojban.org/tiki/BPFK%20Section%3A%20Non-logical%20Connectives [...] Content analysis details: (2.0 points, 5.0 required) pts rule name description ---- ---------------------- -------------------------------------------------- 1.6 RCVD_IN_BRBL_LASTEXT RBL: RCVD_IN_BRBL_LASTEXT [173.13.139.235 listed in bb.barracudacentral.org] 0.4 RDNS_DYNAMIC Delivered to internal network by host with dynamic-looking rDNS Subject: [Wikineurotic] Wiki page BPFK Section: Non-logical Connectives changed by Ilmen X-BeenThere: wikineurotic@lojban.org X-Mailman-Version: 2.1.15 Precedence: list Reply-To: webmaster@lojban.org List-Id: List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , Content-Type: text/plain; charset="utf-8" Content-Transfer-Encoding: base64 Errors-To: wikineurotic-bounces@lojban.org VGhlIHBhZ2UgQlBGSyBTZWN0aW9uOiBOb24tbG9naWNhbCBDb25uZWN0aXZlcyB3YXMgY2hhbmdl ZCBieSBJbG1lbiBhdCAyMTo1NiBDRVNUCkNvbW1lbnQ6IFJlcGxhY2luZyB0aGUgZm9ybWFsIGRl ZmluaXRpb25zIHdpdGggYmV0dGVyIG9uZXMuCgpZb3UgY2FuIHZpZXcgdGhlIHBhZ2UgYnkgZm9s bG93aW5nIHRoaXMgbGluazoKIApodHRwOi8vd3d3LmxvamJhbi5vcmcvdGlraS9CUEZLJTIwU2Vj dGlvbiUzQSUyME5vbi1sb2dpY2FsJTIwQ29ubmVjdGl2ZXMKCllvdSBjYW4gdmlldyBhIGRpZmYg YmFjayB0byB0aGUgcHJldmlvdXMgdmVyc2lvbiBieSBmb2xsb3dpbmcgdGhpcyBsaW5rOiAKaHR0 cDovL3d3dy5sb2piYW4ub3JnL3Rpa2kvdGlraS1wYWdlaGlzdG9yeS5waHA/cGFnZT1CUEZLJTIw U2VjdGlvbiUzQSUyME5vbi1sb2dpY2FsJTIwQ29ubmVjdGl2ZXMmY29tcGFyZT0xJm9sZHZlcj04 Jm5ld3Zlcj05CgoKKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqKioqKioqKioKVGhlIGNoYW5nZXMgaW4gdGhpcyB2ZXJzaW9uIGZvbGxvdyBiZWxvdywg Zm9sbG93ZWQgYWZ0ZXIgYnkgdGhlIGN1cnJlbnQgZnVsbCBwYWdlIHRleHQuCioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCgoKKy0rLSst Ky0rLSstKy0rLSstKy0rLSstKy0rLSstKy0rLSstKy0rLSstKy0rLSstKy0rLSstKy0rLSsKQEAg LUxpbmVzOiAxNDQtMTU1IGNoYW5nZWQgdG8gK0xpbmVzOiAxNDQtMTU0IEBACistKy0rLSstKy0r LSstKy0rLSstKy0rLSstKy0rLSstKy0rLSstKy0rLSstKy0rLSstKy0rLSstKy0rCicnc3VtdGkx JycganUnZSAnJ3N1bXRpMicnIHwgPSBsbyBjbydlIGJlICcnc3VtdGkxJycgYmVpICcnc3VtdGky JycKJydzdW10aTEnJyBqbyd1ICcnc3VtdGkyJycgfCA9IGxvIHN1em1laSBub2kgJydzdW10aTEn JyAuZSAnJ3N1bXRpMicnIC5lIG5vIGRyYXRhIGJlICcnc3VtdGkxJycgLmUgJydzdW10aTInJyBj dSBtZSBrZSdhCi0gJydzdW10aTEnJyBqbydlICcnc3VtdGkyJycgfCA9IGxvIGpvbXN1bWppIGJl ICcnc3VtdGkxJycgYmVpICcnc3VtdGkyJyc8YnIgLz4nJ3N1bXRpMScnIGt1J2EgJydzdW10aTIn JyB8ID0gbG8ga3V6eXRlcmtydWNhIGJlICcnc3VtdGkxJycgYmVpICcnc3VtdGkyJyc8YnIgLz4n J3N1bXRpMScnIHBpJ3UgJydzdW10aTInJyB8ID0gbG8gcGl2eXBpbGppIGJlICcnc3VtdGkxJycg YmVpICcnc3VtdGkyJycKKyAnJ3N1bXRpMScnIGpvaSAnJ3N1bXRpMicnIHwgPSBsbyBndW5tYSBi ZSAnJ3N1bXRpMScnIC5lICcnc3VtdGkyJycgLmUgbm8gZHJhdGEgYmUgJydzdW10aTEnJyAuZSAn J3N1bXRpMicnPGJyIC8+JydzdW10aTEnJyBjZSAnJ3N1bXRpMicnIHwgPSBsbyBzZSBjbWltYSBi ZSAnJ3N1bXRpMScnIC5lICcnc3VtdGkyJycgLmUgbm8gZHJhdGEgYmUgJydzdW10aTEnJyAuZSAn J3N1bXRpMicnPGJyIC8+JydzdW10aTEnJyBjZSdvICcnc3VtdGkyJycgfCA9IGxvIHBvcnNpIGJl IGZpICcnc3VtdGkxJycgam8ndSAnJ3N1bXRpMicnIGJlJ28gbm9pICcnc3VtdGkxJycgbGlkbmUg JydzdW10aTInJyBrZSdhCgotICcnc3VtdGkxJycgam8ndSAnJ3N1bXRpMicnIHwgPSBsdSdhICcn c3VtdGkxJycgam8ndSAnJ3N1bXRpMicnPGJyIC8+JydzdW10aTEnJyBqb2kgJydzdW10aTInJyB8 ID0gbHUnbyAnJ3N1bXRpMScnIGpvJ3UgJydzdW10aTInJzxiciAvPicnc3VtdGkxJycgY2UgJydz dW10aTInJyB8ID0gbHUnaSAnJ3N1bXRpMScnIGpvJ3UgJydzdW10aTInJzxiciAvPicnc3VtdGkx JycgY2UnbyAnJ3N1bXRpMicnIHwgPSB2dSdpICcnc3VtdGkxJycgam8ndSAnJ3N1bXRpMicnCisg JydzdW10aTEnJyBqbydlICcnc3VtdGkyJycgfCA9IGxvIHNlbGNtaSBub2kgcm8gY21pbWEgYmUg a2UnYSBjdSBjbWltYSAnJ3N1bXRpMScnIC5hICcnc3VtdGkyJyc8YnIgLz4nJ3N1bXRpMScnIGt1 J2EgJydzdW10aTInJyB8ID0gbG8gc2VsY21pIG5vaSBybyBjbWltYSBiZSBrZSdhIGN1IGNtaW1h ICcnc3VtdGkxJycgLmUgJydzdW10aTInJzxiciAvPicnc3VtdGkxJycgcGkndSAnJ3N1bXRpMicn IHwgPSBsbyBzZWxjbWlwaSdpIGJlICcnc3VtdGkxJycgYmVpICcnc3VtdGkyJycKCicnc3VtdGkx JycgZmEndSAnJ3N1bXRpMicnICcnc3VtdGkzJycgZmEndSAnJ3N1bXRpNCcnICcnc2VsYnJpJycK CgoKCioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioq KioqKioqClRoZSBuZXcgcGFnZSBjb250ZW50IGZvbGxvd3MgYmVsb3cuCioqKioqKioqKioqKioq KioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqKioqCgohUHJvcG9zZWQg ZGVmaW5pdGlvbnMKCgoKe0JPWCgpfQoKISEgam8ndSAoSk9JKQoKCgohISFEZWZpbml0aW9uCgpB bmQuIEpvaW5zIHR3byBzdW10aSBpbnRvIG9uZSBzdW10aS4gVGhlIHJlZmVyZW50cyBvZiB0aGUg cmVzdWx0aW5nIHN1bXRpIGFyZSB0aGUgcmVmZXJlbnRzIG9mIGJvdGggc3VtdGkgY29uc2lkZXJl ZCBqb2ludGx5LgoKCgohISFLZXl3b3JkcwoKKiBBbmQKCgoKISEhRXhhbXBsZXMKCjsuaSBtaSBq byd1IGxhIC5jbHNuLiBjdSBjaWtzaSB0dSdhIGxvIGNtYXZvIGJlIHpvIGNvaTonJ01lIGFuZCBT aG91bHNvbiBhcmUgZXhwbGFpbmluZyBhYm91dCB0aGUgY21hdm8gb2Ygc2VsbWEnbyBDT0kuJycK CgoKO2xvIHphJ2UgdHJpZHUgY3UgbWl4cmUgbG8gdHJpY3Ugam8ndSBsbyB0Y2lkdTonJ0EgJ3Ry ZWVkZXInIGlzIGEgbWl4dHVyZSBvZiBhIHRyZWUgYW5kIGEgcmVhZGVyLicnCgp7Qk9YfQoKCgp7 Qk9YKCl9CgohISBqdSdlIChKT0kpCgoKCiEhIURlZmluaXRpb24KClZhZ3VlIGNvbm5lY3RpdmUu IEpvaW5zIHR3byBzdW10aSBpbnRvIG9uZSBzdW10aS4gVGhlIHJlZmVyZW50IG9mIHRoZSByZXN1 bHRpbmcgc3VtdGkgaXMgc29tZSBmdW5jdGlvbiBvZiB0aGUgcmVmZXJlbnRzIG9mIGJvdGggc3Vt dGkuCgoKCiEhIUtleXdvcmRzCgoqVmFndWUgY29ubmVjdGl2ZQoKCgohISFFeGFtcGxlcwoKO21p J2EgY2FzbnUgem8gamV0bnUganUnZSB6byBmYXRjaSBqdSdlIGxvIHNpJ28gamV0bnUga3UganUn ZSBsbyBzaSdvIGZhdGNpOicnV2UgYXJlIGRpc2N1c3NpbmcgYWJvdXQgInRydXRoIi8iZmFjdCIv dHJ1dGgvZmFjdC4nJyAoSVJDLCBFaW1pLCAyMiBEZWMgMjAwOCAwNzo0MDoxOSkKCgoKOi5pIGpp J2EgY28nZSBsbyBwbGlzZSBqdSdlIGxvIHBlcmxpIGp1J2UgbG8gZHJhdGE6JydBbHNvIGFuIGFw cGxlIGFuZCBhIHBlYXIuJycgKElSQywgeGFsYm8sIDUgT2N0IDIwMTAgMTI6NTA6MjIpCgoKCntC T1h9CgoKCntCT1goKX0KCiEhIGZhJ3UgKEpPSSkKCgoKISEhRGVmaW5pdGlvbgoKUmVzcGVjdGl2 ZWx5LiBKb2lucyB0d28gc3VtdGkgaW50byBvbmUgc3VtdGkuIFRoZSByZWZlcmVudHMgb2YgdGhl IHJlc3VsdGluZyBzdW10aSBhcmUgdGhlIHJlZmVyZW50cyBvZiBib3RoIHN1bXRpIGNvbnNpZGVy ZWQgam9pbnRseSBhbmQgZGlzdHJpYnV0aXZlbHkgaW4gY29ycmVzcG9uZGVuY2Ugd2l0aCBhbm90 aGVyIHRlcm0uCgoKCiEhIUtleXdvcmRzCgoqUmVzcGVjdGl2ZWx5CgoKCiEhIUV4YW1wbGVzCgo7 bWkgZmEndSBkbyBrbGFtYSBsbyB6ZGFuaSBmYSd1IGxvIHphcmNpOicnTWUgYW5kIHlvdSBnbyBo b21lIGFuZCB0byB0aGUgbWFya2V0LCByZXNwZWN0aXZlbHkuJycKCgoKO2xpIHBhbm8gZmEndSBs aSBjaW5vbm8gY3UgamRpbWEgbG8gbnUga2xhbWEgZnUgbG8gZ2lyenUga2FyY2UgZmEndSBsbyB2 aW5qaTonJ1RlbiBhbmQgdGhyZWUtaHVuZHJlZCBhcmUgdGhlIHByaWNlcyBvZiBnb2luZyBieSBi dXMgYW5kIGJ5IHBsYW5lLCByZXNwZWN0aXZlbHkuJycKCntCT1h9CgoKCntCT1goKX0KCiEham9p IChKT0kpCgoKCiEhIURlZmluaXRpb24KCk5vbi1kaXN0cmlidXRpdmUgZ3JvdXAuIEpvaW5zIHR3 byBzdW10aSBpbnRvIG9uZSBzdW10aS4gVGhlIHJlZmVyZW50cyBvZiB0aGUgcmVzdWx0aW5nIHN1 bXRpIGFyZSB0aGUgcmVmZXJlbnRzIG9mIGJvdGggc3VtdGkgY29uc2lkZXJlZCBqb2ludGx5IGFu ZCBub24tZGlzdHJpYnV0aXZlbHkuCgoKCiEhIUtleXdvcmRzCgoqIEJvdGgKCiogVG9nZXRoZXIg d2l0aAoKKiBBbmQKCgoKISEhRXhhbXBsZQoKO21pIGpvaSByeS4gemUnYSBjYXNudSBsbyBsaWpk YSBjdHVjYSB0YWRqaTonJ01lIGFuZCBSIGhhdmUgYmVlbiBkaXNjdXNzaW5nIHJlbGlnaW91cyB0 ZWFjaGluZyBtZXRob2RzLicnCgoKCjtsYSAuZGphbi4gam9pIGxhIC5waXRyLiBjdSByZSBtZWk6 JydKb2huIGFuZCBQZXRlciBhcmUgdHdvLicnCgoKCjtsYSBqZWd2b24gY3UgY2V2bmkgbGUgeHJp c28gam9pIGxlIHhlYnJvIGpvaSBsZSBtdXNsbzonJ0plaG92YWggaXMgdGhlIGdvZCBvZiB0aGUg Q2hyaXN0aWFucywgdGhlIEpld3MgYW5kIHRoZSBNdXNsaW1zLicnCgp7Qk9YfQoKCgp7Qk9YKCl9 CgohIWNlIChKT0kpCgoKCiEhIURlZmluaXRpb24KCkpvaW5zIHR3byBzdW10aSBpbnRvIG9uZSBz dW10aS4gVGhlIHJlZmVyZW50IG9mIHRoZSByZXN1bHRpbmcgc3VtdGkgaXMgdGhlIHNldCB3aG9z ZSBtZW1iZXJzIGFyZSB0aGUgcmVmZXJlbnRzIG9mIGJvdGggc3VtdGkgY29uc2lkZXJlZCBqb2lu dGx5LgoKCgohISFLZXl3b3JkcwoKKiBBbmQgKHNldCkKCgoKISEhRXhhbXBsZXMKCjsuYWJ1IGNl IGJ5IGNlIGN5IHZhc3J1IC5hYnUgY2UgYnk6Jyd7YSwgYiwgY30g4oqHIHthLCBifScnCgp7Qk9Y fQoKCgp7Qk9YKCl9CgohIWNlJ28gKEpPSSkKCgoKISEhRGVmaW5pdGlvbgoKSm9pbnMgdHdvIHN1 bXRpIGludG8gb25lIHN1bXRpLiBUaGUgcmVmZXJlbnQgb2YgdGhlIHJlc3VsdGluZyBzdW10aSBp cyB0aGUgc2VxdWVuY2Ugd2hvc2UgbWVtYmVycyBhcmUgdGhlIHJlZmVyZW50cyBvZiBib3RoIHN1 bXRpIGNvbnNpZGVyZWQgam9pbnRseS4KCgoKISEhS2V5d29yZHMKCiogQW5kIChzZXF1ZW5jZSkK CgoKISEhRXhhbXBsZXMKCjtqdWtwYSBjZSdvIGNpdGthIGxvIGNlcnNhaSBjbydvIHJ1J2U6JydN YWtpbmcgYW5kIGVhdGluZyBicmVha2Zhc3QsIGJ5ZSBmb3Igbm93LicnCgoKCjsuYWJ1IGNlJ28g YnkgY3UgbWxlY2EgY3kgY2UndSBkeSAuaWpvIGdlIC5hYnUgbWxlY2EgY3kgZ2kgYnkgbWxlY2Eg ZHk6JycoYSxiKSDiiaQgKGMsZCkgaWYgYW5kIG9ubHkgaWYgYSDiiaQgYyBhbmQgYiDiiaQgZCcn Cgp7Qk9YfQoKCgp7Qk9YKCl9CgohIWpvJ2UgKEpPSSkKCgoKISEhRGVmaW5pdGlvbgoKVW5pb24g b2Ygc2V0cy4gSm9pbnMgdHdvIHN1bXRpIGludG8gb25lIHN1bXRpLiBUaGUgcmVmZXJlbnQgb2Yg dGhlIHJlc3VsdGluZyBzdW10aSBpcyB0aGUgc2V0IHdoaWNoIGlzIHRoZSB1bmlvbiBvZiB0aGUg c2V0cyByZWZlcnJlZCB0byBieSBlYWNoIHN1bXRpLgoKCgohISFLZXl3b3JkcwoKKiBVbmlvbgoK CgohISFFeGFtcGxlcwoKO2xvJ2kgYnJpdmxhIGN1IGR1IGxvJ2kgZ2lzbXUgam8nZSBsbydpIGZ1 J2l2bGEgam8nZSBsbydpIGx1anZvIHRvIHBvJ28geHUgdG9pOicnVGhlIHNldCBvZiBicml2bGEg aXMgZXF1YWwgdG8gdGhlIHVuaW9uIG9mIHRoZSBzZXQgb2YgZ2lzbXUgYW5kIHRoZSBzZXQgb2Yg ZnUnaXZsYSBhbmQgdGhlIHNldCBvZiBsdWp2byAob25seT8pLicnCgp7Qk9YfQoKCgp7Qk9YKCl9 CgohIWt1J2EgKEpPSSkKCgoKISEhRGVmaW5pdGlvbgoKSW50ZXJzZWN0aW9uIG9mIHNldHMuIEpv aW5zIHR3byBzdW10aSBpbnRvIG9uZSBzdW10aS4gVGhlIHJlZmVyZW50IG9mIHRoZSByZXN1bHRp bmcgc3VtdGkgaXMgdGhlIHNldCB3aGljaCBpcyB0aGUgaW50ZXJzZWN0aW9uIG9mIHRoZSBzZXRz IHJlZmVycmVkIHRvIGJ5IGVhY2ggc3VtdGkuCgoKCiEhIUtleXdvcmRzCgoqSW50ZXJzZWN0aW9u CgoKCiEhIUV4YW1wbGVzCgo7eHkgY21pbWEgLmFidSBrdSdhIGJ5IC5pam8gZ2UgeHkgY21pbWEg LmFidSBnaSB4eSBjbWltYSBieTonJ3gg4oiIIEEg4oipIEIgaWYgYW5kIG9ubHkgaWYgeCDiiIgg QSBhbmQgeCDiiIggQi4nJwoKe0JPWH0KCgoKe0JPWCgpfQoKISFwaSd1IChKT0kpCgoKCiEhIURl ZmluaXRpb24KCkNyb3NzIHByb2R1Y3Qgb2Ygc2V0cy4gSm9pbnMgdHdvIHN1bXRpIGludG8gb25l IHN1bXRpLiBUaGUgcmVmZXJlbnQgb2YgdGhlIHJlc3VsdGluZyBzdW10aSBpcyB0aGUgc2V0IHdo aWNoIGlzIHRoZSBjcm9zcyBwcm9kdWN0IG9mIHRoZSBzZXRzIHJlZmVycmVkIHRvIGJ5IGVhY2gg c3VtdGkuCgoKCiEhIUtleXdvcmRzCgoqIFNldCBQcm9kdWN0CgoqIENhcnRlc2lhbiBQcm9kdWN0 CgoKCiEhIUV4YW1wbGVzCgo7bGUnaSBiZWJuYSBrdSBwaSd1IGxlJ2kgbWFibGEgc2lkYm8ga3Ug Y3UgYmFyZGE6JydUaGUgY3Jvc3MgcHJvZHVjdCBvZiB0aGUgc2V0IG9mIHNpbGx5IHRoaW5ncyBh bmQgdGhlIHNldCBvZiBiYWQgaWRlYXMgaXMgbGFyZ2UuJycKCntCT1h9CgoKCntCT1goKX0KCiEh Rm9ybWFsIGRlZmluaXRpb25zCgoKCnx8CgonJ3N1bXRpMScnIEpPSSAnJ3N1bXRpMicnCgoKCmdl ICcnc3VtdGkxJycgZ2kgJydzdW10aTInJyBtZSAnJ3N1bXRpMScnIGpvJ3UgJydzdW10aTInJwoK CgonJ3N1bXRpMScnIGp1J2UgJydzdW10aTInJyB8ID0gbG8gY28nZSBiZSAnJ3N1bXRpMScnIGJl aSAnJ3N1bXRpMicnCgonJ3N1bXRpMScnIGpvJ3UgJydzdW10aTInJyB8ID0gbG8gc3V6bWVpIG5v aSAnJ3N1bXRpMScnIC5lICcnc3VtdGkyJycgLmUgbm8gZHJhdGEgYmUgJydzdW10aTEnJyAuZSAn J3N1bXRpMicnIGN1IG1lIGtlJ2EKCicnc3VtdGkxJycgam9pICcnc3VtdGkyJycgfCA9IGxvIGd1 bm1hIGJlICcnc3VtdGkxJycgLmUgJydzdW10aTInJyAuZSBubyBkcmF0YSBiZSAnJ3N1bXRpMScn IC5lICcnc3VtdGkyJycKCicnc3VtdGkxJycgY2UgJydzdW10aTInJyB8ID0gbG8gc2UgY21pbWEg YmUgJydzdW10aTEnJyAuZSAnJ3N1bXRpMicnIC5lIG5vIGRyYXRhIGJlICcnc3VtdGkxJycgLmUg JydzdW10aTInJwoKJydzdW10aTEnJyBjZSdvICcnc3VtdGkyJycgfCA9IGxvIHBvcnNpIGJlIGZp ICcnc3VtdGkxJycgam8ndSAnJ3N1bXRpMicnIGJlJ28gbm9pICcnc3VtdGkxJycgbGlkbmUgJydz dW10aTInJyBrZSdhCgoKCicnc3VtdGkxJycgam8nZSAnJ3N1bXRpMicnIHwgPSBsbyBzZWxjbWkg bm9pIHJvIGNtaW1hIGJlIGtlJ2EgY3UgY21pbWEgJydzdW10aTEnJyAuYSAnJ3N1bXRpMicnCgon J3N1bXRpMScnIGt1J2EgJydzdW10aTInJyB8ID0gbG8gc2VsY21pIG5vaSBybyBjbWltYSBiZSBr ZSdhIGN1IGNtaW1hICcnc3VtdGkxJycgLmUgJydzdW10aTInJwoKJydzdW10aTEnJyBwaSd1ICcn c3VtdGkyJycgfCA9IGxvIHNlbGNtaXBpJ2kgYmUgJydzdW10aTEnJyBiZWkgJydzdW10aTInJwoK CgonJ3N1bXRpMScnIGZhJ3UgJydzdW10aTInJyAnJ3N1bXRpMycnIGZhJ3UgJydzdW10aTQnJyAn J3NlbGJyaScnCgo9PSAnJ3N1bXRpMScnICcnc3VtdGkzJycgJydzZWxicmknJyAuaSAnJ3N1bXRp MicnICcnc3VtdGk0JycgJydzZWxicmknJwoKCgp8fAoKCgohIU5vdGVzCgoKCiMgVGhlIGRlZmlu aXRpb25zIGdpdmVuIGNvcnJlc3BvbmQgdG8gdGhlaXIgdXNlIGFzIHN1bXRpIGNvbm5lY3RpdmVz LiBPdGhlciB1c2VzICh3aGVuIHRoZXkgbWFrZSBzZW5zZSkgaGF2ZSB5ZXQgdG8gYmUgYWRkZWQu CgoKCgpfX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fX19fXwpXaWtp bmV1cm90aWMgbWFpbGluZyBsaXN0Cldpa2luZXVyb3RpY0Bsb2piYW4ub3JnCmh0dHA6Ly9tYWls LmxvamJhbi5vcmcvbWFpbG1hbi9saXN0aW5mby93aWtpbmV1cm90aWMK