Analysis Run

[codex:486181] OpenAI Codex v0.77.0 (research preview)
[codex:486181] --------
[codex:486181] workdir: /tmp/codex-multi-xy_0gvd8
[codex:486181] model: gpt-5.2-codex
[codex:486181] provider: openai
[codex:486181] approval: never
[codex:486181] sandbox: read-only
[codex:486181] reasoning effort: xhigh
[codex:486181] reasoning summaries: auto
[codex:486181] session id: 019b6b5b-2f18-7031-94be-4c3433c2167f
[codex:486181] --------
[codex:486181] user
[codex:486181] You are a security auditor. Audit this Solidity codebase for exploitable vulnerabilities.
[codex:486181] Focus on: reentrancy, access control, upgradeability/proxy issues, signature validation, oracle manipulation,
[codex:486181] accounting/invariant breaks, external call patterns, unchecked return values, and dangerous delegatecall.
[codex:486181] 
[codex:486181] Scope rules:
[codex:486181] - You MUST fully read `AUDIT_BUNDLE.txt` before concluding. It contains the complete contents of all first-party `contracts/**/*.sol` files.
[codex:486181] - Treat `lib/` and `@openzeppelin/` as third-party dependencies; skip them unless there is a concrete misuse angle in first-party code.
[codex:486181] 
[codex:486181] Output MUST be valid JSON matching the provided schema.
[codex:486181] - If you find nothing meaningful: set no_findings=true and findings=[].
[codex:486181] - Otherwise: set no_findings=false and include findings with severity/category/title and file/line locations when possible.
[codex:486181] 
[codex:486181] Output constraints (IMPORTANT):
[codex:486181] - severity MUST be exactly one of: info, low, medium, high, critical (lowercase).
[codex:486181] - category MUST be exactly one of: access_control, reentrancy, math, oracle, upgradeability, auth, other.
[codex:486181] mcp startup: no servers
[codex:486181] 
[codex:486181] thinking
[codex:486181] **Reading AUDIT_BUNDLE.txt**
[codex:486181] exec
[codex:486181] /bin/bash -lc ls in /tmp/codex-multi-xy_0gvd8 succeeded in 5ms:
[codex:486181] AUDIT_BUNDLE.txt
[codex:486181] codex-output-schema.json
[codex:486181] contracts
[codex:486181] exec
[codex:486181] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-xy_0gvd8 succeeded in 5ms:
[codex:486181] This file concatenates the full contents of first-party Solidity sources for auditing.
[codex:486181] 
[codex:486181] ================================================================================
[codex:486181] FILE: contracts/Contract.sol
[codex:486181] ================================================================================
[codex:486181] /**
[codex:486181]  * Copyright 2017-2020, bZeroX, LLC <https://bzx.network/>. All Rights Reserved.
[codex:486181]  * Licensed under the Apache License, Version 2.0.
[codex:486181]  */
[codex:486181] 
[codex:486181] pragma solidity 0.5.17;
[codex:486181] pragma experimental ABIEncoderV2;
[codex:486181] 
[codex:486181] 
[codex:486181] interface IWeth {
[codex:486181]     function deposit() external payable;
[codex:486181]     function withdraw(uint256 wad) external;
[codex:486181] }
[codex:486181] 
[codex:486181] contract IERC20 {
[codex:486181] 
[codex:486181] 
[codex:486181] thinking
[codex:486181] **Analyzing upgradeable proxy security risks**
[codex:486181] thinking
[codex:486181] **Confirming absence of exploitable flaws**
[codex:486181] 
[codex:486181] I'll provide a JSON summary stating no exploitable issues were found after carefully reviewing upgrade initialization, external calls, and state management patterns.
[codex:486181] exec
[codex:486181] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-xy_0gvd8 succeeded in 8ms:
[codex:486181] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:486181] 
[codex:486181] thinking
[codex:486181] **Preparing JSON vulnerability summary**
[codex:486181] codex
[codex:486181] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the scoped first-party Solidity code.","findings":[]}
[codex:486181] tokens used
[codex:486181] 21,275
[codex:486181] {"no_findings":true,"summary":"No exploitable vulnerabilities found in the scoped first-party Solidity code.","findings":[]}

{
    "codex": {
        "ran_at": "2025-12-29T18:26:16.218447+00:00",
        "returncode": 0
    },
    "summary": "No exploitable vulnerabilities found in the scoped first-party Solidity code.",
    "raw_final": {
        "summary": "No exploitable vulnerabilities found in the scoped first-party Solidity code.",
        "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 0x0230
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x78d849ed
00000019: GT
0000001a: PUSH2 0x012e
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb7e15241
00000024: GT
00000025: PUSH2 0x00ab
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xda1b620b
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xda1b620b
0000003a: EQ
0000003b: PUSH2 0x071f
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe8f62764
00000045: EQ
00000046: PUSH2 0x073f
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xedab119f
00000050: EQ
00000051: PUSH2 0x0754
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf2fde38b
0000005b: EQ
0000005c: PUSH2 0x0769
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfb08fdaa
00000066: EQ
00000067: PUSH2 0x0789
0000006a: JUMPI
0000006b: PUSH2 0x0230
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb7e15241
00000076: EQ
00000077: PUSH2 0x065e
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xc4a90815
00000081: EQ
00000082: PUSH2 0x067e
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xcb6eacd1
0000008c: EQ
0000008d: PUSH2 0x06b6
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd473c2da
00000097: EQ
00000098: PUSH2 0x06ea
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xd485045e
000000a2: EQ
000000a3: PUSH2 0x06ff
000000a6: JUMPI
000000a7: PUSH2 0x0230
000000aa: JUMP
000000ab: JUMPDEST
000000ac: DUP1
000000ad: PUSH4 0x92d894f8
000000b2: GT
000000b3: PUSH2 0x00f2
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0x92d894f8
000000bd: EQ
000000be: PUSH2 0x05d4
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xa012d827
000000c8: EQ
000000c9: PUSH2 0x05f4
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xab2c9d75
000000d3: EQ
000000d4: PUSH2 0x0614
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xae0a8530
000000de: EQ
000000df: PUSH2 0x0629
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xb30643d9
000000e9: EQ
000000ea: PUSH2 0x063e
000000ed: JUMPI
000000ee: PUSH2 0x0230
000000f1: JUMP
000000f2: JUMPDEST
000000f3: DUP1
000000f4: PUSH4 0x78d849ed
000000f9: EQ
000000fa: PUSH2 0x0560
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x7a8faeb8
00000104: EQ
00000105: PUSH2 0x0575
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x8da5cb5b
0000010f: EQ
00000110: PUSH2 0x058a
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x8dc48ba5
0000011a: EQ
0000011b: PUSH2 0x059f
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x8f32d59b
00000125: EQ
00000126: PUSH2 0x05bf
00000129: JUMPI
0000012a: PUSH2 0x0230
0000012d: JUMP
0000012e: JUMPDEST
0000012f: DUP1
00000130: PUSH4 0x4203e395
00000135: GT
00000136: PUSH2 0x01bc
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x62fff3f6
00000140: GT
00000141: PUSH2 0x0180
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x62fff3f6
0000014b: EQ
0000014c: PUSH2 0x04c5
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x68c4ac26
00000156: EQ
00000157: PUSH2 0x04f6
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x691bfee8
00000161: EQ
00000162: PUSH2 0x0516
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x6f2709f2
0000016c: EQ
0000016d: PUSH2 0x052b
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x7420ca3e
00000177: EQ
00000178: PUSH2 0x054b
0000017b: JUMPI
0000017c: PUSH2 0x0230
0000017f: JUMP
00000180: JUMPDEST
00000181: DUP1
00000182: PUSH4 0x4203e395
00000187: EQ
00000188: PUSH2 0x042a
0000018b: JUMPI
0000018c: DUP1
0000018d: PUSH4 0x4699f846
00000192: EQ
00000193: PUSH2 0x044a
00000196: JUMPI
00000197: DUP1
00000198: PUSH4 0x4b57b0be
0000019d: EQ
0000019e: PUSH2 0x045f
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x4f28cac2
000001a8: EQ
000001a9: PUSH2 0x0481
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x569fc1fb
000001b3: EQ
000001b4: PUSH2 0x0496
000001b7: JUMPI
000001b8: PUSH2 0x0230
000001bb: JUMP
000001bc: JUMPDEST
000001bd: DUP1
000001be: PUSH4 0x2f470764
000001c3: GT
000001c4: PUSH2 0x0203
000001c7: JUMPI
000001c8: DUP1
000001c9: PUSH4 0x2f470764
000001ce: EQ
000001cf: PUSH2 0x0393
000001d2: JUMPI
000001d3: DUP1
000001d4: PUSH4 0x3432423c
000001d9: EQ
000001da: PUSH2 0x03a8
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x3452d2d4
000001e4: EQ
000001e5: PUSH2 0x03c8
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x39cd381e
000001ef: EQ
000001f0: PUSH2 0x03e8
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x4115a2b6
000001fa: EQ
000001fb: PUSH2 0x03fd
000001fe: JUMPI
000001ff: PUSH2 0x0230
00000202: JUMP
00000203: JUMPDEST
00000204: DUP1
00000205: PUSH4 0x065d810f
0000020a: EQ
0000020b: PUSH2 0x02e9
0000020e: JUMPI
0000020f: DUP1
00000210: PUSH4 0x17548b79
00000215: EQ
00000216: PUSH2 0x0324
00000219: JUMPI
0000021a: DUP1
0000021b: PUSH4 0x218b39c6
00000220: EQ
00000221: PUSH2 0x0351
00000224: JUMPI
00000225: DUP1
00000226: PUSH4 0x2a324027
0000022b: EQ
0000022c: PUSH2 0x0371
0000022f: JUMPI
00000230: JUMPDEST
00000231: PUSH2 0x08fc
00000234: GAS
00000235: GT
00000236: PUSH2 0x023e
00000239: JUMPI
0000023a: PUSH2 0x02e7
0000023d: JUMP
0000023e: JUMPDEST
0000023f: PUSH1 0x00
00000241: DUP1
00000242: CALLDATALOAD
00000243: PUSH1 0x01
00000245: PUSH1 0x01
00000247: PUSH1 0xe0
00000249: SHL
0000024a: SUB
0000024b: NOT
0000024c: AND
0000024d: DUP2
0000024e: MSTORE
0000024f: PUSH1 0x04
00000251: PUSH1 0x20
00000253: MSTORE
00000254: PUSH1 0x40
00000256: SWAP1
00000257: KECCAK256
00000258: SLOAD
00000259: PUSH1 0x01
0000025b: PUSH1 0x01
0000025d: PUSH1 0xa0
0000025f: SHL
00000260: SUB
00000261: AND
00000262: DUP1
00000263: PUSH2 0x0287
00000266: JUMPI
00000267: PUSH1 0x40
00000269: MLOAD
0000026a: PUSH3 0x461bcd
0000026e: PUSH1 0xe5
00000270: SHL
00000271: DUP2
00000272: MSTORE
00000273: PUSH1 0x04
00000275: ADD
00000276: PUSH2 0x027e
00000279: SWAP1
0000027a: PUSH2 0x14de
0000027d: JUMP
0000027e: JUMPDEST
0000027f: PUSH1 0x40
00000281: MLOAD
00000282: DUP1
00000283: SWAP2
00000284: SUB
00000285: SWAP1
00000286: REVERT
00000287: JUMPDEST
00000288: PUSH1 0x60
0000028a: PUSH1 0x00
0000028c: CALLDATASIZE
0000028d: DUP1
0000028e: DUP1
0000028f: PUSH1 0x1f
00000291: ADD
00000292: PUSH1 0x20
00000294: DUP1
00000295: SWAP2
00000296: DIV
00000297: MUL
00000298: PUSH1 0x20
0000029a: ADD
0000029b: PUSH1 0x40
0000029d: MLOAD
0000029e: SWAP1
0000029f: DUP2
000002a0: ADD
000002a1: PUSH1 0x40
000002a3: MSTORE
000002a4: DUP1
000002a5: SWAP4
000002a6: SWAP3
000002a7: SWAP2
000002a8: SWAP1
000002a9: DUP2
000002aa: DUP2
000002ab: MSTORE
000002ac: PUSH1 0x20
000002ae: ADD
000002af: DUP4
000002b0: DUP4
000002b1: DUP1
000002b2: DUP3
000002b3: DUP5
000002b4: CALLDATACOPY
000002b5: PUSH1 0x00
000002b7: SWAP3
000002b8: ADD
000002b9: DUP3
000002ba: SWAP1
000002bb: MSTORE
000002bc: POP
000002bd: DUP5
000002be: MLOAD
000002bf: SWAP5
000002c0: SWAP6
000002c1: POP
000002c2: SWAP4
000002c3: DUP5
000002c4: SWAP4
000002c5: POP
000002c6: SWAP2
000002c7: POP
000002c8: POP
000002c9: PUSH1 0x20
000002cb: DUP5
000002cc: ADD
000002cd: DUP6
000002ce: GAS
000002cf: DELEGATECALL
000002d0: RETURNDATASIZE
000002d1: PUSH1 0x40
000002d3: MLOAD
000002d4: DUP2
000002d5: PUSH1 0x00
000002d7: DUP3
000002d8: RETURNDATACOPY
000002d9: DUP3
000002da: DUP1
000002db: ISZERO
000002dc: PUSH2 0x02e3
000002df: JUMPI
000002e0: DUP3
000002e1: DUP3
000002e2: RETURN
000002e3: JUMPDEST
000002e4: DUP3
000002e5: DUP3
000002e6: REVERT
000002e7: JUMPDEST
000002e8: STOP
000002e9: JUMPDEST
000002ea: CALLVALUE
000002eb: DUP1
000002ec: ISZERO
000002ed: PUSH2 0x02f5
000002f0: JUMPI
000002f1: PUSH1 0x00
000002f3: DUP1
000002f4: REVERT
000002f5: JUMPDEST
000002f6: POP
000002f7: PUSH2 0x0309
000002fa: PUSH2 0x0304
000002fd: CALLDATASIZE
000002fe: PUSH1 0x04
00000300: PUSH2 0x10c6
00000303: JUMP
00000304: JUMPDEST
00000305: PUSH2 0x07a9
00000308: JUMP
00000309: JUMPDEST
0000030a: PUSH1 0x40
0000030c: MLOAD
0000030d: PUSH2 0x031b
00000310: SWAP7
00000311: SWAP6
00000312: SWAP5
00000313: SWAP4
00000314: SWAP3
00000315: SWAP2
00000316: SWAP1
00000317: PUSH2 0x15b0
0000031a: JUMP
0000031b: JUMPDEST
0000031c: PUSH1 0x40
0000031e: MLOAD
0000031f: DUP1
00000320: SWAP2
00000321: SUB
00000322: SWAP1
00000323: RETURN
00000324: JUMPDEST
00000325: CALLVALUE
00000326: DUP1
00000327: ISZERO
00000328: PUSH2 0x0330
0000032b: JUMPI
0000032c: PUSH1 0x00
0000032e: DUP1
0000032f: REVERT
00000330: JUMPDEST
00000331: POP
00000332: PUSH2 0x0344
00000335: PUSH2 0x033f
00000338: CALLDATASIZE
00000339: PUSH1 0x04
0000033b: PUSH2 0x11a3
0000033e: JUMP
0000033f: JUMPDEST
00000340: PUSH2 0x07e9
00000343: JUMP
00000344: JUMPDEST
00000345: PUSH1 0x40
00000347: MLOAD
00000348: PUSH2 0x031b
0000034b: SWAP2
0000034c: SWAP1
0000034d: PUSH2 0x138a
00000350: JUMP
00000351: JUMPDEST
00000352: CALLVALUE
00000353: DUP1
00000354: ISZERO
00000355: PUSH2 0x035d
00000358: JUMPI
00000359: PUSH1 0x00
0000035b: DUP1
0000035c: REVERT
0000035d: JUMPDEST
0000035e: POP
0000035f: PUSH2 0x0344
00000362: PUSH2 0x036c
00000365: CALLDATASIZE
00000366: PUSH1 0x04
00000368: PUSH2 0x1066
0000036b: JUMP
0000036c: JUMPDEST
0000036d: PUSH2 0x0804
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 0x0386
00000382: PUSH2 0x081f
00000385: JUMP
00000386: JUMPDEST
00000387: PUSH1 0x40
00000389: MLOAD
0000038a: PUSH2 0x031b
0000038d: SWAP2
0000038e: SWAP1
0000038f: PUSH2 0x152e
00000392: JUMP
00000393: JUMPDEST
00000394: CALLVALUE
00000395: DUP1
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: POP
000003a1: PUSH2 0x0386
000003a4: PUSH2 0x0825
000003a7: JUMP
000003a8: JUMPDEST
000003a9: CALLVALUE
000003aa: DUP1
000003ab: ISZERO
000003ac: PUSH2 0x03b4
000003af: JUMPI
000003b0: PUSH1 0x00
000003b2: DUP1
000003b3: REVERT
000003b4: JUMPDEST
000003b5: POP
000003b6: PUSH2 0x0309
000003b9: PUSH2 0x03c3
000003bc: CALLDATASIZE
000003bd: PUSH1 0x04
000003bf: PUSH2 0x10c6
000003c2: JUMP
000003c3: JUMPDEST
000003c4: PUSH2 0x082b
000003c7: JUMP
000003c8: JUMPDEST
000003c9: CALLVALUE
000003ca: DUP1
000003cb: ISZERO
000003cc: PUSH2 0x03d4
000003cf: JUMPI
000003d0: PUSH1 0x00
000003d2: DUP1
000003d3: REVERT
000003d4: JUMPDEST
000003d5: POP
000003d6: PUSH2 0x0386
000003d9: PUSH2 0x03e3
000003dc: CALLDATASIZE
000003dd: PUSH1 0x04
000003df: PUSH2 0x1066
000003e2: JUMP
000003e3: JUMPDEST
000003e4: PUSH2 0x086b
000003e7: JUMP
000003e8: JUMPDEST
000003e9: CALLVALUE
000003ea: DUP1
000003eb: ISZERO
000003ec: PUSH2 0x03f4
000003ef: JUMPI
000003f0: PUSH1 0x00
000003f2: DUP1
000003f3: REVERT
000003f4: JUMPDEST
000003f5: POP
000003f6: PUSH2 0x0344
000003f9: PUSH2 0x087d
000003fc: JUMP
000003fd: JUMPDEST
000003fe: CALLVALUE
000003ff: DUP1
00000400: ISZERO
00000401: PUSH2 0x0409
00000404: JUMPI
00000405: PUSH1 0x00
00000407: DUP1
00000408: REVERT
00000409: JUMPDEST
0000040a: POP
0000040b: PUSH2 0x041d
0000040e: PUSH2 0x0418
00000411: CALLDATASIZE
00000412: PUSH1 0x04
00000414: PUSH2 0x1184
00000417: JUMP
00000418: JUMPDEST
00000419: PUSH2 0x0895
0000041c: JUMP
0000041d: JUMPDEST
0000041e: PUSH1 0x40
00000420: MLOAD
00000421: PUSH2 0x031b
00000424: SWAP2
00000425: SWAP1
00000426: PUSH2 0x1398
00000429: JUMP
0000042a: JUMPDEST
0000042b: CALLVALUE
0000042c: DUP1
0000042d: ISZERO
0000042e: PUSH2 0x0436
00000431: JUMPI
00000432: PUSH1 0x00
00000434: DUP1
00000435: REVERT
00000436: JUMPDEST
00000437: POP
00000438: PUSH2 0x0386
0000043b: PUSH2 0x0445
0000043e: CALLDATASIZE
0000043f: PUSH1 0x04
00000441: PUSH2 0x1066
00000444: JUMP
00000445: JUMPDEST
00000446: PUSH2 0x08b5
00000449: JUMP
0000044a: JUMPDEST
0000044b: CALLVALUE
0000044c: DUP1
0000044d: ISZERO
0000044e: PUSH2 0x0456
00000451: JUMPI
00000452: PUSH1 0x00
00000454: DUP1
00000455: REVERT
00000456: JUMPDEST
00000457: POP
00000458: PUSH2 0x0386
0000045b: PUSH2 0x08c7
0000045e: JUMP
0000045f: JUMPDEST
00000460: CALLVALUE
00000461: DUP1
00000462: ISZERO
00000463: PUSH2 0x046b
00000466: JUMPI
00000467: PUSH1 0x00
00000469: DUP1
0000046a: REVERT
0000046b: JUMPDEST
0000046c: POP
0000046d: PUSH2 0x0474
00000470: PUSH2 0x08cd
00000473: JUMP
00000474: JUMPDEST
00000475: PUSH1 0x40
00000477: MLOAD
00000478: PUSH2 0x031b
0000047b: SWAP2
0000047c: SWAP1
0000047d: PUSH2 0x14d0
00000480: JUMP
00000481: JUMPDEST
00000482: CALLVALUE
00000483: DUP1
00000484: ISZERO
00000485: PUSH2 0x048d
00000488: JUMPI
00000489: PUSH1 0x00
0000048b: DUP1
0000048c: REVERT
0000048d: JUMPDEST
0000048e: POP
0000048f: PUSH2 0x0386
00000492: PUSH2 0x08e5
00000495: JUMP
00000496: JUMPDEST
00000497: CALLVALUE
00000498: DUP1
00000499: ISZERO
0000049a: PUSH2 0x04a2
0000049d: JUMPI
0000049e: PUSH1 0x00
000004a0: DUP1
000004a1: REVERT
000004a2: JUMPDEST
000004a3: POP
000004a4: PUSH2 0x04b6
000004a7: PUSH2 0x04b1
000004aa: CALLDATASIZE
000004ab: PUSH1 0x04
000004ad: PUSH2 0x1166
000004b0: JUMP
000004b1: JUMPDEST
000004b2: PUSH2 0x08eb
000004b5: JUMP
000004b6: JUMPDEST
000004b7: PUSH1 0x40
000004b9: MLOAD
000004ba: PUSH2 0x031b
000004bd: SWAP4
000004be: SWAP3
000004bf: SWAP2
000004c0: SWAP1
000004c1: PUSH2 0x153c
000004c4: JUMP
000004c5: JUMPDEST
000004c6: CALLVALUE
000004c7: DUP1
000004c8: ISZERO
000004c9: PUSH2 0x04d1
000004cc: JUMPI
000004cd: PUSH1 0x00
000004cf: DUP1
000004d0: REVERT
000004d1: JUMPDEST
000004d2: POP
000004d3: PUSH2 0x04e5
000004d6: PUSH2 0x04e0
000004d9: CALLDATASIZE
000004da: PUSH1 0x04
000004dc: PUSH2 0x108c
000004df: JUMP
000004e0: JUMPDEST
000004e1: PUSH2 0x090c
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x40
000004e8: MLOAD
000004e9: PUSH2 0x031b
000004ec: SWAP6
000004ed: SWAP5
000004ee: SWAP4
000004ef: SWAP3
000004f0: SWAP2
000004f1: SWAP1
000004f2: PUSH2 0x1564
000004f5: JUMP
000004f6: JUMPDEST
000004f7: CALLVALUE
000004f8: DUP1
000004f9: ISZERO
000004fa: PUSH2 0x0502
000004fd: JUMPI
000004fe: PUSH1 0x00
00000500: DUP1
00000501: REVERT
00000502: JUMPDEST
00000503: POP
00000504: PUSH2 0x041d
00000507: PUSH2 0x0511
0000050a: CALLDATASIZE
0000050b: PUSH1 0x04
0000050d: PUSH2 0x1066
00000510: JUMP
00000511: JUMPDEST
00000512: PUSH2 0x0946
00000515: JUMP
00000516: JUMPDEST
00000517: CALLVALUE
00000518: DUP1
00000519: ISZERO
0000051a: PUSH2 0x0522
0000051d: JUMPI
0000051e: PUSH1 0x00
00000520: DUP1
00000521: REVERT
00000522: JUMPDEST
00000523: POP
00000524: PUSH2 0x0386
00000527: PUSH2 0x095b
0000052a: JUMP
0000052b: JUMPDEST
0000052c: CALLVALUE
0000052d: DUP1
0000052e: ISZERO
0000052f: PUSH2 0x0537
00000532: JUMPI
00000533: PUSH1 0x00
00000535: DUP1
00000536: REVERT
00000537: JUMPDEST
00000538: POP
00000539: PUSH2 0x0386
0000053c: PUSH2 0x0546
0000053f: CALLDATASIZE
00000540: PUSH1 0x04
00000542: PUSH2 0x1066
00000545: JUMP
00000546: JUMPDEST
00000547: PUSH2 0x0961
0000054a: JUMP
0000054b: JUMPDEST
0000054c: CALLVALUE
0000054d: DUP1
0000054e: ISZERO
0000054f: PUSH2 0x0557
00000552: JUMPI
00000553: PUSH1 0x00
00000555: DUP1
00000556: REVERT
00000557: JUMPDEST
00000558: POP
00000559: PUSH2 0x0344
0000055c: PUSH2 0x0972
0000055f: JUMP
00000560: JUMPDEST
00000561: CALLVALUE
00000562: DUP1
00000563: ISZERO
00000564: PUSH2 0x056c
00000567: JUMPI
00000568: PUSH1 0x00
0000056a: DUP1
0000056b: REVERT
0000056c: JUMPDEST
0000056d: POP
0000056e: PUSH2 0x0344
00000571: PUSH2 0x0981
00000574: JUMP
00000575: JUMPDEST
00000576: CALLVALUE
00000577: DUP1
00000578: ISZERO
00000579: PUSH2 0x0581
0000057c: JUMPI
0000057d: PUSH1 0x00
0000057f: DUP1
00000580: REVERT
00000581: JUMPDEST
00000582: POP
00000583: PUSH2 0x0386
00000586: PUSH2 0x0990
00000589: JUMP
0000058a: JUMPDEST
0000058b: CALLVALUE
0000058c: DUP1
0000058d: ISZERO
0000058e: PUSH2 0x0596
00000591: JUMPI
00000592: PUSH1 0x00
00000594: DUP1
00000595: REVERT
00000596: JUMPDEST
00000597: POP
00000598: PUSH2 0x0344
0000059b: PUSH2 0x0996
0000059e: JUMP
0000059f: JUMPDEST
000005a0: CALLVALUE
000005a1: DUP1
000005a2: ISZERO
000005a3: PUSH2 0x05ab
000005a6: JUMPI
000005a7: PUSH1 0x00
000005a9: DUP1
000005aa: REVERT
000005ab: JUMPDEST
000005ac: POP
000005ad: PUSH2 0x0344
000005b0: PUSH2 0x05ba
000005b3: CALLDATASIZE
000005b4: PUSH1 0x04
000005b6: PUSH2 0x1066
000005b9: JUMP
000005ba: JUMPDEST
000005bb: PUSH2 0x09a5
000005be: JUMP
000005bf: JUMPDEST
000005c0: CALLVALUE
000005c1: DUP1
000005c2: ISZERO
000005c3: PUSH2 0x05cb
000005c6: JUMPI
000005c7: PUSH1 0x00
000005c9: DUP1
000005ca: REVERT
000005cb: JUMPDEST
000005cc: POP
000005cd: PUSH2 0x041d
000005d0: PUSH2 0x09c0
000005d3: JUMP
000005d4: JUMPDEST
000005d5: CALLVALUE
000005d6: DUP1
000005d7: ISZERO
000005d8: PUSH2 0x05e0
000005db: JUMPI
000005dc: PUSH1 0x00
000005de: DUP1
000005df: REVERT
000005e0: JUMPDEST
000005e1: POP
000005e2: PUSH2 0x0386
000005e5: PUSH2 0x05ef
000005e8: CALLDATASIZE
000005e9: PUSH1 0x04
000005eb: PUSH2 0x1066
000005ee: JUMP
000005ef: JUMPDEST
000005f0: PUSH2 0x09e6
000005f3: JUMP
000005f4: JUMPDEST
000005f5: CALLVALUE
000005f6: DUP1
000005f7: ISZERO
000005f8: PUSH2 0x0600
000005fb: JUMPI
000005fc: PUSH1 0x00
000005fe: DUP1
000005ff: REVERT
00000600: JUMPDEST
00000601: POP
00000602: PUSH2 0x02e7
00000605: PUSH2 0x060f
00000608: CALLDATASIZE
00000609: PUSH1 0x04
0000060b: PUSH2 0x10f6
0000060e: JUMP
0000060f: JUMPDEST
00000610: PUSH2 0x09f8
00000613: JUMP
00000614: JUMPDEST
00000615: CALLVALUE
00000616: DUP1
00000617: ISZERO
00000618: PUSH2 0x0620
0000061b: JUMPI
0000061c: PUSH1 0x00
0000061e: DUP1
0000061f: REVERT
00000620: JUMPDEST
00000621: POP
00000622: PUSH2 0x0344
00000625: PUSH2 0x0afc
00000628: JUMP
00000629: JUMPDEST
0000062a: CALLVALUE
0000062b: DUP1
0000062c: ISZERO
0000062d: PUSH2 0x0635
00000630: JUMPI
00000631: PUSH1 0x00
00000633: DUP1
00000634: REVERT
00000635: JUMPDEST
00000636: POP
00000637: PUSH2 0x0386
0000063a: PUSH2 0x0b14
0000063d: JUMP
0000063e: JUMPDEST
0000063f: CALLVALUE
00000640: DUP1
00000641: ISZERO
00000642: PUSH2 0x064a
00000645: JUMPI
00000646: PUSH1 0x00
00000648: DUP1
00000649: REVERT
0000064a: JUMPDEST
0000064b: POP
0000064c: PUSH2 0x0386
0000064f: PUSH2 0x0659
00000652: CALLDATASIZE
00000653: PUSH1 0x04
00000655: PUSH2 0x1066
00000658: JUMP
00000659: JUMPDEST
0000065a: PUSH2 0x0b1a
0000065d: JUMP
0000065e: JUMPDEST
0000065f: CALLVALUE
00000660: DUP1
00000661: ISZERO
00000662: PUSH2 0x066a
00000665: JUMPI
00000666: PUSH1 0x00
00000668: DUP1
00000669: REVERT
0000066a: JUMPDEST
0000066b: POP
0000066c: PUSH2 0x0386
0000066f: PUSH2 0x0679
00000672: CALLDATASIZE
00000673: PUSH1 0x04
00000675: PUSH2 0x1066
00000678: JUMP
00000679: JUMPDEST
0000067a: PUSH2 0x0b2c
0000067d: JUMP
0000067e: JUMPDEST
0000067f: CALLVALUE
00000680: DUP1
00000681: ISZERO
00000682: PUSH2 0x068a
00000685: JUMPI
00000686: PUSH1 0x00
00000688: DUP1
00000689: REVERT
0000068a: JUMPDEST
0000068b: POP
0000068c: PUSH2 0x069e
0000068f: PUSH2 0x0699
00000692: CALLDATASIZE
00000693: PUSH1 0x04
00000695: PUSH2 0x1166
00000698: JUMP
00000699: JUMPDEST
0000069a: PUSH2 0x0b3e
0000069d: JUMP
0000069e: JUMPDEST
0000069f: PUSH1 0x40
000006a1: MLOAD
000006a2: PUSH2 0x031b
000006a5: SWAP13
000006a6: SWAP12
000006a7: SWAP11
000006a8: SWAP10
000006a9: SWAP9
000006aa: SWAP8
000006ab: SWAP7
000006ac: SWAP6
000006ad: SWAP5
000006ae: SWAP4
000006af: SWAP3
000006b0: SWAP2
000006b1: SWAP1
000006b2: PUSH2 0x141d
000006b5: JUMP
000006b6: JUMPDEST
000006b7: CALLVALUE
000006b8: DUP1
000006b9: ISZERO
000006ba: PUSH2 0x06c2
000006bd: JUMPI
000006be: PUSH1 0x00
000006c0: DUP1
000006c1: REVERT
000006c2: JUMPDEST
000006c3: POP
000006c4: PUSH2 0x06d6
000006c7: PUSH2 0x06d1
000006ca: CALLDATASIZE
000006cb: PUSH1 0x04
000006cd: PUSH2 0x1166
000006d0: JUMP
000006d1: JUMPDEST
000006d2: PUSH2 0x0bb1
000006d5: JUMP
000006d6: JUMPDEST
000006d7: PUSH1 0x40
000006d9: MLOAD
000006da: PUSH2 0x031b
000006dd: SWAP9
000006de: SWAP8
000006df: SWAP7
000006e0: SWAP6
000006e1: SWAP5
000006e2: SWAP4
000006e3: SWAP3
000006e4: SWAP2
000006e5: SWAP1
000006e6: PUSH2 0x13a6
000006e9: JUMP
000006ea: JUMPDEST
000006eb: CALLVALUE
000006ec: DUP1
000006ed: ISZERO
000006ee: PUSH2 0x06f6
000006f1: JUMPI
000006f2: PUSH1 0x00
000006f4: DUP1
000006f5: REVERT
000006f6: JUMPDEST
000006f7: POP
000006f8: PUSH2 0x0386
000006fb: PUSH2 0x0c08
000006fe: JUMP
000006ff: JUMPDEST
00000700: CALLVALUE
00000701: DUP1
00000702: ISZERO
00000703: PUSH2 0x070b
00000706: JUMPI
00000707: PUSH1 0x00
00000709: DUP1
0000070a: REVERT
0000070b: JUMPDEST
0000070c: POP
0000070d: PUSH2 0x0386
00000710: PUSH2 0x071a
00000713: CALLDATASIZE
00000714: PUSH1 0x04
00000716: PUSH2 0x1066
00000719: JUMP
0000071a: JUMPDEST
0000071b: PUSH2 0x0c0e
0000071e: JUMP
0000071f: JUMPDEST
00000720: CALLVALUE
00000721: DUP1
00000722: ISZERO
00000723: PUSH2 0x072b
00000726: JUMPI
00000727: PUSH1 0x00
00000729: DUP1
0000072a: REVERT
0000072b: JUMPDEST
0000072c: POP
0000072d: PUSH2 0x0344
00000730: PUSH2 0x073a
00000733: CALLDATASIZE
00000734: PUSH1 0x04
00000736: PUSH2 0x11c1
00000739: JUMP
0000073a: JUMPDEST
0000073b: PUSH2 0x0c20
0000073e: JUMP
0000073f: JUMPDEST
00000740: CALLVALUE
00000741: DUP1
00000742: ISZERO
00000743: PUSH2 0x074b
00000746: JUMPI
00000747: PUSH1 0x00
00000749: DUP1
0000074a: REVERT
0000074b: JUMPDEST
0000074c: POP
0000074d: PUSH2 0x0344
00000750: PUSH2 0x0c7b
00000753: JUMP
00000754: JUMPDEST
00000755: CALLVALUE
00000756: DUP1
00000757: ISZERO
00000758: PUSH2 0x0760
0000075b: JUMPI
0000075c: PUSH1 0x00
0000075e: DUP1
0000075f: REVERT
00000760: JUMPDEST
00000761: POP
00000762: PUSH2 0x0386
00000765: PUSH2 0x0c8a
00000768: JUMP
00000769: JUMPDEST
0000076a: CALLVALUE
0000076b: DUP1
0000076c: ISZERO
0000076d: PUSH2 0x0775
00000770: JUMPI
00000771: PUSH1 0x00
00000773: DUP1
00000774: REVERT
00000775: JUMPDEST
00000776: POP
00000777: PUSH2 0x02e7
0000077a: PUSH2 0x0784
0000077d: CALLDATASIZE
0000077e: PUSH1 0x04
00000780: PUSH2 0x1066
00000783: JUMP
00000784: JUMPDEST
00000785: PUSH2 0x0c90
00000788: JUMP
00000789: JUMPDEST
0000078a: CALLVALUE
0000078b: DUP1
0000078c: ISZERO
0000078d: PUSH2 0x0795
00000790: JUMPI
00000791: PUSH1 0x00
00000793: DUP1
00000794: REVERT
00000795: JUMPDEST
00000796: POP
00000797: PUSH2 0x02e7
0000079a: PUSH2 0x07a4
0000079d: CALLDATASIZE
0000079e: PUSH1 0x04
000007a0: PUSH2 0x1066
000007a3: JUMP
000007a4: JUMPDEST
000007a5: PUSH2 0x0cc0
000007a8: JUMP
000007a9: JUMPDEST
000007aa: PUSH1 0x08
000007ac: PUSH1 0x20
000007ae: SWAP1
000007af: DUP2
000007b0: MSTORE
000007b1: PUSH1 0x00
000007b3: SWAP3
000007b4: DUP4
000007b5: MSTORE
000007b6: PUSH1 0x40
000007b8: DUP1
000007b9: DUP5
000007ba: KECCAK256
000007bb: SWAP1
000007bc: SWAP2
000007bd: MSTORE
000007be: SWAP1
000007bf: DUP3
000007c0: MSTORE
000007c1: SWAP1
000007c2: KECCAK256
000007c3: DUP1
000007c4: SLOAD
000007c5: PUSH1 0x01
000007c7: DUP3
000007c8: ADD
000007c9: SLOAD
000007ca: PUSH1 0x02
000007cc: DUP4
000007cd: ADD
000007ce: SLOAD
000007cf: PUSH1 0x03
000007d1: DUP5
000007d2: ADD
000007d3: SLOAD
000007d4: PUSH1 0x04
000007d6: DUP6
000007d7: ADD
000007d8: SLOAD
000007d9: PUSH1 0x05
000007db: SWAP1
000007dc: SWAP6
000007dd: ADD
000007de: SLOAD
000007df: SWAP4
000007e0: SWAP5
000007e1: SWAP3
000007e2: SWAP4
000007e3: SWAP2
000007e4: SWAP3
000007e5: SWAP1
000007e6: SWAP2
000007e7: DUP7
000007e8: JUMP
000007e9: JUMPDEST
000007ea: PUSH1 0x04
000007ec: PUSH1 0x20
000007ee: MSTORE
000007ef: PUSH1 0x00
000007f1: SWAP1
000007f2: DUP2
000007f3: MSTORE
000007f4: PUSH1 0x40
000007f6: SWAP1
000007f7: KECCAK256
000007f8: SLOAD
000007f9: PUSH1 0x01
000007fb: PUSH1 0x01
000007fd: PUSH1 0xa0
000007ff: SHL
00000800: SUB
00000801: AND
00000802: DUP2
00000803: JUMP
00000804: JUMPDEST
00000805: PUSH1 0x22
00000807: PUSH1 0x20
00000809: MSTORE
0000080a: PUSH1 0x00
0000080c: SWAP1
0000080d: DUP2
0000080e: MSTORE
0000080f: PUSH1 0x40
00000811: SWAP1
00000812: KECCAK256
00000813: SLOAD
00000814: PUSH1 0x01
00000816: PUSH1 0x01
00000818: PUSH1 0xa0
0000081a: SHL
0000081b: SUB
0000081c: AND
0000081d: DUP2
0000081e: JUMP
0000081f: JUMPDEST
00000820: PUSH1 0x17
00000822: SLOAD
00000823: DUP2
00000824: JUMP
00000825: JUMPDEST
00000826: PUSH1 0x1e
00000828: SLOAD
00000829: DUP2
0000082a: JUMP
0000082b: JUMPDEST
0000082c: PUSH1 0x07
0000082e: PUSH1 0x20
00000830: SWAP1
00000831: DUP2
00000832: MSTORE
00000833: PUSH1 0x00
00000835: SWAP3
00000836: DUP4
00000837: MSTORE
00000838: PUSH1 0x40
0000083a: DUP1
0000083b: DUP5
0000083c: KECCAK256
0000083d: SWAP1
0000083e: SWAP2
0000083f: MSTORE
00000840: SWAP1
00000841: DUP3
00000842: MSTORE
00000843: SWAP1
00000844: KECCAK256
00000845: DUP1
00000846: SLOAD
00000847: PUSH1 0x01
00000849: DUP3
0000084a: ADD
0000084b: SLOAD
0000084c: PUSH1 0x02
0000084e: DUP4
0000084f: ADD
00000850: SLOAD
00000851: PUSH1 0x03
00000853: DUP5
00000854: ADD
00000855: SLOAD
00000856: PUSH1 0x04
00000858: DUP6
00000859: ADD
0000085a: SLOAD
0000085b: PUSH1 0x05
0000085d: SWAP1
0000085e: SWAP6
0000085f: ADD
00000860: SLOAD
00000861: SWAP4
00000862: SWAP5
00000863: SWAP3
00000864: SWAP4
00000865: SWAP2
00000866: SWAP3
00000867: SWAP1
00000868: SWAP2
00000869: DUP7
0000086a: JUMP
0000086b: JUMPDEST
0000086c: PUSH1 0x19
0000086e: PUSH1 0x20
00000870: MSTORE
00000871: PUSH1 0x00
00000873: SWAP1
00000874: DUP2
00000875: MSTORE
00000876: PUSH1 0x40
00000878: SWAP1
00000879: KECCAK256
0000087a: SLOAD
0000087b: DUP2
0000087c: JUMP
0000087d: JUMPDEST
0000087e: PUSH20 0xb72b31907c1c95f3650b64b2469e08edacee5e8f
00000893: DUP2
00000894: JUMP
00000895: JUMPDEST
00000896: PUSH1 0x09
00000898: PUSH1 0x20
0000089a: SWAP1
0000089b: DUP2
0000089c: MSTORE
0000089d: PUSH1 0x00
0000089f: SWAP3
000008a0: DUP4
000008a1: MSTORE
000008a2: PUSH1 0x40
000008a4: DUP1
000008a5: DUP5
000008a6: KECCAK256
000008a7: SWAP1
000008a8: SWAP2
000008a9: MSTORE
000008aa: SWAP1
000008ab: DUP3
000008ac: MSTORE
000008ad: SWAP1
000008ae: KECCAK256
000008af: SLOAD
000008b0: PUSH1 0xff
000008b2: AND
000008b3: DUP2
000008b4: JUMP
000008b5: JUMPDEST
000008b6: PUSH1 0x15
000008b8: PUSH1 0x20
000008ba: MSTORE
000008bb: PUSH1 0x00
000008bd: SWAP1
000008be: DUP2
000008bf: MSTORE
000008c0: PUSH1 0x40
000008c2: SWAP1
000008c3: KECCAK256
000008c4: SLOAD
000008c5: DUP2
000008c6: JUMP
000008c7: JUMPDEST
000008c8: PUSH1 0x14
000008ca: SLOAD
000008cb: DUP2
000008cc: JUMP
000008cd: JUMPDEST
000008ce: PUSH20 0xc02aaa39b223fe8d0a0e5c4f27ead9083c756cc2
000008e3: DUP2
000008e4: JUMP
000008e5: JUMPDEST
000008e6: PUSH1 0x28
000008e8: SLOAD
000008e9: DUP2
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH1 0x0b
000008ee: PUSH1 0x20
000008f0: MSTORE
000008f1: PUSH1 0x00
000008f3: SWAP1
000008f4: DUP2
000008f5: MSTORE
000008f6: PUSH1 0x40
000008f8: SWAP1
000008f9: KECCAK256
000008fa: DUP1
000008fb: SLOAD
000008fc: PUSH1 0x01
000008fe: DUP3
000008ff: ADD
00000900: SLOAD
00000901: PUSH1 0x02
00000903: SWAP1
00000904: SWAP3
00000905: ADD
00000906: SLOAD
00000907: SWAP1
00000908: SWAP2
00000909: SWAP1
0000090a: DUP4
0000090b: JUMP
0000090c: JUMPDEST
0000090d: PUSH1 0x0a
0000090f: PUSH1 0x20
00000911: SWAP1
00000912: DUP2
00000913: MSTORE
00000914: PUSH1 0x00
00000916: SWAP3
00000917: DUP4
00000918: MSTORE
00000919: PUSH1 0x40
0000091b: DUP1
0000091c: DUP5
0000091d: KECCAK256
0000091e: SWAP1
0000091f: SWAP2
00000920: MSTORE
00000921: SWAP1
00000922: DUP3
00000923: MSTORE
00000924: SWAP1
00000925: KECCAK256
00000926: DUP1
00000927: SLOAD
00000928: PUSH1 0x01
0000092a: DUP3
0000092b: ADD
0000092c: SLOAD
0000092d: PUSH1 0x02
0000092f: DUP4
00000930: ADD
00000931: SLOAD
00000932: PUSH1 0x03
00000934: DUP5
00000935: ADD
00000936: SLOAD
00000937: PUSH1 0x04
00000939: SWAP1
0000093a: SWAP5
0000093b: ADD
0000093c: SLOAD
0000093d: SWAP3
0000093e: SWAP4
0000093f: SWAP2
00000940: SWAP3
00000941: SWAP1
00000942: SWAP2
00000943: SWAP1
00000944: DUP6
00000945: JUMP
00000946: JUMPDEST
00000947: PUSH1 0x25
00000949: PUSH1 0x20
0000094b: MSTORE
0000094c: PUSH1 0x00
0000094e: SWAP1
0000094f: DUP2
00000950: MSTORE
00000951: PUSH1 0x40
00000953: SWAP1
00000954: KECCAK256
00000955: SLOAD
00000956: PUSH1 0xff
00000958: AND
00000959: DUP2
0000095a: JUMP
0000095b: JUMPDEST
0000095c: PUSH1 0x27
0000095e: SLOAD
0000095f: DUP2
00000960: JUMP
00000961: JUMPDEST
00000962: PUSH1 0x20
00000964: DUP1
00000965: MSTORE
00000966: PUSH1 0x00
00000968: SWAP1
00000969: DUP2
0000096a: MSTORE
0000096b: PUSH1 0x40
0000096d: SWAP1
0000096e: KECCAK256
0000096f: SLOAD
00000970: DUP2
00000971: JUMP
00000972: JUMPDEST
00000973: PUSH1 0x03
00000975: SLOAD
00000976: PUSH1 0x01
00000978: PUSH1 0x01
0000097a: PUSH1 0xa0
0000097c: SHL
0000097d: SUB
0000097e: AND
0000097f: DUP2
00000980: JUMP
00000981: JUMPDEST
00000982: PUSH1 0x02
00000984: SLOAD
00000985: PUSH1 0x01
00000987: PUSH1 0x01
00000989: PUSH1 0xa0
0000098b: SHL
0000098c: SUB
0000098d: AND
0000098e: DUP2
0000098f: JUMP
00000990: JUMPDEST
00000991: PUSH1 0x1d
00000993: SLOAD
00000994: DUP2
00000995: JUMP
00000996: JUMPDEST
00000997: PUSH1 0x01
00000999: SLOAD
0000099a: PUSH1 0x01
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: SHL
000009a1: SUB
000009a2: AND
000009a3: SWAP1
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH1 0x21
000009a8: PUSH1 0x20
000009aa: MSTORE
000009ab: PUSH1 0x00
000009ad: SWAP1
000009ae: DUP2
000009af: MSTORE
000009b0: PUSH1 0x40
000009b2: SWAP1
000009b3: KECCAK256
000009b4: SLOAD
000009b5: PUSH1 0x01
000009b7: PUSH1 0x01
000009b9: PUSH1 0xa0
000009bb: SHL
000009bc: SUB
000009bd: AND
000009be: DUP2
000009bf: JUMP
000009c0: JUMPDEST
000009c1: PUSH1 0x01
000009c3: SLOAD
000009c4: PUSH1 0x00
000009c6: SWAP1
000009c7: PUSH1 0x01
000009c9: PUSH1 0x01
000009cb: PUSH1 0xa0
000009cd: SHL
000009ce: SUB
000009cf: AND
000009d0: PUSH2 0x09d7
000009d3: PUSH2 0x0d9b
000009d6: JUMP
000009d7: JUMPDEST
000009d8: PUSH1 0x01
000009da: PUSH1 0x01
000009dc: PUSH1 0xa0
000009de: SHL
000009df: SUB
000009e0: AND
000009e1: EQ
000009e2: SWAP1
000009e3: POP
000009e4: SWAP1
000009e5: JUMP
000009e6: JUMPDEST
000009e7: PUSH1 0x16
000009e9: PUSH1 0x20
000009eb: MSTORE
000009ec: PUSH1 0x00
000009ee: SWAP1
000009ef: DUP2
000009f0: MSTORE
000009f1: PUSH1 0x40
000009f3: SWAP1
000009f4: KECCAK256
000009f5: SLOAD
000009f6: DUP2
000009f7: JUMP
000009f8: JUMPDEST
000009f9: PUSH2 0x0a00
000009fc: PUSH2 0x09c0
000009ff: JUMP
00000a00: JUMPDEST
00000a01: PUSH2 0x0a1c
00000a04: JUMPI
00000a05: PUSH1 0x40
00000a07: MLOAD
00000a08: PUSH3 0x461bcd
00000a0c: PUSH1 0xe5
00000a0e: SHL
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x04
00000a13: ADD
00000a14: PUSH2 0x027e
00000a17: SWAP1
00000a18: PUSH2 0x150e
00000a1b: JUMP
00000a1c: JUMPDEST
00000a1d: DUP3
00000a1e: DUP2
00000a1f: EQ
00000a20: PUSH2 0x0a3b
00000a23: JUMPI
00000a24: PUSH1 0x40
00000a26: MLOAD
00000a27: PUSH3 0x461bcd
00000a2b: PUSH1 0xe5
00000a2d: SHL
00000a2e: DUP2
00000a2f: MSTORE
00000a30: PUSH1 0x04
00000a32: ADD
00000a33: PUSH2 0x027e
00000a36: SWAP1
00000a37: PUSH2 0x14fe
00000a3a: JUMP
00000a3b: JUMPDEST
00000a3c: PUSH1 0x00
00000a3e: JUMPDEST
00000a3f: DUP4
00000a40: DUP2
00000a41: LT
00000a42: ISZERO
00000a43: PUSH2 0x0af5
00000a46: JUMPI
00000a47: PUSH2 0x0aed
00000a4a: DUP6
00000a4b: DUP6
00000a4c: DUP4
00000a4d: DUP2
00000a4e: DUP2
00000a4f: LT
00000a50: PUSH2 0x0a55
00000a53: JUMPI
00000a54: INVALID
00000a55: JUMPDEST
00000a56: PUSH1 0x20
00000a58: MUL
00000a59: DUP3
00000a5a: ADD
00000a5b: SWAP1
00000a5c: POP
00000a5d: DUP1
00000a5e: CALLDATALOAD
00000a5f: PUSH1 0x1e
00000a61: NOT
00000a62: CALLDATASIZE
00000a63: DUP5
00000a64: SWAP1
00000a65: SUB
00000a66: ADD
00000a67: DUP2
00000a68: SLT
00000a69: PUSH2 0x0a71
00000a6c: JUMPI
00000a6d: PUSH1 0x00
00000a6f: DUP1
00000a70: REVERT
00000a71: JUMPDEST
00000a72: SWAP1
00000a73: SWAP2
00000a74: ADD
00000a75: PUSH1 0x20
00000a77: DUP2
00000a78: ADD
00000a79: SWAP2
00000a7a: POP
00000a7b: CALLDATALOAD
00000a7c: PUSH8 0xffffffffffffffff
00000a85: DUP2
00000a86: GT
00000a87: ISZERO
00000a88: PUSH2 0x0a90
00000a8b: JUMPI
00000a8c: PUSH1 0x00
00000a8e: DUP1
00000a8f: REVERT
00000a90: JUMPDEST
00000a91: CALLDATASIZE
00000a92: DUP2
00000a93: SWAP1
00000a94: SUB
00000a95: DUP3
00000a96: SGT
00000a97: ISZERO
00000a98: PUSH2 0x0aa0
00000a9b: JUMPI
00000a9c: PUSH1 0x00
00000a9e: DUP1
00000a9f: REVERT
00000aa0: JUMPDEST
00000aa1: PUSH1 0x40
00000aa3: MLOAD
00000aa4: PUSH1 0x20
00000aa6: ADD
00000aa7: PUSH2 0x0ab1
00000aaa: SWAP3
00000aab: SWAP2
00000aac: SWAP1
00000aad: PUSH2 0x137d
00000ab0: JUMP
00000ab1: JUMPDEST
00000ab2: PUSH1 0x40
00000ab4: MLOAD
00000ab5: PUSH1 0x20
00000ab7: DUP2
00000ab8: DUP4
00000ab9: SUB
00000aba: SUB
00000abb: DUP2
00000abc: MSTORE
00000abd: SWAP1
00000abe: PUSH1 0x40
00000ac0: MSTORE
00000ac1: DUP1
00000ac2: MLOAD
00000ac3: SWAP1
00000ac4: PUSH1 0x20
00000ac6: ADD
00000ac7: KECCAK256
00000ac8: DUP5
00000ac9: DUP5
00000aca: DUP5
00000acb: DUP2
00000acc: DUP2
00000acd: LT
00000ace: PUSH2 0x0ad3
00000ad1: JUMPI
00000ad2: INVALID
00000ad3: JUMPDEST
00000ad4: SWAP1
00000ad5: POP
00000ad6: PUSH1 0x20
00000ad8: MUL
00000ad9: ADD
00000ada: PUSH1 0x20
00000adc: PUSH2 0x0ae8
00000adf: SWAP2
00000ae0: SWAP1
00000ae1: DUP2
00000ae2: ADD
00000ae3: SWAP1
00000ae4: PUSH2 0x1066
00000ae7: JUMP
00000ae8: JUMPDEST
00000ae9: PUSH2 0x0d9f
00000aec: JUMP
00000aed: JUMPDEST
00000aee: PUSH1 0x01
00000af0: ADD
00000af1: PUSH2 0x0a3e
00000af4: JUMP
00000af5: JUMPDEST
00000af6: POP
00000af7: POP
00000af8: POP
00000af9: POP
00000afa: POP
00000afb: JUMP
00000afc: JUMPDEST
00000afd: PUSH20 0x56d811088235f11c8920698a204a5010a788f4b3
00000b12: DUP2
00000b13: JUMP
00000b14: JUMPDEST
00000b15: PUSH1 0x1f
00000b17: SLOAD
00000b18: DUP2
00000b19: JUMP
00000b1a: JUMPDEST
00000b1b: PUSH1 0x1c
00000b1d: PUSH1 0x20
00000b1f: MSTORE
00000b20: PUSH1 0x00
00000b22: SWAP1
00000b23: DUP2
00000b24: MSTORE
00000b25: PUSH1 0x40
00000b27: SWAP1
00000b28: KECCAK256
00000b29: SLOAD
00000b2a: DUP2
00000b2b: JUMP
00000b2c: JUMPDEST
00000b2d: PUSH1 0x1b
00000b2f: PUSH1 0x20
00000b31: MSTORE
00000b32: PUSH1 0x00
00000b34: SWAP1
00000b35: DUP2
00000b36: MSTORE
00000b37: PUSH1 0x40
00000b39: SWAP1
00000b3a: KECCAK256
00000b3b: SLOAD
00000b3c: DUP2
00000b3d: JUMP
00000b3e: JUMPDEST
00000b3f: PUSH1 0x05
00000b41: PUSH1 0x20
00000b43: DUP2
00000b44: SWAP1
00000b45: MSTORE
00000b46: PUSH1 0x00
00000b48: SWAP2
00000b49: DUP3
00000b4a: MSTORE
00000b4b: PUSH1 0x40
00000b4d: SWAP1
00000b4e: SWAP2
00000b4f: KECCAK256
00000b50: DUP1
00000b51: SLOAD
00000b52: PUSH1 0x01
00000b54: DUP3
00000b55: ADD
00000b56: SLOAD
00000b57: PUSH1 0x02
00000b59: DUP4
00000b5a: ADD
00000b5b: SLOAD
00000b5c: PUSH1 0x03
00000b5e: DUP5
00000b5f: ADD
00000b60: SLOAD
00000b61: PUSH1 0x04
00000b63: DUP6
00000b64: ADD
00000b65: SLOAD
00000b66: SWAP6
00000b67: DUP6
00000b68: ADD
00000b69: SLOAD
00000b6a: PUSH1 0x06
00000b6c: DUP7
00000b6d: ADD
00000b6e: SLOAD
00000b6f: PUSH1 0x07
00000b71: DUP8
00000b72: ADD
00000b73: SLOAD
00000b74: PUSH1 0x08
00000b76: DUP9
00000b77: ADD
00000b78: SLOAD
00000b79: PUSH1 0x09
00000b7b: DUP10
00000b7c: ADD
00000b7d: SLOAD
00000b7e: PUSH1 0x0a
00000b80: SWAP1
00000b81: SWAP10
00000b82: ADD
00000b83: SLOAD
00000b84: SWAP8
00000b85: SWAP10
00000b86: SWAP7
00000b87: SWAP9
00000b88: SWAP6
00000b89: SWAP8
00000b8a: SWAP5
00000b8b: SWAP7
00000b8c: SWAP6
00000b8d: SWAP4
00000b8e: SWAP5
00000b8f: SWAP3
00000b90: SWAP4
00000b91: SWAP2
00000b92: SWAP3
00000b93: SWAP1
00000b94: SWAP2
00000b95: PUSH1 0x01
00000b97: PUSH1 0x01
00000b99: PUSH1 0xa0
00000b9b: SHL
00000b9c: SUB
00000b9d: SWAP1
00000b9e: DUP2
00000b9f: AND
00000ba0: SWAP2
00000ba1: SWAP1
00000ba2: DUP2
00000ba3: AND
00000ba4: SWAP1
00000ba5: PUSH1 0x01
00000ba7: PUSH1 0xa0
00000ba9: SHL
00000baa: SWAP1
00000bab: DIV
00000bac: PUSH1 0xff
00000bae: AND
00000baf: DUP13
00000bb0: JUMP
00000bb1: JUMPDEST
00000bb2: PUSH1 0x06
00000bb4: PUSH1 0x20
00000bb6: DUP2
00000bb7: SWAP1
00000bb8: MSTORE
00000bb9: PUSH1 0x00
00000bbb: SWAP2
00000bbc: DUP3
00000bbd: MSTORE
00000bbe: PUSH1 0x40
00000bc0: SWAP1
00000bc1: SWAP2
00000bc2: KECCAK256
00000bc3: DUP1
00000bc4: SLOAD
00000bc5: PUSH1 0x01
00000bc7: DUP3
00000bc8: ADD
00000bc9: SLOAD
00000bca: PUSH1 0x02
00000bcc: DUP4
00000bcd: ADD
00000bce: SLOAD
00000bcf: PUSH1 0x03
00000bd1: DUP5
00000bd2: ADD
00000bd3: SLOAD
00000bd4: PUSH1 0x04
00000bd6: DUP6
00000bd7: ADD
00000bd8: SLOAD
00000bd9: PUSH1 0x05
00000bdb: DUP7
00000bdc: ADD
00000bdd: SLOAD
00000bde: SWAP6
00000bdf: SWAP1
00000be0: SWAP7
00000be1: ADD
00000be2: SLOAD
00000be3: SWAP4
00000be4: SWAP6
00000be5: PUSH1 0xff
00000be7: DUP5
00000be8: AND
00000be9: SWAP6
00000bea: PUSH2 0x0100
00000bed: SWAP1
00000bee: SWAP5
00000bef: DIV
00000bf0: PUSH1 0x01
00000bf2: PUSH1 0x01
00000bf4: PUSH1 0xa0
00000bf6: SHL
00000bf7: SUB
00000bf8: SWAP1
00000bf9: DUP2
00000bfa: AND
00000bfb: SWAP6
00000bfc: SWAP4
00000bfd: DUP2
00000bfe: AND
00000bff: SWAP5
00000c00: SWAP3
00000c01: AND
00000c02: SWAP3
00000c03: SWAP1
00000c04: SWAP2
00000c05: SWAP1
00000c06: DUP9
00000c07: JUMP
00000c08: JUMPDEST
00000c09: PUSH1 0x26
00000c0b: SLOAD
00000c0c: DUP2
00000c0d: JUMP
00000c0e: JUMPDEST
00000c0f: PUSH1 0x18
00000c11: PUSH1 0x20
00000c13: MSTORE
00000c14: PUSH1 0x00
00000c16: SWAP1
00000c17: DUP2
00000c18: MSTORE
00000c19: PUSH1 0x40
00000c1b: SWAP1
00000c1c: KECCAK256
00000c1d: SLOAD
00000c1e: DUP2
00000c1f: JUMP
00000c20: JUMPDEST
00000c21: PUSH1 0x00
00000c23: PUSH1 0x04
00000c25: PUSH1 0x00
00000c27: DUP5
00000c28: DUP5
00000c29: PUSH1 0x40
00000c2b: MLOAD
00000c2c: PUSH1 0x20
00000c2e: ADD
00000c2f: PUSH2 0x0c39
00000c32: SWAP3
00000c33: SWAP2
00000c34: SWAP1
00000c35: PUSH2 0x137d
00000c38: JUMP
00000c39: JUMPDEST
00000c3a: PUSH1 0x40
00000c3c: DUP1
00000c3d: MLOAD
00000c3e: PUSH1 0x1f
00000c40: NOT
00000c41: DUP2
00000c42: DUP5
00000c43: SUB
00000c44: ADD
00000c45: DUP2
00000c46: MSTORE
00000c47: SWAP2
00000c48: DUP2
00000c49: MSTORE
00000c4a: DUP2
00000c4b: MLOAD
00000c4c: PUSH1 0x20
00000c4e: SWAP3
00000c4f: DUP4
00000c50: ADD
00000c51: KECCAK256
00000c52: PUSH1 0x01
00000c54: PUSH1 0x01
00000c56: PUSH1 0xe0
00000c58: SHL
00000c59: SUB
00000c5a: NOT
00000c5b: AND
00000c5c: DUP4
00000c5d: MSTORE
00000c5e: SWAP1
00000c5f: DUP3
00000c60: ADD
00000c61: SWAP3
00000c62: SWAP1
00000c63: SWAP3
00000c64: MSTORE
00000c65: ADD
00000c66: PUSH1 0x00
00000c68: KECCAK256
00000c69: SLOAD
00000c6a: PUSH1 0x01
00000c6c: PUSH1 0x01
00000c6e: PUSH1 0xa0
00000c70: SHL
00000c71: SUB
00000c72: AND
00000c73: SWAP1
00000c74: POP
00000c75: JUMPDEST
00000c76: SWAP3
00000c77: SWAP2
00000c78: POP
00000c79: POP
00000c7a: JUMP
00000c7b: JUMPDEST
00000c7c: PUSH1 0x13
00000c7e: SLOAD
00000c7f: PUSH1 0x01
00000c81: PUSH1 0x01
00000c83: PUSH1 0xa0
00000c85: SHL
00000c86: SUB
00000c87: AND
00000c88: DUP2
00000c89: JUMP
00000c8a: JUMPDEST
00000c8b: PUSH1 0x1a
00000c8d: SLOAD
00000c8e: DUP2
00000c8f: JUMP
00000c90: JUMPDEST
00000c91: PUSH2 0x0c98
00000c94: PUSH2 0x09c0
00000c97: JUMP
00000c98: JUMPDEST
00000c99: PUSH2 0x0cb4
00000c9c: JUMPI
00000c9d: PUSH1 0x40
00000c9f: MLOAD
00000ca0: PUSH3 0x461bcd
00000ca4: PUSH1 0xe5
00000ca6: SHL
00000ca7: DUP2
00000ca8: MSTORE
00000ca9: PUSH1 0x04
00000cab: ADD
00000cac: PUSH2 0x027e
00000caf: SWAP1
00000cb0: PUSH2 0x150e
00000cb3: JUMP
00000cb4: JUMPDEST
00000cb5: PUSH2 0x0cbd
00000cb8: DUP2
00000cb9: PUSH2 0x0e1a
00000cbc: JUMP
00000cbd: JUMPDEST
00000cbe: POP
00000cbf: JUMP
00000cc0: JUMPDEST
00000cc1: PUSH2 0x0cc8
00000cc4: PUSH2 0x09c0
00000cc7: JUMP
00000cc8: JUMPDEST
00000cc9: PUSH2 0x0ce4
00000ccc: JUMPI
00000ccd: PUSH1 0x40
00000ccf: MLOAD
00000cd0: PUSH3 0x461bcd
00000cd4: PUSH1 0xe5
00000cd6: SHL
00000cd7: DUP2
00000cd8: MSTORE
00000cd9: PUSH1 0x04
00000cdb: ADD
00000cdc: PUSH2 0x027e
00000cdf: SWAP1
00000ce0: PUSH2 0x150e
00000ce3: JUMP
00000ce4: JUMPDEST
00000ce5: PUSH1 0x00
00000ce7: DUP2
00000ce8: PUSH1 0x01
00000cea: PUSH1 0x01
00000cec: PUSH1 0xa0
00000cee: SHL
00000cef: SUB
00000cf0: AND
00000cf1: DUP3
00000cf2: PUSH1 0x40
00000cf4: MLOAD
00000cf5: PUSH1 0x24
00000cf7: ADD
00000cf8: PUSH2 0x0d01
00000cfb: SWAP2
00000cfc: SWAP1
00000cfd: PUSH2 0x138a
00000d00: JUMP
00000d01: JUMPDEST
00000d02: PUSH1 0x40
00000d04: DUP1
00000d05: MLOAD
00000d06: PUSH1 0x1f
00000d08: NOT
00000d09: DUP2
00000d0a: DUP5
00000d0b: SUB
00000d0c: ADD
00000d0d: DUP2
00000d0e: MSTORE
00000d0f: SWAP2
00000d10: DUP2
00000d11: MSTORE
00000d12: PUSH1 0x20
00000d14: DUP3
00000d15: ADD
00000d16: DUP1
00000d17: MLOAD
00000d18: PUSH1 0x01
00000d1a: PUSH1 0x01
00000d1c: PUSH1 0xe0
00000d1e: SHL
00000d1f: SUB
00000d20: AND
00000d21: PUSH4 0x189acdbd
00000d26: PUSH1 0xe3
00000d28: SHL
00000d29: OR
00000d2a: SWAP1
00000d2b: MSTORE
00000d2c: MLOAD
00000d2d: PUSH2 0x0d36
00000d30: SWAP2
00000d31: SWAP1
00000d32: PUSH2 0x136a
00000d35: JUMP
00000d36: JUMPDEST
00000d37: PUSH1 0x00
00000d39: PUSH1 0x40
00000d3b: MLOAD
00000d3c: DUP1
00000d3d: DUP4
00000d3e: SUB
00000d3f: DUP2
00000d40: DUP6
00000d41: GAS
00000d42: DELEGATECALL
00000d43: SWAP2
00000d44: POP
00000d45: POP
00000d46: RETURNDATASIZE
00000d47: DUP1
00000d48: PUSH1 0x00
00000d4a: DUP2
00000d4b: EQ
00000d4c: PUSH2 0x0d71
00000d4f: JUMPI
00000d50: PUSH1 0x40
00000d52: MLOAD
00000d53: SWAP2
00000d54: POP
00000d55: PUSH1 0x1f
00000d57: NOT
00000d58: PUSH1 0x3f
00000d5a: RETURNDATASIZE
00000d5b: ADD
00000d5c: AND
00000d5d: DUP3
00000d5e: ADD
00000d5f: PUSH1 0x40
00000d61: MSTORE
00000d62: RETURNDATASIZE
00000d63: DUP3
00000d64: MSTORE
00000d65: RETURNDATASIZE
00000d66: PUSH1 0x00
00000d68: PUSH1 0x20
00000d6a: DUP5
00000d6b: ADD
00000d6c: RETURNDATACOPY
00000d6d: PUSH2 0x0d76
00000d70: JUMP
00000d71: JUMPDEST
00000d72: PUSH1 0x60
00000d74: SWAP2
00000d75: POP
00000d76: JUMPDEST
00000d77: POP
00000d78: POP
00000d79: SWAP1
00000d7a: POP
00000d7b: DUP1
00000d7c: PUSH2 0x0d97
00000d7f: JUMPI
00000d80: PUSH1 0x40
00000d82: MLOAD
00000d83: PUSH3 0x461bcd
00000d87: PUSH1 0xe5
00000d89: SHL
00000d8a: DUP2
00000d8b: MSTORE
00000d8c: PUSH1 0x04
00000d8e: ADD
00000d8f: PUSH2 0x027e
00000d92: SWAP1
00000d93: PUSH2 0x151e
00000d96: JUMP
00000d97: JUMPDEST
00000d98: POP
00000d99: POP
00000d9a: JUMP
00000d9b: JUMPDEST
00000d9c: CALLER
00000d9d: SWAP1
00000d9e: JUMP
00000d9f: JUMPDEST
00000da0: PUSH1 0x01
00000da2: PUSH1 0x01
00000da4: PUSH1 0xe0
00000da6: SHL
00000da7: SUB
00000da8: NOT
00000da9: DUP3
00000daa: AND
00000dab: PUSH1 0x00
00000dad: SWAP1
00000dae: DUP2
00000daf: MSTORE
00000db0: PUSH1 0x04
00000db2: PUSH1 0x20
00000db4: MSTORE
00000db5: PUSH1 0x40
00000db7: SWAP1
00000db8: KECCAK256
00000db9: DUP1
00000dba: SLOAD
00000dbb: PUSH1 0x01
00000dbd: PUSH1 0x01
00000dbf: PUSH1 0xa0
00000dc1: SHL
00000dc2: SUB
00000dc3: NOT
00000dc4: AND
00000dc5: PUSH1 0x01
00000dc7: PUSH1 0x01
00000dc9: PUSH1 0xa0
00000dcb: SHL
00000dcc: SUB
00000dcd: DUP4
00000dce: AND
00000dcf: SWAP1
00000dd0: DUP2
00000dd1: OR
00000dd2: SWAP1
00000dd3: SWAP2
00000dd4: SSTORE
00000dd5: ISZERO
00000dd6: PUSH2 0x0dfa
00000dd9: JUMPI
00000dda: PUSH2 0x0df4
00000ddd: PUSH1 0x0c
00000ddf: PUSH1 0x01
00000de1: PUSH1 0x01
00000de3: PUSH1 0xe0
00000de5: SHL
00000de6: SUB
00000de7: NOT
00000de8: DUP5
00000de9: AND
00000dea: PUSH4 0xffffffff
00000def: PUSH2 0x0e9c
00000df2: AND
00000df3: JUMP
00000df4: JUMPDEST
00000df5: POP
00000df6: PUSH2 0x0d97
00000df9: JUMP
00000dfa: JUMPDEST
00000dfb: PUSH2 0x0e15
00000dfe: PUSH1 0x0c
00000e00: PUSH1 0x01
00000e02: PUSH1 0x01
00000e04: PUSH1 0xe0
00000e06: SHL
00000e07: SUB
00000e08: NOT
00000e09: DUP5
00000e0a: AND
00000e0b: PUSH4 0xffffffff
00000e10: PUSH2 0x0ee4
00000e13: AND
00000e14: JUMP
00000e15: JUMPDEST
00000e16: POP
00000e17: POP
00000e18: POP
00000e19: JUMP
00000e1a: JUMPDEST
00000e1b: PUSH1 0x01
00000e1d: PUSH1 0x01
00000e1f: PUSH1 0xa0
00000e21: SHL
00000e22: SUB
00000e23: DUP2
00000e24: AND
00000e25: PUSH2 0x0e40
00000e28: JUMPI
00000e29: PUSH1 0x40
00000e2b: MLOAD
00000e2c: PUSH3 0x461bcd
00000e30: PUSH1 0xe5
00000e32: SHL
00000e33: DUP2
00000e34: MSTORE
00000e35: PUSH1 0x04
00000e37: ADD
00000e38: PUSH2 0x027e
00000e3b: SWAP1
00000e3c: PUSH2 0x14ee
00000e3f: JUMP
00000e40: JUMPDEST
00000e41: PUSH1 0x01
00000e43: SLOAD
00000e44: PUSH1 0x40
00000e46: MLOAD
00000e47: PUSH1 0x01
00000e49: PUSH1 0x01
00000e4b: PUSH1 0xa0
00000e4d: SHL
00000e4e: SUB
00000e4f: DUP1
00000e50: DUP5
00000e51: AND
00000e52: SWAP3
00000e53: AND
00000e54: SWAP1
00000e55: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
00000e76: SWAP1
00000e77: PUSH1 0x00
00000e79: SWAP1
00000e7a: LOG3
00000e7b: PUSH1 0x01
00000e7d: DUP1
00000e7e: SLOAD
00000e7f: PUSH1 0x01
00000e81: PUSH1 0x01
00000e83: PUSH1 0xa0
00000e85: SHL
00000e86: SUB
00000e87: NOT
00000e88: AND
00000e89: PUSH1 0x01
00000e8b: PUSH1 0x01
00000e8d: PUSH1 0xa0
00000e8f: SHL
00000e90: SUB
00000e91: SWAP3
00000e92: SWAP1
00000e93: SWAP3
00000e94: AND
00000e95: SWAP2
00000e96: SWAP1
00000e97: SWAP2
00000e98: OR
00000e99: SWAP1
00000e9a: SSTORE
00000e9b: JUMP
00000e9c: JUMPDEST
00000e9d: PUSH1 0x00
00000e9f: PUSH2 0x0ea8
00000ea2: DUP4
00000ea3: DUP4
00000ea4: PUSH2 0x0fa5
00000ea7: JUMP
00000ea8: JUMPDEST
00000ea9: PUSH2 0x0edc
00000eac: JUMPI
00000ead: POP
00000eae: PUSH1 0x01
00000eb0: DUP1
00000eb1: DUP4
00000eb2: ADD
00000eb3: DUP1
00000eb4: SLOAD
00000eb5: DUP1
00000eb6: DUP4
00000eb7: ADD
00000eb8: DUP1
00000eb9: DUP4
00000eba: SSTORE
00000ebb: PUSH1 0x00
00000ebd: SWAP3
00000ebe: DUP4
00000ebf: MSTORE
00000ec0: PUSH1 0x20
00000ec2: DUP1
00000ec3: DUP5
00000ec4: KECCAK256
00000ec5: SWAP1
00000ec6: SWAP3
00000ec7: ADD
00000ec8: DUP6
00000ec9: SWAP1
00000eca: SSTORE
00000ecb: DUP5
00000ecc: DUP4
00000ecd: MSTORE
00000ece: SWAP1
00000ecf: DUP6
00000ed0: SWAP1
00000ed1: MSTORE
00000ed2: PUSH1 0x40
00000ed4: SWAP1
00000ed5: SWAP2
00000ed6: KECCAK256
00000ed7: SSTORE
00000ed8: PUSH2 0x0c75
00000edb: JUMP
00000edc: JUMPDEST
00000edd: POP
00000ede: PUSH1 0x00
00000ee0: PUSH2 0x0c75
00000ee3: JUMP
00000ee4: JUMPDEST
00000ee5: PUSH1 0x00
00000ee7: PUSH2 0x0ef0
00000eea: DUP4
00000eeb: DUP4
00000eec: PUSH2 0x0fa5
00000eef: JUMP
00000ef0: JUMPDEST
00000ef1: ISZERO
00000ef2: PUSH2 0x0edc
00000ef5: JUMPI
00000ef6: PUSH1 0x00
00000ef8: DUP3
00000ef9: DUP2
00000efa: MSTORE
00000efb: PUSH1 0x20
00000efd: DUP5
00000efe: SWAP1
00000eff: MSTORE
00000f00: PUSH1 0x40
00000f02: SWAP1
00000f03: KECCAK256
00000f04: SLOAD
00000f05: PUSH1 0x01
00000f07: DUP5
00000f08: ADD
00000f09: SLOAD
00000f0a: PUSH1 0x00
00000f0c: NOT
00000f0d: SWAP2
00000f0e: DUP3
00000f0f: ADD
00000f10: SWAP2
00000f11: ADD
00000f12: DUP1
00000f13: DUP3
00000f14: EQ
00000f15: PUSH2 0x0f68
00000f18: JUMPI
00000f19: PUSH1 0x00
00000f1b: DUP6
00000f1c: PUSH1 0x01
00000f1e: ADD
00000f1f: DUP3
00000f20: DUP2
00000f21: SLOAD
00000f22: DUP2
00000f23: LT
00000f24: PUSH2 0x0f29
00000f27: JUMPI
00000f28: INVALID
00000f29: JUMPDEST
00000f2a: SWAP1
00000f2b: PUSH1 0x00
00000f2d: MSTORE
00000f2e: PUSH1 0x20
00000f30: PUSH1 0x00
00000f32: KECCAK256
00000f33: ADD
00000f34: SLOAD
00000f35: SWAP1
00000f36: POP
00000f37: DUP1
00000f38: DUP7
00000f39: PUSH1 0x01
00000f3b: ADD
00000f3c: DUP5
00000f3d: DUP2
00000f3e: SLOAD
00000f3f: DUP2
00000f40: LT
00000f41: PUSH2 0x0f46
00000f44: JUMPI
00000f45: INVALID
00000f46: JUMPDEST
00000f47: PUSH1 0x00
00000f49: SWAP2
00000f4a: DUP3
00000f4b: MSTORE
00000f4c: PUSH1 0x20
00000f4e: DUP1
00000f4f: DUP4
00000f50: KECCAK256
00000f51: SWAP1
00000f52: SWAP2
00000f53: ADD
00000f54: SWAP3
00000f55: SWAP1
00000f56: SWAP3
00000f57: SSTORE
00000f58: SWAP2
00000f59: DUP3
00000f5a: MSTORE
00000f5b: DUP7
00000f5c: SWAP1
00000f5d: MSTORE
00000f5e: PUSH1 0x40
00000f60: SWAP1
00000f61: KECCAK256
00000f62: PUSH1 0x01
00000f64: DUP4
00000f65: ADD
00000f66: SWAP1
00000f67: SSTORE
00000f68: JUMPDEST
00000f69: PUSH1 0x00
00000f6b: DUP5
00000f6c: DUP2
00000f6d: MSTORE
00000f6e: PUSH1 0x20
00000f70: DUP7
00000f71: SWAP1
00000f72: MSTORE
00000f73: PUSH1 0x40
00000f75: DUP2
00000f76: KECCAK256
00000f77: SSTORE
00000f78: PUSH1 0x01
00000f7a: DUP6
00000f7b: ADD
00000f7c: DUP1
00000f7d: SLOAD
00000f7e: DUP1
00000f7f: PUSH2 0x0f84
00000f82: JUMPI
00000f83: INVALID
00000f84: JUMPDEST
00000f85: PUSH1 0x01
00000f87: SWAP1
00000f88: SUB
00000f89: DUP2
00000f8a: DUP2
00000f8b: SWAP1
00000f8c: PUSH1 0x00
00000f8e: MSTORE
00000f8f: PUSH1 0x20
00000f91: PUSH1 0x00
00000f93: KECCAK256
00000f94: ADD
00000f95: PUSH1 0x00
00000f97: SWAP1
00000f98: SSTORE
00000f99: SWAP1
00000f9a: SSTORE
00000f9b: PUSH1 0x01
00000f9d: SWAP3
00000f9e: POP
00000f9f: POP
00000fa0: POP
00000fa1: PUSH2 0x0c75
00000fa4: JUMP
00000fa5: JUMPDEST
00000fa6: PUSH1 0x00
00000fa8: SWAP1
00000fa9: DUP2
00000faa: MSTORE
00000fab: PUSH1 0x20
00000fad: SWAP2
00000fae: SWAP1
00000faf: SWAP2
00000fb0: MSTORE
00000fb1: PUSH1 0x40
00000fb3: SWAP1
00000fb4: KECCAK256
00000fb5: SLOAD
00000fb6: ISZERO
00000fb7: ISZERO
00000fb8: SWAP1
00000fb9: JUMP
00000fba: JUMPDEST
00000fbb: DUP1
00000fbc: CALLDATALOAD
00000fbd: PUSH2 0x0c75
00000fc0: DUP2
00000fc1: PUSH2 0x168f
00000fc4: JUMP
00000fc5: JUMPDEST
00000fc6: PUSH1 0x00
00000fc8: DUP1
00000fc9: DUP4
00000fca: PUSH1 0x1f
00000fcc: DUP5
00000fcd: ADD
00000fce: SLT
00000fcf: PUSH2 0x0fd7
00000fd2: JUMPI
00000fd3: PUSH1 0x00
00000fd5: DUP1
00000fd6: REVERT
00000fd7: JUMPDEST
00000fd8: POP
00000fd9: DUP2
00000fda: CALLDATALOAD
00000fdb: PUSH8 0xffffffffffffffff
00000fe4: DUP2
00000fe5: GT
00000fe6: ISZERO
00000fe7: PUSH2 0x0fef
00000fea: JUMPI
00000feb: PUSH1 0x00
00000fed: DUP1
00000fee: REVERT
00000fef: JUMPDEST
00000ff0: PUSH1 0x20
00000ff2: DUP4
00000ff3: ADD
00000ff4: SWAP2
00000ff5: POP
00000ff6: DUP4
00000ff7: PUSH1 0x20
00000ff9: DUP3
00000ffa: MUL
00000ffb: DUP4
00000ffc: ADD
00000ffd: GT
00000ffe: ISZERO
00000fff: PUSH2 0x1007
00001002: JUMPI
00001003: PUSH1 0x00
00001005: DUP1
00001006: REVERT
00001007: JUMPDEST
00001008: SWAP3
00001009: POP
0000100a: SWAP3
0000100b: SWAP1
0000100c: POP
0000100d: JUMP
0000100e: JUMPDEST
0000100f: DUP1
00001010: CALLDATALOAD
00001011: PUSH2 0x0c75
00001014: DUP2
00001015: PUSH2 0x16a3
00001018: JUMP
00001019: JUMPDEST
0000101a: DUP1
0000101b: CALLDATALOAD
0000101c: PUSH2 0x0c75
0000101f: DUP2
00001020: PUSH2 0x16ac
00001023: JUMP
00001024: JUMPDEST
00001025: PUSH1 0x00
00001027: DUP1
00001028: DUP4
00001029: PUSH1 0x1f
0000102b: DUP5
0000102c: ADD
0000102d: SLT
0000102e: PUSH2 0x1036
00001031: JUMPI
00001032: PUSH1 0x00
00001034: DUP1
00001035: REVERT
00001036: JUMPDEST
00001037: POP
00001038: DUP2
00001039: CALLDATALOAD
0000103a: PUSH8 0xffffffffffffffff
00001043: DUP2
00001044: GT
00001045: ISZERO
00001046: PUSH2 0x104e
00001049: JUMPI
0000104a: PUSH1 0x00
0000104c: DUP1
0000104d: REVERT
0000104e: JUMPDEST
0000104f: PUSH1 0x20
00001051: DUP4
00001052: ADD
00001053: SWAP2
00001054: POP
00001055: DUP4
00001056: PUSH1 0x01
00001058: DUP3
00001059: MUL
0000105a: DUP4
0000105b: ADD
0000105c: GT
0000105d: ISZERO
0000105e: PUSH2 0x1007
00001061: JUMPI
00001062: PUSH1 0x00
00001064: DUP1
00001065: REVERT
00001066: JUMPDEST
00001067: PUSH1 0x00
00001069: PUSH1 0x20
0000106b: DUP3
0000106c: DUP5
0000106d: SUB
0000106e: SLT
0000106f: ISZERO
00001070: PUSH2 0x1078
00001073: JUMPI
00001074: PUSH1 0x00
00001076: DUP1
00001077: REVERT
00001078: JUMPDEST
00001079: PUSH1 0x00
0000107b: PUSH2 0x1084
0000107e: DUP5
0000107f: DUP5
00001080: PUSH2 0x0fba
00001083: JUMP
00001084: JUMPDEST
00001085: SWAP5
00001086: SWAP4
00001087: POP
00001088: POP
00001089: POP
0000108a: POP
0000108b: JUMP
0000108c: JUMPDEST
0000108d: PUSH1 0x00
0000108f: DUP1
00001090: PUSH1 0x40
00001092: DUP4
00001093: DUP6
00001094: SUB
00001095: SLT
00001096: ISZERO
00001097: PUSH2 0x109f
0000109a: JUMPI
0000109b: PUSH1 0x00
0000109d: DUP1
0000109e: REVERT
0000109f: JUMPDEST
000010a0: PUSH1 0x00
000010a2: PUSH2 0x10ab
000010a5: DUP6
000010a6: DUP6
000010a7: PUSH2 0x0fba
000010aa: JUMP
000010ab: JUMPDEST
000010ac: SWAP3
000010ad: POP
000010ae: POP
000010af: PUSH1 0x20
000010b1: PUSH2 0x10bc
000010b4: DUP6
000010b5: DUP3
000010b6: DUP7
000010b7: ADD
000010b8: PUSH2 0x0fba
000010bb: JUMP
000010bc: JUMPDEST
000010bd: SWAP2
000010be: POP
000010bf: POP
000010c0: SWAP3
000010c1: POP
000010c2: SWAP3
000010c3: SWAP1
000010c4: POP
000010c5: JUMP
000010c6: JUMPDEST
000010c7: PUSH1 0x00
000010c9: DUP1
000010ca: PUSH1 0x40
000010cc: DUP4
000010cd: DUP6
000010ce: SUB
000010cf: SLT
000010d0: ISZERO
000010d1: PUSH2 0x10d9
000010d4: JUMPI
000010d5: PUSH1 0x00
000010d7: DUP1
000010d8: REVERT
000010d9: JUMPDEST
000010da: PUSH1 0x00
000010dc: PUSH2 0x10e5
000010df: DUP6
000010e0: DUP6
000010e1: PUSH2 0x0fba
000010e4: JUMP
000010e5: JUMPDEST
000010e6: SWAP3
000010e7: POP
000010e8: POP
000010e9: PUSH1 0x20
000010eb: PUSH2 0x10bc
000010ee: DUP6
000010ef: DUP3
000010f0: DUP7
000010f1: ADD
000010f2: PUSH2 0x100e
000010f5: JUMP
000010f6: JUMPDEST
000010f7: PUSH1 0x00
000010f9: DUP1
000010fa: PUSH1 0x00
000010fc: DUP1
000010fd: PUSH1 0x40
000010ff: DUP6
00001100: DUP8
00001101: SUB
00001102: SLT
00001103: ISZERO
00001104: PUSH2 0x110c
00001107: JUMPI
00001108: PUSH1 0x00
0000110a: DUP1
0000110b: REVERT
0000110c: JUMPDEST
0000110d: DUP5
0000110e: CALLDATALOAD
0000110f: PUSH8 0xffffffffffffffff
00001118: DUP2
00001119: GT
0000111a: ISZERO
0000111b: PUSH2 0x1123
0000111e: JUMPI
0000111f: PUSH1 0x00
00001121: DUP1
00001122: REVERT
00001123: JUMPDEST
00001124: PUSH2 0x112f
00001127: DUP8
00001128: DUP3
00001129: DUP9
0000112a: ADD
0000112b: PUSH2 0x0fc5
0000112e: JUMP
0000112f: JUMPDEST
00001130: SWAP5
00001131: POP
00001132: SWAP5
00001133: POP
00001134: POP
00001135: PUSH1 0x20
00001137: DUP6
00001138: ADD
00001139: CALLDATALOAD
0000113a: PUSH8 0xffffffffffffffff
00001143: DUP2
00001144: GT
00001145: ISZERO
00001146: PUSH2 0x114e
00001149: JUMPI
0000114a: PUSH1 0x00
0000114c: DUP1
0000114d: REVERT
0000114e: JUMPDEST
0000114f: PUSH2 0x115a
00001152: DUP8
00001153: DUP3
00001154: DUP9
00001155: ADD
00001156: PUSH2 0x0fc5
00001159: JUMP
0000115a: JUMPDEST
0000115b: SWAP6
0000115c: SWAP9
0000115d: SWAP5
0000115e: SWAP8
0000115f: POP
00001160: SWAP6
00001161: POP
00001162: POP
00001163: POP
00001164: POP
00001165: JUMP
00001166: JUMPDEST
00001167: PUSH1 0x00
00001169: PUSH1 0x20
0000116b: DUP3
0000116c: DUP5
0000116d: SUB
0000116e: SLT
0000116f: ISZERO
00001170: PUSH2 0x1178
00001173: JUMPI
00001174: PUSH1 0x00
00001176: DUP1
00001177: REVERT
00001178: JUMPDEST
00001179: PUSH1 0x00
0000117b: PUSH2 0x1084
0000117e: DUP5
0000117f: DUP5
00001180: PUSH2 0x100e
00001183: JUMP
00001184: JUMPDEST
00001185: PUSH1 0x00
00001187: DUP1
00001188: PUSH1 0x40
0000118a: DUP4
0000118b: DUP6
0000118c: SUB
0000118d: SLT
0000118e: ISZERO
0000118f: PUSH2 0x1197
00001192: JUMPI
00001193: PUSH1 0x00
00001195: DUP1
00001196: REVERT
00001197: JUMPDEST
00001198: PUSH1 0x00
0000119a: PUSH2 0x10ab
0000119d: DUP6
0000119e: DUP6
0000119f: PUSH2 0x100e
000011a2: JUMP
000011a3: JUMPDEST
000011a4: PUSH1 0x00
000011a6: PUSH1 0x20
000011a8: DUP3
000011a9: DUP5
000011aa: SUB
000011ab: SLT
000011ac: ISZERO
000011ad: PUSH2 0x11b5
000011b0: JUMPI
000011b1: PUSH1 0x00
000011b3: DUP1
000011b4: REVERT
000011b5: JUMPDEST
000011b6: PUSH1 0x00
000011b8: PUSH2 0x1084
000011bb: DUP5
000011bc: DUP5
000011bd: PUSH2 0x1019
000011c0: JUMP
000011c1: JUMPDEST
000011c2: PUSH1 0x00
000011c4: DUP1
000011c5: PUSH1 0x20
000011c7: DUP4
000011c8: DUP6
000011c9: SUB
000011ca: SLT
000011cb: ISZERO
000011cc: PUSH2 0x11d4
000011cf: JUMPI
000011d0: PUSH1 0x00
000011d2: DUP1
000011d3: REVERT
000011d4: JUMPDEST
000011d5: DUP3
000011d6: CALLDATALOAD
000011d7: PUSH8 0xffffffffffffffff
000011e0: DUP2
000011e1: GT
000011e2: ISZERO
000011e3: PUSH2 0x11eb
000011e6: JUMPI
000011e7: PUSH1 0x00
000011e9: DUP1
000011ea: REVERT
000011eb: JUMPDEST
000011ec: PUSH2 0x11f7
000011ef: DUP6
000011f0: DUP3
000011f1: DUP7
000011f2: ADD
000011f3: PUSH2 0x1024
000011f6: JUMP
000011f7: JUMPDEST
000011f8: SWAP3
000011f9: POP
000011fa: SWAP3
000011fb: POP
000011fc: POP
000011fd: SWAP3
000011fe: POP
000011ff: SWAP3
00001200: SWAP1
00001201: POP
00001202: JUMP
00001203: JUMPDEST
00001204: PUSH2 0x120c
00001207: DUP2
00001208: PUSH2 0x161c
0000120b: JUMP
0000120c: JUMPDEST
0000120d: DUP3
0000120e: MSTORE
0000120f: POP
00001210: POP
00001211: JUMP
00001212: JUMPDEST
00001213: PUSH2 0x120c
00001216: DUP2
00001217: PUSH2 0x1627
0000121a: JUMP
0000121b: JUMPDEST
0000121c: PUSH2 0x120c
0000121f: DUP2
00001220: PUSH2 0x162c
00001223: JUMP
00001224: JUMPDEST
00001225: PUSH1 0x00
00001227: PUSH2 0x122f
0000122a: DUP3
0000122b: PUSH2 0x160a
0000122e: JUMP
0000122f: JUMPDEST
00001230: PUSH2 0x1239
00001233: DUP2
00001234: DUP6
00001235: PUSH2 0x160e
00001238: JUMP
00001239: JUMPDEST
0000123a: SWAP4
0000123b: POP
0000123c: PUSH2 0x1249
0000123f: DUP2
00001240: DUP6
00001241: PUSH1 0x20
00001243: DUP7
00001244: ADD
00001245: PUSH2 0x165f
00001248: JUMP
00001249: JUMPDEST
0000124a: SWAP3
0000124b: SWAP1
0000124c: SWAP3
0000124d: ADD
0000124e: SWAP3
0000124f: SWAP2
00001250: POP
00001251: POP
00001252: JUMP
00001253: JUMPDEST
00001254: PUSH2 0x120c
00001257: DUP2
00001258: PUSH2 0x1648
0000125b: JUMP
0000125c: JUMPDEST
0000125d: PUSH1 0x00
0000125f: PUSH2 0x1268
00001262: DUP4
00001263: DUP6
00001264: PUSH2 0x160e
00001267: JUMP
00001268: JUMPDEST
00001269: SWAP4
0000126a: POP
0000126b: PUSH2 0x1275
0000126e: DUP4
0000126f: DUP6
00001270: DUP5
00001271: PUSH2 0x1653
00001274: JUMP
00001275: JUMPDEST
00001276: POP
00001277: POP
00001278: ADD
00001279: SWAP1
0000127a: JUMP
0000127b: JUMPDEST
0000127c: PUSH1 0x00
0000127e: PUSH2 0x1288
00001281: PUSH1 0x11
00001283: DUP4
00001284: PUSH2 0x1613
00001287: JUMP
00001288: JUMPDEST
00001289: PUSH17 0x746172676574206e6f7420616374697665
0000129b: PUSH1 0x78
0000129d: SHL
0000129e: DUP2
0000129f: MSTORE
000012a0: PUSH1 0x20
000012a2: ADD
000012a3: SWAP3
000012a4: SWAP2
000012a5: POP
000012a6: POP
000012a7: JUMP
000012a8: JUMPDEST
000012a9: PUSH1 0x00
000012ab: PUSH2 0x12b5
000012ae: PUSH1 0x26
000012b0: DUP4
000012b1: PUSH2 0x1613
000012b4: JUMP
000012b5: JUMPDEST
000012b6: PUSH32 0x4f776e61626c653a206e6577206f776e657220697320746865207a65726f2061
000012d7: DUP2
000012d8: MSTORE
000012d9: PUSH6 0x646472657373
000012e0: PUSH1 0xd0
000012e2: SHL
000012e3: PUSH1 0x20
000012e5: DUP3
000012e6: ADD
000012e7: MSTORE
000012e8: PUSH1 0x40
000012ea: ADD
000012eb: SWAP3
000012ec: SWAP2
000012ed: POP
000012ee: POP
000012ef: JUMP
000012f0: JUMPDEST
000012f1: PUSH1 0x00
000012f3: PUSH2 0x12fd
000012f6: PUSH1 0x0e
000012f8: DUP4
000012f9: PUSH2 0x1613
000012fc: JUMP
000012fd: JUMPDEST
000012fe: PUSH14 0x0c6deeadce840dad2e6dac2e8c6d
0000130d: PUSH1 0x93
0000130f: SHL
00001310: DUP2
00001311: MSTORE
00001312: PUSH1 0x20
00001314: ADD
00001315: SWAP3
00001316: SWAP2
00001317: POP
00001318: POP
00001319: JUMP
0000131a: JUMPDEST
0000131b: PUSH1 0x00
0000131d: PUSH2 0x1327
00001320: PUSH1 0x0c
00001322: DUP4
00001323: PUSH2 0x1613
00001326: JUMP
00001327: JUMPDEST
00001328: PUSH12 0x1d5b985d5d1a1bdc9a5e9959
00001335: PUSH1 0xa2
00001337: SHL
00001338: DUP2
00001339: MSTORE
0000133a: PUSH1 0x20
0000133c: ADD
0000133d: SWAP3
0000133e: SWAP2
0000133f: POP
00001340: POP
00001341: JUMP
00001342: JUMPDEST
00001343: PUSH1 0x00
00001345: PUSH2 0x134f
00001348: PUSH1 0x0c
0000134a: DUP4
0000134b: PUSH2 0x1613
0000134e: JUMP
0000134f: JUMPDEST
00001350: PUSH12 0x1cd95d1d5c0819985a5b1959
0000135d: PUSH1 0xa2
0000135f: SHL
00001360: DUP2
00001361: MSTORE
00001362: PUSH1 0x20
00001364: ADD
00001365: SWAP3
00001366: SWAP2
00001367: POP
00001368: POP
00001369: JUMP
0000136a: JUMPDEST
0000136b: PUSH1 0x00
0000136d: PUSH2 0x1376
00001370: DUP3
00001371: DUP5
00001372: PUSH2 0x1224
00001375: JUMP
00001376: JUMPDEST
00001377: SWAP4
00001378: SWAP3
00001379: POP
0000137a: POP
0000137b: POP
0000137c: JUMP
0000137d: JUMPDEST
0000137e: PUSH1 0x00
00001380: PUSH2 0x1084
00001383: DUP3
00001384: DUP5
00001385: DUP7
00001386: PUSH2 0x125c
00001389: JUMP
0000138a: JUMPDEST
0000138b: PUSH1 0x20
0000138d: DUP2
0000138e: ADD
0000138f: PUSH2 0x0c75
00001392: DUP3
00001393: DUP5
00001394: PUSH2 0x1203
00001397: JUMP
00001398: JUMPDEST
00001399: PUSH1 0x20
0000139b: DUP2
0000139c: ADD
0000139d: PUSH2 0x0c75
000013a0: DUP3
000013a1: DUP5
000013a2: PUSH2 0x1212
000013a5: JUMP
000013a6: JUMPDEST
000013a7: PUSH2 0x0100
000013aa: DUP2
000013ab: ADD
000013ac: PUSH2 0x13b5
000013af: DUP3
000013b0: DUP12
000013b1: PUSH2 0x121b
000013b4: JUMP
000013b5: JUMPDEST
000013b6: PUSH2 0x13c2
000013b9: PUSH1 0x20
000013bb: DUP4
000013bc: ADD
000013bd: DUP11
000013be: PUSH2 0x1212
000013c1: JUMP
000013c2: JUMPDEST
000013c3: PUSH2 0x13cf
000013c6: PUSH1 0x40
000013c8: DUP4
000013c9: ADD
000013ca: DUP10
000013cb: PUSH2 0x1203
000013ce: JUMP
000013cf: JUMPDEST
000013d0: PUSH2 0x13dc
000013d3: PUSH1 0x60
000013d5: DUP4
000013d6: ADD
000013d7: DUP9
000013d8: PUSH2 0x1203
000013db: JUMP
000013dc: JUMPDEST
000013dd: PUSH2 0x13e9
000013e0: PUSH1 0x80
000013e2: DUP4
000013e3: ADD
000013e4: DUP8
000013e5: PUSH2 0x1203
000013e8: JUMP
000013e9: JUMPDEST
000013ea: PUSH2 0x13f6
000013ed: PUSH1 0xa0
000013ef: DUP4
000013f0: ADD
000013f1: DUP7
000013f2: PUSH2 0x121b
000013f5: JUMP
000013f6: JUMPDEST
000013f7: PUSH2 0x1403
000013fa: PUSH1 0xc0
000013fc: DUP4
000013fd: ADD
000013fe: DUP6
000013ff: PUSH2 0x121b
00001402: JUMP
00001403: JUMPDEST
00001404: PUSH2 0x1410
00001407: PUSH1 0xe0
00001409: DUP4
0000140a: ADD
0000140b: DUP5
0000140c: PUSH2 0x121b
0000140f: JUMP
00001410: JUMPDEST
00001411: SWAP10
00001412: SWAP9
00001413: POP
00001414: POP
00001415: POP
00001416: POP
00001417: POP
00001418: POP
00001419: POP
0000141a: POP
0000141b: POP
0000141c: JUMP
0000141d: JUMPDEST
0000141e: PUSH2 0x0180
00001421: DUP2
00001422: ADD
00001423: PUSH2 0x142c
00001426: DUP3
00001427: DUP16
00001428: PUSH2 0x121b
0000142b: JUMP
0000142c: JUMPDEST
0000142d: PUSH2 0x1439
00001430: PUSH1 0x20
00001432: DUP4
00001433: ADD
00001434: DUP15
00001435: PUSH2 0x121b
00001438: JUMP
00001439: JUMPDEST
0000143a: PUSH2 0x1446
0000143d: PUSH1 0x40
0000143f: DUP4
00001440: ADD
00001441: DUP14
00001442: PUSH2 0x121b
00001445: JUMP
00001446: JUMPDEST
00001447: PUSH2 0x1453
0000144a: PUSH1 0x60
0000144c: DUP4
0000144d: ADD
0000144e: DUP13
0000144f: PUSH2 0x121b
00001452: JUMP
00001453: JUMPDEST
00001454: PUSH2 0x1460
00001457: PUSH1 0x80
00001459: DUP4
0000145a: ADD
0000145b: DUP12
0000145c: PUSH2 0x121b
0000145f: JUMP
00001460: JUMPDEST
00001461: PUSH2 0x146d
00001464: PUSH1 0xa0
00001466: DUP4
00001467: ADD
00001468: DUP11
00001469: PUSH2 0x121b
0000146c: JUMP
0000146d: JUMPDEST
0000146e: PUSH2 0x147a
00001471: PUSH1 0xc0
00001473: DUP4
00001474: ADD
00001475: DUP10
00001476: PUSH2 0x121b
00001479: JUMP
0000147a: JUMPDEST
0000147b: PUSH2 0x1487
0000147e: PUSH1 0xe0
00001480: DUP4
00001481: ADD
00001482: DUP9
00001483: PUSH2 0x121b
00001486: JUMP
00001487: JUMPDEST
00001488: PUSH2 0x1495
0000148b: PUSH2 0x0100
0000148e: DUP4
0000148f: ADD
00001490: DUP8
00001491: PUSH2 0x121b
00001494: JUMP
00001495: JUMPDEST
00001496: PUSH2 0x14a3
00001499: PUSH2 0x0120
0000149c: DUP4
0000149d: ADD
0000149e: DUP7
0000149f: PUSH2 0x1203
000014a2: JUMP
000014a3: JUMPDEST
000014a4: PUSH2 0x14b1
000014a7: PUSH2 0x0140
000014aa: DUP4
000014ab: ADD
000014ac: DUP6
000014ad: PUSH2 0x1203
000014b0: JUMP
000014b1: JUMPDEST
000014b2: PUSH2 0x14bf
000014b5: PUSH2 0x0160
000014b8: DUP4
000014b9: ADD
000014ba: DUP5
000014bb: PUSH2 0x1212
000014be: JUMP
000014bf: JUMPDEST
000014c0: SWAP14
000014c1: SWAP13
000014c2: POP
000014c3: POP
000014c4: POP
000014c5: POP
000014c6: POP
000014c7: POP
000014c8: POP
000014c9: POP
000014ca: POP
000014cb: POP
000014cc: POP
000014cd: POP
000014ce: POP
000014cf: JUMP
000014d0: JUMPDEST
000014d1: PUSH1 0x20
000014d3: DUP2
000014d4: ADD
000014d5: PUSH2 0x0c75
000014d8: DUP3
000014d9: DUP5
000014da: PUSH2 0x1253
000014dd: JUMP
000014de: JUMPDEST
000014df: PUSH1 0x20
000014e1: DUP1
000014e2: DUP3
000014e3: MSTORE
000014e4: DUP2
000014e5: ADD
000014e6: PUSH2 0x0c75
000014e9: DUP2
000014ea: PUSH2 0x127b
000014ed: JUMP
000014ee: JUMPDEST
000014ef: PUSH1 0x20
000014f1: DUP1
000014f2: DUP3
000014f3: MSTORE
000014f4: DUP2
000014f5: ADD
000014f6: PUSH2 0x0c75
000014f9: DUP2
000014fa: PUSH2 0x12a8
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x20
00001501: DUP1
00001502: DUP3
00001503: MSTORE
00001504: DUP2
00001505: ADD
00001506: PUSH2 0x0c75
00001509: DUP2
0000150a: PUSH2 0x12f0
0000150d: JUMP
0000150e: JUMPDEST
0000150f: PUSH1 0x20
00001511: DUP1
00001512: DUP3
00001513: MSTORE
00001514: DUP2
00001515: ADD
00001516: PUSH2 0x0c75
00001519: DUP2
0000151a: PUSH2 0x131a
0000151d: JUMP
0000151e: JUMPDEST
0000151f: PUSH1 0x20
00001521: DUP1
00001522: DUP3
00001523: MSTORE
00001524: DUP2
00001525: ADD
00001526: PUSH2 0x0c75
00001529: DUP2
0000152a: PUSH2 0x1342
0000152d: JUMP
0000152e: JUMPDEST
0000152f: PUSH1 0x20
00001531: DUP2
00001532: ADD
00001533: PUSH2 0x0c75
00001536: DUP3
00001537: DUP5
00001538: PUSH2 0x121b
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH1 0x60
0000153f: DUP2
00001540: ADD
00001541: PUSH2 0x154a
00001544: DUP3
00001545: DUP7
00001546: PUSH2 0x121b
00001549: JUMP
0000154a: JUMPDEST
0000154b: PUSH2 0x1557
0000154e: PUSH1 0x20
00001550: DUP4
00001551: ADD
00001552: DUP6
00001553: PUSH2 0x121b
00001556: JUMP
00001557: JUMPDEST
00001558: PUSH2 0x1084
0000155b: PUSH1 0x40
0000155d: DUP4
0000155e: ADD
0000155f: DUP5
00001560: PUSH2 0x121b
00001563: JUMP
00001564: JUMPDEST
00001565: PUSH1 0xa0
00001567: DUP2
00001568: ADD
00001569: PUSH2 0x1572
0000156c: DUP3
0000156d: DUP9
0000156e: PUSH2 0x121b
00001571: JUMP
00001572: JUMPDEST
00001573: PUSH2 0x157f
00001576: PUSH1 0x20
00001578: DUP4
00001579: ADD
0000157a: DUP8
0000157b: PUSH2 0x121b
0000157e: JUMP
0000157f: JUMPDEST
00001580: PUSH2 0x158c
00001583: PUSH1 0x40
00001585: DUP4
00001586: ADD
00001587: DUP7
00001588: PUSH2 0x121b
0000158b: JUMP
0000158c: JUMPDEST
0000158d: PUSH2 0x1599
00001590: PUSH1 0x60
00001592: DUP4
00001593: ADD
00001594: DUP6
00001595: PUSH2 0x121b
00001598: JUMP
00001599: JUMPDEST
0000159a: PUSH2 0x15a6
0000159d: PUSH1 0x80
0000159f: DUP4
000015a0: ADD
000015a1: DUP5
000015a2: PUSH2 0x121b
000015a5: JUMP
000015a6: JUMPDEST
000015a7: SWAP7
000015a8: SWAP6
000015a9: POP
000015aa: POP
000015ab: POP
000015ac: POP
000015ad: POP
000015ae: POP
000015af: JUMP
000015b0: JUMPDEST
000015b1: PUSH1 0xc0
000015b3: DUP2
000015b4: ADD
000015b5: PUSH2 0x15be
000015b8: DUP3
000015b9: DUP10
000015ba: PUSH2 0x121b
000015bd: JUMP
000015be: JUMPDEST
000015bf: PUSH2 0x15cb
000015c2: PUSH1 0x20
000015c4: DUP4
000015c5: ADD
000015c6: DUP9
000015c7: PUSH2 0x121b
000015ca: JUMP
000015cb: JUMPDEST
000015cc: PUSH2 0x15d8
000015cf: PUSH1 0x40
000015d1: DUP4
000015d2: ADD
000015d3: DUP8
000015d4: PUSH2 0x121b
000015d7: JUMP
000015d8: JUMPDEST
000015d9: PUSH2 0x15e5
000015dc: PUSH1 0x60
000015de: DUP4
000015df: ADD
000015e0: DUP7
000015e1: PUSH2 0x121b
000015e4: JUMP
000015e5: JUMPDEST
000015e6: PUSH2 0x15f2
000015e9: PUSH1 0x80
000015eb: DUP4
000015ec: ADD
000015ed: DUP6
000015ee: PUSH2 0x121b
000015f1: JUMP
000015f2: JUMPDEST
000015f3: PUSH2 0x15ff
000015f6: PUSH1 0xa0
000015f8: DUP4
000015f9: ADD
000015fa: DUP5
000015fb: PUSH2 0x121b
000015fe: JUMP
000015ff: JUMPDEST
00001600: SWAP8
00001601: SWAP7
00001602: POP
00001603: POP
00001604: POP
00001605: POP
00001606: POP
00001607: POP
00001608: POP
00001609: JUMP
0000160a: JUMPDEST
0000160b: MLOAD
0000160c: SWAP1
0000160d: JUMP
0000160e: JUMPDEST
0000160f: SWAP2
00001610: SWAP1
00001611: POP
00001612: JUMP
00001613: JUMPDEST
00001614: SWAP1
00001615: DUP2
00001616: MSTORE
00001617: PUSH1 0x20
00001619: ADD
0000161a: SWAP1
0000161b: JUMP
0000161c: JUMPDEST
0000161d: PUSH1 0x00
0000161f: PUSH2 0x0c75
00001622: DUP3
00001623: PUSH2 0x163c
00001626: JUMP
00001627: JUMPDEST
00001628: ISZERO
00001629: ISZERO
0000162a: SWAP1
0000162b: JUMP
0000162c: JUMPDEST
0000162d: SWAP1
0000162e: JUMP
0000162f: JUMPDEST
00001630: PUSH1 0x01
00001632: PUSH1 0x01
00001634: PUSH1 0xe0
00001636: SHL
00001637: SUB
00001638: NOT
00001639: AND
0000163a: SWAP1
0000163b: JUMP
0000163c: JUMPDEST
0000163d: PUSH1 0x01
0000163f: PUSH1 0x01
00001641: PUSH1 0xa0
00001643: SHL
00001644: SUB
00001645: AND
00001646: SWAP1
00001647: JUMP
00001648: JUMPDEST
00001649: PUSH1 0x00
0000164b: PUSH2 0x0c75
0000164e: DUP3
0000164f: PUSH2 0x161c
00001652: JUMP
00001653: JUMPDEST
00001654: DUP3
00001655: DUP2
00001656: DUP4
00001657: CALLDATACOPY
00001658: POP
00001659: PUSH1 0x00
0000165b: SWAP2
0000165c: ADD
0000165d: MSTORE
0000165e: JUMP
0000165f: JUMPDEST
00001660: PUSH1 0x00
00001662: JUMPDEST
00001663: DUP4
00001664: DUP2
00001665: LT
00001666: ISZERO
00001667: PUSH2 0x167a
0000166a: JUMPI
0000166b: DUP2
0000166c: DUP2
0000166d: ADD
0000166e: MLOAD
0000166f: DUP4
00001670: DUP3
00001671: ADD
00001672: MSTORE
00001673: PUSH1 0x20
00001675: ADD
00001676: PUSH2 0x1662
00001679: JUMP
0000167a: JUMPDEST
0000167b: DUP4
0000167c: DUP2
0000167d: GT
0000167e: ISZERO
0000167f: PUSH2 0x1689
00001682: JUMPI
00001683: PUSH1 0x00
00001685: DUP5
00001686: DUP5
00001687: ADD
00001688: MSTORE
00001689: JUMPDEST
0000168a: POP
0000168b: POP
0000168c: POP
0000168d: POP
0000168e: JUMP
0000168f: JUMPDEST
00001690: PUSH2 0x1698
00001693: DUP2
00001694: PUSH2 0x161c
00001697: JUMP
00001698: JUMPDEST
00001699: DUP2
0000169a: EQ
0000169b: PUSH2 0x0cbd
0000169e: JUMPI
0000169f: PUSH1 0x00
000016a1: DUP1
000016a2: REVERT
000016a3: JUMPDEST
000016a4: PUSH2 0x1698
000016a7: DUP2
000016a8: PUSH2 0x162c
000016ab: JUMP
000016ac: JUMPDEST
000016ad: PUSH2 0x1698
000016b0: DUP2
000016b1: PUSH2 0x162f
000016b4: JUMP
000016b5: INVALID
000016b6: LOG3
000016b7: PUSH6 0x627a7a723158
000016be: KECCAK256
000016bf: UNKNOWN(0x4D)
000016c0: SHL
000016c1: UNKNOWN(0x25)
000016c2: UNKNOWN(0xD6)
000016c3: UNKNOWN(0xC1)
000016c4: UNKNOWN(0x24)
000016c5: UNKNOWN(0xB8)
000016c6: SWAP12
000016c7: CALL
000016c8: UNKNOWN(0xCC)
000016c9: UNKNOWN(0xA8)
000016ca: UNKNOWN(0xA5)
000016cb: MOD
000016cc: UNKNOWN(0xAB)
000016cd: LOG4
000016ce: STOP
000016cf: INVALID
000016d0: UNKNOWN(0x21)
000016d1: UNKNOWN(0xD6)
000016d2: LOG4
000016d3: SWAP5
000016d4: UNKNOWN(0x24)
000016d5: XOR
000016d6: UNKNOWN(0x21)
000016d7: UNKNOWN(0xB0)
000016d8: SELFDESTRUCT
000016d9: UNKNOWN(0xD0)
000016da: UNKNOWN(0xB1)
000016db: UNKNOWN(0x2E)
000016dc: PUSH4 0x7b726c65
000016e1: PUSH25