TW
Tripwire
Find contracts. Test them. Review real vulns.

Analysis Run

8fb66791-d78f-4297-865c-2b0b24ce67dd

failed
Chain ID
1
Address
Block Number
Created
Sat, Jan 3, 2026 1:19 AM
Review Summary

What survived the funnel

Open this run to answer one question: is this real attacker-relevant behavior with real impact, or just normal contract plumbing?

Confirmed
0
Validated
0
Source
Verified
Review Backing
Not yet
Best current signal
Authorization based on tx.origin
crit 0 high 0 direct contract
Review Checklist
1. Read the findings table first. Ignore raw jobs until the result looks real.
2. Confirm attacker control, not just the existence of a sink.
3. Confirm money or privilege impact.
4. Keep it if the behavior is real. Kill it if this is normal proxy, admin, or upgrade plumbing.

Processing Jobs

Status & attempts
ID Type Status Attempts Heartbeat
31414 report.consolidate complete 1 / 1 3 months ago
77110 artifact.fetch failed 1 / 3 2 weeks ago
77111 tool.cast_disasm complete 1 / 3 2 weeks ago
77112 analysis.bundle complete 1 / 3 2 weeks ago
77113 capability.graph complete 1 / 3 2 weeks ago
77114 detector.run complete 1 / 3 2 weeks ago
77115 validation.fork complete 1 / 3 2 weeks ago

Artifact

Runtime bytecode: available
Creation TX:
Deployer:
Proxy: no
Implementation:
Verified Source: yes

Slither

tool.slither

No slither job recorded yet.

Codex

report.consolidate
Job Status
complete
Attempts
1 / 1
Findings
0
No findings?
yes
Summary
Reviewed `contracts/Contract.sol` in `AUDIT_BUNDLE.txt`. No concrete, exploitable paths to extract ETH/tokens beyond intended mechanics were found.
View stderr
[codex:502356] OpenAI Codex v0.77.0 (research preview)
[codex:502356] --------
[codex:502356] workdir: /tmp/codex-multi-ipquurvb
[codex:502356] model: gpt-5.2-codex
[codex:502356] provider: openai
[codex:502356] approval: never
[codex:502356] sandbox: read-only
[codex:502356] reasoning effort: xhigh
[codex:502356] reasoning summaries: auto
[codex:502356] session id: 019b816b-1039-7471-a0ce-cd88847392e4
[codex:502356] --------
[codex:502356] user
[codex:502356] You are a profit-focused exploit hunter. Your ONLY goal is finding ways to extract value (ETH, tokens, NFTs) from this contract.
[codex:502356] 
[codex:502356] Read `AUDIT_BUNDLE.txt` completely before concluding. Treat `lib/` and `@openzeppelin/` as trusted unless misused.
[codex:502356] 
[codex:502356] ONLY REPORT if you find a CONCRETE, EXPLOITABLE path to profit. We do NOT care about:
[codex:502356] - Gas inefficiency, code quality, naming, or best practices
[codex:502356] - Theoretical vulnerabilities without a clear extraction path
[codex:502356] - Centralization risks (admin can rug) - assume admin keys are secure
[codex:502356] - Front-running unless it enables theft beyond MEV
[codex:502356] - DoS, griefing, or issues that don't result in attacker profit
[codex:502356] - Missing events, view function issues, or informational findings
[codex:502356] 
[codex:502356] HIGH-VALUE PATTERNS TO HUNT:
[codex:502356] - Reentrancy: external calls before state updates that allow double-withdrawal
[codex:502356] - Access control: missing/bypassable auth on withdraw, transfer, or mint functions
[codex:502356] - Flash loan attacks: borrow -> manipulate -> profit in single tx
[codex:502356] - Price oracle manipulation: TWAP with short window, spot price reads, stale prices
[codex:502356] - Signature replay: missing nonce, chainId, or deadline in permit/meta-tx
[codex:502356] - Proxy hijacking: unprotected initialize(), storage collision, UUPS without auth
[codex:502356] - Accounting errors: rounding that favors attacker, share inflation, first depositor attacks
[codex:502356] - Unchecked external calls: return value ignored on token transfers enabling fake tokens
[codex:502356] - Cross-function reentrancy: state read in function A, modified via reentrant call, used stale in A
[codex:502356] 
[codex:502356] For each finding, you MUST provide:
[codex:502356] 1. Exact file and line numbers of vulnerable code
[codex:502356] 2. Step-by-step exploit transaction sequence
[codex:502356] 3. Estimated profit potential (order of magnitude: contract balance, LP reserves, etc.)
[codex:502356] 
[codex:502356] If no concrete profit path exists: set no_findings=true. Do NOT pad with low-severity noise.
[codex:502356] 
[codex:502356] Output MUST be valid JSON matching the provided schema.
[codex:502356] - severity: info, low, medium, high, critical (use high/critical ONLY for clear extraction paths)
[codex:502356] - category: access_control, reentrancy, math, oracle, upgradeability, auth, other
[codex:502356] mcp startup: no servers
[codex:502356] 
[codex:502356] thinking
[codex:502356] **Preparing to read AUDIT_BUNDLE.txt**
[codex:502356] exec
[codex:502356] /bin/bash -lc ls in /tmp/codex-multi-ipquurvb succeeded in 7ms:
[codex:502356] AUDIT_BUNDLE.txt
[codex:502356] codex-output-schema.json
[codex:502356] contracts
[codex:502356] 
[codex:502356] thinking
[codex:502356] **Reading AUDIT_BUNDLE.txt**
[codex:502356] exec
[codex:502356] /bin/bash -lc 'cat AUDIT_BUNDLE.txt' in /tmp/codex-multi-ipquurvb succeeded in 8ms:
[codex:502356] This file concatenates first-party Solidity sources only (lib/@openzeppelin excluded).
[codex:502356] 
[codex:502356] ================================================================================
[codex:502356] FILE: contracts/Contract.sol
[codex:502356] ================================================================================
[codex:502356] /**
[codex:502356]  * www.the8020.ch
[codex:502356] */
[codex:502356] 
[codex:502356] pragma solidity ^0.6.0;
[codex:502356] 
[codex:502356]    /*==================================================================================
[codex:502356]     =  The 80/20 is a Wealth Distribution system that is open for anyone to use.      =  
[codex:502356]     =  We created this application with hopes that it will provide a steady stream    =
[codex:502356]     =  of passive income for generations to come. The foundation that stands behind   =
[codex:502356]     =  this product would like you to live happy, free, and prosperous.               =
[codex:502356]     =  Stay tuned for more dApps from the GSG Global Marketing Group.                 =
[codex:502356]     =  #LuckyRico #LACGold #JCunn24 #BoHarvey #LennyBones #WealthWithPhelps 	      =
[codex:502356]     =  #ShahzainTariq >= developer of this smart contract		 				      =
[codex:502356]     ================================================================================*/
[codex:502356] 
[codex:502356] 
[codex:502356] 
[codex:502356] 
[codex:502356] thinking
[codex:502356] **Analyzing token contract mechanics and potential vulnerabilities**
[codex:502356] 
[codex:502356] I'm carefully examining the contract's token economics, especially referral payouts, dividend calculations, and loyalty bonuses to spot exploitable profit paths. There’s a complex interplay involving referral bonuses being credited partly to the zero address, dividend payout adjustments on sells, and an unusual loyalty multiplier that might let holders withdraw substantially more than expected. I'm scrutinizing math logic and state updates to see if these lead to any concrete exploits for unauthorized profit extraction.
[codex:502356] thinking
[codex:502356] **Investigating potential underflow and payout manipulation**
[codex:502356] 
[codex:502356] I'm exploring whether unchecked subtraction on the loyaltyPool can cause underflows that might lead to abnormal contract states or repeated withdrawals. I’m also digging into how payoutsTo_ could become negative or manipulated via transfers to inflate dividends or loyalty bonuses illicitly. There’s a complex interaction of dividend calculations, loyalty multipliers, and payout adjustments that might allow creative manipulation, so I want to understand if these math and state update details expose any real profit exploits.
[codex:502356] thinking
[codex:502356] **Examining arithmetic edge cases and loyalty payout economics**
[codex:502356] 
[codex:502356] I'm carefully analyzing math operations for potential overflow or division-by-zero issues, especially in token pricing formulas that mix large powers and unchecked arithmetic. While overflows seem theoretically possible, practical token supply limits make this unlikely. I’m also parsing how loyalty payouts, set at 2.8x dividends but funded only partially by the loyaltyPool, could enable holders to withdraw more than their proportional share, which might drain contract funds faster than intended—this might be an economic quirk rather than a direct exploit.
[codex:502356] thinking
[codex:502356] **Verifying absence of concrete exploits**
[codex:502356] 
[codex:502356] I'll confirm that no exploitable path exists by reviewing edge cases in referrals, token transfers, payout adjustments, and fee calculations. I see some quirks like referral bonuses to unregistered addresses and token transfers without fees, but none that lead to unauthorized profit. The design details and state updates appear consistent, so I'll prepare a no_findings report with a clear summary and empty findings list.
[codex:502356] exec
[codex:502356] /bin/bash -lc 'cat codex-output-schema.json' in /tmp/codex-multi-ipquurvb succeeded in 8ms:
[codex:502356] {"type": "object", "additionalProperties": false, "required": ["no_findings", "summary", "findings"], "properties": {"no_findings": {"type": "boolean"}, "summary": {"type": "string"}, "findings": {"type": "array", "items": {"type": "object", "additionalProperties": false, "required": ["severity", "category", "title", "evidence", "locations", "exploit_scenario", "recommendation"], "properties": {"severity": {"type": "string", "enum": ["info", "low", "medium", "high", "critical"]}, "category": {"type": "string", "enum": ["access_control", "reentrancy", "math", "oracle", "upgradeability", "auth", "other"]}, "title": {"type": "string"}, "exploit_scenario": {"type": "string"}, "recommendation": {"type": "string"}, "evidence": {"type": "string"}, "locations": {"type": "array", "items": {"type": "string"}}}}}}}
[codex:502356] 
[codex:502356] 
[codex:502356] thinking
[codex:502356] **Analyzing dividend and reinvest mechanics**
[codex:502356] 
[codex:502356] I'm carefully examining how dividends, reinvestment, and fee transfers interact, especially potential token inflation from minting tokens against virtual dividends while transferring ETH fees out, and whether payout calculations or rounding could lead to exploits or inconsistencies in contract balances. There’s a lot to consider about fee distributions, referral bonuses, and how first buyers receive dividends, so I'm analyzing each mechanism's effects on contract solvency and user profit potential.
[codex:502356] thinking
[codex:502356] **Preparing JSON audit summary**
[codex:502356] 
[codex:502356] I'm wrapping up by composing a JSON output confirming no exploitable profit paths were found in the contract, mentioning the audit bundle was read, and ensuring strict compliance to output valid JSON only with no additional commentary.
[codex:502356] codex
[codex:502356] {"no_findings":true,"summary":"Reviewed `contracts/Contract.sol` in `AUDIT_BUNDLE.txt`. No concrete, exploitable paths to extract ETH/tokens beyond intended mechanics were found.","findings":[]}
[codex:502356] tokens used
[codex:502356] 28,382
[codex:502356] {"no_findings":true,"summary":"Reviewed `contracts/Contract.sol` in `AUDIT_BUNDLE.txt`. No concrete, exploitable paths to extract ETH/tokens beyond intended mechanics were found.","findings":[]}
Metadata
{
    "codex": {
        "ran_at": "2026-01-03T01:19:44.019852+00:00",
        "returncode": 0
    },
    "summary": "Reviewed `contracts/Contract.sol` in `AUDIT_BUNDLE.txt`. No concrete, exploitable paths to extract ETH/tokens beyond intended mechanics were found.",
    "raw_final": {
        "summary": "Reviewed `contracts/Contract.sol` in `AUDIT_BUNDLE.txt`. No concrete, exploitable paths to extract ETH/tokens beyond intended mechanics were found.",
        "findings": [],
        "no_findings": true
    },
    "no_findings": true,
    "schema_version": 1
}

Opcode Heuristics

tool.cast_disasm
Delegatecall
0
Selfdestruct
0
CREATE2
0
CALL-family (heavy)
16
EXT*/BALANCE
0
Total opcodes
8948
Flags
call_family_heavy
View cast disassembly output
00000000: PUSH1 0x80
00000002: PUSH1 0x40
00000004: MSTORE
00000005: PUSH1 0x04
00000007: CALLDATASIZE
00000008: LT
00000009: PUSH2 0x0254
0000000c: JUMPI
0000000d: PUSH1 0x00
0000000f: CALLDATALOAD
00000010: PUSH1 0xe0
00000012: SHR
00000013: DUP1
00000014: PUSH4 0x7c3fcc38
00000019: GT
0000001a: PUSH2 0x0139
0000001d: JUMPI
0000001e: DUP1
0000001f: PUSH4 0xc664f7f1
00000024: GT
00000025: PUSH2 0x00b6
00000028: JUMPI
00000029: DUP1
0000002a: PUSH4 0xe4849b32
0000002f: GT
00000030: PUSH2 0x007a
00000033: JUMPI
00000034: DUP1
00000035: PUSH4 0xe4849b32
0000003a: EQ
0000003b: PUSH2 0x146a
0000003e: JUMPI
0000003f: DUP1
00000040: PUSH4 0xe9fad8ee
00000045: EQ
00000046: PUSH2 0x14a5
00000049: JUMPI
0000004a: DUP1
0000004b: PUSH4 0xf088d547
00000050: EQ
00000051: PUSH2 0x14bc
00000054: JUMPI
00000055: DUP1
00000056: PUSH4 0xfa4ee6d5
0000005b: EQ
0000005c: PUSH2 0x1514
0000005f: JUMPI
00000060: DUP1
00000061: PUSH4 0xfdb5a03e
00000066: EQ
00000067: PUSH2 0x153f
0000006a: JUMPI
0000006b: DUP1
0000006c: PUSH4 0xff50abdc
00000071: EQ
00000072: PUSH2 0x1556
00000075: JUMPI
00000076: PUSH2 0x0594
00000079: JUMP
0000007a: JUMPDEST
0000007b: DUP1
0000007c: PUSH4 0xc664f7f1
00000081: EQ
00000082: PUSH2 0x12c5
00000085: JUMPI
00000086: DUP1
00000087: PUSH4 0xca5d3813
0000008c: EQ
0000008d: PUSH2 0x132a
00000090: JUMPI
00000091: DUP1
00000092: PUSH4 0xdd62ed3e
00000097: EQ
00000098: PUSH2 0x1355
0000009b: JUMPI
0000009c: DUP1
0000009d: PUSH4 0xe00dd161
000000a2: EQ
000000a3: PUSH2 0x13da
000000a6: JUMPI
000000a7: DUP1
000000a8: PUSH4 0xe1456cb4
000000ad: EQ
000000ae: PUSH2 0x1405
000000b1: JUMPI
000000b2: PUSH2 0x0594
000000b5: JUMP
000000b6: JUMPDEST
000000b7: DUP1
000000b8: PUSH4 0x9f4216e8
000000bd: GT
000000be: PUSH2 0x00fd
000000c1: JUMPI
000000c2: DUP1
000000c3: PUSH4 0x9f4216e8
000000c8: EQ
000000c9: PUSH2 0x108f
000000cc: JUMPI
000000cd: DUP1
000000ce: PUSH4 0xa457c2d7
000000d3: EQ
000000d4: PUSH2 0x110a
000000d7: JUMPI
000000d8: DUP1
000000d9: PUSH4 0xa87430ba
000000de: EQ
000000df: PUSH2 0x117d
000000e2: JUMPI
000000e3: DUP1
000000e4: PUSH4 0xa9059cbb
000000e9: EQ
000000ea: PUSH2 0x1227
000000ed: JUMPI
000000ee: DUP1
000000ef: PUSH4 0xc625565c
000000f4: EQ
000000f5: PUSH2 0x129a
000000f8: JUMPI
000000f9: PUSH2 0x0594
000000fc: JUMP
000000fd: JUMPDEST
000000fe: DUP1
000000ff: PUSH4 0x7c3fcc38
00000104: EQ
00000105: PUSH2 0x0eed
00000108: JUMPI
00000109: DUP1
0000010a: PUSH4 0x8620410b
0000010f: EQ
00000110: PUSH2 0x0f7e
00000113: JUMPI
00000114: DUP1
00000115: PUSH4 0x8a2381d7
0000011a: EQ
0000011b: PUSH2 0x0fa9
0000011e: JUMPI
0000011f: DUP1
00000120: PUSH4 0x949e8acd
00000125: EQ
00000126: PUSH2 0x0fd4
00000129: JUMPI
0000012a: DUP1
0000012b: PUSH4 0x95d89b41
00000130: EQ
00000131: PUSH2 0x0fff
00000134: JUMPI
00000135: PUSH2 0x0594
00000138: JUMP
00000139: JUMPDEST
0000013a: DUP1
0000013b: PUSH4 0x3ccfd60b
00000140: GT
00000141: PUSH2 0x01d2
00000144: JUMPI
00000145: DUP1
00000146: PUSH4 0x66d0832c
0000014b: GT
0000014c: PUSH2 0x0196
0000014f: JUMPI
00000150: DUP1
00000151: PUSH4 0x66d0832c
00000156: EQ
00000157: PUSH2 0x0d8b
0000015a: JUMPI
0000015b: DUP1
0000015c: PUSH4 0x688abbf7
00000161: EQ
00000162: PUSH2 0x0db6
00000165: JUMPI
00000166: DUP1
00000167: PUSH4 0x6b2f4632
0000016c: EQ
0000016d: PUSH2 0x0e07
00000170: JUMPI
00000171: DUP1
00000172: PUSH4 0x6cd38db8
00000177: EQ
00000178: PUSH2 0x0e32
0000017b: JUMPI
0000017c: DUP1
0000017d: PUSH4 0x70a08231
00000182: EQ
00000183: PUSH2 0x0e5d
00000186: JUMPI
00000187: DUP1
00000188: PUSH4 0x7b76ac91
0000018d: EQ
0000018e: PUSH2 0x0ec2
00000191: JUMPI
00000192: PUSH2 0x0594
00000195: JUMP
00000196: JUMPDEST
00000197: DUP1
00000198: PUSH4 0x3ccfd60b
0000019d: EQ
0000019e: PUSH2 0x0c62
000001a1: JUMPI
000001a2: DUP1
000001a3: PUSH4 0x455fd623
000001a8: EQ
000001a9: PUSH2 0x0c79
000001ac: JUMPI
000001ad: DUP1
000001ae: PUSH4 0x4b750334
000001b3: EQ
000001b4: PUSH2 0x0ca4
000001b7: JUMPI
000001b8: DUP1
000001b9: PUSH4 0x5c5a0a9d
000001be: EQ
000001bf: PUSH2 0x0ccf
000001c2: JUMPI
000001c3: DUP1
000001c4: PUSH4 0x5e52a00b
000001c9: EQ
000001ca: PUSH2 0x0d34
000001cd: JUMPI
000001ce: PUSH2 0x0594
000001d1: JUMP
000001d2: JUMPDEST
000001d3: DUP1
000001d4: PUSH4 0x18160ddd
000001d9: GT
000001da: PUSH2 0x0219
000001dd: JUMPI
000001de: DUP1
000001df: PUSH4 0x18160ddd
000001e4: EQ
000001e5: PUSH2 0x0ab1
000001e8: JUMPI
000001e9: DUP1
000001ea: PUSH4 0x22609373
000001ef: EQ
000001f0: PUSH2 0x0adc
000001f3: JUMPI
000001f4: DUP1
000001f5: PUSH4 0x23b872dd
000001fa: EQ
000001fb: PUSH2 0x0b2b
000001fe: JUMPI
000001ff: DUP1
00000200: PUSH4 0x313ce567
00000205: EQ
00000206: PUSH2 0x0bbe
00000209: JUMPI
0000020a: DUP1
0000020b: PUSH4 0x39509351
00000210: EQ
00000211: PUSH2 0x0bef
00000214: JUMPI
00000215: PUSH2 0x0594
00000218: JUMP
00000219: JUMPDEST
0000021a: DUP1
0000021b: PUSH3 0x65318b
0000021f: EQ
00000220: PUSH2 0x08cf
00000223: JUMPI
00000224: DUP1
00000225: PUSH4 0x06fdde03
0000022a: EQ
0000022b: PUSH2 0x0934
0000022e: JUMPI
0000022f: DUP1
00000230: PUSH4 0x095ea7b3
00000235: EQ
00000236: PUSH2 0x09c4
00000239: JUMPI
0000023a: DUP1
0000023b: PUSH4 0x104e9929
00000240: EQ
00000241: PUSH2 0x0a37
00000244: JUMPI
00000245: DUP1
00000246: PUSH4 0x10d0ffdd
0000024b: EQ
0000024c: PUSH2 0x0a62
0000024f: JUMPI
00000250: PUSH2 0x0594
00000253: JUMP
00000254: JUMPDEST
00000255: CALLDATASIZE
00000256: PUSH2 0x0594
00000259: JUMPI
0000025a: PUSH8 0x016345785d8a0000
00000263: CALLVALUE
00000264: LT
00000265: ISZERO
00000266: PUSH2 0x02d7
00000269: JUMPI
0000026a: PUSH1 0x40
0000026c: MLOAD
0000026d: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000028e: DUP2
0000028f: MSTORE
00000290: PUSH1 0x04
00000292: ADD
00000293: DUP1
00000294: DUP1
00000295: PUSH1 0x20
00000297: ADD
00000298: DUP3
00000299: DUP2
0000029a: SUB
0000029b: DUP3
0000029c: MSTORE
0000029d: PUSH1 0x1d
0000029f: DUP2
000002a0: MSTORE
000002a1: PUSH1 0x20
000002a3: ADD
000002a4: DUP1
000002a5: PUSH32 0x4552524f523a206d696e696d756e20302e3120657468657265756d202e000000
000002c6: DUP2
000002c7: MSTORE
000002c8: POP
000002c9: PUSH1 0x20
000002cb: ADD
000002cc: SWAP2
000002cd: POP
000002ce: POP
000002cf: PUSH1 0x40
000002d1: MLOAD
000002d2: DUP1
000002d3: SWAP2
000002d4: SUB
000002d5: SWAP1
000002d6: REVERT
000002d7: JUMPDEST
000002d8: PUSH1 0x17
000002da: PUSH1 0x00
000002dc: CALLER
000002dd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000002f2: AND
000002f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000308: AND
00000309: DUP2
0000030a: MSTORE
0000030b: PUSH1 0x20
0000030d: ADD
0000030e: SWAP1
0000030f: DUP2
00000310: MSTORE
00000311: PUSH1 0x20
00000313: ADD
00000314: PUSH1 0x00
00000316: KECCAK256
00000317: PUSH1 0x00
00000319: ADD
0000031a: PUSH1 0x00
0000031c: SWAP1
0000031d: SLOAD
0000031e: SWAP1
0000031f: PUSH2 0x0100
00000322: EXP
00000323: SWAP1
00000324: DIV
00000325: PUSH1 0xff
00000327: AND
00000328: PUSH2 0x0337
0000032b: JUMPI
0000032c: PUSH2 0x0336
0000032f: CALLER
00000330: PUSH1 0x00
00000332: PUSH2 0x1581
00000335: JUMP
00000336: JUMPDEST
00000337: JUMPDEST
00000338: PUSH2 0x0342
0000033b: CALLVALUE
0000033c: PUSH1 0x00
0000033e: PUSH2 0x1738
00000341: JUMP
00000342: JUMPDEST
00000343: POP
00000344: PUSH2 0x036a
00000347: PUSH1 0x64
00000349: PUSH2 0x035c
0000034c: PUSH1 0x0c
0000034e: CALLVALUE
0000034f: PUSH2 0x1ac2
00000352: SWAP1
00000353: SWAP2
00000354: SWAP1
00000355: PUSH4 0xffffffff
0000035a: AND
0000035b: JUMP
0000035c: JUMPDEST
0000035d: PUSH2 0x1b48
00000360: SWAP1
00000361: SWAP2
00000362: SWAP1
00000363: PUSH4 0xffffffff
00000368: AND
00000369: JUMP
0000036a: JUMPDEST
0000036b: PUSH1 0x07
0000036d: PUSH1 0x00
0000036f: DUP3
00000370: DUP3
00000371: SLOAD
00000372: ADD
00000373: SWAP3
00000374: POP
00000375: POP
00000376: DUP2
00000377: SWAP1
00000378: SSTORE
00000379: POP
0000037a: PUSH2 0x03a0
0000037d: PUSH1 0x64
0000037f: PUSH2 0x0392
00000382: PUSH1 0x02
00000384: CALLVALUE
00000385: PUSH2 0x1ac2
00000388: SWAP1
00000389: SWAP2
0000038a: SWAP1
0000038b: PUSH4 0xffffffff
00000390: AND
00000391: JUMP
00000392: JUMPDEST
00000393: PUSH2 0x1b48
00000396: SWAP1
00000397: SWAP2
00000398: SWAP1
00000399: PUSH4 0xffffffff
0000039e: AND
0000039f: JUMP
000003a0: JUMPDEST
000003a1: PUSH1 0x08
000003a3: PUSH1 0x00
000003a5: DUP3
000003a6: DUP3
000003a7: SLOAD
000003a8: ADD
000003a9: SWAP3
000003aa: POP
000003ab: POP
000003ac: DUP2
000003ad: SWAP1
000003ae: SSTORE
000003af: POP
000003b0: PUSH2 0x03d6
000003b3: PUSH1 0x64
000003b5: PUSH2 0x03c8
000003b8: PUSH1 0x02
000003ba: CALLVALUE
000003bb: PUSH2 0x1ac2
000003be: SWAP1
000003bf: SWAP2
000003c0: SWAP1
000003c1: PUSH4 0xffffffff
000003c6: AND
000003c7: JUMP
000003c8: JUMPDEST
000003c9: PUSH2 0x1b48
000003cc: SWAP1
000003cd: SWAP2
000003ce: SWAP1
000003cf: PUSH4 0xffffffff
000003d4: AND
000003d5: JUMP
000003d6: JUMPDEST
000003d7: PUSH1 0x0a
000003d9: PUSH1 0x00
000003db: DUP3
000003dc: DUP3
000003dd: SLOAD
000003de: ADD
000003df: SWAP3
000003e0: POP
000003e1: POP
000003e2: DUP2
000003e3: SWAP1
000003e4: SSTORE
000003e5: POP
000003e6: PUSH1 0x0d
000003e8: PUSH1 0x00
000003ea: SWAP1
000003eb: SLOAD
000003ec: SWAP1
000003ed: PUSH2 0x0100
000003f0: EXP
000003f1: SWAP1
000003f2: DIV
000003f3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000408: AND
00000409: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000041e: AND
0000041f: PUSH2 0x08fc
00000422: PUSH2 0x0448
00000425: PUSH1 0x64
00000427: PUSH2 0x043a
0000042a: PUSH1 0x02
0000042c: CALLVALUE
0000042d: PUSH2 0x1ac2
00000430: SWAP1
00000431: SWAP2
00000432: SWAP1
00000433: PUSH4 0xffffffff
00000438: AND
00000439: JUMP
0000043a: JUMPDEST
0000043b: PUSH2 0x1b48
0000043e: SWAP1
0000043f: SWAP2
00000440: SWAP1
00000441: PUSH4 0xffffffff
00000446: AND
00000447: JUMP
00000448: JUMPDEST
00000449: SWAP1
0000044a: DUP2
0000044b: ISZERO
0000044c: MUL
0000044d: SWAP1
0000044e: PUSH1 0x40
00000450: MLOAD
00000451: PUSH1 0x00
00000453: PUSH1 0x40
00000455: MLOAD
00000456: DUP1
00000457: DUP4
00000458: SUB
00000459: DUP2
0000045a: DUP6
0000045b: DUP9
0000045c: DUP9
0000045d: CALL
0000045e: SWAP4
0000045f: POP
00000460: POP
00000461: POP
00000462: POP
00000463: ISZERO
00000464: DUP1
00000465: ISZERO
00000466: PUSH2 0x0473
00000469: JUMPI
0000046a: RETURNDATASIZE
0000046b: PUSH1 0x00
0000046d: DUP1
0000046e: RETURNDATACOPY
0000046f: RETURNDATASIZE
00000470: PUSH1 0x00
00000472: REVERT
00000473: JUMPDEST
00000474: POP
00000475: PUSH1 0x0b
00000477: PUSH1 0x00
00000479: SWAP1
0000047a: SLOAD
0000047b: SWAP1
0000047c: PUSH2 0x0100
0000047f: EXP
00000480: SWAP1
00000481: DIV
00000482: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000497: AND
00000498: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000004ad: AND
000004ae: PUSH2 0x08fc
000004b1: PUSH2 0x04d7
000004b4: PUSH1 0x64
000004b6: PUSH2 0x04c9
000004b9: PUSH1 0x01
000004bb: CALLVALUE
000004bc: PUSH2 0x1ac2
000004bf: SWAP1
000004c0: SWAP2
000004c1: SWAP1
000004c2: PUSH4 0xffffffff
000004c7: AND
000004c8: JUMP
000004c9: JUMPDEST
000004ca: PUSH2 0x1b48
000004cd: SWAP1
000004ce: SWAP2
000004cf: SWAP1
000004d0: PUSH4 0xffffffff
000004d5: AND
000004d6: JUMP
000004d7: JUMPDEST
000004d8: SWAP1
000004d9: DUP2
000004da: ISZERO
000004db: MUL
000004dc: SWAP1
000004dd: PUSH1 0x40
000004df: MLOAD
000004e0: PUSH1 0x00
000004e2: PUSH1 0x40
000004e4: MLOAD
000004e5: DUP1
000004e6: DUP4
000004e7: SUB
000004e8: DUP2
000004e9: DUP6
000004ea: DUP9
000004eb: DUP9
000004ec: CALL
000004ed: SWAP4
000004ee: POP
000004ef: POP
000004f0: POP
000004f1: POP
000004f2: ISZERO
000004f3: DUP1
000004f4: ISZERO
000004f5: PUSH2 0x0502
000004f8: JUMPI
000004f9: RETURNDATASIZE
000004fa: PUSH1 0x00
000004fc: DUP1
000004fd: RETURNDATACOPY
000004fe: RETURNDATASIZE
000004ff: PUSH1 0x00
00000501: REVERT
00000502: JUMPDEST
00000503: POP
00000504: PUSH1 0x0c
00000506: PUSH1 0x00
00000508: SWAP1
00000509: SLOAD
0000050a: SWAP1
0000050b: PUSH2 0x0100
0000050e: EXP
0000050f: SWAP1
00000510: DIV
00000511: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000526: AND
00000527: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000053c: AND
0000053d: PUSH2 0x08fc
00000540: PUSH2 0x0566
00000543: PUSH1 0x64
00000545: PUSH2 0x0558
00000548: PUSH1 0x01
0000054a: CALLVALUE
0000054b: PUSH2 0x1ac2
0000054e: SWAP1
0000054f: SWAP2
00000550: SWAP1
00000551: PUSH4 0xffffffff
00000556: AND
00000557: JUMP
00000558: JUMPDEST
00000559: PUSH2 0x1b48
0000055c: SWAP1
0000055d: SWAP2
0000055e: SWAP1
0000055f: PUSH4 0xffffffff
00000564: AND
00000565: JUMP
00000566: JUMPDEST
00000567: SWAP1
00000568: DUP2
00000569: ISZERO
0000056a: MUL
0000056b: SWAP1
0000056c: PUSH1 0x40
0000056e: MLOAD
0000056f: PUSH1 0x00
00000571: PUSH1 0x40
00000573: MLOAD
00000574: DUP1
00000575: DUP4
00000576: SUB
00000577: DUP2
00000578: DUP6
00000579: DUP9
0000057a: DUP9
0000057b: CALL
0000057c: SWAP4
0000057d: POP
0000057e: POP
0000057f: POP
00000580: POP
00000581: ISZERO
00000582: DUP1
00000583: ISZERO
00000584: PUSH2 0x0591
00000587: JUMPI
00000588: RETURNDATASIZE
00000589: PUSH1 0x00
0000058b: DUP1
0000058c: RETURNDATACOPY
0000058d: RETURNDATASIZE
0000058e: PUSH1 0x00
00000590: REVERT
00000591: JUMPDEST
00000592: POP
00000593: STOP
00000594: JUMPDEST
00000595: PUSH8 0x016345785d8a0000
0000059e: CALLVALUE
0000059f: LT
000005a0: ISZERO
000005a1: PUSH2 0x0612
000005a4: JUMPI
000005a5: PUSH1 0x40
000005a7: MLOAD
000005a8: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
000005c9: DUP2
000005ca: MSTORE
000005cb: PUSH1 0x04
000005cd: ADD
000005ce: DUP1
000005cf: DUP1
000005d0: PUSH1 0x20
000005d2: ADD
000005d3: DUP3
000005d4: DUP2
000005d5: SUB
000005d6: DUP3
000005d7: MSTORE
000005d8: PUSH1 0x1d
000005da: DUP2
000005db: MSTORE
000005dc: PUSH1 0x20
000005de: ADD
000005df: DUP1
000005e0: PUSH32 0x4552524f523a206d696e696d756e20302e3120657468657265756d202e000000
00000601: DUP2
00000602: MSTORE
00000603: POP
00000604: PUSH1 0x20
00000606: ADD
00000607: SWAP2
00000608: POP
00000609: POP
0000060a: PUSH1 0x40
0000060c: MLOAD
0000060d: DUP1
0000060e: SWAP2
0000060f: SUB
00000610: SWAP1
00000611: REVERT
00000612: JUMPDEST
00000613: PUSH1 0x17
00000615: PUSH1 0x00
00000617: CALLER
00000618: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000062d: AND
0000062e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000643: AND
00000644: DUP2
00000645: MSTORE
00000646: PUSH1 0x20
00000648: ADD
00000649: SWAP1
0000064a: DUP2
0000064b: MSTORE
0000064c: PUSH1 0x20
0000064e: ADD
0000064f: PUSH1 0x00
00000651: KECCAK256
00000652: PUSH1 0x00
00000654: ADD
00000655: PUSH1 0x00
00000657: SWAP1
00000658: SLOAD
00000659: SWAP1
0000065a: PUSH2 0x0100
0000065d: EXP
0000065e: SWAP1
0000065f: DIV
00000660: PUSH1 0xff
00000662: AND
00000663: PUSH2 0x0672
00000666: JUMPI
00000667: PUSH2 0x0671
0000066a: CALLER
0000066b: PUSH1 0x00
0000066d: PUSH2 0x1581
00000670: JUMP
00000671: JUMPDEST
00000672: JUMPDEST
00000673: PUSH2 0x067d
00000676: CALLVALUE
00000677: PUSH1 0x00
00000679: PUSH2 0x1738
0000067c: JUMP
0000067d: JUMPDEST
0000067e: POP
0000067f: PUSH2 0x06a5
00000682: PUSH1 0x64
00000684: PUSH2 0x0697
00000687: PUSH1 0x0c
00000689: CALLVALUE
0000068a: PUSH2 0x1ac2
0000068d: SWAP1
0000068e: SWAP2
0000068f: SWAP1
00000690: PUSH4 0xffffffff
00000695: AND
00000696: JUMP
00000697: JUMPDEST
00000698: PUSH2 0x1b48
0000069b: SWAP1
0000069c: SWAP2
0000069d: SWAP1
0000069e: PUSH4 0xffffffff
000006a3: AND
000006a4: JUMP
000006a5: JUMPDEST
000006a6: PUSH1 0x07
000006a8: PUSH1 0x00
000006aa: DUP3
000006ab: DUP3
000006ac: SLOAD
000006ad: ADD
000006ae: SWAP3
000006af: POP
000006b0: POP
000006b1: DUP2
000006b2: SWAP1
000006b3: SSTORE
000006b4: POP
000006b5: PUSH2 0x06db
000006b8: PUSH1 0x64
000006ba: PUSH2 0x06cd
000006bd: PUSH1 0x02
000006bf: CALLVALUE
000006c0: PUSH2 0x1ac2
000006c3: SWAP1
000006c4: SWAP2
000006c5: SWAP1
000006c6: PUSH4 0xffffffff
000006cb: AND
000006cc: JUMP
000006cd: JUMPDEST
000006ce: PUSH2 0x1b48
000006d1: SWAP1
000006d2: SWAP2
000006d3: SWAP1
000006d4: PUSH4 0xffffffff
000006d9: AND
000006da: JUMP
000006db: JUMPDEST
000006dc: PUSH1 0x08
000006de: PUSH1 0x00
000006e0: DUP3
000006e1: DUP3
000006e2: SLOAD
000006e3: ADD
000006e4: SWAP3
000006e5: POP
000006e6: POP
000006e7: DUP2
000006e8: SWAP1
000006e9: SSTORE
000006ea: POP
000006eb: PUSH2 0x0711
000006ee: PUSH1 0x64
000006f0: PUSH2 0x0703
000006f3: PUSH1 0x02
000006f5: CALLVALUE
000006f6: PUSH2 0x1ac2
000006f9: SWAP1
000006fa: SWAP2
000006fb: SWAP1
000006fc: PUSH4 0xffffffff
00000701: AND
00000702: JUMP
00000703: JUMPDEST
00000704: PUSH2 0x1b48
00000707: SWAP1
00000708: SWAP2
00000709: SWAP1
0000070a: PUSH4 0xffffffff
0000070f: AND
00000710: JUMP
00000711: JUMPDEST
00000712: PUSH1 0x0a
00000714: PUSH1 0x00
00000716: DUP3
00000717: DUP3
00000718: SLOAD
00000719: ADD
0000071a: SWAP3
0000071b: POP
0000071c: POP
0000071d: DUP2
0000071e: SWAP1
0000071f: SSTORE
00000720: POP
00000721: PUSH1 0x0d
00000723: PUSH1 0x00
00000725: SWAP1
00000726: SLOAD
00000727: SWAP1
00000728: PUSH2 0x0100
0000072b: EXP
0000072c: SWAP1
0000072d: DIV
0000072e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000743: AND
00000744: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000759: AND
0000075a: PUSH2 0x08fc
0000075d: PUSH2 0x0783
00000760: PUSH1 0x64
00000762: PUSH2 0x0775
00000765: PUSH1 0x02
00000767: CALLVALUE
00000768: PUSH2 0x1ac2
0000076b: SWAP1
0000076c: SWAP2
0000076d: SWAP1
0000076e: PUSH4 0xffffffff
00000773: AND
00000774: JUMP
00000775: JUMPDEST
00000776: PUSH2 0x1b48
00000779: SWAP1
0000077a: SWAP2
0000077b: SWAP1
0000077c: PUSH4 0xffffffff
00000781: AND
00000782: JUMP
00000783: JUMPDEST
00000784: SWAP1
00000785: DUP2
00000786: ISZERO
00000787: MUL
00000788: SWAP1
00000789: PUSH1 0x40
0000078b: MLOAD
0000078c: PUSH1 0x00
0000078e: PUSH1 0x40
00000790: MLOAD
00000791: DUP1
00000792: DUP4
00000793: SUB
00000794: DUP2
00000795: DUP6
00000796: DUP9
00000797: DUP9
00000798: CALL
00000799: SWAP4
0000079a: POP
0000079b: POP
0000079c: POP
0000079d: POP
0000079e: ISZERO
0000079f: DUP1
000007a0: ISZERO
000007a1: PUSH2 0x07ae
000007a4: JUMPI
000007a5: RETURNDATASIZE
000007a6: PUSH1 0x00
000007a8: DUP1
000007a9: RETURNDATACOPY
000007aa: RETURNDATASIZE
000007ab: PUSH1 0x00
000007ad: REVERT
000007ae: JUMPDEST
000007af: POP
000007b0: PUSH1 0x0b
000007b2: PUSH1 0x00
000007b4: SWAP1
000007b5: SLOAD
000007b6: SWAP1
000007b7: PUSH2 0x0100
000007ba: EXP
000007bb: SWAP1
000007bc: DIV
000007bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007d2: AND
000007d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000007e8: AND
000007e9: PUSH2 0x08fc
000007ec: PUSH2 0x0812
000007ef: PUSH1 0x64
000007f1: PUSH2 0x0804
000007f4: PUSH1 0x01
000007f6: CALLVALUE
000007f7: PUSH2 0x1ac2
000007fa: SWAP1
000007fb: SWAP2
000007fc: SWAP1
000007fd: PUSH4 0xffffffff
00000802: AND
00000803: JUMP
00000804: JUMPDEST
00000805: PUSH2 0x1b48
00000808: SWAP1
00000809: SWAP2
0000080a: SWAP1
0000080b: PUSH4 0xffffffff
00000810: AND
00000811: JUMP
00000812: JUMPDEST
00000813: SWAP1
00000814: DUP2
00000815: ISZERO
00000816: MUL
00000817: SWAP1
00000818: PUSH1 0x40
0000081a: MLOAD
0000081b: PUSH1 0x00
0000081d: PUSH1 0x40
0000081f: MLOAD
00000820: DUP1
00000821: DUP4
00000822: SUB
00000823: DUP2
00000824: DUP6
00000825: DUP9
00000826: DUP9
00000827: CALL
00000828: SWAP4
00000829: POP
0000082a: POP
0000082b: POP
0000082c: POP
0000082d: ISZERO
0000082e: DUP1
0000082f: ISZERO
00000830: PUSH2 0x083d
00000833: JUMPI
00000834: RETURNDATASIZE
00000835: PUSH1 0x00
00000837: DUP1
00000838: RETURNDATACOPY
00000839: RETURNDATASIZE
0000083a: PUSH1 0x00
0000083c: REVERT
0000083d: JUMPDEST
0000083e: POP
0000083f: PUSH1 0x0c
00000841: PUSH1 0x00
00000843: SWAP1
00000844: SLOAD
00000845: SWAP1
00000846: PUSH2 0x0100
00000849: EXP
0000084a: SWAP1
0000084b: DIV
0000084c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000861: AND
00000862: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000877: AND
00000878: PUSH2 0x08fc
0000087b: PUSH2 0x08a1
0000087e: PUSH1 0x64
00000880: PUSH2 0x0893
00000883: PUSH1 0x01
00000885: CALLVALUE
00000886: PUSH2 0x1ac2
00000889: SWAP1
0000088a: SWAP2
0000088b: SWAP1
0000088c: PUSH4 0xffffffff
00000891: AND
00000892: JUMP
00000893: JUMPDEST
00000894: PUSH2 0x1b48
00000897: SWAP1
00000898: SWAP2
00000899: SWAP1
0000089a: PUSH4 0xffffffff
0000089f: AND
000008a0: JUMP
000008a1: JUMPDEST
000008a2: SWAP1
000008a3: DUP2
000008a4: ISZERO
000008a5: MUL
000008a6: SWAP1
000008a7: PUSH1 0x40
000008a9: MLOAD
000008aa: PUSH1 0x00
000008ac: PUSH1 0x40
000008ae: MLOAD
000008af: DUP1
000008b0: DUP4
000008b1: SUB
000008b2: DUP2
000008b3: DUP6
000008b4: DUP9
000008b5: DUP9
000008b6: CALL
000008b7: SWAP4
000008b8: POP
000008b9: POP
000008ba: POP
000008bb: POP
000008bc: ISZERO
000008bd: DUP1
000008be: ISZERO
000008bf: PUSH2 0x08cc
000008c2: JUMPI
000008c3: RETURNDATASIZE
000008c4: PUSH1 0x00
000008c6: DUP1
000008c7: RETURNDATACOPY
000008c8: RETURNDATASIZE
000008c9: PUSH1 0x00
000008cb: REVERT
000008cc: JUMPDEST
000008cd: POP
000008ce: STOP
000008cf: JUMPDEST
000008d0: CALLVALUE
000008d1: DUP1
000008d2: ISZERO
000008d3: PUSH2 0x08db
000008d6: JUMPI
000008d7: PUSH1 0x00
000008d9: DUP1
000008da: REVERT
000008db: JUMPDEST
000008dc: POP
000008dd: PUSH2 0x091e
000008e0: PUSH1 0x04
000008e2: DUP1
000008e3: CALLDATASIZE
000008e4: SUB
000008e5: PUSH1 0x20
000008e7: DUP2
000008e8: LT
000008e9: ISZERO
000008ea: PUSH2 0x08f2
000008ed: JUMPI
000008ee: PUSH1 0x00
000008f0: DUP1
000008f1: REVERT
000008f2: JUMPDEST
000008f3: DUP2
000008f4: ADD
000008f5: SWAP1
000008f6: DUP1
000008f7: DUP1
000008f8: CALLDATALOAD
000008f9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000090e: AND
0000090f: SWAP1
00000910: PUSH1 0x20
00000912: ADD
00000913: SWAP1
00000914: SWAP3
00000915: SWAP2
00000916: SWAP1
00000917: POP
00000918: POP
00000919: POP
0000091a: PUSH2 0x1b92
0000091d: JUMP
0000091e: JUMPDEST
0000091f: PUSH1 0x40
00000921: MLOAD
00000922: DUP1
00000923: DUP3
00000924: DUP2
00000925: MSTORE
00000926: PUSH1 0x20
00000928: ADD
00000929: SWAP2
0000092a: POP
0000092b: POP
0000092c: PUSH1 0x40
0000092e: MLOAD
0000092f: DUP1
00000930: SWAP2
00000931: SUB
00000932: SWAP1
00000933: RETURN
00000934: JUMPDEST
00000935: CALLVALUE
00000936: DUP1
00000937: ISZERO
00000938: PUSH2 0x0940
0000093b: JUMPI
0000093c: PUSH1 0x00
0000093e: DUP1
0000093f: REVERT
00000940: JUMPDEST
00000941: POP
00000942: PUSH2 0x0949
00000945: PUSH2 0x1c2b
00000948: JUMP
00000949: JUMPDEST
0000094a: PUSH1 0x40
0000094c: MLOAD
0000094d: DUP1
0000094e: DUP1
0000094f: PUSH1 0x20
00000951: ADD
00000952: DUP3
00000953: DUP2
00000954: SUB
00000955: DUP3
00000956: MSTORE
00000957: DUP4
00000958: DUP2
00000959: DUP2
0000095a: MLOAD
0000095b: DUP2
0000095c: MSTORE
0000095d: PUSH1 0x20
0000095f: ADD
00000960: SWAP2
00000961: POP
00000962: DUP1
00000963: MLOAD
00000964: SWAP1
00000965: PUSH1 0x20
00000967: ADD
00000968: SWAP1
00000969: DUP1
0000096a: DUP4
0000096b: DUP4
0000096c: PUSH1 0x00
0000096e: JUMPDEST
0000096f: DUP4
00000970: DUP2
00000971: LT
00000972: ISZERO
00000973: PUSH2 0x0989
00000976: JUMPI
00000977: DUP1
00000978: DUP3
00000979: ADD
0000097a: MLOAD
0000097b: DUP2
0000097c: DUP5
0000097d: ADD
0000097e: MSTORE
0000097f: PUSH1 0x20
00000981: DUP2
00000982: ADD
00000983: SWAP1
00000984: POP
00000985: PUSH2 0x096e
00000988: JUMP
00000989: JUMPDEST
0000098a: POP
0000098b: POP
0000098c: POP
0000098d: POP
0000098e: SWAP1
0000098f: POP
00000990: SWAP1
00000991: DUP2
00000992: ADD
00000993: SWAP1
00000994: PUSH1 0x1f
00000996: AND
00000997: DUP1
00000998: ISZERO
00000999: PUSH2 0x09b6
0000099c: JUMPI
0000099d: DUP1
0000099e: DUP3
0000099f: SUB
000009a0: DUP1
000009a1: MLOAD
000009a2: PUSH1 0x01
000009a4: DUP4
000009a5: PUSH1 0x20
000009a7: SUB
000009a8: PUSH2 0x0100
000009ab: EXP
000009ac: SUB
000009ad: NOT
000009ae: AND
000009af: DUP2
000009b0: MSTORE
000009b1: PUSH1 0x20
000009b3: ADD
000009b4: SWAP2
000009b5: POP
000009b6: JUMPDEST
000009b7: POP
000009b8: SWAP3
000009b9: POP
000009ba: POP
000009bb: POP
000009bc: PUSH1 0x40
000009be: MLOAD
000009bf: DUP1
000009c0: SWAP2
000009c1: SUB
000009c2: SWAP1
000009c3: RETURN
000009c4: JUMPDEST
000009c5: CALLVALUE
000009c6: DUP1
000009c7: ISZERO
000009c8: PUSH2 0x09d0
000009cb: JUMPI
000009cc: PUSH1 0x00
000009ce: DUP1
000009cf: REVERT
000009d0: JUMPDEST
000009d1: POP
000009d2: PUSH2 0x0a1d
000009d5: PUSH1 0x04
000009d7: DUP1
000009d8: CALLDATASIZE
000009d9: SUB
000009da: PUSH1 0x40
000009dc: DUP2
000009dd: LT
000009de: ISZERO
000009df: PUSH2 0x09e7
000009e2: JUMPI
000009e3: PUSH1 0x00
000009e5: DUP1
000009e6: REVERT
000009e7: JUMPDEST
000009e8: DUP2
000009e9: ADD
000009ea: SWAP1
000009eb: DUP1
000009ec: DUP1
000009ed: CALLDATALOAD
000009ee: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000a03: AND
00000a04: SWAP1
00000a05: PUSH1 0x20
00000a07: ADD
00000a08: SWAP1
00000a09: SWAP3
00000a0a: SWAP2
00000a0b: SWAP1
00000a0c: DUP1
00000a0d: CALLDATALOAD
00000a0e: SWAP1
00000a0f: PUSH1 0x20
00000a11: ADD
00000a12: SWAP1
00000a13: SWAP3
00000a14: SWAP2
00000a15: SWAP1
00000a16: POP
00000a17: POP
00000a18: POP
00000a19: PUSH2 0x1cc9
00000a1c: JUMP
00000a1d: JUMPDEST
00000a1e: PUSH1 0x40
00000a20: MLOAD
00000a21: DUP1
00000a22: DUP3
00000a23: ISZERO
00000a24: ISZERO
00000a25: ISZERO
00000a26: ISZERO
00000a27: DUP2
00000a28: MSTORE
00000a29: PUSH1 0x20
00000a2b: ADD
00000a2c: SWAP2
00000a2d: POP
00000a2e: POP
00000a2f: PUSH1 0x40
00000a31: MLOAD
00000a32: DUP1
00000a33: SWAP2
00000a34: SUB
00000a35: SWAP1
00000a36: RETURN
00000a37: JUMPDEST
00000a38: CALLVALUE
00000a39: DUP1
00000a3a: ISZERO
00000a3b: PUSH2 0x0a43
00000a3e: JUMPI
00000a3f: PUSH1 0x00
00000a41: DUP1
00000a42: REVERT
00000a43: JUMPDEST
00000a44: POP
00000a45: PUSH2 0x0a4c
00000a48: PUSH2 0x1ce0
00000a4b: JUMP
00000a4c: JUMPDEST
00000a4d: PUSH1 0x40
00000a4f: MLOAD
00000a50: DUP1
00000a51: DUP3
00000a52: DUP2
00000a53: MSTORE
00000a54: PUSH1 0x20
00000a56: ADD
00000a57: SWAP2
00000a58: POP
00000a59: POP
00000a5a: PUSH1 0x40
00000a5c: MLOAD
00000a5d: DUP1
00000a5e: SWAP2
00000a5f: SUB
00000a60: SWAP1
00000a61: RETURN
00000a62: JUMPDEST
00000a63: CALLVALUE
00000a64: DUP1
00000a65: ISZERO
00000a66: PUSH2 0x0a6e
00000a69: JUMPI
00000a6a: PUSH1 0x00
00000a6c: DUP1
00000a6d: REVERT
00000a6e: JUMPDEST
00000a6f: POP
00000a70: PUSH2 0x0a9b
00000a73: PUSH1 0x04
00000a75: DUP1
00000a76: CALLDATASIZE
00000a77: SUB
00000a78: PUSH1 0x20
00000a7a: DUP2
00000a7b: LT
00000a7c: ISZERO
00000a7d: PUSH2 0x0a85
00000a80: JUMPI
00000a81: PUSH1 0x00
00000a83: DUP1
00000a84: REVERT
00000a85: JUMPDEST
00000a86: DUP2
00000a87: ADD
00000a88: SWAP1
00000a89: DUP1
00000a8a: DUP1
00000a8b: CALLDATALOAD
00000a8c: SWAP1
00000a8d: PUSH1 0x20
00000a8f: ADD
00000a90: SWAP1
00000a91: SWAP3
00000a92: SWAP2
00000a93: SWAP1
00000a94: POP
00000a95: POP
00000a96: POP
00000a97: PUSH2 0x1ce6
00000a9a: JUMP
00000a9b: JUMPDEST
00000a9c: PUSH1 0x40
00000a9e: MLOAD
00000a9f: DUP1
00000aa0: DUP3
00000aa1: DUP2
00000aa2: MSTORE
00000aa3: PUSH1 0x20
00000aa5: ADD
00000aa6: SWAP2
00000aa7: POP
00000aa8: POP
00000aa9: PUSH1 0x40
00000aab: MLOAD
00000aac: DUP1
00000aad: SWAP2
00000aae: SUB
00000aaf: SWAP1
00000ab0: RETURN
00000ab1: JUMPDEST
00000ab2: CALLVALUE
00000ab3: DUP1
00000ab4: ISZERO
00000ab5: PUSH2 0x0abd
00000ab8: JUMPI
00000ab9: PUSH1 0x00
00000abb: DUP1
00000abc: REVERT
00000abd: JUMPDEST
00000abe: POP
00000abf: PUSH2 0x0ac6
00000ac2: PUSH2 0x1d59
00000ac5: JUMP
00000ac6: JUMPDEST
00000ac7: PUSH1 0x40
00000ac9: MLOAD
00000aca: DUP1
00000acb: DUP3
00000acc: DUP2
00000acd: MSTORE
00000ace: PUSH1 0x20
00000ad0: ADD
00000ad1: SWAP2
00000ad2: POP
00000ad3: POP
00000ad4: PUSH1 0x40
00000ad6: MLOAD
00000ad7: DUP1
00000ad8: SWAP2
00000ad9: SUB
00000ada: SWAP1
00000adb: RETURN
00000adc: JUMPDEST
00000add: CALLVALUE
00000ade: DUP1
00000adf: ISZERO
00000ae0: PUSH2 0x0ae8
00000ae3: JUMPI
00000ae4: PUSH1 0x00
00000ae6: DUP1
00000ae7: REVERT
00000ae8: JUMPDEST
00000ae9: POP
00000aea: PUSH2 0x0b15
00000aed: PUSH1 0x04
00000aef: DUP1
00000af0: CALLDATASIZE
00000af1: SUB
00000af2: PUSH1 0x20
00000af4: DUP2
00000af5: LT
00000af6: ISZERO
00000af7: PUSH2 0x0aff
00000afa: JUMPI
00000afb: PUSH1 0x00
00000afd: DUP1
00000afe: REVERT
00000aff: JUMPDEST
00000b00: DUP2
00000b01: ADD
00000b02: SWAP1
00000b03: DUP1
00000b04: DUP1
00000b05: CALLDATALOAD
00000b06: SWAP1
00000b07: PUSH1 0x20
00000b09: ADD
00000b0a: SWAP1
00000b0b: SWAP3
00000b0c: SWAP2
00000b0d: SWAP1
00000b0e: POP
00000b0f: POP
00000b10: POP
00000b11: PUSH2 0x1d63
00000b14: JUMP
00000b15: JUMPDEST
00000b16: PUSH1 0x40
00000b18: MLOAD
00000b19: DUP1
00000b1a: DUP3
00000b1b: DUP2
00000b1c: MSTORE
00000b1d: PUSH1 0x20
00000b1f: ADD
00000b20: SWAP2
00000b21: POP
00000b22: POP
00000b23: PUSH1 0x40
00000b25: MLOAD
00000b26: DUP1
00000b27: SWAP2
00000b28: SUB
00000b29: SWAP1
00000b2a: RETURN
00000b2b: JUMPDEST
00000b2c: CALLVALUE
00000b2d: DUP1
00000b2e: ISZERO
00000b2f: PUSH2 0x0b37
00000b32: JUMPI
00000b33: PUSH1 0x00
00000b35: DUP1
00000b36: REVERT
00000b37: JUMPDEST
00000b38: POP
00000b39: PUSH2 0x0ba4
00000b3c: PUSH1 0x04
00000b3e: DUP1
00000b3f: CALLDATASIZE
00000b40: SUB
00000b41: PUSH1 0x60
00000b43: DUP2
00000b44: LT
00000b45: ISZERO
00000b46: PUSH2 0x0b4e
00000b49: JUMPI
00000b4a: PUSH1 0x00
00000b4c: DUP1
00000b4d: REVERT
00000b4e: JUMPDEST
00000b4f: DUP2
00000b50: ADD
00000b51: SWAP1
00000b52: DUP1
00000b53: DUP1
00000b54: CALLDATALOAD
00000b55: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b6a: AND
00000b6b: SWAP1
00000b6c: PUSH1 0x20
00000b6e: ADD
00000b6f: SWAP1
00000b70: SWAP3
00000b71: SWAP2
00000b72: SWAP1
00000b73: DUP1
00000b74: CALLDATALOAD
00000b75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000b8a: AND
00000b8b: SWAP1
00000b8c: PUSH1 0x20
00000b8e: ADD
00000b8f: SWAP1
00000b90: SWAP3
00000b91: SWAP2
00000b92: SWAP1
00000b93: DUP1
00000b94: CALLDATALOAD
00000b95: SWAP1
00000b96: PUSH1 0x20
00000b98: ADD
00000b99: SWAP1
00000b9a: SWAP3
00000b9b: SWAP2
00000b9c: SWAP1
00000b9d: POP
00000b9e: POP
00000b9f: POP
00000ba0: PUSH2 0x1dd4
00000ba3: JUMP
00000ba4: JUMPDEST
00000ba5: PUSH1 0x40
00000ba7: MLOAD
00000ba8: DUP1
00000ba9: DUP3
00000baa: ISZERO
00000bab: ISZERO
00000bac: ISZERO
00000bad: ISZERO
00000bae: DUP2
00000baf: MSTORE
00000bb0: PUSH1 0x20
00000bb2: ADD
00000bb3: SWAP2
00000bb4: POP
00000bb5: POP
00000bb6: PUSH1 0x40
00000bb8: MLOAD
00000bb9: DUP1
00000bba: SWAP2
00000bbb: SUB
00000bbc: SWAP1
00000bbd: RETURN
00000bbe: JUMPDEST
00000bbf: CALLVALUE
00000bc0: DUP1
00000bc1: ISZERO
00000bc2: PUSH2 0x0bca
00000bc5: JUMPI
00000bc6: PUSH1 0x00
00000bc8: DUP1
00000bc9: REVERT
00000bca: JUMPDEST
00000bcb: POP
00000bcc: PUSH2 0x0bd3
00000bcf: PUSH2 0x210c
00000bd2: JUMP
00000bd3: JUMPDEST
00000bd4: PUSH1 0x40
00000bd6: MLOAD
00000bd7: DUP1
00000bd8: DUP3
00000bd9: PUSH1 0xff
00000bdb: AND
00000bdc: PUSH1 0xff
00000bde: AND
00000bdf: DUP2
00000be0: MSTORE
00000be1: PUSH1 0x20
00000be3: ADD
00000be4: SWAP2
00000be5: POP
00000be6: POP
00000be7: PUSH1 0x40
00000be9: MLOAD
00000bea: DUP1
00000beb: SWAP2
00000bec: SUB
00000bed: SWAP1
00000bee: RETURN
00000bef: JUMPDEST
00000bf0: CALLVALUE
00000bf1: DUP1
00000bf2: ISZERO
00000bf3: PUSH2 0x0bfb
00000bf6: JUMPI
00000bf7: PUSH1 0x00
00000bf9: DUP1
00000bfa: REVERT
00000bfb: JUMPDEST
00000bfc: POP
00000bfd: PUSH2 0x0c48
00000c00: PUSH1 0x04
00000c02: DUP1
00000c03: CALLDATASIZE
00000c04: SUB
00000c05: PUSH1 0x40
00000c07: DUP2
00000c08: LT
00000c09: ISZERO
00000c0a: PUSH2 0x0c12
00000c0d: JUMPI
00000c0e: PUSH1 0x00
00000c10: DUP1
00000c11: REVERT
00000c12: JUMPDEST
00000c13: DUP2
00000c14: ADD
00000c15: SWAP1
00000c16: DUP1
00000c17: DUP1
00000c18: CALLDATALOAD
00000c19: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000c2e: AND
00000c2f: SWAP1
00000c30: PUSH1 0x20
00000c32: ADD
00000c33: SWAP1
00000c34: SWAP3
00000c35: SWAP2
00000c36: SWAP1
00000c37: DUP1
00000c38: CALLDATALOAD
00000c39: SWAP1
00000c3a: PUSH1 0x20
00000c3c: ADD
00000c3d: SWAP1
00000c3e: SWAP3
00000c3f: SWAP2
00000c40: SWAP1
00000c41: POP
00000c42: POP
00000c43: POP
00000c44: PUSH2 0x211f
00000c47: JUMP
00000c48: JUMPDEST
00000c49: PUSH1 0x40
00000c4b: MLOAD
00000c4c: DUP1
00000c4d: DUP3
00000c4e: ISZERO
00000c4f: ISZERO
00000c50: ISZERO
00000c51: ISZERO
00000c52: DUP2
00000c53: MSTORE
00000c54: PUSH1 0x20
00000c56: ADD
00000c57: SWAP2
00000c58: POP
00000c59: POP
00000c5a: PUSH1 0x40
00000c5c: MLOAD
00000c5d: DUP1
00000c5e: SWAP2
00000c5f: SUB
00000c60: SWAP1
00000c61: RETURN
00000c62: JUMPDEST
00000c63: CALLVALUE
00000c64: DUP1
00000c65: ISZERO
00000c66: PUSH2 0x0c6e
00000c69: JUMPI
00000c6a: PUSH1 0x00
00000c6c: DUP1
00000c6d: REVERT
00000c6e: JUMPDEST
00000c6f: POP
00000c70: PUSH2 0x0c77
00000c73: PUSH2 0x21c4
00000c76: JUMP
00000c77: JUMPDEST
00000c78: STOP
00000c79: JUMPDEST
00000c7a: CALLVALUE
00000c7b: DUP1
00000c7c: ISZERO
00000c7d: PUSH2 0x0c85
00000c80: JUMPI
00000c81: PUSH1 0x00
00000c83: DUP1
00000c84: REVERT
00000c85: JUMPDEST
00000c86: POP
00000c87: PUSH2 0x0c8e
00000c8a: PUSH2 0x23ac
00000c8d: JUMP
00000c8e: JUMPDEST
00000c8f: PUSH1 0x40
00000c91: MLOAD
00000c92: DUP1
00000c93: DUP3
00000c94: DUP2
00000c95: MSTORE
00000c96: PUSH1 0x20
00000c98: ADD
00000c99: SWAP2
00000c9a: POP
00000c9b: POP
00000c9c: PUSH1 0x40
00000c9e: MLOAD
00000c9f: DUP1
00000ca0: SWAP2
00000ca1: SUB
00000ca2: SWAP1
00000ca3: RETURN
00000ca4: JUMPDEST
00000ca5: CALLVALUE
00000ca6: DUP1
00000ca7: ISZERO
00000ca8: PUSH2 0x0cb0
00000cab: JUMPI
00000cac: PUSH1 0x00
00000cae: DUP1
00000caf: REVERT
00000cb0: JUMPDEST
00000cb1: POP
00000cb2: PUSH2 0x0cb9
00000cb5: PUSH2 0x23b2
00000cb8: JUMP
00000cb9: JUMPDEST
00000cba: PUSH1 0x40
00000cbc: MLOAD
00000cbd: DUP1
00000cbe: DUP3
00000cbf: DUP2
00000cc0: MSTORE
00000cc1: PUSH1 0x20
00000cc3: ADD
00000cc4: SWAP2
00000cc5: POP
00000cc6: POP
00000cc7: PUSH1 0x40
00000cc9: MLOAD
00000cca: DUP1
00000ccb: SWAP2
00000ccc: SUB
00000ccd: SWAP1
00000cce: RETURN
00000ccf: JUMPDEST
00000cd0: CALLVALUE
00000cd1: DUP1
00000cd2: ISZERO
00000cd3: PUSH2 0x0cdb
00000cd6: JUMPI
00000cd7: PUSH1 0x00
00000cd9: DUP1
00000cda: REVERT
00000cdb: JUMPDEST
00000cdc: POP
00000cdd: PUSH2 0x0d1e
00000ce0: PUSH1 0x04
00000ce2: DUP1
00000ce3: CALLDATASIZE
00000ce4: SUB
00000ce5: PUSH1 0x20
00000ce7: DUP2
00000ce8: LT
00000ce9: ISZERO
00000cea: PUSH2 0x0cf2
00000ced: JUMPI
00000cee: PUSH1 0x00
00000cf0: DUP1
00000cf1: REVERT
00000cf2: JUMPDEST
00000cf3: DUP2
00000cf4: ADD
00000cf5: SWAP1
00000cf6: DUP1
00000cf7: DUP1
00000cf8: CALLDATALOAD
00000cf9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d0e: AND
00000d0f: SWAP1
00000d10: PUSH1 0x20
00000d12: ADD
00000d13: SWAP1
00000d14: SWAP3
00000d15: SWAP2
00000d16: SWAP1
00000d17: POP
00000d18: POP
00000d19: POP
00000d1a: PUSH2 0x2433
00000d1d: JUMP
00000d1e: JUMPDEST
00000d1f: PUSH1 0x40
00000d21: MLOAD
00000d22: DUP1
00000d23: DUP3
00000d24: DUP2
00000d25: MSTORE
00000d26: PUSH1 0x20
00000d28: ADD
00000d29: SWAP2
00000d2a: POP
00000d2b: POP
00000d2c: PUSH1 0x40
00000d2e: MLOAD
00000d2f: DUP1
00000d30: SWAP2
00000d31: SUB
00000d32: SWAP1
00000d33: RETURN
00000d34: JUMPDEST
00000d35: CALLVALUE
00000d36: DUP1
00000d37: ISZERO
00000d38: PUSH2 0x0d40
00000d3b: JUMPI
00000d3c: PUSH1 0x00
00000d3e: DUP1
00000d3f: REVERT
00000d40: JUMPDEST
00000d41: POP
00000d42: PUSH2 0x0d49
00000d45: PUSH2 0x244b
00000d48: JUMP
00000d49: JUMPDEST
00000d4a: PUSH1 0x40
00000d4c: MLOAD
00000d4d: DUP1
00000d4e: DUP3
00000d4f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d64: AND
00000d65: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000d7a: AND
00000d7b: DUP2
00000d7c: MSTORE
00000d7d: PUSH1 0x20
00000d7f: ADD
00000d80: SWAP2
00000d81: POP
00000d82: POP
00000d83: PUSH1 0x40
00000d85: MLOAD
00000d86: DUP1
00000d87: SWAP2
00000d88: SUB
00000d89: SWAP1
00000d8a: RETURN
00000d8b: JUMPDEST
00000d8c: CALLVALUE
00000d8d: DUP1
00000d8e: ISZERO
00000d8f: PUSH2 0x0d97
00000d92: JUMPI
00000d93: PUSH1 0x00
00000d95: DUP1
00000d96: REVERT
00000d97: JUMPDEST
00000d98: POP
00000d99: PUSH2 0x0da0
00000d9c: PUSH2 0x24b5
00000d9f: JUMP
00000da0: JUMPDEST
00000da1: PUSH1 0x40
00000da3: MLOAD
00000da4: DUP1
00000da5: DUP3
00000da6: DUP2
00000da7: MSTORE
00000da8: PUSH1 0x20
00000daa: ADD
00000dab: SWAP2
00000dac: POP
00000dad: POP
00000dae: PUSH1 0x40
00000db0: MLOAD
00000db1: DUP1
00000db2: SWAP2
00000db3: SUB
00000db4: SWAP1
00000db5: RETURN
00000db6: JUMPDEST
00000db7: CALLVALUE
00000db8: DUP1
00000db9: ISZERO
00000dba: PUSH2 0x0dc2
00000dbd: JUMPI
00000dbe: PUSH1 0x00
00000dc0: DUP1
00000dc1: REVERT
00000dc2: JUMPDEST
00000dc3: POP
00000dc4: PUSH2 0x0df1
00000dc7: PUSH1 0x04
00000dc9: DUP1
00000dca: CALLDATASIZE
00000dcb: SUB
00000dcc: PUSH1 0x20
00000dce: DUP2
00000dcf: LT
00000dd0: ISZERO
00000dd1: PUSH2 0x0dd9
00000dd4: JUMPI
00000dd5: PUSH1 0x00
00000dd7: DUP1
00000dd8: REVERT
00000dd9: JUMPDEST
00000dda: DUP2
00000ddb: ADD
00000ddc: SWAP1
00000ddd: DUP1
00000dde: DUP1
00000ddf: CALLDATALOAD
00000de0: ISZERO
00000de1: ISZERO
00000de2: SWAP1
00000de3: PUSH1 0x20
00000de5: ADD
00000de6: SWAP1
00000de7: SWAP3
00000de8: SWAP2
00000de9: SWAP1
00000dea: POP
00000deb: POP
00000dec: POP
00000ded: PUSH2 0x24bb
00000df0: JUMP
00000df1: JUMPDEST
00000df2: PUSH1 0x40
00000df4: MLOAD
00000df5: DUP1
00000df6: DUP3
00000df7: DUP2
00000df8: MSTORE
00000df9: PUSH1 0x20
00000dfb: ADD
00000dfc: SWAP2
00000dfd: POP
00000dfe: POP
00000dff: PUSH1 0x40
00000e01: MLOAD
00000e02: DUP1
00000e03: SWAP2
00000e04: SUB
00000e05: SWAP1
00000e06: RETURN
00000e07: JUMPDEST
00000e08: CALLVALUE
00000e09: DUP1
00000e0a: ISZERO
00000e0b: PUSH2 0x0e13
00000e0e: JUMPI
00000e0f: PUSH1 0x00
00000e11: DUP1
00000e12: REVERT
00000e13: JUMPDEST
00000e14: POP
00000e15: PUSH2 0x0e1c
00000e18: PUSH2 0x2527
00000e1b: JUMP
00000e1c: JUMPDEST
00000e1d: PUSH1 0x40
00000e1f: MLOAD
00000e20: DUP1
00000e21: DUP3
00000e22: DUP2
00000e23: MSTORE
00000e24: PUSH1 0x20
00000e26: ADD
00000e27: SWAP2
00000e28: POP
00000e29: POP
00000e2a: PUSH1 0x40
00000e2c: MLOAD
00000e2d: DUP1
00000e2e: SWAP2
00000e2f: SUB
00000e30: SWAP1
00000e31: RETURN
00000e32: JUMPDEST
00000e33: CALLVALUE
00000e34: DUP1
00000e35: ISZERO
00000e36: PUSH2 0x0e3e
00000e39: JUMPI
00000e3a: PUSH1 0x00
00000e3c: DUP1
00000e3d: REVERT
00000e3e: JUMPDEST
00000e3f: POP
00000e40: PUSH2 0x0e47
00000e43: PUSH2 0x252f
00000e46: JUMP
00000e47: JUMPDEST
00000e48: PUSH1 0x40
00000e4a: MLOAD
00000e4b: DUP1
00000e4c: DUP3
00000e4d: DUP2
00000e4e: MSTORE
00000e4f: PUSH1 0x20
00000e51: ADD
00000e52: SWAP2
00000e53: POP
00000e54: POP
00000e55: PUSH1 0x40
00000e57: MLOAD
00000e58: DUP1
00000e59: SWAP2
00000e5a: SUB
00000e5b: SWAP1
00000e5c: RETURN
00000e5d: JUMPDEST
00000e5e: CALLVALUE
00000e5f: DUP1
00000e60: ISZERO
00000e61: PUSH2 0x0e69
00000e64: JUMPI
00000e65: PUSH1 0x00
00000e67: DUP1
00000e68: REVERT
00000e69: JUMPDEST
00000e6a: POP
00000e6b: PUSH2 0x0eac
00000e6e: PUSH1 0x04
00000e70: DUP1
00000e71: CALLDATASIZE
00000e72: SUB
00000e73: PUSH1 0x20
00000e75: DUP2
00000e76: LT
00000e77: ISZERO
00000e78: PUSH2 0x0e80
00000e7b: JUMPI
00000e7c: PUSH1 0x00
00000e7e: DUP1
00000e7f: REVERT
00000e80: JUMPDEST
00000e81: DUP2
00000e82: ADD
00000e83: SWAP1
00000e84: DUP1
00000e85: DUP1
00000e86: CALLDATALOAD
00000e87: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000e9c: AND
00000e9d: SWAP1
00000e9e: PUSH1 0x20
00000ea0: ADD
00000ea1: SWAP1
00000ea2: SWAP3
00000ea3: SWAP2
00000ea4: SWAP1
00000ea5: POP
00000ea6: POP
00000ea7: POP
00000ea8: PUSH2 0x2535
00000eab: JUMP
00000eac: JUMPDEST
00000ead: PUSH1 0x40
00000eaf: MLOAD
00000eb0: DUP1
00000eb1: DUP3
00000eb2: DUP2
00000eb3: MSTORE
00000eb4: PUSH1 0x20
00000eb6: ADD
00000eb7: SWAP2
00000eb8: POP
00000eb9: POP
00000eba: PUSH1 0x40
00000ebc: MLOAD
00000ebd: DUP1
00000ebe: SWAP2
00000ebf: SUB
00000ec0: SWAP1
00000ec1: RETURN
00000ec2: JUMPDEST
00000ec3: CALLVALUE
00000ec4: DUP1
00000ec5: ISZERO
00000ec6: PUSH2 0x0ece
00000ec9: JUMPI
00000eca: PUSH1 0x00
00000ecc: DUP1
00000ecd: REVERT
00000ece: JUMPDEST
00000ecf: POP
00000ed0: PUSH2 0x0ed7
00000ed3: PUSH2 0x257e
00000ed6: JUMP
00000ed7: JUMPDEST
00000ed8: PUSH1 0x40
00000eda: MLOAD
00000edb: DUP1
00000edc: DUP3
00000edd: DUP2
00000ede: MSTORE
00000edf: PUSH1 0x20
00000ee1: ADD
00000ee2: SWAP2
00000ee3: POP
00000ee4: POP
00000ee5: PUSH1 0x40
00000ee7: MLOAD
00000ee8: DUP1
00000ee9: SWAP2
00000eea: SUB
00000eeb: SWAP1
00000eec: RETURN
00000eed: JUMPDEST
00000eee: CALLVALUE
00000eef: DUP1
00000ef0: ISZERO
00000ef1: PUSH2 0x0ef9
00000ef4: JUMPI
00000ef5: PUSH1 0x00
00000ef7: DUP1
00000ef8: REVERT
00000ef9: JUMPDEST
00000efa: POP
00000efb: PUSH2 0x0f3c
00000efe: PUSH1 0x04
00000f00: DUP1
00000f01: CALLDATASIZE
00000f02: SUB
00000f03: PUSH1 0x20
00000f05: DUP2
00000f06: LT
00000f07: ISZERO
00000f08: PUSH2 0x0f10
00000f0b: JUMPI
00000f0c: PUSH1 0x00
00000f0e: DUP1
00000f0f: REVERT
00000f10: JUMPDEST
00000f11: DUP2
00000f12: ADD
00000f13: SWAP1
00000f14: DUP1
00000f15: DUP1
00000f16: CALLDATALOAD
00000f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f2c: AND
00000f2d: SWAP1
00000f2e: PUSH1 0x20
00000f30: ADD
00000f31: SWAP1
00000f32: SWAP3
00000f33: SWAP2
00000f34: SWAP1
00000f35: POP
00000f36: POP
00000f37: POP
00000f38: PUSH2 0x2584
00000f3b: JUMP
00000f3c: JUMPDEST
00000f3d: PUSH1 0x40
00000f3f: MLOAD
00000f40: DUP1
00000f41: DUP3
00000f42: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f57: AND
00000f58: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00000f6d: AND
00000f6e: DUP2
00000f6f: MSTORE
00000f70: PUSH1 0x20
00000f72: ADD
00000f73: SWAP2
00000f74: POP
00000f75: POP
00000f76: PUSH1 0x40
00000f78: MLOAD
00000f79: DUP1
00000f7a: SWAP2
00000f7b: SUB
00000f7c: SWAP1
00000f7d: RETURN
00000f7e: JUMPDEST
00000f7f: CALLVALUE
00000f80: DUP1
00000f81: ISZERO
00000f82: PUSH2 0x0f8a
00000f85: JUMPI
00000f86: PUSH1 0x00
00000f88: DUP1
00000f89: REVERT
00000f8a: JUMPDEST
00000f8b: POP
00000f8c: PUSH2 0x0f93
00000f8f: PUSH2 0x2603
00000f92: JUMP
00000f93: JUMPDEST
00000f94: PUSH1 0x40
00000f96: MLOAD
00000f97: DUP1
00000f98: DUP3
00000f99: DUP2
00000f9a: MSTORE
00000f9b: PUSH1 0x20
00000f9d: ADD
00000f9e: SWAP2
00000f9f: POP
00000fa0: POP
00000fa1: PUSH1 0x40
00000fa3: MLOAD
00000fa4: DUP1
00000fa5: SWAP2
00000fa6: SUB
00000fa7: SWAP1
00000fa8: RETURN
00000fa9: JUMPDEST
00000faa: CALLVALUE
00000fab: DUP1
00000fac: ISZERO
00000fad: PUSH2 0x0fb5
00000fb0: JUMPI
00000fb1: PUSH1 0x00
00000fb3: DUP1
00000fb4: REVERT
00000fb5: JUMPDEST
00000fb6: POP
00000fb7: PUSH2 0x0fbe
00000fba: PUSH2 0x266a
00000fbd: JUMP
00000fbe: JUMPDEST
00000fbf: PUSH1 0x40
00000fc1: MLOAD
00000fc2: DUP1
00000fc3: DUP3
00000fc4: DUP2
00000fc5: MSTORE
00000fc6: PUSH1 0x20
00000fc8: ADD
00000fc9: SWAP2
00000fca: POP
00000fcb: POP
00000fcc: PUSH1 0x40
00000fce: MLOAD
00000fcf: DUP1
00000fd0: SWAP2
00000fd1: SUB
00000fd2: SWAP1
00000fd3: RETURN
00000fd4: JUMPDEST
00000fd5: CALLVALUE
00000fd6: DUP1
00000fd7: ISZERO
00000fd8: PUSH2 0x0fe0
00000fdb: JUMPI
00000fdc: PUSH1 0x00
00000fde: DUP1
00000fdf: REVERT
00000fe0: JUMPDEST
00000fe1: POP
00000fe2: PUSH2 0x0fe9
00000fe5: PUSH2 0x2670
00000fe8: JUMP
00000fe9: JUMPDEST
00000fea: PUSH1 0x40
00000fec: MLOAD
00000fed: DUP1
00000fee: DUP3
00000fef: DUP2
00000ff0: MSTORE
00000ff1: PUSH1 0x20
00000ff3: ADD
00000ff4: SWAP2
00000ff5: POP
00000ff6: POP
00000ff7: PUSH1 0x40
00000ff9: MLOAD
00000ffa: DUP1
00000ffb: SWAP2
00000ffc: SUB
00000ffd: SWAP1
00000ffe: RETURN
00000fff: JUMPDEST
00001000: CALLVALUE
00001001: DUP1
00001002: ISZERO
00001003: PUSH2 0x100b
00001006: JUMPI
00001007: PUSH1 0x00
00001009: DUP1
0000100a: REVERT
0000100b: JUMPDEST
0000100c: POP
0000100d: PUSH2 0x1014
00001010: PUSH2 0x2685
00001013: JUMP
00001014: JUMPDEST
00001015: PUSH1 0x40
00001017: MLOAD
00001018: DUP1
00001019: DUP1
0000101a: PUSH1 0x20
0000101c: ADD
0000101d: DUP3
0000101e: DUP2
0000101f: SUB
00001020: DUP3
00001021: MSTORE
00001022: DUP4
00001023: DUP2
00001024: DUP2
00001025: MLOAD
00001026: DUP2
00001027: MSTORE
00001028: PUSH1 0x20
0000102a: ADD
0000102b: SWAP2
0000102c: POP
0000102d: DUP1
0000102e: MLOAD
0000102f: SWAP1
00001030: PUSH1 0x20
00001032: ADD
00001033: SWAP1
00001034: DUP1
00001035: DUP4
00001036: DUP4
00001037: PUSH1 0x00
00001039: JUMPDEST
0000103a: DUP4
0000103b: DUP2
0000103c: LT
0000103d: ISZERO
0000103e: PUSH2 0x1054
00001041: JUMPI
00001042: DUP1
00001043: DUP3
00001044: ADD
00001045: MLOAD
00001046: DUP2
00001047: DUP5
00001048: ADD
00001049: MSTORE
0000104a: PUSH1 0x20
0000104c: DUP2
0000104d: ADD
0000104e: SWAP1
0000104f: POP
00001050: PUSH2 0x1039
00001053: JUMP
00001054: JUMPDEST
00001055: POP
00001056: POP
00001057: POP
00001058: POP
00001059: SWAP1
0000105a: POP
0000105b: SWAP1
0000105c: DUP2
0000105d: ADD
0000105e: SWAP1
0000105f: PUSH1 0x1f
00001061: AND
00001062: DUP1
00001063: ISZERO
00001064: PUSH2 0x1081
00001067: JUMPI
00001068: DUP1
00001069: DUP3
0000106a: SUB
0000106b: DUP1
0000106c: MLOAD
0000106d: PUSH1 0x01
0000106f: DUP4
00001070: PUSH1 0x20
00001072: SUB
00001073: PUSH2 0x0100
00001076: EXP
00001077: SUB
00001078: NOT
00001079: AND
0000107a: DUP2
0000107b: MSTORE
0000107c: PUSH1 0x20
0000107e: ADD
0000107f: SWAP2
00001080: POP
00001081: JUMPDEST
00001082: POP
00001083: SWAP3
00001084: POP
00001085: POP
00001086: POP
00001087: PUSH1 0x40
00001089: MLOAD
0000108a: DUP1
0000108b: SWAP2
0000108c: SUB
0000108d: SWAP1
0000108e: RETURN
0000108f: JUMPDEST
00001090: CALLVALUE
00001091: DUP1
00001092: ISZERO
00001093: PUSH2 0x109b
00001096: JUMPI
00001097: PUSH1 0x00
00001099: DUP1
0000109a: REVERT
0000109b: JUMPDEST
0000109c: POP
0000109d: PUSH2 0x10c8
000010a0: PUSH1 0x04
000010a2: DUP1
000010a3: CALLDATASIZE
000010a4: SUB
000010a5: PUSH1 0x20
000010a7: DUP2
000010a8: LT
000010a9: ISZERO
000010aa: PUSH2 0x10b2
000010ad: JUMPI
000010ae: PUSH1 0x00
000010b0: DUP1
000010b1: REVERT
000010b2: JUMPDEST
000010b3: DUP2
000010b4: ADD
000010b5: SWAP1
000010b6: DUP1
000010b7: DUP1
000010b8: CALLDATALOAD
000010b9: SWAP1
000010ba: PUSH1 0x20
000010bc: ADD
000010bd: SWAP1
000010be: SWAP3
000010bf: SWAP2
000010c0: SWAP1
000010c1: POP
000010c2: POP
000010c3: POP
000010c4: PUSH2 0x2723
000010c7: JUMP
000010c8: JUMPDEST
000010c9: PUSH1 0x40
000010cb: MLOAD
000010cc: DUP1
000010cd: DUP3
000010ce: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010e3: AND
000010e4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000010f9: AND
000010fa: DUP2
000010fb: MSTORE
000010fc: PUSH1 0x20
000010fe: ADD
000010ff: SWAP2
00001100: POP
00001101: POP
00001102: PUSH1 0x40
00001104: MLOAD
00001105: DUP1
00001106: SWAP2
00001107: SUB
00001108: SWAP1
00001109: RETURN
0000110a: JUMPDEST
0000110b: CALLVALUE
0000110c: DUP1
0000110d: ISZERO
0000110e: PUSH2 0x1116
00001111: JUMPI
00001112: PUSH1 0x00
00001114: DUP1
00001115: REVERT
00001116: JUMPDEST
00001117: POP
00001118: PUSH2 0x1163
0000111b: PUSH1 0x04
0000111d: DUP1
0000111e: CALLDATASIZE
0000111f: SUB
00001120: PUSH1 0x40
00001122: DUP2
00001123: LT
00001124: ISZERO
00001125: PUSH2 0x112d
00001128: JUMPI
00001129: PUSH1 0x00
0000112b: DUP1
0000112c: REVERT
0000112d: JUMPDEST
0000112e: DUP2
0000112f: ADD
00001130: SWAP1
00001131: DUP1
00001132: DUP1
00001133: CALLDATALOAD
00001134: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001149: AND
0000114a: SWAP1
0000114b: PUSH1 0x20
0000114d: ADD
0000114e: SWAP1
0000114f: SWAP3
00001150: SWAP2
00001151: SWAP1
00001152: DUP1
00001153: CALLDATALOAD
00001154: SWAP1
00001155: PUSH1 0x20
00001157: ADD
00001158: SWAP1
00001159: SWAP3
0000115a: SWAP2
0000115b: SWAP1
0000115c: POP
0000115d: POP
0000115e: POP
0000115f: PUSH2 0x2756
00001162: JUMP
00001163: JUMPDEST
00001164: PUSH1 0x40
00001166: MLOAD
00001167: DUP1
00001168: DUP3
00001169: ISZERO
0000116a: ISZERO
0000116b: ISZERO
0000116c: ISZERO
0000116d: DUP2
0000116e: MSTORE
0000116f: PUSH1 0x20
00001171: ADD
00001172: SWAP2
00001173: POP
00001174: POP
00001175: PUSH1 0x40
00001177: MLOAD
00001178: DUP1
00001179: SWAP2
0000117a: SUB
0000117b: SWAP1
0000117c: RETURN
0000117d: JUMPDEST
0000117e: CALLVALUE
0000117f: DUP1
00001180: ISZERO
00001181: PUSH2 0x1189
00001184: JUMPI
00001185: PUSH1 0x00
00001187: DUP1
00001188: REVERT
00001189: JUMPDEST
0000118a: POP
0000118b: PUSH2 0x11cc
0000118e: PUSH1 0x04
00001190: DUP1
00001191: CALLDATASIZE
00001192: SUB
00001193: PUSH1 0x20
00001195: DUP2
00001196: LT
00001197: ISZERO
00001198: PUSH2 0x11a0
0000119b: JUMPI
0000119c: PUSH1 0x00
0000119e: DUP1
0000119f: REVERT
000011a0: JUMPDEST
000011a1: DUP2
000011a2: ADD
000011a3: SWAP1
000011a4: DUP1
000011a5: DUP1
000011a6: CALLDATALOAD
000011a7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011bc: AND
000011bd: SWAP1
000011be: PUSH1 0x20
000011c0: ADD
000011c1: SWAP1
000011c2: SWAP3
000011c3: SWAP2
000011c4: SWAP1
000011c5: POP
000011c6: POP
000011c7: POP
000011c8: PUSH2 0x2815
000011cb: JUMP
000011cc: JUMPDEST
000011cd: PUSH1 0x40
000011cf: MLOAD
000011d0: DUP1
000011d1: DUP6
000011d2: ISZERO
000011d3: ISZERO
000011d4: ISZERO
000011d5: ISZERO
000011d6: DUP2
000011d7: MSTORE
000011d8: PUSH1 0x20
000011da: ADD
000011db: DUP5
000011dc: DUP2
000011dd: MSTORE
000011de: PUSH1 0x20
000011e0: ADD
000011e1: DUP4
000011e2: DUP2
000011e3: MSTORE
000011e4: PUSH1 0x20
000011e6: ADD
000011e7: DUP3
000011e8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000011fd: AND
000011fe: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001213: AND
00001214: DUP2
00001215: MSTORE
00001216: PUSH1 0x20
00001218: ADD
00001219: SWAP5
0000121a: POP
0000121b: POP
0000121c: POP
0000121d: POP
0000121e: POP
0000121f: PUSH1 0x40
00001221: MLOAD
00001222: DUP1
00001223: SWAP2
00001224: SUB
00001225: SWAP1
00001226: RETURN
00001227: JUMPDEST
00001228: CALLVALUE
00001229: DUP1
0000122a: ISZERO
0000122b: PUSH2 0x1233
0000122e: JUMPI
0000122f: PUSH1 0x00
00001231: DUP1
00001232: REVERT
00001233: JUMPDEST
00001234: POP
00001235: PUSH2 0x1280
00001238: PUSH1 0x04
0000123a: DUP1
0000123b: CALLDATASIZE
0000123c: SUB
0000123d: PUSH1 0x40
0000123f: DUP2
00001240: LT
00001241: ISZERO
00001242: PUSH2 0x124a
00001245: JUMPI
00001246: PUSH1 0x00
00001248: DUP1
00001249: REVERT
0000124a: JUMPDEST
0000124b: DUP2
0000124c: ADD
0000124d: SWAP1
0000124e: DUP1
0000124f: DUP1
00001250: CALLDATALOAD
00001251: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001266: AND
00001267: SWAP1
00001268: PUSH1 0x20
0000126a: ADD
0000126b: SWAP1
0000126c: SWAP3
0000126d: SWAP2
0000126e: SWAP1
0000126f: DUP1
00001270: CALLDATALOAD
00001271: SWAP1
00001272: PUSH1 0x20
00001274: ADD
00001275: SWAP1
00001276: SWAP3
00001277: SWAP2
00001278: SWAP1
00001279: POP
0000127a: POP
0000127b: POP
0000127c: PUSH2 0x2872
0000127f: JUMP
00001280: JUMPDEST
00001281: PUSH1 0x40
00001283: MLOAD
00001284: DUP1
00001285: DUP3
00001286: ISZERO
00001287: ISZERO
00001288: ISZERO
00001289: ISZERO
0000128a: DUP2
0000128b: MSTORE
0000128c: PUSH1 0x20
0000128e: ADD
0000128f: SWAP2
00001290: POP
00001291: POP
00001292: PUSH1 0x40
00001294: MLOAD
00001295: DUP1
00001296: SWAP2
00001297: SUB
00001298: SWAP1
00001299: RETURN
0000129a: JUMPDEST
0000129b: CALLVALUE
0000129c: DUP1
0000129d: ISZERO
0000129e: PUSH2 0x12a6
000012a1: JUMPI
000012a2: PUSH1 0x00
000012a4: DUP1
000012a5: REVERT
000012a6: JUMPDEST
000012a7: POP
000012a8: PUSH2 0x12af
000012ab: PUSH2 0x2b0a
000012ae: JUMP
000012af: JUMPDEST
000012b0: PUSH1 0x40
000012b2: MLOAD
000012b3: DUP1
000012b4: DUP3
000012b5: DUP2
000012b6: MSTORE
000012b7: PUSH1 0x20
000012b9: ADD
000012ba: SWAP2
000012bb: POP
000012bc: POP
000012bd: PUSH1 0x40
000012bf: MLOAD
000012c0: DUP1
000012c1: SWAP2
000012c2: SUB
000012c3: SWAP1
000012c4: RETURN
000012c5: JUMPDEST
000012c6: CALLVALUE
000012c7: DUP1
000012c8: ISZERO
000012c9: PUSH2 0x12d1
000012cc: JUMPI
000012cd: PUSH1 0x00
000012cf: DUP1
000012d0: REVERT
000012d1: JUMPDEST
000012d2: POP
000012d3: PUSH2 0x1314
000012d6: PUSH1 0x04
000012d8: DUP1
000012d9: CALLDATASIZE
000012da: SUB
000012db: PUSH1 0x20
000012dd: DUP2
000012de: LT
000012df: ISZERO
000012e0: PUSH2 0x12e8
000012e3: JUMPI
000012e4: PUSH1 0x00
000012e6: DUP1
000012e7: REVERT
000012e8: JUMPDEST
000012e9: DUP2
000012ea: ADD
000012eb: SWAP1
000012ec: DUP1
000012ed: DUP1
000012ee: CALLDATALOAD
000012ef: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001304: AND
00001305: SWAP1
00001306: PUSH1 0x20
00001308: ADD
00001309: SWAP1
0000130a: SWAP3
0000130b: SWAP2
0000130c: SWAP1
0000130d: POP
0000130e: POP
0000130f: POP
00001310: PUSH2 0x2b10
00001313: JUMP
00001314: JUMPDEST
00001315: PUSH1 0x40
00001317: MLOAD
00001318: DUP1
00001319: DUP3
0000131a: DUP2
0000131b: MSTORE
0000131c: PUSH1 0x20
0000131e: ADD
0000131f: SWAP2
00001320: POP
00001321: POP
00001322: PUSH1 0x40
00001324: MLOAD
00001325: DUP1
00001326: SWAP2
00001327: SUB
00001328: SWAP1
00001329: RETURN
0000132a: JUMPDEST
0000132b: CALLVALUE
0000132c: DUP1
0000132d: ISZERO
0000132e: PUSH2 0x1336
00001331: JUMPI
00001332: PUSH1 0x00
00001334: DUP1
00001335: REVERT
00001336: JUMPDEST
00001337: POP
00001338: PUSH2 0x133f
0000133b: PUSH2 0x2b28
0000133e: JUMP
0000133f: JUMPDEST
00001340: PUSH1 0x40
00001342: MLOAD
00001343: DUP1
00001344: DUP3
00001345: DUP2
00001346: MSTORE
00001347: PUSH1 0x20
00001349: ADD
0000134a: SWAP2
0000134b: POP
0000134c: POP
0000134d: PUSH1 0x40
0000134f: MLOAD
00001350: DUP1
00001351: SWAP2
00001352: SUB
00001353: SWAP1
00001354: RETURN
00001355: JUMPDEST
00001356: CALLVALUE
00001357: DUP1
00001358: ISZERO
00001359: PUSH2 0x1361
0000135c: JUMPI
0000135d: PUSH1 0x00
0000135f: DUP1
00001360: REVERT
00001361: JUMPDEST
00001362: POP
00001363: PUSH2 0x13c4
00001366: PUSH1 0x04
00001368: DUP1
00001369: CALLDATASIZE
0000136a: SUB
0000136b: PUSH1 0x40
0000136d: DUP2
0000136e: LT
0000136f: ISZERO
00001370: PUSH2 0x1378
00001373: JUMPI
00001374: PUSH1 0x00
00001376: DUP1
00001377: REVERT
00001378: JUMPDEST
00001379: DUP2
0000137a: ADD
0000137b: SWAP1
0000137c: DUP1
0000137d: DUP1
0000137e: CALLDATALOAD
0000137f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001394: AND
00001395: SWAP1
00001396: PUSH1 0x20
00001398: ADD
00001399: SWAP1
0000139a: SWAP3
0000139b: SWAP2
0000139c: SWAP1
0000139d: DUP1
0000139e: CALLDATALOAD
0000139f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000013b4: AND
000013b5: SWAP1
000013b6: PUSH1 0x20
000013b8: ADD
000013b9: SWAP1
000013ba: SWAP3
000013bb: SWAP2
000013bc: SWAP1
000013bd: POP
000013be: POP
000013bf: POP
000013c0: PUSH2 0x2b2e
000013c3: JUMP
000013c4: JUMPDEST
000013c5: PUSH1 0x40
000013c7: MLOAD
000013c8: DUP1
000013c9: DUP3
000013ca: DUP2
000013cb: MSTORE
000013cc: PUSH1 0x20
000013ce: ADD
000013cf: SWAP2
000013d0: POP
000013d1: POP
000013d2: PUSH1 0x40
000013d4: MLOAD
000013d5: DUP1
000013d6: SWAP2
000013d7: SUB
000013d8: SWAP1
000013d9: RETURN
000013da: JUMPDEST
000013db: CALLVALUE
000013dc: DUP1
000013dd: ISZERO
000013de: PUSH2 0x13e6
000013e1: JUMPI
000013e2: PUSH1 0x00
000013e4: DUP1
000013e5: REVERT
000013e6: JUMPDEST
000013e7: POP
000013e8: PUSH2 0x13ef
000013eb: PUSH2 0x2bb5
000013ee: JUMP
000013ef: JUMPDEST
000013f0: PUSH1 0x40
000013f2: MLOAD
000013f3: DUP1
000013f4: DUP3
000013f5: DUP2
000013f6: MSTORE
000013f7: PUSH1 0x20
000013f9: ADD
000013fa: SWAP2
000013fb: POP
000013fc: POP
000013fd: PUSH1 0x40
000013ff: MLOAD
00001400: DUP1
00001401: SWAP2
00001402: SUB
00001403: SWAP1
00001404: RETURN
00001405: JUMPDEST
00001406: CALLVALUE
00001407: DUP1
00001408: ISZERO
00001409: PUSH2 0x1411
0000140c: JUMPI
0000140d: PUSH1 0x00
0000140f: DUP1
00001410: REVERT
00001411: JUMPDEST
00001412: POP
00001413: PUSH2 0x1454
00001416: PUSH1 0x04
00001418: DUP1
00001419: CALLDATASIZE
0000141a: SUB
0000141b: PUSH1 0x20
0000141d: DUP2
0000141e: LT
0000141f: ISZERO
00001420: PUSH2 0x1428
00001423: JUMPI
00001424: PUSH1 0x00
00001426: DUP1
00001427: REVERT
00001428: JUMPDEST
00001429: DUP2
0000142a: ADD
0000142b: SWAP1
0000142c: DUP1
0000142d: DUP1
0000142e: CALLDATALOAD
0000142f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001444: AND
00001445: SWAP1
00001446: PUSH1 0x20
00001448: ADD
00001449: SWAP1
0000144a: SWAP3
0000144b: SWAP2
0000144c: SWAP1
0000144d: POP
0000144e: POP
0000144f: POP
00001450: PUSH2 0x2bbb
00001453: JUMP
00001454: JUMPDEST
00001455: PUSH1 0x40
00001457: MLOAD
00001458: DUP1
00001459: DUP3
0000145a: DUP2
0000145b: MSTORE
0000145c: PUSH1 0x20
0000145e: ADD
0000145f: SWAP2
00001460: POP
00001461: POP
00001462: PUSH1 0x40
00001464: MLOAD
00001465: DUP1
00001466: SWAP2
00001467: SUB
00001468: SWAP1
00001469: RETURN
0000146a: JUMPDEST
0000146b: CALLVALUE
0000146c: DUP1
0000146d: ISZERO
0000146e: PUSH2 0x1476
00001471: JUMPI
00001472: PUSH1 0x00
00001474: DUP1
00001475: REVERT
00001476: JUMPDEST
00001477: POP
00001478: PUSH2 0x14a3
0000147b: PUSH1 0x04
0000147d: DUP1
0000147e: CALLDATASIZE
0000147f: SUB
00001480: PUSH1 0x20
00001482: DUP2
00001483: LT
00001484: ISZERO
00001485: PUSH2 0x148d
00001488: JUMPI
00001489: PUSH1 0x00
0000148b: DUP1
0000148c: REVERT
0000148d: JUMPDEST
0000148e: DUP2
0000148f: ADD
00001490: SWAP1
00001491: DUP1
00001492: DUP1
00001493: CALLDATALOAD
00001494: SWAP1
00001495: PUSH1 0x20
00001497: ADD
00001498: SWAP1
00001499: SWAP3
0000149a: SWAP2
0000149b: SWAP1
0000149c: POP
0000149d: POP
0000149e: POP
0000149f: PUSH2 0x2bd3
000014a2: JUMP
000014a3: JUMPDEST
000014a4: STOP
000014a5: JUMPDEST
000014a6: CALLVALUE
000014a7: DUP1
000014a8: ISZERO
000014a9: PUSH2 0x14b1
000014ac: JUMPI
000014ad: PUSH1 0x00
000014af: DUP1
000014b0: REVERT
000014b1: JUMPDEST
000014b2: POP
000014b3: PUSH2 0x14ba
000014b6: PUSH2 0x2f02
000014b9: JUMP
000014ba: JUMPDEST
000014bb: STOP
000014bc: JUMPDEST
000014bd: PUSH2 0x14fe
000014c0: PUSH1 0x04
000014c2: DUP1
000014c3: CALLDATASIZE
000014c4: SUB
000014c5: PUSH1 0x20
000014c7: DUP2
000014c8: LT
000014c9: ISZERO
000014ca: PUSH2 0x14d2
000014cd: JUMPI
000014ce: PUSH1 0x00
000014d0: DUP1
000014d1: REVERT
000014d2: JUMPDEST
000014d3: DUP2
000014d4: ADD
000014d5: SWAP1
000014d6: DUP1
000014d7: DUP1
000014d8: CALLDATALOAD
000014d9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000014ee: AND
000014ef: SWAP1
000014f0: PUSH1 0x20
000014f2: ADD
000014f3: SWAP1
000014f4: SWAP3
000014f5: SWAP2
000014f6: SWAP1
000014f7: POP
000014f8: POP
000014f9: POP
000014fa: PUSH2 0x2f6a
000014fd: JUMP
000014fe: JUMPDEST
000014ff: PUSH1 0x40
00001501: MLOAD
00001502: DUP1
00001503: DUP3
00001504: DUP2
00001505: MSTORE
00001506: PUSH1 0x20
00001508: ADD
00001509: SWAP2
0000150a: POP
0000150b: POP
0000150c: PUSH1 0x40
0000150e: MLOAD
0000150f: DUP1
00001510: SWAP2
00001511: SUB
00001512: SWAP1
00001513: RETURN
00001514: JUMPDEST
00001515: CALLVALUE
00001516: DUP1
00001517: ISZERO
00001518: PUSH2 0x1520
0000151b: JUMPI
0000151c: PUSH1 0x00
0000151e: DUP1
0000151f: REVERT
00001520: JUMPDEST
00001521: POP
00001522: PUSH2 0x1529
00001525: PUSH2 0x335a
00001528: JUMP
00001529: JUMPDEST
0000152a: PUSH1 0x40
0000152c: MLOAD
0000152d: DUP1
0000152e: DUP3
0000152f: DUP2
00001530: MSTORE
00001531: PUSH1 0x20
00001533: ADD
00001534: SWAP2
00001535: POP
00001536: POP
00001537: PUSH1 0x40
00001539: MLOAD
0000153a: DUP1
0000153b: SWAP2
0000153c: SUB
0000153d: SWAP1
0000153e: RETURN
0000153f: JUMPDEST
00001540: CALLVALUE
00001541: DUP1
00001542: ISZERO
00001543: PUSH2 0x154b
00001546: JUMPI
00001547: PUSH1 0x00
00001549: DUP1
0000154a: REVERT
0000154b: JUMPDEST
0000154c: POP
0000154d: PUSH2 0x1554
00001550: PUSH2 0x346d
00001553: JUMP
00001554: JUMPDEST
00001555: STOP
00001556: JUMPDEST
00001557: CALLVALUE
00001558: DUP1
00001559: ISZERO
0000155a: PUSH2 0x1562
0000155d: JUMPI
0000155e: PUSH1 0x00
00001560: DUP1
00001561: REVERT
00001562: JUMPDEST
00001563: POP
00001564: PUSH2 0x156b
00001567: PUSH2 0x391e
0000156a: JUMP
0000156b: JUMPDEST
0000156c: PUSH1 0x40
0000156e: MLOAD
0000156f: DUP1
00001570: DUP3
00001571: DUP2
00001572: MSTORE
00001573: PUSH1 0x20
00001575: ADD
00001576: SWAP2
00001577: POP
00001578: POP
00001579: PUSH1 0x40
0000157b: MLOAD
0000157c: DUP1
0000157d: SWAP2
0000157e: SUB
0000157f: SWAP1
00001580: RETURN
00001581: JUMPDEST
00001582: PUSH1 0x00
00001584: PUSH1 0x17
00001586: PUSH1 0x00
00001588: DUP4
00001589: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000159e: AND
0000159f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000015b4: AND
000015b5: DUP2
000015b6: MSTORE
000015b7: PUSH1 0x20
000015b9: ADD
000015ba: SWAP1
000015bb: DUP2
000015bc: MSTORE
000015bd: PUSH1 0x20
000015bf: ADD
000015c0: PUSH1 0x00
000015c2: KECCAK256
000015c3: PUSH1 0x01
000015c5: ADD
000015c6: SLOAD
000015c7: SWAP1
000015c8: POP
000015c9: PUSH2 0x15d0
000015cc: PUSH2 0x431e
000015cf: JUMP
000015d0: JUMPDEST
000015d1: PUSH1 0x0e
000015d3: PUSH1 0x00
000015d5: DUP2
000015d6: SLOAD
000015d7: DUP1
000015d8: SWAP3
000015d9: SWAP2
000015da: SWAP1
000015db: PUSH1 0x01
000015dd: ADD
000015de: SWAP2
000015df: SWAP1
000015e0: POP
000015e1: SSTORE
000015e2: POP
000015e3: PUSH1 0x40
000015e5: MLOAD
000015e6: DUP1
000015e7: PUSH1 0x80
000015e9: ADD
000015ea: PUSH1 0x40
000015ec: MSTORE
000015ed: DUP1
000015ee: PUSH1 0x01
000015f0: ISZERO
000015f1: ISZERO
000015f2: DUP2
000015f3: MSTORE
000015f4: PUSH1 0x20
000015f6: ADD
000015f7: PUSH1 0x0e
000015f9: SLOAD
000015fa: DUP2
000015fb: MSTORE
000015fc: PUSH1 0x20
000015fe: ADD
000015ff: DUP4
00001600: DUP2
00001601: MSTORE
00001602: PUSH1 0x20
00001604: ADD
00001605: DUP5
00001606: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000161b: AND
0000161c: DUP2
0000161d: MSTORE
0000161e: POP
0000161f: SWAP1
00001620: POP
00001621: DUP4
00001622: PUSH1 0x18
00001624: PUSH1 0x00
00001626: PUSH1 0x0e
00001628: SLOAD
00001629: DUP2
0000162a: MSTORE
0000162b: PUSH1 0x20
0000162d: ADD
0000162e: SWAP1
0000162f: DUP2
00001630: MSTORE
00001631: PUSH1 0x20
00001633: ADD
00001634: PUSH1 0x00
00001636: KECCAK256
00001637: PUSH1 0x00
00001639: PUSH2 0x0100
0000163c: EXP
0000163d: DUP2
0000163e: SLOAD
0000163f: DUP2
00001640: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001655: MUL
00001656: NOT
00001657: AND
00001658: SWAP1
00001659: DUP4
0000165a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000166f: AND
00001670: MUL
00001671: OR
00001672: SWAP1
00001673: SSTORE
00001674: POP
00001675: DUP1
00001676: PUSH1 0x17
00001678: PUSH1 0x00
0000167a: CALLER
0000167b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001690: AND
00001691: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000016a6: AND
000016a7: DUP2
000016a8: MSTORE
000016a9: PUSH1 0x20
000016ab: ADD
000016ac: SWAP1
000016ad: DUP2
000016ae: MSTORE
000016af: PUSH1 0x20
000016b1: ADD
000016b2: PUSH1 0x00
000016b4: KECCAK256
000016b5: PUSH1 0x00
000016b7: DUP3
000016b8: ADD
000016b9: MLOAD
000016ba: DUP2
000016bb: PUSH1 0x00
000016bd: ADD
000016be: PUSH1 0x00
000016c0: PUSH2 0x0100
000016c3: EXP
000016c4: DUP2
000016c5: SLOAD
000016c6: DUP2
000016c7: PUSH1 0xff
000016c9: MUL
000016ca: NOT
000016cb: AND
000016cc: SWAP1
000016cd: DUP4
000016ce: ISZERO
000016cf: ISZERO
000016d0: MUL
000016d1: OR
000016d2: SWAP1
000016d3: SSTORE
000016d4: POP
000016d5: PUSH1 0x20
000016d7: DUP3
000016d8: ADD
000016d9: MLOAD
000016da: DUP2
000016db: PUSH1 0x01
000016dd: ADD
000016de: SSTORE
000016df: PUSH1 0x40
000016e1: DUP3
000016e2: ADD
000016e3: MLOAD
000016e4: DUP2
000016e5: PUSH1 0x02
000016e7: ADD
000016e8: SSTORE
000016e9: PUSH1 0x60
000016eb: DUP3
000016ec: ADD
000016ed: MLOAD
000016ee: DUP2
000016ef: PUSH1 0x03
000016f1: ADD
000016f2: PUSH1 0x00
000016f4: PUSH2 0x0100
000016f7: EXP
000016f8: DUP2
000016f9: SLOAD
000016fa: DUP2
000016fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001710: MUL
00001711: NOT
00001712: AND
00001713: SWAP1
00001714: DUP4
00001715: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000172a: AND
0000172b: MUL
0000172c: OR
0000172d: SWAP1
0000172e: SSTORE
0000172f: POP
00001730: SWAP1
00001731: POP
00001732: POP
00001733: POP
00001734: POP
00001735: POP
00001736: POP
00001737: JUMP
00001738: JUMPDEST
00001739: PUSH1 0x00
0000173b: DUP1
0000173c: PUSH2 0x1762
0000173f: PUSH1 0x64
00001741: PUSH2 0x1754
00001744: PUSH1 0x40
00001746: DUP8
00001747: PUSH2 0x1ac2
0000174a: SWAP1
0000174b: SWAP2
0000174c: SWAP1
0000174d: PUSH4 0xffffffff
00001752: AND
00001753: JUMP
00001754: JUMPDEST
00001755: PUSH2 0x1b48
00001758: SWAP1
00001759: SWAP2
0000175a: SWAP1
0000175b: PUSH4 0xffffffff
00001760: AND
00001761: JUMP
00001762: JUMPDEST
00001763: SWAP1
00001764: POP
00001765: PUSH1 0x00
00001767: CALLER
00001768: SWAP1
00001769: POP
0000176a: PUSH1 0x00
0000176c: PUSH2 0x1787
0000176f: DUP4
00001770: PUSH1 0x02
00001772: PUSH1 0x01
00001774: SWAP1
00001775: SLOAD
00001776: SWAP1
00001777: PUSH2 0x0100
0000177a: EXP
0000177b: SWAP1
0000177c: DIV
0000177d: PUSH1 0xff
0000177f: AND
00001780: PUSH1 0xff
00001782: AND
00001783: PUSH2 0x1b48
00001786: JUMP
00001787: JUMPDEST
00001788: SWAP1
00001789: POP
0000178a: PUSH1 0x00
0000178c: PUSH2 0x1796
0000178f: DUP3
00001790: PUSH1 0x03
00001792: PUSH2 0x1b48
00001795: JUMP
00001796: JUMPDEST
00001797: SWAP1
00001798: POP
00001799: PUSH1 0x00
0000179b: PUSH2 0x17a4
0000179e: DUP4
0000179f: DUP4
000017a0: PUSH2 0x3924
000017a3: JUMP
000017a4: JUMPDEST
000017a5: SWAP1
000017a6: POP
000017a7: PUSH1 0x00
000017a9: PUSH2 0x17b2
000017ac: DUP7
000017ad: DUP6
000017ae: PUSH2 0x3924
000017b1: JUMP
000017b2: JUMPDEST
000017b3: SWAP1
000017b4: POP
000017b5: PUSH1 0x00
000017b7: PUSH2 0x17bf
000017ba: DUP3
000017bb: PUSH2 0x396e
000017be: JUMP
000017bf: JUMPDEST
000017c0: SWAP1
000017c1: POP
000017c2: PUSH1 0x00
000017c4: PUSH1 0x05
000017c6: SLOAD
000017c7: DUP5
000017c8: MUL
000017c9: SWAP1
000017ca: POP
000017cb: DUP3
000017cc: PUSH1 0x06
000017ce: PUSH1 0x00
000017d0: DUP3
000017d1: DUP3
000017d2: SLOAD
000017d3: ADD
000017d4: SWAP3
000017d5: POP
000017d6: POP
000017d7: DUP2
000017d8: SWAP1
000017d9: SSTORE
000017da: POP
000017db: PUSH1 0x00
000017dd: DUP3
000017de: GT
000017df: DUP1
000017e0: ISZERO
000017e1: PUSH2 0x17f6
000017e4: JUMPI
000017e5: POP
000017e6: PUSH1 0x19
000017e8: SLOAD
000017e9: PUSH2 0x17f4
000017ec: DUP4
000017ed: PUSH1 0x19
000017ef: SLOAD
000017f0: PUSH2 0x39ea
000017f3: JUMP
000017f4: JUMPDEST
000017f5: GT
000017f6: JUMPDEST
000017f7: PUSH2 0x17ff
000017fa: JUMPI
000017fb: PUSH1 0x00
000017fd: DUP1
000017fe: REVERT
000017ff: JUMPDEST
00001800: PUSH1 0x00
00001802: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001817: AND
00001818: DUP11
00001819: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000182e: AND
0000182f: EQ
00001830: ISZERO
00001831: DUP1
00001832: ISZERO
00001833: PUSH2 0x1868
00001836: JUMPI
00001837: POP
00001838: DUP7
00001839: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000184e: AND
0000184f: DUP11
00001850: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001865: AND
00001866: EQ
00001867: ISZERO
00001868: JUMPDEST
00001869: ISZERO
0000186a: PUSH2 0x187c
0000186d: JUMPI
0000186e: PUSH2 0x1877
00001871: DUP11
00001872: DUP13
00001873: PUSH2 0x3a72
00001876: JUMP
00001877: JUMPDEST
00001878: PUSH2 0x1890
0000187b: JUMP
0000187c: JUMPDEST
0000187d: PUSH2 0x1886
00001880: DUP5
00001881: DUP7
00001882: PUSH2 0x39ea
00001885: JUMP
00001886: JUMPDEST
00001887: SWAP4
00001888: POP
00001889: PUSH1 0x05
0000188b: SLOAD
0000188c: DUP5
0000188d: MUL
0000188e: SWAP1
0000188f: POP
00001890: JUMPDEST
00001891: PUSH1 0x00
00001893: PUSH1 0x19
00001895: SLOAD
00001896: GT
00001897: ISZERO
00001898: PUSH2 0x1908
0000189b: JUMPI
0000189c: PUSH2 0x18a7
0000189f: PUSH1 0x19
000018a1: SLOAD
000018a2: DUP4
000018a3: PUSH2 0x39ea
000018a6: JUMP
000018a7: JUMPDEST
000018a8: PUSH1 0x19
000018aa: DUP2
000018ab: SWAP1
000018ac: SSTORE
000018ad: POP
000018ae: PUSH1 0x19
000018b0: SLOAD
000018b1: PUSH1 0x05
000018b3: SLOAD
000018b4: DUP6
000018b5: MUL
000018b6: DUP2
000018b7: PUSH2 0x18bc
000018ba: JUMPI
000018bb: INVALID
000018bc: JUMPDEST
000018bd: DIV
000018be: PUSH1 0x1a
000018c0: PUSH1 0x00
000018c2: DUP3
000018c3: DUP3
000018c4: SLOAD
000018c5: ADD
000018c6: SWAP3
000018c7: POP
000018c8: POP
000018c9: DUP2
000018ca: SWAP1
000018cb: SSTORE
000018cc: POP
000018cd: PUSH1 0x19
000018cf: SLOAD
000018d0: PUSH1 0x05
000018d2: SLOAD
000018d3: DUP6
000018d4: MUL
000018d5: DUP2
000018d6: PUSH2 0x18db
000018d9: JUMPI
000018da: INVALID
000018db: JUMPDEST
000018dc: DIV
000018dd: PUSH1 0x1b
000018df: PUSH1 0x00
000018e1: DUP3
000018e2: DUP3
000018e3: SLOAD
000018e4: ADD
000018e5: SWAP3
000018e6: POP
000018e7: POP
000018e8: DUP2
000018e9: SWAP1
000018ea: SSTORE
000018eb: POP
000018ec: PUSH1 0x19
000018ee: SLOAD
000018ef: PUSH1 0x05
000018f1: SLOAD
000018f2: DUP6
000018f3: MUL
000018f4: DUP2
000018f5: PUSH2 0x18fa
000018f8: JUMPI
000018f9: INVALID
000018fa: JUMPDEST
000018fb: DIV
000018fc: DUP3
000018fd: MUL
000018fe: DUP2
000018ff: SUB
00001900: DUP2
00001901: SUB
00001902: SWAP1
00001903: POP
00001904: PUSH2 0x1910
00001907: JUMP
00001908: JUMPDEST
00001909: DUP2
0000190a: PUSH1 0x19
0000190c: DUP2
0000190d: SWAP1
0000190e: SSTORE
0000190f: POP
00001910: JUMPDEST
00001911: PUSH2 0x1959
00001914: PUSH1 0x13
00001916: PUSH1 0x00
00001918: DUP10
00001919: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000192e: AND
0000192f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001944: AND
00001945: DUP2
00001946: MSTORE
00001947: PUSH1 0x20
00001949: ADD
0000194a: SWAP1
0000194b: DUP2
0000194c: MSTORE
0000194d: PUSH1 0x20
0000194f: ADD
00001950: PUSH1 0x00
00001952: KECCAK256
00001953: SLOAD
00001954: DUP4
00001955: PUSH2 0x39ea
00001958: JUMP
00001959: JUMPDEST
0000195a: PUSH1 0x13
0000195c: PUSH1 0x00
0000195e: DUP10
0000195f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001974: AND
00001975: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000198a: AND
0000198b: DUP2
0000198c: MSTORE
0000198d: PUSH1 0x20
0000198f: ADD
00001990: SWAP1
00001991: DUP2
00001992: MSTORE
00001993: PUSH1 0x20
00001995: ADD
00001996: PUSH1 0x00
00001998: KECCAK256
00001999: DUP2
0000199a: SWAP1
0000199b: SSTORE
0000199c: POP
0000199d: PUSH1 0x00
0000199f: DUP2
000019a0: DUP4
000019a1: PUSH1 0x1a
000019a3: SLOAD
000019a4: MUL
000019a5: SUB
000019a6: SWAP1
000019a7: POP
000019a8: DUP1
000019a9: PUSH1 0x16
000019ab: PUSH1 0x00
000019ad: DUP11
000019ae: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019c3: AND
000019c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000019d9: AND
000019da: DUP2
000019db: MSTORE
000019dc: PUSH1 0x20
000019de: ADD
000019df: SWAP1
000019e0: DUP2
000019e1: MSTORE
000019e2: PUSH1 0x20
000019e4: ADD
000019e5: PUSH1 0x00
000019e7: KECCAK256
000019e8: PUSH1 0x00
000019ea: DUP3
000019eb: DUP3
000019ec: SLOAD
000019ed: ADD
000019ee: SWAP3
000019ef: POP
000019f0: POP
000019f1: DUP2
000019f2: SWAP1
000019f3: SSTORE
000019f4: POP
000019f5: DUP11
000019f6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a0b: AND
00001a0c: DUP9
00001a0d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a22: AND
00001a23: PUSH32 0x8032875b28d82ddbd303a9e4e5529d047a14ecb6290f80012a81b7e6227ff1ab
00001a44: DUP12
00001a45: DUP7
00001a46: TIMESTAMP
00001a47: PUSH1 0x13
00001a49: PUSH1 0x00
00001a4b: DUP16
00001a4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a61: AND
00001a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001a77: AND
00001a78: DUP2
00001a79: MSTORE
00001a7a: PUSH1 0x20
00001a7c: ADD
00001a7d: SWAP1
00001a7e: DUP2
00001a7f: MSTORE
00001a80: PUSH1 0x20
00001a82: ADD
00001a83: PUSH1 0x00
00001a85: KECCAK256
00001a86: SLOAD
00001a87: PUSH1 0x40
00001a89: MLOAD
00001a8a: DUP1
00001a8b: DUP6
00001a8c: DUP2
00001a8d: MSTORE
00001a8e: PUSH1 0x20
00001a90: ADD
00001a91: DUP5
00001a92: DUP2
00001a93: MSTORE
00001a94: PUSH1 0x20
00001a96: ADD
00001a97: DUP4
00001a98: DUP2
00001a99: MSTORE
00001a9a: PUSH1 0x20
00001a9c: ADD
00001a9d: DUP3
00001a9e: DUP2
00001a9f: MSTORE
00001aa0: PUSH1 0x20
00001aa2: ADD
00001aa3: SWAP5
00001aa4: POP
00001aa5: POP
00001aa6: POP
00001aa7: POP
00001aa8: POP
00001aa9: PUSH1 0x40
00001aab: MLOAD
00001aac: DUP1
00001aad: SWAP2
00001aae: SUB
00001aaf: SWAP1
00001ab0: LOG3
00001ab1: DUP3
00001ab2: SWAP10
00001ab3: POP
00001ab4: POP
00001ab5: POP
00001ab6: POP
00001ab7: POP
00001ab8: POP
00001ab9: POP
00001aba: POP
00001abb: POP
00001abc: POP
00001abd: SWAP3
00001abe: SWAP2
00001abf: POP
00001ac0: POP
00001ac1: JUMP
00001ac2: JUMPDEST
00001ac3: PUSH1 0x00
00001ac5: DUP1
00001ac6: DUP4
00001ac7: EQ
00001ac8: ISZERO
00001ac9: PUSH2 0x1ad5
00001acc: JUMPI
00001acd: PUSH1 0x00
00001acf: SWAP1
00001ad0: POP
00001ad1: PUSH2 0x1b42
00001ad4: JUMP
00001ad5: JUMPDEST
00001ad6: PUSH1 0x00
00001ad8: DUP3
00001ad9: DUP5
00001ada: MUL
00001adb: SWAP1
00001adc: POP
00001add: DUP3
00001ade: DUP5
00001adf: DUP3
00001ae0: DUP2
00001ae1: PUSH2 0x1ae6
00001ae4: JUMPI
00001ae5: INVALID
00001ae6: JUMPDEST
00001ae7: DIV
00001ae8: EQ
00001ae9: PUSH2 0x1b3d
00001aec: JUMPI
00001aed: PUSH1 0x40
00001aef: MLOAD
00001af0: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00001b11: DUP2
00001b12: MSTORE
00001b13: PUSH1 0x04
00001b15: ADD
00001b16: DUP1
00001b17: DUP1
00001b18: PUSH1 0x20
00001b1a: ADD
00001b1b: DUP3
00001b1c: DUP2
00001b1d: SUB
00001b1e: DUP3
00001b1f: MSTORE
00001b20: PUSH1 0x21
00001b22: DUP2
00001b23: MSTORE
00001b24: PUSH1 0x20
00001b26: ADD
00001b27: DUP1
00001b28: PUSH2 0x4381
00001b2b: PUSH1 0x21
00001b2d: SWAP2
00001b2e: CODECOPY
00001b2f: PUSH1 0x40
00001b31: ADD
00001b32: SWAP2
00001b33: POP
00001b34: POP
00001b35: PUSH1 0x40
00001b37: MLOAD
00001b38: DUP1
00001b39: SWAP2
00001b3a: SUB
00001b3b: SWAP1
00001b3c: REVERT
00001b3d: JUMPDEST
00001b3e: DUP1
00001b3f: SWAP2
00001b40: POP
00001b41: POP
00001b42: JUMPDEST
00001b43: SWAP3
00001b44: SWAP2
00001b45: POP
00001b46: POP
00001b47: JUMP
00001b48: JUMPDEST
00001b49: PUSH1 0x00
00001b4b: PUSH2 0x1b8a
00001b4e: DUP4
00001b4f: DUP4
00001b50: PUSH1 0x40
00001b52: MLOAD
00001b53: DUP1
00001b54: PUSH1 0x40
00001b56: ADD
00001b57: PUSH1 0x40
00001b59: MSTORE
00001b5a: DUP1
00001b5b: PUSH1 0x1a
00001b5d: DUP2
00001b5e: MSTORE
00001b5f: PUSH1 0x20
00001b61: ADD
00001b62: PUSH32 0x536166654d6174683a206469766973696f6e206279207a65726f000000000000
00001b83: DUP2
00001b84: MSTORE
00001b85: POP
00001b86: PUSH2 0x3ec4
00001b89: JUMP
00001b8a: JUMPDEST
00001b8b: SWAP1
00001b8c: POP
00001b8d: SWAP3
00001b8e: SWAP2
00001b8f: POP
00001b90: POP
00001b91: JUMP
00001b92: JUMPDEST
00001b93: PUSH1 0x00
00001b95: PUSH1 0x05
00001b97: SLOAD
00001b98: PUSH1 0x16
00001b9a: PUSH1 0x00
00001b9c: DUP5
00001b9d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bb2: AND
00001bb3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bc8: AND
00001bc9: DUP2
00001bca: MSTORE
00001bcb: PUSH1 0x20
00001bcd: ADD
00001bce: SWAP1
00001bcf: DUP2
00001bd0: MSTORE
00001bd1: PUSH1 0x20
00001bd3: ADD
00001bd4: PUSH1 0x00
00001bd6: KECCAK256
00001bd7: SLOAD
00001bd8: PUSH1 0x13
00001bda: PUSH1 0x00
00001bdc: DUP6
00001bdd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001bf2: AND
00001bf3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001c08: AND
00001c09: DUP2
00001c0a: MSTORE
00001c0b: PUSH1 0x20
00001c0d: ADD
00001c0e: SWAP1
00001c0f: DUP2
00001c10: MSTORE
00001c11: PUSH1 0x20
00001c13: ADD
00001c14: PUSH1 0x00
00001c16: KECCAK256
00001c17: SLOAD
00001c18: PUSH1 0x1a
00001c1a: SLOAD
00001c1b: MUL
00001c1c: SUB
00001c1d: DUP2
00001c1e: PUSH2 0x1c23
00001c21: JUMPI
00001c22: INVALID
00001c23: JUMPDEST
00001c24: DIV
00001c25: SWAP1
00001c26: POP
00001c27: SWAP2
00001c28: SWAP1
00001c29: POP
00001c2a: JUMP
00001c2b: JUMPDEST
00001c2c: PUSH1 0x00
00001c2e: DUP1
00001c2f: SLOAD
00001c30: PUSH1 0x01
00001c32: DUP2
00001c33: PUSH1 0x01
00001c35: AND
00001c36: ISZERO
00001c37: PUSH2 0x0100
00001c3a: MUL
00001c3b: SUB
00001c3c: AND
00001c3d: PUSH1 0x02
00001c3f: SWAP1
00001c40: DIV
00001c41: DUP1
00001c42: PUSH1 0x1f
00001c44: ADD
00001c45: PUSH1 0x20
00001c47: DUP1
00001c48: SWAP2
00001c49: DIV
00001c4a: MUL
00001c4b: PUSH1 0x20
00001c4d: ADD
00001c4e: PUSH1 0x40
00001c50: MLOAD
00001c51: SWAP1
00001c52: DUP2
00001c53: ADD
00001c54: PUSH1 0x40
00001c56: MSTORE
00001c57: DUP1
00001c58: SWAP3
00001c59: SWAP2
00001c5a: SWAP1
00001c5b: DUP2
00001c5c: DUP2
00001c5d: MSTORE
00001c5e: PUSH1 0x20
00001c60: ADD
00001c61: DUP3
00001c62: DUP1
00001c63: SLOAD
00001c64: PUSH1 0x01
00001c66: DUP2
00001c67: PUSH1 0x01
00001c69: AND
00001c6a: ISZERO
00001c6b: PUSH2 0x0100
00001c6e: MUL
00001c6f: SUB
00001c70: AND
00001c71: PUSH1 0x02
00001c73: SWAP1
00001c74: DIV
00001c75: DUP1
00001c76: ISZERO
00001c77: PUSH2 0x1cc1
00001c7a: JUMPI
00001c7b: DUP1
00001c7c: PUSH1 0x1f
00001c7e: LT
00001c7f: PUSH2 0x1c96
00001c82: JUMPI
00001c83: PUSH2 0x0100
00001c86: DUP1
00001c87: DUP4
00001c88: SLOAD
00001c89: DIV
00001c8a: MUL
00001c8b: DUP4
00001c8c: MSTORE
00001c8d: SWAP2
00001c8e: PUSH1 0x20
00001c90: ADD
00001c91: SWAP2
00001c92: PUSH2 0x1cc1
00001c95: JUMP
00001c96: JUMPDEST
00001c97: DUP3
00001c98: ADD
00001c99: SWAP2
00001c9a: SWAP1
00001c9b: PUSH1 0x00
00001c9d: MSTORE
00001c9e: PUSH1 0x20
00001ca0: PUSH1 0x00
00001ca2: KECCAK256
00001ca3: SWAP1
00001ca4: JUMPDEST
00001ca5: DUP2
00001ca6: SLOAD
00001ca7: DUP2
00001ca8: MSTORE
00001ca9: SWAP1
00001caa: PUSH1 0x01
00001cac: ADD
00001cad: SWAP1
00001cae: PUSH1 0x20
00001cb0: ADD
00001cb1: DUP1
00001cb2: DUP4
00001cb3: GT
00001cb4: PUSH2 0x1ca4
00001cb7: JUMPI
00001cb8: DUP3
00001cb9: SWAP1
00001cba: SUB
00001cbb: PUSH1 0x1f
00001cbd: AND
00001cbe: DUP3
00001cbf: ADD
00001cc0: SWAP2
00001cc1: JUMPDEST
00001cc2: POP
00001cc3: POP
00001cc4: POP
00001cc5: POP
00001cc6: POP
00001cc7: DUP2
00001cc8: JUMP
00001cc9: JUMPDEST
00001cca: PUSH1 0x00
00001ccc: PUSH2 0x1cd6
00001ccf: CALLER
00001cd0: DUP5
00001cd1: DUP5
00001cd2: PUSH2 0x3f8a
00001cd5: JUMP
00001cd6: JUMPDEST
00001cd7: PUSH1 0x01
00001cd9: SWAP1
00001cda: POP
00001cdb: SWAP3
00001cdc: SWAP2
00001cdd: POP
00001cde: POP
00001cdf: JUMP
00001ce0: JUMPDEST
00001ce1: PUSH1 0x06
00001ce3: SLOAD
00001ce4: DUP2
00001ce5: JUMP
00001ce6: JUMPDEST
00001ce7: PUSH1 0x00
00001ce9: DUP1
00001cea: PUSH2 0x1d10
00001ced: PUSH1 0x64
00001cef: PUSH2 0x1d02
00001cf2: PUSH1 0x40
00001cf4: DUP7
00001cf5: PUSH2 0x1ac2
00001cf8: SWAP1
00001cf9: SWAP2
00001cfa: SWAP1
00001cfb: PUSH4 0xffffffff
00001d00: AND
00001d01: JUMP
00001d02: JUMPDEST
00001d03: PUSH2 0x1b48
00001d06: SWAP1
00001d07: SWAP2
00001d08: SWAP1
00001d09: PUSH4 0xffffffff
00001d0e: AND
00001d0f: JUMP
00001d10: JUMPDEST
00001d11: SWAP1
00001d12: POP
00001d13: PUSH1 0x00
00001d15: PUSH2 0x1d30
00001d18: DUP3
00001d19: PUSH1 0x02
00001d1b: PUSH1 0x01
00001d1d: SWAP1
00001d1e: SLOAD
00001d1f: SWAP1
00001d20: PUSH2 0x0100
00001d23: EXP
00001d24: SWAP1
00001d25: DIV
00001d26: PUSH1 0xff
00001d28: AND
00001d29: PUSH1 0xff
00001d2b: AND
00001d2c: PUSH2 0x1b48
00001d2f: JUMP
00001d30: JUMPDEST
00001d31: SWAP1
00001d32: POP
00001d33: PUSH1 0x00
00001d35: PUSH2 0x1d3e
00001d38: DUP4
00001d39: DUP4
00001d3a: PUSH2 0x3924
00001d3d: JUMP
00001d3e: JUMPDEST
00001d3f: SWAP1
00001d40: POP
00001d41: PUSH1 0x00
00001d43: PUSH2 0x1d4b
00001d46: DUP3
00001d47: PUSH2 0x396e
00001d4a: JUMP
00001d4b: JUMPDEST
00001d4c: SWAP1
00001d4d: POP
00001d4e: DUP1
00001d4f: SWAP5
00001d50: POP
00001d51: POP
00001d52: POP
00001d53: POP
00001d54: POP
00001d55: SWAP2
00001d56: SWAP1
00001d57: POP
00001d58: JUMP
00001d59: JUMPDEST
00001d5a: PUSH1 0x00
00001d5c: PUSH1 0x19
00001d5e: SLOAD
00001d5f: SWAP1
00001d60: POP
00001d61: SWAP1
00001d62: JUMP
00001d63: JUMPDEST
00001d64: PUSH1 0x00
00001d66: PUSH1 0x19
00001d68: SLOAD
00001d69: DUP3
00001d6a: GT
00001d6b: ISZERO
00001d6c: PUSH2 0x1d74
00001d6f: JUMPI
00001d70: PUSH1 0x00
00001d72: DUP1
00001d73: REVERT
00001d74: JUMPDEST
00001d75: PUSH1 0x00
00001d77: PUSH2 0x1d7f
00001d7a: DUP4
00001d7b: PUSH2 0x4181
00001d7e: JUMP
00001d7f: JUMPDEST
00001d80: SWAP1
00001d81: POP
00001d82: PUSH1 0x00
00001d84: PUSH2 0x1daa
00001d87: PUSH1 0x64
00001d89: PUSH2 0x1d9c
00001d8c: PUSH1 0x05
00001d8e: DUP6
00001d8f: PUSH2 0x1ac2
00001d92: SWAP1
00001d93: SWAP2
00001d94: SWAP1
00001d95: PUSH4 0xffffffff
00001d9a: AND
00001d9b: JUMP
00001d9c: JUMPDEST
00001d9d: PUSH2 0x1b48
00001da0: SWAP1
00001da1: SWAP2
00001da2: SWAP1
00001da3: PUSH4 0xffffffff
00001da8: AND
00001da9: JUMP
00001daa: JUMPDEST
00001dab: SWAP1
00001dac: POP
00001dad: PUSH1 0x00
00001daf: PUSH2 0x1db8
00001db2: DUP4
00001db3: DUP4
00001db4: PUSH2 0x1b48
00001db7: JUMP
00001db8: JUMPDEST
00001db9: SWAP1
00001dba: POP
00001dbb: PUSH1 0x00
00001dbd: PUSH2 0x1dc6
00001dc0: DUP5
00001dc1: DUP4
00001dc2: PUSH2 0x3924
00001dc5: JUMP
00001dc6: JUMPDEST
00001dc7: SWAP1
00001dc8: POP
00001dc9: DUP1
00001dca: SWAP5
00001dcb: POP
00001dcc: POP
00001dcd: POP
00001dce: POP
00001dcf: POP
00001dd0: SWAP2
00001dd1: SWAP1
00001dd2: POP
00001dd3: JUMP
00001dd4: JUMPDEST
00001dd5: PUSH1 0x00
00001dd7: DUP1
00001dd8: DUP5
00001dd9: SWAP1
00001dda: POP
00001ddb: PUSH1 0x13
00001ddd: PUSH1 0x00
00001ddf: DUP3
00001de0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001df5: AND
00001df6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e0b: AND
00001e0c: DUP2
00001e0d: MSTORE
00001e0e: PUSH1 0x20
00001e10: ADD
00001e11: SWAP1
00001e12: DUP2
00001e13: MSTORE
00001e14: PUSH1 0x20
00001e16: ADD
00001e17: PUSH1 0x00
00001e19: KECCAK256
00001e1a: SLOAD
00001e1b: DUP4
00001e1c: GT
00001e1d: ISZERO
00001e1e: PUSH2 0x1e26
00001e21: JUMPI
00001e22: PUSH1 0x00
00001e24: DUP1
00001e25: REVERT
00001e26: JUMPDEST
00001e27: PUSH2 0x1e6f
00001e2a: PUSH1 0x13
00001e2c: PUSH1 0x00
00001e2e: DUP4
00001e2f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e44: AND
00001e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e5a: AND
00001e5b: DUP2
00001e5c: MSTORE
00001e5d: PUSH1 0x20
00001e5f: ADD
00001e60: SWAP1
00001e61: DUP2
00001e62: MSTORE
00001e63: PUSH1 0x20
00001e65: ADD
00001e66: PUSH1 0x00
00001e68: KECCAK256
00001e69: SLOAD
00001e6a: DUP5
00001e6b: PUSH2 0x3924
00001e6e: JUMP
00001e6f: JUMPDEST
00001e70: PUSH1 0x13
00001e72: PUSH1 0x00
00001e74: DUP4
00001e75: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001e8a: AND
00001e8b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ea0: AND
00001ea1: DUP2
00001ea2: MSTORE
00001ea3: PUSH1 0x20
00001ea5: ADD
00001ea6: SWAP1
00001ea7: DUP2
00001ea8: MSTORE
00001ea9: PUSH1 0x20
00001eab: ADD
00001eac: PUSH1 0x00
00001eae: KECCAK256
00001eaf: DUP2
00001eb0: SWAP1
00001eb1: SSTORE
00001eb2: POP
00001eb3: PUSH2 0x1efb
00001eb6: PUSH1 0x13
00001eb8: PUSH1 0x00
00001eba: DUP7
00001ebb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ed0: AND
00001ed1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ee6: AND
00001ee7: DUP2
00001ee8: MSTORE
00001ee9: PUSH1 0x20
00001eeb: ADD
00001eec: SWAP1
00001eed: DUP2
00001eee: MSTORE
00001eef: PUSH1 0x20
00001ef1: ADD
00001ef2: PUSH1 0x00
00001ef4: KECCAK256
00001ef5: SLOAD
00001ef6: DUP5
00001ef7: PUSH2 0x39ea
00001efa: JUMP
00001efb: JUMPDEST
00001efc: PUSH1 0x13
00001efe: PUSH1 0x00
00001f00: DUP7
00001f01: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f16: AND
00001f17: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f2c: AND
00001f2d: DUP2
00001f2e: MSTORE
00001f2f: PUSH1 0x20
00001f31: ADD
00001f32: SWAP1
00001f33: DUP2
00001f34: MSTORE
00001f35: PUSH1 0x20
00001f37: ADD
00001f38: PUSH1 0x00
00001f3a: KECCAK256
00001f3b: DUP2
00001f3c: SWAP1
00001f3d: SSTORE
00001f3e: POP
00001f3f: DUP3
00001f40: PUSH1 0x1a
00001f42: SLOAD
00001f43: MUL
00001f44: PUSH1 0x16
00001f46: PUSH1 0x00
00001f48: DUP4
00001f49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f5e: AND
00001f5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001f74: AND
00001f75: DUP2
00001f76: MSTORE
00001f77: PUSH1 0x20
00001f79: ADD
00001f7a: SWAP1
00001f7b: DUP2
00001f7c: MSTORE
00001f7d: PUSH1 0x20
00001f7f: ADD
00001f80: PUSH1 0x00
00001f82: KECCAK256
00001f83: PUSH1 0x00
00001f85: DUP3
00001f86: DUP3
00001f87: SLOAD
00001f88: SUB
00001f89: SWAP3
00001f8a: POP
00001f8b: POP
00001f8c: DUP2
00001f8d: SWAP1
00001f8e: SSTORE
00001f8f: POP
00001f90: DUP3
00001f91: PUSH1 0x1a
00001f93: SLOAD
00001f94: MUL
00001f95: PUSH1 0x16
00001f97: PUSH1 0x00
00001f99: DUP7
00001f9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001faf: AND
00001fb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001fc5: AND
00001fc6: DUP2
00001fc7: MSTORE
00001fc8: PUSH1 0x20
00001fca: ADD
00001fcb: SWAP1
00001fcc: DUP2
00001fcd: MSTORE
00001fce: PUSH1 0x20
00001fd0: ADD
00001fd1: PUSH1 0x00
00001fd3: KECCAK256
00001fd4: PUSH1 0x00
00001fd6: DUP3
00001fd7: DUP3
00001fd8: SLOAD
00001fd9: ADD
00001fda: SWAP3
00001fdb: POP
00001fdc: POP
00001fdd: DUP2
00001fde: SWAP1
00001fdf: SSTORE
00001fe0: POP
00001fe1: DUP4
00001fe2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00001ff7: AND
00001ff8: DUP2
00001ff9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000200e: AND
0000200f: PUSH32 0x9ed053bb818ff08b8353cd46f78db1f0799f31c9e4458fdb425c10eccd2efc44
00002030: DUP6
00002031: TIMESTAMP
00002032: PUSH1 0x40
00002034: MLOAD
00002035: DUP1
00002036: DUP4
00002037: DUP2
00002038: MSTORE
00002039: PUSH1 0x20
0000203b: ADD
0000203c: DUP3
0000203d: DUP2
0000203e: MSTORE
0000203f: PUSH1 0x20
00002041: ADD
00002042: SWAP3
00002043: POP
00002044: POP
00002045: POP
00002046: PUSH1 0x40
00002048: MLOAD
00002049: DUP1
0000204a: SWAP2
0000204b: SUB
0000204c: SWAP1
0000204d: LOG3
0000204e: PUSH2 0x2100
00002051: DUP6
00002052: CALLER
00002053: PUSH2 0x20fb
00002056: DUP7
00002057: PUSH1 0x40
00002059: MLOAD
0000205a: DUP1
0000205b: PUSH1 0x60
0000205d: ADD
0000205e: PUSH1 0x40
00002060: MSTORE
00002061: DUP1
00002062: PUSH1 0x28
00002064: DUP2
00002065: MSTORE
00002066: PUSH1 0x20
00002068: ADD
00002069: PUSH2 0x43a2
0000206c: PUSH1 0x28
0000206e: SWAP2
0000206f: CODECOPY
00002070: PUSH1 0x15
00002072: PUSH1 0x00
00002074: DUP13
00002075: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000208a: AND
0000208b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020a0: AND
000020a1: DUP2
000020a2: MSTORE
000020a3: PUSH1 0x20
000020a5: ADD
000020a6: SWAP1
000020a7: DUP2
000020a8: MSTORE
000020a9: PUSH1 0x20
000020ab: ADD
000020ac: PUSH1 0x00
000020ae: KECCAK256
000020af: PUSH1 0x00
000020b1: CALLER
000020b2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020c7: AND
000020c8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000020dd: AND
000020de: DUP2
000020df: MSTORE
000020e0: PUSH1 0x20
000020e2: ADD
000020e3: SWAP1
000020e4: DUP2
000020e5: MSTORE
000020e6: PUSH1 0x20
000020e8: ADD
000020e9: PUSH1 0x00
000020eb: KECCAK256
000020ec: SLOAD
000020ed: PUSH2 0x4219
000020f0: SWAP1
000020f1: SWAP3
000020f2: SWAP2
000020f3: SWAP1
000020f4: PUSH4 0xffffffff
000020f9: AND
000020fa: JUMP
000020fb: JUMPDEST
000020fc: PUSH2 0x3f8a
000020ff: JUMP
00002100: JUMPDEST
00002101: PUSH1 0x01
00002103: SWAP2
00002104: POP
00002105: POP
00002106: SWAP4
00002107: SWAP3
00002108: POP
00002109: POP
0000210a: POP
0000210b: JUMP
0000210c: JUMPDEST
0000210d: PUSH1 0x02
0000210f: PUSH1 0x00
00002111: SWAP1
00002112: SLOAD
00002113: SWAP1
00002114: PUSH2 0x0100
00002117: EXP
00002118: SWAP1
00002119: DIV
0000211a: PUSH1 0xff
0000211c: AND
0000211d: DUP2
0000211e: JUMP
0000211f: JUMPDEST
00002120: PUSH1 0x00
00002122: PUSH2 0x21ba
00002125: CALLER
00002126: DUP5
00002127: PUSH2 0x21b5
0000212a: DUP6
0000212b: PUSH1 0x15
0000212d: PUSH1 0x00
0000212f: CALLER
00002130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002145: AND
00002146: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000215b: AND
0000215c: DUP2
0000215d: MSTORE
0000215e: PUSH1 0x20
00002160: ADD
00002161: SWAP1
00002162: DUP2
00002163: MSTORE
00002164: PUSH1 0x20
00002166: ADD
00002167: PUSH1 0x00
00002169: KECCAK256
0000216a: PUSH1 0x00
0000216c: DUP10
0000216d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002182: AND
00002183: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002198: AND
00002199: DUP2
0000219a: MSTORE
0000219b: PUSH1 0x20
0000219d: ADD
0000219e: SWAP1
0000219f: DUP2
000021a0: MSTORE
000021a1: PUSH1 0x20
000021a3: ADD
000021a4: PUSH1 0x00
000021a6: KECCAK256
000021a7: SLOAD
000021a8: PUSH2 0x39ea
000021ab: SWAP1
000021ac: SWAP2
000021ad: SWAP1
000021ae: PUSH4 0xffffffff
000021b3: AND
000021b4: JUMP
000021b5: JUMPDEST
000021b6: PUSH2 0x3f8a
000021b9: JUMP
000021ba: JUMPDEST
000021bb: PUSH1 0x01
000021bd: SWAP1
000021be: POP
000021bf: SWAP3
000021c0: SWAP2
000021c1: POP
000021c2: POP
000021c3: JUMP
000021c4: JUMPDEST
000021c5: PUSH1 0x00
000021c7: PUSH2 0x21d0
000021ca: PUSH1 0x01
000021cc: PUSH2 0x24bb
000021cf: JUMP
000021d0: JUMPDEST
000021d1: GT
000021d2: PUSH2 0x21da
000021d5: JUMPI
000021d6: PUSH1 0x00
000021d8: DUP1
000021d9: REVERT
000021da: JUMPDEST
000021db: PUSH1 0x00
000021dd: CALLER
000021de: SWAP1
000021df: POP
000021e0: PUSH1 0x00
000021e2: PUSH2 0x21eb
000021e5: PUSH1 0x00
000021e7: PUSH2 0x24bb
000021ea: JUMP
000021eb: JUMPDEST
000021ec: SWAP1
000021ed: POP
000021ee: PUSH1 0x00
000021f0: PUSH2 0x21f7
000021f3: PUSH2 0x335a
000021f6: JUMP
000021f7: JUMPDEST
000021f8: SWAP1
000021f9: POP
000021fa: PUSH1 0x05
000021fc: SLOAD
000021fd: DUP3
000021fe: MUL
000021ff: PUSH1 0x16
00002201: PUSH1 0x00
00002203: DUP6
00002204: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002219: AND
0000221a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000222f: AND
00002230: DUP2
00002231: MSTORE
00002232: PUSH1 0x20
00002234: ADD
00002235: SWAP1
00002236: DUP2
00002237: MSTORE
00002238: PUSH1 0x20
0000223a: ADD
0000223b: PUSH1 0x00
0000223d: KECCAK256
0000223e: PUSH1 0x00
00002240: DUP3
00002241: DUP3
00002242: SLOAD
00002243: ADD
00002244: SWAP3
00002245: POP
00002246: POP
00002247: DUP2
00002248: SWAP1
00002249: SSTORE
0000224a: POP
0000224b: PUSH1 0x00
0000224d: DUP2
0000224e: GT
0000224f: ISZERO
00002250: PUSH2 0x2279
00002253: JUMPI
00002254: DUP1
00002255: DUP3
00002256: ADD
00002257: SWAP2
00002258: POP
00002259: DUP1
0000225a: PUSH1 0x07
0000225c: PUSH1 0x00
0000225e: DUP3
0000225f: DUP3
00002260: SLOAD
00002261: SUB
00002262: SWAP3
00002263: POP
00002264: POP
00002265: DUP2
00002266: SWAP1
00002267: SSTORE
00002268: POP
00002269: DUP1
0000226a: PUSH1 0x10
0000226c: PUSH1 0x00
0000226e: DUP3
0000226f: DUP3
00002270: SLOAD
00002271: ADD
00002272: SWAP3
00002273: POP
00002274: POP
00002275: DUP2
00002276: SWAP1
00002277: SSTORE
00002278: POP
00002279: JUMPDEST
0000227a: PUSH1 0x14
0000227c: PUSH1 0x00
0000227e: DUP5
0000227f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002294: AND
00002295: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022aa: AND
000022ab: DUP2
000022ac: MSTORE
000022ad: PUSH1 0x20
000022af: ADD
000022b0: SWAP1
000022b1: DUP2
000022b2: MSTORE
000022b3: PUSH1 0x20
000022b5: ADD
000022b6: PUSH1 0x00
000022b8: KECCAK256
000022b9: SLOAD
000022ba: DUP3
000022bb: ADD
000022bc: SWAP2
000022bd: POP
000022be: PUSH1 0x00
000022c0: PUSH1 0x14
000022c2: PUSH1 0x00
000022c4: DUP6
000022c5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022da: AND
000022db: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000022f0: AND
000022f1: DUP2
000022f2: MSTORE
000022f3: PUSH1 0x20
000022f5: ADD
000022f6: SWAP1
000022f7: DUP2
000022f8: MSTORE
000022f9: PUSH1 0x20
000022fb: ADD
000022fc: PUSH1 0x00
000022fe: KECCAK256
000022ff: DUP2
00002300: SWAP1
00002301: SSTORE
00002302: POP
00002303: DUP2
00002304: PUSH1 0x12
00002306: PUSH1 0x00
00002308: DUP3
00002309: DUP3
0000230a: SLOAD
0000230b: ADD
0000230c: SWAP3
0000230d: POP
0000230e: POP
0000230f: DUP2
00002310: SWAP1
00002311: SSTORE
00002312: POP
00002313: DUP3
00002314: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002329: AND
0000232a: PUSH2 0x08fc
0000232d: DUP4
0000232e: SWAP1
0000232f: DUP2
00002330: ISZERO
00002331: MUL
00002332: SWAP1
00002333: PUSH1 0x40
00002335: MLOAD
00002336: PUSH1 0x00
00002338: PUSH1 0x40
0000233a: MLOAD
0000233b: DUP1
0000233c: DUP4
0000233d: SUB
0000233e: DUP2
0000233f: DUP6
00002340: DUP9
00002341: DUP9
00002342: CALL
00002343: SWAP4
00002344: POP
00002345: POP
00002346: POP
00002347: POP
00002348: ISZERO
00002349: DUP1
0000234a: ISZERO
0000234b: PUSH2 0x2358
0000234e: JUMPI
0000234f: RETURNDATASIZE
00002350: PUSH1 0x00
00002352: DUP1
00002353: RETURNDATACOPY
00002354: RETURNDATASIZE
00002355: PUSH1 0x00
00002357: REVERT
00002358: JUMPDEST
00002359: POP
0000235a: DUP3
0000235b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002370: AND
00002371: PUSH32 0xccad973dcd043c7d680389db4378bd6b9775db7124092e9e0422c9e46d7985dc
00002392: DUP4
00002393: PUSH1 0x40
00002395: MLOAD
00002396: DUP1
00002397: DUP3
00002398: DUP2
00002399: MSTORE
0000239a: PUSH1 0x20
0000239c: ADD
0000239d: SWAP2
0000239e: POP
0000239f: POP
000023a0: PUSH1 0x40
000023a2: MLOAD
000023a3: DUP1
000023a4: SWAP2
000023a5: SUB
000023a6: SWAP1
000023a7: LOG2
000023a8: POP
000023a9: POP
000023aa: POP
000023ab: JUMP
000023ac: JUMPDEST
000023ad: PUSH1 0x12
000023af: SLOAD
000023b0: DUP2
000023b1: JUMP
000023b2: JUMPDEST
000023b3: PUSH1 0x00
000023b5: DUP1
000023b6: PUSH1 0x19
000023b8: SLOAD
000023b9: EQ
000023ba: ISZERO
000023bb: PUSH2 0x23cc
000023be: JUMPI
000023bf: PUSH1 0x04
000023c1: SLOAD
000023c2: PUSH1 0x03
000023c4: SLOAD
000023c5: SUB
000023c6: SWAP1
000023c7: POP
000023c8: PUSH2 0x2430
000023cb: JUMP
000023cc: JUMPDEST
000023cd: PUSH1 0x00
000023cf: PUSH2 0x23df
000023d2: PUSH8 0x0de0b6b3a7640000
000023db: PUSH2 0x4181
000023de: JUMP
000023df: JUMPDEST
000023e0: SWAP1
000023e1: POP
000023e2: PUSH1 0x00
000023e4: PUSH2 0x240a
000023e7: PUSH1 0x64
000023e9: PUSH2 0x23fc
000023ec: PUSH1 0x05
000023ee: DUP6
000023ef: PUSH2 0x1ac2
000023f2: SWAP1
000023f3: SWAP2
000023f4: SWAP1
000023f5: PUSH4 0xffffffff
000023fa: AND
000023fb: JUMP
000023fc: JUMPDEST
000023fd: PUSH2 0x1b48
00002400: SWAP1
00002401: SWAP2
00002402: SWAP1
00002403: PUSH4 0xffffffff
00002408: AND
00002409: JUMP
0000240a: JUMPDEST
0000240b: SWAP1
0000240c: POP
0000240d: PUSH1 0x00
0000240f: PUSH2 0x2418
00002412: DUP4
00002413: DUP4
00002414: PUSH2 0x1b48
00002417: JUMP
00002418: JUMPDEST
00002419: SWAP1
0000241a: POP
0000241b: PUSH1 0x00
0000241d: PUSH2 0x2426
00002420: DUP5
00002421: DUP4
00002422: PUSH2 0x3924
00002425: JUMP
00002426: JUMPDEST
00002427: SWAP1
00002428: POP
00002429: DUP1
0000242a: SWAP5
0000242b: POP
0000242c: POP
0000242d: POP
0000242e: POP
0000242f: POP
00002430: JUMPDEST
00002431: SWAP1
00002432: JUMP
00002433: JUMPDEST
00002434: PUSH1 0x13
00002436: PUSH1 0x20
00002438: MSTORE
00002439: DUP1
0000243a: PUSH1 0x00
0000243c: MSTORE
0000243d: PUSH1 0x40
0000243f: PUSH1 0x00
00002441: KECCAK256
00002442: PUSH1 0x00
00002444: SWAP2
00002445: POP
00002446: SWAP1
00002447: POP
00002448: SLOAD
00002449: DUP2
0000244a: JUMP
0000244b: JUMPDEST
0000244c: PUSH1 0x00
0000244e: PUSH1 0x17
00002450: PUSH1 0x00
00002452: CALLER
00002453: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002468: AND
00002469: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000247e: AND
0000247f: DUP2
00002480: MSTORE
00002481: PUSH1 0x20
00002483: ADD
00002484: SWAP1
00002485: DUP2
00002486: MSTORE
00002487: PUSH1 0x20
00002489: ADD
0000248a: PUSH1 0x00
0000248c: KECCAK256
0000248d: PUSH1 0x03
0000248f: ADD
00002490: PUSH1 0x00
00002492: SWAP1
00002493: SLOAD
00002494: SWAP1
00002495: PUSH2 0x0100
00002498: EXP
00002499: SWAP1
0000249a: DIV
0000249b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024b0: AND
000024b1: SWAP1
000024b2: POP
000024b3: SWAP1
000024b4: JUMP
000024b5: JUMPDEST
000024b6: PUSH1 0x09
000024b8: SLOAD
000024b9: DUP2
000024ba: JUMP
000024bb: JUMPDEST
000024bc: PUSH1 0x00
000024be: DUP1
000024bf: CALLER
000024c0: SWAP1
000024c1: POP
000024c2: DUP3
000024c3: PUSH2 0x24d4
000024c6: JUMPI
000024c7: PUSH2 0x24cf
000024ca: DUP2
000024cb: PUSH2 0x1b92
000024ce: JUMP
000024cf: JUMPDEST
000024d0: PUSH2 0x251f
000024d3: JUMP
000024d4: JUMPDEST
000024d5: PUSH1 0x14
000024d7: PUSH1 0x00
000024d9: DUP3
000024da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000024ef: AND
000024f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002505: AND
00002506: DUP2
00002507: MSTORE
00002508: PUSH1 0x20
0000250a: ADD
0000250b: SWAP1
0000250c: DUP2
0000250d: MSTORE
0000250e: PUSH1 0x20
00002510: ADD
00002511: PUSH1 0x00
00002513: KECCAK256
00002514: SLOAD
00002515: PUSH2 0x251d
00002518: DUP3
00002519: PUSH2 0x1b92
0000251c: JUMP
0000251d: JUMPDEST
0000251e: ADD
0000251f: JUMPDEST
00002520: SWAP2
00002521: POP
00002522: POP
00002523: SWAP2
00002524: SWAP1
00002525: POP
00002526: JUMP
00002527: JUMPDEST
00002528: PUSH1 0x00
0000252a: SELFBALANCE
0000252b: SWAP1
0000252c: POP
0000252d: SWAP1
0000252e: JUMP
0000252f: JUMPDEST
00002530: PUSH1 0x0a
00002532: SLOAD
00002533: DUP2
00002534: JUMP
00002535: JUMPDEST
00002536: PUSH1 0x00
00002538: PUSH1 0x13
0000253a: PUSH1 0x00
0000253c: DUP4
0000253d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002552: AND
00002553: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002568: AND
00002569: DUP2
0000256a: MSTORE
0000256b: PUSH1 0x20
0000256d: ADD
0000256e: SWAP1
0000256f: DUP2
00002570: MSTORE
00002571: PUSH1 0x20
00002573: ADD
00002574: PUSH1 0x00
00002576: KECCAK256
00002577: SLOAD
00002578: SWAP1
00002579: POP
0000257a: SWAP2
0000257b: SWAP1
0000257c: POP
0000257d: JUMP
0000257e: JUMPDEST
0000257f: PUSH1 0x0f
00002581: SLOAD
00002582: DUP2
00002583: JUMP
00002584: JUMPDEST
00002585: PUSH1 0x00
00002587: PUSH1 0x18
00002589: PUSH1 0x00
0000258b: PUSH1 0x17
0000258d: PUSH1 0x00
0000258f: DUP6
00002590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025a5: AND
000025a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025bb: AND
000025bc: DUP2
000025bd: MSTORE
000025be: PUSH1 0x20
000025c0: ADD
000025c1: SWAP1
000025c2: DUP2
000025c3: MSTORE
000025c4: PUSH1 0x20
000025c6: ADD
000025c7: PUSH1 0x00
000025c9: KECCAK256
000025ca: PUSH1 0x02
000025cc: ADD
000025cd: SLOAD
000025ce: DUP2
000025cf: MSTORE
000025d0: PUSH1 0x20
000025d2: ADD
000025d3: SWAP1
000025d4: DUP2
000025d5: MSTORE
000025d6: PUSH1 0x20
000025d8: ADD
000025d9: PUSH1 0x00
000025db: KECCAK256
000025dc: PUSH1 0x00
000025de: SWAP1
000025df: SLOAD
000025e0: SWAP1
000025e1: PUSH2 0x0100
000025e4: EXP
000025e5: SWAP1
000025e6: DIV
000025e7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000025fc: AND
000025fd: SWAP1
000025fe: POP
000025ff: SWAP2
00002600: SWAP1
00002601: POP
00002602: JUMP
00002603: JUMPDEST
00002604: PUSH1 0x00
00002606: DUP1
00002607: PUSH1 0x19
00002609: SLOAD
0000260a: EQ
0000260b: ISZERO
0000260c: PUSH2 0x261d
0000260f: JUMPI
00002610: PUSH1 0x04
00002612: SLOAD
00002613: PUSH1 0x03
00002615: SLOAD
00002616: ADD
00002617: SWAP1
00002618: POP
00002619: PUSH2 0x2667
0000261c: JUMP
0000261d: JUMPDEST
0000261e: PUSH1 0x00
00002620: PUSH2 0x2630
00002623: PUSH8 0x0de0b6b3a7640000
0000262c: PUSH2 0x4181
0000262f: JUMP
00002630: JUMPDEST
00002631: SWAP1
00002632: POP
00002633: PUSH1 0x00
00002635: PUSH2 0x2650
00002638: DUP3
00002639: PUSH1 0x02
0000263b: PUSH1 0x01
0000263d: SWAP1
0000263e: SLOAD
0000263f: SWAP1
00002640: PUSH2 0x0100
00002643: EXP
00002644: SWAP1
00002645: DIV
00002646: PUSH1 0xff
00002648: AND
00002649: PUSH1 0xff
0000264b: AND
0000264c: PUSH2 0x1b48
0000264f: JUMP
00002650: JUMPDEST
00002651: SWAP1
00002652: POP
00002653: PUSH1 0x00
00002655: PUSH2 0x265e
00002658: DUP4
00002659: DUP4
0000265a: PUSH2 0x39ea
0000265d: JUMP
0000265e: JUMPDEST
0000265f: SWAP1
00002660: POP
00002661: DUP1
00002662: SWAP4
00002663: POP
00002664: POP
00002665: POP
00002666: POP
00002667: JUMPDEST
00002668: SWAP1
00002669: JUMP
0000266a: JUMPDEST
0000266b: PUSH1 0x08
0000266d: SLOAD
0000266e: DUP2
0000266f: JUMP
00002670: JUMPDEST
00002671: PUSH1 0x00
00002673: DUP1
00002674: CALLER
00002675: SWAP1
00002676: POP
00002677: PUSH2 0x267f
0000267a: DUP2
0000267b: PUSH2 0x2535
0000267e: JUMP
0000267f: JUMPDEST
00002680: SWAP2
00002681: POP
00002682: POP
00002683: SWAP1
00002684: JUMP
00002685: JUMPDEST
00002686: PUSH1 0x01
00002688: DUP1
00002689: SLOAD
0000268a: PUSH1 0x01
0000268c: DUP2
0000268d: PUSH1 0x01
0000268f: AND
00002690: ISZERO
00002691: PUSH2 0x0100
00002694: MUL
00002695: SUB
00002696: AND
00002697: PUSH1 0x02
00002699: SWAP1
0000269a: DIV
0000269b: DUP1
0000269c: PUSH1 0x1f
0000269e: ADD
0000269f: PUSH1 0x20
000026a1: DUP1
000026a2: SWAP2
000026a3: DIV
000026a4: MUL
000026a5: PUSH1 0x20
000026a7: ADD
000026a8: PUSH1 0x40
000026aa: MLOAD
000026ab: SWAP1
000026ac: DUP2
000026ad: ADD
000026ae: PUSH1 0x40
000026b0: MSTORE
000026b1: DUP1
000026b2: SWAP3
000026b3: SWAP2
000026b4: SWAP1
000026b5: DUP2
000026b6: DUP2
000026b7: MSTORE
000026b8: PUSH1 0x20
000026ba: ADD
000026bb: DUP3
000026bc: DUP1
000026bd: SLOAD
000026be: PUSH1 0x01
000026c0: DUP2
000026c1: PUSH1 0x01
000026c3: AND
000026c4: ISZERO
000026c5: PUSH2 0x0100
000026c8: MUL
000026c9: SUB
000026ca: AND
000026cb: PUSH1 0x02
000026cd: SWAP1
000026ce: DIV
000026cf: DUP1
000026d0: ISZERO
000026d1: PUSH2 0x271b
000026d4: JUMPI
000026d5: DUP1
000026d6: PUSH1 0x1f
000026d8: LT
000026d9: PUSH2 0x26f0
000026dc: JUMPI
000026dd: PUSH2 0x0100
000026e0: DUP1
000026e1: DUP4
000026e2: SLOAD
000026e3: DIV
000026e4: MUL
000026e5: DUP4
000026e6: MSTORE
000026e7: SWAP2
000026e8: PUSH1 0x20
000026ea: ADD
000026eb: SWAP2
000026ec: PUSH2 0x271b
000026ef: JUMP
000026f0: JUMPDEST
000026f1: DUP3
000026f2: ADD
000026f3: SWAP2
000026f4: SWAP1
000026f5: PUSH1 0x00
000026f7: MSTORE
000026f8: PUSH1 0x20
000026fa: PUSH1 0x00
000026fc: KECCAK256
000026fd: SWAP1
000026fe: JUMPDEST
000026ff: DUP2
00002700: SLOAD
00002701: DUP2
00002702: MSTORE
00002703: SWAP1
00002704: PUSH1 0x01
00002706: ADD
00002707: SWAP1
00002708: PUSH1 0x20
0000270a: ADD
0000270b: DUP1
0000270c: DUP4
0000270d: GT
0000270e: PUSH2 0x26fe
00002711: JUMPI
00002712: DUP3
00002713: SWAP1
00002714: SUB
00002715: PUSH1 0x1f
00002717: AND
00002718: DUP3
00002719: ADD
0000271a: SWAP2
0000271b: JUMPDEST
0000271c: POP
0000271d: POP
0000271e: POP
0000271f: POP
00002720: POP
00002721: DUP2
00002722: JUMP
00002723: JUMPDEST
00002724: PUSH1 0x18
00002726: PUSH1 0x20
00002728: MSTORE
00002729: DUP1
0000272a: PUSH1 0x00
0000272c: MSTORE
0000272d: PUSH1 0x40
0000272f: PUSH1 0x00
00002731: KECCAK256
00002732: PUSH1 0x00
00002734: SWAP2
00002735: POP
00002736: SLOAD
00002737: SWAP1
00002738: PUSH2 0x0100
0000273b: EXP
0000273c: SWAP1
0000273d: DIV
0000273e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002753: AND
00002754: DUP2
00002755: JUMP
00002756: JUMPDEST
00002757: PUSH1 0x00
00002759: PUSH2 0x280b
0000275c: CALLER
0000275d: DUP5
0000275e: PUSH2 0x2806
00002761: DUP6
00002762: PUSH1 0x40
00002764: MLOAD
00002765: DUP1
00002766: PUSH1 0x60
00002768: ADD
00002769: PUSH1 0x40
0000276b: MSTORE
0000276c: DUP1
0000276d: PUSH1 0x25
0000276f: DUP2
00002770: MSTORE
00002771: PUSH1 0x20
00002773: ADD
00002774: PUSH2 0x43ee
00002777: PUSH1 0x25
00002779: SWAP2
0000277a: CODECOPY
0000277b: PUSH1 0x15
0000277d: PUSH1 0x00
0000277f: CALLER
00002780: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002795: AND
00002796: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027ab: AND
000027ac: DUP2
000027ad: MSTORE
000027ae: PUSH1 0x20
000027b0: ADD
000027b1: SWAP1
000027b2: DUP2
000027b3: MSTORE
000027b4: PUSH1 0x20
000027b6: ADD
000027b7: PUSH1 0x00
000027b9: KECCAK256
000027ba: PUSH1 0x00
000027bc: DUP11
000027bd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027d2: AND
000027d3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000027e8: AND
000027e9: DUP2
000027ea: MSTORE
000027eb: PUSH1 0x20
000027ed: ADD
000027ee: SWAP1
000027ef: DUP2
000027f0: MSTORE
000027f1: PUSH1 0x20
000027f3: ADD
000027f4: PUSH1 0x00
000027f6: KECCAK256
000027f7: SLOAD
000027f8: PUSH2 0x4219
000027fb: SWAP1
000027fc: SWAP3
000027fd: SWAP2
000027fe: SWAP1
000027ff: PUSH4 0xffffffff
00002804: AND
00002805: JUMP
00002806: JUMPDEST
00002807: PUSH2 0x3f8a
0000280a: JUMP
0000280b: JUMPDEST
0000280c: PUSH1 0x01
0000280e: SWAP1
0000280f: POP
00002810: SWAP3
00002811: SWAP2
00002812: POP
00002813: POP
00002814: JUMP
00002815: JUMPDEST
00002816: PUSH1 0x17
00002818: PUSH1 0x20
0000281a: MSTORE
0000281b: DUP1
0000281c: PUSH1 0x00
0000281e: MSTORE
0000281f: PUSH1 0x40
00002821: PUSH1 0x00
00002823: KECCAK256
00002824: PUSH1 0x00
00002826: SWAP2
00002827: POP
00002828: SWAP1
00002829: POP
0000282a: DUP1
0000282b: PUSH1 0x00
0000282d: ADD
0000282e: PUSH1 0x00
00002830: SWAP1
00002831: SLOAD
00002832: SWAP1
00002833: PUSH2 0x0100
00002836: EXP
00002837: SWAP1
00002838: DIV
00002839: PUSH1 0xff
0000283b: AND
0000283c: SWAP1
0000283d: DUP1
0000283e: PUSH1 0x01
00002840: ADD
00002841: SLOAD
00002842: SWAP1
00002843: DUP1
00002844: PUSH1 0x02
00002846: ADD
00002847: SLOAD
00002848: SWAP1
00002849: DUP1
0000284a: PUSH1 0x03
0000284c: ADD
0000284d: PUSH1 0x00
0000284f: SWAP1
00002850: SLOAD
00002851: SWAP1
00002852: PUSH2 0x0100
00002855: EXP
00002856: SWAP1
00002857: DIV
00002858: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000286d: AND
0000286e: SWAP1
0000286f: POP
00002870: DUP5
00002871: JUMP
00002872: JUMPDEST
00002873: PUSH1 0x00
00002875: DUP1
00002876: PUSH2 0x287d
00002879: PUSH2 0x2670
0000287c: JUMP
0000287d: JUMPDEST
0000287e: GT
0000287f: PUSH2 0x2887
00002882: JUMPI
00002883: PUSH1 0x00
00002885: DUP1
00002886: REVERT
00002887: JUMPDEST
00002888: PUSH1 0x00
0000288a: CALLER
0000288b: SWAP1
0000288c: POP
0000288d: PUSH1 0x13
0000288f: PUSH1 0x00
00002891: DUP3
00002892: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028a7: AND
000028a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028bd: AND
000028be: DUP2
000028bf: MSTORE
000028c0: PUSH1 0x20
000028c2: ADD
000028c3: SWAP1
000028c4: DUP2
000028c5: MSTORE
000028c6: PUSH1 0x20
000028c8: ADD
000028c9: PUSH1 0x00
000028cb: KECCAK256
000028cc: SLOAD
000028cd: DUP4
000028ce: GT
000028cf: ISZERO
000028d0: PUSH2 0x28d8
000028d3: JUMPI
000028d4: PUSH1 0x00
000028d6: DUP1
000028d7: REVERT
000028d8: JUMPDEST
000028d9: PUSH2 0x2921
000028dc: PUSH1 0x13
000028de: PUSH1 0x00
000028e0: DUP4
000028e1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000028f6: AND
000028f7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000290c: AND
0000290d: DUP2
0000290e: MSTORE
0000290f: PUSH1 0x20
00002911: ADD
00002912: SWAP1
00002913: DUP2
00002914: MSTORE
00002915: PUSH1 0x20
00002917: ADD
00002918: PUSH1 0x00
0000291a: KECCAK256
0000291b: SLOAD
0000291c: DUP5
0000291d: PUSH2 0x3924
00002920: JUMP
00002921: JUMPDEST
00002922: PUSH1 0x13
00002924: PUSH1 0x00
00002926: DUP4
00002927: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000293c: AND
0000293d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002952: AND
00002953: DUP2
00002954: MSTORE
00002955: PUSH1 0x20
00002957: ADD
00002958: SWAP1
00002959: DUP2
0000295a: MSTORE
0000295b: PUSH1 0x20
0000295d: ADD
0000295e: PUSH1 0x00
00002960: KECCAK256
00002961: DUP2
00002962: SWAP1
00002963: SSTORE
00002964: POP
00002965: PUSH2 0x29ad
00002968: PUSH1 0x13
0000296a: PUSH1 0x00
0000296c: DUP7
0000296d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002982: AND
00002983: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002998: AND
00002999: DUP2
0000299a: MSTORE
0000299b: PUSH1 0x20
0000299d: ADD
0000299e: SWAP1
0000299f: DUP2
000029a0: MSTORE
000029a1: PUSH1 0x20
000029a3: ADD
000029a4: PUSH1 0x00
000029a6: KECCAK256
000029a7: SLOAD
000029a8: DUP5
000029a9: PUSH2 0x39ea
000029ac: JUMP
000029ad: JUMPDEST
000029ae: PUSH1 0x13
000029b0: PUSH1 0x00
000029b2: DUP7
000029b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029c8: AND
000029c9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000029de: AND
000029df: DUP2
000029e0: MSTORE
000029e1: PUSH1 0x20
000029e3: ADD
000029e4: SWAP1
000029e5: DUP2
000029e6: MSTORE
000029e7: PUSH1 0x20
000029e9: ADD
000029ea: PUSH1 0x00
000029ec: KECCAK256
000029ed: DUP2
000029ee: SWAP1
000029ef: SSTORE
000029f0: POP
000029f1: DUP3
000029f2: PUSH1 0x1a
000029f4: SLOAD
000029f5: MUL
000029f6: PUSH1 0x16
000029f8: PUSH1 0x00
000029fa: DUP4
000029fb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a10: AND
00002a11: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a26: AND
00002a27: DUP2
00002a28: MSTORE
00002a29: PUSH1 0x20
00002a2b: ADD
00002a2c: SWAP1
00002a2d: DUP2
00002a2e: MSTORE
00002a2f: PUSH1 0x20
00002a31: ADD
00002a32: PUSH1 0x00
00002a34: KECCAK256
00002a35: PUSH1 0x00
00002a37: DUP3
00002a38: DUP3
00002a39: SLOAD
00002a3a: SUB
00002a3b: SWAP3
00002a3c: POP
00002a3d: POP
00002a3e: DUP2
00002a3f: SWAP1
00002a40: SSTORE
00002a41: POP
00002a42: DUP3
00002a43: PUSH1 0x1a
00002a45: SLOAD
00002a46: MUL
00002a47: PUSH1 0x16
00002a49: PUSH1 0x00
00002a4b: DUP7
00002a4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a61: AND
00002a62: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002a77: AND
00002a78: DUP2
00002a79: MSTORE
00002a7a: PUSH1 0x20
00002a7c: ADD
00002a7d: SWAP1
00002a7e: DUP2
00002a7f: MSTORE
00002a80: PUSH1 0x20
00002a82: ADD
00002a83: PUSH1 0x00
00002a85: KECCAK256
00002a86: PUSH1 0x00
00002a88: DUP3
00002a89: DUP3
00002a8a: SLOAD
00002a8b: ADD
00002a8c: SWAP3
00002a8d: POP
00002a8e: POP
00002a8f: DUP2
00002a90: SWAP1
00002a91: SSTORE
00002a92: POP
00002a93: DUP4
00002a94: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002aa9: AND
00002aaa: DUP2
00002aab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ac0: AND
00002ac1: PUSH32 0x9ed053bb818ff08b8353cd46f78db1f0799f31c9e4458fdb425c10eccd2efc44
00002ae2: DUP6
00002ae3: TIMESTAMP
00002ae4: PUSH1 0x40
00002ae6: MLOAD
00002ae7: DUP1
00002ae8: DUP4
00002ae9: DUP2
00002aea: MSTORE
00002aeb: PUSH1 0x20
00002aed: ADD
00002aee: DUP3
00002aef: DUP2
00002af0: MSTORE
00002af1: PUSH1 0x20
00002af3: ADD
00002af4: SWAP3
00002af5: POP
00002af6: POP
00002af7: POP
00002af8: PUSH1 0x40
00002afa: MLOAD
00002afb: DUP1
00002afc: SWAP2
00002afd: SUB
00002afe: SWAP1
00002aff: LOG3
00002b00: PUSH1 0x01
00002b02: SWAP2
00002b03: POP
00002b04: POP
00002b05: SWAP3
00002b06: SWAP2
00002b07: POP
00002b08: POP
00002b09: JUMP
00002b0a: JUMPDEST
00002b0b: PUSH1 0x10
00002b0d: SLOAD
00002b0e: DUP2
00002b0f: JUMP
00002b10: JUMPDEST
00002b11: PUSH1 0x14
00002b13: PUSH1 0x20
00002b15: MSTORE
00002b16: DUP1
00002b17: PUSH1 0x00
00002b19: MSTORE
00002b1a: PUSH1 0x40
00002b1c: PUSH1 0x00
00002b1e: KECCAK256
00002b1f: PUSH1 0x00
00002b21: SWAP2
00002b22: POP
00002b23: SWAP1
00002b24: POP
00002b25: SLOAD
00002b26: DUP2
00002b27: JUMP
00002b28: JUMPDEST
00002b29: PUSH1 0x07
00002b2b: SLOAD
00002b2c: DUP2
00002b2d: JUMP
00002b2e: JUMPDEST
00002b2f: PUSH1 0x00
00002b31: PUSH1 0x15
00002b33: PUSH1 0x00
00002b35: DUP5
00002b36: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b4b: AND
00002b4c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b61: AND
00002b62: DUP2
00002b63: MSTORE
00002b64: PUSH1 0x20
00002b66: ADD
00002b67: SWAP1
00002b68: DUP2
00002b69: MSTORE
00002b6a: PUSH1 0x20
00002b6c: ADD
00002b6d: PUSH1 0x00
00002b6f: KECCAK256
00002b70: PUSH1 0x00
00002b72: DUP4
00002b73: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b88: AND
00002b89: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002b9e: AND
00002b9f: DUP2
00002ba0: MSTORE
00002ba1: PUSH1 0x20
00002ba3: ADD
00002ba4: SWAP1
00002ba5: DUP2
00002ba6: MSTORE
00002ba7: PUSH1 0x20
00002ba9: ADD
00002baa: PUSH1 0x00
00002bac: KECCAK256
00002bad: SLOAD
00002bae: SWAP1
00002baf: POP
00002bb0: SWAP3
00002bb1: SWAP2
00002bb2: POP
00002bb3: POP
00002bb4: JUMP
00002bb5: JUMPDEST
00002bb6: PUSH1 0x0e
00002bb8: SLOAD
00002bb9: DUP2
00002bba: JUMP
00002bbb: JUMPDEST
00002bbc: PUSH1 0x16
00002bbe: PUSH1 0x20
00002bc0: MSTORE
00002bc1: DUP1
00002bc2: PUSH1 0x00
00002bc4: MSTORE
00002bc5: PUSH1 0x40
00002bc7: PUSH1 0x00
00002bc9: KECCAK256
00002bca: PUSH1 0x00
00002bcc: SWAP2
00002bcd: POP
00002bce: SWAP1
00002bcf: POP
00002bd0: SLOAD
00002bd1: DUP2
00002bd2: JUMP
00002bd3: JUMPDEST
00002bd4: PUSH1 0x00
00002bd6: PUSH2 0x2bdd
00002bd9: PUSH2 0x2670
00002bdc: JUMP
00002bdd: JUMPDEST
00002bde: GT
00002bdf: PUSH2 0x2be7
00002be2: JUMPI
00002be3: PUSH1 0x00
00002be5: DUP1
00002be6: REVERT
00002be7: JUMPDEST
00002be8: PUSH1 0x00
00002bea: CALLER
00002beb: SWAP1
00002bec: POP
00002bed: PUSH1 0x13
00002bef: PUSH1 0x00
00002bf1: DUP3
00002bf2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c07: AND
00002c08: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002c1d: AND
00002c1e: DUP2
00002c1f: MSTORE
00002c20: PUSH1 0x20
00002c22: ADD
00002c23: SWAP1
00002c24: DUP2
00002c25: MSTORE
00002c26: PUSH1 0x20
00002c28: ADD
00002c29: PUSH1 0x00
00002c2b: KECCAK256
00002c2c: SLOAD
00002c2d: DUP3
00002c2e: GT
00002c2f: ISZERO
00002c30: PUSH2 0x2c38
00002c33: JUMPI
00002c34: PUSH1 0x00
00002c36: DUP1
00002c37: REVERT
00002c38: JUMPDEST
00002c39: PUSH1 0x00
00002c3b: DUP3
00002c3c: SWAP1
00002c3d: POP
00002c3e: PUSH1 0x00
00002c40: PUSH2 0x2c48
00002c43: DUP3
00002c44: PUSH2 0x4181
00002c47: JUMP
00002c48: JUMPDEST
00002c49: SWAP1
00002c4a: POP
00002c4b: PUSH1 0x00
00002c4d: PUSH2 0x2c73
00002c50: PUSH1 0x64
00002c52: PUSH2 0x2c65
00002c55: PUSH1 0x05
00002c57: DUP6
00002c58: PUSH2 0x1ac2
00002c5b: SWAP1
00002c5c: SWAP2
00002c5d: SWAP1
00002c5e: PUSH4 0xffffffff
00002c63: AND
00002c64: JUMP
00002c65: JUMPDEST
00002c66: PUSH2 0x1b48
00002c69: SWAP1
00002c6a: SWAP2
00002c6b: SWAP1
00002c6c: PUSH4 0xffffffff
00002c71: AND
00002c72: JUMP
00002c73: JUMPDEST
00002c74: SWAP1
00002c75: POP
00002c76: PUSH2 0x2c81
00002c79: PUSH1 0x07
00002c7b: SLOAD
00002c7c: DUP3
00002c7d: PUSH2 0x39ea
00002c80: JUMP
00002c81: JUMPDEST
00002c82: PUSH1 0x07
00002c84: DUP2
00002c85: SWAP1
00002c86: SSTORE
00002c87: POP
00002c88: PUSH1 0x00
00002c8a: PUSH2 0x2c93
00002c8d: DUP4
00002c8e: DUP4
00002c8f: PUSH2 0x3924
00002c92: JUMP
00002c93: JUMPDEST
00002c94: SWAP1
00002c95: POP
00002c96: PUSH2 0x2ca1
00002c99: PUSH1 0x19
00002c9b: SLOAD
00002c9c: DUP6
00002c9d: PUSH2 0x3924
00002ca0: JUMP
00002ca1: JUMPDEST
00002ca2: PUSH1 0x19
00002ca4: DUP2
00002ca5: SWAP1
00002ca6: SSTORE
00002ca7: POP
00002ca8: PUSH2 0x2cf0
00002cab: PUSH1 0x13
00002cad: PUSH1 0x00
00002caf: DUP8
00002cb0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cc5: AND
00002cc6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002cdb: AND
00002cdc: DUP2
00002cdd: MSTORE
00002cde: PUSH1 0x20
00002ce0: ADD
00002ce1: SWAP1
00002ce2: DUP2
00002ce3: MSTORE
00002ce4: PUSH1 0x20
00002ce6: ADD
00002ce7: PUSH1 0x00
00002ce9: KECCAK256
00002cea: SLOAD
00002ceb: DUP6
00002cec: PUSH2 0x3924
00002cef: JUMP
00002cf0: JUMPDEST
00002cf1: PUSH1 0x13
00002cf3: PUSH1 0x00
00002cf5: DUP8
00002cf6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d0b: AND
00002d0c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d21: AND
00002d22: DUP2
00002d23: MSTORE
00002d24: PUSH1 0x20
00002d26: ADD
00002d27: SWAP1
00002d28: DUP2
00002d29: MSTORE
00002d2a: PUSH1 0x20
00002d2c: ADD
00002d2d: PUSH1 0x00
00002d2f: KECCAK256
00002d30: DUP2
00002d31: SWAP1
00002d32: SSTORE
00002d33: POP
00002d34: PUSH1 0x00
00002d36: PUSH1 0x05
00002d38: SLOAD
00002d39: DUP3
00002d3a: MUL
00002d3b: DUP6
00002d3c: PUSH1 0x1a
00002d3e: SLOAD
00002d3f: MUL
00002d40: ADD
00002d41: SWAP1
00002d42: POP
00002d43: DUP1
00002d44: PUSH1 0x16
00002d46: PUSH1 0x00
00002d48: DUP9
00002d49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d5e: AND
00002d5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002d74: AND
00002d75: DUP2
00002d76: MSTORE
00002d77: PUSH1 0x20
00002d79: ADD
00002d7a: SWAP1
00002d7b: DUP2
00002d7c: MSTORE
00002d7d: PUSH1 0x20
00002d7f: ADD
00002d80: PUSH1 0x00
00002d82: KECCAK256
00002d83: PUSH1 0x00
00002d85: DUP3
00002d86: DUP3
00002d87: SLOAD
00002d88: SUB
00002d89: SWAP3
00002d8a: POP
00002d8b: POP
00002d8c: DUP2
00002d8d: SWAP1
00002d8e: SSTORE
00002d8f: POP
00002d90: PUSH1 0x05
00002d92: SLOAD
00002d93: DUP3
00002d94: MUL
00002d95: PUSH1 0x16
00002d97: PUSH1 0x00
00002d99: DUP9
00002d9a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002daf: AND
00002db0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002dc5: AND
00002dc6: DUP2
00002dc7: MSTORE
00002dc8: PUSH1 0x20
00002dca: ADD
00002dcb: SWAP1
00002dcc: DUP2
00002dcd: MSTORE
00002dce: PUSH1 0x20
00002dd0: ADD
00002dd1: PUSH1 0x00
00002dd3: KECCAK256
00002dd4: PUSH1 0x00
00002dd6: DUP3
00002dd7: DUP3
00002dd8: SLOAD
00002dd9: ADD
00002dda: SWAP3
00002ddb: POP
00002ddc: POP
00002ddd: DUP2
00002dde: SWAP1
00002ddf: SSTORE
00002de0: POP
00002de1: DUP2
00002de2: PUSH1 0x12
00002de4: PUSH1 0x00
00002de6: DUP3
00002de7: DUP3
00002de8: SLOAD
00002de9: ADD
00002dea: SWAP3
00002deb: POP
00002dec: POP
00002ded: DUP2
00002dee: SWAP1
00002def: SSTORE
00002df0: POP
00002df1: DUP6
00002df2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e07: AND
00002e08: PUSH2 0x08fc
00002e0b: DUP4
00002e0c: SWAP1
00002e0d: DUP2
00002e0e: ISZERO
00002e0f: MUL
00002e10: SWAP1
00002e11: PUSH1 0x40
00002e13: MLOAD
00002e14: PUSH1 0x00
00002e16: PUSH1 0x40
00002e18: MLOAD
00002e19: DUP1
00002e1a: DUP4
00002e1b: SUB
00002e1c: DUP2
00002e1d: DUP6
00002e1e: DUP9
00002e1f: DUP9
00002e20: CALL
00002e21: SWAP4
00002e22: POP
00002e23: POP
00002e24: POP
00002e25: POP
00002e26: ISZERO
00002e27: DUP1
00002e28: ISZERO
00002e29: PUSH2 0x2e36
00002e2c: JUMPI
00002e2d: RETURNDATASIZE
00002e2e: PUSH1 0x00
00002e30: DUP1
00002e31: RETURNDATACOPY
00002e32: RETURNDATASIZE
00002e33: PUSH1 0x00
00002e35: REVERT
00002e36: JUMPDEST
00002e37: POP
00002e38: PUSH1 0x06
00002e3a: SLOAD
00002e3b: DUP5
00002e3c: LT
00002e3d: ISZERO
00002e3e: PUSH2 0x2e54
00002e41: JUMPI
00002e42: PUSH2 0x2e4d
00002e45: PUSH1 0x06
00002e47: SLOAD
00002e48: DUP6
00002e49: PUSH2 0x3924
00002e4c: JUMP
00002e4d: JUMPDEST
00002e4e: PUSH1 0x06
00002e50: DUP2
00002e51: SWAP1
00002e52: SSTORE
00002e53: POP
00002e54: JUMPDEST
00002e55: DUP6
00002e56: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002e6b: AND
00002e6c: PUSH32 0x8d3a0130073dbd54ab6ac632c05946df540553d3b514c9f8165b4ab7f2b1805e
00002e8d: DUP7
00002e8e: DUP5
00002e8f: TIMESTAMP
00002e90: PUSH1 0x13
00002e92: PUSH1 0x00
00002e94: DUP13
00002e95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002eaa: AND
00002eab: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002ec0: AND
00002ec1: DUP2
00002ec2: MSTORE
00002ec3: PUSH1 0x20
00002ec5: ADD
00002ec6: SWAP1
00002ec7: DUP2
00002ec8: MSTORE
00002ec9: PUSH1 0x20
00002ecb: ADD
00002ecc: PUSH1 0x00
00002ece: KECCAK256
00002ecf: SLOAD
00002ed0: PUSH1 0x40
00002ed2: MLOAD
00002ed3: DUP1
00002ed4: DUP6
00002ed5: DUP2
00002ed6: MSTORE
00002ed7: PUSH1 0x20
00002ed9: ADD
00002eda: DUP5
00002edb: DUP2
00002edc: MSTORE
00002edd: PUSH1 0x20
00002edf: ADD
00002ee0: DUP4
00002ee1: DUP2
00002ee2: MSTORE
00002ee3: PUSH1 0x20
00002ee5: ADD
00002ee6: DUP3
00002ee7: DUP2
00002ee8: MSTORE
00002ee9: PUSH1 0x20
00002eeb: ADD
00002eec: SWAP5
00002eed: POP
00002eee: POP
00002eef: POP
00002ef0: POP
00002ef1: POP
00002ef2: PUSH1 0x40
00002ef4: MLOAD
00002ef5: DUP1
00002ef6: SWAP2
00002ef7: SUB
00002ef8: SWAP1
00002ef9: LOG2
00002efa: POP
00002efb: POP
00002efc: POP
00002efd: POP
00002efe: POP
00002eff: POP
00002f00: POP
00002f01: JUMP
00002f02: JUMPDEST
00002f03: PUSH1 0x00
00002f05: CALLER
00002f06: SWAP1
00002f07: POP
00002f08: PUSH1 0x00
00002f0a: PUSH1 0x13
00002f0c: PUSH1 0x00
00002f0e: DUP4
00002f0f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f24: AND
00002f25: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00002f3a: AND
00002f3b: DUP2
00002f3c: MSTORE
00002f3d: PUSH1 0x20
00002f3f: ADD
00002f40: SWAP1
00002f41: DUP2
00002f42: MSTORE
00002f43: PUSH1 0x20
00002f45: ADD
00002f46: PUSH1 0x00
00002f48: KECCAK256
00002f49: SLOAD
00002f4a: SWAP1
00002f4b: POP
00002f4c: PUSH1 0x00
00002f4e: DUP2
00002f4f: GT
00002f50: ISZERO
00002f51: PUSH2 0x2f5e
00002f54: JUMPI
00002f55: PUSH2 0x2f5d
00002f58: DUP2
00002f59: PUSH2 0x2bd3
00002f5c: JUMP
00002f5d: JUMPDEST
00002f5e: JUMPDEST
00002f5f: PUSH2 0x2f66
00002f62: PUSH2 0x21c4
00002f65: JUMP
00002f66: JUMPDEST
00002f67: POP
00002f68: POP
00002f69: JUMP
00002f6a: JUMPDEST
00002f6b: PUSH1 0x00
00002f6d: PUSH8 0x016345785d8a0000
00002f76: CALLVALUE
00002f77: LT
00002f78: ISZERO
00002f79: PUSH2 0x2fea
00002f7c: JUMPI
00002f7d: PUSH1 0x40
00002f7f: MLOAD
00002f80: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00002fa1: DUP2
00002fa2: MSTORE
00002fa3: PUSH1 0x04
00002fa5: ADD
00002fa6: DUP1
00002fa7: DUP1
00002fa8: PUSH1 0x20
00002faa: ADD
00002fab: DUP3
00002fac: DUP2
00002fad: SUB
00002fae: DUP3
00002faf: MSTORE
00002fb0: PUSH1 0x1c
00002fb2: DUP2
00002fb3: MSTORE
00002fb4: PUSH1 0x20
00002fb6: ADD
00002fb7: DUP1
00002fb8: PUSH32 0x4552524f523a206d696e696d756e20302e3120657468657265756d2000000000
00002fd9: DUP2
00002fda: MSTORE
00002fdb: POP
00002fdc: PUSH1 0x20
00002fde: ADD
00002fdf: SWAP2
00002fe0: POP
00002fe1: POP
00002fe2: PUSH1 0x40
00002fe4: MLOAD
00002fe5: DUP1
00002fe6: SWAP2
00002fe7: SUB
00002fe8: SWAP1
00002fe9: REVERT
00002fea: JUMPDEST
00002feb: CALLER
00002fec: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003001: AND
00003002: DUP3
00003003: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003018: AND
00003019: EQ
0000301a: ISZERO
0000301b: PUSH2 0x308c
0000301e: JUMPI
0000301f: PUSH1 0x40
00003021: MLOAD
00003022: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003043: DUP2
00003044: MSTORE
00003045: PUSH1 0x04
00003047: ADD
00003048: DUP1
00003049: DUP1
0000304a: PUSH1 0x20
0000304c: ADD
0000304d: DUP3
0000304e: DUP2
0000304f: SUB
00003050: DUP3
00003051: MSTORE
00003052: PUSH1 0x1c
00003054: DUP2
00003055: MSTORE
00003056: PUSH1 0x20
00003058: ADD
00003059: DUP1
0000305a: PUSH32 0x4552524f523a2063616e6e6f74206265636f6d65206f776e2072656600000000
0000307b: DUP2
0000307c: MSTORE
0000307d: POP
0000307e: PUSH1 0x20
00003080: ADD
00003081: SWAP2
00003082: POP
00003083: POP
00003084: PUSH1 0x40
00003086: MLOAD
00003087: DUP1
00003088: SWAP2
00003089: SUB
0000308a: SWAP1
0000308b: REVERT
0000308c: JUMPDEST
0000308d: PUSH1 0x17
0000308f: PUSH1 0x00
00003091: CALLER
00003092: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030a7: AND
000030a8: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000030bd: AND
000030be: DUP2
000030bf: MSTORE
000030c0: PUSH1 0x20
000030c2: ADD
000030c3: SWAP1
000030c4: DUP2
000030c5: MSTORE
000030c6: PUSH1 0x20
000030c8: ADD
000030c9: PUSH1 0x00
000030cb: KECCAK256
000030cc: PUSH1 0x00
000030ce: ADD
000030cf: PUSH1 0x00
000030d1: SWAP1
000030d2: SLOAD
000030d3: SWAP1
000030d4: PUSH2 0x0100
000030d7: EXP
000030d8: SWAP1
000030d9: DIV
000030da: PUSH1 0xff
000030dc: AND
000030dd: PUSH2 0x30eb
000030e0: JUMPI
000030e1: PUSH2 0x30ea
000030e4: CALLER
000030e5: DUP4
000030e6: PUSH2 0x1581
000030e9: JUMP
000030ea: JUMPDEST
000030eb: JUMPDEST
000030ec: PUSH2 0x30f5
000030ef: CALLVALUE
000030f0: DUP4
000030f1: PUSH2 0x1738
000030f4: JUMP
000030f5: JUMPDEST
000030f6: POP
000030f7: PUSH2 0x311d
000030fa: PUSH1 0x64
000030fc: PUSH2 0x310f
000030ff: PUSH1 0x0c
00003101: CALLVALUE
00003102: PUSH2 0x1ac2
00003105: SWAP1
00003106: SWAP2
00003107: SWAP1
00003108: PUSH4 0xffffffff
0000310d: AND
0000310e: JUMP
0000310f: JUMPDEST
00003110: PUSH2 0x1b48
00003113: SWAP1
00003114: SWAP2
00003115: SWAP1
00003116: PUSH4 0xffffffff
0000311b: AND
0000311c: JUMP
0000311d: JUMPDEST
0000311e: PUSH1 0x07
00003120: PUSH1 0x00
00003122: DUP3
00003123: DUP3
00003124: SLOAD
00003125: ADD
00003126: SWAP3
00003127: POP
00003128: POP
00003129: DUP2
0000312a: SWAP1
0000312b: SSTORE
0000312c: POP
0000312d: PUSH2 0x3153
00003130: PUSH1 0x64
00003132: PUSH2 0x3145
00003135: PUSH1 0x02
00003137: CALLVALUE
00003138: PUSH2 0x1ac2
0000313b: SWAP1
0000313c: SWAP2
0000313d: SWAP1
0000313e: PUSH4 0xffffffff
00003143: AND
00003144: JUMP
00003145: JUMPDEST
00003146: PUSH2 0x1b48
00003149: SWAP1
0000314a: SWAP2
0000314b: SWAP1
0000314c: PUSH4 0xffffffff
00003151: AND
00003152: JUMP
00003153: JUMPDEST
00003154: PUSH1 0x08
00003156: PUSH1 0x00
00003158: DUP3
00003159: DUP3
0000315a: SLOAD
0000315b: ADD
0000315c: SWAP3
0000315d: POP
0000315e: POP
0000315f: DUP2
00003160: SWAP1
00003161: SSTORE
00003162: POP
00003163: PUSH2 0x3189
00003166: PUSH1 0x64
00003168: PUSH2 0x317b
0000316b: PUSH1 0x02
0000316d: CALLVALUE
0000316e: PUSH2 0x1ac2
00003171: SWAP1
00003172: SWAP2
00003173: SWAP1
00003174: PUSH4 0xffffffff
00003179: AND
0000317a: JUMP
0000317b: JUMPDEST
0000317c: PUSH2 0x1b48
0000317f: SWAP1
00003180: SWAP2
00003181: SWAP1
00003182: PUSH4 0xffffffff
00003187: AND
00003188: JUMP
00003189: JUMPDEST
0000318a: PUSH1 0x0a
0000318c: PUSH1 0x00
0000318e: DUP3
0000318f: DUP3
00003190: SLOAD
00003191: ADD
00003192: SWAP3
00003193: POP
00003194: POP
00003195: DUP2
00003196: SWAP1
00003197: SSTORE
00003198: POP
00003199: PUSH1 0x0d
0000319b: PUSH1 0x00
0000319d: SWAP1
0000319e: SLOAD
0000319f: SWAP1
000031a0: PUSH2 0x0100
000031a3: EXP
000031a4: SWAP1
000031a5: DIV
000031a6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031bb: AND
000031bc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000031d1: AND
000031d2: PUSH2 0x08fc
000031d5: PUSH2 0x31fb
000031d8: PUSH1 0x64
000031da: PUSH2 0x31ed
000031dd: PUSH1 0x02
000031df: CALLVALUE
000031e0: PUSH2 0x1ac2
000031e3: SWAP1
000031e4: SWAP2
000031e5: SWAP1
000031e6: PUSH4 0xffffffff
000031eb: AND
000031ec: JUMP
000031ed: JUMPDEST
000031ee: PUSH2 0x1b48
000031f1: SWAP1
000031f2: SWAP2
000031f3: SWAP1
000031f4: PUSH4 0xffffffff
000031f9: AND
000031fa: JUMP
000031fb: JUMPDEST
000031fc: SWAP1
000031fd: DUP2
000031fe: ISZERO
000031ff: MUL
00003200: SWAP1
00003201: PUSH1 0x40
00003203: MLOAD
00003204: PUSH1 0x00
00003206: PUSH1 0x40
00003208: MLOAD
00003209: DUP1
0000320a: DUP4
0000320b: SUB
0000320c: DUP2
0000320d: DUP6
0000320e: DUP9
0000320f: DUP9
00003210: CALL
00003211: SWAP4
00003212: POP
00003213: POP
00003214: POP
00003215: POP
00003216: ISZERO
00003217: DUP1
00003218: ISZERO
00003219: PUSH2 0x3226
0000321c: JUMPI
0000321d: RETURNDATASIZE
0000321e: PUSH1 0x00
00003220: DUP1
00003221: RETURNDATACOPY
00003222: RETURNDATASIZE
00003223: PUSH1 0x00
00003225: REVERT
00003226: JUMPDEST
00003227: POP
00003228: PUSH1 0x0b
0000322a: PUSH1 0x00
0000322c: SWAP1
0000322d: SLOAD
0000322e: SWAP1
0000322f: PUSH2 0x0100
00003232: EXP
00003233: SWAP1
00003234: DIV
00003235: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000324a: AND
0000324b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003260: AND
00003261: PUSH2 0x08fc
00003264: PUSH2 0x328a
00003267: PUSH1 0x64
00003269: PUSH2 0x327c
0000326c: PUSH1 0x01
0000326e: CALLVALUE
0000326f: PUSH2 0x1ac2
00003272: SWAP1
00003273: SWAP2
00003274: SWAP1
00003275: PUSH4 0xffffffff
0000327a: AND
0000327b: JUMP
0000327c: JUMPDEST
0000327d: PUSH2 0x1b48
00003280: SWAP1
00003281: SWAP2
00003282: SWAP1
00003283: PUSH4 0xffffffff
00003288: AND
00003289: JUMP
0000328a: JUMPDEST
0000328b: SWAP1
0000328c: DUP2
0000328d: ISZERO
0000328e: MUL
0000328f: SWAP1
00003290: PUSH1 0x40
00003292: MLOAD
00003293: PUSH1 0x00
00003295: PUSH1 0x40
00003297: MLOAD
00003298: DUP1
00003299: DUP4
0000329a: SUB
0000329b: DUP2
0000329c: DUP6
0000329d: DUP9
0000329e: DUP9
0000329f: CALL
000032a0: SWAP4
000032a1: POP
000032a2: POP
000032a3: POP
000032a4: POP
000032a5: ISZERO
000032a6: DUP1
000032a7: ISZERO
000032a8: PUSH2 0x32b5
000032ab: JUMPI
000032ac: RETURNDATASIZE
000032ad: PUSH1 0x00
000032af: DUP1
000032b0: RETURNDATACOPY
000032b1: RETURNDATASIZE
000032b2: PUSH1 0x00
000032b4: REVERT
000032b5: JUMPDEST
000032b6: POP
000032b7: PUSH1 0x0c
000032b9: PUSH1 0x00
000032bb: SWAP1
000032bc: SLOAD
000032bd: SWAP1
000032be: PUSH2 0x0100
000032c1: EXP
000032c2: SWAP1
000032c3: DIV
000032c4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032d9: AND
000032da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000032ef: AND
000032f0: PUSH2 0x08fc
000032f3: PUSH2 0x3319
000032f6: PUSH1 0x64
000032f8: PUSH2 0x330b
000032fb: PUSH1 0x01
000032fd: CALLVALUE
000032fe: PUSH2 0x1ac2
00003301: SWAP1
00003302: SWAP2
00003303: SWAP1
00003304: PUSH4 0xffffffff
00003309: AND
0000330a: JUMP
0000330b: JUMPDEST
0000330c: PUSH2 0x1b48
0000330f: SWAP1
00003310: SWAP2
00003311: SWAP1
00003312: PUSH4 0xffffffff
00003317: AND
00003318: JUMP
00003319: JUMPDEST
0000331a: SWAP1
0000331b: DUP2
0000331c: ISZERO
0000331d: MUL
0000331e: SWAP1
0000331f: PUSH1 0x40
00003321: MLOAD
00003322: PUSH1 0x00
00003324: PUSH1 0x40
00003326: MLOAD
00003327: DUP1
00003328: DUP4
00003329: SUB
0000332a: DUP2
0000332b: DUP6
0000332c: DUP9
0000332d: DUP9
0000332e: CALL
0000332f: SWAP4
00003330: POP
00003331: POP
00003332: POP
00003333: POP
00003334: ISZERO
00003335: DUP1
00003336: ISZERO
00003337: PUSH2 0x3344
0000333a: JUMPI
0000333b: RETURNDATASIZE
0000333c: PUSH1 0x00
0000333e: DUP1
0000333f: RETURNDATACOPY
00003340: RETURNDATASIZE
00003341: PUSH1 0x00
00003343: REVERT
00003344: JUMPDEST
00003345: POP
00003346: CALLVALUE
00003347: PUSH1 0x11
00003349: PUSH1 0x00
0000334b: DUP3
0000334c: DUP3
0000334d: SLOAD
0000334e: ADD
0000334f: SWAP3
00003350: POP
00003351: POP
00003352: DUP2
00003353: SWAP1
00003354: SSTORE
00003355: POP
00003356: SWAP2
00003357: SWAP1
00003358: POP
00003359: JUMP
0000335a: JUMPDEST
0000335b: PUSH1 0x00
0000335d: DUP1
0000335e: CALLER
0000335f: SWAP1
00003360: POP
00003361: PUSH1 0x02
00003363: PUSH1 0x00
00003365: SWAP1
00003366: SLOAD
00003367: SWAP1
00003368: PUSH2 0x0100
0000336b: EXP
0000336c: SWAP1
0000336d: DIV
0000336e: PUSH1 0xff
00003370: AND
00003371: PUSH1 0xff
00003373: AND
00003374: PUSH1 0x0a
00003376: EXP
00003377: PUSH2 0x07d0
0000337a: MUL
0000337b: PUSH1 0x13
0000337d: PUSH1 0x00
0000337f: DUP4
00003380: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003395: AND
00003396: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033ab: AND
000033ac: DUP2
000033ad: MSTORE
000033ae: PUSH1 0x20
000033b0: ADD
000033b1: SWAP1
000033b2: DUP2
000033b3: MSTORE
000033b4: PUSH1 0x20
000033b6: ADD
000033b7: PUSH1 0x00
000033b9: KECCAK256
000033ba: SLOAD
000033bb: LT
000033bc: PUSH2 0x3464
000033bf: JUMPI
000033c0: PUSH1 0x05
000033c2: PUSH1 0x0e
000033c4: PUSH1 0x05
000033c6: SLOAD
000033c7: PUSH1 0x16
000033c9: PUSH1 0x00
000033cb: DUP6
000033cc: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033e1: AND
000033e2: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000033f7: AND
000033f8: DUP2
000033f9: MSTORE
000033fa: PUSH1 0x20
000033fc: ADD
000033fd: SWAP1
000033fe: DUP2
000033ff: MSTORE
00003400: PUSH1 0x20
00003402: ADD
00003403: PUSH1 0x00
00003405: KECCAK256
00003406: SLOAD
00003407: PUSH1 0x13
00003409: PUSH1 0x00
0000340b: DUP7
0000340c: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003421: AND
00003422: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003437: AND
00003438: DUP2
00003439: MSTORE
0000343a: PUSH1 0x20
0000343c: ADD
0000343d: SWAP1
0000343e: DUP2
0000343f: MSTORE
00003440: PUSH1 0x20
00003442: ADD
00003443: PUSH1 0x00
00003445: KECCAK256
00003446: SLOAD
00003447: PUSH1 0x1b
00003449: SLOAD
0000344a: MUL
0000344b: SUB
0000344c: DUP2
0000344d: PUSH2 0x3452
00003450: JUMPI
00003451: INVALID
00003452: JUMPDEST
00003453: DIV
00003454: MUL
00003455: DUP2
00003456: PUSH2 0x345b
00003459: JUMPI
0000345a: INVALID
0000345b: JUMPDEST
0000345c: DIV
0000345d: SWAP2
0000345e: POP
0000345f: POP
00003460: PUSH2 0x346a
00003463: JUMP
00003464: JUMPDEST
00003465: PUSH1 0x00
00003467: SWAP2
00003468: POP
00003469: POP
0000346a: JUMPDEST
0000346b: SWAP1
0000346c: JUMP
0000346d: JUMPDEST
0000346e: PUSH1 0x00
00003470: PUSH2 0x3479
00003473: PUSH1 0x01
00003475: PUSH2 0x24bb
00003478: JUMP
00003479: JUMPDEST
0000347a: GT
0000347b: PUSH2 0x3483
0000347e: JUMPI
0000347f: PUSH1 0x00
00003481: DUP1
00003482: REVERT
00003483: JUMPDEST
00003484: PUSH1 0x00
00003486: CALLER
00003487: SWAP1
00003488: POP
00003489: PUSH1 0x00
0000348b: PUSH2 0x3494
0000348e: PUSH1 0x00
00003490: PUSH2 0x24bb
00003493: JUMP
00003494: JUMPDEST
00003495: SWAP1
00003496: POP
00003497: PUSH1 0x00
00003499: PUSH2 0x34a0
0000349c: PUSH2 0x335a
0000349f: JUMP
000034a0: JUMPDEST
000034a1: SWAP1
000034a2: POP
000034a3: PUSH1 0x00
000034a5: DUP2
000034a6: GT
000034a7: ISZERO
000034a8: PUSH2 0x3523
000034ab: JUMPI
000034ac: DUP3
000034ad: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000034c2: AND
000034c3: PUSH2 0x08fc
000034c6: DUP3
000034c7: SWAP1
000034c8: DUP2
000034c9: ISZERO
000034ca: MUL
000034cb: SWAP1
000034cc: PUSH1 0x40
000034ce: MLOAD
000034cf: PUSH1 0x00
000034d1: PUSH1 0x40
000034d3: MLOAD
000034d4: DUP1
000034d5: DUP4
000034d6: SUB
000034d7: DUP2
000034d8: DUP6
000034d9: DUP9
000034da: DUP9
000034db: CALL
000034dc: SWAP4
000034dd: POP
000034de: POP
000034df: POP
000034e0: POP
000034e1: ISZERO
000034e2: DUP1
000034e3: ISZERO
000034e4: PUSH2 0x34f1
000034e7: JUMPI
000034e8: RETURNDATASIZE
000034e9: PUSH1 0x00
000034eb: DUP1
000034ec: RETURNDATACOPY
000034ed: RETURNDATASIZE
000034ee: PUSH1 0x00
000034f0: REVERT
000034f1: JUMPDEST
000034f2: POP
000034f3: DUP1
000034f4: PUSH1 0x07
000034f6: PUSH1 0x00
000034f8: DUP3
000034f9: DUP3
000034fa: SLOAD
000034fb: SUB
000034fc: SWAP3
000034fd: POP
000034fe: POP
000034ff: DUP2
00003500: SWAP1
00003501: SSTORE
00003502: POP
00003503: DUP1
00003504: PUSH1 0x10
00003506: PUSH1 0x00
00003508: DUP3
00003509: DUP3
0000350a: SLOAD
0000350b: ADD
0000350c: SWAP3
0000350d: POP
0000350e: POP
0000350f: DUP2
00003510: SWAP1
00003511: SSTORE
00003512: POP
00003513: DUP1
00003514: PUSH1 0x12
00003516: PUSH1 0x00
00003518: DUP3
00003519: DUP3
0000351a: SLOAD
0000351b: ADD
0000351c: SWAP3
0000351d: POP
0000351e: POP
0000351f: DUP2
00003520: SWAP1
00003521: SSTORE
00003522: POP
00003523: JUMPDEST
00003524: PUSH1 0x05
00003526: SLOAD
00003527: DUP3
00003528: MUL
00003529: PUSH1 0x16
0000352b: PUSH1 0x00
0000352d: DUP6
0000352e: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003543: AND
00003544: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003559: AND
0000355a: DUP2
0000355b: MSTORE
0000355c: PUSH1 0x20
0000355e: ADD
0000355f: SWAP1
00003560: DUP2
00003561: MSTORE
00003562: PUSH1 0x20
00003564: ADD
00003565: PUSH1 0x00
00003567: KECCAK256
00003568: PUSH1 0x00
0000356a: DUP3
0000356b: DUP3
0000356c: SLOAD
0000356d: ADD
0000356e: SWAP3
0000356f: POP
00003570: POP
00003571: DUP2
00003572: SWAP1
00003573: SSTORE
00003574: POP
00003575: PUSH1 0x14
00003577: PUSH1 0x00
00003579: DUP5
0000357a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000358f: AND
00003590: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035a5: AND
000035a6: DUP2
000035a7: MSTORE
000035a8: PUSH1 0x20
000035aa: ADD
000035ab: SWAP1
000035ac: DUP2
000035ad: MSTORE
000035ae: PUSH1 0x20
000035b0: ADD
000035b1: PUSH1 0x00
000035b3: KECCAK256
000035b4: SLOAD
000035b5: DUP3
000035b6: ADD
000035b7: SWAP2
000035b8: POP
000035b9: PUSH1 0x00
000035bb: PUSH1 0x14
000035bd: PUSH1 0x00
000035bf: DUP6
000035c0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035d5: AND
000035d6: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000035eb: AND
000035ec: DUP2
000035ed: MSTORE
000035ee: PUSH1 0x20
000035f0: ADD
000035f1: SWAP1
000035f2: DUP2
000035f3: MSTORE
000035f4: PUSH1 0x20
000035f6: ADD
000035f7: PUSH1 0x00
000035f9: KECCAK256
000035fa: DUP2
000035fb: SWAP1
000035fc: SSTORE
000035fd: POP
000035fe: PUSH1 0x00
00003600: PUSH1 0x17
00003602: PUSH1 0x00
00003604: DUP6
00003605: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000361a: AND
0000361b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003630: AND
00003631: DUP2
00003632: MSTORE
00003633: PUSH1 0x20
00003635: ADD
00003636: SWAP1
00003637: DUP2
00003638: MSTORE
00003639: PUSH1 0x20
0000363b: ADD
0000363c: PUSH1 0x00
0000363e: KECCAK256
0000363f: PUSH1 0x03
00003641: ADD
00003642: PUSH1 0x00
00003644: SWAP1
00003645: SLOAD
00003646: SWAP1
00003647: PUSH2 0x0100
0000364a: EXP
0000364b: SWAP1
0000364c: DIV
0000364d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003662: AND
00003663: SWAP1
00003664: POP
00003665: PUSH1 0x00
00003667: PUSH2 0x3670
0000366a: DUP5
0000366b: DUP4
0000366c: PUSH2 0x1738
0000366f: JUMP
00003670: JUMPDEST
00003671: SWAP1
00003672: POP
00003673: PUSH2 0x3699
00003676: PUSH1 0x64
00003678: PUSH2 0x368b
0000367b: PUSH1 0x0c
0000367d: DUP8
0000367e: PUSH2 0x1ac2
00003681: SWAP1
00003682: SWAP2
00003683: SWAP1
00003684: PUSH4 0xffffffff
00003689: AND
0000368a: JUMP
0000368b: JUMPDEST
0000368c: PUSH2 0x1b48
0000368f: SWAP1
00003690: SWAP2
00003691: SWAP1
00003692: PUSH4 0xffffffff
00003697: AND
00003698: JUMP
00003699: JUMPDEST
0000369a: PUSH1 0x07
0000369c: PUSH1 0x00
0000369e: DUP3
0000369f: DUP3
000036a0: SLOAD
000036a1: ADD
000036a2: SWAP3
000036a3: POP
000036a4: POP
000036a5: DUP2
000036a6: SWAP1
000036a7: SSTORE
000036a8: POP
000036a9: PUSH2 0x36cf
000036ac: PUSH1 0x64
000036ae: PUSH2 0x36c1
000036b1: PUSH1 0x02
000036b3: DUP8
000036b4: PUSH2 0x1ac2
000036b7: SWAP1
000036b8: SWAP2
000036b9: SWAP1
000036ba: PUSH4 0xffffffff
000036bf: AND
000036c0: JUMP
000036c1: JUMPDEST
000036c2: PUSH2 0x1b48
000036c5: SWAP1
000036c6: SWAP2
000036c7: SWAP1
000036c8: PUSH4 0xffffffff
000036cd: AND
000036ce: JUMP
000036cf: JUMPDEST
000036d0: PUSH1 0x08
000036d2: PUSH1 0x00
000036d4: DUP3
000036d5: DUP3
000036d6: SLOAD
000036d7: ADD
000036d8: SWAP3
000036d9: POP
000036da: POP
000036db: DUP2
000036dc: SWAP1
000036dd: SSTORE
000036de: POP
000036df: PUSH2 0x3705
000036e2: PUSH1 0x64
000036e4: PUSH2 0x36f7
000036e7: PUSH1 0x02
000036e9: DUP8
000036ea: PUSH2 0x1ac2
000036ed: SWAP1
000036ee: SWAP2
000036ef: SWAP1
000036f0: PUSH4 0xffffffff
000036f5: AND
000036f6: JUMP
000036f7: JUMPDEST
000036f8: PUSH2 0x1b48
000036fb: SWAP1
000036fc: SWAP2
000036fd: SWAP1
000036fe: PUSH4 0xffffffff
00003703: AND
00003704: JUMP
00003705: JUMPDEST
00003706: PUSH1 0x0a
00003708: PUSH1 0x00
0000370a: DUP3
0000370b: DUP3
0000370c: SLOAD
0000370d: ADD
0000370e: SWAP3
0000370f: POP
00003710: POP
00003711: DUP2
00003712: SWAP1
00003713: SSTORE
00003714: POP
00003715: PUSH1 0x0d
00003717: PUSH1 0x00
00003719: SWAP1
0000371a: SLOAD
0000371b: SWAP1
0000371c: PUSH2 0x0100
0000371f: EXP
00003720: SWAP1
00003721: DIV
00003722: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003737: AND
00003738: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000374d: AND
0000374e: PUSH2 0x08fc
00003751: PUSH2 0x3777
00003754: PUSH1 0x64
00003756: PUSH2 0x3769
00003759: PUSH1 0x02
0000375b: DUP10
0000375c: PUSH2 0x1ac2
0000375f: SWAP1
00003760: SWAP2
00003761: SWAP1
00003762: PUSH4 0xffffffff
00003767: AND
00003768: JUMP
00003769: JUMPDEST
0000376a: PUSH2 0x1b48
0000376d: SWAP1
0000376e: SWAP2
0000376f: SWAP1
00003770: PUSH4 0xffffffff
00003775: AND
00003776: JUMP
00003777: JUMPDEST
00003778: SWAP1
00003779: DUP2
0000377a: ISZERO
0000377b: MUL
0000377c: SWAP1
0000377d: PUSH1 0x40
0000377f: MLOAD
00003780: PUSH1 0x00
00003782: PUSH1 0x40
00003784: MLOAD
00003785: DUP1
00003786: DUP4
00003787: SUB
00003788: DUP2
00003789: DUP6
0000378a: DUP9
0000378b: DUP9
0000378c: CALL
0000378d: SWAP4
0000378e: POP
0000378f: POP
00003790: POP
00003791: POP
00003792: ISZERO
00003793: DUP1
00003794: ISZERO
00003795: PUSH2 0x37a2
00003798: JUMPI
00003799: RETURNDATASIZE
0000379a: PUSH1 0x00
0000379c: DUP1
0000379d: RETURNDATACOPY
0000379e: RETURNDATASIZE
0000379f: PUSH1 0x00
000037a1: REVERT
000037a2: JUMPDEST
000037a3: POP
000037a4: PUSH1 0x0b
000037a6: PUSH1 0x00
000037a8: SWAP1
000037a9: SLOAD
000037aa: SWAP1
000037ab: PUSH2 0x0100
000037ae: EXP
000037af: SWAP1
000037b0: DIV
000037b1: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037c6: AND
000037c7: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000037dc: AND
000037dd: PUSH2 0x08fc
000037e0: PUSH2 0x3806
000037e3: PUSH1 0x64
000037e5: PUSH2 0x37f8
000037e8: PUSH1 0x01
000037ea: DUP10
000037eb: PUSH2 0x1ac2
000037ee: SWAP1
000037ef: SWAP2
000037f0: SWAP1
000037f1: PUSH4 0xffffffff
000037f6: AND
000037f7: JUMP
000037f8: JUMPDEST
000037f9: PUSH2 0x1b48
000037fc: SWAP1
000037fd: SWAP2
000037fe: SWAP1
000037ff: PUSH4 0xffffffff
00003804: AND
00003805: JUMP
00003806: JUMPDEST
00003807: SWAP1
00003808: DUP2
00003809: ISZERO
0000380a: MUL
0000380b: SWAP1
0000380c: PUSH1 0x40
0000380e: MLOAD
0000380f: PUSH1 0x00
00003811: PUSH1 0x40
00003813: MLOAD
00003814: DUP1
00003815: DUP4
00003816: SUB
00003817: DUP2
00003818: DUP6
00003819: DUP9
0000381a: DUP9
0000381b: CALL
0000381c: SWAP4
0000381d: POP
0000381e: POP
0000381f: POP
00003820: POP
00003821: ISZERO
00003822: DUP1
00003823: ISZERO
00003824: PUSH2 0x3831
00003827: JUMPI
00003828: RETURNDATASIZE
00003829: PUSH1 0x00
0000382b: DUP1
0000382c: RETURNDATACOPY
0000382d: RETURNDATASIZE
0000382e: PUSH1 0x00
00003830: REVERT
00003831: JUMPDEST
00003832: POP
00003833: PUSH1 0x0c
00003835: PUSH1 0x00
00003837: SWAP1
00003838: SLOAD
00003839: SWAP1
0000383a: PUSH2 0x0100
0000383d: EXP
0000383e: SWAP1
0000383f: DIV
00003840: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003855: AND
00003856: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000386b: AND
0000386c: PUSH2 0x08fc
0000386f: PUSH2 0x3895
00003872: PUSH1 0x64
00003874: PUSH2 0x3887
00003877: PUSH1 0x01
00003879: DUP10
0000387a: PUSH2 0x1ac2
0000387d: SWAP1
0000387e: SWAP2
0000387f: SWAP1
00003880: PUSH4 0xffffffff
00003885: AND
00003886: JUMP
00003887: JUMPDEST
00003888: PUSH2 0x1b48
0000388b: SWAP1
0000388c: SWAP2
0000388d: SWAP1
0000388e: PUSH4 0xffffffff
00003893: AND
00003894: JUMP
00003895: JUMPDEST
00003896: SWAP1
00003897: DUP2
00003898: ISZERO
00003899: MUL
0000389a: SWAP1
0000389b: PUSH1 0x40
0000389d: MLOAD
0000389e: PUSH1 0x00
000038a0: PUSH1 0x40
000038a2: MLOAD
000038a3: DUP1
000038a4: DUP4
000038a5: SUB
000038a6: DUP2
000038a7: DUP6
000038a8: DUP9
000038a9: DUP9
000038aa: CALL
000038ab: SWAP4
000038ac: POP
000038ad: POP
000038ae: POP
000038af: POP
000038b0: ISZERO
000038b1: DUP1
000038b2: ISZERO
000038b3: PUSH2 0x38c0
000038b6: JUMPI
000038b7: RETURNDATASIZE
000038b8: PUSH1 0x00
000038ba: DUP1
000038bb: RETURNDATACOPY
000038bc: RETURNDATASIZE
000038bd: PUSH1 0x00
000038bf: REVERT
000038c0: JUMPDEST
000038c1: POP
000038c2: DUP5
000038c3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000038d8: AND
000038d9: PUSH32 0xbe339fc14b041c2b0e0f3dd2cd325d0c3668b78378001e53160eab3615326458
000038fa: DUP6
000038fb: DUP4
000038fc: PUSH1 0x40
000038fe: MLOAD
000038ff: DUP1
00003900: DUP4
00003901: DUP2
00003902: MSTORE
00003903: PUSH1 0x20
00003905: ADD
00003906: DUP3
00003907: DUP2
00003908: MSTORE
00003909: PUSH1 0x20
0000390b: ADD
0000390c: SWAP3
0000390d: POP
0000390e: POP
0000390f: POP
00003910: PUSH1 0x40
00003912: MLOAD
00003913: DUP1
00003914: SWAP2
00003915: SUB
00003916: SWAP1
00003917: LOG2
00003918: POP
00003919: POP
0000391a: POP
0000391b: POP
0000391c: POP
0000391d: JUMP
0000391e: JUMPDEST
0000391f: PUSH1 0x11
00003921: SLOAD
00003922: DUP2
00003923: JUMP
00003924: JUMPDEST
00003925: PUSH1 0x00
00003927: PUSH2 0x3966
0000392a: DUP4
0000392b: DUP4
0000392c: PUSH1 0x40
0000392e: MLOAD
0000392f: DUP1
00003930: PUSH1 0x40
00003932: ADD
00003933: PUSH1 0x40
00003935: MSTORE
00003936: DUP1
00003937: PUSH1 0x1e
00003939: DUP2
0000393a: MSTORE
0000393b: PUSH1 0x20
0000393d: ADD
0000393e: PUSH32 0x536166654d6174683a207375627472616374696f6e206f766572666c6f770000
0000395f: DUP2
00003960: MSTORE
00003961: POP
00003962: PUSH2 0x4219
00003965: JUMP
00003966: JUMPDEST
00003967: SWAP1
00003968: POP
00003969: SWAP3
0000396a: SWAP2
0000396b: POP
0000396c: POP
0000396d: JUMP
0000396e: JUMPDEST
0000396f: PUSH1 0x00
00003971: DUP1
00003972: PUSH8 0x0de0b6b3a7640000
0000397b: PUSH1 0x03
0000397d: SLOAD
0000397e: MUL
0000397f: SWAP1
00003980: POP
00003981: PUSH1 0x00
00003983: PUSH1 0x19
00003985: SLOAD
00003986: PUSH1 0x04
00003988: SLOAD
00003989: PUSH2 0x39d5
0000398c: PUSH2 0x39cf
0000398f: PUSH1 0x19
00003991: SLOAD
00003992: DUP7
00003993: PUSH1 0x04
00003995: SLOAD
00003996: PUSH1 0x02
00003998: MUL
00003999: MUL
0000399a: MUL
0000399b: PUSH1 0x02
0000399d: PUSH1 0x19
0000399f: SLOAD
000039a0: EXP
000039a1: PUSH1 0x02
000039a3: PUSH1 0x04
000039a5: SLOAD
000039a6: EXP
000039a7: MUL
000039a8: PUSH8 0x0de0b6b3a7640000
000039b1: DUP11
000039b2: MUL
000039b3: PUSH8 0x0de0b6b3a7640000
000039bc: PUSH1 0x04
000039be: SLOAD
000039bf: MUL
000039c0: PUSH1 0x02
000039c2: MUL
000039c3: MUL
000039c4: PUSH1 0x02
000039c6: DUP10
000039c7: EXP
000039c8: ADD
000039c9: ADD
000039ca: ADD
000039cb: PUSH2 0x42d9
000039ce: JUMP
000039cf: JUMPDEST
000039d0: DUP6
000039d1: PUSH2 0x3924
000039d4: JUMP
000039d5: JUMPDEST
000039d6: DUP2
000039d7: PUSH2 0x39dc
000039da: JUMPI
000039db: INVALID
000039dc: JUMPDEST
000039dd: DIV
000039de: SUB
000039df: SWAP1
000039e0: POP
000039e1: DUP1
000039e2: SWAP3
000039e3: POP
000039e4: POP
000039e5: POP
000039e6: SWAP2
000039e7: SWAP1
000039e8: POP
000039e9: JUMP
000039ea: JUMPDEST
000039eb: PUSH1 0x00
000039ed: DUP1
000039ee: DUP3
000039ef: DUP5
000039f0: ADD
000039f1: SWAP1
000039f2: POP
000039f3: DUP4
000039f4: DUP2
000039f5: LT
000039f6: ISZERO
000039f7: PUSH2 0x3a68
000039fa: JUMPI
000039fb: PUSH1 0x40
000039fd: MLOAD
000039fe: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003a1f: DUP2
00003a20: MSTORE
00003a21: PUSH1 0x04
00003a23: ADD
00003a24: DUP1
00003a25: DUP1
00003a26: PUSH1 0x20
00003a28: ADD
00003a29: DUP3
00003a2a: DUP2
00003a2b: SUB
00003a2c: DUP3
00003a2d: MSTORE
00003a2e: PUSH1 0x1b
00003a30: DUP2
00003a31: MSTORE
00003a32: PUSH1 0x20
00003a34: ADD
00003a35: DUP1
00003a36: PUSH32 0x536166654d6174683a206164646974696f6e206f766572666c6f770000000000
00003a57: DUP2
00003a58: MSTORE
00003a59: POP
00003a5a: PUSH1 0x20
00003a5c: ADD
00003a5d: SWAP2
00003a5e: POP
00003a5f: POP
00003a60: PUSH1 0x40
00003a62: MLOAD
00003a63: DUP1
00003a64: SWAP2
00003a65: SUB
00003a66: SWAP1
00003a67: REVERT
00003a68: JUMPDEST
00003a69: DUP1
00003a6a: SWAP2
00003a6b: POP
00003a6c: POP
00003a6d: SWAP3
00003a6e: SWAP2
00003a6f: POP
00003a70: POP
00003a71: JUMP
00003a72: JUMPDEST
00003a73: PUSH1 0x00
00003a75: PUSH2 0x3a9b
00003a78: PUSH1 0x64
00003a7a: PUSH2 0x3a8d
00003a7d: PUSH1 0x0a
00003a7f: DUP6
00003a80: PUSH2 0x1ac2
00003a83: SWAP1
00003a84: SWAP2
00003a85: SWAP1
00003a86: PUSH4 0xffffffff
00003a8b: AND
00003a8c: JUMP
00003a8d: JUMPDEST
00003a8e: PUSH2 0x1b48
00003a91: SWAP1
00003a92: SWAP2
00003a93: SWAP1
00003a94: PUSH4 0xffffffff
00003a99: AND
00003a9a: JUMP
00003a9b: JUMPDEST
00003a9c: SWAP1
00003a9d: POP
00003a9e: PUSH1 0x00
00003aa0: PUSH2 0x3ac6
00003aa3: PUSH1 0x64
00003aa5: PUSH2 0x3ab8
00003aa8: PUSH1 0x07
00003aaa: DUP7
00003aab: PUSH2 0x1ac2
00003aae: SWAP1
00003aaf: SWAP2
00003ab0: SWAP1
00003ab1: PUSH4 0xffffffff
00003ab6: AND
00003ab7: JUMP
00003ab8: JUMPDEST
00003ab9: PUSH2 0x1b48
00003abc: SWAP1
00003abd: SWAP2
00003abe: SWAP1
00003abf: PUSH4 0xffffffff
00003ac4: AND
00003ac5: JUMP
00003ac6: JUMPDEST
00003ac7: SWAP1
00003ac8: POP
00003ac9: PUSH1 0x00
00003acb: PUSH2 0x3af1
00003ace: PUSH1 0x64
00003ad0: PUSH2 0x3ae3
00003ad3: PUSH1 0x03
00003ad5: DUP8
00003ad6: PUSH2 0x1ac2
00003ad9: SWAP1
00003ada: SWAP2
00003adb: SWAP1
00003adc: PUSH4 0xffffffff
00003ae1: AND
00003ae2: JUMP
00003ae3: JUMPDEST
00003ae4: PUSH2 0x1b48
00003ae7: SWAP1
00003ae8: SWAP2
00003ae9: SWAP1
00003aea: PUSH4 0xffffffff
00003aef: AND
00003af0: JUMP
00003af1: JUMPDEST
00003af2: SWAP1
00003af3: POP
00003af4: PUSH1 0x00
00003af6: DUP6
00003af7: SWAP1
00003af8: POP
00003af9: PUSH1 0x00
00003afb: PUSH1 0x17
00003afd: PUSH1 0x00
00003aff: DUP9
00003b00: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b15: AND
00003b16: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b2b: AND
00003b2c: DUP2
00003b2d: MSTORE
00003b2e: PUSH1 0x20
00003b30: ADD
00003b31: SWAP1
00003b32: DUP2
00003b33: MSTORE
00003b34: PUSH1 0x20
00003b36: ADD
00003b37: PUSH1 0x00
00003b39: KECCAK256
00003b3a: PUSH1 0x03
00003b3c: ADD
00003b3d: PUSH1 0x00
00003b3f: SWAP1
00003b40: SLOAD
00003b41: SWAP1
00003b42: PUSH2 0x0100
00003b45: EXP
00003b46: SWAP1
00003b47: DIV
00003b48: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b5d: AND
00003b5e: SWAP1
00003b5f: POP
00003b60: PUSH1 0x00
00003b62: PUSH1 0x17
00003b64: PUSH1 0x00
00003b66: DUP4
00003b67: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b7c: AND
00003b7d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003b92: AND
00003b93: DUP2
00003b94: MSTORE
00003b95: PUSH1 0x20
00003b97: ADD
00003b98: SWAP1
00003b99: DUP2
00003b9a: MSTORE
00003b9b: PUSH1 0x20
00003b9d: ADD
00003b9e: PUSH1 0x00
00003ba0: KECCAK256
00003ba1: PUSH1 0x03
00003ba3: ADD
00003ba4: PUSH1 0x00
00003ba6: SWAP1
00003ba7: SLOAD
00003ba8: SWAP1
00003ba9: PUSH2 0x0100
00003bac: EXP
00003bad: SWAP1
00003bae: DIV
00003baf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bc4: AND
00003bc5: SWAP1
00003bc6: POP
00003bc7: DUP6
00003bc8: PUSH1 0x14
00003bca: PUSH1 0x00
00003bcc: DUP6
00003bcd: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003be2: AND
00003be3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003bf8: AND
00003bf9: DUP2
00003bfa: MSTORE
00003bfb: PUSH1 0x20
00003bfd: ADD
00003bfe: SWAP1
00003bff: DUP2
00003c00: MSTORE
00003c01: PUSH1 0x20
00003c03: ADD
00003c04: PUSH1 0x00
00003c06: KECCAK256
00003c07: PUSH1 0x00
00003c09: DUP3
00003c0a: DUP3
00003c0b: SLOAD
00003c0c: ADD
00003c0d: SWAP3
00003c0e: POP
00003c0f: POP
00003c10: DUP2
00003c11: SWAP1
00003c12: SSTORE
00003c13: POP
00003c14: DUP6
00003c15: PUSH1 0x09
00003c17: PUSH1 0x00
00003c19: DUP3
00003c1a: DUP3
00003c1b: SLOAD
00003c1c: ADD
00003c1d: SWAP3
00003c1e: POP
00003c1f: POP
00003c20: DUP2
00003c21: SWAP1
00003c22: SSTORE
00003c23: POP
00003c24: PUSH32 0x305ba6be0adbe2d7795c43e8ba5e7ffa55e0f8ec85d759edb9b4ae2625392a78
00003c45: CALLER
00003c46: DUP5
00003c47: DUP9
00003c48: PUSH1 0x40
00003c4a: MLOAD
00003c4b: DUP1
00003c4c: DUP5
00003c4d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c62: AND
00003c63: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c78: AND
00003c79: DUP2
00003c7a: MSTORE
00003c7b: PUSH1 0x20
00003c7d: ADD
00003c7e: DUP4
00003c7f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003c94: AND
00003c95: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003caa: AND
00003cab: DUP2
00003cac: MSTORE
00003cad: PUSH1 0x20
00003caf: ADD
00003cb0: DUP3
00003cb1: DUP2
00003cb2: MSTORE
00003cb3: PUSH1 0x20
00003cb5: ADD
00003cb6: SWAP4
00003cb7: POP
00003cb8: POP
00003cb9: POP
00003cba: POP
00003cbb: PUSH1 0x40
00003cbd: MLOAD
00003cbe: DUP1
00003cbf: SWAP2
00003cc0: SUB
00003cc1: SWAP1
00003cc2: LOG1
00003cc3: DUP5
00003cc4: PUSH1 0x14
00003cc6: PUSH1 0x00
00003cc8: DUP5
00003cc9: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003cde: AND
00003cdf: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003cf4: AND
00003cf5: DUP2
00003cf6: MSTORE
00003cf7: PUSH1 0x20
00003cf9: ADD
00003cfa: SWAP1
00003cfb: DUP2
00003cfc: MSTORE
00003cfd: PUSH1 0x20
00003cff: ADD
00003d00: PUSH1 0x00
00003d02: KECCAK256
00003d03: PUSH1 0x00
00003d05: DUP3
00003d06: DUP3
00003d07: SLOAD
00003d08: ADD
00003d09: SWAP3
00003d0a: POP
00003d0b: POP
00003d0c: DUP2
00003d0d: SWAP1
00003d0e: SSTORE
00003d0f: POP
00003d10: DUP5
00003d11: PUSH1 0x09
00003d13: PUSH1 0x00
00003d15: DUP3
00003d16: DUP3
00003d17: SLOAD
00003d18: ADD
00003d19: SWAP3
00003d1a: POP
00003d1b: POP
00003d1c: DUP2
00003d1d: SWAP1
00003d1e: SSTORE
00003d1f: POP
00003d20: PUSH32 0x305ba6be0adbe2d7795c43e8ba5e7ffa55e0f8ec85d759edb9b4ae2625392a78
00003d41: CALLER
00003d42: DUP4
00003d43: DUP8
00003d44: PUSH1 0x40
00003d46: MLOAD
00003d47: DUP1
00003d48: DUP5
00003d49: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d5e: AND
00003d5f: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d74: AND
00003d75: DUP2
00003d76: MSTORE
00003d77: PUSH1 0x20
00003d79: ADD
00003d7a: DUP4
00003d7b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003d90: AND
00003d91: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003da6: AND
00003da7: DUP2
00003da8: MSTORE
00003da9: PUSH1 0x20
00003dab: ADD
00003dac: DUP3
00003dad: DUP2
00003dae: MSTORE
00003daf: PUSH1 0x20
00003db1: ADD
00003db2: SWAP4
00003db3: POP
00003db4: POP
00003db5: POP
00003db6: POP
00003db7: PUSH1 0x40
00003db9: MLOAD
00003dba: DUP1
00003dbb: SWAP2
00003dbc: SUB
00003dbd: SWAP1
00003dbe: LOG1
00003dbf: DUP4
00003dc0: PUSH1 0x14
00003dc2: PUSH1 0x00
00003dc4: DUP4
00003dc5: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003dda: AND
00003ddb: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003df0: AND
00003df1: DUP2
00003df2: MSTORE
00003df3: PUSH1 0x20
00003df5: ADD
00003df6: SWAP1
00003df7: DUP2
00003df8: MSTORE
00003df9: PUSH1 0x20
00003dfb: ADD
00003dfc: PUSH1 0x00
00003dfe: KECCAK256
00003dff: PUSH1 0x00
00003e01: DUP3
00003e02: DUP3
00003e03: SLOAD
00003e04: ADD
00003e05: SWAP3
00003e06: POP
00003e07: POP
00003e08: DUP2
00003e09: SWAP1
00003e0a: SSTORE
00003e0b: POP
00003e0c: DUP4
00003e0d: PUSH1 0x09
00003e0f: PUSH1 0x00
00003e11: DUP3
00003e12: DUP3
00003e13: SLOAD
00003e14: ADD
00003e15: SWAP3
00003e16: POP
00003e17: POP
00003e18: DUP2
00003e19: SWAP1
00003e1a: SSTORE
00003e1b: POP
00003e1c: PUSH32 0x305ba6be0adbe2d7795c43e8ba5e7ffa55e0f8ec85d759edb9b4ae2625392a78
00003e3d: CALLER
00003e3e: DUP3
00003e3f: DUP7
00003e40: PUSH1 0x40
00003e42: MLOAD
00003e43: DUP1
00003e44: DUP5
00003e45: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e5a: AND
00003e5b: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e70: AND
00003e71: DUP2
00003e72: MSTORE
00003e73: PUSH1 0x20
00003e75: ADD
00003e76: DUP4
00003e77: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003e8c: AND
00003e8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003ea2: AND
00003ea3: DUP2
00003ea4: MSTORE
00003ea5: PUSH1 0x20
00003ea7: ADD
00003ea8: DUP3
00003ea9: DUP2
00003eaa: MSTORE
00003eab: PUSH1 0x20
00003ead: ADD
00003eae: SWAP4
00003eaf: POP
00003eb0: POP
00003eb1: POP
00003eb2: POP
00003eb3: PUSH1 0x40
00003eb5: MLOAD
00003eb6: DUP1
00003eb7: SWAP2
00003eb8: SUB
00003eb9: SWAP1
00003eba: LOG1
00003ebb: POP
00003ebc: POP
00003ebd: POP
00003ebe: POP
00003ebf: POP
00003ec0: POP
00003ec1: POP
00003ec2: POP
00003ec3: JUMP
00003ec4: JUMPDEST
00003ec5: PUSH1 0x00
00003ec7: DUP1
00003ec8: DUP4
00003ec9: GT
00003eca: DUP3
00003ecb: SWAP1
00003ecc: PUSH2 0x3f70
00003ecf: JUMPI
00003ed0: PUSH1 0x40
00003ed2: MLOAD
00003ed3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003ef4: DUP2
00003ef5: MSTORE
00003ef6: PUSH1 0x04
00003ef8: ADD
00003ef9: DUP1
00003efa: DUP1
00003efb: PUSH1 0x20
00003efd: ADD
00003efe: DUP3
00003eff: DUP2
00003f00: SUB
00003f01: DUP3
00003f02: MSTORE
00003f03: DUP4
00003f04: DUP2
00003f05: DUP2
00003f06: MLOAD
00003f07: DUP2
00003f08: MSTORE
00003f09: PUSH1 0x20
00003f0b: ADD
00003f0c: SWAP2
00003f0d: POP
00003f0e: DUP1
00003f0f: MLOAD
00003f10: SWAP1
00003f11: PUSH1 0x20
00003f13: ADD
00003f14: SWAP1
00003f15: DUP1
00003f16: DUP4
00003f17: DUP4
00003f18: PUSH1 0x00
00003f1a: JUMPDEST
00003f1b: DUP4
00003f1c: DUP2
00003f1d: LT
00003f1e: ISZERO
00003f1f: PUSH2 0x3f35
00003f22: JUMPI
00003f23: DUP1
00003f24: DUP3
00003f25: ADD
00003f26: MLOAD
00003f27: DUP2
00003f28: DUP5
00003f29: ADD
00003f2a: MSTORE
00003f2b: PUSH1 0x20
00003f2d: DUP2
00003f2e: ADD
00003f2f: SWAP1
00003f30: POP
00003f31: PUSH2 0x3f1a
00003f34: JUMP
00003f35: JUMPDEST
00003f36: POP
00003f37: POP
00003f38: POP
00003f39: POP
00003f3a: SWAP1
00003f3b: POP
00003f3c: SWAP1
00003f3d: DUP2
00003f3e: ADD
00003f3f: SWAP1
00003f40: PUSH1 0x1f
00003f42: AND
00003f43: DUP1
00003f44: ISZERO
00003f45: PUSH2 0x3f62
00003f48: JUMPI
00003f49: DUP1
00003f4a: DUP3
00003f4b: SUB
00003f4c: DUP1
00003f4d: MLOAD
00003f4e: PUSH1 0x01
00003f50: DUP4
00003f51: PUSH1 0x20
00003f53: SUB
00003f54: PUSH2 0x0100
00003f57: EXP
00003f58: SUB
00003f59: NOT
00003f5a: AND
00003f5b: DUP2
00003f5c: MSTORE
00003f5d: PUSH1 0x20
00003f5f: ADD
00003f60: SWAP2
00003f61: POP
00003f62: JUMPDEST
00003f63: POP
00003f64: SWAP3
00003f65: POP
00003f66: POP
00003f67: POP
00003f68: PUSH1 0x40
00003f6a: MLOAD
00003f6b: DUP1
00003f6c: SWAP2
00003f6d: SUB
00003f6e: SWAP1
00003f6f: REVERT
00003f70: JUMPDEST
00003f71: POP
00003f72: PUSH1 0x00
00003f74: DUP4
00003f75: DUP6
00003f76: DUP2
00003f77: PUSH2 0x3f7c
00003f7a: JUMPI
00003f7b: INVALID
00003f7c: JUMPDEST
00003f7d: DIV
00003f7e: SWAP1
00003f7f: POP
00003f80: DUP1
00003f81: SWAP2
00003f82: POP
00003f83: POP
00003f84: SWAP4
00003f85: SWAP3
00003f86: POP
00003f87: POP
00003f88: POP
00003f89: JUMP
00003f8a: JUMPDEST
00003f8b: PUSH1 0x00
00003f8d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fa2: AND
00003fa3: DUP4
00003fa4: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00003fb9: AND
00003fba: EQ
00003fbb: ISZERO
00003fbc: PUSH2 0x4010
00003fbf: JUMPI
00003fc0: PUSH1 0x40
00003fc2: MLOAD
00003fc3: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
00003fe4: DUP2
00003fe5: MSTORE
00003fe6: PUSH1 0x04
00003fe8: ADD
00003fe9: DUP1
00003fea: DUP1
00003feb: PUSH1 0x20
00003fed: ADD
00003fee: DUP3
00003fef: DUP2
00003ff0: SUB
00003ff1: DUP3
00003ff2: MSTORE
00003ff3: PUSH1 0x24
00003ff5: DUP2
00003ff6: MSTORE
00003ff7: PUSH1 0x20
00003ff9: ADD
00003ffa: DUP1
00003ffb: PUSH2 0x43ca
00003ffe: PUSH1 0x24
00004000: SWAP2
00004001: CODECOPY
00004002: PUSH1 0x40
00004004: ADD
00004005: SWAP2
00004006: POP
00004007: POP
00004008: PUSH1 0x40
0000400a: MLOAD
0000400b: DUP1
0000400c: SWAP2
0000400d: SUB
0000400e: SWAP1
0000400f: REVERT
00004010: JUMPDEST
00004011: PUSH1 0x00
00004013: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004028: AND
00004029: DUP3
0000402a: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000403f: AND
00004040: EQ
00004041: ISZERO
00004042: PUSH2 0x4096
00004045: JUMPI
00004046: PUSH1 0x40
00004048: MLOAD
00004049: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000406a: DUP2
0000406b: MSTORE
0000406c: PUSH1 0x04
0000406e: ADD
0000406f: DUP1
00004070: DUP1
00004071: PUSH1 0x20
00004073: ADD
00004074: DUP3
00004075: DUP2
00004076: SUB
00004077: DUP3
00004078: MSTORE
00004079: PUSH1 0x22
0000407b: DUP2
0000407c: MSTORE
0000407d: PUSH1 0x20
0000407f: ADD
00004080: DUP1
00004081: PUSH2 0x435f
00004084: PUSH1 0x22
00004086: SWAP2
00004087: CODECOPY
00004088: PUSH1 0x40
0000408a: ADD
0000408b: SWAP2
0000408c: POP
0000408d: POP
0000408e: PUSH1 0x40
00004090: MLOAD
00004091: DUP1
00004092: SWAP2
00004093: SUB
00004094: SWAP1
00004095: REVERT
00004096: JUMPDEST
00004097: DUP1
00004098: PUSH1 0x15
0000409a: PUSH1 0x00
0000409c: DUP6
0000409d: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040b2: AND
000040b3: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040c8: AND
000040c9: DUP2
000040ca: MSTORE
000040cb: PUSH1 0x20
000040cd: ADD
000040ce: SWAP1
000040cf: DUP2
000040d0: MSTORE
000040d1: PUSH1 0x20
000040d3: ADD
000040d4: PUSH1 0x00
000040d6: KECCAK256
000040d7: PUSH1 0x00
000040d9: DUP5
000040da: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
000040ef: AND
000040f0: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004105: AND
00004106: DUP2
00004107: MSTORE
00004108: PUSH1 0x20
0000410a: ADD
0000410b: SWAP1
0000410c: DUP2
0000410d: MSTORE
0000410e: PUSH1 0x20
00004110: ADD
00004111: PUSH1 0x00
00004113: KECCAK256
00004114: DUP2
00004115: SWAP1
00004116: SSTORE
00004117: POP
00004118: DUP2
00004119: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
0000412e: AND
0000412f: DUP4
00004130: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004145: AND
00004146: PUSH32 0x8c5be1e5ebec7d5bd14f71427d1e84f3dd0314c0f7b2291e5b200ac8c7c3b925
00004167: DUP4
00004168: PUSH1 0x40
0000416a: MLOAD
0000416b: DUP1
0000416c: DUP3
0000416d: DUP2
0000416e: MSTORE
0000416f: PUSH1 0x20
00004171: ADD
00004172: SWAP2
00004173: POP
00004174: POP
00004175: PUSH1 0x40
00004177: MLOAD
00004178: DUP1
00004179: SWAP2
0000417a: SUB
0000417b: SWAP1
0000417c: LOG3
0000417d: POP
0000417e: POP
0000417f: POP
00004180: JUMP
00004181: JUMPDEST
00004182: PUSH1 0x00
00004184: DUP1
00004185: PUSH8 0x0de0b6b3a7640000
0000418e: DUP4
0000418f: ADD
00004190: SWAP1
00004191: POP
00004192: PUSH1 0x00
00004194: PUSH8 0x0de0b6b3a7640000
0000419d: PUSH1 0x19
0000419f: SLOAD
000041a0: ADD
000041a1: SWAP1
000041a2: POP
000041a3: PUSH1 0x00
000041a5: PUSH8 0x0de0b6b3a7640000
000041ae: PUSH2 0x4204
000041b1: PUSH8 0x0de0b6b3a7640000
000041ba: DUP6
000041bb: SUB
000041bc: PUSH1 0x04
000041be: SLOAD
000041bf: PUSH8 0x0de0b6b3a7640000
000041c8: DUP7
000041c9: DUP2
000041ca: PUSH2 0x41cf
000041cd: JUMPI
000041ce: INVALID
000041cf: JUMPDEST
000041d0: DIV
000041d1: PUSH1 0x04
000041d3: SLOAD
000041d4: MUL
000041d5: PUSH1 0x03
000041d7: SLOAD
000041d8: ADD
000041d9: SUB
000041da: MUL
000041db: PUSH1 0x02
000041dd: PUSH8 0x0de0b6b3a7640000
000041e6: DUP8
000041e7: PUSH1 0x02
000041e9: DUP10
000041ea: EXP
000041eb: SUB
000041ec: DUP2
000041ed: PUSH2 0x41f2
000041f0: JUMPI
000041f1: INVALID
000041f2: JUMPDEST
000041f3: DIV
000041f4: PUSH1 0x04
000041f6: SLOAD
000041f7: MUL
000041f8: DUP2
000041f9: PUSH2 0x41fe
000041fc: JUMPI
000041fd: INVALID
000041fe: JUMPDEST
000041ff: DIV
00004200: PUSH2 0x3924
00004203: JUMP
00004204: JUMPDEST
00004205: DUP2
00004206: PUSH2 0x420b
00004209: JUMPI
0000420a: INVALID
0000420b: JUMPDEST
0000420c: DIV
0000420d: SWAP1
0000420e: POP
0000420f: DUP1
00004210: SWAP4
00004211: POP
00004212: POP
00004213: POP
00004214: POP
00004215: SWAP2
00004216: SWAP1
00004217: POP
00004218: JUMP
00004219: JUMPDEST
0000421a: PUSH1 0x00
0000421c: DUP4
0000421d: DUP4
0000421e: GT
0000421f: ISZERO
00004220: DUP3
00004221: SWAP1
00004222: PUSH2 0x42c6
00004225: JUMPI
00004226: PUSH1 0x40
00004228: MLOAD
00004229: PUSH32 0x08c379a000000000000000000000000000000000000000000000000000000000
0000424a: DUP2
0000424b: MSTORE
0000424c: PUSH1 0x04
0000424e: ADD
0000424f: DUP1
00004250: DUP1
00004251: PUSH1 0x20
00004253: ADD
00004254: DUP3
00004255: DUP2
00004256: SUB
00004257: DUP3
00004258: MSTORE
00004259: DUP4
0000425a: DUP2
0000425b: DUP2
0000425c: MLOAD
0000425d: DUP2
0000425e: MSTORE
0000425f: PUSH1 0x20
00004261: ADD
00004262: SWAP2
00004263: POP
00004264: DUP1
00004265: MLOAD
00004266: SWAP1
00004267: PUSH1 0x20
00004269: ADD
0000426a: SWAP1
0000426b: DUP1
0000426c: DUP4
0000426d: DUP4
0000426e: PUSH1 0x00
00004270: JUMPDEST
00004271: DUP4
00004272: DUP2
00004273: LT
00004274: ISZERO
00004275: PUSH2 0x428b
00004278: JUMPI
00004279: DUP1
0000427a: DUP3
0000427b: ADD
0000427c: MLOAD
0000427d: DUP2
0000427e: DUP5
0000427f: ADD
00004280: MSTORE
00004281: PUSH1 0x20
00004283: DUP2
00004284: ADD
00004285: SWAP1
00004286: POP
00004287: PUSH2 0x4270
0000428a: JUMP
0000428b: JUMPDEST
0000428c: POP
0000428d: POP
0000428e: POP
0000428f: POP
00004290: SWAP1
00004291: POP
00004292: SWAP1
00004293: DUP2
00004294: ADD
00004295: SWAP1
00004296: PUSH1 0x1f
00004298: AND
00004299: DUP1
0000429a: ISZERO
0000429b: PUSH2 0x42b8
0000429e: JUMPI
0000429f: DUP1
000042a0: DUP3
000042a1: SUB
000042a2: DUP1
000042a3: MLOAD
000042a4: PUSH1 0x01
000042a6: DUP4
000042a7: PUSH1 0x20
000042a9: SUB
000042aa: PUSH2 0x0100
000042ad: EXP
000042ae: SUB
000042af: NOT
000042b0: AND
000042b1: DUP2
000042b2: MSTORE
000042b3: PUSH1 0x20
000042b5: ADD
000042b6: SWAP2
000042b7: POP
000042b8: JUMPDEST
000042b9: POP
000042ba: SWAP3
000042bb: POP
000042bc: POP
000042bd: POP
000042be: PUSH1 0x40
000042c0: MLOAD
000042c1: DUP1
000042c2: SWAP2
000042c3: SUB
000042c4: SWAP1
000042c5: REVERT
000042c6: JUMPDEST
000042c7: POP
000042c8: PUSH1 0x00
000042ca: DUP4
000042cb: DUP6
000042cc: SUB
000042cd: SWAP1
000042ce: POP
000042cf: DUP1
000042d0: SWAP2
000042d1: POP
000042d2: POP
000042d3: SWAP4
000042d4: SWAP3
000042d5: POP
000042d6: POP
000042d7: POP
000042d8: JUMP
000042d9: JUMPDEST
000042da: PUSH1 0x00
000042dc: DUP1
000042dd: PUSH1 0x02
000042df: PUSH1 0x01
000042e1: DUP5
000042e2: ADD
000042e3: DUP2
000042e4: PUSH2 0x42e9
000042e7: JUMPI
000042e8: INVALID
000042e9: JUMPDEST
000042ea: DIV
000042eb: SWAP1
000042ec: POP
000042ed: DUP3
000042ee: SWAP2
000042ef: POP
000042f0: JUMPDEST
000042f1: DUP2
000042f2: DUP2
000042f3: LT
000042f4: ISZERO
000042f5: PUSH2 0x4318
000042f8: JUMPI
000042f9: DUP1
000042fa: SWAP2
000042fb: POP
000042fc: PUSH1 0x02
000042fe: DUP2
000042ff: DUP3
00004300: DUP6
00004301: DUP2
00004302: PUSH2 0x4307
00004305: JUMPI
00004306: INVALID
00004307: JUMPDEST
00004308: DIV
00004309: ADD
0000430a: DUP2
0000430b: PUSH2 0x4310
0000430e: JUMPI
0000430f: INVALID
00004310: JUMPDEST
00004311: DIV
00004312: SWAP1
00004313: POP
00004314: PUSH2 0x42f0
00004317: JUMP
00004318: JUMPDEST
00004319: POP
0000431a: SWAP2
0000431b: SWAP1
0000431c: POP
0000431d: JUMP
0000431e: JUMPDEST
0000431f: PUSH1 0x40
00004321: MLOAD
00004322: DUP1
00004323: PUSH1 0x80
00004325: ADD
00004326: PUSH1 0x40
00004328: MSTORE
00004329: DUP1
0000432a: PUSH1 0x00
0000432c: ISZERO
0000432d: ISZERO
0000432e: DUP2
0000432f: MSTORE
00004330: PUSH1 0x20
00004332: ADD
00004333: PUSH1 0x00
00004335: DUP2
00004336: MSTORE
00004337: PUSH1 0x20
00004339: ADD
0000433a: PUSH1 0x00
0000433c: DUP2
0000433d: MSTORE
0000433e: PUSH1 0x20
00004340: ADD
00004341: PUSH1 0x00
00004343: PUSH20 0xffffffffffffffffffffffffffffffffffffffff
00004358: AND
00004359: DUP2
0000435a: MSTORE
0000435b: POP
0000435c: SWAP1
0000435d: JUMP
0000435e: INVALID
0000435f: GASLIMIT
00004360: MSTORE
00004361: NUMBER
00004362: ORIGIN
00004363: ADDRESS
00004364: GASPRICE
00004365: KECCAK256
00004366: PUSH2 0x7070
00004369: PUSH19 0x6f766520746f20746865207a65726f20616464
0000437d: PUSH19 0x657373536166654d6174683a206d756c746970
00004391: PUSH13 0x69636174696f6e206f76657266
0000439f: PUSH13 0x6f7745524332303a207472616e
000043ad: PUSH20 0x66657220616d6f756e7420657863656564732061
000043c2: PUSH13 0x6c6f77616e636545524332303a
000043d0: KECCAK256
000043d1: PUSH2 0x7070
000043d4: PUSH19 0x6f76652066726f6d20746865207a65726f2061
000043e8: PUSH5 0x6472657373
000043ee: GASLIMIT
000043ef: MSTORE
000043f0: NUMBER
000043f1: ORIGIN
000043f2: ADDRESS
000043f3: GASPRICE
000043f4: KECCAK256
000043f5: PUSH5 0x6563726561
000043fb: PUSH20 0x656420616c6c6f77616e63652062656c6f77207a
00004410: PUSH6 0x726fa2646970
00004417: PUSH7 0x73582212202afd
0000441f: EQ
00004420: SHL
00004421: MOD
00004422: ADDRESS
00004423: XOR
00004424: UNKNOWN(0x4D)
00004425: CALLER
00004426: UNKNOWN(0x2C)
00004427: UNKNOWN(0xB1)
00004428: UNKNOWN(0xA9)
00004429: PUSH0
0000442a: DUP9
0000442b: UNKNOWN(0xEF)
0000442c: UNKNOWN(0xB9)
0000442d: CALLDATACOPY
0000442e: DUP14
0000442f: UNKNOWN(0xDB)
00004430: ISZERO
00004431: UNKNOWN(0xAE)
00004432: SLOAD
00004433: SSTORE
00004434: UNKNOWN(0xD5)
00004435: CALL
00004436: PUSH12 0x5f80e5f0d08664736f6c6343
00004443: STOP
00004444: MOD
00004445: MOD
00004446: STOP
00004447: CALLER

Findings

validated = confirmed for call sinks; sink observed for others
Severity Category Tool Title Confidence Validated Confirmed Details
high auth detector Authorization based on tx.origin 70 no
view
validation_json
{
    "reason": "missing sink mapping",
    "status": "no_sink"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf088d547",
            "selector": "0xf088d547",
            "calldata_variants": [
                "0xf088d547",
                "0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfa4ee6d5",
            "selector": "0xfa4ee6d5",
            "calldata_variants": [
                "0xfa4ee6d5",
                "0xfa4ee6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdb5a03e",
            "selector": "0xfdb5a03e",
            "calldata_variants": [
                "0xfdb5a03e",
                "0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xff50abdc",
            "selector": "0xff50abdc",
            "calldata_variants": [
                "0xff50abdc",
                "0xff50abdc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc664f7f1",
            "selector": "0xc664f7f1",
            "calldata_variants": [
                "0xc664f7f1",
                "0xc664f7f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xca5d3813",
            "selector": "0xca5d3813",
            "calldata_variants": [
                "0xca5d3813",
                "0xca5d38130000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "guards_detected": [
        {
            "pc": 17250,
            "type": "tx_origin_used"
        },
        {
            "pc": 17393,
            "type": "tx_origin_used"
        }
    ]
}
medium other detector Untrusted CALL target/value reachable 45 no no
view
trace_id: 0xbb48ab7e6d69e919ce98734c903c8eecdd0b250e001d7f4c032cc868713c2b58
call_targets: 0x9b4ea303ca6302dfa46b73bc660598c65de96b3d
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xbb48ab7e6d69e919ce98734c903c8eecdd0b250e001d7f4c032cc868713c2b58",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9b4ea303ca6302dfa46b73bc660598c65de96b3d"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf088d547",
            "selector": "0xf088d547",
            "calldata_variants": [
                "0xf088d547",
                "0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfa4ee6d5",
            "selector": "0xfa4ee6d5",
            "calldata_variants": [
                "0xfa4ee6d5",
                "0xfa4ee6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdb5a03e",
            "selector": "0xfdb5a03e",
            "calldata_variants": [
                "0xfdb5a03e",
                "0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xff50abdc",
            "selector": "0xff50abdc",
            "calldata_variants": [
                "0xff50abdc",
                "0xff50abdc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc664f7f1",
            "selector": "0xc664f7f1",
            "calldata_variants": [
                "0xc664f7f1",
                "0xc664f7f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xca5d3813",
            "selector": "0xca5d3813",
            "calldata_variants": [
                "0xca5d3813",
                "0xca5d38130000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1117,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1260,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1403,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "call_count": 16,
    "guards_detected": [
        {
            "pc": 17250,
            "type": "tx_origin_used"
        },
        {
            "pc": 17393,
            "type": "tx_origin_used"
        }
    ],
    "untrusted_call_count": 16
}
medium other detector ETH value transfer possible 40 no no
view
trace_id: 0xbb48ab7e6d69e919ce98734c903c8eecdd0b250e001d7f4c032cc868713c2b58
call_targets: 0x9b4ea303ca6302dfa46b73bc660598c65de96b3d
target_varies: no
classification: constant_target
validation_json
{
    "sink": "CALL",
    "errors": 0,
    "status": "sink_reached",
    "attempts": 1,
    "trace_id": "0xbb48ab7e6d69e919ce98734c903c8eecdd0b250e001d7f4c032cc868713c2b58",
    "confirmed": false,
    "trace_mode": "callTracer",
    "call_targets": [
        "0x9b4ea303ca6302dfa46b73bc660598c65de96b3d"
    ],
    "matched_probe": null,
    "target_varies": false,
    "classification": "constant_target"
}
witness_json
{
    "notes": "heuristic witness; entrypoints are best-effort selectors with zeroed calldata",
    "constraints": [],
    "entrypoints": [
        {
            "calldata": "0xe4849b32",
            "selector": "0xe4849b32",
            "calldata_variants": [
                "0xe4849b32",
                "0xe4849b320000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xe9fad8ee",
            "selector": "0xe9fad8ee",
            "calldata_variants": [
                "0xe9fad8ee",
                "0xe9fad8ee0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xf088d547",
            "selector": "0xf088d547",
            "calldata_variants": [
                "0xf088d547",
                "0xf088d5470000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfa4ee6d5",
            "selector": "0xfa4ee6d5",
            "calldata_variants": [
                "0xfa4ee6d5",
                "0xfa4ee6d50000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xfdb5a03e",
            "selector": "0xfdb5a03e",
            "calldata_variants": [
                "0xfdb5a03e",
                "0xfdb5a03e0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xff50abdc",
            "selector": "0xff50abdc",
            "calldata_variants": [
                "0xff50abdc",
                "0xff50abdc0000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xc664f7f1",
            "selector": "0xc664f7f1",
            "calldata_variants": [
                "0xc664f7f1",
                "0xc664f7f10000000000000000000000000000000000000000000000000000000000000000"
            ]
        },
        {
            "calldata": "0xca5d3813",
            "selector": "0xca5d3813",
            "calldata_variants": [
                "0xca5d3813",
                "0xca5d38130000000000000000000000000000000000000000000000000000000000000000"
            ]
        }
    ]
}
evidence_json
{
    "examples": [
        {
            "pc": 1117,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1260,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        },
        {
            "pc": 1403,
            "opcode": "CALL",
            "returndata_checked": null,
            "value_expression_category": "computed",
            "target_expression_category": "computed"
        }
    ],
    "eth_value_calls": 16,
    "guards_detected": [
        {
            "pc": 17250,
            "type": "tx_origin_used"
        },
        {
            "pc": 17393,
            "type": "tx_origin_used"
        }
    ]
}
info other cast Heavy CALL-family usage 55 no
view
evidence_json
{
    "notes": "large number of CALL/CALLCODE/STATICCALL opcodes; review external call patterns",
    "call_family_count": 16
}