Analysis Run

[codex:305958] OpenAI Codex v0.77.0 (research preview)
[codex:305958] --------
[codex:305958] workdir: /tmp/codex-multi-wa4gtwg0
[codex:305958] model: gpt-5.2-codex
[codex:305958] provider: openai
[codex:305958] approval: never
[codex:305958] sandbox: read-only
[codex:305958] reasoning effort: xhigh
[codex:305958] reasoning summaries: auto
[codex:305958] session id: 019b8ba4-7f90-7a83-9637-53a9bef5e7f8
[codex:305958] --------
[codex:305958] user
[codex:305958] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:305958] 
[codex:305958] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:305958] 
[codex:305958] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:305958] - Gas inefficiency, code quality, naming, or best practices
[codex:305958] - Theoretical vulnerabilities without a clear extraction path
[codex:305958] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:305958] - Front-running unless it enables theft beyond MEV
[codex:305958] - DoS, griefing, or issues that don't result in attacker profit
[codex:305958] - Missing events, view function issues, or informational findings
[codex:305958] 
[codex:305958] HIGH-VALUE PATTERNS TO HUNT:
[codex:305958] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:305958] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:305958] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:305958] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:305958] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:305958] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:305958] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:305958] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:305958] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:305958] 
[codex:305958] For each finding, you MUST provide:
[codex:305958] 1. Exact file and line numbers of vulnerable code
[codex:305958] 2. Step-by-step exploit transaction sequence
[codex:305958] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:305958] 
[codex:305958] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:305958] 
[codex:305958] Output MUST be valid JSON matching the provided schema.
[codex:305958] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:305958] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:305958] mcp startup: no servers
[codex:305958] 
[codex:305958] thinking
[codex:305958] **Preparing to audit AGENTS skills and AUDIT_BUNDLE.txt**
[codex:305958] exec
[codex:305958] /bin/bash -lc ls in /tmp/codex-multi-wa4gtwg0 succeeded in 9ms:
[codex:305958] AUDIT_BUNDLE.txt
[codex:305958] codex-output-schema.json
[codex:305958] contracts
[codex:305958] exec
[codex:305958] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-wa4gtwg0 succeeded in 5ms:
[codex:305958] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:305958] 
[codex:305958] ================================================================================
[codex:305958] FILE: contracts/Contract.sol
[codex:305958] ================================================================================
[codex:305958] pragma solidity^0.4.24;
[codex:305958] 
[codex:305958] /**
[codex:305958]                         MOBIUS 2D
[codex:305958]                      https://m2d.win 
[codex:305958]                                        
[codex:305958]     This game was inspired by FOMO3D. Our code is much cleaner and more efficient (built from scratch).
[codex:305958]     Some useless "features" like the teams were not implemented.
[codex:305958]  
[codex:305958]     The Mobius2D game consists of rounds with guaranteed winners!
[codex:305958]     You buy "shares" (instad of keys) for a given round, and you get returns from investors after you.
[codex:305958]     The sare price is constant until the hard deadline, after which it increases exponentially. 
[codex:305958]     If a round is inactive for a day it can end earlier than the hard deadline.
[codex:305958]     If a round runs longer, it is guaranteed to finish not much after the hard deadline (and the last investor gets the big jackpot).
[codex:305958]     Additionally, if you invest more than 0.1 ETH you get a chance to win an airdrop and you get bonus shares
[codex:305958] 
[codex:305958] 
[codex:305958] 
[codex:305958] 
[codex:305958] thinking
[codex:305958] **Analyzing contract for profit exploits**
[codex:305958] thinking
[codex:305958] **Evaluating edge cases and timing manipulations for exploits**
[codex:305958] 
[codex:305958] This is a deep dive into how miners might manipulate airdrops and purchases, price overflow risks with repeated doublings after deadlines, referral self-crediting, and potential reentrancy issues involving external token calls. I’m carefully considering whether timing constraints, upgrade mechanics, or purchase rules create paths for profit extraction or lock funds, with realistic constraints on attacker capabilities in this contract’s design.
[codex:305958] thinking
[codex:305958] **Analyzing potential arithmetic and state update issues**
[codex:305958] 
[codex:305958] This section puzzles over arithmetic underflows, reentrancy concerns, referral mechanics, and edge cases in returns tracking and round state updates. I’m investigating how certain balances and returns could be inconsistently tracked or cause failed withdrawals, alongside how delegatecall or fallback mechanisms might interact with tx.origin protections and purchase logic. It’s a detailed look at the contract’s internal accounting and flow control.
[codex:305958] thinking
[codex:305958] **Evaluating reinvest and returns accounting edge cases**
[codex:305958] 
[codex:305958] I'm examining scenarios where reinvestments could clash with unclaimed returns tracking, and how fractional share purchases affect deadline extensions. I’m also reviewing authorization checks and potential reentrancy in token interactions to confirm no obvious profit exploits exist. Ultimately, I find no solid exploit paths but notice some nuanced behaviors possibly by design.
[codex:305958] codex
[codex:305958] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}
[codex:305958] tokens used
[codex:305958] 32,075
[codex:305958] {"no_findings":true,"summary":"No concrete, exploitable profit paths identified in the provided sources.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-05T00:56:54.525289+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable profit paths identified in the provided sources.",
    "raw_final": {
        "summary": "No concrete, exploitable profit paths identified in the provided sources.",
        "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 0x0245
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH4 0x02605ea8
0000003a: DUP2
0000003b: EQ
0000003c: PUSH2 0x0251
0000003f: JUMPI
00000040: DUP1
00000041: PUSH4 0x059f8b16
00000046: EQ
00000047: PUSH2 0x0278
0000004a: JUMPI
0000004b: DUP1
0000004c: PUSH4 0x0900f010
00000051: EQ
00000052: PUSH2 0x028d
00000055: JUMPI
00000056: DUP1
00000057: PUSH4 0x0bafd60e
0000005c: EQ
0000005d: PUSH2 0x02ae
00000060: JUMPI
00000061: DUP1
00000062: PUSH4 0x0d6c03fa
00000067: EQ
00000068: PUSH2 0x02df
0000006b: JUMPI
0000006c: DUP1
0000006d: PUSH4 0x13af4035
00000072: EQ
00000073: PUSH2 0x02f4
00000076: JUMPI
00000077: DUP1
00000078: PUSH4 0x14a0450a
0000007d: EQ
0000007e: PUSH2 0x0315
00000081: JUMPI
00000082: DUP1
00000083: PUSH4 0x3314b952
00000088: EQ
00000089: PUSH2 0x032a
0000008c: JUMPI
0000008d: DUP1
0000008e: PUSH4 0x377c93bf
00000093: EQ
00000094: PUSH2 0x033f
00000097: JUMPI
00000098: DUP1
00000099: PUSH4 0x3bfc1b25
0000009e: EQ
0000009f: PUSH2 0x03c9
000000a2: JUMPI
000000a3: DUP1
000000a4: PUSH4 0x3d6859f2
000000a9: EQ
000000aa: PUSH2 0x03de
000000ad: JUMPI
000000ae: DUP1
000000af: PUSH4 0x40c0ece3
000000b4: EQ
000000b5: PUSH2 0x0420
000000b8: JUMPI
000000b9: DUP1
000000ba: PUSH4 0x427f0b00
000000bf: EQ
000000c0: PUSH2 0x0438
000000c3: JUMPI
000000c4: DUP1
000000c5: PUSH4 0x43db053e
000000ca: EQ
000000cb: PUSH2 0x04ac
000000ce: JUMPI
000000cf: DUP1
000000d0: PUSH4 0x48afd1b3
000000d5: EQ
000000d6: PUSH2 0x04c1
000000d9: JUMPI
000000da: DUP1
000000db: PUSH4 0x4c7ce18a
000000e0: EQ
000000e1: PUSH2 0x04f9
000000e4: JUMPI
000000e5: DUP1
000000e6: PUSH4 0x4c85b425
000000eb: EQ
000000ec: PUSH2 0x050e
000000ef: JUMPI
000000f0: DUP1
000000f1: PUSH4 0x536942b6
000000f6: EQ
000000f7: PUSH2 0x0522
000000fa: JUMPI
000000fb: DUP1
000000fc: PUSH4 0x574d6554
00000101: EQ
00000102: PUSH2 0x052a
00000105: JUMPI
00000106: DUP1
00000107: PUSH4 0x57b16811
0000010c: EQ
0000010d: PUSH2 0x05c1
00000110: JUMPI
00000111: DUP1
00000112: PUSH4 0x5faf500f
00000117: EQ
00000118: PUSH2 0x05fc
0000011b: JUMPI
0000011c: DUP1
0000011d: PUSH4 0x619360df
00000122: EQ
00000123: PUSH2 0x0611
00000126: JUMPI
00000127: DUP1
00000128: PUSH4 0x61983c02
0000012d: EQ
0000012e: PUSH2 0x0626
00000131: JUMPI
00000132: DUP1
00000133: PUSH4 0x68fab02a
00000138: EQ
00000139: PUSH2 0x063b
0000013c: JUMPI
0000013d: DUP1
0000013e: PUSH4 0x73aff5af
00000143: EQ
00000144: PUSH2 0x0650
00000147: JUMPI
00000148: DUP1
00000149: PUSH4 0x7a9e5e4b
0000014e: EQ
0000014f: PUSH2 0x0665
00000152: JUMPI
00000153: DUP1
00000154: PUSH4 0x8da5cb5b
00000159: EQ
0000015a: PUSH2 0x0686
0000015d: JUMPI
0000015e: DUP1
0000015f: PUSH4 0x98bf4c08
00000164: EQ
00000165: PUSH2 0x069b
00000168: JUMPI
00000169: DUP1
0000016a: PUSH4 0x9a7f027c
0000016f: EQ
00000170: PUSH2 0x06b0
00000173: JUMPI
00000174: DUP1
00000175: PUSH4 0x9b079084
0000017a: EQ
0000017b: PUSH2 0x06c5
0000017e: JUMPI
0000017f: DUP1
00000180: PUSH4 0x9e93d0e4
00000185: EQ
00000186: PUSH2 0x06da
00000189: JUMPI
0000018a: DUP1
0000018b: PUSH4 0xa2860050
00000190: EQ
00000191: PUSH2 0x06f2
00000194: JUMPI
00000195: DUP1
00000196: PUSH4 0xa44be536
0000019b: EQ
0000019c: PUSH2 0x072f
0000019f: JUMPI
000001a0: DUP1
000001a1: PUSH4 0xb017d08c
000001a6: EQ
000001a7: PUSH2 0x0744
000001aa: JUMPI
000001ab: DUP1
000001ac: PUSH4 0xbc2f45a7
000001b1: EQ
000001b2: PUSH2 0x0759
000001b5: JUMPI
000001b6: DUP1
000001b7: PUSH4 0xbd85948c
000001bc: EQ
000001bd: PUSH2 0x076e
000001c0: JUMPI
000001c1: DUP1
000001c2: PUSH4 0xbf7e214f
000001c7: EQ
000001c8: PUSH2 0x0776
000001cb: JUMPI
000001cc: DUP1
000001cd: PUSH4 0xc24a9674
000001d2: EQ
000001d3: PUSH2 0x078b
000001d6: JUMPI
000001d7: DUP1
000001d8: PUSH4 0xc28de2cd
000001dd: EQ
000001de: PUSH2 0x07a0
000001e1: JUMPI
000001e2: DUP1
000001e3: PUSH4 0xc5c87db4
000001e8: EQ
000001e9: PUSH2 0x07b5
000001ec: JUMPI
000001ed: DUP1
000001ee: PUSH4 0xc623674f
000001f3: EQ
000001f4: PUSH2 0x07d9
000001f7: JUMPI
000001f8: DUP1
000001f9: PUSH4 0xc9e18986
000001fe: EQ
000001ff: PUSH2 0x07ee
00000202: JUMPI
00000203: DUP1
00000204: PUSH4 0xcd9a1b63
00000209: EQ
0000020a: PUSH2 0x0803
0000020d: JUMPI
0000020e: DUP1
0000020f: PUSH4 0xd287e9e4
00000214: EQ
00000215: PUSH2 0x0818
00000218: JUMPI
00000219: DUP1
0000021a: PUSH4 0xf1b60408
0000021f: EQ
00000220: PUSH2 0x072f
00000223: JUMPI
00000224: DUP1
00000225: PUSH4 0xf76339dc
0000022a: EQ
0000022b: PUSH2 0x082d
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0xf958b9ca
00000235: EQ
00000236: PUSH2 0x0842
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0xfc0c546a
00000240: EQ
00000241: PUSH2 0x0857
00000244: JUMPI
00000245: JUMPDEST
00000246: PUSH2 0x024f
00000249: PUSH1 0x00
0000024b: PUSH2 0x086c
0000024e: JUMP
0000024f: JUMPDEST
00000250: STOP
00000251: JUMPDEST
00000252: CALLVALUE
00000253: DUP1
00000254: ISZERO
00000255: PUSH2 0x025d
00000258: JUMPI
00000259: PUSH1 0x00
0000025b: DUP1
0000025c: REVERT
0000025d: JUMPDEST
0000025e: POP
0000025f: PUSH2 0x0266
00000262: PUSH2 0x08fe
00000265: JUMP
00000266: JUMPDEST
00000267: PUSH1 0x40
00000269: DUP1
0000026a: MLOAD
0000026b: SWAP2
0000026c: DUP3
0000026d: MSTORE
0000026e: MLOAD
0000026f: SWAP1
00000270: DUP2
00000271: SWAP1
00000272: SUB
00000273: PUSH1 0x20
00000275: ADD
00000276: SWAP1
00000277: RETURN
00000278: JUMPDEST
00000279: CALLVALUE
0000027a: DUP1
0000027b: ISZERO
0000027c: PUSH2 0x0284
0000027f: JUMPI
00000280: PUSH1 0x00
00000282: DUP1
00000283: REVERT
00000284: JUMPDEST
00000285: POP
00000286: PUSH2 0x0266
00000289: PUSH2 0x0904
0000028c: JUMP
0000028d: JUMPDEST
0000028e: CALLVALUE
0000028f: DUP1
00000290: ISZERO
00000291: PUSH2 0x0299
00000294: JUMPI
00000295: PUSH1 0x00
00000297: DUP1
00000298: REVERT
00000299: JUMPDEST
0000029a: POP
0000029b: PUSH2 0x024f
0000029e: PUSH1 0x01
000002a0: PUSH1 0xa0
000002a2: PUSH1 0x02
000002a4: EXP
000002a5: SUB
000002a6: PUSH1 0x04
000002a8: CALLDATALOAD
000002a9: AND
000002aa: PUSH2 0x0914
000002ad: JUMP
000002ae: JUMPDEST
000002af: CALLVALUE
000002b0: DUP1
000002b1: ISZERO
000002b2: PUSH2 0x02ba
000002b5: JUMPI
000002b6: PUSH1 0x00
000002b8: DUP1
000002b9: REVERT
000002ba: JUMPDEST
000002bb: POP
000002bc: PUSH2 0x02c3
000002bf: PUSH2 0x0aa3
000002c2: JUMP
000002c3: JUMPDEST
000002c4: PUSH1 0x40
000002c6: DUP1
000002c7: MLOAD
000002c8: PUSH1 0x01
000002ca: PUSH1 0xa0
000002cc: PUSH1 0x02
000002ce: EXP
000002cf: SUB
000002d0: SWAP1
000002d1: SWAP3
000002d2: AND
000002d3: DUP3
000002d4: MSTORE
000002d5: MLOAD
000002d6: SWAP1
000002d7: DUP2
000002d8: SWAP1
000002d9: SUB
000002da: PUSH1 0x20
000002dc: ADD
000002dd: SWAP1
000002de: RETURN
000002df: JUMPDEST
000002e0: CALLVALUE
000002e1: DUP1
000002e2: ISZERO
000002e3: PUSH2 0x02eb
000002e6: JUMPI
000002e7: PUSH1 0x00
000002e9: DUP1
000002ea: REVERT
000002eb: JUMPDEST
000002ec: POP
000002ed: PUSH2 0x0266
000002f0: PUSH2 0x0ab2
000002f3: JUMP
000002f4: JUMPDEST
000002f5: CALLVALUE
000002f6: DUP1
000002f7: ISZERO
000002f8: PUSH2 0x0300
000002fb: JUMPI
000002fc: PUSH1 0x00
000002fe: DUP1
000002ff: REVERT
00000300: JUMPDEST
00000301: POP
00000302: PUSH2 0x024f
00000305: PUSH1 0x01
00000307: PUSH1 0xa0
00000309: PUSH1 0x02
0000030b: EXP
0000030c: SUB
0000030d: PUSH1 0x04
0000030f: CALLDATALOAD
00000310: AND
00000311: PUSH2 0x0ab8
00000314: JUMP
00000315: JUMPDEST
00000316: CALLVALUE
00000317: DUP1
00000318: ISZERO
00000319: PUSH2 0x0321
0000031c: JUMPI
0000031d: PUSH1 0x00
0000031f: DUP1
00000320: REVERT
00000321: JUMPDEST
00000322: POP
00000323: PUSH2 0x0266
00000326: PUSH2 0x0b36
00000329: JUMP
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 0x0266
0000033b: PUSH2 0x0b3b
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 0x0354
00000350: PUSH2 0x0b41
00000353: JUMP
00000354: JUMPDEST
00000355: PUSH1 0x40
00000357: DUP1
00000358: MLOAD
00000359: PUSH1 0x20
0000035b: DUP1
0000035c: DUP3
0000035d: MSTORE
0000035e: DUP4
0000035f: MLOAD
00000360: DUP2
00000361: DUP4
00000362: ADD
00000363: MSTORE
00000364: DUP4
00000365: MLOAD
00000366: SWAP2
00000367: SWAP3
00000368: DUP4
00000369: SWAP3
0000036a: SWAP1
0000036b: DUP4
0000036c: ADD
0000036d: SWAP2
0000036e: DUP6
0000036f: ADD
00000370: SWAP1
00000371: DUP1
00000372: DUP4
00000373: DUP4
00000374: PUSH1 0x00
00000376: JUMPDEST
00000377: DUP4
00000378: DUP2
00000379: LT
0000037a: ISZERO
0000037b: PUSH2 0x038e
0000037e: JUMPI
0000037f: DUP2
00000380: DUP2
00000381: ADD
00000382: MLOAD
00000383: DUP4
00000384: DUP3
00000385: ADD
00000386: MSTORE
00000387: PUSH1 0x20
00000389: ADD
0000038a: PUSH2 0x0376
0000038d: JUMP
0000038e: JUMPDEST
0000038f: POP
00000390: POP
00000391: POP
00000392: POP
00000393: SWAP1
00000394: POP
00000395: SWAP1
00000396: DUP2
00000397: ADD
00000398: SWAP1
00000399: PUSH1 0x1f
0000039b: AND
0000039c: DUP1
0000039d: ISZERO
0000039e: PUSH2 0x03bb
000003a1: JUMPI
000003a2: DUP1
000003a3: DUP3
000003a4: SUB
000003a5: DUP1
000003a6: MLOAD
000003a7: PUSH1 0x01
000003a9: DUP4
000003aa: PUSH1 0x20
000003ac: SUB
000003ad: PUSH2 0x0100
000003b0: EXP
000003b1: SUB
000003b2: NOT
000003b3: AND
000003b4: DUP2
000003b5: MSTORE
000003b6: PUSH1 0x20
000003b8: ADD
000003b9: SWAP2
000003ba: POP
000003bb: JUMPDEST
000003bc: POP
000003bd: SWAP3
000003be: POP
000003bf: POP
000003c0: POP
000003c1: PUSH1 0x40
000003c3: MLOAD
000003c4: DUP1
000003c5: SWAP2
000003c6: SUB
000003c7: SWAP1
000003c8: RETURN
000003c9: JUMPDEST
000003ca: CALLVALUE
000003cb: DUP1
000003cc: ISZERO
000003cd: PUSH2 0x03d5
000003d0: JUMPI
000003d1: PUSH1 0x00
000003d3: DUP1
000003d4: REVERT
000003d5: JUMPDEST
000003d6: POP
000003d7: PUSH2 0x0266
000003da: PUSH2 0x0bcf
000003dd: JUMP
000003de: JUMPDEST
000003df: CALLVALUE
000003e0: DUP1
000003e1: ISZERO
000003e2: PUSH2 0x03ea
000003e5: JUMPI
000003e6: PUSH1 0x00
000003e8: DUP1
000003e9: REVERT
000003ea: JUMPDEST
000003eb: POP
000003ec: PUSH2 0x0402
000003ef: PUSH1 0x01
000003f1: PUSH1 0xa0
000003f3: PUSH1 0x02
000003f5: EXP
000003f6: SUB
000003f7: PUSH1 0x04
000003f9: CALLDATALOAD
000003fa: AND
000003fb: PUSH1 0x24
000003fd: CALLDATALOAD
000003fe: PUSH2 0x0bd5
00000401: JUMP
00000402: JUMPDEST
00000403: PUSH1 0x40
00000405: DUP1
00000406: MLOAD
00000407: SWAP4
00000408: DUP5
00000409: MSTORE
0000040a: PUSH1 0x20
0000040c: DUP5
0000040d: ADD
0000040e: SWAP3
0000040f: SWAP1
00000410: SWAP3
00000411: MSTORE
00000412: DUP3
00000413: DUP3
00000414: ADD
00000415: MSTORE
00000416: MLOAD
00000417: SWAP1
00000418: DUP2
00000419: SWAP1
0000041a: SUB
0000041b: PUSH1 0x60
0000041d: ADD
0000041e: SWAP1
0000041f: RETURN
00000420: JUMPDEST
00000421: CALLVALUE
00000422: DUP1
00000423: ISZERO
00000424: PUSH2 0x042c
00000427: JUMPI
00000428: PUSH1 0x00
0000042a: DUP1
0000042b: REVERT
0000042c: JUMPDEST
0000042d: POP
0000042e: PUSH2 0x024f
00000431: PUSH1 0x04
00000433: CALLDATALOAD
00000434: PUSH2 0x0c31
00000437: JUMP
00000438: JUMPDEST
00000439: CALLVALUE
0000043a: DUP1
0000043b: ISZERO
0000043c: PUSH2 0x0444
0000043f: JUMPI
00000440: PUSH1 0x00
00000442: DUP1
00000443: REVERT
00000444: JUMPDEST
00000445: POP
00000446: PUSH2 0x0450
00000449: PUSH1 0x04
0000044b: CALLDATALOAD
0000044c: PUSH2 0x0c5c
0000044f: JUMP
00000450: JUMPDEST
00000451: PUSH1 0x40
00000453: DUP1
00000454: MLOAD
00000455: PUSH1 0x01
00000457: PUSH1 0xa0
00000459: PUSH1 0x02
0000045b: EXP
0000045c: SUB
0000045d: SWAP1
0000045e: SWAP12
0000045f: AND
00000460: DUP12
00000461: MSTORE
00000462: PUSH1 0x20
00000464: DUP12
00000465: ADD
00000466: SWAP10
00000467: SWAP1
00000468: SWAP10
00000469: MSTORE
0000046a: DUP10
0000046b: DUP10
0000046c: ADD
0000046d: SWAP8
0000046e: SWAP1
0000046f: SWAP8
00000470: MSTORE
00000471: PUSH1 0x60
00000473: DUP10
00000474: ADD
00000475: SWAP6
00000476: SWAP1
00000477: SWAP6
00000478: MSTORE
00000479: PUSH1 0x80
0000047b: DUP9
0000047c: ADD
0000047d: SWAP4
0000047e: SWAP1
0000047f: SWAP4
00000480: MSTORE
00000481: PUSH1 0xa0
00000483: DUP8
00000484: ADD
00000485: SWAP2
00000486: SWAP1
00000487: SWAP2
00000488: MSTORE
00000489: PUSH1 0xc0
0000048b: DUP7
0000048c: ADD
0000048d: MSTORE
0000048e: PUSH1 0xe0
00000490: DUP6
00000491: ADD
00000492: MSTORE
00000493: PUSH2 0x0100
00000496: DUP5
00000497: ADD
00000498: MSTORE
00000499: ISZERO
0000049a: ISZERO
0000049b: PUSH2 0x0120
0000049e: DUP4
0000049f: ADD
000004a0: MSTORE
000004a1: MLOAD
000004a2: SWAP1
000004a3: DUP2
000004a4: SWAP1
000004a5: SUB
000004a6: PUSH2 0x0140
000004a9: ADD
000004aa: SWAP1
000004ab: RETURN
000004ac: JUMPDEST
000004ad: CALLVALUE
000004ae: DUP1
000004af: ISZERO
000004b0: PUSH2 0x04b8
000004b3: JUMPI
000004b4: PUSH1 0x00
000004b6: DUP1
000004b7: REVERT
000004b8: JUMPDEST
000004b9: POP
000004ba: PUSH2 0x024f
000004bd: PUSH2 0x0d11
000004c0: JUMP
000004c1: JUMPDEST
000004c2: CALLVALUE
000004c3: DUP1
000004c4: ISZERO
000004c5: PUSH2 0x04cd
000004c8: JUMPI
000004c9: PUSH1 0x00
000004cb: DUP1
000004cc: REVERT
000004cd: JUMPDEST
000004ce: POP
000004cf: PUSH2 0x04e5
000004d2: PUSH1 0x01
000004d4: PUSH1 0xa0
000004d6: PUSH1 0x02
000004d8: EXP
000004d9: SUB
000004da: PUSH1 0x04
000004dc: CALLDATALOAD
000004dd: AND
000004de: PUSH1 0x24
000004e0: CALLDATALOAD
000004e1: PUSH2 0x0d6d
000004e4: JUMP
000004e5: JUMPDEST
000004e6: PUSH1 0x40
000004e8: DUP1
000004e9: MLOAD
000004ea: SWAP2
000004eb: ISZERO
000004ec: ISZERO
000004ed: DUP3
000004ee: MSTORE
000004ef: MLOAD
000004f0: SWAP1
000004f1: DUP2
000004f2: SWAP1
000004f3: SUB
000004f4: PUSH1 0x20
000004f6: ADD
000004f7: SWAP1
000004f8: RETURN
000004f9: JUMPDEST
000004fa: CALLVALUE
000004fb: DUP1
000004fc: ISZERO
000004fd: PUSH2 0x0505
00000500: JUMPI
00000501: PUSH1 0x00
00000503: DUP1
00000504: REVERT
00000505: JUMPDEST
00000506: POP
00000507: PUSH2 0x024f
0000050a: PUSH2 0x0db9
0000050d: JUMP
0000050e: JUMPDEST
0000050f: PUSH2 0x024f
00000512: PUSH1 0x01
00000514: PUSH1 0xa0
00000516: PUSH1 0x02
00000518: EXP
00000519: SUB
0000051a: PUSH1 0x04
0000051c: CALLDATALOAD
0000051d: AND
0000051e: PUSH2 0x086c
00000521: JUMP
00000522: JUMPDEST
00000523: PUSH2 0x024f
00000526: PUSH2 0x0f42
00000529: JUMP
0000052a: JUMPDEST
0000052b: CALLVALUE
0000052c: DUP1
0000052d: ISZERO
0000052e: PUSH2 0x0536
00000531: JUMPI
00000532: PUSH1 0x00
00000534: DUP1
00000535: REVERT
00000536: JUMPDEST
00000537: POP
00000538: PUSH1 0x40
0000053a: DUP1
0000053b: MLOAD
0000053c: PUSH1 0x20
0000053e: PUSH1 0x04
00000540: DUP1
00000541: CALLDATALOAD
00000542: DUP1
00000543: DUP3
00000544: ADD
00000545: CALLDATALOAD
00000546: PUSH1 0x1f
00000548: DUP2
00000549: ADD
0000054a: DUP5
0000054b: SWAP1
0000054c: DIV
0000054d: DUP5
0000054e: MUL
0000054f: DUP6
00000550: ADD
00000551: DUP5
00000552: ADD
00000553: SWAP1
00000554: SWAP6
00000555: MSTORE
00000556: DUP5
00000557: DUP5
00000558: MSTORE
00000559: PUSH2 0x024f
0000055c: SWAP5
0000055d: CALLDATASIZE
0000055e: SWAP5
0000055f: SWAP3
00000560: SWAP4
00000561: PUSH1 0x24
00000563: SWAP4
00000564: SWAP3
00000565: DUP5
00000566: ADD
00000567: SWAP2
00000568: SWAP1
00000569: DUP2
0000056a: SWAP1
0000056b: DUP5
0000056c: ADD
0000056d: DUP4
0000056e: DUP3
0000056f: DUP1
00000570: DUP3
00000571: DUP5
00000572: CALLDATACOPY
00000573: POP
00000574: POP
00000575: PUSH1 0x40
00000577: DUP1
00000578: MLOAD
00000579: PUSH1 0x20
0000057b: PUSH1 0x1f
0000057d: DUP10
0000057e: CALLDATALOAD
0000057f: DUP12
00000580: ADD
00000581: DUP1
00000582: CALLDATALOAD
00000583: SWAP2
00000584: DUP3
00000585: ADD
00000586: DUP4
00000587: SWAP1
00000588: DIV
00000589: DUP4
0000058a: MUL
0000058b: DUP5
0000058c: ADD
0000058d: DUP4
0000058e: ADD
0000058f: SWAP1
00000590: SWAP5
00000591: MSTORE
00000592: DUP1
00000593: DUP4
00000594: MSTORE
00000595: SWAP8
00000596: SWAP11
00000597: SWAP10
00000598: SWAP9
00000599: DUP2
0000059a: ADD
0000059b: SWAP8
0000059c: SWAP2
0000059d: SWAP7
0000059e: POP
0000059f: SWAP2
000005a0: DUP3
000005a1: ADD
000005a2: SWAP5
000005a3: POP
000005a4: SWAP3
000005a5: POP
000005a6: DUP3
000005a7: SWAP2
000005a8: POP
000005a9: DUP5
000005aa: ADD
000005ab: DUP4
000005ac: DUP3
000005ad: DUP1
000005ae: DUP3
000005af: DUP5
000005b0: CALLDATACOPY
000005b1: POP
000005b2: SWAP5
000005b3: SWAP8
000005b4: POP
000005b5: PUSH2 0x0f54
000005b8: SWAP7
000005b9: POP
000005ba: POP
000005bb: POP
000005bc: POP
000005bd: POP
000005be: POP
000005bf: POP
000005c0: JUMP
000005c1: JUMPDEST
000005c2: CALLVALUE
000005c3: DUP1
000005c4: ISZERO
000005c5: PUSH2 0x05cd
000005c8: JUMPI
000005c9: PUSH1 0x00
000005cb: DUP1
000005cc: REVERT
000005cd: JUMPDEST
000005ce: POP
000005cf: PUSH2 0x05d6
000005d2: PUSH2 0x10a1
000005d5: JUMP
000005d6: JUMPDEST
000005d7: PUSH1 0x40
000005d9: DUP1
000005da: MLOAD
000005db: SWAP5
000005dc: DUP6
000005dd: MSTORE
000005de: PUSH1 0x20
000005e0: DUP6
000005e1: ADD
000005e2: SWAP4
000005e3: SWAP1
000005e4: SWAP4
000005e5: MSTORE
000005e6: DUP4
000005e7: DUP4
000005e8: ADD
000005e9: SWAP2
000005ea: SWAP1
000005eb: SWAP2
000005ec: MSTORE
000005ed: PUSH1 0x60
000005ef: DUP4
000005f0: ADD
000005f1: MSTORE
000005f2: MLOAD
000005f3: SWAP1
000005f4: DUP2
000005f5: SWAP1
000005f6: SUB
000005f7: PUSH1 0x80
000005f9: ADD
000005fa: SWAP1
000005fb: RETURN
000005fc: JUMPDEST
000005fd: CALLVALUE
000005fe: DUP1
000005ff: ISZERO
00000600: PUSH2 0x0608
00000603: JUMPI
00000604: PUSH1 0x00
00000606: DUP1
00000607: REVERT
00000608: JUMPDEST
00000609: POP
0000060a: PUSH2 0x0266
0000060d: PUSH2 0x113a
00000610: JUMP
00000611: JUMPDEST
00000612: CALLVALUE
00000613: DUP1
00000614: ISZERO
00000615: PUSH2 0x061d
00000618: JUMPI
00000619: PUSH1 0x00
0000061b: DUP1
0000061c: REVERT
0000061d: JUMPDEST
0000061e: POP
0000061f: PUSH2 0x0266
00000622: PUSH2 0x1145
00000625: JUMP
00000626: JUMPDEST
00000627: CALLVALUE
00000628: DUP1
00000629: ISZERO
0000062a: PUSH2 0x0632
0000062d: JUMPI
0000062e: PUSH1 0x00
00000630: DUP1
00000631: REVERT
00000632: JUMPDEST
00000633: POP
00000634: PUSH2 0x0266
00000637: PUSH2 0x114b
0000063a: JUMP
0000063b: JUMPDEST
0000063c: CALLVALUE
0000063d: DUP1
0000063e: ISZERO
0000063f: PUSH2 0x0647
00000642: JUMPI
00000643: PUSH1 0x00
00000645: DUP1
00000646: REVERT
00000647: JUMPDEST
00000648: POP
00000649: PUSH2 0x0266
0000064c: PUSH2 0x1157
0000064f: JUMP
00000650: JUMPDEST
00000651: CALLVALUE
00000652: DUP1
00000653: ISZERO
00000654: PUSH2 0x065c
00000657: JUMPI
00000658: PUSH1 0x00
0000065a: DUP1
0000065b: REVERT
0000065c: JUMPDEST
0000065d: POP
0000065e: PUSH2 0x0266
00000661: PUSH2 0x115e
00000664: JUMP
00000665: JUMPDEST
00000666: CALLVALUE
00000667: DUP1
00000668: ISZERO
00000669: PUSH2 0x0671
0000066c: JUMPI
0000066d: PUSH1 0x00
0000066f: DUP1
00000670: REVERT
00000671: JUMPDEST
00000672: POP
00000673: PUSH2 0x024f
00000676: PUSH1 0x01
00000678: PUSH1 0xa0
0000067a: PUSH1 0x02
0000067c: EXP
0000067d: SUB
0000067e: PUSH1 0x04
00000680: CALLDATALOAD
00000681: AND
00000682: PUSH2 0x1164
00000685: JUMP
00000686: JUMPDEST
00000687: CALLVALUE
00000688: DUP1
00000689: ISZERO
0000068a: PUSH2 0x0692
0000068d: JUMPI
0000068e: PUSH1 0x00
00000690: DUP1
00000691: REVERT
00000692: JUMPDEST
00000693: POP
00000694: PUSH2 0x02c3
00000697: PUSH2 0x11de
0000069a: JUMP
0000069b: JUMPDEST
0000069c: CALLVALUE
0000069d: DUP1
0000069e: ISZERO
0000069f: PUSH2 0x06a7
000006a2: JUMPI
000006a3: PUSH1 0x00
000006a5: DUP1
000006a6: REVERT
000006a7: JUMPDEST
000006a8: POP
000006a9: PUSH2 0x0266
000006ac: PUSH2 0x11ed
000006af: JUMP
000006b0: JUMPDEST
000006b1: CALLVALUE
000006b2: DUP1
000006b3: ISZERO
000006b4: PUSH2 0x06bc
000006b7: JUMPI
000006b8: PUSH1 0x00
000006ba: DUP1
000006bb: REVERT
000006bc: JUMPDEST
000006bd: POP
000006be: PUSH2 0x0266
000006c1: PUSH2 0x11f8
000006c4: JUMP
000006c5: JUMPDEST
000006c6: CALLVALUE
000006c7: DUP1
000006c8: ISZERO
000006c9: PUSH2 0x06d1
000006cc: JUMPI
000006cd: PUSH1 0x00
000006cf: DUP1
000006d0: REVERT
000006d1: JUMPDEST
000006d2: POP
000006d3: PUSH2 0x0266
000006d6: PUSH2 0x1204
000006d9: JUMP
000006da: JUMPDEST
000006db: CALLVALUE
000006dc: DUP1
000006dd: ISZERO
000006de: PUSH2 0x06e6
000006e1: JUMPI
000006e2: PUSH1 0x00
000006e4: DUP1
000006e5: REVERT
000006e6: JUMPDEST
000006e7: POP
000006e8: PUSH2 0x024f
000006eb: PUSH1 0x04
000006ed: CALLDATALOAD
000006ee: PUSH2 0x120b
000006f1: JUMP
000006f2: JUMPDEST
000006f3: CALLVALUE
000006f4: DUP1
000006f5: ISZERO
000006f6: PUSH2 0x06fe
000006f9: JUMPI
000006fa: PUSH1 0x00
000006fc: DUP1
000006fd: REVERT
000006fe: JUMPDEST
000006ff: POP
00000700: PUSH2 0x0716
00000703: PUSH1 0x01
00000705: PUSH1 0xa0
00000707: PUSH1 0x02
00000709: EXP
0000070a: SUB
0000070b: PUSH1 0x04
0000070d: CALLDATALOAD
0000070e: AND
0000070f: PUSH1 0x24
00000711: CALLDATALOAD
00000712: PUSH2 0x1216
00000715: JUMP
00000716: JUMPDEST
00000717: PUSH1 0x40
00000719: DUP1
0000071a: MLOAD
0000071b: SWAP3
0000071c: DUP4
0000071d: MSTORE
0000071e: PUSH1 0x20
00000720: DUP4
00000721: ADD
00000722: SWAP2
00000723: SWAP1
00000724: SWAP2
00000725: MSTORE
00000726: DUP1
00000727: MLOAD
00000728: SWAP2
00000729: DUP3
0000072a: SWAP1
0000072b: SUB
0000072c: ADD
0000072d: SWAP1
0000072e: RETURN
0000072f: JUMPDEST
00000730: CALLVALUE
00000731: DUP1
00000732: ISZERO
00000733: PUSH2 0x073b
00000736: JUMPI
00000737: PUSH1 0x00
00000739: DUP1
0000073a: REVERT
0000073b: JUMPDEST
0000073c: POP
0000073d: PUSH2 0x0266
00000740: PUSH2 0x12c8
00000743: JUMP
00000744: JUMPDEST
00000745: CALLVALUE
00000746: DUP1
00000747: ISZERO
00000748: PUSH2 0x0750
0000074b: JUMPI
0000074c: PUSH1 0x00
0000074e: DUP1
0000074f: REVERT
00000750: JUMPDEST
00000751: POP
00000752: PUSH2 0x0266
00000755: PUSH2 0x12d8
00000758: JUMP
00000759: JUMPDEST
0000075a: CALLVALUE
0000075b: DUP1
0000075c: ISZERO
0000075d: PUSH2 0x0765
00000760: JUMPI
00000761: PUSH1 0x00
00000763: DUP1
00000764: REVERT
00000765: JUMPDEST
00000766: POP
00000767: PUSH2 0x0266
0000076a: PUSH2 0x12e4
0000076d: JUMP
0000076e: JUMPDEST
0000076f: PUSH2 0x024f
00000772: PUSH2 0x12f4
00000775: JUMP
00000776: JUMPDEST
00000777: CALLVALUE
00000778: DUP1
00000779: ISZERO
0000077a: PUSH2 0x0782
0000077d: JUMPI
0000077e: PUSH1 0x00
00000780: DUP1
00000781: REVERT
00000782: JUMPDEST
00000783: POP
00000784: PUSH2 0x02c3
00000787: PUSH2 0x153c
0000078a: JUMP
0000078b: JUMPDEST
0000078c: CALLVALUE
0000078d: DUP1
0000078e: ISZERO
0000078f: PUSH2 0x0797
00000792: JUMPI
00000793: PUSH1 0x00
00000795: DUP1
00000796: REVERT
00000797: JUMPDEST
00000798: POP
00000799: PUSH2 0x024f
0000079c: PUSH2 0x154b
0000079f: JUMP
000007a0: JUMPDEST
000007a1: CALLVALUE
000007a2: DUP1
000007a3: ISZERO
000007a4: PUSH2 0x07ac
000007a7: JUMPI
000007a8: PUSH1 0x00
000007aa: DUP1
000007ab: REVERT
000007ac: JUMPDEST
000007ad: POP
000007ae: PUSH2 0x04e5
000007b1: PUSH2 0x1577
000007b4: JUMP
000007b5: JUMPDEST
000007b6: CALLVALUE
000007b7: DUP1
000007b8: ISZERO
000007b9: PUSH2 0x07c1
000007bc: JUMPI
000007bd: PUSH1 0x00
000007bf: DUP1
000007c0: REVERT
000007c1: JUMPDEST
000007c2: POP
000007c3: PUSH2 0x024f
000007c6: PUSH1 0x04
000007c8: CALLDATALOAD
000007c9: PUSH1 0x01
000007cb: PUSH1 0xa0
000007cd: PUSH1 0x02
000007cf: EXP
000007d0: SUB
000007d1: PUSH1 0x24
000007d3: CALLDATALOAD
000007d4: AND
000007d5: PUSH2 0x1587
000007d8: JUMP
000007d9: JUMPDEST
000007da: CALLVALUE
000007db: DUP1
000007dc: ISZERO
000007dd: PUSH2 0x07e5
000007e0: JUMPI
000007e1: PUSH1 0x00
000007e3: DUP1
000007e4: REVERT
000007e5: JUMPDEST
000007e6: POP
000007e7: PUSH2 0x0354
000007ea: PUSH2 0x1687
000007ed: JUMP
000007ee: JUMPDEST
000007ef: CALLVALUE
000007f0: DUP1
000007f1: ISZERO
000007f2: PUSH2 0x07fa
000007f5: JUMPI
000007f6: PUSH1 0x00
000007f8: DUP1
000007f9: REVERT
000007fa: JUMPDEST
000007fb: POP
000007fc: PUSH2 0x0266
000007ff: PUSH2 0x16df
00000802: JUMP
00000803: JUMPDEST
00000804: CALLVALUE
00000805: DUP1
00000806: ISZERO
00000807: PUSH2 0x080f
0000080a: JUMPI
0000080b: PUSH1 0x00
0000080d: DUP1
0000080e: REVERT
0000080f: JUMPDEST
00000810: POP
00000811: PUSH2 0x0266
00000814: PUSH2 0x16e5
00000817: JUMP
00000818: JUMPDEST
00000819: CALLVALUE
0000081a: DUP1
0000081b: ISZERO
0000081c: PUSH2 0x0824
0000081f: JUMPI
00000820: PUSH1 0x00
00000822: DUP1
00000823: REVERT
00000824: JUMPDEST
00000825: POP
00000826: PUSH2 0x0266
00000829: PUSH2 0x16eb
0000082c: JUMP
0000082d: JUMPDEST
0000082e: CALLVALUE
0000082f: DUP1
00000830: ISZERO
00000831: PUSH2 0x0839
00000834: JUMPI
00000835: PUSH1 0x00
00000837: DUP1
00000838: REVERT
00000839: JUMPDEST
0000083a: POP
0000083b: PUSH2 0x0266
0000083e: PUSH2 0x16f1
00000841: JUMP
00000842: JUMPDEST
00000843: CALLVALUE
00000844: DUP1
00000845: ISZERO
00000846: PUSH2 0x084e
00000849: JUMPI
0000084a: PUSH1 0x00
0000084c: DUP1
0000084d: REVERT
0000084e: JUMPDEST
0000084f: POP
00000850: PUSH2 0x0266
00000853: PUSH2 0x16f7
00000856: JUMP
00000857: JUMPDEST
00000858: CALLVALUE
00000859: DUP1
0000085a: ISZERO
0000085b: PUSH2 0x0863
0000085e: JUMPI
0000085f: PUSH1 0x00
00000861: DUP1
00000862: REVERT
00000863: JUMPDEST
00000864: POP
00000865: PUSH2 0x02c3
00000868: PUSH2 0x16fd
0000086b: JUMP
0000086c: JUMPDEST
0000086d: PUSH1 0x10
0000086f: SLOAD
00000870: PUSH1 0x00
00000872: SWAP1
00000873: DUP2
00000874: LT
00000875: ISZERO
00000876: PUSH2 0x08aa
00000879: JUMPI
0000087a: PUSH1 0x10
0000087c: PUSH1 0x0f
0000087e: SLOAD
0000087f: DUP2
00000880: SLOAD
00000881: DUP2
00000882: LT
00000883: ISZERO
00000884: ISZERO
00000885: PUSH2 0x088a
00000888: JUMPI
00000889: INVALID
0000088a: JUMPDEST
0000088b: SWAP1
0000088c: PUSH1 0x00
0000088e: MSTORE
0000088f: PUSH1 0x20
00000891: PUSH1 0x00
00000893: KECCAK256
00000894: SWAP1
00000895: PUSH1 0x0b
00000897: MUL
00000898: ADD
00000899: SWAP1
0000089a: POP
0000089b: PUSH2 0x08a5
0000089e: DUP2
0000089f: CALLVALUE
000008a0: DUP5
000008a1: PUSH2 0x170c
000008a4: JUMP
000008a5: JUMPDEST
000008a6: PUSH2 0x08fa
000008a9: JUMP
000008aa: JUMPDEST
000008ab: PUSH1 0x40
000008ad: DUP1
000008ae: MLOAD
000008af: PUSH1 0xe5
000008b1: PUSH1 0x02
000008b3: EXP
000008b4: PUSH3 0x461bcd
000008b8: MUL
000008b9: DUP2
000008ba: MSTORE
000008bb: PUSH1 0x20
000008bd: PUSH1 0x04
000008bf: DUP3
000008c0: ADD
000008c1: MSTORE
000008c2: PUSH1 0x0f
000008c4: PUSH1 0x24
000008c6: DUP3
000008c7: ADD
000008c8: MSTORE
000008c9: PUSH32 0x4e6f742079657420737461727465640000000000000000000000000000000000
000008ea: PUSH1 0x44
000008ec: DUP3
000008ed: ADD
000008ee: MSTORE
000008ef: SWAP1
000008f0: MLOAD
000008f1: SWAP1
000008f2: DUP2
000008f3: SWAP1
000008f4: SUB
000008f5: PUSH1 0x64
000008f7: ADD
000008f8: SWAP1
000008f9: REVERT
000008fa: JUMPDEST
000008fb: POP
000008fc: POP
000008fd: JUMP
000008fe: JUMPDEST
000008ff: PUSH1 0x0c
00000901: SLOAD
00000902: DUP2
00000903: JUMP
00000904: JUMPDEST
00000905: PUSH12 0x033b2e3c9fd0803ce8000000
00000912: DUP2
00000913: JUMP
00000914: JUMPDEST
00000915: PUSH2 0x092a
00000918: CALLER
00000919: PUSH1 0x00
0000091b: CALLDATALOAD
0000091c: PUSH1 0x01
0000091e: PUSH1 0xe0
00000920: PUSH1 0x02
00000922: EXP
00000923: SUB
00000924: NOT
00000925: AND
00000926: PUSH2 0x193a
00000929: JUMP
0000092a: JUMPDEST
0000092b: ISZERO
0000092c: ISZERO
0000092d: PUSH2 0x0935
00000930: JUMPI
00000931: PUSH1 0x00
00000933: DUP1
00000934: REVERT
00000935: JUMPDEST
00000936: PUSH1 0x01
00000938: PUSH1 0xa0
0000093a: PUSH1 0x02
0000093c: EXP
0000093d: SUB
0000093e: DUP2
0000093f: AND
00000940: ISZERO
00000941: ISZERO
00000942: PUSH2 0x0995
00000945: JUMPI
00000946: PUSH1 0x40
00000948: DUP1
00000949: MLOAD
0000094a: PUSH1 0xe5
0000094c: PUSH1 0x02
0000094e: EXP
0000094f: PUSH3 0x461bcd
00000953: MUL
00000954: DUP2
00000955: MSTORE
00000956: PUSH1 0x20
00000958: PUSH1 0x04
0000095a: DUP3
0000095b: ADD
0000095c: MSTORE
0000095d: PUSH1 0x10
0000095f: PUSH1 0x24
00000961: DUP3
00000962: ADD
00000963: MSTORE
00000964: PUSH32 0x496e76616c696420416464726573732100000000000000000000000000000000
00000985: PUSH1 0x44
00000987: DUP3
00000988: ADD
00000989: MSTORE
0000098a: SWAP1
0000098b: MLOAD
0000098c: SWAP1
0000098d: DUP2
0000098e: SWAP1
0000098f: SUB
00000990: PUSH1 0x64
00000992: ADD
00000993: SWAP1
00000994: REVERT
00000995: JUMPDEST
00000996: PUSH1 0x04
00000998: SLOAD
00000999: PUSH1 0xa0
0000099b: PUSH1 0x02
0000099d: EXP
0000099e: SWAP1
0000099f: DIV
000009a0: PUSH1 0xff
000009a2: AND
000009a3: ISZERO
000009a4: PUSH2 0x09f7
000009a7: JUMPI
000009a8: PUSH1 0x40
000009aa: DUP1
000009ab: MLOAD
000009ac: PUSH1 0xe5
000009ae: PUSH1 0x02
000009b0: EXP
000009b1: PUSH3 0x461bcd
000009b5: MUL
000009b6: DUP2
000009b7: MSTORE
000009b8: PUSH1 0x20
000009ba: PUSH1 0x04
000009bc: DUP3
000009bd: ADD
000009be: MSTORE
000009bf: PUSH1 0x11
000009c1: PUSH1 0x24
000009c3: DUP3
000009c4: ADD
000009c5: MSTORE
000009c6: PUSH32 0x416c726561647920757067726164656421000000000000000000000000000000
000009e7: PUSH1 0x44
000009e9: DUP3
000009ea: ADD
000009eb: MSTORE
000009ec: SWAP1
000009ed: MLOAD
000009ee: SWAP1
000009ef: DUP2
000009f0: SWAP1
000009f1: SUB
000009f2: PUSH1 0x64
000009f4: ADD
000009f5: SWAP1
000009f6: REVERT
000009f7: JUMPDEST
000009f8: PUSH1 0x04
000009fa: DUP1
000009fb: SLOAD
000009fc: PUSH21 0xff0000000000000000000000000000000000000000
00000a12: NOT
00000a13: AND
00000a14: PUSH1 0xa0
00000a16: PUSH1 0x02
00000a18: EXP
00000a19: OR
00000a1a: SWAP1
00000a1b: SSTORE
00000a1c: PUSH1 0x05
00000a1e: DUP1
00000a1f: SLOAD
00000a20: PUSH1 0x01
00000a22: PUSH1 0xa0
00000a24: PUSH1 0x02
00000a26: EXP
00000a27: SUB
00000a28: DUP4
00000a29: AND
00000a2a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a3f: NOT
00000a40: SWAP1
00000a41: SWAP2
00000a42: AND
00000a43: OR
00000a44: SWAP1
00000a45: SSTORE
00000a46: PUSH1 0x0f
00000a48: SLOAD
00000a49: PUSH1 0x10
00000a4b: DUP1
00000a4c: SLOAD
00000a4d: SWAP1
00000a4e: SWAP2
00000a4f: SWAP1
00000a50: DUP2
00000a51: LT
00000a52: PUSH2 0x0a57
00000a55: JUMPI
00000a56: INVALID
00000a57: JUMPDEST
00000a58: SWAP1
00000a59: PUSH1 0x00
00000a5b: MSTORE
00000a5c: PUSH1 0x20
00000a5e: PUSH1 0x00
00000a60: KECCAK256
00000a61: SWAP1
00000a62: PUSH1 0x0b
00000a64: MUL
00000a65: ADD
00000a66: PUSH1 0x09
00000a68: ADD
00000a69: PUSH1 0x14
00000a6b: SWAP1
00000a6c: SLOAD
00000a6d: SWAP1
00000a6e: PUSH2 0x0100
00000a71: EXP
00000a72: SWAP1
00000a73: DIV
00000a74: PUSH1 0xff
00000a76: AND
00000a77: ISZERO
00000a78: PUSH2 0x0aa0
00000a7b: JUMPI
00000a7c: PUSH1 0x0a
00000a7e: DUP1
00000a7f: SLOAD
00000a80: PUSH1 0x05
00000a82: SLOAD
00000a83: PUSH1 0x01
00000a85: PUSH1 0xa0
00000a87: PUSH1 0x02
00000a89: EXP
00000a8a: SUB
00000a8b: AND
00000a8c: PUSH1 0x00
00000a8e: SWAP1
00000a8f: DUP2
00000a90: MSTORE
00000a91: PUSH1 0x0e
00000a93: PUSH1 0x20
00000a95: MSTORE
00000a96: PUSH1 0x40
00000a98: DUP2
00000a99: KECCAK256
00000a9a: SWAP2
00000a9b: SWAP1
00000a9c: SWAP2
00000a9d: SSTORE
00000a9e: SWAP1
00000a9f: SSTORE
00000aa0: JUMPDEST
00000aa1: POP
00000aa2: JUMP
00000aa3: JUMPDEST
00000aa4: PUSH1 0x05
00000aa6: SLOAD
00000aa7: PUSH1 0x01
00000aa9: PUSH1 0xa0
00000aab: PUSH1 0x02
00000aad: EXP
00000aae: SUB
00000aaf: AND
00000ab0: DUP2
00000ab1: JUMP
00000ab2: JUMPDEST
00000ab3: PUSH1 0x0d
00000ab5: SLOAD
00000ab6: DUP2
00000ab7: JUMP
00000ab8: JUMPDEST
00000ab9: PUSH2 0x0ace
00000abc: CALLER
00000abd: PUSH1 0x00
00000abf: CALLDATALOAD
00000ac0: PUSH1 0x01
00000ac2: PUSH1 0xe0
00000ac4: PUSH1 0x02
00000ac6: EXP
00000ac7: SUB
00000ac8: NOT
00000ac9: AND
00000aca: PUSH2 0x193a
00000acd: JUMP
00000ace: JUMPDEST
00000acf: ISZERO
00000ad0: ISZERO
00000ad1: PUSH2 0x0ad9
00000ad4: JUMPI
00000ad5: PUSH1 0x00
00000ad7: DUP1
00000ad8: REVERT
00000ad9: JUMPDEST
00000ada: PUSH1 0x01
00000adc: DUP1
00000add: SLOAD
00000ade: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000af3: NOT
00000af4: AND
00000af5: PUSH1 0x01
00000af7: PUSH1 0xa0
00000af9: PUSH1 0x02
00000afb: EXP
00000afc: SUB
00000afd: DUP4
00000afe: DUP2
00000aff: AND
00000b00: SWAP2
00000b01: SWAP1
00000b02: SWAP2
00000b03: OR
00000b04: SWAP2
00000b05: DUP3
00000b06: SWAP1
00000b07: SSTORE
00000b08: PUSH1 0x40
00000b0a: MLOAD
00000b0b: SWAP2
00000b0c: AND
00000b0d: SWAP1
00000b0e: PUSH32 0xce241d7ca1f669fee44b6fc00b8eba2df3bb514eed0f6f668f8f89096e81ed94
00000b2f: SWAP1
00000b30: PUSH1 0x00
00000b32: SWAP1
00000b33: LOG2
00000b34: POP
00000b35: JUMP
00000b36: JUMPDEST
00000b37: PUSH1 0x14
00000b39: DUP2
00000b3a: JUMP
00000b3b: JUMPDEST
00000b3c: PUSH2 0x012c
00000b3f: DUP2
00000b40: JUMP
00000b41: JUMPDEST
00000b42: PUSH1 0x03
00000b44: DUP1
00000b45: SLOAD
00000b46: PUSH1 0x40
00000b48: DUP1
00000b49: MLOAD
00000b4a: PUSH1 0x20
00000b4c: PUSH1 0x02
00000b4e: PUSH1 0x01
00000b50: DUP6
00000b51: AND
00000b52: ISZERO
00000b53: PUSH2 0x0100
00000b56: MUL
00000b57: PUSH1 0x00
00000b59: NOT
00000b5a: ADD
00000b5b: SWAP1
00000b5c: SWAP5
00000b5d: AND
00000b5e: SWAP4
00000b5f: SWAP1
00000b60: SWAP4
00000b61: DIV
00000b62: PUSH1 0x1f
00000b64: DUP2
00000b65: ADD
00000b66: DUP5
00000b67: SWAP1
00000b68: DIV
00000b69: DUP5
00000b6a: MUL
00000b6b: DUP3
00000b6c: ADD
00000b6d: DUP5
00000b6e: ADD
00000b6f: SWAP1
00000b70: SWAP3
00000b71: MSTORE
00000b72: DUP2
00000b73: DUP2
00000b74: MSTORE
00000b75: SWAP3
00000b76: SWAP2
00000b77: DUP4
00000b78: ADD
00000b79: DUP3
00000b7a: DUP3
00000b7b: DUP1
00000b7c: ISZERO
00000b7d: PUSH2 0x0bc7
00000b80: JUMPI
00000b81: DUP1
00000b82: PUSH1 0x1f
00000b84: LT
00000b85: PUSH2 0x0b9c
00000b88: JUMPI
00000b89: PUSH2 0x0100
00000b8c: DUP1
00000b8d: DUP4
00000b8e: SLOAD
00000b8f: DIV
00000b90: MUL
00000b91: DUP4
00000b92: MSTORE
00000b93: SWAP2
00000b94: PUSH1 0x20
00000b96: ADD
00000b97: SWAP2
00000b98: PUSH2 0x0bc7
00000b9b: JUMP
00000b9c: JUMPDEST
00000b9d: DUP3
00000b9e: ADD
00000b9f: SWAP2
00000ba0: SWAP1
00000ba1: PUSH1 0x00
00000ba3: MSTORE
00000ba4: PUSH1 0x20
00000ba6: PUSH1 0x00
00000ba8: KECCAK256
00000ba9: SWAP1
00000baa: JUMPDEST
00000bab: DUP2
00000bac: SLOAD
00000bad: DUP2
00000bae: MSTORE
00000baf: SWAP1
00000bb0: PUSH1 0x01
00000bb2: ADD
00000bb3: SWAP1
00000bb4: PUSH1 0x20
00000bb6: ADD
00000bb7: DUP1
00000bb8: DUP4
00000bb9: GT
00000bba: PUSH2 0x0baa
00000bbd: JUMPI
00000bbe: DUP3
00000bbf: SWAP1
00000bc0: SUB
00000bc1: PUSH1 0x1f
00000bc3: AND
00000bc4: DUP3
00000bc5: ADD
00000bc6: SWAP2
00000bc7: JUMPDEST
00000bc8: POP
00000bc9: POP
00000bca: POP
00000bcb: POP
00000bcc: POP
00000bcd: DUP2
00000bce: JUMP
00000bcf: JUMPDEST
00000bd0: PUSH1 0x07
00000bd2: SLOAD
00000bd3: DUP2
00000bd4: JUMP
00000bd5: JUMPDEST
00000bd6: PUSH1 0x00
00000bd8: DUP1
00000bd9: PUSH1 0x00
00000bdb: DUP1
00000bdc: PUSH1 0x10
00000bde: DUP6
00000bdf: DUP2
00000be0: SLOAD
00000be1: DUP2
00000be2: LT
00000be3: ISZERO
00000be4: ISZERO
00000be5: PUSH2 0x0bea
00000be8: JUMPI
00000be9: INVALID
00000bea: JUMPDEST
00000beb: PUSH1 0x00
00000bed: SWAP2
00000bee: DUP3
00000bef: MSTORE
00000bf0: PUSH1 0x20
00000bf2: DUP1
00000bf3: DUP4
00000bf4: KECCAK256
00000bf5: PUSH1 0x01
00000bf7: PUSH1 0xa0
00000bf9: PUSH1 0x02
00000bfb: EXP
00000bfc: SUB
00000bfd: DUP11
00000bfe: AND
00000bff: DUP5
00000c00: MSTORE
00000c01: PUSH1 0x0a
00000c03: PUSH1 0x0b
00000c05: SWAP1
00000c06: SWAP4
00000c07: MUL
00000c08: ADD
00000c09: SWAP2
00000c0a: DUP3
00000c0b: ADD
00000c0c: SWAP1
00000c0d: MSTORE
00000c0e: PUSH1 0x40
00000c10: SWAP1
00000c11: SWAP2
00000c12: KECCAK256
00000c13: PUSH1 0x01
00000c15: ADD
00000c16: SLOAD
00000c17: SWAP5
00000c18: POP
00000c19: SWAP1
00000c1a: POP
00000c1b: PUSH2 0x0c24
00000c1e: DUP7
00000c1f: DUP7
00000c20: PUSH2 0x1216
00000c23: JUMP
00000c24: JUMPDEST
00000c25: SWAP5
00000c26: SWAP8
00000c27: SWAP1
00000c28: SWAP7
00000c29: POP
00000c2a: SWAP4
00000c2b: SWAP5
00000c2c: POP
00000c2d: POP
00000c2e: POP
00000c2f: POP
00000c30: JUMP
00000c31: JUMPDEST
00000c32: PUSH1 0x00
00000c34: PUSH1 0x10
00000c36: DUP3
00000c37: DUP2
00000c38: SLOAD
00000c39: DUP2
00000c3a: LT
00000c3b: ISZERO
00000c3c: ISZERO
00000c3d: PUSH2 0x0c42
00000c40: JUMPI
00000c41: INVALID
00000c42: JUMPDEST
00000c43: SWAP1
00000c44: PUSH1 0x00
00000c46: MSTORE
00000c47: PUSH1 0x20
00000c49: PUSH1 0x00
00000c4b: KECCAK256
00000c4c: SWAP1
00000c4d: PUSH1 0x0b
00000c4f: MUL
00000c50: ADD
00000c51: SWAP1
00000c52: POP
00000c53: PUSH2 0x08fa
00000c56: CALLER
00000c57: DUP3
00000c58: PUSH2 0x1a43
00000c5b: JUMP
00000c5c: JUMPDEST
00000c5d: PUSH1 0x00
00000c5f: DUP1
00000c60: PUSH1 0x00
00000c62: DUP1
00000c63: PUSH1 0x00
00000c65: DUP1
00000c66: PUSH1 0x00
00000c68: DUP1
00000c69: PUSH1 0x00
00000c6b: DUP1
00000c6c: PUSH1 0x00
00000c6e: PUSH1 0x10
00000c70: DUP13
00000c71: DUP2
00000c72: SLOAD
00000c73: DUP2
00000c74: LT
00000c75: ISZERO
00000c76: ISZERO
00000c77: PUSH2 0x0c7c
00000c7a: JUMPI
00000c7b: INVALID
00000c7c: JUMPDEST
00000c7d: SWAP1
00000c7e: PUSH1 0x00
00000c80: MSTORE
00000c81: PUSH1 0x20
00000c83: PUSH1 0x00
00000c85: KECCAK256
00000c86: SWAP1
00000c87: PUSH1 0x0b
00000c89: MUL
00000c8a: ADD
00000c8b: SWAP1
00000c8c: POP
00000c8d: DUP1
00000c8e: PUSH1 0x09
00000c90: ADD
00000c91: PUSH1 0x00
00000c93: SWAP1
00000c94: SLOAD
00000c95: SWAP1
00000c96: PUSH2 0x0100
00000c99: EXP
00000c9a: SWAP1
00000c9b: DIV
00000c9c: PUSH1 0x01
00000c9e: PUSH1 0xa0
00000ca0: PUSH1 0x02
00000ca2: EXP
00000ca3: SUB
00000ca4: AND
00000ca5: SWAP11
00000ca6: POP
00000ca7: DUP1
00000ca8: PUSH1 0x07
00000caa: ADD
00000cab: SLOAD
00000cac: SWAP10
00000cad: POP
00000cae: DUP1
00000caf: PUSH1 0x01
00000cb1: ADD
00000cb2: SLOAD
00000cb3: SWAP9
00000cb4: POP
00000cb5: DUP1
00000cb6: PUSH1 0x02
00000cb8: ADD
00000cb9: SLOAD
00000cba: SWAP8
00000cbb: POP
00000cbc: DUP1
00000cbd: PUSH1 0x03
00000cbf: ADD
00000cc0: SLOAD
00000cc1: SWAP7
00000cc2: POP
00000cc3: DUP1
00000cc4: PUSH1 0x00
00000cc6: ADD
00000cc7: SLOAD
00000cc8: SWAP6
00000cc9: POP
00000cca: PUSH2 0x0cdf
00000ccd: DUP2
00000cce: PUSH1 0x00
00000cd0: ADD
00000cd1: SLOAD
00000cd2: PUSH8 0x0905438e60010000
00000cdb: PUSH2 0x1ae3
00000cde: JUMP
00000cdf: JUMPDEST
00000ce0: SWAP5
00000ce1: POP
00000ce2: DUP1
00000ce3: PUSH1 0x05
00000ce5: ADD
00000ce6: SLOAD
00000ce7: SWAP4
00000ce8: POP
00000ce9: DUP1
00000cea: PUSH1 0x06
00000cec: ADD
00000ced: SLOAD
00000cee: SWAP3
00000cef: POP
00000cf0: DUP1
00000cf1: PUSH1 0x09
00000cf3: ADD
00000cf4: PUSH1 0x14
00000cf6: SWAP1
00000cf7: SLOAD
00000cf8: SWAP1
00000cf9: PUSH2 0x0100
00000cfc: EXP
00000cfd: SWAP1
00000cfe: DIV
00000cff: PUSH1 0xff
00000d01: AND
00000d02: SWAP2
00000d03: POP
00000d04: POP
00000d05: SWAP2
00000d06: SWAP4
00000d07: SWAP6
00000d08: SWAP8
00000d09: SWAP10
00000d0a: POP
00000d0b: SWAP2
00000d0c: SWAP4
00000d0d: SWAP6
00000d0e: SWAP8
00000d0f: SWAP10
00000d10: JUMP
00000d11: JUMPDEST
00000d12: PUSH1 0x00
00000d14: PUSH2 0x0d29
00000d17: CALLER
00000d18: PUSH1 0x00
00000d1a: CALLDATALOAD
00000d1b: PUSH1 0x01
00000d1d: PUSH1 0xe0
00000d1f: PUSH1 0x02
00000d21: EXP
00000d22: SUB
00000d23: NOT
00000d24: AND
00000d25: PUSH2 0x193a
00000d28: JUMP
00000d29: JUMPDEST
00000d2a: ISZERO
00000d2b: ISZERO
00000d2c: PUSH2 0x0d34
00000d2f: JUMPI
00000d30: PUSH1 0x00
00000d32: DUP1
00000d33: REVERT
00000d34: JUMPDEST
00000d35: POP
00000d36: PUSH1 0x0b
00000d38: DUP1
00000d39: SLOAD
00000d3a: PUSH1 0x00
00000d3c: SWAP2
00000d3d: DUP3
00000d3e: SWAP1
00000d3f: SSTORE
00000d40: PUSH1 0x40
00000d42: MLOAD
00000d43: SWAP1
00000d44: SWAP2
00000d45: CALLER
00000d46: SWAP2
00000d47: DUP4
00000d48: ISZERO
00000d49: PUSH2 0x08fc
00000d4c: MUL
00000d4d: SWAP2
00000d4e: DUP5
00000d4f: SWAP2
00000d50: SWAP1
00000d51: DUP2
00000d52: DUP2
00000d53: DUP2
00000d54: DUP6
00000d55: DUP9
00000d56: DUP9
00000d57: CALL
00000d58: SWAP4
00000d59: POP
00000d5a: POP
00000d5b: POP
00000d5c: POP
00000d5d: ISZERO
00000d5e: DUP1
00000d5f: ISZERO
00000d60: PUSH2 0x08fa
00000d63: JUMPI
00000d64: RETURNDATASIZE
00000d65: PUSH1 0x00
00000d67: DUP1
00000d68: RETURNDATACOPY
00000d69: RETURNDATASIZE
00000d6a: PUSH1 0x00
00000d6c: REVERT
00000d6d: JUMPDEST
00000d6e: PUSH1 0x00
00000d70: DUP1
00000d71: PUSH1 0x10
00000d73: DUP4
00000d74: DUP2
00000d75: SLOAD
00000d76: DUP2
00000d77: LT
00000d78: ISZERO
00000d79: ISZERO
00000d7a: PUSH2 0x0d7f
00000d7d: JUMPI
00000d7e: INVALID
00000d7f: JUMPDEST
00000d80: PUSH1 0x00
00000d82: SWAP2
00000d83: DUP3
00000d84: MSTORE
00000d85: PUSH1 0x20
00000d87: DUP1
00000d88: DUP4
00000d89: KECCAK256
00000d8a: PUSH1 0x01
00000d8c: PUSH1 0xa0
00000d8e: PUSH1 0x02
00000d90: EXP
00000d91: SUB
00000d92: DUP9
00000d93: AND
00000d94: DUP5
00000d95: MSTORE
00000d96: PUSH1 0x0a
00000d98: PUSH1 0x0b
00000d9a: SWAP1
00000d9b: SWAP4
00000d9c: MUL
00000d9d: ADD
00000d9e: SWAP2
00000d9f: DUP3
00000da0: ADD
00000da1: SWAP1
00000da2: MSTORE
00000da3: PUSH1 0x40
00000da5: SWAP1
00000da6: SWAP2
00000da7: KECCAK256
00000da8: SLOAD
00000da9: PUSH1 0x04
00000dab: DUP3
00000dac: ADD
00000dad: SLOAD
00000dae: GT
00000daf: SWAP3
00000db0: POP
00000db1: SWAP1
00000db2: POP
00000db3: POP
00000db4: SWAP3
00000db5: SWAP2
00000db6: POP
00000db7: POP
00000db8: JUMP
00000db9: JUMPDEST
00000dba: PUSH1 0x00
00000dbc: DUP1
00000dbd: PUSH1 0x00
00000dbf: PUSH1 0x10
00000dc1: PUSH1 0x0f
00000dc3: SLOAD
00000dc4: DUP2
00000dc5: SLOAD
00000dc6: DUP2
00000dc7: LT
00000dc8: ISZERO
00000dc9: ISZERO
00000dca: PUSH2 0x0dcf
00000dcd: JUMPI
00000dce: INVALID
00000dcf: JUMPDEST
00000dd0: SWAP1
00000dd1: PUSH1 0x00
00000dd3: MSTORE
00000dd4: PUSH1 0x20
00000dd6: PUSH1 0x00
00000dd8: KECCAK256
00000dd9: SWAP1
00000dda: PUSH1 0x0b
00000ddc: MUL
00000ddd: ADD
00000dde: SWAP3
00000ddf: POP
00000de0: PUSH1 0x01
00000de2: PUSH1 0x10
00000de4: DUP1
00000de5: SLOAD
00000de6: SWAP1
00000de7: POP
00000de8: GT
00000de9: ISZERO
00000dea: PUSH2 0x0e2f
00000ded: JUMPI
00000dee: PUSH2 0x0dfc
00000df1: CALLER
00000df2: PUSH1 0x01
00000df4: PUSH1 0x0f
00000df6: SLOAD
00000df7: SUB
00000df8: PUSH2 0x0d6d
00000dfb: JUMP
00000dfc: JUMPDEST
00000dfd: ISZERO
00000dfe: PUSH2 0x0e2f
00000e01: JUMPI
00000e02: PUSH1 0x10
00000e04: PUSH1 0x01
00000e06: PUSH1 0x0f
00000e08: SLOAD
00000e09: SUB
00000e0a: DUP2
00000e0b: SLOAD
00000e0c: DUP2
00000e0d: LT
00000e0e: ISZERO
00000e0f: ISZERO
00000e10: PUSH2 0x0e15
00000e13: JUMPI
00000e14: INVALID
00000e15: JUMPDEST
00000e16: SWAP1
00000e17: PUSH1 0x00
00000e19: MSTORE
00000e1a: PUSH1 0x20
00000e1c: PUSH1 0x00
00000e1e: KECCAK256
00000e1f: SWAP1
00000e20: PUSH1 0x0b
00000e22: MUL
00000e23: ADD
00000e24: SWAP2
00000e25: POP
00000e26: PUSH2 0x0e2f
00000e29: CALLER
00000e2a: DUP4
00000e2b: PUSH2 0x1a43
00000e2e: JUMP
00000e2f: JUMPDEST
00000e30: PUSH2 0x0e39
00000e33: CALLER
00000e34: DUP5
00000e35: PUSH2 0x1a43
00000e38: JUMP
00000e39: JUMPDEST
00000e3a: POP
00000e3b: CALLER
00000e3c: PUSH1 0x00
00000e3e: SWAP1
00000e3f: DUP2
00000e40: MSTORE
00000e41: PUSH1 0x0e
00000e43: PUSH1 0x20
00000e45: MSTORE
00000e46: PUSH1 0x40
00000e48: DUP2
00000e49: KECCAK256
00000e4a: SLOAD
00000e4b: SWAP1
00000e4c: DUP2
00000e4d: GT
00000e4e: PUSH2 0x0ea1
00000e51: JUMPI
00000e52: PUSH1 0x40
00000e54: DUP1
00000e55: MLOAD
00000e56: PUSH1 0xe5
00000e58: PUSH1 0x02
00000e5a: EXP
00000e5b: PUSH3 0x461bcd
00000e5f: MUL
00000e60: DUP2
00000e61: MSTORE
00000e62: PUSH1 0x20
00000e64: PUSH1 0x04
00000e66: DUP3
00000e67: ADD
00000e68: MSTORE
00000e69: PUSH1 0x14
00000e6b: PUSH1 0x24
00000e6d: DUP3
00000e6e: ADD
00000e6f: MSTORE
00000e70: PUSH32 0x4e6f7468696e6720746f20776974686472617721000000000000000000000000
00000e91: PUSH1 0x44
00000e93: DUP3
00000e94: ADD
00000e95: MSTORE
00000e96: SWAP1
00000e97: MLOAD
00000e98: SWAP1
00000e99: DUP2
00000e9a: SWAP1
00000e9b: SUB
00000e9c: PUSH1 0x64
00000e9e: ADD
00000e9f: SWAP1
00000ea0: REVERT
00000ea1: JUMPDEST
00000ea2: PUSH2 0x0ead
00000ea5: PUSH1 0x0d
00000ea7: SLOAD
00000ea8: DUP3
00000ea9: PUSH2 0x1b1e
00000eac: JUMP
00000ead: JUMPDEST
00000eae: PUSH1 0x0d
00000eb0: SSTORE
00000eb1: CALLER
00000eb2: PUSH1 0x00
00000eb4: DUP2
00000eb5: DUP2
00000eb6: MSTORE
00000eb7: PUSH1 0x0e
00000eb9: PUSH1 0x20
00000ebb: SWAP1
00000ebc: DUP2
00000ebd: MSTORE
00000ebe: PUSH1 0x40
00000ec0: DUP1
00000ec1: DUP4
00000ec2: KECCAK256
00000ec3: DUP4
00000ec4: DUP2
00000ec5: SSTORE
00000ec6: PUSH1 0x01
00000ec8: ADD
00000ec9: DUP4
00000eca: SWAP1
00000ecb: SSTORE
00000ecc: PUSH1 0x04
00000ece: DUP8
00000ecf: ADD
00000ed0: SLOAD
00000ed1: PUSH1 0x0a
00000ed3: DUP9
00000ed4: ADD
00000ed5: SWAP1
00000ed6: SWAP3
00000ed7: MSTORE
00000ed8: DUP1
00000ed9: DUP4
00000eda: KECCAK256
00000edb: SWAP2
00000edc: SWAP1
00000edd: SWAP2
00000ede: SSTORE
00000edf: MLOAD
00000ee0: DUP4
00000ee1: ISZERO
00000ee2: PUSH2 0x08fc
00000ee5: MUL
00000ee6: SWAP2
00000ee7: DUP5
00000ee8: SWAP2
00000ee9: SWAP1
00000eea: DUP2
00000eeb: DUP2
00000eec: DUP2
00000eed: DUP6
00000eee: DUP9
00000eef: DUP9
00000ef0: CALL
00000ef1: SWAP4
00000ef2: POP
00000ef3: POP
00000ef4: POP
00000ef5: POP
00000ef6: ISZERO
00000ef7: DUP1
00000ef8: ISZERO
00000ef9: PUSH2 0x0f06
00000efc: JUMPI
00000efd: RETURNDATASIZE
00000efe: PUSH1 0x00
00000f00: DUP1
00000f01: RETURNDATACOPY
00000f02: RETURNDATASIZE
00000f03: PUSH1 0x00
00000f05: REVERT
00000f06: JUMPDEST
00000f07: POP
00000f08: PUSH1 0x40
00000f0a: DUP1
00000f0b: MLOAD
00000f0c: DUP3
00000f0d: DUP2
00000f0e: MSTORE
00000f0f: SWAP1
00000f10: MLOAD
00000f11: CALLER
00000f12: SWAP2
00000f13: PUSH32 0x0f9fa24c1d9febdaf99508f4923a7b5add9bd70eab45c8fc614509df79894938
00000f34: SWAP2
00000f35: SWAP1
00000f36: DUP2
00000f37: SWAP1
00000f38: SUB
00000f39: PUSH1 0x20
00000f3b: ADD
00000f3c: SWAP1
00000f3d: LOG2
00000f3e: POP
00000f3f: POP
00000f40: POP
00000f41: JUMP
00000f42: JUMPDEST
00000f43: PUSH2 0x0f4a
00000f46: PUSH2 0x154b
00000f49: JUMP
00000f4a: JUMPDEST
00000f4b: PUSH2 0x0f52
00000f4e: PUSH2 0x12f4
00000f51: JUMP
00000f52: JUMPDEST
00000f53: JUMP
00000f54: JUMPDEST
00000f55: PUSH2 0x0f6a
00000f58: CALLER
00000f59: PUSH1 0x00
00000f5b: CALLDATALOAD
00000f5c: PUSH1 0x01
00000f5e: PUSH1 0xe0
00000f60: PUSH1 0x02
00000f62: EXP
00000f63: SUB
00000f64: NOT
00000f65: AND
00000f66: PUSH2 0x193a
00000f69: JUMP
00000f6a: JUMPDEST
00000f6b: ISZERO
00000f6c: ISZERO
00000f6d: PUSH2 0x0f75
00000f70: JUMPI
00000f71: PUSH1 0x00
00000f73: DUP1
00000f74: REVERT
00000f75: JUMPDEST
00000f76: DUP2
00000f77: MLOAD
00000f78: PUSH2 0x0f88
00000f7b: SWAP1
00000f7c: PUSH1 0x03
00000f7e: SWAP1
00000f7f: PUSH1 0x20
00000f81: DUP6
00000f82: ADD
00000f83: SWAP1
00000f84: PUSH2 0x2596
00000f87: JUMP
00000f88: JUMPDEST
00000f89: POP
00000f8a: DUP1
00000f8b: MLOAD
00000f8c: PUSH2 0x0f9c
00000f8f: SWAP1
00000f90: PUSH1 0x02
00000f92: SWAP1
00000f93: PUSH1 0x20
00000f95: DUP5
00000f96: ADD
00000f97: SWAP1
00000f98: PUSH2 0x2596
00000f9b: JUMP
00000f9c: JUMPDEST
00000f9d: POP
00000f9e: PUSH32 0xfee9db57784d702235f09dd34534f59c3087590639932195e0447e7728ff4410
00000fbf: DUP3
00000fc0: DUP3
00000fc1: PUSH1 0x40
00000fc3: MLOAD
00000fc4: DUP1
00000fc5: DUP1
00000fc6: PUSH1 0x20
00000fc8: ADD
00000fc9: DUP1
00000fca: PUSH1 0x20
00000fcc: ADD
00000fcd: DUP4
00000fce: DUP2
00000fcf: SUB
00000fd0: DUP4
00000fd1: MSTORE
00000fd2: DUP6
00000fd3: DUP2
00000fd4: DUP2
00000fd5: MLOAD
00000fd6: DUP2
00000fd7: MSTORE
00000fd8: PUSH1 0x20
00000fda: ADD
00000fdb: SWAP2
00000fdc: POP
00000fdd: DUP1
00000fde: MLOAD
00000fdf: SWAP1
00000fe0: PUSH1 0x20
00000fe2: ADD
00000fe3: SWAP1
00000fe4: DUP1
00000fe5: DUP4
00000fe6: DUP4
00000fe7: PUSH1 0x00
00000fe9: JUMPDEST
00000fea: DUP4
00000feb: DUP2
00000fec: LT
00000fed: ISZERO
00000fee: PUSH2 0x1001
00000ff1: JUMPI
00000ff2: DUP2
00000ff3: DUP2
00000ff4: ADD
00000ff5: MLOAD
00000ff6: DUP4
00000ff7: DUP3
00000ff8: ADD
00000ff9: MSTORE
00000ffa: PUSH1 0x20
00000ffc: ADD
00000ffd: PUSH2 0x0fe9
00001000: JUMP
00001001: JUMPDEST
00001002: POP
00001003: POP
00001004: POP
00001005: POP
00001006: SWAP1
00001007: POP
00001008: SWAP1
00001009: DUP2
0000100a: ADD
0000100b: SWAP1
0000100c: PUSH1 0x1f
0000100e: AND
0000100f: DUP1
00001010: ISZERO
00001011: PUSH2 0x102e
00001014: JUMPI
00001015: DUP1
00001016: DUP3
00001017: SUB
00001018: DUP1
00001019: MLOAD
0000101a: PUSH1 0x01
0000101c: DUP4
0000101d: PUSH1 0x20
0000101f: SUB
00001020: PUSH2 0x0100
00001023: EXP
00001024: SUB
00001025: NOT
00001026: AND
00001027: DUP2
00001028: MSTORE
00001029: PUSH1 0x20
0000102b: ADD
0000102c: SWAP2
0000102d: POP
0000102e: JUMPDEST
0000102f: POP
00001030: DUP4
00001031: DUP2
00001032: SUB
00001033: DUP3
00001034: MSTORE
00001035: DUP5
00001036: MLOAD
00001037: DUP2
00001038: MSTORE
00001039: DUP5
0000103a: MLOAD
0000103b: PUSH1 0x20
0000103d: SWAP2
0000103e: DUP3
0000103f: ADD
00001040: SWAP2
00001041: DUP7
00001042: ADD
00001043: SWAP1
00001044: DUP1
00001045: DUP4
00001046: DUP4
00001047: PUSH1 0x00
00001049: JUMPDEST
0000104a: DUP4
0000104b: DUP2
0000104c: LT
0000104d: ISZERO
0000104e: PUSH2 0x1061
00001051: JUMPI
00001052: DUP2
00001053: DUP2
00001054: ADD
00001055: MLOAD
00001056: DUP4
00001057: DUP3
00001058: ADD
00001059: MSTORE
0000105a: PUSH1 0x20
0000105c: ADD
0000105d: PUSH2 0x1049
00001060: JUMP
00001061: JUMPDEST
00001062: POP
00001063: POP
00001064: POP
00001065: POP
00001066: SWAP1
00001067: POP
00001068: SWAP1
00001069: DUP2
0000106a: ADD
0000106b: SWAP1
0000106c: PUSH1 0x1f
0000106e: AND
0000106f: DUP1
00001070: ISZERO
00001071: PUSH2 0x108e
00001074: JUMPI
00001075: DUP1
00001076: DUP3
00001077: SUB
00001078: DUP1
00001079: MLOAD
0000107a: PUSH1 0x01
0000107c: DUP4
0000107d: PUSH1 0x20
0000107f: SUB
00001080: PUSH2 0x0100
00001083: EXP
00001084: SUB
00001085: NOT
00001086: AND
00001087: DUP2
00001088: MSTORE
00001089: PUSH1 0x20
0000108b: ADD
0000108c: SWAP2
0000108d: POP
0000108e: JUMPDEST
0000108f: POP
00001090: SWAP5
00001091: POP
00001092: POP
00001093: POP
00001094: POP
00001095: POP
00001096: PUSH1 0x40
00001098: MLOAD
00001099: DUP1
0000109a: SWAP2
0000109b: SUB
0000109c: SWAP1
0000109d: LOG1
0000109e: POP
0000109f: POP
000010a0: JUMP
000010a1: JUMPDEST
000010a2: PUSH1 0x00
000010a4: DUP1
000010a5: PUSH1 0x00
000010a7: DUP1
000010a8: PUSH1 0x00
000010aa: PUSH1 0x10
000010ac: PUSH1 0x0f
000010ae: SLOAD
000010af: DUP2
000010b0: SLOAD
000010b1: DUP2
000010b2: LT
000010b3: ISZERO
000010b4: ISZERO
000010b5: PUSH2 0x10ba
000010b8: JUMPI
000010b9: INVALID
000010ba: JUMPDEST
000010bb: SWAP1
000010bc: PUSH1 0x00
000010be: MSTORE
000010bf: PUSH1 0x20
000010c1: PUSH1 0x00
000010c3: KECCAK256
000010c4: SWAP1
000010c5: PUSH1 0x0b
000010c7: MUL
000010c8: ADD
000010c9: SWAP1
000010ca: POP
000010cb: TIMESTAMP
000010cc: DUP2
000010cd: PUSH1 0x06
000010cf: ADD
000010d0: SLOAD
000010d1: GT
000010d2: ISZERO
000010d3: PUSH2 0x111e
000010d6: JUMPI
000010d7: DUP1
000010d8: PUSH1 0x03
000010da: ADD
000010db: SLOAD
000010dc: PUSH1 0x06
000010de: SLOAD
000010df: ADD
000010e0: SWAP4
000010e1: POP
000010e2: PUSH2 0x10f7
000010e5: DUP2
000010e6: PUSH1 0x00
000010e8: ADD
000010e9: SLOAD
000010ea: PUSH8 0x0905438e60010000
000010f3: PUSH2 0x1ae3
000010f6: JUMP
000010f7: JUMPDEST
000010f8: PUSH1 0x07
000010fa: SLOAD
000010fb: ADD
000010fc: SWAP5
000010fd: POP
000010fe: PUSH2 0x1113
00001101: DUP2
00001102: PUSH1 0x00
00001104: ADD
00001105: SLOAD
00001106: PUSH8 0x013fbe85edc90000
0000110f: PUSH2 0x1ae3
00001112: JUMP
00001113: JUMPDEST
00001114: PUSH1 0x08
00001116: SLOAD
00001117: ADD
00001118: SWAP3
00001119: POP
0000111a: PUSH2 0x112e
0000111d: JUMP
0000111e: JUMPDEST
0000111f: PUSH1 0x06
00001121: SLOAD
00001122: SWAP4
00001123: POP
00001124: PUSH1 0x07
00001126: SLOAD
00001127: SWAP5
00001128: POP
00001129: PUSH1 0x08
0000112b: SLOAD
0000112c: SWAP3
0000112d: POP
0000112e: JUMPDEST
0000112f: PUSH1 0x09
00001131: SLOAD
00001132: SWAP2
00001133: POP
00001134: POP
00001135: SWAP1
00001136: SWAP2
00001137: SWAP3
00001138: SWAP4
00001139: JUMP
0000113a: JUMPDEST
0000113b: PUSH7 0x038d7ea4c68000
00001143: DUP2
00001144: JUMP
00001145: JUMPDEST
00001146: PUSH1 0x0a
00001148: SLOAD
00001149: DUP2
0000114a: JUMP
0000114b: JUMPDEST
0000114c: PUSH8 0x013fbe85edc90000
00001155: DUP2
00001156: JUMP
00001157: JUMPDEST
00001158: PUSH3 0x015180
0000115c: DUP2
0000115d: JUMP
0000115e: JUMPDEST
0000115f: PUSH1 0x06
00001161: SLOAD
00001162: DUP2
00001163: JUMP
00001164: JUMPDEST
00001165: PUSH2 0x117a
00001168: CALLER
00001169: PUSH1 0x00
0000116b: CALLDATALOAD
0000116c: PUSH1 0x01
0000116e: PUSH1 0xe0
00001170: PUSH1 0x02
00001172: EXP
00001173: SUB
00001174: NOT
00001175: AND
00001176: PUSH2 0x193a
00001179: JUMP
0000117a: JUMPDEST
0000117b: ISZERO
0000117c: ISZERO
0000117d: PUSH2 0x1185
00001180: JUMPI
00001181: PUSH1 0x00
00001183: DUP1
00001184: REVERT
00001185: JUMPDEST
00001186: PUSH1 0x00
00001188: DUP1
00001189: SLOAD
0000118a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000119f: NOT
000011a0: AND
000011a1: PUSH1 0x01
000011a3: PUSH1 0xa0
000011a5: PUSH1 0x02
000011a7: EXP
000011a8: SUB
000011a9: DUP4
000011aa: DUP2
000011ab: AND
000011ac: SWAP2
000011ad: SWAP1
000011ae: SWAP2
000011af: OR
000011b0: DUP1
000011b1: DUP4
000011b2: SSTORE
000011b3: PUSH1 0x40
000011b5: MLOAD
000011b6: SWAP2
000011b7: AND
000011b8: SWAP2
000011b9: PUSH32 0x1abebea81bfa2637f28358c371278fb15ede7ea8dd28d2e03b112ff6d936ada4
000011da: SWAP2
000011db: LOG2
000011dc: POP
000011dd: JUMP
000011de: JUMPDEST
000011df: PUSH1 0x01
000011e1: SLOAD
000011e2: PUSH1 0x01
000011e4: PUSH1 0xa0
000011e6: PUSH1 0x02
000011e8: EXP
000011e9: SUB
000011ea: AND
000011eb: DUP2
000011ec: JUMP
000011ed: JUMPDEST
000011ee: PUSH7 0x2386f26fc10000
000011f6: DUP2
000011f7: JUMP
000011f8: JUMPDEST
000011f9: PUSH8 0x0905438e60010000
00001202: DUP2
00001203: JUMP
00001204: JUMPDEST
00001205: PUSH3 0x278d00
00001209: DUP2
0000120a: JUMP
0000120b: JUMPDEST
0000120c: PUSH2 0x0aa0
0000120f: DUP2
00001210: PUSH1 0x00
00001212: PUSH2 0x1587
00001215: JUMP
00001216: JUMPDEST
00001217: PUSH1 0x00
00001219: DUP1
0000121a: PUSH1 0x00
0000121c: DUP1
0000121d: PUSH1 0x00
0000121f: PUSH1 0x10
00001221: DUP7
00001222: DUP2
00001223: SLOAD
00001224: DUP2
00001225: LT
00001226: ISZERO
00001227: ISZERO
00001228: PUSH2 0x122d
0000122b: JUMPI
0000122c: INVALID
0000122d: JUMPDEST
0000122e: SWAP1
0000122f: PUSH1 0x00
00001231: MSTORE
00001232: PUSH1 0x20
00001234: PUSH1 0x00
00001236: KECCAK256
00001237: SWAP1
00001238: PUSH1 0x0b
0000123a: MUL
0000123b: ADD
0000123c: SWAP3
0000123d: POP
0000123e: PUSH1 0x01
00001240: PUSH1 0x10
00001242: DUP1
00001243: SLOAD
00001244: SWAP1
00001245: POP
00001246: GT
00001247: ISZERO
00001248: PUSH2 0x128c
0000124b: JUMPI
0000124c: PUSH2 0x1258
0000124f: DUP8
00001250: PUSH1 0x01
00001252: DUP9
00001253: SUB
00001254: PUSH2 0x0d6d
00001257: JUMP
00001258: JUMPDEST
00001259: ISZERO
0000125a: PUSH2 0x128c
0000125d: JUMPI
0000125e: PUSH1 0x10
00001260: DUP1
00001261: SLOAD
00001262: PUSH1 0x00
00001264: NOT
00001265: DUP9
00001266: ADD
00001267: SWAP1
00001268: DUP2
00001269: LT
0000126a: PUSH2 0x126f
0000126d: JUMPI
0000126e: INVALID
0000126f: JUMPDEST
00001270: SWAP1
00001271: PUSH1 0x00
00001273: MSTORE
00001274: PUSH1 0x20
00001276: PUSH1 0x00
00001278: KECCAK256
00001279: SWAP1
0000127a: PUSH1 0x0b
0000127c: MUL
0000127d: ADD
0000127e: SWAP1
0000127f: POP
00001280: PUSH2 0x1289
00001283: DUP8
00001284: DUP3
00001285: PUSH2 0x1b2e
00001288: JUMP
00001289: JUMPDEST
0000128a: SWAP2
0000128b: POP
0000128c: JUMPDEST
0000128d: PUSH2 0x1296
00001290: DUP8
00001291: DUP5
00001292: PUSH2 0x1b2e
00001295: JUMP
00001296: JUMPDEST
00001297: PUSH1 0x01
00001299: PUSH1 0xa0
0000129b: PUSH1 0x02
0000129d: EXP
0000129e: SUB
0000129f: SWAP1
000012a0: SWAP8
000012a1: AND
000012a2: PUSH1 0x00
000012a4: SWAP1
000012a5: DUP2
000012a6: MSTORE
000012a7: PUSH1 0x0e
000012a9: PUSH1 0x20
000012ab: MSTORE
000012ac: PUSH1 0x40
000012ae: SWAP1
000012af: KECCAK256
000012b0: DUP1
000012b1: SLOAD
000012b2: PUSH1 0x01
000012b4: SWAP1
000012b5: SWAP2
000012b6: ADD
000012b7: SLOAD
000012b8: SWAP8
000012b9: SWAP1
000012ba: SWAP3
000012bb: ADD
000012bc: SWAP2
000012bd: SWAP1
000012be: SWAP2
000012bf: ADD
000012c0: SWAP7
000012c1: SWAP5
000012c2: POP
000012c3: POP
000012c4: POP
000012c5: POP
000012c6: POP
000012c7: JUMP
000012c8: JUMPDEST
000012c9: PUSH1 0x14
000012cb: PUSH8 0x0de0b6b3a7640000
000012d4: JUMPDEST
000012d5: DIV
000012d6: DUP2
000012d7: JUMP
000012d8: JUMPDEST
000012d9: PUSH8 0x0214e8348c4f0000
000012e2: DUP2
000012e3: JUMP
000012e4: JUMPDEST
000012e5: PUSH1 0x64
000012e7: PUSH8 0x0de0b6b3a7640000
000012f0: PUSH2 0x12d4
000012f3: JUMP
000012f4: JUMPDEST
000012f5: PUSH1 0x04
000012f7: SLOAD
000012f8: PUSH1 0x00
000012fa: SWAP1
000012fb: DUP2
000012fc: SWAP1
000012fd: PUSH1 0xa0
000012ff: PUSH1 0x02
00001301: EXP
00001302: SWAP1
00001303: DIV
00001304: PUSH1 0xff
00001306: AND
00001307: ISZERO
00001308: PUSH2 0x135b
0000130b: JUMPI
0000130c: PUSH1 0x40
0000130e: DUP1
0000130f: MLOAD
00001310: PUSH1 0xe5
00001312: PUSH1 0x02
00001314: EXP
00001315: PUSH3 0x461bcd
00001319: MUL
0000131a: DUP2
0000131b: MSTORE
0000131c: PUSH1 0x20
0000131e: PUSH1 0x04
00001320: DUP3
00001321: ADD
00001322: DUP2
00001323: SWAP1
00001324: MSTORE
00001325: PUSH1 0x24
00001327: DUP3
00001328: ADD
00001329: MSTORE
0000132a: PUSH32 0x5468697320636f6e747261637420686173206265656e20757067726164656421
0000134b: PUSH1 0x44
0000134d: DUP3
0000134e: ADD
0000134f: MSTORE
00001350: SWAP1
00001351: MLOAD
00001352: SWAP1
00001353: DUP2
00001354: SWAP1
00001355: SUB
00001356: PUSH1 0x64
00001358: ADD
00001359: SWAP1
0000135a: REVERT
0000135b: JUMPDEST
0000135c: PUSH1 0x10
0000135e: SLOAD
0000135f: PUSH1 0x00
00001361: LT
00001362: ISZERO
00001363: PUSH2 0x1467
00001366: JUMPI
00001367: PUSH1 0x10
00001369: PUSH1 0x0f
0000136b: SLOAD
0000136c: DUP2
0000136d: SLOAD
0000136e: DUP2
0000136f: LT
00001370: ISZERO
00001371: ISZERO
00001372: PUSH2 0x1377
00001375: JUMPI
00001376: INVALID
00001377: JUMPDEST
00001378: SWAP1
00001379: PUSH1 0x00
0000137b: MSTORE
0000137c: PUSH1 0x20
0000137e: PUSH1 0x00
00001380: KECCAK256
00001381: SWAP1
00001382: PUSH1 0x0b
00001384: MUL
00001385: ADD
00001386: PUSH1 0x09
00001388: ADD
00001389: PUSH1 0x14
0000138b: SWAP1
0000138c: SLOAD
0000138d: SWAP1
0000138e: PUSH2 0x0100
00001391: EXP
00001392: SWAP1
00001393: DIV
00001394: PUSH1 0xff
00001396: AND
00001397: ISZERO
00001398: ISZERO
00001399: PUSH2 0x13ec
0000139c: JUMPI
0000139d: PUSH1 0x40
0000139f: DUP1
000013a0: MLOAD
000013a1: PUSH1 0xe5
000013a3: PUSH1 0x02
000013a5: EXP
000013a6: PUSH3 0x461bcd
000013aa: MUL
000013ab: DUP2
000013ac: MSTORE
000013ad: PUSH1 0x20
000013af: PUSH1 0x04
000013b1: DUP3
000013b2: ADD
000013b3: MSTORE
000013b4: PUSH1 0x1c
000013b6: PUSH1 0x24
000013b8: DUP3
000013b9: ADD
000013ba: MSTORE
000013bb: PUSH32 0x50726576696f757320726f756e64206e6f742066696e616c697a656400000000
000013dc: PUSH1 0x44
000013de: DUP3
000013df: ADD
000013e0: MSTORE
000013e1: SWAP1
000013e2: MLOAD
000013e3: SWAP1
000013e4: DUP2
000013e5: SWAP1
000013e6: SUB
000013e7: PUSH1 0x64
000013e9: ADD
000013ea: SWAP1
000013eb: REVERT
000013ec: JUMPDEST
000013ed: TIMESTAMP
000013ee: PUSH1 0x10
000013f0: PUSH1 0x0f
000013f2: SLOAD
000013f3: DUP2
000013f4: SLOAD
000013f5: DUP2
000013f6: LT
000013f7: ISZERO
000013f8: ISZERO
000013f9: PUSH2 0x13fe
000013fc: JUMPI
000013fd: INVALID
000013fe: JUMPDEST
000013ff: SWAP1
00001400: PUSH1 0x00
00001402: MSTORE
00001403: PUSH1 0x20
00001405: PUSH1 0x00
00001407: KECCAK256
00001408: SWAP1
00001409: PUSH1 0x0b
0000140b: MUL
0000140c: ADD
0000140d: PUSH1 0x06
0000140f: ADD
00001410: SLOAD
00001411: LT
00001412: ISZERO
00001413: ISZERO
00001414: PUSH2 0x1467
00001417: JUMPI
00001418: PUSH1 0x40
0000141a: DUP1
0000141b: MLOAD
0000141c: PUSH1 0xe5
0000141e: PUSH1 0x02
00001420: EXP
00001421: PUSH3 0x461bcd
00001425: MUL
00001426: DUP2
00001427: MSTORE
00001428: PUSH1 0x20
0000142a: PUSH1 0x04
0000142c: DUP3
0000142d: ADD
0000142e: MSTORE
0000142f: PUSH1 0x1c
00001431: PUSH1 0x24
00001433: DUP3
00001434: ADD
00001435: MSTORE
00001436: PUSH32 0x50726576696f757320726f756e64207374696c6c2072756e6e696e6700000000
00001457: PUSH1 0x44
00001459: DUP3
0000145a: ADD
0000145b: MSTORE
0000145c: SWAP1
0000145d: MLOAD
0000145e: SWAP1
0000145f: DUP2
00001460: SWAP1
00001461: SUB
00001462: PUSH1 0x64
00001464: ADD
00001465: SWAP1
00001466: REVERT
00001467: JUMPDEST
00001468: PUSH1 0x10
0000146a: DUP1
0000146b: SLOAD
0000146c: SWAP1
0000146d: PUSH2 0x1479
00001470: SWAP1
00001471: PUSH1 0x01
00001473: DUP4
00001474: ADD
00001475: PUSH2 0x2614
00001478: JUMP
00001479: JUMPDEST
0000147a: SWAP2
0000147b: POP
0000147c: PUSH1 0x10
0000147e: DUP3
0000147f: DUP2
00001480: SLOAD
00001481: DUP2
00001482: LT
00001483: ISZERO
00001484: ISZERO
00001485: PUSH2 0x148a
00001488: JUMPI
00001489: INVALID
0000148a: JUMPDEST
0000148b: PUSH1 0x00
0000148d: SWAP2
0000148e: DUP3
0000148f: MSTORE
00001490: PUSH1 0x20
00001492: DUP3
00001493: KECCAK256
00001494: PUSH1 0x0f
00001496: DUP6
00001497: SWAP1
00001498: SSTORE
00001499: PUSH1 0x09
0000149b: PUSH1 0x0b
0000149d: SWAP1
0000149e: SWAP3
0000149f: MUL
000014a0: ADD
000014a1: SWAP1
000014a2: DUP2
000014a3: ADD
000014a4: DUP1
000014a5: SLOAD
000014a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014bb: NOT
000014bc: AND
000014bd: CALLER
000014be: OR
000014bf: SWAP1
000014c0: SSTORE
000014c1: PUSH7 0x038d7ea4c68000
000014c9: PUSH1 0x07
000014cb: DUP3
000014cc: ADD
000014cd: SSTORE
000014ce: TIMESTAMP
000014cf: PUSH3 0x278d00
000014d3: DUP2
000014d4: ADD
000014d5: PUSH1 0x05
000014d7: DUP4
000014d8: ADD
000014d9: SSTORE
000014da: PUSH3 0x015180
000014de: ADD
000014df: PUSH1 0x06
000014e1: DUP3
000014e2: ADD
000014e3: SSTORE
000014e4: PUSH1 0x0a
000014e6: DUP1
000014e7: SLOAD
000014e8: PUSH1 0x01
000014ea: DUP4
000014eb: ADD
000014ec: SSTORE
000014ed: DUP3
000014ee: SWAP1
000014ef: SSTORE
000014f0: SWAP2
000014f1: POP
000014f2: PUSH2 0x14fe
000014f5: SWAP1
000014f6: DUP3
000014f7: SWAP1
000014f8: CALLVALUE
000014f9: SWAP1
000014fa: PUSH2 0x170c
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x05
00001501: DUP2
00001502: ADD
00001503: SLOAD
00001504: PUSH1 0x40
00001506: DUP1
00001507: MLOAD
00001508: SWAP2
00001509: DUP3
0000150a: MSTORE
0000150b: MLOAD
0000150c: DUP4
0000150d: SWAP2
0000150e: PUSH32 0x278844837bcf8364a705384bf3a2812901f54155bae86dea81dd52aa5b9ec0e3
0000152f: SWAP2
00001530: SWAP1
00001531: DUP2
00001532: SWAP1
00001533: SUB
00001534: PUSH1 0x20
00001536: ADD
00001537: SWAP1
00001538: LOG2
00001539: POP
0000153a: POP
0000153b: JUMP
0000153c: JUMPDEST
0000153d: PUSH1 0x00
0000153f: SLOAD
00001540: PUSH1 0x01
00001542: PUSH1 0xa0
00001544: PUSH1 0x02
00001546: EXP
00001547: SUB
00001548: AND
00001549: DUP2
0000154a: JUMP
0000154b: JUMPDEST
0000154c: PUSH1 0x00
0000154e: PUSH1 0x10
00001550: PUSH1 0x0f
00001552: SLOAD
00001553: DUP2
00001554: SLOAD
00001555: DUP2
00001556: LT
00001557: ISZERO
00001558: ISZERO
00001559: PUSH2 0x155e
0000155c: JUMPI
0000155d: INVALID
0000155e: JUMPDEST
0000155f: SWAP1
00001560: PUSH1 0x00
00001562: MSTORE
00001563: PUSH1 0x20
00001565: PUSH1 0x00
00001567: KECCAK256
00001568: SWAP1
00001569: PUSH1 0x0b
0000156b: MUL
0000156c: ADD
0000156d: SWAP1
0000156e: POP
0000156f: PUSH2 0x0aa0
00001572: DUP2
00001573: PUSH2 0x1be5
00001576: JUMP
00001577: JUMPDEST
00001578: PUSH1 0x04
0000157a: SLOAD
0000157b: PUSH1 0xa0
0000157d: PUSH1 0x02
0000157f: EXP
00001580: SWAP1
00001581: DIV
00001582: PUSH1 0xff
00001584: AND
00001585: DUP2
00001586: JUMP
00001587: JUMPDEST
00001588: PUSH1 0x00
0000158a: PUSH1 0x10
0000158c: PUSH1 0x0f
0000158e: SLOAD
0000158f: DUP2
00001590: SLOAD
00001591: DUP2
00001592: LT
00001593: ISZERO
00001594: ISZERO
00001595: PUSH2 0x159a
00001598: JUMPI
00001599: INVALID
0000159a: JUMPDEST
0000159b: SWAP1
0000159c: PUSH1 0x00
0000159e: MSTORE
0000159f: PUSH1 0x20
000015a1: PUSH1 0x00
000015a3: KECCAK256
000015a4: SWAP1
000015a5: PUSH1 0x0b
000015a7: MUL
000015a8: ADD
000015a9: SWAP1
000015aa: POP
000015ab: PUSH2 0x15b4
000015ae: CALLER
000015af: DUP3
000015b0: PUSH2 0x1a43
000015b3: JUMP
000015b4: JUMPDEST
000015b5: CALLER
000015b6: PUSH1 0x00
000015b8: SWAP1
000015b9: DUP2
000015ba: MSTORE
000015bb: PUSH1 0x0e
000015bd: PUSH1 0x20
000015bf: MSTORE
000015c0: PUSH1 0x40
000015c2: SWAP1
000015c3: KECCAK256
000015c4: SLOAD
000015c5: DUP4
000015c6: GT
000015c7: ISZERO
000015c8: PUSH2 0x161b
000015cb: JUMPI
000015cc: PUSH1 0x40
000015ce: DUP1
000015cf: MLOAD
000015d0: PUSH1 0xe5
000015d2: PUSH1 0x02
000015d4: EXP
000015d5: PUSH3 0x461bcd
000015d9: MUL
000015da: DUP2
000015db: MSTORE
000015dc: PUSH1 0x20
000015de: PUSH1 0x04
000015e0: DUP3
000015e1: ADD
000015e2: MSTORE
000015e3: PUSH1 0x1f
000015e5: PUSH1 0x24
000015e7: DUP3
000015e8: ADD
000015e9: MSTORE
000015ea: PUSH32 0x43616e2774207370656e64207768617420796f7520646f6e2774206861766500
0000160b: PUSH1 0x44
0000160d: DUP3
0000160e: ADD
0000160f: MSTORE
00001610: SWAP1
00001611: MLOAD
00001612: SWAP1
00001613: DUP2
00001614: SWAP1
00001615: SUB
00001616: PUSH1 0x64
00001618: ADD
00001619: SWAP1
0000161a: REVERT
0000161b: JUMPDEST
0000161c: CALLER
0000161d: PUSH1 0x00
0000161f: SWAP1
00001620: DUP2
00001621: MSTORE
00001622: PUSH1 0x0e
00001624: PUSH1 0x20
00001626: MSTORE
00001627: PUSH1 0x40
00001629: SWAP1
0000162a: KECCAK256
0000162b: SLOAD
0000162c: PUSH2 0x1635
0000162f: SWAP1
00001630: DUP5
00001631: PUSH2 0x1b1e
00001634: JUMP
00001635: JUMPDEST
00001636: CALLER
00001637: PUSH1 0x00
00001639: SWAP1
0000163a: DUP2
0000163b: MSTORE
0000163c: PUSH1 0x0e
0000163e: PUSH1 0x20
00001640: MSTORE
00001641: PUSH1 0x40
00001643: SWAP1
00001644: KECCAK256
00001645: DUP2
00001646: DUP2
00001647: SSTORE
00001648: PUSH1 0x01
0000164a: ADD
0000164b: SLOAD
0000164c: PUSH2 0x1654
0000164f: SWAP2
00001650: PUSH2 0x1fc8
00001653: JUMP
00001654: JUMPDEST
00001655: CALLER
00001656: PUSH1 0x00
00001658: SWAP1
00001659: DUP2
0000165a: MSTORE
0000165b: PUSH1 0x0e
0000165d: PUSH1 0x20
0000165f: MSTORE
00001660: PUSH1 0x40
00001662: SWAP1
00001663: KECCAK256
00001664: PUSH1 0x01
00001666: ADD
00001667: SSTORE
00001668: PUSH1 0x0d
0000166a: SLOAD
0000166b: PUSH2 0x1674
0000166e: SWAP1
0000166f: DUP5
00001670: PUSH2 0x1b1e
00001673: JUMP
00001674: JUMPDEST
00001675: PUSH1 0x0d
00001677: SSTORE
00001678: PUSH2 0x1682
0000167b: DUP2
0000167c: DUP5
0000167d: DUP5
0000167e: PUSH2 0x170c
00001681: JUMP
00001682: JUMPDEST
00001683: POP
00001684: POP
00001685: POP
00001686: JUMP
00001687: JUMPDEST
00001688: PUSH1 0x02
0000168a: DUP1
0000168b: SLOAD
0000168c: PUSH1 0x40
0000168e: DUP1
0000168f: MLOAD
00001690: PUSH1 0x20
00001692: PUSH1 0x01
00001694: DUP5
00001695: AND
00001696: ISZERO
00001697: PUSH2 0x0100
0000169a: MUL
0000169b: PUSH1 0x00
0000169d: NOT
0000169e: ADD
0000169f: SWAP1
000016a0: SWAP4
000016a1: AND
000016a2: DUP5
000016a3: SWAP1
000016a4: DIV
000016a5: PUSH1 0x1f
000016a7: DUP2
000016a8: ADD
000016a9: DUP5
000016aa: SWAP1
000016ab: DIV
000016ac: DUP5
000016ad: MUL
000016ae: DUP3
000016af: ADD
000016b0: DUP5
000016b1: ADD
000016b2: SWAP1
000016b3: SWAP3
000016b4: MSTORE
000016b5: DUP2
000016b6: DUP2
000016b7: MSTORE
000016b8: SWAP3
000016b9: SWAP2
000016ba: DUP4
000016bb: ADD
000016bc: DUP3
000016bd: DUP3
000016be: DUP1
000016bf: ISZERO
000016c0: PUSH2 0x0bc7
000016c3: JUMPI
000016c4: DUP1
000016c5: PUSH1 0x1f
000016c7: LT
000016c8: PUSH2 0x0b9c
000016cb: JUMPI
000016cc: PUSH2 0x0100
000016cf: DUP1
000016d0: DUP4
000016d1: SLOAD
000016d2: DIV
000016d3: MUL
000016d4: DUP4
000016d5: MSTORE
000016d6: SWAP2
000016d7: PUSH1 0x20
000016d9: ADD
000016da: SWAP2
000016db: PUSH2 0x0bc7
000016de: JUMP
000016df: JUMPDEST
000016e0: PUSH1 0x08
000016e2: SLOAD
000016e3: DUP2
000016e4: JUMP
000016e5: JUMPDEST
000016e6: PUSH1 0x0b
000016e8: SLOAD
000016e9: DUP2
000016ea: JUMP
000016eb: JUMPDEST
000016ec: PUSH1 0x09
000016ee: SLOAD
000016ef: DUP2
000016f0: JUMP
000016f1: JUMPDEST
000016f2: PUSH1 0x0f
000016f4: SLOAD
000016f5: DUP2
000016f6: JUMP
000016f7: JUMPDEST
000016f8: PUSH2 0x0e10
000016fb: DUP2
000016fc: JUMP
000016fd: JUMPDEST
000016fe: PUSH1 0x04
00001700: SLOAD
00001701: PUSH1 0x01
00001703: PUSH1 0xa0
00001705: PUSH1 0x02
00001707: EXP
00001708: SUB
00001709: AND
0000170a: DUP2
0000170b: JUMP
0000170c: JUMPDEST
0000170d: PUSH1 0x00
0000170f: DUP1
00001710: PUSH1 0x00
00001712: TIMESTAMP
00001713: DUP7
00001714: PUSH1 0x06
00001716: ADD
00001717: SLOAD
00001718: LT
00001719: ISZERO
0000171a: ISZERO
0000171b: ISZERO
0000171c: PUSH2 0x176f
0000171f: JUMPI
00001720: PUSH1 0x40
00001722: DUP1
00001723: MLOAD
00001724: PUSH1 0xe5
00001726: PUSH1 0x02
00001728: EXP
00001729: PUSH3 0x461bcd
0000172d: MUL
0000172e: DUP2
0000172f: MSTORE
00001730: PUSH1 0x20
00001732: PUSH1 0x04
00001734: DUP3
00001735: ADD
00001736: MSTORE
00001737: PUSH1 0x0f
00001739: PUSH1 0x24
0000173b: DUP3
0000173c: ADD
0000173d: MSTORE
0000173e: PUSH32 0x416674657220646561646c696e65210000000000000000000000000000000000
0000175f: PUSH1 0x44
00001761: DUP3
00001762: ADD
00001763: MSTORE
00001764: SWAP1
00001765: MLOAD
00001766: SWAP1
00001767: DUP2
00001768: SWAP1
00001769: SUB
0000176a: PUSH1 0x64
0000176c: ADD
0000176d: SWAP1
0000176e: REVERT
0000176f: JUMPDEST
00001770: PUSH1 0x07
00001772: DUP7
00001773: ADD
00001774: SLOAD
00001775: PUSH1 0x0a
00001777: SWAP1
00001778: DIV
00001779: DUP6
0000177a: LT
0000177b: ISZERO
0000177c: PUSH2 0x17cf
0000177f: JUMPI
00001780: PUSH1 0x40
00001782: DUP1
00001783: MLOAD
00001784: PUSH1 0xe5
00001786: PUSH1 0x02
00001788: EXP
00001789: PUSH3 0x461bcd
0000178d: MUL
0000178e: DUP2
0000178f: MSTORE
00001790: PUSH1 0x20
00001792: PUSH1 0x04
00001794: DUP3
00001795: ADD
00001796: MSTORE
00001797: PUSH1 0x11
00001799: PUSH1 0x24
0000179b: DUP3
0000179c: ADD
0000179d: MSTORE
0000179e: PUSH32 0x4e6f7420656e6f75676820457468657221000000000000000000000000000000
000017bf: PUSH1 0x44
000017c1: DUP3
000017c2: ADD
000017c3: MSTORE
000017c4: SWAP1
000017c5: MLOAD
000017c6: SWAP1
000017c7: DUP2
000017c8: SWAP1
000017c9: SUB
000017ca: PUSH1 0x64
000017cc: ADD
000017cd: SWAP1
000017ce: REVERT
000017cf: JUMPDEST
000017d0: DUP6
000017d1: SLOAD
000017d2: PUSH2 0x17db
000017d5: SWAP1
000017d6: DUP7
000017d7: PUSH2 0x1fe1
000017da: JUMP
000017db: JUMPDEST
000017dc: DUP7
000017dd: SSTORE
000017de: PUSH1 0x07
000017e0: DUP7
000017e1: ADD
000017e2: SLOAD
000017e3: DUP6
000017e4: LT
000017e5: PUSH2 0x180a
000017e8: JUMPI
000017e9: PUSH1 0x09
000017eb: DUP7
000017ec: ADD
000017ed: DUP1
000017ee: SLOAD
000017ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001804: NOT
00001805: AND
00001806: CALLER
00001807: OR
00001808: SWAP1
00001809: SSTORE
0000180a: JUMPDEST
0000180b: PUSH2 0x1814
0000180e: DUP7
0000180f: DUP7
00001810: PUSH2 0x1ff1
00001813: JUMP
00001814: JUMPDEST
00001815: PUSH2 0x181f
00001818: DUP7
00001819: DUP7
0000181a: DUP7
0000181b: PUSH2 0x21ac
0000181e: JUMP
0000181f: JUMPDEST
00001820: PUSH2 0x1829
00001823: CALLER
00001824: DUP8
00001825: PUSH2 0x1a43
00001828: JUMP
00001829: JUMPDEST
0000182a: PUSH2 0x1834
0000182d: DUP7
0000182e: CALLER
0000182f: DUP8
00001830: PUSH2 0x235c
00001833: JUMP
00001834: JUMPDEST
00001835: PUSH1 0x10
00001837: SLOAD
00001838: SWAP1
00001839: SWAP4
0000183a: POP
0000183b: PUSH1 0x01
0000183d: EQ
0000183e: ISZERO
0000183f: PUSH2 0x18c8
00001842: JUMPI
00001843: PUSH1 0x04
00001845: DUP1
00001846: SLOAD
00001847: PUSH1 0x40
00001849: DUP1
0000184a: MLOAD
0000184b: PUSH32 0x40c10f1900000000000000000000000000000000000000000000000000000000
0000186c: DUP2
0000186d: MSTORE
0000186e: CALLER
0000186f: SWAP4
00001870: DUP2
00001871: ADD
00001872: SWAP4
00001873: SWAP1
00001874: SWAP4
00001875: MSTORE
00001876: PUSH1 0x24
00001878: DUP4
00001879: ADD
0000187a: DUP7
0000187b: SWAP1
0000187c: MSTORE
0000187d: MLOAD
0000187e: PUSH1 0x01
00001880: PUSH1 0xa0
00001882: PUSH1 0x02
00001884: EXP
00001885: SUB
00001886: SWAP1
00001887: SWAP2
00001888: AND
00001889: SWAP2
0000188a: PUSH4 0x40c10f19
0000188f: SWAP2
00001890: PUSH1 0x44
00001892: DUP1
00001893: DUP4
00001894: ADD
00001895: SWAP3
00001896: PUSH1 0x00
00001898: SWAP3
00001899: SWAP2
0000189a: SWAP1
0000189b: DUP3
0000189c: SWAP1
0000189d: SUB
0000189e: ADD
0000189f: DUP2
000018a0: DUP4
000018a1: DUP8
000018a2: DUP1
000018a3: EXTCODESIZE
000018a4: ISZERO
000018a5: DUP1
000018a6: ISZERO
000018a7: PUSH2 0x18af
000018aa: JUMPI
000018ab: PUSH1 0x00
000018ad: DUP1
000018ae: REVERT
000018af: JUMPDEST
000018b0: POP
000018b1: GAS
000018b2: CALL
000018b3: ISZERO
000018b4: DUP1
000018b5: ISZERO
000018b6: PUSH2 0x18c3
000018b9: JUMPI
000018ba: RETURNDATASIZE
000018bb: PUSH1 0x00
000018bd: DUP1
000018be: RETURNDATACOPY
000018bf: RETURNDATASIZE
000018c0: PUSH1 0x00
000018c2: REVERT
000018c3: JUMPDEST
000018c4: POP
000018c5: POP
000018c6: POP
000018c7: POP
000018c8: JUMPDEST
000018c9: PUSH8 0x0de0b6b3a7640000
000018d2: DUP4
000018d3: DIV
000018d4: SWAP2
000018d5: POP
000018d6: PUSH2 0x18ee
000018d9: DUP7
000018da: PUSH1 0x06
000018dc: ADD
000018dd: SLOAD
000018de: PUSH2 0x18e9
000018e1: DUP5
000018e2: PUSH2 0x012c
000018e5: PUSH2 0x24c7
000018e8: JUMP
000018e9: JUMPDEST
000018ea: PUSH2 0x1fe1
000018ed: JUMP
000018ee: JUMPDEST
000018ef: SWAP1
000018f0: POP
000018f1: PUSH2 0x18ff
000018f4: DUP2
000018f5: PUSH3 0x015180
000018f9: TIMESTAMP
000018fa: ADD
000018fb: PUSH2 0x1fc8
000018fe: JUMP
000018ff: JUMPDEST
00001900: PUSH1 0x06
00001902: DUP8
00001903: ADD
00001904: SSTORE
00001905: PUSH1 0x05
00001907: DUP7
00001908: ADD
00001909: SLOAD
0000190a: TIMESTAMP
0000190b: GT
0000190c: ISZERO
0000190d: PUSH2 0x1932
00001910: JUMPI
00001911: PUSH2 0x0e10
00001914: DUP7
00001915: PUSH1 0x08
00001917: ADD
00001918: SLOAD
00001919: ADD
0000191a: TIMESTAMP
0000191b: GT
0000191c: ISZERO
0000191d: PUSH2 0x1932
00001920: JUMPI
00001921: PUSH1 0x07
00001923: DUP7
00001924: ADD
00001925: DUP1
00001926: SLOAD
00001927: PUSH1 0x02
00001929: MUL
0000192a: SWAP1
0000192b: SSTORE
0000192c: TIMESTAMP
0000192d: PUSH1 0x08
0000192f: DUP8
00001930: ADD
00001931: SSTORE
00001932: JUMPDEST
00001933: POP
00001934: POP
00001935: POP
00001936: POP
00001937: POP
00001938: POP
00001939: JUMP
0000193a: JUMPDEST
0000193b: PUSH1 0x00
0000193d: PUSH1 0x01
0000193f: PUSH1 0xa0
00001941: PUSH1 0x02
00001943: EXP
00001944: SUB
00001945: DUP4
00001946: AND
00001947: ADDRESS
00001948: EQ
00001949: ISZERO
0000194a: PUSH2 0x1955
0000194d: JUMPI
0000194e: POP
0000194f: PUSH1 0x01
00001951: PUSH2 0x1a3d
00001954: JUMP
00001955: JUMPDEST
00001956: PUSH1 0x01
00001958: SLOAD
00001959: PUSH1 0x01
0000195b: PUSH1 0xa0
0000195d: PUSH1 0x02
0000195f: EXP
00001960: SUB
00001961: DUP5
00001962: DUP2
00001963: AND
00001964: SWAP2
00001965: AND
00001966: EQ
00001967: ISZERO
00001968: PUSH2 0x1973
0000196b: JUMPI
0000196c: POP
0000196d: PUSH1 0x01
0000196f: PUSH2 0x1a3d
00001972: JUMP
00001973: JUMPDEST
00001974: PUSH1 0x00
00001976: SLOAD
00001977: PUSH1 0x01
00001979: PUSH1 0xa0
0000197b: PUSH1 0x02
0000197d: EXP
0000197e: SUB
0000197f: AND
00001980: ISZERO
00001981: ISZERO
00001982: PUSH2 0x198d
00001985: JUMPI
00001986: POP
00001987: PUSH1 0x00
00001989: PUSH2 0x1a3d
0000198c: JUMP
0000198d: JUMPDEST
0000198e: PUSH1 0x00
00001990: DUP1
00001991: SLOAD
00001992: PUSH1 0x40
00001994: DUP1
00001995: MLOAD
00001996: PUSH32 0xb700961300000000000000000000000000000000000000000000000000000000
000019b7: DUP2
000019b8: MSTORE
000019b9: PUSH1 0x01
000019bb: PUSH1 0xa0
000019bd: PUSH1 0x02
000019bf: EXP
000019c0: SUB
000019c1: DUP8
000019c2: DUP2
000019c3: AND
000019c4: PUSH1 0x04
000019c6: DUP4
000019c7: ADD
000019c8: MSTORE
000019c9: ADDRESS
000019ca: PUSH1 0x24
000019cc: DUP4
000019cd: ADD
000019ce: MSTORE
000019cf: PUSH1 0x01
000019d1: PUSH1 0xe0
000019d3: PUSH1 0x02
000019d5: EXP
000019d6: SUB
000019d7: NOT
000019d8: DUP8
000019d9: AND
000019da: PUSH1 0x44
000019dc: DUP4
000019dd: ADD
000019de: MSTORE
000019df: SWAP2
000019e0: MLOAD
000019e1: SWAP2
000019e2: SWAP1
000019e3: SWAP3
000019e4: AND
000019e5: SWAP3
000019e6: PUSH4 0xb7009613
000019eb: SWAP3
000019ec: PUSH1 0x64
000019ee: DUP1
000019ef: DUP3
000019f0: ADD
000019f1: SWAP4
000019f2: PUSH1 0x20
000019f4: SWAP4
000019f5: SWAP1
000019f6: SWAP3
000019f7: DUP4
000019f8: SWAP1
000019f9: SUB
000019fa: SWAP1
000019fb: SWAP2
000019fc: ADD
000019fd: SWAP1
000019fe: DUP3
000019ff: SWAP1
00001a00: DUP8
00001a01: DUP1
00001a02: EXTCODESIZE
00001a03: ISZERO
00001a04: DUP1
00001a05: ISZERO
00001a06: PUSH2 0x1a0e
00001a09: JUMPI
00001a0a: PUSH1 0x00
00001a0c: DUP1
00001a0d: REVERT
00001a0e: JUMPDEST
00001a0f: POP
00001a10: GAS
00001a11: CALL
00001a12: ISZERO
00001a13: DUP1
00001a14: ISZERO
00001a15: PUSH2 0x1a22
00001a18: JUMPI
00001a19: RETURNDATASIZE
00001a1a: PUSH1 0x00
00001a1c: DUP1
00001a1d: RETURNDATACOPY
00001a1e: RETURNDATASIZE
00001a1f: PUSH1 0x00
00001a21: REVERT
00001a22: JUMPDEST
00001a23: POP
00001a24: POP
00001a25: POP
00001a26: POP
00001a27: PUSH1 0x40
00001a29: MLOAD
00001a2a: RETURNDATASIZE
00001a2b: PUSH1 0x20
00001a2d: DUP2
00001a2e: LT
00001a2f: ISZERO
00001a30: PUSH2 0x1a38
00001a33: JUMPI
00001a34: PUSH1 0x00
00001a36: DUP1
00001a37: REVERT
00001a38: JUMPDEST
00001a39: POP
00001a3a: MLOAD
00001a3b: SWAP1
00001a3c: POP
00001a3d: JUMPDEST
00001a3e: SWAP3
00001a3f: SWAP2
00001a40: POP
00001a41: POP
00001a42: JUMP
00001a43: JUMPDEST
00001a44: PUSH1 0x01
00001a46: PUSH1 0xa0
00001a48: PUSH1 0x02
00001a4a: EXP
00001a4b: SUB
00001a4c: DUP3
00001a4d: AND
00001a4e: PUSH1 0x00
00001a50: SWAP1
00001a51: DUP2
00001a52: MSTORE
00001a53: PUSH1 0x0a
00001a55: DUP3
00001a56: ADD
00001a57: PUSH1 0x20
00001a59: MSTORE
00001a5a: PUSH1 0x40
00001a5c: DUP2
00001a5d: KECCAK256
00001a5e: PUSH1 0x01
00001a60: ADD
00001a61: SLOAD
00001a62: ISZERO
00001a63: ISZERO
00001a64: PUSH2 0x1a6c
00001a67: JUMPI
00001a68: PUSH2 0x1682
00001a6b: JUMP
00001a6c: JUMPDEST
00001a6d: PUSH2 0x1a76
00001a70: DUP4
00001a71: DUP4
00001a72: PUSH2 0x1b2e
00001a75: JUMP
00001a76: JUMPDEST
00001a77: SWAP1
00001a78: POP
00001a79: PUSH1 0x00
00001a7b: DUP2
00001a7c: GT
00001a7d: ISZERO
00001a7e: PUSH2 0x1abe
00001a81: JUMPI
00001a82: PUSH1 0x01
00001a84: PUSH1 0xa0
00001a86: PUSH1 0x02
00001a88: EXP
00001a89: SUB
00001a8a: DUP4
00001a8b: AND
00001a8c: PUSH1 0x00
00001a8e: SWAP1
00001a8f: DUP2
00001a90: MSTORE
00001a91: PUSH1 0x0e
00001a93: PUSH1 0x20
00001a95: MSTORE
00001a96: PUSH1 0x40
00001a98: SWAP1
00001a99: KECCAK256
00001a9a: SLOAD
00001a9b: PUSH2 0x1aa4
00001a9e: SWAP1
00001a9f: DUP3
00001aa0: PUSH2 0x1fe1
00001aa3: JUMP
00001aa4: JUMPDEST
00001aa5: PUSH1 0x01
00001aa7: PUSH1 0xa0
00001aa9: PUSH1 0x02
00001aab: EXP
00001aac: SUB
00001aad: DUP5
00001aae: AND
00001aaf: PUSH1 0x00
00001ab1: SWAP1
00001ab2: DUP2
00001ab3: MSTORE
00001ab4: PUSH1 0x0e
00001ab6: PUSH1 0x20
00001ab8: MSTORE
00001ab9: PUSH1 0x40
00001abb: SWAP1
00001abc: KECCAK256
00001abd: SSTORE
00001abe: JUMPDEST
00001abf: PUSH1 0x04
00001ac1: DUP3
00001ac2: ADD
00001ac3: SLOAD
00001ac4: PUSH1 0x01
00001ac6: PUSH1 0xa0
00001ac8: PUSH1 0x02
00001aca: EXP
00001acb: SUB
00001acc: DUP5
00001acd: AND
00001ace: PUSH1 0x00
00001ad0: SWAP1
00001ad1: DUP2
00001ad2: MSTORE
00001ad3: PUSH1 0x0a
00001ad5: DUP5
00001ad6: ADD
00001ad7: PUSH1 0x20
00001ad9: MSTORE
00001ada: PUSH1 0x40
00001adc: SWAP1
00001add: KECCAK256
00001ade: SSTORE
00001adf: POP
00001ae0: POP
00001ae1: POP
00001ae2: JUMP
00001ae3: JUMPDEST
00001ae4: PUSH1 0x00
00001ae6: PUSH8 0x0de0b6b3a7640000
00001aef: PUSH2 0x1b0d
00001af2: PUSH2 0x1afb
00001af5: DUP6
00001af6: DUP6
00001af7: PUSH2 0x24c7
00001afa: JUMP
00001afb: JUMPDEST
00001afc: PUSH1 0x02
00001afe: PUSH8 0x0de0b6b3a7640000
00001b07: JUMPDEST
00001b08: DIV
00001b09: PUSH2 0x1fe1
00001b0c: JUMP
00001b0d: JUMPDEST
00001b0e: DUP2
00001b0f: ISZERO
00001b10: ISZERO
00001b11: PUSH2 0x1b16
00001b14: JUMPI
00001b15: INVALID
00001b16: JUMPDEST
00001b17: DIV
00001b18: SWAP4
00001b19: SWAP3
00001b1a: POP
00001b1b: POP
00001b1c: POP
00001b1d: JUMP
00001b1e: JUMPDEST
00001b1f: DUP1
00001b20: DUP3
00001b21: SUB
00001b22: DUP3
00001b23: DUP2
00001b24: GT
00001b25: ISZERO
00001b26: PUSH2 0x1a3d
00001b29: JUMPI
00001b2a: PUSH1 0x00
00001b2c: DUP1
00001b2d: REVERT
00001b2e: JUMPDEST
00001b2f: PUSH1 0x01
00001b31: PUSH1 0xa0
00001b33: PUSH1 0x02
00001b35: EXP
00001b36: SUB
00001b37: DUP3
00001b38: AND
00001b39: PUSH1 0x00
00001b3b: SWAP1
00001b3c: DUP2
00001b3d: MSTORE
00001b3e: PUSH1 0x0a
00001b40: DUP3
00001b41: ADD
00001b42: PUSH1 0x20
00001b44: MSTORE
00001b45: PUSH1 0x40
00001b47: DUP2
00001b48: KECCAK256
00001b49: PUSH1 0x01
00001b4b: ADD
00001b4c: SLOAD
00001b4d: DUP2
00001b4e: SWAP1
00001b4f: DUP2
00001b50: SWAP1
00001b51: ISZERO
00001b52: ISZERO
00001b53: PUSH2 0x1b5f
00001b56: JUMPI
00001b57: PUSH1 0x00
00001b59: SWAP3
00001b5a: POP
00001b5b: PUSH2 0x1bdd
00001b5e: JUMP
00001b5f: JUMPDEST
00001b60: PUSH1 0x04
00001b62: DUP5
00001b63: ADD
00001b64: SLOAD
00001b65: PUSH1 0x01
00001b67: PUSH1 0xa0
00001b69: PUSH1 0x02
00001b6b: EXP
00001b6c: SUB
00001b6d: DUP7
00001b6e: AND
00001b6f: PUSH1 0x00
00001b71: SWAP1
00001b72: DUP2
00001b73: MSTORE
00001b74: PUSH1 0x0a
00001b76: DUP7
00001b77: ADD
00001b78: PUSH1 0x20
00001b7a: MSTORE
00001b7b: PUSH1 0x40
00001b7d: SWAP1
00001b7e: KECCAK256
00001b7f: SLOAD
00001b80: PUSH2 0x1b89
00001b83: SWAP2
00001b84: SWAP1
00001b85: PUSH2 0x1b1e
00001b88: JUMP
00001b89: JUMPDEST
00001b8a: SWAP2
00001b8b: POP
00001b8c: PUSH1 0x00
00001b8e: SWAP1
00001b8f: POP
00001b90: DUP2
00001b91: ISZERO
00001b92: PUSH2 0x1bd9
00001b95: JUMPI
00001b96: PUSH1 0x01
00001b98: PUSH1 0xa0
00001b9a: PUSH1 0x02
00001b9c: EXP
00001b9d: SUB
00001b9e: DUP6
00001b9f: AND
00001ba0: PUSH1 0x00
00001ba2: SWAP1
00001ba3: DUP2
00001ba4: MSTORE
00001ba5: PUSH1 0x0a
00001ba7: DUP6
00001ba8: ADD
00001ba9: PUSH1 0x20
00001bab: MSTORE
00001bac: PUSH1 0x40
00001bae: SWAP1
00001baf: KECCAK256
00001bb0: PUSH1 0x01
00001bb2: ADD
00001bb3: SLOAD
00001bb4: PUSH12 0x033b2e3c9fd0803ce8000000
00001bc1: SWAP1
00001bc2: PUSH2 0x1bcc
00001bc5: SWAP1
00001bc6: DUP5
00001bc7: SWAP1
00001bc8: PUSH2 0x24c7
00001bcb: JUMP
00001bcc: JUMPDEST
00001bcd: DUP2
00001bce: ISZERO
00001bcf: ISZERO
00001bd0: PUSH2 0x1bd5
00001bd3: JUMPI
00001bd4: INVALID
00001bd5: JUMPDEST
00001bd6: DIV
00001bd7: SWAP1
00001bd8: POP
00001bd9: JUMPDEST
00001bda: DUP1
00001bdb: SWAP3
00001bdc: POP
00001bdd: JUMPDEST
00001bde: POP
00001bdf: POP
00001be0: SWAP3
00001be1: SWAP2
00001be2: POP
00001be3: POP
00001be4: JUMP
00001be5: JUMPDEST
00001be6: PUSH1 0x09
00001be8: DUP2
00001be9: ADD
00001bea: SLOAD
00001beb: PUSH1 0x00
00001bed: SWAP1
00001bee: PUSH1 0xa0
00001bf0: PUSH1 0x02
00001bf2: EXP
00001bf3: SWAP1
00001bf4: DIV
00001bf5: PUSH1 0xff
00001bf7: AND
00001bf8: ISZERO
00001bf9: PUSH2 0x1c4c
00001bfc: JUMPI
00001bfd: PUSH1 0x40
00001bff: DUP1
00001c00: MLOAD
00001c01: PUSH1 0xe5
00001c03: PUSH1 0x02
00001c05: EXP
00001c06: PUSH3 0x461bcd
00001c0a: MUL
00001c0b: DUP2
00001c0c: MSTORE
00001c0d: PUSH1 0x20
00001c0f: PUSH1 0x04
00001c11: DUP3
00001c12: ADD
00001c13: MSTORE
00001c14: PUSH1 0x12
00001c16: PUSH1 0x24
00001c18: DUP3
00001c19: ADD
00001c1a: MSTORE
00001c1b: PUSH32 0x416c72656164792066696e616c697a6564210000000000000000000000000000
00001c3c: PUSH1 0x44
00001c3e: DUP3
00001c3f: ADD
00001c40: MSTORE
00001c41: SWAP1
00001c42: MLOAD
00001c43: SWAP1
00001c44: DUP2
00001c45: SWAP1
00001c46: SUB
00001c47: PUSH1 0x64
00001c49: ADD
00001c4a: SWAP1
00001c4b: REVERT
00001c4c: JUMPDEST
00001c4d: PUSH1 0x06
00001c4f: DUP3
00001c50: ADD
00001c51: SLOAD
00001c52: TIMESTAMP
00001c53: GT
00001c54: PUSH2 0x1ca7
00001c57: JUMPI
00001c58: PUSH1 0x40
00001c5a: DUP1
00001c5b: MLOAD
00001c5c: PUSH1 0xe5
00001c5e: PUSH1 0x02
00001c60: EXP
00001c61: PUSH3 0x461bcd
00001c65: MUL
00001c66: DUP2
00001c67: MSTORE
00001c68: PUSH1 0x20
00001c6a: PUSH1 0x04
00001c6c: DUP3
00001c6d: ADD
00001c6e: MSTORE
00001c6f: PUSH1 0x14
00001c71: PUSH1 0x24
00001c73: DUP3
00001c74: ADD
00001c75: MSTORE
00001c76: PUSH32 0x526f756e64207374696c6c2072756e6e696e6721000000000000000000000000
00001c97: PUSH1 0x44
00001c99: DUP3
00001c9a: ADD
00001c9b: MSTORE
00001c9c: SWAP1
00001c9d: MLOAD
00001c9e: SWAP1
00001c9f: DUP2
00001ca0: SWAP1
00001ca1: SUB
00001ca2: PUSH1 0x64
00001ca4: ADD
00001ca5: SWAP1
00001ca6: REVERT
00001ca7: JUMPDEST
00001ca8: PUSH1 0x10
00001caa: SLOAD
00001cab: PUSH1 0x01
00001cad: EQ
00001cae: ISZERO
00001caf: PUSH2 0x1d91
00001cb2: JUMPI
00001cb3: PUSH1 0x04
00001cb5: DUP1
00001cb6: SLOAD
00001cb7: PUSH1 0x40
00001cb9: DUP1
00001cba: MLOAD
00001cbb: PUSH32 0x7d64bcb400000000000000000000000000000000000000000000000000000000
00001cdc: DUP2
00001cdd: MSTORE
00001cde: SWAP1
00001cdf: MLOAD
00001ce0: PUSH1 0x01
00001ce2: PUSH1 0xa0
00001ce4: PUSH1 0x02
00001ce6: EXP
00001ce7: SUB
00001ce8: SWAP1
00001ce9: SWAP3
00001cea: AND
00001ceb: SWAP3
00001cec: PUSH4 0x7d64bcb4
00001cf1: SWAP3
00001cf2: DUP3
00001cf3: DUP3
00001cf4: ADD
00001cf5: SWAP3
00001cf6: PUSH1 0x20
00001cf8: SWAP3
00001cf9: SWAP1
00001cfa: DUP3
00001cfb: SWAP1
00001cfc: SUB
00001cfd: ADD
00001cfe: DUP2
00001cff: PUSH1 0x00
00001d01: DUP8
00001d02: DUP1
00001d03: EXTCODESIZE
00001d04: ISZERO
00001d05: DUP1
00001d06: ISZERO
00001d07: PUSH2 0x1d0f
00001d0a: JUMPI
00001d0b: PUSH1 0x00
00001d0d: DUP1
00001d0e: REVERT
00001d0f: JUMPDEST
00001d10: POP
00001d11: GAS
00001d12: CALL
00001d13: ISZERO
00001d14: DUP1
00001d15: ISZERO
00001d16: PUSH2 0x1d23
00001d19: JUMPI
00001d1a: RETURNDATASIZE
00001d1b: PUSH1 0x00
00001d1d: DUP1
00001d1e: RETURNDATACOPY
00001d1f: RETURNDATASIZE
00001d20: PUSH1 0x00
00001d22: REVERT
00001d23: JUMPDEST
00001d24: POP
00001d25: POP
00001d26: POP
00001d27: POP
00001d28: PUSH1 0x40
00001d2a: MLOAD
00001d2b: RETURNDATASIZE
00001d2c: PUSH1 0x20
00001d2e: DUP2
00001d2f: LT
00001d30: ISZERO
00001d31: PUSH2 0x1d39
00001d34: JUMPI
00001d35: PUSH1 0x00
00001d37: DUP1
00001d38: REVERT
00001d39: JUMPDEST
00001d3a: POP
00001d3b: MLOAD
00001d3c: ISZERO
00001d3d: ISZERO
00001d3e: PUSH2 0x1d91
00001d41: JUMPI
00001d42: PUSH1 0x40
00001d44: DUP1
00001d45: MLOAD
00001d46: PUSH1 0xe5
00001d48: PUSH1 0x02
00001d4a: EXP
00001d4b: PUSH3 0x461bcd
00001d4f: MUL
00001d50: DUP2
00001d51: MSTORE
00001d52: PUSH1 0x20
00001d54: PUSH1 0x04
00001d56: DUP3
00001d57: ADD
00001d58: MSTORE
00001d59: PUSH1 0x1f
00001d5b: PUSH1 0x24
00001d5d: DUP3
00001d5e: ADD
00001d5f: MSTORE
00001d60: PUSH32 0x436f756c646e27742066696e697368206d696e74696e6720746f6b656e732100
00001d81: PUSH1 0x44
00001d83: DUP3
00001d84: ADD
00001d85: MSTORE
00001d86: SWAP1
00001d87: MLOAD
00001d88: SWAP1
00001d89: DUP2
00001d8a: SWAP1
00001d8b: SUB
00001d8c: PUSH1 0x64
00001d8e: ADD
00001d8f: SWAP1
00001d90: REVERT
00001d91: JUMPDEST
00001d92: PUSH1 0x09
00001d94: DUP3
00001d95: ADD
00001d96: SLOAD
00001d97: PUSH1 0x01
00001d99: PUSH1 0xa0
00001d9b: PUSH1 0x02
00001d9d: EXP
00001d9e: SUB
00001d9f: AND
00001da0: PUSH1 0x00
00001da2: SWAP1
00001da3: DUP2
00001da4: MSTORE
00001da5: PUSH1 0x0e
00001da7: PUSH1 0x20
00001da9: MSTORE
00001daa: PUSH1 0x40
00001dac: SWAP1
00001dad: KECCAK256
00001dae: SLOAD
00001daf: PUSH1 0x01
00001db1: DUP4
00001db2: ADD
00001db3: SLOAD
00001db4: PUSH2 0x1dbd
00001db7: SWAP2
00001db8: SWAP1
00001db9: PUSH2 0x1fe1
00001dbc: JUMP
00001dbd: JUMPDEST
00001dbe: PUSH1 0x09
00001dc0: DUP4
00001dc1: ADD
00001dc2: SLOAD
00001dc3: PUSH1 0x01
00001dc5: PUSH1 0xa0
00001dc7: PUSH1 0x02
00001dc9: EXP
00001dca: SUB
00001dcb: AND
00001dcc: PUSH1 0x00
00001dce: SWAP1
00001dcf: DUP2
00001dd0: MSTORE
00001dd1: PUSH1 0x0e
00001dd3: PUSH1 0x20
00001dd5: MSTORE
00001dd6: PUSH1 0x40
00001dd8: SWAP1
00001dd9: KECCAK256
00001dda: SSTORE
00001ddb: PUSH1 0x0d
00001ddd: SLOAD
00001dde: PUSH1 0x01
00001de0: DUP4
00001de1: ADD
00001de2: SLOAD
00001de3: PUSH2 0x1dec
00001de6: SWAP2
00001de7: SWAP1
00001de8: PUSH2 0x1fe1
00001deb: JUMP
00001dec: JUMPDEST
00001ded: PUSH1 0x0d
00001def: SSTORE
00001df0: PUSH1 0x09
00001df2: DUP3
00001df3: ADD
00001df4: SLOAD
00001df5: PUSH1 0x01
00001df7: DUP4
00001df8: ADD
00001df9: SLOAD
00001dfa: PUSH1 0x40
00001dfc: DUP1
00001dfd: MLOAD
00001dfe: PUSH1 0x01
00001e00: PUSH1 0xa0
00001e02: PUSH1 0x02
00001e04: EXP
00001e05: SUB
00001e06: SWAP1
00001e07: SWAP4
00001e08: AND
00001e09: DUP4
00001e0a: MSTORE
00001e0b: PUSH1 0x20
00001e0d: DUP4
00001e0e: ADD
00001e0f: SWAP2
00001e10: SWAP1
00001e11: SWAP2
00001e12: MSTORE
00001e13: DUP1
00001e14: MLOAD
00001e15: PUSH32 0xbf737c87eff4ef74213cb228c9e25ca0c4519947f5fcc4a41b221ba93d76a425
00001e36: SWAP3
00001e37: DUP2
00001e38: SWAP1
00001e39: SUB
00001e3a: SWAP1
00001e3b: SWAP2
00001e3c: ADD
00001e3d: SWAP1
00001e3e: LOG1
00001e3f: PUSH1 0x01
00001e41: DUP3
00001e42: ADD
00001e43: SLOAD
00001e44: PUSH1 0x09
00001e46: DUP1
00001e47: SLOAD
00001e48: SWAP1
00001e49: SWAP2
00001e4a: ADD
00001e4b: SWAP1
00001e4c: SSTORE
00001e4d: PUSH1 0x0a
00001e4f: SLOAD
00001e50: DUP3
00001e51: SLOAD
00001e52: PUSH2 0x1e6c
00001e55: SWAP2
00001e56: SWAP1
00001e57: PUSH2 0x18e9
00001e5a: SWAP1
00001e5b: PUSH1 0x14
00001e5d: PUSH8 0x0de0b6b3a7640000
00001e66: JUMPDEST
00001e67: DIV
00001e68: PUSH2 0x1ae3
00001e6b: JUMP
00001e6c: JUMPDEST
00001e6d: PUSH1 0x0a
00001e6f: DUP2
00001e70: SWAP1
00001e71: SSTORE
00001e72: PUSH1 0x02
00001e74: DUP4
00001e75: ADD
00001e76: SLOAD
00001e77: PUSH2 0x1e80
00001e7a: SWAP2
00001e7b: SWAP1
00001e7c: PUSH2 0x1fe1
00001e7f: JUMP
00001e80: JUMPDEST
00001e81: PUSH1 0x0a
00001e83: SSTORE
00001e84: PUSH1 0x04
00001e86: SLOAD
00001e87: PUSH1 0xa0
00001e89: PUSH1 0x02
00001e8b: EXP
00001e8c: SWAP1
00001e8d: DIV
00001e8e: PUSH1 0xff
00001e90: AND
00001e91: ISZERO
00001e92: PUSH2 0x1eba
00001e95: JUMPI
00001e96: PUSH1 0x0a
00001e98: DUP1
00001e99: SLOAD
00001e9a: PUSH1 0x05
00001e9c: SLOAD
00001e9d: PUSH1 0x01
00001e9f: PUSH1 0xa0
00001ea1: PUSH1 0x02
00001ea3: EXP
00001ea4: SUB
00001ea5: AND
00001ea6: PUSH1 0x00
00001ea8: SWAP1
00001ea9: DUP2
00001eaa: MSTORE
00001eab: PUSH1 0x0e
00001ead: PUSH1 0x20
00001eaf: MSTORE
00001eb0: PUSH1 0x40
00001eb2: DUP2
00001eb3: KECCAK256
00001eb4: SWAP2
00001eb5: SWAP1
00001eb6: SWAP2
00001eb7: SSTORE
00001eb8: SWAP1
00001eb9: SSTORE
00001eba: JUMPDEST
00001ebb: PUSH1 0x10
00001ebd: SLOAD
00001ebe: PUSH1 0x01
00001ec0: EQ
00001ec1: ISZERO
00001ec2: PUSH2 0x1edf
00001ec5: JUMPI
00001ec6: DUP2
00001ec7: SLOAD
00001ec8: PUSH2 0x1ed8
00001ecb: SWAP1
00001ecc: PUSH7 0x470de4df820000
00001ed4: PUSH2 0x1ae3
00001ed7: JUMP
00001ed8: JUMPDEST
00001ed9: SWAP1
00001eda: POP
00001edb: PUSH2 0x1ef6
00001ede: JUMP
00001edf: JUMPDEST
00001ee0: DUP2
00001ee1: SLOAD
00001ee2: PUSH2 0x1ef3
00001ee5: SWAP1
00001ee6: PUSH8 0x013fbe85edc90000
00001eef: PUSH2 0x1ae3
00001ef2: JUMP
00001ef3: JUMPDEST
00001ef4: SWAP1
00001ef5: POP
00001ef6: JUMPDEST
00001ef7: PUSH1 0x04
00001ef9: DUP1
00001efa: SLOAD
00001efb: PUSH1 0x40
00001efd: DUP1
00001efe: MLOAD
00001eff: PUSH32 0x36ef1abb00000000000000000000000000000000000000000000000000000000
00001f20: DUP2
00001f21: MSTORE
00001f22: SWAP1
00001f23: MLOAD
00001f24: PUSH1 0x01
00001f26: PUSH1 0xa0
00001f28: PUSH1 0x02
00001f2a: EXP
00001f2b: SUB
00001f2c: SWAP1
00001f2d: SWAP3
00001f2e: AND
00001f2f: SWAP3
00001f30: PUSH4 0x36ef1abb
00001f35: SWAP3
00001f36: DUP6
00001f37: SWAP3
00001f38: DUP1
00001f39: DUP4
00001f3a: ADD
00001f3b: SWAP3
00001f3c: PUSH1 0x00
00001f3e: SWAP3
00001f3f: SWAP2
00001f40: DUP3
00001f41: SWAP1
00001f42: SUB
00001f43: ADD
00001f44: DUP2
00001f45: DUP6
00001f46: DUP9
00001f47: DUP1
00001f48: EXTCODESIZE
00001f49: ISZERO
00001f4a: DUP1
00001f4b: ISZERO
00001f4c: PUSH2 0x1f54
00001f4f: JUMPI
00001f50: PUSH1 0x00
00001f52: DUP1
00001f53: REVERT
00001f54: JUMPDEST
00001f55: POP
00001f56: GAS
00001f57: CALL
00001f58: ISZERO
00001f59: DUP1
00001f5a: ISZERO
00001f5b: PUSH2 0x1f68
00001f5e: JUMPI
00001f5f: RETURNDATASIZE
00001f60: PUSH1 0x00
00001f62: DUP1
00001f63: RETURNDATACOPY
00001f64: RETURNDATASIZE
00001f65: PUSH1 0x00
00001f67: REVERT
00001f68: JUMPDEST
00001f69: POP
00001f6a: POP
00001f6b: PUSH1 0x08
00001f6d: DUP1
00001f6e: SLOAD
00001f6f: DUP6
00001f70: ADD
00001f71: SWAP1
00001f72: SSTORE
00001f73: POP
00001f74: POP
00001f75: POP
00001f76: PUSH1 0x03
00001f78: DUP3
00001f79: ADD
00001f7a: SLOAD
00001f7b: PUSH1 0x06
00001f7d: DUP1
00001f7e: SLOAD
00001f7f: SWAP1
00001f80: SWAP2
00001f81: ADD
00001f82: SWAP1
00001f83: SSTORE
00001f84: DUP2
00001f85: SLOAD
00001f86: PUSH2 0x1f97
00001f89: SWAP1
00001f8a: PUSH8 0x0905438e60010000
00001f93: PUSH2 0x1ae3
00001f96: JUMP
00001f97: JUMPDEST
00001f98: PUSH1 0x07
00001f9a: DUP1
00001f9b: SLOAD
00001f9c: SWAP1
00001f9d: SWAP2
00001f9e: ADD
00001f9f: SWAP1
00001fa0: SSTORE
00001fa1: POP
00001fa2: PUSH1 0x09
00001fa4: ADD
00001fa5: DUP1
00001fa6: SLOAD
00001fa7: PUSH21 0xff0000000000000000000000000000000000000000
00001fbd: NOT
00001fbe: AND
00001fbf: PUSH1 0xa0
00001fc1: PUSH1 0x02
00001fc3: EXP
00001fc4: OR
00001fc5: SWAP1
00001fc6: SSTORE
00001fc7: JUMP
00001fc8: JUMPDEST
00001fc9: PUSH1 0x00
00001fcb: DUP2
00001fcc: DUP4
00001fcd: GT
00001fce: ISZERO
00001fcf: PUSH2 0x1fd8
00001fd2: JUMPI
00001fd3: DUP2
00001fd4: PUSH2 0x1fda
00001fd7: JUMP
00001fd8: JUMPDEST
00001fd9: DUP3
00001fda: JUMPDEST
00001fdb: SWAP4
00001fdc: SWAP3
00001fdd: POP
00001fde: POP
00001fdf: POP
00001fe0: JUMP
00001fe1: JUMPDEST
00001fe2: DUP1
00001fe3: DUP3
00001fe4: ADD
00001fe5: DUP3
00001fe6: DUP2
00001fe7: LT
00001fe8: ISZERO
00001fe9: PUSH2 0x1a3d
00001fec: JUMPI
00001fed: PUSH1 0x00
00001fef: DUP1
00001ff0: REVERT
00001ff1: JUMPDEST
00001ff2: PUSH1 0x00
00001ff4: DUP1
00001ff5: CALLER
00001ff6: ORIGIN
00001ff7: EQ
00001ff8: PUSH2 0x2071
00001ffb: JUMPI
00001ffc: PUSH1 0x40
00001ffe: DUP1
00001fff: MLOAD
00002000: PUSH1 0xe5
00002002: PUSH1 0x02
00002004: EXP
00002005: PUSH3 0x461bcd
00002009: MUL
0000200a: DUP2
0000200b: MSTORE
0000200c: PUSH1 0x20
0000200e: PUSH1 0x04
00002010: DUP3
00002011: ADD
00002012: MSTORE
00002013: PUSH1 0x39
00002015: PUSH1 0x24
00002017: DUP3
00002018: ADD
00002019: MSTORE
0000201a: PUSH32 0x4f4e4c5920484f4f4d414e5320286f722073637269707473207468617420646f
0000203b: PUSH1 0x44
0000203d: DUP3
0000203e: ADD
0000203f: MSTORE
00002040: PUSH32 0x6e27742075736520736d61727420636f6e747261637473292100000000000000
00002061: PUSH1 0x64
00002063: DUP3
00002064: ADD
00002065: MSTORE
00002066: SWAP1
00002067: MLOAD
00002068: SWAP1
00002069: DUP2
0000206a: SWAP1
0000206b: SUB
0000206c: PUSH1 0x84
0000206e: ADD
0000206f: SWAP1
00002070: REVERT
00002071: JUMPDEST
00002072: PUSH8 0x016345785d8a0000
0000207b: DUP4
0000207c: GT
0000207d: ISZERO
0000207e: PUSH2 0x21a6
00002081: JUMPI
00002082: PUSH1 0x40
00002084: DUP1
00002085: MLOAD
00002086: PUSH1 0x00
00002088: NOT
00002089: NUMBER
0000208a: ADD
0000208b: BLOCKHASH
0000208c: PUSH1 0x20
0000208e: DUP1
0000208f: DUP4
00002090: ADD
00002091: SWAP2
00002092: SWAP1
00002093: SWAP2
00002094: MSTORE
00002095: TIMESTAMP
00002096: DUP3
00002097: DUP5
00002098: ADD
00002099: MSTORE
0000209a: DUP3
0000209b: MLOAD
0000209c: DUP1
0000209d: DUP4
0000209e: SUB
0000209f: DUP5
000020a0: ADD
000020a1: DUP2
000020a2: MSTORE
000020a3: PUSH1 0x60
000020a5: SWAP1
000020a6: SWAP3
000020a7: ADD
000020a8: SWAP3
000020a9: DUP4
000020aa: SWAP1
000020ab: MSTORE
000020ac: DUP2
000020ad: MLOAD
000020ae: SWAP2
000020af: SWAP3
000020b0: SWAP2
000020b1: DUP3
000020b2: SWAP2
000020b3: DUP5
000020b4: ADD
000020b5: SWAP1
000020b6: DUP1
000020b7: DUP4
000020b8: DUP4
000020b9: JUMPDEST
000020ba: PUSH1 0x20
000020bc: DUP4
000020bd: LT
000020be: PUSH2 0x20d8
000020c1: JUMPI
000020c2: DUP1
000020c3: MLOAD
000020c4: DUP3
000020c5: MSTORE
000020c6: PUSH1 0x1f
000020c8: NOT
000020c9: SWAP1
000020ca: SWAP3
000020cb: ADD
000020cc: SWAP2
000020cd: PUSH1 0x20
000020cf: SWAP2
000020d0: DUP3
000020d1: ADD
000020d2: SWAP2
000020d3: ADD
000020d4: PUSH2 0x20b9
000020d7: JUMP
000020d8: JUMPDEST
000020d9: MLOAD
000020da: DUP2
000020db: MLOAD
000020dc: PUSH1 0x20
000020de: SWAP4
000020df: SWAP1
000020e0: SWAP4
000020e1: SUB
000020e2: PUSH2 0x0100
000020e5: EXP
000020e6: PUSH1 0x00
000020e8: NOT
000020e9: ADD
000020ea: DUP1
000020eb: NOT
000020ec: SWAP1
000020ed: SWAP2
000020ee: AND
000020ef: SWAP3
000020f0: AND
000020f1: SWAP2
000020f2: SWAP1
000020f3: SWAP2
000020f4: OR
000020f5: SWAP1
000020f6: MSTORE
000020f7: PUSH1 0x40
000020f9: MLOAD
000020fa: SWAP3
000020fb: ADD
000020fc: DUP3
000020fd: SWAP1
000020fe: SUB
000020ff: SWAP1
00002100: SWAP2
00002101: KECCAK256
00002102: SWAP5
00002103: POP
00002104: PUSH1 0xc8
00002106: SWAP3
00002107: POP
00002108: DUP5
00002109: SWAP2
0000210a: POP
0000210b: PUSH2 0x2111
0000210e: SWAP1
0000210f: POP
00002110: JUMP
00002111: JUMPDEST
00002112: MOD
00002113: ISZERO
00002114: ISZERO
00002115: PUSH2 0x21a6
00002118: JUMPI
00002119: POP
0000211a: PUSH1 0x02
0000211c: DUP4
0000211d: DUP2
0000211e: ADD
0000211f: DUP1
00002120: SLOAD
00002121: SWAP2
00002122: SWAP1
00002123: SWAP2
00002124: DIV
00002125: SWAP1
00002126: DUP2
00002127: SWAP1
00002128: SSTORE
00002129: CALLER
0000212a: PUSH1 0x00
0000212c: SWAP1
0000212d: DUP2
0000212e: MSTORE
0000212f: PUSH1 0x0e
00002131: PUSH1 0x20
00002133: MSTORE
00002134: PUSH1 0x40
00002136: SWAP1
00002137: KECCAK256
00002138: SLOAD
00002139: PUSH2 0x2142
0000213c: SWAP1
0000213d: DUP3
0000213e: PUSH2 0x1fe1
00002141: JUMP
00002142: JUMPDEST
00002143: CALLER
00002144: PUSH1 0x00
00002146: SWAP1
00002147: DUP2
00002148: MSTORE
00002149: PUSH1 0x0e
0000214b: PUSH1 0x20
0000214d: MSTORE
0000214e: PUSH1 0x40
00002150: SWAP1
00002151: KECCAK256
00002152: SSTORE
00002153: PUSH1 0x0d
00002155: SLOAD
00002156: PUSH2 0x215f
00002159: SWAP1
0000215a: DUP3
0000215b: PUSH2 0x1fe1
0000215e: JUMP
0000215f: JUMPDEST
00002160: PUSH1 0x0d
00002162: SSTORE
00002163: PUSH1 0x09
00002165: DUP1
00002166: SLOAD
00002167: DUP3
00002168: ADD
00002169: SWAP1
0000216a: SSTORE
0000216b: PUSH1 0x40
0000216d: DUP1
0000216e: MLOAD
0000216f: CALLER
00002170: DUP2
00002171: MSTORE
00002172: PUSH1 0x20
00002174: DUP2
00002175: ADD
00002176: DUP4
00002177: SWAP1
00002178: MSTORE
00002179: DUP2
0000217a: MLOAD
0000217b: PUSH32 0xf5d01889f04f77ed9ff391da32496e63ce53f4b0d0c246651254895d04bcd99a
0000219c: SWAP3
0000219d: SWAP2
0000219e: DUP2
0000219f: SWAP1
000021a0: SUB
000021a1: SWAP1
000021a2: SWAP2
000021a3: ADD
000021a4: SWAP1
000021a5: LOG1
000021a6: JUMPDEST
000021a7: POP
000021a8: POP
000021a9: POP
000021aa: POP
000021ab: JUMP
000021ac: JUMPDEST
000021ad: PUSH1 0x00
000021af: DUP1
000021b0: PUSH1 0x00
000021b2: DUP1
000021b3: PUSH1 0x00
000021b5: DUP1
000021b6: PUSH1 0x10
000021b8: DUP1
000021b9: SLOAD
000021ba: SWAP1
000021bb: POP
000021bc: PUSH1 0x01
000021be: EQ
000021bf: ISZERO
000021c0: PUSH2 0x21cf
000021c3: JUMPI
000021c4: PUSH8 0x01cdda4faccd0000
000021cd: SWAP5
000021ce: POP
000021cf: JUMPDEST
000021d0: PUSH1 0x01
000021d2: PUSH1 0xa0
000021d4: PUSH1 0x02
000021d6: EXP
000021d7: SUB
000021d8: DUP8
000021d9: AND
000021da: ISZERO
000021db: PUSH2 0x2286
000021de: JUMPI
000021df: PUSH2 0x21f3
000021e2: DUP9
000021e3: PUSH8 0x08e1bc9bf0400000
000021ec: DUP8
000021ed: SWAP1
000021ee: SUB
000021ef: PUSH2 0x1ae3
000021f2: JUMP
000021f3: JUMPDEST
000021f4: SWAP6
000021f5: POP
000021f6: PUSH2 0x2206
000021f9: DUP9
000021fa: PUSH7 0x2386f26fc10000
00002202: PUSH2 0x1ae3
00002205: JUMP
00002206: JUMPDEST
00002207: PUSH1 0x01
00002209: PUSH1 0xa0
0000220b: PUSH1 0x02
0000220d: EXP
0000220e: SUB
0000220f: DUP9
00002210: AND
00002211: PUSH1 0x00
00002213: SWAP1
00002214: DUP2
00002215: MSTORE
00002216: PUSH1 0x0e
00002218: PUSH1 0x20
0000221a: MSTORE
0000221b: PUSH1 0x40
0000221d: SWAP1
0000221e: KECCAK256
0000221f: SLOAD
00002220: SWAP1
00002221: SWAP5
00002222: POP
00002223: PUSH2 0x222c
00002226: SWAP1
00002227: DUP6
00002228: PUSH2 0x1fe1
0000222b: JUMP
0000222c: JUMPDEST
0000222d: PUSH1 0x01
0000222f: PUSH1 0xa0
00002231: PUSH1 0x02
00002233: EXP
00002234: SUB
00002235: DUP9
00002236: AND
00002237: PUSH1 0x00
00002239: SWAP1
0000223a: DUP2
0000223b: MSTORE
0000223c: PUSH1 0x0e
0000223e: PUSH1 0x20
00002240: MSTORE
00002241: PUSH1 0x40
00002243: SWAP1
00002244: KECCAK256
00002245: SWAP1
00002246: DUP2
00002247: SSTORE
00002248: PUSH1 0x01
0000224a: ADD
0000224b: SLOAD
0000224c: PUSH2 0x2255
0000224f: SWAP1
00002250: DUP6
00002251: PUSH2 0x1fe1
00002254: JUMP
00002255: JUMPDEST
00002256: PUSH1 0x01
00002258: PUSH1 0xa0
0000225a: PUSH1 0x02
0000225c: EXP
0000225d: SUB
0000225e: DUP9
0000225f: AND
00002260: PUSH1 0x00
00002262: SWAP1
00002263: DUP2
00002264: MSTORE
00002265: PUSH1 0x0e
00002267: PUSH1 0x20
00002269: MSTORE
0000226a: PUSH1 0x40
0000226c: SWAP1
0000226d: KECCAK256
0000226e: PUSH1 0x01
00002270: ADD
00002271: SSTORE
00002272: PUSH1 0x0d
00002274: SLOAD
00002275: PUSH2 0x227e
00002278: SWAP1
00002279: DUP6
0000227a: PUSH2 0x1fe1
0000227d: JUMP
0000227e: JUMPDEST
0000227f: PUSH1 0x0d
00002281: SSTORE
00002282: PUSH2 0x229d
00002285: JUMP
00002286: JUMPDEST
00002287: PUSH2 0x229a
0000228a: DUP9
0000228b: DUP7
0000228c: PUSH8 0x0905438e60010000
00002295: SUB
00002296: PUSH2 0x1ae3
00002299: JUMP
0000229a: JUMPDEST
0000229b: SWAP6
0000229c: POP
0000229d: JUMPDEST
0000229e: PUSH2 0x22b1
000022a1: DUP9
000022a2: PUSH1 0x64
000022a4: PUSH8 0x0de0b6b3a7640000
000022ad: PUSH2 0x1e66
000022b0: JUMP
000022b1: JUMPDEST
000022b2: SWAP3
000022b3: POP
000022b4: PUSH2 0x22c5
000022b7: DUP9
000022b8: PUSH8 0x0214e8348c4f0000
000022c1: PUSH2 0x1ae3
000022c4: JUMP
000022c5: JUMPDEST
000022c6: PUSH1 0x10
000022c8: SLOAD
000022c9: SWAP1
000022ca: SWAP3
000022cb: POP
000022cc: PUSH1 0x01
000022ce: EQ
000022cf: ISZERO
000022d0: PUSH2 0x22e7
000022d3: JUMPI
000022d4: POP
000022d5: PUSH1 0x0c
000022d7: DUP1
000022d8: SLOAD
000022d9: PUSH1 0x04
000022db: DUP10
000022dc: DIV
000022dd: SWAP1
000022de: DUP2
000022df: ADD
000022e0: SWAP1
000022e1: SWAP2
000022e2: SSTORE
000022e3: PUSH2 0x22ed
000022e6: JUMP
000022e7: JUMPDEST
000022e8: POP
000022e9: PUSH1 0x14
000022eb: DUP8
000022ec: DIV
000022ed: JUMPDEST
000022ee: PUSH1 0x03
000022f0: DUP10
000022f1: ADD
000022f2: SLOAD
000022f3: ISZERO
000022f4: ISZERO
000022f5: PUSH2 0x2310
000022f8: JUMPI
000022f9: PUSH2 0x2306
000022fc: DUP10
000022fd: PUSH1 0x01
000022ff: ADD
00002300: SLOAD
00002301: DUP8
00002302: PUSH2 0x1fe1
00002305: JUMP
00002306: JUMPDEST
00002307: PUSH1 0x01
00002309: DUP11
0000230a: ADD
0000230b: SSTORE
0000230c: PUSH2 0x231a
0000230f: JUMP
00002310: JUMPDEST
00002311: PUSH2 0x231a
00002314: DUP10
00002315: DUP8
00002316: PUSH2 0x24ef
00002319: JUMP
0000231a: JUMPDEST
0000231b: PUSH2 0x2328
0000231e: DUP10
0000231f: PUSH1 0x02
00002321: ADD
00002322: SLOAD
00002323: DUP5
00002324: PUSH2 0x1fe1
00002327: JUMP
00002328: JUMPDEST
00002329: PUSH1 0x02
0000232b: DUP11
0000232c: ADD
0000232d: SSTORE
0000232e: PUSH1 0x01
00002330: DUP10
00002331: ADD
00002332: SLOAD
00002333: PUSH2 0x233c
00002336: SWAP1
00002337: DUP4
00002338: PUSH2 0x1fe1
0000233b: JUMP
0000233c: JUMPDEST
0000233d: PUSH1 0x01
0000233f: DUP11
00002340: ADD
00002341: SSTORE
00002342: PUSH1 0x0b
00002344: SLOAD
00002345: PUSH2 0x234e
00002348: SWAP1
00002349: DUP3
0000234a: PUSH2 0x1fe1
0000234d: JUMP
0000234e: JUMPDEST
0000234f: PUSH1 0x0b
00002351: SSTORE
00002352: POP
00002353: POP
00002354: POP
00002355: POP
00002356: POP
00002357: POP
00002358: POP
00002359: POP
0000235a: POP
0000235b: JUMP
0000235c: JUMPDEST
0000235d: PUSH1 0x01
0000235f: PUSH1 0xa0
00002361: PUSH1 0x02
00002363: EXP
00002364: SUB
00002365: DUP3
00002366: AND
00002367: PUSH1 0x00
00002369: SWAP1
0000236a: DUP2
0000236b: MSTORE
0000236c: PUSH1 0x0a
0000236e: DUP5
0000236f: ADD
00002370: PUSH1 0x20
00002372: MSTORE
00002373: PUSH1 0x40
00002375: DUP2
00002376: KECCAK256
00002377: SLOAD
00002378: DUP2
00002379: SWAP1
0000237a: ISZERO
0000237b: ISZERO
0000237c: PUSH2 0x23a0
0000237f: JUMPI
00002380: PUSH1 0x04
00002382: DUP6
00002383: ADD
00002384: SLOAD
00002385: PUSH1 0x01
00002387: PUSH1 0xa0
00002389: PUSH1 0x02
0000238b: EXP
0000238c: SUB
0000238d: DUP6
0000238e: AND
0000238f: PUSH1 0x00
00002391: SWAP1
00002392: DUP2
00002393: MSTORE
00002394: PUSH1 0x0a
00002396: DUP8
00002397: ADD
00002398: PUSH1 0x20
0000239a: MSTORE
0000239b: PUSH1 0x40
0000239d: SWAP1
0000239e: KECCAK256
0000239f: SSTORE
000023a0: JUMPDEST
000023a1: PUSH2 0x23ae
000023a4: DUP4
000023a5: DUP7
000023a6: PUSH1 0x07
000023a8: ADD
000023a9: SLOAD
000023aa: PUSH2 0x2576
000023ad: JUMP
000023ae: JUMPDEST
000023af: SWAP1
000023b0: POP
000023b1: PUSH9 0x056bc75e2d63100000
000023bb: DUP4
000023bc: LT
000023bd: PUSH2 0x23d2
000023c0: JUMPI
000023c1: PUSH2 0x23cb
000023c4: DUP2
000023c5: PUSH1 0x02
000023c7: PUSH2 0x24c7
000023ca: JUMP
000023cb: JUMPDEST
000023cc: SWAP1
000023cd: POP
000023ce: PUSH2 0x2426
000023d1: JUMP
000023d2: JUMPDEST
000023d3: PUSH8 0x8ac7230489e80000
000023dc: DUP4
000023dd: LT
000023de: PUSH2 0x23ed
000023e1: JUMPI
000023e2: PUSH2 0x23cb
000023e5: DUP2
000023e6: PUSH1 0x02
000023e8: DUP2
000023e9: PUSH2 0x1b07
000023ec: JUMP
000023ed: JUMPDEST
000023ee: PUSH8 0x0de0b6b3a7640000
000023f7: DUP4
000023f8: LT
000023f9: PUSH2 0x2408
000023fc: JUMPI
000023fd: PUSH2 0x23cb
00002400: DUP2
00002401: PUSH1 0x03
00002403: DUP2
00002404: PUSH2 0x1b07
00002407: JUMP
00002408: JUMPDEST
00002409: PUSH8 0x016345785d8a0000
00002412: DUP4
00002413: LT
00002414: PUSH2 0x2426
00002417: JUMPI
00002418: PUSH2 0x2423
0000241b: DUP2
0000241c: PUSH1 0x0a
0000241e: DUP2
0000241f: PUSH2 0x1b07
00002422: JUMP
00002423: JUMPDEST
00002424: SWAP1
00002425: POP
00002426: JUMPDEST
00002427: PUSH1 0x01
00002429: PUSH1 0xa0
0000242b: PUSH1 0x02
0000242d: EXP
0000242e: SUB
0000242f: DUP5
00002430: AND
00002431: PUSH1 0x00
00002433: SWAP1
00002434: DUP2
00002435: MSTORE
00002436: PUSH1 0x0a
00002438: DUP7
00002439: ADD
0000243a: PUSH1 0x20
0000243c: MSTORE
0000243d: PUSH1 0x40
0000243f: SWAP1
00002440: KECCAK256
00002441: PUSH1 0x01
00002443: ADD
00002444: SLOAD
00002445: PUSH2 0x244e
00002448: SWAP1
00002449: DUP3
0000244a: PUSH2 0x1fe1
0000244d: JUMP
0000244e: JUMPDEST
0000244f: PUSH1 0x01
00002451: PUSH1 0xa0
00002453: PUSH1 0x02
00002455: EXP
00002456: SUB
00002457: DUP6
00002458: AND
00002459: PUSH1 0x00
0000245b: SWAP1
0000245c: DUP2
0000245d: MSTORE
0000245e: PUSH1 0x0a
00002460: DUP8
00002461: ADD
00002462: PUSH1 0x20
00002464: MSTORE
00002465: PUSH1 0x40
00002467: SWAP1
00002468: KECCAK256
00002469: PUSH1 0x01
0000246b: ADD
0000246c: SSTORE
0000246d: PUSH1 0x03
0000246f: DUP6
00002470: ADD
00002471: SLOAD
00002472: PUSH2 0x247b
00002475: SWAP1
00002476: DUP3
00002477: PUSH2 0x1fe1
0000247a: JUMP
0000247b: JUMPDEST
0000247c: PUSH1 0x03
0000247e: DUP7
0000247f: ADD
00002480: SSTORE
00002481: PUSH1 0x40
00002483: DUP1
00002484: MLOAD
00002485: DUP3
00002486: DUP2
00002487: MSTORE
00002488: SWAP1
00002489: MLOAD
0000248a: PUSH1 0x01
0000248c: PUSH1 0xa0
0000248e: PUSH1 0x02
00002490: EXP
00002491: SUB
00002492: DUP7
00002493: AND
00002494: SWAP2
00002495: PUSH32 0x3abf6d97fde3541bb582f72fa6fb75093b8bb699577fbc722ac25de9f6fbc4ed
000024b6: SWAP2
000024b7: SWAP1
000024b8: DUP2
000024b9: SWAP1
000024ba: SUB
000024bb: PUSH1 0x20
000024bd: ADD
000024be: SWAP1
000024bf: LOG2
000024c0: SWAP5
000024c1: SWAP4
000024c2: POP
000024c3: POP
000024c4: POP
000024c5: POP
000024c6: JUMP
000024c7: JUMPDEST
000024c8: PUSH1 0x00
000024ca: DUP2
000024cb: ISZERO
000024cc: DUP1
000024cd: PUSH2 0x24e4
000024d0: JUMPI
000024d1: POP
000024d2: POP
000024d3: DUP1
000024d4: DUP3
000024d5: MUL
000024d6: DUP3
000024d7: DUP3
000024d8: DUP3
000024d9: DUP2
000024da: ISZERO
000024db: ISZERO
000024dc: PUSH2 0x24e1
000024df: JUMPI
000024e0: INVALID
000024e1: JUMPDEST
000024e2: DIV
000024e3: EQ
000024e4: JUMPDEST
000024e5: ISZERO
000024e6: ISZERO
000024e7: PUSH2 0x1a3d
000024ea: JUMPI
000024eb: PUSH1 0x00
000024ed: DUP1
000024ee: REVERT
000024ef: JUMPDEST
000024f0: PUSH2 0x24fb
000024f3: PUSH1 0x0d
000024f5: SLOAD
000024f6: DUP3
000024f7: PUSH2 0x1fe1
000024fa: JUMP
000024fb: JUMPDEST
000024fc: PUSH1 0x0d
000024fe: SSTORE
000024ff: PUSH1 0x03
00002501: DUP3
00002502: ADD
00002503: SLOAD
00002504: ISZERO
00002505: ISZERO
00002506: PUSH2 0x2541
00002509: JUMPI
0000250a: PUSH2 0x2517
0000250d: DUP2
0000250e: DUP4
0000250f: PUSH1 0x07
00002511: ADD
00002512: SLOAD
00002513: PUSH2 0x2576
00002516: JUMP
00002517: JUMPDEST
00002518: PUSH2 0x252d
0000251b: DUP3
0000251c: PUSH12 0x033b2e3c9fd0803ce8000000
00002529: PUSH2 0x24c7
0000252c: JUMP
0000252d: JUMPDEST
0000252e: DUP2
0000252f: ISZERO
00002530: ISZERO
00002531: PUSH2 0x2536
00002534: JUMPI
00002535: INVALID
00002536: JUMPDEST
00002537: DIV
00002538: PUSH1 0x04
0000253a: DUP4
0000253b: ADD
0000253c: SSTORE
0000253d: PUSH2 0x08fa
00002540: JUMP
00002541: JUMPDEST
00002542: PUSH2 0x256d
00002545: DUP3
00002546: PUSH1 0x04
00002548: ADD
00002549: SLOAD
0000254a: DUP4
0000254b: PUSH1 0x03
0000254d: ADD
0000254e: SLOAD
0000254f: PUSH2 0x2564
00002552: DUP5
00002553: PUSH12 0x033b2e3c9fd0803ce8000000
00002560: PUSH2 0x24c7
00002563: JUMP
00002564: JUMPDEST
00002565: DUP2
00002566: ISZERO
00002567: ISZERO
00002568: PUSH2 0x1b07
0000256b: JUMPI
0000256c: INVALID
0000256d: JUMPDEST
0000256e: PUSH1 0x04
00002570: DUP4
00002571: ADD
00002572: SSTORE
00002573: POP
00002574: POP
00002575: JUMP
00002576: JUMPDEST
00002577: PUSH1 0x00
00002579: DUP2
0000257a: PUSH2 0x1b0d
0000257d: PUSH2 0x258e
00002580: DUP6
00002581: PUSH8 0x0de0b6b3a7640000
0000258a: PUSH2 0x24c7
0000258d: JUMP
0000258e: JUMPDEST
0000258f: PUSH1 0x02
00002591: DUP6
00002592: PUSH2 0x1b07
00002595: JUMP
00002596: JUMPDEST
00002597: DUP3
00002598: DUP1
00002599: SLOAD
0000259a: PUSH1 0x01
0000259c: DUP2
0000259d: PUSH1 0x01
0000259f: AND
000025a0: ISZERO
000025a1: PUSH2 0x0100
000025a4: MUL
000025a5: SUB
000025a6: AND
000025a7: PUSH1 0x02
000025a9: SWAP1
000025aa: DIV
000025ab: SWAP1
000025ac: PUSH1 0x00
000025ae: MSTORE
000025af: PUSH1 0x20
000025b1: PUSH1 0x00
000025b3: KECCAK256
000025b4: SWAP1
000025b5: PUSH1 0x1f
000025b7: ADD
000025b8: PUSH1 0x20
000025ba: SWAP1
000025bb: DIV
000025bc: DUP2
000025bd: ADD
000025be: SWAP3
000025bf: DUP3
000025c0: PUSH1 0x1f
000025c2: LT
000025c3: PUSH2 0x25d7
000025c6: JUMPI
000025c7: DUP1
000025c8: MLOAD
000025c9: PUSH1 0xff
000025cb: NOT
000025cc: AND
000025cd: DUP4
000025ce: DUP1
000025cf: ADD
000025d0: OR
000025d1: DUP6
000025d2: SSTORE
000025d3: PUSH2 0x2604
000025d6: JUMP
000025d7: JUMPDEST
000025d8: DUP3
000025d9: DUP1
000025da: ADD
000025db: PUSH1 0x01
000025dd: ADD
000025de: DUP6
000025df: SSTORE
000025e0: DUP3
000025e1: ISZERO
000025e2: PUSH2 0x2604
000025e5: JUMPI
000025e6: SWAP2
000025e7: DUP3
000025e8: ADD
000025e9: JUMPDEST
000025ea: DUP3
000025eb: DUP2
000025ec: GT
000025ed: ISZERO
000025ee: PUSH2 0x2604
000025f1: JUMPI
000025f2: DUP3
000025f3: MLOAD
000025f4: DUP3
000025f5: SSTORE
000025f6: SWAP2
000025f7: PUSH1 0x20
000025f9: ADD
000025fa: SWAP2
000025fb: SWAP1
000025fc: PUSH1 0x01
000025fe: ADD
000025ff: SWAP1
00002600: PUSH2 0x25e9
00002603: JUMP
00002604: JUMPDEST
00002605: POP
00002606: PUSH2 0x2610
00002609: SWAP3
0000260a: SWAP2
0000260b: POP
0000260c: PUSH2 0x2640
0000260f: JUMP
00002610: JUMPDEST
00002611: POP
00002612: SWAP1
00002613: JUMP
00002614: JUMPDEST
00002615: DUP2
00002616: SLOAD
00002617: DUP2
00002618: DUP4
00002619: SSTORE
0000261a: DUP2
0000261b: DUP2
0000261c: GT
0000261d: ISZERO
0000261e: PUSH2 0x1682
00002621: JUMPI
00002622: PUSH1 0x0b
00002624: MUL
00002625: DUP2
00002626: PUSH1 0x0b
00002628: MUL
00002629: DUP4
0000262a: PUSH1 0x00
0000262c: MSTORE
0000262d: PUSH1 0x20
0000262f: PUSH1 0x00
00002631: KECCAK256
00002632: SWAP2
00002633: DUP3
00002634: ADD
00002635: SWAP2
00002636: ADD
00002637: PUSH2 0x1682
0000263a: SWAP2
0000263b: SWAP1
0000263c: PUSH2 0x265d
0000263f: JUMP
00002640: JUMPDEST
00002641: PUSH2 0x265a
00002644: SWAP2
00002645: SWAP1
00002646: JUMPDEST
00002647: DUP1
00002648: DUP3
00002649: GT
0000264a: ISZERO
0000264b: PUSH2 0x2610
0000264e: JUMPI
0000264f: PUSH1 0x00
00002651: DUP2
00002652: SSTORE
00002653: PUSH1 0x01
00002655: ADD
00002656: PUSH2 0x2646
00002659: JUMP
0000265a: JUMPDEST
0000265b: SWAP1
0000265c: JUMP
0000265d: JUMPDEST
0000265e: PUSH2 0x265a
00002661: SWAP2
00002662: SWAP1
00002663: JUMPDEST
00002664: DUP1
00002665: DUP3
00002666: GT
00002667: ISZERO
00002668: PUSH2 0x2610
0000266b: JUMPI
0000266c: PUSH1 0x00
0000266e: DUP1
0000266f: DUP3
00002670: SSTORE
00002671: PUSH1 0x01
00002673: DUP3
00002674: ADD
00002675: DUP2
00002676: SWAP1
00002677: SSTORE
00002678: PUSH1 0x02
0000267a: DUP3
0000267b: ADD
0000267c: DUP2
0000267d: SWAP1
0000267e: SSTORE
0000267f: PUSH1 0x03
00002681: DUP3
00002682: ADD
00002683: DUP2
00002684: SWAP1
00002685: SSTORE
00002686: PUSH1 0x04
00002688: DUP3
00002689: ADD
0000268a: DUP2
0000268b: SWAP1
0000268c: SSTORE
0000268d: PUSH1 0x05
0000268f: DUP3
00002690: ADD
00002691: DUP2
00002692: SWAP1
00002693: SSTORE
00002694: PUSH1 0x06
00002696: DUP3
00002697: ADD
00002698: DUP2
00002699: SWAP1
0000269a: SSTORE
0000269b: PUSH1 0x07
0000269d: DUP3
0000269e: ADD
0000269f: DUP2
000026a0: SWAP1
000026a1: SSTORE
000026a2: PUSH1 0x08
000026a4: DUP3
000026a5: ADD
000026a6: SSTORE
000026a7: PUSH1 0x09
000026a9: DUP2
000026aa: ADD
000026ab: DUP1
000026ac: SLOAD
000026ad: PUSH21 0xffffffffffffffffffffffffffffffffffffffffff
000026c3: NOT
000026c4: AND
000026c5: SWAP1
000026c6: SSTORE
000026c7: PUSH1 0x0b
000026c9: ADD
000026ca: PUSH2 0x2663
000026cd: JUMP
000026ce: STOP
000026cf: LOG1
000026d0: PUSH6 0x627a7a723058
000026d7: KECCAK256
000026d8: UNKNOWN(0xB3)
000026d9: EXTCODEHASH
000026da: UNKNOWN(0xC6)
000026db: UNKNOWN(0xE9)
000026dc: RETURNDATACOPY
000026dd: DELEGATECALL
000026de: UNKNOWN(0xB9)
000026df: UNKNOWN(0xE8)
000026e0: SWAP6
000026e1: MOD
000026e2: UNKNOWN(0xE3)
000026e3: UNKNOWN(0xE4)
000026e4: PUSH3 0xcface9
000026e8: DUP9
000026e9: ISZERO
000026ea: SWAP2
000026eb: EXTCODEHASH
000026ec: UNKNOWN(0xCD)
000026ed: UNKNOWN(0x0D)
000026ee: PUSH32