Analysis Run

[codex:255466] OpenAI Codex v0.77.0 (research preview)
[codex:255466] --------
[codex:255466] workdir: /tmp/codex-multi-_57eki58
[codex:255466] model: gpt-5.2-codex
[codex:255466] provider: openai
[codex:255466] approval: never
[codex:255466] sandbox: read-only
[codex:255466] reasoning effort: xhigh
[codex:255466] reasoning summaries: auto
[codex:255466] session id: 019b7c3a-a0e0-7282-8d37-b96092a543b9
[codex:255466] --------
[codex:255466] user
[codex:255466] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:255466] 
[codex:255466] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:255466] 
[codex:255466] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:255466] - Gas inefficiency, code quality, naming, or best practices
[codex:255466] - Theoretical vulnerabilities without a clear extraction path
[codex:255466] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:255466] - Front-running unless it enables theft beyond MEV
[codex:255466] - DoS, griefing, or issues that don't result in attacker profit
[codex:255466] - Missing events, view function issues, or informational findings
[codex:255466] 
[codex:255466] HIGH-VALUE PATTERNS TO HUNT:
[codex:255466] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:255466] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:255466] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:255466] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:255466] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:255466] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:255466] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:255466] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:255466] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:255466] 
[codex:255466] For each finding, you MUST provide:
[codex:255466] 1. Exact file and line numbers of vulnerable code
[codex:255466] 2. Step-by-step exploit transaction sequence
[codex:255466] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:255466] 
[codex:255466] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:255466] 
[codex:255466] Output MUST be valid JSON matching the provided schema.
[codex:255466] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:255466] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:255466] mcp startup: no servers
[codex:255466] 
[codex:255466] thinking
[codex:255466] **Preparing to read audit instructions**
[codex:255466] exec
[codex:255466] /bin/bash -lc ls in /tmp/codex-multi-_57eki58 succeeded in 5ms:
[codex:255466] AUDIT_BUNDLE.txt
[codex:255466] codex-output-schema.json
[codex:255466] contracts
[codex:255466] exec
[codex:255466] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-_57eki58 succeeded in 5ms:
[codex:255466] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:255466] 
[codex:255466] ================================================================================
[codex:255466] FILE: contracts/Contract.sol
[codex:255466] ================================================================================
[codex:255466] pragma solidity ^0.4.20;
[codex:255466] 
[codex:255466] /*
[codex:255466] * Team JUST presents..
[codex:255466] * ====================================*
[codex:255466] * _____     _ _ _ _____    ___ ____   * 
[codex:255466] *|  _  |___| | | |  |  |  |_  |    \  *
[codex:255466] *|   __| . | | | |     |  |_  |  |  | * 
[codex:255466] *|__|  |___|_____|__|__|  |___|____/  *
[codex:255466] *                                     *
[codex:255466] * ====================================*
[codex:255466] * -> What?
[codex:255466] * The original autonomous pyramid, improved:
[codex:255466] * [x] More stable than ever, having withstood severe testnet abuse and attack attempts from our community!.
[codex:255466] * [x] Audited, tested, and approved by known community security specialists such as tocsick and Arc.
[codex:255466] 
[codex:255466] thinking
[codex:255466] **Preparing audit for PoWH3D contract**
[codex:255466] exec
[codex:255466] /bin/bash -lc 'nl -ba contracts/Contract.sol' in /tmp/codex-multi-_57eki58 succeeded in 5ms:
[codex:255466]      1	pragma solidity ^0.4.20;
[codex:255466]      2	
[codex:255466]      3	/*
[codex:255466]      4	* Team JUST presents..
[codex:255466]      5	* ====================================*
[codex:255466]      6	* _____     _ _ _ _____    ___ ____   * 
[codex:255466]      7	*|  _  |___| | | |  |  |  |_  |    \  *
[codex:255466]      8	*|   __| . | | | |     |  |_  |  |  | * 
[codex:255466]      9	*|__|  |___|_____|__|__|  |___|____/  *
[codex:255466]     10	*                                     *
[codex:255466]     11	* ====================================*
[codex:255466]     12	* -> What?
[codex:255466]     13	* The original autonomous pyramid, improved:
[codex:255466]     14	* [x] More stable than ever, having withstood severe testnet abuse and attack attempts from our community!.
[codex:255466]     15	* [x] Audited, tested, and approved by known community security specialists such as tocsick and Arc.
[codex:255466]     16	* [X] New functionality; you can now perform partial sell orders. If you succumb to weak hands, you don't have to dump all of your bags!
[codex:255466]     17	* [x] New functionality; you can now transfer tokens between wallets. Trading is now possible from within the contract!
[codex:255466]     18	* [x] New Feature: PoS Masternodes! The first implementation of Ethereum Staking in the world! Vitalik is mad.
[codex:255466]     19	* [x] Masternodes: Holding 100 PoWH3D Tokens allow you to generate a Masternode link, Masternode links are used as unique entry points to the contract!
[codex:255466]     20	* [x] Masternodes: All players who enter the contract through your Masternode have 30% of their 10% dividends fee rerouted from the master-node, to the node-master!
[codex:255466] 
[codex:255466] 
[codex:255466] 
[codex:255466] 
[codex:255466] thinking
[codex:255466] **Analyzing contract profit and vulnerabilities**
[codex:255466] thinking
[codex:255466] **Evaluating dividend and referral mechanics**
[codex:255466] 
[codex:255466] I'm examining how referral balances interact with dividends during reinvestment and transfers, checking for inconsistencies in payout accounting and potential for dividends miscalculation. I’m considering effects of token transfers on dividends, possible rounding issues, and whether referral bonuses are properly accounted for to avoid double counting or unintended gains.
[codex:255466] thinking
[codex:255466] **Assessing arithmetic and rounding vulnerabilities**
[codex:255466] 
[codex:255466] I'm analyzing potential overflow in dividend calculations without SafeMath, rounding effects on buy/sell fees, and edge cases like tiny purchases avoiding fees. I’m also exploring if repeated micro-transactions or manipulation of referral and dividend logic could yield exploitable profit, but so far no concrete vulnerabilities appear viable.
[codex:255466] thinking
[codex:255466] **Preparing final vulnerability report**
[codex:255466] 
[codex:255466] I'm wrapping up with a thorough check for concrete, exploitable profit paths, confirming no unsafe external calls or arithmetic issues, and preparing a JSON report per the requested output schema indicating no findings.
[codex:255466] codex
[codex:255466] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH or tokens were found in the reviewed contract.","findings":[]}
[codex:255466] tokens used
[codex:255466] 38,893
[codex:255466] {"no_findings":true,"summary":"No concrete, exploitable paths to extract ETH or tokens were found in the reviewed contract.","findings":[]}

{
    "codex": {
        "ran_at": "2026-01-02T01:07:01.533117+00:00",
        "returncode": 0
    },
    "summary": "No concrete, exploitable paths to extract ETH or tokens were found in the reviewed contract.",
    "raw_final": {
        "summary": "No concrete, exploitable paths to extract ETH or tokens were found in the reviewed contract.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

00000000: PUSH1 0x60
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x015d
0000000c: JUMPI
0000000d: PUSH4 0xffffffff
00000012: PUSH29 0x0100000000000000000000000000000000000000000000000000000000
00000030: PUSH1 0x00
00000032: CALLDATALOAD
00000033: DIV
00000034: AND
00000035: PUSH3 0x65318b
00000039: DUP2
0000003a: EQ
0000003b: PUSH2 0x016b
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0x06fdde03
00000045: EQ
00000046: PUSH2 0x019c
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0x10d0ffdd
00000050: EQ
00000051: PUSH2 0x0226
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0x18160ddd
0000005b: EQ
0000005c: PUSH2 0x023c
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0x22609373
00000066: EQ
00000067: PUSH2 0x024f
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0x27defa1f
00000071: EQ
00000072: PUSH2 0x0265
00000075: JUMPI
00000076: DUP1
00000077: PUSH4 0x313ce567
0000007c: EQ
0000007d: PUSH2 0x028c
00000080: JUMPI
00000081: DUP1
00000082: PUSH4 0x392efb52
00000087: EQ
00000088: PUSH2 0x02b5
0000008b: JUMPI
0000008c: DUP1
0000008d: PUSH4 0x3ccfd60b
00000092: EQ
00000093: PUSH2 0x02cb
00000096: JUMPI
00000097: DUP1
00000098: PUSH4 0x4b750334
0000009d: EQ
0000009e: PUSH2 0x02e0
000000a1: JUMPI
000000a2: DUP1
000000a3: PUSH4 0x56d399e8
000000a8: EQ
000000a9: PUSH2 0x02f3
000000ac: JUMPI
000000ad: DUP1
000000ae: PUSH4 0x688abbf7
000000b3: EQ
000000b4: PUSH2 0x0306
000000b7: JUMPI
000000b8: DUP1
000000b9: PUSH4 0x6b2f4632
000000be: EQ
000000bf: PUSH2 0x031e
000000c2: JUMPI
000000c3: DUP1
000000c4: PUSH4 0x70a08231
000000c9: EQ
000000ca: PUSH2 0x0331
000000cd: JUMPI
000000ce: DUP1
000000cf: PUSH4 0x8328b610
000000d4: EQ
000000d5: PUSH2 0x0350
000000d8: JUMPI
000000d9: DUP1
000000da: PUSH4 0x8620410b
000000df: EQ
000000e0: PUSH2 0x0366
000000e3: JUMPI
000000e4: DUP1
000000e5: PUSH4 0x89135ae9
000000ea: EQ
000000eb: PUSH2 0x0379
000000ee: JUMPI
000000ef: DUP1
000000f0: PUSH4 0x949e8acd
000000f5: EQ
000000f6: PUSH2 0x0394
000000f9: JUMPI
000000fa: DUP1
000000fb: PUSH4 0x95d89b41
00000100: EQ
00000101: PUSH2 0x03a7
00000104: JUMPI
00000105: DUP1
00000106: PUSH4 0xa8e04f34
0000010b: EQ
0000010c: PUSH2 0x03ba
0000010f: JUMPI
00000110: DUP1
00000111: PUSH4 0xa9059cbb
00000116: EQ
00000117: PUSH2 0x03cd
0000011a: JUMPI
0000011b: DUP1
0000011c: PUSH4 0xb84c8246
00000121: EQ
00000122: PUSH2 0x03ef
00000125: JUMPI
00000126: DUP1
00000127: PUSH4 0xc47f0027
0000012c: EQ
0000012d: PUSH2 0x0440
00000130: JUMPI
00000131: DUP1
00000132: PUSH4 0xe4849b32
00000137: EQ
00000138: PUSH2 0x0491
0000013b: JUMPI
0000013c: DUP1
0000013d: PUSH4 0xe9fad8ee
00000142: EQ
00000143: PUSH2 0x04a7
00000146: JUMPI
00000147: DUP1
00000148: PUSH4 0xf088d547
0000014d: EQ
0000014e: PUSH2 0x04ba
00000151: JUMPI
00000152: DUP1
00000153: PUSH4 0xfdb5a03e
00000158: EQ
00000159: PUSH2 0x04ce
0000015c: JUMPI
0000015d: JUMPDEST
0000015e: PUSH2 0x0168
00000161: CALLVALUE
00000162: PUSH1 0x00
00000164: PUSH2 0x04e1
00000167: JUMP
00000168: JUMPDEST
00000169: POP
0000016a: STOP
0000016b: JUMPDEST
0000016c: CALLVALUE
0000016d: ISZERO
0000016e: PUSH2 0x0176
00000171: JUMPI
00000172: PUSH1 0x00
00000174: DUP1
00000175: REVERT
00000176: JUMPDEST
00000177: PUSH2 0x018a
0000017a: PUSH1 0x01
0000017c: PUSH1 0xa0
0000017e: PUSH1 0x02
00000180: EXP
00000181: SUB
00000182: PUSH1 0x04
00000184: CALLDATALOAD
00000185: AND
00000186: PUSH2 0x0a85
00000189: JUMP
0000018a: JUMPDEST
0000018b: PUSH1 0x40
0000018d: MLOAD
0000018e: SWAP1
0000018f: DUP2
00000190: MSTORE
00000191: PUSH1 0x20
00000193: ADD
00000194: PUSH1 0x40
00000196: MLOAD
00000197: DUP1
00000198: SWAP2
00000199: SUB
0000019a: SWAP1
0000019b: RETURN
0000019c: JUMPDEST
0000019d: CALLVALUE
0000019e: ISZERO
0000019f: PUSH2 0x01a7
000001a2: JUMPI
000001a3: PUSH1 0x00
000001a5: DUP1
000001a6: REVERT
000001a7: JUMPDEST
000001a8: PUSH2 0x01af
000001ab: PUSH2 0x0abb
000001ae: JUMP
000001af: JUMPDEST
000001b0: PUSH1 0x40
000001b2: MLOAD
000001b3: PUSH1 0x20
000001b5: DUP1
000001b6: DUP3
000001b7: MSTORE
000001b8: DUP2
000001b9: SWAP1
000001ba: DUP2
000001bb: ADD
000001bc: DUP4
000001bd: DUP2
000001be: DUP2
000001bf: MLOAD
000001c0: DUP2
000001c1: MSTORE
000001c2: PUSH1 0x20
000001c4: ADD
000001c5: SWAP2
000001c6: POP
000001c7: DUP1
000001c8: MLOAD
000001c9: SWAP1
000001ca: PUSH1 0x20
000001cc: ADD
000001cd: SWAP1
000001ce: DUP1
000001cf: DUP4
000001d0: DUP4
000001d1: PUSH1 0x00
000001d3: JUMPDEST
000001d4: DUP4
000001d5: DUP2
000001d6: LT
000001d7: ISZERO
000001d8: PUSH2 0x01eb
000001db: JUMPI
000001dc: DUP1
000001dd: DUP3
000001de: ADD
000001df: MLOAD
000001e0: DUP4
000001e1: DUP3
000001e2: ADD
000001e3: MSTORE
000001e4: PUSH1 0x20
000001e6: ADD
000001e7: PUSH2 0x01d3
000001ea: JUMP
000001eb: JUMPDEST
000001ec: POP
000001ed: POP
000001ee: POP
000001ef: POP
000001f0: SWAP1
000001f1: POP
000001f2: SWAP1
000001f3: DUP2
000001f4: ADD
000001f5: SWAP1
000001f6: PUSH1 0x1f
000001f8: AND
000001f9: DUP1
000001fa: ISZERO
000001fb: PUSH2 0x0218
000001fe: JUMPI
000001ff: DUP1
00000200: DUP3
00000201: SUB
00000202: DUP1
00000203: MLOAD
00000204: PUSH1 0x01
00000206: DUP4
00000207: PUSH1 0x20
00000209: SUB
0000020a: PUSH2 0x0100
0000020d: EXP
0000020e: SUB
0000020f: NOT
00000210: AND
00000211: DUP2
00000212: MSTORE
00000213: PUSH1 0x20
00000215: ADD
00000216: SWAP2
00000217: POP
00000218: JUMPDEST
00000219: POP
0000021a: SWAP3
0000021b: POP
0000021c: POP
0000021d: POP
0000021e: PUSH1 0x40
00000220: MLOAD
00000221: DUP1
00000222: SWAP2
00000223: SUB
00000224: SWAP1
00000225: RETURN
00000226: JUMPDEST
00000227: CALLVALUE
00000228: ISZERO
00000229: PUSH2 0x0231
0000022c: JUMPI
0000022d: PUSH1 0x00
0000022f: DUP1
00000230: REVERT
00000231: JUMPDEST
00000232: PUSH2 0x018a
00000235: PUSH1 0x04
00000237: CALLDATALOAD
00000238: PUSH2 0x0b59
0000023b: JUMP
0000023c: JUMPDEST
0000023d: CALLVALUE
0000023e: ISZERO
0000023f: PUSH2 0x0247
00000242: JUMPI
00000243: PUSH1 0x00
00000245: DUP1
00000246: REVERT
00000247: JUMPDEST
00000248: PUSH2 0x018a
0000024b: PUSH2 0x0b89
0000024e: JUMP
0000024f: JUMPDEST
00000250: CALLVALUE
00000251: ISZERO
00000252: PUSH2 0x025a
00000255: JUMPI
00000256: PUSH1 0x00
00000258: DUP1
00000259: REVERT
0000025a: JUMPDEST
0000025b: PUSH2 0x018a
0000025e: PUSH1 0x04
00000260: CALLDATALOAD
00000261: PUSH2 0x0b90
00000264: JUMP
00000265: JUMPDEST
00000266: CALLVALUE
00000267: ISZERO
00000268: PUSH2 0x0270
0000026b: JUMPI
0000026c: PUSH1 0x00
0000026e: DUP1
0000026f: REVERT
00000270: JUMPDEST
00000271: PUSH2 0x0278
00000274: PUSH2 0x0bc9
00000277: JUMP
00000278: JUMPDEST
00000279: PUSH1 0x40
0000027b: MLOAD
0000027c: SWAP1
0000027d: ISZERO
0000027e: ISZERO
0000027f: DUP2
00000280: MSTORE
00000281: PUSH1 0x20
00000283: ADD
00000284: PUSH1 0x40
00000286: MLOAD
00000287: DUP1
00000288: SWAP2
00000289: SUB
0000028a: SWAP1
0000028b: RETURN
0000028c: JUMPDEST
0000028d: CALLVALUE
0000028e: ISZERO
0000028f: PUSH2 0x0297
00000292: JUMPI
00000293: PUSH1 0x00
00000295: DUP1
00000296: REVERT
00000297: JUMPDEST
00000298: PUSH2 0x029f
0000029b: PUSH2 0x0bd2
0000029e: JUMP
0000029f: JUMPDEST
000002a0: PUSH1 0x40
000002a2: MLOAD
000002a3: PUSH1 0xff
000002a5: SWAP1
000002a6: SWAP2
000002a7: AND
000002a8: DUP2
000002a9: MSTORE
000002aa: PUSH1 0x20
000002ac: ADD
000002ad: PUSH1 0x40
000002af: MLOAD
000002b0: DUP1
000002b1: SWAP2
000002b2: SUB
000002b3: SWAP1
000002b4: RETURN
000002b5: JUMPDEST
000002b6: CALLVALUE
000002b7: ISZERO
000002b8: PUSH2 0x02c0
000002bb: JUMPI
000002bc: PUSH1 0x00
000002be: DUP1
000002bf: REVERT
000002c0: JUMPDEST
000002c1: PUSH2 0x0278
000002c4: PUSH1 0x04
000002c6: CALLDATALOAD
000002c7: PUSH2 0x0bd7
000002ca: JUMP
000002cb: JUMPDEST
000002cc: CALLVALUE
000002cd: ISZERO
000002ce: PUSH2 0x02d6
000002d1: JUMPI
000002d2: PUSH1 0x00
000002d4: DUP1
000002d5: REVERT
000002d6: JUMPDEST
000002d7: PUSH2 0x02de
000002da: PUSH2 0x0bec
000002dd: JUMP
000002de: JUMPDEST
000002df: STOP
000002e0: JUMPDEST
000002e1: CALLVALUE
000002e2: ISZERO
000002e3: PUSH2 0x02eb
000002e6: JUMPI
000002e7: PUSH1 0x00
000002e9: DUP1
000002ea: REVERT
000002eb: JUMPDEST
000002ec: PUSH2 0x018a
000002ef: PUSH2 0x0cb3
000002f2: JUMP
000002f3: JUMPDEST
000002f4: CALLVALUE
000002f5: ISZERO
000002f6: PUSH2 0x02fe
000002f9: JUMPI
000002fa: PUSH1 0x00
000002fc: DUP1
000002fd: REVERT
000002fe: JUMPDEST
000002ff: PUSH2 0x018a
00000302: PUSH2 0x0d07
00000305: JUMP
00000306: JUMPDEST
00000307: CALLVALUE
00000308: ISZERO
00000309: PUSH2 0x0311
0000030c: JUMPI
0000030d: PUSH1 0x00
0000030f: DUP1
00000310: REVERT
00000311: JUMPDEST
00000312: PUSH2 0x018a
00000315: PUSH1 0x04
00000317: CALLDATALOAD
00000318: ISZERO
00000319: ISZERO
0000031a: PUSH2 0x0d0d
0000031d: JUMP
0000031e: JUMPDEST
0000031f: CALLVALUE
00000320: ISZERO
00000321: PUSH2 0x0329
00000324: JUMPI
00000325: PUSH1 0x00
00000327: DUP1
00000328: REVERT
00000329: JUMPDEST
0000032a: PUSH2 0x018a
0000032d: PUSH2 0x0d50
00000330: JUMP
00000331: JUMPDEST
00000332: CALLVALUE
00000333: ISZERO
00000334: PUSH2 0x033c
00000337: JUMPI
00000338: PUSH1 0x00
0000033a: DUP1
0000033b: REVERT
0000033c: JUMPDEST
0000033d: PUSH2 0x018a
00000340: PUSH1 0x01
00000342: PUSH1 0xa0
00000344: PUSH1 0x02
00000346: EXP
00000347: SUB
00000348: PUSH1 0x04
0000034a: CALLDATALOAD
0000034b: AND
0000034c: PUSH2 0x0d5e
0000034f: JUMP
00000350: JUMPDEST
00000351: CALLVALUE
00000352: ISZERO
00000353: PUSH2 0x035b
00000356: JUMPI
00000357: PUSH1 0x00
00000359: DUP1
0000035a: REVERT
0000035b: JUMPDEST
0000035c: PUSH2 0x02de
0000035f: PUSH1 0x04
00000361: CALLDATALOAD
00000362: PUSH2 0x0d79
00000365: JUMP
00000366: JUMPDEST
00000367: CALLVALUE
00000368: ISZERO
00000369: PUSH2 0x0371
0000036c: JUMPI
0000036d: PUSH1 0x00
0000036f: DUP1
00000370: REVERT
00000371: JUMPDEST
00000372: PUSH2 0x018a
00000375: PUSH2 0x0dd0
00000378: JUMP
00000379: JUMPDEST
0000037a: CALLVALUE
0000037b: ISZERO
0000037c: PUSH2 0x0384
0000037f: JUMPI
00000380: PUSH1 0x00
00000382: DUP1
00000383: REVERT
00000384: JUMPDEST
00000385: PUSH2 0x02de
00000388: PUSH1 0x04
0000038a: CALLDATALOAD
0000038b: PUSH1 0x24
0000038d: CALLDATALOAD
0000038e: ISZERO
0000038f: ISZERO
00000390: PUSH2 0x0e18
00000393: JUMP
00000394: JUMPDEST
00000395: CALLVALUE
00000396: ISZERO
00000397: PUSH2 0x039f
0000039a: JUMPI
0000039b: PUSH1 0x00
0000039d: DUP1
0000039e: REVERT
0000039f: JUMPDEST
000003a0: PUSH2 0x018a
000003a3: PUSH2 0x0e8a
000003a6: JUMP
000003a7: JUMPDEST
000003a8: CALLVALUE
000003a9: ISZERO
000003aa: PUSH2 0x03b2
000003ad: JUMPI
000003ae: PUSH1 0x00
000003b0: DUP1
000003b1: REVERT
000003b2: JUMPDEST
000003b3: PUSH2 0x01af
000003b6: PUSH2 0x0e9d
000003b9: JUMP
000003ba: JUMPDEST
000003bb: CALLVALUE
000003bc: ISZERO
000003bd: PUSH2 0x03c5
000003c0: JUMPI
000003c1: PUSH1 0x00
000003c3: DUP1
000003c4: REVERT
000003c5: JUMPDEST
000003c6: PUSH2 0x02de
000003c9: PUSH2 0x0f08
000003cc: JUMP
000003cd: JUMPDEST
000003ce: CALLVALUE
000003cf: ISZERO
000003d0: PUSH2 0x03d8
000003d3: JUMPI
000003d4: PUSH1 0x00
000003d6: DUP1
000003d7: REVERT
000003d8: JUMPDEST
000003d9: PUSH2 0x0278
000003dc: PUSH1 0x01
000003de: PUSH1 0xa0
000003e0: PUSH1 0x02
000003e2: EXP
000003e3: SUB
000003e4: PUSH1 0x04
000003e6: CALLDATALOAD
000003e7: AND
000003e8: PUSH1 0x24
000003ea: CALLDATALOAD
000003eb: PUSH2 0x0f66
000003ee: JUMP
000003ef: JUMPDEST
000003f0: CALLVALUE
000003f1: ISZERO
000003f2: PUSH2 0x03fa
000003f5: JUMPI
000003f6: PUSH1 0x00
000003f8: DUP1
000003f9: REVERT
000003fa: JUMPDEST
000003fb: PUSH2 0x02de
000003fe: PUSH1 0x04
00000400: PUSH1 0x24
00000402: DUP2
00000403: CALLDATALOAD
00000404: DUP2
00000405: DUP2
00000406: ADD
00000407: SWAP1
00000408: DUP4
00000409: ADD
0000040a: CALLDATALOAD
0000040b: DUP1
0000040c: PUSH1 0x20
0000040e: PUSH1 0x1f
00000410: DUP3
00000411: ADD
00000412: DUP2
00000413: SWAP1
00000414: DIV
00000415: DUP2
00000416: MUL
00000417: ADD
00000418: PUSH1 0x40
0000041a: MLOAD
0000041b: SWAP1
0000041c: DUP2
0000041d: ADD
0000041e: PUSH1 0x40
00000420: MSTORE
00000421: DUP2
00000422: DUP2
00000423: MSTORE
00000424: SWAP3
00000425: SWAP2
00000426: SWAP1
00000427: PUSH1 0x20
00000429: DUP5
0000042a: ADD
0000042b: DUP4
0000042c: DUP4
0000042d: DUP1
0000042e: DUP3
0000042f: DUP5
00000430: CALLDATACOPY
00000431: POP
00000432: SWAP5
00000433: SWAP7
00000434: POP
00000435: PUSH2 0x1119
00000438: SWAP6
00000439: POP
0000043a: POP
0000043b: POP
0000043c: POP
0000043d: POP
0000043e: POP
0000043f: JUMP
00000440: JUMPDEST
00000441: CALLVALUE
00000442: ISZERO
00000443: PUSH2 0x044b
00000446: JUMPI
00000447: PUSH1 0x00
00000449: DUP1
0000044a: REVERT
0000044b: JUMPDEST
0000044c: PUSH2 0x02de
0000044f: PUSH1 0x04
00000451: PUSH1 0x24
00000453: DUP2
00000454: CALLDATALOAD
00000455: DUP2
00000456: DUP2
00000457: ADD
00000458: SWAP1
00000459: DUP4
0000045a: ADD
0000045b: CALLDATALOAD
0000045c: DUP1
0000045d: PUSH1 0x20
0000045f: PUSH1 0x1f
00000461: DUP3
00000462: ADD
00000463: DUP2
00000464: SWAP1
00000465: DIV
00000466: DUP2
00000467: MUL
00000468: ADD
00000469: PUSH1 0x40
0000046b: MLOAD
0000046c: SWAP1
0000046d: DUP2
0000046e: ADD
0000046f: PUSH1 0x40
00000471: MSTORE
00000472: DUP2
00000473: DUP2
00000474: MSTORE
00000475: SWAP3
00000476: SWAP2
00000477: SWAP1
00000478: PUSH1 0x20
0000047a: DUP5
0000047b: ADD
0000047c: DUP4
0000047d: DUP4
0000047e: DUP1
0000047f: DUP3
00000480: DUP5
00000481: CALLDATACOPY
00000482: POP
00000483: SWAP5
00000484: SWAP7
00000485: POP
00000486: PUSH2 0x1182
00000489: SWAP6
0000048a: POP
0000048b: POP
0000048c: POP
0000048d: POP
0000048e: POP
0000048f: POP
00000490: JUMP
00000491: JUMPDEST
00000492: CALLVALUE
00000493: ISZERO
00000494: PUSH2 0x049c
00000497: JUMPI
00000498: PUSH1 0x00
0000049a: DUP1
0000049b: REVERT
0000049c: JUMPDEST
0000049d: PUSH2 0x02de
000004a0: PUSH1 0x04
000004a2: CALLDATALOAD
000004a3: PUSH2 0x11e6
000004a6: JUMP
000004a7: JUMPDEST
000004a8: CALLVALUE
000004a9: ISZERO
000004aa: PUSH2 0x04b2
000004ad: JUMPI
000004ae: PUSH1 0x00
000004b0: DUP1
000004b1: REVERT
000004b2: JUMPDEST
000004b3: PUSH2 0x02de
000004b6: PUSH2 0x1339
000004b9: JUMP
000004ba: JUMPDEST
000004bb: PUSH2 0x018a
000004be: PUSH1 0x01
000004c0: PUSH1 0xa0
000004c2: PUSH1 0x02
000004c4: EXP
000004c5: SUB
000004c6: PUSH1 0x04
000004c8: CALLDATALOAD
000004c9: AND
000004ca: PUSH2 0x1370
000004cd: JUMP
000004ce: JUMPDEST
000004cf: CALLVALUE
000004d0: ISZERO
000004d1: PUSH2 0x04d9
000004d4: JUMPI
000004d5: PUSH1 0x00
000004d7: DUP1
000004d8: REVERT
000004d9: JUMPDEST
000004da: PUSH2 0x02de
000004dd: PUSH2 0x137c
000004e0: JUMP
000004e1: JUMPDEST
000004e2: PUSH1 0x00
000004e4: DUP1
000004e5: PUSH1 0x00
000004e7: DUP1
000004e8: PUSH1 0x00
000004ea: DUP1
000004eb: PUSH1 0x00
000004ed: DUP1
000004ee: PUSH1 0x00
000004f0: DUP11
000004f1: PUSH1 0x00
000004f3: CALLER
000004f4: SWAP1
000004f5: POP
000004f6: PUSH1 0x0b
000004f8: PUSH1 0x00
000004fa: SWAP1
000004fb: SLOAD
000004fc: SWAP1
000004fd: PUSH2 0x0100
00000500: EXP
00000501: SWAP1
00000502: DIV
00000503: PUSH1 0xff
00000505: AND
00000506: DUP1
00000507: ISZERO
00000508: PUSH2 0x0523
0000050b: JUMPI
0000050c: POP
0000050d: PUSH9 0x01158e460913d00000
00000517: DUP3
00000518: PUSH2 0x051f
0000051b: PUSH2 0x0d50
0000051e: JUMP
0000051f: JUMPDEST
00000520: SUB
00000521: GT
00000522: ISZERO
00000523: JUMPDEST
00000524: ISZERO
00000525: PUSH2 0x0817
00000528: JUMPI
00000529: PUSH1 0x01
0000052b: PUSH1 0xa0
0000052d: PUSH1 0x02
0000052f: EXP
00000530: SUB
00000531: DUP2
00000532: AND
00000533: PUSH1 0x00
00000535: SWAP1
00000536: DUP2
00000537: MSTORE
00000538: PUSH1 0x03
0000053a: PUSH1 0x20
0000053c: MSTORE
0000053d: PUSH1 0x40
0000053f: SWAP1
00000540: KECCAK256
00000541: SLOAD
00000542: PUSH1 0xff
00000544: AND
00000545: ISZERO
00000546: ISZERO
00000547: PUSH1 0x01
00000549: EQ
0000054a: DUP1
0000054b: ISZERO
0000054c: PUSH2 0x0578
0000054f: JUMPI
00000550: POP
00000551: PUSH1 0x01
00000553: PUSH1 0xa0
00000555: PUSH1 0x02
00000557: EXP
00000558: SUB
00000559: DUP2
0000055a: AND
0000055b: PUSH1 0x00
0000055d: SWAP1
0000055e: DUP2
0000055f: MSTORE
00000560: PUSH1 0x07
00000562: PUSH1 0x20
00000564: MSTORE
00000565: PUSH1 0x40
00000567: SWAP1
00000568: KECCAK256
00000569: SLOAD
0000056a: PUSH8 0x0de0b6b3a7640000
00000573: SWAP1
00000574: DUP4
00000575: ADD
00000576: GT
00000577: ISZERO
00000578: JUMPDEST
00000579: ISZERO
0000057a: ISZERO
0000057b: PUSH2 0x0583
0000057e: JUMPI
0000057f: PUSH1 0x00
00000581: DUP1
00000582: REVERT
00000583: JUMPDEST
00000584: PUSH1 0x01
00000586: PUSH1 0xa0
00000588: PUSH1 0x02
0000058a: EXP
0000058b: SUB
0000058c: DUP2
0000058d: AND
0000058e: PUSH1 0x00
00000590: SWAP1
00000591: DUP2
00000592: MSTORE
00000593: PUSH1 0x07
00000595: PUSH1 0x20
00000597: MSTORE
00000598: PUSH1 0x40
0000059a: SWAP1
0000059b: KECCAK256
0000059c: SLOAD
0000059d: PUSH2 0x05a6
000005a0: SWAP1
000005a1: DUP4
000005a2: PUSH2 0x1432
000005a5: JUMP
000005a6: JUMPDEST
000005a7: PUSH1 0x01
000005a9: PUSH1 0xa0
000005ab: PUSH1 0x02
000005ad: EXP
000005ae: SUB
000005af: DUP3
000005b0: AND
000005b1: PUSH1 0x00
000005b3: SWAP1
000005b4: DUP2
000005b5: MSTORE
000005b6: PUSH1 0x07
000005b8: PUSH1 0x20
000005ba: MSTORE
000005bb: PUSH1 0x40
000005bd: SWAP1
000005be: KECCAK256
000005bf: SSTORE
000005c0: CALLER
000005c1: SWAP10
000005c2: POP
000005c3: PUSH2 0x05cd
000005c6: DUP14
000005c7: PUSH1 0x0a
000005c9: PUSH2 0x1448
000005cc: JUMP
000005cd: JUMPDEST
000005ce: SWAP9
000005cf: POP
000005d0: PUSH2 0x05da
000005d3: DUP10
000005d4: PUSH1 0x03
000005d6: PUSH2 0x1448
000005d9: JUMP
000005da: JUMPDEST
000005db: SWAP8
000005dc: POP
000005dd: PUSH2 0x05e6
000005e0: DUP10
000005e1: DUP10
000005e2: PUSH2 0x145f
000005e5: JUMP
000005e6: JUMPDEST
000005e7: SWAP7
000005e8: POP
000005e9: PUSH2 0x05f2
000005ec: DUP14
000005ed: DUP11
000005ee: PUSH2 0x145f
000005f1: JUMP
000005f2: JUMPDEST
000005f3: SWAP6
000005f4: POP
000005f5: PUSH2 0x05fd
000005f8: DUP7
000005f9: PUSH2 0x1471
000005fc: JUMP
000005fd: JUMPDEST
000005fe: SWAP5
000005ff: POP
00000600: PUSH1 0x40
00000602: PUSH1 0x02
00000604: EXP
00000605: DUP8
00000606: MUL
00000607: SWAP4
00000608: POP
00000609: PUSH1 0x00
0000060b: DUP6
0000060c: GT
0000060d: DUP1
0000060e: ISZERO
0000060f: PUSH2 0x0622
00000612: JUMPI
00000613: POP
00000614: PUSH1 0x08
00000616: SLOAD
00000617: PUSH2 0x0620
0000061a: DUP7
0000061b: DUP3
0000061c: PUSH2 0x1432
0000061f: JUMP
00000620: JUMPDEST
00000621: GT
00000622: JUMPDEST
00000623: ISZERO
00000624: ISZERO
00000625: PUSH2 0x062d
00000628: JUMPI
00000629: PUSH1 0x00
0000062b: DUP1
0000062c: REVERT
0000062d: JUMPDEST
0000062e: PUSH1 0x01
00000630: PUSH1 0xa0
00000632: PUSH1 0x02
00000634: EXP
00000635: SUB
00000636: DUP13
00000637: AND
00000638: ISZERO
00000639: DUP1
0000063a: ISZERO
0000063b: SWAP1
0000063c: PUSH2 0x0657
0000063f: JUMPI
00000640: POP
00000641: DUP10
00000642: PUSH1 0x01
00000644: PUSH1 0xa0
00000646: PUSH1 0x02
00000648: EXP
00000649: SUB
0000064a: AND
0000064b: DUP13
0000064c: PUSH1 0x01
0000064e: PUSH1 0xa0
00000650: PUSH1 0x02
00000652: EXP
00000653: SUB
00000654: AND
00000655: EQ
00000656: ISZERO
00000657: JUMPDEST
00000658: DUP1
00000659: ISZERO
0000065a: PUSH2 0x067d
0000065d: JUMPI
0000065e: POP
0000065f: PUSH1 0x02
00000661: SLOAD
00000662: PUSH1 0x01
00000664: PUSH1 0xa0
00000666: PUSH1 0x02
00000668: EXP
00000669: SUB
0000066a: DUP14
0000066b: AND
0000066c: PUSH1 0x00
0000066e: SWAP1
0000066f: DUP2
00000670: MSTORE
00000671: PUSH1 0x04
00000673: PUSH1 0x20
00000675: MSTORE
00000676: PUSH1 0x40
00000678: SWAP1
00000679: KECCAK256
0000067a: SLOAD
0000067b: LT
0000067c: ISZERO
0000067d: JUMPDEST
0000067e: ISZERO
0000067f: PUSH2 0x06c3
00000682: JUMPI
00000683: PUSH1 0x01
00000685: PUSH1 0xa0
00000687: PUSH1 0x02
00000689: EXP
0000068a: SUB
0000068b: DUP13
0000068c: AND
0000068d: PUSH1 0x00
0000068f: SWAP1
00000690: DUP2
00000691: MSTORE
00000692: PUSH1 0x05
00000694: PUSH1 0x20
00000696: MSTORE
00000697: PUSH1 0x40
00000699: SWAP1
0000069a: KECCAK256
0000069b: SLOAD
0000069c: PUSH2 0x06a5
0000069f: SWAP1
000006a0: DUP10
000006a1: PUSH2 0x1432
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH1 0x01
000006a8: PUSH1 0xa0
000006aa: PUSH1 0x02
000006ac: EXP
000006ad: SUB
000006ae: DUP14
000006af: AND
000006b0: PUSH1 0x00
000006b2: SWAP1
000006b3: DUP2
000006b4: MSTORE
000006b5: PUSH1 0x05
000006b7: PUSH1 0x20
000006b9: MSTORE
000006ba: PUSH1 0x40
000006bc: SWAP1
000006bd: KECCAK256
000006be: SSTORE
000006bf: PUSH2 0x06d9
000006c2: JUMP
000006c3: JUMPDEST
000006c4: PUSH2 0x06cd
000006c7: DUP8
000006c8: DUP10
000006c9: PUSH2 0x1432
000006cc: JUMP
000006cd: JUMPDEST
000006ce: SWAP7
000006cf: POP
000006d0: PUSH1 0x40
000006d2: PUSH1 0x02
000006d4: EXP
000006d5: DUP8
000006d6: MUL
000006d7: SWAP4
000006d8: POP
000006d9: JUMPDEST
000006da: PUSH1 0x00
000006dc: PUSH1 0x08
000006de: SLOAD
000006df: GT
000006e0: ISZERO
000006e1: PUSH2 0x0733
000006e4: JUMPI
000006e5: PUSH2 0x06f0
000006e8: PUSH1 0x08
000006ea: SLOAD
000006eb: DUP7
000006ec: PUSH2 0x1432
000006ef: JUMP
000006f0: JUMPDEST
000006f1: PUSH1 0x08
000006f3: DUP2
000006f4: SWAP1
000006f5: SSTORE
000006f6: PUSH1 0x40
000006f8: PUSH1 0x02
000006fa: EXP
000006fb: DUP9
000006fc: MUL
000006fd: DUP2
000006fe: ISZERO
000006ff: ISZERO
00000700: PUSH2 0x0705
00000703: JUMPI
00000704: INVALID
00000705: JUMPDEST
00000706: PUSH1 0x09
00000708: DUP1
00000709: SLOAD
0000070a: SWAP3
0000070b: SWAP1
0000070c: SWAP2
0000070d: DIV
0000070e: SWAP1
0000070f: SWAP2
00000710: ADD
00000711: SWAP1
00000712: SSTORE
00000713: PUSH1 0x08
00000715: SLOAD
00000716: PUSH1 0x40
00000718: PUSH1 0x02
0000071a: EXP
0000071b: DUP9
0000071c: MUL
0000071d: DUP2
0000071e: ISZERO
0000071f: ISZERO
00000720: PUSH2 0x0725
00000723: JUMPI
00000724: INVALID
00000725: JUMPDEST
00000726: DIV
00000727: DUP6
00000728: MUL
00000729: DUP5
0000072a: SUB
0000072b: DUP5
0000072c: SUB
0000072d: SWAP4
0000072e: POP
0000072f: PUSH2 0x0739
00000732: JUMP
00000733: JUMPDEST
00000734: PUSH1 0x08
00000736: DUP6
00000737: SWAP1
00000738: SSTORE
00000739: JUMPDEST
0000073a: PUSH1 0x01
0000073c: PUSH1 0xa0
0000073e: PUSH1 0x02
00000740: EXP
00000741: SUB
00000742: DUP11
00000743: AND
00000744: PUSH1 0x00
00000746: SWAP1
00000747: DUP2
00000748: MSTORE
00000749: PUSH1 0x04
0000074b: PUSH1 0x20
0000074d: MSTORE
0000074e: PUSH1 0x40
00000750: SWAP1
00000751: KECCAK256
00000752: SLOAD
00000753: PUSH2 0x075c
00000756: SWAP1
00000757: DUP7
00000758: PUSH2 0x1432
0000075b: JUMP
0000075c: JUMPDEST
0000075d: PUSH1 0x04
0000075f: PUSH1 0x00
00000761: DUP13
00000762: PUSH1 0x01
00000764: PUSH1 0xa0
00000766: PUSH1 0x02
00000768: EXP
00000769: SUB
0000076a: AND
0000076b: PUSH1 0x01
0000076d: PUSH1 0xa0
0000076f: PUSH1 0x02
00000771: EXP
00000772: SUB
00000773: AND
00000774: DUP2
00000775: MSTORE
00000776: PUSH1 0x20
00000778: ADD
00000779: SWAP1
0000077a: DUP2
0000077b: MSTORE
0000077c: PUSH1 0x20
0000077e: ADD
0000077f: PUSH1 0x00
00000781: KECCAK256
00000782: DUP2
00000783: SWAP1
00000784: SSTORE
00000785: POP
00000786: DUP4
00000787: DUP6
00000788: PUSH1 0x09
0000078a: SLOAD
0000078b: MUL
0000078c: SUB
0000078d: SWAP3
0000078e: POP
0000078f: DUP3
00000790: PUSH1 0x06
00000792: PUSH1 0x00
00000794: DUP13
00000795: PUSH1 0x01
00000797: PUSH1 0xa0
00000799: PUSH1 0x02
0000079b: EXP
0000079c: SUB
0000079d: AND
0000079e: PUSH1 0x01
000007a0: PUSH1 0xa0
000007a2: PUSH1 0x02
000007a4: EXP
000007a5: SUB
000007a6: AND
000007a7: DUP2
000007a8: MSTORE
000007a9: PUSH1 0x20
000007ab: ADD
000007ac: SWAP1
000007ad: DUP2
000007ae: MSTORE
000007af: PUSH1 0x20
000007b1: ADD
000007b2: PUSH1 0x00
000007b4: KECCAK256
000007b5: PUSH1 0x00
000007b7: DUP3
000007b8: DUP3
000007b9: SLOAD
000007ba: ADD
000007bb: SWAP3
000007bc: POP
000007bd: POP
000007be: DUP2
000007bf: SWAP1
000007c0: SSTORE
000007c1: POP
000007c2: DUP12
000007c3: PUSH1 0x01
000007c5: PUSH1 0xa0
000007c7: PUSH1 0x02
000007c9: EXP
000007ca: SUB
000007cb: AND
000007cc: DUP11
000007cd: PUSH1 0x01
000007cf: PUSH1 0xa0
000007d1: PUSH1 0x02
000007d3: EXP
000007d4: SUB
000007d5: AND
000007d6: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
000007f7: DUP16
000007f8: DUP9
000007f9: PUSH1 0x40
000007fb: MLOAD
000007fc: SWAP2
000007fd: DUP3
000007fe: MSTORE
000007ff: PUSH1 0x20
00000801: DUP3
00000802: ADD
00000803: MSTORE
00000804: PUSH1 0x40
00000806: SWAP1
00000807: DUP2
00000808: ADD
00000809: SWAP1
0000080a: MLOAD
0000080b: DUP1
0000080c: SWAP2
0000080d: SUB
0000080e: SWAP1
0000080f: LOG3
00000810: DUP5
00000811: SWAP11
00000812: POP
00000813: PUSH2 0x0a75
00000816: JUMP
00000817: JUMPDEST
00000818: PUSH1 0x0b
0000081a: DUP1
0000081b: SLOAD
0000081c: PUSH1 0xff
0000081e: NOT
0000081f: AND
00000820: SWAP1
00000821: SSTORE
00000822: CALLER
00000823: SWAP10
00000824: POP
00000825: PUSH2 0x082f
00000828: DUP14
00000829: PUSH1 0x0a
0000082b: PUSH2 0x1448
0000082e: JUMP
0000082f: JUMPDEST
00000830: SWAP9
00000831: POP
00000832: PUSH2 0x083c
00000835: DUP10
00000836: PUSH1 0x03
00000838: PUSH2 0x1448
0000083b: JUMP
0000083c: JUMPDEST
0000083d: SWAP8
0000083e: POP
0000083f: PUSH2 0x0848
00000842: DUP10
00000843: DUP10
00000844: PUSH2 0x145f
00000847: JUMP
00000848: JUMPDEST
00000849: SWAP7
0000084a: POP
0000084b: PUSH2 0x0854
0000084e: DUP14
0000084f: DUP11
00000850: PUSH2 0x145f
00000853: JUMP
00000854: JUMPDEST
00000855: SWAP6
00000856: POP
00000857: PUSH2 0x085f
0000085a: DUP7
0000085b: PUSH2 0x1471
0000085e: JUMP
0000085f: JUMPDEST
00000860: SWAP5
00000861: POP
00000862: PUSH1 0x40
00000864: PUSH1 0x02
00000866: EXP
00000867: DUP8
00000868: MUL
00000869: SWAP4
0000086a: POP
0000086b: PUSH1 0x00
0000086d: DUP6
0000086e: GT
0000086f: DUP1
00000870: ISZERO
00000871: PUSH2 0x0884
00000874: JUMPI
00000875: POP
00000876: PUSH1 0x08
00000878: SLOAD
00000879: PUSH2 0x0882
0000087c: DUP7
0000087d: DUP3
0000087e: PUSH2 0x1432
00000881: JUMP
00000882: JUMPDEST
00000883: GT
00000884: JUMPDEST
00000885: ISZERO
00000886: ISZERO
00000887: PUSH2 0x088f
0000088a: JUMPI
0000088b: PUSH1 0x00
0000088d: DUP1
0000088e: REVERT
0000088f: JUMPDEST
00000890: PUSH1 0x01
00000892: PUSH1 0xa0
00000894: PUSH1 0x02
00000896: EXP
00000897: SUB
00000898: DUP13
00000899: AND
0000089a: ISZERO
0000089b: DUP1
0000089c: ISZERO
0000089d: SWAP1
0000089e: PUSH2 0x08b9
000008a1: JUMPI
000008a2: POP
000008a3: DUP10
000008a4: PUSH1 0x01
000008a6: PUSH1 0xa0
000008a8: PUSH1 0x02
000008aa: EXP
000008ab: SUB
000008ac: AND
000008ad: DUP13
000008ae: PUSH1 0x01
000008b0: PUSH1 0xa0
000008b2: PUSH1 0x02
000008b4: EXP
000008b5: SUB
000008b6: AND
000008b7: EQ
000008b8: ISZERO
000008b9: JUMPDEST
000008ba: DUP1
000008bb: ISZERO
000008bc: PUSH2 0x08df
000008bf: JUMPI
000008c0: POP
000008c1: PUSH1 0x02
000008c3: SLOAD
000008c4: PUSH1 0x01
000008c6: PUSH1 0xa0
000008c8: PUSH1 0x02
000008ca: EXP
000008cb: SUB
000008cc: DUP14
000008cd: AND
000008ce: PUSH1 0x00
000008d0: SWAP1
000008d1: DUP2
000008d2: MSTORE
000008d3: PUSH1 0x04
000008d5: PUSH1 0x20
000008d7: MSTORE
000008d8: PUSH1 0x40
000008da: SWAP1
000008db: KECCAK256
000008dc: SLOAD
000008dd: LT
000008de: ISZERO
000008df: JUMPDEST
000008e0: ISZERO
000008e1: PUSH2 0x0925
000008e4: JUMPI
000008e5: PUSH1 0x01
000008e7: PUSH1 0xa0
000008e9: PUSH1 0x02
000008eb: EXP
000008ec: SUB
000008ed: DUP13
000008ee: AND
000008ef: PUSH1 0x00
000008f1: SWAP1
000008f2: DUP2
000008f3: MSTORE
000008f4: PUSH1 0x05
000008f6: PUSH1 0x20
000008f8: MSTORE
000008f9: PUSH1 0x40
000008fb: SWAP1
000008fc: KECCAK256
000008fd: SLOAD
000008fe: PUSH2 0x0907
00000901: SWAP1
00000902: DUP10
00000903: PUSH2 0x1432
00000906: JUMP
00000907: JUMPDEST
00000908: PUSH1 0x01
0000090a: PUSH1 0xa0
0000090c: PUSH1 0x02
0000090e: EXP
0000090f: SUB
00000910: DUP14
00000911: AND
00000912: PUSH1 0x00
00000914: SWAP1
00000915: DUP2
00000916: MSTORE
00000917: PUSH1 0x05
00000919: PUSH1 0x20
0000091b: MSTORE
0000091c: PUSH1 0x40
0000091e: SWAP1
0000091f: KECCAK256
00000920: SSTORE
00000921: PUSH2 0x093b
00000924: JUMP
00000925: JUMPDEST
00000926: PUSH2 0x092f
00000929: DUP8
0000092a: DUP10
0000092b: PUSH2 0x1432
0000092e: JUMP
0000092f: JUMPDEST
00000930: SWAP7
00000931: POP
00000932: PUSH1 0x40
00000934: PUSH1 0x02
00000936: EXP
00000937: DUP8
00000938: MUL
00000939: SWAP4
0000093a: POP
0000093b: JUMPDEST
0000093c: PUSH1 0x00
0000093e: PUSH1 0x08
00000940: SLOAD
00000941: GT
00000942: ISZERO
00000943: PUSH2 0x0995
00000946: JUMPI
00000947: PUSH2 0x0952
0000094a: PUSH1 0x08
0000094c: SLOAD
0000094d: DUP7
0000094e: PUSH2 0x1432
00000951: JUMP
00000952: JUMPDEST
00000953: PUSH1 0x08
00000955: DUP2
00000956: SWAP1
00000957: SSTORE
00000958: PUSH1 0x40
0000095a: PUSH1 0x02
0000095c: EXP
0000095d: DUP9
0000095e: MUL
0000095f: DUP2
00000960: ISZERO
00000961: ISZERO
00000962: PUSH2 0x0967
00000965: JUMPI
00000966: INVALID
00000967: JUMPDEST
00000968: PUSH1 0x09
0000096a: DUP1
0000096b: SLOAD
0000096c: SWAP3
0000096d: SWAP1
0000096e: SWAP2
0000096f: DIV
00000970: SWAP1
00000971: SWAP2
00000972: ADD
00000973: SWAP1
00000974: SSTORE
00000975: PUSH1 0x08
00000977: SLOAD
00000978: PUSH1 0x40
0000097a: PUSH1 0x02
0000097c: EXP
0000097d: DUP9
0000097e: MUL
0000097f: DUP2
00000980: ISZERO
00000981: ISZERO
00000982: PUSH2 0x0987
00000985: JUMPI
00000986: INVALID
00000987: JUMPDEST
00000988: DIV
00000989: DUP6
0000098a: MUL
0000098b: DUP5
0000098c: SUB
0000098d: DUP5
0000098e: SUB
0000098f: SWAP4
00000990: POP
00000991: PUSH2 0x099b
00000994: JUMP
00000995: JUMPDEST
00000996: PUSH1 0x08
00000998: DUP6
00000999: SWAP1
0000099a: SSTORE
0000099b: JUMPDEST
0000099c: PUSH1 0x01
0000099e: PUSH1 0xa0
000009a0: PUSH1 0x02
000009a2: EXP
000009a3: SUB
000009a4: DUP11
000009a5: AND
000009a6: PUSH1 0x00
000009a8: SWAP1
000009a9: DUP2
000009aa: MSTORE
000009ab: PUSH1 0x04
000009ad: PUSH1 0x20
000009af: MSTORE
000009b0: PUSH1 0x40
000009b2: SWAP1
000009b3: KECCAK256
000009b4: SLOAD
000009b5: PUSH2 0x09be
000009b8: SWAP1
000009b9: DUP7
000009ba: PUSH2 0x1432
000009bd: JUMP
000009be: JUMPDEST
000009bf: PUSH1 0x04
000009c1: PUSH1 0x00
000009c3: DUP13
000009c4: PUSH1 0x01
000009c6: PUSH1 0xa0
000009c8: PUSH1 0x02
000009ca: EXP
000009cb: SUB
000009cc: AND
000009cd: PUSH1 0x01
000009cf: PUSH1 0xa0
000009d1: PUSH1 0x02
000009d3: EXP
000009d4: SUB
000009d5: AND
000009d6: DUP2
000009d7: MSTORE
000009d8: PUSH1 0x20
000009da: ADD
000009db: SWAP1
000009dc: DUP2
000009dd: MSTORE
000009de: PUSH1 0x20
000009e0: ADD
000009e1: PUSH1 0x00
000009e3: KECCAK256
000009e4: DUP2
000009e5: SWAP1
000009e6: SSTORE
000009e7: POP
000009e8: DUP4
000009e9: DUP6
000009ea: PUSH1 0x09
000009ec: SLOAD
000009ed: MUL
000009ee: SUB
000009ef: SWAP3
000009f0: POP
000009f1: DUP3
000009f2: PUSH1 0x06
000009f4: PUSH1 0x00
000009f6: DUP13
000009f7: PUSH1 0x01
000009f9: PUSH1 0xa0
000009fb: PUSH1 0x02
000009fd: EXP
000009fe: SUB
000009ff: AND
00000a00: PUSH1 0x01
00000a02: PUSH1 0xa0
00000a04: PUSH1 0x02
00000a06: EXP
00000a07: SUB
00000a08: AND
00000a09: DUP2
00000a0a: MSTORE
00000a0b: PUSH1 0x20
00000a0d: ADD
00000a0e: SWAP1
00000a0f: DUP2
00000a10: MSTORE
00000a11: PUSH1 0x20
00000a13: ADD
00000a14: PUSH1 0x00
00000a16: KECCAK256
00000a17: PUSH1 0x00
00000a19: DUP3
00000a1a: DUP3
00000a1b: SLOAD
00000a1c: ADD
00000a1d: SWAP3
00000a1e: POP
00000a1f: POP
00000a20: DUP2
00000a21: SWAP1
00000a22: SSTORE
00000a23: POP
00000a24: DUP12
00000a25: PUSH1 0x01
00000a27: PUSH1 0xa0
00000a29: PUSH1 0x02
00000a2b: EXP
00000a2c: SUB
00000a2d: AND
00000a2e: DUP11
00000a2f: PUSH1 0x01
00000a31: PUSH1 0xa0
00000a33: PUSH1 0x02
00000a35: EXP
00000a36: SUB
00000a37: AND
00000a38: PUSH32 0x022c0d992e4d873a3748436d960d5140c1f9721cf73f7ca5ec679d3d9f4fe2d5
00000a59: DUP16
00000a5a: DUP9
00000a5b: PUSH1 0x40
00000a5d: MLOAD
00000a5e: SWAP2
00000a5f: DUP3
00000a60: MSTORE
00000a61: PUSH1 0x20
00000a63: DUP3
00000a64: ADD
00000a65: MSTORE
00000a66: PUSH1 0x40
00000a68: SWAP1
00000a69: DUP2
00000a6a: ADD
00000a6b: SWAP1
00000a6c: MLOAD
00000a6d: DUP1
00000a6e: SWAP2
00000a6f: SUB
00000a70: SWAP1
00000a71: LOG3
00000a72: DUP5
00000a73: SWAP11
00000a74: POP
00000a75: JUMPDEST
00000a76: POP
00000a77: POP
00000a78: POP
00000a79: POP
00000a7a: POP
00000a7b: POP
00000a7c: POP
00000a7d: POP
00000a7e: POP
00000a7f: POP
00000a80: SWAP3
00000a81: SWAP2
00000a82: POP
00000a83: POP
00000a84: JUMP
00000a85: JUMPDEST
00000a86: PUSH1 0x01
00000a88: PUSH1 0xa0
00000a8a: PUSH1 0x02
00000a8c: EXP
00000a8d: SUB
00000a8e: AND
00000a8f: PUSH1 0x00
00000a91: SWAP1
00000a92: DUP2
00000a93: MSTORE
00000a94: PUSH1 0x06
00000a96: PUSH1 0x20
00000a98: SWAP1
00000a99: DUP2
00000a9a: MSTORE
00000a9b: PUSH1 0x40
00000a9d: DUP1
00000a9e: DUP4
00000a9f: KECCAK256
00000aa0: SLOAD
00000aa1: PUSH1 0x04
00000aa3: SWAP1
00000aa4: SWAP3
00000aa5: MSTORE
00000aa6: SWAP1
00000aa7: SWAP2
00000aa8: KECCAK256
00000aa9: SLOAD
00000aaa: PUSH1 0x09
00000aac: SLOAD
00000aad: PUSH1 0x40
00000aaf: PUSH1 0x02
00000ab1: EXP
00000ab2: SWAP2
00000ab3: MUL
00000ab4: SWAP2
00000ab5: SWAP1
00000ab6: SWAP2
00000ab7: SUB
00000ab8: DIV
00000ab9: SWAP1
00000aba: JUMP
00000abb: JUMPDEST
00000abc: PUSH1 0x00
00000abe: DUP1
00000abf: SLOAD
00000ac0: PUSH1 0x01
00000ac2: DUP2
00000ac3: PUSH1 0x01
00000ac5: AND
00000ac6: ISZERO
00000ac7: PUSH2 0x0100
00000aca: MUL
00000acb: SUB
00000acc: AND
00000acd: PUSH1 0x02
00000acf: SWAP1
00000ad0: DIV
00000ad1: DUP1
00000ad2: PUSH1 0x1f
00000ad4: ADD
00000ad5: PUSH1 0x20
00000ad7: DUP1
00000ad8: SWAP2
00000ad9: DIV
00000ada: MUL
00000adb: PUSH1 0x20
00000add: ADD
00000ade: PUSH1 0x40
00000ae0: MLOAD
00000ae1: SWAP1
00000ae2: DUP2
00000ae3: ADD
00000ae4: PUSH1 0x40
00000ae6: MSTORE
00000ae7: DUP1
00000ae8: SWAP3
00000ae9: SWAP2
00000aea: SWAP1
00000aeb: DUP2
00000aec: DUP2
00000aed: MSTORE
00000aee: PUSH1 0x20
00000af0: ADD
00000af1: DUP3
00000af2: DUP1
00000af3: SLOAD
00000af4: PUSH1 0x01
00000af6: DUP2
00000af7: PUSH1 0x01
00000af9: AND
00000afa: ISZERO
00000afb: PUSH2 0x0100
00000afe: MUL
00000aff: SUB
00000b00: AND
00000b01: PUSH1 0x02
00000b03: SWAP1
00000b04: DIV
00000b05: DUP1
00000b06: ISZERO
00000b07: PUSH2 0x0b51
00000b0a: JUMPI
00000b0b: DUP1
00000b0c: PUSH1 0x1f
00000b0e: LT
00000b0f: PUSH2 0x0b26
00000b12: JUMPI
00000b13: PUSH2 0x0100
00000b16: DUP1
00000b17: DUP4
00000b18: SLOAD
00000b19: DIV
00000b1a: MUL
00000b1b: DUP4
00000b1c: MSTORE
00000b1d: SWAP2
00000b1e: PUSH1 0x20
00000b20: ADD
00000b21: SWAP2
00000b22: PUSH2 0x0b51
00000b25: JUMP
00000b26: JUMPDEST
00000b27: DUP3
00000b28: ADD
00000b29: SWAP2
00000b2a: SWAP1
00000b2b: PUSH1 0x00
00000b2d: MSTORE
00000b2e: PUSH1 0x20
00000b30: PUSH1 0x00
00000b32: KECCAK256
00000b33: SWAP1
00000b34: JUMPDEST
00000b35: DUP2
00000b36: SLOAD
00000b37: DUP2
00000b38: MSTORE
00000b39: SWAP1
00000b3a: PUSH1 0x01
00000b3c: ADD
00000b3d: SWAP1
00000b3e: PUSH1 0x20
00000b40: ADD
00000b41: DUP1
00000b42: DUP4
00000b43: GT
00000b44: PUSH2 0x0b34
00000b47: JUMPI
00000b48: DUP3
00000b49: SWAP1
00000b4a: SUB
00000b4b: PUSH1 0x1f
00000b4d: AND
00000b4e: DUP3
00000b4f: ADD
00000b50: SWAP2
00000b51: JUMPDEST
00000b52: POP
00000b53: POP
00000b54: POP
00000b55: POP
00000b56: POP
00000b57: DUP2
00000b58: JUMP
00000b59: JUMPDEST
00000b5a: PUSH1 0x00
00000b5c: DUP1
00000b5d: DUP1
00000b5e: DUP1
00000b5f: PUSH2 0x0b69
00000b62: DUP6
00000b63: PUSH1 0x0a
00000b65: PUSH2 0x1448
00000b68: JUMP
00000b69: JUMPDEST
00000b6a: SWAP3
00000b6b: POP
00000b6c: PUSH2 0x0b75
00000b6f: DUP6
00000b70: DUP5
00000b71: PUSH2 0x145f
00000b74: JUMP
00000b75: JUMPDEST
00000b76: SWAP2
00000b77: POP
00000b78: PUSH2 0x0b80
00000b7b: DUP3
00000b7c: PUSH2 0x1471
00000b7f: JUMP
00000b80: JUMPDEST
00000b81: SWAP6
00000b82: SWAP5
00000b83: POP
00000b84: POP
00000b85: POP
00000b86: POP
00000b87: POP
00000b88: JUMP
00000b89: JUMPDEST
00000b8a: PUSH1 0x08
00000b8c: SLOAD
00000b8d: JUMPDEST
00000b8e: SWAP1
00000b8f: JUMP
00000b90: JUMPDEST
00000b91: PUSH1 0x00
00000b93: DUP1
00000b94: PUSH1 0x00
00000b96: DUP1
00000b97: PUSH1 0x08
00000b99: SLOAD
00000b9a: DUP6
00000b9b: GT
00000b9c: ISZERO
00000b9d: ISZERO
00000b9e: ISZERO
00000b9f: PUSH2 0x0ba7
00000ba2: JUMPI
00000ba3: PUSH1 0x00
00000ba5: DUP1
00000ba6: REVERT
00000ba7: JUMPDEST
00000ba8: PUSH2 0x0bb0
00000bab: DUP6
00000bac: PUSH2 0x1509
00000baf: JUMP
00000bb0: JUMPDEST
00000bb1: SWAP3
00000bb2: POP
00000bb3: PUSH2 0x0bbd
00000bb6: DUP4
00000bb7: PUSH1 0x0a
00000bb9: PUSH2 0x1448
00000bbc: JUMP
00000bbd: JUMPDEST
00000bbe: SWAP2
00000bbf: POP
00000bc0: PUSH2 0x0b80
00000bc3: DUP4
00000bc4: DUP4
00000bc5: PUSH2 0x145f
00000bc8: JUMP
00000bc9: JUMPDEST
00000bca: PUSH1 0x0b
00000bcc: SLOAD
00000bcd: PUSH1 0xff
00000bcf: AND
00000bd0: DUP2
00000bd1: JUMP
00000bd2: JUMPDEST
00000bd3: PUSH1 0x12
00000bd5: DUP2
00000bd6: JUMP
00000bd7: JUMPDEST
00000bd8: PUSH1 0x0a
00000bda: PUSH1 0x20
00000bdc: MSTORE
00000bdd: PUSH1 0x00
00000bdf: SWAP1
00000be0: DUP2
00000be1: MSTORE
00000be2: PUSH1 0x40
00000be4: SWAP1
00000be5: KECCAK256
00000be6: SLOAD
00000be7: PUSH1 0xff
00000be9: AND
00000bea: DUP2
00000beb: JUMP
00000bec: JUMPDEST
00000bed: PUSH1 0x00
00000bef: DUP1
00000bf0: PUSH1 0x00
00000bf2: PUSH2 0x0bfb
00000bf5: PUSH1 0x01
00000bf7: PUSH2 0x0d0d
00000bfa: JUMP
00000bfb: JUMPDEST
00000bfc: GT
00000bfd: PUSH2 0x0c05
00000c00: JUMPI
00000c01: PUSH1 0x00
00000c03: DUP1
00000c04: REVERT
00000c05: JUMPDEST
00000c06: CALLER
00000c07: SWAP2
00000c08: POP
00000c09: PUSH2 0x0c12
00000c0c: PUSH1 0x00
00000c0e: PUSH2 0x0d0d
00000c11: JUMP
00000c12: JUMPDEST
00000c13: PUSH1 0x01
00000c15: PUSH1 0xa0
00000c17: PUSH1 0x02
00000c19: EXP
00000c1a: SUB
00000c1b: DUP4
00000c1c: AND
00000c1d: PUSH1 0x00
00000c1f: DUP2
00000c20: DUP2
00000c21: MSTORE
00000c22: PUSH1 0x06
00000c24: PUSH1 0x20
00000c26: SWAP1
00000c27: DUP2
00000c28: MSTORE
00000c29: PUSH1 0x40
00000c2b: DUP1
00000c2c: DUP4
00000c2d: KECCAK256
00000c2e: DUP1
00000c2f: SLOAD
00000c30: PUSH1 0x40
00000c32: PUSH1 0x02
00000c34: EXP
00000c35: DUP8
00000c36: MUL
00000c37: ADD
00000c38: SWAP1
00000c39: SSTORE
00000c3a: PUSH1 0x05
00000c3c: SWAP1
00000c3d: SWAP2
00000c3e: MSTORE
00000c3f: DUP1
00000c40: DUP3
00000c41: KECCAK256
00000c42: DUP1
00000c43: SLOAD
00000c44: SWAP3
00000c45: SWAP1
00000c46: SSTORE
00000c47: SWAP3
00000c48: ADD
00000c49: SWAP3
00000c4a: POP
00000c4b: SWAP1
00000c4c: DUP3
00000c4d: ISZERO
00000c4e: PUSH2 0x08fc
00000c51: MUL
00000c52: SWAP1
00000c53: DUP4
00000c54: SWAP1
00000c55: MLOAD
00000c56: PUSH1 0x00
00000c58: PUSH1 0x40
00000c5a: MLOAD
00000c5b: DUP1
00000c5c: DUP4
00000c5d: SUB
00000c5e: DUP2
00000c5f: DUP6
00000c60: DUP9
00000c61: DUP9
00000c62: CALL
00000c63: SWAP4
00000c64: POP
00000c65: POP
00000c66: POP
00000c67: POP
00000c68: ISZERO
00000c69: ISZERO
00000c6a: PUSH2 0x0c72
00000c6d: JUMPI
00000c6e: PUSH1 0x00
00000c70: DUP1
00000c71: REVERT
00000c72: JUMPDEST
00000c73: DUP2
00000c74: PUSH1 0x01
00000c76: PUSH1 0xa0
00000c78: PUSH1 0x02
00000c7a: EXP
00000c7b: SUB
00000c7c: AND
00000c7d: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00000c9e: DUP3
00000c9f: PUSH1 0x40
00000ca1: MLOAD
00000ca2: SWAP1
00000ca3: DUP2
00000ca4: MSTORE
00000ca5: PUSH1 0x20
00000ca7: ADD
00000ca8: PUSH1 0x40
00000caa: MLOAD
00000cab: DUP1
00000cac: SWAP2
00000cad: SUB
00000cae: SWAP1
00000caf: LOG2
00000cb0: POP
00000cb1: POP
00000cb2: JUMP
00000cb3: JUMPDEST
00000cb4: PUSH1 0x00
00000cb6: DUP1
00000cb7: PUSH1 0x00
00000cb9: DUP1
00000cba: PUSH1 0x08
00000cbc: SLOAD
00000cbd: PUSH1 0x00
00000cbf: EQ
00000cc0: ISZERO
00000cc1: PUSH2 0x0cd1
00000cc4: JUMPI
00000cc5: PUSH5 0x14f46b0400
00000ccb: SWAP4
00000ccc: POP
00000ccd: PUSH2 0x0d01
00000cd0: JUMP
00000cd1: JUMPDEST
00000cd2: PUSH2 0x0ce2
00000cd5: PUSH8 0x0de0b6b3a7640000
00000cde: PUSH2 0x1509
00000ce1: JUMP
00000ce2: JUMPDEST
00000ce3: SWAP3
00000ce4: POP
00000ce5: PUSH2 0x0cef
00000ce8: DUP4
00000ce9: PUSH1 0x0a
00000ceb: PUSH2 0x1448
00000cee: JUMP
00000cef: JUMPDEST
00000cf0: SWAP2
00000cf1: POP
00000cf2: PUSH2 0x0cfb
00000cf5: DUP4
00000cf6: DUP4
00000cf7: PUSH2 0x145f
00000cfa: JUMP
00000cfb: JUMPDEST
00000cfc: SWAP1
00000cfd: POP
00000cfe: DUP1
00000cff: SWAP4
00000d00: POP
00000d01: JUMPDEST
00000d02: POP
00000d03: POP
00000d04: POP
00000d05: SWAP1
00000d06: JUMP
00000d07: JUMPDEST
00000d08: PUSH1 0x02
00000d0a: SLOAD
00000d0b: DUP2
00000d0c: JUMP
00000d0d: JUMPDEST
00000d0e: PUSH1 0x00
00000d10: CALLER
00000d11: DUP3
00000d12: PUSH2 0x0d23
00000d15: JUMPI
00000d16: PUSH2 0x0d1e
00000d19: DUP2
00000d1a: PUSH2 0x0a85
00000d1d: JUMP
00000d1e: JUMPDEST
00000d1f: PUSH2 0x0d47
00000d22: JUMP
00000d23: JUMPDEST
00000d24: PUSH1 0x01
00000d26: PUSH1 0xa0
00000d28: PUSH1 0x02
00000d2a: EXP
00000d2b: SUB
00000d2c: DUP2
00000d2d: AND
00000d2e: PUSH1 0x00
00000d30: SWAP1
00000d31: DUP2
00000d32: MSTORE
00000d33: PUSH1 0x05
00000d35: PUSH1 0x20
00000d37: MSTORE
00000d38: PUSH1 0x40
00000d3a: SWAP1
00000d3b: KECCAK256
00000d3c: SLOAD
00000d3d: PUSH2 0x0d45
00000d40: DUP3
00000d41: PUSH2 0x0a85
00000d44: JUMP
00000d45: JUMPDEST
00000d46: ADD
00000d47: JUMPDEST
00000d48: SWAP2
00000d49: POP
00000d4a: JUMPDEST
00000d4b: POP
00000d4c: SWAP2
00000d4d: SWAP1
00000d4e: POP
00000d4f: JUMP
00000d50: JUMPDEST
00000d51: PUSH1 0x01
00000d53: PUSH1 0xa0
00000d55: PUSH1 0x02
00000d57: EXP
00000d58: SUB
00000d59: ADDRESS
00000d5a: AND
00000d5b: BALANCE
00000d5c: SWAP1
00000d5d: JUMP
00000d5e: JUMPDEST
00000d5f: PUSH1 0x01
00000d61: PUSH1 0xa0
00000d63: PUSH1 0x02
00000d65: EXP
00000d66: SUB
00000d67: AND
00000d68: PUSH1 0x00
00000d6a: SWAP1
00000d6b: DUP2
00000d6c: MSTORE
00000d6d: PUSH1 0x04
00000d6f: PUSH1 0x20
00000d71: MSTORE
00000d72: PUSH1 0x40
00000d74: SWAP1
00000d75: KECCAK256
00000d76: SLOAD
00000d77: SWAP1
00000d78: JUMP
00000d79: JUMPDEST
00000d7a: CALLER
00000d7b: PUSH1 0x0a
00000d7d: PUSH1 0x00
00000d7f: DUP3
00000d80: PUSH1 0x40
00000d82: MLOAD
00000d83: PUSH1 0x01
00000d85: PUSH1 0xa0
00000d87: PUSH1 0x02
00000d89: EXP
00000d8a: SUB
00000d8b: SWAP2
00000d8c: SWAP1
00000d8d: SWAP2
00000d8e: AND
00000d8f: PUSH13 0x01000000000000000000000000
00000d9d: MUL
00000d9e: DUP2
00000d9f: MSTORE
00000da0: PUSH1 0x14
00000da2: ADD
00000da3: PUSH1 0x40
00000da5: MLOAD
00000da6: SWAP1
00000da7: DUP2
00000da8: SWAP1
00000da9: SUB
00000daa: SWAP1
00000dab: KECCAK256
00000dac: DUP2
00000dad: MSTORE
00000dae: PUSH1 0x20
00000db0: DUP2
00000db1: ADD
00000db2: SWAP2
00000db3: SWAP1
00000db4: SWAP2
00000db5: MSTORE
00000db6: PUSH1 0x40
00000db8: ADD
00000db9: PUSH1 0x00
00000dbb: KECCAK256
00000dbc: SLOAD
00000dbd: PUSH1 0xff
00000dbf: AND
00000dc0: ISZERO
00000dc1: ISZERO
00000dc2: PUSH2 0x0dca
00000dc5: JUMPI
00000dc6: PUSH1 0x00
00000dc8: DUP1
00000dc9: REVERT
00000dca: JUMPDEST
00000dcb: POP
00000dcc: PUSH1 0x02
00000dce: SSTORE
00000dcf: JUMP
00000dd0: JUMPDEST
00000dd1: PUSH1 0x00
00000dd3: DUP1
00000dd4: PUSH1 0x00
00000dd6: DUP1
00000dd7: PUSH1 0x08
00000dd9: SLOAD
00000dda: PUSH1 0x00
00000ddc: EQ
00000ddd: ISZERO
00000dde: PUSH2 0x0dee
00000de1: JUMPI
00000de2: PUSH5 0x199c82cc00
00000de8: SWAP4
00000de9: POP
00000dea: PUSH2 0x0d01
00000ded: JUMP
00000dee: JUMPDEST
00000def: PUSH2 0x0dff
00000df2: PUSH8 0x0de0b6b3a7640000
00000dfb: PUSH2 0x1509
00000dfe: JUMP
00000dff: JUMPDEST
00000e00: SWAP3
00000e01: POP
00000e02: PUSH2 0x0e0c
00000e05: DUP4
00000e06: PUSH1 0x0a
00000e08: PUSH2 0x1448
00000e0b: JUMP
00000e0c: JUMPDEST
00000e0d: SWAP2
00000e0e: POP
00000e0f: PUSH2 0x0cfb
00000e12: DUP4
00000e13: DUP4
00000e14: PUSH2 0x1432
00000e17: JUMP
00000e18: JUMPDEST
00000e19: CALLER
00000e1a: PUSH1 0x0a
00000e1c: PUSH1 0x00
00000e1e: DUP3
00000e1f: PUSH1 0x40
00000e21: MLOAD
00000e22: PUSH1 0x01
00000e24: PUSH1 0xa0
00000e26: PUSH1 0x02
00000e28: EXP
00000e29: SUB
00000e2a: SWAP2
00000e2b: SWAP1
00000e2c: SWAP2
00000e2d: AND
00000e2e: PUSH13 0x01000000000000000000000000
00000e3c: MUL
00000e3d: DUP2
00000e3e: MSTORE
00000e3f: PUSH1 0x14
00000e41: ADD
00000e42: PUSH1 0x40
00000e44: MLOAD
00000e45: SWAP1
00000e46: DUP2
00000e47: SWAP1
00000e48: SUB
00000e49: SWAP1
00000e4a: KECCAK256
00000e4b: DUP2
00000e4c: MSTORE
00000e4d: PUSH1 0x20
00000e4f: DUP2
00000e50: ADD
00000e51: SWAP2
00000e52: SWAP1
00000e53: SWAP2
00000e54: MSTORE
00000e55: PUSH1 0x40
00000e57: ADD
00000e58: PUSH1 0x00
00000e5a: KECCAK256
00000e5b: SLOAD
00000e5c: PUSH1 0xff
00000e5e: AND
00000e5f: ISZERO
00000e60: ISZERO
00000e61: PUSH2 0x0e69
00000e64: JUMPI
00000e65: PUSH1 0x00
00000e67: DUP1
00000e68: REVERT
00000e69: JUMPDEST
00000e6a: POP
00000e6b: PUSH1 0x00
00000e6d: SWAP2
00000e6e: DUP3
00000e6f: MSTORE
00000e70: PUSH1 0x0a
00000e72: PUSH1 0x20
00000e74: MSTORE
00000e75: PUSH1 0x40
00000e77: SWAP1
00000e78: SWAP2
00000e79: KECCAK256
00000e7a: DUP1
00000e7b: SLOAD
00000e7c: PUSH1 0xff
00000e7e: NOT
00000e7f: AND
00000e80: SWAP2
00000e81: ISZERO
00000e82: ISZERO
00000e83: SWAP2
00000e84: SWAP1
00000e85: SWAP2
00000e86: OR
00000e87: SWAP1
00000e88: SSTORE
00000e89: JUMP
00000e8a: JUMPDEST
00000e8b: PUSH1 0x00
00000e8d: CALLER
00000e8e: PUSH2 0x0e96
00000e91: DUP2
00000e92: PUSH2 0x0d5e
00000e95: JUMP
00000e96: JUMPDEST
00000e97: SWAP2
00000e98: POP
00000e99: JUMPDEST
00000e9a: POP
00000e9b: SWAP1
00000e9c: JUMP
00000e9d: JUMPDEST
00000e9e: PUSH1 0x01
00000ea0: DUP1
00000ea1: SLOAD
00000ea2: PUSH1 0x01
00000ea4: DUP2
00000ea5: PUSH1 0x01
00000ea7: AND
00000ea8: ISZERO
00000ea9: PUSH2 0x0100
00000eac: MUL
00000ead: SUB
00000eae: AND
00000eaf: PUSH1 0x02
00000eb1: SWAP1
00000eb2: DIV
00000eb3: DUP1
00000eb4: PUSH1 0x1f
00000eb6: ADD
00000eb7: PUSH1 0x20
00000eb9: DUP1
00000eba: SWAP2
00000ebb: DIV
00000ebc: MUL
00000ebd: PUSH1 0x20
00000ebf: ADD
00000ec0: PUSH1 0x40
00000ec2: MLOAD
00000ec3: SWAP1
00000ec4: DUP2
00000ec5: ADD
00000ec6: PUSH1 0x40
00000ec8: MSTORE
00000ec9: DUP1
00000eca: SWAP3
00000ecb: SWAP2
00000ecc: SWAP1
00000ecd: DUP2
00000ece: DUP2
00000ecf: MSTORE
00000ed0: PUSH1 0x20
00000ed2: ADD
00000ed3: DUP3
00000ed4: DUP1
00000ed5: SLOAD
00000ed6: PUSH1 0x01
00000ed8: DUP2
00000ed9: PUSH1 0x01
00000edb: AND
00000edc: ISZERO
00000edd: PUSH2 0x0100
00000ee0: MUL
00000ee1: SUB
00000ee2: AND
00000ee3: PUSH1 0x02
00000ee5: SWAP1
00000ee6: DIV
00000ee7: DUP1
00000ee8: ISZERO
00000ee9: PUSH2 0x0b51
00000eec: JUMPI
00000eed: DUP1
00000eee: PUSH1 0x1f
00000ef0: LT
00000ef1: PUSH2 0x0b26
00000ef4: JUMPI
00000ef5: PUSH2 0x0100
00000ef8: DUP1
00000ef9: DUP4
00000efa: SLOAD
00000efb: DIV
00000efc: MUL
00000efd: DUP4
00000efe: MSTORE
00000eff: SWAP2
00000f00: PUSH1 0x20
00000f02: ADD
00000f03: SWAP2
00000f04: PUSH2 0x0b51
00000f07: JUMP
00000f08: JUMPDEST
00000f09: CALLER
00000f0a: PUSH1 0x0a
00000f0c: PUSH1 0x00
00000f0e: DUP3
00000f0f: PUSH1 0x40
00000f11: MLOAD
00000f12: PUSH1 0x01
00000f14: PUSH1 0xa0
00000f16: PUSH1 0x02
00000f18: EXP
00000f19: SUB
00000f1a: SWAP2
00000f1b: SWAP1
00000f1c: SWAP2
00000f1d: AND
00000f1e: PUSH13 0x01000000000000000000000000
00000f2c: MUL
00000f2d: DUP2
00000f2e: MSTORE
00000f2f: PUSH1 0x14
00000f31: ADD
00000f32: PUSH1 0x40
00000f34: MLOAD
00000f35: SWAP1
00000f36: DUP2
00000f37: SWAP1
00000f38: SUB
00000f39: SWAP1
00000f3a: KECCAK256
00000f3b: DUP2
00000f3c: MSTORE
00000f3d: PUSH1 0x20
00000f3f: DUP2
00000f40: ADD
00000f41: SWAP2
00000f42: SWAP1
00000f43: SWAP2
00000f44: MSTORE
00000f45: PUSH1 0x40
00000f47: ADD
00000f48: PUSH1 0x00
00000f4a: KECCAK256
00000f4b: SLOAD
00000f4c: PUSH1 0xff
00000f4e: AND
00000f4f: ISZERO
00000f50: ISZERO
00000f51: PUSH2 0x0f59
00000f54: JUMPI
00000f55: PUSH1 0x00
00000f57: DUP1
00000f58: REVERT
00000f59: JUMPDEST
00000f5a: POP
00000f5b: PUSH1 0x0b
00000f5d: DUP1
00000f5e: SLOAD
00000f5f: PUSH1 0xff
00000f61: NOT
00000f62: AND
00000f63: SWAP1
00000f64: SSTORE
00000f65: JUMP
00000f66: JUMPDEST
00000f67: PUSH1 0x00
00000f69: DUP1
00000f6a: PUSH1 0x00
00000f6c: DUP1
00000f6d: PUSH1 0x00
00000f6f: DUP1
00000f70: PUSH2 0x0f77
00000f73: PUSH2 0x0e8a
00000f76: JUMP
00000f77: JUMPDEST
00000f78: GT
00000f79: PUSH2 0x0f81
00000f7c: JUMPI
00000f7d: PUSH1 0x00
00000f7f: DUP1
00000f80: REVERT
00000f81: JUMPDEST
00000f82: PUSH1 0x0b
00000f84: SLOAD
00000f85: CALLER
00000f86: SWAP5
00000f87: POP
00000f88: PUSH1 0xff
00000f8a: AND
00000f8b: ISZERO
00000f8c: DUP1
00000f8d: ISZERO
00000f8e: PUSH2 0x0faf
00000f91: JUMPI
00000f92: POP
00000f93: PUSH1 0x01
00000f95: PUSH1 0xa0
00000f97: PUSH1 0x02
00000f99: EXP
00000f9a: SUB
00000f9b: DUP5
00000f9c: AND
00000f9d: PUSH1 0x00
00000f9f: SWAP1
00000fa0: DUP2
00000fa1: MSTORE
00000fa2: PUSH1 0x04
00000fa4: PUSH1 0x20
00000fa6: MSTORE
00000fa7: PUSH1 0x40
00000fa9: SWAP1
00000faa: KECCAK256
00000fab: SLOAD
00000fac: DUP7
00000fad: GT
00000fae: ISZERO
00000faf: JUMPDEST
00000fb0: ISZERO
00000fb1: ISZERO
00000fb2: PUSH2 0x0fba
00000fb5: JUMPI
00000fb6: PUSH1 0x00
00000fb8: DUP1
00000fb9: REVERT
00000fba: JUMPDEST
00000fbb: PUSH1 0x00
00000fbd: PUSH2 0x0fc6
00000fc0: PUSH1 0x01
00000fc2: PUSH2 0x0d0d
00000fc5: JUMP
00000fc6: JUMPDEST
00000fc7: GT
00000fc8: ISZERO
00000fc9: PUSH2 0x0fd4
00000fcc: JUMPI
00000fcd: PUSH2 0x0fd4
00000fd0: PUSH2 0x0bec
00000fd3: JUMP
00000fd4: JUMPDEST
00000fd5: PUSH2 0x0fdf
00000fd8: DUP7
00000fd9: PUSH1 0x0a
00000fdb: PUSH2 0x1448
00000fde: JUMP
00000fdf: JUMPDEST
00000fe0: SWAP3
00000fe1: POP
00000fe2: PUSH2 0x0feb
00000fe5: DUP7
00000fe6: DUP5
00000fe7: PUSH2 0x145f
00000fea: JUMP
00000feb: JUMPDEST
00000fec: SWAP2
00000fed: POP
00000fee: PUSH2 0x0ff6
00000ff1: DUP4
00000ff2: PUSH2 0x1509
00000ff5: JUMP
00000ff6: JUMPDEST
00000ff7: SWAP1
00000ff8: POP
00000ff9: PUSH2 0x1004
00000ffc: PUSH1 0x08
00000ffe: SLOAD
00000fff: DUP5
00001000: PUSH2 0x145f
00001003: JUMP
00001004: JUMPDEST
00001005: PUSH1 0x08
00001007: SSTORE
00001008: PUSH1 0x01
0000100a: PUSH1 0xa0
0000100c: PUSH1 0x02
0000100e: EXP
0000100f: SUB
00001010: DUP5
00001011: AND
00001012: PUSH1 0x00
00001014: SWAP1
00001015: DUP2
00001016: MSTORE
00001017: PUSH1 0x04
00001019: PUSH1 0x20
0000101b: MSTORE
0000101c: PUSH1 0x40
0000101e: SWAP1
0000101f: KECCAK256
00001020: SLOAD
00001021: PUSH2 0x102a
00001024: SWAP1
00001025: DUP8
00001026: PUSH2 0x145f
00001029: JUMP
0000102a: JUMPDEST
0000102b: PUSH1 0x01
0000102d: PUSH1 0xa0
0000102f: PUSH1 0x02
00001031: EXP
00001032: SUB
00001033: DUP1
00001034: DUP7
00001035: AND
00001036: PUSH1 0x00
00001038: SWAP1
00001039: DUP2
0000103a: MSTORE
0000103b: PUSH1 0x04
0000103d: PUSH1 0x20
0000103f: MSTORE
00001040: PUSH1 0x40
00001042: DUP1
00001043: DUP3
00001044: KECCAK256
00001045: SWAP4
00001046: SWAP1
00001047: SWAP4
00001048: SSTORE
00001049: SWAP1
0000104a: DUP10
0000104b: AND
0000104c: DUP2
0000104d: MSTORE
0000104e: KECCAK256
0000104f: SLOAD
00001050: PUSH2 0x1059
00001053: SWAP1
00001054: DUP4
00001055: PUSH2 0x1432
00001058: JUMP
00001059: JUMPDEST
0000105a: PUSH1 0x01
0000105c: PUSH1 0xa0
0000105e: PUSH1 0x02
00001060: EXP
00001061: SUB
00001062: DUP9
00001063: DUP2
00001064: AND
00001065: PUSH1 0x00
00001067: DUP2
00001068: DUP2
00001069: MSTORE
0000106a: PUSH1 0x04
0000106c: PUSH1 0x20
0000106e: SWAP1
0000106f: DUP2
00001070: MSTORE
00001071: PUSH1 0x40
00001073: DUP1
00001074: DUP4
00001075: KECCAK256
00001076: SWAP6
00001077: SWAP1
00001078: SWAP6
00001079: SSTORE
0000107a: PUSH1 0x09
0000107c: DUP1
0000107d: SLOAD
0000107e: SWAP5
0000107f: DUP11
00001080: AND
00001081: DUP4
00001082: MSTORE
00001083: PUSH1 0x06
00001085: SWAP1
00001086: SWAP2
00001087: MSTORE
00001088: DUP5
00001089: DUP3
0000108a: KECCAK256
0000108b: DUP1
0000108c: SLOAD
0000108d: SWAP5
0000108e: DUP13
0000108f: MUL
00001090: SWAP1
00001091: SWAP5
00001092: SUB
00001093: SWAP1
00001094: SWAP4
00001095: SSTORE
00001096: DUP3
00001097: SLOAD
00001098: SWAP2
00001099: DUP2
0000109a: MSTORE
0000109b: SWAP3
0000109c: SWAP1
0000109d: SWAP3
0000109e: KECCAK256
0000109f: DUP1
000010a0: SLOAD
000010a1: SWAP3
000010a2: DUP6
000010a3: MUL
000010a4: SWAP1
000010a5: SWAP3
000010a6: ADD
000010a7: SWAP1
000010a8: SWAP2
000010a9: SSTORE
000010aa: SLOAD
000010ab: PUSH1 0x08
000010ad: SLOAD
000010ae: PUSH2 0x10c8
000010b1: SWAP2
000010b2: SWAP1
000010b3: PUSH1 0x40
000010b5: PUSH1 0x02
000010b7: EXP
000010b8: DUP5
000010b9: MUL
000010ba: DUP2
000010bb: ISZERO
000010bc: ISZERO
000010bd: PUSH2 0x10c2
000010c0: JUMPI
000010c1: INVALID
000010c2: JUMPDEST
000010c3: DIV
000010c4: PUSH2 0x1432
000010c7: JUMP
000010c8: JUMPDEST
000010c9: PUSH1 0x09
000010cb: SSTORE
000010cc: PUSH1 0x01
000010ce: PUSH1 0xa0
000010d0: PUSH1 0x02
000010d2: EXP
000010d3: SUB
000010d4: DUP1
000010d5: DUP9
000010d6: AND
000010d7: SWAP1
000010d8: DUP6
000010d9: AND
000010da: PUSH32 0xddf252ad1be2c89b69c2b068fc378daa952ba7f163c4a11628f55a4df523b3ef
000010fb: DUP5
000010fc: PUSH1 0x40
000010fe: MLOAD
000010ff: SWAP1
00001100: DUP2
00001101: MSTORE
00001102: PUSH1 0x20
00001104: ADD
00001105: PUSH1 0x40
00001107: MLOAD
00001108: DUP1
00001109: SWAP2
0000110a: SUB
0000110b: SWAP1
0000110c: LOG3
0000110d: POP
0000110e: PUSH1 0x01
00001110: SWAP7
00001111: SWAP6
00001112: POP
00001113: POP
00001114: POP
00001115: POP
00001116: POP
00001117: POP
00001118: JUMP
00001119: JUMPDEST
0000111a: CALLER
0000111b: PUSH1 0x0a
0000111d: PUSH1 0x00
0000111f: DUP3
00001120: PUSH1 0x40
00001122: MLOAD
00001123: PUSH1 0x01
00001125: PUSH1 0xa0
00001127: PUSH1 0x02
00001129: EXP
0000112a: SUB
0000112b: SWAP2
0000112c: SWAP1
0000112d: SWAP2
0000112e: AND
0000112f: PUSH13 0x01000000000000000000000000
0000113d: MUL
0000113e: DUP2
0000113f: MSTORE
00001140: PUSH1 0x14
00001142: ADD
00001143: PUSH1 0x40
00001145: MLOAD
00001146: SWAP1
00001147: DUP2
00001148: SWAP1
00001149: SUB
0000114a: SWAP1
0000114b: KECCAK256
0000114c: DUP2
0000114d: MSTORE
0000114e: PUSH1 0x20
00001150: DUP2
00001151: ADD
00001152: SWAP2
00001153: SWAP1
00001154: SWAP2
00001155: MSTORE
00001156: PUSH1 0x40
00001158: ADD
00001159: PUSH1 0x00
0000115b: KECCAK256
0000115c: SLOAD
0000115d: PUSH1 0xff
0000115f: AND
00001160: ISZERO
00001161: ISZERO
00001162: PUSH2 0x116a
00001165: JUMPI
00001166: PUSH1 0x00
00001168: DUP1
00001169: REVERT
0000116a: JUMPDEST
0000116b: PUSH1 0x01
0000116d: DUP3
0000116e: DUP1
0000116f: MLOAD
00001170: PUSH2 0x117d
00001173: SWAP3
00001174: SWAP2
00001175: PUSH1 0x20
00001177: ADD
00001178: SWAP1
00001179: PUSH2 0x15aa
0000117c: JUMP
0000117d: JUMPDEST
0000117e: POP
0000117f: POP
00001180: POP
00001181: JUMP
00001182: JUMPDEST
00001183: CALLER
00001184: PUSH1 0x0a
00001186: PUSH1 0x00
00001188: DUP3
00001189: PUSH1 0x40
0000118b: MLOAD
0000118c: PUSH1 0x01
0000118e: PUSH1 0xa0
00001190: PUSH1 0x02
00001192: EXP
00001193: SUB
00001194: SWAP2
00001195: SWAP1
00001196: SWAP2
00001197: AND
00001198: PUSH13 0x01000000000000000000000000
000011a6: MUL
000011a7: DUP2
000011a8: MSTORE
000011a9: PUSH1 0x14
000011ab: ADD
000011ac: PUSH1 0x40
000011ae: MLOAD
000011af: SWAP1
000011b0: DUP2
000011b1: SWAP1
000011b2: SUB
000011b3: SWAP1
000011b4: KECCAK256
000011b5: DUP2
000011b6: MSTORE
000011b7: PUSH1 0x20
000011b9: DUP2
000011ba: ADD
000011bb: SWAP2
000011bc: SWAP1
000011bd: SWAP2
000011be: MSTORE
000011bf: PUSH1 0x40
000011c1: ADD
000011c2: PUSH1 0x00
000011c4: KECCAK256
000011c5: SLOAD
000011c6: PUSH1 0xff
000011c8: AND
000011c9: ISZERO
000011ca: ISZERO
000011cb: PUSH2 0x11d3
000011ce: JUMPI
000011cf: PUSH1 0x00
000011d1: DUP1
000011d2: REVERT
000011d3: JUMPDEST
000011d4: PUSH1 0x00
000011d6: DUP3
000011d7: DUP1
000011d8: MLOAD
000011d9: PUSH2 0x117d
000011dc: SWAP3
000011dd: SWAP2
000011de: PUSH1 0x20
000011e0: ADD
000011e1: SWAP1
000011e2: PUSH2 0x15aa
000011e5: JUMP
000011e6: JUMPDEST
000011e7: PUSH1 0x00
000011e9: DUP1
000011ea: PUSH1 0x00
000011ec: DUP1
000011ed: PUSH1 0x00
000011ef: DUP1
000011f0: PUSH1 0x00
000011f2: PUSH2 0x11f9
000011f5: PUSH2 0x0e8a
000011f8: JUMP
000011f9: JUMPDEST
000011fa: GT
000011fb: PUSH2 0x1203
000011fe: JUMPI
000011ff: PUSH1 0x00
00001201: DUP1
00001202: REVERT
00001203: JUMPDEST
00001204: CALLER
00001205: PUSH1 0x01
00001207: PUSH1 0xa0
00001209: PUSH1 0x02
0000120b: EXP
0000120c: SUB
0000120d: DUP2
0000120e: AND
0000120f: PUSH1 0x00
00001211: SWAP1
00001212: DUP2
00001213: MSTORE
00001214: PUSH1 0x04
00001216: PUSH1 0x20
00001218: MSTORE
00001219: PUSH1 0x40
0000121b: SWAP1
0000121c: KECCAK256
0000121d: SLOAD
0000121e: SWAP1
0000121f: SWAP7
00001220: POP
00001221: DUP8
00001222: GT
00001223: ISZERO
00001224: PUSH2 0x122c
00001227: JUMPI
00001228: PUSH1 0x00
0000122a: DUP1
0000122b: REVERT
0000122c: JUMPDEST
0000122d: DUP7
0000122e: SWAP5
0000122f: POP
00001230: PUSH2 0x1238
00001233: DUP6
00001234: PUSH2 0x1509
00001237: JUMP
00001238: JUMPDEST
00001239: SWAP4
0000123a: POP
0000123b: PUSH2 0x1245
0000123e: DUP5
0000123f: PUSH1 0x0a
00001241: PUSH2 0x1448
00001244: JUMP
00001245: JUMPDEST
00001246: SWAP3
00001247: POP
00001248: PUSH2 0x1251
0000124b: DUP5
0000124c: DUP5
0000124d: PUSH2 0x145f
00001250: JUMP
00001251: JUMPDEST
00001252: SWAP2
00001253: POP
00001254: PUSH2 0x125f
00001257: PUSH1 0x08
00001259: SLOAD
0000125a: DUP7
0000125b: PUSH2 0x145f
0000125e: JUMP
0000125f: JUMPDEST
00001260: PUSH1 0x08
00001262: SSTORE
00001263: PUSH1 0x01
00001265: PUSH1 0xa0
00001267: PUSH1 0x02
00001269: EXP
0000126a: SUB
0000126b: DUP7
0000126c: AND
0000126d: PUSH1 0x00
0000126f: SWAP1
00001270: DUP2
00001271: MSTORE
00001272: PUSH1 0x04
00001274: PUSH1 0x20
00001276: MSTORE
00001277: PUSH1 0x40
00001279: SWAP1
0000127a: KECCAK256
0000127b: SLOAD
0000127c: PUSH2 0x1285
0000127f: SWAP1
00001280: DUP7
00001281: PUSH2 0x145f
00001284: JUMP
00001285: JUMPDEST
00001286: PUSH1 0x01
00001288: PUSH1 0xa0
0000128a: PUSH1 0x02
0000128c: EXP
0000128d: SUB
0000128e: DUP8
0000128f: AND
00001290: PUSH1 0x00
00001292: SWAP1
00001293: DUP2
00001294: MSTORE
00001295: PUSH1 0x04
00001297: PUSH1 0x20
00001299: SWAP1
0000129a: DUP2
0000129b: MSTORE
0000129c: PUSH1 0x40
0000129e: DUP1
0000129f: DUP4
000012a0: KECCAK256
000012a1: SWAP4
000012a2: SWAP1
000012a3: SWAP4
000012a4: SSTORE
000012a5: PUSH1 0x09
000012a7: SLOAD
000012a8: PUSH1 0x06
000012aa: SWAP1
000012ab: SWAP2
000012ac: MSTORE
000012ad: SWAP2
000012ae: DUP2
000012af: KECCAK256
000012b0: DUP1
000012b1: SLOAD
000012b2: SWAP3
000012b3: DUP9
000012b4: MUL
000012b5: PUSH1 0x40
000012b7: PUSH1 0x02
000012b9: EXP
000012ba: DUP7
000012bb: MUL
000012bc: ADD
000012bd: SWAP3
000012be: DUP4
000012bf: SWAP1
000012c0: SUB
000012c1: SWAP1
000012c2: SSTORE
000012c3: PUSH1 0x08
000012c5: SLOAD
000012c6: SWAP2
000012c7: SWAP3
000012c8: POP
000012c9: SWAP1
000012ca: GT
000012cb: ISZERO
000012cc: PUSH2 0x12ec
000012cf: JUMPI
000012d0: PUSH2 0x12e8
000012d3: PUSH1 0x09
000012d5: SLOAD
000012d6: PUSH1 0x08
000012d8: SLOAD
000012d9: PUSH1 0x40
000012db: PUSH1 0x02
000012dd: EXP
000012de: DUP7
000012df: MUL
000012e0: DUP2
000012e1: ISZERO
000012e2: ISZERO
000012e3: PUSH2 0x10c2
000012e6: JUMPI
000012e7: INVALID
000012e8: JUMPDEST
000012e9: PUSH1 0x09
000012eb: SSTORE
000012ec: JUMPDEST
000012ed: DUP6
000012ee: PUSH1 0x01
000012f0: PUSH1 0xa0
000012f2: PUSH1 0x02
000012f4: EXP
000012f5: SUB
000012f6: AND
000012f7: PUSH32 0xc4823739c5787d2ca17e404aa47d5569ae71dfb49cbf21b3f6152ed238a31139
00001318: DUP7
00001319: DUP5
0000131a: PUSH1 0x40
0000131c: MLOAD
0000131d: SWAP2
0000131e: DUP3
0000131f: MSTORE
00001320: PUSH1 0x20
00001322: DUP3
00001323: ADD
00001324: MSTORE
00001325: PUSH1 0x40
00001327: SWAP1
00001328: DUP2
00001329: ADD
0000132a: SWAP1
0000132b: MLOAD
0000132c: DUP1
0000132d: SWAP2
0000132e: SUB
0000132f: SWAP1
00001330: LOG2
00001331: POP
00001332: POP
00001333: POP
00001334: POP
00001335: POP
00001336: POP
00001337: POP
00001338: JUMP
00001339: JUMPDEST
0000133a: CALLER
0000133b: PUSH1 0x01
0000133d: PUSH1 0xa0
0000133f: PUSH1 0x02
00001341: EXP
00001342: SUB
00001343: DUP2
00001344: AND
00001345: PUSH1 0x00
00001347: SWAP1
00001348: DUP2
00001349: MSTORE
0000134a: PUSH1 0x04
0000134c: PUSH1 0x20
0000134e: MSTORE
0000134f: PUSH1 0x40
00001351: DUP2
00001352: KECCAK256
00001353: SLOAD
00001354: SWAP1
00001355: DUP2
00001356: GT
00001357: ISZERO
00001358: PUSH2 0x1364
0000135b: JUMPI
0000135c: PUSH2 0x1364
0000135f: DUP2
00001360: PUSH2 0x11e6
00001363: JUMP
00001364: JUMPDEST
00001365: PUSH2 0x136c
00001368: PUSH2 0x0bec
0000136b: JUMP
0000136c: JUMPDEST
0000136d: POP
0000136e: POP
0000136f: JUMP
00001370: JUMPDEST
00001371: PUSH1 0x00
00001373: PUSH2 0x0d4a
00001376: CALLVALUE
00001377: DUP4
00001378: PUSH2 0x04e1
0000137b: JUMP
0000137c: JUMPDEST
0000137d: PUSH1 0x00
0000137f: DUP1
00001380: PUSH1 0x00
00001382: DUP1
00001383: PUSH2 0x138c
00001386: PUSH1 0x01
00001388: PUSH2 0x0d0d
0000138b: JUMP
0000138c: JUMPDEST
0000138d: GT
0000138e: PUSH2 0x1396
00001391: JUMPI
00001392: PUSH1 0x00
00001394: DUP1
00001395: REVERT
00001396: JUMPDEST
00001397: PUSH2 0x13a0
0000139a: PUSH1 0x00
0000139c: PUSH2 0x0d0d
0000139f: JUMP
000013a0: JUMPDEST
000013a1: CALLER
000013a2: PUSH1 0x01
000013a4: PUSH1 0xa0
000013a6: PUSH1 0x02
000013a8: EXP
000013a9: SUB
000013aa: DUP2
000013ab: AND
000013ac: PUSH1 0x00
000013ae: SWAP1
000013af: DUP2
000013b0: MSTORE
000013b1: PUSH1 0x06
000013b3: PUSH1 0x20
000013b5: SWAP1
000013b6: DUP2
000013b7: MSTORE
000013b8: PUSH1 0x40
000013ba: DUP1
000013bb: DUP4
000013bc: KECCAK256
000013bd: DUP1
000013be: SLOAD
000013bf: PUSH1 0x40
000013c1: PUSH1 0x02
000013c3: EXP
000013c4: DUP8
000013c5: MUL
000013c6: ADD
000013c7: SWAP1
000013c8: SSTORE
000013c9: PUSH1 0x05
000013cb: SWAP1
000013cc: SWAP2
000013cd: MSTORE
000013ce: DUP2
000013cf: KECCAK256
000013d0: DUP1
000013d1: SLOAD
000013d2: SWAP1
000013d3: DUP3
000013d4: SWAP1
000013d5: SSTORE
000013d6: SWAP1
000013d7: SWAP3
000013d8: ADD
000013d9: SWAP5
000013da: POP
000013db: SWAP3
000013dc: POP
000013dd: PUSH2 0x13e7
000013e0: SWAP1
000013e1: DUP5
000013e2: SWAP1
000013e3: PUSH2 0x04e1
000013e6: JUMP
000013e7: JUMPDEST
000013e8: SWAP1
000013e9: POP
000013ea: DUP2
000013eb: PUSH1 0x01
000013ed: PUSH1 0xa0
000013ef: PUSH1 0x02
000013f1: EXP
000013f2: SUB
000013f3: AND
000013f4: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
00001415: DUP5
00001416: DUP4
00001417: PUSH1 0x40
00001419: MLOAD
0000141a: SWAP2
0000141b: DUP3
0000141c: MSTORE
0000141d: PUSH1 0x20
0000141f: DUP3
00001420: ADD
00001421: MSTORE
00001422: PUSH1 0x40
00001424: SWAP1
00001425: DUP2
00001426: ADD
00001427: SWAP1
00001428: MLOAD
00001429: DUP1
0000142a: SWAP2
0000142b: SUB
0000142c: SWAP1
0000142d: LOG2
0000142e: POP
0000142f: POP
00001430: POP
00001431: JUMP
00001432: JUMPDEST
00001433: PUSH1 0x00
00001435: DUP3
00001436: DUP3
00001437: ADD
00001438: DUP4
00001439: DUP2
0000143a: LT
0000143b: ISZERO
0000143c: PUSH2 0x1441
0000143f: JUMPI
00001440: INVALID
00001441: JUMPDEST
00001442: SWAP4
00001443: SWAP3
00001444: POP
00001445: POP
00001446: POP
00001447: JUMP
00001448: JUMPDEST
00001449: PUSH1 0x00
0000144b: DUP1
0000144c: DUP3
0000144d: DUP5
0000144e: DUP2
0000144f: ISZERO
00001450: ISZERO
00001451: PUSH2 0x1456
00001454: JUMPI
00001455: INVALID
00001456: JUMPDEST
00001457: DIV
00001458: SWAP5
00001459: SWAP4
0000145a: POP
0000145b: POP
0000145c: POP
0000145d: POP
0000145e: JUMP
0000145f: JUMPDEST
00001460: PUSH1 0x00
00001462: DUP3
00001463: DUP3
00001464: GT
00001465: ISZERO
00001466: PUSH2 0x146b
00001469: JUMPI
0000146a: INVALID
0000146b: JUMPDEST
0000146c: POP
0000146d: SWAP1
0000146e: SUB
0000146f: SWAP1
00001470: JUMP
00001471: JUMPDEST
00001472: PUSH1 0x08
00001474: SLOAD
00001475: PUSH1 0x00
00001477: SWAP1
00001478: PUSH13 0x01431e0fae6d7217caa0000000
00001486: SWAP1
00001487: DUP3
00001488: SWAP1
00001489: PUSH5 0x02540be400
0000148f: PUSH2 0x14f6
00001492: PUSH2 0x14f0
00001495: PUSH20 0x0380d4bd8a8678c1bb542c80deb4800000000000
000014aa: DUP9
000014ab: MUL
000014ac: PUSH9 0x056bc75e2d63100000
000014b6: PUSH1 0x02
000014b8: DUP7
000014b9: EXP
000014ba: MUL
000014bb: ADD
000014bc: PUSH17 0x05e0a1fd2712875988becaad0000000000
000014ce: DUP6
000014cf: MUL
000014d0: ADD
000014d1: PUSH25 0x0197d4df19d605767337e9f14d3eec8920e400000000000000
000014eb: ADD
000014ec: PUSH2 0x1575
000014ef: JUMP
000014f0: JUMPDEST
000014f1: DUP6
000014f2: PUSH2 0x145f
000014f5: JUMP
000014f6: JUMPDEST
000014f7: DUP2
000014f8: ISZERO
000014f9: ISZERO
000014fa: PUSH2 0x14ff
000014fd: JUMPI
000014fe: INVALID
000014ff: JUMPDEST
00001500: DIV
00001501: SUB
00001502: SWAP5
00001503: SWAP4
00001504: POP
00001505: POP
00001506: POP
00001507: POP
00001508: JUMP
00001509: JUMPDEST
0000150a: PUSH1 0x08
0000150c: SLOAD
0000150d: PUSH1 0x00
0000150f: SWAP1
00001510: PUSH8 0x0de0b6b3a7640000
00001519: DUP4
0000151a: DUP2
0000151b: ADD
0000151c: SWAP2
0000151d: DUP2
0000151e: ADD
0000151f: SWAP1
00001520: DUP4
00001521: SWAP1
00001522: PUSH2 0x1562
00001525: PUSH5 0x14f46b0400
0000152b: DUP3
0000152c: DUP6
0000152d: DIV
0000152e: PUSH5 0x02540be400
00001534: MUL
00001535: ADD
00001536: DUP8
00001537: MUL
00001538: PUSH1 0x02
0000153a: DUP4
0000153b: PUSH8 0x0de0b6b3a763ffff
00001544: NOT
00001545: DUP3
00001546: DUP10
00001547: EXP
00001548: DUP12
00001549: SWAP1
0000154a: SUB
0000154b: ADD
0000154c: DIV
0000154d: PUSH5 0x02540be400
00001553: MUL
00001554: DUP2
00001555: ISZERO
00001556: ISZERO
00001557: PUSH2 0x155c
0000155a: JUMPI
0000155b: INVALID
0000155c: JUMPDEST
0000155d: DIV
0000155e: PUSH2 0x145f
00001561: JUMP
00001562: JUMPDEST
00001563: DUP2
00001564: ISZERO
00001565: ISZERO
00001566: PUSH2 0x156b
00001569: JUMPI
0000156a: INVALID
0000156b: JUMPDEST
0000156c: DIV
0000156d: SWAP6
0000156e: SWAP5
0000156f: POP
00001570: POP
00001571: POP
00001572: POP
00001573: POP
00001574: JUMP
00001575: JUMPDEST
00001576: DUP1
00001577: PUSH1 0x02
00001579: PUSH1 0x01
0000157b: DUP3
0000157c: ADD
0000157d: DIV
0000157e: JUMPDEST
0000157f: DUP2
00001580: DUP2
00001581: LT
00001582: ISZERO
00001583: PUSH2 0x0d4a
00001586: JUMPI
00001587: DUP1
00001588: SWAP2
00001589: POP
0000158a: PUSH1 0x02
0000158c: DUP2
0000158d: DUP3
0000158e: DUP6
0000158f: DUP2
00001590: ISZERO
00001591: ISZERO
00001592: PUSH2 0x1597
00001595: JUMPI
00001596: INVALID
00001597: JUMPDEST
00001598: DIV
00001599: ADD
0000159a: DUP2
0000159b: ISZERO
0000159c: ISZERO
0000159d: PUSH2 0x15a2
000015a0: JUMPI
000015a1: INVALID
000015a2: JUMPDEST
000015a3: DIV
000015a4: SWAP1
000015a5: POP
000015a6: PUSH2 0x157e
000015a9: JUMP
000015aa: JUMPDEST
000015ab: DUP3
000015ac: DUP1
000015ad: SLOAD
000015ae: PUSH1 0x01
000015b0: DUP2
000015b1: PUSH1 0x01
000015b3: AND
000015b4: ISZERO
000015b5: PUSH2 0x0100
000015b8: MUL
000015b9: SUB
000015ba: AND
000015bb: PUSH1 0x02
000015bd: SWAP1
000015be: DIV
000015bf: SWAP1
000015c0: PUSH1 0x00
000015c2: MSTORE
000015c3: PUSH1 0x20
000015c5: PUSH1 0x00
000015c7: KECCAK256
000015c8: SWAP1
000015c9: PUSH1 0x1f
000015cb: ADD
000015cc: PUSH1 0x20
000015ce: SWAP1
000015cf: DIV
000015d0: DUP2
000015d1: ADD
000015d2: SWAP3
000015d3: DUP3
000015d4: PUSH1 0x1f
000015d6: LT
000015d7: PUSH2 0x15eb
000015da: JUMPI
000015db: DUP1
000015dc: MLOAD
000015dd: PUSH1 0xff
000015df: NOT
000015e0: AND
000015e1: DUP4
000015e2: DUP1
000015e3: ADD
000015e4: OR
000015e5: DUP6
000015e6: SSTORE
000015e7: PUSH2 0x1618
000015ea: JUMP
000015eb: JUMPDEST
000015ec: DUP3
000015ed: DUP1
000015ee: ADD
000015ef: PUSH1 0x01
000015f1: ADD
000015f2: DUP6
000015f3: SSTORE
000015f4: DUP3
000015f5: ISZERO
000015f6: PUSH2 0x1618
000015f9: JUMPI
000015fa: SWAP2
000015fb: DUP3
000015fc: ADD
000015fd: JUMPDEST
000015fe: DUP3
000015ff: DUP2
00001600: GT
00001601: ISZERO
00001602: PUSH2 0x1618
00001605: JUMPI
00001606: DUP3
00001607: MLOAD
00001608: DUP3
00001609: SSTORE
0000160a: SWAP2
0000160b: PUSH1 0x20
0000160d: ADD
0000160e: SWAP2
0000160f: SWAP1
00001610: PUSH1 0x01
00001612: ADD
00001613: SWAP1
00001614: PUSH2 0x15fd
00001617: JUMP
00001618: JUMPDEST
00001619: POP
0000161a: PUSH2 0x0e99
0000161d: SWAP3
0000161e: PUSH2 0x0b8d
00001621: SWAP3
00001622: POP
00001623: SWAP1
00001624: JUMPDEST
00001625: DUP1
00001626: DUP3
00001627: GT
00001628: ISZERO
00001629: PUSH2 0x0e99
0000162c: JUMPI
0000162d: PUSH1 0x00
0000162f: DUP2
00001630: SSTORE
00001631: PUSH1 0x01
00001633: ADD
00001634: PUSH2 0x1624
00001637: JUMP
00001638: STOP
00001639: LOG1
0000163a: PUSH6 0x627a7a723058
00001641: KECCAK256
00001642: UNKNOWN(0x24)
00001643: COINBASE
00001644: UNKNOWN(0xBE)
00001645: UNKNOWN(0x4D)
00001646: UNKNOWN(0x4F)
00001647: UNKNOWN(0xBD)
00001648: PUSH6 0x4973152e7535
0000164f: SWAP9
00001650: GASLIMIT
00001651: TLOAD
00001652: UNKNOWN(0xFC)
00001653: UNKNOWN(0xED)
00001654: UNKNOWN(0xBE)
00001655: UNKNOWN(0xF7)
00001656: EQ
00001657: UNKNOWN(0xDC)
00001658: RETURN
00001659: PUSH2 0x3b1e
0000165c: UNKNOWN(0x0C)
0000165d: UNKNOWN(0xCB)
0000165e: UNKNOWN(0xC0)
0000165f: UNKNOWN(0xC4)
00001660: SWAP5
00001661: CALLDATASIZE
00001662: STOP
00001663: UNKNOWN(0x29)