Analysis Run

[codex:1114927] OpenAI Codex v0.77.0 (research preview)
[codex:1114927] --------
[codex:1114927] workdir: /tmp/codex-multi-o9rx2wr5
[codex:1114927] model: gpt-5.2-codex
[codex:1114927] provider: openai
[codex:1114927] approval: never
[codex:1114927] sandbox: read-only
[codex:1114927] reasoning effort: xhigh
[codex:1114927] reasoning summaries: auto
[codex:1114927] session id: 019b8be6-1dd2-7730-86cb-f5a5d05cf01a
[codex:1114927] --------
[codex:1114927] user
[codex:1114927] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1114927] 
[codex:1114927] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1114927] 
[codex:1114927] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1114927] - Gas inefficiency, code quality, naming, or best practices
[codex:1114927] - Theoretical vulnerabilities without a clear extraction path
[codex:1114927] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1114927] - Front-running unless it enables theft beyond MEV
[codex:1114927] - DoS, griefing, or issues that don't result in attacker profit
[codex:1114927] - Missing events, view function issues, or informational findings
[codex:1114927] 
[codex:1114927] HIGH-VALUE PATTERNS TO HUNT:
[codex:1114927] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1114927] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1114927] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1114927] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1114927] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1114927] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1114927] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1114927] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1114927] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1114927] 
[codex:1114927] For each finding, you MUST provide:
[codex:1114927] 1. Exact file and line numbers of vulnerable code
[codex:1114927] 2. Step-by-step exploit transaction sequence
[codex:1114927] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1114927] 
[codex:1114927] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1114927] 
[codex:1114927] Output MUST be valid JSON matching the provided schema.
[codex:1114927] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1114927] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1114927] mcp startup: no servers
[codex:1114927] 
[codex:1114927] thinking
[codex:1114927] **Preparing to audit AUDIT_BUNDLE.txt**
[codex:1114927] exec
[codex:1114927] /bin/bash -lc ls in /tmp/codex-multi-o9rx2wr5 succeeded in 5ms:
[codex:1114927] AUDIT_BUNDLE.txt
[codex:1114927] codex-output-schema.json
[codex:1114927] contracts
[codex:1114927] exec
[codex:1114927] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-o9rx2wr5 succeeded in 5ms:
[codex:1114927] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1114927] 
[codex:1114927] ================================================================================
[codex:1114927] FILE: contracts/contracts/Sync/BaseMessageEndV2.sol
[codex:1114927] ================================================================================
[codex:1114927] // SPDX-License-Identifier: MIT
[codex:1114927] 
[codex:1114927] pragma solidity ^0.8.0;
[codex:1114927] 
[codex:1114927] contract BaseMessageEndV2 {
[codex:1114927]     // whitelisted peer end
[codex:1114927]     mapping(uint32 lzEndId => mapping(bytes32 peerAddr => bool allowed))
[codex:1114927]         public peerEndWhitelist;
[codex:1114927] 
[codex:1114927]     event UpdatePeerEndWhitelist(
[codex:1114927]         uint32 lzEndId,
[codex:1114927]         bytes32 peerAddr,
[codex:1114927]         bool allowed
[codex:1114927]     );
[codex:1114927] 
[codex:1114927] 
[codex:1114927] thinking
[codex:1114927] **Evaluating potential exploit avenues**
[codex:1114927] codex
[codex:1114927] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; all value-moving paths in Vault are gated by trusted syncOApp and peer whitelist, with nonReentrant and no attacker-controlled entrypoint for withdrawals. No concrete, exploitable profit path found.","findings":[]}
[codex:1114927] tokens used
[codex:1114927] 3,762
[codex:1114927] {"no_findings":true,"summary":"Reviewed AUDIT_BUNDLE.txt; all value-moving paths in Vault are gated by trusted syncOApp and peer whitelist, with nonReentrant and no attacker-controlled entrypoint for withdrawals. No concrete, exploitable profit path found.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T02:04:41.058232+00:00",
        "returncode": 0
    },
    "summary": "Reviewed AUDIT_BUNDLE.txt; all value-moving paths in Vault are gated by trusted syncOApp and peer whitelist, with nonReentrant and no attacker-controlled entrypoint for withdrawals. No concrete, exploitable profit path found.",
    "raw_final": {
        "summary": "Reviewed AUDIT_BUNDLE.txt; all value-moving paths in Vault are gated by trusted syncOApp and peer whitelist, with nonReentrant and no attacker-controlled entrypoint for withdrawals. No concrete, exploitable profit path found.",
        "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 0x00dd
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x01ffc9a7
00000019: EQ
0000001a: PUSH2 0x00e9
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0x248a9ca3
00000024: EQ
00000025: PUSH2 0x011e
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0x2796b2da
0000002f: EQ
00000030: PUSH2 0x014c
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0x2f2ff15d
0000003a: EQ
0000003b: PUSH2 0x016e
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x36568abe
00000045: EQ
00000046: PUSH2 0x018e
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x3f4ba83a
00000050: EQ
00000051: PUSH2 0x01ae
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x4156e3b7
0000005b: EQ
0000005c: PUSH2 0x01c3
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x5c975abb
00000066: EQ
00000067: PUSH2 0x01e3
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x625cf9bc
00000071: EQ
00000072: PUSH2 0x01f8
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x6ccb1737
0000007c: EQ
0000007d: PUSH2 0x0218
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x8456cb59
00000087: EQ
00000088: PUSH2 0x0245
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x91d14854
00000092: EQ
00000093: PUSH2 0x025a
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x98144de3
0000009d: EQ
0000009e: PUSH2 0x027a
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0xa170948e
000000a8: EQ
000000a9: PUSH2 0x029a
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0xa217fddf
000000b3: EQ
000000b4: PUSH2 0x02d2
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0xc4d66de8
000000be: EQ
000000bf: PUSH2 0x02e7
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0xd547741f
000000c9: EQ
000000ca: PUSH2 0x0307
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0xff1d680a
000000d4: EQ
000000d5: PUSH2 0x0327
000000d8: JUMPI
000000d9: PUSH1 0x00
000000db: DUP1
000000dc: REVERT
000000dd: JUMPDEST
000000de: CALLDATASIZE
000000df: PUSH2 0x00e4
000000e2: JUMPI
000000e3: STOP
000000e4: JUMPDEST
000000e5: PUSH1 0x00
000000e7: DUP1
000000e8: REVERT
000000e9: JUMPDEST
000000ea: CALLVALUE
000000eb: DUP1
000000ec: ISZERO
000000ed: PUSH2 0x00f5
000000f0: JUMPI
000000f1: PUSH1 0x00
000000f3: DUP1
000000f4: REVERT
000000f5: JUMPDEST
000000f6: POP
000000f7: PUSH2 0x0109
000000fa: PUSH2 0x0104
000000fd: CALLDATASIZE
000000fe: PUSH1 0x04
00000100: PUSH2 0x1071
00000103: JUMP
00000104: JUMPDEST
00000105: PUSH2 0x0347
00000108: JUMP
00000109: JUMPDEST
0000010a: PUSH1 0x40
0000010c: MLOAD
0000010d: SWAP1
0000010e: ISZERO
0000010f: ISZERO
00000110: DUP2
00000111: MSTORE
00000112: PUSH1 0x20
00000114: ADD
00000115: JUMPDEST
00000116: PUSH1 0x40
00000118: MLOAD
00000119: DUP1
0000011a: SWAP2
0000011b: SUB
0000011c: SWAP1
0000011d: RETURN
0000011e: JUMPDEST
0000011f: CALLVALUE
00000120: DUP1
00000121: ISZERO
00000122: PUSH2 0x012a
00000125: JUMPI
00000126: PUSH1 0x00
00000128: DUP1
00000129: REVERT
0000012a: JUMPDEST
0000012b: POP
0000012c: PUSH2 0x013e
0000012f: PUSH2 0x0139
00000132: CALLDATASIZE
00000133: PUSH1 0x04
00000135: PUSH2 0x109b
00000138: JUMP
00000139: JUMPDEST
0000013a: PUSH2 0x037e
0000013d: JUMP
0000013e: JUMPDEST
0000013f: PUSH1 0x40
00000141: MLOAD
00000142: SWAP1
00000143: DUP2
00000144: MSTORE
00000145: PUSH1 0x20
00000147: ADD
00000148: PUSH2 0x0115
0000014b: JUMP
0000014c: JUMPDEST
0000014d: CALLVALUE
0000014e: DUP1
0000014f: ISZERO
00000150: PUSH2 0x0158
00000153: JUMPI
00000154: PUSH1 0x00
00000156: DUP1
00000157: REVERT
00000158: JUMPDEST
00000159: POP
0000015a: PUSH2 0x016c
0000015d: PUSH2 0x0167
00000160: CALLDATASIZE
00000161: PUSH1 0x04
00000163: PUSH2 0x10db
00000166: JUMP
00000167: JUMPDEST
00000168: PUSH2 0x039e
0000016b: JUMP
0000016c: JUMPDEST
0000016d: STOP
0000016e: JUMPDEST
0000016f: CALLVALUE
00000170: DUP1
00000171: ISZERO
00000172: PUSH2 0x017a
00000175: JUMPI
00000176: PUSH1 0x00
00000178: DUP1
00000179: REVERT
0000017a: JUMPDEST
0000017b: POP
0000017c: PUSH2 0x016c
0000017f: PUSH2 0x0189
00000182: CALLDATASIZE
00000183: PUSH1 0x04
00000185: PUSH2 0x1130
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH2 0x03ba
0000018d: JUMP
0000018e: JUMPDEST
0000018f: CALLVALUE
00000190: DUP1
00000191: ISZERO
00000192: PUSH2 0x019a
00000195: JUMPI
00000196: PUSH1 0x00
00000198: DUP1
00000199: REVERT
0000019a: JUMPDEST
0000019b: POP
0000019c: PUSH2 0x016c
0000019f: PUSH2 0x01a9
000001a2: CALLDATASIZE
000001a3: PUSH1 0x04
000001a5: PUSH2 0x1130
000001a8: JUMP
000001a9: JUMPDEST
000001aa: PUSH2 0x03d6
000001ad: JUMP
000001ae: JUMPDEST
000001af: CALLVALUE
000001b0: DUP1
000001b1: ISZERO
000001b2: PUSH2 0x01ba
000001b5: JUMPI
000001b6: PUSH1 0x00
000001b8: DUP1
000001b9: REVERT
000001ba: JUMPDEST
000001bb: POP
000001bc: PUSH2 0x016c
000001bf: PUSH2 0x040e
000001c2: JUMP
000001c3: JUMPDEST
000001c4: CALLVALUE
000001c5: DUP1
000001c6: ISZERO
000001c7: PUSH2 0x01cf
000001ca: JUMPI
000001cb: PUSH1 0x00
000001cd: DUP1
000001ce: REVERT
000001cf: JUMPDEST
000001d0: POP
000001d1: PUSH2 0x016c
000001d4: PUSH2 0x01de
000001d7: CALLDATASIZE
000001d8: PUSH1 0x04
000001da: PUSH2 0x1160
000001dd: JUMP
000001de: JUMPDEST
000001df: PUSH2 0x0424
000001e2: JUMP
000001e3: JUMPDEST
000001e4: CALLVALUE
000001e5: DUP1
000001e6: ISZERO
000001e7: PUSH2 0x01ef
000001ea: JUMPI
000001eb: PUSH1 0x00
000001ed: DUP1
000001ee: REVERT
000001ef: JUMPDEST
000001f0: POP
000001f1: PUSH2 0x0109
000001f4: PUSH2 0x0486
000001f7: JUMP
000001f8: JUMPDEST
000001f9: CALLVALUE
000001fa: DUP1
000001fb: ISZERO
000001fc: PUSH2 0x0204
000001ff: JUMPI
00000200: PUSH1 0x00
00000202: DUP1
00000203: REVERT
00000204: JUMPDEST
00000205: POP
00000206: PUSH2 0x013e
00000209: PUSH2 0x0213
0000020c: CALLDATASIZE
0000020d: PUSH1 0x04
0000020f: PUSH2 0x118c
00000212: JUMP
00000213: JUMPDEST
00000214: PUSH2 0x049b
00000217: JUMP
00000218: JUMPDEST
00000219: CALLVALUE
0000021a: DUP1
0000021b: ISZERO
0000021c: PUSH2 0x0224
0000021f: JUMPI
00000220: PUSH1 0x00
00000222: DUP1
00000223: REVERT
00000224: JUMPDEST
00000225: POP
00000226: PUSH1 0x01
00000228: SLOAD
00000229: PUSH2 0x0238
0000022c: SWAP1
0000022d: PUSH1 0x01
0000022f: PUSH1 0x01
00000231: PUSH1 0xa0
00000233: SHL
00000234: SUB
00000235: AND
00000236: DUP2
00000237: JUMP
00000238: JUMPDEST
00000239: PUSH1 0x40
0000023b: MLOAD
0000023c: PUSH2 0x0115
0000023f: SWAP2
00000240: SWAP1
00000241: PUSH2 0x11c3
00000244: JUMP
00000245: JUMPDEST
00000246: CALLVALUE
00000247: DUP1
00000248: ISZERO
00000249: PUSH2 0x0251
0000024c: JUMPI
0000024d: PUSH1 0x00
0000024f: DUP1
00000250: REVERT
00000251: JUMPDEST
00000252: POP
00000253: PUSH2 0x016c
00000256: PUSH2 0x050e
00000259: JUMP
0000025a: JUMPDEST
0000025b: CALLVALUE
0000025c: DUP1
0000025d: ISZERO
0000025e: PUSH2 0x0266
00000261: JUMPI
00000262: PUSH1 0x00
00000264: DUP1
00000265: REVERT
00000266: JUMPDEST
00000267: POP
00000268: PUSH2 0x0109
0000026b: PUSH2 0x0275
0000026e: CALLDATASIZE
0000026f: PUSH1 0x04
00000271: PUSH2 0x1130
00000274: JUMP
00000275: JUMPDEST
00000276: PUSH2 0x0521
00000279: JUMP
0000027a: JUMPDEST
0000027b: CALLVALUE
0000027c: DUP1
0000027d: ISZERO
0000027e: PUSH2 0x0286
00000281: JUMPI
00000282: PUSH1 0x00
00000284: DUP1
00000285: REVERT
00000286: JUMPDEST
00000287: POP
00000288: PUSH2 0x0109
0000028b: PUSH2 0x0295
0000028e: CALLDATASIZE
0000028f: PUSH1 0x04
00000291: PUSH2 0x11d7
00000294: JUMP
00000295: JUMPDEST
00000296: PUSH2 0x0557
00000299: JUMP
0000029a: JUMPDEST
0000029b: CALLVALUE
0000029c: DUP1
0000029d: ISZERO
0000029e: PUSH2 0x02a6
000002a1: JUMPI
000002a2: PUSH1 0x00
000002a4: DUP1
000002a5: REVERT
000002a6: JUMPDEST
000002a7: POP
000002a8: PUSH2 0x0109
000002ab: PUSH2 0x02b5
000002ae: CALLDATASIZE
000002af: PUSH1 0x04
000002b1: PUSH2 0x11d7
000002b4: JUMP
000002b5: JUMPDEST
000002b6: PUSH1 0x00
000002b8: PUSH1 0x20
000002ba: DUP2
000002bb: DUP2
000002bc: MSTORE
000002bd: SWAP3
000002be: DUP2
000002bf: MSTORE
000002c0: PUSH1 0x40
000002c2: DUP1
000002c3: DUP3
000002c4: KECCAK256
000002c5: SWAP1
000002c6: SWAP4
000002c7: MSTORE
000002c8: SWAP1
000002c9: DUP2
000002ca: MSTORE
000002cb: KECCAK256
000002cc: SLOAD
000002cd: PUSH1 0xff
000002cf: AND
000002d0: DUP2
000002d1: JUMP
000002d2: JUMPDEST
000002d3: CALLVALUE
000002d4: DUP1
000002d5: ISZERO
000002d6: PUSH2 0x02de
000002d9: JUMPI
000002da: PUSH1 0x00
000002dc: DUP1
000002dd: REVERT
000002de: JUMPDEST
000002df: POP
000002e0: PUSH2 0x013e
000002e3: PUSH1 0x00
000002e5: DUP2
000002e6: JUMP
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: DUP1
000002ea: ISZERO
000002eb: PUSH2 0x02f3
000002ee: JUMPI
000002ef: PUSH1 0x00
000002f1: DUP1
000002f2: REVERT
000002f3: JUMPDEST
000002f4: POP
000002f5: PUSH2 0x016c
000002f8: PUSH2 0x0302
000002fb: CALLDATASIZE
000002fc: PUSH1 0x04
000002fe: PUSH2 0x1160
00000301: JUMP
00000302: JUMPDEST
00000303: PUSH2 0x057d
00000306: JUMP
00000307: JUMPDEST
00000308: CALLVALUE
00000309: DUP1
0000030a: ISZERO
0000030b: PUSH2 0x0313
0000030e: JUMPI
0000030f: PUSH1 0x00
00000311: DUP1
00000312: REVERT
00000313: JUMPDEST
00000314: POP
00000315: PUSH2 0x016c
00000318: PUSH2 0x0322
0000031b: CALLDATASIZE
0000031c: PUSH1 0x04
0000031e: PUSH2 0x1130
00000321: JUMP
00000322: JUMPDEST
00000323: PUSH2 0x06f7
00000326: JUMP
00000327: JUMPDEST
00000328: CALLVALUE
00000329: DUP1
0000032a: ISZERO
0000032b: PUSH2 0x0333
0000032e: JUMPI
0000032f: PUSH1 0x00
00000331: DUP1
00000332: REVERT
00000333: JUMPDEST
00000334: POP
00000335: PUSH2 0x0109
00000338: PUSH2 0x0342
0000033b: CALLDATASIZE
0000033c: PUSH1 0x04
0000033e: PUSH2 0x1247
00000341: JUMP
00000342: JUMPDEST
00000343: PUSH2 0x0713
00000346: JUMP
00000347: JUMPDEST
00000348: PUSH1 0x00
0000034a: PUSH1 0x01
0000034c: PUSH1 0x01
0000034e: PUSH1 0xe0
00000350: SHL
00000351: SUB
00000352: NOT
00000353: DUP3
00000354: AND
00000355: PUSH4 0x7965db0b
0000035a: PUSH1 0xe0
0000035c: SHL
0000035d: EQ
0000035e: DUP1
0000035f: PUSH2 0x0378
00000362: JUMPI
00000363: POP
00000364: PUSH4 0x01ffc9a7
00000369: PUSH1 0xe0
0000036b: SHL
0000036c: PUSH1 0x01
0000036e: PUSH1 0x01
00000370: PUSH1 0xe0
00000372: SHL
00000373: SUB
00000374: NOT
00000375: DUP4
00000376: AND
00000377: EQ
00000378: JUMPDEST
00000379: SWAP3
0000037a: SWAP2
0000037b: POP
0000037c: POP
0000037d: JUMP
0000037e: JUMPDEST
0000037f: PUSH1 0x00
00000381: DUP1
00000382: PUSH2 0x0389
00000385: PUSH2 0x0977
00000388: JUMP
00000389: JUMPDEST
0000038a: PUSH1 0x00
0000038c: SWAP4
0000038d: DUP5
0000038e: MSTORE
0000038f: PUSH1 0x20
00000391: MSTORE
00000392: POP
00000393: POP
00000394: PUSH1 0x40
00000396: SWAP1
00000397: KECCAK256
00000398: PUSH1 0x01
0000039a: ADD
0000039b: SLOAD
0000039c: SWAP1
0000039d: JUMP
0000039e: JUMPDEST
0000039f: PUSH1 0x00
000003a1: PUSH2 0x03a9
000003a4: DUP2
000003a5: PUSH2 0x099b
000003a8: JUMP
000003a9: JUMPDEST
000003aa: PUSH2 0x03b4
000003ad: DUP5
000003ae: DUP5
000003af: DUP5
000003b0: PUSH2 0x09a5
000003b3: JUMP
000003b4: JUMPDEST
000003b5: POP
000003b6: POP
000003b7: POP
000003b8: POP
000003b9: JUMP
000003ba: JUMPDEST
000003bb: PUSH2 0x03c3
000003be: DUP3
000003bf: PUSH2 0x037e
000003c2: JUMP
000003c3: JUMPDEST
000003c4: PUSH2 0x03cc
000003c7: DUP2
000003c8: PUSH2 0x099b
000003cb: JUMP
000003cc: JUMPDEST
000003cd: PUSH2 0x03b4
000003d0: DUP4
000003d1: DUP4
000003d2: PUSH2 0x0a8a
000003d5: JUMP
000003d6: JUMPDEST
000003d7: PUSH1 0x01
000003d9: PUSH1 0x01
000003db: PUSH1 0xa0
000003dd: SHL
000003de: SUB
000003df: DUP2
000003e0: AND
000003e1: CALLER
000003e2: EQ
000003e3: PUSH2 0x03ff
000003e6: JUMPI
000003e7: PUSH1 0x40
000003e9: MLOAD
000003ea: PUSH4 0x334bd919
000003ef: PUSH1 0xe1
000003f1: SHL
000003f2: DUP2
000003f3: MSTORE
000003f4: PUSH1 0x04
000003f6: ADD
000003f7: PUSH1 0x40
000003f9: MLOAD
000003fa: DUP1
000003fb: SWAP2
000003fc: SUB
000003fd: SWAP1
000003fe: REVERT
000003ff: JUMPDEST
00000400: PUSH2 0x0409
00000403: DUP3
00000404: DUP3
00000405: PUSH2 0x0b2b
00000408: JUMP
00000409: JUMPDEST
0000040a: POP
0000040b: POP
0000040c: POP
0000040d: JUMP
0000040e: JUMPDEST
0000040f: PUSH1 0x00
00000411: PUSH2 0x0419
00000414: DUP2
00000415: PUSH2 0x099b
00000418: JUMP
00000419: JUMPDEST
0000041a: PUSH2 0x0421
0000041d: PUSH2 0x0ba3
00000420: JUMP
00000421: JUMPDEST
00000422: POP
00000423: JUMP
00000424: JUMPDEST
00000425: PUSH1 0x00
00000427: PUSH2 0x042f
0000042a: DUP2
0000042b: PUSH2 0x099b
0000042e: JUMP
0000042f: JUMPDEST
00000430: PUSH1 0x01
00000432: DUP1
00000433: SLOAD
00000434: PUSH1 0x01
00000436: PUSH1 0x01
00000438: PUSH1 0xa0
0000043a: SHL
0000043b: SUB
0000043c: NOT
0000043d: AND
0000043e: PUSH1 0x01
00000440: PUSH1 0x01
00000442: PUSH1 0xa0
00000444: SHL
00000445: SUB
00000446: DUP5
00000447: AND
00000448: OR
00000449: SWAP1
0000044a: SSTORE
0000044b: PUSH1 0x40
0000044d: MLOAD
0000044e: PUSH32 0xf4dfb92871e06bceb2e1c9e8974f6d34376c01c30ce066247c175fe1c90e83e2
0000046f: SWAP1
00000470: PUSH2 0x047a
00000473: SWAP1
00000474: DUP5
00000475: SWAP1
00000476: PUSH2 0x11c3
00000479: JUMP
0000047a: JUMPDEST
0000047b: PUSH1 0x40
0000047d: MLOAD
0000047e: DUP1
0000047f: SWAP2
00000480: SUB
00000481: SWAP1
00000482: LOG1
00000483: POP
00000484: POP
00000485: JUMP
00000486: JUMPDEST
00000487: PUSH1 0x00
00000489: DUP1
0000048a: PUSH2 0x0491
0000048d: PUSH2 0x0bfa
00000490: JUMP
00000491: JUMPDEST
00000492: SLOAD
00000493: PUSH1 0xff
00000495: AND
00000496: SWAP3
00000497: SWAP2
00000498: POP
00000499: POP
0000049a: JUMP
0000049b: JUMPDEST
0000049c: PUSH1 0x00
0000049e: DUP2
0000049f: PUSH1 0xff
000004a1: AND
000004a2: DUP4
000004a3: PUSH1 0xff
000004a5: AND
000004a6: SUB
000004a7: PUSH2 0x04b1
000004aa: JUMPI
000004ab: POP
000004ac: DUP3
000004ad: PUSH2 0x0507
000004b0: JUMP
000004b1: JUMPDEST
000004b2: DUP2
000004b3: PUSH1 0xff
000004b5: AND
000004b6: DUP4
000004b7: PUSH1 0xff
000004b9: AND
000004ba: GT
000004bb: ISZERO
000004bc: PUSH2 0x04e5
000004bf: JUMPI
000004c0: PUSH2 0x04c9
000004c3: DUP3
000004c4: DUP5
000004c5: PUSH2 0x1313
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH2 0x04d4
000004cd: SWAP1
000004ce: PUSH1 0x0a
000004d0: PUSH2 0x1410
000004d3: JUMP
000004d4: JUMPDEST
000004d5: PUSH2 0x04de
000004d8: SWAP1
000004d9: DUP6
000004da: PUSH2 0x141f
000004dd: JUMP
000004de: JUMPDEST
000004df: SWAP1
000004e0: POP
000004e1: PUSH2 0x0507
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH2 0x04ef
000004e9: DUP4
000004ea: DUP4
000004eb: PUSH2 0x1313
000004ee: JUMP
000004ef: JUMPDEST
000004f0: PUSH2 0x04fa
000004f3: SWAP1
000004f4: PUSH1 0x0a
000004f6: PUSH2 0x1410
000004f9: JUMP
000004fa: JUMPDEST
000004fb: PUSH2 0x0504
000004fe: SWAP1
000004ff: DUP6
00000500: PUSH2 0x1441
00000503: JUMP
00000504: JUMPDEST
00000505: SWAP1
00000506: POP
00000507: JUMPDEST
00000508: SWAP4
00000509: SWAP3
0000050a: POP
0000050b: POP
0000050c: POP
0000050d: JUMP
0000050e: JUMPDEST
0000050f: PUSH1 0x00
00000511: PUSH2 0x0519
00000514: DUP2
00000515: PUSH2 0x099b
00000518: JUMP
00000519: JUMPDEST
0000051a: PUSH2 0x0421
0000051d: PUSH2 0x0c1e
00000520: JUMP
00000521: JUMPDEST
00000522: PUSH1 0x00
00000524: DUP1
00000525: PUSH2 0x052c
00000528: PUSH2 0x0977
0000052b: JUMP
0000052c: JUMPDEST
0000052d: PUSH1 0x00
0000052f: SWAP5
00000530: DUP6
00000531: MSTORE
00000532: PUSH1 0x20
00000534: SWAP1
00000535: DUP2
00000536: MSTORE
00000537: PUSH1 0x40
00000539: DUP1
0000053a: DUP7
0000053b: KECCAK256
0000053c: PUSH1 0x01
0000053e: PUSH1 0x01
00000540: PUSH1 0xa0
00000542: SHL
00000543: SUB
00000544: SWAP6
00000545: SWAP1
00000546: SWAP6
00000547: AND
00000548: DUP7
00000549: MSTORE
0000054a: SWAP4
0000054b: SWAP1
0000054c: MSTORE
0000054d: POP
0000054e: POP
0000054f: SWAP1
00000550: KECCAK256
00000551: SLOAD
00000552: PUSH1 0xff
00000554: AND
00000555: SWAP1
00000556: JUMP
00000557: JUMPDEST
00000558: PUSH4 0xffffffff
0000055d: SWAP2
0000055e: SWAP1
0000055f: SWAP2
00000560: AND
00000561: PUSH1 0x00
00000563: SWAP1
00000564: DUP2
00000565: MSTORE
00000566: PUSH1 0x20
00000568: DUP2
00000569: DUP2
0000056a: MSTORE
0000056b: PUSH1 0x40
0000056d: DUP1
0000056e: DUP4
0000056f: KECCAK256
00000570: SWAP4
00000571: DUP4
00000572: MSTORE
00000573: SWAP3
00000574: SWAP1
00000575: MSTORE
00000576: KECCAK256
00000577: SLOAD
00000578: PUSH1 0xff
0000057a: AND
0000057b: SWAP1
0000057c: JUMP
0000057d: JUMPDEST
0000057e: PUSH1 0x00
00000580: PUSH2 0x0587
00000583: PUSH2 0x0c65
00000586: JUMP
00000587: JUMPDEST
00000588: DUP1
00000589: SLOAD
0000058a: SWAP1
0000058b: SWAP2
0000058c: POP
0000058d: PUSH1 0xff
0000058f: PUSH1 0x01
00000591: PUSH1 0x40
00000593: SHL
00000594: DUP3
00000595: DIV
00000596: AND
00000597: ISZERO
00000598: SWAP1
00000599: PUSH1 0x01
0000059b: PUSH1 0x01
0000059d: PUSH1 0x40
0000059f: SHL
000005a0: SUB
000005a1: AND
000005a2: PUSH1 0x00
000005a4: DUP2
000005a5: ISZERO
000005a6: DUP1
000005a7: ISZERO
000005a8: PUSH2 0x05ae
000005ab: JUMPI
000005ac: POP
000005ad: DUP3
000005ae: JUMPDEST
000005af: SWAP1
000005b0: POP
000005b1: PUSH1 0x00
000005b3: DUP3
000005b4: PUSH1 0x01
000005b6: PUSH1 0x01
000005b8: PUSH1 0x40
000005ba: SHL
000005bb: SUB
000005bc: AND
000005bd: PUSH1 0x01
000005bf: EQ
000005c0: DUP1
000005c1: ISZERO
000005c2: PUSH2 0x05ca
000005c5: JUMPI
000005c6: POP
000005c7: ADDRESS
000005c8: EXTCODESIZE
000005c9: ISZERO
000005ca: JUMPDEST
000005cb: SWAP1
000005cc: POP
000005cd: DUP2
000005ce: ISZERO
000005cf: DUP1
000005d0: ISZERO
000005d1: PUSH2 0x05d8
000005d4: JUMPI
000005d5: POP
000005d6: DUP1
000005d7: ISZERO
000005d8: JUMPDEST
000005d9: ISZERO
000005da: PUSH2 0x05f6
000005dd: JUMPI
000005de: PUSH1 0x40
000005e0: MLOAD
000005e1: PUSH4 0xf92ee8a9
000005e6: PUSH1 0xe0
000005e8: SHL
000005e9: DUP2
000005ea: MSTORE
000005eb: PUSH1 0x04
000005ed: ADD
000005ee: PUSH1 0x40
000005f0: MLOAD
000005f1: DUP1
000005f2: SWAP2
000005f3: SUB
000005f4: SWAP1
000005f5: REVERT
000005f6: JUMPDEST
000005f7: DUP5
000005f8: SLOAD
000005f9: PUSH1 0x01
000005fb: PUSH1 0x01
000005fd: PUSH1 0x40
000005ff: SHL
00000600: SUB
00000601: NOT
00000602: AND
00000603: PUSH1 0x01
00000605: OR
00000606: DUP6
00000607: SSTORE
00000608: DUP4
00000609: ISZERO
0000060a: PUSH2 0x061f
0000060d: JUMPI
0000060e: DUP5
0000060f: SLOAD
00000610: PUSH1 0xff
00000612: PUSH1 0x40
00000614: SHL
00000615: NOT
00000616: AND
00000617: PUSH1 0x01
00000619: PUSH1 0x40
0000061b: SHL
0000061c: OR
0000061d: DUP6
0000061e: SSTORE
0000061f: JUMPDEST
00000620: PUSH2 0x0627
00000623: PUSH2 0x0c89
00000626: JUMP
00000627: JUMPDEST
00000628: PUSH2 0x062f
0000062b: PUSH2 0x0c9b
0000062e: JUMP
0000062f: JUMPDEST
00000630: PUSH2 0x063a
00000633: PUSH1 0x00
00000635: CALLER
00000636: PUSH2 0x0a8a
00000639: JUMP
0000063a: JUMPDEST
0000063b: POP
0000063c: PUSH2 0x0643
0000063f: PUSH2 0x050e
00000642: JUMP
00000643: JUMPDEST
00000644: PUSH1 0x01
00000646: PUSH1 0x01
00000648: PUSH1 0xa0
0000064a: SHL
0000064b: SUB
0000064c: DUP7
0000064d: AND
0000064e: PUSH2 0x068e
00000651: JUMPI
00000652: PUSH1 0x40
00000654: MLOAD
00000655: PUSH3 0x461bcd
00000659: PUSH1 0xe5
0000065b: SHL
0000065c: DUP2
0000065d: MSTORE
0000065e: PUSH1 0x20
00000660: PUSH1 0x04
00000662: DUP3
00000663: ADD
00000664: MSTORE
00000665: PUSH1 0x0d
00000667: PUSH1 0x24
00000669: DUP3
0000066a: ADD
0000066b: MSTORE
0000066c: PUSH13 0x07a65726f2073796e634f41707
0000067a: PUSH1 0x9c
0000067c: SHL
0000067d: PUSH1 0x44
0000067f: DUP3
00000680: ADD
00000681: MSTORE
00000682: PUSH1 0x64
00000684: ADD
00000685: JUMPDEST
00000686: PUSH1 0x40
00000688: MLOAD
00000689: DUP1
0000068a: SWAP2
0000068b: SUB
0000068c: SWAP1
0000068d: REVERT
0000068e: JUMPDEST
0000068f: PUSH1 0x01
00000691: DUP1
00000692: SLOAD
00000693: PUSH1 0x01
00000695: PUSH1 0x01
00000697: PUSH1 0xa0
00000699: SHL
0000069a: SUB
0000069b: NOT
0000069c: AND
0000069d: PUSH1 0x01
0000069f: PUSH1 0x01
000006a1: PUSH1 0xa0
000006a3: SHL
000006a4: SUB
000006a5: DUP9
000006a6: AND
000006a7: OR
000006a8: SWAP1
000006a9: SSTORE
000006aa: DUP4
000006ab: ISZERO
000006ac: PUSH2 0x06ef
000006af: JUMPI
000006b0: DUP5
000006b1: SLOAD
000006b2: PUSH1 0xff
000006b4: PUSH1 0x40
000006b6: SHL
000006b7: NOT
000006b8: AND
000006b9: DUP6
000006ba: SSTORE
000006bb: PUSH1 0x40
000006bd: MLOAD
000006be: PUSH1 0x01
000006c0: DUP2
000006c1: MSTORE
000006c2: PUSH32 0xc7f505b2f371ae2175ee4913f4499e1f2633a7b5936321eed1cdaeb6115181d2
000006e3: SWAP1
000006e4: PUSH1 0x20
000006e6: ADD
000006e7: PUSH1 0x40
000006e9: MLOAD
000006ea: DUP1
000006eb: SWAP2
000006ec: SUB
000006ed: SWAP1
000006ee: LOG1
000006ef: JUMPDEST
000006f0: POP
000006f1: POP
000006f2: POP
000006f3: POP
000006f4: POP
000006f5: POP
000006f6: JUMP
000006f7: JUMPDEST
000006f8: PUSH2 0x0700
000006fb: DUP3
000006fc: PUSH2 0x037e
000006ff: JUMP
00000700: JUMPDEST
00000701: PUSH2 0x0709
00000704: DUP2
00000705: PUSH2 0x099b
00000708: JUMP
00000709: JUMPDEST
0000070a: PUSH2 0x03b4
0000070d: DUP4
0000070e: DUP4
0000070f: PUSH2 0x0b2b
00000712: JUMP
00000713: JUMPDEST
00000714: PUSH1 0x00
00000716: PUSH2 0x071d
00000719: PUSH2 0x0cab
0000071c: JUMP
0000071d: JUMPDEST
0000071e: PUSH1 0x01
00000720: SLOAD
00000721: PUSH1 0x01
00000723: PUSH1 0x01
00000725: PUSH1 0xa0
00000727: SHL
00000728: SUB
00000729: AND
0000072a: CALLER
0000072b: EQ
0000072c: PUSH2 0x0767
0000072f: JUMPI
00000730: PUSH1 0x40
00000732: MLOAD
00000733: PUSH3 0x461bcd
00000737: PUSH1 0xe5
00000739: SHL
0000073a: DUP2
0000073b: MSTORE
0000073c: PUSH1 0x20
0000073e: PUSH1 0x04
00000740: DUP3
00000741: ADD
00000742: MSTORE
00000743: PUSH1 0x0d
00000745: PUSH1 0x24
00000747: DUP3
00000748: ADD
00000749: MSTORE
0000074a: PUSH13 0x06f6e6c792073796e634f41707
00000758: PUSH1 0x9c
0000075a: SHL
0000075b: PUSH1 0x44
0000075d: DUP3
0000075e: ADD
0000075f: MSTORE
00000760: PUSH1 0x64
00000762: ADD
00000763: PUSH2 0x0685
00000766: JUMP
00000767: JUMPDEST
00000768: PUSH2 0x076f
0000076b: PUSH2 0x0cd1
0000076e: JUMP
0000076f: JUMPDEST
00000770: PUSH2 0x0779
00000773: DUP6
00000774: DUP6
00000775: PUSH2 0x0557
00000778: JUMP
00000779: JUMPDEST
0000077a: PUSH2 0x07d1
0000077d: JUMPI
0000077e: PUSH1 0x40
00000780: MLOAD
00000781: PUSH3 0x461bcd
00000785: PUSH1 0xe5
00000787: SHL
00000788: DUP2
00000789: MSTORE
0000078a: PUSH1 0x20
0000078c: PUSH1 0x04
0000078e: DUP3
0000078f: ADD
00000790: MSTORE
00000791: PUSH1 0x24
00000793: DUP1
00000794: DUP3
00000795: ADD
00000796: MSTORE
00000797: PUSH32 0x5661756c743a20737263456e642073656e646572206e6f742077686974656c69
000007b8: PUSH1 0x44
000007ba: DUP3
000007bb: ADD
000007bc: MSTORE
000007bd: PUSH4 0x1cdd1959
000007c2: PUSH1 0xe2
000007c4: SHL
000007c5: PUSH1 0x64
000007c7: DUP3
000007c8: ADD
000007c9: MSTORE
000007ca: PUSH1 0x84
000007cc: ADD
000007cd: PUSH2 0x0685
000007d0: JUMP
000007d1: JUMPDEST
000007d2: PUSH1 0x00
000007d4: PUSH2 0x07dc
000007d7: DUP5
000007d8: PUSH2 0x0d07
000007db: JUMP
000007dc: JUMPDEST
000007dd: DUP1
000007de: MLOAD
000007df: SWAP1
000007e0: SWAP2
000007e1: POP
000007e2: PUSH1 0x00
000007e4: SWAP1
000007e5: PUSH1 0x01
000007e7: PUSH1 0x01
000007e9: PUSH1 0xa0
000007eb: SHL
000007ec: SUB
000007ed: AND
000007ee: ISZERO
000007ef: PUSH2 0x085d
000007f2: JUMPI
000007f3: DUP2
000007f4: PUSH1 0x00
000007f6: ADD
000007f7: MLOAD
000007f8: PUSH1 0x01
000007fa: PUSH1 0x01
000007fc: PUSH1 0xa0
000007fe: SHL
000007ff: SUB
00000800: AND
00000801: PUSH4 0x313ce567
00000806: PUSH1 0x40
00000808: MLOAD
00000809: DUP2
0000080a: PUSH4 0xffffffff
0000080f: AND
00000810: PUSH1 0xe0
00000812: SHL
00000813: DUP2
00000814: MSTORE
00000815: PUSH1 0x04
00000817: ADD
00000818: PUSH1 0x20
0000081a: PUSH1 0x40
0000081c: MLOAD
0000081d: DUP1
0000081e: DUP4
0000081f: SUB
00000820: DUP2
00000821: DUP7
00000822: GAS
00000823: STATICCALL
00000824: ISZERO
00000825: DUP1
00000826: ISZERO
00000827: PUSH2 0x0834
0000082a: JUMPI
0000082b: RETURNDATASIZE
0000082c: PUSH1 0x00
0000082e: DUP1
0000082f: RETURNDATACOPY
00000830: RETURNDATASIZE
00000831: PUSH1 0x00
00000833: REVERT
00000834: JUMPDEST
00000835: POP
00000836: POP
00000837: POP
00000838: POP
00000839: PUSH1 0x40
0000083b: MLOAD
0000083c: RETURNDATASIZE
0000083d: PUSH1 0x1f
0000083f: NOT
00000840: PUSH1 0x1f
00000842: DUP3
00000843: ADD
00000844: AND
00000845: DUP3
00000846: ADD
00000847: DUP1
00000848: PUSH1 0x40
0000084a: MSTORE
0000084b: POP
0000084c: DUP2
0000084d: ADD
0000084e: SWAP1
0000084f: PUSH2 0x0858
00000852: SWAP2
00000853: SWAP1
00000854: PUSH2 0x1458
00000857: JUMP
00000858: JUMPDEST
00000859: PUSH2 0x0860
0000085c: JUMP
0000085d: JUMPDEST
0000085e: PUSH1 0x12
00000860: JUMPDEST
00000861: SWAP1
00000862: POP
00000863: PUSH1 0x00
00000865: PUSH2 0x0877
00000868: DUP4
00000869: PUSH1 0x20
0000086b: ADD
0000086c: MLOAD
0000086d: DUP5
0000086e: PUSH1 0x40
00000870: ADD
00000871: MLOAD
00000872: DUP5
00000873: PUSH2 0x049b
00000876: JUMP
00000877: JUMPDEST
00000878: SWAP1
00000879: POP
0000087a: PUSH1 0x00
0000087c: DUP2
0000087d: GT
0000087e: PUSH2 0x08c1
00000881: JUMPI
00000882: PUSH1 0x40
00000884: MLOAD
00000885: PUSH3 0x461bcd
00000889: PUSH1 0xe5
0000088b: SHL
0000088c: DUP2
0000088d: MSTORE
0000088e: PUSH1 0x20
00000890: PUSH1 0x04
00000892: DUP3
00000893: ADD
00000894: MSTORE
00000895: PUSH1 0x15
00000897: PUSH1 0x24
00000899: DUP3
0000089a: ADD
0000089b: MSTORE
0000089c: PUSH21 0x5661756c743a20616d6f756e74206973207a65726f
000008b2: PUSH1 0x58
000008b4: SHL
000008b5: PUSH1 0x44
000008b7: DUP3
000008b8: ADD
000008b9: MSTORE
000008ba: PUSH1 0x64
000008bc: ADD
000008bd: PUSH2 0x0685
000008c0: JUMP
000008c1: JUMPDEST
000008c2: DUP3
000008c3: MLOAD
000008c4: PUSH1 0x01
000008c6: PUSH1 0x01
000008c8: PUSH1 0xa0
000008ca: SHL
000008cb: SUB
000008cc: AND
000008cd: PUSH2 0x08e3
000008d0: JUMPI
000008d1: PUSH2 0x08de
000008d4: DUP4
000008d5: PUSH1 0x60
000008d7: ADD
000008d8: MLOAD
000008d9: DUP3
000008da: PUSH2 0x0d3d
000008dd: JUMP
000008de: JUMPDEST
000008df: PUSH2 0x0900
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH1 0x60
000008e6: DUP4
000008e7: ADD
000008e8: MLOAD
000008e9: DUP4
000008ea: MLOAD
000008eb: PUSH2 0x0900
000008ee: SWAP2
000008ef: PUSH1 0x01
000008f1: PUSH1 0x01
000008f3: PUSH1 0xa0
000008f5: SHL
000008f6: SUB
000008f7: SWAP1
000008f8: SWAP2
000008f9: AND
000008fa: SWAP1
000008fb: DUP4
000008fc: PUSH2 0x0dd4
000008ff: JUMP
00000900: JUMPDEST
00000901: DUP3
00000902: MLOAD
00000903: PUSH1 0x20
00000905: DUP1
00000906: DUP6
00000907: ADD
00000908: MLOAD
00000909: PUSH1 0x60
0000090b: DUP1
0000090c: DUP8
0000090d: ADD
0000090e: MLOAD
0000090f: PUSH1 0x40
00000911: DUP1
00000912: MLOAD
00000913: PUSH1 0x01
00000915: PUSH1 0x01
00000917: PUSH1 0xa0
00000919: SHL
0000091a: SUB
0000091b: SWAP7
0000091c: DUP8
0000091d: AND
0000091e: DUP2
0000091f: MSTORE
00000920: SWAP5
00000921: DUP6
00000922: ADD
00000923: SWAP4
00000924: SWAP1
00000925: SWAP4
00000926: MSTORE
00000927: SWAP4
00000928: SWAP1
00000929: SWAP4
0000092a: AND
0000092b: SWAP1
0000092c: DUP3
0000092d: ADD
0000092e: MSTORE
0000092f: SWAP1
00000930: DUP2
00000931: ADD
00000932: DUP7
00000933: SWAP1
00000934: MSTORE
00000935: PUSH31 0x8ee31929bc1a5a8fe80039f047f33b04feab54c408f9fefb8ef48a0e21a920
00000955: SWAP1
00000956: PUSH1 0x80
00000958: ADD
00000959: PUSH1 0x40
0000095b: MLOAD
0000095c: DUP1
0000095d: SWAP2
0000095e: SUB
0000095f: SWAP1
00000960: LOG1
00000961: PUSH1 0x01
00000963: SWAP4
00000964: POP
00000965: POP
00000966: POP
00000967: POP
00000968: PUSH2 0x096f
0000096b: PUSH2 0x0e2c
0000096e: JUMP
0000096f: JUMPDEST
00000970: SWAP5
00000971: SWAP4
00000972: POP
00000973: POP
00000974: POP
00000975: POP
00000976: JUMP
00000977: JUMPDEST
00000978: PUSH32 0x02dd7bc7dec4dceedda775e58dd541e08a116c6c53815c0bd028192f7b626800
00000999: SWAP1
0000099a: JUMP
0000099b: JUMPDEST
0000099c: PUSH2 0x0421
0000099f: DUP2
000009a0: CALLER
000009a1: PUSH2 0x0e3d
000009a4: JUMP
000009a5: JUMPDEST
000009a6: PUSH4 0xffffffff
000009ab: DUP4
000009ac: AND
000009ad: PUSH1 0x00
000009af: SWAP1
000009b0: DUP2
000009b1: MSTORE
000009b2: PUSH1 0x20
000009b4: DUP2
000009b5: DUP2
000009b6: MSTORE
000009b7: PUSH1 0x40
000009b9: DUP1
000009ba: DUP4
000009bb: KECCAK256
000009bc: DUP6
000009bd: DUP5
000009be: MSTORE
000009bf: SWAP1
000009c0: SWAP2
000009c1: MSTORE
000009c2: SWAP1
000009c3: KECCAK256
000009c4: SLOAD
000009c5: DUP2
000009c6: ISZERO
000009c7: ISZERO
000009c8: PUSH1 0xff
000009ca: SWAP1
000009cb: SWAP2
000009cc: AND
000009cd: ISZERO
000009ce: ISZERO
000009cf: SUB
000009d0: PUSH2 0x0a1b
000009d3: JUMPI
000009d4: PUSH1 0x40
000009d6: MLOAD
000009d7: PUSH3 0x461bcd
000009db: PUSH1 0xe5
000009dd: SHL
000009de: DUP2
000009df: MSTORE
000009e0: PUSH1 0x20
000009e2: PUSH1 0x04
000009e4: DUP3
000009e5: ADD
000009e6: MSTORE
000009e7: PUSH1 0x1d
000009e9: PUSH1 0x24
000009eb: DUP3
000009ec: ADD
000009ed: MSTORE
000009ee: PUSH32 0x426173654d657373616765456e6456323a2073616d6520737461747573000000
00000a0f: PUSH1 0x44
00000a11: DUP3
00000a12: ADD
00000a13: MSTORE
00000a14: PUSH1 0x64
00000a16: ADD
00000a17: PUSH2 0x0685
00000a1a: JUMP
00000a1b: JUMPDEST
00000a1c: PUSH4 0xffffffff
00000a21: DUP4
00000a22: AND
00000a23: PUSH1 0x00
00000a25: DUP2
00000a26: DUP2
00000a27: MSTORE
00000a28: PUSH1 0x20
00000a2a: DUP2
00000a2b: DUP2
00000a2c: MSTORE
00000a2d: PUSH1 0x40
00000a2f: DUP1
00000a30: DUP4
00000a31: KECCAK256
00000a32: DUP7
00000a33: DUP5
00000a34: MSTORE
00000a35: DUP3
00000a36: MSTORE
00000a37: SWAP2
00000a38: DUP3
00000a39: SWAP1
00000a3a: KECCAK256
00000a3b: DUP1
00000a3c: SLOAD
00000a3d: PUSH1 0xff
00000a3f: NOT
00000a40: AND
00000a41: DUP6
00000a42: ISZERO
00000a43: ISZERO
00000a44: SWAP1
00000a45: DUP2
00000a46: OR
00000a47: SWAP1
00000a48: SWAP2
00000a49: SSTORE
00000a4a: DUP3
00000a4b: MLOAD
00000a4c: SWAP4
00000a4d: DUP5
00000a4e: MSTORE
00000a4f: SWAP1
00000a50: DUP4
00000a51: ADD
00000a52: DUP6
00000a53: SWAP1
00000a54: MSTORE
00000a55: SWAP1
00000a56: DUP3
00000a57: ADD
00000a58: MSTORE
00000a59: PUSH32 0x118a8946d857b8ccf27ba9f58d6a75a99e8de6459bbf8172820502a77bf73649
00000a7a: SWAP1
00000a7b: PUSH1 0x60
00000a7d: ADD
00000a7e: PUSH1 0x40
00000a80: MLOAD
00000a81: DUP1
00000a82: SWAP2
00000a83: SUB
00000a84: SWAP1
00000a85: LOG1
00000a86: POP
00000a87: POP
00000a88: POP
00000a89: JUMP
00000a8a: JUMPDEST
00000a8b: PUSH1 0x00
00000a8d: DUP1
00000a8e: PUSH2 0x0a95
00000a91: PUSH2 0x0977
00000a94: JUMP
00000a95: JUMPDEST
00000a96: SWAP1
00000a97: POP
00000a98: PUSH2 0x0aa1
00000a9b: DUP5
00000a9c: DUP5
00000a9d: PUSH2 0x0521
00000aa0: JUMP
00000aa1: JUMPDEST
00000aa2: PUSH2 0x0b21
00000aa5: JUMPI
00000aa6: PUSH1 0x00
00000aa8: DUP5
00000aa9: DUP2
00000aaa: MSTORE
00000aab: PUSH1 0x20
00000aad: DUP3
00000aae: DUP2
00000aaf: MSTORE
00000ab0: PUSH1 0x40
00000ab2: DUP1
00000ab3: DUP4
00000ab4: KECCAK256
00000ab5: PUSH1 0x01
00000ab7: PUSH1 0x01
00000ab9: PUSH1 0xa0
00000abb: SHL
00000abc: SUB
00000abd: DUP8
00000abe: AND
00000abf: DUP5
00000ac0: MSTORE
00000ac1: SWAP1
00000ac2: SWAP2
00000ac3: MSTORE
00000ac4: SWAP1
00000ac5: KECCAK256
00000ac6: DUP1
00000ac7: SLOAD
00000ac8: PUSH1 0xff
00000aca: NOT
00000acb: AND
00000acc: PUSH1 0x01
00000ace: OR
00000acf: SWAP1
00000ad0: SSTORE
00000ad1: PUSH2 0x0ad7
00000ad4: CALLER
00000ad5: SWAP1
00000ad6: JUMP
00000ad7: JUMPDEST
00000ad8: PUSH1 0x01
00000ada: PUSH1 0x01
00000adc: PUSH1 0xa0
00000ade: SHL
00000adf: SUB
00000ae0: AND
00000ae1: DUP4
00000ae2: PUSH1 0x01
00000ae4: PUSH1 0x01
00000ae6: PUSH1 0xa0
00000ae8: SHL
00000ae9: SUB
00000aea: AND
00000aeb: DUP6
00000aec: PUSH32 0x2f8788117e7eff1d82e926ec794901d17c78024a50270940304540a733656f0d
00000b0d: PUSH1 0x40
00000b0f: MLOAD
00000b10: PUSH1 0x40
00000b12: MLOAD
00000b13: DUP1
00000b14: SWAP2
00000b15: SUB
00000b16: SWAP1
00000b17: LOG4
00000b18: PUSH1 0x01
00000b1a: SWAP2
00000b1b: POP
00000b1c: POP
00000b1d: PUSH2 0x0378
00000b20: JUMP
00000b21: JUMPDEST
00000b22: PUSH1 0x00
00000b24: SWAP2
00000b25: POP
00000b26: POP
00000b27: PUSH2 0x0378
00000b2a: JUMP
00000b2b: JUMPDEST
00000b2c: PUSH1 0x00
00000b2e: DUP1
00000b2f: PUSH2 0x0b36
00000b32: PUSH2 0x0977
00000b35: JUMP
00000b36: JUMPDEST
00000b37: SWAP1
00000b38: POP
00000b39: PUSH2 0x0b42
00000b3c: DUP5
00000b3d: DUP5
00000b3e: PUSH2 0x0521
00000b41: JUMP
00000b42: JUMPDEST
00000b43: ISZERO
00000b44: PUSH2 0x0b21
00000b47: JUMPI
00000b48: PUSH1 0x00
00000b4a: DUP5
00000b4b: DUP2
00000b4c: MSTORE
00000b4d: PUSH1 0x20
00000b4f: DUP3
00000b50: DUP2
00000b51: MSTORE
00000b52: PUSH1 0x40
00000b54: DUP1
00000b55: DUP4
00000b56: KECCAK256
00000b57: PUSH1 0x01
00000b59: PUSH1 0x01
00000b5b: PUSH1 0xa0
00000b5d: SHL
00000b5e: SUB
00000b5f: DUP8
00000b60: AND
00000b61: DUP1
00000b62: DUP6
00000b63: MSTORE
00000b64: SWAP3
00000b65: MSTORE
00000b66: DUP1
00000b67: DUP4
00000b68: KECCAK256
00000b69: DUP1
00000b6a: SLOAD
00000b6b: PUSH1 0xff
00000b6d: NOT
00000b6e: AND
00000b6f: SWAP1
00000b70: SSTORE
00000b71: MLOAD
00000b72: CALLER
00000b73: SWAP3
00000b74: DUP8
00000b75: SWAP2
00000b76: PUSH32 0xf6391f5c32d9c69d2a47ea670b442974b53935d1edc7fd64eb21e047a839171b
00000b97: SWAP2
00000b98: SWAP1
00000b99: LOG4
00000b9a: PUSH1 0x01
00000b9c: SWAP2
00000b9d: POP
00000b9e: POP
00000b9f: PUSH2 0x0378
00000ba2: JUMP
00000ba3: JUMPDEST
00000ba4: PUSH2 0x0bab
00000ba7: PUSH2 0x0e6c
00000baa: JUMP
00000bab: JUMPDEST
00000bac: PUSH1 0x00
00000bae: PUSH2 0x0bb5
00000bb1: PUSH2 0x0bfa
00000bb4: JUMP
00000bb5: JUMPDEST
00000bb6: DUP1
00000bb7: SLOAD
00000bb8: PUSH1 0xff
00000bba: NOT
00000bbb: AND
00000bbc: DUP2
00000bbd: SSTORE
00000bbe: SWAP1
00000bbf: POP
00000bc0: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00000be1: CALLER
00000be2: JUMPDEST
00000be3: PUSH1 0x40
00000be5: MLOAD
00000be6: PUSH2 0x0bef
00000be9: SWAP2
00000bea: SWAP1
00000beb: PUSH2 0x11c3
00000bee: JUMP
00000bef: JUMPDEST
00000bf0: PUSH1 0x40
00000bf2: MLOAD
00000bf3: DUP1
00000bf4: SWAP2
00000bf5: SUB
00000bf6: SWAP1
00000bf7: LOG1
00000bf8: POP
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH32 0xcd5ed15c6e187e77e9aee88184c21f4f2182ab5827cb3b7e07fbedcd63f03300
00000c1c: SWAP1
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: PUSH2 0x0c26
00000c22: PUSH2 0x0cab
00000c25: JUMP
00000c26: JUMPDEST
00000c27: PUSH1 0x00
00000c29: PUSH2 0x0c30
00000c2c: PUSH2 0x0bfa
00000c2f: JUMP
00000c30: JUMPDEST
00000c31: DUP1
00000c32: SLOAD
00000c33: PUSH1 0xff
00000c35: NOT
00000c36: AND
00000c37: PUSH1 0x01
00000c39: OR
00000c3a: DUP2
00000c3b: SSTORE
00000c3c: SWAP1
00000c3d: POP
00000c3e: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00000c5f: PUSH2 0x0be2
00000c62: CALLER
00000c63: SWAP1
00000c64: JUMP
00000c65: JUMPDEST
00000c66: PUSH32 0xf0c57e16840df040f15088dc2f81fe391c3923bec73e23a9662efc9c229c6a00
00000c87: SWAP1
00000c88: JUMP
00000c89: JUMPDEST
00000c8a: PUSH2 0x0c91
00000c8d: PUSH2 0x0e91
00000c90: JUMP
00000c91: JUMPDEST
00000c92: PUSH2 0x0c99
00000c95: PUSH2 0x0eb6
00000c98: JUMP
00000c99: JUMPDEST
00000c9a: JUMP
00000c9b: JUMPDEST
00000c9c: PUSH2 0x0ca3
00000c9f: PUSH2 0x0e91
00000ca2: JUMP
00000ca3: JUMPDEST
00000ca4: PUSH2 0x0c99
00000ca7: PUSH2 0x0ed3
00000caa: JUMP
00000cab: JUMPDEST
00000cac: PUSH2 0x0cb3
00000caf: PUSH2 0x0486
00000cb2: JUMP
00000cb3: JUMPDEST
00000cb4: ISZERO
00000cb5: PUSH2 0x0c99
00000cb8: JUMPI
00000cb9: PUSH1 0x40
00000cbb: MLOAD
00000cbc: PUSH4 0xd93c0665
00000cc1: PUSH1 0xe0
00000cc3: SHL
00000cc4: DUP2
00000cc5: MSTORE
00000cc6: PUSH1 0x04
00000cc8: ADD
00000cc9: PUSH1 0x40
00000ccb: MLOAD
00000ccc: DUP1
00000ccd: SWAP2
00000cce: SUB
00000ccf: SWAP1
00000cd0: REVERT
00000cd1: JUMPDEST
00000cd2: PUSH1 0x00
00000cd4: PUSH2 0x0cdb
00000cd7: PUSH2 0x0edb
00000cda: JUMP
00000cdb: JUMPDEST
00000cdc: DUP1
00000cdd: SLOAD
00000cde: SWAP1
00000cdf: SWAP2
00000ce0: POP
00000ce1: PUSH1 0x01
00000ce3: NOT
00000ce4: ADD
00000ce5: PUSH2 0x0d01
00000ce8: JUMPI
00000ce9: PUSH1 0x40
00000ceb: MLOAD
00000cec: PUSH4 0x3ee5aeb5
00000cf1: PUSH1 0xe0
00000cf3: SHL
00000cf4: DUP2
00000cf5: MSTORE
00000cf6: PUSH1 0x04
00000cf8: ADD
00000cf9: PUSH1 0x40
00000cfb: MLOAD
00000cfc: DUP1
00000cfd: SWAP2
00000cfe: SUB
00000cff: SWAP1
00000d00: REVERT
00000d01: JUMPDEST
00000d02: PUSH1 0x02
00000d04: SWAP1
00000d05: SSTORE
00000d06: JUMP
00000d07: JUMPDEST
00000d08: PUSH1 0x40
00000d0a: DUP1
00000d0b: MLOAD
00000d0c: PUSH1 0x80
00000d0e: DUP2
00000d0f: ADD
00000d10: DUP3
00000d11: MSTORE
00000d12: PUSH1 0x00
00000d14: DUP1
00000d15: DUP3
00000d16: MSTORE
00000d17: PUSH1 0x20
00000d19: DUP1
00000d1a: DUP4
00000d1b: ADD
00000d1c: DUP3
00000d1d: SWAP1
00000d1e: MSTORE
00000d1f: SWAP3
00000d20: DUP3
00000d21: ADD
00000d22: DUP2
00000d23: SWAP1
00000d24: MSTORE
00000d25: PUSH1 0x60
00000d27: DUP3
00000d28: ADD
00000d29: MSTORE
00000d2a: DUP3
00000d2b: MLOAD
00000d2c: SWAP1
00000d2d: SWAP2
00000d2e: PUSH2 0x0378
00000d31: SWAP2
00000d32: DUP5
00000d33: ADD
00000d34: DUP2
00000d35: ADD
00000d36: SWAP1
00000d37: DUP5
00000d38: ADD
00000d39: PUSH2 0x1475
00000d3c: JUMP
00000d3d: JUMPDEST
00000d3e: DUP1
00000d3f: SELFBALANCE
00000d40: LT
00000d41: ISZERO
00000d42: PUSH2 0x0d60
00000d45: JUMPI
00000d46: ADDRESS
00000d47: PUSH1 0x40
00000d49: MLOAD
00000d4a: PUSH4 0xcd786059
00000d4f: PUSH1 0xe0
00000d51: SHL
00000d52: DUP2
00000d53: MSTORE
00000d54: PUSH1 0x04
00000d56: ADD
00000d57: PUSH2 0x0685
00000d5a: SWAP2
00000d5b: SWAP1
00000d5c: PUSH2 0x11c3
00000d5f: JUMP
00000d60: JUMPDEST
00000d61: PUSH1 0x00
00000d63: DUP3
00000d64: PUSH1 0x01
00000d66: PUSH1 0x01
00000d68: PUSH1 0xa0
00000d6a: SHL
00000d6b: SUB
00000d6c: AND
00000d6d: DUP3
00000d6e: PUSH1 0x40
00000d70: MLOAD
00000d71: PUSH1 0x00
00000d73: PUSH1 0x40
00000d75: MLOAD
00000d76: DUP1
00000d77: DUP4
00000d78: SUB
00000d79: DUP2
00000d7a: DUP6
00000d7b: DUP8
00000d7c: GAS
00000d7d: CALL
00000d7e: SWAP3
00000d7f: POP
00000d80: POP
00000d81: POP
00000d82: RETURNDATASIZE
00000d83: DUP1
00000d84: PUSH1 0x00
00000d86: DUP2
00000d87: EQ
00000d88: PUSH2 0x0dad
00000d8b: JUMPI
00000d8c: PUSH1 0x40
00000d8e: MLOAD
00000d8f: SWAP2
00000d90: POP
00000d91: PUSH1 0x1f
00000d93: NOT
00000d94: PUSH1 0x3f
00000d96: RETURNDATASIZE
00000d97: ADD
00000d98: AND
00000d99: DUP3
00000d9a: ADD
00000d9b: PUSH1 0x40
00000d9d: MSTORE
00000d9e: RETURNDATASIZE
00000d9f: DUP3
00000da0: MSTORE
00000da1: RETURNDATASIZE
00000da2: PUSH1 0x00
00000da4: PUSH1 0x20
00000da6: DUP5
00000da7: ADD
00000da8: RETURNDATACOPY
00000da9: PUSH2 0x0db2
00000dac: JUMP
00000dad: JUMPDEST
00000dae: PUSH1 0x60
00000db0: SWAP2
00000db1: POP
00000db2: JUMPDEST
00000db3: POP
00000db4: POP
00000db5: SWAP1
00000db6: POP
00000db7: DUP1
00000db8: PUSH2 0x0409
00000dbb: JUMPI
00000dbc: PUSH1 0x40
00000dbe: MLOAD
00000dbf: PUSH4 0x0a12f521
00000dc4: PUSH1 0xe1
00000dc6: SHL
00000dc7: DUP2
00000dc8: MSTORE
00000dc9: PUSH1 0x04
00000dcb: ADD
00000dcc: PUSH1 0x40
00000dce: MLOAD
00000dcf: DUP1
00000dd0: SWAP2
00000dd1: SUB
00000dd2: SWAP1
00000dd3: REVERT
00000dd4: JUMPDEST
00000dd5: PUSH2 0x0409
00000dd8: DUP4
00000dd9: DUP5
00000dda: PUSH1 0x01
00000ddc: PUSH1 0x01
00000dde: PUSH1 0xa0
00000de0: SHL
00000de1: SUB
00000de2: AND
00000de3: PUSH4 0xa9059cbb
00000de8: DUP6
00000de9: DUP6
00000dea: PUSH1 0x40
00000dec: MLOAD
00000ded: PUSH1 0x24
00000def: ADD
00000df0: PUSH2 0x0dfa
00000df3: SWAP3
00000df4: SWAP2
00000df5: SWAP1
00000df6: PUSH2 0x14f0
00000df9: JUMP
00000dfa: JUMPDEST
00000dfb: PUSH1 0x40
00000dfd: MLOAD
00000dfe: PUSH1 0x20
00000e00: DUP2
00000e01: DUP4
00000e02: SUB
00000e03: SUB
00000e04: DUP2
00000e05: MSTORE
00000e06: SWAP1
00000e07: PUSH1 0x40
00000e09: MSTORE
00000e0a: SWAP2
00000e0b: POP
00000e0c: PUSH1 0xe0
00000e0e: SHL
00000e0f: PUSH1 0x20
00000e11: DUP3
00000e12: ADD
00000e13: DUP1
00000e14: MLOAD
00000e15: PUSH1 0x01
00000e17: PUSH1 0x01
00000e19: PUSH1 0xe0
00000e1b: SHL
00000e1c: SUB
00000e1d: DUP4
00000e1e: DUP2
00000e1f: DUP4
00000e20: AND
00000e21: OR
00000e22: DUP4
00000e23: MSTORE
00000e24: POP
00000e25: POP
00000e26: POP
00000e27: POP
00000e28: PUSH2 0x0eff
00000e2b: JUMP
00000e2c: JUMPDEST
00000e2d: PUSH1 0x00
00000e2f: PUSH2 0x0e36
00000e32: PUSH2 0x0edb
00000e35: JUMP
00000e36: JUMPDEST
00000e37: PUSH1 0x01
00000e39: SWAP1
00000e3a: SSTORE
00000e3b: POP
00000e3c: JUMP
00000e3d: JUMPDEST
00000e3e: PUSH2 0x0e47
00000e41: DUP3
00000e42: DUP3
00000e43: PUSH2 0x0521
00000e46: JUMP
00000e47: JUMPDEST
00000e48: PUSH2 0x0e68
00000e4b: JUMPI
00000e4c: DUP1
00000e4d: DUP3
00000e4e: PUSH1 0x40
00000e50: MLOAD
00000e51: PUSH4 0xe2517d3f
00000e56: PUSH1 0xe0
00000e58: SHL
00000e59: DUP2
00000e5a: MSTORE
00000e5b: PUSH1 0x04
00000e5d: ADD
00000e5e: PUSH2 0x0685
00000e61: SWAP3
00000e62: SWAP2
00000e63: SWAP1
00000e64: PUSH2 0x14f0
00000e67: JUMP
00000e68: JUMPDEST
00000e69: POP
00000e6a: POP
00000e6b: JUMP
00000e6c: JUMPDEST
00000e6d: PUSH2 0x0e74
00000e70: PUSH2 0x0486
00000e73: JUMP
00000e74: JUMPDEST
00000e75: PUSH2 0x0c99
00000e78: JUMPI
00000e79: PUSH1 0x40
00000e7b: MLOAD
00000e7c: PUSH4 0x8dfc202b
00000e81: PUSH1 0xe0
00000e83: SHL
00000e84: DUP2
00000e85: MSTORE
00000e86: PUSH1 0x04
00000e88: ADD
00000e89: PUSH1 0x40
00000e8b: MLOAD
00000e8c: DUP1
00000e8d: SWAP2
00000e8e: SUB
00000e8f: SWAP1
00000e90: REVERT
00000e91: JUMPDEST
00000e92: PUSH2 0x0e99
00000e95: PUSH2 0x0f59
00000e98: JUMP
00000e99: JUMPDEST
00000e9a: PUSH2 0x0c99
00000e9d: JUMPI
00000e9e: PUSH1 0x40
00000ea0: MLOAD
00000ea1: PUSH4 0x1afcd79f
00000ea6: PUSH1 0xe3
00000ea8: SHL
00000ea9: DUP2
00000eaa: MSTORE
00000eab: PUSH1 0x04
00000ead: ADD
00000eae: PUSH1 0x40
00000eb0: MLOAD
00000eb1: DUP1
00000eb2: SWAP2
00000eb3: SUB
00000eb4: SWAP1
00000eb5: REVERT
00000eb6: JUMPDEST
00000eb7: PUSH2 0x0ebe
00000eba: PUSH2 0x0e91
00000ebd: JUMP
00000ebe: JUMPDEST
00000ebf: PUSH1 0x00
00000ec1: PUSH2 0x0ec8
00000ec4: PUSH2 0x0bfa
00000ec7: JUMP
00000ec8: JUMPDEST
00000ec9: DUP1
00000eca: SLOAD
00000ecb: PUSH1 0xff
00000ecd: NOT
00000ece: AND
00000ecf: SWAP1
00000ed0: SSTORE
00000ed1: POP
00000ed2: JUMP
00000ed3: JUMPDEST
00000ed4: PUSH2 0x0e2c
00000ed7: PUSH2 0x0e91
00000eda: JUMP
00000edb: JUMPDEST
00000edc: PUSH32 0x9b779b17422d0df92223018b32b4d1fa46e071723d6817e2486d003becc55f00
00000efd: SWAP1
00000efe: JUMP
00000eff: JUMPDEST
00000f00: PUSH1 0x00
00000f02: PUSH2 0x0f14
00000f05: PUSH1 0x01
00000f07: PUSH1 0x01
00000f09: PUSH1 0xa0
00000f0b: SHL
00000f0c: SUB
00000f0d: DUP5
00000f0e: AND
00000f0f: DUP4
00000f10: PUSH2 0x0f73
00000f13: JUMP
00000f14: JUMPDEST
00000f15: SWAP1
00000f16: POP
00000f17: DUP1
00000f18: MLOAD
00000f19: PUSH1 0x00
00000f1b: EQ
00000f1c: ISZERO
00000f1d: DUP1
00000f1e: ISZERO
00000f1f: PUSH2 0x0f39
00000f22: JUMPI
00000f23: POP
00000f24: DUP1
00000f25: DUP1
00000f26: PUSH1 0x20
00000f28: ADD
00000f29: SWAP1
00000f2a: MLOAD
00000f2b: DUP2
00000f2c: ADD
00000f2d: SWAP1
00000f2e: PUSH2 0x0f37
00000f31: SWAP2
00000f32: SWAP1
00000f33: PUSH2 0x1509
00000f36: JUMP
00000f37: JUMPDEST
00000f38: ISZERO
00000f39: JUMPDEST
00000f3a: ISZERO
00000f3b: PUSH2 0x0409
00000f3e: JUMPI
00000f3f: DUP3
00000f40: PUSH1 0x40
00000f42: MLOAD
00000f43: PUSH4 0x5274afe7
00000f48: PUSH1 0xe0
00000f4a: SHL
00000f4b: DUP2
00000f4c: MSTORE
00000f4d: PUSH1 0x04
00000f4f: ADD
00000f50: PUSH2 0x0685
00000f53: SWAP2
00000f54: SWAP1
00000f55: PUSH2 0x11c3
00000f58: JUMP
00000f59: JUMPDEST
00000f5a: PUSH1 0x00
00000f5c: PUSH2 0x0f63
00000f5f: PUSH2 0x0c65
00000f62: JUMP
00000f63: JUMPDEST
00000f64: SLOAD
00000f65: PUSH1 0x01
00000f67: PUSH1 0x40
00000f69: SHL
00000f6a: SWAP1
00000f6b: DIV
00000f6c: PUSH1 0xff
00000f6e: AND
00000f6f: SWAP2
00000f70: SWAP1
00000f71: POP
00000f72: JUMP
00000f73: JUMPDEST
00000f74: PUSH1 0x60
00000f76: PUSH2 0x0507
00000f79: DUP4
00000f7a: DUP4
00000f7b: PUSH1 0x00
00000f7d: DUP5
00000f7e: PUSH1 0x00
00000f80: DUP1
00000f81: DUP6
00000f82: PUSH1 0x01
00000f84: PUSH1 0x01
00000f86: PUSH1 0xa0
00000f88: SHL
00000f89: SUB
00000f8a: AND
00000f8b: DUP5
00000f8c: DUP7
00000f8d: PUSH1 0x40
00000f8f: MLOAD
00000f90: PUSH2 0x0f99
00000f93: SWAP2
00000f94: SWAP1
00000f95: PUSH2 0x1526
00000f98: JUMP
00000f99: JUMPDEST
00000f9a: PUSH1 0x00
00000f9c: PUSH1 0x40
00000f9e: MLOAD
00000f9f: DUP1
00000fa0: DUP4
00000fa1: SUB
00000fa2: DUP2
00000fa3: DUP6
00000fa4: DUP8
00000fa5: GAS
00000fa6: CALL
00000fa7: SWAP3
00000fa8: POP
00000fa9: POP
00000faa: POP
00000fab: RETURNDATASIZE
00000fac: DUP1
00000fad: PUSH1 0x00
00000faf: DUP2
00000fb0: EQ
00000fb1: PUSH2 0x0fd6
00000fb4: JUMPI
00000fb5: PUSH1 0x40
00000fb7: MLOAD
00000fb8: SWAP2
00000fb9: POP
00000fba: PUSH1 0x1f
00000fbc: NOT
00000fbd: PUSH1 0x3f
00000fbf: RETURNDATASIZE
00000fc0: ADD
00000fc1: AND
00000fc2: DUP3
00000fc3: ADD
00000fc4: PUSH1 0x40
00000fc6: MSTORE
00000fc7: RETURNDATASIZE
00000fc8: DUP3
00000fc9: MSTORE
00000fca: RETURNDATASIZE
00000fcb: PUSH1 0x00
00000fcd: PUSH1 0x20
00000fcf: DUP5
00000fd0: ADD
00000fd1: RETURNDATACOPY
00000fd2: PUSH2 0x0fdb
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: PUSH1 0x60
00000fd9: SWAP2
00000fda: POP
00000fdb: JUMPDEST
00000fdc: POP
00000fdd: SWAP2
00000fde: POP
00000fdf: SWAP2
00000fe0: POP
00000fe1: PUSH2 0x0feb
00000fe4: DUP7
00000fe5: DUP4
00000fe6: DUP4
00000fe7: PUSH2 0x0ff5
00000fea: JUMP
00000feb: JUMPDEST
00000fec: SWAP7
00000fed: SWAP6
00000fee: POP
00000fef: POP
00000ff0: POP
00000ff1: POP
00000ff2: POP
00000ff3: POP
00000ff4: JUMP
00000ff5: JUMPDEST
00000ff6: PUSH1 0x60
00000ff8: DUP3
00000ff9: PUSH2 0x100a
00000ffc: JUMPI
00000ffd: PUSH2 0x1005
00001000: DUP3
00001001: PUSH2 0x1048
00001004: JUMP
00001005: JUMPDEST
00001006: PUSH2 0x0507
00001009: JUMP
0000100a: JUMPDEST
0000100b: DUP2
0000100c: MLOAD
0000100d: ISZERO
0000100e: DUP1
0000100f: ISZERO
00001010: PUSH2 0x1021
00001013: JUMPI
00001014: POP
00001015: PUSH1 0x01
00001017: PUSH1 0x01
00001019: PUSH1 0xa0
0000101b: SHL
0000101c: SUB
0000101d: DUP5
0000101e: AND
0000101f: EXTCODESIZE
00001020: ISZERO
00001021: JUMPDEST
00001022: ISZERO
00001023: PUSH2 0x1041
00001026: JUMPI
00001027: DUP4
00001028: PUSH1 0x40
0000102a: MLOAD
0000102b: PUSH4 0x9996b315
00001030: PUSH1 0xe0
00001032: SHL
00001033: DUP2
00001034: MSTORE
00001035: PUSH1 0x04
00001037: ADD
00001038: PUSH2 0x0685
0000103b: SWAP2
0000103c: SWAP1
0000103d: PUSH2 0x11c3
00001040: JUMP
00001041: JUMPDEST
00001042: POP
00001043: DUP1
00001044: PUSH2 0x0507
00001047: JUMP
00001048: JUMPDEST
00001049: DUP1
0000104a: MLOAD
0000104b: ISZERO
0000104c: PUSH2 0x1058
0000104f: JUMPI
00001050: DUP1
00001051: MLOAD
00001052: DUP1
00001053: DUP3
00001054: PUSH1 0x20
00001056: ADD
00001057: REVERT
00001058: JUMPDEST
00001059: PUSH1 0x40
0000105b: MLOAD
0000105c: PUSH4 0x0a12f521
00001061: PUSH1 0xe1
00001063: SHL
00001064: DUP2
00001065: MSTORE
00001066: PUSH1 0x04
00001068: ADD
00001069: PUSH1 0x40
0000106b: MLOAD
0000106c: DUP1
0000106d: SWAP2
0000106e: SUB
0000106f: SWAP1
00001070: REVERT
00001071: JUMPDEST
00001072: PUSH1 0x00
00001074: PUSH1 0x20
00001076: DUP3
00001077: DUP5
00001078: SUB
00001079: SLT
0000107a: ISZERO
0000107b: PUSH2 0x1083
0000107e: JUMPI
0000107f: PUSH1 0x00
00001081: DUP1
00001082: REVERT
00001083: JUMPDEST
00001084: DUP2
00001085: CALLDATALOAD
00001086: PUSH1 0x01
00001088: PUSH1 0x01
0000108a: PUSH1 0xe0
0000108c: SHL
0000108d: SUB
0000108e: NOT
0000108f: DUP2
00001090: AND
00001091: DUP2
00001092: EQ
00001093: PUSH2 0x0507
00001096: JUMPI
00001097: PUSH1 0x00
00001099: DUP1
0000109a: REVERT
0000109b: JUMPDEST
0000109c: PUSH1 0x00
0000109e: PUSH1 0x20
000010a0: DUP3
000010a1: DUP5
000010a2: SUB
000010a3: SLT
000010a4: ISZERO
000010a5: PUSH2 0x10ad
000010a8: JUMPI
000010a9: PUSH1 0x00
000010ab: DUP1
000010ac: REVERT
000010ad: JUMPDEST
000010ae: POP
000010af: CALLDATALOAD
000010b0: SWAP2
000010b1: SWAP1
000010b2: POP
000010b3: JUMP
000010b4: JUMPDEST
000010b5: DUP1
000010b6: CALLDATALOAD
000010b7: PUSH4 0xffffffff
000010bc: DUP2
000010bd: AND
000010be: DUP2
000010bf: EQ
000010c0: PUSH2 0x10c8
000010c3: JUMPI
000010c4: PUSH1 0x00
000010c6: DUP1
000010c7: REVERT
000010c8: JUMPDEST
000010c9: SWAP2
000010ca: SWAP1
000010cb: POP
000010cc: JUMP
000010cd: JUMPDEST
000010ce: DUP1
000010cf: ISZERO
000010d0: ISZERO
000010d1: DUP2
000010d2: EQ
000010d3: PUSH2 0x0421
000010d6: JUMPI
000010d7: PUSH1 0x00
000010d9: DUP1
000010da: REVERT
000010db: JUMPDEST
000010dc: PUSH1 0x00
000010de: DUP1
000010df: PUSH1 0x00
000010e1: PUSH1 0x60
000010e3: DUP5
000010e4: DUP7
000010e5: SUB
000010e6: SLT
000010e7: ISZERO
000010e8: PUSH2 0x10f0
000010eb: JUMPI
000010ec: PUSH1 0x00
000010ee: DUP1
000010ef: REVERT
000010f0: JUMPDEST
000010f1: PUSH2 0x10f9
000010f4: DUP5
000010f5: PUSH2 0x10b4
000010f8: JUMP
000010f9: JUMPDEST
000010fa: SWAP3
000010fb: POP
000010fc: PUSH1 0x20
000010fe: DUP5
000010ff: ADD
00001100: CALLDATALOAD
00001101: SWAP2
00001102: POP
00001103: PUSH1 0x40
00001105: DUP5
00001106: ADD
00001107: CALLDATALOAD
00001108: PUSH2 0x1110
0000110b: DUP2
0000110c: PUSH2 0x10cd
0000110f: JUMP
00001110: JUMPDEST
00001111: DUP1
00001112: SWAP2
00001113: POP
00001114: POP
00001115: SWAP3
00001116: POP
00001117: SWAP3
00001118: POP
00001119: SWAP3
0000111a: JUMP
0000111b: JUMPDEST
0000111c: PUSH1 0x01
0000111e: PUSH1 0x01
00001120: PUSH1 0xa0
00001122: SHL
00001123: SUB
00001124: DUP2
00001125: AND
00001126: DUP2
00001127: EQ
00001128: PUSH2 0x0421
0000112b: JUMPI
0000112c: PUSH1 0x00
0000112e: DUP1
0000112f: REVERT
00001130: JUMPDEST
00001131: PUSH1 0x00
00001133: DUP1
00001134: PUSH1 0x40
00001136: DUP4
00001137: DUP6
00001138: SUB
00001139: SLT
0000113a: ISZERO
0000113b: PUSH2 0x1143
0000113e: JUMPI
0000113f: PUSH1 0x00
00001141: DUP1
00001142: REVERT
00001143: JUMPDEST
00001144: DUP3
00001145: CALLDATALOAD
00001146: SWAP2
00001147: POP
00001148: PUSH1 0x20
0000114a: DUP4
0000114b: ADD
0000114c: CALLDATALOAD
0000114d: PUSH2 0x1155
00001150: DUP2
00001151: PUSH2 0x111b
00001154: JUMP
00001155: JUMPDEST
00001156: DUP1
00001157: SWAP2
00001158: POP
00001159: POP
0000115a: SWAP3
0000115b: POP
0000115c: SWAP3
0000115d: SWAP1
0000115e: POP
0000115f: JUMP
00001160: JUMPDEST
00001161: PUSH1 0x00
00001163: PUSH1 0x20
00001165: DUP3
00001166: DUP5
00001167: SUB
00001168: SLT
00001169: ISZERO
0000116a: PUSH2 0x1172
0000116d: JUMPI
0000116e: PUSH1 0x00
00001170: DUP1
00001171: REVERT
00001172: JUMPDEST
00001173: DUP2
00001174: CALLDATALOAD
00001175: PUSH2 0x0507
00001178: DUP2
00001179: PUSH2 0x111b
0000117c: JUMP
0000117d: JUMPDEST
0000117e: PUSH1 0xff
00001180: DUP2
00001181: AND
00001182: DUP2
00001183: EQ
00001184: PUSH2 0x0421
00001187: JUMPI
00001188: PUSH1 0x00
0000118a: DUP1
0000118b: REVERT
0000118c: JUMPDEST
0000118d: PUSH1 0x00
0000118f: DUP1
00001190: PUSH1 0x00
00001192: PUSH1 0x60
00001194: DUP5
00001195: DUP7
00001196: SUB
00001197: SLT
00001198: ISZERO
00001199: PUSH2 0x11a1
0000119c: JUMPI
0000119d: PUSH1 0x00
0000119f: DUP1
000011a0: REVERT
000011a1: JUMPDEST
000011a2: DUP4
000011a3: CALLDATALOAD
000011a4: SWAP3
000011a5: POP
000011a6: PUSH1 0x20
000011a8: DUP5
000011a9: ADD
000011aa: CALLDATALOAD
000011ab: PUSH2 0x11b3
000011ae: DUP2
000011af: PUSH2 0x117d
000011b2: JUMP
000011b3: JUMPDEST
000011b4: SWAP2
000011b5: POP
000011b6: PUSH1 0x40
000011b8: DUP5
000011b9: ADD
000011ba: CALLDATALOAD
000011bb: PUSH2 0x1110
000011be: DUP2
000011bf: PUSH2 0x117d
000011c2: JUMP
000011c3: JUMPDEST
000011c4: PUSH1 0x01
000011c6: PUSH1 0x01
000011c8: PUSH1 0xa0
000011ca: SHL
000011cb: SUB
000011cc: SWAP2
000011cd: SWAP1
000011ce: SWAP2
000011cf: AND
000011d0: DUP2
000011d1: MSTORE
000011d2: PUSH1 0x20
000011d4: ADD
000011d5: SWAP1
000011d6: JUMP
000011d7: JUMPDEST
000011d8: PUSH1 0x00
000011da: DUP1
000011db: PUSH1 0x40
000011dd: DUP4
000011de: DUP6
000011df: SUB
000011e0: SLT
000011e1: ISZERO
000011e2: PUSH2 0x11ea
000011e5: JUMPI
000011e6: PUSH1 0x00
000011e8: DUP1
000011e9: REVERT
000011ea: JUMPDEST
000011eb: PUSH2 0x11f3
000011ee: DUP4
000011ef: PUSH2 0x10b4
000011f2: JUMP
000011f3: JUMPDEST
000011f4: SWAP5
000011f5: PUSH1 0x20
000011f7: SWAP4
000011f8: SWAP1
000011f9: SWAP4
000011fa: ADD
000011fb: CALLDATALOAD
000011fc: SWAP4
000011fd: POP
000011fe: POP
000011ff: POP
00001200: JUMP
00001201: JUMPDEST
00001202: PUSH4 0x4e487b71
00001207: PUSH1 0xe0
00001209: SHL
0000120a: PUSH1 0x00
0000120c: MSTORE
0000120d: PUSH1 0x41
0000120f: PUSH1 0x04
00001211: MSTORE
00001212: PUSH1 0x24
00001214: PUSH1 0x00
00001216: REVERT
00001217: JUMPDEST
00001218: PUSH1 0x40
0000121a: MLOAD
0000121b: PUSH1 0x1f
0000121d: DUP3
0000121e: ADD
0000121f: PUSH1 0x1f
00001221: NOT
00001222: AND
00001223: DUP2
00001224: ADD
00001225: PUSH1 0x01
00001227: PUSH1 0x01
00001229: PUSH1 0x40
0000122b: SHL
0000122c: SUB
0000122d: DUP2
0000122e: GT
0000122f: DUP3
00001230: DUP3
00001231: LT
00001232: OR
00001233: ISZERO
00001234: PUSH2 0x123f
00001237: JUMPI
00001238: PUSH2 0x123f
0000123b: PUSH2 0x1201
0000123e: JUMP
0000123f: JUMPDEST
00001240: PUSH1 0x40
00001242: MSTORE
00001243: SWAP2
00001244: SWAP1
00001245: POP
00001246: JUMP
00001247: JUMPDEST
00001248: PUSH1 0x00
0000124a: DUP1
0000124b: PUSH1 0x00
0000124d: DUP1
0000124e: PUSH1 0x80
00001250: DUP6
00001251: DUP8
00001252: SUB
00001253: SLT
00001254: ISZERO
00001255: PUSH2 0x125d
00001258: JUMPI
00001259: PUSH1 0x00
0000125b: DUP1
0000125c: REVERT
0000125d: JUMPDEST
0000125e: PUSH2 0x1266
00001261: DUP6
00001262: PUSH2 0x10b4
00001265: JUMP
00001266: JUMPDEST
00001267: SWAP4
00001268: POP
00001269: PUSH1 0x20
0000126b: DUP6
0000126c: DUP2
0000126d: ADD
0000126e: CALLDATALOAD
0000126f: SWAP4
00001270: POP
00001271: PUSH1 0x40
00001273: DUP7
00001274: ADD
00001275: CALLDATALOAD
00001276: PUSH1 0x01
00001278: PUSH1 0x01
0000127a: PUSH1 0x40
0000127c: SHL
0000127d: SUB
0000127e: DUP1
0000127f: DUP3
00001280: GT
00001281: ISZERO
00001282: PUSH2 0x128a
00001285: JUMPI
00001286: PUSH1 0x00
00001288: DUP1
00001289: REVERT
0000128a: JUMPDEST
0000128b: DUP2
0000128c: DUP9
0000128d: ADD
0000128e: SWAP2
0000128f: POP
00001290: DUP9
00001291: PUSH1 0x1f
00001293: DUP4
00001294: ADD
00001295: SLT
00001296: PUSH2 0x129e
00001299: JUMPI
0000129a: PUSH1 0x00
0000129c: DUP1
0000129d: REVERT
0000129e: JUMPDEST
0000129f: DUP2
000012a0: CALLDATALOAD
000012a1: DUP2
000012a2: DUP2
000012a3: GT
000012a4: ISZERO
000012a5: PUSH2 0x12b0
000012a8: JUMPI
000012a9: PUSH2 0x12b0
000012ac: PUSH2 0x1201
000012af: JUMP
000012b0: JUMPDEST
000012b1: PUSH2 0x12c2
000012b4: PUSH1 0x1f
000012b6: DUP3
000012b7: ADD
000012b8: PUSH1 0x1f
000012ba: NOT
000012bb: AND
000012bc: DUP6
000012bd: ADD
000012be: PUSH2 0x1217
000012c1: JUMP
000012c2: JUMPDEST
000012c3: SWAP2
000012c4: POP
000012c5: DUP1
000012c6: DUP3
000012c7: MSTORE
000012c8: DUP10
000012c9: DUP5
000012ca: DUP3
000012cb: DUP6
000012cc: ADD
000012cd: ADD
000012ce: GT
000012cf: ISZERO
000012d0: PUSH2 0x12d8
000012d3: JUMPI
000012d4: PUSH1 0x00
000012d6: DUP1
000012d7: REVERT
000012d8: JUMPDEST
000012d9: DUP1
000012da: DUP5
000012db: DUP5
000012dc: ADD
000012dd: DUP6
000012de: DUP5
000012df: ADD
000012e0: CALLDATACOPY
000012e1: PUSH1 0x00
000012e3: SWAP1
000012e4: DUP3
000012e5: ADD
000012e6: SWAP1
000012e7: SWAP4
000012e8: ADD
000012e9: SWAP3
000012ea: SWAP1
000012eb: SWAP3
000012ec: MSTORE
000012ed: POP
000012ee: SWAP4
000012ef: SWAP7
000012f0: SWAP3
000012f1: SWAP6
000012f2: POP
000012f3: SWAP3
000012f4: SWAP4
000012f5: PUSH1 0x60
000012f7: ADD
000012f8: CALLDATALOAD
000012f9: SWAP3
000012fa: POP
000012fb: POP
000012fc: JUMP
000012fd: JUMPDEST
000012fe: PUSH4 0x4e487b71
00001303: PUSH1 0xe0
00001305: SHL
00001306: PUSH1 0x00
00001308: MSTORE
00001309: PUSH1 0x11
0000130b: PUSH1 0x04
0000130d: MSTORE
0000130e: PUSH1 0x24
00001310: PUSH1 0x00
00001312: REVERT
00001313: JUMPDEST
00001314: PUSH1 0xff
00001316: DUP3
00001317: DUP2
00001318: AND
00001319: DUP3
0000131a: DUP3
0000131b: AND
0000131c: SUB
0000131d: SWAP1
0000131e: DUP2
0000131f: GT
00001320: ISZERO
00001321: PUSH2 0x0378
00001324: JUMPI
00001325: PUSH2 0x0378
00001328: PUSH2 0x12fd
0000132b: JUMP
0000132c: JUMPDEST
0000132d: PUSH1 0x01
0000132f: DUP2
00001330: DUP2
00001331: JUMPDEST
00001332: DUP1
00001333: DUP6
00001334: GT
00001335: ISZERO
00001336: PUSH2 0x1367
00001339: JUMPI
0000133a: DUP2
0000133b: PUSH1 0x00
0000133d: NOT
0000133e: DIV
0000133f: DUP3
00001340: GT
00001341: ISZERO
00001342: PUSH2 0x134d
00001345: JUMPI
00001346: PUSH2 0x134d
00001349: PUSH2 0x12fd
0000134c: JUMP
0000134d: JUMPDEST
0000134e: DUP1
0000134f: DUP6
00001350: AND
00001351: ISZERO
00001352: PUSH2 0x135a
00001355: JUMPI
00001356: SWAP2
00001357: DUP2
00001358: MUL
00001359: SWAP2
0000135a: JUMPDEST
0000135b: SWAP4
0000135c: DUP5
0000135d: SHR
0000135e: SWAP4
0000135f: SWAP1
00001360: DUP1
00001361: MUL
00001362: SWAP1
00001363: PUSH2 0x1331
00001366: JUMP
00001367: JUMPDEST
00001368: POP
00001369: SWAP3
0000136a: POP
0000136b: SWAP3
0000136c: SWAP1
0000136d: POP
0000136e: JUMP
0000136f: JUMPDEST
00001370: PUSH1 0x00
00001372: DUP3
00001373: PUSH2 0x137e
00001376: JUMPI
00001377: POP
00001378: PUSH1 0x01
0000137a: PUSH2 0x0378
0000137d: JUMP
0000137e: JUMPDEST
0000137f: DUP2
00001380: PUSH2 0x138b
00001383: JUMPI
00001384: POP
00001385: PUSH1 0x00
00001387: PUSH2 0x0378
0000138a: JUMP
0000138b: JUMPDEST
0000138c: DUP2
0000138d: PUSH1 0x01
0000138f: DUP2
00001390: EQ
00001391: PUSH2 0x13a1
00001394: JUMPI
00001395: PUSH1 0x02
00001397: DUP2
00001398: EQ
00001399: PUSH2 0x13ab
0000139c: JUMPI
0000139d: PUSH2 0x13c7
000013a0: JUMP
000013a1: JUMPDEST
000013a2: PUSH1 0x01
000013a4: SWAP2
000013a5: POP
000013a6: POP
000013a7: PUSH2 0x0378
000013aa: JUMP
000013ab: JUMPDEST
000013ac: PUSH1 0xff
000013ae: DUP5
000013af: GT
000013b0: ISZERO
000013b1: PUSH2 0x13bc
000013b4: JUMPI
000013b5: PUSH2 0x13bc
000013b8: PUSH2 0x12fd
000013bb: JUMP
000013bc: JUMPDEST
000013bd: POP
000013be: POP
000013bf: PUSH1 0x01
000013c1: DUP3
000013c2: SHL
000013c3: PUSH2 0x0378
000013c6: JUMP
000013c7: JUMPDEST
000013c8: POP
000013c9: PUSH1 0x20
000013cb: DUP4
000013cc: LT
000013cd: PUSH2 0x0133
000013d0: DUP4
000013d1: LT
000013d2: AND
000013d3: PUSH1 0x4e
000013d5: DUP5
000013d6: LT
000013d7: PUSH1 0x0b
000013d9: DUP5
000013da: LT
000013db: AND
000013dc: OR
000013dd: ISZERO
000013de: PUSH2 0x13ea
000013e1: JUMPI
000013e2: POP
000013e3: DUP2
000013e4: DUP2
000013e5: EXP
000013e6: PUSH2 0x0378
000013e9: JUMP
000013ea: JUMPDEST
000013eb: PUSH2 0x13f4
000013ee: DUP4
000013ef: DUP4
000013f0: PUSH2 0x132c
000013f3: JUMP
000013f4: JUMPDEST
000013f5: DUP1
000013f6: PUSH1 0x00
000013f8: NOT
000013f9: DIV
000013fa: DUP3
000013fb: GT
000013fc: ISZERO
000013fd: PUSH2 0x1408
00001400: JUMPI
00001401: PUSH2 0x1408
00001404: PUSH2 0x12fd
00001407: JUMP
00001408: JUMPDEST
00001409: MUL
0000140a: SWAP4
0000140b: SWAP3
0000140c: POP
0000140d: POP
0000140e: POP
0000140f: JUMP
00001410: JUMPDEST
00001411: PUSH1 0x00
00001413: PUSH2 0x0507
00001416: PUSH1 0xff
00001418: DUP5
00001419: AND
0000141a: DUP4
0000141b: PUSH2 0x136f
0000141e: JUMP
0000141f: JUMPDEST
00001420: PUSH1 0x00
00001422: DUP3
00001423: PUSH2 0x143c
00001426: JUMPI
00001427: PUSH4 0x4e487b71
0000142c: PUSH1 0xe0
0000142e: SHL
0000142f: PUSH1 0x00
00001431: MSTORE
00001432: PUSH1 0x12
00001434: PUSH1 0x04
00001436: MSTORE
00001437: PUSH1 0x24
00001439: PUSH1 0x00
0000143b: REVERT
0000143c: JUMPDEST
0000143d: POP
0000143e: DIV
0000143f: SWAP1
00001440: JUMP
00001441: JUMPDEST
00001442: DUP1
00001443: DUP3
00001444: MUL
00001445: DUP2
00001446: ISZERO
00001447: DUP3
00001448: DUP3
00001449: DIV
0000144a: DUP5
0000144b: EQ
0000144c: OR
0000144d: PUSH2 0x0378
00001450: JUMPI
00001451: PUSH2 0x0378
00001454: PUSH2 0x12fd
00001457: JUMP
00001458: JUMPDEST
00001459: PUSH1 0x00
0000145b: PUSH1 0x20
0000145d: DUP3
0000145e: DUP5
0000145f: SUB
00001460: SLT
00001461: ISZERO
00001462: PUSH2 0x146a
00001465: JUMPI
00001466: PUSH1 0x00
00001468: DUP1
00001469: REVERT
0000146a: JUMPDEST
0000146b: DUP2
0000146c: MLOAD
0000146d: PUSH2 0x0507
00001470: DUP2
00001471: PUSH2 0x117d
00001474: JUMP
00001475: JUMPDEST
00001476: PUSH1 0x00
00001478: PUSH1 0x80
0000147a: DUP3
0000147b: DUP5
0000147c: SUB
0000147d: SLT
0000147e: ISZERO
0000147f: PUSH2 0x1487
00001482: JUMPI
00001483: PUSH1 0x00
00001485: DUP1
00001486: REVERT
00001487: JUMPDEST
00001488: PUSH1 0x40
0000148a: MLOAD
0000148b: PUSH1 0x80
0000148d: DUP2
0000148e: ADD
0000148f: PUSH1 0x01
00001491: PUSH1 0x01
00001493: PUSH1 0x40
00001495: SHL
00001496: SUB
00001497: DUP2
00001498: GT
00001499: DUP3
0000149a: DUP3
0000149b: LT
0000149c: OR
0000149d: ISZERO
0000149e: PUSH2 0x14a9
000014a1: JUMPI
000014a2: PUSH2 0x14a9
000014a5: PUSH2 0x1201
000014a8: JUMP
000014a9: JUMPDEST
000014aa: PUSH1 0x40
000014ac: MSTORE
000014ad: DUP3
000014ae: MLOAD
000014af: PUSH2 0x14b7
000014b2: DUP2
000014b3: PUSH2 0x111b
000014b6: JUMP
000014b7: JUMPDEST
000014b8: DUP2
000014b9: MSTORE
000014ba: PUSH1 0x20
000014bc: DUP4
000014bd: DUP2
000014be: ADD
000014bf: MLOAD
000014c0: SWAP1
000014c1: DUP3
000014c2: ADD
000014c3: MSTORE
000014c4: PUSH1 0x40
000014c6: DUP4
000014c7: ADD
000014c8: MLOAD
000014c9: PUSH2 0x14d1
000014cc: DUP2
000014cd: PUSH2 0x117d
000014d0: JUMP
000014d1: JUMPDEST
000014d2: PUSH1 0x40
000014d4: DUP3
000014d5: ADD
000014d6: MSTORE
000014d7: PUSH1 0x60
000014d9: DUP4
000014da: ADD
000014db: MLOAD
000014dc: PUSH2 0x14e4
000014df: DUP2
000014e0: PUSH2 0x111b
000014e3: JUMP
000014e4: JUMPDEST
000014e5: PUSH1 0x60
000014e7: DUP3
000014e8: ADD
000014e9: MSTORE
000014ea: SWAP4
000014eb: SWAP3
000014ec: POP
000014ed: POP
000014ee: POP
000014ef: JUMP
000014f0: JUMPDEST
000014f1: PUSH1 0x01
000014f3: PUSH1 0x01
000014f5: PUSH1 0xa0
000014f7: SHL
000014f8: SUB
000014f9: SWAP3
000014fa: SWAP1
000014fb: SWAP3
000014fc: AND
000014fd: DUP3
000014fe: MSTORE
000014ff: PUSH1 0x20
00001501: DUP3
00001502: ADD
00001503: MSTORE
00001504: PUSH1 0x40
00001506: ADD
00001507: SWAP1
00001508: JUMP
00001509: JUMPDEST
0000150a: PUSH1 0x00
0000150c: PUSH1 0x20
0000150e: DUP3
0000150f: DUP5
00001510: SUB
00001511: SLT
00001512: ISZERO
00001513: PUSH2 0x151b
00001516: JUMPI
00001517: PUSH1 0x00
00001519: DUP1
0000151a: REVERT
0000151b: JUMPDEST
0000151c: DUP2
0000151d: MLOAD
0000151e: PUSH2 0x0507
00001521: DUP2
00001522: PUSH2 0x10cd
00001525: JUMP
00001526: JUMPDEST
00001527: PUSH1 0x00
00001529: DUP3
0000152a: MLOAD
0000152b: PUSH1 0x00
0000152d: JUMPDEST
0000152e: DUP2
0000152f: DUP2
00001530: LT
00001531: ISZERO
00001532: PUSH2 0x1547
00001535: JUMPI
00001536: PUSH1 0x20
00001538: DUP2
00001539: DUP7
0000153a: ADD
0000153b: DUP2
0000153c: ADD
0000153d: MLOAD
0000153e: DUP6
0000153f: DUP4
00001540: ADD
00001541: MSTORE
00001542: ADD
00001543: PUSH2 0x152d
00001546: JUMP
00001547: JUMPDEST
00001548: POP
00001549: PUSH1 0x00
0000154b: SWAP3
0000154c: ADD
0000154d: SWAP2
0000154e: DUP3
0000154f: MSTORE
00001550: POP
00001551: SWAP2
00001552: SWAP1
00001553: POP
00001554: JUMP
00001555: INVALID
00001556: LOG2
00001557: PUSH5 0x6970667358
0000155d: UNKNOWN(0x22)
0000155e: SLT
0000155f: KECCAK256
00001560: UNKNOWN(0xB3)
00001561: AND
00001562: ISZERO
00001563: UNKNOWN(0xBB)
00001564: UNKNOWN(0xDB)
00001565: EXTCODEHASH
00001566: SWAP9
00001567: UNKNOWN(0xE4)
00001568: SWAP2
00001569: PUSH32 0x8b4213c1ffda8c32a54c7068f6fce4beeb93786722c964736f6c634300081400
0000158a: CALLER