Analysis Run

[codex:544069] OpenAI Codex v0.77.0 (research preview)
[codex:544069] --------
[codex:544069] workdir: /tmp/codex-multi-z8683zut
[codex:544069] model: gpt-5.2-codex
[codex:544069] provider: openai
[codex:544069] approval: never
[codex:544069] sandbox: read-only
[codex:544069] reasoning effort: xhigh
[codex:544069] reasoning summaries: auto
[codex:544069] session id: 019b809e-6fa9-7b51-b02b-e0876423b33f
[codex:544069] --------
[codex:544069] user
[codex:544069] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:544069] 
[codex:544069] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:544069] 
[codex:544069] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:544069] - Gas inefficiency, code quality, naming, or best practices
[codex:544069] - Theoretical vulnerabilities without a clear extraction path
[codex:544069] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:544069] - Front-running unless it enables theft beyond MEV
[codex:544069] - DoS, griefing, or issues that don't result in attacker profit
[codex:544069] - Missing events, view function issues, or informational findings
[codex:544069] 
[codex:544069] HIGH-VALUE PATTERNS TO HUNT:
[codex:544069] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:544069] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:544069] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:544069] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:544069] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:544069] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:544069] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:544069] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:544069] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:544069] 
[codex:544069] For each finding, you MUST provide:
[codex:544069] 1. Exact file and line numbers of vulnerable code
[codex:544069] 2. Step-by-step exploit transaction sequence
[codex:544069] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:544069] 
[codex:544069] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:544069] 
[codex:544069] Output MUST be valid JSON matching the provided schema.
[codex:544069] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:544069] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:544069] mcp startup: no servers
[codex:544069] 
[codex:544069] thinking
[codex:544069] **Reading AUDIT_BUNDLE.txt file**
[codex:544069] exec
[codex:544069] /bin/bash -lc ls in /tmp/codex-multi-z8683zut succeeded in 5ms:
[codex:544069] AUDIT_BUNDLE.txt
[codex:544069] codex-output-schema.json
[codex:544069] contracts
[codex:544069] exec
[codex:544069] /bin/bash -lc "sed -n '1,200p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-z8683zut succeeded in 6ms:
[codex:544069] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:544069] 
[codex:544069] ================================================================================
[codex:544069] FILE: contracts/Contract.sol
[codex:544069] ================================================================================
[codex:544069] // File: contracts/math/SafeMath.sol
[codex:544069] 
[codex:544069] pragma solidity <0.6 >=0.4.21;
[codex:544069] 
[codex:544069] 
[codex:544069] /**
[codex:544069]  * @title SafeMath
[codex:544069]  * @dev Math operations with safety checks that throw on error
[codex:544069]  */
[codex:544069] library SafeMath {
[codex:544069] 
[codex:544069]   /**
[codex:544069]   * @dev Multiplies two numbers, throws on overflow.
[codex:544069]   */
[codex:544069] 
[codex:544069] 
[codex:544069] thinking
[codex:544069] **Requesting full file content**
[codex:544069] exec
[codex:544069] /bin/bash -lc "sed -n '200,400p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-z8683zut succeeded in 5ms:
[codex:544069]     bytes32 currentZero = bytes32(ZERO_VALUE);
[codex:544069]     zeros.push(currentZero);
[codex:544069]     filledSubtrees.push(currentZero);
[codex:544069] 
[codex:544069]     for (uint32 i = 1; i < levels; i++) {
[codex:544069]       currentZero = hashLeftRight(currentZero, currentZero);
[codex:544069]       zeros.push(currentZero);
[codex:544069]       filledSubtrees.push(currentZero);
[codex:544069]     }
[codex:544069] 
[codex:544069]     roots[0] = hashLeftRight(currentZero, currentZero);
[codex:544069]   }
[codex:544069] 
[codex:544069]   /**
[codex:544069]     @dev Hash 2 tree leaves, returns MiMC(_left, _right)
[codex:544069]   */
[codex:544069]   function hashLeftRight(bytes32 _left, bytes32 _right) public pure returns (bytes32) {
[codex:544069]     require(uint256(_left) < FIELD_SIZE, "_left should be inside the field");
[codex:544069]     require(uint256(_right) < FIELD_SIZE, "_right should be inside the field");
[codex:544069]     uint256 R = uint256(_left);
[codex:544069] exec
[codex:544069] /bin/bash -lc "sed -n '400,800p' AUDIT_BUNDLE.txt" in /tmp/codex-multi-z8683zut succeeded in 5ms:
[codex:544069]       lastRewardBlock = _startBlock;
[codex:544069]     }
[codex:544069]     initCYCDenomination = _initCYCDenomination;
[codex:544069]     coinDenomination = _coinDenomination;
[codex:544069]     tokenDenomination = _tokenDenomination;
[codex:544069]     numOfShares = 0;
[codex:544069]   }
[codex:544069] 
[codex:544069]   function calcAccumulateCYC() internal view returns (uint256) {
[codex:544069]     uint256 reward = block.number.sub(lastRewardBlock).mul(rewardPerBlock);
[codex:544069]     uint256 remaining = cycToken.balanceOf(address(this)).sub(accumulateCYC);
[codex:544069]     if (remaining < reward) {
[codex:544069]       reward = remaining;
[codex:544069]     }
[codex:544069]     return accumulateCYC.add(reward);
[codex:544069]   }
[codex:544069] 
[codex:544069]   function updateBlockReward() public {
[codex:544069]     uint256 blockNumber = block.number;
[codex:544069]     if (blockNumber <= lastRewardBlock) {
[codex:544069] 
[codex:544069] 
[codex:544069] 
[codex:544069] thinking
[codex:544069] **Analyzing deposit and withdrawal logic for vulnerabilities**
[codex:544069] thinking
[codex:544069] **Examining reentrancy, token behavior, and accounting edge cases**
[codex:544069] 
[codex:544069] I’m carefully checking how reentrancy interacts with nonReentrant guards and public functions like updateBlockReward, plus how deflationary or malicious tokens might trick accounting by messing with balances versus internal counters. Also, I’m reviewing potential overflow risks, rounding errors in share calculations, and whether any subtle proof or refund checks could be gamed to extract value. There is a lot to untangle here!
[codex:544069] thinking
[codex:544069] **Evaluating rounding effects and payment parameter validations**
[codex:544069] 
[codex:544069] I’m assessing whether rounding in share calculations could yield meaningful profit and reviewing how relayerFee and refund parameters are validated against proofs, plus checking for subtle issues in Merkle root handling or deposit duplication. Overall, I don’t see exploitable profit paths here but want to confirm carefully.
[codex:544069] codex
[codex:544069] {"no_findings":true,"summary":"No concrete, exploitable path to extract ETH/tokens/NFTs identified after reviewing AUDIT_BUNDLE.txt.","findings":[]}
[codex:544069] tokens used
[codex:544069] 16,521
[codex:544069] {"no_findings":true,"summary":"No concrete, exploitable path to extract ETH/tokens/NFTs identified after reviewing AUDIT_BUNDLE.txt.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T21:33:37.035860+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable path to extract ETH/tokens/NFTs identified after reviewing AUDIT_BUNDLE.txt.",
    "raw_final": {
        "summary": "No concrete, exploitable path to extract ETH/tokens/NFTs identified after reviewing AUDIT_BUNDLE.txt.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0225
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x8daac0df
00000019: GT
0000001a: PUSH2 0x0123
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xbb872b4a
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe8295588
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe8295588
0000003a: EQ
0000003b: PUSH2 0x07dd
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xec732959
00000045: EQ
00000046: PUSH2 0x0807
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf178e47c
00000050: EQ
00000051: PUSH2 0x081c
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfc0c546a
0000005b: EQ
0000005c: PUSH2 0x0846
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfc7e9c6f
00000066: EQ
00000067: PUSH2 0x085b
0000006a: JUMPI
0000006b: PUSH2 0x0225
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xbb872b4a
00000076: EQ
00000077: PUSH2 0x0735
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc2b40ae4
00000081: EQ
00000082: PUSH2 0x075f
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xcd87a3b4
0000008c: EQ
0000008d: PUSH2 0x0789
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xe28cecda
00000097: EQ
00000098: PUSH2 0x079e
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xe5285dcc
000000a2: EQ
000000a3: PUSH2 0x07b3
000000a6: JUMPI
000000a7: PUSH2 0x0225
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x9fa12d0b
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x9fa12d0b
000000bd: EQ
000000be: PUSH2 0x060e
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa9f8d181
000000c8: EQ
000000c9: PUSH2 0x06d9
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xab5bbfd8
000000d3: EQ
000000d4: PUSH2 0x06ee
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xb214faa5
000000de: EQ
000000df: PUSH2 0x0703
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xba70f757
000000e9: EQ
000000ea: PUSH2 0x0720
000000ed: JUMPI
000000ee: PUSH2 0x0225
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x8daac0df
000000f9: EQ
000000fa: PUSH2 0x0587
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x90eeb02b
00000104: EQ
00000105: PUSH2 0x05b1
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x97fc007c
0000010f: EQ
00000110: PUSH2 0x05c6
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x997318ec
0000011a: EQ
0000011b: PUSH2 0x05f9
0000011e: JUMPI
0000011f: PUSH2 0x0225
00000122: JUMP
00000123: JUMPDEST
00000124: DUP1
00000125: PUSH4 0x414a37ba
0000012a: GT
0000012b: PUSH2 0x01b1
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x61d027b3
00000135: GT
00000136: PUSH2 0x0175
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x61d027b3
00000140: EQ
00000141: PUSH2 0x04f4
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x6d9833e3
0000014b: EQ
0000014c: PUSH2 0x0509
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x839df945
00000156: EQ
00000157: PUSH2 0x0533
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x8ae39cac
00000161: EQ
00000162: PUSH2 0x055d
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x8d949d4b
0000016c: EQ
0000016d: PUSH2 0x0572
00000170: JUMPI
00000171: PUSH2 0x0225
00000174: JUMP
00000175: JUMPDEST
00000176: DUP1
00000177: PUSH4 0x414a37ba
0000017c: EQ
0000017d: PUSH2 0x03fd
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x4ecf518b
00000187: EQ
00000188: PUSH2 0x0412
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x5129b3e1
00000192: EQ
00000193: PUSH2 0x0440
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x54fd4d50
0000019d: EQ
0000019e: PUSH2 0x0455
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x5759e5f5
000001a8: EQ
000001a9: PUSH2 0x04df
000001ac: JUMPI
000001ad: PUSH2 0x0225
000001b0: JUMP
000001b1: JUMPDEST
000001b2: DUP1
000001b3: PUSH4 0x21a0adb6
000001b8: GT
000001b9: PUSH2 0x01f8
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x21a0adb6
000001c3: EQ
000001c4: PUSH2 0x02f5
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x2b7ac3f3
000001ce: EQ
000001cf: PUSH2 0x038e
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x3409038c
000001d9: EQ
000001da: PUSH2 0x03a3
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x38bf282e
000001e4: EQ
000001e5: PUSH2 0x03b8
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x3b406fb7
000001ef: EQ
000001f0: PUSH2 0x03e8
000001f3: JUMPI
000001f4: PUSH2 0x0225
000001f7: JUMP
000001f8: JUMPDEST
000001f9: DUP1
000001fa: PUSH4 0x17cc915c
000001ff: EQ
00000200: PUSH2 0x022a
00000203: JUMPI
00000204: DUP1
00000205: PUSH4 0x18006104
0000020a: EQ
0000020b: PUSH2 0x0268
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x1a4be74c
00000215: EQ
00000216: PUSH2 0x0299
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x1e85e711
00000220: EQ
00000221: PUSH2 0x02ce
00000224: JUMPI
00000225: JUMPDEST
00000226: PUSH1 0x00
00000228: DUP1
00000229: REVERT
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: DUP1
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: POP
00000238: PUSH2 0x0254
0000023b: PUSH1 0x04
0000023d: DUP1
0000023e: CALLDATASIZE
0000023f: SUB
00000240: PUSH1 0x20
00000242: DUP2
00000243: LT
00000244: ISZERO
00000245: PUSH2 0x024d
00000248: JUMPI
00000249: PUSH1 0x00
0000024b: DUP1
0000024c: REVERT
0000024d: JUMPDEST
0000024e: POP
0000024f: CALLDATALOAD
00000250: PUSH2 0x0870
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH1 0x40
00000257: DUP1
00000258: MLOAD
00000259: SWAP2
0000025a: ISZERO
0000025b: ISZERO
0000025c: DUP3
0000025d: MSTORE
0000025e: MLOAD
0000025f: SWAP1
00000260: DUP2
00000261: SWAP1
00000262: SUB
00000263: PUSH1 0x20
00000265: ADD
00000266: SWAP1
00000267: RETURN
00000268: JUMPDEST
00000269: CALLVALUE
0000026a: DUP1
0000026b: ISZERO
0000026c: PUSH2 0x0274
0000026f: JUMPI
00000270: PUSH1 0x00
00000272: DUP1
00000273: REVERT
00000274: JUMPDEST
00000275: POP
00000276: PUSH2 0x027d
00000279: PUSH2 0x0885
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH1 0x40
00000280: DUP1
00000281: MLOAD
00000282: PUSH1 0x01
00000284: PUSH1 0x01
00000286: PUSH1 0xa0
00000288: SHL
00000289: SUB
0000028a: SWAP1
0000028b: SWAP3
0000028c: AND
0000028d: DUP3
0000028e: MSTORE
0000028f: MLOAD
00000290: SWAP1
00000291: DUP2
00000292: SWAP1
00000293: SUB
00000294: PUSH1 0x20
00000296: ADD
00000297: SWAP1
00000298: RETURN
00000299: JUMPDEST
0000029a: CALLVALUE
0000029b: DUP1
0000029c: ISZERO
0000029d: PUSH2 0x02a5
000002a0: JUMPI
000002a1: PUSH1 0x00
000002a3: DUP1
000002a4: REVERT
000002a5: JUMPDEST
000002a6: POP
000002a7: PUSH2 0x02cc
000002aa: PUSH1 0x04
000002ac: DUP1
000002ad: CALLDATASIZE
000002ae: SUB
000002af: PUSH1 0x20
000002b1: DUP2
000002b2: LT
000002b3: ISZERO
000002b4: PUSH2 0x02bc
000002b7: JUMPI
000002b8: PUSH1 0x00
000002ba: DUP1
000002bb: REVERT
000002bc: JUMPDEST
000002bd: POP
000002be: CALLDATALOAD
000002bf: PUSH1 0x01
000002c1: PUSH1 0x01
000002c3: PUSH1 0xa0
000002c5: SHL
000002c6: SUB
000002c7: AND
000002c8: PUSH2 0x0894
000002cb: JUMP
000002cc: JUMPDEST
000002cd: STOP
000002ce: JUMPDEST
000002cf: CALLVALUE
000002d0: DUP1
000002d1: ISZERO
000002d2: PUSH2 0x02da
000002d5: JUMPI
000002d6: PUSH1 0x00
000002d8: DUP1
000002d9: REVERT
000002da: JUMPDEST
000002db: POP
000002dc: PUSH2 0x02e3
000002df: PUSH2 0x08ff
000002e2: JUMP
000002e3: JUMPDEST
000002e4: PUSH1 0x40
000002e6: DUP1
000002e7: MLOAD
000002e8: SWAP2
000002e9: DUP3
000002ea: MSTORE
000002eb: MLOAD
000002ec: SWAP1
000002ed: DUP2
000002ee: SWAP1
000002ef: SUB
000002f0: PUSH1 0x20
000002f2: ADD
000002f3: SWAP1
000002f4: RETURN
000002f5: JUMPDEST
000002f6: PUSH2 0x02cc
000002f9: PUSH1 0x04
000002fb: DUP1
000002fc: CALLDATASIZE
000002fd: SUB
000002fe: PUSH1 0xe0
00000300: DUP2
00000301: LT
00000302: ISZERO
00000303: PUSH2 0x030b
00000306: JUMPI
00000307: PUSH1 0x00
00000309: DUP1
0000030a: REVERT
0000030b: JUMPDEST
0000030c: DUP2
0000030d: ADD
0000030e: SWAP1
0000030f: PUSH1 0x20
00000311: DUP2
00000312: ADD
00000313: DUP2
00000314: CALLDATALOAD
00000315: PUSH1 0x01
00000317: PUSH1 0x20
00000319: SHL
0000031a: DUP2
0000031b: GT
0000031c: ISZERO
0000031d: PUSH2 0x0325
00000320: JUMPI
00000321: PUSH1 0x00
00000323: DUP1
00000324: REVERT
00000325: JUMPDEST
00000326: DUP3
00000327: ADD
00000328: DUP4
00000329: PUSH1 0x20
0000032b: DUP3
0000032c: ADD
0000032d: GT
0000032e: ISZERO
0000032f: PUSH2 0x0337
00000332: JUMPI
00000333: PUSH1 0x00
00000335: DUP1
00000336: REVERT
00000337: JUMPDEST
00000338: DUP1
00000339: CALLDATALOAD
0000033a: SWAP1
0000033b: PUSH1 0x20
0000033d: ADD
0000033e: SWAP2
0000033f: DUP5
00000340: PUSH1 0x01
00000342: DUP4
00000343: MUL
00000344: DUP5
00000345: ADD
00000346: GT
00000347: PUSH1 0x01
00000349: PUSH1 0x20
0000034b: SHL
0000034c: DUP4
0000034d: GT
0000034e: OR
0000034f: ISZERO
00000350: PUSH2 0x0358
00000353: JUMPI
00000354: PUSH1 0x00
00000356: DUP1
00000357: REVERT
00000358: JUMPDEST
00000359: SWAP2
0000035a: SWAP4
0000035b: POP
0000035c: SWAP2
0000035d: POP
0000035e: DUP1
0000035f: CALLDATALOAD
00000360: SWAP1
00000361: PUSH1 0x20
00000363: DUP2
00000364: ADD
00000365: CALLDATALOAD
00000366: SWAP1
00000367: PUSH1 0x01
00000369: PUSH1 0x01
0000036b: PUSH1 0xa0
0000036d: SHL
0000036e: SUB
0000036f: PUSH1 0x40
00000371: DUP3
00000372: ADD
00000373: CALLDATALOAD
00000374: DUP2
00000375: AND
00000376: SWAP2
00000377: PUSH1 0x60
00000379: DUP2
0000037a: ADD
0000037b: CALLDATALOAD
0000037c: SWAP1
0000037d: SWAP2
0000037e: AND
0000037f: SWAP1
00000380: PUSH1 0x80
00000382: DUP2
00000383: ADD
00000384: CALLDATALOAD
00000385: SWAP1
00000386: PUSH1 0xa0
00000388: ADD
00000389: CALLDATALOAD
0000038a: PUSH2 0x0905
0000038d: JUMP
0000038e: JUMPDEST
0000038f: CALLVALUE
00000390: DUP1
00000391: ISZERO
00000392: PUSH2 0x039a
00000395: JUMPI
00000396: PUSH1 0x00
00000398: DUP1
00000399: REVERT
0000039a: JUMPDEST
0000039b: POP
0000039c: PUSH2 0x027d
0000039f: PUSH2 0x0f0c
000003a2: JUMP
000003a3: JUMPDEST
000003a4: CALLVALUE
000003a5: DUP1
000003a6: ISZERO
000003a7: PUSH2 0x03af
000003aa: JUMPI
000003ab: PUSH1 0x00
000003ad: DUP1
000003ae: REVERT
000003af: JUMPDEST
000003b0: POP
000003b1: PUSH2 0x02e3
000003b4: PUSH2 0x0f1b
000003b7: JUMP
000003b8: JUMPDEST
000003b9: CALLVALUE
000003ba: DUP1
000003bb: ISZERO
000003bc: PUSH2 0x03c4
000003bf: JUMPI
000003c0: PUSH1 0x00
000003c2: DUP1
000003c3: REVERT
000003c4: JUMPDEST
000003c5: POP
000003c6: PUSH2 0x02e3
000003c9: PUSH1 0x04
000003cb: DUP1
000003cc: CALLDATASIZE
000003cd: SUB
000003ce: PUSH1 0x40
000003d0: DUP2
000003d1: LT
000003d2: ISZERO
000003d3: PUSH2 0x03db
000003d6: JUMPI
000003d7: PUSH1 0x00
000003d9: DUP1
000003da: REVERT
000003db: JUMPDEST
000003dc: POP
000003dd: DUP1
000003de: CALLDATALOAD
000003df: SWAP1
000003e0: PUSH1 0x20
000003e2: ADD
000003e3: CALLDATALOAD
000003e4: PUSH2 0x0f21
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x02e3
000003f9: PUSH2 0x1104
000003fc: JUMP
000003fd: JUMPDEST
000003fe: CALLVALUE
000003ff: DUP1
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: POP
0000040b: PUSH2 0x02e3
0000040e: PUSH2 0x110a
00000411: JUMP
00000412: JUMPDEST
00000413: CALLVALUE
00000414: DUP1
00000415: ISZERO
00000416: PUSH2 0x041e
00000419: JUMPI
0000041a: PUSH1 0x00
0000041c: DUP1
0000041d: REVERT
0000041e: JUMPDEST
0000041f: POP
00000420: PUSH2 0x0427
00000423: PUSH2 0x111c
00000426: JUMP
00000427: JUMPDEST
00000428: PUSH1 0x40
0000042a: DUP1
0000042b: MLOAD
0000042c: PUSH4 0xffffffff
00000431: SWAP1
00000432: SWAP3
00000433: AND
00000434: DUP3
00000435: MSTORE
00000436: MLOAD
00000437: SWAP1
00000438: DUP2
00000439: SWAP1
0000043a: SUB
0000043b: PUSH1 0x20
0000043d: ADD
0000043e: SWAP1
0000043f: RETURN
00000440: JUMPDEST
00000441: CALLVALUE
00000442: DUP1
00000443: ISZERO
00000444: PUSH2 0x044c
00000447: JUMPI
00000448: PUSH1 0x00
0000044a: DUP1
0000044b: REVERT
0000044c: JUMPDEST
0000044d: POP
0000044e: PUSH2 0x02e3
00000451: PUSH2 0x1128
00000454: JUMP
00000455: JUMPDEST
00000456: CALLVALUE
00000457: DUP1
00000458: ISZERO
00000459: PUSH2 0x0461
0000045c: JUMPI
0000045d: PUSH1 0x00
0000045f: DUP1
00000460: REVERT
00000461: JUMPDEST
00000462: POP
00000463: PUSH2 0x046a
00000466: PUSH2 0x112e
00000469: JUMP
0000046a: JUMPDEST
0000046b: PUSH1 0x40
0000046d: DUP1
0000046e: MLOAD
0000046f: PUSH1 0x20
00000471: DUP1
00000472: DUP3
00000473: MSTORE
00000474: DUP4
00000475: MLOAD
00000476: DUP2
00000477: DUP4
00000478: ADD
00000479: MSTORE
0000047a: DUP4
0000047b: MLOAD
0000047c: SWAP2
0000047d: SWAP3
0000047e: DUP4
0000047f: SWAP3
00000480: SWAP1
00000481: DUP4
00000482: ADD
00000483: SWAP2
00000484: DUP6
00000485: ADD
00000486: SWAP1
00000487: DUP1
00000488: DUP4
00000489: DUP4
0000048a: PUSH1 0x00
0000048c: JUMPDEST
0000048d: DUP4
0000048e: DUP2
0000048f: LT
00000490: ISZERO
00000491: PUSH2 0x04a4
00000494: JUMPI
00000495: DUP2
00000496: DUP2
00000497: ADD
00000498: MLOAD
00000499: DUP4
0000049a: DUP3
0000049b: ADD
0000049c: MSTORE
0000049d: PUSH1 0x20
0000049f: ADD
000004a0: PUSH2 0x048c
000004a3: JUMP
000004a4: JUMPDEST
000004a5: POP
000004a6: POP
000004a7: POP
000004a8: POP
000004a9: SWAP1
000004aa: POP
000004ab: SWAP1
000004ac: DUP2
000004ad: ADD
000004ae: SWAP1
000004af: PUSH1 0x1f
000004b1: AND
000004b2: DUP1
000004b3: ISZERO
000004b4: PUSH2 0x04d1
000004b7: JUMPI
000004b8: DUP1
000004b9: DUP3
000004ba: SUB
000004bb: DUP1
000004bc: MLOAD
000004bd: PUSH1 0x01
000004bf: DUP4
000004c0: PUSH1 0x20
000004c2: SUB
000004c3: PUSH2 0x0100
000004c6: EXP
000004c7: SUB
000004c8: NOT
000004c9: AND
000004ca: DUP2
000004cb: MSTORE
000004cc: PUSH1 0x20
000004ce: ADD
000004cf: SWAP2
000004d0: POP
000004d1: JUMPDEST
000004d2: POP
000004d3: SWAP3
000004d4: POP
000004d5: POP
000004d6: POP
000004d7: PUSH1 0x40
000004d9: MLOAD
000004da: DUP1
000004db: SWAP2
000004dc: SUB
000004dd: SWAP1
000004de: RETURN
000004df: JUMPDEST
000004e0: CALLVALUE
000004e1: DUP1
000004e2: ISZERO
000004e3: PUSH2 0x04eb
000004e6: JUMPI
000004e7: PUSH1 0x00
000004e9: DUP1
000004ea: REVERT
000004eb: JUMPDEST
000004ec: POP
000004ed: PUSH2 0x02e3
000004f0: PUSH2 0x114c
000004f3: JUMP
000004f4: JUMPDEST
000004f5: CALLVALUE
000004f6: DUP1
000004f7: ISZERO
000004f8: PUSH2 0x0500
000004fb: JUMPI
000004fc: PUSH1 0x00
000004fe: DUP1
000004ff: REVERT
00000500: JUMPDEST
00000501: POP
00000502: PUSH2 0x027d
00000505: PUSH2 0x11b9
00000508: JUMP
00000509: JUMPDEST
0000050a: CALLVALUE
0000050b: DUP1
0000050c: ISZERO
0000050d: PUSH2 0x0515
00000510: JUMPI
00000511: PUSH1 0x00
00000513: DUP1
00000514: REVERT
00000515: JUMPDEST
00000516: POP
00000517: PUSH2 0x0254
0000051a: PUSH1 0x04
0000051c: DUP1
0000051d: CALLDATASIZE
0000051e: SUB
0000051f: PUSH1 0x20
00000521: DUP2
00000522: LT
00000523: ISZERO
00000524: PUSH2 0x052c
00000527: JUMPI
00000528: PUSH1 0x00
0000052a: DUP1
0000052b: REVERT
0000052c: JUMPDEST
0000052d: POP
0000052e: CALLDATALOAD
0000052f: PUSH2 0x11c8
00000532: JUMP
00000533: JUMPDEST
00000534: CALLVALUE
00000535: DUP1
00000536: ISZERO
00000537: PUSH2 0x053f
0000053a: JUMPI
0000053b: PUSH1 0x00
0000053d: DUP1
0000053e: REVERT
0000053f: JUMPDEST
00000540: POP
00000541: PUSH2 0x0254
00000544: PUSH1 0x04
00000546: DUP1
00000547: CALLDATASIZE
00000548: SUB
00000549: PUSH1 0x20
0000054b: DUP2
0000054c: LT
0000054d: ISZERO
0000054e: PUSH2 0x0556
00000551: JUMPI
00000552: PUSH1 0x00
00000554: DUP1
00000555: REVERT
00000556: JUMPDEST
00000557: POP
00000558: CALLDATALOAD
00000559: PUSH2 0x123b
0000055c: JUMP
0000055d: JUMPDEST
0000055e: CALLVALUE
0000055f: DUP1
00000560: ISZERO
00000561: PUSH2 0x0569
00000564: JUMPI
00000565: PUSH1 0x00
00000567: DUP1
00000568: REVERT
00000569: JUMPDEST
0000056a: POP
0000056b: PUSH2 0x02e3
0000056e: PUSH2 0x1250
00000571: JUMP
00000572: JUMPDEST
00000573: CALLVALUE
00000574: DUP1
00000575: ISZERO
00000576: PUSH2 0x057e
00000579: JUMPI
0000057a: PUSH1 0x00
0000057c: DUP1
0000057d: REVERT
0000057e: JUMPDEST
0000057f: POP
00000580: PUSH2 0x02cc
00000583: PUSH2 0x1256
00000586: JUMP
00000587: JUMPDEST
00000588: CALLVALUE
00000589: DUP1
0000058a: ISZERO
0000058b: PUSH2 0x0593
0000058e: JUMPI
0000058f: PUSH1 0x00
00000591: DUP1
00000592: REVERT
00000593: JUMPDEST
00000594: POP
00000595: PUSH2 0x02cc
00000598: PUSH1 0x04
0000059a: DUP1
0000059b: CALLDATASIZE
0000059c: SUB
0000059d: PUSH1 0x20
0000059f: DUP2
000005a0: LT
000005a1: ISZERO
000005a2: PUSH2 0x05aa
000005a5: JUMPI
000005a6: PUSH1 0x00
000005a8: DUP1
000005a9: REVERT
000005aa: JUMPDEST
000005ab: POP
000005ac: CALLDATALOAD
000005ad: PUSH2 0x1281
000005b0: JUMP
000005b1: JUMPDEST
000005b2: CALLVALUE
000005b3: DUP1
000005b4: ISZERO
000005b5: PUSH2 0x05bd
000005b8: JUMPI
000005b9: PUSH1 0x00
000005bb: DUP1
000005bc: REVERT
000005bd: JUMPDEST
000005be: POP
000005bf: PUSH2 0x0427
000005c2: PUSH2 0x130c
000005c5: JUMP
000005c6: JUMPDEST
000005c7: CALLVALUE
000005c8: DUP1
000005c9: ISZERO
000005ca: PUSH2 0x05d2
000005cd: JUMPI
000005ce: PUSH1 0x00
000005d0: DUP1
000005d1: REVERT
000005d2: JUMPDEST
000005d3: POP
000005d4: PUSH2 0x02cc
000005d7: PUSH1 0x04
000005d9: DUP1
000005da: CALLDATASIZE
000005db: SUB
000005dc: PUSH1 0x20
000005de: DUP2
000005df: LT
000005e0: ISZERO
000005e1: PUSH2 0x05e9
000005e4: JUMPI
000005e5: PUSH1 0x00
000005e7: DUP1
000005e8: REVERT
000005e9: JUMPDEST
000005ea: POP
000005eb: CALLDATALOAD
000005ec: PUSH1 0x01
000005ee: PUSH1 0x01
000005f0: PUSH1 0xa0
000005f2: SHL
000005f3: SUB
000005f4: AND
000005f5: PUSH2 0x1318
000005f8: JUMP
000005f9: JUMPDEST
000005fa: CALLVALUE
000005fb: DUP1
000005fc: ISZERO
000005fd: PUSH2 0x0605
00000600: JUMPI
00000601: PUSH1 0x00
00000603: DUP1
00000604: REVERT
00000605: JUMPDEST
00000606: POP
00000607: PUSH2 0x02e3
0000060a: PUSH2 0x1383
0000060d: JUMP
0000060e: JUMPDEST
0000060f: CALLVALUE
00000610: DUP1
00000611: ISZERO
00000612: PUSH2 0x061a
00000615: JUMPI
00000616: PUSH1 0x00
00000618: DUP1
00000619: REVERT
0000061a: JUMPDEST
0000061b: POP
0000061c: PUSH2 0x0689
0000061f: PUSH1 0x04
00000621: DUP1
00000622: CALLDATASIZE
00000623: SUB
00000624: PUSH1 0x20
00000626: DUP2
00000627: LT
00000628: ISZERO
00000629: PUSH2 0x0631
0000062c: JUMPI
0000062d: PUSH1 0x00
0000062f: DUP1
00000630: REVERT
00000631: JUMPDEST
00000632: DUP2
00000633: ADD
00000634: SWAP1
00000635: PUSH1 0x20
00000637: DUP2
00000638: ADD
00000639: DUP2
0000063a: CALLDATALOAD
0000063b: PUSH1 0x01
0000063d: PUSH1 0x20
0000063f: SHL
00000640: DUP2
00000641: GT
00000642: ISZERO
00000643: PUSH2 0x064b
00000646: JUMPI
00000647: PUSH1 0x00
00000649: DUP1
0000064a: REVERT
0000064b: JUMPDEST
0000064c: DUP3
0000064d: ADD
0000064e: DUP4
0000064f: PUSH1 0x20
00000651: DUP3
00000652: ADD
00000653: GT
00000654: ISZERO
00000655: PUSH2 0x065d
00000658: JUMPI
00000659: PUSH1 0x00
0000065b: DUP1
0000065c: REVERT
0000065d: JUMPDEST
0000065e: DUP1
0000065f: CALLDATALOAD
00000660: SWAP1
00000661: PUSH1 0x20
00000663: ADD
00000664: SWAP2
00000665: DUP5
00000666: PUSH1 0x20
00000668: DUP4
00000669: MUL
0000066a: DUP5
0000066b: ADD
0000066c: GT
0000066d: PUSH1 0x01
0000066f: PUSH1 0x20
00000671: SHL
00000672: DUP4
00000673: GT
00000674: OR
00000675: ISZERO
00000676: PUSH2 0x067e
00000679: JUMPI
0000067a: PUSH1 0x00
0000067c: DUP1
0000067d: REVERT
0000067e: JUMPDEST
0000067f: POP
00000680: SWAP1
00000681: SWAP3
00000682: POP
00000683: SWAP1
00000684: POP
00000685: PUSH2 0x1389
00000688: JUMP
00000689: JUMPDEST
0000068a: PUSH1 0x40
0000068c: DUP1
0000068d: MLOAD
0000068e: PUSH1 0x20
00000690: DUP1
00000691: DUP3
00000692: MSTORE
00000693: DUP4
00000694: MLOAD
00000695: DUP2
00000696: DUP4
00000697: ADD
00000698: MSTORE
00000699: DUP4
0000069a: MLOAD
0000069b: SWAP2
0000069c: SWAP3
0000069d: DUP4
0000069e: SWAP3
0000069f: SWAP1
000006a0: DUP4
000006a1: ADD
000006a2: SWAP2
000006a3: DUP6
000006a4: DUP2
000006a5: ADD
000006a6: SWAP2
000006a7: MUL
000006a8: DUP1
000006a9: DUP4
000006aa: DUP4
000006ab: PUSH1 0x00
000006ad: JUMPDEST
000006ae: DUP4
000006af: DUP2
000006b0: LT
000006b1: ISZERO
000006b2: PUSH2 0x06c5
000006b5: JUMPI
000006b6: DUP2
000006b7: DUP2
000006b8: ADD
000006b9: MLOAD
000006ba: DUP4
000006bb: DUP3
000006bc: ADD
000006bd: MSTORE
000006be: PUSH1 0x20
000006c0: ADD
000006c1: PUSH2 0x06ad
000006c4: JUMP
000006c5: JUMPDEST
000006c6: POP
000006c7: POP
000006c8: POP
000006c9: POP
000006ca: SWAP1
000006cb: POP
000006cc: ADD
000006cd: SWAP3
000006ce: POP
000006cf: POP
000006d0: POP
000006d1: PUSH1 0x40
000006d3: MLOAD
000006d4: DUP1
000006d5: SWAP2
000006d6: SUB
000006d7: SWAP1
000006d8: RETURN
000006d9: JUMPDEST
000006da: CALLVALUE
000006db: DUP1
000006dc: ISZERO
000006dd: PUSH2 0x06e5
000006e0: JUMPI
000006e1: PUSH1 0x00
000006e3: DUP1
000006e4: REVERT
000006e5: JUMPDEST
000006e6: POP
000006e7: PUSH2 0x02e3
000006ea: PUSH2 0x1411
000006ed: JUMP
000006ee: JUMPDEST
000006ef: CALLVALUE
000006f0: DUP1
000006f1: ISZERO
000006f2: PUSH2 0x06fa
000006f5: JUMPI
000006f6: PUSH1 0x00
000006f8: DUP1
000006f9: REVERT
000006fa: JUMPDEST
000006fb: POP
000006fc: PUSH2 0x027d
000006ff: PUSH2 0x1417
00000702: JUMP
00000703: JUMPDEST
00000704: PUSH2 0x02cc
00000707: PUSH1 0x04
00000709: DUP1
0000070a: CALLDATASIZE
0000070b: SUB
0000070c: PUSH1 0x20
0000070e: DUP2
0000070f: LT
00000710: ISZERO
00000711: PUSH2 0x0719
00000714: JUMPI
00000715: PUSH1 0x00
00000717: DUP1
00000718: REVERT
00000719: JUMPDEST
0000071a: POP
0000071b: CALLDATALOAD
0000071c: PUSH2 0x1426
0000071f: JUMP
00000720: JUMPDEST
00000721: CALLVALUE
00000722: DUP1
00000723: ISZERO
00000724: PUSH2 0x072c
00000727: JUMPI
00000728: PUSH1 0x00
0000072a: DUP1
0000072b: REVERT
0000072c: JUMPDEST
0000072d: POP
0000072e: PUSH2 0x02e3
00000731: PUSH2 0x19ba
00000734: JUMP
00000735: JUMPDEST
00000736: CALLVALUE
00000737: DUP1
00000738: ISZERO
00000739: PUSH2 0x0741
0000073c: JUMPI
0000073d: PUSH1 0x00
0000073f: DUP1
00000740: REVERT
00000741: JUMPDEST
00000742: POP
00000743: PUSH2 0x02cc
00000746: PUSH1 0x04
00000748: DUP1
00000749: CALLDATASIZE
0000074a: SUB
0000074b: PUSH1 0x20
0000074d: DUP2
0000074e: LT
0000074f: ISZERO
00000750: PUSH2 0x0758
00000753: JUMPI
00000754: PUSH1 0x00
00000756: DUP1
00000757: REVERT
00000758: JUMPDEST
00000759: POP
0000075a: CALLDATALOAD
0000075b: PUSH2 0x19da
0000075e: JUMP
0000075f: JUMPDEST
00000760: CALLVALUE
00000761: DUP1
00000762: ISZERO
00000763: PUSH2 0x076b
00000766: JUMPI
00000767: PUSH1 0x00
00000769: DUP1
0000076a: REVERT
0000076b: JUMPDEST
0000076c: POP
0000076d: PUSH2 0x02e3
00000770: PUSH1 0x04
00000772: DUP1
00000773: CALLDATASIZE
00000774: SUB
00000775: PUSH1 0x20
00000777: DUP2
00000778: LT
00000779: ISZERO
0000077a: PUSH2 0x0782
0000077d: JUMPI
0000077e: PUSH1 0x00
00000780: DUP1
00000781: REVERT
00000782: JUMPDEST
00000783: POP
00000784: CALLDATALOAD
00000785: PUSH2 0x1a6d
00000788: JUMP
00000789: JUMPDEST
0000078a: CALLVALUE
0000078b: DUP1
0000078c: ISZERO
0000078d: PUSH2 0x0795
00000790: JUMPI
00000791: PUSH1 0x00
00000793: DUP1
00000794: REVERT
00000795: JUMPDEST
00000796: POP
00000797: PUSH2 0x0427
0000079a: PUSH2 0x1a81
0000079d: JUMP
0000079e: JUMPDEST
0000079f: CALLVALUE
000007a0: DUP1
000007a1: ISZERO
000007a2: PUSH2 0x07aa
000007a5: JUMPI
000007a6: PUSH1 0x00
000007a8: DUP1
000007a9: REVERT
000007aa: JUMPDEST
000007ab: POP
000007ac: PUSH2 0x02e3
000007af: PUSH2 0x1a86
000007b2: JUMP
000007b3: JUMPDEST
000007b4: CALLVALUE
000007b5: DUP1
000007b6: ISZERO
000007b7: PUSH2 0x07bf
000007ba: JUMPI
000007bb: PUSH1 0x00
000007bd: DUP1
000007be: REVERT
000007bf: JUMPDEST
000007c0: POP
000007c1: PUSH2 0x0254
000007c4: PUSH1 0x04
000007c6: DUP1
000007c7: CALLDATASIZE
000007c8: SUB
000007c9: PUSH1 0x20
000007cb: DUP2
000007cc: LT
000007cd: ISZERO
000007ce: PUSH2 0x07d6
000007d1: JUMPI
000007d2: PUSH1 0x00
000007d4: DUP1
000007d5: REVERT
000007d6: JUMPDEST
000007d7: POP
000007d8: CALLDATALOAD
000007d9: PUSH2 0x1a8c
000007dc: JUMP
000007dd: JUMPDEST
000007de: CALLVALUE
000007df: DUP1
000007e0: ISZERO
000007e1: PUSH2 0x07e9
000007e4: JUMPI
000007e5: PUSH1 0x00
000007e7: DUP1
000007e8: REVERT
000007e9: JUMPDEST
000007ea: POP
000007eb: PUSH2 0x02e3
000007ee: PUSH1 0x04
000007f0: DUP1
000007f1: CALLDATASIZE
000007f2: SUB
000007f3: PUSH1 0x20
000007f5: DUP2
000007f6: LT
000007f7: ISZERO
000007f8: PUSH2 0x0800
000007fb: JUMPI
000007fc: PUSH1 0x00
000007fe: DUP1
000007ff: REVERT
00000800: JUMPDEST
00000801: POP
00000802: CALLDATALOAD
00000803: PUSH2 0x1aa1
00000806: JUMP
00000807: JUMPDEST
00000808: CALLVALUE
00000809: DUP1
0000080a: ISZERO
0000080b: PUSH2 0x0813
0000080e: JUMPI
0000080f: PUSH1 0x00
00000811: DUP1
00000812: REVERT
00000813: JUMPDEST
00000814: POP
00000815: PUSH2 0x02e3
00000818: PUSH2 0x1abf
0000081b: JUMP
0000081c: JUMPDEST
0000081d: CALLVALUE
0000081e: DUP1
0000081f: ISZERO
00000820: PUSH2 0x0828
00000823: JUMPI
00000824: PUSH1 0x00
00000826: DUP1
00000827: REVERT
00000828: JUMPDEST
00000829: POP
0000082a: PUSH2 0x02e3
0000082d: PUSH1 0x04
0000082f: DUP1
00000830: CALLDATASIZE
00000831: SUB
00000832: PUSH1 0x20
00000834: DUP2
00000835: LT
00000836: ISZERO
00000837: PUSH2 0x083f
0000083a: JUMPI
0000083b: PUSH1 0x00
0000083d: DUP1
0000083e: REVERT
0000083f: JUMPDEST
00000840: POP
00000841: CALLDATALOAD
00000842: PUSH2 0x1ae3
00000845: JUMP
00000846: JUMPDEST
00000847: CALLVALUE
00000848: DUP1
00000849: ISZERO
0000084a: PUSH2 0x0852
0000084d: JUMPI
0000084e: PUSH1 0x00
00000850: DUP1
00000851: REVERT
00000852: JUMPDEST
00000853: POP
00000854: PUSH2 0x027d
00000857: PUSH2 0x1af0
0000085a: JUMP
0000085b: JUMPDEST
0000085c: CALLVALUE
0000085d: DUP1
0000085e: ISZERO
0000085f: PUSH2 0x0867
00000862: JUMPI
00000863: PUSH1 0x00
00000865: DUP1
00000866: REVERT
00000867: JUMPDEST
00000868: POP
00000869: PUSH2 0x0427
0000086c: PUSH2 0x1aff
0000086f: JUMP
00000870: JUMPDEST
00000871: PUSH1 0x6c
00000873: PUSH1 0x20
00000875: MSTORE
00000876: PUSH1 0x00
00000878: SWAP1
00000879: DUP2
0000087a: MSTORE
0000087b: PUSH1 0x40
0000087d: SWAP1
0000087e: KECCAK256
0000087f: SLOAD
00000880: PUSH1 0xff
00000882: AND
00000883: DUP2
00000884: JUMP
00000885: JUMPDEST
00000886: PUSH1 0x70
00000888: SLOAD
00000889: PUSH1 0x01
0000088b: PUSH1 0x01
0000088d: PUSH1 0xa0
0000088f: SHL
00000890: SUB
00000891: AND
00000892: DUP2
00000893: JUMP
00000894: JUMPDEST
00000895: PUSH1 0x72
00000897: SLOAD
00000898: PUSH1 0x01
0000089a: PUSH1 0x01
0000089c: PUSH1 0xa0
0000089e: SHL
0000089f: SUB
000008a0: AND
000008a1: CALLER
000008a2: EQ
000008a3: PUSH2 0x08dd
000008a6: JUMPI
000008a7: PUSH1 0x40
000008a9: MLOAD
000008aa: PUSH3 0x461bcd
000008ae: PUSH1 0xe5
000008b0: SHL
000008b1: DUP2
000008b2: MSTORE
000008b3: PUSH1 0x04
000008b5: ADD
000008b6: DUP1
000008b7: DUP1
000008b8: PUSH1 0x20
000008ba: ADD
000008bb: DUP3
000008bc: DUP2
000008bd: SUB
000008be: DUP3
000008bf: MSTORE
000008c0: PUSH1 0x2b
000008c2: DUP2
000008c3: MSTORE
000008c4: PUSH1 0x20
000008c6: ADD
000008c7: DUP1
000008c8: PUSH2 0x201e
000008cb: PUSH1 0x2b
000008cd: SWAP2
000008ce: CODECOPY
000008cf: PUSH1 0x40
000008d1: ADD
000008d2: SWAP2
000008d3: POP
000008d4: POP
000008d5: PUSH1 0x40
000008d7: MLOAD
000008d8: DUP1
000008d9: SWAP2
000008da: SUB
000008db: SWAP1
000008dc: REVERT
000008dd: JUMPDEST
000008de: PUSH1 0x72
000008e0: DUP1
000008e1: SLOAD
000008e2: PUSH1 0x01
000008e4: PUSH1 0x01
000008e6: PUSH1 0xa0
000008e8: SHL
000008e9: SUB
000008ea: NOT
000008eb: AND
000008ec: PUSH1 0x01
000008ee: PUSH1 0x01
000008f0: PUSH1 0xa0
000008f2: SHL
000008f3: SUB
000008f4: SWAP3
000008f5: SWAP1
000008f6: SWAP3
000008f7: AND
000008f8: SWAP2
000008f9: SWAP1
000008fa: SWAP2
000008fb: OR
000008fc: SWAP1
000008fd: SSTORE
000008fe: JUMP
000008ff: JUMPDEST
00000900: PUSH1 0x76
00000902: SLOAD
00000903: DUP2
00000904: JUMP
00000905: JUMPDEST
00000906: PUSH1 0x68
00000908: DUP1
00000909: SLOAD
0000090a: PUSH1 0x01
0000090c: ADD
0000090d: SWAP1
0000090e: DUP2
0000090f: SWAP1
00000910: SSTORE
00000911: DUP2
00000912: ISZERO
00000913: PUSH2 0x0958
00000916: JUMPI
00000917: PUSH1 0x40
00000919: DUP1
0000091a: MLOAD
0000091b: PUSH3 0x461bcd
0000091f: PUSH1 0xe5
00000921: SHL
00000922: DUP2
00000923: MSTORE
00000924: PUSH1 0x20
00000926: PUSH1 0x04
00000928: DUP3
00000929: ADD
0000092a: MSTORE
0000092b: PUSH1 0x12
0000092d: PUSH1 0x24
0000092f: DUP3
00000930: ADD
00000931: MSTORE
00000932: PUSH18 0x726566756e64206973206e6f74207a65726f
00000945: PUSH1 0x70
00000947: SHL
00000948: PUSH1 0x44
0000094a: DUP3
0000094b: ADD
0000094c: MSTORE
0000094d: SWAP1
0000094e: MLOAD
0000094f: SWAP1
00000950: DUP2
00000951: SWAP1
00000952: SUB
00000953: PUSH1 0x64
00000955: ADD
00000956: SWAP1
00000957: REVERT
00000958: JUMPDEST
00000959: PUSH2 0x0961
0000095c: DUP6
0000095d: PUSH2 0x1b12
00000960: JUMP
00000961: JUMPDEST
00000962: ISZERO
00000963: PUSH2 0x09b3
00000966: JUMPI
00000967: PUSH1 0x40
00000969: DUP1
0000096a: MLOAD
0000096b: PUSH3 0x461bcd
0000096f: PUSH1 0xe5
00000971: SHL
00000972: DUP2
00000973: MSTORE
00000974: PUSH1 0x20
00000976: PUSH1 0x04
00000978: DUP3
00000979: ADD
0000097a: MSTORE
0000097b: PUSH1 0x1f
0000097d: PUSH1 0x24
0000097f: DUP3
00000980: ADD
00000981: MSTORE
00000982: PUSH32 0x726563697069656e74206f662063616e6e6f7420626520636f6e747261637400
000009a3: PUSH1 0x44
000009a5: DUP3
000009a6: ADD
000009a7: MSTORE
000009a8: SWAP1
000009a9: MLOAD
000009aa: SWAP1
000009ab: DUP2
000009ac: SWAP1
000009ad: SUB
000009ae: PUSH1 0x64
000009b0: ADD
000009b1: SWAP1
000009b2: REVERT
000009b3: JUMPDEST
000009b4: PUSH1 0x00
000009b6: DUP7
000009b7: DUP2
000009b8: MSTORE
000009b9: PUSH1 0x6c
000009bb: PUSH1 0x20
000009bd: MSTORE
000009be: PUSH1 0x40
000009c0: SWAP1
000009c1: KECCAK256
000009c2: SLOAD
000009c3: PUSH1 0xff
000009c5: AND
000009c6: ISZERO
000009c7: PUSH2 0x0a17
000009ca: JUMPI
000009cb: PUSH1 0x40
000009cd: DUP1
000009ce: MLOAD
000009cf: PUSH3 0x461bcd
000009d3: PUSH1 0xe5
000009d5: SHL
000009d6: DUP2
000009d7: MSTORE
000009d8: PUSH1 0x20
000009da: PUSH1 0x04
000009dc: DUP3
000009dd: ADD
000009de: MSTORE
000009df: PUSH1 0x1f
000009e1: PUSH1 0x24
000009e3: DUP3
000009e4: ADD
000009e5: MSTORE
000009e6: PUSH32 0x546865206e6f746520686173206265656e20616c7265616479207370656e7400
00000a07: PUSH1 0x44
00000a09: DUP3
00000a0a: ADD
00000a0b: MSTORE
00000a0c: SWAP1
00000a0d: MLOAD
00000a0e: SWAP1
00000a0f: DUP2
00000a10: SWAP1
00000a11: SUB
00000a12: PUSH1 0x64
00000a14: ADD
00000a15: SWAP1
00000a16: REVERT
00000a17: JUMPDEST
00000a18: PUSH2 0x0a20
00000a1b: DUP8
00000a1c: PUSH2 0x11c8
00000a1f: JUMP
00000a20: JUMPDEST
00000a21: PUSH2 0x0a71
00000a24: JUMPI
00000a25: PUSH1 0x40
00000a27: DUP1
00000a28: MLOAD
00000a29: PUSH3 0x461bcd
00000a2d: PUSH1 0xe5
00000a2f: SHL
00000a30: DUP2
00000a31: MSTORE
00000a32: PUSH1 0x20
00000a34: PUSH1 0x04
00000a36: DUP3
00000a37: ADD
00000a38: MSTORE
00000a39: PUSH1 0x1c
00000a3b: PUSH1 0x24
00000a3d: DUP3
00000a3e: ADD
00000a3f: MSTORE
00000a40: PUSH32 0x43616e6e6f742066696e6420796f7572206d65726b6c6520726f6f7400000000
00000a61: PUSH1 0x44
00000a63: DUP3
00000a64: ADD
00000a65: MSTORE
00000a66: SWAP1
00000a67: MLOAD
00000a68: SWAP1
00000a69: DUP2
00000a6a: SWAP1
00000a6b: SUB
00000a6c: PUSH1 0x64
00000a6e: ADD
00000a6f: SWAP1
00000a70: REVERT
00000a71: JUMPDEST
00000a72: PUSH1 0x6e
00000a74: SLOAD
00000a75: PUSH1 0x40
00000a77: DUP1
00000a78: MLOAD
00000a79: PUSH1 0xc0
00000a7b: DUP1
00000a7c: DUP3
00000a7d: ADD
00000a7e: DUP4
00000a7f: MSTORE
00000a80: DUP11
00000a81: DUP3
00000a82: MSTORE
00000a83: PUSH1 0x20
00000a85: DUP3
00000a86: ADD
00000a87: DUP11
00000a88: SWAP1
00000a89: MSTORE
00000a8a: PUSH1 0x01
00000a8c: PUSH1 0x01
00000a8e: PUSH1 0xa0
00000a90: SHL
00000a91: SUB
00000a92: DUP10
00000a93: DUP2
00000a94: AND
00000a95: DUP4
00000a96: DUP6
00000a97: ADD
00000a98: MSTORE
00000a99: DUP9
00000a9a: DUP2
00000a9b: AND
00000a9c: PUSH1 0x60
00000a9e: DUP5
00000a9f: ADD
00000aa0: MSTORE
00000aa1: PUSH1 0x80
00000aa3: DUP4
00000aa4: ADD
00000aa5: DUP9
00000aa6: SWAP1
00000aa7: MSTORE
00000aa8: PUSH1 0xa0
00000aaa: DUP4
00000aab: ADD
00000aac: DUP8
00000aad: SWAP1
00000aae: MSTORE
00000aaf: SWAP3
00000ab0: MLOAD
00000ab1: PUSH4 0x695ef6f9
00000ab6: PUSH1 0xe0
00000ab8: SHL
00000ab9: DUP2
00000aba: MSTORE
00000abb: SWAP3
00000abc: SWAP1
00000abd: SWAP4
00000abe: AND
00000abf: SWAP3
00000ac0: PUSH4 0x695ef6f9
00000ac5: SWAP3
00000ac6: DUP14
00000ac7: SWAP3
00000ac8: DUP14
00000ac9: SWAP3
00000aca: SWAP1
00000acb: SWAP2
00000acc: PUSH1 0x04
00000ace: DUP2
00000acf: ADD
00000ad0: SWAP2
00000ad1: DUP3
00000ad2: SWAP2
00000ad3: PUSH1 0x24
00000ad5: ADD
00000ad6: SWAP1
00000ad7: DUP5
00000ad8: SWAP1
00000ad9: DUP1
00000ada: DUP4
00000adb: DUP4
00000adc: PUSH1 0x00
00000ade: JUMPDEST
00000adf: DUP4
00000ae0: DUP2
00000ae1: LT
00000ae2: ISZERO
00000ae3: PUSH2 0x0af6
00000ae6: JUMPI
00000ae7: DUP2
00000ae8: DUP2
00000ae9: ADD
00000aea: MLOAD
00000aeb: DUP4
00000aec: DUP3
00000aed: ADD
00000aee: MSTORE
00000aef: PUSH1 0x20
00000af1: ADD
00000af2: PUSH2 0x0ade
00000af5: JUMP
00000af6: JUMPDEST
00000af7: POP
00000af8: POP
00000af9: POP
00000afa: POP
00000afb: SWAP1
00000afc: POP
00000afd: ADD
00000afe: DUP3
00000aff: DUP2
00000b00: SUB
00000b01: DUP3
00000b02: MSTORE
00000b03: DUP6
00000b04: DUP6
00000b05: DUP3
00000b06: DUP2
00000b07: DUP2
00000b08: MSTORE
00000b09: PUSH1 0x20
00000b0b: ADD
00000b0c: SWAP3
00000b0d: POP
00000b0e: DUP1
00000b0f: DUP3
00000b10: DUP5
00000b11: CALLDATACOPY
00000b12: PUSH1 0x00
00000b14: DUP2
00000b15: DUP5
00000b16: ADD
00000b17: MSTORE
00000b18: PUSH1 0x1f
00000b1a: NOT
00000b1b: PUSH1 0x1f
00000b1d: DUP3
00000b1e: ADD
00000b1f: AND
00000b20: SWAP1
00000b21: POP
00000b22: DUP1
00000b23: DUP4
00000b24: ADD
00000b25: SWAP3
00000b26: POP
00000b27: POP
00000b28: POP
00000b29: SWAP5
00000b2a: POP
00000b2b: POP
00000b2c: POP
00000b2d: POP
00000b2e: POP
00000b2f: PUSH1 0x20
00000b31: PUSH1 0x40
00000b33: MLOAD
00000b34: DUP1
00000b35: DUP4
00000b36: SUB
00000b37: DUP2
00000b38: PUSH1 0x00
00000b3a: DUP8
00000b3b: DUP1
00000b3c: EXTCODESIZE
00000b3d: ISZERO
00000b3e: DUP1
00000b3f: ISZERO
00000b40: PUSH2 0x0b48
00000b43: JUMPI
00000b44: PUSH1 0x00
00000b46: DUP1
00000b47: REVERT
00000b48: JUMPDEST
00000b49: POP
00000b4a: GAS
00000b4b: CALL
00000b4c: ISZERO
00000b4d: DUP1
00000b4e: ISZERO
00000b4f: PUSH2 0x0b5c
00000b52: JUMPI
00000b53: RETURNDATASIZE
00000b54: PUSH1 0x00
00000b56: DUP1
00000b57: RETURNDATACOPY
00000b58: RETURNDATASIZE
00000b59: PUSH1 0x00
00000b5b: REVERT
00000b5c: JUMPDEST
00000b5d: POP
00000b5e: POP
00000b5f: POP
00000b60: POP
00000b61: PUSH1 0x40
00000b63: MLOAD
00000b64: RETURNDATASIZE
00000b65: PUSH1 0x20
00000b67: DUP2
00000b68: LT
00000b69: ISZERO
00000b6a: PUSH2 0x0b72
00000b6d: JUMPI
00000b6e: PUSH1 0x00
00000b70: DUP1
00000b71: REVERT
00000b72: JUMPDEST
00000b73: POP
00000b74: MLOAD
00000b75: PUSH2 0x0bbe
00000b78: JUMPI
00000b79: PUSH1 0x40
00000b7b: DUP1
00000b7c: MLOAD
00000b7d: PUSH3 0x461bcd
00000b81: PUSH1 0xe5
00000b83: SHL
00000b84: DUP2
00000b85: MSTORE
00000b86: PUSH1 0x20
00000b88: PUSH1 0x04
00000b8a: DUP3
00000b8b: ADD
00000b8c: MSTORE
00000b8d: PUSH1 0x16
00000b8f: PUSH1 0x24
00000b91: DUP3
00000b92: ADD
00000b93: MSTORE
00000b94: PUSH22 0x24b73b30b634b2103bb4ba34323930bb90383937b7b3
00000bab: PUSH1 0x51
00000bad: SHL
00000bae: PUSH1 0x44
00000bb0: DUP3
00000bb1: ADD
00000bb2: MSTORE
00000bb3: SWAP1
00000bb4: MLOAD
00000bb5: SWAP1
00000bb6: DUP2
00000bb7: SWAP1
00000bb8: SUB
00000bb9: PUSH1 0x64
00000bbb: ADD
00000bbc: SWAP1
00000bbd: REVERT
00000bbe: JUMPDEST
00000bbf: PUSH1 0x00
00000bc1: DUP7
00000bc2: DUP2
00000bc3: MSTORE
00000bc4: PUSH1 0x6c
00000bc6: PUSH1 0x20
00000bc8: MSTORE
00000bc9: PUSH1 0x40
00000bcb: SWAP1
00000bcc: KECCAK256
00000bcd: DUP1
00000bce: SLOAD
00000bcf: PUSH1 0xff
00000bd1: NOT
00000bd2: AND
00000bd3: PUSH1 0x01
00000bd5: OR
00000bd6: SWAP1
00000bd7: SSTORE
00000bd8: PUSH1 0x69
00000bda: SLOAD
00000bdb: DUP1
00000bdc: ISZERO
00000bdd: PUSH2 0x0c48
00000be0: JUMPI
00000be1: PUSH1 0x6f
00000be3: SLOAD
00000be4: PUSH2 0x0bf7
00000be7: SWAP1
00000be8: PUSH1 0x01
00000bea: PUSH1 0x01
00000bec: PUSH1 0xa0
00000bee: SHL
00000bef: SUB
00000bf0: AND
00000bf1: DUP8
00000bf2: DUP4
00000bf3: PUSH2 0x1b18
00000bf6: JUMP
00000bf7: JUMPDEST
00000bf8: PUSH2 0x0c48
00000bfb: JUMPI
00000bfc: PUSH1 0x40
00000bfe: DUP1
00000bff: MLOAD
00000c00: PUSH3 0x461bcd
00000c04: PUSH1 0xe5
00000c06: SHL
00000c07: DUP2
00000c08: MSTORE
00000c09: PUSH1 0x20
00000c0b: PUSH1 0x04
00000c0d: DUP3
00000c0e: ADD
00000c0f: MSTORE
00000c10: PUSH1 0x18
00000c12: PUSH1 0x24
00000c14: DUP3
00000c15: ADD
00000c16: MSTORE
00000c17: PUSH32 0x6661696c656420746f20776974686472617720746f6b656e0000000000000000
00000c38: PUSH1 0x44
00000c3a: DUP3
00000c3b: ADD
00000c3c: MSTORE
00000c3d: SWAP1
00000c3e: MLOAD
00000c3f: SWAP1
00000c40: DUP2
00000c41: SWAP1
00000c42: SUB
00000c43: PUSH1 0x64
00000c45: ADD
00000c46: SWAP1
00000c47: REVERT
00000c48: JUMPDEST
00000c49: PUSH2 0x0c50
00000c4c: PUSH2 0x1256
00000c4f: JUMP
00000c50: JUMPDEST
00000c51: PUSH1 0x73
00000c53: SLOAD
00000c54: PUSH1 0x76
00000c56: SLOAD
00000c57: PUSH1 0x00
00000c59: SWAP2
00000c5a: DUP3
00000c5b: SWAP2
00000c5c: PUSH2 0x0c6a
00000c5f: SWAP2
00000c60: PUSH4 0xffffffff
00000c65: PUSH2 0x1cc5
00000c68: AND
00000c69: JUMP
00000c6a: JUMPDEST
00000c6b: SWAP1
00000c6c: POP
00000c6d: DUP1
00000c6e: ISZERO
00000c6f: PUSH2 0x0cda
00000c72: JUMPI
00000c73: PUSH1 0x76
00000c75: DUP1
00000c76: SLOAD
00000c77: DUP3
00000c78: SWAP1
00000c79: SUB
00000c7a: SWAP1
00000c7b: SSTORE
00000c7c: PUSH1 0x70
00000c7e: SLOAD
00000c7f: PUSH2 0x0c92
00000c82: SWAP1
00000c83: PUSH1 0x01
00000c85: PUSH1 0x01
00000c87: PUSH1 0xa0
00000c89: SHL
00000c8a: SUB
00000c8b: AND
00000c8c: DUP10
00000c8d: DUP4
00000c8e: PUSH2 0x1b18
00000c91: JUMP
00000c92: JUMPDEST
00000c93: PUSH2 0x0cda
00000c96: JUMPI
00000c97: PUSH1 0x40
00000c99: DUP1
00000c9a: MLOAD
00000c9b: PUSH3 0x461bcd
00000c9f: PUSH1 0xe5
00000ca1: SHL
00000ca2: DUP2
00000ca3: MSTORE
00000ca4: PUSH1 0x20
00000ca6: PUSH1 0x04
00000ca8: DUP3
00000ca9: ADD
00000caa: MSTORE
00000cab: PUSH1 0x14
00000cad: PUSH1 0x24
00000caf: DUP3
00000cb0: ADD
00000cb1: MSTORE
00000cb2: PUSH20 0x6661696c656420746f2072657761726420435943
00000cc7: PUSH1 0x60
00000cc9: SHL
00000cca: PUSH1 0x44
00000ccc: DUP3
00000ccd: ADD
00000cce: MSTORE
00000ccf: SWAP1
00000cd0: MLOAD
00000cd1: SWAP1
00000cd2: DUP2
00000cd3: SWAP1
00000cd4: SUB
00000cd5: PUSH1 0x64
00000cd7: ADD
00000cd8: SWAP1
00000cd9: REVERT
00000cda: JUMPDEST
00000cdb: PUSH1 0x6a
00000cdd: SLOAD
00000cde: DUP1
00000cdf: DUP8
00000ce0: GT
00000ce1: ISZERO
00000ce2: PUSH2 0x0ce9
00000ce5: JUMPI
00000ce6: DUP1
00000ce7: SWAP7
00000ce8: POP
00000ce9: JUMPDEST
00000cea: DUP7
00000ceb: ISZERO
00000cec: PUSH2 0x0d9a
00000cef: JUMPI
00000cf0: PUSH1 0x40
00000cf2: MLOAD
00000cf3: PUSH1 0x00
00000cf5: SWAP1
00000cf6: PUSH1 0x01
00000cf8: PUSH1 0x01
00000cfa: PUSH1 0xa0
00000cfc: SHL
00000cfd: SUB
00000cfe: DUP11
00000cff: AND
00000d00: SWAP1
00000d01: DUP10
00000d02: SWAP1
00000d03: DUP4
00000d04: DUP2
00000d05: DUP2
00000d06: DUP2
00000d07: DUP6
00000d08: DUP8
00000d09: GAS
00000d0a: CALL
00000d0b: SWAP3
00000d0c: POP
00000d0d: POP
00000d0e: POP
00000d0f: RETURNDATASIZE
00000d10: DUP1
00000d11: PUSH1 0x00
00000d13: DUP2
00000d14: EQ
00000d15: PUSH2 0x0d3a
00000d18: JUMPI
00000d19: PUSH1 0x40
00000d1b: MLOAD
00000d1c: SWAP2
00000d1d: POP
00000d1e: PUSH1 0x1f
00000d20: NOT
00000d21: PUSH1 0x3f
00000d23: RETURNDATASIZE
00000d24: ADD
00000d25: AND
00000d26: DUP3
00000d27: ADD
00000d28: PUSH1 0x40
00000d2a: MSTORE
00000d2b: RETURNDATASIZE
00000d2c: DUP3
00000d2d: MSTORE
00000d2e: RETURNDATASIZE
00000d2f: PUSH1 0x00
00000d31: PUSH1 0x20
00000d33: DUP5
00000d34: ADD
00000d35: RETURNDATACOPY
00000d36: PUSH2 0x0d3f
00000d39: JUMP
00000d3a: JUMPDEST
00000d3b: PUSH1 0x60
00000d3d: SWAP2
00000d3e: POP
00000d3f: JUMPDEST
00000d40: POP
00000d41: POP
00000d42: SWAP1
00000d43: POP
00000d44: DUP1
00000d45: PUSH2 0x0d95
00000d48: JUMPI
00000d49: PUSH1 0x40
00000d4b: DUP1
00000d4c: MLOAD
00000d4d: PUSH3 0x461bcd
00000d51: PUSH1 0xe5
00000d53: SHL
00000d54: DUP2
00000d55: MSTORE
00000d56: PUSH1 0x20
00000d58: PUSH1 0x04
00000d5a: DUP3
00000d5b: ADD
00000d5c: MSTORE
00000d5d: PUSH1 0x1a
00000d5f: PUSH1 0x24
00000d61: DUP3
00000d62: ADD
00000d63: MSTORE
00000d64: PUSH32 0x6661696c656420746f2073656e642072656c6179657220666565000000000000
00000d85: PUSH1 0x44
00000d87: DUP3
00000d88: ADD
00000d89: MSTORE
00000d8a: SWAP1
00000d8b: MLOAD
00000d8c: SWAP1
00000d8d: DUP2
00000d8e: SWAP1
00000d8f: SUB
00000d90: PUSH1 0x64
00000d92: ADD
00000d93: SWAP1
00000d94: REVERT
00000d95: JUMPDEST
00000d96: POP
00000d97: DUP7
00000d98: SWAP1
00000d99: SUB
00000d9a: JUMPDEST
00000d9b: DUP1
00000d9c: ISZERO
00000d9d: PUSH2 0x0e48
00000da0: JUMPI
00000da1: PUSH1 0x40
00000da3: MLOAD
00000da4: PUSH1 0x00
00000da6: SWAP1
00000da7: PUSH1 0x01
00000da9: PUSH1 0x01
00000dab: PUSH1 0xa0
00000dad: SHL
00000dae: SUB
00000daf: DUP12
00000db0: AND
00000db1: SWAP1
00000db2: DUP4
00000db3: SWAP1
00000db4: DUP4
00000db5: DUP2
00000db6: DUP2
00000db7: DUP2
00000db8: DUP6
00000db9: DUP8
00000dba: GAS
00000dbb: CALL
00000dbc: SWAP3
00000dbd: POP
00000dbe: POP
00000dbf: POP
00000dc0: RETURNDATASIZE
00000dc1: DUP1
00000dc2: PUSH1 0x00
00000dc4: DUP2
00000dc5: EQ
00000dc6: PUSH2 0x0deb
00000dc9: JUMPI
00000dca: PUSH1 0x40
00000dcc: MLOAD
00000dcd: SWAP2
00000dce: POP
00000dcf: PUSH1 0x1f
00000dd1: NOT
00000dd2: PUSH1 0x3f
00000dd4: RETURNDATASIZE
00000dd5: ADD
00000dd6: AND
00000dd7: DUP3
00000dd8: ADD
00000dd9: PUSH1 0x40
00000ddb: MSTORE
00000ddc: RETURNDATASIZE
00000ddd: DUP3
00000dde: MSTORE
00000ddf: RETURNDATASIZE
00000de0: PUSH1 0x00
00000de2: PUSH1 0x20
00000de4: DUP5
00000de5: ADD
00000de6: RETURNDATACOPY
00000de7: PUSH2 0x0df0
00000dea: JUMP
00000deb: JUMPDEST
00000dec: PUSH1 0x60
00000dee: SWAP2
00000def: POP
00000df0: JUMPDEST
00000df1: POP
00000df2: POP
00000df3: SWAP1
00000df4: POP
00000df5: DUP1
00000df6: PUSH2 0x0e46
00000df9: JUMPI
00000dfa: PUSH1 0x40
00000dfc: DUP1
00000dfd: MLOAD
00000dfe: PUSH3 0x461bcd
00000e02: PUSH1 0xe5
00000e04: SHL
00000e05: DUP2
00000e06: MSTORE
00000e07: PUSH1 0x20
00000e09: PUSH1 0x04
00000e0b: DUP3
00000e0c: ADD
00000e0d: MSTORE
00000e0e: PUSH1 0x17
00000e10: PUSH1 0x24
00000e12: DUP3
00000e13: ADD
00000e14: MSTORE
00000e15: PUSH32 0x6661696c656420746f20776974686472617720636f696e000000000000000000
00000e36: PUSH1 0x44
00000e38: DUP3
00000e39: ADD
00000e3a: MSTORE
00000e3b: SWAP1
00000e3c: MLOAD
00000e3d: SWAP1
00000e3e: DUP2
00000e3f: SWAP1
00000e40: SUB
00000e41: PUSH1 0x64
00000e43: ADD
00000e44: SWAP1
00000e45: REVERT
00000e46: JUMPDEST
00000e47: POP
00000e48: JUMPDEST
00000e49: PUSH1 0x73
00000e4b: DUP1
00000e4c: SLOAD
00000e4d: PUSH1 0x00
00000e4f: NOT
00000e50: ADD
00000e51: SWAP1
00000e52: SSTORE
00000e53: PUSH1 0x40
00000e55: DUP1
00000e56: MLOAD
00000e57: PUSH1 0x01
00000e59: PUSH1 0x01
00000e5b: PUSH1 0xa0
00000e5d: SHL
00000e5e: SUB
00000e5f: DUP12
00000e60: DUP2
00000e61: AND
00000e62: DUP3
00000e63: MSTORE
00000e64: PUSH1 0x20
00000e66: DUP3
00000e67: ADD
00000e68: DUP14
00000e69: SWAP1
00000e6a: MSTORE
00000e6b: DUP2
00000e6c: DUP4
00000e6d: ADD
00000e6e: DUP6
00000e6f: SWAP1
00000e70: MSTORE
00000e71: PUSH1 0x60
00000e73: DUP3
00000e74: ADD
00000e75: DUP7
00000e76: SWAP1
00000e77: MSTORE
00000e78: SWAP2
00000e79: MLOAD
00000e7a: SWAP2
00000e7b: DUP11
00000e7c: AND
00000e7d: SWAP2
00000e7e: PUSH32 0x6d7aac54bd3d1c91db3b1fd7b8d6cb45324ad6b5e373c0f0ea4d7b2606c4c2c8
00000e9f: SWAP2
00000ea0: DUP2
00000ea1: SWAP1
00000ea2: SUB
00000ea3: PUSH1 0x80
00000ea5: ADD
00000ea6: SWAP1
00000ea7: LOG2
00000ea8: POP
00000ea9: POP
00000eaa: POP
00000eab: POP
00000eac: PUSH1 0x68
00000eae: SLOAD
00000eaf: DUP2
00000eb0: EQ
00000eb1: PUSH2 0x0f01
00000eb4: JUMPI
00000eb5: PUSH1 0x40
00000eb7: DUP1
00000eb8: MLOAD
00000eb9: PUSH3 0x461bcd
00000ebd: PUSH1 0xe5
00000ebf: SHL
00000ec0: DUP2
00000ec1: MSTORE
00000ec2: PUSH1 0x20
00000ec4: PUSH1 0x04
00000ec6: DUP3
00000ec7: ADD
00000ec8: MSTORE
00000ec9: PUSH1 0x1f
00000ecb: PUSH1 0x24
00000ecd: DUP3
00000ece: ADD
00000ecf: MSTORE
00000ed0: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
00000ef1: PUSH1 0x44
00000ef3: DUP3
00000ef4: ADD
00000ef5: MSTORE
00000ef6: SWAP1
00000ef7: MLOAD
00000ef8: SWAP1
00000ef9: DUP2
00000efa: SWAP1
00000efb: SUB
00000efc: PUSH1 0x64
00000efe: ADD
00000eff: SWAP1
00000f00: REVERT
00000f01: JUMPDEST
00000f02: POP
00000f03: POP
00000f04: POP
00000f05: POP
00000f06: POP
00000f07: POP
00000f08: POP
00000f09: POP
00000f0a: POP
00000f0b: JUMP
00000f0c: JUMPDEST
00000f0d: PUSH1 0x6e
00000f0f: SLOAD
00000f10: PUSH1 0x01
00000f12: PUSH1 0x01
00000f14: PUSH1 0xa0
00000f16: SHL
00000f17: SUB
00000f18: AND
00000f19: DUP2
00000f1a: JUMP
00000f1b: JUMPDEST
00000f1c: PUSH1 0x73
00000f1e: SLOAD
00000f1f: DUP2
00000f20: JUMP
00000f21: JUMPDEST
00000f22: PUSH1 0x00
00000f24: PUSH1 0x00
00000f26: DUP1
00000f27: MLOAD
00000f28: PUSH1 0x20
00000f2a: PUSH2 0x1fdd
00000f2d: DUP4
00000f2e: CODECOPY
00000f2f: DUP2
00000f30: MLOAD
00000f31: SWAP2
00000f32: MSTORE
00000f33: DUP4
00000f34: LT
00000f35: PUSH2 0x0f85
00000f38: JUMPI
00000f39: PUSH1 0x40
00000f3b: DUP1
00000f3c: MLOAD
00000f3d: PUSH3 0x461bcd
00000f41: PUSH1 0xe5
00000f43: SHL
00000f44: DUP2
00000f45: MSTORE
00000f46: PUSH1 0x20
00000f48: PUSH1 0x04
00000f4a: DUP3
00000f4b: ADD
00000f4c: DUP2
00000f4d: SWAP1
00000f4e: MSTORE
00000f4f: PUSH1 0x24
00000f51: DUP3
00000f52: ADD
00000f53: MSTORE
00000f54: PUSH32 0x5f6c6566742073686f756c6420626520696e7369646520746865206669656c64
00000f75: PUSH1 0x44
00000f77: DUP3
00000f78: ADD
00000f79: MSTORE
00000f7a: SWAP1
00000f7b: MLOAD
00000f7c: SWAP1
00000f7d: DUP2
00000f7e: SWAP1
00000f7f: SUB
00000f80: PUSH1 0x64
00000f82: ADD
00000f83: SWAP1
00000f84: REVERT
00000f85: JUMPDEST
00000f86: PUSH1 0x00
00000f88: DUP1
00000f89: MLOAD
00000f8a: PUSH1 0x20
00000f8c: PUSH2 0x1fdd
00000f8f: DUP4
00000f90: CODECOPY
00000f91: DUP2
00000f92: MLOAD
00000f93: SWAP2
00000f94: MSTORE
00000f95: DUP3
00000f96: LT
00000f97: PUSH2 0x0fd1
00000f9a: JUMPI
00000f9b: PUSH1 0x40
00000f9d: MLOAD
00000f9e: PUSH3 0x461bcd
00000fa2: PUSH1 0xe5
00000fa4: SHL
00000fa5: DUP2
00000fa6: MSTORE
00000fa7: PUSH1 0x04
00000fa9: ADD
00000faa: DUP1
00000fab: DUP1
00000fac: PUSH1 0x20
00000fae: ADD
00000faf: DUP3
00000fb0: DUP2
00000fb1: SUB
00000fb2: DUP3
00000fb3: MSTORE
00000fb4: PUSH1 0x21
00000fb6: DUP2
00000fb7: MSTORE
00000fb8: PUSH1 0x20
00000fba: ADD
00000fbb: DUP1
00000fbc: PUSH2 0x1fbc
00000fbf: PUSH1 0x21
00000fc1: SWAP2
00000fc2: CODECOPY
00000fc3: PUSH1 0x40
00000fc5: ADD
00000fc6: SWAP2
00000fc7: POP
00000fc8: POP
00000fc9: PUSH1 0x40
00000fcb: MLOAD
00000fcc: DUP1
00000fcd: SWAP2
00000fce: SUB
00000fcf: SWAP1
00000fd0: REVERT
00000fd1: JUMPDEST
00000fd2: PUSH1 0x40
00000fd4: DUP1
00000fd5: MLOAD
00000fd6: PUSH4 0xf47d33b5
00000fdb: PUSH1 0xe0
00000fdd: SHL
00000fde: DUP2
00000fdf: MSTORE
00000fe0: PUSH1 0x04
00000fe2: DUP2
00000fe3: ADD
00000fe4: DUP6
00000fe5: SWAP1
00000fe6: MSTORE
00000fe7: PUSH1 0x00
00000fe9: PUSH1 0x24
00000feb: DUP3
00000fec: ADD
00000fed: DUP2
00000fee: SWAP1
00000fef: MSTORE
00000ff0: DUP3
00000ff1: MLOAD
00000ff2: DUP7
00000ff3: SWAP4
00000ff4: SWAP2
00000ff5: SWAP3
00000ff6: PUSH20 0x949452e32db13a5771445cf20b304474b866202b
0000100b: SWAP3
0000100c: PUSH4 0xf47d33b5
00001011: SWAP3
00001012: PUSH1 0x44
00001014: DUP1
00001015: DUP5
00001016: ADD
00001017: SWAP4
00001018: DUP3
00001019: SWAP1
0000101a: SUB
0000101b: ADD
0000101c: DUP2
0000101d: DUP7
0000101e: DUP1
0000101f: EXTCODESIZE
00001020: ISZERO
00001021: DUP1
00001022: ISZERO
00001023: PUSH2 0x102b
00001026: JUMPI
00001027: PUSH1 0x00
00001029: DUP1
0000102a: REVERT
0000102b: JUMPDEST
0000102c: POP
0000102d: GAS
0000102e: DELEGATECALL
0000102f: ISZERO
00001030: DUP1
00001031: ISZERO
00001032: PUSH2 0x103f
00001035: JUMPI
00001036: RETURNDATASIZE
00001037: PUSH1 0x00
00001039: DUP1
0000103a: RETURNDATACOPY
0000103b: RETURNDATASIZE
0000103c: PUSH1 0x00
0000103e: REVERT
0000103f: JUMPDEST
00001040: POP
00001041: POP
00001042: POP
00001043: POP
00001044: PUSH1 0x40
00001046: MLOAD
00001047: RETURNDATASIZE
00001048: PUSH1 0x40
0000104a: DUP2
0000104b: LT
0000104c: ISZERO
0000104d: PUSH2 0x1055
00001050: JUMPI
00001051: PUSH1 0x00
00001053: DUP1
00001054: REVERT
00001055: JUMPDEST
00001056: POP
00001057: DUP1
00001058: MLOAD
00001059: PUSH1 0x20
0000105b: SWAP1
0000105c: SWAP2
0000105d: ADD
0000105e: MLOAD
0000105f: SWAP1
00001060: SWAP3
00001061: POP
00001062: SWAP1
00001063: POP
00001064: PUSH1 0x00
00001066: DUP1
00001067: MLOAD
00001068: PUSH1 0x20
0000106a: PUSH2 0x1fdd
0000106d: DUP4
0000106e: CODECOPY
0000106f: DUP2
00001070: MLOAD
00001071: SWAP2
00001072: MSTORE
00001073: DUP5
00001074: DUP4
00001075: ADDMOD
00001076: SWAP2
00001077: POP
00001078: PUSH20 0x949452e32db13a5771445cf20b304474b866202b
0000108d: PUSH4 0xf47d33b5
00001092: DUP4
00001093: DUP4
00001094: PUSH1 0x40
00001096: MLOAD
00001097: DUP4
00001098: PUSH4 0xffffffff
0000109d: AND
0000109e: PUSH1 0xe0
000010a0: SHL
000010a1: DUP2
000010a2: MSTORE
000010a3: PUSH1 0x04
000010a5: ADD
000010a6: DUP1
000010a7: DUP4
000010a8: DUP2
000010a9: MSTORE
000010aa: PUSH1 0x20
000010ac: ADD
000010ad: DUP3
000010ae: DUP2
000010af: MSTORE
000010b0: PUSH1 0x20
000010b2: ADD
000010b3: SWAP3
000010b4: POP
000010b5: POP
000010b6: POP
000010b7: PUSH1 0x40
000010b9: DUP1
000010ba: MLOAD
000010bb: DUP1
000010bc: DUP4
000010bd: SUB
000010be: DUP2
000010bf: DUP7
000010c0: DUP1
000010c1: EXTCODESIZE
000010c2: ISZERO
000010c3: DUP1
000010c4: ISZERO
000010c5: PUSH2 0x10cd
000010c8: JUMPI
000010c9: PUSH1 0x00
000010cb: DUP1
000010cc: REVERT
000010cd: JUMPDEST
000010ce: POP
000010cf: GAS
000010d0: DELEGATECALL
000010d1: ISZERO
000010d2: DUP1
000010d3: ISZERO
000010d4: PUSH2 0x10e1
000010d7: JUMPI
000010d8: RETURNDATASIZE
000010d9: PUSH1 0x00
000010db: DUP1
000010dc: RETURNDATACOPY
000010dd: RETURNDATASIZE
000010de: PUSH1 0x00
000010e0: REVERT
000010e1: JUMPDEST
000010e2: POP
000010e3: POP
000010e4: POP
000010e5: POP
000010e6: PUSH1 0x40
000010e8: MLOAD
000010e9: RETURNDATASIZE
000010ea: PUSH1 0x40
000010ec: DUP2
000010ed: LT
000010ee: ISZERO
000010ef: PUSH2 0x10f7
000010f2: JUMPI
000010f3: PUSH1 0x00
000010f5: DUP1
000010f6: REVERT
000010f7: JUMPDEST
000010f8: POP
000010f9: MLOAD
000010fa: SWAP3
000010fb: POP
000010fc: POP
000010fd: POP
000010fe: JUMPDEST
000010ff: SWAP3
00001100: SWAP2
00001101: POP
00001102: POP
00001103: JUMP
00001104: JUMPDEST
00001105: PUSH1 0x77
00001107: SLOAD
00001108: DUP2
00001109: JUMP
0000110a: JUMPDEST
0000110b: PUSH1 0x00
0000110d: DUP1
0000110e: MLOAD
0000110f: PUSH1 0x20
00001111: PUSH2 0x1fdd
00001114: DUP4
00001115: CODECOPY
00001116: DUP2
00001117: MLOAD
00001118: SWAP2
00001119: MSTORE
0000111a: DUP2
0000111b: JUMP
0000111c: JUMPDEST
0000111d: PUSH1 0x00
0000111f: SLOAD
00001120: PUSH4 0xffffffff
00001125: AND
00001126: DUP2
00001127: JUMP
00001128: JUMPDEST
00001129: PUSH1 0x69
0000112b: SLOAD
0000112c: DUP2
0000112d: JUMP
0000112e: JUMPDEST
0000112f: PUSH1 0x40
00001131: DUP1
00001132: MLOAD
00001133: DUP1
00001134: DUP3
00001135: ADD
00001136: SWAP1
00001137: SWAP2
00001138: MSTORE
00001139: PUSH1 0x03
0000113b: DUP2
0000113c: MSTORE
0000113d: PUSH3 0x191719
00001141: PUSH1 0xe9
00001143: SHL
00001144: PUSH1 0x20
00001146: DUP3
00001147: ADD
00001148: MSTORE
00001149: JUMPDEST
0000114a: SWAP1
0000114b: JUMP
0000114c: JUMPDEST
0000114d: PUSH1 0x00
0000114f: PUSH1 0x73
00001151: SLOAD
00001152: PUSH1 0x00
00001154: EQ
00001155: ISZERO
00001156: PUSH2 0x1162
00001159: JUMPI
0000115a: POP
0000115b: PUSH1 0x6b
0000115d: SLOAD
0000115e: PUSH2 0x1149
00001161: JUMP
00001162: JUMPDEST
00001163: PUSH1 0x76
00001165: SLOAD
00001166: PUSH1 0x74
00001168: SLOAD
00001169: NUMBER
0000116a: SWAP2
0000116b: SWAP1
0000116c: DUP3
0000116d: GT
0000116e: DUP1
0000116f: ISZERO
00001170: PUSH2 0x117b
00001173: JUMPI
00001174: POP
00001175: PUSH1 0x00
00001177: PUSH1 0x75
00001179: SLOAD
0000117a: GT
0000117b: JUMPDEST
0000117c: ISZERO
0000117d: PUSH2 0x118b
00001180: JUMPI
00001181: PUSH2 0x1188
00001184: PUSH2 0x1cd8
00001187: JUMP
00001188: JUMPDEST
00001189: SWAP1
0000118a: POP
0000118b: JUMPDEST
0000118c: PUSH1 0x73
0000118e: SLOAD
0000118f: PUSH2 0x11b2
00001192: SWAP1
00001193: PUSH2 0x11a6
00001196: DUP4
00001197: PUSH1 0x00
00001199: NOT
0000119a: DUP4
0000119b: ADD
0000119c: PUSH4 0xffffffff
000011a1: PUSH2 0x1db1
000011a4: AND
000011a5: JUMP
000011a6: JUMPDEST
000011a7: SWAP1
000011a8: PUSH4 0xffffffff
000011ad: PUSH2 0x1cc5
000011b0: AND
000011b1: JUMP
000011b2: JUMPDEST
000011b3: SWAP3
000011b4: POP
000011b5: POP
000011b6: POP
000011b7: SWAP1
000011b8: JUMP
000011b9: JUMPDEST
000011ba: PUSH1 0x71
000011bc: SLOAD
000011bd: PUSH1 0x01
000011bf: PUSH1 0x01
000011c1: PUSH1 0xa0
000011c3: SHL
000011c4: SUB
000011c5: AND
000011c6: DUP2
000011c7: JUMP
000011c8: JUMPDEST
000011c9: PUSH1 0x00
000011cb: DUP2
000011cc: PUSH2 0x11d7
000011cf: JUMPI
000011d0: POP
000011d1: PUSH1 0x00
000011d3: PUSH2 0x1236
000011d6: JUMP
000011d7: JUMPDEST
000011d8: PUSH1 0x03
000011da: SLOAD
000011db: PUSH4 0xffffffff
000011e0: AND
000011e1: JUMPDEST
000011e2: PUSH1 0x04
000011e4: DUP2
000011e5: PUSH4 0xffffffff
000011ea: AND
000011eb: PUSH1 0x64
000011ed: DUP2
000011ee: LT
000011ef: PUSH2 0x11f4
000011f2: JUMPI
000011f3: INVALID
000011f4: JUMPDEST
000011f5: ADD
000011f6: SLOAD
000011f7: DUP4
000011f8: EQ
000011f9: ISZERO
000011fa: PUSH2 0x1207
000011fd: JUMPI
000011fe: PUSH1 0x01
00001200: SWAP2
00001201: POP
00001202: POP
00001203: PUSH2 0x1236
00001206: JUMP
00001207: JUMPDEST
00001208: PUSH4 0xffffffff
0000120d: DUP2
0000120e: AND
0000120f: PUSH2 0x1216
00001212: JUMPI
00001213: POP
00001214: PUSH1 0x64
00001216: JUMPDEST
00001217: PUSH1 0x03
00001219: SLOAD
0000121a: PUSH1 0x00
0000121c: NOT
0000121d: SWAP1
0000121e: SWAP2
0000121f: ADD
00001220: SWAP1
00001221: PUSH4 0xffffffff
00001226: DUP1
00001227: DUP4
00001228: AND
00001229: SWAP2
0000122a: AND
0000122b: EQ
0000122c: ISZERO
0000122d: PUSH2 0x11e1
00001230: JUMPI
00001231: PUSH1 0x00
00001233: SWAP2
00001234: POP
00001235: POP
00001236: JUMPDEST
00001237: SWAP2
00001238: SWAP1
00001239: POP
0000123a: JUMP
0000123b: JUMPDEST
0000123c: PUSH1 0x6d
0000123e: PUSH1 0x20
00001240: MSTORE
00001241: PUSH1 0x00
00001243: SWAP1
00001244: DUP2
00001245: MSTORE
00001246: PUSH1 0x40
00001248: SWAP1
00001249: KECCAK256
0000124a: SLOAD
0000124b: PUSH1 0xff
0000124d: AND
0000124e: DUP2
0000124f: JUMP
00001250: JUMPDEST
00001251: PUSH1 0x75
00001253: SLOAD
00001254: DUP2
00001255: JUMP
00001256: JUMPDEST
00001257: PUSH1 0x74
00001259: SLOAD
0000125a: NUMBER
0000125b: SWAP1
0000125c: DUP2
0000125d: GT
0000125e: PUSH2 0x1267
00001261: JUMPI
00001262: POP
00001263: PUSH2 0x127f
00001266: JUMP
00001267: JUMPDEST
00001268: PUSH1 0x75
0000126a: SLOAD
0000126b: ISZERO
0000126c: PUSH2 0x127b
0000126f: JUMPI
00001270: PUSH2 0x1277
00001273: PUSH2 0x1cd8
00001276: JUMP
00001277: JUMPDEST
00001278: PUSH1 0x76
0000127a: SSTORE
0000127b: JUMPDEST
0000127c: PUSH1 0x74
0000127e: SSTORE
0000127f: JUMPDEST
00001280: JUMP
00001281: JUMPDEST
00001282: PUSH1 0x72
00001284: SLOAD
00001285: PUSH1 0x01
00001287: PUSH1 0x01
00001289: PUSH1 0xa0
0000128b: SHL
0000128c: SUB
0000128d: AND
0000128e: CALLER
0000128f: EQ
00001290: PUSH2 0x12ca
00001293: JUMPI
00001294: PUSH1 0x40
00001296: MLOAD
00001297: PUSH3 0x461bcd
0000129b: PUSH1 0xe5
0000129d: SHL
0000129e: DUP2
0000129f: MSTORE
000012a0: PUSH1 0x04
000012a2: ADD
000012a3: DUP1
000012a4: DUP1
000012a5: PUSH1 0x20
000012a7: ADD
000012a8: DUP3
000012a9: DUP2
000012aa: SUB
000012ab: DUP3
000012ac: MSTORE
000012ad: PUSH1 0x2b
000012af: DUP2
000012b0: MSTORE
000012b1: PUSH1 0x20
000012b3: ADD
000012b4: DUP1
000012b5: PUSH2 0x201e
000012b8: PUSH1 0x2b
000012ba: SWAP2
000012bb: CODECOPY
000012bc: PUSH1 0x40
000012be: ADD
000012bf: SWAP2
000012c0: POP
000012c1: POP
000012c2: PUSH1 0x40
000012c4: MLOAD
000012c5: DUP1
000012c6: SWAP2
000012c7: SUB
000012c8: SWAP1
000012c9: REVERT
000012ca: JUMPDEST
000012cb: PUSH1 0x77
000012cd: SLOAD
000012ce: PUSH1 0x40
000012d0: DUP1
000012d1: MLOAD
000012d2: SWAP2
000012d3: DUP3
000012d4: MSTORE
000012d5: PUSH1 0x20
000012d7: DUP3
000012d8: ADD
000012d9: DUP4
000012da: SWAP1
000012db: MSTORE
000012dc: DUP1
000012dd: MLOAD
000012de: PUSH32 0xf077eec825bf8719ab7021daf299e3feb4cb33472ac3f1e661657fd9701a3e7e
000012ff: SWAP3
00001300: DUP2
00001301: SWAP1
00001302: SUB
00001303: SWAP1
00001304: SWAP2
00001305: ADD
00001306: SWAP1
00001307: LOG1
00001308: PUSH1 0x77
0000130a: SSTORE
0000130b: JUMP
0000130c: JUMPDEST
0000130d: PUSH1 0x03
0000130f: SLOAD
00001310: PUSH4 0xffffffff
00001315: AND
00001316: DUP2
00001317: JUMP
00001318: JUMPDEST
00001319: PUSH1 0x72
0000131b: SLOAD
0000131c: PUSH1 0x01
0000131e: PUSH1 0x01
00001320: PUSH1 0xa0
00001322: SHL
00001323: SUB
00001324: AND
00001325: CALLER
00001326: EQ
00001327: PUSH2 0x1361
0000132a: JUMPI
0000132b: PUSH1 0x40
0000132d: MLOAD
0000132e: PUSH3 0x461bcd
00001332: PUSH1 0xe5
00001334: SHL
00001335: DUP2
00001336: MSTORE
00001337: PUSH1 0x04
00001339: ADD
0000133a: DUP1
0000133b: DUP1
0000133c: PUSH1 0x20
0000133e: ADD
0000133f: DUP3
00001340: DUP2
00001341: SUB
00001342: DUP3
00001343: MSTORE
00001344: PUSH1 0x2b
00001346: DUP2
00001347: MSTORE
00001348: PUSH1 0x20
0000134a: ADD
0000134b: DUP1
0000134c: PUSH2 0x201e
0000134f: PUSH1 0x2b
00001351: SWAP2
00001352: CODECOPY
00001353: PUSH1 0x40
00001355: ADD
00001356: SWAP2
00001357: POP
00001358: POP
00001359: PUSH1 0x40
0000135b: MLOAD
0000135c: DUP1
0000135d: SWAP2
0000135e: SUB
0000135f: SWAP1
00001360: REVERT
00001361: JUMPDEST
00001362: PUSH1 0x6e
00001364: DUP1
00001365: SLOAD
00001366: PUSH1 0x01
00001368: PUSH1 0x01
0000136a: PUSH1 0xa0
0000136c: SHL
0000136d: SUB
0000136e: NOT
0000136f: AND
00001370: PUSH1 0x01
00001372: PUSH1 0x01
00001374: PUSH1 0xa0
00001376: SHL
00001377: SUB
00001378: SWAP3
00001379: SWAP1
0000137a: SWAP3
0000137b: AND
0000137c: SWAP2
0000137d: SWAP1
0000137e: SWAP2
0000137f: OR
00001380: SWAP1
00001381: SSTORE
00001382: JUMP
00001383: JUMPDEST
00001384: PUSH1 0x6a
00001386: SLOAD
00001387: DUP2
00001388: JUMP
00001389: JUMPDEST
0000138a: PUSH1 0x40
0000138c: DUP1
0000138d: MLOAD
0000138e: DUP3
0000138f: DUP2
00001390: MSTORE
00001391: PUSH1 0x20
00001393: DUP1
00001394: DUP5
00001395: MUL
00001396: DUP3
00001397: ADD
00001398: ADD
00001399: SWAP1
0000139a: SWAP2
0000139b: MSTORE
0000139c: PUSH1 0x60
0000139e: SWAP1
0000139f: DUP3
000013a0: DUP1
000013a1: ISZERO
000013a2: PUSH2 0x13b5
000013a5: JUMPI
000013a6: DUP2
000013a7: PUSH1 0x20
000013a9: ADD
000013aa: PUSH1 0x20
000013ac: DUP3
000013ad: MUL
000013ae: DUP1
000013af: CODESIZE
000013b0: DUP4
000013b1: CODECOPY
000013b2: ADD
000013b3: SWAP1
000013b4: POP
000013b5: JUMPDEST
000013b6: POP
000013b7: SWAP1
000013b8: POP
000013b9: PUSH1 0x00
000013bb: JUMPDEST
000013bc: DUP3
000013bd: DUP2
000013be: LT
000013bf: ISZERO
000013c0: PUSH2 0x140a
000013c3: JUMPI
000013c4: PUSH2 0x13de
000013c7: DUP5
000013c8: DUP5
000013c9: DUP4
000013ca: DUP2
000013cb: DUP2
000013cc: LT
000013cd: PUSH2 0x13d2
000013d0: JUMPI
000013d1: INVALID
000013d2: JUMPDEST
000013d3: SWAP1
000013d4: POP
000013d5: PUSH1 0x20
000013d7: MUL
000013d8: ADD
000013d9: CALLDATALOAD
000013da: PUSH2 0x1a8c
000013dd: JUMP
000013de: JUMPDEST
000013df: ISZERO
000013e0: PUSH2 0x1402
000013e3: JUMPI
000013e4: PUSH1 0x01
000013e6: DUP3
000013e7: DUP3
000013e8: DUP2
000013e9: MLOAD
000013ea: DUP2
000013eb: LT
000013ec: PUSH2 0x13f1
000013ef: JUMPI
000013f0: INVALID
000013f1: JUMPDEST
000013f2: SWAP2
000013f3: ISZERO
000013f4: ISZERO
000013f5: PUSH1 0x20
000013f7: SWAP3
000013f8: DUP4
000013f9: MUL
000013fa: SWAP2
000013fb: SWAP1
000013fc: SWAP2
000013fd: ADD
000013fe: SWAP1
000013ff: SWAP2
00001400: ADD
00001401: MSTORE
00001402: JUMPDEST
00001403: PUSH1 0x01
00001405: ADD
00001406: PUSH2 0x13bb
00001409: JUMP
0000140a: JUMPDEST
0000140b: POP
0000140c: SWAP3
0000140d: SWAP2
0000140e: POP
0000140f: POP
00001410: JUMP
00001411: JUMPDEST
00001412: PUSH1 0x74
00001414: SLOAD
00001415: DUP2
00001416: JUMP
00001417: JUMPDEST
00001418: PUSH1 0x72
0000141a: SLOAD
0000141b: PUSH1 0x01
0000141d: PUSH1 0x01
0000141f: PUSH1 0xa0
00001421: SHL
00001422: SUB
00001423: AND
00001424: DUP2
00001425: JUMP
00001426: JUMPDEST
00001427: PUSH1 0x68
00001429: DUP1
0000142a: SLOAD
0000142b: PUSH1 0x01
0000142d: ADD
0000142e: SWAP1
0000142f: DUP2
00001430: SWAP1
00001431: SSTORE
00001432: PUSH1 0x00
00001434: DUP3
00001435: DUP2
00001436: MSTORE
00001437: PUSH1 0x6d
00001439: PUSH1 0x20
0000143b: MSTORE
0000143c: PUSH1 0x40
0000143e: SWAP1
0000143f: KECCAK256
00001440: SLOAD
00001441: PUSH1 0xff
00001443: AND
00001444: ISZERO
00001445: PUSH2 0x147f
00001448: JUMPI
00001449: PUSH1 0x40
0000144b: MLOAD
0000144c: PUSH3 0x461bcd
00001450: PUSH1 0xe5
00001452: SHL
00001453: DUP2
00001454: MSTORE
00001455: PUSH1 0x04
00001457: ADD
00001458: DUP1
00001459: DUP1
0000145a: PUSH1 0x20
0000145c: ADD
0000145d: DUP3
0000145e: DUP2
0000145f: SUB
00001460: DUP3
00001461: MSTORE
00001462: PUSH1 0x21
00001464: DUP2
00001465: MSTORE
00001466: PUSH1 0x20
00001468: ADD
00001469: DUP1
0000146a: PUSH2 0x1ffd
0000146d: PUSH1 0x21
0000146f: SWAP2
00001470: CODECOPY
00001471: PUSH1 0x40
00001473: ADD
00001474: SWAP2
00001475: POP
00001476: POP
00001477: PUSH1 0x40
00001479: MLOAD
0000147a: DUP1
0000147b: SWAP2
0000147c: SUB
0000147d: SWAP1
0000147e: REVERT
0000147f: JUMPDEST
00001480: PUSH1 0x6a
00001482: SLOAD
00001483: CALLVALUE
00001484: LT
00001485: ISZERO
00001486: PUSH2 0x14d6
00001489: JUMPI
0000148a: PUSH1 0x40
0000148c: DUP1
0000148d: MLOAD
0000148e: PUSH3 0x461bcd
00001492: PUSH1 0xe5
00001494: SHL
00001495: DUP2
00001496: MSTORE
00001497: PUSH1 0x20
00001499: PUSH1 0x04
0000149b: DUP3
0000149c: ADD
0000149d: MSTORE
0000149e: PUSH1 0x18
000014a0: PUSH1 0x24
000014a2: DUP3
000014a3: ADD
000014a4: MSTORE
000014a5: PUSH32 0x696e73756666696369656e7420636f696e20616d6f756e740000000000000000
000014c6: PUSH1 0x44
000014c8: DUP3
000014c9: ADD
000014ca: MSTORE
000014cb: SWAP1
000014cc: MLOAD
000014cd: SWAP1
000014ce: DUP2
000014cf: SWAP1
000014d0: SUB
000014d1: PUSH1 0x64
000014d3: ADD
000014d4: SWAP1
000014d5: REVERT
000014d6: JUMPDEST
000014d7: PUSH1 0x6a
000014d9: SLOAD
000014da: CALLVALUE
000014db: SUB
000014dc: PUSH1 0x00
000014de: PUSH2 0x14e6
000014e1: DUP5
000014e2: PUSH2 0x1dbe
000014e5: JUMP
000014e6: JUMPDEST
000014e7: PUSH1 0x00
000014e9: DUP6
000014ea: DUP2
000014eb: MSTORE
000014ec: PUSH1 0x6d
000014ee: PUSH1 0x20
000014f0: MSTORE
000014f1: PUSH1 0x40
000014f3: SWAP1
000014f4: KECCAK256
000014f5: DUP1
000014f6: SLOAD
000014f7: PUSH1 0xff
000014f9: NOT
000014fa: AND
000014fb: PUSH1 0x01
000014fd: OR
000014fe: SWAP1
000014ff: SSTORE
00001500: SWAP1
00001501: POP
00001502: PUSH2 0x1509
00001505: PUSH2 0x1256
00001508: JUMP
00001509: JUMPDEST
0000150a: PUSH1 0x00
0000150c: PUSH2 0x1513
0000150f: PUSH2 0x114c
00001512: JUMP
00001513: JUMPDEST
00001514: PUSH1 0x77
00001516: SLOAD
00001517: SWAP1
00001518: SWAP2
00001519: POP
0000151a: PUSH1 0x00
0000151c: PUSH2 0x152b
0000151f: DUP4
00001520: DUP4
00001521: PUSH4 0xffffffff
00001526: PUSH2 0x1db1
00001529: AND
0000152a: JUMP
0000152b: JUMPDEST
0000152c: GT
0000152d: ISZERO
0000152e: PUSH2 0x1639
00001531: JUMPI
00001532: PUSH1 0x70
00001534: SLOAD
00001535: PUSH1 0x01
00001537: PUSH1 0x01
00001539: PUSH1 0xa0
0000153b: SHL
0000153c: SUB
0000153d: AND
0000153e: PUSH4 0x23b872dd
00001543: CALLER
00001544: ADDRESS
00001545: PUSH2 0x1554
00001548: DUP7
00001549: DUP7
0000154a: PUSH4 0xffffffff
0000154f: PUSH2 0x1db1
00001552: AND
00001553: JUMP
00001554: JUMPDEST
00001555: PUSH1 0x40
00001557: MLOAD
00001558: DUP5
00001559: PUSH4 0xffffffff
0000155e: AND
0000155f: PUSH1 0xe0
00001561: SHL
00001562: DUP2
00001563: MSTORE
00001564: PUSH1 0x04
00001566: ADD
00001567: DUP1
00001568: DUP5
00001569: PUSH1 0x01
0000156b: PUSH1 0x01
0000156d: PUSH1 0xa0
0000156f: SHL
00001570: SUB
00001571: AND
00001572: PUSH1 0x01
00001574: PUSH1 0x01
00001576: PUSH1 0xa0
00001578: SHL
00001579: SUB
0000157a: AND
0000157b: DUP2
0000157c: MSTORE
0000157d: PUSH1 0x20
0000157f: ADD
00001580: DUP4
00001581: PUSH1 0x01
00001583: PUSH1 0x01
00001585: PUSH1 0xa0
00001587: SHL
00001588: SUB
00001589: AND
0000158a: PUSH1 0x01
0000158c: PUSH1 0x01
0000158e: PUSH1 0xa0
00001590: SHL
00001591: SUB
00001592: AND
00001593: DUP2
00001594: MSTORE
00001595: PUSH1 0x20
00001597: ADD
00001598: DUP3
00001599: DUP2
0000159a: MSTORE
0000159b: PUSH1 0x20
0000159d: ADD
0000159e: SWAP4
0000159f: POP
000015a0: POP
000015a1: POP
000015a2: POP
000015a3: PUSH1 0x20
000015a5: PUSH1 0x40
000015a7: MLOAD
000015a8: DUP1
000015a9: DUP4
000015aa: SUB
000015ab: DUP2
000015ac: PUSH1 0x00
000015ae: DUP8
000015af: DUP1
000015b0: EXTCODESIZE
000015b1: ISZERO
000015b2: DUP1
000015b3: ISZERO
000015b4: PUSH2 0x15bc
000015b7: JUMPI
000015b8: PUSH1 0x00
000015ba: DUP1
000015bb: REVERT
000015bc: JUMPDEST
000015bd: POP
000015be: GAS
000015bf: CALL
000015c0: ISZERO
000015c1: DUP1
000015c2: ISZERO
000015c3: PUSH2 0x15d0
000015c6: JUMPI
000015c7: RETURNDATASIZE
000015c8: PUSH1 0x00
000015ca: DUP1
000015cb: RETURNDATACOPY
000015cc: RETURNDATASIZE
000015cd: PUSH1 0x00
000015cf: REVERT
000015d0: JUMPDEST
000015d1: POP
000015d2: POP
000015d3: POP
000015d4: POP
000015d5: PUSH1 0x40
000015d7: MLOAD
000015d8: RETURNDATASIZE
000015d9: PUSH1 0x20
000015db: DUP2
000015dc: LT
000015dd: ISZERO
000015de: PUSH2 0x15e6
000015e1: JUMPI
000015e2: PUSH1 0x00
000015e4: DUP1
000015e5: REVERT
000015e6: JUMPDEST
000015e7: POP
000015e8: MLOAD
000015e9: PUSH2 0x1639
000015ec: JUMPI
000015ed: PUSH1 0x40
000015ef: DUP1
000015f0: MLOAD
000015f1: PUSH3 0x461bcd
000015f5: PUSH1 0xe5
000015f7: SHL
000015f8: DUP2
000015f9: MSTORE
000015fa: PUSH1 0x20
000015fc: PUSH1 0x04
000015fe: DUP3
000015ff: ADD
00001600: MSTORE
00001601: PUSH1 0x1a
00001603: PUSH1 0x24
00001605: DUP3
00001606: ADD
00001607: MSTORE
00001608: PUSH32 0x696e73756666696369656e742043594320616c6c6f77616e6365000000000000
00001629: PUSH1 0x44
0000162b: DUP3
0000162c: ADD
0000162d: MSTORE
0000162e: SWAP1
0000162f: MLOAD
00001630: SWAP1
00001631: DUP2
00001632: SWAP1
00001633: SUB
00001634: PUSH1 0x64
00001636: ADD
00001637: SWAP1
00001638: REVERT
00001639: JUMPDEST
0000163a: DUP1
0000163b: ISZERO
0000163c: PUSH2 0x178a
0000163f: JUMPI
00001640: PUSH1 0x71
00001642: SLOAD
00001643: PUSH1 0x01
00001645: PUSH1 0x01
00001647: PUSH1 0xa0
00001649: SHL
0000164a: SUB
0000164b: AND
0000164c: DUP1
0000164d: PUSH2 0x1720
00001650: JUMPI
00001651: PUSH1 0x70
00001653: SLOAD
00001654: PUSH1 0x40
00001656: DUP1
00001657: MLOAD
00001658: PUSH4 0x0852cd8d
0000165d: PUSH1 0xe3
0000165f: SHL
00001660: DUP2
00001661: MSTORE
00001662: PUSH1 0x04
00001664: DUP2
00001665: ADD
00001666: DUP6
00001667: SWAP1
00001668: MSTORE
00001669: SWAP1
0000166a: MLOAD
0000166b: PUSH1 0x01
0000166d: PUSH1 0x01
0000166f: PUSH1 0xa0
00001671: SHL
00001672: SUB
00001673: SWAP1
00001674: SWAP3
00001675: AND
00001676: SWAP2
00001677: PUSH4 0x42966c68
0000167c: SWAP2
0000167d: PUSH1 0x24
0000167f: DUP1
00001680: DUP3
00001681: ADD
00001682: SWAP3
00001683: PUSH1 0x20
00001685: SWAP3
00001686: SWAP1
00001687: SWAP2
00001688: SWAP1
00001689: DUP3
0000168a: SWAP1
0000168b: SUB
0000168c: ADD
0000168d: DUP2
0000168e: PUSH1 0x00
00001690: DUP8
00001691: DUP1
00001692: EXTCODESIZE
00001693: ISZERO
00001694: DUP1
00001695: ISZERO
00001696: PUSH2 0x169e
00001699: JUMPI
0000169a: PUSH1 0x00
0000169c: DUP1
0000169d: REVERT
0000169e: JUMPDEST
0000169f: POP
000016a0: GAS
000016a1: CALL
000016a2: ISZERO
000016a3: DUP1
000016a4: ISZERO
000016a5: PUSH2 0x16b2
000016a8: JUMPI
000016a9: RETURNDATASIZE
000016aa: PUSH1 0x00
000016ac: DUP1
000016ad: RETURNDATACOPY
000016ae: RETURNDATASIZE
000016af: PUSH1 0x00
000016b1: REVERT
000016b2: JUMPDEST
000016b3: POP
000016b4: POP
000016b5: POP
000016b6: POP
000016b7: PUSH1 0x40
000016b9: MLOAD
000016ba: RETURNDATASIZE
000016bb: PUSH1 0x20
000016bd: DUP2
000016be: LT
000016bf: ISZERO
000016c0: PUSH2 0x16c8
000016c3: JUMPI
000016c4: PUSH1 0x00
000016c6: DUP1
000016c7: REVERT
000016c8: JUMPDEST
000016c9: POP
000016ca: MLOAD
000016cb: PUSH2 0x171b
000016ce: JUMPI
000016cf: PUSH1 0x40
000016d1: DUP1
000016d2: MLOAD
000016d3: PUSH3 0x461bcd
000016d7: PUSH1 0xe5
000016d9: SHL
000016da: DUP2
000016db: MSTORE
000016dc: PUSH1 0x20
000016de: PUSH1 0x04
000016e0: DUP3
000016e1: ADD
000016e2: MSTORE
000016e3: PUSH1 0x1c
000016e5: PUSH1 0x24
000016e7: DUP3
000016e8: ADD
000016e9: MSTORE
000016ea: PUSH32 0x6661696c656420746f206275726e20616e6f6e796d6974792066656500000000
0000170b: PUSH1 0x44
0000170d: DUP3
0000170e: ADD
0000170f: MSTORE
00001710: SWAP1
00001711: MLOAD
00001712: SWAP1
00001713: DUP2
00001714: SWAP1
00001715: SUB
00001716: PUSH1 0x64
00001718: ADD
00001719: SWAP1
0000171a: REVERT
0000171b: JUMPDEST
0000171c: PUSH2 0x1788
0000171f: JUMP
00001720: JUMPDEST
00001721: PUSH1 0x70
00001723: SLOAD
00001724: PUSH2 0x1737
00001727: SWAP1
00001728: PUSH1 0x01
0000172a: PUSH1 0x01
0000172c: PUSH1 0xa0
0000172e: SHL
0000172f: SUB
00001730: AND
00001731: DUP3
00001732: DUP5
00001733: PUSH2 0x1b18
00001736: JUMP
00001737: JUMPDEST
00001738: PUSH2 0x1788
0000173b: JUMPI
0000173c: PUSH1 0x40
0000173e: DUP1
0000173f: MLOAD
00001740: PUSH3 0x461bcd
00001744: PUSH1 0xe5
00001746: SHL
00001747: DUP2
00001748: MSTORE
00001749: PUSH1 0x20
0000174b: PUSH1 0x04
0000174d: DUP3
0000174e: ADD
0000174f: DUP2
00001750: SWAP1
00001751: MSTORE
00001752: PUSH1 0x24
00001754: DUP3
00001755: ADD
00001756: MSTORE
00001757: PUSH32 0x6661696c656420746f207472616e7366657220616e6f6e796d69747920666565
00001778: PUSH1 0x44
0000177a: DUP3
0000177b: ADD
0000177c: MSTORE
0000177d: SWAP1
0000177e: MLOAD
0000177f: SWAP1
00001780: DUP2
00001781: SWAP1
00001782: SUB
00001783: PUSH1 0x64
00001785: ADD
00001786: SWAP1
00001787: REVERT
00001788: JUMPDEST
00001789: POP
0000178a: JUMPDEST
0000178b: PUSH1 0x69
0000178d: SLOAD
0000178e: DUP1
0000178f: ISZERO
00001790: PUSH2 0x1863
00001793: JUMPI
00001794: PUSH1 0x6f
00001796: SLOAD
00001797: PUSH1 0x40
00001799: DUP1
0000179a: MLOAD
0000179b: PUSH4 0x23b872dd
000017a0: PUSH1 0xe0
000017a2: SHL
000017a3: DUP2
000017a4: MSTORE
000017a5: CALLER
000017a6: PUSH1 0x04
000017a8: DUP3
000017a9: ADD
000017aa: MSTORE
000017ab: ADDRESS
000017ac: PUSH1 0x24
000017ae: DUP3
000017af: ADD
000017b0: MSTORE
000017b1: PUSH1 0x44
000017b3: DUP2
000017b4: ADD
000017b5: DUP5
000017b6: SWAP1
000017b7: MSTORE
000017b8: SWAP1
000017b9: MLOAD
000017ba: PUSH1 0x01
000017bc: PUSH1 0x01
000017be: PUSH1 0xa0
000017c0: SHL
000017c1: SUB
000017c2: SWAP1
000017c3: SWAP3
000017c4: AND
000017c5: SWAP2
000017c6: PUSH4 0x23b872dd
000017cb: SWAP2
000017cc: PUSH1 0x64
000017ce: DUP1
000017cf: DUP3
000017d0: ADD
000017d1: SWAP3
000017d2: PUSH1 0x20
000017d4: SWAP3
000017d5: SWAP1
000017d6: SWAP2
000017d7: SWAP1
000017d8: DUP3
000017d9: SWAP1
000017da: SUB
000017db: ADD
000017dc: DUP2
000017dd: PUSH1 0x00
000017df: DUP8
000017e0: DUP1
000017e1: EXTCODESIZE
000017e2: ISZERO
000017e3: DUP1
000017e4: ISZERO
000017e5: PUSH2 0x17ed
000017e8: JUMPI
000017e9: PUSH1 0x00
000017eb: DUP1
000017ec: REVERT
000017ed: JUMPDEST
000017ee: POP
000017ef: GAS
000017f0: CALL
000017f1: ISZERO
000017f2: DUP1
000017f3: ISZERO
000017f4: PUSH2 0x1801
000017f7: JUMPI
000017f8: RETURNDATASIZE
000017f9: PUSH1 0x00
000017fb: DUP1
000017fc: RETURNDATACOPY
000017fd: RETURNDATASIZE
000017fe: PUSH1 0x00
00001800: REVERT
00001801: JUMPDEST
00001802: POP
00001803: POP
00001804: POP
00001805: POP
00001806: PUSH1 0x40
00001808: MLOAD
00001809: RETURNDATASIZE
0000180a: PUSH1 0x20
0000180c: DUP2
0000180d: LT
0000180e: ISZERO
0000180f: PUSH2 0x1817
00001812: JUMPI
00001813: PUSH1 0x00
00001815: DUP1
00001816: REVERT
00001817: JUMPDEST
00001818: POP
00001819: MLOAD
0000181a: PUSH2 0x1863
0000181d: JUMPI
0000181e: PUSH1 0x40
00001820: DUP1
00001821: MLOAD
00001822: PUSH3 0x461bcd
00001826: PUSH1 0xe5
00001828: SHL
00001829: DUP2
0000182a: MSTORE
0000182b: PUSH1 0x20
0000182d: PUSH1 0x04
0000182f: DUP3
00001830: ADD
00001831: MSTORE
00001832: PUSH1 0x16
00001834: PUSH1 0x24
00001836: DUP3
00001837: ADD
00001838: MSTORE
00001839: PUSH22 0x696e73756666696369656e7420616c6c6f77616e6365
00001850: PUSH1 0x50
00001852: SHL
00001853: PUSH1 0x44
00001855: DUP3
00001856: ADD
00001857: MSTORE
00001858: SWAP1
00001859: MLOAD
0000185a: SWAP1
0000185b: DUP2
0000185c: SWAP1
0000185d: SUB
0000185e: PUSH1 0x64
00001860: ADD
00001861: SWAP1
00001862: REVERT
00001863: JUMPDEST
00001864: PUSH1 0x76
00001866: DUP1
00001867: SLOAD
00001868: DUP5
00001869: ADD
0000186a: SWAP1
0000186b: SSTORE
0000186c: PUSH1 0x73
0000186e: DUP1
0000186f: SLOAD
00001870: PUSH1 0x01
00001872: ADD
00001873: SWAP1
00001874: SSTORE
00001875: DUP5
00001876: ISZERO
00001877: PUSH2 0x190c
0000187a: JUMPI
0000187b: PUSH1 0x40
0000187d: MLOAD
0000187e: PUSH1 0x00
00001880: SWAP1
00001881: CALLER
00001882: SWAP1
00001883: DUP8
00001884: SWAP1
00001885: DUP4
00001886: DUP2
00001887: DUP2
00001888: DUP2
00001889: DUP6
0000188a: DUP8
0000188b: GAS
0000188c: CALL
0000188d: SWAP3
0000188e: POP
0000188f: POP
00001890: POP
00001891: RETURNDATASIZE
00001892: DUP1
00001893: PUSH1 0x00
00001895: DUP2
00001896: EQ
00001897: PUSH2 0x18bc
0000189a: JUMPI
0000189b: PUSH1 0x40
0000189d: MLOAD
0000189e: SWAP2
0000189f: POP
000018a0: PUSH1 0x1f
000018a2: NOT
000018a3: PUSH1 0x3f
000018a5: RETURNDATASIZE
000018a6: ADD
000018a7: AND
000018a8: DUP3
000018a9: ADD
000018aa: PUSH1 0x40
000018ac: MSTORE
000018ad: RETURNDATASIZE
000018ae: DUP3
000018af: MSTORE
000018b0: RETURNDATASIZE
000018b1: PUSH1 0x00
000018b3: PUSH1 0x20
000018b5: DUP5
000018b6: ADD
000018b7: RETURNDATACOPY
000018b8: PUSH2 0x18c1
000018bb: JUMP
000018bc: JUMPDEST
000018bd: PUSH1 0x60
000018bf: SWAP2
000018c0: POP
000018c1: JUMPDEST
000018c2: POP
000018c3: POP
000018c4: SWAP1
000018c5: POP
000018c6: DUP1
000018c7: PUSH2 0x190a
000018ca: JUMPI
000018cb: PUSH1 0x40
000018cd: DUP1
000018ce: MLOAD
000018cf: PUSH3 0x461bcd
000018d3: PUSH1 0xe5
000018d5: SHL
000018d6: DUP2
000018d7: MSTORE
000018d8: PUSH1 0x20
000018da: PUSH1 0x04
000018dc: DUP3
000018dd: ADD
000018de: MSTORE
000018df: PUSH1 0x10
000018e1: PUSH1 0x24
000018e3: DUP3
000018e4: ADD
000018e5: MSTORE
000018e6: PUSH16 0x19985a5b1959081d1bc81c99599d5b99
000018f7: PUSH1 0x82
000018f9: SHL
000018fa: PUSH1 0x44
000018fc: DUP3
000018fd: ADD
000018fe: MSTORE
000018ff: SWAP1
00001900: MLOAD
00001901: SWAP1
00001902: DUP2
00001903: SWAP1
00001904: SUB
00001905: PUSH1 0x64
00001907: ADD
00001908: SWAP1
00001909: REVERT
0000190a: JUMPDEST
0000190b: POP
0000190c: JUMPDEST
0000190d: PUSH1 0x40
0000190f: DUP1
00001910: MLOAD
00001911: PUSH4 0xffffffff
00001916: DUP7
00001917: AND
00001918: DUP2
00001919: MSTORE
0000191a: TIMESTAMP
0000191b: PUSH1 0x20
0000191d: DUP3
0000191e: ADD
0000191f: MSTORE
00001920: DUP1
00001921: DUP3
00001922: ADD
00001923: DUP6
00001924: SWAP1
00001925: MSTORE
00001926: PUSH1 0x60
00001928: DUP2
00001929: ADD
0000192a: DUP5
0000192b: SWAP1
0000192c: MSTORE
0000192d: SWAP1
0000192e: MLOAD
0000192f: DUP9
00001930: SWAP2
00001931: PUSH32 0xcb186cc0add5be357ae2d3845e42be2ffbed8cb23b60f1b058ea371adff0a363
00001952: SWAP2
00001953: SWAP1
00001954: DUP2
00001955: SWAP1
00001956: SUB
00001957: PUSH1 0x80
00001959: ADD
0000195a: SWAP1
0000195b: LOG2
0000195c: POP
0000195d: POP
0000195e: POP
0000195f: POP
00001960: POP
00001961: PUSH1 0x68
00001963: SLOAD
00001964: DUP2
00001965: EQ
00001966: PUSH2 0x19b6
00001969: JUMPI
0000196a: PUSH1 0x40
0000196c: DUP1
0000196d: MLOAD
0000196e: PUSH3 0x461bcd
00001972: PUSH1 0xe5
00001974: SHL
00001975: DUP2
00001976: MSTORE
00001977: PUSH1 0x20
00001979: PUSH1 0x04
0000197b: DUP3
0000197c: ADD
0000197d: MSTORE
0000197e: PUSH1 0x1f
00001980: PUSH1 0x24
00001982: DUP3
00001983: ADD
00001984: MSTORE
00001985: PUSH32 0x5265656e7472616e637947756172643a207265656e7472616e742063616c6c00
000019a6: PUSH1 0x44
000019a8: DUP3
000019a9: ADD
000019aa: MSTORE
000019ab: SWAP1
000019ac: MLOAD
000019ad: SWAP1
000019ae: DUP2
000019af: SWAP1
000019b0: SUB
000019b1: PUSH1 0x64
000019b3: ADD
000019b4: SWAP1
000019b5: REVERT
000019b6: JUMPDEST
000019b7: POP
000019b8: POP
000019b9: JUMP
000019ba: JUMPDEST
000019bb: PUSH1 0x03
000019bd: SLOAD
000019be: PUSH1 0x00
000019c0: SWAP1
000019c1: PUSH1 0x04
000019c3: SWAP1
000019c4: PUSH4 0xffffffff
000019c9: AND
000019ca: PUSH1 0x64
000019cc: DUP2
000019cd: LT
000019ce: PUSH2 0x19d3
000019d1: JUMPI
000019d2: INVALID
000019d3: JUMPDEST
000019d4: ADD
000019d5: SLOAD
000019d6: SWAP1
000019d7: POP
000019d8: SWAP1
000019d9: JUMP
000019da: JUMPDEST
000019db: PUSH1 0x72
000019dd: SLOAD
000019de: PUSH1 0x01
000019e0: PUSH1 0x01
000019e2: PUSH1 0xa0
000019e4: SHL
000019e5: SUB
000019e6: AND
000019e7: CALLER
000019e8: EQ
000019e9: PUSH2 0x1a23
000019ec: JUMPI
000019ed: PUSH1 0x40
000019ef: MLOAD
000019f0: PUSH3 0x461bcd
000019f4: PUSH1 0xe5
000019f6: SHL
000019f7: DUP2
000019f8: MSTORE
000019f9: PUSH1 0x04
000019fb: ADD
000019fc: DUP1
000019fd: DUP1
000019fe: PUSH1 0x20
00001a00: ADD
00001a01: DUP3
00001a02: DUP2
00001a03: SUB
00001a04: DUP3
00001a05: MSTORE
00001a06: PUSH1 0x2b
00001a08: DUP2
00001a09: MSTORE
00001a0a: PUSH1 0x20
00001a0c: ADD
00001a0d: DUP1
00001a0e: PUSH2 0x201e
00001a11: PUSH1 0x2b
00001a13: SWAP2
00001a14: CODECOPY
00001a15: PUSH1 0x40
00001a17: ADD
00001a18: SWAP2
00001a19: POP
00001a1a: POP
00001a1b: PUSH1 0x40
00001a1d: MLOAD
00001a1e: DUP1
00001a1f: SWAP2
00001a20: SUB
00001a21: SWAP1
00001a22: REVERT
00001a23: JUMPDEST
00001a24: PUSH2 0x1a2b
00001a27: PUSH2 0x1256
00001a2a: JUMP
00001a2b: JUMPDEST
00001a2c: PUSH1 0x75
00001a2e: SLOAD
00001a2f: PUSH1 0x40
00001a31: DUP1
00001a32: MLOAD
00001a33: SWAP2
00001a34: DUP3
00001a35: MSTORE
00001a36: PUSH1 0x20
00001a38: DUP3
00001a39: ADD
00001a3a: DUP4
00001a3b: SWAP1
00001a3c: MSTORE
00001a3d: DUP1
00001a3e: MLOAD
00001a3f: PUSH32 0x842e6f2b482c6f39924c8be7b71d40631362ef78f833f0371ceb2649edc5fb10
00001a60: SWAP3
00001a61: DUP2
00001a62: SWAP1
00001a63: SUB
00001a64: SWAP1
00001a65: SWAP2
00001a66: ADD
00001a67: SWAP1
00001a68: LOG1
00001a69: PUSH1 0x75
00001a6b: SSTORE
00001a6c: JUMP
00001a6d: JUMPDEST
00001a6e: PUSH1 0x04
00001a70: DUP2
00001a71: PUSH1 0x64
00001a73: DUP2
00001a74: LT
00001a75: PUSH2 0x1a7a
00001a78: JUMPI
00001a79: INVALID
00001a7a: JUMPDEST
00001a7b: ADD
00001a7c: SLOAD
00001a7d: SWAP1
00001a7e: POP
00001a7f: DUP2
00001a80: JUMP
00001a81: JUMPDEST
00001a82: PUSH1 0x64
00001a84: DUP2
00001a85: JUMP
00001a86: JUMPDEST
00001a87: PUSH1 0x6b
00001a89: SLOAD
00001a8a: DUP2
00001a8b: JUMP
00001a8c: JUMPDEST
00001a8d: PUSH1 0x00
00001a8f: SWAP1
00001a90: DUP2
00001a91: MSTORE
00001a92: PUSH1 0x6c
00001a94: PUSH1 0x20
00001a96: MSTORE
00001a97: PUSH1 0x40
00001a99: SWAP1
00001a9a: KECCAK256
00001a9b: SLOAD
00001a9c: PUSH1 0xff
00001a9e: AND
00001a9f: SWAP1
00001aa0: JUMP
00001aa1: JUMPDEST
00001aa2: PUSH1 0x02
00001aa4: DUP2
00001aa5: DUP2
00001aa6: SLOAD
00001aa7: DUP2
00001aa8: LT
00001aa9: PUSH2 0x1aae
00001aac: JUMPI
00001aad: INVALID
00001aae: JUMPDEST
00001aaf: PUSH1 0x00
00001ab1: SWAP2
00001ab2: DUP3
00001ab3: MSTORE
00001ab4: PUSH1 0x20
00001ab6: SWAP1
00001ab7: SWAP2
00001ab8: KECCAK256
00001ab9: ADD
00001aba: SLOAD
00001abb: SWAP1
00001abc: POP
00001abd: DUP2
00001abe: JUMP
00001abf: JUMPDEST
00001ac0: PUSH32 0x2fe54c60d3acabf3343a35b6eba15db4821b340f76e741e2249685ed4899af6c
00001ae1: DUP2
00001ae2: JUMP
00001ae3: JUMPDEST
00001ae4: PUSH1 0x01
00001ae6: DUP2
00001ae7: DUP2
00001ae8: SLOAD
00001ae9: DUP2
00001aea: LT
00001aeb: PUSH2 0x1aae
00001aee: JUMPI
00001aef: INVALID
00001af0: JUMPDEST
00001af1: PUSH1 0x6f
00001af3: SLOAD
00001af4: PUSH1 0x01
00001af6: PUSH1 0x01
00001af8: PUSH1 0xa0
00001afa: SHL
00001afb: SUB
00001afc: AND
00001afd: DUP2
00001afe: JUMP
00001aff: JUMPDEST
00001b00: PUSH1 0x03
00001b02: SLOAD
00001b03: PUSH1 0x01
00001b05: PUSH1 0x20
00001b07: SHL
00001b08: SWAP1
00001b09: DIV
00001b0a: PUSH4 0xffffffff
00001b0f: AND
00001b10: DUP2
00001b11: JUMP
00001b12: JUMPDEST
00001b13: EXTCODESIZE
00001b14: ISZERO
00001b15: ISZERO
00001b16: SWAP1
00001b17: JUMP
00001b18: JUMPDEST
00001b19: PUSH1 0x40
00001b1b: DUP1
00001b1c: MLOAD
00001b1d: PUSH4 0x70a08231
00001b22: PUSH1 0xe0
00001b24: SHL
00001b25: DUP2
00001b26: MSTORE
00001b27: ADDRESS
00001b28: PUSH1 0x04
00001b2a: DUP3
00001b2b: ADD
00001b2c: MSTORE
00001b2d: SWAP1
00001b2e: MLOAD
00001b2f: PUSH1 0x00
00001b31: SWAP2
00001b32: DUP3
00001b33: SWAP2
00001b34: PUSH1 0x01
00001b36: PUSH1 0x01
00001b38: PUSH1 0xa0
00001b3a: SHL
00001b3b: SUB
00001b3c: DUP8
00001b3d: AND
00001b3e: SWAP2
00001b3f: PUSH4 0x70a08231
00001b44: SWAP2
00001b45: PUSH1 0x24
00001b47: DUP1
00001b48: DUP4
00001b49: ADD
00001b4a: SWAP3
00001b4b: PUSH1 0x20
00001b4d: SWAP3
00001b4e: SWAP2
00001b4f: SWAP1
00001b50: DUP3
00001b51: SWAP1
00001b52: SUB
00001b53: ADD
00001b54: DUP2
00001b55: DUP7
00001b56: DUP1
00001b57: EXTCODESIZE
00001b58: ISZERO
00001b59: DUP1
00001b5a: ISZERO
00001b5b: PUSH2 0x1b63
00001b5e: JUMPI
00001b5f: PUSH1 0x00
00001b61: DUP1
00001b62: REVERT
00001b63: JUMPDEST
00001b64: POP
00001b65: GAS
00001b66: STATICCALL
00001b67: ISZERO
00001b68: DUP1
00001b69: ISZERO
00001b6a: PUSH2 0x1b77
00001b6d: JUMPI
00001b6e: RETURNDATASIZE
00001b6f: PUSH1 0x00
00001b71: DUP1
00001b72: RETURNDATACOPY
00001b73: RETURNDATASIZE
00001b74: PUSH1 0x00
00001b76: REVERT
00001b77: JUMPDEST
00001b78: POP
00001b79: POP
00001b7a: POP
00001b7b: POP
00001b7c: PUSH1 0x40
00001b7e: MLOAD
00001b7f: RETURNDATASIZE
00001b80: PUSH1 0x20
00001b82: DUP2
00001b83: LT
00001b84: ISZERO
00001b85: PUSH2 0x1b8d
00001b88: JUMPI
00001b89: PUSH1 0x00
00001b8b: DUP1
00001b8c: REVERT
00001b8d: JUMPDEST
00001b8e: POP
00001b8f: MLOAD
00001b90: SWAP1
00001b91: POP
00001b92: DUP1
00001b93: DUP4
00001b94: GT
00001b95: ISZERO
00001b96: PUSH2 0x1c2e
00001b99: JUMPI
00001b9a: DUP5
00001b9b: PUSH1 0x01
00001b9d: PUSH1 0x01
00001b9f: PUSH1 0xa0
00001ba1: SHL
00001ba2: SUB
00001ba3: AND
00001ba4: PUSH4 0xa9059cbb
00001ba9: DUP6
00001baa: DUP4
00001bab: PUSH1 0x40
00001bad: MLOAD
00001bae: DUP4
00001baf: PUSH4 0xffffffff
00001bb4: AND
00001bb5: PUSH1 0xe0
00001bb7: SHL
00001bb8: DUP2
00001bb9: MSTORE
00001bba: PUSH1 0x04
00001bbc: ADD
00001bbd: DUP1
00001bbe: DUP4
00001bbf: PUSH1 0x01
00001bc1: PUSH1 0x01
00001bc3: PUSH1 0xa0
00001bc5: SHL
00001bc6: SUB
00001bc7: AND
00001bc8: PUSH1 0x01
00001bca: PUSH1 0x01
00001bcc: PUSH1 0xa0
00001bce: SHL
00001bcf: SUB
00001bd0: AND
00001bd1: DUP2
00001bd2: MSTORE
00001bd3: PUSH1 0x20
00001bd5: ADD
00001bd6: DUP3
00001bd7: DUP2
00001bd8: MSTORE
00001bd9: PUSH1 0x20
00001bdb: ADD
00001bdc: SWAP3
00001bdd: POP
00001bde: POP
00001bdf: POP
00001be0: PUSH1 0x20
00001be2: PUSH1 0x40
00001be4: MLOAD
00001be5: DUP1
00001be6: DUP4
00001be7: SUB
00001be8: DUP2
00001be9: PUSH1 0x00
00001beb: DUP8
00001bec: DUP1
00001bed: EXTCODESIZE
00001bee: ISZERO
00001bef: DUP1
00001bf0: ISZERO
00001bf1: PUSH2 0x1bf9
00001bf4: JUMPI
00001bf5: PUSH1 0x00
00001bf7: DUP1
00001bf8: REVERT
00001bf9: JUMPDEST
00001bfa: POP
00001bfb: GAS
00001bfc: CALL
00001bfd: ISZERO
00001bfe: DUP1
00001bff: ISZERO
00001c00: PUSH2 0x1c0d
00001c03: JUMPI
00001c04: RETURNDATASIZE
00001c05: PUSH1 0x00
00001c07: DUP1
00001c08: RETURNDATACOPY
00001c09: RETURNDATASIZE
00001c0a: PUSH1 0x00
00001c0c: REVERT
00001c0d: JUMPDEST
00001c0e: POP
00001c0f: POP
00001c10: POP
00001c11: POP
00001c12: PUSH1 0x40
00001c14: MLOAD
00001c15: RETURNDATASIZE
00001c16: PUSH1 0x20
00001c18: DUP2
00001c19: LT
00001c1a: ISZERO
00001c1b: PUSH2 0x1c23
00001c1e: JUMPI
00001c1f: PUSH1 0x00
00001c21: DUP1
00001c22: REVERT
00001c23: JUMPDEST
00001c24: POP
00001c25: MLOAD
00001c26: SWAP2
00001c27: POP
00001c28: PUSH2 0x1cbe
00001c2b: SWAP1
00001c2c: POP
00001c2d: JUMP
00001c2e: JUMPDEST
00001c2f: DUP5
00001c30: PUSH1 0x01
00001c32: PUSH1 0x01
00001c34: PUSH1 0xa0
00001c36: SHL
00001c37: SUB
00001c38: AND
00001c39: PUSH4 0xa9059cbb
00001c3e: DUP6
00001c3f: DUP6
00001c40: PUSH1 0x40
00001c42: MLOAD
00001c43: DUP4
00001c44: PUSH4 0xffffffff
00001c49: AND
00001c4a: PUSH1 0xe0
00001c4c: SHL
00001c4d: DUP2
00001c4e: MSTORE
00001c4f: PUSH1 0x04
00001c51: ADD
00001c52: DUP1
00001c53: DUP4
00001c54: PUSH1 0x01
00001c56: PUSH1 0x01
00001c58: PUSH1 0xa0
00001c5a: SHL
00001c5b: SUB
00001c5c: AND
00001c5d: PUSH1 0x01
00001c5f: PUSH1 0x01
00001c61: PUSH1 0xa0
00001c63: SHL
00001c64: SUB
00001c65: AND
00001c66: DUP2
00001c67: MSTORE
00001c68: PUSH1 0x20
00001c6a: ADD
00001c6b: DUP3
00001c6c: DUP2
00001c6d: MSTORE
00001c6e: PUSH1 0x20
00001c70: ADD
00001c71: SWAP3
00001c72: POP
00001c73: POP
00001c74: POP
00001c75: PUSH1 0x20
00001c77: PUSH1 0x40
00001c79: MLOAD
00001c7a: DUP1
00001c7b: DUP4
00001c7c: SUB
00001c7d: DUP2
00001c7e: PUSH1 0x00
00001c80: DUP8
00001c81: DUP1
00001c82: EXTCODESIZE
00001c83: ISZERO
00001c84: DUP1
00001c85: ISZERO
00001c86: PUSH2 0x1c8e
00001c89: JUMPI
00001c8a: PUSH1 0x00
00001c8c: DUP1
00001c8d: REVERT
00001c8e: JUMPDEST
00001c8f: POP
00001c90: GAS
00001c91: CALL
00001c92: ISZERO
00001c93: DUP1
00001c94: ISZERO
00001c95: PUSH2 0x1ca2
00001c98: JUMPI
00001c99: RETURNDATASIZE
00001c9a: PUSH1 0x00
00001c9c: DUP1
00001c9d: RETURNDATACOPY
00001c9e: RETURNDATASIZE
00001c9f: PUSH1 0x00
00001ca1: REVERT
00001ca2: JUMPDEST
00001ca3: POP
00001ca4: POP
00001ca5: POP
00001ca6: POP
00001ca7: PUSH1 0x40
00001ca9: MLOAD
00001caa: RETURNDATASIZE
00001cab: PUSH1 0x20
00001cad: DUP2
00001cae: LT
00001caf: ISZERO
00001cb0: PUSH2 0x1cb8
00001cb3: JUMPI
00001cb4: PUSH1 0x00
00001cb6: DUP1
00001cb7: REVERT
00001cb8: JUMPDEST
00001cb9: POP
00001cba: MLOAD
00001cbb: SWAP2
00001cbc: POP
00001cbd: POP
00001cbe: JUMPDEST
00001cbf: SWAP4
00001cc0: SWAP3
00001cc1: POP
00001cc2: POP
00001cc3: POP
00001cc4: JUMP
00001cc5: JUMPDEST
00001cc6: PUSH1 0x00
00001cc8: DUP2
00001cc9: DUP4
00001cca: DUP2
00001ccb: PUSH2 0x1cd0
00001cce: JUMPI
00001ccf: INVALID
00001cd0: JUMPDEST
00001cd1: DIV
00001cd2: SWAP4
00001cd3: SWAP3
00001cd4: POP
00001cd5: POP
00001cd6: POP
00001cd7: JUMP
00001cd8: JUMPDEST
00001cd9: PUSH1 0x00
00001cdb: DUP1
00001cdc: PUSH2 0x1d02
00001cdf: PUSH1 0x75
00001ce1: SLOAD
00001ce2: PUSH2 0x1cf6
00001ce5: PUSH1 0x74
00001ce7: SLOAD
00001ce8: NUMBER
00001ce9: PUSH2 0x1f55
00001cec: SWAP1
00001ced: SWAP2
00001cee: SWAP1
00001cef: PUSH4 0xffffffff
00001cf4: AND
00001cf5: JUMP
00001cf6: JUMPDEST
00001cf7: SWAP1
00001cf8: PUSH4 0xffffffff
00001cfd: PUSH2 0x1f67
00001d00: AND
00001d01: JUMP
00001d02: JUMPDEST
00001d03: PUSH1 0x76
00001d05: SLOAD
00001d06: PUSH1 0x70
00001d08: SLOAD
00001d09: PUSH1 0x40
00001d0b: DUP1
00001d0c: MLOAD
00001d0d: PUSH4 0x70a08231
00001d12: PUSH1 0xe0
00001d14: SHL
00001d15: DUP2
00001d16: MSTORE
00001d17: ADDRESS
00001d18: PUSH1 0x04
00001d1a: DUP3
00001d1b: ADD
00001d1c: MSTORE
00001d1d: SWAP1
00001d1e: MLOAD
00001d1f: SWAP4
00001d20: SWAP5
00001d21: POP
00001d22: PUSH1 0x00
00001d24: SWAP4
00001d25: PUSH2 0x1d90
00001d28: SWAP4
00001d29: SWAP3
00001d2a: PUSH1 0x01
00001d2c: PUSH1 0x01
00001d2e: PUSH1 0xa0
00001d30: SHL
00001d31: SUB
00001d32: AND
00001d33: SWAP2
00001d34: PUSH4 0x70a08231
00001d39: SWAP2
00001d3a: PUSH1 0x24
00001d3c: DUP1
00001d3d: DUP4
00001d3e: ADD
00001d3f: SWAP3
00001d40: PUSH1 0x20
00001d42: SWAP3
00001d43: SWAP2
00001d44: SWAP1
00001d45: DUP3
00001d46: SWAP1
00001d47: SUB
00001d48: ADD
00001d49: DUP2
00001d4a: DUP7
00001d4b: DUP1
00001d4c: EXTCODESIZE
00001d4d: ISZERO
00001d4e: DUP1
00001d4f: ISZERO
00001d50: PUSH2 0x1d58
00001d53: JUMPI
00001d54: PUSH1 0x00
00001d56: DUP1
00001d57: REVERT
00001d58: JUMPDEST
00001d59: POP
00001d5a: GAS
00001d5b: STATICCALL
00001d5c: ISZERO
00001d5d: DUP1
00001d5e: ISZERO
00001d5f: PUSH2 0x1d6c
00001d62: JUMPI
00001d63: RETURNDATASIZE
00001d64: PUSH1 0x00
00001d66: DUP1
00001d67: RETURNDATACOPY
00001d68: RETURNDATASIZE
00001d69: PUSH1 0x00
00001d6b: REVERT
00001d6c: JUMPDEST
00001d6d: POP
00001d6e: POP
00001d6f: POP
00001d70: POP
00001d71: PUSH1 0x40
00001d73: MLOAD
00001d74: RETURNDATASIZE
00001d75: PUSH1 0x20
00001d77: DUP2
00001d78: LT
00001d79: ISZERO
00001d7a: PUSH2 0x1d82
00001d7d: JUMPI
00001d7e: PUSH1 0x00
00001d80: DUP1
00001d81: REVERT
00001d82: JUMPDEST
00001d83: POP
00001d84: MLOAD
00001d85: SWAP1
00001d86: PUSH4 0xffffffff
00001d8b: PUSH2 0x1f55
00001d8e: AND
00001d8f: JUMP
00001d90: JUMPDEST
00001d91: SWAP1
00001d92: POP
00001d93: DUP2
00001d94: DUP2
00001d95: LT
00001d96: ISZERO
00001d97: PUSH2 0x1d9e
00001d9a: JUMPI
00001d9b: DUP1
00001d9c: SWAP2
00001d9d: POP
00001d9e: JUMPDEST
00001d9f: PUSH1 0x76
00001da1: SLOAD
00001da2: PUSH2 0x11b2
00001da5: SWAP1
00001da6: DUP4
00001da7: PUSH4 0xffffffff
00001dac: PUSH2 0x1db1
00001daf: AND
00001db0: JUMP
00001db1: JUMPDEST
00001db2: DUP2
00001db3: DUP2
00001db4: ADD
00001db5: DUP3
00001db6: DUP2
00001db7: LT
00001db8: ISZERO
00001db9: PUSH2 0x10fe
00001dbc: JUMPI
00001dbd: INVALID
00001dbe: JUMPDEST
00001dbf: PUSH1 0x03
00001dc1: SLOAD
00001dc2: PUSH1 0x00
00001dc4: DUP1
00001dc5: SLOAD
00001dc6: SWAP1
00001dc7: SWAP2
00001dc8: PUSH4 0xffffffff
00001dcd: PUSH1 0x01
00001dcf: PUSH1 0x20
00001dd1: SHL
00001dd2: SWAP1
00001dd3: SWAP2
00001dd4: DIV
00001dd5: DUP2
00001dd6: AND
00001dd7: SWAP2
00001dd8: DUP2
00001dd9: AND
00001dda: PUSH1 0x02
00001ddc: EXP
00001ddd: AND
00001dde: DUP2
00001ddf: EQ
00001de0: ISZERO
00001de1: PUSH2 0x1e1b
00001de4: JUMPI
00001de5: PUSH1 0x40
00001de7: MLOAD
00001de8: PUSH3 0x461bcd
00001dec: PUSH1 0xe5
00001dee: SHL
00001def: DUP2
00001df0: MSTORE
00001df1: PUSH1 0x04
00001df3: ADD
00001df4: DUP1
00001df5: DUP1
00001df6: PUSH1 0x20
00001df8: ADD
00001df9: DUP3
00001dfa: DUP2
00001dfb: SUB
00001dfc: DUP3
00001dfd: MSTORE
00001dfe: PUSH1 0x2f
00001e00: DUP2
00001e01: MSTORE
00001e02: PUSH1 0x20
00001e04: ADD
00001e05: DUP1
00001e06: PUSH2 0x1f8d
00001e09: PUSH1 0x2f
00001e0b: SWAP2
00001e0c: CODECOPY
00001e0d: PUSH1 0x40
00001e0f: ADD
00001e10: SWAP2
00001e11: POP
00001e12: POP
00001e13: PUSH1 0x40
00001e15: MLOAD
00001e16: DUP1
00001e17: SWAP2
00001e18: SUB
00001e19: SWAP1
00001e1a: REVERT
00001e1b: JUMPDEST
00001e1c: PUSH1 0x03
00001e1e: DUP1
00001e1f: SLOAD
00001e20: PUSH4 0xffffffff
00001e25: PUSH1 0x01
00001e27: PUSH1 0x20
00001e29: SHL
00001e2a: DUP1
00001e2b: DUP4
00001e2c: DIV
00001e2d: DUP3
00001e2e: AND
00001e2f: PUSH1 0x01
00001e31: ADD
00001e32: SWAP1
00001e33: SWAP2
00001e34: AND
00001e35: MUL
00001e36: PUSH8 0xffffffff00000000
00001e3f: NOT
00001e40: SWAP1
00001e41: SWAP2
00001e42: AND
00001e43: OR
00001e44: SWAP1
00001e45: SSTORE
00001e46: DUP3
00001e47: PUSH1 0x00
00001e49: DUP1
00001e4a: DUP1
00001e4b: JUMPDEST
00001e4c: PUSH1 0x00
00001e4e: SLOAD
00001e4f: PUSH4 0xffffffff
00001e54: SWAP1
00001e55: DUP2
00001e56: AND
00001e57: SWAP1
00001e58: DUP3
00001e59: AND
00001e5a: LT
00001e5b: ISZERO
00001e5c: PUSH2 0x1ef3
00001e5f: JUMPI
00001e60: PUSH1 0x01
00001e62: DUP6
00001e63: AND
00001e64: PUSH2 0x1eaf
00001e67: JUMPI
00001e68: DUP4
00001e69: SWAP3
00001e6a: POP
00001e6b: PUSH1 0x02
00001e6d: DUP2
00001e6e: PUSH4 0xffffffff
00001e73: AND
00001e74: DUP2
00001e75: SLOAD
00001e76: DUP2
00001e77: LT
00001e78: PUSH2 0x1e7d
00001e7b: JUMPI
00001e7c: INVALID
00001e7d: JUMPDEST
00001e7e: SWAP1
00001e7f: PUSH1 0x00
00001e81: MSTORE
00001e82: PUSH1 0x20
00001e84: PUSH1 0x00
00001e86: KECCAK256
00001e87: ADD
00001e88: SLOAD
00001e89: SWAP2
00001e8a: POP
00001e8b: DUP4
00001e8c: PUSH1 0x01
00001e8e: DUP3
00001e8f: PUSH4 0xffffffff
00001e94: AND
00001e95: DUP2
00001e96: SLOAD
00001e97: DUP2
00001e98: LT
00001e99: PUSH2 0x1e9e
00001e9c: JUMPI
00001e9d: INVALID
00001e9e: JUMPDEST
00001e9f: PUSH1 0x00
00001ea1: SWAP2
00001ea2: DUP3
00001ea3: MSTORE
00001ea4: PUSH1 0x20
00001ea6: SWAP1
00001ea7: SWAP2
00001ea8: KECCAK256
00001ea9: ADD
00001eaa: SSTORE
00001eab: PUSH2 0x1ed3
00001eae: JUMP
00001eaf: JUMPDEST
00001eb0: PUSH1 0x01
00001eb2: DUP2
00001eb3: PUSH4 0xffffffff
00001eb8: AND
00001eb9: DUP2
00001eba: SLOAD
00001ebb: DUP2
00001ebc: LT
00001ebd: PUSH2 0x1ec2
00001ec0: JUMPI
00001ec1: INVALID
00001ec2: JUMPDEST
00001ec3: SWAP1
00001ec4: PUSH1 0x00
00001ec6: MSTORE
00001ec7: PUSH1 0x20
00001ec9: PUSH1 0x00
00001ecb: KECCAK256
00001ecc: ADD
00001ecd: SLOAD
00001ece: SWAP3
00001ecf: POP
00001ed0: DUP4
00001ed1: SWAP2
00001ed2: POP
00001ed3: JUMPDEST
00001ed4: PUSH2 0x1edd
00001ed7: DUP4
00001ed8: DUP4
00001ed9: PUSH2 0x0f21
00001edc: JUMP
00001edd: JUMPDEST
00001ede: SWAP4
00001edf: POP
00001ee0: PUSH1 0x02
00001ee2: PUSH4 0xffffffff
00001ee7: DUP7
00001ee8: AND
00001ee9: DIV
00001eea: SWAP5
00001eeb: POP
00001eec: PUSH1 0x01
00001eee: ADD
00001eef: PUSH2 0x1e4b
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: POP
00001ef5: PUSH1 0x03
00001ef7: SLOAD
00001ef8: PUSH1 0x64
00001efa: SWAP1
00001efb: PUSH4 0xffffffff
00001f00: SWAP1
00001f01: DUP2
00001f02: AND
00001f03: PUSH1 0x01
00001f05: ADD
00001f06: AND
00001f07: PUSH1 0x03
00001f09: DUP1
00001f0a: SLOAD
00001f0b: PUSH4 0xffffffff
00001f10: NOT
00001f11: AND
00001f12: SWAP3
00001f13: SWAP1
00001f14: SWAP2
00001f15: MOD
00001f16: PUSH4 0xffffffff
00001f1b: SWAP1
00001f1c: DUP2
00001f1d: AND
00001f1e: SWAP3
00001f1f: SWAP1
00001f20: SWAP3
00001f21: OR
00001f22: SWAP1
00001f23: DUP2
00001f24: SWAP1
00001f25: SSTORE
00001f26: DUP5
00001f27: SWAP2
00001f28: PUSH1 0x04
00001f2a: SWAP2
00001f2b: AND
00001f2c: PUSH1 0x64
00001f2e: DUP2
00001f2f: LT
00001f30: PUSH2 0x1f35
00001f33: JUMPI
00001f34: INVALID
00001f35: JUMPDEST
00001f36: ADD
00001f37: SSTORE
00001f38: POP
00001f39: POP
00001f3a: PUSH1 0x03
00001f3c: SLOAD
00001f3d: PUSH1 0x01
00001f3f: PUSH1 0x20
00001f41: SHL
00001f42: SWAP1
00001f43: DIV
00001f44: PUSH4 0xffffffff
00001f49: AND
00001f4a: PUSH1 0x00
00001f4c: NOT
00001f4d: ADD
00001f4e: SWAP5
00001f4f: SWAP4
00001f50: POP
00001f51: POP
00001f52: POP
00001f53: POP
00001f54: JUMP
00001f55: JUMPDEST
00001f56: PUSH1 0x00
00001f58: DUP3
00001f59: DUP3
00001f5a: GT
00001f5b: ISZERO
00001f5c: PUSH2 0x1f61
00001f5f: JUMPI
00001f60: INVALID
00001f61: JUMPDEST
00001f62: POP
00001f63: SWAP1
00001f64: SUB
00001f65: SWAP1
00001f66: JUMP
00001f67: JUMPDEST
00001f68: PUSH1 0x00
00001f6a: DUP3
00001f6b: PUSH2 0x1f76
00001f6e: JUMPI
00001f6f: POP
00001f70: PUSH1 0x00
00001f72: PUSH2 0x10fe
00001f75: JUMP
00001f76: JUMPDEST
00001f77: POP
00001f78: DUP2
00001f79: DUP2
00001f7a: MUL
00001f7b: DUP2
00001f7c: DUP4
00001f7d: DUP3
00001f7e: DUP2
00001f7f: PUSH2 0x1f84
00001f82: JUMPI
00001f83: INVALID
00001f84: JUMPDEST
00001f85: DIV
00001f86: EQ
00001f87: PUSH2 0x10fe
00001f8a: JUMPI
00001f8b: INVALID
00001f8c: INVALID
00001f8d: UNKNOWN(0x4D)
00001f8e: PUSH6 0x726b6c652074
00001f95: PUSH19 0x65652069732066756c6c2e204e6f206d6f7265
00001fa9: KECCAK256
00001faa: PUSH13 0x656166732063616e2062652061
00001fb8: PUSH5 0x6465645f72
00001fbe: PUSH10 0x6768742073686f756c64
00001fc9: KECCAK256
00001fca: PUSH3 0x652069
00001fce: PUSH15 0x7369646520746865206669656c6430
00001fde: PUSH5 0x4e72e131a0
00001fe4: UNKNOWN(0x29)
00001fe5: UNKNOWN(0xB8)
00001fe6: POP
00001fe7: GASLIMIT
00001fe8: UNKNOWN(0xB6)
00001fe9: DUP2
00001fea: DUP2
00001feb: PC
00001fec: TSTORE
00001fed: UNKNOWN(0x28)
00001fee: CALLER
00001fef: UNKNOWN(0xE8)
00001ff0: BASEFEE
00001ff1: PUSH26 0xb9709143e1f593f000000154686520636f6d6d69746d656e7420
0000200c: PUSH9 0x6173206265656e2073
00002016: PUSH22 0x626d69747465644f6e6c7920476f7665726e616e6365
0000202d: KECCAK256
0000202e: DIFFICULTY
0000202f: COINBASE
00002030: UNKNOWN(0x4F)
00002031: KECCAK256
00002032: PUSH4 0x616e2063
00002037: PUSH2 0x6c6c
0000203a: KECCAK256
0000203b: PUSH21 0x6869732066756e6374696f6e2ea265627a7a723158
00002051: KECCAK256
00002052: MSTORE8
00002053: NOT
00002054: NUMBER
00002055: UNKNOWN(0xD2)
00002056: UNKNOWN(0xB3)
00002057: UNKNOWN(0xB8)
00002058: CODESIZE
00002059: PUSH21 0x02b223b88881314e80deba75b26402bd25719f7474
0000206f: UNKNOWN(0xE5)
00002070: UNKNOWN(0xBC)
00002071: PUSH3 0x64736f
00002075: PUSH13