Analysis Run

[codex:490127] OpenAI Codex v0.77.0 (research preview)
[codex:490127] --------
[codex:490127] workdir: /tmp/codex-multi-79ep83by
[codex:490127] model: gpt-5.2-codex
[codex:490127] provider: openai
[codex:490127] approval: never
[codex:490127] sandbox: read-only
[codex:490127] reasoning effort: xhigh
[codex:490127] reasoning summaries: auto
[codex:490127] session id: 019b7c58-296c-7150-a0fd-7eb40de23b89
[codex:490127] --------
[codex:490127] user
[codex:490127] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:490127] 
[codex:490127] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:490127] 
[codex:490127] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:490127] - Gas inefficiency, code quality, naming, or best practices
[codex:490127] - Theoretical vulnerabilities without a clear extraction path
[codex:490127] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:490127] - Front-running unless it enables theft beyond MEV
[codex:490127] - DoS, griefing, or issues that don't result in attacker profit
[codex:490127] - Missing events, view function issues, or informational findings
[codex:490127] 
[codex:490127] HIGH-VALUE PATTERNS TO HUNT:
[codex:490127] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:490127] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:490127] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:490127] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:490127] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:490127] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:490127] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:490127] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:490127] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:490127] 
[codex:490127] For each finding, you MUST provide:
[codex:490127] 1. Exact file and line numbers of vulnerable code
[codex:490127] 2. Step-by-step exploit transaction sequence
[codex:490127] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:490127] 
[codex:490127] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:490127] 
[codex:490127] Output MUST be valid JSON matching the provided schema.
[codex:490127] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:490127] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:490127] mcp startup: no servers
[codex:490127] 
[codex:490127] thinking
[codex:490127] **Preparing to read AUDIT_BUNDLE.txt**
[codex:490127] exec
[codex:490127] /bin/bash -lc ls in /tmp/codex-multi-79ep83by succeeded in 5ms:
[codex:490127] AUDIT_BUNDLE.txt
[codex:490127] codex-output-schema.json
[codex:490127] contracts
[codex:490127] exec
[codex:490127] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-79ep83by succeeded in 5ms:
[codex:490127] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:490127] 
[codex:490127] ================================================================================
[codex:490127] FILE: contracts/Contract.sol
[codex:490127] ================================================================================
[codex:490127] pragma solidity 0.5.16;
[codex:490127] 
[codex:490127] contract ThreeFMutual {
[codex:490127]     using SafeMath for *;
[codex:490127] 
[codex:490127]     //*********
[codex:490127]     // STRUCTS
[codex:490127]     //*********
[codex:490127]     struct Player {
[codex:490127]         uint256 id;             // agent id
[codex:490127]         bytes32 name;           // agent name
[codex:490127]         uint256 ref;            // referral vault
[codex:490127]         bool isAgent;           // referral activated
[codex:490127]         bool claimed;           // insurance claimed
[codex:490127]         uint256 eth;            // eth player has paid
[codex:490127] 
[codex:490127] 
[codex:490127] 
[codex:490127] thinking
[codex:490127] **Examining potential exploit paths and reentrancy risks**
[codex:490127] 
[codex:490127] I’m carefully analyzing if any profit exploit or reentrancy issue exists in the contract’s claim, withdraw, buy, and dividend logic. I find reentrancy is mostly guarded by updating state before external calls, isHuman checks, and SafeSend patterns. The pool and issuedInsurance accounting appears consistent to prevent over-claiming. The external Underwriter contract call is trusted but could theoretically reenter; however, no clear profit path emerges. I’m checking rounding, division-by-zero, expiration handling, and underflow risks but see no exploitable gaps based on the current code and assumptions. Overall, no obvious concrete exploit arises from the state and call sequence examined.
[codex:490127] thinking
[codex:490127] **Checking issuedInsurance manipulation and expiration logic**
[codex:490127] 
[codex:490127] I’m examining whether the user can skew issuedInsurance versus owned units to gain disproportionate claims by exploiting expiration timing, updatePlayerUnit, or tick mechanics. The analysis covers unit expirations, update flows, and whether global issuedInsurance syncs with player units on claim or buy. I’m also reviewing reentrancy or external call risks in register and withdraw functions, plus dividend and referral handling. Although subtle timing and rounding nuances exist, no clear exploit path to profit shows up from manipulating issuedInsurance or expiration data given current contract logic.
[codex:490127] thinking
[codex:490127] **Preparing final audit output**
[codex:490127] 
[codex:490127] I’m packaging the results into JSON per schema, confirming no exploitable findings and including a short summary that no concrete profit path was identified. Since there are no findings, the findings array will be empty and no line numbers needed.
[codex:490127] codex
[codex:490127] {"no_findings":true,"summary":"Reviewed `AUDIT_BUNDLE.txt` (contracts/Contract.sol) for concrete, attacker-profitable exploit paths; none found under the stated threat model.","findings":[]}
[codex:490127] tokens used
[codex:490127] 18,007
[codex:490127] {"no_findings":true,"summary":"Reviewed `AUDIT_BUNDLE.txt` (contracts/Contract.sol) for concrete, attacker-profitable exploit paths; none found under the stated threat model.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T01:37:34.381251+00:00",
        "returncode": 0
    },
    "summary": "Reviewed `AUDIT_BUNDLE.txt` (contracts/Contract.sol) for concrete, attacker-profitable exploit paths; none found under the stated threat model.",
    "raw_final": {
        "summary": "Reviewed `AUDIT_BUNDLE.txt` (contracts/Contract.sol) for concrete, attacker-profitable exploit paths; none found under the stated threat model.",
        "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 0x01f9
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x58516661
00000019: GT
0000001a: PUSH2 0x010d
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xb74e452b
00000024: GT
00000025: PUSH2 0x00a0
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xd93be433
0000002f: GT
00000030: PUSH2 0x006f
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xd93be433
0000003a: EQ
0000003b: PUSH2 0x06c2
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe7ee6ad6
00000045: EQ
00000046: PUSH2 0x06ec
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xefbe1c1c
00000050: EQ
00000051: PUSH2 0x0716
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xf0da9344
0000005b: EQ
0000005c: PUSH2 0x072b
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xf2c298be
00000066: EQ
00000067: PUSH2 0x0740
0000006a: JUMPI
0000006b: PUSH2 0x01f9
0000006e: JUMP
0000006f: JUMPDEST
00000070: DUP1
00000071: PUSH4 0xb74e452b
00000076: EQ
00000077: PUSH2 0x0649
0000007a: JUMPI
0000007b: DUP1
0000007c: PUSH4 0xcce7ec13
00000081: EQ
00000082: PUSH2 0x065e
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xd55ec697
0000008c: EQ
0000008d: PUSH2 0x068a
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xd6febde8
00000097: EQ
00000098: PUSH2 0x069f
0000009b: JUMPI
0000009c: PUSH2 0x01f9
0000009f: JUMP
000000a0: JUMPDEST
000000a1: DUP1
000000a2: PUSH4 0x95d89b41
000000a7: GT
000000a8: PUSH2 0x00dc
000000ab: JUMPI
000000ac: DUP1
000000ad: PUSH4 0x95d89b41
000000b2: EQ
000000b3: PUSH2 0x05f5
000000b6: JUMPI
000000b7: DUP1
000000b8: PUSH4 0xa6f2ae3a
000000bd: EQ
000000be: PUSH2 0x01f9
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0xaaaadb58
000000c8: EQ
000000c9: PUSH2 0x060a
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xb3bb8cd4
000000d3: EQ
000000d4: PUSH2 0x0634
000000d7: JUMPI
000000d8: PUSH2 0x01f9
000000db: JUMP
000000dc: JUMPDEST
000000dd: DUP1
000000de: PUSH4 0x58516661
000000e3: EQ
000000e4: PUSH2 0x0550
000000e7: JUMPI
000000e8: DUP1
000000e9: PUSH4 0x70a08231
000000ee: EQ
000000ef: PUSH2 0x0565
000000f2: JUMPI
000000f3: DUP1
000000f4: PUSH4 0x729fc613
000000f9: EQ
000000fa: PUSH2 0x0598
000000fd: JUMPI
000000fe: DUP1
000000ff: PUSH4 0x757b0884
00000104: EQ
00000105: PUSH2 0x05cb
00000108: JUMPI
00000109: PUSH2 0x01f9
0000010c: JUMP
0000010d: JUMPDEST
0000010e: DUP1
0000010f: PUSH4 0x18160ddd
00000114: GT
00000115: PUSH2 0x0190
00000118: JUMPI
00000119: DUP1
0000011a: PUSH4 0x3ef7c687
0000011f: GT
00000120: PUSH2 0x015f
00000123: JUMPI
00000124: DUP1
00000125: PUSH4 0x3ef7c687
0000012a: EQ
0000012b: PUSH2 0x0413
0000012e: JUMPI
0000012f: DUP1
00000130: PUSH4 0x402e912f
00000135: EQ
00000136: PUSH2 0x0461
00000139: JUMPI
0000013a: DUP1
0000013b: PUSH4 0x489b3fee
00000140: EQ
00000141: PUSH2 0x0476
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x4c54e1b5
0000014b: EQ
0000014c: PUSH2 0x04a9
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x4e71d92d
00000156: EQ
00000157: PUSH2 0x053b
0000015a: JUMPI
0000015b: PUSH2 0x01f9
0000015e: JUMP
0000015f: JUMPDEST
00000160: DUP1
00000161: PUSH4 0x18160ddd
00000166: EQ
00000167: PUSH2 0x0385
0000016a: JUMPI
0000016b: DUP1
0000016c: PUSH4 0x274806e0
00000171: EQ
00000172: PUSH2 0x039a
00000175: JUMPI
00000176: DUP1
00000177: PUSH4 0x313ce567
0000017c: EQ
0000017d: PUSH2 0x03d3
00000180: JUMPI
00000181: DUP1
00000182: PUSH4 0x3ccfd60b
00000187: EQ
00000188: PUSH2 0x03fe
0000018b: JUMPI
0000018c: PUSH2 0x01f9
0000018f: JUMP
00000190: JUMPDEST
00000191: DUP1
00000192: PUSH4 0x116134ee
00000197: GT
00000198: PUSH2 0x01cc
0000019b: JUMPI
0000019c: DUP1
0000019d: PUSH4 0x116134ee
000001a2: EQ
000001a3: PUSH2 0x02ec
000001a6: JUMPI
000001a7: DUP1
000001a8: PUSH4 0x12fa6feb
000001ad: EQ
000001ae: PUSH2 0x0301
000001b1: JUMPI
000001b2: DUP1
000001b3: PUSH4 0x16f0115b
000001b8: EQ
000001b9: PUSH2 0x032a
000001bc: JUMPI
000001bd: DUP1
000001be: PUSH4 0x17604f71
000001c3: EQ
000001c4: PUSH2 0x033f
000001c7: JUMPI
000001c8: PUSH2 0x01f9
000001cb: JUMP
000001cc: JUMPDEST
000001cd: DUP1
000001ce: PUSH4 0x018a25e8
000001d3: EQ
000001d4: PUSH2 0x0203
000001d7: JUMPI
000001d8: DUP1
000001d9: PUSH4 0x03314efa
000001de: EQ
000001df: PUSH2 0x022a
000001e2: JUMPI
000001e3: DUP1
000001e4: PUSH4 0x06fdde03
000001e9: EQ
000001ea: PUSH2 0x023f
000001ed: JUMPI
000001ee: DUP1
000001ef: PUSH4 0x0ddeb632
000001f4: EQ
000001f5: PUSH2 0x02c9
000001f8: JUMPI
000001f9: JUMPDEST
000001fa: PUSH2 0x0201
000001fd: PUSH2 0x07b0
00000200: JUMP
00000201: JUMPDEST
00000202: STOP
00000203: JUMPDEST
00000204: CALLVALUE
00000205: DUP1
00000206: ISZERO
00000207: PUSH2 0x020f
0000020a: JUMPI
0000020b: PUSH1 0x00
0000020d: DUP1
0000020e: REVERT
0000020f: JUMPDEST
00000210: POP
00000211: PUSH2 0x0218
00000214: PUSH2 0x07f5
00000217: JUMP
00000218: JUMPDEST
00000219: PUSH1 0x40
0000021b: DUP1
0000021c: MLOAD
0000021d: SWAP2
0000021e: DUP3
0000021f: MSTORE
00000220: MLOAD
00000221: SWAP1
00000222: DUP2
00000223: SWAP1
00000224: SUB
00000225: PUSH1 0x20
00000227: ADD
00000228: SWAP1
00000229: RETURN
0000022a: JUMPDEST
0000022b: CALLVALUE
0000022c: DUP1
0000022d: ISZERO
0000022e: PUSH2 0x0236
00000231: JUMPI
00000232: PUSH1 0x00
00000234: DUP1
00000235: REVERT
00000236: JUMPDEST
00000237: POP
00000238: PUSH2 0x0218
0000023b: PUSH2 0x089c
0000023e: JUMP
0000023f: JUMPDEST
00000240: CALLVALUE
00000241: DUP1
00000242: ISZERO
00000243: PUSH2 0x024b
00000246: JUMPI
00000247: PUSH1 0x00
00000249: DUP1
0000024a: REVERT
0000024b: JUMPDEST
0000024c: POP
0000024d: PUSH2 0x0254
00000250: PUSH2 0x08a2
00000253: JUMP
00000254: JUMPDEST
00000255: PUSH1 0x40
00000257: DUP1
00000258: MLOAD
00000259: PUSH1 0x20
0000025b: DUP1
0000025c: DUP3
0000025d: MSTORE
0000025e: DUP4
0000025f: MLOAD
00000260: DUP2
00000261: DUP4
00000262: ADD
00000263: MSTORE
00000264: DUP4
00000265: MLOAD
00000266: SWAP2
00000267: SWAP3
00000268: DUP4
00000269: SWAP3
0000026a: SWAP1
0000026b: DUP4
0000026c: ADD
0000026d: SWAP2
0000026e: DUP6
0000026f: ADD
00000270: SWAP1
00000271: DUP1
00000272: DUP4
00000273: DUP4
00000274: PUSH1 0x00
00000276: JUMPDEST
00000277: DUP4
00000278: DUP2
00000279: LT
0000027a: ISZERO
0000027b: PUSH2 0x028e
0000027e: JUMPI
0000027f: DUP2
00000280: DUP2
00000281: ADD
00000282: MLOAD
00000283: DUP4
00000284: DUP3
00000285: ADD
00000286: MSTORE
00000287: PUSH1 0x20
00000289: ADD
0000028a: PUSH2 0x0276
0000028d: JUMP
0000028e: JUMPDEST
0000028f: POP
00000290: POP
00000291: POP
00000292: POP
00000293: SWAP1
00000294: POP
00000295: SWAP1
00000296: DUP2
00000297: ADD
00000298: SWAP1
00000299: PUSH1 0x1f
0000029b: AND
0000029c: DUP1
0000029d: ISZERO
0000029e: PUSH2 0x02bb
000002a1: JUMPI
000002a2: DUP1
000002a3: DUP3
000002a4: SUB
000002a5: DUP1
000002a6: MLOAD
000002a7: PUSH1 0x01
000002a9: DUP4
000002aa: PUSH1 0x20
000002ac: SUB
000002ad: PUSH2 0x0100
000002b0: EXP
000002b1: SUB
000002b2: NOT
000002b3: AND
000002b4: DUP2
000002b5: MSTORE
000002b6: PUSH1 0x20
000002b8: ADD
000002b9: SWAP2
000002ba: POP
000002bb: JUMPDEST
000002bc: POP
000002bd: SWAP3
000002be: POP
000002bf: POP
000002c0: POP
000002c1: PUSH1 0x40
000002c3: MLOAD
000002c4: DUP1
000002c5: SWAP2
000002c6: SUB
000002c7: SWAP1
000002c8: RETURN
000002c9: JUMPDEST
000002ca: PUSH2 0x0201
000002cd: PUSH1 0x04
000002cf: DUP1
000002d0: CALLDATASIZE
000002d1: SUB
000002d2: PUSH1 0x40
000002d4: DUP2
000002d5: LT
000002d6: ISZERO
000002d7: PUSH2 0x02df
000002da: JUMPI
000002db: PUSH1 0x00
000002dd: DUP1
000002de: REVERT
000002df: JUMPDEST
000002e0: POP
000002e1: DUP1
000002e2: CALLDATALOAD
000002e3: SWAP1
000002e4: PUSH1 0x20
000002e6: ADD
000002e7: CALLDATALOAD
000002e8: PUSH2 0x08d0
000002eb: JUMP
000002ec: JUMPDEST
000002ed: CALLVALUE
000002ee: DUP1
000002ef: ISZERO
000002f0: PUSH2 0x02f8
000002f3: JUMPI
000002f4: PUSH1 0x00
000002f6: DUP1
000002f7: REVERT
000002f8: JUMPDEST
000002f9: POP
000002fa: PUSH2 0x0218
000002fd: PUSH2 0x095f
00000300: JUMP
00000301: JUMPDEST
00000302: CALLVALUE
00000303: DUP1
00000304: ISZERO
00000305: PUSH2 0x030d
00000308: JUMPI
00000309: PUSH1 0x00
0000030b: DUP1
0000030c: REVERT
0000030d: JUMPDEST
0000030e: POP
0000030f: PUSH2 0x0316
00000312: PUSH2 0x0965
00000315: JUMP
00000316: JUMPDEST
00000317: PUSH1 0x40
00000319: DUP1
0000031a: MLOAD
0000031b: SWAP2
0000031c: ISZERO
0000031d: ISZERO
0000031e: DUP3
0000031f: MSTORE
00000320: MLOAD
00000321: SWAP1
00000322: DUP2
00000323: SWAP1
00000324: SUB
00000325: PUSH1 0x20
00000327: ADD
00000328: SWAP1
00000329: RETURN
0000032a: JUMPDEST
0000032b: CALLVALUE
0000032c: DUP1
0000032d: ISZERO
0000032e: PUSH2 0x0336
00000331: JUMPI
00000332: PUSH1 0x00
00000334: DUP1
00000335: REVERT
00000336: JUMPDEST
00000337: POP
00000338: PUSH2 0x0218
0000033b: PUSH2 0x096e
0000033e: JUMP
0000033f: JUMPDEST
00000340: CALLVALUE
00000341: DUP1
00000342: ISZERO
00000343: PUSH2 0x034b
00000346: JUMPI
00000347: PUSH1 0x00
00000349: DUP1
0000034a: REVERT
0000034b: JUMPDEST
0000034c: POP
0000034d: PUSH2 0x0369
00000350: PUSH1 0x04
00000352: DUP1
00000353: CALLDATASIZE
00000354: SUB
00000355: PUSH1 0x20
00000357: DUP2
00000358: LT
00000359: ISZERO
0000035a: PUSH2 0x0362
0000035d: JUMPI
0000035e: PUSH1 0x00
00000360: DUP1
00000361: REVERT
00000362: JUMPDEST
00000363: POP
00000364: CALLDATALOAD
00000365: PUSH2 0x0974
00000368: JUMP
00000369: JUMPDEST
0000036a: PUSH1 0x40
0000036c: DUP1
0000036d: MLOAD
0000036e: PUSH1 0x01
00000370: PUSH1 0x01
00000372: PUSH1 0xa0
00000374: SHL
00000375: SUB
00000376: SWAP1
00000377: SWAP3
00000378: AND
00000379: DUP3
0000037a: MSTORE
0000037b: MLOAD
0000037c: SWAP1
0000037d: DUP2
0000037e: SWAP1
0000037f: SUB
00000380: PUSH1 0x20
00000382: ADD
00000383: SWAP1
00000384: RETURN
00000385: JUMPDEST
00000386: CALLVALUE
00000387: DUP1
00000388: ISZERO
00000389: PUSH2 0x0391
0000038c: JUMPI
0000038d: PUSH1 0x00
0000038f: DUP1
00000390: REVERT
00000391: JUMPDEST
00000392: POP
00000393: PUSH2 0x0218
00000396: PUSH2 0x098f
00000399: JUMP
0000039a: JUMPDEST
0000039b: CALLVALUE
0000039c: DUP1
0000039d: ISZERO
0000039e: PUSH2 0x03a6
000003a1: JUMPI
000003a2: PUSH1 0x00
000003a4: DUP1
000003a5: REVERT
000003a6: JUMPDEST
000003a7: POP
000003a8: PUSH2 0x0218
000003ab: PUSH1 0x04
000003ad: DUP1
000003ae: CALLDATASIZE
000003af: SUB
000003b0: PUSH1 0x40
000003b2: DUP2
000003b3: LT
000003b4: ISZERO
000003b5: PUSH2 0x03bd
000003b8: JUMPI
000003b9: PUSH1 0x00
000003bb: DUP1
000003bc: REVERT
000003bd: JUMPDEST
000003be: POP
000003bf: PUSH1 0x01
000003c1: PUSH1 0x01
000003c3: PUSH1 0xa0
000003c5: SHL
000003c6: SUB
000003c7: DUP2
000003c8: CALLDATALOAD
000003c9: AND
000003ca: SWAP1
000003cb: PUSH1 0x20
000003cd: ADD
000003ce: CALLDATALOAD
000003cf: PUSH2 0x09ac
000003d2: JUMP
000003d3: JUMPDEST
000003d4: CALLVALUE
000003d5: DUP1
000003d6: ISZERO
000003d7: PUSH2 0x03df
000003da: JUMPI
000003db: PUSH1 0x00
000003dd: DUP1
000003de: REVERT
000003df: JUMPDEST
000003e0: POP
000003e1: PUSH2 0x03e8
000003e4: PUSH2 0x09c9
000003e7: JUMP
000003e8: JUMPDEST
000003e9: PUSH1 0x40
000003eb: DUP1
000003ec: MLOAD
000003ed: PUSH1 0xff
000003ef: SWAP1
000003f0: SWAP3
000003f1: AND
000003f2: DUP3
000003f3: MSTORE
000003f4: MLOAD
000003f5: SWAP1
000003f6: DUP2
000003f7: SWAP1
000003f8: SUB
000003f9: PUSH1 0x20
000003fb: ADD
000003fc: SWAP1
000003fd: RETURN
000003fe: JUMPDEST
000003ff: CALLVALUE
00000400: DUP1
00000401: ISZERO
00000402: PUSH2 0x040a
00000405: JUMPI
00000406: PUSH1 0x00
00000408: DUP1
00000409: REVERT
0000040a: JUMPDEST
0000040b: POP
0000040c: PUSH2 0x0201
0000040f: PUSH2 0x09ce
00000412: JUMP
00000413: JUMPDEST
00000414: CALLVALUE
00000415: DUP1
00000416: ISZERO
00000417: PUSH2 0x041f
0000041a: JUMPI
0000041b: PUSH1 0x00
0000041d: DUP1
0000041e: REVERT
0000041f: JUMPDEST
00000420: POP
00000421: PUSH2 0x0428
00000424: PUSH2 0x0a06
00000427: JUMP
00000428: JUMPDEST
00000429: PUSH1 0x40
0000042b: MLOAD
0000042c: DUP1
0000042d: DUP3
0000042e: PUSH2 0x0c80
00000431: DUP1
00000432: DUP4
00000433: DUP4
00000434: PUSH1 0x00
00000436: JUMPDEST
00000437: DUP4
00000438: DUP2
00000439: LT
0000043a: ISZERO
0000043b: PUSH2 0x044e
0000043e: JUMPI
0000043f: DUP2
00000440: DUP2
00000441: ADD
00000442: MLOAD
00000443: DUP4
00000444: DUP3
00000445: ADD
00000446: MSTORE
00000447: PUSH1 0x20
00000449: ADD
0000044a: PUSH2 0x0436
0000044d: JUMP
0000044e: JUMPDEST
0000044f: POP
00000450: POP
00000451: POP
00000452: POP
00000453: SWAP1
00000454: POP
00000455: ADD
00000456: SWAP2
00000457: POP
00000458: POP
00000459: PUSH1 0x40
0000045b: MLOAD
0000045c: DUP1
0000045d: SWAP2
0000045e: SUB
0000045f: SWAP1
00000460: RETURN
00000461: JUMPDEST
00000462: CALLVALUE
00000463: DUP1
00000464: ISZERO
00000465: PUSH2 0x046d
00000468: JUMPI
00000469: PUSH1 0x00
0000046b: DUP1
0000046c: REVERT
0000046d: JUMPDEST
0000046e: POP
0000046f: PUSH2 0x0218
00000472: PUSH2 0x0a4b
00000475: JUMP
00000476: JUMPDEST
00000477: CALLVALUE
00000478: DUP1
00000479: ISZERO
0000047a: PUSH2 0x0482
0000047d: JUMPI
0000047e: PUSH1 0x00
00000480: DUP1
00000481: REVERT
00000482: JUMPDEST
00000483: POP
00000484: PUSH2 0x0428
00000487: PUSH1 0x04
00000489: DUP1
0000048a: CALLDATASIZE
0000048b: SUB
0000048c: PUSH1 0x20
0000048e: DUP2
0000048f: LT
00000490: ISZERO
00000491: PUSH2 0x0499
00000494: JUMPI
00000495: PUSH1 0x00
00000497: DUP1
00000498: REVERT
00000499: JUMPDEST
0000049a: POP
0000049b: CALLDATALOAD
0000049c: PUSH1 0x01
0000049e: PUSH1 0x01
000004a0: PUSH1 0xa0
000004a2: SHL
000004a3: SUB
000004a4: AND
000004a5: PUSH2 0x0a51
000004a8: JUMP
000004a9: JUMPDEST
000004aa: CALLVALUE
000004ab: DUP1
000004ac: ISZERO
000004ad: PUSH2 0x04b5
000004b0: JUMPI
000004b1: PUSH1 0x00
000004b3: DUP1
000004b4: REVERT
000004b5: JUMPDEST
000004b6: POP
000004b7: PUSH2 0x04dc
000004ba: PUSH1 0x04
000004bc: DUP1
000004bd: CALLDATASIZE
000004be: SUB
000004bf: PUSH1 0x20
000004c1: DUP2
000004c2: LT
000004c3: ISZERO
000004c4: PUSH2 0x04cc
000004c7: JUMPI
000004c8: PUSH1 0x00
000004ca: DUP1
000004cb: REVERT
000004cc: JUMPDEST
000004cd: POP
000004ce: CALLDATALOAD
000004cf: PUSH1 0x01
000004d1: PUSH1 0x01
000004d3: PUSH1 0xa0
000004d5: SHL
000004d6: SUB
000004d7: AND
000004d8: PUSH2 0x0aad
000004db: JUMP
000004dc: JUMPDEST
000004dd: PUSH1 0x40
000004df: DUP1
000004e0: MLOAD
000004e1: SWAP13
000004e2: DUP14
000004e3: MSTORE
000004e4: PUSH1 0x20
000004e6: DUP14
000004e7: ADD
000004e8: SWAP12
000004e9: SWAP1
000004ea: SWAP12
000004eb: MSTORE
000004ec: DUP12
000004ed: DUP12
000004ee: ADD
000004ef: SWAP10
000004f0: SWAP1
000004f1: SWAP10
000004f2: MSTORE
000004f3: SWAP7
000004f4: ISZERO
000004f5: ISZERO
000004f6: PUSH1 0x60
000004f8: DUP12
000004f9: ADD
000004fa: MSTORE
000004fb: SWAP5
000004fc: ISZERO
000004fd: ISZERO
000004fe: PUSH1 0x80
00000500: DUP11
00000501: ADD
00000502: MSTORE
00000503: PUSH1 0xa0
00000505: DUP10
00000506: ADD
00000507: SWAP4
00000508: SWAP1
00000509: SWAP4
0000050a: MSTORE
0000050b: PUSH1 0xc0
0000050d: DUP9
0000050e: ADD
0000050f: SWAP2
00000510: SWAP1
00000511: SWAP2
00000512: MSTORE
00000513: PUSH1 0xe0
00000515: DUP8
00000516: ADD
00000517: MSTORE
00000518: PUSH2 0x0100
0000051b: DUP7
0000051c: ADD
0000051d: MSTORE
0000051e: PUSH2 0x0120
00000521: DUP6
00000522: ADD
00000523: MSTORE
00000524: PUSH2 0x0140
00000527: DUP5
00000528: ADD
00000529: MSTORE
0000052a: PUSH2 0x0160
0000052d: DUP4
0000052e: ADD
0000052f: MSTORE
00000530: MLOAD
00000531: SWAP1
00000532: DUP2
00000533: SWAP1
00000534: SUB
00000535: PUSH2 0x0180
00000538: ADD
00000539: SWAP1
0000053a: RETURN
0000053b: JUMPDEST
0000053c: CALLVALUE
0000053d: DUP1
0000053e: ISZERO
0000053f: PUSH2 0x0547
00000542: JUMPI
00000543: PUSH1 0x00
00000545: DUP1
00000546: REVERT
00000547: JUMPDEST
00000548: POP
00000549: PUSH2 0x0201
0000054c: PUSH2 0x0b07
0000054f: JUMP
00000550: JUMPDEST
00000551: CALLVALUE
00000552: DUP1
00000553: ISZERO
00000554: PUSH2 0x055c
00000557: JUMPI
00000558: PUSH1 0x00
0000055a: DUP1
0000055b: REVERT
0000055c: JUMPDEST
0000055d: POP
0000055e: PUSH2 0x0218
00000561: PUSH2 0x0c6a
00000564: JUMP
00000565: JUMPDEST
00000566: CALLVALUE
00000567: DUP1
00000568: ISZERO
00000569: PUSH2 0x0571
0000056c: JUMPI
0000056d: PUSH1 0x00
0000056f: DUP1
00000570: REVERT
00000571: JUMPDEST
00000572: POP
00000573: PUSH2 0x0218
00000576: PUSH1 0x04
00000578: DUP1
00000579: CALLDATASIZE
0000057a: SUB
0000057b: PUSH1 0x20
0000057d: DUP2
0000057e: LT
0000057f: ISZERO
00000580: PUSH2 0x0588
00000583: JUMPI
00000584: PUSH1 0x00
00000586: DUP1
00000587: REVERT
00000588: JUMPDEST
00000589: POP
0000058a: CALLDATALOAD
0000058b: PUSH1 0x01
0000058d: PUSH1 0x01
0000058f: PUSH1 0xa0
00000591: SHL
00000592: SUB
00000593: AND
00000594: PUSH2 0x0c70
00000597: JUMP
00000598: JUMPDEST
00000599: CALLVALUE
0000059a: DUP1
0000059b: ISZERO
0000059c: PUSH2 0x05a4
0000059f: JUMPI
000005a0: PUSH1 0x00
000005a2: DUP1
000005a3: REVERT
000005a4: JUMPDEST
000005a5: POP
000005a6: PUSH2 0x0218
000005a9: PUSH1 0x04
000005ab: DUP1
000005ac: CALLDATASIZE
000005ad: SUB
000005ae: PUSH1 0x20
000005b0: DUP2
000005b1: LT
000005b2: ISZERO
000005b3: PUSH2 0x05bb
000005b6: JUMPI
000005b7: PUSH1 0x00
000005b9: DUP1
000005ba: REVERT
000005bb: JUMPDEST
000005bc: POP
000005bd: CALLDATALOAD
000005be: PUSH1 0x01
000005c0: PUSH1 0x01
000005c2: PUSH1 0xa0
000005c4: SHL
000005c5: SUB
000005c6: AND
000005c7: PUSH2 0x0ca5
000005ca: JUMP
000005cb: JUMPDEST
000005cc: CALLVALUE
000005cd: DUP1
000005ce: ISZERO
000005cf: PUSH2 0x05d7
000005d2: JUMPI
000005d3: PUSH1 0x00
000005d5: DUP1
000005d6: REVERT
000005d7: JUMPDEST
000005d8: POP
000005d9: PUSH2 0x0218
000005dc: PUSH1 0x04
000005de: DUP1
000005df: CALLDATASIZE
000005e0: SUB
000005e1: PUSH1 0x20
000005e3: DUP2
000005e4: LT
000005e5: ISZERO
000005e6: PUSH2 0x05ee
000005e9: JUMPI
000005ea: PUSH1 0x00
000005ec: DUP1
000005ed: REVERT
000005ee: JUMPDEST
000005ef: POP
000005f0: CALLDATALOAD
000005f1: PUSH2 0x0d43
000005f4: JUMP
000005f5: JUMPDEST
000005f6: CALLVALUE
000005f7: DUP1
000005f8: ISZERO
000005f9: PUSH2 0x0601
000005fc: JUMPI
000005fd: PUSH1 0x00
000005ff: DUP1
00000600: REVERT
00000601: JUMPDEST
00000602: POP
00000603: PUSH2 0x0254
00000606: PUSH2 0x0d57
00000609: JUMP
0000060a: JUMPDEST
0000060b: CALLVALUE
0000060c: DUP1
0000060d: ISZERO
0000060e: PUSH2 0x0616
00000611: JUMPI
00000612: PUSH1 0x00
00000614: DUP1
00000615: REVERT
00000616: JUMPDEST
00000617: POP
00000618: PUSH2 0x0218
0000061b: PUSH1 0x04
0000061d: DUP1
0000061e: CALLDATASIZE
0000061f: SUB
00000620: PUSH1 0x20
00000622: DUP2
00000623: LT
00000624: ISZERO
00000625: PUSH2 0x062d
00000628: JUMPI
00000629: PUSH1 0x00
0000062b: DUP1
0000062c: REVERT
0000062d: JUMPDEST
0000062e: POP
0000062f: CALLDATALOAD
00000630: PUSH2 0x0d76
00000633: JUMP
00000634: JUMPDEST
00000635: CALLVALUE
00000636: DUP1
00000637: ISZERO
00000638: PUSH2 0x0640
0000063b: JUMPI
0000063c: PUSH1 0x00
0000063e: DUP1
0000063f: REVERT
00000640: JUMPDEST
00000641: POP
00000642: PUSH2 0x0218
00000645: PUSH2 0x0d88
00000648: JUMP
00000649: JUMPDEST
0000064a: CALLVALUE
0000064b: DUP1
0000064c: ISZERO
0000064d: PUSH2 0x0655
00000650: JUMPI
00000651: PUSH1 0x00
00000653: DUP1
00000654: REVERT
00000655: JUMPDEST
00000656: POP
00000657: PUSH2 0x0218
0000065a: PUSH2 0x0d8e
0000065d: JUMP
0000065e: JUMPDEST
0000065f: PUSH2 0x0201
00000662: PUSH1 0x04
00000664: DUP1
00000665: CALLDATASIZE
00000666: SUB
00000667: PUSH1 0x40
00000669: DUP2
0000066a: LT
0000066b: ISZERO
0000066c: PUSH2 0x0674
0000066f: JUMPI
00000670: PUSH1 0x00
00000672: DUP1
00000673: REVERT
00000674: JUMPDEST
00000675: POP
00000676: PUSH1 0x01
00000678: PUSH1 0x01
0000067a: PUSH1 0xa0
0000067c: SHL
0000067d: SUB
0000067e: DUP2
0000067f: CALLDATALOAD
00000680: AND
00000681: SWAP1
00000682: PUSH1 0x20
00000684: ADD
00000685: CALLDATALOAD
00000686: PUSH2 0x0d94
00000689: JUMP
0000068a: JUMPDEST
0000068b: CALLVALUE
0000068c: DUP1
0000068d: ISZERO
0000068e: PUSH2 0x0696
00000691: JUMPI
00000692: PUSH1 0x00
00000694: DUP1
00000695: REVERT
00000696: JUMPDEST
00000697: POP
00000698: PUSH2 0x0201
0000069b: PUSH2 0x0e27
0000069e: JUMP
0000069f: JUMPDEST
000006a0: PUSH2 0x0201
000006a3: PUSH1 0x04
000006a5: DUP1
000006a6: CALLDATASIZE
000006a7: SUB
000006a8: PUSH1 0x40
000006aa: DUP2
000006ab: LT
000006ac: ISZERO
000006ad: PUSH2 0x06b5
000006b0: JUMPI
000006b1: PUSH1 0x00
000006b3: DUP1
000006b4: REVERT
000006b5: JUMPDEST
000006b6: POP
000006b7: DUP1
000006b8: CALLDATALOAD
000006b9: SWAP1
000006ba: PUSH1 0x20
000006bc: ADD
000006bd: CALLDATALOAD
000006be: PUSH2 0x0f77
000006c1: JUMP
000006c2: JUMPDEST
000006c3: CALLVALUE
000006c4: DUP1
000006c5: ISZERO
000006c6: PUSH2 0x06ce
000006c9: JUMPI
000006ca: PUSH1 0x00
000006cc: DUP1
000006cd: REVERT
000006ce: JUMPDEST
000006cf: POP
000006d0: PUSH2 0x0369
000006d3: PUSH1 0x04
000006d5: DUP1
000006d6: CALLDATASIZE
000006d7: SUB
000006d8: PUSH1 0x20
000006da: DUP2
000006db: LT
000006dc: ISZERO
000006dd: PUSH2 0x06e5
000006e0: JUMPI
000006e1: PUSH1 0x00
000006e3: DUP1
000006e4: REVERT
000006e5: JUMPDEST
000006e6: POP
000006e7: CALLDATALOAD
000006e8: PUSH2 0x0ffa
000006eb: JUMP
000006ec: JUMPDEST
000006ed: CALLVALUE
000006ee: DUP1
000006ef: ISZERO
000006f0: PUSH2 0x06f8
000006f3: JUMPI
000006f4: PUSH1 0x00
000006f6: DUP1
000006f7: REVERT
000006f8: JUMPDEST
000006f9: POP
000006fa: PUSH2 0x0218
000006fd: PUSH1 0x04
000006ff: DUP1
00000700: CALLDATASIZE
00000701: SUB
00000702: PUSH1 0x20
00000704: DUP2
00000705: LT
00000706: ISZERO
00000707: PUSH2 0x070f
0000070a: JUMPI
0000070b: PUSH1 0x00
0000070d: DUP1
0000070e: REVERT
0000070f: JUMPDEST
00000710: POP
00000711: CALLDATALOAD
00000712: PUSH2 0x1015
00000715: JUMP
00000716: JUMPDEST
00000717: CALLVALUE
00000718: DUP1
00000719: ISZERO
0000071a: PUSH2 0x0722
0000071d: JUMPI
0000071e: PUSH1 0x00
00000720: DUP1
00000721: REVERT
00000722: JUMPDEST
00000723: POP
00000724: PUSH2 0x0218
00000727: PUSH2 0x1022
0000072a: JUMP
0000072b: JUMPDEST
0000072c: CALLVALUE
0000072d: DUP1
0000072e: ISZERO
0000072f: PUSH2 0x0737
00000732: JUMPI
00000733: PUSH1 0x00
00000735: DUP1
00000736: REVERT
00000737: JUMPDEST
00000738: POP
00000739: PUSH2 0x0218
0000073c: PUSH2 0x1028
0000073f: JUMP
00000740: JUMPDEST
00000741: PUSH2 0x0201
00000744: PUSH1 0x04
00000746: DUP1
00000747: CALLDATASIZE
00000748: SUB
00000749: PUSH1 0x20
0000074b: DUP2
0000074c: LT
0000074d: ISZERO
0000074e: PUSH2 0x0756
00000751: JUMPI
00000752: PUSH1 0x00
00000754: DUP1
00000755: REVERT
00000756: JUMPDEST
00000757: DUP2
00000758: ADD
00000759: SWAP1
0000075a: PUSH1 0x20
0000075c: DUP2
0000075d: ADD
0000075e: DUP2
0000075f: CALLDATALOAD
00000760: PUSH5 0x0100000000
00000766: DUP2
00000767: GT
00000768: ISZERO
00000769: PUSH2 0x0771
0000076c: JUMPI
0000076d: PUSH1 0x00
0000076f: DUP1
00000770: REVERT
00000771: JUMPDEST
00000772: DUP3
00000773: ADD
00000774: DUP4
00000775: PUSH1 0x20
00000777: DUP3
00000778: ADD
00000779: GT
0000077a: ISZERO
0000077b: PUSH2 0x0783
0000077e: JUMPI
0000077f: PUSH1 0x00
00000781: DUP1
00000782: REVERT
00000783: JUMPDEST
00000784: DUP1
00000785: CALLDATALOAD
00000786: SWAP1
00000787: PUSH1 0x20
00000789: ADD
0000078a: SWAP2
0000078b: DUP5
0000078c: PUSH1 0x01
0000078e: DUP4
0000078f: MUL
00000790: DUP5
00000791: ADD
00000792: GT
00000793: PUSH5 0x0100000000
00000799: DUP4
0000079a: GT
0000079b: OR
0000079c: ISZERO
0000079d: PUSH2 0x07a5
000007a0: JUMPI
000007a1: PUSH1 0x00
000007a3: DUP1
000007a4: REVERT
000007a5: JUMPDEST
000007a6: POP
000007a7: SWAP1
000007a8: SWAP3
000007a9: POP
000007aa: SWAP1
000007ab: POP
000007ac: PUSH2 0x102e
000007af: JUMP
000007b0: JUMPDEST
000007b1: PUSH2 0x07b8
000007b4: PUSH2 0x12d4
000007b7: JUMP
000007b8: JUMPDEST
000007b9: ISZERO
000007ba: PUSH2 0x07e6
000007bd: JUMPI
000007be: CALLER
000007bf: ORIGIN
000007c0: EQ
000007c1: ISZERO
000007c2: PUSH2 0x07d5
000007c5: JUMPI
000007c6: PUSH2 0x07cf
000007c9: CALLER
000007ca: CALLVALUE
000007cb: PUSH2 0x13e8
000007ce: JUMP
000007cf: JUMPDEST
000007d0: POP
000007d1: PUSH2 0x07e1
000007d4: JUMP
000007d5: JUMPDEST
000007d6: PUSH2 0x07df
000007d9: CALLER
000007da: CALLVALUE
000007db: PUSH2 0x1445
000007de: JUMP
000007df: JUMPDEST
000007e0: POP
000007e1: JUMPDEST
000007e2: PUSH2 0x07f3
000007e5: JUMP
000007e6: JUMPDEST
000007e7: PUSH2 0x07f3
000007ea: CALLER
000007eb: CALLVALUE
000007ec: PUSH1 0x00
000007ee: DUP1
000007ef: PUSH2 0x1494
000007f2: JUMP
000007f3: JUMPDEST
000007f4: JUMP
000007f5: JUMPDEST
000007f6: PUSH1 0x01
000007f8: SLOAD
000007f9: PUSH1 0x09
000007fb: SLOAD
000007fc: PUSH1 0x00
000007fe: SWAP2
000007ff: PUSH1 0x01
00000801: PUSH1 0x01
00000803: PUSH1 0xa0
00000805: SHL
00000806: SUB
00000807: AND
00000808: SWAP1
00000809: PUSH4 0x6deba228
0000080e: SWAP1
0000080f: PUSH2 0x0826
00000812: SWAP1
00000813: PUSH8 0x0de0b6b3a7640000
0000081c: PUSH4 0xffffffff
00000821: PUSH2 0x183d
00000824: AND
00000825: JUMP
00000826: JUMPDEST
00000827: PUSH8 0x0de0b6b3a7640000
00000830: PUSH1 0x40
00000832: MLOAD
00000833: DUP4
00000834: PUSH4 0xffffffff
00000839: AND
0000083a: PUSH1 0xe0
0000083c: SHL
0000083d: DUP2
0000083e: MSTORE
0000083f: PUSH1 0x04
00000841: ADD
00000842: DUP1
00000843: DUP4
00000844: DUP2
00000845: MSTORE
00000846: PUSH1 0x20
00000848: ADD
00000849: DUP3
0000084a: DUP2
0000084b: MSTORE
0000084c: PUSH1 0x20
0000084e: ADD
0000084f: SWAP3
00000850: POP
00000851: POP
00000852: POP
00000853: PUSH1 0x20
00000855: PUSH1 0x40
00000857: MLOAD
00000858: DUP1
00000859: DUP4
0000085a: SUB
0000085b: DUP2
0000085c: DUP7
0000085d: DUP1
0000085e: EXTCODESIZE
0000085f: ISZERO
00000860: DUP1
00000861: ISZERO
00000862: PUSH2 0x086a
00000865: JUMPI
00000866: PUSH1 0x00
00000868: DUP1
00000869: REVERT
0000086a: JUMPDEST
0000086b: POP
0000086c: GAS
0000086d: STATICCALL
0000086e: ISZERO
0000086f: DUP1
00000870: ISZERO
00000871: PUSH2 0x087e
00000874: JUMPI
00000875: RETURNDATASIZE
00000876: PUSH1 0x00
00000878: DUP1
00000879: RETURNDATACOPY
0000087a: RETURNDATASIZE
0000087b: PUSH1 0x00
0000087d: REVERT
0000087e: JUMPDEST
0000087f: POP
00000880: POP
00000881: POP
00000882: POP
00000883: PUSH1 0x40
00000885: MLOAD
00000886: RETURNDATASIZE
00000887: PUSH1 0x20
00000889: DUP2
0000088a: LT
0000088b: ISZERO
0000088c: PUSH2 0x0894
0000088f: JUMPI
00000890: PUSH1 0x00
00000892: DUP1
00000893: REVERT
00000894: JUMPDEST
00000895: POP
00000896: MLOAD
00000897: SWAP1
00000898: POP
00000899: JUMPDEST
0000089a: SWAP1
0000089b: JUMP
0000089c: JUMPDEST
0000089d: PUSH1 0x09
0000089f: SLOAD
000008a0: DUP2
000008a1: JUMP
000008a2: JUMPDEST
000008a3: PUSH1 0x40
000008a5: MLOAD
000008a6: DUP1
000008a7: PUSH1 0x40
000008a9: ADD
000008aa: PUSH1 0x40
000008ac: MSTORE
000008ad: DUP1
000008ae: PUSH1 0x12
000008b0: DUP2
000008b1: MSTORE
000008b2: PUSH1 0x20
000008b4: ADD
000008b5: PUSH18 0x151a1a5c9908119b1bdbdc88135d5d1d585b
000008c8: PUSH1 0x72
000008ca: SHL
000008cb: DUP2
000008cc: MSTORE
000008cd: POP
000008ce: DUP2
000008cf: JUMP
000008d0: JUMPDEST
000008d1: CALLER
000008d2: ORIGIN
000008d3: EQ
000008d4: PUSH2 0x0918
000008d7: JUMPI
000008d8: PUSH1 0x40
000008da: DUP1
000008db: MLOAD
000008dc: PUSH3 0x461bcd
000008e0: PUSH1 0xe5
000008e2: SHL
000008e3: DUP2
000008e4: MSTORE
000008e5: PUSH1 0x20
000008e7: PUSH1 0x04
000008e9: DUP3
000008ea: ADD
000008eb: MSTORE
000008ec: PUSH1 0x11
000008ee: PUSH1 0x24
000008f0: DUP3
000008f1: ADD
000008f2: MSTORE
000008f3: PUSH17 0x736f7272792068756d616e73206f6e6c79
00000905: PUSH1 0x78
00000907: SHL
00000908: PUSH1 0x44
0000090a: DUP3
0000090b: ADD
0000090c: MSTORE
0000090d: SWAP1
0000090e: MLOAD
0000090f: SWAP1
00000910: DUP2
00000911: SWAP1
00000912: SUB
00000913: PUSH1 0x64
00000915: ADD
00000916: SWAP1
00000917: REVERT
00000918: JUMPDEST
00000919: PUSH2 0x0920
0000091c: PUSH2 0x12d4
0000091f: JUMP
00000920: JUMPDEST
00000921: ISZERO
00000922: PUSH2 0x0935
00000925: JUMPI
00000926: PUSH2 0x092f
00000929: CALLER
0000092a: CALLVALUE
0000092b: PUSH2 0x13e8
0000092e: JUMP
0000092f: JUMPDEST
00000930: POP
00000931: PUSH2 0x095b
00000934: JUMP
00000935: JUMPDEST
00000936: PUSH1 0x00
00000938: DUP3
00000939: DUP2
0000093a: MSTORE
0000093b: PUSH1 0x11
0000093d: PUSH1 0x20
0000093f: MSTORE
00000940: PUSH1 0x40
00000942: SWAP1
00000943: KECCAK256
00000944: SLOAD
00000945: PUSH1 0x01
00000947: PUSH1 0x01
00000949: PUSH1 0xa0
0000094b: SHL
0000094c: SUB
0000094d: AND
0000094e: PUSH2 0x0959
00000951: CALLER
00000952: CALLVALUE
00000953: DUP5
00000954: DUP5
00000955: PUSH2 0x1494
00000958: JUMP
00000959: JUMPDEST
0000095a: POP
0000095b: JUMPDEST
0000095c: POP
0000095d: POP
0000095e: JUMP
0000095f: JUMPDEST
00000960: PUSH1 0x0d
00000962: SLOAD
00000963: DUP2
00000964: JUMP
00000965: JUMPDEST
00000966: PUSH1 0x04
00000968: SLOAD
00000969: PUSH1 0xff
0000096b: AND
0000096c: DUP2
0000096d: JUMP
0000096e: JUMPDEST
0000096f: PUSH1 0x0a
00000971: SLOAD
00000972: DUP2
00000973: JUMP
00000974: JUMPDEST
00000975: PUSH1 0x11
00000977: PUSH1 0x20
00000979: MSTORE
0000097a: PUSH1 0x00
0000097c: SWAP1
0000097d: DUP2
0000097e: MSTORE
0000097f: PUSH1 0x40
00000981: SWAP1
00000982: KECCAK256
00000983: SLOAD
00000984: PUSH1 0x01
00000986: PUSH1 0x01
00000988: PUSH1 0xa0
0000098a: SHL
0000098b: SUB
0000098c: AND
0000098d: DUP2
0000098e: JUMP
0000098f: JUMPDEST
00000990: PUSH1 0x04
00000992: SLOAD
00000993: PUSH1 0x00
00000995: SWAP1
00000996: PUSH1 0xff
00000998: AND
00000999: ISZERO
0000099a: PUSH2 0x09a5
0000099d: JUMPI
0000099e: POP
0000099f: PUSH1 0x00
000009a1: PUSH2 0x0899
000009a4: JUMP
000009a5: JUMPDEST
000009a6: POP
000009a7: PUSH1 0x09
000009a9: SLOAD
000009aa: SWAP1
000009ab: JUMP
000009ac: JUMPDEST
000009ad: PUSH1 0x05
000009af: PUSH1 0x20
000009b1: SWAP1
000009b2: DUP2
000009b3: MSTORE
000009b4: PUSH1 0x00
000009b6: SWAP3
000009b7: DUP4
000009b8: MSTORE
000009b9: PUSH1 0x40
000009bb: DUP1
000009bc: DUP5
000009bd: KECCAK256
000009be: SWAP1
000009bf: SWAP2
000009c0: MSTORE
000009c1: SWAP1
000009c2: DUP3
000009c3: MSTORE
000009c4: SWAP1
000009c5: KECCAK256
000009c6: SLOAD
000009c7: DUP2
000009c8: JUMP
000009c9: JUMPDEST
000009ca: PUSH1 0x12
000009cc: DUP2
000009cd: JUMP
000009ce: JUMPDEST
000009cf: PUSH1 0x00
000009d1: PUSH2 0x09d9
000009d4: CALLER
000009d5: PUSH2 0x184d
000009d8: JUMP
000009d9: JUMPDEST
000009da: SWAP1
000009db: POP
000009dc: DUP1
000009dd: ISZERO
000009de: PUSH2 0x0a03
000009e1: JUMPI
000009e2: CALLER
000009e3: ORIGIN
000009e4: EQ
000009e5: ISZERO
000009e6: PUSH2 0x09f9
000009e9: JUMPI
000009ea: PUSH2 0x09f3
000009ed: CALLER
000009ee: DUP3
000009ef: PUSH2 0x13e8
000009f2: JUMP
000009f3: JUMPDEST
000009f4: POP
000009f5: PUSH2 0x0a03
000009f8: JUMP
000009f9: JUMPDEST
000009fa: PUSH2 0x095b
000009fd: CALLER
000009fe: DUP3
000009ff: PUSH2 0x1445
00000a02: JUMP
00000a03: JUMPDEST
00000a04: POP
00000a05: JUMP
00000a06: JUMPDEST
00000a07: PUSH2 0x0a0e
00000a0a: PUSH2 0x1d5b
00000a0d: JUMP
00000a0e: JUMPDEST
00000a0f: PUSH1 0x00
00000a11: JUMPDEST
00000a12: PUSH1 0x64
00000a14: DUP2
00000a15: LT
00000a16: ISZERO
00000a17: PUSH2 0x0a47
00000a1a: JUMPI
00000a1b: PUSH1 0x0b
00000a1d: SLOAD
00000a1e: DUP2
00000a1f: ADD
00000a20: PUSH1 0x00
00000a22: SWAP1
00000a23: DUP2
00000a24: MSTORE
00000a25: PUSH1 0x06
00000a27: PUSH1 0x20
00000a29: MSTORE
00000a2a: PUSH1 0x40
00000a2c: SWAP1
00000a2d: KECCAK256
00000a2e: SLOAD
00000a2f: DUP3
00000a30: DUP3
00000a31: PUSH1 0x64
00000a33: DUP2
00000a34: LT
00000a35: PUSH2 0x0a3a
00000a38: JUMPI
00000a39: INVALID
00000a3a: JUMPDEST
00000a3b: PUSH1 0x20
00000a3d: MUL
00000a3e: ADD
00000a3f: MSTORE
00000a40: PUSH1 0x01
00000a42: ADD
00000a43: PUSH2 0x0a11
00000a46: JUMP
00000a47: JUMPDEST
00000a48: POP
00000a49: SWAP1
00000a4a: JUMP
00000a4b: JUMPDEST
00000a4c: PUSH1 0x07
00000a4e: SLOAD
00000a4f: DUP2
00000a50: JUMP
00000a51: JUMPDEST
00000a52: PUSH2 0x0a59
00000a55: PUSH2 0x1d5b
00000a58: JUMP
00000a59: JUMPDEST
00000a5a: PUSH1 0x00
00000a5c: JUMPDEST
00000a5d: PUSH1 0x64
00000a5f: DUP2
00000a60: LT
00000a61: ISZERO
00000a62: PUSH2 0x0aa6
00000a65: JUMPI
00000a66: PUSH1 0x01
00000a68: PUSH1 0x01
00000a6a: PUSH1 0xa0
00000a6c: SHL
00000a6d: SUB
00000a6e: DUP4
00000a6f: AND
00000a70: PUSH1 0x00
00000a72: SWAP1
00000a73: DUP2
00000a74: MSTORE
00000a75: PUSH1 0x05
00000a77: PUSH1 0x20
00000a79: SWAP1
00000a7a: DUP2
00000a7b: MSTORE
00000a7c: PUSH1 0x40
00000a7e: DUP1
00000a7f: DUP4
00000a80: KECCAK256
00000a81: PUSH1 0x0b
00000a83: SLOAD
00000a84: DUP6
00000a85: ADD
00000a86: DUP5
00000a87: MSTORE
00000a88: SWAP1
00000a89: SWAP2
00000a8a: MSTORE
00000a8b: SWAP1
00000a8c: KECCAK256
00000a8d: SLOAD
00000a8e: DUP3
00000a8f: DUP3
00000a90: PUSH1 0x64
00000a92: DUP2
00000a93: LT
00000a94: PUSH2 0x0a99
00000a97: JUMPI
00000a98: INVALID
00000a99: JUMPDEST
00000a9a: PUSH1 0x20
00000a9c: MUL
00000a9d: ADD
00000a9e: MSTORE
00000a9f: PUSH1 0x01
00000aa1: ADD
00000aa2: PUSH2 0x0a5c
00000aa5: JUMP
00000aa6: JUMPDEST
00000aa7: POP
00000aa8: JUMPDEST
00000aa9: SWAP2
00000aaa: SWAP1
00000aab: POP
00000aac: JUMP
00000aad: JUMPDEST
00000aae: PUSH1 0x0f
00000ab0: PUSH1 0x20
00000ab2: MSTORE
00000ab3: PUSH1 0x00
00000ab5: SWAP1
00000ab6: DUP2
00000ab7: MSTORE
00000ab8: PUSH1 0x40
00000aba: SWAP1
00000abb: KECCAK256
00000abc: DUP1
00000abd: SLOAD
00000abe: PUSH1 0x01
00000ac0: DUP3
00000ac1: ADD
00000ac2: SLOAD
00000ac3: PUSH1 0x02
00000ac5: DUP4
00000ac6: ADD
00000ac7: SLOAD
00000ac8: PUSH1 0x03
00000aca: DUP5
00000acb: ADD
00000acc: SLOAD
00000acd: PUSH1 0x04
00000acf: DUP6
00000ad0: ADD
00000ad1: SLOAD
00000ad2: PUSH1 0x05
00000ad4: DUP7
00000ad5: ADD
00000ad6: SLOAD
00000ad7: PUSH1 0x06
00000ad9: DUP8
00000ada: ADD
00000adb: SLOAD
00000adc: PUSH1 0x07
00000ade: DUP9
00000adf: ADD
00000ae0: SLOAD
00000ae1: PUSH1 0x08
00000ae3: DUP10
00000ae4: ADD
00000ae5: SLOAD
00000ae6: PUSH1 0x09
00000ae8: DUP11
00000ae9: ADD
00000aea: SLOAD
00000aeb: PUSH1 0x0a
00000aed: SWAP1
00000aee: SWAP11
00000aef: ADD
00000af0: SLOAD
00000af1: SWAP9
00000af2: SWAP10
00000af3: SWAP8
00000af4: SWAP9
00000af5: SWAP7
00000af6: SWAP8
00000af7: PUSH1 0xff
00000af9: DUP1
00000afa: DUP9
00000afb: AND
00000afc: SWAP9
00000afd: PUSH2 0x0100
00000b00: SWAP1
00000b01: SWAP9
00000b02: DIV
00000b03: AND
00000b04: SWAP7
00000b05: DUP13
00000b06: JUMP
00000b07: JUMPDEST
00000b08: CALLER
00000b09: ORIGIN
00000b0a: EQ
00000b0b: PUSH2 0x0b4f
00000b0e: JUMPI
00000b0f: PUSH1 0x40
00000b11: DUP1
00000b12: MLOAD
00000b13: PUSH3 0x461bcd
00000b17: PUSH1 0xe5
00000b19: SHL
00000b1a: DUP2
00000b1b: MSTORE
00000b1c: PUSH1 0x20
00000b1e: PUSH1 0x04
00000b20: DUP3
00000b21: ADD
00000b22: MSTORE
00000b23: PUSH1 0x11
00000b25: PUSH1 0x24
00000b27: DUP3
00000b28: ADD
00000b29: MSTORE
00000b2a: PUSH17 0x736f7272792068756d616e73206f6e6c79
00000b3c: PUSH1 0x78
00000b3e: SHL
00000b3f: PUSH1 0x44
00000b41: DUP3
00000b42: ADD
00000b43: MSTORE
00000b44: SWAP1
00000b45: MLOAD
00000b46: SWAP1
00000b47: DUP2
00000b48: SWAP1
00000b49: SUB
00000b4a: PUSH1 0x64
00000b4c: ADD
00000b4d: SWAP1
00000b4e: REVERT
00000b4f: JUMPDEST
00000b50: PUSH2 0x0b57
00000b53: PUSH2 0x12d4
00000b56: JUMP
00000b57: JUMPDEST
00000b58: PUSH2 0x0b92
00000b5b: JUMPI
00000b5c: PUSH1 0x40
00000b5e: DUP1
00000b5f: MLOAD
00000b60: PUSH3 0x461bcd
00000b64: PUSH1 0xe5
00000b66: SHL
00000b67: DUP2
00000b68: MSTORE
00000b69: PUSH1 0x20
00000b6b: PUSH1 0x04
00000b6d: DUP3
00000b6e: ADD
00000b6f: MSTORE
00000b70: PUSH1 0x07
00000b72: PUSH1 0x24
00000b74: DUP3
00000b75: ADD
00000b76: MSTORE
00000b77: PUSH7 0x1b9bdd081e595d
00000b7f: PUSH1 0xca
00000b81: SHL
00000b82: PUSH1 0x44
00000b84: DUP3
00000b85: ADD
00000b86: MSTORE
00000b87: SWAP1
00000b88: MLOAD
00000b89: SWAP1
00000b8a: DUP2
00000b8b: SWAP1
00000b8c: SUB
00000b8d: PUSH1 0x64
00000b8f: ADD
00000b90: SWAP1
00000b91: REVERT
00000b92: JUMPDEST
00000b93: CALLER
00000b94: PUSH1 0x00
00000b96: DUP2
00000b97: DUP2
00000b98: MSTORE
00000b99: PUSH1 0x0f
00000b9b: PUSH1 0x20
00000b9d: MSTORE
00000b9e: PUSH1 0x40
00000ba0: SWAP1
00000ba1: KECCAK256
00000ba2: PUSH1 0x03
00000ba4: ADD
00000ba5: SLOAD
00000ba6: PUSH2 0x0100
00000ba9: SWAP1
00000baa: DIV
00000bab: PUSH1 0xff
00000bad: AND
00000bae: ISZERO
00000baf: PUSH2 0x0bf1
00000bb2: JUMPI
00000bb3: PUSH1 0x40
00000bb5: DUP1
00000bb6: MLOAD
00000bb7: PUSH3 0x461bcd
00000bbb: PUSH1 0xe5
00000bbd: SHL
00000bbe: DUP2
00000bbf: MSTORE
00000bc0: PUSH1 0x20
00000bc2: PUSH1 0x04
00000bc4: DUP3
00000bc5: ADD
00000bc6: MSTORE
00000bc7: PUSH1 0x0f
00000bc9: PUSH1 0x24
00000bcb: DUP3
00000bcc: ADD
00000bcd: MSTORE
00000bce: PUSH15 0x185b1c9958591e4818db185a5b5959
00000bde: PUSH1 0x8a
00000be0: SHL
00000be1: PUSH1 0x44
00000be3: DUP3
00000be4: ADD
00000be5: MSTORE
00000be6: SWAP1
00000be7: MLOAD
00000be8: SWAP1
00000be9: DUP2
00000bea: SWAP1
00000beb: SUB
00000bec: PUSH1 0x64
00000bee: ADD
00000bef: SWAP1
00000bf0: REVERT
00000bf1: JUMPDEST
00000bf2: PUSH2 0x0bfa
00000bf5: DUP2
00000bf6: PUSH2 0x18ea
00000bf9: JUMP
00000bfa: JUMPDEST
00000bfb: PUSH1 0x07
00000bfd: SLOAD
00000bfe: PUSH1 0x01
00000c00: PUSH1 0x01
00000c02: PUSH1 0xa0
00000c04: SHL
00000c05: SUB
00000c06: DUP3
00000c07: AND
00000c08: PUSH1 0x00
00000c0a: SWAP1
00000c0b: DUP2
00000c0c: MSTORE
00000c0d: PUSH1 0x0f
00000c0f: PUSH1 0x20
00000c11: MSTORE
00000c12: PUSH1 0x40
00000c14: DUP2
00000c15: KECCAK256
00000c16: PUSH1 0x06
00000c18: ADD
00000c19: SLOAD
00000c1a: PUSH1 0x0a
00000c1c: SLOAD
00000c1d: SWAP2
00000c1e: SWAP3
00000c1f: SWAP2
00000c20: PUSH2 0x0c2e
00000c23: SWAP2
00000c24: PUSH4 0xffffffff
00000c29: PUSH2 0x19eb
00000c2c: AND
00000c2d: JUMP
00000c2e: JUMPDEST
00000c2f: DUP2
00000c30: PUSH2 0x0c35
00000c33: JUMPI
00000c34: INVALID
00000c35: JUMPDEST
00000c36: PUSH1 0x01
00000c38: PUSH1 0x01
00000c3a: PUSH1 0xa0
00000c3c: SHL
00000c3d: SUB
00000c3e: DUP5
00000c3f: AND
00000c40: PUSH1 0x00
00000c42: SWAP1
00000c43: DUP2
00000c44: MSTORE
00000c45: PUSH1 0x0f
00000c47: PUSH1 0x20
00000c49: MSTORE
00000c4a: PUSH1 0x40
00000c4c: SWAP1
00000c4d: KECCAK256
00000c4e: PUSH1 0x03
00000c50: ADD
00000c51: DUP1
00000c52: SLOAD
00000c53: PUSH2 0xff00
00000c56: NOT
00000c57: AND
00000c58: PUSH2 0x0100
00000c5b: OR
00000c5c: SWAP1
00000c5d: SSTORE
00000c5e: DIV
00000c5f: SWAP1
00000c60: POP
00000c61: PUSH2 0x0959
00000c64: DUP3
00000c65: DUP3
00000c66: PUSH2 0x13e8
00000c69: JUMP
00000c6a: JUMPDEST
00000c6b: PUSH1 0x0e
00000c6d: SLOAD
00000c6e: DUP2
00000c6f: JUMP
00000c70: JUMPDEST
00000c71: PUSH1 0x04
00000c73: SLOAD
00000c74: PUSH1 0x00
00000c76: SWAP1
00000c77: PUSH1 0xff
00000c79: AND
00000c7a: ISZERO
00000c7b: PUSH2 0x0c86
00000c7e: JUMPI
00000c7f: POP
00000c80: PUSH1 0x00
00000c82: PUSH2 0x0aa8
00000c85: JUMP
00000c86: JUMPDEST
00000c87: POP
00000c88: PUSH1 0x01
00000c8a: PUSH1 0x01
00000c8c: PUSH1 0xa0
00000c8e: SHL
00000c8f: SUB
00000c90: AND
00000c91: PUSH1 0x00
00000c93: SWAP1
00000c94: DUP2
00000c95: MSTORE
00000c96: PUSH1 0x0f
00000c98: PUSH1 0x20
00000c9a: MSTORE
00000c9b: PUSH1 0x40
00000c9d: SWAP1
00000c9e: KECCAK256
00000c9f: PUSH1 0x05
00000ca1: ADD
00000ca2: SLOAD
00000ca3: SWAP1
00000ca4: JUMP
00000ca5: JUMPDEST
00000ca6: PUSH1 0x01
00000ca8: PUSH1 0x01
00000caa: PUSH1 0xa0
00000cac: SHL
00000cad: SUB
00000cae: DUP2
00000caf: AND
00000cb0: PUSH1 0x00
00000cb2: SWAP1
00000cb3: DUP2
00000cb4: MSTORE
00000cb5: PUSH1 0x0f
00000cb7: PUSH1 0x20
00000cb9: MSTORE
00000cba: PUSH1 0x40
00000cbc: DUP2
00000cbd: KECCAK256
00000cbe: PUSH1 0x06
00000cc0: DUP2
00000cc1: ADD
00000cc2: SLOAD
00000cc3: PUSH1 0x07
00000cc5: SWAP1
00000cc6: SWAP2
00000cc7: ADD
00000cc8: SLOAD
00000cc9: DUP3
00000cca: DUP2
00000ccb: ISZERO
00000ccc: PUSH2 0x0d1c
00000ccf: JUMPI
00000cd0: JUMPDEST
00000cd1: PUSH1 0x0b
00000cd3: SLOAD
00000cd4: DUP3
00000cd5: LT
00000cd6: ISZERO
00000cd7: PUSH2 0x0d1c
00000cda: JUMPI
00000cdb: PUSH1 0x01
00000cdd: PUSH1 0x01
00000cdf: PUSH1 0xa0
00000ce1: SHL
00000ce2: SUB
00000ce3: DUP6
00000ce4: AND
00000ce5: PUSH1 0x00
00000ce7: SWAP1
00000ce8: DUP2
00000ce9: MSTORE
00000cea: PUSH1 0x05
00000cec: PUSH1 0x20
00000cee: SWAP1
00000cef: DUP2
00000cf0: MSTORE
00000cf1: PUSH1 0x40
00000cf3: DUP1
00000cf4: DUP4
00000cf5: KECCAK256
00000cf6: DUP6
00000cf7: DUP5
00000cf8: MSTORE
00000cf9: SWAP1
00000cfa: SWAP2
00000cfb: MSTORE
00000cfc: SWAP1
00000cfd: KECCAK256
00000cfe: SLOAD
00000cff: PUSH2 0x0d0f
00000d02: SWAP1
00000d03: DUP3
00000d04: SWAP1
00000d05: PUSH4 0xffffffff
00000d0a: PUSH2 0x183d
00000d0d: AND
00000d0e: JUMP
00000d0f: JUMPDEST
00000d10: SWAP1
00000d11: POP
00000d12: PUSH1 0x01
00000d14: DUP3
00000d15: ADD
00000d16: SWAP2
00000d17: POP
00000d18: PUSH2 0x0cd0
00000d1b: JUMP
00000d1c: JUMPDEST
00000d1d: DUP3
00000d1e: ISZERO
00000d1f: PUSH2 0x0d37
00000d22: JUMPI
00000d23: PUSH2 0x0d32
00000d26: DUP4
00000d27: DUP3
00000d28: PUSH4 0xffffffff
00000d2d: PUSH2 0x1a13
00000d30: AND
00000d31: JUMP
00000d32: JUMPDEST
00000d33: PUSH2 0x0d3a
00000d36: JUMP
00000d37: JUMPDEST
00000d38: PUSH1 0x00
00000d3a: JUMPDEST
00000d3b: SWAP6
00000d3c: SWAP5
00000d3d: POP
00000d3e: POP
00000d3f: POP
00000d40: POP
00000d41: POP
00000d42: JUMP
00000d43: JUMPDEST
00000d44: PUSH1 0x77
00000d46: DUP2
00000d47: PUSH1 0x0a
00000d49: DUP2
00000d4a: LT
00000d4b: PUSH2 0x0d50
00000d4e: JUMPI
00000d4f: INVALID
00000d50: JUMPDEST
00000d51: ADD
00000d52: SLOAD
00000d53: SWAP1
00000d54: POP
00000d55: DUP2
00000d56: JUMP
00000d57: JUMPDEST
00000d58: PUSH1 0x40
00000d5a: MLOAD
00000d5b: DUP1
00000d5c: PUSH1 0x40
00000d5e: ADD
00000d5f: PUSH1 0x40
00000d61: MSTORE
00000d62: DUP1
00000d63: PUSH1 0x03
00000d65: DUP2
00000d66: MSTORE
00000d67: PUSH1 0x20
00000d69: ADD
00000d6a: PUSH3 0x33464d
00000d6e: PUSH1 0xe8
00000d70: SHL
00000d71: DUP2
00000d72: MSTORE
00000d73: POP
00000d74: DUP2
00000d75: JUMP
00000d76: JUMPDEST
00000d77: PUSH1 0x06
00000d79: PUSH1 0x20
00000d7b: MSTORE
00000d7c: PUSH1 0x00
00000d7e: SWAP1
00000d7f: DUP2
00000d80: MSTORE
00000d81: PUSH1 0x40
00000d83: SWAP1
00000d84: KECCAK256
00000d85: SLOAD
00000d86: DUP2
00000d87: JUMP
00000d88: JUMPDEST
00000d89: PUSH1 0x0c
00000d8b: SLOAD
00000d8c: DUP2
00000d8d: JUMP
00000d8e: JUMPDEST
00000d8f: PUSH1 0x0b
00000d91: SLOAD
00000d92: DUP2
00000d93: JUMP
00000d94: JUMPDEST
00000d95: CALLER
00000d96: ORIGIN
00000d97: EQ
00000d98: PUSH2 0x0ddc
00000d9b: JUMPI
00000d9c: PUSH1 0x40
00000d9e: DUP1
00000d9f: MLOAD
00000da0: PUSH3 0x461bcd
00000da4: PUSH1 0xe5
00000da6: SHL
00000da7: DUP2
00000da8: MSTORE
00000da9: PUSH1 0x20
00000dab: PUSH1 0x04
00000dad: DUP3
00000dae: ADD
00000daf: MSTORE
00000db0: PUSH1 0x11
00000db2: PUSH1 0x24
00000db4: DUP3
00000db5: ADD
00000db6: MSTORE
00000db7: PUSH17 0x736f7272792068756d616e73206f6e6c79
00000dc9: PUSH1 0x78
00000dcb: SHL
00000dcc: PUSH1 0x44
00000dce: DUP3
00000dcf: ADD
00000dd0: MSTORE
00000dd1: SWAP1
00000dd2: MLOAD
00000dd3: SWAP1
00000dd4: DUP2
00000dd5: SWAP1
00000dd6: SUB
00000dd7: PUSH1 0x64
00000dd9: ADD
00000dda: SWAP1
00000ddb: REVERT
00000ddc: JUMPDEST
00000ddd: PUSH2 0x0de4
00000de0: PUSH2 0x12d4
00000de3: JUMP
00000de4: JUMPDEST
00000de5: ISZERO
00000de6: PUSH2 0x0df3
00000de9: JUMPI
00000dea: PUSH2 0x092f
00000ded: CALLER
00000dee: CALLVALUE
00000def: PUSH2 0x13e8
00000df2: JUMP
00000df3: JUMPDEST
00000df4: PUSH1 0x01
00000df6: PUSH1 0x01
00000df8: PUSH1 0xa0
00000dfa: SHL
00000dfb: SUB
00000dfc: DUP3
00000dfd: AND
00000dfe: PUSH1 0x00
00000e00: SWAP1
00000e01: DUP2
00000e02: MSTORE
00000e03: PUSH1 0x0f
00000e05: PUSH1 0x20
00000e07: MSTORE
00000e08: PUSH1 0x40
00000e0a: SWAP1
00000e0b: KECCAK256
00000e0c: PUSH1 0x03
00000e0e: ADD
00000e0f: SLOAD
00000e10: PUSH1 0xff
00000e12: AND
00000e13: PUSH2 0x0e1b
00000e16: JUMPI
00000e17: PUSH1 0x00
00000e19: SWAP2
00000e1a: POP
00000e1b: JUMPDEST
00000e1c: PUSH2 0x095b
00000e1f: CALLER
00000e20: CALLVALUE
00000e21: DUP4
00000e22: DUP6
00000e23: PUSH2 0x1494
00000e26: JUMP
00000e27: JUMPDEST
00000e28: CALLER
00000e29: ORIGIN
00000e2a: EQ
00000e2b: PUSH2 0x0e6f
00000e2e: JUMPI
00000e2f: PUSH1 0x40
00000e31: DUP1
00000e32: MLOAD
00000e33: PUSH3 0x461bcd
00000e37: PUSH1 0xe5
00000e39: SHL
00000e3a: DUP2
00000e3b: MSTORE
00000e3c: PUSH1 0x20
00000e3e: PUSH1 0x04
00000e40: DUP3
00000e41: ADD
00000e42: MSTORE
00000e43: PUSH1 0x11
00000e45: PUSH1 0x24
00000e47: DUP3
00000e48: ADD
00000e49: MSTORE
00000e4a: PUSH17 0x736f7272792068756d616e73206f6e6c79
00000e5c: PUSH1 0x78
00000e5e: SHL
00000e5f: PUSH1 0x44
00000e61: DUP3
00000e62: ADD
00000e63: MSTORE
00000e64: SWAP1
00000e65: MLOAD
00000e66: SWAP1
00000e67: DUP2
00000e68: SWAP1
00000e69: SUB
00000e6a: PUSH1 0x64
00000e6c: ADD
00000e6d: SWAP1
00000e6e: REVERT
00000e6f: JUMPDEST
00000e70: CALLER
00000e71: PUSH1 0x00
00000e73: DUP2
00000e74: DUP2
00000e75: MSTORE
00000e76: PUSH1 0x0f
00000e78: PUSH1 0x20
00000e7a: MSTORE
00000e7b: PUSH1 0x40
00000e7d: SWAP1
00000e7e: KECCAK256
00000e7f: PUSH1 0x03
00000e81: ADD
00000e82: SLOAD
00000e83: PUSH1 0xff
00000e85: AND
00000e86: PUSH2 0x0e8e
00000e89: JUMPI
00000e8a: PUSH1 0x00
00000e8c: DUP1
00000e8d: REVERT
00000e8e: JUMPDEST
00000e8f: PUSH1 0x01
00000e91: PUSH1 0x01
00000e93: PUSH1 0xa0
00000e95: SHL
00000e96: SUB
00000e97: DUP2
00000e98: AND
00000e99: PUSH1 0x00
00000e9b: SWAP1
00000e9c: DUP2
00000e9d: MSTORE
00000e9e: PUSH1 0x0f
00000ea0: PUSH1 0x20
00000ea2: MSTORE
00000ea3: PUSH1 0x40
00000ea5: SWAP1
00000ea6: KECCAK256
00000ea7: PUSH1 0x09
00000ea9: ADD
00000eaa: SLOAD
00000eab: PUSH1 0x0a
00000ead: GT
00000eae: PUSH2 0x0eb6
00000eb1: JUMPI
00000eb2: PUSH1 0x00
00000eb4: DUP1
00000eb5: REVERT
00000eb6: JUMPDEST
00000eb7: PUSH1 0x01
00000eb9: PUSH1 0x01
00000ebb: PUSH1 0xa0
00000ebd: SHL
00000ebe: SUB
00000ebf: DUP2
00000ec0: AND
00000ec1: PUSH1 0x00
00000ec3: SWAP1
00000ec4: DUP2
00000ec5: MSTORE
00000ec6: PUSH1 0x0f
00000ec8: PUSH1 0x20
00000eca: MSTORE
00000ecb: PUSH1 0x40
00000ecd: SWAP1
00000ece: KECCAK256
00000ecf: PUSH1 0x09
00000ed1: ADD
00000ed2: SLOAD
00000ed3: PUSH1 0x77
00000ed5: SWAP1
00000ed6: PUSH1 0x0a
00000ed8: DUP2
00000ed9: LT
00000eda: PUSH2 0x0edf
00000edd: JUMPI
00000ede: INVALID
00000edf: JUMPDEST
00000ee0: ADD
00000ee1: SLOAD
00000ee2: PUSH1 0x01
00000ee4: PUSH1 0x01
00000ee6: PUSH1 0xa0
00000ee8: SHL
00000ee9: SUB
00000eea: DUP3
00000eeb: AND
00000eec: PUSH1 0x00
00000eee: SWAP1
00000eef: DUP2
00000ef0: MSTORE
00000ef1: PUSH1 0x0f
00000ef3: PUSH1 0x20
00000ef5: MSTORE
00000ef6: PUSH1 0x40
00000ef8: SWAP1
00000ef9: KECCAK256
00000efa: PUSH1 0x0a
00000efc: ADD
00000efd: SLOAD
00000efe: LT
00000eff: PUSH2 0x0a03
00000f02: JUMPI
00000f03: PUSH1 0x01
00000f05: PUSH1 0x01
00000f07: PUSH1 0xa0
00000f09: SHL
00000f0a: SUB
00000f0b: DUP2
00000f0c: AND
00000f0d: PUSH1 0x00
00000f0f: SWAP1
00000f10: DUP2
00000f11: MSTORE
00000f12: PUSH1 0x0f
00000f14: PUSH1 0x20
00000f16: MSTORE
00000f17: PUSH1 0x40
00000f19: SWAP1
00000f1a: KECCAK256
00000f1b: PUSH1 0x09
00000f1d: ADD
00000f1e: SLOAD
00000f1f: PUSH2 0x0f30
00000f22: SWAP1
00000f23: PUSH1 0x01
00000f25: SWAP1
00000f26: PUSH4 0xffffffff
00000f2b: PUSH2 0x183d
00000f2e: AND
00000f2f: JUMP
00000f30: JUMPDEST
00000f31: PUSH1 0x01
00000f33: PUSH1 0x01
00000f35: PUSH1 0xa0
00000f37: SHL
00000f38: SUB
00000f39: DUP3
00000f3a: AND
00000f3b: PUSH1 0x00
00000f3d: DUP2
00000f3e: DUP2
00000f3f: MSTORE
00000f40: PUSH1 0x0f
00000f42: PUSH1 0x20
00000f44: MSTORE
00000f45: PUSH1 0x40
00000f47: DUP1
00000f48: DUP3
00000f49: KECCAK256
00000f4a: PUSH1 0x09
00000f4c: ADD
00000f4d: DUP5
00000f4e: SWAP1
00000f4f: SSTORE
00000f50: MLOAD
00000f51: PUSH32 0x082e58bd2e7f7268b36ef0ce2331f7bfd29c08979529cbe85f06375fcecd4372
00000f72: SWAP2
00000f73: SWAP1
00000f74: LOG3
00000f75: POP
00000f76: JUMP
00000f77: JUMPDEST
00000f78: CALLER
00000f79: ORIGIN
00000f7a: EQ
00000f7b: PUSH2 0x0fbf
00000f7e: JUMPI
00000f7f: PUSH1 0x40
00000f81: DUP1
00000f82: MLOAD
00000f83: PUSH3 0x461bcd
00000f87: PUSH1 0xe5
00000f89: SHL
00000f8a: DUP2
00000f8b: MSTORE
00000f8c: PUSH1 0x20
00000f8e: PUSH1 0x04
00000f90: DUP3
00000f91: ADD
00000f92: MSTORE
00000f93: PUSH1 0x11
00000f95: PUSH1 0x24
00000f97: DUP3
00000f98: ADD
00000f99: MSTORE
00000f9a: PUSH17 0x736f7272792068756d616e73206f6e6c79
00000fac: PUSH1 0x78
00000fae: SHL
00000faf: PUSH1 0x44
00000fb1: DUP3
00000fb2: ADD
00000fb3: MSTORE
00000fb4: SWAP1
00000fb5: MLOAD
00000fb6: SWAP1
00000fb7: DUP2
00000fb8: SWAP1
00000fb9: SUB
00000fba: PUSH1 0x64
00000fbc: ADD
00000fbd: SWAP1
00000fbe: REVERT
00000fbf: JUMPDEST
00000fc0: PUSH2 0x0fc7
00000fc3: PUSH2 0x12d4
00000fc6: JUMP
00000fc7: JUMPDEST
00000fc8: ISZERO
00000fc9: PUSH2 0x0fd6
00000fcc: JUMPI
00000fcd: PUSH2 0x092f
00000fd0: CALLER
00000fd1: CALLVALUE
00000fd2: PUSH2 0x13e8
00000fd5: JUMP
00000fd6: JUMPDEST
00000fd7: PUSH1 0x00
00000fd9: DUP3
00000fda: DUP2
00000fdb: MSTORE
00000fdc: PUSH1 0x10
00000fde: PUSH1 0x20
00000fe0: MSTORE
00000fe1: PUSH1 0x40
00000fe3: SWAP1
00000fe4: KECCAK256
00000fe5: SLOAD
00000fe6: PUSH1 0x01
00000fe8: PUSH1 0x01
00000fea: PUSH1 0xa0
00000fec: SHL
00000fed: SUB
00000fee: AND
00000fef: PUSH2 0x0959
00000ff2: CALLER
00000ff3: CALLVALUE
00000ff4: DUP5
00000ff5: DUP5
00000ff6: PUSH2 0x1494
00000ff9: JUMP
00000ffa: JUMPDEST
00000ffb: PUSH1 0x10
00000ffd: PUSH1 0x20
00000fff: MSTORE
00001000: PUSH1 0x00
00001002: SWAP1
00001003: DUP2
00001004: MSTORE
00001005: PUSH1 0x40
00001007: SWAP1
00001008: KECCAK256
00001009: SLOAD
0000100a: PUSH1 0x01
0000100c: PUSH1 0x01
0000100e: PUSH1 0xa0
00001010: SHL
00001011: SUB
00001012: AND
00001013: DUP2
00001014: JUMP
00001015: JUMPDEST
00001016: PUSH1 0x12
00001018: DUP2
00001019: PUSH1 0x65
0000101b: DUP2
0000101c: LT
0000101d: PUSH2 0x0d50
00001020: JUMPI
00001021: INVALID
00001022: JUMPDEST
00001023: PUSH1 0x03
00001025: SLOAD
00001026: DUP2
00001027: JUMP
00001028: JUMPDEST
00001029: PUSH1 0x08
0000102b: SLOAD
0000102c: DUP2
0000102d: JUMP
0000102e: JUMPDEST
0000102f: CALLER
00001030: ORIGIN
00001031: EQ
00001032: PUSH2 0x1076
00001035: JUMPI
00001036: PUSH1 0x40
00001038: DUP1
00001039: MLOAD
0000103a: PUSH3 0x461bcd
0000103e: PUSH1 0xe5
00001040: SHL
00001041: DUP2
00001042: MSTORE
00001043: PUSH1 0x20
00001045: PUSH1 0x04
00001047: DUP3
00001048: ADD
00001049: MSTORE
0000104a: PUSH1 0x11
0000104c: PUSH1 0x24
0000104e: DUP3
0000104f: ADD
00001050: MSTORE
00001051: PUSH17 0x736f7272792068756d616e73206f6e6c79
00001063: PUSH1 0x78
00001065: SHL
00001066: PUSH1 0x44
00001068: DUP3
00001069: ADD
0000106a: MSTORE
0000106b: SWAP1
0000106c: MLOAD
0000106d: SWAP1
0000106e: DUP2
0000106f: SWAP1
00001070: SUB
00001071: PUSH1 0x64
00001073: ADD
00001074: SWAP1
00001075: REVERT
00001076: JUMPDEST
00001077: PUSH1 0x02
00001079: SLOAD
0000107a: PUSH1 0x40
0000107c: MLOAD
0000107d: PUSH4 0x79614c5f
00001082: PUSH1 0xe1
00001084: SHL
00001085: DUP2
00001086: MSTORE
00001087: PUSH1 0x20
00001089: PUSH1 0x04
0000108b: DUP3
0000108c: ADD
0000108d: SWAP1
0000108e: DUP2
0000108f: MSTORE
00001090: PUSH1 0x24
00001092: DUP3
00001093: ADD
00001094: DUP5
00001095: SWAP1
00001096: MSTORE
00001097: PUSH1 0x00
00001099: SWAP3
0000109a: PUSH1 0x01
0000109c: PUSH1 0x01
0000109e: PUSH1 0xa0
000010a0: SHL
000010a1: SUB
000010a2: AND
000010a3: SWAP2
000010a4: PUSH4 0xf2c298be
000010a9: SWAP2
000010aa: DUP7
000010ab: SWAP2
000010ac: DUP7
000010ad: SWAP2
000010ae: SWAP1
000010af: DUP2
000010b0: SWAP1
000010b1: PUSH1 0x44
000010b3: ADD
000010b4: DUP5
000010b5: DUP5
000010b6: DUP1
000010b7: DUP3
000010b8: DUP5
000010b9: CALLDATACOPY
000010ba: PUSH1 0x00
000010bc: DUP4
000010bd: DUP3
000010be: ADD
000010bf: MSTORE
000010c0: PUSH1 0x40
000010c2: MLOAD
000010c3: PUSH1 0x1f
000010c5: SWAP1
000010c6: SWAP2
000010c7: ADD
000010c8: PUSH1 0x1f
000010ca: NOT
000010cb: AND
000010cc: SWAP1
000010cd: SWAP3
000010ce: ADD
000010cf: SWAP6
000010d0: POP
000010d1: PUSH1 0x20
000010d3: SWAP5
000010d4: POP
000010d5: SWAP1
000010d6: SWAP3
000010d7: POP
000010d8: POP
000010d9: POP
000010da: DUP1
000010db: DUP4
000010dc: SUB
000010dd: DUP2
000010de: DUP7
000010df: DUP1
000010e0: EXTCODESIZE
000010e1: ISZERO
000010e2: DUP1
000010e3: ISZERO
000010e4: PUSH2 0x10ec
000010e7: JUMPI
000010e8: PUSH1 0x00
000010ea: DUP1
000010eb: REVERT
000010ec: JUMPDEST
000010ed: POP
000010ee: GAS
000010ef: STATICCALL
000010f0: ISZERO
000010f1: DUP1
000010f2: ISZERO
000010f3: PUSH2 0x1100
000010f6: JUMPI
000010f7: RETURNDATASIZE
000010f8: PUSH1 0x00
000010fa: DUP1
000010fb: RETURNDATACOPY
000010fc: RETURNDATASIZE
000010fd: PUSH1 0x00
000010ff: REVERT
00001100: JUMPDEST
00001101: POP
00001102: POP
00001103: POP
00001104: POP
00001105: PUSH1 0x40
00001107: MLOAD
00001108: RETURNDATASIZE
00001109: PUSH1 0x20
0000110b: DUP2
0000110c: LT
0000110d: ISZERO
0000110e: PUSH2 0x1116
00001111: JUMPI
00001112: PUSH1 0x00
00001114: DUP1
00001115: REVERT
00001116: JUMPDEST
00001117: POP
00001118: MLOAD
00001119: SWAP1
0000111a: POP
0000111b: CALLER
0000111c: PUSH7 0x2386f26fc10000
00001124: CALLVALUE
00001125: LT
00001126: ISZERO
00001127: PUSH2 0x116d
0000112a: JUMPI
0000112b: PUSH1 0x40
0000112d: DUP1
0000112e: MLOAD
0000112f: PUSH3 0x461bcd
00001133: PUSH1 0xe5
00001135: SHL
00001136: DUP2
00001137: MSTORE
00001138: PUSH1 0x20
0000113a: PUSH1 0x04
0000113c: DUP3
0000113d: ADD
0000113e: MSTORE
0000113f: PUSH1 0x13
00001141: PUSH1 0x24
00001143: DUP3
00001144: ADD
00001145: MSTORE
00001146: PUSH19 0x1a5b9cdd59999a58da595b9d08185b5bdd5b9d
0000115a: PUSH1 0x6a
0000115c: SHL
0000115d: PUSH1 0x44
0000115f: DUP3
00001160: ADD
00001161: MSTORE
00001162: SWAP1
00001163: MLOAD
00001164: SWAP1
00001165: DUP2
00001166: SWAP1
00001167: SUB
00001168: PUSH1 0x64
0000116a: ADD
0000116b: SWAP1
0000116c: REVERT
0000116d: JUMPDEST
0000116e: PUSH1 0x00
00001170: DUP3
00001171: DUP2
00001172: MSTORE
00001173: PUSH1 0x11
00001175: PUSH1 0x20
00001177: MSTORE
00001178: PUSH1 0x40
0000117a: SWAP1
0000117b: KECCAK256
0000117c: SLOAD
0000117d: PUSH1 0x01
0000117f: PUSH1 0x01
00001181: PUSH1 0xa0
00001183: SHL
00001184: SUB
00001185: AND
00001186: ISZERO
00001187: PUSH2 0x11c9
0000118a: JUMPI
0000118b: PUSH1 0x40
0000118d: DUP1
0000118e: MLOAD
0000118f: PUSH3 0x461bcd
00001193: PUSH1 0xe5
00001195: SHL
00001196: DUP2
00001197: MSTORE
00001198: PUSH1 0x20
0000119a: PUSH1 0x04
0000119c: DUP3
0000119d: ADD
0000119e: MSTORE
0000119f: PUSH1 0x0f
000011a1: PUSH1 0x24
000011a3: DUP3
000011a4: ADD
000011a5: MSTORE
000011a6: PUSH15 0x1b985b59481c9959da5cdd195c9959
000011b6: PUSH1 0x8a
000011b8: SHL
000011b9: PUSH1 0x44
000011bb: DUP3
000011bc: ADD
000011bd: MSTORE
000011be: SWAP1
000011bf: MLOAD
000011c0: SWAP1
000011c1: DUP2
000011c2: SWAP1
000011c3: SUB
000011c4: PUSH1 0x64
000011c6: ADD
000011c7: SWAP1
000011c8: REVERT
000011c9: JUMPDEST
000011ca: PUSH1 0x01
000011cc: PUSH1 0x01
000011ce: PUSH1 0xa0
000011d0: SHL
000011d1: SUB
000011d2: DUP2
000011d3: AND
000011d4: PUSH1 0x00
000011d6: SWAP1
000011d7: DUP2
000011d8: MSTORE
000011d9: PUSH1 0x0f
000011db: PUSH1 0x20
000011dd: MSTORE
000011de: PUSH1 0x40
000011e0: SWAP1
000011e1: KECCAK256
000011e2: PUSH1 0x03
000011e4: ADD
000011e5: SLOAD
000011e6: PUSH1 0xff
000011e8: AND
000011e9: PUSH2 0x1273
000011ec: JUMPI
000011ed: PUSH1 0x0e
000011ef: DUP1
000011f0: SLOAD
000011f1: PUSH1 0x01
000011f3: SWAP1
000011f4: DUP2
000011f5: ADD
000011f6: DUP3
000011f7: SSTORE
000011f8: PUSH1 0x01
000011fa: PUSH1 0x01
000011fc: PUSH1 0xa0
000011fe: SHL
000011ff: SUB
00001200: DUP4
00001201: AND
00001202: PUSH1 0x00
00001204: DUP2
00001205: DUP2
00001206: MSTORE
00001207: PUSH1 0x0f
00001209: PUSH1 0x20
0000120b: DUP2
0000120c: DUP2
0000120d: MSTORE
0000120e: PUSH1 0x40
00001210: DUP1
00001211: DUP5
00001212: KECCAK256
00001213: PUSH1 0x03
00001215: DUP2
00001216: ADD
00001217: DUP1
00001218: SLOAD
00001219: PUSH1 0xff
0000121b: NOT
0000121c: AND
0000121d: DUP9
0000121e: OR
0000121f: SWAP1
00001220: SSTORE
00001221: DUP8
00001222: SLOAD
00001223: DUP2
00001224: SSTORE
00001225: PUSH1 0x09
00001227: ADD
00001228: SWAP6
00001229: DUP7
0000122a: SSTORE
0000122b: SWAP6
0000122c: SLOAD
0000122d: DUP4
0000122e: MSTORE
0000122f: PUSH1 0x10
00001231: DUP2
00001232: MSTORE
00001233: DUP6
00001234: DUP4
00001235: KECCAK256
00001236: DUP1
00001237: SLOAD
00001238: PUSH1 0x01
0000123a: PUSH1 0x01
0000123c: PUSH1 0xa0
0000123e: SHL
0000123f: SUB
00001240: NOT
00001241: AND
00001242: DUP6
00001243: OR
00001244: SWAP1
00001245: SSTORE
00001246: DUP4
00001247: DUP4
00001248: MSTORE
00001249: MSTORE
0000124a: SWAP2
0000124b: SLOAD
0000124c: SWAP3
0000124d: MLOAD
0000124e: SWAP1
0000124f: SWAP2
00001250: PUSH32 0x082e58bd2e7f7268b36ef0ce2331f7bfd29c08979529cbe85f06375fcecd4372
00001271: SWAP2
00001272: LOG3
00001273: JUMPDEST
00001274: PUSH1 0x01
00001276: PUSH1 0x01
00001278: PUSH1 0xa0
0000127a: SHL
0000127b: SUB
0000127c: DUP2
0000127d: AND
0000127e: PUSH1 0x00
00001280: DUP2
00001281: DUP2
00001282: MSTORE
00001283: PUSH1 0x0f
00001285: PUSH1 0x20
00001287: SWAP1
00001288: DUP2
00001289: MSTORE
0000128a: PUSH1 0x40
0000128c: DUP1
0000128d: DUP4
0000128e: KECCAK256
0000128f: PUSH1 0x01
00001291: ADD
00001292: DUP7
00001293: SWAP1
00001294: SSTORE
00001295: DUP6
00001296: DUP4
00001297: MSTORE
00001298: PUSH1 0x11
0000129a: SWAP1
0000129b: SWAP2
0000129c: MSTORE
0000129d: SWAP1
0000129e: KECCAK256
0000129f: DUP1
000012a0: SLOAD
000012a1: PUSH1 0x01
000012a3: PUSH1 0x01
000012a5: PUSH1 0xa0
000012a7: SHL
000012a8: SUB
000012a9: NOT
000012aa: AND
000012ab: SWAP1
000012ac: SWAP2
000012ad: OR
000012ae: SWAP1
000012af: SSTORE
000012b0: PUSH2 0x12cd
000012b3: PUSH20 0x83d0d842e6db3b020f384a2af11bd14787bec8e7
000012c8: CALLVALUE
000012c9: PUSH2 0x1445
000012cc: JUMP
000012cd: JUMPDEST
000012ce: POP
000012cf: POP
000012d0: POP
000012d1: POP
000012d2: POP
000012d3: JUMP
000012d4: JUMPDEST
000012d5: PUSH1 0x04
000012d7: SLOAD
000012d8: PUSH1 0x00
000012da: SWAP1
000012db: PUSH1 0xff
000012dd: AND
000012de: PUSH2 0x13de
000012e1: JUMPI
000012e2: TIMESTAMP
000012e3: PUSH1 0x0c
000012e5: SLOAD
000012e6: EQ
000012e7: PUSH2 0x13de
000012ea: JUMPI
000012eb: TIMESTAMP
000012ec: PUSH1 0x0c
000012ee: DUP2
000012ef: SWAP1
000012f0: SSTORE
000012f1: PUSH1 0x00
000012f3: SWAP1
000012f4: PUSH3 0x015180
000012f8: SWAP1
000012f9: DIV
000012fa: SWAP1
000012fb: POP
000012fc: PUSH1 0x00
000012fe: DUP1
000012ff: SWAP1
00001300: SLOAD
00001301: SWAP1
00001302: PUSH2 0x0100
00001305: EXP
00001306: SWAP1
00001307: DIV
00001308: PUSH1 0x01
0000130a: PUSH1 0x01
0000130c: PUSH1 0xa0
0000130e: SHL
0000130f: SUB
00001310: AND
00001311: PUSH1 0x01
00001313: PUSH1 0x01
00001315: PUSH1 0xa0
00001317: SHL
00001318: SUB
00001319: AND
0000131a: PUSH4 0x957aa58c
0000131f: PUSH1 0x40
00001321: MLOAD
00001322: DUP2
00001323: PUSH4 0xffffffff
00001328: AND
00001329: PUSH1 0xe0
0000132b: SHL
0000132c: DUP2
0000132d: MSTORE
0000132e: PUSH1 0x04
00001330: ADD
00001331: PUSH1 0x20
00001333: PUSH1 0x40
00001335: MLOAD
00001336: DUP1
00001337: DUP4
00001338: SUB
00001339: DUP2
0000133a: PUSH1 0x00
0000133c: DUP8
0000133d: DUP1
0000133e: EXTCODESIZE
0000133f: ISZERO
00001340: DUP1
00001341: ISZERO
00001342: PUSH2 0x134a
00001345: JUMPI
00001346: PUSH1 0x00
00001348: DUP1
00001349: REVERT
0000134a: JUMPDEST
0000134b: POP
0000134c: GAS
0000134d: CALL
0000134e: ISZERO
0000134f: DUP1
00001350: ISZERO
00001351: PUSH2 0x135e
00001354: JUMPI
00001355: RETURNDATASIZE
00001356: PUSH1 0x00
00001358: DUP1
00001359: RETURNDATACOPY
0000135a: RETURNDATASIZE
0000135b: PUSH1 0x00
0000135d: REVERT
0000135e: JUMPDEST
0000135f: POP
00001360: POP
00001361: POP
00001362: POP
00001363: PUSH1 0x40
00001365: MLOAD
00001366: RETURNDATASIZE
00001367: PUSH1 0x20
00001369: DUP2
0000136a: LT
0000136b: ISZERO
0000136c: PUSH2 0x1374
0000136f: JUMPI
00001370: PUSH1 0x00
00001372: DUP1
00001373: REVERT
00001374: JUMPDEST
00001375: POP
00001376: MLOAD
00001377: PUSH2 0x138c
0000137a: JUMPI
0000137b: PUSH1 0x04
0000137d: DUP1
0000137e: SLOAD
0000137f: PUSH1 0xff
00001381: NOT
00001382: AND
00001383: PUSH1 0x01
00001385: OR
00001386: SWAP1
00001387: SSTORE
00001388: TIMESTAMP
00001389: PUSH1 0x03
0000138b: SSTORE
0000138c: JUMPDEST
0000138d: DUP1
0000138e: PUSH1 0x0b
00001390: SLOAD
00001391: LT
00001392: ISZERO
00001393: PUSH2 0x13dc
00001396: JUMPI
00001397: PUSH1 0x0b
00001399: SLOAD
0000139a: PUSH1 0x00
0000139c: SWAP1
0000139d: DUP2
0000139e: MSTORE
0000139f: PUSH1 0x06
000013a1: PUSH1 0x20
000013a3: MSTORE
000013a4: PUSH1 0x40
000013a6: SWAP1
000013a7: KECCAK256
000013a8: SLOAD
000013a9: PUSH1 0x07
000013ab: SLOAD
000013ac: PUSH2 0x13ba
000013af: SWAP2
000013b0: PUSH4 0xffffffff
000013b5: PUSH2 0x1a13
000013b8: AND
000013b9: JUMP
000013ba: JUMPDEST
000013bb: PUSH1 0x07
000013bd: SSTORE
000013be: PUSH1 0x0b
000013c0: DUP1
000013c1: SLOAD
000013c2: PUSH1 0x00
000013c4: SWAP1
000013c5: DUP2
000013c6: MSTORE
000013c7: PUSH1 0x06
000013c9: PUSH1 0x20
000013cb: MSTORE
000013cc: PUSH1 0x40
000013ce: DUP2
000013cf: KECCAK256
000013d0: SSTORE
000013d1: DUP1
000013d2: SLOAD
000013d3: PUSH1 0x01
000013d5: ADD
000013d6: SWAP1
000013d7: SSTORE
000013d8: PUSH2 0x138c
000013db: JUMP
000013dc: JUMPDEST
000013dd: POP
000013de: JUMPDEST
000013df: POP
000013e0: PUSH1 0x04
000013e2: SLOAD
000013e3: PUSH1 0xff
000013e5: AND
000013e6: SWAP1
000013e7: JUMP
000013e8: JUMPDEST
000013e9: PUSH1 0x40
000013eb: MLOAD
000013ec: PUSH1 0x00
000013ee: SWAP1
000013ef: DUP4
000013f0: SWAP1
000013f1: PUSH1 0x01
000013f3: PUSH1 0x01
000013f5: PUSH1 0xa0
000013f7: SHL
000013f8: SUB
000013f9: DUP3
000013fa: AND
000013fb: SWAP1
000013fc: DUP5
000013fd: SWAP1
000013fe: DUP5
000013ff: DUP2
00001400: DUP2
00001401: DUP2
00001402: DUP6
00001403: DUP8
00001404: GAS
00001405: CALL
00001406: SWAP3
00001407: POP
00001408: POP
00001409: POP
0000140a: RETURNDATASIZE
0000140b: DUP1
0000140c: PUSH1 0x00
0000140e: DUP2
0000140f: EQ
00001410: PUSH2 0x1435
00001413: JUMPI
00001414: PUSH1 0x40
00001416: MLOAD
00001417: SWAP2
00001418: POP
00001419: PUSH1 0x1f
0000141b: NOT
0000141c: PUSH1 0x3f
0000141e: RETURNDATASIZE
0000141f: ADD
00001420: AND
00001421: DUP3
00001422: ADD
00001423: PUSH1 0x40
00001425: MSTORE
00001426: RETURNDATASIZE
00001427: DUP3
00001428: MSTORE
00001429: RETURNDATASIZE
0000142a: PUSH1 0x00
0000142c: PUSH1 0x20
0000142e: DUP5
0000142f: ADD
00001430: RETURNDATACOPY
00001431: PUSH2 0x143a
00001434: JUMP
00001435: JUMPDEST
00001436: PUSH1 0x60
00001438: SWAP2
00001439: POP
0000143a: JUMPDEST
0000143b: POP
0000143c: SWAP1
0000143d: SWAP6
0000143e: SWAP5
0000143f: POP
00001440: POP
00001441: POP
00001442: POP
00001443: POP
00001444: JUMP
00001445: JUMPDEST
00001446: PUSH1 0x00
00001448: DUP1
00001449: DUP4
0000144a: SWAP1
0000144b: POP
0000144c: DUP3
0000144d: DUP2
0000144e: PUSH1 0x40
00001450: MLOAD
00001451: PUSH2 0x1459
00001454: SWAP1
00001455: PUSH2 0x1d7a
00001458: JUMP
00001459: JUMPDEST
0000145a: PUSH1 0x01
0000145c: PUSH1 0x01
0000145e: PUSH1 0xa0
00001460: SHL
00001461: SUB
00001462: SWAP1
00001463: SWAP2
00001464: AND
00001465: DUP2
00001466: MSTORE
00001467: PUSH1 0x40
00001469: MLOAD
0000146a: SWAP1
0000146b: DUP2
0000146c: SWAP1
0000146d: SUB
0000146e: PUSH1 0x20
00001470: ADD
00001471: SWAP1
00001472: DUP3
00001473: CREATE
00001474: DUP1
00001475: ISZERO
00001476: DUP1
00001477: ISZERO
00001478: PUSH2 0x1485
0000147b: JUMPI
0000147c: RETURNDATASIZE
0000147d: PUSH1 0x00
0000147f: DUP1
00001480: RETURNDATACOPY
00001481: RETURNDATASIZE
00001482: PUSH1 0x00
00001484: REVERT
00001485: JUMPDEST
00001486: POP
00001487: PUSH1 0x01
00001489: SWAP4
0000148a: POP
0000148b: POP
0000148c: POP
0000148d: POP
0000148e: JUMPDEST
0000148f: SWAP3
00001490: SWAP2
00001491: POP
00001492: POP
00001493: JUMP
00001494: JUMPDEST
00001495: PUSH2 0x149d
00001498: DUP5
00001499: PUSH2 0x18ea
0000149c: JUMP
0000149d: JUMPDEST
0000149e: PUSH4 0x3b9aca00
000014a3: DUP4
000014a4: LT
000014a5: ISZERO
000014a6: PUSH2 0x14e0
000014a9: JUMPI
000014aa: PUSH1 0x40
000014ac: MLOAD
000014ad: PUSH3 0x461bcd
000014b1: PUSH1 0xe5
000014b3: SHL
000014b4: DUP2
000014b5: MSTORE
000014b6: PUSH1 0x04
000014b8: ADD
000014b9: DUP1
000014ba: DUP1
000014bb: PUSH1 0x20
000014bd: ADD
000014be: DUP3
000014bf: DUP2
000014c0: SUB
000014c1: DUP3
000014c2: MSTORE
000014c3: PUSH1 0x21
000014c5: DUP2
000014c6: MSTORE
000014c7: PUSH1 0x20
000014c9: ADD
000014ca: DUP1
000014cb: PUSH2 0x1db9
000014ce: PUSH1 0x21
000014d0: SWAP2
000014d1: CODECOPY
000014d2: PUSH1 0x40
000014d4: ADD
000014d5: SWAP2
000014d6: POP
000014d7: POP
000014d8: PUSH1 0x40
000014da: MLOAD
000014db: DUP1
000014dc: SWAP2
000014dd: SUB
000014de: SWAP1
000014df: REVERT
000014e0: JUMPDEST
000014e1: PUSH10 0x021e19e0c9bab2400000
000014ec: DUP4
000014ed: GT
000014ee: ISZERO
000014ef: PUSH2 0x1530
000014f2: JUMPI
000014f3: PUSH1 0x40
000014f5: DUP1
000014f6: MLOAD
000014f7: PUSH3 0x461bcd
000014fb: PUSH1 0xe5
000014fd: SHL
000014fe: DUP2
000014ff: MSTORE
00001500: PUSH1 0x20
00001502: PUSH1 0x04
00001504: DUP3
00001505: ADD
00001506: MSTORE
00001507: PUSH1 0x0e
00001509: PUSH1 0x24
0000150b: DUP3
0000150c: ADD
0000150d: MSTORE
0000150e: PUSH14 0x6e6f20766974616c696b2c206e6f
0000151d: PUSH1 0x90
0000151f: SHL
00001520: PUSH1 0x44
00001522: DUP3
00001523: ADD
00001524: MSTORE
00001525: SWAP1
00001526: MLOAD
00001527: SWAP1
00001528: DUP2
00001529: SWAP1
0000152a: SUB
0000152b: PUSH1 0x64
0000152d: ADD
0000152e: SWAP1
0000152f: REVERT
00001530: JUMPDEST
00001531: PUSH1 0x64
00001533: DUP3
00001534: GT
00001535: ISZERO
00001536: PUSH2 0x153e
00001539: JUMPI
0000153a: PUSH1 0x64
0000153c: SWAP2
0000153d: POP
0000153e: JUMPDEST
0000153f: PUSH1 0x00
00001541: PUSH1 0x12
00001543: DUP4
00001544: PUSH1 0x65
00001546: DUP2
00001547: LT
00001548: PUSH2 0x154d
0000154b: JUMPI
0000154c: INVALID
0000154d: JUMPDEST
0000154e: ADD
0000154f: SLOAD
00001550: PUSH8 0x0de0b6b3a7640000
00001559: ADD
0000155a: SWAP1
0000155b: POP
0000155c: PUSH1 0x00
0000155e: DUP2
0000155f: PUSH2 0x1579
00001562: PUSH8 0x0de0b6b3a7640000
0000156b: DUP8
0000156c: PUSH2 0x19eb
0000156f: SWAP1
00001570: SWAP2
00001571: SWAP1
00001572: PUSH4 0xffffffff
00001577: AND
00001578: JUMP
00001579: JUMPDEST
0000157a: DUP2
0000157b: PUSH2 0x1580
0000157e: JUMPI
0000157f: INVALID
00001580: JUMPDEST
00001581: DIV
00001582: SWAP1
00001583: POP
00001584: PUSH1 0x00
00001586: PUSH1 0x01
00001588: PUSH1 0x00
0000158a: SWAP1
0000158b: SLOAD
0000158c: SWAP1
0000158d: PUSH2 0x0100
00001590: EXP
00001591: SWAP1
00001592: DIV
00001593: PUSH1 0x01
00001595: PUSH1 0x01
00001597: PUSH1 0xa0
00001599: SHL
0000159a: SUB
0000159b: AND
0000159c: PUSH1 0x01
0000159e: PUSH1 0x01
000015a0: PUSH1 0xa0
000015a2: SHL
000015a3: SUB
000015a4: AND
000015a5: PUSH4 0x10a76c2e
000015aa: PUSH1 0x08
000015ac: SLOAD
000015ad: DUP5
000015ae: PUSH1 0x40
000015b0: MLOAD
000015b1: DUP4
000015b2: PUSH4 0xffffffff
000015b7: AND
000015b8: PUSH1 0xe0
000015ba: SHL
000015bb: DUP2
000015bc: MSTORE
000015bd: PUSH1 0x04
000015bf: ADD
000015c0: DUP1
000015c1: DUP4
000015c2: DUP2
000015c3: MSTORE
000015c4: PUSH1 0x20
000015c6: ADD
000015c7: DUP3
000015c8: DUP2
000015c9: MSTORE
000015ca: PUSH1 0x20
000015cc: ADD
000015cd: SWAP3
000015ce: POP
000015cf: POP
000015d0: POP
000015d1: PUSH1 0x20
000015d3: PUSH1 0x40
000015d5: MLOAD
000015d6: DUP1
000015d7: DUP4
000015d8: SUB
000015d9: DUP2
000015da: DUP7
000015db: DUP1
000015dc: EXTCODESIZE
000015dd: ISZERO
000015de: DUP1
000015df: ISZERO
000015e0: PUSH2 0x15e8
000015e3: JUMPI
000015e4: PUSH1 0x00
000015e6: DUP1
000015e7: REVERT
000015e8: JUMPDEST
000015e9: POP
000015ea: GAS
000015eb: STATICCALL
000015ec: ISZERO
000015ed: DUP1
000015ee: ISZERO
000015ef: PUSH2 0x15fc
000015f2: JUMPI
000015f3: RETURNDATASIZE
000015f4: PUSH1 0x00
000015f6: DUP1
000015f7: RETURNDATACOPY
000015f8: RETURNDATASIZE
000015f9: PUSH1 0x00
000015fb: REVERT
000015fc: JUMPDEST
000015fd: POP
000015fe: POP
000015ff: POP
00001600: POP
00001601: PUSH1 0x40
00001603: MLOAD
00001604: RETURNDATASIZE
00001605: PUSH1 0x20
00001607: DUP2
00001608: LT
00001609: ISZERO
0000160a: PUSH2 0x1612
0000160d: JUMPI
0000160e: PUSH1 0x00
00001610: DUP1
00001611: REVERT
00001612: JUMPDEST
00001613: POP
00001614: MLOAD
00001615: SWAP1
00001616: POP
00001617: PUSH1 0x00
00001619: DUP6
0000161a: ISZERO
0000161b: PUSH2 0x1624
0000161e: JUMPI
0000161f: DUP2
00001620: PUSH2 0x1627
00001623: JUMP
00001624: JUMPDEST
00001625: PUSH1 0x00
00001627: JUMPDEST
00001628: PUSH1 0x0b
0000162a: SLOAD
0000162b: PUSH1 0x08
0000162d: SLOAD
0000162e: SWAP2
0000162f: SWAP3
00001630: POP
00001631: DUP8
00001632: ADD
00001633: PUSH1 0x00
00001635: NOT
00001636: ADD
00001637: SWAP1
00001638: PUSH2 0x1641
0000163b: SWAP1
0000163c: DUP6
0000163d: PUSH2 0x183d
00001640: JUMP
00001641: JUMPDEST
00001642: PUSH1 0x08
00001644: SSTORE
00001645: PUSH1 0x09
00001647: SLOAD
00001648: PUSH2 0x1657
0000164b: SWAP1
0000164c: DUP5
0000164d: PUSH4 0xffffffff
00001652: PUSH2 0x183d
00001655: AND
00001656: JUMP
00001657: JUMPDEST
00001658: PUSH1 0x09
0000165a: SSTORE
0000165b: PUSH1 0x00
0000165d: DUP2
0000165e: DUP2
0000165f: MSTORE
00001660: PUSH1 0x06
00001662: PUSH1 0x20
00001664: MSTORE
00001665: PUSH1 0x40
00001667: SWAP1
00001668: KECCAK256
00001669: SLOAD
0000166a: PUSH2 0x1679
0000166d: SWAP1
0000166e: DUP4
0000166f: PUSH4 0xffffffff
00001674: PUSH2 0x183d
00001677: AND
00001678: JUMP
00001679: JUMPDEST
0000167a: PUSH1 0x00
0000167c: DUP3
0000167d: DUP2
0000167e: MSTORE
0000167f: PUSH1 0x06
00001681: PUSH1 0x20
00001683: MSTORE
00001684: PUSH1 0x40
00001686: SWAP1
00001687: KECCAK256
00001688: SSTORE
00001689: PUSH1 0x07
0000168b: SLOAD
0000168c: PUSH2 0x169b
0000168f: SWAP1
00001690: DUP4
00001691: PUSH4 0xffffffff
00001696: PUSH2 0x183d
00001699: AND
0000169a: JUMP
0000169b: JUMPDEST
0000169c: PUSH1 0x07
0000169e: SSTORE
0000169f: PUSH1 0x01
000016a1: PUSH1 0x01
000016a3: PUSH1 0xa0
000016a5: SHL
000016a6: SUB
000016a7: DUP10
000016a8: AND
000016a9: PUSH1 0x00
000016ab: SWAP1
000016ac: DUP2
000016ad: MSTORE
000016ae: PUSH1 0x0f
000016b0: PUSH1 0x20
000016b2: MSTORE
000016b3: PUSH1 0x40
000016b5: SWAP1
000016b6: KECCAK256
000016b7: PUSH1 0x04
000016b9: ADD
000016ba: SLOAD
000016bb: PUSH2 0x16ca
000016be: SWAP1
000016bf: DUP10
000016c0: PUSH4 0xffffffff
000016c5: PUSH2 0x183d
000016c8: AND
000016c9: JUMP
000016ca: JUMPDEST
000016cb: PUSH1 0x01
000016cd: PUSH1 0x01
000016cf: PUSH1 0xa0
000016d1: SHL
000016d2: SUB
000016d3: DUP11
000016d4: AND
000016d5: PUSH1 0x00
000016d7: SWAP1
000016d8: DUP2
000016d9: MSTORE
000016da: PUSH1 0x0f
000016dc: PUSH1 0x20
000016de: MSTORE
000016df: PUSH1 0x40
000016e1: SWAP1
000016e2: KECCAK256
000016e3: PUSH1 0x04
000016e5: DUP2
000016e6: ADD
000016e7: SWAP2
000016e8: SWAP1
000016e9: SWAP2
000016ea: SSTORE
000016eb: PUSH1 0x05
000016ed: ADD
000016ee: SLOAD
000016ef: PUSH2 0x16fe
000016f2: SWAP1
000016f3: DUP5
000016f4: PUSH4 0xffffffff
000016f9: PUSH2 0x183d
000016fc: AND
000016fd: JUMP
000016fe: JUMPDEST
000016ff: PUSH1 0x01
00001701: PUSH1 0x01
00001703: PUSH1 0xa0
00001705: SHL
00001706: SUB
00001707: DUP11
00001708: AND
00001709: PUSH1 0x00
0000170b: SWAP1
0000170c: DUP2
0000170d: MSTORE
0000170e: PUSH1 0x0f
00001710: PUSH1 0x20
00001712: MSTORE
00001713: PUSH1 0x40
00001715: SWAP1
00001716: KECCAK256
00001717: PUSH1 0x05
00001719: DUP2
0000171a: ADD
0000171b: SWAP2
0000171c: SWAP1
0000171d: SWAP2
0000171e: SSTORE
0000171f: PUSH1 0x06
00001721: ADD
00001722: SLOAD
00001723: PUSH2 0x1732
00001726: SWAP1
00001727: DUP4
00001728: PUSH4 0xffffffff
0000172d: PUSH2 0x183d
00001730: AND
00001731: JUMP
00001732: JUMPDEST
00001733: PUSH1 0x01
00001735: PUSH1 0x01
00001737: PUSH1 0xa0
00001739: SHL
0000173a: SUB
0000173b: DUP11
0000173c: AND
0000173d: PUSH1 0x00
0000173f: SWAP1
00001740: DUP2
00001741: MSTORE
00001742: PUSH1 0x0f
00001744: PUSH1 0x20
00001746: SWAP1
00001747: DUP2
00001748: MSTORE
00001749: PUSH1 0x40
0000174b: DUP1
0000174c: DUP4
0000174d: KECCAK256
0000174e: PUSH1 0x06
00001750: ADD
00001751: SWAP4
00001752: SWAP1
00001753: SWAP4
00001754: SSTORE
00001755: PUSH1 0x05
00001757: DUP2
00001758: MSTORE
00001759: DUP3
0000175a: DUP3
0000175b: KECCAK256
0000175c: DUP5
0000175d: DUP4
0000175e: MSTORE
0000175f: SWAP1
00001760: MSTORE
00001761: KECCAK256
00001762: SLOAD
00001763: PUSH2 0x1772
00001766: SWAP1
00001767: DUP4
00001768: PUSH4 0xffffffff
0000176d: PUSH2 0x183d
00001770: AND
00001771: JUMP
00001772: JUMPDEST
00001773: PUSH1 0x01
00001775: PUSH1 0x01
00001777: PUSH1 0xa0
00001779: SHL
0000177a: SUB
0000177b: DUP11
0000177c: AND
0000177d: PUSH1 0x00
0000177f: SWAP1
00001780: DUP2
00001781: MSTORE
00001782: PUSH1 0x05
00001784: PUSH1 0x20
00001786: SWAP1
00001787: DUP2
00001788: MSTORE
00001789: PUSH1 0x40
0000178b: DUP1
0000178c: DUP4
0000178d: KECCAK256
0000178e: DUP6
0000178f: DUP5
00001790: MSTORE
00001791: SWAP1
00001792: SWAP2
00001793: MSTORE
00001794: SWAP1
00001795: KECCAK256
00001796: SSTORE
00001797: PUSH2 0x17a0
0000179a: DUP9
0000179b: DUP8
0000179c: PUSH2 0x1a28
0000179f: JUMP
000017a0: JUMPDEST
000017a1: PUSH2 0x17ab
000017a4: DUP10
000017a5: DUP10
000017a6: DUP6
000017a7: PUSH2 0x1b73
000017aa: JUMP
000017ab: JUMPDEST
000017ac: PUSH1 0x0b
000017ae: SLOAD
000017af: PUSH1 0x40
000017b1: DUP1
000017b2: MLOAD
000017b3: DUP5
000017b4: DUP2
000017b5: MSTORE
000017b6: PUSH1 0x20
000017b8: DUP2
000017b9: ADD
000017ba: DUP11
000017bb: SWAP1
000017bc: MSTORE
000017bd: DUP2
000017be: MLOAD
000017bf: PUSH1 0x01
000017c1: PUSH1 0x01
000017c3: PUSH1 0xa0
000017c5: SHL
000017c6: SUB
000017c7: DUP14
000017c8: AND
000017c9: SWAP3
000017ca: PUSH32 0x4b9622a7ffcb20551847f4dd71b5b98c4267e10d7d338a6c7fb7b26d45d854e0
000017eb: SWAP3
000017ec: DUP3
000017ed: SWAP1
000017ee: SUB
000017ef: ADD
000017f0: SWAP1
000017f1: LOG3
000017f2: PUSH1 0x40
000017f4: DUP1
000017f5: MLOAD
000017f6: DUP5
000017f7: DUP2
000017f8: MSTORE
000017f9: SWAP1
000017fa: MLOAD
000017fb: PUSH1 0x01
000017fd: PUSH1 0x01
000017ff: PUSH1 0xa0
00001801: SHL
00001802: SUB
00001803: DUP12
00001804: AND
00001805: SWAP2
00001806: PUSH1 0x00
00001808: SWAP2
00001809: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
0000182a: SWAP2
0000182b: DUP2
0000182c: SWAP1
0000182d: SUB
0000182e: PUSH1 0x20
00001830: ADD
00001831: SWAP1
00001832: LOG3
00001833: POP
00001834: POP
00001835: POP
00001836: POP
00001837: POP
00001838: POP
00001839: POP
0000183a: POP
0000183b: POP
0000183c: JUMP
0000183d: JUMPDEST
0000183e: DUP2
0000183f: DUP2
00001840: ADD
00001841: DUP3
00001842: DUP2
00001843: LT
00001844: ISZERO
00001845: PUSH2 0x148e
00001848: JUMPI
00001849: PUSH1 0x00
0000184b: DUP1
0000184c: REVERT
0000184d: JUMPDEST
0000184e: PUSH1 0x00
00001850: DUP1
00001851: PUSH2 0x1859
00001854: DUP4
00001855: PUSH2 0x1bf0
00001858: JUMP
00001859: JUMPDEST
0000185a: PUSH1 0x01
0000185c: PUSH1 0x01
0000185e: PUSH1 0xa0
00001860: SHL
00001861: SUB
00001862: DUP5
00001863: AND
00001864: PUSH1 0x00
00001866: SWAP1
00001867: DUP2
00001868: MSTORE
00001869: PUSH1 0x0f
0000186b: PUSH1 0x20
0000186d: MSTORE
0000186e: PUSH1 0x40
00001870: DUP2
00001871: KECCAK256
00001872: PUSH1 0x02
00001874: ADD
00001875: SLOAD
00001876: SWAP2
00001877: SWAP3
00001878: POP
00001879: PUSH2 0x1888
0000187c: DUP4
0000187d: DUP4
0000187e: PUSH4 0xffffffff
00001883: PUSH2 0x183d
00001886: AND
00001887: JUMP
00001888: JUMPDEST
00001889: SWAP1
0000188a: POP
0000188b: DUP1
0000188c: ISZERO
0000188d: PUSH2 0x18e2
00001890: JUMPI
00001891: PUSH1 0x01
00001893: PUSH1 0x01
00001895: PUSH1 0xa0
00001897: SHL
00001898: SUB
00001899: DUP6
0000189a: AND
0000189b: PUSH1 0x00
0000189d: SWAP1
0000189e: DUP2
0000189f: MSTORE
000018a0: PUSH1 0x0f
000018a2: PUSH1 0x20
000018a4: MSTORE
000018a5: PUSH1 0x40
000018a7: DUP2
000018a8: KECCAK256
000018a9: PUSH1 0x02
000018ab: DUP2
000018ac: ADD
000018ad: SWAP2
000018ae: SWAP1
000018af: SWAP2
000018b0: SSTORE
000018b1: PUSH1 0x08
000018b3: ADD
000018b4: SLOAD
000018b5: PUSH2 0x18c5
000018b8: SWAP1
000018b9: DUP5
000018ba: SWAP1
000018bb: PUSH4 0xffffffff
000018c0: PUSH2 0x183d
000018c3: AND
000018c4: JUMP
000018c5: JUMPDEST
000018c6: PUSH1 0x01
000018c8: PUSH1 0x01
000018ca: PUSH1 0xa0
000018cc: SHL
000018cd: SUB
000018ce: DUP7
000018cf: AND
000018d0: PUSH1 0x00
000018d2: SWAP1
000018d3: DUP2
000018d4: MSTORE
000018d5: PUSH1 0x0f
000018d7: PUSH1 0x20
000018d9: MSTORE
000018da: PUSH1 0x40
000018dc: SWAP1
000018dd: KECCAK256
000018de: PUSH1 0x08
000018e0: ADD
000018e1: SSTORE
000018e2: JUMPDEST
000018e3: SWAP5
000018e4: SWAP4
000018e5: POP
000018e6: POP
000018e7: POP
000018e8: POP
000018e9: JUMP
000018ea: JUMPDEST
000018eb: PUSH1 0x01
000018ed: PUSH1 0x01
000018ef: PUSH1 0xa0
000018f1: SHL
000018f2: SUB
000018f3: DUP2
000018f4: AND
000018f5: PUSH1 0x00
000018f7: SWAP1
000018f8: DUP2
000018f9: MSTORE
000018fa: PUSH1 0x0f
000018fc: PUSH1 0x20
000018fe: MSTORE
000018ff: PUSH1 0x40
00001901: DUP2
00001902: KECCAK256
00001903: PUSH1 0x07
00001905: ADD
00001906: SLOAD
00001907: SWAP1
00001908: DUP2
00001909: ISZERO
0000190a: PUSH2 0x19c7
0000190d: JUMPI
0000190e: JUMPDEST
0000190f: PUSH1 0x0b
00001911: SLOAD
00001912: DUP3
00001913: LT
00001914: ISZERO
00001915: PUSH2 0x197e
00001918: JUMPI
00001919: PUSH1 0x01
0000191b: PUSH1 0x01
0000191d: PUSH1 0xa0
0000191f: SHL
00001920: SUB
00001921: DUP4
00001922: AND
00001923: PUSH1 0x00
00001925: SWAP1
00001926: DUP2
00001927: MSTORE
00001928: PUSH1 0x05
0000192a: PUSH1 0x20
0000192c: SWAP1
0000192d: DUP2
0000192e: MSTORE
0000192f: PUSH1 0x40
00001931: DUP1
00001932: DUP4
00001933: KECCAK256
00001934: DUP6
00001935: DUP5
00001936: MSTORE
00001937: SWAP1
00001938: SWAP2
00001939: MSTORE
0000193a: SWAP1
0000193b: KECCAK256
0000193c: SLOAD
0000193d: PUSH2 0x194d
00001940: SWAP1
00001941: DUP3
00001942: SWAP1
00001943: PUSH4 0xffffffff
00001948: PUSH2 0x183d
0000194b: AND
0000194c: JUMP
0000194d: JUMPDEST
0000194e: PUSH1 0x01
00001950: PUSH1 0x01
00001952: PUSH1 0xa0
00001954: SHL
00001955: SUB
00001956: DUP5
00001957: AND
00001958: PUSH1 0x00
0000195a: SWAP1
0000195b: DUP2
0000195c: MSTORE
0000195d: PUSH1 0x05
0000195f: PUSH1 0x20
00001961: SWAP1
00001962: DUP2
00001963: MSTORE
00001964: PUSH1 0x40
00001966: DUP1
00001967: DUP4
00001968: KECCAK256
00001969: DUP7
0000196a: DUP5
0000196b: MSTORE
0000196c: SWAP1
0000196d: SWAP2
0000196e: MSTORE
0000196f: DUP2
00001970: KECCAK256
00001971: SSTORE
00001972: PUSH1 0x01
00001974: SWAP1
00001975: SWAP3
00001976: ADD
00001977: SWAP2
00001978: SWAP1
00001979: POP
0000197a: PUSH2 0x190e
0000197d: JUMP
0000197e: JUMPDEST
0000197f: PUSH1 0x01
00001981: PUSH1 0x01
00001983: PUSH1 0xa0
00001985: SHL
00001986: SUB
00001987: DUP4
00001988: AND
00001989: PUSH1 0x00
0000198b: SWAP1
0000198c: DUP2
0000198d: MSTORE
0000198e: PUSH1 0x0f
00001990: PUSH1 0x20
00001992: MSTORE
00001993: PUSH1 0x40
00001995: SWAP1
00001996: KECCAK256
00001997: PUSH1 0x06
00001999: ADD
0000199a: SLOAD
0000199b: PUSH2 0x19aa
0000199e: SWAP1
0000199f: DUP3
000019a0: PUSH4 0xffffffff
000019a5: PUSH2 0x1a13
000019a8: AND
000019a9: JUMP
000019aa: JUMPDEST
000019ab: PUSH1 0x01
000019ad: PUSH1 0x01
000019af: PUSH1 0xa0
000019b1: SHL
000019b2: SUB
000019b3: DUP5
000019b4: AND
000019b5: PUSH1 0x00
000019b7: SWAP1
000019b8: DUP2
000019b9: MSTORE
000019ba: PUSH1 0x0f
000019bc: PUSH1 0x20
000019be: MSTORE
000019bf: PUSH1 0x40
000019c1: SWAP1
000019c2: KECCAK256
000019c3: PUSH1 0x06
000019c5: ADD
000019c6: SSTORE
000019c7: JUMPDEST
000019c8: POP
000019c9: POP
000019ca: PUSH1 0x0b
000019cc: SLOAD
000019cd: PUSH1 0x01
000019cf: PUSH1 0x01
000019d1: PUSH1 0xa0
000019d3: SHL
000019d4: SUB
000019d5: SWAP1
000019d6: SWAP2
000019d7: AND
000019d8: PUSH1 0x00
000019da: SWAP1
000019db: DUP2
000019dc: MSTORE
000019dd: PUSH1 0x0f
000019df: PUSH1 0x20
000019e1: MSTORE
000019e2: PUSH1 0x40
000019e4: SWAP1
000019e5: KECCAK256
000019e6: PUSH1 0x07
000019e8: ADD
000019e9: SSTORE
000019ea: JUMP
000019eb: JUMPDEST
000019ec: PUSH1 0x00
000019ee: DUP3
000019ef: PUSH2 0x19fa
000019f2: JUMPI
000019f3: POP
000019f4: PUSH1 0x00
000019f6: PUSH2 0x148e
000019f9: JUMP
000019fa: JUMPDEST
000019fb: POP
000019fc: DUP2
000019fd: DUP2
000019fe: MUL
000019ff: DUP2
00001a00: DUP4
00001a01: DUP3
00001a02: DUP2
00001a03: PUSH2 0x1a08
00001a06: JUMPI
00001a07: INVALID
00001a08: JUMPDEST
00001a09: DIV
00001a0a: EQ
00001a0b: PUSH2 0x148e
00001a0e: JUMPI
00001a0f: PUSH1 0x00
00001a11: DUP1
00001a12: REVERT
00001a13: JUMPDEST
00001a14: PUSH1 0x00
00001a16: DUP3
00001a17: DUP3
00001a18: GT
00001a19: ISZERO
00001a1a: PUSH2 0x1a22
00001a1d: JUMPI
00001a1e: PUSH1 0x00
00001a20: DUP1
00001a21: REVERT
00001a22: JUMPDEST
00001a23: POP
00001a24: SWAP1
00001a25: SUB
00001a26: SWAP1
00001a27: JUMP
00001a28: JUMPDEST
00001a29: PUSH1 0x01
00001a2b: PUSH1 0x01
00001a2d: PUSH1 0xa0
00001a2f: SHL
00001a30: SUB
00001a31: DUP2
00001a32: AND
00001a33: PUSH1 0x00
00001a35: SWAP1
00001a36: DUP2
00001a37: MSTORE
00001a38: PUSH1 0x0f
00001a3a: PUSH1 0x20
00001a3c: MSTORE
00001a3d: PUSH1 0x40
00001a3f: SWAP1
00001a40: KECCAK256
00001a41: PUSH1 0x03
00001a43: ADD
00001a44: SLOAD
00001a45: PUSH1 0x05
00001a47: DUP4
00001a48: DIV
00001a49: SWAP1
00001a4a: PUSH1 0x0a
00001a4c: DUP5
00001a4d: DIV
00001a4e: SWAP1
00001a4f: PUSH1 0xff
00001a51: AND
00001a52: ISZERO
00001a53: PUSH2 0x1b36
00001a56: JUMPI
00001a57: PUSH1 0x01
00001a59: PUSH1 0x01
00001a5b: PUSH1 0xa0
00001a5d: SHL
00001a5e: SUB
00001a5f: DUP4
00001a60: AND
00001a61: PUSH1 0x00
00001a63: SWAP1
00001a64: DUP2
00001a65: MSTORE
00001a66: PUSH1 0x0f
00001a68: PUSH1 0x20
00001a6a: MSTORE
00001a6b: PUSH1 0x40
00001a6d: DUP2
00001a6e: KECCAK256
00001a6f: PUSH1 0x09
00001a71: ADD
00001a72: SLOAD
00001a73: PUSH2 0x1a83
00001a76: SWAP1
00001a77: PUSH1 0x06
00001a79: PUSH4 0xffffffff
00001a7e: PUSH2 0x183d
00001a81: AND
00001a82: JUMP
00001a83: JUMPDEST
00001a84: SWAP1
00001a85: POP
00001a86: PUSH1 0x00
00001a88: PUSH1 0x64
00001a8a: PUSH2 0x1a99
00001a8d: DUP8
00001a8e: DUP5
00001a8f: PUSH4 0xffffffff
00001a94: PUSH2 0x19eb
00001a97: AND
00001a98: JUMP
00001a99: JUMPDEST
00001a9a: DUP2
00001a9b: PUSH2 0x1aa0
00001a9e: JUMPI
00001a9f: INVALID
00001aa0: JUMPDEST
00001aa1: PUSH1 0x01
00001aa3: PUSH1 0x01
00001aa5: PUSH1 0xa0
00001aa7: SHL
00001aa8: SUB
00001aa9: DUP8
00001aaa: AND
00001aab: PUSH1 0x00
00001aad: SWAP1
00001aae: DUP2
00001aaf: MSTORE
00001ab0: PUSH1 0x0f
00001ab2: PUSH1 0x20
00001ab4: MSTORE
00001ab5: PUSH1 0x40
00001ab7: SWAP1
00001ab8: KECCAK256
00001ab9: PUSH1 0x02
00001abb: ADD
00001abc: SLOAD
00001abd: SWAP2
00001abe: SWAP1
00001abf: DIV
00001ac0: SWAP2
00001ac1: POP
00001ac2: PUSH2 0x1ad1
00001ac5: SWAP1
00001ac6: DUP3
00001ac7: PUSH4 0xffffffff
00001acc: PUSH2 0x183d
00001acf: AND
00001ad0: JUMP
00001ad1: JUMPDEST
00001ad2: PUSH1 0x01
00001ad4: PUSH1 0x01
00001ad6: PUSH1 0xa0
00001ad8: SHL
00001ad9: SUB
00001ada: DUP7
00001adb: AND
00001adc: PUSH1 0x00
00001ade: SWAP1
00001adf: DUP2
00001ae0: MSTORE
00001ae1: PUSH1 0x0f
00001ae3: PUSH1 0x20
00001ae5: MSTORE
00001ae6: PUSH1 0x40
00001ae8: SWAP1
00001ae9: KECCAK256
00001aea: PUSH1 0x02
00001aec: DUP2
00001aed: ADD
00001aee: SWAP2
00001aef: SWAP1
00001af0: SWAP2
00001af1: SSTORE
00001af2: PUSH1 0x0a
00001af4: ADD
00001af5: SLOAD
00001af6: PUSH2 0x1b05
00001af9: SWAP1
00001afa: DUP3
00001afb: PUSH4 0xffffffff
00001b00: PUSH2 0x183d
00001b03: AND
00001b04: JUMP
00001b05: JUMPDEST
00001b06: PUSH1 0x01
00001b08: PUSH1 0x01
00001b0a: PUSH1 0xa0
00001b0c: SHL
00001b0d: SUB
00001b0e: DUP7
00001b0f: AND
00001b10: PUSH1 0x00
00001b12: SWAP1
00001b13: DUP2
00001b14: MSTORE
00001b15: PUSH1 0x0f
00001b17: PUSH1 0x20
00001b19: MSTORE
00001b1a: PUSH1 0x40
00001b1c: SWAP1
00001b1d: KECCAK256
00001b1e: PUSH1 0x0a
00001b20: ADD
00001b21: SSTORE
00001b22: PUSH2 0x1b31
00001b25: DUP5
00001b26: DUP3
00001b27: PUSH4 0xffffffff
00001b2c: PUSH2 0x1a13
00001b2f: AND
00001b30: JUMP
00001b31: JUMPDEST
00001b32: SWAP4
00001b33: POP
00001b34: POP
00001b35: POP
00001b36: JUMPDEST
00001b37: PUSH2 0x1b54
00001b3a: PUSH20 0x9933ad4d38702cdc28c5db2f421f1f02cf530780
00001b4f: DUP3
00001b50: PUSH2 0x1445
00001b53: JUMP
00001b54: JUMPDEST
00001b55: POP
00001b56: PUSH2 0x12cd
00001b59: PUSH20 0x83d0d842e6db3b020f384a2af11bd14787bec8e7
00001b6e: DUP4
00001b6f: PUSH2 0x1445
00001b72: JUMP
00001b73: JUMPDEST
00001b74: PUSH1 0x00
00001b76: PUSH1 0x14
00001b78: PUSH2 0x1b88
00001b7b: DUP5
00001b7c: PUSH1 0x03
00001b7e: PUSH4 0xffffffff
00001b83: PUSH2 0x19eb
00001b86: AND
00001b87: JUMP
00001b88: JUMPDEST
00001b89: DUP2
00001b8a: PUSH2 0x1b8f
00001b8d: JUMPI
00001b8e: INVALID
00001b8f: JUMPDEST
00001b90: DIV
00001b91: SWAP1
00001b92: POP
00001b93: PUSH1 0x00
00001b95: PUSH1 0x64
00001b97: PUSH2 0x1ba7
00001b9a: DUP6
00001b9b: PUSH1 0x37
00001b9d: PUSH4 0xffffffff
00001ba2: PUSH2 0x19eb
00001ba5: AND
00001ba6: JUMP
00001ba7: JUMPDEST
00001ba8: DUP2
00001ba9: PUSH2 0x1bae
00001bac: JUMPI
00001bad: INVALID
00001bae: JUMPDEST
00001baf: DIV
00001bb0: SWAP1
00001bb1: POP
00001bb2: PUSH1 0x00
00001bb4: PUSH2 0x1bbe
00001bb7: DUP7
00001bb8: DUP5
00001bb9: DUP7
00001bba: PUSH2 0x1c48
00001bbd: JUMP
00001bbe: JUMPDEST
00001bbf: SWAP1
00001bc0: POP
00001bc1: PUSH2 0x1be5
00001bc4: DUP3
00001bc5: PUSH2 0x1bd9
00001bc8: DUP4
00001bc9: PUSH1 0x0a
00001bcb: SLOAD
00001bcc: PUSH2 0x183d
00001bcf: SWAP1
00001bd0: SWAP2
00001bd1: SWAP1
00001bd2: PUSH4 0xffffffff
00001bd7: AND
00001bd8: JUMP
00001bd9: JUMPDEST
00001bda: SWAP1
00001bdb: PUSH4 0xffffffff
00001be0: PUSH2 0x183d
00001be3: AND
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH1 0x0a
00001be8: SSTORE
00001be9: POP
00001bea: POP
00001beb: POP
00001bec: POP
00001bed: POP
00001bee: POP
00001bef: JUMP
00001bf0: JUMPDEST
00001bf1: PUSH1 0x01
00001bf3: PUSH1 0x01
00001bf5: PUSH1 0xa0
00001bf7: SHL
00001bf8: SUB
00001bf9: DUP2
00001bfa: AND
00001bfb: PUSH1 0x00
00001bfd: SWAP1
00001bfe: DUP2
00001bff: MSTORE
00001c00: PUSH1 0x0f
00001c02: PUSH1 0x20
00001c04: MSTORE
00001c05: PUSH1 0x40
00001c07: DUP2
00001c08: KECCAK256
00001c09: PUSH1 0x08
00001c0b: DUP2
00001c0c: ADD
00001c0d: SLOAD
00001c0e: PUSH1 0x05
00001c10: SWAP1
00001c11: SWAP2
00001c12: ADD
00001c13: SLOAD
00001c14: PUSH1 0x0d
00001c16: SLOAD
00001c17: PUSH2 0x148e
00001c1a: SWAP3
00001c1b: SWAP2
00001c1c: PUSH8 0x0de0b6b3a7640000
00001c25: SWAP2
00001c26: PUSH2 0x1c34
00001c29: SWAP2
00001c2a: PUSH4 0xffffffff
00001c2f: PUSH2 0x19eb
00001c32: AND
00001c33: JUMP
00001c34: JUMPDEST
00001c35: DUP2
00001c36: PUSH2 0x1c3b
00001c39: JUMPI
00001c3a: INVALID
00001c3b: JUMPDEST
00001c3c: DIV
00001c3d: SWAP1
00001c3e: PUSH4 0xffffffff
00001c43: PUSH2 0x1a13
00001c46: AND
00001c47: JUMP
00001c48: JUMPDEST
00001c49: PUSH1 0x09
00001c4b: SLOAD
00001c4c: PUSH1 0x00
00001c4e: SWAP1
00001c4f: DUP2
00001c50: SWAP1
00001c51: PUSH2 0x1c68
00001c54: DUP6
00001c55: PUSH8 0x0de0b6b3a7640000
00001c5e: PUSH4 0xffffffff
00001c63: PUSH2 0x19eb
00001c66: AND
00001c67: JUMP
00001c68: JUMPDEST
00001c69: DUP2
00001c6a: PUSH2 0x1c6f
00001c6d: JUMPI
00001c6e: INVALID
00001c6f: JUMPDEST
00001c70: DIV
00001c71: SWAP1
00001c72: POP
00001c73: PUSH2 0x1c87
00001c76: DUP2
00001c77: PUSH1 0x0d
00001c79: SLOAD
00001c7a: PUSH2 0x183d
00001c7d: SWAP1
00001c7e: SWAP2
00001c7f: SWAP1
00001c80: PUSH4 0xffffffff
00001c85: AND
00001c86: JUMP
00001c87: JUMPDEST
00001c88: PUSH1 0x0d
00001c8a: SSTORE
00001c8b: PUSH1 0x00
00001c8d: PUSH8 0x0de0b6b3a7640000
00001c96: PUSH2 0x1ca5
00001c99: DUP4
00001c9a: DUP7
00001c9b: PUSH4 0xffffffff
00001ca0: PUSH2 0x19eb
00001ca3: AND
00001ca4: JUMP
00001ca5: JUMPDEST
00001ca6: DUP2
00001ca7: PUSH2 0x1cac
00001caa: JUMPI
00001cab: INVALID
00001cac: JUMPDEST
00001cad: DIV
00001cae: SWAP1
00001caf: POP
00001cb0: PUSH2 0x1cfd
00001cb3: PUSH1 0x0f
00001cb5: PUSH1 0x00
00001cb7: DUP9
00001cb8: PUSH1 0x01
00001cba: PUSH1 0x01
00001cbc: PUSH1 0xa0
00001cbe: SHL
00001cbf: SUB
00001cc0: AND
00001cc1: PUSH1 0x01
00001cc3: PUSH1 0x01
00001cc5: PUSH1 0xa0
00001cc7: SHL
00001cc8: SUB
00001cc9: AND
00001cca: DUP2
00001ccb: MSTORE
00001ccc: PUSH1 0x20
00001cce: ADD
00001ccf: SWAP1
00001cd0: DUP2
00001cd1: MSTORE
00001cd2: PUSH1 0x20
00001cd4: ADD
00001cd5: PUSH1 0x00
00001cd7: KECCAK256
00001cd8: PUSH1 0x08
00001cda: ADD
00001cdb: SLOAD
00001cdc: PUSH2 0x1bd9
00001cdf: DUP4
00001ce0: PUSH8 0x0de0b6b3a7640000
00001ce9: PUSH2 0x1c34
00001cec: DUP10
00001ced: PUSH1 0x0d
00001cef: SLOAD
00001cf0: PUSH2 0x19eb
00001cf3: SWAP1
00001cf4: SWAP2
00001cf5: SWAP1
00001cf6: PUSH4 0xffffffff
00001cfb: AND
00001cfc: JUMP
00001cfd: JUMPDEST
00001cfe: PUSH1 0x01
00001d00: PUSH1 0x01
00001d02: PUSH1 0xa0
00001d04: SHL
00001d05: SUB
00001d06: DUP8
00001d07: AND
00001d08: PUSH1 0x00
00001d0a: SWAP1
00001d0b: DUP2
00001d0c: MSTORE
00001d0d: PUSH1 0x0f
00001d0f: PUSH1 0x20
00001d11: MSTORE
00001d12: PUSH1 0x40
00001d14: SWAP1
00001d15: KECCAK256
00001d16: PUSH1 0x08
00001d18: ADD
00001d19: SSTORE
00001d1a: PUSH1 0x09
00001d1c: SLOAD
00001d1d: PUSH2 0x1d51
00001d20: SWAP1
00001d21: PUSH8 0x0de0b6b3a7640000
00001d2a: SWAP1
00001d2b: PUSH2 0x1d3b
00001d2e: SWAP1
00001d2f: DUP6
00001d30: SWAP1
00001d31: PUSH4 0xffffffff
00001d36: PUSH2 0x19eb
00001d39: AND
00001d3a: JUMP
00001d3b: JUMPDEST
00001d3c: DUP2
00001d3d: PUSH2 0x1d42
00001d40: JUMPI
00001d41: INVALID
00001d42: JUMPDEST
00001d43: DUP8
00001d44: SWAP2
00001d45: SWAP1
00001d46: DIV
00001d47: PUSH4 0xffffffff
00001d4c: PUSH2 0x1a13
00001d4f: AND
00001d50: JUMP
00001d51: JUMPDEST
00001d52: SWAP7
00001d53: SWAP6
00001d54: POP
00001d55: POP
00001d56: POP
00001d57: POP
00001d58: POP
00001d59: POP
00001d5a: JUMP
00001d5b: JUMPDEST
00001d5c: PUSH1 0x40
00001d5e: MLOAD
00001d5f: DUP1
00001d60: PUSH2 0x0c80
00001d63: ADD
00001d64: PUSH1 0x40
00001d66: MSTORE
00001d67: DUP1
00001d68: PUSH1 0x64
00001d6a: SWAP1
00001d6b: PUSH1 0x20
00001d6d: DUP3
00001d6e: MUL
00001d6f: DUP1
00001d70: CODESIZE
00001d71: DUP4
00001d72: CODECOPY
00001d73: POP
00001d74: SWAP2
00001d75: SWAP3
00001d76: SWAP2
00001d77: POP
00001d78: POP
00001d79: JUMP
00001d7a: JUMPDEST
00001d7b: PUSH1 0x32
00001d7d: DUP1
00001d7e: PUSH2 0x1d87
00001d81: DUP4
00001d82: CODECOPY
00001d83: ADD
00001d84: SWAP1
00001d85: JUMP
00001d86: INVALID
00001d87: PUSH1 0x80
00001d89: PUSH1 0x40
00001d8b: MSTORE
00001d8c: PUSH1 0x40
00001d8e: MLOAD
00001d8f: PUSH1 0x32
00001d91: CODESIZE
00001d92: SUB
00001d93: DUP1
00001d94: PUSH1 0x32
00001d96: DUP4
00001d97: CODECOPY
00001d98: DUP2
00001d99: DUP2
00001d9a: ADD
00001d9b: PUSH1 0x40
00001d9d: MSTORE
00001d9e: PUSH1 0x20
00001da0: DUP2
00001da1: LT
00001da2: ISZERO
00001da3: PUSH1 0x23
00001da5: JUMPI
00001da6: PUSH1 0x00
00001da8: DUP1
00001da9: REVERT
00001daa: JUMPDEST
00001dab: POP
00001dac: MLOAD
00001dad: PUSH1 0x01
00001daf: PUSH1 0x01
00001db1: PUSH1 0xa0
00001db3: SHL
00001db4: SUB
00001db5: DUP2
00001db6: AND
00001db7: SELFDESTRUCT
00001db8: INVALID
00001db9: PUSH17 0x6f636b6574206c696e743a206e6f742061
00001dcb: KECCAK256
00001dcc: PUSH23 0x616c69642063757272656e6379a265627a7a7231582078
00001de4: UNKNOWN(0xF7)
00001de5: UNKNOWN(0xDC)
00001de6: MOD
00001de7: PUSH4 0xf1419e97
00001dec: UNKNOWN(0xD7)
00001ded: UNKNOWN(0xFC)
00001dee: UNKNOWN(0x0C)
00001def: SMOD
00001df0: CALLVALUE
00001df1: PUSH13 0x894c816feeb9b5dae00925b35d
00001dff: PUSH9 0x0d542464736f6c6343
00001e09: STOP
00001e0a: SDIV
00001e0b: LT
00001e0c: STOP
00001e0d: ORIGIN