Analysis Run

[codex:1287269] OpenAI Codex v0.77.0 (research preview)
[codex:1287269] --------
[codex:1287269] workdir: /tmp/codex-multi-89gkfim_
[codex:1287269] model: gpt-5.2-codex
[codex:1287269] provider: openai
[codex:1287269] approval: never
[codex:1287269] sandbox: read-only
[codex:1287269] reasoning effort: xhigh
[codex:1287269] reasoning summaries: auto
[codex:1287269] session id: 019b87b5-0242-7fb2-bd35-765711576b90
[codex:1287269] --------
[codex:1287269] user
[codex:1287269] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:1287269] 
[codex:1287269] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:1287269] 
[codex:1287269] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:1287269] - Gas inefficiency, code quality, naming, or best practices
[codex:1287269] - Theoretical vulnerabilities without a clear extraction path
[codex:1287269] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:1287269] - Front-running unless it enables theft beyond MEV
[codex:1287269] - DoS, griefing, or issues that don't result in attacker profit
[codex:1287269] - Missing events, view function issues, or informational findings
[codex:1287269] 
[codex:1287269] HIGH-VALUE PATTERNS TO HUNT:
[codex:1287269] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:1287269] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:1287269] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:1287269] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:1287269] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:1287269] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:1287269] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:1287269] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:1287269] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:1287269] 
[codex:1287269] For each finding, you MUST provide:
[codex:1287269] 1. Exact file and line numbers of vulnerable code
[codex:1287269] 2. Step-by-step exploit transaction sequence
[codex:1287269] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:1287269] 
[codex:1287269] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:1287269] 
[codex:1287269] Output MUST be valid JSON matching the provided schema.
[codex:1287269] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:1287269] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:1287269] mcp startup: no servers
[codex:1287269] 
[codex:1287269] thinking
[codex:1287269] **Reading AUDIT_BUNDLE file**
[codex:1287269] exec
[codex:1287269] /bin/bash -lc ls in /tmp/codex-multi-89gkfim_ succeeded in 7ms:
[codex:1287269] AUDIT_BUNDLE.txt
[codex:1287269] codex-output-schema.json
[codex:1287269] contracts
[codex:1287269] exec
[codex:1287269] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-89gkfim_ succeeded in 5ms:
[codex:1287269] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:1287269] 
[codex:1287269] ================================================================================
[codex:1287269] FILE: contracts/src/MFv1Composter.sol
[codex:1287269] ================================================================================
[codex:1287269] // SPDX-License-Identifier: MIT
[codex:1287269] pragma solidity ^0.8.20;
[codex:1287269] 
[codex:1287269] // ---------------- ETH REDEMPTION CONTRACT (MAINNET) ----------------
[codex:1287269] import "@openzeppelin/contracts/token/ERC20/IERC20.sol";
[codex:1287269] import "@openzeppelin/contracts/access/Ownable.sol";
[codex:1287269] import "@openzeppelin/contracts/utils/ReentrancyGuard.sol";
[codex:1287269] import "@openzeppelin/contracts/utils/Pausable.sol";
[codex:1287269] import "@openzeppelin/contracts/utils/Strings.sol";
[codex:1287269] 
[codex:1287269] /**
[codex:1287269]  * @title MetaFactoryV1Composter
[codex:1287269]  * @dev Contract for MetaFactory DAO v1 to v2 transition
[codex:1287269]  * Allows ROBOT token holders to compost (i.e. send to dead address) their tokens for ETH
[codex:1287269]  */
[codex:1287269] 
[codex:1287269] 
[codex:1287269] thinking
[codex:1287269] **Analyzing redemption contract for exploits**
[codex:1287269] thinking
[codex:1287269] **Evaluating token minting impact on redemption**
[codex:1287269] 
[codex:1287269] I'm considering if the attacker could mint new tokens after activation to redeem excessive ETH, but without evidence that the token is mintable by attackers or open to inflation, this remains hypothetical and unlikely to be a direct exploit here. I'll check for any other relevant files just to be sure.
[codex:1287269] exec
[codex:1287269] /bin/bash -lc 'rg --files' in /tmp/codex-multi-89gkfim_ succeeded in 9ms:
[codex:1287269] codex-output-schema.json
[codex:1287269] AUDIT_BUNDLE.txt
[codex:1287269] contracts/src/MFv1Composter.sol
[codex:1287269] contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/access/Ownable.sol
[codex:1287269] contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/token/ERC20/IERC20.sol
[codex:1287269] contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/Panic.sol
[codex:1287269] contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/Context.sol
[codex:1287269] contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/Pausable.sol
[codex:1287269] contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/Strings.sol
[codex:1287269] contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/ReentrancyGuard.sol
[codex:1287269] contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/math/SafeCast.sol
[codex:1287269] contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/math/SignedMath.sol
[codex:1287269] contracts/lib/openzeppelin-contracts-upgradeable/lib/openzeppelin-contracts/contracts/utils/math/Math.sol
[codex:1287269] 
[codex:1287269] thinking
[codex:1287269] **Preparing final JSON response**
[codex:1287269] codex
[codex:1287269] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs found in the provided contract.","findings":[]}
[codex:1287269] tokens used
[codex:1287269] 10,941
[codex:1287269] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH/tokens/NFTs found in the provided contract.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-04T06:33:51.710528+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs found in the provided contract.",
    "raw_final": {
        "summary": "No concrete, exploitable paths to extract ETH/tokens/NFTs found in the provided contract.",
        "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 0x0129
0000000c: JUMPI
0000000d: PUSH0
0000000e: CALLDATALOAD
0000000f: PUSH1 0xe0
00000011: SHR
00000012: DUP1
00000013: PUSH4 0x76074b35
00000018: GT
00000019: PUSH2 0x00aa
0000001c: JUMPI
0000001d: DUP1
0000001e: PUSH4 0x94f820c4
00000023: GT
00000024: PUSH2 0x006e
00000027: JUMPI
00000028: DUP1
00000029: PUSH4 0x94f820c4
0000002e: EQ
0000002f: PUSH2 0x0367
00000032: JUMPI
00000033: DUP1
00000034: PUSH4 0xb1764071
00000039: EQ
0000003a: PUSH2 0x038f
0000003d: JUMPI
0000003e: DUP1
0000003f: PUSH4 0xb8520cec
00000044: EQ
00000045: PUSH2 0x03b7
00000048: JUMPI
00000049: DUP1
0000004a: PUSH4 0xd2d562a4
0000004f: EQ
00000050: PUSH2 0x03e1
00000053: JUMPI
00000054: DUP1
00000055: PUSH4 0xe9f26abc
0000005a: EQ
0000005b: PUSH2 0x040b
0000005e: JUMPI
0000005f: DUP1
00000060: PUSH4 0xf2fde38b
00000065: EQ
00000066: PUSH2 0x0435
00000069: JUMPI
0000006a: PUSH2 0x0129
0000006d: JUMP
0000006e: JUMPDEST
0000006f: DUP1
00000070: PUSH4 0x76074b35
00000075: EQ
00000076: PUSH2 0x02ab
00000079: JUMPI
0000007a: DUP1
0000007b: PUSH4 0x8d044c06
00000080: EQ
00000081: PUSH2 0x02e7
00000084: JUMPI
00000085: DUP1
00000086: PUSH4 0x8da5cb5b
0000008b: EQ
0000008c: PUSH2 0x02fd
0000008f: JUMPI
00000090: DUP1
00000091: PUSH4 0x92bccb80
00000096: EQ
00000097: PUSH2 0x0327
0000009a: JUMPI
0000009b: DUP1
0000009c: PUSH4 0x9358928b
000000a1: EQ
000000a2: PUSH2 0x033d
000000a5: JUMPI
000000a6: PUSH2 0x0129
000000a9: JUMP
000000aa: JUMPDEST
000000ab: DUP1
000000ac: PUSH4 0x5c975abb
000000b1: GT
000000b2: PUSH2 0x00f1
000000b5: JUMPI
000000b6: DUP1
000000b7: PUSH4 0x5c975abb
000000bc: EQ
000000bd: PUSH2 0x01c9
000000c0: JUMPI
000000c1: DUP1
000000c2: PUSH4 0x5ff17d7c
000000c7: EQ
000000c8: PUSH2 0x01f3
000000cb: JUMPI
000000cc: DUP1
000000cd: PUSH4 0x619a3098
000000d2: EQ
000000d3: PUSH2 0x022f
000000d6: JUMPI
000000d7: DUP1
000000d8: PUSH4 0x6bf9ed59
000000dd: EQ
000000de: PUSH2 0x026b
000000e1: JUMPI
000000e2: DUP1
000000e3: PUSH4 0x715018a6
000000e8: EQ
000000e9: PUSH2 0x0295
000000ec: JUMPI
000000ed: PUSH2 0x0129
000000f0: JUMP
000000f1: JUMPDEST
000000f2: DUP1
000000f3: PUSH4 0x0434bfbc
000000f8: EQ
000000f9: PUSH2 0x012d
000000fc: JUMPI
000000fd: DUP1
000000fe: PUSH4 0x25e16063
00000103: EQ
00000104: PUSH2 0x0143
00000107: JUMPI
00000108: DUP1
00000109: PUSH4 0x281155ba
0000010e: EQ
0000010f: PUSH2 0x016b
00000112: JUMPI
00000113: DUP1
00000114: PUSH4 0x39c5f434
00000119: EQ
0000011a: PUSH2 0x0175
0000011d: JUMPI
0000011e: DUP1
0000011f: PUSH4 0x4e6fd6c4
00000124: EQ
00000125: PUSH2 0x019f
00000128: JUMPI
00000129: JUMPDEST
0000012a: PUSH0
0000012b: DUP1
0000012c: REVERT
0000012d: JUMPDEST
0000012e: CALLVALUE
0000012f: DUP1
00000130: ISZERO
00000131: PUSH2 0x0138
00000134: JUMPI
00000135: PUSH0
00000136: DUP1
00000137: REVERT
00000138: JUMPDEST
00000139: POP
0000013a: PUSH2 0x0141
0000013d: PUSH2 0x045d
00000140: JUMP
00000141: JUMPDEST
00000142: STOP
00000143: JUMPDEST
00000144: CALLVALUE
00000145: DUP1
00000146: ISZERO
00000147: PUSH2 0x014e
0000014a: JUMPI
0000014b: PUSH0
0000014c: DUP1
0000014d: REVERT
0000014e: JUMPDEST
0000014f: POP
00000150: PUSH2 0x0169
00000153: PUSH1 0x04
00000155: DUP1
00000156: CALLDATASIZE
00000157: SUB
00000158: DUP2
00000159: ADD
0000015a: SWAP1
0000015b: PUSH2 0x0164
0000015e: SWAP2
0000015f: SWAP1
00000160: PUSH2 0x144b
00000163: JUMP
00000164: JUMPDEST
00000165: PUSH2 0x0568
00000168: JUMP
00000169: JUMPDEST
0000016a: STOP
0000016b: JUMPDEST
0000016c: PUSH2 0x0173
0000016f: PUSH2 0x0795
00000172: JUMP
00000173: JUMPDEST
00000174: STOP
00000175: JUMPDEST
00000176: CALLVALUE
00000177: DUP1
00000178: ISZERO
00000179: PUSH2 0x0180
0000017c: JUMPI
0000017d: PUSH0
0000017e: DUP1
0000017f: REVERT
00000180: JUMPDEST
00000181: POP
00000182: PUSH2 0x0189
00000185: PUSH2 0x0841
00000188: JUMP
00000189: JUMPDEST
0000018a: PUSH1 0x40
0000018c: MLOAD
0000018d: PUSH2 0x0196
00000190: SWAP2
00000191: SWAP1
00000192: PUSH2 0x14d1
00000195: JUMP
00000196: JUMPDEST
00000197: PUSH1 0x40
00000199: MLOAD
0000019a: DUP1
0000019b: SWAP2
0000019c: SUB
0000019d: SWAP1
0000019e: RETURN
0000019f: JUMPDEST
000001a0: CALLVALUE
000001a1: DUP1
000001a2: ISZERO
000001a3: PUSH2 0x01aa
000001a6: JUMPI
000001a7: PUSH0
000001a8: DUP1
000001a9: REVERT
000001aa: JUMPDEST
000001ab: POP
000001ac: PUSH2 0x01b3
000001af: PUSH2 0x0867
000001b2: JUMP
000001b3: JUMPDEST
000001b4: PUSH1 0x40
000001b6: MLOAD
000001b7: PUSH2 0x01c0
000001ba: SWAP2
000001bb: SWAP1
000001bc: PUSH2 0x14f9
000001bf: JUMP
000001c0: JUMPDEST
000001c1: PUSH1 0x40
000001c3: MLOAD
000001c4: DUP1
000001c5: SWAP2
000001c6: SUB
000001c7: SWAP1
000001c8: RETURN
000001c9: JUMPDEST
000001ca: CALLVALUE
000001cb: DUP1
000001cc: ISZERO
000001cd: PUSH2 0x01d4
000001d0: JUMPI
000001d1: PUSH0
000001d2: DUP1
000001d3: REVERT
000001d4: JUMPDEST
000001d5: POP
000001d6: PUSH2 0x01dd
000001d9: PUSH2 0x086d
000001dc: JUMP
000001dd: JUMPDEST
000001de: PUSH1 0x40
000001e0: MLOAD
000001e1: PUSH2 0x01ea
000001e4: SWAP2
000001e5: SWAP1
000001e6: PUSH2 0x152c
000001e9: JUMP
000001ea: JUMPDEST
000001eb: PUSH1 0x40
000001ed: MLOAD
000001ee: DUP1
000001ef: SWAP2
000001f0: SUB
000001f1: SWAP1
000001f2: RETURN
000001f3: JUMPDEST
000001f4: CALLVALUE
000001f5: DUP1
000001f6: ISZERO
000001f7: PUSH2 0x01fe
000001fa: JUMPI
000001fb: PUSH0
000001fc: DUP1
000001fd: REVERT
000001fe: JUMPDEST
000001ff: POP
00000200: PUSH2 0x0219
00000203: PUSH1 0x04
00000205: DUP1
00000206: CALLDATASIZE
00000207: SUB
00000208: DUP2
00000209: ADD
0000020a: SWAP1
0000020b: PUSH2 0x0214
0000020e: SWAP2
0000020f: SWAP1
00000210: PUSH2 0x144b
00000213: JUMP
00000214: JUMPDEST
00000215: PUSH2 0x0882
00000218: JUMP
00000219: JUMPDEST
0000021a: PUSH1 0x40
0000021c: MLOAD
0000021d: PUSH2 0x0226
00000220: SWAP2
00000221: SWAP1
00000222: PUSH2 0x155d
00000225: JUMP
00000226: JUMPDEST
00000227: PUSH1 0x40
00000229: MLOAD
0000022a: DUP1
0000022b: SWAP2
0000022c: SUB
0000022d: SWAP1
0000022e: RETURN
0000022f: JUMPDEST
00000230: CALLVALUE
00000231: DUP1
00000232: ISZERO
00000233: PUSH2 0x023a
00000236: JUMPI
00000237: PUSH0
00000238: DUP1
00000239: REVERT
0000023a: JUMPDEST
0000023b: POP
0000023c: PUSH2 0x0255
0000023f: PUSH1 0x04
00000241: DUP1
00000242: CALLDATASIZE
00000243: SUB
00000244: DUP2
00000245: ADD
00000246: SWAP1
00000247: PUSH2 0x0250
0000024a: SWAP2
0000024b: SWAP1
0000024c: PUSH2 0x144b
0000024f: JUMP
00000250: JUMPDEST
00000251: PUSH2 0x08c8
00000254: JUMP
00000255: JUMPDEST
00000256: PUSH1 0x40
00000258: MLOAD
00000259: PUSH2 0x0262
0000025c: SWAP2
0000025d: SWAP1
0000025e: PUSH2 0x155d
00000261: JUMP
00000262: JUMPDEST
00000263: PUSH1 0x40
00000265: MLOAD
00000266: DUP1
00000267: SWAP2
00000268: SUB
00000269: SWAP1
0000026a: RETURN
0000026b: JUMPDEST
0000026c: CALLVALUE
0000026d: DUP1
0000026e: ISZERO
0000026f: PUSH2 0x0276
00000272: JUMPI
00000273: PUSH0
00000274: DUP1
00000275: REVERT
00000276: JUMPDEST
00000277: POP
00000278: PUSH2 0x027f
0000027b: PUSH2 0x08dd
0000027e: JUMP
0000027f: JUMPDEST
00000280: PUSH1 0x40
00000282: MLOAD
00000283: PUSH2 0x028c
00000286: SWAP2
00000287: SWAP1
00000288: PUSH2 0x155d
0000028b: JUMP
0000028c: JUMPDEST
0000028d: PUSH1 0x40
0000028f: MLOAD
00000290: DUP1
00000291: SWAP2
00000292: SUB
00000293: SWAP1
00000294: RETURN
00000295: JUMPDEST
00000296: CALLVALUE
00000297: DUP1
00000298: ISZERO
00000299: PUSH2 0x02a0
0000029c: JUMPI
0000029d: PUSH0
0000029e: DUP1
0000029f: REVERT
000002a0: JUMPDEST
000002a1: POP
000002a2: PUSH2 0x02a9
000002a5: PUSH2 0x08e3
000002a8: JUMP
000002a9: JUMPDEST
000002aa: STOP
000002ab: JUMPDEST
000002ac: CALLVALUE
000002ad: DUP1
000002ae: ISZERO
000002af: PUSH2 0x02b6
000002b2: JUMPI
000002b3: PUSH0
000002b4: DUP1
000002b5: REVERT
000002b6: JUMPDEST
000002b7: POP
000002b8: PUSH2 0x02d1
000002bb: PUSH1 0x04
000002bd: DUP1
000002be: CALLDATASIZE
000002bf: SUB
000002c0: DUP2
000002c1: ADD
000002c2: SWAP1
000002c3: PUSH2 0x02cc
000002c6: SWAP2
000002c7: SWAP1
000002c8: PUSH2 0x15a0
000002cb: JUMP
000002cc: JUMPDEST
000002cd: PUSH2 0x08f6
000002d0: JUMP
000002d1: JUMPDEST
000002d2: PUSH1 0x40
000002d4: MLOAD
000002d5: PUSH2 0x02de
000002d8: SWAP2
000002d9: SWAP1
000002da: PUSH2 0x155d
000002dd: JUMP
000002de: JUMPDEST
000002df: PUSH1 0x40
000002e1: MLOAD
000002e2: DUP1
000002e3: SWAP2
000002e4: SUB
000002e5: SWAP1
000002e6: RETURN
000002e7: JUMPDEST
000002e8: CALLVALUE
000002e9: DUP1
000002ea: ISZERO
000002eb: PUSH2 0x02f2
000002ee: JUMPI
000002ef: PUSH0
000002f0: DUP1
000002f1: REVERT
000002f2: JUMPDEST
000002f3: POP
000002f4: PUSH2 0x02fb
000002f7: PUSH2 0x0919
000002fa: JUMP
000002fb: JUMPDEST
000002fc: STOP
000002fd: JUMPDEST
000002fe: CALLVALUE
000002ff: DUP1
00000300: ISZERO
00000301: PUSH2 0x0308
00000304: JUMPI
00000305: PUSH0
00000306: DUP1
00000307: REVERT
00000308: JUMPDEST
00000309: POP
0000030a: PUSH2 0x0311
0000030d: PUSH2 0x09c5
00000310: JUMP
00000311: JUMPDEST
00000312: PUSH1 0x40
00000314: MLOAD
00000315: PUSH2 0x031e
00000318: SWAP2
00000319: SWAP1
0000031a: PUSH2 0x14f9
0000031d: JUMP
0000031e: JUMPDEST
0000031f: PUSH1 0x40
00000321: MLOAD
00000322: DUP1
00000323: SWAP2
00000324: SUB
00000325: SWAP1
00000326: RETURN
00000327: JUMPDEST
00000328: CALLVALUE
00000329: DUP1
0000032a: ISZERO
0000032b: PUSH2 0x0332
0000032e: JUMPI
0000032f: PUSH0
00000330: DUP1
00000331: REVERT
00000332: JUMPDEST
00000333: POP
00000334: PUSH2 0x033b
00000337: PUSH2 0x09ec
0000033a: JUMP
0000033b: JUMPDEST
0000033c: STOP
0000033d: JUMPDEST
0000033e: CALLVALUE
0000033f: DUP1
00000340: ISZERO
00000341: PUSH2 0x0348
00000344: JUMPI
00000345: PUSH0
00000346: DUP1
00000347: REVERT
00000348: JUMPDEST
00000349: POP
0000034a: PUSH2 0x0351
0000034d: PUSH2 0x0a06
00000350: JUMP
00000351: JUMPDEST
00000352: PUSH1 0x40
00000354: MLOAD
00000355: PUSH2 0x035e
00000358: SWAP2
00000359: SWAP1
0000035a: PUSH2 0x155d
0000035d: JUMP
0000035e: JUMPDEST
0000035f: PUSH1 0x40
00000361: MLOAD
00000362: DUP1
00000363: SWAP2
00000364: SUB
00000365: SWAP1
00000366: RETURN
00000367: JUMPDEST
00000368: CALLVALUE
00000369: DUP1
0000036a: ISZERO
0000036b: PUSH2 0x0372
0000036e: JUMPI
0000036f: PUSH0
00000370: DUP1
00000371: REVERT
00000372: JUMPDEST
00000373: POP
00000374: PUSH2 0x038d
00000377: PUSH1 0x04
00000379: DUP1
0000037a: CALLDATASIZE
0000037b: SUB
0000037c: DUP2
0000037d: ADD
0000037e: SWAP1
0000037f: PUSH2 0x0388
00000382: SWAP2
00000383: SWAP1
00000384: PUSH2 0x15cb
00000387: JUMP
00000388: JUMPDEST
00000389: PUSH2 0x0a0c
0000038c: JUMP
0000038d: JUMPDEST
0000038e: STOP
0000038f: JUMPDEST
00000390: CALLVALUE
00000391: DUP1
00000392: ISZERO
00000393: PUSH2 0x039a
00000396: JUMPI
00000397: PUSH0
00000398: DUP1
00000399: REVERT
0000039a: JUMPDEST
0000039b: POP
0000039c: PUSH2 0x03b5
0000039f: PUSH1 0x04
000003a1: DUP1
000003a2: CALLDATASIZE
000003a3: SUB
000003a4: DUP2
000003a5: ADD
000003a6: SWAP1
000003a7: PUSH2 0x03b0
000003aa: SWAP2
000003ab: SWAP1
000003ac: PUSH2 0x15a0
000003af: JUMP
000003b0: JUMPDEST
000003b1: PUSH2 0x0ea2
000003b4: JUMP
000003b5: JUMPDEST
000003b6: STOP
000003b7: JUMPDEST
000003b8: CALLVALUE
000003b9: DUP1
000003ba: ISZERO
000003bb: PUSH2 0x03c2
000003be: JUMPI
000003bf: PUSH0
000003c0: DUP1
000003c1: REVERT
000003c2: JUMPDEST
000003c3: POP
000003c4: PUSH2 0x03cb
000003c7: PUSH2 0x104d
000003ca: JUMP
000003cb: JUMPDEST
000003cc: PUSH1 0x40
000003ce: MLOAD
000003cf: PUSH2 0x03d8
000003d2: SWAP2
000003d3: SWAP1
000003d4: PUSH2 0x152c
000003d7: JUMP
000003d8: JUMPDEST
000003d9: PUSH1 0x40
000003db: MLOAD
000003dc: DUP1
000003dd: SWAP2
000003de: SUB
000003df: SWAP1
000003e0: RETURN
000003e1: JUMPDEST
000003e2: CALLVALUE
000003e3: DUP1
000003e4: ISZERO
000003e5: PUSH2 0x03ec
000003e8: JUMPI
000003e9: PUSH0
000003ea: DUP1
000003eb: REVERT
000003ec: JUMPDEST
000003ed: POP
000003ee: PUSH2 0x03f5
000003f1: PUSH2 0x105f
000003f4: JUMP
000003f5: JUMPDEST
000003f6: PUSH1 0x40
000003f8: MLOAD
000003f9: PUSH2 0x0402
000003fc: SWAP2
000003fd: SWAP1
000003fe: PUSH2 0x155d
00000401: JUMP
00000402: JUMPDEST
00000403: PUSH1 0x40
00000405: MLOAD
00000406: DUP1
00000407: SWAP2
00000408: SUB
00000409: SWAP1
0000040a: RETURN
0000040b: JUMPDEST
0000040c: CALLVALUE
0000040d: DUP1
0000040e: ISZERO
0000040f: PUSH2 0x0416
00000412: JUMPI
00000413: PUSH0
00000414: DUP1
00000415: REVERT
00000416: JUMPDEST
00000417: POP
00000418: PUSH2 0x041f
0000041b: PUSH2 0x1065
0000041e: JUMP
0000041f: JUMPDEST
00000420: PUSH1 0x40
00000422: MLOAD
00000423: PUSH2 0x042c
00000426: SWAP2
00000427: SWAP1
00000428: PUSH2 0x152c
0000042b: JUMP
0000042c: JUMPDEST
0000042d: PUSH1 0x40
0000042f: MLOAD
00000430: DUP1
00000431: SWAP2
00000432: SUB
00000433: SWAP1
00000434: RETURN
00000435: JUMPDEST
00000436: CALLVALUE
00000437: DUP1
00000438: ISZERO
00000439: PUSH2 0x0440
0000043c: JUMPI
0000043d: PUSH0
0000043e: DUP1
0000043f: REVERT
00000440: JUMPDEST
00000441: POP
00000442: PUSH2 0x045b
00000445: PUSH1 0x04
00000447: DUP1
00000448: CALLDATASIZE
00000449: SUB
0000044a: DUP2
0000044b: ADD
0000044c: SWAP1
0000044d: PUSH2 0x0456
00000450: SWAP2
00000451: SWAP1
00000452: PUSH2 0x144b
00000455: JUMP
00000456: JUMPDEST
00000457: PUSH2 0x1087
0000045a: JUMP
0000045b: JUMPDEST
0000045c: STOP
0000045d: JUMPDEST
0000045e: PUSH2 0x0465
00000461: PUSH2 0x110b
00000464: JUMP
00000465: JUMPDEST
00000466: PUSH2 0x046d
00000469: PUSH2 0x1192
0000046c: JUMP
0000046d: JUMPDEST
0000046e: PUSH0
0000046f: PUSH1 0x03
00000471: SLOAD
00000472: GT
00000473: PUSH2 0x04b1
00000476: JUMPI
00000477: PUSH1 0x40
00000479: MLOAD
0000047a: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000049b: DUP2
0000049c: MSTORE
0000049d: PUSH1 0x04
0000049f: ADD
000004a0: PUSH2 0x04a8
000004a3: SWAP1
000004a4: PUSH2 0x1663
000004a7: JUMP
000004a8: JUMPDEST
000004a9: PUSH1 0x40
000004ab: MLOAD
000004ac: DUP1
000004ad: SWAP2
000004ae: SUB
000004af: SWAP1
000004b0: REVERT
000004b1: JUMPDEST
000004b2: PUSH0
000004b3: PUSH1 0x04
000004b5: SLOAD
000004b6: GT
000004b7: PUSH2 0x04f5
000004ba: JUMPI
000004bb: PUSH1 0x40
000004bd: MLOAD
000004be: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000004df: DUP2
000004e0: MSTORE
000004e1: PUSH1 0x04
000004e3: ADD
000004e4: PUSH2 0x04ec
000004e7: SWAP1
000004e8: PUSH2 0x16cb
000004eb: JUMP
000004ec: JUMPDEST
000004ed: PUSH1 0x40
000004ef: MLOAD
000004f0: DUP1
000004f1: SWAP2
000004f2: SUB
000004f3: SWAP1
000004f4: REVERT
000004f5: JUMPDEST
000004f6: PUSH1 0x01
000004f8: PUSH1 0x07
000004fa: PUSH0
000004fb: PUSH2 0x0100
000004fe: EXP
000004ff: DUP2
00000500: SLOAD
00000501: DUP2
00000502: PUSH1 0xff
00000504: MUL
00000505: NOT
00000506: AND
00000507: SWAP1
00000508: DUP4
00000509: ISZERO
0000050a: ISZERO
0000050b: MUL
0000050c: OR
0000050d: SWAP1
0000050e: SSTORE
0000050f: POP
00000510: PUSH4 0x01e13380
00000515: TIMESTAMP
00000516: PUSH2 0x051f
00000519: SWAP2
0000051a: SWAP1
0000051b: PUSH2 0x1716
0000051e: JUMP
0000051f: JUMPDEST
00000520: PUSH1 0x06
00000522: DUP2
00000523: SWAP1
00000524: SSTORE
00000525: POP
00000526: PUSH32 0x4c67bda6d80af2a8e879e8df18fbda2cf6df45ff7958d9e6bb55f522ea476629
00000547: PUSH1 0x06
00000549: SLOAD
0000054a: PUSH1 0x40
0000054c: MLOAD
0000054d: PUSH2 0x0556
00000550: SWAP2
00000551: SWAP1
00000552: PUSH2 0x155d
00000555: JUMP
00000556: JUMPDEST
00000557: PUSH1 0x40
00000559: MLOAD
0000055a: DUP1
0000055b: SWAP2
0000055c: SUB
0000055d: SWAP1
0000055e: LOG1
0000055f: PUSH2 0x0566
00000562: PUSH2 0x11d2
00000565: JUMP
00000566: JUMPDEST
00000567: JUMP
00000568: JUMPDEST
00000569: PUSH2 0x0570
0000056c: PUSH2 0x110b
0000056f: JUMP
00000570: JUMPDEST
00000571: PUSH0
00000572: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000587: AND
00000588: DUP2
00000589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000059e: AND
0000059f: SUB
000005a0: PUSH2 0x05de
000005a3: JUMPI
000005a4: PUSH1 0x40
000005a6: MLOAD
000005a7: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005c8: DUP2
000005c9: MSTORE
000005ca: PUSH1 0x04
000005cc: ADD
000005cd: PUSH2 0x05d5
000005d0: SWAP1
000005d1: PUSH2 0x1793
000005d4: JUMP
000005d5: JUMPDEST
000005d6: PUSH1 0x40
000005d8: MLOAD
000005d9: DUP1
000005da: SWAP2
000005db: SUB
000005dc: SWAP1
000005dd: REVERT
000005de: JUMPDEST
000005df: PUSH1 0x07
000005e1: PUSH0
000005e2: SWAP1
000005e3: SLOAD
000005e4: SWAP1
000005e5: PUSH2 0x0100
000005e8: EXP
000005e9: SWAP1
000005ea: DIV
000005eb: PUSH1 0xff
000005ed: AND
000005ee: ISZERO
000005ef: DUP1
000005f0: PUSH2 0x05fa
000005f3: JUMPI
000005f4: POP
000005f5: PUSH1 0x06
000005f7: SLOAD
000005f8: TIMESTAMP
000005f9: GT
000005fa: JUMPDEST
000005fb: PUSH2 0x0639
000005fe: JUMPI
000005ff: PUSH1 0x40
00000601: MLOAD
00000602: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000623: DUP2
00000624: MSTORE
00000625: PUSH1 0x04
00000627: ADD
00000628: PUSH2 0x0630
0000062b: SWAP1
0000062c: PUSH2 0x1821
0000062f: JUMP
00000630: JUMPDEST
00000631: PUSH1 0x40
00000633: MLOAD
00000634: DUP1
00000635: SWAP2
00000636: SUB
00000637: SWAP1
00000638: REVERT
00000639: JUMPDEST
0000063a: PUSH0
0000063b: SELFBALANCE
0000063c: SWAP1
0000063d: POP
0000063e: PUSH0
0000063f: DUP2
00000640: GT
00000641: PUSH2 0x067f
00000644: JUMPI
00000645: PUSH1 0x40
00000647: MLOAD
00000648: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000669: DUP2
0000066a: MSTORE
0000066b: PUSH1 0x04
0000066d: ADD
0000066e: PUSH2 0x0676
00000671: SWAP1
00000672: PUSH2 0x1889
00000675: JUMP
00000676: JUMPDEST
00000677: PUSH1 0x40
00000679: MLOAD
0000067a: DUP1
0000067b: SWAP2
0000067c: SUB
0000067d: SWAP1
0000067e: REVERT
0000067f: JUMPDEST
00000680: PUSH0
00000681: DUP3
00000682: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000697: AND
00000698: DUP3
00000699: PUSH1 0x40
0000069b: MLOAD
0000069c: PUSH2 0x06a4
0000069f: SWAP1
000006a0: PUSH2 0x18d4
000006a3: JUMP
000006a4: JUMPDEST
000006a5: PUSH0
000006a6: PUSH1 0x40
000006a8: MLOAD
000006a9: DUP1
000006aa: DUP4
000006ab: SUB
000006ac: DUP2
000006ad: DUP6
000006ae: DUP8
000006af: GAS
000006b0: CALL
000006b1: SWAP3
000006b2: POP
000006b3: POP
000006b4: POP
000006b5: RETURNDATASIZE
000006b6: DUP1
000006b7: PUSH0
000006b8: DUP2
000006b9: EQ
000006ba: PUSH2 0x06de
000006bd: JUMPI
000006be: PUSH1 0x40
000006c0: MLOAD
000006c1: SWAP2
000006c2: POP
000006c3: PUSH1 0x1f
000006c5: NOT
000006c6: PUSH1 0x3f
000006c8: RETURNDATASIZE
000006c9: ADD
000006ca: AND
000006cb: DUP3
000006cc: ADD
000006cd: PUSH1 0x40
000006cf: MSTORE
000006d0: RETURNDATASIZE
000006d1: DUP3
000006d2: MSTORE
000006d3: RETURNDATASIZE
000006d4: PUSH0
000006d5: PUSH1 0x20
000006d7: DUP5
000006d8: ADD
000006d9: RETURNDATACOPY
000006da: PUSH2 0x06e3
000006dd: JUMP
000006de: JUMPDEST
000006df: PUSH1 0x60
000006e1: SWAP2
000006e2: POP
000006e3: JUMPDEST
000006e4: POP
000006e5: POP
000006e6: SWAP1
000006e7: POP
000006e8: DUP1
000006e9: PUSH2 0x0727
000006ec: JUMPI
000006ed: PUSH1 0x40
000006ef: MLOAD
000006f0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000711: DUP2
00000712: MSTORE
00000713: PUSH1 0x04
00000715: ADD
00000716: PUSH2 0x071e
00000719: SWAP1
0000071a: PUSH2 0x1932
0000071d: JUMP
0000071e: JUMPDEST
0000071f: PUSH1 0x40
00000721: MLOAD
00000722: DUP1
00000723: SWAP2
00000724: SUB
00000725: SWAP1
00000726: REVERT
00000727: JUMPDEST
00000728: PUSH1 0x07
0000072a: PUSH0
0000072b: SWAP1
0000072c: SLOAD
0000072d: SWAP1
0000072e: PUSH2 0x0100
00000731: EXP
00000732: SWAP1
00000733: DIV
00000734: PUSH1 0xff
00000736: AND
00000737: PUSH2 0x0742
0000073a: JUMPI
0000073b: PUSH0
0000073c: PUSH1 0x03
0000073e: DUP2
0000073f: SWAP1
00000740: SSTORE
00000741: POP
00000742: JUMPDEST
00000743: DUP3
00000744: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000759: AND
0000075a: PUSH32 0x8455ae6be5d92f1df1c3c1484388e247a36c7e60d72055ae216dbc258f257d4b
0000077b: DUP4
0000077c: PUSH1 0x40
0000077e: MLOAD
0000077f: PUSH2 0x0788
00000782: SWAP2
00000783: SWAP1
00000784: PUSH2 0x155d
00000787: JUMP
00000788: JUMPDEST
00000789: PUSH1 0x40
0000078b: MLOAD
0000078c: DUP1
0000078d: SWAP2
0000078e: SUB
0000078f: SWAP1
00000790: LOG2
00000791: POP
00000792: POP
00000793: POP
00000794: JUMP
00000795: JUMPDEST
00000796: PUSH2 0x079d
00000799: PUSH2 0x110b
0000079c: JUMP
0000079d: JUMPDEST
0000079e: PUSH1 0x07
000007a0: PUSH0
000007a1: SWAP1
000007a2: SLOAD
000007a3: SWAP1
000007a4: PUSH2 0x0100
000007a7: EXP
000007a8: SWAP1
000007a9: DIV
000007aa: PUSH1 0xff
000007ac: AND
000007ad: ISZERO
000007ae: PUSH2 0x07ec
000007b1: JUMPI
000007b2: PUSH1 0x40
000007b4: MLOAD
000007b5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000007d6: DUP2
000007d7: MSTORE
000007d8: PUSH1 0x04
000007da: ADD
000007db: PUSH2 0x07e3
000007de: SWAP1
000007df: PUSH2 0x199a
000007e2: JUMP
000007e3: JUMPDEST
000007e4: PUSH1 0x40
000007e6: MLOAD
000007e7: DUP1
000007e8: SWAP2
000007e9: SUB
000007ea: SWAP1
000007eb: REVERT
000007ec: JUMPDEST
000007ed: CALLVALUE
000007ee: PUSH1 0x03
000007f0: PUSH0
000007f1: DUP3
000007f2: DUP3
000007f3: SLOAD
000007f4: PUSH2 0x07fd
000007f7: SWAP2
000007f8: SWAP1
000007f9: PUSH2 0x1716
000007fc: JUMP
000007fd: JUMPDEST
000007fe: SWAP3
000007ff: POP
00000800: POP
00000801: DUP2
00000802: SWAP1
00000803: SSTORE
00000804: POP
00000805: PUSH32 0xf5e4934928a1e45d88c7a5aa2661fe0a801ca5017922e15122d74f1880155e1a
00000826: CALLVALUE
00000827: PUSH1 0x03
00000829: SLOAD
0000082a: PUSH1 0x40
0000082c: MLOAD
0000082d: PUSH2 0x0837
00000830: SWAP3
00000831: SWAP2
00000832: SWAP1
00000833: PUSH2 0x19b8
00000836: JUMP
00000837: JUMPDEST
00000838: PUSH1 0x40
0000083a: MLOAD
0000083b: DUP1
0000083c: SWAP2
0000083d: SUB
0000083e: SWAP1
0000083f: LOG1
00000840: JUMP
00000841: JUMPDEST
00000842: PUSH1 0x02
00000844: PUSH1 0x01
00000846: SWAP1
00000847: SLOAD
00000848: SWAP1
00000849: PUSH2 0x0100
0000084c: EXP
0000084d: SWAP1
0000084e: DIV
0000084f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000864: AND
00000865: DUP2
00000866: JUMP
00000867: JUMPDEST
00000868: PUSH2 0xdead
0000086b: DUP2
0000086c: JUMP
0000086d: JUMPDEST
0000086e: PUSH0
0000086f: PUSH1 0x02
00000871: PUSH0
00000872: SWAP1
00000873: SLOAD
00000874: SWAP1
00000875: PUSH2 0x0100
00000878: EXP
00000879: SWAP1
0000087a: DIV
0000087b: PUSH1 0xff
0000087d: AND
0000087e: SWAP1
0000087f: POP
00000880: SWAP1
00000881: JUMP
00000882: JUMPDEST
00000883: PUSH0
00000884: PUSH1 0x05
00000886: PUSH0
00000887: DUP4
00000888: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000089d: AND
0000089e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000008b3: AND
000008b4: DUP2
000008b5: MSTORE
000008b6: PUSH1 0x20
000008b8: ADD
000008b9: SWAP1
000008ba: DUP2
000008bb: MSTORE
000008bc: PUSH1 0x20
000008be: ADD
000008bf: PUSH0
000008c0: KECCAK256
000008c1: SLOAD
000008c2: SWAP1
000008c3: POP
000008c4: SWAP2
000008c5: SWAP1
000008c6: POP
000008c7: JUMP
000008c8: JUMPDEST
000008c9: PUSH1 0x05
000008cb: PUSH1 0x20
000008cd: MSTORE
000008ce: DUP1
000008cf: PUSH0
000008d0: MSTORE
000008d1: PUSH1 0x40
000008d3: PUSH0
000008d4: KECCAK256
000008d5: PUSH0
000008d6: SWAP2
000008d7: POP
000008d8: SWAP1
000008d9: POP
000008da: SLOAD
000008db: DUP2
000008dc: JUMP
000008dd: JUMPDEST
000008de: PUSH1 0x06
000008e0: SLOAD
000008e1: DUP2
000008e2: JUMP
000008e3: JUMPDEST
000008e4: PUSH2 0x08eb
000008e7: PUSH2 0x110b
000008ea: JUMP
000008eb: JUMPDEST
000008ec: PUSH2 0x08f4
000008ef: PUSH0
000008f0: PUSH2 0x1233
000008f3: JUMP
000008f4: JUMPDEST
000008f5: JUMP
000008f6: JUMPDEST
000008f7: PUSH0
000008f8: PUSH1 0x04
000008fa: SLOAD
000008fb: PUSH1 0x03
000008fd: SLOAD
000008fe: DUP4
000008ff: PUSH2 0x0908
00000902: SWAP2
00000903: SWAP1
00000904: PUSH2 0x19df
00000907: JUMP
00000908: JUMPDEST
00000909: PUSH2 0x0912
0000090c: SWAP2
0000090d: SWAP1
0000090e: PUSH2 0x1a4d
00000911: JUMP
00000912: JUMPDEST
00000913: SWAP1
00000914: POP
00000915: SWAP2
00000916: SWAP1
00000917: POP
00000918: JUMP
00000919: JUMPDEST
0000091a: PUSH2 0x0921
0000091d: PUSH2 0x110b
00000920: JUMP
00000921: JUMPDEST
00000922: PUSH2 0x0929
00000925: PUSH2 0x1192
00000928: JUMP
00000929: JUMPDEST
0000092a: PUSH1 0x07
0000092c: PUSH0
0000092d: SWAP1
0000092e: SLOAD
0000092f: SWAP1
00000930: PUSH2 0x0100
00000933: EXP
00000934: SWAP1
00000935: DIV
00000936: PUSH1 0xff
00000938: AND
00000939: PUSH2 0x0977
0000093c: JUMPI
0000093d: PUSH1 0x40
0000093f: MLOAD
00000940: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000961: DUP2
00000962: MSTORE
00000963: PUSH1 0x04
00000965: ADD
00000966: PUSH2 0x096e
00000969: SWAP1
0000096a: PUSH2 0x1ac7
0000096d: JUMP
0000096e: JUMPDEST
0000096f: PUSH1 0x40
00000971: MLOAD
00000972: DUP1
00000973: SWAP2
00000974: SUB
00000975: SWAP1
00000976: REVERT
00000977: JUMPDEST
00000978: PUSH1 0x06
0000097a: SLOAD
0000097b: TIMESTAMP
0000097c: LT
0000097d: PUSH2 0x09bb
00000980: JUMPI
00000981: PUSH1 0x40
00000983: MLOAD
00000984: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000009a5: DUP2
000009a6: MSTORE
000009a7: PUSH1 0x04
000009a9: ADD
000009aa: PUSH2 0x09b2
000009ad: SWAP1
000009ae: PUSH2 0x1b2f
000009b1: JUMP
000009b2: JUMPDEST
000009b3: PUSH1 0x40
000009b5: MLOAD
000009b6: DUP1
000009b7: SWAP2
000009b8: SUB
000009b9: SWAP1
000009ba: REVERT
000009bb: JUMPDEST
000009bc: PUSH2 0x09c3
000009bf: PUSH2 0x11d2
000009c2: JUMP
000009c3: JUMPDEST
000009c4: JUMP
000009c5: JUMPDEST
000009c6: PUSH0
000009c7: DUP1
000009c8: PUSH0
000009c9: SWAP1
000009ca: SLOAD
000009cb: SWAP1
000009cc: PUSH2 0x0100
000009cf: EXP
000009d0: SWAP1
000009d1: DIV
000009d2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000009e7: AND
000009e8: SWAP1
000009e9: POP
000009ea: SWAP1
000009eb: JUMP
000009ec: JUMPDEST
000009ed: PUSH2 0x09f4
000009f0: PUSH2 0x110b
000009f3: JUMP
000009f4: JUMPDEST
000009f5: PUSH2 0x09fc
000009f8: PUSH2 0x12f4
000009fb: JUMP
000009fc: JUMPDEST
000009fd: PUSH2 0x0a04
00000a00: PUSH2 0x1335
00000a03: JUMP
00000a04: JUMPDEST
00000a05: JUMP
00000a06: JUMPDEST
00000a07: PUSH1 0x04
00000a09: SLOAD
00000a0a: DUP2
00000a0b: JUMP
00000a0c: JUMPDEST
00000a0d: PUSH2 0x0a14
00000a10: PUSH2 0x1397
00000a13: JUMP
00000a14: JUMPDEST
00000a15: PUSH2 0x0a1c
00000a18: PUSH2 0x12f4
00000a1b: JUMP
00000a1c: JUMPDEST
00000a1d: PUSH1 0x07
00000a1f: PUSH0
00000a20: SWAP1
00000a21: SLOAD
00000a22: SWAP1
00000a23: PUSH2 0x0100
00000a26: EXP
00000a27: SWAP1
00000a28: DIV
00000a29: PUSH1 0xff
00000a2b: AND
00000a2c: PUSH2 0x0a6a
00000a2f: JUMPI
00000a30: PUSH1 0x40
00000a32: MLOAD
00000a33: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a54: DUP2
00000a55: MSTORE
00000a56: PUSH1 0x04
00000a58: ADD
00000a59: PUSH2 0x0a61
00000a5c: SWAP1
00000a5d: PUSH2 0x1ac7
00000a60: JUMP
00000a61: JUMPDEST
00000a62: PUSH1 0x40
00000a64: MLOAD
00000a65: DUP1
00000a66: SWAP2
00000a67: SUB
00000a68: SWAP1
00000a69: REVERT
00000a6a: JUMPDEST
00000a6b: PUSH0
00000a6c: DUP3
00000a6d: GT
00000a6e: PUSH2 0x0aac
00000a71: JUMPI
00000a72: PUSH1 0x40
00000a74: MLOAD
00000a75: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000a96: DUP2
00000a97: MSTORE
00000a98: PUSH1 0x04
00000a9a: ADD
00000a9b: PUSH2 0x0aa3
00000a9e: SWAP1
00000a9f: PUSH2 0x1b97
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH1 0x40
00000aa6: MLOAD
00000aa7: DUP1
00000aa8: SWAP2
00000aa9: SUB
00000aaa: SWAP1
00000aab: REVERT
00000aac: JUMPDEST
00000aad: DUP2
00000aae: PUSH1 0x02
00000ab0: PUSH1 0x01
00000ab2: SWAP1
00000ab3: SLOAD
00000ab4: SWAP1
00000ab5: PUSH2 0x0100
00000ab8: EXP
00000ab9: SWAP1
00000aba: DIV
00000abb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ad0: AND
00000ad1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ae6: AND
00000ae7: PUSH4 0x70a08231
00000aec: CALLER
00000aed: PUSH1 0x40
00000aef: MLOAD
00000af0: DUP3
00000af1: PUSH4 0xffffffff
00000af6: AND
00000af7: PUSH1 0xe0
00000af9: SHL
00000afa: DUP2
00000afb: MSTORE
00000afc: PUSH1 0x04
00000afe: ADD
00000aff: PUSH2 0x0b08
00000b02: SWAP2
00000b03: SWAP1
00000b04: PUSH2 0x14f9
00000b07: JUMP
00000b08: JUMPDEST
00000b09: PUSH1 0x20
00000b0b: PUSH1 0x40
00000b0d: MLOAD
00000b0e: DUP1
00000b0f: DUP4
00000b10: SUB
00000b11: DUP2
00000b12: DUP7
00000b13: GAS
00000b14: STATICCALL
00000b15: ISZERO
00000b16: DUP1
00000b17: ISZERO
00000b18: PUSH2 0x0b23
00000b1b: JUMPI
00000b1c: RETURNDATASIZE
00000b1d: PUSH0
00000b1e: DUP1
00000b1f: RETURNDATACOPY
00000b20: RETURNDATASIZE
00000b21: PUSH0
00000b22: REVERT
00000b23: JUMPDEST
00000b24: POP
00000b25: POP
00000b26: POP
00000b27: POP
00000b28: PUSH1 0x40
00000b2a: MLOAD
00000b2b: RETURNDATASIZE
00000b2c: PUSH1 0x1f
00000b2e: NOT
00000b2f: PUSH1 0x1f
00000b31: DUP3
00000b32: ADD
00000b33: AND
00000b34: DUP3
00000b35: ADD
00000b36: DUP1
00000b37: PUSH1 0x40
00000b39: MSTORE
00000b3a: POP
00000b3b: DUP2
00000b3c: ADD
00000b3d: SWAP1
00000b3e: PUSH2 0x0b47
00000b41: SWAP2
00000b42: SWAP1
00000b43: PUSH2 0x1bc9
00000b46: JUMP
00000b47: JUMPDEST
00000b48: LT
00000b49: ISZERO
00000b4a: PUSH2 0x0b88
00000b4d: JUMPI
00000b4e: PUSH1 0x40
00000b50: MLOAD
00000b51: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000b72: DUP2
00000b73: MSTORE
00000b74: PUSH1 0x04
00000b76: ADD
00000b77: PUSH2 0x0b7f
00000b7a: SWAP1
00000b7b: PUSH2 0x1c3e
00000b7e: JUMP
00000b7f: JUMPDEST
00000b80: PUSH1 0x40
00000b82: MLOAD
00000b83: DUP1
00000b84: SWAP2
00000b85: SUB
00000b86: SWAP1
00000b87: REVERT
00000b88: JUMPDEST
00000b89: PUSH0
00000b8a: DUP1
00000b8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000ba0: AND
00000ba1: DUP3
00000ba2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000bb7: AND
00000bb8: EQ
00000bb9: PUSH2 0x0bc2
00000bbc: JUMPI
00000bbd: DUP2
00000bbe: PUSH2 0x0bc4
00000bc1: JUMP
00000bc2: JUMPDEST
00000bc3: CALLER
00000bc4: JUMPDEST
00000bc5: SWAP1
00000bc6: POP
00000bc7: PUSH0
00000bc8: PUSH1 0x04
00000bca: SLOAD
00000bcb: PUSH1 0x03
00000bcd: SLOAD
00000bce: DUP6
00000bcf: PUSH2 0x0bd8
00000bd2: SWAP2
00000bd3: SWAP1
00000bd4: PUSH2 0x19df
00000bd7: JUMP
00000bd8: JUMPDEST
00000bd9: PUSH2 0x0be2
00000bdc: SWAP2
00000bdd: SWAP1
00000bde: PUSH2 0x1a4d
00000be1: JUMP
00000be2: JUMPDEST
00000be3: SWAP1
00000be4: POP
00000be5: DUP1
00000be6: SELFBALANCE
00000be7: LT
00000be8: ISZERO
00000be9: PUSH2 0x0c27
00000bec: JUMPI
00000bed: PUSH1 0x40
00000bef: MLOAD
00000bf0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000c11: DUP2
00000c12: MSTORE
00000c13: PUSH1 0x04
00000c15: ADD
00000c16: PUSH2 0x0c1e
00000c19: SWAP1
00000c1a: PUSH2 0x1ca6
00000c1d: JUMP
00000c1e: JUMPDEST
00000c1f: PUSH1 0x40
00000c21: MLOAD
00000c22: DUP1
00000c23: SWAP2
00000c24: SUB
00000c25: SWAP1
00000c26: REVERT
00000c27: JUMPDEST
00000c28: DUP4
00000c29: PUSH1 0x05
00000c2b: PUSH0
00000c2c: CALLER
00000c2d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c42: AND
00000c43: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c58: AND
00000c59: DUP2
00000c5a: MSTORE
00000c5b: PUSH1 0x20
00000c5d: ADD
00000c5e: SWAP1
00000c5f: DUP2
00000c60: MSTORE
00000c61: PUSH1 0x20
00000c63: ADD
00000c64: PUSH0
00000c65: KECCAK256
00000c66: PUSH0
00000c67: DUP3
00000c68: DUP3
00000c69: SLOAD
00000c6a: PUSH2 0x0c73
00000c6d: SWAP2
00000c6e: SWAP1
00000c6f: PUSH2 0x1716
00000c72: JUMP
00000c73: JUMPDEST
00000c74: SWAP3
00000c75: POP
00000c76: POP
00000c77: DUP2
00000c78: SWAP1
00000c79: SSTORE
00000c7a: POP
00000c7b: PUSH1 0x02
00000c7d: PUSH1 0x01
00000c7f: SWAP1
00000c80: SLOAD
00000c81: SWAP1
00000c82: PUSH2 0x0100
00000c85: EXP
00000c86: SWAP1
00000c87: DIV
00000c88: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c9d: AND
00000c9e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000cb3: AND
00000cb4: PUSH4 0x23b872dd
00000cb9: CALLER
00000cba: PUSH2 0xdead
00000cbd: DUP8
00000cbe: PUSH1 0x40
00000cc0: MLOAD
00000cc1: DUP5
00000cc2: PUSH4 0xffffffff
00000cc7: AND
00000cc8: PUSH1 0xe0
00000cca: SHL
00000ccb: DUP2
00000ccc: MSTORE
00000ccd: PUSH1 0x04
00000ccf: ADD
00000cd0: PUSH2 0x0cdb
00000cd3: SWAP4
00000cd4: SWAP3
00000cd5: SWAP2
00000cd6: SWAP1
00000cd7: PUSH2 0x1cc4
00000cda: JUMP
00000cdb: JUMPDEST
00000cdc: PUSH1 0x20
00000cde: PUSH1 0x40
00000ce0: MLOAD
00000ce1: DUP1
00000ce2: DUP4
00000ce3: SUB
00000ce4: DUP2
00000ce5: PUSH0
00000ce6: DUP8
00000ce7: GAS
00000ce8: CALL
00000ce9: ISZERO
00000cea: DUP1
00000ceb: ISZERO
00000cec: PUSH2 0x0cf7
00000cef: JUMPI
00000cf0: RETURNDATASIZE
00000cf1: PUSH0
00000cf2: DUP1
00000cf3: RETURNDATACOPY
00000cf4: RETURNDATASIZE
00000cf5: PUSH0
00000cf6: REVERT
00000cf7: JUMPDEST
00000cf8: POP
00000cf9: POP
00000cfa: POP
00000cfb: POP
00000cfc: PUSH1 0x40
00000cfe: MLOAD
00000cff: RETURNDATASIZE
00000d00: PUSH1 0x1f
00000d02: NOT
00000d03: PUSH1 0x1f
00000d05: DUP3
00000d06: ADD
00000d07: AND
00000d08: DUP3
00000d09: ADD
00000d0a: DUP1
00000d0b: PUSH1 0x40
00000d0d: MSTORE
00000d0e: POP
00000d0f: DUP2
00000d10: ADD
00000d11: SWAP1
00000d12: PUSH2 0x0d1b
00000d15: SWAP2
00000d16: SWAP1
00000d17: PUSH2 0x1d23
00000d1a: JUMP
00000d1b: JUMPDEST
00000d1c: PUSH2 0x0d5a
00000d1f: JUMPI
00000d20: PUSH1 0x40
00000d22: MLOAD
00000d23: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000d44: DUP2
00000d45: MSTORE
00000d46: PUSH1 0x04
00000d48: ADD
00000d49: PUSH2 0x0d51
00000d4c: SWAP1
00000d4d: PUSH2 0x1d98
00000d50: JUMP
00000d51: JUMPDEST
00000d52: PUSH1 0x40
00000d54: MLOAD
00000d55: DUP1
00000d56: SWAP2
00000d57: SUB
00000d58: SWAP1
00000d59: REVERT
00000d5a: JUMPDEST
00000d5b: PUSH0
00000d5c: CALLER
00000d5d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d72: AND
00000d73: DUP3
00000d74: PUSH1 0x40
00000d76: MLOAD
00000d77: PUSH2 0x0d7f
00000d7a: SWAP1
00000d7b: PUSH2 0x18d4
00000d7e: JUMP
00000d7f: JUMPDEST
00000d80: PUSH0
00000d81: PUSH1 0x40
00000d83: MLOAD
00000d84: DUP1
00000d85: DUP4
00000d86: SUB
00000d87: DUP2
00000d88: DUP6
00000d89: DUP8
00000d8a: GAS
00000d8b: CALL
00000d8c: SWAP3
00000d8d: POP
00000d8e: POP
00000d8f: POP
00000d90: RETURNDATASIZE
00000d91: DUP1
00000d92: PUSH0
00000d93: DUP2
00000d94: EQ
00000d95: PUSH2 0x0db9
00000d98: JUMPI
00000d99: PUSH1 0x40
00000d9b: MLOAD
00000d9c: SWAP2
00000d9d: POP
00000d9e: PUSH1 0x1f
00000da0: NOT
00000da1: PUSH1 0x3f
00000da3: RETURNDATASIZE
00000da4: ADD
00000da5: AND
00000da6: DUP3
00000da7: ADD
00000da8: PUSH1 0x40
00000daa: MSTORE
00000dab: RETURNDATASIZE
00000dac: DUP3
00000dad: MSTORE
00000dae: RETURNDATASIZE
00000daf: PUSH0
00000db0: PUSH1 0x20
00000db2: DUP5
00000db3: ADD
00000db4: RETURNDATACOPY
00000db5: PUSH2 0x0dbe
00000db8: JUMP
00000db9: JUMPDEST
00000dba: PUSH1 0x60
00000dbc: SWAP2
00000dbd: POP
00000dbe: JUMPDEST
00000dbf: POP
00000dc0: POP
00000dc1: SWAP1
00000dc2: POP
00000dc3: DUP1
00000dc4: PUSH2 0x0e02
00000dc7: JUMPI
00000dc8: PUSH1 0x40
00000dca: MLOAD
00000dcb: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000dec: DUP2
00000ded: MSTORE
00000dee: PUSH1 0x04
00000df0: ADD
00000df1: PUSH2 0x0df9
00000df4: SWAP1
00000df5: PUSH2 0x1932
00000df8: JUMP
00000df9: JUMPDEST
00000dfa: PUSH1 0x40
00000dfc: MLOAD
00000dfd: DUP1
00000dfe: SWAP2
00000dff: SUB
00000e00: SWAP1
00000e01: REVERT
00000e02: JUMPDEST
00000e03: CALLER
00000e04: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e19: AND
00000e1a: PUSH32 0x4cbaede2de574837e61a98a30aa5d7353c76facef958abbb7768c4c46ff612d9
00000e3b: DUP7
00000e3c: PUSH1 0x05
00000e3e: PUSH0
00000e3f: CALLER
00000e40: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e55: AND
00000e56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e6b: AND
00000e6c: DUP2
00000e6d: MSTORE
00000e6e: PUSH1 0x20
00000e70: ADD
00000e71: SWAP1
00000e72: DUP2
00000e73: MSTORE
00000e74: PUSH1 0x20
00000e76: ADD
00000e77: PUSH0
00000e78: KECCAK256
00000e79: SLOAD
00000e7a: DUP6
00000e7b: DUP8
00000e7c: PUSH1 0x40
00000e7e: MLOAD
00000e7f: PUSH2 0x0e8b
00000e82: SWAP5
00000e83: SWAP4
00000e84: SWAP3
00000e85: SWAP2
00000e86: SWAP1
00000e87: PUSH2 0x1db6
00000e8a: JUMP
00000e8b: JUMPDEST
00000e8c: PUSH1 0x40
00000e8e: MLOAD
00000e8f: DUP1
00000e90: SWAP2
00000e91: SUB
00000e92: SWAP1
00000e93: LOG2
00000e94: POP
00000e95: POP
00000e96: POP
00000e97: PUSH2 0x0e9e
00000e9a: PUSH2 0x13dd
00000e9d: JUMP
00000e9e: JUMPDEST
00000e9f: POP
00000ea0: POP
00000ea1: JUMP
00000ea2: JUMPDEST
00000ea3: PUSH2 0x0eaa
00000ea6: PUSH2 0x110b
00000ea9: JUMP
00000eaa: JUMPDEST
00000eab: PUSH1 0x07
00000ead: PUSH0
00000eae: SWAP1
00000eaf: SLOAD
00000eb0: SWAP1
00000eb1: PUSH2 0x0100
00000eb4: EXP
00000eb5: SWAP1
00000eb6: DIV
00000eb7: PUSH1 0xff
00000eb9: AND
00000eba: ISZERO
00000ebb: PUSH2 0x0ef9
00000ebe: JUMPI
00000ebf: PUSH1 0x40
00000ec1: MLOAD
00000ec2: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ee3: DUP2
00000ee4: MSTORE
00000ee5: PUSH1 0x04
00000ee7: ADD
00000ee8: PUSH2 0x0ef0
00000eeb: SWAP1
00000eec: PUSH2 0x199a
00000eef: JUMP
00000ef0: JUMPDEST
00000ef1: PUSH1 0x40
00000ef3: MLOAD
00000ef4: DUP1
00000ef5: SWAP2
00000ef6: SUB
00000ef7: SWAP1
00000ef8: REVERT
00000ef9: JUMPDEST
00000efa: PUSH0
00000efb: DUP2
00000efc: GT
00000efd: PUSH2 0x0f3b
00000f00: JUMPI
00000f01: PUSH1 0x40
00000f03: MLOAD
00000f04: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000f25: DUP2
00000f26: MSTORE
00000f27: PUSH1 0x04
00000f29: ADD
00000f2a: PUSH2 0x0f32
00000f2d: SWAP1
00000f2e: PUSH2 0x1e43
00000f31: JUMP
00000f32: JUMPDEST
00000f33: PUSH1 0x40
00000f35: MLOAD
00000f36: DUP1
00000f37: SWAP2
00000f38: SUB
00000f39: SWAP1
00000f3a: REVERT
00000f3b: JUMPDEST
00000f3c: PUSH1 0x02
00000f3e: PUSH1 0x01
00000f40: SWAP1
00000f41: SLOAD
00000f42: SWAP1
00000f43: PUSH2 0x0100
00000f46: EXP
00000f47: SWAP1
00000f48: DIV
00000f49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f5e: AND
00000f5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f74: AND
00000f75: PUSH4 0x18160ddd
00000f7a: PUSH1 0x40
00000f7c: MLOAD
00000f7d: DUP2
00000f7e: PUSH4 0xffffffff
00000f83: AND
00000f84: PUSH1 0xe0
00000f86: SHL
00000f87: DUP2
00000f88: MSTORE
00000f89: PUSH1 0x04
00000f8b: ADD
00000f8c: PUSH1 0x20
00000f8e: PUSH1 0x40
00000f90: MLOAD
00000f91: DUP1
00000f92: DUP4
00000f93: SUB
00000f94: DUP2
00000f95: DUP7
00000f96: GAS
00000f97: STATICCALL
00000f98: ISZERO
00000f99: DUP1
00000f9a: ISZERO
00000f9b: PUSH2 0x0fa6
00000f9e: JUMPI
00000f9f: RETURNDATASIZE
00000fa0: PUSH0
00000fa1: DUP1
00000fa2: RETURNDATACOPY
00000fa3: RETURNDATASIZE
00000fa4: PUSH0
00000fa5: REVERT
00000fa6: JUMPDEST
00000fa7: POP
00000fa8: POP
00000fa9: POP
00000faa: POP
00000fab: PUSH1 0x40
00000fad: MLOAD
00000fae: RETURNDATASIZE
00000faf: PUSH1 0x1f
00000fb1: NOT
00000fb2: PUSH1 0x1f
00000fb4: DUP3
00000fb5: ADD
00000fb6: AND
00000fb7: DUP3
00000fb8: ADD
00000fb9: DUP1
00000fba: PUSH1 0x40
00000fbc: MSTORE
00000fbd: POP
00000fbe: DUP2
00000fbf: ADD
00000fc0: SWAP1
00000fc1: PUSH2 0x0fca
00000fc4: SWAP2
00000fc5: SWAP1
00000fc6: PUSH2 0x1bc9
00000fc9: JUMP
00000fca: JUMPDEST
00000fcb: DUP2
00000fcc: GT
00000fcd: ISZERO
00000fce: PUSH2 0x100c
00000fd1: JUMPI
00000fd2: PUSH1 0x40
00000fd4: MLOAD
00000fd5: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00000ff6: DUP2
00000ff7: MSTORE
00000ff8: PUSH1 0x04
00000ffa: ADD
00000ffb: PUSH2 0x1003
00000ffe: SWAP1
00000fff: PUSH2 0x1eab
00001002: JUMP
00001003: JUMPDEST
00001004: PUSH1 0x40
00001006: MLOAD
00001007: DUP1
00001008: SWAP2
00001009: SUB
0000100a: SWAP1
0000100b: REVERT
0000100c: JUMPDEST
0000100d: DUP1
0000100e: PUSH1 0x04
00001010: DUP2
00001011: SWAP1
00001012: SSTORE
00001013: POP
00001014: PUSH32 0x6c94155fc9c34df6d34964ca1f93e622bb7ddc5232996336d7a838266c159f73
00001035: DUP2
00001036: PUSH1 0x40
00001038: MLOAD
00001039: PUSH2 0x1042
0000103c: SWAP2
0000103d: SWAP1
0000103e: PUSH2 0x155d
00001041: JUMP
00001042: JUMPDEST
00001043: PUSH1 0x40
00001045: MLOAD
00001046: DUP1
00001047: SWAP2
00001048: SUB
00001049: SWAP1
0000104a: LOG1
0000104b: POP
0000104c: JUMP
0000104d: JUMPDEST
0000104e: PUSH1 0x07
00001050: PUSH0
00001051: SWAP1
00001052: SLOAD
00001053: SWAP1
00001054: PUSH2 0x0100
00001057: EXP
00001058: SWAP1
00001059: DIV
0000105a: PUSH1 0xff
0000105c: AND
0000105d: DUP2
0000105e: JUMP
0000105f: JUMPDEST
00001060: PUSH1 0x03
00001062: SLOAD
00001063: DUP2
00001064: JUMP
00001065: JUMPDEST
00001066: PUSH0
00001067: PUSH1 0x07
00001069: PUSH0
0000106a: SWAP1
0000106b: SLOAD
0000106c: SWAP1
0000106d: PUSH2 0x0100
00001070: EXP
00001071: SWAP1
00001072: DIV
00001073: PUSH1 0xff
00001075: AND
00001076: DUP1
00001077: ISZERO
00001078: PUSH2 0x1082
0000107b: JUMPI
0000107c: POP
0000107d: PUSH1 0x06
0000107f: SLOAD
00001080: TIMESTAMP
00001081: GT
00001082: JUMPDEST
00001083: SWAP1
00001084: POP
00001085: SWAP1
00001086: JUMP
00001087: JUMPDEST
00001088: PUSH2 0x108f
0000108b: PUSH2 0x110b
0000108e: JUMP
0000108f: JUMPDEST
00001090: PUSH0
00001091: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010a6: AND
000010a7: DUP2
000010a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010bd: AND
000010be: SUB
000010bf: PUSH2 0x10ff
000010c2: JUMPI
000010c3: PUSH0
000010c4: PUSH1 0x40
000010c6: MLOAD
000010c7: PUSH32 0x1e4fbdf700000000000000000000000000000000000000000000000000000000
000010e8: DUP2
000010e9: MSTORE
000010ea: PUSH1 0x04
000010ec: ADD
000010ed: PUSH2 0x10f6
000010f0: SWAP2
000010f1: SWAP1
000010f2: PUSH2 0x14f9
000010f5: JUMP
000010f6: JUMPDEST
000010f7: PUSH1 0x40
000010f9: MLOAD
000010fa: DUP1
000010fb: SWAP2
000010fc: SUB
000010fd: SWAP1
000010fe: REVERT
000010ff: JUMPDEST
00001100: PUSH2 0x1108
00001103: DUP2
00001104: PUSH2 0x1233
00001107: JUMP
00001108: JUMPDEST
00001109: POP
0000110a: JUMP
0000110b: JUMPDEST
0000110c: PUSH2 0x1113
0000110f: PUSH2 0x13e6
00001112: JUMP
00001113: JUMPDEST
00001114: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001129: AND
0000112a: PUSH2 0x1131
0000112d: PUSH2 0x09c5
00001130: JUMP
00001131: JUMPDEST
00001132: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001147: AND
00001148: EQ
00001149: PUSH2 0x1190
0000114c: JUMPI
0000114d: PUSH2 0x1154
00001150: PUSH2 0x13e6
00001153: JUMP
00001154: JUMPDEST
00001155: PUSH1 0x40
00001157: MLOAD
00001158: PUSH32 0x118cdaa700000000000000000000000000000000000000000000000000000000
00001179: DUP2
0000117a: MSTORE
0000117b: PUSH1 0x04
0000117d: ADD
0000117e: PUSH2 0x1187
00001181: SWAP2
00001182: SWAP1
00001183: PUSH2 0x14f9
00001186: JUMP
00001187: JUMPDEST
00001188: PUSH1 0x40
0000118a: MLOAD
0000118b: DUP1
0000118c: SWAP2
0000118d: SUB
0000118e: SWAP1
0000118f: REVERT
00001190: JUMPDEST
00001191: JUMP
00001192: JUMPDEST
00001193: PUSH2 0x119a
00001196: PUSH2 0x086d
00001199: JUMP
0000119a: JUMPDEST
0000119b: PUSH2 0x11d0
0000119e: JUMPI
0000119f: PUSH1 0x40
000011a1: MLOAD
000011a2: PUSH32 0x8dfc202b00000000000000000000000000000000000000000000000000000000
000011c3: DUP2
000011c4: MSTORE
000011c5: PUSH1 0x04
000011c7: ADD
000011c8: PUSH1 0x40
000011ca: MLOAD
000011cb: DUP1
000011cc: SWAP2
000011cd: SUB
000011ce: SWAP1
000011cf: REVERT
000011d0: JUMPDEST
000011d1: JUMP
000011d2: JUMPDEST
000011d3: PUSH2 0x11da
000011d6: PUSH2 0x1192
000011d9: JUMP
000011da: JUMPDEST
000011db: PUSH0
000011dc: PUSH1 0x02
000011de: PUSH0
000011df: PUSH2 0x0100
000011e2: EXP
000011e3: DUP2
000011e4: SLOAD
000011e5: DUP2
000011e6: PUSH1 0xff
000011e8: MUL
000011e9: NOT
000011ea: AND
000011eb: SWAP1
000011ec: DUP4
000011ed: ISZERO
000011ee: ISZERO
000011ef: MUL
000011f0: OR
000011f1: SWAP1
000011f2: SSTORE
000011f3: POP
000011f4: PUSH32 0x5db9ee0a495bf2e6ff9c91a7834c1ba4fdd244a5e8aa4e537bd38aeae4b073aa
00001215: PUSH2 0x121c
00001218: PUSH2 0x13e6
0000121b: JUMP
0000121c: JUMPDEST
0000121d: PUSH1 0x40
0000121f: MLOAD
00001220: PUSH2 0x1229
00001223: SWAP2
00001224: SWAP1
00001225: PUSH2 0x14f9
00001228: JUMP
00001229: JUMPDEST
0000122a: PUSH1 0x40
0000122c: MLOAD
0000122d: DUP1
0000122e: SWAP2
0000122f: SUB
00001230: SWAP1
00001231: LOG1
00001232: JUMP
00001233: JUMPDEST
00001234: PUSH0
00001235: DUP1
00001236: PUSH0
00001237: SWAP1
00001238: SLOAD
00001239: SWAP1
0000123a: PUSH2 0x0100
0000123d: EXP
0000123e: SWAP1
0000123f: DIV
00001240: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001255: AND
00001256: SWAP1
00001257: POP
00001258: DUP2
00001259: PUSH0
0000125a: DUP1
0000125b: PUSH2 0x0100
0000125e: EXP
0000125f: DUP2
00001260: SLOAD
00001261: DUP2
00001262: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001277: MUL
00001278: NOT
00001279: AND
0000127a: SWAP1
0000127b: DUP4
0000127c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001291: AND
00001292: MUL
00001293: OR
00001294: SWAP1
00001295: SSTORE
00001296: POP
00001297: DUP2
00001298: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012ad: AND
000012ae: DUP2
000012af: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000012c4: AND
000012c5: PUSH32 0x8be0079c531659141344cd1fd0a4f28419497f9722a3daafe3b4186f6b6457e0
000012e6: PUSH1 0x40
000012e8: MLOAD
000012e9: PUSH1 0x40
000012eb: MLOAD
000012ec: DUP1
000012ed: SWAP2
000012ee: SUB
000012ef: SWAP1
000012f0: LOG3
000012f1: POP
000012f2: POP
000012f3: JUMP
000012f4: JUMPDEST
000012f5: PUSH2 0x12fc
000012f8: PUSH2 0x086d
000012fb: JUMP
000012fc: JUMPDEST
000012fd: ISZERO
000012fe: PUSH2 0x1333
00001301: JUMPI
00001302: PUSH1 0x40
00001304: MLOAD
00001305: PUSH32 0xd93c066500000000000000000000000000000000000000000000000000000000
00001326: DUP2
00001327: MSTORE
00001328: PUSH1 0x04
0000132a: ADD
0000132b: PUSH1 0x40
0000132d: MLOAD
0000132e: DUP1
0000132f: SWAP2
00001330: SUB
00001331: SWAP1
00001332: REVERT
00001333: JUMPDEST
00001334: JUMP
00001335: JUMPDEST
00001336: PUSH2 0x133d
00001339: PUSH2 0x12f4
0000133c: JUMP
0000133d: JUMPDEST
0000133e: PUSH1 0x01
00001340: PUSH1 0x02
00001342: PUSH0
00001343: PUSH2 0x0100
00001346: EXP
00001347: DUP2
00001348: SLOAD
00001349: DUP2
0000134a: PUSH1 0xff
0000134c: MUL
0000134d: NOT
0000134e: AND
0000134f: SWAP1
00001350: DUP4
00001351: ISZERO
00001352: ISZERO
00001353: MUL
00001354: OR
00001355: SWAP1
00001356: SSTORE
00001357: POP
00001358: PUSH32 0x62e78cea01bee320cd4e420270b5ea74000d11b0c9f74754ebdbfc544b05a258
00001379: PUSH2 0x1380
0000137c: PUSH2 0x13e6
0000137f: JUMP
00001380: JUMPDEST
00001381: PUSH1 0x40
00001383: MLOAD
00001384: PUSH2 0x138d
00001387: SWAP2
00001388: SWAP1
00001389: PUSH2 0x14f9
0000138c: JUMP
0000138d: JUMPDEST
0000138e: PUSH1 0x40
00001390: MLOAD
00001391: DUP1
00001392: SWAP2
00001393: SUB
00001394: SWAP1
00001395: LOG1
00001396: JUMP
00001397: JUMPDEST
00001398: PUSH1 0x02
0000139a: PUSH1 0x01
0000139c: SLOAD
0000139d: SUB
0000139e: PUSH2 0x13d3
000013a1: JUMPI
000013a2: PUSH1 0x40
000013a4: MLOAD
000013a5: PUSH32 0x3ee5aeb500000000000000000000000000000000000000000000000000000000
000013c6: DUP2
000013c7: MSTORE
000013c8: PUSH1 0x04
000013ca: ADD
000013cb: PUSH1 0x40
000013cd: MLOAD
000013ce: DUP1
000013cf: SWAP2
000013d0: SUB
000013d1: SWAP1
000013d2: REVERT
000013d3: JUMPDEST
000013d4: PUSH1 0x02
000013d6: PUSH1 0x01
000013d8: DUP2
000013d9: SWAP1
000013da: SSTORE
000013db: POP
000013dc: JUMP
000013dd: JUMPDEST
000013de: PUSH1 0x01
000013e0: DUP1
000013e1: DUP2
000013e2: SWAP1
000013e3: SSTORE
000013e4: POP
000013e5: JUMP
000013e6: JUMPDEST
000013e7: PUSH0
000013e8: CALLER
000013e9: SWAP1
000013ea: POP
000013eb: SWAP1
000013ec: JUMP
000013ed: JUMPDEST
000013ee: PUSH0
000013ef: DUP1
000013f0: REVERT
000013f1: JUMPDEST
000013f2: PUSH0
000013f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001408: DUP3
00001409: AND
0000140a: SWAP1
0000140b: POP
0000140c: SWAP2
0000140d: SWAP1
0000140e: POP
0000140f: JUMP
00001410: JUMPDEST
00001411: PUSH0
00001412: PUSH2 0x141a
00001415: DUP3
00001416: PUSH2 0x13f1
00001419: JUMP
0000141a: JUMPDEST
0000141b: SWAP1
0000141c: POP
0000141d: SWAP2
0000141e: SWAP1
0000141f: POP
00001420: JUMP
00001421: JUMPDEST
00001422: PUSH2 0x142a
00001425: DUP2
00001426: PUSH2 0x1410
00001429: JUMP
0000142a: JUMPDEST
0000142b: DUP2
0000142c: EQ
0000142d: PUSH2 0x1434
00001430: JUMPI
00001431: PUSH0
00001432: DUP1
00001433: REVERT
00001434: JUMPDEST
00001435: POP
00001436: JUMP
00001437: JUMPDEST
00001438: PUSH0
00001439: DUP2
0000143a: CALLDATALOAD
0000143b: SWAP1
0000143c: POP
0000143d: PUSH2 0x1445
00001440: DUP2
00001441: PUSH2 0x1421
00001444: JUMP
00001445: JUMPDEST
00001446: SWAP3
00001447: SWAP2
00001448: POP
00001449: POP
0000144a: JUMP
0000144b: JUMPDEST
0000144c: PUSH0
0000144d: PUSH1 0x20
0000144f: DUP3
00001450: DUP5
00001451: SUB
00001452: SLT
00001453: ISZERO
00001454: PUSH2 0x1460
00001457: JUMPI
00001458: PUSH2 0x145f
0000145b: PUSH2 0x13ed
0000145e: JUMP
0000145f: JUMPDEST
00001460: JUMPDEST
00001461: PUSH0
00001462: PUSH2 0x146d
00001465: DUP5
00001466: DUP3
00001467: DUP6
00001468: ADD
00001469: PUSH2 0x1437
0000146c: JUMP
0000146d: JUMPDEST
0000146e: SWAP2
0000146f: POP
00001470: POP
00001471: SWAP3
00001472: SWAP2
00001473: POP
00001474: POP
00001475: JUMP
00001476: JUMPDEST
00001477: PUSH0
00001478: DUP2
00001479: SWAP1
0000147a: POP
0000147b: SWAP2
0000147c: SWAP1
0000147d: POP
0000147e: JUMP
0000147f: JUMPDEST
00001480: PUSH0
00001481: PUSH2 0x1499
00001484: PUSH2 0x1494
00001487: PUSH2 0x148f
0000148a: DUP5
0000148b: PUSH2 0x13f1
0000148e: JUMP
0000148f: JUMPDEST
00001490: PUSH2 0x1476
00001493: JUMP
00001494: JUMPDEST
00001495: PUSH2 0x13f1
00001498: JUMP
00001499: JUMPDEST
0000149a: SWAP1
0000149b: POP
0000149c: SWAP2
0000149d: SWAP1
0000149e: POP
0000149f: JUMP
000014a0: JUMPDEST
000014a1: PUSH0
000014a2: PUSH2 0x14aa
000014a5: DUP3
000014a6: PUSH2 0x147f
000014a9: JUMP
000014aa: JUMPDEST
000014ab: SWAP1
000014ac: POP
000014ad: SWAP2
000014ae: SWAP1
000014af: POP
000014b0: JUMP
000014b1: JUMPDEST
000014b2: PUSH0
000014b3: PUSH2 0x14bb
000014b6: DUP3
000014b7: PUSH2 0x14a0
000014ba: JUMP
000014bb: JUMPDEST
000014bc: SWAP1
000014bd: POP
000014be: SWAP2
000014bf: SWAP1
000014c0: POP
000014c1: JUMP
000014c2: JUMPDEST
000014c3: PUSH2 0x14cb
000014c6: DUP2
000014c7: PUSH2 0x14b1
000014ca: JUMP
000014cb: JUMPDEST
000014cc: DUP3
000014cd: MSTORE
000014ce: POP
000014cf: POP
000014d0: JUMP
000014d1: JUMPDEST
000014d2: PUSH0
000014d3: PUSH1 0x20
000014d5: DUP3
000014d6: ADD
000014d7: SWAP1
000014d8: POP
000014d9: PUSH2 0x14e4
000014dc: PUSH0
000014dd: DUP4
000014de: ADD
000014df: DUP5
000014e0: PUSH2 0x14c2
000014e3: JUMP
000014e4: JUMPDEST
000014e5: SWAP3
000014e6: SWAP2
000014e7: POP
000014e8: POP
000014e9: JUMP
000014ea: JUMPDEST
000014eb: PUSH2 0x14f3
000014ee: DUP2
000014ef: PUSH2 0x1410
000014f2: JUMP
000014f3: JUMPDEST
000014f4: DUP3
000014f5: MSTORE
000014f6: POP
000014f7: POP
000014f8: JUMP
000014f9: JUMPDEST
000014fa: PUSH0
000014fb: PUSH1 0x20
000014fd: DUP3
000014fe: ADD
000014ff: SWAP1
00001500: POP
00001501: PUSH2 0x150c
00001504: PUSH0
00001505: DUP4
00001506: ADD
00001507: DUP5
00001508: PUSH2 0x14ea
0000150b: JUMP
0000150c: JUMPDEST
0000150d: SWAP3
0000150e: SWAP2
0000150f: POP
00001510: POP
00001511: JUMP
00001512: JUMPDEST
00001513: PUSH0
00001514: DUP2
00001515: ISZERO
00001516: ISZERO
00001517: SWAP1
00001518: POP
00001519: SWAP2
0000151a: SWAP1
0000151b: POP
0000151c: JUMP
0000151d: JUMPDEST
0000151e: PUSH2 0x1526
00001521: DUP2
00001522: PUSH2 0x1512
00001525: JUMP
00001526: JUMPDEST
00001527: DUP3
00001528: MSTORE
00001529: POP
0000152a: POP
0000152b: JUMP
0000152c: JUMPDEST
0000152d: PUSH0
0000152e: PUSH1 0x20
00001530: DUP3
00001531: ADD
00001532: SWAP1
00001533: POP
00001534: PUSH2 0x153f
00001537: PUSH0
00001538: DUP4
00001539: ADD
0000153a: DUP5
0000153b: PUSH2 0x151d
0000153e: JUMP
0000153f: JUMPDEST
00001540: SWAP3
00001541: SWAP2
00001542: POP
00001543: POP
00001544: JUMP
00001545: JUMPDEST
00001546: PUSH0
00001547: DUP2
00001548: SWAP1
00001549: POP
0000154a: SWAP2
0000154b: SWAP1
0000154c: POP
0000154d: JUMP
0000154e: JUMPDEST
0000154f: PUSH2 0x1557
00001552: DUP2
00001553: PUSH2 0x1545
00001556: JUMP
00001557: JUMPDEST
00001558: DUP3
00001559: MSTORE
0000155a: POP
0000155b: POP
0000155c: JUMP
0000155d: JUMPDEST
0000155e: PUSH0
0000155f: PUSH1 0x20
00001561: DUP3
00001562: ADD
00001563: SWAP1
00001564: POP
00001565: PUSH2 0x1570
00001568: PUSH0
00001569: DUP4
0000156a: ADD
0000156b: DUP5
0000156c: PUSH2 0x154e
0000156f: JUMP
00001570: JUMPDEST
00001571: SWAP3
00001572: SWAP2
00001573: POP
00001574: POP
00001575: JUMP
00001576: JUMPDEST
00001577: PUSH2 0x157f
0000157a: DUP2
0000157b: PUSH2 0x1545
0000157e: JUMP
0000157f: JUMPDEST
00001580: DUP2
00001581: EQ
00001582: PUSH2 0x1589
00001585: JUMPI
00001586: PUSH0
00001587: DUP1
00001588: REVERT
00001589: JUMPDEST
0000158a: POP
0000158b: JUMP
0000158c: JUMPDEST
0000158d: PUSH0
0000158e: DUP2
0000158f: CALLDATALOAD
00001590: SWAP1
00001591: POP
00001592: PUSH2 0x159a
00001595: DUP2
00001596: PUSH2 0x1576
00001599: JUMP
0000159a: JUMPDEST
0000159b: SWAP3
0000159c: SWAP2
0000159d: POP
0000159e: POP
0000159f: JUMP
000015a0: JUMPDEST
000015a1: PUSH0
000015a2: PUSH1 0x20
000015a4: DUP3
000015a5: DUP5
000015a6: SUB
000015a7: SLT
000015a8: ISZERO
000015a9: PUSH2 0x15b5
000015ac: JUMPI
000015ad: PUSH2 0x15b4
000015b0: PUSH2 0x13ed
000015b3: JUMP
000015b4: JUMPDEST
000015b5: JUMPDEST
000015b6: PUSH0
000015b7: PUSH2 0x15c2
000015ba: DUP5
000015bb: DUP3
000015bc: DUP6
000015bd: ADD
000015be: PUSH2 0x158c
000015c1: JUMP
000015c2: JUMPDEST
000015c3: SWAP2
000015c4: POP
000015c5: POP
000015c6: SWAP3
000015c7: SWAP2
000015c8: POP
000015c9: POP
000015ca: JUMP
000015cb: JUMPDEST
000015cc: PUSH0
000015cd: DUP1
000015ce: PUSH1 0x40
000015d0: DUP4
000015d1: DUP6
000015d2: SUB
000015d3: SLT
000015d4: ISZERO
000015d5: PUSH2 0x15e1
000015d8: JUMPI
000015d9: PUSH2 0x15e0
000015dc: PUSH2 0x13ed
000015df: JUMP
000015e0: JUMPDEST
000015e1: JUMPDEST
000015e2: PUSH0
000015e3: PUSH2 0x15ee
000015e6: DUP6
000015e7: DUP3
000015e8: DUP7
000015e9: ADD
000015ea: PUSH2 0x158c
000015ed: JUMP
000015ee: JUMPDEST
000015ef: SWAP3
000015f0: POP
000015f1: POP
000015f2: PUSH1 0x20
000015f4: PUSH2 0x15ff
000015f7: DUP6
000015f8: DUP3
000015f9: DUP7
000015fa: ADD
000015fb: PUSH2 0x1437
000015fe: JUMP
000015ff: JUMPDEST
00001600: SWAP2
00001601: POP
00001602: POP
00001603: SWAP3
00001604: POP
00001605: SWAP3
00001606: SWAP1
00001607: POP
00001608: JUMP
00001609: JUMPDEST
0000160a: PUSH0
0000160b: DUP3
0000160c: DUP3
0000160d: MSTORE
0000160e: PUSH1 0x20
00001610: DUP3
00001611: ADD
00001612: SWAP1
00001613: POP
00001614: SWAP3
00001615: SWAP2
00001616: POP
00001617: POP
00001618: JUMP
00001619: JUMPDEST
0000161a: PUSH32 0x4e6f2045544820616c6c6f636174656420666f7220726564656d7074696f6e73
0000163b: PUSH0
0000163c: DUP3
0000163d: ADD
0000163e: MSTORE
0000163f: POP
00001640: JUMP
00001641: JUMPDEST
00001642: PUSH0
00001643: PUSH2 0x164d
00001646: PUSH1 0x20
00001648: DUP4
00001649: PUSH2 0x1609
0000164c: JUMP
0000164d: JUMPDEST
0000164e: SWAP2
0000164f: POP
00001650: PUSH2 0x1658
00001653: DUP3
00001654: PUSH2 0x1619
00001657: JUMP
00001658: JUMPDEST
00001659: PUSH1 0x20
0000165b: DUP3
0000165c: ADD
0000165d: SWAP1
0000165e: POP
0000165f: SWAP2
00001660: SWAP1
00001661: POP
00001662: JUMP
00001663: JUMPDEST
00001664: PUSH0
00001665: PUSH1 0x20
00001667: DUP3
00001668: ADD
00001669: SWAP1
0000166a: POP
0000166b: DUP2
0000166c: DUP2
0000166d: SUB
0000166e: PUSH0
0000166f: DUP4
00001670: ADD
00001671: MSTORE
00001672: PUSH2 0x167a
00001675: DUP2
00001676: PUSH2 0x1641
00001679: JUMP
0000167a: JUMPDEST
0000167b: SWAP1
0000167c: POP
0000167d: SWAP2
0000167e: SWAP1
0000167f: POP
00001680: JUMP
00001681: JUMPDEST
00001682: PUSH32 0x43697263756c6174696e6720737570706c79206e6f7420736574000000000000
000016a3: PUSH0
000016a4: DUP3
000016a5: ADD
000016a6: MSTORE
000016a7: POP
000016a8: JUMP
000016a9: JUMPDEST
000016aa: PUSH0
000016ab: PUSH2 0x16b5
000016ae: PUSH1 0x1a
000016b0: DUP4
000016b1: PUSH2 0x1609
000016b4: JUMP
000016b5: JUMPDEST
000016b6: SWAP2
000016b7: POP
000016b8: PUSH2 0x16c0
000016bb: DUP3
000016bc: PUSH2 0x1681
000016bf: JUMP
000016c0: JUMPDEST
000016c1: PUSH1 0x20
000016c3: DUP3
000016c4: ADD
000016c5: SWAP1
000016c6: POP
000016c7: SWAP2
000016c8: SWAP1
000016c9: POP
000016ca: JUMP
000016cb: JUMPDEST
000016cc: PUSH0
000016cd: PUSH1 0x20
000016cf: DUP3
000016d0: ADD
000016d1: SWAP1
000016d2: POP
000016d3: DUP2
000016d4: DUP2
000016d5: SUB
000016d6: PUSH0
000016d7: DUP4
000016d8: ADD
000016d9: MSTORE
000016da: PUSH2 0x16e2
000016dd: DUP2
000016de: PUSH2 0x16a9
000016e1: JUMP
000016e2: JUMPDEST
000016e3: SWAP1
000016e4: POP
000016e5: SWAP2
000016e6: SWAP1
000016e7: POP
000016e8: JUMP
000016e9: JUMPDEST
000016ea: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
0000170b: PUSH0
0000170c: MSTORE
0000170d: PUSH1 0x11
0000170f: PUSH1 0x04
00001711: MSTORE
00001712: PUSH1 0x24
00001714: PUSH0
00001715: REVERT
00001716: JUMPDEST
00001717: PUSH0
00001718: PUSH2 0x1720
0000171b: DUP3
0000171c: PUSH2 0x1545
0000171f: JUMP
00001720: JUMPDEST
00001721: SWAP2
00001722: POP
00001723: PUSH2 0x172b
00001726: DUP4
00001727: PUSH2 0x1545
0000172a: JUMP
0000172b: JUMPDEST
0000172c: SWAP3
0000172d: POP
0000172e: DUP3
0000172f: DUP3
00001730: ADD
00001731: SWAP1
00001732: POP
00001733: DUP1
00001734: DUP3
00001735: GT
00001736: ISZERO
00001737: PUSH2 0x1743
0000173a: JUMPI
0000173b: PUSH2 0x1742
0000173e: PUSH2 0x16e9
00001741: JUMP
00001742: JUMPDEST
00001743: JUMPDEST
00001744: SWAP3
00001745: SWAP2
00001746: POP
00001747: POP
00001748: JUMP
00001749: JUMPDEST
0000174a: PUSH32 0x496e76616c696420726563697069656e74000000000000000000000000000000
0000176b: PUSH0
0000176c: DUP3
0000176d: ADD
0000176e: MSTORE
0000176f: POP
00001770: JUMP
00001771: JUMPDEST
00001772: PUSH0
00001773: PUSH2 0x177d
00001776: PUSH1 0x11
00001778: DUP4
00001779: PUSH2 0x1609
0000177c: JUMP
0000177d: JUMPDEST
0000177e: SWAP2
0000177f: POP
00001780: PUSH2 0x1788
00001783: DUP3
00001784: PUSH2 0x1749
00001787: JUMP
00001788: JUMPDEST
00001789: PUSH1 0x20
0000178b: DUP3
0000178c: ADD
0000178d: SWAP1
0000178e: POP
0000178f: SWAP2
00001790: SWAP1
00001791: POP
00001792: JUMP
00001793: JUMPDEST
00001794: PUSH0
00001795: PUSH1 0x20
00001797: DUP3
00001798: ADD
00001799: SWAP1
0000179a: POP
0000179b: DUP2
0000179c: DUP2
0000179d: SUB
0000179e: PUSH0
0000179f: DUP4
000017a0: ADD
000017a1: MSTORE
000017a2: PUSH2 0x17aa
000017a5: DUP2
000017a6: PUSH2 0x1771
000017a9: JUMP
000017aa: JUMPDEST
000017ab: SWAP1
000017ac: POP
000017ad: SWAP2
000017ae: SWAP1
000017af: POP
000017b0: JUMP
000017b1: JUMPDEST
000017b2: PUSH32 0x43616e6e6f7420776974686472617720647572696e6720616374697665207265
000017d3: PUSH0
000017d4: DUP3
000017d5: ADD
000017d6: MSTORE
000017d7: PUSH32 0x64656d7074696f6e000000000000000000000000000000000000000000000000
000017f8: PUSH1 0x20
000017fa: DUP3
000017fb: ADD
000017fc: MSTORE
000017fd: POP
000017fe: JUMP
000017ff: JUMPDEST
00001800: PUSH0
00001801: PUSH2 0x180b
00001804: PUSH1 0x28
00001806: DUP4
00001807: PUSH2 0x1609
0000180a: JUMP
0000180b: JUMPDEST
0000180c: SWAP2
0000180d: POP
0000180e: PUSH2 0x1816
00001811: DUP3
00001812: PUSH2 0x17b1
00001815: JUMP
00001816: JUMPDEST
00001817: PUSH1 0x40
00001819: DUP3
0000181a: ADD
0000181b: SWAP1
0000181c: POP
0000181d: SWAP2
0000181e: SWAP1
0000181f: POP
00001820: JUMP
00001821: JUMPDEST
00001822: PUSH0
00001823: PUSH1 0x20
00001825: DUP3
00001826: ADD
00001827: SWAP1
00001828: POP
00001829: DUP2
0000182a: DUP2
0000182b: SUB
0000182c: PUSH0
0000182d: DUP4
0000182e: ADD
0000182f: MSTORE
00001830: PUSH2 0x1838
00001833: DUP2
00001834: PUSH2 0x17ff
00001837: JUMP
00001838: JUMPDEST
00001839: SWAP1
0000183a: POP
0000183b: SWAP2
0000183c: SWAP1
0000183d: POP
0000183e: JUMP
0000183f: JUMPDEST
00001840: PUSH32 0x4e6f2045544820746f2077697468647261770000000000000000000000000000
00001861: PUSH0
00001862: DUP3
00001863: ADD
00001864: MSTORE
00001865: POP
00001866: JUMP
00001867: JUMPDEST
00001868: PUSH0
00001869: PUSH2 0x1873
0000186c: PUSH1 0x12
0000186e: DUP4
0000186f: PUSH2 0x1609
00001872: JUMP
00001873: JUMPDEST
00001874: SWAP2
00001875: POP
00001876: PUSH2 0x187e
00001879: DUP3
0000187a: PUSH2 0x183f
0000187d: JUMP
0000187e: JUMPDEST
0000187f: PUSH1 0x20
00001881: DUP3
00001882: ADD
00001883: SWAP1
00001884: POP
00001885: SWAP2
00001886: SWAP1
00001887: POP
00001888: JUMP
00001889: JUMPDEST
0000188a: PUSH0
0000188b: PUSH1 0x20
0000188d: DUP3
0000188e: ADD
0000188f: SWAP1
00001890: POP
00001891: DUP2
00001892: DUP2
00001893: SUB
00001894: PUSH0
00001895: DUP4
00001896: ADD
00001897: MSTORE
00001898: PUSH2 0x18a0
0000189b: DUP2
0000189c: PUSH2 0x1867
0000189f: JUMP
000018a0: JUMPDEST
000018a1: SWAP1
000018a2: POP
000018a3: SWAP2
000018a4: SWAP1
000018a5: POP
000018a6: JUMP
000018a7: JUMPDEST
000018a8: PUSH0
000018a9: DUP2
000018aa: SWAP1
000018ab: POP
000018ac: SWAP3
000018ad: SWAP2
000018ae: POP
000018af: POP
000018b0: JUMP
000018b1: JUMPDEST
000018b2: POP
000018b3: JUMP
000018b4: JUMPDEST
000018b5: PUSH0
000018b6: PUSH2 0x18bf
000018b9: PUSH0
000018ba: DUP4
000018bb: PUSH2 0x18a7
000018be: JUMP
000018bf: JUMPDEST
000018c0: SWAP2
000018c1: POP
000018c2: PUSH2 0x18ca
000018c5: DUP3
000018c6: PUSH2 0x18b1
000018c9: JUMP
000018ca: JUMPDEST
000018cb: PUSH0
000018cc: DUP3
000018cd: ADD
000018ce: SWAP1
000018cf: POP
000018d0: SWAP2
000018d1: SWAP1
000018d2: POP
000018d3: JUMP
000018d4: JUMPDEST
000018d5: PUSH0
000018d6: PUSH2 0x18de
000018d9: DUP3
000018da: PUSH2 0x18b4
000018dd: JUMP
000018de: JUMPDEST
000018df: SWAP2
000018e0: POP
000018e1: DUP2
000018e2: SWAP1
000018e3: POP
000018e4: SWAP2
000018e5: SWAP1
000018e6: POP
000018e7: JUMP
000018e8: JUMPDEST
000018e9: PUSH32 0x455448207472616e73666572206661696c656400000000000000000000000000
0000190a: PUSH0
0000190b: DUP3
0000190c: ADD
0000190d: MSTORE
0000190e: POP
0000190f: JUMP
00001910: JUMPDEST
00001911: PUSH0
00001912: PUSH2 0x191c
00001915: PUSH1 0x13
00001917: DUP4
00001918: PUSH2 0x1609
0000191b: JUMP
0000191c: JUMPDEST
0000191d: SWAP2
0000191e: POP
0000191f: PUSH2 0x1927
00001922: DUP3
00001923: PUSH2 0x18e8
00001926: JUMP
00001927: JUMPDEST
00001928: PUSH1 0x20
0000192a: DUP3
0000192b: ADD
0000192c: SWAP1
0000192d: POP
0000192e: SWAP2
0000192f: SWAP1
00001930: POP
00001931: JUMP
00001932: JUMPDEST
00001933: PUSH0
00001934: PUSH1 0x20
00001936: DUP3
00001937: ADD
00001938: SWAP1
00001939: POP
0000193a: DUP2
0000193b: DUP2
0000193c: SUB
0000193d: PUSH0
0000193e: DUP4
0000193f: ADD
00001940: MSTORE
00001941: PUSH2 0x1949
00001944: DUP2
00001945: PUSH2 0x1910
00001948: JUMP
00001949: JUMPDEST
0000194a: SWAP1
0000194b: POP
0000194c: SWAP2
0000194d: SWAP1
0000194e: POP
0000194f: JUMP
00001950: JUMPDEST
00001951: PUSH32 0x526564656d7074696f6e20616c72656164792061637469766174656400000000
00001972: PUSH0
00001973: DUP3
00001974: ADD
00001975: MSTORE
00001976: POP
00001977: JUMP
00001978: JUMPDEST
00001979: PUSH0
0000197a: PUSH2 0x1984
0000197d: PUSH1 0x1c
0000197f: DUP4
00001980: PUSH2 0x1609
00001983: JUMP
00001984: JUMPDEST
00001985: SWAP2
00001986: POP
00001987: PUSH2 0x198f
0000198a: DUP3
0000198b: PUSH2 0x1950
0000198e: JUMP
0000198f: JUMPDEST
00001990: PUSH1 0x20
00001992: DUP3
00001993: ADD
00001994: SWAP1
00001995: POP
00001996: SWAP2
00001997: SWAP1
00001998: POP
00001999: JUMP
0000199a: JUMPDEST
0000199b: PUSH0
0000199c: PUSH1 0x20
0000199e: DUP3
0000199f: ADD
000019a0: SWAP1
000019a1: POP
000019a2: DUP2
000019a3: DUP2
000019a4: SUB
000019a5: PUSH0
000019a6: DUP4
000019a7: ADD
000019a8: MSTORE
000019a9: PUSH2 0x19b1
000019ac: DUP2
000019ad: PUSH2 0x1978
000019b0: JUMP
000019b1: JUMPDEST
000019b2: SWAP1
000019b3: POP
000019b4: SWAP2
000019b5: SWAP1
000019b6: POP
000019b7: JUMP
000019b8: JUMPDEST
000019b9: PUSH0
000019ba: PUSH1 0x40
000019bc: DUP3
000019bd: ADD
000019be: SWAP1
000019bf: POP
000019c0: PUSH2 0x19cb
000019c3: PUSH0
000019c4: DUP4
000019c5: ADD
000019c6: DUP6
000019c7: PUSH2 0x154e
000019ca: JUMP
000019cb: JUMPDEST
000019cc: PUSH2 0x19d8
000019cf: PUSH1 0x20
000019d1: DUP4
000019d2: ADD
000019d3: DUP5
000019d4: PUSH2 0x154e
000019d7: JUMP
000019d8: JUMPDEST
000019d9: SWAP4
000019da: SWAP3
000019db: POP
000019dc: POP
000019dd: POP
000019de: JUMP
000019df: JUMPDEST
000019e0: PUSH0
000019e1: PUSH2 0x19e9
000019e4: DUP3
000019e5: PUSH2 0x1545
000019e8: JUMP
000019e9: JUMPDEST
000019ea: SWAP2
000019eb: POP
000019ec: PUSH2 0x19f4
000019ef: DUP4
000019f0: PUSH2 0x1545
000019f3: JUMP
000019f4: JUMPDEST
000019f5: SWAP3
000019f6: POP
000019f7: DUP3
000019f8: DUP3
000019f9: MUL
000019fa: PUSH2 0x1a02
000019fd: DUP2
000019fe: PUSH2 0x1545
00001a01: JUMP
00001a02: JUMPDEST
00001a03: SWAP2
00001a04: POP
00001a05: DUP3
00001a06: DUP3
00001a07: DIV
00001a08: DUP5
00001a09: EQ
00001a0a: DUP4
00001a0b: ISZERO
00001a0c: OR
00001a0d: PUSH2 0x1a19
00001a10: JUMPI
00001a11: PUSH2 0x1a18
00001a14: PUSH2 0x16e9
00001a17: JUMP
00001a18: JUMPDEST
00001a19: JUMPDEST
00001a1a: POP
00001a1b: SWAP3
00001a1c: SWAP2
00001a1d: POP
00001a1e: POP
00001a1f: JUMP
00001a20: JUMPDEST
00001a21: PUSH32 0x4e487b7100000000000000000000000000000000000000000000000000000000
00001a42: PUSH0
00001a43: MSTORE
00001a44: PUSH1 0x12
00001a46: PUSH1 0x04
00001a48: MSTORE
00001a49: PUSH1 0x24
00001a4b: PUSH0
00001a4c: REVERT
00001a4d: JUMPDEST
00001a4e: PUSH0
00001a4f: PUSH2 0x1a57
00001a52: DUP3
00001a53: PUSH2 0x1545
00001a56: JUMP
00001a57: JUMPDEST
00001a58: SWAP2
00001a59: POP
00001a5a: PUSH2 0x1a62
00001a5d: DUP4
00001a5e: PUSH2 0x1545
00001a61: JUMP
00001a62: JUMPDEST
00001a63: SWAP3
00001a64: POP
00001a65: DUP3
00001a66: PUSH2 0x1a72
00001a69: JUMPI
00001a6a: PUSH2 0x1a71
00001a6d: PUSH2 0x1a20
00001a70: JUMP
00001a71: JUMPDEST
00001a72: JUMPDEST
00001a73: DUP3
00001a74: DUP3
00001a75: DIV
00001a76: SWAP1
00001a77: POP
00001a78: SWAP3
00001a79: SWAP2
00001a7a: POP
00001a7b: POP
00001a7c: JUMP
00001a7d: JUMPDEST
00001a7e: PUSH32 0x526564656d7074696f6e206e6f74206163746976617465642079657400000000
00001a9f: PUSH0
00001aa0: DUP3
00001aa1: ADD
00001aa2: MSTORE
00001aa3: POP
00001aa4: JUMP
00001aa5: JUMPDEST
00001aa6: PUSH0
00001aa7: PUSH2 0x1ab1
00001aaa: PUSH1 0x1c
00001aac: DUP4
00001aad: PUSH2 0x1609
00001ab0: JUMP
00001ab1: JUMPDEST
00001ab2: SWAP2
00001ab3: POP
00001ab4: PUSH2 0x1abc
00001ab7: DUP3
00001ab8: PUSH2 0x1a7d
00001abb: JUMP
00001abc: JUMPDEST
00001abd: PUSH1 0x20
00001abf: DUP3
00001ac0: ADD
00001ac1: SWAP1
00001ac2: POP
00001ac3: SWAP2
00001ac4: SWAP1
00001ac5: POP
00001ac6: JUMP
00001ac7: JUMPDEST
00001ac8: PUSH0
00001ac9: PUSH1 0x20
00001acb: DUP3
00001acc: ADD
00001acd: SWAP1
00001ace: POP
00001acf: DUP2
00001ad0: DUP2
00001ad1: SUB
00001ad2: PUSH0
00001ad3: DUP4
00001ad4: ADD
00001ad5: MSTORE
00001ad6: PUSH2 0x1ade
00001ad9: DUP2
00001ada: PUSH2 0x1aa5
00001add: JUMP
00001ade: JUMPDEST
00001adf: SWAP1
00001ae0: POP
00001ae1: SWAP2
00001ae2: SWAP1
00001ae3: POP
00001ae4: JUMP
00001ae5: JUMPDEST
00001ae6: PUSH32 0x526564656d7074696f6e20706572696f642068617320656e6465640000000000
00001b07: PUSH0
00001b08: DUP3
00001b09: ADD
00001b0a: MSTORE
00001b0b: POP
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: PUSH0
00001b0f: PUSH2 0x1b19
00001b12: PUSH1 0x1b
00001b14: DUP4
00001b15: PUSH2 0x1609
00001b18: JUMP
00001b19: JUMPDEST
00001b1a: SWAP2
00001b1b: POP
00001b1c: PUSH2 0x1b24
00001b1f: DUP3
00001b20: PUSH2 0x1ae5
00001b23: JUMP
00001b24: JUMPDEST
00001b25: PUSH1 0x20
00001b27: DUP3
00001b28: ADD
00001b29: SWAP1
00001b2a: POP
00001b2b: SWAP2
00001b2c: SWAP1
00001b2d: POP
00001b2e: JUMP
00001b2f: JUMPDEST
00001b30: PUSH0
00001b31: PUSH1 0x20
00001b33: DUP3
00001b34: ADD
00001b35: SWAP1
00001b36: POP
00001b37: DUP2
00001b38: DUP2
00001b39: SUB
00001b3a: PUSH0
00001b3b: DUP4
00001b3c: ADD
00001b3d: MSTORE
00001b3e: PUSH2 0x1b46
00001b41: DUP2
00001b42: PUSH2 0x1b0d
00001b45: JUMP
00001b46: JUMPDEST
00001b47: SWAP1
00001b48: POP
00001b49: SWAP2
00001b4a: SWAP1
00001b4b: POP
00001b4c: JUMP
00001b4d: JUMPDEST
00001b4e: PUSH32 0x416d6f756e74206d7573742062652067726561746572207468616e2030000000
00001b6f: PUSH0
00001b70: DUP3
00001b71: ADD
00001b72: MSTORE
00001b73: POP
00001b74: JUMP
00001b75: JUMPDEST
00001b76: PUSH0
00001b77: PUSH2 0x1b81
00001b7a: PUSH1 0x1d
00001b7c: DUP4
00001b7d: PUSH2 0x1609
00001b80: JUMP
00001b81: JUMPDEST
00001b82: SWAP2
00001b83: POP
00001b84: PUSH2 0x1b8c
00001b87: DUP3
00001b88: PUSH2 0x1b4d
00001b8b: JUMP
00001b8c: JUMPDEST
00001b8d: PUSH1 0x20
00001b8f: DUP3
00001b90: ADD
00001b91: SWAP1
00001b92: POP
00001b93: SWAP2
00001b94: SWAP1
00001b95: POP
00001b96: JUMP
00001b97: JUMPDEST
00001b98: PUSH0
00001b99: PUSH1 0x20
00001b9b: DUP3
00001b9c: ADD
00001b9d: SWAP1
00001b9e: POP
00001b9f: DUP2
00001ba0: DUP2
00001ba1: SUB
00001ba2: PUSH0
00001ba3: DUP4
00001ba4: ADD
00001ba5: MSTORE
00001ba6: PUSH2 0x1bae
00001ba9: DUP2
00001baa: PUSH2 0x1b75
00001bad: JUMP
00001bae: JUMPDEST
00001baf: SWAP1
00001bb0: POP
00001bb1: SWAP2
00001bb2: SWAP1
00001bb3: POP
00001bb4: JUMP
00001bb5: JUMPDEST
00001bb6: PUSH0
00001bb7: DUP2
00001bb8: MLOAD
00001bb9: SWAP1
00001bba: POP
00001bbb: PUSH2 0x1bc3
00001bbe: DUP2
00001bbf: PUSH2 0x1576
00001bc2: JUMP
00001bc3: JUMPDEST
00001bc4: SWAP3
00001bc5: SWAP2
00001bc6: POP
00001bc7: POP
00001bc8: JUMP
00001bc9: JUMPDEST
00001bca: PUSH0
00001bcb: PUSH1 0x20
00001bcd: DUP3
00001bce: DUP5
00001bcf: SUB
00001bd0: SLT
00001bd1: ISZERO
00001bd2: PUSH2 0x1bde
00001bd5: JUMPI
00001bd6: PUSH2 0x1bdd
00001bd9: PUSH2 0x13ed
00001bdc: JUMP
00001bdd: JUMPDEST
00001bde: JUMPDEST
00001bdf: PUSH0
00001be0: PUSH2 0x1beb
00001be3: DUP5
00001be4: DUP3
00001be5: DUP6
00001be6: ADD
00001be7: PUSH2 0x1bb5
00001bea: JUMP
00001beb: JUMPDEST
00001bec: SWAP2
00001bed: POP
00001bee: POP
00001bef: SWAP3
00001bf0: SWAP2
00001bf1: POP
00001bf2: POP
00001bf3: JUMP
00001bf4: JUMPDEST
00001bf5: PUSH32 0x496e73756666696369656e7420524f424f542062616c616e6365000000000000
00001c16: PUSH0
00001c17: DUP3
00001c18: ADD
00001c19: MSTORE
00001c1a: POP
00001c1b: JUMP
00001c1c: JUMPDEST
00001c1d: PUSH0
00001c1e: PUSH2 0x1c28
00001c21: PUSH1 0x1a
00001c23: DUP4
00001c24: PUSH2 0x1609
00001c27: JUMP
00001c28: JUMPDEST
00001c29: SWAP2
00001c2a: POP
00001c2b: PUSH2 0x1c33
00001c2e: DUP3
00001c2f: PUSH2 0x1bf4
00001c32: JUMP
00001c33: JUMPDEST
00001c34: PUSH1 0x20
00001c36: DUP3
00001c37: ADD
00001c38: SWAP1
00001c39: POP
00001c3a: SWAP2
00001c3b: SWAP1
00001c3c: POP
00001c3d: JUMP
00001c3e: JUMPDEST
00001c3f: PUSH0
00001c40: PUSH1 0x20
00001c42: DUP3
00001c43: ADD
00001c44: SWAP1
00001c45: POP
00001c46: DUP2
00001c47: DUP2
00001c48: SUB
00001c49: PUSH0
00001c4a: DUP4
00001c4b: ADD
00001c4c: MSTORE
00001c4d: PUSH2 0x1c55
00001c50: DUP2
00001c51: PUSH2 0x1c1c
00001c54: JUMP
00001c55: JUMPDEST
00001c56: SWAP1
00001c57: POP
00001c58: SWAP2
00001c59: SWAP1
00001c5a: POP
00001c5b: JUMP
00001c5c: JUMPDEST
00001c5d: PUSH32 0x496e73756666696369656e742045544820696e20636f6e747261637400000000
00001c7e: PUSH0
00001c7f: DUP3
00001c80: ADD
00001c81: MSTORE
00001c82: POP
00001c83: JUMP
00001c84: JUMPDEST
00001c85: PUSH0
00001c86: PUSH2 0x1c90
00001c89: PUSH1 0x1c
00001c8b: DUP4
00001c8c: PUSH2 0x1609
00001c8f: JUMP
00001c90: JUMPDEST
00001c91: SWAP2
00001c92: POP
00001c93: PUSH2 0x1c9b
00001c96: DUP3
00001c97: PUSH2 0x1c5c
00001c9a: JUMP
00001c9b: JUMPDEST
00001c9c: PUSH1 0x20
00001c9e: DUP3
00001c9f: ADD
00001ca0: SWAP1
00001ca1: POP
00001ca2: SWAP2
00001ca3: SWAP1
00001ca4: POP
00001ca5: JUMP
00001ca6: JUMPDEST
00001ca7: PUSH0
00001ca8: PUSH1 0x20
00001caa: DUP3
00001cab: ADD
00001cac: SWAP1
00001cad: POP
00001cae: DUP2
00001caf: DUP2
00001cb0: SUB
00001cb1: PUSH0
00001cb2: DUP4
00001cb3: ADD
00001cb4: MSTORE
00001cb5: PUSH2 0x1cbd
00001cb8: DUP2
00001cb9: PUSH2 0x1c84
00001cbc: JUMP
00001cbd: JUMPDEST
00001cbe: SWAP1
00001cbf: POP
00001cc0: SWAP2
00001cc1: SWAP1
00001cc2: POP
00001cc3: JUMP
00001cc4: JUMPDEST
00001cc5: PUSH0
00001cc6: PUSH1 0x60
00001cc8: DUP3
00001cc9: ADD
00001cca: SWAP1
00001ccb: POP
00001ccc: PUSH2 0x1cd7
00001ccf: PUSH0
00001cd0: DUP4
00001cd1: ADD
00001cd2: DUP7
00001cd3: PUSH2 0x14ea
00001cd6: JUMP
00001cd7: JUMPDEST
00001cd8: PUSH2 0x1ce4
00001cdb: PUSH1 0x20
00001cdd: DUP4
00001cde: ADD
00001cdf: DUP6
00001ce0: PUSH2 0x14ea
00001ce3: JUMP
00001ce4: JUMPDEST
00001ce5: PUSH2 0x1cf1
00001ce8: PUSH1 0x40
00001cea: DUP4
00001ceb: ADD
00001cec: DUP5
00001ced: PUSH2 0x154e
00001cf0: JUMP
00001cf1: JUMPDEST
00001cf2: SWAP5
00001cf3: SWAP4
00001cf4: POP
00001cf5: POP
00001cf6: POP
00001cf7: POP
00001cf8: JUMP
00001cf9: JUMPDEST
00001cfa: PUSH2 0x1d02
00001cfd: DUP2
00001cfe: PUSH2 0x1512
00001d01: JUMP
00001d02: JUMPDEST
00001d03: DUP2
00001d04: EQ
00001d05: PUSH2 0x1d0c
00001d08: JUMPI
00001d09: PUSH0
00001d0a: DUP1
00001d0b: REVERT
00001d0c: JUMPDEST
00001d0d: POP
00001d0e: JUMP
00001d0f: JUMPDEST
00001d10: PUSH0
00001d11: DUP2
00001d12: MLOAD
00001d13: SWAP1
00001d14: POP
00001d15: PUSH2 0x1d1d
00001d18: DUP2
00001d19: PUSH2 0x1cf9
00001d1c: JUMP
00001d1d: JUMPDEST
00001d1e: SWAP3
00001d1f: SWAP2
00001d20: POP
00001d21: POP
00001d22: JUMP
00001d23: JUMPDEST
00001d24: PUSH0
00001d25: PUSH1 0x20
00001d27: DUP3
00001d28: DUP5
00001d29: SUB
00001d2a: SLT
00001d2b: ISZERO
00001d2c: PUSH2 0x1d38
00001d2f: JUMPI
00001d30: PUSH2 0x1d37
00001d33: PUSH2 0x13ed
00001d36: JUMP
00001d37: JUMPDEST
00001d38: JUMPDEST
00001d39: PUSH0
00001d3a: PUSH2 0x1d45
00001d3d: DUP5
00001d3e: DUP3
00001d3f: DUP6
00001d40: ADD
00001d41: PUSH2 0x1d0f
00001d44: JUMP
00001d45: JUMPDEST
00001d46: SWAP2
00001d47: POP
00001d48: POP
00001d49: SWAP3
00001d4a: SWAP2
00001d4b: POP
00001d4c: POP
00001d4d: JUMP
00001d4e: JUMPDEST
00001d4f: PUSH32 0x546f6b656e207472616e73666572206661696c65640000000000000000000000
00001d70: PUSH0
00001d71: DUP3
00001d72: ADD
00001d73: MSTORE
00001d74: POP
00001d75: JUMP
00001d76: JUMPDEST
00001d77: PUSH0
00001d78: PUSH2 0x1d82
00001d7b: PUSH1 0x15
00001d7d: DUP4
00001d7e: PUSH2 0x1609
00001d81: JUMP
00001d82: JUMPDEST
00001d83: SWAP2
00001d84: POP
00001d85: PUSH2 0x1d8d
00001d88: DUP3
00001d89: PUSH2 0x1d4e
00001d8c: JUMP
00001d8d: JUMPDEST
00001d8e: PUSH1 0x20
00001d90: DUP3
00001d91: ADD
00001d92: SWAP1
00001d93: POP
00001d94: SWAP2
00001d95: SWAP1
00001d96: POP
00001d97: JUMP
00001d98: JUMPDEST
00001d99: PUSH0
00001d9a: PUSH1 0x20
00001d9c: DUP3
00001d9d: ADD
00001d9e: SWAP1
00001d9f: POP
00001da0: DUP2
00001da1: DUP2
00001da2: SUB
00001da3: PUSH0
00001da4: DUP4
00001da5: ADD
00001da6: MSTORE
00001da7: PUSH2 0x1daf
00001daa: DUP2
00001dab: PUSH2 0x1d76
00001dae: JUMP
00001daf: JUMPDEST
00001db0: SWAP1
00001db1: POP
00001db2: SWAP2
00001db3: SWAP1
00001db4: POP
00001db5: JUMP
00001db6: JUMPDEST
00001db7: PUSH0
00001db8: PUSH1 0x80
00001dba: DUP3
00001dbb: ADD
00001dbc: SWAP1
00001dbd: POP
00001dbe: PUSH2 0x1dc9
00001dc1: PUSH0
00001dc2: DUP4
00001dc3: ADD
00001dc4: DUP8
00001dc5: PUSH2 0x154e
00001dc8: JUMP
00001dc9: JUMPDEST
00001dca: PUSH2 0x1dd6
00001dcd: PUSH1 0x20
00001dcf: DUP4
00001dd0: ADD
00001dd1: DUP7
00001dd2: PUSH2 0x154e
00001dd5: JUMP
00001dd6: JUMPDEST
00001dd7: PUSH2 0x1de3
00001dda: PUSH1 0x40
00001ddc: DUP4
00001ddd: ADD
00001dde: DUP6
00001ddf: PUSH2 0x154e
00001de2: JUMP
00001de3: JUMPDEST
00001de4: PUSH2 0x1df0
00001de7: PUSH1 0x60
00001de9: DUP4
00001dea: ADD
00001deb: DUP5
00001dec: PUSH2 0x14ea
00001def: JUMP
00001df0: JUMPDEST
00001df1: SWAP6
00001df2: SWAP5
00001df3: POP
00001df4: POP
00001df5: POP
00001df6: POP
00001df7: POP
00001df8: JUMP
00001df9: JUMPDEST
00001dfa: PUSH32 0x537570706c79206d7573742062652067726561746572207468616e2030000000
00001e1b: PUSH0
00001e1c: DUP3
00001e1d: ADD
00001e1e: MSTORE
00001e1f: POP
00001e20: JUMP
00001e21: JUMPDEST
00001e22: PUSH0
00001e23: PUSH2 0x1e2d
00001e26: PUSH1 0x1d
00001e28: DUP4
00001e29: PUSH2 0x1609
00001e2c: JUMP
00001e2d: JUMPDEST
00001e2e: SWAP2
00001e2f: POP
00001e30: PUSH2 0x1e38
00001e33: DUP3
00001e34: PUSH2 0x1df9
00001e37: JUMP
00001e38: JUMPDEST
00001e39: PUSH1 0x20
00001e3b: DUP3
00001e3c: ADD
00001e3d: SWAP1
00001e3e: POP
00001e3f: SWAP2
00001e40: SWAP1
00001e41: POP
00001e42: JUMP
00001e43: JUMPDEST
00001e44: PUSH0
00001e45: PUSH1 0x20
00001e47: DUP3
00001e48: ADD
00001e49: SWAP1
00001e4a: POP
00001e4b: DUP2
00001e4c: DUP2
00001e4d: SUB
00001e4e: PUSH0
00001e4f: DUP4
00001e50: ADD
00001e51: MSTORE
00001e52: PUSH2 0x1e5a
00001e55: DUP2
00001e56: PUSH2 0x1e21
00001e59: JUMP
00001e5a: JUMPDEST
00001e5b: SWAP1
00001e5c: POP
00001e5d: SWAP2
00001e5e: SWAP1
00001e5f: POP
00001e60: JUMP
00001e61: JUMPDEST
00001e62: PUSH32 0x496e76616c696420737570706c79000000000000000000000000000000000000
00001e83: PUSH0
00001e84: DUP3
00001e85: ADD
00001e86: MSTORE
00001e87: POP
00001e88: JUMP
00001e89: JUMPDEST
00001e8a: PUSH0
00001e8b: PUSH2 0x1e95
00001e8e: PUSH1 0x0e
00001e90: DUP4
00001e91: PUSH2 0x1609
00001e94: JUMP
00001e95: JUMPDEST
00001e96: SWAP2
00001e97: POP
00001e98: PUSH2 0x1ea0
00001e9b: DUP3
00001e9c: PUSH2 0x1e61
00001e9f: JUMP
00001ea0: JUMPDEST
00001ea1: PUSH1 0x20
00001ea3: DUP3
00001ea4: ADD
00001ea5: SWAP1
00001ea6: POP
00001ea7: SWAP2
00001ea8: SWAP1
00001ea9: POP
00001eaa: JUMP
00001eab: JUMPDEST
00001eac: PUSH0
00001ead: PUSH1 0x20
00001eaf: DUP3
00001eb0: ADD
00001eb1: SWAP1
00001eb2: POP
00001eb3: DUP2
00001eb4: DUP2
00001eb5: SUB
00001eb6: PUSH0
00001eb7: DUP4
00001eb8: ADD
00001eb9: MSTORE
00001eba: PUSH2 0x1ec2
00001ebd: DUP2
00001ebe: PUSH2 0x1e89
00001ec1: JUMP
00001ec2: JUMPDEST
00001ec3: SWAP1
00001ec4: POP
00001ec5: SWAP2
00001ec6: SWAP1
00001ec7: POP
00001ec8: JUMP
00001ec9: INVALID
00001eca: LOG2
00001ecb: PUSH5 0x6970667358
00001ed1: UNKNOWN(0x22)
00001ed2: SLT
00001ed3: KECCAK256
00001ed4: DUP5
00001ed5: MUL
00001ed6: SWAP5
00001ed7: UNKNOWN(0xE7)
00001ed8: PUSH7 0x4975333f8266a4
00001ee0: UNKNOWN(0xE9)
00001ee1: UNKNOWN(0xDF)
00001ee2: UNKNOWN(0xC9)
00001ee3: UNKNOWN(0xC4)
00001ee4: KECCAK256
00001ee5: DUP1
00001ee6: PUSH17 0x25b84fc15ba045eb6bce5e20d864736f6c
00001ef8: PUSH4 0x4300081a
00001efd: STOP
00001efe: CALLER