Analysis Run

[codex:222085] OpenAI Codex v0.77.0 (research preview)
[codex:222085] --------
[codex:222085] workdir: /tmp/codex-multi-016qz_wi
[codex:222085] model: gpt-5.2-codex
[codex:222085] provider: openai
[codex:222085] approval: never
[codex:222085] sandbox: read-only
[codex:222085] reasoning effort: xhigh
[codex:222085] reasoning summaries: auto
[codex:222085] session id: 019b8f63-83f4-74c3-9ad2-8ffe773a7e5a
[codex:222085] --------
[codex:222085] user
[codex:222085] You are a profit-focused exploit hunter analyzing EVM bytecode. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:222085] 
[codex:222085] Read `BYTECODE_BUNDLE.txt` completely before concluding.
[codex:222085] 
[codex:222085] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:222085] - Gas inefficiency, code quality, or best practices
[codex:222085] - Theoretical vulnerabilities without a clear extraction path
[codex:222085] - Generic footguns (unchecked return values, etc.) unless they enable theft
[codex:222085] - Issues requiring social engineering or off-chain coordination
[codex:222085] 
[codex:222085] PATTERNS WORTH INVESTIGATING in bytecode:
[codex:222085] - CALL/DELEGATECALL with controllable destination or calldata
[codex:222085] - Value transfers (CALL with non-zero value) without prior CALLER/ORIGIN checks
[codex:222085] - SSTORE to low slots (0-10) that might be owner/admin storage
[codex:222085] - ecrecover (signature validation) - look for missing nonce/replay protection
[codex:222085] - External calls before state updates (reentrancy)
[codex:222085] - SELFDESTRUCT with controllable beneficiary
[codex:222085] - Proxy patterns (DELEGATECALL to storage slot) with unprotected upgrade paths
[codex:222085] 
[codex:222085] For each finding, you MUST explain:
[codex:222085] 1. The specific bytecode pattern/offsets that indicate the vulnerability
[codex:222085] 2. The concrete sequence of transactions to extract value
[codex:222085] 3. Why you believe this is exploitable (not just suspicious)
[codex:222085] 
[codex:222085] If you cannot identify a concrete profit path from bytecode alone: set no_findings=true.
[codex:222085] Do NOT hallucinate. Bytecode-only analysis is limited - be honest about uncertainty.
[codex:222085] 
[codex:222085] Output MUST be valid JSON matching the provided schema.
[codex:222085] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:222085] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:222085] mcp startup: no servers
[codex:222085] 
[codex:222085] thinking
[codex:222085] **Preparing to read BYTECODE_BUNDLE.txt**
[codex:222085] exec
[codex:222085] /bin/bash -lc ls in /tmp/codex-multi-016qz_wi succeeded in 6ms:
[codex:222085] BYTECODE_BUNDLE.txt
[codex:222085] codex-output-schema.json
[codex:222085] exec
[codex:222085] /bin/bash -lc 'cat BYTECODE_BUNDLE.txt' in /tmp/codex-multi-016qz_wi succeeded in 5ms:
[codex:222085] Runtime bytecode bundle for best-effort auditing.
[codex:222085] Note: without verified source, conclusions are low-confidence unless a concrete pattern is visible.
[codex:222085] 
[codex:222085] FILE: runtime_bytecode.hex
[codex:222085] 0x6060604052361561019b5763ffffffff60e060020a6000350416630be479e181146101d75780630e5f6e0a146101ec578063122fe6851461021157806313114a9d1461024057806314bfd6d01461025357806317f708fb1461026957806327e235e31461027c5780632e1a7d4d146102c957806331b9028d146102df57806335c1d349146103015780633816a29214610317578063390a05a81461033b5780633dcaf211146104b65780634c96f0cc146104c95780634ff0d699146104dc57806354fd4d50146104ef57806355a373d6146105265780635bbf97f2146105395780637072c6b11461054c57806376eab38714610573578063853828b6146105865780638a29411b146105995780638d3d6576146105ac5780639aae82c1146105bf578063a8c16922146105d3578063a9cc4718146105e6578063aaffadf3146105f9578063c0ee0b8a1461060c578063c19d93fb1461063b578063c2fbe7bc14610672578063d0e30db014610685578063d0fb02031461068d578063d23ad2be146106a0578063d3c4c4d0146106be578063def86cbb146106e8575b60038060005460ff1660038111156101af57fe5b146101b957600080fd5b600b5433600160a060020a039081169116146101d457600080fd5b50005b34156101e257600080fd5b6101ea610712565b005b34156101f757600080fd5b6101ff6107ef565b60405190815260200160405180910390f35b341561021c57600080fd5b6102246107f5565b604051600160a060020a03909116815260200160405180910390f35b341561024b57600080fd5b6101ff610804565b341561025e57600080fd5b61022460043561080a565b341561027457600080fd5b6101ea610832565b341561028757600080fd5b61029b600160a060020a03600435166108f9565b6040519384526020840192909252151560408084019190915290151560608301526080909101905180910390f35b34156102d457600080fd5b6101ea600435610926565b34156102ea57600080fd5b6101ea600160a060020a0360043516602435610a48565b341561030c57600080fd5b610224600435610b0d565b341561032257600080fd5b6101ea600160a060020a03600435166024351515610b1b565b341561034657600080fd5b61034e610c79565b60405180806020018060200180602001806020018060200186810386528b818151815260200191508051906020019060200280838360005b8381101561039e578082015183820152602001610386565b5050505090500186810385528a818151815260200191508051906020019060200280838360005b838110156103dd5780820151838201526020016103c5565b50505050905001868103845289818151815260200191508051906020019060200280838360005b8381101561041c578082015183820152602001610404565b50505050905001868103835288818151815260200191508051906020019060200280838360005b8381101561045b578082015183820152602001610443565b50505050905001868103825287818151815260200191508051906020019060200280838360005b8381101561049a578082015183820152602001610482565b505050509050019a505050505050505050505060405180910390f35b34156104c157600080fd5b6101ff610ea1565b34156104d457600080fd5b6101ea610eb1565b34156104e757600080fd5b6101ff610fd2565b34156104fa57600080fd5b610502610fd8565b60405180848152602001838152602001828152602001935050505060405180910390f35b341561053157600080fd5b610224610fe2565b341561054457600080fd5b6101ff610ff1565b341561055757600080fd5b61055f610ff7565b604051901515815260200160405180910390f35b341561057e57600080fd5b610224611000565b341561059157600080fd5b6101ea61100f565b34156105a457600080fd5b61055f61101a565b34156105b757600080fd5b6101ff611023565b6101ea600160a060020a0360043516611029565b34156105de57600080fd5b6101ff611127565b34156105f157600080fd5b6101ea61112d565b341561060457600080fd5b6101ff61116b565b341561061757600080fd5b6101ea60048035600160a060020a0316906024803591604435918201910135611171565b341561064657600080fd5b61064e61118f565b6040518082600381111561065e57fe5b60ff16815260200191505060405180910390f35b341561067d57600080fd5b6101ea611198565b6101ea61126e565b341561069857600080fd5b6102246113ce565b34156106ab57600080fd5b6101ea60048035602481019101356113dd565b34156106c957600080fd5b6101ea60048035906024803591604435916064359081019101356114f2565b34156106f357600080fd5b6101ea6024600480358281019290820135918135918201910135611760565b61071a611198565b7fedf65eaee3dbef3a7958f7552630d21d9acdcf3f7ba543fba28952a9109ba73560405160405180910390a1601254600160a060020a031663c527ee1f60016040518263ffffffff1660e060020a028152600401808060200182810382528381815481526020019150805480156107ba57602002820191906000526020600020905b8154600160a060020a0316815260019091019060200180831161079c575b505092505050600060405180830381600087803b15156107d957600080fd5b6102c65a03f115156107ea57600080fd5b505050565b60045481565b600a54600160a060020a031681565b60135481565b600180548290811061081857fe5b600091825260209091200154600160a060020a0316905081565b600061083f60013361192d565b151561084a57600080fd5b60008060005460ff16600381111561085e57fe5b1461086857600080fd5b60065460ff16151561087957600080fd5b6006805460ff191690557f212c6e1d3045c9581ef0adf2504dbb1d137f52f38162ccf77a16c69d14eba5c360405160405180910390a1600091505b6005548210156108f5576108ea6005838154811015156108d057fe5b600091825260209091200154600160a060020a031661198a565b6001909101906108b4565b5050565b60076020526000908152604090208054600182015460029092015490919060ff8082169161010090041684565b60008080808060005460ff16600381111561093d57fe5b1461094757600080fd5b600160a060020a033316600090815260076020526040902080546001820154919550019250848310801590610980575083600101548510155b151561098b57600080fd5b600184018054600091829055860392508211156109c25783548290038455600880548390039055600254845410156109c257600080fd5b33600160a060020a03166000805160206120f883398151915286866001015487600001546008546040518085815260200184815260200183815260200182815260200194505050505060405180910390a233600160a060020a03168560405160006040518083038185876187965a03f1925050501515610a4157600080fd5b5050505050565b610a5360013361192d565b1515610a5e57600080fd5b60008060005460ff166003811115610a7257fe5b14610a7c57600080fd5b60085482901015610a8c57600080fd5b610a966002611a70565b600854600160a060020a033016311015610aac57fe5b60006014541115610acd57601454600854670de0b6b3a76400009102046013555b600854600160a060020a0330811631829003600955601354908516910360405160006040518083038185876187965a03f19250505015156107ea57600080fd5b600580548290811061081857fe5b610b2660013361192d565b1515610b3157600080fd5b600260005460ff166003811115610b4457fe5b1480610b5f57506000805460ff166003811115610b5d57fe5b145b1515610b6a57600080fd5b60105415610b7757600080fd5b600e805460ff191682151517908190556011805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0385811691909117918290557fcaae8d6f188b3e0acfaf09ba381f57b6bcaeecf85794ee0afd799ff2065dff3392859260ff90911691166370a082313060006040516020015260405160e060020a63ffffffff8416028152600160a060020a039091166004820152602401602060405180830381600087803b1515610c2d57600080fd5b6102c65a03f11515610c3e57600080fd5b50505060405180519050604051600160a060020a03909316835290151560208301526040808301919091526060909101905180910390a15050565b610c816120a5565b610c896120a5565b610c916120a5565b610c996120a5565b610ca16120a5565b610ca96120a5565b610cb16120a5565b610cb96120a5565b610cc16120a5565b6005546000908190604051805910610cd65750595b9080825280602002602001820160405250600554909650604051805910610cfa5750595b9080825280602002602001820160405250600554909550604051805910610d1e5750595b9080825280602002602001820160405250600554909450604051805910610d425750595b90808252806020026020018201604052509250600091505b600554821015610e285760076000600584815481101515610d7757fe5b6000918252602080832090910154600160a060020a0316835282019290925260400190208054909150868381518110610dac57fe5b602090810290910101526001810154858381518110610dc757fe5b60209081029091010152600281015460ff16848381518110610de557fe5b911515602092830290910190910152600281015460ff61010090910416838381518110610e0e57fe5b911515602092830290910190910152600190910190610d5a565b60058686868684805480602002602001604051908101604052809291908181526020018280548015610e8357602002820191906000526020600020905b8154600160a060020a03168152600190910190602001808311610e65575b505050505094509a509a509a509a509a505050505050509091929394565b6b033b2e3c9fd0803ce800000081565b600080600260005460ff166003811115610ec757fe5b148015610ed65750600e5460ff165b1515610ee157600080fd5b601154600160a060020a03166370a082313060006040516020015260405160e060020a63ffffffff8416028152600160a060020a039091166004820152602401602060405180830381600087803b1515610f3a57600080fd5b6102c65a03f11515610f4b57600080fd5b5050506040518051925060009150505b6005548110156108f5576000821115610f9e57610f9b600582815481101515610f8057fe5b600091825260209091200154600160a060020a031683611af2565b91505b610fca600582815481101515610fb057fe5b600091825260209091200154600160a060020a0316611c39565b600101610f5b565b60145481565b6001806000909192565b601154600160a060020a031681565b60085481565b60065460ff1681565b600b54600160a060020a031681565b61101833611c39565b565b600e5460ff1681565b60035481565b61103460013361192d565b151561103f57600080fd5b600260005460ff16600381111561105257fe5b148061106e5750600360005460ff16600381111561106c57fe5b145b151561107957600080fd5b6010541561108657600080fd5b600b54600160a060020a0382811691161461110157600b805473ffffffffffffffffffffffffffffffffffffffff1916600160a060020a0383161790557fac140301f2bddbabdc6ee045fb15f29d6f070b8d470ed982696c1b6d4e475fea81604051600160a060020a03909116815260200160405180910390a15b600260005460ff16600381111561111457fe5b1415611124576111246003611a70565b50565b60095481565b61113860013361192d565b151561114357600080fd5b60008060005460ff16600381111561115757fe5b1461116157600080fd5b6111246001611a70565b60025481565b60028060005460ff16600381111561118557fe5b14610a4157600080fd5b60005460ff1681565b600060028060005460ff1660038111156111ae57fe5b146111b857600080fd5b601354600090116111c857600080fd5b601054600090116111d857600080fd5b60138054600090915591507f7a845d9ff115a67119400d0d4fb3a54b18d744a32c3180ecb8e2f15d14af63ef8260405190815260200160405180910390a1601254600160a060020a031663dff90b5b836040518263ffffffff1660e060020a0281526004016000604051808303818588803b151561125557600080fd5b6125ee5a03f1151561126657600080fd5b505050505050565b60008080808060005460ff16600381111561128557fe5b1461128f57600080fd5b6000341161129c57600080fd5b6112a533611e9a565b15156112b057600080fd5b6112ba3334611ed0565b909450925082156112ca57600080fd5b33600160a060020a031660009081526007602052604090208054600880549190910386019055600181018490558481556002810154909250610100900460ff16151561137157600282018054610100600160ff19909216821761ff00191617909155600580549091810161133e83826120b7565b506000918252602090912001805473ffffffffffffffffffffffffffffffffffffffff191633600160a060020a03161790555b33600160a060020a03167f36af321ec8d3c75236829c5317affd40ddb308863a1236d2d277a4025cccee1e34846000015460085460405180848152602001838152602001828152602001935050505060405180910390a250505050565b601254600160a060020a031681565b600080600260005460ff1660038111156113f357fe5b1480156114025750600e5460ff165b151561140d57600080fd5b601154600160a060020a03166370a082313060006040516020015260405160e060020a63ffffffff8416028152600160a060020a039091166004820152602401602060405180830381600087803b151561146657600080fd5b6102c65a03f1151561147757600080fd5b5050506040518051925060009150505b828110156114ec5760008211156114c0576114bd8484838181106114a757fe5b90506020020135600160a060020a031683611af2565b91505b6114e48484838181106114cf57fe5b90506020020135600160a060020a0316611c39565b600101611487565b50505050565b60008060008060008061150660013361192d565b151561151157600080fd5b60008060005460ff16600381111561152557fe5b1461152f57600080fd5b8b600254109650868061154357508a600354115b96508680611552575089600854115b60028d905560038c905560048b9055965061156b611f64565b7f81ed9d12804616ac7f219b046f48081f6f704a4bab03d58f911cc5c37d285fd960025460035460045460405180848152602001838152602001828152602001935050505060405180910390a1861561168a576000600881905595505b6005548610156116855760058054879081106115e057fe5b6000918252602080832090910154600160a060020a03168083526007909152604082208054600182018054909101905582815596509450611622908590611ed0565b600187019081558187556008805490920191829055548654600160a060020a0387169260008051602061211883398151915292919060405180848152602001838152602001828152602001935050505060405180910390a26001909501946115c8565b611752565b600095505b87861015611752578888878181106116a357fe5b90506020020135600160a060020a031693506007600085600160a060020a0316600160a060020a0316815260200190815260200160002094506116e7846000611ed0565b865460088054919091038301815560018801829055828855549194509250600160a060020a03851690600080516020612118833981519152908490869060405180848152602001838152602001828152602001935050505060405180910390a260019095019461168f565b505050505050505050505050565b600080600061177060013361192d565b151561177b57600080fd5b60008060005460ff16600381111561178f57fe5b1461179957600080fd5b60065460ff1615156117df577fe5e5846f783279948f6ec5faad38318cde86fe5be7ea845ede56d62f16c3743460405160405180910390a16006805460ff191660011790555b600093505b848410156118e7578585858181106117f857fe5b60209081029290920135600160a060020a0316600081815260079093526040909220600281015492955093505060ff16156118dc5760028201805460ff19169055600160a060020a0383167fcdd2e9b91a56913d370075169cefa1602ba36be5301664f752192bb1709df75760405160405180910390a2815460009011156118dc5781546008805491909103815582546001840180549091019081905560008085559154600160a060020a03861692600080516020612118833981519152929160405180848152602001838152602001828152602001935050505060405180910390a25b6001909301926117e4565b600093505b868410156119235761191888888681811061190357fe5b90506020020135600160a060020a031661198a565b6001909301926118ec565b5050505050505050565b6000805b835481101561197e5782600160a060020a0316848281548110151561195257fe5b600091825260209091200154600160a060020a031614156119765760019150611983565b600101611931565b600091505b5092915050565b600160a060020a0381166000908152600760205260409020600281015460ff16156119b4576108f5565b60028101805460ff19166001179055600160a060020a0382167f674271b83e1561ba88b26ca5a95180118599dc82d6471b22c805590ef85924e860405160405180910390a260018101541515611a09576108f5565b611a14826000611ed0565b600183019081558183556008805490920191829055548254600160a060020a0385169260008051602061211883398151915292919060405180848152602001838152602001828152602001935050505060405180910390a25050565b6000547ffa441dfe95ea7994c16c2c9120482b6fe0888963d94853674dde4d7a7c1058279060ff168260405180836003811115611aa957fe5b60ff168152602001826003811115611abd57fe5b60ff1681526020019250505060405180910390a16000805482919060ff19166001836003811115611aea57fe5b021790555050565b600160a060020a0382166000908152600760205260408082209082908190611b3c90879087908051908101604052865481526008546020820152600f92919063ffffffff611fa116565b6011549581900395909250600160a060020a031663a9059cbb878460006040516020015260405160e060020a63ffffffff8516028152600160a060020a0390921660048301526024820152604401602060405180830381600087803b1515611ba357600080fd5b6102c65a03f11515611bb457600080fd5b5050506040518051915050801515611bde57611bd8600f878463ffffffff61201f16565b50938101935b85600160a060020a03167fed51c10b2e5fe60655b8910331d82f32b93691fa1a981a6e5cae786f3b7e63f283838860405192835290151560208301526040808301919091526060909101905180910390a25092949350505050565b600160a060020a0381166000908152600760205260408120805460018201549192918291011515611c69576114ec565b600183018054600091829055925060005460ff166003811115611c8857fe5b1480611ca45750600160005460ff166003811115611ca257fe5b145b15611d0f578254600880548290038155600080865590549390910192600160a060020a038616916000805160206120f88339815191529185919081906040518085815260200184815260200183815260200182815260200194505050505060405180910390a2611e6c565b600360005460ff166003811115611d2257fe5b1415611e005783600160a060020a03166000805160206120f883398151915283600086600001546008546040518085815260200184815260200183815260200182815260200194505050505060405180910390a2611daf8460095430600160a060020a0316310360408051908101604052865481526008546020820152600c92919063ffffffff611fa116565b600980548490039055918201919050600160a060020a0384167f358fe4192934d3bf28ae181feda1f4bd08ca67f5e2fad55582cce5eb67304ae98260405190815260200160405180910390a2611e6c565b600260005460ff166003811115611e1357fe5b14611e1d57600080fd5b83600160a060020a03166000805160206120f883398151915283600086600001546008546040518085815260200184815260200183815260200182815260200194505050505060405180910390a25b83600160a060020a03168260405160006040518083038185876187965a03f19250505015156114ec57600080fd5b60065460009060ff161580611eca5750600160a060020a03821660009081526007602052604090206002015460ff165b92915050565b600160a060020a03821660009081526007602052604081208054600182015483929101840180611eff87611e9a565b1515611f1357600094509092508290611f5a565b611f1f60035482612072565b9050611f378360000154600854600454030182612072565b9050600254811015611f5157600094509092508290611f5a565b80818303945094505b5050509250929050565b60035460025411158015611f7c575060045460035411155b8015611f9657506b033b2e3c9fd0803ce800000060045411155b151561101857600080fd5b600080600080611fc0886001015487018661208990919063ffffffff16565b600160a060020a038816600090815260208a90526040902054909350915082821115611fe857fe5b50600160a060020a039590951660009081526020879052604090208054959091039485019055505050600190910180548201905590565b600160a060020a03821660009081526020849052604081205482111561204157fe5b600160a060020a03909216600090815260208490526040902080548290039055600190920180549290920390915590565b600081831015612083575081611eca565b50919050565b600060208301518351830281151561209d57fe5b049392505050565b60206040519081016040526000815290565b8154818355818115116107ea576000838152602090206107ea9181019083016120f491905b808211156120f057600081556001016120dc565b5090565b905600f987a0d9f0e578dfa8c474d32937d241643b2ba5d1abc53439c5b8e7f176db2eb5b7afd19120e2fdcc163597a86fbe89ae50e622014b66e53de941c87eec0822a165627a7a7230582005b11d5b4dec5399df329449d9b32f44203a3e22285cc39387b2c1952a168d5f0029
[codex:222085] 
[codex:222085] thinking
[codex:222085] **Evaluating bytecode for exploits**
[codex:222085] exec
[codex:222085] /bin/bash -lc "python3 - <<'PY'
[codex:222085] import re
[codex:222085] from binascii import unhexlify
[codex:222085] 
[codex:222085] hexdata=open('BYTECODE_BUNDLE.txt').read()
[codex:222085] # extract hex after 0x
[codex:222085] m=re.search(r'0x([0-9a-fA-F]+)', hexdata)
[codex:222085] if not m:
[codex:222085]     print('no hex')
[codex:222085]     raise SystemExit
[codex:222085] hexstr=m.group(1)
[codex:222085] # find metadata start (a165627a7a72305820 or a2646970667358 etc). we'll search for 0xa165627a7a72305820
[codex:222085] meta_idx=hexstr.find('a165627a7a72305820')
[codex:222085] if meta_idx==-1:
[codex:222085]     meta_idx=hexstr.find('a2646970667358')
[codex:222085] if meta_idx"'!=-1:
[codex:222085]     code_hex=hexstr[:meta_idx]
[codex:222085] else:
[codex:222085]     code_hex=hexstr
[codex:222085] 
[codex:222085] code=bytes.fromhex(code_hex)
[codex:222085] # find opcodes of interest
[codex:222085] opnames={0xf0:'"'CREATE',0xf1:'CALL',0xf2:'CALLCODE',0xf4:'DELEGATECALL',0xf5:'CREATE2',0xfa:'STATICCALL',0xff:'SELFDESTRUCT'}
[codex:222085] positions={k:[] for k in opnames}
[codex:222085] for i,b in enumerate(code):
[codex:222085]     if b in positions:
[codex:222085]         positions[b].append(i)
[codex:222085] print('code length',len(code),'bytes')
[codex:222085] for op,idxs in positions.items():
[codex:222085]     if idxs:
[codex:222085]         print(hex(op),opnames[op], 'count', len(idxs), 'first', idxs[:5])
[codex:222085] PY" in /tmp/codex-multi-016qz_wi succeeded in 44ms:
[codex:222085] code length 8504 bytes
[codex:222085] 0xf0 CREATE count 5 first [173, 183, 2190, 8419, 8444]
[codex:222085] 0xf1 CALL count 14 first [1354, 1515, 2015, 2610, 2814]
[codex:222085] 0xf2 CALLCODE count 10 first [162, 218, 1766, 2192, 3026]
[codex:222085] 0xf4 DELEGATECALL count 2 first [7640, 8409]
[codex:222085] 0xf5 CREATE2 count 6 first [546, 2237, 3940, 6578, 6663]
[codex:222085] 0xfa STATICCALL count 6 first [1268, 3318, 6066, 6773, 7165]
[codex:222085] 0xff SELFDESTRUCT count 164 first [12, 13, 14, 15, 315]
[codex:222085] 
[codex:222085] thinking
[codex:222085] **Planning accurate opcode parsing**
[codex:222085] exec
[codex:222085] /bin/bash -lc "python3 - <<'PY'
[codex:222085] import re
[codex:222085] from binascii import unhexlify
[codex:222085] 
[codex:222085] hexdata=open('BYTECODE_BUNDLE.txt').read()
[codex:222085] m=re.search(r'0x([0-9a-fA-F]+)', hexdata)
[codex:222085] hexstr=m.group(1)
[codex:222085] meta_idx=hexstr.find('a165627a7a72305820')
[codex:222085] if meta_idx==-1:
[codex:222085]     meta_idx=hexstr.find('a2646970667358')
[codex:222085] code_hex=hexstr if meta_idx==-1 else hexstr[:meta_idx]
[codex:222085] code=bytes.fromhex(code_hex)
[codex:222085] 
[codex:222085] opnames={
[codex:222085]     0xf0:'CREATE',0xf1:'CALL',0xf2:'CALLCODE',0xf4:'DELEGATECALL',0xf5:'CREATE2',0xfa:'STATICCALL',0xff:'SELFDESTRUCT'
[codex:222085] }
[codex:222085] positions={k:[] for k in opnames}
[codex:222085] 
[codex:222085] pc=0
[codex:222085] while pc < len(code):
[codex:222085]     op=code[pc]
[codex:222085]     if op in positions:
[codex:222085]         positions[op].append(pc)
[codex:222085]     pc += 1
[codex:222085]     if 0x60 <= op <= 0x7f:  # PUSH1-32
[codex:222085]         push_bytes = op - 0x5f
[codex:222085]         pc += push_bytes
[codex:222085] 
[codex:222085] print('code length',len(code))
[codex:222085] for op, idxs in positions.items():
[codex:222085]     if idxs:
[codex:222085]         print(hex(op), opnames[op], 'count', len(idxs), 'first', idxs[:10])
[codex:222085] PY" in /tmp/codex-multi-016qz_wi succeeded in 34ms:
[codex:222085] code length 8504
[codex:222085] 0xf0 CREATE count 1 first [8444]
[codex:222085] 0xf1 CALL count 9 first [2015, 2610, 2814, 3123, 3904, 4699, 5228, 7081, 7819]
[codex:222085] 
[codex:222085] thinking
[codex:222085] **Analyzing CALL opcode usage patterns**
[codex:222085] 
[codex:222085] I’m focusing on CREATE and CALL opcodes and ignoring delegatecall or selfdestruct. I want to find any CALL that sends value without access control by disassembling code around CALL instructions to identify functions sending ETH or tokens. I’ll implement a minimal disassembler in Python to show about 20 opcodes surrounding each CALL, looking for clues like CALLVALUE, CALLER, or SLOAD that could hint at vulnerabilities or reentrancy risks. This approach helps me interpret potential exploit paths from user-supplied inputs in bytecode.
[codex:222085] exec
[codex:222085] /bin/bash -lc "python3 - <<'PY'
[codex:222085] import re
[codex:222085] 
[codex:222085] hexdata=open('BYTECODE_BUNDLE.txt').read()
[codex:222085] m=re.search(r'0x([0-9a-fA-F]+)', hexdata)
[codex:222085] hexstr=m.group(1)
[codex:222085] meta_idx=hexstr.find('a165627a7a72305820')
[codex:222085] if meta_idx==-1:
[codex:222085]     meta_idx=hexstr.find('a2646970667358')
[codex:222085] code_hex=hexstr if meta_idx==-1 else hexstr[:meta_idx]
[codex:222085] code=bytes.fromhex(code_hex)
[codex:222085] 
[codex:222085] # opcode names for common opcodes
[codex:222085] opnames = {i: f'OP_{i:02x}' for i in range(256)}
[codex:222085] # populate names for core ones
[codex:222085] names = {
[codex:222085] 0x00:'STOP',0x01:'ADD',0x02:'MUL',0x03:'SUB',0x04:'DIV',0x05:'SDIV',0x06:'MOD',0x07:'SMOD',0x08:'ADDMOD',0x09:'MULMOD',0x0a:'EXP',0x0b:'SIGNEXTEND',
[codex:222085] 0x10:'LT',0x11:'GT',0x12:'SLT',0x13:'SGT',0x14:'EQ',0x15:'ISZERO',0x16:'AND',0x17:'OR',0x18:'XOR',0x19:'NOT',0x1a:'BYTE',0x1b:'SHL',0x1c:'SHR',0x1d:'SAR',
[codex:222085] 0x20:'SHA3',
[codex:222085] 0x30:'ADDRESS',0x31:'BALANCE',0x32:'ORIGIN',0x33:'CALLER',0x34:'CALLVALUE',0x35:'CALLDATALOAD',0x36:'CALLDATASIZE',0x37:'CALLDATACOPY',0x38:'CODESIZE',0x39:'CODECOPY',0x3a:'GASPRICE',0x3b:'EXTCODESIZE',0x3c:'EXTCODECOPY',0x3d:'RETURNDATASIZE',0x3e:'RETURNDATACOPY',0x3f:'EXTCODEHASH',
[codex:222085] 0x40:'BLOCKHASH',0x41:'COINBASE',0x42:'TIMESTAMP',0x43:'NUMBER',0x44:'DIFFICULTY',0x45:'GASLIMIT',0x46:'CHAINID',0x47:'SELFBALANCE',0x48:'BASEFEE',
[codex:222085] 0x50:'POP',0x51:'MLOAD',0x52:'MSTORE',0x53:'MSTORE8',0x54:'SLOAD',0x55:'SSTORE',0x56:'JUMP',0x57:'JUMPI',0x58:'PC',0x59:'MSIZE',0x5a:'GAS',0x5b:'JUMPDEST',
[codex:222085] 0xf0:'CREATE',0xf1:'CALL',0xf2:'CALLCODE',0xf3:'RETURN',0xf4:'DELEGATECALL',0xf5:'CREATE2',0xfa:'STATICCALL',0xfd:'REVERT',0xfe:'INVALID',0xff:'SELFDESTRUCT'
[codex:222085] }
[codex:222085] for k,v in names.items():
[codex:222085]     opnames[k]=v
[codex:222085] for i in range(1,33):
[codex:222085]     opnames[0x5f+i]=f'PUSH{i}'
[codex:222085] for i in range(1,17):
[codex:222085]     opnames[0x7f+i]=f'DUP{i}'
[codex:222085] for i in range(1,17):
[codex:222085]     opnames[0x8f+i]=f'SWAP{i}'
[codex:222085] 
[codex:222085] # disassemble and record
[codex:222085] instrs=[]
[codex:222085] pc=0
[codex:222085] while pc < len(code):
[codex:222085]     op=code[pc]
[codex:222085]     name=opnames[op]
[codex:222085]     pc_next=pc+1
[codex:222085]     data=None
[codex:222085]     if 0x60 <= op <= 0x7f:
[codex:222085]         n=op-0x5f
[codex:222085]         data=code[pc_next:pc_next+n]
[codex:222085]         pc_next+=n
[codex:222085]     instrs.append((pc, op, name, data))
[codex:222085]     pc=pc_next
[codex:222085] 
[codex:222085] # map pc to index
[codex:222085] idx_by_pc={pc:i for i,(pc,_,_,_) in enumerate(instrs)}
[codex:222085] 
[codex:222085] call_pcs=[pc for pc,op,_,_ in instrs if op==0xf1]
[codex:222085] print('CALL pcs',call_pcs)
[codex:222085] 
[codex:222085] for pc in call_pcs:
[codex:222085]     idx=idx_by_pc[pc]
[codex:222085]     start=max(0,idx-15)
[codex:222085]     end=min(len(instrs), idx+10)
[codex:222085]     print('\\n--- context for CALL at pc',pc,'---')
[codex:222085]     for i in range(start,end):
[codex:222085]         ip,op,name,data=instrs[i]
[codex:222085]         if data is not None:
[codex:222085]             print(f'{ip:04x}: {name} 0x{data.hex()}')
[codex:222085]         else:
[codex:222085]             print(f'{ip:04x}: {name}')
[codex:222085] PY" in /tmp/codex-multi-016qz_wi succeeded in 34ms:
[codex:222085] CALL pcs [2015, 2610, 2814, 3123, 3904, 4699, 5228, 7081, 7819]
[codex:222085] 
[codex:222085] --- context for CALL at pc 2015 ---
[codex:222085] 07ca: PUSH1 0x00
[codex:222085] 07cc: DUP8
[codex:222085] 07cd: DUP1
[codex:222085] 07ce: EXTCODESIZE
[codex:222085] 07cf: ISZERO
[codex:222085] 07d0: ISZERO
[codex:222085] 07d1: PUSH2 0x07d9
[codex:222085] 07d4: JUMPI
[codex:222085] 07d5: PUSH1 0x00
[codex:222085] 07d7: DUP1
[codex:222085] 07d8: REVERT
[codex:222085] 07d9: JUMPDEST
[codex:222085] 07da: PUSH2 0x02c6
[codex:222085] 07dd: GAS
[codex:222085] 07de: SUB
[codex:222085] 07df: CALL
[codex:222085] 07e0: ISZERO
[codex:222085] 
[codex:222085] thinking
[codex:222085] **Analyzing CALL instruction patterns**
[codex:222085] exec
[codex:222085] /bin/bash -lc "python3 - <<'PY'
[codex:222085] import re
[codex:222085] 
[codex:222085] hexdata=open('BYTECODE_BUNDLE.txt').read()
[codex:222085] hexstr=re.search(r'0x([0-9a-fA-F]+)', hexdata).group(1)
[codex:222085] meta_idx=hexstr.find('a165627a7a72305820')
[codex:222085] if meta_idx==-1:
[codex:222085]     meta_idx=hexstr.find('a2646970667358')
[codex:222085] code_hex=hexstr if meta_idx==-1 else hexstr[:meta_idx]
[codex:222085] code=bytes.fromhex(code_hex)
[codex:222085] 
[codex:222085] # disassemble
[codex:222085] opnames={i:f'OP_{i:02x}' for i in range(256)}
[codex:222085] for i in range(1,33): opnames[0x5f+i]=f'PUSH{i}'
[codex:222085] for i in range(1,17): opnames[0x7f+i]=f'DUP{i}'
[codex:222085] for i in range(1,17): opnames[0x8f+i]=f'SWAP{i}'
[codex:222085] 
[codex:222085] def name(op):
[codex:222085]     names={
[codex:222085] 0x00:'STOP',0x01:'ADD',0x02:'MUL',0x03:'SUB',0x04:'DIV',0x05:'SDIV',0x06:'MOD',0x07:'SMOD',0x08:'ADDMOD',0x09:'MULMOD',0x0a:'EXP',0x0b:'SIGNEXTEND',
[codex:222085] 0x10:'LT',0x11:'GT',0x12:'SLT',0x13:'SGT',0x14:'EQ',0x15:'ISZERO',0x16:'AND',0x17:'OR',0x18:'XOR',0x19:'NOT',0x1a:'BYTE',0x1b:'SHL',0x1c:'SHR',0x1d:'SAR',
[codex:222085] 0x20:'SHA3',0x30:'ADDRESS',0x31:'BALANCE',0x32:'ORIGIN',0x33:'CALLER',0x34:'CALLVALUE',0x35:'CALLDATALOAD',0x36:'CALLDATASIZE',0x37:'CALLDATACOPY',0x38:'CODESIZE',0x39:'CODECOPY',0x3a:'GASPRICE',0x3b:'EXTCODESIZE',0x3c:'EXTCODECOPY',0x3d:'RETURNDATASIZE',0x3e:'RETURNDATACOPY',0x3f:'EXTCODEHASH',
[codex:222085] 0x40:'BLOCKHASH',0x41:'COINBASE',0x42:'TIMESTAMP',0x43:'NUMBER',0x44:'DIFFICULTY',0x45:'GASLIMIT',0x46:'CHAINID',0x47:'SELFBALANCE',0x48:'BASEFEE',
[codex:222085] 0x50:'POP',0x51:'MLOAD',0x52:'MSTORE',0x53:'MSTORE8',0x54:'SLOAD',0x55:'SSTORE',0x56:'JUMP',0x57:'JUMPI',0x58:'PC',0x59:'MSIZE',0x5a:'GAS',0x5b:'JUMPDEST',
[codex:222085] 0xf0:'CREATE',0xf1:'CALL',0xf2:'CALLCODE',0xf3:'RETURN',0xf4:'DELEGATECALL',0xf5:'CREATE2',0xfa:'STATICCALL',0xfd:'REVERT',0xfe:'INVALID',0xff:'SELFDESTRUCT'
[codex:222085]     }
[codex:222085]     return names.get(op, opnames.get(op, f'OP_{op:02x}'))
[codex:222085] 
[codex:222085] instrs=[]
[codex:222085] pc=0
[codex:222085] while pc < len(code):
[codex:222085]     op=code[pc]
[codex:222085]     n=name(op)
[codex:222085]     pc_next=pc+1
[codex:222085]     data=None
[codex:222085]     if 0x60 <= op <= 0x7f:
[codex:222085]         dlen=op-0x5f
[codex:222085]         data=code[pc_next:pc_next+dlen]
[codex:222085]         pc_next+=dlen
[codex:222085]     instrs.append((pc,op,n,data))
[codex:222085]     pc=pc_next
[codex:222085] 
[codex:222085] idx_by_pc={pc:i for i,(pc,_,_,_) in enumerate(instrs)}
[codex:222085] call_pcs=[pc for pc,op,_,_ in instrs if op==0xf1]
[codex:222085] 
[codex:222085] for pc in call_pcs:
[codex:222085]     idx=idx_by_pc[pc]
[codex:222085]     start=max(0,idx-40)
[codex:222085]     end=min(len(instrs), idx+5)
[codex:222085]     print('\\n=== CALL at pc',pc,'===')
[codex:222085]     for i in range(start,end):
[codex:222085]         ip,op,name,data=instrs[i]
[codex:222085]         if data is not None:
[codex:222085]             print(f'{ip:04x}: {name} 0x{data.hex()}')
[codex:222085]         else:
[codex:222085]             print(f'{ip:04x}: {name}')
[codex:222085] PY" in /tmp/codex-multi-016qz_wi succeeded in 73ms:
[codex:222085] 
[codex:222085] === CALL at pc 2015 ===
[codex:222085] 07ac: SWAP1
[codex:222085] 07ad: SWAP2
[codex:222085] 07ae: ADD
[codex:222085] 07af: SWAP1
[codex:222085] 07b0: PUSH1 0x20
[codex:222085] 07b2: ADD
[codex:222085] 07b3: DUP1
[codex:222085] 07b4: DUP4
[codex:222085] 07b5: GT
[codex:222085] 07b6: PUSH2 0x079c
[codex:222085] 07b9: JUMPI
[codex:222085] 07ba: JUMPDEST
[codex:222085] 07bb: POP
[codex:222085] 07bc: POP
[codex:222085] 07bd: SWAP3
[codex:222085] 07be: POP
[codex:222085] 07bf: POP
[codex:222085] 07c0: POP
[codex:222085] 
[codex:222085] thinking
[codex:222085] **Analyzing call patterns and potential exploits**
[codex:222085] 
[codex:222085] I’m examining low-level call patterns in the bytecode to identify any exploitable behaviors like unprotected ETH transfers or delegatecalls. Although the contract has functions resembling WETH’s deposit and withdraw, the overall complexity and absence of delegatecall or selfdestruct make exploitation unlikely. Since I can’t find a concrete exploit path from the bytecode alone, I’ll mark no findings and prepare a minimal JSON report accordingly.
[codex:222085] codex
[codex:222085] {"no_findings":true,"summary":"No concrete, exploitable profit path identified from the provided runtime bytecode bundle.","findings":[]}
[codex:222085] tokens used
[codex:222085] 29,553
[codex:222085] {"no_findings":true,"summary":"No concrete, exploitable profit path identified from the provided runtime bytecode bundle.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T18:22:34.305708+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit path identified from the provided runtime bytecode bundle.",
    "raw_final": {
        "summary": "No concrete, exploitable profit path identified from the provided runtime bytecode bundle.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x019b
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH4 0x0be479e1
0000001f: DUP2
00000020: EQ
00000021: PUSH2 0x01d7
00000024: JUMPI
00000025: DUP1
00000026: PUSH4 0x0e5f6e0a
0000002b: EQ
0000002c: PUSH2 0x01ec
0000002f: JUMPI
00000030: DUP1
00000031: PUSH4 0x122fe685
00000036: EQ
00000037: PUSH2 0x0211
0000003a: JUMPI
0000003b: DUP1
0000003c: PUSH4 0x13114a9d
00000041: EQ
00000042: PUSH2 0x0240
00000045: JUMPI
00000046: DUP1
00000047: PUSH4 0x14bfd6d0
0000004c: EQ
0000004d: PUSH2 0x0253
00000050: JUMPI
00000051: DUP1
00000052: PUSH4 0x17f708fb
00000057: EQ
00000058: PUSH2 0x0269
0000005b: JUMPI
0000005c: DUP1
0000005d: PUSH4 0x27e235e3
00000062: EQ
00000063: PUSH2 0x027c
00000066: JUMPI
00000067: DUP1
00000068: PUSH4 0x2e1a7d4d
0000006d: EQ
0000006e: PUSH2 0x02c9
00000071: JUMPI
00000072: DUP1
00000073: PUSH4 0x31b9028d
00000078: EQ
00000079: PUSH2 0x02df
0000007c: JUMPI
0000007d: DUP1
0000007e: PUSH4 0x35c1d349
00000083: EQ
00000084: PUSH2 0x0301
00000087: JUMPI
00000088: DUP1
00000089: PUSH4 0x3816a292
0000008e: EQ
0000008f: PUSH2 0x0317
00000092: JUMPI
00000093: DUP1
00000094: PUSH4 0x390a05a8
00000099: EQ
0000009a: PUSH2 0x033b
0000009d: JUMPI
0000009e: DUP1
0000009f: PUSH4 0x3dcaf211
000000a4: EQ
000000a5: PUSH2 0x04b6
000000a8: JUMPI
000000a9: DUP1
000000aa: PUSH4 0x4c96f0cc
000000af: EQ
000000b0: PUSH2 0x04c9
000000b3: JUMPI
000000b4: DUP1
000000b5: PUSH4 0x4ff0d699
000000ba: EQ
000000bb: PUSH2 0x04dc
000000be: JUMPI
000000bf: DUP1
000000c0: PUSH4 0x54fd4d50
000000c5: EQ
000000c6: PUSH2 0x04ef
000000c9: JUMPI
000000ca: DUP1
000000cb: PUSH4 0x55a373d6
000000d0: EQ
000000d1: PUSH2 0x0526
000000d4: JUMPI
000000d5: DUP1
000000d6: PUSH4 0x5bbf97f2
000000db: EQ
000000dc: PUSH2 0x0539
000000df: JUMPI
000000e0: DUP1
000000e1: PUSH4 0x7072c6b1
000000e6: EQ
000000e7: PUSH2 0x054c
000000ea: JUMPI
000000eb: DUP1
000000ec: PUSH4 0x76eab387
000000f1: EQ
000000f2: PUSH2 0x0573
000000f5: JUMPI
000000f6: DUP1
000000f7: PUSH4 0x853828b6
000000fc: EQ
000000fd: PUSH2 0x0586
00000100: JUMPI
00000101: DUP1
00000102: PUSH4 0x8a29411b
00000107: EQ
00000108: PUSH2 0x0599
0000010b: JUMPI
0000010c: DUP1
0000010d: PUSH4 0x8d3d6576
00000112: EQ
00000113: PUSH2 0x05ac
00000116: JUMPI
00000117: DUP1
00000118: PUSH4 0x9aae82c1
0000011d: EQ
0000011e: PUSH2 0x05bf
00000121: JUMPI
00000122: DUP1
00000123: PUSH4 0xa8c16922
00000128: EQ
00000129: PUSH2 0x05d3
0000012c: JUMPI
0000012d: DUP1
0000012e: PUSH4 0xa9cc4718
00000133: EQ
00000134: PUSH2 0x05e6
00000137: JUMPI
00000138: DUP1
00000139: PUSH4 0xaaffadf3
0000013e: EQ
0000013f: PUSH2 0x05f9
00000142: JUMPI
00000143: DUP1
00000144: PUSH4 0xc0ee0b8a
00000149: EQ
0000014a: PUSH2 0x060c
0000014d: JUMPI
0000014e: DUP1
0000014f: PUSH4 0xc19d93fb
00000154: EQ
00000155: PUSH2 0x063b
00000158: JUMPI
00000159: DUP1
0000015a: PUSH4 0xc2fbe7bc
0000015f: EQ
00000160: PUSH2 0x0672
00000163: JUMPI
00000164: DUP1
00000165: PUSH4 0xd0e30db0
0000016a: EQ
0000016b: PUSH2 0x0685
0000016e: JUMPI
0000016f: DUP1
00000170: PUSH4 0xd0fb0203
00000175: EQ
00000176: PUSH2 0x068d
00000179: JUMPI
0000017a: DUP1
0000017b: PUSH4 0xd23ad2be
00000180: EQ
00000181: PUSH2 0x06a0
00000184: JUMPI
00000185: DUP1
00000186: PUSH4 0xd3c4c4d0
0000018b: EQ
0000018c: PUSH2 0x06be
0000018f: JUMPI
00000190: DUP1
00000191: PUSH4 0xdef86cbb
00000196: EQ
00000197: PUSH2 0x06e8
0000019a: JUMPI
0000019b: JUMPDEST
0000019c: PUSH1 0x03
0000019e: DUP1
0000019f: PUSH1 0x00
000001a1: SLOAD
000001a2: PUSH1 0xff
000001a4: AND
000001a5: PUSH1 0x03
000001a7: DUP2
000001a8: GT
000001a9: ISZERO
000001aa: PUSH2 0x01af
000001ad: JUMPI
000001ae: INVALID
000001af: JUMPDEST
000001b0: EQ
000001b1: PUSH2 0x01b9
000001b4: JUMPI
000001b5: PUSH1 0x00
000001b7: DUP1
000001b8: REVERT
000001b9: JUMPDEST
000001ba: PUSH1 0x0b
000001bc: SLOAD
000001bd: CALLER
000001be: PUSH1 0x01
000001c0: PUSH1 0xa0
000001c2: PUSH1 0x02
000001c4: EXP
000001c5: SUB
000001c6: SWAP1
000001c7: DUP2
000001c8: AND
000001c9: SWAP2
000001ca: AND
000001cb: EQ
000001cc: PUSH2 0x01d4
000001cf: JUMPI
000001d0: PUSH1 0x00
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: POP
000001d6: STOP
000001d7: JUMPDEST
000001d8: CALLVALUE
000001d9: ISZERO
000001da: PUSH2 0x01e2
000001dd: JUMPI
000001de: PUSH1 0x00
000001e0: DUP1
000001e1: REVERT
000001e2: JUMPDEST
000001e3: PUSH2 0x01ea
000001e6: PUSH2 0x0712
000001e9: JUMP
000001ea: JUMPDEST
000001eb: STOP
000001ec: JUMPDEST
000001ed: CALLVALUE
000001ee: ISZERO
000001ef: PUSH2 0x01f7
000001f2: JUMPI
000001f3: PUSH1 0x00
000001f5: DUP1
000001f6: REVERT
000001f7: JUMPDEST
000001f8: PUSH2 0x01ff
000001fb: PUSH2 0x07ef
000001fe: JUMP
000001ff: JUMPDEST
00000200: PUSH1 0x40
00000202: MLOAD
00000203: SWAP1
00000204: DUP2
00000205: MSTORE
00000206: PUSH1 0x20
00000208: ADD
00000209: PUSH1 0x40
0000020b: MLOAD
0000020c: DUP1
0000020d: SWAP2
0000020e: SUB
0000020f: SWAP1
00000210: RETURN
00000211: JUMPDEST
00000212: CALLVALUE
00000213: ISZERO
00000214: PUSH2 0x021c
00000217: JUMPI
00000218: PUSH1 0x00
0000021a: DUP1
0000021b: REVERT
0000021c: JUMPDEST
0000021d: PUSH2 0x0224
00000220: PUSH2 0x07f5
00000223: JUMP
00000224: JUMPDEST
00000225: PUSH1 0x40
00000227: MLOAD
00000228: PUSH1 0x01
0000022a: PUSH1 0xa0
0000022c: PUSH1 0x02
0000022e: EXP
0000022f: SUB
00000230: SWAP1
00000231: SWAP2
00000232: AND
00000233: DUP2
00000234: MSTORE
00000235: PUSH1 0x20
00000237: ADD
00000238: PUSH1 0x40
0000023a: MLOAD
0000023b: DUP1
0000023c: SWAP2
0000023d: SUB
0000023e: SWAP1
0000023f: RETURN
00000240: JUMPDEST
00000241: CALLVALUE
00000242: ISZERO
00000243: PUSH2 0x024b
00000246: JUMPI
00000247: PUSH1 0x00
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: PUSH2 0x01ff
0000024f: PUSH2 0x0804
00000252: JUMP
00000253: JUMPDEST
00000254: CALLVALUE
00000255: ISZERO
00000256: PUSH2 0x025e
00000259: JUMPI
0000025a: PUSH1 0x00
0000025c: DUP1
0000025d: REVERT
0000025e: JUMPDEST
0000025f: PUSH2 0x0224
00000262: PUSH1 0x04
00000264: CALLDATALOAD
00000265: PUSH2 0x080a
00000268: JUMP
00000269: JUMPDEST
0000026a: CALLVALUE
0000026b: ISZERO
0000026c: PUSH2 0x0274
0000026f: JUMPI
00000270: PUSH1 0x00
00000272: DUP1
00000273: REVERT
00000274: JUMPDEST
00000275: PUSH2 0x01ea
00000278: PUSH2 0x0832
0000027b: JUMP
0000027c: JUMPDEST
0000027d: CALLVALUE
0000027e: ISZERO
0000027f: PUSH2 0x0287
00000282: JUMPI
00000283: PUSH1 0x00
00000285: DUP1
00000286: REVERT
00000287: JUMPDEST
00000288: PUSH2 0x029b
0000028b: PUSH1 0x01
0000028d: PUSH1 0xa0
0000028f: PUSH1 0x02
00000291: EXP
00000292: SUB
00000293: PUSH1 0x04
00000295: CALLDATALOAD
00000296: AND
00000297: PUSH2 0x08f9
0000029a: JUMP
0000029b: JUMPDEST
0000029c: PUSH1 0x40
0000029e: MLOAD
0000029f: SWAP4
000002a0: DUP5
000002a1: MSTORE
000002a2: PUSH1 0x20
000002a4: DUP5
000002a5: ADD
000002a6: SWAP3
000002a7: SWAP1
000002a8: SWAP3
000002a9: MSTORE
000002aa: ISZERO
000002ab: ISZERO
000002ac: PUSH1 0x40
000002ae: DUP1
000002af: DUP5
000002b0: ADD
000002b1: SWAP2
000002b2: SWAP1
000002b3: SWAP2
000002b4: MSTORE
000002b5: SWAP1
000002b6: ISZERO
000002b7: ISZERO
000002b8: PUSH1 0x60
000002ba: DUP4
000002bb: ADD
000002bc: MSTORE
000002bd: PUSH1 0x80
000002bf: SWAP1
000002c0: SWAP2
000002c1: ADD
000002c2: SWAP1
000002c3: MLOAD
000002c4: DUP1
000002c5: SWAP2
000002c6: SUB
000002c7: SWAP1
000002c8: RETURN
000002c9: JUMPDEST
000002ca: CALLVALUE
000002cb: ISZERO
000002cc: PUSH2 0x02d4
000002cf: JUMPI
000002d0: PUSH1 0x00
000002d2: DUP1
000002d3: REVERT
000002d4: JUMPDEST
000002d5: PUSH2 0x01ea
000002d8: PUSH1 0x04
000002da: CALLDATALOAD
000002db: PUSH2 0x0926
000002de: JUMP
000002df: JUMPDEST
000002e0: CALLVALUE
000002e1: ISZERO
000002e2: PUSH2 0x02ea
000002e5: JUMPI
000002e6: PUSH1 0x00
000002e8: DUP1
000002e9: REVERT
000002ea: JUMPDEST
000002eb: PUSH2 0x01ea
000002ee: PUSH1 0x01
000002f0: PUSH1 0xa0
000002f2: PUSH1 0x02
000002f4: EXP
000002f5: SUB
000002f6: PUSH1 0x04
000002f8: CALLDATALOAD
000002f9: AND
000002fa: PUSH1 0x24
000002fc: CALLDATALOAD
000002fd: PUSH2 0x0a48
00000300: JUMP
00000301: JUMPDEST
00000302: CALLVALUE
00000303: ISZERO
00000304: PUSH2 0x030c
00000307: JUMPI
00000308: PUSH1 0x00
0000030a: DUP1
0000030b: REVERT
0000030c: JUMPDEST
0000030d: PUSH2 0x0224
00000310: PUSH1 0x04
00000312: CALLDATALOAD
00000313: PUSH2 0x0b0d
00000316: JUMP
00000317: JUMPDEST
00000318: CALLVALUE
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: PUSH2 0x01ea
00000326: PUSH1 0x01
00000328: PUSH1 0xa0
0000032a: PUSH1 0x02
0000032c: EXP
0000032d: SUB
0000032e: PUSH1 0x04
00000330: CALLDATALOAD
00000331: AND
00000332: PUSH1 0x24
00000334: CALLDATALOAD
00000335: ISZERO
00000336: ISZERO
00000337: PUSH2 0x0b1b
0000033a: JUMP
0000033b: JUMPDEST
0000033c: CALLVALUE
0000033d: ISZERO
0000033e: PUSH2 0x0346
00000341: JUMPI
00000342: PUSH1 0x00
00000344: DUP1
00000345: REVERT
00000346: JUMPDEST
00000347: PUSH2 0x034e
0000034a: PUSH2 0x0c79
0000034d: JUMP
0000034e: JUMPDEST
0000034f: PUSH1 0x40
00000351: MLOAD
00000352: DUP1
00000353: DUP1
00000354: PUSH1 0x20
00000356: ADD
00000357: DUP1
00000358: PUSH1 0x20
0000035a: ADD
0000035b: DUP1
0000035c: PUSH1 0x20
0000035e: ADD
0000035f: DUP1
00000360: PUSH1 0x20
00000362: ADD
00000363: DUP1
00000364: PUSH1 0x20
00000366: ADD
00000367: DUP7
00000368: DUP2
00000369: SUB
0000036a: DUP7
0000036b: MSTORE
0000036c: DUP12
0000036d: DUP2
0000036e: DUP2
0000036f: MLOAD
00000370: DUP2
00000371: MSTORE
00000372: PUSH1 0x20
00000374: ADD
00000375: SWAP2
00000376: POP
00000377: DUP1
00000378: MLOAD
00000379: SWAP1
0000037a: PUSH1 0x20
0000037c: ADD
0000037d: SWAP1
0000037e: PUSH1 0x20
00000380: MUL
00000381: DUP1
00000382: DUP4
00000383: DUP4
00000384: PUSH1 0x00
00000386: JUMPDEST
00000387: DUP4
00000388: DUP2
00000389: LT
0000038a: ISZERO
0000038b: PUSH2 0x039e
0000038e: JUMPI
0000038f: DUP1
00000390: DUP3
00000391: ADD
00000392: MLOAD
00000393: DUP4
00000394: DUP3
00000395: ADD
00000396: MSTORE
00000397: PUSH1 0x20
00000399: ADD
0000039a: PUSH2 0x0386
0000039d: JUMP
0000039e: JUMPDEST
0000039f: POP
000003a0: POP
000003a1: POP
000003a2: POP
000003a3: SWAP1
000003a4: POP
000003a5: ADD
000003a6: DUP7
000003a7: DUP2
000003a8: SUB
000003a9: DUP6
000003aa: MSTORE
000003ab: DUP11
000003ac: DUP2
000003ad: DUP2
000003ae: MLOAD
000003af: DUP2
000003b0: MSTORE
000003b1: PUSH1 0x20
000003b3: ADD
000003b4: SWAP2
000003b5: POP
000003b6: DUP1
000003b7: MLOAD
000003b8: SWAP1
000003b9: PUSH1 0x20
000003bb: ADD
000003bc: SWAP1
000003bd: PUSH1 0x20
000003bf: MUL
000003c0: DUP1
000003c1: DUP4
000003c2: DUP4
000003c3: PUSH1 0x00
000003c5: JUMPDEST
000003c6: DUP4
000003c7: DUP2
000003c8: LT
000003c9: ISZERO
000003ca: PUSH2 0x03dd
000003cd: JUMPI
000003ce: DUP1
000003cf: DUP3
000003d0: ADD
000003d1: MLOAD
000003d2: DUP4
000003d3: DUP3
000003d4: ADD
000003d5: MSTORE
000003d6: PUSH1 0x20
000003d8: ADD
000003d9: PUSH2 0x03c5
000003dc: JUMP
000003dd: JUMPDEST
000003de: POP
000003df: POP
000003e0: POP
000003e1: POP
000003e2: SWAP1
000003e3: POP
000003e4: ADD
000003e5: DUP7
000003e6: DUP2
000003e7: SUB
000003e8: DUP5
000003e9: MSTORE
000003ea: DUP10
000003eb: DUP2
000003ec: DUP2
000003ed: MLOAD
000003ee: DUP2
000003ef: MSTORE
000003f0: PUSH1 0x20
000003f2: ADD
000003f3: SWAP2
000003f4: POP
000003f5: DUP1
000003f6: MLOAD
000003f7: SWAP1
000003f8: PUSH1 0x20
000003fa: ADD
000003fb: SWAP1
000003fc: PUSH1 0x20
000003fe: MUL
000003ff: DUP1
00000400: DUP4
00000401: DUP4
00000402: PUSH1 0x00
00000404: JUMPDEST
00000405: DUP4
00000406: DUP2
00000407: LT
00000408: ISZERO
00000409: PUSH2 0x041c
0000040c: JUMPI
0000040d: DUP1
0000040e: DUP3
0000040f: ADD
00000410: MLOAD
00000411: DUP4
00000412: DUP3
00000413: ADD
00000414: MSTORE
00000415: PUSH1 0x20
00000417: ADD
00000418: PUSH2 0x0404
0000041b: JUMP
0000041c: JUMPDEST
0000041d: POP
0000041e: POP
0000041f: POP
00000420: POP
00000421: SWAP1
00000422: POP
00000423: ADD
00000424: DUP7
00000425: DUP2
00000426: SUB
00000427: DUP4
00000428: MSTORE
00000429: DUP9
0000042a: DUP2
0000042b: DUP2
0000042c: MLOAD
0000042d: DUP2
0000042e: MSTORE
0000042f: PUSH1 0x20
00000431: ADD
00000432: SWAP2
00000433: POP
00000434: DUP1
00000435: MLOAD
00000436: SWAP1
00000437: PUSH1 0x20
00000439: ADD
0000043a: SWAP1
0000043b: PUSH1 0x20
0000043d: MUL
0000043e: DUP1
0000043f: DUP4
00000440: DUP4
00000441: PUSH1 0x00
00000443: JUMPDEST
00000444: DUP4
00000445: DUP2
00000446: LT
00000447: ISZERO
00000448: PUSH2 0x045b
0000044b: JUMPI
0000044c: DUP1
0000044d: DUP3
0000044e: ADD
0000044f: MLOAD
00000450: DUP4
00000451: DUP3
00000452: ADD
00000453: MSTORE
00000454: PUSH1 0x20
00000456: ADD
00000457: PUSH2 0x0443
0000045a: JUMP
0000045b: JUMPDEST
0000045c: POP
0000045d: POP
0000045e: POP
0000045f: POP
00000460: SWAP1
00000461: POP
00000462: ADD
00000463: DUP7
00000464: DUP2
00000465: SUB
00000466: DUP3
00000467: MSTORE
00000468: DUP8
00000469: DUP2
0000046a: DUP2
0000046b: MLOAD
0000046c: DUP2
0000046d: MSTORE
0000046e: PUSH1 0x20
00000470: ADD
00000471: SWAP2
00000472: POP
00000473: DUP1
00000474: MLOAD
00000475: SWAP1
00000476: PUSH1 0x20
00000478: ADD
00000479: SWAP1
0000047a: PUSH1 0x20
0000047c: MUL
0000047d: DUP1
0000047e: DUP4
0000047f: DUP4
00000480: PUSH1 0x00
00000482: JUMPDEST
00000483: DUP4
00000484: DUP2
00000485: LT
00000486: ISZERO
00000487: PUSH2 0x049a
0000048a: JUMPI
0000048b: DUP1
0000048c: DUP3
0000048d: ADD
0000048e: MLOAD
0000048f: DUP4
00000490: DUP3
00000491: ADD
00000492: MSTORE
00000493: PUSH1 0x20
00000495: ADD
00000496: PUSH2 0x0482
00000499: JUMP
0000049a: JUMPDEST
0000049b: POP
0000049c: POP
0000049d: POP
0000049e: POP
0000049f: SWAP1
000004a0: POP
000004a1: ADD
000004a2: SWAP11
000004a3: POP
000004a4: POP
000004a5: POP
000004a6: POP
000004a7: POP
000004a8: POP
000004a9: POP
000004aa: POP
000004ab: POP
000004ac: POP
000004ad: POP
000004ae: PUSH1 0x40
000004b0: MLOAD
000004b1: DUP1
000004b2: SWAP2
000004b3: SUB
000004b4: SWAP1
000004b5: RETURN
000004b6: JUMPDEST
000004b7: CALLVALUE
000004b8: ISZERO
000004b9: PUSH2 0x04c1
000004bc: JUMPI
000004bd: PUSH1 0x00
000004bf: DUP1
000004c0: REVERT
000004c1: JUMPDEST
000004c2: PUSH2 0x01ff
000004c5: PUSH2 0x0ea1
000004c8: JUMP
000004c9: JUMPDEST
000004ca: CALLVALUE
000004cb: ISZERO
000004cc: PUSH2 0x04d4
000004cf: JUMPI
000004d0: PUSH1 0x00
000004d2: DUP1
000004d3: REVERT
000004d4: JUMPDEST
000004d5: PUSH2 0x01ea
000004d8: PUSH2 0x0eb1
000004db: JUMP
000004dc: JUMPDEST
000004dd: CALLVALUE
000004de: ISZERO
000004df: PUSH2 0x04e7
000004e2: JUMPI
000004e3: PUSH1 0x00
000004e5: DUP1
000004e6: REVERT
000004e7: JUMPDEST
000004e8: PUSH2 0x01ff
000004eb: PUSH2 0x0fd2
000004ee: JUMP
000004ef: JUMPDEST
000004f0: CALLVALUE
000004f1: ISZERO
000004f2: PUSH2 0x04fa
000004f5: JUMPI
000004f6: PUSH1 0x00
000004f8: DUP1
000004f9: REVERT
000004fa: JUMPDEST
000004fb: PUSH2 0x0502
000004fe: PUSH2 0x0fd8
00000501: JUMP
00000502: JUMPDEST
00000503: PUSH1 0x40
00000505: MLOAD
00000506: DUP1
00000507: DUP5
00000508: DUP2
00000509: MSTORE
0000050a: PUSH1 0x20
0000050c: ADD
0000050d: DUP4
0000050e: DUP2
0000050f: MSTORE
00000510: PUSH1 0x20
00000512: ADD
00000513: DUP3
00000514: DUP2
00000515: MSTORE
00000516: PUSH1 0x20
00000518: ADD
00000519: SWAP4
0000051a: POP
0000051b: POP
0000051c: POP
0000051d: POP
0000051e: PUSH1 0x40
00000520: MLOAD
00000521: DUP1
00000522: SWAP2
00000523: SUB
00000524: SWAP1
00000525: RETURN
00000526: JUMPDEST
00000527: CALLVALUE
00000528: ISZERO
00000529: PUSH2 0x0531
0000052c: JUMPI
0000052d: PUSH1 0x00
0000052f: DUP1
00000530: REVERT
00000531: JUMPDEST
00000532: PUSH2 0x0224
00000535: PUSH2 0x0fe2
00000538: JUMP
00000539: JUMPDEST
0000053a: CALLVALUE
0000053b: ISZERO
0000053c: PUSH2 0x0544
0000053f: JUMPI
00000540: PUSH1 0x00
00000542: DUP1
00000543: REVERT
00000544: JUMPDEST
00000545: PUSH2 0x01ff
00000548: PUSH2 0x0ff1
0000054b: JUMP
0000054c: JUMPDEST
0000054d: CALLVALUE
0000054e: ISZERO
0000054f: PUSH2 0x0557
00000552: JUMPI
00000553: PUSH1 0x00
00000555: DUP1
00000556: REVERT
00000557: JUMPDEST
00000558: PUSH2 0x055f
0000055b: PUSH2 0x0ff7
0000055e: JUMP
0000055f: JUMPDEST
00000560: PUSH1 0x40
00000562: MLOAD
00000563: SWAP1
00000564: ISZERO
00000565: ISZERO
00000566: DUP2
00000567: MSTORE
00000568: PUSH1 0x20
0000056a: ADD
0000056b: PUSH1 0x40
0000056d: MLOAD
0000056e: DUP1
0000056f: SWAP2
00000570: SUB
00000571: SWAP1
00000572: RETURN
00000573: JUMPDEST
00000574: CALLVALUE
00000575: ISZERO
00000576: PUSH2 0x057e
00000579: JUMPI
0000057a: PUSH1 0x00
0000057c: DUP1
0000057d: REVERT
0000057e: JUMPDEST
0000057f: PUSH2 0x0224
00000582: PUSH2 0x1000
00000585: JUMP
00000586: JUMPDEST
00000587: CALLVALUE
00000588: ISZERO
00000589: PUSH2 0x0591
0000058c: JUMPI
0000058d: PUSH1 0x00
0000058f: DUP1
00000590: REVERT
00000591: JUMPDEST
00000592: PUSH2 0x01ea
00000595: PUSH2 0x100f
00000598: JUMP
00000599: JUMPDEST
0000059a: CALLVALUE
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: PUSH2 0x055f
000005a8: PUSH2 0x101a
000005ab: JUMP
000005ac: JUMPDEST
000005ad: CALLVALUE
000005ae: ISZERO
000005af: PUSH2 0x05b7
000005b2: JUMPI
000005b3: PUSH1 0x00
000005b5: DUP1
000005b6: REVERT
000005b7: JUMPDEST
000005b8: PUSH2 0x01ff
000005bb: PUSH2 0x1023
000005be: JUMP
000005bf: JUMPDEST
000005c0: PUSH2 0x01ea
000005c3: PUSH1 0x01
000005c5: PUSH1 0xa0
000005c7: PUSH1 0x02
000005c9: EXP
000005ca: SUB
000005cb: PUSH1 0x04
000005cd: CALLDATALOAD
000005ce: AND
000005cf: PUSH2 0x1029
000005d2: JUMP
000005d3: JUMPDEST
000005d4: CALLVALUE
000005d5: ISZERO
000005d6: PUSH2 0x05de
000005d9: JUMPI
000005da: PUSH1 0x00
000005dc: DUP1
000005dd: REVERT
000005de: JUMPDEST
000005df: PUSH2 0x01ff
000005e2: PUSH2 0x1127
000005e5: JUMP
000005e6: JUMPDEST
000005e7: CALLVALUE
000005e8: ISZERO
000005e9: PUSH2 0x05f1
000005ec: JUMPI
000005ed: PUSH1 0x00
000005ef: DUP1
000005f0: REVERT
000005f1: JUMPDEST
000005f2: PUSH2 0x01ea
000005f5: PUSH2 0x112d
000005f8: JUMP
000005f9: JUMPDEST
000005fa: CALLVALUE
000005fb: ISZERO
000005fc: PUSH2 0x0604
000005ff: JUMPI
00000600: PUSH1 0x00
00000602: DUP1
00000603: REVERT
00000604: JUMPDEST
00000605: PUSH2 0x01ff
00000608: PUSH2 0x116b
0000060b: JUMP
0000060c: JUMPDEST
0000060d: CALLVALUE
0000060e: ISZERO
0000060f: PUSH2 0x0617
00000612: JUMPI
00000613: PUSH1 0x00
00000615: DUP1
00000616: REVERT
00000617: JUMPDEST
00000618: PUSH2 0x01ea
0000061b: PUSH1 0x04
0000061d: DUP1
0000061e: CALLDATALOAD
0000061f: PUSH1 0x01
00000621: PUSH1 0xa0
00000623: PUSH1 0x02
00000625: EXP
00000626: SUB
00000627: AND
00000628: SWAP1
00000629: PUSH1 0x24
0000062b: DUP1
0000062c: CALLDATALOAD
0000062d: SWAP2
0000062e: PUSH1 0x44
00000630: CALLDATALOAD
00000631: SWAP2
00000632: DUP3
00000633: ADD
00000634: SWAP2
00000635: ADD
00000636: CALLDATALOAD
00000637: PUSH2 0x1171
0000063a: JUMP
0000063b: JUMPDEST
0000063c: CALLVALUE
0000063d: ISZERO
0000063e: PUSH2 0x0646
00000641: JUMPI
00000642: PUSH1 0x00
00000644: DUP1
00000645: REVERT
00000646: JUMPDEST
00000647: PUSH2 0x064e
0000064a: PUSH2 0x118f
0000064d: JUMP
0000064e: JUMPDEST
0000064f: PUSH1 0x40
00000651: MLOAD
00000652: DUP1
00000653: DUP3
00000654: PUSH1 0x03
00000656: DUP2
00000657: GT
00000658: ISZERO
00000659: PUSH2 0x065e
0000065c: JUMPI
0000065d: INVALID
0000065e: JUMPDEST
0000065f: PUSH1 0xff
00000661: AND
00000662: DUP2
00000663: MSTORE
00000664: PUSH1 0x20
00000666: ADD
00000667: SWAP2
00000668: POP
00000669: POP
0000066a: PUSH1 0x40
0000066c: MLOAD
0000066d: DUP1
0000066e: SWAP2
0000066f: SUB
00000670: SWAP1
00000671: RETURN
00000672: JUMPDEST
00000673: CALLVALUE
00000674: ISZERO
00000675: PUSH2 0x067d
00000678: JUMPI
00000679: PUSH1 0x00
0000067b: DUP1
0000067c: REVERT
0000067d: JUMPDEST
0000067e: PUSH2 0x01ea
00000681: PUSH2 0x1198
00000684: JUMP
00000685: JUMPDEST
00000686: PUSH2 0x01ea
00000689: PUSH2 0x126e
0000068c: JUMP
0000068d: JUMPDEST
0000068e: CALLVALUE
0000068f: ISZERO
00000690: PUSH2 0x0698
00000693: JUMPI
00000694: PUSH1 0x00
00000696: DUP1
00000697: REVERT
00000698: JUMPDEST
00000699: PUSH2 0x0224
0000069c: PUSH2 0x13ce
0000069f: JUMP
000006a0: JUMPDEST
000006a1: CALLVALUE
000006a2: ISZERO
000006a3: PUSH2 0x06ab
000006a6: JUMPI
000006a7: PUSH1 0x00
000006a9: DUP1
000006aa: REVERT
000006ab: JUMPDEST
000006ac: PUSH2 0x01ea
000006af: PUSH1 0x04
000006b1: DUP1
000006b2: CALLDATALOAD
000006b3: PUSH1 0x24
000006b5: DUP2
000006b6: ADD
000006b7: SWAP2
000006b8: ADD
000006b9: CALLDATALOAD
000006ba: PUSH2 0x13dd
000006bd: JUMP
000006be: JUMPDEST
000006bf: CALLVALUE
000006c0: ISZERO
000006c1: PUSH2 0x06c9
000006c4: JUMPI
000006c5: PUSH1 0x00
000006c7: DUP1
000006c8: REVERT
000006c9: JUMPDEST
000006ca: PUSH2 0x01ea
000006cd: PUSH1 0x04
000006cf: DUP1
000006d0: CALLDATALOAD
000006d1: SWAP1
000006d2: PUSH1 0x24
000006d4: DUP1
000006d5: CALLDATALOAD
000006d6: SWAP2
000006d7: PUSH1 0x44
000006d9: CALLDATALOAD
000006da: SWAP2
000006db: PUSH1 0x64
000006dd: CALLDATALOAD
000006de: SWAP1
000006df: DUP2
000006e0: ADD
000006e1: SWAP2
000006e2: ADD
000006e3: CALLDATALOAD
000006e4: PUSH2 0x14f2
000006e7: JUMP
000006e8: JUMPDEST
000006e9: CALLVALUE
000006ea: ISZERO
000006eb: PUSH2 0x06f3
000006ee: JUMPI
000006ef: PUSH1 0x00
000006f1: DUP1
000006f2: REVERT
000006f3: JUMPDEST
000006f4: PUSH2 0x01ea
000006f7: PUSH1 0x24
000006f9: PUSH1 0x04
000006fb: DUP1
000006fc: CALLDATALOAD
000006fd: DUP3
000006fe: DUP2
000006ff: ADD
00000700: SWAP3
00000701: SWAP1
00000702: DUP3
00000703: ADD
00000704: CALLDATALOAD
00000705: SWAP2
00000706: DUP2
00000707: CALLDATALOAD
00000708: SWAP2
00000709: DUP3
0000070a: ADD
0000070b: SWAP2
0000070c: ADD
0000070d: CALLDATALOAD
0000070e: PUSH2 0x1760
00000711: JUMP
00000712: JUMPDEST
00000713: PUSH2 0x071a
00000716: PUSH2 0x1198
00000719: JUMP
0000071a: JUMPDEST
0000071b: PUSH32 0xedf65eaee3dbef3a7958f7552630d21d9acdcf3f7ba543fba28952a9109ba735
0000073c: PUSH1 0x40
0000073e: MLOAD
0000073f: PUSH1 0x40
00000741: MLOAD
00000742: DUP1
00000743: SWAP2
00000744: SUB
00000745: SWAP1
00000746: LOG1
00000747: PUSH1 0x12
00000749: SLOAD
0000074a: PUSH1 0x01
0000074c: PUSH1 0xa0
0000074e: PUSH1 0x02
00000750: EXP
00000751: SUB
00000752: AND
00000753: PUSH4 0xc527ee1f
00000758: PUSH1 0x01
0000075a: PUSH1 0x40
0000075c: MLOAD
0000075d: DUP3
0000075e: PUSH4 0xffffffff
00000763: AND
00000764: PUSH1 0xe0
00000766: PUSH1 0x02
00000768: EXP
00000769: MUL
0000076a: DUP2
0000076b: MSTORE
0000076c: PUSH1 0x04
0000076e: ADD
0000076f: DUP1
00000770: DUP1
00000771: PUSH1 0x20
00000773: ADD
00000774: DUP3
00000775: DUP2
00000776: SUB
00000777: DUP3
00000778: MSTORE
00000779: DUP4
0000077a: DUP2
0000077b: DUP2
0000077c: SLOAD
0000077d: DUP2
0000077e: MSTORE
0000077f: PUSH1 0x20
00000781: ADD
00000782: SWAP2
00000783: POP
00000784: DUP1
00000785: SLOAD
00000786: DUP1
00000787: ISZERO
00000788: PUSH2 0x07ba
0000078b: JUMPI
0000078c: PUSH1 0x20
0000078e: MUL
0000078f: DUP3
00000790: ADD
00000791: SWAP2
00000792: SWAP1
00000793: PUSH1 0x00
00000795: MSTORE
00000796: PUSH1 0x20
00000798: PUSH1 0x00
0000079a: KECCAK256
0000079b: SWAP1
0000079c: JUMPDEST
0000079d: DUP2
0000079e: SLOAD
0000079f: PUSH1 0x01
000007a1: PUSH1 0xa0
000007a3: PUSH1 0x02
000007a5: EXP
000007a6: SUB
000007a7: AND
000007a8: DUP2
000007a9: MSTORE
000007aa: PUSH1 0x01
000007ac: SWAP1
000007ad: SWAP2
000007ae: ADD
000007af: SWAP1
000007b0: PUSH1 0x20
000007b2: ADD
000007b3: DUP1
000007b4: DUP4
000007b5: GT
000007b6: PUSH2 0x079c
000007b9: JUMPI
000007ba: JUMPDEST
000007bb: POP
000007bc: POP
000007bd: SWAP3
000007be: POP
000007bf: POP
000007c0: POP
000007c1: PUSH1 0x00
000007c3: PUSH1 0x40
000007c5: MLOAD
000007c6: DUP1
000007c7: DUP4
000007c8: SUB
000007c9: DUP2
000007ca: PUSH1 0x00
000007cc: DUP8
000007cd: DUP1
000007ce: EXTCODESIZE
000007cf: ISZERO
000007d0: ISZERO
000007d1: PUSH2 0x07d9
000007d4: JUMPI
000007d5: PUSH1 0x00
000007d7: DUP1
000007d8: REVERT
000007d9: JUMPDEST
000007da: PUSH2 0x02c6
000007dd: GAS
000007de: SUB
000007df: CALL
000007e0: ISZERO
000007e1: ISZERO
000007e2: PUSH2 0x07ea
000007e5: JUMPI
000007e6: PUSH1 0x00
000007e8: DUP1
000007e9: REVERT
000007ea: JUMPDEST
000007eb: POP
000007ec: POP
000007ed: POP
000007ee: JUMP
000007ef: JUMPDEST
000007f0: PUSH1 0x04
000007f2: SLOAD
000007f3: DUP2
000007f4: JUMP
000007f5: JUMPDEST
000007f6: PUSH1 0x0a
000007f8: SLOAD
000007f9: PUSH1 0x01
000007fb: PUSH1 0xa0
000007fd: PUSH1 0x02
000007ff: EXP
00000800: SUB
00000801: AND
00000802: DUP2
00000803: JUMP
00000804: JUMPDEST
00000805: PUSH1 0x13
00000807: SLOAD
00000808: DUP2
00000809: JUMP
0000080a: JUMPDEST
0000080b: PUSH1 0x01
0000080d: DUP1
0000080e: SLOAD
0000080f: DUP3
00000810: SWAP1
00000811: DUP2
00000812: LT
00000813: PUSH2 0x0818
00000816: JUMPI
00000817: INVALID
00000818: JUMPDEST
00000819: PUSH1 0x00
0000081b: SWAP2
0000081c: DUP3
0000081d: MSTORE
0000081e: PUSH1 0x20
00000820: SWAP1
00000821: SWAP2
00000822: KECCAK256
00000823: ADD
00000824: SLOAD
00000825: PUSH1 0x01
00000827: PUSH1 0xa0
00000829: PUSH1 0x02
0000082b: EXP
0000082c: SUB
0000082d: AND
0000082e: SWAP1
0000082f: POP
00000830: DUP2
00000831: JUMP
00000832: JUMPDEST
00000833: PUSH1 0x00
00000835: PUSH2 0x083f
00000838: PUSH1 0x01
0000083a: CALLER
0000083b: PUSH2 0x192d
0000083e: JUMP
0000083f: JUMPDEST
00000840: ISZERO
00000841: ISZERO
00000842: PUSH2 0x084a
00000845: JUMPI
00000846: PUSH1 0x00
00000848: DUP1
00000849: REVERT
0000084a: JUMPDEST
0000084b: PUSH1 0x00
0000084d: DUP1
0000084e: PUSH1 0x00
00000850: SLOAD
00000851: PUSH1 0xff
00000853: AND
00000854: PUSH1 0x03
00000856: DUP2
00000857: GT
00000858: ISZERO
00000859: PUSH2 0x085e
0000085c: JUMPI
0000085d: INVALID
0000085e: JUMPDEST
0000085f: EQ
00000860: PUSH2 0x0868
00000863: JUMPI
00000864: PUSH1 0x00
00000866: DUP1
00000867: REVERT
00000868: JUMPDEST
00000869: PUSH1 0x06
0000086b: SLOAD
0000086c: PUSH1 0xff
0000086e: AND
0000086f: ISZERO
00000870: ISZERO
00000871: PUSH2 0x0879
00000874: JUMPI
00000875: PUSH1 0x00
00000877: DUP1
00000878: REVERT
00000879: JUMPDEST
0000087a: PUSH1 0x06
0000087c: DUP1
0000087d: SLOAD
0000087e: PUSH1 0xff
00000880: NOT
00000881: AND
00000882: SWAP1
00000883: SSTORE
00000884: PUSH32 0x212c6e1d3045c9581ef0adf2504dbb1d137f52f38162ccf77a16c69d14eba5c3
000008a5: PUSH1 0x40
000008a7: MLOAD
000008a8: PUSH1 0x40
000008aa: MLOAD
000008ab: DUP1
000008ac: SWAP2
000008ad: SUB
000008ae: SWAP1
000008af: LOG1
000008b0: PUSH1 0x00
000008b2: SWAP2
000008b3: POP
000008b4: JUMPDEST
000008b5: PUSH1 0x05
000008b7: SLOAD
000008b8: DUP3
000008b9: LT
000008ba: ISZERO
000008bb: PUSH2 0x08f5
000008be: JUMPI
000008bf: PUSH2 0x08ea
000008c2: PUSH1 0x05
000008c4: DUP4
000008c5: DUP2
000008c6: SLOAD
000008c7: DUP2
000008c8: LT
000008c9: ISZERO
000008ca: ISZERO
000008cb: PUSH2 0x08d0
000008ce: JUMPI
000008cf: INVALID
000008d0: JUMPDEST
000008d1: PUSH1 0x00
000008d3: SWAP2
000008d4: DUP3
000008d5: MSTORE
000008d6: PUSH1 0x20
000008d8: SWAP1
000008d9: SWAP2
000008da: KECCAK256
000008db: ADD
000008dc: SLOAD
000008dd: PUSH1 0x01
000008df: PUSH1 0xa0
000008e1: PUSH1 0x02
000008e3: EXP
000008e4: SUB
000008e5: AND
000008e6: PUSH2 0x198a
000008e9: JUMP
000008ea: JUMPDEST
000008eb: PUSH1 0x01
000008ed: SWAP1
000008ee: SWAP2
000008ef: ADD
000008f0: SWAP1
000008f1: PUSH2 0x08b4
000008f4: JUMP
000008f5: JUMPDEST
000008f6: POP
000008f7: POP
000008f8: JUMP
000008f9: JUMPDEST
000008fa: PUSH1 0x07
000008fc: PUSH1 0x20
000008fe: MSTORE
000008ff: PUSH1 0x00
00000901: SWAP1
00000902: DUP2
00000903: MSTORE
00000904: PUSH1 0x40
00000906: SWAP1
00000907: KECCAK256
00000908: DUP1
00000909: SLOAD
0000090a: PUSH1 0x01
0000090c: DUP3
0000090d: ADD
0000090e: SLOAD
0000090f: PUSH1 0x02
00000911: SWAP1
00000912: SWAP3
00000913: ADD
00000914: SLOAD
00000915: SWAP1
00000916: SWAP2
00000917: SWAP1
00000918: PUSH1 0xff
0000091a: DUP1
0000091b: DUP3
0000091c: AND
0000091d: SWAP2
0000091e: PUSH2 0x0100
00000921: SWAP1
00000922: DIV
00000923: AND
00000924: DUP5
00000925: JUMP
00000926: JUMPDEST
00000927: PUSH1 0x00
00000929: DUP1
0000092a: DUP1
0000092b: DUP1
0000092c: DUP1
0000092d: PUSH1 0x00
0000092f: SLOAD
00000930: PUSH1 0xff
00000932: AND
00000933: PUSH1 0x03
00000935: DUP2
00000936: GT
00000937: ISZERO
00000938: PUSH2 0x093d
0000093b: JUMPI
0000093c: INVALID
0000093d: JUMPDEST
0000093e: EQ
0000093f: PUSH2 0x0947
00000942: JUMPI
00000943: PUSH1 0x00
00000945: DUP1
00000946: REVERT
00000947: JUMPDEST
00000948: PUSH1 0x01
0000094a: PUSH1 0xa0
0000094c: PUSH1 0x02
0000094e: EXP
0000094f: SUB
00000950: CALLER
00000951: AND
00000952: PUSH1 0x00
00000954: SWAP1
00000955: DUP2
00000956: MSTORE
00000957: PUSH1 0x07
00000959: PUSH1 0x20
0000095b: MSTORE
0000095c: PUSH1 0x40
0000095e: SWAP1
0000095f: KECCAK256
00000960: DUP1
00000961: SLOAD
00000962: PUSH1 0x01
00000964: DUP3
00000965: ADD
00000966: SLOAD
00000967: SWAP2
00000968: SWAP6
00000969: POP
0000096a: ADD
0000096b: SWAP3
0000096c: POP
0000096d: DUP5
0000096e: DUP4
0000096f: LT
00000970: DUP1
00000971: ISZERO
00000972: SWAP1
00000973: PUSH2 0x0980
00000976: JUMPI
00000977: POP
00000978: DUP4
00000979: PUSH1 0x01
0000097b: ADD
0000097c: SLOAD
0000097d: DUP6
0000097e: LT
0000097f: ISZERO
00000980: JUMPDEST
00000981: ISZERO
00000982: ISZERO
00000983: PUSH2 0x098b
00000986: JUMPI
00000987: PUSH1 0x00
00000989: DUP1
0000098a: REVERT
0000098b: JUMPDEST
0000098c: PUSH1 0x01
0000098e: DUP5
0000098f: ADD
00000990: DUP1
00000991: SLOAD
00000992: PUSH1 0x00
00000994: SWAP2
00000995: DUP3
00000996: SWAP1
00000997: SSTORE
00000998: DUP7
00000999: SUB
0000099a: SWAP3
0000099b: POP
0000099c: DUP3
0000099d: GT
0000099e: ISZERO
0000099f: PUSH2 0x09c2
000009a2: JUMPI
000009a3: DUP4
000009a4: SLOAD
000009a5: DUP3
000009a6: SWAP1
000009a7: SUB
000009a8: DUP5
000009a9: SSTORE
000009aa: PUSH1 0x08
000009ac: DUP1
000009ad: SLOAD
000009ae: DUP4
000009af: SWAP1
000009b0: SUB
000009b1: SWAP1
000009b2: SSTORE
000009b3: PUSH1 0x02
000009b5: SLOAD
000009b6: DUP5
000009b7: SLOAD
000009b8: LT
000009b9: ISZERO
000009ba: PUSH2 0x09c2
000009bd: JUMPI
000009be: PUSH1 0x00
000009c0: DUP1
000009c1: REVERT
000009c2: JUMPDEST
000009c3: CALLER
000009c4: PUSH1 0x01
000009c6: PUSH1 0xa0
000009c8: PUSH1 0x02
000009ca: EXP
000009cb: SUB
000009cc: AND
000009cd: PUSH1 0x00
000009cf: DUP1
000009d0: MLOAD
000009d1: PUSH1 0x20
000009d3: PUSH2 0x20f8
000009d6: DUP4
000009d7: CODECOPY
000009d8: DUP2
000009d9: MLOAD
000009da: SWAP2
000009db: MSTORE
000009dc: DUP7
000009dd: DUP7
000009de: PUSH1 0x01
000009e0: ADD
000009e1: SLOAD
000009e2: DUP8
000009e3: PUSH1 0x00
000009e5: ADD
000009e6: SLOAD
000009e7: PUSH1 0x08
000009e9: SLOAD
000009ea: PUSH1 0x40
000009ec: MLOAD
000009ed: DUP1
000009ee: DUP6
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x20
000009f3: ADD
000009f4: DUP5
000009f5: DUP2
000009f6: MSTORE
000009f7: PUSH1 0x20
000009f9: ADD
000009fa: DUP4
000009fb: DUP2
000009fc: MSTORE
000009fd: PUSH1 0x20
000009ff: ADD
00000a00: DUP3
00000a01: DUP2
00000a02: MSTORE
00000a03: PUSH1 0x20
00000a05: ADD
00000a06: SWAP5
00000a07: POP
00000a08: POP
00000a09: POP
00000a0a: POP
00000a0b: POP
00000a0c: PUSH1 0x40
00000a0e: MLOAD
00000a0f: DUP1
00000a10: SWAP2
00000a11: SUB
00000a12: SWAP1
00000a13: LOG2
00000a14: CALLER
00000a15: PUSH1 0x01
00000a17: PUSH1 0xa0
00000a19: PUSH1 0x02
00000a1b: EXP
00000a1c: SUB
00000a1d: AND
00000a1e: DUP6
00000a1f: PUSH1 0x40
00000a21: MLOAD
00000a22: PUSH1 0x00
00000a24: PUSH1 0x40
00000a26: MLOAD
00000a27: DUP1
00000a28: DUP4
00000a29: SUB
00000a2a: DUP2
00000a2b: DUP6
00000a2c: DUP8
00000a2d: PUSH2 0x8796
00000a30: GAS
00000a31: SUB
00000a32: CALL
00000a33: SWAP3
00000a34: POP
00000a35: POP
00000a36: POP
00000a37: ISZERO
00000a38: ISZERO
00000a39: PUSH2 0x0a41
00000a3c: JUMPI
00000a3d: PUSH1 0x00
00000a3f: DUP1
00000a40: REVERT
00000a41: JUMPDEST
00000a42: POP
00000a43: POP
00000a44: POP
00000a45: POP
00000a46: POP
00000a47: JUMP
00000a48: JUMPDEST
00000a49: PUSH2 0x0a53
00000a4c: PUSH1 0x01
00000a4e: CALLER
00000a4f: PUSH2 0x192d
00000a52: JUMP
00000a53: JUMPDEST
00000a54: ISZERO
00000a55: ISZERO
00000a56: PUSH2 0x0a5e
00000a59: JUMPI
00000a5a: PUSH1 0x00
00000a5c: DUP1
00000a5d: REVERT
00000a5e: JUMPDEST
00000a5f: PUSH1 0x00
00000a61: DUP1
00000a62: PUSH1 0x00
00000a64: SLOAD
00000a65: PUSH1 0xff
00000a67: AND
00000a68: PUSH1 0x03
00000a6a: DUP2
00000a6b: GT
00000a6c: ISZERO
00000a6d: PUSH2 0x0a72
00000a70: JUMPI
00000a71: INVALID
00000a72: JUMPDEST
00000a73: EQ
00000a74: PUSH2 0x0a7c
00000a77: JUMPI
00000a78: PUSH1 0x00
00000a7a: DUP1
00000a7b: REVERT
00000a7c: JUMPDEST
00000a7d: PUSH1 0x08
00000a7f: SLOAD
00000a80: DUP3
00000a81: SWAP1
00000a82: LT
00000a83: ISZERO
00000a84: PUSH2 0x0a8c
00000a87: JUMPI
00000a88: PUSH1 0x00
00000a8a: DUP1
00000a8b: REVERT
00000a8c: JUMPDEST
00000a8d: PUSH2 0x0a96
00000a90: PUSH1 0x02
00000a92: PUSH2 0x1a70
00000a95: JUMP
00000a96: JUMPDEST
00000a97: PUSH1 0x08
00000a99: SLOAD
00000a9a: PUSH1 0x01
00000a9c: PUSH1 0xa0
00000a9e: PUSH1 0x02
00000aa0: EXP
00000aa1: SUB
00000aa2: ADDRESS
00000aa3: AND
00000aa4: BALANCE
00000aa5: LT
00000aa6: ISZERO
00000aa7: PUSH2 0x0aac
00000aaa: JUMPI
00000aab: INVALID
00000aac: JUMPDEST
00000aad: PUSH1 0x00
00000aaf: PUSH1 0x14
00000ab1: SLOAD
00000ab2: GT
00000ab3: ISZERO
00000ab4: PUSH2 0x0acd
00000ab7: JUMPI
00000ab8: PUSH1 0x14
00000aba: SLOAD
00000abb: PUSH1 0x08
00000abd: SLOAD
00000abe: PUSH8 0x0de0b6b3a7640000
00000ac7: SWAP2
00000ac8: MUL
00000ac9: DIV
00000aca: PUSH1 0x13
00000acc: SSTORE
00000acd: JUMPDEST
00000ace: PUSH1 0x08
00000ad0: SLOAD
00000ad1: PUSH1 0x01
00000ad3: PUSH1 0xa0
00000ad5: PUSH1 0x02
00000ad7: EXP
00000ad8: SUB
00000ad9: ADDRESS
00000ada: DUP2
00000adb: AND
00000adc: BALANCE
00000add: DUP3
00000ade: SWAP1
00000adf: SUB
00000ae0: PUSH1 0x09
00000ae2: SSTORE
00000ae3: PUSH1 0x13
00000ae5: SLOAD
00000ae6: SWAP1
00000ae7: DUP6
00000ae8: AND
00000ae9: SWAP2
00000aea: SUB
00000aeb: PUSH1 0x40
00000aed: MLOAD
00000aee: PUSH1 0x00
00000af0: PUSH1 0x40
00000af2: MLOAD
00000af3: DUP1
00000af4: DUP4
00000af5: SUB
00000af6: DUP2
00000af7: DUP6
00000af8: DUP8
00000af9: PUSH2 0x8796
00000afc: GAS
00000afd: SUB
00000afe: CALL
00000aff: SWAP3
00000b00: POP
00000b01: POP
00000b02: POP
00000b03: ISZERO
00000b04: ISZERO
00000b05: PUSH2 0x07ea
00000b08: JUMPI
00000b09: PUSH1 0x00
00000b0b: DUP1
00000b0c: REVERT
00000b0d: JUMPDEST
00000b0e: PUSH1 0x05
00000b10: DUP1
00000b11: SLOAD
00000b12: DUP3
00000b13: SWAP1
00000b14: DUP2
00000b15: LT
00000b16: PUSH2 0x0818
00000b19: JUMPI
00000b1a: INVALID
00000b1b: JUMPDEST
00000b1c: PUSH2 0x0b26
00000b1f: PUSH1 0x01
00000b21: CALLER
00000b22: PUSH2 0x192d
00000b25: JUMP
00000b26: JUMPDEST
00000b27: ISZERO
00000b28: ISZERO
00000b29: PUSH2 0x0b31
00000b2c: JUMPI
00000b2d: PUSH1 0x00
00000b2f: DUP1
00000b30: REVERT
00000b31: JUMPDEST
00000b32: PUSH1 0x02
00000b34: PUSH1 0x00
00000b36: SLOAD
00000b37: PUSH1 0xff
00000b39: AND
00000b3a: PUSH1 0x03
00000b3c: DUP2
00000b3d: GT
00000b3e: ISZERO
00000b3f: PUSH2 0x0b44
00000b42: JUMPI
00000b43: INVALID
00000b44: JUMPDEST
00000b45: EQ
00000b46: DUP1
00000b47: PUSH2 0x0b5f
00000b4a: JUMPI
00000b4b: POP
00000b4c: PUSH1 0x00
00000b4e: DUP1
00000b4f: SLOAD
00000b50: PUSH1 0xff
00000b52: AND
00000b53: PUSH1 0x03
00000b55: DUP2
00000b56: GT
00000b57: ISZERO
00000b58: PUSH2 0x0b5d
00000b5b: JUMPI
00000b5c: INVALID
00000b5d: JUMPDEST
00000b5e: EQ
00000b5f: JUMPDEST
00000b60: ISZERO
00000b61: ISZERO
00000b62: PUSH2 0x0b6a
00000b65: JUMPI
00000b66: PUSH1 0x00
00000b68: DUP1
00000b69: REVERT
00000b6a: JUMPDEST
00000b6b: PUSH1 0x10
00000b6d: SLOAD
00000b6e: ISZERO
00000b6f: PUSH2 0x0b77
00000b72: JUMPI
00000b73: PUSH1 0x00
00000b75: DUP1
00000b76: REVERT
00000b77: JUMPDEST
00000b78: PUSH1 0x0e
00000b7a: DUP1
00000b7b: SLOAD
00000b7c: PUSH1 0xff
00000b7e: NOT
00000b7f: AND
00000b80: DUP3
00000b81: ISZERO
00000b82: ISZERO
00000b83: OR
00000b84: SWAP1
00000b85: DUP2
00000b86: SWAP1
00000b87: SSTORE
00000b88: PUSH1 0x11
00000b8a: DUP1
00000b8b: SLOAD
00000b8c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba1: NOT
00000ba2: AND
00000ba3: PUSH1 0x01
00000ba5: PUSH1 0xa0
00000ba7: PUSH1 0x02
00000ba9: EXP
00000baa: SUB
00000bab: DUP6
00000bac: DUP2
00000bad: AND
00000bae: SWAP2
00000baf: SWAP1
00000bb0: SWAP2
00000bb1: OR
00000bb2: SWAP2
00000bb3: DUP3
00000bb4: SWAP1
00000bb5: SSTORE
00000bb6: PUSH32 0xcaae8d6f188b3e0acfaf09ba381f57b6bcaeecf85794ee0afd799ff2065dff33
00000bd7: SWAP3
00000bd8: DUP6
00000bd9: SWAP3
00000bda: PUSH1 0xff
00000bdc: SWAP1
00000bdd: SWAP2
00000bde: AND
00000bdf: SWAP2
00000be0: AND
00000be1: PUSH4 0x70a08231
00000be6: ADDRESS
00000be7: PUSH1 0x00
00000be9: PUSH1 0x40
00000beb: MLOAD
00000bec: PUSH1 0x20
00000bee: ADD
00000bef: MSTORE
00000bf0: PUSH1 0x40
00000bf2: MLOAD
00000bf3: PUSH1 0xe0
00000bf5: PUSH1 0x02
00000bf7: EXP
00000bf8: PUSH4 0xffffffff
00000bfd: DUP5
00000bfe: AND
00000bff: MUL
00000c00: DUP2
00000c01: MSTORE
00000c02: PUSH1 0x01
00000c04: PUSH1 0xa0
00000c06: PUSH1 0x02
00000c08: EXP
00000c09: SUB
00000c0a: SWAP1
00000c0b: SWAP2
00000c0c: AND
00000c0d: PUSH1 0x04
00000c0f: DUP3
00000c10: ADD
00000c11: MSTORE
00000c12: PUSH1 0x24
00000c14: ADD
00000c15: PUSH1 0x20
00000c17: PUSH1 0x40
00000c19: MLOAD
00000c1a: DUP1
00000c1b: DUP4
00000c1c: SUB
00000c1d: DUP2
00000c1e: PUSH1 0x00
00000c20: DUP8
00000c21: DUP1
00000c22: EXTCODESIZE
00000c23: ISZERO
00000c24: ISZERO
00000c25: PUSH2 0x0c2d
00000c28: JUMPI
00000c29: PUSH1 0x00
00000c2b: DUP1
00000c2c: REVERT
00000c2d: JUMPDEST
00000c2e: PUSH2 0x02c6
00000c31: GAS
00000c32: SUB
00000c33: CALL
00000c34: ISZERO
00000c35: ISZERO
00000c36: PUSH2 0x0c3e
00000c39: JUMPI
00000c3a: PUSH1 0x00
00000c3c: DUP1
00000c3d: REVERT
00000c3e: JUMPDEST
00000c3f: POP
00000c40: POP
00000c41: POP
00000c42: PUSH1 0x40
00000c44: MLOAD
00000c45: DUP1
00000c46: MLOAD
00000c47: SWAP1
00000c48: POP
00000c49: PUSH1 0x40
00000c4b: MLOAD
00000c4c: PUSH1 0x01
00000c4e: PUSH1 0xa0
00000c50: PUSH1 0x02
00000c52: EXP
00000c53: SUB
00000c54: SWAP1
00000c55: SWAP4
00000c56: AND
00000c57: DUP4
00000c58: MSTORE
00000c59: SWAP1
00000c5a: ISZERO
00000c5b: ISZERO
00000c5c: PUSH1 0x20
00000c5e: DUP4
00000c5f: ADD
00000c60: MSTORE
00000c61: PUSH1 0x40
00000c63: DUP1
00000c64: DUP4
00000c65: ADD
00000c66: SWAP2
00000c67: SWAP1
00000c68: SWAP2
00000c69: MSTORE
00000c6a: PUSH1 0x60
00000c6c: SWAP1
00000c6d: SWAP2
00000c6e: ADD
00000c6f: SWAP1
00000c70: MLOAD
00000c71: DUP1
00000c72: SWAP2
00000c73: SUB
00000c74: SWAP1
00000c75: LOG1
00000c76: POP
00000c77: POP
00000c78: JUMP
00000c79: JUMPDEST
00000c7a: PUSH2 0x0c81
00000c7d: PUSH2 0x20a5
00000c80: JUMP
00000c81: JUMPDEST
00000c82: PUSH2 0x0c89
00000c85: PUSH2 0x20a5
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: PUSH2 0x0c91
00000c8d: PUSH2 0x20a5
00000c90: JUMP
00000c91: JUMPDEST
00000c92: PUSH2 0x0c99
00000c95: PUSH2 0x20a5
00000c98: JUMP
00000c99: JUMPDEST
00000c9a: PUSH2 0x0ca1
00000c9d: PUSH2 0x20a5
00000ca0: JUMP
00000ca1: JUMPDEST
00000ca2: PUSH2 0x0ca9
00000ca5: PUSH2 0x20a5
00000ca8: JUMP
00000ca9: JUMPDEST
00000caa: PUSH2 0x0cb1
00000cad: PUSH2 0x20a5
00000cb0: JUMP
00000cb1: JUMPDEST
00000cb2: PUSH2 0x0cb9
00000cb5: PUSH2 0x20a5
00000cb8: JUMP
00000cb9: JUMPDEST
00000cba: PUSH2 0x0cc1
00000cbd: PUSH2 0x20a5
00000cc0: JUMP
00000cc1: JUMPDEST
00000cc2: PUSH1 0x05
00000cc4: SLOAD
00000cc5: PUSH1 0x00
00000cc7: SWAP1
00000cc8: DUP2
00000cc9: SWAP1
00000cca: PUSH1 0x40
00000ccc: MLOAD
00000ccd: DUP1
00000cce: MSIZE
00000ccf: LT
00000cd0: PUSH2 0x0cd6
00000cd3: JUMPI
00000cd4: POP
00000cd5: MSIZE
00000cd6: JUMPDEST
00000cd7: SWAP1
00000cd8: DUP1
00000cd9: DUP3
00000cda: MSTORE
00000cdb: DUP1
00000cdc: PUSH1 0x20
00000cde: MUL
00000cdf: PUSH1 0x20
00000ce1: ADD
00000ce2: DUP3
00000ce3: ADD
00000ce4: PUSH1 0x40
00000ce6: MSTORE
00000ce7: POP
00000ce8: PUSH1 0x05
00000cea: SLOAD
00000ceb: SWAP1
00000cec: SWAP7
00000ced: POP
00000cee: PUSH1 0x40
00000cf0: MLOAD
00000cf1: DUP1
00000cf2: MSIZE
00000cf3: LT
00000cf4: PUSH2 0x0cfa
00000cf7: JUMPI
00000cf8: POP
00000cf9: MSIZE
00000cfa: JUMPDEST
00000cfb: SWAP1
00000cfc: DUP1
00000cfd: DUP3
00000cfe: MSTORE
00000cff: DUP1
00000d00: PUSH1 0x20
00000d02: MUL
00000d03: PUSH1 0x20
00000d05: ADD
00000d06: DUP3
00000d07: ADD
00000d08: PUSH1 0x40
00000d0a: MSTORE
00000d0b: POP
00000d0c: PUSH1 0x05
00000d0e: SLOAD
00000d0f: SWAP1
00000d10: SWAP6
00000d11: POP
00000d12: PUSH1 0x40
00000d14: MLOAD
00000d15: DUP1
00000d16: MSIZE
00000d17: LT
00000d18: PUSH2 0x0d1e
00000d1b: JUMPI
00000d1c: POP
00000d1d: MSIZE
00000d1e: JUMPDEST
00000d1f: SWAP1
00000d20: DUP1
00000d21: DUP3
00000d22: MSTORE
00000d23: DUP1
00000d24: PUSH1 0x20
00000d26: MUL
00000d27: PUSH1 0x20
00000d29: ADD
00000d2a: DUP3
00000d2b: ADD
00000d2c: PUSH1 0x40
00000d2e: MSTORE
00000d2f: POP
00000d30: PUSH1 0x05
00000d32: SLOAD
00000d33: SWAP1
00000d34: SWAP5
00000d35: POP
00000d36: PUSH1 0x40
00000d38: MLOAD
00000d39: DUP1
00000d3a: MSIZE
00000d3b: LT
00000d3c: PUSH2 0x0d42
00000d3f: JUMPI
00000d40: POP
00000d41: MSIZE
00000d42: JUMPDEST
00000d43: SWAP1
00000d44: DUP1
00000d45: DUP3
00000d46: MSTORE
00000d47: DUP1
00000d48: PUSH1 0x20
00000d4a: MUL
00000d4b: PUSH1 0x20
00000d4d: ADD
00000d4e: DUP3
00000d4f: ADD
00000d50: PUSH1 0x40
00000d52: MSTORE
00000d53: POP
00000d54: SWAP3
00000d55: POP
00000d56: PUSH1 0x00
00000d58: SWAP2
00000d59: POP
00000d5a: JUMPDEST
00000d5b: PUSH1 0x05
00000d5d: SLOAD
00000d5e: DUP3
00000d5f: LT
00000d60: ISZERO
00000d61: PUSH2 0x0e28
00000d64: JUMPI
00000d65: PUSH1 0x07
00000d67: PUSH1 0x00
00000d69: PUSH1 0x05
00000d6b: DUP5
00000d6c: DUP2
00000d6d: SLOAD
00000d6e: DUP2
00000d6f: LT
00000d70: ISZERO
00000d71: ISZERO
00000d72: PUSH2 0x0d77
00000d75: JUMPI
00000d76: INVALID
00000d77: JUMPDEST
00000d78: PUSH1 0x00
00000d7a: SWAP2
00000d7b: DUP3
00000d7c: MSTORE
00000d7d: PUSH1 0x20
00000d7f: DUP1
00000d80: DUP4
00000d81: KECCAK256
00000d82: SWAP1
00000d83: SWAP2
00000d84: ADD
00000d85: SLOAD
00000d86: PUSH1 0x01
00000d88: PUSH1 0xa0
00000d8a: PUSH1 0x02
00000d8c: EXP
00000d8d: SUB
00000d8e: AND
00000d8f: DUP4
00000d90: MSTORE
00000d91: DUP3
00000d92: ADD
00000d93: SWAP3
00000d94: SWAP1
00000d95: SWAP3
00000d96: MSTORE
00000d97: PUSH1 0x40
00000d99: ADD
00000d9a: SWAP1
00000d9b: KECCAK256
00000d9c: DUP1
00000d9d: SLOAD
00000d9e: SWAP1
00000d9f: SWAP2
00000da0: POP
00000da1: DUP7
00000da2: DUP4
00000da3: DUP2
00000da4: MLOAD
00000da5: DUP2
00000da6: LT
00000da7: PUSH2 0x0dac
00000daa: JUMPI
00000dab: INVALID
00000dac: JUMPDEST
00000dad: PUSH1 0x20
00000daf: SWAP1
00000db0: DUP2
00000db1: MUL
00000db2: SWAP1
00000db3: SWAP2
00000db4: ADD
00000db5: ADD
00000db6: MSTORE
00000db7: PUSH1 0x01
00000db9: DUP2
00000dba: ADD
00000dbb: SLOAD
00000dbc: DUP6
00000dbd: DUP4
00000dbe: DUP2
00000dbf: MLOAD
00000dc0: DUP2
00000dc1: LT
00000dc2: PUSH2 0x0dc7
00000dc5: JUMPI
00000dc6: INVALID
00000dc7: JUMPDEST
00000dc8: PUSH1 0x20
00000dca: SWAP1
00000dcb: DUP2
00000dcc: MUL
00000dcd: SWAP1
00000dce: SWAP2
00000dcf: ADD
00000dd0: ADD
00000dd1: MSTORE
00000dd2: PUSH1 0x02
00000dd4: DUP2
00000dd5: ADD
00000dd6: SLOAD
00000dd7: PUSH1 0xff
00000dd9: AND
00000dda: DUP5
00000ddb: DUP4
00000ddc: DUP2
00000ddd: MLOAD
00000dde: DUP2
00000ddf: LT
00000de0: PUSH2 0x0de5
00000de3: JUMPI
00000de4: INVALID
00000de5: JUMPDEST
00000de6: SWAP2
00000de7: ISZERO
00000de8: ISZERO
00000de9: PUSH1 0x20
00000deb: SWAP3
00000dec: DUP4
00000ded: MUL
00000dee: SWAP1
00000def: SWAP2
00000df0: ADD
00000df1: SWAP1
00000df2: SWAP2
00000df3: ADD
00000df4: MSTORE
00000df5: PUSH1 0x02
00000df7: DUP2
00000df8: ADD
00000df9: SLOAD
00000dfa: PUSH1 0xff
00000dfc: PUSH2 0x0100
00000dff: SWAP1
00000e00: SWAP2
00000e01: DIV
00000e02: AND
00000e03: DUP4
00000e04: DUP4
00000e05: DUP2
00000e06: MLOAD
00000e07: DUP2
00000e08: LT
00000e09: PUSH2 0x0e0e
00000e0c: JUMPI
00000e0d: INVALID
00000e0e: JUMPDEST
00000e0f: SWAP2
00000e10: ISZERO
00000e11: ISZERO
00000e12: PUSH1 0x20
00000e14: SWAP3
00000e15: DUP4
00000e16: MUL
00000e17: SWAP1
00000e18: SWAP2
00000e19: ADD
00000e1a: SWAP1
00000e1b: SWAP2
00000e1c: ADD
00000e1d: MSTORE
00000e1e: PUSH1 0x01
00000e20: SWAP1
00000e21: SWAP2
00000e22: ADD
00000e23: SWAP1
00000e24: PUSH2 0x0d5a
00000e27: JUMP
00000e28: JUMPDEST
00000e29: PUSH1 0x05
00000e2b: DUP7
00000e2c: DUP7
00000e2d: DUP7
00000e2e: DUP7
00000e2f: DUP5
00000e30: DUP1
00000e31: SLOAD
00000e32: DUP1
00000e33: PUSH1 0x20
00000e35: MUL
00000e36: PUSH1 0x20
00000e38: ADD
00000e39: PUSH1 0x40
00000e3b: MLOAD
00000e3c: SWAP1
00000e3d: DUP2
00000e3e: ADD
00000e3f: PUSH1 0x40
00000e41: MSTORE
00000e42: DUP1
00000e43: SWAP3
00000e44: SWAP2
00000e45: SWAP1
00000e46: DUP2
00000e47: DUP2
00000e48: MSTORE
00000e49: PUSH1 0x20
00000e4b: ADD
00000e4c: DUP3
00000e4d: DUP1
00000e4e: SLOAD
00000e4f: DUP1
00000e50: ISZERO
00000e51: PUSH2 0x0e83
00000e54: JUMPI
00000e55: PUSH1 0x20
00000e57: MUL
00000e58: DUP3
00000e59: ADD
00000e5a: SWAP2
00000e5b: SWAP1
00000e5c: PUSH1 0x00
00000e5e: MSTORE
00000e5f: PUSH1 0x20
00000e61: PUSH1 0x00
00000e63: KECCAK256
00000e64: SWAP1
00000e65: JUMPDEST
00000e66: DUP2
00000e67: SLOAD
00000e68: PUSH1 0x01
00000e6a: PUSH1 0xa0
00000e6c: PUSH1 0x02
00000e6e: EXP
00000e6f: SUB
00000e70: AND
00000e71: DUP2
00000e72: MSTORE
00000e73: PUSH1 0x01
00000e75: SWAP1
00000e76: SWAP2
00000e77: ADD
00000e78: SWAP1
00000e79: PUSH1 0x20
00000e7b: ADD
00000e7c: DUP1
00000e7d: DUP4
00000e7e: GT
00000e7f: PUSH2 0x0e65
00000e82: JUMPI
00000e83: JUMPDEST
00000e84: POP
00000e85: POP
00000e86: POP
00000e87: POP
00000e88: POP
00000e89: SWAP5
00000e8a: POP
00000e8b: SWAP11
00000e8c: POP
00000e8d: SWAP11
00000e8e: POP
00000e8f: SWAP11
00000e90: POP
00000e91: SWAP11
00000e92: POP
00000e93: SWAP11
00000e94: POP
00000e95: POP
00000e96: POP
00000e97: POP
00000e98: POP
00000e99: POP
00000e9a: POP
00000e9b: SWAP1
00000e9c: SWAP2
00000e9d: SWAP3
00000e9e: SWAP4
00000e9f: SWAP5
00000ea0: JUMP
00000ea1: JUMPDEST
00000ea2: PUSH12 0x033b2e3c9fd0803ce8000000
00000eaf: DUP2
00000eb0: JUMP
00000eb1: JUMPDEST
00000eb2: PUSH1 0x00
00000eb4: DUP1
00000eb5: PUSH1 0x02
00000eb7: PUSH1 0x00
00000eb9: SLOAD
00000eba: PUSH1 0xff
00000ebc: AND
00000ebd: PUSH1 0x03
00000ebf: DUP2
00000ec0: GT
00000ec1: ISZERO
00000ec2: PUSH2 0x0ec7
00000ec5: JUMPI
00000ec6: INVALID
00000ec7: JUMPDEST
00000ec8: EQ
00000ec9: DUP1
00000eca: ISZERO
00000ecb: PUSH2 0x0ed6
00000ece: JUMPI
00000ecf: POP
00000ed0: PUSH1 0x0e
00000ed2: SLOAD
00000ed3: PUSH1 0xff
00000ed5: AND
00000ed6: JUMPDEST
00000ed7: ISZERO
00000ed8: ISZERO
00000ed9: PUSH2 0x0ee1
00000edc: JUMPI
00000edd: PUSH1 0x00
00000edf: DUP1
00000ee0: REVERT
00000ee1: JUMPDEST
00000ee2: PUSH1 0x11
00000ee4: SLOAD
00000ee5: PUSH1 0x01
00000ee7: PUSH1 0xa0
00000ee9: PUSH1 0x02
00000eeb: EXP
00000eec: SUB
00000eed: AND
00000eee: PUSH4 0x70a08231
00000ef3: ADDRESS
00000ef4: PUSH1 0x00
00000ef6: PUSH1 0x40
00000ef8: MLOAD
00000ef9: PUSH1 0x20
00000efb: ADD
00000efc: MSTORE
00000efd: PUSH1 0x40
00000eff: MLOAD
00000f00: PUSH1 0xe0
00000f02: PUSH1 0x02
00000f04: EXP
00000f05: PUSH4 0xffffffff
00000f0a: DUP5
00000f0b: AND
00000f0c: MUL
00000f0d: DUP2
00000f0e: MSTORE
00000f0f: PUSH1 0x01
00000f11: PUSH1 0xa0
00000f13: PUSH1 0x02
00000f15: EXP
00000f16: SUB
00000f17: SWAP1
00000f18: SWAP2
00000f19: AND
00000f1a: PUSH1 0x04
00000f1c: DUP3
00000f1d: ADD
00000f1e: MSTORE
00000f1f: PUSH1 0x24
00000f21: ADD
00000f22: PUSH1 0x20
00000f24: PUSH1 0x40
00000f26: MLOAD
00000f27: DUP1
00000f28: DUP4
00000f29: SUB
00000f2a: DUP2
00000f2b: PUSH1 0x00
00000f2d: DUP8
00000f2e: DUP1
00000f2f: EXTCODESIZE
00000f30: ISZERO
00000f31: ISZERO
00000f32: PUSH2 0x0f3a
00000f35: JUMPI
00000f36: PUSH1 0x00
00000f38: DUP1
00000f39: REVERT
00000f3a: JUMPDEST
00000f3b: PUSH2 0x02c6
00000f3e: GAS
00000f3f: SUB
00000f40: CALL
00000f41: ISZERO
00000f42: ISZERO
00000f43: PUSH2 0x0f4b
00000f46: JUMPI
00000f47: PUSH1 0x00
00000f49: DUP1
00000f4a: REVERT
00000f4b: JUMPDEST
00000f4c: POP
00000f4d: POP
00000f4e: POP
00000f4f: PUSH1 0x40
00000f51: MLOAD
00000f52: DUP1
00000f53: MLOAD
00000f54: SWAP3
00000f55: POP
00000f56: PUSH1 0x00
00000f58: SWAP2
00000f59: POP
00000f5a: POP
00000f5b: JUMPDEST
00000f5c: PUSH1 0x05
00000f5e: SLOAD
00000f5f: DUP2
00000f60: LT
00000f61: ISZERO
00000f62: PUSH2 0x08f5
00000f65: JUMPI
00000f66: PUSH1 0x00
00000f68: DUP3
00000f69: GT
00000f6a: ISZERO
00000f6b: PUSH2 0x0f9e
00000f6e: JUMPI
00000f6f: PUSH2 0x0f9b
00000f72: PUSH1 0x05
00000f74: DUP3
00000f75: DUP2
00000f76: SLOAD
00000f77: DUP2
00000f78: LT
00000f79: ISZERO
00000f7a: ISZERO
00000f7b: PUSH2 0x0f80
00000f7e: JUMPI
00000f7f: INVALID
00000f80: JUMPDEST
00000f81: PUSH1 0x00
00000f83: SWAP2
00000f84: DUP3
00000f85: MSTORE
00000f86: PUSH1 0x20
00000f88: SWAP1
00000f89: SWAP2
00000f8a: KECCAK256
00000f8b: ADD
00000f8c: SLOAD
00000f8d: PUSH1 0x01
00000f8f: PUSH1 0xa0
00000f91: PUSH1 0x02
00000f93: EXP
00000f94: SUB
00000f95: AND
00000f96: DUP4
00000f97: PUSH2 0x1af2
00000f9a: JUMP
00000f9b: JUMPDEST
00000f9c: SWAP2
00000f9d: POP
00000f9e: JUMPDEST
00000f9f: PUSH2 0x0fca
00000fa2: PUSH1 0x05
00000fa4: DUP3
00000fa5: DUP2
00000fa6: SLOAD
00000fa7: DUP2
00000fa8: LT
00000fa9: ISZERO
00000faa: ISZERO
00000fab: PUSH2 0x0fb0
00000fae: JUMPI
00000faf: INVALID
00000fb0: JUMPDEST
00000fb1: PUSH1 0x00
00000fb3: SWAP2
00000fb4: DUP3
00000fb5: MSTORE
00000fb6: PUSH1 0x20
00000fb8: SWAP1
00000fb9: SWAP2
00000fba: KECCAK256
00000fbb: ADD
00000fbc: SLOAD
00000fbd: PUSH1 0x01
00000fbf: PUSH1 0xa0
00000fc1: PUSH1 0x02
00000fc3: EXP
00000fc4: SUB
00000fc5: AND
00000fc6: PUSH2 0x1c39
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: PUSH1 0x01
00000fcd: ADD
00000fce: PUSH2 0x0f5b
00000fd1: JUMP
00000fd2: JUMPDEST
00000fd3: PUSH1 0x14
00000fd5: SLOAD
00000fd6: DUP2
00000fd7: JUMP
00000fd8: JUMPDEST
00000fd9: PUSH1 0x01
00000fdb: DUP1
00000fdc: PUSH1 0x00
00000fde: SWAP1
00000fdf: SWAP2
00000fe0: SWAP3
00000fe1: JUMP
00000fe2: JUMPDEST
00000fe3: PUSH1 0x11
00000fe5: SLOAD
00000fe6: PUSH1 0x01
00000fe8: PUSH1 0xa0
00000fea: PUSH1 0x02
00000fec: EXP
00000fed: SUB
00000fee: AND
00000fef: DUP2
00000ff0: JUMP
00000ff1: JUMPDEST
00000ff2: PUSH1 0x08
00000ff4: SLOAD
00000ff5: DUP2
00000ff6: JUMP
00000ff7: JUMPDEST
00000ff8: PUSH1 0x06
00000ffa: SLOAD
00000ffb: PUSH1 0xff
00000ffd: AND
00000ffe: DUP2
00000fff: JUMP
00001000: JUMPDEST
00001001: PUSH1 0x0b
00001003: SLOAD
00001004: PUSH1 0x01
00001006: PUSH1 0xa0
00001008: PUSH1 0x02
0000100a: EXP
0000100b: SUB
0000100c: AND
0000100d: DUP2
0000100e: JUMP
0000100f: JUMPDEST
00001010: PUSH2 0x1018
00001013: CALLER
00001014: PUSH2 0x1c39
00001017: JUMP
00001018: JUMPDEST
00001019: JUMP
0000101a: JUMPDEST
0000101b: PUSH1 0x0e
0000101d: SLOAD
0000101e: PUSH1 0xff
00001020: AND
00001021: DUP2
00001022: JUMP
00001023: JUMPDEST
00001024: PUSH1 0x03
00001026: SLOAD
00001027: DUP2
00001028: JUMP
00001029: JUMPDEST
0000102a: PUSH2 0x1034
0000102d: PUSH1 0x01
0000102f: CALLER
00001030: PUSH2 0x192d
00001033: JUMP
00001034: JUMPDEST
00001035: ISZERO
00001036: ISZERO
00001037: PUSH2 0x103f
0000103a: JUMPI
0000103b: PUSH1 0x00
0000103d: DUP1
0000103e: REVERT
0000103f: JUMPDEST
00001040: PUSH1 0x02
00001042: PUSH1 0x00
00001044: SLOAD
00001045: PUSH1 0xff
00001047: AND
00001048: PUSH1 0x03
0000104a: DUP2
0000104b: GT
0000104c: ISZERO
0000104d: PUSH2 0x1052
00001050: JUMPI
00001051: INVALID
00001052: JUMPDEST
00001053: EQ
00001054: DUP1
00001055: PUSH2 0x106e
00001058: JUMPI
00001059: POP
0000105a: PUSH1 0x03
0000105c: PUSH1 0x00
0000105e: SLOAD
0000105f: PUSH1 0xff
00001061: AND
00001062: PUSH1 0x03
00001064: DUP2
00001065: GT
00001066: ISZERO
00001067: PUSH2 0x106c
0000106a: JUMPI
0000106b: INVALID
0000106c: JUMPDEST
0000106d: EQ
0000106e: JUMPDEST
0000106f: ISZERO
00001070: ISZERO
00001071: PUSH2 0x1079
00001074: JUMPI
00001075: PUSH1 0x00
00001077: DUP1
00001078: REVERT
00001079: JUMPDEST
0000107a: PUSH1 0x10
0000107c: SLOAD
0000107d: ISZERO
0000107e: PUSH2 0x1086
00001081: JUMPI
00001082: PUSH1 0x00
00001084: DUP1
00001085: REVERT
00001086: JUMPDEST
00001087: PUSH1 0x0b
00001089: SLOAD
0000108a: PUSH1 0x01
0000108c: PUSH1 0xa0
0000108e: PUSH1 0x02
00001090: EXP
00001091: SUB
00001092: DUP3
00001093: DUP2
00001094: AND
00001095: SWAP2
00001096: AND
00001097: EQ
00001098: PUSH2 0x1101
0000109b: JUMPI
0000109c: PUSH1 0x0b
0000109e: DUP1
0000109f: SLOAD
000010a0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010b5: NOT
000010b6: AND
000010b7: PUSH1 0x01
000010b9: PUSH1 0xa0
000010bb: PUSH1 0x02
000010bd: EXP
000010be: SUB
000010bf: DUP4
000010c0: AND
000010c1: OR
000010c2: SWAP1
000010c3: SSTORE
000010c4: PUSH32 0xac140301f2bddbabdc6ee045fb15f29d6f070b8d470ed982696c1b6d4e475fea
000010e5: DUP2
000010e6: PUSH1 0x40
000010e8: MLOAD
000010e9: PUSH1 0x01
000010eb: PUSH1 0xa0
000010ed: PUSH1 0x02
000010ef: EXP
000010f0: SUB
000010f1: SWAP1
000010f2: SWAP2
000010f3: AND
000010f4: DUP2
000010f5: MSTORE
000010f6: PUSH1 0x20
000010f8: ADD
000010f9: PUSH1 0x40
000010fb: MLOAD
000010fc: DUP1
000010fd: SWAP2
000010fe: SUB
000010ff: SWAP1
00001100: LOG1
00001101: JUMPDEST
00001102: PUSH1 0x02
00001104: PUSH1 0x00
00001106: SLOAD
00001107: PUSH1 0xff
00001109: AND
0000110a: PUSH1 0x03
0000110c: DUP2
0000110d: GT
0000110e: ISZERO
0000110f: PUSH2 0x1114
00001112: JUMPI
00001113: INVALID
00001114: JUMPDEST
00001115: EQ
00001116: ISZERO
00001117: PUSH2 0x1124
0000111a: JUMPI
0000111b: PUSH2 0x1124
0000111e: PUSH1 0x03
00001120: PUSH2 0x1a70
00001123: JUMP
00001124: JUMPDEST
00001125: POP
00001126: JUMP
00001127: JUMPDEST
00001128: PUSH1 0x09
0000112a: SLOAD
0000112b: DUP2
0000112c: JUMP
0000112d: JUMPDEST
0000112e: PUSH2 0x1138
00001131: PUSH1 0x01
00001133: CALLER
00001134: PUSH2 0x192d
00001137: JUMP
00001138: JUMPDEST
00001139: ISZERO
0000113a: ISZERO
0000113b: PUSH2 0x1143
0000113e: JUMPI
0000113f: PUSH1 0x00
00001141: DUP1
00001142: REVERT
00001143: JUMPDEST
00001144: PUSH1 0x00
00001146: DUP1
00001147: PUSH1 0x00
00001149: SLOAD
0000114a: PUSH1 0xff
0000114c: AND
0000114d: PUSH1 0x03
0000114f: DUP2
00001150: GT
00001151: ISZERO
00001152: PUSH2 0x1157
00001155: JUMPI
00001156: INVALID
00001157: JUMPDEST
00001158: EQ
00001159: PUSH2 0x1161
0000115c: JUMPI
0000115d: PUSH1 0x00
0000115f: DUP1
00001160: REVERT
00001161: JUMPDEST
00001162: PUSH2 0x1124
00001165: PUSH1 0x01
00001167: PUSH2 0x1a70
0000116a: JUMP
0000116b: JUMPDEST
0000116c: PUSH1 0x02
0000116e: SLOAD
0000116f: DUP2
00001170: JUMP
00001171: JUMPDEST
00001172: PUSH1 0x02
00001174: DUP1
00001175: PUSH1 0x00
00001177: SLOAD
00001178: PUSH1 0xff
0000117a: AND
0000117b: PUSH1 0x03
0000117d: DUP2
0000117e: GT
0000117f: ISZERO
00001180: PUSH2 0x1185
00001183: JUMPI
00001184: INVALID
00001185: JUMPDEST
00001186: EQ
00001187: PUSH2 0x0a41
0000118a: JUMPI
0000118b: PUSH1 0x00
0000118d: DUP1
0000118e: REVERT
0000118f: JUMPDEST
00001190: PUSH1 0x00
00001192: SLOAD
00001193: PUSH1 0xff
00001195: AND
00001196: DUP2
00001197: JUMP
00001198: JUMPDEST
00001199: PUSH1 0x00
0000119b: PUSH1 0x02
0000119d: DUP1
0000119e: PUSH1 0x00
000011a0: SLOAD
000011a1: PUSH1 0xff
000011a3: AND
000011a4: PUSH1 0x03
000011a6: DUP2
000011a7: GT
000011a8: ISZERO
000011a9: PUSH2 0x11ae
000011ac: JUMPI
000011ad: INVALID
000011ae: JUMPDEST
000011af: EQ
000011b0: PUSH2 0x11b8
000011b3: JUMPI
000011b4: PUSH1 0x00
000011b6: DUP1
000011b7: REVERT
000011b8: JUMPDEST
000011b9: PUSH1 0x13
000011bb: SLOAD
000011bc: PUSH1 0x00
000011be: SWAP1
000011bf: GT
000011c0: PUSH2 0x11c8
000011c3: JUMPI
000011c4: PUSH1 0x00
000011c6: DUP1
000011c7: REVERT
000011c8: JUMPDEST
000011c9: PUSH1 0x10
000011cb: SLOAD
000011cc: PUSH1 0x00
000011ce: SWAP1
000011cf: GT
000011d0: PUSH2 0x11d8
000011d3: JUMPI
000011d4: PUSH1 0x00
000011d6: DUP1
000011d7: REVERT
000011d8: JUMPDEST
000011d9: PUSH1 0x13
000011db: DUP1
000011dc: SLOAD
000011dd: PUSH1 0x00
000011df: SWAP1
000011e0: SWAP2
000011e1: SSTORE
000011e2: SWAP2
000011e3: POP
000011e4: PUSH32 0x7a845d9ff115a67119400d0d4fb3a54b18d744a32c3180ecb8e2f15d14af63ef
00001205: DUP3
00001206: PUSH1 0x40
00001208: MLOAD
00001209: SWAP1
0000120a: DUP2
0000120b: MSTORE
0000120c: PUSH1 0x20
0000120e: ADD
0000120f: PUSH1 0x40
00001211: MLOAD
00001212: DUP1
00001213: SWAP2
00001214: SUB
00001215: SWAP1
00001216: LOG1
00001217: PUSH1 0x12
00001219: SLOAD
0000121a: PUSH1 0x01
0000121c: PUSH1 0xa0
0000121e: PUSH1 0x02
00001220: EXP
00001221: SUB
00001222: AND
00001223: PUSH4 0xdff90b5b
00001228: DUP4
00001229: PUSH1 0x40
0000122b: MLOAD
0000122c: DUP3
0000122d: PUSH4 0xffffffff
00001232: AND
00001233: PUSH1 0xe0
00001235: PUSH1 0x02
00001237: EXP
00001238: MUL
00001239: DUP2
0000123a: MSTORE
0000123b: PUSH1 0x04
0000123d: ADD
0000123e: PUSH1 0x00
00001240: PUSH1 0x40
00001242: MLOAD
00001243: DUP1
00001244: DUP4
00001245: SUB
00001246: DUP2
00001247: DUP6
00001248: DUP9
00001249: DUP1
0000124a: EXTCODESIZE
0000124b: ISZERO
0000124c: ISZERO
0000124d: PUSH2 0x1255
00001250: JUMPI
00001251: PUSH1 0x00
00001253: DUP1
00001254: REVERT
00001255: JUMPDEST
00001256: PUSH2 0x25ee
00001259: GAS
0000125a: SUB
0000125b: CALL
0000125c: ISZERO
0000125d: ISZERO
0000125e: PUSH2 0x1266
00001261: JUMPI
00001262: PUSH1 0x00
00001264: DUP1
00001265: REVERT
00001266: JUMPDEST
00001267: POP
00001268: POP
00001269: POP
0000126a: POP
0000126b: POP
0000126c: POP
0000126d: JUMP
0000126e: JUMPDEST
0000126f: PUSH1 0x00
00001271: DUP1
00001272: DUP1
00001273: DUP1
00001274: DUP1
00001275: PUSH1 0x00
00001277: SLOAD
00001278: PUSH1 0xff
0000127a: AND
0000127b: PUSH1 0x03
0000127d: DUP2
0000127e: GT
0000127f: ISZERO
00001280: PUSH2 0x1285
00001283: JUMPI
00001284: INVALID
00001285: JUMPDEST
00001286: EQ
00001287: PUSH2 0x128f
0000128a: JUMPI
0000128b: PUSH1 0x00
0000128d: DUP1
0000128e: REVERT
0000128f: JUMPDEST
00001290: PUSH1 0x00
00001292: CALLVALUE
00001293: GT
00001294: PUSH2 0x129c
00001297: JUMPI
00001298: PUSH1 0x00
0000129a: DUP1
0000129b: REVERT
0000129c: JUMPDEST
0000129d: PUSH2 0x12a5
000012a0: CALLER
000012a1: PUSH2 0x1e9a
000012a4: JUMP
000012a5: JUMPDEST
000012a6: ISZERO
000012a7: ISZERO
000012a8: PUSH2 0x12b0
000012ab: JUMPI
000012ac: PUSH1 0x00
000012ae: DUP1
000012af: REVERT
000012b0: JUMPDEST
000012b1: PUSH2 0x12ba
000012b4: CALLER
000012b5: CALLVALUE
000012b6: PUSH2 0x1ed0
000012b9: JUMP
000012ba: JUMPDEST
000012bb: SWAP1
000012bc: SWAP5
000012bd: POP
000012be: SWAP3
000012bf: POP
000012c0: DUP3
000012c1: ISZERO
000012c2: PUSH2 0x12ca
000012c5: JUMPI
000012c6: PUSH1 0x00
000012c8: DUP1
000012c9: REVERT
000012ca: JUMPDEST
000012cb: CALLER
000012cc: PUSH1 0x01
000012ce: PUSH1 0xa0
000012d0: PUSH1 0x02
000012d2: EXP
000012d3: SUB
000012d4: AND
000012d5: PUSH1 0x00
000012d7: SWAP1
000012d8: DUP2
000012d9: MSTORE
000012da: PUSH1 0x07
000012dc: PUSH1 0x20
000012de: MSTORE
000012df: PUSH1 0x40
000012e1: SWAP1
000012e2: KECCAK256
000012e3: DUP1
000012e4: SLOAD
000012e5: PUSH1 0x08
000012e7: DUP1
000012e8: SLOAD
000012e9: SWAP2
000012ea: SWAP1
000012eb: SWAP2
000012ec: SUB
000012ed: DUP7
000012ee: ADD
000012ef: SWAP1
000012f0: SSTORE
000012f1: PUSH1 0x01
000012f3: DUP2
000012f4: ADD
000012f5: DUP5
000012f6: SWAP1
000012f7: SSTORE
000012f8: DUP5
000012f9: DUP2
000012fa: SSTORE
000012fb: PUSH1 0x02
000012fd: DUP2
000012fe: ADD
000012ff: SLOAD
00001300: SWAP1
00001301: SWAP3
00001302: POP
00001303: PUSH2 0x0100
00001306: SWAP1
00001307: DIV
00001308: PUSH1 0xff
0000130a: AND
0000130b: ISZERO
0000130c: ISZERO
0000130d: PUSH2 0x1371
00001310: JUMPI
00001311: PUSH1 0x02
00001313: DUP3
00001314: ADD
00001315: DUP1
00001316: SLOAD
00001317: PUSH2 0x0100
0000131a: PUSH1 0x01
0000131c: PUSH1 0xff
0000131e: NOT
0000131f: SWAP1
00001320: SWAP3
00001321: AND
00001322: DUP3
00001323: OR
00001324: PUSH2 0xff00
00001327: NOT
00001328: AND
00001329: OR
0000132a: SWAP1
0000132b: SWAP2
0000132c: SSTORE
0000132d: PUSH1 0x05
0000132f: DUP1
00001330: SLOAD
00001331: SWAP1
00001332: SWAP2
00001333: DUP2
00001334: ADD
00001335: PUSH2 0x133e
00001338: DUP4
00001339: DUP3
0000133a: PUSH2 0x20b7
0000133d: JUMP
0000133e: JUMPDEST
0000133f: POP
00001340: PUSH1 0x00
00001342: SWAP2
00001343: DUP3
00001344: MSTORE
00001345: PUSH1 0x20
00001347: SWAP1
00001348: SWAP2
00001349: KECCAK256
0000134a: ADD
0000134b: DUP1
0000134c: SLOAD
0000134d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001362: NOT
00001363: AND
00001364: CALLER
00001365: PUSH1 0x01
00001367: PUSH1 0xa0
00001369: PUSH1 0x02
0000136b: EXP
0000136c: SUB
0000136d: AND
0000136e: OR
0000136f: SWAP1
00001370: SSTORE
00001371: JUMPDEST
00001372: CALLER
00001373: PUSH1 0x01
00001375: PUSH1 0xa0
00001377: PUSH1 0x02
00001379: EXP
0000137a: SUB
0000137b: AND
0000137c: PUSH32 0x36af321ec8d3c75236829c5317affd40ddb308863a1236d2d277a4025cccee1e
0000139d: CALLVALUE
0000139e: DUP5
0000139f: PUSH1 0x00
000013a1: ADD
000013a2: SLOAD
000013a3: PUSH1 0x08
000013a5: SLOAD
000013a6: PUSH1 0x40
000013a8: MLOAD
000013a9: DUP1
000013aa: DUP5
000013ab: DUP2
000013ac: MSTORE
000013ad: PUSH1 0x20
000013af: ADD
000013b0: DUP4
000013b1: DUP2
000013b2: MSTORE
000013b3: PUSH1 0x20
000013b5: ADD
000013b6: DUP3
000013b7: DUP2
000013b8: MSTORE
000013b9: PUSH1 0x20
000013bb: ADD
000013bc: SWAP4
000013bd: POP
000013be: POP
000013bf: POP
000013c0: POP
000013c1: PUSH1 0x40
000013c3: MLOAD
000013c4: DUP1
000013c5: SWAP2
000013c6: SUB
000013c7: SWAP1
000013c8: LOG2
000013c9: POP
000013ca: POP
000013cb: POP
000013cc: POP
000013cd: JUMP
000013ce: JUMPDEST
000013cf: PUSH1 0x12
000013d1: SLOAD
000013d2: PUSH1 0x01
000013d4: PUSH1 0xa0
000013d6: PUSH1 0x02
000013d8: EXP
000013d9: SUB
000013da: AND
000013db: DUP2
000013dc: JUMP
000013dd: JUMPDEST
000013de: PUSH1 0x00
000013e0: DUP1
000013e1: PUSH1 0x02
000013e3: PUSH1 0x00
000013e5: SLOAD
000013e6: PUSH1 0xff
000013e8: AND
000013e9: PUSH1 0x03
000013eb: DUP2
000013ec: GT
000013ed: ISZERO
000013ee: PUSH2 0x13f3
000013f1: JUMPI
000013f2: INVALID
000013f3: JUMPDEST
000013f4: EQ
000013f5: DUP1
000013f6: ISZERO
000013f7: PUSH2 0x1402
000013fa: JUMPI
000013fb: POP
000013fc: PUSH1 0x0e
000013fe: SLOAD
000013ff: PUSH1 0xff
00001401: AND
00001402: JUMPDEST
00001403: ISZERO
00001404: ISZERO
00001405: PUSH2 0x140d
00001408: JUMPI
00001409: PUSH1 0x00
0000140b: DUP1
0000140c: REVERT
0000140d: JUMPDEST
0000140e: PUSH1 0x11
00001410: SLOAD
00001411: PUSH1 0x01
00001413: PUSH1 0xa0
00001415: PUSH1 0x02
00001417: EXP
00001418: SUB
00001419: AND
0000141a: PUSH4 0x70a08231
0000141f: ADDRESS
00001420: PUSH1 0x00
00001422: PUSH1 0x40
00001424: MLOAD
00001425: PUSH1 0x20
00001427: ADD
00001428: MSTORE
00001429: PUSH1 0x40
0000142b: MLOAD
0000142c: PUSH1 0xe0
0000142e: PUSH1 0x02
00001430: EXP
00001431: PUSH4 0xffffffff
00001436: DUP5
00001437: AND
00001438: MUL
00001439: DUP2
0000143a: MSTORE
0000143b: PUSH1 0x01
0000143d: PUSH1 0xa0
0000143f: PUSH1 0x02
00001441: EXP
00001442: SUB
00001443: SWAP1
00001444: SWAP2
00001445: AND
00001446: PUSH1 0x04
00001448: DUP3
00001449: ADD
0000144a: MSTORE
0000144b: PUSH1 0x24
0000144d: ADD
0000144e: PUSH1 0x20
00001450: PUSH1 0x40
00001452: MLOAD
00001453: DUP1
00001454: DUP4
00001455: SUB
00001456: DUP2
00001457: PUSH1 0x00
00001459: DUP8
0000145a: DUP1
0000145b: EXTCODESIZE
0000145c: ISZERO
0000145d: ISZERO
0000145e: PUSH2 0x1466
00001461: JUMPI
00001462: PUSH1 0x00
00001464: DUP1
00001465: REVERT
00001466: JUMPDEST
00001467: PUSH2 0x02c6
0000146a: GAS
0000146b: SUB
0000146c: CALL
0000146d: ISZERO
0000146e: ISZERO
0000146f: PUSH2 0x1477
00001472: JUMPI
00001473: PUSH1 0x00
00001475: DUP1
00001476: REVERT
00001477: JUMPDEST
00001478: POP
00001479: POP
0000147a: POP
0000147b: PUSH1 0x40
0000147d: MLOAD
0000147e: DUP1
0000147f: MLOAD
00001480: SWAP3
00001481: POP
00001482: PUSH1 0x00
00001484: SWAP2
00001485: POP
00001486: POP
00001487: JUMPDEST
00001488: DUP3
00001489: DUP2
0000148a: LT
0000148b: ISZERO
0000148c: PUSH2 0x14ec
0000148f: JUMPI
00001490: PUSH1 0x00
00001492: DUP3
00001493: GT
00001494: ISZERO
00001495: PUSH2 0x14c0
00001498: JUMPI
00001499: PUSH2 0x14bd
0000149c: DUP5
0000149d: DUP5
0000149e: DUP4
0000149f: DUP2
000014a0: DUP2
000014a1: LT
000014a2: PUSH2 0x14a7
000014a5: JUMPI
000014a6: INVALID
000014a7: JUMPDEST
000014a8: SWAP1
000014a9: POP
000014aa: PUSH1 0x20
000014ac: MUL
000014ad: ADD
000014ae: CALLDATALOAD
000014af: PUSH1 0x01
000014b1: PUSH1 0xa0
000014b3: PUSH1 0x02
000014b5: EXP
000014b6: SUB
000014b7: AND
000014b8: DUP4
000014b9: PUSH2 0x1af2
000014bc: JUMP
000014bd: JUMPDEST
000014be: SWAP2
000014bf: POP
000014c0: JUMPDEST
000014c1: PUSH2 0x14e4
000014c4: DUP5
000014c5: DUP5
000014c6: DUP4
000014c7: DUP2
000014c8: DUP2
000014c9: LT
000014ca: PUSH2 0x14cf
000014cd: JUMPI
000014ce: INVALID
000014cf: JUMPDEST
000014d0: SWAP1
000014d1: POP
000014d2: PUSH1 0x20
000014d4: MUL
000014d5: ADD
000014d6: CALLDATALOAD
000014d7: PUSH1 0x01
000014d9: PUSH1 0xa0
000014db: PUSH1 0x02
000014dd: EXP
000014de: SUB
000014df: AND
000014e0: PUSH2 0x1c39
000014e3: JUMP
000014e4: JUMPDEST
000014e5: PUSH1 0x01
000014e7: ADD
000014e8: PUSH2 0x1487
000014eb: JUMP
000014ec: JUMPDEST
000014ed: POP
000014ee: POP
000014ef: POP
000014f0: POP
000014f1: JUMP
000014f2: JUMPDEST
000014f3: PUSH1 0x00
000014f5: DUP1
000014f6: PUSH1 0x00
000014f8: DUP1
000014f9: PUSH1 0x00
000014fb: DUP1
000014fc: PUSH2 0x1506
000014ff: PUSH1 0x01
00001501: CALLER
00001502: PUSH2 0x192d
00001505: JUMP
00001506: JUMPDEST
00001507: ISZERO
00001508: ISZERO
00001509: PUSH2 0x1511
0000150c: JUMPI
0000150d: PUSH1 0x00
0000150f: DUP1
00001510: REVERT
00001511: JUMPDEST
00001512: PUSH1 0x00
00001514: DUP1
00001515: PUSH1 0x00
00001517: SLOAD
00001518: PUSH1 0xff
0000151a: AND
0000151b: PUSH1 0x03
0000151d: DUP2
0000151e: GT
0000151f: ISZERO
00001520: PUSH2 0x1525
00001523: JUMPI
00001524: INVALID
00001525: JUMPDEST
00001526: EQ
00001527: PUSH2 0x152f
0000152a: JUMPI
0000152b: PUSH1 0x00
0000152d: DUP1
0000152e: REVERT
0000152f: JUMPDEST
00001530: DUP12
00001531: PUSH1 0x02
00001533: SLOAD
00001534: LT
00001535: SWAP7
00001536: POP
00001537: DUP7
00001538: DUP1
00001539: PUSH2 0x1543
0000153c: JUMPI
0000153d: POP
0000153e: DUP11
0000153f: PUSH1 0x03
00001541: SLOAD
00001542: GT
00001543: JUMPDEST
00001544: SWAP7
00001545: POP
00001546: DUP7
00001547: DUP1
00001548: PUSH2 0x1552
0000154b: JUMPI
0000154c: POP
0000154d: DUP10
0000154e: PUSH1 0x08
00001550: SLOAD
00001551: GT
00001552: JUMPDEST
00001553: PUSH1 0x02
00001555: DUP14
00001556: SWAP1
00001557: SSTORE
00001558: PUSH1 0x03
0000155a: DUP13
0000155b: SWAP1
0000155c: SSTORE
0000155d: PUSH1 0x04
0000155f: DUP12
00001560: SWAP1
00001561: SSTORE
00001562: SWAP7
00001563: POP
00001564: PUSH2 0x156b
00001567: PUSH2 0x1f64
0000156a: JUMP
0000156b: JUMPDEST
0000156c: PUSH32 0x81ed9d12804616ac7f219b046f48081f6f704a4bab03d58f911cc5c37d285fd9
0000158d: PUSH1 0x02
0000158f: SLOAD
00001590: PUSH1 0x03
00001592: SLOAD
00001593: PUSH1 0x04
00001595: SLOAD
00001596: PUSH1 0x40
00001598: MLOAD
00001599: DUP1
0000159a: DUP5
0000159b: DUP2
0000159c: MSTORE
0000159d: PUSH1 0x20
0000159f: ADD
000015a0: DUP4
000015a1: DUP2
000015a2: MSTORE
000015a3: PUSH1 0x20
000015a5: ADD
000015a6: DUP3
000015a7: DUP2
000015a8: MSTORE
000015a9: PUSH1 0x20
000015ab: ADD
000015ac: SWAP4
000015ad: POP
000015ae: POP
000015af: POP
000015b0: POP
000015b1: PUSH1 0x40
000015b3: MLOAD
000015b4: DUP1
000015b5: SWAP2
000015b6: SUB
000015b7: SWAP1
000015b8: LOG1
000015b9: DUP7
000015ba: ISZERO
000015bb: PUSH2 0x168a
000015be: JUMPI
000015bf: PUSH1 0x00
000015c1: PUSH1 0x08
000015c3: DUP2
000015c4: SWAP1
000015c5: SSTORE
000015c6: SWAP6
000015c7: POP
000015c8: JUMPDEST
000015c9: PUSH1 0x05
000015cb: SLOAD
000015cc: DUP7
000015cd: LT
000015ce: ISZERO
000015cf: PUSH2 0x1685
000015d2: JUMPI
000015d3: PUSH1 0x05
000015d5: DUP1
000015d6: SLOAD
000015d7: DUP8
000015d8: SWAP1
000015d9: DUP2
000015da: LT
000015db: PUSH2 0x15e0
000015de: JUMPI
000015df: INVALID
000015e0: JUMPDEST
000015e1: PUSH1 0x00
000015e3: SWAP2
000015e4: DUP3
000015e5: MSTORE
000015e6: PUSH1 0x20
000015e8: DUP1
000015e9: DUP4
000015ea: KECCAK256
000015eb: SWAP1
000015ec: SWAP2
000015ed: ADD
000015ee: SLOAD
000015ef: PUSH1 0x01
000015f1: PUSH1 0xa0
000015f3: PUSH1 0x02
000015f5: EXP
000015f6: SUB
000015f7: AND
000015f8: DUP1
000015f9: DUP4
000015fa: MSTORE
000015fb: PUSH1 0x07
000015fd: SWAP1
000015fe: SWAP2
000015ff: MSTORE
00001600: PUSH1 0x40
00001602: DUP3
00001603: KECCAK256
00001604: DUP1
00001605: SLOAD
00001606: PUSH1 0x01
00001608: DUP3
00001609: ADD
0000160a: DUP1
0000160b: SLOAD
0000160c: SWAP1
0000160d: SWAP2
0000160e: ADD
0000160f: SWAP1
00001610: SSTORE
00001611: DUP3
00001612: DUP2
00001613: SSTORE
00001614: SWAP7
00001615: POP
00001616: SWAP5
00001617: POP
00001618: PUSH2 0x1622
0000161b: SWAP1
0000161c: DUP6
0000161d: SWAP1
0000161e: PUSH2 0x1ed0
00001621: JUMP
00001622: JUMPDEST
00001623: PUSH1 0x01
00001625: DUP8
00001626: ADD
00001627: SWAP1
00001628: DUP2
00001629: SSTORE
0000162a: DUP2
0000162b: DUP8
0000162c: SSTORE
0000162d: PUSH1 0x08
0000162f: DUP1
00001630: SLOAD
00001631: SWAP1
00001632: SWAP3
00001633: ADD
00001634: SWAP2
00001635: DUP3
00001636: SWAP1
00001637: SSTORE
00001638: SLOAD
00001639: DUP7
0000163a: SLOAD
0000163b: PUSH1 0x01
0000163d: PUSH1 0xa0
0000163f: PUSH1 0x02
00001641: EXP
00001642: SUB
00001643: DUP8
00001644: AND
00001645: SWAP3
00001646: PUSH1 0x00
00001648: DUP1
00001649: MLOAD
0000164a: PUSH1 0x20
0000164c: PUSH2 0x2118
0000164f: DUP4
00001650: CODECOPY
00001651: DUP2
00001652: MLOAD
00001653: SWAP2
00001654: MSTORE
00001655: SWAP3
00001656: SWAP2
00001657: SWAP1
00001658: PUSH1 0x40
0000165a: MLOAD
0000165b: DUP1
0000165c: DUP5
0000165d: DUP2
0000165e: MSTORE
0000165f: PUSH1 0x20
00001661: ADD
00001662: DUP4
00001663: DUP2
00001664: MSTORE
00001665: PUSH1 0x20
00001667: ADD
00001668: DUP3
00001669: DUP2
0000166a: MSTORE
0000166b: PUSH1 0x20
0000166d: ADD
0000166e: SWAP4
0000166f: POP
00001670: POP
00001671: POP
00001672: POP
00001673: PUSH1 0x40
00001675: MLOAD
00001676: DUP1
00001677: SWAP2
00001678: SUB
00001679: SWAP1
0000167a: LOG2
0000167b: PUSH1 0x01
0000167d: SWAP1
0000167e: SWAP6
0000167f: ADD
00001680: SWAP5
00001681: PUSH2 0x15c8
00001684: JUMP
00001685: JUMPDEST
00001686: PUSH2 0x1752
00001689: JUMP
0000168a: JUMPDEST
0000168b: PUSH1 0x00
0000168d: SWAP6
0000168e: POP
0000168f: JUMPDEST
00001690: DUP8
00001691: DUP7
00001692: LT
00001693: ISZERO
00001694: PUSH2 0x1752
00001697: JUMPI
00001698: DUP9
00001699: DUP9
0000169a: DUP8
0000169b: DUP2
0000169c: DUP2
0000169d: LT
0000169e: PUSH2 0x16a3
000016a1: JUMPI
000016a2: INVALID
000016a3: JUMPDEST
000016a4: SWAP1
000016a5: POP
000016a6: PUSH1 0x20
000016a8: MUL
000016a9: ADD
000016aa: CALLDATALOAD
000016ab: PUSH1 0x01
000016ad: PUSH1 0xa0
000016af: PUSH1 0x02
000016b1: EXP
000016b2: SUB
000016b3: AND
000016b4: SWAP4
000016b5: POP
000016b6: PUSH1 0x07
000016b8: PUSH1 0x00
000016ba: DUP6
000016bb: PUSH1 0x01
000016bd: PUSH1 0xa0
000016bf: PUSH1 0x02
000016c1: EXP
000016c2: SUB
000016c3: AND
000016c4: PUSH1 0x01
000016c6: PUSH1 0xa0
000016c8: PUSH1 0x02
000016ca: EXP
000016cb: SUB
000016cc: AND
000016cd: DUP2
000016ce: MSTORE
000016cf: PUSH1 0x20
000016d1: ADD
000016d2: SWAP1
000016d3: DUP2
000016d4: MSTORE
000016d5: PUSH1 0x20
000016d7: ADD
000016d8: PUSH1 0x00
000016da: KECCAK256
000016db: SWAP5
000016dc: POP
000016dd: PUSH2 0x16e7
000016e0: DUP5
000016e1: PUSH1 0x00
000016e3: PUSH2 0x1ed0
000016e6: JUMP
000016e7: JUMPDEST
000016e8: DUP7
000016e9: SLOAD
000016ea: PUSH1 0x08
000016ec: DUP1
000016ed: SLOAD
000016ee: SWAP2
000016ef: SWAP1
000016f0: SWAP2
000016f1: SUB
000016f2: DUP4
000016f3: ADD
000016f4: DUP2
000016f5: SSTORE
000016f6: PUSH1 0x01
000016f8: DUP9
000016f9: ADD
000016fa: DUP3
000016fb: SWAP1
000016fc: SSTORE
000016fd: DUP3
000016fe: DUP9
000016ff: SSTORE
00001700: SLOAD
00001701: SWAP2
00001702: SWAP5
00001703: POP
00001704: SWAP3
00001705: POP
00001706: PUSH1 0x01
00001708: PUSH1 0xa0
0000170a: PUSH1 0x02
0000170c: EXP
0000170d: SUB
0000170e: DUP6
0000170f: AND
00001710: SWAP1
00001711: PUSH1 0x00
00001713: DUP1
00001714: MLOAD
00001715: PUSH1 0x20
00001717: PUSH2 0x2118
0000171a: DUP4
0000171b: CODECOPY
0000171c: DUP2
0000171d: MLOAD
0000171e: SWAP2
0000171f: MSTORE
00001720: SWAP1
00001721: DUP5
00001722: SWAP1
00001723: DUP7
00001724: SWAP1
00001725: PUSH1 0x40
00001727: MLOAD
00001728: DUP1
00001729: DUP5
0000172a: DUP2
0000172b: MSTORE
0000172c: PUSH1 0x20
0000172e: ADD
0000172f: DUP4
00001730: DUP2
00001731: MSTORE
00001732: PUSH1 0x20
00001734: ADD
00001735: DUP3
00001736: DUP2
00001737: MSTORE
00001738: PUSH1 0x20
0000173a: ADD
0000173b: SWAP4
0000173c: POP
0000173d: POP
0000173e: POP
0000173f: POP
00001740: PUSH1 0x40
00001742: MLOAD
00001743: DUP1
00001744: SWAP2
00001745: SUB
00001746: SWAP1
00001747: LOG2
00001748: PUSH1 0x01
0000174a: SWAP1
0000174b: SWAP6
0000174c: ADD
0000174d: SWAP5
0000174e: PUSH2 0x168f
00001751: JUMP
00001752: JUMPDEST
00001753: POP
00001754: POP
00001755: POP
00001756: POP
00001757: POP
00001758: POP
00001759: POP
0000175a: POP
0000175b: POP
0000175c: POP
0000175d: POP
0000175e: POP
0000175f: JUMP
00001760: JUMPDEST
00001761: PUSH1 0x00
00001763: DUP1
00001764: PUSH1 0x00
00001766: PUSH2 0x1770
00001769: PUSH1 0x01
0000176b: CALLER
0000176c: PUSH2 0x192d
0000176f: JUMP
00001770: JUMPDEST
00001771: ISZERO
00001772: ISZERO
00001773: PUSH2 0x177b
00001776: JUMPI
00001777: PUSH1 0x00
00001779: DUP1
0000177a: REVERT
0000177b: JUMPDEST
0000177c: PUSH1 0x00
0000177e: DUP1
0000177f: PUSH1 0x00
00001781: SLOAD
00001782: PUSH1 0xff
00001784: AND
00001785: PUSH1 0x03
00001787: DUP2
00001788: GT
00001789: ISZERO
0000178a: PUSH2 0x178f
0000178d: JUMPI
0000178e: INVALID
0000178f: JUMPDEST
00001790: EQ
00001791: PUSH2 0x1799
00001794: JUMPI
00001795: PUSH1 0x00
00001797: DUP1
00001798: REVERT
00001799: JUMPDEST
0000179a: PUSH1 0x06
0000179c: SLOAD
0000179d: PUSH1 0xff
0000179f: AND
000017a0: ISZERO
000017a1: ISZERO
000017a2: PUSH2 0x17df
000017a5: JUMPI
000017a6: PUSH32 0xe5e5846f783279948f6ec5faad38318cde86fe5be7ea845ede56d62f16c37434
000017c7: PUSH1 0x40
000017c9: MLOAD
000017ca: PUSH1 0x40
000017cc: MLOAD
000017cd: DUP1
000017ce: SWAP2
000017cf: SUB
000017d0: SWAP1
000017d1: LOG1
000017d2: PUSH1 0x06
000017d4: DUP1
000017d5: SLOAD
000017d6: PUSH1 0xff
000017d8: NOT
000017d9: AND
000017da: PUSH1 0x01
000017dc: OR
000017dd: SWAP1
000017de: SSTORE
000017df: JUMPDEST
000017e0: PUSH1 0x00
000017e2: SWAP4
000017e3: POP
000017e4: JUMPDEST
000017e5: DUP5
000017e6: DUP5
000017e7: LT
000017e8: ISZERO
000017e9: PUSH2 0x18e7
000017ec: JUMPI
000017ed: DUP6
000017ee: DUP6
000017ef: DUP6
000017f0: DUP2
000017f1: DUP2
000017f2: LT
000017f3: PUSH2 0x17f8
000017f6: JUMPI
000017f7: INVALID
000017f8: JUMPDEST
000017f9: PUSH1 0x20
000017fb: SWAP1
000017fc: DUP2
000017fd: MUL
000017fe: SWAP3
000017ff: SWAP1
00001800: SWAP3
00001801: ADD
00001802: CALLDATALOAD
00001803: PUSH1 0x01
00001805: PUSH1 0xa0
00001807: PUSH1 0x02
00001809: EXP
0000180a: SUB
0000180b: AND
0000180c: PUSH1 0x00
0000180e: DUP2
0000180f: DUP2
00001810: MSTORE
00001811: PUSH1 0x07
00001813: SWAP1
00001814: SWAP4
00001815: MSTORE
00001816: PUSH1 0x40
00001818: SWAP1
00001819: SWAP3
0000181a: KECCAK256
0000181b: PUSH1 0x02
0000181d: DUP2
0000181e: ADD
0000181f: SLOAD
00001820: SWAP3
00001821: SWAP6
00001822: POP
00001823: SWAP4
00001824: POP
00001825: POP
00001826: PUSH1 0xff
00001828: AND
00001829: ISZERO
0000182a: PUSH2 0x18dc
0000182d: JUMPI
0000182e: PUSH1 0x02
00001830: DUP3
00001831: ADD
00001832: DUP1
00001833: SLOAD
00001834: PUSH1 0xff
00001836: NOT
00001837: AND
00001838: SWAP1
00001839: SSTORE
0000183a: PUSH1 0x01
0000183c: PUSH1 0xa0
0000183e: PUSH1 0x02
00001840: EXP
00001841: SUB
00001842: DUP4
00001843: AND
00001844: PUSH32 0xcdd2e9b91a56913d370075169cefa1602ba36be5301664f752192bb1709df757
00001865: PUSH1 0x40
00001867: MLOAD
00001868: PUSH1 0x40
0000186a: MLOAD
0000186b: DUP1
0000186c: SWAP2
0000186d: SUB
0000186e: SWAP1
0000186f: LOG2
00001870: DUP2
00001871: SLOAD
00001872: PUSH1 0x00
00001874: SWAP1
00001875: GT
00001876: ISZERO
00001877: PUSH2 0x18dc
0000187a: JUMPI
0000187b: DUP2
0000187c: SLOAD
0000187d: PUSH1 0x08
0000187f: DUP1
00001880: SLOAD
00001881: SWAP2
00001882: SWAP1
00001883: SWAP2
00001884: SUB
00001885: DUP2
00001886: SSTORE
00001887: DUP3
00001888: SLOAD
00001889: PUSH1 0x01
0000188b: DUP5
0000188c: ADD
0000188d: DUP1
0000188e: SLOAD
0000188f: SWAP1
00001890: SWAP2
00001891: ADD
00001892: SWAP1
00001893: DUP2
00001894: SWAP1
00001895: SSTORE
00001896: PUSH1 0x00
00001898: DUP1
00001899: DUP6
0000189a: SSTORE
0000189b: SWAP2
0000189c: SLOAD
0000189d: PUSH1 0x01
0000189f: PUSH1 0xa0
000018a1: PUSH1 0x02
000018a3: EXP
000018a4: SUB
000018a5: DUP7
000018a6: AND
000018a7: SWAP3
000018a8: PUSH1 0x00
000018aa: DUP1
000018ab: MLOAD
000018ac: PUSH1 0x20
000018ae: PUSH2 0x2118
000018b1: DUP4
000018b2: CODECOPY
000018b3: DUP2
000018b4: MLOAD
000018b5: SWAP2
000018b6: MSTORE
000018b7: SWAP3
000018b8: SWAP2
000018b9: PUSH1 0x40
000018bb: MLOAD
000018bc: DUP1
000018bd: DUP5
000018be: DUP2
000018bf: MSTORE
000018c0: PUSH1 0x20
000018c2: ADD
000018c3: DUP4
000018c4: DUP2
000018c5: MSTORE
000018c6: PUSH1 0x20
000018c8: ADD
000018c9: DUP3
000018ca: DUP2
000018cb: MSTORE
000018cc: PUSH1 0x20
000018ce: ADD
000018cf: SWAP4
000018d0: POP
000018d1: POP
000018d2: POP
000018d3: POP
000018d4: PUSH1 0x40
000018d6: MLOAD
000018d7: DUP1
000018d8: SWAP2
000018d9: SUB
000018da: SWAP1
000018db: LOG2
000018dc: JUMPDEST
000018dd: PUSH1 0x01
000018df: SWAP1
000018e0: SWAP4
000018e1: ADD
000018e2: SWAP3
000018e3: PUSH2 0x17e4
000018e6: JUMP
000018e7: JUMPDEST
000018e8: PUSH1 0x00
000018ea: SWAP4
000018eb: POP
000018ec: JUMPDEST
000018ed: DUP7
000018ee: DUP5
000018ef: LT
000018f0: ISZERO
000018f1: PUSH2 0x1923
000018f4: JUMPI
000018f5: PUSH2 0x1918
000018f8: DUP9
000018f9: DUP9
000018fa: DUP7
000018fb: DUP2
000018fc: DUP2
000018fd: LT
000018fe: PUSH2 0x1903
00001901: JUMPI
00001902: INVALID
00001903: JUMPDEST
00001904: SWAP1
00001905: POP
00001906: PUSH1 0x20
00001908: MUL
00001909: ADD
0000190a: CALLDATALOAD
0000190b: PUSH1 0x01
0000190d: PUSH1 0xa0
0000190f: PUSH1 0x02
00001911: EXP
00001912: SUB
00001913: AND
00001914: PUSH2 0x198a
00001917: JUMP
00001918: JUMPDEST
00001919: PUSH1 0x01
0000191b: SWAP1
0000191c: SWAP4
0000191d: ADD
0000191e: SWAP3
0000191f: PUSH2 0x18ec
00001922: JUMP
00001923: JUMPDEST
00001924: POP
00001925: POP
00001926: POP
00001927: POP
00001928: POP
00001929: POP
0000192a: POP
0000192b: POP
0000192c: JUMP
0000192d: JUMPDEST
0000192e: PUSH1 0x00
00001930: DUP1
00001931: JUMPDEST
00001932: DUP4
00001933: SLOAD
00001934: DUP2
00001935: LT
00001936: ISZERO
00001937: PUSH2 0x197e
0000193a: JUMPI
0000193b: DUP3
0000193c: PUSH1 0x01
0000193e: PUSH1 0xa0
00001940: PUSH1 0x02
00001942: EXP
00001943: SUB
00001944: AND
00001945: DUP5
00001946: DUP3
00001947: DUP2
00001948: SLOAD
00001949: DUP2
0000194a: LT
0000194b: ISZERO
0000194c: ISZERO
0000194d: PUSH2 0x1952
00001950: JUMPI
00001951: INVALID
00001952: JUMPDEST
00001953: PUSH1 0x00
00001955: SWAP2
00001956: DUP3
00001957: MSTORE
00001958: PUSH1 0x20
0000195a: SWAP1
0000195b: SWAP2
0000195c: KECCAK256
0000195d: ADD
0000195e: SLOAD
0000195f: PUSH1 0x01
00001961: PUSH1 0xa0
00001963: PUSH1 0x02
00001965: EXP
00001966: SUB
00001967: AND
00001968: EQ
00001969: ISZERO
0000196a: PUSH2 0x1976
0000196d: JUMPI
0000196e: PUSH1 0x01
00001970: SWAP2
00001971: POP
00001972: PUSH2 0x1983
00001975: JUMP
00001976: JUMPDEST
00001977: PUSH1 0x01
00001979: ADD
0000197a: PUSH2 0x1931
0000197d: JUMP
0000197e: JUMPDEST
0000197f: PUSH1 0x00
00001981: SWAP2
00001982: POP
00001983: JUMPDEST
00001984: POP
00001985: SWAP3
00001986: SWAP2
00001987: POP
00001988: POP
00001989: JUMP
0000198a: JUMPDEST
0000198b: PUSH1 0x01
0000198d: PUSH1 0xa0
0000198f: PUSH1 0x02
00001991: EXP
00001992: SUB
00001993: DUP2
00001994: AND
00001995: PUSH1 0x00
00001997: SWAP1
00001998: DUP2
00001999: MSTORE
0000199a: PUSH1 0x07
0000199c: PUSH1 0x20
0000199e: MSTORE
0000199f: PUSH1 0x40
000019a1: SWAP1
000019a2: KECCAK256
000019a3: PUSH1 0x02
000019a5: DUP2
000019a6: ADD
000019a7: SLOAD
000019a8: PUSH1 0xff
000019aa: AND
000019ab: ISZERO
000019ac: PUSH2 0x19b4
000019af: JUMPI
000019b0: PUSH2 0x08f5
000019b3: JUMP
000019b4: JUMPDEST
000019b5: PUSH1 0x02
000019b7: DUP2
000019b8: ADD
000019b9: DUP1
000019ba: SLOAD
000019bb: PUSH1 0xff
000019bd: NOT
000019be: AND
000019bf: PUSH1 0x01
000019c1: OR
000019c2: SWAP1
000019c3: SSTORE
000019c4: PUSH1 0x01
000019c6: PUSH1 0xa0
000019c8: PUSH1 0x02
000019ca: EXP
000019cb: SUB
000019cc: DUP3
000019cd: AND
000019ce: PUSH32 0x674271b83e1561ba88b26ca5a95180118599dc82d6471b22c805590ef85924e8
000019ef: PUSH1 0x40
000019f1: MLOAD
000019f2: PUSH1 0x40
000019f4: MLOAD
000019f5: DUP1
000019f6: SWAP2
000019f7: SUB
000019f8: SWAP1
000019f9: LOG2
000019fa: PUSH1 0x01
000019fc: DUP2
000019fd: ADD
000019fe: SLOAD
000019ff: ISZERO
00001a00: ISZERO
00001a01: PUSH2 0x1a09
00001a04: JUMPI
00001a05: PUSH2 0x08f5
00001a08: JUMP
00001a09: JUMPDEST
00001a0a: PUSH2 0x1a14
00001a0d: DUP3
00001a0e: PUSH1 0x00
00001a10: PUSH2 0x1ed0
00001a13: JUMP
00001a14: JUMPDEST
00001a15: PUSH1 0x01
00001a17: DUP4
00001a18: ADD
00001a19: SWAP1
00001a1a: DUP2
00001a1b: SSTORE
00001a1c: DUP2
00001a1d: DUP4
00001a1e: SSTORE
00001a1f: PUSH1 0x08
00001a21: DUP1
00001a22: SLOAD
00001a23: SWAP1
00001a24: SWAP3
00001a25: ADD
00001a26: SWAP2
00001a27: DUP3
00001a28: SWAP1
00001a29: SSTORE
00001a2a: SLOAD
00001a2b: DUP3
00001a2c: SLOAD
00001a2d: PUSH1 0x01
00001a2f: PUSH1 0xa0
00001a31: PUSH1 0x02
00001a33: EXP
00001a34: SUB
00001a35: DUP6
00001a36: AND
00001a37: SWAP3
00001a38: PUSH1 0x00
00001a3a: DUP1
00001a3b: MLOAD
00001a3c: PUSH1 0x20
00001a3e: PUSH2 0x2118
00001a41: DUP4
00001a42: CODECOPY
00001a43: DUP2
00001a44: MLOAD
00001a45: SWAP2
00001a46: MSTORE
00001a47: SWAP3
00001a48: SWAP2
00001a49: SWAP1
00001a4a: PUSH1 0x40
00001a4c: MLOAD
00001a4d: DUP1
00001a4e: DUP5
00001a4f: DUP2
00001a50: MSTORE
00001a51: PUSH1 0x20
00001a53: ADD
00001a54: DUP4
00001a55: DUP2
00001a56: MSTORE
00001a57: PUSH1 0x20
00001a59: ADD
00001a5a: DUP3
00001a5b: DUP2
00001a5c: MSTORE
00001a5d: PUSH1 0x20
00001a5f: ADD
00001a60: SWAP4
00001a61: POP
00001a62: POP
00001a63: POP
00001a64: POP
00001a65: PUSH1 0x40
00001a67: MLOAD
00001a68: DUP1
00001a69: SWAP2
00001a6a: SUB
00001a6b: SWAP1
00001a6c: LOG2
00001a6d: POP
00001a6e: POP
00001a6f: JUMP
00001a70: JUMPDEST
00001a71: PUSH1 0x00
00001a73: SLOAD
00001a74: PUSH32 0xfa441dfe95ea7994c16c2c9120482b6fe0888963d94853674dde4d7a7c105827
00001a95: SWAP1
00001a96: PUSH1 0xff
00001a98: AND
00001a99: DUP3
00001a9a: PUSH1 0x40
00001a9c: MLOAD
00001a9d: DUP1
00001a9e: DUP4
00001a9f: PUSH1 0x03
00001aa1: DUP2
00001aa2: GT
00001aa3: ISZERO
00001aa4: PUSH2 0x1aa9
00001aa7: JUMPI
00001aa8: INVALID
00001aa9: JUMPDEST
00001aaa: PUSH1 0xff
00001aac: AND
00001aad: DUP2
00001aae: MSTORE
00001aaf: PUSH1 0x20
00001ab1: ADD
00001ab2: DUP3
00001ab3: PUSH1 0x03
00001ab5: DUP2
00001ab6: GT
00001ab7: ISZERO
00001ab8: PUSH2 0x1abd
00001abb: JUMPI
00001abc: INVALID
00001abd: JUMPDEST
00001abe: PUSH1 0xff
00001ac0: AND
00001ac1: DUP2
00001ac2: MSTORE
00001ac3: PUSH1 0x20
00001ac5: ADD
00001ac6: SWAP3
00001ac7: POP
00001ac8: POP
00001ac9: POP
00001aca: PUSH1 0x40
00001acc: MLOAD
00001acd: DUP1
00001ace: SWAP2
00001acf: SUB
00001ad0: SWAP1
00001ad1: LOG1
00001ad2: PUSH1 0x00
00001ad4: DUP1
00001ad5: SLOAD
00001ad6: DUP3
00001ad7: SWAP2
00001ad8: SWAP1
00001ad9: PUSH1 0xff
00001adb: NOT
00001adc: AND
00001add: PUSH1 0x01
00001adf: DUP4
00001ae0: PUSH1 0x03
00001ae2: DUP2
00001ae3: GT
00001ae4: ISZERO
00001ae5: PUSH2 0x1aea
00001ae8: JUMPI
00001ae9: INVALID
00001aea: JUMPDEST
00001aeb: MUL
00001aec: OR
00001aed: SWAP1
00001aee: SSTORE
00001aef: POP
00001af0: POP
00001af1: JUMP
00001af2: JUMPDEST
00001af3: PUSH1 0x01
00001af5: PUSH1 0xa0
00001af7: PUSH1 0x02
00001af9: EXP
00001afa: SUB
00001afb: DUP3
00001afc: AND
00001afd: PUSH1 0x00
00001aff: SWAP1
00001b00: DUP2
00001b01: MSTORE
00001b02: PUSH1 0x07
00001b04: PUSH1 0x20
00001b06: MSTORE
00001b07: PUSH1 0x40
00001b09: DUP1
00001b0a: DUP3
00001b0b: KECCAK256
00001b0c: SWAP1
00001b0d: DUP3
00001b0e: SWAP1
00001b0f: DUP2
00001b10: SWAP1
00001b11: PUSH2 0x1b3c
00001b14: SWAP1
00001b15: DUP8
00001b16: SWAP1
00001b17: DUP8
00001b18: SWAP1
00001b19: DUP1
00001b1a: MLOAD
00001b1b: SWAP1
00001b1c: DUP2
00001b1d: ADD
00001b1e: PUSH1 0x40
00001b20: MSTORE
00001b21: DUP7
00001b22: SLOAD
00001b23: DUP2
00001b24: MSTORE
00001b25: PUSH1 0x08
00001b27: SLOAD
00001b28: PUSH1 0x20
00001b2a: DUP3
00001b2b: ADD
00001b2c: MSTORE
00001b2d: PUSH1 0x0f
00001b2f: SWAP3
00001b30: SWAP2
00001b31: SWAP1
00001b32: PUSH4 0xffffffff
00001b37: PUSH2 0x1fa1
00001b3a: AND
00001b3b: JUMP
00001b3c: JUMPDEST
00001b3d: PUSH1 0x11
00001b3f: SLOAD
00001b40: SWAP6
00001b41: DUP2
00001b42: SWAP1
00001b43: SUB
00001b44: SWAP6
00001b45: SWAP1
00001b46: SWAP3
00001b47: POP
00001b48: PUSH1 0x01
00001b4a: PUSH1 0xa0
00001b4c: PUSH1 0x02
00001b4e: EXP
00001b4f: SUB
00001b50: AND
00001b51: PUSH4 0xa9059cbb
00001b56: DUP8
00001b57: DUP5
00001b58: PUSH1 0x00
00001b5a: PUSH1 0x40
00001b5c: MLOAD
00001b5d: PUSH1 0x20
00001b5f: ADD
00001b60: MSTORE
00001b61: PUSH1 0x40
00001b63: MLOAD
00001b64: PUSH1 0xe0
00001b66: PUSH1 0x02
00001b68: EXP
00001b69: PUSH4 0xffffffff
00001b6e: DUP6
00001b6f: AND
00001b70: MUL
00001b71: DUP2
00001b72: MSTORE
00001b73: PUSH1 0x01
00001b75: PUSH1 0xa0
00001b77: PUSH1 0x02
00001b79: EXP
00001b7a: SUB
00001b7b: SWAP1
00001b7c: SWAP3
00001b7d: AND
00001b7e: PUSH1 0x04
00001b80: DUP4
00001b81: ADD
00001b82: MSTORE
00001b83: PUSH1 0x24
00001b85: DUP3
00001b86: ADD
00001b87: MSTORE
00001b88: PUSH1 0x44
00001b8a: ADD
00001b8b: PUSH1 0x20
00001b8d: PUSH1 0x40
00001b8f: MLOAD
00001b90: DUP1
00001b91: DUP4
00001b92: SUB
00001b93: DUP2
00001b94: PUSH1 0x00
00001b96: DUP8
00001b97: DUP1
00001b98: EXTCODESIZE
00001b99: ISZERO
00001b9a: ISZERO
00001b9b: PUSH2 0x1ba3
00001b9e: JUMPI
00001b9f: PUSH1 0x00
00001ba1: DUP1
00001ba2: REVERT
00001ba3: JUMPDEST
00001ba4: PUSH2 0x02c6
00001ba7: GAS
00001ba8: SUB
00001ba9: CALL
00001baa: ISZERO
00001bab: ISZERO
00001bac: PUSH2 0x1bb4
00001baf: JUMPI
00001bb0: PUSH1 0x00
00001bb2: DUP1
00001bb3: REVERT
00001bb4: JUMPDEST
00001bb5: POP
00001bb6: POP
00001bb7: POP
00001bb8: PUSH1 0x40
00001bba: MLOAD
00001bbb: DUP1
00001bbc: MLOAD
00001bbd: SWAP2
00001bbe: POP
00001bbf: POP
00001bc0: DUP1
00001bc1: ISZERO
00001bc2: ISZERO
00001bc3: PUSH2 0x1bde
00001bc6: JUMPI
00001bc7: PUSH2 0x1bd8
00001bca: PUSH1 0x0f
00001bcc: DUP8
00001bcd: DUP5
00001bce: PUSH4 0xffffffff
00001bd3: PUSH2 0x201f
00001bd6: AND
00001bd7: JUMP
00001bd8: JUMPDEST
00001bd9: POP
00001bda: SWAP4
00001bdb: DUP2
00001bdc: ADD
00001bdd: SWAP4
00001bde: JUMPDEST
00001bdf: DUP6
00001be0: PUSH1 0x01
00001be2: PUSH1 0xa0
00001be4: PUSH1 0x02
00001be6: EXP
00001be7: SUB
00001be8: AND
00001be9: PUSH32 0xed51c10b2e5fe60655b8910331d82f32b93691fa1a981a6e5cae786f3b7e63f2
00001c0a: DUP4
00001c0b: DUP4
00001c0c: DUP9
00001c0d: PUSH1 0x40
00001c0f: MLOAD
00001c10: SWAP3
00001c11: DUP4
00001c12: MSTORE
00001c13: SWAP1
00001c14: ISZERO
00001c15: ISZERO
00001c16: PUSH1 0x20
00001c18: DUP4
00001c19: ADD
00001c1a: MSTORE
00001c1b: PUSH1 0x40
00001c1d: DUP1
00001c1e: DUP4
00001c1f: ADD
00001c20: SWAP2
00001c21: SWAP1
00001c22: SWAP2
00001c23: MSTORE
00001c24: PUSH1 0x60
00001c26: SWAP1
00001c27: SWAP2
00001c28: ADD
00001c29: SWAP1
00001c2a: MLOAD
00001c2b: DUP1
00001c2c: SWAP2
00001c2d: SUB
00001c2e: SWAP1
00001c2f: LOG2
00001c30: POP
00001c31: SWAP3
00001c32: SWAP5
00001c33: SWAP4
00001c34: POP
00001c35: POP
00001c36: POP
00001c37: POP
00001c38: JUMP
00001c39: JUMPDEST
00001c3a: PUSH1 0x01
00001c3c: PUSH1 0xa0
00001c3e: PUSH1 0x02
00001c40: EXP
00001c41: SUB
00001c42: DUP2
00001c43: AND
00001c44: PUSH1 0x00
00001c46: SWAP1
00001c47: DUP2
00001c48: MSTORE
00001c49: PUSH1 0x07
00001c4b: PUSH1 0x20
00001c4d: MSTORE
00001c4e: PUSH1 0x40
00001c50: DUP2
00001c51: KECCAK256
00001c52: DUP1
00001c53: SLOAD
00001c54: PUSH1 0x01
00001c56: DUP3
00001c57: ADD
00001c58: SLOAD
00001c59: SWAP2
00001c5a: SWAP3
00001c5b: SWAP2
00001c5c: DUP3
00001c5d: SWAP2
00001c5e: ADD
00001c5f: ISZERO
00001c60: ISZERO
00001c61: PUSH2 0x1c69
00001c64: JUMPI
00001c65: PUSH2 0x14ec
00001c68: JUMP
00001c69: JUMPDEST
00001c6a: PUSH1 0x01
00001c6c: DUP4
00001c6d: ADD
00001c6e: DUP1
00001c6f: SLOAD
00001c70: PUSH1 0x00
00001c72: SWAP2
00001c73: DUP3
00001c74: SWAP1
00001c75: SSTORE
00001c76: SWAP3
00001c77: POP
00001c78: PUSH1 0x00
00001c7a: SLOAD
00001c7b: PUSH1 0xff
00001c7d: AND
00001c7e: PUSH1 0x03
00001c80: DUP2
00001c81: GT
00001c82: ISZERO
00001c83: PUSH2 0x1c88
00001c86: JUMPI
00001c87: INVALID
00001c88: JUMPDEST
00001c89: EQ
00001c8a: DUP1
00001c8b: PUSH2 0x1ca4
00001c8e: JUMPI
00001c8f: POP
00001c90: PUSH1 0x01
00001c92: PUSH1 0x00
00001c94: SLOAD
00001c95: PUSH1 0xff
00001c97: AND
00001c98: PUSH1 0x03
00001c9a: DUP2
00001c9b: GT
00001c9c: ISZERO
00001c9d: PUSH2 0x1ca2
00001ca0: JUMPI
00001ca1: INVALID
00001ca2: JUMPDEST
00001ca3: EQ
00001ca4: JUMPDEST
00001ca5: ISZERO
00001ca6: PUSH2 0x1d0f
00001ca9: JUMPI
00001caa: DUP3
00001cab: SLOAD
00001cac: PUSH1 0x08
00001cae: DUP1
00001caf: SLOAD
00001cb0: DUP3
00001cb1: SWAP1
00001cb2: SUB
00001cb3: DUP2
00001cb4: SSTORE
00001cb5: PUSH1 0x00
00001cb7: DUP1
00001cb8: DUP7
00001cb9: SSTORE
00001cba: SWAP1
00001cbb: SLOAD
00001cbc: SWAP4
00001cbd: SWAP1
00001cbe: SWAP2
00001cbf: ADD
00001cc0: SWAP3
00001cc1: PUSH1 0x01
00001cc3: PUSH1 0xa0
00001cc5: PUSH1 0x02
00001cc7: EXP
00001cc8: SUB
00001cc9: DUP7
00001cca: AND
00001ccb: SWAP2
00001ccc: PUSH1 0x00
00001cce: DUP1
00001ccf: MLOAD
00001cd0: PUSH1 0x20
00001cd2: PUSH2 0x20f8
00001cd5: DUP4
00001cd6: CODECOPY
00001cd7: DUP2
00001cd8: MLOAD
00001cd9: SWAP2
00001cda: MSTORE
00001cdb: SWAP2
00001cdc: DUP6
00001cdd: SWAP2
00001cde: SWAP1
00001cdf: DUP2
00001ce0: SWAP1
00001ce1: PUSH1 0x40
00001ce3: MLOAD
00001ce4: DUP1
00001ce5: DUP6
00001ce6: DUP2
00001ce7: MSTORE
00001ce8: PUSH1 0x20
00001cea: ADD
00001ceb: DUP5
00001cec: DUP2
00001ced: MSTORE
00001cee: PUSH1 0x20
00001cf0: ADD
00001cf1: DUP4
00001cf2: DUP2
00001cf3: MSTORE
00001cf4: PUSH1 0x20
00001cf6: ADD
00001cf7: DUP3
00001cf8: DUP2
00001cf9: MSTORE
00001cfa: PUSH1 0x20
00001cfc: ADD
00001cfd: SWAP5
00001cfe: POP
00001cff: POP
00001d00: POP
00001d01: POP
00001d02: POP
00001d03: PUSH1 0x40
00001d05: MLOAD
00001d06: DUP1
00001d07: SWAP2
00001d08: SUB
00001d09: SWAP1
00001d0a: LOG2
00001d0b: PUSH2 0x1e6c
00001d0e: JUMP
00001d0f: JUMPDEST
00001d10: PUSH1 0x03
00001d12: PUSH1 0x00
00001d14: SLOAD
00001d15: PUSH1 0xff
00001d17: AND
00001d18: PUSH1 0x03
00001d1a: DUP2
00001d1b: GT
00001d1c: ISZERO
00001d1d: PUSH2 0x1d22
00001d20: JUMPI
00001d21: INVALID
00001d22: JUMPDEST
00001d23: EQ
00001d24: ISZERO
00001d25: PUSH2 0x1e00
00001d28: JUMPI
00001d29: DUP4
00001d2a: PUSH1 0x01
00001d2c: PUSH1 0xa0
00001d2e: PUSH1 0x02
00001d30: EXP
00001d31: SUB
00001d32: AND
00001d33: PUSH1 0x00
00001d35: DUP1
00001d36: MLOAD
00001d37: PUSH1 0x20
00001d39: PUSH2 0x20f8
00001d3c: DUP4
00001d3d: CODECOPY
00001d3e: DUP2
00001d3f: MLOAD
00001d40: SWAP2
00001d41: MSTORE
00001d42: DUP4
00001d43: PUSH1 0x00
00001d45: DUP7
00001d46: PUSH1 0x00
00001d48: ADD
00001d49: SLOAD
00001d4a: PUSH1 0x08
00001d4c: SLOAD
00001d4d: PUSH1 0x40
00001d4f: MLOAD
00001d50: DUP1
00001d51: DUP6
00001d52: DUP2
00001d53: MSTORE
00001d54: PUSH1 0x20
00001d56: ADD
00001d57: DUP5
00001d58: DUP2
00001d59: MSTORE
00001d5a: PUSH1 0x20
00001d5c: ADD
00001d5d: DUP4
00001d5e: DUP2
00001d5f: MSTORE
00001d60: PUSH1 0x20
00001d62: ADD
00001d63: DUP3
00001d64: DUP2
00001d65: MSTORE
00001d66: PUSH1 0x20
00001d68: ADD
00001d69: SWAP5
00001d6a: POP
00001d6b: POP
00001d6c: POP
00001d6d: POP
00001d6e: POP
00001d6f: PUSH1 0x40
00001d71: MLOAD
00001d72: DUP1
00001d73: SWAP2
00001d74: SUB
00001d75: SWAP1
00001d76: LOG2
00001d77: PUSH2 0x1daf
00001d7a: DUP5
00001d7b: PUSH1 0x09
00001d7d: SLOAD
00001d7e: ADDRESS
00001d7f: PUSH1 0x01
00001d81: PUSH1 0xa0
00001d83: PUSH1 0x02
00001d85: EXP
00001d86: SUB
00001d87: AND
00001d88: BALANCE
00001d89: SUB
00001d8a: PUSH1 0x40
00001d8c: DUP1
00001d8d: MLOAD
00001d8e: SWAP1
00001d8f: DUP2
00001d90: ADD
00001d91: PUSH1 0x40
00001d93: MSTORE
00001d94: DUP7
00001d95: SLOAD
00001d96: DUP2
00001d97: MSTORE
00001d98: PUSH1 0x08
00001d9a: SLOAD
00001d9b: PUSH1 0x20
00001d9d: DUP3
00001d9e: ADD
00001d9f: MSTORE
00001da0: PUSH1 0x0c
00001da2: SWAP3
00001da3: SWAP2
00001da4: SWAP1
00001da5: PUSH4 0xffffffff
00001daa: PUSH2 0x1fa1
00001dad: AND
00001dae: JUMP
00001daf: JUMPDEST
00001db0: PUSH1 0x09
00001db2: DUP1
00001db3: SLOAD
00001db4: DUP5
00001db5: SWAP1
00001db6: SUB
00001db7: SWAP1
00001db8: SSTORE
00001db9: SWAP2
00001dba: DUP3
00001dbb: ADD
00001dbc: SWAP2
00001dbd: SWAP1
00001dbe: POP
00001dbf: PUSH1 0x01
00001dc1: PUSH1 0xa0
00001dc3: PUSH1 0x02
00001dc5: EXP
00001dc6: SUB
00001dc7: DUP5
00001dc8: AND
00001dc9: PUSH32 0x358fe4192934d3bf28ae181feda1f4bd08ca67f5e2fad55582cce5eb67304ae9
00001dea: DUP3
00001deb: PUSH1 0x40
00001ded: MLOAD
00001dee: SWAP1
00001def: DUP2
00001df0: MSTORE
00001df1: PUSH1 0x20
00001df3: ADD
00001df4: PUSH1 0x40
00001df6: MLOAD
00001df7: DUP1
00001df8: SWAP2
00001df9: SUB
00001dfa: SWAP1
00001dfb: LOG2
00001dfc: PUSH2 0x1e6c
00001dff: JUMP
00001e00: JUMPDEST
00001e01: PUSH1 0x02
00001e03: PUSH1 0x00
00001e05: SLOAD
00001e06: PUSH1 0xff
00001e08: AND
00001e09: PUSH1 0x03
00001e0b: DUP2
00001e0c: GT
00001e0d: ISZERO
00001e0e: PUSH2 0x1e13
00001e11: JUMPI
00001e12: INVALID
00001e13: JUMPDEST
00001e14: EQ
00001e15: PUSH2 0x1e1d
00001e18: JUMPI
00001e19: PUSH1 0x00
00001e1b: DUP1
00001e1c: REVERT
00001e1d: JUMPDEST
00001e1e: DUP4
00001e1f: PUSH1 0x01
00001e21: PUSH1 0xa0
00001e23: PUSH1 0x02
00001e25: EXP
00001e26: SUB
00001e27: AND
00001e28: PUSH1 0x00
00001e2a: DUP1
00001e2b: MLOAD
00001e2c: PUSH1 0x20
00001e2e: PUSH2 0x20f8
00001e31: DUP4
00001e32: CODECOPY
00001e33: DUP2
00001e34: MLOAD
00001e35: SWAP2
00001e36: MSTORE
00001e37: DUP4
00001e38: PUSH1 0x00
00001e3a: DUP7
00001e3b: PUSH1 0x00
00001e3d: ADD
00001e3e: SLOAD
00001e3f: PUSH1 0x08
00001e41: SLOAD
00001e42: PUSH1 0x40
00001e44: MLOAD
00001e45: DUP1
00001e46: DUP6
00001e47: DUP2
00001e48: MSTORE
00001e49: PUSH1 0x20
00001e4b: ADD
00001e4c: DUP5
00001e4d: DUP2
00001e4e: MSTORE
00001e4f: PUSH1 0x20
00001e51: ADD
00001e52: DUP4
00001e53: DUP2
00001e54: MSTORE
00001e55: PUSH1 0x20
00001e57: ADD
00001e58: DUP3
00001e59: DUP2
00001e5a: MSTORE
00001e5b: PUSH1 0x20
00001e5d: ADD
00001e5e: SWAP5
00001e5f: POP
00001e60: POP
00001e61: POP
00001e62: POP
00001e63: POP
00001e64: PUSH1 0x40
00001e66: MLOAD
00001e67: DUP1
00001e68: SWAP2
00001e69: SUB
00001e6a: SWAP1
00001e6b: LOG2
00001e6c: JUMPDEST
00001e6d: DUP4
00001e6e: PUSH1 0x01
00001e70: PUSH1 0xa0
00001e72: PUSH1 0x02
00001e74: EXP
00001e75: SUB
00001e76: AND
00001e77: DUP3
00001e78: PUSH1 0x40
00001e7a: MLOAD
00001e7b: PUSH1 0x00
00001e7d: PUSH1 0x40
00001e7f: MLOAD
00001e80: DUP1
00001e81: DUP4
00001e82: SUB
00001e83: DUP2
00001e84: DUP6
00001e85: DUP8
00001e86: PUSH2 0x8796
00001e89: GAS
00001e8a: SUB
00001e8b: CALL
00001e8c: SWAP3
00001e8d: POP
00001e8e: POP
00001e8f: POP
00001e90: ISZERO
00001e91: ISZERO
00001e92: PUSH2 0x14ec
00001e95: JUMPI
00001e96: PUSH1 0x00
00001e98: DUP1
00001e99: REVERT
00001e9a: JUMPDEST
00001e9b: PUSH1 0x06
00001e9d: SLOAD
00001e9e: PUSH1 0x00
00001ea0: SWAP1
00001ea1: PUSH1 0xff
00001ea3: AND
00001ea4: ISZERO
00001ea5: DUP1
00001ea6: PUSH2 0x1eca
00001ea9: JUMPI
00001eaa: POP
00001eab: PUSH1 0x01
00001ead: PUSH1 0xa0
00001eaf: PUSH1 0x02
00001eb1: EXP
00001eb2: SUB
00001eb3: DUP3
00001eb4: AND
00001eb5: PUSH1 0x00
00001eb7: SWAP1
00001eb8: DUP2
00001eb9: MSTORE
00001eba: PUSH1 0x07
00001ebc: PUSH1 0x20
00001ebe: MSTORE
00001ebf: PUSH1 0x40
00001ec1: SWAP1
00001ec2: KECCAK256
00001ec3: PUSH1 0x02
00001ec5: ADD
00001ec6: SLOAD
00001ec7: PUSH1 0xff
00001ec9: AND
00001eca: JUMPDEST
00001ecb: SWAP3
00001ecc: SWAP2
00001ecd: POP
00001ece: POP
00001ecf: JUMP
00001ed0: JUMPDEST
00001ed1: PUSH1 0x01
00001ed3: PUSH1 0xa0
00001ed5: PUSH1 0x02
00001ed7: EXP
00001ed8: SUB
00001ed9: DUP3
00001eda: AND
00001edb: PUSH1 0x00
00001edd: SWAP1
00001ede: DUP2
00001edf: MSTORE
00001ee0: PUSH1 0x07
00001ee2: PUSH1 0x20
00001ee4: MSTORE
00001ee5: PUSH1 0x40
00001ee7: DUP2
00001ee8: KECCAK256
00001ee9: DUP1
00001eea: SLOAD
00001eeb: PUSH1 0x01
00001eed: DUP3
00001eee: ADD
00001eef: SLOAD
00001ef0: DUP4
00001ef1: SWAP3
00001ef2: SWAP2
00001ef3: ADD
00001ef4: DUP5
00001ef5: ADD
00001ef6: DUP1
00001ef7: PUSH2 0x1eff
00001efa: DUP8
00001efb: PUSH2 0x1e9a
00001efe: JUMP
00001eff: JUMPDEST
00001f00: ISZERO
00001f01: ISZERO
00001f02: PUSH2 0x1f13
00001f05: JUMPI
00001f06: PUSH1 0x00
00001f08: SWAP5
00001f09: POP
00001f0a: SWAP1
00001f0b: SWAP3
00001f0c: POP
00001f0d: DUP3
00001f0e: SWAP1
00001f0f: PUSH2 0x1f5a
00001f12: JUMP
00001f13: JUMPDEST
00001f14: PUSH2 0x1f1f
00001f17: PUSH1 0x03
00001f19: SLOAD
00001f1a: DUP3
00001f1b: PUSH2 0x2072
00001f1e: JUMP
00001f1f: JUMPDEST
00001f20: SWAP1
00001f21: POP
00001f22: PUSH2 0x1f37
00001f25: DUP4
00001f26: PUSH1 0x00
00001f28: ADD
00001f29: SLOAD
00001f2a: PUSH1 0x08
00001f2c: SLOAD
00001f2d: PUSH1 0x04
00001f2f: SLOAD
00001f30: SUB
00001f31: ADD
00001f32: DUP3
00001f33: PUSH2 0x2072
00001f36: JUMP
00001f37: JUMPDEST
00001f38: SWAP1
00001f39: POP
00001f3a: PUSH1 0x02
00001f3c: SLOAD
00001f3d: DUP2
00001f3e: LT
00001f3f: ISZERO
00001f40: PUSH2 0x1f51
00001f43: JUMPI
00001f44: PUSH1 0x00
00001f46: SWAP5
00001f47: POP
00001f48: SWAP1
00001f49: SWAP3
00001f4a: POP
00001f4b: DUP3
00001f4c: SWAP1
00001f4d: PUSH2 0x1f5a
00001f50: JUMP
00001f51: JUMPDEST
00001f52: DUP1
00001f53: DUP2
00001f54: DUP4
00001f55: SUB
00001f56: SWAP5
00001f57: POP
00001f58: SWAP5
00001f59: POP
00001f5a: JUMPDEST
00001f5b: POP
00001f5c: POP
00001f5d: POP
00001f5e: SWAP3
00001f5f: POP
00001f60: SWAP3
00001f61: SWAP1
00001f62: POP
00001f63: JUMP
00001f64: JUMPDEST
00001f65: PUSH1 0x03
00001f67: SLOAD
00001f68: PUSH1 0x02
00001f6a: SLOAD
00001f6b: GT
00001f6c: ISZERO
00001f6d: DUP1
00001f6e: ISZERO
00001f6f: PUSH2 0x1f7c
00001f72: JUMPI
00001f73: POP
00001f74: PUSH1 0x04
00001f76: SLOAD
00001f77: PUSH1 0x03
00001f79: SLOAD
00001f7a: GT
00001f7b: ISZERO
00001f7c: JUMPDEST
00001f7d: DUP1
00001f7e: ISZERO
00001f7f: PUSH2 0x1f96
00001f82: JUMPI
00001f83: POP
00001f84: PUSH12 0x033b2e3c9fd0803ce8000000
00001f91: PUSH1 0x04
00001f93: SLOAD
00001f94: GT
00001f95: ISZERO
00001f96: JUMPDEST
00001f97: ISZERO
00001f98: ISZERO
00001f99: PUSH2 0x1018
00001f9c: JUMPI
00001f9d: PUSH1 0x00
00001f9f: DUP1
00001fa0: REVERT
00001fa1: JUMPDEST
00001fa2: PUSH1 0x00
00001fa4: DUP1
00001fa5: PUSH1 0x00
00001fa7: DUP1
00001fa8: PUSH2 0x1fc0
00001fab: DUP9
00001fac: PUSH1 0x01
00001fae: ADD
00001faf: SLOAD
00001fb0: DUP8
00001fb1: ADD
00001fb2: DUP7
00001fb3: PUSH2 0x2089
00001fb6: SWAP1
00001fb7: SWAP2
00001fb8: SWAP1
00001fb9: PUSH4 0xffffffff
00001fbe: AND
00001fbf: JUMP
00001fc0: JUMPDEST
00001fc1: PUSH1 0x01
00001fc3: PUSH1 0xa0
00001fc5: PUSH1 0x02
00001fc7: EXP
00001fc8: SUB
00001fc9: DUP9
00001fca: AND
00001fcb: PUSH1 0x00
00001fcd: SWAP1
00001fce: DUP2
00001fcf: MSTORE
00001fd0: PUSH1 0x20
00001fd2: DUP11
00001fd3: SWAP1
00001fd4: MSTORE
00001fd5: PUSH1 0x40
00001fd7: SWAP1
00001fd8: KECCAK256
00001fd9: SLOAD
00001fda: SWAP1
00001fdb: SWAP4
00001fdc: POP
00001fdd: SWAP2
00001fde: POP
00001fdf: DUP3
00001fe0: DUP3
00001fe1: GT
00001fe2: ISZERO
00001fe3: PUSH2 0x1fe8
00001fe6: JUMPI
00001fe7: INVALID
00001fe8: JUMPDEST
00001fe9: POP
00001fea: PUSH1 0x01
00001fec: PUSH1 0xa0
00001fee: PUSH1 0x02
00001ff0: EXP
00001ff1: SUB
00001ff2: SWAP6
00001ff3: SWAP1
00001ff4: SWAP6
00001ff5: AND
00001ff6: PUSH1 0x00
00001ff8: SWAP1
00001ff9: DUP2
00001ffa: MSTORE
00001ffb: PUSH1 0x20
00001ffd: DUP8
00001ffe: SWAP1
00001fff: MSTORE
00002000: PUSH1 0x40
00002002: SWAP1
00002003: KECCAK256
00002004: DUP1
00002005: SLOAD
00002006: SWAP6
00002007: SWAP1
00002008: SWAP2
00002009: SUB
0000200a: SWAP5
0000200b: DUP6
0000200c: ADD
0000200d: SWAP1
0000200e: SSTORE
0000200f: POP
00002010: POP
00002011: POP
00002012: PUSH1 0x01
00002014: SWAP1
00002015: SWAP2
00002016: ADD
00002017: DUP1
00002018: SLOAD
00002019: DUP3
0000201a: ADD
0000201b: SWAP1
0000201c: SSTORE
0000201d: SWAP1
0000201e: JUMP
0000201f: JUMPDEST
00002020: PUSH1 0x01
00002022: PUSH1 0xa0
00002024: PUSH1 0x02
00002026: EXP
00002027: SUB
00002028: DUP3
00002029: AND
0000202a: PUSH1 0x00
0000202c: SWAP1
0000202d: DUP2
0000202e: MSTORE
0000202f: PUSH1 0x20
00002031: DUP5
00002032: SWAP1
00002033: MSTORE
00002034: PUSH1 0x40
00002036: DUP2
00002037: KECCAK256
00002038: SLOAD
00002039: DUP3
0000203a: GT
0000203b: ISZERO
0000203c: PUSH2 0x2041
0000203f: JUMPI
00002040: INVALID
00002041: JUMPDEST
00002042: PUSH1 0x01
00002044: PUSH1 0xa0
00002046: PUSH1 0x02
00002048: EXP
00002049: SUB
0000204a: SWAP1
0000204b: SWAP3
0000204c: AND
0000204d: PUSH1 0x00
0000204f: SWAP1
00002050: DUP2
00002051: MSTORE
00002052: PUSH1 0x20
00002054: DUP5
00002055: SWAP1
00002056: MSTORE
00002057: PUSH1 0x40
00002059: SWAP1
0000205a: KECCAK256
0000205b: DUP1
0000205c: SLOAD
0000205d: DUP3
0000205e: SWAP1
0000205f: SUB
00002060: SWAP1
00002061: SSTORE
00002062: PUSH1 0x01
00002064: SWAP1
00002065: SWAP3
00002066: ADD
00002067: DUP1
00002068: SLOAD
00002069: SWAP3
0000206a: SWAP1
0000206b: SWAP3
0000206c: SUB
0000206d: SWAP1
0000206e: SWAP2
0000206f: SSTORE
00002070: SWAP1
00002071: JUMP
00002072: JUMPDEST
00002073: PUSH1 0x00
00002075: DUP2
00002076: DUP4
00002077: LT
00002078: ISZERO
00002079: PUSH2 0x2083
0000207c: JUMPI
0000207d: POP
0000207e: DUP2
0000207f: PUSH2 0x1eca
00002082: JUMP
00002083: JUMPDEST
00002084: POP
00002085: SWAP2
00002086: SWAP1
00002087: POP
00002088: JUMP
00002089: JUMPDEST
0000208a: PUSH1 0x00
0000208c: PUSH1 0x20
0000208e: DUP4
0000208f: ADD
00002090: MLOAD
00002091: DUP4
00002092: MLOAD
00002093: DUP4
00002094: MUL
00002095: DUP2
00002096: ISZERO
00002097: ISZERO
00002098: PUSH2 0x209d
0000209b: JUMPI
0000209c: INVALID
0000209d: JUMPDEST
0000209e: DIV
0000209f: SWAP4
000020a0: SWAP3
000020a1: POP
000020a2: POP
000020a3: POP
000020a4: JUMP
000020a5: JUMPDEST
000020a6: PUSH1 0x20
000020a8: PUSH1 0x40
000020aa: MLOAD
000020ab: SWAP1
000020ac: DUP2
000020ad: ADD
000020ae: PUSH1 0x40
000020b0: MSTORE
000020b1: PUSH1 0x00
000020b3: DUP2
000020b4: MSTORE
000020b5: SWAP1
000020b6: JUMP
000020b7: JUMPDEST
000020b8: DUP2
000020b9: SLOAD
000020ba: DUP2
000020bb: DUP4
000020bc: SSTORE
000020bd: DUP2
000020be: DUP2
000020bf: ISZERO
000020c0: GT
000020c1: PUSH2 0x07ea
000020c4: JUMPI
000020c5: PUSH1 0x00
000020c7: DUP4
000020c8: DUP2
000020c9: MSTORE
000020ca: PUSH1 0x20
000020cc: SWAP1
000020cd: KECCAK256
000020ce: PUSH2 0x07ea
000020d1: SWAP2
000020d2: DUP2
000020d3: ADD
000020d4: SWAP1
000020d5: DUP4
000020d6: ADD
000020d7: PUSH2 0x20f4
000020da: SWAP2
000020db: SWAP1
000020dc: JUMPDEST
000020dd: DUP1
000020de: DUP3
000020df: GT
000020e0: ISZERO
000020e1: PUSH2 0x20f0
000020e4: JUMPI
000020e5: PUSH1 0x00
000020e7: DUP2
000020e8: SSTORE
000020e9: PUSH1 0x01
000020eb: ADD
000020ec: PUSH2 0x20dc
000020ef: JUMP
000020f0: JUMPDEST
000020f1: POP
000020f2: SWAP1
000020f3: JUMP
000020f4: JUMPDEST
000020f5: SWAP1
000020f6: JUMP
000020f7: STOP
000020f8: UNKNOWN(0xF9)
000020f9: DUP8
000020fa: LOG0
000020fb: UNKNOWN(0xD9)
000020fc: CREATE
000020fd: UNKNOWN(0xE5)
000020fe: PUSH25 0xdfa8c474d32937d241643b2ba5d1abc53439c5b8e7f176db2e
00002118: UNKNOWN(0xB5)
00002119: UNKNOWN(0xB7)
0000211a: UNKNOWN(0xAF)
0000211b: UNKNOWN(0xD1)
0000211c: SWAP2
0000211d: KECCAK256
0000211e: UNKNOWN(0xE2)
0000211f: REVERT
00002120: UNKNOWN(0xCC)
00002121: AND
00002122: CALLDATALOAD
00002123: SWAP8
00002124: UNKNOWN(0xA8)
00002125: PUSH16 0xbe89ae50e622014b66e53de941c87eec
00002136: ADDMOD
00002137: UNKNOWN(0x22)
00002138: LOG1
00002139: PUSH6 0x627a7a723058
00002140: KECCAK256
00002141: SDIV
00002142: UNKNOWN(0xB1)
00002143: SAR
00002144: JUMPDEST
00002145: UNKNOWN(0x4D)
00002146: UNKNOWN(0xEC)
00002147: MSTORE8
00002148: SWAP10
00002149: UNKNOWN(0xDF)
0000214a: ORIGIN
0000214b: SWAP5
0000214c: BLOBHASH
0000214d: UNKNOWN(0xD9)
0000214e: UNKNOWN(0xB3)
0000214f: UNKNOWN(0x2F)
00002150: DIFFICULTY
00002151: KECCAK256
00002152: GASPRICE
00002153: RETURNDATACOPY
00002154: UNKNOWN(0x22)
00002155: UNKNOWN(0x28)
00002156: TLOAD
00002157: UNKNOWN(0xC3)
00002158: SWAP4
00002159: DUP8
0000215a: UNKNOWN(0xB2)
0000215b: UNKNOWN(0xC1)
0000215c: SWAP6
0000215d: UNKNOWN(0x2A)
0000215e: AND
0000215f: DUP14
00002160: PUSH0
00002161: STOP
00002162: UNKNOWN(0x29)