Analysis Run

[codex:589778] OpenAI Codex v0.77.0 (research preview)
[codex:589778] --------
[codex:589778] workdir: /tmp/codex-multi-bu44wi8a
[codex:589778] model: gpt-5.2-codex
[codex:589778] provider: openai
[codex:589778] approval: never
[codex:589778] sandbox: read-only
[codex:589778] reasoning effort: xhigh
[codex:589778] reasoning summaries: auto
[codex:589778] session id: 019b6d2b-18d1-74b3-883d-647caaf04d11
[codex:589778] --------
[codex:589778] user
[codex:589778] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:589778] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:589778] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:589778] 
[codex:589778] Scope rules:
[codex:589778] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:589778] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:589778] 
[codex:589778] Output MUST be valid JSON matching the provided schema.
[codex:589778] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:589778] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:589778] 
[codex:589778] Output constraints (IMPORTANT):
[codex:589778] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:589778] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:589778] mcp startup: no servers
[codex:589778] 
[codex:589778] thinking
[codex:589778] **Checking audit bundle file**
[codex:589778] exec
[codex:589778] /bin/bash -lc ls in /tmp/codex-multi-bu44wi8a succeeded in 5ms:
[codex:589778] AUDIT_BUNDLE.txt
[codex:589778] codex-output-schema.json
[codex:589778] contracts
[codex:589778] exec
[codex:589778] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-bu44wi8a succeeded in 5ms:
[codex:589778] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:589778] 
[codex:589778] ================================================================================
[codex:589778] FILE: contracts/Contract.sol
[codex:589778] ================================================================================
[codex:589778] 
[codex:589778] // File: contracts/upgradeability/EternalStorage.sol
[codex:589778] 
[codex:589778] pragma solidity 0.4.24;
[codex:589778] 
[codex:589778] /**
[codex:589778]  * @title EternalStorage
[codex:589778]  * @dev This contract holds all the necessary state variables to carry out the storage of any contract.
[codex:589778]  */
[codex:589778] contract EternalStorage {
[codex:589778]     mapping(bytes32 => uint256) internal uintStorage;
[codex:589778]     mapping(bytes32 => string) internal stringStorage;
[codex:589778]     mapping(bytes32 => address) internal addressStorage;
[codex:589778]     mapping(bytes32 => bytes) internal bytesStorage;
[codex:589778]     mapping(bytes32 => bool) internal boolStorage;
[codex:589778] 
[codex:589778] 
[codex:589778] 
[codex:589778] 
[codex:589778] 
[codex:589778] thinking
[codex:589778] **Reviewing smart contract security aspects**
[codex:589778] 
[codex:589778] I'm carefully examining the bridge contract's critical functions for common vulnerabilities like signature malleability, reentrancy risks especially around token transfers, access control nuances in initialization, and protocol upgrade patterns. There is a lot here about signature validation, proxy-related controls, and edge cases with token standards that could impact safety, so I’m analyzing these details to assess if any exploitable issues exist.
[codex:589778] thinking
[codex:589778] **Analyzing call sequence, reentrancy, and signature handling**
[codex:589778] 
[codex:589778] I'm unpacking the detailed flow around `executeSignatures`, token transfers, and signature validation, focusing on subtle issues like reentrancy timing, memory reads beyond signature length, and handling of low-level calls in upgradeable proxies. There’s a lot to check about how state updates synchronize with external calls and how signature data is managed in memory to detect any unusual gaps or edge cases.
[codex:589778] thinking
[codex:589778] **Evaluating upgradeability patterns and access control nuances**
[codex:589778] 
[codex:589778] I’m carefully examining how upgradeability owner checks interact with proxy patterns, including edge cases where proxies lack proper functions or revert unexpectedly, which could open initialization risks. Also, I’m reviewing subtle access control distinctions, external call safety, and considerations around token transfer methods and signature validation to see if any misconfigurations or design quirks might impact security or operability.
[codex:589778] thinking
[codex:589778] **Analyzing token transfer edge cases and signature verification**
[codex:589778] 
[codex:589778] I’m carefully reviewing how the code handles non-standard tokens that might return no data or false without reverting during transfers, plus quirks in the signature verification logic and potential configuration risks—especially around validator signatures count and contract initialization in non-proxy deployments. These subtleties could cause unexpected behaviors more than direct vulnerabilities but are important to flag.
[codex:589778] thinking
[codex:589778] **Reviewing access control and initialization risks**
[codex:589778] 
[codex:589778] I'm evaluating the risks related to unprotected initialization when the contract is deployed without the expected proxy pattern, alongside detailed checks of signature parsing logic and external calls. While directly deployed instances could be vulnerable to ownership takeover, proper proxy use mitigates this, so overall no exploitable issues emerge under intended deployment assumptions.
[codex:589778] codex
[codex:589778] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the provided first-party contracts; review assumes correct proxy deployment/configuration and validator governance.","findings":[]}
[codex:589778] tokens used
[codex:589778] 37,060
[codex:589778] {"no_findings":true,"summary":"No exploitable vulnerabilities identified in the provided first-party contracts; review assumes correct proxy deployment/configuration and validator governance.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-30T02:57:22.634520+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities identified in the provided first-party contracts; review assumes correct proxy deployment/configuration and validator governance.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities identified in the provided first-party contracts; review assumes correct proxy deployment/configuration and validator governance.",
        "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 0x019d
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH1 0xe0
00000014: PUSH1 0x02
00000016: EXP
00000017: PUSH1 0x00
00000019: CALLDATALOAD
0000001a: DIV
0000001b: AND
0000001c: PUSH4 0x01e4f53a
00000021: DUP2
00000022: EQ
00000023: PUSH2 0x01a2
00000026: JUMPI
00000027: DUP1
00000028: PUSH4 0x0e6a39db
0000002d: EQ
0000002e: PUSH2 0x01c8
00000031: JUMPI
00000032: DUP1
00000033: PUSH4 0x1dcea427
00000038: EQ
00000039: PUSH2 0x021c
0000003c: JUMPI
0000003d: DUP1
0000003e: PUSH4 0x21d800ec
00000043: EQ
00000044: PUSH2 0x024d
00000047: JUMPI
00000048: DUP1
00000049: PUSH4 0x2bd0bb05
0000004e: EQ
0000004f: PUSH2 0x0265
00000052: JUMPI
00000053: DUP1
00000054: PUSH4 0x392e53cd
00000059: EQ
0000005a: PUSH2 0x028f
0000005d: JUMPI
0000005e: DUP1
0000005f: PUSH4 0x3dd95d1b
00000064: EQ
00000065: PUSH2 0x02a4
00000068: JUMPI
00000069: DUP1
0000006a: PUSH4 0x3e6968b6
0000006f: EQ
00000070: PUSH2 0x02bc
00000073: JUMPI
00000074: DUP1
00000075: PUSH4 0x3f0a9f65
0000007a: EQ
0000007b: PUSH2 0x02d1
0000007e: JUMPI
0000007f: DUP1
00000080: PUSH4 0x3f7658fd
00000085: EQ
00000086: PUSH2 0x02e6
00000089: JUMPI
0000008a: DUP1
0000008b: PUSH4 0x437764df
00000090: EQ
00000091: PUSH2 0x0312
00000094: JUMPI
00000095: DUP1
00000096: PUSH4 0x43b37dd3
0000009b: EQ
0000009c: PUSH2 0x035c
0000009f: JUMPI
000000a0: DUP1
000000a1: PUSH4 0x4fb3fef7
000000a6: EQ
000000a7: PUSH2 0x0371
000000aa: JUMPI
000000ab: DUP1
000000ac: PUSH4 0x67eeba0c
000000b1: EQ
000000b2: PUSH2 0x0389
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x69ffa08a
000000bc: EQ
000000bd: PUSH2 0x039e
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x879ce676
000000c7: EQ
000000c8: PUSH2 0x03c5
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x8aa1949a
000000d2: EQ
000000d3: PUSH2 0x03dd
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x8d068043
000000dd: EQ
000000de: PUSH2 0x03f2
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x8da5cb5b
000000e8: EQ
000000e9: PUSH2 0x0407
000000ec: JUMPI
000000ed: DUP1
000000ee: PUSH4 0x95e54a17
000000f3: EQ
000000f4: PUSH2 0x041c
000000f7: JUMPI
000000f8: DUP1
000000f9: PUSH4 0x99439089
000000fe: EQ
000000ff: PUSH2 0x0431
00000102: JUMPI
00000103: DUP1
00000104: PUSH4 0x9a454b99
00000109: EQ
0000010a: PUSH2 0x0446
0000010d: JUMPI
0000010e: DUP1
0000010f: PUSH4 0x9cb7595a
00000114: EQ
00000115: PUSH2 0x045b
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0xa2a6ca27
0000011f: EQ
00000120: PUSH2 0x049c
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0xacf5c689
0000012a: EQ
0000012b: PUSH2 0x04b4
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0xb20d30a9
00000135: EQ
00000136: PUSH2 0x04cc
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0xbf1fe420
00000140: EQ
00000141: PUSH2 0x04e4
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0xc6f6f216
0000014b: EQ
0000014c: PUSH2 0x04fc
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0xdae5f0fd
00000156: EQ
00000157: PUSH2 0x0514
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0xdf25f3f0
00000161: EQ
00000162: PUSH2 0x0529
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0xea9f4968
0000016c: EQ
0000016d: PUSH2 0x053e
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0xf20151e1
00000177: EQ
00000178: PUSH2 0x0556
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0xf2fde38b
00000182: EQ
00000183: PUSH2 0x056e
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0xf968adbe
0000018d: EQ
0000018e: PUSH2 0x058f
00000191: JUMPI
00000192: DUP1
00000193: PUSH4 0xfe173b97
00000198: EQ
00000199: PUSH2 0x05a4
0000019c: JUMPI
0000019d: JUMPDEST
0000019e: PUSH1 0x00
000001a0: DUP1
000001a1: REVERT
000001a2: JUMPDEST
000001a3: CALLVALUE
000001a4: DUP1
000001a5: ISZERO
000001a6: PUSH2 0x01ae
000001a9: JUMPI
000001aa: PUSH1 0x00
000001ac: DUP1
000001ad: REVERT
000001ae: JUMPDEST
000001af: POP
000001b0: PUSH2 0x01c6
000001b3: PUSH1 0x01
000001b5: PUSH1 0xa0
000001b7: PUSH1 0x02
000001b9: EXP
000001ba: SUB
000001bb: PUSH1 0x04
000001bd: CALLDATALOAD
000001be: AND
000001bf: PUSH1 0x24
000001c1: CALLDATALOAD
000001c2: PUSH2 0x05b9
000001c5: JUMP
000001c6: JUMPDEST
000001c7: STOP
000001c8: JUMPDEST
000001c9: CALLVALUE
000001ca: DUP1
000001cb: ISZERO
000001cc: PUSH2 0x01d4
000001cf: JUMPI
000001d0: PUSH1 0x00
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: POP
000001d6: PUSH2 0x0208
000001d9: PUSH1 0x01
000001db: PUSH1 0xa0
000001dd: PUSH1 0x02
000001df: EXP
000001e0: SUB
000001e1: PUSH1 0x04
000001e3: CALLDATALOAD
000001e4: DUP2
000001e5: AND
000001e6: SWAP1
000001e7: PUSH1 0x24
000001e9: CALLDATALOAD
000001ea: DUP2
000001eb: AND
000001ec: SWAP1
000001ed: PUSH1 0x44
000001ef: CALLDATALOAD
000001f0: SWAP1
000001f1: PUSH1 0x64
000001f3: CALLDATALOAD
000001f4: SWAP1
000001f5: PUSH1 0x84
000001f7: SWAP1
000001f8: PUSH1 0xe4
000001fa: SWAP1
000001fb: PUSH2 0x0124
000001fe: CALLDATALOAD
000001ff: AND
00000200: PUSH2 0x0144
00000203: CALLDATALOAD
00000204: PUSH2 0x0681
00000207: JUMP
00000208: JUMPDEST
00000209: PUSH1 0x40
0000020b: DUP1
0000020c: MLOAD
0000020d: SWAP2
0000020e: ISZERO
0000020f: ISZERO
00000210: DUP3
00000211: MSTORE
00000212: MLOAD
00000213: SWAP1
00000214: DUP2
00000215: SWAP1
00000216: SUB
00000217: PUSH1 0x20
00000219: ADD
0000021a: SWAP1
0000021b: RETURN
0000021c: JUMPDEST
0000021d: CALLVALUE
0000021e: DUP1
0000021f: ISZERO
00000220: PUSH2 0x0228
00000223: JUMPI
00000224: PUSH1 0x00
00000226: DUP1
00000227: REVERT
00000228: JUMPDEST
00000229: POP
0000022a: PUSH2 0x0231
0000022d: PUSH2 0x083b
00000230: JUMP
00000231: JUMPDEST
00000232: PUSH1 0x40
00000234: DUP1
00000235: MLOAD
00000236: PUSH1 0x01
00000238: PUSH1 0xa0
0000023a: PUSH1 0x02
0000023c: EXP
0000023d: SUB
0000023e: SWAP1
0000023f: SWAP3
00000240: AND
00000241: DUP3
00000242: MSTORE
00000243: MLOAD
00000244: SWAP1
00000245: DUP2
00000246: SWAP1
00000247: SUB
00000248: PUSH1 0x20
0000024a: ADD
0000024b: SWAP1
0000024c: RETURN
0000024d: JUMPDEST
0000024e: CALLVALUE
0000024f: DUP1
00000250: ISZERO
00000251: PUSH2 0x0259
00000254: JUMPI
00000255: PUSH1 0x00
00000257: DUP1
00000258: REVERT
00000259: JUMPDEST
0000025a: POP
0000025b: PUSH2 0x0208
0000025e: PUSH1 0x04
00000260: CALLDATALOAD
00000261: PUSH2 0x0892
00000264: JUMP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: DUP1
00000268: ISZERO
00000269: PUSH2 0x0271
0000026c: JUMPI
0000026d: PUSH1 0x00
0000026f: DUP1
00000270: REVERT
00000271: JUMPDEST
00000272: POP
00000273: PUSH2 0x027d
00000276: PUSH1 0x04
00000278: CALLDATALOAD
00000279: PUSH2 0x095b
0000027c: JUMP
0000027d: JUMPDEST
0000027e: PUSH1 0x40
00000280: DUP1
00000281: MLOAD
00000282: SWAP2
00000283: DUP3
00000284: MSTORE
00000285: MLOAD
00000286: SWAP1
00000287: DUP2
00000288: SWAP1
00000289: SUB
0000028a: PUSH1 0x20
0000028c: ADD
0000028d: SWAP1
0000028e: RETURN
0000028f: JUMPDEST
00000290: CALLVALUE
00000291: DUP1
00000292: ISZERO
00000293: PUSH2 0x029b
00000296: JUMPI
00000297: PUSH1 0x00
00000299: DUP1
0000029a: REVERT
0000029b: JUMPDEST
0000029c: POP
0000029d: PUSH2 0x0208
000002a0: PUSH2 0x0a18
000002a3: JUMP
000002a4: JUMPDEST
000002a5: CALLVALUE
000002a6: DUP1
000002a7: ISZERO
000002a8: PUSH2 0x02b0
000002ab: JUMPI
000002ac: PUSH1 0x00
000002ae: DUP1
000002af: REVERT
000002b0: JUMPDEST
000002b1: POP
000002b2: PUSH2 0x01c6
000002b5: PUSH1 0x04
000002b7: CALLDATALOAD
000002b8: PUSH2 0x0a69
000002bb: JUMP
000002bc: JUMPDEST
000002bd: CALLVALUE
000002be: DUP1
000002bf: ISZERO
000002c0: PUSH2 0x02c8
000002c3: JUMPI
000002c4: PUSH1 0x00
000002c6: DUP1
000002c7: REVERT
000002c8: JUMPDEST
000002c9: POP
000002ca: PUSH2 0x027d
000002cd: PUSH2 0x0b29
000002d0: JUMP
000002d1: JUMPDEST
000002d2: CALLVALUE
000002d3: DUP1
000002d4: ISZERO
000002d5: PUSH2 0x02dd
000002d8: JUMPI
000002d9: PUSH1 0x00
000002db: DUP1
000002dc: REVERT
000002dd: JUMPDEST
000002de: POP
000002df: PUSH2 0x027d
000002e2: PUSH2 0x0b32
000002e5: JUMP
000002e6: JUMPDEST
000002e7: CALLVALUE
000002e8: DUP1
000002e9: ISZERO
000002ea: PUSH2 0x02f2
000002ed: JUMPI
000002ee: PUSH1 0x00
000002f0: DUP1
000002f1: REVERT
000002f2: JUMPDEST
000002f3: POP
000002f4: PUSH2 0x01c6
000002f7: PUSH1 0x24
000002f9: PUSH1 0x04
000002fb: DUP1
000002fc: CALLDATALOAD
000002fd: DUP3
000002fe: DUP2
000002ff: ADD
00000300: SWAP3
00000301: SWAP1
00000302: DUP3
00000303: ADD
00000304: CALLDATALOAD
00000305: SWAP2
00000306: DUP2
00000307: CALLDATALOAD
00000308: SWAP2
00000309: DUP3
0000030a: ADD
0000030b: SWAP2
0000030c: ADD
0000030d: CALLDATALOAD
0000030e: PUSH2 0x0b80
00000311: JUMP
00000312: JUMPDEST
00000313: CALLVALUE
00000314: DUP1
00000315: ISZERO
00000316: PUSH2 0x031e
00000319: JUMPI
0000031a: PUSH1 0x00
0000031c: DUP1
0000031d: REVERT
0000031e: JUMPDEST
0000031f: POP
00000320: PUSH2 0x0327
00000323: PUSH2 0x0cf5
00000326: JUMP
00000327: JUMPDEST
00000328: PUSH1 0x40
0000032a: DUP1
0000032b: MLOAD
0000032c: PUSH32 0xffffffff00000000000000000000000000000000000000000000000000000000
0000034d: SWAP1
0000034e: SWAP3
0000034f: AND
00000350: DUP3
00000351: MSTORE
00000352: MLOAD
00000353: SWAP1
00000354: DUP2
00000355: SWAP1
00000356: SUB
00000357: PUSH1 0x20
00000359: ADD
0000035a: SWAP1
0000035b: RETURN
0000035c: JUMPDEST
0000035d: CALLVALUE
0000035e: DUP1
0000035f: ISZERO
00000360: PUSH2 0x0368
00000363: JUMPI
00000364: PUSH1 0x00
00000366: DUP1
00000367: REVERT
00000368: JUMPDEST
00000369: POP
0000036a: PUSH2 0x027d
0000036d: PUSH2 0x0d19
00000370: JUMP
00000371: JUMPDEST
00000372: CALLVALUE
00000373: DUP1
00000374: ISZERO
00000375: PUSH2 0x037d
00000378: JUMPI
00000379: PUSH1 0x00
0000037b: DUP1
0000037c: REVERT
0000037d: JUMPDEST
0000037e: POP
0000037f: PUSH2 0x027d
00000382: PUSH1 0x04
00000384: CALLDATALOAD
00000385: PUSH2 0x0d67
00000388: JUMP
00000389: JUMPDEST
0000038a: CALLVALUE
0000038b: DUP1
0000038c: ISZERO
0000038d: PUSH2 0x0395
00000390: JUMPI
00000391: PUSH1 0x00
00000393: DUP1
00000394: REVERT
00000395: JUMPDEST
00000396: POP
00000397: PUSH2 0x027d
0000039a: PUSH2 0x0de2
0000039d: JUMP
0000039e: JUMPDEST
0000039f: CALLVALUE
000003a0: DUP1
000003a1: ISZERO
000003a2: PUSH2 0x03aa
000003a5: JUMPI
000003a6: PUSH1 0x00
000003a8: DUP1
000003a9: REVERT
000003aa: JUMPDEST
000003ab: POP
000003ac: PUSH2 0x01c6
000003af: PUSH1 0x01
000003b1: PUSH1 0xa0
000003b3: PUSH1 0x02
000003b5: EXP
000003b6: SUB
000003b7: PUSH1 0x04
000003b9: CALLDATALOAD
000003ba: DUP2
000003bb: AND
000003bc: SWAP1
000003bd: PUSH1 0x24
000003bf: CALLDATALOAD
000003c0: AND
000003c1: PUSH2 0x0e30
000003c4: JUMP
000003c5: JUMPDEST
000003c6: CALLVALUE
000003c7: DUP1
000003c8: ISZERO
000003c9: PUSH2 0x03d1
000003cc: JUMPI
000003cd: PUSH1 0x00
000003cf: DUP1
000003d0: REVERT
000003d1: JUMPDEST
000003d2: POP
000003d3: PUSH2 0x0208
000003d6: PUSH1 0x04
000003d8: CALLDATALOAD
000003d9: PUSH2 0x0edc
000003dc: JUMP
000003dd: JUMPDEST
000003de: CALLVALUE
000003df: DUP1
000003e0: ISZERO
000003e1: PUSH2 0x03e9
000003e4: JUMPI
000003e5: PUSH1 0x00
000003e7: DUP1
000003e8: REVERT
000003e9: JUMPDEST
000003ea: POP
000003eb: PUSH2 0x027d
000003ee: PUSH2 0x0f26
000003f1: JUMP
000003f2: JUMPDEST
000003f3: CALLVALUE
000003f4: DUP1
000003f5: ISZERO
000003f6: PUSH2 0x03fe
000003f9: JUMPI
000003fa: PUSH1 0x00
000003fc: DUP1
000003fd: REVERT
000003fe: JUMPDEST
000003ff: POP
00000400: PUSH2 0x027d
00000403: PUSH2 0x0f74
00000406: JUMP
00000407: JUMPDEST
00000408: CALLVALUE
00000409: DUP1
0000040a: ISZERO
0000040b: PUSH2 0x0413
0000040e: JUMPI
0000040f: PUSH1 0x00
00000411: DUP1
00000412: REVERT
00000413: JUMPDEST
00000414: POP
00000415: PUSH2 0x0231
00000418: PUSH2 0x0fec
0000041b: JUMP
0000041c: JUMPDEST
0000041d: CALLVALUE
0000041e: DUP1
0000041f: ISZERO
00000420: PUSH2 0x0428
00000423: JUMPI
00000424: PUSH1 0x00
00000426: DUP1
00000427: REVERT
00000428: JUMPDEST
00000429: POP
0000042a: PUSH2 0x027d
0000042d: PUSH2 0x1043
00000430: JUMP
00000431: JUMPDEST
00000432: CALLVALUE
00000433: DUP1
00000434: ISZERO
00000435: PUSH2 0x043d
00000438: JUMPI
00000439: PUSH1 0x00
0000043b: DUP1
0000043c: REVERT
0000043d: JUMPDEST
0000043e: POP
0000043f: PUSH2 0x0231
00000442: PUSH2 0x109d
00000445: JUMP
00000446: JUMPDEST
00000447: CALLVALUE
00000448: DUP1
00000449: ISZERO
0000044a: PUSH2 0x0452
0000044d: JUMPI
0000044e: PUSH1 0x00
00000450: DUP1
00000451: REVERT
00000452: JUMPDEST
00000453: POP
00000454: PUSH2 0x027d
00000457: PUSH2 0x10f4
0000045a: JUMP
0000045b: JUMPDEST
0000045c: CALLVALUE
0000045d: DUP1
0000045e: ISZERO
0000045f: PUSH2 0x0467
00000462: JUMPI
00000463: PUSH1 0x00
00000465: DUP1
00000466: REVERT
00000467: JUMPDEST
00000468: POP
00000469: PUSH2 0x0470
0000046c: PUSH2 0x1142
0000046f: JUMP
00000470: JUMPDEST
00000471: PUSH1 0x40
00000473: DUP1
00000474: MLOAD
00000475: PUSH8 0xffffffffffffffff
0000047e: SWAP5
0000047f: DUP6
00000480: AND
00000481: DUP2
00000482: MSTORE
00000483: SWAP3
00000484: DUP5
00000485: AND
00000486: PUSH1 0x20
00000488: DUP5
00000489: ADD
0000048a: MSTORE
0000048b: SWAP3
0000048c: AND
0000048d: DUP2
0000048e: DUP4
0000048f: ADD
00000490: MSTORE
00000491: SWAP1
00000492: MLOAD
00000493: SWAP1
00000494: DUP2
00000495: SWAP1
00000496: SUB
00000497: PUSH1 0x60
00000499: ADD
0000049a: SWAP1
0000049b: RETURN
0000049c: JUMPDEST
0000049d: CALLVALUE
0000049e: DUP1
0000049f: ISZERO
000004a0: PUSH2 0x04a8
000004a3: JUMPI
000004a4: PUSH1 0x00
000004a6: DUP1
000004a7: REVERT
000004a8: JUMPDEST
000004a9: POP
000004aa: PUSH2 0x01c6
000004ad: PUSH1 0x04
000004af: CALLDATALOAD
000004b0: PUSH2 0x114d
000004b3: JUMP
000004b4: JUMPDEST
000004b5: CALLVALUE
000004b6: DUP1
000004b7: ISZERO
000004b8: PUSH2 0x04c0
000004bb: JUMPI
000004bc: PUSH1 0x00
000004be: DUP1
000004bf: REVERT
000004c0: JUMPDEST
000004c1: POP
000004c2: PUSH2 0x01c6
000004c5: PUSH1 0x04
000004c7: CALLDATALOAD
000004c8: PUSH2 0x11e9
000004cb: JUMP
000004cc: JUMPDEST
000004cd: CALLVALUE
000004ce: DUP1
000004cf: ISZERO
000004d0: PUSH2 0x04d8
000004d3: JUMPI
000004d4: PUSH1 0x00
000004d6: DUP1
000004d7: REVERT
000004d8: JUMPDEST
000004d9: POP
000004da: PUSH2 0x01c6
000004dd: PUSH1 0x04
000004df: CALLDATALOAD
000004e0: PUSH2 0x1211
000004e3: JUMP
000004e4: JUMPDEST
000004e5: CALLVALUE
000004e6: DUP1
000004e7: ISZERO
000004e8: PUSH2 0x04f0
000004eb: JUMPI
000004ec: PUSH1 0x00
000004ee: DUP1
000004ef: REVERT
000004f0: JUMPDEST
000004f1: POP
000004f2: PUSH2 0x01c6
000004f5: PUSH1 0x04
000004f7: CALLDATALOAD
000004f8: PUSH2 0x12d1
000004fb: JUMP
000004fc: JUMPDEST
000004fd: CALLVALUE
000004fe: DUP1
000004ff: ISZERO
00000500: PUSH2 0x0508
00000503: JUMPI
00000504: PUSH1 0x00
00000506: DUP1
00000507: REVERT
00000508: JUMPDEST
00000509: POP
0000050a: PUSH2 0x01c6
0000050d: PUSH1 0x04
0000050f: CALLDATALOAD
00000510: PUSH2 0x12f6
00000513: JUMP
00000514: JUMPDEST
00000515: CALLVALUE
00000516: DUP1
00000517: ISZERO
00000518: PUSH2 0x0520
0000051b: JUMPI
0000051c: PUSH1 0x00
0000051e: DUP1
0000051f: REVERT
00000520: JUMPDEST
00000521: POP
00000522: PUSH2 0x027d
00000525: PUSH2 0x138e
00000528: JUMP
00000529: JUMPDEST
0000052a: CALLVALUE
0000052b: DUP1
0000052c: ISZERO
0000052d: PUSH2 0x0535
00000530: JUMPI
00000531: PUSH1 0x00
00000533: DUP1
00000534: REVERT
00000535: JUMPDEST
00000536: POP
00000537: PUSH2 0x027d
0000053a: PUSH2 0x13dc
0000053d: JUMP
0000053e: JUMPDEST
0000053f: CALLVALUE
00000540: DUP1
00000541: ISZERO
00000542: PUSH2 0x054a
00000545: JUMPI
00000546: PUSH1 0x00
00000548: DUP1
00000549: REVERT
0000054a: JUMPDEST
0000054b: POP
0000054c: PUSH2 0x0208
0000054f: PUSH1 0x04
00000551: CALLDATALOAD
00000552: PUSH2 0x142a
00000555: JUMP
00000556: JUMPDEST
00000557: CALLVALUE
00000558: DUP1
00000559: ISZERO
0000055a: PUSH2 0x0562
0000055d: JUMPI
0000055e: PUSH1 0x00
00000560: DUP1
00000561: REVERT
00000562: JUMPDEST
00000563: POP
00000564: PUSH2 0x01c6
00000567: PUSH1 0x04
00000569: CALLDATALOAD
0000056a: PUSH2 0x1475
0000056d: JUMP
0000056e: JUMPDEST
0000056f: CALLVALUE
00000570: DUP1
00000571: ISZERO
00000572: PUSH2 0x057a
00000575: JUMPI
00000576: PUSH1 0x00
00000578: DUP1
00000579: REVERT
0000057a: JUMPDEST
0000057b: POP
0000057c: PUSH2 0x01c6
0000057f: PUSH1 0x01
00000581: PUSH1 0xa0
00000583: PUSH1 0x02
00000585: EXP
00000586: SUB
00000587: PUSH1 0x04
00000589: CALLDATALOAD
0000058a: AND
0000058b: PUSH2 0x14f1
0000058e: JUMP
0000058f: JUMPDEST
00000590: CALLVALUE
00000591: DUP1
00000592: ISZERO
00000593: PUSH2 0x059b
00000596: JUMPI
00000597: PUSH1 0x00
00000599: DUP1
0000059a: REVERT
0000059b: JUMPDEST
0000059c: POP
0000059d: PUSH2 0x027d
000005a0: PUSH2 0x1516
000005a3: JUMP
000005a4: JUMPDEST
000005a5: CALLVALUE
000005a6: DUP1
000005a7: ISZERO
000005a8: PUSH2 0x05b0
000005ab: JUMPI
000005ac: PUSH1 0x00
000005ae: DUP1
000005af: REVERT
000005b0: JUMPDEST
000005b1: POP
000005b2: PUSH2 0x027d
000005b5: PUSH2 0x1564
000005b8: JUMP
000005b9: JUMPDEST
000005ba: PUSH1 0x01
000005bc: PUSH1 0xa0
000005be: PUSH1 0x02
000005c0: EXP
000005c1: SUB
000005c2: DUP3
000005c3: AND
000005c4: ISZERO
000005c5: ISZERO
000005c6: PUSH2 0x05ce
000005c9: JUMPI
000005ca: PUSH1 0x00
000005cc: DUP1
000005cd: REVERT
000005ce: JUMPDEST
000005cf: PUSH1 0x01
000005d1: PUSH1 0xa0
000005d3: PUSH1 0x02
000005d5: EXP
000005d6: SUB
000005d7: DUP3
000005d8: AND
000005d9: ADDRESS
000005da: EQ
000005db: ISZERO
000005dc: PUSH2 0x05e4
000005df: JUMPI
000005e0: PUSH1 0x00
000005e2: DUP1
000005e3: REVERT
000005e4: JUMPDEST
000005e5: PUSH1 0x00
000005e7: DUP2
000005e8: GT
000005e9: PUSH2 0x05f1
000005ec: JUMPI
000005ed: PUSH1 0x00
000005ef: DUP1
000005f0: REVERT
000005f1: JUMPDEST
000005f2: PUSH2 0x05fa
000005f5: DUP2
000005f6: PUSH2 0x142a
000005f9: JUMP
000005fa: JUMPDEST
000005fb: ISZERO
000005fc: ISZERO
000005fd: PUSH2 0x0605
00000600: JUMPI
00000601: PUSH1 0x00
00000603: DUP1
00000604: REVERT
00000605: JUMPDEST
00000606: PUSH2 0x0616
00000609: PUSH2 0x0610
0000060c: PUSH2 0x0b29
0000060f: JUMP
00000610: JUMPDEST
00000611: DUP3
00000612: PUSH2 0x15b2
00000615: JUMP
00000616: JUMPDEST
00000617: PUSH2 0x0639
0000061a: CALLER
0000061b: DUP3
0000061c: PUSH2 0x0623
0000061f: PUSH2 0x083b
00000622: JUMP
00000623: JUMPDEST
00000624: PUSH1 0x01
00000626: PUSH1 0xa0
00000628: PUSH1 0x02
0000062a: EXP
0000062b: SUB
0000062c: AND
0000062d: SWAP2
0000062e: SWAP1
0000062f: PUSH4 0xffffffff
00000634: PUSH2 0x167b
00000637: AND
00000638: JUMP
00000639: JUMPDEST
0000063a: PUSH1 0x40
0000063c: DUP1
0000063d: MLOAD
0000063e: PUSH1 0x01
00000640: PUSH1 0xa0
00000642: PUSH1 0x02
00000644: EXP
00000645: SUB
00000646: DUP5
00000647: AND
00000648: DUP2
00000649: MSTORE
0000064a: PUSH1 0x20
0000064c: DUP2
0000064d: ADD
0000064e: DUP4
0000064f: SWAP1
00000650: MSTORE
00000651: DUP2
00000652: MLOAD
00000653: PUSH32 0x1d491a427d1f8cc0d447496f300fac39f7306122481d8e663451eb268274146b
00000674: SWAP3
00000675: SWAP2
00000676: DUP2
00000677: SWAP1
00000678: SUB
00000679: SWAP1
0000067a: SWAP2
0000067b: ADD
0000067c: SWAP1
0000067d: LOG1
0000067e: POP
0000067f: POP
00000680: JUMP
00000681: JUMPDEST
00000682: PUSH1 0x40
00000684: DUP1
00000685: MLOAD
00000686: PUSH1 0x04
00000688: DUP2
00000689: MSTORE
0000068a: PUSH1 0x24
0000068c: DUP2
0000068d: ADD
0000068e: DUP3
0000068f: MSTORE
00000690: PUSH1 0x20
00000692: DUP2
00000693: ADD
00000694: DUP1
00000695: MLOAD
00000696: PUSH28 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffff
000006b3: AND
000006b4: PUSH32 0x6fde820200000000000000000000000000000000000000000000000000000000
000006d5: OR
000006d6: DUP2
000006d7: MSTORE
000006d8: SWAP2
000006d9: MLOAD
000006da: DUP2
000006db: MLOAD
000006dc: PUSH1 0x00
000006de: SWAP4
000006df: ADDRESS
000006e0: SWAP4
000006e1: SWAP3
000006e2: SWAP2
000006e3: DUP3
000006e4: SWAP2
000006e5: SWAP1
000006e6: DUP1
000006e7: DUP4
000006e8: DUP4
000006e9: DUP10
000006ea: JUMPDEST
000006eb: DUP4
000006ec: DUP2
000006ed: LT
000006ee: ISZERO
000006ef: PUSH2 0x0702
000006f2: JUMPI
000006f3: DUP2
000006f4: DUP2
000006f5: ADD
000006f6: MLOAD
000006f7: DUP4
000006f8: DUP3
000006f9: ADD
000006fa: MSTORE
000006fb: PUSH1 0x20
000006fd: ADD
000006fe: PUSH2 0x06ea
00000701: JUMP
00000702: JUMPDEST
00000703: POP
00000704: POP
00000705: POP
00000706: POP
00000707: SWAP1
00000708: POP
00000709: SWAP1
0000070a: DUP2
0000070b: ADD
0000070c: SWAP1
0000070d: PUSH1 0x1f
0000070f: AND
00000710: DUP1
00000711: ISZERO
00000712: PUSH2 0x072f
00000715: JUMPI
00000716: DUP1
00000717: DUP3
00000718: SUB
00000719: DUP1
0000071a: MLOAD
0000071b: PUSH1 0x01
0000071d: DUP4
0000071e: PUSH1 0x20
00000720: SUB
00000721: PUSH2 0x0100
00000724: EXP
00000725: SUB
00000726: NOT
00000727: AND
00000728: DUP2
00000729: MSTORE
0000072a: PUSH1 0x20
0000072c: ADD
0000072d: SWAP2
0000072e: POP
0000072f: JUMPDEST
00000730: POP
00000731: SWAP2
00000732: POP
00000733: POP
00000734: PUSH1 0x00
00000736: PUSH1 0x40
00000738: MLOAD
00000739: DUP1
0000073a: DUP4
0000073b: SUB
0000073c: DUP2
0000073d: PUSH1 0x00
0000073f: DUP7
00000740: GAS
00000741: CALL
00000742: SWAP2
00000743: POP
00000744: POP
00000745: ISZERO
00000746: DUP1
00000747: PUSH2 0x07c1
0000074a: JUMPI
0000074b: POP
0000074c: ADDRESS
0000074d: PUSH1 0x01
0000074f: PUSH1 0xa0
00000751: PUSH1 0x02
00000753: EXP
00000754: SUB
00000755: AND
00000756: PUSH4 0x6fde8202
0000075b: PUSH1 0x40
0000075d: MLOAD
0000075e: DUP2
0000075f: PUSH4 0xffffffff
00000764: AND
00000765: PUSH1 0xe0
00000767: PUSH1 0x02
00000769: EXP
0000076a: MUL
0000076b: DUP2
0000076c: MSTORE
0000076d: PUSH1 0x04
0000076f: ADD
00000770: PUSH1 0x20
00000772: PUSH1 0x40
00000774: MLOAD
00000775: DUP1
00000776: DUP4
00000777: SUB
00000778: DUP2
00000779: PUSH1 0x00
0000077b: DUP8
0000077c: DUP1
0000077d: EXTCODESIZE
0000077e: ISZERO
0000077f: DUP1
00000780: ISZERO
00000781: PUSH2 0x0789
00000784: JUMPI
00000785: PUSH1 0x00
00000787: DUP1
00000788: REVERT
00000789: JUMPDEST
0000078a: POP
0000078b: GAS
0000078c: CALL
0000078d: ISZERO
0000078e: DUP1
0000078f: ISZERO
00000790: PUSH2 0x079d
00000793: JUMPI
00000794: RETURNDATASIZE
00000795: PUSH1 0x00
00000797: DUP1
00000798: RETURNDATACOPY
00000799: RETURNDATASIZE
0000079a: PUSH1 0x00
0000079c: REVERT
0000079d: JUMPDEST
0000079e: POP
0000079f: POP
000007a0: POP
000007a1: POP
000007a2: PUSH1 0x40
000007a4: MLOAD
000007a5: RETURNDATASIZE
000007a6: PUSH1 0x20
000007a8: DUP2
000007a9: LT
000007aa: ISZERO
000007ab: PUSH2 0x07b3
000007ae: JUMPI
000007af: PUSH1 0x00
000007b1: DUP1
000007b2: REVERT
000007b3: JUMPDEST
000007b4: POP
000007b5: MLOAD
000007b6: PUSH1 0x01
000007b8: PUSH1 0xa0
000007ba: PUSH1 0x02
000007bc: EXP
000007bd: SUB
000007be: AND
000007bf: CALLER
000007c0: EQ
000007c1: JUMPDEST
000007c2: DUP1
000007c3: PUSH2 0x07cb
000007c6: JUMPI
000007c7: POP
000007c8: CALLER
000007c9: ADDRESS
000007ca: EQ
000007cb: JUMPDEST
000007cc: ISZERO
000007cd: ISZERO
000007ce: PUSH2 0x07d6
000007d1: JUMPI
000007d2: PUSH1 0x00
000007d4: DUP1
000007d5: REVERT
000007d6: JUMPDEST
000007d7: PUSH2 0x0826
000007da: DUP10
000007db: DUP10
000007dc: DUP10
000007dd: DUP10
000007de: DUP10
000007df: PUSH1 0x03
000007e1: DUP1
000007e2: PUSH1 0x20
000007e4: MUL
000007e5: PUSH1 0x40
000007e7: MLOAD
000007e8: SWAP1
000007e9: DUP2
000007ea: ADD
000007eb: PUSH1 0x40
000007ed: MSTORE
000007ee: DUP1
000007ef: SWAP3
000007f0: SWAP2
000007f1: SWAP1
000007f2: DUP3
000007f3: PUSH1 0x03
000007f5: PUSH1 0x20
000007f7: MUL
000007f8: DUP1
000007f9: DUP3
000007fa: DUP5
000007fb: CALLDATACOPY
000007fc: POP
000007fd: POP
000007fe: PUSH1 0x40
00000800: DUP1
00000801: MLOAD
00000802: DUP1
00000803: DUP3
00000804: ADD
00000805: DUP3
00000806: MSTORE
00000807: SWAP4
00000808: POP
00000809: DUP14
0000080a: SWAP3
0000080b: POP
0000080c: PUSH1 0x02
0000080e: SWAP2
0000080f: POP
00000810: DUP4
00000811: SWAP1
00000812: DUP4
00000813: SWAP1
00000814: DUP1
00000815: DUP3
00000816: DUP5
00000817: CALLDATACOPY
00000818: DUP3
00000819: ADD
0000081a: SWAP2
0000081b: POP
0000081c: POP
0000081d: POP
0000081e: POP
0000081f: POP
00000820: DUP10
00000821: DUP10
00000822: PUSH2 0x1723
00000825: JUMP
00000826: JUMPDEST
00000827: PUSH2 0x082e
0000082a: PUSH2 0x0a18
0000082d: JUMP
0000082e: JUMPDEST
0000082f: SWAP10
00000830: SWAP9
00000831: POP
00000832: POP
00000833: POP
00000834: POP
00000835: POP
00000836: POP
00000837: POP
00000838: POP
00000839: POP
0000083a: JUMP
0000083b: JUMPDEST
0000083c: PUSH32 0x15d63b18dbc21bf4438b7972d80076747e1d93c4f87552fe498c90cbde51665e
0000085d: PUSH1 0x00
0000085f: MSTORE
00000860: PUSH1 0x02
00000862: PUSH1 0x20
00000864: MSTORE
00000865: PUSH32 0x70dfdbaec92bfd068fb9a67f8c22440e995abe75330f5b6b79a478c9bc8ccbd1
00000886: SLOAD
00000887: PUSH1 0x01
00000889: PUSH1 0xa0
0000088b: PUSH1 0x02
0000088d: EXP
0000088e: SUB
0000088f: AND
00000890: SWAP1
00000891: JUMP
00000892: JUMPDEST
00000893: PUSH1 0x00
00000895: PUSH1 0x04
00000897: PUSH1 0x00
00000899: DUP4
0000089a: PUSH1 0x40
0000089c: MLOAD
0000089d: PUSH1 0x20
0000089f: ADD
000008a0: DUP1
000008a1: DUP1
000008a2: PUSH32 0x72656c617965644d657373616765730000000000000000000000000000000000
000008c3: DUP2
000008c4: MSTORE
000008c5: POP
000008c6: PUSH1 0x0f
000008c8: ADD
000008c9: DUP3
000008ca: PUSH1 0x00
000008cc: NOT
000008cd: AND
000008ce: PUSH1 0x00
000008d0: NOT
000008d1: AND
000008d2: DUP2
000008d3: MSTORE
000008d4: PUSH1 0x20
000008d6: ADD
000008d7: SWAP2
000008d8: POP
000008d9: POP
000008da: PUSH1 0x40
000008dc: MLOAD
000008dd: PUSH1 0x20
000008df: DUP2
000008e0: DUP4
000008e1: SUB
000008e2: SUB
000008e3: DUP2
000008e4: MSTORE
000008e5: SWAP1
000008e6: PUSH1 0x40
000008e8: MSTORE
000008e9: PUSH1 0x40
000008eb: MLOAD
000008ec: DUP1
000008ed: DUP3
000008ee: DUP1
000008ef: MLOAD
000008f0: SWAP1
000008f1: PUSH1 0x20
000008f3: ADD
000008f4: SWAP1
000008f5: DUP1
000008f6: DUP4
000008f7: DUP4
000008f8: JUMPDEST
000008f9: PUSH1 0x20
000008fb: DUP4
000008fc: LT
000008fd: PUSH2 0x0917
00000900: JUMPI
00000901: DUP1
00000902: MLOAD
00000903: DUP3
00000904: MSTORE
00000905: PUSH1 0x1f
00000907: NOT
00000908: SWAP1
00000909: SWAP3
0000090a: ADD
0000090b: SWAP2
0000090c: PUSH1 0x20
0000090e: SWAP2
0000090f: DUP3
00000910: ADD
00000911: SWAP2
00000912: ADD
00000913: PUSH2 0x08f8
00000916: JUMP
00000917: JUMPDEST
00000918: MLOAD
00000919: DUP2
0000091a: MLOAD
0000091b: PUSH1 0x20
0000091d: SWAP4
0000091e: DUP5
0000091f: SUB
00000920: PUSH2 0x0100
00000923: EXP
00000924: PUSH1 0x00
00000926: NOT
00000927: ADD
00000928: DUP1
00000929: NOT
0000092a: SWAP1
0000092b: SWAP3
0000092c: AND
0000092d: SWAP2
0000092e: AND
0000092f: OR
00000930: SWAP1
00000931: MSTORE
00000932: PUSH1 0x40
00000934: DUP1
00000935: MLOAD
00000936: SWAP3
00000937: SWAP1
00000938: SWAP5
00000939: ADD
0000093a: DUP3
0000093b: SWAP1
0000093c: SUB
0000093d: SWAP1
0000093e: SWAP2
0000093f: KECCAK256
00000940: DUP7
00000941: MSTORE
00000942: DUP6
00000943: ADD
00000944: SWAP6
00000945: SWAP1
00000946: SWAP6
00000947: MSTORE
00000948: SWAP3
00000949: SWAP1
0000094a: SWAP3
0000094b: ADD
0000094c: PUSH1 0x00
0000094e: KECCAK256
0000094f: SLOAD
00000950: PUSH1 0xff
00000952: AND
00000953: SWAP6
00000954: SWAP5
00000955: POP
00000956: POP
00000957: POP
00000958: POP
00000959: POP
0000095a: JUMP
0000095b: JUMPDEST
0000095c: PUSH1 0x00
0000095e: DUP1
0000095f: PUSH1 0x00
00000961: DUP4
00000962: PUSH1 0x40
00000964: MLOAD
00000965: PUSH1 0x20
00000967: ADD
00000968: DUP1
00000969: DUP1
0000096a: PUSH32 0x746f74616c5370656e7450657244617900000000000000000000000000000000
0000098b: DUP2
0000098c: MSTORE
0000098d: POP
0000098e: PUSH1 0x10
00000990: ADD
00000991: DUP3
00000992: DUP2
00000993: MSTORE
00000994: PUSH1 0x20
00000996: ADD
00000997: SWAP2
00000998: POP
00000999: POP
0000099a: PUSH1 0x40
0000099c: MLOAD
0000099d: PUSH1 0x20
0000099f: DUP2
000009a0: DUP4
000009a1: SUB
000009a2: SUB
000009a3: DUP2
000009a4: MSTORE
000009a5: SWAP1
000009a6: PUSH1 0x40
000009a8: MSTORE
000009a9: PUSH1 0x40
000009ab: MLOAD
000009ac: DUP1
000009ad: DUP3
000009ae: DUP1
000009af: MLOAD
000009b0: SWAP1
000009b1: PUSH1 0x20
000009b3: ADD
000009b4: SWAP1
000009b5: DUP1
000009b6: DUP4
000009b7: DUP4
000009b8: JUMPDEST
000009b9: PUSH1 0x20
000009bb: DUP4
000009bc: LT
000009bd: PUSH2 0x09d7
000009c0: JUMPI
000009c1: DUP1
000009c2: MLOAD
000009c3: DUP3
000009c4: MSTORE
000009c5: PUSH1 0x1f
000009c7: NOT
000009c8: SWAP1
000009c9: SWAP3
000009ca: ADD
000009cb: SWAP2
000009cc: PUSH1 0x20
000009ce: SWAP2
000009cf: DUP3
000009d0: ADD
000009d1: SWAP2
000009d2: ADD
000009d3: PUSH2 0x09b8
000009d6: JUMP
000009d7: JUMPDEST
000009d8: MLOAD
000009d9: DUP2
000009da: MLOAD
000009db: PUSH1 0x20
000009dd: SWAP4
000009de: DUP5
000009df: SUB
000009e0: PUSH2 0x0100
000009e3: EXP
000009e4: PUSH1 0x00
000009e6: NOT
000009e7: ADD
000009e8: DUP1
000009e9: NOT
000009ea: SWAP1
000009eb: SWAP3
000009ec: AND
000009ed: SWAP2
000009ee: AND
000009ef: OR
000009f0: SWAP1
000009f1: MSTORE
000009f2: PUSH1 0x40
000009f4: DUP1
000009f5: MLOAD
000009f6: SWAP3
000009f7: SWAP1
000009f8: SWAP5
000009f9: ADD
000009fa: DUP3
000009fb: SWAP1
000009fc: SUB
000009fd: SWAP1
000009fe: SWAP2
000009ff: KECCAK256
00000a00: DUP7
00000a01: MSTORE
00000a02: DUP6
00000a03: ADD
00000a04: SWAP6
00000a05: SWAP1
00000a06: SWAP6
00000a07: MSTORE
00000a08: SWAP3
00000a09: SWAP1
00000a0a: SWAP3
00000a0b: ADD
00000a0c: PUSH1 0x00
00000a0e: KECCAK256
00000a0f: SLOAD
00000a10: SWAP6
00000a11: SWAP5
00000a12: POP
00000a13: POP
00000a14: POP
00000a15: POP
00000a16: POP
00000a17: JUMP
00000a18: JUMPDEST
00000a19: PUSH32 0x0a6f646cd611241d8073675e00d1a1ff700fbf1b53fcf473de56d1e6e4b714ba
00000a3a: PUSH1 0x00
00000a3c: MSTORE
00000a3d: PUSH1 0x04
00000a3f: PUSH1 0x20
00000a41: MSTORE
00000a42: PUSH32 0x078d888f9b66f3f8bfa10909e31f1e16240db73449f0500afdbbe3a70da457cc
00000a63: SLOAD
00000a64: PUSH1 0xff
00000a66: AND
00000a67: SWAP1
00000a68: JUMP
00000a69: JUMPDEST
00000a6a: PUSH2 0x0a71
00000a6d: PUSH2 0x0fec
00000a70: JUMP
00000a71: JUMPDEST
00000a72: PUSH1 0x01
00000a74: PUSH1 0xa0
00000a76: PUSH1 0x02
00000a78: EXP
00000a79: SUB
00000a7a: AND
00000a7b: CALLER
00000a7c: EQ
00000a7d: PUSH2 0x0a85
00000a80: JUMPI
00000a81: PUSH1 0x00
00000a83: DUP1
00000a84: REVERT
00000a85: JUMPDEST
00000a86: PUSH2 0x0a8d
00000a89: PUSH2 0x0f26
00000a8c: JUMP
00000a8d: JUMPDEST
00000a8e: DUP2
00000a8f: GT
00000a90: DUP1
00000a91: PUSH2 0x0a98
00000a94: JUMPI
00000a95: POP
00000a96: DUP1
00000a97: ISZERO
00000a98: JUMPDEST
00000a99: ISZERO
00000a9a: ISZERO
00000a9b: PUSH2 0x0aa3
00000a9e: JUMPI
00000a9f: PUSH1 0x00
00000aa1: DUP1
00000aa2: REVERT
00000aa3: JUMPDEST
00000aa4: PUSH32 0x21dbcab260e413c20dc13c28b7db95e2b423d1135f42bb8b7d5214a92270d237
00000ac5: PUSH1 0x00
00000ac7: SWAP1
00000ac8: DUP2
00000ac9: MSTORE
00000aca: PUSH1 0x20
00000acc: SWAP1
00000acd: DUP2
00000ace: MSTORE
00000acf: PUSH32 0xadd938dbd083a16bae12238cd914fca0afc7a30edb55b1cd5c7f1823f1b0e421
00000af0: DUP3
00000af1: SWAP1
00000af2: SSTORE
00000af3: PUSH1 0x40
00000af5: DUP1
00000af6: MLOAD
00000af7: DUP4
00000af8: DUP2
00000af9: MSTORE
00000afa: SWAP1
00000afb: MLOAD
00000afc: PUSH32 0x9bebf928b90863f24cc31f726a3a7545efd409f1dcf552301b1ee3710da70d3b
00000b1d: SWAP3
00000b1e: SWAP2
00000b1f: DUP2
00000b20: SWAP1
00000b21: SUB
00000b22: SWAP1
00000b23: SWAP2
00000b24: ADD
00000b25: SWAP1
00000b26: LOG1
00000b27: POP
00000b28: JUMP
00000b29: JUMPDEST
00000b2a: PUSH3 0x015180
00000b2e: TIMESTAMP
00000b2f: DIV
00000b30: SWAP1
00000b31: JUMP
00000b32: JUMPDEST
00000b33: PUSH32 0x916daedf6915000ff68ced2f0b6773fe6f2582237f92c3c95bb4d79407230071
00000b54: PUSH1 0x00
00000b56: SWAP1
00000b57: DUP2
00000b58: MSTORE
00000b59: PUSH1 0x20
00000b5b: MSTORE
00000b5c: PUSH32 0xd2ea0feb732edb0ffe32efd33a6b9d24d46b16eb34a4d07ce256537b6f131e42
00000b7d: SLOAD
00000b7e: SWAP1
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: PUSH1 0x00
00000b83: DUP1
00000b84: PUSH1 0x00
00000b86: DUP1
00000b87: PUSH2 0x0bf8
00000b8a: DUP9
00000b8b: DUP9
00000b8c: DUP1
00000b8d: DUP1
00000b8e: PUSH1 0x1f
00000b90: ADD
00000b91: PUSH1 0x20
00000b93: DUP1
00000b94: SWAP2
00000b95: DIV
00000b96: MUL
00000b97: PUSH1 0x20
00000b99: ADD
00000b9a: PUSH1 0x40
00000b9c: MLOAD
00000b9d: SWAP1
00000b9e: DUP2
00000b9f: ADD
00000ba0: PUSH1 0x40
00000ba2: MSTORE
00000ba3: DUP1
00000ba4: SWAP4
00000ba5: SWAP3
00000ba6: SWAP2
00000ba7: SWAP1
00000ba8: DUP2
00000ba9: DUP2
00000baa: MSTORE
00000bab: PUSH1 0x20
00000bad: ADD
00000bae: DUP4
00000baf: DUP4
00000bb0: DUP1
00000bb1: DUP3
00000bb2: DUP5
00000bb3: CALLDATACOPY
00000bb4: POP
00000bb5: POP
00000bb6: PUSH1 0x40
00000bb8: DUP1
00000bb9: MLOAD
00000bba: PUSH1 0x20
00000bbc: PUSH1 0x1f
00000bbe: DUP15
00000bbf: ADD
00000bc0: DUP2
00000bc1: SWAP1
00000bc2: DIV
00000bc3: DUP2
00000bc4: MUL
00000bc5: DUP3
00000bc6: ADD
00000bc7: DUP2
00000bc8: ADD
00000bc9: SWAP1
00000bca: SWAP3
00000bcb: MSTORE
00000bcc: DUP13
00000bcd: DUP2
00000bce: MSTORE
00000bcf: SWAP5
00000bd0: POP
00000bd1: DUP13
00000bd2: SWAP4
00000bd3: POP
00000bd4: DUP12
00000bd5: SWAP3
00000bd6: POP
00000bd7: DUP3
00000bd8: SWAP2
00000bd9: POP
00000bda: DUP5
00000bdb: ADD
00000bdc: DUP4
00000bdd: DUP3
00000bde: DUP1
00000bdf: DUP3
00000be0: DUP5
00000be1: CALLDATACOPY
00000be2: POP
00000be3: PUSH2 0x0bf1
00000be6: SWAP5
00000be7: POP
00000be8: PUSH2 0x109d
00000beb: SWAP4
00000bec: POP
00000bed: POP
00000bee: POP
00000bef: POP
00000bf0: JUMP
00000bf1: JUMPDEST
00000bf2: PUSH1 0x00
00000bf4: PUSH2 0x184c
00000bf7: JUMP
00000bf8: JUMPDEST
00000bf9: PUSH2 0x0c31
00000bfc: DUP9
00000bfd: DUP9
00000bfe: DUP1
00000bff: DUP1
00000c00: PUSH1 0x1f
00000c02: ADD
00000c03: PUSH1 0x20
00000c05: DUP1
00000c06: SWAP2
00000c07: DIV
00000c08: MUL
00000c09: PUSH1 0x20
00000c0b: ADD
00000c0c: PUSH1 0x40
00000c0e: MLOAD
00000c0f: SWAP1
00000c10: DUP2
00000c11: ADD
00000c12: PUSH1 0x40
00000c14: MSTORE
00000c15: DUP1
00000c16: SWAP4
00000c17: SWAP3
00000c18: SWAP2
00000c19: SWAP1
00000c1a: DUP2
00000c1b: DUP2
00000c1c: MSTORE
00000c1d: PUSH1 0x20
00000c1f: ADD
00000c20: DUP4
00000c21: DUP4
00000c22: DUP1
00000c23: DUP3
00000c24: DUP5
00000c25: CALLDATACOPY
00000c26: POP
00000c27: PUSH2 0x1ad6
00000c2a: SWAP5
00000c2b: POP
00000c2c: POP
00000c2d: POP
00000c2e: POP
00000c2f: POP
00000c30: JUMP
00000c31: JUMPDEST
00000c32: SWAP3
00000c33: SWAP7
00000c34: POP
00000c35: SWAP1
00000c36: SWAP5
00000c37: POP
00000c38: SWAP3
00000c39: POP
00000c3a: SWAP1
00000c3b: POP
00000c3c: PUSH2 0x0c44
00000c3f: DUP4
00000c40: PUSH2 0x0edc
00000c43: JUMP
00000c44: JUMPDEST
00000c45: ISZERO
00000c46: PUSH2 0x0ce0
00000c49: JUMPI
00000c4a: PUSH1 0x01
00000c4c: PUSH1 0xa0
00000c4e: PUSH1 0x02
00000c50: EXP
00000c51: SUB
00000c52: DUP2
00000c53: AND
00000c54: ADDRESS
00000c55: EQ
00000c56: PUSH2 0x0c5e
00000c59: JUMPI
00000c5a: PUSH1 0x00
00000c5c: DUP1
00000c5d: REVERT
00000c5e: JUMPDEST
00000c5f: PUSH2 0x0c67
00000c62: DUP3
00000c63: PUSH2 0x0892
00000c66: JUMP
00000c67: JUMPDEST
00000c68: ISZERO
00000c69: PUSH2 0x0c71
00000c6c: JUMPI
00000c6d: PUSH1 0x00
00000c6f: DUP1
00000c70: REVERT
00000c71: JUMPDEST
00000c72: PUSH2 0x0c7c
00000c75: DUP3
00000c76: PUSH1 0x01
00000c78: PUSH2 0x1b11
00000c7b: JUMP
00000c7c: JUMPDEST
00000c7d: PUSH2 0x0c87
00000c80: DUP5
00000c81: DUP5
00000c82: DUP5
00000c83: PUSH2 0x1be3
00000c86: JUMP
00000c87: JUMPDEST
00000c88: ISZERO
00000c89: ISZERO
00000c8a: PUSH2 0x0c92
00000c8d: JUMPI
00000c8e: PUSH1 0x00
00000c90: DUP1
00000c91: REVERT
00000c92: JUMPDEST
00000c93: PUSH1 0x40
00000c95: DUP1
00000c96: MLOAD
00000c97: PUSH1 0x01
00000c99: PUSH1 0xa0
00000c9b: PUSH1 0x02
00000c9d: EXP
00000c9e: SUB
00000c9f: DUP7
00000ca0: AND
00000ca1: DUP2
00000ca2: MSTORE
00000ca3: PUSH1 0x20
00000ca5: DUP2
00000ca6: ADD
00000ca7: DUP6
00000ca8: SWAP1
00000ca9: MSTORE
00000caa: DUP1
00000cab: DUP3
00000cac: ADD
00000cad: DUP5
00000cae: SWAP1
00000caf: MSTORE
00000cb0: SWAP1
00000cb1: MLOAD
00000cb2: PUSH32 0x4ab7d581336d92edbea22636a613e8e76c99ac7f91137c1523db38dbfb3bf329
00000cd3: SWAP2
00000cd4: DUP2
00000cd5: SWAP1
00000cd6: SUB
00000cd7: PUSH1 0x60
00000cd9: ADD
00000cda: SWAP1
00000cdb: LOG1
00000cdc: PUSH2 0x0ceb
00000cdf: JUMP
00000ce0: JUMPDEST
00000ce1: PUSH2 0x0ceb
00000ce4: DUP5
00000ce5: DUP5
00000ce6: DUP5
00000ce7: PUSH2 0x019d
00000cea: JUMP
00000ceb: JUMPDEST
00000cec: POP
00000ced: POP
00000cee: POP
00000cef: POP
00000cf0: POP
00000cf1: POP
00000cf2: POP
00000cf3: POP
00000cf4: JUMP
00000cf5: JUMPDEST
00000cf6: PUSH32 0xba4690f500000000000000000000000000000000000000000000000000000000
00000d17: SWAP1
00000d18: JUMP
00000d19: JUMPDEST
00000d1a: PUSH32 0x21dbcab260e413c20dc13c28b7db95e2b423d1135f42bb8b7d5214a92270d237
00000d3b: PUSH1 0x00
00000d3d: SWAP1
00000d3e: DUP2
00000d3f: MSTORE
00000d40: PUSH1 0x20
00000d42: MSTORE
00000d43: PUSH32 0xadd938dbd083a16bae12238cd914fca0afc7a30edb55b1cd5c7f1823f1b0e421
00000d64: SLOAD
00000d65: SWAP1
00000d66: JUMP
00000d67: JUMPDEST
00000d68: PUSH1 0x00
00000d6a: DUP1
00000d6b: PUSH1 0x00
00000d6d: DUP4
00000d6e: PUSH1 0x40
00000d70: MLOAD
00000d71: PUSH1 0x20
00000d73: ADD
00000d74: DUP1
00000d75: DUP1
00000d76: PUSH32 0x746f74616c457865637574656450657244617900000000000000000000000000
00000d97: DUP2
00000d98: MSTORE
00000d99: POP
00000d9a: PUSH1 0x13
00000d9c: ADD
00000d9d: DUP3
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x20
00000da2: ADD
00000da3: SWAP2
00000da4: POP
00000da5: POP
00000da6: PUSH1 0x40
00000da8: MLOAD
00000da9: PUSH1 0x20
00000dab: DUP2
00000dac: DUP4
00000dad: SUB
00000dae: SUB
00000daf: DUP2
00000db0: MSTORE
00000db1: SWAP1
00000db2: PUSH1 0x40
00000db4: MSTORE
00000db5: PUSH1 0x40
00000db7: MLOAD
00000db8: DUP1
00000db9: DUP3
00000dba: DUP1
00000dbb: MLOAD
00000dbc: SWAP1
00000dbd: PUSH1 0x20
00000dbf: ADD
00000dc0: SWAP1
00000dc1: DUP1
00000dc2: DUP4
00000dc3: DUP4
00000dc4: PUSH1 0x20
00000dc6: DUP4
00000dc7: LT
00000dc8: PUSH2 0x09d7
00000dcb: JUMPI
00000dcc: DUP1
00000dcd: MLOAD
00000dce: DUP3
00000dcf: MSTORE
00000dd0: PUSH1 0x1f
00000dd2: NOT
00000dd3: SWAP1
00000dd4: SWAP3
00000dd5: ADD
00000dd6: SWAP2
00000dd7: PUSH1 0x20
00000dd9: SWAP2
00000dda: DUP3
00000ddb: ADD
00000ddc: SWAP2
00000ddd: ADD
00000dde: PUSH2 0x09b8
00000de1: JUMP
00000de2: JUMPDEST
00000de3: PUSH32 0x4a6a899679f26b73530d8cf1001e83b6f7702e04b6fdb98f3c62dc7e47e041a5
00000e04: PUSH1 0x00
00000e06: SWAP1
00000e07: DUP2
00000e08: MSTORE
00000e09: PUSH1 0x20
00000e0b: MSTORE
00000e0c: PUSH32 0x1ab29a5cca988aee50edccdd61c5bcaa7ad4b29a03b7ee50f298ceccfe14cc4e
00000e2d: SLOAD
00000e2e: SWAP1
00000e2f: JUMP
00000e30: JUMPDEST
00000e31: ADDRESS
00000e32: PUSH1 0x01
00000e34: PUSH1 0xa0
00000e36: PUSH1 0x02
00000e38: EXP
00000e39: SUB
00000e3a: AND
00000e3b: PUSH4 0x6fde8202
00000e40: PUSH1 0x40
00000e42: MLOAD
00000e43: DUP2
00000e44: PUSH4 0xffffffff
00000e49: AND
00000e4a: PUSH1 0xe0
00000e4c: PUSH1 0x02
00000e4e: EXP
00000e4f: MUL
00000e50: DUP2
00000e51: MSTORE
00000e52: PUSH1 0x04
00000e54: ADD
00000e55: PUSH1 0x20
00000e57: PUSH1 0x40
00000e59: MLOAD
00000e5a: DUP1
00000e5b: DUP4
00000e5c: SUB
00000e5d: DUP2
00000e5e: PUSH1 0x00
00000e60: DUP8
00000e61: DUP1
00000e62: EXTCODESIZE
00000e63: ISZERO
00000e64: DUP1
00000e65: ISZERO
00000e66: PUSH2 0x0e6e
00000e69: JUMPI
00000e6a: PUSH1 0x00
00000e6c: DUP1
00000e6d: REVERT
00000e6e: JUMPDEST
00000e6f: POP
00000e70: GAS
00000e71: CALL
00000e72: ISZERO
00000e73: DUP1
00000e74: ISZERO
00000e75: PUSH2 0x0e82
00000e78: JUMPI
00000e79: RETURNDATASIZE
00000e7a: PUSH1 0x00
00000e7c: DUP1
00000e7d: RETURNDATACOPY
00000e7e: RETURNDATASIZE
00000e7f: PUSH1 0x00
00000e81: REVERT
00000e82: JUMPDEST
00000e83: POP
00000e84: POP
00000e85: POP
00000e86: POP
00000e87: PUSH1 0x40
00000e89: MLOAD
00000e8a: RETURNDATASIZE
00000e8b: PUSH1 0x20
00000e8d: DUP2
00000e8e: LT
00000e8f: ISZERO
00000e90: PUSH2 0x0e98
00000e93: JUMPI
00000e94: PUSH1 0x00
00000e96: DUP1
00000e97: REVERT
00000e98: JUMPDEST
00000e99: POP
00000e9a: MLOAD
00000e9b: PUSH1 0x01
00000e9d: PUSH1 0xa0
00000e9f: PUSH1 0x02
00000ea1: EXP
00000ea2: SUB
00000ea3: AND
00000ea4: CALLER
00000ea5: EQ
00000ea6: PUSH2 0x0eae
00000ea9: JUMPI
00000eaa: PUSH1 0x00
00000eac: DUP1
00000ead: REVERT
00000eae: JUMPDEST
00000eaf: PUSH2 0x0eb6
00000eb2: PUSH2 0x083b
00000eb5: JUMP
00000eb6: JUMPDEST
00000eb7: PUSH1 0x01
00000eb9: PUSH1 0xa0
00000ebb: PUSH1 0x02
00000ebd: EXP
00000ebe: SUB
00000ebf: DUP4
00000ec0: DUP2
00000ec1: AND
00000ec2: SWAP2
00000ec3: AND
00000ec4: EQ
00000ec5: ISZERO
00000ec6: PUSH2 0x0ece
00000ec9: JUMPI
00000eca: PUSH1 0x00
00000ecc: DUP1
00000ecd: REVERT
00000ece: JUMPDEST
00000ecf: PUSH2 0x0ed8
00000ed2: DUP3
00000ed3: DUP3
00000ed4: PUSH2 0x1c30
00000ed7: JUMP
00000ed8: JUMPDEST
00000ed9: POP
00000eda: POP
00000edb: JUMP
00000edc: JUMPDEST
00000edd: PUSH1 0x00
00000edf: DUP1
00000ee0: PUSH2 0x0eff
00000ee3: DUP4
00000ee4: PUSH2 0x0ef3
00000ee7: PUSH2 0x0eee
00000eea: PUSH2 0x0b29
00000eed: JUMP
00000eee: JUMPDEST
00000eef: PUSH2 0x0d67
00000ef2: JUMP
00000ef3: JUMPDEST
00000ef4: SWAP1
00000ef5: PUSH4 0xffffffff
00000efa: PUSH2 0x1c6e
00000efd: AND
00000efe: JUMP
00000eff: JUMPDEST
00000f00: SWAP1
00000f01: POP
00000f02: DUP1
00000f03: PUSH2 0x0f0a
00000f06: PUSH2 0x0d19
00000f09: JUMP
00000f0a: JUMPDEST
00000f0b: LT
00000f0c: ISZERO
00000f0d: DUP1
00000f0e: ISZERO
00000f0f: PUSH2 0x0f1f
00000f12: JUMPI
00000f13: POP
00000f14: PUSH2 0x0f1b
00000f17: PUSH2 0x0f26
00000f1a: JUMP
00000f1b: JUMPDEST
00000f1c: DUP4
00000f1d: GT
00000f1e: ISZERO
00000f1f: JUMPDEST
00000f20: SWAP4
00000f21: SWAP3
00000f22: POP
00000f23: POP
00000f24: POP
00000f25: JUMP
00000f26: JUMPDEST
00000f27: PUSH32 0xc0ed44c192c86d1cc1ba51340b032c2766b4a2b0041031de13c46dd7104888d5
00000f48: PUSH1 0x00
00000f4a: SWAP1
00000f4b: DUP2
00000f4c: MSTORE
00000f4d: PUSH1 0x20
00000f4f: MSTORE
00000f50: PUSH32 0xf8e983ee86e5e377e9e34c9131b266382c3f04113d20de077f9e12663c7a646b
00000f71: SLOAD
00000f72: SWAP1
00000f73: JUMP
00000f74: JUMPDEST
00000f75: PUSH1 0x00
00000f77: PUSH2 0x0f7e
00000f7a: PUSH2 0x109d
00000f7d: JUMP
00000f7e: JUMPDEST
00000f7f: PUSH1 0x01
00000f81: PUSH1 0xa0
00000f83: PUSH1 0x02
00000f85: EXP
00000f86: SUB
00000f87: AND
00000f88: PUSH4 0x8d068043
00000f8d: PUSH1 0x40
00000f8f: MLOAD
00000f90: DUP2
00000f91: PUSH4 0xffffffff
00000f96: AND
00000f97: PUSH1 0xe0
00000f99: PUSH1 0x02
00000f9b: EXP
00000f9c: MUL
00000f9d: DUP2
00000f9e: MSTORE
00000f9f: PUSH1 0x04
00000fa1: ADD
00000fa2: PUSH1 0x20
00000fa4: PUSH1 0x40
00000fa6: MLOAD
00000fa7: DUP1
00000fa8: DUP4
00000fa9: SUB
00000faa: DUP2
00000fab: PUSH1 0x00
00000fad: DUP8
00000fae: DUP1
00000faf: EXTCODESIZE
00000fb0: ISZERO
00000fb1: DUP1
00000fb2: ISZERO
00000fb3: PUSH2 0x0fbb
00000fb6: JUMPI
00000fb7: PUSH1 0x00
00000fb9: DUP1
00000fba: REVERT
00000fbb: JUMPDEST
00000fbc: POP
00000fbd: GAS
00000fbe: CALL
00000fbf: ISZERO
00000fc0: DUP1
00000fc1: ISZERO
00000fc2: PUSH2 0x0fcf
00000fc5: JUMPI
00000fc6: RETURNDATASIZE
00000fc7: PUSH1 0x00
00000fc9: DUP1
00000fca: RETURNDATACOPY
00000fcb: RETURNDATASIZE
00000fcc: PUSH1 0x00
00000fce: REVERT
00000fcf: JUMPDEST
00000fd0: POP
00000fd1: POP
00000fd2: POP
00000fd3: POP
00000fd4: PUSH1 0x40
00000fd6: MLOAD
00000fd7: RETURNDATASIZE
00000fd8: PUSH1 0x20
00000fda: DUP2
00000fdb: LT
00000fdc: ISZERO
00000fdd: PUSH2 0x0fe5
00000fe0: JUMPI
00000fe1: PUSH1 0x00
00000fe3: DUP1
00000fe4: REVERT
00000fe5: JUMPDEST
00000fe6: POP
00000fe7: MLOAD
00000fe8: SWAP1
00000fe9: POP
00000fea: SWAP1
00000feb: JUMP
00000fec: JUMPDEST
00000fed: PUSH32 0x02016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0
0000100e: PUSH1 0x00
00001010: MSTORE
00001011: PUSH1 0x02
00001013: PUSH1 0x20
00001015: MSTORE
00001016: PUSH32 0xb7802e97e87ef2842a6cce7da7ffaeaedaa2f61a6a7870b23d9d01fc9b73712e
00001037: SLOAD
00001038: PUSH1 0x01
0000103a: PUSH1 0xa0
0000103c: PUSH1 0x02
0000103e: EXP
0000103f: SUB
00001040: AND
00001041: SWAP1
00001042: JUMP
00001043: JUMPDEST
00001044: PUSH1 0x00
00001046: DUP1
00001047: PUSH1 0x00
00001049: DUP1
0000104a: PUSH1 0x00
0000104c: PUSH2 0x1053
0000104f: PUSH2 0x1516
00001052: JUMP
00001053: JUMPDEST
00001054: SWAP4
00001055: POP
00001056: PUSH2 0x105d
00001059: PUSH2 0x0de2
0000105c: JUMP
0000105d: JUMPDEST
0000105e: SWAP3
0000105f: POP
00001060: PUSH2 0x106f
00001063: PUSH2 0x106a
00001066: PUSH2 0x0b29
00001069: JUMP
0000106a: JUMPDEST
0000106b: PUSH2 0x095b
0000106e: JUMP
0000106f: JUMPDEST
00001070: SWAP2
00001071: POP
00001072: DUP2
00001073: DUP4
00001074: GT
00001075: PUSH2 0x107f
00001078: JUMPI
00001079: PUSH1 0x00
0000107b: PUSH2 0x1083
0000107e: JUMP
0000107f: JUMPDEST
00001080: DUP2
00001081: DUP4
00001082: SUB
00001083: JUMPDEST
00001084: SWAP1
00001085: POP
00001086: DUP1
00001087: DUP5
00001088: LT
00001089: PUSH2 0x1092
0000108c: JUMPI
0000108d: DUP1
0000108e: PUSH2 0x1094
00001091: JUMP
00001092: JUMPDEST
00001093: DUP4
00001094: JUMPDEST
00001095: SWAP5
00001096: POP
00001097: POP
00001098: POP
00001099: POP
0000109a: POP
0000109b: SWAP1
0000109c: JUMP
0000109d: JUMPDEST
0000109e: PUSH32 0x5a74bb7e202fb8e4bf311841c7d64ec19df195fee77d7e7ae749b27921b6ddfe
000010bf: PUSH1 0x00
000010c1: MSTORE
000010c2: PUSH1 0x02
000010c4: PUSH1 0x20
000010c6: MSTORE
000010c7: PUSH32 0xab54f3fbbe62c59b7876a9bf9bd5e0c22dbae93f4d8ee0438f7ce62b198eb0e0
000010e8: SLOAD
000010e9: PUSH1 0x01
000010eb: PUSH1 0xa0
000010ed: PUSH1 0x02
000010ef: EXP
000010f0: SUB
000010f1: AND
000010f2: SWAP1
000010f3: JUMP
000010f4: JUMPDEST
000010f5: PUSH32 0xb120ceec05576ad0c710bc6e85f1768535e27554458f05dcbb5c65b8c7a749b0
00001116: PUSH1 0x00
00001118: SWAP1
00001119: DUP2
0000111a: MSTORE
0000111b: PUSH1 0x20
0000111d: MSTORE
0000111e: PUSH32 0xe66bef0282a446f9848e2903380099bb6e431483ee78778868f33b4a154c818b
0000113f: SLOAD
00001140: SWAP1
00001141: JUMP
00001142: JUMPDEST
00001143: PUSH1 0x05
00001145: PUSH1 0x02
00001147: PUSH1 0x00
00001149: SWAP1
0000114a: SWAP2
0000114b: SWAP3
0000114c: JUMP
0000114d: JUMPDEST
0000114e: PUSH2 0x1155
00001151: PUSH2 0x0fec
00001154: JUMP
00001155: JUMPDEST
00001156: PUSH1 0x01
00001158: PUSH1 0xa0
0000115a: PUSH1 0x02
0000115c: EXP
0000115d: SUB
0000115e: AND
0000115f: CALLER
00001160: EQ
00001161: PUSH2 0x1169
00001164: JUMPI
00001165: PUSH1 0x00
00001167: DUP1
00001168: REVERT
00001169: JUMPDEST
0000116a: PUSH1 0x00
0000116c: DUP2
0000116d: GT
0000116e: DUP1
0000116f: ISZERO
00001170: PUSH2 0x117f
00001173: JUMPI
00001174: POP
00001175: PUSH2 0x117c
00001178: PUSH2 0x0de2
0000117b: JUMP
0000117c: JUMPDEST
0000117d: DUP2
0000117e: LT
0000117f: JUMPDEST
00001180: DUP1
00001181: ISZERO
00001182: PUSH2 0x1191
00001185: JUMPI
00001186: POP
00001187: PUSH2 0x118e
0000118a: PUSH2 0x1516
0000118d: JUMP
0000118e: JUMPDEST
0000118f: DUP2
00001190: LT
00001191: JUMPDEST
00001192: ISZERO
00001193: ISZERO
00001194: PUSH2 0x119c
00001197: JUMPI
00001198: PUSH1 0x00
0000119a: DUP1
0000119b: REVERT
0000119c: JUMPDEST
0000119d: PUSH32 0xbbb088c505d18e049d114c7c91f11724e69c55ad6c5397e2b929e68b41fa05d1
000011be: PUSH1 0x00
000011c0: SWAP1
000011c1: DUP2
000011c2: MSTORE
000011c3: PUSH1 0x20
000011c5: MSTORE
000011c6: PUSH32 0x8df5c48c6b6e11d97548adc824ba0c99103ec09830fa5d53a179984085e6eaa0
000011e7: SSTORE
000011e8: JUMP
000011e9: JUMPDEST
000011ea: PUSH2 0x11f1
000011ed: PUSH2 0x0fec
000011f0: JUMP
000011f1: JUMPDEST
000011f2: PUSH1 0x01
000011f4: PUSH1 0xa0
000011f6: PUSH1 0x02
000011f8: EXP
000011f9: SUB
000011fa: AND
000011fb: CALLER
000011fc: EQ
000011fd: PUSH2 0x1205
00001200: JUMPI
00001201: PUSH1 0x00
00001203: DUP1
00001204: REVERT
00001205: JUMPDEST
00001206: PUSH2 0x120e
00001209: DUP2
0000120a: PUSH2 0x1c81
0000120d: JUMP
0000120e: JUMPDEST
0000120f: POP
00001210: JUMP
00001211: JUMPDEST
00001212: PUSH2 0x1219
00001215: PUSH2 0x0fec
00001218: JUMP
00001219: JUMPDEST
0000121a: PUSH1 0x01
0000121c: PUSH1 0xa0
0000121e: PUSH1 0x02
00001220: EXP
00001221: SUB
00001222: AND
00001223: CALLER
00001224: EQ
00001225: PUSH2 0x122d
00001228: JUMPI
00001229: PUSH1 0x00
0000122b: DUP1
0000122c: REVERT
0000122d: JUMPDEST
0000122e: PUSH2 0x1235
00001231: PUSH2 0x1516
00001234: JUMP
00001235: JUMPDEST
00001236: DUP2
00001237: GT
00001238: DUP1
00001239: PUSH2 0x1240
0000123c: JUMPI
0000123d: POP
0000123e: DUP1
0000123f: ISZERO
00001240: JUMPDEST
00001241: ISZERO
00001242: ISZERO
00001243: PUSH2 0x124b
00001246: JUMPI
00001247: PUSH1 0x00
00001249: DUP1
0000124a: REVERT
0000124b: JUMPDEST
0000124c: PUSH32 0x4a6a899679f26b73530d8cf1001e83b6f7702e04b6fdb98f3c62dc7e47e041a5
0000126d: PUSH1 0x00
0000126f: SWAP1
00001270: DUP2
00001271: MSTORE
00001272: PUSH1 0x20
00001274: SWAP1
00001275: DUP2
00001276: MSTORE
00001277: PUSH32 0x1ab29a5cca988aee50edccdd61c5bcaa7ad4b29a03b7ee50f298ceccfe14cc4e
00001298: DUP3
00001299: SWAP1
0000129a: SSTORE
0000129b: PUSH1 0x40
0000129d: DUP1
0000129e: MLOAD
0000129f: DUP4
000012a0: DUP2
000012a1: MSTORE
000012a2: SWAP1
000012a3: MLOAD
000012a4: PUSH32 0xad4123ae17c414d9c6d2fec478b402e6b01856cc250fd01fbfd252fda0089d3c
000012c5: SWAP3
000012c6: SWAP2
000012c7: DUP2
000012c8: SWAP1
000012c9: SUB
000012ca: SWAP1
000012cb: SWAP2
000012cc: ADD
000012cd: SWAP1
000012ce: LOG1
000012cf: POP
000012d0: JUMP
000012d1: JUMPDEST
000012d2: PUSH2 0x12d9
000012d5: PUSH2 0x0fec
000012d8: JUMP
000012d9: JUMPDEST
000012da: PUSH1 0x01
000012dc: PUSH1 0xa0
000012de: PUSH1 0x02
000012e0: EXP
000012e1: SUB
000012e2: AND
000012e3: CALLER
000012e4: EQ
000012e5: PUSH2 0x12ed
000012e8: JUMPI
000012e9: PUSH1 0x00
000012eb: DUP1
000012ec: REVERT
000012ed: JUMPDEST
000012ee: PUSH2 0x120e
000012f1: DUP2
000012f2: PUSH2 0x1d14
000012f5: JUMP
000012f6: JUMPDEST
000012f7: PUSH2 0x12fe
000012fa: PUSH2 0x0fec
000012fd: JUMP
000012fe: JUMPDEST
000012ff: PUSH1 0x01
00001301: PUSH1 0xa0
00001303: PUSH1 0x02
00001305: EXP
00001306: SUB
00001307: AND
00001308: CALLER
00001309: EQ
0000130a: PUSH2 0x1312
0000130d: JUMPI
0000130e: PUSH1 0x00
00001310: DUP1
00001311: REVERT
00001312: JUMPDEST
00001313: DUP1
00001314: ISZERO
00001315: DUP1
00001316: PUSH2 0x1336
00001319: JUMPI
0000131a: POP
0000131b: PUSH2 0x1322
0000131e: PUSH2 0x13dc
00001321: JUMP
00001322: JUMPDEST
00001323: DUP2
00001324: GT
00001325: DUP1
00001326: ISZERO
00001327: PUSH2 0x1336
0000132a: JUMPI
0000132b: POP
0000132c: PUSH2 0x1333
0000132f: PUSH2 0x0de2
00001332: JUMP
00001333: JUMPDEST
00001334: DUP2
00001335: LT
00001336: JUMPDEST
00001337: ISZERO
00001338: ISZERO
00001339: PUSH2 0x1341
0000133c: JUMPI
0000133d: PUSH1 0x00
0000133f: DUP1
00001340: REVERT
00001341: JUMPDEST
00001342: PUSH32 0x0f8803acad17c63ee38bf2de71e1888bc7a079a6f73658e274b08018bea4e29c
00001363: PUSH1 0x00
00001365: SWAP1
00001366: DUP2
00001367: MSTORE
00001368: PUSH1 0x20
0000136a: MSTORE
0000136b: PUSH32 0x9de0f81379b4d8e60fe509315d071b56e7b732abaf193e74e0d15808b0951d09
0000138c: SSTORE
0000138d: JUMP
0000138e: JUMPDEST
0000138f: PUSH32 0x1e8ecaafaddea96ed9ac6d2642dcdfe1bebe58a930b1085842d8fc122b371ee5
000013b0: PUSH1 0x00
000013b2: SWAP1
000013b3: DUP2
000013b4: MSTORE
000013b5: PUSH1 0x20
000013b7: MSTORE
000013b8: PUSH32 0xd5c78dd9468716ca9bb96be25d56436811b20aab3523a9904b12deef1cab239d
000013d9: SLOAD
000013da: SWAP1
000013db: JUMP
000013dc: JUMPDEST
000013dd: PUSH32 0xbbb088c505d18e049d114c7c91f11724e69c55ad6c5397e2b929e68b41fa05d1
000013fe: PUSH1 0x00
00001400: SWAP1
00001401: DUP2
00001402: MSTORE
00001403: PUSH1 0x20
00001405: MSTORE
00001406: PUSH32 0x8df5c48c6b6e11d97548adc824ba0c99103ec09830fa5d53a179984085e6eaa0
00001427: SLOAD
00001428: SWAP1
00001429: JUMP
0000142a: JUMPDEST
0000142b: PUSH1 0x00
0000142d: DUP1
0000142e: PUSH2 0x143c
00001431: DUP4
00001432: PUSH2 0x0ef3
00001435: PUSH2 0x106a
00001438: PUSH2 0x0b29
0000143b: JUMP
0000143c: JUMPDEST
0000143d: SWAP1
0000143e: POP
0000143f: DUP1
00001440: PUSH2 0x1447
00001443: PUSH2 0x0de2
00001446: JUMP
00001447: JUMPDEST
00001448: LT
00001449: ISZERO
0000144a: DUP1
0000144b: ISZERO
0000144c: PUSH2 0x145c
0000144f: JUMPI
00001450: POP
00001451: PUSH2 0x1458
00001454: PUSH2 0x1516
00001457: JUMP
00001458: JUMPDEST
00001459: DUP4
0000145a: GT
0000145b: ISZERO
0000145c: JUMPDEST
0000145d: DUP1
0000145e: ISZERO
0000145f: PUSH2 0x0f1f
00001462: JUMPI
00001463: POP
00001464: PUSH2 0x146b
00001467: PUSH2 0x13dc
0000146a: JUMP
0000146b: JUMPDEST
0000146c: SWAP1
0000146d: SWAP3
0000146e: LT
0000146f: ISZERO
00001470: SWAP3
00001471: SWAP2
00001472: POP
00001473: POP
00001474: JUMP
00001475: JUMPDEST
00001476: PUSH2 0x147d
00001479: PUSH2 0x0fec
0000147c: JUMP
0000147d: JUMPDEST
0000147e: PUSH1 0x01
00001480: PUSH1 0xa0
00001482: PUSH1 0x02
00001484: EXP
00001485: SUB
00001486: AND
00001487: CALLER
00001488: EQ
00001489: PUSH2 0x1491
0000148c: JUMPI
0000148d: PUSH1 0x00
0000148f: DUP1
00001490: REVERT
00001491: JUMPDEST
00001492: PUSH2 0x1499
00001495: PUSH2 0x0d19
00001498: JUMP
00001499: JUMPDEST
0000149a: DUP2
0000149b: LT
0000149c: PUSH2 0x14a4
0000149f: JUMPI
000014a0: PUSH1 0x00
000014a2: DUP1
000014a3: REVERT
000014a4: JUMPDEST
000014a5: PUSH32 0xc0ed44c192c86d1cc1ba51340b032c2766b4a2b0041031de13c46dd7104888d5
000014c6: PUSH1 0x00
000014c8: SWAP1
000014c9: DUP2
000014ca: MSTORE
000014cb: PUSH1 0x20
000014cd: MSTORE
000014ce: PUSH32 0xf8e983ee86e5e377e9e34c9131b266382c3f04113d20de077f9e12663c7a646b
000014ef: SSTORE
000014f0: JUMP
000014f1: JUMPDEST
000014f2: PUSH2 0x14f9
000014f5: PUSH2 0x0fec
000014f8: JUMP
000014f9: JUMPDEST
000014fa: PUSH1 0x01
000014fc: PUSH1 0xa0
000014fe: PUSH1 0x02
00001500: EXP
00001501: SUB
00001502: AND
00001503: CALLER
00001504: EQ
00001505: PUSH2 0x150d
00001508: JUMPI
00001509: PUSH1 0x00
0000150b: DUP1
0000150c: REVERT
0000150d: JUMPDEST
0000150e: PUSH2 0x120e
00001511: DUP2
00001512: PUSH2 0x1d2a
00001515: JUMP
00001516: JUMPDEST
00001517: PUSH32 0x0f8803acad17c63ee38bf2de71e1888bc7a079a6f73658e274b08018bea4e29c
00001538: PUSH1 0x00
0000153a: SWAP1
0000153b: DUP2
0000153c: MSTORE
0000153d: PUSH1 0x20
0000153f: MSTORE
00001540: PUSH32 0x9de0f81379b4d8e60fe509315d071b56e7b732abaf193e74e0d15808b0951d09
00001561: SLOAD
00001562: SWAP1
00001563: JUMP
00001564: JUMPDEST
00001565: PUSH32 0x55b3774520b5993024893d303890baa4e84b1244a43c60034d1ced2d3cf2b04b
00001586: PUSH1 0x00
00001588: SWAP1
00001589: DUP2
0000158a: MSTORE
0000158b: PUSH1 0x20
0000158d: MSTORE
0000158e: PUSH32 0xf7d5eefab3776d7f0450bd0193564bcb4f832ce313ff2836c450fc63a4b94419
000015af: SLOAD
000015b0: SWAP1
000015b1: JUMP
000015b2: JUMPDEST
000015b3: PUSH2 0x15bf
000015b6: DUP2
000015b7: PUSH2 0x0ef3
000015ba: DUP5
000015bb: PUSH2 0x095b
000015be: JUMP
000015bf: JUMPDEST
000015c0: PUSH1 0x00
000015c2: DUP1
000015c3: DUP5
000015c4: PUSH1 0x40
000015c6: MLOAD
000015c7: PUSH1 0x20
000015c9: ADD
000015ca: DUP1
000015cb: DUP1
000015cc: PUSH32 0x746f74616c5370656e7450657244617900000000000000000000000000000000
000015ed: DUP2
000015ee: MSTORE
000015ef: POP
000015f0: PUSH1 0x10
000015f2: ADD
000015f3: DUP3
000015f4: DUP2
000015f5: MSTORE
000015f6: PUSH1 0x20
000015f8: ADD
000015f9: SWAP2
000015fa: POP
000015fb: POP
000015fc: PUSH1 0x40
000015fe: MLOAD
000015ff: PUSH1 0x20
00001601: DUP2
00001602: DUP4
00001603: SUB
00001604: SUB
00001605: DUP2
00001606: MSTORE
00001607: SWAP1
00001608: PUSH1 0x40
0000160a: MSTORE
0000160b: PUSH1 0x40
0000160d: MLOAD
0000160e: DUP1
0000160f: DUP3
00001610: DUP1
00001611: MLOAD
00001612: SWAP1
00001613: PUSH1 0x20
00001615: ADD
00001616: SWAP1
00001617: DUP1
00001618: DUP4
00001619: DUP4
0000161a: JUMPDEST
0000161b: PUSH1 0x20
0000161d: DUP4
0000161e: LT
0000161f: PUSH2 0x1639
00001622: JUMPI
00001623: DUP1
00001624: MLOAD
00001625: DUP3
00001626: MSTORE
00001627: PUSH1 0x1f
00001629: NOT
0000162a: SWAP1
0000162b: SWAP3
0000162c: ADD
0000162d: SWAP2
0000162e: PUSH1 0x20
00001630: SWAP2
00001631: DUP3
00001632: ADD
00001633: SWAP2
00001634: ADD
00001635: PUSH2 0x161a
00001638: JUMP
00001639: JUMPDEST
0000163a: MLOAD
0000163b: DUP2
0000163c: MLOAD
0000163d: PUSH1 0x20
0000163f: SWAP4
00001640: DUP5
00001641: SUB
00001642: PUSH2 0x0100
00001645: EXP
00001646: PUSH1 0x00
00001648: NOT
00001649: ADD
0000164a: DUP1
0000164b: NOT
0000164c: SWAP1
0000164d: SWAP3
0000164e: AND
0000164f: SWAP2
00001650: AND
00001651: OR
00001652: SWAP1
00001653: MSTORE
00001654: PUSH1 0x40
00001656: DUP1
00001657: MLOAD
00001658: SWAP3
00001659: SWAP1
0000165a: SWAP5
0000165b: ADD
0000165c: DUP3
0000165d: SWAP1
0000165e: SUB
0000165f: SWAP1
00001660: SWAP2
00001661: KECCAK256
00001662: DUP7
00001663: MSTORE
00001664: DUP6
00001665: ADD
00001666: SWAP6
00001667: SWAP1
00001668: SWAP6
00001669: MSTORE
0000166a: SWAP3
0000166b: SWAP1
0000166c: SWAP3
0000166d: ADD
0000166e: PUSH1 0x00
00001670: KECCAK256
00001671: SWAP4
00001672: SWAP1
00001673: SWAP4
00001674: SSTORE
00001675: POP
00001676: POP
00001677: POP
00001678: POP
00001679: POP
0000167a: JUMP
0000167b: JUMPDEST
0000167c: PUSH1 0x40
0000167e: DUP1
0000167f: MLOAD
00001680: PUSH32 0x23b872dd00000000000000000000000000000000000000000000000000000000
000016a1: DUP2
000016a2: MSTORE
000016a3: PUSH1 0x01
000016a5: PUSH1 0xa0
000016a7: PUSH1 0x02
000016a9: EXP
000016aa: SUB
000016ab: DUP5
000016ac: DUP2
000016ad: AND
000016ae: PUSH1 0x04
000016b0: DUP4
000016b1: ADD
000016b2: MSTORE
000016b3: ADDRESS
000016b4: PUSH1 0x24
000016b6: DUP4
000016b7: ADD
000016b8: MSTORE
000016b9: PUSH1 0x44
000016bb: DUP3
000016bc: ADD
000016bd: DUP5
000016be: SWAP1
000016bf: MSTORE
000016c0: SWAP2
000016c1: MLOAD
000016c2: SWAP2
000016c3: DUP6
000016c4: AND
000016c5: SWAP2
000016c6: PUSH4 0x23b872dd
000016cb: SWAP2
000016cc: PUSH1 0x64
000016ce: DUP1
000016cf: DUP3
000016d0: ADD
000016d1: SWAP3
000016d2: PUSH1 0x00
000016d4: SWAP3
000016d5: SWAP1
000016d6: SWAP2
000016d7: SWAP1
000016d8: DUP3
000016d9: SWAP1
000016da: SUB
000016db: ADD
000016dc: DUP2
000016dd: DUP4
000016de: DUP8
000016df: DUP1
000016e0: EXTCODESIZE
000016e1: ISZERO
000016e2: DUP1
000016e3: ISZERO
000016e4: PUSH2 0x16ec
000016e7: JUMPI
000016e8: PUSH1 0x00
000016ea: DUP1
000016eb: REVERT
000016ec: JUMPDEST
000016ed: POP
000016ee: GAS
000016ef: CALL
000016f0: ISZERO
000016f1: DUP1
000016f2: ISZERO
000016f3: PUSH2 0x1700
000016f6: JUMPI
000016f7: RETURNDATASIZE
000016f8: PUSH1 0x00
000016fa: DUP1
000016fb: RETURNDATACOPY
000016fc: RETURNDATASIZE
000016fd: PUSH1 0x00
000016ff: REVERT
00001700: JUMPDEST
00001701: POP
00001702: POP
00001703: POP
00001704: POP
00001705: RETURNDATASIZE
00001706: ISZERO
00001707: PUSH2 0x171e
0000170a: JUMPI
0000170b: PUSH1 0x20
0000170d: PUSH1 0x00
0000170f: DUP1
00001710: RETURNDATACOPY
00001711: PUSH1 0x00
00001713: MLOAD
00001714: ISZERO
00001715: ISZERO
00001716: PUSH2 0x171e
00001719: JUMPI
0000171a: PUSH1 0x00
0000171c: DUP1
0000171d: REVERT
0000171e: JUMPDEST
0000171f: POP
00001720: POP
00001721: POP
00001722: JUMP
00001723: JUMPDEST
00001724: PUSH2 0x172b
00001727: PUSH2 0x0a18
0000172a: JUMP
0000172b: JUMPDEST
0000172c: ISZERO
0000172d: PUSH2 0x1735
00001730: JUMPI
00001731: PUSH1 0x00
00001733: DUP1
00001734: REVERT
00001735: JUMPDEST
00001736: PUSH2 0x173e
00001739: DUP9
0000173a: PUSH2 0x1e01
0000173d: JUMP
0000173e: JUMPDEST
0000173f: ISZERO
00001740: ISZERO
00001741: PUSH2 0x1749
00001744: JUMPI
00001745: PUSH1 0x00
00001747: DUP1
00001748: REVERT
00001749: JUMPDEST
0000174a: PUSH32 0x5a74bb7e202fb8e4bf311841c7d64ec19df195fee77d7e7ae749b27921b6ddfe
0000176b: PUSH1 0x00
0000176d: MSTORE
0000176e: PUSH1 0x02
00001770: PUSH1 0x20
00001772: MSTORE
00001773: PUSH32 0xab54f3fbbe62c59b7876a9bf9bd5e0c22dbae93f4d8ee0438f7ce62b198eb0e0
00001794: DUP1
00001795: SLOAD
00001796: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000017ab: NOT
000017ac: AND
000017ad: PUSH1 0x01
000017af: PUSH1 0xa0
000017b1: PUSH1 0x02
000017b3: EXP
000017b4: SUB
000017b5: DUP11
000017b6: AND
000017b7: OR
000017b8: SWAP1
000017b9: SSTORE
000017ba: PUSH2 0x17c2
000017bd: DUP8
000017be: PUSH2 0x1e09
000017c1: JUMP
000017c2: JUMPDEST
000017c3: PUSH32 0xb120ceec05576ad0c710bc6e85f1768535e27554458f05dcbb5c65b8c7a749b0
000017e4: PUSH1 0x00
000017e6: SWAP1
000017e7: DUP2
000017e8: MSTORE
000017e9: PUSH1 0x20
000017eb: MSTORE
000017ec: NUMBER
000017ed: PUSH32 0xe66bef0282a446f9848e2903380099bb6e431483ee78778868f33b4a154c818b
0000180e: SSTORE
0000180f: PUSH2 0x1817
00001812: DUP7
00001813: PUSH2 0x1c81
00001816: JUMP
00001817: JUMPDEST
00001818: PUSH2 0x1820
0000181b: DUP6
0000181c: PUSH2 0x1d14
0000181f: JUMP
00001820: JUMPDEST
00001821: PUSH2 0x1829
00001824: DUP5
00001825: PUSH2 0x1e94
00001828: JUMP
00001829: JUMPDEST
0000182a: PUSH2 0x1832
0000182d: DUP4
0000182e: PUSH2 0x1ff1
00001831: JUMP
00001832: JUMPDEST
00001833: PUSH2 0x183b
00001836: DUP2
00001837: PUSH2 0x20c6
0000183a: JUMP
0000183b: JUMPDEST
0000183c: PUSH2 0x1844
0000183f: DUP3
00001840: PUSH2 0x1d2a
00001843: JUMP
00001844: JUMPDEST
00001845: PUSH2 0x0ceb
00001848: PUSH2 0x212f
0000184b: JUMP
0000184c: JUMPDEST
0000184d: PUSH1 0x00
0000184f: DUP1
00001850: PUSH1 0x00
00001852: PUSH1 0x60
00001854: PUSH1 0x00
00001856: DUP1
00001857: PUSH1 0x00
00001859: DUP1
0000185a: PUSH1 0x00
0000185c: DUP1
0000185d: PUSH1 0x00
0000185f: DUP12
00001860: DUP1
00001861: PUSH2 0x186e
00001864: JUMPI
00001865: POP
00001866: PUSH2 0x186e
00001869: DUP16
0000186a: PUSH2 0x2186
0000186d: JUMP
0000186e: JUMPDEST
0000186f: ISZERO
00001870: ISZERO
00001871: PUSH2 0x1879
00001874: JUMPI
00001875: PUSH1 0x00
00001877: DUP1
00001878: REVERT
00001879: JUMPDEST
0000187a: DUP13
0000187b: PUSH1 0x01
0000187d: PUSH1 0xa0
0000187f: PUSH1 0x02
00001881: EXP
00001882: SUB
00001883: AND
00001884: PUSH4 0x8d068043
00001889: PUSH1 0x40
0000188b: MLOAD
0000188c: DUP2
0000188d: PUSH4 0xffffffff
00001892: AND
00001893: PUSH1 0xe0
00001895: PUSH1 0x02
00001897: EXP
00001898: MUL
00001899: DUP2
0000189a: MSTORE
0000189b: PUSH1 0x04
0000189d: ADD
0000189e: PUSH1 0x20
000018a0: PUSH1 0x40
000018a2: MLOAD
000018a3: DUP1
000018a4: DUP4
000018a5: SUB
000018a6: DUP2
000018a7: PUSH1 0x00
000018a9: DUP8
000018aa: DUP1
000018ab: EXTCODESIZE
000018ac: ISZERO
000018ad: DUP1
000018ae: ISZERO
000018af: PUSH2 0x18b7
000018b2: JUMPI
000018b3: PUSH1 0x00
000018b5: DUP1
000018b6: REVERT
000018b7: JUMPDEST
000018b8: POP
000018b9: GAS
000018ba: CALL
000018bb: ISZERO
000018bc: DUP1
000018bd: ISZERO
000018be: PUSH2 0x18cb
000018c1: JUMPI
000018c2: RETURNDATASIZE
000018c3: PUSH1 0x00
000018c5: DUP1
000018c6: RETURNDATACOPY
000018c7: RETURNDATASIZE
000018c8: PUSH1 0x00
000018ca: REVERT
000018cb: JUMPDEST
000018cc: POP
000018cd: POP
000018ce: POP
000018cf: POP
000018d0: PUSH1 0x40
000018d2: MLOAD
000018d3: RETURNDATASIZE
000018d4: PUSH1 0x20
000018d6: DUP2
000018d7: LT
000018d8: ISZERO
000018d9: PUSH2 0x18e1
000018dc: JUMPI
000018dd: PUSH1 0x00
000018df: DUP1
000018e0: REVERT
000018e1: JUMPDEST
000018e2: POP
000018e3: MLOAD
000018e4: PUSH1 0x01
000018e6: DUP16
000018e7: ADD
000018e8: MLOAD
000018e9: SWAP1
000018ea: SWAP12
000018eb: POP
000018ec: PUSH1 0xff
000018ee: AND
000018ef: SWAP10
000018f0: POP
000018f1: DUP11
000018f2: DUP11
000018f3: LT
000018f4: ISZERO
000018f5: PUSH2 0x18fd
000018f8: JUMPI
000018f9: PUSH1 0x00
000018fb: DUP1
000018fc: REVERT
000018fd: JUMPDEST
000018fe: PUSH2 0x1907
00001901: DUP16
00001902: DUP14
00001903: PUSH2 0x219a
00001906: JUMP
00001907: JUMPDEST
00001908: SWAP9
00001909: POP
0000190a: DUP11
0000190b: PUSH1 0x40
0000190d: MLOAD
0000190e: SWAP1
0000190f: DUP1
00001910: DUP3
00001911: MSTORE
00001912: DUP1
00001913: PUSH1 0x20
00001915: MUL
00001916: PUSH1 0x20
00001918: ADD
00001919: DUP3
0000191a: ADD
0000191b: PUSH1 0x40
0000191d: MSTORE
0000191e: DUP1
0000191f: ISZERO
00001920: PUSH2 0x1933
00001923: JUMPI
00001924: DUP2
00001925: PUSH1 0x20
00001927: ADD
00001928: PUSH1 0x20
0000192a: DUP3
0000192b: MUL
0000192c: DUP1
0000192d: CODESIZE
0000192e: DUP4
0000192f: CODECOPY
00001930: ADD
00001931: SWAP1
00001932: POP
00001933: JUMPDEST
00001934: POP
00001935: SWAP8
00001936: POP
00001937: PUSH1 0x00
00001939: SWAP7
0000193a: POP
0000193b: JUMPDEST
0000193c: DUP11
0000193d: DUP8
0000193e: LT
0000193f: ISZERO
00001940: PUSH2 0x1ac5
00001943: JUMPI
00001944: DUP7
00001945: PUSH1 0x20
00001947: MUL
00001948: DUP11
00001949: PUSH1 0x21
0000194b: ADD
0000194c: ADD
0000194d: SWAP3
0000194e: POP
0000194f: DUP10
00001950: PUSH1 0x20
00001952: MUL
00001953: DUP4
00001954: ADD
00001955: SWAP2
00001956: POP
00001957: DUP7
00001958: PUSH1 0x02
0000195a: ADD
0000195b: DUP15
0000195c: ADD
0000195d: MLOAD
0000195e: SWAP6
0000195f: POP
00001960: DUP3
00001961: DUP15
00001962: ADD
00001963: MLOAD
00001964: SWAP5
00001965: POP
00001966: DUP2
00001967: DUP15
00001968: ADD
00001969: MLOAD
0000196a: SWAP4
0000196b: POP
0000196c: PUSH1 0x01
0000196e: DUP10
0000196f: DUP8
00001970: DUP8
00001971: DUP8
00001972: PUSH1 0x40
00001974: MLOAD
00001975: PUSH1 0x00
00001977: DUP2
00001978: MSTORE
00001979: PUSH1 0x20
0000197b: ADD
0000197c: PUSH1 0x40
0000197e: MSTORE
0000197f: PUSH1 0x40
00001981: MLOAD
00001982: DUP1
00001983: DUP6
00001984: PUSH1 0x00
00001986: NOT
00001987: AND
00001988: PUSH1 0x00
0000198a: NOT
0000198b: AND
0000198c: DUP2
0000198d: MSTORE
0000198e: PUSH1 0x20
00001990: ADD
00001991: DUP5
00001992: PUSH1 0xff
00001994: AND
00001995: PUSH1 0xff
00001997: AND
00001998: DUP2
00001999: MSTORE
0000199a: PUSH1 0x20
0000199c: ADD
0000199d: DUP4
0000199e: PUSH1 0x00
000019a0: NOT
000019a1: AND
000019a2: PUSH1 0x00
000019a4: NOT
000019a5: AND
000019a6: DUP2
000019a7: MSTORE
000019a8: PUSH1 0x20
000019aa: ADD
000019ab: DUP3
000019ac: PUSH1 0x00
000019ae: NOT
000019af: AND
000019b0: PUSH1 0x00
000019b2: NOT
000019b3: AND
000019b4: DUP2
000019b5: MSTORE
000019b6: PUSH1 0x20
000019b8: ADD
000019b9: SWAP5
000019ba: POP
000019bb: POP
000019bc: POP
000019bd: POP
000019be: POP
000019bf: PUSH1 0x20
000019c1: PUSH1 0x40
000019c3: MLOAD
000019c4: PUSH1 0x20
000019c6: DUP2
000019c7: SUB
000019c8: SWAP1
000019c9: DUP1
000019ca: DUP5
000019cb: SUB
000019cc: SWAP1
000019cd: PUSH1 0x00
000019cf: DUP7
000019d0: GAS
000019d1: CALL
000019d2: ISZERO
000019d3: DUP1
000019d4: ISZERO
000019d5: PUSH2 0x19e2
000019d8: JUMPI
000019d9: RETURNDATASIZE
000019da: PUSH1 0x00
000019dc: DUP1
000019dd: RETURNDATACOPY
000019de: RETURNDATASIZE
000019df: PUSH1 0x00
000019e1: REVERT
000019e2: JUMPDEST
000019e3: POP
000019e4: POP
000019e5: POP
000019e6: PUSH1 0x20
000019e8: PUSH1 0x40
000019ea: MLOAD
000019eb: SUB
000019ec: MLOAD
000019ed: SWAP1
000019ee: POP
000019ef: DUP13
000019f0: PUSH1 0x01
000019f2: PUSH1 0xa0
000019f4: PUSH1 0x02
000019f6: EXP
000019f7: SUB
000019f8: AND
000019f9: PUSH4 0xfacd743b
000019fe: DUP3
000019ff: PUSH1 0x40
00001a01: MLOAD
00001a02: DUP3
00001a03: PUSH4 0xffffffff
00001a08: AND
00001a09: PUSH1 0xe0
00001a0b: PUSH1 0x02
00001a0d: EXP
00001a0e: MUL
00001a0f: DUP2
00001a10: MSTORE
00001a11: PUSH1 0x04
00001a13: ADD
00001a14: DUP1
00001a15: DUP3
00001a16: PUSH1 0x01
00001a18: PUSH1 0xa0
00001a1a: PUSH1 0x02
00001a1c: EXP
00001a1d: SUB
00001a1e: AND
00001a1f: PUSH1 0x01
00001a21: PUSH1 0xa0
00001a23: PUSH1 0x02
00001a25: EXP
00001a26: SUB
00001a27: AND
00001a28: DUP2
00001a29: MSTORE
00001a2a: PUSH1 0x20
00001a2c: ADD
00001a2d: SWAP2
00001a2e: POP
00001a2f: POP
00001a30: PUSH1 0x20
00001a32: PUSH1 0x40
00001a34: MLOAD
00001a35: DUP1
00001a36: DUP4
00001a37: SUB
00001a38: DUP2
00001a39: PUSH1 0x00
00001a3b: DUP8
00001a3c: DUP1
00001a3d: EXTCODESIZE
00001a3e: ISZERO
00001a3f: DUP1
00001a40: ISZERO
00001a41: PUSH2 0x1a49
00001a44: JUMPI
00001a45: PUSH1 0x00
00001a47: DUP1
00001a48: REVERT
00001a49: JUMPDEST
00001a4a: POP
00001a4b: GAS
00001a4c: CALL
00001a4d: ISZERO
00001a4e: DUP1
00001a4f: ISZERO
00001a50: PUSH2 0x1a5d
00001a53: JUMPI
00001a54: RETURNDATASIZE
00001a55: PUSH1 0x00
00001a57: DUP1
00001a58: RETURNDATACOPY
00001a59: RETURNDATASIZE
00001a5a: PUSH1 0x00
00001a5c: REVERT
00001a5d: JUMPDEST
00001a5e: POP
00001a5f: POP
00001a60: POP
00001a61: POP
00001a62: PUSH1 0x40
00001a64: MLOAD
00001a65: RETURNDATASIZE
00001a66: PUSH1 0x20
00001a68: DUP2
00001a69: LT
00001a6a: ISZERO
00001a6b: PUSH2 0x1a73
00001a6e: JUMPI
00001a6f: PUSH1 0x00
00001a71: DUP1
00001a72: REVERT
00001a73: JUMPDEST
00001a74: POP
00001a75: MLOAD
00001a76: ISZERO
00001a77: ISZERO
00001a78: PUSH2 0x1a80
00001a7b: JUMPI
00001a7c: PUSH1 0x00
00001a7e: DUP1
00001a7f: REVERT
00001a80: JUMPDEST
00001a81: PUSH2 0x1a8a
00001a84: DUP9
00001a85: DUP3
00001a86: PUSH2 0x23b4
00001a89: JUMP
00001a8a: JUMPDEST
00001a8b: ISZERO
00001a8c: PUSH2 0x1a94
00001a8f: JUMPI
00001a90: PUSH1 0x00
00001a92: DUP1
00001a93: REVERT
00001a94: JUMPDEST
00001a95: DUP1
00001a96: DUP9
00001a97: DUP9
00001a98: DUP2
00001a99: MLOAD
00001a9a: DUP2
00001a9b: LT
00001a9c: ISZERO
00001a9d: ISZERO
00001a9e: PUSH2 0x1aa3
00001aa1: JUMPI
00001aa2: INVALID
00001aa3: JUMPDEST
00001aa4: PUSH1 0x01
00001aa6: PUSH1 0xa0
00001aa8: PUSH1 0x02
00001aaa: EXP
00001aab: SUB
00001aac: SWAP1
00001aad: SWAP3
00001aae: AND
00001aaf: PUSH1 0x20
00001ab1: SWAP3
00001ab2: DUP4
00001ab3: MUL
00001ab4: SWAP1
00001ab5: SWAP2
00001ab6: ADD
00001ab7: SWAP1
00001ab8: SWAP2
00001ab9: ADD
00001aba: MSTORE
00001abb: PUSH1 0x01
00001abd: SWAP1
00001abe: SWAP7
00001abf: ADD
00001ac0: SWAP6
00001ac1: PUSH2 0x193b
00001ac4: JUMP
00001ac5: JUMPDEST
00001ac6: POP
00001ac7: POP
00001ac8: POP
00001ac9: POP
00001aca: POP
00001acb: POP
00001acc: POP
00001acd: POP
00001ace: POP
00001acf: POP
00001ad0: POP
00001ad1: POP
00001ad2: POP
00001ad3: POP
00001ad4: POP
00001ad5: JUMP
00001ad6: JUMPDEST
00001ad7: PUSH1 0x00
00001ad9: DUP1
00001ada: PUSH1 0x00
00001adc: DUP1
00001add: PUSH2 0x1ae5
00001ae0: DUP6
00001ae1: PUSH2 0x2186
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: ISZERO
00001ae7: ISZERO
00001ae8: PUSH2 0x1af0
00001aeb: JUMPI
00001aec: PUSH1 0x00
00001aee: DUP1
00001aef: REVERT
00001af0: JUMPDEST
00001af1: POP
00001af2: POP
00001af3: POP
00001af4: POP
00001af5: PUSH1 0x14
00001af7: DUP2
00001af8: ADD
00001af9: MLOAD
00001afa: PUSH1 0x34
00001afc: DUP3
00001afd: ADD
00001afe: MLOAD
00001aff: PUSH1 0x54
00001b01: DUP4
00001b02: ADD
00001b03: MLOAD
00001b04: PUSH1 0x68
00001b06: SWAP1
00001b07: SWAP4
00001b08: ADD
00001b09: MLOAD
00001b0a: SWAP2
00001b0b: SWAP4
00001b0c: SWAP1
00001b0d: SWAP3
00001b0e: SWAP2
00001b0f: SWAP1
00001b10: JUMP
00001b11: JUMPDEST
00001b12: DUP1
00001b13: PUSH1 0x04
00001b15: PUSH1 0x00
00001b17: DUP5
00001b18: PUSH1 0x40
00001b1a: MLOAD
00001b1b: PUSH1 0x20
00001b1d: ADD
00001b1e: DUP1
00001b1f: DUP1
00001b20: PUSH32 0x72656c617965644d657373616765730000000000000000000000000000000000
00001b41: DUP2
00001b42: MSTORE
00001b43: POP
00001b44: PUSH1 0x0f
00001b46: ADD
00001b47: DUP3
00001b48: PUSH1 0x00
00001b4a: NOT
00001b4b: AND
00001b4c: PUSH1 0x00
00001b4e: NOT
00001b4f: AND
00001b50: DUP2
00001b51: MSTORE
00001b52: PUSH1 0x20
00001b54: ADD
00001b55: SWAP2
00001b56: POP
00001b57: POP
00001b58: PUSH1 0x40
00001b5a: MLOAD
00001b5b: PUSH1 0x20
00001b5d: DUP2
00001b5e: DUP4
00001b5f: SUB
00001b60: SUB
00001b61: DUP2
00001b62: MSTORE
00001b63: SWAP1
00001b64: PUSH1 0x40
00001b66: MSTORE
00001b67: PUSH1 0x40
00001b69: MLOAD
00001b6a: DUP1
00001b6b: DUP3
00001b6c: DUP1
00001b6d: MLOAD
00001b6e: SWAP1
00001b6f: PUSH1 0x20
00001b71: ADD
00001b72: SWAP1
00001b73: DUP1
00001b74: DUP4
00001b75: DUP4
00001b76: JUMPDEST
00001b77: PUSH1 0x20
00001b79: DUP4
00001b7a: LT
00001b7b: PUSH2 0x1b95
00001b7e: JUMPI
00001b7f: DUP1
00001b80: MLOAD
00001b81: DUP3
00001b82: MSTORE
00001b83: PUSH1 0x1f
00001b85: NOT
00001b86: SWAP1
00001b87: SWAP3
00001b88: ADD
00001b89: SWAP2
00001b8a: PUSH1 0x20
00001b8c: SWAP2
00001b8d: DUP3
00001b8e: ADD
00001b8f: SWAP2
00001b90: ADD
00001b91: PUSH2 0x1b76
00001b94: JUMP
00001b95: JUMPDEST
00001b96: MLOAD
00001b97: DUP2
00001b98: MLOAD
00001b99: PUSH1 0x20
00001b9b: SWAP4
00001b9c: DUP5
00001b9d: SUB
00001b9e: PUSH2 0x0100
00001ba1: EXP
00001ba2: PUSH1 0x00
00001ba4: NOT
00001ba5: ADD
00001ba6: DUP1
00001ba7: NOT
00001ba8: SWAP1
00001ba9: SWAP3
00001baa: AND
00001bab: SWAP2
00001bac: AND
00001bad: OR
00001bae: SWAP1
00001baf: MSTORE
00001bb0: PUSH1 0x40
00001bb2: DUP1
00001bb3: MLOAD
00001bb4: SWAP3
00001bb5: SWAP1
00001bb6: SWAP5
00001bb7: ADD
00001bb8: DUP3
00001bb9: SWAP1
00001bba: SUB
00001bbb: SWAP1
00001bbc: SWAP2
00001bbd: KECCAK256
00001bbe: DUP7
00001bbf: MSTORE
00001bc0: DUP6
00001bc1: ADD
00001bc2: SWAP6
00001bc3: SWAP1
00001bc4: SWAP6
00001bc5: MSTORE
00001bc6: SWAP3
00001bc7: SWAP1
00001bc8: SWAP3
00001bc9: ADD
00001bca: PUSH1 0x00
00001bcc: KECCAK256
00001bcd: DUP1
00001bce: SLOAD
00001bcf: PUSH1 0xff
00001bd1: NOT
00001bd2: AND
00001bd3: SWAP5
00001bd4: ISZERO
00001bd5: ISZERO
00001bd6: SWAP5
00001bd7: SWAP1
00001bd8: SWAP5
00001bd9: OR
00001bda: SWAP1
00001bdb: SWAP4
00001bdc: SSTORE
00001bdd: POP
00001bde: POP
00001bdf: POP
00001be0: POP
00001be1: POP
00001be2: JUMP
00001be3: JUMPDEST
00001be4: PUSH1 0x00
00001be6: DUP1
00001be7: PUSH2 0x1bf7
00001bea: PUSH2 0x1bf1
00001bed: PUSH2 0x0b29
00001bf0: JUMP
00001bf1: JUMPDEST
00001bf2: DUP6
00001bf3: PUSH2 0x240f
00001bf6: JUMP
00001bf7: JUMPDEST
00001bf8: PUSH2 0x1c00
00001bfb: DUP5
00001bfc: PUSH2 0x2495
00001bff: JUMP
00001c00: JUMPDEST
00001c01: SWAP1
00001c02: POP
00001c03: PUSH2 0x1c25
00001c06: DUP6
00001c07: DUP3
00001c08: PUSH2 0x1c0f
00001c0b: PUSH2 0x083b
00001c0e: JUMP
00001c0f: JUMPDEST
00001c10: PUSH1 0x01
00001c12: PUSH1 0xa0
00001c14: PUSH1 0x02
00001c16: EXP
00001c17: SUB
00001c18: AND
00001c19: SWAP2
00001c1a: SWAP1
00001c1b: PUSH4 0xffffffff
00001c20: PUSH2 0x24ab
00001c23: AND
00001c24: JUMP
00001c25: JUMPDEST
00001c26: POP
00001c27: PUSH1 0x01
00001c29: SWAP5
00001c2a: SWAP4
00001c2b: POP
00001c2c: POP
00001c2d: POP
00001c2e: POP
00001c2f: JUMP
00001c30: JUMPDEST
00001c31: DUP1
00001c32: PUSH1 0x01
00001c34: PUSH1 0xa0
00001c36: PUSH1 0x02
00001c38: EXP
00001c39: SUB
00001c3a: DUP2
00001c3b: AND
00001c3c: ISZERO
00001c3d: ISZERO
00001c3e: PUSH2 0x1c46
00001c41: JUMPI
00001c42: PUSH1 0x00
00001c44: DUP1
00001c45: REVERT
00001c46: JUMPDEST
00001c47: PUSH1 0x01
00001c49: PUSH1 0xa0
00001c4b: PUSH1 0x02
00001c4d: EXP
00001c4e: SUB
00001c4f: DUP4
00001c50: AND
00001c51: ISZERO
00001c52: ISZERO
00001c53: PUSH2 0x1c64
00001c56: JUMPI
00001c57: PUSH2 0x1c5f
00001c5a: DUP3
00001c5b: PUSH2 0x250e
00001c5e: JUMP
00001c5f: JUMPDEST
00001c60: PUSH2 0x171e
00001c63: JUMP
00001c64: JUMPDEST
00001c65: PUSH2 0x171e
00001c68: DUP4
00001c69: DUP4
00001c6a: PUSH2 0x251a
00001c6d: JUMP
00001c6e: JUMPDEST
00001c6f: DUP2
00001c70: DUP2
00001c71: ADD
00001c72: DUP3
00001c73: DUP2
00001c74: LT
00001c75: ISZERO
00001c76: PUSH2 0x1c7b
00001c79: JUMPI
00001c7a: INVALID
00001c7b: JUMPDEST
00001c7c: SWAP3
00001c7d: SWAP2
00001c7e: POP
00001c7f: POP
00001c80: JUMP
00001c81: JUMPDEST
00001c82: PUSH1 0x00
00001c84: DUP2
00001c85: GT
00001c86: PUSH2 0x1c8e
00001c89: JUMPI
00001c8a: PUSH1 0x00
00001c8c: DUP1
00001c8d: REVERT
00001c8e: JUMPDEST
00001c8f: PUSH32 0x916daedf6915000ff68ced2f0b6773fe6f2582237f92c3c95bb4d79407230071
00001cb0: PUSH1 0x00
00001cb2: SWAP1
00001cb3: DUP2
00001cb4: MSTORE
00001cb5: PUSH1 0x20
00001cb7: SWAP1
00001cb8: DUP2
00001cb9: MSTORE
00001cba: PUSH32 0xd2ea0feb732edb0ffe32efd33a6b9d24d46b16eb34a4d07ce256537b6f131e42
00001cdb: DUP3
00001cdc: SWAP1
00001cdd: SSTORE
00001cde: PUSH1 0x40
00001ce0: DUP1
00001ce1: MLOAD
00001ce2: DUP4
00001ce3: DUP2
00001ce4: MSTORE
00001ce5: SWAP1
00001ce6: MLOAD
00001ce7: PUSH32 0x4fb76205cd57c896b21511d2114137d8e901b4ccd659e1a0f97d6306795264fb
00001d08: SWAP3
00001d09: SWAP2
00001d0a: DUP2
00001d0b: SWAP1
00001d0c: SUB
00001d0d: SWAP1
00001d0e: SWAP2
00001d0f: ADD
00001d10: SWAP1
00001d11: LOG1
00001d12: POP
00001d13: JUMP
00001d14: JUMPDEST
00001d15: PUSH1 0x00
00001d17: DUP2
00001d18: GT
00001d19: PUSH2 0x1d21
00001d1c: JUMPI
00001d1d: PUSH1 0x00
00001d1f: DUP1
00001d20: REVERT
00001d21: JUMPDEST
00001d22: PUSH2 0x120e
00001d25: DUP2
00001d26: PUSH2 0x25cd
00001d29: JUMP
00001d2a: JUMPDEST
00001d2b: PUSH1 0x01
00001d2d: PUSH1 0xa0
00001d2f: PUSH1 0x02
00001d31: EXP
00001d32: SUB
00001d33: DUP2
00001d34: AND
00001d35: ISZERO
00001d36: ISZERO
00001d37: PUSH2 0x1d3f
00001d3a: JUMPI
00001d3b: PUSH1 0x00
00001d3d: DUP1
00001d3e: REVERT
00001d3f: JUMPDEST
00001d40: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00001d61: PUSH2 0x1d68
00001d64: PUSH2 0x0fec
00001d67: JUMP
00001d68: JUMPDEST
00001d69: PUSH1 0x40
00001d6b: DUP1
00001d6c: MLOAD
00001d6d: PUSH1 0x01
00001d6f: PUSH1 0xa0
00001d71: PUSH1 0x02
00001d73: EXP
00001d74: SUB
00001d75: SWAP3
00001d76: DUP4
00001d77: AND
00001d78: DUP2
00001d79: MSTORE
00001d7a: SWAP2
00001d7b: DUP5
00001d7c: AND
00001d7d: PUSH1 0x20
00001d7f: DUP4
00001d80: ADD
00001d81: MSTORE
00001d82: DUP1
00001d83: MLOAD
00001d84: SWAP2
00001d85: DUP3
00001d86: SWAP1
00001d87: SUB
00001d88: ADD
00001d89: SWAP1
00001d8a: LOG1
00001d8b: PUSH32 0x02016836a56b71f0d02689e69e326f4f4c1b9057164ef592671cf0d37c8040c0
00001dac: PUSH1 0x00
00001dae: MSTORE
00001daf: PUSH1 0x02
00001db1: PUSH1 0x20
00001db3: MSTORE
00001db4: PUSH32 0xb7802e97e87ef2842a6cce7da7ffaeaedaa2f61a6a7870b23d9d01fc9b73712e
00001dd5: DUP1
00001dd6: SLOAD
00001dd7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001dec: NOT
00001ded: AND
00001dee: PUSH1 0x01
00001df0: PUSH1 0xa0
00001df2: PUSH1 0x02
00001df4: EXP
00001df5: SUB
00001df6: SWAP3
00001df7: SWAP1
00001df8: SWAP3
00001df9: AND
00001dfa: SWAP2
00001dfb: SWAP1
00001dfc: SWAP2
00001dfd: OR
00001dfe: SWAP1
00001dff: SSTORE
00001e00: JUMP
00001e01: JUMPDEST
00001e02: PUSH1 0x00
00001e04: SWAP1
00001e05: EXTCODESIZE
00001e06: GT
00001e07: SWAP1
00001e08: JUMP
00001e09: JUMPDEST
00001e0a: PUSH2 0x1e12
00001e0d: DUP2
00001e0e: PUSH2 0x1e01
00001e11: JUMP
00001e12: JUMPDEST
00001e13: ISZERO
00001e14: ISZERO
00001e15: PUSH2 0x1e1d
00001e18: JUMPI
00001e19: PUSH1 0x00
00001e1b: DUP1
00001e1c: REVERT
00001e1d: JUMPDEST
00001e1e: PUSH32 0x15d63b18dbc21bf4438b7972d80076747e1d93c4f87552fe498c90cbde51665e
00001e3f: PUSH1 0x00
00001e41: MSTORE
00001e42: PUSH1 0x02
00001e44: PUSH1 0x20
00001e46: MSTORE
00001e47: PUSH32 0x70dfdbaec92bfd068fb9a67f8c22440e995abe75330f5b6b79a478c9bc8ccbd1
00001e68: DUP1
00001e69: SLOAD
00001e6a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e7f: NOT
00001e80: AND
00001e81: PUSH1 0x01
00001e83: PUSH1 0xa0
00001e85: PUSH1 0x02
00001e87: EXP
00001e88: SUB
00001e89: SWAP3
00001e8a: SWAP1
00001e8b: SWAP3
00001e8c: AND
00001e8d: SWAP2
00001e8e: SWAP1
00001e8f: SWAP2
00001e90: OR
00001e91: SWAP1
00001e92: SSTORE
00001e93: JUMP
00001e94: JUMPDEST
00001e95: PUSH1 0x40
00001e97: DUP2
00001e98: ADD
00001e99: MLOAD
00001e9a: PUSH1 0x00
00001e9c: LT
00001e9d: DUP1
00001e9e: ISZERO
00001e9f: PUSH2 0x1eaf
00001ea2: JUMPI
00001ea3: POP
00001ea4: PUSH1 0x40
00001ea6: DUP2
00001ea7: ADD
00001ea8: MLOAD
00001ea9: PUSH1 0x20
00001eab: DUP3
00001eac: ADD
00001ead: MLOAD
00001eae: GT
00001eaf: JUMPDEST
00001eb0: DUP1
00001eb1: ISZERO
00001eb2: PUSH2 0x1ebf
00001eb5: JUMPI
00001eb6: POP
00001eb7: PUSH1 0x20
00001eb9: DUP2
00001eba: ADD
00001ebb: MLOAD
00001ebc: DUP2
00001ebd: MLOAD
00001ebe: GT
00001ebf: JUMPDEST
00001ec0: ISZERO
00001ec1: ISZERO
00001ec2: PUSH2 0x1eca
00001ec5: JUMPI
00001ec6: PUSH1 0x00
00001ec8: DUP1
00001ec9: REVERT
00001eca: JUMPDEST
00001ecb: DUP1
00001ecc: MLOAD
00001ecd: PUSH32 0x4a6a899679f26b73530d8cf1001e83b6f7702e04b6fdb98f3c62dc7e47e041a5
00001eee: PUSH1 0x00
00001ef0: SWAP1
00001ef1: DUP2
00001ef2: MSTORE
00001ef3: PUSH1 0x20
00001ef5: DUP2
00001ef6: DUP2
00001ef7: MSTORE
00001ef8: PUSH32 0x1ab29a5cca988aee50edccdd61c5bcaa7ad4b29a03b7ee50f298ceccfe14cc4e
00001f19: SWAP3
00001f1a: SWAP1
00001f1b: SWAP3
00001f1c: SSTORE
00001f1d: SWAP1
00001f1e: DUP3
00001f1f: ADD
00001f20: MLOAD
00001f21: PUSH32 0x0f8803acad17c63ee38bf2de71e1888bc7a079a6f73658e274b08018bea4e29c
00001f42: DUP3
00001f43: MSTORE
00001f44: PUSH32 0x9de0f81379b4d8e60fe509315d071b56e7b732abaf193e74e0d15808b0951d09
00001f65: SSTORE
00001f66: PUSH1 0x40
00001f68: DUP3
00001f69: ADD
00001f6a: MLOAD
00001f6b: PUSH32 0xbbb088c505d18e049d114c7c91f11724e69c55ad6c5397e2b929e68b41fa05d1
00001f8c: DUP3
00001f8d: MSTORE
00001f8e: PUSH32 0x8df5c48c6b6e11d97548adc824ba0c99103ec09830fa5d53a179984085e6eaa0
00001faf: SSTORE
00001fb0: PUSH32 0xad4123ae17c414d9c6d2fec478b402e6b01856cc250fd01fbfd252fda0089d3c
00001fd1: SWAP1
00001fd2: DUP3
00001fd3: SWAP1
00001fd4: JUMPDEST
00001fd5: PUSH1 0x20
00001fd7: MUL
00001fd8: ADD
00001fd9: MLOAD
00001fda: PUSH1 0x40
00001fdc: MLOAD
00001fdd: DUP1
00001fde: DUP3
00001fdf: DUP2
00001fe0: MSTORE
00001fe1: PUSH1 0x20
00001fe3: ADD
00001fe4: SWAP2
00001fe5: POP
00001fe6: POP
00001fe7: PUSH1 0x40
00001fe9: MLOAD
00001fea: DUP1
00001feb: SWAP2
00001fec: SUB
00001fed: SWAP1
00001fee: LOG1
00001fef: POP
00001ff0: JUMP
00001ff1: JUMPDEST
00001ff2: DUP1
00001ff3: MLOAD
00001ff4: PUSH1 0x20
00001ff6: DUP3
00001ff7: ADD
00001ff8: MLOAD
00001ff9: LT
00001ffa: PUSH2 0x2002
00001ffd: JUMPI
00001ffe: PUSH1 0x00
00002000: DUP1
00002001: REVERT
00002002: JUMPDEST
00002003: DUP1
00002004: MLOAD
00002005: PUSH32 0x21dbcab260e413c20dc13c28b7db95e2b423d1135f42bb8b7d5214a92270d237
00002026: PUSH1 0x00
00002028: SWAP1
00002029: DUP2
0000202a: MSTORE
0000202b: PUSH1 0x20
0000202d: DUP2
0000202e: DUP2
0000202f: MSTORE
00002030: PUSH32 0xadd938dbd083a16bae12238cd914fca0afc7a30edb55b1cd5c7f1823f1b0e421
00002051: SWAP3
00002052: SWAP1
00002053: SWAP3
00002054: SSTORE
00002055: SWAP1
00002056: DUP3
00002057: ADD
00002058: MLOAD
00002059: PUSH32 0xc0ed44c192c86d1cc1ba51340b032c2766b4a2b0041031de13c46dd7104888d5
0000207a: DUP3
0000207b: MSTORE
0000207c: PUSH32 0xf8e983ee86e5e377e9e34c9131b266382c3f04113d20de077f9e12663c7a646b
0000209d: SSTORE
0000209e: PUSH32 0x9bebf928b90863f24cc31f726a3a7545efd409f1dcf552301b1ee3710da70d3b
000020bf: SWAP1
000020c0: DUP3
000020c1: SWAP1
000020c2: PUSH2 0x1fd4
000020c5: JUMP
000020c6: JUMPDEST
000020c7: PUSH1 0x4c
000020c9: NOT
000020ca: DUP2
000020cb: SGT
000020cc: DUP1
000020cd: ISZERO
000020ce: PUSH2 0x20d7
000020d1: JUMPI
000020d2: POP
000020d3: PUSH1 0x4d
000020d5: DUP2
000020d6: SLT
000020d7: JUMPDEST
000020d8: ISZERO
000020d9: ISZERO
000020da: PUSH2 0x20e2
000020dd: JUMPI
000020de: PUSH1 0x00
000020e0: DUP1
000020e1: REVERT
000020e2: JUMPDEST
000020e3: PUSH32 0x1e8ecaafaddea96ed9ac6d2642dcdfe1bebe58a930b1085842d8fc122b371ee5
00002104: PUSH1 0x00
00002106: SWAP1
00002107: DUP2
00002108: MSTORE
00002109: PUSH1 0x20
0000210b: MSTORE
0000210c: PUSH32 0xd5c78dd9468716ca9bb96be25d56436811b20aab3523a9904b12deef1cab239d
0000212d: SSTORE
0000212e: JUMP
0000212f: JUMPDEST
00002130: PUSH32 0x0a6f646cd611241d8073675e00d1a1ff700fbf1b53fcf473de56d1e6e4b714ba
00002151: PUSH1 0x00
00002153: MSTORE
00002154: PUSH1 0x04
00002156: PUSH1 0x20
00002158: MSTORE
00002159: PUSH32 0x078d888f9b66f3f8bfa10909e31f1e16240db73449f0500afdbbe3a70da457cc
0000217a: DUP1
0000217b: SLOAD
0000217c: PUSH1 0xff
0000217e: NOT
0000217f: AND
00002180: PUSH1 0x01
00002182: OR
00002183: SWAP1
00002184: SSTORE
00002185: JUMP
00002186: JUMPDEST
00002187: PUSH1 0x00
00002189: PUSH2 0x2190
0000218c: PUSH2 0x2653
0000218f: JUMP
00002190: JUMPDEST
00002191: DUP3
00002192: MLOAD
00002193: EQ
00002194: SWAP1
00002195: POP
00002196: SWAP2
00002197: SWAP1
00002198: POP
00002199: JUMP
0000219a: JUMPDEST
0000219b: PUSH1 0x40
0000219d: DUP1
0000219e: MLOAD
0000219f: DUP1
000021a0: DUP3
000021a1: ADD
000021a2: SWAP1
000021a3: SWAP2
000021a4: MSTORE
000021a5: PUSH1 0x1a
000021a7: DUP2
000021a8: MSTORE
000021a9: PUSH32 0x19457468657265756d205369676e6564204d6573736167653a0a000000000000
000021ca: PUSH1 0x20
000021cc: DUP3
000021cd: ADD
000021ce: MSTORE
000021cf: PUSH1 0x00
000021d1: SWAP1
000021d2: PUSH1 0x60
000021d4: DUP4
000021d5: ISZERO
000021d6: PUSH2 0x2340
000021d9: JUMPI
000021da: DUP2
000021db: PUSH2 0x21e4
000021de: DUP7
000021df: MLOAD
000021e0: PUSH2 0x2658
000021e3: JUMP
000021e4: JUMPDEST
000021e5: DUP7
000021e6: PUSH1 0x40
000021e8: MLOAD
000021e9: PUSH1 0x20
000021eb: ADD
000021ec: DUP1
000021ed: DUP5
000021ee: DUP1
000021ef: MLOAD
000021f0: SWAP1
000021f1: PUSH1 0x20
000021f3: ADD
000021f4: SWAP1
000021f5: DUP1
000021f6: DUP4
000021f7: DUP4
000021f8: JUMPDEST
000021f9: PUSH1 0x20
000021fb: DUP4
000021fc: LT
000021fd: PUSH2 0x2217
00002200: JUMPI
00002201: DUP1
00002202: MLOAD
00002203: DUP3
00002204: MSTORE
00002205: PUSH1 0x1f
00002207: NOT
00002208: SWAP1
00002209: SWAP3
0000220a: ADD
0000220b: SWAP2
0000220c: PUSH1 0x20
0000220e: SWAP2
0000220f: DUP3
00002210: ADD
00002211: SWAP2
00002212: ADD
00002213: PUSH2 0x21f8
00002216: JUMP
00002217: JUMPDEST
00002218: MLOAD
00002219: DUP2
0000221a: MLOAD
0000221b: PUSH1 0x20
0000221d: SWAP4
0000221e: DUP5
0000221f: SUB
00002220: PUSH2 0x0100
00002223: EXP
00002224: PUSH1 0x00
00002226: NOT
00002227: ADD
00002228: DUP1
00002229: NOT
0000222a: SWAP1
0000222b: SWAP3
0000222c: AND
0000222d: SWAP2
0000222e: AND
0000222f: OR
00002230: SWAP1
00002231: MSTORE
00002232: DUP7
00002233: MLOAD
00002234: SWAP2
00002235: SWAP1
00002236: SWAP4
00002237: ADD
00002238: SWAP3
00002239: DUP7
0000223a: ADD
0000223b: SWAP2
0000223c: POP
0000223d: DUP1
0000223e: DUP4
0000223f: DUP4
00002240: JUMPDEST
00002241: PUSH1 0x20
00002243: DUP4
00002244: LT
00002245: PUSH2 0x225f
00002248: JUMPI
00002249: DUP1
0000224a: MLOAD
0000224b: DUP3
0000224c: MSTORE
0000224d: PUSH1 0x1f
0000224f: NOT
00002250: SWAP1
00002251: SWAP3
00002252: ADD
00002253: SWAP2
00002254: PUSH1 0x20
00002256: SWAP2
00002257: DUP3
00002258: ADD
00002259: SWAP2
0000225a: ADD
0000225b: PUSH2 0x2240
0000225e: JUMP
0000225f: JUMPDEST
00002260: MLOAD
00002261: DUP2
00002262: MLOAD
00002263: PUSH1 0x20
00002265: SWAP4
00002266: DUP5
00002267: SUB
00002268: PUSH2 0x0100
0000226b: EXP
0000226c: PUSH1 0x00
0000226e: NOT
0000226f: ADD
00002270: DUP1
00002271: NOT
00002272: SWAP1
00002273: SWAP3
00002274: AND
00002275: SWAP2
00002276: AND
00002277: OR
00002278: SWAP1
00002279: MSTORE
0000227a: DUP6
0000227b: MLOAD
0000227c: SWAP2
0000227d: SWAP1
0000227e: SWAP4
0000227f: ADD
00002280: SWAP3
00002281: DUP6
00002282: ADD
00002283: SWAP2
00002284: POP
00002285: DUP1
00002286: DUP4
00002287: DUP4
00002288: JUMPDEST
00002289: PUSH1 0x20
0000228b: DUP4
0000228c: LT
0000228d: PUSH2 0x22a7
00002290: JUMPI
00002291: DUP1
00002292: MLOAD
00002293: DUP3
00002294: MSTORE
00002295: PUSH1 0x1f
00002297: NOT
00002298: SWAP1
00002299: SWAP3
0000229a: ADD
0000229b: SWAP2
0000229c: PUSH1 0x20
0000229e: SWAP2
0000229f: DUP3
000022a0: ADD
000022a1: SWAP2
000022a2: ADD
000022a3: PUSH2 0x2288
000022a6: JUMP
000022a7: JUMPDEST
000022a8: PUSH1 0x01
000022aa: DUP4
000022ab: PUSH1 0x20
000022ad: SUB
000022ae: PUSH2 0x0100
000022b1: EXP
000022b2: SUB
000022b3: DUP1
000022b4: NOT
000022b5: DUP3
000022b6: MLOAD
000022b7: AND
000022b8: DUP2
000022b9: DUP5
000022ba: MLOAD
000022bb: AND
000022bc: DUP1
000022bd: DUP3
000022be: OR
000022bf: DUP6
000022c0: MSTORE
000022c1: POP
000022c2: POP
000022c3: POP
000022c4: POP
000022c5: POP
000022c6: POP
000022c7: SWAP1
000022c8: POP
000022c9: ADD
000022ca: SWAP4
000022cb: POP
000022cc: POP
000022cd: POP
000022ce: POP
000022cf: PUSH1 0x40
000022d1: MLOAD
000022d2: PUSH1 0x20
000022d4: DUP2
000022d5: DUP4
000022d6: SUB
000022d7: SUB
000022d8: DUP2
000022d9: MSTORE
000022da: SWAP1
000022db: PUSH1 0x40
000022dd: MSTORE
000022de: PUSH1 0x40
000022e0: MLOAD
000022e1: DUP1
000022e2: DUP3
000022e3: DUP1
000022e4: MLOAD
000022e5: SWAP1
000022e6: PUSH1 0x20
000022e8: ADD
000022e9: SWAP1
000022ea: DUP1
000022eb: DUP4
000022ec: DUP4
000022ed: JUMPDEST
000022ee: PUSH1 0x20
000022f0: DUP4
000022f1: LT
000022f2: PUSH2 0x230c
000022f5: JUMPI
000022f6: DUP1
000022f7: MLOAD
000022f8: DUP3
000022f9: MSTORE
000022fa: PUSH1 0x1f
000022fc: NOT
000022fd: SWAP1
000022fe: SWAP3
000022ff: ADD
00002300: SWAP2
00002301: PUSH1 0x20
00002303: SWAP2
00002304: DUP3
00002305: ADD
00002306: SWAP2
00002307: ADD
00002308: PUSH2 0x22ed
0000230b: JUMP
0000230c: JUMPDEST
0000230d: PUSH1 0x01
0000230f: DUP4
00002310: PUSH1 0x20
00002312: SUB
00002313: PUSH2 0x0100
00002316: EXP
00002317: SUB
00002318: DUP1
00002319: NOT
0000231a: DUP3
0000231b: MLOAD
0000231c: AND
0000231d: DUP2
0000231e: DUP5
0000231f: MLOAD
00002320: AND
00002321: DUP1
00002322: DUP3
00002323: OR
00002324: DUP6
00002325: MSTORE
00002326: POP
00002327: POP
00002328: POP
00002329: POP
0000232a: POP
0000232b: POP
0000232c: SWAP1
0000232d: POP
0000232e: ADD
0000232f: SWAP2
00002330: POP
00002331: POP
00002332: PUSH1 0x40
00002334: MLOAD
00002335: DUP1
00002336: SWAP2
00002337: SUB
00002338: SWAP1
00002339: KECCAK256
0000233a: SWAP3
0000233b: POP
0000233c: PUSH2 0x23ac
0000233f: JUMP
00002340: JUMPDEST
00002341: PUSH1 0x40
00002343: DUP1
00002344: MLOAD
00002345: SWAP1
00002346: DUP2
00002347: ADD
00002348: PUSH1 0x40
0000234a: MSTORE
0000234b: DUP1
0000234c: PUSH1 0x03
0000234e: DUP2
0000234f: MSTORE
00002350: PUSH1 0x20
00002352: ADD
00002353: PUSH32 0x3130340000000000000000000000000000000000000000000000000000000000
00002374: DUP2
00002375: MSTORE
00002376: POP
00002377: SWAP1
00002378: POP
00002379: DUP2
0000237a: DUP2
0000237b: DUP7
0000237c: PUSH1 0x40
0000237e: MLOAD
0000237f: PUSH1 0x20
00002381: ADD
00002382: DUP1
00002383: DUP5
00002384: DUP1
00002385: MLOAD
00002386: SWAP1
00002387: PUSH1 0x20
00002389: ADD
0000238a: SWAP1
0000238b: DUP1
0000238c: DUP4
0000238d: DUP4
0000238e: PUSH1 0x20
00002390: DUP4
00002391: LT
00002392: PUSH2 0x2217
00002395: JUMPI
00002396: DUP1
00002397: MLOAD
00002398: DUP3
00002399: MSTORE
0000239a: PUSH1 0x1f
0000239c: NOT
0000239d: SWAP1
0000239e: SWAP3
0000239f: ADD
000023a0: SWAP2
000023a1: PUSH1 0x20
000023a3: SWAP2
000023a4: DUP3
000023a5: ADD
000023a6: SWAP2
000023a7: ADD
000023a8: PUSH2 0x21f8
000023ab: JUMP
000023ac: JUMPDEST
000023ad: POP
000023ae: POP
000023af: SWAP3
000023b0: SWAP2
000023b1: POP
000023b2: POP
000023b3: JUMP
000023b4: JUMPDEST
000023b5: PUSH1 0x00
000023b7: DUP1
000023b8: JUMPDEST
000023b9: DUP4
000023ba: MLOAD
000023bb: DUP2
000023bc: LT
000023bd: ISZERO
000023be: PUSH2 0x2403
000023c1: JUMPI
000023c2: DUP3
000023c3: PUSH1 0x01
000023c5: PUSH1 0xa0
000023c7: PUSH1 0x02
000023c9: EXP
000023ca: SUB
000023cb: AND
000023cc: DUP5
000023cd: DUP3
000023ce: DUP2
000023cf: MLOAD
000023d0: DUP2
000023d1: LT
000023d2: ISZERO
000023d3: ISZERO
000023d4: PUSH2 0x23d9
000023d7: JUMPI
000023d8: INVALID
000023d9: JUMPDEST
000023da: SWAP1
000023db: PUSH1 0x20
000023dd: ADD
000023de: SWAP1
000023df: PUSH1 0x20
000023e1: MUL
000023e2: ADD
000023e3: MLOAD
000023e4: PUSH1 0x01
000023e6: PUSH1 0xa0
000023e8: PUSH1 0x02
000023ea: EXP
000023eb: SUB
000023ec: AND
000023ed: EQ
000023ee: ISZERO
000023ef: PUSH2 0x23fb
000023f2: JUMPI
000023f3: PUSH1 0x01
000023f5: SWAP2
000023f6: POP
000023f7: PUSH2 0x2408
000023fa: JUMP
000023fb: JUMPDEST
000023fc: PUSH1 0x01
000023fe: ADD
000023ff: PUSH2 0x23b8
00002402: JUMP
00002403: JUMPDEST
00002404: PUSH1 0x00
00002406: SWAP2
00002407: POP
00002408: JUMPDEST
00002409: POP
0000240a: SWAP3
0000240b: SWAP2
0000240c: POP
0000240d: POP
0000240e: JUMP
0000240f: JUMPDEST
00002410: PUSH2 0x241c
00002413: DUP2
00002414: PUSH2 0x0ef3
00002417: DUP5
00002418: PUSH2 0x0d67
0000241b: JUMP
0000241c: JUMPDEST
0000241d: PUSH1 0x00
0000241f: DUP1
00002420: DUP5
00002421: PUSH1 0x40
00002423: MLOAD
00002424: PUSH1 0x20
00002426: ADD
00002427: DUP1
00002428: DUP1
00002429: PUSH32 0x746f74616c457865637574656450657244617900000000000000000000000000
0000244a: DUP2
0000244b: MSTORE
0000244c: POP
0000244d: PUSH1 0x13
0000244f: ADD
00002450: DUP3
00002451: DUP2
00002452: MSTORE
00002453: PUSH1 0x20
00002455: ADD
00002456: SWAP2
00002457: POP
00002458: POP
00002459: PUSH1 0x40
0000245b: MLOAD
0000245c: PUSH1 0x20
0000245e: DUP2
0000245f: DUP4
00002460: SUB
00002461: SUB
00002462: DUP2
00002463: MSTORE
00002464: SWAP1
00002465: PUSH1 0x40
00002467: MSTORE
00002468: PUSH1 0x40
0000246a: MLOAD
0000246b: DUP1
0000246c: DUP3
0000246d: DUP1
0000246e: MLOAD
0000246f: SWAP1
00002470: PUSH1 0x20
00002472: ADD
00002473: SWAP1
00002474: DUP1
00002475: DUP4
00002476: DUP4
00002477: PUSH1 0x20
00002479: DUP4
0000247a: LT
0000247b: PUSH2 0x1639
0000247e: JUMPI
0000247f: DUP1
00002480: MLOAD
00002481: DUP3
00002482: MSTORE
00002483: PUSH1 0x1f
00002485: NOT
00002486: SWAP1
00002487: SWAP3
00002488: ADD
00002489: SWAP2
0000248a: PUSH1 0x20
0000248c: SWAP2
0000248d: DUP3
0000248e: ADD
0000248f: SWAP2
00002490: ADD
00002491: PUSH2 0x161a
00002494: JUMP
00002495: JUMPDEST
00002496: PUSH1 0x00
00002498: PUSH2 0x1c7b
0000249b: DUP3
0000249c: PUSH2 0x24a3
0000249f: PUSH2 0x138e
000024a2: JUMP
000024a3: JUMPDEST
000024a4: PUSH1 0x00
000024a6: SUB
000024a7: PUSH2 0x277f
000024aa: JUMP
000024ab: JUMPDEST
000024ac: DUP3
000024ad: PUSH1 0x01
000024af: PUSH1 0xa0
000024b1: PUSH1 0x02
000024b3: EXP
000024b4: SUB
000024b5: AND
000024b6: PUSH4 0xa9059cbb
000024bb: DUP4
000024bc: DUP4
000024bd: PUSH1 0x40
000024bf: MLOAD
000024c0: DUP4
000024c1: PUSH4 0xffffffff
000024c6: AND
000024c7: PUSH1 0xe0
000024c9: PUSH1 0x02
000024cb: EXP
000024cc: MUL
000024cd: DUP2
000024ce: MSTORE
000024cf: PUSH1 0x04
000024d1: ADD
000024d2: DUP1
000024d3: DUP4
000024d4: PUSH1 0x01
000024d6: PUSH1 0xa0
000024d8: PUSH1 0x02
000024da: EXP
000024db: SUB
000024dc: AND
000024dd: PUSH1 0x01
000024df: PUSH1 0xa0
000024e1: PUSH1 0x02
000024e3: EXP
000024e4: SUB
000024e5: AND
000024e6: DUP2
000024e7: MSTORE
000024e8: PUSH1 0x20
000024ea: ADD
000024eb: DUP3
000024ec: DUP2
000024ed: MSTORE
000024ee: PUSH1 0x20
000024f0: ADD
000024f1: SWAP3
000024f2: POP
000024f3: POP
000024f4: POP
000024f5: PUSH1 0x00
000024f7: PUSH1 0x40
000024f9: MLOAD
000024fa: DUP1
000024fb: DUP4
000024fc: SUB
000024fd: DUP2
000024fe: PUSH1 0x00
00002500: DUP8
00002501: DUP1
00002502: EXTCODESIZE
00002503: ISZERO
00002504: DUP1
00002505: ISZERO
00002506: PUSH2 0x16ec
00002509: JUMPI
0000250a: PUSH1 0x00
0000250c: DUP1
0000250d: REVERT
0000250e: JUMPDEST
0000250f: ADDRESS
00002510: BALANCE
00002511: PUSH2 0x0ed8
00002514: DUP3
00002515: DUP3
00002516: PUSH2 0x27ca
00002519: JUMP
0000251a: JUMPDEST
0000251b: PUSH1 0x40
0000251d: DUP1
0000251e: MLOAD
0000251f: PUSH32 0x70a0823100000000000000000000000000000000000000000000000000000000
00002540: DUP2
00002541: MSTORE
00002542: ADDRESS
00002543: PUSH1 0x04
00002545: DUP3
00002546: ADD
00002547: MSTORE
00002548: SWAP1
00002549: MLOAD
0000254a: DUP4
0000254b: SWAP2
0000254c: PUSH1 0x00
0000254e: SWAP2
0000254f: PUSH1 0x01
00002551: PUSH1 0xa0
00002553: PUSH1 0x02
00002555: EXP
00002556: SUB
00002557: DUP5
00002558: AND
00002559: SWAP2
0000255a: PUSH4 0x70a08231
0000255f: SWAP2
00002560: PUSH1 0x24
00002562: DUP1
00002563: DUP4
00002564: ADD
00002565: SWAP3
00002566: PUSH1 0x20
00002568: SWAP3
00002569: SWAP2
0000256a: SWAP1
0000256b: DUP3
0000256c: SWAP1
0000256d: SUB
0000256e: ADD
0000256f: DUP2
00002570: DUP8
00002571: DUP8
00002572: DUP1
00002573: EXTCODESIZE
00002574: ISZERO
00002575: DUP1
00002576: ISZERO
00002577: PUSH2 0x257f
0000257a: JUMPI
0000257b: PUSH1 0x00
0000257d: DUP1
0000257e: REVERT
0000257f: JUMPDEST
00002580: POP
00002581: GAS
00002582: CALL
00002583: ISZERO
00002584: DUP1
00002585: ISZERO
00002586: PUSH2 0x2593
00002589: JUMPI
0000258a: RETURNDATASIZE
0000258b: PUSH1 0x00
0000258d: DUP1
0000258e: RETURNDATACOPY
0000258f: RETURNDATASIZE
00002590: PUSH1 0x00
00002592: REVERT
00002593: JUMPDEST
00002594: POP
00002595: POP
00002596: POP
00002597: POP
00002598: PUSH1 0x40
0000259a: MLOAD
0000259b: RETURNDATASIZE
0000259c: PUSH1 0x20
0000259e: DUP2
0000259f: LT
000025a0: ISZERO
000025a1: PUSH2 0x25a9
000025a4: JUMPI
000025a5: PUSH1 0x00
000025a7: DUP1
000025a8: REVERT
000025a9: JUMPDEST
000025aa: POP
000025ab: MLOAD
000025ac: SWAP1
000025ad: POP
000025ae: PUSH2 0x25c7
000025b1: PUSH1 0x01
000025b3: PUSH1 0xa0
000025b5: PUSH1 0x02
000025b7: EXP
000025b8: SUB
000025b9: DUP6
000025ba: AND
000025bb: DUP5
000025bc: DUP4
000025bd: PUSH4 0xffffffff
000025c2: PUSH2 0x24ab
000025c5: AND
000025c6: JUMP
000025c7: JUMPDEST
000025c8: POP
000025c9: POP
000025ca: POP
000025cb: POP
000025cc: JUMP
000025cd: JUMPDEST
000025ce: PUSH32 0x55b3774520b5993024893d303890baa4e84b1244a43c60034d1ced2d3cf2b04b
000025ef: PUSH1 0x00
000025f1: SWAP1
000025f2: DUP2
000025f3: MSTORE
000025f4: PUSH1 0x20
000025f6: SWAP1
000025f7: DUP2
000025f8: MSTORE
000025f9: PUSH32 0xf7d5eefab3776d7f0450bd0193564bcb4f832ce313ff2836c450fc63a4b94419
0000261a: DUP3
0000261b: SWAP1
0000261c: SSTORE
0000261d: PUSH1 0x40
0000261f: DUP1
00002620: MLOAD
00002621: DUP4
00002622: DUP2
00002623: MSTORE
00002624: SWAP1
00002625: MLOAD
00002626: PUSH32 0x52264b89e0fceafb26e79fd49ef8a366eb6297483bf4035b027f0c99a7ad512e
00002647: SWAP3
00002648: SWAP2
00002649: DUP2
0000264a: SWAP1
0000264b: SUB
0000264c: SWAP1
0000264d: SWAP2
0000264e: ADD
0000264f: SWAP1
00002650: LOG1
00002651: POP
00002652: JUMP
00002653: JUMPDEST
00002654: PUSH1 0x68
00002656: SWAP1
00002657: JUMP
00002658: JUMPDEST
00002659: PUSH1 0x60
0000265b: PUSH1 0x00
0000265d: DUP1
0000265e: DUP3
0000265f: DUP2
00002660: DUP6
00002661: ISZERO
00002662: ISZERO
00002663: PUSH2 0x26a1
00002666: JUMPI
00002667: PUSH1 0x40
00002669: DUP1
0000266a: MLOAD
0000266b: DUP1
0000266c: DUP3
0000266d: ADD
0000266e: SWAP1
0000266f: SWAP2
00002670: MSTORE
00002671: PUSH1 0x01
00002673: DUP2
00002674: MSTORE
00002675: PUSH32 0x3000000000000000000000000000000000000000000000000000000000000000
00002696: PUSH1 0x20
00002698: DUP3
00002699: ADD
0000269a: MSTORE
0000269b: SWAP5
0000269c: POP
0000269d: PUSH2 0x2776
000026a0: JUMP
000026a1: JUMPDEST
000026a2: DUP6
000026a3: SWAP4
000026a4: POP
000026a5: JUMPDEST
000026a6: DUP4
000026a7: ISZERO
000026a8: PUSH2 0x26bc
000026ab: JUMPI
000026ac: PUSH1 0x01
000026ae: SWAP1
000026af: SWAP3
000026b0: ADD
000026b1: SWAP2
000026b2: PUSH1 0x0a
000026b4: DUP5
000026b5: DIV
000026b6: SWAP4
000026b7: POP
000026b8: PUSH2 0x26a5
000026bb: JUMP
000026bc: JUMPDEST
000026bd: DUP3
000026be: PUSH1 0x40
000026c0: MLOAD
000026c1: SWAP1
000026c2: DUP1
000026c3: DUP3
000026c4: MSTORE
000026c5: DUP1
000026c6: PUSH1 0x1f
000026c8: ADD
000026c9: PUSH1 0x1f
000026cb: NOT
000026cc: AND
000026cd: PUSH1 0x20
000026cf: ADD
000026d0: DUP3
000026d1: ADD
000026d2: PUSH1 0x40
000026d4: MSTORE
000026d5: DUP1
000026d6: ISZERO
000026d7: PUSH2 0x26ea
000026da: JUMPI
000026db: DUP2
000026dc: PUSH1 0x20
000026de: ADD
000026df: PUSH1 0x20
000026e1: DUP3
000026e2: MUL
000026e3: DUP1
000026e4: CODESIZE
000026e5: DUP4
000026e6: CODECOPY
000026e7: ADD
000026e8: SWAP1
000026e9: POP
000026ea: JUMPDEST
000026eb: POP
000026ec: SWAP2
000026ed: POP
000026ee: POP
000026ef: PUSH1 0x00
000026f1: NOT
000026f2: DUP3
000026f3: ADD
000026f4: JUMPDEST
000026f5: DUP6
000026f6: ISZERO
000026f7: PUSH2 0x2772
000026fa: JUMPI
000026fb: DUP2
000026fc: MLOAD
000026fd: PUSH1 0x00
000026ff: NOT
00002700: DUP3
00002701: ADD
00002702: SWAP2
00002703: PUSH32 0x0100000000000000000000000000000000000000000000000000000000000000
00002724: PUSH1 0x30
00002726: PUSH1 0x0a
00002728: DUP11
00002729: MOD
0000272a: ADD
0000272b: MUL
0000272c: SWAP2
0000272d: DUP5
0000272e: SWAP2
0000272f: SWAP1
00002730: DUP2
00002731: LT
00002732: PUSH2 0x2737
00002735: JUMPI
00002736: INVALID
00002737: JUMPDEST
00002738: SWAP1
00002739: PUSH1 0x20
0000273b: ADD
0000273c: ADD
0000273d: SWAP1
0000273e: PUSH31 0xffffffffffffffffffffffffffffffffffffffffffffffffffffffffffffff
0000275e: NOT
0000275f: AND
00002760: SWAP1
00002761: DUP2
00002762: PUSH1 0x00
00002764: BYTE
00002765: SWAP1
00002766: MSTORE8
00002767: POP
00002768: PUSH1 0x0a
0000276a: DUP7
0000276b: DIV
0000276c: SWAP6
0000276d: POP
0000276e: PUSH2 0x26f4
00002771: JUMP
00002772: JUMPDEST
00002773: DUP2
00002774: SWAP5
00002775: POP
00002776: JUMPDEST
00002777: POP
00002778: POP
00002779: POP
0000277a: POP
0000277b: SWAP2
0000277c: SWAP1
0000277d: POP
0000277e: JUMP
0000277f: JUMPDEST
00002780: PUSH1 0x00
00002782: DUP2
00002783: ISZERO
00002784: ISZERO
00002785: PUSH2 0x278f
00002788: JUMPI
00002789: POP
0000278a: DUP2
0000278b: PUSH2 0x1c7b
0000278e: JUMP
0000278f: JUMPDEST
00002790: PUSH1 0x00
00002792: DUP3
00002793: SGT
00002794: ISZERO
00002795: PUSH2 0x27b3
00002798: JUMPI
00002799: PUSH2 0x27ac
0000279c: DUP4
0000279d: PUSH1 0x0a
0000279f: DUP5
000027a0: SWAP1
000027a1: EXP
000027a2: PUSH4 0xffffffff
000027a7: PUSH2 0x2832
000027aa: AND
000027ab: JUMP
000027ac: JUMPDEST
000027ad: SWAP1
000027ae: POP
000027af: PUSH2 0x1c7b
000027b2: JUMP
000027b3: JUMPDEST
000027b4: PUSH2 0x0f1f
000027b7: DUP4
000027b8: PUSH1 0x00
000027ba: DUP5
000027bb: SWAP1
000027bc: SUB
000027bd: PUSH1 0x0a
000027bf: EXP
000027c0: PUSH4 0xffffffff
000027c5: PUSH2 0x285b
000027c8: AND
000027c9: JUMP
000027ca: JUMPDEST
000027cb: PUSH1 0x40
000027cd: MLOAD
000027ce: PUSH1 0x01
000027d0: PUSH1 0xa0
000027d2: PUSH1 0x02
000027d4: EXP
000027d5: SUB
000027d6: DUP4
000027d7: AND
000027d8: SWAP1
000027d9: DUP3
000027da: ISZERO
000027db: PUSH2 0x08fc
000027de: MUL
000027df: SWAP1
000027e0: DUP4
000027e1: SWAP1
000027e2: PUSH1 0x00
000027e4: DUP2
000027e5: DUP2
000027e6: DUP2
000027e7: DUP6
000027e8: DUP9
000027e9: DUP9
000027ea: CALL
000027eb: SWAP4
000027ec: POP
000027ed: POP
000027ee: POP
000027ef: POP
000027f0: ISZERO
000027f1: ISZERO
000027f2: PUSH2 0x0ed8
000027f5: JUMPI
000027f6: DUP1
000027f7: DUP3
000027f8: PUSH2 0x27ff
000027fb: PUSH2 0x2870
000027fe: JUMP
000027ff: JUMPDEST
00002800: PUSH1 0x01
00002802: PUSH1 0xa0
00002804: PUSH1 0x02
00002806: EXP
00002807: SUB
00002808: SWAP1
00002809: SWAP2
0000280a: AND
0000280b: DUP2
0000280c: MSTORE
0000280d: PUSH1 0x40
0000280f: MLOAD
00002810: SWAP1
00002811: DUP2
00002812: SWAP1
00002813: SUB
00002814: PUSH1 0x20
00002816: ADD
00002817: SWAP1
00002818: DUP3
00002819: CREATE
0000281a: DUP1
0000281b: ISZERO
0000281c: DUP1
0000281d: ISZERO
0000281e: PUSH2 0x282b
00002821: JUMPI
00002822: RETURNDATASIZE
00002823: PUSH1 0x00
00002825: DUP1
00002826: RETURNDATACOPY
00002827: RETURNDATASIZE
00002828: PUSH1 0x00
0000282a: REVERT
0000282b: JUMPDEST
0000282c: POP
0000282d: POP
0000282e: POP
0000282f: POP
00002830: POP
00002831: JUMP
00002832: JUMPDEST
00002833: PUSH1 0x00
00002835: DUP3
00002836: ISZERO
00002837: ISZERO
00002838: PUSH2 0x2843
0000283b: JUMPI
0000283c: POP
0000283d: PUSH1 0x00
0000283f: PUSH2 0x1c7b
00002842: JUMP
00002843: JUMPDEST
00002844: POP
00002845: DUP2
00002846: DUP2
00002847: MUL
00002848: DUP2
00002849: DUP4
0000284a: DUP3
0000284b: DUP2
0000284c: ISZERO
0000284d: ISZERO
0000284e: PUSH2 0x2853
00002851: JUMPI
00002852: INVALID
00002853: JUMPDEST
00002854: DIV
00002855: EQ
00002856: PUSH2 0x1c7b
00002859: JUMPI
0000285a: INVALID
0000285b: JUMPDEST
0000285c: PUSH1 0x00
0000285e: DUP2
0000285f: DUP4
00002860: DUP2
00002861: ISZERO
00002862: ISZERO
00002863: PUSH2 0x2868
00002866: JUMPI
00002867: INVALID
00002868: JUMPDEST
00002869: DIV
0000286a: SWAP4
0000286b: SWAP3
0000286c: POP
0000286d: POP
0000286e: POP
0000286f: JUMP
00002870: JUMPDEST
00002871: PUSH1 0x40
00002873: MLOAD
00002874: PUSH1 0x21
00002876: DUP1
00002877: PUSH2 0x2880
0000287a: DUP4
0000287b: CODECOPY
0000287c: ADD
0000287d: SWAP1
0000287e: JUMP
0000287f: STOP
00002880: PUSH1 0x80
00002882: PUSH1 0x40
00002884: MSTORE
00002885: PUSH1 0x40
00002887: MLOAD
00002888: PUSH1 0x20
0000288a: DUP1
0000288b: PUSH1 0x21
0000288d: DUP4
0000288e: CODECOPY
0000288f: DUP2
00002890: ADD
00002891: PUSH1 0x40
00002893: MSTORE
00002894: MLOAD
00002895: PUSH1 0x01
00002897: PUSH1 0xa0
00002899: PUSH1 0x02
0000289b: EXP
0000289c: SUB
0000289d: DUP2
0000289e: AND
0000289f: SELFDESTRUCT
000028a0: STOP
000028a1: LOG1
000028a2: PUSH6 0x627a7a723058
000028a9: KECCAK256
000028aa: UNKNOWN(0x2F)
000028ab: UNKNOWN(0x0E)
000028ac: UNKNOWN(0x2D)
000028ad: UNKNOWN(0xCC)
000028ae: UNKNOWN(0xF7)
000028af: LOG1
000028b0: EXTCODESIZE
000028b1: POP
000028b2: OR
000028b3: LOG1
000028b4: UNKNOWN(0xBF)
000028b5: PUSH22 0xfe0cfa2077f327354e12aa432c9c8403a53b29da0029