Analysis Run

[codex:136705] OpenAI Codex v0.77.0 (research preview)
[codex:136705] --------
[codex:136705] workdir: /tmp/codex-multi-o3zjqfrz
[codex:136705] model: gpt-5.2-codex
[codex:136705] provider: openai
[codex:136705] approval: never
[codex:136705] sandbox: read-only
[codex:136705] reasoning effort: xhigh
[codex:136705] reasoning summaries: auto
[codex:136705] session id: 019b81cc-fa6f-7780-9c8e-a3de4393e150
[codex:136705] --------
[codex:136705] user
[codex:136705] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:136705] 
[codex:136705] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:136705] 
[codex:136705] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:136705] - Gas inefficiency, code quality, naming, or best practices
[codex:136705] - Theoretical vulnerabilities without a clear extraction path
[codex:136705] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:136705] - Front-running unless it enables theft beyond MEV
[codex:136705] - DoS, griefing, or issues that don't result in attacker profit
[codex:136705] - Missing events, view function issues, or informational findings
[codex:136705] 
[codex:136705] HIGH-VALUE PATTERNS TO HUNT:
[codex:136705] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:136705] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:136705] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:136705] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:136705] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:136705] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:136705] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:136705] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:136705] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:136705] 
[codex:136705] For each finding, you MUST provide:
[codex:136705] 1. Exact file and line numbers of vulnerable code
[codex:136705] 2. Step-by-step exploit transaction sequence
[codex:136705] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:136705] 
[codex:136705] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:136705] 
[codex:136705] Output MUST be valid JSON matching the provided schema.
[codex:136705] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:136705] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:136705] mcp startup: no servers
[codex:136705] 
[codex:136705] thinking
[codex:136705] **Preparing to audit audit_bundle**
[codex:136705] exec
[codex:136705] /bin/bash -lc ls in /tmp/codex-multi-o3zjqfrz succeeded in 5ms:
[codex:136705] AUDIT_BUNDLE.txt
[codex:136705] codex-output-schema.json
[codex:136705] contracts
[codex:136705] exec
[codex:136705] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-o3zjqfrz succeeded in 5ms:
[codex:136705] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:136705] 
[codex:136705] ================================================================================
[codex:136705] FILE: contracts/Contract.sol
[codex:136705] ================================================================================
[codex:136705] pragma solidity ^0.4.16;
[codex:136705] 
[codex:136705] // SafeMath Taken From FirstBlood
[codex:136705] contract SafeMath {
[codex:136705]     function safeMul(uint a, uint b) internal returns (uint) {
[codex:136705]         uint c = a * b;
[codex:136705]         assert(a == 0 || c / a == b);
[codex:136705]         return c;
[codex:136705]     }
[codex:136705] 
[codex:136705]     function safeDiv(uint a, uint b) internal returns (uint) {
[codex:136705]         assert(b > 0);
[codex:136705]         uint c = a / b;
[codex:136705]         assert(a == b * c + a % b);
[codex:136705]         return c;
[codex:136705] 
[codex:136705] thinking
[codex:136705] **Analyzing profit-related vulnerabilities**
[codex:136705] 
[codex:136705] I'm carefully reviewing the contract for profit-extraction bugs, focusing on reentrancy and access controls. The biggest issue I see is an accounting bug in `settleSeller` where authorized settlers can mint tokens by not reducing their own balance, allowing inflation exploitable for profit. Trust assumptions limit who can do this, but if untrusted settlers exist, they could exploit this flaw. I'll locate exact code lines next.
[codex:136705] exec
[codex:136705] /bin/bash -lc 'nl -ba contracts/Contract.sol' in /tmp/codex-multi-o3zjqfrz succeeded in 8ms:
[codex:136705]      1	pragma solidity ^0.4.16;
[codex:136705]      2	
[codex:136705]      3	// SafeMath Taken From FirstBlood
[codex:136705]      4	contract SafeMath {
[codex:136705]      5	    function safeMul(uint a, uint b) internal returns (uint) {
[codex:136705]      6	        uint c = a * b;
[codex:136705]      7	        assert(a == 0 || c / a == b);
[codex:136705]      8	        return c;
[codex:136705]      9	    }
[codex:136705]     10	
[codex:136705]     11	    function safeDiv(uint a, uint b) internal returns (uint) {
[codex:136705]     12	        assert(b > 0);
[codex:136705]     13	        uint c = a / b;
[codex:136705]     14	        assert(a == b * c + a % b);
[codex:136705]     15	        return c;
[codex:136705]     16	    }
[codex:136705]     17	
[codex:136705]     18	    function safeSub(uint a, uint b) internal returns (uint) {
[codex:136705]     19	        assert(b <= a);
[codex:136705]     20	        return a - b;
[codex:136705] 
[codex:136705] thinking
[codex:136705] **Analyzing critical settleSeller vulnerability**
[codex:136705] codex
[codex:136705] {"no_findings":false,"summary":"One exploitable accounting bug lets any whitelisted settler mint WOLK to themselves without debiting their balance, then sell the inflated tokens for ETH via the exchange.","findings":[{"severity":"high","category":"math","title":"Settler can mint WOLK to self in settleSeller without balance debit, then drain ETH via sellWolk","exploit_scenario":"1) Attacker is whitelisted as a settler (owner calls setServiceFee for the attacker) and settlement is running. 2) Attacker acquires a small WOLK balance (purchaseWolk/transfer) to satisfy the balance check. 3) Attacker calls settleSeller(attacker, _value). The function computes transferredToSeller = _value - seviceFee, checks balances[msg.sender] >= transferredToSeller, then credits balances[_seller] but never deducts balances[msg.sender]. If _seller == attacker, their balance increases by transferredToSeller with no offset. 4) Repeat to inflate balance arbitrarily. 5) Once exchange is running (exchangeIsRunning && allSaleCompleted), attacker calls sellWolk repeatedly to convert the inflated WOLK into ETH, draining the contract’s ETH reserve; each call is capped by estLiquidationCap but can be looped across transactions.","recommendation":"Deduct the service provider’s balance in settleSeller (e.g., balances[msg.sender] = safeSub(balances[msg.sender], transferredToSeller)) before crediting the seller, and consider debiting the full _value if that is the intended accounting.","evidence":"In settleSeller, balances[_seller] is increased but balances[msg.sender] is never reduced.","locations":["contracts/Contract.sol:454","contracts/Contract.sol:456","contracts/Contract.sol:465","contracts/Contract.sol:466","contracts/Contract.sol:467"]}]}
[codex:136705] tokens used
[codex:136705] 41,704
[codex:136705] {"no_findings":false,"summary":"One exploitable accounting bug lets any whitelisted settler mint WOLK to themselves without debiting their balance, then sell the inflated tokens for ETH via the exchange.","findings":[{"severity":"high","category":"math","title":"Settler can mint WOLK to self in settleSeller without balance debit, then drain ETH via sellWolk","exploit_scenario":"1) Attacker is whitelisted as a settler (owner calls setServiceFee for the attacker) and settlement is running. 2) Attacker acquires a small WOLK balance (purchaseWolk/transfer) to satisfy the balance check. 3) Attacker calls settleSeller(attacker, _value). The function computes transferredToSeller = _value - seviceFee, checks balances[msg.sender] >= transferredToSeller, then credits balances[_seller] but never deducts balances[msg.sender]. If _seller == attacker, their balance increases by transferredToSeller with no offset. 4) Repeat to inflate balance arbitrarily. 5) Once exchange is running (exchangeIsRunning && allSaleCompleted), attacker calls sellWolk repeatedly to convert the inflated WOLK into ETH, draining the contract’s ETH reserve; each call is capped by estLiquidationCap but can be looped across transactions.","recommendation":"Deduct the service provider’s balance in settleSeller (e.g., balances[msg.sender] = safeSub(balances[msg.sender], transferredToSeller)) before crediting the seller, and consider debiting the full _value if that is the intended accounting.","evidence":"In settleSeller, balances[_seller] is increased but balances[msg.sender] is never reduced.","locations":["contracts/Contract.sol:454","contracts/Contract.sol:456","contracts/Contract.sol:465","contracts/Contract.sol:466","contracts/Contract.sol:467"]}]}

{
    "codex": {
        "ran_at": "2026-01-03T03:02:02.193669+00:00",
        "returncode": 0
    },
    "summary": "One exploitable accounting bug lets any whitelisted settler mint WOLK to themselves without debiting their balance, then sell the inflated tokens for ETH via the exchange.",
    "raw_final": {
        "summary": "One exploitable accounting bug lets any whitelisted settler mint WOLK to themselves without debiting their balance, then sell the inflated tokens for ETH via the exchange.",
        "findings": [
            {
                "title": "Settler can mint WOLK to self in settleSeller without balance debit, then drain ETH via sellWolk",
                "category": "math",
                "evidence": "In settleSeller, balances[_seller] is increased but balances[msg.sender] is never reduced.",
                "severity": "high",
                "locations": [
                    "contracts/Contract.sol:454",
                    "contracts/Contract.sol:456",
                    "contracts/Contract.sol:465",
                    "contracts/Contract.sol:466",
                    "contracts/Contract.sol:467"
                ],
                "recommendation": "Deduct the service provider\u2019s balance in settleSeller (e.g., balances[msg.sender] = safeSub(balances[msg.sender], transferredToSeller)) before crediting the seller, and consider debiting the full _value if that is the intended accounting.",
                "exploit_scenario": "1) Attacker is whitelisted as a settler (owner calls setServiceFee for the attacker) and settlement is running. 2) Attacker acquires a small WOLK balance (purchaseWolk/transfer) to satisfy the balance check. 3) Attacker calls settleSeller(attacker, _value). The function computes transferredToSeller = _value - seviceFee, checks balances[msg.sender] >= transferredToSeller, then credits balances[_seller] but never deducts balances[msg.sender]. If _seller == attacker, their balance increases by transferredToSeller with no offset. 4) Repeat to inflate balance arbitrarily. 5) Once exchange is running (exchangeIsRunning && allSaleCompleted), attacker calls sellWolk repeatedly to convert the inflated WOLK into ETH, draining the contract\u2019s ETH reserve; each call is capped by estLiquidationCap but can be looped across transactions."
            }
        ],
        "no_findings": false
    },
    "no_findings": false,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: CALLDATASIZE
00000006: ISZERO
00000007: PUSH2 0x02a2
0000000a: JUMPI
0000000b: PUSH4 0xffffffff
00000010: PUSH1 0xe0
00000012: PUSH1 0x02
00000014: EXP
00000015: PUSH1 0x00
00000017: CALLDATALOAD
00000018: DIV
00000019: AND
0000001a: PUSH3 0x310e16
0000001e: DUP2
0000001f: EQ
00000020: PUSH2 0x03b6
00000023: JUMPI
00000024: DUP1
00000025: PUSH4 0x06fdde03
0000002a: EQ
0000002b: PUSH2 0x03de
0000002e: JUMPI
0000002f: DUP1
00000030: PUSH4 0x079ee6b3
00000035: EQ
00000036: PUSH2 0x0469
00000039: JUMPI
0000003a: DUP1
0000003b: PUSH4 0x095ea7b3
00000040: EQ
00000041: PUSH2 0x050c
00000044: JUMPI
00000045: DUP1
00000046: PUSH4 0x112ea262
0000004b: EQ
0000004c: PUSH2 0x0542
0000004f: JUMPI
00000050: DUP1
00000051: PUSH4 0x18160ddd
00000056: EQ
00000057: PUSH2 0x0575
0000005a: JUMPI
0000005b: DUP1
0000005c: PUSH4 0x189d165e
00000061: EQ
00000062: PUSH2 0x059a
00000065: JUMPI
00000066: DUP1
00000067: PUSH4 0x23b872dd
0000006c: EQ
0000006d: PUSH2 0x05c4
00000070: JUMPI
00000071: DUP1
00000072: PUSH4 0x2659d8ef
00000077: EQ
00000078: PUSH2 0x0600
0000007b: JUMPI
0000007c: DUP1
0000007d: PUSH4 0x2f7a407b
00000082: EQ
00000083: PUSH2 0x0633
00000086: JUMPI
00000087: DUP1
00000088: PUSH4 0x313ce567
0000008d: EQ
0000008e: PUSH2 0x0662
00000091: JUMPI
00000092: DUP1
00000093: PUSH4 0x32c6f315
00000098: EQ
00000099: PUSH2 0x0687
0000009c: JUMPI
0000009d: DUP1
0000009e: PUSH4 0x3bee0613
000000a3: EQ
000000a4: PUSH2 0x06ae
000000a7: JUMPI
000000a8: DUP1
000000a9: PUSH4 0x3d8c9b8c
000000ae: EQ
000000af: PUSH2 0x06da
000000b2: JUMPI
000000b3: DUP1
000000b4: PUSH4 0x421521b1
000000b9: EQ
000000ba: PUSH2 0x0700
000000bd: JUMPI
000000be: DUP1
000000bf: PUSH4 0x4bb278f3
000000c4: EQ
000000c5: PUSH2 0x0715
000000c8: JUMPI
000000c9: DUP1
000000ca: PUSH4 0x54b8dfcb
000000cf: EQ
000000d0: PUSH2 0x071f
000000d3: JUMPI
000000d4: DUP1
000000d5: PUSH4 0x590e1ae3
000000da: EQ
000000db: PUSH2 0x0755
000000de: JUMPI
000000df: DUP1
000000e0: PUSH4 0x5e0b1259
000000e5: EQ
000000e6: PUSH2 0x076a
000000e9: JUMPI
000000ea: DUP1
000000eb: PUSH4 0x64da8ad3
000000f0: EQ
000000f1: PUSH2 0x078f
000000f4: JUMPI
000000f5: DUP1
000000f6: PUSH4 0x6712e0be
000000fb: EQ
000000fc: PUSH2 0x07c5
000000ff: JUMPI
00000100: DUP1
00000101: PUSH4 0x673b57e9
00000106: EQ
00000107: PUSH2 0x07ea
0000010a: JUMPI
0000010b: DUP1
0000010c: PUSH4 0x685c234a
00000111: EQ
00000112: PUSH2 0x081d
00000115: JUMPI
00000116: DUP1
00000117: PUSH4 0x6c9c1d41
0000011c: EQ
0000011d: PUSH2 0x0856
00000120: JUMPI
00000121: DUP1
00000122: PUSH4 0x70a08231
00000127: EQ
00000128: PUSH2 0x0887
0000012b: JUMPI
0000012c: DUP1
0000012d: PUSH4 0x714d497a
00000132: EQ
00000133: PUSH2 0x08b8
00000136: JUMPI
00000137: DUP1
00000138: PUSH4 0x726df9cc
0000013d: EQ
0000013e: PUSH2 0x08dd
00000141: JUMPI
00000142: DUP1
00000143: PUSH4 0x79ba5097
00000148: EQ
00000149: PUSH2 0x0916
0000014c: JUMPI
0000014d: DUP1
0000014e: PUSH4 0x7e1c0c09
00000153: EQ
00000154: PUSH2 0x092b
00000157: JUMPI
00000158: DUP1
00000159: PUSH4 0x823ba0b8
0000015e: EQ
0000015f: PUSH2 0x0950
00000162: JUMPI
00000163: DUP1
00000164: PUSH4 0x826c69b8
00000169: EQ
0000016a: PUSH2 0x097f
0000016d: JUMPI
0000016e: DUP1
0000016f: PUSH4 0x847dc0a7
00000174: EQ
00000175: PUSH2 0x09b0
00000178: JUMPI
00000179: DUP1
0000017a: PUSH4 0x8da5cb5b
0000017f: EQ
00000180: PUSH2 0x09d9
00000183: JUMPI
00000184: DUP1
00000185: PUSH4 0x8ea8e149
0000018a: EQ
0000018b: PUSH2 0x0a08
0000018e: JUMPI
0000018f: DUP1
00000190: PUSH4 0x9075becf
00000195: EQ
00000196: PUSH2 0x0a41
00000199: JUMPI
0000019a: DUP1
0000019b: PUSH4 0x95d89b41
000001a0: EQ
000001a1: PUSH2 0x0a70
000001a4: JUMPI
000001a5: DUP1
000001a6: PUSH4 0x99dd1ed9
000001ab: EQ
000001ac: PUSH2 0x0afb
000001af: JUMPI
000001b0: DUP1
000001b1: PUSH4 0x9a436c9b
000001b6: EQ
000001b7: PUSH2 0x0b20
000001ba: JUMPI
000001bb: DUP1
000001bc: PUSH4 0xa10954fe
000001c1: EQ
000001c2: PUSH2 0x0b45
000001c5: JUMPI
000001c6: DUP1
000001c7: PUSH4 0xa9059cbb
000001cc: EQ
000001cd: PUSH2 0x0b6a
000001d0: JUMPI
000001d1: DUP1
000001d2: PUSH4 0xacac0b9f
000001d7: EQ
000001d8: PUSH2 0x0ba0
000001db: JUMPI
000001dc: DUP1
000001dd: PUSH4 0xad7e01c8
000001e2: EQ
000001e3: PUSH2 0x0bca
000001e6: JUMPI
000001e7: DUP1
000001e8: PUSH4 0xb1a9bd77
000001ed: EQ
000001ee: PUSH2 0x0c0c
000001f1: JUMPI
000001f2: DUP1
000001f3: PUSH4 0xb57e6ea1
000001f8: EQ
000001f9: PUSH2 0x0c33
000001fc: JUMPI
000001fd: DUP1
000001fe: PUSH4 0xb87fb3db
00000203: EQ
00000204: PUSH2 0x0c58
00000207: JUMPI
00000208: DUP1
00000209: PUSH4 0xbcbfe43c
0000020e: EQ
0000020f: PUSH2 0x0c7d
00000212: JUMPI
00000213: DUP1
00000214: PUSH4 0xc5b15057
00000219: EQ
0000021a: PUSH2 0x0ca4
0000021d: JUMPI
0000021e: DUP1
0000021f: PUSH4 0xcba9c0e0
00000224: EQ
00000225: PUSH2 0x0cd0
00000228: JUMPI
00000229: DUP1
0000022a: PUSH4 0xd4ee1d90
0000022f: EQ
00000230: PUSH2 0x0cf5
00000233: JUMPI
00000234: DUP1
00000235: PUSH4 0xdd62ed3e
0000023a: EQ
0000023b: PUSH2 0x0d24
0000023e: JUMPI
0000023f: DUP1
00000240: PUSH4 0xde179108
00000245: EQ
00000246: PUSH2 0x0d5b
00000249: JUMPI
0000024a: DUP1
0000024b: PUSH4 0xe814c941
00000250: EQ
00000251: PUSH2 0x0d82
00000254: JUMPI
00000255: DUP1
00000256: PUSH4 0xef2fa169
0000025b: EQ
0000025c: PUSH2 0x0de5
0000025f: JUMPI
00000260: DUP1
00000261: PUSH4 0xf2e1192a
00000266: EQ
00000267: PUSH2 0x0e1b
0000026a: JUMPI
0000026b: DUP1
0000026c: PUSH4 0xf2fde38b
00000271: EQ
00000272: PUSH2 0x0e4a
00000275: JUMPI
00000276: DUP1
00000277: PUSH4 0xf7dadf7d
0000027c: EQ
0000027d: PUSH2 0x0e6b
00000280: JUMPI
00000281: DUP1
00000282: PUSH4 0xf7fca4f4
00000287: EQ
00000288: PUSH2 0x0e9e
0000028b: JUMPI
0000028c: DUP1
0000028d: PUSH4 0xfa6b129d
00000292: EQ
00000293: PUSH2 0x0ed1
00000296: JUMPI
00000297: DUP1
00000298: PUSH4 0xff0935b1
0000029d: EQ
0000029e: PUSH2 0x0ee7
000002a1: JUMPI
000002a2: JUMPDEST
000002a3: JUMPDEST
000002a4: PUSH1 0x00
000002a6: CALLVALUE
000002a7: GT
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: PUSH1 0x08
000002b3: SLOAD
000002b4: PUSH1 0xa8
000002b6: PUSH1 0x02
000002b8: EXP
000002b9: SWAP1
000002ba: DIV
000002bb: PUSH1 0xff
000002bd: AND
000002be: ISZERO
000002bf: ISZERO
000002c0: PUSH2 0x032b
000002c3: JUMPI
000002c4: ADDRESS
000002c5: PUSH1 0x01
000002c7: PUSH1 0xa0
000002c9: PUSH1 0x02
000002cb: EXP
000002cc: SUB
000002cd: AND
000002ce: PUSH4 0xfa6b129d
000002d3: CALLVALUE
000002d4: CALLER
000002d5: PUSH1 0x40
000002d7: MLOAD
000002d8: PUSH1 0xe0
000002da: PUSH1 0x02
000002dc: EXP
000002dd: PUSH4 0xffffffff
000002e2: DUP6
000002e3: AND
000002e4: MUL
000002e5: DUP2
000002e6: MSTORE
000002e7: PUSH1 0x01
000002e9: PUSH1 0xa0
000002eb: PUSH1 0x02
000002ed: EXP
000002ee: SUB
000002ef: SWAP1
000002f0: SWAP2
000002f1: AND
000002f2: PUSH1 0x04
000002f4: DUP3
000002f5: ADD
000002f6: MSTORE
000002f7: PUSH1 0x24
000002f9: ADD
000002fa: PUSH1 0x00
000002fc: PUSH1 0x40
000002fe: MLOAD
000002ff: DUP1
00000300: DUP4
00000301: SUB
00000302: DUP2
00000303: DUP6
00000304: DUP9
00000305: DUP1
00000306: EXTCODESIZE
00000307: ISZERO
00000308: ISZERO
00000309: PUSH2 0x0311
0000030c: JUMPI
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: REVERT
00000311: JUMPDEST
00000312: PUSH2 0x25ee
00000315: GAS
00000316: SUB
00000317: CALL
00000318: ISZERO
00000319: ISZERO
0000031a: PUSH2 0x0322
0000031d: JUMPI
0000031e: PUSH1 0x00
00000320: DUP1
00000321: REVERT
00000322: JUMPDEST
00000323: POP
00000324: POP
00000325: POP
00000326: POP
00000327: PUSH2 0x03b2
0000032a: JUMP
0000032b: JUMPDEST
0000032c: PUSH1 0x13
0000032e: SLOAD
0000032f: NUMBER
00000330: LT
00000331: PUSH2 0x03ad
00000334: JUMPI
00000335: ADDRESS
00000336: PUSH1 0x01
00000338: PUSH1 0xa0
0000033a: PUSH1 0x02
0000033c: EXP
0000033d: SUB
0000033e: AND
0000033f: PUSH4 0x3d8c9b8c
00000344: CALLVALUE
00000345: CALLER
00000346: PUSH1 0x00
00000348: PUSH1 0x40
0000034a: MLOAD
0000034b: PUSH1 0x20
0000034d: ADD
0000034e: MSTORE
0000034f: PUSH1 0x40
00000351: MLOAD
00000352: PUSH1 0xe0
00000354: PUSH1 0x02
00000356: EXP
00000357: PUSH4 0xffffffff
0000035c: DUP6
0000035d: AND
0000035e: MUL
0000035f: DUP2
00000360: MSTORE
00000361: PUSH1 0x01
00000363: PUSH1 0xa0
00000365: PUSH1 0x02
00000367: EXP
00000368: SUB
00000369: SWAP1
0000036a: SWAP2
0000036b: AND
0000036c: PUSH1 0x04
0000036e: DUP3
0000036f: ADD
00000370: MSTORE
00000371: PUSH1 0x24
00000373: ADD
00000374: PUSH1 0x20
00000376: PUSH1 0x40
00000378: MLOAD
00000379: DUP1
0000037a: DUP4
0000037b: SUB
0000037c: DUP2
0000037d: DUP6
0000037e: DUP9
0000037f: DUP1
00000380: EXTCODESIZE
00000381: ISZERO
00000382: ISZERO
00000383: PUSH2 0x038b
00000386: JUMPI
00000387: PUSH1 0x00
00000389: DUP1
0000038a: REVERT
0000038b: JUMPDEST
0000038c: PUSH2 0x25ee
0000038f: GAS
00000390: SUB
00000391: CALL
00000392: ISZERO
00000393: ISZERO
00000394: PUSH2 0x039c
00000397: JUMPI
00000398: PUSH1 0x00
0000039a: DUP1
0000039b: REVERT
0000039c: JUMPDEST
0000039d: POP
0000039e: POP
0000039f: POP
000003a0: POP
000003a1: PUSH1 0x40
000003a3: MLOAD
000003a4: DUP1
000003a5: MLOAD
000003a6: SWAP1
000003a7: POP
000003a8: POP
000003a9: PUSH2 0x03b2
000003ac: JUMP
000003ad: JUMPDEST
000003ae: PUSH1 0x00
000003b0: DUP1
000003b1: REVERT
000003b2: JUMPDEST
000003b3: JUMPDEST
000003b4: JUMPDEST
000003b5: STOP
000003b6: JUMPDEST
000003b7: CALLVALUE
000003b8: ISZERO
000003b9: PUSH2 0x03c1
000003bc: JUMPI
000003bd: PUSH1 0x00
000003bf: DUP1
000003c0: REVERT
000003c1: JUMPDEST
000003c2: PUSH2 0x03cc
000003c5: PUSH1 0x04
000003c7: CALLDATALOAD
000003c8: PUSH2 0x0f22
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH1 0x40
000003cf: MLOAD
000003d0: SWAP1
000003d1: DUP2
000003d2: MSTORE
000003d3: PUSH1 0x20
000003d5: ADD
000003d6: PUSH1 0x40
000003d8: MLOAD
000003d9: DUP1
000003da: SWAP2
000003db: SUB
000003dc: SWAP1
000003dd: RETURN
000003de: JUMPDEST
000003df: CALLVALUE
000003e0: ISZERO
000003e1: PUSH2 0x03e9
000003e4: JUMPI
000003e5: PUSH1 0x00
000003e7: DUP1
000003e8: REVERT
000003e9: JUMPDEST
000003ea: PUSH2 0x03f1
000003ed: PUSH2 0x10cf
000003f0: JUMP
000003f1: JUMPDEST
000003f2: PUSH1 0x40
000003f4: MLOAD
000003f5: PUSH1 0x20
000003f7: DUP1
000003f8: DUP3
000003f9: MSTORE
000003fa: DUP2
000003fb: SWAP1
000003fc: DUP2
000003fd: ADD
000003fe: DUP4
000003ff: DUP2
00000400: DUP2
00000401: MLOAD
00000402: DUP2
00000403: MSTORE
00000404: PUSH1 0x20
00000406: ADD
00000407: SWAP2
00000408: POP
00000409: DUP1
0000040a: MLOAD
0000040b: SWAP1
0000040c: PUSH1 0x20
0000040e: ADD
0000040f: SWAP1
00000410: DUP1
00000411: DUP4
00000412: DUP4
00000413: PUSH1 0x00
00000415: JUMPDEST
00000416: DUP4
00000417: DUP2
00000418: LT
00000419: ISZERO
0000041a: PUSH2 0x042e
0000041d: JUMPI
0000041e: DUP1
0000041f: DUP3
00000420: ADD
00000421: MLOAD
00000422: DUP2
00000423: DUP5
00000424: ADD
00000425: MSTORE
00000426: JUMPDEST
00000427: PUSH1 0x20
00000429: ADD
0000042a: PUSH2 0x0415
0000042d: JUMP
0000042e: JUMPDEST
0000042f: POP
00000430: POP
00000431: POP
00000432: POP
00000433: SWAP1
00000434: POP
00000435: SWAP1
00000436: DUP2
00000437: ADD
00000438: SWAP1
00000439: PUSH1 0x1f
0000043b: AND
0000043c: DUP1
0000043d: ISZERO
0000043e: PUSH2 0x045b
00000441: JUMPI
00000442: DUP1
00000443: DUP3
00000444: SUB
00000445: DUP1
00000446: MLOAD
00000447: PUSH1 0x01
00000449: DUP4
0000044a: PUSH1 0x20
0000044c: SUB
0000044d: PUSH2 0x0100
00000450: EXP
00000451: SUB
00000452: NOT
00000453: AND
00000454: DUP2
00000455: MSTORE
00000456: PUSH1 0x20
00000458: ADD
00000459: SWAP2
0000045a: POP
0000045b: JUMPDEST
0000045c: POP
0000045d: SWAP3
0000045e: POP
0000045f: POP
00000460: POP
00000461: PUSH1 0x40
00000463: MLOAD
00000464: DUP1
00000465: SWAP2
00000466: SUB
00000467: SWAP1
00000468: RETURN
00000469: JUMPDEST
0000046a: CALLVALUE
0000046b: ISZERO
0000046c: PUSH2 0x0474
0000046f: JUMPI
00000470: PUSH1 0x00
00000472: DUP1
00000473: REVERT
00000474: JUMPDEST
00000475: PUSH2 0x04f8
00000478: PUSH1 0x04
0000047a: PUSH1 0x24
0000047c: DUP2
0000047d: CALLDATALOAD
0000047e: DUP2
0000047f: DUP2
00000480: ADD
00000481: SWAP1
00000482: DUP4
00000483: ADD
00000484: CALLDATALOAD
00000485: DUP1
00000486: PUSH1 0x20
00000488: DUP2
00000489: DUP2
0000048a: MUL
0000048b: ADD
0000048c: PUSH1 0x40
0000048e: MLOAD
0000048f: SWAP1
00000490: DUP2
00000491: ADD
00000492: PUSH1 0x40
00000494: MSTORE
00000495: DUP1
00000496: SWAP4
00000497: SWAP3
00000498: SWAP2
00000499: SWAP1
0000049a: DUP2
0000049b: DUP2
0000049c: MSTORE
0000049d: PUSH1 0x20
0000049f: ADD
000004a0: DUP4
000004a1: DUP4
000004a2: PUSH1 0x20
000004a4: MUL
000004a5: DUP1
000004a6: DUP3
000004a7: DUP5
000004a8: CALLDATACOPY
000004a9: DUP3
000004aa: ADD
000004ab: SWAP2
000004ac: POP
000004ad: POP
000004ae: POP
000004af: POP
000004b0: POP
000004b1: POP
000004b2: SWAP2
000004b3: SWAP1
000004b4: DUP1
000004b5: CALLDATALOAD
000004b6: SWAP1
000004b7: PUSH1 0x20
000004b9: ADD
000004ba: SWAP1
000004bb: DUP3
000004bc: ADD
000004bd: DUP1
000004be: CALLDATALOAD
000004bf: SWAP1
000004c0: PUSH1 0x20
000004c2: ADD
000004c3: SWAP1
000004c4: DUP1
000004c5: DUP1
000004c6: PUSH1 0x20
000004c8: MUL
000004c9: PUSH1 0x20
000004cb: ADD
000004cc: PUSH1 0x40
000004ce: MLOAD
000004cf: SWAP1
000004d0: DUP2
000004d1: ADD
000004d2: PUSH1 0x40
000004d4: MSTORE
000004d5: DUP1
000004d6: SWAP4
000004d7: SWAP3
000004d8: SWAP2
000004d9: SWAP1
000004da: DUP2
000004db: DUP2
000004dc: MSTORE
000004dd: PUSH1 0x20
000004df: ADD
000004e0: DUP4
000004e1: DUP4
000004e2: PUSH1 0x20
000004e4: MUL
000004e5: DUP1
000004e6: DUP3
000004e7: DUP5
000004e8: CALLDATACOPY
000004e9: POP
000004ea: SWAP5
000004eb: SWAP7
000004ec: POP
000004ed: PUSH2 0x1106
000004f0: SWAP6
000004f1: POP
000004f2: POP
000004f3: POP
000004f4: POP
000004f5: POP
000004f6: POP
000004f7: JUMP
000004f8: JUMPDEST
000004f9: PUSH1 0x40
000004fb: MLOAD
000004fc: SWAP1
000004fd: ISZERO
000004fe: ISZERO
000004ff: DUP2
00000500: MSTORE
00000501: PUSH1 0x20
00000503: ADD
00000504: PUSH1 0x40
00000506: MLOAD
00000507: DUP1
00000508: SWAP2
00000509: SUB
0000050a: SWAP1
0000050b: RETURN
0000050c: JUMPDEST
0000050d: CALLVALUE
0000050e: ISZERO
0000050f: PUSH2 0x0517
00000512: JUMPI
00000513: PUSH1 0x00
00000515: DUP1
00000516: REVERT
00000517: JUMPDEST
00000518: PUSH2 0x04f8
0000051b: PUSH1 0x01
0000051d: PUSH1 0xa0
0000051f: PUSH1 0x02
00000521: EXP
00000522: SUB
00000523: PUSH1 0x04
00000525: CALLDATALOAD
00000526: AND
00000527: PUSH1 0x24
00000529: CALLDATALOAD
0000052a: PUSH2 0x11f3
0000052d: JUMP
0000052e: JUMPDEST
0000052f: PUSH1 0x40
00000531: MLOAD
00000532: SWAP1
00000533: ISZERO
00000534: ISZERO
00000535: DUP2
00000536: MSTORE
00000537: PUSH1 0x20
00000539: ADD
0000053a: PUSH1 0x40
0000053c: MLOAD
0000053d: DUP1
0000053e: SWAP2
0000053f: SUB
00000540: SWAP1
00000541: RETURN
00000542: JUMPDEST
00000543: CALLVALUE
00000544: ISZERO
00000545: PUSH2 0x054d
00000548: JUMPI
00000549: PUSH1 0x00
0000054b: DUP1
0000054c: REVERT
0000054d: JUMPDEST
0000054e: PUSH2 0x04f8
00000551: PUSH1 0x01
00000553: PUSH1 0xa0
00000555: PUSH1 0x02
00000557: EXP
00000558: SUB
00000559: PUSH1 0x04
0000055b: CALLDATALOAD
0000055c: AND
0000055d: PUSH2 0x129a
00000560: JUMP
00000561: JUMPDEST
00000562: PUSH1 0x40
00000564: MLOAD
00000565: SWAP1
00000566: ISZERO
00000567: ISZERO
00000568: DUP2
00000569: MSTORE
0000056a: PUSH1 0x20
0000056c: ADD
0000056d: PUSH1 0x40
0000056f: MLOAD
00000570: DUP1
00000571: SWAP2
00000572: SUB
00000573: SWAP1
00000574: RETURN
00000575: JUMPDEST
00000576: CALLVALUE
00000577: ISZERO
00000578: PUSH2 0x0580
0000057b: JUMPI
0000057c: PUSH1 0x00
0000057e: DUP1
0000057f: REVERT
00000580: JUMPDEST
00000581: PUSH2 0x03cc
00000584: PUSH2 0x133a
00000587: JUMP
00000588: JUMPDEST
00000589: PUSH1 0x40
0000058b: MLOAD
0000058c: SWAP1
0000058d: DUP2
0000058e: MSTORE
0000058f: PUSH1 0x20
00000591: ADD
00000592: PUSH1 0x40
00000594: MLOAD
00000595: DUP1
00000596: SWAP2
00000597: SUB
00000598: SWAP1
00000599: RETURN
0000059a: JUMPDEST
0000059b: CALLVALUE
0000059c: ISZERO
0000059d: PUSH2 0x05a5
000005a0: JUMPI
000005a1: PUSH1 0x00
000005a3: DUP1
000005a4: REVERT
000005a5: JUMPDEST
000005a6: PUSH2 0x04f8
000005a9: PUSH1 0x04
000005ab: CALLDATALOAD
000005ac: PUSH2 0x1341
000005af: JUMP
000005b0: JUMPDEST
000005b1: PUSH1 0x40
000005b3: MLOAD
000005b4: SWAP1
000005b5: ISZERO
000005b6: ISZERO
000005b7: DUP2
000005b8: MSTORE
000005b9: PUSH1 0x20
000005bb: ADD
000005bc: PUSH1 0x40
000005be: MLOAD
000005bf: DUP1
000005c0: SWAP2
000005c1: SUB
000005c2: SWAP1
000005c3: RETURN
000005c4: JUMPDEST
000005c5: CALLVALUE
000005c6: ISZERO
000005c7: PUSH2 0x05cf
000005ca: JUMPI
000005cb: PUSH1 0x00
000005cd: DUP1
000005ce: REVERT
000005cf: JUMPDEST
000005d0: PUSH2 0x04f8
000005d3: PUSH1 0x01
000005d5: PUSH1 0xa0
000005d7: PUSH1 0x02
000005d9: EXP
000005da: SUB
000005db: PUSH1 0x04
000005dd: CALLDATALOAD
000005de: DUP2
000005df: AND
000005e0: SWAP1
000005e1: PUSH1 0x24
000005e3: CALLDATALOAD
000005e4: AND
000005e5: PUSH1 0x44
000005e7: CALLDATALOAD
000005e8: PUSH2 0x1388
000005eb: JUMP
000005ec: JUMPDEST
000005ed: PUSH1 0x40
000005ef: MLOAD
000005f0: SWAP1
000005f1: ISZERO
000005f2: ISZERO
000005f3: DUP2
000005f4: MSTORE
000005f5: PUSH1 0x20
000005f7: ADD
000005f8: PUSH1 0x40
000005fa: MLOAD
000005fb: DUP1
000005fc: SWAP2
000005fd: SUB
000005fe: SWAP1
000005ff: RETURN
00000600: JUMPDEST
00000601: CALLVALUE
00000602: ISZERO
00000603: PUSH2 0x060b
00000606: JUMPI
00000607: PUSH1 0x00
00000609: DUP1
0000060a: REVERT
0000060b: JUMPDEST
0000060c: PUSH2 0x04f8
0000060f: PUSH1 0x01
00000611: PUSH1 0xa0
00000613: PUSH1 0x02
00000615: EXP
00000616: SUB
00000617: PUSH1 0x04
00000619: CALLDATALOAD
0000061a: AND
0000061b: PUSH2 0x14e0
0000061e: JUMP
0000061f: JUMPDEST
00000620: PUSH1 0x40
00000622: MLOAD
00000623: SWAP1
00000624: ISZERO
00000625: ISZERO
00000626: DUP2
00000627: MSTORE
00000628: PUSH1 0x20
0000062a: ADD
0000062b: PUSH1 0x40
0000062d: MLOAD
0000062e: DUP1
0000062f: SWAP2
00000630: SUB
00000631: SWAP1
00000632: RETURN
00000633: JUMPDEST
00000634: CALLVALUE
00000635: ISZERO
00000636: PUSH2 0x063e
00000639: JUMPI
0000063a: PUSH1 0x00
0000063c: DUP1
0000063d: REVERT
0000063e: JUMPDEST
0000063f: PUSH2 0x0646
00000642: PUSH2 0x156a
00000645: JUMP
00000646: JUMPDEST
00000647: PUSH1 0x40
00000649: MLOAD
0000064a: PUSH1 0x01
0000064c: PUSH1 0xa0
0000064e: PUSH1 0x02
00000650: EXP
00000651: SUB
00000652: SWAP1
00000653: SWAP2
00000654: AND
00000655: DUP2
00000656: MSTORE
00000657: PUSH1 0x20
00000659: ADD
0000065a: PUSH1 0x40
0000065c: MLOAD
0000065d: DUP1
0000065e: SWAP2
0000065f: SUB
00000660: SWAP1
00000661: RETURN
00000662: JUMPDEST
00000663: CALLVALUE
00000664: ISZERO
00000665: PUSH2 0x066d
00000668: JUMPI
00000669: PUSH1 0x00
0000066b: DUP1
0000066c: REVERT
0000066d: JUMPDEST
0000066e: PUSH2 0x03cc
00000671: PUSH2 0x1579
00000674: JUMP
00000675: JUMPDEST
00000676: PUSH1 0x40
00000678: MLOAD
00000679: SWAP1
0000067a: DUP2
0000067b: MSTORE
0000067c: PUSH1 0x20
0000067e: ADD
0000067f: PUSH1 0x40
00000681: MLOAD
00000682: DUP1
00000683: SWAP2
00000684: SUB
00000685: SWAP1
00000686: RETURN
00000687: JUMPDEST
00000688: CALLVALUE
00000689: ISZERO
0000068a: PUSH2 0x0692
0000068d: JUMPI
0000068e: PUSH1 0x00
00000690: DUP1
00000691: REVERT
00000692: JUMPDEST
00000693: PUSH2 0x04f8
00000696: PUSH2 0x157e
00000699: JUMP
0000069a: JUMPDEST
0000069b: PUSH1 0x40
0000069d: MLOAD
0000069e: SWAP1
0000069f: ISZERO
000006a0: ISZERO
000006a1: DUP2
000006a2: MSTORE
000006a3: PUSH1 0x20
000006a5: ADD
000006a6: PUSH1 0x40
000006a8: MLOAD
000006a9: DUP1
000006aa: SWAP2
000006ab: SUB
000006ac: SWAP1
000006ad: RETURN
000006ae: JUMPDEST
000006af: CALLVALUE
000006b0: ISZERO
000006b1: PUSH2 0x06b9
000006b4: JUMPI
000006b5: PUSH1 0x00
000006b7: DUP1
000006b8: REVERT
000006b9: JUMPDEST
000006ba: PUSH2 0x04f8
000006bd: PUSH1 0x04
000006bf: CALLDATALOAD
000006c0: ISZERO
000006c1: ISZERO
000006c2: PUSH2 0x158e
000006c5: JUMP
000006c6: JUMPDEST
000006c7: PUSH1 0x40
000006c9: MLOAD
000006ca: SWAP1
000006cb: ISZERO
000006cc: ISZERO
000006cd: DUP2
000006ce: MSTORE
000006cf: PUSH1 0x20
000006d1: ADD
000006d2: PUSH1 0x40
000006d4: MLOAD
000006d5: DUP1
000006d6: SWAP2
000006d7: SUB
000006d8: SWAP1
000006d9: RETURN
000006da: JUMPDEST
000006db: PUSH2 0x03cc
000006de: PUSH1 0x01
000006e0: PUSH1 0xa0
000006e2: PUSH1 0x02
000006e4: EXP
000006e5: SUB
000006e6: PUSH1 0x04
000006e8: CALLDATALOAD
000006e9: AND
000006ea: PUSH2 0x163a
000006ed: JUMP
000006ee: JUMPDEST
000006ef: PUSH1 0x40
000006f1: MLOAD
000006f2: SWAP1
000006f3: DUP2
000006f4: MSTORE
000006f5: PUSH1 0x20
000006f7: ADD
000006f8: PUSH1 0x40
000006fa: MLOAD
000006fb: DUP1
000006fc: SWAP2
000006fd: SUB
000006fe: SWAP1
000006ff: RETURN
00000700: JUMPDEST
00000701: CALLVALUE
00000702: ISZERO
00000703: PUSH2 0x070b
00000706: JUMPI
00000707: PUSH1 0x00
00000709: DUP1
0000070a: REVERT
0000070b: JUMPDEST
0000070c: PUSH2 0x03b2
0000070f: PUSH2 0x1777
00000712: JUMP
00000713: JUMPDEST
00000714: STOP
00000715: JUMPDEST
00000716: PUSH2 0x03b2
00000719: PUSH2 0x185b
0000071c: JUMP
0000071d: JUMPDEST
0000071e: STOP
0000071f: JUMPDEST
00000720: CALLVALUE
00000721: ISZERO
00000722: PUSH2 0x072a
00000725: JUMPI
00000726: PUSH1 0x00
00000728: DUP1
00000729: REVERT
0000072a: JUMPDEST
0000072b: PUSH2 0x04f8
0000072e: PUSH1 0x01
00000730: PUSH1 0xa0
00000732: PUSH1 0x02
00000734: EXP
00000735: SUB
00000736: PUSH1 0x04
00000738: CALLDATALOAD
00000739: AND
0000073a: PUSH1 0x24
0000073c: CALLDATALOAD
0000073d: PUSH2 0x19be
00000740: JUMP
00000741: JUMPDEST
00000742: PUSH1 0x40
00000744: MLOAD
00000745: SWAP1
00000746: ISZERO
00000747: ISZERO
00000748: DUP2
00000749: MSTORE
0000074a: PUSH1 0x20
0000074c: ADD
0000074d: PUSH1 0x40
0000074f: MLOAD
00000750: DUP1
00000751: SWAP2
00000752: SUB
00000753: SWAP1
00000754: RETURN
00000755: JUMPDEST
00000756: CALLVALUE
00000757: ISZERO
00000758: PUSH2 0x0760
0000075b: JUMPI
0000075c: PUSH1 0x00
0000075e: DUP1
0000075f: REVERT
00000760: JUMPDEST
00000761: PUSH2 0x03b2
00000764: PUSH2 0x1c10
00000767: JUMP
00000768: JUMPDEST
00000769: STOP
0000076a: JUMPDEST
0000076b: CALLVALUE
0000076c: ISZERO
0000076d: PUSH2 0x0775
00000770: JUMPI
00000771: PUSH1 0x00
00000773: DUP1
00000774: REVERT
00000775: JUMPDEST
00000776: PUSH2 0x03cc
00000779: PUSH2 0x1d67
0000077c: JUMP
0000077d: JUMPDEST
0000077e: PUSH1 0x40
00000780: MLOAD
00000781: SWAP1
00000782: DUP2
00000783: MSTORE
00000784: PUSH1 0x20
00000786: ADD
00000787: PUSH1 0x40
00000789: MLOAD
0000078a: DUP1
0000078b: SWAP2
0000078c: SUB
0000078d: SWAP1
0000078e: RETURN
0000078f: JUMPDEST
00000790: CALLVALUE
00000791: ISZERO
00000792: PUSH2 0x079a
00000795: JUMPI
00000796: PUSH1 0x00
00000798: DUP1
00000799: REVERT
0000079a: JUMPDEST
0000079b: PUSH2 0x04f8
0000079e: PUSH1 0x01
000007a0: PUSH1 0xa0
000007a2: PUSH1 0x02
000007a4: EXP
000007a5: SUB
000007a6: PUSH1 0x04
000007a8: CALLDATALOAD
000007a9: AND
000007aa: PUSH1 0x24
000007ac: CALLDATALOAD
000007ad: PUSH2 0x1d6d
000007b0: JUMP
000007b1: JUMPDEST
000007b2: PUSH1 0x40
000007b4: MLOAD
000007b5: SWAP1
000007b6: ISZERO
000007b7: ISZERO
000007b8: DUP2
000007b9: MSTORE
000007ba: PUSH1 0x20
000007bc: ADD
000007bd: PUSH1 0x40
000007bf: MLOAD
000007c0: DUP1
000007c1: SWAP2
000007c2: SUB
000007c3: SWAP1
000007c4: RETURN
000007c5: JUMPDEST
000007c6: CALLVALUE
000007c7: ISZERO
000007c8: PUSH2 0x07d0
000007cb: JUMPI
000007cc: PUSH1 0x00
000007ce: DUP1
000007cf: REVERT
000007d0: JUMPDEST
000007d1: PUSH2 0x03cc
000007d4: PUSH2 0x1ef6
000007d7: JUMP
000007d8: JUMPDEST
000007d9: PUSH1 0x40
000007db: MLOAD
000007dc: SWAP1
000007dd: DUP2
000007de: MSTORE
000007df: PUSH1 0x20
000007e1: ADD
000007e2: PUSH1 0x40
000007e4: MLOAD
000007e5: DUP1
000007e6: SWAP2
000007e7: SUB
000007e8: SWAP1
000007e9: RETURN
000007ea: JUMPDEST
000007eb: CALLVALUE
000007ec: ISZERO
000007ed: PUSH2 0x07f5
000007f0: JUMPI
000007f1: PUSH1 0x00
000007f3: DUP1
000007f4: REVERT
000007f5: JUMPDEST
000007f6: PUSH2 0x04f8
000007f9: PUSH1 0x01
000007fb: PUSH1 0xa0
000007fd: PUSH1 0x02
000007ff: EXP
00000800: SUB
00000801: PUSH1 0x04
00000803: CALLDATALOAD
00000804: AND
00000805: PUSH2 0x1f05
00000808: JUMP
00000809: JUMPDEST
0000080a: PUSH1 0x40
0000080c: MLOAD
0000080d: SWAP1
0000080e: ISZERO
0000080f: ISZERO
00000810: DUP2
00000811: MSTORE
00000812: PUSH1 0x20
00000814: ADD
00000815: PUSH1 0x40
00000817: MLOAD
00000818: DUP1
00000819: SWAP2
0000081a: SUB
0000081b: SWAP1
0000081c: RETURN
0000081d: JUMPDEST
0000081e: CALLVALUE
0000081f: ISZERO
00000820: PUSH2 0x0828
00000823: JUMPI
00000824: PUSH1 0x00
00000826: DUP1
00000827: REVERT
00000828: JUMPDEST
00000829: PUSH2 0x04f8
0000082c: PUSH1 0x01
0000082e: PUSH1 0xa0
00000830: PUSH1 0x02
00000832: EXP
00000833: SUB
00000834: PUSH1 0x04
00000836: CALLDATALOAD
00000837: DUP2
00000838: AND
00000839: SWAP1
0000083a: PUSH1 0x24
0000083c: CALLDATALOAD
0000083d: AND
0000083e: PUSH2 0x1f7b
00000841: JUMP
00000842: JUMPDEST
00000843: PUSH1 0x40
00000845: MLOAD
00000846: SWAP1
00000847: ISZERO
00000848: ISZERO
00000849: DUP2
0000084a: MSTORE
0000084b: PUSH1 0x20
0000084d: ADD
0000084e: PUSH1 0x40
00000850: MLOAD
00000851: DUP1
00000852: SWAP2
00000853: SUB
00000854: SWAP1
00000855: RETURN
00000856: JUMPDEST
00000857: CALLVALUE
00000858: ISZERO
00000859: PUSH2 0x0861
0000085c: JUMPI
0000085d: PUSH1 0x00
0000085f: DUP1
00000860: REVERT
00000861: JUMPDEST
00000862: PUSH2 0x03cc
00000865: PUSH1 0x01
00000867: PUSH1 0xa0
00000869: PUSH1 0x02
0000086b: EXP
0000086c: SUB
0000086d: PUSH1 0x04
0000086f: CALLDATALOAD
00000870: AND
00000871: PUSH2 0x1fab
00000874: JUMP
00000875: JUMPDEST
00000876: PUSH1 0x40
00000878: MLOAD
00000879: SWAP1
0000087a: DUP2
0000087b: MSTORE
0000087c: PUSH1 0x20
0000087e: ADD
0000087f: PUSH1 0x40
00000881: MLOAD
00000882: DUP1
00000883: SWAP2
00000884: SUB
00000885: SWAP1
00000886: RETURN
00000887: JUMPDEST
00000888: CALLVALUE
00000889: ISZERO
0000088a: PUSH2 0x0892
0000088d: JUMPI
0000088e: PUSH1 0x00
00000890: DUP1
00000891: REVERT
00000892: JUMPDEST
00000893: PUSH2 0x03cc
00000896: PUSH1 0x01
00000898: PUSH1 0xa0
0000089a: PUSH1 0x02
0000089c: EXP
0000089d: SUB
0000089e: PUSH1 0x04
000008a0: CALLDATALOAD
000008a1: AND
000008a2: PUSH2 0x1fca
000008a5: JUMP
000008a6: JUMPDEST
000008a7: PUSH1 0x40
000008a9: MLOAD
000008aa: SWAP1
000008ab: DUP2
000008ac: MSTORE
000008ad: PUSH1 0x20
000008af: ADD
000008b0: PUSH1 0x40
000008b2: MLOAD
000008b3: DUP1
000008b4: SWAP2
000008b5: SUB
000008b6: SWAP1
000008b7: RETURN
000008b8: JUMPDEST
000008b9: CALLVALUE
000008ba: ISZERO
000008bb: PUSH2 0x08c3
000008be: JUMPI
000008bf: PUSH1 0x00
000008c1: DUP1
000008c2: REVERT
000008c3: JUMPDEST
000008c4: PUSH2 0x03cc
000008c7: PUSH2 0x1fe9
000008ca: JUMP
000008cb: JUMPDEST
000008cc: PUSH1 0x40
000008ce: MLOAD
000008cf: SWAP1
000008d0: DUP2
000008d1: MSTORE
000008d2: PUSH1 0x20
000008d4: ADD
000008d5: PUSH1 0x40
000008d7: MLOAD
000008d8: DUP1
000008d9: SWAP2
000008da: SUB
000008db: SWAP1
000008dc: RETURN
000008dd: JUMPDEST
000008de: CALLVALUE
000008df: ISZERO
000008e0: PUSH2 0x08e8
000008e3: JUMPI
000008e4: PUSH1 0x00
000008e6: DUP1
000008e7: REVERT
000008e8: JUMPDEST
000008e9: PUSH2 0x04f8
000008ec: PUSH1 0x01
000008ee: PUSH1 0xa0
000008f0: PUSH1 0x02
000008f2: EXP
000008f3: SUB
000008f4: PUSH1 0x04
000008f6: CALLDATALOAD
000008f7: DUP2
000008f8: AND
000008f9: SWAP1
000008fa: PUSH1 0x24
000008fc: CALLDATALOAD
000008fd: AND
000008fe: PUSH2 0x1fef
00000901: JUMP
00000902: JUMPDEST
00000903: PUSH1 0x40
00000905: MLOAD
00000906: SWAP1
00000907: ISZERO
00000908: ISZERO
00000909: DUP2
0000090a: MSTORE
0000090b: PUSH1 0x20
0000090d: ADD
0000090e: PUSH1 0x40
00000910: MLOAD
00000911: DUP1
00000912: SWAP2
00000913: SUB
00000914: SWAP1
00000915: RETURN
00000916: JUMPDEST
00000917: CALLVALUE
00000918: ISZERO
00000919: PUSH2 0x0921
0000091c: JUMPI
0000091d: PUSH1 0x00
0000091f: DUP1
00000920: REVERT
00000921: JUMPDEST
00000922: PUSH2 0x03b2
00000925: PUSH2 0x20f1
00000928: JUMP
00000929: JUMPDEST
0000092a: STOP
0000092b: JUMPDEST
0000092c: CALLVALUE
0000092d: ISZERO
0000092e: PUSH2 0x0936
00000931: JUMPI
00000932: PUSH1 0x00
00000934: DUP1
00000935: REVERT
00000936: JUMPDEST
00000937: PUSH2 0x03cc
0000093a: PUSH2 0x2199
0000093d: JUMP
0000093e: JUMPDEST
0000093f: PUSH1 0x40
00000941: MLOAD
00000942: SWAP1
00000943: DUP2
00000944: MSTORE
00000945: PUSH1 0x20
00000947: ADD
00000948: PUSH1 0x40
0000094a: MLOAD
0000094b: DUP1
0000094c: SWAP2
0000094d: SUB
0000094e: SWAP1
0000094f: RETURN
00000950: JUMPDEST
00000951: CALLVALUE
00000952: ISZERO
00000953: PUSH2 0x095b
00000956: JUMPI
00000957: PUSH1 0x00
00000959: DUP1
0000095a: REVERT
0000095b: JUMPDEST
0000095c: PUSH2 0x0646
0000095f: PUSH2 0x219f
00000962: JUMP
00000963: JUMPDEST
00000964: PUSH1 0x40
00000966: MLOAD
00000967: PUSH1 0x01
00000969: PUSH1 0xa0
0000096b: PUSH1 0x02
0000096d: EXP
0000096e: SUB
0000096f: SWAP1
00000970: SWAP2
00000971: AND
00000972: DUP2
00000973: MSTORE
00000974: PUSH1 0x20
00000976: ADD
00000977: PUSH1 0x40
00000979: MLOAD
0000097a: DUP1
0000097b: SWAP2
0000097c: SUB
0000097d: SWAP1
0000097e: RETURN
0000097f: JUMPDEST
00000980: CALLVALUE
00000981: ISZERO
00000982: PUSH2 0x098a
00000985: JUMPI
00000986: PUSH1 0x00
00000988: DUP1
00000989: REVERT
0000098a: JUMPDEST
0000098b: PUSH2 0x03cc
0000098e: PUSH1 0x01
00000990: PUSH1 0xa0
00000992: PUSH1 0x02
00000994: EXP
00000995: SUB
00000996: PUSH1 0x04
00000998: CALLDATALOAD
00000999: AND
0000099a: PUSH2 0x21ae
0000099d: JUMP
0000099e: JUMPDEST
0000099f: PUSH1 0x40
000009a1: MLOAD
000009a2: SWAP1
000009a3: DUP2
000009a4: MSTORE
000009a5: PUSH1 0x20
000009a7: ADD
000009a8: PUSH1 0x40
000009aa: MLOAD
000009ab: DUP1
000009ac: SWAP2
000009ad: SUB
000009ae: SWAP1
000009af: RETURN
000009b0: JUMPDEST
000009b1: CALLVALUE
000009b2: ISZERO
000009b3: PUSH2 0x09bb
000009b6: JUMPI
000009b7: PUSH1 0x00
000009b9: DUP1
000009ba: REVERT
000009bb: JUMPDEST
000009bc: PUSH2 0x09c3
000009bf: PUSH2 0x21cd
000009c2: JUMP
000009c3: JUMPDEST
000009c4: PUSH1 0x40
000009c6: MLOAD
000009c7: PUSH1 0xff
000009c9: SWAP1
000009ca: SWAP2
000009cb: AND
000009cc: DUP2
000009cd: MSTORE
000009ce: PUSH1 0x20
000009d0: ADD
000009d1: PUSH1 0x40
000009d3: MLOAD
000009d4: DUP1
000009d5: SWAP2
000009d6: SUB
000009d7: SWAP1
000009d8: RETURN
000009d9: JUMPDEST
000009da: CALLVALUE
000009db: ISZERO
000009dc: PUSH2 0x09e4
000009df: JUMPI
000009e0: PUSH1 0x00
000009e2: DUP1
000009e3: REVERT
000009e4: JUMPDEST
000009e5: PUSH2 0x0646
000009e8: PUSH2 0x21d2
000009eb: JUMP
000009ec: JUMPDEST
000009ed: PUSH1 0x40
000009ef: MLOAD
000009f0: PUSH1 0x01
000009f2: PUSH1 0xa0
000009f4: PUSH1 0x02
000009f6: EXP
000009f7: SUB
000009f8: SWAP1
000009f9: SWAP2
000009fa: AND
000009fb: DUP2
000009fc: MSTORE
000009fd: PUSH1 0x20
000009ff: ADD
00000a00: PUSH1 0x40
00000a02: MLOAD
00000a03: DUP1
00000a04: SWAP2
00000a05: SUB
00000a06: SWAP1
00000a07: RETURN
00000a08: JUMPDEST
00000a09: CALLVALUE
00000a0a: ISZERO
00000a0b: PUSH2 0x0a13
00000a0e: JUMPI
00000a0f: PUSH1 0x00
00000a11: DUP1
00000a12: REVERT
00000a13: JUMPDEST
00000a14: PUSH2 0x04f8
00000a17: PUSH1 0x01
00000a19: PUSH1 0xa0
00000a1b: PUSH1 0x02
00000a1d: EXP
00000a1e: SUB
00000a1f: PUSH1 0x04
00000a21: CALLDATALOAD
00000a22: DUP2
00000a23: AND
00000a24: SWAP1
00000a25: PUSH1 0x24
00000a27: CALLDATALOAD
00000a28: AND
00000a29: PUSH2 0x21e1
00000a2c: JUMP
00000a2d: JUMPDEST
00000a2e: PUSH1 0x40
00000a30: MLOAD
00000a31: SWAP1
00000a32: ISZERO
00000a33: ISZERO
00000a34: DUP2
00000a35: MSTORE
00000a36: PUSH1 0x20
00000a38: ADD
00000a39: PUSH1 0x40
00000a3b: MLOAD
00000a3c: DUP1
00000a3d: SWAP2
00000a3e: SUB
00000a3f: SWAP1
00000a40: RETURN
00000a41: JUMPDEST
00000a42: CALLVALUE
00000a43: ISZERO
00000a44: PUSH2 0x0a4c
00000a47: JUMPI
00000a48: PUSH1 0x00
00000a4a: DUP1
00000a4b: REVERT
00000a4c: JUMPDEST
00000a4d: PUSH2 0x0646
00000a50: PUSH2 0x2274
00000a53: JUMP
00000a54: JUMPDEST
00000a55: PUSH1 0x40
00000a57: MLOAD
00000a58: PUSH1 0x01
00000a5a: PUSH1 0xa0
00000a5c: PUSH1 0x02
00000a5e: EXP
00000a5f: SUB
00000a60: SWAP1
00000a61: SWAP2
00000a62: AND
00000a63: DUP2
00000a64: MSTORE
00000a65: PUSH1 0x20
00000a67: ADD
00000a68: PUSH1 0x40
00000a6a: MLOAD
00000a6b: DUP1
00000a6c: SWAP2
00000a6d: SUB
00000a6e: SWAP1
00000a6f: RETURN
00000a70: JUMPDEST
00000a71: CALLVALUE
00000a72: ISZERO
00000a73: PUSH2 0x0a7b
00000a76: JUMPI
00000a77: PUSH1 0x00
00000a79: DUP1
00000a7a: REVERT
00000a7b: JUMPDEST
00000a7c: PUSH2 0x03f1
00000a7f: PUSH2 0x2283
00000a82: JUMP
00000a83: JUMPDEST
00000a84: PUSH1 0x40
00000a86: MLOAD
00000a87: PUSH1 0x20
00000a89: DUP1
00000a8a: DUP3
00000a8b: MSTORE
00000a8c: DUP2
00000a8d: SWAP1
00000a8e: DUP2
00000a8f: ADD
00000a90: DUP4
00000a91: DUP2
00000a92: DUP2
00000a93: MLOAD
00000a94: DUP2
00000a95: MSTORE
00000a96: PUSH1 0x20
00000a98: ADD
00000a99: SWAP2
00000a9a: POP
00000a9b: DUP1
00000a9c: MLOAD
00000a9d: SWAP1
00000a9e: PUSH1 0x20
00000aa0: ADD
00000aa1: SWAP1
00000aa2: DUP1
00000aa3: DUP4
00000aa4: DUP4
00000aa5: PUSH1 0x00
00000aa7: JUMPDEST
00000aa8: DUP4
00000aa9: DUP2
00000aaa: LT
00000aab: ISZERO
00000aac: PUSH2 0x042e
00000aaf: JUMPI
00000ab0: DUP1
00000ab1: DUP3
00000ab2: ADD
00000ab3: MLOAD
00000ab4: DUP2
00000ab5: DUP5
00000ab6: ADD
00000ab7: MSTORE
00000ab8: JUMPDEST
00000ab9: PUSH1 0x20
00000abb: ADD
00000abc: PUSH2 0x0415
00000abf: JUMP
00000ac0: JUMPDEST
00000ac1: POP
00000ac2: POP
00000ac3: POP
00000ac4: POP
00000ac5: SWAP1
00000ac6: POP
00000ac7: SWAP1
00000ac8: DUP2
00000ac9: ADD
00000aca: SWAP1
00000acb: PUSH1 0x1f
00000acd: AND
00000ace: DUP1
00000acf: ISZERO
00000ad0: PUSH2 0x045b
00000ad3: JUMPI
00000ad4: DUP1
00000ad5: DUP3
00000ad6: SUB
00000ad7: DUP1
00000ad8: MLOAD
00000ad9: PUSH1 0x01
00000adb: DUP4
00000adc: PUSH1 0x20
00000ade: SUB
00000adf: PUSH2 0x0100
00000ae2: EXP
00000ae3: SUB
00000ae4: NOT
00000ae5: AND
00000ae6: DUP2
00000ae7: MSTORE
00000ae8: PUSH1 0x20
00000aea: ADD
00000aeb: SWAP2
00000aec: POP
00000aed: JUMPDEST
00000aee: POP
00000aef: SWAP3
00000af0: POP
00000af1: POP
00000af2: POP
00000af3: PUSH1 0x40
00000af5: MLOAD
00000af6: DUP1
00000af7: SWAP2
00000af8: SUB
00000af9: SWAP1
00000afa: RETURN
00000afb: JUMPDEST
00000afc: CALLVALUE
00000afd: ISZERO
00000afe: PUSH2 0x0b06
00000b01: JUMPI
00000b02: PUSH1 0x00
00000b04: DUP1
00000b05: REVERT
00000b06: JUMPDEST
00000b07: PUSH2 0x03cc
00000b0a: PUSH2 0x22ba
00000b0d: JUMP
00000b0e: JUMPDEST
00000b0f: PUSH1 0x40
00000b11: MLOAD
00000b12: SWAP1
00000b13: DUP2
00000b14: MSTORE
00000b15: PUSH1 0x20
00000b17: ADD
00000b18: PUSH1 0x40
00000b1a: MLOAD
00000b1b: DUP1
00000b1c: SWAP2
00000b1d: SUB
00000b1e: SWAP1
00000b1f: RETURN
00000b20: JUMPDEST
00000b21: CALLVALUE
00000b22: ISZERO
00000b23: PUSH2 0x0b2b
00000b26: JUMPI
00000b27: PUSH1 0x00
00000b29: DUP1
00000b2a: REVERT
00000b2b: JUMPDEST
00000b2c: PUSH2 0x03cc
00000b2f: PUSH2 0x231b
00000b32: JUMP
00000b33: JUMPDEST
00000b34: PUSH1 0x40
00000b36: MLOAD
00000b37: SWAP1
00000b38: DUP2
00000b39: MSTORE
00000b3a: PUSH1 0x20
00000b3c: ADD
00000b3d: PUSH1 0x40
00000b3f: MLOAD
00000b40: DUP1
00000b41: SWAP2
00000b42: SUB
00000b43: SWAP1
00000b44: RETURN
00000b45: JUMPDEST
00000b46: CALLVALUE
00000b47: ISZERO
00000b48: PUSH2 0x0b50
00000b4b: JUMPI
00000b4c: PUSH1 0x00
00000b4e: DUP1
00000b4f: REVERT
00000b50: JUMPDEST
00000b51: PUSH2 0x03cc
00000b54: PUSH2 0x2321
00000b57: JUMP
00000b58: JUMPDEST
00000b59: PUSH1 0x40
00000b5b: MLOAD
00000b5c: SWAP1
00000b5d: DUP2
00000b5e: MSTORE
00000b5f: PUSH1 0x20
00000b61: ADD
00000b62: PUSH1 0x40
00000b64: MLOAD
00000b65: DUP1
00000b66: SWAP2
00000b67: SUB
00000b68: SWAP1
00000b69: RETURN
00000b6a: JUMPDEST
00000b6b: CALLVALUE
00000b6c: ISZERO
00000b6d: PUSH2 0x0b75
00000b70: JUMPI
00000b71: PUSH1 0x00
00000b73: DUP1
00000b74: REVERT
00000b75: JUMPDEST
00000b76: PUSH2 0x04f8
00000b79: PUSH1 0x01
00000b7b: PUSH1 0xa0
00000b7d: PUSH1 0x02
00000b7f: EXP
00000b80: SUB
00000b81: PUSH1 0x04
00000b83: CALLDATALOAD
00000b84: AND
00000b85: PUSH1 0x24
00000b87: CALLDATALOAD
00000b88: PUSH2 0x2327
00000b8b: JUMP
00000b8c: JUMPDEST
00000b8d: PUSH1 0x40
00000b8f: MLOAD
00000b90: SWAP1
00000b91: ISZERO
00000b92: ISZERO
00000b93: DUP2
00000b94: MSTORE
00000b95: PUSH1 0x20
00000b97: ADD
00000b98: PUSH1 0x40
00000b9a: MLOAD
00000b9b: DUP1
00000b9c: SWAP2
00000b9d: SUB
00000b9e: SWAP1
00000b9f: RETURN
00000ba0: JUMPDEST
00000ba1: CALLVALUE
00000ba2: ISZERO
00000ba3: PUSH2 0x0bab
00000ba6: JUMPI
00000ba7: PUSH1 0x00
00000ba9: DUP1
00000baa: REVERT
00000bab: JUMPDEST
00000bac: PUSH2 0x04f8
00000baf: PUSH1 0x04
00000bb1: CALLDATALOAD
00000bb2: PUSH2 0x241b
00000bb5: JUMP
00000bb6: JUMPDEST
00000bb7: PUSH1 0x40
00000bb9: MLOAD
00000bba: SWAP1
00000bbb: ISZERO
00000bbc: ISZERO
00000bbd: DUP2
00000bbe: MSTORE
00000bbf: PUSH1 0x20
00000bc1: ADD
00000bc2: PUSH1 0x40
00000bc4: MLOAD
00000bc5: DUP1
00000bc6: SWAP2
00000bc7: SUB
00000bc8: SWAP1
00000bc9: RETURN
00000bca: JUMPDEST
00000bcb: CALLVALUE
00000bcc: ISZERO
00000bcd: PUSH2 0x0bd5
00000bd0: JUMPI
00000bd1: PUSH1 0x00
00000bd3: DUP1
00000bd4: REVERT
00000bd5: JUMPDEST
00000bd6: PUSH2 0x04f8
00000bd9: PUSH1 0x04
00000bdb: CALLDATALOAD
00000bdc: PUSH1 0x24
00000bde: CALLDATALOAD
00000bdf: PUSH1 0x44
00000be1: CALLDATALOAD
00000be2: PUSH1 0x01
00000be4: PUSH1 0xa0
00000be6: PUSH1 0x02
00000be8: EXP
00000be9: SUB
00000bea: PUSH1 0x64
00000bec: CALLDATALOAD
00000bed: DUP2
00000bee: AND
00000bef: SWAP1
00000bf0: PUSH1 0x84
00000bf2: CALLDATALOAD
00000bf3: AND
00000bf4: PUSH2 0x2462
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH1 0x40
00000bfb: MLOAD
00000bfc: SWAP1
00000bfd: ISZERO
00000bfe: ISZERO
00000bff: DUP2
00000c00: MSTORE
00000c01: PUSH1 0x20
00000c03: ADD
00000c04: PUSH1 0x40
00000c06: MLOAD
00000c07: DUP1
00000c08: SWAP2
00000c09: SUB
00000c0a: SWAP1
00000c0b: RETURN
00000c0c: JUMPDEST
00000c0d: CALLVALUE
00000c0e: ISZERO
00000c0f: PUSH2 0x0c17
00000c12: JUMPI
00000c13: PUSH1 0x00
00000c15: DUP1
00000c16: REVERT
00000c17: JUMPDEST
00000c18: PUSH2 0x04f8
00000c1b: PUSH2 0x2524
00000c1e: JUMP
00000c1f: JUMPDEST
00000c20: PUSH1 0x40
00000c22: MLOAD
00000c23: SWAP1
00000c24: ISZERO
00000c25: ISZERO
00000c26: DUP2
00000c27: MSTORE
00000c28: PUSH1 0x20
00000c2a: ADD
00000c2b: PUSH1 0x40
00000c2d: MLOAD
00000c2e: DUP1
00000c2f: SWAP2
00000c30: SUB
00000c31: SWAP1
00000c32: RETURN
00000c33: JUMPDEST
00000c34: CALLVALUE
00000c35: ISZERO
00000c36: PUSH2 0x0c3e
00000c39: JUMPI
00000c3a: PUSH1 0x00
00000c3c: DUP1
00000c3d: REVERT
00000c3e: JUMPDEST
00000c3f: PUSH2 0x03cc
00000c42: PUSH2 0x2534
00000c45: JUMP
00000c46: JUMPDEST
00000c47: PUSH1 0x40
00000c49: MLOAD
00000c4a: SWAP1
00000c4b: DUP2
00000c4c: MSTORE
00000c4d: PUSH1 0x20
00000c4f: ADD
00000c50: PUSH1 0x40
00000c52: MLOAD
00000c53: DUP1
00000c54: SWAP2
00000c55: SUB
00000c56: SWAP1
00000c57: RETURN
00000c58: JUMPDEST
00000c59: CALLVALUE
00000c5a: ISZERO
00000c5b: PUSH2 0x0c63
00000c5e: JUMPI
00000c5f: PUSH1 0x00
00000c61: DUP1
00000c62: REVERT
00000c63: JUMPDEST
00000c64: PUSH2 0x03cc
00000c67: PUSH2 0x2543
00000c6a: JUMP
00000c6b: JUMPDEST
00000c6c: PUSH1 0x40
00000c6e: MLOAD
00000c6f: SWAP1
00000c70: DUP2
00000c71: MSTORE
00000c72: PUSH1 0x20
00000c74: ADD
00000c75: PUSH1 0x40
00000c77: MLOAD
00000c78: DUP1
00000c79: SWAP2
00000c7a: SUB
00000c7b: SWAP1
00000c7c: RETURN
00000c7d: JUMPDEST
00000c7e: CALLVALUE
00000c7f: ISZERO
00000c80: PUSH2 0x0c88
00000c83: JUMPI
00000c84: PUSH1 0x00
00000c86: DUP1
00000c87: REVERT
00000c88: JUMPDEST
00000c89: PUSH2 0x04f8
00000c8c: PUSH2 0x2549
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH1 0x40
00000c93: MLOAD
00000c94: SWAP1
00000c95: ISZERO
00000c96: ISZERO
00000c97: DUP2
00000c98: MSTORE
00000c99: PUSH1 0x20
00000c9b: ADD
00000c9c: PUSH1 0x40
00000c9e: MLOAD
00000c9f: DUP1
00000ca0: SWAP2
00000ca1: SUB
00000ca2: SWAP1
00000ca3: RETURN
00000ca4: JUMPDEST
00000ca5: CALLVALUE
00000ca6: ISZERO
00000ca7: PUSH2 0x0caf
00000caa: JUMPI
00000cab: PUSH1 0x00
00000cad: DUP1
00000cae: REVERT
00000caf: JUMPDEST
00000cb0: PUSH2 0x04f8
00000cb3: PUSH1 0x04
00000cb5: CALLDATALOAD
00000cb6: ISZERO
00000cb7: ISZERO
00000cb8: PUSH2 0x2559
00000cbb: JUMP
00000cbc: JUMPDEST
00000cbd: PUSH1 0x40
00000cbf: MLOAD
00000cc0: SWAP1
00000cc1: ISZERO
00000cc2: ISZERO
00000cc3: DUP2
00000cc4: MSTORE
00000cc5: PUSH1 0x20
00000cc7: ADD
00000cc8: PUSH1 0x40
00000cca: MLOAD
00000ccb: DUP1
00000ccc: SWAP2
00000ccd: SUB
00000cce: SWAP1
00000ccf: RETURN
00000cd0: JUMPDEST
00000cd1: CALLVALUE
00000cd2: ISZERO
00000cd3: PUSH2 0x0cdb
00000cd6: JUMPI
00000cd7: PUSH1 0x00
00000cd9: DUP1
00000cda: REVERT
00000cdb: JUMPDEST
00000cdc: PUSH2 0x03cc
00000cdf: PUSH2 0x25a6
00000ce2: JUMP
00000ce3: JUMPDEST
00000ce4: PUSH1 0x40
00000ce6: MLOAD
00000ce7: SWAP1
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x20
00000cec: ADD
00000ced: PUSH1 0x40
00000cef: MLOAD
00000cf0: DUP1
00000cf1: SWAP2
00000cf2: SUB
00000cf3: SWAP1
00000cf4: RETURN
00000cf5: JUMPDEST
00000cf6: CALLVALUE
00000cf7: ISZERO
00000cf8: PUSH2 0x0d00
00000cfb: JUMPI
00000cfc: PUSH1 0x00
00000cfe: DUP1
00000cff: REVERT
00000d00: JUMPDEST
00000d01: PUSH2 0x0646
00000d04: PUSH2 0x25ac
00000d07: JUMP
00000d08: JUMPDEST
00000d09: PUSH1 0x40
00000d0b: MLOAD
00000d0c: PUSH1 0x01
00000d0e: PUSH1 0xa0
00000d10: PUSH1 0x02
00000d12: EXP
00000d13: SUB
00000d14: SWAP1
00000d15: SWAP2
00000d16: AND
00000d17: DUP2
00000d18: MSTORE
00000d19: PUSH1 0x20
00000d1b: ADD
00000d1c: PUSH1 0x40
00000d1e: MLOAD
00000d1f: DUP1
00000d20: SWAP2
00000d21: SUB
00000d22: SWAP1
00000d23: RETURN
00000d24: JUMPDEST
00000d25: CALLVALUE
00000d26: ISZERO
00000d27: PUSH2 0x0d2f
00000d2a: JUMPI
00000d2b: PUSH1 0x00
00000d2d: DUP1
00000d2e: REVERT
00000d2f: JUMPDEST
00000d30: PUSH2 0x03cc
00000d33: PUSH1 0x01
00000d35: PUSH1 0xa0
00000d37: PUSH1 0x02
00000d39: EXP
00000d3a: SUB
00000d3b: PUSH1 0x04
00000d3d: CALLDATALOAD
00000d3e: DUP2
00000d3f: AND
00000d40: SWAP1
00000d41: PUSH1 0x24
00000d43: CALLDATALOAD
00000d44: AND
00000d45: PUSH2 0x25bb
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: PUSH1 0x40
00000d4c: MLOAD
00000d4d: SWAP1
00000d4e: DUP2
00000d4f: MSTORE
00000d50: PUSH1 0x20
00000d52: ADD
00000d53: PUSH1 0x40
00000d55: MLOAD
00000d56: DUP1
00000d57: SWAP2
00000d58: SUB
00000d59: SWAP1
00000d5a: RETURN
00000d5b: JUMPDEST
00000d5c: CALLVALUE
00000d5d: ISZERO
00000d5e: PUSH2 0x0d66
00000d61: JUMPI
00000d62: PUSH1 0x00
00000d64: DUP1
00000d65: REVERT
00000d66: JUMPDEST
00000d67: PUSH2 0x04f8
00000d6a: PUSH2 0x25e8
00000d6d: JUMP
00000d6e: JUMPDEST
00000d6f: PUSH1 0x40
00000d71: MLOAD
00000d72: SWAP1
00000d73: ISZERO
00000d74: ISZERO
00000d75: DUP2
00000d76: MSTORE
00000d77: PUSH1 0x20
00000d79: ADD
00000d7a: PUSH1 0x40
00000d7c: MLOAD
00000d7d: DUP1
00000d7e: SWAP2
00000d7f: SUB
00000d80: SWAP1
00000d81: RETURN
00000d82: JUMPDEST
00000d83: CALLVALUE
00000d84: ISZERO
00000d85: PUSH2 0x0d8d
00000d88: JUMPI
00000d89: PUSH1 0x00
00000d8b: DUP1
00000d8c: REVERT
00000d8d: JUMPDEST
00000d8e: PUSH2 0x04f8
00000d91: PUSH1 0x04
00000d93: PUSH1 0x24
00000d95: DUP2
00000d96: CALLDATALOAD
00000d97: DUP2
00000d98: DUP2
00000d99: ADD
00000d9a: SWAP1
00000d9b: DUP4
00000d9c: ADD
00000d9d: CALLDATALOAD
00000d9e: DUP1
00000d9f: PUSH1 0x20
00000da1: DUP2
00000da2: DUP2
00000da3: MUL
00000da4: ADD
00000da5: PUSH1 0x40
00000da7: MLOAD
00000da8: SWAP1
00000da9: DUP2
00000daa: ADD
00000dab: PUSH1 0x40
00000dad: MSTORE
00000dae: DUP1
00000daf: SWAP4
00000db0: SWAP3
00000db1: SWAP2
00000db2: SWAP1
00000db3: DUP2
00000db4: DUP2
00000db5: MSTORE
00000db6: PUSH1 0x20
00000db8: ADD
00000db9: DUP4
00000dba: DUP4
00000dbb: PUSH1 0x20
00000dbd: MUL
00000dbe: DUP1
00000dbf: DUP3
00000dc0: DUP5
00000dc1: CALLDATACOPY
00000dc2: POP
00000dc3: SWAP5
00000dc4: SWAP7
00000dc5: POP
00000dc6: PUSH2 0x25f8
00000dc9: SWAP6
00000dca: POP
00000dcb: POP
00000dcc: POP
00000dcd: POP
00000dce: POP
00000dcf: POP
00000dd0: JUMP
00000dd1: JUMPDEST
00000dd2: PUSH1 0x40
00000dd4: MLOAD
00000dd5: SWAP1
00000dd6: ISZERO
00000dd7: ISZERO
00000dd8: DUP2
00000dd9: MSTORE
00000dda: PUSH1 0x20
00000ddc: ADD
00000ddd: PUSH1 0x40
00000ddf: MLOAD
00000de0: DUP1
00000de1: SWAP2
00000de2: SUB
00000de3: SWAP1
00000de4: RETURN
00000de5: JUMPDEST
00000de6: CALLVALUE
00000de7: ISZERO
00000de8: PUSH2 0x0df0
00000deb: JUMPI
00000dec: PUSH1 0x00
00000dee: DUP1
00000def: REVERT
00000df0: JUMPDEST
00000df1: PUSH2 0x04f8
00000df4: PUSH1 0x01
00000df6: PUSH1 0xa0
00000df8: PUSH1 0x02
00000dfa: EXP
00000dfb: SUB
00000dfc: PUSH1 0x04
00000dfe: CALLDATALOAD
00000dff: AND
00000e00: PUSH1 0x24
00000e02: CALLDATALOAD
00000e03: PUSH2 0x26b1
00000e06: JUMP
00000e07: JUMPDEST
00000e08: PUSH1 0x40
00000e0a: MLOAD
00000e0b: SWAP1
00000e0c: ISZERO
00000e0d: ISZERO
00000e0e: DUP2
00000e0f: MSTORE
00000e10: PUSH1 0x20
00000e12: ADD
00000e13: PUSH1 0x40
00000e15: MLOAD
00000e16: DUP1
00000e17: SWAP2
00000e18: SUB
00000e19: SWAP1
00000e1a: RETURN
00000e1b: JUMPDEST
00000e1c: CALLVALUE
00000e1d: ISZERO
00000e1e: PUSH2 0x0e26
00000e21: JUMPI
00000e22: PUSH1 0x00
00000e24: DUP1
00000e25: REVERT
00000e26: JUMPDEST
00000e27: PUSH2 0x0646
00000e2a: PUSH2 0x278a
00000e2d: JUMP
00000e2e: JUMPDEST
00000e2f: PUSH1 0x40
00000e31: MLOAD
00000e32: PUSH1 0x01
00000e34: PUSH1 0xa0
00000e36: PUSH1 0x02
00000e38: EXP
00000e39: SUB
00000e3a: SWAP1
00000e3b: SWAP2
00000e3c: AND
00000e3d: DUP2
00000e3e: MSTORE
00000e3f: PUSH1 0x20
00000e41: ADD
00000e42: PUSH1 0x40
00000e44: MLOAD
00000e45: DUP1
00000e46: SWAP2
00000e47: SUB
00000e48: SWAP1
00000e49: RETURN
00000e4a: JUMPDEST
00000e4b: CALLVALUE
00000e4c: ISZERO
00000e4d: PUSH2 0x0e55
00000e50: JUMPI
00000e51: PUSH1 0x00
00000e53: DUP1
00000e54: REVERT
00000e55: JUMPDEST
00000e56: PUSH2 0x03b2
00000e59: PUSH1 0x01
00000e5b: PUSH1 0xa0
00000e5d: PUSH1 0x02
00000e5f: EXP
00000e60: SUB
00000e61: PUSH1 0x04
00000e63: CALLDATALOAD
00000e64: AND
00000e65: PUSH2 0x2799
00000e68: JUMP
00000e69: JUMPDEST
00000e6a: STOP
00000e6b: JUMPDEST
00000e6c: CALLVALUE
00000e6d: ISZERO
00000e6e: PUSH2 0x0e76
00000e71: JUMPI
00000e72: PUSH1 0x00
00000e74: DUP1
00000e75: REVERT
00000e76: JUMPDEST
00000e77: PUSH2 0x04f8
00000e7a: PUSH1 0x01
00000e7c: PUSH1 0xa0
00000e7e: PUSH1 0x02
00000e80: EXP
00000e81: SUB
00000e82: PUSH1 0x04
00000e84: CALLDATALOAD
00000e85: AND
00000e86: PUSH2 0x27f9
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: PUSH1 0x40
00000e8d: MLOAD
00000e8e: SWAP1
00000e8f: ISZERO
00000e90: ISZERO
00000e91: DUP2
00000e92: MSTORE
00000e93: PUSH1 0x20
00000e95: ADD
00000e96: PUSH1 0x40
00000e98: MLOAD
00000e99: DUP1
00000e9a: SWAP2
00000e9b: SUB
00000e9c: SWAP1
00000e9d: RETURN
00000e9e: JUMPDEST
00000e9f: CALLVALUE
00000ea0: ISZERO
00000ea1: PUSH2 0x0ea9
00000ea4: JUMPI
00000ea5: PUSH1 0x00
00000ea7: DUP1
00000ea8: REVERT
00000ea9: JUMPDEST
00000eaa: PUSH2 0x04f8
00000ead: PUSH1 0x01
00000eaf: PUSH1 0xa0
00000eb1: PUSH1 0x02
00000eb3: EXP
00000eb4: SUB
00000eb5: PUSH1 0x04
00000eb7: CALLDATALOAD
00000eb8: AND
00000eb9: PUSH2 0x2870
00000ebc: JUMP
00000ebd: JUMPDEST
00000ebe: PUSH1 0x40
00000ec0: MLOAD
00000ec1: SWAP1
00000ec2: ISZERO
00000ec3: ISZERO
00000ec4: DUP2
00000ec5: MSTORE
00000ec6: PUSH1 0x20
00000ec8: ADD
00000ec9: PUSH1 0x40
00000ecb: MLOAD
00000ecc: DUP1
00000ecd: SWAP2
00000ece: SUB
00000ecf: SWAP1
00000ed0: RETURN
00000ed1: JUMPDEST
00000ed2: PUSH2 0x03b2
00000ed5: PUSH1 0x01
00000ed7: PUSH1 0xa0
00000ed9: PUSH1 0x02
00000edb: EXP
00000edc: SUB
00000edd: PUSH1 0x04
00000edf: CALLDATALOAD
00000ee0: AND
00000ee1: PUSH2 0x2907
00000ee4: JUMP
00000ee5: JUMPDEST
00000ee6: STOP
00000ee7: JUMPDEST
00000ee8: CALLVALUE
00000ee9: ISZERO
00000eea: PUSH2 0x0ef2
00000eed: JUMPI
00000eee: PUSH1 0x00
00000ef0: DUP1
00000ef1: REVERT
00000ef2: JUMPDEST
00000ef3: PUSH2 0x0646
00000ef6: PUSH1 0x01
00000ef8: PUSH1 0xa0
00000efa: PUSH1 0x02
00000efc: EXP
00000efd: SUB
00000efe: PUSH1 0x04
00000f00: CALLDATALOAD
00000f01: AND
00000f02: PUSH2 0x2be6
00000f05: JUMP
00000f06: JUMPDEST
00000f07: PUSH1 0x40
00000f09: MLOAD
00000f0a: PUSH1 0x01
00000f0c: PUSH1 0xa0
00000f0e: PUSH1 0x02
00000f10: EXP
00000f11: SUB
00000f12: SWAP1
00000f13: SWAP2
00000f14: AND
00000f15: DUP2
00000f16: MSTORE
00000f17: PUSH1 0x20
00000f19: ADD
00000f1a: PUSH1 0x40
00000f1c: MLOAD
00000f1d: DUP1
00000f1e: SWAP2
00000f1f: SUB
00000f20: SWAP1
00000f21: RETURN
00000f22: JUMPDEST
00000f23: PUSH1 0x00
00000f25: DUP1
00000f26: PUSH1 0x00
00000f28: PUSH1 0x15
00000f2a: PUSH1 0x14
00000f2c: SWAP1
00000f2d: SLOAD
00000f2e: SWAP1
00000f2f: PUSH2 0x0100
00000f32: EXP
00000f33: SWAP1
00000f34: DIV
00000f35: PUSH1 0xff
00000f37: AND
00000f38: DUP1
00000f39: ISZERO
00000f3a: PUSH2 0x0f4c
00000f3d: JUMPI
00000f3e: POP
00000f3f: PUSH1 0x08
00000f41: SLOAD
00000f42: PUSH1 0xa0
00000f44: PUSH1 0x02
00000f46: EXP
00000f47: SWAP1
00000f48: DIV
00000f49: PUSH1 0xff
00000f4b: AND
00000f4c: JUMPDEST
00000f4d: ISZERO
00000f4e: ISZERO
00000f4f: PUSH2 0x0f57
00000f52: JUMPI
00000f53: PUSH1 0x00
00000f55: DUP1
00000f56: REVERT
00000f57: JUMPDEST
00000f58: PUSH2 0x0f5f
00000f5b: PUSH2 0x22ba
00000f5e: JUMP
00000f5f: JUMPDEST
00000f60: PUSH1 0x01
00000f62: PUSH1 0xa0
00000f64: PUSH1 0x02
00000f66: EXP
00000f67: SUB
00000f68: CALLER
00000f69: AND
00000f6a: PUSH1 0x00
00000f6c: SWAP1
00000f6d: DUP2
00000f6e: MSTORE
00000f6f: PUSH1 0x20
00000f71: DUP2
00000f72: SWAP1
00000f73: MSTORE
00000f74: PUSH1 0x40
00000f76: SWAP1
00000f77: KECCAK256
00000f78: SLOAD
00000f79: SWAP1
00000f7a: SWAP3
00000f7b: POP
00000f7c: DUP5
00000f7d: SWAP1
00000f7e: LT
00000f7f: ISZERO
00000f80: PUSH2 0x0f88
00000f83: JUMPI
00000f84: PUSH1 0x00
00000f86: DUP1
00000f87: REVERT
00000f88: JUMPDEST
00000f89: DUP4
00000f8a: DUP3
00000f8b: LT
00000f8c: ISZERO
00000f8d: PUSH2 0x0f95
00000f90: JUMPI
00000f91: PUSH1 0x00
00000f93: DUP1
00000f94: REVERT
00000f95: JUMPDEST
00000f96: PUSH1 0x15
00000f98: SLOAD
00000f99: PUSH2 0x0fac
00000f9c: SWAP1
00000f9d: DUP6
00000f9e: SWAP1
00000f9f: PUSH1 0x01
00000fa1: PUSH1 0xa0
00000fa3: PUSH1 0x02
00000fa5: EXP
00000fa6: SUB
00000fa7: AND
00000fa8: PUSH2 0x2c07
00000fab: JUMP
00000fac: JUMPDEST
00000fad: SWAP1
00000fae: POP
00000faf: PUSH1 0x01
00000fb1: PUSH1 0xa0
00000fb3: PUSH1 0x02
00000fb5: EXP
00000fb6: SUB
00000fb7: ADDRESS
00000fb8: AND
00000fb9: BALANCE
00000fba: DUP2
00000fbb: SWAP1
00000fbc: GT
00000fbd: PUSH2 0x0fc5
00000fc0: JUMPI
00000fc1: PUSH1 0x00
00000fc3: DUP1
00000fc4: REVERT
00000fc5: JUMPDEST
00000fc6: PUSH1 0x01
00000fc8: PUSH1 0xa0
00000fca: PUSH1 0x02
00000fcc: EXP
00000fcd: SUB
00000fce: CALLER
00000fcf: AND
00000fd0: PUSH1 0x00
00000fd2: SWAP1
00000fd3: DUP2
00000fd4: MSTORE
00000fd5: PUSH1 0x20
00000fd7: DUP2
00000fd8: SWAP1
00000fd9: MSTORE
00000fda: PUSH1 0x40
00000fdc: SWAP1
00000fdd: KECCAK256
00000fde: SLOAD
00000fdf: PUSH2 0x0fe8
00000fe2: SWAP1
00000fe3: DUP6
00000fe4: PUSH2 0x2c9d
00000fe7: JUMP
00000fe8: JUMPDEST
00000fe9: PUSH1 0x01
00000feb: PUSH1 0xa0
00000fed: PUSH1 0x02
00000fef: EXP
00000ff0: SUB
00000ff1: CALLER
00000ff2: AND
00000ff3: PUSH1 0x00
00000ff5: SWAP1
00000ff6: DUP2
00000ff7: MSTORE
00000ff8: PUSH1 0x20
00000ffa: DUP2
00000ffb: SWAP1
00000ffc: MSTORE
00000ffd: PUSH1 0x40
00000fff: SWAP1
00001000: KECCAK256
00001001: SSTORE
00001002: PUSH1 0x02
00001004: SLOAD
00001005: PUSH2 0x100e
00001008: SWAP1
00001009: DUP6
0000100a: PUSH2 0x2c9d
0000100d: JUMP
0000100e: JUMPDEST
0000100f: PUSH1 0x02
00001011: SSTORE
00001012: PUSH2 0x1025
00001015: PUSH1 0x01
00001017: PUSH1 0xa0
00001019: PUSH1 0x02
0000101b: EXP
0000101c: SUB
0000101d: ADDRESS
0000101e: AND
0000101f: BALANCE
00001020: DUP3
00001021: PUSH2 0x2c9d
00001024: JUMP
00001025: JUMPDEST
00001026: PUSH1 0x05
00001028: SSTORE
00001029: PUSH1 0x01
0000102b: PUSH1 0xa0
0000102d: PUSH1 0x02
0000102f: EXP
00001030: SUB
00001031: CALLER
00001032: AND
00001033: PUSH32 0xf505eb6e610340eed3eea0048f8ec258cda0927f73be2d293288fde9a546f1ab
00001054: DUP6
00001055: PUSH1 0x40
00001057: MLOAD
00001058: SWAP1
00001059: DUP2
0000105a: MSTORE
0000105b: PUSH1 0x20
0000105d: ADD
0000105e: PUSH1 0x40
00001060: MLOAD
00001061: DUP1
00001062: SWAP2
00001063: SUB
00001064: SWAP1
00001065: LOG2
00001066: PUSH1 0x00
00001068: CALLER
00001069: PUSH1 0x01
0000106b: PUSH1 0xa0
0000106d: PUSH1 0x02
0000106f: EXP
00001070: SUB
00001071: AND
00001072: PUSH1 0x00
00001074: DUP1
00001075: MLOAD
00001076: PUSH1 0x20
00001078: PUSH2 0x2f1e
0000107b: DUP4
0000107c: CODECOPY
0000107d: DUP2
0000107e: MLOAD
0000107f: SWAP2
00001080: MSTORE
00001081: DUP7
00001082: PUSH1 0x40
00001084: MLOAD
00001085: SWAP1
00001086: DUP2
00001087: MSTORE
00001088: PUSH1 0x20
0000108a: ADD
0000108b: PUSH1 0x40
0000108d: MLOAD
0000108e: DUP1
0000108f: SWAP2
00001090: SUB
00001091: SWAP1
00001092: LOG3
00001093: PUSH1 0x01
00001095: PUSH1 0xa0
00001097: PUSH1 0x02
00001099: EXP
0000109a: SUB
0000109b: CALLER
0000109c: AND
0000109d: DUP2
0000109e: ISZERO
0000109f: PUSH2 0x08fc
000010a2: MUL
000010a3: DUP3
000010a4: PUSH1 0x40
000010a6: MLOAD
000010a7: PUSH1 0x00
000010a9: PUSH1 0x40
000010ab: MLOAD
000010ac: DUP1
000010ad: DUP4
000010ae: SUB
000010af: DUP2
000010b0: DUP6
000010b1: DUP9
000010b2: DUP9
000010b3: CALL
000010b4: SWAP4
000010b5: POP
000010b6: POP
000010b7: POP
000010b8: POP
000010b9: ISZERO
000010ba: ISZERO
000010bb: PUSH2 0x10c3
000010be: JUMPI
000010bf: PUSH1 0x00
000010c1: DUP1
000010c2: REVERT
000010c3: JUMPDEST
000010c4: DUP1
000010c5: SWAP3
000010c6: POP
000010c7: JUMPDEST
000010c8: JUMPDEST
000010c9: POP
000010ca: POP
000010cb: SWAP2
000010cc: SWAP1
000010cd: POP
000010ce: JUMP
000010cf: JUMPDEST
000010d0: PUSH1 0x40
000010d2: DUP1
000010d3: MLOAD
000010d4: SWAP1
000010d5: DUP2
000010d6: ADD
000010d7: PUSH1 0x40
000010d9: MSTORE
000010da: PUSH1 0x13
000010dc: DUP2
000010dd: MSTORE
000010de: PUSH32 0x576f6c6b2050726f746f636f6c20546f6b656e00000000000000000000000000
000010ff: PUSH1 0x20
00001101: DUP3
00001102: ADD
00001103: MSTORE
00001104: DUP2
00001105: JUMP
00001106: JUMPDEST
00001107: PUSH1 0x03
00001109: SLOAD
0000110a: PUSH1 0x00
0000110c: SWAP1
0000110d: DUP2
0000110e: SWAP1
0000110f: CALLER
00001110: PUSH1 0x01
00001112: PUSH1 0xa0
00001114: PUSH1 0x02
00001116: EXP
00001117: SUB
00001118: SWAP1
00001119: DUP2
0000111a: AND
0000111b: SWAP2
0000111c: AND
0000111d: EQ
0000111e: PUSH2 0x1123
00001121: JUMPI
00001122: INVALID
00001123: JUMPDEST
00001124: DUP3
00001125: MLOAD
00001126: DUP5
00001127: MLOAD
00001128: EQ
00001129: PUSH2 0x1131
0000112c: JUMPI
0000112d: PUSH1 0x00
0000112f: DUP1
00001130: REVERT
00001131: JUMPDEST
00001132: POP
00001133: PUSH1 0x00
00001135: JUMPDEST
00001136: DUP4
00001137: MLOAD
00001138: DUP2
00001139: LT
0000113a: ISZERO
0000113b: PUSH2 0x11e6
0000113e: JUMPI
0000113f: PUSH1 0x01
00001141: PUSH1 0x10
00001143: PUSH1 0x00
00001145: DUP7
00001146: DUP5
00001147: DUP2
00001148: MLOAD
00001149: DUP2
0000114a: LT
0000114b: PUSH2 0x1150
0000114e: JUMPI
0000114f: INVALID
00001150: JUMPDEST
00001151: SWAP1
00001152: PUSH1 0x20
00001154: ADD
00001155: SWAP1
00001156: PUSH1 0x20
00001158: MUL
00001159: ADD
0000115a: MLOAD
0000115b: PUSH1 0x01
0000115d: PUSH1 0xa0
0000115f: PUSH1 0x02
00001161: EXP
00001162: SUB
00001163: AND
00001164: DUP2
00001165: MSTORE
00001166: PUSH1 0x20
00001168: DUP2
00001169: ADD
0000116a: SWAP2
0000116b: SWAP1
0000116c: SWAP2
0000116d: MSTORE
0000116e: PUSH1 0x40
00001170: ADD
00001171: PUSH1 0x00
00001173: KECCAK256
00001174: DUP1
00001175: SLOAD
00001176: PUSH1 0xff
00001178: NOT
00001179: AND
0000117a: SWAP2
0000117b: ISZERO
0000117c: ISZERO
0000117d: SWAP2
0000117e: SWAP1
0000117f: SWAP2
00001180: OR
00001181: SWAP1
00001182: SSTORE
00001183: PUSH2 0x11a9
00001186: DUP4
00001187: DUP3
00001188: DUP2
00001189: MLOAD
0000118a: DUP2
0000118b: LT
0000118c: PUSH2 0x1191
0000118f: JUMPI
00001190: INVALID
00001191: JUMPDEST
00001192: SWAP1
00001193: PUSH1 0x20
00001195: ADD
00001196: SWAP1
00001197: PUSH1 0x20
00001199: MUL
0000119a: ADD
0000119b: MLOAD
0000119c: PUSH8 0x0de0b6b3a7640000
000011a5: PUSH2 0x2cb4
000011a8: JUMP
000011a9: JUMPDEST
000011aa: PUSH1 0x0f
000011ac: PUSH1 0x00
000011ae: DUP7
000011af: DUP5
000011b0: DUP2
000011b1: MLOAD
000011b2: DUP2
000011b3: LT
000011b4: PUSH2 0x11b9
000011b7: JUMPI
000011b8: INVALID
000011b9: JUMPDEST
000011ba: SWAP1
000011bb: PUSH1 0x20
000011bd: ADD
000011be: SWAP1
000011bf: PUSH1 0x20
000011c1: MUL
000011c2: ADD
000011c3: MLOAD
000011c4: PUSH1 0x01
000011c6: PUSH1 0xa0
000011c8: PUSH1 0x02
000011ca: EXP
000011cb: SUB
000011cc: AND
000011cd: DUP2
000011ce: MSTORE
000011cf: PUSH1 0x20
000011d1: DUP2
000011d2: ADD
000011d3: SWAP2
000011d4: SWAP1
000011d5: SWAP2
000011d6: MSTORE
000011d7: PUSH1 0x40
000011d9: ADD
000011da: PUSH1 0x00
000011dc: KECCAK256
000011dd: SSTORE
000011de: JUMPDEST
000011df: PUSH1 0x01
000011e1: ADD
000011e2: PUSH2 0x1135
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH1 0x01
000011e9: SWAP2
000011ea: POP
000011eb: JUMPDEST
000011ec: JUMPDEST
000011ed: POP
000011ee: SWAP3
000011ef: SWAP2
000011f0: POP
000011f1: POP
000011f2: JUMP
000011f3: JUMPDEST
000011f4: PUSH1 0x00
000011f6: DUP2
000011f7: ISZERO
000011f8: DUP1
000011f9: PUSH2 0x1225
000011fc: JUMPI
000011fd: POP
000011fe: PUSH1 0x01
00001200: PUSH1 0xa0
00001202: PUSH1 0x02
00001204: EXP
00001205: SUB
00001206: CALLER
00001207: DUP2
00001208: AND
00001209: PUSH1 0x00
0000120b: SWAP1
0000120c: DUP2
0000120d: MSTORE
0000120e: PUSH1 0x01
00001210: PUSH1 0x20
00001212: SWAP1
00001213: DUP2
00001214: MSTORE
00001215: PUSH1 0x40
00001217: DUP1
00001218: DUP4
00001219: KECCAK256
0000121a: SWAP4
0000121b: DUP8
0000121c: AND
0000121d: DUP4
0000121e: MSTORE
0000121f: SWAP3
00001220: SWAP1
00001221: MSTORE
00001222: KECCAK256
00001223: SLOAD
00001224: ISZERO
00001225: JUMPDEST
00001226: ISZERO
00001227: ISZERO
00001228: PUSH2 0x1230
0000122b: JUMPI
0000122c: PUSH1 0x00
0000122e: DUP1
0000122f: REVERT
00001230: JUMPDEST
00001231: PUSH1 0x01
00001233: PUSH1 0xa0
00001235: PUSH1 0x02
00001237: EXP
00001238: SUB
00001239: CALLER
0000123a: DUP2
0000123b: AND
0000123c: PUSH1 0x00
0000123e: DUP2
0000123f: DUP2
00001240: MSTORE
00001241: PUSH1 0x01
00001243: PUSH1 0x20
00001245: SWAP1
00001246: DUP2
00001247: MSTORE
00001248: PUSH1 0x40
0000124a: DUP1
0000124b: DUP4
0000124c: KECCAK256
0000124d: SWAP5
0000124e: DUP9
0000124f: AND
00001250: DUP1
00001251: DUP5
00001252: MSTORE
00001253: SWAP5
00001254: SWAP1
00001255: SWAP2
00001256: MSTORE
00001257: SWAP1
00001258: DUP2
00001259: SWAP1
0000125a: KECCAK256
0000125b: DUP6
0000125c: SWAP1
0000125d: SSTORE
0000125e: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
0000127f: SWAP1
00001280: DUP6
00001281: SWAP1
00001282: MLOAD
00001283: SWAP1
00001284: DUP2
00001285: MSTORE
00001286: PUSH1 0x20
00001288: ADD
00001289: PUSH1 0x40
0000128b: MLOAD
0000128c: DUP1
0000128d: SWAP2
0000128e: SUB
0000128f: SWAP1
00001290: LOG3
00001291: POP
00001292: PUSH1 0x01
00001294: JUMPDEST
00001295: SWAP3
00001296: SWAP2
00001297: POP
00001298: POP
00001299: JUMP
0000129a: JUMPDEST
0000129b: PUSH1 0x01
0000129d: PUSH1 0xa0
0000129f: PUSH1 0x02
000012a1: EXP
000012a2: SUB
000012a3: DUP2
000012a4: AND
000012a5: PUSH1 0x00
000012a7: SWAP1
000012a8: DUP2
000012a9: MSTORE
000012aa: PUSH1 0x07
000012ac: PUSH1 0x20
000012ae: MSTORE
000012af: PUSH1 0x40
000012b1: DUP2
000012b2: KECCAK256
000012b3: SLOAD
000012b4: PUSH1 0xff
000012b6: AND
000012b7: ISZERO
000012b8: ISZERO
000012b9: PUSH2 0x12c1
000012bc: JUMPI
000012bd: PUSH1 0x00
000012bf: DUP1
000012c0: REVERT
000012c1: JUMPDEST
000012c2: PUSH1 0x01
000012c4: PUSH1 0xa0
000012c6: PUSH1 0x02
000012c8: EXP
000012c9: SUB
000012ca: CALLER
000012cb: DUP2
000012cc: AND
000012cd: PUSH1 0x00
000012cf: DUP2
000012d0: DUP2
000012d1: MSTORE
000012d2: PUSH1 0x0b
000012d4: PUSH1 0x20
000012d6: SWAP1
000012d7: DUP2
000012d8: MSTORE
000012d9: PUSH1 0x40
000012db: DUP1
000012dc: DUP4
000012dd: KECCAK256
000012de: SWAP5
000012df: DUP8
000012e0: AND
000012e1: DUP4
000012e2: MSTORE
000012e3: SWAP4
000012e4: SWAP1
000012e5: MSTORE
000012e6: DUP3
000012e7: SWAP1
000012e8: KECCAK256
000012e9: DUP1
000012ea: SLOAD
000012eb: PUSH1 0xff
000012ed: NOT
000012ee: AND
000012ef: PUSH1 0x01
000012f1: OR
000012f2: SWAP1
000012f3: SSTORE
000012f4: SWAP1
000012f5: PUSH32 0x8563cf3307d6904af4525af51010bc07d34ec3154f552d9e00f64ed395dc0470
00001316: SWAP1
00001317: DUP5
00001318: SWAP1
00001319: MLOAD
0000131a: PUSH1 0x01
0000131c: PUSH1 0xa0
0000131e: PUSH1 0x02
00001320: EXP
00001321: SUB
00001322: SWAP1
00001323: SWAP2
00001324: AND
00001325: DUP2
00001326: MSTORE
00001327: PUSH1 0x20
00001329: ADD
0000132a: PUSH1 0x40
0000132c: MLOAD
0000132d: DUP1
0000132e: SWAP2
0000132f: SUB
00001330: SWAP1
00001331: LOG2
00001332: POP
00001333: PUSH1 0x01
00001335: JUMPDEST
00001336: SWAP2
00001337: SWAP1
00001338: POP
00001339: JUMP
0000133a: JUMPDEST
0000133b: PUSH1 0x02
0000133d: SLOAD
0000133e: JUMPDEST
0000133f: SWAP1
00001340: JUMP
00001341: JUMPDEST
00001342: PUSH1 0x03
00001344: SLOAD
00001345: PUSH1 0x00
00001347: SWAP1
00001348: CALLER
00001349: PUSH1 0x01
0000134b: PUSH1 0xa0
0000134d: PUSH1 0x02
0000134f: EXP
00001350: SUB
00001351: SWAP1
00001352: DUP2
00001353: AND
00001354: SWAP2
00001355: AND
00001356: EQ
00001357: PUSH2 0x135c
0000135a: JUMPI
0000135b: INVALID
0000135c: JUMPDEST
0000135d: PUSH1 0x00
0000135f: DUP3
00001360: GT
00001361: DUP1
00001362: ISZERO
00001363: PUSH2 0x136e
00001366: JUMPI
00001367: POP
00001368: PUSH2 0x03e8
0000136b: DUP3
0000136c: GT
0000136d: ISZERO
0000136e: JUMPDEST
0000136f: ISZERO
00001370: ISZERO
00001371: PUSH2 0x1379
00001374: JUMPI
00001375: PUSH1 0x00
00001377: DUP1
00001378: REVERT
00001379: JUMPDEST
0000137a: POP
0000137b: PUSH1 0x0a
0000137d: DUP2
0000137e: SWAP1
0000137f: SSTORE
00001380: PUSH1 0x01
00001382: JUMPDEST
00001383: JUMPDEST
00001384: SWAP2
00001385: SWAP1
00001386: POP
00001387: JUMP
00001388: JUMPDEST
00001389: PUSH1 0x01
0000138b: PUSH1 0xa0
0000138d: PUSH1 0x02
0000138f: EXP
00001390: SUB
00001391: DUP1
00001392: DUP5
00001393: AND
00001394: PUSH1 0x00
00001396: DUP2
00001397: DUP2
00001398: MSTORE
00001399: PUSH1 0x01
0000139b: PUSH1 0x20
0000139d: SWAP1
0000139e: DUP2
0000139f: MSTORE
000013a0: PUSH1 0x40
000013a2: DUP1
000013a3: DUP4
000013a4: KECCAK256
000013a5: CALLER
000013a6: SWAP1
000013a7: SWAP6
000013a8: AND
000013a9: DUP4
000013aa: MSTORE
000013ab: SWAP4
000013ac: DUP2
000013ad: MSTORE
000013ae: DUP4
000013af: DUP3
000013b0: KECCAK256
000013b1: SLOAD
000013b2: SWAP3
000013b3: DUP3
000013b4: MSTORE
000013b5: DUP2
000013b6: SWAP1
000013b7: MSTORE
000013b8: SWAP2
000013b9: DUP3
000013ba: KECCAK256
000013bb: SLOAD
000013bc: DUP4
000013bd: SWAP1
000013be: LT
000013bf: DUP1
000013c0: ISZERO
000013c1: SWAP1
000013c2: PUSH2 0x13f2
000013c5: JUMPI
000013c6: POP
000013c7: PUSH1 0x01
000013c9: PUSH1 0xa0
000013cb: PUSH1 0x02
000013cd: EXP
000013ce: SUB
000013cf: DUP1
000013d0: DUP7
000013d1: AND
000013d2: PUSH1 0x00
000013d4: SWAP1
000013d5: DUP2
000013d6: MSTORE
000013d7: PUSH1 0x01
000013d9: PUSH1 0x20
000013db: SWAP1
000013dc: DUP2
000013dd: MSTORE
000013de: PUSH1 0x40
000013e0: DUP1
000013e1: DUP4
000013e2: KECCAK256
000013e3: CALLER
000013e4: SWAP1
000013e5: SWAP5
000013e6: AND
000013e7: DUP4
000013e8: MSTORE
000013e9: SWAP3
000013ea: SWAP1
000013eb: MSTORE
000013ec: KECCAK256
000013ed: SLOAD
000013ee: DUP4
000013ef: SWAP1
000013f0: LT
000013f1: ISZERO
000013f2: JUMPDEST
000013f3: DUP1
000013f4: ISZERO
000013f5: PUSH2 0x13fe
000013f8: JUMPI
000013f9: POP
000013fa: PUSH1 0x00
000013fc: DUP4
000013fd: GT
000013fe: JUMPDEST
000013ff: ISZERO
00001400: PUSH2 0x14d2
00001403: JUMPI
00001404: PUSH1 0x01
00001406: PUSH1 0xa0
00001408: PUSH1 0x02
0000140a: EXP
0000140b: SUB
0000140c: DUP5
0000140d: AND
0000140e: PUSH1 0x00
00001410: SWAP1
00001411: DUP2
00001412: MSTORE
00001413: PUSH1 0x20
00001415: DUP2
00001416: SWAP1
00001417: MSTORE
00001418: PUSH1 0x40
0000141a: SWAP1
0000141b: KECCAK256
0000141c: SLOAD
0000141d: PUSH2 0x1426
00001420: SWAP1
00001421: DUP5
00001422: PUSH2 0x2ce3
00001425: JUMP
00001426: JUMPDEST
00001427: PUSH1 0x01
00001429: PUSH1 0xa0
0000142b: PUSH1 0x02
0000142d: EXP
0000142e: SUB
0000142f: DUP1
00001430: DUP7
00001431: AND
00001432: PUSH1 0x00
00001434: SWAP1
00001435: DUP2
00001436: MSTORE
00001437: PUSH1 0x20
00001439: DUP2
0000143a: SWAP1
0000143b: MSTORE
0000143c: PUSH1 0x40
0000143e: DUP1
0000143f: DUP3
00001440: KECCAK256
00001441: SWAP4
00001442: SWAP1
00001443: SWAP4
00001444: SSTORE
00001445: SWAP1
00001446: DUP8
00001447: AND
00001448: DUP2
00001449: MSTORE
0000144a: KECCAK256
0000144b: SLOAD
0000144c: PUSH2 0x1455
0000144f: SWAP1
00001450: DUP5
00001451: PUSH2 0x2c9d
00001454: JUMP
00001455: JUMPDEST
00001456: PUSH1 0x01
00001458: PUSH1 0xa0
0000145a: PUSH1 0x02
0000145c: EXP
0000145d: SUB
0000145e: DUP7
0000145f: AND
00001460: PUSH1 0x00
00001462: SWAP1
00001463: DUP2
00001464: MSTORE
00001465: PUSH1 0x20
00001467: DUP2
00001468: SWAP1
00001469: MSTORE
0000146a: PUSH1 0x40
0000146c: SWAP1
0000146d: KECCAK256
0000146e: SSTORE
0000146f: PUSH2 0x1478
00001472: DUP2
00001473: DUP5
00001474: PUSH2 0x2c9d
00001477: JUMP
00001478: JUMPDEST
00001479: PUSH1 0x01
0000147b: PUSH1 0xa0
0000147d: PUSH1 0x02
0000147f: EXP
00001480: SUB
00001481: DUP1
00001482: DUP8
00001483: AND
00001484: PUSH1 0x00
00001486: DUP2
00001487: DUP2
00001488: MSTORE
00001489: PUSH1 0x01
0000148b: PUSH1 0x20
0000148d: SWAP1
0000148e: DUP2
0000148f: MSTORE
00001490: PUSH1 0x40
00001492: DUP1
00001493: DUP4
00001494: KECCAK256
00001495: CALLER
00001496: DUP7
00001497: AND
00001498: DUP5
00001499: MSTORE
0000149a: SWAP1
0000149b: SWAP2
0000149c: MSTORE
0000149d: SWAP1
0000149e: DUP2
0000149f: SWAP1
000014a0: KECCAK256
000014a1: SWAP4
000014a2: SWAP1
000014a3: SWAP4
000014a4: SSTORE
000014a5: SWAP1
000014a6: DUP7
000014a7: AND
000014a8: SWAP2
000014a9: PUSH1 0x00
000014ab: DUP1
000014ac: MLOAD
000014ad: PUSH1 0x20
000014af: PUSH2 0x2f1e
000014b2: DUP4
000014b3: CODECOPY
000014b4: DUP2
000014b5: MLOAD
000014b6: SWAP2
000014b7: MSTORE
000014b8: SWAP1
000014b9: DUP7
000014ba: SWAP1
000014bb: MLOAD
000014bc: SWAP1
000014bd: DUP2
000014be: MSTORE
000014bf: PUSH1 0x20
000014c1: ADD
000014c2: PUSH1 0x40
000014c4: MLOAD
000014c5: DUP1
000014c6: SWAP2
000014c7: SUB
000014c8: SWAP1
000014c9: LOG3
000014ca: PUSH1 0x01
000014cc: SWAP2
000014cd: POP
000014ce: PUSH2 0x14d7
000014d1: JUMP
000014d2: JUMPDEST
000014d3: PUSH1 0x00
000014d5: SWAP2
000014d6: POP
000014d7: JUMPDEST
000014d8: JUMPDEST
000014d9: POP
000014da: SWAP4
000014db: SWAP3
000014dc: POP
000014dd: POP
000014de: POP
000014df: JUMP
000014e0: JUMPDEST
000014e1: PUSH1 0x03
000014e3: SLOAD
000014e4: PUSH1 0x00
000014e6: SWAP1
000014e7: CALLER
000014e8: PUSH1 0x01
000014ea: PUSH1 0xa0
000014ec: PUSH1 0x02
000014ee: EXP
000014ef: SUB
000014f0: SWAP1
000014f1: DUP2
000014f2: AND
000014f3: SWAP2
000014f4: AND
000014f5: EQ
000014f6: PUSH2 0x14fb
000014f9: JUMPI
000014fa: INVALID
000014fb: JUMPDEST
000014fc: PUSH1 0x00
000014fe: PUSH2 0x150f
00001501: PUSH8 0x0de0b6b3a7640000
0000150a: DUP5
0000150b: PUSH2 0x2c07
0000150e: JUMP
0000150f: JUMPDEST
00001510: GT
00001511: PUSH2 0x1519
00001514: JUMPI
00001515: PUSH1 0x00
00001517: DUP1
00001518: REVERT
00001519: JUMPDEST
0000151a: PUSH1 0x00
0000151c: PUSH2 0x152d
0000151f: PUSH8 0x0de0b6b3a7640000
00001528: DUP5
00001529: PUSH2 0x2d0b
0000152c: JUMP
0000152d: JUMPDEST
0000152e: GT
0000152f: PUSH2 0x1537
00001532: JUMPI
00001533: PUSH1 0x00
00001535: DUP1
00001536: REVERT
00001537: JUMPDEST
00001538: POP
00001539: PUSH1 0x15
0000153b: DUP1
0000153c: SLOAD
0000153d: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff
00001553: NOT
00001554: AND
00001555: PUSH1 0x01
00001557: PUSH1 0xa0
00001559: PUSH1 0x02
0000155b: EXP
0000155c: SUB
0000155d: DUP4
0000155e: AND
0000155f: OR
00001560: SWAP1
00001561: SSTORE
00001562: PUSH1 0x01
00001564: JUMPDEST
00001565: JUMPDEST
00001566: SWAP2
00001567: SWAP1
00001568: POP
00001569: JUMP
0000156a: JUMPDEST
0000156b: PUSH1 0x15
0000156d: SLOAD
0000156e: PUSH1 0x01
00001570: PUSH1 0xa0
00001572: PUSH1 0x02
00001574: EXP
00001575: SUB
00001576: AND
00001577: DUP2
00001578: JUMP
00001579: JUMPDEST
0000157a: PUSH1 0x12
0000157c: DUP2
0000157d: JUMP
0000157e: JUMPDEST
0000157f: PUSH1 0x15
00001581: SLOAD
00001582: PUSH1 0xa0
00001584: PUSH1 0x02
00001586: EXP
00001587: SWAP1
00001588: DIV
00001589: PUSH1 0xff
0000158b: AND
0000158c: DUP2
0000158d: JUMP
0000158e: JUMPDEST
0000158f: PUSH1 0x03
00001591: SLOAD
00001592: PUSH1 0x00
00001594: SWAP1
00001595: CALLER
00001596: PUSH1 0x01
00001598: PUSH1 0xa0
0000159a: PUSH1 0x02
0000159c: EXP
0000159d: SUB
0000159e: SWAP1
0000159f: DUP2
000015a0: AND
000015a1: SWAP2
000015a2: AND
000015a3: EQ
000015a4: PUSH2 0x15a9
000015a7: JUMPI
000015a8: INVALID
000015a9: JUMPDEST
000015aa: DUP2
000015ab: ISZERO
000015ac: PUSH2 0x1607
000015af: JUMPI
000015b0: PUSH1 0x15
000015b2: SLOAD
000015b3: PUSH1 0x00
000015b5: SWAP1
000015b6: PUSH2 0x15d1
000015b9: SWAP1
000015ba: PUSH8 0x0de0b6b3a7640000
000015c3: SWAP1
000015c4: PUSH1 0x01
000015c6: PUSH1 0xa0
000015c8: PUSH1 0x02
000015ca: EXP
000015cb: SUB
000015cc: AND
000015cd: PUSH2 0x2c07
000015d0: JUMP
000015d1: JUMPDEST
000015d2: GT
000015d3: PUSH2 0x15db
000015d6: JUMPI
000015d7: PUSH1 0x00
000015d9: DUP1
000015da: REVERT
000015db: JUMPDEST
000015dc: PUSH1 0x15
000015de: SLOAD
000015df: PUSH1 0x00
000015e1: SWAP1
000015e2: PUSH2 0x15fd
000015e5: SWAP1
000015e6: PUSH8 0x0de0b6b3a7640000
000015ef: SWAP1
000015f0: PUSH1 0x01
000015f2: PUSH1 0xa0
000015f4: PUSH1 0x02
000015f6: EXP
000015f7: SUB
000015f8: AND
000015f9: PUSH2 0x2d0b
000015fc: JUMP
000015fd: JUMPDEST
000015fe: GT
000015ff: PUSH2 0x1607
00001602: JUMPI
00001603: PUSH1 0x00
00001605: DUP1
00001606: REVERT
00001607: JUMPDEST
00001608: JUMPDEST
00001609: POP
0000160a: PUSH1 0x15
0000160c: DUP1
0000160d: SLOAD
0000160e: PUSH21 0xff0000000000000000000000000000000000000000
00001624: NOT
00001625: AND
00001626: PUSH1 0xa0
00001628: PUSH1 0x02
0000162a: EXP
0000162b: DUP4
0000162c: ISZERO
0000162d: ISZERO
0000162e: MUL
0000162f: OR
00001630: SWAP1
00001631: SSTORE
00001632: PUSH1 0x01
00001634: JUMPDEST
00001635: JUMPDEST
00001636: SWAP2
00001637: SWAP1
00001638: POP
00001639: JUMP
0000163a: JUMPDEST
0000163b: PUSH1 0x15
0000163d: SLOAD
0000163e: PUSH1 0x00
00001640: SWAP1
00001641: DUP2
00001642: SWAP1
00001643: PUSH1 0xa0
00001645: PUSH1 0x02
00001647: EXP
00001648: SWAP1
00001649: DIV
0000164a: PUSH1 0xff
0000164c: AND
0000164d: DUP1
0000164e: ISZERO
0000164f: PUSH2 0x1661
00001652: JUMPI
00001653: POP
00001654: PUSH1 0x08
00001656: SLOAD
00001657: PUSH1 0xa0
00001659: PUSH1 0x02
0000165b: EXP
0000165c: SWAP1
0000165d: DIV
0000165e: PUSH1 0xff
00001660: AND
00001661: JUMPDEST
00001662: ISZERO
00001663: ISZERO
00001664: PUSH2 0x166c
00001667: JUMPI
00001668: PUSH1 0x00
0000166a: DUP1
0000166b: REVERT
0000166c: JUMPDEST
0000166d: PUSH1 0x00
0000166f: CALLVALUE
00001670: GT
00001671: PUSH2 0x1679
00001674: JUMPI
00001675: PUSH1 0x00
00001677: DUP1
00001678: REVERT
00001679: JUMPDEST
0000167a: PUSH1 0x15
0000167c: SLOAD
0000167d: PUSH2 0x1690
00001680: SWAP1
00001681: CALLVALUE
00001682: SWAP1
00001683: PUSH1 0x01
00001685: PUSH1 0xa0
00001687: PUSH1 0x02
00001689: EXP
0000168a: SUB
0000168b: AND
0000168c: PUSH2 0x2d0b
0000168f: JUMP
00001690: JUMPDEST
00001691: SWAP1
00001692: POP
00001693: PUSH1 0x00
00001695: DUP2
00001696: GT
00001697: PUSH2 0x169f
0000169a: JUMPI
0000169b: PUSH1 0x00
0000169d: DUP1
0000169e: REVERT
0000169f: JUMPDEST
000016a0: PUSH2 0x16ab
000016a3: PUSH1 0x02
000016a5: SLOAD
000016a6: DUP3
000016a7: PUSH2 0x2ce3
000016aa: JUMP
000016ab: JUMPDEST
000016ac: PUSH1 0x02
000016ae: SSTORE
000016af: PUSH1 0x01
000016b1: PUSH1 0xa0
000016b3: PUSH1 0x02
000016b5: EXP
000016b6: SUB
000016b7: DUP4
000016b8: AND
000016b9: PUSH1 0x00
000016bb: SWAP1
000016bc: DUP2
000016bd: MSTORE
000016be: PUSH1 0x20
000016c0: DUP2
000016c1: SWAP1
000016c2: MSTORE
000016c3: PUSH1 0x40
000016c5: SWAP1
000016c6: KECCAK256
000016c7: SLOAD
000016c8: PUSH2 0x16d1
000016cb: SWAP1
000016cc: DUP3
000016cd: PUSH2 0x2ce3
000016d0: JUMP
000016d1: JUMPDEST
000016d2: PUSH1 0x01
000016d4: PUSH1 0xa0
000016d6: PUSH1 0x02
000016d8: EXP
000016d9: SUB
000016da: DUP5
000016db: AND
000016dc: PUSH1 0x00
000016de: SWAP1
000016df: DUP2
000016e0: MSTORE
000016e1: PUSH1 0x20
000016e3: DUP2
000016e4: SWAP1
000016e5: MSTORE
000016e6: PUSH1 0x40
000016e8: SWAP1
000016e9: KECCAK256
000016ea: SSTORE
000016eb: PUSH1 0x05
000016ed: SLOAD
000016ee: PUSH2 0x16f7
000016f1: SWAP1
000016f2: CALLVALUE
000016f3: PUSH2 0x2ce3
000016f6: JUMP
000016f7: JUMPDEST
000016f8: PUSH1 0x05
000016fa: SSTORE
000016fb: PUSH1 0x01
000016fd: PUSH1 0xa0
000016ff: PUSH1 0x02
00001701: EXP
00001702: SUB
00001703: DUP4
00001704: AND
00001705: PUSH32 0x7ff6ea1c893a974b2f363e8f8e474a1b52958080d1fffe0d085c286de30035d2
00001726: DUP3
00001727: PUSH1 0x40
00001729: MLOAD
0000172a: SWAP1
0000172b: DUP2
0000172c: MSTORE
0000172d: PUSH1 0x20
0000172f: ADD
00001730: PUSH1 0x40
00001732: MLOAD
00001733: DUP1
00001734: SWAP2
00001735: SUB
00001736: SWAP1
00001737: LOG2
00001738: DUP3
00001739: PUSH1 0x01
0000173b: PUSH1 0xa0
0000173d: PUSH1 0x02
0000173f: EXP
00001740: SUB
00001741: AND
00001742: ADDRESS
00001743: PUSH1 0x01
00001745: PUSH1 0xa0
00001747: PUSH1 0x02
00001749: EXP
0000174a: SUB
0000174b: AND
0000174c: PUSH1 0x00
0000174e: DUP1
0000174f: MLOAD
00001750: PUSH1 0x20
00001752: PUSH2 0x2f1e
00001755: DUP4
00001756: CODECOPY
00001757: DUP2
00001758: MLOAD
00001759: SWAP2
0000175a: MSTORE
0000175b: DUP4
0000175c: PUSH1 0x40
0000175e: MLOAD
0000175f: SWAP1
00001760: DUP2
00001761: MSTORE
00001762: PUSH1 0x20
00001764: ADD
00001765: PUSH1 0x40
00001767: MLOAD
00001768: DUP1
00001769: SWAP2
0000176a: SUB
0000176b: SWAP1
0000176c: LOG3
0000176d: DUP1
0000176e: SWAP2
0000176f: POP
00001770: JUMPDEST
00001771: JUMPDEST
00001772: POP
00001773: SWAP2
00001774: SWAP1
00001775: POP
00001776: JUMP
00001777: JUMPDEST
00001778: PUSH1 0x03
0000177a: SLOAD
0000177b: PUSH1 0x00
0000177d: SWAP1
0000177e: CALLER
0000177f: PUSH1 0x01
00001781: PUSH1 0xa0
00001783: PUSH1 0x02
00001785: EXP
00001786: SUB
00001787: SWAP1
00001788: DUP2
00001789: AND
0000178a: SWAP2
0000178b: AND
0000178c: EQ
0000178d: PUSH2 0x1792
00001790: JUMPI
00001791: INVALID
00001792: JUMPDEST
00001793: PUSH1 0x08
00001795: SLOAD
00001796: PUSH1 0xa8
00001798: PUSH1 0x02
0000179a: EXP
0000179b: SWAP1
0000179c: DIV
0000179d: PUSH1 0xff
0000179f: AND
000017a0: ISZERO
000017a1: DUP1
000017a2: ISZERO
000017a3: PUSH2 0x17ba
000017a6: JUMPI
000017a7: POP
000017a8: PUSH1 0x02
000017aa: SLOAD
000017ab: PUSH11 0x295be96e64066972000000
000017b7: SWAP1
000017b8: LT
000017b9: ISZERO
000017ba: JUMPDEST
000017bb: ISZERO
000017bc: ISZERO
000017bd: PUSH2 0x17c5
000017c0: JUMPI
000017c1: PUSH1 0x00
000017c3: DUP1
000017c4: REVERT
000017c5: JUMPDEST
000017c6: PUSH1 0x08
000017c8: DUP1
000017c9: SLOAD
000017ca: PUSH22 0xff000000000000000000000000000000000000000000
000017e1: NOT
000017e2: AND
000017e3: PUSH1 0xa8
000017e5: PUSH1 0x02
000017e7: EXP
000017e8: OR
000017e9: SWAP1
000017ea: SSTORE
000017eb: NUMBER
000017ec: PUSH1 0x13
000017ee: SSTORE
000017ef: PUSH1 0x02
000017f1: SLOAD
000017f2: PUSH2 0x1809
000017f5: SWAP1
000017f6: PUSH2 0x1800
000017f9: SWAP1
000017fa: PUSH1 0x0f
000017fc: PUSH2 0x2cb4
000017ff: JUMP
00001800: JUMPDEST
00001801: PUSH3 0x0186a0
00001805: PUSH2 0x2da1
00001808: JUMP
00001809: JUMPDEST
0000180a: PUSH1 0x05
0000180c: DUP2
0000180d: SWAP1
0000180e: SSTORE
0000180f: PUSH2 0x1823
00001812: SWAP1
00001813: PUSH1 0x01
00001815: PUSH1 0xa0
00001817: PUSH1 0x02
00001819: EXP
0000181a: SUB
0000181b: ADDRESS
0000181c: AND
0000181d: BALANCE
0000181e: SWAP1
0000181f: PUSH2 0x2c9d
00001822: JUMP
00001823: JUMPDEST
00001824: SWAP1
00001825: POP
00001826: PUSH1 0x01
00001828: PUSH1 0xa0
0000182a: PUSH1 0x02
0000182c: EXP
0000182d: SUB
0000182e: CALLER
0000182f: AND
00001830: DUP2
00001831: ISZERO
00001832: PUSH2 0x08fc
00001835: MUL
00001836: DUP3
00001837: PUSH1 0x40
00001839: MLOAD
0000183a: PUSH1 0x00
0000183c: PUSH1 0x40
0000183e: MLOAD
0000183f: DUP1
00001840: DUP4
00001841: SUB
00001842: DUP2
00001843: DUP6
00001844: DUP9
00001845: DUP9
00001846: CALL
00001847: SWAP4
00001848: POP
00001849: POP
0000184a: POP
0000184b: POP
0000184c: ISZERO
0000184d: ISZERO
0000184e: PUSH2 0x1856
00001851: JUMPI
00001852: PUSH1 0x00
00001854: DUP1
00001855: REVERT
00001856: JUMPDEST
00001857: JUMPDEST
00001858: JUMPDEST
00001859: POP
0000185a: JUMP
0000185b: JUMPDEST
0000185c: PUSH1 0x08
0000185e: SLOAD
0000185f: PUSH1 0x00
00001861: SWAP1
00001862: DUP2
00001863: SWAP1
00001864: CALLER
00001865: PUSH1 0x01
00001867: PUSH1 0xa0
00001869: PUSH1 0x02
0000186b: EXP
0000186c: SUB
0000186d: SWAP1
0000186e: DUP2
0000186f: AND
00001870: SWAP2
00001871: AND
00001872: EQ
00001873: PUSH2 0x1878
00001876: JUMPI
00001877: INVALID
00001878: JUMPDEST
00001879: PUSH1 0x08
0000187b: SLOAD
0000187c: PUSH1 0xa8
0000187e: PUSH1 0x02
00001880: EXP
00001881: SWAP1
00001882: DIV
00001883: PUSH1 0xff
00001885: AND
00001886: DUP1
00001887: ISZERO
00001888: PUSH2 0x189b
0000188b: JUMPI
0000188c: POP
0000188d: PUSH1 0x08
0000188f: SLOAD
00001890: PUSH1 0xa0
00001892: PUSH1 0x02
00001894: EXP
00001895: SWAP1
00001896: DIV
00001897: PUSH1 0xff
00001899: AND
0000189a: ISZERO
0000189b: JUMPDEST
0000189c: ISZERO
0000189d: ISZERO
0000189e: PUSH2 0x18a6
000018a1: JUMPI
000018a2: PUSH1 0x00
000018a4: DUP1
000018a5: REVERT
000018a6: JUMPDEST
000018a7: PUSH2 0x18bd
000018aa: PUSH2 0x18b6
000018ad: CALLVALUE
000018ae: PUSH3 0x0186a0
000018b2: PUSH2 0x2cb4
000018b5: JUMP
000018b6: JUMPDEST
000018b7: PUSH1 0x0f
000018b9: PUSH2 0x2da1
000018bc: JUMP
000018bd: JUMPDEST
000018be: SWAP2
000018bf: POP
000018c0: PUSH2 0x18cb
000018c3: PUSH1 0x02
000018c5: SLOAD
000018c6: DUP4
000018c7: PUSH2 0x2ce3
000018ca: JUMP
000018cb: JUMPDEST
000018cc: SWAP1
000018cd: POP
000018ce: DUP1
000018cf: PUSH1 0x02
000018d1: DUP2
000018d2: SWAP1
000018d3: SSTORE
000018d4: POP
000018d5: PUSH2 0x18e0
000018d8: PUSH1 0x05
000018da: SLOAD
000018db: CALLVALUE
000018dc: PUSH2 0x2ce3
000018df: JUMP
000018e0: JUMPDEST
000018e1: PUSH1 0x05
000018e3: SSTORE
000018e4: PUSH1 0x08
000018e6: SLOAD
000018e7: PUSH1 0x01
000018e9: PUSH1 0xa0
000018eb: PUSH1 0x02
000018ed: EXP
000018ee: SUB
000018ef: SWAP1
000018f0: DUP2
000018f1: AND
000018f2: SWAP1
000018f3: ADDRESS
000018f4: AND
000018f5: PUSH1 0x00
000018f7: DUP1
000018f8: MLOAD
000018f9: PUSH1 0x20
000018fb: PUSH2 0x2f1e
000018fe: DUP4
000018ff: CODECOPY
00001900: DUP2
00001901: MLOAD
00001902: SWAP2
00001903: MSTORE
00001904: DUP5
00001905: PUSH1 0x40
00001907: MLOAD
00001908: SWAP1
00001909: DUP2
0000190a: MSTORE
0000190b: PUSH1 0x20
0000190d: ADD
0000190e: PUSH1 0x40
00001910: MLOAD
00001911: DUP1
00001912: SWAP2
00001913: SUB
00001914: SWAP1
00001915: LOG3
00001916: PUSH1 0x08
00001918: SLOAD
00001919: PUSH1 0x01
0000191b: PUSH1 0xa0
0000191d: PUSH1 0x02
0000191f: EXP
00001920: SUB
00001921: AND
00001922: PUSH1 0x00
00001924: SWAP1
00001925: DUP2
00001926: MSTORE
00001927: PUSH1 0x20
00001929: DUP2
0000192a: SWAP1
0000192b: MSTORE
0000192c: PUSH1 0x40
0000192e: SWAP1
0000192f: KECCAK256
00001930: SLOAD
00001931: PUSH2 0x193a
00001934: SWAP1
00001935: DUP4
00001936: PUSH2 0x2ce3
00001939: JUMP
0000193a: JUMPDEST
0000193b: PUSH1 0x08
0000193d: DUP1
0000193e: SLOAD
0000193f: PUSH1 0x01
00001941: PUSH1 0xa0
00001943: PUSH1 0x02
00001945: EXP
00001946: SUB
00001947: SWAP1
00001948: DUP2
00001949: AND
0000194a: PUSH1 0x00
0000194c: SWAP1
0000194d: DUP2
0000194e: MSTORE
0000194f: PUSH1 0x20
00001951: DUP2
00001952: SWAP1
00001953: MSTORE
00001954: PUSH1 0x40
00001956: SWAP1
00001957: DUP2
00001958: SWAP1
00001959: KECCAK256
0000195a: SWAP4
0000195b: SWAP1
0000195c: SWAP4
0000195d: SSTORE
0000195e: SWAP1
0000195f: SLOAD
00001960: AND
00001961: SWAP1
00001962: PUSH32 0x7ff6ea1c893a974b2f363e8f8e474a1b52958080d1fffe0d085c286de30035d2
00001983: SWAP1
00001984: DUP5
00001985: SWAP1
00001986: MLOAD
00001987: SWAP1
00001988: DUP2
00001989: MSTORE
0000198a: PUSH1 0x20
0000198c: ADD
0000198d: PUSH1 0x40
0000198f: MLOAD
00001990: DUP1
00001991: SWAP2
00001992: SUB
00001993: SWAP1
00001994: LOG2
00001995: PUSH1 0x08
00001997: DUP1
00001998: SLOAD
00001999: PUSH21 0xff0000000000000000000000000000000000000000
000019af: NOT
000019b0: AND
000019b1: PUSH1 0xa0
000019b3: PUSH1 0x02
000019b5: EXP
000019b6: OR
000019b7: SWAP1
000019b8: SSTORE
000019b9: JUMPDEST
000019ba: JUMPDEST
000019bb: POP
000019bc: POP
000019bd: JUMP
000019be: JUMPDEST
000019bf: PUSH1 0x01
000019c1: PUSH1 0xa0
000019c3: PUSH1 0x02
000019c5: EXP
000019c6: SUB
000019c7: CALLER
000019c8: AND
000019c9: PUSH1 0x00
000019cb: SWAP1
000019cc: DUP2
000019cd: MSTORE
000019ce: PUSH1 0x07
000019d0: PUSH1 0x20
000019d2: MSTORE
000019d3: PUSH1 0x40
000019d5: DUP2
000019d6: KECCAK256
000019d7: SLOAD
000019d8: DUP2
000019d9: SWAP1
000019da: DUP2
000019db: SWAP1
000019dc: DUP2
000019dd: SWAP1
000019de: PUSH1 0xff
000019e0: AND
000019e1: ISZERO
000019e2: ISZERO
000019e3: PUSH1 0x01
000019e5: EQ
000019e6: PUSH2 0x19eb
000019e9: JUMPI
000019ea: INVALID
000019eb: JUMPDEST
000019ec: PUSH1 0x09
000019ee: SLOAD
000019ef: PUSH1 0xa0
000019f1: PUSH1 0x02
000019f3: EXP
000019f4: SWAP1
000019f5: DIV
000019f6: PUSH1 0xff
000019f8: AND
000019f9: ISZERO
000019fa: ISZERO
000019fb: PUSH2 0x1a03
000019fe: JUMPI
000019ff: PUSH1 0x00
00001a01: DUP1
00001a02: REVERT
00001a03: JUMPDEST
00001a04: PUSH1 0x00
00001a06: PUSH1 0x0a
00001a08: SLOAD
00001a09: GT
00001a0a: DUP1
00001a0b: ISZERO
00001a0c: PUSH2 0x1a19
00001a0f: JUMPI
00001a10: POP
00001a11: PUSH2 0x03e8
00001a14: PUSH1 0x0a
00001a16: SLOAD
00001a17: GT
00001a18: ISZERO
00001a19: JUMPDEST
00001a1a: DUP1
00001a1b: ISZERO
00001a1c: PUSH2 0x1a4b
00001a1f: JUMPI
00001a20: POP
00001a21: PUSH1 0x01
00001a23: PUSH1 0xa0
00001a25: PUSH1 0x02
00001a27: EXP
00001a28: SUB
00001a29: DUP1
00001a2a: DUP8
00001a2b: AND
00001a2c: PUSH1 0x00
00001a2e: SWAP1
00001a2f: DUP2
00001a30: MSTORE
00001a31: PUSH1 0x0b
00001a33: PUSH1 0x20
00001a35: SWAP1
00001a36: DUP2
00001a37: MSTORE
00001a38: PUSH1 0x40
00001a3a: DUP1
00001a3b: DUP4
00001a3c: KECCAK256
00001a3d: CALLER
00001a3e: SWAP1
00001a3f: SWAP5
00001a40: AND
00001a41: DUP4
00001a42: MSTORE
00001a43: SWAP3
00001a44: SWAP1
00001a45: MSTORE
00001a46: KECCAK256
00001a47: SLOAD
00001a48: PUSH1 0xff
00001a4a: AND
00001a4b: JUMPDEST
00001a4c: ISZERO
00001a4d: ISZERO
00001a4e: PUSH2 0x1a56
00001a51: JUMPI
00001a52: PUSH1 0x00
00001a54: DUP1
00001a55: REVERT
00001a56: JUMPDEST
00001a57: PUSH1 0x01
00001a59: PUSH1 0xa0
00001a5b: PUSH1 0x02
00001a5d: EXP
00001a5e: SUB
00001a5f: DUP7
00001a60: AND
00001a61: PUSH1 0x00
00001a63: SWAP1
00001a64: DUP2
00001a65: MSTORE
00001a66: PUSH1 0x20
00001a68: DUP2
00001a69: SWAP1
00001a6a: MSTORE
00001a6b: PUSH1 0x40
00001a6d: SWAP1
00001a6e: KECCAK256
00001a6f: SLOAD
00001a70: DUP6
00001a71: SWAP1
00001a72: LT
00001a73: DUP1
00001a74: ISZERO
00001a75: SWAP1
00001a76: PUSH2 0x1a7f
00001a79: JUMPI
00001a7a: POP
00001a7b: PUSH1 0x00
00001a7d: DUP6
00001a7e: GT
00001a7f: JUMPDEST
00001a80: ISZERO
00001a81: ISZERO
00001a82: PUSH2 0x1a8a
00001a85: JUMPI
00001a86: PUSH1 0x00
00001a88: DUP1
00001a89: REVERT
00001a8a: JUMPDEST
00001a8b: PUSH1 0x09
00001a8d: SLOAD
00001a8e: PUSH2 0x1aa0
00001a91: SWAP1
00001a92: PUSH1 0x01
00001a94: PUSH1 0xa0
00001a96: PUSH1 0x02
00001a98: EXP
00001a99: SUB
00001a9a: AND
00001a9b: DUP7
00001a9c: PUSH2 0x2de0
00001a9f: JUMP
00001aa0: JUMPDEST
00001aa1: SWAP3
00001aa2: POP
00001aa3: PUSH2 0x1ab9
00001aa6: PUSH2 0x1ab1
00001aa9: DUP7
00001aaa: PUSH1 0x0a
00001aac: SLOAD
00001aad: PUSH2 0x2cb4
00001ab0: JUMP
00001ab1: JUMPDEST
00001ab2: PUSH2 0x2710
00001ab5: PUSH2 0x2da1
00001ab8: JUMP
00001ab9: JUMPDEST
00001aba: SWAP2
00001abb: POP
00001abc: PUSH1 0x01
00001abe: DUP4
00001abf: LT
00001ac0: ISZERO
00001ac1: PUSH2 0x1ac8
00001ac4: JUMPI
00001ac5: DUP2
00001ac6: SWAP3
00001ac7: POP
00001ac8: JUMPDEST
00001ac9: DUP2
00001aca: DUP4
00001acb: GT
00001acc: ISZERO
00001acd: PUSH2 0x1ad4
00001ad0: JUMPI
00001ad1: DUP2
00001ad2: SWAP3
00001ad3: POP
00001ad4: JUMPDEST
00001ad5: PUSH2 0x1ade
00001ad8: DUP6
00001ad9: DUP5
00001ada: PUSH2 0x2c9d
00001add: JUMP
00001ade: JUMPDEST
00001adf: PUSH1 0x01
00001ae1: PUSH1 0xa0
00001ae3: PUSH1 0x02
00001ae5: EXP
00001ae6: SUB
00001ae7: DUP8
00001ae8: AND
00001ae9: PUSH1 0x00
00001aeb: SWAP1
00001aec: DUP2
00001aed: MSTORE
00001aee: PUSH1 0x20
00001af0: DUP2
00001af1: SWAP1
00001af2: MSTORE
00001af3: PUSH1 0x40
00001af5: SWAP1
00001af6: KECCAK256
00001af7: SLOAD
00001af8: SWAP1
00001af9: SWAP2
00001afa: POP
00001afb: PUSH2 0x1b04
00001afe: SWAP1
00001aff: DUP7
00001b00: PUSH2 0x2c9d
00001b03: JUMP
00001b04: JUMPDEST
00001b05: PUSH1 0x01
00001b07: PUSH1 0xa0
00001b09: PUSH1 0x02
00001b0b: EXP
00001b0c: SUB
00001b0d: DUP1
00001b0e: DUP9
00001b0f: AND
00001b10: PUSH1 0x00
00001b12: SWAP1
00001b13: DUP2
00001b14: MSTORE
00001b15: PUSH1 0x20
00001b17: DUP2
00001b18: SWAP1
00001b19: MSTORE
00001b1a: PUSH1 0x40
00001b1c: DUP1
00001b1d: DUP3
00001b1e: KECCAK256
00001b1f: SWAP4
00001b20: SWAP1
00001b21: SWAP4
00001b22: SSTORE
00001b23: CALLER
00001b24: SWAP1
00001b25: SWAP2
00001b26: AND
00001b27: DUP2
00001b28: MSTORE
00001b29: KECCAK256
00001b2a: SLOAD
00001b2b: PUSH2 0x1b34
00001b2e: SWAP1
00001b2f: DUP3
00001b30: PUSH2 0x2ce3
00001b33: JUMP
00001b34: JUMPDEST
00001b35: PUSH1 0x01
00001b37: PUSH1 0xa0
00001b39: PUSH1 0x02
00001b3b: EXP
00001b3c: SUB
00001b3d: CALLER
00001b3e: AND
00001b3f: PUSH1 0x00
00001b41: SWAP1
00001b42: DUP2
00001b43: MSTORE
00001b44: PUSH1 0x20
00001b46: DUP2
00001b47: SWAP1
00001b48: MSTORE
00001b49: PUSH1 0x40
00001b4b: SWAP1
00001b4c: KECCAK256
00001b4d: SSTORE
00001b4e: PUSH1 0x02
00001b50: SLOAD
00001b51: PUSH2 0x1b5a
00001b54: SWAP1
00001b55: DUP5
00001b56: PUSH2 0x2c9d
00001b59: JUMP
00001b5a: JUMPDEST
00001b5b: PUSH1 0x02
00001b5d: SSTORE
00001b5e: PUSH1 0x01
00001b60: PUSH1 0xa0
00001b62: PUSH1 0x02
00001b64: EXP
00001b65: SUB
00001b66: CALLER
00001b67: DUP2
00001b68: AND
00001b69: SWAP1
00001b6a: DUP8
00001b6b: AND
00001b6c: PUSH1 0x00
00001b6e: DUP1
00001b6f: MLOAD
00001b70: PUSH1 0x20
00001b72: PUSH2 0x2f1e
00001b75: DUP4
00001b76: CODECOPY
00001b77: DUP2
00001b78: MLOAD
00001b79: SWAP2
00001b7a: MSTORE
00001b7b: DUP4
00001b7c: PUSH1 0x40
00001b7e: MLOAD
00001b7f: SWAP1
00001b80: DUP2
00001b81: MSTORE
00001b82: PUSH1 0x20
00001b84: ADD
00001b85: PUSH1 0x40
00001b87: MLOAD
00001b88: DUP1
00001b89: SWAP2
00001b8a: SUB
00001b8b: SWAP1
00001b8c: LOG3
00001b8d: PUSH1 0x00
00001b8f: DUP7
00001b90: PUSH1 0x01
00001b92: PUSH1 0xa0
00001b94: PUSH1 0x02
00001b96: EXP
00001b97: SUB
00001b98: AND
00001b99: PUSH1 0x00
00001b9b: DUP1
00001b9c: MLOAD
00001b9d: PUSH1 0x20
00001b9f: PUSH2 0x2f1e
00001ba2: DUP4
00001ba3: CODECOPY
00001ba4: DUP2
00001ba5: MLOAD
00001ba6: SWAP2
00001ba7: MSTORE
00001ba8: DUP6
00001ba9: PUSH1 0x40
00001bab: MLOAD
00001bac: SWAP1
00001bad: DUP2
00001bae: MSTORE
00001baf: PUSH1 0x20
00001bb1: ADD
00001bb2: PUSH1 0x40
00001bb4: MLOAD
00001bb5: DUP1
00001bb6: SWAP2
00001bb7: SUB
00001bb8: SWAP1
00001bb9: LOG3
00001bba: CALLER
00001bbb: PUSH1 0x01
00001bbd: PUSH1 0xa0
00001bbf: PUSH1 0x02
00001bc1: EXP
00001bc2: SUB
00001bc3: AND
00001bc4: DUP7
00001bc5: PUSH1 0x01
00001bc7: PUSH1 0xa0
00001bc9: PUSH1 0x02
00001bcb: EXP
00001bcc: SUB
00001bcd: AND
00001bce: PUSH32 0xa02fa7af120761e5cdeff8bc117c44fd425d0f51fd27155746f84421d87d18e6
00001bef: DUP6
00001bf0: PUSH1 0x40
00001bf2: MLOAD
00001bf3: SWAP1
00001bf4: DUP2
00001bf5: MSTORE
00001bf6: PUSH1 0x20
00001bf8: ADD
00001bf9: PUSH1 0x40
00001bfb: MLOAD
00001bfc: DUP1
00001bfd: SWAP2
00001bfe: SUB
00001bff: SWAP1
00001c00: LOG3
00001c01: PUSH1 0x01
00001c03: SWAP4
00001c04: POP
00001c05: JUMPDEST
00001c06: JUMPDEST
00001c07: JUMPDEST
00001c08: POP
00001c09: POP
00001c0a: POP
00001c0b: SWAP3
00001c0c: SWAP2
00001c0d: POP
00001c0e: POP
00001c0f: JUMP
00001c10: JUMPDEST
00001c11: PUSH1 0x01
00001c13: PUSH1 0xa0
00001c15: PUSH1 0x02
00001c17: EXP
00001c18: SUB
00001c19: CALLER
00001c1a: AND
00001c1b: PUSH1 0x00
00001c1d: SWAP1
00001c1e: DUP2
00001c1f: MSTORE
00001c20: PUSH1 0x0e
00001c22: PUSH1 0x20
00001c24: MSTORE
00001c25: PUSH1 0x40
00001c27: DUP2
00001c28: KECCAK256
00001c29: SLOAD
00001c2a: DUP2
00001c2b: SWAP1
00001c2c: DUP2
00001c2d: SWAP1
00001c2e: GT
00001c2f: DUP1
00001c30: ISZERO
00001c31: PUSH2 0x1c44
00001c34: JUMPI
00001c35: POP
00001c36: PUSH1 0x08
00001c38: SLOAD
00001c39: PUSH1 0xa0
00001c3b: PUSH1 0x02
00001c3d: EXP
00001c3e: SWAP1
00001c3f: DIV
00001c40: PUSH1 0xff
00001c42: AND
00001c43: ISZERO
00001c44: JUMPDEST
00001c45: DUP1
00001c46: ISZERO
00001c47: PUSH2 0x1c5d
00001c4a: JUMPI
00001c4b: POP
00001c4c: PUSH1 0x02
00001c4e: SLOAD
00001c4f: PUSH11 0x295be96e64066972000000
00001c5b: SWAP1
00001c5c: LT
00001c5d: JUMPDEST
00001c5e: DUP1
00001c5f: ISZERO
00001c60: PUSH2 0x1c6a
00001c63: JUMPI
00001c64: POP
00001c65: PUSH1 0x13
00001c67: SLOAD
00001c68: NUMBER
00001c69: GT
00001c6a: JUMPDEST
00001c6b: ISZERO
00001c6c: ISZERO
00001c6d: PUSH2 0x1c75
00001c70: JUMPI
00001c71: PUSH1 0x00
00001c73: DUP1
00001c74: REVERT
00001c75: JUMPDEST
00001c76: POP
00001c77: POP
00001c78: CALLER
00001c79: PUSH1 0x01
00001c7b: PUSH1 0xa0
00001c7d: PUSH1 0x02
00001c7f: EXP
00001c80: SUB
00001c81: AND
00001c82: PUSH1 0x00
00001c84: SWAP1
00001c85: DUP2
00001c86: MSTORE
00001c87: PUSH1 0x20
00001c89: DUP2
00001c8a: DUP2
00001c8b: MSTORE
00001c8c: PUSH1 0x40
00001c8e: DUP1
00001c8f: DUP4
00001c90: KECCAK256
00001c91: DUP1
00001c92: SLOAD
00001c93: PUSH1 0x0e
00001c95: SWAP1
00001c96: SWAP4
00001c97: MSTORE
00001c98: SWAP1
00001c99: DUP4
00001c9a: KECCAK256
00001c9b: DUP1
00001c9c: SLOAD
00001c9d: SWAP2
00001c9e: DUP5
00001c9f: SWAP1
00001ca0: SSTORE
00001ca1: SWAP3
00001ca2: SWAP1
00001ca3: SWAP3
00001ca4: SSTORE
00001ca5: PUSH1 0x02
00001ca7: SLOAD
00001ca8: SWAP1
00001ca9: SWAP2
00001caa: SWAP1
00001cab: PUSH2 0x1cb4
00001cae: SWAP1
00001caf: DUP4
00001cb0: PUSH2 0x2c9d
00001cb3: JUMP
00001cb4: JUMPDEST
00001cb5: PUSH1 0x02
00001cb7: SSTORE
00001cb8: PUSH1 0x01
00001cba: PUSH1 0xa0
00001cbc: PUSH1 0x02
00001cbe: EXP
00001cbf: SUB
00001cc0: CALLER
00001cc1: AND
00001cc2: PUSH32 0xf505eb6e610340eed3eea0048f8ec258cda0927f73be2d293288fde9a546f1ab
00001ce3: DUP4
00001ce4: PUSH1 0x40
00001ce6: MLOAD
00001ce7: SWAP1
00001ce8: DUP2
00001ce9: MSTORE
00001cea: PUSH1 0x20
00001cec: ADD
00001ced: PUSH1 0x40
00001cef: MLOAD
00001cf0: DUP1
00001cf1: SWAP2
00001cf2: SUB
00001cf3: SWAP1
00001cf4: LOG2
00001cf5: CALLER
00001cf6: PUSH1 0x01
00001cf8: PUSH1 0xa0
00001cfa: PUSH1 0x02
00001cfc: EXP
00001cfd: SUB
00001cfe: AND
00001cff: PUSH32 0xb6c0eca8138e097d71e2dd31e19a1266487f0553f170b7260ffe68bcbe9ff8a7
00001d20: DUP3
00001d21: PUSH1 0x40
00001d23: MLOAD
00001d24: SWAP1
00001d25: DUP2
00001d26: MSTORE
00001d27: PUSH1 0x20
00001d29: ADD
00001d2a: PUSH1 0x40
00001d2c: MLOAD
00001d2d: DUP1
00001d2e: SWAP2
00001d2f: SUB
00001d30: SWAP1
00001d31: LOG2
00001d32: PUSH1 0x01
00001d34: PUSH1 0xa0
00001d36: PUSH1 0x02
00001d38: EXP
00001d39: SUB
00001d3a: CALLER
00001d3b: AND
00001d3c: DUP2
00001d3d: ISZERO
00001d3e: PUSH2 0x08fc
00001d41: MUL
00001d42: DUP3
00001d43: PUSH1 0x40
00001d45: MLOAD
00001d46: PUSH1 0x00
00001d48: PUSH1 0x40
00001d4a: MLOAD
00001d4b: DUP1
00001d4c: DUP4
00001d4d: SUB
00001d4e: DUP2
00001d4f: DUP6
00001d50: DUP9
00001d51: DUP9
00001d52: CALL
00001d53: SWAP4
00001d54: POP
00001d55: POP
00001d56: POP
00001d57: POP
00001d58: ISZERO
00001d59: ISZERO
00001d5a: PUSH2 0x19b9
00001d5d: JUMPI
00001d5e: PUSH1 0x00
00001d60: DUP1
00001d61: REVERT
00001d62: JUMPDEST
00001d63: JUMPDEST
00001d64: POP
00001d65: POP
00001d66: JUMP
00001d67: JUMPDEST
00001d68: PUSH1 0x13
00001d6a: SLOAD
00001d6b: DUP2
00001d6c: JUMP
00001d6d: JUMPDEST
00001d6e: PUSH1 0x01
00001d70: PUSH1 0xa0
00001d72: PUSH1 0x02
00001d74: EXP
00001d75: SUB
00001d76: CALLER
00001d77: AND
00001d78: PUSH1 0x00
00001d7a: SWAP1
00001d7b: DUP2
00001d7c: MSTORE
00001d7d: PUSH1 0x07
00001d7f: PUSH1 0x20
00001d81: MSTORE
00001d82: PUSH1 0x40
00001d84: DUP2
00001d85: KECCAK256
00001d86: SLOAD
00001d87: DUP2
00001d88: SWAP1
00001d89: DUP2
00001d8a: SWAP1
00001d8b: DUP2
00001d8c: SWAP1
00001d8d: DUP2
00001d8e: SWAP1
00001d8f: PUSH1 0xff
00001d91: AND
00001d92: ISZERO
00001d93: ISZERO
00001d94: PUSH1 0x01
00001d96: EQ
00001d97: PUSH2 0x1d9c
00001d9a: JUMPI
00001d9b: INVALID
00001d9c: JUMPDEST
00001d9d: PUSH1 0x09
00001d9f: SLOAD
00001da0: PUSH1 0xa0
00001da2: PUSH1 0x02
00001da4: EXP
00001da5: SWAP1
00001da6: DIV
00001da7: PUSH1 0xff
00001da9: AND
00001daa: ISZERO
00001dab: ISZERO
00001dac: PUSH2 0x1db4
00001daf: JUMPI
00001db0: PUSH1 0x00
00001db2: DUP1
00001db3: REVERT
00001db4: JUMPDEST
00001db5: PUSH1 0x01
00001db7: PUSH1 0xa0
00001db9: PUSH1 0x02
00001dbb: EXP
00001dbc: SUB
00001dbd: CALLER
00001dbe: AND
00001dbf: PUSH1 0x00
00001dc1: SWAP1
00001dc2: DUP2
00001dc3: MSTORE
00001dc4: PUSH1 0x0c
00001dc6: PUSH1 0x20
00001dc8: MSTORE
00001dc9: PUSH1 0x40
00001dcb: DUP2
00001dcc: KECCAK256
00001dcd: SLOAD
00001dce: SWAP5
00001dcf: POP
00001dd0: DUP5
00001dd1: GT
00001dd2: DUP1
00001dd3: ISZERO
00001dd4: PUSH2 0x1ddf
00001dd7: JUMPI
00001dd8: POP
00001dd9: PUSH2 0x0fa0
00001ddc: DUP5
00001ddd: GT
00001dde: ISZERO
00001ddf: JUMPDEST
00001de0: DUP1
00001de1: ISZERO
00001de2: PUSH2 0x1deb
00001de5: JUMPI
00001de6: POP
00001de7: PUSH1 0x00
00001de9: DUP7
00001dea: GT
00001deb: JUMPDEST
00001dec: ISZERO
00001ded: ISZERO
00001dee: PUSH2 0x1df6
00001df1: JUMPI
00001df2: PUSH1 0x00
00001df4: DUP1
00001df5: REVERT
00001df6: JUMPDEST
00001df7: PUSH2 0x1e00
00001dfa: CALLER
00001dfb: DUP8
00001dfc: PUSH2 0x2e77
00001dff: JUMP
00001e00: JUMPDEST
00001e01: SWAP3
00001e02: POP
00001e03: PUSH2 0x1e17
00001e06: PUSH2 0x1ab1
00001e09: DUP8
00001e0a: DUP7
00001e0b: PUSH2 0x2cb4
00001e0e: JUMP
00001e0f: JUMPDEST
00001e10: PUSH2 0x2710
00001e13: PUSH2 0x2da1
00001e16: JUMP
00001e17: JUMPDEST
00001e18: SWAP2
00001e19: POP
00001e1a: PUSH1 0x01
00001e1c: DUP4
00001e1d: LT
00001e1e: ISZERO
00001e1f: PUSH2 0x1e26
00001e22: JUMPI
00001e23: DUP2
00001e24: SWAP3
00001e25: POP
00001e26: JUMPDEST
00001e27: DUP2
00001e28: DUP4
00001e29: GT
00001e2a: ISZERO
00001e2b: PUSH2 0x1e32
00001e2e: JUMPI
00001e2f: DUP2
00001e30: SWAP3
00001e31: POP
00001e32: JUMPDEST
00001e33: PUSH2 0x1e3c
00001e36: DUP7
00001e37: DUP5
00001e38: PUSH2 0x2c9d
00001e3b: JUMP
00001e3c: JUMPDEST
00001e3d: PUSH1 0x01
00001e3f: PUSH1 0xa0
00001e41: PUSH1 0x02
00001e43: EXP
00001e44: SUB
00001e45: CALLER
00001e46: AND
00001e47: PUSH1 0x00
00001e49: SWAP1
00001e4a: DUP2
00001e4b: MSTORE
00001e4c: PUSH1 0x20
00001e4e: DUP2
00001e4f: SWAP1
00001e50: MSTORE
00001e51: PUSH1 0x40
00001e53: SWAP1
00001e54: KECCAK256
00001e55: SLOAD
00001e56: SWAP1
00001e57: SWAP2
00001e58: POP
00001e59: DUP2
00001e5a: SWAP1
00001e5b: LT
00001e5c: ISZERO
00001e5d: PUSH2 0x1e65
00001e60: JUMPI
00001e61: PUSH1 0x00
00001e63: DUP1
00001e64: REVERT
00001e65: JUMPDEST
00001e66: PUSH1 0x01
00001e68: PUSH1 0xa0
00001e6a: PUSH1 0x02
00001e6c: EXP
00001e6d: SUB
00001e6e: DUP8
00001e6f: AND
00001e70: PUSH1 0x00
00001e72: SWAP1
00001e73: DUP2
00001e74: MSTORE
00001e75: PUSH1 0x20
00001e77: DUP2
00001e78: SWAP1
00001e79: MSTORE
00001e7a: PUSH1 0x40
00001e7c: SWAP1
00001e7d: KECCAK256
00001e7e: SLOAD
00001e7f: PUSH2 0x1e88
00001e82: SWAP1
00001e83: DUP3
00001e84: PUSH2 0x2ce3
00001e87: JUMP
00001e88: JUMPDEST
00001e89: PUSH1 0x00
00001e8b: DUP1
00001e8c: DUP10
00001e8d: PUSH1 0x01
00001e8f: PUSH1 0xa0
00001e91: PUSH1 0x02
00001e93: EXP
00001e94: SUB
00001e95: AND
00001e96: PUSH1 0x01
00001e98: PUSH1 0xa0
00001e9a: PUSH1 0x02
00001e9c: EXP
00001e9d: SUB
00001e9e: AND
00001e9f: DUP2
00001ea0: MSTORE
00001ea1: PUSH1 0x20
00001ea3: ADD
00001ea4: SWAP1
00001ea5: DUP2
00001ea6: MSTORE
00001ea7: PUSH1 0x20
00001ea9: ADD
00001eaa: PUSH1 0x00
00001eac: KECCAK256
00001ead: DUP2
00001eae: SWAP1
00001eaf: SSTORE
00001eb0: POP
00001eb1: DUP7
00001eb2: PUSH1 0x01
00001eb4: PUSH1 0xa0
00001eb6: PUSH1 0x02
00001eb8: EXP
00001eb9: SUB
00001eba: AND
00001ebb: CALLER
00001ebc: PUSH1 0x01
00001ebe: PUSH1 0xa0
00001ec0: PUSH1 0x02
00001ec2: EXP
00001ec3: SUB
00001ec4: AND
00001ec5: PUSH1 0x00
00001ec7: DUP1
00001ec8: MLOAD
00001ec9: PUSH1 0x20
00001ecb: PUSH2 0x2f1e
00001ece: DUP4
00001ecf: CODECOPY
00001ed0: DUP2
00001ed1: MLOAD
00001ed2: SWAP2
00001ed3: MSTORE
00001ed4: DUP4
00001ed5: PUSH1 0x40
00001ed7: MLOAD
00001ed8: SWAP1
00001ed9: DUP2
00001eda: MSTORE
00001edb: PUSH1 0x20
00001edd: ADD
00001ede: PUSH1 0x40
00001ee0: MLOAD
00001ee1: DUP1
00001ee2: SWAP2
00001ee3: SUB
00001ee4: SWAP1
00001ee5: LOG3
00001ee6: PUSH1 0x01
00001ee8: SWAP5
00001ee9: POP
00001eea: JUMPDEST
00001eeb: JUMPDEST
00001eec: JUMPDEST
00001eed: POP
00001eee: POP
00001eef: POP
00001ef0: POP
00001ef1: SWAP3
00001ef2: SWAP2
00001ef3: POP
00001ef4: POP
00001ef5: JUMP
00001ef6: JUMPDEST
00001ef7: PUSH11 0x295be96e64066972000000
00001f03: DUP2
00001f04: JUMP
00001f05: JUMPDEST
00001f06: PUSH1 0x01
00001f08: PUSH1 0xa0
00001f0a: PUSH1 0x02
00001f0c: EXP
00001f0d: SUB
00001f0e: CALLER
00001f0f: DUP2
00001f10: AND
00001f11: PUSH1 0x00
00001f13: DUP2
00001f14: DUP2
00001f15: MSTORE
00001f16: PUSH1 0x0b
00001f18: PUSH1 0x20
00001f1a: SWAP1
00001f1b: DUP2
00001f1c: MSTORE
00001f1d: PUSH1 0x40
00001f1f: DUP1
00001f20: DUP4
00001f21: KECCAK256
00001f22: SWAP5
00001f23: DUP7
00001f24: AND
00001f25: DUP4
00001f26: MSTORE
00001f27: SWAP4
00001f28: SWAP1
00001f29: MSTORE
00001f2a: DUP3
00001f2b: DUP2
00001f2c: KECCAK256
00001f2d: DUP1
00001f2e: SLOAD
00001f2f: PUSH1 0xff
00001f31: NOT
00001f32: AND
00001f33: SWAP1
00001f34: SSTORE
00001f35: SWAP2
00001f36: PUSH32 0x79485d41c145ee4d7ebf84793ab927ebb3f929101dba7db48702ef527d02cf83
00001f57: SWAP1
00001f58: DUP5
00001f59: SWAP1
00001f5a: MLOAD
00001f5b: PUSH1 0x01
00001f5d: PUSH1 0xa0
00001f5f: PUSH1 0x02
00001f61: EXP
00001f62: SUB
00001f63: SWAP1
00001f64: SWAP2
00001f65: AND
00001f66: DUP2
00001f67: MSTORE
00001f68: PUSH1 0x20
00001f6a: ADD
00001f6b: PUSH1 0x40
00001f6d: MLOAD
00001f6e: DUP1
00001f6f: SWAP2
00001f70: SUB
00001f71: SWAP1
00001f72: LOG2
00001f73: POP
00001f74: PUSH1 0x01
00001f76: JUMPDEST
00001f77: SWAP2
00001f78: SWAP1
00001f79: POP
00001f7a: JUMP
00001f7b: JUMPDEST
00001f7c: PUSH1 0x01
00001f7e: PUSH1 0xa0
00001f80: PUSH1 0x02
00001f82: EXP
00001f83: SUB
00001f84: DUP1
00001f85: DUP4
00001f86: AND
00001f87: PUSH1 0x00
00001f89: SWAP1
00001f8a: DUP2
00001f8b: MSTORE
00001f8c: PUSH1 0x0b
00001f8e: PUSH1 0x20
00001f90: SWAP1
00001f91: DUP2
00001f92: MSTORE
00001f93: PUSH1 0x40
00001f95: DUP1
00001f96: DUP4
00001f97: KECCAK256
00001f98: SWAP4
00001f99: DUP6
00001f9a: AND
00001f9b: DUP4
00001f9c: MSTORE
00001f9d: SWAP3
00001f9e: SWAP1
00001f9f: MSTORE
00001fa0: KECCAK256
00001fa1: SLOAD
00001fa2: PUSH1 0xff
00001fa4: AND
00001fa5: JUMPDEST
00001fa6: SWAP3
00001fa7: SWAP2
00001fa8: POP
00001fa9: POP
00001faa: JUMP
00001fab: JUMPDEST
00001fac: PUSH1 0x01
00001fae: PUSH1 0xa0
00001fb0: PUSH1 0x02
00001fb2: EXP
00001fb3: SUB
00001fb4: DUP2
00001fb5: AND
00001fb6: PUSH1 0x00
00001fb8: SWAP1
00001fb9: DUP2
00001fba: MSTORE
00001fbb: PUSH1 0x0c
00001fbd: PUSH1 0x20
00001fbf: MSTORE
00001fc0: PUSH1 0x40
00001fc2: SWAP1
00001fc3: KECCAK256
00001fc4: SLOAD
00001fc5: JUMPDEST
00001fc6: SWAP2
00001fc7: SWAP1
00001fc8: POP
00001fc9: JUMP
00001fca: JUMPDEST
00001fcb: PUSH1 0x01
00001fcd: PUSH1 0xa0
00001fcf: PUSH1 0x02
00001fd1: EXP
00001fd2: SUB
00001fd3: DUP2
00001fd4: AND
00001fd5: PUSH1 0x00
00001fd7: SWAP1
00001fd8: DUP2
00001fd9: MSTORE
00001fda: PUSH1 0x20
00001fdc: DUP2
00001fdd: SWAP1
00001fde: MSTORE
00001fdf: PUSH1 0x40
00001fe1: SWAP1
00001fe2: KECCAK256
00001fe3: SLOAD
00001fe4: JUMPDEST
00001fe5: SWAP2
00001fe6: SWAP1
00001fe7: POP
00001fe8: JUMP
00001fe9: JUMPDEST
00001fea: PUSH1 0x14
00001fec: SLOAD
00001fed: DUP2
00001fee: JUMP
00001fef: JUMPDEST
00001ff0: PUSH1 0x03
00001ff2: SLOAD
00001ff3: PUSH1 0x00
00001ff5: SWAP1
00001ff6: DUP2
00001ff7: SWAP1
00001ff8: CALLER
00001ff9: PUSH1 0x01
00001ffb: PUSH1 0xa0
00001ffd: PUSH1 0x02
00001fff: EXP
00002000: SUB
00002001: SWAP1
00002002: DUP2
00002003: AND
00002004: SWAP2
00002005: AND
00002006: EQ
00002007: PUSH2 0x200c
0000200a: JUMPI
0000200b: INVALID
0000200c: JUMPDEST
0000200d: POP
0000200e: PUSH1 0x01
00002010: PUSH1 0xa0
00002012: PUSH1 0x02
00002014: EXP
00002015: SUB
00002016: DUP1
00002017: DUP5
00002018: AND
00002019: PUSH1 0x00
0000201b: SWAP1
0000201c: DUP2
0000201d: MSTORE
0000201e: PUSH1 0x0b
00002020: PUSH1 0x20
00002022: SWAP1
00002023: DUP2
00002024: MSTORE
00002025: PUSH1 0x40
00002027: DUP1
00002028: DUP4
00002029: KECCAK256
0000202a: CALLER
0000202b: SWAP1
0000202c: SWAP5
0000202d: AND
0000202e: DUP4
0000202f: MSTORE
00002030: SWAP3
00002031: SWAP1
00002032: MSTORE
00002033: KECCAK256
00002034: SLOAD
00002035: PUSH1 0xff
00002037: AND
00002038: DUP1
00002039: DUP1
0000203a: ISZERO
0000203b: PUSH2 0x205c
0000203e: JUMPI
0000203f: POP
00002040: PUSH1 0x01
00002042: PUSH1 0xa0
00002044: PUSH1 0x02
00002046: EXP
00002047: SUB
00002048: DUP4
00002049: AND
0000204a: PUSH1 0x00
0000204c: SWAP1
0000204d: DUP2
0000204e: MSTORE
0000204f: PUSH1 0x07
00002051: PUSH1 0x20
00002053: MSTORE
00002054: PUSH1 0x40
00002056: SWAP1
00002057: KECCAK256
00002058: SLOAD
00002059: PUSH1 0xff
0000205b: AND
0000205c: JUMPDEST
0000205d: ISZERO
0000205e: PUSH2 0x20df
00002061: JUMPI
00002062: PUSH1 0x01
00002064: PUSH1 0xa0
00002066: PUSH1 0x02
00002068: EXP
00002069: SUB
0000206a: DUP1
0000206b: DUP6
0000206c: AND
0000206d: PUSH1 0x00
0000206f: SWAP1
00002070: DUP2
00002071: MSTORE
00002072: PUSH1 0x0b
00002074: PUSH1 0x20
00002076: SWAP1
00002077: DUP2
00002078: MSTORE
00002079: PUSH1 0x40
0000207b: DUP1
0000207c: DUP4
0000207d: KECCAK256
0000207e: DUP8
0000207f: DUP6
00002080: AND
00002081: DUP5
00002082: MSTORE
00002083: SWAP1
00002084: SWAP2
00002085: MSTORE
00002086: SWAP1
00002087: DUP2
00002088: SWAP1
00002089: KECCAK256
0000208a: DUP1
0000208b: SLOAD
0000208c: PUSH1 0xff
0000208e: NOT
0000208f: AND
00002090: PUSH1 0x01
00002092: OR
00002093: SWAP1
00002094: SSTORE
00002095: CALLER
00002096: SWAP1
00002097: SWAP2
00002098: AND
00002099: SWAP1
0000209a: PUSH32 0x8563cf3307d6904af4525af51010bc07d34ec3154f552d9e00f64ed395dc0470
000020bb: SWAP1
000020bc: DUP6
000020bd: SWAP1
000020be: MLOAD
000020bf: PUSH1 0x01
000020c1: PUSH1 0xa0
000020c3: PUSH1 0x02
000020c5: EXP
000020c6: SUB
000020c7: SWAP1
000020c8: SWAP2
000020c9: AND
000020ca: DUP2
000020cb: MSTORE
000020cc: PUSH1 0x20
000020ce: ADD
000020cf: PUSH1 0x40
000020d1: MLOAD
000020d2: DUP1
000020d3: SWAP2
000020d4: SUB
000020d5: SWAP1
000020d6: LOG2
000020d7: PUSH1 0x01
000020d9: SWAP2
000020da: POP
000020db: PUSH2 0x11eb
000020de: JUMP
000020df: JUMPDEST
000020e0: PUSH1 0x00
000020e2: SWAP2
000020e3: POP
000020e4: PUSH2 0x11eb
000020e7: JUMP
000020e8: JUMPDEST
000020e9: JUMPDEST
000020ea: JUMPDEST
000020eb: POP
000020ec: SWAP3
000020ed: SWAP2
000020ee: POP
000020ef: POP
000020f0: JUMP
000020f1: JUMPDEST
000020f2: PUSH1 0x04
000020f4: SLOAD
000020f5: CALLER
000020f6: PUSH1 0x01
000020f8: PUSH1 0xa0
000020fa: PUSH1 0x02
000020fc: EXP
000020fd: SUB
000020fe: SWAP1
000020ff: DUP2
00002100: AND
00002101: SWAP2
00002102: AND
00002103: EQ
00002104: PUSH2 0x210c
00002107: JUMPI
00002108: PUSH1 0x00
0000210a: DUP1
0000210b: REVERT
0000210c: JUMPDEST
0000210d: PUSH1 0x03
0000210f: SLOAD
00002110: PUSH1 0x04
00002112: SLOAD
00002113: PUSH32 0x343765429aea5a34b3ff6a3785a98a5abb2597aca87bfbb58632c173d585373a
00002134: SWAP2
00002135: PUSH1 0x01
00002137: PUSH1 0xa0
00002139: PUSH1 0x02
0000213b: EXP
0000213c: SUB
0000213d: SWAP1
0000213e: DUP2
0000213f: AND
00002140: SWAP2
00002141: AND
00002142: PUSH1 0x40
00002144: MLOAD
00002145: PUSH1 0x01
00002147: PUSH1 0xa0
00002149: PUSH1 0x02
0000214b: EXP
0000214c: SUB
0000214d: SWAP3
0000214e: DUP4
0000214f: AND
00002150: DUP2
00002151: MSTORE
00002152: SWAP2
00002153: AND
00002154: PUSH1 0x20
00002156: DUP3
00002157: ADD
00002158: MSTORE
00002159: PUSH1 0x40
0000215b: SWAP1
0000215c: DUP2
0000215d: ADD
0000215e: SWAP1
0000215f: MLOAD
00002160: DUP1
00002161: SWAP2
00002162: SUB
00002163: SWAP1
00002164: LOG1
00002165: PUSH1 0x04
00002167: DUP1
00002168: SLOAD
00002169: PUSH1 0x03
0000216b: DUP1
0000216c: SLOAD
0000216d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002182: NOT
00002183: SWAP1
00002184: DUP2
00002185: AND
00002186: PUSH1 0x01
00002188: PUSH1 0xa0
0000218a: PUSH1 0x02
0000218c: EXP
0000218d: SUB
0000218e: DUP5
0000218f: AND
00002190: OR
00002191: SWAP1
00002192: SWAP2
00002193: SSTORE
00002194: AND
00002195: SWAP1
00002196: SSTORE
00002197: JUMPDEST
00002198: JUMP
00002199: JUMPDEST
0000219a: PUSH1 0x02
0000219c: SLOAD
0000219d: DUP2
0000219e: JUMP
0000219f: JUMPDEST
000021a0: PUSH1 0x09
000021a2: SLOAD
000021a3: PUSH1 0x01
000021a5: PUSH1 0xa0
000021a7: PUSH1 0x02
000021a9: EXP
000021aa: SUB
000021ab: AND
000021ac: DUP2
000021ad: JUMP
000021ae: JUMPDEST
000021af: PUSH1 0x01
000021b1: PUSH1 0xa0
000021b3: PUSH1 0x02
000021b5: EXP
000021b6: SUB
000021b7: DUP2
000021b8: AND
000021b9: PUSH1 0x00
000021bb: SWAP1
000021bc: DUP2
000021bd: MSTORE
000021be: PUSH1 0x0f
000021c0: PUSH1 0x20
000021c2: MSTORE
000021c3: PUSH1 0x40
000021c5: SWAP1
000021c6: KECCAK256
000021c7: SLOAD
000021c8: JUMPDEST
000021c9: SWAP2
000021ca: SWAP1
000021cb: POP
000021cc: JUMP
000021cd: JUMPDEST
000021ce: PUSH1 0x0f
000021d0: DUP2
000021d1: JUMP
000021d2: JUMPDEST
000021d3: PUSH1 0x03
000021d5: SLOAD
000021d6: PUSH1 0x01
000021d8: PUSH1 0xa0
000021da: PUSH1 0x02
000021dc: EXP
000021dd: SUB
000021de: AND
000021df: DUP2
000021e0: JUMP
000021e1: JUMPDEST
000021e2: PUSH1 0x03
000021e4: SLOAD
000021e5: PUSH1 0x00
000021e7: SWAP1
000021e8: CALLER
000021e9: PUSH1 0x01
000021eb: PUSH1 0xa0
000021ed: PUSH1 0x02
000021ef: EXP
000021f0: SUB
000021f1: SWAP1
000021f2: DUP2
000021f3: AND
000021f4: SWAP2
000021f5: AND
000021f6: EQ
000021f7: PUSH2 0x21fc
000021fa: JUMPI
000021fb: INVALID
000021fc: JUMPDEST
000021fd: PUSH1 0x01
000021ff: PUSH1 0xa0
00002201: PUSH1 0x02
00002203: EXP
00002204: SUB
00002205: DUP1
00002206: DUP5
00002207: AND
00002208: PUSH1 0x00
0000220a: DUP2
0000220b: DUP2
0000220c: MSTORE
0000220d: PUSH1 0x0b
0000220f: PUSH1 0x20
00002211: SWAP1
00002212: DUP2
00002213: MSTORE
00002214: PUSH1 0x40
00002216: DUP1
00002217: DUP4
00002218: KECCAK256
00002219: SWAP5
0000221a: DUP8
0000221b: AND
0000221c: DUP4
0000221d: MSTORE
0000221e: SWAP4
0000221f: SWAP1
00002220: MSTORE
00002221: DUP3
00002222: SWAP1
00002223: KECCAK256
00002224: DUP1
00002225: SLOAD
00002226: PUSH1 0xff
00002228: NOT
00002229: AND
0000222a: SWAP1
0000222b: SSTORE
0000222c: SWAP1
0000222d: PUSH32 0x79485d41c145ee4d7ebf84793ab927ebb3f929101dba7db48702ef527d02cf83
0000224e: SWAP1
0000224f: DUP5
00002250: SWAP1
00002251: MLOAD
00002252: PUSH1 0x01
00002254: PUSH1 0xa0
00002256: PUSH1 0x02
00002258: EXP
00002259: SUB
0000225a: SWAP1
0000225b: SWAP2
0000225c: AND
0000225d: DUP2
0000225e: MSTORE
0000225f: PUSH1 0x20
00002261: ADD
00002262: PUSH1 0x40
00002264: MLOAD
00002265: DUP1
00002266: SWAP2
00002267: SUB
00002268: SWAP1
00002269: LOG2
0000226a: POP
0000226b: PUSH1 0x01
0000226d: JUMPDEST
0000226e: JUMPDEST
0000226f: SWAP3
00002270: SWAP2
00002271: POP
00002272: POP
00002273: JUMP
00002274: JUMPDEST
00002275: PUSH1 0x06
00002277: SLOAD
00002278: PUSH1 0x01
0000227a: PUSH1 0xa0
0000227c: PUSH1 0x02
0000227e: EXP
0000227f: SUB
00002280: AND
00002281: DUP2
00002282: JUMP
00002283: JUMPDEST
00002284: PUSH1 0x40
00002286: DUP1
00002287: MLOAD
00002288: SWAP1
00002289: DUP2
0000228a: ADD
0000228b: PUSH1 0x40
0000228d: MSTORE
0000228e: PUSH1 0x04
00002290: DUP2
00002291: MSTORE
00002292: PUSH32 0x574f4c4b00000000000000000000000000000000000000000000000000000000
000022b3: PUSH1 0x20
000022b5: DUP3
000022b6: ADD
000022b7: MSTORE
000022b8: DUP2
000022b9: JUMP
000022ba: JUMPDEST
000022bb: PUSH1 0x08
000022bd: SLOAD
000022be: PUSH1 0x00
000022c0: SWAP1
000022c1: DUP2
000022c2: SWAP1
000022c3: PUSH1 0xa8
000022c5: PUSH1 0x02
000022c7: EXP
000022c8: SWAP1
000022c9: DIV
000022ca: PUSH1 0xff
000022cc: AND
000022cd: ISZERO
000022ce: PUSH2 0x2311
000022d1: JUMPI
000022d2: PUSH2 0x22ea
000022d5: PUSH2 0x1ab1
000022d8: PUSH1 0x02
000022da: SLOAD
000022db: PUSH1 0x14
000022dd: SLOAD
000022de: PUSH2 0x2cb4
000022e1: JUMP
000022e2: JUMPDEST
000022e3: PUSH2 0x2710
000022e6: PUSH2 0x2da1
000022e9: JUMP
000022ea: JUMPDEST
000022eb: SWAP1
000022ec: POP
000022ed: PUSH9 0x056bc75e2d63100000
000022f7: DUP2
000022f8: LT
000022f9: ISZERO
000022fa: PUSH2 0x2309
000022fd: JUMPI
000022fe: POP
000022ff: PUSH9 0x056bc75e2d63100000
00002309: JUMPDEST
0000230a: DUP1
0000230b: SWAP2
0000230c: POP
0000230d: PUSH2 0x2316
00002310: JUMP
00002311: JUMPDEST
00002312: PUSH1 0x00
00002314: SWAP2
00002315: POP
00002316: JUMPDEST
00002317: JUMPDEST
00002318: POP
00002319: SWAP1
0000231a: JUMP
0000231b: JUMPDEST
0000231c: PUSH1 0x0a
0000231e: SLOAD
0000231f: DUP2
00002320: JUMP
00002321: JUMPDEST
00002322: PUSH1 0x05
00002324: SLOAD
00002325: DUP2
00002326: JUMP
00002327: JUMPDEST
00002328: PUSH1 0x01
0000232a: PUSH1 0xa0
0000232c: PUSH1 0x02
0000232e: EXP
0000232f: SUB
00002330: CALLER
00002331: AND
00002332: PUSH1 0x00
00002334: SWAP1
00002335: DUP2
00002336: MSTORE
00002337: PUSH1 0x20
00002339: DUP2
0000233a: SWAP1
0000233b: MSTORE
0000233c: PUSH1 0x40
0000233e: DUP2
0000233f: KECCAK256
00002340: SLOAD
00002341: DUP3
00002342: SWAP1
00002343: LT
00002344: DUP1
00002345: ISZERO
00002346: SWAP1
00002347: PUSH2 0x2350
0000234a: JUMPI
0000234b: POP
0000234c: PUSH1 0x00
0000234e: DUP3
0000234f: GT
00002350: JUMPDEST
00002351: ISZERO
00002352: PUSH2 0x240c
00002355: JUMPI
00002356: PUSH1 0x01
00002358: PUSH1 0xa0
0000235a: PUSH1 0x02
0000235c: EXP
0000235d: SUB
0000235e: CALLER
0000235f: AND
00002360: PUSH1 0x00
00002362: SWAP1
00002363: DUP2
00002364: MSTORE
00002365: PUSH1 0x20
00002367: DUP2
00002368: SWAP1
00002369: MSTORE
0000236a: PUSH1 0x40
0000236c: SWAP1
0000236d: KECCAK256
0000236e: SLOAD
0000236f: PUSH2 0x2378
00002372: SWAP1
00002373: DUP4
00002374: PUSH2 0x2c9d
00002377: JUMP
00002378: JUMPDEST
00002379: PUSH1 0x01
0000237b: PUSH1 0xa0
0000237d: PUSH1 0x02
0000237f: EXP
00002380: SUB
00002381: CALLER
00002382: DUP2
00002383: AND
00002384: PUSH1 0x00
00002386: SWAP1
00002387: DUP2
00002388: MSTORE
00002389: PUSH1 0x20
0000238b: DUP2
0000238c: SWAP1
0000238d: MSTORE
0000238e: PUSH1 0x40
00002390: DUP1
00002391: DUP3
00002392: KECCAK256
00002393: SWAP4
00002394: SWAP1
00002395: SWAP4
00002396: SSTORE
00002397: SWAP1
00002398: DUP6
00002399: AND
0000239a: DUP2
0000239b: MSTORE
0000239c: KECCAK256
0000239d: SLOAD
0000239e: PUSH2 0x23a7
000023a1: SWAP1
000023a2: DUP4
000023a3: PUSH2 0x2ce3
000023a6: JUMP
000023a7: JUMPDEST
000023a8: PUSH1 0x00
000023aa: DUP1
000023ab: DUP6
000023ac: PUSH1 0x01
000023ae: PUSH1 0xa0
000023b0: PUSH1 0x02
000023b2: EXP
000023b3: SUB
000023b4: AND
000023b5: PUSH1 0x01
000023b7: PUSH1 0xa0
000023b9: PUSH1 0x02
000023bb: EXP
000023bc: SUB
000023bd: AND
000023be: DUP2
000023bf: MSTORE
000023c0: PUSH1 0x20
000023c2: ADD
000023c3: SWAP1
000023c4: DUP2
000023c5: MSTORE
000023c6: PUSH1 0x20
000023c8: ADD
000023c9: PUSH1 0x00
000023cb: KECCAK256
000023cc: DUP2
000023cd: SWAP1
000023ce: SSTORE
000023cf: POP
000023d0: DUP3
000023d1: PUSH1 0x01
000023d3: PUSH1 0xa0
000023d5: PUSH1 0x02
000023d7: EXP
000023d8: SUB
000023d9: AND
000023da: CALLER
000023db: PUSH1 0x01
000023dd: PUSH1 0xa0
000023df: PUSH1 0x02
000023e1: EXP
000023e2: SUB
000023e3: AND
000023e4: PUSH1 0x00
000023e6: DUP1
000023e7: MLOAD
000023e8: PUSH1 0x20
000023ea: PUSH2 0x2f1e
000023ed: DUP4
000023ee: CODECOPY
000023ef: DUP2
000023f0: MLOAD
000023f1: SWAP2
000023f2: MSTORE
000023f3: DUP5
000023f4: PUSH1 0x40
000023f6: MLOAD
000023f7: SWAP1
000023f8: DUP2
000023f9: MSTORE
000023fa: PUSH1 0x20
000023fc: ADD
000023fd: PUSH1 0x40
000023ff: MLOAD
00002400: DUP1
00002401: SWAP2
00002402: SUB
00002403: SWAP1
00002404: LOG3
00002405: POP
00002406: PUSH1 0x01
00002408: PUSH2 0x1294
0000240b: JUMP
0000240c: JUMPDEST
0000240d: POP
0000240e: PUSH1 0x00
00002410: PUSH2 0x1294
00002413: JUMP
00002414: JUMPDEST
00002415: JUMPDEST
00002416: SWAP3
00002417: SWAP2
00002418: POP
00002419: POP
0000241a: JUMP
0000241b: JUMPDEST
0000241c: PUSH1 0x03
0000241e: SLOAD
0000241f: PUSH1 0x00
00002421: SWAP1
00002422: CALLER
00002423: PUSH1 0x01
00002425: PUSH1 0xa0
00002427: PUSH1 0x02
00002429: EXP
0000242a: SUB
0000242b: SWAP1
0000242c: DUP2
0000242d: AND
0000242e: SWAP2
0000242f: AND
00002430: EQ
00002431: PUSH2 0x2436
00002434: JUMPI
00002435: INVALID
00002436: JUMPDEST
00002437: PUSH1 0x0a
00002439: DUP3
0000243a: LT
0000243b: ISZERO
0000243c: DUP1
0000243d: ISZERO
0000243e: PUSH2 0x2448
00002441: JUMPI
00002442: POP
00002443: PUSH1 0x64
00002445: DUP3
00002446: GT
00002447: ISZERO
00002448: JUMPDEST
00002449: ISZERO
0000244a: ISZERO
0000244b: PUSH2 0x2453
0000244e: JUMPI
0000244f: PUSH1 0x00
00002451: DUP1
00002452: REVERT
00002453: JUMPDEST
00002454: POP
00002455: PUSH1 0x14
00002457: DUP2
00002458: SWAP1
00002459: SSTORE
0000245a: PUSH1 0x01
0000245c: JUMPDEST
0000245d: JUMPDEST
0000245e: SWAP2
0000245f: SWAP1
00002460: POP
00002461: JUMP
00002462: JUMPDEST
00002463: PUSH1 0x03
00002465: SLOAD
00002466: PUSH1 0x00
00002468: SWAP1
00002469: CALLER
0000246a: PUSH1 0x01
0000246c: PUSH1 0xa0
0000246e: PUSH1 0x02
00002470: EXP
00002471: SUB
00002472: SWAP1
00002473: DUP2
00002474: AND
00002475: SWAP2
00002476: AND
00002477: EQ
00002478: PUSH2 0x247d
0000247b: JUMPI
0000247c: INVALID
0000247d: JUMPDEST
0000247e: PUSH1 0x01
00002480: PUSH1 0x02
00002482: SLOAD
00002483: LT
00002484: DUP1
00002485: ISZERO
00002486: PUSH2 0x248f
00002489: JUMPI
0000248a: POP
0000248b: DUP5
0000248c: NUMBER
0000248d: GT
0000248e: ISZERO
0000248f: JUMPDEST
00002490: DUP1
00002491: ISZERO
00002492: PUSH2 0x249a
00002495: JUMPI
00002496: POP
00002497: DUP5
00002498: DUP5
00002499: GT
0000249a: JUMPDEST
0000249b: DUP1
0000249c: ISZERO
0000249d: PUSH2 0x24a5
000024a0: JUMPI
000024a1: POP
000024a2: DUP6
000024a3: DUP6
000024a4: GT
000024a5: JUMPDEST
000024a6: ISZERO
000024a7: ISZERO
000024a8: PUSH2 0x24b0
000024ab: JUMPI
000024ac: PUSH1 0x00
000024ae: DUP1
000024af: REVERT
000024b0: JUMPDEST
000024b1: POP
000024b2: PUSH1 0x11
000024b4: DUP6
000024b5: SWAP1
000024b6: SSTORE
000024b7: PUSH1 0x12
000024b9: DUP5
000024ba: SWAP1
000024bb: SSTORE
000024bc: PUSH1 0x13
000024be: DUP4
000024bf: SWAP1
000024c0: SSTORE
000024c1: PUSH1 0x06
000024c3: DUP1
000024c4: SLOAD
000024c5: PUSH1 0x01
000024c7: PUSH1 0xa0
000024c9: PUSH1 0x02
000024cb: EXP
000024cc: SUB
000024cd: DUP1
000024ce: DUP6
000024cf: AND
000024d0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024e5: NOT
000024e6: SWAP3
000024e7: DUP4
000024e8: AND
000024e9: OR
000024ea: SWAP1
000024eb: SWAP3
000024ec: SSTORE
000024ed: PUSH1 0x08
000024ef: DUP1
000024f0: SLOAD
000024f1: DUP5
000024f2: DUP5
000024f3: AND
000024f4: SWAP3
000024f5: AND
000024f6: SWAP2
000024f7: SWAP1
000024f8: SWAP2
000024f9: OR
000024fa: SWAP1
000024fb: SSTORE
000024fc: CALLER
000024fd: AND
000024fe: PUSH1 0x00
00002500: SWAP1
00002501: DUP2
00002502: MSTORE
00002503: PUSH1 0x07
00002505: PUSH1 0x20
00002507: MSTORE
00002508: PUSH1 0x40
0000250a: SWAP1
0000250b: KECCAK256
0000250c: DUP1
0000250d: SLOAD
0000250e: PUSH1 0xff
00002510: NOT
00002511: AND
00002512: PUSH1 0x01
00002514: SWAP1
00002515: DUP2
00002516: OR
00002517: SWAP1
00002518: SWAP2
00002519: SSTORE
0000251a: JUMPDEST
0000251b: JUMPDEST
0000251c: SWAP6
0000251d: SWAP5
0000251e: POP
0000251f: POP
00002520: POP
00002521: POP
00002522: POP
00002523: JUMP
00002524: JUMPDEST
00002525: PUSH1 0x09
00002527: SLOAD
00002528: PUSH1 0xa0
0000252a: PUSH1 0x02
0000252c: EXP
0000252d: SWAP1
0000252e: DIV
0000252f: PUSH1 0xff
00002531: AND
00002532: DUP2
00002533: JUMP
00002534: JUMPDEST
00002535: PUSH11 0x7c13bc4b2c133c56000000
00002541: DUP2
00002542: JUMP
00002543: JUMPDEST
00002544: PUSH1 0x12
00002546: SLOAD
00002547: DUP2
00002548: JUMP
00002549: JUMPDEST
0000254a: PUSH1 0x08
0000254c: SLOAD
0000254d: PUSH1 0xa8
0000254f: PUSH1 0x02
00002551: EXP
00002552: SWAP1
00002553: DIV
00002554: PUSH1 0xff
00002556: AND
00002557: DUP2
00002558: JUMP
00002559: JUMPDEST
0000255a: PUSH1 0x03
0000255c: SLOAD
0000255d: PUSH1 0x00
0000255f: SWAP1
00002560: CALLER
00002561: PUSH1 0x01
00002563: PUSH1 0xa0
00002565: PUSH1 0x02
00002567: EXP
00002568: SUB
00002569: SWAP1
0000256a: DUP2
0000256b: AND
0000256c: SWAP2
0000256d: AND
0000256e: EQ
0000256f: PUSH2 0x2574
00002572: JUMPI
00002573: INVALID
00002574: JUMPDEST
00002575: POP
00002576: PUSH1 0x09
00002578: DUP1
00002579: SLOAD
0000257a: PUSH21 0xff0000000000000000000000000000000000000000
00002590: NOT
00002591: AND
00002592: PUSH1 0xa0
00002594: PUSH1 0x02
00002596: EXP
00002597: DUP4
00002598: ISZERO
00002599: ISZERO
0000259a: MUL
0000259b: OR
0000259c: SWAP1
0000259d: SSTORE
0000259e: PUSH1 0x01
000025a0: JUMPDEST
000025a1: JUMPDEST
000025a2: SWAP2
000025a3: SWAP1
000025a4: POP
000025a5: JUMP
000025a6: JUMPDEST
000025a7: PUSH1 0x11
000025a9: SLOAD
000025aa: DUP2
000025ab: JUMP
000025ac: JUMPDEST
000025ad: PUSH1 0x04
000025af: SLOAD
000025b0: PUSH1 0x01
000025b2: PUSH1 0xa0
000025b4: PUSH1 0x02
000025b6: EXP
000025b7: SUB
000025b8: AND
000025b9: DUP2
000025ba: JUMP
000025bb: JUMPDEST
000025bc: PUSH1 0x01
000025be: PUSH1 0xa0
000025c0: PUSH1 0x02
000025c2: EXP
000025c3: SUB
000025c4: DUP1
000025c5: DUP4
000025c6: AND
000025c7: PUSH1 0x00
000025c9: SWAP1
000025ca: DUP2
000025cb: MSTORE
000025cc: PUSH1 0x01
000025ce: PUSH1 0x20
000025d0: SWAP1
000025d1: DUP2
000025d2: MSTORE
000025d3: PUSH1 0x40
000025d5: DUP1
000025d6: DUP4
000025d7: KECCAK256
000025d8: SWAP4
000025d9: DUP6
000025da: AND
000025db: DUP4
000025dc: MSTORE
000025dd: SWAP3
000025de: SWAP1
000025df: MSTORE
000025e0: KECCAK256
000025e1: SLOAD
000025e2: JUMPDEST
000025e3: SWAP3
000025e4: SWAP2
000025e5: POP
000025e6: POP
000025e7: JUMP
000025e8: JUMPDEST
000025e9: PUSH1 0x08
000025eb: SLOAD
000025ec: PUSH1 0xa0
000025ee: PUSH1 0x02
000025f0: EXP
000025f1: SWAP1
000025f2: DIV
000025f3: PUSH1 0xff
000025f5: AND
000025f6: DUP2
000025f7: JUMP
000025f8: JUMPDEST
000025f9: PUSH1 0x03
000025fb: SLOAD
000025fc: PUSH1 0x00
000025fe: SWAP1
000025ff: DUP2
00002600: SWAP1
00002601: CALLER
00002602: PUSH1 0x01
00002604: PUSH1 0xa0
00002606: PUSH1 0x02
00002608: EXP
00002609: SUB
0000260a: SWAP1
0000260b: DUP2
0000260c: AND
0000260d: SWAP2
0000260e: AND
0000260f: EQ
00002610: PUSH2 0x2615
00002613: JUMPI
00002614: INVALID
00002615: JUMPDEST
00002616: POP
00002617: PUSH1 0x00
00002619: JUMPDEST
0000261a: DUP3
0000261b: MLOAD
0000261c: DUP2
0000261d: LT
0000261e: ISZERO
0000261f: PUSH2 0x26a5
00002622: JUMPI
00002623: PUSH1 0x00
00002625: PUSH1 0x10
00002627: PUSH1 0x00
00002629: DUP6
0000262a: DUP5
0000262b: DUP2
0000262c: MLOAD
0000262d: DUP2
0000262e: LT
0000262f: PUSH2 0x2634
00002632: JUMPI
00002633: INVALID
00002634: JUMPDEST
00002635: SWAP1
00002636: PUSH1 0x20
00002638: ADD
00002639: SWAP1
0000263a: PUSH1 0x20
0000263c: MUL
0000263d: ADD
0000263e: MLOAD
0000263f: PUSH1 0x01
00002641: PUSH1 0xa0
00002643: PUSH1 0x02
00002645: EXP
00002646: SUB
00002647: AND
00002648: DUP2
00002649: MSTORE
0000264a: PUSH1 0x20
0000264c: DUP2
0000264d: ADD
0000264e: SWAP2
0000264f: SWAP1
00002650: SWAP2
00002651: MSTORE
00002652: PUSH1 0x40
00002654: ADD
00002655: PUSH1 0x00
00002657: SWAP1
00002658: DUP2
00002659: KECCAK256
0000265a: DUP1
0000265b: SLOAD
0000265c: PUSH1 0xff
0000265e: NOT
0000265f: AND
00002660: SWAP3
00002661: ISZERO
00002662: ISZERO
00002663: SWAP3
00002664: SWAP1
00002665: SWAP3
00002666: OR
00002667: SWAP1
00002668: SWAP2
00002669: SSTORE
0000266a: PUSH1 0x0f
0000266c: DUP2
0000266d: DUP6
0000266e: DUP5
0000266f: DUP2
00002670: MLOAD
00002671: DUP2
00002672: LT
00002673: PUSH2 0x2678
00002676: JUMPI
00002677: INVALID
00002678: JUMPDEST
00002679: SWAP1
0000267a: PUSH1 0x20
0000267c: ADD
0000267d: SWAP1
0000267e: PUSH1 0x20
00002680: MUL
00002681: ADD
00002682: MLOAD
00002683: PUSH1 0x01
00002685: PUSH1 0xa0
00002687: PUSH1 0x02
00002689: EXP
0000268a: SUB
0000268b: AND
0000268c: DUP2
0000268d: MSTORE
0000268e: PUSH1 0x20
00002690: DUP2
00002691: ADD
00002692: SWAP2
00002693: SWAP1
00002694: SWAP2
00002695: MSTORE
00002696: PUSH1 0x40
00002698: ADD
00002699: PUSH1 0x00
0000269b: KECCAK256
0000269c: SSTORE
0000269d: JUMPDEST
0000269e: PUSH1 0x01
000026a0: ADD
000026a1: PUSH2 0x2619
000026a4: JUMP
000026a5: JUMPDEST
000026a6: PUSH1 0x01
000026a8: SWAP2
000026a9: POP
000026aa: JUMPDEST
000026ab: JUMPDEST
000026ac: POP
000026ad: SWAP2
000026ae: SWAP1
000026af: POP
000026b0: JUMP
000026b1: JUMPDEST
000026b2: PUSH1 0x03
000026b4: SLOAD
000026b5: PUSH1 0x00
000026b7: SWAP1
000026b8: CALLER
000026b9: PUSH1 0x01
000026bb: PUSH1 0xa0
000026bd: PUSH1 0x02
000026bf: EXP
000026c0: SUB
000026c1: SWAP1
000026c2: DUP2
000026c3: AND
000026c4: SWAP2
000026c5: AND
000026c6: EQ
000026c7: PUSH2 0x26cc
000026ca: JUMPI
000026cb: INVALID
000026cc: JUMPDEST
000026cd: PUSH1 0x00
000026cf: DUP3
000026d0: GT
000026d1: ISZERO
000026d2: DUP1
000026d3: PUSH2 0x26dd
000026d6: JUMPI
000026d7: POP
000026d8: PUSH2 0x0fa0
000026db: DUP3
000026dc: GT
000026dd: JUMPDEST
000026de: ISZERO
000026df: PUSH2 0x2715
000026e2: JUMPI
000026e3: POP
000026e4: PUSH1 0x01
000026e6: PUSH1 0xa0
000026e8: PUSH1 0x02
000026ea: EXP
000026eb: SUB
000026ec: DUP3
000026ed: AND
000026ee: PUSH1 0x00
000026f0: SWAP1
000026f1: DUP2
000026f2: MSTORE
000026f3: PUSH1 0x07
000026f5: PUSH1 0x20
000026f7: SWAP1
000026f8: DUP2
000026f9: MSTORE
000026fa: PUSH1 0x40
000026fc: DUP1
000026fd: DUP4
000026fe: KECCAK256
000026ff: DUP1
00002700: SLOAD
00002701: PUSH1 0xff
00002703: NOT
00002704: AND
00002705: SWAP1
00002706: SSTORE
00002707: PUSH1 0x0c
00002709: SWAP1
0000270a: SWAP2
0000270b: MSTORE
0000270c: DUP2
0000270d: KECCAK256
0000270e: DUP2
0000270f: SWAP1
00002710: SSTORE
00002711: PUSH2 0x1294
00002714: JUMP
00002715: JUMPDEST
00002716: PUSH1 0x01
00002718: PUSH1 0xa0
0000271a: PUSH1 0x02
0000271c: EXP
0000271d: SUB
0000271e: DUP4
0000271f: AND
00002720: PUSH1 0x00
00002722: DUP2
00002723: DUP2
00002724: MSTORE
00002725: PUSH1 0x0c
00002727: PUSH1 0x20
00002729: SWAP1
0000272a: DUP2
0000272b: MSTORE
0000272c: PUSH1 0x40
0000272e: DUP1
0000272f: DUP4
00002730: KECCAK256
00002731: DUP7
00002732: SWAP1
00002733: SSTORE
00002734: PUSH1 0x07
00002736: SWAP1
00002737: SWAP2
00002738: MSTORE
00002739: SWAP1
0000273a: DUP2
0000273b: SWAP1
0000273c: KECCAK256
0000273d: DUP1
0000273e: SLOAD
0000273f: PUSH1 0xff
00002741: NOT
00002742: AND
00002743: PUSH1 0x01
00002745: OR
00002746: SWAP1
00002747: SSTORE
00002748: PUSH32 0xe273f117e317b5f79c25ba280145c5a051fac58dc8482e8b2a14d04023521dcc
00002769: SWAP1
0000276a: DUP5
0000276b: SWAP1
0000276c: MLOAD
0000276d: SWAP1
0000276e: DUP2
0000276f: MSTORE
00002770: PUSH1 0x20
00002772: ADD
00002773: PUSH1 0x40
00002775: MLOAD
00002776: DUP1
00002777: SWAP2
00002778: SUB
00002779: SWAP1
0000277a: LOG2
0000277b: POP
0000277c: PUSH1 0x01
0000277e: PUSH2 0x1294
00002781: JUMP
00002782: JUMPDEST
00002783: JUMPDEST
00002784: JUMPDEST
00002785: SWAP3
00002786: SWAP2
00002787: POP
00002788: POP
00002789: JUMP
0000278a: JUMPDEST
0000278b: PUSH1 0x08
0000278d: SLOAD
0000278e: PUSH1 0x01
00002790: PUSH1 0xa0
00002792: PUSH1 0x02
00002794: EXP
00002795: SUB
00002796: AND
00002797: DUP2
00002798: JUMP
00002799: JUMPDEST
0000279a: PUSH1 0x03
0000279c: SLOAD
0000279d: CALLER
0000279e: PUSH1 0x01
000027a0: PUSH1 0xa0
000027a2: PUSH1 0x02
000027a4: EXP
000027a5: SUB
000027a6: SWAP1
000027a7: DUP2
000027a8: AND
000027a9: SWAP2
000027aa: AND
000027ab: EQ
000027ac: PUSH2 0x27b1
000027af: JUMPI
000027b0: INVALID
000027b1: JUMPDEST
000027b2: PUSH1 0x03
000027b4: SLOAD
000027b5: PUSH1 0x01
000027b7: PUSH1 0xa0
000027b9: PUSH1 0x02
000027bb: EXP
000027bc: SUB
000027bd: DUP3
000027be: DUP2
000027bf: AND
000027c0: SWAP2
000027c1: AND
000027c2: EQ
000027c3: ISZERO
000027c4: PUSH2 0x27cc
000027c7: JUMPI
000027c8: PUSH1 0x00
000027ca: DUP1
000027cb: REVERT
000027cc: JUMPDEST
000027cd: PUSH1 0x04
000027cf: DUP1
000027d0: SLOAD
000027d1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027e6: NOT
000027e7: AND
000027e8: PUSH1 0x01
000027ea: PUSH1 0xa0
000027ec: PUSH1 0x02
000027ee: EXP
000027ef: SUB
000027f0: DUP4
000027f1: AND
000027f2: OR
000027f3: SWAP1
000027f4: SSTORE
000027f5: JUMPDEST
000027f6: JUMPDEST
000027f7: POP
000027f8: JUMP
000027f9: JUMPDEST
000027fa: PUSH1 0x03
000027fc: SLOAD
000027fd: PUSH1 0x00
000027ff: SWAP1
00002800: DUP2
00002801: SWAP1
00002802: CALLER
00002803: PUSH1 0x01
00002805: PUSH1 0xa0
00002807: PUSH1 0x02
00002809: EXP
0000280a: SUB
0000280b: SWAP1
0000280c: DUP2
0000280d: AND
0000280e: SWAP2
0000280f: AND
00002810: EQ
00002811: PUSH2 0x2816
00002814: JUMPI
00002815: INVALID
00002816: JUMPDEST
00002817: PUSH2 0x2828
0000281a: DUP4
0000281b: PUSH8 0x0de0b6b3a7640000
00002824: PUSH2 0x2de0
00002827: JUMP
00002828: JUMPDEST
00002829: SWAP1
0000282a: POP
0000282b: PUSH6 0x2d79883d2000
00002832: DUP2
00002833: GT
00002834: PUSH2 0x283c
00002837: JUMPI
00002838: PUSH1 0x00
0000283a: DUP1
0000283b: REVERT
0000283c: JUMPDEST
0000283d: PUSH1 0x09
0000283f: DUP1
00002840: SLOAD
00002841: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002856: NOT
00002857: AND
00002858: PUSH1 0x01
0000285a: PUSH1 0xa0
0000285c: PUSH1 0x02
0000285e: EXP
0000285f: SUB
00002860: DUP6
00002861: AND
00002862: OR
00002863: SWAP1
00002864: SSTORE
00002865: PUSH1 0x01
00002867: SWAP2
00002868: POP
00002869: JUMPDEST
0000286a: JUMPDEST
0000286b: POP
0000286c: SWAP2
0000286d: SWAP1
0000286e: POP
0000286f: JUMP
00002870: JUMPDEST
00002871: PUSH1 0x01
00002873: PUSH1 0xa0
00002875: PUSH1 0x02
00002877: EXP
00002878: SUB
00002879: CALLER
0000287a: AND
0000287b: PUSH1 0x00
0000287d: SWAP1
0000287e: DUP2
0000287f: MSTORE
00002880: PUSH1 0x07
00002882: PUSH1 0x20
00002884: MSTORE
00002885: PUSH1 0x40
00002887: DUP2
00002888: KECCAK256
00002889: SLOAD
0000288a: DUP2
0000288b: SWAP1
0000288c: PUSH1 0xff
0000288e: AND
0000288f: ISZERO
00002890: ISZERO
00002891: PUSH1 0x01
00002893: EQ
00002894: PUSH2 0x2899
00002897: JUMPI
00002898: INVALID
00002899: JUMPDEST
0000289a: PUSH2 0x28ab
0000289d: DUP4
0000289e: PUSH8 0x0de0b6b3a7640000
000028a7: PUSH2 0x2e77
000028aa: JUMP
000028ab: JUMPDEST
000028ac: SWAP1
000028ad: POP
000028ae: PUSH6 0x2d79883d2000
000028b5: DUP2
000028b6: GT
000028b7: PUSH2 0x28bf
000028ba: JUMPI
000028bb: PUSH1 0x00
000028bd: DUP1
000028be: REVERT
000028bf: JUMPDEST
000028c0: CALLER
000028c1: PUSH1 0x01
000028c3: PUSH1 0xa0
000028c5: PUSH1 0x02
000028c7: EXP
000028c8: SUB
000028c9: SWAP1
000028ca: DUP2
000028cb: AND
000028cc: PUSH1 0x00
000028ce: SWAP1
000028cf: DUP2
000028d0: MSTORE
000028d1: PUSH1 0x0d
000028d3: PUSH1 0x20
000028d5: MSTORE
000028d6: PUSH1 0x40
000028d8: SWAP1
000028d9: KECCAK256
000028da: DUP1
000028db: SLOAD
000028dc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028f1: NOT
000028f2: AND
000028f3: SWAP2
000028f4: DUP6
000028f5: AND
000028f6: SWAP2
000028f7: SWAP1
000028f8: SWAP2
000028f9: OR
000028fa: SWAP1
000028fb: SSTORE
000028fc: PUSH1 0x01
000028fe: SWAP2
000028ff: POP
00002900: JUMPDEST
00002901: JUMPDEST
00002902: POP
00002903: SWAP2
00002904: SWAP1
00002905: POP
00002906: JUMP
00002907: JUMPDEST
00002908: PUSH1 0x01
0000290a: PUSH1 0xa0
0000290c: PUSH1 0x02
0000290e: EXP
0000290f: SUB
00002910: DUP2
00002911: AND
00002912: PUSH1 0x00
00002914: SWAP1
00002915: DUP2
00002916: MSTORE
00002917: PUSH1 0x10
00002919: PUSH1 0x20
0000291b: MSTORE
0000291c: PUSH1 0x40
0000291e: DUP2
0000291f: KECCAK256
00002920: SLOAD
00002921: DUP2
00002922: SWAP1
00002923: DUP2
00002924: SWAP1
00002925: PUSH1 0xff
00002927: AND
00002928: DUP1
00002929: ISZERO
0000292a: PUSH2 0x293d
0000292d: JUMPI
0000292e: POP
0000292f: PUSH1 0x08
00002931: SLOAD
00002932: PUSH1 0xa8
00002934: PUSH1 0x02
00002936: EXP
00002937: SWAP1
00002938: DIV
00002939: PUSH1 0xff
0000293b: AND
0000293c: ISZERO
0000293d: JUMPDEST
0000293e: DUP1
0000293f: ISZERO
00002940: PUSH2 0x2953
00002943: JUMPI
00002944: POP
00002945: PUSH1 0x08
00002947: SLOAD
00002948: PUSH1 0xa0
0000294a: PUSH1 0x02
0000294c: EXP
0000294d: SWAP1
0000294e: DIV
0000294f: PUSH1 0xff
00002951: AND
00002952: ISZERO
00002953: JUMPDEST
00002954: DUP1
00002955: ISZERO
00002956: PUSH2 0x2961
00002959: JUMPI
0000295a: POP
0000295b: PUSH1 0x13
0000295d: SLOAD
0000295e: NUMBER
0000295f: GT
00002960: ISZERO
00002961: JUMPDEST
00002962: DUP1
00002963: ISZERO
00002964: PUSH2 0x296d
00002967: JUMPI
00002968: POP
00002969: PUSH1 0x00
0000296b: CALLVALUE
0000296c: GT
0000296d: JUMPDEST
0000296e: ISZERO
0000296f: ISZERO
00002970: PUSH2 0x2978
00002973: JUMPI
00002974: PUSH1 0x00
00002976: DUP1
00002977: REVERT
00002978: JUMPDEST
00002979: PUSH1 0x02
0000297b: SLOAD
0000297c: PUSH2 0x03e8
0000297f: SWAP4
00002980: POP
00002981: PUSH11 0x295be96e64066972000000
0000298d: SWAP1
0000298e: LT
0000298f: ISZERO
00002990: PUSH2 0x299d
00002993: JUMPI
00002994: PUSH2 0x0499
00002997: SWAP3
00002998: POP
00002999: PUSH2 0x2a43
0000299c: JUMP
0000299d: JUMPDEST
0000299e: PUSH1 0x02
000029a0: SLOAD
000029a1: PUSH11 0x31a17e847807b1bc000000
000029ad: SWAP1
000029ae: LT
000029af: ISZERO
000029b0: PUSH2 0x29bd
000029b3: JUMPI
000029b4: PUSH2 0x0477
000029b7: SWAP3
000029b8: POP
000029b9: PUSH2 0x2a43
000029bc: JUMP
000029bd: JUMPDEST
000029be: PUSH1 0x02
000029c0: SLOAD
000029c1: PUSH11 0x39e7139a8c08fa06000000
000029cd: SWAP1
000029ce: LT
000029cf: ISZERO
000029d0: PUSH2 0x29dd
000029d3: JUMPI
000029d4: PUSH2 0x0457
000029d7: SWAP3
000029d8: POP
000029d9: PUSH2 0x2a43
000029dc: JUMP
000029dd: JUMPDEST
000029de: PUSH1 0x02
000029e0: SLOAD
000029e1: PUSH11 0x422ca8b0a00a4250000000
000029ed: SWAP1
000029ee: LT
000029ef: ISZERO
000029f0: PUSH2 0x29fd
000029f3: JUMPI
000029f4: PUSH2 0x0439
000029f7: SWAP3
000029f8: POP
000029f9: PUSH2 0x2a43
000029fc: JUMP
000029fd: JUMPDEST
000029fe: PUSH1 0x02
00002a00: SLOAD
00002a01: PUSH11 0x4a723dc6b40b8a9a000000
00002a0d: SWAP1
00002a0e: LT
00002a0f: ISZERO
00002a10: PUSH2 0x2a1d
00002a13: JUMPI
00002a14: PUSH2 0x041d
00002a17: SWAP3
00002a18: POP
00002a19: PUSH2 0x2a43
00002a1c: JUMP
00002a1d: JUMPDEST
00002a1e: PUSH1 0x02
00002a20: SLOAD
00002a21: PUSH11 0x52b7d2dcc80cd2e4000000
00002a2d: SWAP1
00002a2e: LT
00002a2f: ISZERO
00002a30: PUSH2 0x2a3d
00002a33: JUMPI
00002a34: PUSH2 0x0402
00002a37: SWAP3
00002a38: POP
00002a39: PUSH2 0x2a43
00002a3c: JUMP
00002a3d: JUMPDEST
00002a3e: PUSH2 0x03e8
00002a41: SWAP3
00002a42: POP
00002a43: JUMPDEST
00002a44: JUMPDEST
00002a45: JUMPDEST
00002a46: JUMPDEST
00002a47: JUMPDEST
00002a48: JUMPDEST
00002a49: PUSH1 0x12
00002a4b: SLOAD
00002a4c: NUMBER
00002a4d: LT
00002a4e: DUP1
00002a4f: ISZERO
00002a50: PUSH2 0x2a5b
00002a53: JUMPI
00002a54: POP
00002a55: PUSH1 0x11
00002a57: SLOAD
00002a58: NUMBER
00002a59: LT
00002a5a: ISZERO
00002a5b: JUMPDEST
00002a5c: ISZERO
00002a5d: PUSH2 0x2ac7
00002a60: JUMPI
00002a61: PUSH1 0x01
00002a63: PUSH1 0xa0
00002a65: PUSH1 0x02
00002a67: EXP
00002a68: SUB
00002a69: DUP5
00002a6a: AND
00002a6b: PUSH1 0x00
00002a6d: SWAP1
00002a6e: DUP2
00002a6f: MSTORE
00002a70: PUSH1 0x0f
00002a72: PUSH1 0x20
00002a74: MSTORE
00002a75: PUSH1 0x40
00002a77: SWAP1
00002a78: KECCAK256
00002a79: SLOAD
00002a7a: CALLVALUE
00002a7b: SWAP1
00002a7c: LT
00002a7d: ISZERO
00002a7e: PUSH2 0x2a86
00002a81: JUMPI
00002a82: PUSH1 0x00
00002a84: DUP1
00002a85: REVERT
00002a86: JUMPDEST
00002a87: PUSH1 0x01
00002a89: PUSH1 0xa0
00002a8b: PUSH1 0x02
00002a8d: EXP
00002a8e: SUB
00002a8f: DUP5
00002a90: AND
00002a91: PUSH1 0x00
00002a93: SWAP1
00002a94: DUP2
00002a95: MSTORE
00002a96: PUSH1 0x0f
00002a98: PUSH1 0x20
00002a9a: MSTORE
00002a9b: PUSH1 0x40
00002a9d: SWAP1
00002a9e: KECCAK256
00002a9f: SLOAD
00002aa0: PUSH2 0x2aa9
00002aa3: SWAP1
00002aa4: CALLVALUE
00002aa5: PUSH2 0x2c9d
00002aa8: JUMP
00002aa9: JUMPDEST
00002aaa: PUSH1 0x01
00002aac: PUSH1 0xa0
00002aae: PUSH1 0x02
00002ab0: EXP
00002ab1: SUB
00002ab2: DUP6
00002ab3: AND
00002ab4: PUSH1 0x00
00002ab6: SWAP1
00002ab7: DUP2
00002ab8: MSTORE
00002ab9: PUSH1 0x0f
00002abb: PUSH1 0x20
00002abd: MSTORE
00002abe: PUSH1 0x40
00002ac0: SWAP1
00002ac1: KECCAK256
00002ac2: SSTORE
00002ac3: PUSH2 0x2ad6
00002ac6: JUMP
00002ac7: JUMPDEST
00002ac8: PUSH1 0x12
00002aca: SLOAD
00002acb: NUMBER
00002acc: LT
00002acd: ISZERO
00002ace: PUSH2 0x2ad6
00002ad1: JUMPI
00002ad2: PUSH1 0x00
00002ad4: DUP1
00002ad5: REVERT
00002ad6: JUMPDEST
00002ad7: JUMPDEST
00002ad8: PUSH2 0x2ae1
00002adb: CALLVALUE
00002adc: DUP5
00002add: PUSH2 0x2cb4
00002ae0: JUMP
00002ae1: JUMPDEST
00002ae2: SWAP2
00002ae3: POP
00002ae4: PUSH2 0x2aef
00002ae7: PUSH1 0x02
00002ae9: SLOAD
00002aea: DUP4
00002aeb: PUSH2 0x2ce3
00002aee: JUMP
00002aef: JUMPDEST
00002af0: SWAP1
00002af1: POP
00002af2: PUSH11 0x7c13bc4b2c133c56000000
00002afe: DUP2
00002aff: GT
00002b00: ISZERO
00002b01: PUSH2 0x2b09
00002b04: JUMPI
00002b05: PUSH1 0x00
00002b07: DUP1
00002b08: REVERT
00002b09: JUMPDEST
00002b0a: PUSH1 0x02
00002b0c: DUP2
00002b0d: SWAP1
00002b0e: SSTORE
00002b0f: PUSH1 0x01
00002b11: PUSH1 0xa0
00002b13: PUSH1 0x02
00002b15: EXP
00002b16: SUB
00002b17: DUP1
00002b18: DUP6
00002b19: AND
00002b1a: SWAP1
00002b1b: ADDRESS
00002b1c: AND
00002b1d: PUSH1 0x00
00002b1f: DUP1
00002b20: MLOAD
00002b21: PUSH1 0x20
00002b23: PUSH2 0x2f1e
00002b26: DUP4
00002b27: CODECOPY
00002b28: DUP2
00002b29: MLOAD
00002b2a: SWAP2
00002b2b: MSTORE
00002b2c: DUP5
00002b2d: PUSH1 0x40
00002b2f: MLOAD
00002b30: SWAP1
00002b31: DUP2
00002b32: MSTORE
00002b33: PUSH1 0x20
00002b35: ADD
00002b36: PUSH1 0x40
00002b38: MLOAD
00002b39: DUP1
00002b3a: SWAP2
00002b3b: SUB
00002b3c: SWAP1
00002b3d: LOG3
00002b3e: PUSH1 0x01
00002b40: PUSH1 0xa0
00002b42: PUSH1 0x02
00002b44: EXP
00002b45: SUB
00002b46: DUP5
00002b47: AND
00002b48: PUSH1 0x00
00002b4a: SWAP1
00002b4b: DUP2
00002b4c: MSTORE
00002b4d: PUSH1 0x20
00002b4f: DUP2
00002b50: SWAP1
00002b51: MSTORE
00002b52: PUSH1 0x40
00002b54: SWAP1
00002b55: KECCAK256
00002b56: SLOAD
00002b57: PUSH2 0x2b60
00002b5a: SWAP1
00002b5b: DUP4
00002b5c: PUSH2 0x2ce3
00002b5f: JUMP
00002b60: JUMPDEST
00002b61: PUSH1 0x01
00002b63: PUSH1 0xa0
00002b65: PUSH1 0x02
00002b67: EXP
00002b68: SUB
00002b69: DUP6
00002b6a: AND
00002b6b: PUSH1 0x00
00002b6d: SWAP1
00002b6e: DUP2
00002b6f: MSTORE
00002b70: PUSH1 0x20
00002b72: DUP2
00002b73: DUP2
00002b74: MSTORE
00002b75: PUSH1 0x40
00002b77: DUP1
00002b78: DUP4
00002b79: KECCAK256
00002b7a: SWAP4
00002b7b: SWAP1
00002b7c: SWAP4
00002b7d: SSTORE
00002b7e: PUSH1 0x0e
00002b80: SWAP1
00002b81: MSTORE
00002b82: KECCAK256
00002b83: SLOAD
00002b84: PUSH2 0x2b8d
00002b87: SWAP1
00002b88: CALLVALUE
00002b89: PUSH2 0x2ce3
00002b8c: JUMP
00002b8d: JUMPDEST
00002b8e: PUSH1 0x01
00002b90: PUSH1 0xa0
00002b92: PUSH1 0x02
00002b94: EXP
00002b95: SUB
00002b96: DUP6
00002b97: AND
00002b98: PUSH1 0x00
00002b9a: DUP2
00002b9b: DUP2
00002b9c: MSTORE
00002b9d: PUSH1 0x0e
00002b9f: PUSH1 0x20
00002ba1: MSTORE
00002ba2: PUSH1 0x40
00002ba4: SWAP1
00002ba5: DUP2
00002ba6: SWAP1
00002ba7: KECCAK256
00002ba8: SWAP3
00002ba9: SWAP1
00002baa: SWAP3
00002bab: SSTORE
00002bac: SWAP1
00002bad: PUSH32 0x7ff6ea1c893a974b2f363e8f8e474a1b52958080d1fffe0d085c286de30035d2
00002bce: SWAP1
00002bcf: DUP5
00002bd0: SWAP1
00002bd1: MLOAD
00002bd2: SWAP1
00002bd3: DUP2
00002bd4: MSTORE
00002bd5: PUSH1 0x20
00002bd7: ADD
00002bd8: PUSH1 0x40
00002bda: MLOAD
00002bdb: DUP1
00002bdc: SWAP2
00002bdd: SUB
00002bde: SWAP1
00002bdf: LOG2
00002be0: JUMPDEST
00002be1: POP
00002be2: POP
00002be3: POP
00002be4: POP
00002be5: JUMP
00002be6: JUMPDEST
00002be7: PUSH1 0x01
00002be9: PUSH1 0xa0
00002beb: PUSH1 0x02
00002bed: EXP
00002bee: SUB
00002bef: DUP1
00002bf0: DUP3
00002bf1: AND
00002bf2: PUSH1 0x00
00002bf4: SWAP1
00002bf5: DUP2
00002bf6: MSTORE
00002bf7: PUSH1 0x0d
00002bf9: PUSH1 0x20
00002bfb: MSTORE
00002bfc: PUSH1 0x40
00002bfe: SWAP1
00002bff: KECCAK256
00002c00: SLOAD
00002c01: AND
00002c02: JUMPDEST
00002c03: SWAP2
00002c04: SWAP1
00002c05: POP
00002c06: JUMP
00002c07: JUMPDEST
00002c08: PUSH1 0x00
00002c0a: DUP1
00002c0b: DUP3
00002c0c: PUSH1 0x01
00002c0e: PUSH1 0xa0
00002c10: PUSH1 0x02
00002c12: EXP
00002c13: SUB
00002c14: AND
00002c15: PUSH4 0xf7a4c45c
00002c1a: PUSH1 0x02
00002c1c: SLOAD
00002c1d: PUSH1 0x05
00002c1f: SLOAD
00002c20: PUSH1 0x0f
00002c22: DUP9
00002c23: PUSH1 0x00
00002c25: PUSH1 0x40
00002c27: MLOAD
00002c28: PUSH1 0x20
00002c2a: ADD
00002c2b: MSTORE
00002c2c: PUSH1 0x40
00002c2e: MLOAD
00002c2f: PUSH1 0xe0
00002c31: PUSH1 0x02
00002c33: EXP
00002c34: PUSH4 0xffffffff
00002c39: DUP8
00002c3a: AND
00002c3b: MUL
00002c3c: DUP2
00002c3d: MSTORE
00002c3e: PUSH1 0x04
00002c40: DUP2
00002c41: ADD
00002c42: SWAP5
00002c43: SWAP1
00002c44: SWAP5
00002c45: MSTORE
00002c46: PUSH1 0x24
00002c48: DUP5
00002c49: ADD
00002c4a: SWAP3
00002c4b: SWAP1
00002c4c: SWAP3
00002c4d: MSTORE
00002c4e: PUSH1 0xff
00002c50: AND
00002c51: PUSH1 0x44
00002c53: DUP4
00002c54: ADD
00002c55: MSTORE
00002c56: PUSH1 0x64
00002c58: DUP3
00002c59: ADD
00002c5a: MSTORE
00002c5b: PUSH1 0x84
00002c5d: ADD
00002c5e: PUSH1 0x20
00002c60: PUSH1 0x40
00002c62: MLOAD
00002c63: DUP1
00002c64: DUP4
00002c65: SUB
00002c66: DUP2
00002c67: PUSH1 0x00
00002c69: DUP8
00002c6a: DUP1
00002c6b: EXTCODESIZE
00002c6c: ISZERO
00002c6d: ISZERO
00002c6e: PUSH2 0x2c76
00002c71: JUMPI
00002c72: PUSH1 0x00
00002c74: DUP1
00002c75: REVERT
00002c76: JUMPDEST
00002c77: PUSH2 0x02c6
00002c7a: GAS
00002c7b: SUB
00002c7c: CALL
00002c7d: ISZERO
00002c7e: ISZERO
00002c7f: PUSH2 0x2c87
00002c82: JUMPI
00002c83: PUSH1 0x00
00002c85: DUP1
00002c86: REVERT
00002c87: JUMPDEST
00002c88: POP
00002c89: POP
00002c8a: POP
00002c8b: PUSH1 0x40
00002c8d: MLOAD
00002c8e: DUP1
00002c8f: MLOAD
00002c90: SWAP3
00002c91: POP
00002c92: DUP3
00002c93: SWAP2
00002c94: POP
00002c95: POP
00002c96: JUMPDEST
00002c97: POP
00002c98: SWAP3
00002c99: SWAP2
00002c9a: POP
00002c9b: POP
00002c9c: JUMP
00002c9d: JUMPDEST
00002c9e: PUSH1 0x00
00002ca0: DUP3
00002ca1: DUP3
00002ca2: GT
00002ca3: ISZERO
00002ca4: PUSH2 0x2ca9
00002ca7: JUMPI
00002ca8: INVALID
00002ca9: JUMPDEST
00002caa: POP
00002cab: DUP1
00002cac: DUP3
00002cad: SUB
00002cae: JUMPDEST
00002caf: SWAP3
00002cb0: SWAP2
00002cb1: POP
00002cb2: POP
00002cb3: JUMP
00002cb4: JUMPDEST
00002cb5: PUSH1 0x00
00002cb7: DUP3
00002cb8: DUP3
00002cb9: MUL
00002cba: DUP4
00002cbb: ISZERO
00002cbc: DUP1
00002cbd: PUSH2 0x2cd0
00002cc0: JUMPI
00002cc1: POP
00002cc2: DUP3
00002cc3: DUP5
00002cc4: DUP3
00002cc5: DUP2
00002cc6: ISZERO
00002cc7: ISZERO
00002cc8: PUSH2 0x2ccd
00002ccb: JUMPI
00002ccc: INVALID
00002ccd: JUMPDEST
00002cce: DIV
00002ccf: EQ
00002cd0: JUMPDEST
00002cd1: ISZERO
00002cd2: ISZERO
00002cd3: PUSH2 0x2cd8
00002cd6: JUMPI
00002cd7: INVALID
00002cd8: JUMPDEST
00002cd9: DUP1
00002cda: SWAP2
00002cdb: POP
00002cdc: JUMPDEST
00002cdd: POP
00002cde: SWAP3
00002cdf: SWAP2
00002ce0: POP
00002ce1: POP
00002ce2: JUMP
00002ce3: JUMPDEST
00002ce4: PUSH1 0x00
00002ce6: DUP3
00002ce7: DUP3
00002ce8: ADD
00002ce9: DUP4
00002cea: DUP2
00002ceb: LT
00002cec: DUP1
00002ced: ISZERO
00002cee: SWAP1
00002cef: PUSH2 0x2cd0
00002cf2: JUMPI
00002cf3: POP
00002cf4: DUP3
00002cf5: DUP2
00002cf6: LT
00002cf7: ISZERO
00002cf8: JUMPDEST
00002cf9: ISZERO
00002cfa: ISZERO
00002cfb: PUSH2 0x2cd8
00002cfe: JUMPI
00002cff: INVALID
00002d00: JUMPDEST
00002d01: DUP1
00002d02: SWAP2
00002d03: POP
00002d04: JUMPDEST
00002d05: POP
00002d06: SWAP3
00002d07: SWAP2
00002d08: POP
00002d09: POP
00002d0a: JUMP
00002d0b: JUMPDEST
00002d0c: PUSH1 0x00
00002d0e: DUP1
00002d0f: DUP3
00002d10: PUSH1 0x01
00002d12: PUSH1 0xa0
00002d14: PUSH1 0x02
00002d16: EXP
00002d17: SUB
00002d18: AND
00002d19: PUSH4 0x949dfa63
00002d1e: PUSH1 0x02
00002d20: SLOAD
00002d21: PUSH1 0x05
00002d23: SLOAD
00002d24: PUSH1 0x0f
00002d26: DUP9
00002d27: PUSH1 0x00
00002d29: PUSH1 0x40
00002d2b: MLOAD
00002d2c: PUSH1 0x20
00002d2e: ADD
00002d2f: MSTORE
00002d30: PUSH1 0x40
00002d32: MLOAD
00002d33: PUSH1 0xe0
00002d35: PUSH1 0x02
00002d37: EXP
00002d38: PUSH4 0xffffffff
00002d3d: DUP8
00002d3e: AND
00002d3f: MUL
00002d40: DUP2
00002d41: MSTORE
00002d42: PUSH1 0x04
00002d44: DUP2
00002d45: ADD
00002d46: SWAP5
00002d47: SWAP1
00002d48: SWAP5
00002d49: MSTORE
00002d4a: PUSH1 0x24
00002d4c: DUP5
00002d4d: ADD
00002d4e: SWAP3
00002d4f: SWAP1
00002d50: SWAP3
00002d51: MSTORE
00002d52: PUSH1 0xff
00002d54: AND
00002d55: PUSH1 0x44
00002d57: DUP4
00002d58: ADD
00002d59: MSTORE
00002d5a: PUSH1 0x64
00002d5c: DUP3
00002d5d: ADD
00002d5e: MSTORE
00002d5f: PUSH1 0x84
00002d61: ADD
00002d62: PUSH1 0x20
00002d64: PUSH1 0x40
00002d66: MLOAD
00002d67: DUP1
00002d68: DUP4
00002d69: SUB
00002d6a: DUP2
00002d6b: PUSH1 0x00
00002d6d: DUP8
00002d6e: DUP1
00002d6f: EXTCODESIZE
00002d70: ISZERO
00002d71: ISZERO
00002d72: PUSH2 0x2c76
00002d75: JUMPI
00002d76: PUSH1 0x00
00002d78: DUP1
00002d79: REVERT
00002d7a: JUMPDEST
00002d7b: PUSH2 0x02c6
00002d7e: GAS
00002d7f: SUB
00002d80: CALL
00002d81: ISZERO
00002d82: ISZERO
00002d83: PUSH2 0x2c87
00002d86: JUMPI
00002d87: PUSH1 0x00
00002d89: DUP1
00002d8a: REVERT
00002d8b: JUMPDEST
00002d8c: POP
00002d8d: POP
00002d8e: POP
00002d8f: PUSH1 0x40
00002d91: MLOAD
00002d92: DUP1
00002d93: MLOAD
00002d94: SWAP3
00002d95: POP
00002d96: DUP3
00002d97: SWAP2
00002d98: POP
00002d99: POP
00002d9a: JUMPDEST
00002d9b: POP
00002d9c: SWAP3
00002d9d: SWAP2
00002d9e: POP
00002d9f: POP
00002da0: JUMP
00002da1: JUMPDEST
00002da2: PUSH1 0x00
00002da4: DUP1
00002da5: DUP1
00002da6: DUP4
00002da7: GT
00002da8: PUSH2 0x2dad
00002dab: JUMPI
00002dac: INVALID
00002dad: JUMPDEST
00002dae: DUP3
00002daf: DUP5
00002db0: DUP2
00002db1: ISZERO
00002db2: ISZERO
00002db3: PUSH2 0x2db8
00002db6: JUMPI
00002db7: INVALID
00002db8: JUMPDEST
00002db9: DIV
00002dba: SWAP1
00002dbb: POP
00002dbc: DUP3
00002dbd: DUP5
00002dbe: DUP2
00002dbf: ISZERO
00002dc0: ISZERO
00002dc1: PUSH2 0x2dc6
00002dc4: JUMPI
00002dc5: INVALID
00002dc6: JUMPDEST
00002dc7: MOD
00002dc8: DUP2
00002dc9: DUP5
00002dca: MUL
00002dcb: ADD
00002dcc: DUP5
00002dcd: EQ
00002dce: ISZERO
00002dcf: ISZERO
00002dd0: PUSH2 0x2cd8
00002dd3: JUMPI
00002dd4: INVALID
00002dd5: JUMPDEST
00002dd6: DUP1
00002dd7: SWAP2
00002dd8: POP
00002dd9: JUMPDEST
00002dda: POP
00002ddb: SWAP3
00002ddc: SWAP2
00002ddd: POP
00002dde: POP
00002ddf: JUMP
00002de0: JUMPDEST
00002de1: PUSH1 0x00
00002de3: DUP1
00002de4: PUSH1 0x01
00002de6: PUSH1 0xa0
00002de8: PUSH1 0x02
00002dea: EXP
00002deb: SUB
00002dec: DUP5
00002ded: AND
00002dee: ISZERO
00002def: PUSH2 0x20df
00002df2: JUMPI
00002df3: DUP4
00002df4: PUSH1 0x01
00002df6: PUSH1 0xa0
00002df8: PUSH1 0x02
00002dfa: EXP
00002dfb: SUB
00002dfc: AND
00002dfd: PUSH4 0x926f949e
00002e02: DUP5
00002e03: PUSH1 0x00
00002e05: PUSH1 0x40
00002e07: MLOAD
00002e08: PUSH1 0x20
00002e0a: ADD
00002e0b: MSTORE
00002e0c: PUSH1 0x40
00002e0e: MLOAD
00002e0f: PUSH1 0xe0
00002e11: PUSH1 0x02
00002e13: EXP
00002e14: PUSH4 0xffffffff
00002e19: DUP5
00002e1a: AND
00002e1b: MUL
00002e1c: DUP2
00002e1d: MSTORE
00002e1e: PUSH1 0x04
00002e20: DUP2
00002e21: ADD
00002e22: SWAP2
00002e23: SWAP1
00002e24: SWAP2
00002e25: MSTORE
00002e26: PUSH1 0x24
00002e28: ADD
00002e29: PUSH1 0x20
00002e2b: PUSH1 0x40
00002e2d: MLOAD
00002e2e: DUP1
00002e2f: DUP4
00002e30: SUB
00002e31: DUP2
00002e32: PUSH1 0x00
00002e34: DUP8
00002e35: DUP1
00002e36: EXTCODESIZE
00002e37: ISZERO
00002e38: ISZERO
00002e39: PUSH2 0x2e41
00002e3c: JUMPI
00002e3d: PUSH1 0x00
00002e3f: DUP1
00002e40: REVERT
00002e41: JUMPDEST
00002e42: PUSH2 0x02c6
00002e45: GAS
00002e46: SUB
00002e47: CALL
00002e48: ISZERO
00002e49: ISZERO
00002e4a: PUSH2 0x2e52
00002e4d: JUMPI
00002e4e: PUSH1 0x00
00002e50: DUP1
00002e51: REVERT
00002e52: JUMPDEST
00002e53: POP
00002e54: POP
00002e55: POP
00002e56: PUSH1 0x40
00002e58: MLOAD
00002e59: DUP1
00002e5a: MLOAD
00002e5b: SWAP1
00002e5c: POP
00002e5d: SWAP1
00002e5e: POP
00002e5f: DUP1
00002e60: SWAP2
00002e61: POP
00002e62: PUSH2 0x11eb
00002e65: JUMP
00002e66: JUMPDEST
00002e67: PUSH1 0x00
00002e69: SWAP2
00002e6a: POP
00002e6b: PUSH2 0x11eb
00002e6e: JUMP
00002e6f: JUMPDEST
00002e70: JUMPDEST
00002e71: POP
00002e72: SWAP3
00002e73: SWAP2
00002e74: POP
00002e75: POP
00002e76: JUMP
00002e77: JUMPDEST
00002e78: PUSH1 0x01
00002e7a: PUSH1 0xa0
00002e7c: PUSH1 0x02
00002e7e: EXP
00002e7f: SUB
00002e80: DUP1
00002e81: DUP4
00002e82: AND
00002e83: PUSH1 0x00
00002e85: SWAP1
00002e86: DUP2
00002e87: MSTORE
00002e88: PUSH1 0x0d
00002e8a: PUSH1 0x20
00002e8c: MSTORE
00002e8d: PUSH1 0x40
00002e8f: DUP2
00002e90: KECCAK256
00002e91: SLOAD
00002e92: SWAP1
00002e93: SWAP2
00002e94: AND
00002e95: DUP2
00002e96: DUP2
00002e97: ISZERO
00002e98: PUSH2 0x2f0f
00002e9b: JUMPI
00002e9c: DUP2
00002e9d: PUSH1 0x01
00002e9f: PUSH1 0xa0
00002ea1: PUSH1 0x02
00002ea3: EXP
00002ea4: SUB
00002ea5: AND
00002ea6: PUSH4 0x3e81d56e
00002eab: DUP6
00002eac: PUSH1 0x00
00002eae: PUSH1 0x40
00002eb0: MLOAD
00002eb1: PUSH1 0x20
00002eb3: ADD
00002eb4: MSTORE
00002eb5: PUSH1 0x40
00002eb7: MLOAD
00002eb8: PUSH1 0xe0
00002eba: PUSH1 0x02
00002ebc: EXP
00002ebd: PUSH4 0xffffffff
00002ec2: DUP5
00002ec3: AND
00002ec4: MUL
00002ec5: DUP2
00002ec6: MSTORE
00002ec7: PUSH1 0x04
00002ec9: DUP2
00002eca: ADD
00002ecb: SWAP2
00002ecc: SWAP1
00002ecd: SWAP2
00002ece: MSTORE
00002ecf: PUSH1 0x24
00002ed1: ADD
00002ed2: PUSH1 0x20
00002ed4: PUSH1 0x40
00002ed6: MLOAD
00002ed7: DUP1
00002ed8: DUP4
00002ed9: SUB
00002eda: DUP2
00002edb: PUSH1 0x00
00002edd: DUP8
00002ede: DUP1
00002edf: EXTCODESIZE
00002ee0: ISZERO
00002ee1: ISZERO
00002ee2: PUSH2 0x2eea
00002ee5: JUMPI
00002ee6: PUSH1 0x00
00002ee8: DUP1
00002ee9: REVERT
00002eea: JUMPDEST
00002eeb: PUSH2 0x02c6
00002eee: GAS
00002eef: SUB
00002ef0: CALL
00002ef1: ISZERO
00002ef2: ISZERO
00002ef3: PUSH2 0x2efb
00002ef6: JUMPI
00002ef7: PUSH1 0x00
00002ef9: DUP1
00002efa: REVERT
00002efb: JUMPDEST
00002efc: POP
00002efd: POP
00002efe: POP
00002eff: PUSH1 0x40
00002f01: MLOAD
00002f02: DUP1
00002f03: MLOAD
00002f04: SWAP1
00002f05: POP
00002f06: SWAP1
00002f07: POP
00002f08: DUP1
00002f09: SWAP3
00002f0a: POP
00002f0b: PUSH2 0x2f14
00002f0e: JUMP
00002f0f: JUMPDEST
00002f10: PUSH1 0x00
00002f12: SWAP3
00002f13: POP
00002f14: JUMPDEST
00002f15: JUMPDEST
00002f16: POP
00002f17: POP
00002f18: SWAP3
00002f19: SWAP2
00002f1a: POP
00002f1b: POP
00002f1c: JUMP
00002f1d: STOP
00002f1e: UNKNOWN(0xDD)
00002f1f: CALLCODE
00002f20: MSTORE
00002f21: UNKNOWN(0xAD)
00002f22: SHL
00002f23: UNKNOWN(0xE2)
00002f24: UNKNOWN(0xC8)
00002f25: SWAP12
00002f26: PUSH10 0xc2b068fc378daa952ba7
00002f31: CALL
00002f32: PUSH4 0xc4a11628
00002f37: CREATE2
00002f38: GAS
00002f39: UNKNOWN(0x4D)
00002f3a: CREATE2
00002f3b: UNKNOWN(0x23)
00002f3c: UNKNOWN(0xB3)
00002f3d: UNKNOWN(0xEF)
00002f3e: LOG1
00002f3f: PUSH6 0x627a7a723058
00002f46: KECCAK256
00002f47: GAS
00002f48: DUP10
00002f49: SWAP4
00002f4a: UNKNOWN(0xCC)
00002f4b: UNKNOWN(0xB2)
00002f4c: LOG0
00002f4d: DUP3
00002f4e: UNKNOWN(0xE5)
00002f4f: UNKNOWN(0xB1)
00002f50: PUSH2 0x703f
00002f53: STATICCALL
00002f54: DUP8
00002f55: EQ
00002f56: UNKNOWN(0xE1)
00002f57: AND
00002f58: PUSH27