141111 2015-01-30 23:45:45 -0800 Crash (DFG assertion) beneath AbstractInterpreter::verifyEdge() @ http://experilous.com/1/planet-generator/2014-09-28/version-1 2015-01-31 19:58:33 -0800 1 1 1 Unclassified WebKit JavaScriptCore 528+ (Nightly build) All Unspecified RESOLVED FIXED http://experilous.com/1/planet-generator/2014-09-28/version-1 InRadar P2 Normal --- 1 msaboff msaboff fpizlo ggaren mark.lam mmirman webkit-bug-importer oldest_to_newest 1065789 0 msaboff 2015-01-30 23:45:45 -0800 Steps to reproduce: 1. Go to http://experilous.com/1/planet-generator/2014-09-28/version-1 2. Click on "High", and then click on "Generate". 3. Let it run to completion when you'll see a globe. Let it sit for a bit. The crash will occur shortly after. Crash trace: DFG ASSERTION FAILED: Edge verification error: @3675->Check:Cell:@2 was expected to have type Cell but has type Other (536870912) /Volumes/Data/ws4/OpenSource/Source/JavaScriptCore/dfg/DFGAbstractInterpreterInlines.h(112) : void JSC::DFG::AbstractInterpreter<JSC::DFG::InPlaceAbstractState>::verifyEdge(JSC::DFG::Node *, JSC::DFG::Edge) [AbstractStateType = JSC::DFG::InPlaceAbstractState] 1 0x1125c97d0 WTFCrashWithSecurityImplication 2 0x111efd243 JSC::DFG::crash(JSC::DFG::Graph&, WTF::CString const&, char const*, int, char const*, char const*) 3 0x111efd2bb JSC::DFG::Graph::handleAssertionFailure(JSC::DFG::Node*, char const*, int, char const*, char const*) 4 0x111e45fd4 JSC::DFG::AbstractInterpreter<JSC::DFG::InPlaceAbstractState>::verifyEdge(JSC::DFG::Node*, JSC::DFG::Edge) 5 0x111e40bfc JSC::DFG::AbstractInterpreter<JSC::DFG::InPlaceAbstractState>::verifyEdges(JSC::DFG::Node*) 6 0x111e36205 JSC::DFG::AbstractInterpreter<JSC::DFG::InPlaceAbstractState>::executeEffects(unsigned int, JSC::DFG::Node*) 7 0x111fb7cd3 JSC::DFG::AbstractInterpreter<JSC::DFG::InPlaceAbstractState>::executeEffects(unsigned int) 8 0x1120b75d9 JSC::FTL::LowerDFGToLLVM::compileNode(unsigned int) 9 0x1120b6a01 JSC::FTL::LowerDFGToLLVM::compileBlock(JSC::DFG::BasicBlock*) 10 0x1120b4b48 JSC::FTL::LowerDFGToLLVM::lower() 11 0x1120b20ee JSC::FTL::lowerDFGToLLVM(JSC::FTL::State&) 12 0x111f8a8a0 JSC::DFG::Plan::compileInThreadImpl(JSC::DFG::LongLivedState&) 13 0x111f88e61 JSC::DFG::Plan::compileInThread(JSC::DFG::LongLivedState&, JSC::DFG::ThreadData*) 14 0x112054c20 JSC::DFG::Worklist::runThread(JSC::DFG::ThreadData*) 15 0x112053204 JSC::DFG::Worklist::threadFunction(void*) 16 0x11261df19 WTF::createThread(void (*)(void*), void*, char const*)::$_0::operator()() const 17 0x11261deec std::__1::__function::__func<WTF::createThread(void (*)(void*), void*, char const*)::$_0, std::__1::allocator<WTF::createThread(void (*)(void*), void*, char const*)::$_0>, void ()>::operator()() 18 0x112579aea std::__1::function<void ()>::operator()() const 19 0x11261ce6e WTF::threadEntryPoint(void*) 20 0x11261e878 WTF::wtfThreadEntryPoint(void*) 21 0x7fff97ce5268 _pthread_body 22 0x7fff97ce51e5 _pthread_body 23 0x7fff97ce341d thread_start rdar://problem/19252057 1065791 1 245777 msaboff 2015-01-31 00:27:38 -0800 Created attachment 245777 Patch 1065923 2 msaboff 2015-01-31 19:58:33 -0800 Committed r179457: <http://trac.webkit.org/changeset/179457> 245777 2015-01-31 00:27:38 -0800 2015-01-31 08:31:24 -0800 Patch 141111.patch text/plain 7736 msaboff SW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9DaGFuZ2VMb2cKPT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gU291 cmNlL0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkocmV2aXNpb24gMTc5NDM4KQorKysgU291cmNl L0phdmFTY3JpcHRDb3JlL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpAQCAtMSwzICsxLDE4IEBA CisyMDE1LTAxLTMxICBNaWNoYWVsIFNhYm9mZiAgPG1zYWJvZmZAYXBwbGUuY29tPgorCisgICAg ICAgIENyYXNoIChERkcgYXNzZXJ0aW9uKSBiZW5lYXRoIEFic3RyYWN0SW50ZXJwcmV0ZXI6OnZl cmlmeUVkZ2UoKSBAIGh0dHA6Ly9leHBlcmlsb3VzLmNvbS8xL3BsYW5ldC1nZW5lcmF0b3IvMjAx NC0wOS0yOC92ZXJzaW9uLTEKKyAgICAgICAgaHR0cHM6Ly9idWdzLndlYmtpdC5vcmcvc2hvd19i dWcuY2dpP2lkPTE0MTExMQorCisgICAgICAgIFJldmlld2VkIGJ5IE5PQk9EWSAoT09QUyEpLgor CisgICAgICAgIEluIExvd2VyREZHVG9MTFZNOjpjb21waWxlTm9kZSgpLCBpZiB3ZSBkZXRlcm1p bmUgd2hpbGUgY29tcGlsaW5nIGEgbm9kZSB0aGF0IHdlIHdvdWxkIGhhdmUKKyAgICAgICAgZXhp dGVkLCB3ZSBkb24ndCBuZWVkIHRvIHByb2Nlc3MgdGhlIE9TUiBhdmFpbGFiaWxpdHkgb3IgYWJz dHJhY3QgaW50ZXJwcmV0ZXIuCisKKyAgICAgICAgKiBmdGwvRlRMTG93ZXJERkdUb0xMVk0uY3Bw OgorICAgICAgICAoSlNDOjpGVEw6Okxvd2VyREZHVG9MTFZNOjpzYWZlbHlJbnZhbGlkYXRlQWZ0 ZXJUZXJtaW5hdGlvbik6IEJyb2tlIHRoaXMgb3V0IGEgYSBzZXBhcmF0ZQorICAgICAgICBtZXRo b2Qgc2luY2Ugd2UgbmVlZCB0byBjYWxsIGl0IGF0IHRoZSB0b3AgYW5kIG5lYXIgdGhlIGJvdHRv bSBvZiBjb21waWxlTm9kZSgpLgorICAgICAgICAoSlNDOjpGVEw6Okxvd2VyREZHVG9MTFZNOjpj b21waWxlTm9kZSk6CisKIDIwMTUtMDEtMzAgIERhbmllbCBCYXRlcyAgPGRhYmF0ZXNAYXBwbGUu Y29tPgogCiAgICAgICAgIENsZWFuIHVwOiBSZW1vdmUgdW5uZWNlc3NhcnkgPGRpc3BhdGNoL2Rp c3BhdGNoLmg+IGhlYWRlciBmcm9tIFJlbW90ZUluc3BlY3RvckRlYnVnZ2FibGVDb25uZWN0aW9u LmgKSW5kZXg6IFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9mdGwvRlRMTG93ZXJERkdUb0xMVk0uY3Bw Cj09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT0KLS0tIFNvdXJjZS9KYXZhU2NyaXB0Q29yZS9mdGwvRlRMTG93ZXJERkdUb0xM Vk0uY3BwCShyZXZpc2lvbiAxNzkyNzQpCisrKyBTb3VyY2UvSmF2YVNjcmlwdENvcmUvZnRsL0ZU TExvd2VyREZHVG9MTFZNLmNwcAkod29ya2luZyBjb3B5KQpAQCAtMzA2LDMwICszMDYsMzQgQEAg cHJpdmF0ZToKICAgICAgICAgICAgICAgICBicmVhazsKICAgICAgICAgfQogICAgIH0KLSAgICAK KworICAgIHZvaWQgc2FmZWx5SW52YWxpZGF0ZUFmdGVyVGVybWluYXRpb24oKQorICAgIHsKKyAg ICAgICAgaWYgKHZlcmJvc2VDb21waWxhdGlvbkVuYWJsZWQoKSkKKyAgICAgICAgICAgIGRhdGFM b2coIkJhaWxpbmcuXG4iKTsKKyAgICAgICAgY3Jhc2gobV9oaWdoQmxvY2stPmluZGV4LCBtX25v ZGUtPmluZGV4KCkpOworCisgICAgICAgIC8vIEludmFsaWRhdGUgZG9taW5hdGVkIGJsb2Nrcy4g VW5kZXIgbm9ybWFsIGNpcmN1bXN0YW5jZXMgd2Ugd291bGQgZXhwZWN0CisgICAgICAgIC8vIHRo ZW0gdG8gYmUgaW52YWxpZGF0ZWQgYWxyZWFkeS4gQnV0IHlvdSBjYW4gaGF2ZSB0aGUgQ0ZBIGJl Y29tZSBtb3JlCisgICAgICAgIC8vIHByZWNpc2Ugb3ZlciB0aW1lIGJlY2F1c2UgdGhlIHN0cnVj dHVyZXMgb2Ygb2JqZWN0cyBjaGFuZ2Ugb24gdGhlIG1haW4KKyAgICAgICAgLy8gdGhyZWFkLiBG YWlsaW5nIHRvIGRvIHRoaXMgd291bGQgcmVzdWx0IGluIHdlaXJkIGNyYXNoZXMgZHVlIHRvIGEg dmFsdWUKKyAgICAgICAgLy8gYmVpbmcgdXNlZCBidXQgbm90IGRlZmluZWQuIFJhY2UgY29uZGl0 aW9ucyBGVFchCisgICAgICAgIGZvciAoQmxvY2tJbmRleCBibG9ja0luZGV4ID0gbV9ncmFwaC5u dW1CbG9ja3MoKTsgYmxvY2tJbmRleC0tOykgeworICAgICAgICAgICAgQmFzaWNCbG9jayogdGFy Z2V0ID0gbV9ncmFwaC5ibG9jayhibG9ja0luZGV4KTsKKyAgICAgICAgICAgIGlmICghdGFyZ2V0 KQorICAgICAgICAgICAgICAgIGNvbnRpbnVlOworICAgICAgICAgICAgaWYgKG1fZ3JhcGgubV9k b21pbmF0b3JzLmRvbWluYXRlcyhtX2hpZ2hCbG9jaywgdGFyZ2V0KSkgeworICAgICAgICAgICAg ICAgIGlmICh2ZXJib3NlQ29tcGlsYXRpb25FbmFibGVkKCkpCisgICAgICAgICAgICAgICAgICAg IGRhdGFMb2coIkJsb2NrICIsICp0YXJnZXQsICIgd2lsbCBiYWlsIGFsc28uXG4iKTsKKyAgICAg ICAgICAgICAgICB0YXJnZXQtPmNmYUhhc1Zpc2l0ZWQgPSBmYWxzZTsKKyAgICAgICAgICAgIH0K KyAgICAgICAgfQorICAgIH0KKwogICAgIGJvb2wgY29tcGlsZU5vZGUodW5zaWduZWQgbm9kZUlu ZGV4KQogICAgIHsKICAgICAgICAgaWYgKCFtX3N0YXRlLmlzVmFsaWQoKSkgewotICAgICAgICAg ICAgaWYgKHZlcmJvc2VDb21waWxhdGlvbkVuYWJsZWQoKSkKLSAgICAgICAgICAgICAgICBkYXRh TG9nKCJCYWlsaW5nLlxuIik7Ci0gICAgICAgICAgICBjcmFzaChtX2hpZ2hCbG9jay0+aW5kZXgs IG1fbm9kZS0+aW5kZXgoKSk7Ci0gICAgICAgICAgICAKLSAgICAgICAgICAgIC8vIEludmFsaWRh dGUgZG9taW5hdGVkIGJsb2Nrcy4gVW5kZXIgbm9ybWFsIGNpcmN1bXN0YW5jZXMgd2Ugd291bGQg ZXhwZWN0Ci0gICAgICAgICAgICAvLyB0aGVtIHRvIGJlIGludmFsaWRhdGVkIGFscmVhZHkuIEJ1 dCB5b3UgY2FuIGhhdmUgdGhlIENGQSBiZWNvbWUgbW9yZQotICAgICAgICAgICAgLy8gcHJlY2lz ZSBvdmVyIHRpbWUgYmVjYXVzZSB0aGUgc3RydWN0dXJlcyBvZiBvYmplY3RzIGNoYW5nZSBvbiB0 aGUgbWFpbgotICAgICAgICAgICAgLy8gdGhyZWFkLiBGYWlsaW5nIHRvIGRvIHRoaXMgd291bGQg cmVzdWx0IGluIHdlaXJkIGNyYXNoZXMgZHVlIHRvIGEgdmFsdWUKLSAgICAgICAgICAgIC8vIGJl aW5nIHVzZWQgYnV0IG5vdCBkZWZpbmVkLiBSYWNlIGNvbmRpdGlvbnMgRlRXIQotICAgICAgICAg ICAgZm9yIChCbG9ja0luZGV4IGJsb2NrSW5kZXggPSBtX2dyYXBoLm51bUJsb2NrcygpOyBibG9j a0luZGV4LS07KSB7Ci0gICAgICAgICAgICAgICAgQmFzaWNCbG9jayogdGFyZ2V0ID0gbV9ncmFw aC5ibG9jayhibG9ja0luZGV4KTsKLSAgICAgICAgICAgICAgICBpZiAoIXRhcmdldCkKLSAgICAg ICAgICAgICAgICAgICAgY29udGludWU7Ci0gICAgICAgICAgICAgICAgaWYgKG1fZ3JhcGgubV9k b21pbmF0b3JzLmRvbWluYXRlcyhtX2hpZ2hCbG9jaywgdGFyZ2V0KSkgewotICAgICAgICAgICAg ICAgICAgICBpZiAodmVyYm9zZUNvbXBpbGF0aW9uRW5hYmxlZCgpKQotICAgICAgICAgICAgICAg ICAgICAgICAgZGF0YUxvZygiQmxvY2sgIiwgKnRhcmdldCwgIiB3aWxsIGJhaWwgYWxzby5cbiIp OwotICAgICAgICAgICAgICAgICAgICB0YXJnZXQtPmNmYUhhc1Zpc2l0ZWQgPSBmYWxzZTsKLSAg ICAgICAgICAgICAgICB9Ci0gICAgICAgICAgICB9Ci0gICAgICAgICAgICAKKyAgICAgICAgICAg IHNhZmVseUludmFsaWRhdGVBZnRlclRlcm1pbmF0aW9uKCk7CiAgICAgICAgICAgICByZXR1cm4g ZmFsc2U7CiAgICAgICAgIH0KICAgICAgICAgCkBAIC03NDksNyArNzUzLDEyIEBAIHByaXZhdGU6 CiAgICAgICAgICAgICBERkdfQ1JBU0gobV9ncmFwaCwgbV9ub2RlLCAiVW5yZWNvZ25pemVkIG5v ZGUgaW4gRlRMIGJhY2tlbmQiKTsKICAgICAgICAgICAgIGJyZWFrOwogICAgICAgICB9Ci0gICAg ICAgIAorCisgICAgICAgIGlmICghbV9zdGF0ZS5pc1ZhbGlkKCkpIHsKKyAgICAgICAgICAgIHNh ZmVseUludmFsaWRhdGVBZnRlclRlcm1pbmF0aW9uKCk7CisgICAgICAgICAgICByZXR1cm4gZmFs c2U7CisgICAgICAgIH0KKwogICAgICAgICBtX2F2YWlsYWJpbGl0eUNhbGN1bGF0b3IuZXhlY3V0 ZU5vZGUobV9ub2RlKTsKICAgICAgICAgbV9pbnRlcnByZXRlci5leGVjdXRlRWZmZWN0cyhub2Rl SW5kZXgpOwogICAgICAgICAKSW5kZXg6IExheW91dFRlc3RzL0NoYW5nZUxvZwo9PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 Ci0tLSBMYXlvdXRUZXN0cy9DaGFuZ2VMb2cJKHJldmlzaW9uIDE3OTQzOCkKKysrIExheW91dFRl c3RzL0NoYW5nZUxvZwkod29ya2luZyBjb3B5KQpAQCAtMSwzICsxLDIwIEBACisyMDE1LTAxLTMx ICBNaWNoYWVsIFNhYm9mZiAgPG1zYWJvZmZAYXBwbGUuY29tPgorCisgICAgICAgIENyYXNoIChE RkcgYXNzZXJ0aW9uKSBiZW5lYXRoIEFic3RyYWN0SW50ZXJwcmV0ZXI6OnZlcmlmeUVkZ2UoKSBA IGh0dHA6Ly9leHBlcmlsb3VzLmNvbS8xL3BsYW5ldC1nZW5lcmF0b3IvMjAxNC0wOS0yOC92ZXJz aW9uLTEKKyAgICAgICAgaHR0cHM6Ly9idWdzLndlYmtpdC5vcmcvc2hvd19idWcuY2dpP2lkPTE0 MTExMQorCisgICAgICAgIFJldmlld2VkIGJ5IE5PQk9EWSAoT09QUyEpLgorCisgICAgICAgIE5l dyB0ZXN0cy4KKworICAgICAgICAqIGpzL3JlZ3Jlc3MtMTQxMTExLWV4cGVjdGVkLnR4dDogQWRk ZWQuCisgICAgICAgICoganMvcmVncmVzcy0xNDExMTEuaHRtbDogQWRkZWQuCisgICAgICAgICog anMvc2NyaXB0LXRlc3RzL3JlZ3Jlc3MtMTQxMTExLmpzOiBBZGRlZC4KKyAgICAgICAgKE15T2Jq ZWN0KToKKyAgICAgICAgKGZvbyk6CisgICAgICAgICgucmVzdWx0KToKKyAgICAgICAgKGJhcik6 CisKIDIwMTUtMDEtMzAgIFl1c3VrZSBTdXp1a2kgIDx1dGF0YW5lLnRlYUBnbWFpbC5jb20+CiAK ICAgICAgICAgSW1wbGVtZW50IEVTNiBTeW1ib2wKSW5kZXg6IExheW91dFRlc3RzL2pzL3JlZ3Jl c3MtMTQxMTExLWV4cGVjdGVkLnR4dAo9PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09Ci0tLSBMYXlvdXRUZXN0cy9qcy9yZWdy ZXNzLTE0MTExMS1leHBlY3RlZC50eHQJKHJldmlzaW9uIDApCisrKyBMYXlvdXRUZXN0cy9qcy9y ZWdyZXNzLTE0MTExMS1leHBlY3RlZC50eHQJKHdvcmtpbmcgY29weSkKQEAgLTAsMCArMSw5IEBA CitSZWdyZXNzaW9uIHRlc3QgZm9yIGh0dHBzOi8vd2Via2l0Lm9yZy9iLzE0MTExMS4gVGhpcyB0 ZXN0IHNob3VsZCBydW4gd2l0aG91dCBjcmFzaGluZy4KKworT24gc3VjY2VzcywgeW91IHdpbGwg c2VlIGEgc2VyaWVzIG9mICJQQVNTIiBtZXNzYWdlcywgZm9sbG93ZWQgYnkgIlRFU1QgQ09NUExF VEUiLgorCisKK1BBU1Mgc3VjY2Vzc2Z1bGx5UGFyc2VkIGlzIHRydWUKKworVEVTVCBDT01QTEVU RQorCkluZGV4OiBMYXlvdXRUZXN0cy9qcy9yZWdyZXNzLTE0MTExMS5odG1sCj09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT0K LS0tIExheW91dFRlc3RzL2pzL3JlZ3Jlc3MtMTQxMTExLmh0bWwJKHJldmlzaW9uIDApCisrKyBM YXlvdXRUZXN0cy9qcy9yZWdyZXNzLTE0MTExMS5odG1sCSh3b3JraW5nIGNvcHkpCkBAIC0wLDAg KzEsMTAgQEAKKzwhRE9DVFlQRSBIVE1MIFBVQkxJQyAiLS8vSUVURi8vRFREIEhUTUwvL0VOIj4K KzxodG1sPgorPGhlYWQ+Cis8c2NyaXB0IHNyYz0iLi4vcmVzb3VyY2VzL2pzLXRlc3QtcHJlLmpz Ij48L3NjcmlwdD4KKzwvaGVhZD4KKzxib2R5PgorPHNjcmlwdCBzcmM9InNjcmlwdC10ZXN0cy9y ZWdyZXNzLTE0MTExMS5qcyI+PC9zY3JpcHQ+Cis8c2NyaXB0IHNyYz0iLi4vcmVzb3VyY2VzL2pz LXRlc3QtcG9zdC5qcyI+PC9zY3JpcHQ+Cis8L2JvZHk+Cis8L2h0bWw+CkluZGV4OiBMYXlvdXRU ZXN0cy9qcy9zY3JpcHQtdGVzdHMvcmVncmVzcy0xNDExMTEuanMKPT09PT09PT09PT09PT09PT09 PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PT09PQotLS0gTGF5 b3V0VGVzdHMvanMvc2NyaXB0LXRlc3RzL3JlZ3Jlc3MtMTQxMTExLmpzCShyZXZpc2lvbiAwKQor KysgTGF5b3V0VGVzdHMvanMvc2NyaXB0LXRlc3RzL3JlZ3Jlc3MtMTQxMTExLmpzCSh3b3JraW5n IGNvcHkpCkBAIC0wLDAgKzEsNTcgQEAKK2Rlc2NyaXB0aW9uKAorIlJlZ3Jlc3Npb24gdGVzdCBm b3IgaHR0cHM6Ly93ZWJraXQub3JnL2IvMTQxMTExLiBUaGlzIHRlc3Qgc2hvdWxkIHJ1biB3aXRo b3V0IGNyYXNoaW5nLiIKKyk7CisKK2Z1bmN0aW9uIE15T2JqZWN0KHYpIHsKKyAgICB0aGlzLnYg PSB2OworfQorCitmdW5jdGlvbiBmb28obywgYSwgYiwgYykgeworICAgIC8vIERvbid0IGRvIGFu eXRoaW5nIHJlYWwgYnV0IGhhdmUgc29tZSBjb250cm9sIGZsb3cuIFRoaXMgY2F1c2VzIHRoZSBQ dXRMb2NhbHMgZm9yIGEsCisgICAgLy8gYiwgYW5kIGMgdG8gc3Vydml2ZSBpbnRvIFNTQSBmb3Jt LiBCdXQgd2UgZG9uJ3QgaGF2ZSBhbnkgZWZmZWN0cywgc28gc2lua2luZyB3aWxsIGJlCisgICAg Ly8gc3VjY2Vzc2Z1bC4KKyAgICBpZiAoby52KQorICAgICAgICByZXR1cm4gbzsKKyAgICBlbHNl CisgICAgICAgIHJldHVybiB6OworfQorCitmdW5jdGlvbiBiYXIobywgeSkgeworICAgIHZhciBh ID0geTsKKyAgICB2YXIgYiA9IHkgKyAxOworICAgIHZhciBjID0geSArIDI7CisgICAgdmFyIGQg PSB5ICsgMzsKKyAgICB2YXIgZSA9IHkgKyA0OworICAgIHZhciBmID0geSArIDU7CisgICAgdmFy IGcgPSB5ICsgNjsKKyAgICB2YXIgaCA9IHkgKyA3OworICAgIHZhciBpID0geSArIDg7CisgICAg dmFyIGogPSB5ICsgOTsKKyAgICB2YXIgayA9IHkgKyAxMDsKKyAgICB2YXIgcmVzdWx0ID0gZnVu Y3Rpb24ocCwgcSkgeworICAgICAgICB2YXIgeCA9IG5ldyBNeU9iamVjdChhICsgYiArIGMgKyBk ICsgZSArIGYgKyBnICsgaCArIGkgKyBqICsgayk7CisgICAgICAgIGlmIChxKSB7CisgICAgICAg ICAgICAvLyBNYWtlIGl0IGFwcGVhciB0aGF0IGl0J3MgcG9zc2libGUgdG8gY2xvYmJlciB0aG9z ZSBjbG9zdXJlIHZhcmlhYmxlcywgc28gdGhhdCB3ZQorICAgICAgICAgICAgLy8gbG9hZCBmcm9t IHRoZW0gYWdhaW4gZG93biBiZWxvdy4KKyAgICAgICAgICAgIGEgPSBiID0gYyA9IGQgPSBlID0g ZiA9IGcgPSBoID0gaSA9IGogPSBrID0gNDI7CisgICAgICAgIH0KKyAgICAgICAgaWYgKHApCisg ICAgICAgICAgICB4ID0gZm9vKG8sIDEsIDIsIDMpCisgICAgICAgIGVsc2UKKyAgICAgICAgICAg IHggPSBmaXZlOworICAgICAgICByZXR1cm4geC52ICsgYSArIGIgKyBjICsgZCArIGUgKyBmICsg ZyArIGggKyBpICsgaiArIGs7CisgICAgfTsKKyAgICBub0lubGluZShyZXN1bHQpOworICAgIHJl dHVybiByZXN1bHQ7Cit9CisKK3ZhciBvID0gbmV3IE15T2JqZWN0KDQyKTsKK3ZhciB6ID0gbmV3 IE15T2JqZWN0KDApOwordmFyIGZpdmUgPSBuZXcgTXlPYmplY3QoNSk7CisKK2ZvciAodmFyIGkg PSAwOyBpIDwgMTAwMDAwOyArK2kpIHsKKyAgICB2YXIgcmVzdWx0ID0gYmFyKG8sIGkpKHRydWUs IGZhbHNlKTsKKyAgICBpZiAocmVzdWx0ICE9IDQyICsgMTEgKiBpICsgNTUpCisgICAgICAgIHRo cm93ICJFcnJvcjogYmFkIHJlc3VsdDogIiArIHJlc3VsdDsKK30KKwo=